0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c [STEP] parsing instance
0.00/0.02 c [STEP] solving
0.00/0.02 c #variables 360 #constraints 360
0.00/0.02 c SMALL=int, LARGE=long long
0.00/0.02 c bounds - >= 0 @ 0.002684
0.00/0.02 c stratification level: 0
0.00/0.04 c bounds - >= 1 @ 0.005185
0.00/0.04 c bounds - >= 2 @ 0.005363
0.00/0.04 c bounds - >= 3 @ 0.005533
0.00/0.04 c bounds - >= 4 @ 0.005704
0.00/0.04 c bounds - >= 5 @ 0.005792
0.00/0.04 c bounds - >= 6 @ 0.005792
0.00/0.04 c bounds - >= 7 @ 0.005792
0.00/0.04 c bounds - >= 8 @ 0.005792
0.00/0.04 c bounds - >= 9 @ 0.005792
0.00/0.04 c bounds - >= 10 @ 0.005792
0.00/0.04 c bounds - >= 11 @ 0.005883
0.00/0.04 c bounds - >= 12 @ 0.006032
0.00/0.04 c bounds - >= 13 @ 0.006189
0.00/0.04 c bounds - >= 14 @ 0.006347
0.00/0.04 c bounds - >= 15 @ 0.006494
0.00/0.04 c bounds - >= 16 @ 0.006655
0.00/0.04 c bounds - >= 17 @ 0.006788
0.00/0.04 c bounds - >= 18 @ 0.006942
0.00/0.04 c bounds - >= 19 @ 0.007102
0.00/0.04 c bounds - >= 20 @ 0.007255
0.00/0.04 c bounds - >= 21 @ 0.007401
0.00/0.04 c bounds - >= 22 @ 0.007561
0.00/0.04 c bounds - >= 23 @ 0.007712
0.00/0.04 c bounds - >= 24 @ 0.007829
0.00/0.04 c bounds - >= 25 @ 0.007991
0.00/0.04 c bounds - >= 26 @ 0.008139
0.00/0.04 c bounds - >= 27 @ 0.008285
0.00/0.04 c bounds - >= 28 @ 0.008437
0.00/0.04 c bounds - >= 29 @ 0.00858
0.00/0.04 c bounds - >= 30 @ 0.008727
0.00/0.04 c bounds - >= 31 @ 0.00875
0.00/0.04 c bounds - >= 32 @ 0.00875
0.00/0.04 c bounds - >= 33 @ 0.00875
0.00/0.04 c bounds - >= 34 @ 0.00875
0.00/0.04 c bounds - >= 35 @ 0.00875
0.00/0.04 c bounds - >= 36 @ 0.00875
0.00/0.04 c bounds - >= 37 @ 0.008769
0.00/0.04 c bounds - >= 38 @ 0.008919
0.00/0.04 c bounds - >= 39 @ 0.009055
0.00/0.04 c bounds - >= 40 @ 0.009204
0.00/0.04 c bounds - >= 41 @ 0.009349
0.00/0.04 c bounds - >= 42 @ 0.009482
0.00/0.04 c bounds - >= 43 @ 0.00963
0.00/0.04 c bounds - >= 44 @ 0.009747
0.00/0.04 c bounds - >= 45 @ 0.009747
0.00/0.04 c bounds - >= 46 @ 0.009747
0.00/0.04 c bounds - >= 47 @ 0.009747
0.00/0.04 c bounds - >= 48 @ 0.009747
0.00/0.04 c bounds - >= 49 @ 0.009747
0.00/0.04 c bounds - >= 50 @ 0.009747
0.00/0.04 c bounds - >= 51 @ 0.009756
0.00/0.04 c bounds - >= 52 @ 0.009901
0.00/0.04 c bounds - >= 53 @ 0.010037
0.00/0.04 c bounds - >= 54 @ 0.010162
0.00/0.04 c bounds - >= 55 @ 0.0103
0.00/0.04 c bounds - >= 56 @ 0.010436
0.00/0.04 c bounds - >= 57 @ 0.010559
0.00/0.04 c bounds - >= 58 @ 0.010696
0.00/0.04 c bounds - >= 59 @ 0.010743
0.00/0.04 c bounds - >= 60 @ 0.010743
0.00/0.04 c bounds - >= 61 @ 0.010743
0.00/0.04 c bounds - >= 62 @ 0.010743
0.00/0.04 c bounds - >= 63 @ 0.010743
0.00/0.04 c bounds - >= 64 @ 0.010743
0.00/0.04 c bounds - >= 65 @ 0.010743
0.00/0.04 c bounds - >= 66 @ 0.010748
0.00/0.04 c bounds - >= 67 @ 0.01076
0.00/0.04 c bounds - >= 68 @ 0.01076
0.00/0.04 c bounds - >= 69 @ 0.01076
0.00/0.04 c bounds - >= 70 @ 0.01076
0.00/0.04 c bounds - >= 71 @ 0.01076
0.00/0.04 c bounds - >= 72 @ 0.01076
0.00/0.04 c bounds - >= 73 @ 0.01076
0.00/0.04 c bounds - >= 74 @ 0.010774
0.00/0.04 c bounds - >= 75 @ 0.010774
0.00/0.04 c bounds - >= 76 @ 0.010774
0.00/0.04 c bounds - >= 77 @ 0.010774
0.00/0.04 c bounds - >= 78 @ 0.010774
0.00/0.04 c bounds - >= 79 @ 0.010774
0.00/0.04 c bounds - >= 80 @ 0.010774
0.00/0.04 c bounds - >= 81 @ 0.010774
0.00/0.04 c bounds - >= 82 @ 0.010774
0.00/0.04 c bounds - >= 83 @ 0.010788
0.00/0.04 c bounds - >= 84 @ 0.010788
0.00/0.04 c bounds - >= 85 @ 0.010788
0.00/0.04 c bounds - >= 86 @ 0.010788
0.00/0.04 c bounds - >= 87 @ 0.010788
0.00/0.04 c bounds - >= 88 @ 0.010788
0.00/0.04 c finalizing WCE round: reformulating cores
12.54/12.60 c #Conflicts: 1000 | #Constraints: 1455
12.54/12.60 c #Conflicts: 2000 | #Constraints: 2457
12.54/12.60 c INPROCESSING
12.54/12.60 c GARBAGE COLLECT
12.54/12.60 c #Conflicts: 3000 | #Constraints: 2392
12.54/12.60 c #Conflicts: 4000 | #Constraints: 3394
12.54/12.60 c INPROCESSING
12.54/12.60 c GARBAGE COLLECT
12.54/12.60 c #Conflicts: 5000 | #Constraints: 2810
12.54/12.60 c #Conflicts: 6000 | #Constraints: 3812
12.54/12.60 c INPROCESSING
12.54/12.60 c GARBAGE COLLECT
12.54/12.60 c #Conflicts: 7000 | #Constraints: 2825
12.54/12.60 c #Conflicts: 8000 | #Constraints: 3827
12.54/12.60 c #Conflicts: 9000 | #Constraints: 4831
12.54/12.60 c INPROCESSING
12.54/12.60 c GARBAGE COLLECT
12.54/12.60 c #Conflicts: 10000 | #Constraints: 3534
12.54/12.60 c #Conflicts: 11000 | #Constraints: 4536
12.54/12.60 c #Conflicts: 12000 | #Constraints: 5538
12.54/12.60 c INPROCESSING
12.54/12.60 c GARBAGE COLLECT
12.54/12.60 c #Conflicts: 13000 | #Constraints: 3987
12.54/12.60 c #Conflicts: 14000 | #Constraints: 4989
12.54/12.60 c #Conflicts: 15000 | #Constraints: 5991
12.54/12.60 c INPROCESSING
12.54/12.60 c GARBAGE COLLECT
12.54/12.60 c #Conflicts: 16000 | #Constraints: 4228
12.54/12.60 c #Conflicts: 17000 | #Constraints: 5230
12.54/12.60 c #Conflicts: 18000 | #Constraints: 6232
12.54/12.60 c INPROCESSING
12.54/12.60 c GARBAGE COLLECT
12.54/12.60 c #Conflicts: 19000 | #Constraints: 4239
12.54/12.60 c #Conflicts: 20000 | #Constraints: 5241
12.54/12.60 c #Conflicts: 21000 | #Constraints: 6243
12.54/12.60 c INPROCESSING
12.54/12.60 c GARBAGE COLLECT
12.54/12.60 c #Conflicts: 22000 | #Constraints: 4048
12.54/12.60 c #Conflicts: 23000 | #Constraints: 5050
12.54/12.60 c #Conflicts: 24000 | #Constraints: 6054
12.54/12.60 c #Conflicts: 25000 | #Constraints: 7056
12.54/12.60 c INPROCESSING
12.54/12.60 c GARBAGE COLLECT
12.54/12.60 c #Conflicts: 26000 | #Constraints: 4663
12.54/12.60 c #Conflicts: 27000 | #Constraints: 5665
12.54/12.60 c #Conflicts: 28000 | #Constraints: 6667
12.54/12.60 c #Conflicts: 29000 | #Constraints: 7671
12.54/12.60 c INPROCESSING
12.54/12.60 c GARBAGE COLLECT
12.54/12.60 c #Conflicts: 30000 | #Constraints: 5072
12.54/12.60 c #Conflicts: 31000 | #Constraints: 6074
12.54/12.60 c #Conflicts: 32000 | #Constraints: 7076
12.54/12.60 c #Conflicts: 33000 | #Constraints: 8080
12.54/12.60 c INPROCESSING
12.54/12.60 c GARBAGE COLLECT
12.54/12.60 c #Conflicts: 34000 | #Constraints: 5284
12.54/12.60 c #Conflicts: 35000 | #Constraints: 6286
12.54/12.60 c #Conflicts: 36000 | #Constraints: 7288
12.54/12.60 c #Conflicts: 37000 | #Constraints: 8292
12.54/12.60 c INPROCESSING
12.54/12.60 c GARBAGE COLLECT
12.54/12.60 c #Conflicts: 38000 | #Constraints: 5299
12.54/12.60 c #Conflicts: 39000 | #Constraints: 6301
12.54/12.60 c #Conflicts: 40000 | #Constraints: 7303
12.54/12.60 c #Conflicts: 41000 | #Constraints: 8307
12.54/12.60 c INPROCESSING
12.54/12.60 c GARBAGE COLLECT
12.54/12.60 c #Conflicts: 42000 | #Constraints: 5110
12.54/12.60 c #Conflicts: 43000 | #Constraints: 6112
12.54/12.60 c #Conflicts: 44000 | #Constraints: 7116
12.54/12.60 c #Conflicts: 45000 | #Constraints: 8118
12.54/12.60 c #Conflicts: 46000 | #Constraints: 9120
12.54/12.60 c INPROCESSING
12.54/12.60 c GARBAGE COLLECT
12.54/12.60 c #Conflicts: 47000 | #Constraints: 5719
12.54/12.60 c #Conflicts: 48000 | #Constraints: 6721
12.54/12.60 c #Conflicts: 49000 | #Constraints: 7723
12.54/12.60 c #Conflicts: 50000 | #Constraints: 8727
12.54/12.60 c #Conflicts: 51000 | #Constraints: 9729
12.54/12.60 c INPROCESSING
12.54/12.60 c GARBAGE COLLECT
12.54/12.60 c #Conflicts: 52000 | #Constraints: 6136
12.54/12.60 c #Conflicts: 53000 | #Constraints: 7138
12.54/12.60 c #Conflicts: 54000 | #Constraints: 8140
12.54/12.60 c #Conflicts: 55000 | #Constraints: 9144
12.54/12.60 c #Conflicts: 56000 | #Constraints: 10146
12.54/12.60 c INPROCESSING
12.54/12.60 c GARBAGE COLLECT
12.54/12.60 c #Conflicts: 57000 | #Constraints: 6338
12.54/12.60 c #Conflicts: 58000 | #Constraints: 7340
12.54/12.60 c #Conflicts: 59000 | #Constraints: 8342
12.54/12.60 c #Conflicts: 60000 | #Constraints: 9346
12.54/12.60 c #Conflicts: 61000 | #Constraints: 10348
12.54/12.60 c INPROCESSING
12.54/12.60 c GARBAGE COLLECT
12.54/12.60 c #Conflicts: 62000 | #Constraints: 6355
12.54/12.60 c #Conflicts: 63000 | #Constraints: 7357
12.54/12.60 c #Conflicts: 64000 | #Constraints: 8359
12.54/12.60 c #Conflicts: 65000 | #Constraints: 9363
12.54/12.60 c #Conflicts: 66000 | #Constraints: 10365
12.54/12.60 c INPROCESSING
12.54/12.60 c GARBAGE COLLECT
12.54/12.60 c #Conflicts: 67000 | #Constraints: 6163
12.54/12.60 c #Conflicts: 68000 | #Constraints: 7165
13.43/13.52 c #Conflicts: 69000 | #Constraints: 8169
13.43/13.52 c #Conflicts: 70000 | #Constraints: 9171
13.43/13.52 c #Conflicts: 71000 | #Constraints: 10173
13.43/13.52 c bounds 98 >= 88 @ 12.9866
13.43/13.52 c bounds 98 >= 89 @ 12.9897
13.43/13.52 c finalizing WCE round: reformulating cores
51.52/51.79 c #Conflicts: 72000 | #Constraints: 11183
51.52/51.79 c INPROCESSING
51.52/51.79 c GARBAGE COLLECT
51.52/51.79 c bounds 94 >= 89 @ 13.29
51.52/51.79 c bounds 94 >= 90 @ 13.2966
51.52/51.79 c #Conflicts: 73000 | #Constraints: 6979
51.52/51.79 c #Conflicts: 74000 | #Constraints: 7979
51.52/51.79 c #Conflicts: 75000 | #Constraints: 8979
51.52/51.79 c #Conflicts: 76000 | #Constraints: 9979
51.52/51.79 c #Conflicts: 77000 | #Constraints: 10979
51.52/51.79 c #Conflicts: 78000 | #Constraints: 11979
51.52/51.79 c INPROCESSING
51.52/51.79 c GARBAGE COLLECT
51.52/51.79 c #Conflicts: 79000 | #Constraints: 7332
51.52/51.79 c #Conflicts: 80000 | #Constraints: 8332
51.52/51.79 c #Conflicts: 81000 | #Constraints: 9332
51.52/51.79 c #Conflicts: 82000 | #Constraints: 10332
51.52/51.79 c #Conflicts: 83000 | #Constraints: 11332
51.52/51.79 c #Conflicts: 84000 | #Constraints: 12332
51.52/51.79 c INPROCESSING
51.52/51.79 c GARBAGE COLLECT
51.52/51.79 c #Conflicts: 85000 | #Constraints: 7520
51.52/51.79 c #Conflicts: 86000 | #Constraints: 8520
51.52/51.79 c #Conflicts: 87000 | #Constraints: 9520
51.52/51.79 c #Conflicts: 88000 | #Constraints: 10520
51.52/51.79 c #Conflicts: 89000 | #Constraints: 11520
51.52/51.79 c #Conflicts: 90000 | #Constraints: 12520
51.52/51.79 c INPROCESSING
51.52/51.79 c GARBAGE COLLECT
51.52/51.79 c #Conflicts: 91000 | #Constraints: 7507
51.52/51.79 c #Conflicts: 92000 | #Constraints: 8507
51.52/51.79 c #Conflicts: 93000 | #Constraints: 9507
51.52/51.79 c #Conflicts: 94000 | #Constraints: 10507
51.52/51.79 c #Conflicts: 95000 | #Constraints: 11507
51.52/51.79 c #Conflicts: 96000 | #Constraints: 12507
51.52/51.79 c INPROCESSING
51.52/51.79 c GARBAGE COLLECT
51.52/51.79 c #Conflicts: 97000 | #Constraints: 7305
51.52/51.79 c #Conflicts: 98000 | #Constraints: 8305
51.52/51.79 c #Conflicts: 99000 | #Constraints: 9305
51.52/51.79 c #Conflicts: 100000 | #Constraints: 10305
51.52/51.79 c #Conflicts: 101000 | #Constraints: 11305
51.52/51.79 c #Conflicts: 102000 | #Constraints: 12305
51.52/51.79 c #Conflicts: 103000 | #Constraints: 13305
51.52/51.79 c INPROCESSING
51.52/51.79 c GARBAGE COLLECT
51.52/51.79 c #Conflicts: 104000 | #Constraints: 7901
51.52/51.79 c #Conflicts: 105000 | #Constraints: 8901
51.52/51.79 c #Conflicts: 106000 | #Constraints: 9901
51.52/51.79 c #Conflicts: 107000 | #Constraints: 10901
51.52/51.79 c #Conflicts: 108000 | #Constraints: 11901
51.52/51.79 c #Conflicts: 109000 | #Constraints: 12901
51.52/51.79 c #Conflicts: 110000 | #Constraints: 13901
51.52/51.79 c INPROCESSING
51.52/51.79 c GARBAGE COLLECT
51.52/51.79 c #Conflicts: 111000 | #Constraints: 8299
51.52/51.79 c #Conflicts: 112000 | #Constraints: 9299
51.52/51.79 c #Conflicts: 113000 | #Constraints: 10299
51.52/51.79 c #Conflicts: 114000 | #Constraints: 11299
51.52/51.79 c #Conflicts: 115000 | #Constraints: 12299
51.52/51.79 c #Conflicts: 116000 | #Constraints: 13299
51.52/51.79 c #Conflicts: 117000 | #Constraints: 14299
51.52/51.79 c INPROCESSING
51.52/51.79 c GARBAGE COLLECT
51.52/51.79 c #Conflicts: 118000 | #Constraints: 8501
51.52/51.79 c #Conflicts: 119000 | #Constraints: 9501
51.52/51.79 c #Conflicts: 120000 | #Constraints: 10501
51.52/51.79 c #Conflicts: 121000 | #Constraints: 11501
51.52/51.79 c #Conflicts: 122000 | #Constraints: 12501
51.52/51.79 c #Conflicts: 123000 | #Constraints: 13501
51.52/51.79 c #Conflicts: 124000 | #Constraints: 14501
51.52/51.79 c INPROCESSING
51.52/51.79 c GARBAGE COLLECT
51.52/51.79 c #Conflicts: 125000 | #Constraints: 8500
51.52/51.79 c #Conflicts: 126000 | #Constraints: 9500
51.52/51.79 c #Conflicts: 127000 | #Constraints: 10500
51.52/51.79 c #Conflicts: 128000 | #Constraints: 11500
51.52/51.79 c #Conflicts: 129000 | #Constraints: 12500
51.52/51.79 c #Conflicts: 130000 | #Constraints: 13500
51.52/51.79 c #Conflicts: 131000 | #Constraints: 14500
51.52/51.79 c INPROCESSING
51.52/51.79 c GARBAGE COLLECT
51.52/51.79 c #Conflicts: 132000 | #Constraints: 8301
51.52/51.79 c #Conflicts: 133000 | #Constraints: 9301
51.52/51.79 c #Conflicts: 134000 | #Constraints: 10301
51.52/51.79 c #Conflicts: 135000 | #Constraints: 11301
51.52/51.79 c #Conflicts: 136000 | #Constraints: 12301
51.52/51.79 c #Conflicts: 137000 | #Constraints: 13301
51.52/51.79 c #Conflicts: 138000 | #Constraints: 14301
51.52/51.79 c #Conflicts: 139000 | #Constraints: 15301
51.52/51.79 c INPROCESSING
51.52/51.79 c GARBAGE COLLECT
51.52/51.79 c #Conflicts: 140000 | #Constraints: 8901
51.52/51.79 c #Conflicts: 141000 | #Constraints: 9901
51.52/51.79 c #Conflicts: 142000 | #Constraints: 10901
122.00/122.42 c #Conflicts: 143000 | #Constraints: 11901
122.00/122.42 c #Conflicts: 144000 | #Constraints: 12901
122.00/122.42 c #Conflicts: 145000 | #Constraints: 13901
122.00/122.42 c #Conflicts: 146000 | #Constraints: 14901
122.00/122.42 c #Conflicts: 147000 | #Constraints: 15901
122.00/122.42 c INPROCESSING
122.00/122.42 c GARBAGE COLLECT
122.00/122.42 c #Conflicts: 148000 | #Constraints: 9300
122.00/122.42 c #Conflicts: 149000 | #Constraints: 10300
122.00/122.42 c #Conflicts: 150000 | #Constraints: 11300
122.00/122.42 c #Conflicts: 151000 | #Constraints: 12300
122.00/122.42 c #Conflicts: 152000 | #Constraints: 13300
122.00/122.42 c #Conflicts: 153000 | #Constraints: 14300
122.00/122.42 c #Conflicts: 154000 | #Constraints: 15300
122.00/122.42 c #Conflicts: 155000 | #Constraints: 16300
122.00/122.42 c INPROCESSING
122.00/122.42 c GARBAGE COLLECT
122.00/122.42 c #Conflicts: 156000 | #Constraints: 9510
122.00/122.42 c #Conflicts: 157000 | #Constraints: 10510
122.00/122.42 c #Conflicts: 158000 | #Constraints: 11510
122.00/122.42 c #Conflicts: 159000 | #Constraints: 12510
122.00/122.42 c #Conflicts: 160000 | #Constraints: 13510
122.00/122.42 c #Conflicts: 161000 | #Constraints: 14510
122.00/122.42 c #Conflicts: 162000 | #Constraints: 15510
122.00/122.42 c #Conflicts: 163000 | #Constraints: 16510
122.00/122.42 c INPROCESSING
122.00/122.42 c GARBAGE COLLECT
122.00/122.42 c #Conflicts: 164000 | #Constraints: 9506
122.00/122.42 c #Conflicts: 165000 | #Constraints: 10506
122.00/122.42 c #Conflicts: 166000 | #Constraints: 11506
122.00/122.42 c #Conflicts: 167000 | #Constraints: 12506
122.00/122.42 c #Conflicts: 168000 | #Constraints: 13506
122.00/122.42 c #Conflicts: 169000 | #Constraints: 14506
122.00/122.42 c #Conflicts: 170000 | #Constraints: 15506
122.00/122.42 c #Conflicts: 171000 | #Constraints: 16506
122.00/122.42 c INPROCESSING
122.00/122.42 c GARBAGE COLLECT
122.00/122.42 c #Conflicts: 172000 | #Constraints: 9307
122.00/122.42 c #Conflicts: 173000 | #Constraints: 10307
122.00/122.42 c #Conflicts: 174000 | #Constraints: 11307
122.00/122.42 c #Conflicts: 175000 | #Constraints: 12307
122.00/122.42 c #Conflicts: 176000 | #Constraints: 13307
122.00/122.42 c #Conflicts: 177000 | #Constraints: 14307
122.00/122.42 c #Conflicts: 178000 | #Constraints: 15307
122.00/122.42 c #Conflicts: 179000 | #Constraints: 16307
122.00/122.42 c #Conflicts: 180000 | #Constraints: 17307
122.00/122.42 c INPROCESSING
122.00/122.42 c GARBAGE COLLECT
122.00/122.42 c #Conflicts: 181000 | #Constraints: 9907
122.00/122.42 c #Conflicts: 182000 | #Constraints: 10907
122.00/122.42 c #Conflicts: 183000 | #Constraints: 11907
122.00/122.42 c #Conflicts: 184000 | #Constraints: 12907
122.00/122.42 c #Conflicts: 185000 | #Constraints: 13907
122.00/122.42 c #Conflicts: 186000 | #Constraints: 14907
122.00/122.42 c #Conflicts: 187000 | #Constraints: 15907
122.00/122.42 c #Conflicts: 188000 | #Constraints: 16907
122.00/122.42 c #Conflicts: 189000 | #Constraints: 17907
122.00/122.42 c INPROCESSING
122.00/122.42 c GARBAGE COLLECT
122.00/122.42 c #Conflicts: 190000 | #Constraints: 10308
122.00/122.42 c #Conflicts: 191000 | #Constraints: 11308
122.00/122.42 c #Conflicts: 192000 | #Constraints: 12308
122.00/122.42 c #Conflicts: 193000 | #Constraints: 13308
122.00/122.42 c #Conflicts: 194000 | #Constraints: 14308
122.00/122.42 c #Conflicts: 195000 | #Constraints: 15308
122.00/122.42 c #Conflicts: 196000 | #Constraints: 16308
122.00/122.42 c #Conflicts: 197000 | #Constraints: 17308
122.00/122.42 c #Conflicts: 198000 | #Constraints: 18308
122.00/122.42 c INPROCESSING
122.00/122.42 c GARBAGE COLLECT
122.00/122.42 c #Conflicts: 199000 | #Constraints: 10510
122.00/122.42 c #Conflicts: 200000 | #Constraints: 11510
122.00/122.42 c #Conflicts: 201000 | #Constraints: 12510
122.00/122.42 c #Conflicts: 202000 | #Constraints: 13510
122.00/122.42 c #Conflicts: 203000 | #Constraints: 14510
122.00/122.42 c #Conflicts: 204000 | #Constraints: 15510
122.00/122.42 c #Conflicts: 205000 | #Constraints: 16510
122.00/122.42 c #Conflicts: 206000 | #Constraints: 17510
122.00/122.42 c #Conflicts: 207000 | #Constraints: 18510
122.00/122.42 c INPROCESSING
122.00/122.42 c GARBAGE COLLECT
122.00/122.42 c #Conflicts: 208000 | #Constraints: 10508
122.00/122.42 c #Conflicts: 209000 | #Constraints: 11508
122.00/122.42 c #Conflicts: 210000 | #Constraints: 12508
122.00/122.42 c #Conflicts: 211000 | #Constraints: 13508
122.00/122.42 c #Conflicts: 212000 | #Constraints: 14508
122.00/122.42 c #Conflicts: 213000 | #Constraints: 15508
122.00/122.42 c #Conflicts: 214000 | #Constraints: 16508
122.00/122.42 c #Conflicts: 215000 | #Constraints: 17508
122.00/122.42 c #Conflicts: 216000 | #Constraints: 18508
207.33/208.01 c INPROCESSING
207.33/208.01 c GARBAGE COLLECT
207.33/208.01 c #Conflicts: 217000 | #Constraints: 10312
207.33/208.01 c #Conflicts: 218000 | #Constraints: 11312
207.33/208.01 c #Conflicts: 219000 | #Constraints: 12312
207.33/208.01 c #Conflicts: 220000 | #Constraints: 13312
207.33/208.01 c #Conflicts: 221000 | #Constraints: 14312
207.33/208.01 c #Conflicts: 222000 | #Constraints: 15312
207.33/208.01 c #Conflicts: 223000 | #Constraints: 16312
207.33/208.01 c #Conflicts: 224000 | #Constraints: 17312
207.33/208.01 c #Conflicts: 225000 | #Constraints: 18312
207.33/208.01 c #Conflicts: 226000 | #Constraints: 19312
207.33/208.01 c INPROCESSING
207.33/208.01 c GARBAGE COLLECT
207.33/208.01 c #Conflicts: 227000 | #Constraints: 10913
207.33/208.01 c #Conflicts: 228000 | #Constraints: 11913
207.33/208.01 c #Conflicts: 229000 | #Constraints: 12913
207.33/208.01 c #Conflicts: 230000 | #Constraints: 13913
207.33/208.01 c #Conflicts: 231000 | #Constraints: 14913
207.33/208.01 c #Conflicts: 232000 | #Constraints: 15913
207.33/208.01 c #Conflicts: 233000 | #Constraints: 16913
207.33/208.01 c #Conflicts: 234000 | #Constraints: 17913
207.33/208.01 c #Conflicts: 235000 | #Constraints: 18913
207.33/208.01 c #Conflicts: 236000 | #Constraints: 19913
207.33/208.01 c INPROCESSING
207.33/208.01 c GARBAGE COLLECT
207.33/208.01 c #Conflicts: 237000 | #Constraints: 11315
207.33/208.01 c #Conflicts: 238000 | #Constraints: 12315
207.33/208.01 c #Conflicts: 239000 | #Constraints: 13315
207.33/208.01 c #Conflicts: 240000 | #Constraints: 14315
207.33/208.01 c #Conflicts: 241000 | #Constraints: 15315
207.33/208.01 c #Conflicts: 242000 | #Constraints: 16315
207.33/208.01 c #Conflicts: 243000 | #Constraints: 17315
207.33/208.01 c #Conflicts: 244000 | #Constraints: 18315
207.33/208.01 c #Conflicts: 245000 | #Constraints: 19315
207.33/208.01 c #Conflicts: 246000 | #Constraints: 20315
207.33/208.01 c INPROCESSING
207.33/208.01 c GARBAGE COLLECT
207.33/208.01 c #Conflicts: 247000 | #Constraints: 11505
207.33/208.01 c #Conflicts: 248000 | #Constraints: 12505
207.33/208.01 c #Conflicts: 249000 | #Constraints: 13505
207.33/208.01 c #Conflicts: 250000 | #Constraints: 14505
207.33/208.01 c #Conflicts: 251000 | #Constraints: 15505
207.33/208.01 c #Conflicts: 252000 | #Constraints: 16505
207.33/208.01 c #Conflicts: 253000 | #Constraints: 17505
207.33/208.01 c #Conflicts: 254000 | #Constraints: 18505
207.33/208.01 c #Conflicts: 255000 | #Constraints: 19505
207.33/208.01 c #Conflicts: 256000 | #Constraints: 20505
207.33/208.01 c INPROCESSING
207.33/208.01 c GARBAGE COLLECT
207.33/208.01 c #Conflicts: 257000 | #Constraints: 11503
207.33/208.01 c #Conflicts: 258000 | #Constraints: 12503
207.33/208.01 c #Conflicts: 259000 | #Constraints: 13503
207.33/208.01 c #Conflicts: 260000 | #Constraints: 14503
207.33/208.01 c #Conflicts: 261000 | #Constraints: 15503
207.33/208.01 c #Conflicts: 262000 | #Constraints: 16503
207.33/208.01 c #Conflicts: 263000 | #Constraints: 17503
207.33/208.01 c #Conflicts: 264000 | #Constraints: 18503
207.33/208.01 c #Conflicts: 265000 | #Constraints: 19503
207.33/208.01 c #Conflicts: 266000 | #Constraints: 20503
207.33/208.01 c INPROCESSING
207.33/208.01 c GARBAGE COLLECT
207.33/208.01 c #Conflicts: 267000 | #Constraints: 11296
207.33/208.01 c #Conflicts: 268000 | #Constraints: 12296
207.33/208.01 c #Conflicts: 269000 | #Constraints: 13296
207.33/208.01 c #Conflicts: 270000 | #Constraints: 14296
207.33/208.01 c #Conflicts: 271000 | #Constraints: 15296
207.33/208.01 c #Conflicts: 272000 | #Constraints: 16296
207.33/208.01 c #Conflicts: 273000 | #Constraints: 17296
207.33/208.01 c #Conflicts: 274000 | #Constraints: 18296
207.33/208.01 c #Conflicts: 275000 | #Constraints: 19296
207.33/208.01 c #Conflicts: 276000 | #Constraints: 20296
207.33/208.01 c #Conflicts: 277000 | #Constraints: 21296
207.33/208.01 c INPROCESSING
207.33/208.01 c GARBAGE COLLECT
207.33/208.01 c #Conflicts: 278000 | #Constraints: 11907
207.33/208.01 c #Conflicts: 279000 | #Constraints: 12907
207.33/208.01 c #Conflicts: 280000 | #Constraints: 13907
207.33/208.01 c #Conflicts: 281000 | #Constraints: 14907
207.33/208.01 c #Conflicts: 282000 | #Constraints: 15907
207.33/208.01 c #Conflicts: 283000 | #Constraints: 16907
207.33/208.01 c #Conflicts: 284000 | #Constraints: 17907
207.33/208.01 c #Conflicts: 285000 | #Constraints: 18907
207.33/208.01 c #Conflicts: 286000 | #Constraints: 19907
207.33/208.01 c #Conflicts: 287000 | #Constraints: 20907
207.33/208.01 c #Conflicts: 288000 | #Constraints: 21907
207.33/208.01 c INPROCESSING
207.33/208.01 c GARBAGE COLLECT
207.33/208.01 c #Conflicts: 289000 | #Constraints: 12315
207.33/208.01 c #Conflicts: 290000 | #Constraints: 13315
310.67/311.76 c #Conflicts: 291000 | #Constraints: 14315
310.67/311.76 c #Conflicts: 292000 | #Constraints: 15315
310.67/311.76 c #Conflicts: 293000 | #Constraints: 16315
310.67/311.76 c #Conflicts: 294000 | #Constraints: 17315
310.67/311.76 c #Conflicts: 295000 | #Constraints: 18315
310.67/311.76 c #Conflicts: 296000 | #Constraints: 19315
310.67/311.76 c #Conflicts: 297000 | #Constraints: 20315
310.67/311.76 c #Conflicts: 298000 | #Constraints: 21315
310.67/311.76 c #Conflicts: 299000 | #Constraints: 22315
310.67/311.76 c INPROCESSING
310.67/311.76 c GARBAGE COLLECT
310.67/311.76 c #Conflicts: 300000 | #Constraints: 12512
310.67/311.76 c #Conflicts: 301000 | #Constraints: 13512
310.67/311.76 c #Conflicts: 302000 | #Constraints: 14512
310.67/311.76 c #Conflicts: 303000 | #Constraints: 15512
310.67/311.76 c #Conflicts: 304000 | #Constraints: 16512
310.67/311.76 c #Conflicts: 305000 | #Constraints: 17512
310.67/311.76 c #Conflicts: 306000 | #Constraints: 18512
310.67/311.76 c #Conflicts: 307000 | #Constraints: 19512
310.67/311.76 c #Conflicts: 308000 | #Constraints: 20512
310.67/311.76 c #Conflicts: 309000 | #Constraints: 21512
310.67/311.76 c #Conflicts: 310000 | #Constraints: 22512
310.67/311.76 c INPROCESSING
310.67/311.76 c GARBAGE COLLECT
310.67/311.76 c #Conflicts: 311000 | #Constraints: 12516
310.67/311.76 c #Conflicts: 312000 | #Constraints: 13516
310.67/311.76 c #Conflicts: 313000 | #Constraints: 14516
310.67/311.76 c #Conflicts: 314000 | #Constraints: 15516
310.67/311.76 c #Conflicts: 315000 | #Constraints: 16516
310.67/311.76 c #Conflicts: 316000 | #Constraints: 17516
310.67/311.76 c #Conflicts: 317000 | #Constraints: 18516
310.67/311.76 c #Conflicts: 318000 | #Constraints: 19516
310.67/311.76 c #Conflicts: 319000 | #Constraints: 20516
310.67/311.76 c #Conflicts: 320000 | #Constraints: 21516
310.67/311.76 c #Conflicts: 321000 | #Constraints: 22516
310.67/311.76 c INPROCESSING
310.67/311.76 c GARBAGE COLLECT
310.67/311.76 c #Conflicts: 322000 | #Constraints: 12307
310.67/311.76 c #Conflicts: 323000 | #Constraints: 13307
310.67/311.76 c #Conflicts: 324000 | #Constraints: 14307
310.67/311.76 c #Conflicts: 325000 | #Constraints: 15307
310.67/311.76 c #Conflicts: 326000 | #Constraints: 16307
310.67/311.76 c #Conflicts: 327000 | #Constraints: 17307
310.67/311.76 c #Conflicts: 328000 | #Constraints: 18307
310.67/311.76 c #Conflicts: 329000 | #Constraints: 19307
310.67/311.76 c #Conflicts: 330000 | #Constraints: 20307
310.67/311.76 c #Conflicts: 331000 | #Constraints: 21307
310.67/311.76 c #Conflicts: 332000 | #Constraints: 22307
310.67/311.76 c #Conflicts: 333000 | #Constraints: 23307
310.67/311.76 c INPROCESSING
310.67/311.76 c GARBAGE COLLECT
310.67/311.76 c #Conflicts: 334000 | #Constraints: 12907
310.67/311.76 c #Conflicts: 335000 | #Constraints: 13907
310.67/311.76 c #Conflicts: 336000 | #Constraints: 14907
310.67/311.76 c #Conflicts: 337000 | #Constraints: 15907
310.67/311.76 c #Conflicts: 338000 | #Constraints: 16907
310.67/311.76 c #Conflicts: 339000 | #Constraints: 17907
310.67/311.76 c #Conflicts: 340000 | #Constraints: 18907
310.67/311.76 c #Conflicts: 341000 | #Constraints: 19907
310.67/311.76 c #Conflicts: 342000 | #Constraints: 20907
310.67/311.76 c #Conflicts: 343000 | #Constraints: 21907
310.67/311.76 c #Conflicts: 344000 | #Constraints: 22907
310.67/311.76 c #Conflicts: 345000 | #Constraints: 23907
310.67/311.76 c INPROCESSING
310.67/311.76 c GARBAGE COLLECT
310.67/311.76 c #Conflicts: 346000 | #Constraints: 13313
310.67/311.76 c #Conflicts: 347000 | #Constraints: 14313
310.67/311.76 c #Conflicts: 348000 | #Constraints: 15313
310.67/311.76 c #Conflicts: 349000 | #Constraints: 16313
310.67/311.76 c #Conflicts: 350000 | #Constraints: 17313
310.67/311.76 c #Conflicts: 351000 | #Constraints: 18313
310.67/311.76 c #Conflicts: 352000 | #Constraints: 19313
310.67/311.76 c #Conflicts: 353000 | #Constraints: 20313
310.67/311.76 c #Conflicts: 354000 | #Constraints: 21313
310.67/311.76 c #Conflicts: 355000 | #Constraints: 22313
310.67/311.76 c #Conflicts: 356000 | #Constraints: 23313
310.67/311.76 c #Conflicts: 357000 | #Constraints: 24313
310.67/311.76 c INPROCESSING
310.67/311.76 c GARBAGE COLLECT
310.67/311.76 c #Conflicts: 358000 | #Constraints: 13513
310.67/311.76 c #Conflicts: 359000 | #Constraints: 14513
310.67/311.76 c #Conflicts: 360000 | #Constraints: 15513
310.67/311.76 c #Conflicts: 361000 | #Constraints: 16513
310.67/311.76 c #Conflicts: 362000 | #Constraints: 17513
310.67/311.76 c #Conflicts: 363000 | #Constraints: 18513
310.67/311.76 c #Conflicts: 364000 | #Constraints: 19513
310.67/311.76 c #Conflicts: 365000 | #Constraints: 20513
435.25/436.76 c #Conflicts: 366000 | #Constraints: 21513
435.25/436.76 c #Conflicts: 367000 | #Constraints: 22513
435.25/436.76 c #Conflicts: 368000 | #Constraints: 23513
435.25/436.76 c #Conflicts: 369000 | #Constraints: 24513
435.25/436.76 c INPROCESSING
435.25/436.76 c GARBAGE COLLECT
435.25/436.76 c #Conflicts: 370000 | #Constraints: 13514
435.25/436.76 c #Conflicts: 371000 | #Constraints: 14514
435.25/436.76 c #Conflicts: 372000 | #Constraints: 15514
435.25/436.76 c #Conflicts: 373000 | #Constraints: 16514
435.25/436.76 c #Conflicts: 374000 | #Constraints: 17514
435.25/436.76 c #Conflicts: 375000 | #Constraints: 18514
435.25/436.76 c #Conflicts: 376000 | #Constraints: 19514
435.25/436.76 c #Conflicts: 377000 | #Constraints: 20514
435.25/436.76 c #Conflicts: 378000 | #Constraints: 21514
435.25/436.76 c #Conflicts: 379000 | #Constraints: 22514
435.25/436.76 c #Conflicts: 380000 | #Constraints: 23514
435.25/436.76 c #Conflicts: 381000 | #Constraints: 24514
435.25/436.76 c INPROCESSING
435.25/436.76 c GARBAGE COLLECT
435.25/436.76 c #Conflicts: 382000 | #Constraints: 13322
435.25/436.76 c #Conflicts: 383000 | #Constraints: 14322
435.25/436.76 c #Conflicts: 384000 | #Constraints: 15322
435.25/436.76 c #Conflicts: 385000 | #Constraints: 16322
435.25/436.76 c #Conflicts: 386000 | #Constraints: 17322
435.25/436.76 c #Conflicts: 387000 | #Constraints: 18322
435.25/436.76 c #Conflicts: 388000 | #Constraints: 19322
435.25/436.76 c #Conflicts: 389000 | #Constraints: 20322
435.25/436.76 c #Conflicts: 390000 | #Constraints: 21322
435.25/436.76 c #Conflicts: 391000 | #Constraints: 22322
435.25/436.76 c #Conflicts: 392000 | #Constraints: 23322
435.25/436.76 c #Conflicts: 393000 | #Constraints: 24322
435.25/436.76 c #Conflicts: 394000 | #Constraints: 25322
435.25/436.76 c INPROCESSING
435.25/436.76 c GARBAGE COLLECT
435.25/436.76 c #Conflicts: 395000 | #Constraints: 13926
435.25/436.76 c #Conflicts: 396000 | #Constraints: 14926
435.25/436.76 c #Conflicts: 397000 | #Constraints: 15926
435.25/436.76 c #Conflicts: 398000 | #Constraints: 16926
435.25/436.76 c #Conflicts: 399000 | #Constraints: 17926
435.25/436.76 c #Conflicts: 400000 | #Constraints: 18926
435.25/436.76 c #Conflicts: 401000 | #Constraints: 19926
435.25/436.76 c #Conflicts: 402000 | #Constraints: 20926
435.25/436.76 c #Conflicts: 403000 | #Constraints: 21926
435.25/436.76 c #Conflicts: 404000 | #Constraints: 22926
435.25/436.76 c #Conflicts: 405000 | #Constraints: 23926
435.25/436.76 c #Conflicts: 406000 | #Constraints: 24926
435.25/436.76 c #Conflicts: 407000 | #Constraints: 25926
435.25/436.76 c INPROCESSING
435.25/436.76 c GARBAGE COLLECT
435.25/436.76 c #Conflicts: 408000 | #Constraints: 14313
435.25/436.76 c #Conflicts: 409000 | #Constraints: 15313
435.25/436.76 c #Conflicts: 410000 | #Constraints: 16313
435.25/436.76 c #Conflicts: 411000 | #Constraints: 17313
435.25/436.76 c #Conflicts: 412000 | #Constraints: 18313
435.25/436.76 c #Conflicts: 413000 | #Constraints: 19313
435.25/436.76 c #Conflicts: 414000 | #Constraints: 20313
435.25/436.76 c #Conflicts: 415000 | #Constraints: 21313
435.25/436.76 c #Conflicts: 416000 | #Constraints: 22313
435.25/436.76 c #Conflicts: 417000 | #Constraints: 23313
435.25/436.76 c #Conflicts: 418000 | #Constraints: 24313
435.25/436.76 c #Conflicts: 419000 | #Constraints: 25313
435.25/436.76 c #Conflicts: 420000 | #Constraints: 26313
435.25/436.76 c INPROCESSING
435.25/436.76 c GARBAGE COLLECT
435.25/436.76 c #Conflicts: 421000 | #Constraints: 14515
435.25/436.76 c #Conflicts: 422000 | #Constraints: 15515
435.25/436.76 c #Conflicts: 423000 | #Constraints: 16515
435.25/436.76 c #Conflicts: 424000 | #Constraints: 17515
435.25/436.76 c #Conflicts: 425000 | #Constraints: 18515
435.25/436.76 c #Conflicts: 426000 | #Constraints: 19515
435.25/436.76 c #Conflicts: 427000 | #Constraints: 20515
435.25/436.76 c #Conflicts: 428000 | #Constraints: 21515
435.25/436.76 c #Conflicts: 429000 | #Constraints: 22515
435.25/436.76 c #Conflicts: 430000 | #Constraints: 23515
435.25/436.76 c #Conflicts: 431000 | #Constraints: 24515
435.25/436.76 c #Conflicts: 432000 | #Constraints: 25515
435.25/436.76 c #Conflicts: 433000 | #Constraints: 26515
435.25/436.76 c INPROCESSING
435.25/436.76 c GARBAGE COLLECT
435.25/436.76 c #Conflicts: 434000 | #Constraints: 14508
435.25/436.76 c #Conflicts: 435000 | #Constraints: 15508
435.25/436.76 c #Conflicts: 436000 | #Constraints: 16508
435.25/436.76 c #Conflicts: 437000 | #Constraints: 17508
435.25/436.76 c #Conflicts: 438000 | #Constraints: 18508
435.25/436.76 c #Conflicts: 439000 | #Constraints: 19508
435.25/436.76 c #Conflicts: 440000 | #Constraints: 20508
589.61/591.62 c #Conflicts: 441000 | #Constraints: 21508
589.61/591.62 c #Conflicts: 442000 | #Constraints: 22508
589.61/591.62 c #Conflicts: 443000 | #Constraints: 23508
589.61/591.62 c #Conflicts: 444000 | #Constraints: 24508
589.61/591.62 c #Conflicts: 445000 | #Constraints: 25508
589.61/591.62 c #Conflicts: 446000 | #Constraints: 26508
589.61/591.62 c INPROCESSING
589.61/591.62 c GARBAGE COLLECT
589.61/591.62 c #Conflicts: 447000 | #Constraints: 14305
589.61/591.62 c #Conflicts: 448000 | #Constraints: 15305
589.61/591.62 c #Conflicts: 449000 | #Constraints: 16305
589.61/591.62 c #Conflicts: 450000 | #Constraints: 17305
589.61/591.62 c #Conflicts: 451000 | #Constraints: 18305
589.61/591.62 c #Conflicts: 452000 | #Constraints: 19305
589.61/591.62 c #Conflicts: 453000 | #Constraints: 20305
589.61/591.62 c #Conflicts: 454000 | #Constraints: 21305
589.61/591.62 c #Conflicts: 455000 | #Constraints: 22305
589.61/591.62 c #Conflicts: 456000 | #Constraints: 23305
589.61/591.62 c #Conflicts: 457000 | #Constraints: 24305
589.61/591.62 c #Conflicts: 458000 | #Constraints: 25305
589.61/591.62 c #Conflicts: 459000 | #Constraints: 26305
589.61/591.62 c #Conflicts: 460000 | #Constraints: 27305
589.61/591.62 c INPROCESSING
589.61/591.62 c GARBAGE COLLECT
589.61/591.62 c #Conflicts: 461000 | #Constraints: 14914
589.61/591.62 c #Conflicts: 462000 | #Constraints: 15914
589.61/591.62 c #Conflicts: 463000 | #Constraints: 16914
589.61/591.62 c #Conflicts: 464000 | #Constraints: 17914
589.61/591.62 c #Conflicts: 465000 | #Constraints: 18914
589.61/591.62 c #Conflicts: 466000 | #Constraints: 19914
589.61/591.62 c #Conflicts: 467000 | #Constraints: 20914
589.61/591.62 c #Conflicts: 468000 | #Constraints: 21914
589.61/591.62 c #Conflicts: 469000 | #Constraints: 22914
589.61/591.62 c #Conflicts: 470000 | #Constraints: 23914
589.61/591.62 c #Conflicts: 471000 | #Constraints: 24914
589.61/591.62 c #Conflicts: 472000 | #Constraints: 25914
589.61/591.62 c #Conflicts: 473000 | #Constraints: 26914
589.61/591.62 c #Conflicts: 474000 | #Constraints: 27914
589.61/591.62 c INPROCESSING
589.61/591.62 c GARBAGE COLLECT
589.61/591.62 c #Conflicts: 475000 | #Constraints: 15314
589.61/591.62 c #Conflicts: 476000 | #Constraints: 16314
589.61/591.62 c #Conflicts: 477000 | #Constraints: 17314
589.61/591.62 c #Conflicts: 478000 | #Constraints: 18314
589.61/591.62 c #Conflicts: 479000 | #Constraints: 19314
589.61/591.62 c #Conflicts: 480000 | #Constraints: 20314
589.61/591.62 c #Conflicts: 481000 | #Constraints: 21314
589.61/591.62 c #Conflicts: 482000 | #Constraints: 22314
589.61/591.62 c #Conflicts: 483000 | #Constraints: 23314
589.61/591.62 c #Conflicts: 484000 | #Constraints: 24314
589.61/591.62 c #Conflicts: 485000 | #Constraints: 25314
589.61/591.62 c #Conflicts: 486000 | #Constraints: 26314
589.61/591.62 c #Conflicts: 487000 | #Constraints: 27314
589.61/591.62 c #Conflicts: 488000 | #Constraints: 28314
589.61/591.62 c INPROCESSING
589.61/591.62 c GARBAGE COLLECT
589.61/591.62 c #Conflicts: 489000 | #Constraints: 15522
589.61/591.62 c #Conflicts: 490000 | #Constraints: 16522
589.61/591.62 c #Conflicts: 491000 | #Constraints: 17522
589.61/591.62 c #Conflicts: 492000 | #Constraints: 18522
589.61/591.62 c #Conflicts: 493000 | #Constraints: 19522
589.61/591.62 c #Conflicts: 494000 | #Constraints: 20522
589.61/591.62 c #Conflicts: 495000 | #Constraints: 21522
589.61/591.62 c #Conflicts: 496000 | #Constraints: 22522
589.61/591.62 c #Conflicts: 497000 | #Constraints: 23522
589.61/591.62 c #Conflicts: 498000 | #Constraints: 24522
589.61/591.62 c #Conflicts: 499000 | #Constraints: 25522
589.61/591.62 c #Conflicts: 500000 | #Constraints: 26522
589.61/591.62 c #Conflicts: 501000 | #Constraints: 27522
589.61/591.62 c #Conflicts: 502000 | #Constraints: 28522
589.61/591.62 c INPROCESSING
589.61/591.62 c GARBAGE COLLECT
589.61/591.62 c #Conflicts: 503000 | #Constraints: 15529
589.61/591.62 c #Conflicts: 504000 | #Constraints: 16529
589.61/591.62 c #Conflicts: 505000 | #Constraints: 17529
589.61/591.62 c #Conflicts: 506000 | #Constraints: 18529
589.61/591.62 c #Conflicts: 507000 | #Constraints: 19529
589.61/591.62 c #Conflicts: 508000 | #Constraints: 20529
589.61/591.62 c #Conflicts: 509000 | #Constraints: 21529
589.61/591.62 c #Conflicts: 510000 | #Constraints: 22529
589.61/591.62 c #Conflicts: 511000 | #Constraints: 23529
589.61/591.62 c #Conflicts: 512000 | #Constraints: 24529
589.61/591.62 c #Conflicts: 513000 | #Constraints: 25529
589.61/591.62 c #Conflicts: 514000 | #Constraints: 26529
589.61/591.62 c #Conflicts: 515000 | #Constraints: 27529
728.65/731.13 c #Conflicts: 516000 | #Constraints: 28529
728.65/731.13 c INPROCESSING
728.65/731.13 c GARBAGE COLLECT
728.65/731.13 c #Conflicts: 517000 | #Constraints: 15325
728.65/731.13 c #Conflicts: 518000 | #Constraints: 16325
728.65/731.13 c #Conflicts: 519000 | #Constraints: 17325
728.65/731.13 c #Conflicts: 520000 | #Constraints: 18325
728.65/731.13 c #Conflicts: 521000 | #Constraints: 19325
728.65/731.13 c #Conflicts: 522000 | #Constraints: 20325
728.65/731.13 c #Conflicts: 523000 | #Constraints: 21325
728.65/731.13 c #Conflicts: 524000 | #Constraints: 22325
728.65/731.13 c #Conflicts: 525000 | #Constraints: 23325
728.65/731.13 c #Conflicts: 526000 | #Constraints: 24325
728.65/731.13 c #Conflicts: 527000 | #Constraints: 25325
728.65/731.13 c #Conflicts: 528000 | #Constraints: 26325
728.65/731.13 c #Conflicts: 529000 | #Constraints: 27325
728.65/731.13 c #Conflicts: 530000 | #Constraints: 28325
728.65/731.13 c #Conflicts: 531000 | #Constraints: 29325
728.65/731.13 c INPROCESSING
728.65/731.13 c GARBAGE COLLECT
728.65/731.13 c #Conflicts: 532000 | #Constraints: 15920
728.65/731.13 c #Conflicts: 533000 | #Constraints: 16920
728.65/731.13 c #Conflicts: 534000 | #Constraints: 17920
728.65/731.13 c #Conflicts: 535000 | #Constraints: 18920
728.65/731.13 c #Conflicts: 536000 | #Constraints: 19920
728.65/731.13 c #Conflicts: 537000 | #Constraints: 20920
728.65/731.13 c #Conflicts: 538000 | #Constraints: 21920
728.65/731.13 c #Conflicts: 539000 | #Constraints: 22920
728.65/731.13 c #Conflicts: 540000 | #Constraints: 23920
728.65/731.13 c #Conflicts: 541000 | #Constraints: 24920
728.65/731.13 c #Conflicts: 542000 | #Constraints: 25920
728.65/731.13 c #Conflicts: 543000 | #Constraints: 26920
728.65/731.13 c #Conflicts: 544000 | #Constraints: 27920
728.65/731.13 c #Conflicts: 545000 | #Constraints: 28920
728.65/731.13 c #Conflicts: 546000 | #Constraints: 29920
728.65/731.13 c INPROCESSING
728.65/731.13 c GARBAGE COLLECT
728.65/731.13 c #Conflicts: 547000 | #Constraints: 16311
728.65/731.13 c #Conflicts: 548000 | #Constraints: 17311
728.65/731.13 c #Conflicts: 549000 | #Constraints: 18311
728.65/731.13 c #Conflicts: 550000 | #Constraints: 19311
728.65/731.13 c #Conflicts: 551000 | #Constraints: 20311
728.65/731.13 c #Conflicts: 552000 | #Constraints: 21311
728.65/731.13 c #Conflicts: 553000 | #Constraints: 22311
728.65/731.13 c #Conflicts: 554000 | #Constraints: 23311
728.65/731.13 c #Conflicts: 555000 | #Constraints: 24311
728.65/731.13 c #Conflicts: 556000 | #Constraints: 25311
728.65/731.13 c #Conflicts: 557000 | #Constraints: 26311
728.65/731.13 c #Conflicts: 558000 | #Constraints: 27311
728.65/731.13 c #Conflicts: 559000 | #Constraints: 28311
728.65/731.13 c #Conflicts: 560000 | #Constraints: 29311
728.65/731.13 c #Conflicts: 561000 | #Constraints: 30311
728.65/731.13 c INPROCESSING
728.65/731.13 c GARBAGE COLLECT
728.65/731.13 c #Conflicts: 562000 | #Constraints: 16521
728.65/731.13 c #Conflicts: 563000 | #Constraints: 17521
728.65/731.13 c #Conflicts: 564000 | #Constraints: 18521
728.65/731.13 c #Conflicts: 565000 | #Constraints: 19521
728.65/731.13 c #Conflicts: 566000 | #Constraints: 20521
728.65/731.13 c #Conflicts: 567000 | #Constraints: 21521
728.65/731.13 c #Conflicts: 568000 | #Constraints: 22521
728.65/731.13 c #Conflicts: 569000 | #Constraints: 23521
728.65/731.13 c #Conflicts: 570000 | #Constraints: 24521
728.65/731.13 c #Conflicts: 571000 | #Constraints: 25521
728.65/731.13 c #Conflicts: 572000 | #Constraints: 26521
728.65/731.13 c #Conflicts: 573000 | #Constraints: 27521
728.65/731.13 c #Conflicts: 574000 | #Constraints: 28521
728.65/731.13 c #Conflicts: 575000 | #Constraints: 29521
728.65/731.13 c #Conflicts: 576000 | #Constraints: 30521
728.65/731.13 c INPROCESSING
728.65/731.13 c GARBAGE COLLECT
728.65/731.13 c #Conflicts: 577000 | #Constraints: 16521
728.65/731.13 c #Conflicts: 578000 | #Constraints: 17521
728.65/731.13 c #Conflicts: 579000 | #Constraints: 18521
728.65/731.13 c #Conflicts: 580000 | #Constraints: 19521
728.65/731.13 c #Conflicts: 581000 | #Constraints: 20521
728.65/731.13 c #Conflicts: 582000 | #Constraints: 21521
728.65/731.13 c #Conflicts: 583000 | #Constraints: 22521
728.65/731.13 c #Conflicts: 584000 | #Constraints: 23521
728.65/731.13 c #Conflicts: 585000 | #Constraints: 24521
728.65/731.13 c #Conflicts: 586000 | #Constraints: 25521
728.65/731.13 c #Conflicts: 587000 | #Constraints: 26521
728.65/731.13 c #Conflicts: 588000 | #Constraints: 27521
728.65/731.13 c #Conflicts: 589000 | #Constraints: 28521
728.65/731.13 c #Conflicts: 590000 | #Constraints: 29521
728.65/731.13 c #Conflicts: 591000 | #Constraints: 30521
878.13/881.19 c INPROCESSING
878.13/881.19 c GARBAGE COLLECT
878.13/881.19 c #Conflicts: 592000 | #Constraints: 16332
878.13/881.19 c #Conflicts: 593000 | #Constraints: 17332
878.13/881.19 c #Conflicts: 594000 | #Constraints: 18332
878.13/881.19 c #Conflicts: 595000 | #Constraints: 19332
878.13/881.19 c #Conflicts: 596000 | #Constraints: 20332
878.13/881.19 c #Conflicts: 597000 | #Constraints: 21332
878.13/881.19 c #Conflicts: 598000 | #Constraints: 22332
878.13/881.19 c #Conflicts: 599000 | #Constraints: 23332
878.13/881.19 c #Conflicts: 600000 | #Constraints: 24332
878.13/881.19 c #Conflicts: 601000 | #Constraints: 25332
878.13/881.19 c #Conflicts: 602000 | #Constraints: 26332
878.13/881.19 c #Conflicts: 603000 | #Constraints: 27332
878.13/881.19 c #Conflicts: 604000 | #Constraints: 28332
878.13/881.19 c #Conflicts: 605000 | #Constraints: 29332
878.13/881.19 c #Conflicts: 606000 | #Constraints: 30332
878.13/881.19 c #Conflicts: 607000 | #Constraints: 31332
878.13/881.19 c INPROCESSING
878.13/881.19 c GARBAGE COLLECT
878.13/881.19 c #Conflicts: 608000 | #Constraints: 16931
878.13/881.19 c #Conflicts: 609000 | #Constraints: 17931
878.13/881.19 c #Conflicts: 610000 | #Constraints: 18931
878.13/881.19 c #Conflicts: 611000 | #Constraints: 19931
878.13/881.19 c #Conflicts: 612000 | #Constraints: 20931
878.13/881.19 c #Conflicts: 613000 | #Constraints: 21931
878.13/881.19 c #Conflicts: 614000 | #Constraints: 22931
878.13/881.19 c #Conflicts: 615000 | #Constraints: 23931
878.13/881.19 c #Conflicts: 616000 | #Constraints: 24931
878.13/881.19 c #Conflicts: 617000 | #Constraints: 25931
878.13/881.19 c #Conflicts: 618000 | #Constraints: 26931
878.13/881.19 c #Conflicts: 619000 | #Constraints: 27931
878.13/881.19 c #Conflicts: 620000 | #Constraints: 28931
878.13/881.19 c #Conflicts: 621000 | #Constraints: 29931
878.13/881.19 c #Conflicts: 622000 | #Constraints: 30931
878.13/881.19 c #Conflicts: 623000 | #Constraints: 31931
878.13/881.19 c INPROCESSING
878.13/881.19 c GARBAGE COLLECT
878.13/881.19 c #Conflicts: 624000 | #Constraints: 17323
878.13/881.19 c #Conflicts: 625000 | #Constraints: 18323
878.13/881.19 c #Conflicts: 626000 | #Constraints: 19323
878.13/881.19 c #Conflicts: 627000 | #Constraints: 20323
878.13/881.19 c #Conflicts: 628000 | #Constraints: 21323
878.13/881.19 c #Conflicts: 629000 | #Constraints: 22323
878.13/881.19 c #Conflicts: 630000 | #Constraints: 23323
878.13/881.19 c #Conflicts: 631000 | #Constraints: 24323
878.13/881.19 c #Conflicts: 632000 | #Constraints: 25323
878.13/881.19 c #Conflicts: 633000 | #Constraints: 26323
878.13/881.19 c #Conflicts: 634000 | #Constraints: 27323
878.13/881.19 c #Conflicts: 635000 | #Constraints: 28323
878.13/881.19 c #Conflicts: 636000 | #Constraints: 29323
878.13/881.19 c #Conflicts: 637000 | #Constraints: 30323
878.13/881.19 c #Conflicts: 638000 | #Constraints: 31323
878.13/881.19 c #Conflicts: 639000 | #Constraints: 32323
878.13/881.19 c INPROCESSING
878.13/881.19 c GARBAGE COLLECT
878.13/881.19 c #Conflicts: 640000 | #Constraints: 17532
878.13/881.19 c #Conflicts: 641000 | #Constraints: 18532
878.13/881.19 c #Conflicts: 642000 | #Constraints: 19532
878.13/881.19 c #Conflicts: 643000 | #Constraints: 20532
878.13/881.19 c #Conflicts: 644000 | #Constraints: 21532
878.13/881.19 c #Conflicts: 645000 | #Constraints: 22532
878.13/881.19 c #Conflicts: 646000 | #Constraints: 23532
878.13/881.19 c #Conflicts: 647000 | #Constraints: 24532
878.13/881.19 c #Conflicts: 648000 | #Constraints: 25532
878.13/881.19 c #Conflicts: 649000 | #Constraints: 26532
878.13/881.19 c #Conflicts: 650000 | #Constraints: 27532
878.13/881.19 c #Conflicts: 651000 | #Constraints: 28532
878.13/881.19 c #Conflicts: 652000 | #Constraints: 29532
878.13/881.19 c #Conflicts: 653000 | #Constraints: 30532
878.13/881.19 c #Conflicts: 654000 | #Constraints: 31532
878.13/881.19 c #Conflicts: 655000 | #Constraints: 32532
878.13/881.19 c INPROCESSING
878.13/881.19 c GARBAGE COLLECT
878.13/881.19 c #Conflicts: 656000 | #Constraints: 17526
878.13/881.19 c #Conflicts: 657000 | #Constraints: 18526
878.13/881.19 c #Conflicts: 658000 | #Constraints: 19526
878.13/881.19 c #Conflicts: 659000 | #Constraints: 20526
878.13/881.19 c #Conflicts: 660000 | #Constraints: 21526
878.13/881.19 c #Conflicts: 661000 | #Constraints: 22526
878.13/881.19 c #Conflicts: 662000 | #Constraints: 23526
878.13/881.19 c #Conflicts: 663000 | #Constraints: 24526
878.13/881.19 c #Conflicts: 664000 | #Constraints: 25526
878.13/881.19 c #Conflicts: 665000 | #Constraints: 26526
878.13/881.19 c #Conflicts: 666000 | #Constraints: 27526
1049.08/1052.61 c #Conflicts: 667000 | #Constraints: 28526
1049.08/1052.61 c #Conflicts: 668000 | #Constraints: 29526
1049.08/1052.61 c #Conflicts: 669000 | #Constraints: 30526
1049.08/1052.61 c #Conflicts: 670000 | #Constraints: 31526
1049.08/1052.61 c #Conflicts: 671000 | #Constraints: 32526
1049.08/1052.61 c INPROCESSING
1049.08/1052.61 c GARBAGE COLLECT
1049.08/1052.61 c #Conflicts: 672000 | #Constraints: 17323
1049.08/1052.61 c #Conflicts: 673000 | #Constraints: 18323
1049.08/1052.61 c #Conflicts: 674000 | #Constraints: 19323
1049.08/1052.61 c #Conflicts: 675000 | #Constraints: 20323
1049.08/1052.61 c #Conflicts: 676000 | #Constraints: 21323
1049.08/1052.61 c #Conflicts: 677000 | #Constraints: 22323
1049.08/1052.61 c #Conflicts: 678000 | #Constraints: 23323
1049.08/1052.61 c #Conflicts: 679000 | #Constraints: 24323
1049.08/1052.61 c #Conflicts: 680000 | #Constraints: 25323
1049.08/1052.61 c #Conflicts: 681000 | #Constraints: 26323
1049.08/1052.61 c #Conflicts: 682000 | #Constraints: 27323
1049.08/1052.61 c #Conflicts: 683000 | #Constraints: 28323
1049.08/1052.61 c #Conflicts: 684000 | #Constraints: 29323
1049.08/1052.61 c #Conflicts: 685000 | #Constraints: 30323
1049.08/1052.61 c #Conflicts: 686000 | #Constraints: 31323
1049.08/1052.61 c #Conflicts: 687000 | #Constraints: 32323
1049.08/1052.61 c #Conflicts: 688000 | #Constraints: 33323
1049.08/1052.61 c INPROCESSING
1049.08/1052.61 c GARBAGE COLLECT
1049.08/1052.61 c #Conflicts: 689000 | #Constraints: 17923
1049.08/1052.61 c #Conflicts: 690000 | #Constraints: 18923
1049.08/1052.61 c #Conflicts: 691000 | #Constraints: 19923
1049.08/1052.61 c #Conflicts: 692000 | #Constraints: 20923
1049.08/1052.61 c #Conflicts: 693000 | #Constraints: 21923
1049.08/1052.61 c #Conflicts: 694000 | #Constraints: 22923
1049.08/1052.61 c #Conflicts: 695000 | #Constraints: 23923
1049.08/1052.61 c #Conflicts: 696000 | #Constraints: 24923
1049.08/1052.61 c #Conflicts: 697000 | #Constraints: 25923
1049.08/1052.61 c #Conflicts: 698000 | #Constraints: 26923
1049.08/1052.61 c #Conflicts: 699000 | #Constraints: 27923
1049.08/1052.61 c #Conflicts: 700000 | #Constraints: 28923
1049.08/1052.61 c #Conflicts: 701000 | #Constraints: 29923
1049.08/1052.61 c #Conflicts: 702000 | #Constraints: 30923
1049.08/1052.61 c #Conflicts: 703000 | #Constraints: 31923
1049.08/1052.61 c #Conflicts: 704000 | #Constraints: 32923
1049.08/1052.61 c #Conflicts: 705000 | #Constraints: 33923
1049.08/1052.61 c INPROCESSING
1049.08/1052.61 c GARBAGE COLLECT
1049.08/1052.61 c #Conflicts: 706000 | #Constraints: 18330
1049.08/1052.61 c #Conflicts: 707000 | #Constraints: 19330
1049.08/1052.61 c #Conflicts: 708000 | #Constraints: 20330
1049.08/1052.61 c #Conflicts: 709000 | #Constraints: 21330
1049.08/1052.61 c #Conflicts: 710000 | #Constraints: 22330
1049.08/1052.61 c #Conflicts: 711000 | #Constraints: 23330
1049.08/1052.61 c #Conflicts: 712000 | #Constraints: 24330
1049.08/1052.61 c #Conflicts: 713000 | #Constraints: 25330
1049.08/1052.61 c #Conflicts: 714000 | #Constraints: 26330
1049.08/1052.61 c #Conflicts: 715000 | #Constraints: 27330
1049.08/1052.61 c #Conflicts: 716000 | #Constraints: 28330
1049.08/1052.61 c #Conflicts: 717000 | #Constraints: 29330
1049.08/1052.61 c #Conflicts: 718000 | #Constraints: 30330
1049.08/1052.61 c #Conflicts: 719000 | #Constraints: 31330
1049.08/1052.61 c #Conflicts: 720000 | #Constraints: 32330
1049.08/1052.61 c #Conflicts: 721000 | #Constraints: 33330
1049.08/1052.61 c #Conflicts: 722000 | #Constraints: 34330
1049.08/1052.61 c INPROCESSING
1049.08/1052.61 c GARBAGE COLLECT
1049.08/1052.61 c #Conflicts: 723000 | #Constraints: 18516
1049.08/1052.61 c #Conflicts: 724000 | #Constraints: 19516
1049.08/1052.61 c #Conflicts: 725000 | #Constraints: 20516
1049.08/1052.61 c #Conflicts: 726000 | #Constraints: 21516
1049.08/1052.61 c #Conflicts: 727000 | #Constraints: 22516
1049.08/1052.61 c #Conflicts: 728000 | #Constraints: 23516
1049.08/1052.61 c #Conflicts: 729000 | #Constraints: 24516
1049.08/1052.61 c #Conflicts: 730000 | #Constraints: 25516
1049.08/1052.61 c #Conflicts: 731000 | #Constraints: 26516
1049.08/1052.61 c #Conflicts: 732000 | #Constraints: 27516
1049.08/1052.61 c #Conflicts: 733000 | #Constraints: 28516
1049.08/1052.61 c #Conflicts: 734000 | #Constraints: 29516
1049.08/1052.61 c #Conflicts: 735000 | #Constraints: 30516
1049.08/1052.61 c #Conflicts: 736000 | #Constraints: 31516
1049.08/1052.61 c #Conflicts: 737000 | #Constraints: 32516
1049.08/1052.61 c #Conflicts: 738000 | #Constraints: 33516
1049.08/1052.61 c #Conflicts: 739000 | #Constraints: 34516
1049.08/1052.61 c INPROCESSING
1049.08/1052.61 c GARBAGE COLLECT
1049.08/1052.61 c #Conflicts: 740000 | #Constraints: 18532
1049.08/1052.61 c #Conflicts: 741000 | #Constraints: 19532
1049.08/1052.61 c #Conflicts: 742000 | #Constraints: 20532
1205.08/1209.05 c #Conflicts: 743000 | #Constraints: 21532
1205.08/1209.05 c #Conflicts: 744000 | #Constraints: 22532
1205.08/1209.05 c #Conflicts: 745000 | #Constraints: 23532
1205.08/1209.05 c #Conflicts: 746000 | #Constraints: 24532
1205.08/1209.05 c #Conflicts: 747000 | #Constraints: 25532
1205.08/1209.05 c #Conflicts: 748000 | #Constraints: 26532
1205.08/1209.05 c #Conflicts: 749000 | #Constraints: 27532
1205.08/1209.05 c #Conflicts: 750000 | #Constraints: 28532
1205.08/1209.05 c #Conflicts: 751000 | #Constraints: 29532
1205.08/1209.05 c #Conflicts: 752000 | #Constraints: 30532
1205.08/1209.05 c #Conflicts: 753000 | #Constraints: 31532
1205.08/1209.05 c #Conflicts: 754000 | #Constraints: 32532
1205.08/1209.05 c #Conflicts: 755000 | #Constraints: 33532
1205.08/1209.05 c #Conflicts: 756000 | #Constraints: 34532
1205.08/1209.05 c INPROCESSING
1205.08/1209.05 c GARBAGE COLLECT
1205.08/1209.05 c #Conflicts: 757000 | #Constraints: 18333
1205.08/1209.05 c #Conflicts: 758000 | #Constraints: 19333
1205.08/1209.05 c #Conflicts: 759000 | #Constraints: 20333
1205.08/1209.05 c #Conflicts: 760000 | #Constraints: 21333
1205.08/1209.05 c #Conflicts: 761000 | #Constraints: 22333
1205.08/1209.05 c #Conflicts: 762000 | #Constraints: 23333
1205.08/1209.05 c #Conflicts: 763000 | #Constraints: 24333
1205.08/1209.05 c #Conflicts: 764000 | #Constraints: 25333
1205.08/1209.05 c #Conflicts: 765000 | #Constraints: 26333
1205.08/1209.05 c #Conflicts: 766000 | #Constraints: 27333
1205.08/1209.05 c #Conflicts: 767000 | #Constraints: 28333
1205.08/1209.05 c #Conflicts: 768000 | #Constraints: 29333
1205.08/1209.05 c #Conflicts: 769000 | #Constraints: 30333
1205.08/1209.05 c #Conflicts: 770000 | #Constraints: 31333
1205.08/1209.05 c #Conflicts: 771000 | #Constraints: 32333
1205.08/1209.05 c #Conflicts: 772000 | #Constraints: 33333
1205.08/1209.05 c #Conflicts: 773000 | #Constraints: 34333
1205.08/1209.05 c #Conflicts: 774000 | #Constraints: 35333
1205.08/1209.05 c INPROCESSING
1205.08/1209.05 c GARBAGE COLLECT
1205.08/1209.05 c #Conflicts: 775000 | #Constraints: 18924
1205.08/1209.05 c #Conflicts: 776000 | #Constraints: 19924
1205.08/1209.05 c #Conflicts: 777000 | #Constraints: 20924
1205.08/1209.05 c #Conflicts: 778000 | #Constraints: 21924
1205.08/1209.05 c #Conflicts: 779000 | #Constraints: 22924
1205.08/1209.05 c #Conflicts: 780000 | #Constraints: 23924
1205.08/1209.05 c #Conflicts: 781000 | #Constraints: 24924
1205.08/1209.05 c #Conflicts: 782000 | #Constraints: 25924
1205.08/1209.05 c #Conflicts: 783000 | #Constraints: 26924
1205.08/1209.05 c #Conflicts: 784000 | #Constraints: 27924
1205.08/1209.05 c #Conflicts: 785000 | #Constraints: 28924
1205.08/1209.05 c #Conflicts: 786000 | #Constraints: 29924
1205.08/1209.05 c #Conflicts: 787000 | #Constraints: 30924
1205.08/1209.05 c #Conflicts: 788000 | #Constraints: 31924
1205.08/1209.05 c #Conflicts: 789000 | #Constraints: 32924
1205.08/1209.05 c #Conflicts: 790000 | #Constraints: 33924
1205.08/1209.05 c #Conflicts: 791000 | #Constraints: 34924
1205.08/1209.05 c #Conflicts: 792000 | #Constraints: 35924
1205.08/1209.05 c INPROCESSING
1205.08/1209.05 c GARBAGE COLLECT
1205.08/1209.05 c #Conflicts: 793000 | #Constraints: 19318
1205.08/1209.05 c #Conflicts: 794000 | #Constraints: 20318
1205.08/1209.05 c #Conflicts: 795000 | #Constraints: 21318
1205.08/1209.05 c #Conflicts: 796000 | #Constraints: 22318
1205.08/1209.05 c #Conflicts: 797000 | #Constraints: 23318
1205.08/1209.05 c #Conflicts: 798000 | #Constraints: 24318
1205.08/1209.05 c #Conflicts: 799000 | #Constraints: 25318
1205.08/1209.05 c #Conflicts: 800000 | #Constraints: 26318
1205.08/1209.05 c #Conflicts: 801000 | #Constraints: 27318
1205.08/1209.05 c #Conflicts: 802000 | #Constraints: 28318
1205.08/1209.05 c #Conflicts: 803000 | #Constraints: 29318
1205.08/1209.05 c #Conflicts: 804000 | #Constraints: 30318
1205.08/1209.05 c #Conflicts: 805000 | #Constraints: 31318
1205.08/1209.05 c #Conflicts: 806000 | #Constraints: 32318
1205.08/1209.05 c #Conflicts: 807000 | #Constraints: 33318
1205.08/1209.05 c #Conflicts: 808000 | #Constraints: 34318
1205.08/1209.05 c #Conflicts: 809000 | #Constraints: 35318
1205.08/1209.05 c #Conflicts: 810000 | #Constraints: 36318
1205.08/1209.05 c INPROCESSING
1205.08/1209.05 c GARBAGE COLLECT
1205.08/1209.05 c #Conflicts: 811000 | #Constraints: 19524
1205.08/1209.05 c #Conflicts: 812000 | #Constraints: 20524
1205.08/1209.05 c #Conflicts: 813000 | #Constraints: 21524
1205.08/1209.05 c #Conflicts: 814000 | #Constraints: 22524
1205.08/1209.05 c #Conflicts: 815000 | #Constraints: 23524
1205.08/1209.05 c #Conflicts: 816000 | #Constraints: 24524
1205.08/1209.05 c #Conflicts: 817000 | #Constraints: 25524
1205.08/1209.05 c #Conflicts: 818000 | #Constraints: 26524
1379.60/1384.03 c #Conflicts: 819000 | #Constraints: 27524
1379.60/1384.03 c #Conflicts: 820000 | #Constraints: 28524
1379.60/1384.03 c #Conflicts: 821000 | #Constraints: 29524
1379.60/1384.03 c #Conflicts: 822000 | #Constraints: 30524
1379.60/1384.03 c #Conflicts: 823000 | #Constraints: 31524
1379.60/1384.03 c #Conflicts: 824000 | #Constraints: 32524
1379.60/1384.03 c #Conflicts: 825000 | #Constraints: 33524
1379.60/1384.03 c #Conflicts: 826000 | #Constraints: 34524
1379.60/1384.03 c #Conflicts: 827000 | #Constraints: 35524
1379.60/1384.03 c #Conflicts: 828000 | #Constraints: 36524
1379.60/1384.03 c INPROCESSING
1379.60/1384.03 c GARBAGE COLLECT
1379.60/1384.03 c #Conflicts: 829000 | #Constraints: 19523
1379.60/1384.03 c #Conflicts: 830000 | #Constraints: 20523
1379.60/1384.03 c #Conflicts: 831000 | #Constraints: 21523
1379.60/1384.03 c #Conflicts: 832000 | #Constraints: 22523
1379.60/1384.03 c #Conflicts: 833000 | #Constraints: 23523
1379.60/1384.03 c #Conflicts: 834000 | #Constraints: 24523
1379.60/1384.03 c #Conflicts: 835000 | #Constraints: 25523
1379.60/1384.03 c #Conflicts: 836000 | #Constraints: 26523
1379.60/1384.03 c #Conflicts: 837000 | #Constraints: 27523
1379.60/1384.03 c #Conflicts: 838000 | #Constraints: 28523
1379.60/1384.03 c #Conflicts: 839000 | #Constraints: 29523
1379.60/1384.03 c #Conflicts: 840000 | #Constraints: 30523
1379.60/1384.03 c #Conflicts: 841000 | #Constraints: 31523
1379.60/1384.03 c #Conflicts: 842000 | #Constraints: 32523
1379.60/1384.03 c #Conflicts: 843000 | #Constraints: 33523
1379.60/1384.03 c #Conflicts: 844000 | #Constraints: 34523
1379.60/1384.03 c #Conflicts: 845000 | #Constraints: 35523
1379.60/1384.03 c #Conflicts: 846000 | #Constraints: 36523
1379.60/1384.03 c INPROCESSING
1379.60/1384.03 c GARBAGE COLLECT
1379.60/1384.03 c #Conflicts: 847000 | #Constraints: 19318
1379.60/1384.03 c #Conflicts: 848000 | #Constraints: 20318
1379.60/1384.03 c #Conflicts: 849000 | #Constraints: 21318
1379.60/1384.03 c #Conflicts: 850000 | #Constraints: 22318
1379.60/1384.03 c #Conflicts: 851000 | #Constraints: 23318
1379.60/1384.03 c #Conflicts: 852000 | #Constraints: 24318
1379.60/1384.03 c #Conflicts: 853000 | #Constraints: 25318
1379.60/1384.03 c #Conflicts: 854000 | #Constraints: 26318
1379.60/1384.03 c #Conflicts: 855000 | #Constraints: 27318
1379.60/1384.03 c #Conflicts: 856000 | #Constraints: 28318
1379.60/1384.03 c #Conflicts: 857000 | #Constraints: 29318
1379.60/1384.03 c #Conflicts: 858000 | #Constraints: 30318
1379.60/1384.03 c #Conflicts: 859000 | #Constraints: 31318
1379.60/1384.03 c #Conflicts: 860000 | #Constraints: 32318
1379.60/1384.03 c #Conflicts: 861000 | #Constraints: 33318
1379.60/1384.03 c #Conflicts: 862000 | #Constraints: 34318
1379.60/1384.03 c #Conflicts: 863000 | #Constraints: 35318
1379.60/1384.03 c #Conflicts: 864000 | #Constraints: 36318
1379.60/1384.03 c #Conflicts: 865000 | #Constraints: 37318
1379.60/1384.03 c INPROCESSING
1379.60/1384.03 c GARBAGE COLLECT
1379.60/1384.03 c #Conflicts: 866000 | #Constraints: 19929
1379.60/1384.03 c #Conflicts: 867000 | #Constraints: 20929
1379.60/1384.03 c #Conflicts: 868000 | #Constraints: 21929
1379.60/1384.03 c #Conflicts: 869000 | #Constraints: 22929
1379.60/1384.03 c #Conflicts: 870000 | #Constraints: 23929
1379.60/1384.03 c #Conflicts: 871000 | #Constraints: 24929
1379.60/1384.03 c #Conflicts: 872000 | #Constraints: 25929
1379.60/1384.03 c #Conflicts: 873000 | #Constraints: 26929
1379.60/1384.03 c #Conflicts: 874000 | #Constraints: 27929
1379.60/1384.03 c #Conflicts: 875000 | #Constraints: 28929
1379.60/1384.03 c #Conflicts: 876000 | #Constraints: 29929
1379.60/1384.03 c #Conflicts: 877000 | #Constraints: 30929
1379.60/1384.03 c #Conflicts: 878000 | #Constraints: 31929
1379.60/1384.03 c #Conflicts: 879000 | #Constraints: 32929
1379.60/1384.03 c #Conflicts: 880000 | #Constraints: 33929
1379.60/1384.03 c #Conflicts: 881000 | #Constraints: 34929
1379.60/1384.03 c #Conflicts: 882000 | #Constraints: 35929
1379.60/1384.03 c #Conflicts: 883000 | #Constraints: 36929
1379.60/1384.03 c #Conflicts: 884000 | #Constraints: 37929
1379.60/1384.03 c INPROCESSING
1379.60/1384.03 c GARBAGE COLLECT
1379.60/1384.03 c #Conflicts: 885000 | #Constraints: 20319
1379.60/1384.03 c #Conflicts: 886000 | #Constraints: 21319
1379.60/1384.03 c #Conflicts: 887000 | #Constraints: 22319
1379.60/1384.03 c #Conflicts: 888000 | #Constraints: 23319
1379.60/1384.03 c #Conflicts: 889000 | #Constraints: 24319
1379.60/1384.03 c #Conflicts: 890000 | #Constraints: 25319
1379.60/1384.03 c #Conflicts: 891000 | #Constraints: 26319
1379.60/1384.03 c #Conflicts: 892000 | #Constraints: 27319
1379.60/1384.03 c #Conflicts: 893000 | #Constraints: 28319
1379.60/1384.03 c #Conflicts: 894000 | #Constraints: 29319
1604.96/1610.03 c #Conflicts: 895000 | #Constraints: 30319
1604.96/1610.03 c #Conflicts: 896000 | #Constraints: 31319
1604.96/1610.03 c #Conflicts: 897000 | #Constraints: 32319
1604.96/1610.03 c #Conflicts: 898000 | #Constraints: 33319
1604.96/1610.03 c #Conflicts: 899000 | #Constraints: 34319
1604.96/1610.03 c #Conflicts: 900000 | #Constraints: 35319
1604.96/1610.03 c #Conflicts: 901000 | #Constraints: 36319
1604.96/1610.03 c #Conflicts: 902000 | #Constraints: 37319
1604.96/1610.03 c #Conflicts: 903000 | #Constraints: 38319
1604.96/1610.03 c INPROCESSING
1604.96/1610.03 c GARBAGE COLLECT
1604.96/1610.03 c #Conflicts: 904000 | #Constraints: 20523
1604.96/1610.03 c #Conflicts: 905000 | #Constraints: 21523
1604.96/1610.03 c #Conflicts: 906000 | #Constraints: 22523
1604.96/1610.03 c #Conflicts: 907000 | #Constraints: 23523
1604.96/1610.03 c #Conflicts: 908000 | #Constraints: 24523
1604.96/1610.03 c #Conflicts: 909000 | #Constraints: 25523
1604.96/1610.03 c #Conflicts: 910000 | #Constraints: 26523
1604.96/1610.03 c #Conflicts: 911000 | #Constraints: 27523
1604.96/1610.03 c #Conflicts: 912000 | #Constraints: 28523
1604.96/1610.03 c #Conflicts: 913000 | #Constraints: 29523
1604.96/1610.03 c #Conflicts: 914000 | #Constraints: 30523
1604.96/1610.03 c #Conflicts: 915000 | #Constraints: 31523
1604.96/1610.03 c #Conflicts: 916000 | #Constraints: 32523
1604.96/1610.03 c #Conflicts: 917000 | #Constraints: 33523
1604.96/1610.03 c #Conflicts: 918000 | #Constraints: 34523
1604.96/1610.03 c #Conflicts: 919000 | #Constraints: 35523
1604.96/1610.03 c #Conflicts: 920000 | #Constraints: 36523
1604.96/1610.03 c #Conflicts: 921000 | #Constraints: 37523
1604.96/1610.03 c #Conflicts: 922000 | #Constraints: 38523
1604.96/1610.03 c INPROCESSING
1604.96/1610.03 c GARBAGE COLLECT
1604.96/1610.03 c #Conflicts: 923000 | #Constraints: 20529
1604.96/1610.03 c #Conflicts: 924000 | #Constraints: 21529
1604.96/1610.03 c #Conflicts: 925000 | #Constraints: 22529
1604.96/1610.03 c #Conflicts: 926000 | #Constraints: 23529
1604.96/1610.03 c #Conflicts: 927000 | #Constraints: 24529
1604.96/1610.03 c #Conflicts: 928000 | #Constraints: 25529
1604.96/1610.03 c #Conflicts: 929000 | #Constraints: 26529
1604.96/1610.03 c #Conflicts: 930000 | #Constraints: 27529
1604.96/1610.03 c #Conflicts: 931000 | #Constraints: 28529
1604.96/1610.03 c #Conflicts: 932000 | #Constraints: 29529
1604.96/1610.03 c #Conflicts: 933000 | #Constraints: 30529
1604.96/1610.03 c #Conflicts: 934000 | #Constraints: 31529
1604.96/1610.03 c #Conflicts: 935000 | #Constraints: 32529
1604.96/1610.03 c #Conflicts: 936000 | #Constraints: 33529
1604.96/1610.03 c #Conflicts: 937000 | #Constraints: 34529
1604.96/1610.03 c #Conflicts: 938000 | #Constraints: 35529
1604.96/1610.03 c #Conflicts: 939000 | #Constraints: 36529
1604.96/1610.03 c #Conflicts: 940000 | #Constraints: 37529
1604.96/1610.03 c #Conflicts: 941000 | #Constraints: 38529
1604.96/1610.03 c INPROCESSING
1604.96/1610.03 c GARBAGE COLLECT
1604.96/1610.03 c #Conflicts: 942000 | #Constraints: 20329
1604.96/1610.03 c #Conflicts: 943000 | #Constraints: 21329
1604.96/1610.03 c #Conflicts: 944000 | #Constraints: 22329
1604.96/1610.03 c #Conflicts: 945000 | #Constraints: 23329
1604.96/1610.03 c #Conflicts: 946000 | #Constraints: 24329
1604.96/1610.03 c #Conflicts: 947000 | #Constraints: 25329
1604.96/1610.03 c #Conflicts: 948000 | #Constraints: 26329
1604.96/1610.03 c #Conflicts: 949000 | #Constraints: 27329
1604.96/1610.03 c #Conflicts: 950000 | #Constraints: 28329
1604.96/1610.03 c #Conflicts: 951000 | #Constraints: 29329
1604.96/1610.03 c #Conflicts: 952000 | #Constraints: 30329
1604.96/1610.03 c #Conflicts: 953000 | #Constraints: 31329
1604.96/1610.03 c #Conflicts: 954000 | #Constraints: 32329
1604.96/1610.03 c #Conflicts: 955000 | #Constraints: 33329
1604.96/1610.03 c #Conflicts: 956000 | #Constraints: 34329
1604.96/1610.03 c #Conflicts: 957000 | #Constraints: 35329
1604.96/1610.03 c #Conflicts: 958000 | #Constraints: 36329
1604.96/1610.03 c #Conflicts: 959000 | #Constraints: 37329
1604.96/1610.03 c #Conflicts: 960000 | #Constraints: 38329
1604.96/1610.03 c #Conflicts: 961000 | #Constraints: 39329
1604.96/1610.03 c INPROCESSING
1604.96/1610.03 c GARBAGE COLLECT
1604.96/1610.03 c #Conflicts: 962000 | #Constraints: 20928
1604.96/1610.03 c #Conflicts: 963000 | #Constraints: 21928
1604.96/1610.03 c #Conflicts: 964000 | #Constraints: 22928
1604.96/1610.03 c #Conflicts: 965000 | #Constraints: 23928
1604.96/1610.03 c #Conflicts: 966000 | #Constraints: 24928
1604.96/1610.03 c #Conflicts: 967000 | #Constraints: 25928
1604.96/1610.03 c #Conflicts: 968000 | #Constraints: 26928
1604.96/1610.03 c #Conflicts: 969000 | #Constraints: 27928
1604.96/1610.03 c #Conflicts: 970000 | #Constraints: 28928
1604.96/1610.03 c #Conflicts: 971000 | #Constraints: 29928
1813.83/1819.51 c #Conflicts: 972000 | #Constraints: 30928
1813.83/1819.51 c #Conflicts: 973000 | #Constraints: 31928
1813.83/1819.51 c #Conflicts: 974000 | #Constraints: 32928
1813.83/1819.51 c #Conflicts: 975000 | #Constraints: 33928
1813.83/1819.51 c #Conflicts: 976000 | #Constraints: 34928
1813.83/1819.51 c #Conflicts: 977000 | #Constraints: 35928
1813.83/1819.51 c #Conflicts: 978000 | #Constraints: 36928
1813.83/1819.51 c #Conflicts: 979000 | #Constraints: 37928
1813.83/1819.51 c #Conflicts: 980000 | #Constraints: 38928
1813.83/1819.51 c #Conflicts: 981000 | #Constraints: 39928
1813.83/1819.51 c INPROCESSING
1813.83/1819.51 c GARBAGE COLLECT
1813.83/1819.51 c #Conflicts: 982000 | #Constraints: 21323
1813.83/1819.51 c #Conflicts: 983000 | #Constraints: 22323
1813.83/1819.51 c #Conflicts: 984000 | #Constraints: 23323
1813.83/1819.51 c #Conflicts: 985000 | #Constraints: 24323
1813.83/1819.51 c #Conflicts: 986000 | #Constraints: 25323
1813.83/1819.51 c #Conflicts: 987000 | #Constraints: 26323
1813.83/1819.51 c #Conflicts: 988000 | #Constraints: 27323
1813.83/1819.51 c #Conflicts: 989000 | #Constraints: 28323
1813.83/1819.51 c #Conflicts: 990000 | #Constraints: 29323
1813.83/1819.51 c #Conflicts: 991000 | #Constraints: 30323
1813.83/1819.51 c #Conflicts: 992000 | #Constraints: 31323
1813.83/1819.51 c #Conflicts: 993000 | #Constraints: 32323
1813.83/1819.51 c #Conflicts: 994000 | #Constraints: 33323
1813.83/1819.51 c #Conflicts: 995000 | #Constraints: 34323
1813.83/1819.51 c #Conflicts: 996000 | #Constraints: 35323
1813.83/1819.51 c #Conflicts: 997000 | #Constraints: 36323
1813.83/1819.51 c #Conflicts: 998000 | #Constraints: 37323
1813.83/1819.51 c #Conflicts: 999000 | #Constraints: 38323
1813.83/1819.51 c #Conflicts: 1000000 | #Constraints: 39323
1813.83/1819.51 c #Conflicts: 1001000 | #Constraints: 40323
1813.83/1819.51 c INPROCESSING
1813.83/1819.51 c GARBAGE COLLECT
1813.83/1819.51 c #Conflicts: 1002000 | #Constraints: 21526
1813.83/1819.51 c #Conflicts: 1003000 | #Constraints: 22526
1813.83/1819.51 c #Conflicts: 1004000 | #Constraints: 23526
1813.83/1819.51 c #Conflicts: 1005000 | #Constraints: 24526
1813.83/1819.51 c #Conflicts: 1006000 | #Constraints: 25526
1813.83/1819.51 c #Conflicts: 1007000 | #Constraints: 26526
1813.83/1819.51 c #Conflicts: 1008000 | #Constraints: 27526
1813.83/1819.51 c #Conflicts: 1009000 | #Constraints: 28526
1813.83/1819.51 c #Conflicts: 1010000 | #Constraints: 29526
1813.83/1819.51 c #Conflicts: 1011000 | #Constraints: 30526
1813.83/1819.51 c #Conflicts: 1012000 | #Constraints: 31526
1813.83/1819.51 c #Conflicts: 1013000 | #Constraints: 32526
1813.83/1819.51 c #Conflicts: 1014000 | #Constraints: 33526
1813.83/1819.51 c #Conflicts: 1015000 | #Constraints: 34526
1813.83/1819.51 c #Conflicts: 1016000 | #Constraints: 35526
1813.83/1819.51 c #Conflicts: 1017000 | #Constraints: 36526
1813.83/1819.51 c #Conflicts: 1018000 | #Constraints: 37526
1813.83/1819.51 c #Conflicts: 1019000 | #Constraints: 38526
1813.83/1819.51 c #Conflicts: 1020000 | #Constraints: 39526
1813.83/1819.51 c #Conflicts: 1021000 | #Constraints: 40526
1813.83/1819.51 c INPROCESSING
1813.83/1819.51 c GARBAGE COLLECT
1813.83/1819.51 c #Conflicts: 1022000 | #Constraints: 21525
1813.83/1819.51 c #Conflicts: 1023000 | #Constraints: 22525
1813.83/1819.51 c #Conflicts: 1024000 | #Constraints: 23525
1813.83/1819.51 c #Conflicts: 1025000 | #Constraints: 24525
1813.83/1819.51 c #Conflicts: 1026000 | #Constraints: 25525
1813.83/1819.51 c #Conflicts: 1027000 | #Constraints: 26525
1813.83/1819.51 c #Conflicts: 1028000 | #Constraints: 27525
1813.83/1819.51 c #Conflicts: 1029000 | #Constraints: 28525
1813.83/1819.51 c #Conflicts: 1030000 | #Constraints: 29525
1813.83/1819.51 c #Conflicts: 1031000 | #Constraints: 30525
1813.83/1819.51 c #Conflicts: 1032000 | #Constraints: 31525
1813.83/1819.51 c #Conflicts: 1033000 | #Constraints: 32525
1813.83/1819.51 c #Conflicts: 1034000 | #Constraints: 33525
1813.83/1819.51 c #Conflicts: 1035000 | #Constraints: 34525
1813.83/1819.51 c #Conflicts: 1036000 | #Constraints: 35525
1813.83/1819.51 c #Conflicts: 1037000 | #Constraints: 36525
1813.83/1819.51 c #Conflicts: 1038000 | #Constraints: 37525
1813.83/1819.51 c #Conflicts: 1039000 | #Constraints: 38525
1813.83/1819.51 c #Conflicts: 1040000 | #Constraints: 39525
1813.83/1819.51 c #Conflicts: 1041000 | #Constraints: 40525
1813.83/1819.51 c INPROCESSING
1813.83/1819.51 c GARBAGE COLLECT
1813.83/1819.51 c #Conflicts: 1042000 | #Constraints: 21332
1813.83/1819.51 c #Conflicts: 1043000 | #Constraints: 22332
1813.83/1819.51 c #Conflicts: 1044000 | #Constraints: 23332
1813.83/1819.51 c #Conflicts: 1045000 | #Constraints: 24332
1813.83/1819.51 c #Conflicts: 1046000 | #Constraints: 25332
1813.83/1819.51 c #Conflicts: 1047000 | #Constraints: 26332
2074.27/2080.71 c #Conflicts: 1048000 | #Constraints: 27332
2074.27/2080.71 c #Conflicts: 1049000 | #Constraints: 28332
2074.27/2080.71 c #Conflicts: 1050000 | #Constraints: 29332
2074.27/2080.71 c #Conflicts: 1051000 | #Constraints: 30332
2074.27/2080.71 c #Conflicts: 1052000 | #Constraints: 31332
2074.27/2080.71 c #Conflicts: 1053000 | #Constraints: 32332
2074.27/2080.71 c #Conflicts: 1054000 | #Constraints: 33332
2074.27/2080.71 c #Conflicts: 1055000 | #Constraints: 34332
2074.27/2080.71 c #Conflicts: 1056000 | #Constraints: 35332
2074.27/2080.71 c #Conflicts: 1057000 | #Constraints: 36332
2074.27/2080.71 c #Conflicts: 1058000 | #Constraints: 37332
2074.27/2080.71 c #Conflicts: 1059000 | #Constraints: 38332
2074.27/2080.71 c #Conflicts: 1060000 | #Constraints: 39332
2074.27/2080.71 c #Conflicts: 1061000 | #Constraints: 40332
2074.27/2080.71 c #Conflicts: 1062000 | #Constraints: 41332
2074.27/2080.71 c INPROCESSING
2074.27/2080.71 c GARBAGE COLLECT
2074.27/2080.71 c #Conflicts: 1063000 | #Constraints: 21930
2074.27/2080.71 c #Conflicts: 1064000 | #Constraints: 22930
2074.27/2080.71 c #Conflicts: 1065000 | #Constraints: 23930
2074.27/2080.71 c #Conflicts: 1066000 | #Constraints: 24930
2074.27/2080.71 c #Conflicts: 1067000 | #Constraints: 25930
2074.27/2080.71 c #Conflicts: 1068000 | #Constraints: 26930
2074.27/2080.71 c #Conflicts: 1069000 | #Constraints: 27930
2074.27/2080.71 c #Conflicts: 1070000 | #Constraints: 28930
2074.27/2080.71 c #Conflicts: 1071000 | #Constraints: 29930
2074.27/2080.71 c #Conflicts: 1072000 | #Constraints: 30930
2074.27/2080.71 c #Conflicts: 1073000 | #Constraints: 31930
2074.27/2080.71 c #Conflicts: 1074000 | #Constraints: 32930
2074.27/2080.71 c #Conflicts: 1075000 | #Constraints: 33930
2074.27/2080.71 c #Conflicts: 1076000 | #Constraints: 34930
2074.27/2080.71 c #Conflicts: 1077000 | #Constraints: 35930
2074.27/2080.71 c #Conflicts: 1078000 | #Constraints: 36930
2074.27/2080.71 c #Conflicts: 1079000 | #Constraints: 37930
2074.27/2080.71 c #Conflicts: 1080000 | #Constraints: 38930
2074.27/2080.71 c #Conflicts: 1081000 | #Constraints: 39930
2074.27/2080.71 c #Conflicts: 1082000 | #Constraints: 40930
2074.27/2080.71 c #Conflicts: 1083000 | #Constraints: 41930
2074.27/2080.71 c INPROCESSING
2074.27/2080.71 c GARBAGE COLLECT
2074.27/2080.71 c #Conflicts: 1084000 | #Constraints: 22333
2074.27/2080.71 c #Conflicts: 1085000 | #Constraints: 23333
2074.27/2080.71 c #Conflicts: 1086000 | #Constraints: 24333
2074.27/2080.71 c #Conflicts: 1087000 | #Constraints: 25333
2074.27/2080.71 c #Conflicts: 1088000 | #Constraints: 26333
2074.27/2080.71 c #Conflicts: 1089000 | #Constraints: 27333
2074.27/2080.71 c #Conflicts: 1090000 | #Constraints: 28333
2074.27/2080.71 c #Conflicts: 1091000 | #Constraints: 29333
2074.27/2080.71 c #Conflicts: 1092000 | #Constraints: 30333
2074.27/2080.71 c #Conflicts: 1093000 | #Constraints: 31333
2074.27/2080.71 c #Conflicts: 1094000 | #Constraints: 32333
2074.27/2080.71 c #Conflicts: 1095000 | #Constraints: 33333
2074.27/2080.71 c #Conflicts: 1096000 | #Constraints: 34333
2074.27/2080.71 c #Conflicts: 1097000 | #Constraints: 35333
2074.27/2080.71 c #Conflicts: 1098000 | #Constraints: 36333
2074.27/2080.71 c #Conflicts: 1099000 | #Constraints: 37333
2074.27/2080.71 c #Conflicts: 1100000 | #Constraints: 38333
2074.27/2080.71 c #Conflicts: 1101000 | #Constraints: 39333
2074.27/2080.71 c #Conflicts: 1102000 | #Constraints: 40333
2074.27/2080.71 c #Conflicts: 1103000 | #Constraints: 41333
2074.27/2080.71 c #Conflicts: 1104000 | #Constraints: 42333
2074.27/2080.71 c INPROCESSING
2074.27/2080.71 c GARBAGE COLLECT
2074.27/2080.71 c #Conflicts: 1105000 | #Constraints: 22532
2074.27/2080.71 c #Conflicts: 1106000 | #Constraints: 23532
2074.27/2080.71 c #Conflicts: 1107000 | #Constraints: 24532
2074.27/2080.71 c #Conflicts: 1108000 | #Constraints: 25532
2074.27/2080.71 c #Conflicts: 1109000 | #Constraints: 26532
2074.27/2080.71 c #Conflicts: 1110000 | #Constraints: 27532
2074.27/2080.71 c #Conflicts: 1111000 | #Constraints: 28532
2074.27/2080.71 c #Conflicts: 1112000 | #Constraints: 29532
2074.27/2080.71 c #Conflicts: 1113000 | #Constraints: 30532
2074.27/2080.71 c #Conflicts: 1114000 | #Constraints: 31532
2074.27/2080.71 c #Conflicts: 1115000 | #Constraints: 32532
2074.27/2080.71 c #Conflicts: 1116000 | #Constraints: 33532
2074.27/2080.71 c #Conflicts: 1117000 | #Constraints: 34532
2074.27/2080.71 c #Conflicts: 1118000 | #Constraints: 35532
2074.27/2080.71 c #Conflicts: 1119000 | #Constraints: 36532
2074.27/2080.71 c #Conflicts: 1120000 | #Constraints: 37532
2074.27/2080.71 c #Conflicts: 1121000 | #Constraints: 38532
2074.27/2080.71 c #Conflicts: 1122000 | #Constraints: 39532
2074.27/2080.71 c #Conflicts: 1123000 | #Constraints: 40532
2074.27/2080.71 c #Conflicts: 1124000 | #Constraints: 41532
2295.12/2302.25 c #Conflicts: 1125000 | #Constraints: 42532
2295.12/2302.25 c INPROCESSING
2295.12/2302.25 c GARBAGE COLLECT
2295.12/2302.25 c #Conflicts: 1126000 | #Constraints: 22532
2295.12/2302.25 c #Conflicts: 1127000 | #Constraints: 23532
2295.12/2302.25 c #Conflicts: 1128000 | #Constraints: 24532
2295.12/2302.25 c #Conflicts: 1129000 | #Constraints: 25532
2295.12/2302.25 c #Conflicts: 1130000 | #Constraints: 26532
2295.12/2302.25 c #Conflicts: 1131000 | #Constraints: 27532
2295.12/2302.25 c #Conflicts: 1132000 | #Constraints: 28532
2295.12/2302.25 c #Conflicts: 1133000 | #Constraints: 29532
2295.12/2302.25 c #Conflicts: 1134000 | #Constraints: 30532
2295.12/2302.25 c #Conflicts: 1135000 | #Constraints: 31532
2295.12/2302.25 c #Conflicts: 1136000 | #Constraints: 32532
2295.12/2302.25 c #Conflicts: 1137000 | #Constraints: 33532
2295.12/2302.25 c #Conflicts: 1138000 | #Constraints: 34532
2295.12/2302.25 c #Conflicts: 1139000 | #Constraints: 35532
2295.12/2302.25 c #Conflicts: 1140000 | #Constraints: 36532
2295.12/2302.25 c #Conflicts: 1141000 | #Constraints: 37532
2295.12/2302.25 c #Conflicts: 1142000 | #Constraints: 38532
2295.12/2302.25 c #Conflicts: 1143000 | #Constraints: 39532
2295.12/2302.25 c #Conflicts: 1144000 | #Constraints: 40532
2295.12/2302.25 c #Conflicts: 1145000 | #Constraints: 41532
2295.12/2302.25 c #Conflicts: 1146000 | #Constraints: 42532
2295.12/2302.25 c INPROCESSING
2295.12/2302.25 c GARBAGE COLLECT
2295.12/2302.25 c #Conflicts: 1147000 | #Constraints: 22327
2295.12/2302.25 c #Conflicts: 1148000 | #Constraints: 23327
2295.12/2302.25 c #Conflicts: 1149000 | #Constraints: 24327
2295.12/2302.25 c #Conflicts: 1150000 | #Constraints: 25327
2295.12/2302.25 c #Conflicts: 1151000 | #Constraints: 26327
2295.12/2302.25 c #Conflicts: 1152000 | #Constraints: 27327
2295.12/2302.25 c #Conflicts: 1153000 | #Constraints: 28327
2295.12/2302.25 c #Conflicts: 1154000 | #Constraints: 29327
2295.12/2302.25 c #Conflicts: 1155000 | #Constraints: 30327
2295.12/2302.25 c #Conflicts: 1156000 | #Constraints: 31327
2295.12/2302.25 c #Conflicts: 1157000 | #Constraints: 32327
2295.12/2302.25 c #Conflicts: 1158000 | #Constraints: 33327
2295.12/2302.25 c #Conflicts: 1159000 | #Constraints: 34327
2295.12/2302.25 c #Conflicts: 1160000 | #Constraints: 35327
2295.12/2302.25 c #Conflicts: 1161000 | #Constraints: 36327
2295.12/2302.25 c #Conflicts: 1162000 | #Constraints: 37327
2295.12/2302.25 c #Conflicts: 1163000 | #Constraints: 38327
2295.12/2302.25 c #Conflicts: 1164000 | #Constraints: 39327
2295.12/2302.25 c #Conflicts: 1165000 | #Constraints: 40327
2295.12/2302.25 c #Conflicts: 1166000 | #Constraints: 41327
2295.12/2302.25 c #Conflicts: 1167000 | #Constraints: 42327
2295.12/2302.25 c #Conflicts: 1168000 | #Constraints: 43327
2295.12/2302.25 c INPROCESSING
2295.12/2302.25 c GARBAGE COLLECT
2295.12/2302.25 c #Conflicts: 1169000 | #Constraints: 22921
2295.12/2302.25 c #Conflicts: 1170000 | #Constraints: 23921
2295.12/2302.25 c #Conflicts: 1171000 | #Constraints: 24921
2295.12/2302.25 c #Conflicts: 1172000 | #Constraints: 25921
2295.12/2302.25 c #Conflicts: 1173000 | #Constraints: 26921
2295.12/2302.25 c #Conflicts: 1174000 | #Constraints: 27921
2295.12/2302.25 c #Conflicts: 1175000 | #Constraints: 28921
2295.12/2302.25 c #Conflicts: 1176000 | #Constraints: 29921
2295.12/2302.25 c #Conflicts: 1177000 | #Constraints: 30921
2295.12/2302.25 c #Conflicts: 1178000 | #Constraints: 31921
2295.12/2302.25 c #Conflicts: 1179000 | #Constraints: 32921
2295.12/2302.25 c #Conflicts: 1180000 | #Constraints: 33921
2295.12/2302.25 c #Conflicts: 1181000 | #Constraints: 34921
2295.12/2302.25 c #Conflicts: 1182000 | #Constraints: 35921
2295.12/2302.25 c #Conflicts: 1183000 | #Constraints: 36921
2295.12/2302.25 c #Conflicts: 1184000 | #Constraints: 37921
2295.12/2302.25 c #Conflicts: 1185000 | #Constraints: 38921
2295.12/2302.25 c #Conflicts: 1186000 | #Constraints: 39921
2295.12/2302.25 c #Conflicts: 1187000 | #Constraints: 40921
2295.12/2302.25 c #Conflicts: 1188000 | #Constraints: 41921
2295.12/2302.25 c #Conflicts: 1189000 | #Constraints: 42921
2295.12/2302.25 c #Conflicts: 1190000 | #Constraints: 43921
2295.12/2302.25 c INPROCESSING
2295.12/2302.25 c GARBAGE COLLECT
2295.12/2302.25 c #Conflicts: 1191000 | #Constraints: 23320
2295.12/2302.25 c #Conflicts: 1192000 | #Constraints: 24320
2295.12/2302.25 c #Conflicts: 1193000 | #Constraints: 25320
2295.12/2302.25 c #Conflicts: 1194000 | #Constraints: 26320
2295.12/2302.25 c #Conflicts: 1195000 | #Constraints: 27320
2295.12/2302.25 c #Conflicts: 1196000 | #Constraints: 28320
2295.12/2302.25 c #Conflicts: 1197000 | #Constraints: 29320
2295.12/2302.25 c #Conflicts: 1198000 | #Constraints: 30320
2295.12/2302.25 c #Conflicts: 1199000 | #Constraints: 31320
2295.12/2302.25 c #Conflicts: 1200000 | #Constraints: 32320
2565.92/2573.85 c #Conflicts: 1201000 | #Constraints: 33320
2565.92/2573.85 c #Conflicts: 1202000 | #Constraints: 34320
2565.92/2573.85 c #Conflicts: 1203000 | #Constraints: 35320
2565.92/2573.85 c #Conflicts: 1204000 | #Constraints: 36320
2565.92/2573.85 c #Conflicts: 1205000 | #Constraints: 37320
2565.92/2573.85 c #Conflicts: 1206000 | #Constraints: 38320
2565.92/2573.85 c #Conflicts: 1207000 | #Constraints: 39320
2565.92/2573.85 c #Conflicts: 1208000 | #Constraints: 40320
2565.92/2573.85 c #Conflicts: 1209000 | #Constraints: 41320
2565.92/2573.85 c #Conflicts: 1210000 | #Constraints: 42320
2565.92/2573.85 c #Conflicts: 1211000 | #Constraints: 43320
2565.92/2573.85 c #Conflicts: 1212000 | #Constraints: 44320
2565.92/2573.85 c INPROCESSING
2565.92/2573.85 c GARBAGE COLLECT
2565.92/2573.85 c #Conflicts: 1213000 | #Constraints: 23524
2565.92/2573.85 c #Conflicts: 1214000 | #Constraints: 24524
2565.92/2573.85 c #Conflicts: 1215000 | #Constraints: 25524
2565.92/2573.85 c #Conflicts: 1216000 | #Constraints: 26524
2565.92/2573.85 c #Conflicts: 1217000 | #Constraints: 27524
2565.92/2573.85 c #Conflicts: 1218000 | #Constraints: 28524
2565.92/2573.85 c #Conflicts: 1219000 | #Constraints: 29524
2565.92/2573.85 c #Conflicts: 1220000 | #Constraints: 30524
2565.92/2573.85 c #Conflicts: 1221000 | #Constraints: 31524
2565.92/2573.85 c #Conflicts: 1222000 | #Constraints: 32524
2565.92/2573.85 c #Conflicts: 1223000 | #Constraints: 33524
2565.92/2573.85 c #Conflicts: 1224000 | #Constraints: 34524
2565.92/2573.85 c #Conflicts: 1225000 | #Constraints: 35524
2565.92/2573.85 c #Conflicts: 1226000 | #Constraints: 36524
2565.92/2573.85 c #Conflicts: 1227000 | #Constraints: 37524
2565.92/2573.85 c #Conflicts: 1228000 | #Constraints: 38524
2565.92/2573.85 c #Conflicts: 1229000 | #Constraints: 39524
2565.92/2573.85 c #Conflicts: 1230000 | #Constraints: 40524
2565.92/2573.85 c #Conflicts: 1231000 | #Constraints: 41524
2565.92/2573.85 c #Conflicts: 1232000 | #Constraints: 42524
2565.92/2573.85 c #Conflicts: 1233000 | #Constraints: 43524
2565.92/2573.85 c #Conflicts: 1234000 | #Constraints: 44524
2565.92/2573.85 c INPROCESSING
2565.92/2573.85 c GARBAGE COLLECT
2565.92/2573.85 c #Conflicts: 1235000 | #Constraints: 23536
2565.92/2573.85 c #Conflicts: 1236000 | #Constraints: 24536
2565.92/2573.85 c #Conflicts: 1237000 | #Constraints: 25536
2565.92/2573.85 c #Conflicts: 1238000 | #Constraints: 26536
2565.92/2573.85 c #Conflicts: 1239000 | #Constraints: 27536
2565.92/2573.85 c #Conflicts: 1240000 | #Constraints: 28536
2565.92/2573.85 c #Conflicts: 1241000 | #Constraints: 29536
2565.92/2573.85 c #Conflicts: 1242000 | #Constraints: 30536
2565.92/2573.85 c #Conflicts: 1243000 | #Constraints: 31536
2565.92/2573.85 c #Conflicts: 1244000 | #Constraints: 32536
2565.92/2573.85 c #Conflicts: 1245000 | #Constraints: 33536
2565.92/2573.85 c #Conflicts: 1246000 | #Constraints: 34536
2565.92/2573.85 c #Conflicts: 1247000 | #Constraints: 35536
2565.92/2573.85 c #Conflicts: 1248000 | #Constraints: 36536
2565.92/2573.85 c #Conflicts: 1249000 | #Constraints: 37536
2565.92/2573.85 c #Conflicts: 1250000 | #Constraints: 38536
2565.92/2573.85 c #Conflicts: 1251000 | #Constraints: 39536
2565.92/2573.85 c #Conflicts: 1252000 | #Constraints: 40536
2565.92/2573.85 c #Conflicts: 1253000 | #Constraints: 41536
2565.92/2573.85 c #Conflicts: 1254000 | #Constraints: 42536
2565.92/2573.85 c #Conflicts: 1255000 | #Constraints: 43536
2565.92/2573.85 c #Conflicts: 1256000 | #Constraints: 44536
2565.92/2573.85 c INPROCESSING
2565.92/2573.85 c GARBAGE COLLECT
2565.92/2573.85 c #Conflicts: 1257000 | #Constraints: 23335
2565.92/2573.85 c #Conflicts: 1258000 | #Constraints: 24335
2565.92/2573.85 c #Conflicts: 1259000 | #Constraints: 25335
2565.92/2573.85 c #Conflicts: 1260000 | #Constraints: 26335
2565.92/2573.85 c #Conflicts: 1261000 | #Constraints: 27335
2565.92/2573.85 c #Conflicts: 1262000 | #Constraints: 28335
2565.92/2573.85 c #Conflicts: 1263000 | #Constraints: 29335
2565.92/2573.85 c #Conflicts: 1264000 | #Constraints: 30335
2565.92/2573.85 c #Conflicts: 1265000 | #Constraints: 31335
2565.92/2573.85 c #Conflicts: 1266000 | #Constraints: 32335
2565.92/2573.85 c #Conflicts: 1267000 | #Constraints: 33335
2565.92/2573.85 c #Conflicts: 1268000 | #Constraints: 34335
2565.92/2573.85 c #Conflicts: 1269000 | #Constraints: 35335
2565.92/2573.85 c #Conflicts: 1270000 | #Constraints: 36335
2565.92/2573.85 c #Conflicts: 1271000 | #Constraints: 37335
2565.92/2573.85 c #Conflicts: 1272000 | #Constraints: 38335
2565.92/2573.85 c #Conflicts: 1273000 | #Constraints: 39335
2565.92/2573.85 c #Conflicts: 1274000 | #Constraints: 40335
2565.92/2573.85 c #Conflicts: 1275000 | #Constraints: 41335
2565.92/2573.85 c #Conflicts: 1276000 | #Constraints: 42335
2565.92/2573.85 c #Conflicts: 1277000 | #Constraints: 43335
2815.79/2824.41 c #Conflicts: 1278000 | #Constraints: 44335
2815.79/2824.41 c #Conflicts: 1279000 | #Constraints: 45335
2815.79/2824.41 c INPROCESSING
2815.79/2824.41 c GARBAGE COLLECT
2815.79/2824.41 c #Conflicts: 1280000 | #Constraints: 23913
2815.79/2824.41 c #Conflicts: 1281000 | #Constraints: 24913
2815.79/2824.41 c #Conflicts: 1282000 | #Constraints: 25913
2815.79/2824.41 c #Conflicts: 1283000 | #Constraints: 26913
2815.79/2824.41 c #Conflicts: 1284000 | #Constraints: 27913
2815.79/2824.41 c #Conflicts: 1285000 | #Constraints: 28913
2815.79/2824.41 c #Conflicts: 1286000 | #Constraints: 29913
2815.79/2824.41 c #Conflicts: 1287000 | #Constraints: 30913
2815.79/2824.41 c #Conflicts: 1288000 | #Constraints: 31913
2815.79/2824.41 c #Conflicts: 1289000 | #Constraints: 32913
2815.79/2824.41 c #Conflicts: 1290000 | #Constraints: 33913
2815.79/2824.41 c #Conflicts: 1291000 | #Constraints: 34913
2815.79/2824.41 c #Conflicts: 1292000 | #Constraints: 35913
2815.79/2824.41 c #Conflicts: 1293000 | #Constraints: 36913
2815.79/2824.41 c #Conflicts: 1294000 | #Constraints: 37913
2815.79/2824.41 c #Conflicts: 1295000 | #Constraints: 38913
2815.79/2824.41 c #Conflicts: 1296000 | #Constraints: 39913
2815.79/2824.41 c #Conflicts: 1297000 | #Constraints: 40913
2815.79/2824.41 c #Conflicts: 1298000 | #Constraints: 41913
2815.79/2824.41 c #Conflicts: 1299000 | #Constraints: 42913
2815.79/2824.41 c #Conflicts: 1300000 | #Constraints: 43913
2815.79/2824.41 c #Conflicts: 1301000 | #Constraints: 44913
2815.79/2824.41 c #Conflicts: 1302000 | #Constraints: 45913
2815.79/2824.41 c INPROCESSING
2815.79/2824.41 c GARBAGE COLLECT
2815.79/2824.41 c #Conflicts: 1303000 | #Constraints: 24317
2815.79/2824.41 c #Conflicts: 1304000 | #Constraints: 25317
2815.79/2824.41 c #Conflicts: 1305000 | #Constraints: 26317
2815.79/2824.41 c #Conflicts: 1306000 | #Constraints: 27317
2815.79/2824.41 c #Conflicts: 1307000 | #Constraints: 28317
2815.79/2824.41 c #Conflicts: 1308000 | #Constraints: 29317
2815.79/2824.41 c #Conflicts: 1309000 | #Constraints: 30317
2815.79/2824.41 c #Conflicts: 1310000 | #Constraints: 31317
2815.79/2824.41 c #Conflicts: 1311000 | #Constraints: 32317
2815.79/2824.41 c #Conflicts: 1312000 | #Constraints: 33317
2815.79/2824.41 c #Conflicts: 1313000 | #Constraints: 34317
2815.79/2824.41 c #Conflicts: 1314000 | #Constraints: 35317
2815.79/2824.41 c #Conflicts: 1315000 | #Constraints: 36317
2815.79/2824.41 c #Conflicts: 1316000 | #Constraints: 37317
2815.79/2824.41 c #Conflicts: 1317000 | #Constraints: 38317
2815.79/2824.41 c #Conflicts: 1318000 | #Constraints: 39317
2815.79/2824.41 c #Conflicts: 1319000 | #Constraints: 40317
2815.79/2824.41 c #Conflicts: 1320000 | #Constraints: 41317
2815.79/2824.41 c #Conflicts: 1321000 | #Constraints: 42317
2815.79/2824.41 c #Conflicts: 1322000 | #Constraints: 43317
2815.79/2824.41 c #Conflicts: 1323000 | #Constraints: 44317
2815.79/2824.41 c #Conflicts: 1324000 | #Constraints: 45317
2815.79/2824.41 c #Conflicts: 1325000 | #Constraints: 46317
2815.79/2824.41 c INPROCESSING
2815.79/2824.41 c GARBAGE COLLECT
2815.79/2824.41 c #Conflicts: 1326000 | #Constraints: 24522
2815.79/2824.41 c #Conflicts: 1327000 | #Constraints: 25522
2815.79/2824.41 c #Conflicts: 1328000 | #Constraints: 26522
2815.79/2824.41 c #Conflicts: 1329000 | #Constraints: 27522
2815.79/2824.41 c #Conflicts: 1330000 | #Constraints: 28522
2815.79/2824.41 c #Conflicts: 1331000 | #Constraints: 29522
2815.79/2824.41 c #Conflicts: 1332000 | #Constraints: 30522
2815.79/2824.41 c #Conflicts: 1333000 | #Constraints: 31522
2815.79/2824.41 c #Conflicts: 1334000 | #Constraints: 32522
2815.79/2824.41 c #Conflicts: 1335000 | #Constraints: 33522
2815.79/2824.41 c #Conflicts: 1336000 | #Constraints: 34522
2815.79/2824.41 c #Conflicts: 1337000 | #Constraints: 35522
2815.79/2824.41 c #Conflicts: 1338000 | #Constraints: 36522
2815.79/2824.41 c #Conflicts: 1339000 | #Constraints: 37522
2815.79/2824.41 c #Conflicts: 1340000 | #Constraints: 38522
2815.79/2824.41 c #Conflicts: 1341000 | #Constraints: 39522
2815.79/2824.41 c #Conflicts: 1342000 | #Constraints: 40522
2815.79/2824.41 c #Conflicts: 1343000 | #Constraints: 41522
2815.79/2824.41 c #Conflicts: 1344000 | #Constraints: 42522
2815.79/2824.41 c #Conflicts: 1345000 | #Constraints: 43522
2815.79/2824.41 c #Conflicts: 1346000 | #Constraints: 44522
2815.79/2824.41 c #Conflicts: 1347000 | #Constraints: 45522
2815.79/2824.41 c #Conflicts: 1348000 | #Constraints: 46522
2815.79/2824.41 c INPROCESSING
2815.79/2824.41 c GARBAGE COLLECT
2815.79/2824.41 c #Conflicts: 1349000 | #Constraints: 24523
2815.79/2824.41 c #Conflicts: 1350000 | #Constraints: 25523
2815.79/2824.41 c #Conflicts: 1351000 | #Constraints: 26523
2815.79/2824.41 c #Conflicts: 1352000 | #Constraints: 27523
2815.79/2824.41 c #Conflicts: 1353000 | #Constraints: 28523
3078.13/3087.58 c #Conflicts: 1354000 | #Constraints: 29523
3078.13/3087.58 c #Conflicts: 1355000 | #Constraints: 30523
3078.13/3087.58 c #Conflicts: 1356000 | #Constraints: 31523
3078.13/3087.58 c #Conflicts: 1357000 | #Constraints: 32523
3078.13/3087.58 c #Conflicts: 1358000 | #Constraints: 33523
3078.13/3087.58 c #Conflicts: 1359000 | #Constraints: 34523
3078.13/3087.58 c #Conflicts: 1360000 | #Constraints: 35523
3078.13/3087.58 c #Conflicts: 1361000 | #Constraints: 36523
3078.13/3087.58 c #Conflicts: 1362000 | #Constraints: 37523
3078.13/3087.58 c #Conflicts: 1363000 | #Constraints: 38523
3078.13/3087.58 c #Conflicts: 1364000 | #Constraints: 39523
3078.13/3087.58 c #Conflicts: 1365000 | #Constraints: 40523
3078.13/3087.58 c #Conflicts: 1366000 | #Constraints: 41523
3078.13/3087.58 c #Conflicts: 1367000 | #Constraints: 42523
3078.13/3087.58 c #Conflicts: 1368000 | #Constraints: 43523
3078.13/3087.58 c #Conflicts: 1369000 | #Constraints: 44523
3078.13/3087.58 c #Conflicts: 1370000 | #Constraints: 45523
3078.13/3087.58 c #Conflicts: 1371000 | #Constraints: 46523
3078.13/3087.58 c INPROCESSING
3078.13/3087.58 c GARBAGE COLLECT
3078.13/3087.58 c #Conflicts: 1372000 | #Constraints: 24325
3078.13/3087.58 c #Conflicts: 1373000 | #Constraints: 25325
3078.13/3087.58 c #Conflicts: 1374000 | #Constraints: 26325
3078.13/3087.58 c #Conflicts: 1375000 | #Constraints: 27325
3078.13/3087.58 c #Conflicts: 1376000 | #Constraints: 28325
3078.13/3087.58 c #Conflicts: 1377000 | #Constraints: 29325
3078.13/3087.58 c #Conflicts: 1378000 | #Constraints: 30325
3078.13/3087.58 c #Conflicts: 1379000 | #Constraints: 31325
3078.13/3087.58 c #Conflicts: 1380000 | #Constraints: 32325
3078.13/3087.58 c #Conflicts: 1381000 | #Constraints: 33325
3078.13/3087.58 c #Conflicts: 1382000 | #Constraints: 34325
3078.13/3087.58 c #Conflicts: 1383000 | #Constraints: 35325
3078.13/3087.58 c #Conflicts: 1384000 | #Constraints: 36325
3078.13/3087.58 c #Conflicts: 1385000 | #Constraints: 37325
3078.13/3087.58 c #Conflicts: 1386000 | #Constraints: 38325
3078.13/3087.58 c #Conflicts: 1387000 | #Constraints: 39325
3078.13/3087.58 c #Conflicts: 1388000 | #Constraints: 40325
3078.13/3087.58 c #Conflicts: 1389000 | #Constraints: 41325
3078.13/3087.58 c #Conflicts: 1390000 | #Constraints: 42325
3078.13/3087.58 c #Conflicts: 1391000 | #Constraints: 43325
3078.13/3087.58 c #Conflicts: 1392000 | #Constraints: 44325
3078.13/3087.58 c #Conflicts: 1393000 | #Constraints: 45325
3078.13/3087.58 c #Conflicts: 1394000 | #Constraints: 46325
3078.13/3087.58 c #Conflicts: 1395000 | #Constraints: 47325
3078.13/3087.58 c INPROCESSING
3078.13/3087.58 c GARBAGE COLLECT
3078.13/3087.58 c #Conflicts: 1396000 | #Constraints: 24932
3078.13/3087.58 c #Conflicts: 1397000 | #Constraints: 25932
3078.13/3087.58 c #Conflicts: 1398000 | #Constraints: 26932
3078.13/3087.58 c #Conflicts: 1399000 | #Constraints: 27932
3078.13/3087.58 c #Conflicts: 1400000 | #Constraints: 28932
3078.13/3087.58 c #Conflicts: 1401000 | #Constraints: 29932
3078.13/3087.58 c #Conflicts: 1402000 | #Constraints: 30932
3078.13/3087.58 c #Conflicts: 1403000 | #Constraints: 31932
3078.13/3087.58 c #Conflicts: 1404000 | #Constraints: 32932
3078.13/3087.58 c #Conflicts: 1405000 | #Constraints: 33932
3078.13/3087.58 c #Conflicts: 1406000 | #Constraints: 34932
3078.13/3087.58 c #Conflicts: 1407000 | #Constraints: 35932
3078.13/3087.58 c #Conflicts: 1408000 | #Constraints: 36932
3078.13/3087.58 c #Conflicts: 1409000 | #Constraints: 37932
3078.13/3087.58 c #Conflicts: 1410000 | #Constraints: 38932
3078.13/3087.58 c #Conflicts: 1411000 | #Constraints: 39932
3078.13/3087.58 c #Conflicts: 1412000 | #Constraints: 40932
3078.13/3087.58 c #Conflicts: 1413000 | #Constraints: 41932
3078.13/3087.58 c #Conflicts: 1414000 | #Constraints: 42932
3078.13/3087.58 c #Conflicts: 1415000 | #Constraints: 43932
3078.13/3087.58 c #Conflicts: 1416000 | #Constraints: 44932
3078.13/3087.58 c #Conflicts: 1417000 | #Constraints: 45932
3078.13/3087.58 c #Conflicts: 1418000 | #Constraints: 46932
3078.13/3087.58 c #Conflicts: 1419000 | #Constraints: 47932
3078.13/3087.58 c INPROCESSING
3078.13/3087.58 c GARBAGE COLLECT
3078.13/3087.58 c #Conflicts: 1420000 | #Constraints: 25333
3078.13/3087.58 c #Conflicts: 1421000 | #Constraints: 26333
3078.13/3087.58 c #Conflicts: 1422000 | #Constraints: 27333
3078.13/3087.58 c #Conflicts: 1423000 | #Constraints: 28333
3078.13/3087.58 c #Conflicts: 1424000 | #Constraints: 29333
3078.13/3087.58 c #Conflicts: 1425000 | #Constraints: 30333
3078.13/3087.58 c #Conflicts: 1426000 | #Constraints: 31333
3078.13/3087.58 c #Conflicts: 1427000 | #Constraints: 32333
3078.13/3087.58 c #Conflicts: 1428000 | #Constraints: 33333
3078.13/3087.58 c #Conflicts: 1429000 | #Constraints: 34333
3078.13/3087.58 c #Conflicts: 1430000 | #Constraints: 35333
3346.48/3356.64 c #Conflicts: 1431000 | #Constraints: 36333
3346.48/3356.64 c #Conflicts: 1432000 | #Constraints: 37333
3346.48/3356.64 c #Conflicts: 1433000 | #Constraints: 38333
3346.48/3356.64 c #Conflicts: 1434000 | #Constraints: 39333
3346.48/3356.64 c #Conflicts: 1435000 | #Constraints: 40333
3346.48/3356.64 c #Conflicts: 1436000 | #Constraints: 41333
3346.48/3356.64 c #Conflicts: 1437000 | #Constraints: 42333
3346.48/3356.64 c #Conflicts: 1438000 | #Constraints: 43333
3346.48/3356.64 c #Conflicts: 1439000 | #Constraints: 44333
3346.48/3356.64 c #Conflicts: 1440000 | #Constraints: 45333
3346.48/3356.64 c #Conflicts: 1441000 | #Constraints: 46333
3346.48/3356.64 c #Conflicts: 1442000 | #Constraints: 47333
3346.48/3356.64 c #Conflicts: 1443000 | #Constraints: 48333
3346.48/3356.64 c INPROCESSING
3346.48/3356.64 c GARBAGE COLLECT
3346.48/3356.64 c #Conflicts: 1444000 | #Constraints: 25527
3346.48/3356.64 c #Conflicts: 1445000 | #Constraints: 26527
3346.48/3356.64 c #Conflicts: 1446000 | #Constraints: 27527
3346.48/3356.64 c #Conflicts: 1447000 | #Constraints: 28527
3346.48/3356.64 c #Conflicts: 1448000 | #Constraints: 29527
3346.48/3356.64 c #Conflicts: 1449000 | #Constraints: 30527
3346.48/3356.64 c #Conflicts: 1450000 | #Constraints: 31527
3346.48/3356.64 c #Conflicts: 1451000 | #Constraints: 32527
3346.48/3356.64 c #Conflicts: 1452000 | #Constraints: 33527
3346.48/3356.64 c #Conflicts: 1453000 | #Constraints: 34527
3346.48/3356.64 c #Conflicts: 1454000 | #Constraints: 35527
3346.48/3356.64 c #Conflicts: 1455000 | #Constraints: 36527
3346.48/3356.64 c #Conflicts: 1456000 | #Constraints: 37527
3346.48/3356.64 c #Conflicts: 1457000 | #Constraints: 38527
3346.48/3356.64 c #Conflicts: 1458000 | #Constraints: 39527
3346.48/3356.64 c #Conflicts: 1459000 | #Constraints: 40527
3346.48/3356.64 c #Conflicts: 1460000 | #Constraints: 41527
3346.48/3356.64 c #Conflicts: 1461000 | #Constraints: 42527
3346.48/3356.64 c #Conflicts: 1462000 | #Constraints: 43527
3346.48/3356.64 c #Conflicts: 1463000 | #Constraints: 44527
3346.48/3356.64 c #Conflicts: 1464000 | #Constraints: 45527
3346.48/3356.64 c #Conflicts: 1465000 | #Constraints: 46527
3346.48/3356.64 c #Conflicts: 1466000 | #Constraints: 47527
3346.48/3356.64 c #Conflicts: 1467000 | #Constraints: 48527
3346.48/3356.64 c INPROCESSING
3346.48/3356.64 c GARBAGE COLLECT
3346.48/3356.64 c #Conflicts: 1468000 | #Constraints: 25537
3346.48/3356.64 c #Conflicts: 1469000 | #Constraints: 26537
3346.48/3356.64 c #Conflicts: 1470000 | #Constraints: 27537
3346.48/3356.64 c #Conflicts: 1471000 | #Constraints: 28537
3346.48/3356.64 c #Conflicts: 1472000 | #Constraints: 29537
3346.48/3356.64 c #Conflicts: 1473000 | #Constraints: 30537
3346.48/3356.64 c #Conflicts: 1474000 | #Constraints: 31537
3346.48/3356.64 c #Conflicts: 1475000 | #Constraints: 32537
3346.48/3356.64 c #Conflicts: 1476000 | #Constraints: 33537
3346.48/3356.64 c #Conflicts: 1477000 | #Constraints: 34537
3346.48/3356.64 c #Conflicts: 1478000 | #Constraints: 35537
3346.48/3356.64 c #Conflicts: 1479000 | #Constraints: 36537
3346.48/3356.64 c #Conflicts: 1480000 | #Constraints: 37537
3346.48/3356.64 c #Conflicts: 1481000 | #Constraints: 38537
3346.48/3356.64 c #Conflicts: 1482000 | #Constraints: 39537
3346.48/3356.64 c #Conflicts: 1483000 | #Constraints: 40537
3346.48/3356.64 c #Conflicts: 1484000 | #Constraints: 41537
3346.48/3356.64 c #Conflicts: 1485000 | #Constraints: 42537
3346.48/3356.64 c #Conflicts: 1486000 | #Constraints: 43537
3346.48/3356.64 c #Conflicts: 1487000 | #Constraints: 44537
3346.48/3356.64 c #Conflicts: 1488000 | #Constraints: 45537
3346.48/3356.64 c #Conflicts: 1489000 | #Constraints: 46537
3346.48/3356.64 c #Conflicts: 1490000 | #Constraints: 47537
3346.48/3356.64 c #Conflicts: 1491000 | #Constraints: 48537
3346.48/3356.64 c INPROCESSING
3346.48/3356.64 c GARBAGE COLLECT
3346.48/3356.64 c #Conflicts: 1492000 | #Constraints: 25336
3346.48/3356.64 c #Conflicts: 1493000 | #Constraints: 26336
3346.48/3356.64 c #Conflicts: 1494000 | #Constraints: 27336
3346.48/3356.64 c #Conflicts: 1495000 | #Constraints: 28336
3346.48/3356.64 c #Conflicts: 1496000 | #Constraints: 29336
3346.48/3356.64 c #Conflicts: 1497000 | #Constraints: 30336
3346.48/3356.64 c #Conflicts: 1498000 | #Constraints: 31336
3346.48/3356.64 c #Conflicts: 1499000 | #Constraints: 32336
3346.48/3356.64 c #Conflicts: 1500000 | #Constraints: 33336
3346.48/3356.64 c #Conflicts: 1501000 | #Constraints: 34336
3346.48/3356.64 c #Conflicts: 1502000 | #Constraints: 35336
3346.48/3356.64 c #Conflicts: 1503000 | #Constraints: 36336
3346.48/3356.64 c #Conflicts: 1504000 | #Constraints: 37336
3346.48/3356.64 c #Conflicts: 1505000 | #Constraints: 38336
3346.48/3356.64 c #Conflicts: 1506000 | #Constraints: 39336
3346.48/3356.64 c #Conflicts: 1507000 | #Constraints: 40336
3600.07/3610.90 c #Conflicts: 1508000 | #Constraints: 41336
3600.07/3610.90 c #Conflicts: 1509000 | #Constraints: 42336
3600.07/3610.90 c #Conflicts: 1510000 | #Constraints: 43336
3600.07/3610.90 c #Conflicts: 1511000 | #Constraints: 44336
3600.07/3610.90 c #Conflicts: 1512000 | #Constraints: 45336
3600.07/3610.90 c #Conflicts: 1513000 | #Constraints: 46336
3600.07/3610.90 c #Conflicts: 1514000 | #Constraints: 47336
3600.07/3610.90 c #Conflicts: 1515000 | #Constraints: 48336
3600.07/3610.90 c #Conflicts: 1516000 | #Constraints: 49336
3600.07/3610.90 c INPROCESSING
3600.07/3610.90 c GARBAGE COLLECT
3600.07/3610.90 c #Conflicts: 1517000 | #Constraints: 25931
3600.07/3610.90 c #Conflicts: 1518000 | #Constraints: 26931
3600.07/3610.90 c #Conflicts: 1519000 | #Constraints: 27931
3600.07/3610.90 c #Conflicts: 1520000 | #Constraints: 28931
3600.07/3610.90 c #Conflicts: 1521000 | #Constraints: 29931
3600.07/3610.90 c #Conflicts: 1522000 | #Constraints: 30931
3600.07/3610.90 c #Conflicts: 1523000 | #Constraints: 31931
3600.07/3610.90 c #Conflicts: 1524000 | #Constraints: 32931
3600.07/3610.90 c #Conflicts: 1525000 | #Constraints: 33931
3600.07/3610.90 c #Conflicts: 1526000 | #Constraints: 34931
3600.07/3610.90 c #Conflicts: 1527000 | #Constraints: 35931
3600.07/3610.90 c #Conflicts: 1528000 | #Constraints: 36931
3600.07/3610.90 c #Conflicts: 1529000 | #Constraints: 37931
3600.07/3610.90 c #Conflicts: 1530000 | #Constraints: 38931
3600.07/3610.90 c #Conflicts: 1531000 | #Constraints: 39931
3600.07/3610.90 c #Conflicts: 1532000 | #Constraints: 40931
3600.07/3610.90 c #Conflicts: 1533000 | #Constraints: 41931
3600.07/3610.90 c #Conflicts: 1534000 | #Constraints: 42931
3600.07/3610.90 c #Conflicts: 1535000 | #Constraints: 43931
3600.07/3610.90 c #Conflicts: 1536000 | #Constraints: 44931
3600.07/3610.90 c #Conflicts: 1537000 | #Constraints: 45931
3600.07/3610.90 c #Conflicts: 1538000 | #Constraints: 46931
3600.07/3610.90 c #Conflicts: 1539000 | #Constraints: 47931
3600.07/3610.90 c #Conflicts: 1540000 | #Constraints: 48931
3600.07/3610.90 c #Conflicts: 1541000 | #Constraints: 49931
3600.07/3610.90 c INPROCESSING
3600.07/3610.90 c GARBAGE COLLECT
3600.07/3610.90 c #Conflicts: 1542000 | #Constraints: 26321
3600.07/3610.90 c #Conflicts: 1543000 | #Constraints: 27321
3600.07/3610.90 c #Conflicts: 1544000 | #Constraints: 28321
3600.07/3610.90 c #Conflicts: 1545000 | #Constraints: 29321
3600.07/3610.90 c #Conflicts: 1546000 | #Constraints: 30321
3600.07/3610.90 c #Conflicts: 1547000 | #Constraints: 31321
3600.07/3610.90 c #Conflicts: 1548000 | #Constraints: 32321
3600.07/3610.90 c #Conflicts: 1549000 | #Constraints: 33321
3600.07/3610.90 c #Conflicts: 1550000 | #Constraints: 34321
3600.07/3610.90 c #Conflicts: 1551000 | #Constraints: 35321
3600.07/3610.90 c #Conflicts: 1552000 | #Constraints: 36321
3600.07/3610.90 c #Conflicts: 1553000 | #Constraints: 37321
3600.07/3610.90 c #Conflicts: 1554000 | #Constraints: 38321
3600.07/3610.90 c #Conflicts: 1555000 | #Constraints: 39321
3600.07/3610.90 c #Conflicts: 1556000 | #Constraints: 40321
3600.07/3610.90 c #Conflicts: 1557000 | #Constraints: 41321
3600.07/3610.90 c #Conflicts: 1558000 | #Constraints: 42321
3600.07/3610.90 c #Conflicts: 1559000 | #Constraints: 43321
3600.07/3610.90 c #Conflicts: 1560000 | #Constraints: 44321
3600.07/3610.90 c #Conflicts: 1561000 | #Constraints: 45321
3600.07/3610.90 c #Conflicts: 1562000 | #Constraints: 46321
3600.07/3610.90 c #Conflicts: 1563000 | #Constraints: 47321
3600.07/3610.90 c #Conflicts: 1564000 | #Constraints: 48321
3600.07/3610.90 c #Conflicts: 1565000 | #Constraints: 49321
3600.07/3610.90 c #Conflicts: 1566000 | #Constraints: 50321
3600.07/3610.90 c INPROCESSING
3600.07/3610.90 c GARBAGE COLLECT
3600.07/3610.90 c #Conflicts: 1567000 | #Constraints: 26539
3600.07/3610.90 c #Conflicts: 1568000 | #Constraints: 27539
3600.07/3610.90 c #Conflicts: 1569000 | #Constraints: 28539
3600.07/3610.90 c #Conflicts: 1570000 | #Constraints: 29539
3600.07/3610.90 c #Conflicts: 1571000 | #Constraints: 30539
3600.07/3610.90 c #Conflicts: 1572000 | #Constraints: 31539
3600.07/3610.90 c #Conflicts: 1573000 | #Constraints: 32539
3600.07/3610.90 c #Conflicts: 1574000 | #Constraints: 33539
3600.07/3610.90 c #Conflicts: 1575000 | #Constraints: 34539
3600.07/3610.90 c #Conflicts: 1576000 | #Constraints: 35539
3600.07/3610.90 c #Conflicts: 1577000 | #Constraints: 36539
3600.07/3610.90 c #Conflicts: 1578000 | #Constraints: 37539
3600.07/3610.90 c #Conflicts: 1579000 | #Constraints: 38539
3600.07/3610.90 c #Conflicts: 1580000 | #Constraints: 39539
3600.07/3610.90 c Program interrupted by user.
3600.07/3610.90 c cpu time 3585.85 s
3600.07/3610.90 c deterministic time 310231736584 3.10e+11
3600.07/3610.90 c optimization time 66.2135 s
3600.07/3610.90 c total solve time 3519.63 s
3600.07/3610.90 c core-guided solve time 3519.63 s
3600.07/3610.90 c propagation time 2945.28 s
3600.07/3610.90 c conflict analysis time 585.84 s
3600.07/3610.90 c propagations 118973555
3600.07/3610.90 c resolve steps 9000843
3600.07/3610.90 c decisions 7158071
3600.07/3610.90 c conflicts 1580192
3600.07/3610.90 c restarts 3068
3600.07/3610.90 c inprocessing phases 116
3600.07/3610.90 c input clauses 428
3600.07/3610.90 c input cardinalities 249
3600.07/3610.90 c input general constraints 155
3600.07/3610.90 c input average constraint length 44.19
3600.07/3610.90 c input average constraint degree 7.41
3600.07/3610.90 c learned clauses 259994
3600.07/3610.90 c learned cardinalities 8394
3600.07/3610.90 c learned general constraints 1311804
3600.07/3610.90 c learned average constraint length 183.86
3600.07/3610.90 c learned average constraint degree 12274.69
3600.07/3610.90 c watched constraints 777925
3600.07/3610.90 c counting constraints 534034
3600.07/3610.90 c gcd simplifications 24726
3600.07/3610.90 c detected cardinalities 210
3600.07/3610.90 c weakened non-implied lits 58870088
3600.07/3610.90 c weakened non-implying lits 94253
3600.07/3610.90 c original variables 360
3600.07/3610.90 c clausal propagations 10038488
3600.07/3610.90 c cardinality propagations 9244829
3600.07/3610.90 c watched propagations 19089583
3600.07/3610.90 c counting propagations 78267409
3600.07/3610.90 c watch lookups 87126551535
3600.07/3610.90 c watch backjump lookups 83241343037
3600.07/3610.90 c watch checks 124054389376
3600.07/3610.90 c propagation checks 14594189306
3600.07/3610.90 c constraint additions 961420170
3600.07/3610.90 c trail pops 127711533
3600.07/3610.90 c formula constraints 360
3600.07/3610.90 c learned constraints 1580192
3600.07/3610.90 c bound constraints 93
3600.07/3610.90 c core-guided constraints 379
3600.07/3610.90 c encountered formula constraints 3019145
3600.07/3610.90 c encountered learned constraints 6547486
3600.07/3610.90 c encountered bound constraints 81
3600.07/3610.90 c encountered core-guided constraints 1014323
3600.07/3610.90 c LP total time 0 s
3600.07/3610.90 c LP solve time 0 s
3600.07/3610.90 c LP constraints added 0
3600.07/3610.90 c LP constraints removed 0
3600.07/3610.90 c LP pivots internal 0
3600.07/3610.90 c LP pivots root 0
3600.07/3610.90 c LP calls 0
3600.07/3610.90 c LP optimalities 0
3600.07/3610.90 c LP no pivot count 0
3600.07/3610.90 c LP infeasibilities 0
3600.07/3610.90 c LP valid Farkas constraints 0
3600.07/3610.90 c LP learned Farkas constraints 0
3600.07/3610.90 c LP basis resets 0
3600.07/3610.90 c LP cycling count 0
3600.07/3610.90 c LP singular count 0
3600.07/3610.90 c LP no primal count 0
3600.07/3610.90 c LP no farkas count 0
3600.07/3610.90 c LP other issue count 0
3600.07/3610.90 c LP Gomory cuts 0
3600.07/3610.90 c LP learned cuts 0
3600.07/3610.90 c LP deleted cuts 0
3600.07/3610.90 c LP encountered Gomory constraints 0
3600.07/3610.90 c LP encountered Farkas constraints 0
3600.07/3610.90 c LP encountered learned Farkas constraints 0
3600.07/3610.90 c CG auxiliary variables introduced 156
3600.07/3610.90 c CG solutions found 2
3600.07/3610.90 c CG cores constructed 90
3600.07/3610.90 c CG core cardinality constraints returned 0
3600.07/3610.90 c CG unit cores 0
3600.07/3610.90 c CG single cores 90
3600.07/3610.90 c CG blocks removed during cardinality reduction 0
3600.07/3610.90 c CG first core best 0
3600.07/3610.90 c CG decision core best 0
3600.07/3610.90 c CG core reduction tie 0
3600.07/3610.90 c CG core degree average 1.00
3600.07/3610.90 c CG core slack average 3.74
3600.07/3610.90 c CG exhausted 0
3600.07/3610.90 c CG exhaust time 13.1001 s
3600.07/3610.90 c CG trimmed 0
3600.07/3610.90 c CG trim time 0.000821 s
3600.07/3610.90 c CG minimized 0
3600.07/3610.90 c CG minimize time 0 s
3600.07/3610.90 c CG am1 prop time 0.00481 s
3600.07/3610.90 c CG # am1s reformulated 0
3600.07/3610.90 c CG lower bound derived from am1s 0
3600.07/3610.90 c CG # clausal cores 90
3600.07/3610.90 c CG # cardinality cores 0
3600.07/3610.90 c CG # pb cores 0
3600.07/3610.90 c CG # pb reforms 0
3600.07/3610.90 c CG # cores discarded because of pb reform 0
3600.07/3610.90 d LOWERBOUND 90
3600.07/3610.90 d NCORES 90
3600.07/3610.90 d NPBCORES 0
3600.07/3610.90 d NPBREFORM 0
3600.07/3610.90 d NTRIMMED 0
3600.07/3610.90 d NEXHAUSTED 0
3600.07/3610.90 d NAM1S 0
3600.07/3610.90 d AM1LB 0
3600.07/3610.90 o 94
3600.07/3610.90 s SATISFIABLE
3600.07/3610.90 v -x1 x2 -x3 -x4 -x5 x6 x7 x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 x47 x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 x62 x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 x351 -x352 -x353 x354 -x355 -x356 x357 -x358 x359 x360
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (63205 MiB free)
memory of node 1: 64465 MiB (62819 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520890-1751575512/watcher-4520890-1751575512 -o /tmp/evaluation-result-4520890-1751575512/solver-4520890-1751575512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751575512-84440 --watchdog 3760 pb-oll-rs HOME/instance-4520890-1751575512.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=84495, runsolver pid=84480
[startup+0.100068 s]*
/proc/loadavg: 0.49 1.82 2.85 8/251 84497
/proc/meminfo: memFree=129042020/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=21012 memory=9152 CPUtime=0.09 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 593 0 0 0 7 2 0 0 20 0 1 0 73230396 21516288 2288 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 5253 2288 1376 243 0 1502 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21012 KiB
Current children cumulated memory: 9152 KiB
[startup+0.214115 s]*
/proc/loadavg: 0.49 1.82 2.85 8/251 84497
/proc/meminfo: memFree=129040440/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=21540 memory=9792 CPUtime=0.2 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 758 0 0 0 17 3 0 0 20 0 1 0 73230396 22056960 2448 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 5385 2448 1376 243 0 1634 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21540 KiB
Current children cumulated memory: 9792 KiB
[startup+0.312888 s]*
/proc/loadavg: 0.49 1.82 2.85 8/251 84497
/proc/meminfo: memFree=129038928/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=22480 memory=10688 CPUtime=0.3 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 983 0 0 0 27 3 0 0 20 0 1 0 73230396 23019520 2672 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 5620 2672 1376 243 0 1869 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 22480 KiB
Current children cumulated memory: 10688 KiB
[startup+0.700275 s]
/proc/loadavg: 0.49 1.82 2.85 8/251 84497
/proc/meminfo: memFree=129030108/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=24588 memory=14696 CPUtime=0.67 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 1470 0 0 0 62 5 0 0 20 0 1 0 73230396 25178112 3674 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 6147 3674 1376 243 0 2396 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 24588 KiB
Current children cumulated memory: 14696 KiB
[startup+1.50027 s]
/proc/loadavg: 0.49 1.82 2.85 8/251 84497
/proc/meminfo: memFree=129015744/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=26612 memory=16232 CPUtime=1.47 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 1869 0 0 0 139 8 0 0 20 0 1 0 73230396 27250688 4058 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 6653 4058 1376 243 0 2902 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 26612 KiB
Current children cumulated memory: 16232 KiB
[startup+3.11305 s]
/proc/loadavg: 0.77 1.85 2.86 8/251 84497
/proc/meminfo: memFree=128819516/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=30708 memory=18664 CPUtime=3.07 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 2469 0 0 0 295 12 0 0 20 0 1 0 73230396 31444992 4666 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 7677 4666 1376 243 0 3926 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 30708 KiB
Current children cumulated memory: 18664 KiB
[startup+6.30026 s]
/proc/loadavg: 0.77 1.85 2.86 8/252 84498
/proc/meminfo: memFree=128638124/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=33732 memory=21608 CPUtime=6.25 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 3214 0 0 0 604 21 0 0 20 0 1 0 73230396 34541568 5402 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 8433 5402 1376 243 0 4682 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 33732 KiB
Current children cumulated memory: 21608 KiB
[startup+12.7003 s]
/proc/loadavg: 1.11 1.91 2.87 8/252 84498
/proc/meminfo: memFree=128444940/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=39880 memory=25704 CPUtime=12.63 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 4256 0 0 0 1227 36 0 0 20 0 1 0 73230396 40837120 6426 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 9970 6426 1376 243 0 6219 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 39880 KiB
Current children cumulated memory: 25704 KiB
[startup+25.5003 s]
/proc/loadavg: 1.75 2.01 2.89 8/252 84499
/proc/meminfo: memFree=128271920/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=66036 memory=47928 CPUtime=25.4 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 8771 0 0 0 2482 58 0 0 20 0 1 0 73230396 67620864 11982 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 16509 11982 1376 243 0 12758 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 66036 KiB
Current children cumulated memory: 47928 KiB
[startup+51.1131 s]
/proc/loadavg: 2.52 2.17 2.92 8/252 84499
/proc/meminfo: memFree=127861520/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=71732 memory=55604 CPUtime=50.94 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 10203 0 0 0 5001 93 0 0 20 0 1 0 73230396 73453568 13901 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 17933 13901 1376 243 0 14182 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 71732 KiB
Current children cumulated memory: 55604 KiB
[startup+102.3 s]
/proc/loadavg: 3.48 2.48 2.99 8/252 84501
/proc/meminfo: memFree=127690452/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=90296 memory=66276 CPUtime=101.97 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 12348 0 0 0 10055 142 0 0 20 0 1 0 73230396 92463104 16569 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 22574 16569 1376 243 0 18823 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 90296 KiB
Current children cumulated memory: 66276 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.78 3.06 8/252 84505
/proc/meminfo: memFree=127482492/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=95300 memory=74692 CPUtime=161.77 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 13492 0 0 0 15991 186 0 0 20 0 1 0 73230396 97587200 18673 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 23825 18673 1376 243 0 20074 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 95300 KiB
Current children cumulated memory: 74692 KiB
[startup+222.3 s]
/proc/loadavg: 3.95 3.00 3.12 8/253 84508
/proc/meminfo: memFree=127351016/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=98776 memory=77636 CPUtime=221.57 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 14289 0 0 0 21923 234 0 0 20 0 1 0 73230396 101146624 19409 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 24694 19409 1376 243 0 20943 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 98776 KiB
Current children cumulated memory: 77636 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.22 3.19 8/253 84510
/proc/meminfo: memFree=127120564/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=122396 memory=87652 CPUtime=281.36 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 15817 0 0 0 27865 271 0 0 20 0 1 0 73230396 125333504 21913 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 30599 21913 1376 243 0 26848 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 122396 KiB
Current children cumulated memory: 87652 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.38 3.25 8/252 84512
/proc/meminfo: memFree=126988608/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=124088 memory=88932 CPUtime=341.17 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 16171 0 0 0 33807 310 0 0 20 0 1 0 73230396 127066112 22233 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 31022 22233 1376 243 0 27271 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 124088 KiB
Current children cumulated memory: 88932 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.51 3.30 7/251 84559
/proc/meminfo: memFree=127144100/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=126100 memory=90596 CPUtime=400.96 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 16688 0 0 0 39752 344 0 0 20 0 1 0 73230396 129126400 22649 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 31525 22649 1376 243 0 27774 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 126100 KiB
Current children cumulated memory: 90596 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.62 3.36 7/252 84562
/proc/meminfo: memFree=127068788/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=129540 memory=95080 CPUtime=460.76 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 17448 0 0 0 45699 377 0 0 20 0 1 0 73230396 132648960 23770 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 32385 23770 1376 243 0 28634 0
################
# More data... #
################
Current children cumulated memory: 152920 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.19 4.16 7/250 84701
/proc/meminfo: memFree=124973568/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=197312 memory=153080 CPUtime=2913.4 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 28886 0 0 0 290122 1218 0 0 20 0 1 0 73230396 202047488 38270 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 49328 38270 1376 243 0 45577 0
Current children cumulated CPU time: 2913.4 s
Current children cumulated vsize: 197312 KiB
Current children cumulated memory: 153080 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.17 4.16 7/251 84708
/proc/meminfo: memFree=124991680/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=197540 memory=153188 CPUtime=2973.23 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 29107 0 0 0 296086 1237 0 0 20 0 1 0 73230396 202280960 38297 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 49385 38297 1376 243 0 45634 0
Current children cumulated CPU time: 2973.23 s
Current children cumulated vsize: 197540 KiB
Current children cumulated memory: 153188 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.15 4.15 7/251 84710
/proc/meminfo: memFree=124954188/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=197540 memory=153188 CPUtime=3033.06 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 29107 0 0 0 302049 1257 0 0 20 0 1 0 73230396 202280960 38297 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 49385 38297 1376 243 0 45634 0
Current children cumulated CPU time: 3033.06 s
Current children cumulated vsize: 197540 KiB
Current children cumulated memory: 153188 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.13 4.15 7/250 84712
/proc/meminfo: memFree=124877060/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=198048 memory=153364 CPUtime=3092.88 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 29353 0 0 0 308012 1276 0 0 20 0 1 0 73230396 202801152 38341 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 49512 38341 1376 243 0 45761 0
Current children cumulated CPU time: 3092.88 s
Current children cumulated vsize: 198048 KiB
Current children cumulated memory: 153364 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.15 7/250 84716
/proc/meminfo: memFree=124883528/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=198048 memory=153448 CPUtime=3152.72 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 29515 0 0 0 313981 1291 0 0 20 0 1 0 73230396 202801152 38362 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 49512 38362 1376 243 0 45761 0
Current children cumulated CPU time: 3152.72 s
Current children cumulated vsize: 198048 KiB
Current children cumulated memory: 153448 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.14 7/250 84718
/proc/meminfo: memFree=124875488/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=198464 memory=153832 CPUtime=3212.55 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 29750 0 0 0 319943 1312 0 0 20 0 1 0 73230396 203227136 38458 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 49616 38458 1376 243 0 45865 0
Current children cumulated CPU time: 3212.55 s
Current children cumulated vsize: 198464 KiB
Current children cumulated memory: 153832 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.13 7/251 84721
/proc/meminfo: memFree=124874528/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=198764 memory=153832 CPUtime=3272.39 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 29757 0 0 0 325904 1335 0 0 20 0 1 0 73230396 203534336 38458 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 49691 38458 1376 243 0 45940 0
Current children cumulated CPU time: 3272.39 s
Current children cumulated vsize: 198764 KiB
Current children cumulated memory: 153832 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.13 7/251 84723
/proc/meminfo: memFree=124829588/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=199156 memory=154232 CPUtime=3332.22 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 30088 0 0 0 331868 1354 0 0 20 0 1 0 73230396 203935744 38558 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 49789 38558 1376 243 0 46038 0
Current children cumulated CPU time: 3332.22 s
Current children cumulated vsize: 199156 KiB
Current children cumulated memory: 154232 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.12 7/251 84725
/proc/meminfo: memFree=124803260/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=199684 memory=161308 CPUtime=3392.04 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 30445 0 0 0 337830 1374 0 0 20 0 1 0 73230396 204476416 40327 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 49921 40327 1376 243 0 46170 0
Current children cumulated CPU time: 3392.04 s
Current children cumulated vsize: 199684 KiB
Current children cumulated memory: 161308 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.12 7/251 84727
/proc/meminfo: memFree=124759520/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=200384 memory=167452 CPUtime=3451.87 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 30575 0 0 0 343796 1391 0 0 20 0 1 0 73230396 205193216 41863 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 50096 41863 1376 243 0 46345 0
Current children cumulated CPU time: 3451.87 s
Current children cumulated vsize: 200384 KiB
Current children cumulated memory: 167452 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.11 7/252 84730
/proc/meminfo: memFree=124761596/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=201032 memory=167836 CPUtime=3511.72 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 30670 0 0 0 349766 1406 0 0 20 0 1 0 73230396 205856768 41959 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 50258 41959 1376 243 0 46507 0
Current children cumulated CPU time: 3511.72 s
Current children cumulated vsize: 201032 KiB
Current children cumulated memory: 167836 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.11 7/251 84736
/proc/meminfo: memFree=124762932/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=201492 memory=168348 CPUtime=3571.55 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 30797 0 0 0 355738 1417 0 0 20 0 1 0 73230396 206327808 42087 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 50373 42087 1376 243 0 46622 0
Current children cumulated CPU time: 3571.55 s
Current children cumulated vsize: 201492 KiB
Current children cumulated memory: 168348 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.17 4.11 4.11 7/250 84736
/proc/meminfo: memFree=124756024/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=201492 memory=168348 CPUtime=3600.07 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 30797 0 0 0 358584 1423 0 0 20 0 1 0 73230396 206327808 42087 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 50373 42087 1376 243 0 46622 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 201492 KiB
Current children cumulated memory: 168348 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.9 s]
# the end of solver process 84495 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.85 s, system=14.2343 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.17 4.11 4.11 7/250 84736
/proc/meminfo: memFree=124756024/131382116 swapFree=33009904/33010684
[pid=84495] ppid=84480 vsize=201492 memory=168348 CPUtime=3600.07 cores=5,7
/proc/84495/stat : 84495 (pb-oll-rs) R 84480 84495 84427 0 -1 4194304 30797 0 0 0 358584 1423 0 0 20 0 1 0 73230396 206327808 42087 18446744073709551615 4218880 5211445 140725831019328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 30896128 140725831023004 140725831023081 140725831023081 140725831028683 0
/proc/84495/statm: 50373 42087 1376 243 0 46622 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 201492 KiB
Current children cumulated memory: 168348 KiB
Child status: 0
Real time (s): 3610.9
CPU time (s): 3600.08
CPU user time (s): 3585.85
CPU system time (s): 14.2343
CPU usage (%): 99.7004
Max. virtual memory (cumulated for all children) (KiB): 201492
Max. memory (cumulated for all children) (KiB): 168348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.85
system time used= 14.2343
maximum resident set size= 168604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30812
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 214
involuntary context switches= 3275
# summary of solver processes directly reported to runsolver:
# pid: 84495
# total CPU time (s): 3600.08
# total CPU user time (s): 3585.85
# total CPU system time (s): 14.2343
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0146 second user time and 35.5555 second system time
The end
Begin job on nodeC004 at 2025-07-03 22:45:12
IDJOB=4520890
IDBENCH=178154
IDSOLVER=3345
FILE ID=nodeC004/4520890-1751575512
RUNJOBID= nodeC004-1751575512-84440
SLURM_JOB_ID= 9598804
Free space on /tmp= 431680 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/normalized-dominating_set_hexgrid_opt_r6_c60.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4520890-1751575512/watcher-4520890-1751575512 -o /tmp/evaluation-result-4520890-1751575512/solver-4520890-1751575512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751575512-84440 --watchdog 3760 pb-oll-rs HOME/instance-4520890-1751575512.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 14dedd034317d1dc2126b6dd2b1cfc4c
RANDOM SEED=1604522288
nodeC004 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 : 1197.219
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.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.210
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.74
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.587
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.74
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.426
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.74
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.213
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.74
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.394
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.74
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 : 1197.592
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.74
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 : 1197.212
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.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 129025164 kB
MemAvailable: 129825428 kB
Buffers: 2128 kB
Cached: 1549676 kB
SwapCached: 32 kB
Active: 662364 kB
Inactive: 955684 kB
Active(anon): 73428 kB
Inactive(anon): 10748 kB
Active(file): 588936 kB
Inactive(file): 944936 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7900 kB
Writeback: 0 kB
AnonPages: 69284 kB
Mapped: 103336 kB
Shmem: 17932 kB
KReclaimable: 212036 kB
Slab: 298776 kB
SReclaimable: 212036 kB
SUnreclaim: 86740 kB
KernelStack: 3792 kB
PageTables: 2824 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 339832 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149224 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431668 MiB
End job on nodeC004 at 2025-07-03 23:45:23