[launch.sh] args:  /home/biere/hwmcc15/solvers/iimc/single.iimc /home/biere/hwmcc15/benchmarks/all/selection/random/6s273b37.aig
[launch.sh] host:  atom10 (atom10)
[launch.sh] start: Sun Sep 20 21:17:39 CEST 2015
[launch.sh] jobid: 7197959
[launch.sh] name:  h6s273b37iimc
[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
u14
u15
u17
u19
u21
u23
u25
u27
u29
u31
u33
u35
u37
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
u119
u121
u123
u125
u127
u129
u131
u133
0
[launch.sh] stop:  Sun Sep 20 21:18:22 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 21:18:25 CEST 2015
[launch.sh] done: Sun Sep 20 21:18:26 CEST 2015
