2018-02-01 21:21:24 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 28] 2018-02-01 21:21:19 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 27] 2018-02-01 21:21:07 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 27] 2018-02-01 21:21:03 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 26] 2018-02-01 21:20:52 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 26] 2018-02-01 21:20:47 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 25] 2018-02-01 21:20:37 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 25] 2018-02-01 21:20:32 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 24] 2018-02-01 21:20:21 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 24] 2018-02-01 21:20:17 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 23] 2018-02-01 21:20:07 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 23] 2018-02-01 21:20:02 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 22] 2018-02-01 21:19:49 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 22] 2018-02-01 21:19:45 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 21] 2018-02-01 21:19:35 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 21] 2018-02-01 21:19:30 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 20] 2018-02-01 21:19:20 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 20] 2018-02-01 21:19:15 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 19] 2018-02-01 21:19:05 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 19] 2018-02-01 21:19:00 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 18] 2018-02-01 21:18:50 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 18] 2018-02-01 21:18:46 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 17] 2018-02-01 21:18:36 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 17] 2018-02-01 21:18:31 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 16] 2018-02-01 21:18:21 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 16] 2018-02-01 21:18:17 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 15] 2018-02-01 21:18:07 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 15] 2018-02-01 21:18:02 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 14] 2018-02-01 21:17:52 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 14] 2018-02-01 21:17:48 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 13] 2018-02-01 21:17:38 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 13] 2018-02-01 21:17:33 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 12] 2018-02-01 21:17:23 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 12] 2018-02-01 21:17:19 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 11] 2018-02-01 21:17:09 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 11] 2018-02-01 21:17:04 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 10] 2018-02-01 21:16:54 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 10] 2018-02-01 21:16:50 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 9] 2018-02-01 21:16:40 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 9] 2018-02-01 21:16:35 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 8] 2018-02-01 21:16:26 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 8] 2018-02-01 21:16:21 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 7] 2018-02-01 21:16:11 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 7] 2018-02-01 21:16:07 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 6] 2018-02-01 21:15:57 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 6] 2018-02-01 21:15:53 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 5] 2018-02-01 21:15:43 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 5] 2018-02-01 21:15:39 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 4] 2018-02-01 21:15:28 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 4] 2018-02-01 21:15:24 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 3] 2018-02-01 21:15:14 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 3] 2018-02-01 21:15:10 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 2] 2018-02-01 21:15:00 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 2] 2018-02-01 21:14:55 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 1] 2018-02-01 21:14:40 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 1] 2018-02-01 21:14:35 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 85] 2018-02-01 20:59:29 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 85] 2018-02-01 20:59:24 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 84] 2018-02-01 20:44:18 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 84] 2018-02-01 20:44:13 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 83] 2018-02-01 20:29:07 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 83] 2018-02-01 20:29:02 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 82] 2018-02-01 20:13:56 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 82] 2018-02-01 20:13:51 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 81] 2018-02-01 19:58:45 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 81] 2018-02-01 19:58:40 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 80] 2018-02-01 19:43:34 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 80] 2018-02-01 19:43:30 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 79] 2018-02-01 19:28:23 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 79] 2018-02-01 19:28:19 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 78] 2018-02-01 19:13:13 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 78] 2018-02-01 19:13:08 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 77] 2018-02-01 18:58:01 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 77] 2018-02-01 18:57:57 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 76] 2018-02-01 18:42:51 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 76] 2018-02-01 18:42:24 +0100 benchmark runner exited 2018-02-01 18:41:44 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 76] 2018-02-01 18:41:39 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 75] 2018-02-01 18:26:33 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 75] 2018-02-01 18:26:28 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 74] 2018-02-01 18:11:22 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 74] 2018-02-01 18:11:17 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 73] 2018-02-01 17:56:11 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 73] 2018-02-01 17:56:06 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 72] 2018-02-01 17:41:00 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 72] 2018-02-01 17:40:56 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 71] 2018-02-01 17:25:50 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 71] 2018-02-01 17:25:45 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 70] 2018-02-01 17:10:38 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 70] 2018-02-01 17:10:33 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 68] 2018-02-01 16:55:27 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 68] 2018-02-01 16:55:23 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 67] 2018-02-01 16:40:15 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 67] 2018-02-01 16:40:11 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 66] 2018-02-01 16:25:04 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 66] 2018-02-01 16:25:00 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 63] 2018-02-01 16:09:53 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 63] 2018-02-01 16:09:48 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 62] 2018-02-01 15:54:42 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 62] 2018-02-01 15:54:37 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 58]