0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 120 #constraints 10
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 11 , 0 , 0 , 0
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.001054
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.001068
0.00/0.03 c rational objective 0
0.67/0.79 c #Conflicts: 1000 | #Constraints: 1518
0.67/0.79 c #Conflicts: 2000 | #Constraints: 3057
0.67/0.79 c INPROCESSING
0.67/0.79 c GARBAGE COLLECT
0.67/0.79 c rational objective 0
1.36/1.43 c #Conflicts: 3000 | #Constraints: 2554
1.36/1.43 c #Conflicts: 4000 | #Constraints: 3558
1.36/1.43 c INPROCESSING
1.36/1.43 c GARBAGE COLLECT
1.36/1.43 c rational objective 0
1.97/2.09 c #Conflicts: 5000 | #Constraints: 3087
1.97/2.09 c #Conflicts: 6000 | #Constraints: 4589
1.97/2.09 c INPROCESSING
1.97/2.09 c GARBAGE COLLECT
1.97/2.09 c rational objective 0
2.76/2.83 c #Conflicts: 7000 | #Constraints: 3311
2.76/2.83 c #Conflicts: 8000 | #Constraints: 4809
2.76/2.83 c #Conflicts: 9000 | #Constraints: 6133
2.76/2.83 c INPROCESSING
2.76/2.83 c GARBAGE COLLECT
2.76/2.83 c rational objective 0
3.46/3.50 c #Conflicts: 10000 | #Constraints: 4029
3.46/3.50 c #Conflicts: 11000 | #Constraints: 5031
3.46/3.50 c #Conflicts: 12000 | #Constraints: 6033
3.46/3.50 c INPROCESSING
3.46/3.50 c GARBAGE COLLECT
3.46/3.50 c rational objective 0
4.07/4.19 c #Conflicts: 13000 | #Constraints: 4027
4.07/4.19 c #Conflicts: 14000 | #Constraints: 5027
4.07/4.19 c #Conflicts: 15000 | #Constraints: 6028
4.07/4.19 c INPROCESSING
4.07/4.19 c GARBAGE COLLECT
4.07/4.19 c rational objective 0
5.24/5.32 c #Conflicts: 16000 | #Constraints: 4546
5.24/5.32 c #Conflicts: 17000 | #Constraints: 6021
5.24/5.32 c #Conflicts: 18000 | #Constraints: 7532
5.24/5.32 c INPROCESSING
5.24/5.32 c GARBAGE COLLECT
5.24/5.32 c rational objective 0
6.35/6.45 c #Conflicts: 19000 | #Constraints: 5114
6.35/6.45 c #Conflicts: 20000 | #Constraints: 6610
6.35/6.45 c #Conflicts: 21000 | #Constraints: 8115
6.35/6.45 c INPROCESSING
6.35/6.45 c GARBAGE COLLECT
6.35/6.45 c rational objective 0
7.64/7.70 c #Conflicts: 22000 | #Constraints: 5095
7.64/7.70 c #Conflicts: 23000 | #Constraints: 6591
7.64/7.70 c #Conflicts: 24000 | #Constraints: 7922
7.64/7.70 c #Conflicts: 25000 | #Constraints: 9259
7.64/7.70 c INPROCESSING
7.64/7.70 c GARBAGE COLLECT
7.64/7.70 c rational objective 0
8.84/9.01 c #Conflicts: 26000 | #Constraints: 5982
8.84/9.01 c #Conflicts: 27000 | #Constraints: 7010
8.84/9.01 c #Conflicts: 28000 | #Constraints: 8274
8.84/9.01 c #Conflicts: 29000 | #Constraints: 9424
8.84/9.01 c INPROCESSING
8.84/9.01 c GARBAGE COLLECT
8.84/9.01 c rational objective 0
10.53/10.69 c #Conflicts: 30000 | #Constraints: 6222
10.53/10.69 c #Conflicts: 31000 | #Constraints: 7725
10.53/10.69 c #Conflicts: 32000 | #Constraints: 9246
10.53/10.69 c #Conflicts: 33000 | #Constraints: 10757
10.53/10.69 c INPROCESSING
10.53/10.69 c GARBAGE COLLECT
10.53/10.69 c rational objective 0
12.73/12.83 c #Conflicts: 34000 | #Constraints: 6900
12.73/12.83 c #Conflicts: 35000 | #Constraints: 8413
12.73/12.83 c #Conflicts: 36000 | #Constraints: 9910
12.73/12.83 c #Conflicts: 37000 | #Constraints: 11403
12.73/12.83 c INPROCESSING
12.73/12.83 c GARBAGE COLLECT
12.73/12.83 c rational objective 0
15.12/15.26 c #Conflicts: 38000 | #Constraints: 7003
15.12/15.26 c #Conflicts: 39000 | #Constraints: 8513
15.12/15.26 c #Conflicts: 40000 | #Constraints: 9995
15.12/15.26 c #Conflicts: 41000 | #Constraints: 11477
15.12/15.26 c INPROCESSING
15.12/15.26 c GARBAGE COLLECT
15.12/15.26 c rational objective 0
17.81/17.92 c #Conflicts: 42000 | #Constraints: 6782
17.81/17.92 c #Conflicts: 43000 | #Constraints: 8271
17.81/17.92 c #Conflicts: 44000 | #Constraints: 9700
17.81/17.92 c #Conflicts: 45000 | #Constraints: 11102
17.81/17.92 c #Conflicts: 46000 | #Constraints: 12465
17.81/17.92 c INPROCESSING
17.81/17.92 c GARBAGE COLLECT
17.81/17.92 c rational objective 0
20.20/20.32 c #Conflicts: 47000 | #Constraints: 7257
20.20/20.32 c #Conflicts: 48000 | #Constraints: 8289
20.20/20.32 c #Conflicts: 49000 | #Constraints: 9683
20.20/20.32 c #Conflicts: 50000 | #Constraints: 10933
20.20/20.32 c #Conflicts: 51000 | #Constraints: 12056
20.20/20.32 c INPROCESSING
20.20/20.32 c GARBAGE COLLECT
20.20/20.32 c rational objective 0
22.40/22.51 c #Conflicts: 52000 | #Constraints: 7261
22.40/22.51 c #Conflicts: 53000 | #Constraints: 8506
22.40/22.51 c #Conflicts: 54000 | #Constraints: 9529
22.40/22.51 c #Conflicts: 55000 | #Constraints: 10696
22.40/22.51 c #Conflicts: 56000 | #Constraints: 12041
22.40/22.51 c INPROCESSING
22.40/22.51 c GARBAGE COLLECT
22.40/22.51 c rational objective 0
24.69/24.84 c #Conflicts: 57000 | #Constraints: 7220
24.69/24.84 c #Conflicts: 58000 | #Constraints: 8467
24.69/24.84 c #Conflicts: 59000 | #Constraints: 9488
24.69/24.84 c #Conflicts: 60000 | #Constraints: 10603
24.69/24.84 c #Conflicts: 61000 | #Constraints: 12112
24.69/24.84 c INPROCESSING
24.69/24.84 c GARBAGE COLLECT
24.69/24.84 c rational objective 0
27.17/27.37 c #Conflicts: 62000 | #Constraints: 7315
27.17/27.37 c #Conflicts: 63000 | #Constraints: 8552
27.17/27.37 c #Conflicts: 64000 | #Constraints: 9785
27.17/27.37 c #Conflicts: 65000 | #Constraints: 10917
27.17/27.37 c #Conflicts: 66000 | #Constraints: 12042
27.17/27.37 c INPROCESSING
27.17/27.37 c GARBAGE COLLECT
27.17/27.37 c rational objective 0
30.88/31.03 c #Conflicts: 67000 | #Constraints: 6929
30.88/31.03 c #Conflicts: 68000 | #Constraints: 8422
30.88/31.03 c #Conflicts: 69000 | #Constraints: 9920
30.88/31.03 c #Conflicts: 70000 | #Constraints: 11424
30.88/31.03 c #Conflicts: 71000 | #Constraints: 12916
30.88/31.03 c #Conflicts: 72000 | #Constraints: 14402
30.88/31.03 c INPROCESSING
30.88/31.03 c GARBAGE COLLECT
30.88/31.03 c rational objective 0
34.36/34.50 c #Conflicts: 73000 | #Constraints: 8161
34.36/34.50 c #Conflicts: 74000 | #Constraints: 9162
34.36/34.50 c #Conflicts: 75000 | #Constraints: 10409
34.36/34.50 c #Conflicts: 76000 | #Constraints: 11907
34.36/34.50 c #Conflicts: 77000 | #Constraints: 13394
34.36/34.50 c #Conflicts: 78000 | #Constraints: 14885
34.36/34.50 c INPROCESSING
34.36/34.50 c GARBAGE COLLECT
34.36/34.50 c rational objective 0
37.55/37.74 c #Conflicts: 79000 | #Constraints: 8456
37.55/37.74 c #Conflicts: 80000 | #Constraints: 9457
37.55/37.74 c #Conflicts: 81000 | #Constraints: 10458
37.55/37.74 c #Conflicts: 82000 | #Constraints: 11459
37.55/37.74 c #Conflicts: 83000 | #Constraints: 12459
37.55/37.74 c #Conflicts: 84000 | #Constraints: 13460
37.55/37.74 c INPROCESSING
37.55/37.74 c GARBAGE COLLECT
37.55/37.74 c rational objective 0
40.84/41.05 c #Conflicts: 85000 | #Constraints: 7741
40.84/41.05 c #Conflicts: 86000 | #Constraints: 8741
40.84/41.05 c #Conflicts: 87000 | #Constraints: 9742
40.84/41.05 c #Conflicts: 88000 | #Constraints: 10742
40.84/41.05 c #Conflicts: 89000 | #Constraints: 11742
40.84/41.05 c #Conflicts: 90000 | #Constraints: 12742
40.84/41.05 c INPROCESSING
40.84/41.05 c GARBAGE COLLECT
40.84/41.05 c rational objective 0
45.02/45.22 c #Conflicts: 91000 | #Constraints: 7608
45.02/45.22 c #Conflicts: 92000 | #Constraints: 9068
45.02/45.22 c #Conflicts: 93000 | #Constraints: 10519
45.02/45.22 c #Conflicts: 94000 | #Constraints: 11944
45.02/45.22 c #Conflicts: 95000 | #Constraints: 13429
45.02/45.22 c #Conflicts: 96000 | #Constraints: 14758
45.02/45.22 c INPROCESSING
45.02/45.22 c GARBAGE COLLECT
45.02/45.22 c rational objective 0
49.31/49.55 c #Conflicts: 97000 | #Constraints: 8342
49.31/49.55 c #Conflicts: 98000 | #Constraints: 9828
49.31/49.55 c #Conflicts: 99000 | #Constraints: 11329
49.31/49.55 c #Conflicts: 100000 | #Constraints: 12814
49.31/49.55 c #Conflicts: 101000 | #Constraints: 14319
49.31/49.55 c #Conflicts: 102000 | #Constraints: 15810
49.31/49.55 c #Conflicts: 103000 | #Constraints: 17300
49.31/49.55 c INPROCESSING
49.31/49.55 c GARBAGE COLLECT
49.31/49.55 c rational objective 0
53.90/54.17 c #Conflicts: 104000 | #Constraints: 9992
53.90/54.17 c #Conflicts: 105000 | #Constraints: 11479
53.90/54.17 c #Conflicts: 106000 | #Constraints: 12954
53.90/54.17 c #Conflicts: 107000 | #Constraints: 14457
53.90/54.17 c #Conflicts: 108000 | #Constraints: 15939
53.90/54.17 c #Conflicts: 109000 | #Constraints: 17428
53.90/54.17 c #Conflicts: 110000 | #Constraints: 18919
53.90/54.17 c INPROCESSING
53.90/54.17 c GARBAGE COLLECT
53.90/54.17 c rational objective 0
58.89/59.11 c #Conflicts: 111000 | #Constraints: 10745
58.89/59.11 c #Conflicts: 112000 | #Constraints: 12221
58.89/59.11 c #Conflicts: 113000 | #Constraints: 13695
58.89/59.11 c #Conflicts: 114000 | #Constraints: 15198
58.89/59.11 c #Conflicts: 115000 | #Constraints: 16676
58.89/59.11 c #Conflicts: 116000 | #Constraints: 18159
58.89/59.11 c #Conflicts: 117000 | #Constraints: 19653
58.89/59.11 c INPROCESSING
58.89/59.11 c GARBAGE COLLECT
58.89/59.11 c rational objective 0
63.87/64.18 c #Conflicts: 118000 | #Constraints: 11192
63.87/64.18 c #Conflicts: 119000 | #Constraints: 12479
63.87/64.18 c #Conflicts: 120000 | #Constraints: 13938
63.87/64.18 c #Conflicts: 121000 | #Constraints: 15456
63.87/64.18 c #Conflicts: 122000 | #Constraints: 16959
63.87/64.18 c #Conflicts: 123000 | #Constraints: 18082
63.87/64.18 c #Conflicts: 124000 | #Constraints: 19585
63.87/64.18 c INPROCESSING
63.87/64.18 c GARBAGE COLLECT
63.87/64.18 c rational objective 0
69.24/69.50 c #Conflicts: 125000 | #Constraints: 11143
69.24/69.50 c #Conflicts: 126000 | #Constraints: 12628
69.24/69.50 c #Conflicts: 127000 | #Constraints: 14118
69.24/69.50 c #Conflicts: 128000 | #Constraints: 15468
69.24/69.50 c #Conflicts: 129000 | #Constraints: 16643
69.24/69.50 c #Conflicts: 130000 | #Constraints: 18119
69.24/69.50 c #Conflicts: 131000 | #Constraints: 19596
69.24/69.50 c INPROCESSING
69.24/69.50 c GARBAGE COLLECT
69.24/69.50 c rational objective 0
74.74/75.10 c #Conflicts: 132000 | #Constraints: 10786
74.74/75.10 c #Conflicts: 133000 | #Constraints: 12266
74.74/75.10 c #Conflicts: 134000 | #Constraints: 13764
74.74/75.10 c #Conflicts: 135000 | #Constraints: 15256
74.74/75.10 c #Conflicts: 136000 | #Constraints: 16736
74.74/75.10 c #Conflicts: 137000 | #Constraints: 18214
74.74/75.10 c #Conflicts: 138000 | #Constraints: 19713
74.74/75.10 c #Conflicts: 139000 | #Constraints: 21204
74.74/75.10 c INPROCESSING
74.74/75.10 c GARBAGE COLLECT
74.74/75.10 c rational objective 0
80.71/81.04 c #Conflicts: 140000 | #Constraints: 11915
80.71/81.04 c #Conflicts: 141000 | #Constraints: 13417
80.71/81.04 c #Conflicts: 142000 | #Constraints: 14916
80.71/81.04 c #Conflicts: 143000 | #Constraints: 16414
80.71/81.04 c #Conflicts: 144000 | #Constraints: 17904
80.71/81.04 c #Conflicts: 145000 | #Constraints: 19383
80.71/81.04 c #Conflicts: 146000 | #Constraints: 20875
80.71/81.04 c #Conflicts: 147000 | #Constraints: 22370
80.71/81.04 c INPROCESSING
80.71/81.04 c GARBAGE COLLECT
80.71/81.04 c rational objective 0
86.69/87.09 c #Conflicts: 148000 | #Constraints: 12677
86.69/87.09 c #Conflicts: 149000 | #Constraints: 14090
86.69/87.09 c #Conflicts: 150000 | #Constraints: 15580
86.69/87.09 c #Conflicts: 151000 | #Constraints: 16975
86.69/87.09 c #Conflicts: 152000 | #Constraints: 18475
86.69/87.09 c #Conflicts: 153000 | #Constraints: 19967
86.69/87.09 c #Conflicts: 154000 | #Constraints: 20967
86.69/87.09 c #Conflicts: 155000 | #Constraints: 21967
86.69/87.09 c INPROCESSING
86.69/87.09 c GARBAGE COLLECT
86.69/87.09 c rational objective 0
92.86/93.29 c #Conflicts: 156000 | #Constraints: 12490
92.86/93.29 c #Conflicts: 157000 | #Constraints: 13975
92.86/93.29 c #Conflicts: 158000 | #Constraints: 15471
92.86/93.29 c #Conflicts: 159000 | #Constraints: 16960
92.86/93.29 c #Conflicts: 160000 | #Constraints: 18441
92.86/93.29 c #Conflicts: 161000 | #Constraints: 19930
92.86/93.29 c #Conflicts: 162000 | #Constraints: 21426
92.86/93.29 c #Conflicts: 163000 | #Constraints: 22794
92.86/93.29 c INPROCESSING
92.86/93.29 c GARBAGE COLLECT
92.86/93.29 c rational objective 0
99.34/99.75 c #Conflicts: 164000 | #Constraints: 12722
99.34/99.75 c #Conflicts: 165000 | #Constraints: 14209
99.34/99.75 c #Conflicts: 166000 | #Constraints: 15698
99.34/99.75 c #Conflicts: 167000 | #Constraints: 17171
99.34/99.75 c #Conflicts: 168000 | #Constraints: 18677
99.34/99.75 c #Conflicts: 169000 | #Constraints: 20169
99.34/99.75 c #Conflicts: 170000 | #Constraints: 21651
99.34/99.75 c #Conflicts: 171000 | #Constraints: 23131
99.34/99.75 c INPROCESSING
99.34/99.75 c GARBAGE COLLECT
99.34/99.75 c rational objective 0
105.74/106.18 c #Conflicts: 172000 | #Constraints: 12595
105.74/106.18 c #Conflicts: 173000 | #Constraints: 13988
105.74/106.18 c #Conflicts: 174000 | #Constraints: 14988
105.74/106.18 c #Conflicts: 175000 | #Constraints: 16214
105.74/106.18 c #Conflicts: 176000 | #Constraints: 17214
105.74/106.18 c #Conflicts: 177000 | #Constraints: 18214
105.74/106.18 c #Conflicts: 178000 | #Constraints: 19451
105.74/106.18 c #Conflicts: 179000 | #Constraints: 20514
105.74/106.18 c #Conflicts: 180000 | #Constraints: 21514
105.74/106.18 c INPROCESSING
105.74/106.18 c GARBAGE COLLECT
105.74/106.18 c rational objective 0
114.30/114.71 c #Conflicts: 181000 | #Constraints: 12037
114.30/114.71 c #Conflicts: 182000 | #Constraints: 13526
114.30/114.71 c #Conflicts: 183000 | #Constraints: 15031
114.30/114.71 c #Conflicts: 184000 | #Constraints: 16504
114.30/114.71 c #Conflicts: 185000 | #Constraints: 17994
114.30/114.71 c #Conflicts: 186000 | #Constraints: 19488
114.30/114.71 c #Conflicts: 187000 | #Constraints: 20975
114.30/114.71 c #Conflicts: 188000 | #Constraints: 22461
114.30/114.71 c #Conflicts: 189000 | #Constraints: 23945
114.30/114.71 c INPROCESSING
114.30/114.71 c GARBAGE COLLECT
114.30/114.71 c rational objective 0
123.57/124.03 c #Conflicts: 190000 | #Constraints: 13411
123.57/124.03 c #Conflicts: 191000 | #Constraints: 14891
123.57/124.03 c #Conflicts: 192000 | #Constraints: 16381
123.57/124.03 c #Conflicts: 193000 | #Constraints: 17890
123.57/124.03 c #Conflicts: 194000 | #Constraints: 19385
123.57/124.03 c #Conflicts: 195000 | #Constraints: 20893
123.57/124.03 c #Conflicts: 196000 | #Constraints: 22391
123.57/124.03 c #Conflicts: 197000 | #Constraints: 23879
123.57/124.03 c #Conflicts: 198000 | #Constraints: 25361
123.57/124.03 c INPROCESSING
123.57/124.03 c GARBAGE COLLECT
123.57/124.03 c rational objective 0
131.54/132.05 c #Conflicts: 199000 | #Constraints: 14095
131.54/132.05 c #Conflicts: 200000 | #Constraints: 15594
131.54/132.05 c #Conflicts: 201000 | #Constraints: 17049
131.54/132.05 c #Conflicts: 202000 | #Constraints: 18533
131.54/132.05 c #Conflicts: 203000 | #Constraints: 20028
131.54/132.05 c #Conflicts: 204000 | #Constraints: 21508
131.54/132.05 c #Conflicts: 205000 | #Constraints: 22948
131.54/132.05 c #Conflicts: 206000 | #Constraints: 24278
131.54/132.05 c #Conflicts: 207000 | #Constraints: 25790
131.54/132.05 c INPROCESSING
131.54/132.05 c GARBAGE COLLECT
131.54/132.05 c rational objective 0
139.10/139.60 c #Conflicts: 208000 | #Constraints: 14190
139.10/139.60 c #Conflicts: 209000 | #Constraints: 15478
139.10/139.60 c #Conflicts: 210000 | #Constraints: 16727
139.10/139.60 c #Conflicts: 211000 | #Constraints: 18206
139.10/139.60 c #Conflicts: 212000 | #Constraints: 19268
139.10/139.60 c #Conflicts: 213000 | #Constraints: 20346
139.10/139.60 c #Conflicts: 214000 | #Constraints: 21560
139.10/139.60 c #Conflicts: 215000 | #Constraints: 22854
139.10/139.60 c #Conflicts: 216000 | #Constraints: 24164
139.10/139.60 c INPROCESSING
139.10/139.60 c GARBAGE COLLECT
139.10/139.60 c rational objective 0
147.48/148.08 c #Conflicts: 217000 | #Constraints: 12991
147.48/148.08 c #Conflicts: 218000 | #Constraints: 14482
147.48/148.08 c #Conflicts: 219000 | #Constraints: 15974
147.48/148.08 c #Conflicts: 220000 | #Constraints: 17457
147.48/148.08 c #Conflicts: 221000 | #Constraints: 18936
147.48/148.08 c #Conflicts: 222000 | #Constraints: 20429
147.48/148.08 c #Conflicts: 223000 | #Constraints: 21932
147.48/148.08 c #Conflicts: 224000 | #Constraints: 23410
147.48/148.08 c #Conflicts: 225000 | #Constraints: 24905
147.48/148.08 c #Conflicts: 226000 | #Constraints: 26393
147.48/148.08 c INPROCESSING
147.48/148.08 c GARBAGE COLLECT
147.48/148.08 c rational objective 0
157.14/157.70 c #Conflicts: 227000 | #Constraints: 14445
157.14/157.70 c #Conflicts: 228000 | #Constraints: 15836
157.14/157.70 c #Conflicts: 229000 | #Constraints: 17269
157.14/157.70 c #Conflicts: 230000 | #Constraints: 18571
157.14/157.70 c #Conflicts: 231000 | #Constraints: 19828
157.14/157.70 c #Conflicts: 232000 | #Constraints: 21166
157.14/157.70 c #Conflicts: 233000 | #Constraints: 22423
157.14/157.70 c #Conflicts: 234000 | #Constraints: 23546
157.14/157.70 c #Conflicts: 235000 | #Constraints: 24546
157.14/157.70 c #Conflicts: 236000 | #Constraints: 25546
157.14/157.70 c INPROCESSING
157.14/157.70 c GARBAGE COLLECT
157.14/157.70 c rational objective 0
166.01/166.67 c #Conflicts: 237000 | #Constraints: 14261
166.01/166.67 c #Conflicts: 238000 | #Constraints: 15765
166.01/166.67 c #Conflicts: 239000 | #Constraints: 17256
166.01/166.67 c #Conflicts: 240000 | #Constraints: 18732
166.01/166.67 c #Conflicts: 241000 | #Constraints: 20217
166.01/166.67 c #Conflicts: 242000 | #Constraints: 21712
166.01/166.67 c #Conflicts: 243000 | #Constraints: 23219
166.01/166.67 c #Conflicts: 244000 | #Constraints: 24720
166.01/166.67 c #Conflicts: 245000 | #Constraints: 26205
166.01/166.67 c #Conflicts: 246000 | #Constraints: 27680
166.01/166.67 c INPROCESSING
166.01/166.67 c GARBAGE COLLECT
166.01/166.67 c rational objective 0
175.28/175.93 c #Conflicts: 247000 | #Constraints: 15345
175.28/175.93 c #Conflicts: 248000 | #Constraints: 16849
175.28/175.93 c #Conflicts: 249000 | #Constraints: 18342
175.28/175.93 c #Conflicts: 250000 | #Constraints: 19849
175.28/175.93 c #Conflicts: 251000 | #Constraints: 21345
175.28/175.93 c #Conflicts: 252000 | #Constraints: 22832
175.28/175.93 c #Conflicts: 253000 | #Constraints: 24326
175.28/175.93 c #Conflicts: 254000 | #Constraints: 25820
175.28/175.93 c #Conflicts: 255000 | #Constraints: 27311
175.28/175.93 c #Conflicts: 256000 | #Constraints: 28549
175.28/175.93 c INPROCESSING
175.28/175.93 c GARBAGE COLLECT
175.28/175.93 c rational objective 0
183.75/184.46 c #Conflicts: 257000 | #Constraints: 15251
183.75/184.46 c #Conflicts: 258000 | #Constraints: 16333
183.75/184.46 c #Conflicts: 259000 | #Constraints: 17333
183.75/184.46 c #Conflicts: 260000 | #Constraints: 18333
183.75/184.46 c #Conflicts: 261000 | #Constraints: 19333
183.75/184.46 c #Conflicts: 262000 | #Constraints: 20448
183.75/184.46 c #Conflicts: 263000 | #Constraints: 21448
183.75/184.46 c #Conflicts: 264000 | #Constraints: 22472
183.75/184.46 c #Conflicts: 265000 | #Constraints: 23472
183.75/184.46 c #Conflicts: 266000 | #Constraints: 24472
183.75/184.46 c INPROCESSING
183.75/184.46 c GARBAGE COLLECT
183.75/184.46 c rational objective 0
193.52/194.21 c #Conflicts: 267000 | #Constraints: 13132
193.52/194.21 c #Conflicts: 268000 | #Constraints: 14618
193.52/194.21 c #Conflicts: 269000 | #Constraints: 16118
193.52/194.21 c #Conflicts: 270000 | #Constraints: 17599
193.52/194.21 c #Conflicts: 271000 | #Constraints: 19088
193.52/194.21 c #Conflicts: 272000 | #Constraints: 20563
193.52/194.21 c #Conflicts: 273000 | #Constraints: 22076
193.52/194.21 c #Conflicts: 274000 | #Constraints: 23557
193.52/194.21 c #Conflicts: 275000 | #Constraints: 25049
193.52/194.21 c #Conflicts: 276000 | #Constraints: 26523
193.52/194.21 c #Conflicts: 277000 | #Constraints: 28006
193.52/194.21 c INPROCESSING
193.52/194.21 c GARBAGE COLLECT
193.52/194.21 c rational objective 0
203.59/204.32 c #Conflicts: 278000 | #Constraints: 15329
203.59/204.32 c #Conflicts: 279000 | #Constraints: 16440
203.59/204.32 c #Conflicts: 280000 | #Constraints: 17799
203.59/204.32 c #Conflicts: 281000 | #Constraints: 19288
203.59/204.32 c #Conflicts: 282000 | #Constraints: 20770
203.59/204.32 c #Conflicts: 283000 | #Constraints: 22229
203.59/204.32 c #Conflicts: 284000 | #Constraints: 23422
203.59/204.32 c #Conflicts: 285000 | #Constraints: 24566
203.59/204.32 c #Conflicts: 286000 | #Constraints: 25644
203.59/204.32 c #Conflicts: 287000 | #Constraints: 26644
203.59/204.32 c #Conflicts: 288000 | #Constraints: 28079
203.59/204.32 c INPROCESSING
203.59/204.32 c GARBAGE COLLECT
203.59/204.32 c rational objective 0
213.15/213.93 c #Conflicts: 289000 | #Constraints: 15212
213.15/213.93 c #Conflicts: 290000 | #Constraints: 16354
213.15/213.93 c #Conflicts: 291000 | #Constraints: 17619
213.15/213.93 c #Conflicts: 292000 | #Constraints: 18677
213.15/213.93 c #Conflicts: 293000 | #Constraints: 19677
213.15/213.93 c #Conflicts: 294000 | #Constraints: 20723
213.15/213.93 c #Conflicts: 295000 | #Constraints: 22214
213.15/213.93 c #Conflicts: 296000 | #Constraints: 23704
213.15/213.93 c #Conflicts: 297000 | #Constraints: 24823
213.15/213.93 c #Conflicts: 298000 | #Constraints: 26083
213.15/213.93 c #Conflicts: 299000 | #Constraints: 27563
213.15/213.93 c INPROCESSING
213.15/213.93 c GARBAGE COLLECT
213.15/213.93 c rational objective 0
223.42/224.28 c #Conflicts: 300000 | #Constraints: 15059
223.42/224.28 c #Conflicts: 301000 | #Constraints: 16268
223.42/224.28 c #Conflicts: 302000 | #Constraints: 17754
223.42/224.28 c #Conflicts: 303000 | #Constraints: 18858
223.42/224.28 c #Conflicts: 304000 | #Constraints: 20192
223.42/224.28 c #Conflicts: 305000 | #Constraints: 21674
223.42/224.28 c #Conflicts: 306000 | #Constraints: 23154
223.42/224.28 c #Conflicts: 307000 | #Constraints: 24154
223.42/224.28 c #Conflicts: 308000 | #Constraints: 25589
223.42/224.28 c #Conflicts: 309000 | #Constraints: 27079
223.42/224.28 c #Conflicts: 310000 | #Constraints: 28569
223.42/224.28 c INPROCESSING
223.42/224.28 c GARBAGE COLLECT
223.42/224.28 c rational objective 0
232.79/233.68 c #Conflicts: 311000 | #Constraints: 15247
232.79/233.68 c #Conflicts: 312000 | #Constraints: 16247
232.79/233.68 c #Conflicts: 313000 | #Constraints: 17247
232.79/233.68 c #Conflicts: 314000 | #Constraints: 18247
232.79/233.68 c #Conflicts: 315000 | #Constraints: 19248
232.79/233.68 c #Conflicts: 316000 | #Constraints: 20249
232.79/233.68 c #Conflicts: 317000 | #Constraints: 21250
232.79/233.68 c #Conflicts: 318000 | #Constraints: 22250
232.79/233.68 c #Conflicts: 319000 | #Constraints: 23250
232.79/233.68 c #Conflicts: 320000 | #Constraints: 24250
232.79/233.68 c #Conflicts: 321000 | #Constraints: 25250
232.79/233.68 c INPROCESSING
232.79/233.68 c GARBAGE COLLECT
232.79/233.68 c rational objective 0
243.95/244.85 c #Conflicts: 322000 | #Constraints: 13526
243.95/244.85 c #Conflicts: 323000 | #Constraints: 15028
243.95/244.85 c #Conflicts: 324000 | #Constraints: 16514
243.95/244.85 c #Conflicts: 325000 | #Constraints: 18004
243.95/244.85 c #Conflicts: 326000 | #Constraints: 19497
243.95/244.85 c #Conflicts: 327000 | #Constraints: 20988
243.95/244.85 c #Conflicts: 328000 | #Constraints: 22479
243.95/244.85 c #Conflicts: 329000 | #Constraints: 23974
243.95/244.85 c #Conflicts: 330000 | #Constraints: 25474
243.95/244.85 c #Conflicts: 331000 | #Constraints: 26963
243.95/244.85 c #Conflicts: 332000 | #Constraints: 28455
243.95/244.85 c #Conflicts: 333000 | #Constraints: 29952
243.95/244.85 c INPROCESSING
243.95/244.85 c GARBAGE COLLECT
243.95/244.85 c rational objective 0
255.12/256.09 c #Conflicts: 334000 | #Constraints: 15957
255.12/256.09 c #Conflicts: 335000 | #Constraints: 16957
255.12/256.09 c #Conflicts: 336000 | #Constraints: 18347
255.12/256.09 c #Conflicts: 337000 | #Constraints: 19833
255.12/256.09 c #Conflicts: 338000 | #Constraints: 21324
255.12/256.09 c #Conflicts: 339000 | #Constraints: 22810
255.12/256.09 c #Conflicts: 340000 | #Constraints: 24307
255.12/256.09 c #Conflicts: 341000 | #Constraints: 25800
255.12/256.09 c #Conflicts: 342000 | #Constraints: 27303
255.12/256.09 c #Conflicts: 343000 | #Constraints: 28787
255.12/256.09 c #Conflicts: 344000 | #Constraints: 30277
255.12/256.09 c #Conflicts: 345000 | #Constraints: 31668
255.12/256.09 c INPROCESSING
255.12/256.09 c GARBAGE COLLECT
255.12/256.09 c rational objective 0
267.18/268.15 c #Conflicts: 346000 | #Constraints: 17331
267.18/268.15 c #Conflicts: 347000 | #Constraints: 18822
267.18/268.15 c #Conflicts: 348000 | #Constraints: 20310
267.18/268.15 c #Conflicts: 349000 | #Constraints: 21789
267.18/268.15 c #Conflicts: 350000 | #Constraints: 22910
267.18/268.15 c #Conflicts: 351000 | #Constraints: 23910
267.18/268.15 c #Conflicts: 352000 | #Constraints: 25213
267.18/268.15 c #Conflicts: 353000 | #Constraints: 26679
267.18/268.15 c #Conflicts: 354000 | #Constraints: 28171
267.18/268.15 c #Conflicts: 355000 | #Constraints: 29269
267.18/268.15 c #Conflicts: 356000 | #Constraints: 30303
267.18/268.15 c #Conflicts: 357000 | #Constraints: 31791
267.18/268.15 c INPROCESSING
267.18/268.15 c GARBAGE COLLECT
267.18/268.15 c rational objective 0
279.63/280.66 c #Conflicts: 358000 | #Constraints: 17032
279.63/280.66 c #Conflicts: 359000 | #Constraints: 18533
279.63/280.66 c #Conflicts: 360000 | #Constraints: 20022
279.63/280.66 c #Conflicts: 361000 | #Constraints: 21477
279.63/280.66 c #Conflicts: 362000 | #Constraints: 22790
279.63/280.66 c #Conflicts: 363000 | #Constraints: 23790
279.63/280.66 c #Conflicts: 364000 | #Constraints: 25291
279.63/280.66 c #Conflicts: 365000 | #Constraints: 26718
279.63/280.66 c #Conflicts: 366000 | #Constraints: 27983
279.63/280.66 c #Conflicts: 367000 | #Constraints: 28983
279.63/280.66 c #Conflicts: 368000 | #Constraints: 30459
279.63/280.66 c #Conflicts: 369000 | #Constraints: 31951
279.63/280.66 c INPROCESSING
279.63/280.66 c GARBAGE COLLECT
279.63/280.66 c rational objective 0
292.39/293.44 c #Conflicts: 370000 | #Constraints: 17232
292.39/293.44 c #Conflicts: 371000 | #Constraints: 18232
292.39/293.44 c #Conflicts: 372000 | #Constraints: 19554
292.39/293.44 c #Conflicts: 373000 | #Constraints: 21048
292.39/293.44 c #Conflicts: 374000 | #Constraints: 22440
292.39/293.44 c #Conflicts: 375000 | #Constraints: 23819
292.39/293.44 c #Conflicts: 376000 | #Constraints: 25324
292.39/293.44 c #Conflicts: 377000 | #Constraints: 26815
292.39/293.44 c #Conflicts: 378000 | #Constraints: 28305
292.39/293.44 c #Conflicts: 379000 | #Constraints: 29782
292.39/293.44 c #Conflicts: 380000 | #Constraints: 31093
292.39/293.44 c #Conflicts: 381000 | #Constraints: 32422
292.39/293.44 c INPROCESSING
292.39/293.44 c GARBAGE COLLECT
292.39/293.44 c rational objective 0
307.34/308.49 c #Conflicts: 382000 | #Constraints: 17112
307.34/308.49 c #Conflicts: 383000 | #Constraints: 18617
307.34/308.49 c #Conflicts: 384000 | #Constraints: 20100
307.34/308.49 c #Conflicts: 385000 | #Constraints: 21584
307.34/308.49 c #Conflicts: 386000 | #Constraints: 23080
307.34/308.49 c #Conflicts: 387000 | #Constraints: 24580
307.34/308.49 c #Conflicts: 388000 | #Constraints: 26072
307.34/308.49 c #Conflicts: 389000 | #Constraints: 27569
307.34/308.49 c #Conflicts: 390000 | #Constraints: 29052
307.34/308.49 c #Conflicts: 391000 | #Constraints: 30542
307.34/308.49 c #Conflicts: 392000 | #Constraints: 32026
307.34/308.49 c #Conflicts: 393000 | #Constraints: 33514
307.34/308.49 c #Conflicts: 394000 | #Constraints: 35022
307.34/308.49 c INPROCESSING
307.34/308.49 c GARBAGE COLLECT
307.34/308.49 c rational objective 0
321.18/322.31 c #Conflicts: 395000 | #Constraints: 18664
321.18/322.31 c #Conflicts: 396000 | #Constraints: 19954
321.18/322.31 c #Conflicts: 397000 | #Constraints: 21268
321.18/322.31 c #Conflicts: 398000 | #Constraints: 22268
321.18/322.31 c #Conflicts: 399000 | #Constraints: 23268
321.18/322.31 c #Conflicts: 400000 | #Constraints: 24448
321.18/322.31 c #Conflicts: 401000 | #Constraints: 25794
321.18/322.31 c #Conflicts: 402000 | #Constraints: 27302
321.18/322.31 c #Conflicts: 403000 | #Constraints: 28793
321.18/322.31 c #Conflicts: 404000 | #Constraints: 30214
321.18/322.31 c #Conflicts: 405000 | #Constraints: 31641
321.18/322.31 c #Conflicts: 406000 | #Constraints: 33140
321.18/322.31 c #Conflicts: 407000 | #Constraints: 34636
321.18/322.31 c INPROCESSING
321.18/322.31 c GARBAGE COLLECT
321.18/322.31 c rational objective 0
334.04/335.22 c #Conflicts: 408000 | #Constraints: 18813
334.04/335.22 c #Conflicts: 409000 | #Constraints: 19842
334.04/335.22 c #Conflicts: 410000 | #Constraints: 20843
334.04/335.22 c #Conflicts: 411000 | #Constraints: 21843
334.04/335.22 c #Conflicts: 412000 | #Constraints: 22843
334.04/335.22 c #Conflicts: 413000 | #Constraints: 24010
334.04/335.22 c #Conflicts: 414000 | #Constraints: 25033
334.04/335.22 c #Conflicts: 415000 | #Constraints: 26033
334.04/335.22 c #Conflicts: 416000 | #Constraints: 27033
334.04/335.22 c #Conflicts: 417000 | #Constraints: 28033
334.04/335.22 c #Conflicts: 418000 | #Constraints: 29033
334.04/335.22 c #Conflicts: 419000 | #Constraints: 30033
334.04/335.22 c #Conflicts: 420000 | #Constraints: 31033
334.04/335.22 c INPROCESSING
334.04/335.22 c GARBAGE COLLECT
334.04/335.22 c rational objective 0
348.49/349.72 c #Conflicts: 421000 | #Constraints: 16769
348.49/349.72 c #Conflicts: 422000 | #Constraints: 17769
348.49/349.72 c #Conflicts: 423000 | #Constraints: 19143
348.49/349.72 c #Conflicts: 424000 | #Constraints: 20581
348.49/349.72 c #Conflicts: 425000 | #Constraints: 21581
348.49/349.72 c #Conflicts: 426000 | #Constraints: 22671
348.49/349.72 c #Conflicts: 427000 | #Constraints: 24057
348.49/349.72 c #Conflicts: 428000 | #Constraints: 25398
348.49/349.72 c #Conflicts: 429000 | #Constraints: 26857
348.49/349.72 c #Conflicts: 430000 | #Constraints: 27976
348.49/349.72 c #Conflicts: 431000 | #Constraints: 29265
348.49/349.72 c #Conflicts: 432000 | #Constraints: 30704
348.49/349.72 c #Conflicts: 433000 | #Constraints: 32199
348.49/349.72 c INPROCESSING
348.49/349.72 c GARBAGE COLLECT
348.49/349.72 c rational objective 0
364.63/365.92 c #Conflicts: 434000 | #Constraints: 17423
364.63/365.92 c #Conflicts: 435000 | #Constraints: 18892
364.63/365.92 c #Conflicts: 436000 | #Constraints: 20386
364.63/365.92 c #Conflicts: 437000 | #Constraints: 21880
364.63/365.92 c #Conflicts: 438000 | #Constraints: 23346
364.63/365.92 c #Conflicts: 439000 | #Constraints: 24365
364.63/365.92 c #Conflicts: 440000 | #Constraints: 25727
364.63/365.92 c #Conflicts: 441000 | #Constraints: 27202
364.63/365.92 c #Conflicts: 442000 | #Constraints: 28202
364.63/365.92 c #Conflicts: 443000 | #Constraints: 29453
364.63/365.92 c #Conflicts: 444000 | #Constraints: 30453
364.63/365.92 c #Conflicts: 445000 | #Constraints: 31524
364.63/365.92 c #Conflicts: 446000 | #Constraints: 32996
364.63/365.92 c INPROCESSING
364.63/365.92 c GARBAGE COLLECT
364.63/365.92 c rational objective 0
377.60/378.94 c #Conflicts: 447000 | #Constraints: 17357
377.60/378.94 c #Conflicts: 448000 | #Constraints: 18358
377.60/378.94 c #Conflicts: 449000 | #Constraints: 19358
377.60/378.94 c #Conflicts: 450000 | #Constraints: 20358
377.60/378.94 c #Conflicts: 451000 | #Constraints: 21358
377.60/378.94 c #Conflicts: 452000 | #Constraints: 22358
377.60/378.94 c #Conflicts: 453000 | #Constraints: 23358
377.60/378.94 c #Conflicts: 454000 | #Constraints: 24358
377.60/378.94 c #Conflicts: 455000 | #Constraints: 25358
377.60/378.94 c #Conflicts: 456000 | #Constraints: 26358
377.60/378.94 c #Conflicts: 457000 | #Constraints: 27359
377.60/378.94 c #Conflicts: 458000 | #Constraints: 28359
377.60/378.94 c #Conflicts: 459000 | #Constraints: 29359
377.60/378.94 c #Conflicts: 460000 | #Constraints: 30359
377.60/378.94 c INPROCESSING
377.60/378.94 c GARBAGE COLLECT
377.60/378.94 c rational objective 0
389.86/391.23 c #Conflicts: 461000 | #Constraints: 16096
389.86/391.23 c #Conflicts: 462000 | #Constraints: 17096
389.86/391.23 c #Conflicts: 463000 | #Constraints: 18096
389.86/391.23 c #Conflicts: 464000 | #Constraints: 19096
389.86/391.23 c #Conflicts: 465000 | #Constraints: 20096
389.86/391.23 c #Conflicts: 466000 | #Constraints: 21096
389.86/391.23 c #Conflicts: 467000 | #Constraints: 22096
389.86/391.23 c #Conflicts: 468000 | #Constraints: 23096
389.86/391.23 c #Conflicts: 469000 | #Constraints: 24096
389.86/391.23 c #Conflicts: 470000 | #Constraints: 25096
389.86/391.23 c #Conflicts: 471000 | #Constraints: 26097
389.86/391.23 c #Conflicts: 472000 | #Constraints: 27097
389.86/391.23 c #Conflicts: 473000 | #Constraints: 28097
389.86/391.23 c #Conflicts: 474000 | #Constraints: 29097
389.86/391.23 c INPROCESSING
389.86/391.23 c GARBAGE COLLECT
389.86/391.23 c rational objective 0
405.61/407.09 c #Conflicts: 475000 | #Constraints: 15995
405.61/407.09 c #Conflicts: 476000 | #Constraints: 17479
405.61/407.09 c #Conflicts: 477000 | #Constraints: 18964
405.61/407.09 c #Conflicts: 478000 | #Constraints: 20454
405.61/407.09 c #Conflicts: 479000 | #Constraints: 21932
405.61/407.09 c #Conflicts: 480000 | #Constraints: 23437
405.61/407.09 c #Conflicts: 481000 | #Constraints: 24933
405.61/407.09 c #Conflicts: 482000 | #Constraints: 26422
405.61/407.09 c #Conflicts: 483000 | #Constraints: 27904
405.61/407.09 c #Conflicts: 484000 | #Constraints: 29223
405.61/407.09 c #Conflicts: 485000 | #Constraints: 30625
405.61/407.09 c #Conflicts: 486000 | #Constraints: 32117
405.61/407.09 c #Conflicts: 487000 | #Constraints: 33624
405.61/407.09 c #Conflicts: 488000 | #Constraints: 35111
405.61/407.09 c INPROCESSING
405.61/407.09 c GARBAGE COLLECT
405.61/407.09 c rational objective 0
423.04/424.56 c #Conflicts: 489000 | #Constraints: 19063
423.04/424.56 c #Conflicts: 490000 | #Constraints: 20571
423.04/424.56 c #Conflicts: 491000 | #Constraints: 22074
423.04/424.56 c #Conflicts: 492000 | #Constraints: 23544
423.04/424.56 c #Conflicts: 493000 | #Constraints: 25019
423.04/424.56 c #Conflicts: 494000 | #Constraints: 26489
423.04/424.56 c #Conflicts: 495000 | #Constraints: 27980
423.04/424.56 c #Conflicts: 496000 | #Constraints: 29469
423.04/424.56 c #Conflicts: 497000 | #Constraints: 30948
423.04/424.56 c #Conflicts: 498000 | #Constraints: 32453
423.04/424.56 c #Conflicts: 499000 | #Constraints: 33938
423.04/424.56 c #Conflicts: 500000 | #Constraints: 35449
423.04/424.56 c #Conflicts: 501000 | #Constraints: 36947
423.04/424.56 c #Conflicts: 502000 | #Constraints: 37980
423.04/424.56 c INPROCESSING
423.04/424.56 c GARBAGE COLLECT
423.04/424.56 c rational objective 0
438.89/440.44 c #Conflicts: 503000 | #Constraints: 20105
438.89/440.44 c #Conflicts: 504000 | #Constraints: 21538
438.89/440.44 c #Conflicts: 505000 | #Constraints: 22972
438.89/440.44 c #Conflicts: 506000 | #Constraints: 23972
438.89/440.44 c #Conflicts: 507000 | #Constraints: 25113
438.89/440.44 c #Conflicts: 508000 | #Constraints: 26116
438.89/440.44 c #Conflicts: 509000 | #Constraints: 27350
438.89/440.44 c #Conflicts: 510000 | #Constraints: 28609
438.89/440.44 c #Conflicts: 511000 | #Constraints: 29924
438.89/440.44 c #Conflicts: 512000 | #Constraints: 30924
438.89/440.44 c #Conflicts: 513000 | #Constraints: 32200
438.89/440.44 c #Conflicts: 514000 | #Constraints: 33482
438.89/440.44 c #Conflicts: 515000 | #Constraints: 34483
438.89/440.44 c #Conflicts: 516000 | #Constraints: 35483
438.89/440.44 c INPROCESSING
438.89/440.44 c GARBAGE COLLECT
438.89/440.44 c rational objective 0
452.95/454.56 c #Conflicts: 517000 | #Constraints: 18699
452.95/454.56 c #Conflicts: 518000 | #Constraints: 20002
452.95/454.56 c #Conflicts: 519000 | #Constraints: 21002
452.95/454.56 c #Conflicts: 520000 | #Constraints: 22002
452.95/454.56 c #Conflicts: 521000 | #Constraints: 23007
452.95/454.56 c #Conflicts: 522000 | #Constraints: 24007
452.95/454.56 c #Conflicts: 523000 | #Constraints: 25007
452.95/454.56 c #Conflicts: 524000 | #Constraints: 26071
452.95/454.56 c #Conflicts: 525000 | #Constraints: 27170
452.95/454.56 c #Conflicts: 526000 | #Constraints: 28261
452.95/454.56 c #Conflicts: 527000 | #Constraints: 29682
452.95/454.56 c #Conflicts: 528000 | #Constraints: 30699
452.95/454.56 c #Conflicts: 529000 | #Constraints: 31699
452.95/454.56 c #Conflicts: 530000 | #Constraints: 32699
452.95/454.56 c #Conflicts: 531000 | #Constraints: 33699
452.95/454.56 c INPROCESSING
452.95/454.56 c GARBAGE COLLECT
452.95/454.56 c rational objective 0
469.78/471.48 c #Conflicts: 532000 | #Constraints: 18116
469.78/471.48 c #Conflicts: 533000 | #Constraints: 19604
469.78/471.48 c #Conflicts: 534000 | #Constraints: 21093
469.78/471.48 c #Conflicts: 535000 | #Constraints: 22570
469.78/471.48 c #Conflicts: 536000 | #Constraints: 24054
469.78/471.48 c #Conflicts: 537000 | #Constraints: 25552
469.78/471.48 c #Conflicts: 538000 | #Constraints: 27055
469.78/471.48 c #Conflicts: 539000 | #Constraints: 28544
469.78/471.48 c #Conflicts: 540000 | #Constraints: 30045
469.78/471.48 c #Conflicts: 541000 | #Constraints: 31538
469.78/471.48 c #Conflicts: 542000 | #Constraints: 32966
469.78/471.48 c #Conflicts: 543000 | #Constraints: 34439
469.78/471.48 c #Conflicts: 544000 | #Constraints: 35934
469.78/471.48 c #Conflicts: 545000 | #Constraints: 37385
469.78/471.48 c #Conflicts: 546000 | #Constraints: 38870
469.78/471.48 c INPROCESSING
469.78/471.48 c GARBAGE COLLECT
469.78/471.48 c rational objective 0
487.13/488.81 c #Conflicts: 547000 | #Constraints: 20943
487.13/488.81 c #Conflicts: 548000 | #Constraints: 22444
487.13/488.81 c #Conflicts: 549000 | #Constraints: 23907
487.13/488.81 c #Conflicts: 550000 | #Constraints: 25132
487.13/488.81 c #Conflicts: 551000 | #Constraints: 26519
487.13/488.81 c #Conflicts: 552000 | #Constraints: 27870
487.13/488.81 c #Conflicts: 553000 | #Constraints: 29089
487.13/488.81 c #Conflicts: 554000 | #Constraints: 30570
487.13/488.81 c #Conflicts: 555000 | #Constraints: 32057
487.13/488.81 c #Conflicts: 556000 | #Constraints: 33443
487.13/488.81 c #Conflicts: 557000 | #Constraints: 34932
487.13/488.81 c #Conflicts: 558000 | #Constraints: 36419
487.13/488.81 c #Conflicts: 559000 | #Constraints: 37908
487.13/488.81 c #Conflicts: 560000 | #Constraints: 39378
487.13/488.81 c #Conflicts: 561000 | #Constraints: 40860
487.13/488.81 c INPROCESSING
487.13/488.81 c GARBAGE COLLECT
487.13/488.81 c rational objective 0
505.47/507.22 c #Conflicts: 562000 | #Constraints: 21911
505.47/507.22 c #Conflicts: 563000 | #Constraints: 23391
505.47/507.22 c #Conflicts: 564000 | #Constraints: 24875
505.47/507.22 c #Conflicts: 565000 | #Constraints: 26356
505.47/507.22 c #Conflicts: 566000 | #Constraints: 27821
505.47/507.22 c #Conflicts: 567000 | #Constraints: 29311
505.47/507.22 c #Conflicts: 568000 | #Constraints: 30598
505.47/507.22 c #Conflicts: 569000 | #Constraints: 32083
505.47/507.22 c #Conflicts: 570000 | #Constraints: 33568
505.47/507.22 c #Conflicts: 571000 | #Constraints: 35067
505.47/507.22 c #Conflicts: 572000 | #Constraints: 36522
505.47/507.22 c #Conflicts: 573000 | #Constraints: 37726
505.47/507.22 c #Conflicts: 574000 | #Constraints: 39104
505.47/507.22 c #Conflicts: 575000 | #Constraints: 40415
505.47/507.22 c #Conflicts: 576000 | #Constraints: 41899
505.47/507.22 c INPROCESSING
505.47/507.22 c GARBAGE COLLECT
505.47/507.22 c rational objective 0
524.80/526.61 c #Conflicts: 577000 | #Constraints: 22297
524.80/526.61 c #Conflicts: 578000 | #Constraints: 23586
524.80/526.61 c #Conflicts: 579000 | #Constraints: 25075
524.80/526.61 c #Conflicts: 580000 | #Constraints: 26562
524.80/526.61 c #Conflicts: 581000 | #Constraints: 28065
524.80/526.61 c #Conflicts: 582000 | #Constraints: 29542
524.80/526.61 c #Conflicts: 583000 | #Constraints: 31028
524.80/526.61 c #Conflicts: 584000 | #Constraints: 32514
524.80/526.61 c #Conflicts: 585000 | #Constraints: 34006
524.80/526.61 c #Conflicts: 586000 | #Constraints: 35512
524.80/526.61 c #Conflicts: 587000 | #Constraints: 37001
524.80/526.61 c #Conflicts: 588000 | #Constraints: 38492
524.80/526.61 c #Conflicts: 589000 | #Constraints: 39988
524.80/526.61 c #Conflicts: 590000 | #Constraints: 41469
524.80/526.61 c #Conflicts: 591000 | #Constraints: 42980
524.80/526.61 c INPROCESSING
524.80/526.61 c GARBAGE COLLECT
524.80/526.61 c rational objective 0
540.75/542.65 c #Conflicts: 592000 | #Constraints: 22399
540.75/542.65 c #Conflicts: 593000 | #Constraints: 23507
540.75/542.65 c #Conflicts: 594000 | #Constraints: 24507
540.75/542.65 c #Conflicts: 595000 | #Constraints: 25519
540.75/542.65 c #Conflicts: 596000 | #Constraints: 26620
540.75/542.65 c #Conflicts: 597000 | #Constraints: 27734
540.75/542.65 c #Conflicts: 598000 | #Constraints: 28836
540.75/542.65 c #Conflicts: 599000 | #Constraints: 29927
540.75/542.65 c #Conflicts: 600000 | #Constraints: 30949
540.75/542.65 c #Conflicts: 601000 | #Constraints: 32068
540.75/542.65 c #Conflicts: 602000 | #Constraints: 33077
540.75/542.65 c #Conflicts: 603000 | #Constraints: 34148
540.75/542.65 c #Conflicts: 604000 | #Constraints: 35298
540.75/542.65 c #Conflicts: 605000 | #Constraints: 36609
540.75/542.65 c #Conflicts: 606000 | #Constraints: 37653
540.75/542.65 c #Conflicts: 607000 | #Constraints: 38832
540.75/542.65 c INPROCESSING
540.75/542.65 c GARBAGE COLLECT
540.75/542.65 c rational objective 0
557.00/558.98 c #Conflicts: 608000 | #Constraints: 20522
557.00/558.98 c #Conflicts: 609000 | #Constraints: 21546
557.00/558.98 c #Conflicts: 610000 | #Constraints: 22812
557.00/558.98 c #Conflicts: 611000 | #Constraints: 23922
557.00/558.98 c #Conflicts: 612000 | #Constraints: 25157
557.00/558.98 c #Conflicts: 613000 | #Constraints: 26390
557.00/558.98 c #Conflicts: 614000 | #Constraints: 27390
557.00/558.98 c #Conflicts: 615000 | #Constraints: 28407
557.00/558.98 c #Conflicts: 616000 | #Constraints: 29460
557.00/558.98 c #Conflicts: 617000 | #Constraints: 30460
557.00/558.98 c #Conflicts: 618000 | #Constraints: 31460
557.00/558.98 c #Conflicts: 619000 | #Constraints: 32464
557.00/558.98 c #Conflicts: 620000 | #Constraints: 33484
557.00/558.98 c #Conflicts: 621000 | #Constraints: 34484
557.00/558.98 c #Conflicts: 622000 | #Constraints: 35485
557.00/558.98 c #Conflicts: 623000 | #Constraints: 36675
557.00/558.98 c INPROCESSING
557.00/558.98 c GARBAGE COLLECT
557.00/558.98 c rational objective 0
575.64/577.64 c #Conflicts: 624000 | #Constraints: 19817
575.64/577.64 c #Conflicts: 625000 | #Constraints: 21314
575.64/577.64 c #Conflicts: 626000 | #Constraints: 22805
575.64/577.64 c #Conflicts: 627000 | #Constraints: 24298
575.64/577.64 c #Conflicts: 628000 | #Constraints: 25802
575.64/577.64 c #Conflicts: 629000 | #Constraints: 27288
575.64/577.64 c #Conflicts: 630000 | #Constraints: 28770
575.64/577.64 c #Conflicts: 631000 | #Constraints: 30260
575.64/577.64 c #Conflicts: 632000 | #Constraints: 31736
575.64/577.64 c #Conflicts: 633000 | #Constraints: 33229
575.64/577.64 c #Conflicts: 634000 | #Constraints: 34717
575.64/577.64 c #Conflicts: 635000 | #Constraints: 36196
575.64/577.64 c #Conflicts: 636000 | #Constraints: 37685
575.64/577.64 c #Conflicts: 637000 | #Constraints: 39179
575.64/577.64 c #Conflicts: 638000 | #Constraints: 40684
575.64/577.64 c #Conflicts: 639000 | #Constraints: 42158
575.64/577.64 c INPROCESSING
575.64/577.64 c GARBAGE COLLECT
575.64/577.64 c rational objective 0
595.37/597.49 c #Conflicts: 640000 | #Constraints: 22566
595.37/597.49 c #Conflicts: 641000 | #Constraints: 24056
595.37/597.49 c #Conflicts: 642000 | #Constraints: 25542
595.37/597.49 c #Conflicts: 643000 | #Constraints: 27028
595.37/597.49 c #Conflicts: 644000 | #Constraints: 28526
595.37/597.49 c #Conflicts: 645000 | #Constraints: 29992
595.37/597.49 c #Conflicts: 646000 | #Constraints: 31473
595.37/597.49 c #Conflicts: 647000 | #Constraints: 32954
595.37/597.49 c #Conflicts: 648000 | #Constraints: 34447
595.37/597.49 c #Conflicts: 649000 | #Constraints: 35936
595.37/597.49 c #Conflicts: 650000 | #Constraints: 37426
595.37/597.49 c #Conflicts: 651000 | #Constraints: 38908
595.37/597.49 c #Conflicts: 652000 | #Constraints: 40396
595.37/597.49 c #Conflicts: 653000 | #Constraints: 41866
595.37/597.49 c #Conflicts: 654000 | #Constraints: 43360
595.37/597.49 c #Conflicts: 655000 | #Constraints: 44853
595.37/597.49 c INPROCESSING
595.37/597.49 c GARBAGE COLLECT
595.37/597.49 c rational objective 0
616.10/618.23 c #Conflicts: 656000 | #Constraints: 23812
616.10/618.23 c #Conflicts: 657000 | #Constraints: 25154
616.10/618.23 c #Conflicts: 658000 | #Constraints: 26366
616.10/618.23 c #Conflicts: 659000 | #Constraints: 27604
616.10/618.23 c #Conflicts: 660000 | #Constraints: 29086
616.10/618.23 c #Conflicts: 661000 | #Constraints: 30572
616.10/618.23 c #Conflicts: 662000 | #Constraints: 32068
616.10/618.23 c #Conflicts: 663000 | #Constraints: 33552
616.10/618.23 c #Conflicts: 664000 | #Constraints: 35033
616.10/618.23 c #Conflicts: 665000 | #Constraints: 36532
616.10/618.23 c #Conflicts: 666000 | #Constraints: 38017
616.10/618.23 c #Conflicts: 667000 | #Constraints: 39503
616.10/618.23 c #Conflicts: 668000 | #Constraints: 40985
616.10/618.23 c #Conflicts: 669000 | #Constraints: 42483
616.10/618.23 c #Conflicts: 670000 | #Constraints: 44004
616.10/618.23 c #Conflicts: 671000 | #Constraints: 45508
616.10/618.23 c INPROCESSING
616.10/618.23 c GARBAGE COLLECT
616.10/618.23 c rational objective 0
637.13/639.38 c #Conflicts: 672000 | #Constraints: 23808
637.13/639.38 c #Conflicts: 673000 | #Constraints: 25281
637.13/639.38 c #Conflicts: 674000 | #Constraints: 26764
637.13/639.38 c #Conflicts: 675000 | #Constraints: 28251
637.13/639.38 c #Conflicts: 676000 | #Constraints: 29738
637.13/639.38 c #Conflicts: 677000 | #Constraints: 31227
637.13/639.38 c #Conflicts: 678000 | #Constraints: 32728
637.13/639.38 c #Conflicts: 679000 | #Constraints: 34096
637.13/639.38 c #Conflicts: 680000 | #Constraints: 35579
637.13/639.38 c #Conflicts: 681000 | #Constraints: 37079
637.13/639.38 c #Conflicts: 682000 | #Constraints: 38546
637.13/639.38 c #Conflicts: 683000 | #Constraints: 39547
637.13/639.38 c #Conflicts: 684000 | #Constraints: 40547
637.13/639.38 c #Conflicts: 685000 | #Constraints: 41736
637.13/639.38 c #Conflicts: 686000 | #Constraints: 43216
637.13/639.38 c #Conflicts: 687000 | #Constraints: 44683
637.13/639.38 c #Conflicts: 688000 | #Constraints: 46166
637.13/639.38 c INPROCESSING
637.13/639.38 c GARBAGE COLLECT
637.13/639.38 c rational objective 0
655.89/658.16 c #Conflicts: 689000 | #Constraints: 24045
655.89/658.16 c #Conflicts: 690000 | #Constraints: 25302
655.89/658.16 c #Conflicts: 691000 | #Constraints: 26554
655.89/658.16 c #Conflicts: 692000 | #Constraints: 27554
655.89/658.16 c #Conflicts: 693000 | #Constraints: 28554
655.89/658.16 c #Conflicts: 694000 | #Constraints: 29617
655.89/658.16 c #Conflicts: 695000 | #Constraints: 30691
655.89/658.16 c #Conflicts: 696000 | #Constraints: 31691
655.89/658.16 c #Conflicts: 697000 | #Constraints: 32691
655.89/658.16 c #Conflicts: 698000 | #Constraints: 33691
655.89/658.16 c #Conflicts: 699000 | #Constraints: 34691
655.89/658.16 c #Conflicts: 700000 | #Constraints: 35885
655.89/658.16 c #Conflicts: 701000 | #Constraints: 36885
655.89/658.16 c #Conflicts: 702000 | #Constraints: 37885
655.89/658.16 c #Conflicts: 703000 | #Constraints: 38885
655.89/658.16 c #Conflicts: 704000 | #Constraints: 39885
655.89/658.16 c #Conflicts: 705000 | #Constraints: 40885
655.89/658.16 c INPROCESSING
655.89/658.16 c GARBAGE COLLECT
655.89/658.16 c rational objective 0
678.41/680.75 c #Conflicts: 706000 | #Constraints: 21685
678.41/680.75 c #Conflicts: 707000 | #Constraints: 23058
678.41/680.75 c #Conflicts: 708000 | #Constraints: 24525
678.41/680.75 c #Conflicts: 709000 | #Constraints: 25971
678.41/680.75 c #Conflicts: 710000 | #Constraints: 27419
678.41/680.75 c #Conflicts: 711000 | #Constraints: 28571
678.41/680.75 c #Conflicts: 712000 | #Constraints: 29579
678.41/680.75 c #Conflicts: 713000 | #Constraints: 31061
678.41/680.75 c #Conflicts: 714000 | #Constraints: 32540
678.41/680.75 c #Conflicts: 715000 | #Constraints: 34002
678.41/680.75 c #Conflicts: 716000 | #Constraints: 35473
678.41/680.75 c #Conflicts: 717000 | #Constraints: 36903
678.41/680.75 c #Conflicts: 718000 | #Constraints: 38400
678.41/680.75 c #Conflicts: 719000 | #Constraints: 39883
678.41/680.75 c #Conflicts: 720000 | #Constraints: 40939
678.41/680.75 c #Conflicts: 721000 | #Constraints: 42385
678.41/680.75 c #Conflicts: 722000 | #Constraints: 43838
678.41/680.75 c INPROCESSING
678.41/680.75 c GARBAGE COLLECT
678.41/680.75 c rational objective 0
698.03/700.49 c #Conflicts: 723000 | #Constraints: 23236
698.03/700.49 c #Conflicts: 724000 | #Constraints: 24470
698.03/700.49 c #Conflicts: 725000 | #Constraints: 25685
698.03/700.49 c #Conflicts: 726000 | #Constraints: 26791
698.03/700.49 c #Conflicts: 727000 | #Constraints: 27911
698.03/700.49 c #Conflicts: 728000 | #Constraints: 29028
698.03/700.49 c #Conflicts: 729000 | #Constraints: 30078
698.03/700.49 c #Conflicts: 730000 | #Constraints: 31243
698.03/700.49 c #Conflicts: 731000 | #Constraints: 32531
698.03/700.49 c #Conflicts: 732000 | #Constraints: 33679
698.03/700.49 c #Conflicts: 733000 | #Constraints: 34924
698.03/700.49 c #Conflicts: 734000 | #Constraints: 36123
698.03/700.49 c #Conflicts: 735000 | #Constraints: 37129
698.03/700.49 c #Conflicts: 736000 | #Constraints: 38412
698.03/700.49 c #Conflicts: 737000 | #Constraints: 39561
698.03/700.49 c #Conflicts: 738000 | #Constraints: 40727
698.03/700.49 c #Conflicts: 739000 | #Constraints: 41833
698.03/700.49 c INPROCESSING
698.03/700.49 c GARBAGE COLLECT
698.03/700.49 c rational objective 0
717.06/719.54 c #Conflicts: 740000 | #Constraints: 22061
717.06/719.54 c #Conflicts: 741000 | #Constraints: 23204
717.06/719.54 c #Conflicts: 742000 | #Constraints: 24330
717.06/719.54 c #Conflicts: 743000 | #Constraints: 25518
717.06/719.54 c #Conflicts: 744000 | #Constraints: 26518
717.06/719.54 c #Conflicts: 745000 | #Constraints: 27518
717.06/719.54 c #Conflicts: 746000 | #Constraints: 28518
717.06/719.54 c #Conflicts: 747000 | #Constraints: 29518
717.06/719.54 c #Conflicts: 748000 | #Constraints: 30703
717.06/719.54 c #Conflicts: 749000 | #Constraints: 31703
717.06/719.54 c #Conflicts: 750000 | #Constraints: 32703
717.06/719.54 c #Conflicts: 751000 | #Constraints: 33858
717.06/719.54 c #Conflicts: 752000 | #Constraints: 34858
717.06/719.54 c #Conflicts: 753000 | #Constraints: 35956
717.06/719.54 c #Conflicts: 754000 | #Constraints: 37088
717.06/719.54 c #Conflicts: 755000 | #Constraints: 38104
717.06/719.54 c #Conflicts: 756000 | #Constraints: 39224
717.06/719.54 c INPROCESSING
717.06/719.54 c GARBAGE COLLECT
717.06/719.54 c rational objective 0
735.99/738.53 c #Conflicts: 757000 | #Constraints: 20510
735.99/738.53 c #Conflicts: 758000 | #Constraints: 21939
735.99/738.53 c #Conflicts: 759000 | #Constraints: 22939
735.99/738.53 c #Conflicts: 760000 | #Constraints: 23939
735.99/738.53 c #Conflicts: 761000 | #Constraints: 24940
735.99/738.53 c #Conflicts: 762000 | #Constraints: 25940
735.99/738.53 c #Conflicts: 763000 | #Constraints: 26940
735.99/738.53 c #Conflicts: 764000 | #Constraints: 27941
735.99/738.53 c #Conflicts: 765000 | #Constraints: 28941
735.99/738.53 c #Conflicts: 766000 | #Constraints: 29941
735.99/738.53 c #Conflicts: 767000 | #Constraints: 30941
735.99/738.53 c #Conflicts: 768000 | #Constraints: 31941
735.99/738.53 c #Conflicts: 769000 | #Constraints: 32941
735.99/738.53 c #Conflicts: 770000 | #Constraints: 33941
735.99/738.53 c #Conflicts: 771000 | #Constraints: 34941
735.99/738.53 c #Conflicts: 772000 | #Constraints: 35941
735.99/738.53 c #Conflicts: 773000 | #Constraints: 36941
735.99/738.53 c #Conflicts: 774000 | #Constraints: 37942
735.99/738.53 c INPROCESSING
735.99/738.53 c GARBAGE COLLECT
735.99/738.53 c rational objective 0
753.12/755.74 c #Conflicts: 775000 | #Constraints: 19884
753.12/755.74 c #Conflicts: 776000 | #Constraints: 20884
753.12/755.74 c #Conflicts: 777000 | #Constraints: 21884
753.12/755.74 c #Conflicts: 778000 | #Constraints: 22884
753.12/755.74 c #Conflicts: 779000 | #Constraints: 23884
753.12/755.74 c #Conflicts: 780000 | #Constraints: 24884
753.12/755.74 c #Conflicts: 781000 | #Constraints: 25884
753.12/755.74 c #Conflicts: 782000 | #Constraints: 26884
753.12/755.74 c #Conflicts: 783000 | #Constraints: 27884
753.12/755.74 c #Conflicts: 784000 | #Constraints: 28884
753.12/755.74 c #Conflicts: 785000 | #Constraints: 29884
753.12/755.74 c #Conflicts: 786000 | #Constraints: 30884
753.12/755.74 c #Conflicts: 787000 | #Constraints: 31884
753.12/755.74 c #Conflicts: 788000 | #Constraints: 32884
753.12/755.74 c #Conflicts: 789000 | #Constraints: 33884
753.12/755.74 c #Conflicts: 790000 | #Constraints: 34884
753.12/755.74 c #Conflicts: 791000 | #Constraints: 35884
753.12/755.74 c #Conflicts: 792000 | #Constraints: 36884
753.12/755.74 c INPROCESSING
753.12/755.74 c GARBAGE COLLECT
753.12/755.74 c rational objective 0
772.46/775.14 c #Conflicts: 793000 | #Constraints: 19628
772.46/775.14 c #Conflicts: 794000 | #Constraints: 20930
772.46/775.14 c #Conflicts: 795000 | #Constraints: 22059
772.46/775.14 c #Conflicts: 796000 | #Constraints: 23059
772.46/775.14 c #Conflicts: 797000 | #Constraints: 24161
772.46/775.14 c #Conflicts: 798000 | #Constraints: 25399
772.46/775.14 c #Conflicts: 799000 | #Constraints: 26684
772.46/775.14 c #Conflicts: 800000 | #Constraints: 27684
772.46/775.14 c #Conflicts: 801000 | #Constraints: 28684
772.46/775.14 c #Conflicts: 802000 | #Constraints: 29727
772.46/775.14 c #Conflicts: 803000 | #Constraints: 30781
772.46/775.14 c #Conflicts: 804000 | #Constraints: 31781
772.46/775.14 c #Conflicts: 805000 | #Constraints: 32781
772.46/775.14 c #Conflicts: 806000 | #Constraints: 33781
772.46/775.14 c #Conflicts: 807000 | #Constraints: 34781
772.46/775.14 c #Conflicts: 808000 | #Constraints: 35781
772.46/775.14 c #Conflicts: 809000 | #Constraints: 37042
772.46/775.14 c #Conflicts: 810000 | #Constraints: 38167
772.46/775.14 c INPROCESSING
772.46/775.14 c GARBAGE COLLECT
772.46/775.14 c rational objective 0
795.28/798.04 c #Conflicts: 811000 | #Constraints: 20549
795.28/798.04 c #Conflicts: 812000 | #Constraints: 22035
795.28/798.04 c #Conflicts: 813000 | #Constraints: 23529
795.28/798.04 c #Conflicts: 814000 | #Constraints: 25021
795.28/798.04 c #Conflicts: 815000 | #Constraints: 26504
795.28/798.04 c #Conflicts: 816000 | #Constraints: 27998
795.28/798.04 c #Conflicts: 817000 | #Constraints: 29493
795.28/798.04 c #Conflicts: 818000 | #Constraints: 30973
795.28/798.04 c #Conflicts: 819000 | #Constraints: 32455
795.28/798.04 c #Conflicts: 820000 | #Constraints: 33941
795.28/798.04 c #Conflicts: 821000 | #Constraints: 35426
795.28/798.04 c #Conflicts: 822000 | #Constraints: 36915
795.28/798.04 c #Conflicts: 823000 | #Constraints: 38410
795.28/798.04 c #Conflicts: 824000 | #Constraints: 39917
795.28/798.04 c #Conflicts: 825000 | #Constraints: 41415
795.28/798.04 c #Conflicts: 826000 | #Constraints: 42925
795.28/798.04 c #Conflicts: 827000 | #Constraints: 44423
795.28/798.04 c #Conflicts: 828000 | #Constraints: 45910
795.28/798.04 c INPROCESSING
795.28/798.04 c GARBAGE COLLECT
795.28/798.04 c rational objective 0
817.09/820.00 c #Conflicts: 829000 | #Constraints: 23976
817.09/820.00 c #Conflicts: 830000 | #Constraints: 25151
817.09/820.00 c #Conflicts: 831000 | #Constraints: 26213
817.09/820.00 c #Conflicts: 832000 | #Constraints: 27254
817.09/820.00 c #Conflicts: 833000 | #Constraints: 28384
817.09/820.00 c #Conflicts: 834000 | #Constraints: 29510
817.09/820.00 c #Conflicts: 835000 | #Constraints: 30546
817.09/820.00 c #Conflicts: 836000 | #Constraints: 31614
817.09/820.00 c #Conflicts: 837000 | #Constraints: 32614
817.09/820.00 c #Conflicts: 838000 | #Constraints: 33935
817.09/820.00 c #Conflicts: 839000 | #Constraints: 34935
817.09/820.00 c #Conflicts: 840000 | #Constraints: 35935
817.09/820.00 c #Conflicts: 841000 | #Constraints: 37003
817.09/820.00 c #Conflicts: 842000 | #Constraints: 38072
817.09/820.00 c #Conflicts: 843000 | #Constraints: 39259
817.09/820.00 c #Conflicts: 844000 | #Constraints: 40259
817.09/820.00 c #Conflicts: 845000 | #Constraints: 41259
817.09/820.00 c #Conflicts: 846000 | #Constraints: 42259
817.09/820.00 c INPROCESSING
817.09/820.00 c GARBAGE COLLECT
817.09/820.00 c rational objective 0
853.19/856.19 c #Conflicts: 847000 | #Constraints: 22031
853.19/856.19 c #Conflicts: 848000 | #Constraints: 23511
853.19/856.19 c #Conflicts: 849000 | #Constraints: 24991
853.19/856.19 c #Conflicts: 850000 | #Constraints: 26479
853.19/856.19 c #Conflicts: 851000 | #Constraints: 27963
853.19/856.19 c #Conflicts: 852000 | #Constraints: 29448
853.19/856.19 c #Conflicts: 853000 | #Constraints: 30933
853.19/856.19 c #Conflicts: 854000 | #Constraints: 32424
853.19/856.19 c #Conflicts: 855000 | #Constraints: 33884
853.19/856.19 c #Conflicts: 856000 | #Constraints: 35367
853.19/856.19 c #Conflicts: 857000 | #Constraints: 36860
853.19/856.19 c #Conflicts: 858000 | #Constraints: 38353
853.19/856.19 c #Conflicts: 859000 | #Constraints: 39836
853.19/856.19 c #Conflicts: 860000 | #Constraints: 41312
853.19/856.19 c #Conflicts: 861000 | #Constraints: 42452
853.19/856.19 c #Conflicts: 862000 | #Constraints: 43452
853.19/856.19 c #Conflicts: 863000 | #Constraints: 44512
853.19/856.19 c #Conflicts: 864000 | #Constraints: 45987
853.19/856.19 c #Conflicts: 865000 | #Constraints: 47461
853.19/856.19 c INPROCESSING
853.19/856.19 c GARBAGE COLLECT
853.19/856.19 c rational objective 0
889.36/892.45 c #Conflicts: 866000 | #Constraints: 25075
889.36/892.45 c #Conflicts: 867000 | #Constraints: 26553
889.36/892.45 c #Conflicts: 868000 | #Constraints: 28051
889.36/892.45 c #Conflicts: 869000 | #Constraints: 29565
889.36/892.45 c #Conflicts: 870000 | #Constraints: 31043
889.36/892.45 c #Conflicts: 871000 | #Constraints: 32526
889.36/892.45 c #Conflicts: 872000 | #Constraints: 33999
889.36/892.45 c #Conflicts: 873000 | #Constraints: 35484
889.36/892.45 c #Conflicts: 874000 | #Constraints: 36970
889.36/892.45 c #Conflicts: 875000 | #Constraints: 38452
889.36/892.45 c #Conflicts: 876000 | #Constraints: 39928
889.36/892.45 c #Conflicts: 877000 | #Constraints: 41415
889.36/892.45 c #Conflicts: 878000 | #Constraints: 42904
889.36/892.45 c #Conflicts: 879000 | #Constraints: 44385
889.36/892.45 c #Conflicts: 880000 | #Constraints: 45876
889.36/892.45 c #Conflicts: 881000 | #Constraints: 47342
889.36/892.45 c #Conflicts: 882000 | #Constraints: 48832
889.36/892.45 c #Conflicts: 883000 | #Constraints: 50323
889.36/892.45 c #Conflicts: 884000 | #Constraints: 51825
889.36/892.45 c INPROCESSING
889.36/892.45 c GARBAGE COLLECT
889.36/892.45 c rational objective 0
924.64/927.87 c #Conflicts: 885000 | #Constraints: 27422
924.64/927.87 c #Conflicts: 886000 | #Constraints: 28438
924.64/927.87 c #Conflicts: 887000 | #Constraints: 29438
924.64/927.87 c #Conflicts: 888000 | #Constraints: 30661
924.64/927.87 c #Conflicts: 889000 | #Constraints: 32142
924.64/927.87 c #Conflicts: 890000 | #Constraints: 33603
924.64/927.87 c #Conflicts: 891000 | #Constraints: 35094
924.64/927.87 c #Conflicts: 892000 | #Constraints: 36601
924.64/927.87 c #Conflicts: 893000 | #Constraints: 38081
924.64/927.87 c #Conflicts: 894000 | #Constraints: 39562
924.64/927.87 c #Conflicts: 895000 | #Constraints: 41043
924.64/927.87 c #Conflicts: 896000 | #Constraints: 42305
924.64/927.87 c #Conflicts: 897000 | #Constraints: 43305
924.64/927.87 c #Conflicts: 898000 | #Constraints: 44335
924.64/927.87 c #Conflicts: 899000 | #Constraints: 45824
924.64/927.87 c #Conflicts: 900000 | #Constraints: 47312
924.64/927.87 c #Conflicts: 901000 | #Constraints: 48795
924.64/927.87 c #Conflicts: 902000 | #Constraints: 50281
924.64/927.87 c #Conflicts: 903000 | #Constraints: 51604
924.64/927.87 c INPROCESSING
924.64/927.87 c GARBAGE COLLECT
924.64/927.87 c rational objective 0
950.65/953.96 c #Conflicts: 904000 | #Constraints: 26815
950.65/953.96 c #Conflicts: 905000 | #Constraints: 27815
950.65/953.96 c #Conflicts: 906000 | #Constraints: 28815
950.65/953.96 c #Conflicts: 907000 | #Constraints: 29815
950.65/953.96 c #Conflicts: 908000 | #Constraints: 30815
950.65/953.96 c #Conflicts: 909000 | #Constraints: 31815
950.65/953.96 c #Conflicts: 910000 | #Constraints: 32815
950.65/953.96 c #Conflicts: 911000 | #Constraints: 33815
950.65/953.96 c #Conflicts: 912000 | #Constraints: 34815
950.65/953.96 c #Conflicts: 913000 | #Constraints: 35815
950.65/953.96 c #Conflicts: 914000 | #Constraints: 36815
950.65/953.96 c #Conflicts: 915000 | #Constraints: 37815
950.65/953.96 c #Conflicts: 916000 | #Constraints: 38815
950.65/953.96 c #Conflicts: 917000 | #Constraints: 39815
950.65/953.96 c #Conflicts: 918000 | #Constraints: 40815
950.65/953.96 c #Conflicts: 919000 | #Constraints: 41815
950.65/953.96 c #Conflicts: 920000 | #Constraints: 42815
950.65/953.96 c #Conflicts: 921000 | #Constraints: 43815
950.65/953.96 c #Conflicts: 922000 | #Constraints: 44815
950.65/953.96 c INPROCESSING
950.65/953.96 c GARBAGE COLLECT
950.65/953.96 c rational objective 0
983.45/986.85 c #Conflicts: 923000 | #Constraints: 23627
983.45/986.85 c #Conflicts: 924000 | #Constraints: 24724
983.45/986.85 c #Conflicts: 925000 | #Constraints: 25724
983.45/986.85 c #Conflicts: 926000 | #Constraints: 26724
983.45/986.85 c #Conflicts: 927000 | #Constraints: 27724
983.45/986.85 c #Conflicts: 928000 | #Constraints: 28949
983.45/986.85 c #Conflicts: 929000 | #Constraints: 30435
983.45/986.85 c #Conflicts: 930000 | #Constraints: 31936
983.45/986.85 c #Conflicts: 931000 | #Constraints: 33420
983.45/986.85 c #Conflicts: 932000 | #Constraints: 34904
983.45/986.85 c #Conflicts: 933000 | #Constraints: 36390
983.45/986.85 c #Conflicts: 934000 | #Constraints: 37822
983.45/986.85 c #Conflicts: 935000 | #Constraints: 39303
983.45/986.85 c #Conflicts: 936000 | #Constraints: 40792
983.45/986.85 c #Conflicts: 937000 | #Constraints: 42295
983.45/986.85 c #Conflicts: 938000 | #Constraints: 43805
983.45/986.85 c #Conflicts: 939000 | #Constraints: 45302
983.45/986.85 c #Conflicts: 940000 | #Constraints: 46777
983.45/986.85 c #Conflicts: 941000 | #Constraints: 48271
983.45/986.85 c INPROCESSING
983.45/986.85 c GARBAGE COLLECT
983.45/986.85 c rational objective 0
1016.54/1020.11 c #Conflicts: 942000 | #Constraints: 25197
1016.54/1020.11 c #Conflicts: 943000 | #Constraints: 26593
1016.54/1020.11 c #Conflicts: 944000 | #Constraints: 27715
1016.54/1020.11 c #Conflicts: 945000 | #Constraints: 29038
1016.54/1020.11 c #Conflicts: 946000 | #Constraints: 30109
1016.54/1020.11 c #Conflicts: 947000 | #Constraints: 31559
1016.54/1020.11 c #Conflicts: 948000 | #Constraints: 33002
1016.54/1020.11 c #Conflicts: 949000 | #Constraints: 34490
1016.54/1020.11 c #Conflicts: 950000 | #Constraints: 35562
1016.54/1020.11 c #Conflicts: 951000 | #Constraints: 36562
1016.54/1020.11 c #Conflicts: 952000 | #Constraints: 37819
1016.54/1020.11 c #Conflicts: 953000 | #Constraints: 38824
1016.54/1020.11 c #Conflicts: 954000 | #Constraints: 40174
1016.54/1020.11 c #Conflicts: 955000 | #Constraints: 41174
1016.54/1020.11 c #Conflicts: 956000 | #Constraints: 42174
1016.54/1020.11 c #Conflicts: 957000 | #Constraints: 43174
1016.54/1020.11 c #Conflicts: 958000 | #Constraints: 44174
1016.54/1020.11 c #Conflicts: 959000 | #Constraints: 45174
1016.54/1020.11 c #Conflicts: 960000 | #Constraints: 46510
1016.54/1020.11 c #Conflicts: 961000 | #Constraints: 47998
1016.54/1020.11 c INPROCESSING
1016.54/1020.11 c GARBAGE COLLECT
1016.54/1020.11 c rational objective 0
1050.02/1053.62 c #Conflicts: 962000 | #Constraints: 25261
1050.02/1053.62 c #Conflicts: 963000 | #Constraints: 26495
1050.02/1053.62 c #Conflicts: 964000 | #Constraints: 27877
1050.02/1053.62 c #Conflicts: 965000 | #Constraints: 29316
1050.02/1053.62 c #Conflicts: 966000 | #Constraints: 30752
1050.02/1053.62 c #Conflicts: 967000 | #Constraints: 32086
1050.02/1053.62 c #Conflicts: 968000 | #Constraints: 33433
1050.02/1053.62 c #Conflicts: 969000 | #Constraints: 34614
1050.02/1053.62 c #Conflicts: 970000 | #Constraints: 35884
1050.02/1053.62 c #Conflicts: 971000 | #Constraints: 37151
1050.02/1053.62 c #Conflicts: 972000 | #Constraints: 38390
1050.02/1053.62 c #Conflicts: 973000 | #Constraints: 39886
1050.02/1053.62 c #Conflicts: 974000 | #Constraints: 41107
1050.02/1053.62 c #Conflicts: 975000 | #Constraints: 42269
1050.02/1053.62 c #Conflicts: 976000 | #Constraints: 43407
1050.02/1053.62 c #Conflicts: 977000 | #Constraints: 44650
1050.02/1053.62 c #Conflicts: 978000 | #Constraints: 45867
1050.02/1053.62 c #Conflicts: 979000 | #Constraints: 46905
1050.02/1053.62 c #Conflicts: 980000 | #Constraints: 48294
1050.02/1053.62 c #Conflicts: 981000 | #Constraints: 49553
1050.02/1053.62 c INPROCESSING
1050.02/1053.62 c GARBAGE COLLECT
1050.02/1053.62 c rational objective 0
1086.32/1090.04 c #Conflicts: 982000 | #Constraints: 26259
1086.32/1090.04 c #Conflicts: 983000 | #Constraints: 27670
1086.32/1090.04 c #Conflicts: 984000 | #Constraints: 29137
1086.32/1090.04 c #Conflicts: 985000 | #Constraints: 30649
1086.32/1090.04 c #Conflicts: 986000 | #Constraints: 32152
1086.32/1090.04 c #Conflicts: 987000 | #Constraints: 33540
1086.32/1090.04 c #Conflicts: 988000 | #Constraints: 35012
1086.32/1090.04 c #Conflicts: 989000 | #Constraints: 36480
1086.32/1090.04 c #Conflicts: 990000 | #Constraints: 37962
1086.32/1090.04 c #Conflicts: 991000 | #Constraints: 39436
1086.32/1090.04 c #Conflicts: 992000 | #Constraints: 40931
1086.32/1090.04 c #Conflicts: 993000 | #Constraints: 42424
1086.32/1090.04 c #Conflicts: 994000 | #Constraints: 43897
1086.32/1090.04 c #Conflicts: 995000 | #Constraints: 45369
1086.32/1090.04 c #Conflicts: 996000 | #Constraints: 46842
1086.32/1090.04 c #Conflicts: 997000 | #Constraints: 48316
1086.32/1090.04 c #Conflicts: 998000 | #Constraints: 49808
1086.32/1090.04 c #Conflicts: 999000 | #Constraints: 51281
1086.32/1090.04 c #Conflicts: 1000000 | #Constraints: 52773
1086.32/1090.04 c #Conflicts: 1001000 | #Constraints: 54274
1086.32/1090.04 c INPROCESSING
1086.32/1090.04 c GARBAGE COLLECT
1086.32/1090.04 c rational objective 0
1119.59/1123.49 c #Conflicts: 1002000 | #Constraints: 28284
1119.59/1123.49 c #Conflicts: 1003000 | #Constraints: 29458
1119.59/1123.49 c #Conflicts: 1004000 | #Constraints: 30809
1119.59/1123.49 c #Conflicts: 1005000 | #Constraints: 32261
1119.59/1123.49 c #Conflicts: 1006000 | #Constraints: 33414
1119.59/1123.49 c #Conflicts: 1007000 | #Constraints: 34529
1119.59/1123.49 c #Conflicts: 1008000 | #Constraints: 35780
1119.59/1123.49 c #Conflicts: 1009000 | #Constraints: 37201
1119.59/1123.49 c #Conflicts: 1010000 | #Constraints: 38201
1119.59/1123.49 c #Conflicts: 1011000 | #Constraints: 39256
1119.59/1123.49 c #Conflicts: 1012000 | #Constraints: 40256
1119.59/1123.49 c #Conflicts: 1013000 | #Constraints: 41475
1119.59/1123.49 c #Conflicts: 1014000 | #Constraints: 42881
1119.59/1123.49 c #Conflicts: 1015000 | #Constraints: 44289
1119.59/1123.49 c #Conflicts: 1016000 | #Constraints: 45774
1119.59/1123.49 c #Conflicts: 1017000 | #Constraints: 47218
1119.59/1123.49 c #Conflicts: 1018000 | #Constraints: 48572
1119.59/1123.49 c #Conflicts: 1019000 | #Constraints: 49572
1119.59/1123.49 c #Conflicts: 1020000 | #Constraints: 50572
1119.59/1123.49 c #Conflicts: 1021000 | #Constraints: 51572
1119.59/1123.49 c INPROCESSING
1119.59/1123.49 c GARBAGE COLLECT
1119.59/1123.49 c rational objective 0
1153.58/1157.50 c #Conflicts: 1022000 | #Constraints: 27056
1153.58/1157.50 c #Conflicts: 1023000 | #Constraints: 28398
1153.58/1157.50 c #Conflicts: 1024000 | #Constraints: 29841
1153.58/1157.50 c #Conflicts: 1025000 | #Constraints: 31323
1153.58/1157.50 c #Conflicts: 1026000 | #Constraints: 32788
1153.58/1157.50 c #Conflicts: 1027000 | #Constraints: 34180
1153.58/1157.50 c #Conflicts: 1028000 | #Constraints: 35650
1153.58/1157.50 c #Conflicts: 1029000 | #Constraints: 37046
1153.58/1157.50 c #Conflicts: 1030000 | #Constraints: 38524
1153.58/1157.50 c #Conflicts: 1031000 | #Constraints: 39991
1153.58/1157.50 c #Conflicts: 1032000 | #Constraints: 41459
1153.58/1157.50 c #Conflicts: 1033000 | #Constraints: 42931
1153.58/1157.50 c #Conflicts: 1034000 | #Constraints: 44421
1153.58/1157.50 c #Conflicts: 1035000 | #Constraints: 45904
1153.58/1157.50 c #Conflicts: 1036000 | #Constraints: 47354
1153.58/1157.50 c #Conflicts: 1037000 | #Constraints: 48849
1153.58/1157.50 c #Conflicts: 1038000 | #Constraints: 50213
1153.58/1157.50 c #Conflicts: 1039000 | #Constraints: 51689
1153.58/1157.50 c #Conflicts: 1040000 | #Constraints: 53164
1153.58/1157.50 c #Conflicts: 1041000 | #Constraints: 54647
1153.58/1157.50 c INPROCESSING
1153.58/1157.50 c GARBAGE COLLECT
1153.58/1157.50 c rational objective 0
1188.46/1192.50 c #Conflicts: 1042000 | #Constraints: 28365
1188.46/1192.50 c #Conflicts: 1043000 | #Constraints: 29849
1188.46/1192.50 c #Conflicts: 1044000 | #Constraints: 31331
1188.46/1192.50 c #Conflicts: 1045000 | #Constraints: 32830
1188.46/1192.50 c #Conflicts: 1046000 | #Constraints: 34312
1188.46/1192.50 c #Conflicts: 1047000 | #Constraints: 35799
1188.46/1192.50 c #Conflicts: 1048000 | #Constraints: 37091
1188.46/1192.50 c #Conflicts: 1049000 | #Constraints: 38578
1188.46/1192.50 c #Conflicts: 1050000 | #Constraints: 40048
1188.46/1192.50 c #Conflicts: 1051000 | #Constraints: 41371
1188.46/1192.50 c #Conflicts: 1052000 | #Constraints: 42859
1188.46/1192.50 c #Conflicts: 1053000 | #Constraints: 44348
1188.46/1192.50 c #Conflicts: 1054000 | #Constraints: 45844
1188.46/1192.50 c #Conflicts: 1055000 | #Constraints: 47278
1188.46/1192.50 c #Conflicts: 1056000 | #Constraints: 48746
1188.46/1192.50 c #Conflicts: 1057000 | #Constraints: 50221
1188.46/1192.50 c #Conflicts: 1058000 | #Constraints: 51719
1188.46/1192.50 c #Conflicts: 1059000 | #Constraints: 53051
1188.46/1192.50 c #Conflicts: 1060000 | #Constraints: 54559
1188.46/1192.50 c #Conflicts: 1061000 | #Constraints: 55884
1188.46/1192.50 c #Conflicts: 1062000 | #Constraints: 57377
1188.46/1192.50 c INPROCESSING
1188.46/1192.50 c GARBAGE COLLECT
1188.46/1192.50 c rational objective 0
1225.04/1229.21 c #Conflicts: 1063000 | #Constraints: 29738
1225.04/1229.21 c #Conflicts: 1064000 | #Constraints: 31223
1225.04/1229.21 c #Conflicts: 1065000 | #Constraints: 32605
1225.04/1229.21 c #Conflicts: 1066000 | #Constraints: 33903
1225.04/1229.21 c #Conflicts: 1067000 | #Constraints: 35402
1225.04/1229.21 c #Conflicts: 1068000 | #Constraints: 36837
1225.04/1229.21 c #Conflicts: 1069000 | #Constraints: 38310
1225.04/1229.21 c #Conflicts: 1070000 | #Constraints: 39793
1225.04/1229.21 c #Conflicts: 1071000 | #Constraints: 41280
1225.04/1229.21 c #Conflicts: 1072000 | #Constraints: 42770
1225.04/1229.21 c #Conflicts: 1073000 | #Constraints: 44249
1225.04/1229.21 c #Conflicts: 1074000 | #Constraints: 45731
1225.04/1229.21 c #Conflicts: 1075000 | #Constraints: 47227
1225.04/1229.21 c #Conflicts: 1076000 | #Constraints: 48719
1225.04/1229.21 c #Conflicts: 1077000 | #Constraints: 50204
1225.04/1229.21 c #Conflicts: 1078000 | #Constraints: 51702
1225.04/1229.21 c #Conflicts: 1079000 | #Constraints: 53175
1225.04/1229.21 c #Conflicts: 1080000 | #Constraints: 54662
1225.04/1229.21 c #Conflicts: 1081000 | #Constraints: 56145
1225.04/1229.21 c #Conflicts: 1082000 | #Constraints: 57624
1225.04/1229.21 c #Conflicts: 1083000 | #Constraints: 58987
1225.04/1229.21 c INPROCESSING
1225.04/1229.21 c GARBAGE COLLECT
1225.04/1229.21 c rational objective 0
1261.12/1265.40 c #Conflicts: 1084000 | #Constraints: 30748
1261.12/1265.40 c #Conflicts: 1085000 | #Constraints: 32096
1261.12/1265.40 c #Conflicts: 1086000 | #Constraints: 33577
1261.12/1265.40 c #Conflicts: 1087000 | #Constraints: 35051
1261.12/1265.40 c #Conflicts: 1088000 | #Constraints: 36543
1261.12/1265.40 c #Conflicts: 1089000 | #Constraints: 37595
1261.12/1265.40 c #Conflicts: 1090000 | #Constraints: 39093
1261.12/1265.40 c #Conflicts: 1091000 | #Constraints: 40583
1261.12/1265.40 c #Conflicts: 1092000 | #Constraints: 42057
1261.12/1265.40 c #Conflicts: 1093000 | #Constraints: 43500
1261.12/1265.40 c #Conflicts: 1094000 | #Constraints: 44634
1261.12/1265.40 c #Conflicts: 1095000 | #Constraints: 46125
1261.12/1265.40 c #Conflicts: 1096000 | #Constraints: 47272
1261.12/1265.40 c #Conflicts: 1097000 | #Constraints: 48752
1261.12/1265.40 c #Conflicts: 1098000 | #Constraints: 50075
1261.12/1265.40 c #Conflicts: 1099000 | #Constraints: 51573
1261.12/1265.40 c #Conflicts: 1100000 | #Constraints: 53064
1261.12/1265.40 c #Conflicts: 1101000 | #Constraints: 54553
1261.12/1265.40 c #Conflicts: 1102000 | #Constraints: 56032
1261.12/1265.40 c #Conflicts: 1103000 | #Constraints: 57044
1261.12/1265.40 c #Conflicts: 1104000 | #Constraints: 58356
1261.12/1265.40 c INPROCESSING
1261.12/1265.40 c GARBAGE COLLECT
1261.12/1265.40 c rational objective 0
1297.60/1302.01 c #Conflicts: 1105000 | #Constraints: 30579
1297.60/1302.01 c #Conflicts: 1106000 | #Constraints: 31911
1297.60/1302.01 c #Conflicts: 1107000 | #Constraints: 33222
1297.60/1302.01 c #Conflicts: 1108000 | #Constraints: 34634
1297.60/1302.01 c #Conflicts: 1109000 | #Constraints: 36147
1297.60/1302.01 c #Conflicts: 1110000 | #Constraints: 37417
1297.60/1302.01 c #Conflicts: 1111000 | #Constraints: 38912
1297.60/1302.01 c #Conflicts: 1112000 | #Constraints: 40418
1297.60/1302.01 c #Conflicts: 1113000 | #Constraints: 41912
1297.60/1302.01 c #Conflicts: 1114000 | #Constraints: 43300
1297.60/1302.01 c #Conflicts: 1115000 | #Constraints: 44811
1297.60/1302.01 c #Conflicts: 1116000 | #Constraints: 46308
1297.60/1302.01 c #Conflicts: 1117000 | #Constraints: 47799
1297.60/1302.01 c #Conflicts: 1118000 | #Constraints: 49289
1297.60/1302.01 c #Conflicts: 1119000 | #Constraints: 50781
1297.60/1302.01 c #Conflicts: 1120000 | #Constraints: 52271
1297.60/1302.01 c #Conflicts: 1121000 | #Constraints: 53653
1297.60/1302.01 c #Conflicts: 1122000 | #Constraints: 54869
1297.60/1302.01 c #Conflicts: 1123000 | #Constraints: 55869
1297.60/1302.01 c #Conflicts: 1124000 | #Constraints: 56877
1297.60/1302.01 c #Conflicts: 1125000 | #Constraints: 58385
1297.60/1302.01 c INPROCESSING
1297.60/1302.01 c GARBAGE COLLECT
1297.60/1302.01 c rational objective 0
1334.85/1339.45 c #Conflicts: 1126000 | #Constraints: 30557
1334.85/1339.45 c #Conflicts: 1127000 | #Constraints: 32046
1334.85/1339.45 c #Conflicts: 1128000 | #Constraints: 33522
1334.85/1339.45 c #Conflicts: 1129000 | #Constraints: 35005
1334.85/1339.45 c #Conflicts: 1130000 | #Constraints: 36492
1334.85/1339.45 c #Conflicts: 1131000 | #Constraints: 37979
1334.85/1339.45 c #Conflicts: 1132000 | #Constraints: 39471
1334.85/1339.45 c #Conflicts: 1133000 | #Constraints: 40846
1334.85/1339.45 c #Conflicts: 1134000 | #Constraints: 42300
1334.85/1339.45 c #Conflicts: 1135000 | #Constraints: 43774
1334.85/1339.45 c #Conflicts: 1136000 | #Constraints: 45258
1334.85/1339.45 c #Conflicts: 1137000 | #Constraints: 46749
1334.85/1339.45 c #Conflicts: 1138000 | #Constraints: 48244
1334.85/1339.45 c #Conflicts: 1139000 | #Constraints: 49733
1334.85/1339.45 c #Conflicts: 1140000 | #Constraints: 51210
1334.85/1339.45 c #Conflicts: 1141000 | #Constraints: 52692
1334.85/1339.45 c #Conflicts: 1142000 | #Constraints: 54192
1334.85/1339.45 c #Conflicts: 1143000 | #Constraints: 55677
1334.85/1339.45 c #Conflicts: 1144000 | #Constraints: 57173
1334.85/1339.45 c #Conflicts: 1145000 | #Constraints: 58662
1334.85/1339.45 c #Conflicts: 1146000 | #Constraints: 60138
1334.85/1339.45 c INPROCESSING
1334.85/1339.45 c GARBAGE COLLECT
1334.85/1339.45 c rational objective 0
1372.43/1377.11 c #Conflicts: 1147000 | #Constraints: 31129
1372.43/1377.11 c #Conflicts: 1148000 | #Constraints: 32616
1372.43/1377.11 c #Conflicts: 1149000 | #Constraints: 34084
1372.43/1377.11 c #Conflicts: 1150000 | #Constraints: 35569
1372.43/1377.11 c #Conflicts: 1151000 | #Constraints: 37061
1372.43/1377.11 c #Conflicts: 1152000 | #Constraints: 38544
1372.43/1377.11 c #Conflicts: 1153000 | #Constraints: 40013
1372.43/1377.11 c #Conflicts: 1154000 | #Constraints: 41474
1372.43/1377.11 c #Conflicts: 1155000 | #Constraints: 42963
1372.43/1377.11 c #Conflicts: 1156000 | #Constraints: 44449
1372.43/1377.11 c #Conflicts: 1157000 | #Constraints: 45926
1372.43/1377.11 c #Conflicts: 1158000 | #Constraints: 47420
1372.43/1377.11 c #Conflicts: 1159000 | #Constraints: 48907
1372.43/1377.11 c #Conflicts: 1160000 | #Constraints: 50380
1372.43/1377.11 c #Conflicts: 1161000 | #Constraints: 51793
1372.43/1377.11 c #Conflicts: 1162000 | #Constraints: 52793
1372.43/1377.11 c #Conflicts: 1163000 | #Constraints: 53793
1372.43/1377.11 c #Conflicts: 1164000 | #Constraints: 55054
1372.43/1377.11 c #Conflicts: 1165000 | #Constraints: 56554
1372.43/1377.11 c #Conflicts: 1166000 | #Constraints: 57775
1372.43/1377.11 c #Conflicts: 1167000 | #Constraints: 58775
1372.43/1377.11 c #Conflicts: 1168000 | #Constraints: 59775
1372.43/1377.11 c INPROCESSING
1372.43/1377.11 c GARBAGE COLLECT
1372.43/1377.11 c rational objective 0
1416.75/1421.60 c #Conflicts: 1169000 | #Constraints: 31172
1416.75/1421.60 c #Conflicts: 1170000 | #Constraints: 32648
1416.75/1421.60 c #Conflicts: 1171000 | #Constraints: 34141
1416.75/1421.60 c #Conflicts: 1172000 | #Constraints: 35627
1416.75/1421.60 c #Conflicts: 1173000 | #Constraints: 37117
1416.75/1421.60 c #Conflicts: 1174000 | #Constraints: 38594
1416.75/1421.60 c #Conflicts: 1175000 | #Constraints: 40077
1416.75/1421.60 c #Conflicts: 1176000 | #Constraints: 41563
1416.75/1421.60 c #Conflicts: 1177000 | #Constraints: 43052
1416.75/1421.60 c #Conflicts: 1178000 | #Constraints: 44541
1416.75/1421.60 c #Conflicts: 1179000 | #Constraints: 46029
1416.75/1421.60 c #Conflicts: 1180000 | #Constraints: 47518
1416.75/1421.60 c #Conflicts: 1181000 | #Constraints: 48985
1416.75/1421.60 c #Conflicts: 1182000 | #Constraints: 50466
1416.75/1421.60 c #Conflicts: 1183000 | #Constraints: 51950
1416.75/1421.60 c #Conflicts: 1184000 | #Constraints: 53426
1416.75/1421.60 c #Conflicts: 1185000 | #Constraints: 54910
1416.75/1421.60 c #Conflicts: 1186000 | #Constraints: 56396
1416.75/1421.60 c #Conflicts: 1187000 | #Constraints: 57878
1416.75/1421.60 c #Conflicts: 1188000 | #Constraints: 59366
1416.75/1421.60 c #Conflicts: 1189000 | #Constraints: 60878
1416.75/1421.60 c #Conflicts: 1190000 | #Constraints: 62357
1416.75/1421.60 c INPROCESSING
1416.75/1421.60 c GARBAGE COLLECT
1416.75/1421.60 c rational objective 0
1458.10/1463.12 c #Conflicts: 1191000 | #Constraints: 32684
1458.10/1463.12 c #Conflicts: 1192000 | #Constraints: 34139
1458.10/1463.12 c #Conflicts: 1193000 | #Constraints: 35376
1458.10/1463.12 c #Conflicts: 1194000 | #Constraints: 36570
1458.10/1463.12 c #Conflicts: 1195000 | #Constraints: 38066
1458.10/1463.12 c #Conflicts: 1196000 | #Constraints: 39560
1458.10/1463.12 c #Conflicts: 1197000 | #Constraints: 41043
1458.10/1463.12 c #Conflicts: 1198000 | #Constraints: 42542
1458.10/1463.12 c #Conflicts: 1199000 | #Constraints: 44044
1458.10/1463.12 c #Conflicts: 1200000 | #Constraints: 45539
1458.10/1463.12 c #Conflicts: 1201000 | #Constraints: 47012
1458.10/1463.12 c #Conflicts: 1202000 | #Constraints: 48511
1458.10/1463.12 c #Conflicts: 1203000 | #Constraints: 49996
1458.10/1463.12 c #Conflicts: 1204000 | #Constraints: 51497
1458.10/1463.12 c #Conflicts: 1205000 | #Constraints: 52991
1458.10/1463.12 c #Conflicts: 1206000 | #Constraints: 54466
1458.10/1463.12 c #Conflicts: 1207000 | #Constraints: 55949
1458.10/1463.12 c #Conflicts: 1208000 | #Constraints: 57442
1458.10/1463.12 c #Conflicts: 1209000 | #Constraints: 58922
1458.10/1463.12 c #Conflicts: 1210000 | #Constraints: 60439
1458.10/1463.12 c #Conflicts: 1211000 | #Constraints: 61937
1458.10/1463.12 c #Conflicts: 1212000 | #Constraints: 63419
1458.10/1463.12 c INPROCESSING
1458.10/1463.12 c GARBAGE COLLECT
1458.10/1463.12 c rational objective 0
1493.76/1498.91 c #Conflicts: 1213000 | #Constraints: 33094
1493.76/1498.91 c #Conflicts: 1214000 | #Constraints: 34149
1493.76/1498.91 c #Conflicts: 1215000 | #Constraints: 35512
1493.76/1498.91 c #Conflicts: 1216000 | #Constraints: 36599
1493.76/1498.91 c #Conflicts: 1217000 | #Constraints: 37672
1493.76/1498.91 c #Conflicts: 1218000 | #Constraints: 38715
1493.76/1498.91 c #Conflicts: 1219000 | #Constraints: 39818
1493.76/1498.91 c #Conflicts: 1220000 | #Constraints: 40927
1493.76/1498.91 c #Conflicts: 1221000 | #Constraints: 41989
1493.76/1498.91 c #Conflicts: 1222000 | #Constraints: 42989
1493.76/1498.91 c #Conflicts: 1223000 | #Constraints: 43989
1493.76/1498.91 c #Conflicts: 1224000 | #Constraints: 44989
1493.76/1498.91 c #Conflicts: 1225000 | #Constraints: 46182
1493.76/1498.91 c #Conflicts: 1226000 | #Constraints: 47182
1493.76/1498.91 c #Conflicts: 1227000 | #Constraints: 48182
1493.76/1498.91 c #Conflicts: 1228000 | #Constraints: 49196
1493.76/1498.91 c #Conflicts: 1229000 | #Constraints: 50268
1493.76/1498.91 c #Conflicts: 1230000 | #Constraints: 51268
1493.76/1498.91 c #Conflicts: 1231000 | #Constraints: 52283
1493.76/1498.91 c #Conflicts: 1232000 | #Constraints: 53283
1493.76/1498.91 c #Conflicts: 1233000 | #Constraints: 54290
1493.76/1498.91 c #Conflicts: 1234000 | #Constraints: 55304
1493.76/1498.91 c INPROCESSING
1493.76/1498.91 c GARBAGE COLLECT
1493.76/1498.91 c rational objective 0
1537.30/1542.66 c #Conflicts: 1235000 | #Constraints: 28918
1537.30/1542.66 c #Conflicts: 1236000 | #Constraints: 30401
1537.30/1542.66 c #Conflicts: 1237000 | #Constraints: 31880
1537.30/1542.66 c #Conflicts: 1238000 | #Constraints: 33355
1537.30/1542.66 c #Conflicts: 1239000 | #Constraints: 34828
1537.30/1542.66 c #Conflicts: 1240000 | #Constraints: 35855
1537.30/1542.66 c #Conflicts: 1241000 | #Constraints: 36855
1537.30/1542.66 c #Conflicts: 1242000 | #Constraints: 37855
1537.30/1542.66 c #Conflicts: 1243000 | #Constraints: 39234
1537.30/1542.66 c #Conflicts: 1244000 | #Constraints: 40732
1537.30/1542.66 c #Conflicts: 1245000 | #Constraints: 41885
1537.30/1542.66 c #Conflicts: 1246000 | #Constraints: 42885
1537.30/1542.66 c #Conflicts: 1247000 | #Constraints: 43885
1537.30/1542.66 c #Conflicts: 1248000 | #Constraints: 44885
1537.30/1542.66 c #Conflicts: 1249000 | #Constraints: 45885
1537.30/1542.66 c #Conflicts: 1250000 | #Constraints: 47162
1537.30/1542.66 c #Conflicts: 1251000 | #Constraints: 48632
1537.30/1542.66 c #Conflicts: 1252000 | #Constraints: 50115
1537.30/1542.66 c #Conflicts: 1253000 | #Constraints: 51600
1537.30/1542.66 c #Conflicts: 1254000 | #Constraints: 52737
1537.30/1542.66 c #Conflicts: 1255000 | #Constraints: 53746
1537.30/1542.66 c #Conflicts: 1256000 | #Constraints: 55229
1537.30/1542.66 c INPROCESSING
1537.30/1542.66 c GARBAGE COLLECT
1537.30/1542.66 c rational objective 0
1581.04/1586.57 c #Conflicts: 1257000 | #Constraints: 28468
1581.04/1586.57 c #Conflicts: 1258000 | #Constraints: 29628
1581.04/1586.57 c #Conflicts: 1259000 | #Constraints: 30749
1581.04/1586.57 c #Conflicts: 1260000 | #Constraints: 32017
1581.04/1586.57 c #Conflicts: 1261000 | #Constraints: 33217
1581.04/1586.57 c #Conflicts: 1262000 | #Constraints: 34714
1581.04/1586.57 c #Conflicts: 1263000 | #Constraints: 36049
1581.04/1586.57 c #Conflicts: 1264000 | #Constraints: 37539
1581.04/1586.57 c #Conflicts: 1265000 | #Constraints: 39032
1581.04/1586.57 c #Conflicts: 1266000 | #Constraints: 40355
1581.04/1586.57 c #Conflicts: 1267000 | #Constraints: 41355
1581.04/1586.57 c #Conflicts: 1268000 | #Constraints: 42429
1581.04/1586.57 c #Conflicts: 1269000 | #Constraints: 43910
1581.04/1586.57 c #Conflicts: 1270000 | #Constraints: 45404
1581.04/1586.57 c #Conflicts: 1271000 | #Constraints: 46707
1581.04/1586.57 c #Conflicts: 1272000 | #Constraints: 47707
1581.04/1586.57 c #Conflicts: 1273000 | #Constraints: 48716
1581.04/1586.57 c #Conflicts: 1274000 | #Constraints: 49716
1581.04/1586.57 c #Conflicts: 1275000 | #Constraints: 50716
1581.04/1586.57 c #Conflicts: 1276000 | #Constraints: 51716
1581.04/1586.57 c #Conflicts: 1277000 | #Constraints: 52716
1581.04/1586.57 c #Conflicts: 1278000 | #Constraints: 53716
1581.04/1586.57 c #Conflicts: 1279000 | #Constraints: 55011
1581.04/1586.57 c INPROCESSING
1581.04/1586.57 c GARBAGE COLLECT
1581.04/1586.57 c rational objective 0
1618.20/1623.83 c #Conflicts: 1280000 | #Constraints: 28465
1618.20/1623.83 c #Conflicts: 1281000 | #Constraints: 29465
1618.20/1623.83 c #Conflicts: 1282000 | #Constraints: 30616
1618.20/1623.83 c #Conflicts: 1283000 | #Constraints: 31758
1618.20/1623.83 c #Conflicts: 1284000 | #Constraints: 32943
1618.20/1623.83 c #Conflicts: 1285000 | #Constraints: 33943
1618.20/1623.83 c #Conflicts: 1286000 | #Constraints: 34943
1618.20/1623.83 c #Conflicts: 1287000 | #Constraints: 35943
1618.20/1623.83 c #Conflicts: 1288000 | #Constraints: 36943
1618.20/1623.83 c #Conflicts: 1289000 | #Constraints: 37943
1618.20/1623.83 c #Conflicts: 1290000 | #Constraints: 38943
1618.20/1623.83 c #Conflicts: 1291000 | #Constraints: 39943
1618.20/1623.83 c #Conflicts: 1292000 | #Constraints: 40943
1618.20/1623.83 c #Conflicts: 1293000 | #Constraints: 42107
1618.20/1623.83 c #Conflicts: 1294000 | #Constraints: 43465
1618.20/1623.83 c #Conflicts: 1295000 | #Constraints: 44809
1618.20/1623.83 c #Conflicts: 1296000 | #Constraints: 46238
1618.20/1623.83 c #Conflicts: 1297000 | #Constraints: 47275
1618.20/1623.83 c #Conflicts: 1298000 | #Constraints: 48735
1618.20/1623.83 c #Conflicts: 1299000 | #Constraints: 50215
1618.20/1623.83 c #Conflicts: 1300000 | #Constraints: 51320
1618.20/1623.83 c #Conflicts: 1301000 | #Constraints: 52580
1618.20/1623.83 c #Conflicts: 1302000 | #Constraints: 54061
1618.20/1623.83 c INPROCESSING
1618.20/1623.83 c GARBAGE COLLECT
1618.20/1623.83 c rational objective 0
1657.05/1662.88 c #Conflicts: 1303000 | #Constraints: 28447
1657.05/1662.88 c #Conflicts: 1304000 | #Constraints: 29447
1657.05/1662.88 c #Conflicts: 1305000 | #Constraints: 30474
1657.05/1662.88 c #Conflicts: 1306000 | #Constraints: 31970
1657.05/1662.88 c #Conflicts: 1307000 | #Constraints: 33454
1657.05/1662.88 c #Conflicts: 1308000 | #Constraints: 34693
1657.05/1662.88 c #Conflicts: 1309000 | #Constraints: 35693
1657.05/1662.88 c #Conflicts: 1310000 | #Constraints: 36693
1657.05/1662.88 c #Conflicts: 1311000 | #Constraints: 37881
1657.05/1662.88 c #Conflicts: 1312000 | #Constraints: 38885
1657.05/1662.88 c #Conflicts: 1313000 | #Constraints: 39885
1657.05/1662.88 c #Conflicts: 1314000 | #Constraints: 40885
1657.05/1662.88 c #Conflicts: 1315000 | #Constraints: 41885
1657.05/1662.88 c #Conflicts: 1316000 | #Constraints: 42885
1657.05/1662.88 c #Conflicts: 1317000 | #Constraints: 43885
1657.05/1662.88 c #Conflicts: 1318000 | #Constraints: 44885
1657.05/1662.88 c #Conflicts: 1319000 | #Constraints: 45885
1657.05/1662.88 c #Conflicts: 1320000 | #Constraints: 46885
1657.05/1662.88 c #Conflicts: 1321000 | #Constraints: 47885
1657.05/1662.88 c #Conflicts: 1322000 | #Constraints: 48885
1657.05/1662.88 c #Conflicts: 1323000 | #Constraints: 49885
1657.05/1662.88 c #Conflicts: 1324000 | #Constraints: 50885
1657.05/1662.88 c #Conflicts: 1325000 | #Constraints: 51885
1657.05/1662.88 c INPROCESSING
1657.05/1662.88 c GARBAGE COLLECT
1657.05/1662.88 c rational objective 0
1688.94/1694.82 c #Conflicts: 1326000 | #Constraints: 26956
1688.94/1694.82 c #Conflicts: 1327000 | #Constraints: 27956
1688.94/1694.82 c #Conflicts: 1328000 | #Constraints: 28956
1688.94/1694.82 c #Conflicts: 1329000 | #Constraints: 29956
1688.94/1694.82 c #Conflicts: 1330000 | #Constraints: 30956
1688.94/1694.82 c #Conflicts: 1331000 | #Constraints: 31956
1688.94/1694.82 c #Conflicts: 1332000 | #Constraints: 32956
1688.94/1694.82 c #Conflicts: 1333000 | #Constraints: 33956
1688.94/1694.82 c #Conflicts: 1334000 | #Constraints: 34956
1688.94/1694.82 c #Conflicts: 1335000 | #Constraints: 35956
1688.94/1694.82 c #Conflicts: 1336000 | #Constraints: 36956
1688.94/1694.82 c #Conflicts: 1337000 | #Constraints: 37956
1688.94/1694.82 c #Conflicts: 1338000 | #Constraints: 38956
1688.94/1694.82 c #Conflicts: 1339000 | #Constraints: 39956
1688.94/1694.82 c #Conflicts: 1340000 | #Constraints: 40956
1688.94/1694.82 c #Conflicts: 1341000 | #Constraints: 41956
1688.94/1694.82 c #Conflicts: 1342000 | #Constraints: 42956
1688.94/1694.82 c #Conflicts: 1343000 | #Constraints: 43956
1688.94/1694.82 c #Conflicts: 1344000 | #Constraints: 44956
1688.94/1694.82 c #Conflicts: 1345000 | #Constraints: 45956
1688.94/1694.82 c #Conflicts: 1346000 | #Constraints: 46956
1688.94/1694.82 c #Conflicts: 1347000 | #Constraints: 47956
1688.94/1694.82 c #Conflicts: 1348000 | #Constraints: 48956
1688.94/1694.82 c INPROCESSING
1688.94/1694.82 c GARBAGE COLLECT
1688.94/1694.82 c rational objective 0
1735.48/1741.53 c #Conflicts: 1349000 | #Constraints: 25766
1735.48/1741.53 c #Conflicts: 1350000 | #Constraints: 27232
1735.48/1741.53 c #Conflicts: 1351000 | #Constraints: 28700
1735.48/1741.53 c #Conflicts: 1352000 | #Constraints: 30169
1735.48/1741.53 c #Conflicts: 1353000 | #Constraints: 31566
1735.48/1741.53 c #Conflicts: 1354000 | #Constraints: 32936
1735.48/1741.53 c #Conflicts: 1355000 | #Constraints: 34430
1735.48/1741.53 c #Conflicts: 1356000 | #Constraints: 35928
1735.48/1741.53 c #Conflicts: 1357000 | #Constraints: 37401
1735.48/1741.53 c #Conflicts: 1358000 | #Constraints: 38863
1735.48/1741.53 c #Conflicts: 1359000 | #Constraints: 40187
1735.48/1741.53 c #Conflicts: 1360000 | #Constraints: 41456
1735.48/1741.53 c #Conflicts: 1361000 | #Constraints: 42456
1735.48/1741.53 c #Conflicts: 1362000 | #Constraints: 43456
1735.48/1741.53 c #Conflicts: 1363000 | #Constraints: 44456
1735.48/1741.53 c #Conflicts: 1364000 | #Constraints: 45456
1735.48/1741.53 c #Conflicts: 1365000 | #Constraints: 46492
1735.48/1741.53 c #Conflicts: 1366000 | #Constraints: 47492
1735.48/1741.53 c #Conflicts: 1367000 | #Constraints: 48492
1735.48/1741.53 c #Conflicts: 1368000 | #Constraints: 49492
1735.48/1741.53 c #Conflicts: 1369000 | #Constraints: 50492
1735.48/1741.53 c #Conflicts: 1370000 | #Constraints: 51492
1735.48/1741.53 c #Conflicts: 1371000 | #Constraints: 52694
1735.48/1741.53 c INPROCESSING
1735.48/1741.53 c GARBAGE COLLECT
1735.48/1741.53 c rational objective 0
1779.74/1785.97 c #Conflicts: 1372000 | #Constraints: 27258
1779.74/1785.97 c #Conflicts: 1373000 | #Constraints: 28739
1779.74/1785.97 c #Conflicts: 1374000 | #Constraints: 30248
1779.74/1785.97 c #Conflicts: 1375000 | #Constraints: 31741
1779.74/1785.97 c #Conflicts: 1376000 | #Constraints: 33234
1779.74/1785.97 c #Conflicts: 1377000 | #Constraints: 34732
1779.74/1785.97 c #Conflicts: 1378000 | #Constraints: 36230
1779.74/1785.97 c #Conflicts: 1379000 | #Constraints: 37712
1779.74/1785.97 c #Conflicts: 1380000 | #Constraints: 39200
1779.74/1785.97 c #Conflicts: 1381000 | #Constraints: 40692
1779.74/1785.97 c #Conflicts: 1382000 | #Constraints: 42178
1779.74/1785.97 c #Conflicts: 1383000 | #Constraints: 43672
1779.74/1785.97 c #Conflicts: 1384000 | #Constraints: 45153
1779.74/1785.97 c #Conflicts: 1385000 | #Constraints: 46649
1779.74/1785.97 c #Conflicts: 1386000 | #Constraints: 48131
1779.74/1785.97 c #Conflicts: 1387000 | #Constraints: 49609
1779.74/1785.97 c #Conflicts: 1388000 | #Constraints: 51085
1779.74/1785.97 c #Conflicts: 1389000 | #Constraints: 52573
1779.74/1785.97 c #Conflicts: 1390000 | #Constraints: 54075
1779.74/1785.97 c #Conflicts: 1391000 | #Constraints: 55587
1779.74/1785.97 c #Conflicts: 1392000 | #Constraints: 57080
1779.74/1785.97 c #Conflicts: 1393000 | #Constraints: 58558
1779.74/1785.97 c #Conflicts: 1394000 | #Constraints: 60029
1779.74/1785.97 c #Conflicts: 1395000 | #Constraints: 61531
1779.74/1785.97 c INPROCESSING
1779.74/1785.97 c GARBAGE COLLECT
1779.74/1785.97 c rational objective 0
1833.86/1840.22 c #Conflicts: 1396000 | #Constraints: 32125
1833.86/1840.22 c #Conflicts: 1397000 | #Constraints: 33608
1833.86/1840.22 c #Conflicts: 1398000 | #Constraints: 35089
1833.86/1840.22 c #Conflicts: 1399000 | #Constraints: 36562
1833.86/1840.22 c #Conflicts: 1400000 | #Constraints: 38072
1833.86/1840.22 c #Conflicts: 1401000 | #Constraints: 39542
1833.86/1840.22 c #Conflicts: 1402000 | #Constraints: 41019
1833.86/1840.22 c #Conflicts: 1403000 | #Constraints: 42500
1833.86/1840.22 c #Conflicts: 1404000 | #Constraints: 43975
1833.86/1840.22 c #Conflicts: 1405000 | #Constraints: 45457
1833.86/1840.22 c #Conflicts: 1406000 | #Constraints: 46934
1833.86/1840.22 c #Conflicts: 1407000 | #Constraints: 48433
1833.86/1840.22 c #Conflicts: 1408000 | #Constraints: 49918
1833.86/1840.22 c #Conflicts: 1409000 | #Constraints: 51400
1833.86/1840.22 c #Conflicts: 1410000 | #Constraints: 52891
1833.86/1840.22 c #Conflicts: 1411000 | #Constraints: 54375
1833.86/1840.22 c #Conflicts: 1412000 | #Constraints: 55847
1833.86/1840.22 c #Conflicts: 1413000 | #Constraints: 57315
1833.86/1840.22 c #Conflicts: 1414000 | #Constraints: 58811
1833.86/1840.22 c #Conflicts: 1415000 | #Constraints: 60309
1833.86/1840.22 c #Conflicts: 1416000 | #Constraints: 61802
1833.86/1840.22 c #Conflicts: 1417000 | #Constraints: 63283
1833.86/1840.22 c #Conflicts: 1418000 | #Constraints: 64772
1833.86/1840.22 c #Conflicts: 1419000 | #Constraints: 66256
1833.86/1840.22 c INPROCESSING
1833.86/1840.22 c GARBAGE COLLECT
1833.86/1840.22 c rational objective 0
1889.97/1896.55 c #Conflicts: 1420000 | #Constraints: 34417
1889.97/1896.55 c #Conflicts: 1421000 | #Constraints: 35591
1889.97/1896.55 c #Conflicts: 1422000 | #Constraints: 37064
1889.97/1896.55 c #Conflicts: 1423000 | #Constraints: 38544
1889.97/1896.55 c #Conflicts: 1424000 | #Constraints: 40023
1889.97/1896.55 c #Conflicts: 1425000 | #Constraints: 41503
1889.97/1896.55 c #Conflicts: 1426000 | #Constraints: 42982
1889.97/1896.55 c #Conflicts: 1427000 | #Constraints: 44465
1889.97/1896.55 c #Conflicts: 1428000 | #Constraints: 45959
1889.97/1896.55 c #Conflicts: 1429000 | #Constraints: 47442
1889.97/1896.55 c #Conflicts: 1430000 | #Constraints: 48970
1889.97/1896.55 c #Conflicts: 1431000 | #Constraints: 50479
1889.97/1896.55 c #Conflicts: 1432000 | #Constraints: 51957
1889.97/1896.55 c #Conflicts: 1433000 | #Constraints: 53431
1889.97/1896.55 c #Conflicts: 1434000 | #Constraints: 54920
1889.97/1896.55 c #Conflicts: 1435000 | #Constraints: 56390
1889.97/1896.55 c #Conflicts: 1436000 | #Constraints: 57877
1889.97/1896.55 c #Conflicts: 1437000 | #Constraints: 59357
1889.97/1896.55 c #Conflicts: 1438000 | #Constraints: 60839
1889.97/1896.55 c #Conflicts: 1439000 | #Constraints: 62341
1889.97/1896.55 c #Conflicts: 1440000 | #Constraints: 63837
1889.97/1896.55 c #Conflicts: 1441000 | #Constraints: 65327
1889.97/1896.55 c #Conflicts: 1442000 | #Constraints: 66814
1889.97/1896.55 c #Conflicts: 1443000 | #Constraints: 68305
1889.97/1896.55 c INPROCESSING
1889.97/1896.55 c GARBAGE COLLECT
1889.97/1896.55 c rational objective 0
1947.48/1954.23 c #Conflicts: 1444000 | #Constraints: 35667
1947.48/1954.23 c #Conflicts: 1445000 | #Constraints: 37162
1947.48/1954.23 c #Conflicts: 1446000 | #Constraints: 38648
1947.48/1954.23 c #Conflicts: 1447000 | #Constraints: 40142
1947.48/1954.23 c #Conflicts: 1448000 | #Constraints: 41640
1947.48/1954.23 c #Conflicts: 1449000 | #Constraints: 43124
1947.48/1954.23 c #Conflicts: 1450000 | #Constraints: 44614
1947.48/1954.23 c #Conflicts: 1451000 | #Constraints: 46082
1947.48/1954.23 c #Conflicts: 1452000 | #Constraints: 47565
1947.48/1954.23 c #Conflicts: 1453000 | #Constraints: 49058
1947.48/1954.23 c #Conflicts: 1454000 | #Constraints: 50536
1947.48/1954.23 c #Conflicts: 1455000 | #Constraints: 52010
1947.48/1954.23 c #Conflicts: 1456000 | #Constraints: 53493
1947.48/1954.23 c #Conflicts: 1457000 | #Constraints: 54978
1947.48/1954.23 c #Conflicts: 1458000 | #Constraints: 56467
1947.48/1954.23 c #Conflicts: 1459000 | #Constraints: 57959
1947.48/1954.23 c #Conflicts: 1460000 | #Constraints: 59443
1947.48/1954.23 c #Conflicts: 1461000 | #Constraints: 60927
1947.48/1954.23 c #Conflicts: 1462000 | #Constraints: 62419
1947.48/1954.23 c #Conflicts: 1463000 | #Constraints: 63917
1947.48/1954.23 c #Conflicts: 1464000 | #Constraints: 65381
1947.48/1954.23 c #Conflicts: 1465000 | #Constraints: 66875
1947.48/1954.23 c #Conflicts: 1466000 | #Constraints: 68385
1947.48/1954.23 c #Conflicts: 1467000 | #Constraints: 69886
1947.48/1954.23 c INPROCESSING
1947.48/1954.23 c GARBAGE COLLECT
1947.48/1954.23 c rational objective 0
2011.98/2018.97 c #Conflicts: 1468000 | #Constraints: 36300
2011.98/2018.97 c #Conflicts: 1469000 | #Constraints: 37792
2011.98/2018.97 c #Conflicts: 1470000 | #Constraints: 39285
2011.98/2018.97 c #Conflicts: 1471000 | #Constraints: 40777
2011.98/2018.97 c #Conflicts: 1472000 | #Constraints: 42253
2011.98/2018.97 c #Conflicts: 1473000 | #Constraints: 43720
2011.98/2018.97 c #Conflicts: 1474000 | #Constraints: 45215
2011.98/2018.97 c #Conflicts: 1475000 | #Constraints: 46686
2011.98/2018.97 c #Conflicts: 1476000 | #Constraints: 48188
2011.98/2018.97 c #Conflicts: 1477000 | #Constraints: 49665
2011.98/2018.97 c #Conflicts: 1478000 | #Constraints: 51155
2011.98/2018.97 c #Conflicts: 1479000 | #Constraints: 52639
2011.98/2018.97 c #Conflicts: 1480000 | #Constraints: 54132
2011.98/2018.97 c #Conflicts: 1481000 | #Constraints: 55633
2011.98/2018.97 c #Conflicts: 1482000 | #Constraints: 57117
2011.98/2018.97 c #Conflicts: 1483000 | #Constraints: 58599
2011.98/2018.97 c #Conflicts: 1484000 | #Constraints: 60077
2011.98/2018.97 c #Conflicts: 1485000 | #Constraints: 61577
2011.98/2018.97 c #Conflicts: 1486000 | #Constraints: 63071
2011.98/2018.97 c #Conflicts: 1487000 | #Constraints: 64560
2011.98/2018.97 c #Conflicts: 1488000 | #Constraints: 66041
2011.98/2018.97 c #Conflicts: 1489000 | #Constraints: 67534
2011.98/2018.97 c #Conflicts: 1490000 | #Constraints: 69018
2011.98/2018.97 c #Conflicts: 1491000 | #Constraints: 70501
2011.98/2018.97 c INPROCESSING
2011.98/2018.97 c GARBAGE COLLECT
2011.98/2018.97 c rational objective 0
2088.33/2095.55 c #Conflicts: 1492000 | #Constraints: 36199
2088.33/2095.55 c #Conflicts: 1493000 | #Constraints: 37691
2088.33/2095.55 c #Conflicts: 1494000 | #Constraints: 39159
2088.33/2095.55 c #Conflicts: 1495000 | #Constraints: 40641
2088.33/2095.55 c #Conflicts: 1496000 | #Constraints: 42117
2088.33/2095.55 c #Conflicts: 1497000 | #Constraints: 43592
2088.33/2095.55 c #Conflicts: 1498000 | #Constraints: 45074
2088.33/2095.55 c #Conflicts: 1499000 | #Constraints: 46549
2088.33/2095.55 c #Conflicts: 1500000 | #Constraints: 48027
2088.33/2095.55 c #Conflicts: 1501000 | #Constraints: 49511
2088.33/2095.55 c #Conflicts: 1502000 | #Constraints: 51003
2088.33/2095.55 c #Conflicts: 1503000 | #Constraints: 52485
2088.33/2095.55 c #Conflicts: 1504000 | #Constraints: 53978
2088.33/2095.55 c #Conflicts: 1505000 | #Constraints: 55454
2088.33/2095.55 c #Conflicts: 1506000 | #Constraints: 56938
2088.33/2095.55 c #Conflicts: 1507000 | #Constraints: 58348
2088.33/2095.55 c #Conflicts: 1508000 | #Constraints: 59843
2088.33/2095.55 c #Conflicts: 1509000 | #Constraints: 61313
2088.33/2095.55 c #Conflicts: 1510000 | #Constraints: 62789
2088.33/2095.55 c #Conflicts: 1511000 | #Constraints: 64269
2088.33/2095.55 c #Conflicts: 1512000 | #Constraints: 65747
2088.33/2095.55 c #Conflicts: 1513000 | #Constraints: 67222
2088.33/2095.55 c #Conflicts: 1514000 | #Constraints: 68701
2088.33/2095.55 c #Conflicts: 1515000 | #Constraints: 70177
2088.33/2095.55 c #Conflicts: 1516000 | #Constraints: 71639
2088.33/2095.55 c INPROCESSING
2088.33/2095.55 c GARBAGE COLLECT
2088.33/2095.55 c rational objective 0
2144.35/2151.72 c #Conflicts: 1517000 | #Constraints: 36931
2144.35/2151.72 c #Conflicts: 1518000 | #Constraints: 38104
2144.35/2151.72 c #Conflicts: 1519000 | #Constraints: 39534
2144.35/2151.72 c #Conflicts: 1520000 | #Constraints: 40798
2144.35/2151.72 c #Conflicts: 1521000 | #Constraints: 41798
2144.35/2151.72 c #Conflicts: 1522000 | #Constraints: 42798
2144.35/2151.72 c #Conflicts: 1523000 | #Constraints: 43798
2144.35/2151.72 c #Conflicts: 1524000 | #Constraints: 44798
2144.35/2151.72 c #Conflicts: 1525000 | #Constraints: 45798
2144.35/2151.72 c #Conflicts: 1526000 | #Constraints: 46798
2144.35/2151.72 c #Conflicts: 1527000 | #Constraints: 48193
2144.35/2151.72 c #Conflicts: 1528000 | #Constraints: 49663
2144.35/2151.72 c #Conflicts: 1529000 | #Constraints: 50663
2144.35/2151.72 c #Conflicts: 1530000 | #Constraints: 51663
2144.35/2151.72 c #Conflicts: 1531000 | #Constraints: 52663
2144.35/2151.72 c #Conflicts: 1532000 | #Constraints: 53663
2144.35/2151.72 c #Conflicts: 1533000 | #Constraints: 55007
2144.35/2151.72 c #Conflicts: 1534000 | #Constraints: 56278
2144.35/2151.72 c #Conflicts: 1535000 | #Constraints: 57473
2144.35/2151.72 c #Conflicts: 1536000 | #Constraints: 58473
2144.35/2151.72 c #Conflicts: 1537000 | #Constraints: 59473
2144.35/2151.72 c #Conflicts: 1538000 | #Constraints: 60473
2144.35/2151.72 c #Conflicts: 1539000 | #Constraints: 61803
2144.35/2151.72 c #Conflicts: 1540000 | #Constraints: 62923
2144.35/2151.72 c #Conflicts: 1541000 | #Constraints: 63923
2144.35/2151.72 c INPROCESSING
2144.35/2151.72 c GARBAGE COLLECT
2144.35/2151.72 c rational objective 0
2199.18/2206.72 c #Conflicts: 1542000 | #Constraints: 33409
2199.18/2206.72 c #Conflicts: 1543000 | #Constraints: 34487
2199.18/2206.72 c #Conflicts: 1544000 | #Constraints: 35764
2199.18/2206.72 c #Conflicts: 1545000 | #Constraints: 37231
2199.18/2206.72 c #Conflicts: 1546000 | #Constraints: 38456
2199.18/2206.72 c #Conflicts: 1547000 | #Constraints: 39648
2199.18/2206.72 c #Conflicts: 1548000 | #Constraints: 40648
2199.18/2206.72 c #Conflicts: 1549000 | #Constraints: 41648
2199.18/2206.72 c #Conflicts: 1550000 | #Constraints: 43028
2199.18/2206.72 c #Conflicts: 1551000 | #Constraints: 44509
2199.18/2206.72 c #Conflicts: 1552000 | #Constraints: 45870
2199.18/2206.72 c #Conflicts: 1553000 | #Constraints: 46895
2199.18/2206.72 c #Conflicts: 1554000 | #Constraints: 47926
2199.18/2206.72 c #Conflicts: 1555000 | #Constraints: 49382
2199.18/2206.72 c #Conflicts: 1556000 | #Constraints: 50581
2199.18/2206.72 c #Conflicts: 1557000 | #Constraints: 51581
2199.18/2206.72 c #Conflicts: 1558000 | #Constraints: 52581
2199.18/2206.72 c #Conflicts: 1559000 | #Constraints: 53581
2199.18/2206.72 c #Conflicts: 1560000 | #Constraints: 54581
2199.18/2206.72 c #Conflicts: 1561000 | #Constraints: 56009
2199.18/2206.72 c #Conflicts: 1562000 | #Constraints: 57076
2199.18/2206.72 c #Conflicts: 1563000 | #Constraints: 58090
2199.18/2206.72 c #Conflicts: 1564000 | #Constraints: 59099
2199.18/2206.72 c #Conflicts: 1565000 | #Constraints: 60099
2199.18/2206.72 c #Conflicts: 1566000 | #Constraints: 61099
2199.18/2206.72 c INPROCESSING
2199.18/2206.72 c GARBAGE COLLECT
2199.18/2206.72 c rational objective 0
2250.51/2258.20 c #Conflicts: 1567000 | #Constraints: 31740
2250.51/2258.20 c #Conflicts: 1568000 | #Constraints: 33101
2250.51/2258.20 c #Conflicts: 1569000 | #Constraints: 34391
2250.51/2258.20 c #Conflicts: 1570000 | #Constraints: 35570
2250.51/2258.20 c #Conflicts: 1571000 | #Constraints: 36780
2250.51/2258.20 c #Conflicts: 1572000 | #Constraints: 37982
2250.51/2258.20 c #Conflicts: 1573000 | #Constraints: 39072
2250.51/2258.20 c #Conflicts: 1574000 | #Constraints: 40072
2250.51/2258.20 c #Conflicts: 1575000 | #Constraints: 41072
2250.51/2258.20 c #Conflicts: 1576000 | #Constraints: 42202
2250.51/2258.20 c #Conflicts: 1577000 | #Constraints: 43474
2250.51/2258.20 c #Conflicts: 1578000 | #Constraints: 44544
2250.51/2258.20 c #Conflicts: 1579000 | #Constraints: 45639
2250.51/2258.20 c #Conflicts: 1580000 | #Constraints: 46639
2250.51/2258.20 c #Conflicts: 1581000 | #Constraints: 47639
2250.51/2258.20 c #Conflicts: 1582000 | #Constraints: 48639
2250.51/2258.20 c #Conflicts: 1583000 | #Constraints: 49704
2250.51/2258.20 c #Conflicts: 1584000 | #Constraints: 51010
2250.51/2258.20 c #Conflicts: 1585000 | #Constraints: 52424
2250.51/2258.20 c #Conflicts: 1586000 | #Constraints: 53424
2250.51/2258.20 c #Conflicts: 1587000 | #Constraints: 54432
2250.51/2258.20 c #Conflicts: 1588000 | #Constraints: 55779
2250.51/2258.20 c #Conflicts: 1589000 | #Constraints: 57277
2250.51/2258.20 c #Conflicts: 1590000 | #Constraints: 58468
2250.51/2258.20 c #Conflicts: 1591000 | #Constraints: 59468
2250.51/2258.20 c INPROCESSING
2250.51/2258.20 c GARBAGE COLLECT
2250.51/2258.20 c rational objective 0
2316.30/2324.25 c #Conflicts: 1592000 | #Constraints: 31035
2316.30/2324.25 c #Conflicts: 1593000 | #Constraints: 32524
2316.30/2324.25 c #Conflicts: 1594000 | #Constraints: 34011
2316.30/2324.25 c #Conflicts: 1595000 | #Constraints: 35492
2316.30/2324.25 c #Conflicts: 1596000 | #Constraints: 36982
2316.30/2324.25 c #Conflicts: 1597000 | #Constraints: 38475
2316.30/2324.25 c #Conflicts: 1598000 | #Constraints: 39961
2316.30/2324.25 c #Conflicts: 1599000 | #Constraints: 41425
2316.30/2324.25 c #Conflicts: 1600000 | #Constraints: 42913
2316.30/2324.25 c #Conflicts: 1601000 | #Constraints: 44419
2316.30/2324.25 c #Conflicts: 1602000 | #Constraints: 45914
2316.30/2324.25 c #Conflicts: 1603000 | #Constraints: 47402
2316.30/2324.25 c #Conflicts: 1604000 | #Constraints: 48887
2316.30/2324.25 c #Conflicts: 1605000 | #Constraints: 50375
2316.30/2324.25 c #Conflicts: 1606000 | #Constraints: 51872
2316.30/2324.25 c #Conflicts: 1607000 | #Constraints: 53351
2316.30/2324.25 c #Conflicts: 1608000 | #Constraints: 54845
2316.30/2324.25 c #Conflicts: 1609000 | #Constraints: 56333
2316.30/2324.25 c #Conflicts: 1610000 | #Constraints: 57814
2316.30/2324.25 c #Conflicts: 1611000 | #Constraints: 59293
2316.30/2324.25 c #Conflicts: 1612000 | #Constraints: 60767
2316.30/2324.25 c #Conflicts: 1613000 | #Constraints: 62255
2316.30/2324.25 c #Conflicts: 1614000 | #Constraints: 63750
2316.30/2324.25 c #Conflicts: 1615000 | #Constraints: 65234
2316.30/2324.25 c #Conflicts: 1616000 | #Constraints: 66715
2316.30/2324.25 c INPROCESSING
2316.30/2324.25 c GARBAGE COLLECT
2316.30/2324.25 c rational objective 0
2398.84/2407.04 c #Conflicts: 1617000 | #Constraints: 34341
2398.84/2407.04 c #Conflicts: 1618000 | #Constraints: 35811
2398.84/2407.04 c #Conflicts: 1619000 | #Constraints: 37154
2398.84/2407.04 c #Conflicts: 1620000 | #Constraints: 38640
2398.84/2407.04 c #Conflicts: 1621000 | #Constraints: 40083
2398.84/2407.04 c #Conflicts: 1622000 | #Constraints: 41554
2398.84/2407.04 c #Conflicts: 1623000 | #Constraints: 43037
2398.84/2407.04 c #Conflicts: 1624000 | #Constraints: 44523
2398.84/2407.04 c #Conflicts: 1625000 | #Constraints: 46024
2398.84/2407.04 c #Conflicts: 1626000 | #Constraints: 47523
2398.84/2407.04 c #Conflicts: 1627000 | #Constraints: 48988
2398.84/2407.04 c #Conflicts: 1628000 | #Constraints: 50475
2398.84/2407.04 c #Conflicts: 1629000 | #Constraints: 51960
2398.84/2407.04 c #Conflicts: 1630000 | #Constraints: 53448
2398.84/2407.04 c #Conflicts: 1631000 | #Constraints: 54936
2398.84/2407.04 c #Conflicts: 1632000 | #Constraints: 56432
2398.84/2407.04 c #Conflicts: 1633000 | #Constraints: 57922
2398.84/2407.04 c #Conflicts: 1634000 | #Constraints: 59412
2398.84/2407.04 c #Conflicts: 1635000 | #Constraints: 60886
2398.84/2407.04 c #Conflicts: 1636000 | #Constraints: 62385
2398.84/2407.04 c #Conflicts: 1637000 | #Constraints: 63888
2398.84/2407.04 c #Conflicts: 1638000 | #Constraints: 65374
2398.84/2407.04 c #Conflicts: 1639000 | #Constraints: 66855
2398.84/2407.04 c #Conflicts: 1640000 | #Constraints: 68341
2398.84/2407.04 c #Conflicts: 1641000 | #Constraints: 69822
2398.84/2407.04 c #Conflicts: 1642000 | #Constraints: 71319
2398.84/2407.04 c INPROCESSING
2398.84/2407.04 c GARBAGE COLLECT
2398.84/2407.04 c rational objective 0
2474.75/2483.20 c #Conflicts: 1643000 | #Constraints: 37005
2474.75/2483.20 c #Conflicts: 1644000 | #Constraints: 38492
2474.75/2483.20 c #Conflicts: 1645000 | #Constraints: 39970
2474.75/2483.20 c #Conflicts: 1646000 | #Constraints: 41460
2474.75/2483.20 c #Conflicts: 1647000 | #Constraints: 42959
2474.75/2483.20 c #Conflicts: 1648000 | #Constraints: 44221
2474.75/2483.20 c #Conflicts: 1649000 | #Constraints: 45221
2474.75/2483.20 c #Conflicts: 1650000 | #Constraints: 46523
2474.75/2483.20 c #Conflicts: 1651000 | #Constraints: 47525
2474.75/2483.20 c #Conflicts: 1652000 | #Constraints: 48525
2474.75/2483.20 c #Conflicts: 1653000 | #Constraints: 49525
2474.75/2483.20 c #Conflicts: 1654000 | #Constraints: 50960
2474.75/2483.20 c #Conflicts: 1655000 | #Constraints: 52457
2474.75/2483.20 c #Conflicts: 1656000 | #Constraints: 53931
2474.75/2483.20 c #Conflicts: 1657000 | #Constraints: 55438
2474.75/2483.20 c #Conflicts: 1658000 | #Constraints: 56919
2474.75/2483.20 c #Conflicts: 1659000 | #Constraints: 58403
2474.75/2483.20 c #Conflicts: 1660000 | #Constraints: 59881
2474.75/2483.20 c #Conflicts: 1661000 | #Constraints: 61298
2474.75/2483.20 c #Conflicts: 1662000 | #Constraints: 62502
2474.75/2483.20 c #Conflicts: 1663000 | #Constraints: 63988
2474.75/2483.20 c #Conflicts: 1664000 | #Constraints: 65262
2474.75/2483.20 c #Conflicts: 1665000 | #Constraints: 66262
2474.75/2483.20 c #Conflicts: 1666000 | #Constraints: 67714
2474.75/2483.20 c #Conflicts: 1667000 | #Constraints: 69212
2474.75/2483.20 c #Conflicts: 1668000 | #Constraints: 70703
2474.75/2483.20 c INPROCESSING
2474.75/2483.20 c GARBAGE COLLECT
2474.75/2483.20 c rational objective 0
2552.17/2560.91 c #Conflicts: 1669000 | #Constraints: 36798
2552.17/2560.91 c #Conflicts: 1670000 | #Constraints: 38288
2552.17/2560.91 c #Conflicts: 1671000 | #Constraints: 39786
2552.17/2560.91 c #Conflicts: 1672000 | #Constraints: 41290
2552.17/2560.91 c #Conflicts: 1673000 | #Constraints: 42777
2552.17/2560.91 c #Conflicts: 1674000 | #Constraints: 44167
2552.17/2560.91 c #Conflicts: 1675000 | #Constraints: 45167
2552.17/2560.91 c #Conflicts: 1676000 | #Constraints: 46167
2552.17/2560.91 c #Conflicts: 1677000 | #Constraints: 47167
2552.17/2560.91 c #Conflicts: 1678000 | #Constraints: 48506
2552.17/2560.91 c #Conflicts: 1679000 | #Constraints: 49989
2552.17/2560.91 c #Conflicts: 1680000 | #Constraints: 51366
2552.17/2560.91 c #Conflicts: 1681000 | #Constraints: 52824
2552.17/2560.91 c #Conflicts: 1682000 | #Constraints: 54289
2552.17/2560.91 c #Conflicts: 1683000 | #Constraints: 55762
2552.17/2560.91 c #Conflicts: 1684000 | #Constraints: 57233
2552.17/2560.91 c #Conflicts: 1685000 | #Constraints: 58707
2552.17/2560.91 c #Conflicts: 1686000 | #Constraints: 60189
2552.17/2560.91 c #Conflicts: 1687000 | #Constraints: 61680
2552.17/2560.91 c #Conflicts: 1688000 | #Constraints: 63145
2552.17/2560.91 c #Conflicts: 1689000 | #Constraints: 64145
2552.17/2560.91 c #Conflicts: 1690000 | #Constraints: 65145
2552.17/2560.91 c #Conflicts: 1691000 | #Constraints: 66580
2552.17/2560.91 c #Conflicts: 1692000 | #Constraints: 68056
2552.17/2560.91 c #Conflicts: 1693000 | #Constraints: 69522
2552.17/2560.91 c #Conflicts: 1694000 | #Constraints: 70997
2552.17/2560.91 c INPROCESSING
2552.17/2560.91 c GARBAGE COLLECT
2552.17/2560.91 c rational objective 0
2606.87/2615.81 c #Conflicts: 1695000 | #Constraints: 36655
2606.87/2615.81 c #Conflicts: 1696000 | #Constraints: 37655
2606.87/2615.81 c #Conflicts: 1697000 | #Constraints: 38758
2606.87/2615.81 c #Conflicts: 1698000 | #Constraints: 39818
2606.87/2615.81 c #Conflicts: 1699000 | #Constraints: 40818
2606.87/2615.81 c #Conflicts: 1700000 | #Constraints: 41820
2606.87/2615.81 c #Conflicts: 1701000 | #Constraints: 42820
2606.87/2615.81 c #Conflicts: 1702000 | #Constraints: 43820
2606.87/2615.81 c #Conflicts: 1703000 | #Constraints: 44820
2606.87/2615.81 c #Conflicts: 1704000 | #Constraints: 45868
2606.87/2615.81 c #Conflicts: 1705000 | #Constraints: 46926
2606.87/2615.81 c #Conflicts: 1706000 | #Constraints: 47955
2606.87/2615.81 c #Conflicts: 1707000 | #Constraints: 48955
2606.87/2615.81 c #Conflicts: 1708000 | #Constraints: 49969
2606.87/2615.81 c #Conflicts: 1709000 | #Constraints: 50984
2606.87/2615.81 c #Conflicts: 1710000 | #Constraints: 52009
2606.87/2615.81 c #Conflicts: 1711000 | #Constraints: 53009
2606.87/2615.81 c #Conflicts: 1712000 | #Constraints: 54009
2606.87/2615.81 c #Conflicts: 1713000 | #Constraints: 55129
2606.87/2615.81 c #Conflicts: 1714000 | #Constraints: 56333
2606.87/2615.81 c #Conflicts: 1715000 | #Constraints: 57357
2606.87/2615.81 c #Conflicts: 1716000 | #Constraints: 58431
2606.87/2615.81 c #Conflicts: 1717000 | #Constraints: 59550
2606.87/2615.81 c #Conflicts: 1718000 | #Constraints: 60558
2606.87/2615.81 c #Conflicts: 1719000 | #Constraints: 61629
2606.87/2615.81 c #Conflicts: 1720000 | #Constraints: 62629
2606.87/2615.81 c INPROCESSING
2606.87/2615.81 c GARBAGE COLLECT
2606.87/2615.81 c rational objective 0
2662.36/2671.52 c #Conflicts: 1721000 | #Constraints: 32614
2662.36/2671.52 c #Conflicts: 1722000 | #Constraints: 33955
2662.36/2671.52 c #Conflicts: 1723000 | #Constraints: 35326
2662.36/2671.52 c #Conflicts: 1724000 | #Constraints: 36811
2662.36/2671.52 c #Conflicts: 1725000 | #Constraints: 38306
2662.36/2671.52 c #Conflicts: 1726000 | #Constraints: 39794
2662.36/2671.52 c #Conflicts: 1727000 | #Constraints: 41278
2662.36/2671.52 c #Conflicts: 1728000 | #Constraints: 42784
2662.36/2671.52 c #Conflicts: 1729000 | #Constraints: 43984
2662.36/2671.52 c #Conflicts: 1730000 | #Constraints: 45279
2662.36/2671.52 c #Conflicts: 1731000 | #Constraints: 46769
2662.36/2671.52 c #Conflicts: 1732000 | #Constraints: 48248
2662.36/2671.52 c #Conflicts: 1733000 | #Constraints: 49730
2662.36/2671.52 c #Conflicts: 1734000 | #Constraints: 51218
2662.36/2671.52 c #Conflicts: 1735000 | #Constraints: 52698
2662.36/2671.52 c #Conflicts: 1736000 | #Constraints: 54185
2662.36/2671.52 c #Conflicts: 1737000 | #Constraints: 55660
2662.36/2671.52 c #Conflicts: 1738000 | #Constraints: 57146
2662.36/2671.52 c #Conflicts: 1739000 | #Constraints: 58634
2662.36/2671.52 c #Conflicts: 1740000 | #Constraints: 60121
2662.36/2671.52 c #Conflicts: 1741000 | #Constraints: 61587
2662.36/2671.52 c #Conflicts: 1742000 | #Constraints: 63079
2662.36/2671.52 c #Conflicts: 1743000 | #Constraints: 64563
2662.36/2671.52 c #Conflicts: 1744000 | #Constraints: 66056
2662.36/2671.52 c #Conflicts: 1745000 | #Constraints: 67541
2662.36/2671.52 c #Conflicts: 1746000 | #Constraints: 69005
2662.36/2671.52 c INPROCESSING
2662.36/2671.52 c GARBAGE COLLECT
2662.36/2671.52 c rational objective 0
2717.85/2727.29 c #Conflicts: 1747000 | #Constraints: 35554
2717.85/2727.29 c #Conflicts: 1748000 | #Constraints: 37049
2717.85/2727.29 c #Conflicts: 1749000 | #Constraints: 38528
2717.85/2727.29 c #Conflicts: 1750000 | #Constraints: 40004
2717.85/2727.29 c #Conflicts: 1751000 | #Constraints: 41313
2717.85/2727.29 c #Conflicts: 1752000 | #Constraints: 42801
2717.85/2727.29 c #Conflicts: 1753000 | #Constraints: 44116
2717.85/2727.29 c #Conflicts: 1754000 | #Constraints: 45116
2717.85/2727.29 c #Conflicts: 1755000 | #Constraints: 46116
2717.85/2727.29 c #Conflicts: 1756000 | #Constraints: 47116
2717.85/2727.29 c #Conflicts: 1757000 | #Constraints: 48116
2717.85/2727.29 c #Conflicts: 1758000 | #Constraints: 49116
2717.85/2727.29 c #Conflicts: 1759000 | #Constraints: 50116
2717.85/2727.29 c #Conflicts: 1760000 | #Constraints: 51116
2717.85/2727.29 c #Conflicts: 1761000 | #Constraints: 52116
2717.85/2727.29 c #Conflicts: 1762000 | #Constraints: 53116
2717.85/2727.29 c #Conflicts: 1763000 | #Constraints: 54116
2717.85/2727.29 c #Conflicts: 1764000 | #Constraints: 55116
2717.85/2727.29 c #Conflicts: 1765000 | #Constraints: 56116
2717.85/2727.29 c #Conflicts: 1766000 | #Constraints: 57116
2717.85/2727.29 c #Conflicts: 1767000 | #Constraints: 58116
2717.85/2727.29 c #Conflicts: 1768000 | #Constraints: 59116
2717.85/2727.29 c #Conflicts: 1769000 | #Constraints: 60578
2717.85/2727.29 c #Conflicts: 1770000 | #Constraints: 62065
2717.85/2727.29 c #Conflicts: 1771000 | #Constraints: 63546
2717.85/2727.29 c #Conflicts: 1772000 | #Constraints: 65040
2717.85/2727.29 c #Conflicts: 1773000 | #Constraints: 66295
2717.85/2727.29 c INPROCESSING
2717.85/2727.29 c GARBAGE COLLECT
2717.85/2727.29 c rational objective 0
2794.78/2804.49 c #Conflicts: 1774000 | #Constraints: 34429
2794.78/2804.49 c #Conflicts: 1775000 | #Constraints: 35888
2794.78/2804.49 c #Conflicts: 1776000 | #Constraints: 37370
2794.78/2804.49 c #Conflicts: 1777000 | #Constraints: 38857
2794.78/2804.49 c #Conflicts: 1778000 | #Constraints: 40359
2794.78/2804.49 c #Conflicts: 1779000 | #Constraints: 41852
2794.78/2804.49 c #Conflicts: 1780000 | #Constraints: 43348
2794.78/2804.49 c #Conflicts: 1781000 | #Constraints: 44837
2794.78/2804.49 c #Conflicts: 1782000 | #Constraints: 46337
2794.78/2804.49 c #Conflicts: 1783000 | #Constraints: 47813
2794.78/2804.49 c #Conflicts: 1784000 | #Constraints: 49281
2794.78/2804.49 c #Conflicts: 1785000 | #Constraints: 50637
2794.78/2804.49 c #Conflicts: 1786000 | #Constraints: 51874
2794.78/2804.49 c #Conflicts: 1787000 | #Constraints: 53364
2794.78/2804.49 c #Conflicts: 1788000 | #Constraints: 54849
2794.78/2804.49 c #Conflicts: 1789000 | #Constraints: 56326
2794.78/2804.49 c #Conflicts: 1790000 | #Constraints: 57812
2794.78/2804.49 c #Conflicts: 1791000 | #Constraints: 59302
2794.78/2804.49 c #Conflicts: 1792000 | #Constraints: 60798
2794.78/2804.49 c #Conflicts: 1793000 | #Constraints: 62274
2794.78/2804.49 c #Conflicts: 1794000 | #Constraints: 63770
2794.78/2804.49 c #Conflicts: 1795000 | #Constraints: 65267
2794.78/2804.49 c #Conflicts: 1796000 | #Constraints: 66746
2794.78/2804.49 c #Conflicts: 1797000 | #Constraints: 68238
2794.78/2804.49 c #Conflicts: 1798000 | #Constraints: 69736
2794.78/2804.49 c #Conflicts: 1799000 | #Constraints: 71222
2794.78/2804.49 c #Conflicts: 1800000 | #Constraints: 72699
2794.78/2804.49 c INPROCESSING
2794.78/2804.49 c GARBAGE COLLECT
2794.78/2804.49 c rational objective 0
2876.92/2886.82 c #Conflicts: 1801000 | #Constraints: 37827
2876.92/2886.82 c #Conflicts: 1802000 | #Constraints: 39306
2876.92/2886.82 c #Conflicts: 1803000 | #Constraints: 40805
2876.92/2886.82 c #Conflicts: 1804000 | #Constraints: 42297
2876.92/2886.82 c #Conflicts: 1805000 | #Constraints: 43800
2876.92/2886.82 c #Conflicts: 1806000 | #Constraints: 45281
2876.92/2886.82 c #Conflicts: 1807000 | #Constraints: 46768
2876.92/2886.82 c #Conflicts: 1808000 | #Constraints: 48238
2876.92/2886.82 c #Conflicts: 1809000 | #Constraints: 49714
2876.92/2886.82 c #Conflicts: 1810000 | #Constraints: 51193
2876.92/2886.82 c #Conflicts: 1811000 | #Constraints: 52688
2876.92/2886.82 c #Conflicts: 1812000 | #Constraints: 54174
2876.92/2886.82 c #Conflicts: 1813000 | #Constraints: 55650
2876.92/2886.82 c #Conflicts: 1814000 | #Constraints: 57136
2876.92/2886.82 c #Conflicts: 1815000 | #Constraints: 58625
2876.92/2886.82 c #Conflicts: 1816000 | #Constraints: 60113
2876.92/2886.82 c #Conflicts: 1817000 | #Constraints: 61586
2876.92/2886.82 c #Conflicts: 1818000 | #Constraints: 63096
2876.92/2886.82 c #Conflicts: 1819000 | #Constraints: 64576
2876.92/2886.82 c #Conflicts: 1820000 | #Constraints: 66051
2876.92/2886.82 c #Conflicts: 1821000 | #Constraints: 67545
2876.92/2886.82 c #Conflicts: 1822000 | #Constraints: 69030
2876.92/2886.82 c #Conflicts: 1823000 | #Constraints: 70550
2876.92/2886.82 c #Conflicts: 1824000 | #Constraints: 72033
2876.92/2886.82 c #Conflicts: 1825000 | #Constraints: 73533
2876.92/2886.82 c #Conflicts: 1826000 | #Constraints: 75030
2876.92/2886.82 c #Conflicts: 1827000 | #Constraints: 76510
2876.92/2886.82 c INPROCESSING
2876.92/2886.82 c GARBAGE COLLECT
2876.92/2886.82 c rational objective 0
2969.31/2979.52 c #Conflicts: 1828000 | #Constraints: 39481
2969.31/2979.52 c #Conflicts: 1829000 | #Constraints: 40859
2969.31/2979.52 c #Conflicts: 1830000 | #Constraints: 42332
2969.31/2979.52 c #Conflicts: 1831000 | #Constraints: 43535
2969.31/2979.52 c #Conflicts: 1832000 | #Constraints: 45046
2969.31/2979.52 c #Conflicts: 1833000 | #Constraints: 46438
2969.31/2979.52 c #Conflicts: 1834000 | #Constraints: 47573
2969.31/2979.52 c #Conflicts: 1835000 | #Constraints: 49086
2969.31/2979.52 c #Conflicts: 1836000 | #Constraints: 50572
2969.31/2979.52 c #Conflicts: 1837000 | #Constraints: 52057
2969.31/2979.52 c #Conflicts: 1838000 | #Constraints: 53566
2969.31/2979.52 c #Conflicts: 1839000 | #Constraints: 55069
2969.31/2979.52 c #Conflicts: 1840000 | #Constraints: 56551
2969.31/2979.52 c #Conflicts: 1841000 | #Constraints: 58038
2969.31/2979.52 c #Conflicts: 1842000 | #Constraints: 59529
2969.31/2979.52 c #Conflicts: 1843000 | #Constraints: 61024
2969.31/2979.52 c #Conflicts: 1844000 | #Constraints: 62500
2969.31/2979.52 c #Conflicts: 1845000 | #Constraints: 63985
2969.31/2979.52 c #Conflicts: 1846000 | #Constraints: 65495
2969.31/2979.52 c #Conflicts: 1847000 | #Constraints: 66977
2969.31/2979.52 c #Conflicts: 1848000 | #Constraints: 68470
2969.31/2979.52 c #Conflicts: 1849000 | #Constraints: 69964
2969.31/2979.52 c #Conflicts: 1850000 | #Constraints: 71453
2969.31/2979.52 c #Conflicts: 1851000 | #Constraints: 72840
2969.31/2979.52 c #Conflicts: 1852000 | #Constraints: 74176
2969.31/2979.52 c #Conflicts: 1853000 | #Constraints: 75651
2969.31/2979.52 c #Conflicts: 1854000 | #Constraints: 77136
2969.31/2979.52 c INPROCESSING
2969.31/2979.52 c GARBAGE COLLECT
2969.31/2979.52 c rational objective 0
3054.13/3064.60 c #Conflicts: 1855000 | #Constraints: 39719
3054.13/3064.60 c #Conflicts: 1856000 | #Constraints: 41123
3054.13/3064.60 c #Conflicts: 1857000 | #Constraints: 42599
3054.13/3064.60 c #Conflicts: 1858000 | #Constraints: 44041
3054.13/3064.60 c #Conflicts: 1859000 | #Constraints: 45041
3054.13/3064.60 c #Conflicts: 1860000 | #Constraints: 46301
3054.13/3064.60 c #Conflicts: 1861000 | #Constraints: 47472
3054.13/3064.60 c #Conflicts: 1862000 | #Constraints: 48611
3054.13/3064.60 c #Conflicts: 1863000 | #Constraints: 50091
3054.13/3064.60 c #Conflicts: 1864000 | #Constraints: 51576
3054.13/3064.60 c #Conflicts: 1865000 | #Constraints: 52971
3054.13/3064.60 c #Conflicts: 1866000 | #Constraints: 54084
3054.13/3064.60 c #Conflicts: 1867000 | #Constraints: 55248
3054.13/3064.60 c #Conflicts: 1868000 | #Constraints: 56429
3054.13/3064.60 c #Conflicts: 1869000 | #Constraints: 57858
3054.13/3064.60 c #Conflicts: 1870000 | #Constraints: 59092
3054.13/3064.60 c #Conflicts: 1871000 | #Constraints: 60509
3054.13/3064.60 c #Conflicts: 1872000 | #Constraints: 61888
3054.13/3064.60 c #Conflicts: 1873000 | #Constraints: 62888
3054.13/3064.60 c #Conflicts: 1874000 | #Constraints: 63888
3054.13/3064.60 c #Conflicts: 1875000 | #Constraints: 65069
3054.13/3064.60 c #Conflicts: 1876000 | #Constraints: 66298
3054.13/3064.60 c #Conflicts: 1877000 | #Constraints: 67298
3054.13/3064.60 c #Conflicts: 1878000 | #Constraints: 68298
3054.13/3064.60 c #Conflicts: 1879000 | #Constraints: 69298
3054.13/3064.60 c #Conflicts: 1880000 | #Constraints: 70464
3054.13/3064.60 c #Conflicts: 1881000 | #Constraints: 71490
3054.13/3064.60 c INPROCESSING
3054.13/3064.60 c GARBAGE COLLECT
3054.13/3064.60 c rational objective 0
3150.24/3161.01 c #Conflicts: 1882000 | #Constraints: 36605
3150.24/3161.01 c #Conflicts: 1883000 | #Constraints: 38033
3150.24/3161.01 c #Conflicts: 1884000 | #Constraints: 39525
3150.24/3161.01 c #Conflicts: 1885000 | #Constraints: 41016
3150.24/3161.01 c #Conflicts: 1886000 | #Constraints: 42508
3150.24/3161.01 c #Conflicts: 1887000 | #Constraints: 43930
3150.24/3161.01 c #Conflicts: 1888000 | #Constraints: 44990
3150.24/3161.01 c #Conflicts: 1889000 | #Constraints: 46471
3150.24/3161.01 c #Conflicts: 1890000 | #Constraints: 47952
3150.24/3161.01 c #Conflicts: 1891000 | #Constraints: 49438
3150.24/3161.01 c #Conflicts: 1892000 | #Constraints: 50920
3150.24/3161.01 c #Conflicts: 1893000 | #Constraints: 52405
3150.24/3161.01 c #Conflicts: 1894000 | #Constraints: 53889
3150.24/3161.01 c #Conflicts: 1895000 | #Constraints: 55376
3150.24/3161.01 c #Conflicts: 1896000 | #Constraints: 56867
3150.24/3161.01 c #Conflicts: 1897000 | #Constraints: 58355
3150.24/3161.01 c #Conflicts: 1898000 | #Constraints: 59847
3150.24/3161.01 c #Conflicts: 1899000 | #Constraints: 61342
3150.24/3161.01 c #Conflicts: 1900000 | #Constraints: 62822
3150.24/3161.01 c #Conflicts: 1901000 | #Constraints: 64323
3150.24/3161.01 c #Conflicts: 1902000 | #Constraints: 65811
3150.24/3161.01 c #Conflicts: 1903000 | #Constraints: 67308
3150.24/3161.01 c #Conflicts: 1904000 | #Constraints: 68804
3150.24/3161.01 c #Conflicts: 1905000 | #Constraints: 70284
3150.24/3161.01 c #Conflicts: 1906000 | #Constraints: 71772
3150.24/3161.01 c #Conflicts: 1907000 | #Constraints: 73267
3150.24/3161.01 c #Conflicts: 1908000 | #Constraints: 74748
3150.24/3161.01 c #Conflicts: 1909000 | #Constraints: 76238
3150.24/3161.01 c INPROCESSING
3150.24/3161.01 c GARBAGE COLLECT
3150.24/3161.01 c rational objective 0
3239.95/3251.06 c #Conflicts: 1910000 | #Constraints: 39115
3239.95/3251.06 c #Conflicts: 1911000 | #Constraints: 40200
3239.95/3251.06 c #Conflicts: 1912000 | #Constraints: 41572
3239.95/3251.06 c #Conflicts: 1913000 | #Constraints: 43061
3239.95/3251.06 c #Conflicts: 1914000 | #Constraints: 44541
3239.95/3251.06 c #Conflicts: 1915000 | #Constraints: 46033
3239.95/3251.06 c #Conflicts: 1916000 | #Constraints: 47267
3239.95/3251.06 c #Conflicts: 1917000 | #Constraints: 48754
3239.95/3251.06 c #Conflicts: 1918000 | #Constraints: 50237
3239.95/3251.06 c #Conflicts: 1919000 | #Constraints: 51700
3239.95/3251.06 c #Conflicts: 1920000 | #Constraints: 53173
3239.95/3251.06 c #Conflicts: 1921000 | #Constraints: 54549
3239.95/3251.06 c #Conflicts: 1922000 | #Constraints: 55549
3239.95/3251.06 c #Conflicts: 1923000 | #Constraints: 56549
3239.95/3251.06 c #Conflicts: 1924000 | #Constraints: 57549
3239.95/3251.06 c #Conflicts: 1925000 | #Constraints: 58549
3239.95/3251.06 c #Conflicts: 1926000 | #Constraints: 59792
3239.95/3251.06 c #Conflicts: 1927000 | #Constraints: 61278
3239.95/3251.06 c #Conflicts: 1928000 | #Constraints: 62747
3239.95/3251.06 c #Conflicts: 1929000 | #Constraints: 64016
3239.95/3251.06 c #Conflicts: 1930000 | #Constraints: 65272
3239.95/3251.06 c #Conflicts: 1931000 | #Constraints: 66763
3239.95/3251.06 c #Conflicts: 1932000 | #Constraints: 68246
3239.95/3251.06 c #Conflicts: 1933000 | #Constraints: 69442
3239.95/3251.06 c #Conflicts: 1934000 | #Constraints: 70826
3239.95/3251.06 c #Conflicts: 1935000 | #Constraints: 72319
3239.95/3251.06 c #Conflicts: 1936000 | #Constraints: 73788
3239.95/3251.06 c #Conflicts: 1937000 | #Constraints: 75267
3239.95/3251.06 c INPROCESSING
3239.95/3251.06 c GARBAGE COLLECT
3239.95/3251.06 c rational objective 0
3313.39/3324.70 c #Conflicts: 1938000 | #Constraints: 38900
3313.39/3324.70 c #Conflicts: 1939000 | #Constraints: 40215
3313.39/3324.70 c #Conflicts: 1940000 | #Constraints: 41258
3313.39/3324.70 c #Conflicts: 1941000 | #Constraints: 42267
3313.39/3324.70 c #Conflicts: 1942000 | #Constraints: 43267
3313.39/3324.70 c #Conflicts: 1943000 | #Constraints: 44267
3313.39/3324.70 c #Conflicts: 1944000 | #Constraints: 45267
3313.39/3324.70 c #Conflicts: 1945000 | #Constraints: 46267
3313.39/3324.70 c #Conflicts: 1946000 | #Constraints: 47267
3313.39/3324.70 c #Conflicts: 1947000 | #Constraints: 48267
3313.39/3324.70 c #Conflicts: 1948000 | #Constraints: 49267
3313.39/3324.70 c #Conflicts: 1949000 | #Constraints: 50433
3313.39/3324.70 c #Conflicts: 1950000 | #Constraints: 51433
3313.39/3324.70 c #Conflicts: 1951000 | #Constraints: 52896
3313.39/3324.70 c #Conflicts: 1952000 | #Constraints: 54384
3313.39/3324.70 c #Conflicts: 1953000 | #Constraints: 55878
3313.39/3324.70 c #Conflicts: 1954000 | #Constraints: 57353
3313.39/3324.70 c #Conflicts: 1955000 | #Constraints: 58812
3313.39/3324.70 c #Conflicts: 1956000 | #Constraints: 60280
3313.39/3324.70 c #Conflicts: 1957000 | #Constraints: 61292
3313.39/3324.70 c #Conflicts: 1958000 | #Constraints: 62778
3313.39/3324.70 c #Conflicts: 1959000 | #Constraints: 64280
3313.39/3324.70 c #Conflicts: 1960000 | #Constraints: 65454
3313.39/3324.70 c #Conflicts: 1961000 | #Constraints: 66454
3313.39/3324.70 c #Conflicts: 1962000 | #Constraints: 67465
3313.39/3324.70 c #Conflicts: 1963000 | #Constraints: 68564
3313.39/3324.70 c #Conflicts: 1964000 | #Constraints: 69564
3313.39/3324.70 c #Conflicts: 1965000 | #Constraints: 70564
3313.39/3324.70 c INPROCESSING
3313.39/3324.70 c GARBAGE COLLECT
3313.39/3324.70 c rational objective 0
3378.18/3389.74 c #Conflicts: 1966000 | #Constraints: 36581
3378.18/3389.74 c #Conflicts: 1967000 | #Constraints: 37860
3378.18/3389.74 c #Conflicts: 1968000 | #Constraints: 38977
3378.18/3389.74 c #Conflicts: 1969000 | #Constraints: 40094
3378.18/3389.74 c #Conflicts: 1970000 | #Constraints: 41242
3378.18/3389.74 c #Conflicts: 1971000 | #Constraints: 42435
3378.18/3389.74 c #Conflicts: 1972000 | #Constraints: 43525
3378.18/3389.74 c #Conflicts: 1973000 | #Constraints: 44670
3378.18/3389.74 c #Conflicts: 1974000 | #Constraints: 45808
3378.18/3389.74 c #Conflicts: 1975000 | #Constraints: 46983
3378.18/3389.74 c #Conflicts: 1976000 | #Constraints: 47983
3378.18/3389.74 c #Conflicts: 1977000 | #Constraints: 48983
3378.18/3389.74 c #Conflicts: 1978000 | #Constraints: 50009
3378.18/3389.74 c #Conflicts: 1979000 | #Constraints: 51009
3378.18/3389.74 c #Conflicts: 1980000 | #Constraints: 52009
3378.18/3389.74 c #Conflicts: 1981000 | #Constraints: 53009
3378.18/3389.74 c #Conflicts: 1982000 | #Constraints: 54095
3378.18/3389.74 c #Conflicts: 1983000 | #Constraints: 55095
3378.18/3389.74 c #Conflicts: 1984000 | #Constraints: 56246
3378.18/3389.74 c #Conflicts: 1985000 | #Constraints: 57246
3378.18/3389.74 c #Conflicts: 1986000 | #Constraints: 58246
3378.18/3389.74 c #Conflicts: 1987000 | #Constraints: 59246
3378.18/3389.74 c #Conflicts: 1988000 | #Constraints: 60246
3378.18/3389.74 c #Conflicts: 1989000 | #Constraints: 61264
3378.18/3389.74 c #Conflicts: 1990000 | #Constraints: 62264
3378.18/3389.74 c #Conflicts: 1991000 | #Constraints: 63330
3378.18/3389.74 c #Conflicts: 1992000 | #Constraints: 64330
3378.18/3389.74 c #Conflicts: 1993000 | #Constraints: 65330
3378.18/3389.74 c INPROCESSING
3378.18/3389.74 c GARBAGE COLLECT
3378.18/3389.74 c rational objective 0
3433.20/3444.96 c #Conflicts: 1994000 | #Constraints: 33745
3433.20/3444.96 c #Conflicts: 1995000 | #Constraints: 34933
3433.20/3444.96 c #Conflicts: 1996000 | #Constraints: 35934
3433.20/3444.96 c #Conflicts: 1997000 | #Constraints: 36934
3433.20/3444.96 c #Conflicts: 1998000 | #Constraints: 37934
3433.20/3444.96 c #Conflicts: 1999000 | #Constraints: 39076
3433.20/3444.96 c #Conflicts: 2000000 | #Constraints: 40347
3433.20/3444.96 c #Conflicts: 2001000 | #Constraints: 41347
3433.20/3444.96 c #Conflicts: 2002000 | #Constraints: 42347
3433.20/3444.96 c #Conflicts: 2003000 | #Constraints: 43347
3433.20/3444.96 c #Conflicts: 2004000 | #Constraints: 44347
3433.20/3444.96 c #Conflicts: 2005000 | #Constraints: 45347
3433.20/3444.96 c #Conflicts: 2006000 | #Constraints: 46347
3433.20/3444.96 c #Conflicts: 2007000 | #Constraints: 47347
3433.20/3444.96 c #Conflicts: 2008000 | #Constraints: 48347
3433.20/3444.96 c #Conflicts: 2009000 | #Constraints: 49355
3433.20/3444.96 c #Conflicts: 2010000 | #Constraints: 50355
3433.20/3444.96 c #Conflicts: 2011000 | #Constraints: 51355
3433.20/3444.96 c #Conflicts: 2012000 | #Constraints: 52355
3433.20/3444.96 c #Conflicts: 2013000 | #Constraints: 53355
3433.20/3444.96 c #Conflicts: 2014000 | #Constraints: 54355
3433.20/3444.96 c #Conflicts: 2015000 | #Constraints: 55355
3433.20/3444.96 c #Conflicts: 2016000 | #Constraints: 56355
3433.20/3444.96 c #Conflicts: 2017000 | #Constraints: 57355
3433.20/3444.96 c #Conflicts: 2018000 | #Constraints: 58541
3433.20/3444.96 c #Conflicts: 2019000 | #Constraints: 59541
3433.20/3444.96 c #Conflicts: 2020000 | #Constraints: 60636
3433.20/3444.96 c #Conflicts: 2021000 | #Constraints: 61647
3433.20/3444.96 c INPROCESSING
3433.20/3444.96 c GARBAGE COLLECT
3433.20/3444.96 c rational objective 0
3487.33/3499.20 c #Conflicts: 2022000 | #Constraints: 31733
3487.33/3499.20 c #Conflicts: 2023000 | #Constraints: 32878
3487.33/3499.20 c #Conflicts: 2024000 | #Constraints: 34090
3487.33/3499.20 c #Conflicts: 2025000 | #Constraints: 35218
3487.33/3499.20 c #Conflicts: 2026000 | #Constraints: 36223
3487.33/3499.20 c #Conflicts: 2027000 | #Constraints: 37223
3487.33/3499.20 c #Conflicts: 2028000 | #Constraints: 38487
3487.33/3499.20 c #Conflicts: 2029000 | #Constraints: 39487
3487.33/3499.20 c #Conflicts: 2030000 | #Constraints: 40487
3487.33/3499.20 c #Conflicts: 2031000 | #Constraints: 41498
3487.33/3499.20 c #Conflicts: 2032000 | #Constraints: 42508
3487.33/3499.20 c #Conflicts: 2033000 | #Constraints: 43568
3487.33/3499.20 c #Conflicts: 2034000 | #Constraints: 44568
3487.33/3499.20 c #Conflicts: 2035000 | #Constraints: 45784
3487.33/3499.20 c #Conflicts: 2036000 | #Constraints: 47076
3487.33/3499.20 c #Conflicts: 2037000 | #Constraints: 48157
3487.33/3499.20 c #Conflicts: 2038000 | #Constraints: 49186
3487.33/3499.20 c #Conflicts: 2039000 | #Constraints: 50186
3487.33/3499.20 c #Conflicts: 2040000 | #Constraints: 51217
3487.33/3499.20 c #Conflicts: 2041000 | #Constraints: 52303
3487.33/3499.20 c #Conflicts: 2042000 | #Constraints: 53415
3487.33/3499.20 c #Conflicts: 2043000 | #Constraints: 54520
3487.33/3499.20 c #Conflicts: 2044000 | #Constraints: 55572
3487.33/3499.20 c #Conflicts: 2045000 | #Constraints: 56572
3487.33/3499.20 c #Conflicts: 2046000 | #Constraints: 57692
3487.33/3499.20 c #Conflicts: 2047000 | #Constraints: 58777
3487.33/3499.20 c #Conflicts: 2048000 | #Constraints: 59777
3487.33/3499.20 c #Conflicts: 2049000 | #Constraints: 60887
3487.33/3499.20 c #Conflicts: 2050000 | #Constraints: 62003
3487.33/3499.20 c INPROCESSING
3487.33/3499.20 c GARBAGE COLLECT
3487.33/3499.20 c rational objective 0
3553.32/3565.43 c #Conflicts: 2051000 | #Constraints: 32300
3553.32/3565.43 c #Conflicts: 2052000 | #Constraints: 33800
3553.32/3565.43 c #Conflicts: 2053000 | #Constraints: 35286
3553.32/3565.43 c #Conflicts: 2054000 | #Constraints: 36765
3553.32/3565.43 c #Conflicts: 2055000 | #Constraints: 38240
3553.32/3565.43 c #Conflicts: 2056000 | #Constraints: 39454
3553.32/3565.43 c #Conflicts: 2057000 | #Constraints: 40930
3553.32/3565.43 c #Conflicts: 2058000 | #Constraints: 42423
3553.32/3565.43 c #Conflicts: 2059000 | #Constraints: 43610
3553.32/3565.43 c #Conflicts: 2060000 | #Constraints: 44646
3553.32/3565.43 c #Conflicts: 2061000 | #Constraints: 45824
3553.32/3565.43 c #Conflicts: 2062000 | #Constraints: 47315
3553.32/3565.43 c #Conflicts: 2063000 | #Constraints: 48534
3553.32/3565.43 c #Conflicts: 2064000 | #Constraints: 49534
3553.32/3565.43 c #Conflicts: 2065000 | #Constraints: 50907
3553.32/3565.43 c #Conflicts: 2066000 | #Constraints: 52391
3553.32/3565.43 c #Conflicts: 2067000 | #Constraints: 53888
3553.32/3565.43 c #Conflicts: 2068000 | #Constraints: 55372
3553.32/3565.43 c #Conflicts: 2069000 | #Constraints: 56532
3553.32/3565.43 c #Conflicts: 2070000 | #Constraints: 57532
3553.32/3565.43 c #Conflicts: 2071000 | #Constraints: 58532
3553.32/3565.43 c #Conflicts: 2072000 | #Constraints: 59532
3553.32/3565.43 c #Conflicts: 2073000 | #Constraints: 60532
3553.32/3565.43 c #Conflicts: 2074000 | #Constraints: 61835
3553.32/3565.43 c #Conflicts: 2075000 | #Constraints: 62835
3553.32/3565.43 c #Conflicts: 2076000 | #Constraints: 63990
3553.32/3565.43 c #Conflicts: 2077000 | #Constraints: 64990
3553.32/3565.43 c #Conflicts: 2078000 | #Constraints: 65990
3553.32/3565.43 c #Conflicts: 2079000 | #Constraints: 67358
3553.32/3565.43 c INPROCESSING
3553.32/3565.43 c GARBAGE COLLECT
3553.32/3565.43 c rational objective 0
3600.06/3612.30 c #Conflicts: 2080000 | #Constraints: 35142
3600.06/3612.30 c #Conflicts: 2081000 | #Constraints: 36640
3600.06/3612.30 c #Conflicts: 2082000 | #Constraints: 38136
3600.06/3612.30 c #Conflicts: 2083000 | #Constraints: 39644
3600.06/3612.30 c #Conflicts: 2084000 | #Constraints: 41034
3600.06/3612.30 c #Conflicts: 2085000 | #Constraints: 42446
3600.06/3612.30 c #Conflicts: 2086000 | #Constraints: 43818
3600.06/3612.30 c #Conflicts: 2087000 | #Constraints: 44975
3600.06/3612.30 c #Conflicts: 2088000 | #Constraints: 45975
3600.06/3612.30 c #Conflicts: 2089000 | #Constraints: 46975
3600.06/3612.30 c #Conflicts: 2090000 | #Constraints: 48277
3600.06/3612.30 c #Conflicts: 2091000 | #Constraints: 49762
3600.06/3612.30 c #Conflicts: 2092000 | #Constraints: 51264
3600.06/3612.30 c #Conflicts: 2093000 | #Constraints: 52768
3600.06/3612.30 c #Conflicts: 2094000 | #Constraints: 54257
3600.06/3612.30 c #Conflicts: 2095000 | #Constraints: 55694
3600.06/3612.30 c #Conflicts: 2096000 | #Constraints: 57106
3600.06/3612.30 c #Conflicts: 2097000 | #Constraints: 58586
3600.06/3612.30 c #Conflicts: 2098000 | #Constraints: 59927
3600.06/3612.30 c #Conflicts: 2099000 | #Constraints: 61414
3600.06/3612.30 c #Conflicts: 2100000 | #Constraints: 62679
3600.06/3612.30 c #Conflicts: 2101000 | #Constraints: 64164
3600.06/3612.30 c cpu time 3581.65 s
3600.06/3612.30 c deterministic time 390816495113 3.91e+11
3600.06/3612.30 c optimization time 46.4662 s
3600.06/3612.30 c total solve time 3535.19 s
3600.06/3612.30 c core-guided solve time 0 s
3600.06/3612.30 c propagation time 3063.15 s
3600.06/3612.30 c conflict analysis time 462.414 s
3600.06/3612.30 c propagations 28900021
3600.06/3612.30 c resolve steps 13064954
3600.06/3612.30 c decisions 2678519
3600.06/3612.30 c conflicts 2101065
3600.06/3612.30 c restarts 4091
3600.06/3612.30 c inprocessing phases 135
3600.06/3612.30 c garbage collections 135 ,( 100.00 )
3600.06/3612.30 c input clauses 0 ,( 0.00 )
3600.06/3612.30 c input cardinalities 0 ,( 0.00 )
3600.06/3612.30 c input general constraints 10 ,( 100.00 )
3600.06/3612.30 c input average constraint length 55.80
3600.06/3612.30 c input average constraint degree 1300.50
3600.06/3612.30 c learned clauses 885126 ,( 32.20 )
3600.06/3612.30 c learned cardinalities 0 ,( 0.00 )
3600.06/3612.30 c learned general constraints 1863665 ,( 67.80 )
3600.06/3612.30 c learned average constraint length 97.66
3600.06/3612.30 c learned average constraint degree 1971365815.46
3600.06/3612.30 c watched CF 32, 64, 128, Arb: 713874 , 0 , 0 , 0
3600.06/3612.30 c counting CF 32, 64, 128, Arb: 1149802 , 0 , 0 , 0
3600.06/3612.30 c watched constraints 713874 ,( 38.30 )
3600.06/3612.30 c counting constraints 1149801 ,( 61.70 )
3600.06/3612.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 102364573 , 0 , 40422837032 ,( 156501550 , 40266335482 )
3600.06/3612.30 c gcd simplifications 866768
3600.06/3612.30 c detected cardinalities 0
3600.06/3612.30 c weakened non-implied lits 38215668
3600.06/3612.30 c weakened non-implying lits 4105591
3600.06/3612.30 c original variables 120
3600.06/3612.30 c clausal propagations 120904
3600.06/3612.30 c cardinality propagations 0
3600.06/3612.30 c watched propagations 66506
3600.06/3612.30 c counting propagations 26599370
3600.06/3612.30 c watch lookups 128831918943
3600.06/3612.30 c watch backjump lookups 0
3600.06/3612.30 c watch checks 6824552982
3600.06/3612.30 c propagation checks 253443717482
3600.06/3612.30 c constraint additions 1649410737
3600.06/3612.30 c trail pops 33679389
3600.06/3612.30 c formula constraints 10
3600.06/3612.30 c learned constraints 2100968
3600.06/3612.30 c bound constraints 0
3600.06/3612.30 c core-guided constraints 0
3600.06/3612.30 c encountered formula constraints 207422
3600.06/3612.30 c encountered learned constraints 2846659
3600.06/3612.30 c encountered bound constraints 0
3600.06/3612.30 c encountered core-guided constraints 0
3600.06/3612.30 c LP total time 87.6907 s
3600.06/3612.30 c LP solve time 49.89 s
3600.06/3612.30 c LP constraints added 188
3600.06/3612.30 c LP constraints removed 177
3600.06/3612.30 c LP pivots internal 1636007
3600.06/3612.30 c LP pivots root 1032
3600.06/3612.30 c LP calls 1025702
3600.06/3612.30 c LP optimalities 378135
3600.06/3612.30 c LP no pivot count 37102
3600.06/3612.30 c LP infeasibilities 647562
3600.06/3612.30 c LP valid Farkas constraints 647561
3600.06/3612.30 c LP learned Farkas constraints 96
3600.06/3612.30 c LP basis resets 5
3600.06/3612.30 c LP cycling count 0
3600.06/3612.30 c LP singular count 5
3600.06/3612.30 c LP no primal count 0
3600.06/3612.30 c LP no farkas count 0
3600.06/3612.30 c LP other issue count 0
3600.06/3612.30 c LP Gomory cuts 166
3600.06/3612.30 c LP learned cuts 12
3600.06/3612.30 c LP deleted cuts 177
3600.06/3612.30 c LP encountered Gomory constraints 763
3600.06/3612.30 c LP encountered Farkas constraints 11994759
3600.06/3612.30 c LP encountered learned Farkas constraints 116320
3600.06/3612.30 c CG auxiliary variables introduced 1
3600.06/3612.30 c CG solutions found 0
3600.06/3612.30 c CG cores constructed 0
3600.06/3612.30 c CG core cardinality constraints returned 0
3600.06/3612.30 c CG unit cores 0
3600.06/3612.30 c CG single cores 0
3600.06/3612.30 c CG blocks removed during cardinality reduction 0
3600.06/3612.30 c CG first core best 0
3600.06/3612.30 c CG decision core best 0
3600.06/3612.30 c CG core reduction tie 0
3600.06/3612.30 c CG core degree average 0.00
3600.06/3612.30 c CG core slack average 0.00
3600.06/3612.30 c CG core upper bound improvements 0
3600.06/3612.30 c STR number of successful calls 0
3600.06/3612.30 c STR number of unsuccessful calls 0
3600.06/3612.30 c STR number of inconclusive calls 0
3600.06/3612.30 c STR number of successful attempts 0
3600.06/3612.30 c STR number of unsuccessful attempts 0
3600.06/3612.30 c STR number of inconclusive attempts 0
3600.06/3612.30 c STR average degree increase per successful call inf
3600.06/3612.30 c STR average degree increase per successful attempt inf
3600.06/3612.30 c STR total number of conflicts for successful attempts 0
3600.06/3612.30 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3612.30 c STR total number of conflicts for inconclusive attempts 0
3600.06/3612.30 c STR average number of conflicts per successful attempt inf
3600.06/3612.30 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3612.30 c STR average number of conflicts per inconclusive attempt inf
3600.06/3612.30 c AVG.sumWPerc 54.32
3600.06/3612.30 c bigint constraints 0
3600.06/3612.30 s UNKNOWN
3600.06/3612.30 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (63122 MiB free)
memory of node 1: 64465 MiB (63217 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490518-1751367050/watcher-4490518-1751367050 -o /tmp/evaluation-result-4490518-1751367050/solver-4490518-1751367050 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751359802-47568 --watchdog 3760 run-opt.sh HOME/instance-4490518-1751367050.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=48428, runsolver pid=48425
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 4.08 4.10 4.10 5/256 48430
/proc/meminfo: memFree=129366252/131382116 swapFree=33010684/33010684
[pid=48428] ppid=48425 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48428/stat : 48428 (run-opt.sh) S 48425 48428 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52384409 4292608 768 18446744073709551615 94416661331968 94416662226501 140723810541424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94416662465552 94416662513296 94416689463296 140723810548077 140723810548200 140723810548200 140723810553802 0
/proc/48428/statm: 1048 768 704 219 0 110 0
[pid=48430] ppid=48428 vsize=60556 memory=13192 CPUtime=0.08 cores=1,3
/proc/48430/stat : 48430 (roundingsat) R 48428 48428 47556 0 -1 4194304 631 0 0 0 7 1 0 0 20 0 1 0 52384410 62009344 3298 18446744073709551615 4227072 8923433 140735924694816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20934656 140735924697506 140735924697640 140735924697640 140735924703210 0
/proc/48430/statm: 15139 3298 2400 1147 0 2566 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 64748 KiB
Current children cumulated memory: 16264 KiB
[startup+0.213319 s]*
/proc/loadavg: 4.08 4.10 4.10 5/256 48430
/proc/meminfo: memFree=129364236/131382116 swapFree=33010684/33010684
[pid=48428] ppid=48425 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48428/stat : 48428 (run-opt.sh) S 48425 48428 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52384409 4292608 768 18446744073709551615 94416661331968 94416662226501 140723810541424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94416662465552 94416662513296 94416689463296 140723810548077 140723810548200 140723810548200 140723810553802 0
/proc/48428/statm: 1048 768 704 219 0 110 0
[pid=48430] ppid=48428 vsize=61360 memory=13960 CPUtime=0.19 cores=1,3
/proc/48430/stat : 48430 (roundingsat) R 48428 48428 47556 0 -1 4194304 824 0 0 0 17 2 0 0 20 0 1 0 52384410 62832640 3490 18446744073709551615 4227072 8923433 140735924694816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20934656 140735924697506 140735924697640 140735924697640 140735924703210 0
/proc/48430/statm: 15340 3490 2400 1147 0 2767 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65552 KiB
Current children cumulated memory: 17032 KiB
[startup+0.313221 s]*
/proc/loadavg: 4.08 4.10 4.10 5/256 48430
/proc/meminfo: memFree=129364236/131382116 swapFree=33010684/33010684
[pid=48428] ppid=48425 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48428/stat : 48428 (run-opt.sh) S 48425 48428 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52384409 4292608 768 18446744073709551615 94416661331968 94416662226501 140723810541424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94416662465552 94416662513296 94416689463296 140723810548077 140723810548200 140723810548200 140723810553802 0
/proc/48428/statm: 1048 768 704 219 0 110 0
[pid=48430] ppid=48428 vsize=61936 memory=14472 CPUtime=0.29 cores=1,3
/proc/48430/stat : 48430 (roundingsat) R 48428 48428 47556 0 -1 4194304 932 0 0 0 27 2 0 0 20 0 1 0 52384410 63422464 3618 18446744073709551615 4227072 8923433 140735924694816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20934656 140735924697506 140735924697640 140735924697640 140735924703210 0
/proc/48430/statm: 15484 3618 2400 1147 0 2911 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 66128 KiB
Current children cumulated memory: 17544 KiB
[startup+0.700384 s]
/proc/loadavg: 4.08 4.10 4.10 5/256 48430
/proc/meminfo: memFree=129364236/131382116 swapFree=33010684/33010684
[pid=48428] ppid=48425 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48428/stat : 48428 (run-opt.sh) S 48425 48428 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52384409 4292608 768 18446744073709551615 94416661331968 94416662226501 140723810541424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94416662465552 94416662513296 94416689463296 140723810548077 140723810548200 140723810548200 140723810553802 0
/proc/48428/statm: 1048 768 704 219 0 110 0
[pid=48430] ppid=48428 vsize=64208 memory=16520 CPUtime=0.67 cores=1,3
/proc/48430/stat : 48430 (roundingsat) R 48428 48428 47556 0 -1 4194304 1455 0 0 0 63 4 0 0 20 0 1 0 52384410 65748992 4130 18446744073709551615 4227072 8923433 140735924694816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20934656 140735924697506 140735924697640 140735924697640 140735924703210 0
/proc/48430/statm: 16052 4130 2400 1147 0 3479 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 68400 KiB
Current children cumulated memory: 19592 KiB
[startup+1.50042 s]
/proc/loadavg: 4.15 4.12 4.11 5/256 48430
/proc/meminfo: memFree=129360456/131382116 swapFree=33010684/33010684
[pid=48428] ppid=48425 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48428/stat : 48428 (run-opt.sh) S 48425 48428 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52384409 4292608 768 18446744073709551615 94416661331968 94416662226501 140723810541424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94416662465552 94416662513296 94416689463296 140723810548077 140723810548200 140723810548200 140723810553802 0
/proc/48428/statm: 1048 768 704 219 0 110 0
[pid=48430] ppid=48428 vsize=65744 memory=17672 CPUtime=1.46 cores=1,3
/proc/48430/stat : 48430 (roundingsat) R 48428 48428 47556 0 -1 4194304 1758 0 0 0 139 7 0 0 20 0 1 0 52384410 67321856 4418 18446744073709551615 4227072 8923433 140735924694816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20934656 140735924697506 140735924697640 140735924697640 140735924703210 0
/proc/48430/statm: 16436 4418 2400 1147 0 3863 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 69936 KiB
Current children cumulated memory: 20744 KiB
[startup+3.11335 s]
/proc/loadavg: 4.15 4.12 4.11 5/256 48430
/proc/meminfo: memFree=129344372/131382116 swapFree=33010684/33010684
[pid=48428] ppid=48425 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48428/stat : 48428 (run-opt.sh) S 48425 48428 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52384409 4292608 768 18446744073709551615 94416661331968 94416662226501 140723810541424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94416662465552 94416662513296 94416689463296 140723810548077 140723810548200 140723810548200 140723810553802 0
/proc/48428/statm: 1048 768 704 219 0 110 0
[pid=48430] ppid=48428 vsize=70196 memory=23496 CPUtime=3.07 cores=1,3
/proc/48430/stat : 48430 (roundingsat) R 48428 48428 47556 0 -1 4194304 2702 0 0 0 295 12 0 0 20 0 1 0 52384410 71880704 5874 18446744073709551615 4227072 8923433 140735924694816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20934656 140735924697506 140735924697640 140735924697640 140735924703210 0
/proc/48430/statm: 17549 5874 2400 1147 0 4976 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 74388 KiB
Current children cumulated memory: 26568 KiB
[startup+6.30038 s]
/proc/loadavg: 4.14 4.11 4.10 5/256 48430
/proc/meminfo: memFree=129330172/131382116 swapFree=33010684/33010684
[pid=48428] ppid=48425 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48428/stat : 48428 (run-opt.sh) S 48425 48428 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52384409 4292608 768 18446744073709551615 94416661331968 94416662226501 140723810541424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94416662465552 94416662513296 94416689463296 140723810548077 140723810548200 140723810548200 140723810553802 0
/proc/48428/statm: 1048 768 704 219 0 110 0
[pid=48430] ppid=48428 vsize=77404 memory=28616 CPUtime=6.24 cores=1,3
/proc/48430/stat : 48430 (roundingsat) R 48428 48428 47556 0 -1 4194304 3972 0 0 0 604 20 0 0 20 0 1 0 52384410 79261696 7154 18446744073709551615 4227072 8923433 140735924694816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20934656 140735924697506 140735924697640 140735924697640 140735924703210 0
/proc/48430/statm: 19351 7154 2400 1147 0 6778 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 81596 KiB
Current children cumulated memory: 31688 KiB
[startup+12.7004 s]
/proc/loadavg: 4.13 4.11 4.10 5/256 48430
/proc/meminfo: memFree=129317068/131382116 swapFree=33010684/33010684
[pid=48428] ppid=48425 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48428/stat : 48428 (run-opt.sh) S 48425 48428 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52384409 4292608 768 18446744073709551615 94416661331968 94416662226501 140723810541424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94416662465552 94416662513296 94416689463296 140723810548077 140723810548200 140723810548200 140723810553802 0
/proc/48428/statm: 1048 768 704 219 0 110 0
[pid=48430] ppid=48428 vsize=86180 memory=34120 CPUtime=12.63 cores=1,3
/proc/48430/stat : 48430 (roundingsat) R 48428 48428 47556 0 -1 4194304 5342 0 0 0 1230 33 0 0 20 0 1 0 52384410 88248320 8530 18446744073709551615 4227072 8923433 140735924694816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20934656 140735924697506 140735924697640 140735924697640 140735924703210 0
/proc/48430/statm: 21545 8530 2400 1147 0 8972 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 90372 KiB
Current children cumulated memory: 37192 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.11 4.10 5/257 48432
/proc/meminfo: memFree=129299048/131382116 swapFree=33010684/33010684
[pid=48428] ppid=48425 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48428/stat : 48428 (run-opt.sh) S 48425 48428 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52384409 4292608 768 18446744073709551615 94416661331968 94416662226501 140723810541424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94416662465552 94416662513296 94416689463296 140723810548077 140723810548200 140723810548200 140723810553802 0
/proc/48428/statm: 1048 768 704 219 0 110 0
[pid=48430] ppid=48428 vsize=86708 memory=35912 CPUtime=25.39 cores=1,3
/proc/48430/stat : 48430 (roundingsat) R 48428 48428 47556 0 -1 4194304 5813 0 0 0 2484 55 0 0 20 0 1 0 52384410 88788992 8978 18446744073709551615 4227072 8923433 140735924694816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20934656 140735924697506 140735924697640 140735924697640 140735924703210 0
/proc/48430/statm: 21677 8978 2400 1147 0 9104 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 90900 KiB
Current children cumulated memory: 38984 KiB
[startup+51.1134 s]
/proc/loadavg: 4.06 4.10 4.10 5/257 48432
/proc/meminfo: memFree=129271780/131382116 swapFree=33010684/33010684
[pid=48428] ppid=48425 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48428/stat : 48428 (run-opt.sh) S 48425 48428 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52384409 4292608 768 18446744073709551615 94416661331968 94416662226501 140723810541424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94416662465552 94416662513296 94416689463296 140723810548077 140723810548200 140723810548200 140723810553802 0
/proc/48428/statm: 1048 768 704 219 0 110 0
[pid=48430] ppid=48428 vsize=103648 memory=45804 CPUtime=50.92 cores=1,3
/proc/48430/stat : 48430 (roundingsat) R 48428 48428 47556 0 -1 4194304 8317 0 0 0 5000 92 0 0 20 0 1 0 52384410 106135552 11451 18446744073709551615 4227072 8923433 140735924694816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20934656 140735924697506 140735924697640 140735924697640 140735924703210 0
/proc/48430/statm: 25912 11451 2400 1147 0 13339 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 107840 KiB
Current children cumulated memory: 48876 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 48440
/proc/meminfo: memFree=129199408/131382116 swapFree=33010684/33010684
[pid=48428] ppid=48425 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48428/stat : 48428 (run-opt.sh) S 48425 48428 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52384409 4292608 768 18446744073709551615 94416661331968 94416662226501 140723810541424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94416662465552 94416662513296 94416689463296 140723810548077 140723810548200 140723810548200 140723810553802 0
/proc/48428/statm: 1048 768 704 219 0 110 0
[pid=48430] ppid=48428 vsize=113328 memory=58172 CPUtime=101.94 cores=1,3
/proc/48430/stat : 48430 (roundingsat) R 48428 48428 47556 0 -1 4194304 11740 0 0 0 10046 148 0 0 20 0 1 0 52384410 116047872 14543 18446744073709551615 4227072 8923433 140735924694816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20934656 140735924697506 140735924697640 140735924697640 140735924703210 0
/proc/48430/statm: 28332 14543 2400 1147 0 15759 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 117520 KiB
Current children cumulated memory: 61244 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/255 48442
/proc/meminfo: memFree=129179044/131382116 swapFree=33010684/33010684
[pid=48428] ppid=48425 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48428/stat : 48428 (run-opt.sh) S 48425 48428 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52384409 4292608 768 18446744073709551615 94416661331968 94416662226501 140723810541424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94416662465552 94416662513296 94416689463296 140723810548077 140723810548200 140723810548200 140723810553802 0
/proc/48428/statm: 1048 768 704 219 0 110 0
[pid=48430] ppid=48428 vsize=123364 memory=70160 CPUtime=161.72 cores=1,3
/proc/48430/stat : 48430 (roundingsat) R 48428 48428 47556 0 -1 4194304 14663 0 0 0 15969 203 0 0 20 0 1 0 52384410 126324736 17540 18446744073709551615 4227072 8923433 140735924694816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20934656 140735924697506 140735924697640 140735924697640 140735924703210 0
/proc/48430/statm: 30841 17540 2400 1147 0 18268 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 127556 KiB
Current children cumulated memory: 73232 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/256 48445
/proc/meminfo: memFree=129127252/131382116 swapFree=33010684/33010684
[pid=48428] ppid=48425 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48428/stat : 48428 (run-opt.sh) S 48425 48428 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52384409 4292608 768 18446744073709551615 94416661331968 94416662226501 140723810541424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94416662465552 94416662513296 94416689463296 140723810548077 140723810548200 140723810548200 140723810553802 0
/proc/48428/statm: 1048 768 704 219 0 110 0
[pid=48430] ppid=48428 vsize=136072 memory=73344 CPUtime=221.52 cores=1,3
/proc/48430/stat : 48430 (roundingsat) R 48428 48428 47556 0 -1 4194304 15642 0 0 0 21889 263 0 0 20 0 1 0 52384410 139337728 18336 18446744073709551615 4227072 8923433 140735924694816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20934656 140735924697506 140735924697640 140735924697640 140735924703210 0
/proc/48430/statm: 34018 18336 2400 1147 0 21445 0
################
# More data... #
################
/proc/48430/statm: 67995 44881 2464 1147 0 55422 0
Current children cumulated CPU time: 3091.72 s
Current children cumulated vsize: 276172 KiB
Current children cumulated memory: 182596 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.12 5/254 48640
/proc/meminfo: memFree=128461620/131382116 swapFree=33010684/33010684
[pid=48428] ppid=48425 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48428/stat : 48428 (run-opt.sh) S 48425 48428 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52384409 4292608 768 18446744073709551615 94416661331968 94416662226501 140723810541424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94416662465552 94416662513296 94416689463296 140723810548077 140723810548200 140723810548200 140723810553802 0
/proc/48428/statm: 1048 768 704 219 0 110 0
[pid=48430] ppid=48428 vsize=272492 memory=179588 CPUtime=3151.52 cores=1,3
/proc/48430/stat : 48430 (roundingsat) R 48428 48428 47556 0 -1 4194304 46343 0 0 0 313492 1660 0 0 20 0 1 0 52384410 279031808 44897 18446744073709551615 4227072 8923433 140735924694816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20934656 140735924697506 140735924697640 140735924697640 140735924703210 0
/proc/48430/statm: 68123 44897 2464 1147 0 55550 0
Current children cumulated CPU time: 3151.52 s
Current children cumulated vsize: 276684 KiB
Current children cumulated memory: 182660 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.11 5/253 48642
/proc/meminfo: memFree=128457696/131382116 swapFree=33010684/33010684
[pid=48428] ppid=48425 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48428/stat : 48428 (run-opt.sh) S 48425 48428 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52384409 4292608 768 18446744073709551615 94416661331968 94416662226501 140723810541424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94416662465552 94416662513296 94416689463296 140723810548077 140723810548200 140723810548200 140723810553802 0
/proc/48428/statm: 1048 768 704 219 0 110 0
[pid=48430] ppid=48428 vsize=272492 memory=179588 CPUtime=3211.32 cores=1,3
/proc/48430/stat : 48430 (roundingsat) R 48428 48428 47556 0 -1 4194304 46343 0 0 0 319451 1681 0 0 20 0 1 0 52384410 279031808 44897 18446744073709551615 4227072 8923433 140735924694816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20934656 140735924697506 140735924697640 140735924697640 140735924703210 0
/proc/48430/statm: 68123 44897 2464 1147 0 55550 0
Current children cumulated CPU time: 3211.32 s
Current children cumulated vsize: 276684 KiB
Current children cumulated memory: 182660 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/253 48644
/proc/meminfo: memFree=128433024/131382116 swapFree=33010684/33010684
[pid=48428] ppid=48425 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48428/stat : 48428 (run-opt.sh) S 48425 48428 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52384409 4292608 768 18446744073709551615 94416661331968 94416662226501 140723810541424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94416662465552 94416662513296 94416689463296 140723810548077 140723810548200 140723810548200 140723810553802 0
/proc/48428/statm: 1048 768 704 219 0 110 0
[pid=48430] ppid=48428 vsize=272492 memory=179588 CPUtime=3271.12 cores=1,3
/proc/48430/stat : 48430 (roundingsat) R 48428 48428 47556 0 -1 4194304 46343 0 0 0 325409 1703 0 0 20 0 1 0 52384410 279031808 44897 18446744073709551615 4227072 8923433 140735924694816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20934656 140735924697506 140735924697640 140735924697640 140735924703210 0
/proc/48430/statm: 68123 44897 2464 1147 0 55550 0
Current children cumulated CPU time: 3271.12 s
Current children cumulated vsize: 276684 KiB
Current children cumulated memory: 182660 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.08 4.10 5/254 48647
/proc/meminfo: memFree=128432648/131382116 swapFree=33010684/33010684
[pid=48428] ppid=48425 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48428/stat : 48428 (run-opt.sh) S 48425 48428 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52384409 4292608 768 18446744073709551615 94416661331968 94416662226501 140723810541424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94416662465552 94416662513296 94416689463296 140723810548077 140723810548200 140723810548200 140723810553802 0
/proc/48428/statm: 1048 768 704 219 0 110 0
[pid=48430] ppid=48428 vsize=272492 memory=179588 CPUtime=3330.93 cores=1,3
/proc/48430/stat : 48430 (roundingsat) R 48428 48428 47556 0 -1 4194304 46343 0 0 0 331369 1724 0 0 20 0 1 0 52384410 279031808 44897 18446744073709551615 4227072 8923433 140735924694816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20934656 140735924697506 140735924697640 140735924697640 140735924703210 0
/proc/48430/statm: 68123 44897 2464 1147 0 55550 0
Current children cumulated CPU time: 3330.93 s
Current children cumulated vsize: 276684 KiB
Current children cumulated memory: 182660 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.10 5/254 48649
/proc/meminfo: memFree=128443688/131382116 swapFree=33010684/33010684
[pid=48428] ppid=48425 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48428/stat : 48428 (run-opt.sh) S 48425 48428 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52384409 4292608 768 18446744073709551615 94416661331968 94416662226501 140723810541424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94416662465552 94416662513296 94416689463296 140723810548077 140723810548200 140723810548200 140723810553802 0
/proc/48428/statm: 1048 768 704 219 0 110 0
[pid=48430] ppid=48428 vsize=272492 memory=179972 CPUtime=3390.74 cores=1,3
/proc/48430/stat : 48430 (roundingsat) R 48428 48428 47556 0 -1 4194304 46353 0 0 0 337319 1755 0 0 20 0 1 0 52384410 279031808 44993 18446744073709551615 4227072 8923433 140735924694816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20934656 140735924697506 140735924697640 140735924697640 140735924703210 0
/proc/48430/statm: 68123 44993 2464 1147 0 55550 0
Current children cumulated CPU time: 3390.74 s
Current children cumulated vsize: 276684 KiB
Current children cumulated memory: 183044 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.10 5/254 48651
/proc/meminfo: memFree=128444256/131382116 swapFree=33010684/33010684
[pid=48428] ppid=48425 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48428/stat : 48428 (run-opt.sh) S 48425 48428 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52384409 4292608 768 18446744073709551615 94416661331968 94416662226501 140723810541424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94416662465552 94416662513296 94416689463296 140723810548077 140723810548200 140723810548200 140723810553802 0
/proc/48428/statm: 1048 768 704 219 0 110 0
[pid=48430] ppid=48428 vsize=272492 memory=186372 CPUtime=3450.55 cores=1,3
/proc/48430/stat : 48430 (roundingsat) R 48428 48428 47556 0 -1 4194304 46376 0 0 0 343270 1785 0 0 20 0 1 0 52384410 279031808 46593 18446744073709551615 4227072 8923433 140735924694816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20934656 140735924697506 140735924697640 140735924697640 140735924703210 0
/proc/48430/statm: 68123 46593 2464 1147 0 55550 0
Current children cumulated CPU time: 3450.55 s
Current children cumulated vsize: 276684 KiB
Current children cumulated memory: 189444 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/255 48655
/proc/meminfo: memFree=128438388/131382116 swapFree=33010684/33010684
[pid=48428] ppid=48425 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48428/stat : 48428 (run-opt.sh) S 48425 48428 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52384409 4292608 768 18446744073709551615 94416661331968 94416662226501 140723810541424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94416662465552 94416662513296 94416689463296 140723810548077 140723810548200 140723810548200 140723810553802 0
/proc/48428/statm: 1048 768 704 219 0 110 0
[pid=48430] ppid=48428 vsize=272492 memory=186372 CPUtime=3510.36 cores=1,3
/proc/48430/stat : 48430 (roundingsat) R 48428 48428 47556 0 -1 4194304 46377 0 0 0 349226 1810 0 0 20 0 1 0 52384410 279031808 46593 18446744073709551615 4227072 8923433 140735924694816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20934656 140735924697506 140735924697640 140735924697640 140735924703210 0
/proc/48430/statm: 68123 46593 2464 1147 0 55550 0
Current children cumulated CPU time: 3510.36 s
Current children cumulated vsize: 276684 KiB
Current children cumulated memory: 189444 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/255 48657
/proc/meminfo: memFree=128435812/131382116 swapFree=33010684/33010684
[pid=48428] ppid=48425 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48428/stat : 48428 (run-opt.sh) S 48425 48428 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52384409 4292608 768 18446744073709551615 94416661331968 94416662226501 140723810541424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94416662465552 94416662513296 94416689463296 140723810548077 140723810548200 140723810548200 140723810553802 0
/proc/48428/statm: 1048 768 704 219 0 110 0
[pid=48430] ppid=48428 vsize=272492 memory=186372 CPUtime=3570.16 cores=1,3
/proc/48430/stat : 48430 (roundingsat) R 48428 48428 47556 0 -1 4194304 46379 0 0 0 355185 1831 0 0 20 0 1 0 52384410 279031808 46593 18446744073709551615 4227072 8923433 140735924694816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20934656 140735924697506 140735924697640 140735924697640 140735924703210 0
/proc/48430/statm: 68123 46593 2464 1147 0 55550 0
Current children cumulated CPU time: 3570.16 s
Current children cumulated vsize: 276684 KiB
Current children cumulated memory: 189444 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.3 s]
/proc/loadavg: 3.45 3.93 4.04 3/241 48720
/proc/meminfo: memFree=129193524/131382116 swapFree=33010684/33010684
[pid=48428] ppid=48425 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48428/stat : 48428 (run-opt.sh) S 48425 48428 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52384409 4292608 768 18446744073709551615 94416661331968 94416662226501 140723810541424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94416662465552 94416662513296 94416689463296 140723810548077 140723810548200 140723810548200 140723810553802 0
/proc/48428/statm: 1048 768 704 219 0 110 0
[pid=48430] ppid=48428 vsize=272492 memory=186372 CPUtime=3600.06 cores=1,3
/proc/48430/stat : 48430 (roundingsat) R 48428 48428 47556 0 -1 4194304 46379 0 0 0 358165 1841 0 0 20 0 1 0 52384410 279031808 46593 18446744073709551615 4227072 8923433 140735924694816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20934656 140735924697506 140735924697640 140735924697640 140735924703210 0
/proc/48430/statm: 68123 46593 2464 1147 0 55550 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 276684 KiB
Current children cumulated memory: 189444 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.31 s]
# the end of solver process 48428 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.003178 s, system=0.001607 s
[startup+3612.31 s]
# the end of solver process 48430 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3581.66 s, system=18.4254 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.3 s]
/proc/loadavg: 3.45 3.93 4.04 3/241 48720
/proc/meminfo: memFree=129193524/131382116 swapFree=33010684/33010684
[pid=48428] ppid=48425 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48428/stat : 48428 (run-opt.sh) S 48425 48428 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52384409 4292608 768 18446744073709551615 94416661331968 94416662226501 140723810541424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94416662465552 94416662513296 94416689463296 140723810548077 140723810548200 140723810548200 140723810553802 0
/proc/48428/statm: 1048 768 704 219 0 110 0
[pid=48430] ppid=48428 vsize=272492 memory=186372 CPUtime=3600.06 cores=1,3
/proc/48430/stat : 48430 (roundingsat) R 48428 48428 47556 0 -1 4194304 46379 0 0 0 358165 1841 0 0 20 0 1 0 52384410 279031808 46593 18446744073709551615 4227072 8923433 140735924694816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20934656 140735924697506 140735924697640 140735924697640 140735924703210 0
/proc/48430/statm: 68123 46593 2464 1147 0 55550 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 276684 KiB
Current children cumulated memory: 189444 KiB
Child status: 2
Real time (s): 3612.31
CPU time (s): 3600.08
CPU user time (s): 3581.66
CPU system time (s): 18.4254
CPU usage (%): 99.6616
Max. virtual memory (cumulated for all children) (KiB): 276684
Max. memory (cumulated for all children) (KiB): 189444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.66
system time used= 18.4254
maximum resident set size= 186628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46605
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 210
involuntary context switches= 19182
# summary of solver processes directly reported to runsolver:
# pid: 48428,48430
# total CPU time (s): 3600.08
# total CPU user time (s): 3581.66
# total CPU system time (s): 18.4254
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1056 second user time and 37.286 second system time
The end
Begin job on nodeC010 at 2025-07-01 12:50:50
IDJOB=4490518
IDBENCH=147589
IDSOLVER=3350
FILE ID=nodeC010/4490518-1751367050
RUNJOBID= nodeC010-1751359802-47568
SLURM_JOB_ID= 9598157
Free space on /tmp= 432668 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_4.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490518-1751367050/watcher-4490518-1751367050 -o /tmp/evaluation-result-4490518-1751367050/solver-4490518-1751367050 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751359802-47568 --watchdog 3760 run-opt.sh HOME/instance-4490518-1751367050.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8ec3b633bd42b6cf315d15d8b6de5e8f
RANDOM SEED=451790156
nodeC010 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.059
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.147
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.311
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.297
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.104
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.270
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 129372592 kB
MemAvailable: 129838716 kB
Buffers: 3280 kB
Cached: 1273244 kB
SwapCached: 0 kB
Active: 477132 kB
Inactive: 967596 kB
Active(anon): 186164 kB
Inactive(anon): 0 kB
Active(file): 290968 kB
Inactive(file): 967596 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29696 kB
Writeback: 4 kB
AnonPages: 171388 kB
Mapped: 118252 kB
Shmem: 17960 kB
KReclaimable: 94376 kB
Slab: 178392 kB
SReclaimable: 94376 kB
SUnreclaim: 84016 kB
KernelStack: 4048 kB
PageTables: 3556 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 533452 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 30720 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432676 MiB
End job on nodeC010 at 2025-07-01 13:51:03