2018-02-01 21:24:20 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 37]
2018-02-01 21:24:06 +0100	started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 37]
2018-02-01 21:24:02 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 36]
2018-02-01 21:23:49 +0100	started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 36]
2018-02-01 21:23:44 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 35]
2018-02-01 21:23:31 +0100	started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 35]
2018-02-01 21:23:26 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 34]
2018-02-01 21:23:06 +0100	started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 34]
2018-02-01 21:23:01 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 33]
2018-02-01 21:22:44 +0100	started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 33]
2018-02-01 21:22:39 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 32]
2018-02-01 21:22:27 +0100	started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 32]
2018-02-01 21:22:22 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 31]
2018-02-01 21:22:11 +0100	started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 31]
2018-02-01 21:22:06 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 30]
2018-02-01 21:21:55 +0100	started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 30]
2018-02-01 21:21:50 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 29]
2018-02-01 21:21:39 +0100	started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 29]
2018-02-01 21:21:35 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 28]
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]