0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.06/0.21 c #variables 8424 #constraints 9186
0.06/0.21 c objective is ce32
0.06/0.23 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.06/0.23 c initial counting CF 32, 64, 128, Arb: 577 , 0 , 0 , 0
0.06/0.23 c GLOBAL bounds - >= 0 @ 0.148541
0.16/0.25 c GLOBAL bounds - >= 0 @ 0.153616
0.16/0.25 c GLOBAL bounds - >= 9 @ 0.154083
2.79/2.93 c #Conflicts: 1000 | #Constraints: 10187
2.79/2.93 c #Conflicts: 2000 | #Constraints: 11188
2.79/2.93 c INPROCESSING
2.79/2.93 c GARBAGE COLLECT
2.79/2.93 c rational objective 9
3.39/3.51 c GLOBAL bounds - >= 9 @ 3.24134
5.48/5.64 c #Conflicts: 3000 | #Constraints: 2790
5.48/5.64 c #Conflicts: 4000 | #Constraints: 3793
5.48/5.64 c INPROCESSING
5.48/5.64 c GARBAGE COLLECT
5.48/5.64 c rational objective 9
5.89/6.05 c GLOBAL bounds - >= 9 @ 5.73905
5.89/6.05 c GLOBAL bounds - >= 9 @ 5.73909
7.68/7.84 c #Conflicts: 5000 | #Constraints: 3205
7.68/7.84 c #Conflicts: 6000 | #Constraints: 4209
7.68/7.84 c INPROCESSING
7.68/7.84 c GARBAGE COLLECT
7.68/7.84 c rational objective 9
8.77/8.92 c GLOBAL bounds - >= 9 @ 8.55718
8.77/8.92 c GLOBAL bounds - >= 9 @ 8.55722
11.26/11.45 c #Conflicts: 7000 | #Constraints: 3214
11.26/11.45 c #Conflicts: 8000 | #Constraints: 4215
11.26/11.45 c #Conflicts: 9000 | #Constraints: 5215
11.26/11.45 c INPROCESSING
11.26/11.45 c GARBAGE COLLECT
11.26/11.45 c rational objective 9
11.87/12.11 c GLOBAL bounds - >= 9 @ 11.6501
11.87/12.11 c GLOBAL bounds - >= 9 @ 11.6501
14.87/15.06 c #Conflicts: 10000 | #Constraints: 3919
14.87/15.06 c #Conflicts: 11000 | #Constraints: 4921
14.87/15.06 c #Conflicts: 12000 | #Constraints: 5922
14.87/15.06 c INPROCESSING
14.87/15.06 c GARBAGE COLLECT
14.87/15.06 c rational objective 9
15.16/15.35 c GLOBAL bounds - >= 9 @ 14.8274
15.16/15.35 c GLOBAL bounds - >= 9 @ 14.8274
18.75/19.00 c #Conflicts: 13000 | #Constraints: 4364
18.75/19.00 c #Conflicts: 14000 | #Constraints: 5365
18.75/19.00 c #Conflicts: 15000 | #Constraints: 6368
18.75/19.00 c INPROCESSING
18.75/19.00 c GARBAGE COLLECT
18.75/19.00 c rational objective 9
19.14/19.35 c GLOBAL bounds - >= 9 @ 18.7516
19.14/19.35 c GLOBAL bounds - >= 9 @ 18.7516
23.85/24.10 c #Conflicts: 16000 | #Constraints: 4593
23.85/24.10 c #Conflicts: 17000 | #Constraints: 5593
23.85/24.10 c #Conflicts: 18000 | #Constraints: 6595
23.85/24.10 c INPROCESSING
23.85/24.10 c GARBAGE COLLECT
23.85/24.10 c rational objective 9
24.23/24.49 c GLOBAL bounds - >= 9 @ 23.8034
24.23/24.49 c GLOBAL bounds - >= 9 @ 23.8035
28.02/28.21 c #Conflicts: 19000 | #Constraints: 4610
28.02/28.21 c #Conflicts: 20000 | #Constraints: 5612
28.02/28.21 c #Conflicts: 21000 | #Constraints: 6614
28.02/28.21 c INPROCESSING
28.02/28.21 c GARBAGE COLLECT
28.02/28.21 c rational objective 9
28.62/28.87 c GLOBAL bounds - >= 9 @ 28.0963
28.62/28.87 c GLOBAL bounds - >= 9 @ 28.0963
32.41/32.61 c #Conflicts: 22000 | #Constraints: 4408
32.41/32.61 c #Conflicts: 23000 | #Constraints: 5411
32.41/32.61 c #Conflicts: 24000 | #Constraints: 6413
32.41/32.61 c #Conflicts: 25000 | #Constraints: 7416
32.41/32.61 c INPROCESSING
32.41/32.61 c GARBAGE COLLECT
32.41/32.61 c rational objective 9
33.10/33.37 c GLOBAL bounds - >= 9 @ 32.486
33.10/33.37 c GLOBAL bounds - >= 9 @ 32.486
37.70/37.93 c #Conflicts: 26000 | #Constraints: 5015
37.70/37.93 c #Conflicts: 27000 | #Constraints: 6019
37.70/37.93 c #Conflicts: 28000 | #Constraints: 7023
37.70/37.93 c #Conflicts: 29000 | #Constraints: 8024
37.70/37.93 c INPROCESSING
37.70/37.93 c GARBAGE COLLECT
37.70/37.93 c rational objective 9
38.00/38.21 c GLOBAL bounds - >= 9 @ 37.2633
38.00/38.21 c GLOBAL bounds - >= 9 @ 37.2633
40.39/40.66 c #Conflicts: 30000 | #Constraints: 5412
40.39/40.66 c #Conflicts: 31000 | #Constraints: 6413
40.39/40.66 c #Conflicts: 32000 | #Constraints: 7417
40.39/40.66 c #Conflicts: 33000 | #Constraints: 8418
40.39/40.66 c INPROCESSING
40.39/40.66 c GARBAGE COLLECT
40.39/40.66 c rational objective 9
40.90/41.15 c GLOBAL bounds - >= 9 @ 40.155
40.90/41.15 c GLOBAL bounds - >= 9 @ 40.155
43.97/44.27 c #Conflicts: 34000 | #Constraints: 5609
43.97/44.27 c #Conflicts: 35000 | #Constraints: 6613
43.97/44.27 c #Conflicts: 36000 | #Constraints: 7615
43.97/44.27 c #Conflicts: 37000 | #Constraints: 8622
43.97/44.27 c INPROCESSING
43.97/44.27 c GARBAGE COLLECT
43.97/44.27 c rational objective 9
44.37/44.68 c GLOBAL bounds - >= 9 @ 43.6253
44.37/44.68 c GLOBAL bounds - >= 9 @ 43.6253
50.36/50.69 c #Conflicts: 38000 | #Constraints: 5627
50.36/50.69 c #Conflicts: 39000 | #Constraints: 6633
50.36/50.69 c #Conflicts: 40000 | #Constraints: 7633
50.36/50.69 c #Conflicts: 41000 | #Constraints: 8633
50.36/50.69 c INPROCESSING
50.36/50.69 c GARBAGE COLLECT
50.36/50.69 c rational objective 9
51.26/51.53 c GLOBAL bounds - >= 9 @ 50.3992
51.26/51.53 c GLOBAL bounds - >= 9 @ 50.3993
59.14/59.46 c #Conflicts: 42000 | #Constraints: 5439
59.14/59.46 c #Conflicts: 43000 | #Constraints: 6440
59.14/59.46 c #Conflicts: 44000 | #Constraints: 7445
59.14/59.46 c #Conflicts: 45000 | #Constraints: 8449
59.14/59.46 c #Conflicts: 46000 | #Constraints: 9453
59.14/59.46 c INPROCESSING
59.14/59.46 c GARBAGE COLLECT
59.14/59.46 c rational objective 9
59.53/59.84 c GLOBAL bounds - >= 9 @ 58.5875
59.53/59.84 c GLOBAL bounds - >= 9 @ 58.5876
62.84/63.12 c #Conflicts: 47000 | #Constraints: 6033
62.84/63.12 c #Conflicts: 48000 | #Constraints: 7035
62.84/63.12 c #Conflicts: 49000 | #Constraints: 8037
62.84/63.12 c #Conflicts: 50000 | #Constraints: 9039
62.84/63.12 c #Conflicts: 51000 | #Constraints: 10039
62.84/63.12 c INPROCESSING
62.84/63.12 c GARBAGE COLLECT
62.84/63.12 c rational objective 9
63.43/63.70 c GLOBAL bounds - >= 9 @ 62.3743
63.43/63.70 c GLOBAL bounds - >= 9 @ 62.3744
67.31/67.62 c #Conflicts: 52000 | #Constraints: 6426
67.31/67.62 c #Conflicts: 53000 | #Constraints: 7426
67.31/67.62 c #Conflicts: 54000 | #Constraints: 8427
67.31/67.62 c #Conflicts: 55000 | #Constraints: 9428
67.31/67.62 c #Conflicts: 56000 | #Constraints: 10430
67.31/67.62 c INPROCESSING
67.31/67.62 c GARBAGE COLLECT
67.31/67.62 c rational objective 9
67.72/68.07 c GLOBAL bounds - >= 9 @ 66.6775
67.72/68.07 c GLOBAL bounds - >= 9 @ 66.6776
73.80/74.15 c #Conflicts: 57000 | #Constraints: 6624
73.80/74.15 c #Conflicts: 58000 | #Constraints: 7625
73.80/74.15 c #Conflicts: 59000 | #Constraints: 8626
73.80/74.15 c #Conflicts: 60000 | #Constraints: 9627
73.80/74.15 c #Conflicts: 61000 | #Constraints: 10627
73.80/74.15 c INPROCESSING
73.80/74.15 c GARBAGE COLLECT
73.80/74.15 c rational objective 9
74.19/74.59 c GLOBAL bounds - >= 9 @ 73.107
74.19/74.59 c GLOBAL bounds - >= 9 @ 73.107
81.57/82.01 c #Conflicts: 62000 | #Constraints: 6619
81.57/82.01 c #Conflicts: 63000 | #Constraints: 7624
81.57/82.01 c #Conflicts: 64000 | #Constraints: 8631
81.57/82.01 c #Conflicts: 65000 | #Constraints: 9633
81.57/82.01 c #Conflicts: 66000 | #Constraints: 10635
81.57/82.01 c INPROCESSING
81.57/82.01 c GARBAGE COLLECT
81.57/82.01 c rational objective 9
81.96/82.38 c GLOBAL bounds - >= 9 @ 80.7745
81.96/82.38 c GLOBAL bounds - >= 9 @ 80.7745
87.76/88.18 c #Conflicts: 67000 | #Constraints: 6429
87.76/88.18 c #Conflicts: 68000 | #Constraints: 7430
87.76/88.18 c #Conflicts: 69000 | #Constraints: 8430
87.76/88.18 c #Conflicts: 70000 | #Constraints: 9430
87.76/88.18 c #Conflicts: 71000 | #Constraints: 10431
87.76/88.18 c #Conflicts: 72000 | #Constraints: 11432
87.76/88.18 c INPROCESSING
87.76/88.18 c GARBAGE COLLECT
87.76/88.18 c rational objective 9
88.45/88.82 c GLOBAL bounds - >= 9 @ 87.126
88.45/88.82 c GLOBAL bounds - >= 9 @ 87.1261
93.53/93.97 c #Conflicts: 73000 | #Constraints: 7022
93.53/93.97 c #Conflicts: 74000 | #Constraints: 8024
93.53/93.97 c #Conflicts: 75000 | #Constraints: 9026
93.53/93.97 c #Conflicts: 76000 | #Constraints: 10026
93.53/93.97 c #Conflicts: 77000 | #Constraints: 11028
93.53/93.97 c #Conflicts: 78000 | #Constraints: 12029
93.53/93.97 c INPROCESSING
93.53/93.97 c GARBAGE COLLECT
93.53/93.97 c rational objective 9
94.03/94.40 c GLOBAL bounds - >= 9 @ 92.6046
94.03/94.40 c GLOBAL bounds - >= 9 @ 92.6047
101.91/102.32 c #Conflicts: 79000 | #Constraints: 7416
101.91/102.32 c #Conflicts: 80000 | #Constraints: 8417
101.91/102.32 c #Conflicts: 81000 | #Constraints: 9419
101.91/102.32 c #Conflicts: 82000 | #Constraints: 10420
101.91/102.32 c #Conflicts: 83000 | #Constraints: 11421
101.91/102.32 c #Conflicts: 84000 | #Constraints: 12422
101.91/102.32 c INPROCESSING
101.91/102.32 c GARBAGE COLLECT
101.91/102.32 c rational objective 9
102.51/102.91 c GLOBAL bounds - >= 9 @ 100.963
102.51/102.91 c GLOBAL bounds - >= 9 @ 100.963
109.48/109.97 c #Conflicts: 85000 | #Constraints: 7618
109.48/109.97 c #Conflicts: 86000 | #Constraints: 8619
109.48/109.97 c #Conflicts: 87000 | #Constraints: 9620
109.48/109.97 c #Conflicts: 88000 | #Constraints: 10621
109.48/109.97 c #Conflicts: 89000 | #Constraints: 11622
109.48/109.97 c #Conflicts: 90000 | #Constraints: 12625
109.48/109.97 c INPROCESSING
109.48/109.97 c GARBAGE COLLECT
109.48/109.97 c rational objective 9
110.19/110.62 c GLOBAL bounds - >= 9 @ 108.57
110.19/110.62 c GLOBAL bounds - >= 9 @ 108.57
121.56/122.05 c #Conflicts: 91000 | #Constraints: 7613
121.56/122.05 c #Conflicts: 92000 | #Constraints: 8615
121.56/122.05 c #Conflicts: 93000 | #Constraints: 9616
121.56/122.05 c #Conflicts: 94000 | #Constraints: 10620
121.56/122.05 c #Conflicts: 95000 | #Constraints: 11622
121.56/122.05 c #Conflicts: 96000 | #Constraints: 12624
121.56/122.05 c INPROCESSING
121.56/122.05 c GARBAGE COLLECT
121.56/122.05 c rational objective 9
121.95/122.42 c GLOBAL bounds - >= 9 @ 120.146
121.95/122.42 c GLOBAL bounds - >= 9 @ 120.146
131.72/132.22 c #Conflicts: 97000 | #Constraints: 7434
131.72/132.22 c #Conflicts: 98000 | #Constraints: 8436
131.72/132.22 c #Conflicts: 99000 | #Constraints: 9437
131.72/132.22 c #Conflicts: 100000 | #Constraints: 10439
131.72/132.22 c #Conflicts: 101000 | #Constraints: 11445
131.72/132.22 c #Conflicts: 102000 | #Constraints: 12450
131.72/132.22 c #Conflicts: 103000 | #Constraints: 13451
131.72/132.22 c INPROCESSING
131.72/132.22 c GARBAGE COLLECT
131.72/132.22 c rational objective 9
132.12/132.61 c GLOBAL bounds - >= 9 @ 130.148
132.12/132.61 c GLOBAL bounds - >= 9 @ 130.148
141.79/142.34 c #Conflicts: 104000 | #Constraints: 8034
141.79/142.34 c #Conflicts: 105000 | #Constraints: 9036
141.79/142.34 c #Conflicts: 106000 | #Constraints: 10037
141.79/142.34 c #Conflicts: 107000 | #Constraints: 11038
141.79/142.34 c #Conflicts: 108000 | #Constraints: 12041
141.79/142.34 c #Conflicts: 109000 | #Constraints: 13045
141.79/142.34 c #Conflicts: 110000 | #Constraints: 14046
141.79/142.34 c INPROCESSING
141.79/142.34 c GARBAGE COLLECT
141.79/142.34 c rational objective 9
142.19/142.73 c GLOBAL bounds - >= 9 @ 140.099
142.19/142.73 c GLOBAL bounds - >= 9 @ 140.1
152.76/153.38 c #Conflicts: 111000 | #Constraints: 8444
152.76/153.38 c #Conflicts: 112000 | #Constraints: 9448
152.76/153.38 c #Conflicts: 113000 | #Constraints: 10448
152.76/153.38 c #Conflicts: 114000 | #Constraints: 11449
152.76/153.38 c #Conflicts: 115000 | #Constraints: 12452
152.76/153.38 c #Conflicts: 116000 | #Constraints: 13455
152.76/153.38 c #Conflicts: 117000 | #Constraints: 14459
152.76/153.38 c INPROCESSING
152.76/153.38 c GARBAGE COLLECT
152.76/153.38 c rational objective 9
153.36/153.91 c GLOBAL bounds - >= 9 @ 151.125
153.36/153.91 c GLOBAL bounds - >= 9 @ 151.125
162.23/162.85 c #Conflicts: 118000 | #Constraints: 8638
162.23/162.85 c #Conflicts: 119000 | #Constraints: 9641
162.23/162.85 c #Conflicts: 120000 | #Constraints: 10641
162.23/162.85 c #Conflicts: 121000 | #Constraints: 11641
162.23/162.85 c #Conflicts: 122000 | #Constraints: 12641
162.23/162.85 c #Conflicts: 123000 | #Constraints: 13642
162.23/162.85 c #Conflicts: 124000 | #Constraints: 14644
162.23/162.85 c INPROCESSING
162.23/162.85 c GARBAGE COLLECT
162.23/162.85 c rational objective 9
163.23/163.84 c GLOBAL bounds - >= 9 @ 160.921
163.23/163.84 c GLOBAL bounds - >= 9 @ 160.921
173.52/174.15 c #Conflicts: 125000 | #Constraints: 8634
173.52/174.15 c #Conflicts: 126000 | #Constraints: 9637
173.52/174.15 c #Conflicts: 127000 | #Constraints: 10641
173.52/174.15 c #Conflicts: 128000 | #Constraints: 11645
173.52/174.15 c #Conflicts: 129000 | #Constraints: 12646
173.52/174.15 c #Conflicts: 130000 | #Constraints: 13649
173.52/174.15 c #Conflicts: 131000 | #Constraints: 14653
173.52/174.15 c INPROCESSING
173.52/174.15 c GARBAGE COLLECT
173.52/174.15 c rational objective 9
174.00/174.61 c GLOBAL bounds - >= 9 @ 171.545
174.00/174.61 c GLOBAL bounds - >= 9 @ 171.546
188.76/189.49 c #Conflicts: 132000 | #Constraints: 8437
188.76/189.49 c #Conflicts: 133000 | #Constraints: 9438
188.76/189.49 c #Conflicts: 134000 | #Constraints: 10440
188.76/189.49 c #Conflicts: 135000 | #Constraints: 11443
188.76/189.49 c #Conflicts: 136000 | #Constraints: 12446
188.76/189.49 c #Conflicts: 137000 | #Constraints: 13447
188.76/189.49 c #Conflicts: 138000 | #Constraints: 14448
188.76/189.49 c #Conflicts: 139000 | #Constraints: 15451
188.76/189.49 c INPROCESSING
188.76/189.49 c GARBAGE COLLECT
188.76/189.49 c rational objective 9
189.37/190.11 c GLOBAL bounds - >= 9 @ 186.867
189.37/190.11 c GLOBAL bounds - >= 9 @ 186.867
200.44/201.19 c #Conflicts: 140000 | #Constraints: 9038
200.44/201.19 c #Conflicts: 141000 | #Constraints: 10042
200.44/201.19 c #Conflicts: 142000 | #Constraints: 11045
200.44/201.19 c #Conflicts: 143000 | #Constraints: 12048
200.44/201.19 c #Conflicts: 144000 | #Constraints: 13052
200.44/201.19 c #Conflicts: 145000 | #Constraints: 14054
200.44/201.19 c #Conflicts: 146000 | #Constraints: 15056
200.44/201.19 c #Conflicts: 147000 | #Constraints: 16058
200.44/201.19 c INPROCESSING
200.44/201.19 c GARBAGE COLLECT
200.44/201.19 c rational objective 9
200.72/201.47 c GLOBAL bounds - >= 9 @ 198.015
200.72/201.47 c GLOBAL bounds - >= 9 @ 198.015
216.68/217.46 c #Conflicts: 148000 | #Constraints: 9443
216.68/217.46 c #Conflicts: 149000 | #Constraints: 10444
216.68/217.46 c #Conflicts: 150000 | #Constraints: 11445
216.68/217.46 c #Conflicts: 151000 | #Constraints: 12446
216.68/217.46 c #Conflicts: 152000 | #Constraints: 13447
216.68/217.46 c #Conflicts: 153000 | #Constraints: 14450
216.68/217.46 c #Conflicts: 154000 | #Constraints: 15451
216.68/217.46 c #Conflicts: 155000 | #Constraints: 16454
216.68/217.46 c INPROCESSING
216.68/217.46 c GARBAGE COLLECT
216.68/217.46 c rational objective 9
217.08/217.83 c GLOBAL bounds - >= 9 @ 214.157
217.08/217.83 c GLOBAL bounds - >= 9 @ 214.157
233.34/234.13 c #Conflicts: 156000 | #Constraints: 9642
233.34/234.13 c #Conflicts: 157000 | #Constraints: 10643
233.34/234.13 c #Conflicts: 158000 | #Constraints: 11643
233.34/234.13 c #Conflicts: 159000 | #Constraints: 12643
233.34/234.13 c #Conflicts: 160000 | #Constraints: 13643
233.34/234.13 c #Conflicts: 161000 | #Constraints: 14644
233.34/234.13 c #Conflicts: 162000 | #Constraints: 15645
233.34/234.13 c #Conflicts: 163000 | #Constraints: 16646
233.34/234.13 c INPROCESSING
233.34/234.13 c GARBAGE COLLECT
233.34/234.13 c rational objective 9
233.93/234.79 c GLOBAL bounds - >= 9 @ 230.93
233.93/234.79 c GLOBAL bounds - >= 9 @ 230.93
248.98/249.80 c #Conflicts: 164000 | #Constraints: 9629
248.98/249.80 c #Conflicts: 165000 | #Constraints: 10630
248.98/249.80 c #Conflicts: 166000 | #Constraints: 11631
248.98/249.80 c #Conflicts: 167000 | #Constraints: 12633
248.98/249.80 c #Conflicts: 168000 | #Constraints: 13638
248.98/249.80 c #Conflicts: 169000 | #Constraints: 14642
248.98/249.80 c #Conflicts: 170000 | #Constraints: 15648
248.98/249.80 c #Conflicts: 171000 | #Constraints: 16652
248.98/249.80 c INPROCESSING
248.98/249.80 c GARBAGE COLLECT
248.98/249.80 c rational objective 9
249.49/250.37 c GLOBAL bounds - >= 9 @ 246.322
249.49/250.37 c GLOBAL bounds - >= 9 @ 246.322
259.35/260.28 c #Conflicts: 172000 | #Constraints: 9439
259.35/260.28 c #Conflicts: 173000 | #Constraints: 10443
259.35/260.28 c #Conflicts: 174000 | #Constraints: 11444
259.35/260.28 c #Conflicts: 175000 | #Constraints: 12447
259.35/260.28 c #Conflicts: 176000 | #Constraints: 13450
259.35/260.28 c #Conflicts: 177000 | #Constraints: 14453
259.35/260.28 c #Conflicts: 178000 | #Constraints: 15456
259.35/260.28 c #Conflicts: 179000 | #Constraints: 16459
259.35/260.28 c #Conflicts: 180000 | #Constraints: 17462
259.35/260.28 c INPROCESSING
259.35/260.28 c GARBAGE COLLECT
259.35/260.28 c rational objective 9
259.85/260.71 c GLOBAL bounds - >= 9 @ 256.519
259.85/260.71 c GLOBAL bounds - >= 9 @ 256.519
280.11/281.02 c #Conflicts: 181000 | #Constraints: 10042
280.11/281.02 c #Conflicts: 182000 | #Constraints: 11043
280.11/281.02 c #Conflicts: 183000 | #Constraints: 12044
280.11/281.02 c #Conflicts: 184000 | #Constraints: 13046
280.11/281.02 c #Conflicts: 185000 | #Constraints: 14048
280.11/281.02 c #Conflicts: 186000 | #Constraints: 15050
280.11/281.02 c #Conflicts: 187000 | #Constraints: 16050
280.11/281.02 c #Conflicts: 188000 | #Constraints: 17051
280.11/281.02 c #Conflicts: 189000 | #Constraints: 18052
280.11/281.02 c INPROCESSING
280.11/281.02 c GARBAGE COLLECT
280.11/281.02 c rational objective 9
280.69/281.64 c GLOBAL bounds - >= 9 @ 277.229
280.69/281.64 c GLOBAL bounds - >= 9 @ 277.229
293.95/294.93 c #Conflicts: 190000 | #Constraints: 10469
293.95/294.93 c #Conflicts: 191000 | #Constraints: 11474
293.95/294.93 c #Conflicts: 192000 | #Constraints: 12476
293.95/294.93 c #Conflicts: 193000 | #Constraints: 13481
293.95/294.93 c #Conflicts: 194000 | #Constraints: 14485
293.95/294.93 c #Conflicts: 195000 | #Constraints: 15491
293.95/294.93 c #Conflicts: 196000 | #Constraints: 16495
293.95/294.93 c #Conflicts: 197000 | #Constraints: 17499
293.95/294.93 c #Conflicts: 198000 | #Constraints: 18502
293.95/294.93 c INPROCESSING
293.95/294.93 c GARBAGE COLLECT
293.95/294.93 c rational objective 9
294.45/295.47 c GLOBAL bounds - >= 9 @ 290.903
294.45/295.47 c GLOBAL bounds - >= 9 @ 290.903
317.19/318.28 c #Conflicts: 199000 | #Constraints: 10679
317.19/318.28 c #Conflicts: 200000 | #Constraints: 11681
317.19/318.28 c #Conflicts: 201000 | #Constraints: 12683
317.19/318.28 c #Conflicts: 202000 | #Constraints: 13687
317.19/318.28 c #Conflicts: 203000 | #Constraints: 14690
317.19/318.28 c #Conflicts: 204000 | #Constraints: 15697
317.19/318.28 c #Conflicts: 205000 | #Constraints: 16700
317.19/318.28 c #Conflicts: 206000 | #Constraints: 17704
317.19/318.28 c #Conflicts: 207000 | #Constraints: 18704
317.19/318.28 c INPROCESSING
317.19/318.28 c GARBAGE COLLECT
317.19/318.28 c rational objective 9
317.79/318.83 c GLOBAL bounds - >= 9 @ 314.008
317.79/318.83 c GLOBAL bounds - >= 9 @ 314.008
337.63/338.73 c #Conflicts: 208000 | #Constraints: 10681
337.63/338.73 c #Conflicts: 209000 | #Constraints: 11684
337.63/338.73 c #Conflicts: 210000 | #Constraints: 12686
337.63/338.73 c #Conflicts: 211000 | #Constraints: 13688
337.63/338.73 c #Conflicts: 212000 | #Constraints: 14691
337.63/338.73 c #Conflicts: 213000 | #Constraints: 15693
337.63/338.73 c #Conflicts: 214000 | #Constraints: 16694
337.63/338.73 c #Conflicts: 215000 | #Constraints: 17697
337.63/338.73 c #Conflicts: 216000 | #Constraints: 18700
337.63/338.73 c INPROCESSING
337.63/338.73 c GARBAGE COLLECT
337.63/338.73 c rational objective 9
338.04/339.14 c GLOBAL bounds - >= 9 @ 334.1
338.04/339.14 c GLOBAL bounds - >= 9 @ 334.1
352.68/353.85 c #Conflicts: 217000 | #Constraints: 10493
352.68/353.85 c #Conflicts: 218000 | #Constraints: 11494
352.68/353.85 c #Conflicts: 219000 | #Constraints: 12495
352.68/353.85 c #Conflicts: 220000 | #Constraints: 13499
352.68/353.85 c #Conflicts: 221000 | #Constraints: 14500
352.68/353.85 c #Conflicts: 222000 | #Constraints: 15502
352.68/353.85 c #Conflicts: 223000 | #Constraints: 16502
352.68/353.85 c #Conflicts: 224000 | #Constraints: 17502
352.68/353.85 c #Conflicts: 225000 | #Constraints: 18502
352.68/353.85 c #Conflicts: 226000 | #Constraints: 19503
352.68/353.85 c INPROCESSING
352.68/353.85 c GARBAGE COLLECT
352.68/353.85 c rational objective 9
353.58/354.73 c GLOBAL bounds - >= 9 @ 349.541
353.58/354.73 c GLOBAL bounds - >= 9 @ 349.541
375.12/376.38 c #Conflicts: 227000 | #Constraints: 11063
375.12/376.38 c #Conflicts: 228000 | #Constraints: 12066
375.12/376.38 c #Conflicts: 229000 | #Constraints: 13068
375.12/376.38 c #Conflicts: 230000 | #Constraints: 14072
375.12/376.38 c #Conflicts: 231000 | #Constraints: 15074
375.12/376.38 c #Conflicts: 232000 | #Constraints: 16077
375.12/376.38 c #Conflicts: 233000 | #Constraints: 17079
375.12/376.38 c #Conflicts: 234000 | #Constraints: 18081
375.12/376.38 c #Conflicts: 235000 | #Constraints: 19084
375.12/376.38 c #Conflicts: 236000 | #Constraints: 20086
375.12/376.38 c INPROCESSING
375.12/376.38 c GARBAGE COLLECT
375.12/376.38 c rational objective 9
375.61/376.83 c GLOBAL bounds - >= 9 @ 371.391
375.61/376.83 c GLOBAL bounds - >= 9 @ 371.391
402.85/404.11 c #Conflicts: 237000 | #Constraints: 11452
402.85/404.11 c #Conflicts: 238000 | #Constraints: 12456
402.85/404.11 c #Conflicts: 239000 | #Constraints: 13462
402.85/404.11 c #Conflicts: 240000 | #Constraints: 14465
402.85/404.11 c #Conflicts: 241000 | #Constraints: 15468
402.85/404.11 c #Conflicts: 242000 | #Constraints: 16472
402.85/404.11 c #Conflicts: 243000 | #Constraints: 17477
402.85/404.11 c #Conflicts: 244000 | #Constraints: 18479
402.85/404.11 c #Conflicts: 245000 | #Constraints: 19483
402.85/404.11 c #Conflicts: 246000 | #Constraints: 20484
402.85/404.11 c INPROCESSING
402.85/404.11 c GARBAGE COLLECT
402.85/404.11 c rational objective 9
403.14/404.42 c GLOBAL bounds - >= 9 @ 398.719
403.14/404.42 c GLOBAL bounds - >= 9 @ 398.72
416.21/417.58 c #Conflicts: 247000 | #Constraints: 11659
416.21/417.58 c #Conflicts: 248000 | #Constraints: 12660
416.21/417.58 c #Conflicts: 249000 | #Constraints: 13660
416.21/417.58 c #Conflicts: 250000 | #Constraints: 14662
416.21/417.58 c #Conflicts: 251000 | #Constraints: 15664
416.21/417.58 c #Conflicts: 252000 | #Constraints: 16665
416.21/417.58 c #Conflicts: 253000 | #Constraints: 17667
416.21/417.58 c #Conflicts: 254000 | #Constraints: 18668
416.21/417.58 c #Conflicts: 255000 | #Constraints: 19670
416.21/417.58 c #Conflicts: 256000 | #Constraints: 20672
416.21/417.58 c INPROCESSING
416.21/417.58 c GARBAGE COLLECT
416.21/417.58 c rational objective 9
417.00/418.31 c GLOBAL bounds - >= 9 @ 412.44
417.00/418.31 c GLOBAL bounds - >= 9 @ 412.44
431.86/433.24 c #Conflicts: 257000 | #Constraints: 11656
431.86/433.24 c #Conflicts: 258000 | #Constraints: 12658
431.86/433.24 c #Conflicts: 259000 | #Constraints: 13661
431.86/433.24 c #Conflicts: 260000 | #Constraints: 14663
431.86/433.24 c #Conflicts: 261000 | #Constraints: 15665
431.86/433.24 c #Conflicts: 262000 | #Constraints: 16665
431.86/433.24 c #Conflicts: 263000 | #Constraints: 17665
431.86/433.24 c #Conflicts: 264000 | #Constraints: 18666
431.86/433.24 c #Conflicts: 265000 | #Constraints: 19667
431.86/433.24 c #Conflicts: 266000 | #Constraints: 20668
431.86/433.24 c INPROCESSING
431.86/433.24 c GARBAGE COLLECT
431.86/433.24 c rational objective 9
432.36/433.74 c GLOBAL bounds - >= 9 @ 427.666
432.36/433.74 c GLOBAL bounds - >= 9 @ 427.666
455.00/456.40 c #Conflicts: 267000 | #Constraints: 11465
455.00/456.40 c #Conflicts: 268000 | #Constraints: 12474
455.00/456.40 c #Conflicts: 269000 | #Constraints: 13476
455.00/456.40 c #Conflicts: 270000 | #Constraints: 14477
455.00/456.40 c #Conflicts: 271000 | #Constraints: 15480
455.00/456.40 c #Conflicts: 272000 | #Constraints: 16483
455.00/456.40 c #Conflicts: 273000 | #Constraints: 17485
455.00/456.40 c #Conflicts: 274000 | #Constraints: 18488
455.00/456.40 c #Conflicts: 275000 | #Constraints: 19491
455.00/456.40 c #Conflicts: 276000 | #Constraints: 20493
455.00/456.40 c #Conflicts: 277000 | #Constraints: 21494
455.00/456.40 c INPROCESSING
455.00/456.40 c GARBAGE COLLECT
455.00/456.40 c rational objective 9
455.61/457.06 c GLOBAL bounds - >= 9 @ 450.784
455.61/457.06 c GLOBAL bounds - >= 9 @ 450.785
475.24/476.77 c #Conflicts: 278000 | #Constraints: 12054
475.24/476.77 c #Conflicts: 279000 | #Constraints: 13055
475.24/476.77 c #Conflicts: 280000 | #Constraints: 14056
475.24/476.77 c #Conflicts: 281000 | #Constraints: 15059
475.24/476.77 c #Conflicts: 282000 | #Constraints: 16062
475.24/476.77 c #Conflicts: 283000 | #Constraints: 17062
475.24/476.77 c #Conflicts: 284000 | #Constraints: 18065
475.24/476.77 c #Conflicts: 285000 | #Constraints: 19066
475.24/476.77 c #Conflicts: 286000 | #Constraints: 20068
475.24/476.77 c #Conflicts: 287000 | #Constraints: 21068
475.24/476.77 c #Conflicts: 288000 | #Constraints: 22068
475.24/476.77 c INPROCESSING
475.24/476.77 c GARBAGE COLLECT
475.24/476.77 c rational objective 9
475.84/477.39 c GLOBAL bounds - >= 9 @ 470.869
475.84/477.39 c GLOBAL bounds - >= 9 @ 470.869
497.49/499.05 c #Conflicts: 289000 | #Constraints: 12438
497.49/499.05 c #Conflicts: 290000 | #Constraints: 13439
497.49/499.05 c #Conflicts: 291000 | #Constraints: 14441
497.49/499.05 c #Conflicts: 292000 | #Constraints: 15443
497.49/499.05 c #Conflicts: 293000 | #Constraints: 16446
497.49/499.05 c #Conflicts: 294000 | #Constraints: 17448
497.49/499.05 c #Conflicts: 295000 | #Constraints: 18450
497.49/499.05 c #Conflicts: 296000 | #Constraints: 19454
497.49/499.05 c #Conflicts: 297000 | #Constraints: 20459
497.49/499.05 c #Conflicts: 298000 | #Constraints: 21459
497.49/499.05 c #Conflicts: 299000 | #Constraints: 22460
497.49/499.05 c INPROCESSING
497.49/499.05 c GARBAGE COLLECT
497.49/499.05 c rational objective 9
497.78/499.40 c GLOBAL bounds - >= 9 @ 492.658
497.78/499.40 c GLOBAL bounds - >= 9 @ 492.658
525.01/526.63 c #Conflicts: 300000 | #Constraints: 12646
525.01/526.63 c #Conflicts: 301000 | #Constraints: 13647
525.01/526.63 c #Conflicts: 302000 | #Constraints: 14649
525.01/526.63 c #Conflicts: 303000 | #Constraints: 15650
525.01/526.63 c #Conflicts: 304000 | #Constraints: 16653
525.01/526.63 c #Conflicts: 305000 | #Constraints: 17656
525.01/526.63 c #Conflicts: 306000 | #Constraints: 18663
525.01/526.63 c #Conflicts: 307000 | #Constraints: 19666
525.01/526.63 c #Conflicts: 308000 | #Constraints: 20669
525.01/526.63 c #Conflicts: 309000 | #Constraints: 21670
525.01/526.63 c #Conflicts: 310000 | #Constraints: 22672
525.01/526.63 c INPROCESSING
525.01/526.63 c GARBAGE COLLECT
525.01/526.63 c rational objective 9
525.31/526.95 c GLOBAL bounds - >= 9 @ 519.936
525.31/526.95 c GLOBAL bounds - >= 9 @ 519.937
548.74/550.46 c #Conflicts: 311000 | #Constraints: 12648
548.74/550.46 c #Conflicts: 312000 | #Constraints: 13653
548.74/550.46 c #Conflicts: 313000 | #Constraints: 14655
548.74/550.46 c #Conflicts: 314000 | #Constraints: 15656
548.74/550.46 c #Conflicts: 315000 | #Constraints: 16659
548.74/550.46 c #Conflicts: 316000 | #Constraints: 17661
548.74/550.46 c #Conflicts: 317000 | #Constraints: 18662
548.74/550.46 c #Conflicts: 318000 | #Constraints: 19663
548.74/550.46 c #Conflicts: 319000 | #Constraints: 20664
548.74/550.46 c #Conflicts: 320000 | #Constraints: 21667
548.74/550.46 c #Conflicts: 321000 | #Constraints: 22671
548.74/550.46 c INPROCESSING
548.74/550.46 c GARBAGE COLLECT
548.74/550.46 c rational objective 9
549.35/551.05 c GLOBAL bounds - >= 9 @ 543.729
549.35/551.05 c GLOBAL bounds - >= 9 @ 543.73
580.15/581.99 c #Conflicts: 322000 | #Constraints: 12450
580.15/581.99 c #Conflicts: 323000 | #Constraints: 13451
580.15/581.99 c #Conflicts: 324000 | #Constraints: 14454
580.15/581.99 c #Conflicts: 325000 | #Constraints: 15457
580.15/581.99 c #Conflicts: 326000 | #Constraints: 16462
580.15/581.99 c #Conflicts: 327000 | #Constraints: 17465
580.15/581.99 c #Conflicts: 328000 | #Constraints: 18468
580.15/581.99 c #Conflicts: 329000 | #Constraints: 19470
580.15/581.99 c #Conflicts: 330000 | #Constraints: 20474
580.15/581.99 c #Conflicts: 331000 | #Constraints: 21476
580.15/581.99 c #Conflicts: 332000 | #Constraints: 22480
580.15/581.99 c #Conflicts: 333000 | #Constraints: 23483
580.15/581.99 c INPROCESSING
580.15/581.99 c GARBAGE COLLECT
580.15/581.99 c rational objective 9
580.65/582.42 c GLOBAL bounds - >= 9 @ 574.812
580.65/582.42 c GLOBAL bounds - >= 9 @ 574.812
606.48/608.37 c #Conflicts: 334000 | #Constraints: 13049
606.48/608.37 c #Conflicts: 335000 | #Constraints: 14051
606.48/608.37 c #Conflicts: 336000 | #Constraints: 15057
606.48/608.37 c #Conflicts: 337000 | #Constraints: 16057
606.48/608.37 c #Conflicts: 338000 | #Constraints: 17059
606.48/608.37 c #Conflicts: 339000 | #Constraints: 18059
606.48/608.37 c #Conflicts: 340000 | #Constraints: 19063
606.48/608.37 c #Conflicts: 341000 | #Constraints: 20063
606.48/608.37 c #Conflicts: 342000 | #Constraints: 21065
606.48/608.37 c #Conflicts: 343000 | #Constraints: 22067
606.48/608.37 c #Conflicts: 344000 | #Constraints: 23069
606.48/608.37 c #Conflicts: 345000 | #Constraints: 24072
606.48/608.37 c INPROCESSING
606.48/608.37 c GARBAGE COLLECT
606.48/608.37 c rational objective 9
606.88/608.79 c GLOBAL bounds - >= 9 @ 600.887
606.88/608.79 c GLOBAL bounds - >= 9 @ 600.888
625.83/627.76 c #Conflicts: 346000 | #Constraints: 13446
625.83/627.76 c #Conflicts: 347000 | #Constraints: 14448
625.83/627.76 c #Conflicts: 348000 | #Constraints: 15453
625.83/627.76 c #Conflicts: 349000 | #Constraints: 16456
625.83/627.76 c #Conflicts: 350000 | #Constraints: 17459
625.83/627.76 c #Conflicts: 351000 | #Constraints: 18462
625.83/627.76 c #Conflicts: 352000 | #Constraints: 19467
625.83/627.76 c #Conflicts: 353000 | #Constraints: 20468
625.83/627.76 c #Conflicts: 354000 | #Constraints: 21468
625.83/627.76 c #Conflicts: 355000 | #Constraints: 22469
625.83/627.76 c #Conflicts: 356000 | #Constraints: 23470
625.83/627.76 c #Conflicts: 357000 | #Constraints: 24472
625.83/627.76 c INPROCESSING
625.83/627.76 c GARBAGE COLLECT
625.83/627.76 c rational objective 9
626.33/628.20 c GLOBAL bounds - >= 9 @ 620.099
626.33/628.20 c GLOBAL bounds - >= 9 @ 620.099
648.18/650.12 c #Conflicts: 358000 | #Constraints: 13644
648.18/650.12 c #Conflicts: 359000 | #Constraints: 14648
648.18/650.12 c #Conflicts: 360000 | #Constraints: 15650
648.18/650.12 c #Conflicts: 361000 | #Constraints: 16652
648.18/650.12 c #Conflicts: 362000 | #Constraints: 17654
648.18/650.12 c #Conflicts: 363000 | #Constraints: 18656
648.18/650.12 c #Conflicts: 364000 | #Constraints: 19662
648.18/650.12 c #Conflicts: 365000 | #Constraints: 20666
648.18/650.12 c #Conflicts: 366000 | #Constraints: 21667
648.18/650.12 c #Conflicts: 367000 | #Constraints: 22669
648.18/650.12 c #Conflicts: 368000 | #Constraints: 23671
648.18/650.12 c #Conflicts: 369000 | #Constraints: 24674
648.18/650.12 c INPROCESSING
648.18/650.12 c GARBAGE COLLECT
648.18/650.12 c rational objective 9
648.56/650.55 c GLOBAL bounds - >= 9 @ 642.143
648.56/650.55 c GLOBAL bounds - >= 9 @ 642.143
676.19/678.20 c #Conflicts: 370000 | #Constraints: 13655
676.19/678.20 c #Conflicts: 371000 | #Constraints: 14657
676.19/678.20 c #Conflicts: 372000 | #Constraints: 15658
676.19/678.20 c #Conflicts: 373000 | #Constraints: 16660
676.19/678.20 c #Conflicts: 374000 | #Constraints: 17661
676.19/678.20 c #Conflicts: 375000 | #Constraints: 18664
676.19/678.20 c #Conflicts: 376000 | #Constraints: 19666
676.19/678.20 c #Conflicts: 377000 | #Constraints: 20669
676.19/678.20 c #Conflicts: 378000 | #Constraints: 21673
676.19/678.20 c #Conflicts: 379000 | #Constraints: 22675
676.19/678.20 c #Conflicts: 380000 | #Constraints: 23675
676.19/678.20 c #Conflicts: 381000 | #Constraints: 24675
676.19/678.20 c INPROCESSING
676.19/678.20 c GARBAGE COLLECT
676.19/678.20 c rational objective 9
676.69/678.72 c GLOBAL bounds - >= 9 @ 670.036
676.69/678.72 c GLOBAL bounds - >= 9 @ 670.037
708.21/710.33 c #Conflicts: 382000 | #Constraints: 13453
708.21/710.33 c #Conflicts: 383000 | #Constraints: 14455
708.21/710.33 c #Conflicts: 384000 | #Constraints: 15456
708.21/710.33 c #Conflicts: 385000 | #Constraints: 16457
708.21/710.33 c #Conflicts: 386000 | #Constraints: 17462
708.21/710.33 c #Conflicts: 387000 | #Constraints: 18464
708.21/710.33 c #Conflicts: 388000 | #Constraints: 19466
708.21/710.33 c #Conflicts: 389000 | #Constraints: 20468
708.21/710.33 c #Conflicts: 390000 | #Constraints: 21469
708.21/710.33 c #Conflicts: 391000 | #Constraints: 22471
708.21/710.33 c #Conflicts: 392000 | #Constraints: 23473
708.21/710.33 c #Conflicts: 393000 | #Constraints: 24475
708.21/710.33 c #Conflicts: 394000 | #Constraints: 25477
708.21/710.33 c INPROCESSING
708.21/710.33 c GARBAGE COLLECT
708.21/710.33 c rational objective 9
708.92/711.11 c GLOBAL bounds - >= 9 @ 702.135
708.92/711.11 c GLOBAL bounds - >= 9 @ 702.135
731.14/733.39 c #Conflicts: 395000 | #Constraints: 14048
731.14/733.39 c #Conflicts: 396000 | #Constraints: 15051
731.14/733.39 c #Conflicts: 397000 | #Constraints: 16054
731.14/733.39 c #Conflicts: 398000 | #Constraints: 17056
731.14/733.39 c #Conflicts: 399000 | #Constraints: 18059
731.14/733.39 c #Conflicts: 400000 | #Constraints: 19062
731.14/733.39 c #Conflicts: 401000 | #Constraints: 20065
731.14/733.39 c #Conflicts: 402000 | #Constraints: 21068
731.14/733.39 c #Conflicts: 403000 | #Constraints: 22072
731.14/733.39 c #Conflicts: 404000 | #Constraints: 23077
731.14/733.39 c #Conflicts: 405000 | #Constraints: 24079
731.14/733.39 c #Conflicts: 406000 | #Constraints: 25081
731.14/733.39 c #Conflicts: 407000 | #Constraints: 26083
731.14/733.39 c INPROCESSING
731.14/733.39 c GARBAGE COLLECT
731.14/733.39 c rational objective 9
731.85/734.03 c GLOBAL bounds - >= 9 @ 724.805
731.85/734.03 c GLOBAL bounds - >= 9 @ 724.805
756.47/758.79 c #Conflicts: 408000 | #Constraints: 14474
756.47/758.79 c #Conflicts: 409000 | #Constraints: 15477
756.47/758.79 c #Conflicts: 410000 | #Constraints: 16481
756.47/758.79 c #Conflicts: 411000 | #Constraints: 17485
756.47/758.79 c #Conflicts: 412000 | #Constraints: 18487
756.47/758.79 c #Conflicts: 413000 | #Constraints: 19490
756.47/758.79 c #Conflicts: 414000 | #Constraints: 20492
756.47/758.79 c #Conflicts: 415000 | #Constraints: 21496
756.47/758.79 c #Conflicts: 416000 | #Constraints: 22500
756.47/758.79 c #Conflicts: 417000 | #Constraints: 23504
756.47/758.79 c #Conflicts: 418000 | #Constraints: 24507
756.47/758.79 c #Conflicts: 419000 | #Constraints: 25511
756.47/758.79 c #Conflicts: 420000 | #Constraints: 26513
756.47/758.79 c INPROCESSING
756.47/758.79 c GARBAGE COLLECT
756.47/758.79 c rational objective 9
756.89/759.18 c GLOBAL bounds - >= 9 @ 749.716
756.89/759.18 c GLOBAL bounds - >= 9 @ 749.716
780.31/782.66 c #Conflicts: 421000 | #Constraints: 14692
780.31/782.66 c #Conflicts: 422000 | #Constraints: 15694
780.31/782.66 c #Conflicts: 423000 | #Constraints: 16695
780.31/782.66 c #Conflicts: 424000 | #Constraints: 17696
780.31/782.66 c #Conflicts: 425000 | #Constraints: 18700
780.31/782.66 c #Conflicts: 426000 | #Constraints: 19702
780.31/782.66 c #Conflicts: 427000 | #Constraints: 20705
780.31/782.66 c #Conflicts: 428000 | #Constraints: 21707
780.31/782.66 c #Conflicts: 429000 | #Constraints: 22708
780.31/782.66 c #Conflicts: 430000 | #Constraints: 23710
780.31/782.66 c #Conflicts: 431000 | #Constraints: 24711
780.31/782.66 c #Conflicts: 432000 | #Constraints: 25712
780.31/782.66 c #Conflicts: 433000 | #Constraints: 26714
780.31/782.66 c INPROCESSING
780.31/782.66 c GARBAGE COLLECT
780.31/782.66 c rational objective 9
781.10/783.42 c GLOBAL bounds - >= 9 @ 773.735
781.10/783.42 c GLOBAL bounds - >= 9 @ 773.735
808.33/810.76 c #Conflicts: 434000 | #Constraints: 14674
808.33/810.76 c #Conflicts: 435000 | #Constraints: 15676
808.33/810.76 c #Conflicts: 436000 | #Constraints: 16678
808.33/810.76 c #Conflicts: 437000 | #Constraints: 17680
808.33/810.76 c #Conflicts: 438000 | #Constraints: 18681
808.33/810.76 c #Conflicts: 439000 | #Constraints: 19683
808.33/810.76 c #Conflicts: 440000 | #Constraints: 20686
808.33/810.76 c #Conflicts: 441000 | #Constraints: 21687
808.33/810.76 c #Conflicts: 442000 | #Constraints: 22688
808.33/810.76 c #Conflicts: 443000 | #Constraints: 23690
808.33/810.76 c #Conflicts: 444000 | #Constraints: 24691
808.33/810.76 c #Conflicts: 445000 | #Constraints: 25693
808.33/810.76 c #Conflicts: 446000 | #Constraints: 26696
808.33/810.76 c INPROCESSING
808.33/810.76 c GARBAGE COLLECT
808.33/810.76 c rational objective 9
808.74/811.16 c GLOBAL bounds - >= 9 @ 801.048
808.74/811.16 c GLOBAL bounds - >= 9 @ 801.048
844.72/847.21 c #Conflicts: 447000 | #Constraints: 14468
844.72/847.21 c #Conflicts: 448000 | #Constraints: 15473
844.72/847.21 c #Conflicts: 449000 | #Constraints: 16481
844.72/847.21 c #Conflicts: 450000 | #Constraints: 17485
844.72/847.21 c #Conflicts: 451000 | #Constraints: 18488
844.72/847.21 c #Conflicts: 452000 | #Constraints: 19490
844.72/847.21 c #Conflicts: 453000 | #Constraints: 20493
844.72/847.21 c #Conflicts: 454000 | #Constraints: 21497
844.72/847.21 c #Conflicts: 455000 | #Constraints: 22500
844.72/847.21 c #Conflicts: 456000 | #Constraints: 23502
844.72/847.21 c #Conflicts: 457000 | #Constraints: 24502
844.72/847.21 c #Conflicts: 458000 | #Constraints: 25502
844.72/847.21 c #Conflicts: 459000 | #Constraints: 26503
844.72/847.21 c #Conflicts: 460000 | #Constraints: 27503
844.72/847.21 c INPROCESSING
844.72/847.21 c GARBAGE COLLECT
844.72/847.21 c rational objective 9
845.63/848.17 c GLOBAL bounds - >= 9 @ 837.524
845.63/848.17 c GLOBAL bounds - >= 9 @ 837.524
871.95/874.50 c #Conflicts: 461000 | #Constraints: 15091
871.95/874.50 c #Conflicts: 462000 | #Constraints: 16091
871.95/874.50 c #Conflicts: 463000 | #Constraints: 17091
871.95/874.50 c #Conflicts: 464000 | #Constraints: 18091
871.95/874.50 c #Conflicts: 465000 | #Constraints: 19091
871.95/874.50 c #Conflicts: 466000 | #Constraints: 20091
871.95/874.50 c #Conflicts: 467000 | #Constraints: 21093
871.95/874.50 c #Conflicts: 468000 | #Constraints: 22095
871.95/874.50 c #Conflicts: 469000 | #Constraints: 23095
871.95/874.50 c #Conflicts: 470000 | #Constraints: 24095
871.95/874.50 c #Conflicts: 471000 | #Constraints: 25096
871.95/874.50 c #Conflicts: 472000 | #Constraints: 26096
871.95/874.50 c #Conflicts: 473000 | #Constraints: 27097
871.95/874.50 c #Conflicts: 474000 | #Constraints: 28097
871.95/874.50 c INPROCESSING
871.95/874.50 c GARBAGE COLLECT
871.95/874.50 c rational objective 9
872.65/875.26 c GLOBAL bounds - >= 9 @ 864.322
872.65/875.26 c GLOBAL bounds - >= 9 @ 864.322
951.84/954.67 c #Conflicts: 475000 | #Constraints: 15456
951.84/954.67 c #Conflicts: 476000 | #Constraints: 16458
951.84/954.67 c #Conflicts: 477000 | #Constraints: 17465
951.84/954.67 c #Conflicts: 478000 | #Constraints: 18468
951.84/954.67 c #Conflicts: 479000 | #Constraints: 19468
951.84/954.67 c #Conflicts: 480000 | #Constraints: 20468
951.84/954.67 c #Conflicts: 481000 | #Constraints: 21468
951.84/954.67 c #Conflicts: 482000 | #Constraints: 22468
951.84/954.67 c #Conflicts: 483000 | #Constraints: 23471
951.84/954.67 c #Conflicts: 484000 | #Constraints: 24471
951.84/954.67 c #Conflicts: 485000 | #Constraints: 25473
951.84/954.67 c #Conflicts: 486000 | #Constraints: 26475
951.84/954.67 c #Conflicts: 487000 | #Constraints: 27476
951.84/954.67 c #Conflicts: 488000 | #Constraints: 28476
951.84/954.67 c INPROCESSING
951.84/954.67 c GARBAGE COLLECT
951.84/954.67 c rational objective 9
952.63/955.48 c GLOBAL bounds - >= 9 @ 944.084
952.63/955.48 c GLOBAL bounds - >= 9 @ 944.084
979.36/982.29 c #Conflicts: 489000 | #Constraints: 15646
979.36/982.29 c #Conflicts: 490000 | #Constraints: 16646
979.36/982.29 c #Conflicts: 491000 | #Constraints: 17647
979.36/982.29 c #Conflicts: 492000 | #Constraints: 18647
979.36/982.29 c #Conflicts: 493000 | #Constraints: 19649
979.36/982.29 c #Conflicts: 494000 | #Constraints: 20651
979.36/982.29 c #Conflicts: 495000 | #Constraints: 21652
979.36/982.29 c #Conflicts: 496000 | #Constraints: 22653
979.36/982.29 c #Conflicts: 497000 | #Constraints: 23655
979.36/982.29 c #Conflicts: 498000 | #Constraints: 24657
979.36/982.29 c #Conflicts: 499000 | #Constraints: 25659
979.36/982.29 c #Conflicts: 500000 | #Constraints: 26660
979.36/982.29 c #Conflicts: 501000 | #Constraints: 27663
979.36/982.29 c #Conflicts: 502000 | #Constraints: 28664
979.36/982.29 c INPROCESSING
979.36/982.29 c GARBAGE COLLECT
979.36/982.29 c rational objective 9
979.76/982.67 c GLOBAL bounds - >= 9 @ 970.934
979.76/982.67 c GLOBAL bounds - >= 9 @ 970.934
1028.52/1031.59 c #Conflicts: 503000 | #Constraints: 15661
1028.52/1031.59 c #Conflicts: 504000 | #Constraints: 16663
1028.52/1031.59 c #Conflicts: 505000 | #Constraints: 17665
1028.52/1031.59 c #Conflicts: 506000 | #Constraints: 18666
1028.52/1031.59 c #Conflicts: 507000 | #Constraints: 19666
1028.52/1031.59 c #Conflicts: 508000 | #Constraints: 20668
1028.52/1031.59 c #Conflicts: 509000 | #Constraints: 21670
1028.52/1031.59 c #Conflicts: 510000 | #Constraints: 22671
1028.52/1031.59 c #Conflicts: 511000 | #Constraints: 23672
1028.52/1031.59 c #Conflicts: 512000 | #Constraints: 24673
1028.52/1031.59 c #Conflicts: 513000 | #Constraints: 25676
1028.52/1031.59 c #Conflicts: 514000 | #Constraints: 26678
1028.52/1031.59 c #Conflicts: 515000 | #Constraints: 27679
1028.52/1031.59 c #Conflicts: 516000 | #Constraints: 28680
1028.52/1031.59 c INPROCESSING
1028.52/1031.59 c GARBAGE COLLECT
1028.52/1031.59 c rational objective 9
1029.13/1032.17 c GLOBAL bounds - >= 9 @ 1020.03
1029.13/1032.17 c GLOBAL bounds - >= 9 @ 1020.03
1070.21/1073.39 c #Conflicts: 517000 | #Constraints: 15444
1070.21/1073.39 c #Conflicts: 518000 | #Constraints: 16444
1070.21/1073.39 c #Conflicts: 519000 | #Constraints: 17446
1070.21/1073.39 c #Conflicts: 520000 | #Constraints: 18449
1070.21/1073.39 c #Conflicts: 521000 | #Constraints: 19450
1070.21/1073.39 c #Conflicts: 522000 | #Constraints: 20453
1070.21/1073.39 c #Conflicts: 523000 | #Constraints: 21454
1070.21/1073.39 c #Conflicts: 524000 | #Constraints: 22457
1070.21/1073.39 c #Conflicts: 525000 | #Constraints: 23462
1070.21/1073.39 c #Conflicts: 526000 | #Constraints: 24462
1070.21/1073.39 c #Conflicts: 527000 | #Constraints: 25462
1070.21/1073.39 c #Conflicts: 528000 | #Constraints: 26464
1070.21/1073.39 c #Conflicts: 529000 | #Constraints: 27466
1070.21/1073.39 c #Conflicts: 530000 | #Constraints: 28469
1070.21/1073.39 c #Conflicts: 531000 | #Constraints: 29472
1070.21/1073.39 c INPROCESSING
1070.21/1073.39 c GARBAGE COLLECT
1070.21/1073.39 c rational objective 9
1070.92/1074.08 c GLOBAL bounds - >= 9 @ 1061.5
1070.92/1074.08 c GLOBAL bounds - >= 9 @ 1061.5
1116.09/1119.34 c #Conflicts: 532000 | #Constraints: 16052
1116.09/1119.34 c #Conflicts: 533000 | #Constraints: 17055
1116.09/1119.34 c #Conflicts: 534000 | #Constraints: 18059
1116.09/1119.34 c #Conflicts: 535000 | #Constraints: 19061
1116.09/1119.34 c #Conflicts: 536000 | #Constraints: 20065
1116.09/1119.34 c #Conflicts: 537000 | #Constraints: 21067
1116.09/1119.34 c #Conflicts: 538000 | #Constraints: 22069
1116.09/1119.34 c #Conflicts: 539000 | #Constraints: 23071
1116.09/1119.34 c #Conflicts: 540000 | #Constraints: 24073
1116.09/1119.34 c #Conflicts: 541000 | #Constraints: 25074
1116.09/1119.34 c #Conflicts: 542000 | #Constraints: 26077
1116.09/1119.34 c #Conflicts: 543000 | #Constraints: 27078
1116.09/1119.34 c #Conflicts: 544000 | #Constraints: 28080
1116.09/1119.34 c #Conflicts: 545000 | #Constraints: 29081
1116.09/1119.34 c #Conflicts: 546000 | #Constraints: 30082
1116.09/1119.34 c INPROCESSING
1116.09/1119.34 c GARBAGE COLLECT
1116.09/1119.34 c rational objective 9
1116.69/1119.94 c GLOBAL bounds - >= 9 @ 1106.91
1116.69/1119.94 c GLOBAL bounds - >= 9 @ 1106.91
1151.99/1155.35 c #Conflicts: 547000 | #Constraints: 16449
1151.99/1155.35 c #Conflicts: 548000 | #Constraints: 17451
1151.99/1155.35 c #Conflicts: 549000 | #Constraints: 18451
1151.99/1155.35 c #Conflicts: 550000 | #Constraints: 19452
1151.99/1155.35 c #Conflicts: 551000 | #Constraints: 20453
1151.99/1155.35 c #Conflicts: 552000 | #Constraints: 21456
1151.99/1155.35 c #Conflicts: 553000 | #Constraints: 22457
1151.99/1155.35 c #Conflicts: 554000 | #Constraints: 23459
1151.99/1155.35 c #Conflicts: 555000 | #Constraints: 24462
1151.99/1155.35 c #Conflicts: 556000 | #Constraints: 25464
1151.99/1155.35 c #Conflicts: 557000 | #Constraints: 26466
1151.99/1155.35 c #Conflicts: 558000 | #Constraints: 27467
1151.99/1155.35 c #Conflicts: 559000 | #Constraints: 28468
1151.99/1155.35 c #Conflicts: 560000 | #Constraints: 29470
1151.99/1155.35 c #Conflicts: 561000 | #Constraints: 30474
1151.99/1155.35 c INPROCESSING
1151.99/1155.35 c GARBAGE COLLECT
1151.99/1155.35 c rational objective 9
1152.39/1155.75 c GLOBAL bounds - >= 9 @ 1142.29
1152.39/1155.75 c GLOBAL bounds - >= 9 @ 1142.29
1189.99/1193.43 c #Conflicts: 562000 | #Constraints: 16641
1189.99/1193.43 c #Conflicts: 563000 | #Constraints: 17642
1189.99/1193.43 c #Conflicts: 564000 | #Constraints: 18644
1189.99/1193.43 c #Conflicts: 565000 | #Constraints: 19645
1189.99/1193.43 c #Conflicts: 566000 | #Constraints: 20647
1189.99/1193.43 c #Conflicts: 567000 | #Constraints: 21648
1189.99/1193.43 c #Conflicts: 568000 | #Constraints: 22652
1189.99/1193.43 c #Conflicts: 569000 | #Constraints: 23653
1189.99/1193.43 c #Conflicts: 570000 | #Constraints: 24655
1189.99/1193.43 c #Conflicts: 571000 | #Constraints: 25656
1189.99/1193.43 c #Conflicts: 572000 | #Constraints: 26658
1189.99/1193.43 c #Conflicts: 573000 | #Constraints: 27659
1189.99/1193.43 c #Conflicts: 574000 | #Constraints: 28661
1189.99/1193.43 c #Conflicts: 575000 | #Constraints: 29662
1189.99/1193.43 c #Conflicts: 576000 | #Constraints: 30664
1189.99/1193.43 c INPROCESSING
1189.99/1193.43 c GARBAGE COLLECT
1189.99/1193.43 c rational objective 9
1190.70/1194.14 c GLOBAL bounds - >= 9 @ 1180.25
1190.70/1194.14 c GLOBAL bounds - >= 9 @ 1180.25
1239.85/1243.48 c #Conflicts: 577000 | #Constraints: 16683
1239.85/1243.48 c #Conflicts: 578000 | #Constraints: 17685
1239.85/1243.48 c #Conflicts: 579000 | #Constraints: 18687
1239.85/1243.48 c #Conflicts: 580000 | #Constraints: 19691
1239.85/1243.48 c #Conflicts: 581000 | #Constraints: 20694
1239.85/1243.48 c #Conflicts: 582000 | #Constraints: 21696
1239.85/1243.48 c #Conflicts: 583000 | #Constraints: 22698
1239.85/1243.48 c #Conflicts: 584000 | #Constraints: 23702
1239.85/1243.48 c #Conflicts: 585000 | #Constraints: 24705
1239.85/1243.48 c #Conflicts: 586000 | #Constraints: 25707
1239.85/1243.48 c #Conflicts: 587000 | #Constraints: 26709
1239.85/1243.48 c #Conflicts: 588000 | #Constraints: 27711
1239.85/1243.48 c #Conflicts: 589000 | #Constraints: 28715
1239.85/1243.48 c #Conflicts: 590000 | #Constraints: 29720
1239.85/1243.48 c #Conflicts: 591000 | #Constraints: 30724
1239.85/1243.48 c INPROCESSING
1239.85/1243.48 c GARBAGE COLLECT
1239.85/1243.48 c rational objective 9
1240.57/1244.17 c GLOBAL bounds - >= 9 @ 1229.83
1240.57/1244.17 c GLOBAL bounds - >= 9 @ 1229.83
1286.23/1289.92 c #Conflicts: 592000 | #Constraints: 16493
1286.23/1289.92 c #Conflicts: 593000 | #Constraints: 17500
1286.23/1289.92 c #Conflicts: 594000 | #Constraints: 18508
1286.23/1289.92 c #Conflicts: 595000 | #Constraints: 19520
1286.23/1289.92 c #Conflicts: 596000 | #Constraints: 20538
1286.23/1289.92 c #Conflicts: 597000 | #Constraints: 21540
1286.23/1289.92 c #Conflicts: 598000 | #Constraints: 22543
1286.23/1289.92 c #Conflicts: 599000 | #Constraints: 23545
1286.23/1289.92 c #Conflicts: 600000 | #Constraints: 24548
1286.23/1289.92 c #Conflicts: 601000 | #Constraints: 25551
1286.23/1289.92 c #Conflicts: 602000 | #Constraints: 26554
1286.23/1289.92 c #Conflicts: 603000 | #Constraints: 27557
1286.23/1289.92 c #Conflicts: 604000 | #Constraints: 28558
1286.23/1289.92 c #Conflicts: 605000 | #Constraints: 29560
1286.23/1289.92 c #Conflicts: 606000 | #Constraints: 30565
1286.23/1289.92 c #Conflicts: 607000 | #Constraints: 31573
1286.23/1289.92 c INPROCESSING
1286.23/1289.92 c GARBAGE COLLECT
1286.23/1289.92 c rational objective 9
1286.52/1290.28 c GLOBAL bounds - >= 9 @ 1275.54
1286.52/1290.28 c GLOBAL bounds - >= 9 @ 1275.54
1357.44/1361.35 c #Conflicts: 608000 | #Constraints: 17113
1357.44/1361.35 c #Conflicts: 609000 | #Constraints: 18120
1357.44/1361.35 c #Conflicts: 610000 | #Constraints: 19125
1357.44/1361.35 c #Conflicts: 611000 | #Constraints: 20130
1357.44/1361.35 c #Conflicts: 612000 | #Constraints: 21134
1357.44/1361.35 c #Conflicts: 613000 | #Constraints: 22137
1357.44/1361.35 c #Conflicts: 614000 | #Constraints: 23139
1357.44/1361.35 c #Conflicts: 615000 | #Constraints: 24141
1357.44/1361.35 c #Conflicts: 616000 | #Constraints: 25143
1357.44/1361.35 c #Conflicts: 617000 | #Constraints: 26146
1357.44/1361.35 c #Conflicts: 618000 | #Constraints: 27147
1357.44/1361.35 c #Conflicts: 619000 | #Constraints: 28148
1357.44/1361.35 c #Conflicts: 620000 | #Constraints: 29150
1357.44/1361.35 c #Conflicts: 621000 | #Constraints: 30151
1357.44/1361.35 c #Conflicts: 622000 | #Constraints: 31151
1357.44/1361.35 c #Conflicts: 623000 | #Constraints: 32157
1357.44/1361.35 c INPROCESSING
1357.44/1361.35 c GARBAGE COLLECT
1357.44/1361.35 c rational objective 9
1358.04/1361.97 c GLOBAL bounds - >= 9 @ 1346.71
1358.04/1361.97 c GLOBAL bounds - >= 9 @ 1346.71
1416.08/1420.12 c #Conflicts: 624000 | #Constraints: 17496
1416.08/1420.12 c #Conflicts: 625000 | #Constraints: 18502
1416.08/1420.12 c #Conflicts: 626000 | #Constraints: 19507
1416.08/1420.12 c #Conflicts: 627000 | #Constraints: 20512
1416.08/1420.12 c #Conflicts: 628000 | #Constraints: 21514
1416.08/1420.12 c #Conflicts: 629000 | #Constraints: 22517
1416.08/1420.12 c #Conflicts: 630000 | #Constraints: 23521
1416.08/1420.12 c #Conflicts: 631000 | #Constraints: 24523
1416.08/1420.12 c #Conflicts: 632000 | #Constraints: 25525
1416.08/1420.12 c #Conflicts: 633000 | #Constraints: 26527
1416.08/1420.12 c #Conflicts: 634000 | #Constraints: 27530
1416.08/1420.12 c #Conflicts: 635000 | #Constraints: 28531
1416.08/1420.12 c #Conflicts: 636000 | #Constraints: 29533
1416.08/1420.12 c #Conflicts: 637000 | #Constraints: 30535
1416.08/1420.12 c #Conflicts: 638000 | #Constraints: 31535
1416.08/1420.12 c #Conflicts: 639000 | #Constraints: 32536
1416.08/1420.12 c INPROCESSING
1416.08/1420.12 c GARBAGE COLLECT
1416.08/1420.12 c rational objective 9
1416.77/1420.80 c GLOBAL bounds - >= 9 @ 1404.9
1416.77/1420.80 c GLOBAL bounds - >= 9 @ 1404.9
1451.67/1455.89 c #Conflicts: 640000 | #Constraints: 17670
1451.67/1455.89 c #Conflicts: 641000 | #Constraints: 18672
1451.67/1455.89 c #Conflicts: 642000 | #Constraints: 19673
1451.67/1455.89 c #Conflicts: 643000 | #Constraints: 20674
1451.67/1455.89 c #Conflicts: 644000 | #Constraints: 21674
1451.67/1455.89 c #Conflicts: 645000 | #Constraints: 22675
1451.67/1455.89 c #Conflicts: 646000 | #Constraints: 23676
1451.67/1455.89 c #Conflicts: 647000 | #Constraints: 24677
1451.67/1455.89 c #Conflicts: 648000 | #Constraints: 25682
1451.67/1455.89 c #Conflicts: 649000 | #Constraints: 26684
1451.67/1455.89 c #Conflicts: 650000 | #Constraints: 27688
1451.67/1455.89 c #Conflicts: 651000 | #Constraints: 28695
1451.67/1455.89 c #Conflicts: 652000 | #Constraints: 29700
1451.67/1455.89 c #Conflicts: 653000 | #Constraints: 30704
1451.67/1455.89 c #Conflicts: 654000 | #Constraints: 31706
1451.67/1455.89 c #Conflicts: 655000 | #Constraints: 32712
1451.67/1455.89 c INPROCESSING
1451.67/1455.89 c GARBAGE COLLECT
1451.67/1455.89 c rational objective 9
1452.57/1456.71 c GLOBAL bounds - >= 9 @ 1440.14
1452.57/1456.71 c GLOBAL bounds - >= 9 @ 1440.14
1519.70/1524.07 c #Conflicts: 656000 | #Constraints: 17689
1519.70/1524.07 c #Conflicts: 657000 | #Constraints: 18693
1519.70/1524.07 c #Conflicts: 658000 | #Constraints: 19702
1519.70/1524.07 c #Conflicts: 659000 | #Constraints: 20706
1519.70/1524.07 c #Conflicts: 660000 | #Constraints: 21709
1519.70/1524.07 c #Conflicts: 661000 | #Constraints: 22714
1519.70/1524.07 c #Conflicts: 662000 | #Constraints: 23715
1519.70/1524.07 c #Conflicts: 663000 | #Constraints: 24716
1519.70/1524.07 c #Conflicts: 664000 | #Constraints: 25718
1519.70/1524.07 c #Conflicts: 665000 | #Constraints: 26719
1519.70/1524.07 c #Conflicts: 666000 | #Constraints: 27721
1519.70/1524.07 c #Conflicts: 667000 | #Constraints: 28724
1519.70/1524.07 c #Conflicts: 668000 | #Constraints: 29728
1519.70/1524.07 c #Conflicts: 669000 | #Constraints: 30730
1519.70/1524.07 c #Conflicts: 670000 | #Constraints: 31732
1519.70/1524.07 c #Conflicts: 671000 | #Constraints: 32733
1519.70/1524.07 c INPROCESSING
1519.70/1524.07 c GARBAGE COLLECT
1519.70/1524.07 c rational objective 9
1520.19/1524.58 c GLOBAL bounds - >= 9 @ 1507.39
1520.19/1524.58 c GLOBAL bounds - >= 9 @ 1507.39
1570.25/1574.76 c #Conflicts: 672000 | #Constraints: 17476
1570.25/1574.76 c #Conflicts: 673000 | #Constraints: 18479
1570.25/1574.76 c #Conflicts: 674000 | #Constraints: 19482
1570.25/1574.76 c #Conflicts: 675000 | #Constraints: 20487
1570.25/1574.76 c #Conflicts: 676000 | #Constraints: 21490
1570.25/1574.76 c #Conflicts: 677000 | #Constraints: 22492
1570.25/1574.76 c #Conflicts: 678000 | #Constraints: 23494
1570.25/1574.76 c #Conflicts: 679000 | #Constraints: 24496
1570.25/1574.76 c #Conflicts: 680000 | #Constraints: 25499
1570.25/1574.76 c #Conflicts: 681000 | #Constraints: 26501
1570.25/1574.76 c #Conflicts: 682000 | #Constraints: 27503
1570.25/1574.76 c #Conflicts: 683000 | #Constraints: 28506
1570.25/1574.76 c #Conflicts: 684000 | #Constraints: 29509
1570.25/1574.76 c #Conflicts: 685000 | #Constraints: 30510
1570.25/1574.76 c #Conflicts: 686000 | #Constraints: 31516
1570.25/1574.76 c #Conflicts: 687000 | #Constraints: 32519
1570.25/1574.76 c #Conflicts: 688000 | #Constraints: 33521
1570.25/1574.76 c INPROCESSING
1570.25/1574.76 c GARBAGE COLLECT
1570.25/1574.76 c rational objective 9
1571.16/1575.64 c GLOBAL bounds - >= 9 @ 1557.91
1571.16/1575.64 c GLOBAL bounds - >= 9 @ 1557.91
1636.77/1641.43 c #Conflicts: 689000 | #Constraints: 18076
1636.77/1641.43 c #Conflicts: 690000 | #Constraints: 19077
1636.77/1641.43 c #Conflicts: 691000 | #Constraints: 20079
1636.77/1641.43 c #Conflicts: 692000 | #Constraints: 21082
1636.77/1641.43 c #Conflicts: 693000 | #Constraints: 22083
1636.77/1641.43 c #Conflicts: 694000 | #Constraints: 23083
1636.77/1641.43 c #Conflicts: 695000 | #Constraints: 24083
1636.77/1641.43 c #Conflicts: 696000 | #Constraints: 25086
1636.77/1641.43 c #Conflicts: 697000 | #Constraints: 26089
1636.77/1641.43 c #Conflicts: 698000 | #Constraints: 27089
1636.77/1641.43 c #Conflicts: 699000 | #Constraints: 28094
1636.77/1641.43 c #Conflicts: 700000 | #Constraints: 29097
1636.77/1641.43 c #Conflicts: 701000 | #Constraints: 30098
1636.77/1641.43 c #Conflicts: 702000 | #Constraints: 31101
1636.77/1641.43 c #Conflicts: 703000 | #Constraints: 32102
1636.77/1641.43 c #Conflicts: 704000 | #Constraints: 33106
1636.77/1641.43 c #Conflicts: 705000 | #Constraints: 34106
1636.77/1641.43 c INPROCESSING
1636.77/1641.43 c GARBAGE COLLECT
1636.77/1641.43 c rational objective 9
1637.38/1642.07 c GLOBAL bounds - >= 9 @ 1623.74
1637.38/1642.07 c GLOBAL bounds - >= 9 @ 1623.74
1712.65/1717.52 c #Conflicts: 706000 | #Constraints: 18468
1712.65/1717.52 c #Conflicts: 707000 | #Constraints: 19468
1712.65/1717.52 c #Conflicts: 708000 | #Constraints: 20470
1712.65/1717.52 c #Conflicts: 709000 | #Constraints: 21472
1712.65/1717.52 c #Conflicts: 710000 | #Constraints: 22472
1712.65/1717.52 c #Conflicts: 711000 | #Constraints: 23474
1712.65/1717.52 c #Conflicts: 712000 | #Constraints: 24475
1712.65/1717.52 c #Conflicts: 713000 | #Constraints: 25476
1712.65/1717.52 c #Conflicts: 714000 | #Constraints: 26480
1712.65/1717.52 c #Conflicts: 715000 | #Constraints: 27483
1712.65/1717.52 c #Conflicts: 716000 | #Constraints: 28486
1712.65/1717.52 c #Conflicts: 717000 | #Constraints: 29489
1712.65/1717.52 c #Conflicts: 718000 | #Constraints: 30490
1712.65/1717.52 c #Conflicts: 719000 | #Constraints: 31490
1712.65/1717.52 c #Conflicts: 720000 | #Constraints: 32490
1712.65/1717.52 c #Conflicts: 721000 | #Constraints: 33493
1712.65/1717.52 c #Conflicts: 722000 | #Constraints: 34501
1712.65/1717.52 c INPROCESSING
1712.65/1717.52 c GARBAGE COLLECT
1712.65/1717.52 c rational objective 9
1713.16/1718.01 c GLOBAL bounds - >= 9 @ 1699.09
1713.16/1718.01 c GLOBAL bounds - >= 9 @ 1699.09
1767.11/1772.17 c #Conflicts: 723000 | #Constraints: 18672
1767.11/1772.17 c #Conflicts: 724000 | #Constraints: 19674
1767.11/1772.17 c #Conflicts: 725000 | #Constraints: 20676
1767.11/1772.17 c #Conflicts: 726000 | #Constraints: 21676
1767.11/1772.17 c #Conflicts: 727000 | #Constraints: 22680
1767.11/1772.17 c #Conflicts: 728000 | #Constraints: 23682
1767.11/1772.17 c #Conflicts: 729000 | #Constraints: 24688
1767.11/1772.17 c #Conflicts: 730000 | #Constraints: 25693
1767.11/1772.17 c #Conflicts: 731000 | #Constraints: 26695
1767.11/1772.17 c #Conflicts: 732000 | #Constraints: 27696
1767.11/1772.17 c #Conflicts: 733000 | #Constraints: 28697
1767.11/1772.17 c #Conflicts: 734000 | #Constraints: 29701
1767.11/1772.17 c #Conflicts: 735000 | #Constraints: 30704
1767.11/1772.17 c #Conflicts: 736000 | #Constraints: 31707
1767.11/1772.17 c #Conflicts: 737000 | #Constraints: 32712
1767.11/1772.17 c #Conflicts: 738000 | #Constraints: 33713
1767.11/1772.17 c #Conflicts: 739000 | #Constraints: 34715
1767.11/1772.17 c INPROCESSING
1767.11/1772.17 c GARBAGE COLLECT
1767.11/1772.17 c rational objective 9
1767.89/1772.91 c GLOBAL bounds - >= 9 @ 1753.56
1767.89/1772.91 c GLOBAL bounds - >= 9 @ 1753.56
1805.39/1810.59 c #Conflicts: 740000 | #Constraints: 18696
1805.39/1810.59 c #Conflicts: 741000 | #Constraints: 19699
1805.39/1810.59 c #Conflicts: 742000 | #Constraints: 20704
1805.39/1810.59 c #Conflicts: 743000 | #Constraints: 21709
1805.39/1810.59 c #Conflicts: 744000 | #Constraints: 22713
1805.39/1810.59 c #Conflicts: 745000 | #Constraints: 23717
1805.39/1810.59 c #Conflicts: 746000 | #Constraints: 24717
1805.39/1810.59 c #Conflicts: 747000 | #Constraints: 25718
1805.39/1810.59 c #Conflicts: 748000 | #Constraints: 26721
1805.39/1810.59 c #Conflicts: 749000 | #Constraints: 27722
1805.39/1810.59 c #Conflicts: 750000 | #Constraints: 28725
1805.39/1810.59 c #Conflicts: 751000 | #Constraints: 29731
1805.39/1810.59 c #Conflicts: 752000 | #Constraints: 30734
1805.39/1810.59 c #Conflicts: 753000 | #Constraints: 31737
1805.39/1810.59 c #Conflicts: 754000 | #Constraints: 32742
1805.39/1810.59 c #Conflicts: 755000 | #Constraints: 33744
1805.39/1810.59 c #Conflicts: 756000 | #Constraints: 34748
1805.39/1810.59 c INPROCESSING
1805.39/1810.59 c GARBAGE COLLECT
1805.39/1810.59 c rational objective 9
1806.19/1811.37 c GLOBAL bounds - >= 9 @ 1791.52
1806.19/1811.37 c GLOBAL bounds - >= 9 @ 1791.52
1867.32/1872.64 c #Conflicts: 757000 | #Constraints: 18516
1867.32/1872.64 c #Conflicts: 758000 | #Constraints: 19521
1867.32/1872.64 c #Conflicts: 759000 | #Constraints: 20527
1867.32/1872.64 c #Conflicts: 760000 | #Constraints: 21530
1867.32/1872.64 c #Conflicts: 761000 | #Constraints: 22533
1867.32/1872.64 c #Conflicts: 762000 | #Constraints: 23535
1867.32/1872.64 c #Conflicts: 763000 | #Constraints: 24539
1867.32/1872.64 c #Conflicts: 764000 | #Constraints: 25541
1867.32/1872.64 c #Conflicts: 765000 | #Constraints: 26543
1867.32/1872.64 c #Conflicts: 766000 | #Constraints: 27546
1867.32/1872.64 c #Conflicts: 767000 | #Constraints: 28549
1867.32/1872.64 c #Conflicts: 768000 | #Constraints: 29552
1867.32/1872.64 c #Conflicts: 769000 | #Constraints: 30554
1867.32/1872.64 c #Conflicts: 770000 | #Constraints: 31555
1867.32/1872.64 c #Conflicts: 771000 | #Constraints: 32558
1867.32/1872.64 c #Conflicts: 772000 | #Constraints: 33562
1867.32/1872.64 c #Conflicts: 773000 | #Constraints: 34566
1867.32/1872.64 c #Conflicts: 774000 | #Constraints: 35572
1867.32/1872.64 c INPROCESSING
1867.32/1872.64 c GARBAGE COLLECT
1867.32/1872.64 c rational objective 9
1868.12/1873.41 c GLOBAL bounds - >= 9 @ 1853.09
1868.12/1873.41 c GLOBAL bounds - >= 9 @ 1853.09
1907.31/1912.75 c #Conflicts: 775000 | #Constraints: 19134
1907.31/1912.75 c #Conflicts: 776000 | #Constraints: 20136
1907.31/1912.75 c #Conflicts: 777000 | #Constraints: 21138
1907.31/1912.75 c #Conflicts: 778000 | #Constraints: 22142
1907.31/1912.75 c #Conflicts: 779000 | #Constraints: 23143
1907.31/1912.75 c #Conflicts: 780000 | #Constraints: 24146
1907.31/1912.75 c #Conflicts: 781000 | #Constraints: 25150
1907.31/1912.75 c #Conflicts: 782000 | #Constraints: 26156
1907.31/1912.75 c #Conflicts: 783000 | #Constraints: 27165
1907.31/1912.75 c #Conflicts: 784000 | #Constraints: 28169
1907.31/1912.75 c #Conflicts: 785000 | #Constraints: 29175
1907.31/1912.75 c #Conflicts: 786000 | #Constraints: 30179
1907.31/1912.75 c #Conflicts: 787000 | #Constraints: 31182
1907.31/1912.75 c #Conflicts: 788000 | #Constraints: 32185
1907.31/1912.75 c #Conflicts: 789000 | #Constraints: 33189
1907.31/1912.75 c #Conflicts: 790000 | #Constraints: 34192
1907.31/1912.75 c #Conflicts: 791000 | #Constraints: 35195
1907.31/1912.75 c #Conflicts: 792000 | #Constraints: 36198
1907.31/1912.75 c INPROCESSING
1907.31/1912.75 c GARBAGE COLLECT
1907.31/1912.75 c rational objective 9
1908.11/1913.54 c GLOBAL bounds - >= 9 @ 1892.78
1908.11/1913.54 c GLOBAL bounds - >= 9 @ 1892.78
1974.92/1980.52 c #Conflicts: 793000 | #Constraints: 19539
1974.92/1980.52 c #Conflicts: 794000 | #Constraints: 20541
1974.92/1980.52 c #Conflicts: 795000 | #Constraints: 21547
1974.92/1980.52 c #Conflicts: 796000 | #Constraints: 22550
1974.92/1980.52 c #Conflicts: 797000 | #Constraints: 23552
1974.92/1980.52 c #Conflicts: 798000 | #Constraints: 24556
1974.92/1980.52 c #Conflicts: 799000 | #Constraints: 25561
1974.92/1980.52 c #Conflicts: 800000 | #Constraints: 26566
1974.92/1980.52 c #Conflicts: 801000 | #Constraints: 27569
1974.92/1980.52 c #Conflicts: 802000 | #Constraints: 28572
1974.92/1980.52 c #Conflicts: 803000 | #Constraints: 29574
1974.92/1980.52 c #Conflicts: 804000 | #Constraints: 30578
1974.92/1980.52 c #Conflicts: 805000 | #Constraints: 31580
1974.92/1980.52 c #Conflicts: 806000 | #Constraints: 32582
1974.92/1980.52 c #Conflicts: 807000 | #Constraints: 33583
1974.92/1980.52 c #Conflicts: 808000 | #Constraints: 34585
1974.92/1980.52 c #Conflicts: 809000 | #Constraints: 35586
1974.92/1980.52 c #Conflicts: 810000 | #Constraints: 36586
1974.92/1980.52 c INPROCESSING
1974.92/1980.52 c GARBAGE COLLECT
1974.92/1980.52 c rational objective 9
1975.62/1981.27 c GLOBAL bounds - >= 9 @ 1960.01
1975.62/1981.27 c GLOBAL bounds - >= 9 @ 1960.01
2054.50/2060.33 c #Conflicts: 811000 | #Constraints: 19706
2054.50/2060.33 c #Conflicts: 812000 | #Constraints: 20707
2054.50/2060.33 c #Conflicts: 813000 | #Constraints: 21707
2054.50/2060.33 c #Conflicts: 814000 | #Constraints: 22709
2054.50/2060.33 c #Conflicts: 815000 | #Constraints: 23711
2054.50/2060.33 c #Conflicts: 816000 | #Constraints: 24712
2054.50/2060.33 c #Conflicts: 817000 | #Constraints: 25713
2054.50/2060.33 c #Conflicts: 818000 | #Constraints: 26713
2054.50/2060.33 c #Conflicts: 819000 | #Constraints: 27714
2054.50/2060.33 c #Conflicts: 820000 | #Constraints: 28716
2054.50/2060.33 c #Conflicts: 821000 | #Constraints: 29717
2054.50/2060.33 c #Conflicts: 822000 | #Constraints: 30720
2054.50/2060.33 c #Conflicts: 823000 | #Constraints: 31724
2054.50/2060.33 c #Conflicts: 824000 | #Constraints: 32725
2054.50/2060.33 c #Conflicts: 825000 | #Constraints: 33725
2054.50/2060.33 c #Conflicts: 826000 | #Constraints: 34725
2054.50/2060.33 c #Conflicts: 827000 | #Constraints: 35726
2054.50/2060.33 c #Conflicts: 828000 | #Constraints: 36730
2054.50/2060.33 c INPROCESSING
2054.50/2060.33 c GARBAGE COLLECT
2054.50/2060.33 c rational objective 9
2055.50/2061.38 c GLOBAL bounds - >= 9 @ 2039.57
2055.50/2061.38 c GLOBAL bounds - >= 9 @ 2039.57
2118.04/2124.04 c #Conflicts: 829000 | #Constraints: 19681
2118.04/2124.04 c #Conflicts: 830000 | #Constraints: 20683
2118.04/2124.04 c #Conflicts: 831000 | #Constraints: 21685
2118.04/2124.04 c #Conflicts: 832000 | #Constraints: 22686
2118.04/2124.04 c #Conflicts: 833000 | #Constraints: 23687
2118.04/2124.04 c #Conflicts: 834000 | #Constraints: 24690
2118.04/2124.04 c #Conflicts: 835000 | #Constraints: 25692
2118.04/2124.04 c #Conflicts: 836000 | #Constraints: 26693
2118.04/2124.04 c #Conflicts: 837000 | #Constraints: 27697
2118.04/2124.04 c #Conflicts: 838000 | #Constraints: 28713
2118.04/2124.04 c #Conflicts: 839000 | #Constraints: 29721
2118.04/2124.04 c #Conflicts: 840000 | #Constraints: 30722
2118.04/2124.04 c #Conflicts: 841000 | #Constraints: 31724
2118.04/2124.04 c #Conflicts: 842000 | #Constraints: 32726
2118.04/2124.04 c #Conflicts: 843000 | #Constraints: 33729
2118.04/2124.04 c #Conflicts: 844000 | #Constraints: 34732
2118.04/2124.04 c #Conflicts: 845000 | #Constraints: 35734
2118.04/2124.04 c #Conflicts: 846000 | #Constraints: 36736
2118.04/2124.04 c INPROCESSING
2118.04/2124.04 c GARBAGE COLLECT
2118.04/2124.04 c rational objective 9
2118.62/2124.67 c GLOBAL bounds - >= 9 @ 2102.35
2118.62/2124.67 c GLOBAL bounds - >= 9 @ 2102.35
2159.11/2165.23 c #Conflicts: 847000 | #Constraints: 19483
2159.11/2165.23 c #Conflicts: 848000 | #Constraints: 20486
2159.11/2165.23 c #Conflicts: 849000 | #Constraints: 21489
2159.11/2165.23 c #Conflicts: 850000 | #Constraints: 22491
2159.11/2165.23 c #Conflicts: 851000 | #Constraints: 23493
2159.11/2165.23 c #Conflicts: 852000 | #Constraints: 24497
2159.11/2165.23 c #Conflicts: 853000 | #Constraints: 25501
2159.11/2165.23 c #Conflicts: 854000 | #Constraints: 26507
2159.11/2165.23 c #Conflicts: 855000 | #Constraints: 27509
2159.11/2165.23 c #Conflicts: 856000 | #Constraints: 28512
2159.11/2165.23 c #Conflicts: 857000 | #Constraints: 29518
2159.11/2165.23 c #Conflicts: 858000 | #Constraints: 30522
2159.11/2165.23 c #Conflicts: 859000 | #Constraints: 31527
2159.11/2165.23 c #Conflicts: 860000 | #Constraints: 32533
2159.11/2165.23 c #Conflicts: 861000 | #Constraints: 33543
2159.11/2165.23 c #Conflicts: 862000 | #Constraints: 34550
2159.11/2165.23 c #Conflicts: 863000 | #Constraints: 35556
2159.11/2165.23 c #Conflicts: 864000 | #Constraints: 36563
2159.11/2165.23 c #Conflicts: 865000 | #Constraints: 37570
2159.11/2165.23 c INPROCESSING
2159.11/2165.23 c GARBAGE COLLECT
2159.11/2165.23 c rational objective 9
2159.60/2165.71 c GLOBAL bounds - >= 9 @ 2142.94
2159.60/2165.71 c GLOBAL bounds - >= 9 @ 2142.94
2214.45/2220.79 c #Conflicts: 866000 | #Constraints: 20145
2214.45/2220.79 c #Conflicts: 867000 | #Constraints: 21147
2214.45/2220.79 c #Conflicts: 868000 | #Constraints: 22148
2214.45/2220.79 c #Conflicts: 869000 | #Constraints: 23154
2214.45/2220.79 c #Conflicts: 870000 | #Constraints: 24160
2214.45/2220.79 c #Conflicts: 871000 | #Constraints: 25164
2214.45/2220.79 c #Conflicts: 872000 | #Constraints: 26169
2214.45/2220.79 c #Conflicts: 873000 | #Constraints: 27173
2214.45/2220.79 c #Conflicts: 874000 | #Constraints: 28177
2214.45/2220.79 c #Conflicts: 875000 | #Constraints: 29183
2214.45/2220.79 c #Conflicts: 876000 | #Constraints: 30186
2214.45/2220.79 c #Conflicts: 877000 | #Constraints: 31189
2214.45/2220.79 c #Conflicts: 878000 | #Constraints: 32190
2214.45/2220.79 c #Conflicts: 879000 | #Constraints: 33193
2214.45/2220.79 c #Conflicts: 880000 | #Constraints: 34194
2214.45/2220.79 c #Conflicts: 881000 | #Constraints: 35198
2214.45/2220.79 c #Conflicts: 882000 | #Constraints: 36202
2214.45/2220.79 c #Conflicts: 883000 | #Constraints: 37204
2214.45/2220.79 c #Conflicts: 884000 | #Constraints: 38208
2214.45/2220.79 c INPROCESSING
2214.45/2220.79 c GARBAGE COLLECT
2214.45/2220.79 c rational objective 9
2215.35/2221.67 c GLOBAL bounds - >= 9 @ 2198.37
2215.35/2221.67 c GLOBAL bounds - >= 9 @ 2198.37
2317.92/2324.55 c #Conflicts: 885000 | #Constraints: 20537
2317.92/2324.55 c #Conflicts: 886000 | #Constraints: 21543
2317.92/2324.55 c #Conflicts: 887000 | #Constraints: 22548
2317.92/2324.55 c #Conflicts: 888000 | #Constraints: 23549
2317.92/2324.55 c #Conflicts: 889000 | #Constraints: 24551
2317.92/2324.55 c #Conflicts: 890000 | #Constraints: 25553
2317.92/2324.55 c #Conflicts: 891000 | #Constraints: 26555
2317.92/2324.55 c #Conflicts: 892000 | #Constraints: 27559
2317.92/2324.55 c #Conflicts: 893000 | #Constraints: 28561
2317.92/2324.55 c #Conflicts: 894000 | #Constraints: 29563
2317.92/2324.55 c #Conflicts: 895000 | #Constraints: 30566
2317.92/2324.55 c #Conflicts: 896000 | #Constraints: 31567
2317.92/2324.55 c #Conflicts: 897000 | #Constraints: 32571
2317.92/2324.55 c #Conflicts: 898000 | #Constraints: 33575
2317.92/2324.55 c #Conflicts: 899000 | #Constraints: 34580
2317.92/2324.55 c #Conflicts: 900000 | #Constraints: 35584
2317.92/2324.55 c #Conflicts: 901000 | #Constraints: 36586
2317.92/2324.55 c #Conflicts: 902000 | #Constraints: 37589
2317.92/2324.55 c #Conflicts: 903000 | #Constraints: 38590
2317.92/2324.55 c INPROCESSING
2317.92/2324.55 c GARBAGE COLLECT
2317.92/2324.55 c rational objective 9
2318.53/2325.13 c GLOBAL bounds - >= 9 @ 2301.09
2318.53/2325.13 c GLOBAL bounds - >= 9 @ 2301.09
2382.71/2389.53 c #Conflicts: 904000 | #Constraints: 20744
2382.71/2389.53 c #Conflicts: 905000 | #Constraints: 21747
2382.71/2389.53 c #Conflicts: 906000 | #Constraints: 22751
2382.71/2389.53 c #Conflicts: 907000 | #Constraints: 23754
2382.71/2389.53 c #Conflicts: 908000 | #Constraints: 24756
2382.71/2389.53 c #Conflicts: 909000 | #Constraints: 25759
2382.71/2389.53 c #Conflicts: 910000 | #Constraints: 26762
2382.71/2389.53 c #Conflicts: 911000 | #Constraints: 27766
2382.71/2389.53 c #Conflicts: 912000 | #Constraints: 28772
2382.71/2389.53 c #Conflicts: 913000 | #Constraints: 29775
2382.71/2389.53 c #Conflicts: 914000 | #Constraints: 30779
2382.71/2389.53 c #Conflicts: 915000 | #Constraints: 31782
2382.71/2389.53 c #Conflicts: 916000 | #Constraints: 32786
2382.71/2389.53 c #Conflicts: 917000 | #Constraints: 33790
2382.71/2389.53 c #Conflicts: 918000 | #Constraints: 34791
2382.71/2389.53 c #Conflicts: 919000 | #Constraints: 35794
2382.71/2389.53 c #Conflicts: 920000 | #Constraints: 36800
2382.71/2389.53 c #Conflicts: 921000 | #Constraints: 37804
2382.71/2389.53 c #Conflicts: 922000 | #Constraints: 38805
2382.71/2389.53 c INPROCESSING
2382.71/2389.53 c GARBAGE COLLECT
2382.71/2389.53 c rational objective 9
2383.41/2390.29 c GLOBAL bounds - >= 9 @ 2365.68
2383.41/2390.29 c GLOBAL bounds - >= 9 @ 2365.68
2464.55/2471.68 c #Conflicts: 923000 | #Constraints: 20745
2464.55/2471.68 c #Conflicts: 924000 | #Constraints: 21748
2464.55/2471.68 c #Conflicts: 925000 | #Constraints: 22755
2464.55/2471.68 c #Conflicts: 926000 | #Constraints: 23758
2464.55/2471.68 c #Conflicts: 927000 | #Constraints: 24759
2464.55/2471.68 c #Conflicts: 928000 | #Constraints: 25762
2464.55/2471.68 c #Conflicts: 929000 | #Constraints: 26764
2464.55/2471.68 c #Conflicts: 930000 | #Constraints: 27767
2464.55/2471.68 c #Conflicts: 931000 | #Constraints: 28769
2464.55/2471.68 c #Conflicts: 932000 | #Constraints: 29772
2464.55/2471.68 c #Conflicts: 933000 | #Constraints: 30774
2464.55/2471.68 c #Conflicts: 934000 | #Constraints: 31778
2464.55/2471.68 c #Conflicts: 935000 | #Constraints: 32783
2464.55/2471.68 c #Conflicts: 936000 | #Constraints: 33784
2464.55/2471.68 c #Conflicts: 937000 | #Constraints: 34785
2464.55/2471.68 c #Conflicts: 938000 | #Constraints: 35787
2464.55/2471.68 c #Conflicts: 939000 | #Constraints: 36790
2464.55/2471.68 c #Conflicts: 940000 | #Constraints: 37791
2464.55/2471.68 c #Conflicts: 941000 | #Constraints: 38792
2464.55/2471.68 c INPROCESSING
2464.55/2471.68 c GARBAGE COLLECT
2464.55/2471.68 c rational objective 9
2465.15/2472.25 c GLOBAL bounds - >= 9 @ 2447.05
2465.15/2472.25 c GLOBAL bounds - >= 9 @ 2447.05
2538.31/2545.65 c #Conflicts: 942000 | #Constraints: 20539
2538.31/2545.65 c #Conflicts: 943000 | #Constraints: 21540
2538.31/2545.65 c #Conflicts: 944000 | #Constraints: 22542
2538.31/2545.65 c #Conflicts: 945000 | #Constraints: 23544
2538.31/2545.65 c #Conflicts: 946000 | #Constraints: 24546
2538.31/2545.65 c #Conflicts: 947000 | #Constraints: 25548
2538.31/2545.65 c #Conflicts: 948000 | #Constraints: 26549
2538.31/2545.65 c #Conflicts: 949000 | #Constraints: 27554
2538.31/2545.65 c #Conflicts: 950000 | #Constraints: 28559
2538.31/2545.65 c #Conflicts: 951000 | #Constraints: 29564
2538.31/2545.65 c #Conflicts: 952000 | #Constraints: 30567
2538.31/2545.65 c #Conflicts: 953000 | #Constraints: 31569
2538.31/2545.65 c #Conflicts: 954000 | #Constraints: 33479
2538.31/2545.65 c #Conflicts: 955000 | #Constraints: 35454
2538.31/2545.65 c #Conflicts: 956000 | #Constraints: 37433
2538.31/2545.65 c #Conflicts: 957000 | #Constraints: 39414
2538.31/2545.65 c #Conflicts: 958000 | #Constraints: 41395
2538.31/2545.65 c #Conflicts: 959000 | #Constraints: 43337
2538.31/2545.65 c #Conflicts: 960000 | #Constraints: 45321
2538.31/2545.65 c #Conflicts: 961000 | #Constraints: 47305
2538.31/2545.65 c INPROCESSING
2538.31/2545.65 c GARBAGE COLLECT
2538.31/2545.65 c rational objective 9
2539.00/2546.32 c GLOBAL bounds - >= 9 @ 2520.15
2539.00/2546.32 c GLOBAL bounds - >= 9 @ 2520.15
2601.61/2609.18 c #Conflicts: 962000 | #Constraints: 25120
2601.61/2609.18 c #Conflicts: 963000 | #Constraints: 26122
2601.61/2609.18 c #Conflicts: 964000 | #Constraints: 27124
2601.61/2609.18 c #Conflicts: 965000 | #Constraints: 28125
2601.61/2609.18 c #Conflicts: 966000 | #Constraints: 29127
2601.61/2609.18 c #Conflicts: 967000 | #Constraints: 30128
2601.61/2609.18 c #Conflicts: 968000 | #Constraints: 31132
2601.61/2609.18 c #Conflicts: 969000 | #Constraints: 32137
2601.61/2609.18 c #Conflicts: 970000 | #Constraints: 33153
2601.61/2609.18 c #Conflicts: 971000 | #Constraints: 34162
2601.61/2609.18 c #Conflicts: 972000 | #Constraints: 35178
2601.61/2609.18 c #Conflicts: 973000 | #Constraints: 36182
2601.61/2609.18 c #Conflicts: 974000 | #Constraints: 37200
2601.61/2609.18 c #Conflicts: 975000 | #Constraints: 38203
2601.61/2609.18 c #Conflicts: 976000 | #Constraints: 39209
2601.61/2609.18 c #Conflicts: 977000 | #Constraints: 40219
2601.61/2609.18 c #Conflicts: 978000 | #Constraints: 41227
2601.61/2609.18 c #Conflicts: 979000 | #Constraints: 42234
2601.61/2609.18 c #Conflicts: 980000 | #Constraints: 43241
2601.61/2609.18 c #Conflicts: 981000 | #Constraints: 44244
2601.61/2609.18 c INPROCESSING
2601.61/2609.18 c GARBAGE COLLECT
2601.61/2609.18 c rational objective 9
2602.20/2609.78 c GLOBAL bounds - >= 9 @ 2583.09
2602.20/2609.78 c GLOBAL bounds - >= 9 @ 2583.09
2722.51/2730.42 c #Conflicts: 982000 | #Constraints: 23575
2722.51/2730.42 c #Conflicts: 983000 | #Constraints: 24579
2722.51/2730.42 c #Conflicts: 984000 | #Constraints: 25584
2722.51/2730.42 c #Conflicts: 985000 | #Constraints: 26589
2722.51/2730.42 c #Conflicts: 986000 | #Constraints: 27593
2722.51/2730.42 c #Conflicts: 987000 | #Constraints: 28597
2722.51/2730.42 c #Conflicts: 988000 | #Constraints: 29602
2722.51/2730.42 c #Conflicts: 989000 | #Constraints: 30608
2722.51/2730.42 c #Conflicts: 990000 | #Constraints: 31613
2722.51/2730.42 c #Conflicts: 991000 | #Constraints: 32614
2722.51/2730.42 c #Conflicts: 992000 | #Constraints: 33617
2722.51/2730.42 c #Conflicts: 993000 | #Constraints: 34622
2722.51/2730.42 c #Conflicts: 994000 | #Constraints: 35624
2722.51/2730.42 c #Conflicts: 995000 | #Constraints: 36627
2722.51/2730.42 c #Conflicts: 996000 | #Constraints: 37630
2722.51/2730.42 c #Conflicts: 997000 | #Constraints: 38633
2722.51/2730.42 c #Conflicts: 998000 | #Constraints: 39636
2722.51/2730.42 c #Conflicts: 999000 | #Constraints: 40637
2722.51/2730.42 c #Conflicts: 1000000 | #Constraints: 41640
2722.51/2730.42 c #Conflicts: 1001000 | #Constraints: 42642
2722.51/2730.42 c INPROCESSING
2722.51/2730.42 c GARBAGE COLLECT
2722.51/2730.42 c rational objective 9
2723.30/2731.23 c GLOBAL bounds - >= 9 @ 2703.64
2723.30/2731.23 c GLOBAL bounds - >= 9 @ 2703.64
2873.83/2882.23 c #Conflicts: 1002000 | #Constraints: 22812
2873.83/2882.23 c #Conflicts: 1003000 | #Constraints: 23813
2873.83/2882.23 c #Conflicts: 1004000 | #Constraints: 24816
2873.83/2882.23 c #Conflicts: 1005000 | #Constraints: 25818
2873.83/2882.23 c #Conflicts: 1006000 | #Constraints: 26821
2873.83/2882.23 c #Conflicts: 1007000 | #Constraints: 27825
2873.83/2882.23 c #Conflicts: 1008000 | #Constraints: 28827
2873.83/2882.23 c #Conflicts: 1009000 | #Constraints: 29831
2873.83/2882.23 c #Conflicts: 1010000 | #Constraints: 30837
2873.83/2882.23 c #Conflicts: 1011000 | #Constraints: 31840
2873.83/2882.23 c #Conflicts: 1012000 | #Constraints: 32845
2873.83/2882.23 c #Conflicts: 1013000 | #Constraints: 33848
2873.83/2882.23 c #Conflicts: 1014000 | #Constraints: 34851
2873.83/2882.23 c #Conflicts: 1015000 | #Constraints: 35851
2873.83/2882.23 c #Conflicts: 1016000 | #Constraints: 36853
2873.83/2882.23 c #Conflicts: 1017000 | #Constraints: 37857
2873.83/2882.23 c #Conflicts: 1018000 | #Constraints: 38859
2873.83/2882.23 c #Conflicts: 1019000 | #Constraints: 39861
2873.83/2882.23 c #Conflicts: 1020000 | #Constraints: 40864
2873.83/2882.23 c #Conflicts: 1021000 | #Constraints: 41870
2873.83/2882.23 c INPROCESSING
2873.83/2882.23 c GARBAGE COLLECT
2873.83/2882.23 c rational objective 9
2874.43/2882.87 c GLOBAL bounds - >= 9 @ 2854.4
2874.43/2882.87 c GLOBAL bounds - >= 9 @ 2854.4
2983.48/2992.22 c #Conflicts: 1022000 | #Constraints: 22320
2983.48/2992.22 c #Conflicts: 1023000 | #Constraints: 23324
2983.48/2992.22 c #Conflicts: 1024000 | #Constraints: 24333
2983.48/2992.22 c #Conflicts: 1025000 | #Constraints: 25342
2983.48/2992.22 c #Conflicts: 1026000 | #Constraints: 26348
2983.48/2992.22 c #Conflicts: 1027000 | #Constraints: 27354
2983.48/2992.22 c #Conflicts: 1028000 | #Constraints: 28362
2983.48/2992.22 c #Conflicts: 1029000 | #Constraints: 29368
2983.48/2992.22 c #Conflicts: 1030000 | #Constraints: 30371
2983.48/2992.22 c #Conflicts: 1031000 | #Constraints: 31373
2983.48/2992.22 c #Conflicts: 1032000 | #Constraints: 32375
2983.48/2992.22 c #Conflicts: 1033000 | #Constraints: 33377
2983.48/2992.22 c #Conflicts: 1034000 | #Constraints: 34378
2983.48/2992.22 c #Conflicts: 1035000 | #Constraints: 35379
2983.48/2992.22 c #Conflicts: 1036000 | #Constraints: 36383
2983.48/2992.22 c #Conflicts: 1037000 | #Constraints: 37386
2983.48/2992.22 c #Conflicts: 1038000 | #Constraints: 38387
2983.48/2992.22 c #Conflicts: 1039000 | #Constraints: 39390
2983.48/2992.22 c #Conflicts: 1040000 | #Constraints: 40392
2983.48/2992.22 c #Conflicts: 1041000 | #Constraints: 41392
2983.48/2992.22 c INPROCESSING
2983.48/2992.22 c GARBAGE COLLECT
2983.48/2992.22 c rational objective 9
2984.58/2993.34 c GLOBAL bounds - >= 9 @ 2964.17
2984.58/2993.34 c GLOBAL bounds - >= 9 @ 2964.17
3085.77/3094.89 c #Conflicts: 1042000 | #Constraints: 21853
3085.77/3094.89 c #Conflicts: 1043000 | #Constraints: 22859
3085.77/3094.89 c #Conflicts: 1044000 | #Constraints: 23863
3085.77/3094.89 c #Conflicts: 1045000 | #Constraints: 24872
3085.77/3094.89 c #Conflicts: 1046000 | #Constraints: 25874
3085.77/3094.89 c #Conflicts: 1047000 | #Constraints: 26878
3085.77/3094.89 c #Conflicts: 1048000 | #Constraints: 27882
3085.77/3094.89 c #Conflicts: 1049000 | #Constraints: 28886
3085.77/3094.89 c #Conflicts: 1050000 | #Constraints: 29887
3085.77/3094.89 c #Conflicts: 1051000 | #Constraints: 30891
3085.77/3094.89 c #Conflicts: 1052000 | #Constraints: 31894
3085.77/3094.89 c #Conflicts: 1053000 | #Constraints: 32900
3085.77/3094.89 c #Conflicts: 1054000 | #Constraints: 33901
3085.77/3094.89 c #Conflicts: 1055000 | #Constraints: 34905
3085.77/3094.89 c #Conflicts: 1056000 | #Constraints: 35906
3085.77/3094.89 c #Conflicts: 1057000 | #Constraints: 36908
3085.77/3094.89 c #Conflicts: 1058000 | #Constraints: 37911
3085.77/3094.89 c #Conflicts: 1059000 | #Constraints: 38914
3085.77/3094.89 c #Conflicts: 1060000 | #Constraints: 39921
3085.77/3094.89 c #Conflicts: 1061000 | #Constraints: 40923
3085.77/3094.89 c #Conflicts: 1062000 | #Constraints: 41928
3085.77/3094.89 c INPROCESSING
3085.77/3094.89 c GARBAGE COLLECT
3085.77/3094.89 c rational objective 9
3086.46/3095.50 c GLOBAL bounds - >= 9 @ 3065.64
3086.46/3095.50 c GLOBAL bounds - >= 9 @ 3065.64
3199.81/3209.22 c #Conflicts: 1063000 | #Constraints: 22410
3199.81/3209.22 c #Conflicts: 1064000 | #Constraints: 23414
3199.81/3209.22 c #Conflicts: 1065000 | #Constraints: 24417
3199.81/3209.22 c #Conflicts: 1066000 | #Constraints: 25421
3199.81/3209.22 c #Conflicts: 1067000 | #Constraints: 26422
3199.81/3209.22 c #Conflicts: 1068000 | #Constraints: 27424
3199.81/3209.22 c #Conflicts: 1069000 | #Constraints: 28425
3199.81/3209.22 c #Conflicts: 1070000 | #Constraints: 29425
3199.81/3209.22 c #Conflicts: 1071000 | #Constraints: 30425
3199.81/3209.22 c #Conflicts: 1072000 | #Constraints: 31426
3199.81/3209.22 c #Conflicts: 1073000 | #Constraints: 32429
3199.81/3209.22 c #Conflicts: 1074000 | #Constraints: 33432
3199.81/3209.22 c #Conflicts: 1075000 | #Constraints: 34432
3199.81/3209.22 c #Conflicts: 1076000 | #Constraints: 35432
3199.81/3209.22 c #Conflicts: 1077000 | #Constraints: 36434
3199.81/3209.22 c #Conflicts: 1078000 | #Constraints: 37435
3199.81/3209.22 c #Conflicts: 1079000 | #Constraints: 38436
3199.81/3209.22 c #Conflicts: 1080000 | #Constraints: 39438
3199.81/3209.22 c #Conflicts: 1081000 | #Constraints: 40438
3199.81/3209.22 c #Conflicts: 1082000 | #Constraints: 41440
3199.81/3209.22 c #Conflicts: 1083000 | #Constraints: 42441
3199.81/3209.22 c INPROCESSING
3199.81/3209.22 c GARBAGE COLLECT
3199.81/3209.22 c rational objective 9
3200.50/3209.98 c GLOBAL bounds - >= 9 @ 3179.5
3200.50/3209.98 c GLOBAL bounds - >= 9 @ 3179.5
3316.38/3326.15 c #Conflicts: 1084000 | #Constraints: 22711
3316.38/3326.15 c #Conflicts: 1085000 | #Constraints: 23714
3316.38/3326.15 c #Conflicts: 1086000 | #Constraints: 24717
3316.38/3326.15 c #Conflicts: 1087000 | #Constraints: 25720
3316.38/3326.15 c #Conflicts: 1088000 | #Constraints: 26723
3316.38/3326.15 c #Conflicts: 1089000 | #Constraints: 27724
3316.38/3326.15 c #Conflicts: 1090000 | #Constraints: 28724
3316.38/3326.15 c #Conflicts: 1091000 | #Constraints: 29726
3316.38/3326.15 c #Conflicts: 1092000 | #Constraints: 30731
3316.38/3326.15 c #Conflicts: 1093000 | #Constraints: 31736
3316.38/3326.15 c #Conflicts: 1094000 | #Constraints: 32739
3316.38/3326.15 c #Conflicts: 1095000 | #Constraints: 33740
3316.38/3326.15 c #Conflicts: 1096000 | #Constraints: 34741
3316.38/3326.15 c #Conflicts: 1097000 | #Constraints: 35742
3316.38/3326.15 c #Conflicts: 1098000 | #Constraints: 36743
3316.38/3326.15 c #Conflicts: 1099000 | #Constraints: 37743
3316.38/3326.15 c #Conflicts: 1100000 | #Constraints: 38743
3316.38/3326.15 c #Conflicts: 1101000 | #Constraints: 39745
3316.38/3326.15 c #Conflicts: 1102000 | #Constraints: 40747
3316.38/3326.15 c #Conflicts: 1103000 | #Constraints: 41749
3316.38/3326.16 c #Conflicts: 1104000 | #Constraints: 42750
3316.38/3326.16 c INPROCESSING
3316.38/3326.16 c GARBAGE COLLECT
3316.38/3326.16 c rational objective 9
3317.16/3326.97 c GLOBAL bounds - >= 9 @ 3295.84
3317.16/3326.97 c GLOBAL bounds - >= 9 @ 3295.84
3376.67/3386.67 c #Conflicts: 1105000 | #Constraints: 22813
3376.67/3386.67 c #Conflicts: 1106000 | #Constraints: 23818
3376.67/3386.67 c #Conflicts: 1107000 | #Constraints: 24820
3376.67/3386.67 c #Conflicts: 1108000 | #Constraints: 25822
3376.67/3386.67 c #Conflicts: 1109000 | #Constraints: 26823
3376.67/3386.67 c #Conflicts: 1110000 | #Constraints: 27826
3376.67/3386.67 c #Conflicts: 1111000 | #Constraints: 28827
3376.67/3386.67 c #Conflicts: 1112000 | #Constraints: 29829
3376.67/3386.67 c #Conflicts: 1113000 | #Constraints: 30832
3376.67/3386.67 c #Conflicts: 1114000 | #Constraints: 31833
3376.67/3386.67 c #Conflicts: 1115000 | #Constraints: 32836
3376.67/3386.67 c #Conflicts: 1116000 | #Constraints: 33839
3376.67/3386.67 c #Conflicts: 1117000 | #Constraints: 34841
3376.67/3386.67 c #Conflicts: 1118000 | #Constraints: 35842
3376.67/3386.67 c #Conflicts: 1119000 | #Constraints: 36843
3376.67/3386.67 c #Conflicts: 1120000 | #Constraints: 37844
3376.67/3386.67 c #Conflicts: 1121000 | #Constraints: 38845
3376.67/3386.67 c #Conflicts: 1122000 | #Constraints: 39847
3376.67/3386.67 c #Conflicts: 1123000 | #Constraints: 40851
3376.67/3386.67 c #Conflicts: 1124000 | #Constraints: 41853
3376.67/3386.67 c #Conflicts: 1125000 | #Constraints: 42853
3376.67/3386.67 c INPROCESSING
3376.67/3386.67 c GARBAGE COLLECT
3376.67/3386.67 c rational objective 9
3377.58/3387.54 c GLOBAL bounds - >= 9 @ 3355.65
3377.58/3387.54 c GLOBAL bounds - >= 9 @ 3355.65
3428.63/3438.78 c #Conflicts: 1126000 | #Constraints: 22758
3428.63/3438.78 c #Conflicts: 1127000 | #Constraints: 23760
3428.63/3438.78 c #Conflicts: 1128000 | #Constraints: 24762
3428.63/3438.78 c #Conflicts: 1129000 | #Constraints: 25766
3428.63/3438.78 c #Conflicts: 1130000 | #Constraints: 26767
3428.63/3438.78 c #Conflicts: 1131000 | #Constraints: 27767
3428.63/3438.78 c #Conflicts: 1132000 | #Constraints: 28769
3428.63/3438.78 c #Conflicts: 1133000 | #Constraints: 29769
3428.63/3438.78 c #Conflicts: 1134000 | #Constraints: 30773
3428.63/3438.78 c #Conflicts: 1135000 | #Constraints: 31777
3428.63/3438.78 c #Conflicts: 1136000 | #Constraints: 32780
3428.63/3438.78 c #Conflicts: 1137000 | #Constraints: 33782
3428.63/3438.78 c #Conflicts: 1138000 | #Constraints: 34788
3428.63/3438.78 c #Conflicts: 1139000 | #Constraints: 35792
3428.63/3438.78 c #Conflicts: 1140000 | #Constraints: 36797
3428.63/3438.78 c #Conflicts: 1141000 | #Constraints: 37801
3428.63/3438.78 c #Conflicts: 1142000 | #Constraints: 38808
3428.63/3438.78 c #Conflicts: 1143000 | #Constraints: 39816
3428.63/3438.78 c #Conflicts: 1144000 | #Constraints: 40818
3428.63/3438.78 c #Conflicts: 1145000 | #Constraints: 41827
3428.63/3438.78 c #Conflicts: 1146000 | #Constraints: 42831
3428.63/3438.78 c INPROCESSING
3428.63/3438.78 c GARBAGE COLLECT
3428.63/3438.78 c rational objective 9
3429.43/3439.57 c GLOBAL bounds - >= 9 @ 3407.2
3429.43/3439.57 c GLOBAL bounds - >= 9 @ 3407.2
3513.00/3523.33 c #Conflicts: 1147000 | #Constraints: 22547
3513.00/3523.33 c #Conflicts: 1148000 | #Constraints: 23550
3513.00/3523.33 c #Conflicts: 1149000 | #Constraints: 24551
3513.00/3523.33 c #Conflicts: 1150000 | #Constraints: 25551
3513.00/3523.33 c #Conflicts: 1151000 | #Constraints: 26552
3513.00/3523.33 c #Conflicts: 1152000 | #Constraints: 27552
3513.00/3523.33 c #Conflicts: 1153000 | #Constraints: 28552
3513.00/3523.33 c #Conflicts: 1154000 | #Constraints: 29554
3513.00/3523.33 c #Conflicts: 1155000 | #Constraints: 30558
3513.00/3523.33 c #Conflicts: 1156000 | #Constraints: 31559
3513.00/3523.33 c #Conflicts: 1157000 | #Constraints: 32561
3513.00/3523.33 c #Conflicts: 1158000 | #Constraints: 33562
3513.00/3523.33 c #Conflicts: 1159000 | #Constraints: 34570
3513.00/3523.33 c #Conflicts: 1160000 | #Constraints: 35570
3513.00/3523.33 c #Conflicts: 1161000 | #Constraints: 36571
3513.00/3523.33 c #Conflicts: 1162000 | #Constraints: 37573
3513.00/3523.33 c #Conflicts: 1163000 | #Constraints: 38576
3513.00/3523.33 c #Conflicts: 1164000 | #Constraints: 39581
3513.00/3523.33 c #Conflicts: 1165000 | #Constraints: 40584
3513.00/3523.33 c #Conflicts: 1166000 | #Constraints: 41587
3513.00/3523.33 c #Conflicts: 1167000 | #Constraints: 42593
3513.00/3523.33 c #Conflicts: 1168000 | #Constraints: 43597
3513.00/3523.33 c INPROCESSING
3513.00/3523.33 c GARBAGE COLLECT
3513.00/3523.33 c rational objective 9
3513.59/3523.94 c GLOBAL bounds - >= 9 @ 3491.04
3513.59/3523.94 c GLOBAL bounds - >= 9 @ 3491.04
3596.75/3607.31 c #Conflicts: 1169000 | #Constraints: 23130
3596.75/3607.31 c #Conflicts: 1170000 | #Constraints: 24130
3596.75/3607.31 c #Conflicts: 1171000 | #Constraints: 25131
3596.75/3607.31 c #Conflicts: 1172000 | #Constraints: 26132
3596.75/3607.31 c #Conflicts: 1173000 | #Constraints: 27134
3596.75/3607.31 c #Conflicts: 1174000 | #Constraints: 28135
3596.75/3607.31 c #Conflicts: 1175000 | #Constraints: 29136
3596.75/3607.31 c #Conflicts: 1176000 | #Constraints: 30137
3596.75/3607.31 c #Conflicts: 1177000 | #Constraints: 31137
3596.75/3607.31 c #Conflicts: 1178000 | #Constraints: 32138
3596.75/3607.31 c #Conflicts: 1179000 | #Constraints: 33138
3596.75/3607.31 c #Conflicts: 1180000 | #Constraints: 34140
3596.75/3607.31 c #Conflicts: 1181000 | #Constraints: 35141
3596.75/3607.31 c #Conflicts: 1182000 | #Constraints: 36143
3596.75/3607.31 c #Conflicts: 1183000 | #Constraints: 37144
3596.75/3607.31 c #Conflicts: 1184000 | #Constraints: 38146
3596.75/3607.31 c #Conflicts: 1185000 | #Constraints: 39147
3596.75/3607.31 c #Conflicts: 1186000 | #Constraints: 40148
3596.75/3607.31 c #Conflicts: 1187000 | #Constraints: 41149
3596.75/3607.31 c #Conflicts: 1188000 | #Constraints: 42150
3596.75/3607.31 c #Conflicts: 1189000 | #Constraints: 43151
3596.75/3607.31 c #Conflicts: 1190000 | #Constraints: 44153
3596.75/3607.31 c INPROCESSING
3596.75/3607.31 c GARBAGE COLLECT
3596.75/3607.31 c rational objective 9
3597.46/3608.03 c GLOBAL bounds - >= 9 @ 3574.45
3597.46/3608.03 c GLOBAL bounds - >= 9 @ 3574.45
3600.04/3610.60 c #Conflicts: 1191000 | #Constraints: 23512
3600.04/3610.60 c #Conflicts: 1192000 | #Constraints: 24514
3600.04/3610.60 c cpu time 3576.97 s
3600.04/3610.60 c deterministic time 374249200320 3.74e+11
3600.04/3610.60 c optimization time 2.54222 s
3600.04/3610.60 c total solve time 3574.28 s
3600.04/3610.60 c core-guided solve time 0 s
3600.04/3610.60 c propagation time 2346.02 s
3600.04/3610.60 c conflict analysis time 1007.71 s
3600.04/3610.60 c propagations 594386808
3600.04/3610.60 c resolve steps 6084462
3600.04/3610.60 c decisions 17362518
3600.04/3610.60 c conflicts 1192078
3600.04/3610.60 c restarts 2241
3600.04/3610.60 c inprocessing phases 100
3600.04/3610.60 c garbage collections 100 ,( 100.00 )
3600.04/3610.60 c input clauses 8512 ,( 92.66 )
3600.04/3610.60 c input cardinalities 98 ,( 1.07 )
3600.04/3610.60 c input general constraints 576 ,( 6.27 )
3600.04/3610.60 c input average constraint length 9.75
3600.04/3610.60 c input average constraint degree 71.75
3600.04/3610.60 c learned clauses 68537 ,( 5.70 )
3600.04/3610.60 c learned cardinalities 6178 ,( 0.51 )
3600.04/3610.60 c learned general constraints 1128696 ,( 93.79 )
3600.04/3610.60 c learned average constraint length 1346.65
3600.04/3610.60 c learned average constraint degree 11195971425.17
3600.04/3610.60 c watched CF 32, 64, 128, Arb: 351858 , 0 , 0 , 0
3600.04/3610.60 c counting CF 32, 64, 128, Arb: 777415 , 0 , 0 , 0
3600.04/3610.60 c watched constraints 351858 ,( 31.16 )
3600.04/3610.60 c counting constraints 777414 ,( 68.84 )
3600.04/3610.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 9656484 , 9782673 , 4321597433 ,( 279049205 , 4042548228 )
3600.04/3610.60 c gcd simplifications 33299
3600.04/3610.60 c detected cardinalities 120
3600.04/3610.60 c weakened non-implied lits 643247252
3600.04/3610.60 c weakened non-implying lits 1688122
3600.04/3610.60 c original variables 8424
3600.04/3610.60 c clausal propagations 1017390
3600.04/3610.60 c cardinality propagations 63952535
3600.04/3610.60 c watched propagations 1942225
3600.04/3610.60 c counting propagations 505475863
3600.04/3610.60 c watch lookups 186587583808
3600.04/3610.60 c watch backjump lookups 0
3600.04/3610.60 c watch checks 62817465275
3600.04/3610.60 c propagation checks 118080823843
3600.04/3610.60 c constraint additions 5537358521
3600.04/3610.60 c trail pops 612936324
3600.04/3610.60 c formula constraints 9186
3600.04/3610.60 c learned constraints 1189090
3600.04/3610.60 c bound constraints 0
3600.04/3610.60 c core-guided constraints 0
3600.04/3610.60 c encountered formula constraints 3854229
3600.04/3610.60 c encountered learned constraints 2737371
3600.04/3610.60 c encountered bound constraints 0
3600.04/3610.60 c encountered core-guided constraints 0
3600.04/3610.60 c LP total time 311.862 s
3600.04/3610.60 c LP solve time 231.43 s
3600.04/3610.60 c LP constraints added 10088
3600.04/3610.60 c LP constraints removed 893
3600.04/3610.60 c LP pivots internal 1192511
3600.04/3610.60 c LP pivots root 90711
3600.04/3610.60 c LP calls 12073
3600.04/3610.60 c LP optimalities 1099
3600.04/3610.60 c LP no pivot count 357
3600.04/3610.60 c LP infeasibilities 10961
3600.04/3610.60 c LP valid Farkas constraints 10960
3600.04/3610.60 c LP learned Farkas constraints 2987
3600.04/3610.60 c LP basis resets 11
3600.04/3610.60 c LP cycling count 0
3600.04/3610.60 c LP singular count 10
3600.04/3610.60 c LP no primal count 0
3600.04/3610.60 c LP no farkas count 1
3600.04/3610.60 c LP other issue count 0
3600.04/3610.60 c LP Gomory cuts 374
3600.04/3610.60 c LP learned cuts 528
3600.04/3610.60 c LP deleted cuts 893
3600.04/3610.60 c LP encountered Gomory constraints 1593
3600.04/3610.60 c LP encountered Farkas constraints 614321
3600.04/3610.60 c LP encountered learned Farkas constraints 66039
3600.04/3610.60 c CG auxiliary variables introduced 1
3600.04/3610.60 c CG solutions found 0
3600.04/3610.60 c CG cores constructed 0
3600.04/3610.60 c CG core cardinality constraints returned 0
3600.04/3610.60 c CG unit cores 0
3600.04/3610.60 c CG single cores 0
3600.04/3610.60 c CG blocks removed during cardinality reduction 0
3600.04/3610.60 c CG first core best 0
3600.04/3610.60 c CG decision core best 0
3600.04/3610.60 c CG core reduction tie 0
3600.04/3610.60 c CG core degree average 0.00
3600.04/3610.60 c CG core slack average 0.00
3600.04/3610.60 c CG core upper bound improvements 0
3600.04/3610.60 c STR number of successful calls 0
3600.04/3610.60 c STR number of unsuccessful calls 0
3600.04/3610.60 c STR number of inconclusive calls 0
3600.04/3610.60 c STR number of successful attempts 0
3600.04/3610.60 c STR number of unsuccessful attempts 0
3600.04/3610.60 c STR number of inconclusive attempts 0
3600.04/3610.60 c STR average degree increase per successful call inf
3600.04/3610.60 c STR average degree increase per successful attempt inf
3600.04/3610.60 c STR total number of conflicts for successful attempts 0
3600.04/3610.60 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3610.60 c STR total number of conflicts for inconclusive attempts 0
3600.04/3610.60 c STR average number of conflicts per successful attempt inf
3600.04/3610.60 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3610.60 c STR average number of conflicts per inconclusive attempt inf
3600.04/3610.60 c AVG.sumWPerc 53.73
3600.04/3610.60 c bigint constraints 0
3600.04/3610.60 s UNKNOWN
3600.04/3610.60 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: 63837 MiB (41971 MiB free)
memory of node 1: 64465 MiB (63009 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498982-1751404074/watcher-4498982-1751404074 -o /tmp/evaluation-result-4498982-1751404074/solver-4498982-1751404074 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751396781-56606 --watchdog 3760 run-opt.sh HOME/instance-4498982-1751404074.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=57715, runsolver pid=57712
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 4.08 4.11 4.09 5/255 57717
/proc/meminfo: memFree=107485232/131382116 swapFree=33010160/33010684
[pid=57715] ppid=57712 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/57715/stat : 57715 (run-opt.sh) S 57712 57715 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56086614 4292608 704 18446744073709551615 94053548269568 94053549164101 140726131618368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94053549403152 94053549450896 94053555339264 140726131624301 140726131624424 140726131624424 140726131630026 0
/proc/57715/statm: 1048 704 640 219 0 110 0
[pid=57717] ppid=57715 vsize=58064 memory=13144 CPUtime=0.06 cores=5,7
/proc/57717/stat : 57717 (roundingsat) R 57715 57715 56593 0 -1 4194304 1082 0 0 0 5 1 0 0 20 0 1 0 56086615 59457536 3286 18446744073709551615 4227072 8923433 140734206777536 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 16613376 140734206785954 140734206786088 140734206786088 140734206791658 0
/proc/57717/statm: 14516 3286 1920 1147 0 1943 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 62256 KiB
Current children cumulated memory: 15960 KiB
[startup+0.213477 s]*
/proc/loadavg: 4.08 4.11 4.09 5/255 57717
/proc/meminfo: memFree=107469480/131382116 swapFree=33010160/33010684
[pid=57715] ppid=57712 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/57715/stat : 57715 (run-opt.sh) S 57712 57715 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56086614 4292608 704 18446744073709551615 94053548269568 94053549164101 140726131618368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94053549403152 94053549450896 94053555339264 140726131624301 140726131624424 140726131624424 140726131630026 0
/proc/57715/statm: 1048 704 640 219 0 110 0
[pid=57717] ppid=57715 vsize=77000 memory=26504 CPUtime=0.16 cores=5,7
/proc/57717/stat : 57717 (roundingsat) R 57715 57715 56593 0 -1 4194304 4771 0 0 0 14 2 0 0 20 0 1 0 56086615 78848000 6626 18446744073709551615 4227072 8923433 140734206777536 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 16613376 140734206785954 140734206786088 140734206786088 140734206791658 0
/proc/57717/statm: 19250 6626 2304 1147 0 6677 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 81192 KiB
Current children cumulated memory: 29320 KiB
[startup+0.321232 s]*
/proc/loadavg: 4.08 4.11 4.09 5/255 57717
/proc/meminfo: memFree=107452596/131382116 swapFree=33010160/33010684
[pid=57715] ppid=57712 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/57715/stat : 57715 (run-opt.sh) S 57712 57715 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56086614 4292608 704 18446744073709551615 94053548269568 94053549164101 140726131618368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94053549403152 94053549450896 94053555339264 140726131624301 140726131624424 140726131624424 140726131630026 0
/proc/57715/statm: 1048 704 640 219 0 110 0
[pid=57717] ppid=57715 vsize=88968 memory=37092 CPUtime=0.27 cores=5,7
/proc/57717/stat : 57717 (roundingsat) R 57715 57715 56593 0 -1 4194304 7564 0 0 0 21 6 0 0 20 0 1 0 56086615 91103232 9273 18446744073709551615 4227072 8923433 140734206777536 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 16613376 140734206785954 140734206786088 140734206786088 140734206791658 0
/proc/57717/statm: 22242 9273 2368 1147 0 9669 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 93160 KiB
Current children cumulated memory: 39908 KiB
[startup+0.700348 s]
/proc/loadavg: 4.08 4.11 4.09 7/255 57717
/proc/meminfo: memFree=107452596/131382116 swapFree=33010160/33010684
[pid=57715] ppid=57712 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/57715/stat : 57715 (run-opt.sh) S 57712 57715 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56086614 4292608 704 18446744073709551615 94053548269568 94053549164101 140726131618368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94053549403152 94053549450896 94053555339264 140726131624301 140726131624424 140726131624424 140726131630026 0
/proc/57715/statm: 1048 704 640 219 0 110 0
[pid=57717] ppid=57715 vsize=90260 memory=37604 CPUtime=0.6 cores=5,7
/proc/57717/stat : 57717 (roundingsat) R 57715 57715 56593 0 -1 4194304 7693 0 0 0 54 6 0 0 20 0 1 0 56086615 92426240 9401 18446744073709551615 4227072 8923433 140734206777536 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 16613376 140734206785954 140734206786088 140734206786088 140734206791658 0
/proc/57717/statm: 22565 9401 2368 1147 0 9992 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 94452 KiB
Current children cumulated memory: 40420 KiB
[startup+1.50033 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 57717
/proc/meminfo: memFree=107444656/131382116 swapFree=33010160/33010684
[pid=57715] ppid=57712 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/57715/stat : 57715 (run-opt.sh) S 57712 57715 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56086614 4292608 704 18446744073709551615 94053548269568 94053549164101 140726131618368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94053549403152 94053549450896 94053555339264 140726131624301 140726131624424 140726131624424 140726131630026 0
/proc/57715/statm: 1048 704 640 219 0 110 0
[pid=57717] ppid=57715 vsize=91744 memory=42032 CPUtime=1.39 cores=5,7
/proc/57717/stat : 57717 (roundingsat) R 57715 57715 56593 0 -1 4194304 8280 0 0 0 128 11 0 0 20 0 1 0 56086615 93945856 10508 18446744073709551615 4227072 8923433 140734206777536 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16613376 140734206785954 140734206786088 140734206786088 140734206791658 0
/proc/57717/statm: 22936 10508 2400 1147 0 10363 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 95936 KiB
Current children cumulated memory: 44848 KiB
[startup+3.11277 s]
/proc/loadavg: 4.15 4.13 4.09 5/255 57717
/proc/meminfo: memFree=107380592/131382116 swapFree=33010160/33010684
[pid=57715] ppid=57712 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/57715/stat : 57715 (run-opt.sh) S 57712 57715 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56086614 4292608 704 18446744073709551615 94053548269568 94053549164101 140726131618368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94053549403152 94053549450896 94053555339264 140726131624301 140726131624424 140726131624424 140726131630026 0
/proc/57715/statm: 1048 704 640 219 0 110 0
[pid=57717] ppid=57715 vsize=119940 memory=68168 CPUtime=3 cores=5,7
/proc/57717/stat : 57717 (roundingsat) R 57715 57715 56593 0 -1 4194304 13793 0 0 0 285 15 0 0 20 0 1 0 56086615 122818560 17042 18446744073709551615 4227072 8923433 140734206777536 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16613376 140734206785954 140734206786088 140734206786088 140734206791658 0
/proc/57717/statm: 29985 17042 2400 1147 0 17412 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 124132 KiB
Current children cumulated memory: 70984 KiB
[startup+6.30043 s]
/proc/loadavg: 4.15 4.13 4.09 6/255 57717
/proc/meminfo: memFree=105924588/131382116 swapFree=33010160/33010684
[pid=57715] ppid=57712 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/57715/stat : 57715 (run-opt.sh) S 57712 57715 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56086614 4292608 704 18446744073709551615 94053548269568 94053549164101 140726131618368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94053549403152 94053549450896 94053555339264 140726131624301 140726131624424 140726131624424 140726131630026 0
/proc/57715/statm: 1048 704 640 219 0 110 0
[pid=57717] ppid=57715 vsize=169904 memory=108240 CPUtime=6.18 cores=5,7
/proc/57717/stat : 57717 (roundingsat) R 57715 57715 56593 0 -1 4194304 22278 0 0 0 598 20 0 0 20 0 1 0 56086615 173981696 27060 18446744073709551615 4227072 8923433 140734206777536 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16613376 140734206785954 140734206786088 140734206786088 140734206791658 0
/proc/57717/statm: 42476 27060 2400 1147 0 29903 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 174096 KiB
Current children cumulated memory: 111056 KiB
[startup+12.7004 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 57717
/proc/meminfo: memFree=104778084/131382116 swapFree=33010160/33010684
[pid=57715] ppid=57712 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/57715/stat : 57715 (run-opt.sh) S 57712 57715 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56086614 4292608 704 18446744073709551615 94053548269568 94053549164101 140726131618368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94053549403152 94053549450896 94053555339264 140726131624301 140726131624424 140726131624424 140726131630026 0
/proc/57715/statm: 1048 704 640 219 0 110 0
[pid=57717] ppid=57715 vsize=220328 memory=165400 CPUtime=12.56 cores=5,7
/proc/57717/stat : 57717 (roundingsat) R 57715 57715 56593 0 -1 4194304 34525 0 0 0 1222 34 0 0 20 0 1 0 56086615 225615872 41350 18446744073709551615 4227072 8923433 140734206777536 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16613376 140734206785954 140734206786088 140734206786088 140734206791658 0
/proc/57717/statm: 55082 41350 2400 1147 0 42509 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 224520 KiB
Current children cumulated memory: 168216 KiB
[startup+25.5005 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 57717
/proc/meminfo: memFree=104470584/131382116 swapFree=33010160/33010684
[pid=57715] ppid=57712 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/57715/stat : 57715 (run-opt.sh) S 57712 57715 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56086614 4292608 704 18446744073709551615 94053548269568 94053549164101 140726131618368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94053549403152 94053549450896 94053555339264 140726131624301 140726131624424 140726131624424 140726131630026 0
/proc/57715/statm: 1048 704 640 219 0 110 0
[pid=57717] ppid=57715 vsize=313432 memory=238712 CPUtime=25.33 cores=5,7
/proc/57717/stat : 57717 (roundingsat) R 57715 57715 56593 0 -1 4194304 49795 0 0 0 2477 56 0 0 20 0 1 0 56086615 320954368 59678 18446744073709551615 4227072 8923433 140734206777536 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16613376 140734206785954 140734206786088 140734206786088 140734206791658 0
/proc/57717/statm: 78358 59678 2400 1147 0 65785 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 317624 KiB
Current children cumulated memory: 241528 KiB
[startup+51.1131 s]
/proc/loadavg: 4.45 4.19 4.11 5/255 57718
/proc/meminfo: memFree=103951404/131382116 swapFree=33010160/33010684
[pid=57715] ppid=57712 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/57715/stat : 57715 (run-opt.sh) S 57712 57715 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56086614 4292608 704 18446744073709551615 94053548269568 94053549164101 140726131618368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94053549403152 94053549450896 94053555339264 140726131624301 140726131624424 140726131624424 140726131630026 0
/proc/57715/statm: 1048 704 640 219 0 110 0
[pid=57717] ppid=57715 vsize=364572 memory=287868 CPUtime=50.88 cores=5,7
/proc/57717/stat : 57717 (roundingsat) R 57715 57715 56593 0 -1 4194304 61068 0 0 0 4999 89 0 0 20 0 1 0 56086615 373321728 71967 18446744073709551615 4227072 8923433 140734206777536 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16613376 140734206785954 140734206786088 140734206786088 140734206791658 0
/proc/57717/statm: 91143 71967 2400 1147 0 78570 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 368764 KiB
Current children cumulated memory: 290684 KiB
[startup+102.3 s]
/proc/loadavg: 4.25 4.17 4.11 5/257 57722
/proc/meminfo: memFree=98225960/131382116 swapFree=33010160/33010684
[pid=57715] ppid=57712 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/57715/stat : 57715 (run-opt.sh) S 57712 57715 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56086614 4292608 704 18446744073709551615 94053548269568 94053549164101 140726131618368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94053549403152 94053549450896 94053555339264 140726131624301 140726131624424 140726131624424 140726131630026 0
/proc/57715/statm: 1048 704 640 219 0 110 0
[pid=57717] ppid=57715 vsize=515672 memory=411504 CPUtime=101.91 cores=5,7
/proc/57717/stat : 57717 (roundingsat) R 57715 57715 56593 0 -1 4194304 87367 0 0 0 10036 155 0 0 20 0 1 0 56086615 528048128 102876 18446744073709551615 4227072 8923433 140734206777536 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16613376 140734206785954 140734206786088 140734206786088 140734206791658 0
/proc/57717/statm: 128918 102876 2400 1147 0 116345 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 519864 KiB
Current children cumulated memory: 414320 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/256 57728
/proc/meminfo: memFree=96429892/131382116 swapFree=33010160/33010684
[pid=57715] ppid=57712 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/57715/stat : 57715 (run-opt.sh) S 57712 57715 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56086614 4292608 704 18446744073709551615 94053548269568 94053549164101 140726131618368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94053549403152 94053549450896 94053555339264 140726131624301 140726131624424 140726131624424 140726131630026 0
/proc/57715/statm: 1048 704 640 219 0 110 0
[pid=57717] ppid=57715 vsize=695004 memory=534856 CPUtime=161.74 cores=5,7
/proc/57717/stat : 57717 (roundingsat) R 57715 57715 56593 0 -1 4194304 114662 0 0 0 15940 234 0 0 20 0 1 0 56086615 711684096 133714 18446744073709551615 4227072 8923433 140734206777536 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16613376 140734206785954 140734206786088 140734206786088 140734206791658 0
/proc/57717/statm: 173751 133714 2400 1147 0 161178 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 699196 KiB
Current children cumulated memory: 537672 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.17 4.11 5/256 57730
/proc/meminfo: memFree=95124528/131382116 swapFree=33010160/33010684
[pid=57715] ppid=57712 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/57715/stat : 57715 (run-opt.sh) S 57712 57715 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56086614 4292608 704 18446744073709551615 94053548269568 94053549164101 140726131618368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94053549403152 94053549450896 94053555339264 140726131624301 140726131624424 140726131624424 140726131630026 0
/proc/57715/statm: 1048 704 640 219 0 110 0
[pid=57717] ppid=57715 vsize=803384 memory=653136 CPUtime=221.57 cores=5,7
/proc/57717/stat : 57717 (roundingsat) R 57715 57715 56593 0 -1 4194304 140508 0 0 0 21856 301 0 0 20 0 1 0 56086615 822665216 163284 18446744073709551615 4227072 8923433 140734206777536 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16613376 140734206785954 140734206786088 140734206786088 140734206791658 0
/proc/57717/statm: 200846 163284 2528 1147 0 188273 0
################
# More data... #
################
/proc/57717/statm: 791186 657375 2528 1147 0 778613 0
Current children cumulated CPU time: 3033.43 s
Current children cumulated vsize: 3168936 KiB
Current children cumulated memory: 2632316 KiB
[startup+3102.3 s]
/proc/loadavg: 4.22 4.15 4.14 6/253 58199
/proc/meminfo: memFree=120760644/131382116 swapFree=33010160/33010684
[pid=57715] ppid=57712 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/57715/stat : 57715 (run-opt.sh) S 57712 57715 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56086614 4292608 704 18446744073709551615 94053548269568 94053549164101 140726131618368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94053549403152 94053549450896 94053555339264 140726131624301 140726131624424 140726131624424 140726131630026 0
/proc/57715/statm: 1048 704 640 219 0 110 0
[pid=57717] ppid=57715 vsize=3275084 memory=2731132 CPUtime=3093.24 cores=5,7
/proc/57717/stat : 57717 (roundingsat) R 57715 57715 56593 0 -1 4194304 556738 0 0 0 307238 2086 0 0 20 0 1 0 56086615 3353686016 682783 18446744073709551615 4227072 8923433 140734206777536 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16613376 140734206785954 140734206786088 140734206786088 140734206791658 0
/proc/57717/statm: 818771 682783 2528 1147 0 806198 0
Current children cumulated CPU time: 3093.24 s
Current children cumulated vsize: 3279276 KiB
Current children cumulated memory: 2733948 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.13 6/256 58214
/proc/meminfo: memFree=120726128/131382116 swapFree=33010160/33010684
[pid=57715] ppid=57712 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/57715/stat : 57715 (run-opt.sh) S 57712 57715 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56086614 4292608 704 18446744073709551615 94053548269568 94053549164101 140726131618368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94053549403152 94053549450896 94053555339264 140726131624301 140726131624424 140726131624424 140726131630026 0
/proc/57715/statm: 1048 704 640 219 0 110 0
[pid=57717] ppid=57715 vsize=3275084 memory=2762108 CPUtime=3153.05 cores=5,7
/proc/57717/stat : 57717 (roundingsat) R 57715 57715 56593 0 -1 4194304 556751 0 0 0 313205 2100 0 0 20 0 1 0 56086615 3353686016 690527 18446744073709551615 4227072 8923433 140734206777536 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16613376 140734206785954 140734206786088 140734206786088 140734206791658 0
/proc/57717/statm: 818771 690527 2528 1147 0 806198 0
Current children cumulated CPU time: 3153.05 s
Current children cumulated vsize: 3279276 KiB
Current children cumulated memory: 2764924 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.13 6/257 58236
/proc/meminfo: memFree=120626204/131382116 swapFree=33010160/33010684
[pid=57715] ppid=57712 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/57715/stat : 57715 (run-opt.sh) S 57712 57715 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56086614 4292608 704 18446744073709551615 94053548269568 94053549164101 140726131618368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94053549403152 94053549450896 94053555339264 140726131624301 140726131624424 140726131624424 140726131630026 0
/proc/57715/statm: 1048 704 640 219 0 110 0
[pid=57717] ppid=57715 vsize=3296032 memory=2797564 CPUtime=3212.86 cores=5,7
/proc/57717/stat : 57717 (roundingsat) R 57715 57715 56593 0 -1 4194304 560764 0 0 0 319170 2116 0 0 20 0 1 0 56086615 3375136768 699391 18446744073709551615 4227072 8923433 140734206777536 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16613376 140734206785954 140734206786088 140734206786088 140734206791658 0
/proc/57717/statm: 824008 699391 2528 1147 0 811435 0
Current children cumulated CPU time: 3212.86 s
Current children cumulated vsize: 3300224 KiB
Current children cumulated memory: 2800380 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.13 6/257 58238
/proc/meminfo: memFree=120599376/131382116 swapFree=33010160/33010684
[pid=57715] ppid=57712 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/57715/stat : 57715 (run-opt.sh) S 57712 57715 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56086614 4292608 704 18446744073709551615 94053548269568 94053549164101 140726131618368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94053549403152 94053549450896 94053555339264 140726131624301 140726131624424 140726131624424 140726131630026 0
/proc/57715/statm: 1048 704 640 219 0 110 0
[pid=57717] ppid=57715 vsize=3296032 memory=2812028 CPUtime=3272.69 cores=5,7
/proc/57717/stat : 57717 (roundingsat) R 57715 57715 56593 0 -1 4194304 560768 0 0 0 325137 2132 0 0 20 0 1 0 56086615 3375136768 703007 18446744073709551615 4227072 8923433 140734206777536 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16613376 140734206785954 140734206786088 140734206786088 140734206791658 0
/proc/57717/statm: 824008 703007 2528 1147 0 811435 0
Current children cumulated CPU time: 3272.69 s
Current children cumulated vsize: 3300224 KiB
Current children cumulated memory: 2814844 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.12 6/258 58241
/proc/meminfo: memFree=120571500/131382116 swapFree=33010160/33010684
[pid=57715] ppid=57712 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/57715/stat : 57715 (run-opt.sh) S 57712 57715 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56086614 4292608 704 18446744073709551615 94053548269568 94053549164101 140726131618368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94053549403152 94053549450896 94053555339264 140726131624301 140726131624424 140726131624424 140726131630026 0
/proc/57715/statm: 1048 704 640 219 0 110 0
[pid=57717] ppid=57715 vsize=3296976 memory=2847740 CPUtime=3332.51 cores=5,7
/proc/57717/stat : 57717 (roundingsat) R 57715 57715 56593 0 -1 4194304 561101 0 0 0 331101 2150 0 0 20 0 1 0 56086615 3376103424 711935 18446744073709551615 4227072 8923433 140734206777536 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16613376 140734206785954 140734206786088 140734206786088 140734206791658 0
/proc/57717/statm: 824244 711935 2528 1147 0 811671 0
Current children cumulated CPU time: 3332.51 s
Current children cumulated vsize: 3301168 KiB
Current children cumulated memory: 2850556 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.12 6/258 58243
/proc/meminfo: memFree=120337768/131382116 swapFree=33010160/33010684
[pid=57715] ppid=57712 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/57715/stat : 57715 (run-opt.sh) S 57712 57715 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56086614 4292608 704 18446744073709551615 94053548269568 94053549164101 140726131618368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94053549403152 94053549450896 94053555339264 140726131624301 140726131624424 140726131624424 140726131630026 0
/proc/57715/statm: 1048 704 640 219 0 110 0
[pid=57717] ppid=57715 vsize=3626860 memory=3092092 CPUtime=3392.33 cores=5,7
/proc/57717/stat : 57717 (roundingsat) R 57715 57715 56593 0 -1 4194304 622120 0 0 0 337026 2207 0 0 20 0 1 0 56086615 3713904640 773023 18446744073709551615 4227072 8923433 140734206777536 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16613376 140734206785954 140734206786088 140734206786088 140734206791658 0
/proc/57717/statm: 906715 773023 2528 1147 0 894142 0
Current children cumulated CPU time: 3392.33 s
Current children cumulated vsize: 3631052 KiB
Current children cumulated memory: 3094908 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.12 6/258 58245
/proc/meminfo: memFree=120325120/131382116 swapFree=33010160/33010684
[pid=57715] ppid=57712 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/57715/stat : 57715 (run-opt.sh) S 57712 57715 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56086614 4292608 704 18446744073709551615 94053548269568 94053549164101 140726131618368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94053549403152 94053549450896 94053555339264 140726131624301 140726131624424 140726131624424 140726131630026 0
/proc/57715/statm: 1048 704 640 219 0 110 0
[pid=57717] ppid=57715 vsize=3626860 memory=3099004 CPUtime=3452.17 cores=5,7
/proc/57717/stat : 57717 (roundingsat) R 57715 57715 56593 0 -1 4194304 622122 0 0 0 342974 2243 0 0 20 0 1 0 56086615 3713904640 774751 18446744073709551615 4227072 8923433 140734206777536 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16613376 140734206785954 140734206786088 140734206786088 140734206791658 0
/proc/57717/statm: 906715 774751 2528 1147 0 894142 0
Current children cumulated CPU time: 3452.17 s
Current children cumulated vsize: 3631052 KiB
Current children cumulated memory: 3101820 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.12 6/257 58251
/proc/meminfo: memFree=120269100/131382116 swapFree=33010160/33010684
[pid=57715] ppid=57712 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/57715/stat : 57715 (run-opt.sh) S 57712 57715 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56086614 4292608 704 18446744073709551615 94053548269568 94053549164101 140726131618368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94053549403152 94053549450896 94053555339264 140726131624301 140726131624424 140726131624424 140726131630026 0
/proc/57715/statm: 1048 704 640 219 0 110 0
[pid=57717] ppid=57715 vsize=3626860 memory=3132412 CPUtime=3512 cores=5,7
/proc/57717/stat : 57717 (roundingsat) R 57715 57715 56593 0 -1 4194304 622159 0 0 0 348940 2260 0 0 20 0 1 0 56086615 3713904640 783103 18446744073709551615 4227072 8923433 140734206777536 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16613376 140734206785954 140734206786088 140734206786088 140734206791658 0
/proc/57717/statm: 906715 783103 2528 1147 0 894142 0
Current children cumulated CPU time: 3512 s
Current children cumulated vsize: 3631052 KiB
Current children cumulated memory: 3135228 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.12 6/256 58253
/proc/meminfo: memFree=120162036/131382116 swapFree=33010160/33010684
[pid=57715] ppid=57712 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/57715/stat : 57715 (run-opt.sh) S 57712 57715 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56086614 4292608 704 18446744073709551615 94053548269568 94053549164101 140726131618368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94053549403152 94053549450896 94053555339264 140726131624301 140726131624424 140726131624424 140726131630026 0
/proc/57715/statm: 1048 704 640 219 0 110 0
[pid=57717] ppid=57715 vsize=3626860 memory=3175036 CPUtime=3571.82 cores=5,7
/proc/57717/stat : 57717 (roundingsat) R 57715 57715 56593 0 -1 4194304 622170 0 0 0 354888 2294 0 0 20 0 1 0 56086615 3713904640 793759 18446744073709551615 4227072 8923433 140734206777536 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16613376 140734206785954 140734206786088 140734206786088 140734206791658 0
/proc/57717/statm: 906715 793759 2528 1147 0 894142 0
Current children cumulated CPU time: 3571.82 s
Current children cumulated vsize: 3631052 KiB
Current children cumulated memory: 3177852 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.16 4.13 4.12 6/256 58254
/proc/meminfo: memFree=120158036/131382116 swapFree=33010160/33010684
[pid=57715] ppid=57712 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/57715/stat : 57715 (run-opt.sh) S 57712 57715 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 56086614 4292608 704 18446744073709551615 94053548269568 94053549164101 140726131618368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94053549403152 94053549450896 94053555339264 140726131624301 140726131624424 140726131624424 140726131630026 0
/proc/57715/statm: 1048 704 640 219 0 110 0
[pid=57717] ppid=57715 vsize=3626860 memory=3189372 CPUtime=3600.04 cores=5,7
/proc/57717/stat : 57717 (roundingsat) R 57715 57715 56593 0 -1 4194304 622172 0 0 0 357697 2307 0 0 20 0 1 0 56086615 3713904640 797343 18446744073709551615 4227072 8923433 140734206777536 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16613376 140734206785954 140734206786088 140734206786088 140734206791658 0
/proc/57717/statm: 906715 797343 2528 1147 0 894142 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3631052 KiB
Current children cumulated memory: 3192188 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.61 s]
# the end of solver process 57715 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.00522 s
Sleeping 2 seconds
[startup+3610.65 s]
# the end of solver process 57717 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3576.97 s, system=23.1304 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): 3610.65
CPU time (s): 3600.1
CPU user time (s): 3576.97
CPU system time (s): 23.1304
CPU usage (%): 99.708
Max. virtual memory (cumulated for all children) (KiB): 3631052
Max. memory (cumulated for all children) (KiB): 3192188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.97
system time used= 23.1304
maximum resident set size= 3189500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 622395
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= 452
involuntary context switches= 4929
# summary of solver processes directly reported to runsolver:
# pid: 57715,57717
# total CPU time (s): 3600.1
# total CPU user time (s): 3576.97
# total CPU system time (s): 23.1304
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6774 second user time and 34.4312 second system time
The end
Begin job on nodeC004 at 2025-07-01 23:07:54
IDJOB=4498982
IDBENCH=148768
IDSOLVER=3350
FILE ID=nodeC004/4498982-1751404074
RUNJOBID= nodeC004-1751396781-56606
SLURM_JOB_ID= 9598272
Free space on /tmp= 432976 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498982-1751404074/watcher-4498982-1751404074 -o /tmp/evaluation-result-4498982-1751404074/solver-4498982-1751404074 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751396781-56606 --watchdog 3760 run-opt.sh HOME/instance-4498982-1751404074.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=1844540299
nodeC004 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 : 0xb00001f
cpu MHz : 3662.672
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 3691.397
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.473
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.299
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 3546.879
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1198.095
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.208
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 107501300 kB
MemAvailable: 111353160 kB
Buffers: 2720 kB
Cached: 4602488 kB
SwapCached: 20 kB
Active: 18859044 kB
Inactive: 4276708 kB
Active(anon): 18542320 kB
Inactive(anon): 6188 kB
Active(file): 316724 kB
Inactive(file): 4270520 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8192 kB
Writeback: 0 kB
AnonPages: 18533136 kB
Mapped: 116260 kB
Shmem: 17956 kB
KReclaimable: 208488 kB
Slab: 293900 kB
SReclaimable: 208488 kB
SUnreclaim: 85412 kB
KernelStack: 4096 kB
PageTables: 41284 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 20473204 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3528704 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC004 at 2025-07-02 00:08:05