9-ctl_4201_555_unsat.cnf
n29925456
127.0.0.1:8046
work: 0.50
wait: 0.18
ts: 0.00 - 0.68
n29926576
127.0.0.1:8045
work: 0.50
wait: 0.69
ts: 0.68 - 1.88
n29925456--n29926576
-12654
n29929872
127.0.0.1:8046
work: 0.50
wait: 0.01
ts: 0.68 - 1.19
n29925456--n29929872
12654
n29926688
127.0.0.1:8043
work: 451.84
wait: 1.20
ts: 1.88 - 454.93
n29926576--n29926688
-3293
n29925888
127.0.0.1:8045
work: 400.87
wait: 0.01
ts: 1.88 - 402.76
n29926576--n29925888
3293
n29930096
127.0.0.1:8044
work: 451.82
wait: 1.20
ts: 1.19 - 454.22
n29929872--n29930096
-557
n29930704
127.0.0.1:8046
work: 400.87
wait: 0.01
ts: 1.19 - 402.07
n29929872--n29930704
557
n29928704
127.0.0.1:8044
work: 220.24
wait: 0.06
ts: 454.93 - 675.23
n29926688--n29928704
-641
n29925776
127.0.0.1:8043
work: 154.08
wait: 0.04
ts: 454.93 - 609.04
n29926688--n29925776
641
n29925600
127.0.0.1:8046
work: 226.78
wait: 0.07
ts: 402.76 - 629.61
n29925888--n29925600
-667
n29925968
127.0.0.1:8045
work: 205.04
wait: 0.07
ts: 402.76 - 607.87
n29925888--n29925968
667
n29930576
127.0.0.1:8045
work: 87.38
wait: 0.07
ts: 629.61 - 717.06
n29925600--n29930576
-700
n29929168
127.0.0.1:8046
work: 87.40
wait: 0.07
ts: 629.61 - 717.08
n29925600--n29929168
700
n29926080
127.0.0.1:8043
work: 66.05
wait: 0.10
ts: 607.87 - 674.02
n29925968--n29926080
-653
n29930496
127.0.0.1:8045
work: 21.66
wait: 0.07
ts: 607.87 - 629.60
n29925968--n29930496
653
n29930176
127.0.0.1:8045
work: 61.44
wait: 0.08
ts: 717.08 - 778.60
n29929168--n29930176
-938
n29929280
127.0.0.1:8046
work: 66.40
wait: 0.06
ts: 717.08 - 783.54
n29929168--n29929280
938
n29929392
127.0.0.1:8043
work: 1.03
wait: 0.07
ts: 783.54 - 784.64
n29929280--n29929392
-699
n29931216
127.0.0.1:8046
work: 5.29
wait: 0.05
ts: 783.54 - 788.88
n29929280--n29931216
699
n29928816
127.0.0.1:8043
work: 109.43
wait: 0.09
ts: 675.23 - 784.75
n29928704--n29928816
-1355
n29926464
127.0.0.1:8044
work: 104.51
wait: 0.08
ts: 675.23 - 779.81
n29928704--n29926464
1355
n29928928
127.0.0.1:8045
work: 9.89
wait: 0.14
ts: 779.81 - 789.85
n29926464--n29928928
-181
n29929648
127.0.0.1:8044
work: 5.91
wait: 0.11
ts: 779.81 - 785.84
n29926464--n29929648
181
n29930016
127.0.0.1:8043
work: 0.21
wait: 0.07
ts: 789.85 - 790.12
n29928928--n29930016
-1325
n29930896
127.0.0.1:8045
work: 0.21
wait: 0.06
ts: 789.85 - 790.12
n29928928--n29930896
1325
n29929760
127.0.0.1:8043
work: 3.90
wait: 0.08
ts: 785.84 - 789.82
n29929648--n29929760
-570
n29930384
127.0.0.1:8044
work: 4.18
wait: 0.08
ts: 785.84 - 790.09
n29929648--n29930384
570
nodeWait
wait: 4.83 work: 3147.95 real: 789.21