0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.02 c #variables 478 #constraints 478
0.00/0.02 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 7 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 472 , 0 , 0 , 0
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.005053
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.00511
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.062635
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.067756
0.28/0.32 c #Conflicts: 1000 | #Constraints: 1482
0.28/0.32 c GLOBAL bounds - >= 0 @ 0.295591
0.28/0.34 c GLOBAL bounds - >= 0 @ 0.314265
0.39/0.44 c #Conflicts: 2000 | #Constraints: 2486
0.39/0.44 c INPROCESSING
0.39/0.44 c GARBAGE COLLECT
0.39/0.44 c GLOBAL bounds - >= 0 @ 0.401029
0.77/0.80 c #Conflicts: 3000 | #Constraints: 2503
0.77/0.80 c GLOBAL bounds - >= 0 @ 0.759431
0.88/0.90 c #Conflicts: 4000 | #Constraints: 3505
0.88/0.90 c GLOBAL bounds - >= 0 @ 0.853868
0.88/0.99 c INPROCESSING
0.88/0.99 c GARBAGE COLLECT
0.88/0.99 c GLOBAL bounds - >= 0 @ 0.938509
0.98/1.10 c GLOBAL bounds - >= 0 @ 1.04574
1.08/1.14 c #Conflicts: 5000 | #Constraints: 2915
1.08/1.14 c GLOBAL bounds - >= 0 @ 1.08965
1.28/1.30 c GLOBAL bounds - >= 0 @ 1.23983
1.47/1.56 c #Conflicts: 6000 | #Constraints: 3919
1.47/1.56 c GLOBAL bounds - >= 0 @ 1.50068
1.77/1.83 c INPROCESSING
1.77/1.83 c GARBAGE COLLECT
1.77/1.83 c #Conflicts: 7000 | #Constraints: 2927
1.77/1.83 c GLOBAL bounds - >= 0 @ 1.76211
2.27/2.35 c #Conflicts: 8000 | #Constraints: 3929
2.27/2.35 c #Conflicts: 9000 | #Constraints: 4929
2.27/2.35 c INPROCESSING
2.27/2.35 c GARBAGE COLLECT
2.27/2.35 c GLOBAL bounds - >= 0 @ 2.26511
2.27/2.38 c GLOBAL bounds - >= 0 @ 2.29316
2.87/2.97 c #Conflicts: 10000 | #Constraints: 3633
2.87/2.97 c #Conflicts: 11000 | #Constraints: 4633
2.87/2.97 c GLOBAL bounds - >= 0 @ 2.86876
2.97/3.09 c GLOBAL bounds - >= 0 @ 2.98549
3.08/3.15 c GLOBAL bounds - >= 0 @ 3.05169
3.17/3.26 c GLOBAL bounds - >= 0 @ 3.15421
3.46/3.59 c #Conflicts: 12000 | #Constraints: 5641
3.46/3.59 c INPROCESSING
3.46/3.59 c GARBAGE COLLECT
3.46/3.59 c #Conflicts: 13000 | #Constraints: 4094
3.46/3.59 c GLOBAL bounds - >= 0 @ 3.47455
3.57/3.61 c GLOBAL bounds - >= 0 @ 3.49807
3.97/4.03 c #Conflicts: 14000 | #Constraints: 5098
3.97/4.03 c GLOBAL bounds - >= 0 @ 3.90734
5.77/5.85 c #Conflicts: 15000 | #Constraints: 6100
5.77/5.85 c INPROCESSING
5.77/5.85 c GARBAGE COLLECT
5.77/5.85 c #Conflicts: 16000 | #Constraints: 4329
5.77/5.85 c #Conflicts: 17000 | #Constraints: 5329
5.77/5.85 c #Conflicts: 18000 | #Constraints: 6329
5.77/5.85 c INPROCESSING
5.77/5.85 c GARBAGE COLLECT
5.77/5.85 c #Conflicts: 19000 | #Constraints: 4340
5.77/5.85 c GLOBAL bounds - >= 0 @ 5.69746
7.07/7.13 c #Conflicts: 20000 | #Constraints: 5342
7.07/7.13 c #Conflicts: 21000 | #Constraints: 6342
7.07/7.13 c INPROCESSING
7.07/7.13 c GARBAGE COLLECT
7.07/7.13 c #Conflicts: 22000 | #Constraints: 4151
7.07/7.13 c GLOBAL bounds - >= 0 @ 6.95387
9.26/9.33 c #Conflicts: 23000 | #Constraints: 5153
9.26/9.33 c #Conflicts: 24000 | #Constraints: 6153
9.26/9.33 c #Conflicts: 25000 | #Constraints: 7153
9.26/9.33 c INPROCESSING
9.26/9.33 c GARBAGE COLLECT
9.26/9.33 c #Conflicts: 26000 | #Constraints: 4763
9.26/9.33 c #Conflicts: 27000 | #Constraints: 5763
9.26/9.33 c GLOBAL bounds - >= 0 @ 9.11066
10.06/10.12 c #Conflicts: 28000 | #Constraints: 6765
10.06/10.12 c #Conflicts: 29000 | #Constraints: 7765
10.06/10.12 c INPROCESSING
10.06/10.12 c GARBAGE COLLECT
10.06/10.12 c GLOBAL bounds - >= 0 @ 9.88466
10.96/11.10 c #Conflicts: 30000 | #Constraints: 5168
10.96/11.10 c #Conflicts: 31000 | #Constraints: 6168
10.96/11.10 c #Conflicts: 32000 | #Constraints: 7168
10.96/11.10 c GLOBAL bounds - >= 0 @ 10.838
11.06/11.19 c GLOBAL bounds - >= 0 @ 10.9298
13.94/14.04 c #Conflicts: 33000 | #Constraints: 8172
13.94/14.04 c INPROCESSING
13.94/14.04 c GARBAGE COLLECT
13.94/14.04 c #Conflicts: 34000 | #Constraints: 5368
13.94/14.04 c #Conflicts: 35000 | #Constraints: 6368
13.94/14.04 c #Conflicts: 36000 | #Constraints: 7368
13.94/14.04 c #Conflicts: 37000 | #Constraints: 8368
13.94/14.04 c INPROCESSING
13.94/14.04 c GARBAGE COLLECT
13.94/14.04 c #Conflicts: 38000 | #Constraints: 5374
13.94/14.04 c #Conflicts: 39000 | #Constraints: 6374
13.94/14.04 c GLOBAL bounds - >= 0 @ 13.7363
16.64/16.71 c #Conflicts: 40000 | #Constraints: 7376
16.64/16.71 c #Conflicts: 41000 | #Constraints: 8376
16.64/16.71 c INPROCESSING
16.64/16.71 c GARBAGE COLLECT
16.64/16.71 c #Conflicts: 42000 | #Constraints: 5175
16.64/16.71 c #Conflicts: 43000 | #Constraints: 6175
16.64/16.71 c #Conflicts: 44000 | #Constraints: 7175
16.64/16.71 c GLOBAL bounds - >= 0 @ 16.3737
24.02/24.12 c #Conflicts: 45000 | #Constraints: 8177
24.02/24.12 c #Conflicts: 46000 | #Constraints: 9177
24.02/24.12 c INPROCESSING
24.02/24.12 c GARBAGE COLLECT
24.02/24.12 c #Conflicts: 47000 | #Constraints: 5775
24.02/24.12 c #Conflicts: 48000 | #Constraints: 6775
24.02/24.12 c #Conflicts: 49000 | #Constraints: 7775
24.02/24.12 c #Conflicts: 50000 | #Constraints: 8775
24.02/24.12 c #Conflicts: 51000 | #Constraints: 9775
24.02/24.12 c INPROCESSING
24.02/24.12 c GARBAGE COLLECT
24.02/24.12 c #Conflicts: 52000 | #Constraints: 6180
24.02/24.12 c #Conflicts: 53000 | #Constraints: 7180
24.02/24.12 c #Conflicts: 54000 | #Constraints: 8180
24.02/24.12 c #Conflicts: 55000 | #Constraints: 9180
24.02/24.12 c #Conflicts: 56000 | #Constraints: 10180
24.02/24.12 c INPROCESSING
24.02/24.12 c GARBAGE COLLECT
24.02/24.12 c #Conflicts: 57000 | #Constraints: 6379
24.02/24.12 c #Conflicts: 58000 | #Constraints: 7379
24.02/24.12 c GLOBAL bounds - >= 0 @ 23.6804
31.01/31.18 c #Conflicts: 59000 | #Constraints: 8381
31.01/31.18 c #Conflicts: 60000 | #Constraints: 9381
31.01/31.18 c #Conflicts: 61000 | #Constraints: 10381
31.01/31.18 c INPROCESSING
31.01/31.18 c GARBAGE COLLECT
31.01/31.18 c #Conflicts: 62000 | #Constraints: 6376
31.01/31.18 c #Conflicts: 63000 | #Constraints: 7376
31.01/31.18 c #Conflicts: 64000 | #Constraints: 8376
31.01/31.18 c #Conflicts: 65000 | #Constraints: 9376
31.01/31.18 c #Conflicts: 66000 | #Constraints: 10376
31.01/31.18 c INPROCESSING
31.01/31.18 c GARBAGE COLLECT
31.01/31.18 c #Conflicts: 67000 | #Constraints: 6170
31.01/31.18 c #Conflicts: 68000 | #Constraints: 7170
31.01/31.18 c #Conflicts: 69000 | #Constraints: 8170
31.01/31.18 c #Conflicts: 70000 | #Constraints: 9170
31.01/31.18 c GLOBAL bounds - >= 0 @ 30.6363
77.28/77.55 c #Conflicts: 71000 | #Constraints: 10172
77.28/77.55 c #Conflicts: 72000 | #Constraints: 11172
77.28/77.55 c INPROCESSING
77.28/77.55 c GARBAGE COLLECT
77.28/77.55 c #Conflicts: 73000 | #Constraints: 6776
77.28/77.55 c #Conflicts: 74000 | #Constraints: 7776
77.28/77.55 c #Conflicts: 75000 | #Constraints: 8776
77.28/77.55 c #Conflicts: 76000 | #Constraints: 9776
77.28/77.55 c #Conflicts: 77000 | #Constraints: 10776
77.28/77.55 c #Conflicts: 78000 | #Constraints: 11776
77.28/77.55 c INPROCESSING
77.28/77.55 c GARBAGE COLLECT
77.28/77.55 c #Conflicts: 79000 | #Constraints: 7180
77.28/77.55 c #Conflicts: 80000 | #Constraints: 8180
77.28/77.55 c #Conflicts: 81000 | #Constraints: 9180
77.28/77.55 c #Conflicts: 82000 | #Constraints: 10180
77.28/77.55 c #Conflicts: 83000 | #Constraints: 11180
77.28/77.55 c #Conflicts: 84000 | #Constraints: 12180
77.28/77.55 c INPROCESSING
77.28/77.55 c GARBAGE COLLECT
77.28/77.55 c #Conflicts: 85000 | #Constraints: 7384
77.28/77.55 c #Conflicts: 86000 | #Constraints: 8384
77.28/77.55 c #Conflicts: 87000 | #Constraints: 9384
77.28/77.55 c #Conflicts: 88000 | #Constraints: 10384
77.28/77.55 c #Conflicts: 89000 | #Constraints: 11384
77.28/77.55 c #Conflicts: 90000 | #Constraints: 12384
77.28/77.55 c INPROCESSING
77.28/77.55 c GARBAGE COLLECT
77.28/77.55 c #Conflicts: 91000 | #Constraints: 7385
77.28/77.55 c #Conflicts: 92000 | #Constraints: 8385
77.28/77.55 c #Conflicts: 93000 | #Constraints: 9385
77.28/77.55 c #Conflicts: 94000 | #Constraints: 10385
77.28/77.55 c #Conflicts: 95000 | #Constraints: 11385
77.28/77.55 c #Conflicts: 96000 | #Constraints: 12385
77.28/77.55 c INPROCESSING
77.28/77.55 c GARBAGE COLLECT
77.28/77.55 c #Conflicts: 97000 | #Constraints: 7186
77.28/77.55 c #Conflicts: 98000 | #Constraints: 8186
77.28/77.55 c #Conflicts: 99000 | #Constraints: 9186
77.28/77.55 c #Conflicts: 100000 | #Constraints: 10186
77.28/77.55 c #Conflicts: 101000 | #Constraints: 11186
77.28/77.55 c #Conflicts: 102000 | #Constraints: 12186
77.28/77.55 c #Conflicts: 103000 | #Constraints: 13186
77.28/77.55 c INPROCESSING
77.28/77.55 c GARBAGE COLLECT
77.28/77.55 c #Conflicts: 104000 | #Constraints: 7787
77.28/77.55 c #Conflicts: 105000 | #Constraints: 8787
77.28/77.55 c #Conflicts: 106000 | #Constraints: 9787
77.28/77.55 c #Conflicts: 107000 | #Constraints: 10787
77.28/77.55 c #Conflicts: 108000 | #Constraints: 11787
77.28/77.55 c #Conflicts: 109000 | #Constraints: 12787
77.28/77.55 c #Conflicts: 110000 | #Constraints: 13787
77.28/77.55 c INPROCESSING
77.28/77.55 c GARBAGE COLLECT
77.28/77.55 c #Conflicts: 111000 | #Constraints: 8185
77.28/77.55 c #Conflicts: 112000 | #Constraints: 9185
77.28/77.55 c #Conflicts: 113000 | #Constraints: 10185
77.28/77.55 c #Conflicts: 114000 | #Constraints: 11185
77.28/77.55 c #Conflicts: 115000 | #Constraints: 12185
77.28/77.55 c #Conflicts: 116000 | #Constraints: 13185
77.28/77.55 c #Conflicts: 117000 | #Constraints: 14185
77.28/77.55 c INPROCESSING
77.28/77.55 c GARBAGE COLLECT
77.28/77.55 c #Conflicts: 118000 | #Constraints: 8385
77.28/77.55 c #Conflicts: 119000 | #Constraints: 9385
77.28/77.55 c #Conflicts: 120000 | #Constraints: 10385
77.28/77.55 c #Conflicts: 121000 | #Constraints: 11385
77.28/77.55 c #Conflicts: 122000 | #Constraints: 12385
77.28/77.55 c #Conflicts: 123000 | #Constraints: 13385
77.28/77.55 c #Conflicts: 124000 | #Constraints: 14385
77.28/77.55 c INPROCESSING
77.28/77.55 c GARBAGE COLLECT
77.28/77.55 c #Conflicts: 125000 | #Constraints: 8390
77.28/77.55 c #Conflicts: 126000 | #Constraints: 9390
77.28/77.55 c #Conflicts: 127000 | #Constraints: 10390
77.28/77.55 c #Conflicts: 128000 | #Constraints: 11390
77.28/77.55 c #Conflicts: 129000 | #Constraints: 12390
77.28/77.55 c #Conflicts: 130000 | #Constraints: 13390
77.28/77.55 c #Conflicts: 131000 | #Constraints: 14390
77.28/77.55 c INPROCESSING
77.28/77.55 c GARBAGE COLLECT
77.28/77.55 c #Conflicts: 132000 | #Constraints: 8193
77.28/77.55 c #Conflicts: 133000 | #Constraints: 9193
77.28/77.55 c #Conflicts: 134000 | #Constraints: 10193
77.28/77.55 c #Conflicts: 135000 | #Constraints: 11193
77.28/77.55 c #Conflicts: 136000 | #Constraints: 12193
77.28/77.55 c #Conflicts: 137000 | #Constraints: 13193
77.28/77.55 c #Conflicts: 138000 | #Constraints: 14193
77.28/77.55 c #Conflicts: 139000 | #Constraints: 15193
77.28/77.55 c INPROCESSING
77.28/77.55 c GARBAGE COLLECT
77.28/77.55 c #Conflicts: 140000 | #Constraints: 8793
77.28/77.55 c #Conflicts: 141000 | #Constraints: 9793
77.28/77.55 c #Conflicts: 142000 | #Constraints: 10793
136.92/137.32 c #Conflicts: 143000 | #Constraints: 11793
136.92/137.32 c #Conflicts: 144000 | #Constraints: 12793
136.92/137.32 c #Conflicts: 145000 | #Constraints: 13793
136.92/137.32 c #Conflicts: 146000 | #Constraints: 14793
136.92/137.32 c #Conflicts: 147000 | #Constraints: 15793
136.92/137.32 c INPROCESSING
136.92/137.32 c GARBAGE COLLECT
136.92/137.32 c #Conflicts: 148000 | #Constraints: 9194
136.92/137.32 c #Conflicts: 149000 | #Constraints: 10194
136.92/137.32 c #Conflicts: 150000 | #Constraints: 11194
136.92/137.32 c #Conflicts: 151000 | #Constraints: 12194
136.92/137.32 c #Conflicts: 152000 | #Constraints: 13194
136.92/137.32 c #Conflicts: 153000 | #Constraints: 14194
136.92/137.32 c #Conflicts: 154000 | #Constraints: 15194
136.92/137.32 c #Conflicts: 155000 | #Constraints: 16194
136.92/137.32 c INPROCESSING
136.92/137.32 c GARBAGE COLLECT
136.92/137.32 c #Conflicts: 156000 | #Constraints: 9386
136.92/137.32 c #Conflicts: 157000 | #Constraints: 10386
136.92/137.32 c #Conflicts: 158000 | #Constraints: 11386
136.92/137.32 c #Conflicts: 159000 | #Constraints: 12386
136.92/137.32 c #Conflicts: 160000 | #Constraints: 13386
136.92/137.32 c #Conflicts: 161000 | #Constraints: 14386
136.92/137.32 c #Conflicts: 162000 | #Constraints: 15386
136.92/137.32 c #Conflicts: 163000 | #Constraints: 16386
136.92/137.32 c INPROCESSING
136.92/137.32 c GARBAGE COLLECT
136.92/137.32 c #Conflicts: 164000 | #Constraints: 9387
136.92/137.32 c #Conflicts: 165000 | #Constraints: 10387
136.92/137.32 c #Conflicts: 166000 | #Constraints: 11387
136.92/137.32 c #Conflicts: 167000 | #Constraints: 12387
136.92/137.32 c #Conflicts: 168000 | #Constraints: 13387
136.92/137.32 c #Conflicts: 169000 | #Constraints: 14387
136.92/137.32 c #Conflicts: 170000 | #Constraints: 15387
136.92/137.32 c #Conflicts: 171000 | #Constraints: 16387
136.92/137.32 c INPROCESSING
136.92/137.32 c GARBAGE COLLECT
136.92/137.32 c #Conflicts: 172000 | #Constraints: 9188
136.92/137.32 c #Conflicts: 173000 | #Constraints: 10188
136.92/137.32 c #Conflicts: 174000 | #Constraints: 11188
136.92/137.32 c #Conflicts: 175000 | #Constraints: 12188
136.92/137.32 c #Conflicts: 176000 | #Constraints: 13188
136.92/137.32 c #Conflicts: 177000 | #Constraints: 14188
136.92/137.32 c #Conflicts: 178000 | #Constraints: 15188
136.92/137.32 c #Conflicts: 179000 | #Constraints: 16188
136.92/137.32 c #Conflicts: 180000 | #Constraints: 17188
136.92/137.32 c INPROCESSING
136.92/137.32 c GARBAGE COLLECT
136.92/137.32 c #Conflicts: 181000 | #Constraints: 9788
136.92/137.32 c #Conflicts: 182000 | #Constraints: 10788
136.92/137.32 c #Conflicts: 183000 | #Constraints: 11788
136.92/137.32 c #Conflicts: 184000 | #Constraints: 12788
136.92/137.32 c #Conflicts: 185000 | #Constraints: 13788
136.92/137.32 c #Conflicts: 186000 | #Constraints: 14788
136.92/137.32 c #Conflicts: 187000 | #Constraints: 15788
136.92/137.32 c #Conflicts: 188000 | #Constraints: 16788
136.92/137.32 c #Conflicts: 189000 | #Constraints: 17788
136.92/137.32 c INPROCESSING
136.92/137.32 c GARBAGE COLLECT
136.92/137.32 c #Conflicts: 190000 | #Constraints: 10187
136.92/137.32 c #Conflicts: 191000 | #Constraints: 11187
136.92/137.32 c #Conflicts: 192000 | #Constraints: 12187
136.92/137.32 c #Conflicts: 193000 | #Constraints: 13187
136.92/137.32 c #Conflicts: 194000 | #Constraints: 14187
136.92/137.32 c #Conflicts: 195000 | #Constraints: 15187
136.92/137.32 c #Conflicts: 196000 | #Constraints: 16187
136.92/137.32 c #Conflicts: 197000 | #Constraints: 17187
136.92/137.32 c #Conflicts: 198000 | #Constraints: 18187
136.92/137.32 c INPROCESSING
136.92/137.32 c GARBAGE COLLECT
136.92/137.32 c #Conflicts: 199000 | #Constraints: 10392
136.92/137.32 c #Conflicts: 200000 | #Constraints: 11392
136.92/137.32 c #Conflicts: 201000 | #Constraints: 12392
136.92/137.32 c #Conflicts: 202000 | #Constraints: 13392
136.92/137.32 c #Conflicts: 203000 | #Constraints: 14392
136.92/137.32 c #Conflicts: 204000 | #Constraints: 15392
136.92/137.32 c #Conflicts: 205000 | #Constraints: 16392
136.92/137.32 c #Conflicts: 206000 | #Constraints: 17392
136.92/137.32 c #Conflicts: 207000 | #Constraints: 18392
136.92/137.32 c INPROCESSING
136.92/137.32 c GARBAGE COLLECT
136.92/137.32 c #Conflicts: 208000 | #Constraints: 10388
136.92/137.32 c #Conflicts: 209000 | #Constraints: 11388
136.92/137.32 c #Conflicts: 210000 | #Constraints: 12388
136.92/137.32 c #Conflicts: 211000 | #Constraints: 13388
136.92/137.32 c #Conflicts: 212000 | #Constraints: 14388
136.92/137.32 c #Conflicts: 213000 | #Constraints: 15388
136.92/137.32 c #Conflicts: 214000 | #Constraints: 16388
136.92/137.32 c #Conflicts: 215000 | #Constraints: 17388
136.92/137.32 c #Conflicts: 216000 | #Constraints: 18388
173.73/174.26 c INPROCESSING
173.73/174.26 c GARBAGE COLLECT
173.73/174.26 c #Conflicts: 217000 | #Constraints: 10187
173.73/174.26 c #Conflicts: 218000 | #Constraints: 11187
173.73/174.26 c #Conflicts: 219000 | #Constraints: 12187
173.73/174.26 c #Conflicts: 220000 | #Constraints: 13187
173.73/174.26 c #Conflicts: 221000 | #Constraints: 14187
173.73/174.26 c #Conflicts: 222000 | #Constraints: 15187
173.73/174.26 c #Conflicts: 223000 | #Constraints: 16187
173.73/174.26 c #Conflicts: 224000 | #Constraints: 17187
173.73/174.26 c #Conflicts: 225000 | #Constraints: 18187
173.73/174.26 c #Conflicts: 226000 | #Constraints: 19187
173.73/174.26 c INPROCESSING
173.73/174.26 c GARBAGE COLLECT
173.73/174.26 c #Conflicts: 227000 | #Constraints: 10792
173.73/174.26 c #Conflicts: 228000 | #Constraints: 11792
173.73/174.26 c #Conflicts: 229000 | #Constraints: 12792
173.73/174.26 c #Conflicts: 230000 | #Constraints: 13792
173.73/174.26 c #Conflicts: 231000 | #Constraints: 14792
173.73/174.26 c #Conflicts: 232000 | #Constraints: 15792
173.73/174.26 c #Conflicts: 233000 | #Constraints: 16792
173.73/174.26 c #Conflicts: 234000 | #Constraints: 17792
173.73/174.26 c #Conflicts: 235000 | #Constraints: 18792
173.73/174.26 c #Conflicts: 236000 | #Constraints: 19792
173.73/174.26 c INPROCESSING
173.73/174.26 c GARBAGE COLLECT
173.73/174.26 c #Conflicts: 237000 | #Constraints: 11191
173.73/174.26 c #Conflicts: 238000 | #Constraints: 12191
173.73/174.26 c #Conflicts: 239000 | #Constraints: 13191
173.73/174.26 c #Conflicts: 240000 | #Constraints: 14191
173.73/174.26 c #Conflicts: 241000 | #Constraints: 15191
173.73/174.26 c #Conflicts: 242000 | #Constraints: 16191
173.73/174.26 c #Conflicts: 243000 | #Constraints: 17191
173.73/174.26 c #Conflicts: 244000 | #Constraints: 18191
173.73/174.26 c #Conflicts: 245000 | #Constraints: 19191
173.73/174.26 c #Conflicts: 246000 | #Constraints: 20191
173.73/174.26 c INPROCESSING
173.73/174.26 c GARBAGE COLLECT
173.73/174.26 c #Conflicts: 247000 | #Constraints: 11395
173.73/174.26 c #Conflicts: 248000 | #Constraints: 12395
173.73/174.26 c #Conflicts: 249000 | #Constraints: 13395
173.73/174.26 c #Conflicts: 250000 | #Constraints: 14395
173.73/174.26 c #Conflicts: 251000 | #Constraints: 15395
173.73/174.26 c #Conflicts: 252000 | #Constraints: 16395
173.73/174.26 c #Conflicts: 253000 | #Constraints: 17395
173.73/174.26 c #Conflicts: 254000 | #Constraints: 18395
173.73/174.26 c #Conflicts: 255000 | #Constraints: 19395
173.73/174.26 c GLOBAL bounds - >= 0 @ 172.308
251.73/252.48 c #Conflicts: 256000 | #Constraints: 20397
251.73/252.48 c INPROCESSING
251.73/252.48 c GARBAGE COLLECT
251.73/252.48 c #Conflicts: 257000 | #Constraints: 11387
251.73/252.48 c #Conflicts: 258000 | #Constraints: 12387
251.73/252.48 c #Conflicts: 259000 | #Constraints: 13387
251.73/252.48 c #Conflicts: 260000 | #Constraints: 14387
251.73/252.48 c #Conflicts: 261000 | #Constraints: 15387
251.73/252.48 c #Conflicts: 262000 | #Constraints: 16387
251.73/252.48 c #Conflicts: 263000 | #Constraints: 17387
251.73/252.48 c #Conflicts: 264000 | #Constraints: 18387
251.73/252.48 c #Conflicts: 265000 | #Constraints: 19387
251.73/252.48 c #Conflicts: 266000 | #Constraints: 20387
251.73/252.48 c INPROCESSING
251.73/252.48 c GARBAGE COLLECT
251.73/252.48 c #Conflicts: 267000 | #Constraints: 11188
251.73/252.48 c #Conflicts: 268000 | #Constraints: 12188
251.73/252.48 c #Conflicts: 269000 | #Constraints: 13188
251.73/252.48 c #Conflicts: 270000 | #Constraints: 14188
251.73/252.48 c #Conflicts: 271000 | #Constraints: 15188
251.73/252.48 c #Conflicts: 272000 | #Constraints: 16188
251.73/252.48 c #Conflicts: 273000 | #Constraints: 17188
251.73/252.48 c #Conflicts: 274000 | #Constraints: 18188
251.73/252.48 c #Conflicts: 275000 | #Constraints: 19188
251.73/252.48 c #Conflicts: 276000 | #Constraints: 20188
251.73/252.48 c #Conflicts: 277000 | #Constraints: 21188
251.73/252.48 c INPROCESSING
251.73/252.48 c GARBAGE COLLECT
251.73/252.48 c #Conflicts: 278000 | #Constraints: 11791
251.73/252.48 c #Conflicts: 279000 | #Constraints: 12791
251.73/252.48 c #Conflicts: 280000 | #Constraints: 13791
251.73/252.48 c #Conflicts: 281000 | #Constraints: 14791
251.73/252.48 c #Conflicts: 282000 | #Constraints: 15791
251.73/252.48 c #Conflicts: 283000 | #Constraints: 16791
251.73/252.48 c #Conflicts: 284000 | #Constraints: 17791
251.73/252.48 c #Conflicts: 285000 | #Constraints: 18791
251.73/252.48 c #Conflicts: 286000 | #Constraints: 19791
251.73/252.48 c #Conflicts: 287000 | #Constraints: 20791
251.73/252.48 c #Conflicts: 288000 | #Constraints: 21791
251.73/252.48 c INPROCESSING
251.73/252.48 c GARBAGE COLLECT
251.73/252.48 c #Conflicts: 289000 | #Constraints: 12189
251.73/252.48 c #Conflicts: 290000 | #Constraints: 13189
251.73/252.48 c #Conflicts: 291000 | #Constraints: 14189
251.73/252.48 c #Conflicts: 292000 | #Constraints: 15189
251.73/252.48 c #Conflicts: 293000 | #Constraints: 16189
251.73/252.48 c #Conflicts: 294000 | #Constraints: 17189
251.73/252.48 c #Conflicts: 295000 | #Constraints: 18189
251.73/252.48 c #Conflicts: 296000 | #Constraints: 19189
251.73/252.48 c #Conflicts: 297000 | #Constraints: 20189
251.73/252.48 c #Conflicts: 298000 | #Constraints: 21189
251.73/252.48 c #Conflicts: 299000 | #Constraints: 22189
251.73/252.48 c INPROCESSING
251.73/252.48 c GARBAGE COLLECT
251.73/252.48 c #Conflicts: 300000 | #Constraints: 12393
251.73/252.48 c #Conflicts: 301000 | #Constraints: 13393
251.73/252.48 c #Conflicts: 302000 | #Constraints: 14393
251.73/252.48 c #Conflicts: 303000 | #Constraints: 15393
251.73/252.48 c #Conflicts: 304000 | #Constraints: 16393
251.73/252.48 c #Conflicts: 305000 | #Constraints: 17393
251.73/252.48 c #Conflicts: 306000 | #Constraints: 18393
251.73/252.48 c #Conflicts: 307000 | #Constraints: 19393
251.73/252.48 c #Conflicts: 308000 | #Constraints: 20393
251.73/252.48 c #Conflicts: 309000 | #Constraints: 21393
251.73/252.48 c #Conflicts: 310000 | #Constraints: 22393
251.73/252.48 c INPROCESSING
251.73/252.48 c GARBAGE COLLECT
251.73/252.48 c #Conflicts: 311000 | #Constraints: 12391
251.73/252.48 c #Conflicts: 312000 | #Constraints: 13391
251.73/252.48 c #Conflicts: 313000 | #Constraints: 14391
251.73/252.48 c #Conflicts: 314000 | #Constraints: 15391
251.73/252.48 c #Conflicts: 315000 | #Constraints: 16391
251.73/252.48 c #Conflicts: 316000 | #Constraints: 17391
251.73/252.48 c #Conflicts: 317000 | #Constraints: 18391
251.73/252.48 c #Conflicts: 318000 | #Constraints: 19391
251.73/252.48 c #Conflicts: 319000 | #Constraints: 20391
251.73/252.48 c #Conflicts: 320000 | #Constraints: 21391
251.73/252.48 c #Conflicts: 321000 | #Constraints: 22391
251.73/252.48 c INPROCESSING
251.73/252.48 c GARBAGE COLLECT
251.73/252.48 c #Conflicts: 322000 | #Constraints: 12191
251.73/252.48 c #Conflicts: 323000 | #Constraints: 13191
251.73/252.48 c #Conflicts: 324000 | #Constraints: 14191
251.73/252.48 c #Conflicts: 325000 | #Constraints: 15191
251.73/252.48 c #Conflicts: 326000 | #Constraints: 16191
251.73/252.48 c #Conflicts: 327000 | #Constraints: 17191
251.73/252.48 c #Conflicts: 328000 | #Constraints: 18191
251.73/252.48 c #Conflicts: 329000 | #Constraints: 19191
251.73/252.48 c #Conflicts: 330000 | #Constraints: 20191
340.01/340.96 c #Conflicts: 331000 | #Constraints: 21191
340.01/340.96 c #Conflicts: 332000 | #Constraints: 22191
340.01/340.96 c #Conflicts: 333000 | #Constraints: 23191
340.01/340.96 c INPROCESSING
340.01/340.96 c GARBAGE COLLECT
340.01/340.96 c #Conflicts: 334000 | #Constraints: 12794
340.01/340.96 c #Conflicts: 335000 | #Constraints: 13794
340.01/340.96 c #Conflicts: 336000 | #Constraints: 14794
340.01/340.96 c #Conflicts: 337000 | #Constraints: 15794
340.01/340.96 c #Conflicts: 338000 | #Constraints: 16794
340.01/340.96 c #Conflicts: 339000 | #Constraints: 17794
340.01/340.96 c #Conflicts: 340000 | #Constraints: 18794
340.01/340.96 c #Conflicts: 341000 | #Constraints: 19794
340.01/340.96 c #Conflicts: 342000 | #Constraints: 20794
340.01/340.96 c #Conflicts: 343000 | #Constraints: 21794
340.01/340.96 c #Conflicts: 344000 | #Constraints: 22794
340.01/340.96 c #Conflicts: 345000 | #Constraints: 23794
340.01/340.96 c INPROCESSING
340.01/340.96 c GARBAGE COLLECT
340.01/340.96 c #Conflicts: 346000 | #Constraints: 13198
340.01/340.96 c #Conflicts: 347000 | #Constraints: 14198
340.01/340.96 c #Conflicts: 348000 | #Constraints: 15198
340.01/340.96 c #Conflicts: 349000 | #Constraints: 16198
340.01/340.96 c #Conflicts: 350000 | #Constraints: 17198
340.01/340.96 c #Conflicts: 351000 | #Constraints: 18198
340.01/340.96 c #Conflicts: 352000 | #Constraints: 19198
340.01/340.96 c #Conflicts: 353000 | #Constraints: 20198
340.01/340.96 c #Conflicts: 354000 | #Constraints: 21198
340.01/340.96 c #Conflicts: 355000 | #Constraints: 22198
340.01/340.96 c #Conflicts: 356000 | #Constraints: 23198
340.01/340.96 c #Conflicts: 357000 | #Constraints: 24198
340.01/340.96 c INPROCESSING
340.01/340.96 c GARBAGE COLLECT
340.01/340.96 c #Conflicts: 358000 | #Constraints: 13391
340.01/340.96 c #Conflicts: 359000 | #Constraints: 14391
340.01/340.96 c #Conflicts: 360000 | #Constraints: 15391
340.01/340.96 c #Conflicts: 361000 | #Constraints: 16391
340.01/340.96 c #Conflicts: 362000 | #Constraints: 17391
340.01/340.96 c #Conflicts: 363000 | #Constraints: 18391
340.01/340.96 c #Conflicts: 364000 | #Constraints: 19391
340.01/340.96 c #Conflicts: 365000 | #Constraints: 20391
340.01/340.96 c #Conflicts: 366000 | #Constraints: 21391
340.01/340.96 c #Conflicts: 367000 | #Constraints: 22391
340.01/340.96 c #Conflicts: 368000 | #Constraints: 23391
340.01/340.96 c #Conflicts: 369000 | #Constraints: 24391
340.01/340.96 c INPROCESSING
340.01/340.96 c GARBAGE COLLECT
340.01/340.96 c #Conflicts: 370000 | #Constraints: 13393
340.01/340.96 c #Conflicts: 371000 | #Constraints: 14393
340.01/340.96 c #Conflicts: 372000 | #Constraints: 15393
340.01/340.96 c #Conflicts: 373000 | #Constraints: 16393
340.01/340.96 c #Conflicts: 374000 | #Constraints: 17393
340.01/340.96 c #Conflicts: 375000 | #Constraints: 18393
340.01/340.96 c #Conflicts: 376000 | #Constraints: 19393
340.01/340.96 c #Conflicts: 377000 | #Constraints: 20393
340.01/340.96 c #Conflicts: 378000 | #Constraints: 21393
340.01/340.96 c #Conflicts: 379000 | #Constraints: 22393
340.01/340.96 c #Conflicts: 380000 | #Constraints: 23393
340.01/340.96 c #Conflicts: 381000 | #Constraints: 24393
340.01/340.96 c INPROCESSING
340.01/340.96 c GARBAGE COLLECT
340.01/340.96 c #Conflicts: 382000 | #Constraints: 13195
340.01/340.96 c #Conflicts: 383000 | #Constraints: 14195
340.01/340.96 c #Conflicts: 384000 | #Constraints: 15195
340.01/340.96 c #Conflicts: 385000 | #Constraints: 16195
340.01/340.96 c #Conflicts: 386000 | #Constraints: 17195
340.01/340.96 c #Conflicts: 387000 | #Constraints: 18195
340.01/340.96 c #Conflicts: 388000 | #Constraints: 19195
340.01/340.96 c #Conflicts: 389000 | #Constraints: 20195
340.01/340.96 c #Conflicts: 390000 | #Constraints: 21195
340.01/340.96 c #Conflicts: 391000 | #Constraints: 22195
340.01/340.96 c #Conflicts: 392000 | #Constraints: 23195
340.01/340.96 c #Conflicts: 393000 | #Constraints: 24195
340.01/340.96 c #Conflicts: 394000 | #Constraints: 25195
340.01/340.96 c INPROCESSING
340.01/340.96 c GARBAGE COLLECT
340.01/340.96 c #Conflicts: 395000 | #Constraints: 13799
340.01/340.96 c #Conflicts: 396000 | #Constraints: 14799
340.01/340.96 c #Conflicts: 397000 | #Constraints: 15799
340.01/340.96 c #Conflicts: 398000 | #Constraints: 16799
340.01/340.96 c #Conflicts: 399000 | #Constraints: 17799
340.01/340.96 c #Conflicts: 400000 | #Constraints: 18799
340.01/340.96 c #Conflicts: 401000 | #Constraints: 19799
340.01/340.96 c #Conflicts: 402000 | #Constraints: 20799
340.01/340.96 c #Conflicts: 403000 | #Constraints: 21799
340.01/340.96 c #Conflicts: 404000 | #Constraints: 22799
340.01/340.96 c #Conflicts: 405000 | #Constraints: 23799
424.90/426.10 c #Conflicts: 406000 | #Constraints: 24799
424.90/426.10 c #Conflicts: 407000 | #Constraints: 25799
424.90/426.10 c INPROCESSING
424.90/426.10 c GARBAGE COLLECT
424.90/426.10 c #Conflicts: 408000 | #Constraints: 14196
424.90/426.10 c #Conflicts: 409000 | #Constraints: 15196
424.90/426.10 c #Conflicts: 410000 | #Constraints: 16196
424.90/426.10 c #Conflicts: 411000 | #Constraints: 17196
424.90/426.10 c #Conflicts: 412000 | #Constraints: 18196
424.90/426.10 c #Conflicts: 413000 | #Constraints: 19196
424.90/426.10 c #Conflicts: 414000 | #Constraints: 20196
424.90/426.10 c #Conflicts: 415000 | #Constraints: 21196
424.90/426.10 c #Conflicts: 416000 | #Constraints: 22196
424.90/426.10 c #Conflicts: 417000 | #Constraints: 23196
424.90/426.10 c #Conflicts: 418000 | #Constraints: 24196
424.90/426.10 c #Conflicts: 419000 | #Constraints: 25196
424.90/426.10 c #Conflicts: 420000 | #Constraints: 26196
424.90/426.10 c INPROCESSING
424.90/426.10 c GARBAGE COLLECT
424.90/426.10 c #Conflicts: 421000 | #Constraints: 14399
424.90/426.10 c #Conflicts: 422000 | #Constraints: 15399
424.90/426.10 c #Conflicts: 423000 | #Constraints: 16399
424.90/426.10 c #Conflicts: 424000 | #Constraints: 17399
424.90/426.10 c #Conflicts: 425000 | #Constraints: 18399
424.90/426.10 c #Conflicts: 426000 | #Constraints: 19399
424.90/426.10 c #Conflicts: 427000 | #Constraints: 20399
424.90/426.10 c #Conflicts: 428000 | #Constraints: 21399
424.90/426.10 c #Conflicts: 429000 | #Constraints: 22399
424.90/426.10 c #Conflicts: 430000 | #Constraints: 23399
424.90/426.10 c #Conflicts: 431000 | #Constraints: 24399
424.90/426.10 c #Conflicts: 432000 | #Constraints: 25399
424.90/426.10 c #Conflicts: 433000 | #Constraints: 26399
424.90/426.10 c INPROCESSING
424.90/426.10 c GARBAGE COLLECT
424.90/426.10 c #Conflicts: 434000 | #Constraints: 14392
424.90/426.10 c #Conflicts: 435000 | #Constraints: 15392
424.90/426.10 c #Conflicts: 436000 | #Constraints: 16392
424.90/426.10 c #Conflicts: 437000 | #Constraints: 17392
424.90/426.10 c #Conflicts: 438000 | #Constraints: 18392
424.90/426.10 c #Conflicts: 439000 | #Constraints: 19392
424.90/426.10 c #Conflicts: 440000 | #Constraints: 20392
424.90/426.10 c #Conflicts: 441000 | #Constraints: 21392
424.90/426.10 c #Conflicts: 442000 | #Constraints: 22392
424.90/426.10 c #Conflicts: 443000 | #Constraints: 23392
424.90/426.10 c #Conflicts: 444000 | #Constraints: 24392
424.90/426.10 c #Conflicts: 445000 | #Constraints: 25392
424.90/426.10 c #Conflicts: 446000 | #Constraints: 26392
424.90/426.10 c INPROCESSING
424.90/426.10 c GARBAGE COLLECT
424.90/426.10 c #Conflicts: 447000 | #Constraints: 14191
424.90/426.10 c #Conflicts: 448000 | #Constraints: 15191
424.90/426.10 c #Conflicts: 449000 | #Constraints: 16191
424.90/426.10 c #Conflicts: 450000 | #Constraints: 17191
424.90/426.10 c #Conflicts: 451000 | #Constraints: 18191
424.90/426.10 c #Conflicts: 452000 | #Constraints: 19191
424.90/426.10 c #Conflicts: 453000 | #Constraints: 20191
424.90/426.10 c #Conflicts: 454000 | #Constraints: 21191
424.90/426.10 c #Conflicts: 455000 | #Constraints: 22191
424.90/426.10 c #Conflicts: 456000 | #Constraints: 23191
424.90/426.10 c #Conflicts: 457000 | #Constraints: 24191
424.90/426.10 c #Conflicts: 458000 | #Constraints: 25191
424.90/426.10 c #Conflicts: 459000 | #Constraints: 26191
424.90/426.10 c #Conflicts: 460000 | #Constraints: 27191
424.90/426.10 c INPROCESSING
424.90/426.10 c GARBAGE COLLECT
424.90/426.10 c #Conflicts: 461000 | #Constraints: 14795
424.90/426.10 c #Conflicts: 462000 | #Constraints: 15795
424.90/426.10 c #Conflicts: 463000 | #Constraints: 16795
424.90/426.10 c #Conflicts: 464000 | #Constraints: 17795
424.90/426.10 c #Conflicts: 465000 | #Constraints: 18795
424.90/426.10 c #Conflicts: 466000 | #Constraints: 19795
424.90/426.10 c #Conflicts: 467000 | #Constraints: 20795
424.90/426.10 c #Conflicts: 468000 | #Constraints: 21795
424.90/426.10 c #Conflicts: 469000 | #Constraints: 22795
424.90/426.10 c #Conflicts: 470000 | #Constraints: 23795
424.90/426.10 c #Conflicts: 471000 | #Constraints: 24795
424.90/426.10 c #Conflicts: 472000 | #Constraints: 25795
424.90/426.10 c #Conflicts: 473000 | #Constraints: 26795
424.90/426.10 c #Conflicts: 474000 | #Constraints: 27795
424.90/426.10 c INPROCESSING
424.90/426.10 c GARBAGE COLLECT
424.90/426.10 c #Conflicts: 475000 | #Constraints: 15190
424.90/426.10 c #Conflicts: 476000 | #Constraints: 16190
424.90/426.10 c #Conflicts: 477000 | #Constraints: 17190
424.90/426.10 c #Conflicts: 478000 | #Constraints: 18190
424.90/426.10 c #Conflicts: 479000 | #Constraints: 19190
424.90/426.10 c #Conflicts: 480000 | #Constraints: 20190
518.06/519.45 c #Conflicts: 481000 | #Constraints: 21190
518.06/519.45 c #Conflicts: 482000 | #Constraints: 22190
518.06/519.45 c #Conflicts: 483000 | #Constraints: 23190
518.06/519.45 c #Conflicts: 484000 | #Constraints: 24190
518.06/519.45 c #Conflicts: 485000 | #Constraints: 25190
518.06/519.45 c #Conflicts: 486000 | #Constraints: 26190
518.06/519.45 c #Conflicts: 487000 | #Constraints: 27190
518.06/519.45 c #Conflicts: 488000 | #Constraints: 28190
518.06/519.45 c INPROCESSING
518.06/519.45 c GARBAGE COLLECT
518.06/519.45 c #Conflicts: 489000 | #Constraints: 15389
518.06/519.45 c #Conflicts: 490000 | #Constraints: 16389
518.06/519.45 c #Conflicts: 491000 | #Constraints: 17389
518.06/519.45 c #Conflicts: 492000 | #Constraints: 18389
518.06/519.45 c #Conflicts: 493000 | #Constraints: 19389
518.06/519.45 c #Conflicts: 494000 | #Constraints: 20389
518.06/519.45 c #Conflicts: 495000 | #Constraints: 21389
518.06/519.45 c #Conflicts: 496000 | #Constraints: 22389
518.06/519.45 c #Conflicts: 497000 | #Constraints: 23389
518.06/519.45 c #Conflicts: 498000 | #Constraints: 24389
518.06/519.45 c #Conflicts: 499000 | #Constraints: 25389
518.06/519.45 c #Conflicts: 500000 | #Constraints: 26389
518.06/519.45 c #Conflicts: 501000 | #Constraints: 27389
518.06/519.45 c #Conflicts: 502000 | #Constraints: 28389
518.06/519.45 c INPROCESSING
518.06/519.45 c GARBAGE COLLECT
518.06/519.45 c #Conflicts: 503000 | #Constraints: 15390
518.06/519.45 c #Conflicts: 504000 | #Constraints: 16390
518.06/519.45 c #Conflicts: 505000 | #Constraints: 17390
518.06/519.45 c #Conflicts: 506000 | #Constraints: 18390
518.06/519.45 c #Conflicts: 507000 | #Constraints: 19390
518.06/519.45 c #Conflicts: 508000 | #Constraints: 20390
518.06/519.45 c #Conflicts: 509000 | #Constraints: 21390
518.06/519.45 c #Conflicts: 510000 | #Constraints: 22390
518.06/519.45 c #Conflicts: 511000 | #Constraints: 23390
518.06/519.45 c #Conflicts: 512000 | #Constraints: 24390
518.06/519.45 c #Conflicts: 513000 | #Constraints: 25390
518.06/519.45 c #Conflicts: 514000 | #Constraints: 26390
518.06/519.45 c #Conflicts: 515000 | #Constraints: 27390
518.06/519.45 c #Conflicts: 516000 | #Constraints: 28390
518.06/519.45 c INPROCESSING
518.06/519.45 c GARBAGE COLLECT
518.06/519.45 c #Conflicts: 517000 | #Constraints: 15188
518.06/519.45 c #Conflicts: 518000 | #Constraints: 16188
518.06/519.45 c #Conflicts: 519000 | #Constraints: 17188
518.06/519.45 c #Conflicts: 520000 | #Constraints: 18188
518.06/519.45 c #Conflicts: 521000 | #Constraints: 19188
518.06/519.45 c #Conflicts: 522000 | #Constraints: 20188
518.06/519.45 c #Conflicts: 523000 | #Constraints: 21188
518.06/519.45 c #Conflicts: 524000 | #Constraints: 22188
518.06/519.45 c #Conflicts: 525000 | #Constraints: 23188
518.06/519.45 c #Conflicts: 526000 | #Constraints: 24188
518.06/519.45 c #Conflicts: 527000 | #Constraints: 25188
518.06/519.45 c #Conflicts: 528000 | #Constraints: 26188
518.06/519.45 c #Conflicts: 529000 | #Constraints: 27188
518.06/519.45 c #Conflicts: 530000 | #Constraints: 28188
518.06/519.45 c #Conflicts: 531000 | #Constraints: 29188
518.06/519.45 c INPROCESSING
518.06/519.45 c GARBAGE COLLECT
518.06/519.45 c #Conflicts: 532000 | #Constraints: 15790
518.06/519.45 c #Conflicts: 533000 | #Constraints: 16790
518.06/519.45 c #Conflicts: 534000 | #Constraints: 17790
518.06/519.45 c #Conflicts: 535000 | #Constraints: 18790
518.06/519.45 c #Conflicts: 536000 | #Constraints: 19790
518.06/519.45 c #Conflicts: 537000 | #Constraints: 20790
518.06/519.45 c #Conflicts: 538000 | #Constraints: 21790
518.06/519.45 c #Conflicts: 539000 | #Constraints: 22790
518.06/519.45 c #Conflicts: 540000 | #Constraints: 23790
518.06/519.45 c #Conflicts: 541000 | #Constraints: 24790
518.06/519.45 c #Conflicts: 542000 | #Constraints: 25790
518.06/519.45 c #Conflicts: 543000 | #Constraints: 26790
518.06/519.45 c #Conflicts: 544000 | #Constraints: 27790
518.06/519.45 c #Conflicts: 545000 | #Constraints: 28790
518.06/519.45 c #Conflicts: 546000 | #Constraints: 29790
518.06/519.45 c INPROCESSING
518.06/519.45 c GARBAGE COLLECT
518.06/519.45 c #Conflicts: 547000 | #Constraints: 16183
518.06/519.45 c #Conflicts: 548000 | #Constraints: 17183
518.06/519.45 c #Conflicts: 549000 | #Constraints: 18183
518.06/519.45 c #Conflicts: 550000 | #Constraints: 19183
518.06/519.45 c #Conflicts: 551000 | #Constraints: 20183
518.06/519.45 c #Conflicts: 552000 | #Constraints: 21183
518.06/519.45 c #Conflicts: 553000 | #Constraints: 22183
518.06/519.45 c #Conflicts: 554000 | #Constraints: 23183
518.06/519.45 c #Conflicts: 555000 | #Constraints: 24183
618.20/619.88 c #Conflicts: 556000 | #Constraints: 25183
618.20/619.88 c #Conflicts: 557000 | #Constraints: 26183
618.20/619.88 c #Conflicts: 558000 | #Constraints: 27183
618.20/619.88 c #Conflicts: 559000 | #Constraints: 28183
618.20/619.88 c #Conflicts: 560000 | #Constraints: 29183
618.20/619.88 c #Conflicts: 561000 | #Constraints: 30183
618.20/619.88 c INPROCESSING
618.20/619.88 c GARBAGE COLLECT
618.20/619.88 c #Conflicts: 562000 | #Constraints: 16388
618.20/619.88 c #Conflicts: 563000 | #Constraints: 17388
618.20/619.88 c #Conflicts: 564000 | #Constraints: 18388
618.20/619.88 c #Conflicts: 565000 | #Constraints: 19388
618.20/619.88 c #Conflicts: 566000 | #Constraints: 20388
618.20/619.88 c #Conflicts: 567000 | #Constraints: 21388
618.20/619.88 c #Conflicts: 568000 | #Constraints: 22388
618.20/619.88 c #Conflicts: 569000 | #Constraints: 23388
618.20/619.88 c #Conflicts: 570000 | #Constraints: 24388
618.20/619.88 c #Conflicts: 571000 | #Constraints: 25388
618.20/619.88 c #Conflicts: 572000 | #Constraints: 26388
618.20/619.88 c #Conflicts: 573000 | #Constraints: 27388
618.20/619.88 c #Conflicts: 574000 | #Constraints: 28388
618.20/619.88 c #Conflicts: 575000 | #Constraints: 29388
618.20/619.88 c #Conflicts: 576000 | #Constraints: 30388
618.20/619.88 c INPROCESSING
618.20/619.88 c GARBAGE COLLECT
618.20/619.88 c #Conflicts: 577000 | #Constraints: 16390
618.20/619.88 c #Conflicts: 578000 | #Constraints: 17390
618.20/619.88 c #Conflicts: 579000 | #Constraints: 18390
618.20/619.88 c #Conflicts: 580000 | #Constraints: 19390
618.20/619.88 c #Conflicts: 581000 | #Constraints: 20390
618.20/619.88 c #Conflicts: 582000 | #Constraints: 21390
618.20/619.88 c #Conflicts: 583000 | #Constraints: 22390
618.20/619.88 c #Conflicts: 584000 | #Constraints: 23390
618.20/619.88 c #Conflicts: 585000 | #Constraints: 24390
618.20/619.88 c #Conflicts: 586000 | #Constraints: 25390
618.20/619.88 c #Conflicts: 587000 | #Constraints: 26390
618.20/619.88 c #Conflicts: 588000 | #Constraints: 27390
618.20/619.88 c #Conflicts: 589000 | #Constraints: 28390
618.20/619.88 c #Conflicts: 590000 | #Constraints: 29390
618.20/619.88 c #Conflicts: 591000 | #Constraints: 30390
618.20/619.88 c INPROCESSING
618.20/619.88 c GARBAGE COLLECT
618.20/619.88 c #Conflicts: 592000 | #Constraints: 16191
618.20/619.88 c #Conflicts: 593000 | #Constraints: 17191
618.20/619.88 c #Conflicts: 594000 | #Constraints: 18191
618.20/619.88 c #Conflicts: 595000 | #Constraints: 19191
618.20/619.88 c #Conflicts: 596000 | #Constraints: 20191
618.20/619.88 c #Conflicts: 597000 | #Constraints: 21191
618.20/619.88 c #Conflicts: 598000 | #Constraints: 22191
618.20/619.88 c #Conflicts: 599000 | #Constraints: 23191
618.20/619.88 c #Conflicts: 600000 | #Constraints: 24191
618.20/619.88 c #Conflicts: 601000 | #Constraints: 25191
618.20/619.88 c #Conflicts: 602000 | #Constraints: 26191
618.20/619.88 c #Conflicts: 603000 | #Constraints: 27191
618.20/619.88 c #Conflicts: 604000 | #Constraints: 28191
618.20/619.88 c #Conflicts: 605000 | #Constraints: 29191
618.20/619.88 c #Conflicts: 606000 | #Constraints: 30191
618.20/619.88 c #Conflicts: 607000 | #Constraints: 31191
618.20/619.88 c INPROCESSING
618.20/619.88 c GARBAGE COLLECT
618.20/619.88 c #Conflicts: 608000 | #Constraints: 16783
618.20/619.88 c #Conflicts: 609000 | #Constraints: 17783
618.20/619.88 c #Conflicts: 610000 | #Constraints: 18783
618.20/619.88 c #Conflicts: 611000 | #Constraints: 19783
618.20/619.88 c #Conflicts: 612000 | #Constraints: 20783
618.20/619.88 c #Conflicts: 613000 | #Constraints: 21783
618.20/619.88 c #Conflicts: 614000 | #Constraints: 22783
618.20/619.88 c #Conflicts: 615000 | #Constraints: 23783
618.20/619.88 c #Conflicts: 616000 | #Constraints: 24783
618.20/619.88 c #Conflicts: 617000 | #Constraints: 25783
618.20/619.88 c #Conflicts: 618000 | #Constraints: 26783
618.20/619.88 c #Conflicts: 619000 | #Constraints: 27783
618.20/619.88 c #Conflicts: 620000 | #Constraints: 28783
618.20/619.88 c #Conflicts: 621000 | #Constraints: 29783
618.20/619.88 c #Conflicts: 622000 | #Constraints: 30783
618.20/619.88 c #Conflicts: 623000 | #Constraints: 31783
618.20/619.88 c INPROCESSING
618.20/619.88 c GARBAGE COLLECT
618.20/619.88 c #Conflicts: 624000 | #Constraints: 17187
618.20/619.88 c #Conflicts: 625000 | #Constraints: 18187
618.20/619.88 c #Conflicts: 626000 | #Constraints: 19187
618.20/619.88 c #Conflicts: 627000 | #Constraints: 20187
618.20/619.88 c #Conflicts: 628000 | #Constraints: 21187
618.20/619.88 c #Conflicts: 629000 | #Constraints: 22187
618.20/619.88 c #Conflicts: 630000 | #Constraints: 23187
618.20/619.88 c #Conflicts: 631000 | #Constraints: 24187
739.06/741.10 c #Conflicts: 632000 | #Constraints: 25187
739.06/741.10 c #Conflicts: 633000 | #Constraints: 26187
739.06/741.10 c #Conflicts: 634000 | #Constraints: 27187
739.06/741.10 c #Conflicts: 635000 | #Constraints: 28187
739.06/741.10 c #Conflicts: 636000 | #Constraints: 29187
739.06/741.10 c #Conflicts: 637000 | #Constraints: 30187
739.06/741.10 c #Conflicts: 638000 | #Constraints: 31187
739.06/741.10 c #Conflicts: 639000 | #Constraints: 32187
739.06/741.10 c INPROCESSING
739.06/741.10 c GARBAGE COLLECT
739.06/741.10 c #Conflicts: 640000 | #Constraints: 17393
739.06/741.10 c #Conflicts: 641000 | #Constraints: 18393
739.06/741.10 c #Conflicts: 642000 | #Constraints: 19393
739.06/741.10 c #Conflicts: 643000 | #Constraints: 20393
739.06/741.10 c #Conflicts: 644000 | #Constraints: 21393
739.06/741.10 c #Conflicts: 645000 | #Constraints: 22393
739.06/741.10 c #Conflicts: 646000 | #Constraints: 23393
739.06/741.10 c #Conflicts: 647000 | #Constraints: 24393
739.06/741.10 c #Conflicts: 648000 | #Constraints: 25393
739.06/741.10 c #Conflicts: 649000 | #Constraints: 26393
739.06/741.10 c #Conflicts: 650000 | #Constraints: 27393
739.06/741.10 c #Conflicts: 651000 | #Constraints: 28393
739.06/741.10 c #Conflicts: 652000 | #Constraints: 29393
739.06/741.10 c #Conflicts: 653000 | #Constraints: 30393
739.06/741.10 c #Conflicts: 654000 | #Constraints: 31393
739.06/741.10 c #Conflicts: 655000 | #Constraints: 32393
739.06/741.10 c INPROCESSING
739.06/741.10 c GARBAGE COLLECT
739.06/741.10 c #Conflicts: 656000 | #Constraints: 17397
739.06/741.10 c #Conflicts: 657000 | #Constraints: 18397
739.06/741.10 c #Conflicts: 658000 | #Constraints: 19397
739.06/741.10 c #Conflicts: 659000 | #Constraints: 20397
739.06/741.10 c #Conflicts: 660000 | #Constraints: 21397
739.06/741.10 c #Conflicts: 661000 | #Constraints: 22397
739.06/741.10 c #Conflicts: 662000 | #Constraints: 23397
739.06/741.10 c #Conflicts: 663000 | #Constraints: 24397
739.06/741.10 c #Conflicts: 664000 | #Constraints: 25397
739.06/741.10 c #Conflicts: 665000 | #Constraints: 26397
739.06/741.10 c #Conflicts: 666000 | #Constraints: 27397
739.06/741.10 c #Conflicts: 667000 | #Constraints: 28397
739.06/741.10 c #Conflicts: 668000 | #Constraints: 29397
739.06/741.10 c #Conflicts: 669000 | #Constraints: 30397
739.06/741.10 c #Conflicts: 670000 | #Constraints: 31397
739.06/741.10 c #Conflicts: 671000 | #Constraints: 32397
739.06/741.10 c INPROCESSING
739.06/741.10 c GARBAGE COLLECT
739.06/741.10 c #Conflicts: 672000 | #Constraints: 17197
739.06/741.10 c #Conflicts: 673000 | #Constraints: 18197
739.06/741.10 c #Conflicts: 674000 | #Constraints: 19197
739.06/741.10 c #Conflicts: 675000 | #Constraints: 20197
739.06/741.10 c #Conflicts: 676000 | #Constraints: 21197
739.06/741.10 c #Conflicts: 677000 | #Constraints: 22197
739.06/741.10 c #Conflicts: 678000 | #Constraints: 23197
739.06/741.10 c #Conflicts: 679000 | #Constraints: 24197
739.06/741.10 c #Conflicts: 680000 | #Constraints: 25197
739.06/741.10 c #Conflicts: 681000 | #Constraints: 26197
739.06/741.10 c #Conflicts: 682000 | #Constraints: 27197
739.06/741.10 c #Conflicts: 683000 | #Constraints: 28197
739.06/741.10 c #Conflicts: 684000 | #Constraints: 29197
739.06/741.10 c #Conflicts: 685000 | #Constraints: 30197
739.06/741.10 c #Conflicts: 686000 | #Constraints: 31197
739.06/741.10 c #Conflicts: 687000 | #Constraints: 32197
739.06/741.10 c #Conflicts: 688000 | #Constraints: 33197
739.06/741.10 c INPROCESSING
739.06/741.10 c GARBAGE COLLECT
739.06/741.10 c #Conflicts: 689000 | #Constraints: 17796
739.06/741.10 c #Conflicts: 690000 | #Constraints: 18796
739.06/741.10 c #Conflicts: 691000 | #Constraints: 19796
739.06/741.10 c #Conflicts: 692000 | #Constraints: 20796
739.06/741.10 c #Conflicts: 693000 | #Constraints: 21796
739.06/741.10 c #Conflicts: 694000 | #Constraints: 22796
739.06/741.10 c #Conflicts: 695000 | #Constraints: 23796
739.06/741.10 c #Conflicts: 696000 | #Constraints: 24796
739.06/741.10 c #Conflicts: 697000 | #Constraints: 25796
739.06/741.10 c #Conflicts: 698000 | #Constraints: 26796
739.06/741.10 c #Conflicts: 699000 | #Constraints: 27796
739.06/741.10 c #Conflicts: 700000 | #Constraints: 28796
739.06/741.10 c #Conflicts: 701000 | #Constraints: 29796
739.06/741.10 c #Conflicts: 702000 | #Constraints: 30796
739.06/741.10 c #Conflicts: 703000 | #Constraints: 31796
739.06/741.10 c #Conflicts: 704000 | #Constraints: 32796
739.06/741.10 c #Conflicts: 705000 | #Constraints: 33796
739.06/741.10 c INPROCESSING
739.06/741.10 c GARBAGE COLLECT
739.06/741.10 c #Conflicts: 706000 | #Constraints: 18200
739.06/741.10 c #Conflicts: 707000 | #Constraints: 19200
864.61/866.99 c #Conflicts: 708000 | #Constraints: 20200
864.61/866.99 c #Conflicts: 709000 | #Constraints: 21200
864.61/866.99 c #Conflicts: 710000 | #Constraints: 22200
864.61/866.99 c #Conflicts: 711000 | #Constraints: 23200
864.61/866.99 c #Conflicts: 712000 | #Constraints: 24200
864.61/866.99 c #Conflicts: 713000 | #Constraints: 25200
864.61/866.99 c #Conflicts: 714000 | #Constraints: 26200
864.61/866.99 c #Conflicts: 715000 | #Constraints: 27200
864.61/866.99 c #Conflicts: 716000 | #Constraints: 28200
864.61/866.99 c #Conflicts: 717000 | #Constraints: 29200
864.61/866.99 c #Conflicts: 718000 | #Constraints: 30200
864.61/866.99 c #Conflicts: 719000 | #Constraints: 31200
864.61/866.99 c #Conflicts: 720000 | #Constraints: 32200
864.61/866.99 c #Conflicts: 721000 | #Constraints: 33200
864.61/866.99 c #Conflicts: 722000 | #Constraints: 34200
864.61/866.99 c INPROCESSING
864.61/866.99 c GARBAGE COLLECT
864.61/866.99 c #Conflicts: 723000 | #Constraints: 18392
864.61/866.99 c #Conflicts: 724000 | #Constraints: 19392
864.61/866.99 c #Conflicts: 725000 | #Constraints: 20392
864.61/866.99 c #Conflicts: 726000 | #Constraints: 21392
864.61/866.99 c #Conflicts: 727000 | #Constraints: 22392
864.61/866.99 c #Conflicts: 728000 | #Constraints: 23392
864.61/866.99 c #Conflicts: 729000 | #Constraints: 24392
864.61/866.99 c #Conflicts: 730000 | #Constraints: 25392
864.61/866.99 c #Conflicts: 731000 | #Constraints: 26392
864.61/866.99 c #Conflicts: 732000 | #Constraints: 27392
864.61/866.99 c #Conflicts: 733000 | #Constraints: 28392
864.61/866.99 c #Conflicts: 734000 | #Constraints: 29392
864.61/866.99 c #Conflicts: 735000 | #Constraints: 30392
864.61/866.99 c #Conflicts: 736000 | #Constraints: 31392
864.61/866.99 c #Conflicts: 737000 | #Constraints: 32392
864.61/866.99 c #Conflicts: 738000 | #Constraints: 33392
864.61/866.99 c #Conflicts: 739000 | #Constraints: 34392
864.61/866.99 c INPROCESSING
864.61/866.99 c GARBAGE COLLECT
864.61/866.99 c #Conflicts: 740000 | #Constraints: 18391
864.61/866.99 c #Conflicts: 741000 | #Constraints: 19391
864.61/866.99 c #Conflicts: 742000 | #Constraints: 20391
864.61/866.99 c #Conflicts: 743000 | #Constraints: 21391
864.61/866.99 c #Conflicts: 744000 | #Constraints: 22391
864.61/866.99 c #Conflicts: 745000 | #Constraints: 23391
864.61/866.99 c #Conflicts: 746000 | #Constraints: 24391
864.61/866.99 c #Conflicts: 747000 | #Constraints: 25391
864.61/866.99 c #Conflicts: 748000 | #Constraints: 26391
864.61/866.99 c #Conflicts: 749000 | #Constraints: 27391
864.61/866.99 c #Conflicts: 750000 | #Constraints: 28391
864.61/866.99 c #Conflicts: 751000 | #Constraints: 29391
864.61/866.99 c #Conflicts: 752000 | #Constraints: 30391
864.61/866.99 c #Conflicts: 753000 | #Constraints: 31391
864.61/866.99 c #Conflicts: 754000 | #Constraints: 32391
864.61/866.99 c #Conflicts: 755000 | #Constraints: 33391
864.61/866.99 c #Conflicts: 756000 | #Constraints: 34391
864.61/866.99 c INPROCESSING
864.61/866.99 c GARBAGE COLLECT
864.61/866.99 c #Conflicts: 757000 | #Constraints: 18191
864.61/866.99 c #Conflicts: 758000 | #Constraints: 19191
864.61/866.99 c #Conflicts: 759000 | #Constraints: 20191
864.61/866.99 c #Conflicts: 760000 | #Constraints: 21191
864.61/866.99 c #Conflicts: 761000 | #Constraints: 22191
864.61/866.99 c #Conflicts: 762000 | #Constraints: 23191
864.61/866.99 c #Conflicts: 763000 | #Constraints: 24191
864.61/866.99 c #Conflicts: 764000 | #Constraints: 25191
864.61/866.99 c #Conflicts: 765000 | #Constraints: 26191
864.61/866.99 c #Conflicts: 766000 | #Constraints: 27191
864.61/866.99 c #Conflicts: 767000 | #Constraints: 28191
864.61/866.99 c #Conflicts: 768000 | #Constraints: 29191
864.61/866.99 c #Conflicts: 769000 | #Constraints: 30191
864.61/866.99 c #Conflicts: 770000 | #Constraints: 31191
864.61/866.99 c #Conflicts: 771000 | #Constraints: 32191
864.61/866.99 c #Conflicts: 772000 | #Constraints: 33191
864.61/866.99 c #Conflicts: 773000 | #Constraints: 34191
864.61/866.99 c #Conflicts: 774000 | #Constraints: 35191
864.61/866.99 c INPROCESSING
864.61/866.99 c GARBAGE COLLECT
864.61/866.99 c #Conflicts: 775000 | #Constraints: 18793
864.61/866.99 c #Conflicts: 776000 | #Constraints: 19793
864.61/866.99 c #Conflicts: 777000 | #Constraints: 20793
864.61/866.99 c #Conflicts: 778000 | #Constraints: 21793
864.61/866.99 c #Conflicts: 779000 | #Constraints: 22793
864.61/866.99 c #Conflicts: 780000 | #Constraints: 23793
864.61/866.99 c #Conflicts: 781000 | #Constraints: 24793
864.61/866.99 c #Conflicts: 782000 | #Constraints: 25793
864.61/866.99 c #Conflicts: 783000 | #Constraints: 26793
1001.93/1004.62 c #Conflicts: 784000 | #Constraints: 27793
1001.93/1004.62 c #Conflicts: 785000 | #Constraints: 28793
1001.93/1004.62 c #Conflicts: 786000 | #Constraints: 29793
1001.93/1004.62 c #Conflicts: 787000 | #Constraints: 30793
1001.93/1004.62 c #Conflicts: 788000 | #Constraints: 31793
1001.93/1004.62 c #Conflicts: 789000 | #Constraints: 32793
1001.93/1004.62 c #Conflicts: 790000 | #Constraints: 33793
1001.93/1004.62 c #Conflicts: 791000 | #Constraints: 34793
1001.93/1004.62 c #Conflicts: 792000 | #Constraints: 35793
1001.93/1004.62 c INPROCESSING
1001.93/1004.62 c GARBAGE COLLECT
1001.93/1004.62 c #Conflicts: 793000 | #Constraints: 19189
1001.93/1004.62 c #Conflicts: 794000 | #Constraints: 20189
1001.93/1004.62 c #Conflicts: 795000 | #Constraints: 21189
1001.93/1004.62 c #Conflicts: 796000 | #Constraints: 22189
1001.93/1004.62 c #Conflicts: 797000 | #Constraints: 23189
1001.93/1004.62 c #Conflicts: 798000 | #Constraints: 24189
1001.93/1004.62 c #Conflicts: 799000 | #Constraints: 25189
1001.93/1004.62 c #Conflicts: 800000 | #Constraints: 26189
1001.93/1004.62 c #Conflicts: 801000 | #Constraints: 27189
1001.93/1004.62 c #Conflicts: 802000 | #Constraints: 28189
1001.93/1004.62 c #Conflicts: 803000 | #Constraints: 29189
1001.93/1004.62 c #Conflicts: 804000 | #Constraints: 30189
1001.93/1004.62 c #Conflicts: 805000 | #Constraints: 31189
1001.93/1004.62 c #Conflicts: 806000 | #Constraints: 32189
1001.93/1004.62 c #Conflicts: 807000 | #Constraints: 33189
1001.93/1004.62 c #Conflicts: 808000 | #Constraints: 34189
1001.93/1004.62 c #Conflicts: 809000 | #Constraints: 35189
1001.93/1004.62 c #Conflicts: 810000 | #Constraints: 36189
1001.93/1004.62 c INPROCESSING
1001.93/1004.62 c GARBAGE COLLECT
1001.93/1004.62 c #Conflicts: 811000 | #Constraints: 19395
1001.93/1004.62 c #Conflicts: 812000 | #Constraints: 20395
1001.93/1004.62 c #Conflicts: 813000 | #Constraints: 21395
1001.93/1004.62 c #Conflicts: 814000 | #Constraints: 22395
1001.93/1004.62 c #Conflicts: 815000 | #Constraints: 23395
1001.93/1004.62 c #Conflicts: 816000 | #Constraints: 24395
1001.93/1004.62 c #Conflicts: 817000 | #Constraints: 25395
1001.93/1004.62 c #Conflicts: 818000 | #Constraints: 26395
1001.93/1004.62 c #Conflicts: 819000 | #Constraints: 27395
1001.93/1004.62 c #Conflicts: 820000 | #Constraints: 28395
1001.93/1004.62 c #Conflicts: 821000 | #Constraints: 29395
1001.93/1004.62 c #Conflicts: 822000 | #Constraints: 30395
1001.93/1004.62 c #Conflicts: 823000 | #Constraints: 31395
1001.93/1004.62 c #Conflicts: 824000 | #Constraints: 32395
1001.93/1004.62 c #Conflicts: 825000 | #Constraints: 33395
1001.93/1004.62 c #Conflicts: 826000 | #Constraints: 34395
1001.93/1004.62 c #Conflicts: 827000 | #Constraints: 35395
1001.93/1004.62 c #Conflicts: 828000 | #Constraints: 36395
1001.93/1004.62 c INPROCESSING
1001.93/1004.62 c GARBAGE COLLECT
1001.93/1004.62 c #Conflicts: 829000 | #Constraints: 19397
1001.93/1004.62 c #Conflicts: 830000 | #Constraints: 20397
1001.93/1004.62 c #Conflicts: 831000 | #Constraints: 21397
1001.93/1004.62 c #Conflicts: 832000 | #Constraints: 22397
1001.93/1004.62 c #Conflicts: 833000 | #Constraints: 23397
1001.93/1004.62 c #Conflicts: 834000 | #Constraints: 24397
1001.93/1004.62 c #Conflicts: 835000 | #Constraints: 25397
1001.93/1004.62 c #Conflicts: 836000 | #Constraints: 26397
1001.93/1004.62 c #Conflicts: 837000 | #Constraints: 27397
1001.93/1004.62 c #Conflicts: 838000 | #Constraints: 28397
1001.93/1004.62 c #Conflicts: 839000 | #Constraints: 29397
1001.93/1004.62 c #Conflicts: 840000 | #Constraints: 30397
1001.93/1004.62 c #Conflicts: 841000 | #Constraints: 31397
1001.93/1004.62 c #Conflicts: 842000 | #Constraints: 32397
1001.93/1004.62 c #Conflicts: 843000 | #Constraints: 33397
1001.93/1004.62 c #Conflicts: 844000 | #Constraints: 34397
1001.93/1004.62 c #Conflicts: 845000 | #Constraints: 35397
1001.93/1004.62 c #Conflicts: 846000 | #Constraints: 36397
1001.93/1004.62 c INPROCESSING
1001.93/1004.62 c GARBAGE COLLECT
1001.93/1004.62 c #Conflicts: 847000 | #Constraints: 19196
1001.93/1004.62 c #Conflicts: 848000 | #Constraints: 20196
1001.93/1004.62 c #Conflicts: 849000 | #Constraints: 21196
1001.93/1004.62 c #Conflicts: 850000 | #Constraints: 22196
1001.93/1004.62 c #Conflicts: 851000 | #Constraints: 23196
1001.93/1004.62 c #Conflicts: 852000 | #Constraints: 24196
1001.93/1004.62 c #Conflicts: 853000 | #Constraints: 25196
1001.93/1004.62 c #Conflicts: 854000 | #Constraints: 26196
1001.93/1004.62 c #Conflicts: 855000 | #Constraints: 27196
1001.93/1004.62 c #Conflicts: 856000 | #Constraints: 28196
1001.93/1004.62 c #Conflicts: 857000 | #Constraints: 29196
1001.93/1004.62 c #Conflicts: 858000 | #Constraints: 30196
1001.93/1004.62 c #Conflicts: 859000 | #Constraints: 31196
1147.74/1150.81 c #Conflicts: 860000 | #Constraints: 32196
1147.74/1150.81 c #Conflicts: 861000 | #Constraints: 33196
1147.74/1150.81 c #Conflicts: 862000 | #Constraints: 34196
1147.74/1150.81 c #Conflicts: 863000 | #Constraints: 35196
1147.74/1150.81 c #Conflicts: 864000 | #Constraints: 36196
1147.74/1150.81 c #Conflicts: 865000 | #Constraints: 37196
1147.74/1150.81 c INPROCESSING
1147.74/1150.81 c GARBAGE COLLECT
1147.74/1150.81 c #Conflicts: 866000 | #Constraints: 19796
1147.74/1150.81 c #Conflicts: 867000 | #Constraints: 20796
1147.74/1150.81 c #Conflicts: 868000 | #Constraints: 21796
1147.74/1150.81 c #Conflicts: 869000 | #Constraints: 22796
1147.74/1150.81 c #Conflicts: 870000 | #Constraints: 23796
1147.74/1150.81 c #Conflicts: 871000 | #Constraints: 24796
1147.74/1150.81 c #Conflicts: 872000 | #Constraints: 25796
1147.74/1150.81 c #Conflicts: 873000 | #Constraints: 26796
1147.74/1150.81 c #Conflicts: 874000 | #Constraints: 27796
1147.74/1150.81 c #Conflicts: 875000 | #Constraints: 28796
1147.74/1150.81 c #Conflicts: 876000 | #Constraints: 29796
1147.74/1150.81 c #Conflicts: 877000 | #Constraints: 30796
1147.74/1150.81 c #Conflicts: 878000 | #Constraints: 31796
1147.74/1150.81 c #Conflicts: 879000 | #Constraints: 32796
1147.74/1150.81 c #Conflicts: 880000 | #Constraints: 33796
1147.74/1150.81 c #Conflicts: 881000 | #Constraints: 34796
1147.74/1150.81 c #Conflicts: 882000 | #Constraints: 35796
1147.74/1150.81 c #Conflicts: 883000 | #Constraints: 36796
1147.74/1150.81 c #Conflicts: 884000 | #Constraints: 37796
1147.74/1150.81 c INPROCESSING
1147.74/1150.81 c GARBAGE COLLECT
1147.74/1150.81 c #Conflicts: 885000 | #Constraints: 20200
1147.74/1150.81 c #Conflicts: 886000 | #Constraints: 21200
1147.74/1150.81 c #Conflicts: 887000 | #Constraints: 22200
1147.74/1150.81 c #Conflicts: 888000 | #Constraints: 23200
1147.74/1150.81 c #Conflicts: 889000 | #Constraints: 24200
1147.74/1150.81 c #Conflicts: 890000 | #Constraints: 25200
1147.74/1150.81 c #Conflicts: 891000 | #Constraints: 26200
1147.74/1150.81 c #Conflicts: 892000 | #Constraints: 27200
1147.74/1150.81 c #Conflicts: 893000 | #Constraints: 28200
1147.74/1150.81 c #Conflicts: 894000 | #Constraints: 29200
1147.74/1150.81 c #Conflicts: 895000 | #Constraints: 30200
1147.74/1150.81 c #Conflicts: 896000 | #Constraints: 31200
1147.74/1150.81 c #Conflicts: 897000 | #Constraints: 32200
1147.74/1150.81 c #Conflicts: 898000 | #Constraints: 33200
1147.74/1150.81 c #Conflicts: 899000 | #Constraints: 34200
1147.74/1150.81 c #Conflicts: 900000 | #Constraints: 35200
1147.74/1150.81 c #Conflicts: 901000 | #Constraints: 36200
1147.74/1150.81 c #Conflicts: 902000 | #Constraints: 37200
1147.74/1150.81 c #Conflicts: 903000 | #Constraints: 38200
1147.74/1150.81 c INPROCESSING
1147.74/1150.81 c GARBAGE COLLECT
1147.74/1150.81 c #Conflicts: 904000 | #Constraints: 20396
1147.74/1150.81 c #Conflicts: 905000 | #Constraints: 21396
1147.74/1150.81 c #Conflicts: 906000 | #Constraints: 22396
1147.74/1150.81 c #Conflicts: 907000 | #Constraints: 23396
1147.74/1150.81 c #Conflicts: 908000 | #Constraints: 24396
1147.74/1150.81 c #Conflicts: 909000 | #Constraints: 25396
1147.74/1150.81 c #Conflicts: 910000 | #Constraints: 26396
1147.74/1150.81 c #Conflicts: 911000 | #Constraints: 27396
1147.74/1150.81 c #Conflicts: 912000 | #Constraints: 28396
1147.74/1150.81 c #Conflicts: 913000 | #Constraints: 29396
1147.74/1150.81 c #Conflicts: 914000 | #Constraints: 30396
1147.74/1150.81 c #Conflicts: 915000 | #Constraints: 31396
1147.74/1150.81 c #Conflicts: 916000 | #Constraints: 32396
1147.74/1150.81 c #Conflicts: 917000 | #Constraints: 33396
1147.74/1150.81 c #Conflicts: 918000 | #Constraints: 34396
1147.74/1150.81 c #Conflicts: 919000 | #Constraints: 35396
1147.74/1150.81 c #Conflicts: 920000 | #Constraints: 36396
1147.74/1150.81 c #Conflicts: 921000 | #Constraints: 37396
1147.74/1150.81 c #Conflicts: 922000 | #Constraints: 38396
1147.74/1150.81 c INPROCESSING
1147.74/1150.81 c GARBAGE COLLECT
1147.74/1150.81 c #Conflicts: 923000 | #Constraints: 20400
1147.74/1150.81 c #Conflicts: 924000 | #Constraints: 21400
1147.74/1150.81 c #Conflicts: 925000 | #Constraints: 22400
1147.74/1150.81 c #Conflicts: 926000 | #Constraints: 23400
1147.74/1150.81 c #Conflicts: 927000 | #Constraints: 24400
1147.74/1150.81 c #Conflicts: 928000 | #Constraints: 25400
1147.74/1150.81 c #Conflicts: 929000 | #Constraints: 26400
1147.74/1150.81 c #Conflicts: 930000 | #Constraints: 27400
1147.74/1150.81 c #Conflicts: 931000 | #Constraints: 28400
1147.74/1150.81 c #Conflicts: 932000 | #Constraints: 29400
1147.74/1150.81 c #Conflicts: 933000 | #Constraints: 30400
1147.74/1150.81 c #Conflicts: 934000 | #Constraints: 31400
1147.74/1150.81 c #Conflicts: 935000 | #Constraints: 32400
1285.57/1289.10 c #Conflicts: 936000 | #Constraints: 33400
1285.57/1289.10 c #Conflicts: 937000 | #Constraints: 34400
1285.57/1289.10 c #Conflicts: 938000 | #Constraints: 35400
1285.57/1289.10 c #Conflicts: 939000 | #Constraints: 36400
1285.57/1289.10 c #Conflicts: 940000 | #Constraints: 37400
1285.57/1289.10 c #Conflicts: 941000 | #Constraints: 38400
1285.57/1289.10 c INPROCESSING
1285.57/1289.10 c GARBAGE COLLECT
1285.57/1289.10 c #Conflicts: 942000 | #Constraints: 20196
1285.57/1289.10 c #Conflicts: 943000 | #Constraints: 21196
1285.57/1289.10 c #Conflicts: 944000 | #Constraints: 22196
1285.57/1289.10 c #Conflicts: 945000 | #Constraints: 23196
1285.57/1289.10 c #Conflicts: 946000 | #Constraints: 24196
1285.57/1289.10 c #Conflicts: 947000 | #Constraints: 25196
1285.57/1289.10 c #Conflicts: 948000 | #Constraints: 26196
1285.57/1289.10 c #Conflicts: 949000 | #Constraints: 27196
1285.57/1289.10 c #Conflicts: 950000 | #Constraints: 28196
1285.57/1289.10 c #Conflicts: 951000 | #Constraints: 29196
1285.57/1289.10 c #Conflicts: 952000 | #Constraints: 30196
1285.57/1289.10 c #Conflicts: 953000 | #Constraints: 31196
1285.57/1289.10 c #Conflicts: 954000 | #Constraints: 32196
1285.57/1289.10 c #Conflicts: 955000 | #Constraints: 33196
1285.57/1289.10 c #Conflicts: 956000 | #Constraints: 34196
1285.57/1289.10 c #Conflicts: 957000 | #Constraints: 35196
1285.57/1289.10 c #Conflicts: 958000 | #Constraints: 36196
1285.57/1289.10 c #Conflicts: 959000 | #Constraints: 37196
1285.57/1289.10 c #Conflicts: 960000 | #Constraints: 38196
1285.57/1289.10 c #Conflicts: 961000 | #Constraints: 39196
1285.57/1289.10 c INPROCESSING
1285.57/1289.10 c GARBAGE COLLECT
1285.57/1289.10 c #Conflicts: 962000 | #Constraints: 20797
1285.57/1289.10 c #Conflicts: 963000 | #Constraints: 21797
1285.57/1289.10 c #Conflicts: 964000 | #Constraints: 22797
1285.57/1289.10 c #Conflicts: 965000 | #Constraints: 23797
1285.57/1289.10 c #Conflicts: 966000 | #Constraints: 24797
1285.57/1289.10 c #Conflicts: 967000 | #Constraints: 25797
1285.57/1289.10 c #Conflicts: 968000 | #Constraints: 26797
1285.57/1289.10 c #Conflicts: 969000 | #Constraints: 27797
1285.57/1289.10 c #Conflicts: 970000 | #Constraints: 28797
1285.57/1289.10 c #Conflicts: 971000 | #Constraints: 29797
1285.57/1289.10 c #Conflicts: 972000 | #Constraints: 30797
1285.57/1289.10 c #Conflicts: 973000 | #Constraints: 31797
1285.57/1289.10 c #Conflicts: 974000 | #Constraints: 32797
1285.57/1289.10 c #Conflicts: 975000 | #Constraints: 33797
1285.57/1289.10 c #Conflicts: 976000 | #Constraints: 34797
1285.57/1289.10 c #Conflicts: 977000 | #Constraints: 35797
1285.57/1289.10 c #Conflicts: 978000 | #Constraints: 36797
1285.57/1289.10 c #Conflicts: 979000 | #Constraints: 37797
1285.57/1289.10 c #Conflicts: 980000 | #Constraints: 38797
1285.57/1289.10 c #Conflicts: 981000 | #Constraints: 39797
1285.57/1289.10 c INPROCESSING
1285.57/1289.10 c GARBAGE COLLECT
1285.57/1289.10 c #Conflicts: 982000 | #Constraints: 21194
1285.57/1289.10 c #Conflicts: 983000 | #Constraints: 22194
1285.57/1289.10 c #Conflicts: 984000 | #Constraints: 23194
1285.57/1289.10 c #Conflicts: 985000 | #Constraints: 24194
1285.57/1289.10 c #Conflicts: 986000 | #Constraints: 25194
1285.57/1289.10 c #Conflicts: 987000 | #Constraints: 26194
1285.57/1289.10 c #Conflicts: 988000 | #Constraints: 27194
1285.57/1289.10 c #Conflicts: 989000 | #Constraints: 28194
1285.57/1289.10 c #Conflicts: 990000 | #Constraints: 29194
1285.57/1289.10 c #Conflicts: 991000 | #Constraints: 30194
1285.57/1289.10 c #Conflicts: 992000 | #Constraints: 31194
1285.57/1289.10 c #Conflicts: 993000 | #Constraints: 32194
1285.57/1289.10 c #Conflicts: 994000 | #Constraints: 33194
1285.57/1289.10 c #Conflicts: 995000 | #Constraints: 34194
1285.57/1289.10 c #Conflicts: 996000 | #Constraints: 35194
1285.57/1289.10 c #Conflicts: 997000 | #Constraints: 36194
1285.57/1289.10 c #Conflicts: 998000 | #Constraints: 37194
1285.57/1289.10 c #Conflicts: 999000 | #Constraints: 38194
1285.57/1289.10 c #Conflicts: 1000000 | #Constraints: 39194
1285.57/1289.10 c #Conflicts: 1001000 | #Constraints: 40194
1285.57/1289.10 c INPROCESSING
1285.57/1289.10 c GARBAGE COLLECT
1285.57/1289.10 c #Conflicts: 1002000 | #Constraints: 21399
1285.57/1289.10 c #Conflicts: 1003000 | #Constraints: 22399
1285.57/1289.10 c #Conflicts: 1004000 | #Constraints: 23399
1285.57/1289.10 c #Conflicts: 1005000 | #Constraints: 24399
1285.57/1289.10 c #Conflicts: 1006000 | #Constraints: 25399
1285.57/1289.10 c #Conflicts: 1007000 | #Constraints: 26399
1285.57/1289.10 c #Conflicts: 1008000 | #Constraints: 27399
1285.57/1289.10 c #Conflicts: 1009000 | #Constraints: 28399
1285.57/1289.10 c #Conflicts: 1010000 | #Constraints: 29399
1285.57/1289.10 c #Conflicts: 1011000 | #Constraints: 30399
1429.89/1433.78 c #Conflicts: 1012000 | #Constraints: 31399
1429.89/1433.78 c #Conflicts: 1013000 | #Constraints: 32399
1429.89/1433.78 c #Conflicts: 1014000 | #Constraints: 33399
1429.89/1433.78 c #Conflicts: 1015000 | #Constraints: 34399
1429.89/1433.78 c #Conflicts: 1016000 | #Constraints: 35399
1429.89/1433.78 c #Conflicts: 1017000 | #Constraints: 36399
1429.89/1433.78 c #Conflicts: 1018000 | #Constraints: 37399
1429.89/1433.78 c #Conflicts: 1019000 | #Constraints: 38399
1429.89/1433.78 c #Conflicts: 1020000 | #Constraints: 39399
1429.89/1433.78 c #Conflicts: 1021000 | #Constraints: 40399
1429.89/1433.78 c INPROCESSING
1429.89/1433.78 c GARBAGE COLLECT
1429.89/1433.78 c #Conflicts: 1022000 | #Constraints: 21396
1429.89/1433.78 c #Conflicts: 1023000 | #Constraints: 22396
1429.89/1433.78 c #Conflicts: 1024000 | #Constraints: 23396
1429.89/1433.78 c #Conflicts: 1025000 | #Constraints: 24396
1429.89/1433.78 c #Conflicts: 1026000 | #Constraints: 25396
1429.89/1433.78 c #Conflicts: 1027000 | #Constraints: 26396
1429.89/1433.78 c #Conflicts: 1028000 | #Constraints: 27396
1429.89/1433.78 c #Conflicts: 1029000 | #Constraints: 28396
1429.89/1433.78 c #Conflicts: 1030000 | #Constraints: 29396
1429.89/1433.78 c #Conflicts: 1031000 | #Constraints: 30396
1429.89/1433.78 c #Conflicts: 1032000 | #Constraints: 31396
1429.89/1433.78 c #Conflicts: 1033000 | #Constraints: 32396
1429.89/1433.78 c #Conflicts: 1034000 | #Constraints: 33396
1429.89/1433.78 c #Conflicts: 1035000 | #Constraints: 34396
1429.89/1433.78 c #Conflicts: 1036000 | #Constraints: 35396
1429.89/1433.78 c #Conflicts: 1037000 | #Constraints: 36396
1429.89/1433.78 c #Conflicts: 1038000 | #Constraints: 37396
1429.89/1433.78 c #Conflicts: 1039000 | #Constraints: 38396
1429.89/1433.78 c #Conflicts: 1040000 | #Constraints: 39396
1429.89/1433.78 c #Conflicts: 1041000 | #Constraints: 40396
1429.89/1433.78 c INPROCESSING
1429.89/1433.78 c GARBAGE COLLECT
1429.89/1433.78 c #Conflicts: 1042000 | #Constraints: 21192
1429.89/1433.78 c #Conflicts: 1043000 | #Constraints: 22192
1429.89/1433.78 c #Conflicts: 1044000 | #Constraints: 23192
1429.89/1433.78 c #Conflicts: 1045000 | #Constraints: 24192
1429.89/1433.78 c #Conflicts: 1046000 | #Constraints: 25192
1429.89/1433.78 c #Conflicts: 1047000 | #Constraints: 26192
1429.89/1433.78 c #Conflicts: 1048000 | #Constraints: 27192
1429.89/1433.78 c #Conflicts: 1049000 | #Constraints: 28192
1429.89/1433.78 c #Conflicts: 1050000 | #Constraints: 29192
1429.89/1433.78 c #Conflicts: 1051000 | #Constraints: 30192
1429.89/1433.78 c #Conflicts: 1052000 | #Constraints: 31192
1429.89/1433.78 c #Conflicts: 1053000 | #Constraints: 32192
1429.89/1433.78 c #Conflicts: 1054000 | #Constraints: 33192
1429.89/1433.78 c #Conflicts: 1055000 | #Constraints: 34192
1429.89/1433.78 c #Conflicts: 1056000 | #Constraints: 35192
1429.89/1433.78 c #Conflicts: 1057000 | #Constraints: 36192
1429.89/1433.78 c #Conflicts: 1058000 | #Constraints: 37192
1429.89/1433.78 c #Conflicts: 1059000 | #Constraints: 38192
1429.89/1433.78 c #Conflicts: 1060000 | #Constraints: 39192
1429.89/1433.78 c #Conflicts: 1061000 | #Constraints: 40192
1429.89/1433.78 c #Conflicts: 1062000 | #Constraints: 41192
1429.89/1433.78 c INPROCESSING
1429.89/1433.78 c GARBAGE COLLECT
1429.89/1433.78 c #Conflicts: 1063000 | #Constraints: 21795
1429.89/1433.78 c #Conflicts: 1064000 | #Constraints: 22795
1429.89/1433.78 c #Conflicts: 1065000 | #Constraints: 23795
1429.89/1433.78 c #Conflicts: 1066000 | #Constraints: 24795
1429.89/1433.78 c #Conflicts: 1067000 | #Constraints: 25795
1429.89/1433.78 c #Conflicts: 1068000 | #Constraints: 26795
1429.89/1433.78 c #Conflicts: 1069000 | #Constraints: 27795
1429.89/1433.78 c #Conflicts: 1070000 | #Constraints: 28795
1429.89/1433.78 c #Conflicts: 1071000 | #Constraints: 29795
1429.89/1433.78 c #Conflicts: 1072000 | #Constraints: 30795
1429.89/1433.78 c #Conflicts: 1073000 | #Constraints: 31795
1429.89/1433.78 c #Conflicts: 1074000 | #Constraints: 32795
1429.89/1433.78 c #Conflicts: 1075000 | #Constraints: 33795
1429.89/1433.78 c #Conflicts: 1076000 | #Constraints: 34795
1429.89/1433.78 c #Conflicts: 1077000 | #Constraints: 35795
1429.89/1433.78 c #Conflicts: 1078000 | #Constraints: 36795
1429.89/1433.78 c #Conflicts: 1079000 | #Constraints: 37795
1429.89/1433.78 c #Conflicts: 1080000 | #Constraints: 38795
1429.89/1433.78 c #Conflicts: 1081000 | #Constraints: 39795
1429.89/1433.78 c #Conflicts: 1082000 | #Constraints: 40795
1429.89/1433.78 c #Conflicts: 1083000 | #Constraints: 41795
1429.89/1433.78 c INPROCESSING
1429.89/1433.78 c GARBAGE COLLECT
1429.89/1433.78 c #Conflicts: 1084000 | #Constraints: 22200
1429.89/1433.78 c #Conflicts: 1085000 | #Constraints: 23200
1429.89/1433.78 c #Conflicts: 1086000 | #Constraints: 24200
1429.89/1433.78 c #Conflicts: 1087000 | #Constraints: 25200
1429.89/1433.78 c #Conflicts: 1088000 | #Constraints: 26200
1601.65/1605.96 c #Conflicts: 1089000 | #Constraints: 27200
1601.65/1605.96 c #Conflicts: 1090000 | #Constraints: 28200
1601.65/1605.96 c #Conflicts: 1091000 | #Constraints: 29200
1601.65/1605.96 c #Conflicts: 1092000 | #Constraints: 30200
1601.65/1605.96 c #Conflicts: 1093000 | #Constraints: 31200
1601.65/1605.96 c #Conflicts: 1094000 | #Constraints: 32200
1601.65/1605.96 c #Conflicts: 1095000 | #Constraints: 33200
1601.65/1605.96 c #Conflicts: 1096000 | #Constraints: 34200
1601.65/1605.96 c #Conflicts: 1097000 | #Constraints: 35200
1601.65/1605.96 c #Conflicts: 1098000 | #Constraints: 36200
1601.65/1605.96 c #Conflicts: 1099000 | #Constraints: 37200
1601.65/1605.96 c #Conflicts: 1100000 | #Constraints: 38200
1601.65/1605.96 c #Conflicts: 1101000 | #Constraints: 39200
1601.65/1605.96 c #Conflicts: 1102000 | #Constraints: 40200
1601.65/1605.96 c #Conflicts: 1103000 | #Constraints: 41200
1601.65/1605.96 c #Conflicts: 1104000 | #Constraints: 42200
1601.65/1605.96 c INPROCESSING
1601.65/1605.96 c GARBAGE COLLECT
1601.65/1605.96 c #Conflicts: 1105000 | #Constraints: 22399
1601.65/1605.96 c #Conflicts: 1106000 | #Constraints: 23399
1601.65/1605.96 c #Conflicts: 1107000 | #Constraints: 24399
1601.65/1605.96 c #Conflicts: 1108000 | #Constraints: 25399
1601.65/1605.96 c #Conflicts: 1109000 | #Constraints: 26399
1601.65/1605.96 c #Conflicts: 1110000 | #Constraints: 27399
1601.65/1605.96 c #Conflicts: 1111000 | #Constraints: 28399
1601.65/1605.96 c #Conflicts: 1112000 | #Constraints: 29399
1601.65/1605.96 c #Conflicts: 1113000 | #Constraints: 30399
1601.65/1605.96 c #Conflicts: 1114000 | #Constraints: 31399
1601.65/1605.96 c #Conflicts: 1115000 | #Constraints: 32399
1601.65/1605.96 c #Conflicts: 1116000 | #Constraints: 33399
1601.65/1605.96 c #Conflicts: 1117000 | #Constraints: 34399
1601.65/1605.96 c #Conflicts: 1118000 | #Constraints: 35399
1601.65/1605.96 c #Conflicts: 1119000 | #Constraints: 36399
1601.65/1605.96 c #Conflicts: 1120000 | #Constraints: 37399
1601.65/1605.96 c #Conflicts: 1121000 | #Constraints: 38399
1601.65/1605.96 c #Conflicts: 1122000 | #Constraints: 39399
1601.65/1605.96 c #Conflicts: 1123000 | #Constraints: 40399
1601.65/1605.96 c #Conflicts: 1124000 | #Constraints: 41399
1601.65/1605.96 c #Conflicts: 1125000 | #Constraints: 42399
1601.65/1605.96 c INPROCESSING
1601.65/1605.96 c GARBAGE COLLECT
1601.65/1605.96 c #Conflicts: 1126000 | #Constraints: 22387
1601.65/1605.96 c #Conflicts: 1127000 | #Constraints: 23387
1601.65/1605.96 c #Conflicts: 1128000 | #Constraints: 24387
1601.65/1605.96 c #Conflicts: 1129000 | #Constraints: 25387
1601.65/1605.96 c #Conflicts: 1130000 | #Constraints: 26387
1601.65/1605.96 c #Conflicts: 1131000 | #Constraints: 27387
1601.65/1605.96 c #Conflicts: 1132000 | #Constraints: 28387
1601.65/1605.96 c #Conflicts: 1133000 | #Constraints: 29387
1601.65/1605.96 c #Conflicts: 1134000 | #Constraints: 30387
1601.65/1605.96 c #Conflicts: 1135000 | #Constraints: 31387
1601.65/1605.96 c #Conflicts: 1136000 | #Constraints: 32387
1601.65/1605.96 c #Conflicts: 1137000 | #Constraints: 33387
1601.65/1605.96 c #Conflicts: 1138000 | #Constraints: 34387
1601.65/1605.96 c #Conflicts: 1139000 | #Constraints: 35387
1601.65/1605.96 c #Conflicts: 1140000 | #Constraints: 36387
1601.65/1605.96 c #Conflicts: 1141000 | #Constraints: 37387
1601.65/1605.96 c #Conflicts: 1142000 | #Constraints: 38387
1601.65/1605.96 c #Conflicts: 1143000 | #Constraints: 39387
1601.65/1605.96 c #Conflicts: 1144000 | #Constraints: 40387
1601.65/1605.96 c #Conflicts: 1145000 | #Constraints: 41387
1601.65/1605.96 c #Conflicts: 1146000 | #Constraints: 42387
1601.65/1605.96 c INPROCESSING
1601.65/1605.96 c GARBAGE COLLECT
1601.65/1605.96 c #Conflicts: 1147000 | #Constraints: 22194
1601.65/1605.96 c #Conflicts: 1148000 | #Constraints: 23194
1601.65/1605.96 c #Conflicts: 1149000 | #Constraints: 24194
1601.65/1605.96 c #Conflicts: 1150000 | #Constraints: 25194
1601.65/1605.96 c #Conflicts: 1151000 | #Constraints: 26194
1601.65/1605.96 c #Conflicts: 1152000 | #Constraints: 27194
1601.65/1605.96 c #Conflicts: 1153000 | #Constraints: 28194
1601.65/1605.96 c #Conflicts: 1154000 | #Constraints: 29194
1601.65/1605.96 c #Conflicts: 1155000 | #Constraints: 30194
1601.65/1605.96 c #Conflicts: 1156000 | #Constraints: 31194
1601.65/1605.96 c #Conflicts: 1157000 | #Constraints: 32194
1601.65/1605.96 c #Conflicts: 1158000 | #Constraints: 33194
1601.65/1605.96 c #Conflicts: 1159000 | #Constraints: 34194
1601.65/1605.96 c #Conflicts: 1160000 | #Constraints: 35194
1601.65/1605.96 c #Conflicts: 1161000 | #Constraints: 36194
1601.65/1605.96 c #Conflicts: 1162000 | #Constraints: 37194
1601.65/1605.96 c #Conflicts: 1163000 | #Constraints: 38194
1601.65/1605.96 c #Conflicts: 1164000 | #Constraints: 39194
1601.65/1605.96 c #Conflicts: 1165000 | #Constraints: 40194
1759.45/1764.20 c #Conflicts: 1166000 | #Constraints: 41194
1759.45/1764.20 c #Conflicts: 1167000 | #Constraints: 42194
1759.45/1764.20 c #Conflicts: 1168000 | #Constraints: 43194
1759.45/1764.20 c INPROCESSING
1759.45/1764.20 c GARBAGE COLLECT
1759.45/1764.20 c #Conflicts: 1169000 | #Constraints: 22792
1759.45/1764.20 c #Conflicts: 1170000 | #Constraints: 23792
1759.45/1764.20 c #Conflicts: 1171000 | #Constraints: 24792
1759.45/1764.20 c #Conflicts: 1172000 | #Constraints: 25792
1759.45/1764.20 c #Conflicts: 1173000 | #Constraints: 26792
1759.45/1764.20 c #Conflicts: 1174000 | #Constraints: 27792
1759.45/1764.20 c #Conflicts: 1175000 | #Constraints: 28792
1759.45/1764.20 c #Conflicts: 1176000 | #Constraints: 29792
1759.45/1764.20 c #Conflicts: 1177000 | #Constraints: 30792
1759.45/1764.20 c #Conflicts: 1178000 | #Constraints: 31792
1759.45/1764.20 c #Conflicts: 1179000 | #Constraints: 32792
1759.45/1764.20 c #Conflicts: 1180000 | #Constraints: 33792
1759.45/1764.20 c #Conflicts: 1181000 | #Constraints: 34792
1759.45/1764.20 c #Conflicts: 1182000 | #Constraints: 35792
1759.45/1764.20 c #Conflicts: 1183000 | #Constraints: 36792
1759.45/1764.20 c #Conflicts: 1184000 | #Constraints: 37792
1759.45/1764.20 c #Conflicts: 1185000 | #Constraints: 38792
1759.45/1764.20 c #Conflicts: 1186000 | #Constraints: 39792
1759.45/1764.20 c #Conflicts: 1187000 | #Constraints: 40792
1759.45/1764.20 c #Conflicts: 1188000 | #Constraints: 41792
1759.45/1764.20 c #Conflicts: 1189000 | #Constraints: 42792
1759.45/1764.20 c #Conflicts: 1190000 | #Constraints: 43792
1759.45/1764.20 c INPROCESSING
1759.45/1764.20 c GARBAGE COLLECT
1759.45/1764.20 c #Conflicts: 1191000 | #Constraints: 23191
1759.45/1764.20 c #Conflicts: 1192000 | #Constraints: 24191
1759.45/1764.20 c #Conflicts: 1193000 | #Constraints: 25191
1759.45/1764.20 c #Conflicts: 1194000 | #Constraints: 26191
1759.45/1764.20 c #Conflicts: 1195000 | #Constraints: 27191
1759.45/1764.20 c #Conflicts: 1196000 | #Constraints: 28191
1759.45/1764.20 c #Conflicts: 1197000 | #Constraints: 29191
1759.45/1764.20 c #Conflicts: 1198000 | #Constraints: 30191
1759.45/1764.20 c #Conflicts: 1199000 | #Constraints: 31191
1759.45/1764.20 c #Conflicts: 1200000 | #Constraints: 32191
1759.45/1764.20 c #Conflicts: 1201000 | #Constraints: 33191
1759.45/1764.20 c #Conflicts: 1202000 | #Constraints: 34191
1759.45/1764.20 c #Conflicts: 1203000 | #Constraints: 35191
1759.45/1764.20 c #Conflicts: 1204000 | #Constraints: 36191
1759.45/1764.20 c #Conflicts: 1205000 | #Constraints: 37191
1759.45/1764.20 c #Conflicts: 1206000 | #Constraints: 38191
1759.45/1764.20 c #Conflicts: 1207000 | #Constraints: 39191
1759.45/1764.20 c #Conflicts: 1208000 | #Constraints: 40191
1759.45/1764.20 c #Conflicts: 1209000 | #Constraints: 41191
1759.45/1764.20 c #Conflicts: 1210000 | #Constraints: 42191
1759.45/1764.20 c #Conflicts: 1211000 | #Constraints: 43191
1759.45/1764.20 c #Conflicts: 1212000 | #Constraints: 44191
1759.45/1764.20 c INPROCESSING
1759.45/1764.20 c GARBAGE COLLECT
1759.45/1764.20 c #Conflicts: 1213000 | #Constraints: 23397
1759.45/1764.20 c #Conflicts: 1214000 | #Constraints: 24397
1759.45/1764.20 c #Conflicts: 1215000 | #Constraints: 25397
1759.45/1764.20 c #Conflicts: 1216000 | #Constraints: 26397
1759.45/1764.20 c #Conflicts: 1217000 | #Constraints: 27397
1759.45/1764.20 c #Conflicts: 1218000 | #Constraints: 28397
1759.45/1764.20 c #Conflicts: 1219000 | #Constraints: 29397
1759.45/1764.20 c #Conflicts: 1220000 | #Constraints: 30397
1759.45/1764.20 c #Conflicts: 1221000 | #Constraints: 31397
1759.45/1764.20 c #Conflicts: 1222000 | #Constraints: 32397
1759.45/1764.20 c #Conflicts: 1223000 | #Constraints: 33397
1759.45/1764.20 c #Conflicts: 1224000 | #Constraints: 34397
1759.45/1764.20 c #Conflicts: 1225000 | #Constraints: 35397
1759.45/1764.20 c #Conflicts: 1226000 | #Constraints: 36397
1759.45/1764.20 c #Conflicts: 1227000 | #Constraints: 37397
1759.45/1764.20 c #Conflicts: 1228000 | #Constraints: 38397
1759.45/1764.20 c #Conflicts: 1229000 | #Constraints: 39397
1759.45/1764.20 c #Conflicts: 1230000 | #Constraints: 40397
1759.45/1764.20 c #Conflicts: 1231000 | #Constraints: 41397
1759.45/1764.20 c #Conflicts: 1232000 | #Constraints: 42397
1759.45/1764.20 c #Conflicts: 1233000 | #Constraints: 43397
1759.45/1764.20 c #Conflicts: 1234000 | #Constraints: 44397
1759.45/1764.20 c INPROCESSING
1759.45/1764.20 c GARBAGE COLLECT
1759.45/1764.20 c #Conflicts: 1235000 | #Constraints: 23398
1759.45/1764.20 c #Conflicts: 1236000 | #Constraints: 24398
1759.45/1764.20 c #Conflicts: 1237000 | #Constraints: 25398
1759.45/1764.20 c #Conflicts: 1238000 | #Constraints: 26398
1759.45/1764.20 c #Conflicts: 1239000 | #Constraints: 27398
1759.45/1764.20 c #Conflicts: 1240000 | #Constraints: 28398
1759.45/1764.20 c #Conflicts: 1241000 | #Constraints: 29398
1923.94/1929.06 c #Conflicts: 1242000 | #Constraints: 30398
1923.94/1929.06 c #Conflicts: 1243000 | #Constraints: 31398
1923.94/1929.06 c #Conflicts: 1244000 | #Constraints: 32398
1923.94/1929.06 c #Conflicts: 1245000 | #Constraints: 33398
1923.94/1929.06 c #Conflicts: 1246000 | #Constraints: 34398
1923.94/1929.06 c #Conflicts: 1247000 | #Constraints: 35398
1923.94/1929.06 c #Conflicts: 1248000 | #Constraints: 36398
1923.94/1929.06 c #Conflicts: 1249000 | #Constraints: 37398
1923.94/1929.06 c #Conflicts: 1250000 | #Constraints: 38398
1923.94/1929.06 c #Conflicts: 1251000 | #Constraints: 39398
1923.94/1929.06 c #Conflicts: 1252000 | #Constraints: 40398
1923.94/1929.06 c #Conflicts: 1253000 | #Constraints: 41398
1923.94/1929.06 c #Conflicts: 1254000 | #Constraints: 42398
1923.94/1929.06 c #Conflicts: 1255000 | #Constraints: 43398
1923.94/1929.06 c #Conflicts: 1256000 | #Constraints: 44398
1923.94/1929.06 c INPROCESSING
1923.94/1929.06 c GARBAGE COLLECT
1923.94/1929.06 c #Conflicts: 1257000 | #Constraints: 23194
1923.94/1929.06 c #Conflicts: 1258000 | #Constraints: 24194
1923.94/1929.06 c #Conflicts: 1259000 | #Constraints: 25194
1923.94/1929.06 c #Conflicts: 1260000 | #Constraints: 26194
1923.94/1929.06 c #Conflicts: 1261000 | #Constraints: 27194
1923.94/1929.06 c #Conflicts: 1262000 | #Constraints: 28194
1923.94/1929.06 c #Conflicts: 1263000 | #Constraints: 29194
1923.94/1929.06 c #Conflicts: 1264000 | #Constraints: 30194
1923.94/1929.06 c #Conflicts: 1265000 | #Constraints: 31194
1923.94/1929.06 c #Conflicts: 1266000 | #Constraints: 32194
1923.94/1929.06 c #Conflicts: 1267000 | #Constraints: 33194
1923.94/1929.06 c #Conflicts: 1268000 | #Constraints: 34194
1923.94/1929.06 c #Conflicts: 1269000 | #Constraints: 35194
1923.94/1929.06 c #Conflicts: 1270000 | #Constraints: 36194
1923.94/1929.06 c #Conflicts: 1271000 | #Constraints: 37194
1923.94/1929.06 c #Conflicts: 1272000 | #Constraints: 38194
1923.94/1929.06 c #Conflicts: 1273000 | #Constraints: 39194
1923.94/1929.06 c #Conflicts: 1274000 | #Constraints: 40194
1923.94/1929.06 c #Conflicts: 1275000 | #Constraints: 41194
1923.94/1929.06 c #Conflicts: 1276000 | #Constraints: 42194
1923.94/1929.06 c #Conflicts: 1277000 | #Constraints: 43194
1923.94/1929.06 c #Conflicts: 1278000 | #Constraints: 44194
1923.94/1929.06 c #Conflicts: 1279000 | #Constraints: 45194
1923.94/1929.06 c INPROCESSING
1923.94/1929.06 c GARBAGE COLLECT
1923.94/1929.06 c #Conflicts: 1280000 | #Constraints: 23795
1923.94/1929.06 c #Conflicts: 1281000 | #Constraints: 24795
1923.94/1929.06 c #Conflicts: 1282000 | #Constraints: 25795
1923.94/1929.06 c #Conflicts: 1283000 | #Constraints: 26795
1923.94/1929.06 c #Conflicts: 1284000 | #Constraints: 27795
1923.94/1929.06 c #Conflicts: 1285000 | #Constraints: 28795
1923.94/1929.06 c #Conflicts: 1286000 | #Constraints: 29795
1923.94/1929.06 c #Conflicts: 1287000 | #Constraints: 30795
1923.94/1929.06 c #Conflicts: 1288000 | #Constraints: 31795
1923.94/1929.06 c #Conflicts: 1289000 | #Constraints: 32795
1923.94/1929.06 c #Conflicts: 1290000 | #Constraints: 33795
1923.94/1929.06 c #Conflicts: 1291000 | #Constraints: 34795
1923.94/1929.06 c #Conflicts: 1292000 | #Constraints: 35795
1923.94/1929.06 c #Conflicts: 1293000 | #Constraints: 36795
1923.94/1929.06 c #Conflicts: 1294000 | #Constraints: 37795
1923.94/1929.06 c #Conflicts: 1295000 | #Constraints: 38795
1923.94/1929.06 c #Conflicts: 1296000 | #Constraints: 39795
1923.94/1929.06 c #Conflicts: 1297000 | #Constraints: 40795
1923.94/1929.06 c #Conflicts: 1298000 | #Constraints: 41795
1923.94/1929.06 c #Conflicts: 1299000 | #Constraints: 42795
1923.94/1929.06 c #Conflicts: 1300000 | #Constraints: 43795
1923.94/1929.06 c #Conflicts: 1301000 | #Constraints: 44795
1923.94/1929.06 c #Conflicts: 1302000 | #Constraints: 45795
1923.94/1929.06 c INPROCESSING
1923.94/1929.06 c GARBAGE COLLECT
1923.94/1929.06 c #Conflicts: 1303000 | #Constraints: 24196
1923.94/1929.06 c #Conflicts: 1304000 | #Constraints: 25196
1923.94/1929.06 c #Conflicts: 1305000 | #Constraints: 26196
1923.94/1929.06 c #Conflicts: 1306000 | #Constraints: 27196
1923.94/1929.06 c #Conflicts: 1307000 | #Constraints: 28196
1923.94/1929.06 c #Conflicts: 1308000 | #Constraints: 29196
1923.94/1929.06 c #Conflicts: 1309000 | #Constraints: 30196
1923.94/1929.06 c #Conflicts: 1310000 | #Constraints: 31196
1923.94/1929.06 c #Conflicts: 1311000 | #Constraints: 32196
1923.94/1929.06 c #Conflicts: 1312000 | #Constraints: 33196
1923.94/1929.06 c #Conflicts: 1313000 | #Constraints: 34196
1923.94/1929.06 c #Conflicts: 1314000 | #Constraints: 35196
1923.94/1929.06 c #Conflicts: 1315000 | #Constraints: 36196
1923.94/1929.06 c #Conflicts: 1316000 | #Constraints: 37196
1923.94/1929.06 c #Conflicts: 1317000 | #Constraints: 38196
1923.94/1929.06 c #Conflicts: 1318000 | #Constraints: 39196
2091.52/2097.06 c #Conflicts: 1319000 | #Constraints: 40196
2091.52/2097.06 c #Conflicts: 1320000 | #Constraints: 41196
2091.52/2097.06 c #Conflicts: 1321000 | #Constraints: 42196
2091.52/2097.06 c #Conflicts: 1322000 | #Constraints: 43196
2091.52/2097.06 c #Conflicts: 1323000 | #Constraints: 44196
2091.52/2097.06 c #Conflicts: 1324000 | #Constraints: 45196
2091.52/2097.06 c #Conflicts: 1325000 | #Constraints: 46196
2091.52/2097.06 c INPROCESSING
2091.52/2097.06 c GARBAGE COLLECT
2091.52/2097.06 c #Conflicts: 1326000 | #Constraints: 24393
2091.52/2097.06 c #Conflicts: 1327000 | #Constraints: 25393
2091.52/2097.06 c #Conflicts: 1328000 | #Constraints: 26393
2091.52/2097.06 c #Conflicts: 1329000 | #Constraints: 27393
2091.52/2097.06 c #Conflicts: 1330000 | #Constraints: 28393
2091.52/2097.06 c #Conflicts: 1331000 | #Constraints: 29393
2091.52/2097.06 c #Conflicts: 1332000 | #Constraints: 30393
2091.52/2097.06 c #Conflicts: 1333000 | #Constraints: 31393
2091.52/2097.06 c #Conflicts: 1334000 | #Constraints: 32393
2091.52/2097.06 c #Conflicts: 1335000 | #Constraints: 33393
2091.52/2097.06 c #Conflicts: 1336000 | #Constraints: 34393
2091.52/2097.06 c #Conflicts: 1337000 | #Constraints: 35393
2091.52/2097.06 c #Conflicts: 1338000 | #Constraints: 36393
2091.52/2097.06 c #Conflicts: 1339000 | #Constraints: 37393
2091.52/2097.06 c #Conflicts: 1340000 | #Constraints: 38393
2091.52/2097.06 c #Conflicts: 1341000 | #Constraints: 39393
2091.52/2097.06 c #Conflicts: 1342000 | #Constraints: 40393
2091.52/2097.06 c #Conflicts: 1343000 | #Constraints: 41393
2091.52/2097.06 c #Conflicts: 1344000 | #Constraints: 42393
2091.52/2097.06 c #Conflicts: 1345000 | #Constraints: 43393
2091.52/2097.06 c #Conflicts: 1346000 | #Constraints: 44393
2091.52/2097.06 c #Conflicts: 1347000 | #Constraints: 45393
2091.52/2097.06 c #Conflicts: 1348000 | #Constraints: 46393
2091.52/2097.06 c INPROCESSING
2091.52/2097.06 c GARBAGE COLLECT
2091.52/2097.06 c #Conflicts: 1349000 | #Constraints: 24396
2091.52/2097.06 c #Conflicts: 1350000 | #Constraints: 25396
2091.52/2097.06 c #Conflicts: 1351000 | #Constraints: 26396
2091.52/2097.06 c #Conflicts: 1352000 | #Constraints: 27396
2091.52/2097.06 c #Conflicts: 1353000 | #Constraints: 28396
2091.52/2097.06 c #Conflicts: 1354000 | #Constraints: 29396
2091.52/2097.06 c #Conflicts: 1355000 | #Constraints: 30396
2091.52/2097.06 c #Conflicts: 1356000 | #Constraints: 31396
2091.52/2097.06 c #Conflicts: 1357000 | #Constraints: 32396
2091.52/2097.06 c #Conflicts: 1358000 | #Constraints: 33396
2091.52/2097.06 c #Conflicts: 1359000 | #Constraints: 34396
2091.52/2097.06 c #Conflicts: 1360000 | #Constraints: 35396
2091.52/2097.06 c #Conflicts: 1361000 | #Constraints: 36396
2091.52/2097.06 c #Conflicts: 1362000 | #Constraints: 37396
2091.52/2097.06 c #Conflicts: 1363000 | #Constraints: 38396
2091.52/2097.06 c #Conflicts: 1364000 | #Constraints: 39396
2091.52/2097.06 c #Conflicts: 1365000 | #Constraints: 40396
2091.52/2097.06 c #Conflicts: 1366000 | #Constraints: 41396
2091.52/2097.06 c #Conflicts: 1367000 | #Constraints: 42396
2091.52/2097.06 c #Conflicts: 1368000 | #Constraints: 43396
2091.52/2097.06 c #Conflicts: 1369000 | #Constraints: 44396
2091.52/2097.06 c #Conflicts: 1370000 | #Constraints: 45396
2091.52/2097.06 c #Conflicts: 1371000 | #Constraints: 46396
2091.52/2097.06 c INPROCESSING
2091.52/2097.06 c GARBAGE COLLECT
2091.52/2097.06 c #Conflicts: 1372000 | #Constraints: 24190
2091.52/2097.06 c #Conflicts: 1373000 | #Constraints: 25190
2091.52/2097.06 c #Conflicts: 1374000 | #Constraints: 26190
2091.52/2097.06 c #Conflicts: 1375000 | #Constraints: 27190
2091.52/2097.06 c #Conflicts: 1376000 | #Constraints: 28190
2091.52/2097.06 c #Conflicts: 1377000 | #Constraints: 29190
2091.52/2097.06 c #Conflicts: 1378000 | #Constraints: 30190
2091.52/2097.06 c #Conflicts: 1379000 | #Constraints: 31190
2091.52/2097.06 c #Conflicts: 1380000 | #Constraints: 32190
2091.52/2097.06 c #Conflicts: 1381000 | #Constraints: 33190
2091.52/2097.06 c #Conflicts: 1382000 | #Constraints: 34190
2091.52/2097.06 c #Conflicts: 1383000 | #Constraints: 35190
2091.52/2097.06 c #Conflicts: 1384000 | #Constraints: 36190
2091.52/2097.06 c #Conflicts: 1385000 | #Constraints: 37190
2091.52/2097.06 c #Conflicts: 1386000 | #Constraints: 38190
2091.52/2097.06 c #Conflicts: 1387000 | #Constraints: 39190
2091.52/2097.06 c #Conflicts: 1388000 | #Constraints: 40190
2091.52/2097.06 c #Conflicts: 1389000 | #Constraints: 41190
2091.52/2097.06 c #Conflicts: 1390000 | #Constraints: 42190
2091.52/2097.06 c #Conflicts: 1391000 | #Constraints: 43190
2091.52/2097.06 c #Conflicts: 1392000 | #Constraints: 44190
2091.52/2097.06 c #Conflicts: 1393000 | #Constraints: 45190
2091.52/2097.06 c #Conflicts: 1394000 | #Constraints: 46190
2091.52/2097.06 c #Conflicts: 1395000 | #Constraints: 47190
2267.57/2273.54 c INPROCESSING
2267.57/2273.54 c GARBAGE COLLECT
2267.57/2273.54 c #Conflicts: 1396000 | #Constraints: 24797
2267.57/2273.54 c #Conflicts: 1397000 | #Constraints: 25797
2267.57/2273.54 c #Conflicts: 1398000 | #Constraints: 26797
2267.57/2273.54 c #Conflicts: 1399000 | #Constraints: 27797
2267.57/2273.54 c #Conflicts: 1400000 | #Constraints: 28797
2267.57/2273.54 c #Conflicts: 1401000 | #Constraints: 29797
2267.57/2273.54 c #Conflicts: 1402000 | #Constraints: 30797
2267.57/2273.54 c #Conflicts: 1403000 | #Constraints: 31797
2267.57/2273.54 c #Conflicts: 1404000 | #Constraints: 32797
2267.57/2273.54 c #Conflicts: 1405000 | #Constraints: 33797
2267.57/2273.54 c #Conflicts: 1406000 | #Constraints: 34797
2267.57/2273.54 c #Conflicts: 1407000 | #Constraints: 35797
2267.57/2273.54 c #Conflicts: 1408000 | #Constraints: 36797
2267.57/2273.54 c #Conflicts: 1409000 | #Constraints: 37797
2267.57/2273.54 c #Conflicts: 1410000 | #Constraints: 38797
2267.57/2273.54 c #Conflicts: 1411000 | #Constraints: 39797
2267.57/2273.54 c #Conflicts: 1412000 | #Constraints: 40797
2267.57/2273.54 c #Conflicts: 1413000 | #Constraints: 41797
2267.57/2273.54 c #Conflicts: 1414000 | #Constraints: 42797
2267.57/2273.54 c #Conflicts: 1415000 | #Constraints: 43797
2267.57/2273.54 c #Conflicts: 1416000 | #Constraints: 44797
2267.57/2273.54 c #Conflicts: 1417000 | #Constraints: 45797
2267.57/2273.54 c #Conflicts: 1418000 | #Constraints: 46797
2267.57/2273.54 c #Conflicts: 1419000 | #Constraints: 47797
2267.57/2273.54 c INPROCESSING
2267.57/2273.54 c GARBAGE COLLECT
2267.57/2273.54 c #Conflicts: 1420000 | #Constraints: 25202
2267.57/2273.54 c #Conflicts: 1421000 | #Constraints: 26202
2267.57/2273.54 c #Conflicts: 1422000 | #Constraints: 27202
2267.57/2273.54 c #Conflicts: 1423000 | #Constraints: 28202
2267.57/2273.54 c #Conflicts: 1424000 | #Constraints: 29202
2267.57/2273.54 c #Conflicts: 1425000 | #Constraints: 30202
2267.57/2273.54 c #Conflicts: 1426000 | #Constraints: 31202
2267.57/2273.54 c #Conflicts: 1427000 | #Constraints: 32202
2267.57/2273.54 c #Conflicts: 1428000 | #Constraints: 33202
2267.57/2273.54 c #Conflicts: 1429000 | #Constraints: 34202
2267.57/2273.54 c #Conflicts: 1430000 | #Constraints: 35202
2267.57/2273.54 c #Conflicts: 1431000 | #Constraints: 36202
2267.57/2273.54 c #Conflicts: 1432000 | #Constraints: 37202
2267.57/2273.54 c #Conflicts: 1433000 | #Constraints: 38202
2267.57/2273.54 c #Conflicts: 1434000 | #Constraints: 39202
2267.57/2273.54 c #Conflicts: 1435000 | #Constraints: 40202
2267.57/2273.54 c #Conflicts: 1436000 | #Constraints: 41202
2267.57/2273.54 c #Conflicts: 1437000 | #Constraints: 42202
2267.57/2273.54 c #Conflicts: 1438000 | #Constraints: 43202
2267.57/2273.54 c #Conflicts: 1439000 | #Constraints: 44202
2267.57/2273.54 c #Conflicts: 1440000 | #Constraints: 45202
2267.57/2273.54 c #Conflicts: 1441000 | #Constraints: 46202
2267.57/2273.54 c #Conflicts: 1442000 | #Constraints: 47202
2267.57/2273.54 c #Conflicts: 1443000 | #Constraints: 48202
2267.57/2273.54 c INPROCESSING
2267.57/2273.54 c GARBAGE COLLECT
2267.57/2273.54 c #Conflicts: 1444000 | #Constraints: 25389
2267.57/2273.54 c #Conflicts: 1445000 | #Constraints: 26389
2267.57/2273.54 c #Conflicts: 1446000 | #Constraints: 27389
2267.57/2273.54 c #Conflicts: 1447000 | #Constraints: 28389
2267.57/2273.54 c #Conflicts: 1448000 | #Constraints: 29389
2267.57/2273.54 c #Conflicts: 1449000 | #Constraints: 30389
2267.57/2273.54 c #Conflicts: 1450000 | #Constraints: 31389
2267.57/2273.54 c #Conflicts: 1451000 | #Constraints: 32389
2267.57/2273.54 c #Conflicts: 1452000 | #Constraints: 33389
2267.57/2273.54 c #Conflicts: 1453000 | #Constraints: 34389
2267.57/2273.54 c #Conflicts: 1454000 | #Constraints: 35389
2267.57/2273.54 c #Conflicts: 1455000 | #Constraints: 36389
2267.57/2273.54 c #Conflicts: 1456000 | #Constraints: 37389
2267.57/2273.54 c #Conflicts: 1457000 | #Constraints: 38389
2267.57/2273.54 c #Conflicts: 1458000 | #Constraints: 39389
2267.57/2273.54 c #Conflicts: 1459000 | #Constraints: 40389
2267.57/2273.54 c #Conflicts: 1460000 | #Constraints: 41389
2267.57/2273.54 c #Conflicts: 1461000 | #Constraints: 42389
2267.57/2273.54 c #Conflicts: 1462000 | #Constraints: 43389
2267.57/2273.54 c #Conflicts: 1463000 | #Constraints: 44389
2267.57/2273.54 c #Conflicts: 1464000 | #Constraints: 45389
2267.57/2273.54 c #Conflicts: 1465000 | #Constraints: 46389
2267.57/2273.54 c #Conflicts: 1466000 | #Constraints: 47389
2267.57/2273.54 c #Conflicts: 1467000 | #Constraints: 48389
2267.57/2273.54 c INPROCESSING
2267.57/2273.54 c GARBAGE COLLECT
2267.57/2273.54 c #Conflicts: 1468000 | #Constraints: 25394
2267.57/2273.54 c #Conflicts: 1469000 | #Constraints: 26394
2267.57/2273.54 c #Conflicts: 1470000 | #Constraints: 27394
2267.57/2273.54 c #Conflicts: 1471000 | #Constraints: 28394
2453.30/2459.75 c #Conflicts: 1472000 | #Constraints: 29394
2453.30/2459.75 c #Conflicts: 1473000 | #Constraints: 30394
2453.30/2459.75 c #Conflicts: 1474000 | #Constraints: 31394
2453.30/2459.75 c #Conflicts: 1475000 | #Constraints: 32394
2453.30/2459.75 c #Conflicts: 1476000 | #Constraints: 33394
2453.30/2459.75 c #Conflicts: 1477000 | #Constraints: 34394
2453.30/2459.75 c #Conflicts: 1478000 | #Constraints: 35394
2453.30/2459.75 c #Conflicts: 1479000 | #Constraints: 36394
2453.30/2459.75 c #Conflicts: 1480000 | #Constraints: 37394
2453.30/2459.75 c #Conflicts: 1481000 | #Constraints: 38394
2453.30/2459.75 c #Conflicts: 1482000 | #Constraints: 39394
2453.30/2459.75 c #Conflicts: 1483000 | #Constraints: 40394
2453.30/2459.75 c #Conflicts: 1484000 | #Constraints: 41394
2453.30/2459.75 c #Conflicts: 1485000 | #Constraints: 42394
2453.30/2459.75 c #Conflicts: 1486000 | #Constraints: 43394
2453.30/2459.75 c #Conflicts: 1487000 | #Constraints: 44394
2453.30/2459.75 c #Conflicts: 1488000 | #Constraints: 45394
2453.30/2459.75 c #Conflicts: 1489000 | #Constraints: 46394
2453.30/2459.75 c #Conflicts: 1490000 | #Constraints: 47394
2453.30/2459.75 c #Conflicts: 1491000 | #Constraints: 48394
2453.30/2459.75 c INPROCESSING
2453.30/2459.75 c GARBAGE COLLECT
2453.30/2459.75 c #Conflicts: 1492000 | #Constraints: 25202
2453.30/2459.75 c #Conflicts: 1493000 | #Constraints: 26202
2453.30/2459.75 c #Conflicts: 1494000 | #Constraints: 27202
2453.30/2459.75 c #Conflicts: 1495000 | #Constraints: 28202
2453.30/2459.75 c #Conflicts: 1496000 | #Constraints: 29202
2453.30/2459.75 c #Conflicts: 1497000 | #Constraints: 30202
2453.30/2459.75 c #Conflicts: 1498000 | #Constraints: 31202
2453.30/2459.75 c #Conflicts: 1499000 | #Constraints: 32202
2453.30/2459.75 c #Conflicts: 1500000 | #Constraints: 33202
2453.30/2459.75 c #Conflicts: 1501000 | #Constraints: 34202
2453.30/2459.75 c #Conflicts: 1502000 | #Constraints: 35202
2453.30/2459.75 c #Conflicts: 1503000 | #Constraints: 36202
2453.30/2459.75 c #Conflicts: 1504000 | #Constraints: 37202
2453.30/2459.75 c #Conflicts: 1505000 | #Constraints: 38202
2453.30/2459.75 c #Conflicts: 1506000 | #Constraints: 39202
2453.30/2459.75 c #Conflicts: 1507000 | #Constraints: 40202
2453.30/2459.75 c #Conflicts: 1508000 | #Constraints: 41202
2453.30/2459.75 c #Conflicts: 1509000 | #Constraints: 42202
2453.30/2459.75 c #Conflicts: 1510000 | #Constraints: 43202
2453.30/2459.75 c #Conflicts: 1511000 | #Constraints: 44202
2453.30/2459.75 c #Conflicts: 1512000 | #Constraints: 45202
2453.30/2459.75 c #Conflicts: 1513000 | #Constraints: 46202
2453.30/2459.75 c #Conflicts: 1514000 | #Constraints: 47202
2453.30/2459.75 c #Conflicts: 1515000 | #Constraints: 48202
2453.30/2459.75 c #Conflicts: 1516000 | #Constraints: 49202
2453.30/2459.75 c INPROCESSING
2453.30/2459.75 c GARBAGE COLLECT
2453.30/2459.75 c #Conflicts: 1517000 | #Constraints: 25800
2453.30/2459.75 c #Conflicts: 1518000 | #Constraints: 26800
2453.30/2459.75 c #Conflicts: 1519000 | #Constraints: 27800
2453.30/2459.75 c #Conflicts: 1520000 | #Constraints: 28800
2453.30/2459.75 c #Conflicts: 1521000 | #Constraints: 29800
2453.30/2459.75 c #Conflicts: 1522000 | #Constraints: 30800
2453.30/2459.75 c #Conflicts: 1523000 | #Constraints: 31800
2453.30/2459.75 c #Conflicts: 1524000 | #Constraints: 32800
2453.30/2459.75 c #Conflicts: 1525000 | #Constraints: 33800
2453.30/2459.75 c #Conflicts: 1526000 | #Constraints: 34800
2453.30/2459.75 c #Conflicts: 1527000 | #Constraints: 35800
2453.30/2459.75 c #Conflicts: 1528000 | #Constraints: 36800
2453.30/2459.75 c #Conflicts: 1529000 | #Constraints: 37800
2453.30/2459.75 c #Conflicts: 1530000 | #Constraints: 38800
2453.30/2459.75 c #Conflicts: 1531000 | #Constraints: 39800
2453.30/2459.75 c #Conflicts: 1532000 | #Constraints: 40800
2453.30/2459.75 c #Conflicts: 1533000 | #Constraints: 41800
2453.30/2459.75 c #Conflicts: 1534000 | #Constraints: 42800
2453.30/2459.75 c #Conflicts: 1535000 | #Constraints: 43800
2453.30/2459.75 c #Conflicts: 1536000 | #Constraints: 44800
2453.30/2459.75 c #Conflicts: 1537000 | #Constraints: 45800
2453.30/2459.75 c #Conflicts: 1538000 | #Constraints: 46800
2453.30/2459.75 c #Conflicts: 1539000 | #Constraints: 47800
2453.30/2459.75 c #Conflicts: 1540000 | #Constraints: 48800
2453.30/2459.75 c #Conflicts: 1541000 | #Constraints: 49800
2453.30/2459.75 c INPROCESSING
2453.30/2459.75 c GARBAGE COLLECT
2453.30/2459.75 c #Conflicts: 1542000 | #Constraints: 26203
2453.30/2459.75 c #Conflicts: 1543000 | #Constraints: 27203
2453.30/2459.75 c #Conflicts: 1544000 | #Constraints: 28203
2453.30/2459.75 c #Conflicts: 1545000 | #Constraints: 29203
2453.30/2459.75 c #Conflicts: 1546000 | #Constraints: 30203
2453.30/2459.75 c #Conflicts: 1547000 | #Constraints: 31203
2453.30/2459.75 c #Conflicts: 1548000 | #Constraints: 32203
2624.28/2631.15 c #Conflicts: 1549000 | #Constraints: 33203
2624.28/2631.15 c #Conflicts: 1550000 | #Constraints: 34203
2624.28/2631.15 c #Conflicts: 1551000 | #Constraints: 35203
2624.28/2631.15 c #Conflicts: 1552000 | #Constraints: 36203
2624.28/2631.15 c #Conflicts: 1553000 | #Constraints: 37203
2624.28/2631.15 c #Conflicts: 1554000 | #Constraints: 38203
2624.28/2631.15 c #Conflicts: 1555000 | #Constraints: 39203
2624.28/2631.15 c #Conflicts: 1556000 | #Constraints: 40203
2624.28/2631.15 c #Conflicts: 1557000 | #Constraints: 41203
2624.28/2631.15 c #Conflicts: 1558000 | #Constraints: 42203
2624.28/2631.15 c #Conflicts: 1559000 | #Constraints: 43203
2624.28/2631.15 c #Conflicts: 1560000 | #Constraints: 44203
2624.28/2631.15 c #Conflicts: 1561000 | #Constraints: 45203
2624.28/2631.15 c #Conflicts: 1562000 | #Constraints: 46203
2624.28/2631.15 c #Conflicts: 1563000 | #Constraints: 47203
2624.28/2631.15 c #Conflicts: 1564000 | #Constraints: 48203
2624.28/2631.15 c #Conflicts: 1565000 | #Constraints: 49203
2624.28/2631.15 c #Conflicts: 1566000 | #Constraints: 50203
2624.28/2631.15 c INPROCESSING
2624.28/2631.15 c GARBAGE COLLECT
2624.28/2631.15 c #Conflicts: 1567000 | #Constraints: 26397
2624.28/2631.15 c #Conflicts: 1568000 | #Constraints: 27397
2624.28/2631.15 c #Conflicts: 1569000 | #Constraints: 28397
2624.28/2631.15 c #Conflicts: 1570000 | #Constraints: 29397
2624.28/2631.15 c #Conflicts: 1571000 | #Constraints: 30397
2624.28/2631.15 c #Conflicts: 1572000 | #Constraints: 31397
2624.28/2631.15 c #Conflicts: 1573000 | #Constraints: 32397
2624.28/2631.15 c #Conflicts: 1574000 | #Constraints: 33397
2624.28/2631.15 c #Conflicts: 1575000 | #Constraints: 34397
2624.28/2631.15 c #Conflicts: 1576000 | #Constraints: 35397
2624.28/2631.15 c #Conflicts: 1577000 | #Constraints: 36397
2624.28/2631.15 c #Conflicts: 1578000 | #Constraints: 37397
2624.28/2631.15 c #Conflicts: 1579000 | #Constraints: 38397
2624.28/2631.15 c #Conflicts: 1580000 | #Constraints: 39397
2624.28/2631.15 c #Conflicts: 1581000 | #Constraints: 40397
2624.28/2631.15 c #Conflicts: 1582000 | #Constraints: 41397
2624.28/2631.15 c #Conflicts: 1583000 | #Constraints: 42397
2624.28/2631.15 c #Conflicts: 1584000 | #Constraints: 43397
2624.28/2631.15 c #Conflicts: 1585000 | #Constraints: 44397
2624.28/2631.15 c #Conflicts: 1586000 | #Constraints: 45397
2624.28/2631.15 c #Conflicts: 1587000 | #Constraints: 46397
2624.28/2631.15 c #Conflicts: 1588000 | #Constraints: 47397
2624.28/2631.15 c #Conflicts: 1589000 | #Constraints: 48397
2624.28/2631.15 c #Conflicts: 1590000 | #Constraints: 49397
2624.28/2631.15 c #Conflicts: 1591000 | #Constraints: 50397
2624.28/2631.15 c INPROCESSING
2624.28/2631.15 c GARBAGE COLLECT
2624.28/2631.15 c #Conflicts: 1592000 | #Constraints: 26405
2624.28/2631.15 c #Conflicts: 1593000 | #Constraints: 27405
2624.28/2631.15 c #Conflicts: 1594000 | #Constraints: 28405
2624.28/2631.15 c #Conflicts: 1595000 | #Constraints: 29405
2624.28/2631.15 c #Conflicts: 1596000 | #Constraints: 30405
2624.28/2631.15 c #Conflicts: 1597000 | #Constraints: 31405
2624.28/2631.15 c #Conflicts: 1598000 | #Constraints: 32405
2624.28/2631.15 c #Conflicts: 1599000 | #Constraints: 33405
2624.28/2631.15 c #Conflicts: 1600000 | #Constraints: 34405
2624.28/2631.15 c #Conflicts: 1601000 | #Constraints: 35405
2624.28/2631.15 c #Conflicts: 1602000 | #Constraints: 36405
2624.28/2631.15 c #Conflicts: 1603000 | #Constraints: 37405
2624.28/2631.15 c #Conflicts: 1604000 | #Constraints: 38405
2624.28/2631.15 c #Conflicts: 1605000 | #Constraints: 39405
2624.28/2631.15 c #Conflicts: 1606000 | #Constraints: 40405
2624.28/2631.15 c #Conflicts: 1607000 | #Constraints: 41405
2624.28/2631.15 c #Conflicts: 1608000 | #Constraints: 42405
2624.28/2631.15 c #Conflicts: 1609000 | #Constraints: 43405
2624.28/2631.15 c #Conflicts: 1610000 | #Constraints: 44405
2624.28/2631.15 c #Conflicts: 1611000 | #Constraints: 45405
2624.28/2631.15 c #Conflicts: 1612000 | #Constraints: 46405
2624.28/2631.15 c #Conflicts: 1613000 | #Constraints: 47405
2624.28/2631.15 c #Conflicts: 1614000 | #Constraints: 48405
2624.28/2631.15 c #Conflicts: 1615000 | #Constraints: 49405
2624.28/2631.15 c #Conflicts: 1616000 | #Constraints: 50405
2624.28/2631.15 c INPROCESSING
2624.28/2631.15 c GARBAGE COLLECT
2624.28/2631.15 c #Conflicts: 1617000 | #Constraints: 26204
2624.28/2631.15 c #Conflicts: 1618000 | #Constraints: 27204
2624.28/2631.15 c #Conflicts: 1619000 | #Constraints: 28204
2624.28/2631.15 c #Conflicts: 1620000 | #Constraints: 29204
2624.28/2631.15 c #Conflicts: 1621000 | #Constraints: 30204
2624.28/2631.15 c #Conflicts: 1622000 | #Constraints: 31204
2624.28/2631.15 c #Conflicts: 1623000 | #Constraints: 32204
2624.28/2631.15 c #Conflicts: 1624000 | #Constraints: 33204
2855.44/2863.07 c #Conflicts: 1625000 | #Constraints: 34204
2855.44/2863.07 c #Conflicts: 1626000 | #Constraints: 35204
2855.44/2863.07 c #Conflicts: 1627000 | #Constraints: 36204
2855.44/2863.07 c #Conflicts: 1628000 | #Constraints: 37204
2855.44/2863.07 c #Conflicts: 1629000 | #Constraints: 38204
2855.44/2863.07 c #Conflicts: 1630000 | #Constraints: 39204
2855.44/2863.07 c #Conflicts: 1631000 | #Constraints: 40204
2855.44/2863.07 c #Conflicts: 1632000 | #Constraints: 41204
2855.44/2863.07 c #Conflicts: 1633000 | #Constraints: 42204
2855.44/2863.07 c #Conflicts: 1634000 | #Constraints: 43204
2855.44/2863.07 c #Conflicts: 1635000 | #Constraints: 44204
2855.44/2863.07 c #Conflicts: 1636000 | #Constraints: 45204
2855.44/2863.07 c #Conflicts: 1637000 | #Constraints: 46204
2855.44/2863.07 c #Conflicts: 1638000 | #Constraints: 47204
2855.44/2863.07 c #Conflicts: 1639000 | #Constraints: 48204
2855.44/2863.07 c #Conflicts: 1640000 | #Constraints: 49204
2855.44/2863.07 c #Conflicts: 1641000 | #Constraints: 50204
2855.44/2863.07 c #Conflicts: 1642000 | #Constraints: 51204
2855.44/2863.07 c INPROCESSING
2855.44/2863.07 c GARBAGE COLLECT
2855.44/2863.07 c #Conflicts: 1643000 | #Constraints: 26802
2855.44/2863.07 c #Conflicts: 1644000 | #Constraints: 27802
2855.44/2863.07 c #Conflicts: 1645000 | #Constraints: 28802
2855.44/2863.07 c #Conflicts: 1646000 | #Constraints: 29802
2855.44/2863.07 c #Conflicts: 1647000 | #Constraints: 30802
2855.44/2863.07 c #Conflicts: 1648000 | #Constraints: 31802
2855.44/2863.07 c #Conflicts: 1649000 | #Constraints: 32802
2855.44/2863.07 c #Conflicts: 1650000 | #Constraints: 33802
2855.44/2863.07 c #Conflicts: 1651000 | #Constraints: 34802
2855.44/2863.07 c #Conflicts: 1652000 | #Constraints: 35802
2855.44/2863.07 c #Conflicts: 1653000 | #Constraints: 36802
2855.44/2863.07 c #Conflicts: 1654000 | #Constraints: 37802
2855.44/2863.07 c #Conflicts: 1655000 | #Constraints: 38802
2855.44/2863.07 c #Conflicts: 1656000 | #Constraints: 39802
2855.44/2863.07 c #Conflicts: 1657000 | #Constraints: 40802
2855.44/2863.07 c #Conflicts: 1658000 | #Constraints: 41802
2855.44/2863.07 c #Conflicts: 1659000 | #Constraints: 42802
2855.44/2863.07 c #Conflicts: 1660000 | #Constraints: 43802
2855.44/2863.07 c #Conflicts: 1661000 | #Constraints: 44802
2855.44/2863.07 c #Conflicts: 1662000 | #Constraints: 45802
2855.44/2863.07 c #Conflicts: 1663000 | #Constraints: 46802
2855.44/2863.07 c #Conflicts: 1664000 | #Constraints: 47802
2855.44/2863.07 c #Conflicts: 1665000 | #Constraints: 48802
2855.44/2863.07 c #Conflicts: 1666000 | #Constraints: 49802
2855.44/2863.07 c #Conflicts: 1667000 | #Constraints: 50802
2855.44/2863.07 c #Conflicts: 1668000 | #Constraints: 51802
2855.44/2863.07 c INPROCESSING
2855.44/2863.07 c GARBAGE COLLECT
2855.44/2863.07 c #Conflicts: 1669000 | #Constraints: 27202
2855.44/2863.07 c #Conflicts: 1670000 | #Constraints: 28202
2855.44/2863.07 c #Conflicts: 1671000 | #Constraints: 29202
2855.44/2863.07 c #Conflicts: 1672000 | #Constraints: 30202
2855.44/2863.07 c #Conflicts: 1673000 | #Constraints: 31202
2855.44/2863.07 c #Conflicts: 1674000 | #Constraints: 32202
2855.44/2863.07 c #Conflicts: 1675000 | #Constraints: 33202
2855.44/2863.07 c #Conflicts: 1676000 | #Constraints: 34202
2855.44/2863.07 c #Conflicts: 1677000 | #Constraints: 35202
2855.44/2863.07 c #Conflicts: 1678000 | #Constraints: 36202
2855.44/2863.07 c #Conflicts: 1679000 | #Constraints: 37202
2855.44/2863.07 c #Conflicts: 1680000 | #Constraints: 38202
2855.44/2863.07 c #Conflicts: 1681000 | #Constraints: 39202
2855.44/2863.07 c #Conflicts: 1682000 | #Constraints: 40202
2855.44/2863.07 c #Conflicts: 1683000 | #Constraints: 41202
2855.44/2863.07 c #Conflicts: 1684000 | #Constraints: 42202
2855.44/2863.07 c #Conflicts: 1685000 | #Constraints: 43202
2855.44/2863.07 c #Conflicts: 1686000 | #Constraints: 44202
2855.44/2863.07 c #Conflicts: 1687000 | #Constraints: 45202
2855.44/2863.07 c #Conflicts: 1688000 | #Constraints: 46202
2855.44/2863.07 c #Conflicts: 1689000 | #Constraints: 47202
2855.44/2863.07 c #Conflicts: 1690000 | #Constraints: 48202
2855.44/2863.07 c #Conflicts: 1691000 | #Constraints: 49202
2855.44/2863.07 c #Conflicts: 1692000 | #Constraints: 50202
2855.44/2863.07 c #Conflicts: 1693000 | #Constraints: 51202
2855.44/2863.07 c #Conflicts: 1694000 | #Constraints: 52202
2855.44/2863.07 c INPROCESSING
2855.44/2863.07 c GARBAGE COLLECT
2855.44/2863.07 c #Conflicts: 1695000 | #Constraints: 27404
2855.44/2863.07 c #Conflicts: 1696000 | #Constraints: 28404
2855.44/2863.07 c #Conflicts: 1697000 | #Constraints: 29404
2855.44/2863.07 c #Conflicts: 1698000 | #Constraints: 30404
2855.44/2863.07 c #Conflicts: 1699000 | #Constraints: 31404
2855.44/2863.07 c #Conflicts: 1700000 | #Constraints: 32404
2855.44/2863.07 c #Conflicts: 1701000 | #Constraints: 33404
3080.29/3088.68 c #Conflicts: 1702000 | #Constraints: 34404
3080.29/3088.68 c #Conflicts: 1703000 | #Constraints: 35404
3080.29/3088.68 c #Conflicts: 1704000 | #Constraints: 36404
3080.29/3088.68 c #Conflicts: 1705000 | #Constraints: 37404
3080.29/3088.68 c #Conflicts: 1706000 | #Constraints: 38404
3080.29/3088.68 c #Conflicts: 1707000 | #Constraints: 39404
3080.29/3088.68 c #Conflicts: 1708000 | #Constraints: 40404
3080.29/3088.68 c #Conflicts: 1709000 | #Constraints: 41404
3080.29/3088.68 c #Conflicts: 1710000 | #Constraints: 42404
3080.29/3088.68 c #Conflicts: 1711000 | #Constraints: 43404
3080.29/3088.68 c #Conflicts: 1712000 | #Constraints: 44404
3080.29/3088.68 c #Conflicts: 1713000 | #Constraints: 45404
3080.29/3088.68 c #Conflicts: 1714000 | #Constraints: 46404
3080.29/3088.68 c #Conflicts: 1715000 | #Constraints: 47404
3080.29/3088.68 c #Conflicts: 1716000 | #Constraints: 48404
3080.29/3088.68 c #Conflicts: 1717000 | #Constraints: 49404
3080.29/3088.68 c #Conflicts: 1718000 | #Constraints: 50404
3080.29/3088.68 c #Conflicts: 1719000 | #Constraints: 51404
3080.29/3088.68 c #Conflicts: 1720000 | #Constraints: 52404
3080.29/3088.68 c INPROCESSING
3080.29/3088.68 c GARBAGE COLLECT
3080.29/3088.68 c #Conflicts: 1721000 | #Constraints: 27403
3080.29/3088.68 c #Conflicts: 1722000 | #Constraints: 28403
3080.29/3088.68 c #Conflicts: 1723000 | #Constraints: 29403
3080.29/3088.68 c #Conflicts: 1724000 | #Constraints: 30403
3080.29/3088.68 c #Conflicts: 1725000 | #Constraints: 31403
3080.29/3088.68 c #Conflicts: 1726000 | #Constraints: 32403
3080.29/3088.68 c #Conflicts: 1727000 | #Constraints: 33403
3080.29/3088.68 c #Conflicts: 1728000 | #Constraints: 34403
3080.29/3088.68 c #Conflicts: 1729000 | #Constraints: 35403
3080.29/3088.68 c #Conflicts: 1730000 | #Constraints: 36403
3080.29/3088.68 c #Conflicts: 1731000 | #Constraints: 37403
3080.29/3088.68 c #Conflicts: 1732000 | #Constraints: 38403
3080.29/3088.68 c #Conflicts: 1733000 | #Constraints: 39403
3080.29/3088.68 c #Conflicts: 1734000 | #Constraints: 40403
3080.29/3088.68 c #Conflicts: 1735000 | #Constraints: 41403
3080.29/3088.68 c #Conflicts: 1736000 | #Constraints: 42403
3080.29/3088.68 c #Conflicts: 1737000 | #Constraints: 43403
3080.29/3088.68 c #Conflicts: 1738000 | #Constraints: 44403
3080.29/3088.68 c #Conflicts: 1739000 | #Constraints: 45403
3080.29/3088.68 c #Conflicts: 1740000 | #Constraints: 46403
3080.29/3088.68 c #Conflicts: 1741000 | #Constraints: 47403
3080.29/3088.68 c #Conflicts: 1742000 | #Constraints: 48403
3080.29/3088.68 c #Conflicts: 1743000 | #Constraints: 49403
3080.29/3088.68 c #Conflicts: 1744000 | #Constraints: 50403
3080.29/3088.68 c #Conflicts: 1745000 | #Constraints: 51403
3080.29/3088.68 c #Conflicts: 1746000 | #Constraints: 52403
3080.29/3088.68 c INPROCESSING
3080.29/3088.68 c GARBAGE COLLECT
3080.29/3088.68 c #Conflicts: 1747000 | #Constraints: 27206
3080.29/3088.68 c #Conflicts: 1748000 | #Constraints: 28206
3080.29/3088.68 c #Conflicts: 1749000 | #Constraints: 29206
3080.29/3088.68 c #Conflicts: 1750000 | #Constraints: 30206
3080.29/3088.68 c #Conflicts: 1751000 | #Constraints: 31206
3080.29/3088.68 c #Conflicts: 1752000 | #Constraints: 32206
3080.29/3088.68 c #Conflicts: 1753000 | #Constraints: 33206
3080.29/3088.68 c #Conflicts: 1754000 | #Constraints: 34206
3080.29/3088.68 c #Conflicts: 1755000 | #Constraints: 35206
3080.29/3088.68 c #Conflicts: 1756000 | #Constraints: 36206
3080.29/3088.68 c #Conflicts: 1757000 | #Constraints: 37206
3080.29/3088.68 c #Conflicts: 1758000 | #Constraints: 38206
3080.29/3088.68 c #Conflicts: 1759000 | #Constraints: 39206
3080.29/3088.68 c #Conflicts: 1760000 | #Constraints: 40206
3080.29/3088.68 c #Conflicts: 1761000 | #Constraints: 41206
3080.29/3088.68 c #Conflicts: 1762000 | #Constraints: 42206
3080.29/3088.68 c #Conflicts: 1763000 | #Constraints: 43206
3080.29/3088.68 c #Conflicts: 1764000 | #Constraints: 44206
3080.29/3088.68 c #Conflicts: 1765000 | #Constraints: 45206
3080.29/3088.68 c #Conflicts: 1766000 | #Constraints: 46206
3080.29/3088.68 c #Conflicts: 1767000 | #Constraints: 47206
3080.29/3088.68 c #Conflicts: 1768000 | #Constraints: 48206
3080.29/3088.68 c #Conflicts: 1769000 | #Constraints: 49206
3080.29/3088.68 c #Conflicts: 1770000 | #Constraints: 50206
3080.29/3088.68 c #Conflicts: 1771000 | #Constraints: 51206
3080.29/3088.68 c #Conflicts: 1772000 | #Constraints: 52206
3080.29/3088.68 c #Conflicts: 1773000 | #Constraints: 53206
3080.29/3088.68 c INPROCESSING
3080.29/3088.68 c GARBAGE COLLECT
3080.29/3088.68 c #Conflicts: 1774000 | #Constraints: 27801
3080.29/3088.68 c #Conflicts: 1775000 | #Constraints: 28801
3080.29/3088.68 c #Conflicts: 1776000 | #Constraints: 29801
3080.29/3088.68 c #Conflicts: 1777000 | #Constraints: 30801
3080.29/3088.68 c #Conflicts: 1778000 | #Constraints: 31801
3283.07/3291.97 c #Conflicts: 1779000 | #Constraints: 32801
3283.07/3291.97 c #Conflicts: 1780000 | #Constraints: 33801
3283.07/3291.97 c #Conflicts: 1781000 | #Constraints: 34801
3283.07/3291.97 c #Conflicts: 1782000 | #Constraints: 35801
3283.07/3291.97 c #Conflicts: 1783000 | #Constraints: 36801
3283.07/3291.97 c #Conflicts: 1784000 | #Constraints: 37801
3283.07/3291.97 c #Conflicts: 1785000 | #Constraints: 38801
3283.07/3291.97 c #Conflicts: 1786000 | #Constraints: 39801
3283.07/3291.97 c #Conflicts: 1787000 | #Constraints: 40801
3283.07/3291.97 c #Conflicts: 1788000 | #Constraints: 41801
3283.07/3291.97 c #Conflicts: 1789000 | #Constraints: 42801
3283.07/3291.97 c #Conflicts: 1790000 | #Constraints: 43801
3283.07/3291.97 c #Conflicts: 1791000 | #Constraints: 44801
3283.07/3291.97 c #Conflicts: 1792000 | #Constraints: 45801
3283.07/3291.97 c #Conflicts: 1793000 | #Constraints: 46801
3283.07/3291.97 c #Conflicts: 1794000 | #Constraints: 47801
3283.07/3291.97 c #Conflicts: 1795000 | #Constraints: 48801
3283.07/3291.97 c #Conflicts: 1796000 | #Constraints: 49801
3283.07/3291.97 c #Conflicts: 1797000 | #Constraints: 50801
3283.07/3291.97 c #Conflicts: 1798000 | #Constraints: 51801
3283.07/3291.97 c #Conflicts: 1799000 | #Constraints: 52801
3283.07/3291.97 c #Conflicts: 1800000 | #Constraints: 53801
3283.07/3291.97 c INPROCESSING
3283.07/3291.97 c GARBAGE COLLECT
3283.07/3291.97 c #Conflicts: 1801000 | #Constraints: 28205
3283.07/3291.97 c #Conflicts: 1802000 | #Constraints: 29205
3283.07/3291.97 c #Conflicts: 1803000 | #Constraints: 30205
3283.07/3291.97 c #Conflicts: 1804000 | #Constraints: 31205
3283.07/3291.97 c #Conflicts: 1805000 | #Constraints: 32205
3283.07/3291.97 c #Conflicts: 1806000 | #Constraints: 33205
3283.07/3291.97 c #Conflicts: 1807000 | #Constraints: 34205
3283.07/3291.97 c #Conflicts: 1808000 | #Constraints: 35205
3283.07/3291.97 c #Conflicts: 1809000 | #Constraints: 36205
3283.07/3291.97 c #Conflicts: 1810000 | #Constraints: 37205
3283.07/3291.97 c #Conflicts: 1811000 | #Constraints: 38205
3283.07/3291.97 c #Conflicts: 1812000 | #Constraints: 39205
3283.07/3291.97 c #Conflicts: 1813000 | #Constraints: 40205
3283.07/3291.97 c #Conflicts: 1814000 | #Constraints: 41205
3283.07/3291.97 c #Conflicts: 1815000 | #Constraints: 42205
3283.07/3291.97 c #Conflicts: 1816000 | #Constraints: 43205
3283.07/3291.97 c #Conflicts: 1817000 | #Constraints: 44205
3283.07/3291.97 c #Conflicts: 1818000 | #Constraints: 45205
3283.07/3291.97 c #Conflicts: 1819000 | #Constraints: 46205
3283.07/3291.97 c #Conflicts: 1820000 | #Constraints: 47205
3283.07/3291.97 c #Conflicts: 1821000 | #Constraints: 48205
3283.07/3291.97 c #Conflicts: 1822000 | #Constraints: 49205
3283.07/3291.97 c #Conflicts: 1823000 | #Constraints: 50205
3283.07/3291.97 c #Conflicts: 1824000 | #Constraints: 51205
3283.07/3291.97 c #Conflicts: 1825000 | #Constraints: 52205
3283.07/3291.97 c #Conflicts: 1826000 | #Constraints: 53205
3283.07/3291.97 c #Conflicts: 1827000 | #Constraints: 54205
3283.07/3291.97 c INPROCESSING
3283.07/3291.97 c GARBAGE COLLECT
3283.07/3291.97 c #Conflicts: 1828000 | #Constraints: 28402
3283.07/3291.97 c #Conflicts: 1829000 | #Constraints: 29402
3283.07/3291.97 c #Conflicts: 1830000 | #Constraints: 30402
3283.07/3291.97 c #Conflicts: 1831000 | #Constraints: 31402
3283.07/3291.97 c #Conflicts: 1832000 | #Constraints: 32402
3283.07/3291.97 c #Conflicts: 1833000 | #Constraints: 33402
3283.07/3291.97 c #Conflicts: 1834000 | #Constraints: 34402
3283.07/3291.97 c #Conflicts: 1835000 | #Constraints: 35402
3283.07/3291.97 c #Conflicts: 1836000 | #Constraints: 36402
3283.07/3291.97 c #Conflicts: 1837000 | #Constraints: 37402
3283.07/3291.97 c #Conflicts: 1838000 | #Constraints: 38402
3283.07/3291.97 c #Conflicts: 1839000 | #Constraints: 39402
3283.07/3291.97 c #Conflicts: 1840000 | #Constraints: 40402
3283.07/3291.97 c #Conflicts: 1841000 | #Constraints: 41402
3283.07/3291.97 c #Conflicts: 1842000 | #Constraints: 42402
3283.07/3291.97 c #Conflicts: 1843000 | #Constraints: 43402
3283.07/3291.97 c #Conflicts: 1844000 | #Constraints: 44402
3283.07/3291.97 c #Conflicts: 1845000 | #Constraints: 45402
3283.07/3291.97 c #Conflicts: 1846000 | #Constraints: 46402
3283.07/3291.97 c #Conflicts: 1847000 | #Constraints: 47402
3283.07/3291.97 c #Conflicts: 1848000 | #Constraints: 48402
3283.07/3291.97 c #Conflicts: 1849000 | #Constraints: 49402
3283.07/3291.97 c #Conflicts: 1850000 | #Constraints: 50402
3283.07/3291.97 c #Conflicts: 1851000 | #Constraints: 51402
3283.07/3291.97 c #Conflicts: 1852000 | #Constraints: 52402
3283.07/3291.97 c #Conflicts: 1853000 | #Constraints: 53402
3283.07/3291.97 c #Conflicts: 1854000 | #Constraints: 54402
3283.07/3291.97 c INPROCESSING
3283.07/3291.97 c GARBAGE COLLECT
3283.07/3291.97 c #Conflicts: 1855000 | #Constraints: 28397
3493.64/3503.01 c #Conflicts: 1856000 | #Constraints: 29397
3493.64/3503.01 c #Conflicts: 1857000 | #Constraints: 30397
3493.64/3503.01 c #Conflicts: 1858000 | #Constraints: 31397
3493.64/3503.01 c #Conflicts: 1859000 | #Constraints: 32397
3493.64/3503.01 c #Conflicts: 1860000 | #Constraints: 33397
3493.64/3503.01 c #Conflicts: 1861000 | #Constraints: 34397
3493.64/3503.01 c #Conflicts: 1862000 | #Constraints: 35397
3493.64/3503.01 c #Conflicts: 1863000 | #Constraints: 36397
3493.64/3503.01 c #Conflicts: 1864000 | #Constraints: 37397
3493.64/3503.01 c #Conflicts: 1865000 | #Constraints: 38397
3493.64/3503.01 c #Conflicts: 1866000 | #Constraints: 39397
3493.64/3503.01 c #Conflicts: 1867000 | #Constraints: 40397
3493.64/3503.01 c #Conflicts: 1868000 | #Constraints: 41397
3493.64/3503.01 c #Conflicts: 1869000 | #Constraints: 42397
3493.64/3503.01 c #Conflicts: 1870000 | #Constraints: 43397
3493.64/3503.01 c #Conflicts: 1871000 | #Constraints: 44397
3493.64/3503.01 c #Conflicts: 1872000 | #Constraints: 45397
3493.64/3503.01 c #Conflicts: 1873000 | #Constraints: 46397
3493.64/3503.01 c #Conflicts: 1874000 | #Constraints: 47397
3493.64/3503.01 c #Conflicts: 1875000 | #Constraints: 48397
3493.64/3503.01 c #Conflicts: 1876000 | #Constraints: 49397
3493.64/3503.01 c #Conflicts: 1877000 | #Constraints: 50397
3493.64/3503.01 c #Conflicts: 1878000 | #Constraints: 51397
3493.64/3503.01 c #Conflicts: 1879000 | #Constraints: 52397
3493.64/3503.01 c #Conflicts: 1880000 | #Constraints: 53397
3493.64/3503.01 c #Conflicts: 1881000 | #Constraints: 54397
3493.64/3503.01 c INPROCESSING
3493.64/3503.01 c GARBAGE COLLECT
3493.64/3503.01 c #Conflicts: 1882000 | #Constraints: 28201
3493.64/3503.01 c #Conflicts: 1883000 | #Constraints: 29201
3493.64/3503.01 c #Conflicts: 1884000 | #Constraints: 30201
3493.64/3503.01 c #Conflicts: 1885000 | #Constraints: 31201
3493.64/3503.01 c #Conflicts: 1886000 | #Constraints: 32201
3493.64/3503.01 c #Conflicts: 1887000 | #Constraints: 33201
3493.64/3503.01 c #Conflicts: 1888000 | #Constraints: 34201
3493.64/3503.01 c #Conflicts: 1889000 | #Constraints: 35201
3493.64/3503.01 c #Conflicts: 1890000 | #Constraints: 36201
3493.64/3503.01 c #Conflicts: 1891000 | #Constraints: 37201
3493.64/3503.01 c #Conflicts: 1892000 | #Constraints: 38201
3493.64/3503.01 c #Conflicts: 1893000 | #Constraints: 39201
3493.64/3503.01 c #Conflicts: 1894000 | #Constraints: 40201
3493.64/3503.01 c #Conflicts: 1895000 | #Constraints: 41201
3493.64/3503.01 c #Conflicts: 1896000 | #Constraints: 42201
3493.64/3503.01 c #Conflicts: 1897000 | #Constraints: 43201
3493.64/3503.01 c #Conflicts: 1898000 | #Constraints: 44201
3493.64/3503.01 c #Conflicts: 1899000 | #Constraints: 45201
3493.64/3503.01 c #Conflicts: 1900000 | #Constraints: 46201
3493.64/3503.01 c #Conflicts: 1901000 | #Constraints: 47201
3493.64/3503.01 c #Conflicts: 1902000 | #Constraints: 48201
3493.64/3503.01 c #Conflicts: 1903000 | #Constraints: 49201
3493.64/3503.01 c #Conflicts: 1904000 | #Constraints: 50201
3493.64/3503.01 c #Conflicts: 1905000 | #Constraints: 51201
3493.64/3503.01 c #Conflicts: 1906000 | #Constraints: 52201
3493.64/3503.01 c #Conflicts: 1907000 | #Constraints: 53201
3493.64/3503.01 c #Conflicts: 1908000 | #Constraints: 54201
3493.64/3503.01 c #Conflicts: 1909000 | #Constraints: 55201
3493.64/3503.01 c INPROCESSING
3493.64/3503.01 c GARBAGE COLLECT
3493.64/3503.01 c #Conflicts: 1910000 | #Constraints: 28803
3493.64/3503.01 c #Conflicts: 1911000 | #Constraints: 29803
3493.64/3503.01 c #Conflicts: 1912000 | #Constraints: 30803
3493.64/3503.01 c #Conflicts: 1913000 | #Constraints: 31803
3493.64/3503.01 c #Conflicts: 1914000 | #Constraints: 32803
3493.64/3503.01 c #Conflicts: 1915000 | #Constraints: 33803
3493.64/3503.01 c #Conflicts: 1916000 | #Constraints: 34803
3493.64/3503.01 c #Conflicts: 1917000 | #Constraints: 35803
3493.64/3503.01 c #Conflicts: 1918000 | #Constraints: 36803
3493.64/3503.01 c #Conflicts: 1919000 | #Constraints: 37803
3493.64/3503.01 c #Conflicts: 1920000 | #Constraints: 38803
3493.64/3503.01 c #Conflicts: 1921000 | #Constraints: 39803
3493.64/3503.01 c #Conflicts: 1922000 | #Constraints: 40803
3493.64/3503.01 c #Conflicts: 1923000 | #Constraints: 41803
3493.64/3503.01 c #Conflicts: 1924000 | #Constraints: 42803
3493.64/3503.01 c #Conflicts: 1925000 | #Constraints: 43803
3493.64/3503.01 c #Conflicts: 1926000 | #Constraints: 44803
3493.64/3503.01 c #Conflicts: 1927000 | #Constraints: 45803
3493.64/3503.01 c #Conflicts: 1928000 | #Constraints: 46803
3493.64/3503.01 c #Conflicts: 1929000 | #Constraints: 47803
3493.64/3503.01 c #Conflicts: 1930000 | #Constraints: 48803
3493.64/3503.01 c #Conflicts: 1931000 | #Constraints: 49803
3493.64/3503.01 c #Conflicts: 1932000 | #Constraints: 50803
3493.64/3503.01 c #Conflicts: 1933000 | #Constraints: 51803
3600.06/3609.70 c #Conflicts: 1934000 | #Constraints: 52803
3600.06/3609.70 c #Conflicts: 1935000 | #Constraints: 53803
3600.06/3609.70 c #Conflicts: 1936000 | #Constraints: 54803
3600.06/3609.70 c #Conflicts: 1937000 | #Constraints: 55803
3600.06/3609.70 c INPROCESSING
3600.06/3609.70 c GARBAGE COLLECT
3600.06/3609.70 c #Conflicts: 1938000 | #Constraints: 29205
3600.06/3609.70 c #Conflicts: 1939000 | #Constraints: 30205
3600.06/3609.70 c #Conflicts: 1940000 | #Constraints: 31205
3600.06/3609.70 c #Conflicts: 1941000 | #Constraints: 32205
3600.06/3609.70 c #Conflicts: 1942000 | #Constraints: 33205
3600.06/3609.70 c #Conflicts: 1943000 | #Constraints: 34205
3600.06/3609.70 c #Conflicts: 1944000 | #Constraints: 35205
3600.06/3609.70 c #Conflicts: 1945000 | #Constraints: 36205
3600.06/3609.70 c #Conflicts: 1946000 | #Constraints: 37205
3600.06/3609.70 c #Conflicts: 1947000 | #Constraints: 38205
3600.06/3609.70 c #Conflicts: 1948000 | #Constraints: 39205
3600.06/3609.70 c #Conflicts: 1949000 | #Constraints: 40205
3600.06/3609.70 c #Conflicts: 1950000 | #Constraints: 41205
3600.06/3609.70 c #Conflicts: 1951000 | #Constraints: 42205
3600.06/3609.70 c #Conflicts: 1952000 | #Constraints: 43205
3600.06/3609.70 c #Conflicts: 1953000 | #Constraints: 44205
3600.06/3609.70 c #Conflicts: 1954000 | #Constraints: 45205
3600.06/3609.70 c #Conflicts: 1955000 | #Constraints: 46205
3600.06/3609.70 c #Conflicts: 1956000 | #Constraints: 47205
3600.06/3609.70 c #Conflicts: 1957000 | #Constraints: 48205
3600.06/3609.70 c #Conflicts: 1958000 | #Constraints: 49205
3600.06/3609.70 c #Conflicts: 1959000 | #Constraints: 50205
3600.06/3609.70 c #Conflicts: 1960000 | #Constraints: 51205
3600.06/3609.70 c #Conflicts: 1961000 | #Constraints: 52205
3600.06/3609.70 c #Conflicts: 1962000 | #Constraints: 53205
3600.06/3609.70 c #Conflicts: 1963000 | #Constraints: 54205
3600.06/3609.70 c #Conflicts: 1964000 | #Constraints: 55205
3600.06/3609.70 c #Conflicts: 1965000 | #Constraints: 56205
3600.06/3609.70 c INPROCESSING
3600.06/3609.70 c GARBAGE COLLECT
3600.06/3609.70 c #Conflicts: 1966000 | #Constraints: 29402
3600.06/3609.70 c #Conflicts: 1967000 | #Constraints: 30402
3600.06/3609.70 c #Conflicts: 1968000 | #Constraints: 31402
3600.06/3609.70 c #Conflicts: 1969000 | #Constraints: 32402
3600.06/3609.70 c #Conflicts: 1970000 | #Constraints: 33402
3600.06/3609.70 c #Conflicts: 1971000 | #Constraints: 34402
3600.06/3609.70 c #Conflicts: 1972000 | #Constraints: 35402
3600.06/3609.70 c #Conflicts: 1973000 | #Constraints: 36402
3600.06/3609.70 c cpu time 3588.94 s
3600.06/3609.70 c deterministic time 1 1.00e+00
3600.06/3609.70 c optimization time 3588.94 s
3600.06/3609.70 c total solve time 0 s
3600.06/3609.70 c core-guided solve time 0 s
3600.06/3609.70 c propagation time 0.000191 s
3600.06/3609.70 c conflict analysis time 0 s
3600.06/3609.70 c propagations 0
3600.06/3609.70 c resolve steps 0
3600.06/3609.70 c decisions 0
3600.06/3609.70 c conflicts 0
3600.06/3609.70 c restarts 0
3600.06/3609.70 c inprocessing phases 0
3600.06/3609.70 c garbage collections 0 ,( -nan )
3600.06/3609.70 c input clauses 0 ,( 0.00 )
3600.06/3609.70 c input cardinalities 0 ,( 0.00 )
3600.06/3609.70 c input general constraints 478 ,( 100.00 )
3600.06/3609.70 c input average constraint length 9.00
3600.06/3609.70 c input average constraint degree 28.84
3600.06/3609.70 c learned clauses 0 ,( 0.00 )
3600.06/3609.70 c learned cardinalities 0 ,( 0.00 )
3600.06/3609.70 c learned general constraints 0 ,( 0.00 )
3600.06/3609.70 c learned average constraint length 0.00
3600.06/3609.70 c learned average constraint degree 0.00
3600.06/3609.70 c watched CF 32, 64, 128, Arb: 7 , 0 , 0 , 0
3600.06/3609.70 c counting CF 32, 64, 128, Arb: 472 , 0 , 0 , 0
3600.06/3609.70 c watched constraints 7 ,( 1.46 )
3600.06/3609.70 c counting constraints 471 ,( 98.54 )
3600.06/3609.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.06/3609.70 c gcd simplifications 0
3600.06/3609.70 c detected cardinalities 0
3600.06/3609.70 c weakened non-implied lits 0
3600.06/3609.70 c weakened non-implying lits 0
3600.06/3609.70 c original variables 478
3600.06/3609.70 c clausal propagations 0
3600.06/3609.70 c cardinality propagations 0
3600.06/3609.70 c watched propagations 0
3600.06/3609.70 c counting propagations 0
3600.06/3609.70 c watch lookups 0
3600.06/3609.70 c watch backjump lookups 0
3600.06/3609.70 c watch checks 0
3600.06/3609.70 c propagation checks 0
3600.06/3609.70 c constraint additions 0
3600.06/3609.70 c trail pops 0
3600.06/3609.70 c formula constraints 478
3600.06/3609.70 c learned constraints 0
3600.06/3609.70 c bound constraints 0
3600.06/3609.70 c core-guided constraints 0
3600.06/3609.70 c encountered formula constraints 0
3600.06/3609.70 c encountered learned constraints 0
3600.06/3609.70 c encountered bound constraints 0
3600.06/3609.70 c encountered core-guided constraints 0
3600.06/3609.70 c LP total time 0 s
3600.06/3609.70 c LP solve time 0 s
3600.06/3609.70 c LP constraints added 0
3600.06/3609.70 c LP constraints removed 0
3600.06/3609.70 c LP pivots internal 0
3600.06/3609.70 c LP pivots root 0
3600.06/3609.70 c LP calls 0
3600.06/3609.70 c LP optimalities 0
3600.06/3609.70 c LP no pivot count 0
3600.06/3609.70 c LP infeasibilities 0
3600.06/3609.70 c LP valid Farkas constraints 0
3600.06/3609.70 c LP learned Farkas constraints 0
3600.06/3609.70 c LP basis resets 0
3600.06/3609.70 c LP cycling count 0
3600.06/3609.70 c LP singular count 0
3600.06/3609.70 c LP no primal count 0
3600.06/3609.70 c LP no farkas count 0
3600.06/3609.70 c LP other issue count 0
3600.06/3609.70 c LP Gomory cuts 0
3600.06/3609.70 c LP learned cuts 0
3600.06/3609.70 c LP deleted cuts 0
3600.06/3609.70 c LP encountered Gomory constraints 0
3600.06/3609.70 c LP encountered Farkas constraints 0
3600.06/3609.70 c LP encountered learned Farkas constraints 0
3600.06/3609.70 c CG auxiliary variables introduced 0
3600.06/3609.70 c CG solutions found 0
3600.06/3609.70 c CG cores constructed 0
3600.06/3609.70 c CG core cardinality constraints returned 0
3600.06/3609.70 c CG unit cores 0
3600.06/3609.70 c CG single cores 0
3600.06/3609.70 c CG blocks removed during cardinality reduction 0
3600.06/3609.70 c CG first core best 0
3600.06/3609.70 c CG decision core best 0
3600.06/3609.70 c CG core reduction tie 0
3600.06/3609.70 c CG core degree average 0.00
3600.06/3609.70 c CG core slack average 0.00
3600.06/3609.70 c CG core upper bound improvements 0
3600.06/3609.70 c STR number of successful calls 0
3600.06/3609.70 c STR number of unsuccessful calls 0
3600.06/3609.70 c STR number of inconclusive calls 0
3600.06/3609.70 c STR number of successful attempts 0
3600.06/3609.70 c STR number of unsuccessful attempts 0
3600.06/3609.70 c STR number of inconclusive attempts 0
3600.06/3609.70 c STR average degree increase per successful call inf
3600.06/3609.70 c STR average degree increase per successful attempt inf
3600.06/3609.70 c STR total number of conflicts for successful attempts 0
3600.06/3609.70 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3609.70 c STR total number of conflicts for inconclusive attempts 0
3600.06/3609.70 c STR average number of conflicts per successful attempt inf
3600.06/3609.70 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3609.70 c STR average number of conflicts per inconclusive attempt inf
3600.06/3609.70 c AVG.sumWPerc 71.01
3600.06/3609.70 c bigint constraints 0
3600.06/3609.70 s UNKNOWN
3600.06/3609.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (63046 MiB free)
memory of node 1: 64465 MiB (64031 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489046-1751351829/watcher-4489046-1751351829 -o /tmp/evaluation-result-4489046-1751351829/solver-4489046-1751351829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751348216-50578 --watchdog 3760 run-opt.sh HOME/instance-4489046-1751351829.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=51017, runsolver pid=51000
[startup+0.100058 s]*
/proc/loadavg: 4.07 4.08 4.09 6/269 51020
/proc/meminfo: memFree=130109772/131249996 swapFree=33006296/33010684
[pid=51017] ppid=51000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/51017/stat : 51017 (run-opt.sh) S 51000 51017 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94339684126720 94339685021253 140728785010128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94339685260304 94339685308048 94339699273728 140728785013101 140728785013224 140728785013224 140728785018826 0
/proc/51017/statm: 1048 768 704 219 0 110 0
[pid=51020] ppid=51017 vsize=64108 memory=16920 CPUtime=0.08 cores=1,3
/proc/51020/stat : 51020 (roundingsat) R 51017 51017 50566 0 -1 4194304 1617 0 0 0 8 0 0 0 20 0 1 0 50860362 65646592 4230 18446744073709551615 4227072 8923433 140722787687456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19755008 140722787695010 140722787695144 140722787695144 140722787700714 0
/proc/51020/statm: 16027 4230 2368 1147 0 3454 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 68300 KiB
Current children cumulated memory: 19992 KiB
[startup+0.204718 s]*
/proc/loadavg: 4.07 4.08 4.09 6/269 51020
/proc/meminfo: memFree=130088544/131249996 swapFree=33006296/33010684
[pid=51017] ppid=51000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/51017/stat : 51017 (run-opt.sh) S 51000 51017 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94339684126720 94339685021253 140728785010128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94339685260304 94339685308048 94339699273728 140728785013101 140728785013224 140728785013224 140728785018826 0
/proc/51017/statm: 1048 768 704 219 0 110 0
[pid=51020] ppid=51017 vsize=66392 memory=18840 CPUtime=0.19 cores=1,3
/proc/51020/stat : 51020 (roundingsat) R 51017 51017 50566 0 -1 4194304 2074 0 0 0 18 1 0 0 20 0 1 0 50860362 67985408 4710 18446744073709551615 4227072 8923433 140722787687456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19755008 140722787695010 140722787695144 140722787695144 140722787700714 0
/proc/51020/statm: 16598 4710 2368 1147 0 4025 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 70584 KiB
Current children cumulated memory: 21912 KiB
[startup+0.304594 s]*
/proc/loadavg: 4.07 4.08 4.09 6/269 51020
/proc/meminfo: memFree=130068320/131249996 swapFree=33006296/33010684
[pid=51017] ppid=51000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/51017/stat : 51017 (run-opt.sh) S 51000 51017 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94339684126720 94339685021253 140728785010128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94339685260304 94339685308048 94339699273728 140728785013101 140728785013224 140728785013224 140728785018826 0
/proc/51017/statm: 1048 768 704 219 0 110 0
[pid=51020] ppid=51017 vsize=67976 memory=21400 CPUtime=0.28 cores=1,3
/proc/51020/stat : 51020 (roundingsat) R 51017 51017 50566 0 -1 4194304 2737 0 0 0 27 1 0 0 20 0 1 0 50860362 69607424 5350 18446744073709551615 4227072 8923433 140722787687456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19755008 140722787695010 140722787695144 140722787695144 140722787700714 0
/proc/51020/statm: 16994 5350 2368 1147 0 4421 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 72168 KiB
Current children cumulated memory: 24472 KiB
[startup+0.700143 s]
/proc/loadavg: 4.07 4.08 4.09 6/269 51020
/proc/meminfo: memFree=130032536/131249996 swapFree=33006296/33010684
[pid=51017] ppid=51000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/51017/stat : 51017 (run-opt.sh) S 51000 51017 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94339684126720 94339685021253 140728785010128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94339685260304 94339685308048 94339699273728 140728785013101 140728785013224 140728785013224 140728785018826 0
/proc/51017/statm: 1048 768 704 219 0 110 0
[pid=51020] ppid=51017 vsize=77660 memory=28568 CPUtime=0.67 cores=1,3
/proc/51020/stat : 51020 (roundingsat) R 51017 51017 50566 0 -1 4194304 4538 0 0 0 65 2 0 0 20 0 1 0 50860362 79523840 7142 18446744073709551615 4227072 8923433 140722787687456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19755008 140722787695010 140722787695144 140722787695144 140722787700714 0
/proc/51020/statm: 19415 7142 2368 1147 0 6842 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 81852 KiB
Current children cumulated memory: 31640 KiB
[startup+1.50015 s]
/proc/loadavg: 4.07 4.08 4.09 6/269 51020
/proc/meminfo: memFree=129990072/131249996 swapFree=33006296/33010684
[pid=51017] ppid=51000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/51017/stat : 51017 (run-opt.sh) S 51000 51017 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94339684126720 94339685021253 140728785010128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94339685260304 94339685308048 94339699273728 140728785013101 140728785013224 140728785013224 140728785018826 0
/proc/51017/statm: 1048 768 704 219 0 110 0
[pid=51020] ppid=51017 vsize=92036 memory=39448 CPUtime=1.47 cores=1,3
/proc/51020/stat : 51020 (roundingsat) R 51017 51017 50566 0 -1 4194304 7254 0 0 0 143 4 0 0 20 0 1 0 50860362 94244864 9862 18446744073709551615 4227072 8923433 140722787687456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19755008 140722787695010 140722787695144 140722787695144 140722787700714 0
/proc/51020/statm: 23009 9862 2368 1147 0 10436 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 96228 KiB
Current children cumulated memory: 42520 KiB
[startup+3.10459 s]
/proc/loadavg: 4.07 4.08 4.09 6/269 51021
/proc/meminfo: memFree=129917416/131249996 swapFree=33006296/33010684
[pid=51017] ppid=51000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/51017/stat : 51017 (run-opt.sh) S 51000 51017 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94339684126720 94339685021253 140728785010128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94339685260304 94339685308048 94339699273728 140728785013101 140728785013224 140728785013224 140728785018826 0
/proc/51017/statm: 1048 768 704 219 0 110 0
[pid=51020] ppid=51017 vsize=98756 memory=47932 CPUtime=3.08 cores=1,3
/proc/51020/stat : 51020 (roundingsat) R 51017 51017 50566 0 -1 4194304 8854 0 0 0 300 8 0 0 20 0 1 0 50860362 101126144 11983 18446744073709551615 4227072 8923433 140722787687456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19755008 140722787695010 140722787695144 140722787695144 140722787700714 0
/proc/51020/statm: 24689 11983 2368 1147 0 12116 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 102948 KiB
Current children cumulated memory: 51004 KiB
[startup+6.30014 s]
/proc/loadavg: 4.07 4.08 4.09 6/269 51021
/proc/meminfo: memFree=129833600/131249996 swapFree=33006296/33010684
[pid=51017] ppid=51000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/51017/stat : 51017 (run-opt.sh) S 51000 51017 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94339684126720 94339685021253 140728785010128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94339685260304 94339685308048 94339699273728 140728785013101 140728785013224 140728785013224 140728785018826 0
/proc/51017/statm: 1048 768 704 219 0 110 0
[pid=51020] ppid=51017 vsize=108180 memory=51388 CPUtime=6.26 cores=1,3
/proc/51020/stat : 51020 (roundingsat) R 51017 51017 50566 0 -1 4194304 9727 0 0 0 614 12 0 0 20 0 1 0 50860362 110776320 12847 18446744073709551615 4227072 8923433 140722787687456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19755008 140722787695010 140722787695144 140722787695144 140722787700714 0
/proc/51020/statm: 27045 12847 2368 1147 0 14472 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 112372 KiB
Current children cumulated memory: 54460 KiB
[startup+12.7001 s]
/proc/loadavg: 4.14 4.10 4.09 6/269 51021
/proc/meminfo: memFree=129753324/131249996 swapFree=33006296/33010684
[pid=51017] ppid=51000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/51017/stat : 51017 (run-opt.sh) S 51000 51017 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94339684126720 94339685021253 140728785010128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94339685260304 94339685308048 94339699273728 140728785013101 140728785013224 140728785013224 140728785018826 0
/proc/51017/statm: 1048 768 704 219 0 110 0
[pid=51020] ppid=51017 vsize=113812 memory=60724 CPUtime=12.65 cores=1,3
/proc/51020/stat : 51020 (roundingsat) R 51017 51017 50566 0 -1 4194304 11559 0 0 0 1241 24 0 0 20 0 1 0 50860362 116543488 15181 18446744073709551615 4227072 8923433 140722787687456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19755008 140722787695010 140722787695144 140722787695144 140722787700714 0
/proc/51020/statm: 28453 15181 2368 1147 0 15880 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 118004 KiB
Current children cumulated memory: 63796 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.09 4.09 6/270 51022
/proc/meminfo: memFree=129449552/131249996 swapFree=33006296/33010684
[pid=51017] ppid=51000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/51017/stat : 51017 (run-opt.sh) S 51000 51017 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94339684126720 94339685021253 140728785010128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94339685260304 94339685308048 94339699273728 140728785013101 140728785013224 140728785013224 140728785018826 0
/proc/51017/statm: 1048 768 704 219 0 110 0
[pid=51020] ppid=51017 vsize=133012 memory=76616 CPUtime=25.42 cores=1,3
/proc/51020/stat : 51020 (roundingsat) R 51017 51017 50566 0 -1 4194304 14997 0 0 0 2504 38 0 0 20 0 1 0 50860362 136204288 19154 18446744073709551615 4227072 8923433 140722787687456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19755008 140722787695010 140722787695144 140722787695144 140722787700714 0
/proc/51020/statm: 33253 19154 2368 1147 0 20680 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 137204 KiB
Current children cumulated memory: 79688 KiB
[startup+51.1046 s]
/proc/loadavg: 4.07 4.08 4.09 6/270 51022
/proc/meminfo: memFree=129391248/131249996 swapFree=33006296/33010684
[pid=51017] ppid=51000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/51017/stat : 51017 (run-opt.sh) S 51000 51017 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94339684126720 94339685021253 140728785010128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94339685260304 94339685308048 94339699273728 140728785013101 140728785013224 140728785013224 140728785018826 0
/proc/51017/statm: 1048 768 704 219 0 110 0
[pid=51020] ppid=51017 vsize=154432 memory=97256 CPUtime=50.95 cores=1,3
/proc/51020/stat : 51020 (roundingsat) R 51017 51017 50566 0 -1 4194304 19170 0 0 0 5032 63 0 0 20 0 1 0 50860362 158138368 24314 18446744073709551615 4227072 8923433 140722787687456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19755008 140722787695010 140722787695144 140722787695144 140722787700714 0
/proc/51020/statm: 38608 24314 2368 1147 0 26035 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 158624 KiB
Current children cumulated memory: 100328 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/270 51024
/proc/meminfo: memFree=129203412/131249996 swapFree=33006296/33010684
[pid=51017] ppid=51000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/51017/stat : 51017 (run-opt.sh) S 51000 51017 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94339684126720 94339685021253 140728785010128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94339685260304 94339685308048 94339699273728 140728785013101 140728785013224 140728785013224 140728785018826 0
/proc/51017/statm: 1048 768 704 219 0 110 0
[pid=51020] ppid=51017 vsize=200972 memory=133328 CPUtime=102.01 cores=1,3
/proc/51020/stat : 51020 (roundingsat) R 51017 51017 50566 0 -1 4194304 27147 0 0 0 10096 105 0 0 20 0 1 0 50860362 205795328 33332 18446744073709551615 4227072 8923433 140722787687456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19755008 140722787695010 140722787695144 140722787695144 140722787700714 0
/proc/51020/statm: 50243 33332 2368 1147 0 37670 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 205164 KiB
Current children cumulated memory: 136400 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/269 51028
/proc/meminfo: memFree=129107288/131249996 swapFree=33006296/33010684
[pid=51017] ppid=51000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/51017/stat : 51017 (run-opt.sh) S 51000 51017 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94339684126720 94339685021253 140728785010128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94339685260304 94339685308048 94339699273728 140728785013101 140728785013224 140728785013224 140728785018826 0
/proc/51017/statm: 1048 768 704 219 0 110 0
[pid=51020] ppid=51017 vsize=224880 memory=144088 CPUtime=161.87 cores=1,3
/proc/51020/stat : 51020 (roundingsat) R 51017 51017 50566 0 -1 4194304 29345 0 0 0 16046 141 0 0 20 0 1 0 50860362 230277120 36022 18446744073709551615 4227072 8923433 140722787687456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19755008 140722787695010 140722787695144 140722787695144 140722787700714 0
/proc/51020/statm: 56220 36022 2368 1147 0 43647 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 229072 KiB
Current children cumulated memory: 147160 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/270 51031
/proc/meminfo: memFree=128982432/131249996 swapFree=33006296/33010684
[pid=51017] ppid=51000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/51017/stat : 51017 (run-opt.sh) S 51000 51017 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94339684126720 94339685021253 140728785010128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94339685260304 94339685308048 94339699273728 140728785013101 140728785013224 140728785013224 140728785018826 0
/proc/51017/statm: 1048 768 704 219 0 110 0
[pid=51020] ppid=51017 vsize=315320 memory=199256 CPUtime=221.71 cores=1,3
/proc/51020/stat : 51020 (roundingsat) R 51017 51017 50566 0 -1 4194304 51194 0 0 0 21996 175 0 0 20 0 1 0 50860362 322887680 49814 18446744073709551615 4227072 8923433 140722787687456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19755008 140722787695010 140722787695144 140722787695144 140722787700714 0
/proc/51020/statm: 78830 49814 2368 1147 0 66257 0
################
# More data... #
################
/proc/51020/statm: 126742 95965 2368 1147 0 114169 0
Current children cumulated CPU time: 3093.96 s
Current children cumulated vsize: 511160 KiB
Current children cumulated memory: 386932 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/269 51191
/proc/meminfo: memFree=127690652/131249996 swapFree=33006296/33010684
[pid=51017] ppid=51000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/51017/stat : 51017 (run-opt.sh) S 51000 51017 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94339684126720 94339685021253 140728785010128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94339685260304 94339685308048 94339699273728 140728785013101 140728785013224 140728785013224 140728785018826 0
/proc/51017/statm: 1048 768 704 219 0 110 0
[pid=51020] ppid=51017 vsize=507668 memory=389268 CPUtime=3153.8 cores=1,3
/proc/51020/stat : 51020 (roundingsat) R 51017 51017 50566 0 -1 4194304 93134 0 0 0 314357 1023 0 0 20 0 1 0 50860362 519852032 97317 18446744073709551615 4227072 8923433 140722787687456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19755008 140722787695010 140722787695144 140722787695144 140722787700714 0
/proc/51020/statm: 126917 97317 2368 1147 0 114344 0
Current children cumulated CPU time: 3153.8 s
Current children cumulated vsize: 511860 KiB
Current children cumulated memory: 392340 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/269 51197
/proc/meminfo: memFree=127709620/131249996 swapFree=33006296/33010684
[pid=51017] ppid=51000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/51017/stat : 51017 (run-opt.sh) S 51000 51017 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94339684126720 94339685021253 140728785010128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94339685260304 94339685308048 94339699273728 140728785013101 140728785013224 140728785013224 140728785018826 0
/proc/51017/statm: 1048 768 704 219 0 110 0
[pid=51020] ppid=51017 vsize=507668 memory=393108 CPUtime=3213.65 cores=1,3
/proc/51020/stat : 51020 (roundingsat) R 51017 51017 50566 0 -1 4194304 93138 0 0 0 320332 1033 0 0 20 0 1 0 50860362 519852032 98277 18446744073709551615 4227072 8923433 140722787687456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19755008 140722787695010 140722787695144 140722787695144 140722787700714 0
/proc/51020/statm: 126917 98277 2368 1147 0 114344 0
Current children cumulated CPU time: 3213.65 s
Current children cumulated vsize: 511860 KiB
Current children cumulated memory: 396180 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.09 4.09 6/269 51199
/proc/meminfo: memFree=127696312/131249996 swapFree=33006296/33010684
[pid=51017] ppid=51000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/51017/stat : 51017 (run-opt.sh) S 51000 51017 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94339684126720 94339685021253 140728785010128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94339685260304 94339685308048 94339699273728 140728785013101 140728785013224 140728785013224 140728785018826 0
/proc/51017/statm: 1048 768 704 219 0 110 0
[pid=51020] ppid=51017 vsize=507468 memory=392784 CPUtime=3273.5 cores=1,3
/proc/51020/stat : 51020 (roundingsat) R 51017 51017 50566 0 -1 4194304 93414 0 0 0 326306 1044 0 0 20 0 1 0 50860362 519647232 98196 18446744073709551615 4227072 8923433 140722787687456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19755008 140722787695010 140722787695144 140722787695144 140722787700714 0
/proc/51020/statm: 126867 98196 2368 1147 0 114294 0
Current children cumulated CPU time: 3273.5 s
Current children cumulated vsize: 511660 KiB
Current children cumulated memory: 395856 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/270 51206
/proc/meminfo: memFree=127701428/131249996 swapFree=33006296/33010684
[pid=51017] ppid=51000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/51017/stat : 51017 (run-opt.sh) S 51000 51017 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94339684126720 94339685021253 140728785010128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94339685260304 94339685308048 94339699273728 140728785013101 140728785013224 140728785013224 140728785018826 0
/proc/51017/statm: 1048 768 704 219 0 110 0
[pid=51020] ppid=51017 vsize=508692 memory=398084 CPUtime=3333.34 cores=1,3
/proc/51020/stat : 51020 (roundingsat) R 51017 51017 50566 0 -1 4194304 93867 0 0 0 332275 1059 0 0 20 0 1 0 50860362 520900608 99521 18446744073709551615 4227072 8923433 140722787687456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19755008 140722787695010 140722787695144 140722787695144 140722787700714 0
/proc/51020/statm: 127173 99521 2368 1147 0 114600 0
Current children cumulated CPU time: 3333.34 s
Current children cumulated vsize: 512884 KiB
Current children cumulated memory: 401156 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.07 4.08 6/270 51208
/proc/meminfo: memFree=127698000/131249996 swapFree=33006296/33010684
[pid=51017] ppid=51000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/51017/stat : 51017 (run-opt.sh) S 51000 51017 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94339684126720 94339685021253 140728785010128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94339685260304 94339685308048 94339699273728 140728785013101 140728785013224 140728785013224 140728785018826 0
/proc/51017/statm: 1048 768 704 219 0 110 0
[pid=51020] ppid=51017 vsize=509760 memory=398968 CPUtime=3393.19 cores=1,3
/proc/51020/stat : 51020 (roundingsat) R 51017 51017 50566 0 -1 4194304 94213 0 0 0 338247 1072 0 0 20 0 1 0 50860362 521994240 99742 18446744073709551615 4227072 8923433 140722787687456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19755008 140722787695010 140722787695144 140722787695144 140722787700714 0
/proc/51020/statm: 127440 99742 2368 1147 0 114867 0
Current children cumulated CPU time: 3393.19 s
Current children cumulated vsize: 513952 KiB
Current children cumulated memory: 402040 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/269 51210
/proc/meminfo: memFree=127695856/131249996 swapFree=33006296/33010684
[pid=51017] ppid=51000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/51017/stat : 51017 (run-opt.sh) S 51000 51017 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94339684126720 94339685021253 140728785010128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94339685260304 94339685308048 94339699273728 140728785013101 140728785013224 140728785013224 140728785018826 0
/proc/51017/statm: 1048 768 704 219 0 110 0
[pid=51020] ppid=51017 vsize=509976 memory=399440 CPUtime=3453.04 cores=1,3
/proc/51020/stat : 51020 (roundingsat) R 51017 51017 50566 0 -1 4194304 94535 0 0 0 344222 1082 0 0 20 0 1 0 50860362 522215424 99860 18446744073709551615 4227072 8923433 140722787687456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19755008 140722787695010 140722787695144 140722787695144 140722787700714 0
/proc/51020/statm: 127494 99860 2368 1147 0 114921 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 514168 KiB
Current children cumulated memory: 402512 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/268 51212
/proc/meminfo: memFree=127696512/131249996 swapFree=33006296/33010684
[pid=51017] ppid=51000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/51017/stat : 51017 (run-opt.sh) S 51000 51017 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94339684126720 94339685021253 140728785010128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94339685260304 94339685308048 94339699273728 140728785013101 140728785013224 140728785013224 140728785018826 0
/proc/51017/statm: 1048 768 704 219 0 110 0
[pid=51020] ppid=51017 vsize=510472 memory=400020 CPUtime=3512.88 cores=1,3
/proc/51020/stat : 51020 (roundingsat) R 51017 51017 50566 0 -1 4194304 94985 0 0 0 350195 1093 0 0 20 0 1 0 50860362 522723328 100005 18446744073709551615 4227072 8923433 140722787687456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19755008 140722787695010 140722787695144 140722787695144 140722787700714 0
/proc/51020/statm: 127618 100005 2368 1147 0 115045 0
Current children cumulated CPU time: 3512.88 s
Current children cumulated vsize: 514664 KiB
Current children cumulated memory: 403092 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/267 51214
/proc/meminfo: memFree=127693896/131249996 swapFree=33006296/33010684
[pid=51017] ppid=51000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/51017/stat : 51017 (run-opt.sh) S 51000 51017 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94339684126720 94339685021253 140728785010128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94339685260304 94339685308048 94339699273728 140728785013101 140728785013224 140728785013224 140728785018826 0
/proc/51017/statm: 1048 768 704 219 0 110 0
[pid=51020] ppid=51017 vsize=510472 memory=400020 CPUtime=3572.73 cores=1,3
/proc/51020/stat : 51020 (roundingsat) R 51017 51017 50566 0 -1 4194304 94986 0 0 0 356167 1106 0 0 20 0 1 0 50860362 522723328 100005 18446744073709551615 4227072 8923433 140722787687456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19755008 140722787695010 140722787695144 140722787695144 140722787700714 0
/proc/51020/statm: 127618 100005 2368 1147 0 115045 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 514664 KiB
Current children cumulated memory: 403092 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.04 4.07 4.08 6/267 51215
/proc/meminfo: memFree=127694540/131249996 swapFree=33006296/33010684
[pid=51017] ppid=51000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/51017/stat : 51017 (run-opt.sh) S 51000 51017 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94339684126720 94339685021253 140728785010128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94339685260304 94339685308048 94339699273728 140728785013101 140728785013224 140728785013224 140728785018826 0
/proc/51017/statm: 1048 768 704 219 0 110 0
[pid=51020] ppid=51017 vsize=511324 memory=400688 CPUtime=3600.06 cores=1,3
/proc/51020/stat : 51020 (roundingsat) R 51017 51017 50566 0 -1 4194304 95261 0 0 0 358894 1112 0 0 20 0 1 0 50860362 523595776 100172 18446744073709551615 4227072 8923433 140722787687456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19755008 140722787695010 140722787695144 140722787695144 140722787700714 0
/proc/51020/statm: 127831 100172 2368 1147 0 115258 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 515516 KiB
Current children cumulated memory: 403760 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.7 s]
# the end of solver process 51017 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.002486 s
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 51020 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3588.95 s, system=11.1411 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.04 4.07 4.08 6/267 51215
/proc/meminfo: memFree=127694540/131249996 swapFree=33006296/33010684
[pid=51017] ppid=51000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/51017/stat : 51017 (run-opt.sh) S 51000 51017 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94339684126720 94339685021253 140728785010128 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94339685260304 94339685308048 94339699273728 140728785013101 140728785013224 140728785013224 140728785018826 0
/proc/51017/statm: 1048 768 704 219 0 110 0
[pid=51020] ppid=51017 vsize=511324 memory=400688 CPUtime=3600.06 cores=1,3
/proc/51020/stat : 51020 (roundingsat) R 51017 51017 50566 0 -1 4194304 95261 0 0 0 358894 1112 0 0 20 0 1 0 50860362 523595776 100172 18446744073709551615 4227072 8923433 140722787687456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19755008 140722787695010 140722787695144 140722787695144 140722787700714 0
/proc/51020/statm: 127831 100172 2368 1147 0 115258 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 515516 KiB
Current children cumulated memory: 403760 KiB
Child status: 2
Real time (s): 3609.71
CPU time (s): 3600.09
CPU user time (s): 3588.95
CPU system time (s): 11.1411
CPU usage (%): 99.7334
Max. virtual memory (cumulated for all children) (KiB): 515956
Max. memory (cumulated for all children) (KiB): 404116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.95
system time used= 11.1411
maximum resident set size= 401072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95502
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 305
involuntary context switches= 5922
# summary of solver processes directly reported to runsolver:
# pid: 51017,51020
# total CPU time (s): 3600.09
# total CPU user time (s): 3588.95
# total CPU system time (s): 11.1411
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7481 second user time and 14.4906 second system time
The end
Begin job on nodeC015 at 2025-07-01 08:37:09
IDJOB=4489046
IDBENCH=147538
IDSOLVER=3350
FILE ID=nodeC015/4489046-1751351829
RUNJOBID= nodeC015-1751348216-50578
SLURM_JOB_ID= 9598120
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489046-1751351829/watcher-4489046-1751351829 -o /tmp/evaluation-result-4489046-1751351829/solver-4489046-1751351829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751348216-50578 --watchdog 3760 run-opt.sh HOME/instance-4489046-1751351829.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bed0fcfa7fe1ab50726d34a7d1903e12
RANDOM SEED=444160848
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.522
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.810
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.077
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.074
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.313
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.275
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.075
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.072
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130132368 kB
MemAvailable: 129778112 kB
Buffers: 1508 kB
Cached: 407104 kB
SwapCached: 3876 kB
Active: 315908 kB
Inactive: 173028 kB
Active(anon): 45388 kB
Inactive(anon): 49080 kB
Active(file): 270520 kB
Inactive(file): 123948 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 28956 kB
Writeback: 28 kB
AnonPages: 79520 kB
Mapped: 99020 kB
Shmem: 14144 kB
KReclaimable: 132372 kB
Slab: 222452 kB
SReclaimable: 132372 kB
SUnreclaim: 90080 kB
KernelStack: 4176 kB
PageTables: 2892 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 341076 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432988 MiB
End job on nodeC015 at 2025-07-01 09:37:19