[launch.sh] args:  /home/biere/hwmcc15/solvers/iimc/single.iimc /home/biere/hwmcc15/benchmarks/all/selection/random/6s151.aig
[launch.sh] host:  atom18 (atom18)
[launch.sh] start: Sun Sep 20 11:19:27 CEST 2015
[launch.sh] jobid: 7197207
[launch.sh] name:  h6s151iimc
[launch.sh] round 1: killall abcpdr avy avybmc navy
[launch.sh] round 2: killall abcpdr avy avybmc navy
[launch.sh] round 3: killall abcpdr avy avybmc navy
u1
u46
u93
u140
u187
u234
u281
u328
u375
u422
u469
u516
u563
u610
u657
u704
u751
u798
u845
u892
u939
u986
u1033
u1080
u1127
u1174
u1221
u1268
u1315
u1362
u1409
u1456
0
[launch.sh] stop:  Sun Sep 20 11:20:03 CEST 2015
[launch.sh] round 1: killall abcpdr avy avybmc navy
[launch.sh] round 2: killall abcpdr avy avybmc navy
[launch.sh] round 3: killall abcpdr avy avybmc navy
[launch.sh] sync: Sun Sep 20 11:20:07 CEST 2015
[launch.sh] done: Sun Sep 20 11:20:07 CEST 2015
