0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.01 c #variables 120 #constraints 10
0.00/0.01 c objective is ce32
0.00/0.01 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.01 c initial counting CF 32, 64, 128, Arb: 11 , 0 , 0 , 0
0.00/0.01 c GLOBAL bounds - >= 0 @ 0.000894
0.00/0.01 c GLOBAL bounds - >= 0 @ 0.001175
0.00/0.01 c rational objective 0
0.38/0.42 c #Conflicts: 1000 | #Constraints: 1518
0.38/0.42 c #Conflicts: 2000 | #Constraints: 3057
0.38/0.42 c INPROCESSING
0.38/0.42 c GARBAGE COLLECT
0.38/0.42 c rational objective 0
0.87/0.94 c #Conflicts: 3000 | #Constraints: 2554
0.87/0.94 c #Conflicts: 4000 | #Constraints: 3558
0.87/0.94 c INPROCESSING
0.87/0.94 c GARBAGE COLLECT
0.87/0.94 c rational objective 0
1.57/1.66 c #Conflicts: 5000 | #Constraints: 3087
1.57/1.66 c #Conflicts: 6000 | #Constraints: 4589
1.57/1.66 c INPROCESSING
1.57/1.66 c GARBAGE COLLECT
1.57/1.66 c rational objective 0
2.47/2.56 c #Conflicts: 7000 | #Constraints: 3311
2.47/2.56 c #Conflicts: 8000 | #Constraints: 4809
2.47/2.56 c #Conflicts: 9000 | #Constraints: 6133
2.47/2.56 c INPROCESSING
2.47/2.56 c GARBAGE COLLECT
2.47/2.56 c rational objective 0
3.26/3.39 c #Conflicts: 10000 | #Constraints: 4029
3.26/3.39 c #Conflicts: 11000 | #Constraints: 5031
3.26/3.39 c #Conflicts: 12000 | #Constraints: 6033
3.26/3.39 c INPROCESSING
3.26/3.39 c GARBAGE COLLECT
3.26/3.39 c rational objective 0
4.16/4.29 c #Conflicts: 13000 | #Constraints: 4027
4.16/4.29 c #Conflicts: 14000 | #Constraints: 5027
4.16/4.29 c #Conflicts: 15000 | #Constraints: 6028
4.16/4.29 c INPROCESSING
4.16/4.29 c GARBAGE COLLECT
4.16/4.29 c rational objective 0
5.55/5.67 c #Conflicts: 16000 | #Constraints: 4546
5.55/5.67 c #Conflicts: 17000 | #Constraints: 6021
5.55/5.67 c #Conflicts: 18000 | #Constraints: 7532
5.55/5.67 c INPROCESSING
5.55/5.67 c GARBAGE COLLECT
5.55/5.67 c rational objective 0
6.96/7.08 c #Conflicts: 19000 | #Constraints: 5114
6.96/7.08 c #Conflicts: 20000 | #Constraints: 6610
6.96/7.08 c #Conflicts: 21000 | #Constraints: 8115
6.96/7.08 c INPROCESSING
6.96/7.08 c GARBAGE COLLECT
6.96/7.08 c rational objective 0
8.54/8.61 c #Conflicts: 22000 | #Constraints: 5095
8.54/8.61 c #Conflicts: 23000 | #Constraints: 6591
8.54/8.61 c #Conflicts: 24000 | #Constraints: 7922
8.54/8.61 c #Conflicts: 25000 | #Constraints: 9259
8.54/8.61 c INPROCESSING
8.54/8.61 c GARBAGE COLLECT
8.54/8.61 c rational objective 0
10.14/10.21 c #Conflicts: 26000 | #Constraints: 5982
10.14/10.21 c #Conflicts: 27000 | #Constraints: 7010
10.14/10.21 c #Conflicts: 28000 | #Constraints: 8274
10.14/10.21 c #Conflicts: 29000 | #Constraints: 9424
10.14/10.21 c INPROCESSING
10.14/10.21 c GARBAGE COLLECT
10.14/10.21 c rational objective 0
12.13/12.23 c #Conflicts: 30000 | #Constraints: 6222
12.13/12.23 c #Conflicts: 31000 | #Constraints: 7725
12.13/12.23 c #Conflicts: 32000 | #Constraints: 9246
12.13/12.23 c #Conflicts: 33000 | #Constraints: 10757
12.13/12.23 c INPROCESSING
12.13/12.23 c GARBAGE COLLECT
12.13/12.23 c rational objective 0
14.63/14.74 c #Conflicts: 34000 | #Constraints: 6900
14.63/14.74 c #Conflicts: 35000 | #Constraints: 8413
14.63/14.74 c #Conflicts: 36000 | #Constraints: 9910
14.63/14.74 c #Conflicts: 37000 | #Constraints: 11403
14.63/14.74 c INPROCESSING
14.63/14.74 c GARBAGE COLLECT
14.63/14.74 c rational objective 0
17.42/17.55 c #Conflicts: 38000 | #Constraints: 7003
17.42/17.55 c #Conflicts: 39000 | #Constraints: 8513
17.42/17.55 c #Conflicts: 40000 | #Constraints: 9995
17.42/17.55 c #Conflicts: 41000 | #Constraints: 11477
17.42/17.55 c INPROCESSING
17.42/17.55 c GARBAGE COLLECT
17.42/17.55 c rational objective 0
20.51/20.61 c #Conflicts: 42000 | #Constraints: 6782
20.51/20.61 c #Conflicts: 43000 | #Constraints: 8271
20.51/20.61 c #Conflicts: 44000 | #Constraints: 9700
20.51/20.61 c #Conflicts: 45000 | #Constraints: 11102
20.51/20.61 c #Conflicts: 46000 | #Constraints: 12465
20.51/20.61 c INPROCESSING
20.51/20.61 c GARBAGE COLLECT
20.51/20.61 c rational objective 0
23.20/23.39 c #Conflicts: 47000 | #Constraints: 7257
23.20/23.39 c #Conflicts: 48000 | #Constraints: 8289
23.20/23.39 c #Conflicts: 49000 | #Constraints: 9683
23.20/23.39 c #Conflicts: 50000 | #Constraints: 10933
23.20/23.39 c #Conflicts: 51000 | #Constraints: 12056
23.20/23.39 c INPROCESSING
23.20/23.39 c GARBAGE COLLECT
23.20/23.39 c rational objective 0
25.79/25.98 c #Conflicts: 52000 | #Constraints: 7261
25.79/25.98 c #Conflicts: 53000 | #Constraints: 8506
25.79/25.98 c #Conflicts: 54000 | #Constraints: 9529
25.79/25.98 c #Conflicts: 55000 | #Constraints: 10696
25.79/25.98 c #Conflicts: 56000 | #Constraints: 12041
25.79/25.98 c INPROCESSING
25.79/25.98 c GARBAGE COLLECT
25.79/25.98 c rational objective 0
28.59/28.73 c #Conflicts: 57000 | #Constraints: 7220
28.59/28.73 c #Conflicts: 58000 | #Constraints: 8467
28.59/28.73 c #Conflicts: 59000 | #Constraints: 9488
28.59/28.73 c #Conflicts: 60000 | #Constraints: 10603
28.59/28.73 c #Conflicts: 61000 | #Constraints: 12112
28.59/28.73 c INPROCESSING
28.59/28.73 c GARBAGE COLLECT
28.59/28.73 c rational objective 0
31.58/31.70 c #Conflicts: 62000 | #Constraints: 7315
31.58/31.70 c #Conflicts: 63000 | #Constraints: 8552
31.58/31.70 c #Conflicts: 64000 | #Constraints: 9785
31.58/31.70 c #Conflicts: 65000 | #Constraints: 10917
31.58/31.70 c #Conflicts: 66000 | #Constraints: 12042
31.58/31.70 c INPROCESSING
31.58/31.70 c GARBAGE COLLECT
31.58/31.70 c rational objective 0
35.67/35.89 c #Conflicts: 67000 | #Constraints: 6929
35.67/35.89 c #Conflicts: 68000 | #Constraints: 8422
35.67/35.89 c #Conflicts: 69000 | #Constraints: 9920
35.67/35.89 c #Conflicts: 70000 | #Constraints: 11424
35.67/35.89 c #Conflicts: 71000 | #Constraints: 12916
35.67/35.89 c #Conflicts: 72000 | #Constraints: 14402
35.67/35.89 c INPROCESSING
35.67/35.89 c GARBAGE COLLECT
35.67/35.89 c rational objective 0
39.65/39.88 c #Conflicts: 73000 | #Constraints: 8161
39.65/39.88 c #Conflicts: 74000 | #Constraints: 9162
39.65/39.88 c #Conflicts: 75000 | #Constraints: 10409
39.65/39.88 c #Conflicts: 76000 | #Constraints: 11907
39.65/39.88 c #Conflicts: 77000 | #Constraints: 13394
39.65/39.88 c #Conflicts: 78000 | #Constraints: 14885
39.65/39.88 c INPROCESSING
39.65/39.88 c GARBAGE COLLECT
39.65/39.88 c rational objective 0
43.44/43.62 c #Conflicts: 79000 | #Constraints: 8456
43.44/43.62 c #Conflicts: 80000 | #Constraints: 9457
43.44/43.62 c #Conflicts: 81000 | #Constraints: 10458
43.44/43.62 c #Conflicts: 82000 | #Constraints: 11459
43.44/43.62 c #Conflicts: 83000 | #Constraints: 12459
43.44/43.62 c #Conflicts: 84000 | #Constraints: 13460
43.44/43.62 c INPROCESSING
43.44/43.62 c GARBAGE COLLECT
43.44/43.62 c rational objective 0
47.23/47.44 c #Conflicts: 85000 | #Constraints: 7741
47.23/47.44 c #Conflicts: 86000 | #Constraints: 8741
47.23/47.44 c #Conflicts: 87000 | #Constraints: 9742
47.23/47.44 c #Conflicts: 88000 | #Constraints: 10742
47.23/47.44 c #Conflicts: 89000 | #Constraints: 11742
47.23/47.44 c #Conflicts: 90000 | #Constraints: 12742
47.23/47.44 c INPROCESSING
47.23/47.44 c GARBAGE COLLECT
47.23/47.44 c rational objective 0
51.92/52.19 c #Conflicts: 91000 | #Constraints: 7608
51.92/52.19 c #Conflicts: 92000 | #Constraints: 9068
51.92/52.19 c #Conflicts: 93000 | #Constraints: 10519
51.92/52.19 c #Conflicts: 94000 | #Constraints: 11944
51.92/52.19 c #Conflicts: 95000 | #Constraints: 13429
51.92/52.19 c #Conflicts: 96000 | #Constraints: 14758
51.92/52.19 c INPROCESSING
51.92/52.19 c GARBAGE COLLECT
51.92/52.19 c rational objective 0
56.91/57.16 c #Conflicts: 97000 | #Constraints: 8342
56.91/57.16 c #Conflicts: 98000 | #Constraints: 9828
56.91/57.16 c #Conflicts: 99000 | #Constraints: 11329
56.91/57.16 c #Conflicts: 100000 | #Constraints: 12814
56.91/57.16 c #Conflicts: 101000 | #Constraints: 14319
56.91/57.16 c #Conflicts: 102000 | #Constraints: 15810
56.91/57.16 c #Conflicts: 103000 | #Constraints: 17300
56.91/57.16 c INPROCESSING
56.91/57.16 c GARBAGE COLLECT
56.91/57.16 c rational objective 0
62.19/62.43 c #Conflicts: 104000 | #Constraints: 9992
62.19/62.43 c #Conflicts: 105000 | #Constraints: 11479
62.19/62.43 c #Conflicts: 106000 | #Constraints: 12954
62.19/62.43 c #Conflicts: 107000 | #Constraints: 14457
62.19/62.43 c #Conflicts: 108000 | #Constraints: 15939
62.19/62.43 c #Conflicts: 109000 | #Constraints: 17428
62.19/62.43 c #Conflicts: 110000 | #Constraints: 18919
62.19/62.43 c INPROCESSING
62.19/62.43 c GARBAGE COLLECT
62.19/62.43 c rational objective 0
67.78/68.03 c #Conflicts: 111000 | #Constraints: 10745
67.78/68.03 c #Conflicts: 112000 | #Constraints: 12221
67.78/68.03 c #Conflicts: 113000 | #Constraints: 13695
67.78/68.03 c #Conflicts: 114000 | #Constraints: 15198
67.78/68.03 c #Conflicts: 115000 | #Constraints: 16676
67.78/68.03 c #Conflicts: 116000 | #Constraints: 18159
67.78/68.03 c #Conflicts: 117000 | #Constraints: 19653
67.78/68.03 c INPROCESSING
67.78/68.03 c GARBAGE COLLECT
67.78/68.03 c rational objective 0
73.46/73.77 c #Conflicts: 118000 | #Constraints: 11192
73.46/73.77 c #Conflicts: 119000 | #Constraints: 12479
73.46/73.77 c #Conflicts: 120000 | #Constraints: 13938
73.46/73.77 c #Conflicts: 121000 | #Constraints: 15456
73.46/73.77 c #Conflicts: 122000 | #Constraints: 16959
73.46/73.77 c #Conflicts: 123000 | #Constraints: 18082
73.46/73.77 c #Conflicts: 124000 | #Constraints: 19585
73.46/73.77 c INPROCESSING
73.46/73.77 c GARBAGE COLLECT
73.46/73.77 c rational objective 0
79.54/79.82 c #Conflicts: 125000 | #Constraints: 11143
79.54/79.82 c #Conflicts: 126000 | #Constraints: 12628
79.54/79.82 c #Conflicts: 127000 | #Constraints: 14118
79.54/79.82 c #Conflicts: 128000 | #Constraints: 15468
79.54/79.82 c #Conflicts: 129000 | #Constraints: 16643
79.54/79.82 c #Conflicts: 130000 | #Constraints: 18119
79.54/79.82 c #Conflicts: 131000 | #Constraints: 19596
79.54/79.82 c INPROCESSING
79.54/79.82 c GARBAGE COLLECT
79.54/79.82 c rational objective 0
85.83/86.18 c #Conflicts: 132000 | #Constraints: 10786
85.83/86.18 c #Conflicts: 133000 | #Constraints: 12266
85.83/86.18 c #Conflicts: 134000 | #Constraints: 13764
85.83/86.18 c #Conflicts: 135000 | #Constraints: 15256
85.83/86.18 c #Conflicts: 136000 | #Constraints: 16736
85.83/86.18 c #Conflicts: 137000 | #Constraints: 18214
85.83/86.18 c #Conflicts: 138000 | #Constraints: 19713
85.83/86.18 c #Conflicts: 139000 | #Constraints: 21204
85.83/86.18 c INPROCESSING
85.83/86.18 c GARBAGE COLLECT
85.83/86.18 c rational objective 0
92.50/92.88 c #Conflicts: 140000 | #Constraints: 11915
92.50/92.88 c #Conflicts: 141000 | #Constraints: 13417
92.50/92.88 c #Conflicts: 142000 | #Constraints: 14916
92.50/92.88 c #Conflicts: 143000 | #Constraints: 16414
92.50/92.88 c #Conflicts: 144000 | #Constraints: 17904
92.50/92.88 c #Conflicts: 145000 | #Constraints: 19383
92.50/92.88 c #Conflicts: 146000 | #Constraints: 20875
92.50/92.88 c #Conflicts: 147000 | #Constraints: 22370
92.50/92.88 c INPROCESSING
92.50/92.88 c GARBAGE COLLECT
92.50/92.88 c rational objective 0
99.28/99.66 c #Conflicts: 148000 | #Constraints: 12677
99.28/99.66 c #Conflicts: 149000 | #Constraints: 14090
99.28/99.66 c #Conflicts: 150000 | #Constraints: 15580
99.28/99.66 c #Conflicts: 151000 | #Constraints: 16975
99.28/99.66 c #Conflicts: 152000 | #Constraints: 18475
99.28/99.66 c #Conflicts: 153000 | #Constraints: 19967
99.28/99.66 c #Conflicts: 154000 | #Constraints: 20967
99.28/99.66 c #Conflicts: 155000 | #Constraints: 21967
99.28/99.66 c INPROCESSING
99.28/99.66 c GARBAGE COLLECT
99.28/99.66 c rational objective 0
106.26/106.65 c #Conflicts: 156000 | #Constraints: 12490
106.26/106.65 c #Conflicts: 157000 | #Constraints: 13975
106.26/106.65 c #Conflicts: 158000 | #Constraints: 15471
106.26/106.65 c #Conflicts: 159000 | #Constraints: 16960
106.26/106.65 c #Conflicts: 160000 | #Constraints: 18441
106.26/106.65 c #Conflicts: 161000 | #Constraints: 19930
106.26/106.65 c #Conflicts: 162000 | #Constraints: 21426
106.26/106.65 c #Conflicts: 163000 | #Constraints: 22794
106.26/106.65 c INPROCESSING
106.26/106.65 c GARBAGE COLLECT
106.26/106.65 c rational objective 0
113.54/113.95 c #Conflicts: 164000 | #Constraints: 12722
113.54/113.95 c #Conflicts: 165000 | #Constraints: 14209
113.54/113.95 c #Conflicts: 166000 | #Constraints: 15698
113.54/113.95 c #Conflicts: 167000 | #Constraints: 17171
113.54/113.95 c #Conflicts: 168000 | #Constraints: 18677
113.54/113.95 c #Conflicts: 169000 | #Constraints: 20169
113.54/113.95 c #Conflicts: 170000 | #Constraints: 21651
113.54/113.95 c #Conflicts: 171000 | #Constraints: 23131
113.54/113.95 c INPROCESSING
113.54/113.95 c GARBAGE COLLECT
113.54/113.95 c rational objective 0
120.52/120.95 c #Conflicts: 172000 | #Constraints: 12595
120.52/120.95 c #Conflicts: 173000 | #Constraints: 13988
120.52/120.95 c #Conflicts: 174000 | #Constraints: 14988
120.52/120.95 c #Conflicts: 175000 | #Constraints: 16214
120.52/120.95 c #Conflicts: 176000 | #Constraints: 17214
120.52/120.95 c #Conflicts: 177000 | #Constraints: 18214
120.52/120.95 c #Conflicts: 178000 | #Constraints: 19451
120.52/120.95 c #Conflicts: 179000 | #Constraints: 20514
120.52/120.95 c #Conflicts: 180000 | #Constraints: 21514
120.52/120.95 c INPROCESSING
120.52/120.95 c GARBAGE COLLECT
120.52/120.95 c rational objective 0
129.49/130.00 c #Conflicts: 181000 | #Constraints: 12037
129.49/130.00 c #Conflicts: 182000 | #Constraints: 13526
129.49/130.00 c #Conflicts: 183000 | #Constraints: 15031
129.49/130.00 c #Conflicts: 184000 | #Constraints: 16504
129.49/130.00 c #Conflicts: 185000 | #Constraints: 17994
129.49/130.00 c #Conflicts: 186000 | #Constraints: 19488
129.49/130.00 c #Conflicts: 187000 | #Constraints: 20975
129.49/130.00 c #Conflicts: 188000 | #Constraints: 22461
129.49/130.00 c #Conflicts: 189000 | #Constraints: 23945
129.49/130.00 c INPROCESSING
129.49/130.00 c GARBAGE COLLECT
129.49/130.00 c rational objective 0
139.26/139.79 c #Conflicts: 190000 | #Constraints: 13411
139.26/139.79 c #Conflicts: 191000 | #Constraints: 14891
139.26/139.79 c #Conflicts: 192000 | #Constraints: 16381
139.26/139.79 c #Conflicts: 193000 | #Constraints: 17890
139.26/139.79 c #Conflicts: 194000 | #Constraints: 19385
139.26/139.79 c #Conflicts: 195000 | #Constraints: 20893
139.26/139.79 c #Conflicts: 196000 | #Constraints: 22391
139.26/139.79 c #Conflicts: 197000 | #Constraints: 23879
139.26/139.79 c #Conflicts: 198000 | #Constraints: 25361
139.26/139.79 c INPROCESSING
139.26/139.79 c GARBAGE COLLECT
139.26/139.79 c rational objective 0
147.94/148.43 c #Conflicts: 199000 | #Constraints: 14095
147.94/148.43 c #Conflicts: 200000 | #Constraints: 15594
147.94/148.43 c #Conflicts: 201000 | #Constraints: 17049
147.94/148.43 c #Conflicts: 202000 | #Constraints: 18533
147.94/148.43 c #Conflicts: 203000 | #Constraints: 20028
147.94/148.43 c #Conflicts: 204000 | #Constraints: 21508
147.94/148.43 c #Conflicts: 205000 | #Constraints: 22948
147.94/148.43 c #Conflicts: 206000 | #Constraints: 24278
147.94/148.43 c #Conflicts: 207000 | #Constraints: 25790
147.94/148.43 c INPROCESSING
147.94/148.43 c GARBAGE COLLECT
147.94/148.43 c rational objective 0
156.21/156.77 c #Conflicts: 208000 | #Constraints: 14190
156.21/156.77 c #Conflicts: 209000 | #Constraints: 15478
156.21/156.77 c #Conflicts: 210000 | #Constraints: 16727
156.21/156.77 c #Conflicts: 211000 | #Constraints: 18206
156.21/156.77 c #Conflicts: 212000 | #Constraints: 19268
156.21/156.77 c #Conflicts: 213000 | #Constraints: 20346
156.21/156.77 c #Conflicts: 214000 | #Constraints: 21560
156.21/156.77 c #Conflicts: 215000 | #Constraints: 22854
156.21/156.77 c #Conflicts: 216000 | #Constraints: 24164
156.21/156.77 c INPROCESSING
156.21/156.77 c GARBAGE COLLECT
156.21/156.77 c rational objective 0
165.68/166.27 c #Conflicts: 217000 | #Constraints: 12991
165.68/166.27 c #Conflicts: 218000 | #Constraints: 14482
165.68/166.27 c #Conflicts: 219000 | #Constraints: 15974
165.68/166.27 c #Conflicts: 220000 | #Constraints: 17457
165.68/166.27 c #Conflicts: 221000 | #Constraints: 18936
165.68/166.27 c #Conflicts: 222000 | #Constraints: 20429
165.68/166.27 c #Conflicts: 223000 | #Constraints: 21932
165.68/166.27 c #Conflicts: 224000 | #Constraints: 23410
165.68/166.27 c #Conflicts: 225000 | #Constraints: 24905
165.68/166.27 c #Conflicts: 226000 | #Constraints: 26393
165.68/166.27 c INPROCESSING
165.68/166.27 c GARBAGE COLLECT
165.68/166.27 c rational objective 0
176.25/176.87 c #Conflicts: 227000 | #Constraints: 14445
176.25/176.87 c #Conflicts: 228000 | #Constraints: 15836
176.25/176.87 c #Conflicts: 229000 | #Constraints: 17269
176.25/176.87 c #Conflicts: 230000 | #Constraints: 18571
176.25/176.87 c #Conflicts: 231000 | #Constraints: 19828
176.25/176.87 c #Conflicts: 232000 | #Constraints: 21166
176.25/176.87 c #Conflicts: 233000 | #Constraints: 22423
176.25/176.87 c #Conflicts: 234000 | #Constraints: 23546
176.25/176.87 c #Conflicts: 235000 | #Constraints: 24546
176.25/176.87 c #Conflicts: 236000 | #Constraints: 25546
176.25/176.87 c INPROCESSING
176.25/176.87 c GARBAGE COLLECT
176.25/176.87 c rational objective 0
186.22/186.84 c #Conflicts: 237000 | #Constraints: 14261
186.22/186.84 c #Conflicts: 238000 | #Constraints: 15765
186.22/186.84 c #Conflicts: 239000 | #Constraints: 17256
186.22/186.84 c #Conflicts: 240000 | #Constraints: 18732
186.22/186.84 c #Conflicts: 241000 | #Constraints: 20217
186.22/186.84 c #Conflicts: 242000 | #Constraints: 21712
186.22/186.84 c #Conflicts: 243000 | #Constraints: 23219
186.22/186.84 c #Conflicts: 244000 | #Constraints: 24720
186.22/186.84 c #Conflicts: 245000 | #Constraints: 26205
186.22/186.84 c #Conflicts: 246000 | #Constraints: 27680
186.22/186.84 c INPROCESSING
186.22/186.84 c GARBAGE COLLECT
186.22/186.84 c rational objective 0
196.49/197.14 c #Conflicts: 247000 | #Constraints: 15345
196.49/197.14 c #Conflicts: 248000 | #Constraints: 16849
196.49/197.14 c #Conflicts: 249000 | #Constraints: 18342
196.49/197.14 c #Conflicts: 250000 | #Constraints: 19849
196.49/197.14 c #Conflicts: 251000 | #Constraints: 21345
196.49/197.14 c #Conflicts: 252000 | #Constraints: 22832
196.49/197.14 c #Conflicts: 253000 | #Constraints: 24326
196.49/197.14 c #Conflicts: 254000 | #Constraints: 25820
196.49/197.14 c #Conflicts: 255000 | #Constraints: 27311
196.49/197.14 c #Conflicts: 256000 | #Constraints: 28549
196.49/197.14 c INPROCESSING
196.49/197.14 c GARBAGE COLLECT
196.49/197.14 c rational objective 0
205.96/206.60 c #Conflicts: 257000 | #Constraints: 15251
205.96/206.60 c #Conflicts: 258000 | #Constraints: 16333
205.96/206.60 c #Conflicts: 259000 | #Constraints: 17333
205.96/206.60 c #Conflicts: 260000 | #Constraints: 18333
205.96/206.60 c #Conflicts: 261000 | #Constraints: 19333
205.96/206.60 c #Conflicts: 262000 | #Constraints: 20448
205.96/206.60 c #Conflicts: 263000 | #Constraints: 21448
205.96/206.60 c #Conflicts: 264000 | #Constraints: 22472
205.96/206.60 c #Conflicts: 265000 | #Constraints: 23472
205.96/206.60 c #Conflicts: 266000 | #Constraints: 24472
205.96/206.60 c INPROCESSING
205.96/206.60 c GARBAGE COLLECT
205.96/206.60 c rational objective 0
216.73/217.45 c #Conflicts: 267000 | #Constraints: 13132
216.73/217.45 c #Conflicts: 268000 | #Constraints: 14618
216.73/217.45 c #Conflicts: 269000 | #Constraints: 16118
216.73/217.45 c #Conflicts: 270000 | #Constraints: 17599
216.73/217.45 c #Conflicts: 271000 | #Constraints: 19088
216.73/217.45 c #Conflicts: 272000 | #Constraints: 20563
216.73/217.45 c #Conflicts: 273000 | #Constraints: 22076
216.73/217.45 c #Conflicts: 274000 | #Constraints: 23557
216.73/217.45 c #Conflicts: 275000 | #Constraints: 25049
216.73/217.45 c #Conflicts: 276000 | #Constraints: 26523
216.73/217.45 c #Conflicts: 277000 | #Constraints: 28006
216.73/217.45 c INPROCESSING
216.73/217.45 c GARBAGE COLLECT
216.73/217.45 c rational objective 0
227.88/228.67 c #Conflicts: 278000 | #Constraints: 15329
227.88/228.67 c #Conflicts: 279000 | #Constraints: 16440
227.88/228.67 c #Conflicts: 280000 | #Constraints: 17799
227.88/228.67 c #Conflicts: 281000 | #Constraints: 19288
227.88/228.67 c #Conflicts: 282000 | #Constraints: 20770
227.88/228.67 c #Conflicts: 283000 | #Constraints: 22229
227.88/228.67 c #Conflicts: 284000 | #Constraints: 23422
227.88/228.67 c #Conflicts: 285000 | #Constraints: 24566
227.88/228.67 c #Conflicts: 286000 | #Constraints: 25644
227.88/228.67 c #Conflicts: 287000 | #Constraints: 26644
227.88/228.67 c #Conflicts: 288000 | #Constraints: 28079
227.88/228.67 c INPROCESSING
227.88/228.67 c GARBAGE COLLECT
227.88/228.67 c rational objective 0
238.65/239.40 c #Conflicts: 289000 | #Constraints: 15212
238.65/239.40 c #Conflicts: 290000 | #Constraints: 16354
238.65/239.40 c #Conflicts: 291000 | #Constraints: 17619
238.65/239.40 c #Conflicts: 292000 | #Constraints: 18677
238.65/239.40 c #Conflicts: 293000 | #Constraints: 19677
238.65/239.40 c #Conflicts: 294000 | #Constraints: 20723
238.65/239.40 c #Conflicts: 295000 | #Constraints: 22214
238.65/239.40 c #Conflicts: 296000 | #Constraints: 23704
238.65/239.40 c #Conflicts: 297000 | #Constraints: 24823
238.65/239.40 c #Conflicts: 298000 | #Constraints: 26083
238.65/239.40 c #Conflicts: 299000 | #Constraints: 27563
238.65/239.40 c INPROCESSING
238.65/239.40 c GARBAGE COLLECT
238.65/239.40 c rational objective 0
250.09/251.00 c #Conflicts: 300000 | #Constraints: 15059
250.09/251.00 c #Conflicts: 301000 | #Constraints: 16268
250.09/251.00 c #Conflicts: 302000 | #Constraints: 17754
250.09/251.00 c #Conflicts: 303000 | #Constraints: 18858
250.09/251.00 c #Conflicts: 304000 | #Constraints: 20192
250.09/251.00 c #Conflicts: 305000 | #Constraints: 21674
250.09/251.00 c #Conflicts: 306000 | #Constraints: 23154
250.09/251.00 c #Conflicts: 307000 | #Constraints: 24154
250.09/251.00 c #Conflicts: 308000 | #Constraints: 25589
250.09/251.00 c #Conflicts: 309000 | #Constraints: 27079
250.09/251.00 c #Conflicts: 310000 | #Constraints: 28569
250.09/251.00 c INPROCESSING
250.09/251.00 c GARBAGE COLLECT
250.09/251.00 c rational objective 0
260.55/261.47 c #Conflicts: 311000 | #Constraints: 15247
260.55/261.47 c #Conflicts: 312000 | #Constraints: 16247
260.55/261.47 c #Conflicts: 313000 | #Constraints: 17247
260.55/261.47 c #Conflicts: 314000 | #Constraints: 18247
260.55/261.47 c #Conflicts: 315000 | #Constraints: 19248
260.55/261.47 c #Conflicts: 316000 | #Constraints: 20249
260.55/261.47 c #Conflicts: 317000 | #Constraints: 21250
260.55/261.47 c #Conflicts: 318000 | #Constraints: 22250
260.55/261.47 c #Conflicts: 319000 | #Constraints: 23250
260.55/261.47 c #Conflicts: 320000 | #Constraints: 24250
260.55/261.47 c #Conflicts: 321000 | #Constraints: 25250
260.55/261.47 c INPROCESSING
260.55/261.47 c GARBAGE COLLECT
260.55/261.47 c rational objective 0
272.90/273.81 c #Conflicts: 322000 | #Constraints: 13526
272.90/273.81 c #Conflicts: 323000 | #Constraints: 15028
272.90/273.81 c #Conflicts: 324000 | #Constraints: 16514
272.90/273.81 c #Conflicts: 325000 | #Constraints: 18004
272.90/273.81 c #Conflicts: 326000 | #Constraints: 19497
272.90/273.81 c #Conflicts: 327000 | #Constraints: 20988
272.90/273.81 c #Conflicts: 328000 | #Constraints: 22479
272.90/273.81 c #Conflicts: 329000 | #Constraints: 23974
272.90/273.81 c #Conflicts: 330000 | #Constraints: 25474
272.90/273.81 c #Conflicts: 331000 | #Constraints: 26963
272.90/273.81 c #Conflicts: 332000 | #Constraints: 28455
272.90/273.81 c #Conflicts: 333000 | #Constraints: 29952
272.90/273.81 c INPROCESSING
272.90/273.81 c GARBAGE COLLECT
272.90/273.81 c rational objective 0
285.36/286.38 c #Conflicts: 334000 | #Constraints: 15957
285.36/286.38 c #Conflicts: 335000 | #Constraints: 16957
285.36/286.38 c #Conflicts: 336000 | #Constraints: 18347
285.36/286.38 c #Conflicts: 337000 | #Constraints: 19833
285.36/286.38 c #Conflicts: 338000 | #Constraints: 21324
285.36/286.38 c #Conflicts: 339000 | #Constraints: 22810
285.36/286.38 c #Conflicts: 340000 | #Constraints: 24307
285.36/286.38 c #Conflicts: 341000 | #Constraints: 25800
285.36/286.38 c #Conflicts: 342000 | #Constraints: 27303
285.36/286.38 c #Conflicts: 343000 | #Constraints: 28787
285.36/286.38 c #Conflicts: 344000 | #Constraints: 30277
285.36/286.38 c #Conflicts: 345000 | #Constraints: 31668
285.36/286.38 c INPROCESSING
285.36/286.38 c GARBAGE COLLECT
285.36/286.38 c rational objective 0
298.71/299.72 c #Conflicts: 346000 | #Constraints: 17331
298.71/299.72 c #Conflicts: 347000 | #Constraints: 18822
298.71/299.72 c #Conflicts: 348000 | #Constraints: 20310
298.71/299.72 c #Conflicts: 349000 | #Constraints: 21789
298.71/299.72 c #Conflicts: 350000 | #Constraints: 22910
298.71/299.72 c #Conflicts: 351000 | #Constraints: 23910
298.71/299.72 c #Conflicts: 352000 | #Constraints: 25213
298.71/299.72 c #Conflicts: 353000 | #Constraints: 26679
298.71/299.72 c #Conflicts: 354000 | #Constraints: 28171
298.71/299.72 c #Conflicts: 355000 | #Constraints: 29269
298.71/299.72 c #Conflicts: 356000 | #Constraints: 30303
298.71/299.72 c #Conflicts: 357000 | #Constraints: 31791
298.71/299.72 c INPROCESSING
298.71/299.72 c GARBAGE COLLECT
298.71/299.72 c rational objective 0
312.45/313.57 c #Conflicts: 358000 | #Constraints: 17032
312.45/313.57 c #Conflicts: 359000 | #Constraints: 18533
312.45/313.57 c #Conflicts: 360000 | #Constraints: 20022
312.45/313.57 c #Conflicts: 361000 | #Constraints: 21477
312.45/313.57 c #Conflicts: 362000 | #Constraints: 22790
312.45/313.57 c #Conflicts: 363000 | #Constraints: 23790
312.45/313.57 c #Conflicts: 364000 | #Constraints: 25291
312.45/313.57 c #Conflicts: 365000 | #Constraints: 26718
312.45/313.57 c #Conflicts: 366000 | #Constraints: 27983
312.45/313.57 c #Conflicts: 367000 | #Constraints: 28983
312.45/313.57 c #Conflicts: 368000 | #Constraints: 30459
312.45/313.57 c #Conflicts: 369000 | #Constraints: 31951
312.45/313.57 c INPROCESSING
312.45/313.57 c GARBAGE COLLECT
312.45/313.57 c rational objective 0
326.60/327.75 c #Conflicts: 370000 | #Constraints: 17232
326.60/327.75 c #Conflicts: 371000 | #Constraints: 18232
326.60/327.75 c #Conflicts: 372000 | #Constraints: 19554
326.60/327.75 c #Conflicts: 373000 | #Constraints: 21048
326.60/327.75 c #Conflicts: 374000 | #Constraints: 22440
326.60/327.75 c #Conflicts: 375000 | #Constraints: 23819
326.60/327.75 c #Conflicts: 376000 | #Constraints: 25324
326.60/327.75 c #Conflicts: 377000 | #Constraints: 26815
326.60/327.75 c #Conflicts: 378000 | #Constraints: 28305
326.60/327.75 c #Conflicts: 379000 | #Constraints: 29782
326.60/327.75 c #Conflicts: 380000 | #Constraints: 31093
326.60/327.75 c #Conflicts: 381000 | #Constraints: 32422
326.60/327.75 c INPROCESSING
326.60/327.75 c GARBAGE COLLECT
326.60/327.75 c rational objective 0
343.04/344.22 c #Conflicts: 382000 | #Constraints: 17112
343.04/344.22 c #Conflicts: 383000 | #Constraints: 18617
343.04/344.22 c #Conflicts: 384000 | #Constraints: 20100
343.04/344.22 c #Conflicts: 385000 | #Constraints: 21584
343.04/344.22 c #Conflicts: 386000 | #Constraints: 23080
343.04/344.22 c #Conflicts: 387000 | #Constraints: 24580
343.04/344.22 c #Conflicts: 388000 | #Constraints: 26072
343.04/344.22 c #Conflicts: 389000 | #Constraints: 27569
343.04/344.22 c #Conflicts: 390000 | #Constraints: 29052
343.04/344.22 c #Conflicts: 391000 | #Constraints: 30542
343.04/344.22 c #Conflicts: 392000 | #Constraints: 32026
343.04/344.22 c #Conflicts: 393000 | #Constraints: 33514
343.04/344.22 c #Conflicts: 394000 | #Constraints: 35022
343.04/344.22 c INPROCESSING
343.04/344.22 c GARBAGE COLLECT
343.04/344.22 c rational objective 0
357.99/359.28 c #Conflicts: 395000 | #Constraints: 18664
357.99/359.28 c #Conflicts: 396000 | #Constraints: 19954
357.99/359.28 c #Conflicts: 397000 | #Constraints: 21268
357.99/359.28 c #Conflicts: 398000 | #Constraints: 22268
357.99/359.28 c #Conflicts: 399000 | #Constraints: 23268
357.99/359.28 c #Conflicts: 400000 | #Constraints: 24448
357.99/359.28 c #Conflicts: 401000 | #Constraints: 25794
357.99/359.28 c #Conflicts: 402000 | #Constraints: 27302
357.99/359.28 c #Conflicts: 403000 | #Constraints: 28793
357.99/359.28 c #Conflicts: 404000 | #Constraints: 30214
357.99/359.28 c #Conflicts: 405000 | #Constraints: 31641
357.99/359.28 c #Conflicts: 406000 | #Constraints: 33140
357.99/359.28 c #Conflicts: 407000 | #Constraints: 34636
357.99/359.28 c INPROCESSING
357.99/359.28 c GARBAGE COLLECT
357.99/359.28 c rational objective 0
371.96/373.26 c #Conflicts: 408000 | #Constraints: 18813
371.96/373.26 c #Conflicts: 409000 | #Constraints: 19842
371.96/373.26 c #Conflicts: 410000 | #Constraints: 20843
371.96/373.26 c #Conflicts: 411000 | #Constraints: 21843
371.96/373.26 c #Conflicts: 412000 | #Constraints: 22843
371.96/373.26 c #Conflicts: 413000 | #Constraints: 24010
371.96/373.26 c #Conflicts: 414000 | #Constraints: 25033
371.96/373.26 c #Conflicts: 415000 | #Constraints: 26033
371.96/373.26 c #Conflicts: 416000 | #Constraints: 27033
371.96/373.26 c #Conflicts: 417000 | #Constraints: 28033
371.96/373.26 c #Conflicts: 418000 | #Constraints: 29033
371.96/373.26 c #Conflicts: 419000 | #Constraints: 30033
371.96/373.26 c #Conflicts: 420000 | #Constraints: 31033
371.96/373.26 c INPROCESSING
371.96/373.26 c GARBAGE COLLECT
371.96/373.26 c rational objective 0
387.91/389.23 c #Conflicts: 421000 | #Constraints: 16769
387.91/389.23 c #Conflicts: 422000 | #Constraints: 17769
387.91/389.23 c #Conflicts: 423000 | #Constraints: 19143
387.91/389.23 c #Conflicts: 424000 | #Constraints: 20581
387.91/389.23 c #Conflicts: 425000 | #Constraints: 21581
387.91/389.23 c #Conflicts: 426000 | #Constraints: 22671
387.91/389.23 c #Conflicts: 427000 | #Constraints: 24057
387.91/389.23 c #Conflicts: 428000 | #Constraints: 25398
387.91/389.23 c #Conflicts: 429000 | #Constraints: 26857
387.91/389.23 c #Conflicts: 430000 | #Constraints: 27976
387.91/389.23 c #Conflicts: 431000 | #Constraints: 29265
387.91/389.23 c #Conflicts: 432000 | #Constraints: 30704
387.91/389.23 c #Conflicts: 433000 | #Constraints: 32199
387.91/389.23 c INPROCESSING
387.91/389.23 c GARBAGE COLLECT
387.91/389.23 c rational objective 0
405.45/406.89 c #Conflicts: 434000 | #Constraints: 17423
405.45/406.89 c #Conflicts: 435000 | #Constraints: 18892
405.45/406.89 c #Conflicts: 436000 | #Constraints: 20386
405.45/406.89 c #Conflicts: 437000 | #Constraints: 21880
405.45/406.89 c #Conflicts: 438000 | #Constraints: 23346
405.45/406.89 c #Conflicts: 439000 | #Constraints: 24365
405.45/406.89 c #Conflicts: 440000 | #Constraints: 25727
405.45/406.89 c #Conflicts: 441000 | #Constraints: 27202
405.45/406.89 c #Conflicts: 442000 | #Constraints: 28202
405.45/406.89 c #Conflicts: 443000 | #Constraints: 29453
405.45/406.89 c #Conflicts: 444000 | #Constraints: 30453
405.45/406.89 c #Conflicts: 445000 | #Constraints: 31524
405.45/406.89 c #Conflicts: 446000 | #Constraints: 32996
405.45/406.89 c INPROCESSING
405.45/406.89 c GARBAGE COLLECT
405.45/406.89 c rational objective 0
419.12/420.58 c #Conflicts: 447000 | #Constraints: 17357
419.12/420.58 c #Conflicts: 448000 | #Constraints: 18358
419.12/420.58 c #Conflicts: 449000 | #Constraints: 19358
419.12/420.58 c #Conflicts: 450000 | #Constraints: 20358
419.12/420.58 c #Conflicts: 451000 | #Constraints: 21358
419.12/420.58 c #Conflicts: 452000 | #Constraints: 22358
419.12/420.58 c #Conflicts: 453000 | #Constraints: 23358
419.12/420.58 c #Conflicts: 454000 | #Constraints: 24358
419.12/420.58 c #Conflicts: 455000 | #Constraints: 25358
419.12/420.58 c #Conflicts: 456000 | #Constraints: 26358
419.12/420.58 c #Conflicts: 457000 | #Constraints: 27359
419.12/420.58 c #Conflicts: 458000 | #Constraints: 28359
419.12/420.58 c #Conflicts: 459000 | #Constraints: 29359
419.12/420.58 c #Conflicts: 460000 | #Constraints: 30359
419.12/420.58 c INPROCESSING
419.12/420.58 c GARBAGE COLLECT
419.12/420.58 c rational objective 0
432.08/433.56 c #Conflicts: 461000 | #Constraints: 16096
432.08/433.56 c #Conflicts: 462000 | #Constraints: 17096
432.08/433.56 c #Conflicts: 463000 | #Constraints: 18096
432.08/433.56 c #Conflicts: 464000 | #Constraints: 19096
432.08/433.56 c #Conflicts: 465000 | #Constraints: 20096
432.08/433.56 c #Conflicts: 466000 | #Constraints: 21096
432.08/433.56 c #Conflicts: 467000 | #Constraints: 22096
432.08/433.56 c #Conflicts: 468000 | #Constraints: 23096
432.08/433.56 c #Conflicts: 469000 | #Constraints: 24096
432.08/433.56 c #Conflicts: 470000 | #Constraints: 25096
432.08/433.56 c #Conflicts: 471000 | #Constraints: 26097
432.08/433.56 c #Conflicts: 472000 | #Constraints: 27097
432.08/433.56 c #Conflicts: 473000 | #Constraints: 28097
432.08/433.56 c #Conflicts: 474000 | #Constraints: 29097
432.08/433.56 c INPROCESSING
432.08/433.56 c GARBAGE COLLECT
432.08/433.56 c rational objective 0
448.73/450.25 c #Conflicts: 475000 | #Constraints: 15995
448.73/450.25 c #Conflicts: 476000 | #Constraints: 17479
448.73/450.25 c #Conflicts: 477000 | #Constraints: 18964
448.73/450.25 c #Conflicts: 478000 | #Constraints: 20454
448.73/450.25 c #Conflicts: 479000 | #Constraints: 21932
448.73/450.25 c #Conflicts: 480000 | #Constraints: 23437
448.73/450.25 c #Conflicts: 481000 | #Constraints: 24933
448.73/450.25 c #Conflicts: 482000 | #Constraints: 26422
448.73/450.25 c #Conflicts: 483000 | #Constraints: 27904
448.73/450.25 c #Conflicts: 484000 | #Constraints: 29223
448.73/450.25 c #Conflicts: 485000 | #Constraints: 30625
448.73/450.25 c #Conflicts: 486000 | #Constraints: 32117
448.73/450.25 c #Conflicts: 487000 | #Constraints: 33624
448.73/450.25 c #Conflicts: 488000 | #Constraints: 35111
448.73/450.25 c INPROCESSING
448.73/450.25 c GARBAGE COLLECT
448.73/450.25 c rational objective 0
467.27/468.80 c #Conflicts: 489000 | #Constraints: 19063
467.27/468.80 c #Conflicts: 490000 | #Constraints: 20571
467.27/468.80 c #Conflicts: 491000 | #Constraints: 22074
467.27/468.80 c #Conflicts: 492000 | #Constraints: 23544
467.27/468.80 c #Conflicts: 493000 | #Constraints: 25019
467.27/468.80 c #Conflicts: 494000 | #Constraints: 26489
467.27/468.80 c #Conflicts: 495000 | #Constraints: 27980
467.27/468.80 c #Conflicts: 496000 | #Constraints: 29469
467.27/468.80 c #Conflicts: 497000 | #Constraints: 30948
467.27/468.80 c #Conflicts: 498000 | #Constraints: 32453
467.27/468.80 c #Conflicts: 499000 | #Constraints: 33938
467.27/468.80 c #Conflicts: 500000 | #Constraints: 35449
467.27/468.80 c #Conflicts: 501000 | #Constraints: 36947
467.27/468.80 c #Conflicts: 502000 | #Constraints: 37980
467.27/468.80 c INPROCESSING
467.27/468.80 c GARBAGE COLLECT
467.27/468.80 c rational objective 0
483.82/485.49 c #Conflicts: 503000 | #Constraints: 20105
483.82/485.49 c #Conflicts: 504000 | #Constraints: 21538
483.82/485.49 c #Conflicts: 505000 | #Constraints: 22972
483.82/485.49 c #Conflicts: 506000 | #Constraints: 23972
483.82/485.49 c #Conflicts: 507000 | #Constraints: 25113
483.82/485.49 c #Conflicts: 508000 | #Constraints: 26116
483.82/485.49 c #Conflicts: 509000 | #Constraints: 27350
483.82/485.49 c #Conflicts: 510000 | #Constraints: 28609
483.82/485.49 c #Conflicts: 511000 | #Constraints: 29924
483.82/485.49 c #Conflicts: 512000 | #Constraints: 30924
483.82/485.49 c #Conflicts: 513000 | #Constraints: 32200
483.82/485.49 c #Conflicts: 514000 | #Constraints: 33482
483.82/485.49 c #Conflicts: 515000 | #Constraints: 34483
483.82/485.49 c #Conflicts: 516000 | #Constraints: 35483
483.82/485.49 c INPROCESSING
483.82/485.49 c GARBAGE COLLECT
483.82/485.49 c rational objective 0
499.38/501.02 c #Conflicts: 517000 | #Constraints: 18699
499.38/501.02 c #Conflicts: 518000 | #Constraints: 20002
499.38/501.02 c #Conflicts: 519000 | #Constraints: 21002
499.38/501.02 c #Conflicts: 520000 | #Constraints: 22002
499.38/501.02 c #Conflicts: 521000 | #Constraints: 23007
499.38/501.02 c #Conflicts: 522000 | #Constraints: 24007
499.38/501.02 c #Conflicts: 523000 | #Constraints: 25007
499.38/501.02 c #Conflicts: 524000 | #Constraints: 26071
499.38/501.02 c #Conflicts: 525000 | #Constraints: 27170
499.38/501.02 c #Conflicts: 526000 | #Constraints: 28261
499.38/501.02 c #Conflicts: 527000 | #Constraints: 29682
499.38/501.02 c #Conflicts: 528000 | #Constraints: 30699
499.38/501.02 c #Conflicts: 529000 | #Constraints: 31699
499.38/501.02 c #Conflicts: 530000 | #Constraints: 32699
499.38/501.02 c #Conflicts: 531000 | #Constraints: 33699
499.38/501.02 c INPROCESSING
499.38/501.02 c GARBAGE COLLECT
499.38/501.02 c rational objective 0
517.73/519.40 c #Conflicts: 532000 | #Constraints: 18116
517.73/519.40 c #Conflicts: 533000 | #Constraints: 19604
517.73/519.40 c #Conflicts: 534000 | #Constraints: 21093
517.73/519.40 c #Conflicts: 535000 | #Constraints: 22570
517.73/519.40 c #Conflicts: 536000 | #Constraints: 24054
517.73/519.40 c #Conflicts: 537000 | #Constraints: 25552
517.73/519.40 c #Conflicts: 538000 | #Constraints: 27055
517.73/519.40 c #Conflicts: 539000 | #Constraints: 28544
517.73/519.40 c #Conflicts: 540000 | #Constraints: 30045
517.73/519.40 c #Conflicts: 541000 | #Constraints: 31538
517.73/519.40 c #Conflicts: 542000 | #Constraints: 32966
517.73/519.40 c #Conflicts: 543000 | #Constraints: 34439
517.73/519.40 c #Conflicts: 544000 | #Constraints: 35934
517.73/519.40 c #Conflicts: 545000 | #Constraints: 37385
517.73/519.40 c #Conflicts: 546000 | #Constraints: 38870
517.73/519.40 c INPROCESSING
517.73/519.40 c GARBAGE COLLECT
517.73/519.40 c rational objective 0
536.55/538.33 c #Conflicts: 547000 | #Constraints: 20943
536.55/538.33 c #Conflicts: 548000 | #Constraints: 22444
536.55/538.33 c #Conflicts: 549000 | #Constraints: 23907
536.55/538.33 c #Conflicts: 550000 | #Constraints: 25132
536.55/538.33 c #Conflicts: 551000 | #Constraints: 26519
536.55/538.33 c #Conflicts: 552000 | #Constraints: 27870
536.55/538.33 c #Conflicts: 553000 | #Constraints: 29089
536.55/538.33 c #Conflicts: 554000 | #Constraints: 30570
536.55/538.33 c #Conflicts: 555000 | #Constraints: 32057
536.55/538.33 c #Conflicts: 556000 | #Constraints: 33443
536.55/538.33 c #Conflicts: 557000 | #Constraints: 34932
536.55/538.33 c #Conflicts: 558000 | #Constraints: 36419
536.55/538.33 c #Conflicts: 559000 | #Constraints: 37908
536.55/538.33 c #Conflicts: 560000 | #Constraints: 39378
536.55/538.33 c #Conflicts: 561000 | #Constraints: 40860
536.55/538.33 c INPROCESSING
536.55/538.33 c GARBAGE COLLECT
536.55/538.33 c rational objective 0
556.47/558.35 c #Conflicts: 562000 | #Constraints: 21911
556.47/558.35 c #Conflicts: 563000 | #Constraints: 23391
556.47/558.35 c #Conflicts: 564000 | #Constraints: 24875
556.47/558.35 c #Conflicts: 565000 | #Constraints: 26356
556.47/558.35 c #Conflicts: 566000 | #Constraints: 27821
556.47/558.35 c #Conflicts: 567000 | #Constraints: 29311
556.47/558.35 c #Conflicts: 568000 | #Constraints: 30598
556.47/558.35 c #Conflicts: 569000 | #Constraints: 32083
556.47/558.35 c #Conflicts: 570000 | #Constraints: 33568
556.47/558.35 c #Conflicts: 571000 | #Constraints: 35067
556.47/558.35 c #Conflicts: 572000 | #Constraints: 36522
556.47/558.35 c #Conflicts: 573000 | #Constraints: 37726
556.47/558.35 c #Conflicts: 574000 | #Constraints: 39104
556.47/558.35 c #Conflicts: 575000 | #Constraints: 40415
556.47/558.35 c #Conflicts: 576000 | #Constraints: 41899
556.47/558.35 c INPROCESSING
556.47/558.35 c GARBAGE COLLECT
556.47/558.35 c rational objective 0
577.39/579.36 c #Conflicts: 577000 | #Constraints: 22297
577.39/579.36 c #Conflicts: 578000 | #Constraints: 23586
577.39/579.36 c #Conflicts: 579000 | #Constraints: 25075
577.39/579.36 c #Conflicts: 580000 | #Constraints: 26562
577.39/579.36 c #Conflicts: 581000 | #Constraints: 28065
577.39/579.36 c #Conflicts: 582000 | #Constraints: 29542
577.39/579.36 c #Conflicts: 583000 | #Constraints: 31028
577.39/579.36 c #Conflicts: 584000 | #Constraints: 32514
577.39/579.36 c #Conflicts: 585000 | #Constraints: 34006
577.39/579.36 c #Conflicts: 586000 | #Constraints: 35512
577.39/579.36 c #Conflicts: 587000 | #Constraints: 37001
577.39/579.36 c #Conflicts: 588000 | #Constraints: 38492
577.39/579.36 c #Conflicts: 589000 | #Constraints: 39988
577.39/579.36 c #Conflicts: 590000 | #Constraints: 41469
577.39/579.36 c #Conflicts: 591000 | #Constraints: 42980
577.39/579.36 c INPROCESSING
577.39/579.36 c GARBAGE COLLECT
577.39/579.36 c rational objective 0
594.99/597.01 c #Conflicts: 592000 | #Constraints: 22399
594.99/597.01 c #Conflicts: 593000 | #Constraints: 23507
594.99/597.01 c #Conflicts: 594000 | #Constraints: 24507
594.99/597.01 c #Conflicts: 595000 | #Constraints: 25519
594.99/597.01 c #Conflicts: 596000 | #Constraints: 26620
594.99/597.01 c #Conflicts: 597000 | #Constraints: 27734
594.99/597.01 c #Conflicts: 598000 | #Constraints: 28836
594.99/597.01 c #Conflicts: 599000 | #Constraints: 29927
594.99/597.01 c #Conflicts: 600000 | #Constraints: 30949
594.99/597.01 c #Conflicts: 601000 | #Constraints: 32068
594.99/597.01 c #Conflicts: 602000 | #Constraints: 33077
594.99/597.01 c #Conflicts: 603000 | #Constraints: 34148
594.99/597.01 c #Conflicts: 604000 | #Constraints: 35298
594.99/597.01 c #Conflicts: 605000 | #Constraints: 36609
594.99/597.01 c #Conflicts: 606000 | #Constraints: 37653
594.99/597.01 c #Conflicts: 607000 | #Constraints: 38832
594.99/597.01 c INPROCESSING
594.99/597.01 c GARBAGE COLLECT
594.99/597.01 c rational objective 0
612.82/614.94 c #Conflicts: 608000 | #Constraints: 20522
612.82/614.94 c #Conflicts: 609000 | #Constraints: 21546
612.82/614.94 c #Conflicts: 610000 | #Constraints: 22812
612.82/614.94 c #Conflicts: 611000 | #Constraints: 23922
612.82/614.94 c #Conflicts: 612000 | #Constraints: 25157
612.82/614.94 c #Conflicts: 613000 | #Constraints: 26390
612.82/614.94 c #Conflicts: 614000 | #Constraints: 27390
612.82/614.94 c #Conflicts: 615000 | #Constraints: 28407
612.82/614.94 c #Conflicts: 616000 | #Constraints: 29460
612.82/614.94 c #Conflicts: 617000 | #Constraints: 30460
612.82/614.94 c #Conflicts: 618000 | #Constraints: 31460
612.82/614.94 c #Conflicts: 619000 | #Constraints: 32464
612.82/614.94 c #Conflicts: 620000 | #Constraints: 33484
612.82/614.94 c #Conflicts: 621000 | #Constraints: 34484
612.82/614.94 c #Conflicts: 622000 | #Constraints: 35485
612.82/614.94 c #Conflicts: 623000 | #Constraints: 36675
612.82/614.94 c INPROCESSING
612.82/614.94 c GARBAGE COLLECT
612.82/614.94 c rational objective 0
633.09/635.36 c #Conflicts: 624000 | #Constraints: 19817
633.09/635.36 c #Conflicts: 625000 | #Constraints: 21314
633.09/635.36 c #Conflicts: 626000 | #Constraints: 22805
633.09/635.36 c #Conflicts: 627000 | #Constraints: 24298
633.09/635.36 c #Conflicts: 628000 | #Constraints: 25802
633.09/635.36 c #Conflicts: 629000 | #Constraints: 27288
633.09/635.36 c #Conflicts: 630000 | #Constraints: 28770
633.09/635.36 c #Conflicts: 631000 | #Constraints: 30260
633.09/635.36 c #Conflicts: 632000 | #Constraints: 31736
633.09/635.36 c #Conflicts: 633000 | #Constraints: 33229
633.09/635.36 c #Conflicts: 634000 | #Constraints: 34717
633.09/635.36 c #Conflicts: 635000 | #Constraints: 36196
633.09/635.36 c #Conflicts: 636000 | #Constraints: 37685
633.09/635.36 c #Conflicts: 637000 | #Constraints: 39179
633.09/635.36 c #Conflicts: 638000 | #Constraints: 40684
633.09/635.36 c #Conflicts: 639000 | #Constraints: 42158
633.09/635.36 c INPROCESSING
633.09/635.36 c GARBAGE COLLECT
633.09/635.36 c rational objective 0
654.70/657.08 c #Conflicts: 640000 | #Constraints: 22566
654.70/657.08 c #Conflicts: 641000 | #Constraints: 24056
654.70/657.08 c #Conflicts: 642000 | #Constraints: 25542
654.70/657.08 c #Conflicts: 643000 | #Constraints: 27028
654.70/657.08 c #Conflicts: 644000 | #Constraints: 28526
654.70/657.08 c #Conflicts: 645000 | #Constraints: 29992
654.70/657.08 c #Conflicts: 646000 | #Constraints: 31473
654.70/657.08 c #Conflicts: 647000 | #Constraints: 32954
654.70/657.08 c #Conflicts: 648000 | #Constraints: 34447
654.70/657.08 c #Conflicts: 649000 | #Constraints: 35936
654.70/657.08 c #Conflicts: 650000 | #Constraints: 37426
654.70/657.08 c #Conflicts: 651000 | #Constraints: 38908
654.70/657.08 c #Conflicts: 652000 | #Constraints: 40396
654.70/657.08 c #Conflicts: 653000 | #Constraints: 41866
654.70/657.08 c #Conflicts: 654000 | #Constraints: 43360
654.70/657.08 c #Conflicts: 655000 | #Constraints: 44853
654.70/657.08 c INPROCESSING
654.70/657.08 c GARBAGE COLLECT
654.70/657.08 c rational objective 0
677.20/679.65 c #Conflicts: 656000 | #Constraints: 23812
677.20/679.65 c #Conflicts: 657000 | #Constraints: 25154
677.20/679.65 c #Conflicts: 658000 | #Constraints: 26366
677.20/679.65 c #Conflicts: 659000 | #Constraints: 27604
677.20/679.65 c #Conflicts: 660000 | #Constraints: 29086
677.20/679.65 c #Conflicts: 661000 | #Constraints: 30572
677.20/679.65 c #Conflicts: 662000 | #Constraints: 32068
677.20/679.65 c #Conflicts: 663000 | #Constraints: 33552
677.20/679.65 c #Conflicts: 664000 | #Constraints: 35033
677.20/679.65 c #Conflicts: 665000 | #Constraints: 36532
677.20/679.65 c #Conflicts: 666000 | #Constraints: 38017
677.20/679.65 c #Conflicts: 667000 | #Constraints: 39503
677.20/679.65 c #Conflicts: 668000 | #Constraints: 40985
677.20/679.65 c #Conflicts: 669000 | #Constraints: 42483
677.20/679.65 c #Conflicts: 670000 | #Constraints: 44004
677.20/679.65 c #Conflicts: 671000 | #Constraints: 45508
677.20/679.65 c INPROCESSING
677.20/679.65 c GARBAGE COLLECT
677.20/679.65 c rational objective 0
699.92/702.45 c #Conflicts: 672000 | #Constraints: 23808
699.92/702.45 c #Conflicts: 673000 | #Constraints: 25281
699.92/702.45 c #Conflicts: 674000 | #Constraints: 26764
699.92/702.45 c #Conflicts: 675000 | #Constraints: 28251
699.92/702.45 c #Conflicts: 676000 | #Constraints: 29738
699.92/702.45 c #Conflicts: 677000 | #Constraints: 31227
699.92/702.45 c #Conflicts: 678000 | #Constraints: 32728
699.92/702.45 c #Conflicts: 679000 | #Constraints: 34096
699.92/702.45 c #Conflicts: 680000 | #Constraints: 35579
699.92/702.45 c #Conflicts: 681000 | #Constraints: 37079
699.92/702.45 c #Conflicts: 682000 | #Constraints: 38546
699.92/702.45 c #Conflicts: 683000 | #Constraints: 39547
699.92/702.45 c #Conflicts: 684000 | #Constraints: 40547
699.92/702.45 c #Conflicts: 685000 | #Constraints: 41736
699.92/702.45 c #Conflicts: 686000 | #Constraints: 43216
699.92/702.45 c #Conflicts: 687000 | #Constraints: 44683
699.92/702.45 c #Conflicts: 688000 | #Constraints: 46166
699.92/702.45 c INPROCESSING
699.92/702.45 c GARBAGE COLLECT
699.92/702.45 c rational objective 0
720.34/722.94 c #Conflicts: 689000 | #Constraints: 24045
720.34/722.94 c #Conflicts: 690000 | #Constraints: 25302
720.34/722.94 c #Conflicts: 691000 | #Constraints: 26554
720.34/722.94 c #Conflicts: 692000 | #Constraints: 27554
720.34/722.94 c #Conflicts: 693000 | #Constraints: 28554
720.34/722.94 c #Conflicts: 694000 | #Constraints: 29617
720.34/722.94 c #Conflicts: 695000 | #Constraints: 30691
720.34/722.94 c #Conflicts: 696000 | #Constraints: 31691
720.34/722.94 c #Conflicts: 697000 | #Constraints: 32691
720.34/722.94 c #Conflicts: 698000 | #Constraints: 33691
720.34/722.94 c #Conflicts: 699000 | #Constraints: 34691
720.34/722.94 c #Conflicts: 700000 | #Constraints: 35885
720.34/722.94 c #Conflicts: 701000 | #Constraints: 36885
720.34/722.94 c #Conflicts: 702000 | #Constraints: 37885
720.34/722.94 c #Conflicts: 703000 | #Constraints: 38885
720.34/722.94 c #Conflicts: 704000 | #Constraints: 39885
720.34/722.94 c #Conflicts: 705000 | #Constraints: 40885
720.34/722.94 c INPROCESSING
720.34/722.94 c GARBAGE COLLECT
720.34/722.94 c rational objective 0
744.86/747.50 c #Conflicts: 706000 | #Constraints: 21685
744.86/747.50 c #Conflicts: 707000 | #Constraints: 23058
744.86/747.50 c #Conflicts: 708000 | #Constraints: 24525
744.86/747.50 c #Conflicts: 709000 | #Constraints: 25971
744.86/747.50 c #Conflicts: 710000 | #Constraints: 27419
744.86/747.50 c #Conflicts: 711000 | #Constraints: 28571
744.86/747.50 c #Conflicts: 712000 | #Constraints: 29579
744.86/747.50 c #Conflicts: 713000 | #Constraints: 31061
744.86/747.50 c #Conflicts: 714000 | #Constraints: 32540
744.86/747.50 c #Conflicts: 715000 | #Constraints: 34002
744.86/747.50 c #Conflicts: 716000 | #Constraints: 35473
744.86/747.50 c #Conflicts: 717000 | #Constraints: 36903
744.86/747.50 c #Conflicts: 718000 | #Constraints: 38400
744.86/747.50 c #Conflicts: 719000 | #Constraints: 39883
744.86/747.50 c #Conflicts: 720000 | #Constraints: 40939
744.86/747.50 c #Conflicts: 721000 | #Constraints: 42385
744.86/747.50 c #Conflicts: 722000 | #Constraints: 43838
744.86/747.50 c INPROCESSING
744.86/747.50 c GARBAGE COLLECT
744.86/747.50 c rational objective 0
766.50/769.21 c #Conflicts: 723000 | #Constraints: 23236
766.50/769.21 c #Conflicts: 724000 | #Constraints: 24470
766.50/769.21 c #Conflicts: 725000 | #Constraints: 25685
766.50/769.21 c #Conflicts: 726000 | #Constraints: 26791
766.50/769.21 c #Conflicts: 727000 | #Constraints: 27911
766.50/769.21 c #Conflicts: 728000 | #Constraints: 29028
766.50/769.21 c #Conflicts: 729000 | #Constraints: 30078
766.50/769.21 c #Conflicts: 730000 | #Constraints: 31243
766.50/769.21 c #Conflicts: 731000 | #Constraints: 32531
766.50/769.21 c #Conflicts: 732000 | #Constraints: 33679
766.50/769.21 c #Conflicts: 733000 | #Constraints: 34924
766.50/769.21 c #Conflicts: 734000 | #Constraints: 36123
766.50/769.21 c #Conflicts: 735000 | #Constraints: 37129
766.50/769.21 c #Conflicts: 736000 | #Constraints: 38412
766.50/769.21 c #Conflicts: 737000 | #Constraints: 39561
766.50/769.21 c #Conflicts: 738000 | #Constraints: 40727
766.50/769.21 c #Conflicts: 739000 | #Constraints: 41833
766.50/769.21 c INPROCESSING
766.50/769.21 c GARBAGE COLLECT
766.50/769.21 c rational objective 0
787.25/790.02 c #Conflicts: 740000 | #Constraints: 22061
787.25/790.02 c #Conflicts: 741000 | #Constraints: 23204
787.25/790.02 c #Conflicts: 742000 | #Constraints: 24330
787.25/790.02 c #Conflicts: 743000 | #Constraints: 25518
787.25/790.02 c #Conflicts: 744000 | #Constraints: 26518
787.25/790.02 c #Conflicts: 745000 | #Constraints: 27518
787.25/790.02 c #Conflicts: 746000 | #Constraints: 28518
787.25/790.02 c #Conflicts: 747000 | #Constraints: 29518
787.25/790.02 c #Conflicts: 748000 | #Constraints: 30703
787.25/790.02 c #Conflicts: 749000 | #Constraints: 31703
787.25/790.02 c #Conflicts: 750000 | #Constraints: 32703
787.25/790.02 c #Conflicts: 751000 | #Constraints: 33858
787.25/790.02 c #Conflicts: 752000 | #Constraints: 34858
787.25/790.02 c #Conflicts: 753000 | #Constraints: 35956
787.25/790.02 c #Conflicts: 754000 | #Constraints: 37088
787.25/790.02 c #Conflicts: 755000 | #Constraints: 38104
787.25/790.02 c #Conflicts: 756000 | #Constraints: 39224
787.25/790.02 c INPROCESSING
787.25/790.02 c GARBAGE COLLECT
787.25/790.02 c rational objective 0
807.78/810.69 c #Conflicts: 757000 | #Constraints: 20510
807.78/810.69 c #Conflicts: 758000 | #Constraints: 21939
807.78/810.69 c #Conflicts: 759000 | #Constraints: 22939
807.78/810.69 c #Conflicts: 760000 | #Constraints: 23939
807.78/810.69 c #Conflicts: 761000 | #Constraints: 24940
807.78/810.69 c #Conflicts: 762000 | #Constraints: 25940
807.78/810.69 c #Conflicts: 763000 | #Constraints: 26940
807.78/810.69 c #Conflicts: 764000 | #Constraints: 27941
807.78/810.69 c #Conflicts: 765000 | #Constraints: 28941
807.78/810.69 c #Conflicts: 766000 | #Constraints: 29941
807.78/810.69 c #Conflicts: 767000 | #Constraints: 30941
807.78/810.69 c #Conflicts: 768000 | #Constraints: 31941
807.78/810.69 c #Conflicts: 769000 | #Constraints: 32941
807.78/810.69 c #Conflicts: 770000 | #Constraints: 33941
807.78/810.69 c #Conflicts: 771000 | #Constraints: 34941
807.78/810.69 c #Conflicts: 772000 | #Constraints: 35941
807.78/810.69 c #Conflicts: 773000 | #Constraints: 36941
807.78/810.69 c #Conflicts: 774000 | #Constraints: 37942
807.78/810.69 c INPROCESSING
807.78/810.69 c GARBAGE COLLECT
807.78/810.69 c rational objective 0
826.63/829.55 c #Conflicts: 775000 | #Constraints: 19884
826.63/829.55 c #Conflicts: 776000 | #Constraints: 20884
826.63/829.55 c #Conflicts: 777000 | #Constraints: 21884
826.63/829.55 c #Conflicts: 778000 | #Constraints: 22884
826.63/829.55 c #Conflicts: 779000 | #Constraints: 23884
826.63/829.55 c #Conflicts: 780000 | #Constraints: 24884
826.63/829.55 c #Conflicts: 781000 | #Constraints: 25884
826.63/829.55 c #Conflicts: 782000 | #Constraints: 26884
826.63/829.55 c #Conflicts: 783000 | #Constraints: 27884
826.63/829.55 c #Conflicts: 784000 | #Constraints: 28884
826.63/829.55 c #Conflicts: 785000 | #Constraints: 29884
826.63/829.55 c #Conflicts: 786000 | #Constraints: 30884
826.63/829.55 c #Conflicts: 787000 | #Constraints: 31884
826.63/829.55 c #Conflicts: 788000 | #Constraints: 32884
826.63/829.55 c #Conflicts: 789000 | #Constraints: 33884
826.63/829.55 c #Conflicts: 790000 | #Constraints: 34884
826.63/829.55 c #Conflicts: 791000 | #Constraints: 35884
826.63/829.55 c #Conflicts: 792000 | #Constraints: 36884
826.63/829.55 c INPROCESSING
826.63/829.55 c GARBAGE COLLECT
826.63/829.55 c rational objective 0
847.66/850.64 c #Conflicts: 793000 | #Constraints: 19628
847.66/850.64 c #Conflicts: 794000 | #Constraints: 20930
847.66/850.64 c #Conflicts: 795000 | #Constraints: 22059
847.66/850.64 c #Conflicts: 796000 | #Constraints: 23059
847.66/850.64 c #Conflicts: 797000 | #Constraints: 24161
847.66/850.64 c #Conflicts: 798000 | #Constraints: 25399
847.66/850.64 c #Conflicts: 799000 | #Constraints: 26684
847.66/850.64 c #Conflicts: 800000 | #Constraints: 27684
847.66/850.64 c #Conflicts: 801000 | #Constraints: 28684
847.66/850.64 c #Conflicts: 802000 | #Constraints: 29727
847.66/850.64 c #Conflicts: 803000 | #Constraints: 30781
847.66/850.64 c #Conflicts: 804000 | #Constraints: 31781
847.66/850.64 c #Conflicts: 805000 | #Constraints: 32781
847.66/850.64 c #Conflicts: 806000 | #Constraints: 33781
847.66/850.64 c #Conflicts: 807000 | #Constraints: 34781
847.66/850.64 c #Conflicts: 808000 | #Constraints: 35781
847.66/850.64 c #Conflicts: 809000 | #Constraints: 37042
847.66/850.64 c #Conflicts: 810000 | #Constraints: 38167
847.66/850.64 c INPROCESSING
847.66/850.64 c GARBAGE COLLECT
847.66/850.64 c rational objective 0
872.09/875.16 c #Conflicts: 811000 | #Constraints: 20549
872.09/875.16 c #Conflicts: 812000 | #Constraints: 22035
872.09/875.16 c #Conflicts: 813000 | #Constraints: 23529
872.09/875.16 c #Conflicts: 814000 | #Constraints: 25021
872.09/875.16 c #Conflicts: 815000 | #Constraints: 26504
872.09/875.16 c #Conflicts: 816000 | #Constraints: 27998
872.09/875.16 c #Conflicts: 817000 | #Constraints: 29493
872.09/875.16 c #Conflicts: 818000 | #Constraints: 30973
872.09/875.16 c #Conflicts: 819000 | #Constraints: 32455
872.09/875.16 c #Conflicts: 820000 | #Constraints: 33941
872.09/875.16 c #Conflicts: 821000 | #Constraints: 35426
872.09/875.16 c #Conflicts: 822000 | #Constraints: 36915
872.09/875.16 c #Conflicts: 823000 | #Constraints: 38410
872.09/875.16 c #Conflicts: 824000 | #Constraints: 39917
872.09/875.16 c #Conflicts: 825000 | #Constraints: 41415
872.09/875.16 c #Conflicts: 826000 | #Constraints: 42925
872.09/875.16 c #Conflicts: 827000 | #Constraints: 44423
872.09/875.16 c #Conflicts: 828000 | #Constraints: 45910
872.09/875.16 c INPROCESSING
872.09/875.16 c GARBAGE COLLECT
872.09/875.16 c rational objective 0
895.42/898.55 c #Conflicts: 829000 | #Constraints: 23976
895.42/898.55 c #Conflicts: 830000 | #Constraints: 25151
895.42/898.55 c #Conflicts: 831000 | #Constraints: 26213
895.42/898.55 c #Conflicts: 832000 | #Constraints: 27254
895.42/898.55 c #Conflicts: 833000 | #Constraints: 28384
895.42/898.55 c #Conflicts: 834000 | #Constraints: 29510
895.42/898.55 c #Conflicts: 835000 | #Constraints: 30546
895.42/898.55 c #Conflicts: 836000 | #Constraints: 31614
895.42/898.55 c #Conflicts: 837000 | #Constraints: 32614
895.42/898.55 c #Conflicts: 838000 | #Constraints: 33935
895.42/898.55 c #Conflicts: 839000 | #Constraints: 34935
895.42/898.55 c #Conflicts: 840000 | #Constraints: 35935
895.42/898.55 c #Conflicts: 841000 | #Constraints: 37003
895.42/898.55 c #Conflicts: 842000 | #Constraints: 38072
895.42/898.55 c #Conflicts: 843000 | #Constraints: 39259
895.42/898.55 c #Conflicts: 844000 | #Constraints: 40259
895.42/898.55 c #Conflicts: 845000 | #Constraints: 41259
895.42/898.55 c #Conflicts: 846000 | #Constraints: 42259
895.42/898.55 c INPROCESSING
895.42/898.55 c GARBAGE COLLECT
895.42/898.55 c rational objective 0
933.39/936.64 c #Conflicts: 847000 | #Constraints: 22031
933.39/936.64 c #Conflicts: 848000 | #Constraints: 23511
933.39/936.64 c #Conflicts: 849000 | #Constraints: 24991
933.39/936.64 c #Conflicts: 850000 | #Constraints: 26479
933.39/936.64 c #Conflicts: 851000 | #Constraints: 27963
933.39/936.64 c #Conflicts: 852000 | #Constraints: 29448
933.39/936.64 c #Conflicts: 853000 | #Constraints: 30933
933.39/936.64 c #Conflicts: 854000 | #Constraints: 32424
933.39/936.64 c #Conflicts: 855000 | #Constraints: 33884
933.39/936.64 c #Conflicts: 856000 | #Constraints: 35367
933.39/936.64 c #Conflicts: 857000 | #Constraints: 36860
933.39/936.64 c #Conflicts: 858000 | #Constraints: 38353
933.39/936.64 c #Conflicts: 859000 | #Constraints: 39836
933.39/936.64 c #Conflicts: 860000 | #Constraints: 41312
933.39/936.64 c #Conflicts: 861000 | #Constraints: 42452
933.39/936.64 c #Conflicts: 862000 | #Constraints: 43452
933.39/936.64 c #Conflicts: 863000 | #Constraints: 44512
933.39/936.64 c #Conflicts: 864000 | #Constraints: 45987
933.39/936.64 c #Conflicts: 865000 | #Constraints: 47461
933.39/936.64 c INPROCESSING
933.39/936.64 c GARBAGE COLLECT
933.39/936.64 c rational objective 0
971.98/975.34 c #Conflicts: 866000 | #Constraints: 25075
971.98/975.34 c #Conflicts: 867000 | #Constraints: 26553
971.98/975.34 c #Conflicts: 868000 | #Constraints: 28051
971.98/975.34 c #Conflicts: 869000 | #Constraints: 29565
971.98/975.34 c #Conflicts: 870000 | #Constraints: 31043
971.98/975.34 c #Conflicts: 871000 | #Constraints: 32526
971.98/975.34 c #Conflicts: 872000 | #Constraints: 33999
971.98/975.34 c #Conflicts: 873000 | #Constraints: 35484
971.98/975.34 c #Conflicts: 874000 | #Constraints: 36970
971.98/975.34 c #Conflicts: 875000 | #Constraints: 38452
971.98/975.34 c #Conflicts: 876000 | #Constraints: 39928
971.98/975.34 c #Conflicts: 877000 | #Constraints: 41415
971.98/975.34 c #Conflicts: 878000 | #Constraints: 42904
971.98/975.34 c #Conflicts: 879000 | #Constraints: 44385
971.98/975.34 c #Conflicts: 880000 | #Constraints: 45876
971.98/975.34 c #Conflicts: 881000 | #Constraints: 47342
971.98/975.34 c #Conflicts: 882000 | #Constraints: 48832
971.98/975.34 c #Conflicts: 883000 | #Constraints: 50323
971.98/975.34 c #Conflicts: 884000 | #Constraints: 51825
971.98/975.34 c INPROCESSING
971.98/975.34 c GARBAGE COLLECT
971.98/975.34 c rational objective 0
1010.17/1013.64 c #Conflicts: 885000 | #Constraints: 27422
1010.17/1013.64 c #Conflicts: 886000 | #Constraints: 28438
1010.17/1013.64 c #Conflicts: 887000 | #Constraints: 29438
1010.17/1013.64 c #Conflicts: 888000 | #Constraints: 30661
1010.17/1013.64 c #Conflicts: 889000 | #Constraints: 32142
1010.17/1013.64 c #Conflicts: 890000 | #Constraints: 33603
1010.17/1013.64 c #Conflicts: 891000 | #Constraints: 35094
1010.17/1013.64 c #Conflicts: 892000 | #Constraints: 36601
1010.17/1013.64 c #Conflicts: 893000 | #Constraints: 38081
1010.17/1013.64 c #Conflicts: 894000 | #Constraints: 39562
1010.17/1013.64 c #Conflicts: 895000 | #Constraints: 41043
1010.17/1013.64 c #Conflicts: 896000 | #Constraints: 42305
1010.17/1013.64 c #Conflicts: 897000 | #Constraints: 43305
1010.17/1013.64 c #Conflicts: 898000 | #Constraints: 44335
1010.17/1013.64 c #Conflicts: 899000 | #Constraints: 45824
1010.17/1013.64 c #Conflicts: 900000 | #Constraints: 47312
1010.17/1013.64 c #Conflicts: 901000 | #Constraints: 48795
1010.17/1013.64 c #Conflicts: 902000 | #Constraints: 50281
1010.17/1013.64 c #Conflicts: 903000 | #Constraints: 51604
1010.17/1013.64 c INPROCESSING
1010.17/1013.64 c GARBAGE COLLECT
1010.17/1013.64 c rational objective 0
1037.96/1041.57 c #Conflicts: 904000 | #Constraints: 26815
1037.96/1041.57 c #Conflicts: 905000 | #Constraints: 27815
1037.96/1041.57 c #Conflicts: 906000 | #Constraints: 28815
1037.96/1041.57 c #Conflicts: 907000 | #Constraints: 29815
1037.96/1041.57 c #Conflicts: 908000 | #Constraints: 30815
1037.96/1041.57 c #Conflicts: 909000 | #Constraints: 31815
1037.96/1041.57 c #Conflicts: 910000 | #Constraints: 32815
1037.96/1041.57 c #Conflicts: 911000 | #Constraints: 33815
1037.96/1041.57 c #Conflicts: 912000 | #Constraints: 34815
1037.96/1041.57 c #Conflicts: 913000 | #Constraints: 35815
1037.96/1041.57 c #Conflicts: 914000 | #Constraints: 36815
1037.96/1041.57 c #Conflicts: 915000 | #Constraints: 37815
1037.96/1041.57 c #Conflicts: 916000 | #Constraints: 38815
1037.96/1041.57 c #Conflicts: 917000 | #Constraints: 39815
1037.96/1041.57 c #Conflicts: 918000 | #Constraints: 40815
1037.96/1041.57 c #Conflicts: 919000 | #Constraints: 41815
1037.96/1041.57 c #Conflicts: 920000 | #Constraints: 42815
1037.96/1041.57 c #Conflicts: 921000 | #Constraints: 43815
1037.96/1041.57 c #Conflicts: 922000 | #Constraints: 44815
1037.96/1041.57 c INPROCESSING
1037.96/1041.57 c GARBAGE COLLECT
1037.96/1041.57 c rational objective 0
1073.47/1077.12 c #Conflicts: 923000 | #Constraints: 23627
1073.47/1077.12 c #Conflicts: 924000 | #Constraints: 24724
1073.47/1077.12 c #Conflicts: 925000 | #Constraints: 25724
1073.47/1077.12 c #Conflicts: 926000 | #Constraints: 26724
1073.47/1077.12 c #Conflicts: 927000 | #Constraints: 27724
1073.47/1077.12 c #Conflicts: 928000 | #Constraints: 28949
1073.47/1077.12 c #Conflicts: 929000 | #Constraints: 30435
1073.47/1077.12 c #Conflicts: 930000 | #Constraints: 31936
1073.47/1077.12 c #Conflicts: 931000 | #Constraints: 33420
1073.47/1077.12 c #Conflicts: 932000 | #Constraints: 34904
1073.47/1077.12 c #Conflicts: 933000 | #Constraints: 36390
1073.47/1077.12 c #Conflicts: 934000 | #Constraints: 37822
1073.47/1077.12 c #Conflicts: 935000 | #Constraints: 39303
1073.47/1077.12 c #Conflicts: 936000 | #Constraints: 40792
1073.47/1077.12 c #Conflicts: 937000 | #Constraints: 42295
1073.47/1077.12 c #Conflicts: 938000 | #Constraints: 43805
1073.47/1077.12 c #Conflicts: 939000 | #Constraints: 45302
1073.47/1077.12 c #Conflicts: 940000 | #Constraints: 46777
1073.47/1077.12 c #Conflicts: 941000 | #Constraints: 48271
1073.47/1077.12 c INPROCESSING
1073.47/1077.12 c GARBAGE COLLECT
1073.47/1077.12 c rational objective 0
1108.96/1112.75 c #Conflicts: 942000 | #Constraints: 25197
1108.96/1112.75 c #Conflicts: 943000 | #Constraints: 26593
1108.96/1112.75 c #Conflicts: 944000 | #Constraints: 27715
1108.96/1112.75 c #Conflicts: 945000 | #Constraints: 29038
1108.96/1112.75 c #Conflicts: 946000 | #Constraints: 30109
1108.96/1112.75 c #Conflicts: 947000 | #Constraints: 31559
1108.96/1112.75 c #Conflicts: 948000 | #Constraints: 33002
1108.96/1112.75 c #Conflicts: 949000 | #Constraints: 34490
1108.96/1112.75 c #Conflicts: 950000 | #Constraints: 35562
1108.96/1112.75 c #Conflicts: 951000 | #Constraints: 36562
1108.96/1112.75 c #Conflicts: 952000 | #Constraints: 37819
1108.96/1112.75 c #Conflicts: 953000 | #Constraints: 38824
1108.96/1112.75 c #Conflicts: 954000 | #Constraints: 40174
1108.96/1112.75 c #Conflicts: 955000 | #Constraints: 41174
1108.96/1112.75 c #Conflicts: 956000 | #Constraints: 42174
1108.96/1112.75 c #Conflicts: 957000 | #Constraints: 43174
1108.96/1112.75 c #Conflicts: 958000 | #Constraints: 44174
1108.96/1112.75 c #Conflicts: 959000 | #Constraints: 45174
1108.96/1112.75 c #Conflicts: 960000 | #Constraints: 46510
1108.96/1112.75 c #Conflicts: 961000 | #Constraints: 47998
1108.96/1112.75 c INPROCESSING
1108.96/1112.75 c GARBAGE COLLECT
1108.96/1112.75 c rational objective 0
1144.27/1148.17 c #Conflicts: 962000 | #Constraints: 25261
1144.27/1148.17 c #Conflicts: 963000 | #Constraints: 26495
1144.27/1148.17 c #Conflicts: 964000 | #Constraints: 27877
1144.27/1148.17 c #Conflicts: 965000 | #Constraints: 29316
1144.27/1148.17 c #Conflicts: 966000 | #Constraints: 30752
1144.27/1148.17 c #Conflicts: 967000 | #Constraints: 32086
1144.27/1148.17 c #Conflicts: 968000 | #Constraints: 33433
1144.27/1148.17 c #Conflicts: 969000 | #Constraints: 34614
1144.27/1148.17 c #Conflicts: 970000 | #Constraints: 35884
1144.27/1148.17 c #Conflicts: 971000 | #Constraints: 37151
1144.27/1148.17 c #Conflicts: 972000 | #Constraints: 38390
1144.27/1148.17 c #Conflicts: 973000 | #Constraints: 39886
1144.27/1148.17 c #Conflicts: 974000 | #Constraints: 41107
1144.27/1148.17 c #Conflicts: 975000 | #Constraints: 42269
1144.27/1148.17 c #Conflicts: 976000 | #Constraints: 43407
1144.27/1148.17 c #Conflicts: 977000 | #Constraints: 44650
1144.27/1148.17 c #Conflicts: 978000 | #Constraints: 45867
1144.27/1148.17 c #Conflicts: 979000 | #Constraints: 46905
1144.27/1148.17 c #Conflicts: 980000 | #Constraints: 48294
1144.27/1148.17 c #Conflicts: 981000 | #Constraints: 49553
1144.27/1148.17 c INPROCESSING
1144.27/1148.17 c GARBAGE COLLECT
1144.27/1148.17 c rational objective 0
1180.25/1184.24 c #Conflicts: 982000 | #Constraints: 26259
1180.25/1184.24 c #Conflicts: 983000 | #Constraints: 27670
1180.25/1184.24 c #Conflicts: 984000 | #Constraints: 29137
1180.25/1184.24 c #Conflicts: 985000 | #Constraints: 30649
1180.25/1184.24 c #Conflicts: 986000 | #Constraints: 32152
1180.25/1184.24 c #Conflicts: 987000 | #Constraints: 33540
1180.25/1184.24 c #Conflicts: 988000 | #Constraints: 35012
1180.25/1184.24 c #Conflicts: 989000 | #Constraints: 36480
1180.25/1184.24 c #Conflicts: 990000 | #Constraints: 37962
1180.25/1184.24 c #Conflicts: 991000 | #Constraints: 39436
1180.25/1184.24 c #Conflicts: 992000 | #Constraints: 40931
1180.25/1184.24 c #Conflicts: 993000 | #Constraints: 42424
1180.25/1184.24 c #Conflicts: 994000 | #Constraints: 43897
1180.25/1184.24 c #Conflicts: 995000 | #Constraints: 45369
1180.25/1184.24 c #Conflicts: 996000 | #Constraints: 46842
1180.25/1184.24 c #Conflicts: 997000 | #Constraints: 48316
1180.25/1184.24 c #Conflicts: 998000 | #Constraints: 49808
1180.25/1184.24 c #Conflicts: 999000 | #Constraints: 51281
1180.25/1184.24 c #Conflicts: 1000000 | #Constraints: 52773
1180.25/1184.24 c #Conflicts: 1001000 | #Constraints: 54274
1180.25/1184.24 c INPROCESSING
1180.25/1184.24 c GARBAGE COLLECT
1180.25/1184.24 c rational objective 0
1213.36/1217.41 c #Conflicts: 1002000 | #Constraints: 28284
1213.36/1217.41 c #Conflicts: 1003000 | #Constraints: 29458
1213.36/1217.41 c #Conflicts: 1004000 | #Constraints: 30809
1213.36/1217.41 c #Conflicts: 1005000 | #Constraints: 32261
1213.36/1217.41 c #Conflicts: 1006000 | #Constraints: 33414
1213.36/1217.41 c #Conflicts: 1007000 | #Constraints: 34529
1213.36/1217.41 c #Conflicts: 1008000 | #Constraints: 35780
1213.36/1217.41 c #Conflicts: 1009000 | #Constraints: 37201
1213.36/1217.41 c #Conflicts: 1010000 | #Constraints: 38201
1213.36/1217.41 c #Conflicts: 1011000 | #Constraints: 39256
1213.36/1217.41 c #Conflicts: 1012000 | #Constraints: 40256
1213.36/1217.41 c #Conflicts: 1013000 | #Constraints: 41475
1213.36/1217.41 c #Conflicts: 1014000 | #Constraints: 42881
1213.36/1217.41 c #Conflicts: 1015000 | #Constraints: 44289
1213.36/1217.41 c #Conflicts: 1016000 | #Constraints: 45774
1213.36/1217.41 c #Conflicts: 1017000 | #Constraints: 47218
1213.36/1217.41 c #Conflicts: 1018000 | #Constraints: 48572
1213.36/1217.41 c #Conflicts: 1019000 | #Constraints: 49572
1213.36/1217.41 c #Conflicts: 1020000 | #Constraints: 50572
1213.36/1217.41 c #Conflicts: 1021000 | #Constraints: 51572
1213.36/1217.41 c INPROCESSING
1213.36/1217.41 c GARBAGE COLLECT
1213.36/1217.41 c rational objective 0
1247.63/1251.87 c #Conflicts: 1022000 | #Constraints: 27056
1247.63/1251.87 c #Conflicts: 1023000 | #Constraints: 28398
1247.63/1251.87 c #Conflicts: 1024000 | #Constraints: 29841
1247.63/1251.87 c #Conflicts: 1025000 | #Constraints: 31323
1247.63/1251.87 c #Conflicts: 1026000 | #Constraints: 32788
1247.63/1251.87 c #Conflicts: 1027000 | #Constraints: 34180
1247.63/1251.87 c #Conflicts: 1028000 | #Constraints: 35650
1247.63/1251.87 c #Conflicts: 1029000 | #Constraints: 37046
1247.63/1251.87 c #Conflicts: 1030000 | #Constraints: 38524
1247.63/1251.87 c #Conflicts: 1031000 | #Constraints: 39991
1247.63/1251.87 c #Conflicts: 1032000 | #Constraints: 41459
1247.63/1251.87 c #Conflicts: 1033000 | #Constraints: 42931
1247.63/1251.87 c #Conflicts: 1034000 | #Constraints: 44421
1247.63/1251.87 c #Conflicts: 1035000 | #Constraints: 45904
1247.63/1251.87 c #Conflicts: 1036000 | #Constraints: 47354
1247.63/1251.87 c #Conflicts: 1037000 | #Constraints: 48849
1247.63/1251.87 c #Conflicts: 1038000 | #Constraints: 50213
1247.63/1251.87 c #Conflicts: 1039000 | #Constraints: 51689
1247.63/1251.87 c #Conflicts: 1040000 | #Constraints: 53164
1247.63/1251.87 c #Conflicts: 1041000 | #Constraints: 54647
1247.63/1251.87 c INPROCESSING
1247.63/1251.87 c GARBAGE COLLECT
1247.63/1251.87 c rational objective 0
1283.22/1287.50 c #Conflicts: 1042000 | #Constraints: 28365
1283.22/1287.50 c #Conflicts: 1043000 | #Constraints: 29849
1283.22/1287.50 c #Conflicts: 1044000 | #Constraints: 31331
1283.22/1287.50 c #Conflicts: 1045000 | #Constraints: 32830
1283.22/1287.50 c #Conflicts: 1046000 | #Constraints: 34312
1283.22/1287.50 c #Conflicts: 1047000 | #Constraints: 35799
1283.22/1287.50 c #Conflicts: 1048000 | #Constraints: 37091
1283.22/1287.50 c #Conflicts: 1049000 | #Constraints: 38578
1283.22/1287.50 c #Conflicts: 1050000 | #Constraints: 40048
1283.22/1287.50 c #Conflicts: 1051000 | #Constraints: 41371
1283.22/1287.50 c #Conflicts: 1052000 | #Constraints: 42859
1283.22/1287.50 c #Conflicts: 1053000 | #Constraints: 44348
1283.22/1287.50 c #Conflicts: 1054000 | #Constraints: 45844
1283.22/1287.50 c #Conflicts: 1055000 | #Constraints: 47278
1283.22/1287.50 c #Conflicts: 1056000 | #Constraints: 48746
1283.22/1287.50 c #Conflicts: 1057000 | #Constraints: 50221
1283.22/1287.50 c #Conflicts: 1058000 | #Constraints: 51719
1283.22/1287.50 c #Conflicts: 1059000 | #Constraints: 53051
1283.22/1287.50 c #Conflicts: 1060000 | #Constraints: 54559
1283.22/1287.50 c #Conflicts: 1061000 | #Constraints: 55884
1283.22/1287.50 c #Conflicts: 1062000 | #Constraints: 57377
1283.22/1287.50 c INPROCESSING
1283.22/1287.50 c GARBAGE COLLECT
1283.22/1287.50 c rational objective 0
1320.89/1325.30 c #Conflicts: 1063000 | #Constraints: 29738
1320.89/1325.30 c #Conflicts: 1064000 | #Constraints: 31223
1320.89/1325.30 c #Conflicts: 1065000 | #Constraints: 32605
1320.89/1325.30 c #Conflicts: 1066000 | #Constraints: 33903
1320.89/1325.30 c #Conflicts: 1067000 | #Constraints: 35402
1320.89/1325.30 c #Conflicts: 1068000 | #Constraints: 36837
1320.89/1325.30 c #Conflicts: 1069000 | #Constraints: 38310
1320.89/1325.30 c #Conflicts: 1070000 | #Constraints: 39793
1320.89/1325.30 c #Conflicts: 1071000 | #Constraints: 41280
1320.89/1325.30 c #Conflicts: 1072000 | #Constraints: 42770
1320.89/1325.30 c #Conflicts: 1073000 | #Constraints: 44249
1320.89/1325.30 c #Conflicts: 1074000 | #Constraints: 45731
1320.89/1325.30 c #Conflicts: 1075000 | #Constraints: 47227
1320.89/1325.30 c #Conflicts: 1076000 | #Constraints: 48719
1320.89/1325.30 c #Conflicts: 1077000 | #Constraints: 50204
1320.89/1325.30 c #Conflicts: 1078000 | #Constraints: 51702
1320.89/1325.30 c #Conflicts: 1079000 | #Constraints: 53175
1320.89/1325.30 c #Conflicts: 1080000 | #Constraints: 54662
1320.89/1325.30 c #Conflicts: 1081000 | #Constraints: 56145
1320.89/1325.30 c #Conflicts: 1082000 | #Constraints: 57624
1320.89/1325.30 c #Conflicts: 1083000 | #Constraints: 58987
1320.89/1325.30 c INPROCESSING
1320.89/1325.30 c GARBAGE COLLECT
1320.89/1325.30 c rational objective 0
1359.06/1363.66 c #Conflicts: 1084000 | #Constraints: 30748
1359.06/1363.66 c #Conflicts: 1085000 | #Constraints: 32096
1359.06/1363.66 c #Conflicts: 1086000 | #Constraints: 33577
1359.06/1363.66 c #Conflicts: 1087000 | #Constraints: 35051
1359.06/1363.66 c #Conflicts: 1088000 | #Constraints: 36543
1359.06/1363.66 c #Conflicts: 1089000 | #Constraints: 37595
1359.06/1363.66 c #Conflicts: 1090000 | #Constraints: 39093
1359.06/1363.66 c #Conflicts: 1091000 | #Constraints: 40583
1359.06/1363.66 c #Conflicts: 1092000 | #Constraints: 42057
1359.06/1363.66 c #Conflicts: 1093000 | #Constraints: 43500
1359.06/1363.66 c #Conflicts: 1094000 | #Constraints: 44634
1359.06/1363.66 c #Conflicts: 1095000 | #Constraints: 46125
1359.06/1363.66 c #Conflicts: 1096000 | #Constraints: 47272
1359.06/1363.66 c #Conflicts: 1097000 | #Constraints: 48752
1359.06/1363.66 c #Conflicts: 1098000 | #Constraints: 50075
1359.06/1363.66 c #Conflicts: 1099000 | #Constraints: 51573
1359.06/1363.66 c #Conflicts: 1100000 | #Constraints: 53064
1359.06/1363.66 c #Conflicts: 1101000 | #Constraints: 54553
1359.06/1363.66 c #Conflicts: 1102000 | #Constraints: 56032
1359.06/1363.66 c #Conflicts: 1103000 | #Constraints: 57044
1359.06/1363.66 c #Conflicts: 1104000 | #Constraints: 58356
1359.06/1363.66 c INPROCESSING
1359.06/1363.66 c GARBAGE COLLECT
1359.06/1363.66 c rational objective 0
1397.35/1402.10 c #Conflicts: 1105000 | #Constraints: 30579
1397.35/1402.10 c #Conflicts: 1106000 | #Constraints: 31911
1397.35/1402.10 c #Conflicts: 1107000 | #Constraints: 33222
1397.35/1402.10 c #Conflicts: 1108000 | #Constraints: 34634
1397.35/1402.10 c #Conflicts: 1109000 | #Constraints: 36147
1397.35/1402.10 c #Conflicts: 1110000 | #Constraints: 37417
1397.35/1402.10 c #Conflicts: 1111000 | #Constraints: 38912
1397.35/1402.10 c #Conflicts: 1112000 | #Constraints: 40418
1397.35/1402.10 c #Conflicts: 1113000 | #Constraints: 41912
1397.35/1402.10 c #Conflicts: 1114000 | #Constraints: 43300
1397.35/1402.10 c #Conflicts: 1115000 | #Constraints: 44811
1397.35/1402.10 c #Conflicts: 1116000 | #Constraints: 46308
1397.35/1402.10 c #Conflicts: 1117000 | #Constraints: 47799
1397.35/1402.10 c #Conflicts: 1118000 | #Constraints: 49289
1397.35/1402.10 c #Conflicts: 1119000 | #Constraints: 50781
1397.35/1402.10 c #Conflicts: 1120000 | #Constraints: 52271
1397.35/1402.10 c #Conflicts: 1121000 | #Constraints: 53653
1397.35/1402.10 c #Conflicts: 1122000 | #Constraints: 54869
1397.35/1402.10 c #Conflicts: 1123000 | #Constraints: 55869
1397.35/1402.10 c #Conflicts: 1124000 | #Constraints: 56877
1397.35/1402.10 c #Conflicts: 1125000 | #Constraints: 58385
1397.35/1402.10 c INPROCESSING
1397.35/1402.10 c GARBAGE COLLECT
1397.35/1402.10 c rational objective 0
1437.63/1442.41 c #Conflicts: 1126000 | #Constraints: 30557
1437.63/1442.41 c #Conflicts: 1127000 | #Constraints: 32046
1437.63/1442.41 c #Conflicts: 1128000 | #Constraints: 33522
1437.63/1442.41 c #Conflicts: 1129000 | #Constraints: 35005
1437.63/1442.41 c #Conflicts: 1130000 | #Constraints: 36492
1437.63/1442.41 c #Conflicts: 1131000 | #Constraints: 37979
1437.63/1442.41 c #Conflicts: 1132000 | #Constraints: 39471
1437.63/1442.41 c #Conflicts: 1133000 | #Constraints: 40846
1437.63/1442.41 c #Conflicts: 1134000 | #Constraints: 42300
1437.63/1442.41 c #Conflicts: 1135000 | #Constraints: 43774
1437.63/1442.41 c #Conflicts: 1136000 | #Constraints: 45258
1437.63/1442.41 c #Conflicts: 1137000 | #Constraints: 46749
1437.63/1442.41 c #Conflicts: 1138000 | #Constraints: 48244
1437.63/1442.41 c #Conflicts: 1139000 | #Constraints: 49733
1437.63/1442.41 c #Conflicts: 1140000 | #Constraints: 51210
1437.63/1442.41 c #Conflicts: 1141000 | #Constraints: 52692
1437.63/1442.41 c #Conflicts: 1142000 | #Constraints: 54192
1437.63/1442.41 c #Conflicts: 1143000 | #Constraints: 55677
1437.63/1442.41 c #Conflicts: 1144000 | #Constraints: 57173
1437.63/1442.41 c #Conflicts: 1145000 | #Constraints: 58662
1437.63/1442.41 c #Conflicts: 1146000 | #Constraints: 60138
1437.63/1442.41 c INPROCESSING
1437.63/1442.41 c GARBAGE COLLECT
1437.63/1442.41 c rational objective 0
1477.80/1482.70 c #Conflicts: 1147000 | #Constraints: 31129
1477.80/1482.70 c #Conflicts: 1148000 | #Constraints: 32616
1477.80/1482.70 c #Conflicts: 1149000 | #Constraints: 34084
1477.80/1482.70 c #Conflicts: 1150000 | #Constraints: 35569
1477.80/1482.70 c #Conflicts: 1151000 | #Constraints: 37061
1477.80/1482.70 c #Conflicts: 1152000 | #Constraints: 38544
1477.80/1482.70 c #Conflicts: 1153000 | #Constraints: 40013
1477.80/1482.70 c #Conflicts: 1154000 | #Constraints: 41474
1477.80/1482.70 c #Conflicts: 1155000 | #Constraints: 42963
1477.80/1482.70 c #Conflicts: 1156000 | #Constraints: 44449
1477.80/1482.70 c #Conflicts: 1157000 | #Constraints: 45926
1477.80/1482.70 c #Conflicts: 1158000 | #Constraints: 47420
1477.80/1482.70 c #Conflicts: 1159000 | #Constraints: 48907
1477.80/1482.70 c #Conflicts: 1160000 | #Constraints: 50380
1477.80/1482.70 c #Conflicts: 1161000 | #Constraints: 51793
1477.80/1482.70 c #Conflicts: 1162000 | #Constraints: 52793
1477.80/1482.70 c #Conflicts: 1163000 | #Constraints: 53793
1477.80/1482.70 c #Conflicts: 1164000 | #Constraints: 55054
1477.80/1482.70 c #Conflicts: 1165000 | #Constraints: 56554
1477.80/1482.70 c #Conflicts: 1166000 | #Constraints: 57775
1477.80/1482.70 c #Conflicts: 1167000 | #Constraints: 58775
1477.80/1482.70 c #Conflicts: 1168000 | #Constraints: 59775
1477.80/1482.70 c INPROCESSING
1477.80/1482.70 c GARBAGE COLLECT
1477.80/1482.70 c rational objective 0
1525.37/1530.45 c #Conflicts: 1169000 | #Constraints: 31172
1525.37/1530.45 c #Conflicts: 1170000 | #Constraints: 32648
1525.37/1530.45 c #Conflicts: 1171000 | #Constraints: 34141
1525.37/1530.45 c #Conflicts: 1172000 | #Constraints: 35627
1525.37/1530.45 c #Conflicts: 1173000 | #Constraints: 37117
1525.37/1530.45 c #Conflicts: 1174000 | #Constraints: 38594
1525.37/1530.45 c #Conflicts: 1175000 | #Constraints: 40077
1525.37/1530.45 c #Conflicts: 1176000 | #Constraints: 41563
1525.37/1530.45 c #Conflicts: 1177000 | #Constraints: 43052
1525.37/1530.45 c #Conflicts: 1178000 | #Constraints: 44541
1525.37/1530.45 c #Conflicts: 1179000 | #Constraints: 46029
1525.37/1530.45 c #Conflicts: 1180000 | #Constraints: 47518
1525.37/1530.45 c #Conflicts: 1181000 | #Constraints: 48985
1525.37/1530.45 c #Conflicts: 1182000 | #Constraints: 50466
1525.37/1530.45 c #Conflicts: 1183000 | #Constraints: 51950
1525.37/1530.45 c #Conflicts: 1184000 | #Constraints: 53426
1525.37/1530.45 c #Conflicts: 1185000 | #Constraints: 54910
1525.37/1530.45 c #Conflicts: 1186000 | #Constraints: 56396
1525.37/1530.45 c #Conflicts: 1187000 | #Constraints: 57878
1525.37/1530.45 c #Conflicts: 1188000 | #Constraints: 59366
1525.37/1530.45 c #Conflicts: 1189000 | #Constraints: 60878
1525.37/1530.45 c #Conflicts: 1190000 | #Constraints: 62357
1525.37/1530.45 c INPROCESSING
1525.37/1530.45 c GARBAGE COLLECT
1525.37/1530.45 c rational objective 0
1569.44/1574.61 c #Conflicts: 1191000 | #Constraints: 32684
1569.44/1574.61 c #Conflicts: 1192000 | #Constraints: 34139
1569.44/1574.61 c #Conflicts: 1193000 | #Constraints: 35376
1569.44/1574.61 c #Conflicts: 1194000 | #Constraints: 36570
1569.44/1574.61 c #Conflicts: 1195000 | #Constraints: 38066
1569.44/1574.61 c #Conflicts: 1196000 | #Constraints: 39560
1569.44/1574.61 c #Conflicts: 1197000 | #Constraints: 41043
1569.44/1574.61 c #Conflicts: 1198000 | #Constraints: 42542
1569.44/1574.61 c #Conflicts: 1199000 | #Constraints: 44044
1569.44/1574.61 c #Conflicts: 1200000 | #Constraints: 45539
1569.44/1574.61 c #Conflicts: 1201000 | #Constraints: 47012
1569.44/1574.61 c #Conflicts: 1202000 | #Constraints: 48511
1569.44/1574.61 c #Conflicts: 1203000 | #Constraints: 49996
1569.44/1574.61 c #Conflicts: 1204000 | #Constraints: 51497
1569.44/1574.61 c #Conflicts: 1205000 | #Constraints: 52991
1569.44/1574.61 c #Conflicts: 1206000 | #Constraints: 54466
1569.44/1574.61 c #Conflicts: 1207000 | #Constraints: 55949
1569.44/1574.61 c #Conflicts: 1208000 | #Constraints: 57442
1569.44/1574.61 c #Conflicts: 1209000 | #Constraints: 58922
1569.44/1574.61 c #Conflicts: 1210000 | #Constraints: 60439
1569.44/1574.61 c #Conflicts: 1211000 | #Constraints: 61937
1569.44/1574.61 c #Conflicts: 1212000 | #Constraints: 63419
1569.44/1574.61 c INPROCESSING
1569.44/1574.61 c GARBAGE COLLECT
1569.44/1574.61 c rational objective 0
1607.53/1612.86 c #Conflicts: 1213000 | #Constraints: 33094
1607.53/1612.86 c #Conflicts: 1214000 | #Constraints: 34149
1607.53/1612.86 c #Conflicts: 1215000 | #Constraints: 35512
1607.53/1612.86 c #Conflicts: 1216000 | #Constraints: 36599
1607.53/1612.86 c #Conflicts: 1217000 | #Constraints: 37672
1607.53/1612.86 c #Conflicts: 1218000 | #Constraints: 38715
1607.53/1612.86 c #Conflicts: 1219000 | #Constraints: 39818
1607.53/1612.86 c #Conflicts: 1220000 | #Constraints: 40927
1607.53/1612.86 c #Conflicts: 1221000 | #Constraints: 41989
1607.53/1612.86 c #Conflicts: 1222000 | #Constraints: 42989
1607.53/1612.86 c #Conflicts: 1223000 | #Constraints: 43989
1607.53/1612.86 c #Conflicts: 1224000 | #Constraints: 44989
1607.53/1612.86 c #Conflicts: 1225000 | #Constraints: 46182
1607.53/1612.86 c #Conflicts: 1226000 | #Constraints: 47182
1607.53/1612.86 c #Conflicts: 1227000 | #Constraints: 48182
1607.53/1612.86 c #Conflicts: 1228000 | #Constraints: 49196
1607.53/1612.86 c #Conflicts: 1229000 | #Constraints: 50268
1607.53/1612.86 c #Conflicts: 1230000 | #Constraints: 51268
1607.53/1612.86 c #Conflicts: 1231000 | #Constraints: 52283
1607.53/1612.86 c #Conflicts: 1232000 | #Constraints: 53283
1607.53/1612.86 c #Conflicts: 1233000 | #Constraints: 54290
1607.53/1612.86 c #Conflicts: 1234000 | #Constraints: 55304
1607.53/1612.86 c INPROCESSING
1607.53/1612.86 c GARBAGE COLLECT
1607.53/1612.86 c rational objective 0
1653.90/1659.38 c #Conflicts: 1235000 | #Constraints: 28918
1653.90/1659.38 c #Conflicts: 1236000 | #Constraints: 30401
1653.90/1659.38 c #Conflicts: 1237000 | #Constraints: 31880
1653.90/1659.38 c #Conflicts: 1238000 | #Constraints: 33355
1653.90/1659.38 c #Conflicts: 1239000 | #Constraints: 34828
1653.90/1659.38 c #Conflicts: 1240000 | #Constraints: 35855
1653.90/1659.38 c #Conflicts: 1241000 | #Constraints: 36855
1653.90/1659.38 c #Conflicts: 1242000 | #Constraints: 37855
1653.90/1659.38 c #Conflicts: 1243000 | #Constraints: 39234
1653.90/1659.38 c #Conflicts: 1244000 | #Constraints: 40732
1653.90/1659.38 c #Conflicts: 1245000 | #Constraints: 41885
1653.90/1659.38 c #Conflicts: 1246000 | #Constraints: 42885
1653.90/1659.38 c #Conflicts: 1247000 | #Constraints: 43885
1653.90/1659.38 c #Conflicts: 1248000 | #Constraints: 44885
1653.90/1659.38 c #Conflicts: 1249000 | #Constraints: 45885
1653.90/1659.38 c #Conflicts: 1250000 | #Constraints: 47162
1653.90/1659.38 c #Conflicts: 1251000 | #Constraints: 48632
1653.90/1659.38 c #Conflicts: 1252000 | #Constraints: 50115
1653.90/1659.38 c #Conflicts: 1253000 | #Constraints: 51600
1653.90/1659.38 c #Conflicts: 1254000 | #Constraints: 52737
1653.90/1659.38 c #Conflicts: 1255000 | #Constraints: 53746
1653.90/1659.38 c #Conflicts: 1256000 | #Constraints: 55229
1653.90/1659.38 c INPROCESSING
1653.90/1659.38 c GARBAGE COLLECT
1653.90/1659.38 c rational objective 0
1699.97/1705.59 c #Conflicts: 1257000 | #Constraints: 28468
1699.97/1705.59 c #Conflicts: 1258000 | #Constraints: 29628
1699.97/1705.59 c #Conflicts: 1259000 | #Constraints: 30749
1699.97/1705.59 c #Conflicts: 1260000 | #Constraints: 32017
1699.97/1705.59 c #Conflicts: 1261000 | #Constraints: 33217
1699.97/1705.59 c #Conflicts: 1262000 | #Constraints: 34714
1699.97/1705.59 c #Conflicts: 1263000 | #Constraints: 36049
1699.97/1705.59 c #Conflicts: 1264000 | #Constraints: 37539
1699.97/1705.59 c #Conflicts: 1265000 | #Constraints: 39032
1699.97/1705.59 c #Conflicts: 1266000 | #Constraints: 40355
1699.97/1705.59 c #Conflicts: 1267000 | #Constraints: 41355
1699.97/1705.59 c #Conflicts: 1268000 | #Constraints: 42429
1699.97/1705.59 c #Conflicts: 1269000 | #Constraints: 43910
1699.97/1705.59 c #Conflicts: 1270000 | #Constraints: 45404
1699.97/1705.59 c #Conflicts: 1271000 | #Constraints: 46707
1699.97/1705.59 c #Conflicts: 1272000 | #Constraints: 47707
1699.97/1705.59 c #Conflicts: 1273000 | #Constraints: 48716
1699.97/1705.59 c #Conflicts: 1274000 | #Constraints: 49716
1699.97/1705.59 c #Conflicts: 1275000 | #Constraints: 50716
1699.97/1705.59 c #Conflicts: 1276000 | #Constraints: 51716
1699.97/1705.59 c #Conflicts: 1277000 | #Constraints: 52716
1699.97/1705.59 c #Conflicts: 1278000 | #Constraints: 53716
1699.97/1705.59 c #Conflicts: 1279000 | #Constraints: 55011
1699.97/1705.59 c INPROCESSING
1699.97/1705.59 c GARBAGE COLLECT
1699.97/1705.59 c rational objective 0
1738.86/1744.57 c #Conflicts: 1280000 | #Constraints: 28465
1738.86/1744.57 c #Conflicts: 1281000 | #Constraints: 29465
1738.86/1744.57 c #Conflicts: 1282000 | #Constraints: 30616
1738.86/1744.57 c #Conflicts: 1283000 | #Constraints: 31758
1738.86/1744.57 c #Conflicts: 1284000 | #Constraints: 32943
1738.86/1744.57 c #Conflicts: 1285000 | #Constraints: 33943
1738.86/1744.57 c #Conflicts: 1286000 | #Constraints: 34943
1738.86/1744.57 c #Conflicts: 1287000 | #Constraints: 35943
1738.86/1744.57 c #Conflicts: 1288000 | #Constraints: 36943
1738.86/1744.57 c #Conflicts: 1289000 | #Constraints: 37943
1738.86/1744.57 c #Conflicts: 1290000 | #Constraints: 38943
1738.86/1744.57 c #Conflicts: 1291000 | #Constraints: 39943
1738.86/1744.57 c #Conflicts: 1292000 | #Constraints: 40943
1738.86/1744.57 c #Conflicts: 1293000 | #Constraints: 42107
1738.86/1744.57 c #Conflicts: 1294000 | #Constraints: 43465
1738.86/1744.57 c #Conflicts: 1295000 | #Constraints: 44809
1738.86/1744.57 c #Conflicts: 1296000 | #Constraints: 46238
1738.86/1744.57 c #Conflicts: 1297000 | #Constraints: 47275
1738.86/1744.57 c #Conflicts: 1298000 | #Constraints: 48735
1738.86/1744.57 c #Conflicts: 1299000 | #Constraints: 50215
1738.86/1744.57 c #Conflicts: 1300000 | #Constraints: 51320
1738.86/1744.57 c #Conflicts: 1301000 | #Constraints: 52580
1738.86/1744.57 c #Conflicts: 1302000 | #Constraints: 54061
1738.86/1744.57 c INPROCESSING
1738.86/1744.57 c GARBAGE COLLECT
1738.86/1744.57 c rational objective 0
1779.64/1785.42 c #Conflicts: 1303000 | #Constraints: 28447
1779.64/1785.42 c #Conflicts: 1304000 | #Constraints: 29447
1779.64/1785.42 c #Conflicts: 1305000 | #Constraints: 30474
1779.64/1785.42 c #Conflicts: 1306000 | #Constraints: 31970
1779.64/1785.42 c #Conflicts: 1307000 | #Constraints: 33454
1779.64/1785.42 c #Conflicts: 1308000 | #Constraints: 34693
1779.64/1785.42 c #Conflicts: 1309000 | #Constraints: 35693
1779.64/1785.42 c #Conflicts: 1310000 | #Constraints: 36693
1779.64/1785.42 c #Conflicts: 1311000 | #Constraints: 37881
1779.64/1785.42 c #Conflicts: 1312000 | #Constraints: 38885
1779.64/1785.42 c #Conflicts: 1313000 | #Constraints: 39885
1779.64/1785.42 c #Conflicts: 1314000 | #Constraints: 40885
1779.64/1785.42 c #Conflicts: 1315000 | #Constraints: 41885
1779.64/1785.42 c #Conflicts: 1316000 | #Constraints: 42885
1779.64/1785.42 c #Conflicts: 1317000 | #Constraints: 43885
1779.64/1785.42 c #Conflicts: 1318000 | #Constraints: 44885
1779.64/1785.42 c #Conflicts: 1319000 | #Constraints: 45885
1779.64/1785.42 c #Conflicts: 1320000 | #Constraints: 46885
1779.64/1785.42 c #Conflicts: 1321000 | #Constraints: 47885
1779.64/1785.42 c #Conflicts: 1322000 | #Constraints: 48885
1779.64/1785.42 c #Conflicts: 1323000 | #Constraints: 49885
1779.64/1785.42 c #Conflicts: 1324000 | #Constraints: 50885
1779.64/1785.42 c #Conflicts: 1325000 | #Constraints: 51885
1779.64/1785.42 c INPROCESSING
1779.64/1785.42 c GARBAGE COLLECT
1779.64/1785.42 c rational objective 0
1813.34/1819.22 c #Conflicts: 1326000 | #Constraints: 26956
1813.34/1819.22 c #Conflicts: 1327000 | #Constraints: 27956
1813.34/1819.22 c #Conflicts: 1328000 | #Constraints: 28956
1813.34/1819.22 c #Conflicts: 1329000 | #Constraints: 29956
1813.34/1819.22 c #Conflicts: 1330000 | #Constraints: 30956
1813.34/1819.22 c #Conflicts: 1331000 | #Constraints: 31956
1813.34/1819.22 c #Conflicts: 1332000 | #Constraints: 32956
1813.34/1819.22 c #Conflicts: 1333000 | #Constraints: 33956
1813.34/1819.22 c #Conflicts: 1334000 | #Constraints: 34956
1813.34/1819.22 c #Conflicts: 1335000 | #Constraints: 35956
1813.34/1819.22 c #Conflicts: 1336000 | #Constraints: 36956
1813.34/1819.22 c #Conflicts: 1337000 | #Constraints: 37956
1813.34/1819.22 c #Conflicts: 1338000 | #Constraints: 38956
1813.34/1819.22 c #Conflicts: 1339000 | #Constraints: 39956
1813.34/1819.22 c #Conflicts: 1340000 | #Constraints: 40956
1813.34/1819.22 c #Conflicts: 1341000 | #Constraints: 41956
1813.34/1819.22 c #Conflicts: 1342000 | #Constraints: 42956
1813.34/1819.22 c #Conflicts: 1343000 | #Constraints: 43956
1813.34/1819.22 c #Conflicts: 1344000 | #Constraints: 44956
1813.34/1819.22 c #Conflicts: 1345000 | #Constraints: 45956
1813.34/1819.22 c #Conflicts: 1346000 | #Constraints: 46956
1813.34/1819.22 c #Conflicts: 1347000 | #Constraints: 47956
1813.34/1819.22 c #Conflicts: 1348000 | #Constraints: 48956
1813.34/1819.22 c INPROCESSING
1813.34/1819.22 c GARBAGE COLLECT
1813.34/1819.22 c rational objective 0
1862.70/1868.78 c #Conflicts: 1349000 | #Constraints: 25766
1862.70/1868.78 c #Conflicts: 1350000 | #Constraints: 27232
1862.70/1868.78 c #Conflicts: 1351000 | #Constraints: 28700
1862.70/1868.78 c #Conflicts: 1352000 | #Constraints: 30169
1862.70/1868.78 c #Conflicts: 1353000 | #Constraints: 31566
1862.70/1868.78 c #Conflicts: 1354000 | #Constraints: 32936
1862.70/1868.78 c #Conflicts: 1355000 | #Constraints: 34430
1862.70/1868.78 c #Conflicts: 1356000 | #Constraints: 35928
1862.70/1868.78 c #Conflicts: 1357000 | #Constraints: 37401
1862.70/1868.78 c #Conflicts: 1358000 | #Constraints: 38863
1862.70/1868.78 c #Conflicts: 1359000 | #Constraints: 40187
1862.70/1868.78 c #Conflicts: 1360000 | #Constraints: 41456
1862.70/1868.78 c #Conflicts: 1361000 | #Constraints: 42456
1862.70/1868.78 c #Conflicts: 1362000 | #Constraints: 43456
1862.70/1868.78 c #Conflicts: 1363000 | #Constraints: 44456
1862.70/1868.78 c #Conflicts: 1364000 | #Constraints: 45456
1862.70/1868.78 c #Conflicts: 1365000 | #Constraints: 46492
1862.70/1868.78 c #Conflicts: 1366000 | #Constraints: 47492
1862.70/1868.78 c #Conflicts: 1367000 | #Constraints: 48492
1862.70/1868.78 c #Conflicts: 1368000 | #Constraints: 49492
1862.70/1868.78 c #Conflicts: 1369000 | #Constraints: 50492
1862.70/1868.78 c #Conflicts: 1370000 | #Constraints: 51492
1862.70/1868.78 c #Conflicts: 1371000 | #Constraints: 52694
1862.70/1868.78 c INPROCESSING
1862.70/1868.78 c GARBAGE COLLECT
1862.70/1868.78 c rational objective 0
1909.86/1916.08 c #Conflicts: 1372000 | #Constraints: 27258
1909.86/1916.08 c #Conflicts: 1373000 | #Constraints: 28739
1909.86/1916.08 c #Conflicts: 1374000 | #Constraints: 30248
1909.86/1916.08 c #Conflicts: 1375000 | #Constraints: 31741
1909.86/1916.08 c #Conflicts: 1376000 | #Constraints: 33234
1909.86/1916.08 c #Conflicts: 1377000 | #Constraints: 34732
1909.86/1916.08 c #Conflicts: 1378000 | #Constraints: 36230
1909.86/1916.08 c #Conflicts: 1379000 | #Constraints: 37712
1909.86/1916.08 c #Conflicts: 1380000 | #Constraints: 39200
1909.86/1916.08 c #Conflicts: 1381000 | #Constraints: 40692
1909.86/1916.08 c #Conflicts: 1382000 | #Constraints: 42178
1909.86/1916.08 c #Conflicts: 1383000 | #Constraints: 43672
1909.86/1916.08 c #Conflicts: 1384000 | #Constraints: 45153
1909.86/1916.08 c #Conflicts: 1385000 | #Constraints: 46649
1909.86/1916.08 c #Conflicts: 1386000 | #Constraints: 48131
1909.86/1916.08 c #Conflicts: 1387000 | #Constraints: 49609
1909.86/1916.08 c #Conflicts: 1388000 | #Constraints: 51085
1909.86/1916.08 c #Conflicts: 1389000 | #Constraints: 52573
1909.86/1916.08 c #Conflicts: 1390000 | #Constraints: 54075
1909.86/1916.08 c #Conflicts: 1391000 | #Constraints: 55587
1909.86/1916.08 c #Conflicts: 1392000 | #Constraints: 57080
1909.86/1916.08 c #Conflicts: 1393000 | #Constraints: 58558
1909.86/1916.08 c #Conflicts: 1394000 | #Constraints: 60029
1909.86/1916.08 c #Conflicts: 1395000 | #Constraints: 61531
1909.86/1916.08 c INPROCESSING
1909.86/1916.08 c GARBAGE COLLECT
1909.86/1916.08 c rational objective 0
1966.89/1973.24 c #Conflicts: 1396000 | #Constraints: 32125
1966.89/1973.24 c #Conflicts: 1397000 | #Constraints: 33608
1966.89/1973.24 c #Conflicts: 1398000 | #Constraints: 35089
1966.89/1973.24 c #Conflicts: 1399000 | #Constraints: 36562
1966.89/1973.24 c #Conflicts: 1400000 | #Constraints: 38072
1966.89/1973.24 c #Conflicts: 1401000 | #Constraints: 39542
1966.89/1973.24 c #Conflicts: 1402000 | #Constraints: 41019
1966.89/1973.24 c #Conflicts: 1403000 | #Constraints: 42500
1966.89/1973.24 c #Conflicts: 1404000 | #Constraints: 43975
1966.89/1973.24 c #Conflicts: 1405000 | #Constraints: 45457
1966.89/1973.24 c #Conflicts: 1406000 | #Constraints: 46934
1966.89/1973.24 c #Conflicts: 1407000 | #Constraints: 48433
1966.89/1973.24 c #Conflicts: 1408000 | #Constraints: 49918
1966.89/1973.24 c #Conflicts: 1409000 | #Constraints: 51400
1966.89/1973.24 c #Conflicts: 1410000 | #Constraints: 52891
1966.89/1973.24 c #Conflicts: 1411000 | #Constraints: 54375
1966.89/1973.24 c #Conflicts: 1412000 | #Constraints: 55847
1966.89/1973.24 c #Conflicts: 1413000 | #Constraints: 57315
1966.89/1973.24 c #Conflicts: 1414000 | #Constraints: 58811
1966.89/1973.24 c #Conflicts: 1415000 | #Constraints: 60309
1966.89/1973.24 c #Conflicts: 1416000 | #Constraints: 61802
1966.89/1973.24 c #Conflicts: 1417000 | #Constraints: 63283
1966.89/1973.24 c #Conflicts: 1418000 | #Constraints: 64772
1966.89/1973.24 c #Conflicts: 1419000 | #Constraints: 66256
1966.89/1973.24 c INPROCESSING
1966.89/1973.24 c GARBAGE COLLECT
1966.89/1973.24 c rational objective 0
2024.63/2031.12 c #Conflicts: 1420000 | #Constraints: 34417
2024.63/2031.12 c #Conflicts: 1421000 | #Constraints: 35591
2024.63/2031.12 c #Conflicts: 1422000 | #Constraints: 37064
2024.63/2031.12 c #Conflicts: 1423000 | #Constraints: 38544
2024.63/2031.12 c #Conflicts: 1424000 | #Constraints: 40023
2024.63/2031.12 c #Conflicts: 1425000 | #Constraints: 41503
2024.63/2031.12 c #Conflicts: 1426000 | #Constraints: 42982
2024.63/2031.12 c #Conflicts: 1427000 | #Constraints: 44465
2024.63/2031.12 c #Conflicts: 1428000 | #Constraints: 45959
2024.63/2031.12 c #Conflicts: 1429000 | #Constraints: 47442
2024.63/2031.12 c #Conflicts: 1430000 | #Constraints: 48970
2024.63/2031.12 c #Conflicts: 1431000 | #Constraints: 50479
2024.63/2031.12 c #Conflicts: 1432000 | #Constraints: 51957
2024.63/2031.12 c #Conflicts: 1433000 | #Constraints: 53431
2024.63/2031.12 c #Conflicts: 1434000 | #Constraints: 54920
2024.63/2031.12 c #Conflicts: 1435000 | #Constraints: 56390
2024.63/2031.12 c #Conflicts: 1436000 | #Constraints: 57877
2024.63/2031.12 c #Conflicts: 1437000 | #Constraints: 59357
2024.63/2031.12 c #Conflicts: 1438000 | #Constraints: 60839
2024.63/2031.12 c #Conflicts: 1439000 | #Constraints: 62341
2024.63/2031.12 c #Conflicts: 1440000 | #Constraints: 63837
2024.63/2031.12 c #Conflicts: 1441000 | #Constraints: 65327
2024.63/2031.12 c #Conflicts: 1442000 | #Constraints: 66814
2024.63/2031.12 c #Conflicts: 1443000 | #Constraints: 68305
2024.63/2031.12 c INPROCESSING
2024.63/2031.12 c GARBAGE COLLECT
2024.63/2031.12 c rational objective 0
2084.16/2090.87 c #Conflicts: 1444000 | #Constraints: 35667
2084.16/2090.87 c #Conflicts: 1445000 | #Constraints: 37162
2084.16/2090.87 c #Conflicts: 1446000 | #Constraints: 38648
2084.16/2090.87 c #Conflicts: 1447000 | #Constraints: 40142
2084.16/2090.87 c #Conflicts: 1448000 | #Constraints: 41640
2084.16/2090.87 c #Conflicts: 1449000 | #Constraints: 43124
2084.16/2090.87 c #Conflicts: 1450000 | #Constraints: 44614
2084.16/2090.87 c #Conflicts: 1451000 | #Constraints: 46082
2084.16/2090.87 c #Conflicts: 1452000 | #Constraints: 47565
2084.16/2090.87 c #Conflicts: 1453000 | #Constraints: 49058
2084.16/2090.87 c #Conflicts: 1454000 | #Constraints: 50536
2084.16/2090.87 c #Conflicts: 1455000 | #Constraints: 52010
2084.16/2090.87 c #Conflicts: 1456000 | #Constraints: 53493
2084.16/2090.87 c #Conflicts: 1457000 | #Constraints: 54978
2084.16/2090.87 c #Conflicts: 1458000 | #Constraints: 56467
2084.16/2090.87 c #Conflicts: 1459000 | #Constraints: 57959
2084.16/2090.87 c #Conflicts: 1460000 | #Constraints: 59443
2084.16/2090.87 c #Conflicts: 1461000 | #Constraints: 60927
2084.16/2090.87 c #Conflicts: 1462000 | #Constraints: 62419
2084.16/2090.87 c #Conflicts: 1463000 | #Constraints: 63917
2084.16/2090.87 c #Conflicts: 1464000 | #Constraints: 65381
2084.16/2090.87 c #Conflicts: 1465000 | #Constraints: 66875
2084.16/2090.87 c #Conflicts: 1466000 | #Constraints: 68385
2084.16/2090.87 c #Conflicts: 1467000 | #Constraints: 69886
2084.16/2090.87 c INPROCESSING
2084.16/2090.87 c GARBAGE COLLECT
2084.16/2090.87 c rational objective 0
2150.86/2157.73 c #Conflicts: 1468000 | #Constraints: 36300
2150.86/2157.73 c #Conflicts: 1469000 | #Constraints: 37792
2150.86/2157.73 c #Conflicts: 1470000 | #Constraints: 39285
2150.86/2157.73 c #Conflicts: 1471000 | #Constraints: 40777
2150.86/2157.73 c #Conflicts: 1472000 | #Constraints: 42253
2150.86/2157.73 c #Conflicts: 1473000 | #Constraints: 43720
2150.86/2157.73 c #Conflicts: 1474000 | #Constraints: 45215
2150.86/2157.73 c #Conflicts: 1475000 | #Constraints: 46686
2150.86/2157.73 c #Conflicts: 1476000 | #Constraints: 48188
2150.86/2157.73 c #Conflicts: 1477000 | #Constraints: 49665
2150.86/2157.73 c #Conflicts: 1478000 | #Constraints: 51155
2150.86/2157.73 c #Conflicts: 1479000 | #Constraints: 52639
2150.86/2157.73 c #Conflicts: 1480000 | #Constraints: 54132
2150.86/2157.73 c #Conflicts: 1481000 | #Constraints: 55633
2150.86/2157.73 c #Conflicts: 1482000 | #Constraints: 57117
2150.86/2157.73 c #Conflicts: 1483000 | #Constraints: 58599
2150.86/2157.73 c #Conflicts: 1484000 | #Constraints: 60077
2150.86/2157.73 c #Conflicts: 1485000 | #Constraints: 61577
2150.86/2157.73 c #Conflicts: 1486000 | #Constraints: 63071
2150.86/2157.73 c #Conflicts: 1487000 | #Constraints: 64560
2150.86/2157.73 c #Conflicts: 1488000 | #Constraints: 66041
2150.86/2157.73 c #Conflicts: 1489000 | #Constraints: 67534
2150.86/2157.73 c #Conflicts: 1490000 | #Constraints: 69018
2150.86/2157.73 c #Conflicts: 1491000 | #Constraints: 70501
2150.86/2157.73 c INPROCESSING
2150.86/2157.73 c GARBAGE COLLECT
2150.86/2157.73 c rational objective 0
2229.63/2236.79 c #Conflicts: 1492000 | #Constraints: 36199
2229.63/2236.79 c #Conflicts: 1493000 | #Constraints: 37691
2229.63/2236.79 c #Conflicts: 1494000 | #Constraints: 39159
2229.63/2236.79 c #Conflicts: 1495000 | #Constraints: 40641
2229.63/2236.79 c #Conflicts: 1496000 | #Constraints: 42117
2229.63/2236.79 c #Conflicts: 1497000 | #Constraints: 43592
2229.63/2236.79 c #Conflicts: 1498000 | #Constraints: 45074
2229.63/2236.79 c #Conflicts: 1499000 | #Constraints: 46549
2229.63/2236.79 c #Conflicts: 1500000 | #Constraints: 48027
2229.63/2236.79 c #Conflicts: 1501000 | #Constraints: 49511
2229.63/2236.79 c #Conflicts: 1502000 | #Constraints: 51003
2229.63/2236.79 c #Conflicts: 1503000 | #Constraints: 52485
2229.63/2236.79 c #Conflicts: 1504000 | #Constraints: 53978
2229.63/2236.79 c #Conflicts: 1505000 | #Constraints: 55454
2229.63/2236.79 c #Conflicts: 1506000 | #Constraints: 56938
2229.63/2236.79 c #Conflicts: 1507000 | #Constraints: 58348
2229.63/2236.79 c #Conflicts: 1508000 | #Constraints: 59843
2229.63/2236.79 c #Conflicts: 1509000 | #Constraints: 61313
2229.63/2236.79 c #Conflicts: 1510000 | #Constraints: 62789
2229.63/2236.79 c #Conflicts: 1511000 | #Constraints: 64269
2229.63/2236.79 c #Conflicts: 1512000 | #Constraints: 65747
2229.63/2236.79 c #Conflicts: 1513000 | #Constraints: 67222
2229.63/2236.79 c #Conflicts: 1514000 | #Constraints: 68701
2229.63/2236.79 c #Conflicts: 1515000 | #Constraints: 70177
2229.63/2236.79 c #Conflicts: 1516000 | #Constraints: 71639
2229.63/2236.79 c INPROCESSING
2229.63/2236.79 c GARBAGE COLLECT
2229.63/2236.79 c rational objective 0
2288.07/2295.35 c #Conflicts: 1517000 | #Constraints: 36931
2288.07/2295.35 c #Conflicts: 1518000 | #Constraints: 38104
2288.07/2295.35 c #Conflicts: 1519000 | #Constraints: 39534
2288.07/2295.35 c #Conflicts: 1520000 | #Constraints: 40798
2288.07/2295.35 c #Conflicts: 1521000 | #Constraints: 41798
2288.07/2295.35 c #Conflicts: 1522000 | #Constraints: 42798
2288.07/2295.35 c #Conflicts: 1523000 | #Constraints: 43798
2288.07/2295.35 c #Conflicts: 1524000 | #Constraints: 44798
2288.07/2295.35 c #Conflicts: 1525000 | #Constraints: 45798
2288.07/2295.35 c #Conflicts: 1526000 | #Constraints: 46798
2288.07/2295.35 c #Conflicts: 1527000 | #Constraints: 48193
2288.07/2295.35 c #Conflicts: 1528000 | #Constraints: 49663
2288.07/2295.35 c #Conflicts: 1529000 | #Constraints: 50663
2288.07/2295.35 c #Conflicts: 1530000 | #Constraints: 51663
2288.07/2295.35 c #Conflicts: 1531000 | #Constraints: 52663
2288.07/2295.35 c #Conflicts: 1532000 | #Constraints: 53663
2288.07/2295.35 c #Conflicts: 1533000 | #Constraints: 55007
2288.07/2295.35 c #Conflicts: 1534000 | #Constraints: 56278
2288.07/2295.35 c #Conflicts: 1535000 | #Constraints: 57473
2288.07/2295.35 c #Conflicts: 1536000 | #Constraints: 58473
2288.07/2295.35 c #Conflicts: 1537000 | #Constraints: 59473
2288.07/2295.35 c #Conflicts: 1538000 | #Constraints: 60473
2288.07/2295.35 c #Conflicts: 1539000 | #Constraints: 61803
2288.07/2295.35 c #Conflicts: 1540000 | #Constraints: 62923
2288.07/2295.35 c #Conflicts: 1541000 | #Constraints: 63923
2288.07/2295.35 c INPROCESSING
2288.07/2295.35 c GARBAGE COLLECT
2288.07/2295.35 c rational objective 0
2345.90/2353.30 c #Conflicts: 1542000 | #Constraints: 33409
2345.90/2353.30 c #Conflicts: 1543000 | #Constraints: 34487
2345.90/2353.30 c #Conflicts: 1544000 | #Constraints: 35764
2345.90/2353.30 c #Conflicts: 1545000 | #Constraints: 37231
2345.90/2353.30 c #Conflicts: 1546000 | #Constraints: 38456
2345.90/2353.30 c #Conflicts: 1547000 | #Constraints: 39648
2345.90/2353.30 c #Conflicts: 1548000 | #Constraints: 40648
2345.90/2353.30 c #Conflicts: 1549000 | #Constraints: 41648
2345.90/2353.30 c #Conflicts: 1550000 | #Constraints: 43028
2345.90/2353.30 c #Conflicts: 1551000 | #Constraints: 44509
2345.90/2353.30 c #Conflicts: 1552000 | #Constraints: 45870
2345.90/2353.30 c #Conflicts: 1553000 | #Constraints: 46895
2345.90/2353.30 c #Conflicts: 1554000 | #Constraints: 47926
2345.90/2353.30 c #Conflicts: 1555000 | #Constraints: 49382
2345.90/2353.30 c #Conflicts: 1556000 | #Constraints: 50581
2345.90/2353.30 c #Conflicts: 1557000 | #Constraints: 51581
2345.90/2353.30 c #Conflicts: 1558000 | #Constraints: 52581
2345.90/2353.30 c #Conflicts: 1559000 | #Constraints: 53581
2345.90/2353.30 c #Conflicts: 1560000 | #Constraints: 54581
2345.90/2353.30 c #Conflicts: 1561000 | #Constraints: 56009
2345.90/2353.30 c #Conflicts: 1562000 | #Constraints: 57076
2345.90/2353.30 c #Conflicts: 1563000 | #Constraints: 58090
2345.90/2353.30 c #Conflicts: 1564000 | #Constraints: 59099
2345.90/2353.30 c #Conflicts: 1565000 | #Constraints: 60099
2345.90/2353.30 c #Conflicts: 1566000 | #Constraints: 61099
2345.90/2353.30 c INPROCESSING
2345.90/2353.30 c GARBAGE COLLECT
2345.90/2353.30 c rational objective 0
2399.94/2407.56 c #Conflicts: 1567000 | #Constraints: 31740
2399.94/2407.56 c #Conflicts: 1568000 | #Constraints: 33101
2399.94/2407.56 c #Conflicts: 1569000 | #Constraints: 34391
2399.94/2407.56 c #Conflicts: 1570000 | #Constraints: 35570
2399.94/2407.56 c #Conflicts: 1571000 | #Constraints: 36780
2399.94/2407.56 c #Conflicts: 1572000 | #Constraints: 37982
2399.94/2407.56 c #Conflicts: 1573000 | #Constraints: 39072
2399.94/2407.56 c #Conflicts: 1574000 | #Constraints: 40072
2399.94/2407.56 c #Conflicts: 1575000 | #Constraints: 41072
2399.94/2407.56 c #Conflicts: 1576000 | #Constraints: 42202
2399.94/2407.56 c #Conflicts: 1577000 | #Constraints: 43474
2399.94/2407.56 c #Conflicts: 1578000 | #Constraints: 44544
2399.94/2407.56 c #Conflicts: 1579000 | #Constraints: 45639
2399.94/2407.56 c #Conflicts: 1580000 | #Constraints: 46639
2399.94/2407.56 c #Conflicts: 1581000 | #Constraints: 47639
2399.94/2407.56 c #Conflicts: 1582000 | #Constraints: 48639
2399.94/2407.56 c #Conflicts: 1583000 | #Constraints: 49704
2399.94/2407.56 c #Conflicts: 1584000 | #Constraints: 51010
2399.94/2407.56 c #Conflicts: 1585000 | #Constraints: 52424
2399.94/2407.56 c #Conflicts: 1586000 | #Constraints: 53424
2399.94/2407.56 c #Conflicts: 1587000 | #Constraints: 54432
2399.94/2407.56 c #Conflicts: 1588000 | #Constraints: 55779
2399.94/2407.56 c #Conflicts: 1589000 | #Constraints: 57277
2399.94/2407.56 c #Conflicts: 1590000 | #Constraints: 58468
2399.94/2407.56 c #Conflicts: 1591000 | #Constraints: 59468
2399.94/2407.56 c INPROCESSING
2399.94/2407.56 c GARBAGE COLLECT
2399.94/2407.56 c rational objective 0
2468.53/2476.34 c #Conflicts: 1592000 | #Constraints: 31035
2468.53/2476.34 c #Conflicts: 1593000 | #Constraints: 32524
2468.53/2476.34 c #Conflicts: 1594000 | #Constraints: 34011
2468.53/2476.34 c #Conflicts: 1595000 | #Constraints: 35492
2468.53/2476.34 c #Conflicts: 1596000 | #Constraints: 36982
2468.53/2476.34 c #Conflicts: 1597000 | #Constraints: 38475
2468.53/2476.34 c #Conflicts: 1598000 | #Constraints: 39961
2468.53/2476.34 c #Conflicts: 1599000 | #Constraints: 41425
2468.53/2476.34 c #Conflicts: 1600000 | #Constraints: 42913
2468.53/2476.34 c #Conflicts: 1601000 | #Constraints: 44419
2468.53/2476.34 c #Conflicts: 1602000 | #Constraints: 45914
2468.53/2476.34 c #Conflicts: 1603000 | #Constraints: 47402
2468.53/2476.34 c #Conflicts: 1604000 | #Constraints: 48887
2468.53/2476.34 c #Conflicts: 1605000 | #Constraints: 50375
2468.53/2476.34 c #Conflicts: 1606000 | #Constraints: 51872
2468.53/2476.34 c #Conflicts: 1607000 | #Constraints: 53351
2468.53/2476.34 c #Conflicts: 1608000 | #Constraints: 54845
2468.53/2476.34 c #Conflicts: 1609000 | #Constraints: 56333
2468.53/2476.34 c #Conflicts: 1610000 | #Constraints: 57814
2468.53/2476.34 c #Conflicts: 1611000 | #Constraints: 59293
2468.53/2476.34 c #Conflicts: 1612000 | #Constraints: 60767
2468.53/2476.34 c #Conflicts: 1613000 | #Constraints: 62255
2468.53/2476.34 c #Conflicts: 1614000 | #Constraints: 63750
2468.53/2476.34 c #Conflicts: 1615000 | #Constraints: 65234
2468.53/2476.34 c #Conflicts: 1616000 | #Constraints: 66715
2468.53/2476.34 c INPROCESSING
2468.53/2476.34 c GARBAGE COLLECT
2468.53/2476.34 c rational objective 0
2551.45/2559.58 c #Conflicts: 1617000 | #Constraints: 34341
2551.45/2559.58 c #Conflicts: 1618000 | #Constraints: 35811
2551.45/2559.58 c #Conflicts: 1619000 | #Constraints: 37154
2551.45/2559.58 c #Conflicts: 1620000 | #Constraints: 38640
2551.45/2559.58 c #Conflicts: 1621000 | #Constraints: 40083
2551.45/2559.58 c #Conflicts: 1622000 | #Constraints: 41554
2551.45/2559.58 c #Conflicts: 1623000 | #Constraints: 43037
2551.45/2559.58 c #Conflicts: 1624000 | #Constraints: 44523
2551.45/2559.58 c #Conflicts: 1625000 | #Constraints: 46024
2551.45/2559.58 c #Conflicts: 1626000 | #Constraints: 47523
2551.45/2559.58 c #Conflicts: 1627000 | #Constraints: 48988
2551.45/2559.58 c #Conflicts: 1628000 | #Constraints: 50475
2551.45/2559.58 c #Conflicts: 1629000 | #Constraints: 51960
2551.45/2559.58 c #Conflicts: 1630000 | #Constraints: 53448
2551.45/2559.58 c #Conflicts: 1631000 | #Constraints: 54936
2551.45/2559.58 c #Conflicts: 1632000 | #Constraints: 56432
2551.45/2559.58 c #Conflicts: 1633000 | #Constraints: 57922
2551.45/2559.58 c #Conflicts: 1634000 | #Constraints: 59412
2551.45/2559.58 c #Conflicts: 1635000 | #Constraints: 60886
2551.45/2559.58 c #Conflicts: 1636000 | #Constraints: 62385
2551.45/2559.58 c #Conflicts: 1637000 | #Constraints: 63888
2551.45/2559.58 c #Conflicts: 1638000 | #Constraints: 65374
2551.45/2559.58 c #Conflicts: 1639000 | #Constraints: 66855
2551.45/2559.58 c #Conflicts: 1640000 | #Constraints: 68341
2551.45/2559.58 c #Conflicts: 1641000 | #Constraints: 69822
2551.45/2559.58 c #Conflicts: 1642000 | #Constraints: 71319
2551.45/2559.58 c INPROCESSING
2551.45/2559.58 c GARBAGE COLLECT
2551.45/2559.58 c rational objective 0
2628.70/2637.01 c #Conflicts: 1643000 | #Constraints: 37005
2628.70/2637.01 c #Conflicts: 1644000 | #Constraints: 38492
2628.70/2637.01 c #Conflicts: 1645000 | #Constraints: 39970
2628.70/2637.01 c #Conflicts: 1646000 | #Constraints: 41460
2628.70/2637.01 c #Conflicts: 1647000 | #Constraints: 42959
2628.70/2637.01 c #Conflicts: 1648000 | #Constraints: 44221
2628.70/2637.01 c #Conflicts: 1649000 | #Constraints: 45221
2628.70/2637.01 c #Conflicts: 1650000 | #Constraints: 46523
2628.70/2637.01 c #Conflicts: 1651000 | #Constraints: 47525
2628.70/2637.01 c #Conflicts: 1652000 | #Constraints: 48525
2628.70/2637.01 c #Conflicts: 1653000 | #Constraints: 49525
2628.70/2637.01 c #Conflicts: 1654000 | #Constraints: 50960
2628.70/2637.01 c #Conflicts: 1655000 | #Constraints: 52457
2628.70/2637.01 c #Conflicts: 1656000 | #Constraints: 53931
2628.70/2637.01 c #Conflicts: 1657000 | #Constraints: 55438
2628.70/2637.01 c #Conflicts: 1658000 | #Constraints: 56919
2628.70/2637.01 c #Conflicts: 1659000 | #Constraints: 58403
2628.70/2637.01 c #Conflicts: 1660000 | #Constraints: 59881
2628.70/2637.01 c #Conflicts: 1661000 | #Constraints: 61298
2628.70/2637.01 c #Conflicts: 1662000 | #Constraints: 62502
2628.70/2637.01 c #Conflicts: 1663000 | #Constraints: 63988
2628.70/2637.01 c #Conflicts: 1664000 | #Constraints: 65262
2628.70/2637.01 c #Conflicts: 1665000 | #Constraints: 66262
2628.70/2637.01 c #Conflicts: 1666000 | #Constraints: 67714
2628.70/2637.01 c #Conflicts: 1667000 | #Constraints: 69212
2628.70/2637.01 c #Conflicts: 1668000 | #Constraints: 70703
2628.70/2637.01 c INPROCESSING
2628.70/2637.01 c GARBAGE COLLECT
2628.70/2637.01 c rational objective 0
2708.08/2716.76 c #Conflicts: 1669000 | #Constraints: 36798
2708.08/2716.76 c #Conflicts: 1670000 | #Constraints: 38288
2708.08/2716.76 c #Conflicts: 1671000 | #Constraints: 39786
2708.08/2716.76 c #Conflicts: 1672000 | #Constraints: 41290
2708.08/2716.76 c #Conflicts: 1673000 | #Constraints: 42777
2708.08/2716.76 c #Conflicts: 1674000 | #Constraints: 44167
2708.08/2716.76 c #Conflicts: 1675000 | #Constraints: 45167
2708.08/2716.76 c #Conflicts: 1676000 | #Constraints: 46167
2708.08/2716.76 c #Conflicts: 1677000 | #Constraints: 47167
2708.08/2716.76 c #Conflicts: 1678000 | #Constraints: 48506
2708.08/2716.76 c #Conflicts: 1679000 | #Constraints: 49989
2708.08/2716.76 c #Conflicts: 1680000 | #Constraints: 51366
2708.08/2716.76 c #Conflicts: 1681000 | #Constraints: 52824
2708.08/2716.76 c #Conflicts: 1682000 | #Constraints: 54289
2708.08/2716.76 c #Conflicts: 1683000 | #Constraints: 55762
2708.08/2716.76 c #Conflicts: 1684000 | #Constraints: 57233
2708.08/2716.76 c #Conflicts: 1685000 | #Constraints: 58707
2708.08/2716.76 c #Conflicts: 1686000 | #Constraints: 60189
2708.08/2716.76 c #Conflicts: 1687000 | #Constraints: 61680
2708.08/2716.76 c #Conflicts: 1688000 | #Constraints: 63145
2708.08/2716.76 c #Conflicts: 1689000 | #Constraints: 64145
2708.08/2716.76 c #Conflicts: 1690000 | #Constraints: 65145
2708.08/2716.76 c #Conflicts: 1691000 | #Constraints: 66580
2708.08/2716.76 c #Conflicts: 1692000 | #Constraints: 68056
2708.08/2716.76 c #Conflicts: 1693000 | #Constraints: 69522
2708.08/2716.76 c #Conflicts: 1694000 | #Constraints: 70997
2708.08/2716.76 c INPROCESSING
2708.08/2716.76 c GARBAGE COLLECT
2708.08/2716.76 c rational objective 0
2765.48/2774.32 c #Conflicts: 1695000 | #Constraints: 36655
2765.48/2774.32 c #Conflicts: 1696000 | #Constraints: 37655
2765.48/2774.32 c #Conflicts: 1697000 | #Constraints: 38758
2765.48/2774.32 c #Conflicts: 1698000 | #Constraints: 39818
2765.48/2774.32 c #Conflicts: 1699000 | #Constraints: 40818
2765.48/2774.32 c #Conflicts: 1700000 | #Constraints: 41820
2765.48/2774.32 c #Conflicts: 1701000 | #Constraints: 42820
2765.48/2774.32 c #Conflicts: 1702000 | #Constraints: 43820
2765.48/2774.32 c #Conflicts: 1703000 | #Constraints: 44820
2765.48/2774.32 c #Conflicts: 1704000 | #Constraints: 45868
2765.48/2774.32 c #Conflicts: 1705000 | #Constraints: 46926
2765.48/2774.32 c #Conflicts: 1706000 | #Constraints: 47955
2765.48/2774.32 c #Conflicts: 1707000 | #Constraints: 48955
2765.48/2774.32 c #Conflicts: 1708000 | #Constraints: 49969
2765.48/2774.32 c #Conflicts: 1709000 | #Constraints: 50984
2765.48/2774.32 c #Conflicts: 1710000 | #Constraints: 52009
2765.48/2774.32 c #Conflicts: 1711000 | #Constraints: 53009
2765.48/2774.32 c #Conflicts: 1712000 | #Constraints: 54009
2765.48/2774.32 c #Conflicts: 1713000 | #Constraints: 55129
2765.48/2774.32 c #Conflicts: 1714000 | #Constraints: 56333
2765.48/2774.32 c #Conflicts: 1715000 | #Constraints: 57357
2765.48/2774.32 c #Conflicts: 1716000 | #Constraints: 58431
2765.48/2774.32 c #Conflicts: 1717000 | #Constraints: 59550
2765.48/2774.32 c #Conflicts: 1718000 | #Constraints: 60558
2765.48/2774.32 c #Conflicts: 1719000 | #Constraints: 61629
2765.48/2774.32 c #Conflicts: 1720000 | #Constraints: 62629
2765.48/2774.32 c INPROCESSING
2765.48/2774.32 c GARBAGE COLLECT
2765.48/2774.32 c rational objective 0
2822.70/2831.74 c #Conflicts: 1721000 | #Constraints: 32614
2822.70/2831.74 c #Conflicts: 1722000 | #Constraints: 33955
2822.70/2831.74 c #Conflicts: 1723000 | #Constraints: 35326
2822.70/2831.74 c #Conflicts: 1724000 | #Constraints: 36811
2822.70/2831.74 c #Conflicts: 1725000 | #Constraints: 38306
2822.70/2831.74 c #Conflicts: 1726000 | #Constraints: 39794
2822.70/2831.74 c #Conflicts: 1727000 | #Constraints: 41278
2822.70/2831.74 c #Conflicts: 1728000 | #Constraints: 42784
2822.70/2831.74 c #Conflicts: 1729000 | #Constraints: 43984
2822.70/2831.74 c #Conflicts: 1730000 | #Constraints: 45279
2822.70/2831.74 c #Conflicts: 1731000 | #Constraints: 46769
2822.70/2831.74 c #Conflicts: 1732000 | #Constraints: 48248
2822.70/2831.74 c #Conflicts: 1733000 | #Constraints: 49730
2822.70/2831.74 c #Conflicts: 1734000 | #Constraints: 51218
2822.70/2831.74 c #Conflicts: 1735000 | #Constraints: 52698
2822.70/2831.74 c #Conflicts: 1736000 | #Constraints: 54185
2822.70/2831.74 c #Conflicts: 1737000 | #Constraints: 55660
2822.70/2831.74 c #Conflicts: 1738000 | #Constraints: 57146
2822.70/2831.74 c #Conflicts: 1739000 | #Constraints: 58634
2822.70/2831.74 c #Conflicts: 1740000 | #Constraints: 60121
2822.70/2831.74 c #Conflicts: 1741000 | #Constraints: 61587
2822.70/2831.74 c #Conflicts: 1742000 | #Constraints: 63079
2822.70/2831.74 c #Conflicts: 1743000 | #Constraints: 64563
2822.70/2831.74 c #Conflicts: 1744000 | #Constraints: 66056
2822.70/2831.74 c #Conflicts: 1745000 | #Constraints: 67541
2822.70/2831.74 c #Conflicts: 1746000 | #Constraints: 69005
2822.70/2831.74 c INPROCESSING
2822.70/2831.74 c GARBAGE COLLECT
2822.70/2831.74 c rational objective 0
2880.39/2889.66 c #Conflicts: 1747000 | #Constraints: 35554
2880.39/2889.66 c #Conflicts: 1748000 | #Constraints: 37049
2880.39/2889.66 c #Conflicts: 1749000 | #Constraints: 38528
2880.39/2889.66 c #Conflicts: 1750000 | #Constraints: 40004
2880.39/2889.66 c #Conflicts: 1751000 | #Constraints: 41313
2880.39/2889.66 c #Conflicts: 1752000 | #Constraints: 42801
2880.39/2889.66 c #Conflicts: 1753000 | #Constraints: 44116
2880.39/2889.66 c #Conflicts: 1754000 | #Constraints: 45116
2880.39/2889.66 c #Conflicts: 1755000 | #Constraints: 46116
2880.39/2889.66 c #Conflicts: 1756000 | #Constraints: 47116
2880.39/2889.66 c #Conflicts: 1757000 | #Constraints: 48116
2880.39/2889.66 c #Conflicts: 1758000 | #Constraints: 49116
2880.39/2889.66 c #Conflicts: 1759000 | #Constraints: 50116
2880.39/2889.66 c #Conflicts: 1760000 | #Constraints: 51116
2880.39/2889.66 c #Conflicts: 1761000 | #Constraints: 52116
2880.39/2889.66 c #Conflicts: 1762000 | #Constraints: 53116
2880.39/2889.66 c #Conflicts: 1763000 | #Constraints: 54116
2880.39/2889.66 c #Conflicts: 1764000 | #Constraints: 55116
2880.39/2889.66 c #Conflicts: 1765000 | #Constraints: 56116
2880.39/2889.66 c #Conflicts: 1766000 | #Constraints: 57116
2880.39/2889.66 c #Conflicts: 1767000 | #Constraints: 58116
2880.39/2889.66 c #Conflicts: 1768000 | #Constraints: 59116
2880.39/2889.66 c #Conflicts: 1769000 | #Constraints: 60578
2880.39/2889.66 c #Conflicts: 1770000 | #Constraints: 62065
2880.39/2889.66 c #Conflicts: 1771000 | #Constraints: 63546
2880.39/2889.66 c #Conflicts: 1772000 | #Constraints: 65040
2880.39/2889.66 c #Conflicts: 1773000 | #Constraints: 66295
2880.39/2889.66 c INPROCESSING
2880.39/2889.66 c GARBAGE COLLECT
2880.39/2889.66 c rational objective 0
2959.54/2969.05 c #Conflicts: 1774000 | #Constraints: 34429
2959.54/2969.05 c #Conflicts: 1775000 | #Constraints: 35888
2959.54/2969.05 c #Conflicts: 1776000 | #Constraints: 37370
2959.54/2969.05 c #Conflicts: 1777000 | #Constraints: 38857
2959.54/2969.05 c #Conflicts: 1778000 | #Constraints: 40359
2959.54/2969.05 c #Conflicts: 1779000 | #Constraints: 41852
2959.54/2969.05 c #Conflicts: 1780000 | #Constraints: 43348
2959.54/2969.05 c #Conflicts: 1781000 | #Constraints: 44837
2959.54/2969.05 c #Conflicts: 1782000 | #Constraints: 46337
2959.54/2969.05 c #Conflicts: 1783000 | #Constraints: 47813
2959.54/2969.05 c #Conflicts: 1784000 | #Constraints: 49281
2959.54/2969.05 c #Conflicts: 1785000 | #Constraints: 50637
2959.54/2969.05 c #Conflicts: 1786000 | #Constraints: 51874
2959.54/2969.05 c #Conflicts: 1787000 | #Constraints: 53364
2959.54/2969.05 c #Conflicts: 1788000 | #Constraints: 54849
2959.54/2969.05 c #Conflicts: 1789000 | #Constraints: 56326
2959.54/2969.05 c #Conflicts: 1790000 | #Constraints: 57812
2959.54/2969.05 c #Conflicts: 1791000 | #Constraints: 59302
2959.54/2969.05 c #Conflicts: 1792000 | #Constraints: 60798
2959.54/2969.05 c #Conflicts: 1793000 | #Constraints: 62274
2959.54/2969.05 c #Conflicts: 1794000 | #Constraints: 63770
2959.54/2969.05 c #Conflicts: 1795000 | #Constraints: 65267
2959.54/2969.05 c #Conflicts: 1796000 | #Constraints: 66746
2959.54/2969.05 c #Conflicts: 1797000 | #Constraints: 68238
2959.54/2969.05 c #Conflicts: 1798000 | #Constraints: 69736
2959.54/2969.05 c #Conflicts: 1799000 | #Constraints: 71222
2959.54/2969.05 c #Conflicts: 1800000 | #Constraints: 72699
2959.54/2969.05 c INPROCESSING
2959.54/2969.05 c GARBAGE COLLECT
2959.54/2969.05 c rational objective 0
3043.74/3053.57 c #Conflicts: 1801000 | #Constraints: 37827
3043.74/3053.57 c #Conflicts: 1802000 | #Constraints: 39306
3043.74/3053.57 c #Conflicts: 1803000 | #Constraints: 40805
3043.74/3053.57 c #Conflicts: 1804000 | #Constraints: 42297
3043.74/3053.57 c #Conflicts: 1805000 | #Constraints: 43800
3043.74/3053.57 c #Conflicts: 1806000 | #Constraints: 45281
3043.74/3053.57 c #Conflicts: 1807000 | #Constraints: 46768
3043.74/3053.57 c #Conflicts: 1808000 | #Constraints: 48238
3043.74/3053.57 c #Conflicts: 1809000 | #Constraints: 49714
3043.74/3053.57 c #Conflicts: 1810000 | #Constraints: 51193
3043.74/3053.57 c #Conflicts: 1811000 | #Constraints: 52688
3043.74/3053.57 c #Conflicts: 1812000 | #Constraints: 54174
3043.74/3053.57 c #Conflicts: 1813000 | #Constraints: 55650
3043.74/3053.57 c #Conflicts: 1814000 | #Constraints: 57136
3043.74/3053.57 c #Conflicts: 1815000 | #Constraints: 58625
3043.74/3053.57 c #Conflicts: 1816000 | #Constraints: 60113
3043.74/3053.57 c #Conflicts: 1817000 | #Constraints: 61586
3043.74/3053.57 c #Conflicts: 1818000 | #Constraints: 63096
3043.74/3053.57 c #Conflicts: 1819000 | #Constraints: 64576
3043.74/3053.57 c #Conflicts: 1820000 | #Constraints: 66051
3043.74/3053.57 c #Conflicts: 1821000 | #Constraints: 67545
3043.74/3053.57 c #Conflicts: 1822000 | #Constraints: 69030
3043.74/3053.57 c #Conflicts: 1823000 | #Constraints: 70550
3043.74/3053.57 c #Conflicts: 1824000 | #Constraints: 72033
3043.74/3053.57 c #Conflicts: 1825000 | #Constraints: 73533
3043.74/3053.57 c #Conflicts: 1826000 | #Constraints: 75030
3043.74/3053.57 c #Conflicts: 1827000 | #Constraints: 76510
3043.74/3053.57 c INPROCESSING
3043.74/3053.57 c GARBAGE COLLECT
3043.74/3053.57 c rational objective 0
3137.31/3147.40 c #Conflicts: 1828000 | #Constraints: 39481
3137.31/3147.40 c #Conflicts: 1829000 | #Constraints: 40859
3137.31/3147.40 c #Conflicts: 1830000 | #Constraints: 42332
3137.31/3147.40 c #Conflicts: 1831000 | #Constraints: 43535
3137.31/3147.40 c #Conflicts: 1832000 | #Constraints: 45046
3137.31/3147.40 c #Conflicts: 1833000 | #Constraints: 46438
3137.31/3147.40 c #Conflicts: 1834000 | #Constraints: 47573
3137.31/3147.40 c #Conflicts: 1835000 | #Constraints: 49086
3137.31/3147.40 c #Conflicts: 1836000 | #Constraints: 50572
3137.31/3147.40 c #Conflicts: 1837000 | #Constraints: 52057
3137.31/3147.40 c #Conflicts: 1838000 | #Constraints: 53566
3137.31/3147.40 c #Conflicts: 1839000 | #Constraints: 55069
3137.31/3147.40 c #Conflicts: 1840000 | #Constraints: 56551
3137.31/3147.40 c #Conflicts: 1841000 | #Constraints: 58038
3137.31/3147.40 c #Conflicts: 1842000 | #Constraints: 59529
3137.31/3147.40 c #Conflicts: 1843000 | #Constraints: 61024
3137.31/3147.40 c #Conflicts: 1844000 | #Constraints: 62500
3137.31/3147.40 c #Conflicts: 1845000 | #Constraints: 63985
3137.31/3147.40 c #Conflicts: 1846000 | #Constraints: 65495
3137.31/3147.40 c #Conflicts: 1847000 | #Constraints: 66977
3137.31/3147.41 c #Conflicts: 1848000 | #Constraints: 68470
3137.31/3147.41 c #Conflicts: 1849000 | #Constraints: 69964
3137.31/3147.41 c #Conflicts: 1850000 | #Constraints: 71453
3137.31/3147.41 c #Conflicts: 1851000 | #Constraints: 72840
3137.31/3147.41 c #Conflicts: 1852000 | #Constraints: 74176
3137.31/3147.41 c #Conflicts: 1853000 | #Constraints: 75651
3137.31/3147.41 c #Conflicts: 1854000 | #Constraints: 77136
3137.31/3147.41 c INPROCESSING
3137.31/3147.41 c GARBAGE COLLECT
3137.31/3147.41 c rational objective 0
3221.14/3231.50 c #Conflicts: 1855000 | #Constraints: 39719
3221.14/3231.50 c #Conflicts: 1856000 | #Constraints: 41123
3221.14/3231.50 c #Conflicts: 1857000 | #Constraints: 42599
3221.14/3231.50 c #Conflicts: 1858000 | #Constraints: 44041
3221.14/3231.50 c #Conflicts: 1859000 | #Constraints: 45041
3221.14/3231.50 c #Conflicts: 1860000 | #Constraints: 46301
3221.14/3231.50 c #Conflicts: 1861000 | #Constraints: 47472
3221.14/3231.50 c #Conflicts: 1862000 | #Constraints: 48611
3221.14/3231.50 c #Conflicts: 1863000 | #Constraints: 50091
3221.14/3231.50 c #Conflicts: 1864000 | #Constraints: 51576
3221.14/3231.50 c #Conflicts: 1865000 | #Constraints: 52971
3221.14/3231.50 c #Conflicts: 1866000 | #Constraints: 54084
3221.14/3231.50 c #Conflicts: 1867000 | #Constraints: 55248
3221.14/3231.50 c #Conflicts: 1868000 | #Constraints: 56429
3221.14/3231.50 c #Conflicts: 1869000 | #Constraints: 57858
3221.14/3231.50 c #Conflicts: 1870000 | #Constraints: 59092
3221.14/3231.50 c #Conflicts: 1871000 | #Constraints: 60509
3221.14/3231.50 c #Conflicts: 1872000 | #Constraints: 61888
3221.14/3231.50 c #Conflicts: 1873000 | #Constraints: 62888
3221.14/3231.50 c #Conflicts: 1874000 | #Constraints: 63888
3221.14/3231.50 c #Conflicts: 1875000 | #Constraints: 65069
3221.14/3231.50 c #Conflicts: 1876000 | #Constraints: 66298
3221.14/3231.50 c #Conflicts: 1877000 | #Constraints: 67298
3221.14/3231.50 c #Conflicts: 1878000 | #Constraints: 68298
3221.14/3231.50 c #Conflicts: 1879000 | #Constraints: 69298
3221.14/3231.50 c #Conflicts: 1880000 | #Constraints: 70464
3221.14/3231.50 c #Conflicts: 1881000 | #Constraints: 71490
3221.14/3231.50 c INPROCESSING
3221.14/3231.50 c GARBAGE COLLECT
3221.14/3231.50 c rational objective 0
3316.00/3326.77 c #Conflicts: 1882000 | #Constraints: 36605
3316.00/3326.77 c #Conflicts: 1883000 | #Constraints: 38033
3316.00/3326.77 c #Conflicts: 1884000 | #Constraints: 39525
3316.00/3326.77 c #Conflicts: 1885000 | #Constraints: 41016
3316.00/3326.77 c #Conflicts: 1886000 | #Constraints: 42508
3316.00/3326.77 c #Conflicts: 1887000 | #Constraints: 43930
3316.00/3326.77 c #Conflicts: 1888000 | #Constraints: 44990
3316.00/3326.77 c #Conflicts: 1889000 | #Constraints: 46471
3316.00/3326.77 c #Conflicts: 1890000 | #Constraints: 47952
3316.00/3326.77 c #Conflicts: 1891000 | #Constraints: 49438
3316.00/3326.77 c #Conflicts: 1892000 | #Constraints: 50920
3316.00/3326.77 c #Conflicts: 1893000 | #Constraints: 52405
3316.00/3326.77 c #Conflicts: 1894000 | #Constraints: 53889
3316.00/3326.77 c #Conflicts: 1895000 | #Constraints: 55376
3316.00/3326.77 c #Conflicts: 1896000 | #Constraints: 56867
3316.00/3326.77 c #Conflicts: 1897000 | #Constraints: 58355
3316.00/3326.77 c #Conflicts: 1898000 | #Constraints: 59847
3316.00/3326.77 c #Conflicts: 1899000 | #Constraints: 61342
3316.00/3326.77 c #Conflicts: 1900000 | #Constraints: 62822
3316.00/3326.77 c #Conflicts: 1901000 | #Constraints: 64323
3316.00/3326.77 c #Conflicts: 1902000 | #Constraints: 65811
3316.00/3326.77 c #Conflicts: 1903000 | #Constraints: 67308
3316.00/3326.77 c #Conflicts: 1904000 | #Constraints: 68804
3316.00/3326.77 c #Conflicts: 1905000 | #Constraints: 70284
3316.00/3326.77 c #Conflicts: 1906000 | #Constraints: 71772
3316.00/3326.77 c #Conflicts: 1907000 | #Constraints: 73267
3316.00/3326.77 c #Conflicts: 1908000 | #Constraints: 74748
3316.00/3326.77 c #Conflicts: 1909000 | #Constraints: 76238
3316.00/3326.77 c INPROCESSING
3316.00/3326.77 c GARBAGE COLLECT
3316.00/3326.77 c rational objective 0
3404.69/3415.78 c #Conflicts: 1910000 | #Constraints: 39115
3404.69/3415.78 c #Conflicts: 1911000 | #Constraints: 40200
3404.69/3415.78 c #Conflicts: 1912000 | #Constraints: 41572
3404.69/3415.78 c #Conflicts: 1913000 | #Constraints: 43061
3404.69/3415.78 c #Conflicts: 1914000 | #Constraints: 44541
3404.69/3415.78 c #Conflicts: 1915000 | #Constraints: 46033
3404.69/3415.78 c #Conflicts: 1916000 | #Constraints: 47267
3404.69/3415.78 c #Conflicts: 1917000 | #Constraints: 48754
3404.69/3415.78 c #Conflicts: 1918000 | #Constraints: 50237
3404.69/3415.78 c #Conflicts: 1919000 | #Constraints: 51700
3404.69/3415.78 c #Conflicts: 1920000 | #Constraints: 53173
3404.69/3415.78 c #Conflicts: 1921000 | #Constraints: 54549
3404.69/3415.78 c #Conflicts: 1922000 | #Constraints: 55549
3404.69/3415.78 c #Conflicts: 1923000 | #Constraints: 56549
3404.69/3415.78 c #Conflicts: 1924000 | #Constraints: 57549
3404.69/3415.78 c #Conflicts: 1925000 | #Constraints: 58549
3404.69/3415.78 c #Conflicts: 1926000 | #Constraints: 59792
3404.69/3415.78 c #Conflicts: 1927000 | #Constraints: 61278
3404.69/3415.78 c #Conflicts: 1928000 | #Constraints: 62747
3404.69/3415.78 c #Conflicts: 1929000 | #Constraints: 64016
3404.69/3415.78 c #Conflicts: 1930000 | #Constraints: 65272
3404.69/3415.78 c #Conflicts: 1931000 | #Constraints: 66763
3404.69/3415.78 c #Conflicts: 1932000 | #Constraints: 68246
3404.69/3415.78 c #Conflicts: 1933000 | #Constraints: 69442
3404.69/3415.78 c #Conflicts: 1934000 | #Constraints: 70826
3404.69/3415.78 c #Conflicts: 1935000 | #Constraints: 72319
3404.69/3415.78 c #Conflicts: 1936000 | #Constraints: 73788
3404.69/3415.78 c #Conflicts: 1937000 | #Constraints: 75267
3404.69/3415.78 c INPROCESSING
3404.69/3415.78 c GARBAGE COLLECT
3404.69/3415.78 c rational objective 0
3477.44/3488.76 c #Conflicts: 1938000 | #Constraints: 38900
3477.44/3488.76 c #Conflicts: 1939000 | #Constraints: 40215
3477.44/3488.76 c #Conflicts: 1940000 | #Constraints: 41258
3477.44/3488.76 c #Conflicts: 1941000 | #Constraints: 42267
3477.44/3488.76 c #Conflicts: 1942000 | #Constraints: 43267
3477.44/3488.76 c #Conflicts: 1943000 | #Constraints: 44267
3477.44/3488.76 c #Conflicts: 1944000 | #Constraints: 45267
3477.44/3488.76 c #Conflicts: 1945000 | #Constraints: 46267
3477.44/3488.76 c #Conflicts: 1946000 | #Constraints: 47267
3477.44/3488.76 c #Conflicts: 1947000 | #Constraints: 48267
3477.44/3488.76 c #Conflicts: 1948000 | #Constraints: 49267
3477.44/3488.76 c #Conflicts: 1949000 | #Constraints: 50433
3477.44/3488.76 c #Conflicts: 1950000 | #Constraints: 51433
3477.44/3488.76 c #Conflicts: 1951000 | #Constraints: 52896
3477.44/3488.76 c #Conflicts: 1952000 | #Constraints: 54384
3477.44/3488.76 c #Conflicts: 1953000 | #Constraints: 55878
3477.44/3488.76 c #Conflicts: 1954000 | #Constraints: 57353
3477.44/3488.76 c #Conflicts: 1955000 | #Constraints: 58812
3477.44/3488.76 c #Conflicts: 1956000 | #Constraints: 60280
3477.44/3488.76 c #Conflicts: 1957000 | #Constraints: 61292
3477.44/3488.76 c #Conflicts: 1958000 | #Constraints: 62778
3477.44/3488.76 c #Conflicts: 1959000 | #Constraints: 64280
3477.44/3488.76 c #Conflicts: 1960000 | #Constraints: 65454
3477.44/3488.76 c #Conflicts: 1961000 | #Constraints: 66454
3477.44/3488.76 c #Conflicts: 1962000 | #Constraints: 67465
3477.44/3488.76 c #Conflicts: 1963000 | #Constraints: 68564
3477.44/3488.76 c #Conflicts: 1964000 | #Constraints: 69564
3477.44/3488.76 c #Conflicts: 1965000 | #Constraints: 70564
3477.44/3488.76 c INPROCESSING
3477.44/3488.76 c GARBAGE COLLECT
3477.44/3488.76 c rational objective 0
3542.94/3554.48 c #Conflicts: 1966000 | #Constraints: 36581
3542.94/3554.48 c #Conflicts: 1967000 | #Constraints: 37860
3542.94/3554.48 c #Conflicts: 1968000 | #Constraints: 38977
3542.94/3554.48 c #Conflicts: 1969000 | #Constraints: 40094
3542.94/3554.48 c #Conflicts: 1970000 | #Constraints: 41242
3542.94/3554.48 c #Conflicts: 1971000 | #Constraints: 42435
3542.94/3554.48 c #Conflicts: 1972000 | #Constraints: 43525
3542.94/3554.48 c #Conflicts: 1973000 | #Constraints: 44670
3542.94/3554.48 c #Conflicts: 1974000 | #Constraints: 45808
3542.94/3554.48 c #Conflicts: 1975000 | #Constraints: 46983
3542.94/3554.48 c #Conflicts: 1976000 | #Constraints: 47983
3542.94/3554.48 c #Conflicts: 1977000 | #Constraints: 48983
3542.94/3554.48 c #Conflicts: 1978000 | #Constraints: 50009
3542.94/3554.48 c #Conflicts: 1979000 | #Constraints: 51009
3542.94/3554.48 c #Conflicts: 1980000 | #Constraints: 52009
3542.94/3554.48 c #Conflicts: 1981000 | #Constraints: 53009
3542.94/3554.48 c #Conflicts: 1982000 | #Constraints: 54095
3542.94/3554.48 c #Conflicts: 1983000 | #Constraints: 55095
3542.94/3554.48 c #Conflicts: 1984000 | #Constraints: 56246
3542.94/3554.48 c #Conflicts: 1985000 | #Constraints: 57246
3542.94/3554.48 c #Conflicts: 1986000 | #Constraints: 58246
3542.94/3554.48 c #Conflicts: 1987000 | #Constraints: 59246
3542.94/3554.48 c #Conflicts: 1988000 | #Constraints: 60246
3542.94/3554.48 c #Conflicts: 1989000 | #Constraints: 61264
3542.94/3554.48 c #Conflicts: 1990000 | #Constraints: 62264
3542.94/3554.48 c #Conflicts: 1991000 | #Constraints: 63330
3542.94/3554.48 c #Conflicts: 1992000 | #Constraints: 64330
3542.94/3554.48 c #Conflicts: 1993000 | #Constraints: 65330
3542.94/3554.48 c INPROCESSING
3542.94/3554.48 c GARBAGE COLLECT
3542.94/3554.48 c rational objective 0
3598.18/3609.93 c #Conflicts: 1994000 | #Constraints: 33745
3598.18/3609.93 c #Conflicts: 1995000 | #Constraints: 34933
3598.18/3609.93 c #Conflicts: 1996000 | #Constraints: 35934
3598.18/3609.93 c #Conflicts: 1997000 | #Constraints: 36934
3598.18/3609.93 c #Conflicts: 1998000 | #Constraints: 37934
3598.18/3609.93 c #Conflicts: 1999000 | #Constraints: 39076
3598.18/3609.93 c #Conflicts: 2000000 | #Constraints: 40347
3598.18/3609.93 c #Conflicts: 2001000 | #Constraints: 41347
3598.18/3609.93 c #Conflicts: 2002000 | #Constraints: 42347
3598.18/3609.93 c #Conflicts: 2003000 | #Constraints: 43347
3598.18/3609.93 c #Conflicts: 2004000 | #Constraints: 44347
3598.18/3609.93 c #Conflicts: 2005000 | #Constraints: 45347
3598.18/3609.93 c #Conflicts: 2006000 | #Constraints: 46347
3598.18/3609.93 c #Conflicts: 2007000 | #Constraints: 47347
3598.18/3609.93 c #Conflicts: 2008000 | #Constraints: 48347
3598.18/3609.93 c #Conflicts: 2009000 | #Constraints: 49355
3598.18/3609.93 c #Conflicts: 2010000 | #Constraints: 50355
3598.18/3609.93 c #Conflicts: 2011000 | #Constraints: 51355
3598.18/3609.93 c #Conflicts: 2012000 | #Constraints: 52355
3598.18/3609.93 c #Conflicts: 2013000 | #Constraints: 53355
3598.18/3609.93 c #Conflicts: 2014000 | #Constraints: 54355
3598.18/3609.93 c #Conflicts: 2015000 | #Constraints: 55355
3598.18/3609.93 c #Conflicts: 2016000 | #Constraints: 56355
3598.18/3609.93 c #Conflicts: 2017000 | #Constraints: 57355
3598.18/3609.93 c #Conflicts: 2018000 | #Constraints: 58541
3598.18/3609.93 c #Conflicts: 2019000 | #Constraints: 59541
3598.18/3609.93 c #Conflicts: 2020000 | #Constraints: 60636
3598.18/3609.93 c #Conflicts: 2021000 | #Constraints: 61647
3598.18/3609.93 c INPROCESSING
3598.18/3609.93 c GARBAGE COLLECT
3598.18/3609.93 c rational objective 0
3600.07/3611.80 c #Conflicts: 2022000 | #Constraints: 31733
3600.07/3611.80 c cpu time 3569.86 s
3600.07/3611.80 c deterministic time 372888338140 3.73e+11
3600.07/3611.80 c optimization time 1.77409 s
3600.07/3611.80 c total solve time 3568.08 s
3600.07/3611.80 c core-guided solve time 0 s
3600.07/3611.80 c propagation time 2936.43 s
3600.07/3611.80 c conflict analysis time 568.036 s
3600.07/3611.80 c propagations 27813235
3600.07/3611.80 c resolve steps 12568209
3600.07/3611.80 c decisions 2583769
3600.07/3611.80 c conflicts 2022739
3600.07/3611.80 c restarts 3982
3600.07/3611.80 c inprocessing phases 133
3600.07/3611.80 c garbage collections 133 ,( 100.00 )
3600.07/3611.80 c input clauses 0 ,( 0.00 )
3600.07/3611.80 c input cardinalities 0 ,( 0.00 )
3600.07/3611.80 c input general constraints 10 ,( 100.00 )
3600.07/3611.80 c input average constraint length 55.80
3600.07/3611.80 c input average constraint degree 1300.50
3600.07/3611.80 c learned clauses 850661 ,( 32.07 )
3600.07/3611.80 c learned cardinalities 0 ,( 0.00 )
3600.07/3611.80 c learned general constraints 1801715 ,( 67.93 )
3600.07/3611.80 c learned average constraint length 97.69
3600.07/3611.80 c learned average constraint degree 1979092244.91
3600.07/3611.80 c watched CF 32, 64, 128, Arb: 687191 , 0 , 0 , 0
3600.07/3611.80 c counting CF 32, 64, 128, Arb: 1114535 , 0 , 0 , 0
3600.07/3611.80 c watched constraints 687191 ,( 38.14 )
3600.07/3611.80 c counting constraints 1114534 ,( 61.86 )
3600.07/3611.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 97511429 , 0 , 38552932746 ,( 149903289 , 38403029457 )
3600.07/3611.80 c gcd simplifications 832871
3600.07/3611.80 c detected cardinalities 0
3600.07/3611.80 c weakened non-implied lits 36820107
3600.07/3611.80 c weakened non-implying lits 3962670
3600.07/3611.80 c original variables 120
3600.07/3611.80 c clausal propagations 116858
3600.07/3611.80 c cardinality propagations 0
3600.07/3611.80 c watched propagations 64331
3600.07/3611.80 c counting propagations 25597435
3600.07/3611.80 c watch lookups 122781886867
3600.07/3611.80 c watch backjump lookups 0
3600.07/3611.80 c watch checks 6527653869
3600.07/3611.80 c propagation checks 241927938722
3600.07/3611.80 c constraint additions 1586478411
3600.07/3611.80 c trail pops 32419531
3600.07/3611.80 c formula constraints 10
3600.07/3611.80 c learned constraints 2022642
3600.07/3611.80 c bound constraints 0
3600.07/3611.80 c core-guided constraints 0
3600.07/3611.80 c encountered formula constraints 201896
3600.07/3611.80 c encountered learned constraints 2743072
3600.07/3611.80 c encountered bound constraints 0
3600.07/3611.80 c encountered core-guided constraints 0
3600.07/3611.80 c LP total time 94.3458 s
3600.07/3611.80 c LP solve time 46.53 s
3600.07/3611.80 c LP constraints added 186
3600.07/3611.80 c LP constraints removed 174
3600.07/3611.80 c LP pivots internal 1562715
3600.07/3611.80 c LP pivots root 1020
3600.07/3611.80 c LP calls 987395
3600.07/3611.80 c LP optimalities 357915
3600.07/3611.80 c LP no pivot count 35132
3600.07/3611.80 c LP infeasibilities 629475
3600.07/3611.80 c LP valid Farkas constraints 629474
3600.07/3611.80 c LP learned Farkas constraints 96
3600.07/3611.80 c LP basis resets 5
3600.07/3611.80 c LP cycling count 0
3600.07/3611.80 c LP singular count 5
3600.07/3611.80 c LP no primal count 0
3600.07/3611.80 c LP no farkas count 0
3600.07/3611.80 c LP other issue count 0
3600.07/3611.80 c LP Gomory cuts 164
3600.07/3611.80 c LP learned cuts 12
3600.07/3611.80 c LP deleted cuts 174
3600.07/3611.80 c LP encountered Gomory constraints 753
3600.07/3611.80 c LP encountered Farkas constraints 11533204
3600.07/3611.80 c LP encountered learned Farkas constraints 111927
3600.07/3611.80 c CG auxiliary variables introduced 1
3600.07/3611.80 c CG solutions found 0
3600.07/3611.80 c CG cores constructed 0
3600.07/3611.80 c CG core cardinality constraints returned 0
3600.07/3611.80 c CG unit cores 0
3600.07/3611.80 c CG single cores 0
3600.07/3611.80 c CG blocks removed during cardinality reduction 0
3600.07/3611.80 c CG first core best 0
3600.07/3611.80 c CG decision core best 0
3600.07/3611.80 c CG core reduction tie 0
3600.07/3611.80 c CG core degree average 0.00
3600.07/3611.80 c CG core slack average 0.00
3600.07/3611.80 c CG core upper bound improvements 0
3600.07/3611.80 c STR number of successful calls 0
3600.07/3611.80 c STR number of unsuccessful calls 0
3600.07/3611.80 c STR number of inconclusive calls 0
3600.07/3611.80 c STR number of successful attempts 0
3600.07/3611.80 c STR number of unsuccessful attempts 0
3600.07/3611.80 c STR number of inconclusive attempts 0
3600.07/3611.80 c STR average degree increase per successful call inf
3600.07/3611.80 c STR average degree increase per successful attempt inf
3600.07/3611.80 c STR total number of conflicts for successful attempts 0
3600.07/3611.80 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3611.80 c STR total number of conflicts for inconclusive attempts 0
3600.07/3611.80 c STR average number of conflicts per successful attempt inf
3600.07/3611.80 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3611.80 c STR average number of conflicts per inconclusive attempt inf
3600.07/3611.80 c AVG.sumWPerc 54.46
3600.07/3611.80 c bigint constraints 0
3600.07/3611.80 s UNKNOWN
3600.07/3611.80 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62134 MiB free)
memory of node 1: 64507 MiB (62949 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490519-1751367313/watcher-4490519-1751367313 -o /tmp/evaluation-result-4490519-1751367313/solver-4490519-1751367313 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751360042-49683 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4490519-1751367313.opb PROOFDIR/proof-4490519-1751367313
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=50574, runsolver pid=50571
[startup+0.100061 s]*
/proc/loadavg: 4.23 4.14 4.11 5/275 50576
/proc/meminfo: memFree=128074092/131249988 swapFree=33010160/33010684
[pid=50574] ppid=50571 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50574/stat : 50574 (run-opt-log.sh) S 50571 50574 49673 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52410159 4292608 736 18446744073709551615 94553438552064 94553439446597 140724550893376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553439685648 94553439733392 94553445683200 140724550895905 140724550896100 140724550896100 140724550901702 0
/proc/50574/statm: 1048 736 672 219 0 110 0
[pid=50576] ppid=50574 vsize=61372 memory=13892 CPUtime=0.08 cores=0,2
/proc/50576/stat : 50576 (roundingsat) R 50574 50574 49673 0 -1 4194304 823 0 0 0 8 0 0 0 20 0 1 0 52410160 62844928 3473 18446744073709551615 4227072 8923433 140727908224976 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 21618688 140727908227410 140727908227624 140727908227624 140727908233194 0
/proc/50576/statm: 15343 3473 2368 1147 0 2770 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 65564 KiB
Current children cumulated memory: 16836 KiB
[startup+0.205637 s]*
/proc/loadavg: 4.23 4.14 4.11 5/275 50576
/proc/meminfo: memFree=128073664/131249988 swapFree=33010160/33010684
[pid=50574] ppid=50571 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50574/stat : 50574 (run-opt-log.sh) S 50571 50574 49673 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52410159 4292608 736 18446744073709551615 94553438552064 94553439446597 140724550893376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553439685648 94553439733392 94553445683200 140724550895905 140724550896100 140724550896100 140724550901702 0
/proc/50574/statm: 1048 736 672 219 0 110 0
[pid=50576] ppid=50574 vsize=62668 memory=15300 CPUtime=0.18 cores=0,2
/proc/50576/stat : 50576 (roundingsat) R 50574 50574 49673 0 -1 4194304 1166 0 0 0 18 0 0 0 20 0 1 0 52410160 64172032 3825 18446744073709551615 4227072 8923433 140727908224976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21618688 140727908227410 140727908227624 140727908227624 140727908233194 0
/proc/50576/statm: 15667 3825 2368 1147 0 3094 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 66860 KiB
Current children cumulated memory: 18244 KiB
[startup+0.305623 s]*
/proc/loadavg: 4.23 4.14 4.11 5/275 50576
/proc/meminfo: memFree=128073664/131249988 swapFree=33010160/33010684
[pid=50574] ppid=50571 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50574/stat : 50574 (run-opt-log.sh) S 50571 50574 49673 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52410159 4292608 736 18446744073709551615 94553438552064 94553439446597 140724550893376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553439685648 94553439733392 94553445683200 140724550895905 140724550896100 140724550896100 140724550901702 0
/proc/50574/statm: 1048 736 672 219 0 110 0
[pid=50576] ppid=50574 vsize=63696 memory=15940 CPUtime=0.28 cores=0,2
/proc/50576/stat : 50576 (roundingsat) R 50574 50574 49673 0 -1 4194304 1338 0 0 0 27 1 0 0 20 0 1 0 52410160 65224704 3985 18446744073709551615 4227072 8923433 140727908224976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21618688 140727908227410 140727908227624 140727908227624 140727908233194 0
/proc/50576/statm: 15924 3985 2368 1147 0 3351 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 67888 KiB
Current children cumulated memory: 18884 KiB
[startup+0.700168 s]
/proc/loadavg: 4.23 4.14 4.11 5/275 50576
/proc/meminfo: memFree=128061820/131249988 swapFree=33010160/33010684
[pid=50574] ppid=50571 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50574/stat : 50574 (run-opt-log.sh) S 50571 50574 49673 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52410159 4292608 736 18446744073709551615 94553438552064 94553439446597 140724550893376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553439685648 94553439733392 94553445683200 140724550895905 140724550896100 140724550896100 140724550901702 0
/proc/50574/statm: 1048 736 672 219 0 110 0
[pid=50576] ppid=50574 vsize=65104 memory=17092 CPUtime=0.66 cores=0,2
/proc/50576/stat : 50576 (roundingsat) R 50574 50574 49673 0 -1 4194304 1630 0 0 0 64 2 0 0 20 0 1 0 52410160 66666496 4273 18446744073709551615 4227072 8923433 140727908224976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21618688 140727908227410 140727908227624 140727908227624 140727908233194 0
/proc/50576/statm: 16276 4273 2368 1147 0 3703 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 69296 KiB
Current children cumulated memory: 20036 KiB
[startup+1.50016 s]
/proc/loadavg: 4.23 4.14 4.11 5/275 50576
/proc/meminfo: memFree=128017468/131249988 swapFree=33010160/33010684
[pid=50574] ppid=50571 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50574/stat : 50574 (run-opt-log.sh) S 50571 50574 49673 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52410159 4292608 736 18446744073709551615 94553438552064 94553439446597 140724550893376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553439685648 94553439733392 94553445683200 140724550895905 140724550896100 140724550896100 140724550901702 0
/proc/50574/statm: 1048 736 672 219 0 110 0
[pid=50576] ppid=50574 vsize=68288 memory=21804 CPUtime=1.46 cores=0,2
/proc/50576/stat : 50576 (roundingsat) R 50574 50574 49673 0 -1 4194304 2292 0 0 0 142 4 0 0 20 0 1 0 52410160 69926912 5451 18446744073709551615 4227072 8923433 140727908224976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21618688 140727908227410 140727908227624 140727908227624 140727908233194 0
/proc/50576/statm: 17072 5451 2368 1147 0 4499 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 72480 KiB
Current children cumulated memory: 24748 KiB
[startup+3.10549 s]
/proc/loadavg: 4.23 4.14 4.11 5/275 50576
/proc/meminfo: memFree=127924940/131249988 swapFree=33010160/33010684
[pid=50574] ppid=50571 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50574/stat : 50574 (run-opt-log.sh) S 50571 50574 49673 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52410159 4292608 736 18446744073709551615 94553438552064 94553439446597 140724550893376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553439685648 94553439733392 94553445683200 140724550895905 140724550896100 140724550896100 140724550901702 0
/proc/50574/statm: 1048 736 672 219 0 110 0
[pid=50576] ppid=50574 vsize=70544 memory=23852 CPUtime=3.07 cores=0,2
/proc/50576/stat : 50576 (roundingsat) R 50574 50574 49673 0 -1 4194304 2817 0 0 0 297 10 0 0 20 0 1 0 52410160 72237056 5963 18446744073709551615 4227072 8923433 140727908224976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21618688 140727908227410 140727908227624 140727908227624 140727908233194 0
/proc/50576/statm: 17636 5963 2368 1147 0 5063 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 74736 KiB
Current children cumulated memory: 26796 KiB
[startup+6.30017 s]
/proc/loadavg: 4.21 4.13 4.11 5/275 50577
/proc/meminfo: memFree=127744336/131249988 swapFree=33010160/33010684
[pid=50574] ppid=50571 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50574/stat : 50574 (run-opt-log.sh) S 50571 50574 49673 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52410159 4292608 736 18446744073709551615 94553438552064 94553439446597 140724550893376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553439685648 94553439733392 94553445683200 140724550895905 140724550896100 140724550896100 140724550901702 0
/proc/50574/statm: 1048 736 672 219 0 110 0
[pid=50576] ppid=50574 vsize=75196 memory=26924 CPUtime=6.25 cores=0,2
/proc/50576/stat : 50576 (roundingsat) R 50574 50574 49673 0 -1 4194304 3587 0 0 0 606 19 0 0 20 0 1 0 52410160 77000704 6731 18446744073709551615 4227072 8923433 140727908224976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21618688 140727908227410 140727908227624 140727908227624 140727908233194 0
/proc/50576/statm: 18799 6731 2368 1147 0 6226 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 79388 KiB
Current children cumulated memory: 29868 KiB
[startup+12.7001 s]
/proc/loadavg: 4.19 4.13 4.11 5/275 50577
/proc/meminfo: memFree=127386256/131249988 swapFree=33010160/33010684
[pid=50574] ppid=50571 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50574/stat : 50574 (run-opt-log.sh) S 50571 50574 49673 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52410159 4292608 736 18446744073709551615 94553438552064 94553439446597 140724550893376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553439685648 94553439733392 94553445683200 140724550895905 140724550896100 140724550896100 140724550901702 0
/proc/50574/statm: 1048 736 672 219 0 110 0
[pid=50576] ppid=50574 vsize=84912 memory=32940 CPUtime=12.63 cores=0,2
/proc/50576/stat : 50576 (roundingsat) R 50574 50574 49673 0 -1 4194304 5091 0 0 0 1228 35 0 0 20 0 1 0 52410160 86949888 8235 18446744073709551615 4227072 8923433 140727908224976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21618688 140727908227410 140727908227624 140727908227624 140727908233194 0
/proc/50576/statm: 21228 8235 2368 1147 0 8655 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 89104 KiB
Current children cumulated memory: 35884 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.10 5/275 50577
/proc/meminfo: memFree=126628836/131249988 swapFree=33010160/33010684
[pid=50574] ppid=50571 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50574/stat : 50574 (run-opt-log.sh) S 50571 50574 49673 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52410159 4292608 736 18446744073709551615 94553438552064 94553439446597 140724550893376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553439685648 94553439733392 94553445683200 140724550895905 140724550896100 140724550896100 140724550901702 0
/proc/50574/statm: 1048 736 672 219 0 110 0
[pid=50576] ppid=50574 vsize=86756 memory=36140 CPUtime=25.39 cores=0,2
/proc/50576/stat : 50576 (roundingsat) R 50574 50574 49673 0 -1 4194304 5884 0 0 0 2477 62 0 0 20 0 1 0 52410160 88838144 9035 18446744073709551615 4227072 8923433 140727908224976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21618688 140727908227410 140727908227624 140727908227624 140727908233194 0
/proc/50576/statm: 21689 9035 2368 1147 0 9116 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 90948 KiB
Current children cumulated memory: 39084 KiB
[startup+51.1055 s]
/proc/loadavg: 4.16 4.13 4.11 5/274 50577
/proc/meminfo: memFree=125298676/131249988 swapFree=33010160/33010684
[pid=50574] ppid=50571 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50574/stat : 50574 (run-opt-log.sh) S 50571 50574 49673 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52410159 4292608 736 18446744073709551615 94553438552064 94553439446597 140724550893376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553439685648 94553439733392 94553445683200 140724550895905 140724550896100 140724550896100 140724550901702 0
/proc/50574/statm: 1048 736 672 219 0 110 0
[pid=50576] ppid=50574 vsize=90440 memory=41620 CPUtime=50.93 cores=0,2
/proc/50576/stat : 50576 (roundingsat) R 50574 50574 49673 0 -1 4194304 6737 0 0 0 4980 113 0 0 20 0 1 0 52410160 92610560 10405 18446744073709551615 4227072 8923433 140727908224976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21618688 140727908227410 140727908227624 140727908227624 140727908233194 0
/proc/50576/statm: 22610 10405 2368 1147 0 10037 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 94632 KiB
Current children cumulated memory: 44564 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/274 50579
/proc/meminfo: memFree=123006172/131249988 swapFree=33010160/33010684
[pid=50574] ppid=50571 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50574/stat : 50574 (run-opt-log.sh) S 50571 50574 49673 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52410159 4292608 736 18446744073709551615 94553438552064 94553439446597 140724550893376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553439685648 94553439733392 94553445683200 140724550895905 140724550896100 140724550896100 140724550901702 0
/proc/50574/statm: 1048 736 672 219 0 110 0
[pid=50576] ppid=50574 vsize=113640 memory=56776 CPUtime=101.97 cores=0,2
/proc/50576/stat : 50576 (roundingsat) R 50574 50574 49673 0 -1 4194304 11281 0 0 0 10001 196 0 0 20 0 1 0 52410160 116367360 14194 18446744073709551615 4227072 8923433 140727908224976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21618688 140727908227410 140727908227624 140727908227624 140727908233194 0
/proc/50576/statm: 28410 14194 2368 1147 0 15837 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 117832 KiB
Current children cumulated memory: 59720 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/274 50582
/proc/meminfo: memFree=120503628/131249988 swapFree=33010160/33010684
[pid=50574] ppid=50571 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50574/stat : 50574 (run-opt-log.sh) S 50571 50574 49673 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52410159 4292608 736 18446744073709551615 94553438552064 94553439446597 140724550893376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553439685648 94553439733392 94553445683200 140724550895905 140724550896100 140724550896100 140724550901702 0
/proc/50574/statm: 1048 736 672 219 0 110 0
[pid=50576] ppid=50574 vsize=121120 memory=68020 CPUtime=161.8 cores=0,2
/proc/50576/stat : 50576 (roundingsat) R 50574 50574 49673 0 -1 4194304 13882 0 0 0 15904 276 0 0 20 0 1 0 52410160 124026880 17005 18446744073709551615 4227072 8923433 140727908224976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21618688 140727908227410 140727908227624 140727908227624 140727908233194 0
/proc/50576/statm: 30280 17005 2368 1147 0 17707 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 125312 KiB
Current children cumulated memory: 70964 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/275 50588
/proc/meminfo: memFree=118146204/131249988 swapFree=33010160/33010684
[pid=50574] ppid=50571 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50574/stat : 50574 (run-opt-log.sh) S 50571 50574 49673 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52410159 4292608 736 18446744073709551615 94553438552064 94553439446597 140724550893376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553439685648 94553439733392 94553445683200 140724550895905 140724550896100 140724550896100 140724550901702 0
/proc/50574/statm: 1048 736 672 219 0 110 0
[pid=50576] ppid=50574 vsize=137932 memory=74000 CPUtime=221.61 cores=0,2
/proc/50576/stat : 50576 (roundingsat) R 50574 50574 49673 0 -1 4194304 16003 0 0 0 21808 353 0 0 20 0 1 0 52410160 141242368 18500 18446744073709551615 4227072 8923433 140727908224976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21618688 140727908227410 140727908227624 140727908227624 140727908233194 0
/proc/50576/statm: 34483 18500 2368 1147 0 21910 0
################
# More data... #
################
/proc/50576/statm: 59855 44964 2464 1147 0 47282 0
Current children cumulated CPU time: 3032.58 s
Current children cumulated vsize: 243612 KiB
Current children cumulated memory: 182800 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/272 50797
/proc/meminfo: memFree=56623728/131249988 swapFree=33010160/33010684
[pid=50574] ppid=50571 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50574/stat : 50574 (run-opt-log.sh) S 50571 50574 49673 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52410159 4292608 736 18446744073709551615 94553438552064 94553439446597 140724550893376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553439685648 94553439733392 94553445683200 140724550895905 140724550896100 140724550896100 140724550901702 0
/proc/50574/statm: 1048 736 672 219 0 110 0
[pid=50576] ppid=50574 vsize=274804 memory=183156 CPUtime=3092.38 cores=0,2
/proc/50576/stat : 50576 (roundingsat) R 50574 50574 49673 0 -1 4194304 45630 0 0 0 306545 2693 0 0 20 0 1 0 52410160 281399296 45789 18446744073709551615 4227072 8923433 140727908224976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21618688 140727908227410 140727908227624 140727908227624 140727908233194 0
/proc/50576/statm: 68701 45789 2464 1147 0 56128 0
Current children cumulated CPU time: 3092.38 s
Current children cumulated vsize: 278996 KiB
Current children cumulated memory: 186100 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/273 50800
/proc/meminfo: memFree=55801736/131249988 swapFree=33010160/33010684
[pid=50574] ppid=50571 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50574/stat : 50574 (run-opt-log.sh) S 50571 50574 49673 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52410159 4292608 736 18446744073709551615 94553438552064 94553439446597 140724550893376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553439685648 94553439733392 94553445683200 140724550895905 140724550896100 140724550896100 140724550901702 0
/proc/50574/statm: 1048 736 672 219 0 110 0
[pid=50576] ppid=50574 vsize=274804 memory=183248 CPUtime=3152.17 cores=0,2
/proc/50576/stat : 50576 (roundingsat) R 50574 50574 49673 0 -1 4194304 45805 0 0 0 312493 2724 0 0 20 0 1 0 52410160 281399296 45812 18446744073709551615 4227072 8923433 140727908224976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21618688 140727908227410 140727908227624 140727908227624 140727908233194 0
/proc/50576/statm: 68701 45812 2464 1147 0 56128 0
Current children cumulated CPU time: 3152.17 s
Current children cumulated vsize: 278996 KiB
Current children cumulated memory: 186192 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/275 50806
/proc/meminfo: memFree=54846784/131249988 swapFree=33010160/33010684
[pid=50574] ppid=50571 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50574/stat : 50574 (run-opt-log.sh) S 50571 50574 49673 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52410159 4292608 736 18446744073709551615 94553438552064 94553439446597 140724550893376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553439685648 94553439733392 94553445683200 140724550895905 140724550896100 140724550896100 140724550901702 0
/proc/50574/statm: 1048 736 672 219 0 110 0
[pid=50576] ppid=50574 vsize=274804 memory=183376 CPUtime=3211.96 cores=0,2
/proc/50576/stat : 50576 (roundingsat) R 50574 50574 49673 0 -1 4194304 45806 0 0 0 318434 2762 0 0 20 0 1 0 52410160 281399296 45844 18446744073709551615 4227072 8923433 140727908224976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21618688 140727908227410 140727908227624 140727908227624 140727908233194 0
/proc/50576/statm: 68701 45844 2496 1147 0 56128 0
Current children cumulated CPU time: 3211.96 s
Current children cumulated vsize: 278996 KiB
Current children cumulated memory: 186320 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/274 50808
/proc/meminfo: memFree=53824912/131249988 swapFree=33010160/33010684
[pid=50574] ppid=50571 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50574/stat : 50574 (run-opt-log.sh) S 50571 50574 49673 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52410159 4292608 736 18446744073709551615 94553438552064 94553439446597 140724550893376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553439685648 94553439733392 94553445683200 140724550895905 140724550896100 140724550896100 140724550901702 0
/proc/50574/statm: 1048 736 672 219 0 110 0
[pid=50576] ppid=50574 vsize=275372 memory=183888 CPUtime=3271.75 cores=0,2
/proc/50576/stat : 50576 (roundingsat) R 50574 50574 49673 0 -1 4194304 45948 0 0 0 324377 2798 0 0 20 0 1 0 52410160 281980928 45972 18446744073709551615 4227072 8923433 140727908224976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21618688 140727908227410 140727908227624 140727908227624 140727908233194 0
/proc/50576/statm: 68843 45972 2496 1147 0 56270 0
Current children cumulated CPU time: 3271.75 s
Current children cumulated vsize: 279564 KiB
Current children cumulated memory: 186832 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/273 50810
/proc/meminfo: memFree=52871508/131249988 swapFree=33010160/33010684
[pid=50574] ppid=50571 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50574/stat : 50574 (run-opt-log.sh) S 50571 50574 49673 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52410159 4292608 736 18446744073709551615 94553438552064 94553439446597 140724550893376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553439685648 94553439733392 94553445683200 140724550895905 140724550896100 140724550896100 140724550901702 0
/proc/50574/statm: 1048 736 672 219 0 110 0
[pid=50576] ppid=50574 vsize=275884 memory=183960 CPUtime=3331.56 cores=0,2
/proc/50576/stat : 50576 (roundingsat) R 50574 50574 49673 0 -1 4194304 46099 0 0 0 330328 2828 0 0 20 0 1 0 52410160 282505216 45990 18446744073709551615 4227072 8923433 140727908224976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21618688 140727908227410 140727908227624 140727908227624 140727908233194 0
/proc/50576/statm: 68971 45990 2496 1147 0 56398 0
Current children cumulated CPU time: 3331.56 s
Current children cumulated vsize: 280076 KiB
Current children cumulated memory: 186904 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/273 50813
/proc/meminfo: memFree=51950340/131249988 swapFree=33010160/33010684
[pid=50574] ppid=50571 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50574/stat : 50574 (run-opt-log.sh) S 50571 50574 49673 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52410159 4292608 736 18446744073709551615 94553438552064 94553439446597 140724550893376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553439685648 94553439733392 94553445683200 140724550895905 140724550896100 140724550896100 140724550901702 0
/proc/50574/statm: 1048 736 672 219 0 110 0
[pid=50576] ppid=50574 vsize=275884 memory=183960 CPUtime=3391.33 cores=0,2
/proc/50576/stat : 50576 (roundingsat) R 50574 50574 49673 0 -1 4194304 46115 0 0 0 336269 2864 0 0 20 0 1 0 52410160 282505216 45990 18446744073709551615 4227072 8923433 140727908224976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21618688 140727908227410 140727908227624 140727908227624 140727908233194 0
/proc/50576/statm: 68971 45990 2496 1147 0 56398 0
Current children cumulated CPU time: 3391.33 s
Current children cumulated vsize: 280076 KiB
Current children cumulated memory: 186904 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/274 50820
/proc/meminfo: memFree=50959532/131249988 swapFree=33010160/33010684
[pid=50574] ppid=50571 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50574/stat : 50574 (run-opt-log.sh) S 50571 50574 49673 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52410159 4292608 736 18446744073709551615 94553438552064 94553439446597 140724550893376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553439685648 94553439733392 94553445683200 140724550895905 140724550896100 140724550896100 140724550901702 0
/proc/50574/statm: 1048 736 672 219 0 110 0
[pid=50576] ppid=50574 vsize=275884 memory=190232 CPUtime=3451.12 cores=0,2
/proc/50576/stat : 50576 (roundingsat) R 50574 50574 49673 0 -1 4194304 46116 0 0 0 342209 2903 0 0 20 0 1 0 52410160 282505216 47558 18446744073709551615 4227072 8923433 140727908224976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21618688 140727908227410 140727908227624 140727908227624 140727908233194 0
/proc/50576/statm: 68971 47558 2496 1147 0 56398 0
Current children cumulated CPU time: 3451.12 s
Current children cumulated vsize: 280076 KiB
Current children cumulated memory: 193176 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/272 50822
/proc/meminfo: memFree=49988828/131249988 swapFree=33010160/33010684
[pid=50574] ppid=50571 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50574/stat : 50574 (run-opt-log.sh) S 50571 50574 49673 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52410159 4292608 736 18446744073709551615 94553438552064 94553439446597 140724550893376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553439685648 94553439733392 94553445683200 140724550895905 140724550896100 140724550896100 140724550901702 0
/proc/50574/statm: 1048 736 672 219 0 110 0
[pid=50576] ppid=50574 vsize=275884 memory=190232 CPUtime=3510.94 cores=0,2
/proc/50576/stat : 50576 (roundingsat) R 50574 50574 49673 0 -1 4194304 46116 0 0 0 348152 2942 0 0 20 0 1 0 52410160 282505216 47558 18446744073709551615 4227072 8923433 140727908224976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21618688 140727908227410 140727908227624 140727908227624 140727908233194 0
/proc/50576/statm: 68971 47558 2496 1147 0 56398 0
Current children cumulated CPU time: 3510.94 s
Current children cumulated vsize: 280076 KiB
Current children cumulated memory: 193176 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 4/271 50824
/proc/meminfo: memFree=49003488/131249988 swapFree=33010160/33010684
[pid=50574] ppid=50571 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50574/stat : 50574 (run-opt-log.sh) S 50571 50574 49673 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52410159 4292608 736 18446744073709551615 94553438552064 94553439446597 140724550893376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553439685648 94553439733392 94553445683200 140724550895905 140724550896100 140724550896100 140724550901702 0
/proc/50574/statm: 1048 736 672 219 0 110 0
[pid=50576] ppid=50574 vsize=275884 memory=190232 CPUtime=3570.73 cores=0,2
/proc/50576/stat : 50576 (roundingsat) R 50574 50574 49673 0 -1 4194304 46116 0 0 0 354083 2990 0 0 20 0 1 0 52410160 282505216 47558 18446744073709551615 4227072 8923433 140727908224976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21618688 140727908227410 140727908227624 140727908227624 140727908233194 0
/proc/50576/statm: 68971 47558 2496 1147 0 56398 0
Current children cumulated CPU time: 3570.73 s
Current children cumulated vsize: 280076 KiB
Current children cumulated memory: 193176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.8 s]
/proc/loadavg: 3.58 3.99 4.05 3/258 50886
/proc/meminfo: memFree=107777636/131249988 swapFree=33010160/33010684
[pid=50574] ppid=50571 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50574/stat : 50574 (run-opt-log.sh) S 50571 50574 49673 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52410159 4292608 736 18446744073709551615 94553438552064 94553439446597 140724550893376 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94553439685648 94553439733392 94553445683200 140724550895905 140724550896100 140724550896100 140724550901702 0
/proc/50574/statm: 1048 736 672 219 0 110 0
[pid=50576] ppid=50574 vsize=275884 memory=190232 CPUtime=3600.07 cores=0,2
/proc/50576/stat : 50576 (roundingsat) R 50574 50574 49673 0 -1 4194304 46116 0 0 0 356985 3022 0 0 20 0 1 0 52410160 282505216 47558 18446744073709551615 4227072 8923433 140727908224976 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21618688 140727908227410 140727908227624 140727908227624 140727908233194 0
/proc/50576/statm: 68971 47558 2496 1147 0 56398 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 280076 KiB
Current children cumulated memory: 193176 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.8 s]
# the end of solver process 50574 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002001 s
Sleeping 2 seconds
[startup+3611.85 s]
# the end of solver process 50576 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3569.86 s, system=30.2394 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3611.85
CPU time (s): 3600.1
CPU user time (s): 3569.86
CPU system time (s): 30.2394
CPU usage (%): 99.6746
Max. virtual memory (cumulated for all children) (KiB): 280076
Max. memory (cumulated for all children) (KiB): 193176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.86
system time used= 30.2394
maximum resident set size= 190488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46340
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21386512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1033
involuntary context switches= 9880
# summary of solver processes directly reported to runsolver:
# pid: 50574,50576
# total CPU time (s): 3600.1
# total CPU user time (s): 3569.86
# total CPU system time (s): 30.2394
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95304 second user time and 16.5723 second system time
The end
Begin job on nodeC034 at 2025-07-01 12:55:13
IDJOB=4490519
IDBENCH=147589
IDSOLVER=3351
FILE ID=nodeC034/4490519-1751367313
RUNJOBID= nodeC034-1751360042-49683
SLURM_JOB_ID= 9598159
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-ihs-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490519-1751367313/watcher-4490519-1751367313 -o /tmp/evaluation-result-4490519-1751367313/solver-4490519-1751367313 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751360042-49683 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4490519-1751367313.opb PROOFDIR/proof-4490519-1751367313
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8ec3b633bd42b6cf315d15d8b6de5e8f
RANDOM SEED=74770351
nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3604.936
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.750
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.794
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3607.988
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.752
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.762
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.720
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.721
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 128094548 kB
MemAvailable: 129540296 kB
Buffers: 2128 kB
Cached: 2209896 kB
SwapCached: 36 kB
Active: 628076 kB
Inactive: 1770384 kB
Active(anon): 200380 kB
Inactive(anon): 4208 kB
Active(file): 427696 kB
Inactive(file): 1766176 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1496728 kB
Writeback: 0 kB
AnonPages: 189516 kB
Mapped: 118100 kB
Shmem: 18068 kB
KReclaimable: 181832 kB
Slab: 320328 kB
SReclaimable: 181832 kB
SUnreclaim: 138496 kB
KernelStack: 4432 kB
PageTables: 3608 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 546100 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 40960 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433040 MiB
End job on nodeC034 at 2025-07-01 13:55:25