0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.05 c #variables 480 #constraints 480
0.00/0.05 c objective is ce32
0.00/0.05 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.05 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.009024
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.009491
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.013315
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.014316
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.017639
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.019397
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.024741
0.00/0.09 c GLOBAL bounds - >= 0 @ 0.041964
0.05/0.12 c GLOBAL bounds - >= 0 @ 0.053295
0.05/0.12 c GLOBAL bounds - >= 0 @ 0.05935
0.05/0.13 c GLOBAL bounds - >= 0 @ 0.063147
0.05/0.14 c GLOBAL bounds - >= 0 @ 0.07556
0.05/0.15 c GLOBAL bounds - >= 0 @ 0.082997
0.05/0.17 c GLOBAL bounds - >= 0 @ 0.095271
0.05/0.18 c GLOBAL bounds - >= 0 @ 0.105208
0.05/0.19 c GLOBAL bounds - >= 0 @ 0.116367
0.05/0.21 c GLOBAL bounds - >= 0 @ 0.125439
0.16/0.24 c GLOBAL bounds - >= 0 @ 0.149761
0.16/0.26 c GLOBAL bounds - >= 0 @ 0.167616
0.16/0.28 c GLOBAL bounds - >= 0 @ 0.180576
0.16/0.29 c GLOBAL bounds - >= 0 @ 0.193248
0.26/0.35 c GLOBAL bounds - >= 0 @ 0.243485
0.35/0.47 c GLOBAL bounds - >= 0 @ 0.365692
0.46/0.56 c #Conflicts: 1000 | #Constraints: 1522
0.46/0.56 c GLOBAL bounds - >= 0 @ 0.443499
0.46/0.61 c GLOBAL bounds - >= 0 @ 0.492463
1.23/1.35 c #Conflicts: 2000 | #Constraints: 2526
1.23/1.35 c INPROCESSING
1.23/1.35 c GARBAGE COLLECT
1.23/1.35 c GLOBAL bounds - >= 0 @ 1.19743
1.32/1.41 c #Conflicts: 3000 | #Constraints: 2547
1.32/1.41 c GLOBAL bounds - >= 0 @ 1.2633
1.82/1.93 c #Conflicts: 4000 | #Constraints: 3549
1.82/1.93 c INPROCESSING
1.82/1.93 c GARBAGE COLLECT
1.82/1.93 c GLOBAL bounds - >= 0 @ 1.75483
1.82/1.97 c GLOBAL bounds - >= 0 @ 1.78818
3.81/3.97 c #Conflicts: 5000 | #Constraints: 2969
3.81/3.97 c #Conflicts: 6000 | #Constraints: 3969
3.81/3.97 c INPROCESSING
3.81/3.97 c GARBAGE COLLECT
3.81/3.97 c #Conflicts: 7000 | #Constraints: 2974
3.81/3.97 c #Conflicts: 8000 | #Constraints: 3974
3.81/3.97 c #Conflicts: 9000 | #Constraints: 4974
3.81/3.97 c INPROCESSING
3.81/3.97 c GARBAGE COLLECT
3.81/3.97 c #Conflicts: 10000 | #Constraints: 3679
3.81/3.97 c #Conflicts: 11000 | #Constraints: 4679
3.81/3.97 c GLOBAL bounds - >= 0 @ 3.73367
5.81/6.01 c #Conflicts: 12000 | #Constraints: 5681
5.81/6.01 c INPROCESSING
5.81/6.01 c GARBAGE COLLECT
5.81/6.01 c #Conflicts: 13000 | #Constraints: 4128
5.81/6.01 c #Conflicts: 14000 | #Constraints: 5128
5.81/6.01 c #Conflicts: 15000 | #Constraints: 6128
5.81/6.01 c INPROCESSING
5.81/6.01 c GARBAGE COLLECT
5.81/6.01 c #Conflicts: 16000 | #Constraints: 4350
5.81/6.01 c #Conflicts: 17000 | #Constraints: 5350
5.81/6.01 c #Conflicts: 18000 | #Constraints: 6350
5.81/6.01 c INPROCESSING
5.81/6.01 c GARBAGE COLLECT
5.81/6.01 c #Conflicts: 19000 | #Constraints: 4371
5.81/6.01 c GLOBAL bounds - >= 0 @ 5.72773
7.41/7.50 c #Conflicts: 20000 | #Constraints: 5373
7.41/7.50 c #Conflicts: 21000 | #Constraints: 6373
7.41/7.50 c INPROCESSING
7.41/7.50 c GARBAGE COLLECT
7.41/7.50 c #Conflicts: 22000 | #Constraints: 4179
7.41/7.50 c #Conflicts: 23000 | #Constraints: 5179
7.41/7.50 c #Conflicts: 24000 | #Constraints: 6179
7.41/7.50 c GLOBAL bounds - >= 0 @ 7.18209
7.61/7.75 c #Conflicts: 25000 | #Constraints: 7181
7.61/7.75 c INPROCESSING
7.61/7.75 c GARBAGE COLLECT
7.61/7.75 c GLOBAL bounds - >= 0 @ 7.42465
7.70/7.82 c GLOBAL bounds - >= 0 @ 7.49274
10.80/10.93 c #Conflicts: 26000 | #Constraints: 4790
10.80/10.93 c #Conflicts: 27000 | #Constraints: 5790
10.80/10.93 c #Conflicts: 28000 | #Constraints: 6790
10.80/10.93 c #Conflicts: 29000 | #Constraints: 7790
10.80/10.93 c INPROCESSING
10.80/10.93 c GARBAGE COLLECT
10.80/10.93 c #Conflicts: 30000 | #Constraints: 5185
10.80/10.93 c #Conflicts: 31000 | #Constraints: 6185
10.80/10.93 c #Conflicts: 32000 | #Constraints: 7185
10.80/10.93 c #Conflicts: 33000 | #Constraints: 8185
10.80/10.93 c INPROCESSING
10.80/10.93 c GARBAGE COLLECT
10.80/10.93 c GLOBAL bounds - >= 0 @ 10.5374
12.79/12.94 c #Conflicts: 34000 | #Constraints: 5389
12.79/12.94 c #Conflicts: 35000 | #Constraints: 6389
12.79/12.94 c #Conflicts: 36000 | #Constraints: 7389
12.79/12.94 c #Conflicts: 37000 | #Constraints: 8389
12.79/12.94 c INPROCESSING
12.79/12.94 c GARBAGE COLLECT
12.79/12.94 c #Conflicts: 38000 | #Constraints: 5397
12.79/12.94 c GLOBAL bounds - >= 0 @ 12.5107
45.78/46.04 c #Conflicts: 39000 | #Constraints: 6399
45.78/46.04 c #Conflicts: 40000 | #Constraints: 7399
45.78/46.04 c #Conflicts: 41000 | #Constraints: 8399
45.78/46.04 c INPROCESSING
45.78/46.04 c GARBAGE COLLECT
45.78/46.04 c #Conflicts: 42000 | #Constraints: 5200
45.78/46.04 c #Conflicts: 43000 | #Constraints: 6200
45.78/46.04 c #Conflicts: 44000 | #Constraints: 7200
45.78/46.04 c #Conflicts: 45000 | #Constraints: 8200
45.78/46.04 c #Conflicts: 46000 | #Constraints: 9200
45.78/46.04 c INPROCESSING
45.78/46.04 c GARBAGE COLLECT
45.78/46.04 c #Conflicts: 47000 | #Constraints: 5794
45.78/46.04 c #Conflicts: 48000 | #Constraints: 6794
45.78/46.04 c #Conflicts: 49000 | #Constraints: 7794
45.78/46.04 c #Conflicts: 50000 | #Constraints: 8794
45.78/46.04 c #Conflicts: 51000 | #Constraints: 9794
45.78/46.04 c INPROCESSING
45.78/46.04 c GARBAGE COLLECT
45.78/46.04 c #Conflicts: 52000 | #Constraints: 6186
45.78/46.04 c #Conflicts: 53000 | #Constraints: 7186
45.78/46.04 c #Conflicts: 54000 | #Constraints: 8186
45.78/46.04 c #Conflicts: 55000 | #Constraints: 9186
45.78/46.04 c #Conflicts: 56000 | #Constraints: 10186
45.78/46.04 c INPROCESSING
45.78/46.04 c GARBAGE COLLECT
45.78/46.04 c #Conflicts: 57000 | #Constraints: 6385
45.78/46.04 c #Conflicts: 58000 | #Constraints: 7385
45.78/46.04 c #Conflicts: 59000 | #Constraints: 8385
45.78/46.04 c #Conflicts: 60000 | #Constraints: 9385
45.78/46.04 c #Conflicts: 61000 | #Constraints: 10385
45.78/46.04 c INPROCESSING
45.78/46.04 c GARBAGE COLLECT
45.78/46.04 c #Conflicts: 62000 | #Constraints: 6391
45.78/46.04 c #Conflicts: 63000 | #Constraints: 7391
45.78/46.04 c #Conflicts: 64000 | #Constraints: 8391
45.78/46.04 c #Conflicts: 65000 | #Constraints: 9391
45.78/46.04 c #Conflicts: 66000 | #Constraints: 10391
45.78/46.04 c INPROCESSING
45.78/46.04 c GARBAGE COLLECT
45.78/46.04 c #Conflicts: 67000 | #Constraints: 6187
45.78/46.04 c #Conflicts: 68000 | #Constraints: 7187
45.78/46.04 c #Conflicts: 69000 | #Constraints: 8187
45.78/46.04 c #Conflicts: 70000 | #Constraints: 9187
45.78/46.04 c #Conflicts: 71000 | #Constraints: 10187
45.78/46.04 c #Conflicts: 72000 | #Constraints: 11187
45.78/46.04 c INPROCESSING
45.78/46.04 c GARBAGE COLLECT
45.78/46.04 c #Conflicts: 73000 | #Constraints: 6788
45.78/46.04 c #Conflicts: 74000 | #Constraints: 7788
45.78/46.04 c #Conflicts: 75000 | #Constraints: 8788
45.78/46.04 c #Conflicts: 76000 | #Constraints: 9788
45.78/46.04 c #Conflicts: 77000 | #Constraints: 10788
45.78/46.04 c #Conflicts: 78000 | #Constraints: 11788
45.78/46.04 c INPROCESSING
45.78/46.04 c GARBAGE COLLECT
45.78/46.04 c #Conflicts: 79000 | #Constraints: 7190
45.78/46.04 c #Conflicts: 80000 | #Constraints: 8190
45.78/46.04 c #Conflicts: 81000 | #Constraints: 9190
45.78/46.04 c #Conflicts: 82000 | #Constraints: 10190
45.78/46.04 c #Conflicts: 83000 | #Constraints: 11190
45.78/46.04 c #Conflicts: 84000 | #Constraints: 12190
45.78/46.04 c INPROCESSING
45.78/46.04 c GARBAGE COLLECT
45.78/46.04 c #Conflicts: 85000 | #Constraints: 7396
45.78/46.04 c #Conflicts: 86000 | #Constraints: 8396
45.78/46.04 c #Conflicts: 87000 | #Constraints: 9396
45.78/46.04 c #Conflicts: 88000 | #Constraints: 10396
45.78/46.04 c #Conflicts: 89000 | #Constraints: 11396
45.78/46.04 c #Conflicts: 90000 | #Constraints: 12396
45.78/46.04 c INPROCESSING
45.78/46.04 c GARBAGE COLLECT
45.78/46.04 c #Conflicts: 91000 | #Constraints: 7408
45.78/46.04 c #Conflicts: 92000 | #Constraints: 8408
45.78/46.04 c #Conflicts: 93000 | #Constraints: 9408
45.78/46.04 c #Conflicts: 94000 | #Constraints: 10408
45.78/46.04 c #Conflicts: 95000 | #Constraints: 11408
45.78/46.04 c #Conflicts: 96000 | #Constraints: 12408
45.78/46.04 c INPROCESSING
45.78/46.04 c GARBAGE COLLECT
45.78/46.04 c #Conflicts: 97000 | #Constraints: 7209
45.78/46.04 c #Conflicts: 98000 | #Constraints: 8209
45.78/46.04 c #Conflicts: 99000 | #Constraints: 9209
45.78/46.04 c #Conflicts: 100000 | #Constraints: 10209
45.78/46.04 c #Conflicts: 101000 | #Constraints: 11209
45.78/46.04 c #Conflicts: 102000 | #Constraints: 12209
45.78/46.04 c #Conflicts: 103000 | #Constraints: 13209
45.78/46.04 c INPROCESSING
45.78/46.04 c GARBAGE COLLECT
45.78/46.04 c #Conflicts: 104000 | #Constraints: 7803
45.78/46.04 c #Conflicts: 105000 | #Constraints: 8803
45.78/46.04 c #Conflicts: 106000 | #Constraints: 9803
45.78/46.04 c #Conflicts: 107000 | #Constraints: 10803
45.78/46.04 c #Conflicts: 108000 | #Constraints: 11803
45.78/46.04 c #Conflicts: 109000 | #Constraints: 12803
45.78/46.04 c #Conflicts: 110000 | #Constraints: 13803
46.77/47.07 c INPROCESSING
46.77/47.07 c GARBAGE COLLECT
46.77/47.07 c #Conflicts: 111000 | #Constraints: 8207
46.77/47.07 c GLOBAL bounds - >= 0 @ 45.8896
77.86/78.32 c #Conflicts: 112000 | #Constraints: 9209
77.86/78.32 c #Conflicts: 113000 | #Constraints: 10209
77.86/78.32 c #Conflicts: 114000 | #Constraints: 11209
77.86/78.32 c #Conflicts: 115000 | #Constraints: 12209
77.86/78.32 c #Conflicts: 116000 | #Constraints: 13209
77.86/78.32 c #Conflicts: 117000 | #Constraints: 14209
77.86/78.32 c INPROCESSING
77.86/78.32 c GARBAGE COLLECT
77.86/78.32 c #Conflicts: 118000 | #Constraints: 8400
77.86/78.32 c #Conflicts: 119000 | #Constraints: 9400
77.86/78.32 c #Conflicts: 120000 | #Constraints: 10400
77.86/78.32 c #Conflicts: 121000 | #Constraints: 11400
77.86/78.32 c #Conflicts: 122000 | #Constraints: 12400
77.86/78.32 c #Conflicts: 123000 | #Constraints: 13400
77.86/78.32 c #Conflicts: 124000 | #Constraints: 14400
77.86/78.32 c INPROCESSING
77.86/78.32 c GARBAGE COLLECT
77.86/78.32 c #Conflicts: 125000 | #Constraints: 8394
77.86/78.32 c #Conflicts: 126000 | #Constraints: 9394
77.86/78.32 c #Conflicts: 127000 | #Constraints: 10394
77.86/78.32 c #Conflicts: 128000 | #Constraints: 11394
77.86/78.32 c #Conflicts: 129000 | #Constraints: 12394
77.86/78.32 c #Conflicts: 130000 | #Constraints: 13394
77.86/78.32 c #Conflicts: 131000 | #Constraints: 14394
77.86/78.32 c INPROCESSING
77.86/78.32 c GARBAGE COLLECT
77.86/78.32 c #Conflicts: 132000 | #Constraints: 8200
77.86/78.32 c #Conflicts: 133000 | #Constraints: 9200
77.86/78.32 c #Conflicts: 134000 | #Constraints: 10200
77.86/78.32 c #Conflicts: 135000 | #Constraints: 11200
77.86/78.32 c #Conflicts: 136000 | #Constraints: 12200
77.86/78.32 c #Conflicts: 137000 | #Constraints: 13200
77.86/78.32 c #Conflicts: 138000 | #Constraints: 14200
77.86/78.32 c #Conflicts: 139000 | #Constraints: 15200
77.86/78.32 c INPROCESSING
77.86/78.32 c GARBAGE COLLECT
77.86/78.32 c #Conflicts: 140000 | #Constraints: 8798
77.86/78.32 c #Conflicts: 141000 | #Constraints: 9798
77.86/78.32 c #Conflicts: 142000 | #Constraints: 10798
77.86/78.32 c #Conflicts: 143000 | #Constraints: 11798
77.86/78.32 c #Conflicts: 144000 | #Constraints: 12798
77.86/78.32 c #Conflicts: 145000 | #Constraints: 13798
77.86/78.32 c #Conflicts: 146000 | #Constraints: 14798
77.86/78.32 c #Conflicts: 147000 | #Constraints: 15798
77.86/78.32 c INPROCESSING
77.86/78.32 c GARBAGE COLLECT
77.86/78.32 c #Conflicts: 148000 | #Constraints: 9198
77.86/78.32 c #Conflicts: 149000 | #Constraints: 10198
77.86/78.32 c #Conflicts: 150000 | #Constraints: 11198
77.86/78.32 c #Conflicts: 151000 | #Constraints: 12198
77.86/78.32 c #Conflicts: 152000 | #Constraints: 13198
77.86/78.32 c #Conflicts: 153000 | #Constraints: 14198
77.86/78.32 c #Conflicts: 154000 | #Constraints: 15198
77.86/78.32 c #Conflicts: 155000 | #Constraints: 16198
77.86/78.32 c INPROCESSING
77.86/78.32 c GARBAGE COLLECT
77.86/78.32 c #Conflicts: 156000 | #Constraints: 9399
77.86/78.32 c #Conflicts: 157000 | #Constraints: 10399
77.86/78.32 c #Conflicts: 158000 | #Constraints: 11399
77.86/78.32 c GLOBAL bounds - >= 0 @ 76.5035
119.42/120.05 c #Conflicts: 159000 | #Constraints: 12401
119.42/120.05 c #Conflicts: 160000 | #Constraints: 13401
119.42/120.05 c #Conflicts: 161000 | #Constraints: 14401
119.42/120.05 c #Conflicts: 162000 | #Constraints: 15401
119.42/120.05 c #Conflicts: 163000 | #Constraints: 16401
119.42/120.05 c INPROCESSING
119.42/120.05 c GARBAGE COLLECT
119.42/120.05 c #Conflicts: 164000 | #Constraints: 9406
119.42/120.05 c #Conflicts: 165000 | #Constraints: 10406
119.42/120.05 c #Conflicts: 166000 | #Constraints: 11406
119.42/120.05 c #Conflicts: 167000 | #Constraints: 12406
119.42/120.05 c #Conflicts: 168000 | #Constraints: 13406
119.42/120.05 c #Conflicts: 169000 | #Constraints: 14406
119.42/120.05 c #Conflicts: 170000 | #Constraints: 15406
119.42/120.05 c #Conflicts: 171000 | #Constraints: 16406
119.42/120.05 c INPROCESSING
119.42/120.05 c GARBAGE COLLECT
119.42/120.05 c #Conflicts: 172000 | #Constraints: 9200
119.42/120.05 c #Conflicts: 173000 | #Constraints: 10200
119.42/120.05 c #Conflicts: 174000 | #Constraints: 11200
119.42/120.05 c #Conflicts: 175000 | #Constraints: 12200
119.42/120.05 c #Conflicts: 176000 | #Constraints: 13200
119.42/120.05 c #Conflicts: 177000 | #Constraints: 14200
119.42/120.05 c #Conflicts: 178000 | #Constraints: 15200
119.42/120.05 c #Conflicts: 179000 | #Constraints: 16200
119.42/120.05 c #Conflicts: 180000 | #Constraints: 17200
119.42/120.05 c INPROCESSING
119.42/120.05 c GARBAGE COLLECT
119.42/120.05 c #Conflicts: 181000 | #Constraints: 9799
119.42/120.05 c #Conflicts: 182000 | #Constraints: 10799
119.42/120.05 c #Conflicts: 183000 | #Constraints: 11799
119.42/120.05 c #Conflicts: 184000 | #Constraints: 12799
119.42/120.05 c #Conflicts: 185000 | #Constraints: 13799
119.42/120.05 c #Conflicts: 186000 | #Constraints: 14799
119.42/120.05 c #Conflicts: 187000 | #Constraints: 15799
119.42/120.05 c #Conflicts: 188000 | #Constraints: 16799
119.42/120.05 c #Conflicts: 189000 | #Constraints: 17799
119.42/120.05 c INPROCESSING
119.42/120.05 c GARBAGE COLLECT
119.42/120.05 c #Conflicts: 190000 | #Constraints: 10210
119.42/120.05 c #Conflicts: 191000 | #Constraints: 11210
119.42/120.05 c #Conflicts: 192000 | #Constraints: 12210
119.42/120.05 c #Conflicts: 193000 | #Constraints: 13210
119.42/120.05 c #Conflicts: 194000 | #Constraints: 14210
119.42/120.05 c #Conflicts: 195000 | #Constraints: 15210
119.42/120.05 c #Conflicts: 196000 | #Constraints: 16210
119.42/120.05 c #Conflicts: 197000 | #Constraints: 17210
119.42/120.05 c #Conflicts: 198000 | #Constraints: 18210
119.42/120.05 c INPROCESSING
119.42/120.05 c GARBAGE COLLECT
119.42/120.05 c #Conflicts: 199000 | #Constraints: 10403
119.42/120.05 c #Conflicts: 200000 | #Constraints: 11403
119.42/120.05 c #Conflicts: 201000 | #Constraints: 12403
119.42/120.05 c #Conflicts: 202000 | #Constraints: 13403
119.42/120.05 c #Conflicts: 203000 | #Constraints: 14403
119.42/120.05 c #Conflicts: 204000 | #Constraints: 15403
119.42/120.05 c #Conflicts: 205000 | #Constraints: 16403
119.42/120.05 c #Conflicts: 206000 | #Constraints: 17403
119.42/120.05 c #Conflicts: 207000 | #Constraints: 18403
119.42/120.05 c INPROCESSING
119.42/120.05 c GARBAGE COLLECT
119.42/120.05 c #Conflicts: 208000 | #Constraints: 10404
119.42/120.05 c #Conflicts: 209000 | #Constraints: 11404
119.42/120.05 c #Conflicts: 210000 | #Constraints: 12404
119.42/120.05 c #Conflicts: 211000 | #Constraints: 13404
119.42/120.05 c #Conflicts: 212000 | #Constraints: 14404
119.42/120.05 c #Conflicts: 213000 | #Constraints: 15404
119.42/120.05 c #Conflicts: 214000 | #Constraints: 16404
119.42/120.05 c #Conflicts: 215000 | #Constraints: 17404
119.42/120.05 c #Conflicts: 216000 | #Constraints: 18404
119.42/120.05 c INPROCESSING
119.42/120.05 c GARBAGE COLLECT
119.42/120.05 c #Conflicts: 217000 | #Constraints: 10202
119.42/120.05 c #Conflicts: 218000 | #Constraints: 11202
119.42/120.05 c #Conflicts: 219000 | #Constraints: 12202
119.42/120.05 c #Conflicts: 220000 | #Constraints: 13202
119.42/120.05 c #Conflicts: 221000 | #Constraints: 14202
119.42/120.05 c #Conflicts: 222000 | #Constraints: 15202
119.42/120.05 c #Conflicts: 223000 | #Constraints: 16202
119.42/120.05 c #Conflicts: 224000 | #Constraints: 17202
119.42/120.05 c #Conflicts: 225000 | #Constraints: 18202
119.42/120.05 c #Conflicts: 226000 | #Constraints: 19202
119.42/120.05 c INPROCESSING
119.42/120.05 c GARBAGE COLLECT
119.42/120.05 c #Conflicts: 227000 | #Constraints: 10809
119.42/120.05 c #Conflicts: 228000 | #Constraints: 11809
119.42/120.05 c #Conflicts: 229000 | #Constraints: 12809
119.42/120.05 c #Conflicts: 230000 | #Constraints: 13809
119.42/120.05 c #Conflicts: 231000 | #Constraints: 14809
119.42/120.05 c #Conflicts: 232000 | #Constraints: 15809
151.50/152.23 c #Conflicts: 233000 | #Constraints: 16809
151.50/152.23 c #Conflicts: 234000 | #Constraints: 17809
151.50/152.23 c #Conflicts: 235000 | #Constraints: 18809
151.50/152.23 c #Conflicts: 236000 | #Constraints: 19809
151.50/152.23 c INPROCESSING
151.50/152.23 c GARBAGE COLLECT
151.50/152.23 c #Conflicts: 237000 | #Constraints: 11217
151.50/152.23 c #Conflicts: 238000 | #Constraints: 12217
151.50/152.23 c #Conflicts: 239000 | #Constraints: 13217
151.50/152.23 c #Conflicts: 240000 | #Constraints: 14217
151.50/152.23 c #Conflicts: 241000 | #Constraints: 15217
151.50/152.23 c #Conflicts: 242000 | #Constraints: 16217
151.50/152.23 c #Conflicts: 243000 | #Constraints: 17217
151.50/152.23 c #Conflicts: 244000 | #Constraints: 18217
151.50/152.23 c #Conflicts: 245000 | #Constraints: 19217
151.50/152.23 c #Conflicts: 246000 | #Constraints: 20217
151.50/152.23 c INPROCESSING
151.50/152.23 c GARBAGE COLLECT
151.50/152.23 c #Conflicts: 247000 | #Constraints: 11422
151.50/152.23 c #Conflicts: 248000 | #Constraints: 12422
151.50/152.23 c #Conflicts: 249000 | #Constraints: 13422
151.50/152.23 c #Conflicts: 250000 | #Constraints: 14422
151.50/152.23 c #Conflicts: 251000 | #Constraints: 15422
151.50/152.23 c #Conflicts: 252000 | #Constraints: 16422
151.50/152.23 c #Conflicts: 253000 | #Constraints: 17422
151.50/152.23 c #Conflicts: 254000 | #Constraints: 18422
151.50/152.23 c #Conflicts: 255000 | #Constraints: 19422
151.50/152.23 c #Conflicts: 256000 | #Constraints: 20422
151.50/152.23 c INPROCESSING
151.50/152.23 c GARBAGE COLLECT
151.50/152.23 c #Conflicts: 257000 | #Constraints: 11415
151.50/152.23 c #Conflicts: 258000 | #Constraints: 12415
151.50/152.23 c #Conflicts: 259000 | #Constraints: 13415
151.50/152.23 c #Conflicts: 260000 | #Constraints: 14415
151.50/152.23 c #Conflicts: 261000 | #Constraints: 15415
151.50/152.23 c #Conflicts: 262000 | #Constraints: 16415
151.50/152.23 c #Conflicts: 263000 | #Constraints: 17415
151.50/152.23 c #Conflicts: 264000 | #Constraints: 18415
151.50/152.23 c #Conflicts: 265000 | #Constraints: 19415
151.50/152.23 c #Conflicts: 266000 | #Constraints: 20415
151.50/152.23 c INPROCESSING
151.50/152.23 c GARBAGE COLLECT
151.50/152.23 c #Conflicts: 267000 | #Constraints: 11217
151.50/152.23 c #Conflicts: 268000 | #Constraints: 12217
151.50/152.23 c #Conflicts: 269000 | #Constraints: 13217
151.50/152.23 c #Conflicts: 270000 | #Constraints: 14217
151.50/152.23 c #Conflicts: 271000 | #Constraints: 15217
151.50/152.23 c #Conflicts: 272000 | #Constraints: 16217
151.50/152.23 c #Conflicts: 273000 | #Constraints: 17217
151.50/152.23 c #Conflicts: 274000 | #Constraints: 18217
151.50/152.23 c #Conflicts: 275000 | #Constraints: 19217
151.50/152.23 c #Conflicts: 276000 | #Constraints: 20217
151.50/152.23 c #Conflicts: 277000 | #Constraints: 21217
151.50/152.23 c INPROCESSING
151.50/152.23 c GARBAGE COLLECT
151.50/152.23 c #Conflicts: 278000 | #Constraints: 11815
151.50/152.23 c #Conflicts: 279000 | #Constraints: 12815
151.50/152.23 c #Conflicts: 280000 | #Constraints: 13815
151.50/152.23 c #Conflicts: 281000 | #Constraints: 14815
151.50/152.23 c #Conflicts: 282000 | #Constraints: 15815
151.50/152.23 c GLOBAL bounds - >= 0 @ 149.335
191.36/192.23 c #Conflicts: 283000 | #Constraints: 16817
191.36/192.23 c #Conflicts: 284000 | #Constraints: 17817
191.36/192.23 c #Conflicts: 285000 | #Constraints: 18817
191.36/192.23 c #Conflicts: 286000 | #Constraints: 19817
191.36/192.23 c #Conflicts: 287000 | #Constraints: 20817
191.36/192.23 c #Conflicts: 288000 | #Constraints: 21817
191.36/192.23 c INPROCESSING
191.36/192.23 c GARBAGE COLLECT
191.36/192.23 c #Conflicts: 289000 | #Constraints: 12211
191.36/192.23 c #Conflicts: 290000 | #Constraints: 13211
191.36/192.23 c #Conflicts: 291000 | #Constraints: 14211
191.36/192.23 c #Conflicts: 292000 | #Constraints: 15211
191.36/192.23 c #Conflicts: 293000 | #Constraints: 16211
191.36/192.23 c #Conflicts: 294000 | #Constraints: 17211
191.36/192.23 c #Conflicts: 295000 | #Constraints: 18211
191.36/192.23 c #Conflicts: 296000 | #Constraints: 19211
191.36/192.23 c #Conflicts: 297000 | #Constraints: 20211
191.36/192.23 c #Conflicts: 298000 | #Constraints: 21211
191.36/192.23 c #Conflicts: 299000 | #Constraints: 22211
191.36/192.23 c INPROCESSING
191.36/192.23 c GARBAGE COLLECT
191.36/192.23 c #Conflicts: 300000 | #Constraints: 12408
191.36/192.23 c #Conflicts: 301000 | #Constraints: 13408
191.36/192.23 c #Conflicts: 302000 | #Constraints: 14408
191.36/192.23 c #Conflicts: 303000 | #Constraints: 15408
191.36/192.23 c #Conflicts: 304000 | #Constraints: 16408
191.36/192.23 c #Conflicts: 305000 | #Constraints: 17408
191.36/192.23 c #Conflicts: 306000 | #Constraints: 18408
191.36/192.23 c #Conflicts: 307000 | #Constraints: 19408
191.36/192.23 c #Conflicts: 308000 | #Constraints: 20408
191.36/192.23 c #Conflicts: 309000 | #Constraints: 21408
191.36/192.23 c #Conflicts: 310000 | #Constraints: 22408
191.36/192.23 c INPROCESSING
191.36/192.23 c GARBAGE COLLECT
191.36/192.23 c #Conflicts: 311000 | #Constraints: 12408
191.36/192.23 c #Conflicts: 312000 | #Constraints: 13408
191.36/192.23 c #Conflicts: 313000 | #Constraints: 14408
191.36/192.23 c #Conflicts: 314000 | #Constraints: 15408
191.36/192.23 c #Conflicts: 315000 | #Constraints: 16408
191.36/192.23 c #Conflicts: 316000 | #Constraints: 17408
191.36/192.23 c #Conflicts: 317000 | #Constraints: 18408
191.36/192.23 c #Conflicts: 318000 | #Constraints: 19408
191.36/192.23 c #Conflicts: 319000 | #Constraints: 20408
191.36/192.23 c #Conflicts: 320000 | #Constraints: 21408
191.36/192.23 c #Conflicts: 321000 | #Constraints: 22408
191.36/192.23 c INPROCESSING
191.36/192.23 c GARBAGE COLLECT
191.36/192.23 c #Conflicts: 322000 | #Constraints: 12208
191.36/192.23 c #Conflicts: 323000 | #Constraints: 13208
191.36/192.23 c #Conflicts: 324000 | #Constraints: 14208
191.36/192.23 c #Conflicts: 325000 | #Constraints: 15208
191.36/192.23 c #Conflicts: 326000 | #Constraints: 16208
191.36/192.23 c #Conflicts: 327000 | #Constraints: 17208
191.36/192.23 c #Conflicts: 328000 | #Constraints: 18208
191.36/192.23 c #Conflicts: 329000 | #Constraints: 19208
191.36/192.23 c #Conflicts: 330000 | #Constraints: 20208
191.36/192.23 c #Conflicts: 331000 | #Constraints: 21208
191.36/192.23 c #Conflicts: 332000 | #Constraints: 22208
191.36/192.23 c #Conflicts: 333000 | #Constraints: 23208
191.36/192.23 c INPROCESSING
191.36/192.23 c GARBAGE COLLECT
191.36/192.23 c #Conflicts: 334000 | #Constraints: 12818
191.36/192.23 c #Conflicts: 335000 | #Constraints: 13818
191.36/192.23 c #Conflicts: 336000 | #Constraints: 14818
191.36/192.23 c #Conflicts: 337000 | #Constraints: 15818
191.36/192.23 c #Conflicts: 338000 | #Constraints: 16818
191.36/192.23 c #Conflicts: 339000 | #Constraints: 17818
191.36/192.23 c #Conflicts: 340000 | #Constraints: 18818
191.36/192.23 c #Conflicts: 341000 | #Constraints: 19818
191.36/192.23 c #Conflicts: 342000 | #Constraints: 20818
191.36/192.23 c #Conflicts: 343000 | #Constraints: 21818
191.36/192.23 c #Conflicts: 344000 | #Constraints: 22818
191.36/192.23 c #Conflicts: 345000 | #Constraints: 23818
191.36/192.23 c INPROCESSING
191.36/192.23 c GARBAGE COLLECT
191.36/192.23 c #Conflicts: 346000 | #Constraints: 13208
191.36/192.23 c #Conflicts: 347000 | #Constraints: 14208
191.36/192.23 c #Conflicts: 348000 | #Constraints: 15208
191.36/192.23 c #Conflicts: 349000 | #Constraints: 16208
191.36/192.23 c GLOBAL bounds - >= 0 @ 188.785
251.25/252.39 c #Conflicts: 350000 | #Constraints: 17210
251.25/252.39 c #Conflicts: 351000 | #Constraints: 18210
251.25/252.39 c #Conflicts: 352000 | #Constraints: 19210
251.25/252.39 c #Conflicts: 353000 | #Constraints: 20210
251.25/252.39 c #Conflicts: 354000 | #Constraints: 21210
251.25/252.39 c #Conflicts: 355000 | #Constraints: 22210
251.25/252.39 c #Conflicts: 356000 | #Constraints: 23210
251.25/252.39 c #Conflicts: 357000 | #Constraints: 24210
251.25/252.39 c INPROCESSING
251.25/252.39 c GARBAGE COLLECT
251.25/252.39 c #Conflicts: 358000 | #Constraints: 13397
251.25/252.39 c #Conflicts: 359000 | #Constraints: 14397
251.25/252.39 c #Conflicts: 360000 | #Constraints: 15397
251.25/252.39 c #Conflicts: 361000 | #Constraints: 16397
251.25/252.39 c #Conflicts: 362000 | #Constraints: 17397
251.25/252.39 c #Conflicts: 363000 | #Constraints: 18397
251.25/252.39 c #Conflicts: 364000 | #Constraints: 19397
251.25/252.39 c #Conflicts: 365000 | #Constraints: 20397
251.25/252.39 c #Conflicts: 366000 | #Constraints: 21397
251.25/252.39 c #Conflicts: 367000 | #Constraints: 22397
251.25/252.39 c #Conflicts: 368000 | #Constraints: 23397
251.25/252.39 c #Conflicts: 369000 | #Constraints: 24397
251.25/252.39 c INPROCESSING
251.25/252.39 c GARBAGE COLLECT
251.25/252.39 c #Conflicts: 370000 | #Constraints: 13393
251.25/252.39 c #Conflicts: 371000 | #Constraints: 14393
251.25/252.39 c #Conflicts: 372000 | #Constraints: 15393
251.25/252.39 c #Conflicts: 373000 | #Constraints: 16393
251.25/252.39 c #Conflicts: 374000 | #Constraints: 17393
251.25/252.39 c #Conflicts: 375000 | #Constraints: 18393
251.25/252.39 c #Conflicts: 376000 | #Constraints: 19393
251.25/252.39 c #Conflicts: 377000 | #Constraints: 20393
251.25/252.39 c #Conflicts: 378000 | #Constraints: 21393
251.25/252.39 c #Conflicts: 379000 | #Constraints: 22393
251.25/252.39 c #Conflicts: 380000 | #Constraints: 23393
251.25/252.39 c #Conflicts: 381000 | #Constraints: 24393
251.25/252.39 c INPROCESSING
251.25/252.39 c GARBAGE COLLECT
251.25/252.39 c #Conflicts: 382000 | #Constraints: 13197
251.25/252.39 c #Conflicts: 383000 | #Constraints: 14197
251.25/252.39 c #Conflicts: 384000 | #Constraints: 15197
251.25/252.39 c #Conflicts: 385000 | #Constraints: 16197
251.25/252.39 c #Conflicts: 386000 | #Constraints: 17197
251.25/252.39 c #Conflicts: 387000 | #Constraints: 18197
251.25/252.39 c #Conflicts: 388000 | #Constraints: 19197
251.25/252.39 c #Conflicts: 389000 | #Constraints: 20197
251.25/252.39 c #Conflicts: 390000 | #Constraints: 21197
251.25/252.39 c #Conflicts: 391000 | #Constraints: 22197
251.25/252.39 c #Conflicts: 392000 | #Constraints: 23197
251.25/252.39 c #Conflicts: 393000 | #Constraints: 24197
251.25/252.39 c #Conflicts: 394000 | #Constraints: 25197
251.25/252.39 c INPROCESSING
251.25/252.39 c GARBAGE COLLECT
251.25/252.39 c #Conflicts: 395000 | #Constraints: 13805
251.25/252.39 c #Conflicts: 396000 | #Constraints: 14805
251.25/252.39 c #Conflicts: 397000 | #Constraints: 15805
251.25/252.39 c #Conflicts: 398000 | #Constraints: 16805
251.25/252.39 c #Conflicts: 399000 | #Constraints: 17805
251.25/252.39 c #Conflicts: 400000 | #Constraints: 18805
251.25/252.39 c #Conflicts: 401000 | #Constraints: 19805
251.25/252.39 c #Conflicts: 402000 | #Constraints: 20805
251.25/252.39 c #Conflicts: 403000 | #Constraints: 21805
251.25/252.39 c #Conflicts: 404000 | #Constraints: 22805
251.25/252.39 c #Conflicts: 405000 | #Constraints: 23805
251.25/252.39 c #Conflicts: 406000 | #Constraints: 24805
251.25/252.39 c #Conflicts: 407000 | #Constraints: 25805
251.25/252.39 c INPROCESSING
251.25/252.39 c GARBAGE COLLECT
251.25/252.39 c #Conflicts: 408000 | #Constraints: 14200
251.25/252.39 c #Conflicts: 409000 | #Constraints: 15200
251.25/252.39 c #Conflicts: 410000 | #Constraints: 16200
251.25/252.39 c #Conflicts: 411000 | #Constraints: 17200
251.25/252.39 c #Conflicts: 412000 | #Constraints: 18200
251.25/252.39 c #Conflicts: 413000 | #Constraints: 19200
251.25/252.39 c #Conflicts: 414000 | #Constraints: 20200
251.25/252.39 c #Conflicts: 415000 | #Constraints: 21200
251.25/252.39 c #Conflicts: 416000 | #Constraints: 22200
251.25/252.39 c #Conflicts: 417000 | #Constraints: 23200
251.25/252.39 c #Conflicts: 418000 | #Constraints: 24200
251.25/252.39 c #Conflicts: 419000 | #Constraints: 25200
251.25/252.39 c #Conflicts: 420000 | #Constraints: 26200
251.25/252.39 c INPROCESSING
251.25/252.39 c GARBAGE COLLECT
251.25/252.39 c #Conflicts: 421000 | #Constraints: 14396
251.25/252.39 c #Conflicts: 422000 | #Constraints: 15396
251.25/252.39 c #Conflicts: 423000 | #Constraints: 16396
251.25/252.39 c #Conflicts: 424000 | #Constraints: 17396
269.00/270.20 c #Conflicts: 425000 | #Constraints: 18396
269.00/270.20 c #Conflicts: 426000 | #Constraints: 19396
269.00/270.20 c #Conflicts: 427000 | #Constraints: 20396
269.00/270.20 c #Conflicts: 428000 | #Constraints: 21396
269.00/270.20 c #Conflicts: 429000 | #Constraints: 22396
269.00/270.20 c #Conflicts: 430000 | #Constraints: 23396
269.00/270.20 c #Conflicts: 431000 | #Constraints: 24396
269.00/270.20 c #Conflicts: 432000 | #Constraints: 25396
269.00/270.20 c #Conflicts: 433000 | #Constraints: 26396
269.00/270.20 c INPROCESSING
269.00/270.20 c GARBAGE COLLECT
269.00/270.20 c #Conflicts: 434000 | #Constraints: 14402
269.00/270.20 c #Conflicts: 435000 | #Constraints: 15402
269.00/270.20 c #Conflicts: 436000 | #Constraints: 16402
269.00/270.20 c #Conflicts: 437000 | #Constraints: 17402
269.00/270.20 c #Conflicts: 438000 | #Constraints: 18402
269.00/270.20 c #Conflicts: 439000 | #Constraints: 19402
269.00/270.20 c #Conflicts: 440000 | #Constraints: 20402
269.00/270.20 c #Conflicts: 441000 | #Constraints: 21402
269.00/270.20 c #Conflicts: 442000 | #Constraints: 22402
269.00/270.20 c #Conflicts: 443000 | #Constraints: 23402
269.00/270.20 c GLOBAL bounds - >= 0 @ 265.699
338.13/339.50 c #Conflicts: 444000 | #Constraints: 24404
338.13/339.50 c #Conflicts: 445000 | #Constraints: 25404
338.13/339.50 c #Conflicts: 446000 | #Constraints: 26404
338.13/339.50 c INPROCESSING
338.13/339.50 c GARBAGE COLLECT
338.13/339.50 c #Conflicts: 447000 | #Constraints: 14207
338.13/339.50 c #Conflicts: 448000 | #Constraints: 15207
338.13/339.50 c #Conflicts: 449000 | #Constraints: 16207
338.13/339.50 c #Conflicts: 450000 | #Constraints: 17207
338.13/339.50 c #Conflicts: 451000 | #Constraints: 18207
338.13/339.50 c #Conflicts: 452000 | #Constraints: 19207
338.13/339.50 c #Conflicts: 453000 | #Constraints: 20207
338.13/339.50 c #Conflicts: 454000 | #Constraints: 21207
338.13/339.50 c #Conflicts: 455000 | #Constraints: 22207
338.13/339.50 c #Conflicts: 456000 | #Constraints: 23207
338.13/339.50 c #Conflicts: 457000 | #Constraints: 24207
338.13/339.50 c #Conflicts: 458000 | #Constraints: 25207
338.13/339.50 c #Conflicts: 459000 | #Constraints: 26207
338.13/339.50 c #Conflicts: 460000 | #Constraints: 27207
338.13/339.50 c INPROCESSING
338.13/339.50 c GARBAGE COLLECT
338.13/339.50 c #Conflicts: 461000 | #Constraints: 14811
338.13/339.50 c #Conflicts: 462000 | #Constraints: 15811
338.13/339.50 c #Conflicts: 463000 | #Constraints: 16811
338.13/339.50 c #Conflicts: 464000 | #Constraints: 17811
338.13/339.50 c #Conflicts: 465000 | #Constraints: 18811
338.13/339.50 c #Conflicts: 466000 | #Constraints: 19811
338.13/339.50 c #Conflicts: 467000 | #Constraints: 20811
338.13/339.50 c #Conflicts: 468000 | #Constraints: 21811
338.13/339.50 c #Conflicts: 469000 | #Constraints: 22811
338.13/339.50 c #Conflicts: 470000 | #Constraints: 23811
338.13/339.50 c #Conflicts: 471000 | #Constraints: 24811
338.13/339.50 c #Conflicts: 472000 | #Constraints: 25811
338.13/339.50 c #Conflicts: 473000 | #Constraints: 26811
338.13/339.50 c #Conflicts: 474000 | #Constraints: 27811
338.13/339.50 c INPROCESSING
338.13/339.50 c GARBAGE COLLECT
338.13/339.50 c #Conflicts: 475000 | #Constraints: 15203
338.13/339.50 c #Conflicts: 476000 | #Constraints: 16203
338.13/339.50 c #Conflicts: 477000 | #Constraints: 17203
338.13/339.50 c #Conflicts: 478000 | #Constraints: 18203
338.13/339.50 c #Conflicts: 479000 | #Constraints: 19203
338.13/339.50 c #Conflicts: 480000 | #Constraints: 20203
338.13/339.50 c #Conflicts: 481000 | #Constraints: 21203
338.13/339.50 c #Conflicts: 482000 | #Constraints: 22203
338.13/339.50 c #Conflicts: 483000 | #Constraints: 23203
338.13/339.50 c #Conflicts: 484000 | #Constraints: 24203
338.13/339.50 c #Conflicts: 485000 | #Constraints: 25203
338.13/339.50 c #Conflicts: 486000 | #Constraints: 26203
338.13/339.50 c #Conflicts: 487000 | #Constraints: 27203
338.13/339.50 c #Conflicts: 488000 | #Constraints: 28203
338.13/339.50 c INPROCESSING
338.13/339.50 c GARBAGE COLLECT
338.13/339.50 c #Conflicts: 489000 | #Constraints: 15416
338.13/339.50 c #Conflicts: 490000 | #Constraints: 16416
338.13/339.50 c #Conflicts: 491000 | #Constraints: 17416
338.13/339.50 c #Conflicts: 492000 | #Constraints: 18416
338.13/339.50 c #Conflicts: 493000 | #Constraints: 19416
338.13/339.50 c #Conflicts: 494000 | #Constraints: 20416
338.13/339.50 c #Conflicts: 495000 | #Constraints: 21416
338.13/339.50 c #Conflicts: 496000 | #Constraints: 22416
338.13/339.50 c #Conflicts: 497000 | #Constraints: 23416
338.13/339.50 c #Conflicts: 498000 | #Constraints: 24416
338.13/339.50 c #Conflicts: 499000 | #Constraints: 25416
338.13/339.50 c #Conflicts: 500000 | #Constraints: 26416
338.13/339.50 c #Conflicts: 501000 | #Constraints: 27416
338.13/339.50 c #Conflicts: 502000 | #Constraints: 28416
338.13/339.50 c INPROCESSING
338.13/339.50 c GARBAGE COLLECT
338.13/339.50 c #Conflicts: 503000 | #Constraints: 15414
338.13/339.50 c #Conflicts: 504000 | #Constraints: 16414
338.13/339.50 c #Conflicts: 505000 | #Constraints: 17414
338.13/339.50 c #Conflicts: 506000 | #Constraints: 18414
338.13/339.50 c #Conflicts: 507000 | #Constraints: 19414
338.13/339.50 c #Conflicts: 508000 | #Constraints: 20414
338.13/339.50 c #Conflicts: 509000 | #Constraints: 21414
338.13/339.50 c #Conflicts: 510000 | #Constraints: 22414
338.13/339.50 c #Conflicts: 511000 | #Constraints: 23414
338.13/339.50 c #Conflicts: 512000 | #Constraints: 24414
338.13/339.50 c #Conflicts: 513000 | #Constraints: 25414
338.13/339.50 c #Conflicts: 514000 | #Constraints: 26414
338.13/339.50 c #Conflicts: 515000 | #Constraints: 27414
338.13/339.50 c #Conflicts: 516000 | #Constraints: 28414
338.13/339.50 c INPROCESSING
338.13/339.50 c GARBAGE COLLECT
338.13/339.50 c #Conflicts: 517000 | #Constraints: 15207
338.13/339.50 c #Conflicts: 518000 | #Constraints: 16207
354.87/356.32 c #Conflicts: 519000 | #Constraints: 17207
354.87/356.32 c #Conflicts: 520000 | #Constraints: 18207
354.87/356.32 c #Conflicts: 521000 | #Constraints: 19207
354.87/356.32 c #Conflicts: 522000 | #Constraints: 20207
354.87/356.32 c #Conflicts: 523000 | #Constraints: 21207
354.87/356.32 c #Conflicts: 524000 | #Constraints: 22207
354.87/356.32 c #Conflicts: 525000 | #Constraints: 23207
354.87/356.32 c #Conflicts: 526000 | #Constraints: 24207
354.87/356.32 c #Conflicts: 527000 | #Constraints: 25207
354.87/356.32 c #Conflicts: 528000 | #Constraints: 26207
354.87/356.32 c #Conflicts: 529000 | #Constraints: 27207
354.87/356.32 c #Conflicts: 530000 | #Constraints: 28207
354.87/356.32 c #Conflicts: 531000 | #Constraints: 29207
354.87/356.32 c INPROCESSING
354.87/356.32 c GARBAGE COLLECT
354.87/356.32 c #Conflicts: 532000 | #Constraints: 15804
354.87/356.32 c #Conflicts: 533000 | #Constraints: 16804
354.87/356.32 c #Conflicts: 534000 | #Constraints: 17804
354.87/356.32 c #Conflicts: 535000 | #Constraints: 18804
354.87/356.32 c #Conflicts: 536000 | #Constraints: 19804
354.87/356.32 c #Conflicts: 537000 | #Constraints: 20804
354.87/356.32 c GLOBAL bounds - >= 0 @ 350.615
437.28/439.04 c #Conflicts: 538000 | #Constraints: 21806
437.28/439.04 c #Conflicts: 539000 | #Constraints: 22806
437.28/439.04 c #Conflicts: 540000 | #Constraints: 23806
437.28/439.04 c #Conflicts: 541000 | #Constraints: 24806
437.28/439.04 c #Conflicts: 542000 | #Constraints: 25806
437.28/439.04 c #Conflicts: 543000 | #Constraints: 26806
437.28/439.04 c #Conflicts: 544000 | #Constraints: 27806
437.28/439.04 c #Conflicts: 545000 | #Constraints: 28806
437.28/439.04 c #Conflicts: 546000 | #Constraints: 29806
437.28/439.04 c INPROCESSING
437.28/439.04 c GARBAGE COLLECT
437.28/439.04 c #Conflicts: 547000 | #Constraints: 16206
437.28/439.04 c #Conflicts: 548000 | #Constraints: 17206
437.28/439.04 c #Conflicts: 549000 | #Constraints: 18206
437.28/439.04 c #Conflicts: 550000 | #Constraints: 19206
437.28/439.04 c #Conflicts: 551000 | #Constraints: 20206
437.28/439.04 c #Conflicts: 552000 | #Constraints: 21206
437.28/439.04 c #Conflicts: 553000 | #Constraints: 22206
437.28/439.04 c #Conflicts: 554000 | #Constraints: 23206
437.28/439.04 c #Conflicts: 555000 | #Constraints: 24206
437.28/439.04 c #Conflicts: 556000 | #Constraints: 25206
437.28/439.04 c #Conflicts: 557000 | #Constraints: 26206
437.28/439.04 c #Conflicts: 558000 | #Constraints: 27206
437.28/439.04 c #Conflicts: 559000 | #Constraints: 28206
437.28/439.04 c #Conflicts: 560000 | #Constraints: 29206
437.28/439.04 c #Conflicts: 561000 | #Constraints: 30206
437.28/439.04 c INPROCESSING
437.28/439.04 c GARBAGE COLLECT
437.28/439.04 c #Conflicts: 562000 | #Constraints: 16408
437.28/439.04 c #Conflicts: 563000 | #Constraints: 17408
437.28/439.04 c #Conflicts: 564000 | #Constraints: 18408
437.28/439.04 c #Conflicts: 565000 | #Constraints: 19408
437.28/439.04 c #Conflicts: 566000 | #Constraints: 20408
437.28/439.04 c #Conflicts: 567000 | #Constraints: 21408
437.28/439.04 c #Conflicts: 568000 | #Constraints: 22408
437.28/439.04 c #Conflicts: 569000 | #Constraints: 23408
437.28/439.04 c #Conflicts: 570000 | #Constraints: 24408
437.28/439.04 c #Conflicts: 571000 | #Constraints: 25408
437.28/439.04 c #Conflicts: 572000 | #Constraints: 26408
437.28/439.04 c #Conflicts: 573000 | #Constraints: 27408
437.28/439.04 c #Conflicts: 574000 | #Constraints: 28408
437.28/439.04 c #Conflicts: 575000 | #Constraints: 29408
437.28/439.04 c #Conflicts: 576000 | #Constraints: 30408
437.28/439.04 c INPROCESSING
437.28/439.04 c GARBAGE COLLECT
437.28/439.04 c #Conflicts: 577000 | #Constraints: 16406
437.28/439.04 c #Conflicts: 578000 | #Constraints: 17406
437.28/439.04 c #Conflicts: 579000 | #Constraints: 18406
437.28/439.04 c #Conflicts: 580000 | #Constraints: 19406
437.28/439.04 c #Conflicts: 581000 | #Constraints: 20406
437.28/439.04 c #Conflicts: 582000 | #Constraints: 21406
437.28/439.04 c #Conflicts: 583000 | #Constraints: 22406
437.28/439.04 c #Conflicts: 584000 | #Constraints: 23406
437.28/439.04 c #Conflicts: 585000 | #Constraints: 24406
437.28/439.04 c #Conflicts: 586000 | #Constraints: 25406
437.28/439.04 c #Conflicts: 587000 | #Constraints: 26406
437.28/439.04 c #Conflicts: 588000 | #Constraints: 27406
437.28/439.04 c #Conflicts: 589000 | #Constraints: 28406
437.28/439.04 c #Conflicts: 590000 | #Constraints: 29406
437.28/439.04 c #Conflicts: 591000 | #Constraints: 30406
437.28/439.04 c INPROCESSING
437.28/439.04 c GARBAGE COLLECT
437.28/439.04 c #Conflicts: 592000 | #Constraints: 16212
437.28/439.04 c #Conflicts: 593000 | #Constraints: 17212
437.28/439.04 c #Conflicts: 594000 | #Constraints: 18212
437.28/439.04 c #Conflicts: 595000 | #Constraints: 19212
437.28/439.04 c #Conflicts: 596000 | #Constraints: 20212
437.28/439.04 c #Conflicts: 597000 | #Constraints: 21212
437.28/439.04 c #Conflicts: 598000 | #Constraints: 22212
437.28/439.04 c #Conflicts: 599000 | #Constraints: 23212
437.28/439.04 c #Conflicts: 600000 | #Constraints: 24212
437.28/439.04 c #Conflicts: 601000 | #Constraints: 25212
437.28/439.04 c #Conflicts: 602000 | #Constraints: 26212
437.28/439.04 c #Conflicts: 603000 | #Constraints: 27212
437.28/439.04 c #Conflicts: 604000 | #Constraints: 28212
437.28/439.04 c #Conflicts: 605000 | #Constraints: 29212
437.28/439.04 c #Conflicts: 606000 | #Constraints: 30212
437.28/439.04 c #Conflicts: 607000 | #Constraints: 31212
437.28/439.04 c INPROCESSING
437.28/439.04 c GARBAGE COLLECT
437.28/439.04 c #Conflicts: 608000 | #Constraints: 16822
437.28/439.04 c #Conflicts: 609000 | #Constraints: 17822
437.28/439.04 c #Conflicts: 610000 | #Constraints: 18822
437.28/439.04 c #Conflicts: 611000 | #Constraints: 19822
437.28/439.04 c #Conflicts: 612000 | #Constraints: 20822
437.28/439.04 c #Conflicts: 613000 | #Constraints: 21822
517.06/519.16 c #Conflicts: 614000 | #Constraints: 22822
517.06/519.16 c #Conflicts: 615000 | #Constraints: 23822
517.06/519.16 c #Conflicts: 616000 | #Constraints: 24822
517.06/519.16 c #Conflicts: 617000 | #Constraints: 25822
517.06/519.16 c #Conflicts: 618000 | #Constraints: 26822
517.06/519.16 c #Conflicts: 619000 | #Constraints: 27822
517.06/519.16 c #Conflicts: 620000 | #Constraints: 28822
517.06/519.16 c #Conflicts: 621000 | #Constraints: 29822
517.06/519.16 c #Conflicts: 622000 | #Constraints: 30822
517.06/519.16 c #Conflicts: 623000 | #Constraints: 31822
517.06/519.16 c INPROCESSING
517.06/519.16 c GARBAGE COLLECT
517.06/519.16 c #Conflicts: 624000 | #Constraints: 17209
517.06/519.16 c #Conflicts: 625000 | #Constraints: 18209
517.06/519.16 c #Conflicts: 626000 | #Constraints: 19209
517.06/519.16 c #Conflicts: 627000 | #Constraints: 20209
517.06/519.16 c #Conflicts: 628000 | #Constraints: 21209
517.06/519.16 c #Conflicts: 629000 | #Constraints: 22209
517.06/519.16 c #Conflicts: 630000 | #Constraints: 23209
517.06/519.16 c #Conflicts: 631000 | #Constraints: 24209
517.06/519.16 c #Conflicts: 632000 | #Constraints: 25209
517.06/519.16 c #Conflicts: 633000 | #Constraints: 26209
517.06/519.16 c #Conflicts: 634000 | #Constraints: 27209
517.06/519.16 c #Conflicts: 635000 | #Constraints: 28209
517.06/519.16 c #Conflicts: 636000 | #Constraints: 29209
517.06/519.16 c #Conflicts: 637000 | #Constraints: 30209
517.06/519.16 c #Conflicts: 638000 | #Constraints: 31209
517.06/519.16 c #Conflicts: 639000 | #Constraints: 32209
517.06/519.16 c INPROCESSING
517.06/519.16 c GARBAGE COLLECT
517.06/519.16 c #Conflicts: 640000 | #Constraints: 17420
517.06/519.16 c #Conflicts: 641000 | #Constraints: 18420
517.06/519.16 c #Conflicts: 642000 | #Constraints: 19420
517.06/519.16 c #Conflicts: 643000 | #Constraints: 20420
517.06/519.16 c #Conflicts: 644000 | #Constraints: 21420
517.06/519.16 c #Conflicts: 645000 | #Constraints: 22420
517.06/519.16 c #Conflicts: 646000 | #Constraints: 23420
517.06/519.16 c #Conflicts: 647000 | #Constraints: 24420
517.06/519.16 c #Conflicts: 648000 | #Constraints: 25420
517.06/519.16 c #Conflicts: 649000 | #Constraints: 26420
517.06/519.16 c #Conflicts: 650000 | #Constraints: 27420
517.06/519.16 c #Conflicts: 651000 | #Constraints: 28420
517.06/519.16 c #Conflicts: 652000 | #Constraints: 29420
517.06/519.16 c #Conflicts: 653000 | #Constraints: 30420
517.06/519.16 c #Conflicts: 654000 | #Constraints: 31420
517.06/519.16 c #Conflicts: 655000 | #Constraints: 32420
517.06/519.16 c INPROCESSING
517.06/519.16 c GARBAGE COLLECT
517.06/519.16 c #Conflicts: 656000 | #Constraints: 17415
517.06/519.16 c #Conflicts: 657000 | #Constraints: 18415
517.06/519.16 c #Conflicts: 658000 | #Constraints: 19415
517.06/519.16 c #Conflicts: 659000 | #Constraints: 20415
517.06/519.16 c #Conflicts: 660000 | #Constraints: 21415
517.06/519.16 c #Conflicts: 661000 | #Constraints: 22415
517.06/519.16 c #Conflicts: 662000 | #Constraints: 23415
517.06/519.16 c #Conflicts: 663000 | #Constraints: 24415
517.06/519.16 c #Conflicts: 664000 | #Constraints: 25415
517.06/519.16 c #Conflicts: 665000 | #Constraints: 26415
517.06/519.16 c #Conflicts: 666000 | #Constraints: 27415
517.06/519.16 c #Conflicts: 667000 | #Constraints: 28415
517.06/519.16 c #Conflicts: 668000 | #Constraints: 29415
517.06/519.16 c #Conflicts: 669000 | #Constraints: 30415
517.06/519.16 c #Conflicts: 670000 | #Constraints: 31415
517.06/519.16 c #Conflicts: 671000 | #Constraints: 32415
517.06/519.16 c INPROCESSING
517.06/519.16 c GARBAGE COLLECT
517.06/519.16 c #Conflicts: 672000 | #Constraints: 17214
517.06/519.16 c #Conflicts: 673000 | #Constraints: 18214
517.06/519.16 c #Conflicts: 674000 | #Constraints: 19214
517.06/519.16 c #Conflicts: 675000 | #Constraints: 20214
517.06/519.16 c #Conflicts: 676000 | #Constraints: 21214
517.06/519.16 c #Conflicts: 677000 | #Constraints: 22214
517.06/519.16 c #Conflicts: 678000 | #Constraints: 23214
517.06/519.16 c #Conflicts: 679000 | #Constraints: 24214
517.06/519.16 c #Conflicts: 680000 | #Constraints: 25214
517.06/519.16 c #Conflicts: 681000 | #Constraints: 26214
517.06/519.16 c #Conflicts: 682000 | #Constraints: 27214
517.06/519.16 c #Conflicts: 683000 | #Constraints: 28214
517.06/519.16 c #Conflicts: 684000 | #Constraints: 29214
517.06/519.16 c #Conflicts: 685000 | #Constraints: 30214
517.06/519.16 c #Conflicts: 686000 | #Constraints: 31214
517.06/519.16 c #Conflicts: 687000 | #Constraints: 32214
517.06/519.16 c #Conflicts: 688000 | #Constraints: 33214
517.06/519.16 c INPROCESSING
517.06/519.16 c GARBAGE COLLECT
517.06/519.16 c #Conflicts: 689000 | #Constraints: 17816
598.47/600.87 c #Conflicts: 690000 | #Constraints: 18816
598.47/600.87 c #Conflicts: 691000 | #Constraints: 19816
598.47/600.87 c #Conflicts: 692000 | #Constraints: 20816
598.47/600.87 c #Conflicts: 693000 | #Constraints: 21816
598.47/600.87 c #Conflicts: 694000 | #Constraints: 22816
598.47/600.87 c #Conflicts: 695000 | #Constraints: 23816
598.47/600.87 c #Conflicts: 696000 | #Constraints: 24816
598.47/600.87 c #Conflicts: 697000 | #Constraints: 25816
598.47/600.87 c #Conflicts: 698000 | #Constraints: 26816
598.47/600.87 c #Conflicts: 699000 | #Constraints: 27816
598.47/600.87 c #Conflicts: 700000 | #Constraints: 28816
598.47/600.87 c #Conflicts: 701000 | #Constraints: 29816
598.47/600.87 c #Conflicts: 702000 | #Constraints: 30816
598.47/600.87 c #Conflicts: 703000 | #Constraints: 31816
598.47/600.87 c #Conflicts: 704000 | #Constraints: 32816
598.47/600.87 c #Conflicts: 705000 | #Constraints: 33816
598.47/600.87 c INPROCESSING
598.47/600.87 c GARBAGE COLLECT
598.47/600.87 c #Conflicts: 706000 | #Constraints: 18214
598.47/600.87 c #Conflicts: 707000 | #Constraints: 19214
598.47/600.87 c #Conflicts: 708000 | #Constraints: 20214
598.47/600.87 c #Conflicts: 709000 | #Constraints: 21214
598.47/600.87 c #Conflicts: 710000 | #Constraints: 22214
598.47/600.87 c #Conflicts: 711000 | #Constraints: 23214
598.47/600.87 c #Conflicts: 712000 | #Constraints: 24214
598.47/600.87 c #Conflicts: 713000 | #Constraints: 25214
598.47/600.87 c #Conflicts: 714000 | #Constraints: 26214
598.47/600.87 c #Conflicts: 715000 | #Constraints: 27214
598.47/600.87 c #Conflicts: 716000 | #Constraints: 28214
598.47/600.87 c #Conflicts: 717000 | #Constraints: 29214
598.47/600.87 c #Conflicts: 718000 | #Constraints: 30214
598.47/600.87 c #Conflicts: 719000 | #Constraints: 31214
598.47/600.87 c #Conflicts: 720000 | #Constraints: 32214
598.47/600.87 c #Conflicts: 721000 | #Constraints: 33214
598.47/600.87 c #Conflicts: 722000 | #Constraints: 34214
598.47/600.87 c INPROCESSING
598.47/600.87 c GARBAGE COLLECT
598.47/600.87 c #Conflicts: 723000 | #Constraints: 18408
598.47/600.87 c #Conflicts: 724000 | #Constraints: 19408
598.47/600.87 c #Conflicts: 725000 | #Constraints: 20408
598.47/600.87 c #Conflicts: 726000 | #Constraints: 21408
598.47/600.87 c #Conflicts: 727000 | #Constraints: 22408
598.47/600.87 c #Conflicts: 728000 | #Constraints: 23408
598.47/600.87 c #Conflicts: 729000 | #Constraints: 24408
598.47/600.87 c #Conflicts: 730000 | #Constraints: 25408
598.47/600.87 c #Conflicts: 731000 | #Constraints: 26408
598.47/600.87 c #Conflicts: 732000 | #Constraints: 27408
598.47/600.87 c #Conflicts: 733000 | #Constraints: 28408
598.47/600.87 c #Conflicts: 734000 | #Constraints: 29408
598.47/600.87 c #Conflicts: 735000 | #Constraints: 30408
598.47/600.87 c #Conflicts: 736000 | #Constraints: 31408
598.47/600.87 c #Conflicts: 737000 | #Constraints: 32408
598.47/600.87 c #Conflicts: 738000 | #Constraints: 33408
598.47/600.87 c #Conflicts: 739000 | #Constraints: 34408
598.47/600.87 c INPROCESSING
598.47/600.87 c GARBAGE COLLECT
598.47/600.87 c #Conflicts: 740000 | #Constraints: 18418
598.47/600.87 c #Conflicts: 741000 | #Constraints: 19418
598.47/600.87 c #Conflicts: 742000 | #Constraints: 20418
598.47/600.87 c #Conflicts: 743000 | #Constraints: 21418
598.47/600.87 c #Conflicts: 744000 | #Constraints: 22418
598.47/600.87 c #Conflicts: 745000 | #Constraints: 23418
598.47/600.87 c #Conflicts: 746000 | #Constraints: 24418
598.47/600.87 c #Conflicts: 747000 | #Constraints: 25418
598.47/600.87 c #Conflicts: 748000 | #Constraints: 26418
598.47/600.87 c #Conflicts: 749000 | #Constraints: 27418
598.47/600.87 c #Conflicts: 750000 | #Constraints: 28418
598.47/600.87 c #Conflicts: 751000 | #Constraints: 29418
598.47/600.87 c #Conflicts: 752000 | #Constraints: 30418
598.47/600.87 c #Conflicts: 753000 | #Constraints: 31418
598.47/600.87 c #Conflicts: 754000 | #Constraints: 32418
598.47/600.87 c #Conflicts: 755000 | #Constraints: 33418
598.47/600.87 c #Conflicts: 756000 | #Constraints: 34418
598.47/600.87 c INPROCESSING
598.47/600.87 c GARBAGE COLLECT
598.47/600.87 c #Conflicts: 757000 | #Constraints: 18223
598.47/600.87 c #Conflicts: 758000 | #Constraints: 19223
598.47/600.87 c #Conflicts: 759000 | #Constraints: 20223
598.47/600.87 c #Conflicts: 760000 | #Constraints: 21223
598.47/600.87 c #Conflicts: 761000 | #Constraints: 22223
598.47/600.87 c #Conflicts: 762000 | #Constraints: 23223
598.47/600.87 c #Conflicts: 763000 | #Constraints: 24223
598.47/600.87 c #Conflicts: 764000 | #Constraints: 25223
598.47/600.87 c #Conflicts: 765000 | #Constraints: 26223
688.76/691.43 c #Conflicts: 766000 | #Constraints: 27223
688.76/691.43 c #Conflicts: 767000 | #Constraints: 28223
688.76/691.43 c #Conflicts: 768000 | #Constraints: 29223
688.76/691.43 c #Conflicts: 769000 | #Constraints: 30223
688.76/691.43 c #Conflicts: 770000 | #Constraints: 31223
688.76/691.43 c #Conflicts: 771000 | #Constraints: 32223
688.76/691.43 c #Conflicts: 772000 | #Constraints: 33223
688.76/691.43 c #Conflicts: 773000 | #Constraints: 34223
688.76/691.43 c #Conflicts: 774000 | #Constraints: 35223
688.76/691.43 c INPROCESSING
688.76/691.43 c GARBAGE COLLECT
688.76/691.43 c #Conflicts: 775000 | #Constraints: 18823
688.76/691.43 c #Conflicts: 776000 | #Constraints: 19823
688.76/691.43 c #Conflicts: 777000 | #Constraints: 20823
688.76/691.43 c #Conflicts: 778000 | #Constraints: 21823
688.76/691.43 c #Conflicts: 779000 | #Constraints: 22823
688.76/691.43 c #Conflicts: 780000 | #Constraints: 23823
688.76/691.43 c #Conflicts: 781000 | #Constraints: 24823
688.76/691.43 c #Conflicts: 782000 | #Constraints: 25823
688.76/691.43 c #Conflicts: 783000 | #Constraints: 26823
688.76/691.43 c #Conflicts: 784000 | #Constraints: 27823
688.76/691.43 c #Conflicts: 785000 | #Constraints: 28823
688.76/691.43 c #Conflicts: 786000 | #Constraints: 29823
688.76/691.43 c #Conflicts: 787000 | #Constraints: 30823
688.76/691.43 c #Conflicts: 788000 | #Constraints: 31823
688.76/691.43 c #Conflicts: 789000 | #Constraints: 32823
688.76/691.43 c #Conflicts: 790000 | #Constraints: 33823
688.76/691.43 c #Conflicts: 791000 | #Constraints: 34823
688.76/691.43 c #Conflicts: 792000 | #Constraints: 35823
688.76/691.43 c INPROCESSING
688.76/691.43 c GARBAGE COLLECT
688.76/691.43 c #Conflicts: 793000 | #Constraints: 19219
688.76/691.43 c #Conflicts: 794000 | #Constraints: 20219
688.76/691.43 c #Conflicts: 795000 | #Constraints: 21219
688.76/691.43 c #Conflicts: 796000 | #Constraints: 22219
688.76/691.43 c #Conflicts: 797000 | #Constraints: 23219
688.76/691.43 c #Conflicts: 798000 | #Constraints: 24219
688.76/691.43 c #Conflicts: 799000 | #Constraints: 25219
688.76/691.43 c #Conflicts: 800000 | #Constraints: 26219
688.76/691.43 c #Conflicts: 801000 | #Constraints: 27219
688.76/691.43 c #Conflicts: 802000 | #Constraints: 28219
688.76/691.43 c #Conflicts: 803000 | #Constraints: 29219
688.76/691.43 c #Conflicts: 804000 | #Constraints: 30219
688.76/691.43 c #Conflicts: 805000 | #Constraints: 31219
688.76/691.43 c #Conflicts: 806000 | #Constraints: 32219
688.76/691.43 c #Conflicts: 807000 | #Constraints: 33219
688.76/691.43 c #Conflicts: 808000 | #Constraints: 34219
688.76/691.43 c #Conflicts: 809000 | #Constraints: 35219
688.76/691.43 c #Conflicts: 810000 | #Constraints: 36219
688.76/691.43 c INPROCESSING
688.76/691.43 c GARBAGE COLLECT
688.76/691.43 c #Conflicts: 811000 | #Constraints: 19409
688.76/691.43 c #Conflicts: 812000 | #Constraints: 20409
688.76/691.43 c #Conflicts: 813000 | #Constraints: 21409
688.76/691.43 c #Conflicts: 814000 | #Constraints: 22409
688.76/691.43 c #Conflicts: 815000 | #Constraints: 23409
688.76/691.43 c #Conflicts: 816000 | #Constraints: 24409
688.76/691.43 c #Conflicts: 817000 | #Constraints: 25409
688.76/691.43 c #Conflicts: 818000 | #Constraints: 26409
688.76/691.43 c #Conflicts: 819000 | #Constraints: 27409
688.76/691.43 c #Conflicts: 820000 | #Constraints: 28409
688.76/691.43 c #Conflicts: 821000 | #Constraints: 29409
688.76/691.43 c #Conflicts: 822000 | #Constraints: 30409
688.76/691.43 c #Conflicts: 823000 | #Constraints: 31409
688.76/691.43 c #Conflicts: 824000 | #Constraints: 32409
688.76/691.43 c #Conflicts: 825000 | #Constraints: 33409
688.76/691.43 c #Conflicts: 826000 | #Constraints: 34409
688.76/691.43 c #Conflicts: 827000 | #Constraints: 35409
688.76/691.43 c #Conflicts: 828000 | #Constraints: 36409
688.76/691.43 c INPROCESSING
688.76/691.43 c GARBAGE COLLECT
688.76/691.43 c #Conflicts: 829000 | #Constraints: 19408
688.76/691.43 c #Conflicts: 830000 | #Constraints: 20408
688.76/691.43 c #Conflicts: 831000 | #Constraints: 21408
688.76/691.43 c #Conflicts: 832000 | #Constraints: 22408
688.76/691.43 c #Conflicts: 833000 | #Constraints: 23408
688.76/691.43 c #Conflicts: 834000 | #Constraints: 24408
688.76/691.43 c #Conflicts: 835000 | #Constraints: 25408
688.76/691.43 c #Conflicts: 836000 | #Constraints: 26408
688.76/691.43 c #Conflicts: 837000 | #Constraints: 27408
688.76/691.43 c #Conflicts: 838000 | #Constraints: 28408
688.76/691.43 c #Conflicts: 839000 | #Constraints: 29408
688.76/691.43 c #Conflicts: 840000 | #Constraints: 30408
688.76/691.43 c #Conflicts: 841000 | #Constraints: 31408
785.72/788.78 c #Conflicts: 842000 | #Constraints: 32408
785.72/788.78 c #Conflicts: 843000 | #Constraints: 33408
785.72/788.78 c #Conflicts: 844000 | #Constraints: 34408
785.72/788.78 c #Conflicts: 845000 | #Constraints: 35408
785.72/788.78 c #Conflicts: 846000 | #Constraints: 36408
785.72/788.78 c INPROCESSING
785.72/788.78 c GARBAGE COLLECT
785.72/788.78 c #Conflicts: 847000 | #Constraints: 19210
785.72/788.78 c #Conflicts: 848000 | #Constraints: 20210
785.72/788.78 c #Conflicts: 849000 | #Constraints: 21210
785.72/788.78 c #Conflicts: 850000 | #Constraints: 22210
785.72/788.78 c #Conflicts: 851000 | #Constraints: 23210
785.72/788.78 c #Conflicts: 852000 | #Constraints: 24210
785.72/788.78 c #Conflicts: 853000 | #Constraints: 25210
785.72/788.78 c #Conflicts: 854000 | #Constraints: 26210
785.72/788.78 c #Conflicts: 855000 | #Constraints: 27210
785.72/788.78 c #Conflicts: 856000 | #Constraints: 28210
785.72/788.78 c #Conflicts: 857000 | #Constraints: 29210
785.72/788.78 c #Conflicts: 858000 | #Constraints: 30210
785.72/788.78 c #Conflicts: 859000 | #Constraints: 31210
785.72/788.78 c #Conflicts: 860000 | #Constraints: 32210
785.72/788.78 c #Conflicts: 861000 | #Constraints: 33210
785.72/788.78 c #Conflicts: 862000 | #Constraints: 34210
785.72/788.78 c #Conflicts: 863000 | #Constraints: 35210
785.72/788.78 c #Conflicts: 864000 | #Constraints: 36210
785.72/788.78 c #Conflicts: 865000 | #Constraints: 37210
785.72/788.78 c INPROCESSING
785.72/788.78 c GARBAGE COLLECT
785.72/788.78 c #Conflicts: 866000 | #Constraints: 19814
785.72/788.78 c #Conflicts: 867000 | #Constraints: 20814
785.72/788.78 c #Conflicts: 868000 | #Constraints: 21814
785.72/788.78 c #Conflicts: 869000 | #Constraints: 22814
785.72/788.78 c #Conflicts: 870000 | #Constraints: 23814
785.72/788.78 c #Conflicts: 871000 | #Constraints: 24814
785.72/788.78 c #Conflicts: 872000 | #Constraints: 25814
785.72/788.78 c #Conflicts: 873000 | #Constraints: 26814
785.72/788.78 c #Conflicts: 874000 | #Constraints: 27814
785.72/788.78 c #Conflicts: 875000 | #Constraints: 28814
785.72/788.78 c #Conflicts: 876000 | #Constraints: 29814
785.72/788.78 c #Conflicts: 877000 | #Constraints: 30814
785.72/788.78 c #Conflicts: 878000 | #Constraints: 31814
785.72/788.78 c #Conflicts: 879000 | #Constraints: 32814
785.72/788.78 c #Conflicts: 880000 | #Constraints: 33814
785.72/788.78 c #Conflicts: 881000 | #Constraints: 34814
785.72/788.78 c #Conflicts: 882000 | #Constraints: 35814
785.72/788.78 c #Conflicts: 883000 | #Constraints: 36814
785.72/788.78 c #Conflicts: 884000 | #Constraints: 37814
785.72/788.78 c INPROCESSING
785.72/788.78 c GARBAGE COLLECT
785.72/788.78 c #Conflicts: 885000 | #Constraints: 20221
785.72/788.78 c #Conflicts: 886000 | #Constraints: 21221
785.72/788.78 c #Conflicts: 887000 | #Constraints: 22221
785.72/788.78 c #Conflicts: 888000 | #Constraints: 23221
785.72/788.78 c #Conflicts: 889000 | #Constraints: 24221
785.72/788.78 c #Conflicts: 890000 | #Constraints: 25221
785.72/788.78 c #Conflicts: 891000 | #Constraints: 26221
785.72/788.78 c #Conflicts: 892000 | #Constraints: 27221
785.72/788.78 c #Conflicts: 893000 | #Constraints: 28221
785.72/788.78 c #Conflicts: 894000 | #Constraints: 29221
785.72/788.78 c #Conflicts: 895000 | #Constraints: 30221
785.72/788.78 c #Conflicts: 896000 | #Constraints: 31221
785.72/788.78 c #Conflicts: 897000 | #Constraints: 32221
785.72/788.78 c #Conflicts: 898000 | #Constraints: 33221
785.72/788.78 c #Conflicts: 899000 | #Constraints: 34221
785.72/788.78 c #Conflicts: 900000 | #Constraints: 35221
785.72/788.78 c #Conflicts: 901000 | #Constraints: 36221
785.72/788.78 c #Conflicts: 902000 | #Constraints: 37221
785.72/788.78 c #Conflicts: 903000 | #Constraints: 38221
785.72/788.78 c INPROCESSING
785.72/788.78 c GARBAGE COLLECT
785.72/788.78 c #Conflicts: 904000 | #Constraints: 20414
785.72/788.78 c #Conflicts: 905000 | #Constraints: 21414
785.72/788.78 c #Conflicts: 906000 | #Constraints: 22414
785.72/788.78 c #Conflicts: 907000 | #Constraints: 23414
785.72/788.78 c #Conflicts: 908000 | #Constraints: 24414
785.72/788.78 c #Conflicts: 909000 | #Constraints: 25414
785.72/788.78 c #Conflicts: 910000 | #Constraints: 26414
785.72/788.78 c #Conflicts: 911000 | #Constraints: 27414
785.72/788.78 c #Conflicts: 912000 | #Constraints: 28414
785.72/788.78 c #Conflicts: 913000 | #Constraints: 29414
785.72/788.78 c #Conflicts: 914000 | #Constraints: 30414
785.72/788.78 c #Conflicts: 915000 | #Constraints: 31414
785.72/788.78 c #Conflicts: 916000 | #Constraints: 32414
785.72/788.78 c #Conflicts: 917000 | #Constraints: 33414
882.75/886.18 c #Conflicts: 918000 | #Constraints: 34414
882.75/886.18 c #Conflicts: 919000 | #Constraints: 35414
882.75/886.18 c #Conflicts: 920000 | #Constraints: 36414
882.75/886.18 c #Conflicts: 921000 | #Constraints: 37414
882.75/886.18 c #Conflicts: 922000 | #Constraints: 38414
882.75/886.18 c INPROCESSING
882.75/886.18 c GARBAGE COLLECT
882.75/886.18 c #Conflicts: 923000 | #Constraints: 20412
882.75/886.18 c #Conflicts: 924000 | #Constraints: 21412
882.75/886.18 c #Conflicts: 925000 | #Constraints: 22412
882.75/886.18 c #Conflicts: 926000 | #Constraints: 23412
882.75/886.18 c #Conflicts: 927000 | #Constraints: 24412
882.75/886.18 c #Conflicts: 928000 | #Constraints: 25412
882.75/886.18 c #Conflicts: 929000 | #Constraints: 26412
882.75/886.18 c #Conflicts: 930000 | #Constraints: 27412
882.75/886.18 c #Conflicts: 931000 | #Constraints: 28412
882.75/886.18 c #Conflicts: 932000 | #Constraints: 29412
882.75/886.18 c #Conflicts: 933000 | #Constraints: 30412
882.75/886.18 c #Conflicts: 934000 | #Constraints: 31412
882.75/886.18 c #Conflicts: 935000 | #Constraints: 32412
882.75/886.18 c #Conflicts: 936000 | #Constraints: 33412
882.75/886.18 c #Conflicts: 937000 | #Constraints: 34412
882.75/886.18 c #Conflicts: 938000 | #Constraints: 35412
882.75/886.18 c #Conflicts: 939000 | #Constraints: 36412
882.75/886.18 c #Conflicts: 940000 | #Constraints: 37412
882.75/886.18 c #Conflicts: 941000 | #Constraints: 38412
882.75/886.18 c INPROCESSING
882.75/886.18 c GARBAGE COLLECT
882.75/886.18 c #Conflicts: 942000 | #Constraints: 20210
882.75/886.18 c #Conflicts: 943000 | #Constraints: 21210
882.75/886.18 c #Conflicts: 944000 | #Constraints: 22210
882.75/886.18 c #Conflicts: 945000 | #Constraints: 23210
882.75/886.18 c #Conflicts: 946000 | #Constraints: 24210
882.75/886.18 c #Conflicts: 947000 | #Constraints: 25210
882.75/886.18 c #Conflicts: 948000 | #Constraints: 26210
882.75/886.18 c #Conflicts: 949000 | #Constraints: 27210
882.75/886.18 c #Conflicts: 950000 | #Constraints: 28210
882.75/886.18 c #Conflicts: 951000 | #Constraints: 29210
882.75/886.18 c #Conflicts: 952000 | #Constraints: 30210
882.75/886.18 c #Conflicts: 953000 | #Constraints: 31210
882.75/886.18 c #Conflicts: 954000 | #Constraints: 32210
882.75/886.18 c #Conflicts: 955000 | #Constraints: 33210
882.75/886.18 c #Conflicts: 956000 | #Constraints: 34210
882.75/886.18 c #Conflicts: 957000 | #Constraints: 35210
882.75/886.18 c #Conflicts: 958000 | #Constraints: 36210
882.75/886.18 c #Conflicts: 959000 | #Constraints: 37210
882.75/886.18 c #Conflicts: 960000 | #Constraints: 38210
882.75/886.18 c #Conflicts: 961000 | #Constraints: 39210
882.75/886.18 c INPROCESSING
882.75/886.18 c GARBAGE COLLECT
882.75/886.18 c #Conflicts: 962000 | #Constraints: 20820
882.75/886.18 c #Conflicts: 963000 | #Constraints: 21820
882.75/886.18 c #Conflicts: 964000 | #Constraints: 22820
882.75/886.18 c #Conflicts: 965000 | #Constraints: 23820
882.75/886.18 c #Conflicts: 966000 | #Constraints: 24820
882.75/886.18 c #Conflicts: 967000 | #Constraints: 25820
882.75/886.18 c #Conflicts: 968000 | #Constraints: 26820
882.75/886.18 c #Conflicts: 969000 | #Constraints: 27820
882.75/886.18 c #Conflicts: 970000 | #Constraints: 28820
882.75/886.18 c #Conflicts: 971000 | #Constraints: 29820
882.75/886.18 c #Conflicts: 972000 | #Constraints: 30820
882.75/886.18 c #Conflicts: 973000 | #Constraints: 31820
882.75/886.18 c #Conflicts: 974000 | #Constraints: 32820
882.75/886.18 c #Conflicts: 975000 | #Constraints: 33820
882.75/886.18 c #Conflicts: 976000 | #Constraints: 34820
882.75/886.18 c #Conflicts: 977000 | #Constraints: 35820
882.75/886.18 c #Conflicts: 978000 | #Constraints: 36820
882.75/886.18 c #Conflicts: 979000 | #Constraints: 37820
882.75/886.18 c #Conflicts: 980000 | #Constraints: 38820
882.75/886.18 c #Conflicts: 981000 | #Constraints: 39820
882.75/886.18 c INPROCESSING
882.75/886.18 c GARBAGE COLLECT
882.75/886.18 c #Conflicts: 982000 | #Constraints: 21227
882.75/886.18 c #Conflicts: 983000 | #Constraints: 22227
882.75/886.18 c #Conflicts: 984000 | #Constraints: 23227
882.75/886.18 c #Conflicts: 985000 | #Constraints: 24227
882.75/886.18 c #Conflicts: 986000 | #Constraints: 25227
882.75/886.18 c #Conflicts: 987000 | #Constraints: 26227
882.75/886.18 c #Conflicts: 988000 | #Constraints: 27227
882.75/886.18 c #Conflicts: 989000 | #Constraints: 28227
882.75/886.18 c #Conflicts: 990000 | #Constraints: 29227
882.75/886.18 c #Conflicts: 991000 | #Constraints: 30227
882.75/886.18 c #Conflicts: 992000 | #Constraints: 31227
882.75/886.18 c #Conflicts: 993000 | #Constraints: 32227
882.75/886.18 c #Conflicts: 994000 | #Constraints: 33227
991.88/995.69 c #Conflicts: 995000 | #Constraints: 34227
991.88/995.69 c #Conflicts: 996000 | #Constraints: 35227
991.88/995.69 c #Conflicts: 997000 | #Constraints: 36227
991.88/995.69 c #Conflicts: 998000 | #Constraints: 37227
991.88/995.69 c #Conflicts: 999000 | #Constraints: 38227
991.88/995.69 c #Conflicts: 1000000 | #Constraints: 39227
991.88/995.69 c #Conflicts: 1001000 | #Constraints: 40227
991.88/995.69 c INPROCESSING
991.88/995.69 c GARBAGE COLLECT
991.88/995.69 c #Conflicts: 1002000 | #Constraints: 21426
991.88/995.69 c #Conflicts: 1003000 | #Constraints: 22426
991.88/995.69 c #Conflicts: 1004000 | #Constraints: 23426
991.88/995.69 c #Conflicts: 1005000 | #Constraints: 24426
991.88/995.69 c #Conflicts: 1006000 | #Constraints: 25426
991.88/995.69 c #Conflicts: 1007000 | #Constraints: 26426
991.88/995.69 c #Conflicts: 1008000 | #Constraints: 27426
991.88/995.69 c #Conflicts: 1009000 | #Constraints: 28426
991.88/995.69 c #Conflicts: 1010000 | #Constraints: 29426
991.88/995.69 c #Conflicts: 1011000 | #Constraints: 30426
991.88/995.69 c #Conflicts: 1012000 | #Constraints: 31426
991.88/995.69 c #Conflicts: 1013000 | #Constraints: 32426
991.88/995.69 c #Conflicts: 1014000 | #Constraints: 33426
991.88/995.69 c #Conflicts: 1015000 | #Constraints: 34426
991.88/995.69 c #Conflicts: 1016000 | #Constraints: 35426
991.88/995.69 c #Conflicts: 1017000 | #Constraints: 36426
991.88/995.69 c #Conflicts: 1018000 | #Constraints: 37426
991.88/995.69 c #Conflicts: 1019000 | #Constraints: 38426
991.88/995.69 c #Conflicts: 1020000 | #Constraints: 39426
991.88/995.69 c #Conflicts: 1021000 | #Constraints: 40426
991.88/995.69 c INPROCESSING
991.88/995.69 c GARBAGE COLLECT
991.88/995.69 c #Conflicts: 1022000 | #Constraints: 21423
991.88/995.69 c #Conflicts: 1023000 | #Constraints: 22423
991.88/995.69 c #Conflicts: 1024000 | #Constraints: 23423
991.88/995.69 c #Conflicts: 1025000 | #Constraints: 24423
991.88/995.69 c #Conflicts: 1026000 | #Constraints: 25423
991.88/995.69 c #Conflicts: 1027000 | #Constraints: 26423
991.88/995.69 c #Conflicts: 1028000 | #Constraints: 27423
991.88/995.69 c #Conflicts: 1029000 | #Constraints: 28423
991.88/995.69 c #Conflicts: 1030000 | #Constraints: 29423
991.88/995.69 c #Conflicts: 1031000 | #Constraints: 30423
991.88/995.69 c #Conflicts: 1032000 | #Constraints: 31423
991.88/995.69 c #Conflicts: 1033000 | #Constraints: 32423
991.88/995.69 c #Conflicts: 1034000 | #Constraints: 33423
991.88/995.69 c #Conflicts: 1035000 | #Constraints: 34423
991.88/995.69 c #Conflicts: 1036000 | #Constraints: 35423
991.88/995.69 c #Conflicts: 1037000 | #Constraints: 36423
991.88/995.69 c #Conflicts: 1038000 | #Constraints: 37423
991.88/995.69 c #Conflicts: 1039000 | #Constraints: 38423
991.88/995.69 c #Conflicts: 1040000 | #Constraints: 39423
991.88/995.69 c #Conflicts: 1041000 | #Constraints: 40423
991.88/995.69 c INPROCESSING
991.88/995.69 c GARBAGE COLLECT
991.88/995.69 c #Conflicts: 1042000 | #Constraints: 21236
991.88/995.69 c #Conflicts: 1043000 | #Constraints: 22236
991.88/995.69 c #Conflicts: 1044000 | #Constraints: 23236
991.88/995.69 c #Conflicts: 1045000 | #Constraints: 24236
991.88/995.69 c #Conflicts: 1046000 | #Constraints: 25236
991.88/995.69 c #Conflicts: 1047000 | #Constraints: 26236
991.88/995.69 c #Conflicts: 1048000 | #Constraints: 27236
991.88/995.69 c #Conflicts: 1049000 | #Constraints: 28236
991.88/995.69 c #Conflicts: 1050000 | #Constraints: 29236
991.88/995.69 c #Conflicts: 1051000 | #Constraints: 30236
991.88/995.69 c #Conflicts: 1052000 | #Constraints: 31236
991.88/995.69 c #Conflicts: 1053000 | #Constraints: 32236
991.88/995.69 c #Conflicts: 1054000 | #Constraints: 33236
991.88/995.69 c #Conflicts: 1055000 | #Constraints: 34236
991.88/995.69 c #Conflicts: 1056000 | #Constraints: 35236
991.88/995.69 c #Conflicts: 1057000 | #Constraints: 36236
991.88/995.69 c #Conflicts: 1058000 | #Constraints: 37236
991.88/995.69 c #Conflicts: 1059000 | #Constraints: 38236
991.88/995.69 c #Conflicts: 1060000 | #Constraints: 39236
991.88/995.69 c #Conflicts: 1061000 | #Constraints: 40236
991.88/995.69 c #Conflicts: 1062000 | #Constraints: 41236
991.88/995.69 c INPROCESSING
991.88/995.69 c GARBAGE COLLECT
991.88/995.69 c #Conflicts: 1063000 | #Constraints: 21828
991.88/995.69 c #Conflicts: 1064000 | #Constraints: 22828
991.88/995.69 c #Conflicts: 1065000 | #Constraints: 23828
991.88/995.69 c #Conflicts: 1066000 | #Constraints: 24828
991.88/995.69 c #Conflicts: 1067000 | #Constraints: 25828
991.88/995.69 c #Conflicts: 1068000 | #Constraints: 26828
991.88/995.69 c #Conflicts: 1069000 | #Constraints: 27828
991.88/995.69 c #Conflicts: 1070000 | #Constraints: 28828
1100.08/1104.27 c #Conflicts: 1071000 | #Constraints: 29828
1100.08/1104.27 c #Conflicts: 1072000 | #Constraints: 30828
1100.08/1104.27 c #Conflicts: 1073000 | #Constraints: 31828
1100.08/1104.27 c #Conflicts: 1074000 | #Constraints: 32828
1100.08/1104.27 c #Conflicts: 1075000 | #Constraints: 33828
1100.08/1104.27 c #Conflicts: 1076000 | #Constraints: 34828
1100.08/1104.27 c #Conflicts: 1077000 | #Constraints: 35828
1100.08/1104.27 c #Conflicts: 1078000 | #Constraints: 36828
1100.08/1104.27 c #Conflicts: 1079000 | #Constraints: 37828
1100.08/1104.27 c #Conflicts: 1080000 | #Constraints: 38828
1100.08/1104.27 c #Conflicts: 1081000 | #Constraints: 39828
1100.08/1104.27 c #Conflicts: 1082000 | #Constraints: 40828
1100.08/1104.27 c #Conflicts: 1083000 | #Constraints: 41828
1100.08/1104.27 c INPROCESSING
1100.08/1104.27 c GARBAGE COLLECT
1100.08/1104.27 c #Conflicts: 1084000 | #Constraints: 22234
1100.08/1104.27 c #Conflicts: 1085000 | #Constraints: 23234
1100.08/1104.27 c #Conflicts: 1086000 | #Constraints: 24234
1100.08/1104.27 c #Conflicts: 1087000 | #Constraints: 25234
1100.08/1104.27 c #Conflicts: 1088000 | #Constraints: 26234
1100.08/1104.27 c #Conflicts: 1089000 | #Constraints: 27234
1100.08/1104.27 c #Conflicts: 1090000 | #Constraints: 28234
1100.08/1104.27 c #Conflicts: 1091000 | #Constraints: 29234
1100.08/1104.27 c #Conflicts: 1092000 | #Constraints: 30234
1100.08/1104.27 c #Conflicts: 1093000 | #Constraints: 31234
1100.08/1104.27 c #Conflicts: 1094000 | #Constraints: 32234
1100.08/1104.27 c #Conflicts: 1095000 | #Constraints: 33234
1100.08/1104.27 c #Conflicts: 1096000 | #Constraints: 34234
1100.08/1104.27 c #Conflicts: 1097000 | #Constraints: 35234
1100.08/1104.27 c #Conflicts: 1098000 | #Constraints: 36234
1100.08/1104.27 c #Conflicts: 1099000 | #Constraints: 37234
1100.08/1104.27 c #Conflicts: 1100000 | #Constraints: 38234
1100.08/1104.27 c #Conflicts: 1101000 | #Constraints: 39234
1100.08/1104.27 c #Conflicts: 1102000 | #Constraints: 40234
1100.08/1104.27 c #Conflicts: 1103000 | #Constraints: 41234
1100.08/1104.27 c #Conflicts: 1104000 | #Constraints: 42234
1100.08/1104.27 c INPROCESSING
1100.08/1104.27 c GARBAGE COLLECT
1100.08/1104.27 c #Conflicts: 1105000 | #Constraints: 22420
1100.08/1104.27 c #Conflicts: 1106000 | #Constraints: 23420
1100.08/1104.27 c #Conflicts: 1107000 | #Constraints: 24420
1100.08/1104.27 c #Conflicts: 1108000 | #Constraints: 25420
1100.08/1104.27 c #Conflicts: 1109000 | #Constraints: 26420
1100.08/1104.27 c #Conflicts: 1110000 | #Constraints: 27420
1100.08/1104.27 c #Conflicts: 1111000 | #Constraints: 28420
1100.08/1104.27 c #Conflicts: 1112000 | #Constraints: 29420
1100.08/1104.27 c #Conflicts: 1113000 | #Constraints: 30420
1100.08/1104.27 c #Conflicts: 1114000 | #Constraints: 31420
1100.08/1104.27 c #Conflicts: 1115000 | #Constraints: 32420
1100.08/1104.27 c #Conflicts: 1116000 | #Constraints: 33420
1100.08/1104.27 c #Conflicts: 1117000 | #Constraints: 34420
1100.08/1104.27 c #Conflicts: 1118000 | #Constraints: 35420
1100.08/1104.27 c #Conflicts: 1119000 | #Constraints: 36420
1100.08/1104.27 c #Conflicts: 1120000 | #Constraints: 37420
1100.08/1104.27 c #Conflicts: 1121000 | #Constraints: 38420
1100.08/1104.27 c #Conflicts: 1122000 | #Constraints: 39420
1100.08/1104.27 c #Conflicts: 1123000 | #Constraints: 40420
1100.08/1104.27 c #Conflicts: 1124000 | #Constraints: 41420
1100.08/1104.27 c #Conflicts: 1125000 | #Constraints: 42420
1100.08/1104.27 c INPROCESSING
1100.08/1104.27 c GARBAGE COLLECT
1100.08/1104.27 c #Conflicts: 1126000 | #Constraints: 22419
1100.08/1104.27 c #Conflicts: 1127000 | #Constraints: 23419
1100.08/1104.27 c #Conflicts: 1128000 | #Constraints: 24419
1100.08/1104.27 c #Conflicts: 1129000 | #Constraints: 25419
1100.08/1104.27 c #Conflicts: 1130000 | #Constraints: 26419
1100.08/1104.27 c #Conflicts: 1131000 | #Constraints: 27419
1100.08/1104.27 c #Conflicts: 1132000 | #Constraints: 28419
1100.08/1104.27 c #Conflicts: 1133000 | #Constraints: 29419
1100.08/1104.27 c #Conflicts: 1134000 | #Constraints: 30419
1100.08/1104.27 c #Conflicts: 1135000 | #Constraints: 31419
1100.08/1104.27 c #Conflicts: 1136000 | #Constraints: 32419
1100.08/1104.27 c #Conflicts: 1137000 | #Constraints: 33419
1100.08/1104.27 c #Conflicts: 1138000 | #Constraints: 34419
1100.08/1104.27 c #Conflicts: 1139000 | #Constraints: 35419
1100.08/1104.27 c #Conflicts: 1140000 | #Constraints: 36419
1100.08/1104.27 c #Conflicts: 1141000 | #Constraints: 37419
1100.08/1104.27 c #Conflicts: 1142000 | #Constraints: 38419
1100.08/1104.27 c #Conflicts: 1143000 | #Constraints: 39419
1100.08/1104.27 c #Conflicts: 1144000 | #Constraints: 40419
1100.08/1104.27 c #Conflicts: 1145000 | #Constraints: 41419
1100.08/1104.27 c #Conflicts: 1146000 | #Constraints: 42419
1100.08/1104.27 c INPROCESSING
1208.88/1213.42 c GARBAGE COLLECT
1208.88/1213.42 c #Conflicts: 1147000 | #Constraints: 22222
1208.88/1213.42 c #Conflicts: 1148000 | #Constraints: 23222
1208.88/1213.42 c #Conflicts: 1149000 | #Constraints: 24222
1208.88/1213.42 c #Conflicts: 1150000 | #Constraints: 25222
1208.88/1213.42 c #Conflicts: 1151000 | #Constraints: 26222
1208.88/1213.42 c #Conflicts: 1152000 | #Constraints: 27222
1208.88/1213.42 c #Conflicts: 1153000 | #Constraints: 28222
1208.88/1213.42 c #Conflicts: 1154000 | #Constraints: 29222
1208.88/1213.42 c #Conflicts: 1155000 | #Constraints: 30222
1208.88/1213.42 c #Conflicts: 1156000 | #Constraints: 31222
1208.88/1213.42 c #Conflicts: 1157000 | #Constraints: 32222
1208.88/1213.42 c #Conflicts: 1158000 | #Constraints: 33222
1208.88/1213.42 c #Conflicts: 1159000 | #Constraints: 34222
1208.88/1213.42 c #Conflicts: 1160000 | #Constraints: 35222
1208.88/1213.42 c #Conflicts: 1161000 | #Constraints: 36222
1208.88/1213.42 c #Conflicts: 1162000 | #Constraints: 37222
1208.88/1213.42 c #Conflicts: 1163000 | #Constraints: 38222
1208.88/1213.42 c #Conflicts: 1164000 | #Constraints: 39222
1208.88/1213.42 c #Conflicts: 1165000 | #Constraints: 40222
1208.88/1213.42 c #Conflicts: 1166000 | #Constraints: 41222
1208.88/1213.42 c #Conflicts: 1167000 | #Constraints: 42222
1208.88/1213.42 c #Conflicts: 1168000 | #Constraints: 43222
1208.88/1213.42 c INPROCESSING
1208.88/1213.42 c GARBAGE COLLECT
1208.88/1213.42 c #Conflicts: 1169000 | #Constraints: 22823
1208.88/1213.42 c #Conflicts: 1170000 | #Constraints: 23823
1208.88/1213.42 c #Conflicts: 1171000 | #Constraints: 24823
1208.88/1213.42 c #Conflicts: 1172000 | #Constraints: 25823
1208.88/1213.42 c #Conflicts: 1173000 | #Constraints: 26823
1208.88/1213.42 c #Conflicts: 1174000 | #Constraints: 27823
1208.88/1213.42 c #Conflicts: 1175000 | #Constraints: 28823
1208.88/1213.42 c #Conflicts: 1176000 | #Constraints: 29823
1208.88/1213.42 c #Conflicts: 1177000 | #Constraints: 30823
1208.88/1213.42 c #Conflicts: 1178000 | #Constraints: 31823
1208.88/1213.42 c #Conflicts: 1179000 | #Constraints: 32823
1208.88/1213.42 c #Conflicts: 1180000 | #Constraints: 33823
1208.88/1213.42 c #Conflicts: 1181000 | #Constraints: 34823
1208.88/1213.42 c #Conflicts: 1182000 | #Constraints: 35823
1208.88/1213.42 c #Conflicts: 1183000 | #Constraints: 36823
1208.88/1213.42 c #Conflicts: 1184000 | #Constraints: 37823
1208.88/1213.42 c #Conflicts: 1185000 | #Constraints: 38823
1208.88/1213.42 c #Conflicts: 1186000 | #Constraints: 39823
1208.88/1213.42 c #Conflicts: 1187000 | #Constraints: 40823
1208.88/1213.42 c #Conflicts: 1188000 | #Constraints: 41823
1208.88/1213.42 c #Conflicts: 1189000 | #Constraints: 42823
1208.88/1213.42 c #Conflicts: 1190000 | #Constraints: 43823
1208.88/1213.42 c INPROCESSING
1208.88/1213.42 c GARBAGE COLLECT
1208.88/1213.42 c #Conflicts: 1191000 | #Constraints: 23230
1208.88/1213.42 c #Conflicts: 1192000 | #Constraints: 24230
1208.88/1213.42 c #Conflicts: 1193000 | #Constraints: 25230
1208.88/1213.42 c #Conflicts: 1194000 | #Constraints: 26230
1208.88/1213.42 c #Conflicts: 1195000 | #Constraints: 27230
1208.88/1213.42 c #Conflicts: 1196000 | #Constraints: 28230
1208.88/1213.42 c #Conflicts: 1197000 | #Constraints: 29230
1208.88/1213.42 c #Conflicts: 1198000 | #Constraints: 30230
1208.88/1213.42 c #Conflicts: 1199000 | #Constraints: 31230
1208.88/1213.42 c #Conflicts: 1200000 | #Constraints: 32230
1208.88/1213.42 c #Conflicts: 1201000 | #Constraints: 33230
1208.88/1213.42 c #Conflicts: 1202000 | #Constraints: 34230
1208.88/1213.42 c #Conflicts: 1203000 | #Constraints: 35230
1208.88/1213.42 c #Conflicts: 1204000 | #Constraints: 36230
1208.88/1213.42 c #Conflicts: 1205000 | #Constraints: 37230
1208.88/1213.42 c #Conflicts: 1206000 | #Constraints: 38230
1208.88/1213.42 c #Conflicts: 1207000 | #Constraints: 39230
1208.88/1213.42 c #Conflicts: 1208000 | #Constraints: 40230
1208.88/1213.42 c #Conflicts: 1209000 | #Constraints: 41230
1208.88/1213.42 c #Conflicts: 1210000 | #Constraints: 42230
1208.88/1213.42 c #Conflicts: 1211000 | #Constraints: 43230
1208.88/1213.42 c #Conflicts: 1212000 | #Constraints: 44230
1208.88/1213.42 c INPROCESSING
1208.88/1213.42 c GARBAGE COLLECT
1208.88/1213.42 c #Conflicts: 1213000 | #Constraints: 23432
1208.88/1213.42 c #Conflicts: 1214000 | #Constraints: 24432
1208.88/1213.42 c #Conflicts: 1215000 | #Constraints: 25432
1208.88/1213.42 c #Conflicts: 1216000 | #Constraints: 26432
1208.88/1213.42 c #Conflicts: 1217000 | #Constraints: 27432
1208.88/1213.42 c #Conflicts: 1218000 | #Constraints: 28432
1208.88/1213.42 c #Conflicts: 1219000 | #Constraints: 29432
1208.88/1213.42 c #Conflicts: 1220000 | #Constraints: 30432
1208.88/1213.42 c #Conflicts: 1221000 | #Constraints: 31432
1208.88/1213.42 c #Conflicts: 1222000 | #Constraints: 32432
1208.88/1213.42 c #Conflicts: 1223000 | #Constraints: 33432
1336.51/1341.63 c #Conflicts: 1224000 | #Constraints: 34432
1336.51/1341.63 c #Conflicts: 1225000 | #Constraints: 35432
1336.51/1341.63 c #Conflicts: 1226000 | #Constraints: 36432
1336.51/1341.63 c #Conflicts: 1227000 | #Constraints: 37432
1336.51/1341.63 c #Conflicts: 1228000 | #Constraints: 38432
1336.51/1341.63 c #Conflicts: 1229000 | #Constraints: 39432
1336.51/1341.63 c #Conflicts: 1230000 | #Constraints: 40432
1336.51/1341.63 c #Conflicts: 1231000 | #Constraints: 41432
1336.51/1341.63 c #Conflicts: 1232000 | #Constraints: 42432
1336.51/1341.63 c #Conflicts: 1233000 | #Constraints: 43432
1336.51/1341.63 c #Conflicts: 1234000 | #Constraints: 44432
1336.51/1341.63 c INPROCESSING
1336.51/1341.63 c GARBAGE COLLECT
1336.51/1341.63 c #Conflicts: 1235000 | #Constraints: 23423
1336.51/1341.63 c #Conflicts: 1236000 | #Constraints: 24423
1336.51/1341.63 c #Conflicts: 1237000 | #Constraints: 25423
1336.51/1341.63 c #Conflicts: 1238000 | #Constraints: 26423
1336.51/1341.63 c #Conflicts: 1239000 | #Constraints: 27423
1336.51/1341.63 c #Conflicts: 1240000 | #Constraints: 28423
1336.51/1341.63 c #Conflicts: 1241000 | #Constraints: 29423
1336.51/1341.63 c #Conflicts: 1242000 | #Constraints: 30423
1336.51/1341.63 c #Conflicts: 1243000 | #Constraints: 31423
1336.51/1341.63 c #Conflicts: 1244000 | #Constraints: 32423
1336.51/1341.63 c #Conflicts: 1245000 | #Constraints: 33423
1336.51/1341.63 c #Conflicts: 1246000 | #Constraints: 34423
1336.51/1341.63 c #Conflicts: 1247000 | #Constraints: 35423
1336.51/1341.63 c #Conflicts: 1248000 | #Constraints: 36423
1336.51/1341.63 c #Conflicts: 1249000 | #Constraints: 37423
1336.51/1341.63 c #Conflicts: 1250000 | #Constraints: 38423
1336.51/1341.63 c #Conflicts: 1251000 | #Constraints: 39423
1336.51/1341.63 c #Conflicts: 1252000 | #Constraints: 40423
1336.51/1341.63 c #Conflicts: 1253000 | #Constraints: 41423
1336.51/1341.63 c #Conflicts: 1254000 | #Constraints: 42423
1336.51/1341.63 c #Conflicts: 1255000 | #Constraints: 43423
1336.51/1341.63 c #Conflicts: 1256000 | #Constraints: 44423
1336.51/1341.63 c INPROCESSING
1336.51/1341.63 c GARBAGE COLLECT
1336.51/1341.63 c #Conflicts: 1257000 | #Constraints: 23221
1336.51/1341.63 c #Conflicts: 1258000 | #Constraints: 24221
1336.51/1341.63 c #Conflicts: 1259000 | #Constraints: 25221
1336.51/1341.63 c #Conflicts: 1260000 | #Constraints: 26221
1336.51/1341.63 c #Conflicts: 1261000 | #Constraints: 27221
1336.51/1341.63 c #Conflicts: 1262000 | #Constraints: 28221
1336.51/1341.63 c #Conflicts: 1263000 | #Constraints: 29221
1336.51/1341.63 c #Conflicts: 1264000 | #Constraints: 30221
1336.51/1341.63 c #Conflicts: 1265000 | #Constraints: 31221
1336.51/1341.63 c #Conflicts: 1266000 | #Constraints: 32221
1336.51/1341.63 c #Conflicts: 1267000 | #Constraints: 33221
1336.51/1341.63 c #Conflicts: 1268000 | #Constraints: 34221
1336.51/1341.63 c #Conflicts: 1269000 | #Constraints: 35221
1336.51/1341.63 c #Conflicts: 1270000 | #Constraints: 36221
1336.51/1341.63 c #Conflicts: 1271000 | #Constraints: 37221
1336.51/1341.63 c #Conflicts: 1272000 | #Constraints: 38221
1336.51/1341.63 c #Conflicts: 1273000 | #Constraints: 39221
1336.51/1341.63 c #Conflicts: 1274000 | #Constraints: 40221
1336.51/1341.63 c #Conflicts: 1275000 | #Constraints: 41221
1336.51/1341.63 c #Conflicts: 1276000 | #Constraints: 42221
1336.51/1341.63 c #Conflicts: 1277000 | #Constraints: 43221
1336.51/1341.63 c #Conflicts: 1278000 | #Constraints: 44221
1336.51/1341.63 c #Conflicts: 1279000 | #Constraints: 45221
1336.51/1341.63 c INPROCESSING
1336.51/1341.63 c GARBAGE COLLECT
1336.51/1341.63 c #Conflicts: 1280000 | #Constraints: 23837
1336.51/1341.63 c #Conflicts: 1281000 | #Constraints: 24837
1336.51/1341.63 c #Conflicts: 1282000 | #Constraints: 25837
1336.51/1341.63 c #Conflicts: 1283000 | #Constraints: 26837
1336.51/1341.63 c #Conflicts: 1284000 | #Constraints: 27837
1336.51/1341.63 c #Conflicts: 1285000 | #Constraints: 28837
1336.51/1341.63 c #Conflicts: 1286000 | #Constraints: 29837
1336.51/1341.63 c #Conflicts: 1287000 | #Constraints: 30837
1336.51/1341.63 c #Conflicts: 1288000 | #Constraints: 31837
1336.51/1341.63 c #Conflicts: 1289000 | #Constraints: 32837
1336.51/1341.63 c #Conflicts: 1290000 | #Constraints: 33837
1336.51/1341.63 c #Conflicts: 1291000 | #Constraints: 34837
1336.51/1341.63 c #Conflicts: 1292000 | #Constraints: 35837
1336.51/1341.63 c #Conflicts: 1293000 | #Constraints: 36837
1336.51/1341.63 c #Conflicts: 1294000 | #Constraints: 37837
1336.51/1341.63 c #Conflicts: 1295000 | #Constraints: 38837
1336.51/1341.63 c #Conflicts: 1296000 | #Constraints: 39837
1336.51/1341.63 c #Conflicts: 1297000 | #Constraints: 40837
1336.51/1341.63 c #Conflicts: 1298000 | #Constraints: 41837
1336.51/1341.63 c #Conflicts: 1299000 | #Constraints: 42837
1336.51/1341.63 c #Conflicts: 1300000 | #Constraints: 43837
1458.06/1463.63 c #Conflicts: 1301000 | #Constraints: 44837
1458.06/1463.63 c #Conflicts: 1302000 | #Constraints: 45837
1458.06/1463.63 c INPROCESSING
1458.06/1463.63 c GARBAGE COLLECT
1458.06/1463.63 c #Conflicts: 1303000 | #Constraints: 24226
1458.06/1463.63 c #Conflicts: 1304000 | #Constraints: 25226
1458.06/1463.63 c #Conflicts: 1305000 | #Constraints: 26226
1458.06/1463.63 c #Conflicts: 1306000 | #Constraints: 27226
1458.06/1463.63 c #Conflicts: 1307000 | #Constraints: 28226
1458.06/1463.63 c #Conflicts: 1308000 | #Constraints: 29226
1458.06/1463.63 c #Conflicts: 1309000 | #Constraints: 30226
1458.06/1463.63 c #Conflicts: 1310000 | #Constraints: 31226
1458.06/1463.63 c #Conflicts: 1311000 | #Constraints: 32226
1458.06/1463.63 c #Conflicts: 1312000 | #Constraints: 33226
1458.06/1463.63 c #Conflicts: 1313000 | #Constraints: 34226
1458.06/1463.63 c #Conflicts: 1314000 | #Constraints: 35226
1458.06/1463.63 c #Conflicts: 1315000 | #Constraints: 36226
1458.06/1463.63 c #Conflicts: 1316000 | #Constraints: 37226
1458.06/1463.63 c #Conflicts: 1317000 | #Constraints: 38226
1458.06/1463.63 c #Conflicts: 1318000 | #Constraints: 39226
1458.06/1463.63 c #Conflicts: 1319000 | #Constraints: 40226
1458.06/1463.63 c #Conflicts: 1320000 | #Constraints: 41226
1458.06/1463.63 c #Conflicts: 1321000 | #Constraints: 42226
1458.06/1463.63 c #Conflicts: 1322000 | #Constraints: 43226
1458.06/1463.63 c #Conflicts: 1323000 | #Constraints: 44226
1458.06/1463.63 c #Conflicts: 1324000 | #Constraints: 45226
1458.06/1463.63 c #Conflicts: 1325000 | #Constraints: 46226
1458.06/1463.63 c INPROCESSING
1458.06/1463.63 c GARBAGE COLLECT
1458.06/1463.63 c #Conflicts: 1326000 | #Constraints: 24431
1458.06/1463.63 c #Conflicts: 1327000 | #Constraints: 25431
1458.06/1463.63 c #Conflicts: 1328000 | #Constraints: 26431
1458.06/1463.63 c #Conflicts: 1329000 | #Constraints: 27431
1458.06/1463.63 c #Conflicts: 1330000 | #Constraints: 28431
1458.06/1463.63 c #Conflicts: 1331000 | #Constraints: 29431
1458.06/1463.63 c #Conflicts: 1332000 | #Constraints: 30431
1458.06/1463.63 c #Conflicts: 1333000 | #Constraints: 31431
1458.06/1463.63 c #Conflicts: 1334000 | #Constraints: 32431
1458.06/1463.63 c #Conflicts: 1335000 | #Constraints: 33431
1458.06/1463.63 c #Conflicts: 1336000 | #Constraints: 34431
1458.06/1463.63 c #Conflicts: 1337000 | #Constraints: 35431
1458.06/1463.63 c #Conflicts: 1338000 | #Constraints: 36431
1458.06/1463.63 c #Conflicts: 1339000 | #Constraints: 37431
1458.06/1463.63 c #Conflicts: 1340000 | #Constraints: 38431
1458.06/1463.63 c #Conflicts: 1341000 | #Constraints: 39431
1458.06/1463.63 c #Conflicts: 1342000 | #Constraints: 40431
1458.06/1463.63 c #Conflicts: 1343000 | #Constraints: 41431
1458.06/1463.63 c #Conflicts: 1344000 | #Constraints: 42431
1458.06/1463.63 c #Conflicts: 1345000 | #Constraints: 43431
1458.06/1463.63 c #Conflicts: 1346000 | #Constraints: 44431
1458.06/1463.63 c #Conflicts: 1347000 | #Constraints: 45431
1458.06/1463.63 c #Conflicts: 1348000 | #Constraints: 46431
1458.06/1463.63 c INPROCESSING
1458.06/1463.63 c GARBAGE COLLECT
1458.06/1463.63 c #Conflicts: 1349000 | #Constraints: 24425
1458.06/1463.63 c #Conflicts: 1350000 | #Constraints: 25425
1458.06/1463.63 c #Conflicts: 1351000 | #Constraints: 26425
1458.06/1463.63 c #Conflicts: 1352000 | #Constraints: 27425
1458.06/1463.63 c #Conflicts: 1353000 | #Constraints: 28425
1458.06/1463.63 c #Conflicts: 1354000 | #Constraints: 29425
1458.06/1463.63 c #Conflicts: 1355000 | #Constraints: 30425
1458.06/1463.63 c #Conflicts: 1356000 | #Constraints: 31425
1458.06/1463.63 c #Conflicts: 1357000 | #Constraints: 32425
1458.06/1463.63 c #Conflicts: 1358000 | #Constraints: 33425
1458.06/1463.63 c #Conflicts: 1359000 | #Constraints: 34425
1458.06/1463.63 c #Conflicts: 1360000 | #Constraints: 35425
1458.06/1463.63 c #Conflicts: 1361000 | #Constraints: 36425
1458.06/1463.63 c #Conflicts: 1362000 | #Constraints: 37425
1458.06/1463.63 c #Conflicts: 1363000 | #Constraints: 38425
1458.06/1463.63 c #Conflicts: 1364000 | #Constraints: 39425
1458.06/1463.63 c #Conflicts: 1365000 | #Constraints: 40425
1458.06/1463.63 c #Conflicts: 1366000 | #Constraints: 41425
1458.06/1463.63 c #Conflicts: 1367000 | #Constraints: 42425
1458.06/1463.63 c #Conflicts: 1368000 | #Constraints: 43425
1458.06/1463.63 c #Conflicts: 1369000 | #Constraints: 44425
1458.06/1463.63 c #Conflicts: 1370000 | #Constraints: 45425
1458.06/1463.63 c #Conflicts: 1371000 | #Constraints: 46425
1458.06/1463.63 c INPROCESSING
1458.06/1463.63 c GARBAGE COLLECT
1458.06/1463.63 c #Conflicts: 1372000 | #Constraints: 24218
1458.06/1463.63 c #Conflicts: 1373000 | #Constraints: 25218
1458.06/1463.63 c #Conflicts: 1374000 | #Constraints: 26218
1458.06/1463.63 c #Conflicts: 1375000 | #Constraints: 27218
1458.06/1463.63 c #Conflicts: 1376000 | #Constraints: 28218
1592.07/1598.16 c #Conflicts: 1377000 | #Constraints: 29218
1592.07/1598.16 c #Conflicts: 1378000 | #Constraints: 30218
1592.07/1598.16 c #Conflicts: 1379000 | #Constraints: 31218
1592.07/1598.16 c #Conflicts: 1380000 | #Constraints: 32218
1592.07/1598.16 c #Conflicts: 1381000 | #Constraints: 33218
1592.07/1598.16 c #Conflicts: 1382000 | #Constraints: 34218
1592.07/1598.16 c #Conflicts: 1383000 | #Constraints: 35218
1592.07/1598.16 c #Conflicts: 1384000 | #Constraints: 36218
1592.07/1598.16 c #Conflicts: 1385000 | #Constraints: 37218
1592.07/1598.16 c #Conflicts: 1386000 | #Constraints: 38218
1592.07/1598.16 c #Conflicts: 1387000 | #Constraints: 39218
1592.07/1598.16 c #Conflicts: 1388000 | #Constraints: 40218
1592.07/1598.16 c #Conflicts: 1389000 | #Constraints: 41218
1592.07/1598.16 c #Conflicts: 1390000 | #Constraints: 42218
1592.07/1598.16 c #Conflicts: 1391000 | #Constraints: 43218
1592.07/1598.16 c #Conflicts: 1392000 | #Constraints: 44218
1592.07/1598.16 c #Conflicts: 1393000 | #Constraints: 45218
1592.07/1598.16 c #Conflicts: 1394000 | #Constraints: 46218
1592.07/1598.16 c #Conflicts: 1395000 | #Constraints: 47218
1592.07/1598.16 c INPROCESSING
1592.07/1598.16 c GARBAGE COLLECT
1592.07/1598.16 c #Conflicts: 1396000 | #Constraints: 24830
1592.07/1598.16 c #Conflicts: 1397000 | #Constraints: 25830
1592.07/1598.16 c #Conflicts: 1398000 | #Constraints: 26830
1592.07/1598.16 c #Conflicts: 1399000 | #Constraints: 27830
1592.07/1598.16 c #Conflicts: 1400000 | #Constraints: 28830
1592.07/1598.16 c #Conflicts: 1401000 | #Constraints: 29830
1592.07/1598.16 c #Conflicts: 1402000 | #Constraints: 30830
1592.07/1598.16 c #Conflicts: 1403000 | #Constraints: 31830
1592.07/1598.16 c #Conflicts: 1404000 | #Constraints: 32830
1592.07/1598.16 c #Conflicts: 1405000 | #Constraints: 33830
1592.07/1598.16 c #Conflicts: 1406000 | #Constraints: 34830
1592.07/1598.16 c #Conflicts: 1407000 | #Constraints: 35830
1592.07/1598.16 c #Conflicts: 1408000 | #Constraints: 36830
1592.07/1598.16 c #Conflicts: 1409000 | #Constraints: 37830
1592.07/1598.16 c #Conflicts: 1410000 | #Constraints: 38830
1592.07/1598.16 c #Conflicts: 1411000 | #Constraints: 39830
1592.07/1598.16 c #Conflicts: 1412000 | #Constraints: 40830
1592.07/1598.16 c #Conflicts: 1413000 | #Constraints: 41830
1592.07/1598.16 c #Conflicts: 1414000 | #Constraints: 42830
1592.07/1598.16 c #Conflicts: 1415000 | #Constraints: 43830
1592.07/1598.16 c #Conflicts: 1416000 | #Constraints: 44830
1592.07/1598.16 c #Conflicts: 1417000 | #Constraints: 45830
1592.07/1598.16 c #Conflicts: 1418000 | #Constraints: 46830
1592.07/1598.16 c #Conflicts: 1419000 | #Constraints: 47830
1592.07/1598.16 c INPROCESSING
1592.07/1598.16 c GARBAGE COLLECT
1592.07/1598.16 c #Conflicts: 1420000 | #Constraints: 25223
1592.07/1598.16 c #Conflicts: 1421000 | #Constraints: 26223
1592.07/1598.16 c #Conflicts: 1422000 | #Constraints: 27223
1592.07/1598.16 c #Conflicts: 1423000 | #Constraints: 28223
1592.07/1598.16 c #Conflicts: 1424000 | #Constraints: 29223
1592.07/1598.16 c #Conflicts: 1425000 | #Constraints: 30223
1592.07/1598.16 c #Conflicts: 1426000 | #Constraints: 31223
1592.07/1598.16 c #Conflicts: 1427000 | #Constraints: 32223
1592.07/1598.16 c #Conflicts: 1428000 | #Constraints: 33223
1592.07/1598.16 c #Conflicts: 1429000 | #Constraints: 34223
1592.07/1598.16 c #Conflicts: 1430000 | #Constraints: 35223
1592.07/1598.16 c #Conflicts: 1431000 | #Constraints: 36223
1592.07/1598.16 c #Conflicts: 1432000 | #Constraints: 37223
1592.07/1598.16 c #Conflicts: 1433000 | #Constraints: 38223
1592.07/1598.16 c #Conflicts: 1434000 | #Constraints: 39223
1592.07/1598.16 c #Conflicts: 1435000 | #Constraints: 40223
1592.07/1598.16 c #Conflicts: 1436000 | #Constraints: 41223
1592.07/1598.16 c #Conflicts: 1437000 | #Constraints: 42223
1592.07/1598.16 c #Conflicts: 1438000 | #Constraints: 43223
1592.07/1598.16 c #Conflicts: 1439000 | #Constraints: 44223
1592.07/1598.16 c #Conflicts: 1440000 | #Constraints: 45223
1592.07/1598.16 c #Conflicts: 1441000 | #Constraints: 46223
1592.07/1598.16 c #Conflicts: 1442000 | #Constraints: 47223
1592.07/1598.16 c #Conflicts: 1443000 | #Constraints: 48223
1592.07/1598.16 c INPROCESSING
1592.07/1598.16 c GARBAGE COLLECT
1592.07/1598.16 c #Conflicts: 1444000 | #Constraints: 25419
1592.07/1598.16 c #Conflicts: 1445000 | #Constraints: 26419
1592.07/1598.16 c #Conflicts: 1446000 | #Constraints: 27419
1592.07/1598.16 c #Conflicts: 1447000 | #Constraints: 28419
1592.07/1598.16 c #Conflicts: 1448000 | #Constraints: 29419
1592.07/1598.16 c #Conflicts: 1449000 | #Constraints: 30419
1592.07/1598.16 c #Conflicts: 1450000 | #Constraints: 31419
1592.07/1598.16 c #Conflicts: 1451000 | #Constraints: 32419
1592.07/1598.16 c #Conflicts: 1452000 | #Constraints: 33419
1592.07/1598.16 c #Conflicts: 1453000 | #Constraints: 34419
1725.76/1732.46 c #Conflicts: 1454000 | #Constraints: 35419
1725.76/1732.46 c #Conflicts: 1455000 | #Constraints: 36419
1725.76/1732.46 c #Conflicts: 1456000 | #Constraints: 37419
1725.76/1732.46 c #Conflicts: 1457000 | #Constraints: 38419
1725.76/1732.46 c #Conflicts: 1458000 | #Constraints: 39419
1725.76/1732.46 c #Conflicts: 1459000 | #Constraints: 40419
1725.76/1732.46 c #Conflicts: 1460000 | #Constraints: 41419
1725.76/1732.46 c #Conflicts: 1461000 | #Constraints: 42419
1725.76/1732.46 c #Conflicts: 1462000 | #Constraints: 43419
1725.76/1732.46 c #Conflicts: 1463000 | #Constraints: 44419
1725.76/1732.46 c #Conflicts: 1464000 | #Constraints: 45419
1725.76/1732.46 c #Conflicts: 1465000 | #Constraints: 46419
1725.76/1732.46 c #Conflicts: 1466000 | #Constraints: 47419
1725.76/1732.46 c #Conflicts: 1467000 | #Constraints: 48419
1725.76/1732.46 c INPROCESSING
1725.76/1732.46 c GARBAGE COLLECT
1725.76/1732.46 c #Conflicts: 1468000 | #Constraints: 25419
1725.76/1732.46 c #Conflicts: 1469000 | #Constraints: 26419
1725.76/1732.46 c #Conflicts: 1470000 | #Constraints: 27419
1725.76/1732.46 c #Conflicts: 1471000 | #Constraints: 28419
1725.76/1732.46 c #Conflicts: 1472000 | #Constraints: 29419
1725.76/1732.46 c #Conflicts: 1473000 | #Constraints: 30419
1725.76/1732.46 c #Conflicts: 1474000 | #Constraints: 31419
1725.76/1732.46 c #Conflicts: 1475000 | #Constraints: 32419
1725.76/1732.46 c #Conflicts: 1476000 | #Constraints: 33419
1725.76/1732.46 c #Conflicts: 1477000 | #Constraints: 34419
1725.76/1732.46 c #Conflicts: 1478000 | #Constraints: 35419
1725.76/1732.46 c #Conflicts: 1479000 | #Constraints: 36419
1725.76/1732.46 c #Conflicts: 1480000 | #Constraints: 37419
1725.76/1732.46 c #Conflicts: 1481000 | #Constraints: 38419
1725.76/1732.46 c #Conflicts: 1482000 | #Constraints: 39419
1725.76/1732.46 c #Conflicts: 1483000 | #Constraints: 40419
1725.76/1732.46 c #Conflicts: 1484000 | #Constraints: 41419
1725.76/1732.46 c #Conflicts: 1485000 | #Constraints: 42419
1725.76/1732.46 c #Conflicts: 1486000 | #Constraints: 43419
1725.76/1732.46 c #Conflicts: 1487000 | #Constraints: 44419
1725.76/1732.46 c #Conflicts: 1488000 | #Constraints: 45419
1725.76/1732.46 c #Conflicts: 1489000 | #Constraints: 46419
1725.76/1732.46 c #Conflicts: 1490000 | #Constraints: 47419
1725.76/1732.46 c #Conflicts: 1491000 | #Constraints: 48419
1725.76/1732.46 c INPROCESSING
1725.76/1732.46 c GARBAGE COLLECT
1725.76/1732.46 c #Conflicts: 1492000 | #Constraints: 25216
1725.76/1732.46 c #Conflicts: 1493000 | #Constraints: 26216
1725.76/1732.46 c #Conflicts: 1494000 | #Constraints: 27216
1725.76/1732.46 c #Conflicts: 1495000 | #Constraints: 28216
1725.76/1732.46 c #Conflicts: 1496000 | #Constraints: 29216
1725.76/1732.46 c #Conflicts: 1497000 | #Constraints: 30216
1725.76/1732.46 c #Conflicts: 1498000 | #Constraints: 31216
1725.76/1732.46 c #Conflicts: 1499000 | #Constraints: 32216
1725.76/1732.46 c #Conflicts: 1500000 | #Constraints: 33216
1725.76/1732.46 c #Conflicts: 1501000 | #Constraints: 34216
1725.76/1732.46 c #Conflicts: 1502000 | #Constraints: 35216
1725.76/1732.46 c #Conflicts: 1503000 | #Constraints: 36216
1725.76/1732.46 c #Conflicts: 1504000 | #Constraints: 37216
1725.76/1732.46 c #Conflicts: 1505000 | #Constraints: 38216
1725.76/1732.46 c #Conflicts: 1506000 | #Constraints: 39216
1725.76/1732.46 c #Conflicts: 1507000 | #Constraints: 40216
1725.76/1732.46 c #Conflicts: 1508000 | #Constraints: 41216
1725.76/1732.46 c #Conflicts: 1509000 | #Constraints: 42216
1725.76/1732.46 c #Conflicts: 1510000 | #Constraints: 43216
1725.76/1732.46 c #Conflicts: 1511000 | #Constraints: 44216
1725.76/1732.46 c #Conflicts: 1512000 | #Constraints: 45216
1725.76/1732.46 c #Conflicts: 1513000 | #Constraints: 46216
1725.76/1732.46 c #Conflicts: 1514000 | #Constraints: 47216
1725.76/1732.46 c #Conflicts: 1515000 | #Constraints: 48216
1725.76/1732.46 c #Conflicts: 1516000 | #Constraints: 49216
1725.76/1732.46 c INPROCESSING
1725.76/1732.46 c GARBAGE COLLECT
1725.76/1732.46 c #Conflicts: 1517000 | #Constraints: 25816
1725.76/1732.46 c #Conflicts: 1518000 | #Constraints: 26816
1725.76/1732.46 c #Conflicts: 1519000 | #Constraints: 27816
1725.76/1732.46 c #Conflicts: 1520000 | #Constraints: 28816
1725.76/1732.46 c #Conflicts: 1521000 | #Constraints: 29816
1725.76/1732.46 c #Conflicts: 1522000 | #Constraints: 30816
1725.76/1732.46 c #Conflicts: 1523000 | #Constraints: 31816
1725.76/1732.46 c #Conflicts: 1524000 | #Constraints: 32816
1725.76/1732.46 c #Conflicts: 1525000 | #Constraints: 33816
1725.76/1732.46 c #Conflicts: 1526000 | #Constraints: 34816
1725.76/1732.46 c #Conflicts: 1527000 | #Constraints: 35816
1725.76/1732.46 c #Conflicts: 1528000 | #Constraints: 36816
1725.76/1732.46 c #Conflicts: 1529000 | #Constraints: 37816
1725.76/1732.46 c #Conflicts: 1530000 | #Constraints: 38816
1886.05/1893.47 c #Conflicts: 1531000 | #Constraints: 39816
1886.05/1893.47 c #Conflicts: 1532000 | #Constraints: 40816
1886.05/1893.47 c #Conflicts: 1533000 | #Constraints: 41816
1886.05/1893.47 c #Conflicts: 1534000 | #Constraints: 42816
1886.05/1893.47 c #Conflicts: 1535000 | #Constraints: 43816
1886.05/1893.47 c #Conflicts: 1536000 | #Constraints: 44816
1886.05/1893.47 c #Conflicts: 1537000 | #Constraints: 45816
1886.05/1893.47 c #Conflicts: 1538000 | #Constraints: 46816
1886.05/1893.47 c #Conflicts: 1539000 | #Constraints: 47816
1886.05/1893.47 c #Conflicts: 1540000 | #Constraints: 48816
1886.05/1893.47 c #Conflicts: 1541000 | #Constraints: 49816
1886.05/1893.47 c INPROCESSING
1886.05/1893.47 c GARBAGE COLLECT
1886.05/1893.47 c #Conflicts: 1542000 | #Constraints: 26214
1886.05/1893.47 c #Conflicts: 1543000 | #Constraints: 27214
1886.05/1893.47 c #Conflicts: 1544000 | #Constraints: 28214
1886.05/1893.47 c #Conflicts: 1545000 | #Constraints: 29214
1886.05/1893.47 c #Conflicts: 1546000 | #Constraints: 30214
1886.05/1893.47 c #Conflicts: 1547000 | #Constraints: 31214
1886.05/1893.47 c #Conflicts: 1548000 | #Constraints: 32214
1886.05/1893.47 c #Conflicts: 1549000 | #Constraints: 33214
1886.05/1893.47 c #Conflicts: 1550000 | #Constraints: 34214
1886.05/1893.47 c #Conflicts: 1551000 | #Constraints: 35214
1886.05/1893.47 c #Conflicts: 1552000 | #Constraints: 36214
1886.05/1893.47 c #Conflicts: 1553000 | #Constraints: 37214
1886.05/1893.47 c #Conflicts: 1554000 | #Constraints: 38214
1886.05/1893.47 c #Conflicts: 1555000 | #Constraints: 39214
1886.05/1893.47 c #Conflicts: 1556000 | #Constraints: 40214
1886.05/1893.47 c #Conflicts: 1557000 | #Constraints: 41214
1886.05/1893.47 c #Conflicts: 1558000 | #Constraints: 42214
1886.05/1893.47 c #Conflicts: 1559000 | #Constraints: 43214
1886.05/1893.47 c #Conflicts: 1560000 | #Constraints: 44214
1886.05/1893.47 c #Conflicts: 1561000 | #Constraints: 45214
1886.05/1893.47 c #Conflicts: 1562000 | #Constraints: 46214
1886.05/1893.47 c #Conflicts: 1563000 | #Constraints: 47214
1886.05/1893.47 c #Conflicts: 1564000 | #Constraints: 48214
1886.05/1893.47 c #Conflicts: 1565000 | #Constraints: 49214
1886.05/1893.47 c #Conflicts: 1566000 | #Constraints: 50214
1886.05/1893.47 c INPROCESSING
1886.05/1893.47 c GARBAGE COLLECT
1886.05/1893.47 c #Conflicts: 1567000 | #Constraints: 26410
1886.05/1893.47 c #Conflicts: 1568000 | #Constraints: 27410
1886.05/1893.47 c #Conflicts: 1569000 | #Constraints: 28410
1886.05/1893.47 c #Conflicts: 1570000 | #Constraints: 29410
1886.05/1893.47 c #Conflicts: 1571000 | #Constraints: 30410
1886.05/1893.47 c #Conflicts: 1572000 | #Constraints: 31410
1886.05/1893.47 c #Conflicts: 1573000 | #Constraints: 32410
1886.05/1893.47 c #Conflicts: 1574000 | #Constraints: 33410
1886.05/1893.47 c #Conflicts: 1575000 | #Constraints: 34410
1886.05/1893.47 c #Conflicts: 1576000 | #Constraints: 35410
1886.05/1893.47 c #Conflicts: 1577000 | #Constraints: 36410
1886.05/1893.47 c #Conflicts: 1578000 | #Constraints: 37410
1886.05/1893.47 c #Conflicts: 1579000 | #Constraints: 38410
1886.05/1893.47 c #Conflicts: 1580000 | #Constraints: 39410
1886.05/1893.47 c #Conflicts: 1581000 | #Constraints: 40410
1886.05/1893.47 c #Conflicts: 1582000 | #Constraints: 41410
1886.05/1893.47 c #Conflicts: 1583000 | #Constraints: 42410
1886.05/1893.47 c #Conflicts: 1584000 | #Constraints: 43410
1886.05/1893.47 c #Conflicts: 1585000 | #Constraints: 44410
1886.05/1893.47 c #Conflicts: 1586000 | #Constraints: 45410
1886.05/1893.47 c #Conflicts: 1587000 | #Constraints: 46410
1886.05/1893.47 c #Conflicts: 1588000 | #Constraints: 47410
1886.05/1893.47 c #Conflicts: 1589000 | #Constraints: 48410
1886.05/1893.47 c #Conflicts: 1590000 | #Constraints: 49410
1886.05/1893.47 c #Conflicts: 1591000 | #Constraints: 50410
1886.05/1893.47 c INPROCESSING
1886.05/1893.47 c GARBAGE COLLECT
1886.05/1893.47 c #Conflicts: 1592000 | #Constraints: 26408
1886.05/1893.47 c #Conflicts: 1593000 | #Constraints: 27408
1886.05/1893.47 c #Conflicts: 1594000 | #Constraints: 28408
1886.05/1893.47 c #Conflicts: 1595000 | #Constraints: 29408
1886.05/1893.47 c #Conflicts: 1596000 | #Constraints: 30408
1886.05/1893.47 c #Conflicts: 1597000 | #Constraints: 31408
1886.05/1893.47 c #Conflicts: 1598000 | #Constraints: 32408
1886.05/1893.47 c #Conflicts: 1599000 | #Constraints: 33408
1886.05/1893.47 c #Conflicts: 1600000 | #Constraints: 34408
1886.05/1893.47 c #Conflicts: 1601000 | #Constraints: 35408
1886.05/1893.47 c #Conflicts: 1602000 | #Constraints: 36408
1886.05/1893.47 c #Conflicts: 1603000 | #Constraints: 37408
1886.05/1893.47 c #Conflicts: 1604000 | #Constraints: 38408
1886.05/1893.47 c #Conflicts: 1605000 | #Constraints: 39408
1886.05/1893.47 c #Conflicts: 1606000 | #Constraints: 40408
1886.05/1893.47 c #Conflicts: 1607000 | #Constraints: 41408
2041.78/2049.86 c #Conflicts: 1608000 | #Constraints: 42408
2041.78/2049.86 c #Conflicts: 1609000 | #Constraints: 43408
2041.78/2049.86 c #Conflicts: 1610000 | #Constraints: 44408
2041.78/2049.86 c #Conflicts: 1611000 | #Constraints: 45408
2041.78/2049.86 c #Conflicts: 1612000 | #Constraints: 46408
2041.78/2049.86 c #Conflicts: 1613000 | #Constraints: 47408
2041.78/2049.86 c #Conflicts: 1614000 | #Constraints: 48408
2041.78/2049.86 c #Conflicts: 1615000 | #Constraints: 49408
2041.78/2049.86 c #Conflicts: 1616000 | #Constraints: 50408
2041.78/2049.86 c INPROCESSING
2041.78/2049.86 c GARBAGE COLLECT
2041.78/2049.86 c #Conflicts: 1617000 | #Constraints: 26221
2041.78/2049.86 c #Conflicts: 1618000 | #Constraints: 27221
2041.78/2049.86 c #Conflicts: 1619000 | #Constraints: 28221
2041.78/2049.86 c #Conflicts: 1620000 | #Constraints: 29221
2041.78/2049.86 c #Conflicts: 1621000 | #Constraints: 30221
2041.78/2049.86 c #Conflicts: 1622000 | #Constraints: 31221
2041.78/2049.86 c #Conflicts: 1623000 | #Constraints: 32221
2041.78/2049.86 c #Conflicts: 1624000 | #Constraints: 33221
2041.78/2049.86 c #Conflicts: 1625000 | #Constraints: 34221
2041.78/2049.86 c #Conflicts: 1626000 | #Constraints: 35221
2041.78/2049.86 c #Conflicts: 1627000 | #Constraints: 36221
2041.78/2049.86 c #Conflicts: 1628000 | #Constraints: 37221
2041.78/2049.86 c #Conflicts: 1629000 | #Constraints: 38221
2041.78/2049.86 c #Conflicts: 1630000 | #Constraints: 39221
2041.78/2049.86 c #Conflicts: 1631000 | #Constraints: 40221
2041.78/2049.86 c #Conflicts: 1632000 | #Constraints: 41221
2041.78/2049.86 c #Conflicts: 1633000 | #Constraints: 42221
2041.78/2049.86 c #Conflicts: 1634000 | #Constraints: 43221
2041.78/2049.86 c #Conflicts: 1635000 | #Constraints: 44221
2041.78/2049.86 c #Conflicts: 1636000 | #Constraints: 45221
2041.78/2049.86 c #Conflicts: 1637000 | #Constraints: 46221
2041.78/2049.86 c #Conflicts: 1638000 | #Constraints: 47221
2041.78/2049.86 c #Conflicts: 1639000 | #Constraints: 48221
2041.78/2049.86 c #Conflicts: 1640000 | #Constraints: 49221
2041.78/2049.86 c #Conflicts: 1641000 | #Constraints: 50221
2041.78/2049.86 c #Conflicts: 1642000 | #Constraints: 51221
2041.78/2049.86 c INPROCESSING
2041.78/2049.86 c GARBAGE COLLECT
2041.78/2049.86 c #Conflicts: 1643000 | #Constraints: 26818
2041.78/2049.86 c #Conflicts: 1644000 | #Constraints: 27818
2041.78/2049.86 c #Conflicts: 1645000 | #Constraints: 28818
2041.78/2049.86 c #Conflicts: 1646000 | #Constraints: 29818
2041.78/2049.86 c #Conflicts: 1647000 | #Constraints: 30818
2041.78/2049.86 c #Conflicts: 1648000 | #Constraints: 31818
2041.78/2049.86 c #Conflicts: 1649000 | #Constraints: 32818
2041.78/2049.86 c #Conflicts: 1650000 | #Constraints: 33818
2041.78/2049.86 c #Conflicts: 1651000 | #Constraints: 34818
2041.78/2049.86 c #Conflicts: 1652000 | #Constraints: 35818
2041.78/2049.86 c #Conflicts: 1653000 | #Constraints: 36818
2041.78/2049.86 c #Conflicts: 1654000 | #Constraints: 37818
2041.78/2049.86 c #Conflicts: 1655000 | #Constraints: 38818
2041.78/2049.86 c #Conflicts: 1656000 | #Constraints: 39818
2041.78/2049.86 c #Conflicts: 1657000 | #Constraints: 40818
2041.78/2049.86 c #Conflicts: 1658000 | #Constraints: 41818
2041.78/2049.86 c #Conflicts: 1659000 | #Constraints: 42818
2041.78/2049.86 c #Conflicts: 1660000 | #Constraints: 43818
2041.78/2049.86 c #Conflicts: 1661000 | #Constraints: 44818
2041.78/2049.86 c #Conflicts: 1662000 | #Constraints: 45818
2041.78/2049.86 c #Conflicts: 1663000 | #Constraints: 46818
2041.78/2049.86 c #Conflicts: 1664000 | #Constraints: 47818
2041.78/2049.86 c #Conflicts: 1665000 | #Constraints: 48818
2041.78/2049.86 c #Conflicts: 1666000 | #Constraints: 49818
2041.78/2049.86 c #Conflicts: 1667000 | #Constraints: 50818
2041.78/2049.86 c #Conflicts: 1668000 | #Constraints: 51818
2041.78/2049.86 c INPROCESSING
2041.78/2049.86 c GARBAGE COLLECT
2041.78/2049.86 c #Conflicts: 1669000 | #Constraints: 27218
2041.78/2049.86 c #Conflicts: 1670000 | #Constraints: 28218
2041.78/2049.86 c #Conflicts: 1671000 | #Constraints: 29218
2041.78/2049.86 c #Conflicts: 1672000 | #Constraints: 30218
2041.78/2049.86 c #Conflicts: 1673000 | #Constraints: 31218
2041.78/2049.86 c #Conflicts: 1674000 | #Constraints: 32218
2041.78/2049.86 c #Conflicts: 1675000 | #Constraints: 33218
2041.78/2049.86 c #Conflicts: 1676000 | #Constraints: 34218
2041.78/2049.86 c #Conflicts: 1677000 | #Constraints: 35218
2041.78/2049.86 c #Conflicts: 1678000 | #Constraints: 36218
2041.78/2049.86 c #Conflicts: 1679000 | #Constraints: 37218
2041.78/2049.86 c #Conflicts: 1680000 | #Constraints: 38218
2041.78/2049.86 c #Conflicts: 1681000 | #Constraints: 39218
2041.78/2049.86 c #Conflicts: 1682000 | #Constraints: 40218
2041.78/2049.86 c #Conflicts: 1683000 | #Constraints: 41218
2186.29/2194.85 c #Conflicts: 1684000 | #Constraints: 42218
2186.29/2194.85 c #Conflicts: 1685000 | #Constraints: 43218
2186.29/2194.85 c #Conflicts: 1686000 | #Constraints: 44218
2186.29/2194.85 c #Conflicts: 1687000 | #Constraints: 45218
2186.29/2194.85 c #Conflicts: 1688000 | #Constraints: 46218
2186.29/2194.85 c #Conflicts: 1689000 | #Constraints: 47218
2186.29/2194.85 c #Conflicts: 1690000 | #Constraints: 48218
2186.29/2194.85 c #Conflicts: 1691000 | #Constraints: 49218
2186.29/2194.85 c #Conflicts: 1692000 | #Constraints: 50218
2186.29/2194.85 c #Conflicts: 1693000 | #Constraints: 51218
2186.29/2194.85 c #Conflicts: 1694000 | #Constraints: 52218
2186.29/2194.85 c INPROCESSING
2186.29/2194.85 c GARBAGE COLLECT
2186.29/2194.85 c #Conflicts: 1695000 | #Constraints: 27415
2186.29/2194.85 c #Conflicts: 1696000 | #Constraints: 28415
2186.29/2194.85 c #Conflicts: 1697000 | #Constraints: 29415
2186.29/2194.85 c #Conflicts: 1698000 | #Constraints: 30415
2186.29/2194.85 c #Conflicts: 1699000 | #Constraints: 31415
2186.29/2194.85 c #Conflicts: 1700000 | #Constraints: 32415
2186.29/2194.85 c #Conflicts: 1701000 | #Constraints: 33415
2186.29/2194.85 c #Conflicts: 1702000 | #Constraints: 34415
2186.29/2194.85 c #Conflicts: 1703000 | #Constraints: 35415
2186.29/2194.85 c #Conflicts: 1704000 | #Constraints: 36415
2186.29/2194.85 c #Conflicts: 1705000 | #Constraints: 37415
2186.29/2194.85 c #Conflicts: 1706000 | #Constraints: 38415
2186.29/2194.85 c #Conflicts: 1707000 | #Constraints: 39415
2186.29/2194.85 c #Conflicts: 1708000 | #Constraints: 40415
2186.29/2194.85 c #Conflicts: 1709000 | #Constraints: 41415
2186.29/2194.85 c #Conflicts: 1710000 | #Constraints: 42415
2186.29/2194.85 c #Conflicts: 1711000 | #Constraints: 43415
2186.29/2194.85 c #Conflicts: 1712000 | #Constraints: 44415
2186.29/2194.85 c #Conflicts: 1713000 | #Constraints: 45415
2186.29/2194.85 c #Conflicts: 1714000 | #Constraints: 46415
2186.29/2194.85 c #Conflicts: 1715000 | #Constraints: 47415
2186.29/2194.85 c #Conflicts: 1716000 | #Constraints: 48415
2186.29/2194.85 c #Conflicts: 1717000 | #Constraints: 49415
2186.29/2194.85 c #Conflicts: 1718000 | #Constraints: 50415
2186.29/2194.85 c #Conflicts: 1719000 | #Constraints: 51415
2186.29/2194.85 c #Conflicts: 1720000 | #Constraints: 52415
2186.29/2194.85 c INPROCESSING
2186.29/2194.85 c GARBAGE COLLECT
2186.29/2194.85 c #Conflicts: 1721000 | #Constraints: 27413
2186.29/2194.85 c #Conflicts: 1722000 | #Constraints: 28413
2186.29/2194.85 c #Conflicts: 1723000 | #Constraints: 29413
2186.29/2194.85 c #Conflicts: 1724000 | #Constraints: 30413
2186.29/2194.85 c #Conflicts: 1725000 | #Constraints: 31413
2186.29/2194.85 c #Conflicts: 1726000 | #Constraints: 32413
2186.29/2194.85 c #Conflicts: 1727000 | #Constraints: 33413
2186.29/2194.85 c #Conflicts: 1728000 | #Constraints: 34413
2186.29/2194.85 c #Conflicts: 1729000 | #Constraints: 35413
2186.29/2194.85 c #Conflicts: 1730000 | #Constraints: 36413
2186.29/2194.85 c #Conflicts: 1731000 | #Constraints: 37413
2186.29/2194.85 c #Conflicts: 1732000 | #Constraints: 38413
2186.29/2194.85 c #Conflicts: 1733000 | #Constraints: 39413
2186.29/2194.85 c #Conflicts: 1734000 | #Constraints: 40413
2186.29/2194.85 c #Conflicts: 1735000 | #Constraints: 41413
2186.29/2194.85 c #Conflicts: 1736000 | #Constraints: 42413
2186.29/2194.85 c #Conflicts: 1737000 | #Constraints: 43413
2186.29/2194.85 c #Conflicts: 1738000 | #Constraints: 44413
2186.29/2194.85 c #Conflicts: 1739000 | #Constraints: 45413
2186.29/2194.85 c #Conflicts: 1740000 | #Constraints: 46413
2186.29/2194.85 c #Conflicts: 1741000 | #Constraints: 47413
2186.29/2194.85 c #Conflicts: 1742000 | #Constraints: 48413
2186.29/2194.85 c #Conflicts: 1743000 | #Constraints: 49413
2186.29/2194.85 c #Conflicts: 1744000 | #Constraints: 50413
2186.29/2194.85 c #Conflicts: 1745000 | #Constraints: 51413
2186.29/2194.85 c #Conflicts: 1746000 | #Constraints: 52413
2186.29/2194.85 c INPROCESSING
2186.29/2194.85 c GARBAGE COLLECT
2186.29/2194.85 c #Conflicts: 1747000 | #Constraints: 27216
2186.29/2194.85 c #Conflicts: 1748000 | #Constraints: 28216
2186.29/2194.85 c #Conflicts: 1749000 | #Constraints: 29216
2186.29/2194.85 c #Conflicts: 1750000 | #Constraints: 30216
2186.29/2194.85 c #Conflicts: 1751000 | #Constraints: 31216
2186.29/2194.85 c #Conflicts: 1752000 | #Constraints: 32216
2186.29/2194.85 c #Conflicts: 1753000 | #Constraints: 33216
2186.29/2194.85 c #Conflicts: 1754000 | #Constraints: 34216
2186.29/2194.85 c #Conflicts: 1755000 | #Constraints: 35216
2186.29/2194.85 c #Conflicts: 1756000 | #Constraints: 36216
2186.29/2194.85 c #Conflicts: 1757000 | #Constraints: 37216
2186.29/2194.85 c #Conflicts: 1758000 | #Constraints: 38216
2186.29/2194.85 c #Conflicts: 1759000 | #Constraints: 39216
2186.29/2194.85 c #Conflicts: 1760000 | #Constraints: 40216
2343.27/2352.33 c #Conflicts: 1761000 | #Constraints: 41216
2343.27/2352.33 c #Conflicts: 1762000 | #Constraints: 42216
2343.27/2352.33 c #Conflicts: 1763000 | #Constraints: 43216
2343.27/2352.33 c #Conflicts: 1764000 | #Constraints: 44216
2343.27/2352.33 c #Conflicts: 1765000 | #Constraints: 45216
2343.27/2352.33 c #Conflicts: 1766000 | #Constraints: 46216
2343.27/2352.33 c #Conflicts: 1767000 | #Constraints: 47216
2343.27/2352.33 c #Conflicts: 1768000 | #Constraints: 48216
2343.27/2352.33 c #Conflicts: 1769000 | #Constraints: 49216
2343.27/2352.33 c #Conflicts: 1770000 | #Constraints: 50216
2343.27/2352.33 c #Conflicts: 1771000 | #Constraints: 51216
2343.27/2352.33 c #Conflicts: 1772000 | #Constraints: 52216
2343.27/2352.33 c #Conflicts: 1773000 | #Constraints: 53216
2343.27/2352.33 c INPROCESSING
2343.27/2352.33 c GARBAGE COLLECT
2343.27/2352.33 c #Conflicts: 1774000 | #Constraints: 27818
2343.27/2352.33 c #Conflicts: 1775000 | #Constraints: 28818
2343.27/2352.33 c #Conflicts: 1776000 | #Constraints: 29818
2343.27/2352.33 c #Conflicts: 1777000 | #Constraints: 30818
2343.27/2352.33 c #Conflicts: 1778000 | #Constraints: 31818
2343.27/2352.33 c #Conflicts: 1779000 | #Constraints: 32818
2343.27/2352.33 c #Conflicts: 1780000 | #Constraints: 33818
2343.27/2352.33 c #Conflicts: 1781000 | #Constraints: 34818
2343.27/2352.33 c #Conflicts: 1782000 | #Constraints: 35818
2343.27/2352.33 c #Conflicts: 1783000 | #Constraints: 36818
2343.27/2352.33 c #Conflicts: 1784000 | #Constraints: 37818
2343.27/2352.33 c #Conflicts: 1785000 | #Constraints: 38818
2343.27/2352.33 c #Conflicts: 1786000 | #Constraints: 39818
2343.27/2352.33 c #Conflicts: 1787000 | #Constraints: 40818
2343.27/2352.33 c #Conflicts: 1788000 | #Constraints: 41818
2343.27/2352.33 c #Conflicts: 1789000 | #Constraints: 42818
2343.27/2352.33 c #Conflicts: 1790000 | #Constraints: 43818
2343.27/2352.33 c #Conflicts: 1791000 | #Constraints: 44818
2343.27/2352.33 c #Conflicts: 1792000 | #Constraints: 45818
2343.27/2352.33 c #Conflicts: 1793000 | #Constraints: 46818
2343.27/2352.33 c #Conflicts: 1794000 | #Constraints: 47818
2343.27/2352.33 c #Conflicts: 1795000 | #Constraints: 48818
2343.27/2352.33 c #Conflicts: 1796000 | #Constraints: 49818
2343.27/2352.33 c #Conflicts: 1797000 | #Constraints: 50818
2343.27/2352.33 c #Conflicts: 1798000 | #Constraints: 51818
2343.27/2352.33 c #Conflicts: 1799000 | #Constraints: 52818
2343.27/2352.33 c #Conflicts: 1800000 | #Constraints: 53818
2343.27/2352.33 c INPROCESSING
2343.27/2352.33 c GARBAGE COLLECT
2343.27/2352.33 c #Conflicts: 1801000 | #Constraints: 28215
2343.27/2352.33 c #Conflicts: 1802000 | #Constraints: 29215
2343.27/2352.33 c #Conflicts: 1803000 | #Constraints: 30215
2343.27/2352.33 c #Conflicts: 1804000 | #Constraints: 31215
2343.27/2352.33 c #Conflicts: 1805000 | #Constraints: 32215
2343.27/2352.33 c #Conflicts: 1806000 | #Constraints: 33215
2343.27/2352.33 c #Conflicts: 1807000 | #Constraints: 34215
2343.27/2352.33 c #Conflicts: 1808000 | #Constraints: 35215
2343.27/2352.33 c #Conflicts: 1809000 | #Constraints: 36215
2343.27/2352.33 c #Conflicts: 1810000 | #Constraints: 37215
2343.27/2352.33 c #Conflicts: 1811000 | #Constraints: 38215
2343.27/2352.33 c #Conflicts: 1812000 | #Constraints: 39215
2343.27/2352.33 c #Conflicts: 1813000 | #Constraints: 40215
2343.27/2352.33 c #Conflicts: 1814000 | #Constraints: 41215
2343.27/2352.33 c #Conflicts: 1815000 | #Constraints: 42215
2343.27/2352.33 c #Conflicts: 1816000 | #Constraints: 43215
2343.27/2352.33 c #Conflicts: 1817000 | #Constraints: 44215
2343.27/2352.33 c #Conflicts: 1818000 | #Constraints: 45215
2343.27/2352.33 c #Conflicts: 1819000 | #Constraints: 46215
2343.27/2352.33 c #Conflicts: 1820000 | #Constraints: 47215
2343.27/2352.33 c #Conflicts: 1821000 | #Constraints: 48215
2343.27/2352.33 c #Conflicts: 1822000 | #Constraints: 49215
2343.27/2352.33 c #Conflicts: 1823000 | #Constraints: 50215
2343.27/2352.33 c #Conflicts: 1824000 | #Constraints: 51215
2343.27/2352.33 c #Conflicts: 1825000 | #Constraints: 52215
2343.27/2352.33 c #Conflicts: 1826000 | #Constraints: 53215
2343.27/2352.33 c #Conflicts: 1827000 | #Constraints: 54215
2343.27/2352.33 c INPROCESSING
2343.27/2352.33 c GARBAGE COLLECT
2343.27/2352.33 c #Conflicts: 1828000 | #Constraints: 28415
2343.27/2352.33 c #Conflicts: 1829000 | #Constraints: 29415
2343.27/2352.33 c #Conflicts: 1830000 | #Constraints: 30415
2343.27/2352.33 c #Conflicts: 1831000 | #Constraints: 31415
2343.27/2352.33 c #Conflicts: 1832000 | #Constraints: 32415
2343.27/2352.33 c #Conflicts: 1833000 | #Constraints: 33415
2343.27/2352.33 c #Conflicts: 1834000 | #Constraints: 34415
2343.27/2352.33 c #Conflicts: 1835000 | #Constraints: 35415
2343.27/2352.33 c #Conflicts: 1836000 | #Constraints: 36415
2343.27/2352.33 c #Conflicts: 1837000 | #Constraints: 37415
2483.21/2492.73 c #Conflicts: 1838000 | #Constraints: 38415
2483.21/2492.73 c #Conflicts: 1839000 | #Constraints: 39415
2483.21/2492.73 c #Conflicts: 1840000 | #Constraints: 40415
2483.21/2492.73 c #Conflicts: 1841000 | #Constraints: 41415
2483.21/2492.73 c #Conflicts: 1842000 | #Constraints: 42415
2483.21/2492.73 c #Conflicts: 1843000 | #Constraints: 43415
2483.21/2492.73 c #Conflicts: 1844000 | #Constraints: 44415
2483.21/2492.73 c #Conflicts: 1845000 | #Constraints: 45415
2483.21/2492.73 c #Conflicts: 1846000 | #Constraints: 46415
2483.21/2492.73 c #Conflicts: 1847000 | #Constraints: 47415
2483.21/2492.73 c #Conflicts: 1848000 | #Constraints: 48415
2483.21/2492.73 c #Conflicts: 1849000 | #Constraints: 49415
2483.21/2492.73 c #Conflicts: 1850000 | #Constraints: 50415
2483.21/2492.73 c #Conflicts: 1851000 | #Constraints: 51415
2483.21/2492.73 c #Conflicts: 1852000 | #Constraints: 52415
2483.21/2492.73 c #Conflicts: 1853000 | #Constraints: 53415
2483.21/2492.73 c #Conflicts: 1854000 | #Constraints: 54415
2483.21/2492.73 c INPROCESSING
2483.21/2492.73 c GARBAGE COLLECT
2483.21/2492.73 c #Conflicts: 1855000 | #Constraints: 28413
2483.21/2492.73 c #Conflicts: 1856000 | #Constraints: 29413
2483.21/2492.73 c #Conflicts: 1857000 | #Constraints: 30413
2483.21/2492.73 c #Conflicts: 1858000 | #Constraints: 31413
2483.21/2492.73 c #Conflicts: 1859000 | #Constraints: 32413
2483.21/2492.73 c #Conflicts: 1860000 | #Constraints: 33413
2483.21/2492.73 c #Conflicts: 1861000 | #Constraints: 34413
2483.21/2492.73 c #Conflicts: 1862000 | #Constraints: 35413
2483.21/2492.73 c #Conflicts: 1863000 | #Constraints: 36413
2483.21/2492.73 c #Conflicts: 1864000 | #Constraints: 37413
2483.21/2492.73 c #Conflicts: 1865000 | #Constraints: 38413
2483.21/2492.73 c #Conflicts: 1866000 | #Constraints: 39413
2483.21/2492.73 c #Conflicts: 1867000 | #Constraints: 40413
2483.21/2492.73 c #Conflicts: 1868000 | #Constraints: 41413
2483.21/2492.73 c #Conflicts: 1869000 | #Constraints: 42413
2483.21/2492.73 c #Conflicts: 1870000 | #Constraints: 43413
2483.21/2492.73 c #Conflicts: 1871000 | #Constraints: 44413
2483.21/2492.73 c #Conflicts: 1872000 | #Constraints: 45413
2483.21/2492.73 c #Conflicts: 1873000 | #Constraints: 46413
2483.21/2492.73 c #Conflicts: 1874000 | #Constraints: 47413
2483.21/2492.73 c #Conflicts: 1875000 | #Constraints: 48413
2483.21/2492.73 c #Conflicts: 1876000 | #Constraints: 49413
2483.21/2492.73 c #Conflicts: 1877000 | #Constraints: 50413
2483.21/2492.73 c #Conflicts: 1878000 | #Constraints: 51413
2483.21/2492.73 c #Conflicts: 1879000 | #Constraints: 52413
2483.21/2492.73 c #Conflicts: 1880000 | #Constraints: 53413
2483.21/2492.73 c #Conflicts: 1881000 | #Constraints: 54413
2483.21/2492.73 c INPROCESSING
2483.21/2492.73 c GARBAGE COLLECT
2483.21/2492.73 c #Conflicts: 1882000 | #Constraints: 28219
2483.21/2492.73 c #Conflicts: 1883000 | #Constraints: 29219
2483.21/2492.73 c #Conflicts: 1884000 | #Constraints: 30219
2483.21/2492.73 c #Conflicts: 1885000 | #Constraints: 31219
2483.21/2492.73 c #Conflicts: 1886000 | #Constraints: 32219
2483.21/2492.73 c #Conflicts: 1887000 | #Constraints: 33219
2483.21/2492.73 c #Conflicts: 1888000 | #Constraints: 34219
2483.21/2492.73 c #Conflicts: 1889000 | #Constraints: 35219
2483.21/2492.73 c #Conflicts: 1890000 | #Constraints: 36219
2483.21/2492.73 c #Conflicts: 1891000 | #Constraints: 37219
2483.21/2492.73 c #Conflicts: 1892000 | #Constraints: 38219
2483.21/2492.73 c #Conflicts: 1893000 | #Constraints: 39219
2483.21/2492.73 c #Conflicts: 1894000 | #Constraints: 40219
2483.21/2492.73 c #Conflicts: 1895000 | #Constraints: 41219
2483.21/2492.73 c #Conflicts: 1896000 | #Constraints: 42219
2483.21/2492.73 c #Conflicts: 1897000 | #Constraints: 43219
2483.21/2492.73 c #Conflicts: 1898000 | #Constraints: 44219
2483.21/2492.73 c #Conflicts: 1899000 | #Constraints: 45219
2483.21/2492.73 c #Conflicts: 1900000 | #Constraints: 46219
2483.21/2492.73 c #Conflicts: 1901000 | #Constraints: 47219
2483.21/2492.73 c #Conflicts: 1902000 | #Constraints: 48219
2483.21/2492.73 c #Conflicts: 1903000 | #Constraints: 49219
2483.21/2492.73 c #Conflicts: 1904000 | #Constraints: 50219
2483.21/2492.73 c #Conflicts: 1905000 | #Constraints: 51219
2483.21/2492.73 c #Conflicts: 1906000 | #Constraints: 52219
2483.21/2492.73 c #Conflicts: 1907000 | #Constraints: 53219
2483.21/2492.73 c #Conflicts: 1908000 | #Constraints: 54219
2483.21/2492.73 c #Conflicts: 1909000 | #Constraints: 55219
2483.21/2492.73 c INPROCESSING
2483.21/2492.73 c GARBAGE COLLECT
2483.21/2492.73 c #Conflicts: 1910000 | #Constraints: 28817
2483.21/2492.73 c #Conflicts: 1911000 | #Constraints: 29817
2483.21/2492.73 c #Conflicts: 1912000 | #Constraints: 30817
2483.21/2492.73 c #Conflicts: 1913000 | #Constraints: 31817
2483.21/2492.73 c #Conflicts: 1914000 | #Constraints: 32817
2657.31/2667.71 c #Conflicts: 1915000 | #Constraints: 33817
2657.31/2667.71 c #Conflicts: 1916000 | #Constraints: 34817
2657.31/2667.71 c #Conflicts: 1917000 | #Constraints: 35817
2657.31/2667.71 c #Conflicts: 1918000 | #Constraints: 36817
2657.31/2667.71 c #Conflicts: 1919000 | #Constraints: 37817
2657.31/2667.71 c #Conflicts: 1920000 | #Constraints: 38817
2657.31/2667.71 c #Conflicts: 1921000 | #Constraints: 39817
2657.31/2667.71 c #Conflicts: 1922000 | #Constraints: 40817
2657.31/2667.71 c #Conflicts: 1923000 | #Constraints: 41817
2657.31/2667.71 c #Conflicts: 1924000 | #Constraints: 42817
2657.31/2667.71 c #Conflicts: 1925000 | #Constraints: 43817
2657.31/2667.71 c #Conflicts: 1926000 | #Constraints: 44817
2657.31/2667.71 c #Conflicts: 1927000 | #Constraints: 45817
2657.31/2667.71 c #Conflicts: 1928000 | #Constraints: 46817
2657.31/2667.71 c #Conflicts: 1929000 | #Constraints: 47817
2657.31/2667.71 c #Conflicts: 1930000 | #Constraints: 48817
2657.31/2667.71 c #Conflicts: 1931000 | #Constraints: 49817
2657.31/2667.71 c #Conflicts: 1932000 | #Constraints: 50817
2657.31/2667.71 c #Conflicts: 1933000 | #Constraints: 51817
2657.31/2667.71 c #Conflicts: 1934000 | #Constraints: 52817
2657.31/2667.71 c #Conflicts: 1935000 | #Constraints: 53817
2657.31/2667.71 c #Conflicts: 1936000 | #Constraints: 54817
2657.31/2667.71 c #Conflicts: 1937000 | #Constraints: 55817
2657.31/2667.71 c INPROCESSING
2657.31/2667.71 c GARBAGE COLLECT
2657.31/2667.71 c #Conflicts: 1938000 | #Constraints: 29209
2657.31/2667.71 c #Conflicts: 1939000 | #Constraints: 30209
2657.31/2667.71 c #Conflicts: 1940000 | #Constraints: 31209
2657.31/2667.71 c #Conflicts: 1941000 | #Constraints: 32209
2657.31/2667.71 c #Conflicts: 1942000 | #Constraints: 33209
2657.31/2667.71 c #Conflicts: 1943000 | #Constraints: 34209
2657.31/2667.71 c #Conflicts: 1944000 | #Constraints: 35209
2657.31/2667.71 c #Conflicts: 1945000 | #Constraints: 36209
2657.31/2667.71 c #Conflicts: 1946000 | #Constraints: 37209
2657.31/2667.71 c #Conflicts: 1947000 | #Constraints: 38209
2657.31/2667.71 c #Conflicts: 1948000 | #Constraints: 39209
2657.31/2667.71 c #Conflicts: 1949000 | #Constraints: 40209
2657.31/2667.71 c #Conflicts: 1950000 | #Constraints: 41209
2657.31/2667.71 c #Conflicts: 1951000 | #Constraints: 42209
2657.31/2667.71 c #Conflicts: 1952000 | #Constraints: 43209
2657.31/2667.71 c #Conflicts: 1953000 | #Constraints: 44209
2657.31/2667.71 c #Conflicts: 1954000 | #Constraints: 45209
2657.31/2667.71 c #Conflicts: 1955000 | #Constraints: 46209
2657.31/2667.71 c #Conflicts: 1956000 | #Constraints: 47209
2657.31/2667.71 c #Conflicts: 1957000 | #Constraints: 48209
2657.31/2667.71 c #Conflicts: 1958000 | #Constraints: 49209
2657.31/2667.71 c #Conflicts: 1959000 | #Constraints: 50209
2657.31/2667.71 c #Conflicts: 1960000 | #Constraints: 51209
2657.31/2667.71 c #Conflicts: 1961000 | #Constraints: 52209
2657.31/2667.71 c #Conflicts: 1962000 | #Constraints: 53209
2657.31/2667.71 c #Conflicts: 1963000 | #Constraints: 54209
2657.31/2667.71 c #Conflicts: 1964000 | #Constraints: 55209
2657.31/2667.71 c #Conflicts: 1965000 | #Constraints: 56209
2657.31/2667.71 c INPROCESSING
2657.31/2667.71 c GARBAGE COLLECT
2657.31/2667.71 c #Conflicts: 1966000 | #Constraints: 29422
2657.31/2667.71 c #Conflicts: 1967000 | #Constraints: 30422
2657.31/2667.71 c #Conflicts: 1968000 | #Constraints: 31422
2657.31/2667.71 c #Conflicts: 1969000 | #Constraints: 32422
2657.31/2667.71 c #Conflicts: 1970000 | #Constraints: 33422
2657.31/2667.71 c #Conflicts: 1971000 | #Constraints: 34422
2657.31/2667.71 c #Conflicts: 1972000 | #Constraints: 35422
2657.31/2667.71 c #Conflicts: 1973000 | #Constraints: 36422
2657.31/2667.71 c #Conflicts: 1974000 | #Constraints: 37422
2657.31/2667.71 c #Conflicts: 1975000 | #Constraints: 38422
2657.31/2667.71 c #Conflicts: 1976000 | #Constraints: 39422
2657.31/2667.71 c #Conflicts: 1977000 | #Constraints: 40422
2657.31/2667.71 c #Conflicts: 1978000 | #Constraints: 41422
2657.31/2667.71 c #Conflicts: 1979000 | #Constraints: 42422
2657.31/2667.71 c #Conflicts: 1980000 | #Constraints: 43422
2657.31/2667.71 c #Conflicts: 1981000 | #Constraints: 44422
2657.31/2667.71 c #Conflicts: 1982000 | #Constraints: 45422
2657.31/2667.71 c #Conflicts: 1983000 | #Constraints: 46422
2657.31/2667.71 c #Conflicts: 1984000 | #Constraints: 47422
2657.31/2667.71 c #Conflicts: 1985000 | #Constraints: 48422
2657.31/2667.71 c #Conflicts: 1986000 | #Constraints: 49422
2657.31/2667.71 c #Conflicts: 1987000 | #Constraints: 50422
2657.31/2667.71 c #Conflicts: 1988000 | #Constraints: 51422
2657.31/2667.71 c #Conflicts: 1989000 | #Constraints: 52422
2657.31/2667.71 c #Conflicts: 1990000 | #Constraints: 53422
2657.31/2667.71 c #Conflicts: 1991000 | #Constraints: 54422
2657.31/2667.71 c #Conflicts: 1992000 | #Constraints: 55422
2804.32/2815.25 c #Conflicts: 1993000 | #Constraints: 56422
2804.32/2815.25 c INPROCESSING
2804.32/2815.25 c GARBAGE COLLECT
2804.32/2815.25 c #Conflicts: 1994000 | #Constraints: 29422
2804.32/2815.25 c #Conflicts: 1995000 | #Constraints: 30422
2804.32/2815.25 c #Conflicts: 1996000 | #Constraints: 31422
2804.32/2815.25 c #Conflicts: 1997000 | #Constraints: 32422
2804.32/2815.25 c #Conflicts: 1998000 | #Constraints: 33422
2804.32/2815.25 c #Conflicts: 1999000 | #Constraints: 34422
2804.32/2815.25 c #Conflicts: 2000000 | #Constraints: 35422
2804.32/2815.25 c #Conflicts: 2001000 | #Constraints: 36422
2804.32/2815.25 c #Conflicts: 2002000 | #Constraints: 37422
2804.32/2815.25 c #Conflicts: 2003000 | #Constraints: 38422
2804.32/2815.25 c #Conflicts: 2004000 | #Constraints: 39422
2804.32/2815.25 c #Conflicts: 2005000 | #Constraints: 40422
2804.32/2815.25 c #Conflicts: 2006000 | #Constraints: 41422
2804.32/2815.25 c #Conflicts: 2007000 | #Constraints: 42422
2804.32/2815.25 c #Conflicts: 2008000 | #Constraints: 43422
2804.32/2815.25 c #Conflicts: 2009000 | #Constraints: 44422
2804.32/2815.25 c #Conflicts: 2010000 | #Constraints: 45422
2804.32/2815.25 c #Conflicts: 2011000 | #Constraints: 46422
2804.32/2815.25 c #Conflicts: 2012000 | #Constraints: 47422
2804.32/2815.25 c #Conflicts: 2013000 | #Constraints: 48422
2804.32/2815.25 c #Conflicts: 2014000 | #Constraints: 49422
2804.32/2815.25 c #Conflicts: 2015000 | #Constraints: 50422
2804.32/2815.25 c #Conflicts: 2016000 | #Constraints: 51422
2804.32/2815.25 c #Conflicts: 2017000 | #Constraints: 52422
2804.32/2815.25 c #Conflicts: 2018000 | #Constraints: 53422
2804.32/2815.25 c #Conflicts: 2019000 | #Constraints: 54422
2804.32/2815.25 c #Conflicts: 2020000 | #Constraints: 55422
2804.32/2815.25 c #Conflicts: 2021000 | #Constraints: 56422
2804.32/2815.25 c INPROCESSING
2804.32/2815.25 c GARBAGE COLLECT
2804.32/2815.25 c #Conflicts: 2022000 | #Constraints: 29219
2804.32/2815.25 c #Conflicts: 2023000 | #Constraints: 30219
2804.32/2815.25 c #Conflicts: 2024000 | #Constraints: 31219
2804.32/2815.25 c #Conflicts: 2025000 | #Constraints: 32219
2804.32/2815.25 c #Conflicts: 2026000 | #Constraints: 33219
2804.32/2815.25 c #Conflicts: 2027000 | #Constraints: 34219
2804.32/2815.25 c #Conflicts: 2028000 | #Constraints: 35219
2804.32/2815.25 c #Conflicts: 2029000 | #Constraints: 36219
2804.32/2815.25 c #Conflicts: 2030000 | #Constraints: 37219
2804.32/2815.25 c #Conflicts: 2031000 | #Constraints: 38219
2804.32/2815.25 c #Conflicts: 2032000 | #Constraints: 39219
2804.32/2815.25 c #Conflicts: 2033000 | #Constraints: 40219
2804.32/2815.25 c #Conflicts: 2034000 | #Constraints: 41219
2804.32/2815.25 c #Conflicts: 2035000 | #Constraints: 42219
2804.32/2815.25 c #Conflicts: 2036000 | #Constraints: 43219
2804.32/2815.25 c #Conflicts: 2037000 | #Constraints: 44219
2804.32/2815.25 c #Conflicts: 2038000 | #Constraints: 45219
2804.32/2815.25 c #Conflicts: 2039000 | #Constraints: 46219
2804.32/2815.25 c #Conflicts: 2040000 | #Constraints: 47219
2804.32/2815.25 c #Conflicts: 2041000 | #Constraints: 48219
2804.32/2815.25 c #Conflicts: 2042000 | #Constraints: 49219
2804.32/2815.25 c #Conflicts: 2043000 | #Constraints: 50219
2804.32/2815.25 c #Conflicts: 2044000 | #Constraints: 51219
2804.32/2815.25 c #Conflicts: 2045000 | #Constraints: 52219
2804.32/2815.25 c #Conflicts: 2046000 | #Constraints: 53219
2804.32/2815.25 c #Conflicts: 2047000 | #Constraints: 54219
2804.32/2815.25 c #Conflicts: 2048000 | #Constraints: 55219
2804.32/2815.25 c #Conflicts: 2049000 | #Constraints: 56219
2804.32/2815.25 c #Conflicts: 2050000 | #Constraints: 57219
2804.32/2815.25 c INPROCESSING
2804.32/2815.25 c GARBAGE COLLECT
2804.32/2815.25 c #Conflicts: 2051000 | #Constraints: 29819
2804.32/2815.25 c #Conflicts: 2052000 | #Constraints: 30819
2804.32/2815.25 c #Conflicts: 2053000 | #Constraints: 31819
2804.32/2815.25 c #Conflicts: 2054000 | #Constraints: 32819
2804.32/2815.25 c #Conflicts: 2055000 | #Constraints: 33819
2804.32/2815.25 c #Conflicts: 2056000 | #Constraints: 34819
2804.32/2815.25 c #Conflicts: 2057000 | #Constraints: 35819
2804.32/2815.25 c #Conflicts: 2058000 | #Constraints: 36819
2804.32/2815.25 c #Conflicts: 2059000 | #Constraints: 37819
2804.32/2815.25 c #Conflicts: 2060000 | #Constraints: 38819
2804.32/2815.25 c #Conflicts: 2061000 | #Constraints: 39819
2804.32/2815.25 c #Conflicts: 2062000 | #Constraints: 40819
2804.32/2815.25 c #Conflicts: 2063000 | #Constraints: 41819
2804.32/2815.25 c #Conflicts: 2064000 | #Constraints: 42819
2804.32/2815.25 c #Conflicts: 2065000 | #Constraints: 43819
2804.32/2815.25 c #Conflicts: 2066000 | #Constraints: 44819
2804.32/2815.25 c #Conflicts: 2067000 | #Constraints: 45819
2804.32/2815.25 c #Conflicts: 2068000 | #Constraints: 46819
2938.79/2950.17 c #Conflicts: 2069000 | #Constraints: 47819
2938.79/2950.17 c #Conflicts: 2070000 | #Constraints: 48819
2938.79/2950.17 c #Conflicts: 2071000 | #Constraints: 49819
2938.79/2950.17 c #Conflicts: 2072000 | #Constraints: 50819
2938.79/2950.17 c #Conflicts: 2073000 | #Constraints: 51819
2938.79/2950.17 c #Conflicts: 2074000 | #Constraints: 52819
2938.79/2950.17 c #Conflicts: 2075000 | #Constraints: 53819
2938.79/2950.17 c #Conflicts: 2076000 | #Constraints: 54819
2938.79/2950.17 c #Conflicts: 2077000 | #Constraints: 55819
2938.79/2950.17 c #Conflicts: 2078000 | #Constraints: 56819
2938.79/2950.17 c #Conflicts: 2079000 | #Constraints: 57819
2938.79/2950.17 c INPROCESSING
2938.79/2950.17 c GARBAGE COLLECT
2938.79/2950.17 c #Conflicts: 2080000 | #Constraints: 30224
2938.79/2950.17 c #Conflicts: 2081000 | #Constraints: 31224
2938.79/2950.17 c #Conflicts: 2082000 | #Constraints: 32224
2938.79/2950.17 c #Conflicts: 2083000 | #Constraints: 33224
2938.79/2950.17 c #Conflicts: 2084000 | #Constraints: 34224
2938.79/2950.17 c #Conflicts: 2085000 | #Constraints: 35224
2938.79/2950.17 c #Conflicts: 2086000 | #Constraints: 36224
2938.79/2950.17 c #Conflicts: 2087000 | #Constraints: 37224
2938.79/2950.17 c #Conflicts: 2088000 | #Constraints: 38224
2938.79/2950.17 c #Conflicts: 2089000 | #Constraints: 39224
2938.79/2950.17 c #Conflicts: 2090000 | #Constraints: 40224
2938.79/2950.17 c #Conflicts: 2091000 | #Constraints: 41224
2938.79/2950.17 c #Conflicts: 2092000 | #Constraints: 42224
2938.79/2950.17 c #Conflicts: 2093000 | #Constraints: 43224
2938.79/2950.17 c #Conflicts: 2094000 | #Constraints: 44224
2938.79/2950.17 c #Conflicts: 2095000 | #Constraints: 45224
2938.79/2950.17 c #Conflicts: 2096000 | #Constraints: 46224
2938.79/2950.17 c #Conflicts: 2097000 | #Constraints: 47224
2938.79/2950.17 c #Conflicts: 2098000 | #Constraints: 48224
2938.79/2950.17 c #Conflicts: 2099000 | #Constraints: 49224
2938.79/2950.17 c #Conflicts: 2100000 | #Constraints: 50224
2938.79/2950.17 c #Conflicts: 2101000 | #Constraints: 51224
2938.79/2950.17 c #Conflicts: 2102000 | #Constraints: 52224
2938.79/2950.17 c #Conflicts: 2103000 | #Constraints: 53224
2938.79/2950.17 c #Conflicts: 2104000 | #Constraints: 54224
2938.79/2950.17 c #Conflicts: 2105000 | #Constraints: 55224
2938.79/2950.17 c #Conflicts: 2106000 | #Constraints: 56224
2938.79/2950.17 c #Conflicts: 2107000 | #Constraints: 57224
2938.79/2950.17 c #Conflicts: 2108000 | #Constraints: 58224
2938.79/2950.17 c INPROCESSING
2938.79/2950.17 c GARBAGE COLLECT
2938.79/2950.17 c #Conflicts: 2109000 | #Constraints: 30422
2938.79/2950.17 c #Conflicts: 2110000 | #Constraints: 31422
2938.79/2950.17 c #Conflicts: 2111000 | #Constraints: 32422
2938.79/2950.17 c #Conflicts: 2112000 | #Constraints: 33422
2938.79/2950.17 c #Conflicts: 2113000 | #Constraints: 34422
2938.79/2950.17 c #Conflicts: 2114000 | #Constraints: 35422
2938.79/2950.17 c #Conflicts: 2115000 | #Constraints: 36422
2938.79/2950.17 c #Conflicts: 2116000 | #Constraints: 37422
2938.79/2950.17 c #Conflicts: 2117000 | #Constraints: 38422
2938.79/2950.17 c #Conflicts: 2118000 | #Constraints: 39422
2938.79/2950.17 c #Conflicts: 2119000 | #Constraints: 40422
2938.79/2950.17 c #Conflicts: 2120000 | #Constraints: 41422
2938.79/2950.17 c #Conflicts: 2121000 | #Constraints: 42422
2938.79/2950.17 c #Conflicts: 2122000 | #Constraints: 43422
2938.79/2950.17 c #Conflicts: 2123000 | #Constraints: 44422
2938.79/2950.17 c #Conflicts: 2124000 | #Constraints: 45422
2938.79/2950.17 c #Conflicts: 2125000 | #Constraints: 46422
2938.79/2950.17 c #Conflicts: 2126000 | #Constraints: 47422
2938.79/2950.17 c #Conflicts: 2127000 | #Constraints: 48422
2938.79/2950.17 c #Conflicts: 2128000 | #Constraints: 49422
2938.79/2950.17 c #Conflicts: 2129000 | #Constraints: 50422
2938.79/2950.17 c #Conflicts: 2130000 | #Constraints: 51422
2938.79/2950.17 c #Conflicts: 2131000 | #Constraints: 52422
2938.79/2950.17 c #Conflicts: 2132000 | #Constraints: 53422
2938.79/2950.17 c #Conflicts: 2133000 | #Constraints: 54422
2938.79/2950.17 c #Conflicts: 2134000 | #Constraints: 55422
2938.79/2950.17 c #Conflicts: 2135000 | #Constraints: 56422
2938.79/2950.17 c #Conflicts: 2136000 | #Constraints: 57422
2938.79/2950.17 c #Conflicts: 2137000 | #Constraints: 58422
2938.79/2950.17 c INPROCESSING
2938.79/2950.17 c GARBAGE COLLECT
2938.79/2950.17 c #Conflicts: 2138000 | #Constraints: 30430
2938.79/2950.17 c #Conflicts: 2139000 | #Constraints: 31430
2938.79/2950.17 c #Conflicts: 2140000 | #Constraints: 32430
2938.79/2950.17 c #Conflicts: 2141000 | #Constraints: 33430
2938.79/2950.17 c #Conflicts: 2142000 | #Constraints: 34430
2938.79/2950.17 c #Conflicts: 2143000 | #Constraints: 35430
2938.79/2950.17 c #Conflicts: 2144000 | #Constraints: 36430
2938.79/2950.17 c #Conflicts: 2145000 | #Constraints: 37430
3089.35/3101.27 c #Conflicts: 2146000 | #Constraints: 38430
3089.35/3101.27 c #Conflicts: 2147000 | #Constraints: 39430
3089.35/3101.27 c #Conflicts: 2148000 | #Constraints: 40430
3089.35/3101.27 c #Conflicts: 2149000 | #Constraints: 41430
3089.35/3101.27 c #Conflicts: 2150000 | #Constraints: 42430
3089.35/3101.27 c #Conflicts: 2151000 | #Constraints: 43430
3089.35/3101.27 c #Conflicts: 2152000 | #Constraints: 44430
3089.35/3101.27 c #Conflicts: 2153000 | #Constraints: 45430
3089.35/3101.27 c #Conflicts: 2154000 | #Constraints: 46430
3089.35/3101.27 c #Conflicts: 2155000 | #Constraints: 47430
3089.35/3101.27 c #Conflicts: 2156000 | #Constraints: 48430
3089.35/3101.27 c #Conflicts: 2157000 | #Constraints: 49430
3089.35/3101.27 c #Conflicts: 2158000 | #Constraints: 50430
3089.35/3101.27 c #Conflicts: 2159000 | #Constraints: 51430
3089.35/3101.27 c #Conflicts: 2160000 | #Constraints: 52430
3089.35/3101.27 c #Conflicts: 2161000 | #Constraints: 53430
3089.35/3101.27 c #Conflicts: 2162000 | #Constraints: 54430
3089.35/3101.27 c #Conflicts: 2163000 | #Constraints: 55430
3089.35/3101.27 c #Conflicts: 2164000 | #Constraints: 56430
3089.35/3101.27 c #Conflicts: 2165000 | #Constraints: 57430
3089.35/3101.27 c #Conflicts: 2166000 | #Constraints: 58430
3089.35/3101.27 c INPROCESSING
3089.35/3101.27 c GARBAGE COLLECT
3089.35/3101.27 c #Conflicts: 2167000 | #Constraints: 30226
3089.35/3101.27 c #Conflicts: 2168000 | #Constraints: 31226
3089.35/3101.27 c #Conflicts: 2169000 | #Constraints: 32226
3089.35/3101.27 c #Conflicts: 2170000 | #Constraints: 33226
3089.35/3101.27 c #Conflicts: 2171000 | #Constraints: 34226
3089.35/3101.27 c #Conflicts: 2172000 | #Constraints: 35226
3089.35/3101.27 c #Conflicts: 2173000 | #Constraints: 36226
3089.35/3101.27 c #Conflicts: 2174000 | #Constraints: 37226
3089.35/3101.27 c #Conflicts: 2175000 | #Constraints: 38226
3089.35/3101.27 c #Conflicts: 2176000 | #Constraints: 39226
3089.35/3101.27 c #Conflicts: 2177000 | #Constraints: 40226
3089.35/3101.27 c #Conflicts: 2178000 | #Constraints: 41226
3089.35/3101.27 c #Conflicts: 2179000 | #Constraints: 42226
3089.35/3101.27 c #Conflicts: 2180000 | #Constraints: 43226
3089.35/3101.27 c #Conflicts: 2181000 | #Constraints: 44226
3089.35/3101.27 c #Conflicts: 2182000 | #Constraints: 45226
3089.35/3101.27 c #Conflicts: 2183000 | #Constraints: 46226
3089.35/3101.27 c #Conflicts: 2184000 | #Constraints: 47226
3089.35/3101.27 c #Conflicts: 2185000 | #Constraints: 48226
3089.35/3101.27 c #Conflicts: 2186000 | #Constraints: 49226
3089.35/3101.27 c #Conflicts: 2187000 | #Constraints: 50226
3089.35/3101.27 c #Conflicts: 2188000 | #Constraints: 51226
3089.35/3101.27 c #Conflicts: 2189000 | #Constraints: 52226
3089.35/3101.27 c #Conflicts: 2190000 | #Constraints: 53226
3089.35/3101.27 c #Conflicts: 2191000 | #Constraints: 54226
3089.35/3101.27 c #Conflicts: 2192000 | #Constraints: 55226
3089.35/3101.27 c #Conflicts: 2193000 | #Constraints: 56226
3089.35/3101.27 c #Conflicts: 2194000 | #Constraints: 57226
3089.35/3101.27 c #Conflicts: 2195000 | #Constraints: 58226
3089.35/3101.27 c #Conflicts: 2196000 | #Constraints: 59226
3089.35/3101.27 c INPROCESSING
3089.35/3101.27 c GARBAGE COLLECT
3089.35/3101.27 c #Conflicts: 2197000 | #Constraints: 30834
3089.35/3101.27 c #Conflicts: 2198000 | #Constraints: 31834
3089.35/3101.27 c #Conflicts: 2199000 | #Constraints: 32834
3089.35/3101.27 c #Conflicts: 2200000 | #Constraints: 33834
3089.35/3101.27 c #Conflicts: 2201000 | #Constraints: 34834
3089.35/3101.27 c #Conflicts: 2202000 | #Constraints: 35834
3089.35/3101.27 c #Conflicts: 2203000 | #Constraints: 36834
3089.35/3101.27 c #Conflicts: 2204000 | #Constraints: 37834
3089.35/3101.27 c #Conflicts: 2205000 | #Constraints: 38834
3089.35/3101.27 c #Conflicts: 2206000 | #Constraints: 39834
3089.35/3101.27 c #Conflicts: 2207000 | #Constraints: 40834
3089.35/3101.27 c #Conflicts: 2208000 | #Constraints: 41834
3089.35/3101.27 c #Conflicts: 2209000 | #Constraints: 42834
3089.35/3101.27 c #Conflicts: 2210000 | #Constraints: 43834
3089.35/3101.27 c #Conflicts: 2211000 | #Constraints: 44834
3089.35/3101.27 c #Conflicts: 2212000 | #Constraints: 45834
3089.35/3101.27 c #Conflicts: 2213000 | #Constraints: 46834
3089.35/3101.27 c #Conflicts: 2214000 | #Constraints: 47834
3089.35/3101.27 c #Conflicts: 2215000 | #Constraints: 48834
3089.35/3101.27 c #Conflicts: 2216000 | #Constraints: 49834
3089.35/3101.27 c #Conflicts: 2217000 | #Constraints: 50834
3089.35/3101.27 c #Conflicts: 2218000 | #Constraints: 51834
3089.35/3101.27 c #Conflicts: 2219000 | #Constraints: 52834
3089.35/3101.27 c #Conflicts: 2220000 | #Constraints: 53834
3089.35/3101.27 c #Conflicts: 2221000 | #Constraints: 54834
3089.35/3101.27 c #Conflicts: 2222000 | #Constraints: 55834
3089.35/3101.27 c #Conflicts: 2223000 | #Constraints: 56834
3223.16/3235.62 c #Conflicts: 2224000 | #Constraints: 57834
3223.16/3235.62 c #Conflicts: 2225000 | #Constraints: 58834
3223.16/3235.62 c #Conflicts: 2226000 | #Constraints: 59834
3223.16/3235.62 c INPROCESSING
3223.16/3235.62 c GARBAGE COLLECT
3223.16/3235.62 c #Conflicts: 2227000 | #Constraints: 31223
3223.16/3235.62 c #Conflicts: 2228000 | #Constraints: 32223
3223.16/3235.62 c #Conflicts: 2229000 | #Constraints: 33223
3223.16/3235.62 c #Conflicts: 2230000 | #Constraints: 34223
3223.16/3235.62 c #Conflicts: 2231000 | #Constraints: 35223
3223.16/3235.62 c #Conflicts: 2232000 | #Constraints: 36223
3223.16/3235.62 c #Conflicts: 2233000 | #Constraints: 37223
3223.16/3235.62 c #Conflicts: 2234000 | #Constraints: 38223
3223.16/3235.62 c #Conflicts: 2235000 | #Constraints: 39223
3223.16/3235.62 c #Conflicts: 2236000 | #Constraints: 40223
3223.16/3235.62 c #Conflicts: 2237000 | #Constraints: 41223
3223.16/3235.62 c #Conflicts: 2238000 | #Constraints: 42223
3223.16/3235.62 c #Conflicts: 2239000 | #Constraints: 43223
3223.16/3235.62 c #Conflicts: 2240000 | #Constraints: 44223
3223.16/3235.62 c #Conflicts: 2241000 | #Constraints: 45223
3223.16/3235.62 c #Conflicts: 2242000 | #Constraints: 46223
3223.16/3235.62 c #Conflicts: 2243000 | #Constraints: 47223
3223.16/3235.62 c #Conflicts: 2244000 | #Constraints: 48223
3223.16/3235.62 c #Conflicts: 2245000 | #Constraints: 49223
3223.16/3235.62 c #Conflicts: 2246000 | #Constraints: 50223
3223.16/3235.62 c #Conflicts: 2247000 | #Constraints: 51223
3223.16/3235.62 c #Conflicts: 2248000 | #Constraints: 52223
3223.16/3235.62 c #Conflicts: 2249000 | #Constraints: 53223
3223.16/3235.62 c #Conflicts: 2250000 | #Constraints: 54223
3223.16/3235.62 c #Conflicts: 2251000 | #Constraints: 55223
3223.16/3235.62 c #Conflicts: 2252000 | #Constraints: 56223
3223.16/3235.62 c #Conflicts: 2253000 | #Constraints: 57223
3223.16/3235.62 c #Conflicts: 2254000 | #Constraints: 58223
3223.16/3235.62 c #Conflicts: 2255000 | #Constraints: 59223
3223.16/3235.62 c #Conflicts: 2256000 | #Constraints: 60223
3223.16/3235.62 c INPROCESSING
3223.16/3235.62 c GARBAGE COLLECT
3223.16/3235.62 c #Conflicts: 2257000 | #Constraints: 31422
3223.16/3235.62 c #Conflicts: 2258000 | #Constraints: 32422
3223.16/3235.62 c #Conflicts: 2259000 | #Constraints: 33422
3223.16/3235.62 c #Conflicts: 2260000 | #Constraints: 34422
3223.16/3235.62 c #Conflicts: 2261000 | #Constraints: 35422
3223.16/3235.62 c #Conflicts: 2262000 | #Constraints: 36422
3223.16/3235.62 c #Conflicts: 2263000 | #Constraints: 37422
3223.16/3235.62 c #Conflicts: 2264000 | #Constraints: 38422
3223.16/3235.62 c #Conflicts: 2265000 | #Constraints: 39422
3223.16/3235.62 c #Conflicts: 2266000 | #Constraints: 40422
3223.16/3235.62 c #Conflicts: 2267000 | #Constraints: 41422
3223.16/3235.62 c #Conflicts: 2268000 | #Constraints: 42422
3223.16/3235.62 c #Conflicts: 2269000 | #Constraints: 43422
3223.16/3235.62 c #Conflicts: 2270000 | #Constraints: 44422
3223.16/3235.62 c #Conflicts: 2271000 | #Constraints: 45422
3223.16/3235.62 c #Conflicts: 2272000 | #Constraints: 46422
3223.16/3235.62 c #Conflicts: 2273000 | #Constraints: 47422
3223.16/3235.62 c #Conflicts: 2274000 | #Constraints: 48422
3223.16/3235.62 c #Conflicts: 2275000 | #Constraints: 49422
3223.16/3235.62 c #Conflicts: 2276000 | #Constraints: 50422
3223.16/3235.62 c #Conflicts: 2277000 | #Constraints: 51422
3223.16/3235.62 c #Conflicts: 2278000 | #Constraints: 52422
3223.16/3235.62 c #Conflicts: 2279000 | #Constraints: 53422
3223.16/3235.62 c #Conflicts: 2280000 | #Constraints: 54422
3223.16/3235.62 c #Conflicts: 2281000 | #Constraints: 55422
3223.16/3235.62 c #Conflicts: 2282000 | #Constraints: 56422
3223.16/3235.62 c #Conflicts: 2283000 | #Constraints: 57422
3223.16/3235.62 c #Conflicts: 2284000 | #Constraints: 58422
3223.16/3235.62 c #Conflicts: 2285000 | #Constraints: 59422
3223.16/3235.62 c #Conflicts: 2286000 | #Constraints: 60422
3223.16/3235.62 c INPROCESSING
3223.16/3235.62 c GARBAGE COLLECT
3223.16/3235.62 c #Conflicts: 2287000 | #Constraints: 31419
3223.16/3235.62 c #Conflicts: 2288000 | #Constraints: 32419
3223.16/3235.62 c #Conflicts: 2289000 | #Constraints: 33419
3223.16/3235.62 c #Conflicts: 2290000 | #Constraints: 34419
3223.16/3235.62 c #Conflicts: 2291000 | #Constraints: 35419
3223.16/3235.62 c #Conflicts: 2292000 | #Constraints: 36419
3223.16/3235.62 c #Conflicts: 2293000 | #Constraints: 37419
3223.16/3235.62 c #Conflicts: 2294000 | #Constraints: 38419
3223.16/3235.62 c #Conflicts: 2295000 | #Constraints: 39419
3223.16/3235.62 c #Conflicts: 2296000 | #Constraints: 40419
3223.16/3235.62 c #Conflicts: 2297000 | #Constraints: 41419
3223.16/3235.62 c #Conflicts: 2298000 | #Constraints: 42419
3223.16/3235.62 c #Conflicts: 2299000 | #Constraints: 43419
3223.16/3235.62 c #Conflicts: 2300000 | #Constraints: 44419
3354.18/3367.18 c #Conflicts: 2301000 | #Constraints: 45419
3354.18/3367.18 c #Conflicts: 2302000 | #Constraints: 46419
3354.18/3367.18 c #Conflicts: 2303000 | #Constraints: 47419
3354.18/3367.18 c #Conflicts: 2304000 | #Constraints: 48419
3354.18/3367.18 c #Conflicts: 2305000 | #Constraints: 49419
3354.18/3367.18 c #Conflicts: 2306000 | #Constraints: 50419
3354.18/3367.18 c #Conflicts: 2307000 | #Constraints: 51419
3354.18/3367.18 c #Conflicts: 2308000 | #Constraints: 52419
3354.18/3367.18 c #Conflicts: 2309000 | #Constraints: 53419
3354.18/3367.18 c #Conflicts: 2310000 | #Constraints: 54419
3354.18/3367.18 c #Conflicts: 2311000 | #Constraints: 55419
3354.18/3367.18 c #Conflicts: 2312000 | #Constraints: 56419
3354.18/3367.18 c #Conflicts: 2313000 | #Constraints: 57419
3354.18/3367.18 c #Conflicts: 2314000 | #Constraints: 58419
3354.18/3367.18 c #Conflicts: 2315000 | #Constraints: 59419
3354.18/3367.18 c #Conflicts: 2316000 | #Constraints: 60419
3354.18/3367.18 c INPROCESSING
3354.18/3367.18 c GARBAGE COLLECT
3354.18/3367.18 c #Conflicts: 2317000 | #Constraints: 31219
3354.18/3367.18 c #Conflicts: 2318000 | #Constraints: 32219
3354.18/3367.18 c #Conflicts: 2319000 | #Constraints: 33219
3354.18/3367.18 c #Conflicts: 2320000 | #Constraints: 34219
3354.18/3367.18 c #Conflicts: 2321000 | #Constraints: 35219
3354.18/3367.18 c #Conflicts: 2322000 | #Constraints: 36219
3354.18/3367.18 c #Conflicts: 2323000 | #Constraints: 37219
3354.18/3367.18 c #Conflicts: 2324000 | #Constraints: 38219
3354.18/3367.18 c #Conflicts: 2325000 | #Constraints: 39219
3354.18/3367.18 c #Conflicts: 2326000 | #Constraints: 40219
3354.18/3367.18 c #Conflicts: 2327000 | #Constraints: 41219
3354.18/3367.18 c #Conflicts: 2328000 | #Constraints: 42219
3354.18/3367.18 c #Conflicts: 2329000 | #Constraints: 43219
3354.18/3367.18 c #Conflicts: 2330000 | #Constraints: 44219
3354.18/3367.18 c #Conflicts: 2331000 | #Constraints: 45219
3354.18/3367.18 c #Conflicts: 2332000 | #Constraints: 46219
3354.18/3367.18 c #Conflicts: 2333000 | #Constraints: 47219
3354.18/3367.18 c #Conflicts: 2334000 | #Constraints: 48219
3354.18/3367.18 c #Conflicts: 2335000 | #Constraints: 49219
3354.18/3367.18 c #Conflicts: 2336000 | #Constraints: 50219
3354.18/3367.18 c #Conflicts: 2337000 | #Constraints: 51219
3354.18/3367.18 c #Conflicts: 2338000 | #Constraints: 52219
3354.18/3367.18 c #Conflicts: 2339000 | #Constraints: 53219
3354.18/3367.18 c #Conflicts: 2340000 | #Constraints: 54219
3354.18/3367.18 c #Conflicts: 2341000 | #Constraints: 55219
3354.18/3367.18 c #Conflicts: 2342000 | #Constraints: 56219
3354.18/3367.18 c #Conflicts: 2343000 | #Constraints: 57219
3354.18/3367.18 c #Conflicts: 2344000 | #Constraints: 58219
3354.18/3367.18 c #Conflicts: 2345000 | #Constraints: 59219
3354.18/3367.18 c #Conflicts: 2346000 | #Constraints: 60219
3354.18/3367.18 c #Conflicts: 2347000 | #Constraints: 61219
3354.18/3367.18 c INPROCESSING
3354.18/3367.18 c GARBAGE COLLECT
3354.18/3367.18 c #Conflicts: 2348000 | #Constraints: 31816
3354.18/3367.18 c #Conflicts: 2349000 | #Constraints: 32816
3354.18/3367.18 c #Conflicts: 2350000 | #Constraints: 33816
3354.18/3367.18 c #Conflicts: 2351000 | #Constraints: 34816
3354.18/3367.18 c #Conflicts: 2352000 | #Constraints: 35816
3354.18/3367.18 c #Conflicts: 2353000 | #Constraints: 36816
3354.18/3367.18 c #Conflicts: 2354000 | #Constraints: 37816
3354.18/3367.18 c #Conflicts: 2355000 | #Constraints: 38816
3354.18/3367.18 c #Conflicts: 2356000 | #Constraints: 39816
3354.18/3367.18 c #Conflicts: 2357000 | #Constraints: 40816
3354.18/3367.18 c #Conflicts: 2358000 | #Constraints: 41816
3354.18/3367.18 c #Conflicts: 2359000 | #Constraints: 42816
3354.18/3367.18 c #Conflicts: 2360000 | #Constraints: 43816
3354.18/3367.18 c #Conflicts: 2361000 | #Constraints: 44816
3354.18/3367.18 c #Conflicts: 2362000 | #Constraints: 45816
3354.18/3367.18 c #Conflicts: 2363000 | #Constraints: 46816
3354.18/3367.18 c #Conflicts: 2364000 | #Constraints: 47816
3354.18/3367.18 c #Conflicts: 2365000 | #Constraints: 48816
3354.18/3367.18 c #Conflicts: 2366000 | #Constraints: 49816
3354.18/3367.18 c #Conflicts: 2367000 | #Constraints: 50816
3354.18/3367.18 c #Conflicts: 2368000 | #Constraints: 51816
3354.18/3367.18 c #Conflicts: 2369000 | #Constraints: 52816
3354.18/3367.18 c #Conflicts: 2370000 | #Constraints: 53816
3354.18/3367.18 c #Conflicts: 2371000 | #Constraints: 54816
3354.18/3367.18 c #Conflicts: 2372000 | #Constraints: 55816
3354.18/3367.18 c #Conflicts: 2373000 | #Constraints: 56816
3354.18/3367.18 c #Conflicts: 2374000 | #Constraints: 57816
3354.18/3367.18 c #Conflicts: 2375000 | #Constraints: 58816
3354.18/3367.18 c #Conflicts: 2376000 | #Constraints: 59816
3354.18/3367.18 c #Conflicts: 2377000 | #Constraints: 60816
3527.36/3540.99 c #Conflicts: 2378000 | #Constraints: 61816
3527.36/3540.99 c INPROCESSING
3527.36/3540.99 c GARBAGE COLLECT
3527.36/3540.99 c #Conflicts: 2379000 | #Constraints: 32206
3527.36/3540.99 c #Conflicts: 2380000 | #Constraints: 33206
3527.36/3540.99 c #Conflicts: 2381000 | #Constraints: 34206
3527.36/3540.99 c #Conflicts: 2382000 | #Constraints: 35206
3527.36/3540.99 c #Conflicts: 2383000 | #Constraints: 36206
3527.36/3540.99 c #Conflicts: 2384000 | #Constraints: 37206
3527.36/3540.99 c #Conflicts: 2385000 | #Constraints: 38206
3527.36/3540.99 c #Conflicts: 2386000 | #Constraints: 39206
3527.36/3540.99 c #Conflicts: 2387000 | #Constraints: 40206
3527.36/3540.99 c #Conflicts: 2388000 | #Constraints: 41206
3527.36/3540.99 c #Conflicts: 2389000 | #Constraints: 42206
3527.36/3540.99 c #Conflicts: 2390000 | #Constraints: 43206
3527.36/3540.99 c #Conflicts: 2391000 | #Constraints: 44206
3527.36/3540.99 c #Conflicts: 2392000 | #Constraints: 45206
3527.36/3540.99 c #Conflicts: 2393000 | #Constraints: 46206
3527.36/3540.99 c #Conflicts: 2394000 | #Constraints: 47206
3527.36/3540.99 c #Conflicts: 2395000 | #Constraints: 48206
3527.36/3540.99 c #Conflicts: 2396000 | #Constraints: 49206
3527.36/3540.99 c #Conflicts: 2397000 | #Constraints: 50206
3527.36/3540.99 c #Conflicts: 2398000 | #Constraints: 51206
3527.36/3540.99 c #Conflicts: 2399000 | #Constraints: 52206
3527.36/3540.99 c #Conflicts: 2400000 | #Constraints: 53206
3527.36/3540.99 c #Conflicts: 2401000 | #Constraints: 54206
3527.36/3540.99 c #Conflicts: 2402000 | #Constraints: 55206
3527.36/3540.99 c #Conflicts: 2403000 | #Constraints: 56206
3527.36/3540.99 c #Conflicts: 2404000 | #Constraints: 57206
3527.36/3540.99 c #Conflicts: 2405000 | #Constraints: 58206
3527.36/3540.99 c #Conflicts: 2406000 | #Constraints: 59206
3527.36/3540.99 c #Conflicts: 2407000 | #Constraints: 60206
3527.36/3540.99 c #Conflicts: 2408000 | #Constraints: 61206
3527.36/3540.99 c #Conflicts: 2409000 | #Constraints: 62206
3527.36/3540.99 c INPROCESSING
3527.36/3540.99 c GARBAGE COLLECT
3527.36/3540.99 c #Conflicts: 2410000 | #Constraints: 32408
3527.36/3540.99 c #Conflicts: 2411000 | #Constraints: 33408
3527.36/3540.99 c #Conflicts: 2412000 | #Constraints: 34408
3527.36/3540.99 c #Conflicts: 2413000 | #Constraints: 35408
3527.36/3540.99 c #Conflicts: 2414000 | #Constraints: 36408
3527.36/3540.99 c #Conflicts: 2415000 | #Constraints: 37408
3527.36/3540.99 c #Conflicts: 2416000 | #Constraints: 38408
3527.36/3540.99 c #Conflicts: 2417000 | #Constraints: 39408
3527.36/3540.99 c #Conflicts: 2418000 | #Constraints: 40408
3527.36/3540.99 c #Conflicts: 2419000 | #Constraints: 41408
3527.36/3540.99 c #Conflicts: 2420000 | #Constraints: 42408
3527.36/3540.99 c #Conflicts: 2421000 | #Constraints: 43408
3527.36/3540.99 c #Conflicts: 2422000 | #Constraints: 44408
3527.36/3540.99 c #Conflicts: 2423000 | #Constraints: 45408
3527.36/3540.99 c #Conflicts: 2424000 | #Constraints: 46408
3527.36/3540.99 c #Conflicts: 2425000 | #Constraints: 47408
3527.36/3540.99 c #Conflicts: 2426000 | #Constraints: 48408
3527.36/3540.99 c #Conflicts: 2427000 | #Constraints: 49408
3527.36/3540.99 c #Conflicts: 2428000 | #Constraints: 50408
3527.36/3540.99 c #Conflicts: 2429000 | #Constraints: 51408
3527.36/3540.99 c #Conflicts: 2430000 | #Constraints: 52408
3527.36/3540.99 c #Conflicts: 2431000 | #Constraints: 53408
3527.36/3540.99 c #Conflicts: 2432000 | #Constraints: 54408
3527.36/3540.99 c #Conflicts: 2433000 | #Constraints: 55408
3527.36/3540.99 c #Conflicts: 2434000 | #Constraints: 56408
3527.36/3540.99 c #Conflicts: 2435000 | #Constraints: 57408
3527.36/3540.99 c #Conflicts: 2436000 | #Constraints: 58408
3527.36/3540.99 c #Conflicts: 2437000 | #Constraints: 59408
3527.36/3540.99 c #Conflicts: 2438000 | #Constraints: 60408
3527.36/3540.99 c #Conflicts: 2439000 | #Constraints: 61408
3527.36/3540.99 c #Conflicts: 2440000 | #Constraints: 62408
3527.36/3540.99 c INPROCESSING
3527.36/3540.99 c GARBAGE COLLECT
3527.36/3540.99 c #Conflicts: 2441000 | #Constraints: 32419
3527.36/3540.99 c #Conflicts: 2442000 | #Constraints: 33419
3527.36/3540.99 c #Conflicts: 2443000 | #Constraints: 34419
3527.36/3540.99 c #Conflicts: 2444000 | #Constraints: 35419
3527.36/3540.99 c #Conflicts: 2445000 | #Constraints: 36419
3527.36/3540.99 c #Conflicts: 2446000 | #Constraints: 37419
3527.36/3540.99 c #Conflicts: 2447000 | #Constraints: 38419
3527.36/3540.99 c #Conflicts: 2448000 | #Constraints: 39419
3527.36/3540.99 c #Conflicts: 2449000 | #Constraints: 40419
3527.36/3540.99 c #Conflicts: 2450000 | #Constraints: 41419
3527.36/3540.99 c #Conflicts: 2451000 | #Constraints: 42419
3527.36/3540.99 c #Conflicts: 2452000 | #Constraints: 43419
3527.36/3540.99 c #Conflicts: 2453000 | #Constraints: 44419
3527.36/3540.99 c #Conflicts: 2454000 | #Constraints: 45419
3600.03/3613.80 c #Conflicts: 2455000 | #Constraints: 46419
3600.03/3613.80 c #Conflicts: 2456000 | #Constraints: 47419
3600.03/3613.80 c #Conflicts: 2457000 | #Constraints: 48419
3600.03/3613.80 c #Conflicts: 2458000 | #Constraints: 49419
3600.03/3613.80 c #Conflicts: 2459000 | #Constraints: 50419
3600.03/3613.80 c #Conflicts: 2460000 | #Constraints: 51419
3600.03/3613.80 c #Conflicts: 2461000 | #Constraints: 52419
3600.03/3613.80 c #Conflicts: 2462000 | #Constraints: 53419
3600.03/3613.80 c #Conflicts: 2463000 | #Constraints: 54419
3600.03/3613.80 c #Conflicts: 2464000 | #Constraints: 55419
3600.03/3613.80 c #Conflicts: 2465000 | #Constraints: 56419
3600.03/3613.80 c #Conflicts: 2466000 | #Constraints: 57419
3600.03/3613.80 c #Conflicts: 2467000 | #Constraints: 58419
3600.03/3613.80 c #Conflicts: 2468000 | #Constraints: 59419
3600.03/3613.80 c #Conflicts: 2469000 | #Constraints: 60419
3600.03/3613.80 c #Conflicts: 2470000 | #Constraints: 61419
3600.03/3613.80 c #Conflicts: 2471000 | #Constraints: 62419
3600.03/3613.80 c INPROCESSING
3600.03/3613.80 c GARBAGE COLLECT
3600.03/3613.80 c #Conflicts: 2472000 | #Constraints: 32211
3600.03/3613.80 c #Conflicts: 2473000 | #Constraints: 33211
3600.03/3613.80 c #Conflicts: 2474000 | #Constraints: 34211
3600.03/3613.80 c #Conflicts: 2475000 | #Constraints: 35211
3600.03/3613.80 c #Conflicts: 2476000 | #Constraints: 36211
3600.03/3613.80 c #Conflicts: 2477000 | #Constraints: 37211
3600.03/3613.80 c #Conflicts: 2478000 | #Constraints: 38211
3600.03/3613.80 c #Conflicts: 2479000 | #Constraints: 39211
3600.03/3613.80 c #Conflicts: 2480000 | #Constraints: 40211
3600.03/3613.80 c #Conflicts: 2481000 | #Constraints: 41211
3600.03/3613.80 c #Conflicts: 2482000 | #Constraints: 42211
3600.03/3613.80 c #Conflicts: 2483000 | #Constraints: 43211
3600.03/3613.80 c #Conflicts: 2484000 | #Constraints: 44211
3600.03/3613.80 c cpu time 3575.69 s
3600.03/3613.80 c deterministic time 1 1.00e+00
3600.03/3613.80 c optimization time 3575.68 s
3600.03/3613.80 c total solve time 0 s
3600.03/3613.80 c core-guided solve time 0 s
3600.03/3613.80 c propagation time 0.000555 s
3600.03/3613.80 c conflict analysis time 0 s
3600.03/3613.80 c propagations 0
3600.03/3613.80 c resolve steps 0
3600.03/3613.80 c decisions 0
3600.03/3613.80 c conflicts 0
3600.03/3613.80 c restarts 0
3600.03/3613.80 c inprocessing phases 0
3600.03/3613.80 c garbage collections 0 ,( -nan )
3600.03/3613.80 c input clauses 480 ,( 100.00 )
3600.03/3613.80 c input cardinalities 0 ,( 0.00 )
3600.03/3613.80 c input general constraints 0 ,( 0.00 )
3600.03/3613.80 c input average constraint length 4.00
3600.03/3613.80 c input average constraint degree 1.00
3600.03/3613.80 c learned clauses 0 ,( 0.00 )
3600.03/3613.80 c learned cardinalities 0 ,( 0.00 )
3600.03/3613.80 c learned general constraints 0 ,( 0.00 )
3600.03/3613.80 c learned average constraint length 0.00
3600.03/3613.80 c learned average constraint degree 0.00
3600.03/3613.80 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.03/3613.80 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.03/3613.80 c watched constraints 0 ,( -nan )
3600.03/3613.80 c counting constraints 0 ,( -nan )
3600.03/3613.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.03/3613.80 c gcd simplifications 0
3600.03/3613.80 c detected cardinalities 0
3600.03/3613.80 c weakened non-implied lits 0
3600.03/3613.80 c weakened non-implying lits 0
3600.03/3613.80 c original variables 480
3600.03/3613.80 c clausal propagations 0
3600.03/3613.80 c cardinality propagations 0
3600.03/3613.80 c watched propagations 0
3600.03/3613.80 c counting propagations 0
3600.03/3613.80 c watch lookups 0
3600.03/3613.80 c watch backjump lookups 0
3600.03/3613.80 c watch checks 0
3600.03/3613.80 c propagation checks 0
3600.03/3613.80 c constraint additions 0
3600.03/3613.80 c trail pops 0
3600.03/3613.80 c formula constraints 480
3600.03/3613.80 c learned constraints 0
3600.03/3613.80 c bound constraints 0
3600.03/3613.80 c core-guided constraints 0
3600.03/3613.80 c encountered formula constraints 0
3600.03/3613.80 c encountered learned constraints 0
3600.03/3613.80 c encountered bound constraints 0
3600.03/3613.80 c encountered core-guided constraints 0
3600.03/3613.80 c LP total time 0 s
3600.03/3613.80 c LP solve time 0 s
3600.03/3613.80 c LP constraints added 0
3600.03/3613.80 c LP constraints removed 0
3600.03/3613.80 c LP pivots internal 0
3600.03/3613.80 c LP pivots root 0
3600.03/3613.80 c LP calls 0
3600.03/3613.80 c LP optimalities 0
3600.03/3613.80 c LP no pivot count 0
3600.03/3613.80 c LP infeasibilities 0
3600.03/3613.80 c LP valid Farkas constraints 0
3600.03/3613.80 c LP learned Farkas constraints 0
3600.03/3613.80 c LP basis resets 0
3600.03/3613.80 c LP cycling count 0
3600.03/3613.80 c LP singular count 0
3600.03/3613.80 c LP no primal count 0
3600.03/3613.80 c LP no farkas count 0
3600.03/3613.80 c LP other issue count 0
3600.03/3613.80 c LP Gomory cuts 0
3600.03/3613.80 c LP learned cuts 0
3600.03/3613.80 c LP deleted cuts 0
3600.03/3613.80 c LP encountered Gomory constraints 0
3600.03/3613.80 c LP encountered Farkas constraints 0
3600.03/3613.80 c LP encountered learned Farkas constraints 0
3600.03/3613.80 c CG auxiliary variables introduced 0
3600.03/3613.80 c CG solutions found 0
3600.03/3613.80 c CG cores constructed 0
3600.03/3613.80 c CG core cardinality constraints returned 0
3600.03/3613.80 c CG unit cores 0
3600.03/3613.80 c CG single cores 0
3600.03/3613.80 c CG blocks removed during cardinality reduction 0
3600.03/3613.80 c CG first core best 0
3600.03/3613.80 c CG decision core best 0
3600.03/3613.80 c CG core reduction tie 0
3600.03/3613.80 c CG core degree average 0.00
3600.03/3613.80 c CG core slack average 0.00
3600.03/3613.80 c CG core upper bound improvements 0
3600.03/3613.80 c STR number of successful calls 0
3600.03/3613.80 c STR number of unsuccessful calls 0
3600.03/3613.80 c STR number of inconclusive calls 0
3600.03/3613.80 c STR number of successful attempts 0
3600.03/3613.80 c STR number of unsuccessful attempts 0
3600.03/3613.80 c STR number of inconclusive attempts 0
3600.03/3613.80 c STR average degree increase per successful call inf
3600.03/3613.80 c STR average degree increase per successful attempt inf
3600.03/3613.80 c STR total number of conflicts for successful attempts 0
3600.03/3613.80 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3613.80 c STR total number of conflicts for inconclusive attempts 0
3600.03/3613.80 c STR average number of conflicts per successful attempt inf
3600.03/3613.80 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3613.80 c STR average number of conflicts per inconclusive attempt inf
3600.03/3613.80 c AVG.sumWPerc -nan
3600.03/3613.80 c bigint constraints 0
3600.03/3613.80 s UNKNOWN
3600.03/3613.80 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (45071 MiB free)
memory of node 1: 64507 MiB (63060 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520481-1751570142/watcher-4520481-1751570142 -o /tmp/evaluation-result-4520481-1751570142/solver-4520481-1751570142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751562911-80735 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520481-1751570142.opb PROOFDIR/proof-4520481-1751570142
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=81474, runsolver pid=81471
[startup+0.100074 s]*
/proc/loadavg: 4.08 4.17 4.18 5/248 81481
/proc/meminfo: memFree=111332316/131382112 swapFree=33009904/33010684
[pid=81474] ppid=81471 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81474/stat : 81474 (run-opt-log.sh) S 81471 81474 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72693123 4292608 768 18446744073709551615 94163670687744 94163671582277 140726331650000 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94163671821328 94163671869072 94163680911360 140726331656481 140726331656676 140726331656676 140726331662278 0
/proc/81474/statm: 1048 768 704 219 0 110 0
[pid=81477] ppid=81474 vsize=61600 memory=12032 CPUtime=0.05 cores=5,7
/proc/81477/stat : 81477 (roundingsat) R 81474 81474 80700 0 -1 4194304 967 0 0 0 4 1 0 0 20 0 1 0 72693124 63078400 3008 18446744073709551615 4227072 8923433 140735452149568 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 20226048 140735452154194 140735452154408 140735452154408 140735452159978 0
/proc/81477/statm: 15400 3008 2304 1147 0 2827 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 65792 KiB
Current children cumulated memory: 15104 KiB
[startup+0.212897 s]*
/proc/loadavg: 4.08 4.17 4.18 5/248 81486
/proc/meminfo: memFree=112026152/131382112 swapFree=33009904/33010684
[pid=81474] ppid=81471 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81474/stat : 81474 (run-opt-log.sh) S 81471 81474 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72693123 4292608 768 18446744073709551615 94163670687744 94163671582277 140726331650000 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94163671821328 94163671869072 94163680911360 140726331656481 140726331656676 140726331656676 140726331662278 0
/proc/81474/statm: 1048 768 704 219 0 110 0
[pid=81477] ppid=81474 vsize=64416 memory=17124 CPUtime=0.16 cores=5,7
/proc/81477/stat : 81477 (roundingsat) R 81474 81474 80700 0 -1 4194304 1717 0 0 0 13 3 0 0 20 0 1 0 72693124 65961984 4281 18446744073709551615 4227072 8923433 140735452149568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20226048 140735452154194 140735452154408 140735452154408 140735452159978 0
/proc/81477/statm: 16104 4281 2336 1147 0 3531 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 68608 KiB
Current children cumulated memory: 20196 KiB
[startup+0.312832 s]*
/proc/loadavg: 4.08 4.17 4.18 5/253 81491
/proc/meminfo: memFree=112832588/131382112 swapFree=33009904/33010684
[pid=81474] ppid=81471 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81474/stat : 81474 (run-opt-log.sh) S 81471 81474 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72693123 4292608 768 18446744073709551615 94163670687744 94163671582277 140726331650000 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94163671821328 94163671869072 94163680911360 140726331656481 140726331656676 140726331656676 140726331662278 0
/proc/81474/statm: 1048 768 704 219 0 110 0
[pid=81477] ppid=81474 vsize=67836 memory=19812 CPUtime=0.26 cores=5,7
/proc/81477/stat : 81477 (roundingsat) R 81474 81474 80700 0 -1 4194304 2386 0 0 0 22 4 0 0 20 0 1 0 72693124 69464064 4953 18446744073709551615 4227072 8923433 140735452149568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20226048 140735452154194 140735452154408 140735452154408 140735452159978 0
/proc/81477/statm: 16959 4953 2336 1147 0 4386 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 72028 KiB
Current children cumulated memory: 22884 KiB
[startup+0.700376 s]
/proc/loadavg: 4.08 4.17 4.18 5/253 81491
/proc/meminfo: memFree=114524660/131382112 swapFree=33009904/33010684
[pid=81474] ppid=81471 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81474/stat : 81474 (run-opt-log.sh) S 81471 81474 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72693123 4292608 768 18446744073709551615 94163670687744 94163671582277 140726331650000 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94163671821328 94163671869072 94163680911360 140726331656481 140726331656676 140726331656676 140726331662278 0
/proc/81474/statm: 1048 768 704 219 0 110 0
[pid=81477] ppid=81474 vsize=74144 memory=26340 CPUtime=0.62 cores=5,7
/proc/81477/stat : 81477 (roundingsat) R 81474 81474 80700 0 -1 4194304 4017 0 0 0 57 5 0 0 20 0 1 0 72693124 75923456 6585 18446744073709551615 4227072 8923433 140735452149568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20226048 140735452154194 140735452154408 140735452154408 140735452159978 0
/proc/81477/statm: 18536 6585 2336 1147 0 5963 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 78336 KiB
Current children cumulated memory: 29412 KiB
[startup+1.5004 s]
/proc/loadavg: 4.08 4.17 4.18 5/259 81511
/proc/meminfo: memFree=115261308/131382112 swapFree=33009904/33010684
[pid=81474] ppid=81471 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81474/stat : 81474 (run-opt-log.sh) S 81471 81474 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72693123 4292608 768 18446744073709551615 94163670687744 94163671582277 140726331650000 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94163671821328 94163671869072 94163680911360 140726331656481 140726331656676 140726331656676 140726331662278 0
/proc/81474/statm: 1048 768 704 219 0 110 0
[pid=81477] ppid=81474 vsize=78472 memory=31204 CPUtime=1.43 cores=5,7
/proc/81477/stat : 81477 (roundingsat) R 81474 81474 80700 0 -1 4194304 5244 0 0 0 134 9 0 0 20 0 1 0 72693124 80355328 7801 18446744073709551615 4227072 8923433 140735452149568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20226048 140735452154194 140735452154408 140735452154408 140735452159978 0
/proc/81477/statm: 19618 7801 2336 1147 0 7045 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 82664 KiB
Current children cumulated memory: 34276 KiB
[startup+3.11443 s]
/proc/loadavg: 4.08 4.17 4.18 5/259 81511
/proc/meminfo: memFree=115132556/131382112 swapFree=33009904/33010684
[pid=81474] ppid=81471 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81474/stat : 81474 (run-opt-log.sh) S 81471 81474 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72693123 4292608 768 18446744073709551615 94163670687744 94163671582277 140726331650000 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94163671821328 94163671869072 94163680911360 140726331656481 140726331656676 140726331656676 140726331662278 0
/proc/81474/statm: 1048 768 704 219 0 110 0
[pid=81477] ppid=81474 vsize=95504 memory=46128 CPUtime=3.03 cores=5,7
/proc/81477/stat : 81477 (roundingsat) R 81474 81474 80700 0 -1 4194304 8464 0 0 0 290 13 0 0 20 0 1 0 72693124 97796096 11532 18446744073709551615 4227072 8923433 140735452149568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20226048 140735452154194 140735452154408 140735452154408 140735452159978 0
/proc/81477/statm: 23876 11532 2336 1147 0 11303 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 99696 KiB
Current children cumulated memory: 49200 KiB
[startup+6.30039 s]
/proc/loadavg: 4.16 4.19 4.18 5/259 81511
/proc/meminfo: memFree=114832028/131382112 swapFree=33009904/33010684
[pid=81474] ppid=81471 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81474/stat : 81474 (run-opt-log.sh) S 81471 81474 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72693123 4292608 768 18446744073709551615 94163670687744 94163671582277 140726331650000 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94163671821328 94163671869072 94163680911360 140726331656481 140726331656676 140726331656676 140726331662278 0
/proc/81474/statm: 1048 768 704 219 0 110 0
[pid=81477] ppid=81474 vsize=106720 memory=54704 CPUtime=6.2 cores=5,7
/proc/81477/stat : 81477 (roundingsat) R 81474 81474 80700 0 -1 4194304 10622 0 0 0 600 20 0 0 20 0 1 0 72693124 109281280 13676 18446744073709551615 4227072 8923433 140735452149568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20226048 140735452154194 140735452154408 140735452154408 140735452159978 0
/proc/81477/statm: 26680 13676 2336 1147 0 14107 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 110912 KiB
Current children cumulated memory: 57776 KiB
[startup+12.7004 s]
/proc/loadavg: 4.14 4.18 4.18 5/258 81511
/proc/meminfo: memFree=114387792/131382112 swapFree=33009904/33010684
[pid=81474] ppid=81471 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81474/stat : 81474 (run-opt-log.sh) S 81471 81474 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72693123 4292608 768 18446744073709551615 94163670687744 94163671582277 140726331650000 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94163671821328 94163671869072 94163680911360 140726331656481 140726331656676 140726331656676 140726331662278 0
/proc/81474/statm: 1048 768 704 219 0 110 0
[pid=81477] ppid=81474 vsize=166452 memory=98756 CPUtime=12.59 cores=5,7
/proc/81477/stat : 81477 (roundingsat) R 81474 81474 80700 0 -1 4194304 21128 0 0 0 1227 32 0 0 20 0 1 0 72693124 170446848 24689 18446744073709551615 4227072 8923433 140735452149568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20226048 140735452154194 140735452154408 140735452154408 140735452159978 0
/proc/81477/statm: 41613 24689 2336 1147 0 29040 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 170644 KiB
Current children cumulated memory: 101828 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.17 4.18 5/258 81557
/proc/meminfo: memFree=126927528/131382112 swapFree=33009904/33010684
[pid=81474] ppid=81471 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81474/stat : 81474 (run-opt-log.sh) S 81471 81474 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72693123 4292608 768 18446744073709551615 94163670687744 94163671582277 140726331650000 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94163671821328 94163671869072 94163680911360 140726331656481 140726331656676 140726331656676 140726331662278 0
/proc/81474/statm: 1048 768 704 219 0 110 0
[pid=81477] ppid=81474 vsize=169068 memory=100932 CPUtime=25.34 cores=5,7
/proc/81477/stat : 81477 (roundingsat) R 81474 81474 80700 0 -1 4194304 21662 0 0 0 2472 62 0 0 20 0 1 0 72693124 173125632 25233 18446744073709551615 4227072 8923433 140735452149568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20226048 140735452154194 140735452154408 140735452154408 140735452159978 0
/proc/81477/statm: 42267 25233 2336 1147 0 29694 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 173260 KiB
Current children cumulated memory: 104004 KiB
[startup+51.1096 s]
/proc/loadavg: 4.15 4.18 4.18 5/260 81559
/proc/meminfo: memFree=125786276/131382112 swapFree=33009904/33010684
[pid=81474] ppid=81471 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81474/stat : 81474 (run-opt-log.sh) S 81471 81474 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72693123 4292608 768 18446744073709551615 94163670687744 94163671582277 140726331650000 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94163671821328 94163671869072 94163680911360 140726331656481 140726331656676 140726331656676 140726331662278 0
/proc/81474/statm: 1048 768 704 219 0 110 0
[pid=81477] ppid=81474 vsize=194660 memory=128948 CPUtime=50.83 cores=5,7
/proc/81477/stat : 81477 (roundingsat) R 81474 81474 80700 0 -1 4194304 25994 0 0 0 4983 100 0 0 20 0 1 0 72693124 199331840 32237 18446744073709551615 4227072 8923433 140735452149568 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 20226048 140735452154194 140735452154408 140735452154408 140735452159978 0
/proc/81477/statm: 48665 32237 2336 1147 0 36092 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 198852 KiB
Current children cumulated memory: 132020 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.18 4.18 5/260 81561
/proc/meminfo: memFree=124208304/131382112 swapFree=33009904/33010684
[pid=81474] ppid=81471 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81474/stat : 81474 (run-opt-log.sh) S 81471 81474 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72693123 4292608 768 18446744073709551615 94163670687744 94163671582277 140726331650000 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94163671821328 94163671869072 94163680911360 140726331656481 140726331656676 140726331656676 140726331662278 0
/proc/81474/statm: 1048 768 704 219 0 110 0
[pid=81477] ppid=81474 vsize=235276 memory=167120 CPUtime=101.76 cores=5,7
/proc/81477/stat : 81477 (roundingsat) R 81474 81474 80700 0 -1 4194304 35425 0 0 0 10009 167 0 0 20 0 1 0 72693124 240922624 41780 18446744073709551615 4227072 8923433 140735452149568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20226048 140735452154194 140735452154408 140735452154408 140735452159978 0
/proc/81477/statm: 58819 41780 2336 1147 0 46246 0
Current children cumulated CPU time: 101.76 s
Current children cumulated vsize: 239468 KiB
Current children cumulated memory: 170192 KiB
[startup+162.3 s]
/proc/loadavg: 4.94 4.39 4.26 5/262 81569
/proc/meminfo: memFree=122225248/131382112 swapFree=33009904/33010684
[pid=81474] ppid=81471 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81474/stat : 81474 (run-opt-log.sh) S 81471 81474 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72693123 4292608 768 18446744073709551615 94163670687744 94163671582277 140726331650000 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94163671821328 94163671869072 94163680911360 140726331656481 140726331656676 140726331656676 140726331662278 0
/proc/81474/statm: 1048 768 704 219 0 110 0
[pid=81477] ppid=81474 vsize=245352 memory=175024 CPUtime=161.57 cores=5,7
/proc/81477/stat : 81477 (roundingsat) R 81474 81474 80700 0 -1 4194304 38319 0 0 0 15925 232 0 0 20 0 1 0 72693124 251240448 43756 18446744073709551615 4227072 8923433 140735452149568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20226048 140735452154194 140735452154408 140735452154408 140735452159978 0
/proc/81477/statm: 61338 43756 2336 1147 0 48765 0
Current children cumulated CPU time: 161.57 s
Current children cumulated vsize: 249544 KiB
Current children cumulated memory: 178096 KiB
[startup+222.3 s]
/proc/loadavg: 4.50 4.37 4.26 5/262 81571
/proc/meminfo: memFree=120985600/131382112 swapFree=33009904/33010684
[pid=81474] ppid=81471 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81474/stat : 81474 (run-opt-log.sh) S 81471 81474 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72693123 4292608 768 18446744073709551615 94163670687744 94163671582277 140726331650000 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94163671821328 94163671869072 94163680911360 140726331656481 140726331656676 140726331656676 140726331662278 0
/proc/81474/statm: 1048 768 704 219 0 110 0
[pid=81477] ppid=81474 vsize=278516 memory=192928 CPUtime=221.36 cores=5,7
/proc/81477/stat : 81477 (roundingsat) R 81474 81474 80700 0 -1 4194304 43279 0 0 0 21843 293 0 0 20 0 1 0 72693124 285200384 48232 18446744073709551615 4227072 8923433 140735452149568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20226048 140735452154194 140735452154408 140735452154408 140735452159978 0
/proc/81477/statm: 69629 48232 2336 1147 0 57056 0
################
# More data... #
################
/proc/81477/statm: 108087 81845 2336 1147 0 95514 0
Current children cumulated CPU time: 3030.65 s
Current children cumulated vsize: 436540 KiB
Current children cumulated memory: 330452 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/261 81734
/proc/meminfo: memFree=74046872/131382112 swapFree=33009904/33010684
[pid=81474] ppid=81471 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81474/stat : 81474 (run-opt-log.sh) S 81471 81474 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72693123 4292608 768 18446744073709551615 94163670687744 94163671582277 140726331650000 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94163671821328 94163671869072 94163680911360 140726331656481 140726331656676 140726331656676 140726331662278 0
/proc/81474/statm: 1048 768 704 219 0 110 0
[pid=81477] ppid=81474 vsize=435876 memory=348800 CPUtime=3090.45 cores=5,7
/proc/81477/stat : 81477 (roundingsat) R 81474 81474 80700 0 -1 4194304 87503 0 0 0 306886 2159 0 0 20 0 1 0 72693124 446337024 87200 18446744073709551615 4227072 8923433 140735452149568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20226048 140735452154194 140735452154408 140735452154408 140735452159978 0
/proc/81477/statm: 108969 87200 2336 1147 0 96396 0
Current children cumulated CPU time: 3090.45 s
Current children cumulated vsize: 440068 KiB
Current children cumulated memory: 351872 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/261 81740
/proc/meminfo: memFree=73056532/131382112 swapFree=33009904/33010684
[pid=81474] ppid=81471 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81474/stat : 81474 (run-opt-log.sh) S 81471 81474 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72693123 4292608 768 18446744073709551615 94163670687744 94163671582277 140726331650000 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94163671821328 94163671869072 94163680911360 140726331656481 140726331656676 140726331656676 140726331662278 0
/proc/81474/statm: 1048 768 704 219 0 110 0
[pid=81477] ppid=81474 vsize=439700 memory=350832 CPUtime=3150.18 cores=5,7
/proc/81477/stat : 81477 (roundingsat) R 81474 81474 80700 0 -1 4194304 88884 0 0 0 312816 2202 0 0 20 0 1 0 72693124 450252800 87708 18446744073709551615 4227072 8923433 140735452149568 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 20226048 140735452154194 140735452154408 140735452154408 140735452159978 0
/proc/81477/statm: 109925 87708 2336 1147 0 97352 0
Current children cumulated CPU time: 3150.18 s
Current children cumulated vsize: 443892 KiB
Current children cumulated memory: 353904 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/260 81742
/proc/meminfo: memFree=72159416/131382112 swapFree=33009904/33010684
[pid=81474] ppid=81471 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81474/stat : 81474 (run-opt-log.sh) S 81471 81474 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72693123 4292608 768 18446744073709551615 94163670687744 94163671582277 140726331650000 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94163671821328 94163671869072 94163680911360 140726331656481 140726331656676 140726331656676 140726331662278 0
/proc/81474/statm: 1048 768 704 219 0 110 0
[pid=81477] ppid=81474 vsize=438668 memory=349956 CPUtime=3209.9 cores=5,7
/proc/81477/stat : 81477 (roundingsat) R 81474 81474 80700 0 -1 4194304 88945 0 0 0 318762 2228 0 0 20 0 1 0 72693124 449196032 87489 18446744073709551615 4227072 8923433 140735452149568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20226048 140735452154194 140735452154408 140735452154408 140735452159978 0
/proc/81477/statm: 109667 87489 2336 1147 0 97094 0
Current children cumulated CPU time: 3209.9 s
Current children cumulated vsize: 442860 KiB
Current children cumulated memory: 353028 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/260 81744
/proc/meminfo: memFree=71103496/131382112 swapFree=33009904/33010684
[pid=81474] ppid=81471 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81474/stat : 81474 (run-opt-log.sh) S 81471 81474 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72693123 4292608 768 18446744073709551615 94163670687744 94163671582277 140726331650000 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94163671821328 94163671869072 94163680911360 140726331656481 140726331656676 140726331656676 140726331662278 0
/proc/81474/statm: 1048 768 704 219 0 110 0
[pid=81477] ppid=81474 vsize=439824 memory=350852 CPUtime=3269.72 cores=5,7
/proc/81477/stat : 81477 (roundingsat) R 81474 81474 80700 0 -1 4194304 89170 0 0 0 324702 2270 0 0 20 0 1 0 72693124 450379776 87713 18446744073709551615 4227072 8923433 140735452149568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20226048 140735452154194 140735452154408 140735452154408 140735452159978 0
/proc/81477/statm: 109956 87713 2336 1147 0 97383 0
Current children cumulated CPU time: 3269.72 s
Current children cumulated vsize: 444016 KiB
Current children cumulated memory: 353924 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/259 81747
/proc/meminfo: memFree=70195928/131382112 swapFree=33009904/33010684
[pid=81474] ppid=81471 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81474/stat : 81474 (run-opt-log.sh) S 81471 81474 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72693123 4292608 768 18446744073709551615 94163670687744 94163671582277 140726331650000 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94163671821328 94163671869072 94163680911360 140726331656481 140726331656676 140726331656676 140726331662278 0
/proc/81474/statm: 1048 768 704 219 0 110 0
[pid=81477] ppid=81474 vsize=439824 memory=350852 CPUtime=3329.52 cores=5,7
/proc/81477/stat : 81477 (roundingsat) R 81474 81474 80700 0 -1 4194304 89173 0 0 0 330642 2310 0 0 20 0 1 0 72693124 450379776 87713 18446744073709551615 4227072 8923433 140735452149568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20226048 140735452154194 140735452154408 140735452154408 140735452159978 0
/proc/81477/statm: 109956 87713 2336 1147 0 97383 0
Current children cumulated CPU time: 3329.52 s
Current children cumulated vsize: 444016 KiB
Current children cumulated memory: 353924 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 81749
/proc/meminfo: memFree=69499576/131382112 swapFree=33009904/33010684
[pid=81474] ppid=81471 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81474/stat : 81474 (run-opt-log.sh) S 81471 81474 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72693123 4292608 768 18446744073709551615 94163670687744 94163671582277 140726331650000 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94163671821328 94163671869072 94163680911360 140726331656481 140726331656676 140726331656676 140726331662278 0
/proc/81474/statm: 1048 768 704 219 0 110 0
[pid=81477] ppid=81474 vsize=442960 memory=356820 CPUtime=3389.21 cores=5,7
/proc/81477/stat : 81477 (roundingsat) R 81474 81474 80700 0 -1 4194304 89921 0 0 0 336572 2349 0 0 20 0 1 0 72693124 453591040 89205 18446744073709551615 4227072 8923433 140735452149568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20226048 140735452154194 140735452154408 140735452154408 140735452159978 0
/proc/81477/statm: 110740 89205 2336 1147 0 98167 0
Current children cumulated CPU time: 3389.21 s
Current children cumulated vsize: 447152 KiB
Current children cumulated memory: 359892 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/259 81752
/proc/meminfo: memFree=68828344/131382112 swapFree=33009904/33010684
[pid=81474] ppid=81471 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81474/stat : 81474 (run-opt-log.sh) S 81471 81474 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72693123 4292608 768 18446744073709551615 94163670687744 94163671582277 140726331650000 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94163671821328 94163671869072 94163680911360 140726331656481 140726331656676 140726331656676 140726331662278 0
/proc/81474/statm: 1048 768 704 219 0 110 0
[pid=81477] ppid=81474 vsize=442960 memory=357076 CPUtime=3449.02 cores=5,7
/proc/81477/stat : 81477 (roundingsat) R 81474 81474 80700 0 -1 4194304 89995 0 0 0 342525 2377 0 0 20 0 1 0 72693124 453591040 89269 18446744073709551615 4227072 8923433 140735452149568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20226048 140735452154194 140735452154408 140735452154408 140735452159978 0
/proc/81477/statm: 110740 89269 2336 1147 0 98167 0
Current children cumulated CPU time: 3449.02 s
Current children cumulated vsize: 447152 KiB
Current children cumulated memory: 360148 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/260 81758
/proc/meminfo: memFree=68235472/131382112 swapFree=33009904/33010684
[pid=81474] ppid=81471 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81474/stat : 81474 (run-opt-log.sh) S 81471 81474 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72693123 4292608 768 18446744073709551615 94163670687744 94163671582277 140726331650000 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94163671821328 94163671869072 94163680911360 140726331656481 140726331656676 140726331656676 140726331662278 0
/proc/81474/statm: 1048 768 704 219 0 110 0
[pid=81477] ppid=81474 vsize=442960 memory=357076 CPUtime=3508.82 cores=5,7
/proc/81477/stat : 81477 (roundingsat) R 81474 81474 80700 0 -1 4194304 90000 0 0 0 348489 2393 0 0 20 0 1 0 72693124 453591040 89269 18446744073709551615 4227072 8923433 140735452149568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20226048 140735452154194 140735452154408 140735452154408 140735452159978 0
/proc/81477/statm: 110740 89269 2336 1147 0 98167 0
Current children cumulated CPU time: 3508.82 s
Current children cumulated vsize: 447152 KiB
Current children cumulated memory: 360148 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/260 81760
/proc/meminfo: memFree=67355336/131382112 swapFree=33009904/33010684
[pid=81474] ppid=81471 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81474/stat : 81474 (run-opt-log.sh) S 81471 81474 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72693123 4292608 768 18446744073709551615 94163670687744 94163671582277 140726331650000 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94163671821328 94163671869072 94163680911360 140726331656481 140726331656676 140726331656676 140726331662278 0
/proc/81474/statm: 1048 768 704 219 0 110 0
[pid=81477] ppid=81474 vsize=442960 memory=357204 CPUtime=3568.63 cores=5,7
/proc/81477/stat : 81477 (roundingsat) R 81474 81474 80700 0 -1 4194304 90016 0 0 0 354442 2421 0 0 20 0 1 0 72693124 453591040 89301 18446744073709551615 4227072 8923433 140735452149568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20226048 140735452154194 140735452154408 140735452154408 140735452159978 0
/proc/81477/statm: 110740 89301 2336 1147 0 98167 0
Current children cumulated CPU time: 3568.63 s
Current children cumulated vsize: 447152 KiB
Current children cumulated memory: 360276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.8 s]
/proc/loadavg: 4.15 4.12 4.09 3/251 81777
/proc/meminfo: memFree=73899660/131382112 swapFree=33009904/33010684
[pid=81474] ppid=81471 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81474/stat : 81474 (run-opt-log.sh) S 81471 81474 80700 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72693123 4292608 768 18446744073709551615 94163670687744 94163671582277 140726331650000 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94163671821328 94163671869072 94163680911360 140726331656481 140726331656676 140726331656676 140726331662278 0
/proc/81474/statm: 1048 768 704 219 0 110 0
[pid=81477] ppid=81474 vsize=443588 memory=357408 CPUtime=3600.03 cores=5,7
/proc/81477/stat : 81477 (roundingsat) R 81474 81474 80700 0 -1 4194304 90242 0 0 0 357569 2434 0 0 20 0 1 0 72693124 454234112 89352 18446744073709551615 4227072 8923433 140735452149568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20226048 140735452154194 140735452154408 140735452154408 140735452159978 0
/proc/81477/statm: 110897 89352 2336 1147 0 98324 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 447780 KiB
Current children cumulated memory: 360480 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.81 s]
# the end of solver process 81474 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001985 s, system=0.003064 s
[startup+3613.85 s]
# the end of solver process 81477 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3575.7 s, system=24.3722 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3613.85
CPU time (s): 3600.07
CPU user time (s): 3575.7
CPU system time (s): 24.3722
CPU usage (%): 99.6187
Max. virtual memory (cumulated for all children) (KiB): 447780
Max. memory (cumulated for all children) (KiB): 360480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.7
system time used= 24.3722
maximum resident set size= 357972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90473
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12103976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 533
involuntary context switches= 8820
# summary of solver processes directly reported to runsolver:
# pid: 81474,81477
# total CPU time (s): 3600.07
# total CPU user time (s): 3575.7
# total CPU system time (s): 24.3722
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6344 second user time and 37.362 second system time
The end
Begin job on nodeC001 at 2025-07-03 21:15:42
IDJOB=4520481
IDBENCH=178060
IDSOLVER=3351
FILE ID=nodeC001/4520481-1751570142
RUNJOBID= nodeC001-1751562911-80735
SLURM_JOB_ID= 9598765
Free space on /tmp= 432484 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/normalized-dominating_set_hexgrid_opt_r6_c80.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520481-1751570142/watcher-4520481-1751570142 -o /tmp/evaluation-result-4520481-1751570142/solver-4520481-1751570142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751562911-80735 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520481-1751570142.opb PROOFDIR/proof-4520481-1751570142
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c38d53ef62d5a1e991caa36d02813e97
RANDOM SEED=426676528
nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.784
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1795.760
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.302
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.334
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.183
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.153
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1198.137
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1296.969
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 110139556 kB
MemAvailable: 125758024 kB
Buffers: 1668 kB
Cached: 16394988 kB
SwapCached: 128 kB
Active: 4450364 kB
Inactive: 16157296 kB
Active(anon): 4200536 kB
Inactive(anon): 28268 kB
Active(file): 249828 kB
Inactive(file): 16129028 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7440 kB
Writeback: 4 kB
AnonPages: 4214288 kB
Mapped: 109048 kB
Shmem: 17776 kB
KReclaimable: 157444 kB
Slab: 243324 kB
SReclaimable: 157444 kB
SUnreclaim: 85880 kB
KernelStack: 3996 kB
PageTables: 11444 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 4913616 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2650112 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432476 MiB
End job on nodeC001 at 2025-07-03 22:15:56