0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.08 c #variables 8424 #constraints 9186
0.00/0.08 c objective is ce32
0.00/0.09 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.09 c initial counting CF 32, 64, 128, Arb: 577 , 0 , 0 , 0
0.00/0.09 c GLOBAL bounds - >= 0 @ 0.061627
0.00/0.10 c GLOBAL bounds - >= 0 @ 0.066534
0.00/0.10 c GLOBAL bounds - >= 9 @ 0.066748
1.68/1.73 c #Conflicts: 1000 | #Constraints: 10187
1.68/1.73 c #Conflicts: 2000 | #Constraints: 11188
1.68/1.73 c INPROCESSING
1.68/1.73 c GARBAGE COLLECT
1.68/1.73 c rational objective 9
2.77/2.80 c GLOBAL bounds - >= 9 @ 2.66501
5.36/5.45 c #Conflicts: 3000 | #Constraints: 2790
5.36/5.45 c #Conflicts: 4000 | #Constraints: 3793
5.36/5.45 c INPROCESSING
5.36/5.45 c GARBAGE COLLECT
5.36/5.45 c rational objective 9
6.16/6.24 c GLOBAL bounds - >= 9 @ 6.02126
6.16/6.24 c GLOBAL bounds - >= 9 @ 6.02128
8.25/8.38 c #Conflicts: 5000 | #Constraints: 3205
8.25/8.38 c #Conflicts: 6000 | #Constraints: 4209
8.25/8.38 c INPROCESSING
8.25/8.38 c GARBAGE COLLECT
8.25/8.38 c rational objective 9
10.35/10.47 c GLOBAL bounds - >= 9 @ 10.1336
10.35/10.47 c GLOBAL bounds - >= 9 @ 10.1336
13.24/13.37 c #Conflicts: 7000 | #Constraints: 3214
13.24/13.37 c #Conflicts: 8000 | #Constraints: 4215
13.24/13.37 c #Conflicts: 9000 | #Constraints: 5215
13.24/13.37 c INPROCESSING
13.24/13.37 c GARBAGE COLLECT
13.24/13.37 c rational objective 9
14.63/14.73 c GLOBAL bounds - >= 9 @ 14.2767
14.63/14.73 c GLOBAL bounds - >= 9 @ 14.2767
18.23/18.35 c #Conflicts: 10000 | #Constraints: 3919
18.23/18.35 c #Conflicts: 11000 | #Constraints: 4921
18.23/18.35 c #Conflicts: 12000 | #Constraints: 5922
18.23/18.35 c INPROCESSING
18.23/18.35 c GARBAGE COLLECT
18.23/18.35 c rational objective 9
18.83/18.91 c GLOBAL bounds - >= 9 @ 18.3551
18.83/18.91 c GLOBAL bounds - >= 9 @ 18.3551
23.31/23.45 c #Conflicts: 13000 | #Constraints: 4364
23.31/23.45 c #Conflicts: 14000 | #Constraints: 5365
23.31/23.45 c #Conflicts: 15000 | #Constraints: 6368
23.31/23.45 c INPROCESSING
23.31/23.45 c GARBAGE COLLECT
23.31/23.45 c rational objective 9
24.01/24.13 c GLOBAL bounds - >= 9 @ 23.4456
24.01/24.13 c GLOBAL bounds - >= 9 @ 23.4456
29.99/30.10 c #Conflicts: 16000 | #Constraints: 4593
29.99/30.10 c #Conflicts: 17000 | #Constraints: 5593
29.99/30.10 c #Conflicts: 18000 | #Constraints: 6595
29.99/30.10 c INPROCESSING
29.99/30.10 c GARBAGE COLLECT
29.99/30.10 c rational objective 9
30.68/30.87 c GLOBAL bounds - >= 9 @ 30.0248
30.68/30.87 c GLOBAL bounds - >= 9 @ 30.0248
35.37/35.57 c #Conflicts: 19000 | #Constraints: 4610
35.37/35.57 c #Conflicts: 20000 | #Constraints: 5612
35.37/35.57 c #Conflicts: 21000 | #Constraints: 6614
35.37/35.57 c INPROCESSING
35.37/35.57 c GARBAGE COLLECT
35.37/35.57 c rational objective 9
36.67/36.84 c GLOBAL bounds - >= 9 @ 35.8607
36.67/36.84 c GLOBAL bounds - >= 9 @ 35.8607
41.45/41.61 c #Conflicts: 22000 | #Constraints: 4408
41.45/41.61 c #Conflicts: 23000 | #Constraints: 5411
41.45/41.61 c #Conflicts: 24000 | #Constraints: 6413
41.45/41.61 c #Conflicts: 25000 | #Constraints: 7416
41.45/41.61 c INPROCESSING
41.45/41.61 c GARBAGE COLLECT
41.45/41.61 c rational objective 9
43.05/43.26 c GLOBAL bounds - >= 9 @ 42.1248
43.05/43.26 c GLOBAL bounds - >= 9 @ 42.1248
48.43/48.68 c #Conflicts: 26000 | #Constraints: 5015
48.43/48.68 c #Conflicts: 27000 | #Constraints: 6019
48.43/48.68 c #Conflicts: 28000 | #Constraints: 7023
48.43/48.68 c #Conflicts: 29000 | #Constraints: 8024
48.43/48.68 c INPROCESSING
48.43/48.68 c GARBAGE COLLECT
48.43/48.68 c rational objective 9
49.03/49.22 c GLOBAL bounds - >= 9 @ 47.9607
49.03/49.22 c GLOBAL bounds - >= 9 @ 47.9607
52.02/52.23 c #Conflicts: 30000 | #Constraints: 5412
52.02/52.23 c #Conflicts: 31000 | #Constraints: 6413
52.02/52.23 c #Conflicts: 32000 | #Constraints: 7417
52.02/52.23 c #Conflicts: 33000 | #Constraints: 8418
52.02/52.23 c INPROCESSING
52.02/52.23 c GARBAGE COLLECT
52.02/52.23 c rational objective 9
53.01/53.23 c GLOBAL bounds - >= 9 @ 51.8909
53.01/53.23 c GLOBAL bounds - >= 9 @ 51.8909
56.91/57.10 c #Conflicts: 34000 | #Constraints: 5609
56.91/57.10 c #Conflicts: 35000 | #Constraints: 6613
56.91/57.10 c #Conflicts: 36000 | #Constraints: 7615
56.91/57.10 c #Conflicts: 37000 | #Constraints: 8622
56.91/57.10 c INPROCESSING
56.91/57.10 c GARBAGE COLLECT
56.91/57.10 c rational objective 9
57.71/57.93 c GLOBAL bounds - >= 9 @ 56.4957
57.71/57.93 c GLOBAL bounds - >= 9 @ 56.4957
64.88/65.13 c #Conflicts: 38000 | #Constraints: 5627
64.88/65.13 c #Conflicts: 39000 | #Constraints: 6633
64.88/65.13 c #Conflicts: 40000 | #Constraints: 7633
64.88/65.13 c #Conflicts: 41000 | #Constraints: 8633
64.88/65.13 c INPROCESSING
64.88/65.13 c GARBAGE COLLECT
64.88/65.13 c rational objective 9
66.47/66.77 c GLOBAL bounds - >= 9 @ 65.1859
66.47/66.77 c GLOBAL bounds - >= 9 @ 65.1859
76.24/76.58 c #Conflicts: 42000 | #Constraints: 5439
76.24/76.58 c #Conflicts: 43000 | #Constraints: 6440
76.24/76.58 c #Conflicts: 44000 | #Constraints: 7445
76.24/76.58 c #Conflicts: 45000 | #Constraints: 8449
76.24/76.58 c #Conflicts: 46000 | #Constraints: 9453
76.24/76.58 c INPROCESSING
76.24/76.58 c GARBAGE COLLECT
76.24/76.58 c rational objective 9
77.05/77.32 c GLOBAL bounds - >= 9 @ 75.4981
77.05/77.32 c GLOBAL bounds - >= 9 @ 75.4982
80.93/81.23 c #Conflicts: 47000 | #Constraints: 6033
80.93/81.23 c #Conflicts: 48000 | #Constraints: 7035
80.93/81.23 c #Conflicts: 49000 | #Constraints: 8037
80.93/81.23 c #Conflicts: 50000 | #Constraints: 9039
80.93/81.23 c #Conflicts: 51000 | #Constraints: 10039
80.93/81.23 c INPROCESSING
80.93/81.23 c GARBAGE COLLECT
80.93/81.23 c rational objective 9
82.13/82.40 c GLOBAL bounds - >= 9 @ 80.4662
82.13/82.40 c GLOBAL bounds - >= 9 @ 80.4662
86.72/87.08 c #Conflicts: 52000 | #Constraints: 6426
86.72/87.08 c #Conflicts: 53000 | #Constraints: 7426
86.72/87.08 c #Conflicts: 54000 | #Constraints: 8427
86.72/87.08 c #Conflicts: 55000 | #Constraints: 9428
86.72/87.08 c #Conflicts: 56000 | #Constraints: 10430
86.72/87.08 c INPROCESSING
86.72/87.08 c GARBAGE COLLECT
86.72/87.08 c rational objective 9
87.61/87.96 c GLOBAL bounds - >= 9 @ 85.9292
87.61/87.96 c GLOBAL bounds - >= 9 @ 85.9292
94.79/95.15 c #Conflicts: 57000 | #Constraints: 6624
94.79/95.15 c #Conflicts: 58000 | #Constraints: 7625
94.79/95.15 c #Conflicts: 59000 | #Constraints: 8626
94.79/95.15 c #Conflicts: 60000 | #Constraints: 9627
94.79/95.15 c #Conflicts: 61000 | #Constraints: 10627
94.79/95.15 c INPROCESSING
94.79/95.15 c GARBAGE COLLECT
94.79/95.15 c rational objective 9
95.69/96.04 c GLOBAL bounds - >= 9 @ 93.8608
95.69/96.04 c GLOBAL bounds - >= 9 @ 93.8608
104.26/104.69 c #Conflicts: 62000 | #Constraints: 6619
104.26/104.69 c #Conflicts: 63000 | #Constraints: 7624
104.26/104.69 c #Conflicts: 64000 | #Constraints: 8631
104.26/104.69 c #Conflicts: 65000 | #Constraints: 9633
104.26/104.69 c #Conflicts: 66000 | #Constraints: 10635
104.26/104.69 c INPROCESSING
104.26/104.69 c GARBAGE COLLECT
104.26/104.69 c rational objective 9
104.96/105.38 c GLOBAL bounds - >= 9 @ 103.001
104.96/105.38 c GLOBAL bounds - >= 9 @ 103.001
111.52/111.97 c #Conflicts: 67000 | #Constraints: 6429
111.52/111.97 c #Conflicts: 68000 | #Constraints: 7430
111.52/111.97 c #Conflicts: 69000 | #Constraints: 8430
111.52/111.97 c #Conflicts: 70000 | #Constraints: 9430
111.52/111.97 c #Conflicts: 71000 | #Constraints: 10431
111.52/111.97 c #Conflicts: 72000 | #Constraints: 11432
111.52/111.97 c INPROCESSING
111.52/111.97 c GARBAGE COLLECT
111.52/111.97 c rational objective 9
112.82/113.20 c GLOBAL bounds - >= 9 @ 110.658
112.82/113.20 c GLOBAL bounds - >= 9 @ 110.658
118.90/119.38 c #Conflicts: 73000 | #Constraints: 7022
118.90/119.38 c #Conflicts: 74000 | #Constraints: 8024
118.90/119.38 c #Conflicts: 75000 | #Constraints: 9026
118.90/119.38 c #Conflicts: 76000 | #Constraints: 10026
118.90/119.38 c #Conflicts: 77000 | #Constraints: 11028
118.90/119.38 c #Conflicts: 78000 | #Constraints: 12029
118.90/119.38 c INPROCESSING
118.90/119.38 c GARBAGE COLLECT
118.90/119.38 c rational objective 9
119.70/120.19 c GLOBAL bounds - >= 9 @ 117.451
119.70/120.19 c GLOBAL bounds - >= 9 @ 117.451
129.37/129.81 c #Conflicts: 79000 | #Constraints: 7416
129.37/129.81 c #Conflicts: 80000 | #Constraints: 8417
129.37/129.81 c #Conflicts: 81000 | #Constraints: 9419
129.37/129.81 c #Conflicts: 82000 | #Constraints: 10420
129.37/129.81 c #Conflicts: 83000 | #Constraints: 11421
129.37/129.81 c #Conflicts: 84000 | #Constraints: 12422
129.37/129.81 c INPROCESSING
129.37/129.81 c GARBAGE COLLECT
129.37/129.81 c rational objective 9
130.46/130.90 c GLOBAL bounds - >= 9 @ 127.918
130.46/130.90 c GLOBAL bounds - >= 9 @ 127.918
139.53/140.06 c #Conflicts: 85000 | #Constraints: 7618
139.53/140.06 c #Conflicts: 86000 | #Constraints: 8619
139.53/140.06 c #Conflicts: 87000 | #Constraints: 9620
139.53/140.06 c #Conflicts: 88000 | #Constraints: 10621
139.53/140.06 c #Conflicts: 89000 | #Constraints: 11622
139.53/140.06 c #Conflicts: 90000 | #Constraints: 12625
139.53/140.06 c INPROCESSING
139.53/140.06 c GARBAGE COLLECT
139.53/140.06 c rational objective 9
140.73/141.26 c GLOBAL bounds - >= 9 @ 138.003
140.73/141.26 c GLOBAL bounds - >= 9 @ 138.003
153.78/154.39 c #Conflicts: 91000 | #Constraints: 7613
153.78/154.39 c #Conflicts: 92000 | #Constraints: 8615
153.78/154.39 c #Conflicts: 93000 | #Constraints: 9616
153.78/154.39 c #Conflicts: 94000 | #Constraints: 10620
153.78/154.39 c #Conflicts: 95000 | #Constraints: 11622
153.78/154.39 c #Conflicts: 96000 | #Constraints: 12624
153.78/154.39 c INPROCESSING
153.78/154.39 c GARBAGE COLLECT
153.78/154.39 c rational objective 9
154.48/155.06 c GLOBAL bounds - >= 9 @ 151.495
154.48/155.06 c GLOBAL bounds - >= 9 @ 151.495
165.83/166.48 c #Conflicts: 97000 | #Constraints: 7434
165.83/166.48 c #Conflicts: 98000 | #Constraints: 8436
165.83/166.48 c #Conflicts: 99000 | #Constraints: 9437
165.83/166.48 c #Conflicts: 100000 | #Constraints: 10439
165.83/166.48 c #Conflicts: 101000 | #Constraints: 11445
165.83/166.48 c #Conflicts: 102000 | #Constraints: 12450
165.83/166.48 c #Conflicts: 103000 | #Constraints: 13451
165.83/166.48 c INPROCESSING
165.83/166.48 c GARBAGE COLLECT
165.83/166.48 c rational objective 9
166.54/167.19 c GLOBAL bounds - >= 9 @ 163.253
166.54/167.19 c GLOBAL bounds - >= 9 @ 163.253
177.69/178.36 c #Conflicts: 104000 | #Constraints: 8034
177.69/178.36 c #Conflicts: 105000 | #Constraints: 9036
177.69/178.36 c #Conflicts: 106000 | #Constraints: 10037
177.69/178.36 c #Conflicts: 107000 | #Constraints: 11038
177.69/178.36 c #Conflicts: 108000 | #Constraints: 12041
177.69/178.36 c #Conflicts: 109000 | #Constraints: 13045
177.69/178.36 c #Conflicts: 110000 | #Constraints: 14046
177.69/178.36 c INPROCESSING
177.69/178.36 c GARBAGE COLLECT
177.69/178.36 c rational objective 9
178.39/179.05 c GLOBAL bounds - >= 9 @ 174.819
178.39/179.05 c GLOBAL bounds - >= 9 @ 174.819
190.25/191.00 c #Conflicts: 111000 | #Constraints: 8444
190.25/191.00 c #Conflicts: 112000 | #Constraints: 9448
190.25/191.00 c #Conflicts: 113000 | #Constraints: 10448
190.25/191.00 c #Conflicts: 114000 | #Constraints: 11449
190.25/191.00 c #Conflicts: 115000 | #Constraints: 12452
190.25/191.00 c #Conflicts: 116000 | #Constraints: 13455
190.25/191.00 c #Conflicts: 117000 | #Constraints: 14459
190.25/191.00 c INPROCESSING
190.25/191.00 c GARBAGE COLLECT
190.25/191.00 c rational objective 9
191.25/192.00 c GLOBAL bounds - >= 9 @ 187.495
191.25/192.00 c GLOBAL bounds - >= 9 @ 187.495
201.02/201.72 c #Conflicts: 118000 | #Constraints: 8638
201.02/201.72 c #Conflicts: 119000 | #Constraints: 9641
201.02/201.72 c #Conflicts: 120000 | #Constraints: 10641
201.02/201.72 c #Conflicts: 121000 | #Constraints: 11641
201.02/201.72 c #Conflicts: 122000 | #Constraints: 12641
201.02/201.72 c #Conflicts: 123000 | #Constraints: 13642
201.02/201.72 c #Conflicts: 124000 | #Constraints: 14644
201.02/201.72 c INPROCESSING
201.02/201.72 c GARBAGE COLLECT
201.02/201.72 c rational objective 9
202.92/203.60 c GLOBAL bounds - >= 9 @ 198.92
202.92/203.60 c GLOBAL bounds - >= 9 @ 198.92
214.09/214.87 c #Conflicts: 125000 | #Constraints: 8634
214.09/214.87 c #Conflicts: 126000 | #Constraints: 9637
214.09/214.87 c #Conflicts: 127000 | #Constraints: 10641
214.09/214.87 c #Conflicts: 128000 | #Constraints: 11645
214.09/214.87 c #Conflicts: 129000 | #Constraints: 12646
214.09/214.87 c #Conflicts: 130000 | #Constraints: 13649
214.09/214.87 c #Conflicts: 131000 | #Constraints: 14653
214.09/214.87 c INPROCESSING
214.09/214.87 c GARBAGE COLLECT
214.09/214.87 c rational objective 9
214.88/215.69 c GLOBAL bounds - >= 9 @ 210.783
214.88/215.69 c GLOBAL bounds - >= 9 @ 210.783
231.03/231.80 c #Conflicts: 132000 | #Constraints: 8437
231.03/231.80 c #Conflicts: 133000 | #Constraints: 9438
231.03/231.80 c #Conflicts: 134000 | #Constraints: 10440
231.03/231.80 c #Conflicts: 135000 | #Constraints: 11443
231.03/231.80 c #Conflicts: 136000 | #Constraints: 12446
231.03/231.80 c #Conflicts: 137000 | #Constraints: 13447
231.03/231.80 c #Conflicts: 138000 | #Constraints: 14448
231.03/231.80 c #Conflicts: 139000 | #Constraints: 15451
231.03/231.80 c INPROCESSING
231.03/231.80 c GARBAGE COLLECT
231.03/231.80 c rational objective 9
232.12/232.93 c GLOBAL bounds - >= 9 @ 227.739
232.12/232.93 c GLOBAL bounds - >= 9 @ 227.739
245.07/245.98 c #Conflicts: 140000 | #Constraints: 9038
245.07/245.98 c #Conflicts: 141000 | #Constraints: 10042
245.07/245.98 c #Conflicts: 142000 | #Constraints: 11045
245.07/245.98 c #Conflicts: 143000 | #Constraints: 12048
245.07/245.98 c #Conflicts: 144000 | #Constraints: 13052
245.07/245.98 c #Conflicts: 145000 | #Constraints: 14054
245.07/245.98 c #Conflicts: 146000 | #Constraints: 15056
245.07/245.98 c #Conflicts: 147000 | #Constraints: 16058
245.07/245.98 c INPROCESSING
245.07/245.98 c GARBAGE COLLECT
245.07/245.98 c rational objective 9
245.58/246.46 c GLOBAL bounds - >= 9 @ 240.955
245.58/246.46 c GLOBAL bounds - >= 9 @ 240.955
263.32/264.29 c #Conflicts: 148000 | #Constraints: 9443
263.32/264.29 c #Conflicts: 149000 | #Constraints: 10444
263.32/264.29 c #Conflicts: 150000 | #Constraints: 11445
263.32/264.29 c #Conflicts: 151000 | #Constraints: 12446
263.32/264.29 c #Conflicts: 152000 | #Constraints: 13447
263.32/264.29 c #Conflicts: 153000 | #Constraints: 14450
263.32/264.29 c #Conflicts: 154000 | #Constraints: 15451
263.32/264.29 c #Conflicts: 155000 | #Constraints: 16454
263.32/264.29 c INPROCESSING
263.32/264.29 c GARBAGE COLLECT
263.32/264.29 c rational objective 9
264.02/264.94 c GLOBAL bounds - >= 9 @ 259.081
264.02/264.94 c GLOBAL bounds - >= 9 @ 259.081
282.17/283.12 c #Conflicts: 156000 | #Constraints: 9642
282.17/283.12 c #Conflicts: 157000 | #Constraints: 10643
282.17/283.12 c #Conflicts: 158000 | #Constraints: 11643
282.17/283.12 c #Conflicts: 159000 | #Constraints: 12643
282.17/283.12 c #Conflicts: 160000 | #Constraints: 13643
282.17/283.12 c #Conflicts: 161000 | #Constraints: 14644
282.17/283.12 c #Conflicts: 162000 | #Constraints: 15645
282.17/283.12 c #Conflicts: 163000 | #Constraints: 16646
282.17/283.12 c INPROCESSING
282.17/283.12 c GARBAGE COLLECT
282.17/283.12 c rational objective 9
283.36/284.35 c GLOBAL bounds - >= 9 @ 278.128
283.36/284.35 c GLOBAL bounds - >= 9 @ 278.128
301.30/302.38 c #Conflicts: 164000 | #Constraints: 9629
301.30/302.38 c #Conflicts: 165000 | #Constraints: 10630
301.30/302.38 c #Conflicts: 166000 | #Constraints: 11631
301.30/302.38 c #Conflicts: 167000 | #Constraints: 12633
301.30/302.38 c #Conflicts: 168000 | #Constraints: 13638
301.30/302.38 c #Conflicts: 169000 | #Constraints: 14642
301.30/302.38 c #Conflicts: 170000 | #Constraints: 15648
301.30/302.38 c #Conflicts: 171000 | #Constraints: 16652
301.30/302.38 c INPROCESSING
301.30/302.38 c GARBAGE COLLECT
301.30/302.38 c rational objective 9
302.40/303.44 c GLOBAL bounds - >= 9 @ 296.832
302.40/303.44 c GLOBAL bounds - >= 9 @ 296.832
313.46/314.55 c #Conflicts: 172000 | #Constraints: 9439
313.46/314.55 c #Conflicts: 173000 | #Constraints: 10443
313.46/314.55 c #Conflicts: 174000 | #Constraints: 11444
313.46/314.55 c #Conflicts: 175000 | #Constraints: 12447
313.46/314.55 c #Conflicts: 176000 | #Constraints: 13450
313.46/314.55 c #Conflicts: 177000 | #Constraints: 14453
313.46/314.55 c #Conflicts: 178000 | #Constraints: 15456
313.46/314.55 c #Conflicts: 179000 | #Constraints: 16459
313.46/314.55 c #Conflicts: 180000 | #Constraints: 17462
313.46/314.55 c INPROCESSING
313.46/314.55 c GARBAGE COLLECT
313.46/314.55 c rational objective 9
314.26/315.31 c GLOBAL bounds - >= 9 @ 308.453
314.26/315.31 c GLOBAL bounds - >= 9 @ 308.453
335.50/336.61 c #Conflicts: 181000 | #Constraints: 10042
335.50/336.61 c #Conflicts: 182000 | #Constraints: 11043
335.50/336.61 c #Conflicts: 183000 | #Constraints: 12044
335.50/336.61 c #Conflicts: 184000 | #Constraints: 13046
335.50/336.61 c #Conflicts: 185000 | #Constraints: 14048
335.50/336.61 c #Conflicts: 186000 | #Constraints: 15050
335.50/336.61 c #Conflicts: 187000 | #Constraints: 16050
335.50/336.61 c #Conflicts: 188000 | #Constraints: 17051
335.50/336.61 c #Conflicts: 189000 | #Constraints: 18052
335.50/336.61 c INPROCESSING
335.50/336.61 c GARBAGE COLLECT
335.50/336.61 c rational objective 9
336.59/337.70 c GLOBAL bounds - >= 9 @ 330.536
336.59/337.70 c GLOBAL bounds - >= 9 @ 330.536
351.85/353.09 c #Conflicts: 190000 | #Constraints: 10469
351.85/353.09 c #Conflicts: 191000 | #Constraints: 11474
351.85/353.09 c #Conflicts: 192000 | #Constraints: 12476
351.85/353.09 c #Conflicts: 193000 | #Constraints: 13481
351.85/353.09 c #Conflicts: 194000 | #Constraints: 14485
351.85/353.09 c #Conflicts: 195000 | #Constraints: 15491
351.85/353.09 c #Conflicts: 196000 | #Constraints: 16495
351.85/353.09 c #Conflicts: 197000 | #Constraints: 17499
351.85/353.09 c #Conflicts: 198000 | #Constraints: 18502
351.85/353.09 c INPROCESSING
351.85/353.09 c GARBAGE COLLECT
351.85/353.09 c rational objective 9
352.84/354.08 c GLOBAL bounds - >= 9 @ 346.6
352.84/354.08 c GLOBAL bounds - >= 9 @ 346.6
378.64/379.93 c #Conflicts: 199000 | #Constraints: 10679
378.64/379.93 c #Conflicts: 200000 | #Constraints: 11681
378.64/379.93 c #Conflicts: 201000 | #Constraints: 12683
378.64/379.93 c #Conflicts: 202000 | #Constraints: 13687
378.64/379.93 c #Conflicts: 203000 | #Constraints: 14690
378.64/379.93 c #Conflicts: 204000 | #Constraints: 15697
378.64/379.93 c #Conflicts: 205000 | #Constraints: 16700
378.64/379.93 c #Conflicts: 206000 | #Constraints: 17704
378.64/379.93 c #Conflicts: 207000 | #Constraints: 18704
378.64/379.93 c INPROCESSING
378.64/379.93 c GARBAGE COLLECT
378.64/379.93 c rational objective 9
379.54/380.89 c GLOBAL bounds - >= 9 @ 372.929
379.54/380.89 c GLOBAL bounds - >= 9 @ 372.929
401.47/402.88 c #Conflicts: 208000 | #Constraints: 10681
401.47/402.88 c #Conflicts: 209000 | #Constraints: 11684
401.47/402.88 c #Conflicts: 210000 | #Constraints: 12686
401.47/402.88 c #Conflicts: 211000 | #Constraints: 13688
401.47/402.88 c #Conflicts: 212000 | #Constraints: 14691
401.47/402.88 c #Conflicts: 213000 | #Constraints: 15693
401.47/402.88 c #Conflicts: 214000 | #Constraints: 16694
401.47/402.88 c #Conflicts: 215000 | #Constraints: 17697
401.47/402.88 c #Conflicts: 216000 | #Constraints: 18700
401.47/402.88 c INPROCESSING
401.47/402.88 c GARBAGE COLLECT
401.47/402.88 c rational objective 9
402.27/403.61 c GLOBAL bounds - >= 9 @ 395.279
402.27/403.61 c GLOBAL bounds - >= 9 @ 395.279
419.00/420.42 c #Conflicts: 217000 | #Constraints: 10493
419.00/420.42 c #Conflicts: 218000 | #Constraints: 11494
419.00/420.42 c #Conflicts: 219000 | #Constraints: 12495
419.00/420.42 c #Conflicts: 220000 | #Constraints: 13499
419.00/420.42 c #Conflicts: 221000 | #Constraints: 14500
419.00/420.42 c #Conflicts: 222000 | #Constraints: 15502
419.00/420.42 c #Conflicts: 223000 | #Constraints: 16502
419.00/420.42 c #Conflicts: 224000 | #Constraints: 17502
419.00/420.42 c #Conflicts: 225000 | #Constraints: 18502
419.00/420.42 c #Conflicts: 226000 | #Constraints: 19503
419.00/420.42 c INPROCESSING
419.00/420.42 c GARBAGE COLLECT
419.00/420.42 c rational objective 9
420.50/421.96 c GLOBAL bounds - >= 9 @ 413.346
420.50/421.96 c GLOBAL bounds - >= 9 @ 413.346
444.43/445.93 c #Conflicts: 227000 | #Constraints: 11063
444.43/445.93 c #Conflicts: 228000 | #Constraints: 12066
444.43/445.93 c #Conflicts: 229000 | #Constraints: 13068
444.43/445.93 c #Conflicts: 230000 | #Constraints: 14072
444.43/445.93 c #Conflicts: 231000 | #Constraints: 15074
444.43/445.93 c #Conflicts: 232000 | #Constraints: 16077
444.43/445.93 c #Conflicts: 233000 | #Constraints: 17079
444.43/445.93 c #Conflicts: 234000 | #Constraints: 18081
444.43/445.93 c #Conflicts: 235000 | #Constraints: 19084
444.43/445.93 c #Conflicts: 236000 | #Constraints: 20086
444.43/445.93 c INPROCESSING
444.43/445.93 c GARBAGE COLLECT
444.43/445.93 c rational objective 9
445.23/446.72 c GLOBAL bounds - >= 9 @ 437.735
445.23/446.72 c GLOBAL bounds - >= 9 @ 437.735
474.44/476.03 c #Conflicts: 237000 | #Constraints: 11452
474.44/476.03 c #Conflicts: 238000 | #Constraints: 12456
474.44/476.03 c #Conflicts: 239000 | #Constraints: 13462
474.44/476.03 c #Conflicts: 240000 | #Constraints: 14465
474.44/476.03 c #Conflicts: 241000 | #Constraints: 15468
474.44/476.03 c #Conflicts: 242000 | #Constraints: 16472
474.44/476.03 c #Conflicts: 243000 | #Constraints: 17477
474.44/476.03 c #Conflicts: 244000 | #Constraints: 18479
474.44/476.03 c #Conflicts: 245000 | #Constraints: 19483
474.44/476.03 c #Conflicts: 246000 | #Constraints: 20484
474.44/476.03 c INPROCESSING
474.44/476.03 c GARBAGE COLLECT
474.44/476.03 c rational objective 9
474.93/476.56 c GLOBAL bounds - >= 9 @ 467.188
474.93/476.56 c GLOBAL bounds - >= 9 @ 467.188
489.99/491.60 c #Conflicts: 247000 | #Constraints: 11659
489.99/491.60 c #Conflicts: 248000 | #Constraints: 12660
489.99/491.60 c #Conflicts: 249000 | #Constraints: 13660
489.99/491.60 c #Conflicts: 250000 | #Constraints: 14662
489.99/491.60 c #Conflicts: 251000 | #Constraints: 15664
489.99/491.60 c #Conflicts: 252000 | #Constraints: 16665
489.99/491.60 c #Conflicts: 253000 | #Constraints: 17667
489.99/491.60 c #Conflicts: 254000 | #Constraints: 18668
489.99/491.60 c #Conflicts: 255000 | #Constraints: 19670
489.99/491.60 c #Conflicts: 256000 | #Constraints: 20672
489.99/491.60 c INPROCESSING
489.99/491.60 c GARBAGE COLLECT
489.99/491.60 c rational objective 9
491.39/493.02 c GLOBAL bounds - >= 9 @ 483.374
491.39/493.02 c GLOBAL bounds - >= 9 @ 483.374
508.24/509.97 c #Conflicts: 257000 | #Constraints: 11656
508.24/509.97 c #Conflicts: 258000 | #Constraints: 12658
508.24/509.97 c #Conflicts: 259000 | #Constraints: 13661
508.24/509.97 c #Conflicts: 260000 | #Constraints: 14663
508.24/509.97 c #Conflicts: 261000 | #Constraints: 15665
508.24/509.97 c #Conflicts: 262000 | #Constraints: 16665
508.24/509.97 c #Conflicts: 263000 | #Constraints: 17665
508.24/509.97 c #Conflicts: 264000 | #Constraints: 18666
508.24/509.97 c #Conflicts: 265000 | #Constraints: 19667
508.24/509.97 c #Conflicts: 266000 | #Constraints: 20668
508.24/509.97 c INPROCESSING
508.24/509.97 c GARBAGE COLLECT
508.24/509.97 c rational objective 9
509.23/510.90 c GLOBAL bounds - >= 9 @ 500.952
509.23/510.90 c GLOBAL bounds - >= 9 @ 500.952
535.05/536.81 c #Conflicts: 267000 | #Constraints: 11465
535.05/536.81 c #Conflicts: 268000 | #Constraints: 12474
535.05/536.81 c #Conflicts: 269000 | #Constraints: 13476
535.05/536.81 c #Conflicts: 270000 | #Constraints: 14477
535.05/536.81 c #Conflicts: 271000 | #Constraints: 15480
535.05/536.81 c #Conflicts: 272000 | #Constraints: 16483
535.05/536.81 c #Conflicts: 273000 | #Constraints: 17485
535.05/536.81 c #Conflicts: 274000 | #Constraints: 18488
535.05/536.81 c #Conflicts: 275000 | #Constraints: 19491
535.05/536.81 c #Conflicts: 276000 | #Constraints: 20493
535.05/536.81 c #Conflicts: 277000 | #Constraints: 21494
535.05/536.81 c INPROCESSING
535.05/536.81 c GARBAGE COLLECT
535.05/536.81 c rational objective 9
536.25/538.01 c GLOBAL bounds - >= 9 @ 527.688
536.25/538.01 c GLOBAL bounds - >= 9 @ 527.688
557.69/559.59 c #Conflicts: 278000 | #Constraints: 12054
557.69/559.59 c #Conflicts: 279000 | #Constraints: 13055
557.69/559.59 c #Conflicts: 280000 | #Constraints: 14056
557.69/559.59 c #Conflicts: 281000 | #Constraints: 15059
557.69/559.59 c #Conflicts: 282000 | #Constraints: 16062
557.69/559.59 c #Conflicts: 283000 | #Constraints: 17062
557.69/559.59 c #Conflicts: 284000 | #Constraints: 18065
557.69/559.59 c #Conflicts: 285000 | #Constraints: 19066
557.69/559.59 c #Conflicts: 286000 | #Constraints: 20068
557.69/559.59 c #Conflicts: 287000 | #Constraints: 21068
557.69/559.59 c #Conflicts: 288000 | #Constraints: 22068
557.69/559.59 c INPROCESSING
557.69/559.59 c GARBAGE COLLECT
557.69/559.59 c rational objective 9
558.88/560.71 c GLOBAL bounds - >= 9 @ 550.062
558.88/560.71 c GLOBAL bounds - >= 9 @ 550.062
582.61/584.58 c #Conflicts: 289000 | #Constraints: 12438
582.61/584.58 c #Conflicts: 290000 | #Constraints: 13439
582.61/584.58 c #Conflicts: 291000 | #Constraints: 14441
582.61/584.58 c #Conflicts: 292000 | #Constraints: 15443
582.61/584.58 c #Conflicts: 293000 | #Constraints: 16446
582.61/584.58 c #Conflicts: 294000 | #Constraints: 17448
582.61/584.58 c #Conflicts: 295000 | #Constraints: 18450
582.61/584.58 c #Conflicts: 296000 | #Constraints: 19454
582.61/584.58 c #Conflicts: 297000 | #Constraints: 20459
582.61/584.58 c #Conflicts: 298000 | #Constraints: 21459
582.61/584.58 c #Conflicts: 299000 | #Constraints: 22460
582.61/584.58 c INPROCESSING
582.61/584.58 c GARBAGE COLLECT
582.61/584.58 c rational objective 9
583.20/585.16 c GLOBAL bounds - >= 9 @ 574.156
583.20/585.16 c GLOBAL bounds - >= 9 @ 574.157
613.01/615.01 c #Conflicts: 300000 | #Constraints: 12646
613.01/615.01 c #Conflicts: 301000 | #Constraints: 13647
613.01/615.01 c #Conflicts: 302000 | #Constraints: 14649
613.01/615.01 c #Conflicts: 303000 | #Constraints: 15650
613.01/615.01 c #Conflicts: 304000 | #Constraints: 16653
613.01/615.01 c #Conflicts: 305000 | #Constraints: 17656
613.01/615.01 c #Conflicts: 306000 | #Constraints: 18663
613.01/615.01 c #Conflicts: 307000 | #Constraints: 19666
613.01/615.01 c #Conflicts: 308000 | #Constraints: 20669
613.01/615.01 c #Conflicts: 309000 | #Constraints: 21670
613.01/615.01 c #Conflicts: 310000 | #Constraints: 22672
613.01/615.01 c INPROCESSING
613.01/615.01 c GARBAGE COLLECT
613.01/615.01 c rational objective 9
613.50/615.55 c GLOBAL bounds - >= 9 @ 604.156
613.50/615.55 c GLOBAL bounds - >= 9 @ 604.156
640.33/642.41 c #Conflicts: 311000 | #Constraints: 12648
640.33/642.41 c #Conflicts: 312000 | #Constraints: 13653
640.33/642.41 c #Conflicts: 313000 | #Constraints: 14655
640.33/642.41 c #Conflicts: 314000 | #Constraints: 15656
640.33/642.41 c #Conflicts: 315000 | #Constraints: 16659
640.33/642.41 c #Conflicts: 316000 | #Constraints: 17661
640.33/642.41 c #Conflicts: 317000 | #Constraints: 18662
640.33/642.41 c #Conflicts: 318000 | #Constraints: 19663
640.33/642.41 c #Conflicts: 319000 | #Constraints: 20664
640.33/642.41 c #Conflicts: 320000 | #Constraints: 21667
640.33/642.41 c #Conflicts: 321000 | #Constraints: 22671
640.33/642.41 c INPROCESSING
640.33/642.41 c GARBAGE COLLECT
640.33/642.41 c rational objective 9
641.32/643.48 c GLOBAL bounds - >= 9 @ 631.65
641.32/643.48 c GLOBAL bounds - >= 9 @ 631.65
675.13/677.36 c #Conflicts: 322000 | #Constraints: 12450
675.13/677.36 c #Conflicts: 323000 | #Constraints: 13451
675.13/677.36 c #Conflicts: 324000 | #Constraints: 14454
675.13/677.36 c #Conflicts: 325000 | #Constraints: 15457
675.13/677.36 c #Conflicts: 326000 | #Constraints: 16462
675.13/677.36 c #Conflicts: 327000 | #Constraints: 17465
675.13/677.36 c #Conflicts: 328000 | #Constraints: 18468
675.13/677.36 c #Conflicts: 329000 | #Constraints: 19470
675.13/677.36 c #Conflicts: 330000 | #Constraints: 20474
675.13/677.36 c #Conflicts: 331000 | #Constraints: 21476
675.13/677.36 c #Conflicts: 332000 | #Constraints: 22480
675.13/677.36 c #Conflicts: 333000 | #Constraints: 23483
675.13/677.36 c INPROCESSING
675.13/677.36 c GARBAGE COLLECT
675.13/677.36 c rational objective 9
675.82/678.09 c GLOBAL bounds - >= 9 @ 665.75
675.82/678.09 c GLOBAL bounds - >= 9 @ 665.75
703.05/705.35 c #Conflicts: 334000 | #Constraints: 13049
703.05/705.35 c #Conflicts: 335000 | #Constraints: 14051
703.05/705.35 c #Conflicts: 336000 | #Constraints: 15057
703.05/705.35 c #Conflicts: 337000 | #Constraints: 16057
703.05/705.35 c #Conflicts: 338000 | #Constraints: 17059
703.05/705.35 c #Conflicts: 339000 | #Constraints: 18059
703.05/705.35 c #Conflicts: 340000 | #Constraints: 19063
703.05/705.35 c #Conflicts: 341000 | #Constraints: 20063
703.05/705.35 c #Conflicts: 342000 | #Constraints: 21065
703.05/705.35 c #Conflicts: 343000 | #Constraints: 22067
703.05/705.35 c #Conflicts: 344000 | #Constraints: 23069
703.05/705.35 c #Conflicts: 345000 | #Constraints: 24072
703.05/705.35 c INPROCESSING
703.05/705.35 c GARBAGE COLLECT
703.05/705.35 c rational objective 9
703.85/706.13 c GLOBAL bounds - >= 9 @ 693.372
703.85/706.13 c GLOBAL bounds - >= 9 @ 693.372
724.19/726.57 c #Conflicts: 346000 | #Constraints: 13446
724.19/726.57 c #Conflicts: 347000 | #Constraints: 14448
724.19/726.57 c #Conflicts: 348000 | #Constraints: 15453
724.19/726.57 c #Conflicts: 349000 | #Constraints: 16456
724.19/726.57 c #Conflicts: 350000 | #Constraints: 17459
724.19/726.57 c #Conflicts: 351000 | #Constraints: 18462
724.19/726.57 c #Conflicts: 352000 | #Constraints: 19467
724.19/726.57 c #Conflicts: 353000 | #Constraints: 20468
724.19/726.57 c #Conflicts: 354000 | #Constraints: 21468
724.19/726.57 c #Conflicts: 355000 | #Constraints: 22469
724.19/726.57 c #Conflicts: 356000 | #Constraints: 23470
724.19/726.57 c #Conflicts: 357000 | #Constraints: 24472
724.19/726.57 c INPROCESSING
724.19/726.57 c GARBAGE COLLECT
724.19/726.57 c rational objective 9
724.99/727.38 c GLOBAL bounds - >= 9 @ 714.309
724.99/727.38 c GLOBAL bounds - >= 9 @ 714.309
749.22/751.66 c #Conflicts: 358000 | #Constraints: 13644
749.22/751.66 c #Conflicts: 359000 | #Constraints: 14648
749.22/751.66 c #Conflicts: 360000 | #Constraints: 15650
749.22/751.66 c #Conflicts: 361000 | #Constraints: 16652
749.22/751.66 c #Conflicts: 362000 | #Constraints: 17654
749.22/751.66 c #Conflicts: 363000 | #Constraints: 18656
749.22/751.66 c #Conflicts: 364000 | #Constraints: 19662
749.22/751.66 c #Conflicts: 365000 | #Constraints: 20666
749.22/751.66 c #Conflicts: 366000 | #Constraints: 21667
749.22/751.66 c #Conflicts: 367000 | #Constraints: 22669
749.22/751.66 c #Conflicts: 368000 | #Constraints: 23671
749.22/751.66 c #Conflicts: 369000 | #Constraints: 24674
749.22/751.66 c INPROCESSING
749.22/751.66 c GARBAGE COLLECT
749.22/751.66 c rational objective 9
749.92/752.39 c GLOBAL bounds - >= 9 @ 738.899
749.92/752.39 c GLOBAL bounds - >= 9 @ 738.899
780.54/783.05 c #Conflicts: 370000 | #Constraints: 13655
780.54/783.05 c #Conflicts: 371000 | #Constraints: 14657
780.54/783.05 c #Conflicts: 372000 | #Constraints: 15658
780.54/783.05 c #Conflicts: 373000 | #Constraints: 16660
780.54/783.05 c #Conflicts: 374000 | #Constraints: 17661
780.54/783.05 c #Conflicts: 375000 | #Constraints: 18664
780.54/783.05 c #Conflicts: 376000 | #Constraints: 19666
780.54/783.05 c #Conflicts: 377000 | #Constraints: 20669
780.54/783.05 c #Conflicts: 378000 | #Constraints: 21673
780.54/783.05 c #Conflicts: 379000 | #Constraints: 22675
780.54/783.05 c #Conflicts: 380000 | #Constraints: 23675
780.54/783.05 c #Conflicts: 381000 | #Constraints: 24675
780.54/783.05 c INPROCESSING
780.54/783.05 c GARBAGE COLLECT
780.54/783.05 c rational objective 9
781.53/784.01 c GLOBAL bounds - >= 9 @ 770.048
781.53/784.01 c GLOBAL bounds - >= 9 @ 770.048
815.03/817.65 c #Conflicts: 382000 | #Constraints: 13453
815.03/817.65 c #Conflicts: 383000 | #Constraints: 14455
815.03/817.65 c #Conflicts: 384000 | #Constraints: 15456
815.03/817.65 c #Conflicts: 385000 | #Constraints: 16457
815.03/817.65 c #Conflicts: 386000 | #Constraints: 17462
815.03/817.65 c #Conflicts: 387000 | #Constraints: 18464
815.03/817.65 c #Conflicts: 388000 | #Constraints: 19466
815.03/817.65 c #Conflicts: 389000 | #Constraints: 20468
815.03/817.65 c #Conflicts: 390000 | #Constraints: 21469
815.03/817.65 c #Conflicts: 391000 | #Constraints: 22471
815.03/817.65 c #Conflicts: 392000 | #Constraints: 23473
815.03/817.65 c #Conflicts: 393000 | #Constraints: 24475
815.03/817.65 c #Conflicts: 394000 | #Constraints: 25477
815.03/817.65 c INPROCESSING
815.03/817.65 c GARBAGE COLLECT
815.03/817.65 c rational objective 9
816.43/819.02 c GLOBAL bounds - >= 9 @ 804.617
816.43/819.02 c GLOBAL bounds - >= 9 @ 804.617
840.96/843.62 c #Conflicts: 395000 | #Constraints: 14048
840.96/843.62 c #Conflicts: 396000 | #Constraints: 15051
840.96/843.62 c #Conflicts: 397000 | #Constraints: 16054
840.96/843.62 c #Conflicts: 398000 | #Constraints: 17056
840.96/843.62 c #Conflicts: 399000 | #Constraints: 18059
840.96/843.62 c #Conflicts: 400000 | #Constraints: 19062
840.96/843.62 c #Conflicts: 401000 | #Constraints: 20065
840.96/843.62 c #Conflicts: 402000 | #Constraints: 21068
840.96/843.62 c #Conflicts: 403000 | #Constraints: 22072
840.96/843.62 c #Conflicts: 404000 | #Constraints: 23077
840.96/843.62 c #Conflicts: 405000 | #Constraints: 24079
840.96/843.62 c #Conflicts: 406000 | #Constraints: 25081
840.96/843.62 c #Conflicts: 407000 | #Constraints: 26083
840.96/843.62 c INPROCESSING
840.96/843.62 c GARBAGE COLLECT
840.96/843.62 c rational objective 9
842.15/844.81 c GLOBAL bounds - >= 9 @ 829.988
842.15/844.81 c GLOBAL bounds - >= 9 @ 829.988
869.58/872.39 c #Conflicts: 408000 | #Constraints: 14474
869.58/872.39 c #Conflicts: 409000 | #Constraints: 15477
869.58/872.39 c #Conflicts: 410000 | #Constraints: 16481
869.58/872.39 c #Conflicts: 411000 | #Constraints: 17485
869.58/872.39 c #Conflicts: 412000 | #Constraints: 18487
869.58/872.39 c #Conflicts: 413000 | #Constraints: 19490
869.58/872.39 c #Conflicts: 414000 | #Constraints: 20492
869.58/872.39 c #Conflicts: 415000 | #Constraints: 21496
869.58/872.39 c #Conflicts: 416000 | #Constraints: 22500
869.58/872.39 c #Conflicts: 417000 | #Constraints: 23504
869.58/872.39 c #Conflicts: 418000 | #Constraints: 24507
869.58/872.39 c #Conflicts: 419000 | #Constraints: 25511
869.58/872.39 c #Conflicts: 420000 | #Constraints: 26513
869.58/872.39 c INPROCESSING
869.58/872.39 c GARBAGE COLLECT
869.58/872.39 c rational objective 9
870.28/873.06 c GLOBAL bounds - >= 9 @ 857.81
870.28/873.06 c GLOBAL bounds - >= 9 @ 857.81
896.80/899.63 c #Conflicts: 421000 | #Constraints: 14692
896.80/899.63 c #Conflicts: 422000 | #Constraints: 15694
896.80/899.63 c #Conflicts: 423000 | #Constraints: 16695
896.80/899.63 c #Conflicts: 424000 | #Constraints: 17696
896.80/899.63 c #Conflicts: 425000 | #Constraints: 18700
896.80/899.63 c #Conflicts: 426000 | #Constraints: 19702
896.80/899.63 c #Conflicts: 427000 | #Constraints: 20705
896.80/899.63 c #Conflicts: 428000 | #Constraints: 21707
896.80/899.63 c #Conflicts: 429000 | #Constraints: 22708
896.80/899.63 c #Conflicts: 430000 | #Constraints: 23710
896.80/899.63 c #Conflicts: 431000 | #Constraints: 24711
896.80/899.63 c #Conflicts: 432000 | #Constraints: 25712
896.80/899.63 c #Conflicts: 433000 | #Constraints: 26714
896.80/899.63 c INPROCESSING
896.80/899.63 c GARBAGE COLLECT
896.80/899.63 c rational objective 9
898.10/900.98 c GLOBAL bounds - >= 9 @ 885.279
898.10/900.98 c GLOBAL bounds - >= 9 @ 885.279
928.39/931.31 c #Conflicts: 434000 | #Constraints: 14674
928.39/931.31 c #Conflicts: 435000 | #Constraints: 15676
928.39/931.31 c #Conflicts: 436000 | #Constraints: 16678
928.39/931.31 c #Conflicts: 437000 | #Constraints: 17680
928.39/931.31 c #Conflicts: 438000 | #Constraints: 18681
928.39/931.31 c #Conflicts: 439000 | #Constraints: 19683
928.39/931.31 c #Conflicts: 440000 | #Constraints: 20686
928.39/931.31 c #Conflicts: 441000 | #Constraints: 21687
928.39/931.31 c #Conflicts: 442000 | #Constraints: 22688
928.39/931.31 c #Conflicts: 443000 | #Constraints: 23690
928.39/931.31 c #Conflicts: 444000 | #Constraints: 24691
928.39/931.31 c #Conflicts: 445000 | #Constraints: 25693
928.39/931.31 c #Conflicts: 446000 | #Constraints: 26696
928.39/931.31 c INPROCESSING
928.39/931.31 c GARBAGE COLLECT
928.39/931.31 c rational objective 9
929.10/932.00 c GLOBAL bounds - >= 9 @ 915.669
929.10/932.00 c GLOBAL bounds - >= 9 @ 915.669
969.18/972.26 c #Conflicts: 447000 | #Constraints: 14468
969.18/972.26 c #Conflicts: 448000 | #Constraints: 15473
969.18/972.26 c #Conflicts: 449000 | #Constraints: 16481
969.18/972.26 c #Conflicts: 450000 | #Constraints: 17485
969.18/972.26 c #Conflicts: 451000 | #Constraints: 18488
969.18/972.26 c #Conflicts: 452000 | #Constraints: 19490
969.18/972.26 c #Conflicts: 453000 | #Constraints: 20493
969.18/972.26 c #Conflicts: 454000 | #Constraints: 21497
969.18/972.26 c #Conflicts: 455000 | #Constraints: 22500
969.18/972.26 c #Conflicts: 456000 | #Constraints: 23502
969.18/972.26 c #Conflicts: 457000 | #Constraints: 24502
969.18/972.26 c #Conflicts: 458000 | #Constraints: 25502
969.18/972.26 c #Conflicts: 459000 | #Constraints: 26503
969.18/972.26 c #Conflicts: 460000 | #Constraints: 27503
969.18/972.26 c INPROCESSING
969.18/972.26 c GARBAGE COLLECT
969.18/972.26 c rational objective 9
970.88/973.98 c GLOBAL bounds - >= 9 @ 956.891
970.88/973.98 c GLOBAL bounds - >= 9 @ 956.891
1001.18/1004.39 c #Conflicts: 461000 | #Constraints: 15091
1001.18/1004.39 c #Conflicts: 462000 | #Constraints: 16091
1001.18/1004.39 c #Conflicts: 463000 | #Constraints: 17091
1001.18/1004.39 c #Conflicts: 464000 | #Constraints: 18091
1001.18/1004.39 c #Conflicts: 465000 | #Constraints: 19091
1001.18/1004.39 c #Conflicts: 466000 | #Constraints: 20091
1001.18/1004.39 c #Conflicts: 467000 | #Constraints: 21093
1001.18/1004.39 c #Conflicts: 468000 | #Constraints: 22095
1001.18/1004.39 c #Conflicts: 469000 | #Constraints: 23095
1001.18/1004.39 c #Conflicts: 470000 | #Constraints: 24095
1001.18/1004.39 c #Conflicts: 471000 | #Constraints: 25096
1001.18/1004.39 c #Conflicts: 472000 | #Constraints: 26096
1001.18/1004.39 c #Conflicts: 473000 | #Constraints: 27097
1001.18/1004.39 c #Conflicts: 474000 | #Constraints: 28097
1001.18/1004.39 c INPROCESSING
1001.18/1004.39 c GARBAGE COLLECT
1001.18/1004.39 c rational objective 9
1002.57/1005.70 c GLOBAL bounds - >= 9 @ 988.08
1002.57/1005.70 c GLOBAL bounds - >= 9 @ 988.08
1087.40/1090.87 c #Conflicts: 475000 | #Constraints: 15456
1087.40/1090.87 c #Conflicts: 476000 | #Constraints: 16458
1087.40/1090.87 c #Conflicts: 477000 | #Constraints: 17465
1087.40/1090.87 c #Conflicts: 478000 | #Constraints: 18468
1087.40/1090.87 c #Conflicts: 479000 | #Constraints: 19468
1087.40/1090.87 c #Conflicts: 480000 | #Constraints: 20468
1087.40/1090.87 c #Conflicts: 481000 | #Constraints: 21468
1087.40/1090.87 c #Conflicts: 482000 | #Constraints: 22468
1087.40/1090.87 c #Conflicts: 483000 | #Constraints: 23471
1087.40/1090.87 c #Conflicts: 484000 | #Constraints: 24471
1087.40/1090.87 c #Conflicts: 485000 | #Constraints: 25473
1087.40/1090.87 c #Conflicts: 486000 | #Constraints: 26475
1087.40/1090.87 c #Conflicts: 487000 | #Constraints: 27476
1087.40/1090.87 c #Conflicts: 488000 | #Constraints: 28476
1087.40/1090.87 c INPROCESSING
1087.40/1090.87 c GARBAGE COLLECT
1087.40/1090.87 c rational objective 9
1088.79/1092.28 c GLOBAL bounds - >= 9 @ 1073.83
1088.79/1092.28 c GLOBAL bounds - >= 9 @ 1073.83
1122.49/1126.09 c #Conflicts: 489000 | #Constraints: 15646
1122.49/1126.09 c #Conflicts: 490000 | #Constraints: 16646
1122.49/1126.09 c #Conflicts: 491000 | #Constraints: 17647
1122.49/1126.09 c #Conflicts: 492000 | #Constraints: 18647
1122.49/1126.09 c #Conflicts: 493000 | #Constraints: 19649
1122.49/1126.09 c #Conflicts: 494000 | #Constraints: 20651
1122.49/1126.09 c #Conflicts: 495000 | #Constraints: 21652
1122.49/1126.09 c #Conflicts: 496000 | #Constraints: 22653
1122.49/1126.09 c #Conflicts: 497000 | #Constraints: 23655
1122.49/1126.09 c #Conflicts: 498000 | #Constraints: 24657
1122.49/1126.09 c #Conflicts: 499000 | #Constraints: 25659
1122.49/1126.09 c #Conflicts: 500000 | #Constraints: 26660
1122.49/1126.09 c #Conflicts: 501000 | #Constraints: 27663
1122.49/1126.09 c #Conflicts: 502000 | #Constraints: 28664
1122.49/1126.09 c INPROCESSING
1122.49/1126.09 c GARBAGE COLLECT
1122.49/1126.09 c rational objective 9
1123.07/1126.69 c GLOBAL bounds - >= 9 @ 1107.48
1123.07/1126.69 c GLOBAL bounds - >= 9 @ 1107.48
1176.51/1180.29 c #Conflicts: 503000 | #Constraints: 15661
1176.51/1180.29 c #Conflicts: 504000 | #Constraints: 16663
1176.51/1180.29 c #Conflicts: 505000 | #Constraints: 17665
1176.51/1180.29 c #Conflicts: 506000 | #Constraints: 18666
1176.51/1180.29 c #Conflicts: 507000 | #Constraints: 19666
1176.51/1180.29 c #Conflicts: 508000 | #Constraints: 20668
1176.51/1180.29 c #Conflicts: 509000 | #Constraints: 21670
1176.51/1180.29 c #Conflicts: 510000 | #Constraints: 22671
1176.51/1180.29 c #Conflicts: 511000 | #Constraints: 23672
1176.51/1180.29 c #Conflicts: 512000 | #Constraints: 24673
1176.51/1180.29 c #Conflicts: 513000 | #Constraints: 25676
1176.51/1180.29 c #Conflicts: 514000 | #Constraints: 26678
1176.51/1180.29 c #Conflicts: 515000 | #Constraints: 27679
1176.51/1180.29 c #Conflicts: 516000 | #Constraints: 28680
1176.51/1180.29 c INPROCESSING
1176.51/1180.29 c GARBAGE COLLECT
1176.51/1180.29 c rational objective 9
1177.60/1181.31 c GLOBAL bounds - >= 9 @ 1161.26
1177.60/1181.31 c GLOBAL bounds - >= 9 @ 1161.26
1224.16/1228.09 c #Conflicts: 517000 | #Constraints: 15444
1224.16/1228.09 c #Conflicts: 518000 | #Constraints: 16444
1224.16/1228.09 c #Conflicts: 519000 | #Constraints: 17446
1224.16/1228.09 c #Conflicts: 520000 | #Constraints: 18449
1224.16/1228.09 c #Conflicts: 521000 | #Constraints: 19450
1224.16/1228.09 c #Conflicts: 522000 | #Constraints: 20453
1224.16/1228.09 c #Conflicts: 523000 | #Constraints: 21454
1224.16/1228.09 c #Conflicts: 524000 | #Constraints: 22457
1224.16/1228.09 c #Conflicts: 525000 | #Constraints: 23462
1224.16/1228.09 c #Conflicts: 526000 | #Constraints: 24462
1224.16/1228.09 c #Conflicts: 527000 | #Constraints: 25462
1224.16/1228.09 c #Conflicts: 528000 | #Constraints: 26464
1224.16/1228.09 c #Conflicts: 529000 | #Constraints: 27466
1224.16/1228.09 c #Conflicts: 530000 | #Constraints: 28469
1224.16/1228.09 c #Conflicts: 531000 | #Constraints: 29472
1224.16/1228.09 c INPROCESSING
1224.16/1228.09 c GARBAGE COLLECT
1224.16/1228.09 c rational objective 9
1225.45/1229.32 c GLOBAL bounds - >= 9 @ 1208.45
1225.45/1229.32 c GLOBAL bounds - >= 9 @ 1208.45
1275.89/1279.97 c #Conflicts: 532000 | #Constraints: 16052
1275.89/1279.97 c #Conflicts: 533000 | #Constraints: 17055
1275.89/1279.97 c #Conflicts: 534000 | #Constraints: 18059
1275.89/1279.97 c #Conflicts: 535000 | #Constraints: 19061
1275.89/1279.97 c #Conflicts: 536000 | #Constraints: 20065
1275.89/1279.97 c #Conflicts: 537000 | #Constraints: 21067
1275.89/1279.97 c #Conflicts: 538000 | #Constraints: 22069
1275.89/1279.97 c #Conflicts: 539000 | #Constraints: 23071
1275.89/1279.97 c #Conflicts: 540000 | #Constraints: 24073
1275.89/1279.97 c #Conflicts: 541000 | #Constraints: 25074
1275.89/1279.97 c #Conflicts: 542000 | #Constraints: 26077
1275.89/1279.97 c #Conflicts: 543000 | #Constraints: 27078
1275.89/1279.97 c #Conflicts: 544000 | #Constraints: 28080
1275.89/1279.97 c #Conflicts: 545000 | #Constraints: 29081
1275.89/1279.97 c #Conflicts: 546000 | #Constraints: 30082
1275.89/1279.97 c INPROCESSING
1275.89/1279.97 c GARBAGE COLLECT
1275.89/1279.97 c rational objective 9
1276.89/1280.98 c GLOBAL bounds - >= 9 @ 1259.36
1276.89/1280.98 c GLOBAL bounds - >= 9 @ 1259.36
1317.56/1321.73 c #Conflicts: 547000 | #Constraints: 16449
1317.56/1321.73 c #Conflicts: 548000 | #Constraints: 17451
1317.56/1321.73 c #Conflicts: 549000 | #Constraints: 18451
1317.56/1321.73 c #Conflicts: 550000 | #Constraints: 19452
1317.56/1321.73 c #Conflicts: 551000 | #Constraints: 20453
1317.56/1321.73 c #Conflicts: 552000 | #Constraints: 21456
1317.56/1321.73 c #Conflicts: 553000 | #Constraints: 22457
1317.56/1321.73 c #Conflicts: 554000 | #Constraints: 23459
1317.56/1321.73 c #Conflicts: 555000 | #Constraints: 24462
1317.56/1321.73 c #Conflicts: 556000 | #Constraints: 25464
1317.56/1321.73 c #Conflicts: 557000 | #Constraints: 26466
1317.56/1321.73 c #Conflicts: 558000 | #Constraints: 27467
1317.56/1321.73 c #Conflicts: 559000 | #Constraints: 28468
1317.56/1321.73 c #Conflicts: 560000 | #Constraints: 29470
1317.56/1321.73 c #Conflicts: 561000 | #Constraints: 30474
1317.56/1321.73 c INPROCESSING
1317.56/1321.73 c GARBAGE COLLECT
1317.56/1321.73 c rational objective 9
1318.15/1322.34 c GLOBAL bounds - >= 9 @ 1299.96
1318.15/1322.34 c GLOBAL bounds - >= 9 @ 1299.96
1360.22/1364.57 c #Conflicts: 562000 | #Constraints: 16641
1360.22/1364.57 c #Conflicts: 563000 | #Constraints: 17642
1360.22/1364.57 c #Conflicts: 564000 | #Constraints: 18644
1360.22/1364.57 c #Conflicts: 565000 | #Constraints: 19645
1360.22/1364.57 c #Conflicts: 566000 | #Constraints: 20647
1360.22/1364.57 c #Conflicts: 567000 | #Constraints: 21648
1360.22/1364.57 c #Conflicts: 568000 | #Constraints: 22652
1360.22/1364.57 c #Conflicts: 569000 | #Constraints: 23653
1360.22/1364.57 c #Conflicts: 570000 | #Constraints: 24655
1360.22/1364.57 c #Conflicts: 571000 | #Constraints: 25656
1360.22/1364.57 c #Conflicts: 572000 | #Constraints: 26658
1360.22/1364.57 c #Conflicts: 573000 | #Constraints: 27659
1360.22/1364.57 c #Conflicts: 574000 | #Constraints: 28661
1360.22/1364.57 c #Conflicts: 575000 | #Constraints: 29662
1360.22/1364.57 c #Conflicts: 576000 | #Constraints: 30664
1360.22/1364.57 c INPROCESSING
1360.22/1364.57 c GARBAGE COLLECT
1360.22/1364.57 c rational objective 9
1361.51/1365.81 c GLOBAL bounds - >= 9 @ 1342.7
1361.51/1365.81 c GLOBAL bounds - >= 9 @ 1342.7
1417.13/1421.63 c #Conflicts: 577000 | #Constraints: 16683
1417.13/1421.63 c #Conflicts: 578000 | #Constraints: 17685
1417.13/1421.63 c #Conflicts: 579000 | #Constraints: 18687
1417.13/1421.63 c #Conflicts: 580000 | #Constraints: 19691
1417.13/1421.63 c #Conflicts: 581000 | #Constraints: 20694
1417.13/1421.63 c #Conflicts: 582000 | #Constraints: 21696
1417.13/1421.63 c #Conflicts: 583000 | #Constraints: 22698
1417.13/1421.63 c #Conflicts: 584000 | #Constraints: 23702
1417.13/1421.63 c #Conflicts: 585000 | #Constraints: 24705
1417.13/1421.63 c #Conflicts: 586000 | #Constraints: 25707
1417.13/1421.63 c #Conflicts: 587000 | #Constraints: 26709
1417.13/1421.63 c #Conflicts: 588000 | #Constraints: 27711
1417.13/1421.63 c #Conflicts: 589000 | #Constraints: 28715
1417.13/1421.63 c #Conflicts: 590000 | #Constraints: 29720
1417.13/1421.63 c #Conflicts: 591000 | #Constraints: 30724
1417.13/1421.63 c INPROCESSING
1417.13/1421.63 c GARBAGE COLLECT
1417.13/1421.63 c rational objective 9
1418.32/1422.81 c GLOBAL bounds - >= 9 @ 1398.84
1418.32/1422.81 c GLOBAL bounds - >= 9 @ 1398.84
1471.45/1476.16 c #Conflicts: 592000 | #Constraints: 16493
1471.45/1476.16 c #Conflicts: 593000 | #Constraints: 17500
1471.45/1476.16 c #Conflicts: 594000 | #Constraints: 18508
1471.45/1476.16 c #Conflicts: 595000 | #Constraints: 19520
1471.45/1476.16 c #Conflicts: 596000 | #Constraints: 20538
1471.45/1476.16 c #Conflicts: 597000 | #Constraints: 21540
1471.45/1476.16 c #Conflicts: 598000 | #Constraints: 22543
1471.45/1476.16 c #Conflicts: 599000 | #Constraints: 23545
1471.45/1476.16 c #Conflicts: 600000 | #Constraints: 24548
1471.45/1476.16 c #Conflicts: 601000 | #Constraints: 25551
1471.45/1476.16 c #Conflicts: 602000 | #Constraints: 26554
1471.45/1476.16 c #Conflicts: 603000 | #Constraints: 27557
1471.45/1476.16 c #Conflicts: 604000 | #Constraints: 28558
1471.45/1476.16 c #Conflicts: 605000 | #Constraints: 29560
1471.45/1476.16 c #Conflicts: 606000 | #Constraints: 30565
1471.45/1476.16 c #Conflicts: 607000 | #Constraints: 31573
1471.45/1476.16 c INPROCESSING
1471.45/1476.16 c GARBAGE COLLECT
1471.45/1476.16 c rational objective 9
1472.04/1476.71 c GLOBAL bounds - >= 9 @ 1451.86
1472.04/1476.71 c GLOBAL bounds - >= 9 @ 1451.86
1549.88/1554.87 c #Conflicts: 608000 | #Constraints: 17113
1549.88/1554.87 c #Conflicts: 609000 | #Constraints: 18120
1549.88/1554.87 c #Conflicts: 610000 | #Constraints: 19125
1549.88/1554.87 c #Conflicts: 611000 | #Constraints: 20130
1549.88/1554.87 c #Conflicts: 612000 | #Constraints: 21134
1549.88/1554.87 c #Conflicts: 613000 | #Constraints: 22137
1549.88/1554.87 c #Conflicts: 614000 | #Constraints: 23139
1549.88/1554.87 c #Conflicts: 615000 | #Constraints: 24141
1549.88/1554.87 c #Conflicts: 616000 | #Constraints: 25143
1549.88/1554.87 c #Conflicts: 617000 | #Constraints: 26146
1549.88/1554.87 c #Conflicts: 618000 | #Constraints: 27147
1549.88/1554.87 c #Conflicts: 619000 | #Constraints: 28148
1549.88/1554.87 c #Conflicts: 620000 | #Constraints: 29150
1549.88/1554.87 c #Conflicts: 621000 | #Constraints: 30151
1549.88/1554.87 c #Conflicts: 622000 | #Constraints: 31151
1549.88/1554.87 c #Conflicts: 623000 | #Constraints: 32157
1549.88/1554.87 c INPROCESSING
1549.88/1554.87 c GARBAGE COLLECT
1549.88/1554.87 c rational objective 9
1550.98/1555.97 c GLOBAL bounds - >= 9 @ 1530.05
1550.98/1555.97 c GLOBAL bounds - >= 9 @ 1530.05
1614.77/1619.97 c #Conflicts: 624000 | #Constraints: 17496
1614.77/1619.97 c #Conflicts: 625000 | #Constraints: 18502
1614.77/1619.97 c #Conflicts: 626000 | #Constraints: 19507
1614.77/1619.97 c #Conflicts: 627000 | #Constraints: 20512
1614.77/1619.97 c #Conflicts: 628000 | #Constraints: 21514
1614.77/1619.97 c #Conflicts: 629000 | #Constraints: 22517
1614.77/1619.97 c #Conflicts: 630000 | #Constraints: 23521
1614.77/1619.97 c #Conflicts: 631000 | #Constraints: 24523
1614.77/1619.97 c #Conflicts: 632000 | #Constraints: 25525
1614.77/1619.97 c #Conflicts: 633000 | #Constraints: 26527
1614.77/1619.97 c #Conflicts: 634000 | #Constraints: 27530
1614.77/1619.97 c #Conflicts: 635000 | #Constraints: 28531
1614.77/1619.97 c #Conflicts: 636000 | #Constraints: 29533
1614.77/1619.97 c #Conflicts: 637000 | #Constraints: 30535
1614.77/1619.97 c #Conflicts: 638000 | #Constraints: 31535
1614.77/1619.97 c #Conflicts: 639000 | #Constraints: 32536
1614.77/1619.97 c INPROCESSING
1614.77/1619.97 c GARBAGE COLLECT
1614.77/1619.97 c rational objective 9
1615.97/1621.15 c GLOBAL bounds - >= 9 @ 1594.17
1615.97/1621.15 c GLOBAL bounds - >= 9 @ 1594.17
1656.84/1662.17 c #Conflicts: 640000 | #Constraints: 17670
1656.84/1662.17 c #Conflicts: 641000 | #Constraints: 18672
1656.84/1662.17 c #Conflicts: 642000 | #Constraints: 19673
1656.84/1662.17 c #Conflicts: 643000 | #Constraints: 20674
1656.84/1662.17 c #Conflicts: 644000 | #Constraints: 21674
1656.84/1662.17 c #Conflicts: 645000 | #Constraints: 22675
1656.84/1662.17 c #Conflicts: 646000 | #Constraints: 23676
1656.84/1662.17 c #Conflicts: 647000 | #Constraints: 24677
1656.84/1662.17 c #Conflicts: 648000 | #Constraints: 25682
1656.84/1662.17 c #Conflicts: 649000 | #Constraints: 26684
1656.84/1662.17 c #Conflicts: 650000 | #Constraints: 27688
1656.84/1662.17 c #Conflicts: 651000 | #Constraints: 28695
1656.84/1662.17 c #Conflicts: 652000 | #Constraints: 29700
1656.84/1662.17 c #Conflicts: 653000 | #Constraints: 30704
1656.84/1662.17 c #Conflicts: 654000 | #Constraints: 31706
1656.84/1662.17 c #Conflicts: 655000 | #Constraints: 32712
1656.84/1662.17 c INPROCESSING
1656.84/1662.17 c GARBAGE COLLECT
1656.84/1662.17 c rational objective 9
1658.33/1663.62 c GLOBAL bounds - >= 9 @ 1635.55
1658.33/1663.62 c GLOBAL bounds - >= 9 @ 1635.55
1732.00/1737.51 c #Conflicts: 656000 | #Constraints: 17689
1732.00/1737.51 c #Conflicts: 657000 | #Constraints: 18693
1732.00/1737.51 c #Conflicts: 658000 | #Constraints: 19702
1732.00/1737.51 c #Conflicts: 659000 | #Constraints: 20706
1732.00/1737.51 c #Conflicts: 660000 | #Constraints: 21709
1732.00/1737.51 c #Conflicts: 661000 | #Constraints: 22714
1732.00/1737.51 c #Conflicts: 662000 | #Constraints: 23715
1732.00/1737.51 c #Conflicts: 663000 | #Constraints: 24716
1732.00/1737.51 c #Conflicts: 664000 | #Constraints: 25718
1732.00/1737.51 c #Conflicts: 665000 | #Constraints: 26719
1732.00/1737.51 c #Conflicts: 666000 | #Constraints: 27721
1732.00/1737.51 c #Conflicts: 667000 | #Constraints: 28724
1732.00/1737.51 c #Conflicts: 668000 | #Constraints: 29728
1732.00/1737.51 c #Conflicts: 669000 | #Constraints: 30730
1732.00/1737.51 c #Conflicts: 670000 | #Constraints: 31732
1732.00/1737.51 c #Conflicts: 671000 | #Constraints: 32733
1732.00/1737.51 c INPROCESSING
1732.00/1737.51 c GARBAGE COLLECT
1732.00/1737.51 c rational objective 9
1732.79/1738.35 c GLOBAL bounds - >= 9 @ 1709.25
1732.79/1738.35 c GLOBAL bounds - >= 9 @ 1709.25
1789.61/1795.30 c #Conflicts: 672000 | #Constraints: 17476
1789.61/1795.30 c #Conflicts: 673000 | #Constraints: 18479
1789.61/1795.30 c #Conflicts: 674000 | #Constraints: 19482
1789.61/1795.30 c #Conflicts: 675000 | #Constraints: 20487
1789.61/1795.30 c #Conflicts: 676000 | #Constraints: 21490
1789.61/1795.30 c #Conflicts: 677000 | #Constraints: 22492
1789.61/1795.30 c #Conflicts: 678000 | #Constraints: 23494
1789.61/1795.30 c #Conflicts: 679000 | #Constraints: 24496
1789.61/1795.30 c #Conflicts: 680000 | #Constraints: 25499
1789.61/1795.30 c #Conflicts: 681000 | #Constraints: 26501
1789.61/1795.30 c #Conflicts: 682000 | #Constraints: 27503
1789.61/1795.30 c #Conflicts: 683000 | #Constraints: 28506
1789.61/1795.30 c #Conflicts: 684000 | #Constraints: 29509
1789.61/1795.30 c #Conflicts: 685000 | #Constraints: 30510
1789.61/1795.30 c #Conflicts: 686000 | #Constraints: 31516
1789.61/1795.30 c #Conflicts: 687000 | #Constraints: 32519
1789.61/1795.30 c #Conflicts: 688000 | #Constraints: 33521
1789.61/1795.30 c INPROCESSING
1789.61/1795.30 c GARBAGE COLLECT
1789.61/1795.30 c rational objective 9
1791.09/1796.80 c GLOBAL bounds - >= 9 @ 1766.76
1791.09/1796.80 c GLOBAL bounds - >= 9 @ 1766.76
1863.67/1869.61 c #Conflicts: 689000 | #Constraints: 18076
1863.67/1869.61 c #Conflicts: 690000 | #Constraints: 19077
1863.67/1869.61 c #Conflicts: 691000 | #Constraints: 20079
1863.67/1869.61 c #Conflicts: 692000 | #Constraints: 21082
1863.67/1869.61 c #Conflicts: 693000 | #Constraints: 22083
1863.67/1869.61 c #Conflicts: 694000 | #Constraints: 23083
1863.67/1869.61 c #Conflicts: 695000 | #Constraints: 24083
1863.67/1869.61 c #Conflicts: 696000 | #Constraints: 25086
1863.67/1869.61 c #Conflicts: 697000 | #Constraints: 26089
1863.67/1869.61 c #Conflicts: 698000 | #Constraints: 27089
1863.67/1869.61 c #Conflicts: 699000 | #Constraints: 28094
1863.67/1869.61 c #Conflicts: 700000 | #Constraints: 29097
1863.67/1869.61 c #Conflicts: 701000 | #Constraints: 30098
1863.67/1869.61 c #Conflicts: 702000 | #Constraints: 31101
1863.67/1869.61 c #Conflicts: 703000 | #Constraints: 32102
1863.67/1869.61 c #Conflicts: 704000 | #Constraints: 33106
1863.67/1869.61 c #Conflicts: 705000 | #Constraints: 34106
1863.67/1869.61 c INPROCESSING
1863.67/1869.61 c GARBAGE COLLECT
1863.67/1869.61 c rational objective 9
1864.66/1870.63 c GLOBAL bounds - >= 9 @ 1839.48
1864.66/1870.63 c GLOBAL bounds - >= 9 @ 1839.48
1946.99/1953.20 c #Conflicts: 706000 | #Constraints: 18468
1946.99/1953.20 c #Conflicts: 707000 | #Constraints: 19468
1946.99/1953.20 c #Conflicts: 708000 | #Constraints: 20470
1946.99/1953.20 c #Conflicts: 709000 | #Constraints: 21472
1946.99/1953.20 c #Conflicts: 710000 | #Constraints: 22472
1946.99/1953.20 c #Conflicts: 711000 | #Constraints: 23474
1946.99/1953.20 c #Conflicts: 712000 | #Constraints: 24475
1946.99/1953.20 c #Conflicts: 713000 | #Constraints: 25476
1946.99/1953.20 c #Conflicts: 714000 | #Constraints: 26480
1946.99/1953.20 c #Conflicts: 715000 | #Constraints: 27483
1946.99/1953.20 c #Conflicts: 716000 | #Constraints: 28486
1946.99/1953.20 c #Conflicts: 717000 | #Constraints: 29489
1946.99/1953.20 c #Conflicts: 718000 | #Constraints: 30490
1946.99/1953.20 c #Conflicts: 719000 | #Constraints: 31490
1946.99/1953.20 c #Conflicts: 720000 | #Constraints: 32490
1946.99/1953.20 c #Conflicts: 721000 | #Constraints: 33493
1946.99/1953.20 c #Conflicts: 722000 | #Constraints: 34501
1946.99/1953.20 c INPROCESSING
1946.99/1953.20 c GARBAGE COLLECT
1946.99/1953.20 c rational objective 9
1947.69/1953.99 c GLOBAL bounds - >= 9 @ 1921.77
1947.69/1953.99 c GLOBAL bounds - >= 9 @ 1921.77
2005.20/2011.68 c #Conflicts: 723000 | #Constraints: 18672
2005.20/2011.68 c #Conflicts: 724000 | #Constraints: 19674
2005.20/2011.68 c #Conflicts: 725000 | #Constraints: 20676
2005.20/2011.68 c #Conflicts: 726000 | #Constraints: 21676
2005.20/2011.68 c #Conflicts: 727000 | #Constraints: 22680
2005.20/2011.68 c #Conflicts: 728000 | #Constraints: 23682
2005.20/2011.68 c #Conflicts: 729000 | #Constraints: 24688
2005.20/2011.68 c #Conflicts: 730000 | #Constraints: 25693
2005.20/2011.68 c #Conflicts: 731000 | #Constraints: 26695
2005.20/2011.68 c #Conflicts: 732000 | #Constraints: 27696
2005.20/2011.68 c #Conflicts: 733000 | #Constraints: 28697
2005.20/2011.68 c #Conflicts: 734000 | #Constraints: 29701
2005.20/2011.68 c #Conflicts: 735000 | #Constraints: 30704
2005.20/2011.68 c #Conflicts: 736000 | #Constraints: 31707
2005.20/2011.68 c #Conflicts: 737000 | #Constraints: 32712
2005.20/2011.68 c #Conflicts: 738000 | #Constraints: 33713
2005.20/2011.68 c #Conflicts: 739000 | #Constraints: 34715
2005.20/2011.68 c INPROCESSING
2005.20/2011.68 c GARBAGE COLLECT
2005.20/2011.68 c rational objective 9
2006.49/2012.92 c GLOBAL bounds - >= 9 @ 1979.95
2006.49/2012.92 c GLOBAL bounds - >= 9 @ 1979.95
2048.65/2055.27 c #Conflicts: 740000 | #Constraints: 18696
2048.65/2055.27 c #Conflicts: 741000 | #Constraints: 19699
2048.65/2055.27 c #Conflicts: 742000 | #Constraints: 20704
2048.65/2055.27 c #Conflicts: 743000 | #Constraints: 21709
2048.65/2055.27 c #Conflicts: 744000 | #Constraints: 22713
2048.65/2055.27 c #Conflicts: 745000 | #Constraints: 23717
2048.65/2055.27 c #Conflicts: 746000 | #Constraints: 24717
2048.65/2055.27 c #Conflicts: 747000 | #Constraints: 25718
2048.65/2055.27 c #Conflicts: 748000 | #Constraints: 26721
2048.65/2055.27 c #Conflicts: 749000 | #Constraints: 27722
2048.65/2055.27 c #Conflicts: 750000 | #Constraints: 28725
2048.65/2055.27 c #Conflicts: 751000 | #Constraints: 29731
2048.65/2055.27 c #Conflicts: 752000 | #Constraints: 30734
2048.65/2055.27 c #Conflicts: 753000 | #Constraints: 31737
2048.65/2055.27 c #Conflicts: 754000 | #Constraints: 32742
2048.65/2055.27 c #Conflicts: 755000 | #Constraints: 33744
2048.65/2055.27 c #Conflicts: 756000 | #Constraints: 34748
2048.65/2055.27 c INPROCESSING
2048.65/2055.27 c GARBAGE COLLECT
2048.65/2055.27 c rational objective 9
2050.06/2056.68 c GLOBAL bounds - >= 9 @ 2022.89
2050.06/2056.68 c GLOBAL bounds - >= 9 @ 2022.89
2117.73/2124.54 c #Conflicts: 757000 | #Constraints: 18516
2117.73/2124.54 c #Conflicts: 758000 | #Constraints: 19521
2117.73/2124.54 c #Conflicts: 759000 | #Constraints: 20527
2117.73/2124.54 c #Conflicts: 760000 | #Constraints: 21530
2117.73/2124.54 c #Conflicts: 761000 | #Constraints: 22533
2117.73/2124.54 c #Conflicts: 762000 | #Constraints: 23535
2117.73/2124.54 c #Conflicts: 763000 | #Constraints: 24539
2117.73/2124.54 c #Conflicts: 764000 | #Constraints: 25541
2117.73/2124.54 c #Conflicts: 765000 | #Constraints: 26543
2117.73/2124.54 c #Conflicts: 766000 | #Constraints: 27546
2117.73/2124.54 c #Conflicts: 767000 | #Constraints: 28549
2117.73/2124.54 c #Conflicts: 768000 | #Constraints: 29552
2117.73/2124.54 c #Conflicts: 769000 | #Constraints: 30554
2117.73/2124.54 c #Conflicts: 770000 | #Constraints: 31555
2117.73/2124.54 c #Conflicts: 771000 | #Constraints: 32558
2117.73/2124.54 c #Conflicts: 772000 | #Constraints: 33562
2117.73/2124.54 c #Conflicts: 773000 | #Constraints: 34566
2117.73/2124.54 c #Conflicts: 774000 | #Constraints: 35572
2117.73/2124.54 c INPROCESSING
2117.73/2124.54 c GARBAGE COLLECT
2117.73/2124.54 c rational objective 9
2119.03/2125.83 c GLOBAL bounds - >= 9 @ 2091.08
2119.03/2125.83 c GLOBAL bounds - >= 9 @ 2091.08
2164.49/2171.49 c #Conflicts: 775000 | #Constraints: 19134
2164.49/2171.49 c #Conflicts: 776000 | #Constraints: 20136
2164.49/2171.49 c #Conflicts: 777000 | #Constraints: 21138
2164.49/2171.49 c #Conflicts: 778000 | #Constraints: 22142
2164.49/2171.49 c #Conflicts: 779000 | #Constraints: 23143
2164.49/2171.49 c #Conflicts: 780000 | #Constraints: 24146
2164.49/2171.49 c #Conflicts: 781000 | #Constraints: 25150
2164.49/2171.49 c #Conflicts: 782000 | #Constraints: 26156
2164.49/2171.49 c #Conflicts: 783000 | #Constraints: 27165
2164.49/2171.49 c #Conflicts: 784000 | #Constraints: 28169
2164.49/2171.49 c #Conflicts: 785000 | #Constraints: 29175
2164.49/2171.49 c #Conflicts: 786000 | #Constraints: 30179
2164.49/2171.49 c #Conflicts: 787000 | #Constraints: 31182
2164.49/2171.49 c #Conflicts: 788000 | #Constraints: 32185
2164.49/2171.49 c #Conflicts: 789000 | #Constraints: 33189
2164.49/2171.49 c #Conflicts: 790000 | #Constraints: 34192
2164.49/2171.49 c #Conflicts: 791000 | #Constraints: 35195
2164.49/2171.49 c #Conflicts: 792000 | #Constraints: 36198
2164.49/2171.49 c INPROCESSING
2164.49/2171.49 c GARBAGE COLLECT
2164.49/2171.49 c rational objective 9
2165.89/2172.89 c GLOBAL bounds - >= 9 @ 2137.3
2165.89/2172.89 c GLOBAL bounds - >= 9 @ 2137.3
2240.45/2247.67 c #Conflicts: 793000 | #Constraints: 19539
2240.45/2247.67 c #Conflicts: 794000 | #Constraints: 20541
2240.45/2247.67 c #Conflicts: 795000 | #Constraints: 21547
2240.45/2247.67 c #Conflicts: 796000 | #Constraints: 22550
2240.45/2247.67 c #Conflicts: 797000 | #Constraints: 23552
2240.45/2247.67 c #Conflicts: 798000 | #Constraints: 24556
2240.45/2247.67 c #Conflicts: 799000 | #Constraints: 25561
2240.45/2247.67 c #Conflicts: 800000 | #Constraints: 26566
2240.45/2247.67 c #Conflicts: 801000 | #Constraints: 27569
2240.45/2247.67 c #Conflicts: 802000 | #Constraints: 28572
2240.45/2247.67 c #Conflicts: 803000 | #Constraints: 29574
2240.45/2247.67 c #Conflicts: 804000 | #Constraints: 30578
2240.45/2247.67 c #Conflicts: 805000 | #Constraints: 31580
2240.45/2247.67 c #Conflicts: 806000 | #Constraints: 32582
2240.45/2247.67 c #Conflicts: 807000 | #Constraints: 33583
2240.45/2247.67 c #Conflicts: 808000 | #Constraints: 34585
2240.45/2247.67 c #Conflicts: 809000 | #Constraints: 35586
2240.45/2247.67 c #Conflicts: 810000 | #Constraints: 36586
2240.45/2247.67 c INPROCESSING
2240.45/2247.67 c GARBAGE COLLECT
2240.45/2247.67 c rational objective 9
2241.65/2248.86 c GLOBAL bounds - >= 9 @ 2212.16
2241.65/2248.86 c GLOBAL bounds - >= 9 @ 2212.16
2325.66/2333.14 c #Conflicts: 811000 | #Constraints: 19706
2325.66/2333.14 c #Conflicts: 812000 | #Constraints: 20707
2325.66/2333.14 c #Conflicts: 813000 | #Constraints: 21707
2325.66/2333.14 c #Conflicts: 814000 | #Constraints: 22709
2325.66/2333.14 c #Conflicts: 815000 | #Constraints: 23711
2325.66/2333.14 c #Conflicts: 816000 | #Constraints: 24712
2325.66/2333.14 c #Conflicts: 817000 | #Constraints: 25713
2325.66/2333.14 c #Conflicts: 818000 | #Constraints: 26713
2325.66/2333.14 c #Conflicts: 819000 | #Constraints: 27714
2325.66/2333.14 c #Conflicts: 820000 | #Constraints: 28716
2325.66/2333.14 c #Conflicts: 821000 | #Constraints: 29717
2325.66/2333.14 c #Conflicts: 822000 | #Constraints: 30720
2325.66/2333.14 c #Conflicts: 823000 | #Constraints: 31724
2325.66/2333.14 c #Conflicts: 824000 | #Constraints: 32725
2325.66/2333.14 c #Conflicts: 825000 | #Constraints: 33725
2325.66/2333.14 c #Conflicts: 826000 | #Constraints: 34725
2325.66/2333.14 c #Conflicts: 827000 | #Constraints: 35726
2325.66/2333.14 c #Conflicts: 828000 | #Constraints: 36730
2325.66/2333.14 c INPROCESSING
2325.66/2333.14 c GARBAGE COLLECT
2325.66/2333.14 c rational objective 9
2327.45/2334.99 c GLOBAL bounds - >= 9 @ 2297.17
2327.45/2334.99 c GLOBAL bounds - >= 9 @ 2297.17
2397.81/2405.51 c #Conflicts: 829000 | #Constraints: 19681
2397.81/2405.51 c #Conflicts: 830000 | #Constraints: 20683
2397.81/2405.51 c #Conflicts: 831000 | #Constraints: 21685
2397.81/2405.51 c #Conflicts: 832000 | #Constraints: 22686
2397.81/2405.51 c #Conflicts: 833000 | #Constraints: 23687
2397.81/2405.51 c #Conflicts: 834000 | #Constraints: 24690
2397.81/2405.51 c #Conflicts: 835000 | #Constraints: 25692
2397.81/2405.51 c #Conflicts: 836000 | #Constraints: 26693
2397.81/2405.51 c #Conflicts: 837000 | #Constraints: 27697
2397.81/2405.51 c #Conflicts: 838000 | #Constraints: 28713
2397.81/2405.51 c #Conflicts: 839000 | #Constraints: 29721
2397.81/2405.51 c #Conflicts: 840000 | #Constraints: 30722
2397.81/2405.51 c #Conflicts: 841000 | #Constraints: 31724
2397.81/2405.51 c #Conflicts: 842000 | #Constraints: 32726
2397.81/2405.51 c #Conflicts: 843000 | #Constraints: 33729
2397.81/2405.51 c #Conflicts: 844000 | #Constraints: 34732
2397.81/2405.51 c #Conflicts: 845000 | #Constraints: 35734
2397.81/2405.51 c #Conflicts: 846000 | #Constraints: 36736
2397.81/2405.51 c INPROCESSING
2397.81/2405.51 c GARBAGE COLLECT
2397.81/2405.51 c rational objective 9
2398.81/2406.53 c GLOBAL bounds - >= 9 @ 2367.66
2398.81/2406.53 c GLOBAL bounds - >= 9 @ 2367.66
2445.66/2453.51 c #Conflicts: 847000 | #Constraints: 19483
2445.66/2453.51 c #Conflicts: 848000 | #Constraints: 20486
2445.66/2453.51 c #Conflicts: 849000 | #Constraints: 21489
2445.66/2453.51 c #Conflicts: 850000 | #Constraints: 22491
2445.66/2453.51 c #Conflicts: 851000 | #Constraints: 23493
2445.66/2453.51 c #Conflicts: 852000 | #Constraints: 24497
2445.66/2453.51 c #Conflicts: 853000 | #Constraints: 25501
2445.66/2453.51 c #Conflicts: 854000 | #Constraints: 26507
2445.66/2453.51 c #Conflicts: 855000 | #Constraints: 27509
2445.66/2453.51 c #Conflicts: 856000 | #Constraints: 28512
2445.66/2453.51 c #Conflicts: 857000 | #Constraints: 29518
2445.66/2453.51 c #Conflicts: 858000 | #Constraints: 30522
2445.66/2453.51 c #Conflicts: 859000 | #Constraints: 31527
2445.66/2453.51 c #Conflicts: 860000 | #Constraints: 32533
2445.66/2453.51 c #Conflicts: 861000 | #Constraints: 33543
2445.66/2453.51 c #Conflicts: 862000 | #Constraints: 34550
2445.66/2453.51 c #Conflicts: 863000 | #Constraints: 35556
2445.66/2453.51 c #Conflicts: 864000 | #Constraints: 36563
2445.66/2453.51 c #Conflicts: 865000 | #Constraints: 37570
2445.66/2453.51 c INPROCESSING
2445.66/2453.51 c GARBAGE COLLECT
2445.66/2453.51 c rational objective 9
2446.36/2454.23 c GLOBAL bounds - >= 9 @ 2414.44
2446.36/2454.23 c GLOBAL bounds - >= 9 @ 2414.44
2507.97/2516.04 c #Conflicts: 866000 | #Constraints: 20145
2507.97/2516.04 c #Conflicts: 867000 | #Constraints: 21147
2507.97/2516.04 c #Conflicts: 868000 | #Constraints: 22148
2507.97/2516.04 c #Conflicts: 869000 | #Constraints: 23154
2507.97/2516.04 c #Conflicts: 870000 | #Constraints: 24160
2507.97/2516.04 c #Conflicts: 871000 | #Constraints: 25164
2507.97/2516.04 c #Conflicts: 872000 | #Constraints: 26169
2507.97/2516.04 c #Conflicts: 873000 | #Constraints: 27173
2507.97/2516.04 c #Conflicts: 874000 | #Constraints: 28177
2507.97/2516.04 c #Conflicts: 875000 | #Constraints: 29183
2507.97/2516.04 c #Conflicts: 876000 | #Constraints: 30186
2507.97/2516.04 c #Conflicts: 877000 | #Constraints: 31189
2507.97/2516.04 c #Conflicts: 878000 | #Constraints: 32190
2507.97/2516.04 c #Conflicts: 879000 | #Constraints: 33193
2507.97/2516.04 c #Conflicts: 880000 | #Constraints: 34194
2507.97/2516.04 c #Conflicts: 881000 | #Constraints: 35198
2507.97/2516.04 c #Conflicts: 882000 | #Constraints: 36202
2507.97/2516.04 c #Conflicts: 883000 | #Constraints: 37204
2507.97/2516.04 c #Conflicts: 884000 | #Constraints: 38208
2507.97/2516.04 c INPROCESSING
2507.97/2516.04 c GARBAGE COLLECT
2507.97/2516.04 c rational objective 9
2509.46/2517.51 c GLOBAL bounds - >= 9 @ 2476.69
2509.46/2517.51 c GLOBAL bounds - >= 9 @ 2476.69
2620.77/2629.26 c #Conflicts: 885000 | #Constraints: 20537
2620.77/2629.26 c #Conflicts: 886000 | #Constraints: 21543
2620.77/2629.26 c #Conflicts: 887000 | #Constraints: 22548
2620.77/2629.26 c #Conflicts: 888000 | #Constraints: 23549
2620.77/2629.26 c #Conflicts: 889000 | #Constraints: 24551
2620.77/2629.26 c #Conflicts: 890000 | #Constraints: 25553
2620.77/2629.26 c #Conflicts: 891000 | #Constraints: 26555
2620.77/2629.26 c #Conflicts: 892000 | #Constraints: 27559
2620.77/2629.26 c #Conflicts: 893000 | #Constraints: 28561
2620.77/2629.26 c #Conflicts: 894000 | #Constraints: 29563
2620.77/2629.26 c #Conflicts: 895000 | #Constraints: 30566
2620.77/2629.26 c #Conflicts: 896000 | #Constraints: 31567
2620.77/2629.26 c #Conflicts: 897000 | #Constraints: 32571
2620.77/2629.26 c #Conflicts: 898000 | #Constraints: 33575
2620.77/2629.26 c #Conflicts: 899000 | #Constraints: 34580
2620.77/2629.26 c #Conflicts: 900000 | #Constraints: 35584
2620.77/2629.26 c #Conflicts: 901000 | #Constraints: 36586
2620.77/2629.26 c #Conflicts: 902000 | #Constraints: 37589
2620.77/2629.26 c #Conflicts: 903000 | #Constraints: 38590
2620.77/2629.26 c INPROCESSING
2620.77/2629.26 c GARBAGE COLLECT
2620.77/2629.26 c rational objective 9
2621.68/2630.15 c GLOBAL bounds - >= 9 @ 2587.89
2621.68/2630.15 c GLOBAL bounds - >= 9 @ 2587.89
2694.14/2702.86 c #Conflicts: 904000 | #Constraints: 20744
2694.14/2702.86 c #Conflicts: 905000 | #Constraints: 21747
2694.14/2702.86 c #Conflicts: 906000 | #Constraints: 22751
2694.14/2702.86 c #Conflicts: 907000 | #Constraints: 23754
2694.14/2702.86 c #Conflicts: 908000 | #Constraints: 24756
2694.14/2702.86 c #Conflicts: 909000 | #Constraints: 25759
2694.14/2702.86 c #Conflicts: 910000 | #Constraints: 26762
2694.14/2702.86 c #Conflicts: 911000 | #Constraints: 27766
2694.14/2702.86 c #Conflicts: 912000 | #Constraints: 28772
2694.14/2702.86 c #Conflicts: 913000 | #Constraints: 29775
2694.14/2702.86 c #Conflicts: 914000 | #Constraints: 30779
2694.14/2702.86 c #Conflicts: 915000 | #Constraints: 31782
2694.14/2702.86 c #Conflicts: 916000 | #Constraints: 32786
2694.14/2702.86 c #Conflicts: 917000 | #Constraints: 33790
2694.14/2702.86 c #Conflicts: 918000 | #Constraints: 34791
2694.14/2702.86 c #Conflicts: 919000 | #Constraints: 35794
2694.14/2702.86 c #Conflicts: 920000 | #Constraints: 36800
2694.14/2702.86 c #Conflicts: 921000 | #Constraints: 37804
2694.14/2702.86 c #Conflicts: 922000 | #Constraints: 38805
2694.14/2702.86 c INPROCESSING
2694.14/2702.86 c GARBAGE COLLECT
2694.14/2702.86 c rational objective 9
2695.44/2704.12 c GLOBAL bounds - >= 9 @ 2660.7
2695.44/2704.12 c GLOBAL bounds - >= 9 @ 2660.7
2784.54/2793.59 c #Conflicts: 923000 | #Constraints: 20745
2784.54/2793.59 c #Conflicts: 924000 | #Constraints: 21748
2784.54/2793.59 c #Conflicts: 925000 | #Constraints: 22755
2784.54/2793.59 c #Conflicts: 926000 | #Constraints: 23758
2784.54/2793.59 c #Conflicts: 927000 | #Constraints: 24759
2784.54/2793.59 c #Conflicts: 928000 | #Constraints: 25762
2784.54/2793.59 c #Conflicts: 929000 | #Constraints: 26764
2784.54/2793.59 c #Conflicts: 930000 | #Constraints: 27767
2784.54/2793.59 c #Conflicts: 931000 | #Constraints: 28769
2784.54/2793.59 c #Conflicts: 932000 | #Constraints: 29772
2784.54/2793.59 c #Conflicts: 933000 | #Constraints: 30774
2784.54/2793.59 c #Conflicts: 934000 | #Constraints: 31778
2784.54/2793.59 c #Conflicts: 935000 | #Constraints: 32783
2784.54/2793.59 c #Conflicts: 936000 | #Constraints: 33784
2784.54/2793.59 c #Conflicts: 937000 | #Constraints: 34785
2784.54/2793.59 c #Conflicts: 938000 | #Constraints: 35787
2784.54/2793.59 c #Conflicts: 939000 | #Constraints: 36790
2784.54/2793.59 c #Conflicts: 940000 | #Constraints: 37791
2784.54/2793.59 c #Conflicts: 941000 | #Constraints: 38792
2784.54/2793.59 c INPROCESSING
2784.54/2793.59 c GARBAGE COLLECT
2784.54/2793.59 c rational objective 9
2785.43/2794.45 c GLOBAL bounds - >= 9 @ 2749.8
2785.43/2794.45 c GLOBAL bounds - >= 9 @ 2749.8
2866.57/2875.82 c #Conflicts: 942000 | #Constraints: 20539
2866.57/2875.82 c #Conflicts: 943000 | #Constraints: 21540
2866.57/2875.82 c #Conflicts: 944000 | #Constraints: 22542
2866.57/2875.82 c #Conflicts: 945000 | #Constraints: 23544
2866.57/2875.82 c #Conflicts: 946000 | #Constraints: 24546
2866.57/2875.82 c #Conflicts: 947000 | #Constraints: 25548
2866.57/2875.82 c #Conflicts: 948000 | #Constraints: 26549
2866.57/2875.82 c #Conflicts: 949000 | #Constraints: 27554
2866.57/2875.82 c #Conflicts: 950000 | #Constraints: 28559
2866.57/2875.82 c #Conflicts: 951000 | #Constraints: 29564
2866.57/2875.82 c #Conflicts: 952000 | #Constraints: 30567
2866.57/2875.82 c #Conflicts: 953000 | #Constraints: 31569
2866.57/2875.82 c #Conflicts: 954000 | #Constraints: 33479
2866.57/2875.82 c #Conflicts: 955000 | #Constraints: 35454
2866.57/2875.82 c #Conflicts: 956000 | #Constraints: 37433
2866.57/2875.82 c #Conflicts: 957000 | #Constraints: 39414
2866.57/2875.82 c #Conflicts: 958000 | #Constraints: 41395
2866.57/2875.82 c #Conflicts: 959000 | #Constraints: 43337
2866.57/2875.82 c #Conflicts: 960000 | #Constraints: 45321
2866.57/2875.82 c #Conflicts: 961000 | #Constraints: 47305
2866.57/2875.82 c INPROCESSING
2866.57/2875.82 c GARBAGE COLLECT
2866.57/2875.82 c rational objective 9
2867.37/2876.67 c GLOBAL bounds - >= 9 @ 2830.46
2867.37/2876.67 c GLOBAL bounds - >= 9 @ 2830.46
2935.96/2945.41 c #Conflicts: 962000 | #Constraints: 25120
2935.96/2945.41 c #Conflicts: 963000 | #Constraints: 26122
2935.96/2945.41 c #Conflicts: 964000 | #Constraints: 27124
2935.96/2945.41 c #Conflicts: 965000 | #Constraints: 28125
2935.96/2945.41 c #Conflicts: 966000 | #Constraints: 29127
2935.96/2945.41 c #Conflicts: 967000 | #Constraints: 30128
2935.96/2945.41 c #Conflicts: 968000 | #Constraints: 31132
2935.96/2945.41 c #Conflicts: 969000 | #Constraints: 32137
2935.96/2945.41 c #Conflicts: 970000 | #Constraints: 33153
2935.96/2945.41 c #Conflicts: 971000 | #Constraints: 34162
2935.96/2945.41 c #Conflicts: 972000 | #Constraints: 35178
2935.96/2945.41 c #Conflicts: 973000 | #Constraints: 36182
2935.96/2945.41 c #Conflicts: 974000 | #Constraints: 37200
2935.96/2945.41 c #Conflicts: 975000 | #Constraints: 38203
2935.96/2945.41 c #Conflicts: 976000 | #Constraints: 39209
2935.96/2945.41 c #Conflicts: 977000 | #Constraints: 40219
2935.96/2945.41 c #Conflicts: 978000 | #Constraints: 41227
2935.96/2945.41 c #Conflicts: 979000 | #Constraints: 42234
2935.96/2945.41 c #Conflicts: 980000 | #Constraints: 43241
2935.96/2945.41 c #Conflicts: 981000 | #Constraints: 44244
2935.96/2945.41 c INPROCESSING
2935.96/2945.41 c GARBAGE COLLECT
2935.96/2945.41 c rational objective 9
2936.75/2946.22 c GLOBAL bounds - >= 9 @ 2899.04
2936.75/2946.22 c GLOBAL bounds - >= 9 @ 2899.04
3065.30/3075.11 c #Conflicts: 982000 | #Constraints: 23575
3065.30/3075.11 c #Conflicts: 983000 | #Constraints: 24579
3065.30/3075.11 c #Conflicts: 984000 | #Constraints: 25584
3065.30/3075.11 c #Conflicts: 985000 | #Constraints: 26589
3065.30/3075.11 c #Conflicts: 986000 | #Constraints: 27593
3065.30/3075.11 c #Conflicts: 987000 | #Constraints: 28597
3065.30/3075.11 c #Conflicts: 988000 | #Constraints: 29602
3065.30/3075.11 c #Conflicts: 989000 | #Constraints: 30608
3065.30/3075.11 c #Conflicts: 990000 | #Constraints: 31613
3065.30/3075.11 c #Conflicts: 991000 | #Constraints: 32614
3065.30/3075.11 c #Conflicts: 992000 | #Constraints: 33617
3065.30/3075.11 c #Conflicts: 993000 | #Constraints: 34622
3065.30/3075.11 c #Conflicts: 994000 | #Constraints: 35624
3065.30/3075.11 c #Conflicts: 995000 | #Constraints: 36627
3065.30/3075.11 c #Conflicts: 996000 | #Constraints: 37630
3065.30/3075.11 c #Conflicts: 997000 | #Constraints: 38633
3065.30/3075.11 c #Conflicts: 998000 | #Constraints: 39636
3065.30/3075.11 c #Conflicts: 999000 | #Constraints: 40637
3065.30/3075.11 c #Conflicts: 1000000 | #Constraints: 41640
3065.30/3075.11 c #Conflicts: 1001000 | #Constraints: 42642
3065.30/3075.11 c INPROCESSING
3065.30/3075.11 c GARBAGE COLLECT
3065.30/3075.11 c rational objective 9
3066.48/3076.36 c GLOBAL bounds - >= 9 @ 3027.59
3066.48/3076.36 c GLOBAL bounds - >= 9 @ 3027.59
3228.52/3238.86 c #Conflicts: 1002000 | #Constraints: 22812
3228.52/3238.86 c #Conflicts: 1003000 | #Constraints: 23813
3228.52/3238.86 c #Conflicts: 1004000 | #Constraints: 24816
3228.52/3238.86 c #Conflicts: 1005000 | #Constraints: 25818
3228.52/3238.86 c #Conflicts: 1006000 | #Constraints: 26821
3228.52/3238.86 c #Conflicts: 1007000 | #Constraints: 27825
3228.52/3238.86 c #Conflicts: 1008000 | #Constraints: 28827
3228.52/3238.86 c #Conflicts: 1009000 | #Constraints: 29831
3228.52/3238.86 c #Conflicts: 1010000 | #Constraints: 30837
3228.52/3238.86 c #Conflicts: 1011000 | #Constraints: 31840
3228.52/3238.86 c #Conflicts: 1012000 | #Constraints: 32845
3228.52/3238.86 c #Conflicts: 1013000 | #Constraints: 33848
3228.52/3238.86 c #Conflicts: 1014000 | #Constraints: 34851
3228.52/3238.86 c #Conflicts: 1015000 | #Constraints: 35851
3228.52/3238.86 c #Conflicts: 1016000 | #Constraints: 36853
3228.52/3238.86 c #Conflicts: 1017000 | #Constraints: 37857
3228.52/3238.86 c #Conflicts: 1018000 | #Constraints: 38859
3228.52/3238.86 c #Conflicts: 1019000 | #Constraints: 39861
3228.52/3238.86 c #Conflicts: 1020000 | #Constraints: 40864
3228.52/3238.86 c #Conflicts: 1021000 | #Constraints: 41870
3228.52/3238.86 c INPROCESSING
3228.52/3238.86 c GARBAGE COLLECT
3228.52/3238.86 c rational objective 9
3229.41/3239.76 c GLOBAL bounds - >= 9 @ 3189.13
3229.41/3239.76 c GLOBAL bounds - >= 9 @ 3189.13
3346.18/3356.81 c #Conflicts: 1022000 | #Constraints: 22320
3346.18/3356.81 c #Conflicts: 1023000 | #Constraints: 23324
3346.18/3356.81 c #Conflicts: 1024000 | #Constraints: 24333
3346.18/3356.81 c #Conflicts: 1025000 | #Constraints: 25342
3346.18/3356.81 c #Conflicts: 1026000 | #Constraints: 26348
3346.18/3356.81 c #Conflicts: 1027000 | #Constraints: 27354
3346.18/3356.81 c #Conflicts: 1028000 | #Constraints: 28362
3346.18/3356.81 c #Conflicts: 1029000 | #Constraints: 29368
3346.18/3356.81 c #Conflicts: 1030000 | #Constraints: 30371
3346.18/3356.81 c #Conflicts: 1031000 | #Constraints: 31373
3346.18/3356.81 c #Conflicts: 1032000 | #Constraints: 32375
3346.18/3356.81 c #Conflicts: 1033000 | #Constraints: 33377
3346.18/3356.81 c #Conflicts: 1034000 | #Constraints: 34378
3346.18/3356.81 c #Conflicts: 1035000 | #Constraints: 35379
3346.18/3356.81 c #Conflicts: 1036000 | #Constraints: 36383
3346.18/3356.81 c #Conflicts: 1037000 | #Constraints: 37386
3346.18/3356.81 c #Conflicts: 1038000 | #Constraints: 38387
3346.18/3356.81 c #Conflicts: 1039000 | #Constraints: 39390
3346.18/3356.81 c #Conflicts: 1040000 | #Constraints: 40392
3346.18/3356.81 c #Conflicts: 1041000 | #Constraints: 41392
3346.18/3356.81 c INPROCESSING
3346.18/3356.81 c GARBAGE COLLECT
3346.18/3356.81 c rational objective 9
3348.07/3358.74 c GLOBAL bounds - >= 9 @ 3306.86
3348.07/3358.74 c GLOBAL bounds - >= 9 @ 3306.86
3459.10/3470.14 c #Conflicts: 1042000 | #Constraints: 21853
3459.10/3470.14 c #Conflicts: 1043000 | #Constraints: 22859
3459.10/3470.14 c #Conflicts: 1044000 | #Constraints: 23863
3459.10/3470.14 c #Conflicts: 1045000 | #Constraints: 24872
3459.10/3470.14 c #Conflicts: 1046000 | #Constraints: 25874
3459.10/3470.14 c #Conflicts: 1047000 | #Constraints: 26878
3459.10/3470.14 c #Conflicts: 1048000 | #Constraints: 27882
3459.10/3470.14 c #Conflicts: 1049000 | #Constraints: 28886
3459.10/3470.14 c #Conflicts: 1050000 | #Constraints: 29887
3459.10/3470.14 c #Conflicts: 1051000 | #Constraints: 30891
3459.10/3470.14 c #Conflicts: 1052000 | #Constraints: 31894
3459.10/3470.14 c #Conflicts: 1053000 | #Constraints: 32900
3459.10/3470.14 c #Conflicts: 1054000 | #Constraints: 33901
3459.10/3470.14 c #Conflicts: 1055000 | #Constraints: 34905
3459.10/3470.14 c #Conflicts: 1056000 | #Constraints: 35906
3459.10/3470.14 c #Conflicts: 1057000 | #Constraints: 36908
3459.10/3470.14 c #Conflicts: 1058000 | #Constraints: 37911
3459.10/3470.14 c #Conflicts: 1059000 | #Constraints: 38914
3459.10/3470.14 c #Conflicts: 1060000 | #Constraints: 39921
3459.10/3470.14 c #Conflicts: 1061000 | #Constraints: 40923
3459.10/3470.14 c #Conflicts: 1062000 | #Constraints: 41928
3459.10/3470.14 c INPROCESSING
3459.10/3470.14 c GARBAGE COLLECT
3459.10/3470.14 c rational objective 9
3459.90/3471.00 c GLOBAL bounds - >= 9 @ 3417.65
3459.90/3471.00 c GLOBAL bounds - >= 9 @ 3417.65
3582.94/3594.30 c #Conflicts: 1063000 | #Constraints: 22410
3582.94/3594.30 c #Conflicts: 1064000 | #Constraints: 23414
3582.94/3594.30 c #Conflicts: 1065000 | #Constraints: 24417
3582.94/3594.30 c #Conflicts: 1066000 | #Constraints: 25421
3582.94/3594.30 c #Conflicts: 1067000 | #Constraints: 26422
3582.94/3594.30 c #Conflicts: 1068000 | #Constraints: 27424
3582.94/3594.30 c #Conflicts: 1069000 | #Constraints: 28425
3582.94/3594.30 c #Conflicts: 1070000 | #Constraints: 29425
3582.94/3594.30 c #Conflicts: 1071000 | #Constraints: 30425
3582.94/3594.30 c #Conflicts: 1072000 | #Constraints: 31426
3582.94/3594.30 c #Conflicts: 1073000 | #Constraints: 32429
3582.94/3594.30 c #Conflicts: 1074000 | #Constraints: 33432
3582.94/3594.30 c #Conflicts: 1075000 | #Constraints: 34432
3582.94/3594.30 c #Conflicts: 1076000 | #Constraints: 35432
3582.94/3594.30 c #Conflicts: 1077000 | #Constraints: 36434
3582.94/3594.30 c #Conflicts: 1078000 | #Constraints: 37435
3582.94/3594.30 c #Conflicts: 1079000 | #Constraints: 38436
3582.94/3594.30 c #Conflicts: 1080000 | #Constraints: 39438
3582.94/3594.30 c #Conflicts: 1081000 | #Constraints: 40438
3582.94/3594.30 c #Conflicts: 1082000 | #Constraints: 41440
3582.94/3594.30 c #Conflicts: 1083000 | #Constraints: 42441
3582.94/3594.30 c INPROCESSING
3582.94/3594.30 c GARBAGE COLLECT
3582.94/3594.30 c rational objective 9
3584.04/3595.48 c GLOBAL bounds - >= 9 @ 3540.64
3584.04/3595.48 c GLOBAL bounds - >= 9 @ 3540.64
3600.09/3611.50 c #Conflicts: 1084000 | #Constraints: 22711
3600.09/3611.50 c #Conflicts: 1085000 | #Constraints: 23714
3600.09/3611.50 c #Conflicts: 1086000 | #Constraints: 24717
3600.09/3611.50 c #Conflicts: 1087000 | #Constraints: 25720
3600.09/3611.50 c #Conflicts: 1088000 | #Constraints: 26723
3600.09/3611.50 c cpu time 3556.4 s
3600.09/3611.50 c deterministic time 336397893992 3.36e+11
3600.09/3611.50 c optimization time 15.7774 s
3600.09/3611.50 c total solve time 3540.57 s
3600.09/3611.50 c core-guided solve time 0 s
3600.09/3611.50 c propagation time 2138.91 s
3600.09/3611.50 c conflict analysis time 1141.49 s
3600.09/3611.50 c propagations 549301007
3600.09/3611.50 c resolve steps 5410657
3600.09/3611.50 c decisions 15998854
3600.09/3611.50 c conflicts 1088380
3600.09/3611.50 c restarts 2046
3600.09/3611.50 c inprocessing phases 95
3600.09/3611.50 c garbage collections 95 ,( 100.00 )
3600.09/3611.50 c input clauses 8512 ,( 92.66 )
3600.09/3611.50 c input cardinalities 98 ,( 1.07 )
3600.09/3611.50 c input general constraints 576 ,( 6.27 )
3600.09/3611.50 c input average constraint length 9.75
3600.09/3611.50 c input average constraint degree 71.75
3600.09/3611.50 c learned clauses 60930 ,( 5.54 )
3600.09/3611.50 c learned cardinalities 5504 ,( 0.50 )
3600.09/3611.50 c learned general constraints 1033038 ,( 93.96 )
3600.09/3611.50 c learned average constraint length 1350.30
3600.09/3611.50 c learned average constraint degree 11443535624.12
3600.09/3611.50 c watched CF 32, 64, 128, Arb: 320755 , 0 , 0 , 0
3600.09/3611.50 c counting CF 32, 64, 128, Arb: 712860 , 0 , 0 , 0
3600.09/3611.50 c watched constraints 320755 ,( 31.03 )
3600.09/3611.50 c counting constraints 712859 ,( 68.97 )
3600.09/3611.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 8707646 , 8584936 , 4122571465 ,( 265379127 , 3857192338 )
3600.09/3611.50 c gcd simplifications 29421
3600.09/3611.50 c detected cardinalities 114
3600.09/3611.50 c weakened non-implied lits 599236472
3600.09/3611.50 c weakened non-implying lits 1578097
3600.09/3611.50 c original variables 8424
3600.09/3611.50 c clausal propagations 931857
3600.09/3611.50 c cardinality propagations 58256475
3600.09/3611.50 c watched propagations 1709443
3600.09/3611.50 c counting propagations 468257943
3600.09/3611.50 c watch lookups 159065413300
3600.09/3611.50 c watch backjump lookups 0
3600.09/3611.50 c watch checks 60439070089
3600.09/3611.50 c propagation checks 110646420444
3600.09/3611.50 c constraint additions 5114134944
3600.09/3611.50 c trail pops 566380916
3600.09/3611.50 c formula constraints 9186
3600.09/3611.50 c learned constraints 1085616
3600.09/3611.50 c bound constraints 0
3600.09/3611.50 c core-guided constraints 0
3600.09/3611.50 c encountered formula constraints 3350039
3600.09/3611.50 c encountered learned constraints 2501540
3600.09/3611.50 c encountered bound constraints 0
3600.09/3611.50 c encountered core-guided constraints 0
3600.09/3611.50 c LP total time 336.556 s
3600.09/3611.50 c LP solve time 210.15 s
3600.09/3611.50 c LP constraints added 10039
3600.09/3611.50 c LP constraints removed 838
3600.09/3611.50 c LP pivots internal 1088429
3600.09/3611.50 c LP pivots root 86008
3600.09/3611.50 c LP calls 11825
3600.09/3611.50 c LP optimalities 1081
3600.09/3611.50 c LP no pivot count 356
3600.09/3611.50 c LP infeasibilities 10735
3600.09/3611.50 c LP valid Farkas constraints 10734
3600.09/3611.50 c LP learned Farkas constraints 2763
3600.09/3611.50 c LP basis resets 7
3600.09/3611.50 c LP cycling count 0
3600.09/3611.50 c LP singular count 6
3600.09/3611.50 c LP no primal count 0
3600.09/3611.50 c LP no farkas count 1
3600.09/3611.50 c LP other issue count 0
3600.09/3611.50 c LP Gomory cuts 359
3600.09/3611.50 c LP learned cuts 494
3600.09/3611.50 c LP deleted cuts 838
3600.09/3611.50 c LP encountered Gomory constraints 1192
3600.09/3611.50 c LP encountered Farkas constraints 580862
3600.09/3611.50 c LP encountered learned Farkas constraints 62641
3600.09/3611.50 c CG auxiliary variables introduced 1
3600.09/3611.50 c CG solutions found 0
3600.09/3611.50 c CG cores constructed 0
3600.09/3611.50 c CG core cardinality constraints returned 0
3600.09/3611.50 c CG unit cores 0
3600.09/3611.50 c CG single cores 0
3600.09/3611.50 c CG blocks removed during cardinality reduction 0
3600.09/3611.50 c CG first core best 0
3600.09/3611.50 c CG decision core best 0
3600.09/3611.50 c CG core reduction tie 0
3600.09/3611.50 c CG core degree average 0.00
3600.09/3611.50 c CG core slack average 0.00
3600.09/3611.50 c CG core upper bound improvements 0
3600.09/3611.50 c STR number of successful calls 0
3600.09/3611.50 c STR number of unsuccessful calls 0
3600.09/3611.50 c STR number of inconclusive calls 0
3600.09/3611.50 c STR number of successful attempts 0
3600.09/3611.50 c STR number of unsuccessful attempts 0
3600.09/3611.50 c STR number of inconclusive attempts 0
3600.09/3611.50 c STR average degree increase per successful call inf
3600.09/3611.50 c STR average degree increase per successful attempt inf
3600.09/3611.50 c STR total number of conflicts for successful attempts 0
3600.09/3611.50 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3611.50 c STR total number of conflicts for inconclusive attempts 0
3600.09/3611.50 c STR average number of conflicts per successful attempt inf
3600.09/3611.50 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3611.50 c STR average number of conflicts per inconclusive attempt inf
3600.09/3611.50 c AVG.sumWPerc 53.67
3600.09/3611.50 c bigint constraints 0
3600.09/3611.50 s UNKNOWN
3600.09/3611.50 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (38056 MiB free)
memory of node 1: 64465 MiB (852 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498983-1751468859/watcher-4498983-1751468859 -o /tmp/evaluation-result-4498983-1751468859/solver-4498983-1751468859 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751461732-74233 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4498983-1751468859.opb PROOFDIR/proof-4498983-1751468859
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 FSIZE limit: 102400000 KiB
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
Starting watchdog thread
solver pid=75063, runsolver pid=75060
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.34 4.22 4.19 5/273 75065
/proc/meminfo: memFree=39837664/131249992 swapFree=33010160/33010684
[pid=75063] ppid=75060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/75063/stat : 75063 (run-opt-log.sh) S 75060 75063 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62564660 4292608 736 18446744073709551615 94596351631360 94596352525893 140731833130048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596352764944 94596352812688 94596355354624 140731833137441 140731833137636 140731833137636 140731833143238 0
/proc/75063/statm: 1048 736 672 219 0 110 0
[pid=75065] ppid=75063 vsize=85712 memory=31728 CPUtime=0.08 cores=4,6
/proc/75065/stat : 75065 (roundingsat) R 75063 75063 74222 0 -1 4194304 6245 0 0 0 6 2 0 0 20 0 1 0 62564661 87769088 7932 18446744073709551615 4227072 8923433 140722424070880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 0
/proc/75065/statm: 21428 7932 2368 1147 0 8855 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 89904 KiB
Current children cumulated memory: 34672 KiB
[startup+0.205695 s]*
/proc/loadavg: 4.34 4.22 4.19 5/273 75065
/proc/meminfo: memFree=39812716/131249992 swapFree=33010160/33010684
[pid=75063] ppid=75060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/75063/stat : 75063 (run-opt-log.sh) S 75060 75063 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62564660 4292608 736 18446744073709551615 94596351631360 94596352525893 140731833130048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596352764944 94596352812688 94596355354624 140731833137441 140731833137636 140731833137636 140731833143238 0
/proc/75063/statm: 1048 736 672 219 0 110 0
[pid=75065] ppid=75063 vsize=90580 memory=37488 CPUtime=0.19 cores=4,6
/proc/75065/stat : 75065 (roundingsat) R 75063 75063 74222 0 -1 4194304 7647 0 0 0 16 3 0 0 20 0 1 0 62564661 92753920 9372 18446744073709551615 4227072 8923433 140722424070880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 0
/proc/75065/statm: 22645 9372 2400 1147 0 10072 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 94772 KiB
Current children cumulated memory: 40432 KiB
[startup+0.305622 s]*
/proc/loadavg: 4.34 4.22 4.19 5/273 75065
/proc/meminfo: memFree=39804692/131249992 swapFree=33010160/33010684
[pid=75063] ppid=75060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/75063/stat : 75063 (run-opt-log.sh) S 75060 75063 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62564660 4292608 736 18446744073709551615 94596351631360 94596352525893 140731833130048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596352764944 94596352812688 94596355354624 140731833137441 140731833137636 140731833137636 140731833143238 0
/proc/75063/statm: 1048 736 672 219 0 110 0
[pid=75065] ppid=75063 vsize=90864 memory=38256 CPUtime=0.28 cores=4,6
/proc/75065/stat : 75065 (roundingsat) R 75063 75063 74222 0 -1 4194304 7795 0 0 0 25 3 0 0 20 0 1 0 62564661 93044736 9564 18446744073709551615 4227072 8923433 140722424070880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 0
/proc/75065/statm: 22716 9564 2432 1147 0 10143 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 95056 KiB
Current children cumulated memory: 41200 KiB
[startup+0.700202 s]
/proc/loadavg: 4.34 4.22 4.19 5/273 75065
/proc/meminfo: memFree=39804692/131249992 swapFree=33010160/33010684
[pid=75063] ppid=75060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/75063/stat : 75063 (run-opt-log.sh) S 75060 75063 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62564660 4292608 736 18446744073709551615 94596351631360 94596352525893 140731833130048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596352764944 94596352812688 94596355354624 140731833137441 140731833137636 140731833137636 140731833143238 0
/proc/75063/statm: 1048 736 672 219 0 110 0
[pid=75065] ppid=75063 vsize=94296 memory=43384 CPUtime=0.67 cores=4,6
/proc/75065/stat : 75065 (roundingsat) R 75063 75063 74222 0 -1 4194304 8579 0 0 0 62 5 0 0 20 0 1 0 62564661 96559104 10846 18446744073709551615 4227072 8923433 140722424070880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 0
/proc/75065/statm: 23574 10846 2432 1147 0 11001 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 98488 KiB
Current children cumulated memory: 46328 KiB
[startup+1.50021 s]
/proc/loadavg: 4.34 4.22 4.19 5/273 75065
/proc/meminfo: memFree=39760844/131249992 swapFree=33010160/33010684
[pid=75063] ppid=75060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/75063/stat : 75063 (run-opt-log.sh) S 75060 75063 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62564660 4292608 736 18446744073709551615 94596351631360 94596352525893 140731833130048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596352764944 94596352812688 94596355354624 140731833137441 140731833137636 140731833137636 140731833143238 0
/proc/75063/statm: 1048 736 672 219 0 110 0
[pid=75065] ppid=75063 vsize=117004 memory=64764 CPUtime=1.48 cores=4,6
/proc/75065/stat : 75065 (roundingsat) R 75063 75063 74222 0 -1 4194304 13404 0 0 0 139 9 0 0 20 0 1 0 62564661 119812096 16191 18446744073709551615 4227072 8923433 140722424070880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 0
/proc/75065/statm: 29251 16191 2432 1147 0 16678 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 121196 KiB
Current children cumulated memory: 67708 KiB
[startup+3.10544 s]
/proc/loadavg: 4.34 4.22 4.19 5/273 75065
/proc/meminfo: memFree=39568008/131249992 swapFree=33010160/33010684
[pid=75063] ppid=75060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/75063/stat : 75063 (run-opt-log.sh) S 75060 75063 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62564660 4292608 736 18446744073709551615 94596351631360 94596352525893 140731833130048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596352764944 94596352812688 94596355354624 140731833137441 140731833137636 140731833137636 140731833143238 0
/proc/75063/statm: 1048 736 672 219 0 110 0
[pid=75065] ppid=75063 vsize=148232 memory=93564 CPUtime=3.08 cores=4,6
/proc/75065/stat : 75065 (roundingsat) R 75063 75063 74222 0 -1 4194304 20607 0 0 0 295 13 0 0 20 0 1 0 62564661 151789568 23391 18446744073709551615 4227072 8923433 140722424070880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 0
/proc/75065/statm: 37058 23391 2432 1147 0 24485 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 152424 KiB
Current children cumulated memory: 96508 KiB
[startup+6.30021 s]
/proc/loadavg: 4.31 4.21 4.19 5/272 75065
/proc/meminfo: memFree=39375500/131249992 swapFree=33010160/33010684
[pid=75063] ppid=75060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/75063/stat : 75063 (run-opt-log.sh) S 75060 75063 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62564660 4292608 736 18446744073709551615 94596351631360 94596352525893 140731833130048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596352764944 94596352812688 94596355354624 140731833137441 140731833137636 140731833137636 140731833143238 0
/proc/75063/statm: 1048 736 672 219 0 110 0
[pid=75065] ppid=75063 vsize=183292 memory=120852 CPUtime=6.26 cores=4,6
/proc/75065/stat : 75065 (roundingsat) R 75063 75063 74222 0 -1 4194304 25405 0 0 0 607 19 0 0 20 0 1 0 62564661 187691008 30213 18446744073709551615 4227072 8923433 140722424070880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 0
/proc/75065/statm: 45823 30213 2432 1147 0 33250 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 187484 KiB
Current children cumulated memory: 123796 KiB
[startup+12.7002 s]
/proc/loadavg: 4.29 4.21 4.19 5/272 75066
/proc/meminfo: memFree=39055300/131249992 swapFree=33010160/33010684
[pid=75063] ppid=75060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/75063/stat : 75063 (run-opt-log.sh) S 75060 75063 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62564660 4292608 736 18446744073709551615 94596351631360 94596352525893 140731833130048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596352764944 94596352812688 94596355354624 140731833137441 140731833137636 140731833137636 140731833143238 0
/proc/75063/statm: 1048 736 672 219 0 110 0
[pid=75065] ppid=75063 vsize=223892 memory=163808 CPUtime=12.64 cores=4,6
/proc/75065/stat : 75065 (roundingsat) R 75063 75063 74222 0 -1 4194304 35620 0 0 0 1228 36 0 0 20 0 1 0 62564661 229265408 40952 18446744073709551615 4227072 8923433 140722424070880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 0
/proc/75065/statm: 55973 40952 2432 1147 0 43400 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 228084 KiB
Current children cumulated memory: 166752 KiB
[startup+25.5002 s]
/proc/loadavg: 4.30 4.21 4.19 5/272 75066
/proc/meminfo: memFree=38283960/131249992 swapFree=33010160/33010684
[pid=75063] ppid=75060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/75063/stat : 75063 (run-opt-log.sh) S 75060 75063 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62564660 4292608 736 18446744073709551615 94596351631360 94596352525893 140731833130048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596352764944 94596352812688 94596355354624 140731833137441 140731833137636 140731833137636 140731833143238 0
/proc/75063/statm: 1048 736 672 219 0 110 0
[pid=75065] ppid=75063 vsize=266804 memory=202128 CPUtime=25.4 cores=4,6
/proc/75065/stat : 75065 (roundingsat) R 75063 75063 74222 0 -1 4194304 41643 0 0 0 2478 62 0 0 20 0 1 0 62564661 273207296 50532 18446744073709551615 4227072 8923433 140722424070880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 0
/proc/75065/statm: 66701 50532 2432 1147 0 54128 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 270996 KiB
Current children cumulated memory: 205072 KiB
[startup+51.1055 s]
/proc/loadavg: 4.26 4.21 4.19 5/271 75066
/proc/meminfo: memFree=36875088/131249992 swapFree=33010160/33010684
[pid=75063] ppid=75060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/75063/stat : 75063 (run-opt-log.sh) S 75060 75063 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62564660 4292608 736 18446744073709551615 94596351631360 94596352525893 140731833130048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596352764944 94596352812688 94596355354624 140731833137441 140731833137636 140731833137636 140731833143238 0
/proc/75063/statm: 1048 736 672 219 0 110 0
[pid=75065] ppid=75063 vsize=381228 memory=298032 CPUtime=50.93 cores=4,6
/proc/75065/stat : 75065 (roundingsat) R 75063 75063 74222 0 -1 4194304 64599 0 0 0 4979 114 0 0 20 0 1 0 62564661 390377472 74508 18446744073709551615 4227072 8923433 140722424070880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 0
/proc/75065/statm: 95307 74508 2432 1147 0 82734 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 385420 KiB
Current children cumulated memory: 300976 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.19 4.18 5/272 75069
/proc/meminfo: memFree=34162516/131249992 swapFree=33010160/33010684
[pid=75063] ppid=75060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/75063/stat : 75063 (run-opt-log.sh) S 75060 75063 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62564660 4292608 736 18446744073709551615 94596351631360 94596352525893 140731833130048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596352764944 94596352812688 94596355354624 140731833137441 140731833137636 140731833137636 140731833143238 0
/proc/75063/statm: 1048 736 672 219 0 110 0
[pid=75065] ppid=75063 vsize=509540 memory=409292 CPUtime=101.97 cores=4,6
/proc/75065/stat : 75065 (roundingsat) R 75063 75063 74222 0 -1 4194304 86799 0 0 0 9996 201 0 0 20 0 1 0 62564661 521768960 102323 18446744073709551615 4227072 8923433 140722424070880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 0
/proc/75065/statm: 127385 102323 2432 1147 0 114812 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 513732 KiB
Current children cumulated memory: 412236 KiB
[startup+162.3 s]
/proc/loadavg: 4.28 4.22 4.19 5/273 75256
/proc/meminfo: memFree=126200008/131249992 swapFree=33010160/33010684
[pid=75063] ppid=75060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/75063/stat : 75063 (run-opt-log.sh) S 75060 75063 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62564660 4292608 736 18446744073709551615 94596351631360 94596352525893 140731833130048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596352764944 94596352812688 94596355354624 140731833137441 140731833137636 140731833137636 140731833143238 0
/proc/75063/statm: 1048 736 672 219 0 110 0
[pid=75065] ppid=75063 vsize=604056 memory=498908 CPUtime=161.75 cores=4,6
/proc/75065/stat : 75065 (roundingsat) R 75063 75063 74222 0 -1 4194304 109727 0 0 0 15851 324 0 0 20 0 1 0 62564661 618553344 124727 18446744073709551615 4227072 8923433 140722424070880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 0
/proc/75065/statm: 151014 124727 2432 1147 0 138441 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 608248 KiB
Current children cumulated memory: 501852 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/273 75258
/proc/meminfo: memFree=123745108/131249992 swapFree=33010160/33010684
[pid=75063] ppid=75060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/75063/stat : 75063 (run-opt-log.sh) S 75060 75063 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62564660 4292608 736 18446744073709551615 94596351631360 94596352525893 140731833130048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596352764944 94596352812688 94596355354624 140731833137441 140731833137636 140731833137636 140731833143238 0
/proc/75063/statm: 1048 736 672 219 0 110 0
[pid=75065] ppid=75063 vsize=734352 memory=576468 CPUtime=221.56 cores=4,6
/proc/75065/stat : 75065 (roundingsat) R 75063 75063 74222 0 -1 4194304 127902 0 0 0 21725 431 0 0 20 0 1 0 62564661 751976448 144117 18446744073709551615 4227072 8923433 140722424070880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 0
/proc/75065/statm: 183588 144117 2432 1147 0 171015 0
################
# More data... #
################
Current children cumulated memory: 2698660 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/274 75576
/proc/meminfo: memFree=47347192/131249992 swapFree=33010160/33010684
[pid=75063] ppid=75060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/75063/stat : 75063 (run-opt-log.sh) S 75060 75063 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62564660 4292608 736 18446744073709551615 94596351631360 94596352525893 140731833130048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596352764944 94596352812688 94596355354624 140731833137441 140731833137636 140731833137636 140731833143238 0
/proc/75063/statm: 1048 736 672 219 0 110 0
[pid=75065] ppid=75063 vsize=3148364 memory=2736804 CPUtime=3331.72 cores=4,6
/proc/75065/stat : 75065 (roundingsat) R 75063 75063 74222 0 -1 4194304 505694 0 0 0 329057 4115 0 0 20 0 1 0 62564661 3223924736 684201 18446744073709551615 4227072 8923433 140722424070880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 0
/proc/75065/statm: 787091 684201 2560 1147 0 774518 0
Current children cumulated CPU time: 3331.72 s
Current children cumulated vsize: 3152556 KiB
Current children cumulated memory: 2739748 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/273 75583
/proc/meminfo: memFree=45960576/131249992 swapFree=33010160/33010684
[pid=75063] ppid=75060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/75063/stat : 75063 (run-opt-log.sh) S 75060 75063 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62564660 4292608 736 18446744073709551615 94596351631360 94596352525893 140731833130048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596352764944 94596352812688 94596355354624 140731833137441 140731833137636 140731833137636 140731833143238 0
/proc/75063/statm: 1048 736 672 219 0 110 0
[pid=75065] ppid=75063 vsize=3182444 memory=2759332 CPUtime=3391.5 cores=4,6
/proc/75065/stat : 75065 (roundingsat) R 75063 75063 74222 0 -1 4194304 511343 0 0 0 334971 4179 0 0 20 0 1 0 62564661 3258822656 689833 18446744073709551615 4227072 8923433 140722424070880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 0
/proc/75065/statm: 795611 689833 2560 1147 0 783038 0
Current children cumulated CPU time: 3391.5 s
Current children cumulated vsize: 3186636 KiB
Current children cumulated memory: 2762276 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/273 75585
/proc/meminfo: memFree=44819000/131249992 swapFree=33010160/33010684
[pid=75063] ppid=75060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/75063/stat : 75063 (run-opt-log.sh) S 75060 75063 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62564660 4292608 736 18446744073709551615 94596351631360 94596352525893 140731833130048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596352764944 94596352812688 94596355354624 140731833137441 140731833137636 140731833137636 140731833143238 0
/proc/75063/statm: 1048 736 672 219 0 110 0
[pid=75065] ppid=75063 vsize=3279568 memory=2825764 CPUtime=3451.33 cores=4,6
/proc/75065/stat : 75065 (roundingsat) R 75063 75063 74222 0 -1 4194304 528731 0 0 0 340904 4229 0 0 20 0 1 0 62564661 3358277632 706441 18446744073709551615 4227072 8923433 140722424070880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 0
/proc/75065/statm: 819892 706441 2560 1147 0 807319 0
Current children cumulated CPU time: 3451.33 s
Current children cumulated vsize: 3283760 KiB
Current children cumulated memory: 2828708 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.13 4.14 5/273 75587
/proc/meminfo: memFree=43425284/131249992 swapFree=33010160/33010684
[pid=75063] ppid=75060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/75063/stat : 75063 (run-opt-log.sh) S 75060 75063 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62564660 4292608 736 18446744073709551615 94596351631360 94596352525893 140731833130048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596352764944 94596352812688 94596355354624 140731833137441 140731833137636 140731833137636 140731833143238 0
/proc/75063/statm: 1048 736 672 219 0 110 0
[pid=75065] ppid=75063 vsize=3296884 memory=2839460 CPUtime=3511.15 cores=4,6
/proc/75065/stat : 75065 (roundingsat) R 75063 75063 74222 0 -1 4194304 532316 0 0 0 346822 4293 0 0 20 0 1 0 62564661 3376009216 709865 18446744073709551615 4227072 8923433 140722424070880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 0
/proc/75065/statm: 824221 709865 2560 1147 0 811648 0
Current children cumulated CPU time: 3511.15 s
Current children cumulated vsize: 3301076 KiB
Current children cumulated memory: 2842404 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/273 75590
/proc/meminfo: memFree=42369288/131249992 swapFree=33010160/33010684
[pid=75063] ppid=75060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/75063/stat : 75063 (run-opt-log.sh) S 75060 75063 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62564660 4292608 736 18446744073709551615 94596351631360 94596352525893 140731833130048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596352764944 94596352812688 94596355354624 140731833137441 140731833137636 140731833137636 140731833143238 0
/proc/75063/statm: 1048 736 672 219 0 110 0
[pid=75065] ppid=75063 vsize=3303252 memory=2843940 CPUtime=3570.97 cores=4,6
/proc/75065/stat : 75065 (roundingsat) R 75063 75063 74222 0 -1 4194304 533493 0 0 0 352760 4337 0 0 20 0 1 0 62564661 3382530048 710985 18446744073709551615 4227072 8923433 140722424070880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 0
/proc/75065/statm: 825813 710985 2560 1147 0 813240 0
Current children cumulated CPU time: 3570.97 s
Current children cumulated vsize: 3307444 KiB
Current children cumulated memory: 2846884 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 4.12 4.12 4.13 5/274 75592
/proc/meminfo: memFree=41705352/131249992 swapFree=33010160/33010684
[pid=75063] ppid=75060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/75063/stat : 75063 (run-opt-log.sh) S 75060 75063 74222 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62564660 4292608 736 18446744073709551615 94596351631360 94596352525893 140731833130048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94596352764944 94596352812688 94596355354624 140731833137441 140731833137636 140731833137636 140731833143238 0
/proc/75063/statm: 1048 736 672 219 0 110 0
[pid=75065] ppid=75063 vsize=3309684 memory=2849572 CPUtime=3600.09 cores=4,6
/proc/75065/stat : 75065 (roundingsat) R 75063 75063 74222 0 -1 4194304 534917 0 0 0 355640 4369 0 0 20 0 1 0 62564661 3389116416 712393 18446744073709551615 4227072 8923433 140722424070880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 0
/proc/75065/statm: 827421 712393 2560 1147 0 814848 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3313876 KiB
Current children cumulated memory: 2852516 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.5 s]
# the end of solver process 75063 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001519 s, system=0.000758 s
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.12 4.12 4.13 4/273 75592
/proc/meminfo: memFree=41581784/131249992 swapFree=33010160/33010684
[pid=75065] ppid=75060 vsize=3309684 memory=2849700 CPUtime=3601.21 cores=4,6
/proc/75065/stat : 75065 (roundingsat) D 75060 75063 74222 0 -1 4194304 534920 0 0 0 355640 4481 0 0 20 0 1 0 62564661 3389116416 712425 18446744073709551615 4227072 8923433 140722424070880 0 0 256 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 9
/proc/75065/statm: 827421 712425 2592 1147 0 814848 0
??? kill 75065 sig 9
??? end of watcher thread
[startup+3626.64 s]
# the end of solver process 75065 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3556.45 s, system=45.3326 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.12 4.12 4.13 5/273 75592
/proc/meminfo: memFree=41649356/131249992 swapFree=33010160/33010684
[pid=75065] ppid=75060 vsize=3309684 memory=2849700 CPUtime=3601.19 cores=4,6
/proc/75065/stat : 75065 (roundingsat) R 75060 75063 74222 0 -1 4194304 534920 0 0 0 355640 4479 0 0 20 0 1 0 62564661 3389116416 712425 18446744073709551615 4227072 8923433 140722424070880 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 0
/proc/75065/statm: 827421 712425 2592 1147 0 814848 0
Current cumulated CPU time of completed processes: 0.002277 s
Current children cumulated CPU time: 3601.19 s
Current children cumulated vsize: 3309684 KiB
Current children cumulated memory: 2849700 KiB
[startup+3613.2 s]
/proc/loadavg: 4.12 4.12 4.13 4/273 75592
/proc/meminfo: memFree=41588036/131249992 swapFree=33010160/33010684
[pid=75065] ppid=75060 vsize=3309684 memory=2849700 CPUtime=3601.21 cores=4,6
/proc/75065/stat : 75065 (roundingsat) R 75060 75063 74222 0 -1 4194304 534920 0 0 0 355640 4481 0 0 20 0 1 0 62564661 3389116416 712425 18446744073709551615 4227072 8923433 140722424070880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 0
/proc/75065/statm: 827421 712425 2592 1147 0 814848 0
Current cumulated CPU time of completed processes: 0.002277 s
Current children cumulated CPU time: 3601.21 s
Current children cumulated vsize: 3309684 KiB
Current children cumulated memory: 2849700 KiB
[startup+3613.4 s]
/proc/loadavg: 4.12 4.12 4.13 4/273 75592
/proc/meminfo: memFree=41588036/131249992 swapFree=33010160/33010684
[pid=75065] ppid=75060 vsize=3309684 memory=2849700 CPUtime=3601.21 cores=4,6
/proc/75065/stat : 75065 (roundingsat) D 75060 75063 74222 0 -1 4194304 534920 0 0 0 355640 4481 0 0 20 0 1 0 62564661 3389116416 712425 18446744073709551615 4227072 8923433 140722424070880 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 0
/proc/75065/statm: 827421 712425 2592 1147 0 814848 0
Current cumulated CPU time of completed processes: 0.002277 s
Current children cumulated CPU time: 3601.21 s
Current children cumulated vsize: 3309684 KiB
Current children cumulated memory: 2849700 KiB
[startup+3613.5 s]
/proc/loadavg: 4.12 4.12 4.13 4/273 75592
/proc/meminfo: memFree=41588036/131249992 swapFree=33010160/33010684
[pid=75065] ppid=75060 vsize=3309684 memory=2849700 CPUtime=3601.21 cores=4,6
/proc/75065/stat : 75065 (roundingsat) D 75060 75063 74222 0 -1 4194304 534920 0 0 0 355640 4481 0 0 20 0 1 0 62564661 3389116416 712425 18446744073709551615 4227072 8923433 140722424070880 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 19423232 140722424072530 140722424072744 140722424072744 140722424078314 0
/proc/75065/statm: 827421 712425 2592 1147 0 814848 0
Current cumulated CPU time of completed processes: 0.002277 s
Current children cumulated CPU time: 3601.21 s
Current children cumulated vsize: 3309684 KiB
Current children cumulated memory: 2849700 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3626.64
CPU time (s): 3601.78
CPU user time (s): 3556.45
CPU system time (s): 45.3326
CPU usage (%): 99.3145
Max. virtual memory (cumulated for all children) (KiB): 3313876
Max. memory (cumulated for all children) (KiB): 2852516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.45
system time used= 45.3326
maximum resident set size= 2849700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 535128
page faults= 0
swaps= 0
block input operations= 0
block output operations= 67339080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 387180
involuntary context switches= 24732
# summary of solver processes directly reported to runsolver:
# pid: 75063,75065
# total CPU time (s): 3601.78
# total CPU user time (s): 3556.45
# total CPU system time (s): 45.3326
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.06052 second user time and 16.4252 second system time
The end
Begin job on nodeC025 at 2025-07-02 17:07:39
IDJOB=4498983
IDBENCH=148768
IDSOLVER=3351
FILE ID=nodeC025/4498983-1751468859
RUNJOBID= nodeC025-1751461732-74233
SLURM_JOB_ID= 9598466
Free space on /tmp= 432924 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498983-1751468859/watcher-4498983-1751468859 -o /tmp/evaluation-result-4498983-1751468859/solver-4498983-1751468859 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751461732-74233 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4498983-1751468859.opb PROOFDIR/proof-4498983-1751468859
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=1941684690
nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.809
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.835
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.828
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.400
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.807
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.841
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.878
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3681.257
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 39841912 kB
MemAvailable: 86689688 kB
Buffers: 2128 kB
Cached: 47491540 kB
SwapCached: 200 kB
Active: 42994984 kB
Inactive: 47251420 kB
Active(anon): 42737432 kB
Inactive(anon): 33220 kB
Active(file): 257552 kB
Inactive(file): 47218200 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 2954100 kB
Writeback: 4 kB
AnonPages: 42755720 kB
Mapped: 117040 kB
Shmem: 17856 kB
KReclaimable: 422524 kB
Slab: 608944 kB
SReclaimable: 422524 kB
SUnreclaim: 186420 kB
KernelStack: 4432 kB
PageTables: 93192 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 48742372 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150696 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8574976 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432948 MiB
End job on nodeC025 at 2025-07-02 18:08:06