0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.02 c [STEP] solving
0.00/0.02 c #variables 3825 #constraints 7450
0.00/0.02 c SMALL=int, LARGE=long long
0.00/0.02 c bounds - >= 0 @ 0.013466
0.00/0.02 c stratification level: 48
0.00/0.02 c bounds 18425 >= 0 @ 0.01471
0.00/0.02 c stratification level: 47
0.00/0.02 c bounds 17297 >= 0 @ 0.015967
0.00/0.02 c stratification level: 46
0.00/0.02 c bounds 16217 >= 0 @ 0.017039
0.00/0.02 c stratification level: 45
0.00/0.02 c bounds 15185 >= 0 @ 0.018285
0.00/0.02 c stratification level: 44
0.00/0.03 c bounds 14198 >= 0 @ 0.019393
0.00/0.03 c stratification level: 43
0.00/0.03 c bounds 13258 >= 0 @ 0.020654
0.00/0.03 c stratification level: 42
0.00/0.03 c bounds 12361 >= 0 @ 0.02184
0.00/0.03 c stratification level: 41
0.00/0.03 c bounds 11510 >= 0 @ 0.022804
0.00/0.03 c stratification level: 40
0.00/0.03 c bounds 10705 >= 0 @ 0.02406
0.00/0.03 c stratification level: 39
0.00/0.03 c bounds 9946 >= 0 @ 0.024376
0.00/0.03 c stratification level: 38
0.00/0.03 c bounds 9233 >= 0 @ 0.025649
0.00/0.03 c stratification level: 37
0.00/0.03 c bounds 8566 >= 0 @ 0.027012
0.00/0.03 c stratification level: 36
0.00/0.04 c bounds 7945 >= 0 @ 0.028411
0.00/0.04 c stratification level: 35
0.00/0.04 c bounds 7370 >= 0 @ 0.029832
0.00/0.04 c stratification level: 34
0.00/0.04 c bounds 6841 >= 0 @ 0.030364
0.00/0.04 c stratification level: 33
0.00/0.04 c bounds 6358 >= 0 @ 0.032133
0.00/0.04 c stratification level: 32
0.00/0.04 c bounds 5921 >= 0 @ 0.033769
0.00/0.04 c stratification level: 31
0.00/0.04 c bounds 5530 >= 0 @ 0.034679
0.00/0.04 c stratification level: 30
0.00/0.05 c bounds 5185 >= 0 @ 0.036219
0.00/0.05 c stratification level: 29
0.00/0.05 c bounds 4886 >= 0 @ 0.037357
0.00/0.05 c stratification level: 28
0.00/0.05 c bounds 4633 >= 0 @ 0.038852
0.00/0.05 c stratification level: 27
0.00/0.05 c bounds 4426 >= 0 @ 0.039938
0.00/0.05 c stratification level: 26
0.00/0.05 c bounds 4265 >= 0 @ 0.041823
0.00/0.05 c stratification level: 25
0.00/0.06 c bounds 4150 >= 0 @ 0.042994
0.00/0.06 c stratification level: 24
0.00/0.06 c bounds 4081 >= 0 @ 0.043344
0.00/0.06 c stratification level: 23
0.00/0.06 c bounds 4058 >= 0 @ 0.043344
0.00/0.06 c stratification level: 22
0.00/0.06 c bounds 3577 >= 0 @ 0.044871
0.00/0.06 c stratification level: 21
0.00/0.06 c bounds 3164 >= 0 @ 0.047063
0.00/0.06 c stratification level: 20
0.00/0.07 c bounds 2825 >= 0 @ 0.049532
0.00/0.07 c stratification level: 19
0.00/0.07 c bounds 2566 >= 0 @ 0.051119
0.00/0.07 c stratification level: 18
0.00/0.07 c bounds 2393 >= 0 @ 0.052924
0.00/0.07 c stratification level: 17
0.00/0.08 c bounds 2312 >= 0 @ 0.054039
0.00/0.08 c stratification level: 16
127.60/127.94 c bounds 2312 >= 16 @ 0.055339
127.60/127.94 c bounds 2312 >= 32 @ 0.130422
127.60/127.94 c bounds 2312 >= 48 @ 0.665205
127.60/127.94 c #Conflicts: 1000 | #Constraints: 8484
127.60/127.94 c #Conflicts: 2000 | #Constraints: 9484
127.60/127.94 c INPROCESSING
127.60/127.94 c GARBAGE COLLECT
127.60/127.94 c #Conflicts: 3000 | #Constraints: 9458
127.60/127.94 c #Conflicts: 4000 | #Constraints: 10458
127.60/127.94 c INPROCESSING
127.60/127.94 c GARBAGE COLLECT
127.60/127.94 c #Conflicts: 5000 | #Constraints: 9860
127.60/127.94 c #Conflicts: 6000 | #Constraints: 10860
127.60/127.94 c INPROCESSING
127.60/127.94 c GARBAGE COLLECT
127.60/127.94 c #Conflicts: 7000 | #Constraints: 9867
127.60/127.94 c #Conflicts: 8000 | #Constraints: 10867
127.60/127.94 c #Conflicts: 9000 | #Constraints: 11867
127.60/127.94 c INPROCESSING
127.60/127.94 c GARBAGE COLLECT
127.60/127.94 c #Conflicts: 10000 | #Constraints: 10571
127.60/127.94 c #Conflicts: 11000 | #Constraints: 11571
127.60/127.94 c #Conflicts: 12000 | #Constraints: 12571
127.60/127.94 c INPROCESSING
127.60/127.94 c GARBAGE COLLECT
127.60/127.94 c #Conflicts: 13000 | #Constraints: 11020
127.60/127.94 c #Conflicts: 14000 | #Constraints: 12020
127.60/127.94 c #Conflicts: 15000 | #Constraints: 13020
127.60/127.94 c INPROCESSING
127.60/127.94 c GARBAGE COLLECT
127.60/127.94 c #Conflicts: 16000 | #Constraints: 11244
127.60/127.94 c #Conflicts: 17000 | #Constraints: 12244
127.60/127.94 c #Conflicts: 18000 | #Constraints: 13244
127.60/127.94 c INPROCESSING
127.60/127.94 c GARBAGE COLLECT
127.60/127.94 c #Conflicts: 19000 | #Constraints: 11271
127.60/127.94 c #Conflicts: 20000 | #Constraints: 12271
127.60/127.94 c #Conflicts: 21000 | #Constraints: 13271
127.60/127.94 c INPROCESSING
127.60/127.94 c GARBAGE COLLECT
127.60/127.94 c #Conflicts: 22000 | #Constraints: 11075
127.60/127.94 c #Conflicts: 23000 | #Constraints: 12075
127.60/127.94 c #Conflicts: 24000 | #Constraints: 13075
127.60/127.94 c #Conflicts: 25000 | #Constraints: 14075
127.60/127.94 c INPROCESSING
127.60/127.94 c GARBAGE COLLECT
127.60/127.94 c #Conflicts: 26000 | #Constraints: 11679
127.60/127.94 c #Conflicts: 27000 | #Constraints: 12679
127.60/127.94 c #Conflicts: 28000 | #Constraints: 13679
127.60/127.94 c #Conflicts: 29000 | #Constraints: 14679
127.60/127.94 c INPROCESSING
127.60/127.94 c GARBAGE COLLECT
127.60/127.94 c #Conflicts: 30000 | #Constraints: 12080
127.60/127.94 c #Conflicts: 31000 | #Constraints: 13080
127.60/127.94 c #Conflicts: 32000 | #Constraints: 14080
127.60/127.94 c #Conflicts: 33000 | #Constraints: 15080
127.60/127.94 c INPROCESSING
127.60/127.94 c GARBAGE COLLECT
127.60/127.94 c #Conflicts: 34000 | #Constraints: 12283
127.60/127.94 c #Conflicts: 35000 | #Constraints: 13283
127.60/127.94 c #Conflicts: 36000 | #Constraints: 14283
127.60/127.94 c #Conflicts: 37000 | #Constraints: 15283
127.60/127.94 c INPROCESSING
127.60/127.94 c GARBAGE COLLECT
127.60/127.94 c #Conflicts: 38000 | #Constraints: 12280
127.60/127.94 c #Conflicts: 39000 | #Constraints: 13280
127.60/127.94 c #Conflicts: 40000 | #Constraints: 14280
127.60/127.94 c #Conflicts: 41000 | #Constraints: 15280
127.60/127.94 c INPROCESSING
127.60/127.94 c GARBAGE COLLECT
127.60/127.94 c #Conflicts: 42000 | #Constraints: 12087
127.60/127.94 c #Conflicts: 43000 | #Constraints: 13087
127.60/127.94 c #Conflicts: 44000 | #Constraints: 14087
127.60/127.94 c #Conflicts: 45000 | #Constraints: 15087
127.60/127.94 c #Conflicts: 46000 | #Constraints: 16087
127.60/127.94 c INPROCESSING
127.60/127.94 c GARBAGE COLLECT
127.60/127.94 c #Conflicts: 47000 | #Constraints: 12690
127.60/127.94 c #Conflicts: 48000 | #Constraints: 13690
127.60/127.94 c #Conflicts: 49000 | #Constraints: 14690
127.60/127.94 c #Conflicts: 50000 | #Constraints: 15690
127.60/127.94 c #Conflicts: 51000 | #Constraints: 16690
127.60/127.94 c INPROCESSING
127.60/127.94 c GARBAGE COLLECT
127.60/127.94 c #Conflicts: 52000 | #Constraints: 13093
127.60/127.94 c #Conflicts: 53000 | #Constraints: 14093
127.60/127.94 c #Conflicts: 54000 | #Constraints: 15093
127.60/127.94 c #Conflicts: 55000 | #Constraints: 16093
127.60/127.94 c #Conflicts: 56000 | #Constraints: 17093
127.60/127.94 c INPROCESSING
127.60/127.94 c GARBAGE COLLECT
127.60/127.94 c #Conflicts: 57000 | #Constraints: 13303
127.60/127.94 c #Conflicts: 58000 | #Constraints: 14303
127.60/127.94 c #Conflicts: 59000 | #Constraints: 15303
127.60/127.94 c #Conflicts: 60000 | #Constraints: 16303
127.60/127.94 c #Conflicts: 61000 | #Constraints: 17303
127.60/127.94 c INPROCESSING
127.60/127.94 c GARBAGE COLLECT
127.60/127.94 c #Conflicts: 62000 | #Constraints: 13293
127.60/127.94 c #Conflicts: 63000 | #Constraints: 14293
127.60/127.94 c #Conflicts: 64000 | #Constraints: 15293
127.60/127.94 c #Conflicts: 65000 | #Constraints: 16293
127.60/127.94 c #Conflicts: 66000 | #Constraints: 17293
127.60/127.94 c INPROCESSING
279.04/279.74 c GARBAGE COLLECT
279.04/279.74 c #Conflicts: 67000 | #Constraints: 13095
279.04/279.74 c #Conflicts: 68000 | #Constraints: 14095
279.04/279.74 c #Conflicts: 69000 | #Constraints: 15095
279.04/279.74 c #Conflicts: 70000 | #Constraints: 16095
279.04/279.74 c #Conflicts: 71000 | #Constraints: 17095
279.04/279.74 c #Conflicts: 72000 | #Constraints: 18095
279.04/279.74 c INPROCESSING
279.04/279.74 c GARBAGE COLLECT
279.04/279.74 c #Conflicts: 73000 | #Constraints: 13687
279.04/279.74 c #Conflicts: 74000 | #Constraints: 14687
279.04/279.74 c #Conflicts: 75000 | #Constraints: 15687
279.04/279.74 c #Conflicts: 76000 | #Constraints: 16687
279.04/279.74 c #Conflicts: 77000 | #Constraints: 17687
279.04/279.74 c #Conflicts: 78000 | #Constraints: 18687
279.04/279.74 c INPROCESSING
279.04/279.74 c GARBAGE COLLECT
279.04/279.74 c #Conflicts: 79000 | #Constraints: 14089
279.04/279.74 c #Conflicts: 80000 | #Constraints: 15089
279.04/279.74 c #Conflicts: 81000 | #Constraints: 16089
279.04/279.74 c #Conflicts: 82000 | #Constraints: 17089
279.04/279.74 c #Conflicts: 83000 | #Constraints: 18089
279.04/279.74 c #Conflicts: 84000 | #Constraints: 19089
279.04/279.74 c INPROCESSING
279.04/279.74 c GARBAGE COLLECT
279.04/279.74 c #Conflicts: 85000 | #Constraints: 14295
279.04/279.74 c #Conflicts: 86000 | #Constraints: 15295
279.04/279.74 c #Conflicts: 87000 | #Constraints: 16295
279.04/279.74 c #Conflicts: 88000 | #Constraints: 17295
279.04/279.74 c #Conflicts: 89000 | #Constraints: 18295
279.04/279.74 c #Conflicts: 90000 | #Constraints: 19295
279.04/279.74 c INPROCESSING
279.04/279.74 c GARBAGE COLLECT
279.04/279.74 c #Conflicts: 91000 | #Constraints: 14295
279.04/279.74 c #Conflicts: 92000 | #Constraints: 15295
279.04/279.74 c #Conflicts: 93000 | #Constraints: 16295
279.04/279.74 c #Conflicts: 94000 | #Constraints: 17295
279.04/279.74 c #Conflicts: 95000 | #Constraints: 18295
279.04/279.74 c #Conflicts: 96000 | #Constraints: 19295
279.04/279.74 c INPROCESSING
279.04/279.74 c GARBAGE COLLECT
279.04/279.74 c #Conflicts: 97000 | #Constraints: 14101
279.04/279.74 c #Conflicts: 98000 | #Constraints: 15101
279.04/279.74 c #Conflicts: 99000 | #Constraints: 16101
279.04/279.74 c #Conflicts: 100000 | #Constraints: 17101
279.04/279.74 c #Conflicts: 101000 | #Constraints: 18101
279.04/279.74 c #Conflicts: 102000 | #Constraints: 19101
279.04/279.74 c #Conflicts: 103000 | #Constraints: 20101
279.04/279.74 c INPROCESSING
279.04/279.74 c GARBAGE COLLECT
279.04/279.74 c #Conflicts: 104000 | #Constraints: 14710
279.04/279.74 c #Conflicts: 105000 | #Constraints: 15710
279.04/279.74 c #Conflicts: 106000 | #Constraints: 16710
279.04/279.74 c #Conflicts: 107000 | #Constraints: 17710
279.04/279.74 c #Conflicts: 108000 | #Constraints: 18710
279.04/279.74 c #Conflicts: 109000 | #Constraints: 19710
279.04/279.74 c #Conflicts: 110000 | #Constraints: 20710
279.04/279.74 c INPROCESSING
279.04/279.74 c GARBAGE COLLECT
279.04/279.74 c #Conflicts: 111000 | #Constraints: 15105
279.04/279.74 c #Conflicts: 112000 | #Constraints: 16105
279.04/279.74 c #Conflicts: 113000 | #Constraints: 17105
279.04/279.74 c #Conflicts: 114000 | #Constraints: 18105
279.04/279.74 c #Conflicts: 115000 | #Constraints: 19105
279.04/279.74 c #Conflicts: 116000 | #Constraints: 20105
279.04/279.74 c #Conflicts: 117000 | #Constraints: 21105
279.04/279.74 c INPROCESSING
279.04/279.74 c GARBAGE COLLECT
279.04/279.74 c #Conflicts: 118000 | #Constraints: 15304
279.04/279.74 c #Conflicts: 119000 | #Constraints: 16304
279.04/279.74 c #Conflicts: 120000 | #Constraints: 17304
279.04/279.74 c #Conflicts: 121000 | #Constraints: 18304
279.04/279.74 c #Conflicts: 122000 | #Constraints: 19304
279.04/279.74 c #Conflicts: 123000 | #Constraints: 20304
279.04/279.74 c #Conflicts: 124000 | #Constraints: 21304
279.04/279.74 c INPROCESSING
279.04/279.74 c GARBAGE COLLECT
279.04/279.74 c #Conflicts: 125000 | #Constraints: 15298
279.04/279.74 c #Conflicts: 126000 | #Constraints: 16298
279.04/279.74 c #Conflicts: 127000 | #Constraints: 17298
279.04/279.74 c #Conflicts: 128000 | #Constraints: 18298
279.04/279.74 c #Conflicts: 129000 | #Constraints: 19298
279.04/279.74 c #Conflicts: 130000 | #Constraints: 20298
279.04/279.74 c #Conflicts: 131000 | #Constraints: 21298
279.04/279.74 c INPROCESSING
279.04/279.74 c GARBAGE COLLECT
279.04/279.74 c #Conflicts: 132000 | #Constraints: 15088
279.04/279.74 c #Conflicts: 133000 | #Constraints: 16088
279.04/279.74 c #Conflicts: 134000 | #Constraints: 17088
279.04/279.74 c #Conflicts: 135000 | #Constraints: 18088
279.04/279.74 c #Conflicts: 136000 | #Constraints: 19088
279.04/279.74 c #Conflicts: 137000 | #Constraints: 20088
279.04/279.74 c #Conflicts: 138000 | #Constraints: 21088
444.33/445.46 c #Conflicts: 139000 | #Constraints: 22088
444.33/445.46 c INPROCESSING
444.33/445.46 c GARBAGE COLLECT
444.33/445.46 c #Conflicts: 140000 | #Constraints: 15690
444.33/445.46 c #Conflicts: 141000 | #Constraints: 16690
444.33/445.46 c #Conflicts: 142000 | #Constraints: 17690
444.33/445.46 c #Conflicts: 143000 | #Constraints: 18690
444.33/445.46 c #Conflicts: 144000 | #Constraints: 19690
444.33/445.46 c #Conflicts: 145000 | #Constraints: 20690
444.33/445.46 c #Conflicts: 146000 | #Constraints: 21690
444.33/445.46 c #Conflicts: 147000 | #Constraints: 22690
444.33/445.46 c INPROCESSING
444.33/445.46 c GARBAGE COLLECT
444.33/445.46 c #Conflicts: 148000 | #Constraints: 16099
444.33/445.46 c #Conflicts: 149000 | #Constraints: 17099
444.33/445.46 c #Conflicts: 150000 | #Constraints: 18099
444.33/445.46 c #Conflicts: 151000 | #Constraints: 19099
444.33/445.46 c #Conflicts: 152000 | #Constraints: 20099
444.33/445.46 c #Conflicts: 153000 | #Constraints: 21099
444.33/445.46 c #Conflicts: 154000 | #Constraints: 22099
444.33/445.46 c #Conflicts: 155000 | #Constraints: 23099
444.33/445.46 c INPROCESSING
444.33/445.46 c GARBAGE COLLECT
444.33/445.46 c #Conflicts: 156000 | #Constraints: 16301
444.33/445.46 c #Conflicts: 157000 | #Constraints: 17301
444.33/445.46 c #Conflicts: 158000 | #Constraints: 18301
444.33/445.46 c #Conflicts: 159000 | #Constraints: 19301
444.33/445.46 c #Conflicts: 160000 | #Constraints: 20301
444.33/445.46 c #Conflicts: 161000 | #Constraints: 21301
444.33/445.46 c #Conflicts: 162000 | #Constraints: 22301
444.33/445.46 c #Conflicts: 163000 | #Constraints: 23301
444.33/445.46 c INPROCESSING
444.33/445.46 c GARBAGE COLLECT
444.33/445.46 c #Conflicts: 164000 | #Constraints: 16302
444.33/445.46 c #Conflicts: 165000 | #Constraints: 17302
444.33/445.46 c #Conflicts: 166000 | #Constraints: 18302
444.33/445.46 c #Conflicts: 167000 | #Constraints: 19302
444.33/445.46 c #Conflicts: 168000 | #Constraints: 20302
444.33/445.46 c #Conflicts: 169000 | #Constraints: 21302
444.33/445.46 c #Conflicts: 170000 | #Constraints: 22302
444.33/445.46 c #Conflicts: 171000 | #Constraints: 23302
444.33/445.46 c INPROCESSING
444.33/445.46 c GARBAGE COLLECT
444.33/445.46 c #Conflicts: 172000 | #Constraints: 16099
444.33/445.46 c #Conflicts: 173000 | #Constraints: 17099
444.33/445.46 c #Conflicts: 174000 | #Constraints: 18099
444.33/445.46 c #Conflicts: 175000 | #Constraints: 19099
444.33/445.46 c #Conflicts: 176000 | #Constraints: 20099
444.33/445.46 c #Conflicts: 177000 | #Constraints: 21099
444.33/445.46 c #Conflicts: 178000 | #Constraints: 22099
444.33/445.46 c #Conflicts: 179000 | #Constraints: 23099
444.33/445.46 c #Conflicts: 180000 | #Constraints: 24099
444.33/445.46 c INPROCESSING
444.33/445.46 c GARBAGE COLLECT
444.33/445.46 c #Conflicts: 181000 | #Constraints: 16701
444.33/445.46 c #Conflicts: 182000 | #Constraints: 17701
444.33/445.46 c #Conflicts: 183000 | #Constraints: 18701
444.33/445.46 c #Conflicts: 184000 | #Constraints: 19701
444.33/445.46 c #Conflicts: 185000 | #Constraints: 20701
444.33/445.46 c #Conflicts: 186000 | #Constraints: 21701
444.33/445.46 c #Conflicts: 187000 | #Constraints: 22701
444.33/445.46 c #Conflicts: 188000 | #Constraints: 23701
444.33/445.46 c #Conflicts: 189000 | #Constraints: 24701
444.33/445.46 c INPROCESSING
444.33/445.46 c GARBAGE COLLECT
444.33/445.46 c #Conflicts: 190000 | #Constraints: 17110
444.33/445.46 c #Conflicts: 191000 | #Constraints: 18110
444.33/445.46 c #Conflicts: 192000 | #Constraints: 19110
444.33/445.46 c #Conflicts: 193000 | #Constraints: 20110
444.33/445.46 c #Conflicts: 194000 | #Constraints: 21110
444.33/445.46 c #Conflicts: 195000 | #Constraints: 22110
444.33/445.46 c #Conflicts: 196000 | #Constraints: 23110
444.33/445.46 c #Conflicts: 197000 | #Constraints: 24110
444.33/445.46 c #Conflicts: 198000 | #Constraints: 25110
444.33/445.46 c INPROCESSING
444.33/445.46 c GARBAGE COLLECT
444.33/445.46 c #Conflicts: 199000 | #Constraints: 17305
444.33/445.46 c #Conflicts: 200000 | #Constraints: 18305
444.33/445.46 c #Conflicts: 201000 | #Constraints: 19305
444.33/445.46 c #Conflicts: 202000 | #Constraints: 20305
444.33/445.46 c #Conflicts: 203000 | #Constraints: 21305
444.33/445.46 c #Conflicts: 204000 | #Constraints: 22305
444.33/445.46 c #Conflicts: 205000 | #Constraints: 23305
444.33/445.46 c #Conflicts: 206000 | #Constraints: 24305
444.33/445.46 c #Conflicts: 207000 | #Constraints: 25305
444.33/445.46 c INPROCESSING
444.33/445.46 c GARBAGE COLLECT
444.33/445.46 c #Conflicts: 208000 | #Constraints: 17302
444.33/445.46 c #Conflicts: 209000 | #Constraints: 18302
444.33/445.46 c #Conflicts: 210000 | #Constraints: 19302
444.33/445.46 c #Conflicts: 211000 | #Constraints: 20302
444.33/445.46 c #Conflicts: 212000 | #Constraints: 21302
622.82/624.45 c #Conflicts: 213000 | #Constraints: 22302
622.82/624.45 c #Conflicts: 214000 | #Constraints: 23302
622.82/624.45 c #Conflicts: 215000 | #Constraints: 24302
622.82/624.45 c #Conflicts: 216000 | #Constraints: 25302
622.82/624.45 c INPROCESSING
622.82/624.45 c GARBAGE COLLECT
622.82/624.45 c #Conflicts: 217000 | #Constraints: 17108
622.82/624.45 c #Conflicts: 218000 | #Constraints: 18108
622.82/624.45 c #Conflicts: 219000 | #Constraints: 19108
622.82/624.45 c #Conflicts: 220000 | #Constraints: 20108
622.82/624.45 c #Conflicts: 221000 | #Constraints: 21108
622.82/624.45 c #Conflicts: 222000 | #Constraints: 22108
622.82/624.45 c #Conflicts: 223000 | #Constraints: 23108
622.82/624.45 c #Conflicts: 224000 | #Constraints: 24108
622.82/624.45 c #Conflicts: 225000 | #Constraints: 25108
622.82/624.45 c #Conflicts: 226000 | #Constraints: 26108
622.82/624.45 c INPROCESSING
622.82/624.45 c GARBAGE COLLECT
622.82/624.45 c #Conflicts: 227000 | #Constraints: 17716
622.82/624.45 c #Conflicts: 228000 | #Constraints: 18716
622.82/624.45 c #Conflicts: 229000 | #Constraints: 19716
622.82/624.45 c #Conflicts: 230000 | #Constraints: 20716
622.82/624.45 c #Conflicts: 231000 | #Constraints: 21716
622.82/624.45 c #Conflicts: 232000 | #Constraints: 22716
622.82/624.45 c #Conflicts: 233000 | #Constraints: 23716
622.82/624.45 c #Conflicts: 234000 | #Constraints: 24716
622.82/624.45 c #Conflicts: 235000 | #Constraints: 25716
622.82/624.45 c #Conflicts: 236000 | #Constraints: 26716
622.82/624.45 c INPROCESSING
622.82/624.45 c GARBAGE COLLECT
622.82/624.45 c #Conflicts: 237000 | #Constraints: 18114
622.82/624.45 c #Conflicts: 238000 | #Constraints: 19114
622.82/624.45 c #Conflicts: 239000 | #Constraints: 20114
622.82/624.45 c #Conflicts: 240000 | #Constraints: 21114
622.82/624.45 c #Conflicts: 241000 | #Constraints: 22114
622.82/624.45 c #Conflicts: 242000 | #Constraints: 23114
622.82/624.45 c #Conflicts: 243000 | #Constraints: 24114
622.82/624.45 c #Conflicts: 244000 | #Constraints: 25114
622.82/624.45 c #Conflicts: 245000 | #Constraints: 26114
622.82/624.45 c #Conflicts: 246000 | #Constraints: 27114
622.82/624.45 c INPROCESSING
622.82/624.45 c GARBAGE COLLECT
622.82/624.45 c #Conflicts: 247000 | #Constraints: 18315
622.82/624.45 c #Conflicts: 248000 | #Constraints: 19315
622.82/624.45 c #Conflicts: 249000 | #Constraints: 20315
622.82/624.45 c #Conflicts: 250000 | #Constraints: 21315
622.82/624.45 c #Conflicts: 251000 | #Constraints: 22315
622.82/624.45 c #Conflicts: 252000 | #Constraints: 23315
622.82/624.45 c #Conflicts: 253000 | #Constraints: 24315
622.82/624.45 c #Conflicts: 254000 | #Constraints: 25315
622.82/624.45 c #Conflicts: 255000 | #Constraints: 26315
622.82/624.45 c #Conflicts: 256000 | #Constraints: 27315
622.82/624.45 c INPROCESSING
622.82/624.45 c GARBAGE COLLECT
622.82/624.45 c #Conflicts: 257000 | #Constraints: 18316
622.82/624.45 c #Conflicts: 258000 | #Constraints: 19316
622.82/624.45 c #Conflicts: 259000 | #Constraints: 20316
622.82/624.45 c #Conflicts: 260000 | #Constraints: 21316
622.82/624.45 c #Conflicts: 261000 | #Constraints: 22316
622.82/624.45 c #Conflicts: 262000 | #Constraints: 23316
622.82/624.45 c #Conflicts: 263000 | #Constraints: 24316
622.82/624.45 c #Conflicts: 264000 | #Constraints: 25316
622.82/624.45 c #Conflicts: 265000 | #Constraints: 26316
622.82/624.45 c #Conflicts: 266000 | #Constraints: 27316
622.82/624.45 c INPROCESSING
622.82/624.45 c GARBAGE COLLECT
622.82/624.45 c #Conflicts: 267000 | #Constraints: 18114
622.82/624.45 c #Conflicts: 268000 | #Constraints: 19114
622.82/624.45 c #Conflicts: 269000 | #Constraints: 20114
622.82/624.45 c #Conflicts: 270000 | #Constraints: 21114
622.82/624.45 c #Conflicts: 271000 | #Constraints: 22114
622.82/624.45 c #Conflicts: 272000 | #Constraints: 23114
622.82/624.45 c #Conflicts: 273000 | #Constraints: 24114
622.82/624.45 c #Conflicts: 274000 | #Constraints: 25114
622.82/624.45 c #Conflicts: 275000 | #Constraints: 26114
622.82/624.45 c #Conflicts: 276000 | #Constraints: 27114
622.82/624.45 c #Conflicts: 277000 | #Constraints: 28114
622.82/624.45 c INPROCESSING
622.82/624.45 c GARBAGE COLLECT
622.82/624.45 c #Conflicts: 278000 | #Constraints: 18705
622.82/624.45 c #Conflicts: 279000 | #Constraints: 19705
622.82/624.45 c #Conflicts: 280000 | #Constraints: 20705
622.82/624.45 c #Conflicts: 281000 | #Constraints: 21705
622.82/624.45 c #Conflicts: 282000 | #Constraints: 22705
622.82/624.45 c #Conflicts: 283000 | #Constraints: 23705
622.82/624.45 c #Conflicts: 284000 | #Constraints: 24705
622.82/624.45 c #Conflicts: 285000 | #Constraints: 25705
622.82/624.45 c #Conflicts: 286000 | #Constraints: 26705
821.86/824.06 c #Conflicts: 287000 | #Constraints: 27705
821.86/824.06 c #Conflicts: 288000 | #Constraints: 28705
821.86/824.06 c INPROCESSING
821.86/824.06 c GARBAGE COLLECT
821.86/824.06 c #Conflicts: 289000 | #Constraints: 19110
821.86/824.06 c #Conflicts: 290000 | #Constraints: 20110
821.86/824.06 c #Conflicts: 291000 | #Constraints: 21110
821.86/824.06 c #Conflicts: 292000 | #Constraints: 22110
821.86/824.06 c #Conflicts: 293000 | #Constraints: 23110
821.86/824.06 c #Conflicts: 294000 | #Constraints: 24110
821.86/824.06 c #Conflicts: 295000 | #Constraints: 25110
821.86/824.06 c #Conflicts: 296000 | #Constraints: 26110
821.86/824.06 c #Conflicts: 297000 | #Constraints: 27110
821.86/824.06 c #Conflicts: 298000 | #Constraints: 28110
821.86/824.06 c #Conflicts: 299000 | #Constraints: 29110
821.86/824.06 c INPROCESSING
821.86/824.06 c GARBAGE COLLECT
821.86/824.06 c #Conflicts: 300000 | #Constraints: 19316
821.86/824.06 c #Conflicts: 301000 | #Constraints: 20316
821.86/824.06 c #Conflicts: 302000 | #Constraints: 21316
821.86/824.06 c #Conflicts: 303000 | #Constraints: 22316
821.86/824.06 c #Conflicts: 304000 | #Constraints: 23316
821.86/824.06 c #Conflicts: 305000 | #Constraints: 24316
821.86/824.06 c #Conflicts: 306000 | #Constraints: 25316
821.86/824.06 c #Conflicts: 307000 | #Constraints: 26316
821.86/824.06 c #Conflicts: 308000 | #Constraints: 27316
821.86/824.06 c #Conflicts: 309000 | #Constraints: 28316
821.86/824.06 c #Conflicts: 310000 | #Constraints: 29316
821.86/824.06 c INPROCESSING
821.86/824.06 c GARBAGE COLLECT
821.86/824.06 c #Conflicts: 311000 | #Constraints: 19321
821.86/824.06 c #Conflicts: 312000 | #Constraints: 20321
821.86/824.06 c #Conflicts: 313000 | #Constraints: 21321
821.86/824.06 c #Conflicts: 314000 | #Constraints: 22321
821.86/824.06 c #Conflicts: 315000 | #Constraints: 23321
821.86/824.06 c #Conflicts: 316000 | #Constraints: 24321
821.86/824.06 c #Conflicts: 317000 | #Constraints: 25321
821.86/824.06 c #Conflicts: 318000 | #Constraints: 26321
821.86/824.06 c #Conflicts: 319000 | #Constraints: 27321
821.86/824.06 c #Conflicts: 320000 | #Constraints: 28321
821.86/824.06 c #Conflicts: 321000 | #Constraints: 29321
821.86/824.06 c INPROCESSING
821.86/824.06 c GARBAGE COLLECT
821.86/824.06 c #Conflicts: 322000 | #Constraints: 19118
821.86/824.06 c #Conflicts: 323000 | #Constraints: 20118
821.86/824.06 c #Conflicts: 324000 | #Constraints: 21118
821.86/824.06 c #Conflicts: 325000 | #Constraints: 22118
821.86/824.06 c #Conflicts: 326000 | #Constraints: 23118
821.86/824.06 c #Conflicts: 327000 | #Constraints: 24118
821.86/824.06 c #Conflicts: 328000 | #Constraints: 25118
821.86/824.06 c #Conflicts: 329000 | #Constraints: 26118
821.86/824.06 c #Conflicts: 330000 | #Constraints: 27118
821.86/824.06 c #Conflicts: 331000 | #Constraints: 28118
821.86/824.06 c #Conflicts: 332000 | #Constraints: 29118
821.86/824.06 c #Conflicts: 333000 | #Constraints: 30118
821.86/824.06 c INPROCESSING
821.86/824.06 c GARBAGE COLLECT
821.86/824.06 c #Conflicts: 334000 | #Constraints: 19721
821.86/824.06 c #Conflicts: 335000 | #Constraints: 20721
821.86/824.06 c #Conflicts: 336000 | #Constraints: 21721
821.86/824.06 c #Conflicts: 337000 | #Constraints: 22721
821.86/824.06 c #Conflicts: 338000 | #Constraints: 23721
821.86/824.06 c #Conflicts: 339000 | #Constraints: 24721
821.86/824.06 c #Conflicts: 340000 | #Constraints: 25721
821.86/824.06 c #Conflicts: 341000 | #Constraints: 26721
821.86/824.06 c #Conflicts: 342000 | #Constraints: 27721
821.86/824.06 c #Conflicts: 343000 | #Constraints: 28721
821.86/824.06 c #Conflicts: 344000 | #Constraints: 29721
821.86/824.06 c #Conflicts: 345000 | #Constraints: 30721
821.86/824.06 c INPROCESSING
821.86/824.06 c GARBAGE COLLECT
821.86/824.06 c #Conflicts: 346000 | #Constraints: 20121
821.86/824.06 c #Conflicts: 347000 | #Constraints: 21121
821.86/824.06 c #Conflicts: 348000 | #Constraints: 22121
821.86/824.06 c #Conflicts: 349000 | #Constraints: 23121
821.86/824.06 c #Conflicts: 350000 | #Constraints: 24121
821.86/824.06 c #Conflicts: 351000 | #Constraints: 25121
821.86/824.06 c #Conflicts: 352000 | #Constraints: 26121
821.86/824.06 c #Conflicts: 353000 | #Constraints: 27121
821.86/824.06 c #Conflicts: 354000 | #Constraints: 28121
821.86/824.06 c #Conflicts: 355000 | #Constraints: 29121
821.86/824.06 c #Conflicts: 356000 | #Constraints: 30121
821.86/824.06 c #Conflicts: 357000 | #Constraints: 31121
821.86/824.06 c INPROCESSING
821.86/824.06 c GARBAGE COLLECT
821.86/824.06 c #Conflicts: 358000 | #Constraints: 20318
821.86/824.06 c #Conflicts: 359000 | #Constraints: 21318
821.86/824.06 c #Conflicts: 360000 | #Constraints: 22318
1054.24/1057.19 c #Conflicts: 361000 | #Constraints: 23318
1054.24/1057.19 c #Conflicts: 362000 | #Constraints: 24318
1054.24/1057.19 c #Conflicts: 363000 | #Constraints: 25318
1054.24/1057.19 c #Conflicts: 364000 | #Constraints: 26318
1054.24/1057.19 c #Conflicts: 365000 | #Constraints: 27318
1054.24/1057.19 c #Conflicts: 366000 | #Constraints: 28318
1054.24/1057.19 c #Conflicts: 367000 | #Constraints: 29318
1054.24/1057.19 c #Conflicts: 368000 | #Constraints: 30318
1054.24/1057.19 c #Conflicts: 369000 | #Constraints: 31318
1054.24/1057.19 c INPROCESSING
1054.24/1057.19 c GARBAGE COLLECT
1054.24/1057.19 c #Conflicts: 370000 | #Constraints: 20326
1054.24/1057.19 c #Conflicts: 371000 | #Constraints: 21326
1054.24/1057.19 c #Conflicts: 372000 | #Constraints: 22326
1054.24/1057.19 c #Conflicts: 373000 | #Constraints: 23326
1054.24/1057.19 c #Conflicts: 374000 | #Constraints: 24326
1054.24/1057.19 c #Conflicts: 375000 | #Constraints: 25326
1054.24/1057.19 c #Conflicts: 376000 | #Constraints: 26326
1054.24/1057.19 c #Conflicts: 377000 | #Constraints: 27326
1054.24/1057.19 c #Conflicts: 378000 | #Constraints: 28326
1054.24/1057.19 c #Conflicts: 379000 | #Constraints: 29326
1054.24/1057.19 c #Conflicts: 380000 | #Constraints: 30326
1054.24/1057.19 c #Conflicts: 381000 | #Constraints: 31326
1054.24/1057.19 c INPROCESSING
1054.24/1057.19 c GARBAGE COLLECT
1054.24/1057.19 c #Conflicts: 382000 | #Constraints: 20130
1054.24/1057.19 c #Conflicts: 383000 | #Constraints: 21130
1054.24/1057.19 c #Conflicts: 384000 | #Constraints: 22130
1054.24/1057.19 c #Conflicts: 385000 | #Constraints: 23130
1054.24/1057.19 c #Conflicts: 386000 | #Constraints: 24130
1054.24/1057.19 c #Conflicts: 387000 | #Constraints: 25130
1054.24/1057.19 c #Conflicts: 388000 | #Constraints: 26130
1054.24/1057.19 c #Conflicts: 389000 | #Constraints: 27130
1054.24/1057.19 c #Conflicts: 390000 | #Constraints: 28130
1054.24/1057.19 c #Conflicts: 391000 | #Constraints: 29130
1054.24/1057.19 c #Conflicts: 392000 | #Constraints: 30130
1054.24/1057.19 c #Conflicts: 393000 | #Constraints: 31130
1054.24/1057.19 c #Conflicts: 394000 | #Constraints: 32130
1054.24/1057.19 c INPROCESSING
1054.24/1057.19 c GARBAGE COLLECT
1054.24/1057.19 c #Conflicts: 395000 | #Constraints: 20721
1054.24/1057.19 c #Conflicts: 396000 | #Constraints: 21721
1054.24/1057.19 c #Conflicts: 397000 | #Constraints: 22721
1054.24/1057.19 c #Conflicts: 398000 | #Constraints: 23721
1054.24/1057.19 c #Conflicts: 399000 | #Constraints: 24721
1054.24/1057.19 c #Conflicts: 400000 | #Constraints: 25721
1054.24/1057.19 c #Conflicts: 401000 | #Constraints: 26721
1054.24/1057.19 c #Conflicts: 402000 | #Constraints: 27721
1054.24/1057.19 c #Conflicts: 403000 | #Constraints: 28721
1054.24/1057.19 c #Conflicts: 404000 | #Constraints: 29721
1054.24/1057.19 c #Conflicts: 405000 | #Constraints: 30721
1054.24/1057.19 c #Conflicts: 406000 | #Constraints: 31721
1054.24/1057.19 c #Conflicts: 407000 | #Constraints: 32721
1054.24/1057.19 c INPROCESSING
1054.24/1057.19 c GARBAGE COLLECT
1054.24/1057.19 c #Conflicts: 408000 | #Constraints: 21123
1054.24/1057.19 c #Conflicts: 409000 | #Constraints: 22123
1054.24/1057.19 c #Conflicts: 410000 | #Constraints: 23123
1054.24/1057.19 c #Conflicts: 411000 | #Constraints: 24123
1054.24/1057.19 c #Conflicts: 412000 | #Constraints: 25123
1054.24/1057.19 c #Conflicts: 413000 | #Constraints: 26123
1054.24/1057.19 c #Conflicts: 414000 | #Constraints: 27123
1054.24/1057.19 c #Conflicts: 415000 | #Constraints: 28123
1054.24/1057.19 c #Conflicts: 416000 | #Constraints: 29123
1054.24/1057.19 c #Conflicts: 417000 | #Constraints: 30123
1054.24/1057.19 c #Conflicts: 418000 | #Constraints: 31123
1054.24/1057.19 c #Conflicts: 419000 | #Constraints: 32123
1054.24/1057.19 c #Conflicts: 420000 | #Constraints: 33123
1054.24/1057.19 c INPROCESSING
1054.24/1057.19 c GARBAGE COLLECT
1054.24/1057.19 c #Conflicts: 421000 | #Constraints: 21332
1054.24/1057.19 c #Conflicts: 422000 | #Constraints: 22332
1054.24/1057.19 c #Conflicts: 423000 | #Constraints: 23332
1054.24/1057.19 c #Conflicts: 424000 | #Constraints: 24332
1054.24/1057.19 c #Conflicts: 425000 | #Constraints: 25332
1054.24/1057.19 c #Conflicts: 426000 | #Constraints: 26332
1054.24/1057.19 c #Conflicts: 427000 | #Constraints: 27332
1054.24/1057.19 c #Conflicts: 428000 | #Constraints: 28332
1054.24/1057.19 c #Conflicts: 429000 | #Constraints: 29332
1054.24/1057.19 c #Conflicts: 430000 | #Constraints: 30332
1054.24/1057.19 c #Conflicts: 431000 | #Constraints: 31332
1054.24/1057.19 c #Conflicts: 432000 | #Constraints: 32332
1054.24/1057.19 c #Conflicts: 433000 | #Constraints: 33332
1054.24/1057.19 c INPROCESSING
1054.24/1057.19 c GARBAGE COLLECT
1054.24/1057.19 c #Conflicts: 434000 | #Constraints: 21328
1054.24/1057.19 c #Conflicts: 435000 | #Constraints: 22328
1212.04/1215.49 c #Conflicts: 436000 | #Constraints: 23328
1212.04/1215.49 c #Conflicts: 437000 | #Constraints: 24328
1212.04/1215.49 c #Conflicts: 438000 | #Constraints: 25328
1212.04/1215.49 c #Conflicts: 439000 | #Constraints: 26328
1212.04/1215.49 c #Conflicts: 440000 | #Constraints: 27328
1212.04/1215.49 c bounds 2312 >= 64 @ 1069.66
1212.04/1215.49 c #Conflicts: 441000 | #Constraints: 28329
1212.04/1215.49 c #Conflicts: 442000 | #Constraints: 29329
1212.04/1215.49 c #Conflicts: 443000 | #Constraints: 30329
1212.04/1215.49 c #Conflicts: 444000 | #Constraints: 31329
1212.04/1215.49 c #Conflicts: 445000 | #Constraints: 32329
1212.04/1215.49 c #Conflicts: 446000 | #Constraints: 33329
1212.04/1215.49 c INPROCESSING
1212.04/1215.49 c GARBAGE COLLECT
1212.04/1215.49 c #Conflicts: 447000 | #Constraints: 21110
1212.04/1215.49 c #Conflicts: 448000 | #Constraints: 22110
1212.04/1215.49 c #Conflicts: 449000 | #Constraints: 23110
1212.04/1215.49 c #Conflicts: 450000 | #Constraints: 24110
1212.04/1215.49 c #Conflicts: 451000 | #Constraints: 25110
1212.04/1215.49 c #Conflicts: 452000 | #Constraints: 26110
1212.04/1215.49 c #Conflicts: 453000 | #Constraints: 27110
1212.04/1215.49 c #Conflicts: 454000 | #Constraints: 28110
1212.04/1215.49 c #Conflicts: 455000 | #Constraints: 29110
1212.04/1215.49 c #Conflicts: 456000 | #Constraints: 30110
1212.04/1215.49 c #Conflicts: 457000 | #Constraints: 31110
1212.04/1215.49 c #Conflicts: 458000 | #Constraints: 32110
1212.04/1215.49 c #Conflicts: 459000 | #Constraints: 33110
1212.04/1215.49 c #Conflicts: 460000 | #Constraints: 34110
1212.04/1215.49 c INPROCESSING
1212.04/1215.49 c GARBAGE COLLECT
1212.04/1215.49 c #Conflicts: 461000 | #Constraints: 21699
1212.04/1215.49 c #Conflicts: 462000 | #Constraints: 22699
1212.04/1215.49 c #Conflicts: 463000 | #Constraints: 23699
1212.04/1215.49 c #Conflicts: 464000 | #Constraints: 24699
1212.04/1215.49 c #Conflicts: 465000 | #Constraints: 25699
1212.04/1215.49 c #Conflicts: 466000 | #Constraints: 26699
1212.04/1215.49 c #Conflicts: 467000 | #Constraints: 27699
1212.04/1215.49 c #Conflicts: 468000 | #Constraints: 28699
1212.04/1215.49 c #Conflicts: 469000 | #Constraints: 29699
1212.04/1215.49 c #Conflicts: 470000 | #Constraints: 30699
1212.04/1215.49 c #Conflicts: 471000 | #Constraints: 31699
1212.04/1215.49 c #Conflicts: 472000 | #Constraints: 32699
1212.04/1215.49 c #Conflicts: 473000 | #Constraints: 33699
1212.04/1215.49 c #Conflicts: 474000 | #Constraints: 34699
1212.04/1215.49 c INPROCESSING
1212.04/1215.49 c GARBAGE COLLECT
1212.04/1215.49 c #Conflicts: 475000 | #Constraints: 22092
1212.04/1215.49 c #Conflicts: 476000 | #Constraints: 23092
1212.04/1215.49 c #Conflicts: 477000 | #Constraints: 24092
1212.04/1215.49 c #Conflicts: 478000 | #Constraints: 25092
1212.04/1215.49 c #Conflicts: 479000 | #Constraints: 26092
1212.04/1215.49 c #Conflicts: 480000 | #Constraints: 27092
1212.04/1215.49 c #Conflicts: 481000 | #Constraints: 28092
1212.04/1215.49 c #Conflicts: 482000 | #Constraints: 29092
1212.04/1215.49 c #Conflicts: 483000 | #Constraints: 30092
1212.04/1215.49 c #Conflicts: 484000 | #Constraints: 31092
1212.04/1215.49 c #Conflicts: 485000 | #Constraints: 32092
1212.04/1215.49 c #Conflicts: 486000 | #Constraints: 33092
1212.04/1215.49 c #Conflicts: 487000 | #Constraints: 34092
1212.04/1215.49 c #Conflicts: 488000 | #Constraints: 35092
1212.04/1215.49 c INPROCESSING
1212.04/1215.49 c GARBAGE COLLECT
1212.04/1215.49 c #Conflicts: 489000 | #Constraints: 22284
1212.04/1215.49 c #Conflicts: 490000 | #Constraints: 23284
1212.04/1215.49 c #Conflicts: 491000 | #Constraints: 24284
1212.04/1215.49 c #Conflicts: 492000 | #Constraints: 25284
1212.04/1215.49 c #Conflicts: 493000 | #Constraints: 26284
1212.04/1215.49 c #Conflicts: 494000 | #Constraints: 27284
1212.04/1215.49 c #Conflicts: 495000 | #Constraints: 28284
1212.04/1215.49 c #Conflicts: 496000 | #Constraints: 29284
1212.04/1215.49 c #Conflicts: 497000 | #Constraints: 30284
1212.04/1215.49 c #Conflicts: 498000 | #Constraints: 31284
1212.04/1215.49 c #Conflicts: 499000 | #Constraints: 32284
1212.04/1215.49 c #Conflicts: 500000 | #Constraints: 33284
1212.04/1215.49 c #Conflicts: 501000 | #Constraints: 34284
1212.04/1215.49 c #Conflicts: 502000 | #Constraints: 35284
1212.04/1215.49 c INPROCESSING
1212.04/1215.49 c GARBAGE COLLECT
1212.04/1215.49 c #Conflicts: 503000 | #Constraints: 22280
1212.04/1215.49 c #Conflicts: 504000 | #Constraints: 23280
1212.04/1215.49 c #Conflicts: 505000 | #Constraints: 24280
1212.04/1215.49 c #Conflicts: 506000 | #Constraints: 25280
1212.04/1215.49 c #Conflicts: 507000 | #Constraints: 26280
1212.04/1215.49 c #Conflicts: 508000 | #Constraints: 27280
1212.04/1215.49 c #Conflicts: 509000 | #Constraints: 28280
1212.04/1215.49 c #Conflicts: 510000 | #Constraints: 29280
1352.60/1356.44 c #Conflicts: 511000 | #Constraints: 30280
1352.60/1356.44 c #Conflicts: 512000 | #Constraints: 31280
1352.60/1356.44 c #Conflicts: 513000 | #Constraints: 32280
1352.60/1356.44 c #Conflicts: 514000 | #Constraints: 33280
1352.60/1356.44 c #Conflicts: 515000 | #Constraints: 34280
1352.60/1356.44 c #Conflicts: 516000 | #Constraints: 35280
1352.60/1356.44 c INPROCESSING
1352.60/1356.44 c GARBAGE COLLECT
1352.60/1356.44 c #Conflicts: 517000 | #Constraints: 22079
1352.60/1356.44 c #Conflicts: 518000 | #Constraints: 23079
1352.60/1356.44 c #Conflicts: 519000 | #Constraints: 24079
1352.60/1356.44 c #Conflicts: 520000 | #Constraints: 25079
1352.60/1356.44 c #Conflicts: 521000 | #Constraints: 26079
1352.60/1356.44 c #Conflicts: 522000 | #Constraints: 27079
1352.60/1356.44 c #Conflicts: 523000 | #Constraints: 28079
1352.60/1356.44 c #Conflicts: 524000 | #Constraints: 29079
1352.60/1356.44 c #Conflicts: 525000 | #Constraints: 30079
1352.60/1356.44 c #Conflicts: 526000 | #Constraints: 31079
1352.60/1356.44 c #Conflicts: 527000 | #Constraints: 32079
1352.60/1356.44 c #Conflicts: 528000 | #Constraints: 33079
1352.60/1356.44 c #Conflicts: 529000 | #Constraints: 34079
1352.60/1356.44 c #Conflicts: 530000 | #Constraints: 35079
1352.60/1356.44 c #Conflicts: 531000 | #Constraints: 36079
1352.60/1356.44 c INPROCESSING
1352.60/1356.44 c GARBAGE COLLECT
1352.60/1356.44 c #Conflicts: 532000 | #Constraints: 22685
1352.60/1356.44 c #Conflicts: 533000 | #Constraints: 23685
1352.60/1356.44 c #Conflicts: 534000 | #Constraints: 24685
1352.60/1356.44 c #Conflicts: 535000 | #Constraints: 25685
1352.60/1356.44 c #Conflicts: 536000 | #Constraints: 26685
1352.60/1356.44 c #Conflicts: 537000 | #Constraints: 27685
1352.60/1356.44 c #Conflicts: 538000 | #Constraints: 28685
1352.60/1356.44 c #Conflicts: 539000 | #Constraints: 29685
1352.60/1356.44 c #Conflicts: 540000 | #Constraints: 30685
1352.60/1356.44 c #Conflicts: 541000 | #Constraints: 31685
1352.60/1356.44 c #Conflicts: 542000 | #Constraints: 32685
1352.60/1356.44 c #Conflicts: 543000 | #Constraints: 33685
1352.60/1356.44 c #Conflicts: 544000 | #Constraints: 34685
1352.60/1356.44 c #Conflicts: 545000 | #Constraints: 35685
1352.60/1356.44 c #Conflicts: 546000 | #Constraints: 36685
1352.60/1356.44 c INPROCESSING
1352.60/1356.44 c GARBAGE COLLECT
1352.60/1356.44 c #Conflicts: 547000 | #Constraints: 23082
1352.60/1356.44 c #Conflicts: 548000 | #Constraints: 24082
1352.60/1356.44 c #Conflicts: 549000 | #Constraints: 25082
1352.60/1356.44 c #Conflicts: 550000 | #Constraints: 26082
1352.60/1356.44 c #Conflicts: 551000 | #Constraints: 27082
1352.60/1356.44 c #Conflicts: 552000 | #Constraints: 28082
1352.60/1356.44 c #Conflicts: 553000 | #Constraints: 29082
1352.60/1356.44 c #Conflicts: 554000 | #Constraints: 30082
1352.60/1356.44 c #Conflicts: 555000 | #Constraints: 31082
1352.60/1356.44 c #Conflicts: 556000 | #Constraints: 32082
1352.60/1356.44 c #Conflicts: 557000 | #Constraints: 33082
1352.60/1356.44 c #Conflicts: 558000 | #Constraints: 34082
1352.60/1356.44 c #Conflicts: 559000 | #Constraints: 35082
1352.60/1356.44 c #Conflicts: 560000 | #Constraints: 36082
1352.60/1356.44 c #Conflicts: 561000 | #Constraints: 37082
1352.60/1356.44 c INPROCESSING
1352.60/1356.44 c GARBAGE COLLECT
1352.60/1356.44 c #Conflicts: 562000 | #Constraints: 23284
1352.60/1356.44 c #Conflicts: 563000 | #Constraints: 24284
1352.60/1356.44 c #Conflicts: 564000 | #Constraints: 25284
1352.60/1356.44 c #Conflicts: 565000 | #Constraints: 26284
1352.60/1356.44 c #Conflicts: 566000 | #Constraints: 27284
1352.60/1356.44 c #Conflicts: 567000 | #Constraints: 28284
1352.60/1356.44 c #Conflicts: 568000 | #Constraints: 29284
1352.60/1356.44 c #Conflicts: 569000 | #Constraints: 30284
1352.60/1356.44 c #Conflicts: 570000 | #Constraints: 31284
1352.60/1356.44 c #Conflicts: 571000 | #Constraints: 32284
1352.60/1356.44 c #Conflicts: 572000 | #Constraints: 33284
1352.60/1356.44 c #Conflicts: 573000 | #Constraints: 34284
1352.60/1356.44 c #Conflicts: 574000 | #Constraints: 35284
1352.60/1356.44 c #Conflicts: 575000 | #Constraints: 36284
1352.60/1356.44 c #Conflicts: 576000 | #Constraints: 37284
1352.60/1356.44 c INPROCESSING
1352.60/1356.44 c GARBAGE COLLECT
1352.60/1356.44 c #Conflicts: 577000 | #Constraints: 23286
1352.60/1356.44 c #Conflicts: 578000 | #Constraints: 24286
1352.60/1356.44 c #Conflicts: 579000 | #Constraints: 25286
1352.60/1356.44 c #Conflicts: 580000 | #Constraints: 26286
1352.60/1356.44 c #Conflicts: 581000 | #Constraints: 27286
1352.60/1356.44 c #Conflicts: 582000 | #Constraints: 28286
1352.60/1356.44 c #Conflicts: 583000 | #Constraints: 29286
1352.60/1356.44 c #Conflicts: 584000 | #Constraints: 30286
1352.60/1356.44 c #Conflicts: 585000 | #Constraints: 31286
1352.60/1356.44 c #Conflicts: 586000 | #Constraints: 32286
1487.69/1491.98 c #Conflicts: 587000 | #Constraints: 33286
1487.69/1491.98 c #Conflicts: 588000 | #Constraints: 34286
1487.69/1491.98 c #Conflicts: 589000 | #Constraints: 35286
1487.69/1491.98 c #Conflicts: 590000 | #Constraints: 36286
1487.69/1491.98 c #Conflicts: 591000 | #Constraints: 37286
1487.69/1491.98 c INPROCESSING
1487.69/1491.98 c GARBAGE COLLECT
1487.69/1491.98 c #Conflicts: 592000 | #Constraints: 23082
1487.69/1491.98 c #Conflicts: 593000 | #Constraints: 24082
1487.69/1491.98 c #Conflicts: 594000 | #Constraints: 25082
1487.69/1491.98 c #Conflicts: 595000 | #Constraints: 26082
1487.69/1491.98 c #Conflicts: 596000 | #Constraints: 27082
1487.69/1491.98 c #Conflicts: 597000 | #Constraints: 28082
1487.69/1491.98 c #Conflicts: 598000 | #Constraints: 29082
1487.69/1491.98 c #Conflicts: 599000 | #Constraints: 30082
1487.69/1491.98 c #Conflicts: 600000 | #Constraints: 31082
1487.69/1491.98 c #Conflicts: 601000 | #Constraints: 32082
1487.69/1491.98 c #Conflicts: 602000 | #Constraints: 33082
1487.69/1491.98 c #Conflicts: 603000 | #Constraints: 34082
1487.69/1491.98 c #Conflicts: 604000 | #Constraints: 35082
1487.69/1491.98 c #Conflicts: 605000 | #Constraints: 36082
1487.69/1491.98 c #Conflicts: 606000 | #Constraints: 37082
1487.69/1491.98 c #Conflicts: 607000 | #Constraints: 38082
1487.69/1491.98 c INPROCESSING
1487.69/1491.98 c GARBAGE COLLECT
1487.69/1491.98 c #Conflicts: 608000 | #Constraints: 23674
1487.69/1491.98 c #Conflicts: 609000 | #Constraints: 24674
1487.69/1491.98 c #Conflicts: 610000 | #Constraints: 25674
1487.69/1491.98 c #Conflicts: 611000 | #Constraints: 26674
1487.69/1491.98 c #Conflicts: 612000 | #Constraints: 27674
1487.69/1491.98 c #Conflicts: 613000 | #Constraints: 28674
1487.69/1491.98 c #Conflicts: 614000 | #Constraints: 29674
1487.69/1491.98 c #Conflicts: 615000 | #Constraints: 30674
1487.69/1491.98 c #Conflicts: 616000 | #Constraints: 31674
1487.69/1491.98 c #Conflicts: 617000 | #Constraints: 32674
1487.69/1491.98 c #Conflicts: 618000 | #Constraints: 33674
1487.69/1491.98 c #Conflicts: 619000 | #Constraints: 34674
1487.69/1491.98 c #Conflicts: 620000 | #Constraints: 35674
1487.69/1491.98 c #Conflicts: 621000 | #Constraints: 36674
1487.69/1491.98 c #Conflicts: 622000 | #Constraints: 37674
1487.69/1491.98 c #Conflicts: 623000 | #Constraints: 38674
1487.69/1491.98 c INPROCESSING
1487.69/1491.98 c GARBAGE COLLECT
1487.69/1491.98 c #Conflicts: 624000 | #Constraints: 24076
1487.69/1491.98 c #Conflicts: 625000 | #Constraints: 25076
1487.69/1491.98 c #Conflicts: 626000 | #Constraints: 26076
1487.69/1491.98 c #Conflicts: 627000 | #Constraints: 27076
1487.69/1491.98 c #Conflicts: 628000 | #Constraints: 28076
1487.69/1491.98 c #Conflicts: 629000 | #Constraints: 29076
1487.69/1491.98 c #Conflicts: 630000 | #Constraints: 30076
1487.69/1491.98 c #Conflicts: 631000 | #Constraints: 31076
1487.69/1491.98 c #Conflicts: 632000 | #Constraints: 32076
1487.69/1491.98 c #Conflicts: 633000 | #Constraints: 33076
1487.69/1491.98 c #Conflicts: 634000 | #Constraints: 34076
1487.69/1491.98 c #Conflicts: 635000 | #Constraints: 35076
1487.69/1491.98 c #Conflicts: 636000 | #Constraints: 36076
1487.69/1491.98 c #Conflicts: 637000 | #Constraints: 37076
1487.69/1491.98 c #Conflicts: 638000 | #Constraints: 38076
1487.69/1491.98 c #Conflicts: 639000 | #Constraints: 39076
1487.69/1491.98 c INPROCESSING
1487.69/1491.98 c GARBAGE COLLECT
1487.69/1491.98 c #Conflicts: 640000 | #Constraints: 24275
1487.69/1491.98 c #Conflicts: 641000 | #Constraints: 25275
1487.69/1491.98 c #Conflicts: 642000 | #Constraints: 26275
1487.69/1491.98 c #Conflicts: 643000 | #Constraints: 27275
1487.69/1491.98 c #Conflicts: 644000 | #Constraints: 28275
1487.69/1491.98 c #Conflicts: 645000 | #Constraints: 29275
1487.69/1491.98 c #Conflicts: 646000 | #Constraints: 30275
1487.69/1491.98 c #Conflicts: 647000 | #Constraints: 31275
1487.69/1491.98 c #Conflicts: 648000 | #Constraints: 32275
1487.69/1491.98 c #Conflicts: 649000 | #Constraints: 33275
1487.69/1491.98 c #Conflicts: 650000 | #Constraints: 34275
1487.69/1491.98 c #Conflicts: 651000 | #Constraints: 35275
1487.69/1491.98 c #Conflicts: 652000 | #Constraints: 36275
1487.69/1491.98 c #Conflicts: 653000 | #Constraints: 37275
1487.69/1491.98 c #Conflicts: 654000 | #Constraints: 38275
1487.69/1491.98 c #Conflicts: 655000 | #Constraints: 39275
1487.69/1491.98 c INPROCESSING
1487.69/1491.98 c GARBAGE COLLECT
1487.69/1491.98 c #Conflicts: 656000 | #Constraints: 24279
1487.69/1491.98 c #Conflicts: 657000 | #Constraints: 25279
1487.69/1491.98 c #Conflicts: 658000 | #Constraints: 26279
1487.69/1491.98 c #Conflicts: 659000 | #Constraints: 27279
1487.69/1491.98 c #Conflicts: 660000 | #Constraints: 28279
1487.69/1491.98 c #Conflicts: 661000 | #Constraints: 29279
1628.65/1633.36 c #Conflicts: 662000 | #Constraints: 30279
1628.65/1633.36 c #Conflicts: 663000 | #Constraints: 31279
1628.65/1633.36 c #Conflicts: 664000 | #Constraints: 32279
1628.65/1633.36 c #Conflicts: 665000 | #Constraints: 33279
1628.65/1633.36 c #Conflicts: 666000 | #Constraints: 34279
1628.65/1633.36 c #Conflicts: 667000 | #Constraints: 35279
1628.65/1633.36 c #Conflicts: 668000 | #Constraints: 36279
1628.65/1633.36 c #Conflicts: 669000 | #Constraints: 37279
1628.65/1633.36 c #Conflicts: 670000 | #Constraints: 38279
1628.65/1633.36 c #Conflicts: 671000 | #Constraints: 39279
1628.65/1633.36 c INPROCESSING
1628.65/1633.36 c GARBAGE COLLECT
1628.65/1633.36 c #Conflicts: 672000 | #Constraints: 24079
1628.65/1633.36 c #Conflicts: 673000 | #Constraints: 25079
1628.65/1633.36 c #Conflicts: 674000 | #Constraints: 26079
1628.65/1633.36 c #Conflicts: 675000 | #Constraints: 27079
1628.65/1633.36 c #Conflicts: 676000 | #Constraints: 28079
1628.65/1633.36 c #Conflicts: 677000 | #Constraints: 29079
1628.65/1633.36 c #Conflicts: 678000 | #Constraints: 30079
1628.65/1633.36 c #Conflicts: 679000 | #Constraints: 31079
1628.65/1633.36 c #Conflicts: 680000 | #Constraints: 32079
1628.65/1633.36 c #Conflicts: 681000 | #Constraints: 33079
1628.65/1633.36 c #Conflicts: 682000 | #Constraints: 34079
1628.65/1633.36 c #Conflicts: 683000 | #Constraints: 35079
1628.65/1633.36 c #Conflicts: 684000 | #Constraints: 36079
1628.65/1633.36 c #Conflicts: 685000 | #Constraints: 37079
1628.65/1633.36 c #Conflicts: 686000 | #Constraints: 38079
1628.65/1633.36 c #Conflicts: 687000 | #Constraints: 39079
1628.65/1633.36 c #Conflicts: 688000 | #Constraints: 40079
1628.65/1633.36 c INPROCESSING
1628.65/1633.36 c GARBAGE COLLECT
1628.65/1633.36 c #Conflicts: 689000 | #Constraints: 24682
1628.65/1633.36 c #Conflicts: 690000 | #Constraints: 25682
1628.65/1633.36 c #Conflicts: 691000 | #Constraints: 26682
1628.65/1633.36 c #Conflicts: 692000 | #Constraints: 27682
1628.65/1633.36 c #Conflicts: 693000 | #Constraints: 28682
1628.65/1633.36 c #Conflicts: 694000 | #Constraints: 29682
1628.65/1633.36 c #Conflicts: 695000 | #Constraints: 30682
1628.65/1633.36 c #Conflicts: 696000 | #Constraints: 31682
1628.65/1633.36 c #Conflicts: 697000 | #Constraints: 32682
1628.65/1633.36 c #Conflicts: 698000 | #Constraints: 33682
1628.65/1633.36 c #Conflicts: 699000 | #Constraints: 34682
1628.65/1633.36 c #Conflicts: 700000 | #Constraints: 35682
1628.65/1633.36 c #Conflicts: 701000 | #Constraints: 36682
1628.65/1633.36 c #Conflicts: 702000 | #Constraints: 37682
1628.65/1633.36 c #Conflicts: 703000 | #Constraints: 38682
1628.65/1633.36 c #Conflicts: 704000 | #Constraints: 39682
1628.65/1633.36 c #Conflicts: 705000 | #Constraints: 40682
1628.65/1633.36 c INPROCESSING
1628.65/1633.36 c GARBAGE COLLECT
1628.65/1633.36 c #Conflicts: 706000 | #Constraints: 25080
1628.65/1633.36 c #Conflicts: 707000 | #Constraints: 26080
1628.65/1633.36 c #Conflicts: 708000 | #Constraints: 27080
1628.65/1633.36 c #Conflicts: 709000 | #Constraints: 28080
1628.65/1633.36 c #Conflicts: 710000 | #Constraints: 29080
1628.65/1633.36 c #Conflicts: 711000 | #Constraints: 30080
1628.65/1633.36 c #Conflicts: 712000 | #Constraints: 31080
1628.65/1633.36 c #Conflicts: 713000 | #Constraints: 32080
1628.65/1633.36 c #Conflicts: 714000 | #Constraints: 33080
1628.65/1633.36 c #Conflicts: 715000 | #Constraints: 34080
1628.65/1633.36 c #Conflicts: 716000 | #Constraints: 35080
1628.65/1633.36 c #Conflicts: 717000 | #Constraints: 36080
1628.65/1633.36 c #Conflicts: 718000 | #Constraints: 37080
1628.65/1633.36 c #Conflicts: 719000 | #Constraints: 38080
1628.65/1633.36 c #Conflicts: 720000 | #Constraints: 39080
1628.65/1633.36 c #Conflicts: 721000 | #Constraints: 40080
1628.65/1633.36 c #Conflicts: 722000 | #Constraints: 41080
1628.65/1633.36 c INPROCESSING
1628.65/1633.36 c GARBAGE COLLECT
1628.65/1633.36 c #Conflicts: 723000 | #Constraints: 25277
1628.65/1633.36 c #Conflicts: 724000 | #Constraints: 26277
1628.65/1633.36 c #Conflicts: 725000 | #Constraints: 27277
1628.65/1633.36 c #Conflicts: 726000 | #Constraints: 28277
1628.65/1633.36 c #Conflicts: 727000 | #Constraints: 29277
1628.65/1633.36 c #Conflicts: 728000 | #Constraints: 30277
1628.65/1633.36 c #Conflicts: 729000 | #Constraints: 31277
1628.65/1633.36 c #Conflicts: 730000 | #Constraints: 32277
1628.65/1633.36 c #Conflicts: 731000 | #Constraints: 33277
1628.65/1633.36 c #Conflicts: 732000 | #Constraints: 34277
1628.65/1633.36 c #Conflicts: 733000 | #Constraints: 35277
1628.65/1633.36 c #Conflicts: 734000 | #Constraints: 36277
1628.65/1633.36 c #Conflicts: 735000 | #Constraints: 37277
1628.65/1633.36 c #Conflicts: 736000 | #Constraints: 38277
1628.65/1633.36 c #Conflicts: 737000 | #Constraints: 39277
1628.65/1633.36 c #Conflicts: 738000 | #Constraints: 40277
1770.91/1776.09 c #Conflicts: 739000 | #Constraints: 41277
1770.91/1776.09 c INPROCESSING
1770.91/1776.09 c GARBAGE COLLECT
1770.91/1776.09 c #Conflicts: 740000 | #Constraints: 25285
1770.91/1776.09 c #Conflicts: 741000 | #Constraints: 26285
1770.91/1776.09 c #Conflicts: 742000 | #Constraints: 27285
1770.91/1776.09 c #Conflicts: 743000 | #Constraints: 28285
1770.91/1776.09 c #Conflicts: 744000 | #Constraints: 29285
1770.91/1776.09 c #Conflicts: 745000 | #Constraints: 30285
1770.91/1776.09 c #Conflicts: 746000 | #Constraints: 31285
1770.91/1776.09 c #Conflicts: 747000 | #Constraints: 32285
1770.91/1776.09 c #Conflicts: 748000 | #Constraints: 33285
1770.91/1776.09 c #Conflicts: 749000 | #Constraints: 34285
1770.91/1776.09 c #Conflicts: 750000 | #Constraints: 35285
1770.91/1776.09 c #Conflicts: 751000 | #Constraints: 36285
1770.91/1776.09 c #Conflicts: 752000 | #Constraints: 37285
1770.91/1776.09 c #Conflicts: 753000 | #Constraints: 38285
1770.91/1776.09 c #Conflicts: 754000 | #Constraints: 39285
1770.91/1776.09 c #Conflicts: 755000 | #Constraints: 40285
1770.91/1776.09 c #Conflicts: 756000 | #Constraints: 41285
1770.91/1776.09 c INPROCESSING
1770.91/1776.09 c GARBAGE COLLECT
1770.91/1776.09 c #Conflicts: 757000 | #Constraints: 25083
1770.91/1776.09 c #Conflicts: 758000 | #Constraints: 26083
1770.91/1776.09 c #Conflicts: 759000 | #Constraints: 27083
1770.91/1776.09 c #Conflicts: 760000 | #Constraints: 28083
1770.91/1776.09 c #Conflicts: 761000 | #Constraints: 29083
1770.91/1776.09 c #Conflicts: 762000 | #Constraints: 30083
1770.91/1776.09 c #Conflicts: 763000 | #Constraints: 31083
1770.91/1776.09 c #Conflicts: 764000 | #Constraints: 32083
1770.91/1776.09 c #Conflicts: 765000 | #Constraints: 33083
1770.91/1776.09 c #Conflicts: 766000 | #Constraints: 34083
1770.91/1776.09 c #Conflicts: 767000 | #Constraints: 35083
1770.91/1776.09 c #Conflicts: 768000 | #Constraints: 36083
1770.91/1776.09 c #Conflicts: 769000 | #Constraints: 37083
1770.91/1776.09 c #Conflicts: 770000 | #Constraints: 38083
1770.91/1776.09 c #Conflicts: 771000 | #Constraints: 39083
1770.91/1776.09 c #Conflicts: 772000 | #Constraints: 40083
1770.91/1776.09 c #Conflicts: 773000 | #Constraints: 41083
1770.91/1776.09 c #Conflicts: 774000 | #Constraints: 42083
1770.91/1776.09 c INPROCESSING
1770.91/1776.09 c GARBAGE COLLECT
1770.91/1776.09 c #Conflicts: 775000 | #Constraints: 25685
1770.91/1776.09 c #Conflicts: 776000 | #Constraints: 26685
1770.91/1776.09 c #Conflicts: 777000 | #Constraints: 27685
1770.91/1776.09 c #Conflicts: 778000 | #Constraints: 28685
1770.91/1776.09 c #Conflicts: 779000 | #Constraints: 29685
1770.91/1776.09 c #Conflicts: 780000 | #Constraints: 30685
1770.91/1776.09 c #Conflicts: 781000 | #Constraints: 31685
1770.91/1776.09 c #Conflicts: 782000 | #Constraints: 32685
1770.91/1776.09 c #Conflicts: 783000 | #Constraints: 33685
1770.91/1776.09 c #Conflicts: 784000 | #Constraints: 34685
1770.91/1776.09 c #Conflicts: 785000 | #Constraints: 35685
1770.91/1776.09 c #Conflicts: 786000 | #Constraints: 36685
1770.91/1776.09 c #Conflicts: 787000 | #Constraints: 37685
1770.91/1776.09 c #Conflicts: 788000 | #Constraints: 38685
1770.91/1776.09 c #Conflicts: 789000 | #Constraints: 39685
1770.91/1776.09 c #Conflicts: 790000 | #Constraints: 40685
1770.91/1776.09 c #Conflicts: 791000 | #Constraints: 41685
1770.91/1776.09 c #Conflicts: 792000 | #Constraints: 42685
1770.91/1776.09 c INPROCESSING
1770.91/1776.09 c GARBAGE COLLECT
1770.91/1776.09 c #Conflicts: 793000 | #Constraints: 26080
1770.91/1776.09 c #Conflicts: 794000 | #Constraints: 27080
1770.91/1776.09 c #Conflicts: 795000 | #Constraints: 28080
1770.91/1776.09 c #Conflicts: 796000 | #Constraints: 29080
1770.91/1776.09 c #Conflicts: 797000 | #Constraints: 30080
1770.91/1776.09 c #Conflicts: 798000 | #Constraints: 31080
1770.91/1776.09 c #Conflicts: 799000 | #Constraints: 32080
1770.91/1776.09 c #Conflicts: 800000 | #Constraints: 33080
1770.91/1776.09 c #Conflicts: 801000 | #Constraints: 34080
1770.91/1776.09 c #Conflicts: 802000 | #Constraints: 35080
1770.91/1776.09 c #Conflicts: 803000 | #Constraints: 36080
1770.91/1776.09 c #Conflicts: 804000 | #Constraints: 37080
1770.91/1776.09 c #Conflicts: 805000 | #Constraints: 38080
1770.91/1776.09 c #Conflicts: 806000 | #Constraints: 39080
1770.91/1776.09 c #Conflicts: 807000 | #Constraints: 40080
1770.91/1776.09 c #Conflicts: 808000 | #Constraints: 41080
1770.91/1776.09 c #Conflicts: 809000 | #Constraints: 42080
1770.91/1776.09 c #Conflicts: 810000 | #Constraints: 43080
1770.91/1776.09 c INPROCESSING
1770.91/1776.09 c GARBAGE COLLECT
1770.91/1776.09 c #Conflicts: 811000 | #Constraints: 26285
1770.91/1776.09 c #Conflicts: 812000 | #Constraints: 27285
1770.91/1776.09 c #Conflicts: 813000 | #Constraints: 28285
1925.03/1930.60 c #Conflicts: 814000 | #Constraints: 29285
1925.03/1930.60 c #Conflicts: 815000 | #Constraints: 30285
1925.03/1930.60 c #Conflicts: 816000 | #Constraints: 31285
1925.03/1930.60 c #Conflicts: 817000 | #Constraints: 32285
1925.03/1930.60 c #Conflicts: 818000 | #Constraints: 33285
1925.03/1930.60 c #Conflicts: 819000 | #Constraints: 34285
1925.03/1930.60 c #Conflicts: 820000 | #Constraints: 35285
1925.03/1930.60 c #Conflicts: 821000 | #Constraints: 36285
1925.03/1930.60 c #Conflicts: 822000 | #Constraints: 37285
1925.03/1930.60 c #Conflicts: 823000 | #Constraints: 38285
1925.03/1930.60 c #Conflicts: 824000 | #Constraints: 39285
1925.03/1930.60 c #Conflicts: 825000 | #Constraints: 40285
1925.03/1930.60 c #Conflicts: 826000 | #Constraints: 41285
1925.03/1930.60 c #Conflicts: 827000 | #Constraints: 42285
1925.03/1930.60 c #Conflicts: 828000 | #Constraints: 43285
1925.03/1930.60 c INPROCESSING
1925.03/1930.60 c GARBAGE COLLECT
1925.03/1930.60 c #Conflicts: 829000 | #Constraints: 26282
1925.03/1930.60 c #Conflicts: 830000 | #Constraints: 27282
1925.03/1930.60 c #Conflicts: 831000 | #Constraints: 28282
1925.03/1930.60 c #Conflicts: 832000 | #Constraints: 29282
1925.03/1930.60 c #Conflicts: 833000 | #Constraints: 30282
1925.03/1930.60 c #Conflicts: 834000 | #Constraints: 31282
1925.03/1930.60 c #Conflicts: 835000 | #Constraints: 32282
1925.03/1930.60 c #Conflicts: 836000 | #Constraints: 33282
1925.03/1930.60 c #Conflicts: 837000 | #Constraints: 34282
1925.03/1930.60 c #Conflicts: 838000 | #Constraints: 35282
1925.03/1930.60 c #Conflicts: 839000 | #Constraints: 36282
1925.03/1930.60 c #Conflicts: 840000 | #Constraints: 37282
1925.03/1930.60 c #Conflicts: 841000 | #Constraints: 38282
1925.03/1930.60 c #Conflicts: 842000 | #Constraints: 39282
1925.03/1930.60 c #Conflicts: 843000 | #Constraints: 40282
1925.03/1930.60 c #Conflicts: 844000 | #Constraints: 41282
1925.03/1930.60 c #Conflicts: 845000 | #Constraints: 42282
1925.03/1930.60 c #Conflicts: 846000 | #Constraints: 43282
1925.03/1930.60 c INPROCESSING
1925.03/1930.60 c GARBAGE COLLECT
1925.03/1930.60 c #Conflicts: 847000 | #Constraints: 26081
1925.03/1930.60 c #Conflicts: 848000 | #Constraints: 27081
1925.03/1930.60 c #Conflicts: 849000 | #Constraints: 28081
1925.03/1930.60 c #Conflicts: 850000 | #Constraints: 29081
1925.03/1930.60 c #Conflicts: 851000 | #Constraints: 30081
1925.03/1930.60 c #Conflicts: 852000 | #Constraints: 31081
1925.03/1930.60 c #Conflicts: 853000 | #Constraints: 32081
1925.03/1930.60 c #Conflicts: 854000 | #Constraints: 33081
1925.03/1930.60 c #Conflicts: 855000 | #Constraints: 34081
1925.03/1930.60 c #Conflicts: 856000 | #Constraints: 35081
1925.03/1930.60 c #Conflicts: 857000 | #Constraints: 36081
1925.03/1930.60 c #Conflicts: 858000 | #Constraints: 37081
1925.03/1930.60 c #Conflicts: 859000 | #Constraints: 38081
1925.03/1930.60 c #Conflicts: 860000 | #Constraints: 39081
1925.03/1930.60 c #Conflicts: 861000 | #Constraints: 40081
1925.03/1930.60 c #Conflicts: 862000 | #Constraints: 41081
1925.03/1930.60 c #Conflicts: 863000 | #Constraints: 42081
1925.03/1930.60 c #Conflicts: 864000 | #Constraints: 43081
1925.03/1930.60 c #Conflicts: 865000 | #Constraints: 44081
1925.03/1930.60 c INPROCESSING
1925.03/1930.60 c GARBAGE COLLECT
1925.03/1930.60 c #Conflicts: 866000 | #Constraints: 26681
1925.03/1930.60 c #Conflicts: 867000 | #Constraints: 27681
1925.03/1930.60 c #Conflicts: 868000 | #Constraints: 28681
1925.03/1930.60 c #Conflicts: 869000 | #Constraints: 29681
1925.03/1930.60 c #Conflicts: 870000 | #Constraints: 30681
1925.03/1930.60 c #Conflicts: 871000 | #Constraints: 31681
1925.03/1930.60 c #Conflicts: 872000 | #Constraints: 32681
1925.03/1930.60 c #Conflicts: 873000 | #Constraints: 33681
1925.03/1930.60 c #Conflicts: 874000 | #Constraints: 34681
1925.03/1930.60 c #Conflicts: 875000 | #Constraints: 35681
1925.03/1930.60 c #Conflicts: 876000 | #Constraints: 36681
1925.03/1930.60 c #Conflicts: 877000 | #Constraints: 37681
1925.03/1930.60 c #Conflicts: 878000 | #Constraints: 38681
1925.03/1930.60 c #Conflicts: 879000 | #Constraints: 39681
1925.03/1930.60 c #Conflicts: 880000 | #Constraints: 40681
1925.03/1930.60 c #Conflicts: 881000 | #Constraints: 41681
1925.03/1930.60 c #Conflicts: 882000 | #Constraints: 42681
1925.03/1930.60 c #Conflicts: 883000 | #Constraints: 43681
1925.03/1930.60 c #Conflicts: 884000 | #Constraints: 44681
1925.03/1930.60 c INPROCESSING
1925.03/1930.60 c GARBAGE COLLECT
1925.03/1930.60 c #Conflicts: 885000 | #Constraints: 27080
1925.03/1930.60 c #Conflicts: 886000 | #Constraints: 28080
1925.03/1930.60 c #Conflicts: 887000 | #Constraints: 29080
1925.03/1930.60 c #Conflicts: 888000 | #Constraints: 30080
1925.03/1930.60 c #Conflicts: 889000 | #Constraints: 31080
2074.46/2080.53 c #Conflicts: 890000 | #Constraints: 32080
2074.46/2080.53 c #Conflicts: 891000 | #Constraints: 33080
2074.46/2080.53 c #Conflicts: 892000 | #Constraints: 34080
2074.46/2080.53 c #Conflicts: 893000 | #Constraints: 35080
2074.46/2080.53 c #Conflicts: 894000 | #Constraints: 36080
2074.46/2080.53 c #Conflicts: 895000 | #Constraints: 37080
2074.46/2080.53 c #Conflicts: 896000 | #Constraints: 38080
2074.46/2080.53 c #Conflicts: 897000 | #Constraints: 39080
2074.46/2080.53 c #Conflicts: 898000 | #Constraints: 40080
2074.46/2080.53 c #Conflicts: 899000 | #Constraints: 41080
2074.46/2080.53 c #Conflicts: 900000 | #Constraints: 42080
2074.46/2080.53 c #Conflicts: 901000 | #Constraints: 43080
2074.46/2080.53 c #Conflicts: 902000 | #Constraints: 44080
2074.46/2080.53 c #Conflicts: 903000 | #Constraints: 45080
2074.46/2080.53 c INPROCESSING
2074.46/2080.53 c GARBAGE COLLECT
2074.46/2080.53 c #Conflicts: 904000 | #Constraints: 27280
2074.46/2080.53 c #Conflicts: 905000 | #Constraints: 28280
2074.46/2080.53 c #Conflicts: 906000 | #Constraints: 29280
2074.46/2080.53 c #Conflicts: 907000 | #Constraints: 30280
2074.46/2080.53 c #Conflicts: 908000 | #Constraints: 31280
2074.46/2080.53 c #Conflicts: 909000 | #Constraints: 32280
2074.46/2080.53 c #Conflicts: 910000 | #Constraints: 33280
2074.46/2080.53 c #Conflicts: 911000 | #Constraints: 34280
2074.46/2080.53 c #Conflicts: 912000 | #Constraints: 35280
2074.46/2080.53 c #Conflicts: 913000 | #Constraints: 36280
2074.46/2080.53 c #Conflicts: 914000 | #Constraints: 37280
2074.46/2080.53 c #Conflicts: 915000 | #Constraints: 38280
2074.46/2080.53 c #Conflicts: 916000 | #Constraints: 39280
2074.46/2080.53 c #Conflicts: 917000 | #Constraints: 40280
2074.46/2080.53 c #Conflicts: 918000 | #Constraints: 41280
2074.46/2080.53 c #Conflicts: 919000 | #Constraints: 42280
2074.46/2080.53 c #Conflicts: 920000 | #Constraints: 43280
2074.46/2080.53 c #Conflicts: 921000 | #Constraints: 44280
2074.46/2080.53 c #Conflicts: 922000 | #Constraints: 45280
2074.46/2080.53 c INPROCESSING
2074.46/2080.53 c GARBAGE COLLECT
2074.46/2080.53 c #Conflicts: 923000 | #Constraints: 27278
2074.46/2080.53 c #Conflicts: 924000 | #Constraints: 28278
2074.46/2080.53 c #Conflicts: 925000 | #Constraints: 29278
2074.46/2080.53 c #Conflicts: 926000 | #Constraints: 30278
2074.46/2080.53 c #Conflicts: 927000 | #Constraints: 31278
2074.46/2080.53 c #Conflicts: 928000 | #Constraints: 32278
2074.46/2080.53 c #Conflicts: 929000 | #Constraints: 33278
2074.46/2080.53 c #Conflicts: 930000 | #Constraints: 34278
2074.46/2080.53 c #Conflicts: 931000 | #Constraints: 35278
2074.46/2080.53 c #Conflicts: 932000 | #Constraints: 36278
2074.46/2080.53 c #Conflicts: 933000 | #Constraints: 37278
2074.46/2080.53 c #Conflicts: 934000 | #Constraints: 38278
2074.46/2080.53 c #Conflicts: 935000 | #Constraints: 39278
2074.46/2080.53 c #Conflicts: 936000 | #Constraints: 40278
2074.46/2080.53 c #Conflicts: 937000 | #Constraints: 41278
2074.46/2080.53 c #Conflicts: 938000 | #Constraints: 42278
2074.46/2080.53 c #Conflicts: 939000 | #Constraints: 43278
2074.46/2080.53 c #Conflicts: 940000 | #Constraints: 44278
2074.46/2080.53 c #Conflicts: 941000 | #Constraints: 45278
2074.46/2080.53 c INPROCESSING
2074.46/2080.53 c GARBAGE COLLECT
2074.46/2080.53 c #Conflicts: 942000 | #Constraints: 27084
2074.46/2080.53 c #Conflicts: 943000 | #Constraints: 28084
2074.46/2080.53 c #Conflicts: 944000 | #Constraints: 29084
2074.46/2080.53 c #Conflicts: 945000 | #Constraints: 30084
2074.46/2080.53 c #Conflicts: 946000 | #Constraints: 31084
2074.46/2080.53 c #Conflicts: 947000 | #Constraints: 32084
2074.46/2080.54 c #Conflicts: 948000 | #Constraints: 33084
2074.46/2080.54 c #Conflicts: 949000 | #Constraints: 34084
2074.46/2080.54 c #Conflicts: 950000 | #Constraints: 35084
2074.46/2080.54 c #Conflicts: 951000 | #Constraints: 36084
2074.46/2080.54 c #Conflicts: 952000 | #Constraints: 37084
2074.46/2080.54 c #Conflicts: 953000 | #Constraints: 38084
2074.46/2080.54 c #Conflicts: 954000 | #Constraints: 39084
2074.46/2080.54 c #Conflicts: 955000 | #Constraints: 40084
2074.46/2080.54 c #Conflicts: 956000 | #Constraints: 41084
2074.46/2080.54 c #Conflicts: 957000 | #Constraints: 42084
2074.46/2080.54 c #Conflicts: 958000 | #Constraints: 43084
2074.46/2080.54 c #Conflicts: 959000 | #Constraints: 44084
2074.46/2080.54 c #Conflicts: 960000 | #Constraints: 45084
2074.46/2080.54 c #Conflicts: 961000 | #Constraints: 46084
2074.46/2080.54 c INPROCESSING
2074.46/2080.54 c GARBAGE COLLECT
2074.46/2080.54 c #Conflicts: 962000 | #Constraints: 27675
2074.46/2080.54 c #Conflicts: 963000 | #Constraints: 28675
2074.46/2080.54 c #Conflicts: 964000 | #Constraints: 29675
2074.46/2080.54 c #Conflicts: 965000 | #Constraints: 30675
2074.46/2080.54 c #Conflicts: 966000 | #Constraints: 31675
2241.05/2247.68 c #Conflicts: 967000 | #Constraints: 32675
2241.05/2247.68 c #Conflicts: 968000 | #Constraints: 33675
2241.05/2247.68 c #Conflicts: 969000 | #Constraints: 34675
2241.05/2247.68 c #Conflicts: 970000 | #Constraints: 35675
2241.05/2247.68 c #Conflicts: 971000 | #Constraints: 36675
2241.05/2247.68 c #Conflicts: 972000 | #Constraints: 37675
2241.05/2247.68 c #Conflicts: 973000 | #Constraints: 38675
2241.05/2247.68 c #Conflicts: 974000 | #Constraints: 39675
2241.05/2247.68 c #Conflicts: 975000 | #Constraints: 40675
2241.05/2247.68 c #Conflicts: 976000 | #Constraints: 41675
2241.05/2247.68 c #Conflicts: 977000 | #Constraints: 42675
2241.05/2247.68 c #Conflicts: 978000 | #Constraints: 43675
2241.05/2247.68 c #Conflicts: 979000 | #Constraints: 44675
2241.05/2247.68 c #Conflicts: 980000 | #Constraints: 45675
2241.05/2247.68 c #Conflicts: 981000 | #Constraints: 46675
2241.05/2247.68 c INPROCESSING
2241.05/2247.68 c GARBAGE COLLECT
2241.05/2247.68 c #Conflicts: 982000 | #Constraints: 28073
2241.05/2247.68 c #Conflicts: 983000 | #Constraints: 29073
2241.05/2247.68 c #Conflicts: 984000 | #Constraints: 30073
2241.05/2247.68 c #Conflicts: 985000 | #Constraints: 31073
2241.05/2247.68 c #Conflicts: 986000 | #Constraints: 32073
2241.05/2247.68 c #Conflicts: 987000 | #Constraints: 33073
2241.05/2247.68 c #Conflicts: 988000 | #Constraints: 34073
2241.05/2247.68 c #Conflicts: 989000 | #Constraints: 35073
2241.05/2247.68 c #Conflicts: 990000 | #Constraints: 36073
2241.05/2247.68 c #Conflicts: 991000 | #Constraints: 37073
2241.05/2247.68 c #Conflicts: 992000 | #Constraints: 38073
2241.05/2247.68 c #Conflicts: 993000 | #Constraints: 39073
2241.05/2247.68 c #Conflicts: 994000 | #Constraints: 40073
2241.05/2247.68 c #Conflicts: 995000 | #Constraints: 41073
2241.05/2247.68 c #Conflicts: 996000 | #Constraints: 42073
2241.05/2247.68 c #Conflicts: 997000 | #Constraints: 43073
2241.05/2247.68 c #Conflicts: 998000 | #Constraints: 44073
2241.05/2247.68 c #Conflicts: 999000 | #Constraints: 45073
2241.05/2247.68 c #Conflicts: 1000000 | #Constraints: 46073
2241.05/2247.68 c #Conflicts: 1001000 | #Constraints: 47073
2241.05/2247.68 c INPROCESSING
2241.05/2247.68 c GARBAGE COLLECT
2241.05/2247.68 c #Conflicts: 1002000 | #Constraints: 28280
2241.05/2247.68 c #Conflicts: 1003000 | #Constraints: 29280
2241.05/2247.68 c #Conflicts: 1004000 | #Constraints: 30280
2241.05/2247.68 c #Conflicts: 1005000 | #Constraints: 31280
2241.05/2247.68 c #Conflicts: 1006000 | #Constraints: 32280
2241.05/2247.68 c #Conflicts: 1007000 | #Constraints: 33280
2241.05/2247.68 c #Conflicts: 1008000 | #Constraints: 34280
2241.05/2247.68 c #Conflicts: 1009000 | #Constraints: 35280
2241.05/2247.68 c #Conflicts: 1010000 | #Constraints: 36280
2241.05/2247.68 c #Conflicts: 1011000 | #Constraints: 37280
2241.05/2247.68 c #Conflicts: 1012000 | #Constraints: 38280
2241.05/2247.68 c #Conflicts: 1013000 | #Constraints: 39280
2241.05/2247.68 c #Conflicts: 1014000 | #Constraints: 40280
2241.05/2247.68 c #Conflicts: 1015000 | #Constraints: 41280
2241.05/2247.68 c #Conflicts: 1016000 | #Constraints: 42280
2241.05/2247.68 c #Conflicts: 1017000 | #Constraints: 43280
2241.05/2247.68 c #Conflicts: 1018000 | #Constraints: 44280
2241.05/2247.68 c #Conflicts: 1019000 | #Constraints: 45280
2241.05/2247.68 c #Conflicts: 1020000 | #Constraints: 46280
2241.05/2247.68 c #Conflicts: 1021000 | #Constraints: 47280
2241.05/2247.68 c INPROCESSING
2241.05/2247.68 c GARBAGE COLLECT
2241.05/2247.68 c #Conflicts: 1022000 | #Constraints: 28284
2241.05/2247.68 c #Conflicts: 1023000 | #Constraints: 29284
2241.05/2247.68 c #Conflicts: 1024000 | #Constraints: 30284
2241.05/2247.68 c #Conflicts: 1025000 | #Constraints: 31284
2241.05/2247.68 c #Conflicts: 1026000 | #Constraints: 32284
2241.05/2247.68 c #Conflicts: 1027000 | #Constraints: 33284
2241.05/2247.68 c #Conflicts: 1028000 | #Constraints: 34284
2241.05/2247.68 c #Conflicts: 1029000 | #Constraints: 35284
2241.05/2247.68 c #Conflicts: 1030000 | #Constraints: 36284
2241.05/2247.68 c #Conflicts: 1031000 | #Constraints: 37284
2241.05/2247.68 c #Conflicts: 1032000 | #Constraints: 38284
2241.05/2247.68 c #Conflicts: 1033000 | #Constraints: 39284
2241.05/2247.68 c #Conflicts: 1034000 | #Constraints: 40284
2241.05/2247.68 c #Conflicts: 1035000 | #Constraints: 41284
2241.05/2247.68 c #Conflicts: 1036000 | #Constraints: 42284
2241.05/2247.68 c #Conflicts: 1037000 | #Constraints: 43284
2241.05/2247.68 c #Conflicts: 1038000 | #Constraints: 44284
2241.05/2247.68 c #Conflicts: 1039000 | #Constraints: 45284
2241.05/2247.68 c #Conflicts: 1040000 | #Constraints: 46284
2241.05/2247.68 c #Conflicts: 1041000 | #Constraints: 47284
2241.05/2247.68 c INPROCESSING
2241.05/2247.68 c GARBAGE COLLECT
2241.05/2247.68 c #Conflicts: 1042000 | #Constraints: 28088
2416.80/2423.99 c #Conflicts: 1043000 | #Constraints: 29088
2416.80/2423.99 c #Conflicts: 1044000 | #Constraints: 30088
2416.80/2423.99 c #Conflicts: 1045000 | #Constraints: 31088
2416.80/2423.99 c #Conflicts: 1046000 | #Constraints: 32088
2416.80/2423.99 c #Conflicts: 1047000 | #Constraints: 33088
2416.80/2423.99 c #Conflicts: 1048000 | #Constraints: 34088
2416.80/2423.99 c #Conflicts: 1049000 | #Constraints: 35088
2416.80/2423.99 c #Conflicts: 1050000 | #Constraints: 36088
2416.80/2423.99 c #Conflicts: 1051000 | #Constraints: 37088
2416.80/2423.99 c #Conflicts: 1052000 | #Constraints: 38088
2416.80/2423.99 c #Conflicts: 1053000 | #Constraints: 39088
2416.80/2423.99 c #Conflicts: 1054000 | #Constraints: 40088
2416.80/2423.99 c #Conflicts: 1055000 | #Constraints: 41088
2416.80/2423.99 c #Conflicts: 1056000 | #Constraints: 42088
2416.80/2423.99 c #Conflicts: 1057000 | #Constraints: 43088
2416.80/2423.99 c #Conflicts: 1058000 | #Constraints: 44088
2416.80/2423.99 c #Conflicts: 1059000 | #Constraints: 45088
2416.80/2423.99 c #Conflicts: 1060000 | #Constraints: 46088
2416.80/2423.99 c #Conflicts: 1061000 | #Constraints: 47088
2416.80/2423.99 c #Conflicts: 1062000 | #Constraints: 48088
2416.80/2423.99 c INPROCESSING
2416.80/2423.99 c GARBAGE COLLECT
2416.80/2423.99 c #Conflicts: 1063000 | #Constraints: 28689
2416.80/2423.99 c #Conflicts: 1064000 | #Constraints: 29689
2416.80/2423.99 c #Conflicts: 1065000 | #Constraints: 30689
2416.80/2423.99 c #Conflicts: 1066000 | #Constraints: 31689
2416.80/2423.99 c #Conflicts: 1067000 | #Constraints: 32689
2416.80/2423.99 c #Conflicts: 1068000 | #Constraints: 33689
2416.80/2423.99 c #Conflicts: 1069000 | #Constraints: 34689
2416.80/2423.99 c #Conflicts: 1070000 | #Constraints: 35689
2416.80/2423.99 c #Conflicts: 1071000 | #Constraints: 36689
2416.80/2423.99 c #Conflicts: 1072000 | #Constraints: 37689
2416.80/2423.99 c #Conflicts: 1073000 | #Constraints: 38689
2416.80/2423.99 c #Conflicts: 1074000 | #Constraints: 39689
2416.80/2423.99 c #Conflicts: 1075000 | #Constraints: 40689
2416.80/2423.99 c #Conflicts: 1076000 | #Constraints: 41689
2416.80/2423.99 c #Conflicts: 1077000 | #Constraints: 42689
2416.80/2423.99 c #Conflicts: 1078000 | #Constraints: 43689
2416.80/2423.99 c #Conflicts: 1079000 | #Constraints: 44689
2416.80/2423.99 c #Conflicts: 1080000 | #Constraints: 45689
2416.80/2423.99 c #Conflicts: 1081000 | #Constraints: 46689
2416.80/2423.99 c #Conflicts: 1082000 | #Constraints: 47689
2416.80/2423.99 c #Conflicts: 1083000 | #Constraints: 48689
2416.80/2423.99 c INPROCESSING
2416.80/2423.99 c GARBAGE COLLECT
2416.80/2423.99 c #Conflicts: 1084000 | #Constraints: 29087
2416.80/2423.99 c #Conflicts: 1085000 | #Constraints: 30087
2416.80/2423.99 c #Conflicts: 1086000 | #Constraints: 31087
2416.80/2423.99 c #Conflicts: 1087000 | #Constraints: 32087
2416.80/2423.99 c #Conflicts: 1088000 | #Constraints: 33087
2416.80/2423.99 c #Conflicts: 1089000 | #Constraints: 34087
2416.80/2423.99 c #Conflicts: 1090000 | #Constraints: 35087
2416.80/2423.99 c #Conflicts: 1091000 | #Constraints: 36087
2416.80/2423.99 c #Conflicts: 1092000 | #Constraints: 37087
2416.80/2423.99 c #Conflicts: 1093000 | #Constraints: 38087
2416.80/2423.99 c #Conflicts: 1094000 | #Constraints: 39087
2416.80/2423.99 c #Conflicts: 1095000 | #Constraints: 40087
2416.80/2423.99 c #Conflicts: 1096000 | #Constraints: 41087
2416.80/2423.99 c #Conflicts: 1097000 | #Constraints: 42087
2416.80/2423.99 c #Conflicts: 1098000 | #Constraints: 43087
2416.80/2423.99 c #Conflicts: 1099000 | #Constraints: 44087
2416.80/2423.99 c #Conflicts: 1100000 | #Constraints: 45087
2416.80/2423.99 c #Conflicts: 1101000 | #Constraints: 46087
2416.80/2423.99 c #Conflicts: 1102000 | #Constraints: 47087
2416.80/2423.99 c #Conflicts: 1103000 | #Constraints: 48087
2416.80/2423.99 c #Conflicts: 1104000 | #Constraints: 49087
2416.80/2423.99 c INPROCESSING
2416.80/2423.99 c GARBAGE COLLECT
2416.80/2423.99 c #Conflicts: 1105000 | #Constraints: 29286
2416.80/2423.99 c #Conflicts: 1106000 | #Constraints: 30286
2416.80/2423.99 c #Conflicts: 1107000 | #Constraints: 31286
2416.80/2423.99 c #Conflicts: 1108000 | #Constraints: 32286
2416.80/2423.99 c #Conflicts: 1109000 | #Constraints: 33286
2416.80/2423.99 c #Conflicts: 1110000 | #Constraints: 34286
2416.80/2423.99 c #Conflicts: 1111000 | #Constraints: 35286
2416.80/2423.99 c #Conflicts: 1112000 | #Constraints: 36286
2416.80/2423.99 c #Conflicts: 1113000 | #Constraints: 37286
2416.80/2423.99 c #Conflicts: 1114000 | #Constraints: 38286
2416.80/2423.99 c #Conflicts: 1115000 | #Constraints: 39286
2416.80/2423.99 c #Conflicts: 1116000 | #Constraints: 40286
2416.80/2423.99 c #Conflicts: 1117000 | #Constraints: 41286
2416.80/2423.99 c #Conflicts: 1118000 | #Constraints: 42286
2416.80/2423.99 c #Conflicts: 1119000 | #Constraints: 43286
2584.34/2591.94 c #Conflicts: 1120000 | #Constraints: 44286
2584.34/2591.94 c #Conflicts: 1121000 | #Constraints: 45286
2584.34/2591.94 c #Conflicts: 1122000 | #Constraints: 46286
2584.34/2591.94 c #Conflicts: 1123000 | #Constraints: 47286
2584.34/2591.94 c #Conflicts: 1124000 | #Constraints: 48286
2584.34/2591.94 c #Conflicts: 1125000 | #Constraints: 49286
2584.34/2591.94 c INPROCESSING
2584.34/2591.94 c GARBAGE COLLECT
2584.34/2591.94 c #Conflicts: 1126000 | #Constraints: 29289
2584.34/2591.94 c #Conflicts: 1127000 | #Constraints: 30289
2584.34/2591.94 c #Conflicts: 1128000 | #Constraints: 31289
2584.34/2591.94 c #Conflicts: 1129000 | #Constraints: 32289
2584.34/2591.94 c #Conflicts: 1130000 | #Constraints: 33289
2584.34/2591.94 c #Conflicts: 1131000 | #Constraints: 34289
2584.34/2591.94 c #Conflicts: 1132000 | #Constraints: 35289
2584.34/2591.94 c #Conflicts: 1133000 | #Constraints: 36289
2584.34/2591.94 c #Conflicts: 1134000 | #Constraints: 37289
2584.34/2591.94 c #Conflicts: 1135000 | #Constraints: 38289
2584.34/2591.94 c #Conflicts: 1136000 | #Constraints: 39289
2584.34/2591.94 c #Conflicts: 1137000 | #Constraints: 40289
2584.34/2591.94 c #Conflicts: 1138000 | #Constraints: 41289
2584.34/2591.94 c #Conflicts: 1139000 | #Constraints: 42289
2584.34/2591.94 c #Conflicts: 1140000 | #Constraints: 43289
2584.34/2591.94 c #Conflicts: 1141000 | #Constraints: 44289
2584.34/2591.94 c #Conflicts: 1142000 | #Constraints: 45289
2584.34/2591.94 c #Conflicts: 1143000 | #Constraints: 46289
2584.34/2591.94 c #Conflicts: 1144000 | #Constraints: 47289
2584.34/2591.94 c #Conflicts: 1145000 | #Constraints: 48289
2584.34/2591.94 c #Conflicts: 1146000 | #Constraints: 49289
2584.34/2591.94 c INPROCESSING
2584.34/2591.94 c GARBAGE COLLECT
2584.34/2591.94 c #Conflicts: 1147000 | #Constraints: 29088
2584.34/2591.94 c #Conflicts: 1148000 | #Constraints: 30088
2584.34/2591.94 c #Conflicts: 1149000 | #Constraints: 31088
2584.34/2591.94 c #Conflicts: 1150000 | #Constraints: 32088
2584.34/2591.94 c #Conflicts: 1151000 | #Constraints: 33088
2584.34/2591.94 c #Conflicts: 1152000 | #Constraints: 34088
2584.34/2591.94 c #Conflicts: 1153000 | #Constraints: 35088
2584.34/2591.94 c #Conflicts: 1154000 | #Constraints: 36088
2584.34/2591.94 c #Conflicts: 1155000 | #Constraints: 37088
2584.34/2591.94 c #Conflicts: 1156000 | #Constraints: 38088
2584.34/2591.94 c #Conflicts: 1157000 | #Constraints: 39088
2584.34/2591.94 c #Conflicts: 1158000 | #Constraints: 40088
2584.34/2591.94 c #Conflicts: 1159000 | #Constraints: 41088
2584.34/2591.94 c #Conflicts: 1160000 | #Constraints: 42088
2584.34/2591.94 c #Conflicts: 1161000 | #Constraints: 43088
2584.34/2591.94 c #Conflicts: 1162000 | #Constraints: 44088
2584.34/2591.94 c #Conflicts: 1163000 | #Constraints: 45088
2584.34/2591.94 c #Conflicts: 1164000 | #Constraints: 46088
2584.34/2591.94 c #Conflicts: 1165000 | #Constraints: 47088
2584.34/2591.94 c #Conflicts: 1166000 | #Constraints: 48088
2584.34/2591.94 c #Conflicts: 1167000 | #Constraints: 49088
2584.34/2591.94 c #Conflicts: 1168000 | #Constraints: 50088
2584.34/2591.94 c INPROCESSING
2584.34/2591.94 c GARBAGE COLLECT
2584.34/2591.94 c #Conflicts: 1169000 | #Constraints: 29690
2584.34/2591.94 c #Conflicts: 1170000 | #Constraints: 30690
2584.34/2591.94 c #Conflicts: 1171000 | #Constraints: 31690
2584.34/2591.94 c #Conflicts: 1172000 | #Constraints: 32690
2584.34/2591.94 c #Conflicts: 1173000 | #Constraints: 33690
2584.34/2591.94 c #Conflicts: 1174000 | #Constraints: 34690
2584.34/2591.94 c #Conflicts: 1175000 | #Constraints: 35690
2584.34/2591.94 c #Conflicts: 1176000 | #Constraints: 36690
2584.34/2591.94 c #Conflicts: 1177000 | #Constraints: 37690
2584.34/2591.94 c #Conflicts: 1178000 | #Constraints: 38690
2584.34/2591.94 c #Conflicts: 1179000 | #Constraints: 39690
2584.34/2591.94 c #Conflicts: 1180000 | #Constraints: 40690
2584.34/2591.94 c #Conflicts: 1181000 | #Constraints: 41690
2584.34/2591.94 c #Conflicts: 1182000 | #Constraints: 42690
2584.34/2591.94 c #Conflicts: 1183000 | #Constraints: 43690
2584.34/2591.94 c #Conflicts: 1184000 | #Constraints: 44690
2584.34/2591.94 c #Conflicts: 1185000 | #Constraints: 45690
2584.34/2591.94 c #Conflicts: 1186000 | #Constraints: 46690
2584.34/2591.94 c #Conflicts: 1187000 | #Constraints: 47690
2584.34/2591.94 c #Conflicts: 1188000 | #Constraints: 48690
2584.34/2591.94 c #Conflicts: 1189000 | #Constraints: 49690
2584.34/2591.94 c #Conflicts: 1190000 | #Constraints: 50690
2584.34/2591.94 c INPROCESSING
2584.34/2591.94 c GARBAGE COLLECT
2584.34/2591.94 c #Conflicts: 1191000 | #Constraints: 30088
2584.34/2591.94 c #Conflicts: 1192000 | #Constraints: 31088
2584.34/2591.94 c #Conflicts: 1193000 | #Constraints: 32088
2584.34/2591.94 c #Conflicts: 1194000 | #Constraints: 33088
2584.34/2591.94 c #Conflicts: 1195000 | #Constraints: 34088
2741.48/2749.48 c #Conflicts: 1196000 | #Constraints: 35088
2741.48/2749.48 c #Conflicts: 1197000 | #Constraints: 36088
2741.48/2749.48 c #Conflicts: 1198000 | #Constraints: 37088
2741.48/2749.48 c #Conflicts: 1199000 | #Constraints: 38088
2741.48/2749.48 c #Conflicts: 1200000 | #Constraints: 39088
2741.48/2749.48 c #Conflicts: 1201000 | #Constraints: 40088
2741.48/2749.48 c #Conflicts: 1202000 | #Constraints: 41088
2741.48/2749.48 c #Conflicts: 1203000 | #Constraints: 42088
2741.48/2749.48 c #Conflicts: 1204000 | #Constraints: 43088
2741.48/2749.48 c #Conflicts: 1205000 | #Constraints: 44088
2741.48/2749.48 c #Conflicts: 1206000 | #Constraints: 45088
2741.48/2749.48 c #Conflicts: 1207000 | #Constraints: 46088
2741.48/2749.48 c #Conflicts: 1208000 | #Constraints: 47088
2741.48/2749.48 c #Conflicts: 1209000 | #Constraints: 48088
2741.48/2749.48 c #Conflicts: 1210000 | #Constraints: 49088
2741.48/2749.48 c #Conflicts: 1211000 | #Constraints: 50088
2741.48/2749.48 c #Conflicts: 1212000 | #Constraints: 51088
2741.48/2749.48 c INPROCESSING
2741.48/2749.48 c GARBAGE COLLECT
2741.48/2749.48 c #Conflicts: 1213000 | #Constraints: 30289
2741.48/2749.48 c #Conflicts: 1214000 | #Constraints: 31289
2741.48/2749.48 c #Conflicts: 1215000 | #Constraints: 32289
2741.48/2749.48 c #Conflicts: 1216000 | #Constraints: 33289
2741.48/2749.48 c #Conflicts: 1217000 | #Constraints: 34289
2741.48/2749.48 c #Conflicts: 1218000 | #Constraints: 35289
2741.48/2749.48 c #Conflicts: 1219000 | #Constraints: 36289
2741.48/2749.48 c #Conflicts: 1220000 | #Constraints: 37289
2741.48/2749.48 c #Conflicts: 1221000 | #Constraints: 38289
2741.48/2749.48 c #Conflicts: 1222000 | #Constraints: 39289
2741.48/2749.48 c #Conflicts: 1223000 | #Constraints: 40289
2741.48/2749.48 c #Conflicts: 1224000 | #Constraints: 41289
2741.48/2749.48 c #Conflicts: 1225000 | #Constraints: 42289
2741.48/2749.48 c #Conflicts: 1226000 | #Constraints: 43289
2741.48/2749.48 c #Conflicts: 1227000 | #Constraints: 44289
2741.48/2749.48 c #Conflicts: 1228000 | #Constraints: 45289
2741.48/2749.48 c #Conflicts: 1229000 | #Constraints: 46289
2741.48/2749.48 c #Conflicts: 1230000 | #Constraints: 47289
2741.48/2749.48 c #Conflicts: 1231000 | #Constraints: 48289
2741.48/2749.48 c #Conflicts: 1232000 | #Constraints: 49289
2741.48/2749.48 c #Conflicts: 1233000 | #Constraints: 50289
2741.48/2749.48 c #Conflicts: 1234000 | #Constraints: 51289
2741.48/2749.48 c INPROCESSING
2741.48/2749.48 c GARBAGE COLLECT
2741.48/2749.48 c #Conflicts: 1235000 | #Constraints: 30283
2741.48/2749.48 c #Conflicts: 1236000 | #Constraints: 31283
2741.48/2749.48 c #Conflicts: 1237000 | #Constraints: 32283
2741.48/2749.48 c #Conflicts: 1238000 | #Constraints: 33283
2741.48/2749.48 c #Conflicts: 1239000 | #Constraints: 34283
2741.48/2749.48 c #Conflicts: 1240000 | #Constraints: 35283
2741.48/2749.48 c #Conflicts: 1241000 | #Constraints: 36283
2741.48/2749.48 c #Conflicts: 1242000 | #Constraints: 37283
2741.48/2749.48 c #Conflicts: 1243000 | #Constraints: 38283
2741.48/2749.48 c #Conflicts: 1244000 | #Constraints: 39283
2741.48/2749.48 c #Conflicts: 1245000 | #Constraints: 40283
2741.48/2749.48 c #Conflicts: 1246000 | #Constraints: 41283
2741.48/2749.48 c #Conflicts: 1247000 | #Constraints: 42283
2741.48/2749.48 c #Conflicts: 1248000 | #Constraints: 43283
2741.48/2749.48 c #Conflicts: 1249000 | #Constraints: 44283
2741.48/2749.48 c #Conflicts: 1250000 | #Constraints: 45283
2741.48/2749.48 c #Conflicts: 1251000 | #Constraints: 46283
2741.48/2749.48 c #Conflicts: 1252000 | #Constraints: 47283
2741.48/2749.48 c #Conflicts: 1253000 | #Constraints: 48283
2741.48/2749.48 c #Conflicts: 1254000 | #Constraints: 49283
2741.48/2749.48 c #Conflicts: 1255000 | #Constraints: 50283
2741.48/2749.48 c #Conflicts: 1256000 | #Constraints: 51283
2741.48/2749.48 c INPROCESSING
2741.48/2749.48 c GARBAGE COLLECT
2741.48/2749.48 c #Conflicts: 1257000 | #Constraints: 30085
2741.48/2749.48 c #Conflicts: 1258000 | #Constraints: 31085
2741.48/2749.48 c #Conflicts: 1259000 | #Constraints: 32085
2741.48/2749.48 c #Conflicts: 1260000 | #Constraints: 33085
2741.48/2749.48 c #Conflicts: 1261000 | #Constraints: 34085
2741.48/2749.48 c #Conflicts: 1262000 | #Constraints: 35085
2741.48/2749.48 c #Conflicts: 1263000 | #Constraints: 36085
2741.48/2749.48 c #Conflicts: 1264000 | #Constraints: 37085
2741.48/2749.48 c #Conflicts: 1265000 | #Constraints: 38085
2741.48/2749.48 c #Conflicts: 1266000 | #Constraints: 39085
2741.48/2749.48 c #Conflicts: 1267000 | #Constraints: 40085
2741.48/2749.48 c #Conflicts: 1268000 | #Constraints: 41085
2741.48/2749.48 c #Conflicts: 1269000 | #Constraints: 42085
2741.48/2749.48 c #Conflicts: 1270000 | #Constraints: 43085
2741.48/2749.48 c #Conflicts: 1271000 | #Constraints: 44085
2741.48/2749.48 c #Conflicts: 1272000 | #Constraints: 45085
2904.80/2913.12 c #Conflicts: 1273000 | #Constraints: 46085
2904.80/2913.12 c #Conflicts: 1274000 | #Constraints: 47085
2904.80/2913.12 c #Conflicts: 1275000 | #Constraints: 48085
2904.80/2913.12 c #Conflicts: 1276000 | #Constraints: 49085
2904.80/2913.12 c #Conflicts: 1277000 | #Constraints: 50085
2904.80/2913.12 c #Conflicts: 1278000 | #Constraints: 51085
2904.80/2913.12 c #Conflicts: 1279000 | #Constraints: 52085
2904.80/2913.12 c INPROCESSING
2904.80/2913.12 c GARBAGE COLLECT
2904.80/2913.12 c #Conflicts: 1280000 | #Constraints: 30684
2904.80/2913.12 c #Conflicts: 1281000 | #Constraints: 31684
2904.80/2913.12 c #Conflicts: 1282000 | #Constraints: 32684
2904.80/2913.12 c #Conflicts: 1283000 | #Constraints: 33684
2904.80/2913.12 c #Conflicts: 1284000 | #Constraints: 34684
2904.80/2913.12 c #Conflicts: 1285000 | #Constraints: 35684
2904.80/2913.12 c #Conflicts: 1286000 | #Constraints: 36684
2904.80/2913.12 c #Conflicts: 1287000 | #Constraints: 37684
2904.80/2913.12 c #Conflicts: 1288000 | #Constraints: 38684
2904.80/2913.12 c #Conflicts: 1289000 | #Constraints: 39684
2904.80/2913.12 c #Conflicts: 1290000 | #Constraints: 40684
2904.80/2913.12 c #Conflicts: 1291000 | #Constraints: 41684
2904.80/2913.12 c #Conflicts: 1292000 | #Constraints: 42684
2904.80/2913.12 c #Conflicts: 1293000 | #Constraints: 43684
2904.80/2913.12 c #Conflicts: 1294000 | #Constraints: 44684
2904.80/2913.12 c #Conflicts: 1295000 | #Constraints: 45684
2904.80/2913.12 c #Conflicts: 1296000 | #Constraints: 46684
2904.80/2913.12 c #Conflicts: 1297000 | #Constraints: 47684
2904.80/2913.12 c #Conflicts: 1298000 | #Constraints: 48684
2904.80/2913.12 c #Conflicts: 1299000 | #Constraints: 49684
2904.80/2913.12 c #Conflicts: 1300000 | #Constraints: 50684
2904.80/2913.12 c #Conflicts: 1301000 | #Constraints: 51684
2904.80/2913.12 c #Conflicts: 1302000 | #Constraints: 52684
2904.80/2913.12 c INPROCESSING
2904.80/2913.12 c GARBAGE COLLECT
2904.80/2913.12 c #Conflicts: 1303000 | #Constraints: 31086
2904.80/2913.12 c #Conflicts: 1304000 | #Constraints: 32086
2904.80/2913.12 c #Conflicts: 1305000 | #Constraints: 33086
2904.80/2913.12 c #Conflicts: 1306000 | #Constraints: 34086
2904.80/2913.12 c #Conflicts: 1307000 | #Constraints: 35086
2904.80/2913.12 c #Conflicts: 1308000 | #Constraints: 36086
2904.80/2913.12 c #Conflicts: 1309000 | #Constraints: 37086
2904.80/2913.12 c #Conflicts: 1310000 | #Constraints: 38086
2904.80/2913.12 c #Conflicts: 1311000 | #Constraints: 39086
2904.80/2913.12 c #Conflicts: 1312000 | #Constraints: 40086
2904.80/2913.12 c #Conflicts: 1313000 | #Constraints: 41086
2904.80/2913.12 c #Conflicts: 1314000 | #Constraints: 42086
2904.80/2913.12 c #Conflicts: 1315000 | #Constraints: 43086
2904.80/2913.12 c #Conflicts: 1316000 | #Constraints: 44086
2904.80/2913.12 c #Conflicts: 1317000 | #Constraints: 45086
2904.80/2913.12 c #Conflicts: 1318000 | #Constraints: 46086
2904.80/2913.12 c #Conflicts: 1319000 | #Constraints: 47086
2904.80/2913.12 c #Conflicts: 1320000 | #Constraints: 48086
2904.80/2913.12 c #Conflicts: 1321000 | #Constraints: 49086
2904.80/2913.12 c #Conflicts: 1322000 | #Constraints: 50086
2904.80/2913.12 c #Conflicts: 1323000 | #Constraints: 51086
2904.80/2913.12 c #Conflicts: 1324000 | #Constraints: 52086
2904.80/2913.12 c #Conflicts: 1325000 | #Constraints: 53086
2904.80/2913.12 c INPROCESSING
2904.80/2913.12 c GARBAGE COLLECT
2904.80/2913.12 c #Conflicts: 1326000 | #Constraints: 31284
2904.80/2913.12 c #Conflicts: 1327000 | #Constraints: 32284
2904.80/2913.12 c #Conflicts: 1328000 | #Constraints: 33284
2904.80/2913.12 c #Conflicts: 1329000 | #Constraints: 34284
2904.80/2913.12 c #Conflicts: 1330000 | #Constraints: 35284
2904.80/2913.12 c #Conflicts: 1331000 | #Constraints: 36284
2904.80/2913.12 c #Conflicts: 1332000 | #Constraints: 37284
2904.80/2913.12 c #Conflicts: 1333000 | #Constraints: 38284
2904.80/2913.12 c #Conflicts: 1334000 | #Constraints: 39284
2904.80/2913.12 c #Conflicts: 1335000 | #Constraints: 40284
2904.80/2913.12 c #Conflicts: 1336000 | #Constraints: 41284
2904.80/2913.12 c #Conflicts: 1337000 | #Constraints: 42284
2904.80/2913.12 c #Conflicts: 1338000 | #Constraints: 43284
2904.80/2913.12 c #Conflicts: 1339000 | #Constraints: 44284
2904.80/2913.12 c #Conflicts: 1340000 | #Constraints: 45284
2904.80/2913.12 c #Conflicts: 1341000 | #Constraints: 46284
2904.80/2913.12 c #Conflicts: 1342000 | #Constraints: 47284
2904.80/2913.12 c #Conflicts: 1343000 | #Constraints: 48284
2904.80/2913.12 c #Conflicts: 1344000 | #Constraints: 49284
2904.80/2913.12 c #Conflicts: 1345000 | #Constraints: 50284
2904.80/2913.12 c #Conflicts: 1346000 | #Constraints: 51284
2904.80/2913.12 c #Conflicts: 1347000 | #Constraints: 52284
2904.80/2913.12 c #Conflicts: 1348000 | #Constraints: 53284
2904.80/2913.12 c INPROCESSING
3070.42/3079.10 c GARBAGE COLLECT
3070.42/3079.10 c #Conflicts: 1349000 | #Constraints: 31297
3070.42/3079.10 c #Conflicts: 1350000 | #Constraints: 32297
3070.42/3079.10 c #Conflicts: 1351000 | #Constraints: 33297
3070.42/3079.10 c #Conflicts: 1352000 | #Constraints: 34297
3070.42/3079.10 c #Conflicts: 1353000 | #Constraints: 35297
3070.42/3079.10 c #Conflicts: 1354000 | #Constraints: 36297
3070.42/3079.10 c #Conflicts: 1355000 | #Constraints: 37297
3070.42/3079.10 c #Conflicts: 1356000 | #Constraints: 38297
3070.42/3079.10 c #Conflicts: 1357000 | #Constraints: 39297
3070.42/3079.10 c #Conflicts: 1358000 | #Constraints: 40297
3070.42/3079.10 c #Conflicts: 1359000 | #Constraints: 41297
3070.42/3079.10 c #Conflicts: 1360000 | #Constraints: 42297
3070.42/3079.10 c #Conflicts: 1361000 | #Constraints: 43297
3070.42/3079.10 c #Conflicts: 1362000 | #Constraints: 44297
3070.42/3079.10 c #Conflicts: 1363000 | #Constraints: 45297
3070.42/3079.10 c #Conflicts: 1364000 | #Constraints: 46297
3070.42/3079.10 c #Conflicts: 1365000 | #Constraints: 47297
3070.42/3079.10 c #Conflicts: 1366000 | #Constraints: 48297
3070.42/3079.10 c #Conflicts: 1367000 | #Constraints: 49297
3070.42/3079.10 c #Conflicts: 1368000 | #Constraints: 50297
3070.42/3079.10 c #Conflicts: 1369000 | #Constraints: 51297
3070.42/3079.10 c #Conflicts: 1370000 | #Constraints: 52297
3070.42/3079.10 c #Conflicts: 1371000 | #Constraints: 53297
3070.42/3079.10 c INPROCESSING
3070.42/3079.10 c GARBAGE COLLECT
3070.42/3079.10 c #Conflicts: 1372000 | #Constraints: 31089
3070.42/3079.10 c #Conflicts: 1373000 | #Constraints: 32089
3070.42/3079.10 c #Conflicts: 1374000 | #Constraints: 33089
3070.42/3079.10 c #Conflicts: 1375000 | #Constraints: 34089
3070.42/3079.10 c #Conflicts: 1376000 | #Constraints: 35089
3070.42/3079.10 c #Conflicts: 1377000 | #Constraints: 36089
3070.42/3079.10 c #Conflicts: 1378000 | #Constraints: 37089
3070.42/3079.10 c #Conflicts: 1379000 | #Constraints: 38089
3070.42/3079.10 c #Conflicts: 1380000 | #Constraints: 39089
3070.42/3079.10 c #Conflicts: 1381000 | #Constraints: 40089
3070.42/3079.10 c #Conflicts: 1382000 | #Constraints: 41089
3070.42/3079.10 c #Conflicts: 1383000 | #Constraints: 42089
3070.42/3079.10 c #Conflicts: 1384000 | #Constraints: 43089
3070.42/3079.10 c #Conflicts: 1385000 | #Constraints: 44089
3070.42/3079.10 c #Conflicts: 1386000 | #Constraints: 45089
3070.42/3079.10 c #Conflicts: 1387000 | #Constraints: 46089
3070.42/3079.10 c #Conflicts: 1388000 | #Constraints: 47089
3070.42/3079.10 c #Conflicts: 1389000 | #Constraints: 48089
3070.42/3079.10 c #Conflicts: 1390000 | #Constraints: 49089
3070.42/3079.10 c #Conflicts: 1391000 | #Constraints: 50089
3070.42/3079.10 c #Conflicts: 1392000 | #Constraints: 51089
3070.42/3079.10 c #Conflicts: 1393000 | #Constraints: 52089
3070.42/3079.10 c #Conflicts: 1394000 | #Constraints: 53089
3070.42/3079.10 c #Conflicts: 1395000 | #Constraints: 54089
3070.42/3079.10 c INPROCESSING
3070.42/3079.10 c GARBAGE COLLECT
3070.42/3079.10 c #Conflicts: 1396000 | #Constraints: 31685
3070.42/3079.10 c #Conflicts: 1397000 | #Constraints: 32685
3070.42/3079.10 c #Conflicts: 1398000 | #Constraints: 33685
3070.42/3079.10 c #Conflicts: 1399000 | #Constraints: 34685
3070.42/3079.10 c #Conflicts: 1400000 | #Constraints: 35685
3070.42/3079.10 c #Conflicts: 1401000 | #Constraints: 36685
3070.42/3079.10 c #Conflicts: 1402000 | #Constraints: 37685
3070.42/3079.10 c #Conflicts: 1403000 | #Constraints: 38685
3070.42/3079.10 c #Conflicts: 1404000 | #Constraints: 39685
3070.42/3079.10 c #Conflicts: 1405000 | #Constraints: 40685
3070.42/3079.10 c #Conflicts: 1406000 | #Constraints: 41685
3070.42/3079.10 c #Conflicts: 1407000 | #Constraints: 42685
3070.42/3079.10 c #Conflicts: 1408000 | #Constraints: 43685
3070.42/3079.10 c #Conflicts: 1409000 | #Constraints: 44685
3070.42/3079.10 c #Conflicts: 1410000 | #Constraints: 45685
3070.42/3079.10 c #Conflicts: 1411000 | #Constraints: 46685
3070.42/3079.10 c #Conflicts: 1412000 | #Constraints: 47685
3070.42/3079.10 c #Conflicts: 1413000 | #Constraints: 48685
3070.42/3079.10 c #Conflicts: 1414000 | #Constraints: 49685
3070.42/3079.10 c #Conflicts: 1415000 | #Constraints: 50685
3070.42/3079.10 c #Conflicts: 1416000 | #Constraints: 51685
3070.42/3079.10 c #Conflicts: 1417000 | #Constraints: 52685
3070.42/3079.10 c #Conflicts: 1418000 | #Constraints: 53685
3070.42/3079.10 c #Conflicts: 1419000 | #Constraints: 54685
3070.42/3079.10 c INPROCESSING
3070.42/3079.10 c GARBAGE COLLECT
3070.42/3079.10 c #Conflicts: 1420000 | #Constraints: 32091
3070.42/3079.10 c #Conflicts: 1421000 | #Constraints: 33091
3070.42/3079.10 c #Conflicts: 1422000 | #Constraints: 34091
3070.42/3079.10 c #Conflicts: 1423000 | #Constraints: 35091
3070.42/3079.10 c #Conflicts: 1424000 | #Constraints: 36091
3070.42/3079.10 c #Conflicts: 1425000 | #Constraints: 37091
3241.12/3250.27 c #Conflicts: 1426000 | #Constraints: 38091
3241.12/3250.27 c #Conflicts: 1427000 | #Constraints: 39091
3241.12/3250.27 c #Conflicts: 1428000 | #Constraints: 40091
3241.12/3250.27 c #Conflicts: 1429000 | #Constraints: 41091
3241.12/3250.27 c #Conflicts: 1430000 | #Constraints: 42091
3241.12/3250.27 c #Conflicts: 1431000 | #Constraints: 43091
3241.12/3250.27 c #Conflicts: 1432000 | #Constraints: 44091
3241.12/3250.27 c #Conflicts: 1433000 | #Constraints: 45091
3241.12/3250.27 c #Conflicts: 1434000 | #Constraints: 46091
3241.12/3250.27 c #Conflicts: 1435000 | #Constraints: 47091
3241.12/3250.27 c #Conflicts: 1436000 | #Constraints: 48091
3241.12/3250.27 c #Conflicts: 1437000 | #Constraints: 49091
3241.12/3250.27 c #Conflicts: 1438000 | #Constraints: 50091
3241.12/3250.27 c #Conflicts: 1439000 | #Constraints: 51091
3241.12/3250.27 c #Conflicts: 1440000 | #Constraints: 52091
3241.12/3250.27 c #Conflicts: 1441000 | #Constraints: 53091
3241.12/3250.27 c #Conflicts: 1442000 | #Constraints: 54091
3241.12/3250.27 c #Conflicts: 1443000 | #Constraints: 55091
3241.12/3250.27 c INPROCESSING
3241.12/3250.27 c GARBAGE COLLECT
3241.12/3250.27 c #Conflicts: 1444000 | #Constraints: 32287
3241.12/3250.27 c #Conflicts: 1445000 | #Constraints: 33287
3241.12/3250.27 c #Conflicts: 1446000 | #Constraints: 34287
3241.12/3250.27 c #Conflicts: 1447000 | #Constraints: 35287
3241.12/3250.27 c #Conflicts: 1448000 | #Constraints: 36287
3241.12/3250.27 c #Conflicts: 1449000 | #Constraints: 37287
3241.12/3250.27 c #Conflicts: 1450000 | #Constraints: 38287
3241.12/3250.27 c #Conflicts: 1451000 | #Constraints: 39287
3241.12/3250.27 c #Conflicts: 1452000 | #Constraints: 40287
3241.12/3250.27 c #Conflicts: 1453000 | #Constraints: 41287
3241.12/3250.27 c #Conflicts: 1454000 | #Constraints: 42287
3241.12/3250.27 c #Conflicts: 1455000 | #Constraints: 43287
3241.12/3250.27 c #Conflicts: 1456000 | #Constraints: 44287
3241.12/3250.27 c #Conflicts: 1457000 | #Constraints: 45287
3241.12/3250.27 c #Conflicts: 1458000 | #Constraints: 46287
3241.12/3250.27 c #Conflicts: 1459000 | #Constraints: 47287
3241.12/3250.27 c #Conflicts: 1460000 | #Constraints: 48287
3241.12/3250.27 c #Conflicts: 1461000 | #Constraints: 49287
3241.12/3250.27 c #Conflicts: 1462000 | #Constraints: 50287
3241.12/3250.27 c #Conflicts: 1463000 | #Constraints: 51287
3241.12/3250.27 c #Conflicts: 1464000 | #Constraints: 52287
3241.12/3250.27 c #Conflicts: 1465000 | #Constraints: 53287
3241.12/3250.27 c #Conflicts: 1466000 | #Constraints: 54287
3241.12/3250.27 c #Conflicts: 1467000 | #Constraints: 55287
3241.12/3250.27 c INPROCESSING
3241.12/3250.27 c GARBAGE COLLECT
3241.12/3250.27 c #Conflicts: 1468000 | #Constraints: 32287
3241.12/3250.27 c #Conflicts: 1469000 | #Constraints: 33287
3241.12/3250.27 c #Conflicts: 1470000 | #Constraints: 34287
3241.12/3250.27 c #Conflicts: 1471000 | #Constraints: 35287
3241.12/3250.27 c #Conflicts: 1472000 | #Constraints: 36287
3241.12/3250.27 c #Conflicts: 1473000 | #Constraints: 37287
3241.12/3250.27 c #Conflicts: 1474000 | #Constraints: 38287
3241.12/3250.27 c #Conflicts: 1475000 | #Constraints: 39287
3241.12/3250.27 c #Conflicts: 1476000 | #Constraints: 40287
3241.12/3250.27 c #Conflicts: 1477000 | #Constraints: 41287
3241.12/3250.27 c #Conflicts: 1478000 | #Constraints: 42287
3241.12/3250.27 c #Conflicts: 1479000 | #Constraints: 43287
3241.12/3250.27 c #Conflicts: 1480000 | #Constraints: 44287
3241.12/3250.27 c #Conflicts: 1481000 | #Constraints: 45287
3241.12/3250.27 c #Conflicts: 1482000 | #Constraints: 46287
3241.12/3250.27 c #Conflicts: 1483000 | #Constraints: 47287
3241.12/3250.27 c #Conflicts: 1484000 | #Constraints: 48287
3241.12/3250.27 c #Conflicts: 1485000 | #Constraints: 49287
3241.12/3250.27 c #Conflicts: 1486000 | #Constraints: 50287
3241.12/3250.27 c #Conflicts: 1487000 | #Constraints: 51287
3241.12/3250.27 c #Conflicts: 1488000 | #Constraints: 52287
3241.12/3250.27 c #Conflicts: 1489000 | #Constraints: 53287
3241.12/3250.27 c #Conflicts: 1490000 | #Constraints: 54287
3241.12/3250.27 c #Conflicts: 1491000 | #Constraints: 55287
3241.12/3250.27 c INPROCESSING
3241.12/3250.27 c GARBAGE COLLECT
3241.12/3250.27 c #Conflicts: 1492000 | #Constraints: 32083
3241.12/3250.27 c #Conflicts: 1493000 | #Constraints: 33083
3241.12/3250.27 c #Conflicts: 1494000 | #Constraints: 34083
3241.12/3250.27 c #Conflicts: 1495000 | #Constraints: 35083
3241.12/3250.27 c #Conflicts: 1496000 | #Constraints: 36083
3241.12/3250.27 c #Conflicts: 1497000 | #Constraints: 37083
3241.12/3250.27 c #Conflicts: 1498000 | #Constraints: 38083
3241.12/3250.27 c #Conflicts: 1499000 | #Constraints: 39083
3241.12/3250.27 c #Conflicts: 1500000 | #Constraints: 40083
3241.12/3250.27 c #Conflicts: 1501000 | #Constraints: 41083
3241.12/3250.27 c #Conflicts: 1502000 | #Constraints: 42083
3404.65/3414.11 c #Conflicts: 1503000 | #Constraints: 43083
3404.65/3414.11 c #Conflicts: 1504000 | #Constraints: 44083
3404.65/3414.11 c #Conflicts: 1505000 | #Constraints: 45083
3404.65/3414.11 c #Conflicts: 1506000 | #Constraints: 46083
3404.65/3414.11 c #Conflicts: 1507000 | #Constraints: 47083
3404.65/3414.11 c #Conflicts: 1508000 | #Constraints: 48083
3404.65/3414.11 c #Conflicts: 1509000 | #Constraints: 49083
3404.65/3414.11 c #Conflicts: 1510000 | #Constraints: 50083
3404.65/3414.11 c #Conflicts: 1511000 | #Constraints: 51083
3404.65/3414.11 c #Conflicts: 1512000 | #Constraints: 52083
3404.65/3414.11 c #Conflicts: 1513000 | #Constraints: 53083
3404.65/3414.11 c #Conflicts: 1514000 | #Constraints: 54083
3404.65/3414.11 c #Conflicts: 1515000 | #Constraints: 55083
3404.65/3414.11 c #Conflicts: 1516000 | #Constraints: 56083
3404.65/3414.11 c INPROCESSING
3404.65/3414.11 c GARBAGE COLLECT
3404.65/3414.11 c #Conflicts: 1517000 | #Constraints: 32685
3404.65/3414.11 c #Conflicts: 1518000 | #Constraints: 33685
3404.65/3414.11 c #Conflicts: 1519000 | #Constraints: 34685
3404.65/3414.11 c #Conflicts: 1520000 | #Constraints: 35685
3404.65/3414.11 c #Conflicts: 1521000 | #Constraints: 36685
3404.65/3414.11 c #Conflicts: 1522000 | #Constraints: 37685
3404.65/3414.11 c #Conflicts: 1523000 | #Constraints: 38685
3404.65/3414.11 c #Conflicts: 1524000 | #Constraints: 39685
3404.65/3414.11 c #Conflicts: 1525000 | #Constraints: 40685
3404.65/3414.11 c #Conflicts: 1526000 | #Constraints: 41685
3404.65/3414.11 c #Conflicts: 1527000 | #Constraints: 42685
3404.65/3414.11 c #Conflicts: 1528000 | #Constraints: 43685
3404.65/3414.11 c #Conflicts: 1529000 | #Constraints: 44685
3404.65/3414.11 c #Conflicts: 1530000 | #Constraints: 45685
3404.65/3414.11 c #Conflicts: 1531000 | #Constraints: 46685
3404.65/3414.11 c #Conflicts: 1532000 | #Constraints: 47685
3404.65/3414.11 c #Conflicts: 1533000 | #Constraints: 48685
3404.65/3414.11 c #Conflicts: 1534000 | #Constraints: 49685
3404.65/3414.11 c #Conflicts: 1535000 | #Constraints: 50685
3404.65/3414.11 c #Conflicts: 1536000 | #Constraints: 51685
3404.65/3414.11 c #Conflicts: 1537000 | #Constraints: 52685
3404.65/3414.11 c #Conflicts: 1538000 | #Constraints: 53685
3404.65/3414.11 c #Conflicts: 1539000 | #Constraints: 54685
3404.65/3414.11 c #Conflicts: 1540000 | #Constraints: 55685
3404.65/3414.11 c #Conflicts: 1541000 | #Constraints: 56685
3404.65/3414.11 c INPROCESSING
3404.65/3414.11 c GARBAGE COLLECT
3404.65/3414.11 c #Conflicts: 1542000 | #Constraints: 33085
3404.65/3414.11 c #Conflicts: 1543000 | #Constraints: 34085
3404.65/3414.11 c #Conflicts: 1544000 | #Constraints: 35085
3404.65/3414.11 c #Conflicts: 1545000 | #Constraints: 36085
3404.65/3414.11 c #Conflicts: 1546000 | #Constraints: 37085
3404.65/3414.11 c #Conflicts: 1547000 | #Constraints: 38085
3404.65/3414.11 c #Conflicts: 1548000 | #Constraints: 39085
3404.65/3414.11 c #Conflicts: 1549000 | #Constraints: 40085
3404.65/3414.11 c #Conflicts: 1550000 | #Constraints: 41085
3404.65/3414.11 c #Conflicts: 1551000 | #Constraints: 42085
3404.65/3414.11 c #Conflicts: 1552000 | #Constraints: 43085
3404.65/3414.11 c #Conflicts: 1553000 | #Constraints: 44085
3404.65/3414.11 c #Conflicts: 1554000 | #Constraints: 45085
3404.65/3414.11 c #Conflicts: 1555000 | #Constraints: 46085
3404.65/3414.11 c #Conflicts: 1556000 | #Constraints: 47085
3404.65/3414.11 c #Conflicts: 1557000 | #Constraints: 48085
3404.65/3414.11 c #Conflicts: 1558000 | #Constraints: 49085
3404.65/3414.11 c #Conflicts: 1559000 | #Constraints: 50085
3404.65/3414.11 c #Conflicts: 1560000 | #Constraints: 51085
3404.65/3414.11 c #Conflicts: 1561000 | #Constraints: 52085
3404.65/3414.11 c #Conflicts: 1562000 | #Constraints: 53085
3404.65/3414.11 c #Conflicts: 1563000 | #Constraints: 54085
3404.65/3414.11 c #Conflicts: 1564000 | #Constraints: 55085
3404.65/3414.11 c #Conflicts: 1565000 | #Constraints: 56085
3404.65/3414.11 c #Conflicts: 1566000 | #Constraints: 57085
3404.65/3414.11 c INPROCESSING
3404.65/3414.11 c GARBAGE COLLECT
3404.65/3414.11 c #Conflicts: 1567000 | #Constraints: 33293
3404.65/3414.11 c #Conflicts: 1568000 | #Constraints: 34293
3404.65/3414.11 c #Conflicts: 1569000 | #Constraints: 35293
3404.65/3414.11 c #Conflicts: 1570000 | #Constraints: 36293
3404.65/3414.11 c #Conflicts: 1571000 | #Constraints: 37293
3404.65/3414.11 c #Conflicts: 1572000 | #Constraints: 38293
3404.65/3414.11 c #Conflicts: 1573000 | #Constraints: 39293
3404.65/3414.11 c #Conflicts: 1574000 | #Constraints: 40293
3404.65/3414.11 c #Conflicts: 1575000 | #Constraints: 41293
3404.65/3414.11 c #Conflicts: 1576000 | #Constraints: 42293
3404.65/3414.11 c #Conflicts: 1577000 | #Constraints: 43293
3404.65/3414.11 c #Conflicts: 1578000 | #Constraints: 44293
3404.65/3414.11 c #Conflicts: 1579000 | #Constraints: 45293
3567.18/3577.05 c #Conflicts: 1580000 | #Constraints: 46293
3567.18/3577.05 c #Conflicts: 1581000 | #Constraints: 47293
3567.18/3577.05 c #Conflicts: 1582000 | #Constraints: 48293
3567.18/3577.05 c #Conflicts: 1583000 | #Constraints: 49293
3567.18/3577.05 c #Conflicts: 1584000 | #Constraints: 50293
3567.18/3577.05 c #Conflicts: 1585000 | #Constraints: 51293
3567.18/3577.05 c #Conflicts: 1586000 | #Constraints: 52293
3567.18/3577.05 c #Conflicts: 1587000 | #Constraints: 53293
3567.18/3577.05 c #Conflicts: 1588000 | #Constraints: 54293
3567.18/3577.05 c #Conflicts: 1589000 | #Constraints: 55293
3567.18/3577.05 c #Conflicts: 1590000 | #Constraints: 56293
3567.18/3577.05 c #Conflicts: 1591000 | #Constraints: 57293
3567.18/3577.05 c INPROCESSING
3567.18/3577.05 c GARBAGE COLLECT
3567.18/3577.05 c #Conflicts: 1592000 | #Constraints: 33298
3567.18/3577.05 c #Conflicts: 1593000 | #Constraints: 34298
3567.18/3577.05 c #Conflicts: 1594000 | #Constraints: 35298
3567.18/3577.05 c #Conflicts: 1595000 | #Constraints: 36298
3567.18/3577.05 c #Conflicts: 1596000 | #Constraints: 37298
3567.18/3577.05 c #Conflicts: 1597000 | #Constraints: 38298
3567.18/3577.05 c #Conflicts: 1598000 | #Constraints: 39298
3567.18/3577.05 c #Conflicts: 1599000 | #Constraints: 40298
3567.18/3577.05 c #Conflicts: 1600000 | #Constraints: 41298
3567.18/3577.05 c #Conflicts: 1601000 | #Constraints: 42298
3567.18/3577.05 c #Conflicts: 1602000 | #Constraints: 43298
3567.18/3577.05 c #Conflicts: 1603000 | #Constraints: 44298
3567.18/3577.05 c #Conflicts: 1604000 | #Constraints: 45298
3567.18/3577.05 c #Conflicts: 1605000 | #Constraints: 46298
3567.18/3577.05 c #Conflicts: 1606000 | #Constraints: 47298
3567.18/3577.05 c #Conflicts: 1607000 | #Constraints: 48298
3567.18/3577.05 c #Conflicts: 1608000 | #Constraints: 49298
3567.18/3577.05 c #Conflicts: 1609000 | #Constraints: 50298
3567.18/3577.05 c #Conflicts: 1610000 | #Constraints: 51298
3567.18/3577.05 c #Conflicts: 1611000 | #Constraints: 52298
3567.18/3577.05 c #Conflicts: 1612000 | #Constraints: 53298
3567.18/3577.05 c #Conflicts: 1613000 | #Constraints: 54298
3567.18/3577.05 c #Conflicts: 1614000 | #Constraints: 55298
3567.18/3577.05 c #Conflicts: 1615000 | #Constraints: 56298
3567.18/3577.05 c #Conflicts: 1616000 | #Constraints: 57298
3567.18/3577.05 c INPROCESSING
3567.18/3577.05 c GARBAGE COLLECT
3567.18/3577.05 c #Conflicts: 1617000 | #Constraints: 33098
3567.18/3577.05 c #Conflicts: 1618000 | #Constraints: 34098
3567.18/3577.05 c #Conflicts: 1619000 | #Constraints: 35098
3567.18/3577.05 c #Conflicts: 1620000 | #Constraints: 36098
3567.18/3577.05 c #Conflicts: 1621000 | #Constraints: 37098
3567.18/3577.05 c #Conflicts: 1622000 | #Constraints: 38098
3567.18/3577.05 c #Conflicts: 1623000 | #Constraints: 39098
3567.18/3577.05 c #Conflicts: 1624000 | #Constraints: 40098
3567.18/3577.05 c #Conflicts: 1625000 | #Constraints: 41098
3567.18/3577.05 c #Conflicts: 1626000 | #Constraints: 42098
3567.18/3577.05 c #Conflicts: 1627000 | #Constraints: 43098
3567.18/3577.05 c #Conflicts: 1628000 | #Constraints: 44098
3567.18/3577.05 c #Conflicts: 1629000 | #Constraints: 45098
3567.18/3577.05 c #Conflicts: 1630000 | #Constraints: 46098
3567.18/3577.05 c #Conflicts: 1631000 | #Constraints: 47098
3567.18/3577.05 c #Conflicts: 1632000 | #Constraints: 48098
3567.18/3577.05 c #Conflicts: 1633000 | #Constraints: 49098
3567.18/3577.05 c #Conflicts: 1634000 | #Constraints: 50098
3567.18/3577.05 c #Conflicts: 1635000 | #Constraints: 51098
3567.18/3577.05 c #Conflicts: 1636000 | #Constraints: 52098
3567.18/3577.05 c #Conflicts: 1637000 | #Constraints: 53098
3567.18/3577.05 c #Conflicts: 1638000 | #Constraints: 54098
3567.18/3577.05 c #Conflicts: 1639000 | #Constraints: 55098
3567.18/3577.05 c #Conflicts: 1640000 | #Constraints: 56098
3567.18/3577.05 c #Conflicts: 1641000 | #Constraints: 57098
3567.18/3577.05 c #Conflicts: 1642000 | #Constraints: 58098
3567.18/3577.05 c INPROCESSING
3567.18/3577.05 c GARBAGE COLLECT
3567.18/3577.05 c #Conflicts: 1643000 | #Constraints: 33687
3567.18/3577.05 c #Conflicts: 1644000 | #Constraints: 34687
3567.18/3577.05 c #Conflicts: 1645000 | #Constraints: 35687
3567.18/3577.05 c #Conflicts: 1646000 | #Constraints: 36687
3567.18/3577.05 c #Conflicts: 1647000 | #Constraints: 37687
3567.18/3577.05 c #Conflicts: 1648000 | #Constraints: 38687
3567.18/3577.05 c #Conflicts: 1649000 | #Constraints: 39687
3567.18/3577.05 c #Conflicts: 1650000 | #Constraints: 40687
3567.18/3577.05 c #Conflicts: 1651000 | #Constraints: 41687
3567.18/3577.05 c #Conflicts: 1652000 | #Constraints: 42687
3567.18/3577.05 c #Conflicts: 1653000 | #Constraints: 43687
3567.18/3577.05 c #Conflicts: 1654000 | #Constraints: 44687
3567.18/3577.05 c #Conflicts: 1655000 | #Constraints: 45687
3567.18/3577.05 c #Conflicts: 1656000 | #Constraints: 46687
3600.00/3609.90 c #Conflicts: 1657000 | #Constraints: 47687
3600.00/3609.90 c #Conflicts: 1658000 | #Constraints: 48687
3600.00/3609.90 c #Conflicts: 1659000 | #Constraints: 49687
3600.00/3609.90 c #Conflicts: 1660000 | #Constraints: 50687
3600.00/3609.90 c #Conflicts: 1661000 | #Constraints: 51687
3600.00/3609.90 c #Conflicts: 1662000 | #Constraints: 52687
3600.00/3609.90 c #Conflicts: 1663000 | #Constraints: 53687
3600.00/3609.90 c #Conflicts: 1664000 | #Constraints: 54687
3600.00/3609.90 c #Conflicts: 1665000 | #Constraints: 55687
3600.00/3609.90 c #Conflicts: 1666000 | #Constraints: 56687
3600.00/3609.90 c #Conflicts: 1667000 | #Constraints: 57687
3600.00/3609.90 c #Conflicts: 1668000 | #Constraints: 58687
3600.00/3609.90 c INPROCESSING
3600.00/3609.90 c GARBAGE COLLECT
3600.00/3609.90 c #Conflicts: 1669000 | #Constraints: 34088
3600.00/3609.90 c #Conflicts: 1670000 | #Constraints: 35088
3600.00/3609.90 c #Conflicts: 1671000 | #Constraints: 36088
3600.00/3609.90 c Program interrupted by user.
3600.00/3609.90 c cpu time 3590.57 s
3600.00/3609.90 c deterministic time 100510160403 1.01e+11
3600.00/3609.90 c optimization time 6.92671 s
3600.00/3609.90 c total solve time 3583.63 s
3600.00/3609.90 c core-guided solve time 3583.63 s
3600.00/3609.90 c propagation time 1169.87 s
3600.00/3609.90 c conflict analysis time 2316.62 s
3600.00/3609.90 c propagations 667172148
3600.00/3609.90 c resolve steps 50519096
3600.00/3609.90 c decisions 3835343
3600.00/3609.90 c conflicts 1671681
3600.00/3609.90 c restarts 3185
3600.00/3609.90 c inprocessing phases 120
3600.00/3609.90 c input clauses 3725
3600.00/3609.90 c input cardinalities 50
3600.00/3609.90 c input general constraints 3711
3600.00/3609.90 c input average constraint length 20.66
3600.00/3609.90 c input average constraint degree 235.26
3600.00/3609.90 c learned clauses 1626052
3600.00/3609.90 c learned cardinalities 13
3600.00/3609.90 c learned general constraints 45615
3600.00/3609.90 c learned average constraint length 301.29
3600.00/3609.90 c learned average constraint degree 573.82
3600.00/3609.90 c watched constraints 19453
3600.00/3609.90 c counting constraints 29873
3600.00/3609.90 c gcd simplifications 664343
3600.00/3609.90 c detected cardinalities 0
3600.00/3609.90 c weakened non-implied lits 4138482121
3600.00/3609.90 c weakened non-implying lits 7489702
3600.00/3609.90 c original variables 3825
3600.00/3609.90 c clausal propagations 57654218
3600.00/3609.90 c cardinality propagations 1705542
3600.00/3609.90 c watched propagations 86065
3600.00/3609.90 c counting propagations 605938402
3600.00/3609.90 c watch lookups 31134071387
3600.00/3609.90 c watch backjump lookups 30897162330
3600.00/3609.90 c watch checks 1738321836
3600.00/3609.90 c propagation checks 24255911328
3600.00/3609.90 c constraint additions 11141009968
3600.00/3609.90 c trail pops 672676062
3600.00/3609.90 c formula constraints 7450
3600.00/3609.90 c learned constraints 1671680
3600.00/3609.90 c bound constraints 36
3600.00/3609.90 c core-guided constraints 0
3600.00/3609.90 c encountered formula constraints 44580516
3600.00/3609.90 c encountered learned constraints 6680584
3600.00/3609.90 c encountered bound constraints 929677
3600.00/3609.90 c encountered core-guided constraints 0
3600.00/3609.90 c LP total time 0 s
3600.00/3609.90 c LP solve time 0 s
3600.00/3609.90 c LP constraints added 0
3600.00/3609.90 c LP constraints removed 0
3600.00/3609.90 c LP pivots internal 0
3600.00/3609.90 c LP pivots root 0
3600.00/3609.90 c LP calls 0
3600.00/3609.90 c LP optimalities 0
3600.00/3609.90 c LP no pivot count 0
3600.00/3609.90 c LP infeasibilities 0
3600.00/3609.90 c LP valid Farkas constraints 0
3600.00/3609.90 c LP learned Farkas constraints 0
3600.00/3609.90 c LP basis resets 0
3600.00/3609.90 c LP cycling count 0
3600.00/3609.90 c LP singular count 0
3600.00/3609.90 c LP no primal count 0
3600.00/3609.90 c LP no farkas count 0
3600.00/3609.90 c LP other issue count 0
3600.00/3609.90 c LP Gomory cuts 0
3600.00/3609.90 c LP learned cuts 0
3600.00/3609.90 c LP deleted cuts 0
3600.00/3609.90 c LP encountered Gomory constraints 0
3600.00/3609.90 c LP encountered Farkas constraints 0
3600.00/3609.90 c LP encountered learned Farkas constraints 0
3600.00/3609.90 c CG auxiliary variables introduced 0
3600.00/3609.90 c CG solutions found 32
3600.00/3609.90 c CG cores constructed 4
3600.00/3609.90 c CG core cardinality constraints returned 0
3600.00/3609.90 c CG unit cores 0
3600.00/3609.90 c CG single cores 4
3600.00/3609.90 c CG blocks removed during cardinality reduction 0
3600.00/3609.90 c CG first core best 0
3600.00/3609.90 c CG decision core best 0
3600.00/3609.90 c CG core reduction tie 0
3600.00/3609.90 c CG core degree average 1.00
3600.00/3609.90 c CG core slack average 499.50
3600.00/3609.90 c CG exhausted 0
3600.00/3609.90 c CG exhaust time 0 s
3600.00/3609.90 c CG trimmed 2
3600.00/3609.90 c CG trim time 0.012459 s
3600.00/3609.90 c CG minimized 0
3600.00/3609.90 c CG minimize time 0 s
3600.00/3609.90 c CG am1 prop time 0.00206 s
3600.00/3609.90 c CG # am1s reformulated 0
3600.00/3609.90 c CG lower bound derived from am1s 0
3600.00/3609.90 c CG # clausal cores 4
3600.00/3609.90 c CG # cardinality cores 0
3600.00/3609.90 c CG # pb cores 0
3600.00/3609.90 c CG # pb reforms 0
3600.00/3609.90 c CG # cores discarded because of pb reform 0
3600.00/3609.90 d LOWERBOUND 64
3600.00/3609.90 d NCORES 4
3600.00/3609.90 d NPBCORES 0
3600.00/3609.90 d NPBREFORM 0
3600.00/3609.90 d NTRIMMED 2
3600.00/3609.90 d NEXHAUSTED 0
3600.00/3609.90 d NAM1S 0
3600.00/3609.90 d AM1LB 0
3600.00/3609.90 o 2312
3600.00/3609.90 s SATISFIABLE
3600.00/3609.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 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 x812 x813 x814 x815 x816 x817 x818 x819 x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 x944 x945 x946 x947 x948 x949 x950 x951 x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 x1075 x1076 x1077 x1078 x1079 x1080 x1081 x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 x1202 x1203 x1204 x1205 x1206 x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 x1326 x1327 x1328 x1329 x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 x1447 x1448 x1449 x1450 x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 x1564 x1565 x1566 x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 x1679 x1680 x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 x1791 x1792 x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 x2177 x2178 x2179 x2180 x2181 x2182 x2183 x2184 x2185 x2186 x2187 x2188 x2189 x2190 x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 x2274 x2275 x2276 x2277 x2278 x2279 x2280 x2281 x2282 x2283 x2284 x2285 x2286 x2287 x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 x2369 x2370 x2371 x2372 x2373 x2374 x2375 x2376 x2377 x2378 x2379 x2380 x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 x2462 x2463 x2464 x2465 x2466 x2467 x2468 x2469 x2470 x2471 x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 x2550 x2551 x2552 x2553 x2554 x2555 x2556 x2557 x2558 x2559 x2560 x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 x2636 x2637 x2638 x2639 x2640 x2641 x2642 x2643 x2644 x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 x2719 x2720 x2721 x2722 x2723 x2724 x2725 x2726 x2727 x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 x2799 x2800 x2801 x2802 x2803 x2804 x2805 x2806 x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 x2876 x2877 x2878 x2879 x2880 x2881 x2882 x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 x2950 x2951 x2952 x2953 x2954 x2955 x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 x3021 x3022 x3023 x3024 x3025 x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 x3089 x3090 x3091 x3092 x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 x3155 x3156 x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 x3216 x3217 x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 x3275 x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 x3418 x3419 x3420 x3421 x3422 x3423 x3424 x3425 x3426 x3427 x3428 x3429 x3430 x3431 x3432 x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 x3466 x3467 x3468 x3469 x3470 x3471 x3472 x3473 x3474 x3475 x3476 x3477 x3478 x3479 x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 x3511 x3512 x3513 x3514 x3515 x3516 x3517 x3518 x3519 x3520 x3521 x3522 x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 x3553 x3554 x3555 x3556 x3557 x3558 x3559 x3560 x3561 x3562 x3563 x3564 x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 x3592 x3593 x3594 x3595 x3596 x3597 x3598 x3599 x3600 x3601 x3602 x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 x3628 x3629 x3630 x3631 x3632 x3633 x3634 x3635 x3636 x3637 x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 x3661 x3662 x3663 x3664 x3665 x3666 x3667 x3668 x3669 x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 x3691 x3692 x3693 x3694 x3695 x3696 x3697 x3698 x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 x3718 x3719 x3720 x3721 x3722 x3723 x3724 x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 x3742 x3743 x3744 x3745 x3746 x3747 x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 x3763 x3764 x3765 x3766 x3767 x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 x3781 x3782 x3783 x3784 x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 x3796 x3797 x3798 x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 x3808 x3809 x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 x3817 x3818 -x3819 -x3820 -x3821 -x3822 x3823 -x3824 -x3825
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: 63968 MiB (62757 MiB free)
memory of node 1: 64473 MiB (62746 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436153-1721168810/watcher-4436153-1721168810 -o /tmp/evaluation-result-4436153-1721168810/solver-4436153-1721168810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721165209-878136 --watchdog 3760 pb-oll-rs HOME/instance-4436153-1721168810.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=880977, runsolver pid=880974
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 4.08 4.12 4.13 5/256 880978
/proc/meminfo: memFree=128509432/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=42132 memory=11492 CPUtime=0.09 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 1243 0 0 0 7 2 0 0 20 0 1 0 169047169 43143168 2873 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 10533 2873 1407 291 0 2067 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42132 KiB
Current children cumulated memory: 11492 KiB
[startup+0.205627 s]*
/proc/loadavg: 4.08 4.12 4.13 5/256 880978
/proc/meminfo: memFree=128509264/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=42284 memory=11756 CPUtime=0.2 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 1274 0 0 0 18 2 0 0 20 0 1 0 169047169 43298816 2939 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 10571 2939 1407 291 0 2105 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42284 KiB
Current children cumulated memory: 11756 KiB
[startup+0.305556 s]*
/proc/loadavg: 4.08 4.12 4.13 5/256 880978
/proc/meminfo: memFree=128509124/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=42284 memory=11756 CPUtime=0.3 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 1274 0 0 0 28 2 0 0 20 0 1 0 169047169 43298816 2939 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 10571 2939 1407 291 0 2105 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42284 KiB
Current children cumulated memory: 11756 KiB
[startup+0.700193 s]
/proc/loadavg: 4.08 4.12 4.13 5/256 880978
/proc/meminfo: memFree=128508312/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=42284 memory=11756 CPUtime=0.69 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 1275 0 0 0 66 3 0 0 20 0 1 0 169047169 43298816 2939 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 10571 2939 1407 291 0 2105 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42284 KiB
Current children cumulated memory: 11756 KiB
[startup+1.50022 s]
/proc/loadavg: 4.08 4.12 4.13 5/256 880978
/proc/meminfo: memFree=128507644/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=42284 memory=13804 CPUtime=1.48 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 1281 0 0 0 145 3 0 0 20 0 1 0 169047169 43298816 3451 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 10571 3451 1407 291 0 2105 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42284 KiB
Current children cumulated memory: 13804 KiB
[startup+3.10574 s]
/proc/loadavg: 4.07 4.12 4.12 5/256 880978
/proc/meminfo: memFree=128482932/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=42416 memory=13804 CPUtime=3.09 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 1304 0 0 0 305 4 0 0 20 0 1 0 169047169 43433984 3451 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 10604 3451 1407 291 0 2138 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 42416 KiB
Current children cumulated memory: 13804 KiB
[startup+6.30021 s]
/proc/loadavg: 4.07 4.12 4.12 5/257 880981
/proc/meminfo: memFree=128474336/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=42556 memory=14048 CPUtime=6.27 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 1351 0 0 0 622 5 0 0 20 0 1 0 169047169 43577344 3512 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 10639 3512 1407 291 0 2173 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 42556 KiB
Current children cumulated memory: 14048 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.11 4.12 5/257 880981
/proc/meminfo: memFree=128433472/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=45708 memory=16224 CPUtime=12.66 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 1888 0 0 0 1258 8 0 0 20 0 1 0 169047169 46804992 4056 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 11427 4056 1470 291 0 2961 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 45708 KiB
Current children cumulated memory: 16224 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 4.11 4.12 5/257 880985
/proc/meminfo: memFree=128408812/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=50472 memory=18668 CPUtime=25.44 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 2487 0 0 0 2531 13 0 0 20 0 1 0 169047169 51683328 4667 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 12618 4667 1470 291 0 4152 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 50472 KiB
Current children cumulated memory: 18668 KiB
[startup+51.1055 s]
/proc/loadavg: 4.23 4.15 4.13 5/257 880988
/proc/meminfo: memFree=128285736/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=63776 memory=29412 CPUtime=50.99 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 4641 0 0 0 5077 22 0 0 20 0 1 0 169047169 65306624 7353 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 15944 7353 1470 291 0 7478 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 63776 KiB
Current children cumulated memory: 29412 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/258 881211
/proc/meminfo: memFree=128104760/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=64736 memory=34788 CPUtime=102.06 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 4949 0 0 0 10166 40 0 0 20 0 1 0 169047169 66289664 8697 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 16184 8697 1470 291 0 7718 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 64736 KiB
Current children cumulated memory: 34788 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/258 881221
/proc/meminfo: memFree=127845220/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=77740 memory=41608 CPUtime=161.91 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 6153 0 0 0 16130 61 0 0 20 0 1 0 169047169 79605760 10402 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 19435 10402 1470 291 0 10969 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 77740 KiB
Current children cumulated memory: 41608 KiB
[startup+222.3 s]
/proc/loadavg: 4.29 4.19 4.15 5/259 881290
/proc/meminfo: memFree=127721396/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=83760 memory=51856 CPUtime=221.77 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 8020 0 0 0 22099 78 0 0 20 0 1 0 169047169 85770240 12964 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 20940 12964 1470 291 0 12474 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 83760 KiB
Current children cumulated memory: 51856 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.17 4.14 5/259 881301
/proc/meminfo: memFree=127519624/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=84008 memory=54156 CPUtime=281.62 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 8298 0 0 0 28062 100 0 0 20 0 1 0 169047169 86024192 13539 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 21002 13539 1470 291 0 12536 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 84008 KiB
Current children cumulated memory: 54156 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.17 4.14 5/258 881311
/proc/meminfo: memFree=127448392/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=103288 memory=58576 CPUtime=341.48 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 9182 0 0 0 34032 116 0 0 20 0 1 0 169047169 105766912 14644 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 25822 14644 1470 291 0 17356 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 103288 KiB
Current children cumulated memory: 58576 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.15 4.13 5/257 881322
/proc/meminfo: memFree=127289576/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=104316 memory=61660 CPUtime=401.35 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 9663 0 0 0 40001 134 0 0 20 0 1 0 169047169 106819584 15415 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 26079 15415 1470 291 0 17613 0
Current children cumulated CPU time: 401.35 s
Current children cumulated vsize: 104316 KiB
Current children cumulated memory: 61660 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 4.12 4.12 5/257 881333
/proc/meminfo: memFree=127198496/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=105460 memory=66932 CPUtime=461.19 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 10203 0 0 0 45973 146 0 0 20 0 1 0 169047169 107991040 16733 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 26365 16733 1470 291 0 17899 0
################
# More data... #
################
Current children cumulated memory: 162820 KiB
[startup+2922.3 s]
/proc/loadavg: 4.30 4.16 4.11 5/254 882351
/proc/meminfo: memFree=125171608/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=237024 memory=162920 CPUtime=2913.98 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 31334 0 0 0 290607 791 0 0 20 0 1 0 169047169 242712576 40730 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 59256 40730 1470 291 0 50790 0
Current children cumulated CPU time: 2913.98 s
Current children cumulated vsize: 237024 KiB
Current children cumulated memory: 162920 KiB
[startup+2982.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/254 882361
/proc/meminfo: memFree=125169048/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=237092 memory=162988 CPUtime=2973.84 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 31535 0 0 0 296579 805 0 0 20 0 1 0 169047169 242782208 40747 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 59273 40747 1470 291 0 50807 0
Current children cumulated CPU time: 2973.84 s
Current children cumulated vsize: 237092 KiB
Current children cumulated memory: 162988 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/254 882372
/proc/meminfo: memFree=125167824/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=237092 memory=162988 CPUtime=3033.69 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 31722 0 0 0 302550 819 0 0 20 0 1 0 169047169 242782208 40747 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 59273 40747 1470 291 0 50807 0
Current children cumulated CPU time: 3033.69 s
Current children cumulated vsize: 237092 KiB
Current children cumulated memory: 162988 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/254 882383
/proc/meminfo: memFree=125156976/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=237256 memory=165168 CPUtime=3093.55 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 31940 0 0 0 308521 834 0 0 20 0 1 0 169047169 242950144 41292 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 59314 41292 1470 291 0 50848 0
Current children cumulated CPU time: 3093.55 s
Current children cumulated vsize: 237256 KiB
Current children cumulated memory: 165168 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 882393
/proc/meminfo: memFree=125149080/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=237288 memory=165232 CPUtime=3153.42 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 32143 0 0 0 314497 845 0 0 20 0 1 0 169047169 242982912 41308 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 59322 41308 1470 291 0 50856 0
Current children cumulated CPU time: 3153.42 s
Current children cumulated vsize: 237288 KiB
Current children cumulated memory: 165232 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 882407
/proc/meminfo: memFree=125138764/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=237324 memory=165268 CPUtime=3213.29 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 32341 0 0 0 320471 858 0 0 20 0 1 0 169047169 243019776 41317 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 59331 41317 1470 291 0 50865 0
Current children cumulated CPU time: 3213.29 s
Current children cumulated vsize: 237324 KiB
Current children cumulated memory: 165268 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 882419
/proc/meminfo: memFree=125122428/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=237328 memory=165272 CPUtime=3273.14 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 32529 0 0 0 326443 871 0 0 20 0 1 0 169047169 243023872 41318 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 59332 41318 1470 291 0 50866 0
Current children cumulated CPU time: 3273.14 s
Current children cumulated vsize: 237328 KiB
Current children cumulated memory: 165272 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/256 882429
/proc/meminfo: memFree=125118984/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=237364 memory=165308 CPUtime=3333.01 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 32837 0 0 0 332416 885 0 0 20 0 1 0 169047169 243060736 41327 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 59341 41327 1470 291 0 50875 0
Current children cumulated CPU time: 3333.01 s
Current children cumulated vsize: 237364 KiB
Current children cumulated memory: 165308 KiB
[startup+3402.3 s]
/proc/loadavg: 4.45 4.23 4.13 5/256 882440
/proc/meminfo: memFree=125110376/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=237428 memory=165372 CPUtime=3392.87 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 33039 0 0 0 338389 898 0 0 20 0 1 0 169047169 243126272 41343 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 59357 41343 1470 291 0 50891 0
Current children cumulated CPU time: 3392.87 s
Current children cumulated vsize: 237428 KiB
Current children cumulated memory: 165372 KiB
[startup+3462.3 s]
/proc/loadavg: 4.28 4.21 4.13 5/256 882451
/proc/meminfo: memFree=125098656/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=237944 memory=165828 CPUtime=3452.73 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 33337 0 0 0 344360 913 0 0 20 0 1 0 169047169 243654656 41457 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 59486 41457 1470 291 0 51020 0
Current children cumulated CPU time: 3452.73 s
Current children cumulated vsize: 237944 KiB
Current children cumulated memory: 165828 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.17 4.12 5/258 882850
/proc/meminfo: memFree=125097024/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=238460 memory=166336 CPUtime=3512.6 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 33650 0 0 0 350336 924 0 0 20 0 1 0 169047169 244183040 41584 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 59615 41584 1470 291 0 51149 0
Current children cumulated CPU time: 3512.6 s
Current children cumulated vsize: 238460 KiB
Current children cumulated memory: 166336 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/259 882861
/proc/meminfo: memFree=125096388/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=238536 memory=166428 CPUtime=3572.45 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 33920 0 0 0 356309 936 0 0 20 0 1 0 169047169 244260864 41607 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 59634 41607 1470 291 0 51168 0
Current children cumulated CPU time: 3572.45 s
Current children cumulated vsize: 238536 KiB
Current children cumulated memory: 166428 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.08 4.15 4.11 5/259 882911
/proc/meminfo: memFree=126509032/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=238536 memory=170524 CPUtime=3600 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 34095 0 0 0 359057 943 0 0 20 0 1 0 169047169 244260864 42631 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 59634 42631 1470 291 0 51168 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 238536 KiB
Current children cumulated memory: 170524 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.9 s]
# the end of solver process 880977 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.57 s, system=9.4327 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.08 4.15 4.11 5/259 882911
/proc/meminfo: memFree=126509032/131524600 swapFree=131071996/131071996
[pid=880977] ppid=880974 vsize=238536 memory=170524 CPUtime=3600 cores=5,7
/proc/880977/stat : 880977 (pb-oll-rs) R 880974 880977 878123 0 -1 4194304 34095 0 0 0 359057 943 0 0 20 0 1 0 169047169 244260864 42631 134679101440 4194304 5384005 140726104524352 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 29122560 140726104527895 140726104527972 140726104527972 140726104534987 0
/proc/880977/statm: 59634 42631 1470 291 0 51168 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 238536 KiB
Current children cumulated memory: 170524 KiB
Child status: 0
Real time (s): 3609.9
CPU time (s): 3600.01
CPU user time (s): 3590.57
CPU system time (s): 9.4327
CPU usage (%): 99.7258
Max. virtual memory (cumulated for all children) (KiB): 239372
Max. memory (cumulated for all children) (KiB): 170996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.57
system time used= 9.4327
maximum resident set size= 170996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34112
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= 53
involuntary context switches= 1714
# summary of solver processes directly reported to runsolver:
# pid: 880977
# total CPU time (s): 3600.01
# total CPU user time (s): 3590.57
# total CPU system time (s): 9.4327
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.02193 second user time and 16.4955 second system time
The end
Begin job on nodeC026 at 2024-07-17 00:27:03
IDJOB=4436153
IDBENCH=158576
IDSOLVER=3067
FILE ID=nodeC026/4436153-1721168810
RUNJOBID= nodeC026-1721165209-878136
SLURM_JOB_ID= 7505787
Free space on /tmp= 890076 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-50.lin.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436153-1721168810/watcher-4436153-1721168810 -o /tmp/evaluation-result-4436153-1721168810/solver-4436153-1721168810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721165209-878136 --watchdog 3760 pb-oll-rs HOME/instance-4436153-1721168810.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 11852bf7a05815ba1c78428ce5d4534c
RANDOM SEED=523442435
nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3673.803
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3678.353
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.315
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3651.942
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3673.826
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3662.340
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.186
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3662.473
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128516420 kB
MemAvailable: 129569128 kB
Buffers: 445184 kB
Cached: 1438216 kB
SwapCached: 0 kB
Active: 830000 kB
Inactive: 1567804 kB
Active(anon): 1548 kB
Inactive(anon): 550564 kB
Active(file): 828452 kB
Inactive(file): 1017240 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 6532 kB
Writeback: 32 kB
AnonPages: 509208 kB
Mapped: 108820 kB
Shmem: 37720 kB
KReclaimable: 93680 kB
Slab: 201220 kB
SReclaimable: 93680 kB
SUnreclaim: 107540 kB
KernelStack: 4128 kB
PageTables: 10440 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 869464 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 64256 kB
HardwareCorrupted: 0 kB
AnonHugePages: 270336 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 232148 kB
DirectMap2M: 20512768 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890072 MiB
End job on nodeC026 at 2024-07-17 01:27:13