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.013507
0.00/0.02 c stratification level: 48
0.00/0.02 c bounds 18425 >= 0 @ 0.014812
0.00/0.02 c stratification level: 47
0.00/0.02 c bounds 17297 >= 0 @ 0.016102
0.00/0.02 c stratification level: 46
0.00/0.02 c bounds 16217 >= 0 @ 0.017184
0.00/0.02 c stratification level: 45
0.00/0.02 c bounds 15185 >= 0 @ 0.018433
0.00/0.02 c stratification level: 44
0.00/0.03 c bounds 14198 >= 0 @ 0.019585
0.00/0.03 c stratification level: 43
0.00/0.03 c bounds 13258 >= 0 @ 0.02085
0.00/0.03 c stratification level: 42
0.00/0.03 c bounds 12361 >= 0 @ 0.02199
0.00/0.03 c stratification level: 41
0.00/0.03 c bounds 11510 >= 0 @ 0.02392
0.00/0.03 c stratification level: 40
0.00/0.03 c bounds 10705 >= 0 @ 0.024221
0.00/0.03 c stratification level: 39
0.00/0.03 c bounds 9946 >= 0 @ 0.025493
0.00/0.03 c stratification level: 38
0.00/0.03 c bounds 9233 >= 0 @ 0.026868
0.00/0.03 c stratification level: 37
0.00/0.04 c bounds 8566 >= 0 @ 0.027386
0.00/0.04 c stratification level: 36
0.00/0.04 c bounds 7945 >= 0 @ 0.028699
0.00/0.04 c stratification level: 35
0.00/0.04 c bounds 7370 >= 0 @ 0.029413
0.00/0.04 c stratification level: 34
0.00/0.04 c bounds 6841 >= 0 @ 0.030732
0.00/0.04 c stratification level: 33
0.00/0.04 c bounds 6358 >= 0 @ 0.031673
0.00/0.04 c stratification level: 32
0.00/0.04 c bounds 5921 >= 0 @ 0.032394
0.00/0.04 c stratification level: 31
0.00/0.04 c bounds 5530 >= 0 @ 0.033894
0.00/0.04 c stratification level: 30
0.00/0.05 c bounds 5185 >= 0 @ 0.035633
0.00/0.05 c stratification level: 29
0.00/0.05 c bounds 4886 >= 0 @ 0.036622
0.00/0.05 c stratification level: 28
0.00/0.05 c bounds 4633 >= 0 @ 0.037399
0.00/0.05 c stratification level: 27
0.00/0.05 c bounds 4426 >= 0 @ 0.03923
0.00/0.05 c stratification level: 26
0.00/0.05 c bounds 4265 >= 0 @ 0.041207
0.00/0.05 c stratification level: 25
0.00/0.06 c bounds 4150 >= 0 @ 0.042368
0.00/0.06 c stratification level: 24
0.00/0.06 c bounds 4081 >= 0 @ 0.043405
0.00/0.06 c stratification level: 23
0.00/0.06 c bounds 4058 >= 0 @ 0.044698
0.00/0.06 c stratification level: 22
0.00/0.06 c bounds 3577 >= 0 @ 0.046003
0.00/0.06 c stratification level: 21
0.00/0.07 c bounds 3164 >= 0 @ 0.047363
0.00/0.07 c stratification level: 20
0.00/0.07 c bounds 2825 >= 0 @ 0.049043
0.00/0.07 c stratification level: 19
0.00/0.07 c bounds 2566 >= 0 @ 0.051392
0.00/0.07 c stratification level: 18
0.00/0.07 c bounds 2393 >= 0 @ 0.05235
0.00/0.07 c stratification level: 17
0.00/0.08 c bounds 2312 >= 0 @ 0.053505
0.00/0.08 c stratification level: 16
123.71/124.13 c bounds 2312 >= 16 @ 0.055507
123.71/124.13 c bounds 2312 >= 32 @ 0.122895
123.71/124.13 c bounds 2312 >= 48 @ 0.644893
123.71/124.13 c #Conflicts: 1000 | #Constraints: 8484
123.71/124.13 c #Conflicts: 2000 | #Constraints: 9484
123.71/124.13 c INPROCESSING
123.71/124.13 c GARBAGE COLLECT
123.71/124.13 c #Conflicts: 3000 | #Constraints: 9458
123.71/124.13 c #Conflicts: 4000 | #Constraints: 10458
123.71/124.13 c INPROCESSING
123.71/124.13 c GARBAGE COLLECT
123.71/124.13 c #Conflicts: 5000 | #Constraints: 9860
123.71/124.13 c #Conflicts: 6000 | #Constraints: 10860
123.71/124.13 c INPROCESSING
123.71/124.13 c GARBAGE COLLECT
123.71/124.13 c #Conflicts: 7000 | #Constraints: 9867
123.71/124.13 c #Conflicts: 8000 | #Constraints: 10867
123.71/124.13 c #Conflicts: 9000 | #Constraints: 11867
123.71/124.13 c INPROCESSING
123.71/124.13 c GARBAGE COLLECT
123.71/124.13 c #Conflicts: 10000 | #Constraints: 10571
123.71/124.13 c #Conflicts: 11000 | #Constraints: 11571
123.71/124.13 c #Conflicts: 12000 | #Constraints: 12571
123.71/124.13 c INPROCESSING
123.71/124.13 c GARBAGE COLLECT
123.71/124.13 c #Conflicts: 13000 | #Constraints: 11020
123.71/124.13 c #Conflicts: 14000 | #Constraints: 12020
123.71/124.13 c #Conflicts: 15000 | #Constraints: 13020
123.71/124.13 c INPROCESSING
123.71/124.13 c GARBAGE COLLECT
123.71/124.13 c #Conflicts: 16000 | #Constraints: 11244
123.71/124.13 c #Conflicts: 17000 | #Constraints: 12244
123.71/124.13 c #Conflicts: 18000 | #Constraints: 13244
123.71/124.13 c INPROCESSING
123.71/124.13 c GARBAGE COLLECT
123.71/124.13 c #Conflicts: 19000 | #Constraints: 11271
123.71/124.13 c #Conflicts: 20000 | #Constraints: 12271
123.71/124.13 c #Conflicts: 21000 | #Constraints: 13271
123.71/124.13 c INPROCESSING
123.71/124.13 c GARBAGE COLLECT
123.71/124.13 c #Conflicts: 22000 | #Constraints: 11075
123.71/124.13 c #Conflicts: 23000 | #Constraints: 12075
123.71/124.13 c #Conflicts: 24000 | #Constraints: 13075
123.71/124.13 c #Conflicts: 25000 | #Constraints: 14075
123.71/124.13 c INPROCESSING
123.71/124.13 c GARBAGE COLLECT
123.71/124.13 c #Conflicts: 26000 | #Constraints: 11679
123.71/124.13 c #Conflicts: 27000 | #Constraints: 12679
123.71/124.13 c #Conflicts: 28000 | #Constraints: 13679
123.71/124.13 c #Conflicts: 29000 | #Constraints: 14679
123.71/124.13 c INPROCESSING
123.71/124.13 c GARBAGE COLLECT
123.71/124.13 c #Conflicts: 30000 | #Constraints: 12080
123.71/124.13 c #Conflicts: 31000 | #Constraints: 13080
123.71/124.13 c #Conflicts: 32000 | #Constraints: 14080
123.71/124.13 c #Conflicts: 33000 | #Constraints: 15080
123.71/124.13 c INPROCESSING
123.71/124.13 c GARBAGE COLLECT
123.71/124.13 c #Conflicts: 34000 | #Constraints: 12283
123.71/124.13 c #Conflicts: 35000 | #Constraints: 13283
123.71/124.13 c #Conflicts: 36000 | #Constraints: 14283
123.71/124.13 c #Conflicts: 37000 | #Constraints: 15283
123.71/124.13 c INPROCESSING
123.71/124.13 c GARBAGE COLLECT
123.71/124.13 c #Conflicts: 38000 | #Constraints: 12280
123.71/124.13 c #Conflicts: 39000 | #Constraints: 13280
123.71/124.13 c #Conflicts: 40000 | #Constraints: 14280
123.71/124.13 c #Conflicts: 41000 | #Constraints: 15280
123.71/124.13 c INPROCESSING
123.71/124.13 c GARBAGE COLLECT
123.71/124.13 c #Conflicts: 42000 | #Constraints: 12087
123.71/124.13 c #Conflicts: 43000 | #Constraints: 13087
123.71/124.13 c #Conflicts: 44000 | #Constraints: 14087
123.71/124.13 c #Conflicts: 45000 | #Constraints: 15087
123.71/124.13 c #Conflicts: 46000 | #Constraints: 16087
123.71/124.13 c INPROCESSING
123.71/124.13 c GARBAGE COLLECT
123.71/124.13 c #Conflicts: 47000 | #Constraints: 12690
123.71/124.13 c #Conflicts: 48000 | #Constraints: 13690
123.71/124.13 c #Conflicts: 49000 | #Constraints: 14690
123.71/124.13 c #Conflicts: 50000 | #Constraints: 15690
123.71/124.13 c #Conflicts: 51000 | #Constraints: 16690
123.71/124.13 c INPROCESSING
123.71/124.13 c GARBAGE COLLECT
123.71/124.13 c #Conflicts: 52000 | #Constraints: 13093
123.71/124.13 c #Conflicts: 53000 | #Constraints: 14093
123.71/124.13 c #Conflicts: 54000 | #Constraints: 15093
123.71/124.13 c #Conflicts: 55000 | #Constraints: 16093
123.71/124.13 c #Conflicts: 56000 | #Constraints: 17093
123.71/124.13 c INPROCESSING
123.71/124.13 c GARBAGE COLLECT
123.71/124.13 c #Conflicts: 57000 | #Constraints: 13303
123.71/124.13 c #Conflicts: 58000 | #Constraints: 14303
123.71/124.13 c #Conflicts: 59000 | #Constraints: 15303
123.71/124.13 c #Conflicts: 60000 | #Constraints: 16303
123.71/124.13 c #Conflicts: 61000 | #Constraints: 17303
123.71/124.13 c INPROCESSING
123.71/124.13 c GARBAGE COLLECT
123.71/124.13 c #Conflicts: 62000 | #Constraints: 13293
123.71/124.13 c #Conflicts: 63000 | #Constraints: 14293
123.71/124.13 c #Conflicts: 64000 | #Constraints: 15293
123.71/124.13 c #Conflicts: 65000 | #Constraints: 16293
123.71/124.13 c #Conflicts: 66000 | #Constraints: 17293
123.71/124.13 c INPROCESSING
269.69/270.68 c GARBAGE COLLECT
269.69/270.68 c #Conflicts: 67000 | #Constraints: 13095
269.69/270.68 c #Conflicts: 68000 | #Constraints: 14095
269.69/270.68 c #Conflicts: 69000 | #Constraints: 15095
269.69/270.68 c #Conflicts: 70000 | #Constraints: 16095
269.69/270.68 c #Conflicts: 71000 | #Constraints: 17095
269.69/270.68 c #Conflicts: 72000 | #Constraints: 18095
269.69/270.68 c INPROCESSING
269.69/270.68 c GARBAGE COLLECT
269.69/270.68 c #Conflicts: 73000 | #Constraints: 13687
269.69/270.68 c #Conflicts: 74000 | #Constraints: 14687
269.69/270.68 c #Conflicts: 75000 | #Constraints: 15687
269.69/270.68 c #Conflicts: 76000 | #Constraints: 16687
269.69/270.68 c #Conflicts: 77000 | #Constraints: 17687
269.69/270.68 c #Conflicts: 78000 | #Constraints: 18687
269.69/270.68 c INPROCESSING
269.69/270.68 c GARBAGE COLLECT
269.69/270.68 c #Conflicts: 79000 | #Constraints: 14089
269.69/270.68 c #Conflicts: 80000 | #Constraints: 15089
269.69/270.68 c #Conflicts: 81000 | #Constraints: 16089
269.69/270.68 c #Conflicts: 82000 | #Constraints: 17089
269.69/270.68 c #Conflicts: 83000 | #Constraints: 18089
269.69/270.68 c #Conflicts: 84000 | #Constraints: 19089
269.69/270.68 c INPROCESSING
269.69/270.68 c GARBAGE COLLECT
269.69/270.68 c #Conflicts: 85000 | #Constraints: 14295
269.69/270.68 c #Conflicts: 86000 | #Constraints: 15295
269.69/270.68 c #Conflicts: 87000 | #Constraints: 16295
269.69/270.68 c #Conflicts: 88000 | #Constraints: 17295
269.69/270.68 c #Conflicts: 89000 | #Constraints: 18295
269.69/270.68 c #Conflicts: 90000 | #Constraints: 19295
269.69/270.68 c INPROCESSING
269.69/270.68 c GARBAGE COLLECT
269.69/270.68 c #Conflicts: 91000 | #Constraints: 14295
269.69/270.68 c #Conflicts: 92000 | #Constraints: 15295
269.69/270.68 c #Conflicts: 93000 | #Constraints: 16295
269.69/270.68 c #Conflicts: 94000 | #Constraints: 17295
269.69/270.68 c #Conflicts: 95000 | #Constraints: 18295
269.69/270.68 c #Conflicts: 96000 | #Constraints: 19295
269.69/270.68 c INPROCESSING
269.69/270.68 c GARBAGE COLLECT
269.69/270.68 c #Conflicts: 97000 | #Constraints: 14101
269.69/270.68 c #Conflicts: 98000 | #Constraints: 15101
269.69/270.68 c #Conflicts: 99000 | #Constraints: 16101
269.69/270.68 c #Conflicts: 100000 | #Constraints: 17101
269.69/270.68 c #Conflicts: 101000 | #Constraints: 18101
269.69/270.68 c #Conflicts: 102000 | #Constraints: 19101
269.69/270.68 c #Conflicts: 103000 | #Constraints: 20101
269.69/270.68 c INPROCESSING
269.69/270.68 c GARBAGE COLLECT
269.69/270.68 c #Conflicts: 104000 | #Constraints: 14710
269.69/270.68 c #Conflicts: 105000 | #Constraints: 15710
269.69/270.68 c #Conflicts: 106000 | #Constraints: 16710
269.69/270.68 c #Conflicts: 107000 | #Constraints: 17710
269.69/270.68 c #Conflicts: 108000 | #Constraints: 18710
269.69/270.68 c #Conflicts: 109000 | #Constraints: 19710
269.69/270.68 c #Conflicts: 110000 | #Constraints: 20710
269.69/270.68 c INPROCESSING
269.69/270.68 c GARBAGE COLLECT
269.69/270.68 c #Conflicts: 111000 | #Constraints: 15105
269.69/270.68 c #Conflicts: 112000 | #Constraints: 16105
269.69/270.68 c #Conflicts: 113000 | #Constraints: 17105
269.69/270.68 c #Conflicts: 114000 | #Constraints: 18105
269.69/270.68 c #Conflicts: 115000 | #Constraints: 19105
269.69/270.68 c #Conflicts: 116000 | #Constraints: 20105
269.69/270.68 c #Conflicts: 117000 | #Constraints: 21105
269.69/270.68 c INPROCESSING
269.69/270.68 c GARBAGE COLLECT
269.69/270.68 c #Conflicts: 118000 | #Constraints: 15304
269.69/270.68 c #Conflicts: 119000 | #Constraints: 16304
269.69/270.68 c #Conflicts: 120000 | #Constraints: 17304
269.69/270.68 c #Conflicts: 121000 | #Constraints: 18304
269.69/270.68 c #Conflicts: 122000 | #Constraints: 19304
269.69/270.68 c #Conflicts: 123000 | #Constraints: 20304
269.69/270.68 c #Conflicts: 124000 | #Constraints: 21304
269.69/270.68 c INPROCESSING
269.69/270.68 c GARBAGE COLLECT
269.69/270.68 c #Conflicts: 125000 | #Constraints: 15298
269.69/270.68 c #Conflicts: 126000 | #Constraints: 16298
269.69/270.68 c #Conflicts: 127000 | #Constraints: 17298
269.69/270.68 c #Conflicts: 128000 | #Constraints: 18298
269.69/270.68 c #Conflicts: 129000 | #Constraints: 19298
269.69/270.68 c #Conflicts: 130000 | #Constraints: 20298
269.69/270.68 c #Conflicts: 131000 | #Constraints: 21298
269.69/270.68 c INPROCESSING
269.69/270.68 c GARBAGE COLLECT
269.69/270.68 c #Conflicts: 132000 | #Constraints: 15088
269.69/270.68 c #Conflicts: 133000 | #Constraints: 16088
269.69/270.68 c #Conflicts: 134000 | #Constraints: 17088
269.69/270.68 c #Conflicts: 135000 | #Constraints: 18088
269.69/270.68 c #Conflicts: 136000 | #Constraints: 19088
269.69/270.68 c #Conflicts: 137000 | #Constraints: 20088
269.69/270.68 c #Conflicts: 138000 | #Constraints: 21088
428.81/430.36 c #Conflicts: 139000 | #Constraints: 22088
428.81/430.36 c INPROCESSING
428.81/430.36 c GARBAGE COLLECT
428.81/430.36 c #Conflicts: 140000 | #Constraints: 15690
428.81/430.36 c #Conflicts: 141000 | #Constraints: 16690
428.81/430.36 c #Conflicts: 142000 | #Constraints: 17690
428.81/430.36 c #Conflicts: 143000 | #Constraints: 18690
428.81/430.36 c #Conflicts: 144000 | #Constraints: 19690
428.81/430.36 c #Conflicts: 145000 | #Constraints: 20690
428.81/430.36 c #Conflicts: 146000 | #Constraints: 21690
428.81/430.36 c #Conflicts: 147000 | #Constraints: 22690
428.81/430.36 c INPROCESSING
428.81/430.36 c GARBAGE COLLECT
428.81/430.36 c #Conflicts: 148000 | #Constraints: 16099
428.81/430.36 c #Conflicts: 149000 | #Constraints: 17099
428.81/430.36 c #Conflicts: 150000 | #Constraints: 18099
428.81/430.36 c #Conflicts: 151000 | #Constraints: 19099
428.81/430.36 c #Conflicts: 152000 | #Constraints: 20099
428.81/430.36 c #Conflicts: 153000 | #Constraints: 21099
428.81/430.36 c #Conflicts: 154000 | #Constraints: 22099
428.81/430.36 c #Conflicts: 155000 | #Constraints: 23099
428.81/430.36 c INPROCESSING
428.81/430.36 c GARBAGE COLLECT
428.81/430.36 c #Conflicts: 156000 | #Constraints: 16301
428.81/430.36 c #Conflicts: 157000 | #Constraints: 17301
428.81/430.36 c #Conflicts: 158000 | #Constraints: 18301
428.81/430.36 c #Conflicts: 159000 | #Constraints: 19301
428.81/430.36 c #Conflicts: 160000 | #Constraints: 20301
428.81/430.36 c #Conflicts: 161000 | #Constraints: 21301
428.81/430.36 c #Conflicts: 162000 | #Constraints: 22301
428.81/430.36 c #Conflicts: 163000 | #Constraints: 23301
428.81/430.36 c INPROCESSING
428.81/430.36 c GARBAGE COLLECT
428.81/430.36 c #Conflicts: 164000 | #Constraints: 16302
428.81/430.36 c #Conflicts: 165000 | #Constraints: 17302
428.81/430.36 c #Conflicts: 166000 | #Constraints: 18302
428.81/430.36 c #Conflicts: 167000 | #Constraints: 19302
428.81/430.36 c #Conflicts: 168000 | #Constraints: 20302
428.81/430.36 c #Conflicts: 169000 | #Constraints: 21302
428.81/430.36 c #Conflicts: 170000 | #Constraints: 22302
428.81/430.36 c #Conflicts: 171000 | #Constraints: 23302
428.81/430.36 c INPROCESSING
428.81/430.36 c GARBAGE COLLECT
428.81/430.36 c #Conflicts: 172000 | #Constraints: 16099
428.81/430.36 c #Conflicts: 173000 | #Constraints: 17099
428.81/430.36 c #Conflicts: 174000 | #Constraints: 18099
428.81/430.36 c #Conflicts: 175000 | #Constraints: 19099
428.81/430.36 c #Conflicts: 176000 | #Constraints: 20099
428.81/430.36 c #Conflicts: 177000 | #Constraints: 21099
428.81/430.36 c #Conflicts: 178000 | #Constraints: 22099
428.81/430.36 c #Conflicts: 179000 | #Constraints: 23099
428.81/430.36 c #Conflicts: 180000 | #Constraints: 24099
428.81/430.36 c INPROCESSING
428.81/430.36 c GARBAGE COLLECT
428.81/430.36 c #Conflicts: 181000 | #Constraints: 16701
428.81/430.36 c #Conflicts: 182000 | #Constraints: 17701
428.81/430.36 c #Conflicts: 183000 | #Constraints: 18701
428.81/430.36 c #Conflicts: 184000 | #Constraints: 19701
428.81/430.36 c #Conflicts: 185000 | #Constraints: 20701
428.81/430.36 c #Conflicts: 186000 | #Constraints: 21701
428.81/430.36 c #Conflicts: 187000 | #Constraints: 22701
428.81/430.36 c #Conflicts: 188000 | #Constraints: 23701
428.81/430.36 c #Conflicts: 189000 | #Constraints: 24701
428.81/430.36 c INPROCESSING
428.81/430.36 c GARBAGE COLLECT
428.81/430.36 c #Conflicts: 190000 | #Constraints: 17110
428.81/430.36 c #Conflicts: 191000 | #Constraints: 18110
428.81/430.36 c #Conflicts: 192000 | #Constraints: 19110
428.81/430.36 c #Conflicts: 193000 | #Constraints: 20110
428.81/430.36 c #Conflicts: 194000 | #Constraints: 21110
428.81/430.36 c #Conflicts: 195000 | #Constraints: 22110
428.81/430.36 c #Conflicts: 196000 | #Constraints: 23110
428.81/430.36 c #Conflicts: 197000 | #Constraints: 24110
428.81/430.36 c #Conflicts: 198000 | #Constraints: 25110
428.81/430.36 c INPROCESSING
428.81/430.36 c GARBAGE COLLECT
428.81/430.36 c #Conflicts: 199000 | #Constraints: 17305
428.81/430.36 c #Conflicts: 200000 | #Constraints: 18305
428.81/430.36 c #Conflicts: 201000 | #Constraints: 19305
428.81/430.36 c #Conflicts: 202000 | #Constraints: 20305
428.81/430.36 c #Conflicts: 203000 | #Constraints: 21305
428.81/430.36 c #Conflicts: 204000 | #Constraints: 22305
428.81/430.36 c #Conflicts: 205000 | #Constraints: 23305
428.81/430.36 c #Conflicts: 206000 | #Constraints: 24305
428.81/430.36 c #Conflicts: 207000 | #Constraints: 25305
428.81/430.36 c INPROCESSING
428.81/430.36 c GARBAGE COLLECT
428.81/430.36 c #Conflicts: 208000 | #Constraints: 17302
428.81/430.36 c #Conflicts: 209000 | #Constraints: 18302
428.81/430.36 c #Conflicts: 210000 | #Constraints: 19302
428.81/430.36 c #Conflicts: 211000 | #Constraints: 20302
428.81/430.36 c #Conflicts: 212000 | #Constraints: 21302
604.11/606.29 c #Conflicts: 213000 | #Constraints: 22302
604.11/606.29 c #Conflicts: 214000 | #Constraints: 23302
604.11/606.29 c #Conflicts: 215000 | #Constraints: 24302
604.11/606.29 c #Conflicts: 216000 | #Constraints: 25302
604.11/606.29 c INPROCESSING
604.11/606.29 c GARBAGE COLLECT
604.11/606.29 c #Conflicts: 217000 | #Constraints: 17108
604.11/606.29 c #Conflicts: 218000 | #Constraints: 18108
604.11/606.29 c #Conflicts: 219000 | #Constraints: 19108
604.11/606.29 c #Conflicts: 220000 | #Constraints: 20108
604.11/606.29 c #Conflicts: 221000 | #Constraints: 21108
604.11/606.29 c #Conflicts: 222000 | #Constraints: 22108
604.11/606.29 c #Conflicts: 223000 | #Constraints: 23108
604.11/606.29 c #Conflicts: 224000 | #Constraints: 24108
604.11/606.29 c #Conflicts: 225000 | #Constraints: 25108
604.11/606.29 c #Conflicts: 226000 | #Constraints: 26108
604.11/606.29 c INPROCESSING
604.11/606.29 c GARBAGE COLLECT
604.11/606.29 c #Conflicts: 227000 | #Constraints: 17716
604.11/606.29 c #Conflicts: 228000 | #Constraints: 18716
604.11/606.29 c #Conflicts: 229000 | #Constraints: 19716
604.11/606.29 c #Conflicts: 230000 | #Constraints: 20716
604.11/606.29 c #Conflicts: 231000 | #Constraints: 21716
604.11/606.29 c #Conflicts: 232000 | #Constraints: 22716
604.11/606.29 c #Conflicts: 233000 | #Constraints: 23716
604.11/606.29 c #Conflicts: 234000 | #Constraints: 24716
604.11/606.29 c #Conflicts: 235000 | #Constraints: 25716
604.11/606.29 c #Conflicts: 236000 | #Constraints: 26716
604.11/606.29 c INPROCESSING
604.11/606.29 c GARBAGE COLLECT
604.11/606.29 c #Conflicts: 237000 | #Constraints: 18114
604.11/606.29 c #Conflicts: 238000 | #Constraints: 19114
604.11/606.29 c #Conflicts: 239000 | #Constraints: 20114
604.11/606.29 c #Conflicts: 240000 | #Constraints: 21114
604.11/606.29 c #Conflicts: 241000 | #Constraints: 22114
604.11/606.29 c #Conflicts: 242000 | #Constraints: 23114
604.11/606.29 c #Conflicts: 243000 | #Constraints: 24114
604.11/606.29 c #Conflicts: 244000 | #Constraints: 25114
604.11/606.29 c #Conflicts: 245000 | #Constraints: 26114
604.11/606.29 c #Conflicts: 246000 | #Constraints: 27114
604.11/606.29 c INPROCESSING
604.11/606.29 c GARBAGE COLLECT
604.11/606.29 c #Conflicts: 247000 | #Constraints: 18315
604.11/606.29 c #Conflicts: 248000 | #Constraints: 19315
604.11/606.29 c #Conflicts: 249000 | #Constraints: 20315
604.11/606.29 c #Conflicts: 250000 | #Constraints: 21315
604.11/606.29 c #Conflicts: 251000 | #Constraints: 22315
604.11/606.29 c #Conflicts: 252000 | #Constraints: 23315
604.11/606.29 c #Conflicts: 253000 | #Constraints: 24315
604.11/606.29 c #Conflicts: 254000 | #Constraints: 25315
604.11/606.29 c #Conflicts: 255000 | #Constraints: 26315
604.11/606.29 c #Conflicts: 256000 | #Constraints: 27315
604.11/606.29 c INPROCESSING
604.11/606.29 c GARBAGE COLLECT
604.11/606.29 c #Conflicts: 257000 | #Constraints: 18316
604.11/606.29 c #Conflicts: 258000 | #Constraints: 19316
604.11/606.29 c #Conflicts: 259000 | #Constraints: 20316
604.11/606.29 c #Conflicts: 260000 | #Constraints: 21316
604.11/606.29 c #Conflicts: 261000 | #Constraints: 22316
604.11/606.29 c #Conflicts: 262000 | #Constraints: 23316
604.11/606.29 c #Conflicts: 263000 | #Constraints: 24316
604.11/606.29 c #Conflicts: 264000 | #Constraints: 25316
604.11/606.29 c #Conflicts: 265000 | #Constraints: 26316
604.11/606.29 c #Conflicts: 266000 | #Constraints: 27316
604.11/606.29 c INPROCESSING
604.11/606.29 c GARBAGE COLLECT
604.11/606.29 c #Conflicts: 267000 | #Constraints: 18114
604.11/606.29 c #Conflicts: 268000 | #Constraints: 19114
604.11/606.29 c #Conflicts: 269000 | #Constraints: 20114
604.11/606.29 c #Conflicts: 270000 | #Constraints: 21114
604.11/606.29 c #Conflicts: 271000 | #Constraints: 22114
604.11/606.29 c #Conflicts: 272000 | #Constraints: 23114
604.11/606.29 c #Conflicts: 273000 | #Constraints: 24114
604.11/606.29 c #Conflicts: 274000 | #Constraints: 25114
604.11/606.29 c #Conflicts: 275000 | #Constraints: 26114
604.11/606.29 c #Conflicts: 276000 | #Constraints: 27114
604.11/606.29 c #Conflicts: 277000 | #Constraints: 28114
604.11/606.29 c INPROCESSING
604.11/606.29 c GARBAGE COLLECT
604.11/606.29 c #Conflicts: 278000 | #Constraints: 18705
604.11/606.29 c #Conflicts: 279000 | #Constraints: 19705
604.11/606.29 c #Conflicts: 280000 | #Constraints: 20705
604.11/606.29 c #Conflicts: 281000 | #Constraints: 21705
604.11/606.29 c #Conflicts: 282000 | #Constraints: 22705
604.11/606.29 c #Conflicts: 283000 | #Constraints: 23705
604.11/606.29 c #Conflicts: 284000 | #Constraints: 24705
604.11/606.29 c #Conflicts: 285000 | #Constraints: 25705
604.11/606.29 c #Conflicts: 286000 | #Constraints: 26705
799.64/802.43 c #Conflicts: 287000 | #Constraints: 27705
799.64/802.43 c #Conflicts: 288000 | #Constraints: 28705
799.64/802.43 c INPROCESSING
799.64/802.43 c GARBAGE COLLECT
799.64/802.43 c #Conflicts: 289000 | #Constraints: 19110
799.64/802.43 c #Conflicts: 290000 | #Constraints: 20110
799.64/802.43 c #Conflicts: 291000 | #Constraints: 21110
799.64/802.43 c #Conflicts: 292000 | #Constraints: 22110
799.64/802.43 c #Conflicts: 293000 | #Constraints: 23110
799.64/802.43 c #Conflicts: 294000 | #Constraints: 24110
799.64/802.43 c #Conflicts: 295000 | #Constraints: 25110
799.64/802.43 c #Conflicts: 296000 | #Constraints: 26110
799.64/802.43 c #Conflicts: 297000 | #Constraints: 27110
799.64/802.43 c #Conflicts: 298000 | #Constraints: 28110
799.64/802.43 c #Conflicts: 299000 | #Constraints: 29110
799.64/802.43 c INPROCESSING
799.64/802.43 c GARBAGE COLLECT
799.64/802.43 c #Conflicts: 300000 | #Constraints: 19316
799.64/802.43 c #Conflicts: 301000 | #Constraints: 20316
799.64/802.43 c #Conflicts: 302000 | #Constraints: 21316
799.64/802.43 c #Conflicts: 303000 | #Constraints: 22316
799.64/802.43 c #Conflicts: 304000 | #Constraints: 23316
799.64/802.43 c #Conflicts: 305000 | #Constraints: 24316
799.64/802.43 c #Conflicts: 306000 | #Constraints: 25316
799.64/802.43 c #Conflicts: 307000 | #Constraints: 26316
799.64/802.43 c #Conflicts: 308000 | #Constraints: 27316
799.64/802.43 c #Conflicts: 309000 | #Constraints: 28316
799.64/802.43 c #Conflicts: 310000 | #Constraints: 29316
799.64/802.43 c INPROCESSING
799.64/802.43 c GARBAGE COLLECT
799.64/802.43 c #Conflicts: 311000 | #Constraints: 19321
799.64/802.43 c #Conflicts: 312000 | #Constraints: 20321
799.64/802.43 c #Conflicts: 313000 | #Constraints: 21321
799.64/802.43 c #Conflicts: 314000 | #Constraints: 22321
799.64/802.43 c #Conflicts: 315000 | #Constraints: 23321
799.64/802.43 c #Conflicts: 316000 | #Constraints: 24321
799.64/802.43 c #Conflicts: 317000 | #Constraints: 25321
799.64/802.43 c #Conflicts: 318000 | #Constraints: 26321
799.64/802.43 c #Conflicts: 319000 | #Constraints: 27321
799.64/802.43 c #Conflicts: 320000 | #Constraints: 28321
799.64/802.43 c #Conflicts: 321000 | #Constraints: 29321
799.64/802.43 c INPROCESSING
799.64/802.43 c GARBAGE COLLECT
799.64/802.43 c #Conflicts: 322000 | #Constraints: 19118
799.64/802.43 c #Conflicts: 323000 | #Constraints: 20118
799.64/802.43 c #Conflicts: 324000 | #Constraints: 21118
799.64/802.43 c #Conflicts: 325000 | #Constraints: 22118
799.64/802.43 c #Conflicts: 326000 | #Constraints: 23118
799.64/802.43 c #Conflicts: 327000 | #Constraints: 24118
799.64/802.43 c #Conflicts: 328000 | #Constraints: 25118
799.64/802.43 c #Conflicts: 329000 | #Constraints: 26118
799.64/802.43 c #Conflicts: 330000 | #Constraints: 27118
799.64/802.43 c #Conflicts: 331000 | #Constraints: 28118
799.64/802.43 c #Conflicts: 332000 | #Constraints: 29118
799.64/802.43 c #Conflicts: 333000 | #Constraints: 30118
799.64/802.43 c INPROCESSING
799.64/802.43 c GARBAGE COLLECT
799.64/802.43 c #Conflicts: 334000 | #Constraints: 19721
799.64/802.43 c #Conflicts: 335000 | #Constraints: 20721
799.64/802.43 c #Conflicts: 336000 | #Constraints: 21721
799.64/802.43 c #Conflicts: 337000 | #Constraints: 22721
799.64/802.43 c #Conflicts: 338000 | #Constraints: 23721
799.64/802.43 c #Conflicts: 339000 | #Constraints: 24721
799.64/802.43 c #Conflicts: 340000 | #Constraints: 25721
799.64/802.43 c #Conflicts: 341000 | #Constraints: 26721
799.64/802.43 c #Conflicts: 342000 | #Constraints: 27721
799.64/802.43 c #Conflicts: 343000 | #Constraints: 28721
799.64/802.43 c #Conflicts: 344000 | #Constraints: 29721
799.64/802.43 c #Conflicts: 345000 | #Constraints: 30721
799.64/802.43 c INPROCESSING
799.64/802.43 c GARBAGE COLLECT
799.64/802.43 c #Conflicts: 346000 | #Constraints: 20121
799.64/802.43 c #Conflicts: 347000 | #Constraints: 21121
799.64/802.43 c #Conflicts: 348000 | #Constraints: 22121
799.64/802.43 c #Conflicts: 349000 | #Constraints: 23121
799.64/802.43 c #Conflicts: 350000 | #Constraints: 24121
799.64/802.43 c #Conflicts: 351000 | #Constraints: 25121
799.64/802.43 c #Conflicts: 352000 | #Constraints: 26121
799.64/802.43 c #Conflicts: 353000 | #Constraints: 27121
799.64/802.43 c #Conflicts: 354000 | #Constraints: 28121
799.64/802.43 c #Conflicts: 355000 | #Constraints: 29121
799.64/802.43 c #Conflicts: 356000 | #Constraints: 30121
799.64/802.43 c #Conflicts: 357000 | #Constraints: 31121
799.64/802.43 c INPROCESSING
799.64/802.43 c GARBAGE COLLECT
799.64/802.43 c #Conflicts: 358000 | #Constraints: 20318
799.64/802.43 c #Conflicts: 359000 | #Constraints: 21318
799.64/802.43 c #Conflicts: 360000 | #Constraints: 22318
1031.80/1035.46 c #Conflicts: 361000 | #Constraints: 23318
1031.80/1035.46 c #Conflicts: 362000 | #Constraints: 24318
1031.80/1035.46 c #Conflicts: 363000 | #Constraints: 25318
1031.80/1035.46 c #Conflicts: 364000 | #Constraints: 26318
1031.80/1035.46 c #Conflicts: 365000 | #Constraints: 27318
1031.80/1035.46 c #Conflicts: 366000 | #Constraints: 28318
1031.80/1035.46 c #Conflicts: 367000 | #Constraints: 29318
1031.80/1035.46 c #Conflicts: 368000 | #Constraints: 30318
1031.80/1035.46 c #Conflicts: 369000 | #Constraints: 31318
1031.80/1035.46 c INPROCESSING
1031.80/1035.46 c GARBAGE COLLECT
1031.80/1035.46 c #Conflicts: 370000 | #Constraints: 20326
1031.80/1035.46 c #Conflicts: 371000 | #Constraints: 21326
1031.80/1035.46 c #Conflicts: 372000 | #Constraints: 22326
1031.80/1035.46 c #Conflicts: 373000 | #Constraints: 23326
1031.80/1035.46 c #Conflicts: 374000 | #Constraints: 24326
1031.80/1035.46 c #Conflicts: 375000 | #Constraints: 25326
1031.80/1035.46 c #Conflicts: 376000 | #Constraints: 26326
1031.80/1035.46 c #Conflicts: 377000 | #Constraints: 27326
1031.80/1035.46 c #Conflicts: 378000 | #Constraints: 28326
1031.80/1035.46 c #Conflicts: 379000 | #Constraints: 29326
1031.80/1035.46 c #Conflicts: 380000 | #Constraints: 30326
1031.80/1035.46 c #Conflicts: 381000 | #Constraints: 31326
1031.80/1035.46 c INPROCESSING
1031.80/1035.46 c GARBAGE COLLECT
1031.80/1035.46 c #Conflicts: 382000 | #Constraints: 20130
1031.80/1035.46 c #Conflicts: 383000 | #Constraints: 21130
1031.80/1035.46 c #Conflicts: 384000 | #Constraints: 22130
1031.80/1035.46 c #Conflicts: 385000 | #Constraints: 23130
1031.80/1035.46 c #Conflicts: 386000 | #Constraints: 24130
1031.80/1035.46 c #Conflicts: 387000 | #Constraints: 25130
1031.80/1035.46 c #Conflicts: 388000 | #Constraints: 26130
1031.80/1035.46 c #Conflicts: 389000 | #Constraints: 27130
1031.80/1035.46 c #Conflicts: 390000 | #Constraints: 28130
1031.80/1035.46 c #Conflicts: 391000 | #Constraints: 29130
1031.80/1035.46 c #Conflicts: 392000 | #Constraints: 30130
1031.80/1035.46 c #Conflicts: 393000 | #Constraints: 31130
1031.80/1035.46 c #Conflicts: 394000 | #Constraints: 32130
1031.80/1035.46 c INPROCESSING
1031.80/1035.46 c GARBAGE COLLECT
1031.80/1035.46 c #Conflicts: 395000 | #Constraints: 20721
1031.80/1035.46 c #Conflicts: 396000 | #Constraints: 21721
1031.80/1035.46 c #Conflicts: 397000 | #Constraints: 22721
1031.80/1035.46 c #Conflicts: 398000 | #Constraints: 23721
1031.80/1035.46 c #Conflicts: 399000 | #Constraints: 24721
1031.80/1035.46 c #Conflicts: 400000 | #Constraints: 25721
1031.80/1035.46 c #Conflicts: 401000 | #Constraints: 26721
1031.80/1035.46 c #Conflicts: 402000 | #Constraints: 27721
1031.80/1035.46 c #Conflicts: 403000 | #Constraints: 28721
1031.80/1035.46 c #Conflicts: 404000 | #Constraints: 29721
1031.80/1035.46 c #Conflicts: 405000 | #Constraints: 30721
1031.80/1035.46 c #Conflicts: 406000 | #Constraints: 31721
1031.80/1035.46 c #Conflicts: 407000 | #Constraints: 32721
1031.80/1035.46 c INPROCESSING
1031.80/1035.46 c GARBAGE COLLECT
1031.80/1035.46 c #Conflicts: 408000 | #Constraints: 21123
1031.80/1035.46 c #Conflicts: 409000 | #Constraints: 22123
1031.80/1035.46 c #Conflicts: 410000 | #Constraints: 23123
1031.80/1035.46 c #Conflicts: 411000 | #Constraints: 24123
1031.80/1035.46 c #Conflicts: 412000 | #Constraints: 25123
1031.80/1035.46 c #Conflicts: 413000 | #Constraints: 26123
1031.80/1035.46 c #Conflicts: 414000 | #Constraints: 27123
1031.80/1035.46 c #Conflicts: 415000 | #Constraints: 28123
1031.80/1035.46 c #Conflicts: 416000 | #Constraints: 29123
1031.80/1035.46 c #Conflicts: 417000 | #Constraints: 30123
1031.80/1035.47 c #Conflicts: 418000 | #Constraints: 31123
1031.80/1035.47 c #Conflicts: 419000 | #Constraints: 32123
1031.80/1035.47 c #Conflicts: 420000 | #Constraints: 33123
1031.80/1035.47 c INPROCESSING
1031.80/1035.47 c GARBAGE COLLECT
1031.80/1035.47 c #Conflicts: 421000 | #Constraints: 21332
1031.80/1035.47 c #Conflicts: 422000 | #Constraints: 22332
1031.80/1035.47 c #Conflicts: 423000 | #Constraints: 23332
1031.80/1035.47 c #Conflicts: 424000 | #Constraints: 24332
1031.80/1035.47 c #Conflicts: 425000 | #Constraints: 25332
1031.80/1035.47 c #Conflicts: 426000 | #Constraints: 26332
1031.80/1035.47 c #Conflicts: 427000 | #Constraints: 27332
1031.80/1035.47 c #Conflicts: 428000 | #Constraints: 28332
1031.80/1035.47 c #Conflicts: 429000 | #Constraints: 29332
1031.80/1035.47 c #Conflicts: 430000 | #Constraints: 30332
1031.80/1035.47 c #Conflicts: 431000 | #Constraints: 31332
1031.80/1035.47 c #Conflicts: 432000 | #Constraints: 32332
1031.80/1035.47 c #Conflicts: 433000 | #Constraints: 33332
1031.80/1035.47 c INPROCESSING
1031.80/1035.47 c GARBAGE COLLECT
1031.80/1035.47 c #Conflicts: 434000 | #Constraints: 21328
1031.80/1035.47 c #Conflicts: 435000 | #Constraints: 22328
1190.12/1194.37 c #Conflicts: 436000 | #Constraints: 23328
1190.12/1194.37 c #Conflicts: 437000 | #Constraints: 24328
1190.12/1194.37 c #Conflicts: 438000 | #Constraints: 25328
1190.12/1194.37 c #Conflicts: 439000 | #Constraints: 26328
1190.12/1194.37 c #Conflicts: 440000 | #Constraints: 27328
1190.12/1194.37 c bounds 2312 >= 64 @ 1047.19
1190.12/1194.37 c #Conflicts: 441000 | #Constraints: 28329
1190.12/1194.37 c #Conflicts: 442000 | #Constraints: 29329
1190.12/1194.37 c #Conflicts: 443000 | #Constraints: 30329
1190.12/1194.37 c #Conflicts: 444000 | #Constraints: 31329
1190.12/1194.37 c #Conflicts: 445000 | #Constraints: 32329
1190.12/1194.37 c #Conflicts: 446000 | #Constraints: 33329
1190.12/1194.37 c INPROCESSING
1190.12/1194.37 c GARBAGE COLLECT
1190.12/1194.37 c #Conflicts: 447000 | #Constraints: 21110
1190.12/1194.37 c #Conflicts: 448000 | #Constraints: 22110
1190.12/1194.37 c #Conflicts: 449000 | #Constraints: 23110
1190.12/1194.37 c #Conflicts: 450000 | #Constraints: 24110
1190.12/1194.37 c #Conflicts: 451000 | #Constraints: 25110
1190.12/1194.37 c #Conflicts: 452000 | #Constraints: 26110
1190.12/1194.37 c #Conflicts: 453000 | #Constraints: 27110
1190.12/1194.37 c #Conflicts: 454000 | #Constraints: 28110
1190.12/1194.37 c #Conflicts: 455000 | #Constraints: 29110
1190.12/1194.37 c #Conflicts: 456000 | #Constraints: 30110
1190.12/1194.37 c #Conflicts: 457000 | #Constraints: 31110
1190.12/1194.37 c #Conflicts: 458000 | #Constraints: 32110
1190.12/1194.37 c #Conflicts: 459000 | #Constraints: 33110
1190.12/1194.37 c #Conflicts: 460000 | #Constraints: 34110
1190.12/1194.37 c INPROCESSING
1190.12/1194.37 c GARBAGE COLLECT
1190.12/1194.37 c #Conflicts: 461000 | #Constraints: 21699
1190.12/1194.37 c #Conflicts: 462000 | #Constraints: 22699
1190.12/1194.37 c #Conflicts: 463000 | #Constraints: 23699
1190.12/1194.37 c #Conflicts: 464000 | #Constraints: 24699
1190.12/1194.37 c #Conflicts: 465000 | #Constraints: 25699
1190.12/1194.37 c #Conflicts: 466000 | #Constraints: 26699
1190.12/1194.37 c #Conflicts: 467000 | #Constraints: 27699
1190.12/1194.37 c #Conflicts: 468000 | #Constraints: 28699
1190.12/1194.37 c #Conflicts: 469000 | #Constraints: 29699
1190.12/1194.37 c #Conflicts: 470000 | #Constraints: 30699
1190.12/1194.37 c #Conflicts: 471000 | #Constraints: 31699
1190.12/1194.37 c #Conflicts: 472000 | #Constraints: 32699
1190.12/1194.37 c #Conflicts: 473000 | #Constraints: 33699
1190.12/1194.37 c #Conflicts: 474000 | #Constraints: 34699
1190.12/1194.37 c INPROCESSING
1190.12/1194.37 c GARBAGE COLLECT
1190.12/1194.37 c #Conflicts: 475000 | #Constraints: 22092
1190.12/1194.37 c #Conflicts: 476000 | #Constraints: 23092
1190.12/1194.37 c #Conflicts: 477000 | #Constraints: 24092
1190.12/1194.37 c #Conflicts: 478000 | #Constraints: 25092
1190.12/1194.37 c #Conflicts: 479000 | #Constraints: 26092
1190.12/1194.37 c #Conflicts: 480000 | #Constraints: 27092
1190.12/1194.37 c #Conflicts: 481000 | #Constraints: 28092
1190.12/1194.37 c #Conflicts: 482000 | #Constraints: 29092
1190.12/1194.37 c #Conflicts: 483000 | #Constraints: 30092
1190.12/1194.37 c #Conflicts: 484000 | #Constraints: 31092
1190.12/1194.37 c #Conflicts: 485000 | #Constraints: 32092
1190.12/1194.37 c #Conflicts: 486000 | #Constraints: 33092
1190.12/1194.37 c #Conflicts: 487000 | #Constraints: 34092
1190.12/1194.37 c #Conflicts: 488000 | #Constraints: 35092
1190.12/1194.37 c INPROCESSING
1190.12/1194.37 c GARBAGE COLLECT
1190.12/1194.37 c #Conflicts: 489000 | #Constraints: 22284
1190.12/1194.37 c #Conflicts: 490000 | #Constraints: 23284
1190.12/1194.37 c #Conflicts: 491000 | #Constraints: 24284
1190.12/1194.37 c #Conflicts: 492000 | #Constraints: 25284
1190.12/1194.37 c #Conflicts: 493000 | #Constraints: 26284
1190.12/1194.37 c #Conflicts: 494000 | #Constraints: 27284
1190.12/1194.37 c #Conflicts: 495000 | #Constraints: 28284
1190.12/1194.37 c #Conflicts: 496000 | #Constraints: 29284
1190.12/1194.37 c #Conflicts: 497000 | #Constraints: 30284
1190.12/1194.37 c #Conflicts: 498000 | #Constraints: 31284
1190.12/1194.37 c #Conflicts: 499000 | #Constraints: 32284
1190.12/1194.37 c #Conflicts: 500000 | #Constraints: 33284
1190.12/1194.37 c #Conflicts: 501000 | #Constraints: 34284
1190.12/1194.37 c #Conflicts: 502000 | #Constraints: 35284
1190.12/1194.37 c INPROCESSING
1190.12/1194.37 c GARBAGE COLLECT
1190.12/1194.37 c #Conflicts: 503000 | #Constraints: 22280
1190.12/1194.37 c #Conflicts: 504000 | #Constraints: 23280
1190.12/1194.37 c #Conflicts: 505000 | #Constraints: 24280
1190.12/1194.37 c #Conflicts: 506000 | #Constraints: 25280
1190.12/1194.37 c #Conflicts: 507000 | #Constraints: 26280
1190.12/1194.37 c #Conflicts: 508000 | #Constraints: 27280
1190.12/1194.37 c #Conflicts: 509000 | #Constraints: 28280
1190.12/1194.37 c #Conflicts: 510000 | #Constraints: 29280
1332.11/1336.86 c #Conflicts: 511000 | #Constraints: 30280
1332.11/1336.86 c #Conflicts: 512000 | #Constraints: 31280
1332.11/1336.86 c #Conflicts: 513000 | #Constraints: 32280
1332.11/1336.86 c #Conflicts: 514000 | #Constraints: 33280
1332.11/1336.86 c #Conflicts: 515000 | #Constraints: 34280
1332.11/1336.86 c #Conflicts: 516000 | #Constraints: 35280
1332.11/1336.86 c INPROCESSING
1332.11/1336.86 c GARBAGE COLLECT
1332.11/1336.86 c #Conflicts: 517000 | #Constraints: 22079
1332.11/1336.86 c #Conflicts: 518000 | #Constraints: 23079
1332.11/1336.86 c #Conflicts: 519000 | #Constraints: 24079
1332.11/1336.86 c #Conflicts: 520000 | #Constraints: 25079
1332.11/1336.86 c #Conflicts: 521000 | #Constraints: 26079
1332.11/1336.86 c #Conflicts: 522000 | #Constraints: 27079
1332.11/1336.86 c #Conflicts: 523000 | #Constraints: 28079
1332.11/1336.86 c #Conflicts: 524000 | #Constraints: 29079
1332.11/1336.86 c #Conflicts: 525000 | #Constraints: 30079
1332.11/1336.86 c #Conflicts: 526000 | #Constraints: 31079
1332.11/1336.86 c #Conflicts: 527000 | #Constraints: 32079
1332.11/1336.86 c #Conflicts: 528000 | #Constraints: 33079
1332.11/1336.86 c #Conflicts: 529000 | #Constraints: 34079
1332.11/1336.86 c #Conflicts: 530000 | #Constraints: 35079
1332.11/1336.86 c #Conflicts: 531000 | #Constraints: 36079
1332.11/1336.86 c INPROCESSING
1332.11/1336.86 c GARBAGE COLLECT
1332.11/1336.86 c #Conflicts: 532000 | #Constraints: 22685
1332.11/1336.86 c #Conflicts: 533000 | #Constraints: 23685
1332.11/1336.86 c #Conflicts: 534000 | #Constraints: 24685
1332.11/1336.86 c #Conflicts: 535000 | #Constraints: 25685
1332.11/1336.86 c #Conflicts: 536000 | #Constraints: 26685
1332.11/1336.86 c #Conflicts: 537000 | #Constraints: 27685
1332.11/1336.86 c #Conflicts: 538000 | #Constraints: 28685
1332.11/1336.86 c #Conflicts: 539000 | #Constraints: 29685
1332.11/1336.86 c #Conflicts: 540000 | #Constraints: 30685
1332.11/1336.86 c #Conflicts: 541000 | #Constraints: 31685
1332.11/1336.86 c #Conflicts: 542000 | #Constraints: 32685
1332.11/1336.86 c #Conflicts: 543000 | #Constraints: 33685
1332.11/1336.86 c #Conflicts: 544000 | #Constraints: 34685
1332.11/1336.86 c #Conflicts: 545000 | #Constraints: 35685
1332.11/1336.86 c #Conflicts: 546000 | #Constraints: 36685
1332.11/1336.86 c INPROCESSING
1332.11/1336.86 c GARBAGE COLLECT
1332.11/1336.86 c #Conflicts: 547000 | #Constraints: 23082
1332.11/1336.86 c #Conflicts: 548000 | #Constraints: 24082
1332.11/1336.86 c #Conflicts: 549000 | #Constraints: 25082
1332.11/1336.86 c #Conflicts: 550000 | #Constraints: 26082
1332.11/1336.86 c #Conflicts: 551000 | #Constraints: 27082
1332.11/1336.86 c #Conflicts: 552000 | #Constraints: 28082
1332.11/1336.86 c #Conflicts: 553000 | #Constraints: 29082
1332.11/1336.86 c #Conflicts: 554000 | #Constraints: 30082
1332.11/1336.86 c #Conflicts: 555000 | #Constraints: 31082
1332.11/1336.86 c #Conflicts: 556000 | #Constraints: 32082
1332.11/1336.86 c #Conflicts: 557000 | #Constraints: 33082
1332.11/1336.86 c #Conflicts: 558000 | #Constraints: 34082
1332.11/1336.86 c #Conflicts: 559000 | #Constraints: 35082
1332.11/1336.86 c #Conflicts: 560000 | #Constraints: 36082
1332.11/1336.86 c #Conflicts: 561000 | #Constraints: 37082
1332.11/1336.86 c INPROCESSING
1332.11/1336.86 c GARBAGE COLLECT
1332.11/1336.86 c #Conflicts: 562000 | #Constraints: 23284
1332.11/1336.86 c #Conflicts: 563000 | #Constraints: 24284
1332.11/1336.86 c #Conflicts: 564000 | #Constraints: 25284
1332.11/1336.86 c #Conflicts: 565000 | #Constraints: 26284
1332.11/1336.86 c #Conflicts: 566000 | #Constraints: 27284
1332.11/1336.86 c #Conflicts: 567000 | #Constraints: 28284
1332.11/1336.86 c #Conflicts: 568000 | #Constraints: 29284
1332.11/1336.86 c #Conflicts: 569000 | #Constraints: 30284
1332.11/1336.86 c #Conflicts: 570000 | #Constraints: 31284
1332.11/1336.86 c #Conflicts: 571000 | #Constraints: 32284
1332.11/1336.86 c #Conflicts: 572000 | #Constraints: 33284
1332.11/1336.86 c #Conflicts: 573000 | #Constraints: 34284
1332.11/1336.86 c #Conflicts: 574000 | #Constraints: 35284
1332.11/1336.86 c #Conflicts: 575000 | #Constraints: 36284
1332.11/1336.86 c #Conflicts: 576000 | #Constraints: 37284
1332.11/1336.86 c INPROCESSING
1332.11/1336.86 c GARBAGE COLLECT
1332.11/1336.86 c #Conflicts: 577000 | #Constraints: 23286
1332.11/1336.86 c #Conflicts: 578000 | #Constraints: 24286
1332.11/1336.86 c #Conflicts: 579000 | #Constraints: 25286
1332.11/1336.86 c #Conflicts: 580000 | #Constraints: 26286
1332.11/1336.86 c #Conflicts: 581000 | #Constraints: 27286
1332.11/1336.86 c #Conflicts: 582000 | #Constraints: 28286
1332.11/1336.86 c #Conflicts: 583000 | #Constraints: 29286
1332.11/1336.86 c #Conflicts: 584000 | #Constraints: 30286
1332.11/1336.86 c #Conflicts: 585000 | #Constraints: 31286
1332.11/1336.86 c #Conflicts: 586000 | #Constraints: 32286
1468.91/1474.13 c #Conflicts: 587000 | #Constraints: 33286
1468.91/1474.13 c #Conflicts: 588000 | #Constraints: 34286
1468.91/1474.13 c #Conflicts: 589000 | #Constraints: 35286
1468.91/1474.13 c #Conflicts: 590000 | #Constraints: 36286
1468.91/1474.13 c #Conflicts: 591000 | #Constraints: 37286
1468.91/1474.13 c INPROCESSING
1468.91/1474.13 c GARBAGE COLLECT
1468.91/1474.13 c #Conflicts: 592000 | #Constraints: 23082
1468.91/1474.13 c #Conflicts: 593000 | #Constraints: 24082
1468.91/1474.13 c #Conflicts: 594000 | #Constraints: 25082
1468.91/1474.13 c #Conflicts: 595000 | #Constraints: 26082
1468.91/1474.13 c #Conflicts: 596000 | #Constraints: 27082
1468.91/1474.13 c #Conflicts: 597000 | #Constraints: 28082
1468.91/1474.13 c #Conflicts: 598000 | #Constraints: 29082
1468.91/1474.13 c #Conflicts: 599000 | #Constraints: 30082
1468.91/1474.13 c #Conflicts: 600000 | #Constraints: 31082
1468.91/1474.13 c #Conflicts: 601000 | #Constraints: 32082
1468.91/1474.13 c #Conflicts: 602000 | #Constraints: 33082
1468.91/1474.13 c #Conflicts: 603000 | #Constraints: 34082
1468.91/1474.13 c #Conflicts: 604000 | #Constraints: 35082
1468.91/1474.13 c #Conflicts: 605000 | #Constraints: 36082
1468.91/1474.13 c #Conflicts: 606000 | #Constraints: 37082
1468.91/1474.13 c #Conflicts: 607000 | #Constraints: 38082
1468.91/1474.13 c INPROCESSING
1468.91/1474.13 c GARBAGE COLLECT
1468.91/1474.13 c #Conflicts: 608000 | #Constraints: 23674
1468.91/1474.13 c #Conflicts: 609000 | #Constraints: 24674
1468.91/1474.13 c #Conflicts: 610000 | #Constraints: 25674
1468.91/1474.13 c #Conflicts: 611000 | #Constraints: 26674
1468.91/1474.13 c #Conflicts: 612000 | #Constraints: 27674
1468.91/1474.13 c #Conflicts: 613000 | #Constraints: 28674
1468.91/1474.13 c #Conflicts: 614000 | #Constraints: 29674
1468.91/1474.13 c #Conflicts: 615000 | #Constraints: 30674
1468.91/1474.13 c #Conflicts: 616000 | #Constraints: 31674
1468.91/1474.13 c #Conflicts: 617000 | #Constraints: 32674
1468.91/1474.13 c #Conflicts: 618000 | #Constraints: 33674
1468.91/1474.13 c #Conflicts: 619000 | #Constraints: 34674
1468.91/1474.13 c #Conflicts: 620000 | #Constraints: 35674
1468.91/1474.13 c #Conflicts: 621000 | #Constraints: 36674
1468.91/1474.13 c #Conflicts: 622000 | #Constraints: 37674
1468.91/1474.13 c #Conflicts: 623000 | #Constraints: 38674
1468.91/1474.13 c INPROCESSING
1468.91/1474.13 c GARBAGE COLLECT
1468.91/1474.13 c #Conflicts: 624000 | #Constraints: 24076
1468.91/1474.13 c #Conflicts: 625000 | #Constraints: 25076
1468.91/1474.13 c #Conflicts: 626000 | #Constraints: 26076
1468.91/1474.13 c #Conflicts: 627000 | #Constraints: 27076
1468.91/1474.13 c #Conflicts: 628000 | #Constraints: 28076
1468.91/1474.13 c #Conflicts: 629000 | #Constraints: 29076
1468.91/1474.13 c #Conflicts: 630000 | #Constraints: 30076
1468.91/1474.13 c #Conflicts: 631000 | #Constraints: 31076
1468.91/1474.13 c #Conflicts: 632000 | #Constraints: 32076
1468.91/1474.13 c #Conflicts: 633000 | #Constraints: 33076
1468.91/1474.13 c #Conflicts: 634000 | #Constraints: 34076
1468.91/1474.13 c #Conflicts: 635000 | #Constraints: 35076
1468.91/1474.13 c #Conflicts: 636000 | #Constraints: 36076
1468.91/1474.13 c #Conflicts: 637000 | #Constraints: 37076
1468.91/1474.13 c #Conflicts: 638000 | #Constraints: 38076
1468.91/1474.13 c #Conflicts: 639000 | #Constraints: 39076
1468.91/1474.13 c INPROCESSING
1468.91/1474.13 c GARBAGE COLLECT
1468.91/1474.13 c #Conflicts: 640000 | #Constraints: 24275
1468.91/1474.13 c #Conflicts: 641000 | #Constraints: 25275
1468.91/1474.13 c #Conflicts: 642000 | #Constraints: 26275
1468.91/1474.13 c #Conflicts: 643000 | #Constraints: 27275
1468.91/1474.13 c #Conflicts: 644000 | #Constraints: 28275
1468.91/1474.13 c #Conflicts: 645000 | #Constraints: 29275
1468.91/1474.13 c #Conflicts: 646000 | #Constraints: 30275
1468.91/1474.13 c #Conflicts: 647000 | #Constraints: 31275
1468.91/1474.13 c #Conflicts: 648000 | #Constraints: 32275
1468.91/1474.13 c #Conflicts: 649000 | #Constraints: 33275
1468.91/1474.13 c #Conflicts: 650000 | #Constraints: 34275
1468.91/1474.13 c #Conflicts: 651000 | #Constraints: 35275
1468.91/1474.13 c #Conflicts: 652000 | #Constraints: 36275
1468.91/1474.13 c #Conflicts: 653000 | #Constraints: 37275
1468.91/1474.13 c #Conflicts: 654000 | #Constraints: 38275
1468.91/1474.13 c #Conflicts: 655000 | #Constraints: 39275
1468.91/1474.13 c INPROCESSING
1468.91/1474.13 c GARBAGE COLLECT
1468.91/1474.13 c #Conflicts: 656000 | #Constraints: 24279
1468.91/1474.13 c #Conflicts: 657000 | #Constraints: 25279
1468.91/1474.13 c #Conflicts: 658000 | #Constraints: 26279
1468.91/1474.13 c #Conflicts: 659000 | #Constraints: 27279
1468.91/1474.13 c #Conflicts: 660000 | #Constraints: 28279
1468.91/1474.13 c #Conflicts: 661000 | #Constraints: 29279
1609.10/1614.88 c #Conflicts: 662000 | #Constraints: 30279
1609.10/1614.88 c #Conflicts: 663000 | #Constraints: 31279
1609.10/1614.88 c #Conflicts: 664000 | #Constraints: 32279
1609.10/1614.88 c #Conflicts: 665000 | #Constraints: 33279
1609.10/1614.88 c #Conflicts: 666000 | #Constraints: 34279
1609.10/1614.88 c #Conflicts: 667000 | #Constraints: 35279
1609.10/1614.88 c #Conflicts: 668000 | #Constraints: 36279
1609.10/1614.88 c #Conflicts: 669000 | #Constraints: 37279
1609.10/1614.88 c #Conflicts: 670000 | #Constraints: 38279
1609.10/1614.88 c #Conflicts: 671000 | #Constraints: 39279
1609.10/1614.88 c INPROCESSING
1609.10/1614.88 c GARBAGE COLLECT
1609.10/1614.88 c #Conflicts: 672000 | #Constraints: 24079
1609.10/1614.88 c #Conflicts: 673000 | #Constraints: 25079
1609.10/1614.88 c #Conflicts: 674000 | #Constraints: 26079
1609.10/1614.88 c #Conflicts: 675000 | #Constraints: 27079
1609.10/1614.88 c #Conflicts: 676000 | #Constraints: 28079
1609.10/1614.88 c #Conflicts: 677000 | #Constraints: 29079
1609.10/1614.88 c #Conflicts: 678000 | #Constraints: 30079
1609.10/1614.88 c #Conflicts: 679000 | #Constraints: 31079
1609.10/1614.88 c #Conflicts: 680000 | #Constraints: 32079
1609.10/1614.88 c #Conflicts: 681000 | #Constraints: 33079
1609.10/1614.88 c #Conflicts: 682000 | #Constraints: 34079
1609.10/1614.88 c #Conflicts: 683000 | #Constraints: 35079
1609.10/1614.88 c #Conflicts: 684000 | #Constraints: 36079
1609.10/1614.88 c #Conflicts: 685000 | #Constraints: 37079
1609.10/1614.88 c #Conflicts: 686000 | #Constraints: 38079
1609.10/1614.88 c #Conflicts: 687000 | #Constraints: 39079
1609.10/1614.88 c #Conflicts: 688000 | #Constraints: 40079
1609.10/1614.88 c INPROCESSING
1609.10/1614.88 c GARBAGE COLLECT
1609.10/1614.88 c #Conflicts: 689000 | #Constraints: 24682
1609.10/1614.88 c #Conflicts: 690000 | #Constraints: 25682
1609.10/1614.88 c #Conflicts: 691000 | #Constraints: 26682
1609.10/1614.88 c #Conflicts: 692000 | #Constraints: 27682
1609.10/1614.88 c #Conflicts: 693000 | #Constraints: 28682
1609.10/1614.88 c #Conflicts: 694000 | #Constraints: 29682
1609.10/1614.88 c #Conflicts: 695000 | #Constraints: 30682
1609.10/1614.88 c #Conflicts: 696000 | #Constraints: 31682
1609.10/1614.88 c #Conflicts: 697000 | #Constraints: 32682
1609.10/1614.88 c #Conflicts: 698000 | #Constraints: 33682
1609.10/1614.88 c #Conflicts: 699000 | #Constraints: 34682
1609.10/1614.88 c #Conflicts: 700000 | #Constraints: 35682
1609.10/1614.88 c #Conflicts: 701000 | #Constraints: 36682
1609.10/1614.88 c #Conflicts: 702000 | #Constraints: 37682
1609.10/1614.88 c #Conflicts: 703000 | #Constraints: 38682
1609.10/1614.88 c #Conflicts: 704000 | #Constraints: 39682
1609.10/1614.88 c #Conflicts: 705000 | #Constraints: 40682
1609.10/1614.88 c INPROCESSING
1609.10/1614.88 c GARBAGE COLLECT
1609.10/1614.88 c #Conflicts: 706000 | #Constraints: 25080
1609.10/1614.88 c #Conflicts: 707000 | #Constraints: 26080
1609.10/1614.88 c #Conflicts: 708000 | #Constraints: 27080
1609.10/1614.88 c #Conflicts: 709000 | #Constraints: 28080
1609.10/1614.88 c #Conflicts: 710000 | #Constraints: 29080
1609.10/1614.88 c #Conflicts: 711000 | #Constraints: 30080
1609.10/1614.88 c #Conflicts: 712000 | #Constraints: 31080
1609.10/1614.88 c #Conflicts: 713000 | #Constraints: 32080
1609.10/1614.88 c #Conflicts: 714000 | #Constraints: 33080
1609.10/1614.88 c #Conflicts: 715000 | #Constraints: 34080
1609.10/1614.88 c #Conflicts: 716000 | #Constraints: 35080
1609.10/1614.88 c #Conflicts: 717000 | #Constraints: 36080
1609.10/1614.88 c #Conflicts: 718000 | #Constraints: 37080
1609.10/1614.88 c #Conflicts: 719000 | #Constraints: 38080
1609.10/1614.88 c #Conflicts: 720000 | #Constraints: 39080
1609.10/1614.88 c #Conflicts: 721000 | #Constraints: 40080
1609.10/1614.88 c #Conflicts: 722000 | #Constraints: 41080
1609.10/1614.88 c INPROCESSING
1609.10/1614.88 c GARBAGE COLLECT
1609.10/1614.88 c #Conflicts: 723000 | #Constraints: 25277
1609.10/1614.88 c #Conflicts: 724000 | #Constraints: 26277
1609.10/1614.88 c #Conflicts: 725000 | #Constraints: 27277
1609.10/1614.88 c #Conflicts: 726000 | #Constraints: 28277
1609.10/1614.88 c #Conflicts: 727000 | #Constraints: 29277
1609.10/1614.88 c #Conflicts: 728000 | #Constraints: 30277
1609.10/1614.88 c #Conflicts: 729000 | #Constraints: 31277
1609.10/1614.88 c #Conflicts: 730000 | #Constraints: 32277
1609.10/1614.88 c #Conflicts: 731000 | #Constraints: 33277
1609.10/1614.88 c #Conflicts: 732000 | #Constraints: 34277
1609.10/1614.88 c #Conflicts: 733000 | #Constraints: 35277
1609.10/1614.88 c #Conflicts: 734000 | #Constraints: 36277
1609.10/1614.88 c #Conflicts: 735000 | #Constraints: 37277
1609.10/1614.88 c #Conflicts: 736000 | #Constraints: 38277
1609.10/1614.88 c #Conflicts: 737000 | #Constraints: 39277
1609.10/1614.88 c #Conflicts: 738000 | #Constraints: 40277
1744.04/1750.26 c #Conflicts: 739000 | #Constraints: 41277
1744.04/1750.26 c INPROCESSING
1744.04/1750.26 c GARBAGE COLLECT
1744.04/1750.26 c #Conflicts: 740000 | #Constraints: 25285
1744.04/1750.26 c #Conflicts: 741000 | #Constraints: 26285
1744.04/1750.26 c #Conflicts: 742000 | #Constraints: 27285
1744.04/1750.26 c #Conflicts: 743000 | #Constraints: 28285
1744.04/1750.26 c #Conflicts: 744000 | #Constraints: 29285
1744.04/1750.26 c #Conflicts: 745000 | #Constraints: 30285
1744.04/1750.26 c #Conflicts: 746000 | #Constraints: 31285
1744.04/1750.26 c #Conflicts: 747000 | #Constraints: 32285
1744.04/1750.26 c #Conflicts: 748000 | #Constraints: 33285
1744.04/1750.26 c #Conflicts: 749000 | #Constraints: 34285
1744.04/1750.26 c #Conflicts: 750000 | #Constraints: 35285
1744.04/1750.26 c #Conflicts: 751000 | #Constraints: 36285
1744.04/1750.26 c #Conflicts: 752000 | #Constraints: 37285
1744.04/1750.26 c #Conflicts: 753000 | #Constraints: 38285
1744.04/1750.26 c #Conflicts: 754000 | #Constraints: 39285
1744.04/1750.26 c #Conflicts: 755000 | #Constraints: 40285
1744.04/1750.26 c #Conflicts: 756000 | #Constraints: 41285
1744.04/1750.26 c INPROCESSING
1744.04/1750.26 c GARBAGE COLLECT
1744.04/1750.26 c #Conflicts: 757000 | #Constraints: 25083
1744.04/1750.26 c #Conflicts: 758000 | #Constraints: 26083
1744.04/1750.26 c #Conflicts: 759000 | #Constraints: 27083
1744.04/1750.26 c #Conflicts: 760000 | #Constraints: 28083
1744.04/1750.26 c #Conflicts: 761000 | #Constraints: 29083
1744.04/1750.26 c #Conflicts: 762000 | #Constraints: 30083
1744.04/1750.26 c #Conflicts: 763000 | #Constraints: 31083
1744.04/1750.26 c #Conflicts: 764000 | #Constraints: 32083
1744.04/1750.26 c #Conflicts: 765000 | #Constraints: 33083
1744.04/1750.26 c #Conflicts: 766000 | #Constraints: 34083
1744.04/1750.26 c #Conflicts: 767000 | #Constraints: 35083
1744.04/1750.26 c #Conflicts: 768000 | #Constraints: 36083
1744.04/1750.26 c #Conflicts: 769000 | #Constraints: 37083
1744.04/1750.26 c #Conflicts: 770000 | #Constraints: 38083
1744.04/1750.26 c #Conflicts: 771000 | #Constraints: 39083
1744.04/1750.26 c #Conflicts: 772000 | #Constraints: 40083
1744.04/1750.26 c #Conflicts: 773000 | #Constraints: 41083
1744.04/1750.26 c #Conflicts: 774000 | #Constraints: 42083
1744.04/1750.26 c INPROCESSING
1744.04/1750.26 c GARBAGE COLLECT
1744.04/1750.26 c #Conflicts: 775000 | #Constraints: 25685
1744.04/1750.26 c #Conflicts: 776000 | #Constraints: 26685
1744.04/1750.26 c #Conflicts: 777000 | #Constraints: 27685
1744.04/1750.26 c #Conflicts: 778000 | #Constraints: 28685
1744.04/1750.26 c #Conflicts: 779000 | #Constraints: 29685
1744.04/1750.26 c #Conflicts: 780000 | #Constraints: 30685
1744.04/1750.26 c #Conflicts: 781000 | #Constraints: 31685
1744.04/1750.26 c #Conflicts: 782000 | #Constraints: 32685
1744.04/1750.26 c #Conflicts: 783000 | #Constraints: 33685
1744.04/1750.26 c #Conflicts: 784000 | #Constraints: 34685
1744.04/1750.26 c #Conflicts: 785000 | #Constraints: 35685
1744.04/1750.26 c #Conflicts: 786000 | #Constraints: 36685
1744.04/1750.26 c #Conflicts: 787000 | #Constraints: 37685
1744.04/1750.26 c #Conflicts: 788000 | #Constraints: 38685
1744.04/1750.26 c #Conflicts: 789000 | #Constraints: 39685
1744.04/1750.26 c #Conflicts: 790000 | #Constraints: 40685
1744.04/1750.26 c #Conflicts: 791000 | #Constraints: 41685
1744.04/1750.26 c #Conflicts: 792000 | #Constraints: 42685
1744.04/1750.26 c INPROCESSING
1744.04/1750.26 c GARBAGE COLLECT
1744.04/1750.26 c #Conflicts: 793000 | #Constraints: 26080
1744.04/1750.26 c #Conflicts: 794000 | #Constraints: 27080
1744.04/1750.26 c #Conflicts: 795000 | #Constraints: 28080
1744.04/1750.26 c #Conflicts: 796000 | #Constraints: 29080
1744.04/1750.26 c #Conflicts: 797000 | #Constraints: 30080
1744.04/1750.26 c #Conflicts: 798000 | #Constraints: 31080
1744.04/1750.26 c #Conflicts: 799000 | #Constraints: 32080
1744.04/1750.26 c #Conflicts: 800000 | #Constraints: 33080
1744.04/1750.26 c #Conflicts: 801000 | #Constraints: 34080
1744.04/1750.26 c #Conflicts: 802000 | #Constraints: 35080
1744.04/1750.26 c #Conflicts: 803000 | #Constraints: 36080
1744.04/1750.26 c #Conflicts: 804000 | #Constraints: 37080
1744.04/1750.26 c #Conflicts: 805000 | #Constraints: 38080
1744.04/1750.26 c #Conflicts: 806000 | #Constraints: 39080
1744.04/1750.26 c #Conflicts: 807000 | #Constraints: 40080
1744.04/1750.26 c #Conflicts: 808000 | #Constraints: 41080
1744.04/1750.26 c #Conflicts: 809000 | #Constraints: 42080
1744.04/1750.26 c #Conflicts: 810000 | #Constraints: 43080
1744.04/1750.26 c INPROCESSING
1744.04/1750.26 c GARBAGE COLLECT
1744.04/1750.26 c #Conflicts: 811000 | #Constraints: 26285
1744.04/1750.26 c #Conflicts: 812000 | #Constraints: 27285
1744.04/1750.26 c #Conflicts: 813000 | #Constraints: 28285
1888.66/1895.34 c #Conflicts: 814000 | #Constraints: 29285
1888.66/1895.34 c #Conflicts: 815000 | #Constraints: 30285
1888.66/1895.34 c #Conflicts: 816000 | #Constraints: 31285
1888.66/1895.34 c #Conflicts: 817000 | #Constraints: 32285
1888.66/1895.34 c #Conflicts: 818000 | #Constraints: 33285
1888.66/1895.34 c #Conflicts: 819000 | #Constraints: 34285
1888.66/1895.34 c #Conflicts: 820000 | #Constraints: 35285
1888.66/1895.34 c #Conflicts: 821000 | #Constraints: 36285
1888.66/1895.34 c #Conflicts: 822000 | #Constraints: 37285
1888.66/1895.34 c #Conflicts: 823000 | #Constraints: 38285
1888.66/1895.34 c #Conflicts: 824000 | #Constraints: 39285
1888.66/1895.34 c #Conflicts: 825000 | #Constraints: 40285
1888.66/1895.34 c #Conflicts: 826000 | #Constraints: 41285
1888.66/1895.34 c #Conflicts: 827000 | #Constraints: 42285
1888.66/1895.34 c #Conflicts: 828000 | #Constraints: 43285
1888.66/1895.34 c INPROCESSING
1888.66/1895.34 c GARBAGE COLLECT
1888.66/1895.34 c #Conflicts: 829000 | #Constraints: 26282
1888.66/1895.34 c #Conflicts: 830000 | #Constraints: 27282
1888.66/1895.34 c #Conflicts: 831000 | #Constraints: 28282
1888.66/1895.34 c #Conflicts: 832000 | #Constraints: 29282
1888.66/1895.34 c #Conflicts: 833000 | #Constraints: 30282
1888.66/1895.34 c #Conflicts: 834000 | #Constraints: 31282
1888.66/1895.34 c #Conflicts: 835000 | #Constraints: 32282
1888.66/1895.34 c #Conflicts: 836000 | #Constraints: 33282
1888.66/1895.34 c #Conflicts: 837000 | #Constraints: 34282
1888.66/1895.34 c #Conflicts: 838000 | #Constraints: 35282
1888.66/1895.34 c #Conflicts: 839000 | #Constraints: 36282
1888.66/1895.34 c #Conflicts: 840000 | #Constraints: 37282
1888.66/1895.34 c #Conflicts: 841000 | #Constraints: 38282
1888.66/1895.34 c #Conflicts: 842000 | #Constraints: 39282
1888.66/1895.34 c #Conflicts: 843000 | #Constraints: 40282
1888.66/1895.34 c #Conflicts: 844000 | #Constraints: 41282
1888.66/1895.34 c #Conflicts: 845000 | #Constraints: 42282
1888.66/1895.34 c #Conflicts: 846000 | #Constraints: 43282
1888.66/1895.34 c INPROCESSING
1888.66/1895.34 c GARBAGE COLLECT
1888.66/1895.34 c #Conflicts: 847000 | #Constraints: 26081
1888.66/1895.34 c #Conflicts: 848000 | #Constraints: 27081
1888.66/1895.34 c #Conflicts: 849000 | #Constraints: 28081
1888.66/1895.34 c #Conflicts: 850000 | #Constraints: 29081
1888.66/1895.34 c #Conflicts: 851000 | #Constraints: 30081
1888.66/1895.34 c #Conflicts: 852000 | #Constraints: 31081
1888.66/1895.34 c #Conflicts: 853000 | #Constraints: 32081
1888.66/1895.34 c #Conflicts: 854000 | #Constraints: 33081
1888.66/1895.34 c #Conflicts: 855000 | #Constraints: 34081
1888.66/1895.34 c #Conflicts: 856000 | #Constraints: 35081
1888.66/1895.34 c #Conflicts: 857000 | #Constraints: 36081
1888.66/1895.34 c #Conflicts: 858000 | #Constraints: 37081
1888.66/1895.34 c #Conflicts: 859000 | #Constraints: 38081
1888.66/1895.34 c #Conflicts: 860000 | #Constraints: 39081
1888.66/1895.34 c #Conflicts: 861000 | #Constraints: 40081
1888.66/1895.34 c #Conflicts: 862000 | #Constraints: 41081
1888.66/1895.34 c #Conflicts: 863000 | #Constraints: 42081
1888.66/1895.34 c #Conflicts: 864000 | #Constraints: 43081
1888.66/1895.34 c #Conflicts: 865000 | #Constraints: 44081
1888.66/1895.34 c INPROCESSING
1888.66/1895.34 c GARBAGE COLLECT
1888.66/1895.34 c #Conflicts: 866000 | #Constraints: 26681
1888.66/1895.34 c #Conflicts: 867000 | #Constraints: 27681
1888.66/1895.34 c #Conflicts: 868000 | #Constraints: 28681
1888.66/1895.34 c #Conflicts: 869000 | #Constraints: 29681
1888.66/1895.34 c #Conflicts: 870000 | #Constraints: 30681
1888.66/1895.34 c #Conflicts: 871000 | #Constraints: 31681
1888.66/1895.34 c #Conflicts: 872000 | #Constraints: 32681
1888.66/1895.34 c #Conflicts: 873000 | #Constraints: 33681
1888.66/1895.34 c #Conflicts: 874000 | #Constraints: 34681
1888.66/1895.34 c #Conflicts: 875000 | #Constraints: 35681
1888.66/1895.34 c #Conflicts: 876000 | #Constraints: 36681
1888.66/1895.34 c #Conflicts: 877000 | #Constraints: 37681
1888.66/1895.34 c #Conflicts: 878000 | #Constraints: 38681
1888.66/1895.34 c #Conflicts: 879000 | #Constraints: 39681
1888.66/1895.34 c #Conflicts: 880000 | #Constraints: 40681
1888.66/1895.34 c #Conflicts: 881000 | #Constraints: 41681
1888.66/1895.34 c #Conflicts: 882000 | #Constraints: 42681
1888.66/1895.34 c #Conflicts: 883000 | #Constraints: 43681
1888.66/1895.34 c #Conflicts: 884000 | #Constraints: 44681
1888.66/1895.34 c INPROCESSING
1888.66/1895.34 c GARBAGE COLLECT
1888.66/1895.34 c #Conflicts: 885000 | #Constraints: 27080
1888.66/1895.34 c #Conflicts: 886000 | #Constraints: 28080
1888.66/1895.34 c #Conflicts: 887000 | #Constraints: 29080
1888.66/1895.34 c #Conflicts: 888000 | #Constraints: 30080
1888.66/1895.34 c #Conflicts: 889000 | #Constraints: 31080
2028.58/2035.74 c #Conflicts: 890000 | #Constraints: 32080
2028.58/2035.74 c #Conflicts: 891000 | #Constraints: 33080
2028.58/2035.74 c #Conflicts: 892000 | #Constraints: 34080
2028.58/2035.74 c #Conflicts: 893000 | #Constraints: 35080
2028.58/2035.74 c #Conflicts: 894000 | #Constraints: 36080
2028.58/2035.74 c #Conflicts: 895000 | #Constraints: 37080
2028.58/2035.74 c #Conflicts: 896000 | #Constraints: 38080
2028.58/2035.74 c #Conflicts: 897000 | #Constraints: 39080
2028.58/2035.74 c #Conflicts: 898000 | #Constraints: 40080
2028.58/2035.74 c #Conflicts: 899000 | #Constraints: 41080
2028.58/2035.74 c #Conflicts: 900000 | #Constraints: 42080
2028.58/2035.74 c #Conflicts: 901000 | #Constraints: 43080
2028.58/2035.74 c #Conflicts: 902000 | #Constraints: 44080
2028.58/2035.74 c #Conflicts: 903000 | #Constraints: 45080
2028.58/2035.74 c INPROCESSING
2028.58/2035.74 c GARBAGE COLLECT
2028.58/2035.74 c #Conflicts: 904000 | #Constraints: 27280
2028.58/2035.74 c #Conflicts: 905000 | #Constraints: 28280
2028.58/2035.74 c #Conflicts: 906000 | #Constraints: 29280
2028.58/2035.74 c #Conflicts: 907000 | #Constraints: 30280
2028.58/2035.74 c #Conflicts: 908000 | #Constraints: 31280
2028.58/2035.74 c #Conflicts: 909000 | #Constraints: 32280
2028.58/2035.74 c #Conflicts: 910000 | #Constraints: 33280
2028.58/2035.74 c #Conflicts: 911000 | #Constraints: 34280
2028.58/2035.74 c #Conflicts: 912000 | #Constraints: 35280
2028.58/2035.74 c #Conflicts: 913000 | #Constraints: 36280
2028.58/2035.74 c #Conflicts: 914000 | #Constraints: 37280
2028.58/2035.74 c #Conflicts: 915000 | #Constraints: 38280
2028.58/2035.74 c #Conflicts: 916000 | #Constraints: 39280
2028.58/2035.74 c #Conflicts: 917000 | #Constraints: 40280
2028.58/2035.74 c #Conflicts: 918000 | #Constraints: 41280
2028.58/2035.74 c #Conflicts: 919000 | #Constraints: 42280
2028.58/2035.74 c #Conflicts: 920000 | #Constraints: 43280
2028.58/2035.74 c #Conflicts: 921000 | #Constraints: 44280
2028.58/2035.74 c #Conflicts: 922000 | #Constraints: 45280
2028.58/2035.74 c INPROCESSING
2028.58/2035.74 c GARBAGE COLLECT
2028.58/2035.74 c #Conflicts: 923000 | #Constraints: 27278
2028.58/2035.74 c #Conflicts: 924000 | #Constraints: 28278
2028.58/2035.74 c #Conflicts: 925000 | #Constraints: 29278
2028.58/2035.74 c #Conflicts: 926000 | #Constraints: 30278
2028.58/2035.74 c #Conflicts: 927000 | #Constraints: 31278
2028.58/2035.74 c #Conflicts: 928000 | #Constraints: 32278
2028.58/2035.74 c #Conflicts: 929000 | #Constraints: 33278
2028.58/2035.74 c #Conflicts: 930000 | #Constraints: 34278
2028.58/2035.74 c #Conflicts: 931000 | #Constraints: 35278
2028.58/2035.74 c #Conflicts: 932000 | #Constraints: 36278
2028.58/2035.74 c #Conflicts: 933000 | #Constraints: 37278
2028.58/2035.74 c #Conflicts: 934000 | #Constraints: 38278
2028.58/2035.74 c #Conflicts: 935000 | #Constraints: 39278
2028.58/2035.74 c #Conflicts: 936000 | #Constraints: 40278
2028.58/2035.74 c #Conflicts: 937000 | #Constraints: 41278
2028.58/2035.74 c #Conflicts: 938000 | #Constraints: 42278
2028.58/2035.74 c #Conflicts: 939000 | #Constraints: 43278
2028.58/2035.74 c #Conflicts: 940000 | #Constraints: 44278
2028.58/2035.74 c #Conflicts: 941000 | #Constraints: 45278
2028.58/2035.74 c INPROCESSING
2028.58/2035.74 c GARBAGE COLLECT
2028.58/2035.74 c #Conflicts: 942000 | #Constraints: 27084
2028.58/2035.74 c #Conflicts: 943000 | #Constraints: 28084
2028.58/2035.74 c #Conflicts: 944000 | #Constraints: 29084
2028.58/2035.74 c #Conflicts: 945000 | #Constraints: 30084
2028.58/2035.74 c #Conflicts: 946000 | #Constraints: 31084
2028.58/2035.74 c #Conflicts: 947000 | #Constraints: 32084
2028.58/2035.74 c #Conflicts: 948000 | #Constraints: 33084
2028.58/2035.74 c #Conflicts: 949000 | #Constraints: 34084
2028.58/2035.74 c #Conflicts: 950000 | #Constraints: 35084
2028.58/2035.74 c #Conflicts: 951000 | #Constraints: 36084
2028.58/2035.74 c #Conflicts: 952000 | #Constraints: 37084
2028.58/2035.74 c #Conflicts: 953000 | #Constraints: 38084
2028.58/2035.74 c #Conflicts: 954000 | #Constraints: 39084
2028.58/2035.74 c #Conflicts: 955000 | #Constraints: 40084
2028.58/2035.74 c #Conflicts: 956000 | #Constraints: 41084
2028.58/2035.74 c #Conflicts: 957000 | #Constraints: 42084
2028.58/2035.74 c #Conflicts: 958000 | #Constraints: 43084
2028.58/2035.74 c #Conflicts: 959000 | #Constraints: 44084
2028.58/2035.74 c #Conflicts: 960000 | #Constraints: 45084
2028.58/2035.74 c #Conflicts: 961000 | #Constraints: 46084
2028.58/2035.74 c INPROCESSING
2028.58/2035.74 c GARBAGE COLLECT
2028.58/2035.74 c #Conflicts: 962000 | #Constraints: 27675
2028.58/2035.74 c #Conflicts: 963000 | #Constraints: 28675
2028.58/2035.74 c #Conflicts: 964000 | #Constraints: 29675
2028.58/2035.74 c #Conflicts: 965000 | #Constraints: 30675
2028.58/2035.74 c #Conflicts: 966000 | #Constraints: 31675
2183.25/2190.91 c #Conflicts: 967000 | #Constraints: 32675
2183.25/2190.91 c #Conflicts: 968000 | #Constraints: 33675
2183.25/2190.91 c #Conflicts: 969000 | #Constraints: 34675
2183.25/2190.91 c #Conflicts: 970000 | #Constraints: 35675
2183.25/2190.91 c #Conflicts: 971000 | #Constraints: 36675
2183.25/2190.91 c #Conflicts: 972000 | #Constraints: 37675
2183.25/2190.91 c #Conflicts: 973000 | #Constraints: 38675
2183.25/2190.91 c #Conflicts: 974000 | #Constraints: 39675
2183.25/2190.91 c #Conflicts: 975000 | #Constraints: 40675
2183.25/2190.91 c #Conflicts: 976000 | #Constraints: 41675
2183.25/2190.91 c #Conflicts: 977000 | #Constraints: 42675
2183.25/2190.91 c #Conflicts: 978000 | #Constraints: 43675
2183.25/2190.91 c #Conflicts: 979000 | #Constraints: 44675
2183.25/2190.91 c #Conflicts: 980000 | #Constraints: 45675
2183.25/2190.91 c #Conflicts: 981000 | #Constraints: 46675
2183.25/2190.91 c INPROCESSING
2183.25/2190.91 c GARBAGE COLLECT
2183.25/2190.91 c #Conflicts: 982000 | #Constraints: 28073
2183.25/2190.91 c #Conflicts: 983000 | #Constraints: 29073
2183.25/2190.91 c #Conflicts: 984000 | #Constraints: 30073
2183.25/2190.91 c #Conflicts: 985000 | #Constraints: 31073
2183.25/2190.91 c #Conflicts: 986000 | #Constraints: 32073
2183.25/2190.91 c #Conflicts: 987000 | #Constraints: 33073
2183.25/2190.91 c #Conflicts: 988000 | #Constraints: 34073
2183.25/2190.91 c #Conflicts: 989000 | #Constraints: 35073
2183.25/2190.91 c #Conflicts: 990000 | #Constraints: 36073
2183.25/2190.91 c #Conflicts: 991000 | #Constraints: 37073
2183.25/2190.91 c #Conflicts: 992000 | #Constraints: 38073
2183.25/2190.91 c #Conflicts: 993000 | #Constraints: 39073
2183.25/2190.91 c #Conflicts: 994000 | #Constraints: 40073
2183.25/2190.91 c #Conflicts: 995000 | #Constraints: 41073
2183.25/2190.91 c #Conflicts: 996000 | #Constraints: 42073
2183.25/2190.91 c #Conflicts: 997000 | #Constraints: 43073
2183.25/2190.91 c #Conflicts: 998000 | #Constraints: 44073
2183.25/2190.91 c #Conflicts: 999000 | #Constraints: 45073
2183.25/2190.91 c #Conflicts: 1000000 | #Constraints: 46073
2183.25/2190.91 c #Conflicts: 1001000 | #Constraints: 47073
2183.25/2190.91 c INPROCESSING
2183.25/2190.91 c GARBAGE COLLECT
2183.25/2190.91 c #Conflicts: 1002000 | #Constraints: 28280
2183.25/2190.91 c #Conflicts: 1003000 | #Constraints: 29280
2183.25/2190.91 c #Conflicts: 1004000 | #Constraints: 30280
2183.25/2190.91 c #Conflicts: 1005000 | #Constraints: 31280
2183.25/2190.91 c #Conflicts: 1006000 | #Constraints: 32280
2183.25/2190.91 c #Conflicts: 1007000 | #Constraints: 33280
2183.25/2190.91 c #Conflicts: 1008000 | #Constraints: 34280
2183.25/2190.91 c #Conflicts: 1009000 | #Constraints: 35280
2183.25/2190.91 c #Conflicts: 1010000 | #Constraints: 36280
2183.25/2190.91 c #Conflicts: 1011000 | #Constraints: 37280
2183.25/2190.91 c #Conflicts: 1012000 | #Constraints: 38280
2183.25/2190.91 c #Conflicts: 1013000 | #Constraints: 39280
2183.25/2190.91 c #Conflicts: 1014000 | #Constraints: 40280
2183.25/2190.91 c #Conflicts: 1015000 | #Constraints: 41280
2183.25/2190.91 c #Conflicts: 1016000 | #Constraints: 42280
2183.25/2190.91 c #Conflicts: 1017000 | #Constraints: 43280
2183.25/2190.91 c #Conflicts: 1018000 | #Constraints: 44280
2183.25/2190.91 c #Conflicts: 1019000 | #Constraints: 45280
2183.25/2190.91 c #Conflicts: 1020000 | #Constraints: 46280
2183.25/2190.91 c #Conflicts: 1021000 | #Constraints: 47280
2183.25/2190.91 c INPROCESSING
2183.25/2190.91 c GARBAGE COLLECT
2183.25/2190.91 c #Conflicts: 1022000 | #Constraints: 28284
2183.25/2190.91 c #Conflicts: 1023000 | #Constraints: 29284
2183.25/2190.91 c #Conflicts: 1024000 | #Constraints: 30284
2183.25/2190.91 c #Conflicts: 1025000 | #Constraints: 31284
2183.25/2190.91 c #Conflicts: 1026000 | #Constraints: 32284
2183.25/2190.91 c #Conflicts: 1027000 | #Constraints: 33284
2183.25/2190.91 c #Conflicts: 1028000 | #Constraints: 34284
2183.25/2190.91 c #Conflicts: 1029000 | #Constraints: 35284
2183.25/2190.91 c #Conflicts: 1030000 | #Constraints: 36284
2183.25/2190.91 c #Conflicts: 1031000 | #Constraints: 37284
2183.25/2190.91 c #Conflicts: 1032000 | #Constraints: 38284
2183.25/2190.91 c #Conflicts: 1033000 | #Constraints: 39284
2183.25/2190.91 c #Conflicts: 1034000 | #Constraints: 40284
2183.25/2190.91 c #Conflicts: 1035000 | #Constraints: 41284
2183.25/2190.91 c #Conflicts: 1036000 | #Constraints: 42284
2183.25/2190.91 c #Conflicts: 1037000 | #Constraints: 43284
2183.25/2190.91 c #Conflicts: 1038000 | #Constraints: 44284
2183.25/2190.91 c #Conflicts: 1039000 | #Constraints: 45284
2183.25/2190.91 c #Conflicts: 1040000 | #Constraints: 46284
2183.25/2190.91 c #Conflicts: 1041000 | #Constraints: 47284
2183.25/2190.91 c INPROCESSING
2183.25/2190.91 c GARBAGE COLLECT
2183.25/2190.91 c #Conflicts: 1042000 | #Constraints: 28088
2344.91/2353.15 c #Conflicts: 1043000 | #Constraints: 29088
2344.91/2353.15 c #Conflicts: 1044000 | #Constraints: 30088
2344.91/2353.15 c #Conflicts: 1045000 | #Constraints: 31088
2344.91/2353.15 c #Conflicts: 1046000 | #Constraints: 32088
2344.91/2353.15 c #Conflicts: 1047000 | #Constraints: 33088
2344.91/2353.15 c #Conflicts: 1048000 | #Constraints: 34088
2344.91/2353.15 c #Conflicts: 1049000 | #Constraints: 35088
2344.91/2353.15 c #Conflicts: 1050000 | #Constraints: 36088
2344.91/2353.15 c #Conflicts: 1051000 | #Constraints: 37088
2344.91/2353.15 c #Conflicts: 1052000 | #Constraints: 38088
2344.91/2353.15 c #Conflicts: 1053000 | #Constraints: 39088
2344.91/2353.15 c #Conflicts: 1054000 | #Constraints: 40088
2344.91/2353.15 c #Conflicts: 1055000 | #Constraints: 41088
2344.91/2353.15 c #Conflicts: 1056000 | #Constraints: 42088
2344.91/2353.15 c #Conflicts: 1057000 | #Constraints: 43088
2344.91/2353.15 c #Conflicts: 1058000 | #Constraints: 44088
2344.91/2353.15 c #Conflicts: 1059000 | #Constraints: 45088
2344.91/2353.15 c #Conflicts: 1060000 | #Constraints: 46088
2344.91/2353.15 c #Conflicts: 1061000 | #Constraints: 47088
2344.91/2353.15 c #Conflicts: 1062000 | #Constraints: 48088
2344.91/2353.15 c INPROCESSING
2344.91/2353.15 c GARBAGE COLLECT
2344.91/2353.15 c #Conflicts: 1063000 | #Constraints: 28689
2344.91/2353.15 c #Conflicts: 1064000 | #Constraints: 29689
2344.91/2353.15 c #Conflicts: 1065000 | #Constraints: 30689
2344.91/2353.15 c #Conflicts: 1066000 | #Constraints: 31689
2344.91/2353.15 c #Conflicts: 1067000 | #Constraints: 32689
2344.91/2353.15 c #Conflicts: 1068000 | #Constraints: 33689
2344.91/2353.15 c #Conflicts: 1069000 | #Constraints: 34689
2344.91/2353.15 c #Conflicts: 1070000 | #Constraints: 35689
2344.91/2353.15 c #Conflicts: 1071000 | #Constraints: 36689
2344.91/2353.15 c #Conflicts: 1072000 | #Constraints: 37689
2344.91/2353.15 c #Conflicts: 1073000 | #Constraints: 38689
2344.91/2353.15 c #Conflicts: 1074000 | #Constraints: 39689
2344.91/2353.15 c #Conflicts: 1075000 | #Constraints: 40689
2344.91/2353.15 c #Conflicts: 1076000 | #Constraints: 41689
2344.91/2353.15 c #Conflicts: 1077000 | #Constraints: 42689
2344.91/2353.15 c #Conflicts: 1078000 | #Constraints: 43689
2344.91/2353.15 c #Conflicts: 1079000 | #Constraints: 44689
2344.91/2353.15 c #Conflicts: 1080000 | #Constraints: 45689
2344.91/2353.15 c #Conflicts: 1081000 | #Constraints: 46689
2344.91/2353.15 c #Conflicts: 1082000 | #Constraints: 47689
2344.91/2353.15 c #Conflicts: 1083000 | #Constraints: 48689
2344.91/2353.15 c INPROCESSING
2344.91/2353.15 c GARBAGE COLLECT
2344.91/2353.15 c #Conflicts: 1084000 | #Constraints: 29087
2344.91/2353.15 c #Conflicts: 1085000 | #Constraints: 30087
2344.91/2353.15 c #Conflicts: 1086000 | #Constraints: 31087
2344.91/2353.15 c #Conflicts: 1087000 | #Constraints: 32087
2344.91/2353.15 c #Conflicts: 1088000 | #Constraints: 33087
2344.91/2353.15 c #Conflicts: 1089000 | #Constraints: 34087
2344.91/2353.15 c #Conflicts: 1090000 | #Constraints: 35087
2344.91/2353.15 c #Conflicts: 1091000 | #Constraints: 36087
2344.91/2353.15 c #Conflicts: 1092000 | #Constraints: 37087
2344.91/2353.15 c #Conflicts: 1093000 | #Constraints: 38087
2344.91/2353.15 c #Conflicts: 1094000 | #Constraints: 39087
2344.91/2353.15 c #Conflicts: 1095000 | #Constraints: 40087
2344.91/2353.15 c #Conflicts: 1096000 | #Constraints: 41087
2344.91/2353.15 c #Conflicts: 1097000 | #Constraints: 42087
2344.91/2353.15 c #Conflicts: 1098000 | #Constraints: 43087
2344.91/2353.15 c #Conflicts: 1099000 | #Constraints: 44087
2344.91/2353.15 c #Conflicts: 1100000 | #Constraints: 45087
2344.91/2353.15 c #Conflicts: 1101000 | #Constraints: 46087
2344.91/2353.15 c #Conflicts: 1102000 | #Constraints: 47087
2344.91/2353.15 c #Conflicts: 1103000 | #Constraints: 48087
2344.91/2353.15 c #Conflicts: 1104000 | #Constraints: 49087
2344.91/2353.15 c INPROCESSING
2344.91/2353.15 c GARBAGE COLLECT
2344.91/2353.15 c #Conflicts: 1105000 | #Constraints: 29286
2344.91/2353.15 c #Conflicts: 1106000 | #Constraints: 30286
2344.91/2353.15 c #Conflicts: 1107000 | #Constraints: 31286
2344.91/2353.15 c #Conflicts: 1108000 | #Constraints: 32286
2344.91/2353.15 c #Conflicts: 1109000 | #Constraints: 33286
2344.91/2353.15 c #Conflicts: 1110000 | #Constraints: 34286
2344.91/2353.15 c #Conflicts: 1111000 | #Constraints: 35286
2344.91/2353.15 c #Conflicts: 1112000 | #Constraints: 36286
2344.91/2353.15 c #Conflicts: 1113000 | #Constraints: 37286
2344.91/2353.15 c #Conflicts: 1114000 | #Constraints: 38286
2344.91/2353.15 c #Conflicts: 1115000 | #Constraints: 39286
2344.91/2353.15 c #Conflicts: 1116000 | #Constraints: 40286
2344.91/2353.15 c #Conflicts: 1117000 | #Constraints: 41286
2344.91/2353.15 c #Conflicts: 1118000 | #Constraints: 42286
2344.91/2353.15 c #Conflicts: 1119000 | #Constraints: 43286
2503.67/2512.45 c #Conflicts: 1120000 | #Constraints: 44286
2503.67/2512.45 c #Conflicts: 1121000 | #Constraints: 45286
2503.67/2512.45 c #Conflicts: 1122000 | #Constraints: 46286
2503.67/2512.45 c #Conflicts: 1123000 | #Constraints: 47286
2503.67/2512.45 c #Conflicts: 1124000 | #Constraints: 48286
2503.67/2512.45 c #Conflicts: 1125000 | #Constraints: 49286
2503.67/2512.45 c INPROCESSING
2503.67/2512.45 c GARBAGE COLLECT
2503.67/2512.45 c #Conflicts: 1126000 | #Constraints: 29289
2503.67/2512.45 c #Conflicts: 1127000 | #Constraints: 30289
2503.67/2512.45 c #Conflicts: 1128000 | #Constraints: 31289
2503.67/2512.45 c #Conflicts: 1129000 | #Constraints: 32289
2503.67/2512.45 c #Conflicts: 1130000 | #Constraints: 33289
2503.67/2512.45 c #Conflicts: 1131000 | #Constraints: 34289
2503.67/2512.45 c #Conflicts: 1132000 | #Constraints: 35289
2503.67/2512.45 c #Conflicts: 1133000 | #Constraints: 36289
2503.67/2512.45 c #Conflicts: 1134000 | #Constraints: 37289
2503.67/2512.45 c #Conflicts: 1135000 | #Constraints: 38289
2503.67/2512.45 c #Conflicts: 1136000 | #Constraints: 39289
2503.67/2512.45 c #Conflicts: 1137000 | #Constraints: 40289
2503.67/2512.45 c #Conflicts: 1138000 | #Constraints: 41289
2503.67/2512.45 c #Conflicts: 1139000 | #Constraints: 42289
2503.67/2512.45 c #Conflicts: 1140000 | #Constraints: 43289
2503.67/2512.45 c #Conflicts: 1141000 | #Constraints: 44289
2503.67/2512.45 c #Conflicts: 1142000 | #Constraints: 45289
2503.67/2512.45 c #Conflicts: 1143000 | #Constraints: 46289
2503.67/2512.45 c #Conflicts: 1144000 | #Constraints: 47289
2503.67/2512.45 c #Conflicts: 1145000 | #Constraints: 48289
2503.67/2512.45 c #Conflicts: 1146000 | #Constraints: 49289
2503.67/2512.45 c INPROCESSING
2503.67/2512.45 c GARBAGE COLLECT
2503.67/2512.45 c #Conflicts: 1147000 | #Constraints: 29088
2503.67/2512.45 c #Conflicts: 1148000 | #Constraints: 30088
2503.67/2512.45 c #Conflicts: 1149000 | #Constraints: 31088
2503.67/2512.45 c #Conflicts: 1150000 | #Constraints: 32088
2503.67/2512.45 c #Conflicts: 1151000 | #Constraints: 33088
2503.67/2512.45 c #Conflicts: 1152000 | #Constraints: 34088
2503.67/2512.45 c #Conflicts: 1153000 | #Constraints: 35088
2503.67/2512.45 c #Conflicts: 1154000 | #Constraints: 36088
2503.67/2512.45 c #Conflicts: 1155000 | #Constraints: 37088
2503.67/2512.45 c #Conflicts: 1156000 | #Constraints: 38088
2503.67/2512.45 c #Conflicts: 1157000 | #Constraints: 39088
2503.67/2512.45 c #Conflicts: 1158000 | #Constraints: 40088
2503.67/2512.45 c #Conflicts: 1159000 | #Constraints: 41088
2503.67/2512.45 c #Conflicts: 1160000 | #Constraints: 42088
2503.67/2512.45 c #Conflicts: 1161000 | #Constraints: 43088
2503.67/2512.45 c #Conflicts: 1162000 | #Constraints: 44088
2503.67/2512.45 c #Conflicts: 1163000 | #Constraints: 45088
2503.67/2512.45 c #Conflicts: 1164000 | #Constraints: 46088
2503.67/2512.45 c #Conflicts: 1165000 | #Constraints: 47088
2503.67/2512.45 c #Conflicts: 1166000 | #Constraints: 48088
2503.67/2512.45 c #Conflicts: 1167000 | #Constraints: 49088
2503.67/2512.45 c #Conflicts: 1168000 | #Constraints: 50088
2503.67/2512.45 c INPROCESSING
2503.67/2512.45 c GARBAGE COLLECT
2503.67/2512.45 c #Conflicts: 1169000 | #Constraints: 29690
2503.67/2512.45 c #Conflicts: 1170000 | #Constraints: 30690
2503.67/2512.45 c #Conflicts: 1171000 | #Constraints: 31690
2503.67/2512.45 c #Conflicts: 1172000 | #Constraints: 32690
2503.67/2512.45 c #Conflicts: 1173000 | #Constraints: 33690
2503.67/2512.45 c #Conflicts: 1174000 | #Constraints: 34690
2503.67/2512.45 c #Conflicts: 1175000 | #Constraints: 35690
2503.67/2512.45 c #Conflicts: 1176000 | #Constraints: 36690
2503.67/2512.45 c #Conflicts: 1177000 | #Constraints: 37690
2503.67/2512.45 c #Conflicts: 1178000 | #Constraints: 38690
2503.67/2512.45 c #Conflicts: 1179000 | #Constraints: 39690
2503.67/2512.45 c #Conflicts: 1180000 | #Constraints: 40690
2503.67/2512.45 c #Conflicts: 1181000 | #Constraints: 41690
2503.67/2512.45 c #Conflicts: 1182000 | #Constraints: 42690
2503.67/2512.45 c #Conflicts: 1183000 | #Constraints: 43690
2503.67/2512.45 c #Conflicts: 1184000 | #Constraints: 44690
2503.67/2512.45 c #Conflicts: 1185000 | #Constraints: 45690
2503.67/2512.45 c #Conflicts: 1186000 | #Constraints: 46690
2503.67/2512.45 c #Conflicts: 1187000 | #Constraints: 47690
2503.67/2512.45 c #Conflicts: 1188000 | #Constraints: 48690
2503.67/2512.45 c #Conflicts: 1189000 | #Constraints: 49690
2503.67/2512.45 c #Conflicts: 1190000 | #Constraints: 50690
2503.67/2512.45 c INPROCESSING
2503.67/2512.45 c GARBAGE COLLECT
2503.67/2512.45 c #Conflicts: 1191000 | #Constraints: 30088
2503.67/2512.45 c #Conflicts: 1192000 | #Constraints: 31088
2503.67/2512.45 c #Conflicts: 1193000 | #Constraints: 32088
2503.67/2512.45 c #Conflicts: 1194000 | #Constraints: 33088
2503.67/2512.45 c #Conflicts: 1195000 | #Constraints: 34088
2661.64/2670.94 c #Conflicts: 1196000 | #Constraints: 35088
2661.64/2670.94 c #Conflicts: 1197000 | #Constraints: 36088
2661.64/2670.94 c #Conflicts: 1198000 | #Constraints: 37088
2661.64/2670.94 c #Conflicts: 1199000 | #Constraints: 38088
2661.64/2670.94 c #Conflicts: 1200000 | #Constraints: 39088
2661.64/2670.94 c #Conflicts: 1201000 | #Constraints: 40088
2661.64/2670.94 c #Conflicts: 1202000 | #Constraints: 41088
2661.64/2670.94 c #Conflicts: 1203000 | #Constraints: 42088
2661.64/2670.94 c #Conflicts: 1204000 | #Constraints: 43088
2661.64/2670.94 c #Conflicts: 1205000 | #Constraints: 44088
2661.64/2670.94 c #Conflicts: 1206000 | #Constraints: 45088
2661.64/2670.94 c #Conflicts: 1207000 | #Constraints: 46088
2661.64/2670.94 c #Conflicts: 1208000 | #Constraints: 47088
2661.64/2670.94 c #Conflicts: 1209000 | #Constraints: 48088
2661.64/2670.94 c #Conflicts: 1210000 | #Constraints: 49088
2661.64/2670.94 c #Conflicts: 1211000 | #Constraints: 50088
2661.64/2670.94 c #Conflicts: 1212000 | #Constraints: 51088
2661.64/2670.94 c INPROCESSING
2661.64/2670.94 c GARBAGE COLLECT
2661.64/2670.94 c #Conflicts: 1213000 | #Constraints: 30289
2661.64/2670.94 c #Conflicts: 1214000 | #Constraints: 31289
2661.64/2670.94 c #Conflicts: 1215000 | #Constraints: 32289
2661.64/2670.94 c #Conflicts: 1216000 | #Constraints: 33289
2661.64/2670.94 c #Conflicts: 1217000 | #Constraints: 34289
2661.64/2670.94 c #Conflicts: 1218000 | #Constraints: 35289
2661.64/2670.94 c #Conflicts: 1219000 | #Constraints: 36289
2661.64/2670.94 c #Conflicts: 1220000 | #Constraints: 37289
2661.64/2670.94 c #Conflicts: 1221000 | #Constraints: 38289
2661.64/2670.94 c #Conflicts: 1222000 | #Constraints: 39289
2661.64/2670.94 c #Conflicts: 1223000 | #Constraints: 40289
2661.64/2670.94 c #Conflicts: 1224000 | #Constraints: 41289
2661.64/2670.94 c #Conflicts: 1225000 | #Constraints: 42289
2661.64/2670.94 c #Conflicts: 1226000 | #Constraints: 43289
2661.64/2670.94 c #Conflicts: 1227000 | #Constraints: 44289
2661.64/2670.94 c #Conflicts: 1228000 | #Constraints: 45289
2661.64/2670.94 c #Conflicts: 1229000 | #Constraints: 46289
2661.64/2670.94 c #Conflicts: 1230000 | #Constraints: 47289
2661.64/2670.94 c #Conflicts: 1231000 | #Constraints: 48289
2661.64/2670.94 c #Conflicts: 1232000 | #Constraints: 49289
2661.64/2670.94 c #Conflicts: 1233000 | #Constraints: 50289
2661.64/2670.94 c #Conflicts: 1234000 | #Constraints: 51289
2661.64/2670.94 c INPROCESSING
2661.64/2670.94 c GARBAGE COLLECT
2661.64/2670.94 c #Conflicts: 1235000 | #Constraints: 30283
2661.64/2670.94 c #Conflicts: 1236000 | #Constraints: 31283
2661.64/2670.94 c #Conflicts: 1237000 | #Constraints: 32283
2661.64/2670.94 c #Conflicts: 1238000 | #Constraints: 33283
2661.64/2670.94 c #Conflicts: 1239000 | #Constraints: 34283
2661.64/2670.94 c #Conflicts: 1240000 | #Constraints: 35283
2661.64/2670.94 c #Conflicts: 1241000 | #Constraints: 36283
2661.64/2670.94 c #Conflicts: 1242000 | #Constraints: 37283
2661.64/2670.94 c #Conflicts: 1243000 | #Constraints: 38283
2661.64/2670.94 c #Conflicts: 1244000 | #Constraints: 39283
2661.64/2670.94 c #Conflicts: 1245000 | #Constraints: 40283
2661.64/2670.94 c #Conflicts: 1246000 | #Constraints: 41283
2661.64/2670.94 c #Conflicts: 1247000 | #Constraints: 42283
2661.64/2670.94 c #Conflicts: 1248000 | #Constraints: 43283
2661.64/2670.94 c #Conflicts: 1249000 | #Constraints: 44283
2661.64/2670.94 c #Conflicts: 1250000 | #Constraints: 45283
2661.64/2670.94 c #Conflicts: 1251000 | #Constraints: 46283
2661.64/2670.94 c #Conflicts: 1252000 | #Constraints: 47283
2661.64/2670.94 c #Conflicts: 1253000 | #Constraints: 48283
2661.64/2670.94 c #Conflicts: 1254000 | #Constraints: 49283
2661.64/2670.94 c #Conflicts: 1255000 | #Constraints: 50283
2661.64/2670.94 c #Conflicts: 1256000 | #Constraints: 51283
2661.64/2670.94 c INPROCESSING
2661.64/2670.94 c GARBAGE COLLECT
2661.64/2670.94 c #Conflicts: 1257000 | #Constraints: 30085
2661.64/2670.94 c #Conflicts: 1258000 | #Constraints: 31085
2661.64/2670.94 c #Conflicts: 1259000 | #Constraints: 32085
2661.64/2670.94 c #Conflicts: 1260000 | #Constraints: 33085
2661.64/2670.94 c #Conflicts: 1261000 | #Constraints: 34085
2661.64/2670.94 c #Conflicts: 1262000 | #Constraints: 35085
2661.64/2670.94 c #Conflicts: 1263000 | #Constraints: 36085
2661.64/2670.94 c #Conflicts: 1264000 | #Constraints: 37085
2661.64/2670.94 c #Conflicts: 1265000 | #Constraints: 38085
2661.64/2670.94 c #Conflicts: 1266000 | #Constraints: 39085
2661.64/2670.94 c #Conflicts: 1267000 | #Constraints: 40085
2661.64/2670.94 c #Conflicts: 1268000 | #Constraints: 41085
2661.64/2670.94 c #Conflicts: 1269000 | #Constraints: 42085
2661.64/2670.94 c #Conflicts: 1270000 | #Constraints: 43085
2661.64/2670.94 c #Conflicts: 1271000 | #Constraints: 44085
2661.64/2670.94 c #Conflicts: 1272000 | #Constraints: 45085
2824.48/2834.35 c #Conflicts: 1273000 | #Constraints: 46085
2824.48/2834.35 c #Conflicts: 1274000 | #Constraints: 47085
2824.48/2834.35 c #Conflicts: 1275000 | #Constraints: 48085
2824.48/2834.35 c #Conflicts: 1276000 | #Constraints: 49085
2824.48/2834.35 c #Conflicts: 1277000 | #Constraints: 50085
2824.48/2834.35 c #Conflicts: 1278000 | #Constraints: 51085
2824.48/2834.35 c #Conflicts: 1279000 | #Constraints: 52085
2824.48/2834.35 c INPROCESSING
2824.48/2834.35 c GARBAGE COLLECT
2824.48/2834.35 c #Conflicts: 1280000 | #Constraints: 30684
2824.48/2834.35 c #Conflicts: 1281000 | #Constraints: 31684
2824.48/2834.35 c #Conflicts: 1282000 | #Constraints: 32684
2824.48/2834.35 c #Conflicts: 1283000 | #Constraints: 33684
2824.48/2834.35 c #Conflicts: 1284000 | #Constraints: 34684
2824.48/2834.35 c #Conflicts: 1285000 | #Constraints: 35684
2824.48/2834.35 c #Conflicts: 1286000 | #Constraints: 36684
2824.48/2834.35 c #Conflicts: 1287000 | #Constraints: 37684
2824.48/2834.35 c #Conflicts: 1288000 | #Constraints: 38684
2824.48/2834.35 c #Conflicts: 1289000 | #Constraints: 39684
2824.48/2834.35 c #Conflicts: 1290000 | #Constraints: 40684
2824.48/2834.35 c #Conflicts: 1291000 | #Constraints: 41684
2824.48/2834.35 c #Conflicts: 1292000 | #Constraints: 42684
2824.48/2834.35 c #Conflicts: 1293000 | #Constraints: 43684
2824.48/2834.35 c #Conflicts: 1294000 | #Constraints: 44684
2824.48/2834.35 c #Conflicts: 1295000 | #Constraints: 45684
2824.48/2834.35 c #Conflicts: 1296000 | #Constraints: 46684
2824.48/2834.35 c #Conflicts: 1297000 | #Constraints: 47684
2824.48/2834.35 c #Conflicts: 1298000 | #Constraints: 48684
2824.48/2834.35 c #Conflicts: 1299000 | #Constraints: 49684
2824.48/2834.35 c #Conflicts: 1300000 | #Constraints: 50684
2824.48/2834.35 c #Conflicts: 1301000 | #Constraints: 51684
2824.48/2834.35 c #Conflicts: 1302000 | #Constraints: 52684
2824.48/2834.35 c INPROCESSING
2824.48/2834.35 c GARBAGE COLLECT
2824.48/2834.35 c #Conflicts: 1303000 | #Constraints: 31086
2824.48/2834.35 c #Conflicts: 1304000 | #Constraints: 32086
2824.48/2834.35 c #Conflicts: 1305000 | #Constraints: 33086
2824.48/2834.35 c #Conflicts: 1306000 | #Constraints: 34086
2824.48/2834.35 c #Conflicts: 1307000 | #Constraints: 35086
2824.48/2834.35 c #Conflicts: 1308000 | #Constraints: 36086
2824.48/2834.35 c #Conflicts: 1309000 | #Constraints: 37086
2824.48/2834.35 c #Conflicts: 1310000 | #Constraints: 38086
2824.48/2834.35 c #Conflicts: 1311000 | #Constraints: 39086
2824.48/2834.35 c #Conflicts: 1312000 | #Constraints: 40086
2824.48/2834.35 c #Conflicts: 1313000 | #Constraints: 41086
2824.48/2834.35 c #Conflicts: 1314000 | #Constraints: 42086
2824.48/2834.35 c #Conflicts: 1315000 | #Constraints: 43086
2824.48/2834.35 c #Conflicts: 1316000 | #Constraints: 44086
2824.48/2834.35 c #Conflicts: 1317000 | #Constraints: 45086
2824.48/2834.35 c #Conflicts: 1318000 | #Constraints: 46086
2824.48/2834.35 c #Conflicts: 1319000 | #Constraints: 47086
2824.48/2834.35 c #Conflicts: 1320000 | #Constraints: 48086
2824.48/2834.35 c #Conflicts: 1321000 | #Constraints: 49086
2824.48/2834.35 c #Conflicts: 1322000 | #Constraints: 50086
2824.48/2834.35 c #Conflicts: 1323000 | #Constraints: 51086
2824.48/2834.35 c #Conflicts: 1324000 | #Constraints: 52086
2824.48/2834.35 c #Conflicts: 1325000 | #Constraints: 53086
2824.48/2834.35 c INPROCESSING
2824.48/2834.35 c GARBAGE COLLECT
2824.48/2834.35 c #Conflicts: 1326000 | #Constraints: 31284
2824.48/2834.35 c #Conflicts: 1327000 | #Constraints: 32284
2824.48/2834.35 c #Conflicts: 1328000 | #Constraints: 33284
2824.48/2834.35 c #Conflicts: 1329000 | #Constraints: 34284
2824.48/2834.35 c #Conflicts: 1330000 | #Constraints: 35284
2824.48/2834.35 c #Conflicts: 1331000 | #Constraints: 36284
2824.48/2834.35 c #Conflicts: 1332000 | #Constraints: 37284
2824.48/2834.35 c #Conflicts: 1333000 | #Constraints: 38284
2824.48/2834.35 c #Conflicts: 1334000 | #Constraints: 39284
2824.48/2834.35 c #Conflicts: 1335000 | #Constraints: 40284
2824.48/2834.35 c #Conflicts: 1336000 | #Constraints: 41284
2824.48/2834.35 c #Conflicts: 1337000 | #Constraints: 42284
2824.48/2834.35 c #Conflicts: 1338000 | #Constraints: 43284
2824.48/2834.35 c #Conflicts: 1339000 | #Constraints: 44284
2824.48/2834.35 c #Conflicts: 1340000 | #Constraints: 45284
2824.48/2834.35 c #Conflicts: 1341000 | #Constraints: 46284
2824.48/2834.35 c #Conflicts: 1342000 | #Constraints: 47284
2824.48/2834.35 c #Conflicts: 1343000 | #Constraints: 48284
2824.48/2834.35 c #Conflicts: 1344000 | #Constraints: 49284
2824.48/2834.35 c #Conflicts: 1345000 | #Constraints: 50284
2824.48/2834.35 c #Conflicts: 1346000 | #Constraints: 51284
2824.48/2834.35 c #Conflicts: 1347000 | #Constraints: 52284
2824.48/2834.35 c #Conflicts: 1348000 | #Constraints: 53284
2824.48/2834.35 c INPROCESSING
2989.82/3000.24 c GARBAGE COLLECT
2989.82/3000.24 c #Conflicts: 1349000 | #Constraints: 31297
2989.82/3000.24 c #Conflicts: 1350000 | #Constraints: 32297
2989.82/3000.24 c #Conflicts: 1351000 | #Constraints: 33297
2989.82/3000.24 c #Conflicts: 1352000 | #Constraints: 34297
2989.82/3000.24 c #Conflicts: 1353000 | #Constraints: 35297
2989.82/3000.24 c #Conflicts: 1354000 | #Constraints: 36297
2989.82/3000.24 c #Conflicts: 1355000 | #Constraints: 37297
2989.82/3000.24 c #Conflicts: 1356000 | #Constraints: 38297
2989.82/3000.24 c #Conflicts: 1357000 | #Constraints: 39297
2989.82/3000.24 c #Conflicts: 1358000 | #Constraints: 40297
2989.82/3000.24 c #Conflicts: 1359000 | #Constraints: 41297
2989.82/3000.24 c #Conflicts: 1360000 | #Constraints: 42297
2989.82/3000.24 c #Conflicts: 1361000 | #Constraints: 43297
2989.82/3000.24 c #Conflicts: 1362000 | #Constraints: 44297
2989.82/3000.24 c #Conflicts: 1363000 | #Constraints: 45297
2989.82/3000.24 c #Conflicts: 1364000 | #Constraints: 46297
2989.82/3000.24 c #Conflicts: 1365000 | #Constraints: 47297
2989.82/3000.24 c #Conflicts: 1366000 | #Constraints: 48297
2989.82/3000.24 c #Conflicts: 1367000 | #Constraints: 49297
2989.82/3000.24 c #Conflicts: 1368000 | #Constraints: 50297
2989.82/3000.24 c #Conflicts: 1369000 | #Constraints: 51297
2989.82/3000.24 c #Conflicts: 1370000 | #Constraints: 52297
2989.82/3000.24 c #Conflicts: 1371000 | #Constraints: 53297
2989.82/3000.24 c INPROCESSING
2989.82/3000.24 c GARBAGE COLLECT
2989.82/3000.24 c #Conflicts: 1372000 | #Constraints: 31089
2989.82/3000.24 c #Conflicts: 1373000 | #Constraints: 32089
2989.82/3000.24 c #Conflicts: 1374000 | #Constraints: 33089
2989.82/3000.24 c #Conflicts: 1375000 | #Constraints: 34089
2989.82/3000.24 c #Conflicts: 1376000 | #Constraints: 35089
2989.82/3000.24 c #Conflicts: 1377000 | #Constraints: 36089
2989.82/3000.24 c #Conflicts: 1378000 | #Constraints: 37089
2989.82/3000.24 c #Conflicts: 1379000 | #Constraints: 38089
2989.82/3000.24 c #Conflicts: 1380000 | #Constraints: 39089
2989.82/3000.24 c #Conflicts: 1381000 | #Constraints: 40089
2989.82/3000.24 c #Conflicts: 1382000 | #Constraints: 41089
2989.82/3000.24 c #Conflicts: 1383000 | #Constraints: 42089
2989.82/3000.24 c #Conflicts: 1384000 | #Constraints: 43089
2989.82/3000.24 c #Conflicts: 1385000 | #Constraints: 44089
2989.82/3000.24 c #Conflicts: 1386000 | #Constraints: 45089
2989.82/3000.24 c #Conflicts: 1387000 | #Constraints: 46089
2989.82/3000.24 c #Conflicts: 1388000 | #Constraints: 47089
2989.82/3000.24 c #Conflicts: 1389000 | #Constraints: 48089
2989.82/3000.24 c #Conflicts: 1390000 | #Constraints: 49089
2989.82/3000.24 c #Conflicts: 1391000 | #Constraints: 50089
2989.82/3000.24 c #Conflicts: 1392000 | #Constraints: 51089
2989.82/3000.24 c #Conflicts: 1393000 | #Constraints: 52089
2989.82/3000.24 c #Conflicts: 1394000 | #Constraints: 53089
2989.82/3000.24 c #Conflicts: 1395000 | #Constraints: 54089
2989.82/3000.24 c INPROCESSING
2989.82/3000.24 c GARBAGE COLLECT
2989.82/3000.24 c #Conflicts: 1396000 | #Constraints: 31685
2989.82/3000.24 c #Conflicts: 1397000 | #Constraints: 32685
2989.82/3000.24 c #Conflicts: 1398000 | #Constraints: 33685
2989.82/3000.24 c #Conflicts: 1399000 | #Constraints: 34685
2989.82/3000.24 c #Conflicts: 1400000 | #Constraints: 35685
2989.82/3000.24 c #Conflicts: 1401000 | #Constraints: 36685
2989.82/3000.24 c #Conflicts: 1402000 | #Constraints: 37685
2989.82/3000.24 c #Conflicts: 1403000 | #Constraints: 38685
2989.82/3000.24 c #Conflicts: 1404000 | #Constraints: 39685
2989.82/3000.24 c #Conflicts: 1405000 | #Constraints: 40685
2989.82/3000.24 c #Conflicts: 1406000 | #Constraints: 41685
2989.82/3000.24 c #Conflicts: 1407000 | #Constraints: 42685
2989.82/3000.24 c #Conflicts: 1408000 | #Constraints: 43685
2989.82/3000.24 c #Conflicts: 1409000 | #Constraints: 44685
2989.82/3000.24 c #Conflicts: 1410000 | #Constraints: 45685
2989.82/3000.24 c #Conflicts: 1411000 | #Constraints: 46685
2989.82/3000.24 c #Conflicts: 1412000 | #Constraints: 47685
2989.82/3000.24 c #Conflicts: 1413000 | #Constraints: 48685
2989.82/3000.24 c #Conflicts: 1414000 | #Constraints: 49685
2989.82/3000.24 c #Conflicts: 1415000 | #Constraints: 50685
2989.82/3000.24 c #Conflicts: 1416000 | #Constraints: 51685
2989.82/3000.24 c #Conflicts: 1417000 | #Constraints: 52685
2989.82/3000.24 c #Conflicts: 1418000 | #Constraints: 53685
2989.82/3000.24 c #Conflicts: 1419000 | #Constraints: 54685
2989.82/3000.24 c INPROCESSING
2989.82/3000.24 c GARBAGE COLLECT
2989.82/3000.24 c #Conflicts: 1420000 | #Constraints: 32091
2989.82/3000.24 c #Conflicts: 1421000 | #Constraints: 33091
2989.82/3000.24 c #Conflicts: 1422000 | #Constraints: 34091
2989.82/3000.24 c #Conflicts: 1423000 | #Constraints: 35091
2989.82/3000.24 c #Conflicts: 1424000 | #Constraints: 36091
2989.82/3000.24 c #Conflicts: 1425000 | #Constraints: 37091
3159.66/3170.67 c #Conflicts: 1426000 | #Constraints: 38091
3159.66/3170.67 c #Conflicts: 1427000 | #Constraints: 39091
3159.66/3170.67 c #Conflicts: 1428000 | #Constraints: 40091
3159.66/3170.67 c #Conflicts: 1429000 | #Constraints: 41091
3159.66/3170.67 c #Conflicts: 1430000 | #Constraints: 42091
3159.66/3170.67 c #Conflicts: 1431000 | #Constraints: 43091
3159.66/3170.67 c #Conflicts: 1432000 | #Constraints: 44091
3159.66/3170.67 c #Conflicts: 1433000 | #Constraints: 45091
3159.66/3170.67 c #Conflicts: 1434000 | #Constraints: 46091
3159.66/3170.67 c #Conflicts: 1435000 | #Constraints: 47091
3159.66/3170.67 c #Conflicts: 1436000 | #Constraints: 48091
3159.66/3170.67 c #Conflicts: 1437000 | #Constraints: 49091
3159.66/3170.67 c #Conflicts: 1438000 | #Constraints: 50091
3159.66/3170.67 c #Conflicts: 1439000 | #Constraints: 51091
3159.66/3170.67 c #Conflicts: 1440000 | #Constraints: 52091
3159.66/3170.67 c #Conflicts: 1441000 | #Constraints: 53091
3159.66/3170.67 c #Conflicts: 1442000 | #Constraints: 54091
3159.66/3170.67 c #Conflicts: 1443000 | #Constraints: 55091
3159.66/3170.67 c INPROCESSING
3159.66/3170.67 c GARBAGE COLLECT
3159.66/3170.67 c #Conflicts: 1444000 | #Constraints: 32287
3159.66/3170.67 c #Conflicts: 1445000 | #Constraints: 33287
3159.66/3170.67 c #Conflicts: 1446000 | #Constraints: 34287
3159.66/3170.67 c #Conflicts: 1447000 | #Constraints: 35287
3159.66/3170.67 c #Conflicts: 1448000 | #Constraints: 36287
3159.66/3170.67 c #Conflicts: 1449000 | #Constraints: 37287
3159.66/3170.67 c #Conflicts: 1450000 | #Constraints: 38287
3159.66/3170.67 c #Conflicts: 1451000 | #Constraints: 39287
3159.66/3170.67 c #Conflicts: 1452000 | #Constraints: 40287
3159.66/3170.67 c #Conflicts: 1453000 | #Constraints: 41287
3159.66/3170.67 c #Conflicts: 1454000 | #Constraints: 42287
3159.66/3170.67 c #Conflicts: 1455000 | #Constraints: 43287
3159.66/3170.67 c #Conflicts: 1456000 | #Constraints: 44287
3159.66/3170.67 c #Conflicts: 1457000 | #Constraints: 45287
3159.66/3170.67 c #Conflicts: 1458000 | #Constraints: 46287
3159.66/3170.67 c #Conflicts: 1459000 | #Constraints: 47287
3159.66/3170.67 c #Conflicts: 1460000 | #Constraints: 48287
3159.66/3170.67 c #Conflicts: 1461000 | #Constraints: 49287
3159.66/3170.67 c #Conflicts: 1462000 | #Constraints: 50287
3159.66/3170.67 c #Conflicts: 1463000 | #Constraints: 51287
3159.66/3170.67 c #Conflicts: 1464000 | #Constraints: 52287
3159.66/3170.67 c #Conflicts: 1465000 | #Constraints: 53287
3159.66/3170.67 c #Conflicts: 1466000 | #Constraints: 54287
3159.66/3170.67 c #Conflicts: 1467000 | #Constraints: 55287
3159.66/3170.67 c INPROCESSING
3159.66/3170.67 c GARBAGE COLLECT
3159.66/3170.67 c #Conflicts: 1468000 | #Constraints: 32287
3159.66/3170.67 c #Conflicts: 1469000 | #Constraints: 33287
3159.66/3170.67 c #Conflicts: 1470000 | #Constraints: 34287
3159.66/3170.67 c #Conflicts: 1471000 | #Constraints: 35287
3159.66/3170.67 c #Conflicts: 1472000 | #Constraints: 36287
3159.66/3170.67 c #Conflicts: 1473000 | #Constraints: 37287
3159.66/3170.67 c #Conflicts: 1474000 | #Constraints: 38287
3159.66/3170.67 c #Conflicts: 1475000 | #Constraints: 39287
3159.66/3170.67 c #Conflicts: 1476000 | #Constraints: 40287
3159.66/3170.67 c #Conflicts: 1477000 | #Constraints: 41287
3159.66/3170.67 c #Conflicts: 1478000 | #Constraints: 42287
3159.66/3170.67 c #Conflicts: 1479000 | #Constraints: 43287
3159.66/3170.67 c #Conflicts: 1480000 | #Constraints: 44287
3159.66/3170.67 c #Conflicts: 1481000 | #Constraints: 45287
3159.66/3170.67 c #Conflicts: 1482000 | #Constraints: 46287
3159.66/3170.67 c #Conflicts: 1483000 | #Constraints: 47287
3159.66/3170.67 c #Conflicts: 1484000 | #Constraints: 48287
3159.66/3170.67 c #Conflicts: 1485000 | #Constraints: 49287
3159.66/3170.67 c #Conflicts: 1486000 | #Constraints: 50287
3159.66/3170.67 c #Conflicts: 1487000 | #Constraints: 51287
3159.66/3170.67 c #Conflicts: 1488000 | #Constraints: 52287
3159.66/3170.67 c #Conflicts: 1489000 | #Constraints: 53287
3159.66/3170.67 c #Conflicts: 1490000 | #Constraints: 54287
3159.66/3170.67 c #Conflicts: 1491000 | #Constraints: 55287
3159.66/3170.67 c INPROCESSING
3159.66/3170.67 c GARBAGE COLLECT
3159.66/3170.67 c #Conflicts: 1492000 | #Constraints: 32083
3159.66/3170.67 c #Conflicts: 1493000 | #Constraints: 33083
3159.66/3170.67 c #Conflicts: 1494000 | #Constraints: 34083
3159.66/3170.67 c #Conflicts: 1495000 | #Constraints: 35083
3159.66/3170.67 c #Conflicts: 1496000 | #Constraints: 36083
3159.66/3170.67 c #Conflicts: 1497000 | #Constraints: 37083
3159.66/3170.67 c #Conflicts: 1498000 | #Constraints: 38083
3159.66/3170.67 c #Conflicts: 1499000 | #Constraints: 39083
3159.66/3170.67 c #Conflicts: 1500000 | #Constraints: 40083
3159.66/3170.67 c #Conflicts: 1501000 | #Constraints: 41083
3159.66/3170.67 c #Conflicts: 1502000 | #Constraints: 42083
3321.62/3333.11 c #Conflicts: 1503000 | #Constraints: 43083
3321.62/3333.11 c #Conflicts: 1504000 | #Constraints: 44083
3321.62/3333.11 c #Conflicts: 1505000 | #Constraints: 45083
3321.62/3333.11 c #Conflicts: 1506000 | #Constraints: 46083
3321.62/3333.11 c #Conflicts: 1507000 | #Constraints: 47083
3321.62/3333.11 c #Conflicts: 1508000 | #Constraints: 48083
3321.62/3333.11 c #Conflicts: 1509000 | #Constraints: 49083
3321.62/3333.11 c #Conflicts: 1510000 | #Constraints: 50083
3321.62/3333.11 c #Conflicts: 1511000 | #Constraints: 51083
3321.62/3333.11 c #Conflicts: 1512000 | #Constraints: 52083
3321.62/3333.11 c #Conflicts: 1513000 | #Constraints: 53083
3321.62/3333.11 c #Conflicts: 1514000 | #Constraints: 54083
3321.62/3333.11 c #Conflicts: 1515000 | #Constraints: 55083
3321.62/3333.11 c #Conflicts: 1516000 | #Constraints: 56083
3321.62/3333.11 c INPROCESSING
3321.62/3333.11 c GARBAGE COLLECT
3321.62/3333.11 c #Conflicts: 1517000 | #Constraints: 32685
3321.62/3333.11 c #Conflicts: 1518000 | #Constraints: 33685
3321.62/3333.11 c #Conflicts: 1519000 | #Constraints: 34685
3321.62/3333.11 c #Conflicts: 1520000 | #Constraints: 35685
3321.62/3333.11 c #Conflicts: 1521000 | #Constraints: 36685
3321.62/3333.11 c #Conflicts: 1522000 | #Constraints: 37685
3321.62/3333.11 c #Conflicts: 1523000 | #Constraints: 38685
3321.62/3333.11 c #Conflicts: 1524000 | #Constraints: 39685
3321.62/3333.11 c #Conflicts: 1525000 | #Constraints: 40685
3321.62/3333.11 c #Conflicts: 1526000 | #Constraints: 41685
3321.62/3333.11 c #Conflicts: 1527000 | #Constraints: 42685
3321.62/3333.11 c #Conflicts: 1528000 | #Constraints: 43685
3321.62/3333.11 c #Conflicts: 1529000 | #Constraints: 44685
3321.62/3333.11 c #Conflicts: 1530000 | #Constraints: 45685
3321.62/3333.11 c #Conflicts: 1531000 | #Constraints: 46685
3321.62/3333.11 c #Conflicts: 1532000 | #Constraints: 47685
3321.62/3333.11 c #Conflicts: 1533000 | #Constraints: 48685
3321.62/3333.11 c #Conflicts: 1534000 | #Constraints: 49685
3321.62/3333.11 c #Conflicts: 1535000 | #Constraints: 50685
3321.62/3333.11 c #Conflicts: 1536000 | #Constraints: 51685
3321.62/3333.11 c #Conflicts: 1537000 | #Constraints: 52685
3321.62/3333.11 c #Conflicts: 1538000 | #Constraints: 53685
3321.62/3333.11 c #Conflicts: 1539000 | #Constraints: 54685
3321.62/3333.11 c #Conflicts: 1540000 | #Constraints: 55685
3321.62/3333.11 c #Conflicts: 1541000 | #Constraints: 56685
3321.62/3333.11 c INPROCESSING
3321.62/3333.11 c GARBAGE COLLECT
3321.62/3333.11 c #Conflicts: 1542000 | #Constraints: 33085
3321.62/3333.11 c #Conflicts: 1543000 | #Constraints: 34085
3321.62/3333.11 c #Conflicts: 1544000 | #Constraints: 35085
3321.62/3333.11 c #Conflicts: 1545000 | #Constraints: 36085
3321.62/3333.11 c #Conflicts: 1546000 | #Constraints: 37085
3321.62/3333.11 c #Conflicts: 1547000 | #Constraints: 38085
3321.62/3333.11 c #Conflicts: 1548000 | #Constraints: 39085
3321.62/3333.11 c #Conflicts: 1549000 | #Constraints: 40085
3321.62/3333.11 c #Conflicts: 1550000 | #Constraints: 41085
3321.62/3333.11 c #Conflicts: 1551000 | #Constraints: 42085
3321.62/3333.11 c #Conflicts: 1552000 | #Constraints: 43085
3321.62/3333.11 c #Conflicts: 1553000 | #Constraints: 44085
3321.62/3333.11 c #Conflicts: 1554000 | #Constraints: 45085
3321.62/3333.11 c #Conflicts: 1555000 | #Constraints: 46085
3321.62/3333.11 c #Conflicts: 1556000 | #Constraints: 47085
3321.62/3333.11 c #Conflicts: 1557000 | #Constraints: 48085
3321.62/3333.11 c #Conflicts: 1558000 | #Constraints: 49085
3321.62/3333.11 c #Conflicts: 1559000 | #Constraints: 50085
3321.62/3333.11 c #Conflicts: 1560000 | #Constraints: 51085
3321.62/3333.12 c #Conflicts: 1561000 | #Constraints: 52085
3321.62/3333.12 c #Conflicts: 1562000 | #Constraints: 53085
3321.62/3333.12 c #Conflicts: 1563000 | #Constraints: 54085
3321.62/3333.12 c #Conflicts: 1564000 | #Constraints: 55085
3321.62/3333.12 c #Conflicts: 1565000 | #Constraints: 56085
3321.62/3333.12 c #Conflicts: 1566000 | #Constraints: 57085
3321.62/3333.12 c INPROCESSING
3321.62/3333.12 c GARBAGE COLLECT
3321.62/3333.12 c #Conflicts: 1567000 | #Constraints: 33293
3321.62/3333.12 c #Conflicts: 1568000 | #Constraints: 34293
3321.62/3333.12 c #Conflicts: 1569000 | #Constraints: 35293
3321.62/3333.12 c #Conflicts: 1570000 | #Constraints: 36293
3321.62/3333.12 c #Conflicts: 1571000 | #Constraints: 37293
3321.62/3333.12 c #Conflicts: 1572000 | #Constraints: 38293
3321.62/3333.12 c #Conflicts: 1573000 | #Constraints: 39293
3321.62/3333.12 c #Conflicts: 1574000 | #Constraints: 40293
3321.62/3333.12 c #Conflicts: 1575000 | #Constraints: 41293
3321.62/3333.12 c #Conflicts: 1576000 | #Constraints: 42293
3321.62/3333.12 c #Conflicts: 1577000 | #Constraints: 43293
3321.62/3333.12 c #Conflicts: 1578000 | #Constraints: 44293
3321.62/3333.12 c #Conflicts: 1579000 | #Constraints: 45293
3482.88/3494.98 c #Conflicts: 1580000 | #Constraints: 46293
3482.88/3494.98 c #Conflicts: 1581000 | #Constraints: 47293
3482.88/3494.98 c #Conflicts: 1582000 | #Constraints: 48293
3482.88/3494.98 c #Conflicts: 1583000 | #Constraints: 49293
3482.88/3494.98 c #Conflicts: 1584000 | #Constraints: 50293
3482.88/3494.98 c #Conflicts: 1585000 | #Constraints: 51293
3482.88/3494.98 c #Conflicts: 1586000 | #Constraints: 52293
3482.88/3494.98 c #Conflicts: 1587000 | #Constraints: 53293
3482.88/3494.98 c #Conflicts: 1588000 | #Constraints: 54293
3482.88/3494.98 c #Conflicts: 1589000 | #Constraints: 55293
3482.88/3494.98 c #Conflicts: 1590000 | #Constraints: 56293
3482.88/3494.98 c #Conflicts: 1591000 | #Constraints: 57293
3482.88/3494.98 c INPROCESSING
3482.88/3494.98 c GARBAGE COLLECT
3482.88/3494.98 c #Conflicts: 1592000 | #Constraints: 33298
3482.88/3494.98 c #Conflicts: 1593000 | #Constraints: 34298
3482.88/3494.98 c #Conflicts: 1594000 | #Constraints: 35298
3482.88/3494.98 c #Conflicts: 1595000 | #Constraints: 36298
3482.88/3494.98 c #Conflicts: 1596000 | #Constraints: 37298
3482.88/3494.98 c #Conflicts: 1597000 | #Constraints: 38298
3482.88/3494.98 c #Conflicts: 1598000 | #Constraints: 39298
3482.88/3494.98 c #Conflicts: 1599000 | #Constraints: 40298
3482.88/3494.98 c #Conflicts: 1600000 | #Constraints: 41298
3482.88/3494.98 c #Conflicts: 1601000 | #Constraints: 42298
3482.88/3494.98 c #Conflicts: 1602000 | #Constraints: 43298
3482.88/3494.98 c #Conflicts: 1603000 | #Constraints: 44298
3482.88/3494.98 c #Conflicts: 1604000 | #Constraints: 45298
3482.88/3494.98 c #Conflicts: 1605000 | #Constraints: 46298
3482.88/3494.98 c #Conflicts: 1606000 | #Constraints: 47298
3482.88/3494.98 c #Conflicts: 1607000 | #Constraints: 48298
3482.88/3494.98 c #Conflicts: 1608000 | #Constraints: 49298
3482.88/3494.98 c #Conflicts: 1609000 | #Constraints: 50298
3482.88/3494.98 c #Conflicts: 1610000 | #Constraints: 51298
3482.88/3494.98 c #Conflicts: 1611000 | #Constraints: 52298
3482.88/3494.98 c #Conflicts: 1612000 | #Constraints: 53298
3482.88/3494.98 c #Conflicts: 1613000 | #Constraints: 54298
3482.88/3494.98 c #Conflicts: 1614000 | #Constraints: 55298
3482.88/3494.98 c #Conflicts: 1615000 | #Constraints: 56298
3482.88/3494.98 c #Conflicts: 1616000 | #Constraints: 57298
3482.88/3494.98 c INPROCESSING
3482.88/3494.98 c GARBAGE COLLECT
3482.88/3494.98 c #Conflicts: 1617000 | #Constraints: 33098
3482.88/3494.98 c #Conflicts: 1618000 | #Constraints: 34098
3482.88/3494.98 c #Conflicts: 1619000 | #Constraints: 35098
3482.88/3494.98 c #Conflicts: 1620000 | #Constraints: 36098
3482.88/3494.98 c #Conflicts: 1621000 | #Constraints: 37098
3482.88/3494.98 c #Conflicts: 1622000 | #Constraints: 38098
3482.88/3494.98 c #Conflicts: 1623000 | #Constraints: 39098
3482.88/3494.98 c #Conflicts: 1624000 | #Constraints: 40098
3482.88/3494.98 c #Conflicts: 1625000 | #Constraints: 41098
3482.88/3494.98 c #Conflicts: 1626000 | #Constraints: 42098
3482.88/3494.98 c #Conflicts: 1627000 | #Constraints: 43098
3482.88/3494.98 c #Conflicts: 1628000 | #Constraints: 44098
3482.88/3494.98 c #Conflicts: 1629000 | #Constraints: 45098
3482.88/3494.98 c #Conflicts: 1630000 | #Constraints: 46098
3482.88/3494.98 c #Conflicts: 1631000 | #Constraints: 47098
3482.88/3494.98 c #Conflicts: 1632000 | #Constraints: 48098
3482.88/3494.98 c #Conflicts: 1633000 | #Constraints: 49098
3482.88/3494.98 c #Conflicts: 1634000 | #Constraints: 50098
3482.88/3494.98 c #Conflicts: 1635000 | #Constraints: 51098
3482.88/3494.98 c #Conflicts: 1636000 | #Constraints: 52098
3482.88/3494.98 c #Conflicts: 1637000 | #Constraints: 53098
3482.88/3494.98 c #Conflicts: 1638000 | #Constraints: 54098
3482.88/3494.98 c #Conflicts: 1639000 | #Constraints: 55098
3482.88/3494.98 c #Conflicts: 1640000 | #Constraints: 56098
3482.88/3494.98 c #Conflicts: 1641000 | #Constraints: 57098
3482.88/3494.98 c #Conflicts: 1642000 | #Constraints: 58098
3482.88/3494.98 c INPROCESSING
3482.88/3494.98 c GARBAGE COLLECT
3482.88/3494.98 c #Conflicts: 1643000 | #Constraints: 33687
3482.88/3494.98 c #Conflicts: 1644000 | #Constraints: 34687
3482.88/3494.98 c #Conflicts: 1645000 | #Constraints: 35687
3482.88/3494.98 c #Conflicts: 1646000 | #Constraints: 36687
3482.88/3494.98 c #Conflicts: 1647000 | #Constraints: 37687
3482.88/3494.98 c #Conflicts: 1648000 | #Constraints: 38687
3482.88/3494.98 c #Conflicts: 1649000 | #Constraints: 39687
3482.88/3494.98 c #Conflicts: 1650000 | #Constraints: 40687
3482.88/3494.98 c #Conflicts: 1651000 | #Constraints: 41687
3482.88/3494.98 c #Conflicts: 1652000 | #Constraints: 42687
3482.88/3494.98 c #Conflicts: 1653000 | #Constraints: 43687
3482.88/3494.98 c #Conflicts: 1654000 | #Constraints: 44687
3482.88/3494.98 c #Conflicts: 1655000 | #Constraints: 45687
3482.88/3494.98 c #Conflicts: 1656000 | #Constraints: 46687
3600.00/3612.40 c #Conflicts: 1657000 | #Constraints: 47687
3600.00/3612.40 c #Conflicts: 1658000 | #Constraints: 48687
3600.00/3612.40 c #Conflicts: 1659000 | #Constraints: 49687
3600.00/3612.40 c #Conflicts: 1660000 | #Constraints: 50687
3600.00/3612.40 c #Conflicts: 1661000 | #Constraints: 51687
3600.00/3612.40 c #Conflicts: 1662000 | #Constraints: 52687
3600.00/3612.40 c #Conflicts: 1663000 | #Constraints: 53687
3600.00/3612.40 c #Conflicts: 1664000 | #Constraints: 54687
3600.00/3612.40 c #Conflicts: 1665000 | #Constraints: 55687
3600.00/3612.40 c #Conflicts: 1666000 | #Constraints: 56687
3600.00/3612.40 c #Conflicts: 1667000 | #Constraints: 57687
3600.00/3612.40 c #Conflicts: 1668000 | #Constraints: 58687
3600.00/3612.40 c INPROCESSING
3600.00/3612.40 c GARBAGE COLLECT
3600.00/3612.40 c #Conflicts: 1669000 | #Constraints: 34088
3600.00/3612.40 c #Conflicts: 1670000 | #Constraints: 35088
3600.00/3612.40 c #Conflicts: 1671000 | #Constraints: 36088
3600.00/3612.40 c #Conflicts: 1672000 | #Constraints: 37088
3600.00/3612.40 c #Conflicts: 1673000 | #Constraints: 38088
3600.00/3612.40 c #Conflicts: 1674000 | #Constraints: 39088
3600.00/3612.40 c #Conflicts: 1675000 | #Constraints: 40088
3600.00/3612.40 c #Conflicts: 1676000 | #Constraints: 41088
3600.00/3612.40 c #Conflicts: 1677000 | #Constraints: 42088
3600.00/3612.40 c #Conflicts: 1678000 | #Constraints: 43088
3600.00/3612.40 c #Conflicts: 1679000 | #Constraints: 44088
3600.00/3612.40 c #Conflicts: 1680000 | #Constraints: 45088
3600.00/3612.40 c #Conflicts: 1681000 | #Constraints: 46088
3600.00/3612.40 c #Conflicts: 1682000 | #Constraints: 47088
3600.00/3612.40 c #Conflicts: 1683000 | #Constraints: 48088
3600.00/3612.40 c #Conflicts: 1684000 | #Constraints: 49088
3600.00/3612.40 c #Conflicts: 1685000 | #Constraints: 50088
3600.00/3612.40 c #Conflicts: 1686000 | #Constraints: 51088
3600.00/3612.40 c #Conflicts: 1687000 | #Constraints: 52088
3600.00/3612.40 c #Conflicts: 1688000 | #Constraints: 53088
3600.00/3612.40 c #Conflicts: 1689000 | #Constraints: 54088
3600.00/3612.40 c #Conflicts: 1690000 | #Constraints: 55088
3600.00/3612.40 c #Conflicts: 1691000 | #Constraints: 56088
3600.00/3612.40 c #Conflicts: 1692000 | #Constraints: 57088
3600.00/3612.40 c #Conflicts: 1693000 | #Constraints: 58088
3600.00/3612.40 c #Conflicts: 1694000 | #Constraints: 59088
3600.00/3612.40 c INPROCESSING
3600.00/3612.40 c GARBAGE COLLECT
3600.00/3612.40 c #Conflicts: 1695000 | #Constraints: 34296
3600.00/3612.40 c #Conflicts: 1696000 | #Constraints: 35296
3600.00/3612.40 c #Conflicts: 1697000 | #Constraints: 36296
3600.00/3612.40 c #Conflicts: 1698000 | #Constraints: 37296
3600.00/3612.40 c #Conflicts: 1699000 | #Constraints: 38296
3600.00/3612.40 c #Conflicts: 1700000 | #Constraints: 39296
3600.00/3612.40 c #Conflicts: 1701000 | #Constraints: 40296
3600.00/3612.40 c #Conflicts: 1702000 | #Constraints: 41296
3600.00/3612.40 c #Conflicts: 1703000 | #Constraints: 42296
3600.00/3612.40 c #Conflicts: 1704000 | #Constraints: 43296
3600.00/3612.40 c #Conflicts: 1705000 | #Constraints: 44296
3600.00/3612.40 c #Conflicts: 1706000 | #Constraints: 45296
3600.00/3612.40 c #Conflicts: 1707000 | #Constraints: 46296
3600.00/3612.40 c #Conflicts: 1708000 | #Constraints: 47296
3600.00/3612.40 c #Conflicts: 1709000 | #Constraints: 48296
3600.00/3612.40 c Program interrupted by user.
3600.00/3612.40 c cpu time 3590.67 s
3600.00/3612.40 c deterministic time 103652799144 1.04e+11
3600.00/3612.40 c optimization time 32.4175 s
3600.00/3612.40 c total solve time 3558.24 s
3600.00/3612.40 c core-guided solve time 3558.24 s
3600.00/3612.40 c propagation time 1150.8 s
3600.00/3612.40 c conflict analysis time 2333.52 s
3600.00/3612.40 c propagations 685971966
3600.00/3612.40 c resolve steps 51458380
3600.00/3612.40 c decisions 3910676
3600.00/3612.40 c conflicts 1709425
3600.00/3612.40 c restarts 3287
3600.00/3612.40 c inprocessing phases 121
3600.00/3612.40 c input clauses 3725
3600.00/3612.40 c input cardinalities 50
3600.00/3612.40 c input general constraints 3711
3600.00/3612.40 c input average constraint length 20.66
3600.00/3612.40 c input average constraint degree 235.26
3600.00/3612.40 c learned clauses 1663161
3600.00/3612.40 c learned cardinalities 13
3600.00/3612.40 c learned general constraints 46250
3600.00/3612.40 c learned average constraint length 300.12
3600.00/3612.40 c learned average constraint degree 572.75
3600.00/3612.40 c watched constraints 19676
3600.00/3612.40 c counting constraints 30285
3600.00/3612.40 c gcd simplifications 679823
3600.00/3612.40 c detected cardinalities 0
3600.00/3612.40 c weakened non-implied lits 4230808113
3600.00/3612.40 c weakened non-implying lits 7644394
3600.00/3612.40 c original variables 3825
3600.00/3612.40 c clausal propagations 58690557
3600.00/3612.40 c cardinality propagations 1746474
3600.00/3612.40 c watched propagations 87274
3600.00/3612.40 c counting propagations 623620756
3600.00/3612.40 c watch lookups 32108151033
3600.00/3612.40 c watch backjump lookups 31866417047
3600.00/3612.40 c watch checks 1766779620
3600.00/3612.40 c propagation checks 25117957596
3600.00/3612.40 c constraint additions 11412022287
3600.00/3612.40 c trail pops 691588918
3600.00/3612.40 c formula constraints 7450
3600.00/3612.40 c learned constraints 1709424
3600.00/3612.40 c bound constraints 36
3600.00/3612.40 c core-guided constraints 0
3600.00/3612.40 c encountered formula constraints 45390248
3600.00/3612.40 c encountered learned constraints 6831876
3600.00/3612.40 c encountered bound constraints 945681
3600.00/3612.40 c encountered core-guided constraints 0
3600.00/3612.40 c LP total time 0 s
3600.00/3612.40 c LP solve time 0 s
3600.00/3612.40 c LP constraints added 0
3600.00/3612.40 c LP constraints removed 0
3600.00/3612.40 c LP pivots internal 0
3600.00/3612.40 c LP pivots root 0
3600.00/3612.40 c LP calls 0
3600.00/3612.40 c LP optimalities 0
3600.00/3612.40 c LP no pivot count 0
3600.00/3612.40 c LP infeasibilities 0
3600.00/3612.40 c LP valid Farkas constraints 0
3600.00/3612.40 c LP learned Farkas constraints 0
3600.00/3612.40 c LP basis resets 0
3600.00/3612.40 c LP cycling count 0
3600.00/3612.40 c LP singular count 0
3600.00/3612.40 c LP no primal count 0
3600.00/3612.40 c LP no farkas count 0
3600.00/3612.40 c LP other issue count 0
3600.00/3612.40 c LP Gomory cuts 0
3600.00/3612.40 c LP learned cuts 0
3600.00/3612.40 c LP deleted cuts 0
3600.00/3612.40 c LP encountered Gomory constraints 0
3600.00/3612.40 c LP encountered Farkas constraints 0
3600.00/3612.40 c LP encountered learned Farkas constraints 0
3600.00/3612.40 c CG auxiliary variables introduced 0
3600.00/3612.40 c CG solutions found 32
3600.00/3612.40 c CG cores constructed 4
3600.00/3612.40 c CG core cardinality constraints returned 0
3600.00/3612.40 c CG unit cores 0
3600.00/3612.40 c CG single cores 4
3600.00/3612.40 c CG blocks removed during cardinality reduction 0
3600.00/3612.40 c CG first core best 0
3600.00/3612.40 c CG decision core best 0
3600.00/3612.40 c CG core reduction tie 0
3600.00/3612.40 c CG core degree average 1.00
3600.00/3612.40 c CG core slack average 499.50
3600.00/3612.40 c CG exhausted 0
3600.00/3612.40 c CG exhaust time 0 s
3600.00/3612.40 c CG trimmed 2
3600.00/3612.40 c CG trim time 0.011554 s
3600.00/3612.40 c CG minimized 0
3600.00/3612.40 c CG minimize time 0 s
3600.00/3612.40 c CG am1 prop time 0.002285 s
3600.00/3612.40 c CG # am1s reformulated 0
3600.00/3612.40 c CG lower bound derived from am1s 0
3600.00/3612.40 c CG # clausal cores 4
3600.00/3612.40 c CG # cardinality cores 0
3600.00/3612.40 c CG # pb cores 0
3600.00/3612.40 c CG # pb reforms 0
3600.00/3612.40 c CG # cores discarded because of pb reform 0
3600.00/3612.40 d LOWERBOUND 64
3600.00/3612.40 d NCORES 4
3600.00/3612.40 d NPBCORES 0
3600.00/3612.40 d NPBREFORM 0
3600.00/3612.40 d NTRIMMED 2
3600.00/3612.40 d NEXHAUSTED 0
3600.00/3612.40 d NAM1S 0
3600.00/3612.40 d AM1LB 0
3600.00/3612.40 o 2312
3600.00/3612.40 s SATISFIABLE
3600.00/3612.40 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: 63931 MiB (61200 MiB free)
memory of node 1: 64510 MiB (61480 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454595-1721478182/watcher-4454595-1721478182 -o /tmp/evaluation-result-4454595-1721478182/solver-4454595-1721478182 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721470968-1064619 --watchdog 3760 pb-oll-rs HOME/instance-4454595-1721478182.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Current StackSize limit: 8192 KiB
solver pid=1068796, runsolver pid=1068793
[startup+0.100084 s]*
/proc/loadavg: 4.13 4.12 4.09 5/258 1068797
/proc/meminfo: memFree=125617016/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=42132 memory=10684 CPUtime=0.09 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 1542 0 0 0 7 2 0 0 20 0 1 0 199977344 43143168 2671 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 10533 2671 1386 291 0 2067 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42132 KiB
Current children cumulated memory: 10684 KiB
[startup+0.204987 s]*
/proc/loadavg: 4.13 4.12 4.09 5/258 1068797
/proc/meminfo: memFree=125614380/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=42284 memory=12732 CPUtime=0.2 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 1591 0 0 0 17 3 0 0 20 0 1 0 199977344 43298816 3183 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 10571 3183 1386 291 0 2105 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42284 KiB
Current children cumulated memory: 12732 KiB
[startup+0.304635 s]*
/proc/loadavg: 4.13 4.12 4.09 5/258 1068797
/proc/meminfo: memFree=125613652/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=42284 memory=12732 CPUtime=0.3 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 1591 0 0 0 27 3 0 0 20 0 1 0 199977344 43298816 3183 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 10571 3183 1386 291 0 2105 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42284 KiB
Current children cumulated memory: 12732 KiB
[startup+0.700146 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 1068797
/proc/meminfo: memFree=125613512/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=42284 memory=12732 CPUtime=0.69 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 1597 0 0 0 66 3 0 0 20 0 1 0 199977344 43298816 3183 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 10571 3183 1386 291 0 2105 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42284 KiB
Current children cumulated memory: 12732 KiB
[startup+1.50014 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 1068797
/proc/meminfo: memFree=125613148/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=42284 memory=12732 CPUtime=1.48 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 1597 0 0 0 145 3 0 0 20 0 1 0 199977344 43298816 3183 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 10571 3183 1386 291 0 2105 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42284 KiB
Current children cumulated memory: 12732 KiB
[startup+3.10488 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 1068797
/proc/meminfo: memFree=125605880/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=42416 memory=12992 CPUtime=3.08 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 1657 0 0 0 304 4 0 0 20 0 1 0 199977344 43433984 3248 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 10604 3248 1386 291 0 2138 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 42416 KiB
Current children cumulated memory: 12992 KiB
[startup+6.30014 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 1068797
/proc/meminfo: memFree=125573540/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=42556 memory=13776 CPUtime=6.27 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 1830 0 0 0 622 5 0 0 20 0 1 0 199977344 43577344 3444 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 10639 3444 1386 291 0 2173 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 42556 KiB
Current children cumulated memory: 13776 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 4.12 4.09 6/258 1068798
/proc/meminfo: memFree=125545900/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=45708 memory=16604 CPUtime=12.66 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 1989 0 0 0 1257 9 0 0 20 0 1 0 199977344 46804992 4151 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 11427 4151 1450 291 0 2961 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 45708 KiB
Current children cumulated memory: 16604 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 1068800
/proc/meminfo: memFree=125523092/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=50752 memory=20632 CPUtime=25.42 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 2469 0 0 0 2529 13 0 0 20 0 1 0 199977344 51970048 5158 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 12688 5158 1450 291 0 4222 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 50752 KiB
Current children cumulated memory: 20632 KiB
[startup+51.1056 s]
/proc/loadavg: 4.24 4.15 4.10 5/258 1068804
/proc/meminfo: memFree=125400864/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=63776 memory=30588 CPUtime=50.95 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 4448 0 0 0 5072 23 0 0 20 0 1 0 199977344 65306624 7647 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 15944 7647 1450 291 0 7478 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 63776 KiB
Current children cumulated memory: 30588 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/257 1068816
/proc/meminfo: memFree=125337252/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=64736 memory=35720 CPUtime=101.98 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 4700 0 0 0 10159 39 0 0 20 0 1 0 199977344 66289664 8930 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 16184 8930 1450 291 0 7718 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 64736 KiB
Current children cumulated memory: 35720 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/258 1069211
/proc/meminfo: memFree=125271796/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=77752 memory=40888 CPUtime=161.78 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 5533 0 0 0 16118 60 0 0 20 0 1 0 199977344 79618048 10222 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 19438 10222 1450 291 0 10972 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 77752 KiB
Current children cumulated memory: 40888 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/258 1069221
/proc/meminfo: memFree=125224412/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=83760 memory=51000 CPUtime=221.57 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 7313 0 0 0 22080 77 0 0 20 0 1 0 199977344 85770240 12750 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 20940 12750 1450 291 0 12474 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 83760 KiB
Current children cumulated memory: 51000 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 1069232
/proc/meminfo: memFree=125138588/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=84032 memory=53324 CPUtime=281.34 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 7668 0 0 0 28038 96 0 0 20 0 1 0 199977344 86048768 13331 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 21008 13331 1450 291 0 12542 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 84032 KiB
Current children cumulated memory: 53324 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/259 1069412
/proc/meminfo: memFree=125094888/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=103448 memory=59960 CPUtime=341.11 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 8605 0 0 0 33993 118 0 0 20 0 1 0 199977344 105930752 14990 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 25862 14990 1450 291 0 17396 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 103448 KiB
Current children cumulated memory: 59960 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/259 1069423
/proc/meminfo: memFree=125053220/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=104836 memory=65448 CPUtime=400.9 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 9195 0 0 0 39958 132 0 0 20 0 1 0 199977344 107352064 16362 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 26209 16362 1450 291 0 17743 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 104836 KiB
Current children cumulated memory: 65448 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/258 1069491
/proc/meminfo: memFree=125022144/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=106164 memory=66600 CPUtime=460.7 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 9699 0 0 0 45924 146 0 0 20 0 1 0 199977344 108711936 16650 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 26541 16650 1450 291 0 18075 0
################
# More data... #
################
Current children cumulated memory: 161352 KiB
[startup+2862.3 s]
/proc/loadavg: 4.27 4.19 4.12 5/257 1070513
/proc/meminfo: memFree=123894820/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=237024 memory=161452 CPUtime=2852.39 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 31191 0 0 0 284472 767 0 0 20 0 1 0 199977344 242712576 40363 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 59256 40363 1450 291 0 50790 0
Current children cumulated CPU time: 2852.39 s
Current children cumulated vsize: 237024 KiB
Current children cumulated memory: 161452 KiB
[startup+2922.3 s]
/proc/loadavg: 4.36 4.25 4.15 5/257 1070523
/proc/meminfo: memFree=123890892/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=237092 memory=161520 CPUtime=2912.19 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 31380 0 0 0 290436 783 0 0 20 0 1 0 199977344 242782208 40380 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 59273 40380 1450 291 0 50807 0
Current children cumulated CPU time: 2912.19 s
Current children cumulated vsize: 237092 KiB
Current children cumulated memory: 161520 KiB
[startup+2982.3 s]
/proc/loadavg: 4.19 4.21 4.14 5/257 1070533
/proc/meminfo: memFree=123888728/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=237092 memory=161520 CPUtime=2971.99 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 31555 0 0 0 296402 797 0 0 20 0 1 0 199977344 242782208 40380 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 59273 40380 1450 291 0 50807 0
Current children cumulated CPU time: 2971.99 s
Current children cumulated vsize: 237092 KiB
Current children cumulated memory: 161520 KiB
[startup+3042.3 s]
/proc/loadavg: 4.53 4.30 4.18 5/257 1070544
/proc/meminfo: memFree=123879564/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=237288 memory=166412 CPUtime=3031.78 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 31898 0 0 0 302365 813 0 0 20 0 1 0 199977344 242982912 41603 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 59322 41603 1450 291 0 50856 0
Current children cumulated CPU time: 3031.78 s
Current children cumulated vsize: 237288 KiB
Current children cumulated memory: 166412 KiB
[startup+3102.3 s]
/proc/loadavg: 4.40 4.32 4.19 5/257 1070557
/proc/meminfo: memFree=123874464/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=237324 memory=166448 CPUtime=3091.58 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 32092 0 0 0 308335 823 0 0 20 0 1 0 199977344 243019776 41612 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 59331 41612 1450 291 0 50865 0
Current children cumulated CPU time: 3091.58 s
Current children cumulated vsize: 237324 KiB
Current children cumulated memory: 166448 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.27 4.18 5/255 1070567
/proc/meminfo: memFree=123873440/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=237328 memory=166452 CPUtime=3151.38 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 32277 0 0 0 314301 837 0 0 20 0 1 0 199977344 243023872 41613 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 59332 41613 1450 291 0 50866 0
Current children cumulated CPU time: 3151.38 s
Current children cumulated vsize: 237328 KiB
Current children cumulated memory: 166452 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.25 4.18 5/255 1070577
/proc/meminfo: memFree=123872960/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=237360 memory=166484 CPUtime=3211.19 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 32470 0 0 0 320267 852 0 0 20 0 1 0 199977344 243056640 41621 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 59340 41621 1450 291 0 50874 0
Current children cumulated CPU time: 3211.19 s
Current children cumulated vsize: 237360 KiB
Current children cumulated memory: 166484 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.22 4.17 5/255 1070589
/proc/meminfo: memFree=123869296/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=237364 memory=166488 CPUtime=3270.98 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 32657 0 0 0 326234 864 0 0 20 0 1 0 199977344 243060736 41622 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 59341 41622 1450 291 0 50875 0
Current children cumulated CPU time: 3270.98 s
Current children cumulated vsize: 237364 KiB
Current children cumulated memory: 166488 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.19 4.17 5/255 1070600
/proc/meminfo: memFree=123868068/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=237428 memory=166552 CPUtime=3330.79 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 32858 0 0 0 332203 876 0 0 20 0 1 0 199977344 243126272 41638 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 59357 41638 1450 291 0 50891 0
Current children cumulated CPU time: 3330.79 s
Current children cumulated vsize: 237428 KiB
Current children cumulated memory: 166552 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.19 4.17 5/255 1070611
/proc/meminfo: memFree=123866404/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=238084 memory=167008 CPUtime=3390.59 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 33400 0 0 0 338169 890 0 0 20 0 1 0 199977344 243798016 41752 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 59521 41752 1450 291 0 51055 0
Current children cumulated CPU time: 3390.59 s
Current children cumulated vsize: 238084 KiB
Current children cumulated memory: 167008 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.16 4.16 5/257 1070627
/proc/meminfo: memFree=123862832/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=238460 memory=167516 CPUtime=3450.39 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 33727 0 0 0 344139 900 0 0 20 0 1 0 199977344 244183040 41879 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 59615 41879 1450 291 0 51149 0
Current children cumulated CPU time: 3450.39 s
Current children cumulated vsize: 238460 KiB
Current children cumulated memory: 167516 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.16 4.16 5/257 1070637
/proc/meminfo: memFree=123860008/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=238536 memory=169656 CPUtime=3510.19 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 34161 0 0 0 350105 914 0 0 20 0 1 0 199977344 244260864 42414 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 59634 42414 1450 291 0 51168 0
Current children cumulated CPU time: 3510.19 s
Current children cumulated vsize: 238536 KiB
Current children cumulated memory: 169656 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.15 4.16 5/257 1070648
/proc/meminfo: memFree=123856648/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=239044 memory=172168 CPUtime=3570 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 34465 0 0 0 356073 927 0 0 20 0 1 0 199977344 244781056 43042 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 59761 43042 1450 291 0 51295 0
Current children cumulated CPU time: 3570 s
Current children cumulated vsize: 239044 KiB
Current children cumulated memory: 172168 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 3.99 4.12 4.14 2/236 1070745
/proc/meminfo: memFree=125595468/131524600 swapFree=130799640/131071996
[pid=1068796] ppid=1068793 vsize=239044 memory=172168 CPUtime=3600 cores=0,2
/proc/1068796/stat : 1068796 (pb-oll-rs) R 1068793 1068796 1064609 0 -1 4194304 34535 0 0 0 359066 934 0 0 20 0 1 0 199977344 244781056 43042 134679101440 4194304 5384485 140736371757104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 19390464 140736371766293 140736371766370 140736371766370 140736371773387 0
/proc/1068796/statm: 59761 43042 1450 291 0 51295 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 239044 KiB
Current children cumulated memory: 172168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.4 s]
# the end of solver process 1068796 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.67 s, system=9.34505 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.4
CPU time (s): 3600.01
CPU user time (s): 3590.67
CPU system time (s): 9.34505
CPU usage (%): 99.657
Max. virtual memory (cumulated for all children) (KiB): 239612
Max. memory (cumulated for all children) (KiB): 172444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.67
system time used= 9.34505
maximum resident set size= 172444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34658
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= 25206
# summary of solver processes directly reported to runsolver:
# pid: 1068796
# total CPU time (s): 3600.01
# total CPU user time (s): 3590.67
# total CPU system time (s): 9.34505
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.45686 second user time and 16.8357 second system time
The end
Begin job on nodeC014 at 2024-07-20 14:23:14
IDJOB=4454595
IDBENCH=158576
IDSOLVER=3082
FILE ID=nodeC014/4454595-1721478182
RUNJOBID= nodeC014-1721470968-1064619
SLURM_JOB_ID= 7545736
Free space on /tmp= 890032 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
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-4454595-1721478182/watcher-4454595-1721478182 -o /tmp/evaluation-result-4454595-1721478182/solver-4454595-1721478182 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721470968-1064619 --watchdog 3760 pb-oll-rs HOME/instance-4454595-1721478182.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 11852bf7a05815ba1c78428ce5d4534c
RANDOM SEED=1225720426
nodeC014.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 : 3661.713
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.32
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 : 3671.786
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.96
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 : 3645.200
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.103
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.96
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 : 3675.309
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.32
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 : 3671.806
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.96
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 : 3639.193
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.668
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.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125625012 kB
MemAvailable: 129808760 kB
Buffers: 521804 kB
Cached: 4456424 kB
SwapCached: 12796 kB
Active: 1554232 kB
Inactive: 3716288 kB
Active(anon): 9196 kB
Inactive(anon): 312232 kB
Active(file): 1545036 kB
Inactive(file): 3404056 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130799640 kB
Dirty: 4876 kB
Writeback: 0 kB
AnonPages: 282700 kB
Mapped: 55660 kB
Shmem: 29732 kB
KReclaimable: 148608 kB
Slab: 251800 kB
SReclaimable: 148608 kB
SUnreclaim: 103192 kB
KernelStack: 4272 kB
PageTables: 10144 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 997556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 37344 kB
HardwareCorrupted: 0 kB
AnonHugePages: 116736 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: 303828 kB
DirectMap2M: 38266880 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 890036 MiB
End job on nodeC014 at 2024-07-20 15:23:27