[launch.sh] args:  /home/biere/hwmcc15/solvers/iimc/single.iimc /home/biere/hwmcc15/benchmarks/all/selection/random/6s194.aig
[launch.sh] host:  atom25 (atom25)
[launch.sh] start: Sun Sep 20 06:22:31 CEST 2015
[launch.sh] jobid: 7196903
[launch.sh] name:  h6s194iimc
[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
u38
u39
u41
u43
u45
u47
u49
u51
u53
u55
u57
u59
u61
u63
u65
u67
u69
u71
u73
u75
u77
u79
u81
u83
u85
u87
u89
u91
u93
u95
u97
u99
u101
u103
u105
u107
u109
u111
u113
u115
u117
[launch.sh] stop:  Sun Sep 20 07:22:34 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 07:22:37 CEST 2015
[launch.sh] done: Sun Sep 20 07:22:37 CEST 2015
