0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.04 c #variables 1968 #constraints 4000
0.00/0.04 c objective is ce32
0.00/0.05 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.05 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.01546
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.016522
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.026168
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.033402
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.040442
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.046846
0.00/0.09 c GLOBAL bounds - >= 0 @ 0.052657
0.07/0.11 c GLOBAL bounds - >= 0 @ 0.068658
0.07/0.13 c GLOBAL bounds - >= 0 @ 0.092049
0.07/0.16 c GLOBAL bounds - >= 0 @ 0.111696
0.07/0.18 c GLOBAL bounds - >= 0 @ 0.1365
0.17/0.23 c GLOBAL bounds - >= 0 @ 0.182149
0.17/0.26 c GLOBAL bounds - >= 0 @ 0.214995
0.27/0.32 c GLOBAL bounds - >= 0 @ 0.274682
0.27/0.37 c GLOBAL bounds - >= 0 @ 0.319901
0.37/0.44 c GLOBAL bounds - >= 0 @ 0.395382
0.47/0.51 c GLOBAL bounds - >= 0 @ 0.453434
0.57/0.60 c GLOBAL bounds - >= 0 @ 0.546388
0.57/0.67 c GLOBAL bounds - >= 0 @ 0.604589
0.66/0.74 c GLOBAL bounds - >= 0 @ 0.672488
0.76/0.85 c GLOBAL bounds - >= 0 @ 0.781544
0.86/0.95 c #Conflicts: 1000 | #Constraints: 5038
0.86/0.95 c GLOBAL bounds - >= 0 @ 0.877256
0.96/1.05 c GLOBAL bounds - >= 0 @ 0.974603
1.06/1.17 c GLOBAL bounds - >= 0 @ 1.08922
1.26/1.34 c GLOBAL bounds - >= 0 @ 1.25857
1.46/1.51 c GLOBAL bounds - >= 0 @ 1.42303
1.66/1.70 c GLOBAL bounds - >= 0 @ 1.6033
1.75/1.81 c GLOBAL bounds - >= 0 @ 1.71343
1.97/2.04 c GLOBAL bounds - >= 0 @ 1.93983
2.16/2.25 c GLOBAL bounds - >= 0 @ 2.14692
2.46/2.51 c #Conflicts: 2000 | #Constraints: 6056
2.46/2.51 c INPROCESSING
2.46/2.51 c GARBAGE COLLECT
2.46/2.51 c GLOBAL bounds - >= 0 @ 2.39357
2.55/2.60 c GLOBAL bounds - >= 0 @ 2.48064
2.65/2.76 c GLOBAL bounds - >= 0 @ 2.63509
2.75/2.85 c GLOBAL bounds - >= 0 @ 2.72656
2.86/2.96 c GLOBAL bounds - >= 0 @ 2.83188
2.96/3.08 c GLOBAL bounds - >= 0 @ 2.94842
3.16/3.25 c GLOBAL bounds - >= 0 @ 3.11695
3.25/3.35 c GLOBAL bounds - >= 0 @ 3.22033
3.35/3.46 c GLOBAL bounds - >= 0 @ 3.32605
3.46/3.59 c #Conflicts: 3000 | #Constraints: 6075
3.46/3.59 c GLOBAL bounds - >= 0 @ 3.45426
3.65/3.72 c GLOBAL bounds - >= 0 @ 3.5772
3.75/3.88 c GLOBAL bounds - >= 0 @ 3.73346
3.96/4.03 c GLOBAL bounds - >= 0 @ 3.8838
4.25/4.31 c GLOBAL bounds - >= 0 @ 4.15001
4.45/4.54 c GLOBAL bounds - >= 0 @ 4.38483
4.65/4.79 c GLOBAL bounds - >= 0 @ 4.62789
4.85/4.95 c #Conflicts: 4000 | #Constraints: 7089
4.85/4.95 c GLOBAL bounds - >= 0 @ 4.7828
5.15/5.21 c GLOBAL bounds - >= 0 @ 5.03851
5.35/5.47 c GLOBAL bounds - >= 0 @ 5.29872
5.74/5.83 c INPROCESSING
5.74/5.83 c GARBAGE COLLECT
5.74/5.83 c GLOBAL bounds - >= 0 @ 5.65111
5.85/5.94 c GLOBAL bounds - >= 0 @ 5.76253
6.05/6.14 c GLOBAL bounds - >= 0 @ 5.95557
6.15/6.26 c GLOBAL bounds - >= 0 @ 6.07786
6.25/6.39 c #Conflicts: 5000 | #Constraints: 6411
6.25/6.39 c GLOBAL bounds - >= 0 @ 6.20776
6.44/6.53 c GLOBAL bounds - >= 0 @ 6.33856
6.65/6.75 c GLOBAL bounds - >= 0 @ 6.55371
6.84/6.98 c GLOBAL bounds - >= 0 @ 6.78207
7.14/7.26 c GLOBAL bounds - >= 0 @ 7.05383
7.45/7.51 c GLOBAL bounds - >= 0 @ 7.30177
7.64/7.76 c GLOBAL bounds - >= 0 @ 7.54878
7.94/8.01 c #Conflicts: 6000 | #Constraints: 7425
7.94/8.01 c GLOBAL bounds - >= 0 @ 7.79428
8.04/8.16 c GLOBAL bounds - >= 0 @ 7.9482
8.33/8.44 c GLOBAL bounds - >= 0 @ 8.22057
8.54/8.60 c GLOBAL bounds - >= 0 @ 8.37841
8.64/8.77 c GLOBAL bounds - >= 0 @ 8.54881
8.84/8.95 c GLOBAL bounds - >= 0 @ 8.71804
9.14/9.28 c GLOBAL bounds - >= 0 @ 9.02538
9.63/9.71 c INPROCESSING
9.63/9.71 c GARBAGE COLLECT
9.63/9.71 c #Conflicts: 7000 | #Constraints: 6384
9.63/9.71 c GLOBAL bounds - >= 0 @ 9.44625
9.73/9.88 c GLOBAL bounds - >= 0 @ 9.61011
9.94/10.03 c GLOBAL bounds - >= 0 @ 9.758
10.04/10.19 c GLOBAL bounds - >= 0 @ 9.9137
10.33/10.45 c GLOBAL bounds - >= 0 @ 10.1677
10.53/10.61 c GLOBAL bounds - >= 0 @ 10.3334
10.63/10.77 c GLOBAL bounds - >= 0 @ 10.4868
10.83/10.95 c #Conflicts: 8000 | #Constraints: 7398
10.83/10.95 c GLOBAL bounds - >= 0 @ 10.6692
11.03/11.12 c GLOBAL bounds - >= 0 @ 10.8378
11.23/11.30 c GLOBAL bounds - >= 0 @ 11.0167
11.43/11.53 c GLOBAL bounds - >= 0 @ 11.2436
11.63/11.77 c GLOBAL bounds - >= 0 @ 11.4844
11.83/11.97 c GLOBAL bounds - >= 0 @ 11.679
12.12/12.27 c #Conflicts: 9000 | #Constraints: 8410
12.12/12.27 c GLOBAL bounds - >= 0 @ 11.9023
12.53/12.64 c GLOBAL bounds - >= 0 @ 12.2691
12.82/12.96 c GLOBAL bounds - >= 0 @ 12.5788
13.22/13.39 c INPROCESSING
13.22/13.39 c GARBAGE COLLECT
13.22/13.39 c GLOBAL bounds - >= 0 @ 13.0011
13.42/13.53 c GLOBAL bounds - >= 0 @ 13.1369
13.72/13.80 c GLOBAL bounds - >= 0 @ 13.398
13.93/14.04 c #Conflicts: 10000 | #Constraints: 7066
13.93/14.04 c GLOBAL bounds - >= 0 @ 13.6388
14.12/14.28 c GLOBAL bounds - >= 0 @ 13.8769
14.52/14.60 c GLOBAL bounds - >= 0 @ 14.1907
14.72/14.81 c GLOBAL bounds - >= 0 @ 14.3984
15.02/15.12 c GLOBAL bounds - >= 0 @ 14.7053
15.31/15.43 c #Conflicts: 11000 | #Constraints: 8076
15.31/15.43 c GLOBAL bounds - >= 0 @ 15.0142
15.62/15.78 c GLOBAL bounds - >= 0 @ 15.3549
16.02/16.12 c GLOBAL bounds - >= 0 @ 15.6911
16.31/16.46 c GLOBAL bounds - >= 0 @ 16.0298
23.39/23.57 c #Conflicts: 12000 | #Constraints: 9084
23.39/23.57 c INPROCESSING
23.39/23.57 c GARBAGE COLLECT
23.39/23.57 c #Conflicts: 13000 | #Constraints: 7473
23.39/23.57 c #Conflicts: 14000 | #Constraints: 8473
23.39/23.57 c #Conflicts: 15000 | #Constraints: 9473
23.39/23.57 c INPROCESSING
23.39/23.57 c GARBAGE COLLECT
23.39/23.57 c GLOBAL bounds - >= 0 @ 23.0791
24.19/24.32 c #Conflicts: 16000 | #Constraints: 7606
24.19/24.32 c GLOBAL bounds - >= 0 @ 23.8196
36.85/37.08 c #Conflicts: 17000 | #Constraints: 8608
36.85/37.08 c #Conflicts: 18000 | #Constraints: 9608
36.85/37.08 c INPROCESSING
36.85/37.08 c GARBAGE COLLECT
36.85/37.08 c #Conflicts: 19000 | #Constraints: 7548
36.85/37.08 c #Conflicts: 20000 | #Constraints: 8548
36.85/37.08 c #Conflicts: 21000 | #Constraints: 9548
36.85/37.08 c GLOBAL bounds - >= 0 @ 36.5028
38.15/38.36 c #Conflicts: 22000 | #Constraints: 10550
38.15/38.36 c INPROCESSING
38.15/38.36 c GARBAGE COLLECT
38.15/38.36 c GLOBAL bounds - >= 0 @ 37.766
38.45/38.61 c GLOBAL bounds - >= 0 @ 38.01
38.74/38.93 c GLOBAL bounds - >= 0 @ 38.3291
39.05/39.21 c #Conflicts: 23000 | #Constraints: 8278
39.05/39.21 c GLOBAL bounds - >= 0 @ 38.6108
39.35/39.59 c GLOBAL bounds - >= 0 @ 38.9851
39.74/39.94 c GLOBAL bounds - >= 0 @ 39.3295
40.04/40.27 c GLOBAL bounds - >= 0 @ 39.6578
40.44/40.63 c GLOBAL bounds - >= 0 @ 40.0084
40.65/40.84 c #Conflicts: 24000 | #Constraints: 9288
40.65/40.84 c GLOBAL bounds - >= 0 @ 40.2196
41.04/41.20 c GLOBAL bounds - >= 0 @ 40.5741
41.24/41.44 c GLOBAL bounds - >= 0 @ 40.8114
41.64/41.84 c GLOBAL bounds - >= 0 @ 41.2088
41.94/42.12 c GLOBAL bounds - >= 0 @ 41.4902
42.24/42.42 c #Conflicts: 25000 | #Constraints: 10298
42.24/42.42 c GLOBAL bounds - >= 0 @ 41.7808
42.84/43.09 c GLOBAL bounds - >= 0 @ 42.4379
43.33/43.54 c GLOBAL bounds - >= 0 @ 42.8775
44.23/44.45 c #Conflicts: 26000 | #Constraints: 11304
44.23/44.45 c INPROCESSING
44.23/44.45 c GARBAGE COLLECT
44.23/44.45 c GLOBAL bounds - >= 0 @ 43.7785
44.53/44.76 c GLOBAL bounds - >= 0 @ 44.083
44.83/45.07 c GLOBAL bounds - >= 0 @ 44.3886
45.12/45.37 c GLOBAL bounds - >= 0 @ 44.6855
45.33/45.56 c #Conflicts: 27000 | #Constraints: 8813
45.33/45.56 c GLOBAL bounds - >= 0 @ 44.8734
45.63/45.89 c GLOBAL bounds - >= 0 @ 45.2059
47.13/47.33 c GLOBAL bounds - >= 0 @ 46.6374
47.52/47.74 c #Conflicts: 28000 | #Constraints: 9819
47.52/47.74 c GLOBAL bounds - >= 0 @ 47.0413
48.82/49.09 c #Conflicts: 29000 | #Constraints: 10821
48.82/49.09 c GLOBAL bounds - >= 0 @ 48.3691
53.40/53.64 c #Conflicts: 30000 | #Constraints: 11823
53.40/53.64 c INPROCESSING
53.40/53.64 c GARBAGE COLLECT
53.40/53.64 c #Conflicts: 31000 | #Constraints: 9149
53.40/53.64 c GLOBAL bounds - >= 0 @ 52.8882
82.11/82.40 c #Conflicts: 32000 | #Constraints: 10151
82.11/82.40 c #Conflicts: 33000 | #Constraints: 11151
82.11/82.40 c #Conflicts: 34000 | #Constraints: 12151
82.11/82.40 c INPROCESSING
82.11/82.40 c GARBAGE COLLECT
82.11/82.40 c #Conflicts: 35000 | #Constraints: 9252
82.11/82.40 c #Conflicts: 36000 | #Constraints: 10252
82.11/82.40 c #Conflicts: 37000 | #Constraints: 11252
82.11/82.40 c #Conflicts: 38000 | #Constraints: 12252
82.11/82.40 c INPROCESSING
82.11/82.40 c GARBAGE COLLECT
82.11/82.40 c #Conflicts: 39000 | #Constraints: 9142
82.11/82.40 c #Conflicts: 40000 | #Constraints: 10142
82.11/82.40 c #Conflicts: 41000 | #Constraints: 11142
82.11/82.40 c #Conflicts: 42000 | #Constraints: 12142
82.11/82.40 c GLOBAL bounds - >= 0 @ 81.4715
89.80/90.19 c INPROCESSING
89.80/90.19 c GARBAGE COLLECT
89.80/90.19 c #Conflicts: 43000 | #Constraints: 8843
89.80/90.19 c #Conflicts: 44000 | #Constraints: 9843
89.80/90.19 c #Conflicts: 45000 | #Constraints: 10843
89.80/90.19 c #Conflicts: 46000 | #Constraints: 11843
89.80/90.19 c #Conflicts: 47000 | #Constraints: 12843
89.80/90.19 c INPROCESSING
89.80/90.19 c GARBAGE COLLECT
89.80/90.19 c #Conflicts: 48000 | #Constraints: 9366
89.80/90.19 c #Conflicts: 49000 | #Constraints: 10366
89.80/90.19 c #Conflicts: 50000 | #Constraints: 11366
89.80/90.19 c #Conflicts: 51000 | #Constraints: 12366
89.80/90.19 c #Conflicts: 52000 | #Constraints: 13366
89.80/90.19 c GLOBAL bounds - >= 0 @ 89.1505
91.19/91.56 c INPROCESSING
91.19/91.56 c GARBAGE COLLECT
91.19/91.56 c #Conflicts: 53000 | #Constraints: 9628
91.19/91.56 c GLOBAL bounds - >= 0 @ 90.5072
92.59/92.91 c GLOBAL bounds - >= 0 @ 91.8439
100.96/101.32 c #Conflicts: 54000 | #Constraints: 10632
100.96/101.32 c #Conflicts: 55000 | #Constraints: 11632
100.96/101.32 c #Conflicts: 56000 | #Constraints: 12632
100.96/101.32 c #Conflicts: 57000 | #Constraints: 13632
100.96/101.32 c INPROCESSING
100.96/101.32 c GARBAGE COLLECT
100.96/101.32 c #Conflicts: 58000 | #Constraints: 9740
100.96/101.32 c GLOBAL bounds - >= 0 @ 100.185
109.24/109.68 c #Conflicts: 59000 | #Constraints: 10742
109.24/109.68 c #Conflicts: 60000 | #Constraints: 11742
109.24/109.68 c #Conflicts: 61000 | #Constraints: 12742
109.24/109.68 c #Conflicts: 62000 | #Constraints: 13742
109.24/109.68 c GLOBAL bounds - >= 0 @ 108.474
120.71/121.17 c INPROCESSING
120.71/121.17 c GARBAGE COLLECT
120.71/121.17 c #Conflicts: 63000 | #Constraints: 9663
120.71/121.17 c #Conflicts: 64000 | #Constraints: 10663
120.71/121.17 c #Conflicts: 65000 | #Constraints: 11663
120.71/121.17 c #Conflicts: 66000 | #Constraints: 12663
120.71/121.17 c #Conflicts: 67000 | #Constraints: 13663
120.71/121.17 c #Conflicts: 68000 | #Constraints: 14663
120.71/121.17 c INPROCESSING
120.71/121.17 c GARBAGE COLLECT
120.71/121.17 c GLOBAL bounds - >= 0 @ 119.893
138.55/139.05 c #Conflicts: 69000 | #Constraints: 10366
138.55/139.05 c #Conflicts: 70000 | #Constraints: 11366
138.55/139.05 c #Conflicts: 71000 | #Constraints: 12366
138.55/139.05 c #Conflicts: 72000 | #Constraints: 13366
138.55/139.05 c #Conflicts: 73000 | #Constraints: 14366
138.55/139.05 c #Conflicts: 74000 | #Constraints: 15366
138.55/139.05 c INPROCESSING
138.55/139.05 c GARBAGE COLLECT
138.55/139.05 c #Conflicts: 75000 | #Constraints: 10865
138.55/139.05 c GLOBAL bounds - >= 0 @ 137.642
422.75/424.04 c #Conflicts: 76000 | #Constraints: 11867
422.75/424.04 c #Conflicts: 77000 | #Constraints: 12867
422.75/424.04 c #Conflicts: 78000 | #Constraints: 13867
422.75/424.04 c #Conflicts: 79000 | #Constraints: 14867
422.75/424.04 c #Conflicts: 80000 | #Constraints: 15867
422.75/424.04 c INPROCESSING
422.75/424.04 c GARBAGE COLLECT
422.75/424.04 c #Conflicts: 81000 | #Constraints: 11167
422.75/424.04 c #Conflicts: 82000 | #Constraints: 12167
422.75/424.04 c #Conflicts: 83000 | #Constraints: 13167
422.75/424.04 c #Conflicts: 84000 | #Constraints: 14167
422.75/424.04 c #Conflicts: 85000 | #Constraints: 15167
422.75/424.04 c #Conflicts: 86000 | #Constraints: 16167
422.75/424.04 c INPROCESSING
422.75/424.04 c GARBAGE COLLECT
422.75/424.04 c #Conflicts: 87000 | #Constraints: 11260
422.75/424.04 c #Conflicts: 88000 | #Constraints: 12260
422.75/424.04 c #Conflicts: 89000 | #Constraints: 13260
422.75/424.04 c #Conflicts: 90000 | #Constraints: 14260
422.75/424.04 c #Conflicts: 91000 | #Constraints: 15260
422.75/424.04 c #Conflicts: 92000 | #Constraints: 16260
422.75/424.04 c INPROCESSING
422.75/424.04 c GARBAGE COLLECT
422.75/424.04 c #Conflicts: 93000 | #Constraints: 11150
422.75/424.04 c #Conflicts: 94000 | #Constraints: 12150
422.75/424.04 c #Conflicts: 95000 | #Constraints: 13150
422.75/424.04 c #Conflicts: 96000 | #Constraints: 14150
422.75/424.04 c #Conflicts: 97000 | #Constraints: 15150
422.75/424.04 c #Conflicts: 98000 | #Constraints: 16150
422.75/424.04 c INPROCESSING
422.75/424.04 c GARBAGE COLLECT
422.75/424.04 c #Conflicts: 99000 | #Constraints: 10848
422.75/424.04 c #Conflicts: 100000 | #Constraints: 11848
422.75/424.04 c #Conflicts: 101000 | #Constraints: 12848
422.75/424.04 c #Conflicts: 102000 | #Constraints: 13848
422.75/424.04 c #Conflicts: 103000 | #Constraints: 14848
422.75/424.04 c #Conflicts: 104000 | #Constraints: 15848
422.75/424.04 c #Conflicts: 105000 | #Constraints: 16848
422.75/424.04 c INPROCESSING
422.75/424.04 c GARBAGE COLLECT
422.75/424.04 c #Conflicts: 106000 | #Constraints: 11347
422.75/424.04 c #Conflicts: 107000 | #Constraints: 12347
422.75/424.04 c #Conflicts: 108000 | #Constraints: 13347
422.75/424.04 c #Conflicts: 109000 | #Constraints: 14347
422.75/424.04 c #Conflicts: 110000 | #Constraints: 15347
422.75/424.04 c #Conflicts: 111000 | #Constraints: 16347
422.75/424.04 c #Conflicts: 112000 | #Constraints: 17347
422.75/424.04 c INPROCESSING
422.75/424.04 c GARBAGE COLLECT
422.75/424.04 c #Conflicts: 113000 | #Constraints: 11641
422.75/424.04 c #Conflicts: 114000 | #Constraints: 12641
422.75/424.04 c #Conflicts: 115000 | #Constraints: 13641
422.75/424.04 c #Conflicts: 116000 | #Constraints: 14641
422.75/424.04 c #Conflicts: 117000 | #Constraints: 15641
422.75/424.04 c #Conflicts: 118000 | #Constraints: 16641
422.75/424.04 c #Conflicts: 119000 | #Constraints: 17641
422.75/424.04 c INPROCESSING
422.75/424.04 c GARBAGE COLLECT
422.75/424.04 c #Conflicts: 120000 | #Constraints: 11751
422.75/424.04 c #Conflicts: 121000 | #Constraints: 12751
422.75/424.04 c #Conflicts: 122000 | #Constraints: 13751
422.75/424.04 c #Conflicts: 123000 | #Constraints: 14751
422.75/424.04 c #Conflicts: 124000 | #Constraints: 15751
422.75/424.04 c #Conflicts: 125000 | #Constraints: 16751
422.75/424.04 c #Conflicts: 126000 | #Constraints: 17751
422.75/424.04 c INPROCESSING
422.75/424.04 c GARBAGE COLLECT
422.75/424.04 c #Conflicts: 127000 | #Constraints: 11637
422.75/424.04 c #Conflicts: 128000 | #Constraints: 12637
422.75/424.04 c #Conflicts: 129000 | #Constraints: 13637
422.75/424.04 c #Conflicts: 130000 | #Constraints: 14637
422.75/424.04 c #Conflicts: 131000 | #Constraints: 15637
422.75/424.04 c #Conflicts: 132000 | #Constraints: 16637
422.75/424.04 c #Conflicts: 133000 | #Constraints: 17637
422.75/424.04 c #Conflicts: 134000 | #Constraints: 18637
422.75/424.04 c INPROCESSING
422.75/424.04 c GARBAGE COLLECT
422.75/424.04 c #Conflicts: 135000 | #Constraints: 12338
422.75/424.04 c #Conflicts: 136000 | #Constraints: 13338
422.75/424.04 c #Conflicts: 137000 | #Constraints: 14338
422.75/424.04 c #Conflicts: 138000 | #Constraints: 15338
422.75/424.04 c #Conflicts: 139000 | #Constraints: 16338
422.75/424.04 c #Conflicts: 140000 | #Constraints: 17338
422.75/424.04 c #Conflicts: 141000 | #Constraints: 18338
422.75/424.04 c #Conflicts: 142000 | #Constraints: 19338
422.75/424.04 c INPROCESSING
422.75/424.04 c GARBAGE COLLECT
422.75/424.04 c #Conflicts: 143000 | #Constraints: 12831
422.75/424.04 c #Conflicts: 144000 | #Constraints: 13831
422.75/424.04 c #Conflicts: 145000 | #Constraints: 14831
422.75/424.04 c #Conflicts: 146000 | #Constraints: 15831
422.75/424.04 c #Conflicts: 147000 | #Constraints: 16831
422.75/424.04 c #Conflicts: 148000 | #Constraints: 17831
464.32/465.75 c #Conflicts: 149000 | #Constraints: 18831
464.32/465.75 c #Conflicts: 150000 | #Constraints: 19831
464.32/465.75 c INPROCESSING
464.32/465.75 c GARBAGE COLLECT
464.32/465.75 c #Conflicts: 151000 | #Constraints: 13125
464.32/465.75 c #Conflicts: 152000 | #Constraints: 14125
464.32/465.75 c #Conflicts: 153000 | #Constraints: 15125
464.32/465.75 c #Conflicts: 154000 | #Constraints: 16125
464.32/465.75 c #Conflicts: 155000 | #Constraints: 17125
464.32/465.75 c #Conflicts: 156000 | #Constraints: 18125
464.32/465.75 c #Conflicts: 157000 | #Constraints: 19125
464.32/465.75 c #Conflicts: 158000 | #Constraints: 20125
464.32/465.75 c INPROCESSING
464.32/465.75 c GARBAGE COLLECT
464.32/465.75 c GLOBAL bounds - >= 0 @ 462.598
722.32/724.47 c #Conflicts: 159000 | #Constraints: 13231
722.32/724.47 c #Conflicts: 160000 | #Constraints: 14231
722.32/724.47 c #Conflicts: 161000 | #Constraints: 15231
722.32/724.47 c #Conflicts: 162000 | #Constraints: 16231
722.32/724.47 c #Conflicts: 163000 | #Constraints: 17231
722.32/724.47 c #Conflicts: 164000 | #Constraints: 18231
722.32/724.47 c #Conflicts: 165000 | #Constraints: 19231
722.32/724.47 c #Conflicts: 166000 | #Constraints: 20231
722.32/724.47 c INPROCESSING
722.32/724.47 c GARBAGE COLLECT
722.32/724.47 c #Conflicts: 167000 | #Constraints: 13151
722.32/724.47 c #Conflicts: 168000 | #Constraints: 14151
722.32/724.47 c #Conflicts: 169000 | #Constraints: 15151
722.32/724.47 c #Conflicts: 170000 | #Constraints: 16151
722.32/724.47 c #Conflicts: 171000 | #Constraints: 17151
722.32/724.47 c #Conflicts: 172000 | #Constraints: 18151
722.32/724.47 c #Conflicts: 173000 | #Constraints: 19151
722.32/724.47 c #Conflicts: 174000 | #Constraints: 20151
722.32/724.47 c INPROCESSING
722.32/724.47 c GARBAGE COLLECT
722.32/724.47 c #Conflicts: 175000 | #Constraints: 12861
722.32/724.47 c #Conflicts: 176000 | #Constraints: 13861
722.32/724.47 c #Conflicts: 177000 | #Constraints: 14861
722.32/724.47 c #Conflicts: 178000 | #Constraints: 15861
722.32/724.47 c #Conflicts: 179000 | #Constraints: 16861
722.32/724.47 c #Conflicts: 180000 | #Constraints: 17861
722.32/724.47 c #Conflicts: 181000 | #Constraints: 18861
722.32/724.47 c #Conflicts: 182000 | #Constraints: 19861
722.32/724.47 c #Conflicts: 183000 | #Constraints: 20861
722.32/724.47 c INPROCESSING
722.32/724.47 c GARBAGE COLLECT
722.32/724.47 c #Conflicts: 184000 | #Constraints: 13352
722.32/724.47 c #Conflicts: 185000 | #Constraints: 14352
722.32/724.47 c #Conflicts: 186000 | #Constraints: 15352
722.32/724.47 c #Conflicts: 187000 | #Constraints: 16352
722.32/724.47 c #Conflicts: 188000 | #Constraints: 17352
722.32/724.47 c #Conflicts: 189000 | #Constraints: 18352
722.32/724.47 c #Conflicts: 190000 | #Constraints: 19352
722.32/724.47 c #Conflicts: 191000 | #Constraints: 20352
722.32/724.47 c #Conflicts: 192000 | #Constraints: 21352
722.32/724.47 c INPROCESSING
722.32/724.47 c GARBAGE COLLECT
722.32/724.47 c #Conflicts: 193000 | #Constraints: 13652
722.32/724.47 c #Conflicts: 194000 | #Constraints: 14652
722.32/724.47 c #Conflicts: 195000 | #Constraints: 15652
722.32/724.47 c #Conflicts: 196000 | #Constraints: 16652
722.32/724.47 c #Conflicts: 197000 | #Constraints: 17652
722.32/724.47 c #Conflicts: 198000 | #Constraints: 18652
722.32/724.47 c #Conflicts: 199000 | #Constraints: 19652
722.32/724.47 c #Conflicts: 200000 | #Constraints: 20652
722.32/724.47 c #Conflicts: 201000 | #Constraints: 21652
722.32/724.47 c INPROCESSING
722.32/724.47 c GARBAGE COLLECT
722.32/724.47 c #Conflicts: 202000 | #Constraints: 13738
722.32/724.47 c #Conflicts: 203000 | #Constraints: 14738
722.32/724.47 c #Conflicts: 204000 | #Constraints: 15738
722.32/724.47 c #Conflicts: 205000 | #Constraints: 16738
722.32/724.47 c #Conflicts: 206000 | #Constraints: 17738
722.32/724.47 c #Conflicts: 207000 | #Constraints: 18738
722.32/724.47 c #Conflicts: 208000 | #Constraints: 19738
722.32/724.47 c #Conflicts: 209000 | #Constraints: 20738
722.32/724.47 c #Conflicts: 210000 | #Constraints: 21738
722.32/724.47 c INPROCESSING
722.32/724.47 c GARBAGE COLLECT
722.32/724.47 c #Conflicts: 211000 | #Constraints: 13648
722.32/724.47 c #Conflicts: 212000 | #Constraints: 14648
722.32/724.47 c #Conflicts: 213000 | #Constraints: 15648
722.32/724.47 c #Conflicts: 214000 | #Constraints: 16648
722.32/724.47 c #Conflicts: 215000 | #Constraints: 17648
722.32/724.47 c #Conflicts: 216000 | #Constraints: 18648
722.32/724.47 c #Conflicts: 217000 | #Constraints: 19648
722.32/724.47 c #Conflicts: 218000 | #Constraints: 20648
722.32/724.47 c #Conflicts: 219000 | #Constraints: 21648
722.32/724.47 c #Conflicts: 220000 | #Constraints: 22648
722.32/724.47 c INPROCESSING
722.32/724.47 c GARBAGE COLLECT
722.32/724.47 c #Conflicts: 221000 | #Constraints: 14328
722.32/724.47 c #Conflicts: 222000 | #Constraints: 15328
722.32/724.47 c #Conflicts: 223000 | #Constraints: 16328
722.32/724.47 c #Conflicts: 224000 | #Constraints: 17328
722.32/724.47 c #Conflicts: 225000 | #Constraints: 18328
722.32/724.47 c #Conflicts: 226000 | #Constraints: 19328
722.32/724.47 c #Conflicts: 227000 | #Constraints: 20328
722.32/724.47 c #Conflicts: 228000 | #Constraints: 21328
722.32/724.47 c #Conflicts: 229000 | #Constraints: 22328
722.32/724.47 c #Conflicts: 230000 | #Constraints: 23328
722.32/724.47 c INPROCESSING
722.32/724.47 c GARBAGE COLLECT
722.32/724.47 c #Conflicts: 231000 | #Constraints: 14836
722.32/724.47 c #Conflicts: 232000 | #Constraints: 15836
849.10/851.51 c #Conflicts: 233000 | #Constraints: 16836
849.10/851.51 c #Conflicts: 234000 | #Constraints: 17836
849.10/851.51 c #Conflicts: 235000 | #Constraints: 18836
849.10/851.51 c #Conflicts: 236000 | #Constraints: 19836
849.10/851.51 c #Conflicts: 237000 | #Constraints: 20836
849.10/851.51 c #Conflicts: 238000 | #Constraints: 21836
849.10/851.51 c #Conflicts: 239000 | #Constraints: 22836
849.10/851.51 c #Conflicts: 240000 | #Constraints: 23836
849.10/851.51 c INPROCESSING
849.10/851.51 c GARBAGE COLLECT
849.10/851.51 c #Conflicts: 241000 | #Constraints: 15140
849.10/851.51 c #Conflicts: 242000 | #Constraints: 16140
849.10/851.51 c #Conflicts: 243000 | #Constraints: 17140
849.10/851.51 c #Conflicts: 244000 | #Constraints: 18140
849.10/851.51 c #Conflicts: 245000 | #Constraints: 19140
849.10/851.51 c #Conflicts: 246000 | #Constraints: 20140
849.10/851.51 c #Conflicts: 247000 | #Constraints: 21140
849.10/851.51 c #Conflicts: 248000 | #Constraints: 22140
849.10/851.51 c #Conflicts: 249000 | #Constraints: 23140
849.10/851.51 c #Conflicts: 250000 | #Constraints: 24140
849.10/851.51 c INPROCESSING
849.10/851.51 c GARBAGE COLLECT
849.10/851.51 c #Conflicts: 251000 | #Constraints: 15232
849.10/851.51 c #Conflicts: 252000 | #Constraints: 16232
849.10/851.51 c #Conflicts: 253000 | #Constraints: 17232
849.10/851.51 c #Conflicts: 254000 | #Constraints: 18232
849.10/851.51 c #Conflicts: 255000 | #Constraints: 19232
849.10/851.51 c #Conflicts: 256000 | #Constraints: 20232
849.10/851.51 c #Conflicts: 257000 | #Constraints: 21232
849.10/851.51 c GLOBAL bounds - >= 0 @ 846.602
1019.28/1022.12 c #Conflicts: 258000 | #Constraints: 22234
1019.28/1022.12 c #Conflicts: 259000 | #Constraints: 23234
1019.28/1022.12 c #Conflicts: 260000 | #Constraints: 24234
1019.28/1022.12 c INPROCESSING
1019.28/1022.12 c GARBAGE COLLECT
1019.28/1022.12 c #Conflicts: 261000 | #Constraints: 15166
1019.28/1022.12 c #Conflicts: 262000 | #Constraints: 16166
1019.28/1022.12 c #Conflicts: 263000 | #Constraints: 17166
1019.28/1022.12 c #Conflicts: 264000 | #Constraints: 18166
1019.28/1022.12 c #Conflicts: 265000 | #Constraints: 19166
1019.28/1022.12 c #Conflicts: 266000 | #Constraints: 20166
1019.28/1022.12 c #Conflicts: 267000 | #Constraints: 21166
1019.28/1022.12 c #Conflicts: 268000 | #Constraints: 22166
1019.28/1022.12 c #Conflicts: 269000 | #Constraints: 23166
1019.28/1022.12 c #Conflicts: 270000 | #Constraints: 24166
1019.28/1022.12 c INPROCESSING
1019.28/1022.12 c GARBAGE COLLECT
1019.28/1022.12 c #Conflicts: 271000 | #Constraints: 14865
1019.28/1022.12 c #Conflicts: 272000 | #Constraints: 15865
1019.28/1022.12 c #Conflicts: 273000 | #Constraints: 16865
1019.28/1022.12 c #Conflicts: 274000 | #Constraints: 17865
1019.28/1022.12 c #Conflicts: 275000 | #Constraints: 18865
1019.28/1022.12 c #Conflicts: 276000 | #Constraints: 19865
1019.28/1022.12 c #Conflicts: 277000 | #Constraints: 20865
1019.28/1022.12 c #Conflicts: 278000 | #Constraints: 21865
1019.28/1022.12 c #Conflicts: 279000 | #Constraints: 22865
1019.28/1022.12 c #Conflicts: 280000 | #Constraints: 23865
1019.28/1022.12 c #Conflicts: 281000 | #Constraints: 24865
1019.28/1022.12 c INPROCESSING
1019.28/1022.12 c GARBAGE COLLECT
1019.28/1022.12 c #Conflicts: 282000 | #Constraints: 15359
1019.28/1022.12 c #Conflicts: 283000 | #Constraints: 16359
1019.28/1022.12 c #Conflicts: 284000 | #Constraints: 17359
1019.28/1022.12 c #Conflicts: 285000 | #Constraints: 18359
1019.28/1022.12 c #Conflicts: 286000 | #Constraints: 19359
1019.28/1022.12 c #Conflicts: 287000 | #Constraints: 20359
1019.28/1022.12 c #Conflicts: 288000 | #Constraints: 21359
1019.28/1022.12 c #Conflicts: 289000 | #Constraints: 22359
1019.28/1022.12 c #Conflicts: 290000 | #Constraints: 23359
1019.28/1022.12 c #Conflicts: 291000 | #Constraints: 24359
1019.28/1022.12 c #Conflicts: 292000 | #Constraints: 25359
1019.28/1022.12 c GLOBAL bounds - >= 0 @ 1016.51
1286.75/1290.32 c INPROCESSING
1286.75/1290.32 c GARBAGE COLLECT
1286.75/1290.32 c #Conflicts: 293000 | #Constraints: 15701
1286.75/1290.32 c #Conflicts: 294000 | #Constraints: 16701
1286.75/1290.32 c #Conflicts: 295000 | #Constraints: 17701
1286.75/1290.32 c #Conflicts: 296000 | #Constraints: 18701
1286.75/1290.32 c #Conflicts: 297000 | #Constraints: 19701
1286.75/1290.32 c #Conflicts: 298000 | #Constraints: 20701
1286.75/1290.32 c #Conflicts: 299000 | #Constraints: 21701
1286.75/1290.32 c #Conflicts: 300000 | #Constraints: 22701
1286.75/1290.32 c #Conflicts: 301000 | #Constraints: 23701
1286.75/1290.32 c #Conflicts: 302000 | #Constraints: 24701
1286.75/1290.32 c #Conflicts: 303000 | #Constraints: 25701
1286.75/1290.32 c INPROCESSING
1286.75/1290.32 c GARBAGE COLLECT
1286.75/1290.32 c #Conflicts: 304000 | #Constraints: 15794
1286.75/1290.32 c #Conflicts: 305000 | #Constraints: 16794
1286.75/1290.32 c #Conflicts: 306000 | #Constraints: 17794
1286.75/1290.32 c #Conflicts: 307000 | #Constraints: 18794
1286.75/1290.32 c #Conflicts: 308000 | #Constraints: 19794
1286.75/1290.32 c #Conflicts: 309000 | #Constraints: 20794
1286.75/1290.32 c #Conflicts: 310000 | #Constraints: 21794
1286.75/1290.32 c #Conflicts: 311000 | #Constraints: 22794
1286.75/1290.32 c #Conflicts: 312000 | #Constraints: 23794
1286.75/1290.32 c #Conflicts: 313000 | #Constraints: 24794
1286.75/1290.32 c #Conflicts: 314000 | #Constraints: 25794
1286.75/1290.32 c INPROCESSING
1286.75/1290.32 c GARBAGE COLLECT
1286.75/1290.32 c #Conflicts: 315000 | #Constraints: 15693
1286.75/1290.32 c #Conflicts: 316000 | #Constraints: 16693
1286.75/1290.32 c #Conflicts: 317000 | #Constraints: 17693
1286.75/1290.32 c #Conflicts: 318000 | #Constraints: 18693
1286.75/1290.32 c #Conflicts: 319000 | #Constraints: 19693
1286.75/1290.32 c #Conflicts: 320000 | #Constraints: 20693
1286.75/1290.32 c #Conflicts: 321000 | #Constraints: 21693
1286.75/1290.32 c #Conflicts: 322000 | #Constraints: 22693
1286.75/1290.32 c #Conflicts: 323000 | #Constraints: 23693
1286.75/1290.32 c #Conflicts: 324000 | #Constraints: 24693
1286.75/1290.32 c #Conflicts: 325000 | #Constraints: 25693
1286.75/1290.32 c #Conflicts: 326000 | #Constraints: 26693
1286.75/1290.32 c INPROCESSING
1286.75/1290.32 c GARBAGE COLLECT
1286.75/1290.32 c #Conflicts: 327000 | #Constraints: 16393
1286.75/1290.32 c #Conflicts: 328000 | #Constraints: 17393
1286.75/1290.32 c #Conflicts: 329000 | #Constraints: 18393
1286.75/1290.32 c #Conflicts: 330000 | #Constraints: 19393
1286.75/1290.32 c #Conflicts: 331000 | #Constraints: 20393
1286.75/1290.32 c #Conflicts: 332000 | #Constraints: 21393
1286.75/1290.32 c #Conflicts: 333000 | #Constraints: 22393
1286.75/1290.32 c #Conflicts: 334000 | #Constraints: 23393
1286.75/1290.32 c #Conflicts: 335000 | #Constraints: 24393
1286.75/1290.32 c #Conflicts: 336000 | #Constraints: 25393
1286.75/1290.32 c #Conflicts: 337000 | #Constraints: 26393
1286.75/1290.32 c #Conflicts: 338000 | #Constraints: 27393
1286.75/1290.32 c INPROCESSING
1286.75/1290.32 c GARBAGE COLLECT
1286.75/1290.32 c #Conflicts: 339000 | #Constraints: 16894
1286.75/1290.32 c #Conflicts: 340000 | #Constraints: 17894
1286.75/1290.32 c #Conflicts: 341000 | #Constraints: 18894
1286.75/1290.32 c #Conflicts: 342000 | #Constraints: 19894
1286.75/1290.32 c #Conflicts: 343000 | #Constraints: 20894
1286.75/1290.32 c #Conflicts: 344000 | #Constraints: 21894
1286.75/1290.32 c #Conflicts: 345000 | #Constraints: 22894
1286.75/1290.32 c #Conflicts: 346000 | #Constraints: 23894
1286.75/1290.32 c #Conflicts: 347000 | #Constraints: 24894
1286.75/1290.32 c #Conflicts: 348000 | #Constraints: 25894
1286.75/1290.32 c #Conflicts: 349000 | #Constraints: 26894
1286.75/1290.32 c #Conflicts: 350000 | #Constraints: 27894
1286.75/1290.32 c INPROCESSING
1286.75/1290.32 c GARBAGE COLLECT
1286.75/1290.32 c #Conflicts: 351000 | #Constraints: 17186
1286.75/1290.32 c #Conflicts: 352000 | #Constraints: 18186
1286.75/1290.32 c #Conflicts: 353000 | #Constraints: 19186
1286.75/1290.32 c #Conflicts: 354000 | #Constraints: 20186
1286.75/1290.32 c #Conflicts: 355000 | #Constraints: 21186
1286.75/1290.32 c #Conflicts: 356000 | #Constraints: 22186
1286.75/1290.32 c #Conflicts: 357000 | #Constraints: 23186
1286.75/1290.32 c #Conflicts: 358000 | #Constraints: 24186
1286.75/1290.32 c #Conflicts: 359000 | #Constraints: 25186
1286.75/1290.32 c #Conflicts: 360000 | #Constraints: 26186
1286.75/1290.32 c #Conflicts: 361000 | #Constraints: 27186
1286.75/1290.32 c #Conflicts: 362000 | #Constraints: 28186
1286.75/1290.32 c INPROCESSING
1286.75/1290.32 c GARBAGE COLLECT
1286.75/1290.32 c #Conflicts: 363000 | #Constraints: 17284
1286.75/1290.32 c #Conflicts: 364000 | #Constraints: 18284
1286.75/1290.32 c #Conflicts: 365000 | #Constraints: 19284
1286.75/1290.32 c #Conflicts: 366000 | #Constraints: 20284
1286.75/1290.32 c #Conflicts: 367000 | #Constraints: 21284
1607.07/1611.57 c #Conflicts: 368000 | #Constraints: 22284
1607.07/1611.57 c #Conflicts: 369000 | #Constraints: 23284
1607.07/1611.57 c #Conflicts: 370000 | #Constraints: 24284
1607.07/1611.57 c #Conflicts: 371000 | #Constraints: 25284
1607.07/1611.57 c #Conflicts: 372000 | #Constraints: 26284
1607.07/1611.57 c #Conflicts: 373000 | #Constraints: 27284
1607.07/1611.57 c #Conflicts: 374000 | #Constraints: 28284
1607.07/1611.57 c INPROCESSING
1607.07/1611.57 c GARBAGE COLLECT
1607.07/1611.57 c #Conflicts: 375000 | #Constraints: 17180
1607.07/1611.57 c #Conflicts: 376000 | #Constraints: 18180
1607.07/1611.57 c #Conflicts: 377000 | #Constraints: 19180
1607.07/1611.57 c #Conflicts: 378000 | #Constraints: 20180
1607.07/1611.57 c #Conflicts: 379000 | #Constraints: 21180
1607.07/1611.57 c #Conflicts: 380000 | #Constraints: 22180
1607.07/1611.57 c #Conflicts: 381000 | #Constraints: 23180
1607.07/1611.57 c #Conflicts: 382000 | #Constraints: 24180
1607.07/1611.57 c #Conflicts: 383000 | #Constraints: 25180
1607.07/1611.57 c #Conflicts: 384000 | #Constraints: 26180
1607.07/1611.57 c #Conflicts: 385000 | #Constraints: 27180
1607.07/1611.57 c #Conflicts: 386000 | #Constraints: 28180
1607.07/1611.57 c INPROCESSING
1607.07/1611.57 c GARBAGE COLLECT
1607.07/1611.57 c #Conflicts: 387000 | #Constraints: 16879
1607.07/1611.57 c #Conflicts: 388000 | #Constraints: 17879
1607.07/1611.57 c #Conflicts: 389000 | #Constraints: 18879
1607.07/1611.57 c #Conflicts: 390000 | #Constraints: 19879
1607.07/1611.57 c #Conflicts: 391000 | #Constraints: 20879
1607.07/1611.57 c #Conflicts: 392000 | #Constraints: 21879
1607.07/1611.57 c #Conflicts: 393000 | #Constraints: 22879
1607.07/1611.57 c #Conflicts: 394000 | #Constraints: 23879
1607.07/1611.57 c #Conflicts: 395000 | #Constraints: 24879
1607.07/1611.57 c #Conflicts: 396000 | #Constraints: 25879
1607.07/1611.57 c #Conflicts: 397000 | #Constraints: 26879
1607.07/1611.57 c #Conflicts: 398000 | #Constraints: 27879
1607.07/1611.57 c #Conflicts: 399000 | #Constraints: 28879
1607.07/1611.57 c INPROCESSING
1607.07/1611.57 c GARBAGE COLLECT
1607.07/1611.57 c #Conflicts: 400000 | #Constraints: 17382
1607.07/1611.57 c #Conflicts: 401000 | #Constraints: 18382
1607.07/1611.57 c #Conflicts: 402000 | #Constraints: 19382
1607.07/1611.57 c #Conflicts: 403000 | #Constraints: 20382
1607.07/1611.57 c #Conflicts: 404000 | #Constraints: 21382
1607.07/1611.57 c #Conflicts: 405000 | #Constraints: 22382
1607.07/1611.57 c #Conflicts: 406000 | #Constraints: 23382
1607.07/1611.57 c #Conflicts: 407000 | #Constraints: 24382
1607.07/1611.57 c #Conflicts: 408000 | #Constraints: 25382
1607.07/1611.57 c #Conflicts: 409000 | #Constraints: 26382
1607.07/1611.57 c #Conflicts: 410000 | #Constraints: 27382
1607.07/1611.57 c #Conflicts: 411000 | #Constraints: 28382
1607.07/1611.57 c #Conflicts: 412000 | #Constraints: 29382
1607.07/1611.57 c INPROCESSING
1607.07/1611.57 c GARBAGE COLLECT
1607.07/1611.57 c #Conflicts: 413000 | #Constraints: 17682
1607.07/1611.57 c #Conflicts: 414000 | #Constraints: 18682
1607.07/1611.57 c #Conflicts: 415000 | #Constraints: 19682
1607.07/1611.57 c #Conflicts: 416000 | #Constraints: 20682
1607.07/1611.57 c #Conflicts: 417000 | #Constraints: 21682
1607.07/1611.57 c #Conflicts: 418000 | #Constraints: 22682
1607.07/1611.57 c #Conflicts: 419000 | #Constraints: 23682
1607.07/1611.57 c #Conflicts: 420000 | #Constraints: 24682
1607.07/1611.57 c #Conflicts: 421000 | #Constraints: 25682
1607.07/1611.57 c #Conflicts: 422000 | #Constraints: 26682
1607.07/1611.57 c #Conflicts: 423000 | #Constraints: 27682
1607.07/1611.57 c #Conflicts: 424000 | #Constraints: 28682
1607.07/1611.57 c #Conflicts: 425000 | #Constraints: 29682
1607.07/1611.57 c INPROCESSING
1607.07/1611.57 c GARBAGE COLLECT
1607.07/1611.57 c #Conflicts: 426000 | #Constraints: 17779
1607.07/1611.57 c #Conflicts: 427000 | #Constraints: 18779
1607.07/1611.57 c #Conflicts: 428000 | #Constraints: 19779
1607.07/1611.57 c #Conflicts: 429000 | #Constraints: 20779
1607.07/1611.57 c #Conflicts: 430000 | #Constraints: 21779
1607.07/1611.57 c #Conflicts: 431000 | #Constraints: 22779
1607.07/1611.57 c #Conflicts: 432000 | #Constraints: 23779
1607.07/1611.57 c #Conflicts: 433000 | #Constraints: 24779
1607.07/1611.57 c #Conflicts: 434000 | #Constraints: 25779
1607.07/1611.57 c #Conflicts: 435000 | #Constraints: 26779
1607.07/1611.57 c #Conflicts: 436000 | #Constraints: 27779
1607.07/1611.57 c #Conflicts: 437000 | #Constraints: 28779
1607.07/1611.57 c #Conflicts: 438000 | #Constraints: 29779
1607.07/1611.57 c INPROCESSING
1607.07/1611.57 c GARBAGE COLLECT
1607.07/1611.57 c #Conflicts: 439000 | #Constraints: 17683
1607.07/1611.57 c #Conflicts: 440000 | #Constraints: 18683
1607.07/1611.57 c #Conflicts: 441000 | #Constraints: 19683
1607.07/1611.57 c #Conflicts: 442000 | #Constraints: 20683
1935.88/1941.25 c #Conflicts: 443000 | #Constraints: 21683
1935.88/1941.25 c #Conflicts: 444000 | #Constraints: 22683
1935.88/1941.25 c #Conflicts: 445000 | #Constraints: 23683
1935.88/1941.25 c #Conflicts: 446000 | #Constraints: 24683
1935.88/1941.25 c #Conflicts: 447000 | #Constraints: 25683
1935.88/1941.25 c #Conflicts: 448000 | #Constraints: 26683
1935.88/1941.25 c #Conflicts: 449000 | #Constraints: 27683
1935.88/1941.25 c #Conflicts: 450000 | #Constraints: 28683
1935.88/1941.25 c #Conflicts: 451000 | #Constraints: 29683
1935.88/1941.25 c #Conflicts: 452000 | #Constraints: 30683
1935.88/1941.25 c INPROCESSING
1935.88/1941.25 c GARBAGE COLLECT
1935.88/1941.25 c #Conflicts: 453000 | #Constraints: 18378
1935.88/1941.25 c #Conflicts: 454000 | #Constraints: 19378
1935.88/1941.25 c #Conflicts: 455000 | #Constraints: 20378
1935.88/1941.25 c #Conflicts: 456000 | #Constraints: 21378
1935.88/1941.25 c #Conflicts: 457000 | #Constraints: 22378
1935.88/1941.25 c #Conflicts: 458000 | #Constraints: 23378
1935.88/1941.25 c #Conflicts: 459000 | #Constraints: 24378
1935.88/1941.25 c #Conflicts: 460000 | #Constraints: 25378
1935.88/1941.25 c #Conflicts: 461000 | #Constraints: 26378
1935.88/1941.25 c #Conflicts: 462000 | #Constraints: 27378
1935.88/1941.25 c #Conflicts: 463000 | #Constraints: 28378
1935.88/1941.25 c #Conflicts: 464000 | #Constraints: 29378
1935.88/1941.25 c #Conflicts: 465000 | #Constraints: 30378
1935.88/1941.25 c #Conflicts: 466000 | #Constraints: 31378
1935.88/1941.25 c INPROCESSING
1935.88/1941.25 c GARBAGE COLLECT
1935.88/1941.25 c #Conflicts: 467000 | #Constraints: 18877
1935.88/1941.25 c #Conflicts: 468000 | #Constraints: 19877
1935.88/1941.25 c #Conflicts: 469000 | #Constraints: 20877
1935.88/1941.25 c #Conflicts: 470000 | #Constraints: 21877
1935.88/1941.25 c #Conflicts: 471000 | #Constraints: 22877
1935.88/1941.25 c #Conflicts: 472000 | #Constraints: 23877
1935.88/1941.25 c #Conflicts: 473000 | #Constraints: 24877
1935.88/1941.25 c #Conflicts: 474000 | #Constraints: 25877
1935.88/1941.25 c #Conflicts: 475000 | #Constraints: 26877
1935.88/1941.25 c #Conflicts: 476000 | #Constraints: 27877
1935.88/1941.25 c #Conflicts: 477000 | #Constraints: 28877
1935.88/1941.25 c #Conflicts: 478000 | #Constraints: 29877
1935.88/1941.25 c #Conflicts: 479000 | #Constraints: 30877
1935.88/1941.25 c #Conflicts: 480000 | #Constraints: 31877
1935.88/1941.25 c INPROCESSING
1935.88/1941.25 c GARBAGE COLLECT
1935.88/1941.25 c #Conflicts: 481000 | #Constraints: 19191
1935.88/1941.25 c #Conflicts: 482000 | #Constraints: 20191
1935.88/1941.25 c #Conflicts: 483000 | #Constraints: 21191
1935.88/1941.25 c #Conflicts: 484000 | #Constraints: 22191
1935.88/1941.25 c #Conflicts: 485000 | #Constraints: 23191
1935.88/1941.25 c #Conflicts: 486000 | #Constraints: 24191
1935.88/1941.25 c #Conflicts: 487000 | #Constraints: 25191
1935.88/1941.25 c #Conflicts: 488000 | #Constraints: 26191
1935.88/1941.25 c #Conflicts: 489000 | #Constraints: 27191
1935.88/1941.25 c #Conflicts: 490000 | #Constraints: 28191
1935.88/1941.25 c #Conflicts: 491000 | #Constraints: 29191
1935.88/1941.25 c #Conflicts: 492000 | #Constraints: 30191
1935.88/1941.25 c #Conflicts: 493000 | #Constraints: 31191
1935.88/1941.25 c #Conflicts: 494000 | #Constraints: 32191
1935.88/1941.25 c INPROCESSING
1935.88/1941.25 c GARBAGE COLLECT
1935.88/1941.25 c #Conflicts: 495000 | #Constraints: 19298
1935.88/1941.25 c #Conflicts: 496000 | #Constraints: 20298
1935.88/1941.25 c #Conflicts: 497000 | #Constraints: 21298
1935.88/1941.25 c #Conflicts: 498000 | #Constraints: 22298
1935.88/1941.25 c #Conflicts: 499000 | #Constraints: 23298
1935.88/1941.25 c #Conflicts: 500000 | #Constraints: 24298
1935.88/1941.25 c #Conflicts: 501000 | #Constraints: 25298
1935.88/1941.25 c #Conflicts: 502000 | #Constraints: 26298
1935.88/1941.25 c #Conflicts: 503000 | #Constraints: 27298
1935.88/1941.25 c #Conflicts: 504000 | #Constraints: 28298
1935.88/1941.25 c #Conflicts: 505000 | #Constraints: 29298
1935.88/1941.25 c #Conflicts: 506000 | #Constraints: 30298
1935.88/1941.25 c #Conflicts: 507000 | #Constraints: 31298
1935.88/1941.25 c #Conflicts: 508000 | #Constraints: 32298
1935.88/1941.25 c INPROCESSING
1935.88/1941.25 c GARBAGE COLLECT
1935.88/1941.25 c #Conflicts: 509000 | #Constraints: 19188
1935.88/1941.25 c #Conflicts: 510000 | #Constraints: 20188
1935.88/1941.25 c #Conflicts: 511000 | #Constraints: 21188
1935.88/1941.25 c #Conflicts: 512000 | #Constraints: 22188
1935.88/1941.25 c #Conflicts: 513000 | #Constraints: 23188
1935.88/1941.25 c #Conflicts: 514000 | #Constraints: 24188
1935.88/1941.25 c #Conflicts: 515000 | #Constraints: 25188
1935.88/1941.25 c #Conflicts: 516000 | #Constraints: 26188
1935.88/1941.25 c #Conflicts: 517000 | #Constraints: 27188
2483.32/2490.18 c #Conflicts: 518000 | #Constraints: 28188
2483.32/2490.18 c #Conflicts: 519000 | #Constraints: 29188
2483.32/2490.18 c #Conflicts: 520000 | #Constraints: 30188
2483.32/2490.18 c #Conflicts: 521000 | #Constraints: 31188
2483.32/2490.18 c #Conflicts: 522000 | #Constraints: 32188
2483.32/2490.18 c INPROCESSING
2483.32/2490.18 c GARBAGE COLLECT
2483.32/2490.18 c #Conflicts: 523000 | #Constraints: 18904
2483.32/2490.18 c #Conflicts: 524000 | #Constraints: 19904
2483.32/2490.18 c #Conflicts: 525000 | #Constraints: 20904
2483.32/2490.18 c #Conflicts: 526000 | #Constraints: 21904
2483.32/2490.18 c #Conflicts: 527000 | #Constraints: 22904
2483.32/2490.18 c #Conflicts: 528000 | #Constraints: 23904
2483.32/2490.18 c #Conflicts: 529000 | #Constraints: 24904
2483.32/2490.18 c #Conflicts: 530000 | #Constraints: 25904
2483.32/2490.18 c #Conflicts: 531000 | #Constraints: 26904
2483.32/2490.18 c #Conflicts: 532000 | #Constraints: 27904
2483.32/2490.18 c #Conflicts: 533000 | #Constraints: 28904
2483.32/2490.18 c #Conflicts: 534000 | #Constraints: 29904
2483.32/2490.18 c #Conflicts: 535000 | #Constraints: 30904
2483.32/2490.18 c #Conflicts: 536000 | #Constraints: 31904
2483.32/2490.18 c #Conflicts: 537000 | #Constraints: 32904
2483.32/2490.18 c INPROCESSING
2483.32/2490.18 c GARBAGE COLLECT
2483.32/2490.18 c #Conflicts: 538000 | #Constraints: 19386
2483.32/2490.18 c #Conflicts: 539000 | #Constraints: 20386
2483.32/2490.18 c #Conflicts: 540000 | #Constraints: 21386
2483.32/2490.18 c #Conflicts: 541000 | #Constraints: 22386
2483.32/2490.18 c #Conflicts: 542000 | #Constraints: 23386
2483.32/2490.18 c #Conflicts: 543000 | #Constraints: 24386
2483.32/2490.18 c #Conflicts: 544000 | #Constraints: 25386
2483.32/2490.18 c #Conflicts: 545000 | #Constraints: 26386
2483.32/2490.18 c #Conflicts: 546000 | #Constraints: 27386
2483.32/2490.18 c #Conflicts: 547000 | #Constraints: 28386
2483.32/2490.18 c #Conflicts: 548000 | #Constraints: 29386
2483.32/2490.18 c #Conflicts: 549000 | #Constraints: 30386
2483.32/2490.18 c #Conflicts: 550000 | #Constraints: 31386
2483.32/2490.18 c #Conflicts: 551000 | #Constraints: 32386
2483.32/2490.18 c #Conflicts: 552000 | #Constraints: 33386
2483.32/2490.18 c INPROCESSING
2483.32/2490.18 c GARBAGE COLLECT
2483.32/2490.18 c #Conflicts: 553000 | #Constraints: 19671
2483.32/2490.18 c #Conflicts: 554000 | #Constraints: 20671
2483.32/2490.18 c #Conflicts: 555000 | #Constraints: 21671
2483.32/2490.18 c #Conflicts: 556000 | #Constraints: 22671
2483.32/2490.18 c #Conflicts: 557000 | #Constraints: 23671
2483.32/2490.18 c #Conflicts: 558000 | #Constraints: 24671
2483.32/2490.18 c #Conflicts: 559000 | #Constraints: 25671
2483.32/2490.18 c #Conflicts: 560000 | #Constraints: 26671
2483.32/2490.18 c #Conflicts: 561000 | #Constraints: 27671
2483.32/2490.18 c #Conflicts: 562000 | #Constraints: 28671
2483.32/2490.18 c #Conflicts: 563000 | #Constraints: 29671
2483.32/2490.18 c #Conflicts: 564000 | #Constraints: 30671
2483.32/2490.18 c #Conflicts: 565000 | #Constraints: 31671
2483.32/2490.18 c #Conflicts: 566000 | #Constraints: 32671
2483.32/2490.18 c #Conflicts: 567000 | #Constraints: 33671
2483.32/2490.18 c INPROCESSING
2483.32/2490.18 c GARBAGE COLLECT
2483.32/2490.18 c #Conflicts: 568000 | #Constraints: 19762
2483.32/2490.18 c #Conflicts: 569000 | #Constraints: 20762
2483.32/2490.18 c #Conflicts: 570000 | #Constraints: 21762
2483.32/2490.18 c #Conflicts: 571000 | #Constraints: 22762
2483.32/2490.18 c #Conflicts: 572000 | #Constraints: 23762
2483.32/2490.18 c #Conflicts: 573000 | #Constraints: 24762
2483.32/2490.18 c #Conflicts: 574000 | #Constraints: 25762
2483.32/2490.18 c #Conflicts: 575000 | #Constraints: 26762
2483.32/2490.18 c #Conflicts: 576000 | #Constraints: 27762
2483.32/2490.18 c #Conflicts: 577000 | #Constraints: 28762
2483.32/2490.18 c #Conflicts: 578000 | #Constraints: 29762
2483.32/2490.18 c #Conflicts: 579000 | #Constraints: 30762
2483.32/2490.18 c #Conflicts: 580000 | #Constraints: 31762
2483.32/2490.18 c #Conflicts: 581000 | #Constraints: 32762
2483.32/2490.18 c #Conflicts: 582000 | #Constraints: 33762
2483.32/2490.18 c INPROCESSING
2483.32/2490.18 c GARBAGE COLLECT
2483.32/2490.18 c #Conflicts: 583000 | #Constraints: 19660
2483.32/2490.18 c #Conflicts: 584000 | #Constraints: 20660
2483.32/2490.18 c #Conflicts: 585000 | #Constraints: 21660
2483.32/2490.18 c #Conflicts: 586000 | #Constraints: 22660
2483.32/2490.18 c #Conflicts: 587000 | #Constraints: 23660
2483.32/2490.18 c #Conflicts: 588000 | #Constraints: 24660
2483.32/2490.18 c #Conflicts: 589000 | #Constraints: 25660
2483.32/2490.18 c #Conflicts: 590000 | #Constraints: 26660
2483.32/2490.18 c #Conflicts: 591000 | #Constraints: 27660
2483.32/2490.18 c #Conflicts: 592000 | #Constraints: 28660
2483.32/2490.18 c #Conflicts: 593000 | #Constraints: 29660
2992.95/3001.14 c #Conflicts: 594000 | #Constraints: 30660
2992.95/3001.14 c #Conflicts: 595000 | #Constraints: 31660
2992.95/3001.14 c #Conflicts: 596000 | #Constraints: 32660
2992.95/3001.14 c #Conflicts: 597000 | #Constraints: 33660
2992.95/3001.14 c #Conflicts: 598000 | #Constraints: 34660
2992.95/3001.14 c INPROCESSING
2992.95/3001.14 c GARBAGE COLLECT
2992.95/3001.14 c #Conflicts: 599000 | #Constraints: 20352
2992.95/3001.14 c #Conflicts: 600000 | #Constraints: 21352
2992.95/3001.14 c #Conflicts: 601000 | #Constraints: 22352
2992.95/3001.14 c #Conflicts: 602000 | #Constraints: 23352
2992.95/3001.14 c #Conflicts: 603000 | #Constraints: 24352
2992.95/3001.14 c #Conflicts: 604000 | #Constraints: 25352
2992.95/3001.14 c #Conflicts: 605000 | #Constraints: 26352
2992.95/3001.14 c #Conflicts: 606000 | #Constraints: 27352
2992.95/3001.14 c #Conflicts: 607000 | #Constraints: 28352
2992.95/3001.14 c #Conflicts: 608000 | #Constraints: 29352
2992.95/3001.14 c #Conflicts: 609000 | #Constraints: 30352
2992.95/3001.14 c #Conflicts: 610000 | #Constraints: 31352
2992.95/3001.14 c #Conflicts: 611000 | #Constraints: 32352
2992.95/3001.14 c #Conflicts: 612000 | #Constraints: 33352
2992.95/3001.14 c #Conflicts: 613000 | #Constraints: 34352
2992.95/3001.14 c #Conflicts: 614000 | #Constraints: 35352
2992.95/3001.14 c INPROCESSING
2992.95/3001.14 c GARBAGE COLLECT
2992.95/3001.14 c #Conflicts: 615000 | #Constraints: 20850
2992.95/3001.14 c #Conflicts: 616000 | #Constraints: 21850
2992.95/3001.14 c #Conflicts: 617000 | #Constraints: 22850
2992.95/3001.14 c #Conflicts: 618000 | #Constraints: 23850
2992.95/3001.14 c #Conflicts: 619000 | #Constraints: 24850
2992.95/3001.14 c #Conflicts: 620000 | #Constraints: 25850
2992.95/3001.14 c #Conflicts: 621000 | #Constraints: 26850
2992.95/3001.14 c #Conflicts: 622000 | #Constraints: 27850
2992.95/3001.14 c #Conflicts: 623000 | #Constraints: 28850
2992.95/3001.14 c #Conflicts: 624000 | #Constraints: 29850
2992.95/3001.14 c #Conflicts: 625000 | #Constraints: 30850
2992.95/3001.14 c #Conflicts: 626000 | #Constraints: 31850
2992.95/3001.14 c #Conflicts: 627000 | #Constraints: 32850
2992.95/3001.14 c #Conflicts: 628000 | #Constraints: 33850
2992.95/3001.14 c #Conflicts: 629000 | #Constraints: 34850
2992.95/3001.14 c #Conflicts: 630000 | #Constraints: 35850
2992.95/3001.14 c INPROCESSING
2992.95/3001.14 c GARBAGE COLLECT
2992.95/3001.14 c #Conflicts: 631000 | #Constraints: 21154
2992.95/3001.14 c #Conflicts: 632000 | #Constraints: 22154
2992.95/3001.14 c #Conflicts: 633000 | #Constraints: 23154
2992.95/3001.14 c #Conflicts: 634000 | #Constraints: 24154
2992.95/3001.14 c #Conflicts: 635000 | #Constraints: 25154
2992.95/3001.14 c #Conflicts: 636000 | #Constraints: 26154
2992.95/3001.14 c #Conflicts: 637000 | #Constraints: 27154
2992.95/3001.14 c #Conflicts: 638000 | #Constraints: 28154
2992.95/3001.14 c #Conflicts: 639000 | #Constraints: 29154
2992.95/3001.14 c #Conflicts: 640000 | #Constraints: 30154
2992.95/3001.14 c #Conflicts: 641000 | #Constraints: 31154
2992.95/3001.14 c #Conflicts: 642000 | #Constraints: 32154
2992.95/3001.14 c #Conflicts: 643000 | #Constraints: 33154
2992.95/3001.14 c #Conflicts: 644000 | #Constraints: 34154
2992.95/3001.14 c #Conflicts: 645000 | #Constraints: 35154
2992.95/3001.14 c #Conflicts: 646000 | #Constraints: 36154
2992.95/3001.14 c INPROCESSING
2992.95/3001.14 c GARBAGE COLLECT
2992.95/3001.14 c #Conflicts: 647000 | #Constraints: 21212
2992.95/3001.14 c #Conflicts: 648000 | #Constraints: 22212
2992.95/3001.14 c #Conflicts: 649000 | #Constraints: 23212
2992.95/3001.14 c #Conflicts: 650000 | #Constraints: 24212
2992.95/3001.14 c #Conflicts: 651000 | #Constraints: 25212
2992.95/3001.14 c #Conflicts: 652000 | #Constraints: 26212
2992.95/3001.14 c #Conflicts: 653000 | #Constraints: 27212
2992.95/3001.14 c #Conflicts: 654000 | #Constraints: 28212
2992.95/3001.14 c #Conflicts: 655000 | #Constraints: 29212
2992.95/3001.14 c #Conflicts: 656000 | #Constraints: 30212
2992.95/3001.14 c #Conflicts: 657000 | #Constraints: 31212
2992.95/3001.14 c #Conflicts: 658000 | #Constraints: 32212
2992.95/3001.14 c #Conflicts: 659000 | #Constraints: 33212
2992.95/3001.14 c #Conflicts: 660000 | #Constraints: 34212
2992.95/3001.14 c #Conflicts: 661000 | #Constraints: 35212
2992.95/3001.14 c #Conflicts: 662000 | #Constraints: 36212
2992.95/3001.14 c INPROCESSING
2992.95/3001.14 c GARBAGE COLLECT
2992.95/3001.14 c #Conflicts: 663000 | #Constraints: 21096
2992.95/3001.14 c #Conflicts: 664000 | #Constraints: 22096
2992.95/3001.14 c #Conflicts: 665000 | #Constraints: 23096
2992.95/3001.14 c #Conflicts: 666000 | #Constraints: 24096
2992.95/3001.14 c #Conflicts: 667000 | #Constraints: 25096
2992.95/3001.14 c #Conflicts: 668000 | #Constraints: 26096
2992.95/3001.14 c #Conflicts: 669000 | #Constraints: 27096
3472.57/3482.03 c #Conflicts: 670000 | #Constraints: 28096
3472.57/3482.03 c #Conflicts: 671000 | #Constraints: 29096
3472.57/3482.03 c #Conflicts: 672000 | #Constraints: 30096
3472.57/3482.03 c #Conflicts: 673000 | #Constraints: 31096
3472.57/3482.03 c #Conflicts: 674000 | #Constraints: 32096
3472.57/3482.03 c #Conflicts: 675000 | #Constraints: 33096
3472.57/3482.03 c #Conflicts: 676000 | #Constraints: 34096
3472.57/3482.03 c #Conflicts: 677000 | #Constraints: 35096
3472.57/3482.03 c #Conflicts: 678000 | #Constraints: 36096
3472.57/3482.03 c INPROCESSING
3472.57/3482.03 c GARBAGE COLLECT
3472.57/3482.03 c #Conflicts: 679000 | #Constraints: 20780
3472.57/3482.03 c #Conflicts: 680000 | #Constraints: 21780
3472.57/3482.03 c #Conflicts: 681000 | #Constraints: 22780
3472.57/3482.03 c #Conflicts: 682000 | #Constraints: 23780
3472.57/3482.03 c #Conflicts: 683000 | #Constraints: 24780
3472.57/3482.03 c #Conflicts: 684000 | #Constraints: 25780
3472.57/3482.03 c #Conflicts: 685000 | #Constraints: 26780
3472.57/3482.03 c #Conflicts: 686000 | #Constraints: 27780
3472.57/3482.03 c #Conflicts: 687000 | #Constraints: 28780
3472.57/3482.03 c #Conflicts: 688000 | #Constraints: 29780
3472.57/3482.03 c #Conflicts: 689000 | #Constraints: 30780
3472.57/3482.03 c #Conflicts: 690000 | #Constraints: 31780
3472.57/3482.03 c #Conflicts: 691000 | #Constraints: 32780
3472.57/3482.03 c #Conflicts: 692000 | #Constraints: 33780
3472.57/3482.03 c #Conflicts: 693000 | #Constraints: 34780
3472.57/3482.03 c #Conflicts: 694000 | #Constraints: 35780
3472.57/3482.03 c #Conflicts: 695000 | #Constraints: 36780
3472.57/3482.03 c INPROCESSING
3472.57/3482.03 c GARBAGE COLLECT
3472.57/3482.03 c #Conflicts: 696000 | #Constraints: 21271
3472.57/3482.03 c #Conflicts: 697000 | #Constraints: 22271
3472.57/3482.03 c #Conflicts: 698000 | #Constraints: 23271
3472.57/3482.03 c #Conflicts: 699000 | #Constraints: 24271
3472.57/3482.03 c #Conflicts: 700000 | #Constraints: 25271
3472.57/3482.03 c #Conflicts: 701000 | #Constraints: 26271
3472.57/3482.03 c #Conflicts: 702000 | #Constraints: 27271
3472.57/3482.03 c #Conflicts: 703000 | #Constraints: 28271
3472.57/3482.03 c #Conflicts: 704000 | #Constraints: 29271
3472.57/3482.03 c #Conflicts: 705000 | #Constraints: 30271
3472.57/3482.03 c #Conflicts: 706000 | #Constraints: 31271
3472.57/3482.03 c #Conflicts: 707000 | #Constraints: 32271
3472.57/3482.03 c #Conflicts: 708000 | #Constraints: 33271
3472.57/3482.03 c #Conflicts: 709000 | #Constraints: 34271
3472.57/3482.03 c #Conflicts: 710000 | #Constraints: 35271
3472.57/3482.03 c #Conflicts: 711000 | #Constraints: 36271
3472.57/3482.03 c #Conflicts: 712000 | #Constraints: 37271
3472.57/3482.03 c INPROCESSING
3472.57/3482.03 c GARBAGE COLLECT
3472.57/3482.03 c #Conflicts: 713000 | #Constraints: 21566
3472.57/3482.03 c #Conflicts: 714000 | #Constraints: 22566
3472.57/3482.03 c #Conflicts: 715000 | #Constraints: 23566
3472.57/3482.03 c #Conflicts: 716000 | #Constraints: 24566
3472.57/3482.03 c #Conflicts: 717000 | #Constraints: 25566
3472.57/3482.03 c #Conflicts: 718000 | #Constraints: 26566
3472.57/3482.03 c #Conflicts: 719000 | #Constraints: 27566
3472.57/3482.03 c #Conflicts: 720000 | #Constraints: 28566
3472.57/3482.03 c #Conflicts: 721000 | #Constraints: 29566
3472.57/3482.03 c #Conflicts: 722000 | #Constraints: 30566
3472.57/3482.03 c #Conflicts: 723000 | #Constraints: 31566
3472.57/3482.03 c #Conflicts: 724000 | #Constraints: 32566
3472.57/3482.03 c #Conflicts: 725000 | #Constraints: 33566
3472.57/3482.03 c #Conflicts: 726000 | #Constraints: 34566
3472.57/3482.03 c #Conflicts: 727000 | #Constraints: 35566
3472.57/3482.03 c #Conflicts: 728000 | #Constraints: 36566
3472.57/3482.03 c #Conflicts: 729000 | #Constraints: 37566
3472.57/3482.03 c INPROCESSING
3472.57/3482.03 c GARBAGE COLLECT
3472.57/3482.03 c #Conflicts: 730000 | #Constraints: 21662
3472.57/3482.03 c #Conflicts: 731000 | #Constraints: 22662
3472.57/3482.03 c #Conflicts: 732000 | #Constraints: 23662
3472.57/3482.03 c #Conflicts: 733000 | #Constraints: 24662
3472.57/3482.03 c #Conflicts: 734000 | #Constraints: 25662
3472.57/3482.03 c #Conflicts: 735000 | #Constraints: 26662
3472.57/3482.03 c #Conflicts: 736000 | #Constraints: 27662
3472.57/3482.03 c #Conflicts: 737000 | #Constraints: 28662
3472.57/3482.03 c #Conflicts: 738000 | #Constraints: 29662
3472.57/3482.03 c #Conflicts: 739000 | #Constraints: 30662
3472.57/3482.03 c #Conflicts: 740000 | #Constraints: 31662
3472.57/3482.03 c #Conflicts: 741000 | #Constraints: 32662
3472.57/3482.03 c #Conflicts: 742000 | #Constraints: 33662
3472.57/3482.03 c #Conflicts: 743000 | #Constraints: 34662
3472.57/3482.03 c #Conflicts: 744000 | #Constraints: 35662
3472.57/3482.03 c #Conflicts: 745000 | #Constraints: 36662
3600.03/3609.80 c #Conflicts: 746000 | #Constraints: 37662
3600.03/3609.80 c INPROCESSING
3600.03/3609.80 c GARBAGE COLLECT
3600.03/3609.80 c #Conflicts: 747000 | #Constraints: 21556
3600.03/3609.80 c #Conflicts: 748000 | #Constraints: 22556
3600.03/3609.80 c #Conflicts: 749000 | #Constraints: 23556
3600.03/3609.80 c #Conflicts: 750000 | #Constraints: 24556
3600.03/3609.80 c #Conflicts: 751000 | #Constraints: 25556
3600.03/3609.80 c #Conflicts: 752000 | #Constraints: 26556
3600.03/3609.80 c #Conflicts: 753000 | #Constraints: 27556
3600.03/3609.80 c #Conflicts: 754000 | #Constraints: 28556
3600.03/3609.80 c #Conflicts: 755000 | #Constraints: 29556
3600.03/3609.80 c #Conflicts: 756000 | #Constraints: 30556
3600.03/3609.80 c #Conflicts: 757000 | #Constraints: 31556
3600.03/3609.80 c #Conflicts: 758000 | #Constraints: 32556
3600.03/3609.80 c #Conflicts: 759000 | #Constraints: 33556
3600.03/3609.80 c #Conflicts: 760000 | #Constraints: 34556
3600.03/3609.80 c #Conflicts: 761000 | #Constraints: 35556
3600.03/3609.80 c #Conflicts: 762000 | #Constraints: 36556
3600.03/3609.80 c #Conflicts: 763000 | #Constraints: 37556
3600.03/3609.80 c #Conflicts: 764000 | #Constraints: 38556
3600.03/3609.80 c INPROCESSING
3600.03/3609.80 c GARBAGE COLLECT
3600.03/3609.80 c #Conflicts: 765000 | #Constraints: 22251
3600.03/3609.80 c cpu time 3592.95 s
3600.03/3609.80 c deterministic time 1 1.00e+00
3600.03/3609.80 c optimization time 3592.94 s
3600.03/3609.80 c total solve time 0 s
3600.03/3609.80 c core-guided solve time 0 s
3600.03/3609.80 c propagation time 0.001061 s
3600.03/3609.80 c conflict analysis time 0 s
3600.03/3609.80 c propagations 0
3600.03/3609.80 c resolve steps 0
3600.03/3609.80 c decisions 0
3600.03/3609.80 c conflicts 0
3600.03/3609.80 c restarts 0
3600.03/3609.80 c inprocessing phases 0
3600.03/3609.80 c garbage collections 0 ,( -nan )
3600.03/3609.80 c input clauses 4000 ,( 100.00 )
3600.03/3609.80 c input cardinalities 0 ,( 0.00 )
3600.03/3609.80 c input general constraints 0 ,( 0.00 )
3600.03/3609.80 c input average constraint length 2.00
3600.03/3609.80 c input average constraint degree 1.00
3600.03/3609.80 c learned clauses 0 ,( 0.00 )
3600.03/3609.80 c learned cardinalities 0 ,( 0.00 )
3600.03/3609.80 c learned general constraints 0 ,( 0.00 )
3600.03/3609.80 c learned average constraint length 0.00
3600.03/3609.80 c learned average constraint degree 0.00
3600.03/3609.80 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.03/3609.80 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.03/3609.80 c watched constraints 0 ,( -nan )
3600.03/3609.80 c counting constraints 0 ,( -nan )
3600.03/3609.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.03/3609.80 c gcd simplifications 0
3600.03/3609.80 c detected cardinalities 0
3600.03/3609.80 c weakened non-implied lits 0
3600.03/3609.80 c weakened non-implying lits 0
3600.03/3609.80 c original variables 1968
3600.03/3609.80 c clausal propagations 0
3600.03/3609.80 c cardinality propagations 0
3600.03/3609.80 c watched propagations 0
3600.03/3609.80 c counting propagations 0
3600.03/3609.80 c watch lookups 0
3600.03/3609.80 c watch backjump lookups 0
3600.03/3609.80 c watch checks 0
3600.03/3609.80 c propagation checks 0
3600.03/3609.80 c constraint additions 0
3600.03/3609.80 c trail pops 0
3600.03/3609.80 c formula constraints 4000
3600.03/3609.80 c learned constraints 0
3600.03/3609.80 c bound constraints 0
3600.03/3609.80 c core-guided constraints 0
3600.03/3609.80 c encountered formula constraints 0
3600.03/3609.80 c encountered learned constraints 0
3600.03/3609.80 c encountered bound constraints 0
3600.03/3609.80 c encountered core-guided constraints 0
3600.03/3609.80 c LP total time 0 s
3600.03/3609.80 c LP solve time 0 s
3600.03/3609.80 c LP constraints added 0
3600.03/3609.80 c LP constraints removed 0
3600.03/3609.80 c LP pivots internal 0
3600.03/3609.80 c LP pivots root 0
3600.03/3609.80 c LP calls 0
3600.03/3609.80 c LP optimalities 0
3600.03/3609.80 c LP no pivot count 0
3600.03/3609.80 c LP infeasibilities 0
3600.03/3609.80 c LP valid Farkas constraints 0
3600.03/3609.80 c LP learned Farkas constraints 0
3600.03/3609.80 c LP basis resets 0
3600.03/3609.80 c LP cycling count 0
3600.03/3609.80 c LP singular count 0
3600.03/3609.80 c LP no primal count 0
3600.03/3609.80 c LP no farkas count 0
3600.03/3609.80 c LP other issue count 0
3600.03/3609.80 c LP Gomory cuts 0
3600.03/3609.80 c LP learned cuts 0
3600.03/3609.80 c LP deleted cuts 0
3600.03/3609.80 c LP encountered Gomory constraints 0
3600.03/3609.80 c LP encountered Farkas constraints 0
3600.03/3609.80 c LP encountered learned Farkas constraints 0
3600.03/3609.80 c CG auxiliary variables introduced 0
3600.03/3609.80 c CG solutions found 0
3600.03/3609.80 c CG cores constructed 0
3600.03/3609.80 c CG core cardinality constraints returned 0
3600.03/3609.80 c CG unit cores 0
3600.03/3609.80 c CG single cores 0
3600.03/3609.80 c CG blocks removed during cardinality reduction 0
3600.03/3609.80 c CG first core best 0
3600.03/3609.80 c CG decision core best 0
3600.03/3609.80 c CG core reduction tie 0
3600.03/3609.80 c CG core degree average 0.00
3600.03/3609.80 c CG core slack average 0.00
3600.03/3609.80 c CG core upper bound improvements 0
3600.03/3609.80 c STR number of successful calls 0
3600.03/3609.80 c STR number of unsuccessful calls 0
3600.03/3609.80 c STR number of inconclusive calls 0
3600.03/3609.80 c STR number of successful attempts 0
3600.03/3609.80 c STR number of unsuccessful attempts 0
3600.03/3609.80 c STR number of inconclusive attempts 0
3600.03/3609.80 c STR average degree increase per successful call inf
3600.03/3609.80 c STR average degree increase per successful attempt inf
3600.03/3609.80 c STR total number of conflicts for successful attempts 0
3600.03/3609.80 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3609.80 c STR total number of conflicts for inconclusive attempts 0
3600.03/3609.80 c STR average number of conflicts per successful attempt inf
3600.03/3609.80 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3609.80 c STR average number of conflicts per inconclusive attempt inf
3600.03/3609.80 c AVG.sumWPerc -nan
3600.03/3609.80 c bigint constraints 0
3600.03/3609.80 s UNKNOWN
3600.03/3609.80 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (63071 MiB free)
memory of node 1: 64465 MiB (64065 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4488862-1751348216/watcher-4488862-1751348216 -o /tmp/evaluation-result-4488862-1751348216/solver-4488862-1751348216 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751348216-50576 --watchdog 3760 run-opt.sh HOME/instance-4488862-1751348216.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=50622, runsolver pid=50616
[startup+0.100057 s]*
/proc/loadavg: 1.72 3.36 4.00 5/274 50639
/proc/meminfo: memFree=130151332/131249996 swapFree=33006296/33010684
[pid=50622] ppid=50616 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50622/stat : 50622 (run-opt.sh) S 50616 50622 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 93968856137728 93968857032261 140721573591664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968857271312 93968857319056 93968865218560 140721573599597 140721573599720 140721573599720 140721573605322 0
/proc/50622/statm: 1048 768 704 219 0 110 0
[pid=50628] ppid=50622 vsize=67980 memory=19656 CPUtime=0.07 cores=0,2
/proc/50628/stat : 50628 (roundingsat) R 50622 50622 50566 0 -1 4194304 3391 0 0 0 6 1 0 0 20 0 1 0 50499143 69611520 4914 18446744073709551615 4227072 8923433 140728969570688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42618880 140728969574818 140728969574952 140728969574952 140728969580522 0
/proc/50628/statm: 16995 4914 2336 1147 0 4422 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 72172 KiB
Current children cumulated memory: 22728 KiB
[startup+0.205765 s]*
/proc/loadavg: 1.72 3.36 4.00 5/274 50639
/proc/meminfo: memFree=130110508/131249996 swapFree=33006296/33010684
[pid=50622] ppid=50616 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50622/stat : 50622 (run-opt.sh) S 50616 50622 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 93968856137728 93968857032261 140721573591664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968857271312 93968857319056 93968865218560 140721573599597 140721573599720 140721573599720 140721573605322 0
/proc/50622/statm: 1048 768 704 219 0 110 0
[pid=50628] ppid=50622 vsize=72352 memory=26404 CPUtime=0.17 cores=0,2
/proc/50628/stat : 50628 (roundingsat) R 50622 50622 50566 0 -1 4194304 4557 0 0 0 16 1 0 0 20 0 1 0 50499143 74088448 6601 18446744073709551615 4227072 8923433 140728969570688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42618880 140728969574818 140728969574952 140728969574952 140728969580522 0
/proc/50628/statm: 18088 6601 2336 1147 0 5515 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 76544 KiB
Current children cumulated memory: 29476 KiB
[startup+0.305684 s]*
/proc/loadavg: 1.72 3.36 4.00 5/274 50639
/proc/meminfo: memFree=130071004/131249996 swapFree=33006296/33010684
[pid=50622] ppid=50616 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50622/stat : 50622 (run-opt.sh) S 50616 50622 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 93968856137728 93968857032261 140721573591664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968857271312 93968857319056 93968865218560 140721573599597 140721573599720 140721573599720 140721573605322 0
/proc/50622/statm: 1048 768 704 219 0 110 0
[pid=50628] ppid=50622 vsize=83084 memory=37224 CPUtime=0.27 cores=0,2
/proc/50628/stat : 50628 (roundingsat) R 50622 50622 50566 0 -1 4194304 6756 0 0 0 25 2 0 0 20 0 1 0 50499143 85078016 9306 18446744073709551615 4227072 8923433 140728969570688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42618880 140728969574818 140728969574952 140728969574952 140728969580522 0
/proc/50628/statm: 20771 9306 2336 1147 0 8198 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 87276 KiB
Current children cumulated memory: 40296 KiB
[startup+0.700212 s]
/proc/loadavg: 1.72 3.36 4.00 5/274 50639
/proc/meminfo: memFree=130027144/131249996 swapFree=33006296/33010684
[pid=50622] ppid=50616 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50622/stat : 50622 (run-opt.sh) S 50616 50622 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 93968856137728 93968857032261 140721573591664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968857271312 93968857319056 93968865218560 140721573599597 140721573599720 140721573599720 140721573605322 0
/proc/50622/statm: 1048 768 704 219 0 110 0
[pid=50628] ppid=50622 vsize=109876 memory=57240 CPUtime=0.66 cores=0,2
/proc/50628/stat : 50628 (roundingsat) R 50622 50622 50566 0 -1 4194304 11273 0 0 0 63 3 0 0 20 0 1 0 50499143 112513024 14310 18446744073709551615 4227072 8923433 140728969570688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42618880 140728969574818 140728969574952 140728969574952 140728969580522 0
/proc/50628/statm: 27469 14310 2336 1147 0 14896 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 114068 KiB
Current children cumulated memory: 60312 KiB
[startup+1.50021 s]
/proc/loadavg: 1.72 3.36 4.00 5/274 50639
/proc/meminfo: memFree=129881544/131249996 swapFree=33006296/33010684
[pid=50622] ppid=50616 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50622/stat : 50622 (run-opt.sh) S 50616 50622 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 93968856137728 93968857032261 140721573591664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968857271312 93968857319056 93968865218560 140721573599597 140721573599720 140721573599720 140721573605322 0
/proc/50622/statm: 1048 768 704 219 0 110 0
[pid=50628] ppid=50622 vsize=154416 memory=97804 CPUtime=1.46 cores=0,2
/proc/50628/stat : 50628 (roundingsat) R 50622 50622 50566 0 -1 4194304 18853 0 0 0 140 6 0 0 20 0 1 0 50499143 158121984 24451 18446744073709551615 4227072 8923433 140728969570688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42618880 140728969574818 140728969574952 140728969574952 140728969580522 0
/proc/50628/statm: 38604 24451 2336 1147 0 26031 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 158608 KiB
Current children cumulated memory: 100876 KiB
[startup+3.10556 s]
/proc/loadavg: 1.72 3.36 4.00 5/274 50639
/proc/meminfo: memFree=129668784/131249996 swapFree=33006296/33010684
[pid=50622] ppid=50616 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50622/stat : 50622 (run-opt.sh) S 50616 50622 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 93968856137728 93968857032261 140721573591664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968857271312 93968857319056 93968865218560 140721573599597 140721573599720 140721573599720 140721573605322 0
/proc/50622/statm: 1048 768 704 219 0 110 0
[pid=50628] ppid=50622 vsize=226404 memory=141860 CPUtime=3.06 cores=0,2
/proc/50628/stat : 50628 (roundingsat) R 50622 50622 50566 0 -1 4194304 28343 0 0 0 297 9 0 0 20 0 1 0 50499143 231837696 35465 18446744073709551615 4227072 8923433 140728969570688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42618880 140728969574818 140728969574952 140728969574952 140728969580522 0
/proc/50628/statm: 56601 35465 2336 1147 0 44028 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 230596 KiB
Current children cumulated memory: 144932 KiB
[startup+6.3002 s]
/proc/loadavg: 1.91 3.38 4.00 5/274 50639
/proc/meminfo: memFree=129475232/131249996 swapFree=33006296/33010684
[pid=50622] ppid=50616 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50622/stat : 50622 (run-opt.sh) S 50616 50622 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 93968856137728 93968857032261 140721573591664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968857271312 93968857319056 93968865218560 140721573599597 140721573599720 140721573599720 140721573605322 0
/proc/50622/statm: 1048 768 704 219 0 110 0
[pid=50628] ppid=50622 vsize=273276 memory=193580 CPUtime=6.25 cores=0,2
/proc/50628/stat : 50628 (roundingsat) R 50622 50622 50566 0 -1 4194304 36670 0 0 0 611 14 0 0 20 0 1 0 50499143 279834624 48395 18446744073709551615 4227072 8923433 140728969570688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42618880 140728969574818 140728969574952 140728969574952 140728969580522 0
/proc/50628/statm: 68319 48395 2336 1147 0 55746 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 277468 KiB
Current children cumulated memory: 196652 KiB
[startup+12.7002 s]
/proc/loadavg: 2.08 3.39 4.00 5/274 50639
/proc/meminfo: memFree=128981652/131249996 swapFree=33006296/33010684
[pid=50622] ppid=50616 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50622/stat : 50622 (run-opt.sh) S 50616 50622 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 93968856137728 93968857032261 140721573591664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968857271312 93968857319056 93968865218560 140721573599597 140721573599720 140721573599720 140721573605322 0
/proc/50622/statm: 1048 768 704 219 0 110 0
[pid=50628] ppid=50622 vsize=626232 memory=455208 CPUtime=12.63 cores=0,2
/proc/50628/stat : 50628 (roundingsat) R 50622 50622 50566 0 -1 4194304 98493 0 0 0 1232 31 0 0 20 0 1 0 50499143 641261568 113802 18446744073709551615 4227072 8923433 140728969570688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42618880 140728969574818 140728969574952 140728969574952 140728969580522 0
/proc/50628/statm: 156558 113802 2336 1147 0 143985 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 630424 KiB
Current children cumulated memory: 458280 KiB
[startup+25.5002 s]
/proc/loadavg: 2.50 3.42 4.00 5/274 50639
/proc/meminfo: memFree=128376732/131249996 swapFree=33006296/33010684
[pid=50622] ppid=50616 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50622/stat : 50622 (run-opt.sh) S 50616 50622 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 93968856137728 93968857032261 140721573591664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968857271312 93968857319056 93968865218560 140721573599597 140721573599720 140721573599720 140721573605322 0
/proc/50622/statm: 1048 768 704 219 0 110 0
[pid=50628] ppid=50622 vsize=626864 memory=474996 CPUtime=25.39 cores=0,2
/proc/50628/stat : 50628 (roundingsat) R 50622 50622 50566 0 -1 4194304 101400 0 0 0 2498 41 0 0 20 0 1 0 50499143 641908736 118749 18446744073709551615 4227072 8923433 140728969570688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42618880 140728969574818 140728969574952 140728969574952 140728969580522 0
/proc/50628/statm: 156716 118749 2336 1147 0 144143 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 631056 KiB
Current children cumulated memory: 478068 KiB
[startup+51.1056 s]
/proc/loadavg: 3.09 3.48 4.00 5/273 50640
/proc/meminfo: memFree=128183172/131249996 swapFree=33006296/33010684
[pid=50622] ppid=50616 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50622/stat : 50622 (run-opt.sh) S 50616 50622 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 93968856137728 93968857032261 140721573591664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968857271312 93968857319056 93968865218560 140721573599597 140721573599720 140721573599720 140721573605322 0
/proc/50622/statm: 1048 768 704 219 0 110 0
[pid=50628] ppid=50622 vsize=681644 memory=514932 CPUtime=50.92 cores=0,2
/proc/50628/stat : 50628 (roundingsat) R 50622 50622 50566 0 -1 4194304 107315 0 0 0 5037 55 0 0 20 0 1 0 50499143 698003456 128733 18446744073709551615 4227072 8923433 140728969570688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42618880 140728969574818 140728969574952 140728969574952 140728969580522 0
/proc/50628/statm: 170411 128733 2336 1147 0 157838 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 685836 KiB
Current children cumulated memory: 518004 KiB
[startup+102.3 s]
/proc/loadavg: 3.67 3.58 4.01 5/273 50641
/proc/meminfo: memFree=128041932/131249996 swapFree=33006296/33010684
[pid=50622] ppid=50616 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50622/stat : 50622 (run-opt.sh) S 50616 50622 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 93968856137728 93968857032261 140721573591664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968857271312 93968857319056 93968865218560 140721573599597 140721573599720 140721573599720 140721573605322 0
/proc/50622/statm: 1048 768 704 219 0 110 0
[pid=50628] ppid=50622 vsize=736380 memory=556020 CPUtime=101.95 cores=0,2
/proc/50628/stat : 50628 (roundingsat) R 50622 50622 50566 0 -1 4194304 117595 0 0 0 10114 81 0 0 20 0 1 0 50499143 754053120 139005 18446744073709551615 4227072 8923433 140728969570688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42618880 140728969574818 140728969574952 140728969574952 140728969580522 0
/proc/50628/statm: 184095 139005 2336 1147 0 171522 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 740572 KiB
Current children cumulated memory: 559092 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 3.67 4.01 5/272 50646
/proc/meminfo: memFree=127868544/131249996 swapFree=33006296/33010684
[pid=50622] ppid=50616 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50622/stat : 50622 (run-opt.sh) S 50616 50622 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 93968856137728 93968857032261 140721573591664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968857271312 93968857319056 93968865218560 140721573599597 140721573599720 140721573599720 140721573605322 0
/proc/50622/statm: 1048 768 704 219 0 110 0
[pid=50628] ppid=50622 vsize=783400 memory=591204 CPUtime=161.77 cores=0,2
/proc/50628/stat : 50628 (roundingsat) R 50622 50622 50566 0 -1 4194304 125402 0 0 0 16073 104 0 0 20 0 1 0 50499143 802201600 147801 18446744073709551615 4227072 8923433 140728969570688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42618880 140728969574818 140728969574952 140728969574952 140728969580522 0
/proc/50628/statm: 195850 147801 2336 1147 0 183277 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 787592 KiB
Current children cumulated memory: 594276 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 3.75 4.01 5/272 50649
/proc/meminfo: memFree=127827528/131249996 swapFree=33006296/33010684
[pid=50622] ppid=50616 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50622/stat : 50622 (run-opt.sh) S 50616 50622 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 93968856137728 93968857032261 140721573591664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968857271312 93968857319056 93968865218560 140721573599597 140721573599720 140721573599720 140721573605322 0
/proc/50622/statm: 1048 768 704 219 0 110 0
[pid=50628] ppid=50622 vsize=783668 memory=591716 CPUtime=221.62 cores=0,2
/proc/50628/stat : 50628 (roundingsat) R 50622 50622 50566 0 -1 4194304 125471 0 0 0 22047 115 0 0 20 0 1 0 50499143 802476032 147929 18446744073709551615 4227072 8923433 140728969570688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42618880 140728969574818 140728969574952 140728969574952 140728969580522 0
/proc/50628/statm: 195917 147929 2336 1147 0 183344 0
################
# More data... #
################
/proc/50628/statm: 310975 266451 2336 1147 0 298402 0
Current children cumulated CPU time: 3034.04 s
Current children cumulated vsize: 1248092 KiB
Current children cumulated memory: 1068876 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/268 50806
/proc/meminfo: memFree=125926568/131249996 swapFree=33006296/33010684
[pid=50622] ppid=50616 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50622/stat : 50622 (run-opt.sh) S 50616 50622 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 93968856137728 93968857032261 140721573591664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968857271312 93968857319056 93968865218560 140721573599597 140721573599720 140721573599720 140721573605322 0
/proc/50622/statm: 1048 768 704 219 0 110 0
[pid=50628] ppid=50622 vsize=1250036 memory=1073100 CPUtime=3093.87 cores=0,2
/proc/50628/stat : 50628 (roundingsat) R 50622 50622 50566 0 -1 4194304 193347 0 0 0 308746 641 0 0 20 0 1 0 50499143 1280036864 268275 18446744073709551615 4227072 8923433 140728969570688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42618880 140728969574818 140728969574952 140728969574952 140728969580522 0
/proc/50628/statm: 312509 268275 2336 1147 0 299936 0
Current children cumulated CPU time: 3093.87 s
Current children cumulated vsize: 1254228 KiB
Current children cumulated memory: 1076172 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 50810
/proc/meminfo: memFree=125895288/131249996 swapFree=33006296/33010684
[pid=50622] ppid=50616 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50622/stat : 50622 (run-opt.sh) S 50616 50622 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 93968856137728 93968857032261 140721573591664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968857271312 93968857319056 93968865218560 140721573599597 140721573599720 140721573599720 140721573605322 0
/proc/50622/statm: 1048 768 704 219 0 110 0
[pid=50628] ppid=50622 vsize=1250036 memory=1094476 CPUtime=3153.71 cores=0,2
/proc/50628/stat : 50628 (roundingsat) R 50622 50622 50566 0 -1 4194304 193351 0 0 0 314723 648 0 0 20 0 1 0 50499143 1280036864 273619 18446744073709551615 4227072 8923433 140728969570688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42618880 140728969574818 140728969574952 140728969574952 140728969580522 0
/proc/50628/statm: 312509 273619 2336 1147 0 299936 0
Current children cumulated CPU time: 3153.71 s
Current children cumulated vsize: 1254228 KiB
Current children cumulated memory: 1097548 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 50813
/proc/meminfo: memFree=125832548/131249996 swapFree=33006296/33010684
[pid=50622] ppid=50616 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50622/stat : 50622 (run-opt.sh) S 50616 50622 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 93968856137728 93968857032261 140721573591664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968857271312 93968857319056 93968865218560 140721573599597 140721573599720 140721573599720 140721573605322 0
/proc/50622/statm: 1048 768 704 219 0 110 0
[pid=50628] ppid=50622 vsize=1251920 memory=1126476 CPUtime=3213.56 cores=0,2
/proc/50628/stat : 50628 (roundingsat) R 50622 50622 50566 0 -1 4194304 193924 0 0 0 320701 655 0 0 20 0 1 0 50499143 1281966080 281619 18446744073709551615 4227072 8923433 140728969570688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42618880 140728969574818 140728969574952 140728969574952 140728969580522 0
/proc/50628/statm: 312980 281619 2336 1147 0 300407 0
Current children cumulated CPU time: 3213.56 s
Current children cumulated vsize: 1256112 KiB
Current children cumulated memory: 1129548 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 50817
/proc/meminfo: memFree=125792128/131249996 swapFree=33006296/33010684
[pid=50622] ppid=50616 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50622/stat : 50622 (run-opt.sh) S 50616 50622 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 93968856137728 93968857032261 140721573591664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968857271312 93968857319056 93968865218560 140721573599597 140721573599720 140721573599720 140721573605322 0
/proc/50622/statm: 1048 768 704 219 0 110 0
[pid=50628] ppid=50622 vsize=1251920 memory=1163340 CPUtime=3273.39 cores=0,2
/proc/50628/stat : 50628 (roundingsat) R 50622 50622 50566 0 -1 4194304 193934 0 0 0 326674 665 0 0 20 0 1 0 50499143 1281966080 290835 18446744073709551615 4227072 8923433 140728969570688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42618880 140728969574818 140728969574952 140728969574952 140728969580522 0
/proc/50628/statm: 312980 290835 2336 1147 0 300407 0
Current children cumulated CPU time: 3273.39 s
Current children cumulated vsize: 1256112 KiB
Current children cumulated memory: 1166412 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/270 50824
/proc/meminfo: memFree=125806112/131249996 swapFree=33006296/33010684
[pid=50622] ppid=50616 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50622/stat : 50622 (run-opt.sh) S 50616 50622 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 93968856137728 93968857032261 140721573591664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968857271312 93968857319056 93968865218560 140721573599597 140721573599720 140721573599720 140721573605322 0
/proc/50622/statm: 1048 768 704 219 0 110 0
[pid=50628] ppid=50622 vsize=1251920 memory=1178956 CPUtime=3333.23 cores=0,2
/proc/50628/stat : 50628 (roundingsat) R 50622 50622 50566 0 -1 4194304 193955 0 0 0 332649 674 0 0 20 0 1 0 50499143 1281966080 294739 18446744073709551615 4227072 8923433 140728969570688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42618880 140728969574818 140728969574952 140728969574952 140728969580522 0
/proc/50628/statm: 312980 294739 2336 1147 0 300407 0
Current children cumulated CPU time: 3333.23 s
Current children cumulated vsize: 1256112 KiB
Current children cumulated memory: 1182028 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/270 50826
/proc/meminfo: memFree=125802316/131249996 swapFree=33006296/33010684
[pid=50622] ppid=50616 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50622/stat : 50622 (run-opt.sh) S 50616 50622 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 93968856137728 93968857032261 140721573591664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968857271312 93968857319056 93968865218560 140721573599597 140721573599720 140721573599720 140721573605322 0
/proc/50622/statm: 1048 768 704 219 0 110 0
[pid=50628] ppid=50622 vsize=1255172 memory=1180620 CPUtime=3393.06 cores=0,2
/proc/50628/stat : 50628 (roundingsat) R 50622 50622 50566 0 -1 4194304 194407 0 0 0 338625 681 0 0 20 0 1 0 50499143 1285296128 295155 18446744073709551615 4227072 8923433 140728969570688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42618880 140728969574818 140728969574952 140728969574952 140728969580522 0
/proc/50628/statm: 313793 295155 2336 1147 0 301220 0
Current children cumulated CPU time: 3393.06 s
Current children cumulated vsize: 1259364 KiB
Current children cumulated memory: 1183692 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/271 50829
/proc/meminfo: memFree=125761144/131249996 swapFree=33006296/33010684
[pid=50622] ppid=50616 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50622/stat : 50622 (run-opt.sh) S 50616 50622 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 93968856137728 93968857032261 140721573591664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968857271312 93968857319056 93968865218560 140721573599597 140721573599720 140721573599720 140721573605322 0
/proc/50622/statm: 1048 768 704 219 0 110 0
[pid=50628] ppid=50622 vsize=1256800 memory=1183608 CPUtime=3452.91 cores=0,2
/proc/50628/stat : 50628 (roundingsat) R 50622 50622 50566 0 -1 4194304 194639 0 0 0 344602 689 0 0 20 0 1 0 50499143 1286963200 295902 18446744073709551615 4227072 8923433 140728969570688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42618880 140728969574818 140728969574952 140728969574952 140728969580522 0
/proc/50628/statm: 314200 295902 2336 1147 0 301627 0
Current children cumulated CPU time: 3452.91 s
Current children cumulated vsize: 1260992 KiB
Current children cumulated memory: 1186680 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/270 50831
/proc/meminfo: memFree=125753012/131249996 swapFree=33006296/33010684
[pid=50622] ppid=50616 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50622/stat : 50622 (run-opt.sh) S 50616 50622 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 93968856137728 93968857032261 140721573591664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968857271312 93968857319056 93968865218560 140721573599597 140721573599720 140721573599720 140721573605322 0
/proc/50622/statm: 1048 768 704 219 0 110 0
[pid=50628] ppid=50622 vsize=1256800 memory=1183608 CPUtime=3512.76 cores=0,2
/proc/50628/stat : 50628 (roundingsat) R 50622 50622 50566 0 -1 4194304 194701 0 0 0 350576 700 0 0 20 0 1 0 50499143 1286963200 295902 18446744073709551615 4227072 8923433 140728969570688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42618880 140728969574818 140728969574952 140728969574952 140728969580522 0
/proc/50628/statm: 314200 295902 2336 1147 0 301627 0
Current children cumulated CPU time: 3512.76 s
Current children cumulated vsize: 1260992 KiB
Current children cumulated memory: 1186680 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 50834
/proc/meminfo: memFree=125753724/131249996 swapFree=33006296/33010684
[pid=50622] ppid=50616 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50622/stat : 50622 (run-opt.sh) S 50616 50622 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 93968856137728 93968857032261 140721573591664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968857271312 93968857319056 93968865218560 140721573599597 140721573599720 140721573599720 140721573605322 0
/proc/50622/statm: 1048 768 704 219 0 110 0
[pid=50628] ppid=50622 vsize=1256800 memory=1183608 CPUtime=3572.6 cores=0,2
/proc/50628/stat : 50628 (roundingsat) R 50622 50622 50566 0 -1 4194304 194721 0 0 0 356554 706 0 0 20 0 1 0 50499143 1286963200 295902 18446744073709551615 4227072 8923433 140728969570688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42618880 140728969574818 140728969574952 140728969574952 140728969580522 0
/proc/50628/statm: 314200 295902 2336 1147 0 301627 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 1260992 KiB
Current children cumulated memory: 1186680 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 50835
/proc/meminfo: memFree=125753156/131249996 swapFree=33006296/33010684
[pid=50622] ppid=50616 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50622/stat : 50622 (run-opt.sh) S 50616 50622 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50499142 4292608 768 18446744073709551615 93968856137728 93968857032261 140721573591664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968857271312 93968857319056 93968865218560 140721573599597 140721573599720 140721573599720 140721573605322 0
/proc/50622/statm: 1048 768 704 219 0 110 0
[pid=50628] ppid=50622 vsize=1256800 memory=1183608 CPUtime=3600.03 cores=0,2
/proc/50628/stat : 50628 (roundingsat) R 50622 50622 50566 0 -1 4194304 194725 0 0 0 359295 708 0 0 20 0 1 0 50499143 1286963200 295902 18446744073709551615 4227072 8923433 140728969570688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42618880 140728969574818 140728969574952 140728969574952 140728969580522 0
/proc/50628/statm: 314200 295902 2336 1147 0 301627 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1260992 KiB
Current children cumulated memory: 1186680 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.8 s]
# the end of solver process 50622 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000724 s, system=0.001418 s
Sleeping 2 seconds
[startup+3609.81 s]
# the end of solver process 50628 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3592.96 s, system=7.09428 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.81
CPU time (s): 3600.05
CPU user time (s): 3592.96
CPU system time (s): 7.09428
CPU usage (%): 99.7298
Max. virtual memory (cumulated for all children) (KiB): 1260992
Max. memory (cumulated for all children) (KiB): 1186680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.96
system time used= 7.09428
maximum resident set size= 1183992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195006
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 403
involuntary context switches= 4787
# summary of solver processes directly reported to runsolver:
# pid: 50622,50628
# total CPU time (s): 3600.05
# total CPU user time (s): 3592.96
# total CPU system time (s): 7.09428
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.76367 second user time and 16.2653 second system time
The end
Begin job on nodeC015 at 2025-07-01 07:36:57
IDJOB=4488862
IDBENCH=147533
IDSOLVER=3350
FILE ID=nodeC015/4488862-1751348216
RUNJOBID= nodeC015-1751348216-50576
SLURM_JOB_ID= 9598120
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4488862-1751348216/watcher-4488862-1751348216 -o /tmp/evaluation-result-4488862-1751348216/solver-4488862-1751348216 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751348216-50576 --watchdog 3760 run-opt.sh HOME/instance-4488862-1751348216.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1c637e715c606e851ba2308661126deb
RANDOM SEED=2093586924
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.877
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.075
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.292
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.174
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.440
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3754.933
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3595.579
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.071
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130189120 kB
MemAvailable: 129820936 kB
Buffers: 1508 kB
Cached: 378996 kB
SwapCached: 3876 kB
Active: 315520 kB
Inactive: 144944 kB
Active(anon): 45020 kB
Inactive(anon): 49084 kB
Active(file): 270500 kB
Inactive(file): 95860 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 28832 kB
Writeback: 4 kB
AnonPages: 79464 kB
Mapped: 98620 kB
Shmem: 14144 kB
KReclaimable: 132628 kB
Slab: 223072 kB
SReclaimable: 132628 kB
SUnreclaim: 90444 kB
KernelStack: 4088 kB
PageTables: 2432 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 340140 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432988 MiB
End job on nodeC015 at 2025-07-01 08:37:07