0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.08/0.19 c [STEP] preprocessing with Papilo
0.39/0.45 c Papilo could not simplify the problem
0.39/0.45 c [STEP] solving with SCIP
299.58/300.64 c [STEP] preprocessing done, loading into solver
299.78/300.81 c [STEP] solving
299.78/300.81 c #variables 1273 #constraints 94127
299.78/300.81 c SMALL=int, LARGE=long long
299.78/300.81 d SCIPUB -44
299.78/300.81 c bounds - >= -1272 @ 299.39
299.78/300.81 c stratification level: 0
332.39/333.53 c bounds - >= -240 @ 299.442
332.39/333.53 c bounds - >= -239 @ 299.442
332.39/333.53 c bounds - >= -238 @ 299.443
332.39/333.53 c bounds - >= -237 @ 299.443
332.39/333.53 c bounds - >= -236 @ 299.444
332.39/333.53 c bounds - >= -235 @ 299.444
332.39/333.53 c bounds - >= -234 @ 299.445
332.39/333.53 c bounds - >= -233 @ 299.445
332.39/333.53 c bounds - >= -232 @ 299.446
332.39/333.53 c bounds - >= -231 @ 299.446
332.39/333.53 c bounds - >= -230 @ 299.447
332.39/333.53 c bounds - >= -229 @ 299.447
332.39/333.53 c bounds - >= -228 @ 299.448
332.39/333.53 c bounds - >= -227 @ 299.448
332.39/333.53 c bounds - >= -226 @ 299.448
332.39/333.53 c bounds - >= -225 @ 299.448
332.39/333.53 c bounds - >= -224 @ 299.449
332.39/333.53 c bounds - >= -223 @ 299.45
332.39/333.53 c bounds - >= -222 @ 299.451
332.39/333.53 c bounds - >= -221 @ 299.451
332.39/333.53 c bounds - >= -220 @ 299.451
332.39/333.53 c bounds - >= -219 @ 299.452
332.39/333.53 c bounds - >= -218 @ 299.453
332.39/333.53 c bounds - >= -217 @ 299.454
332.39/333.53 c bounds - >= -216 @ 299.455
332.39/333.53 c bounds - >= -215 @ 299.456
332.39/333.53 c bounds - >= -214 @ 299.463
332.39/333.53 c #Conflicts: 1000 | #Constraints: 95394
332.39/333.53 c #Conflicts: 2000 | #Constraints: 96394
332.39/333.53 c INPROCESSING
332.39/333.53 c GARBAGE COLLECT
332.39/333.53 c #Conflicts: 3000 | #Constraints: 96368
332.39/333.53 c #Conflicts: 4000 | #Constraints: 97368
332.39/333.53 c INPROCESSING
332.39/333.53 c GARBAGE COLLECT
332.39/333.53 c #Conflicts: 5000 | #Constraints: 96775
332.39/333.53 c #Conflicts: 6000 | #Constraints: 97775
332.39/333.53 c INPROCESSING
332.39/333.53 c GARBAGE COLLECT
332.39/333.53 c #Conflicts: 7000 | #Constraints: 96776
332.39/333.53 c #Conflicts: 8000 | #Constraints: 97776
332.39/333.53 c #Conflicts: 9000 | #Constraints: 98776
332.39/333.53 c INPROCESSING
332.39/333.53 c GARBAGE COLLECT
332.39/333.53 c #Conflicts: 10000 | #Constraints: 97478
332.39/333.53 c #Conflicts: 11000 | #Constraints: 98478
332.39/333.53 c #Conflicts: 12000 | #Constraints: 99478
332.39/333.53 c INPROCESSING
332.39/333.53 c GARBAGE COLLECT
332.39/333.53 c #Conflicts: 13000 | #Constraints: 97925
332.39/333.53 c #Conflicts: 14000 | #Constraints: 98925
332.39/333.53 c #Conflicts: 15000 | #Constraints: 99925
332.39/333.53 c INPROCESSING
332.39/333.53 c GARBAGE COLLECT
332.39/333.53 c #Conflicts: 16000 | #Constraints: 98155
332.39/333.53 c #Conflicts: 17000 | #Constraints: 99155
332.39/333.53 c #Conflicts: 18000 | #Constraints: 100155
332.39/333.53 c INPROCESSING
332.39/333.53 c GARBAGE COLLECT
332.39/333.53 c #Conflicts: 19000 | #Constraints: 98163
332.39/333.53 c #Conflicts: 20000 | #Constraints: 99163
332.39/333.53 c #Conflicts: 21000 | #Constraints: 100163
332.39/333.53 c INPROCESSING
332.39/333.53 c GARBAGE COLLECT
332.39/333.53 c #Conflicts: 22000 | #Constraints: 97973
332.39/333.53 c #Conflicts: 23000 | #Constraints: 98973
332.39/333.53 c #Conflicts: 24000 | #Constraints: 99973
332.39/333.53 c #Conflicts: 25000 | #Constraints: 100973
332.39/333.53 c INPROCESSING
332.39/333.53 c GARBAGE COLLECT
332.39/333.53 c #Conflicts: 26000 | #Constraints: 98572
332.39/333.53 c #Conflicts: 27000 | #Constraints: 99572
332.39/333.53 c #Conflicts: 28000 | #Constraints: 100572
332.39/333.53 c #Conflicts: 29000 | #Constraints: 101572
332.39/333.53 c INPROCESSING
332.39/333.53 c GARBAGE COLLECT
332.39/333.53 c #Conflicts: 30000 | #Constraints: 98977
332.39/333.53 c #Conflicts: 31000 | #Constraints: 99977
332.39/333.53 c #Conflicts: 32000 | #Constraints: 100977
332.39/333.53 c #Conflicts: 33000 | #Constraints: 101977
332.39/333.53 c INPROCESSING
332.39/333.53 c GARBAGE COLLECT
332.39/333.53 c #Conflicts: 34000 | #Constraints: 99180
332.39/333.53 c #Conflicts: 35000 | #Constraints: 100180
332.39/333.53 c #Conflicts: 36000 | #Constraints: 101180
332.39/333.53 c #Conflicts: 37000 | #Constraints: 102180
332.39/333.53 c INPROCESSING
332.39/333.53 c GARBAGE COLLECT
332.39/333.53 c #Conflicts: 38000 | #Constraints: 99185
332.39/333.53 c #Conflicts: 39000 | #Constraints: 100185
332.39/333.53 c #Conflicts: 40000 | #Constraints: 101185
332.39/333.53 c #Conflicts: 41000 | #Constraints: 102185
332.39/333.53 c INPROCESSING
332.39/333.53 c GARBAGE COLLECT
332.39/333.53 c #Conflicts: 42000 | #Constraints: 98985
332.39/333.53 c #Conflicts: 43000 | #Constraints: 99985
332.39/333.53 c #Conflicts: 44000 | #Constraints: 100985
332.39/333.53 c #Conflicts: 45000 | #Constraints: 101985
332.39/333.53 c #Conflicts: 46000 | #Constraints: 102985
332.39/333.53 c INPROCESSING
332.39/333.53 c GARBAGE COLLECT
332.39/333.53 c #Conflicts: 47000 | #Constraints: 99584
332.39/333.53 c #Conflicts: 48000 | #Constraints: 100584
332.39/333.53 c #Conflicts: 49000 | #Constraints: 101584
332.39/333.53 c #Conflicts: 50000 | #Constraints: 102584
332.39/333.53 c #Conflicts: 51000 | #Constraints: 103584
332.39/333.53 c INPROCESSING
332.39/333.53 c GARBAGE COLLECT
332.39/333.53 c #Conflicts: 52000 | #Constraints: 99994
332.39/333.53 c #Conflicts: 53000 | #Constraints: 100994
332.39/333.53 c #Conflicts: 54000 | #Constraints: 101994
332.39/333.53 c #Conflicts: 55000 | #Constraints: 102994
403.88/405.25 c #Conflicts: 56000 | #Constraints: 103994
403.88/405.25 c INPROCESSING
403.88/405.25 c GARBAGE COLLECT
403.88/405.25 c #Conflicts: 57000 | #Constraints: 100193
403.88/405.25 c #Conflicts: 58000 | #Constraints: 101193
403.88/405.25 c #Conflicts: 59000 | #Constraints: 102193
403.88/405.25 c #Conflicts: 60000 | #Constraints: 103193
403.88/405.25 c #Conflicts: 61000 | #Constraints: 104193
403.88/405.25 c INPROCESSING
403.88/405.25 c GARBAGE COLLECT
403.88/405.25 c #Conflicts: 62000 | #Constraints: 100195
403.88/405.25 c #Conflicts: 63000 | #Constraints: 101195
403.88/405.25 c #Conflicts: 64000 | #Constraints: 102195
403.88/405.25 c #Conflicts: 65000 | #Constraints: 103195
403.88/405.25 c #Conflicts: 66000 | #Constraints: 104195
403.88/405.25 c INPROCESSING
403.88/405.25 c GARBAGE COLLECT
403.88/405.25 c #Conflicts: 67000 | #Constraints: 99993
403.88/405.25 c #Conflicts: 68000 | #Constraints: 100993
403.88/405.25 c #Conflicts: 69000 | #Constraints: 101993
403.88/405.25 c #Conflicts: 70000 | #Constraints: 102993
403.88/405.25 c #Conflicts: 71000 | #Constraints: 103993
403.88/405.25 c #Conflicts: 72000 | #Constraints: 104993
403.88/405.25 c INPROCESSING
403.88/405.25 c GARBAGE COLLECT
403.88/405.25 c #Conflicts: 73000 | #Constraints: 100589
403.88/405.25 c #Conflicts: 74000 | #Constraints: 101589
403.88/405.25 c #Conflicts: 75000 | #Constraints: 102589
403.88/405.25 c #Conflicts: 76000 | #Constraints: 103589
403.88/405.25 c #Conflicts: 77000 | #Constraints: 104589
403.88/405.25 c #Conflicts: 78000 | #Constraints: 105589
403.88/405.25 c INPROCESSING
403.88/405.25 c GARBAGE COLLECT
403.88/405.25 c #Conflicts: 79000 | #Constraints: 100993
403.88/405.25 c #Conflicts: 80000 | #Constraints: 101993
403.88/405.25 c #Conflicts: 81000 | #Constraints: 102993
403.88/405.25 c #Conflicts: 82000 | #Constraints: 103993
403.88/405.25 c #Conflicts: 83000 | #Constraints: 104993
403.88/405.25 c #Conflicts: 84000 | #Constraints: 105993
403.88/405.25 c INPROCESSING
403.88/405.25 c GARBAGE COLLECT
403.88/405.25 c #Conflicts: 85000 | #Constraints: 101196
403.88/405.25 c #Conflicts: 86000 | #Constraints: 102196
403.88/405.25 c #Conflicts: 87000 | #Constraints: 103196
403.88/405.25 c #Conflicts: 88000 | #Constraints: 104196
403.88/405.25 c #Conflicts: 89000 | #Constraints: 105196
403.88/405.25 c #Conflicts: 90000 | #Constraints: 106196
403.88/405.25 c INPROCESSING
403.88/405.25 c GARBAGE COLLECT
403.88/405.25 c #Conflicts: 91000 | #Constraints: 101200
403.88/405.25 c #Conflicts: 92000 | #Constraints: 102200
403.88/405.25 c #Conflicts: 93000 | #Constraints: 103200
403.88/405.25 c #Conflicts: 94000 | #Constraints: 104200
403.88/405.25 c #Conflicts: 95000 | #Constraints: 105200
403.88/405.25 c #Conflicts: 96000 | #Constraints: 106200
403.88/405.25 c INPROCESSING
403.88/405.25 c GARBAGE COLLECT
403.88/405.25 c #Conflicts: 97000 | #Constraints: 101003
403.88/405.25 c #Conflicts: 98000 | #Constraints: 102003
403.88/405.25 c #Conflicts: 99000 | #Constraints: 103003
403.88/405.25 c #Conflicts: 100000 | #Constraints: 104003
403.88/405.25 c #Conflicts: 101000 | #Constraints: 105003
403.88/405.25 c #Conflicts: 102000 | #Constraints: 106003
403.88/405.25 c #Conflicts: 103000 | #Constraints: 107003
403.88/405.25 c INPROCESSING
403.88/405.25 c GARBAGE COLLECT
403.88/405.25 c #Conflicts: 104000 | #Constraints: 101603
403.88/405.25 c #Conflicts: 105000 | #Constraints: 102603
403.88/405.25 c #Conflicts: 106000 | #Constraints: 103603
403.88/405.25 c #Conflicts: 107000 | #Constraints: 104603
403.88/405.25 c #Conflicts: 108000 | #Constraints: 105603
403.88/405.25 c #Conflicts: 109000 | #Constraints: 106603
403.88/405.25 c #Conflicts: 110000 | #Constraints: 107603
403.88/405.25 c INPROCESSING
403.88/405.25 c GARBAGE COLLECT
403.88/405.25 c #Conflicts: 111000 | #Constraints: 102009
403.88/405.25 c #Conflicts: 112000 | #Constraints: 103009
403.88/405.25 c #Conflicts: 113000 | #Constraints: 104009
403.88/405.25 c #Conflicts: 114000 | #Constraints: 105009
403.88/405.25 c #Conflicts: 115000 | #Constraints: 106009
403.88/405.25 c #Conflicts: 116000 | #Constraints: 107009
403.88/405.25 c #Conflicts: 117000 | #Constraints: 108009
403.88/405.25 c INPROCESSING
403.88/405.25 c GARBAGE COLLECT
403.88/405.25 c #Conflicts: 118000 | #Constraints: 102205
403.88/405.25 c #Conflicts: 119000 | #Constraints: 103205
403.88/405.25 c #Conflicts: 120000 | #Constraints: 104205
403.88/405.25 c #Conflicts: 121000 | #Constraints: 105205
403.88/405.25 c #Conflicts: 122000 | #Constraints: 106205
403.88/405.25 c #Conflicts: 123000 | #Constraints: 107205
403.88/405.25 c #Conflicts: 124000 | #Constraints: 108205
403.88/405.25 c INPROCESSING
403.88/405.25 c GARBAGE COLLECT
403.88/405.25 c #Conflicts: 125000 | #Constraints: 102212
403.88/405.25 c #Conflicts: 126000 | #Constraints: 103212
491.83/493.46 c #Conflicts: 127000 | #Constraints: 104212
491.83/493.46 c #Conflicts: 128000 | #Constraints: 105212
491.83/493.46 c #Conflicts: 129000 | #Constraints: 106212
491.83/493.46 c #Conflicts: 130000 | #Constraints: 107212
491.83/493.46 c #Conflicts: 131000 | #Constraints: 108212
491.83/493.46 c INPROCESSING
491.83/493.46 c GARBAGE COLLECT
491.83/493.46 c #Conflicts: 132000 | #Constraints: 102002
491.83/493.46 c #Conflicts: 133000 | #Constraints: 103002
491.83/493.46 c #Conflicts: 134000 | #Constraints: 104002
491.83/493.46 c #Conflicts: 135000 | #Constraints: 105002
491.83/493.46 c #Conflicts: 136000 | #Constraints: 106002
491.83/493.46 c #Conflicts: 137000 | #Constraints: 107002
491.83/493.46 c #Conflicts: 138000 | #Constraints: 108002
491.83/493.46 c #Conflicts: 139000 | #Constraints: 109002
491.83/493.46 c INPROCESSING
491.83/493.46 c GARBAGE COLLECT
491.83/493.46 c #Conflicts: 140000 | #Constraints: 102608
491.83/493.46 c #Conflicts: 141000 | #Constraints: 103608
491.83/493.46 c #Conflicts: 142000 | #Constraints: 104608
491.83/493.46 c #Conflicts: 143000 | #Constraints: 105608
491.83/493.46 c #Conflicts: 144000 | #Constraints: 106608
491.83/493.46 c #Conflicts: 145000 | #Constraints: 107608
491.83/493.46 c #Conflicts: 146000 | #Constraints: 108608
491.83/493.46 c #Conflicts: 147000 | #Constraints: 109608
491.83/493.46 c INPROCESSING
491.83/493.46 c GARBAGE COLLECT
491.83/493.46 c #Conflicts: 148000 | #Constraints: 103006
491.83/493.46 c #Conflicts: 149000 | #Constraints: 104006
491.83/493.46 c #Conflicts: 150000 | #Constraints: 105006
491.83/493.46 c #Conflicts: 151000 | #Constraints: 106006
491.83/493.46 c #Conflicts: 152000 | #Constraints: 107006
491.83/493.46 c #Conflicts: 153000 | #Constraints: 108006
491.83/493.46 c #Conflicts: 154000 | #Constraints: 109006
491.83/493.46 c #Conflicts: 155000 | #Constraints: 110006
491.83/493.46 c INPROCESSING
491.83/493.46 c GARBAGE COLLECT
491.83/493.46 c #Conflicts: 156000 | #Constraints: 103213
491.83/493.46 c #Conflicts: 157000 | #Constraints: 104213
491.83/493.46 c #Conflicts: 158000 | #Constraints: 105213
491.83/493.46 c #Conflicts: 159000 | #Constraints: 106213
491.83/493.46 c #Conflicts: 160000 | #Constraints: 107213
491.83/493.46 c #Conflicts: 161000 | #Constraints: 108213
491.83/493.46 c #Conflicts: 162000 | #Constraints: 109213
491.83/493.46 c #Conflicts: 163000 | #Constraints: 110213
491.83/493.46 c INPROCESSING
491.83/493.46 c GARBAGE COLLECT
491.83/493.46 c #Conflicts: 164000 | #Constraints: 103207
491.83/493.46 c #Conflicts: 165000 | #Constraints: 104207
491.83/493.46 c #Conflicts: 166000 | #Constraints: 105207
491.83/493.46 c #Conflicts: 167000 | #Constraints: 106207
491.83/493.46 c #Conflicts: 168000 | #Constraints: 107207
491.83/493.46 c #Conflicts: 169000 | #Constraints: 108207
491.83/493.46 c #Conflicts: 170000 | #Constraints: 109207
491.83/493.46 c #Conflicts: 171000 | #Constraints: 110207
491.83/493.46 c INPROCESSING
491.83/493.46 c GARBAGE COLLECT
491.83/493.46 c #Conflicts: 172000 | #Constraints: 103003
491.83/493.46 c #Conflicts: 173000 | #Constraints: 104003
491.83/493.46 c #Conflicts: 174000 | #Constraints: 105003
491.83/493.46 c #Conflicts: 175000 | #Constraints: 106003
491.83/493.46 c #Conflicts: 176000 | #Constraints: 107003
491.83/493.46 c #Conflicts: 177000 | #Constraints: 108003
491.83/493.46 c #Conflicts: 178000 | #Constraints: 109003
491.83/493.46 c #Conflicts: 179000 | #Constraints: 110003
491.83/493.46 c #Conflicts: 180000 | #Constraints: 111003
491.83/493.46 c INPROCESSING
491.83/493.46 c GARBAGE COLLECT
491.83/493.46 c #Conflicts: 181000 | #Constraints: 103591
491.83/493.46 c #Conflicts: 182000 | #Constraints: 104591
491.83/493.46 c #Conflicts: 183000 | #Constraints: 105591
491.83/493.46 c #Conflicts: 184000 | #Constraints: 106591
491.83/493.46 c #Conflicts: 185000 | #Constraints: 107591
491.83/493.46 c #Conflicts: 186000 | #Constraints: 108591
491.83/493.46 c #Conflicts: 187000 | #Constraints: 109591
491.83/493.46 c #Conflicts: 188000 | #Constraints: 110591
491.83/493.46 c #Conflicts: 189000 | #Constraints: 111591
491.83/493.46 c INPROCESSING
491.83/493.46 c GARBAGE COLLECT
491.83/493.46 c #Conflicts: 190000 | #Constraints: 103993
491.83/493.46 c #Conflicts: 191000 | #Constraints: 104993
491.83/493.46 c #Conflicts: 192000 | #Constraints: 105993
491.83/493.46 c #Conflicts: 193000 | #Constraints: 106993
491.83/493.46 c #Conflicts: 194000 | #Constraints: 107993
491.83/493.46 c #Conflicts: 195000 | #Constraints: 108993
491.83/493.46 c #Conflicts: 196000 | #Constraints: 109993
491.83/493.46 c #Conflicts: 197000 | #Constraints: 110993
491.83/493.46 c #Conflicts: 198000 | #Constraints: 111993
491.83/493.46 c INPROCESSING
491.83/493.46 c GARBAGE COLLECT
491.83/493.46 c #Conflicts: 199000 | #Constraints: 104194
601.50/603.45 c #Conflicts: 200000 | #Constraints: 105194
601.50/603.45 c #Conflicts: 201000 | #Constraints: 106194
601.50/603.45 c #Conflicts: 202000 | #Constraints: 107194
601.50/603.45 c #Conflicts: 203000 | #Constraints: 108194
601.50/603.45 c #Conflicts: 204000 | #Constraints: 109194
601.50/603.45 c #Conflicts: 205000 | #Constraints: 110194
601.50/603.45 c #Conflicts: 206000 | #Constraints: 111194
601.50/603.45 c #Conflicts: 207000 | #Constraints: 112194
601.50/603.45 c INPROCESSING
601.50/603.45 c GARBAGE COLLECT
601.50/603.45 c #Conflicts: 208000 | #Constraints: 104195
601.50/603.45 c #Conflicts: 209000 | #Constraints: 105195
601.50/603.45 c #Conflicts: 210000 | #Constraints: 106195
601.50/603.45 c #Conflicts: 211000 | #Constraints: 107195
601.50/603.45 c #Conflicts: 212000 | #Constraints: 108195
601.50/603.45 c #Conflicts: 213000 | #Constraints: 109195
601.50/603.45 c #Conflicts: 214000 | #Constraints: 110195
601.50/603.45 c #Conflicts: 215000 | #Constraints: 111195
601.50/603.45 c #Conflicts: 216000 | #Constraints: 112195
601.50/603.45 c INPROCESSING
601.50/603.45 c GARBAGE COLLECT
601.50/603.45 c #Conflicts: 217000 | #Constraints: 104015
601.50/603.45 c #Conflicts: 218000 | #Constraints: 105015
601.50/603.45 c #Conflicts: 219000 | #Constraints: 106015
601.50/603.45 c #Conflicts: 220000 | #Constraints: 107015
601.50/603.45 c #Conflicts: 221000 | #Constraints: 108015
601.50/603.45 c #Conflicts: 222000 | #Constraints: 109015
601.50/603.45 c #Conflicts: 223000 | #Constraints: 110015
601.50/603.45 c #Conflicts: 224000 | #Constraints: 111015
601.50/603.45 c #Conflicts: 225000 | #Constraints: 112015
601.50/603.45 c #Conflicts: 226000 | #Constraints: 113015
601.50/603.45 c INPROCESSING
601.50/603.45 c GARBAGE COLLECT
601.50/603.45 c #Conflicts: 227000 | #Constraints: 104619
601.50/603.45 c #Conflicts: 228000 | #Constraints: 105619
601.50/603.45 c #Conflicts: 229000 | #Constraints: 106619
601.50/603.45 c #Conflicts: 230000 | #Constraints: 107619
601.50/603.45 c #Conflicts: 231000 | #Constraints: 108619
601.50/603.45 c #Conflicts: 232000 | #Constraints: 109619
601.50/603.45 c #Conflicts: 233000 | #Constraints: 110619
601.50/603.45 c #Conflicts: 234000 | #Constraints: 111619
601.50/603.45 c #Conflicts: 235000 | #Constraints: 112619
601.50/603.45 c #Conflicts: 236000 | #Constraints: 113619
601.50/603.45 c INPROCESSING
601.50/603.45 c GARBAGE COLLECT
601.50/603.45 c #Conflicts: 237000 | #Constraints: 105014
601.50/603.45 c #Conflicts: 238000 | #Constraints: 106014
601.50/603.45 c #Conflicts: 239000 | #Constraints: 107014
601.50/603.45 c #Conflicts: 240000 | #Constraints: 108014
601.50/603.45 c #Conflicts: 241000 | #Constraints: 109014
601.50/603.45 c #Conflicts: 242000 | #Constraints: 110014
601.50/603.45 c #Conflicts: 243000 | #Constraints: 111014
601.50/603.45 c #Conflicts: 244000 | #Constraints: 112014
601.50/603.45 c #Conflicts: 245000 | #Constraints: 113014
601.50/603.45 c #Conflicts: 246000 | #Constraints: 114014
601.50/603.45 c INPROCESSING
601.50/603.45 c GARBAGE COLLECT
601.50/603.45 c #Conflicts: 247000 | #Constraints: 105211
601.50/603.45 c #Conflicts: 248000 | #Constraints: 106211
601.50/603.45 c #Conflicts: 249000 | #Constraints: 107211
601.50/603.45 c #Conflicts: 250000 | #Constraints: 108211
601.50/603.45 c #Conflicts: 251000 | #Constraints: 109211
601.50/603.45 c #Conflicts: 252000 | #Constraints: 110211
601.50/603.45 c #Conflicts: 253000 | #Constraints: 111211
601.50/603.45 c #Conflicts: 254000 | #Constraints: 112211
601.50/603.45 c #Conflicts: 255000 | #Constraints: 113211
601.50/603.45 c #Conflicts: 256000 | #Constraints: 114211
601.50/603.45 c INPROCESSING
601.50/603.45 c GARBAGE COLLECT
601.50/603.45 c #Conflicts: 257000 | #Constraints: 105199
601.50/603.45 c #Conflicts: 258000 | #Constraints: 106199
601.50/603.45 c #Conflicts: 259000 | #Constraints: 107199
601.50/603.45 c #Conflicts: 260000 | #Constraints: 108199
601.50/603.45 c #Conflicts: 261000 | #Constraints: 109199
601.50/603.45 c #Conflicts: 262000 | #Constraints: 110199
601.50/603.45 c #Conflicts: 263000 | #Constraints: 111199
601.50/603.45 c #Conflicts: 264000 | #Constraints: 112199
601.50/603.45 c #Conflicts: 265000 | #Constraints: 113199
601.50/603.45 c #Conflicts: 266000 | #Constraints: 114199
601.50/603.45 c INPROCESSING
601.50/603.45 c GARBAGE COLLECT
601.50/603.45 c #Conflicts: 267000 | #Constraints: 105000
601.50/603.45 c #Conflicts: 268000 | #Constraints: 106000
601.50/603.45 c #Conflicts: 269000 | #Constraints: 107000
601.50/603.45 c #Conflicts: 270000 | #Constraints: 108000
601.50/603.45 c #Conflicts: 271000 | #Constraints: 109000
601.50/603.45 c #Conflicts: 272000 | #Constraints: 110000
601.50/603.45 c #Conflicts: 273000 | #Constraints: 111000
731.11/733.48 c #Conflicts: 274000 | #Constraints: 112000
731.11/733.48 c #Conflicts: 275000 | #Constraints: 113000
731.11/733.48 c #Conflicts: 276000 | #Constraints: 114000
731.11/733.48 c #Conflicts: 277000 | #Constraints: 115000
731.11/733.48 c INPROCESSING
731.11/733.48 c GARBAGE COLLECT
731.11/733.48 c #Conflicts: 278000 | #Constraints: 105610
731.11/733.48 c #Conflicts: 279000 | #Constraints: 106610
731.11/733.48 c #Conflicts: 280000 | #Constraints: 107610
731.11/733.48 c #Conflicts: 281000 | #Constraints: 108610
731.11/733.48 c #Conflicts: 282000 | #Constraints: 109610
731.11/733.48 c #Conflicts: 283000 | #Constraints: 110610
731.11/733.48 c #Conflicts: 284000 | #Constraints: 111610
731.11/733.48 c #Conflicts: 285000 | #Constraints: 112610
731.11/733.48 c #Conflicts: 286000 | #Constraints: 113610
731.11/733.48 c #Conflicts: 287000 | #Constraints: 114610
731.11/733.48 c #Conflicts: 288000 | #Constraints: 115610
731.11/733.48 c INPROCESSING
731.11/733.48 c GARBAGE COLLECT
731.11/733.48 c #Conflicts: 289000 | #Constraints: 106013
731.11/733.48 c #Conflicts: 290000 | #Constraints: 107013
731.11/733.48 c #Conflicts: 291000 | #Constraints: 108013
731.11/733.48 c #Conflicts: 292000 | #Constraints: 109013
731.11/733.48 c #Conflicts: 293000 | #Constraints: 110013
731.11/733.48 c #Conflicts: 294000 | #Constraints: 111013
731.11/733.48 c #Conflicts: 295000 | #Constraints: 112013
731.11/733.48 c #Conflicts: 296000 | #Constraints: 113013
731.11/733.48 c #Conflicts: 297000 | #Constraints: 114013
731.11/733.48 c #Conflicts: 298000 | #Constraints: 115013
731.11/733.48 c #Conflicts: 299000 | #Constraints: 116013
731.11/733.48 c INPROCESSING
731.11/733.48 c GARBAGE COLLECT
731.11/733.48 c #Conflicts: 300000 | #Constraints: 106206
731.11/733.48 c #Conflicts: 301000 | #Constraints: 107206
731.11/733.48 c #Conflicts: 302000 | #Constraints: 108206
731.11/733.48 c #Conflicts: 303000 | #Constraints: 109206
731.11/733.48 c #Conflicts: 304000 | #Constraints: 110206
731.11/733.48 c #Conflicts: 305000 | #Constraints: 111206
731.11/733.48 c #Conflicts: 306000 | #Constraints: 112206
731.11/733.48 c #Conflicts: 307000 | #Constraints: 113206
731.11/733.48 c #Conflicts: 308000 | #Constraints: 114206
731.11/733.48 c #Conflicts: 309000 | #Constraints: 115206
731.11/733.48 c #Conflicts: 310000 | #Constraints: 116206
731.11/733.48 c INPROCESSING
731.11/733.48 c GARBAGE COLLECT
731.11/733.48 c #Conflicts: 311000 | #Constraints: 106200
731.11/733.48 c #Conflicts: 312000 | #Constraints: 107200
731.11/733.48 c #Conflicts: 313000 | #Constraints: 108200
731.11/733.48 c #Conflicts: 314000 | #Constraints: 109200
731.11/733.48 c #Conflicts: 315000 | #Constraints: 110200
731.11/733.48 c #Conflicts: 316000 | #Constraints: 111200
731.11/733.48 c #Conflicts: 317000 | #Constraints: 112200
731.11/733.48 c #Conflicts: 318000 | #Constraints: 113200
731.11/733.48 c #Conflicts: 319000 | #Constraints: 114200
731.11/733.48 c #Conflicts: 320000 | #Constraints: 115200
731.11/733.48 c #Conflicts: 321000 | #Constraints: 116200
731.11/733.48 c INPROCESSING
731.11/733.48 c GARBAGE COLLECT
731.11/733.48 c #Conflicts: 322000 | #Constraints: 106004
731.11/733.48 c #Conflicts: 323000 | #Constraints: 107004
731.11/733.48 c #Conflicts: 324000 | #Constraints: 108004
731.11/733.48 c #Conflicts: 325000 | #Constraints: 109004
731.11/733.48 c #Conflicts: 326000 | #Constraints: 110004
731.11/733.48 c #Conflicts: 327000 | #Constraints: 111004
731.11/733.48 c #Conflicts: 328000 | #Constraints: 112004
731.11/733.48 c #Conflicts: 329000 | #Constraints: 113004
731.11/733.48 c #Conflicts: 330000 | #Constraints: 114004
731.11/733.48 c #Conflicts: 331000 | #Constraints: 115004
731.11/733.48 c #Conflicts: 332000 | #Constraints: 116004
731.11/733.48 c #Conflicts: 333000 | #Constraints: 117004
731.11/733.48 c INPROCESSING
731.11/733.48 c GARBAGE COLLECT
731.11/733.48 c #Conflicts: 334000 | #Constraints: 106613
731.11/733.48 c #Conflicts: 335000 | #Constraints: 107613
731.11/733.48 c #Conflicts: 336000 | #Constraints: 108613
731.11/733.48 c #Conflicts: 337000 | #Constraints: 109613
731.11/733.48 c #Conflicts: 338000 | #Constraints: 110613
731.11/733.48 c #Conflicts: 339000 | #Constraints: 111613
731.11/733.48 c #Conflicts: 340000 | #Constraints: 112613
731.11/733.48 c #Conflicts: 341000 | #Constraints: 113613
731.11/733.48 c #Conflicts: 342000 | #Constraints: 114613
731.11/733.48 c #Conflicts: 343000 | #Constraints: 115613
731.11/733.48 c #Conflicts: 344000 | #Constraints: 116613
731.11/733.48 c #Conflicts: 345000 | #Constraints: 117613
731.11/733.48 c INPROCESSING
731.11/733.48 c GARBAGE COLLECT
731.11/733.48 c #Conflicts: 346000 | #Constraints: 107016
731.11/733.48 c #Conflicts: 347000 | #Constraints: 108016
731.11/733.48 c #Conflicts: 348000 | #Constraints: 109016
883.47/886.20 c #Conflicts: 349000 | #Constraints: 110016
883.47/886.20 c #Conflicts: 350000 | #Constraints: 111016
883.47/886.20 c #Conflicts: 351000 | #Constraints: 112016
883.47/886.20 c #Conflicts: 352000 | #Constraints: 113016
883.47/886.20 c #Conflicts: 353000 | #Constraints: 114016
883.47/886.20 c #Conflicts: 354000 | #Constraints: 115016
883.47/886.20 c #Conflicts: 355000 | #Constraints: 116016
883.47/886.20 c #Conflicts: 356000 | #Constraints: 117016
883.47/886.20 c #Conflicts: 357000 | #Constraints: 118016
883.47/886.20 c INPROCESSING
883.47/886.20 c GARBAGE COLLECT
883.47/886.20 c #Conflicts: 358000 | #Constraints: 107207
883.47/886.20 c #Conflicts: 359000 | #Constraints: 108207
883.47/886.20 c #Conflicts: 360000 | #Constraints: 109207
883.47/886.20 c #Conflicts: 361000 | #Constraints: 110207
883.47/886.20 c #Conflicts: 362000 | #Constraints: 111207
883.47/886.20 c #Conflicts: 363000 | #Constraints: 112207
883.47/886.20 c #Conflicts: 364000 | #Constraints: 113207
883.47/886.20 c #Conflicts: 365000 | #Constraints: 114207
883.47/886.20 c #Conflicts: 366000 | #Constraints: 115207
883.47/886.20 c #Conflicts: 367000 | #Constraints: 116207
883.47/886.20 c #Conflicts: 368000 | #Constraints: 117207
883.47/886.20 c #Conflicts: 369000 | #Constraints: 118207
883.47/886.20 c INPROCESSING
883.47/886.20 c GARBAGE COLLECT
883.47/886.20 c #Conflicts: 370000 | #Constraints: 107228
883.47/886.20 c #Conflicts: 371000 | #Constraints: 108228
883.47/886.20 c #Conflicts: 372000 | #Constraints: 109228
883.47/886.20 c #Conflicts: 373000 | #Constraints: 110228
883.47/886.20 c #Conflicts: 374000 | #Constraints: 111228
883.47/886.20 c #Conflicts: 375000 | #Constraints: 112228
883.47/886.20 c #Conflicts: 376000 | #Constraints: 113228
883.47/886.20 c #Conflicts: 377000 | #Constraints: 114228
883.47/886.20 c #Conflicts: 378000 | #Constraints: 115228
883.47/886.20 c #Conflicts: 379000 | #Constraints: 116228
883.47/886.20 c #Conflicts: 380000 | #Constraints: 117228
883.47/886.20 c #Conflicts: 381000 | #Constraints: 118228
883.47/886.20 c INPROCESSING
883.47/886.20 c GARBAGE COLLECT
883.47/886.20 c #Conflicts: 382000 | #Constraints: 107020
883.47/886.20 c #Conflicts: 383000 | #Constraints: 108020
883.47/886.20 c #Conflicts: 384000 | #Constraints: 109020
883.47/886.20 c #Conflicts: 385000 | #Constraints: 110020
883.47/886.20 c #Conflicts: 386000 | #Constraints: 111020
883.47/886.20 c #Conflicts: 387000 | #Constraints: 112020
883.47/886.20 c #Conflicts: 388000 | #Constraints: 113020
883.47/886.20 c #Conflicts: 389000 | #Constraints: 114020
883.47/886.20 c #Conflicts: 390000 | #Constraints: 115020
883.47/886.20 c #Conflicts: 391000 | #Constraints: 116020
883.47/886.20 c #Conflicts: 392000 | #Constraints: 117020
883.47/886.20 c #Conflicts: 393000 | #Constraints: 118020
883.47/886.20 c #Conflicts: 394000 | #Constraints: 119020
883.47/886.20 c INPROCESSING
883.47/886.20 c GARBAGE COLLECT
883.47/886.20 c #Conflicts: 395000 | #Constraints: 107619
883.47/886.20 c #Conflicts: 396000 | #Constraints: 108619
883.47/886.20 c #Conflicts: 397000 | #Constraints: 109619
883.47/886.20 c #Conflicts: 398000 | #Constraints: 110619
883.47/886.20 c #Conflicts: 399000 | #Constraints: 111619
883.47/886.20 c #Conflicts: 400000 | #Constraints: 112619
883.47/886.20 c #Conflicts: 401000 | #Constraints: 113619
883.47/886.20 c #Conflicts: 402000 | #Constraints: 114619
883.47/886.20 c #Conflicts: 403000 | #Constraints: 115619
883.47/886.20 c #Conflicts: 404000 | #Constraints: 116619
883.47/886.20 c #Conflicts: 405000 | #Constraints: 117619
883.47/886.20 c #Conflicts: 406000 | #Constraints: 118619
883.47/886.20 c #Conflicts: 407000 | #Constraints: 119619
883.47/886.20 c INPROCESSING
883.47/886.20 c GARBAGE COLLECT
883.47/886.20 c #Conflicts: 408000 | #Constraints: 108027
883.47/886.20 c #Conflicts: 409000 | #Constraints: 109027
883.47/886.20 c #Conflicts: 410000 | #Constraints: 110027
883.47/886.20 c #Conflicts: 411000 | #Constraints: 111027
883.47/886.20 c #Conflicts: 412000 | #Constraints: 112027
883.47/886.20 c #Conflicts: 413000 | #Constraints: 113027
883.47/886.20 c #Conflicts: 414000 | #Constraints: 114027
883.47/886.20 c #Conflicts: 415000 | #Constraints: 115027
883.47/886.20 c #Conflicts: 416000 | #Constraints: 116027
883.47/886.20 c #Conflicts: 417000 | #Constraints: 117027
883.47/886.20 c #Conflicts: 418000 | #Constraints: 118027
883.47/886.20 c #Conflicts: 419000 | #Constraints: 119027
883.47/886.20 c #Conflicts: 420000 | #Constraints: 120027
883.47/886.20 c INPROCESSING
883.47/886.20 c GARBAGE COLLECT
883.47/886.20 c #Conflicts: 421000 | #Constraints: 108212
883.47/886.20 c #Conflicts: 422000 | #Constraints: 109212
883.47/886.20 c #Conflicts: 423000 | #Constraints: 110212
1024.97/1028.15 c #Conflicts: 424000 | #Constraints: 111212
1024.97/1028.15 c #Conflicts: 425000 | #Constraints: 112212
1024.97/1028.15 c #Conflicts: 426000 | #Constraints: 113212
1024.97/1028.15 c #Conflicts: 427000 | #Constraints: 114212
1024.97/1028.15 c #Conflicts: 428000 | #Constraints: 115212
1024.97/1028.15 c #Conflicts: 429000 | #Constraints: 116212
1024.97/1028.15 c #Conflicts: 430000 | #Constraints: 117212
1024.97/1028.15 c #Conflicts: 431000 | #Constraints: 118212
1024.97/1028.15 c #Conflicts: 432000 | #Constraints: 119212
1024.97/1028.15 c #Conflicts: 433000 | #Constraints: 120212
1024.97/1028.15 c INPROCESSING
1024.97/1028.15 c GARBAGE COLLECT
1024.97/1028.15 c #Conflicts: 434000 | #Constraints: 108225
1024.97/1028.15 c #Conflicts: 435000 | #Constraints: 109225
1024.97/1028.15 c #Conflicts: 436000 | #Constraints: 110225
1024.97/1028.15 c #Conflicts: 437000 | #Constraints: 111225
1024.97/1028.15 c #Conflicts: 438000 | #Constraints: 112225
1024.97/1028.15 c #Conflicts: 439000 | #Constraints: 113225
1024.97/1028.15 c #Conflicts: 440000 | #Constraints: 114225
1024.97/1028.15 c #Conflicts: 441000 | #Constraints: 115225
1024.97/1028.15 c #Conflicts: 442000 | #Constraints: 116225
1024.97/1028.15 c #Conflicts: 443000 | #Constraints: 117225
1024.97/1028.15 c #Conflicts: 444000 | #Constraints: 118225
1024.97/1028.15 c #Conflicts: 445000 | #Constraints: 119225
1024.97/1028.15 c #Conflicts: 446000 | #Constraints: 120225
1024.97/1028.15 c INPROCESSING
1024.97/1028.15 c GARBAGE COLLECT
1024.97/1028.15 c #Conflicts: 447000 | #Constraints: 108031
1024.97/1028.15 c #Conflicts: 448000 | #Constraints: 109031
1024.97/1028.15 c #Conflicts: 449000 | #Constraints: 110031
1024.97/1028.15 c #Conflicts: 450000 | #Constraints: 111031
1024.97/1028.15 c #Conflicts: 451000 | #Constraints: 112031
1024.97/1028.15 c #Conflicts: 452000 | #Constraints: 113031
1024.97/1028.15 c #Conflicts: 453000 | #Constraints: 114031
1024.97/1028.15 c #Conflicts: 454000 | #Constraints: 115031
1024.97/1028.15 c #Conflicts: 455000 | #Constraints: 116031
1024.97/1028.15 c #Conflicts: 456000 | #Constraints: 117031
1024.97/1028.15 c #Conflicts: 457000 | #Constraints: 118031
1024.97/1028.15 c #Conflicts: 458000 | #Constraints: 119031
1024.97/1028.15 c #Conflicts: 459000 | #Constraints: 120031
1024.97/1028.15 c #Conflicts: 460000 | #Constraints: 121031
1024.97/1028.15 c INPROCESSING
1024.97/1028.15 c GARBAGE COLLECT
1024.97/1028.15 c #Conflicts: 461000 | #Constraints: 108630
1024.97/1028.15 c #Conflicts: 462000 | #Constraints: 109630
1024.97/1028.15 c #Conflicts: 463000 | #Constraints: 110630
1024.97/1028.15 c #Conflicts: 464000 | #Constraints: 111630
1024.97/1028.15 c #Conflicts: 465000 | #Constraints: 112630
1024.97/1028.15 c #Conflicts: 466000 | #Constraints: 113630
1024.97/1028.15 c #Conflicts: 467000 | #Constraints: 114630
1024.97/1028.15 c #Conflicts: 468000 | #Constraints: 115630
1024.97/1028.15 c #Conflicts: 469000 | #Constraints: 116630
1024.97/1028.15 c #Conflicts: 470000 | #Constraints: 117630
1024.97/1028.15 c #Conflicts: 471000 | #Constraints: 118630
1024.97/1028.15 c #Conflicts: 472000 | #Constraints: 119630
1024.97/1028.15 c #Conflicts: 473000 | #Constraints: 120630
1024.97/1028.15 c #Conflicts: 474000 | #Constraints: 121630
1024.97/1028.15 c INPROCESSING
1024.97/1028.15 c GARBAGE COLLECT
1024.97/1028.15 c #Conflicts: 475000 | #Constraints: 109018
1024.97/1028.15 c #Conflicts: 476000 | #Constraints: 110018
1024.97/1028.15 c #Conflicts: 477000 | #Constraints: 111018
1024.97/1028.15 c #Conflicts: 478000 | #Constraints: 112018
1024.97/1028.15 c #Conflicts: 479000 | #Constraints: 113018
1024.97/1028.15 c #Conflicts: 480000 | #Constraints: 114018
1024.97/1028.15 c #Conflicts: 481000 | #Constraints: 115018
1024.97/1028.15 c #Conflicts: 482000 | #Constraints: 116018
1024.97/1028.15 c #Conflicts: 483000 | #Constraints: 117018
1024.97/1028.15 c #Conflicts: 484000 | #Constraints: 118018
1024.97/1028.15 c #Conflicts: 485000 | #Constraints: 119018
1024.97/1028.15 c #Conflicts: 486000 | #Constraints: 120018
1024.97/1028.15 c #Conflicts: 487000 | #Constraints: 121018
1024.97/1028.15 c #Conflicts: 488000 | #Constraints: 122018
1024.97/1028.15 c INPROCESSING
1024.97/1028.15 c GARBAGE COLLECT
1024.97/1028.15 c #Conflicts: 489000 | #Constraints: 109215
1024.97/1028.15 c #Conflicts: 490000 | #Constraints: 110215
1024.97/1028.15 c #Conflicts: 491000 | #Constraints: 111215
1024.97/1028.15 c #Conflicts: 492000 | #Constraints: 112215
1024.97/1028.15 c #Conflicts: 493000 | #Constraints: 113215
1024.97/1028.15 c #Conflicts: 494000 | #Constraints: 114215
1024.97/1028.15 c #Conflicts: 495000 | #Constraints: 115215
1024.97/1028.15 c #Conflicts: 496000 | #Constraints: 116215
1024.97/1028.15 c #Conflicts: 497000 | #Constraints: 117215
1024.97/1028.15 c #Conflicts: 498000 | #Constraints: 118215
1199.65/1203.38 c #Conflicts: 499000 | #Constraints: 119215
1199.65/1203.38 c #Conflicts: 500000 | #Constraints: 120215
1199.65/1203.38 c #Conflicts: 501000 | #Constraints: 121215
1199.65/1203.38 c #Conflicts: 502000 | #Constraints: 122215
1199.65/1203.38 c INPROCESSING
1199.65/1203.38 c GARBAGE COLLECT
1199.65/1203.38 c #Conflicts: 503000 | #Constraints: 109223
1199.65/1203.38 c #Conflicts: 504000 | #Constraints: 110223
1199.65/1203.38 c #Conflicts: 505000 | #Constraints: 111223
1199.65/1203.38 c #Conflicts: 506000 | #Constraints: 112223
1199.65/1203.38 c #Conflicts: 507000 | #Constraints: 113223
1199.65/1203.38 c #Conflicts: 508000 | #Constraints: 114223
1199.65/1203.38 c #Conflicts: 509000 | #Constraints: 115223
1199.65/1203.38 c #Conflicts: 510000 | #Constraints: 116223
1199.65/1203.38 c #Conflicts: 511000 | #Constraints: 117223
1199.65/1203.38 c #Conflicts: 512000 | #Constraints: 118223
1199.65/1203.38 c #Conflicts: 513000 | #Constraints: 119223
1199.65/1203.38 c #Conflicts: 514000 | #Constraints: 120223
1199.65/1203.38 c #Conflicts: 515000 | #Constraints: 121223
1199.65/1203.38 c #Conflicts: 516000 | #Constraints: 122223
1199.65/1203.38 c INPROCESSING
1199.65/1203.38 c GARBAGE COLLECT
1199.65/1203.38 c #Conflicts: 517000 | #Constraints: 109015
1199.65/1203.38 c #Conflicts: 518000 | #Constraints: 110015
1199.65/1203.38 c #Conflicts: 519000 | #Constraints: 111015
1199.65/1203.38 c #Conflicts: 520000 | #Constraints: 112015
1199.65/1203.38 c #Conflicts: 521000 | #Constraints: 113015
1199.65/1203.38 c #Conflicts: 522000 | #Constraints: 114015
1199.65/1203.38 c #Conflicts: 523000 | #Constraints: 115015
1199.65/1203.38 c #Conflicts: 524000 | #Constraints: 116015
1199.65/1203.38 c #Conflicts: 525000 | #Constraints: 117015
1199.65/1203.38 c #Conflicts: 526000 | #Constraints: 118015
1199.65/1203.38 c #Conflicts: 527000 | #Constraints: 119015
1199.65/1203.38 c #Conflicts: 528000 | #Constraints: 120015
1199.65/1203.38 c #Conflicts: 529000 | #Constraints: 121015
1199.65/1203.38 c #Conflicts: 530000 | #Constraints: 122015
1199.65/1203.38 c #Conflicts: 531000 | #Constraints: 123015
1199.65/1203.38 c INPROCESSING
1199.65/1203.38 c GARBAGE COLLECT
1199.65/1203.38 c #Conflicts: 532000 | #Constraints: 109629
1199.65/1203.38 c #Conflicts: 533000 | #Constraints: 110629
1199.65/1203.38 c #Conflicts: 534000 | #Constraints: 111629
1199.65/1203.38 c #Conflicts: 535000 | #Constraints: 112629
1199.65/1203.38 c #Conflicts: 536000 | #Constraints: 113629
1199.65/1203.38 c #Conflicts: 537000 | #Constraints: 114629
1199.65/1203.38 c #Conflicts: 538000 | #Constraints: 115629
1199.65/1203.38 c #Conflicts: 539000 | #Constraints: 116629
1199.65/1203.38 c #Conflicts: 540000 | #Constraints: 117629
1199.65/1203.38 c #Conflicts: 541000 | #Constraints: 118629
1199.65/1203.38 c #Conflicts: 542000 | #Constraints: 119629
1199.65/1203.38 c #Conflicts: 543000 | #Constraints: 120629
1199.65/1203.38 c #Conflicts: 544000 | #Constraints: 121629
1199.65/1203.38 c #Conflicts: 545000 | #Constraints: 122629
1199.65/1203.38 c #Conflicts: 546000 | #Constraints: 123629
1199.65/1203.38 c INPROCESSING
1199.65/1203.38 c GARBAGE COLLECT
1199.65/1203.38 c #Conflicts: 547000 | #Constraints: 110013
1199.65/1203.38 c #Conflicts: 548000 | #Constraints: 111013
1199.65/1203.38 c #Conflicts: 549000 | #Constraints: 112013
1199.65/1203.38 c #Conflicts: 550000 | #Constraints: 113013
1199.65/1203.38 c #Conflicts: 551000 | #Constraints: 114013
1199.65/1203.38 c #Conflicts: 552000 | #Constraints: 115013
1199.65/1203.38 c #Conflicts: 553000 | #Constraints: 116013
1199.65/1203.38 c #Conflicts: 554000 | #Constraints: 117013
1199.65/1203.38 c #Conflicts: 555000 | #Constraints: 118013
1199.65/1203.38 c #Conflicts: 556000 | #Constraints: 119013
1199.65/1203.38 c #Conflicts: 557000 | #Constraints: 120013
1199.65/1203.38 c #Conflicts: 558000 | #Constraints: 121013
1199.65/1203.38 c #Conflicts: 559000 | #Constraints: 122013
1199.65/1203.38 c #Conflicts: 560000 | #Constraints: 123013
1199.65/1203.38 c #Conflicts: 561000 | #Constraints: 124013
1199.65/1203.38 c INPROCESSING
1199.65/1203.38 c GARBAGE COLLECT
1199.65/1203.38 c #Conflicts: 562000 | #Constraints: 110202
1199.65/1203.38 c #Conflicts: 563000 | #Constraints: 111202
1199.65/1203.38 c #Conflicts: 564000 | #Constraints: 112202
1199.65/1203.38 c #Conflicts: 565000 | #Constraints: 113202
1199.65/1203.38 c #Conflicts: 566000 | #Constraints: 114202
1199.65/1203.38 c #Conflicts: 567000 | #Constraints: 115202
1199.65/1203.38 c #Conflicts: 568000 | #Constraints: 116202
1199.65/1203.38 c #Conflicts: 569000 | #Constraints: 117202
1199.65/1203.38 c #Conflicts: 570000 | #Constraints: 118202
1199.65/1203.38 c #Conflicts: 571000 | #Constraints: 119202
1199.65/1203.38 c #Conflicts: 572000 | #Constraints: 120202
1199.65/1203.38 c #Conflicts: 573000 | #Constraints: 121202
1199.65/1203.38 c #Conflicts: 574000 | #Constraints: 122202
1383.15/1387.39 c #Conflicts: 575000 | #Constraints: 123202
1383.15/1387.39 c #Conflicts: 576000 | #Constraints: 124202
1383.15/1387.39 c INPROCESSING
1383.15/1387.39 c GARBAGE COLLECT
1383.15/1387.39 c #Conflicts: 577000 | #Constraints: 110206
1383.15/1387.39 c #Conflicts: 578000 | #Constraints: 111206
1383.15/1387.39 c #Conflicts: 579000 | #Constraints: 112206
1383.15/1387.39 c #Conflicts: 580000 | #Constraints: 113206
1383.15/1387.39 c #Conflicts: 581000 | #Constraints: 114206
1383.15/1387.39 c #Conflicts: 582000 | #Constraints: 115206
1383.15/1387.39 c #Conflicts: 583000 | #Constraints: 116206
1383.15/1387.39 c #Conflicts: 584000 | #Constraints: 117206
1383.15/1387.39 c #Conflicts: 585000 | #Constraints: 118206
1383.15/1387.39 c #Conflicts: 586000 | #Constraints: 119206
1383.15/1387.39 c #Conflicts: 587000 | #Constraints: 120206
1383.15/1387.39 c #Conflicts: 588000 | #Constraints: 121206
1383.15/1387.39 c #Conflicts: 589000 | #Constraints: 122206
1383.15/1387.39 c #Conflicts: 590000 | #Constraints: 123206
1383.15/1387.39 c #Conflicts: 591000 | #Constraints: 124206
1383.15/1387.39 c INPROCESSING
1383.15/1387.39 c GARBAGE COLLECT
1383.15/1387.39 c #Conflicts: 592000 | #Constraints: 110029
1383.15/1387.39 c #Conflicts: 593000 | #Constraints: 111029
1383.15/1387.39 c #Conflicts: 594000 | #Constraints: 112029
1383.15/1387.39 c #Conflicts: 595000 | #Constraints: 113029
1383.15/1387.39 c #Conflicts: 596000 | #Constraints: 114029
1383.15/1387.39 c #Conflicts: 597000 | #Constraints: 115029
1383.15/1387.39 c #Conflicts: 598000 | #Constraints: 116029
1383.15/1387.39 c #Conflicts: 599000 | #Constraints: 117029
1383.15/1387.39 c #Conflicts: 600000 | #Constraints: 118029
1383.15/1387.39 c #Conflicts: 601000 | #Constraints: 119029
1383.15/1387.39 c #Conflicts: 602000 | #Constraints: 120029
1383.15/1387.39 c #Conflicts: 603000 | #Constraints: 121029
1383.15/1387.39 c #Conflicts: 604000 | #Constraints: 122029
1383.15/1387.39 c #Conflicts: 605000 | #Constraints: 123029
1383.15/1387.39 c #Conflicts: 606000 | #Constraints: 124029
1383.15/1387.39 c #Conflicts: 607000 | #Constraints: 125029
1383.15/1387.39 c INPROCESSING
1383.15/1387.39 c GARBAGE COLLECT
1383.15/1387.39 c #Conflicts: 608000 | #Constraints: 110628
1383.15/1387.39 c #Conflicts: 609000 | #Constraints: 111628
1383.15/1387.39 c #Conflicts: 610000 | #Constraints: 112628
1383.15/1387.39 c #Conflicts: 611000 | #Constraints: 113628
1383.15/1387.39 c #Conflicts: 612000 | #Constraints: 114628
1383.15/1387.39 c #Conflicts: 613000 | #Constraints: 115628
1383.15/1387.39 c #Conflicts: 614000 | #Constraints: 116628
1383.15/1387.39 c #Conflicts: 615000 | #Constraints: 117628
1383.15/1387.39 c #Conflicts: 616000 | #Constraints: 118628
1383.15/1387.39 c #Conflicts: 617000 | #Constraints: 119628
1383.15/1387.39 c #Conflicts: 618000 | #Constraints: 120628
1383.15/1387.39 c #Conflicts: 619000 | #Constraints: 121628
1383.15/1387.39 c #Conflicts: 620000 | #Constraints: 122628
1383.15/1387.39 c #Conflicts: 621000 | #Constraints: 123628
1383.15/1387.39 c #Conflicts: 622000 | #Constraints: 124628
1383.15/1387.39 c #Conflicts: 623000 | #Constraints: 125628
1383.15/1387.39 c INPROCESSING
1383.15/1387.39 c GARBAGE COLLECT
1383.15/1387.39 c #Conflicts: 624000 | #Constraints: 111024
1383.15/1387.39 c #Conflicts: 625000 | #Constraints: 112024
1383.15/1387.39 c #Conflicts: 626000 | #Constraints: 113024
1383.15/1387.39 c #Conflicts: 627000 | #Constraints: 114024
1383.15/1387.39 c #Conflicts: 628000 | #Constraints: 115024
1383.15/1387.39 c #Conflicts: 629000 | #Constraints: 116024
1383.15/1387.39 c #Conflicts: 630000 | #Constraints: 117024
1383.15/1387.39 c #Conflicts: 631000 | #Constraints: 118024
1383.15/1387.39 c #Conflicts: 632000 | #Constraints: 119024
1383.15/1387.39 c #Conflicts: 633000 | #Constraints: 120024
1383.15/1387.39 c #Conflicts: 634000 | #Constraints: 121024
1383.15/1387.39 c #Conflicts: 635000 | #Constraints: 122024
1383.15/1387.39 c #Conflicts: 636000 | #Constraints: 123024
1383.15/1387.39 c #Conflicts: 637000 | #Constraints: 124024
1383.15/1387.39 c #Conflicts: 638000 | #Constraints: 125024
1383.15/1387.39 c #Conflicts: 639000 | #Constraints: 126024
1383.15/1387.39 c INPROCESSING
1383.15/1387.39 c GARBAGE COLLECT
1383.15/1387.39 c #Conflicts: 640000 | #Constraints: 111217
1383.15/1387.39 c #Conflicts: 641000 | #Constraints: 112217
1383.15/1387.39 c #Conflicts: 642000 | #Constraints: 113217
1383.15/1387.39 c #Conflicts: 643000 | #Constraints: 114217
1383.15/1387.39 c #Conflicts: 644000 | #Constraints: 115217
1383.15/1387.39 c #Conflicts: 645000 | #Constraints: 116217
1383.15/1387.39 c #Conflicts: 646000 | #Constraints: 117217
1383.15/1387.39 c #Conflicts: 647000 | #Constraints: 118217
1383.15/1387.39 c #Conflicts: 648000 | #Constraints: 119217
1383.15/1387.39 c #Conflicts: 649000 | #Constraints: 120217
1586.88/1591.66 c #Conflicts: 650000 | #Constraints: 121217
1586.88/1591.66 c #Conflicts: 651000 | #Constraints: 122217
1586.88/1591.66 c #Conflicts: 652000 | #Constraints: 123217
1586.88/1591.66 c #Conflicts: 653000 | #Constraints: 124217
1586.88/1591.66 c #Conflicts: 654000 | #Constraints: 125217
1586.88/1591.66 c #Conflicts: 655000 | #Constraints: 126217
1586.88/1591.66 c INPROCESSING
1586.88/1591.66 c GARBAGE COLLECT
1586.88/1591.66 c #Conflicts: 656000 | #Constraints: 111230
1586.88/1591.66 c #Conflicts: 657000 | #Constraints: 112230
1586.88/1591.66 c #Conflicts: 658000 | #Constraints: 113230
1586.88/1591.66 c #Conflicts: 659000 | #Constraints: 114230
1586.88/1591.66 c #Conflicts: 660000 | #Constraints: 115230
1586.88/1591.66 c #Conflicts: 661000 | #Constraints: 116230
1586.88/1591.66 c #Conflicts: 662000 | #Constraints: 117230
1586.88/1591.66 c #Conflicts: 663000 | #Constraints: 118230
1586.88/1591.66 c #Conflicts: 664000 | #Constraints: 119230
1586.88/1591.66 c #Conflicts: 665000 | #Constraints: 120230
1586.88/1591.66 c #Conflicts: 666000 | #Constraints: 121230
1586.88/1591.66 c #Conflicts: 667000 | #Constraints: 122230
1586.88/1591.66 c #Conflicts: 668000 | #Constraints: 123230
1586.88/1591.66 c #Conflicts: 669000 | #Constraints: 124230
1586.88/1591.66 c #Conflicts: 670000 | #Constraints: 125230
1586.88/1591.66 c #Conflicts: 671000 | #Constraints: 126230
1586.88/1591.66 c INPROCESSING
1586.88/1591.66 c GARBAGE COLLECT
1586.88/1591.66 c #Conflicts: 672000 | #Constraints: 111034
1586.88/1591.66 c #Conflicts: 673000 | #Constraints: 112034
1586.88/1591.66 c #Conflicts: 674000 | #Constraints: 113034
1586.88/1591.66 c #Conflicts: 675000 | #Constraints: 114034
1586.88/1591.66 c #Conflicts: 676000 | #Constraints: 115034
1586.88/1591.66 c #Conflicts: 677000 | #Constraints: 116034
1586.88/1591.66 c #Conflicts: 678000 | #Constraints: 117034
1586.88/1591.66 c #Conflicts: 679000 | #Constraints: 118034
1586.88/1591.66 c #Conflicts: 680000 | #Constraints: 119034
1586.88/1591.66 c #Conflicts: 681000 | #Constraints: 120034
1586.88/1591.66 c #Conflicts: 682000 | #Constraints: 121034
1586.88/1591.66 c #Conflicts: 683000 | #Constraints: 122034
1586.88/1591.66 c #Conflicts: 684000 | #Constraints: 123034
1586.88/1591.66 c #Conflicts: 685000 | #Constraints: 124034
1586.88/1591.66 c #Conflicts: 686000 | #Constraints: 125034
1586.88/1591.66 c #Conflicts: 687000 | #Constraints: 126034
1586.88/1591.66 c #Conflicts: 688000 | #Constraints: 127034
1586.88/1591.66 c INPROCESSING
1586.88/1591.66 c GARBAGE COLLECT
1586.88/1591.66 c #Conflicts: 689000 | #Constraints: 111639
1586.88/1591.66 c #Conflicts: 690000 | #Constraints: 112639
1586.88/1591.66 c #Conflicts: 691000 | #Constraints: 113639
1586.88/1591.66 c #Conflicts: 692000 | #Constraints: 114639
1586.88/1591.66 c #Conflicts: 693000 | #Constraints: 115639
1586.88/1591.66 c #Conflicts: 694000 | #Constraints: 116639
1586.88/1591.66 c #Conflicts: 695000 | #Constraints: 117639
1586.88/1591.66 c #Conflicts: 696000 | #Constraints: 118639
1586.88/1591.66 c #Conflicts: 697000 | #Constraints: 119639
1586.88/1591.66 c #Conflicts: 698000 | #Constraints: 120639
1586.88/1591.66 c #Conflicts: 699000 | #Constraints: 121639
1586.88/1591.66 c #Conflicts: 700000 | #Constraints: 122639
1586.88/1591.66 c #Conflicts: 701000 | #Constraints: 123639
1586.88/1591.66 c #Conflicts: 702000 | #Constraints: 124639
1586.88/1591.66 c #Conflicts: 703000 | #Constraints: 125639
1586.88/1591.66 c #Conflicts: 704000 | #Constraints: 126639
1586.88/1591.66 c #Conflicts: 705000 | #Constraints: 127639
1586.88/1591.66 c INPROCESSING
1586.88/1591.66 c GARBAGE COLLECT
1586.88/1591.66 c #Conflicts: 706000 | #Constraints: 112023
1586.88/1591.66 c #Conflicts: 707000 | #Constraints: 113023
1586.88/1591.66 c #Conflicts: 708000 | #Constraints: 114023
1586.88/1591.66 c #Conflicts: 709000 | #Constraints: 115023
1586.88/1591.66 c #Conflicts: 710000 | #Constraints: 116023
1586.88/1591.66 c #Conflicts: 711000 | #Constraints: 117023
1586.88/1591.66 c #Conflicts: 712000 | #Constraints: 118023
1586.88/1591.66 c #Conflicts: 713000 | #Constraints: 119023
1586.88/1591.66 c #Conflicts: 714000 | #Constraints: 120023
1586.88/1591.66 c #Conflicts: 715000 | #Constraints: 121023
1586.88/1591.66 c #Conflicts: 716000 | #Constraints: 122023
1586.88/1591.66 c #Conflicts: 717000 | #Constraints: 123023
1586.88/1591.66 c #Conflicts: 718000 | #Constraints: 124023
1586.88/1591.66 c #Conflicts: 719000 | #Constraints: 125023
1586.88/1591.66 c #Conflicts: 720000 | #Constraints: 126023
1586.88/1591.66 c #Conflicts: 721000 | #Constraints: 127023
1586.88/1591.66 c #Conflicts: 722000 | #Constraints: 128023
1586.88/1591.66 c INPROCESSING
1586.88/1591.66 c GARBAGE COLLECT
1586.88/1591.66 c #Conflicts: 723000 | #Constraints: 112237
1586.88/1591.66 c #Conflicts: 724000 | #Constraints: 113237
1586.88/1591.66 c #Conflicts: 725000 | #Constraints: 114237
1771.55/1776.87 c #Conflicts: 726000 | #Constraints: 115237
1771.55/1776.87 c #Conflicts: 727000 | #Constraints: 116237
1771.55/1776.87 c #Conflicts: 728000 | #Constraints: 117237
1771.55/1776.87 c #Conflicts: 729000 | #Constraints: 118237
1771.55/1776.87 c #Conflicts: 730000 | #Constraints: 119237
1771.55/1776.87 c #Conflicts: 731000 | #Constraints: 120237
1771.55/1776.87 c #Conflicts: 732000 | #Constraints: 121237
1771.55/1776.87 c #Conflicts: 733000 | #Constraints: 122237
1771.55/1776.87 c #Conflicts: 734000 | #Constraints: 123237
1771.55/1776.87 c #Conflicts: 735000 | #Constraints: 124237
1771.55/1776.87 c #Conflicts: 736000 | #Constraints: 125237
1771.55/1776.87 c #Conflicts: 737000 | #Constraints: 126237
1771.55/1776.87 c #Conflicts: 738000 | #Constraints: 127237
1771.55/1776.87 c #Conflicts: 739000 | #Constraints: 128237
1771.55/1776.87 c INPROCESSING
1771.55/1776.87 c GARBAGE COLLECT
1771.55/1776.87 c #Conflicts: 740000 | #Constraints: 112226
1771.55/1776.87 c #Conflicts: 741000 | #Constraints: 113226
1771.55/1776.87 c #Conflicts: 742000 | #Constraints: 114226
1771.55/1776.87 c #Conflicts: 743000 | #Constraints: 115226
1771.55/1776.87 c #Conflicts: 744000 | #Constraints: 116226
1771.55/1776.87 c #Conflicts: 745000 | #Constraints: 117226
1771.55/1776.87 c #Conflicts: 746000 | #Constraints: 118226
1771.55/1776.87 c #Conflicts: 747000 | #Constraints: 119226
1771.55/1776.87 c #Conflicts: 748000 | #Constraints: 120226
1771.55/1776.87 c #Conflicts: 749000 | #Constraints: 121226
1771.55/1776.87 c #Conflicts: 750000 | #Constraints: 122226
1771.55/1776.87 c #Conflicts: 751000 | #Constraints: 123226
1771.55/1776.87 c #Conflicts: 752000 | #Constraints: 124226
1771.55/1776.87 c #Conflicts: 753000 | #Constraints: 125226
1771.55/1776.87 c #Conflicts: 754000 | #Constraints: 126226
1771.55/1776.87 c #Conflicts: 755000 | #Constraints: 127226
1771.55/1776.87 c #Conflicts: 756000 | #Constraints: 128226
1771.55/1776.87 c INPROCESSING
1771.55/1776.87 c GARBAGE COLLECT
1771.55/1776.87 c #Conflicts: 757000 | #Constraints: 112029
1771.55/1776.87 c #Conflicts: 758000 | #Constraints: 113029
1771.55/1776.87 c #Conflicts: 759000 | #Constraints: 114029
1771.55/1776.87 c #Conflicts: 760000 | #Constraints: 115029
1771.55/1776.87 c #Conflicts: 761000 | #Constraints: 116029
1771.55/1776.87 c #Conflicts: 762000 | #Constraints: 117029
1771.55/1776.87 c #Conflicts: 763000 | #Constraints: 118029
1771.55/1776.87 c #Conflicts: 764000 | #Constraints: 119029
1771.55/1776.87 c #Conflicts: 765000 | #Constraints: 120029
1771.55/1776.87 c #Conflicts: 766000 | #Constraints: 121029
1771.55/1776.87 c #Conflicts: 767000 | #Constraints: 122029
1771.55/1776.87 c #Conflicts: 768000 | #Constraints: 123029
1771.55/1776.87 c #Conflicts: 769000 | #Constraints: 124029
1771.55/1776.87 c #Conflicts: 770000 | #Constraints: 125029
1771.55/1776.87 c #Conflicts: 771000 | #Constraints: 126029
1771.55/1776.87 c #Conflicts: 772000 | #Constraints: 127029
1771.55/1776.87 c #Conflicts: 773000 | #Constraints: 128029
1771.55/1776.87 c #Conflicts: 774000 | #Constraints: 129029
1771.55/1776.87 c INPROCESSING
1771.55/1776.87 c GARBAGE COLLECT
1771.55/1776.87 c #Conflicts: 775000 | #Constraints: 112627
1771.55/1776.87 c #Conflicts: 776000 | #Constraints: 113627
1771.55/1776.87 c #Conflicts: 777000 | #Constraints: 114627
1771.55/1776.87 c #Conflicts: 778000 | #Constraints: 115627
1771.55/1776.87 c #Conflicts: 779000 | #Constraints: 116627
1771.55/1776.87 c #Conflicts: 780000 | #Constraints: 117627
1771.55/1776.87 c #Conflicts: 781000 | #Constraints: 118627
1771.55/1776.87 c #Conflicts: 782000 | #Constraints: 119627
1771.55/1776.87 c #Conflicts: 783000 | #Constraints: 120627
1771.55/1776.87 c #Conflicts: 784000 | #Constraints: 121627
1771.55/1776.87 c #Conflicts: 785000 | #Constraints: 122627
1771.55/1776.87 c #Conflicts: 786000 | #Constraints: 123627
1771.55/1776.87 c #Conflicts: 787000 | #Constraints: 124627
1771.55/1776.87 c #Conflicts: 788000 | #Constraints: 125627
1771.55/1776.87 c #Conflicts: 789000 | #Constraints: 126627
1771.55/1776.87 c #Conflicts: 790000 | #Constraints: 127627
1771.55/1776.87 c #Conflicts: 791000 | #Constraints: 128627
1771.55/1776.87 c #Conflicts: 792000 | #Constraints: 129627
1771.55/1776.87 c INPROCESSING
1771.55/1776.87 c GARBAGE COLLECT
1771.55/1776.87 c #Conflicts: 793000 | #Constraints: 113019
1771.55/1776.87 c #Conflicts: 794000 | #Constraints: 114019
1771.55/1776.87 c #Conflicts: 795000 | #Constraints: 115019
1771.55/1776.87 c #Conflicts: 796000 | #Constraints: 116019
1771.55/1776.87 c #Conflicts: 797000 | #Constraints: 117019
1771.55/1776.87 c #Conflicts: 798000 | #Constraints: 118019
1771.55/1776.87 c #Conflicts: 799000 | #Constraints: 119019
1771.55/1776.87 c #Conflicts: 800000 | #Constraints: 120019
1771.55/1776.87 c #Conflicts: 801000 | #Constraints: 121019
1969.56/1975.47 c #Conflicts: 802000 | #Constraints: 122019
1969.56/1975.47 c #Conflicts: 803000 | #Constraints: 123019
1969.56/1975.47 c #Conflicts: 804000 | #Constraints: 124019
1969.56/1975.47 c #Conflicts: 805000 | #Constraints: 125019
1969.56/1975.47 c #Conflicts: 806000 | #Constraints: 126019
1969.56/1975.47 c #Conflicts: 807000 | #Constraints: 127019
1969.56/1975.47 c #Conflicts: 808000 | #Constraints: 128019
1969.56/1975.47 c #Conflicts: 809000 | #Constraints: 129019
1969.56/1975.47 c #Conflicts: 810000 | #Constraints: 130019
1969.56/1975.47 c INPROCESSING
1969.56/1975.47 c GARBAGE COLLECT
1969.56/1975.47 c #Conflicts: 811000 | #Constraints: 113211
1969.56/1975.47 c #Conflicts: 812000 | #Constraints: 114211
1969.56/1975.47 c #Conflicts: 813000 | #Constraints: 115211
1969.56/1975.47 c #Conflicts: 814000 | #Constraints: 116211
1969.56/1975.47 c #Conflicts: 815000 | #Constraints: 117211
1969.56/1975.47 c #Conflicts: 816000 | #Constraints: 118211
1969.56/1975.47 c #Conflicts: 817000 | #Constraints: 119211
1969.56/1975.47 c #Conflicts: 818000 | #Constraints: 120211
1969.56/1975.47 c #Conflicts: 819000 | #Constraints: 121211
1969.56/1975.47 c #Conflicts: 820000 | #Constraints: 122211
1969.56/1975.47 c #Conflicts: 821000 | #Constraints: 123211
1969.56/1975.47 c #Conflicts: 822000 | #Constraints: 124211
1969.56/1975.47 c #Conflicts: 823000 | #Constraints: 125211
1969.56/1975.47 c #Conflicts: 824000 | #Constraints: 126211
1969.56/1975.47 c #Conflicts: 825000 | #Constraints: 127211
1969.56/1975.47 c #Conflicts: 826000 | #Constraints: 128211
1969.56/1975.47 c #Conflicts: 827000 | #Constraints: 129211
1969.56/1975.47 c #Conflicts: 828000 | #Constraints: 130211
1969.56/1975.47 c INPROCESSING
1969.56/1975.47 c GARBAGE COLLECT
1969.56/1975.47 c #Conflicts: 829000 | #Constraints: 113229
1969.56/1975.47 c #Conflicts: 830000 | #Constraints: 114229
1969.56/1975.47 c #Conflicts: 831000 | #Constraints: 115229
1969.56/1975.47 c #Conflicts: 832000 | #Constraints: 116229
1969.56/1975.47 c #Conflicts: 833000 | #Constraints: 117229
1969.56/1975.47 c #Conflicts: 834000 | #Constraints: 118229
1969.56/1975.47 c #Conflicts: 835000 | #Constraints: 119229
1969.56/1975.47 c #Conflicts: 836000 | #Constraints: 120229
1969.56/1975.47 c #Conflicts: 837000 | #Constraints: 121229
1969.56/1975.47 c #Conflicts: 838000 | #Constraints: 122229
1969.56/1975.47 c #Conflicts: 839000 | #Constraints: 123229
1969.56/1975.47 c #Conflicts: 840000 | #Constraints: 124229
1969.56/1975.47 c #Conflicts: 841000 | #Constraints: 125229
1969.56/1975.47 c #Conflicts: 842000 | #Constraints: 126229
1969.56/1975.47 c #Conflicts: 843000 | #Constraints: 127229
1969.56/1975.47 c #Conflicts: 844000 | #Constraints: 128229
1969.56/1975.47 c #Conflicts: 845000 | #Constraints: 129229
1969.56/1975.47 c #Conflicts: 846000 | #Constraints: 130229
1969.56/1975.47 c INPROCESSING
1969.56/1975.47 c GARBAGE COLLECT
1969.56/1975.47 c #Conflicts: 847000 | #Constraints: 113039
1969.56/1975.47 c #Conflicts: 848000 | #Constraints: 114039
1969.56/1975.47 c #Conflicts: 849000 | #Constraints: 115039
1969.56/1975.47 c #Conflicts: 850000 | #Constraints: 116039
1969.56/1975.47 c #Conflicts: 851000 | #Constraints: 117039
1969.56/1975.47 c #Conflicts: 852000 | #Constraints: 118039
1969.56/1975.47 c #Conflicts: 853000 | #Constraints: 119039
1969.56/1975.47 c #Conflicts: 854000 | #Constraints: 120039
1969.56/1975.47 c #Conflicts: 855000 | #Constraints: 121039
1969.56/1975.47 c #Conflicts: 856000 | #Constraints: 122039
1969.56/1975.47 c #Conflicts: 857000 | #Constraints: 123039
1969.56/1975.47 c #Conflicts: 858000 | #Constraints: 124039
1969.56/1975.47 c #Conflicts: 859000 | #Constraints: 125039
1969.56/1975.47 c #Conflicts: 860000 | #Constraints: 126039
1969.56/1975.47 c #Conflicts: 861000 | #Constraints: 127039
1969.56/1975.47 c #Conflicts: 862000 | #Constraints: 128039
1969.56/1975.47 c #Conflicts: 863000 | #Constraints: 129039
1969.56/1975.47 c #Conflicts: 864000 | #Constraints: 130039
1969.56/1975.47 c #Conflicts: 865000 | #Constraints: 131039
1969.56/1975.47 c INPROCESSING
1969.56/1975.47 c GARBAGE COLLECT
1969.56/1975.47 c #Conflicts: 866000 | #Constraints: 113639
1969.56/1975.47 c #Conflicts: 867000 | #Constraints: 114639
1969.56/1975.47 c #Conflicts: 868000 | #Constraints: 115639
1969.56/1975.47 c #Conflicts: 869000 | #Constraints: 116639
1969.56/1975.47 c #Conflicts: 870000 | #Constraints: 117639
1969.56/1975.47 c #Conflicts: 871000 | #Constraints: 118639
1969.56/1975.47 c #Conflicts: 872000 | #Constraints: 119639
1969.56/1975.47 c #Conflicts: 873000 | #Constraints: 120639
1969.56/1975.47 c #Conflicts: 874000 | #Constraints: 121639
1969.56/1975.47 c #Conflicts: 875000 | #Constraints: 122639
1969.56/1975.47 c #Conflicts: 876000 | #Constraints: 123639
1969.56/1975.47 c #Conflicts: 877000 | #Constraints: 124639
2173.06/2179.59 c #Conflicts: 878000 | #Constraints: 125639
2173.06/2179.59 c #Conflicts: 879000 | #Constraints: 126639
2173.06/2179.59 c #Conflicts: 880000 | #Constraints: 127639
2173.06/2179.59 c #Conflicts: 881000 | #Constraints: 128639
2173.06/2179.59 c #Conflicts: 882000 | #Constraints: 129639
2173.06/2179.59 c #Conflicts: 883000 | #Constraints: 130639
2173.06/2179.59 c #Conflicts: 884000 | #Constraints: 131639
2173.06/2179.59 c INPROCESSING
2173.06/2179.59 c GARBAGE COLLECT
2173.06/2179.59 c #Conflicts: 885000 | #Constraints: 114024
2173.06/2179.59 c #Conflicts: 886000 | #Constraints: 115024
2173.06/2179.59 c #Conflicts: 887000 | #Constraints: 116024
2173.06/2179.59 c #Conflicts: 888000 | #Constraints: 117024
2173.06/2179.59 c #Conflicts: 889000 | #Constraints: 118024
2173.06/2179.59 c #Conflicts: 890000 | #Constraints: 119024
2173.06/2179.59 c #Conflicts: 891000 | #Constraints: 120024
2173.06/2179.59 c #Conflicts: 892000 | #Constraints: 121024
2173.06/2179.59 c #Conflicts: 893000 | #Constraints: 122024
2173.06/2179.59 c #Conflicts: 894000 | #Constraints: 123024
2173.06/2179.59 c #Conflicts: 895000 | #Constraints: 124024
2173.06/2179.59 c #Conflicts: 896000 | #Constraints: 125024
2173.06/2179.59 c #Conflicts: 897000 | #Constraints: 126024
2173.06/2179.59 c #Conflicts: 898000 | #Constraints: 127024
2173.06/2179.59 c #Conflicts: 899000 | #Constraints: 128024
2173.06/2179.59 c #Conflicts: 900000 | #Constraints: 129024
2173.06/2179.59 c #Conflicts: 901000 | #Constraints: 130024
2173.06/2179.59 c #Conflicts: 902000 | #Constraints: 131024
2173.06/2179.59 c #Conflicts: 903000 | #Constraints: 132024
2173.06/2179.59 c INPROCESSING
2173.06/2179.59 c GARBAGE COLLECT
2173.06/2179.59 c #Conflicts: 904000 | #Constraints: 114219
2173.06/2179.59 c #Conflicts: 905000 | #Constraints: 115219
2173.06/2179.59 c #Conflicts: 906000 | #Constraints: 116219
2173.06/2179.59 c #Conflicts: 907000 | #Constraints: 117219
2173.06/2179.59 c #Conflicts: 908000 | #Constraints: 118219
2173.06/2179.59 c #Conflicts: 909000 | #Constraints: 119219
2173.06/2179.59 c #Conflicts: 910000 | #Constraints: 120219
2173.06/2179.59 c #Conflicts: 911000 | #Constraints: 121219
2173.06/2179.59 c #Conflicts: 912000 | #Constraints: 122219
2173.06/2179.59 c #Conflicts: 913000 | #Constraints: 123219
2173.06/2179.59 c #Conflicts: 914000 | #Constraints: 124219
2173.06/2179.59 c #Conflicts: 915000 | #Constraints: 125219
2173.06/2179.59 c #Conflicts: 916000 | #Constraints: 126219
2173.06/2179.59 c #Conflicts: 917000 | #Constraints: 127219
2173.06/2179.59 c #Conflicts: 918000 | #Constraints: 128219
2173.06/2179.59 c #Conflicts: 919000 | #Constraints: 129219
2173.06/2179.59 c #Conflicts: 920000 | #Constraints: 130219
2173.06/2179.59 c #Conflicts: 921000 | #Constraints: 131219
2173.06/2179.59 c #Conflicts: 922000 | #Constraints: 132219
2173.06/2179.59 c INPROCESSING
2173.06/2179.59 c GARBAGE COLLECT
2173.06/2179.59 c #Conflicts: 923000 | #Constraints: 114231
2173.06/2179.59 c #Conflicts: 924000 | #Constraints: 115231
2173.06/2179.59 c #Conflicts: 925000 | #Constraints: 116231
2173.06/2179.59 c #Conflicts: 926000 | #Constraints: 117231
2173.06/2179.59 c #Conflicts: 927000 | #Constraints: 118231
2173.06/2179.59 c #Conflicts: 928000 | #Constraints: 119231
2173.06/2179.59 c #Conflicts: 929000 | #Constraints: 120231
2173.06/2179.59 c #Conflicts: 930000 | #Constraints: 121231
2173.06/2179.59 c #Conflicts: 931000 | #Constraints: 122231
2173.06/2179.59 c #Conflicts: 932000 | #Constraints: 123231
2173.06/2179.59 c #Conflicts: 933000 | #Constraints: 124231
2173.06/2179.59 c #Conflicts: 934000 | #Constraints: 125231
2173.06/2179.59 c #Conflicts: 935000 | #Constraints: 126231
2173.06/2179.59 c #Conflicts: 936000 | #Constraints: 127231
2173.06/2179.59 c #Conflicts: 937000 | #Constraints: 128231
2173.06/2179.59 c #Conflicts: 938000 | #Constraints: 129231
2173.06/2179.59 c #Conflicts: 939000 | #Constraints: 130231
2173.06/2179.59 c #Conflicts: 940000 | #Constraints: 131231
2173.06/2179.59 c #Conflicts: 941000 | #Constraints: 132231
2173.06/2179.59 c INPROCESSING
2173.06/2179.59 c GARBAGE COLLECT
2173.06/2179.59 c #Conflicts: 942000 | #Constraints: 114034
2173.06/2179.59 c #Conflicts: 943000 | #Constraints: 115034
2173.06/2179.59 c #Conflicts: 944000 | #Constraints: 116034
2173.06/2179.59 c #Conflicts: 945000 | #Constraints: 117034
2173.06/2179.59 c #Conflicts: 946000 | #Constraints: 118034
2173.06/2179.59 c #Conflicts: 947000 | #Constraints: 119034
2173.06/2179.59 c #Conflicts: 948000 | #Constraints: 120034
2173.06/2179.59 c #Conflicts: 949000 | #Constraints: 121034
2173.06/2179.59 c #Conflicts: 950000 | #Constraints: 122034
2173.06/2179.59 c #Conflicts: 951000 | #Constraints: 123034
2173.06/2179.59 c #Conflicts: 952000 | #Constraints: 124034
2173.06/2179.59 c #Conflicts: 953000 | #Constraints: 125034
2173.06/2179.59 c #Conflicts: 954000 | #Constraints: 126034
2347.23/2354.24 c #Conflicts: 955000 | #Constraints: 127034
2347.23/2354.24 c #Conflicts: 956000 | #Constraints: 128034
2347.23/2354.24 c #Conflicts: 957000 | #Constraints: 129034
2347.23/2354.24 c #Conflicts: 958000 | #Constraints: 130034
2347.23/2354.24 c #Conflicts: 959000 | #Constraints: 131034
2347.23/2354.24 c #Conflicts: 960000 | #Constraints: 132034
2347.23/2354.24 c #Conflicts: 961000 | #Constraints: 133034
2347.23/2354.24 c INPROCESSING
2347.23/2354.24 c GARBAGE COLLECT
2347.23/2354.24 c #Conflicts: 962000 | #Constraints: 114634
2347.23/2354.24 c #Conflicts: 963000 | #Constraints: 115634
2347.23/2354.24 c #Conflicts: 964000 | #Constraints: 116634
2347.23/2354.24 c #Conflicts: 965000 | #Constraints: 117634
2347.23/2354.24 c #Conflicts: 966000 | #Constraints: 118634
2347.23/2354.24 c #Conflicts: 967000 | #Constraints: 119634
2347.23/2354.24 c #Conflicts: 968000 | #Constraints: 120634
2347.23/2354.24 c #Conflicts: 969000 | #Constraints: 121634
2347.23/2354.24 c #Conflicts: 970000 | #Constraints: 122634
2347.23/2354.24 c #Conflicts: 971000 | #Constraints: 123634
2347.23/2354.24 c #Conflicts: 972000 | #Constraints: 124634
2347.23/2354.24 c #Conflicts: 973000 | #Constraints: 125634
2347.23/2354.24 c #Conflicts: 974000 | #Constraints: 126634
2347.23/2354.24 c #Conflicts: 975000 | #Constraints: 127634
2347.23/2354.24 c #Conflicts: 976000 | #Constraints: 128634
2347.23/2354.24 c #Conflicts: 977000 | #Constraints: 129634
2347.23/2354.24 c #Conflicts: 978000 | #Constraints: 130634
2347.23/2354.24 c #Conflicts: 979000 | #Constraints: 131634
2347.23/2354.24 c #Conflicts: 980000 | #Constraints: 132634
2347.23/2354.24 c #Conflicts: 981000 | #Constraints: 133634
2347.23/2354.24 c INPROCESSING
2347.23/2354.24 c GARBAGE COLLECT
2347.23/2354.24 c #Conflicts: 982000 | #Constraints: 115034
2347.23/2354.24 c #Conflicts: 983000 | #Constraints: 116034
2347.23/2354.24 c #Conflicts: 984000 | #Constraints: 117034
2347.23/2354.24 c #Conflicts: 985000 | #Constraints: 118034
2347.23/2354.24 c #Conflicts: 986000 | #Constraints: 119034
2347.23/2354.24 c #Conflicts: 987000 | #Constraints: 120034
2347.23/2354.24 c #Conflicts: 988000 | #Constraints: 121034
2347.23/2354.24 c #Conflicts: 989000 | #Constraints: 122034
2347.23/2354.24 c #Conflicts: 990000 | #Constraints: 123034
2347.23/2354.24 c #Conflicts: 991000 | #Constraints: 124034
2347.23/2354.24 c #Conflicts: 992000 | #Constraints: 125034
2347.23/2354.24 c #Conflicts: 993000 | #Constraints: 126034
2347.23/2354.24 c #Conflicts: 994000 | #Constraints: 127034
2347.23/2354.24 c #Conflicts: 995000 | #Constraints: 128034
2347.23/2354.24 c #Conflicts: 996000 | #Constraints: 129034
2347.23/2354.24 c #Conflicts: 997000 | #Constraints: 130034
2347.23/2354.24 c #Conflicts: 998000 | #Constraints: 131034
2347.23/2354.24 c #Conflicts: 999000 | #Constraints: 132034
2347.23/2354.24 c #Conflicts: 1000000 | #Constraints: 133034
2347.23/2354.24 c #Conflicts: 1001000 | #Constraints: 134034
2347.23/2354.24 c INPROCESSING
2347.23/2354.24 c GARBAGE COLLECT
2347.23/2354.24 c #Conflicts: 1002000 | #Constraints: 115247
2347.23/2354.24 c #Conflicts: 1003000 | #Constraints: 116247
2347.23/2354.24 c #Conflicts: 1004000 | #Constraints: 117247
2347.23/2354.24 c #Conflicts: 1005000 | #Constraints: 118247
2347.23/2354.24 c #Conflicts: 1006000 | #Constraints: 119247
2347.23/2354.24 c #Conflicts: 1007000 | #Constraints: 120247
2347.23/2354.24 c #Conflicts: 1008000 | #Constraints: 121247
2347.23/2354.24 c #Conflicts: 1009000 | #Constraints: 122247
2347.23/2354.24 c #Conflicts: 1010000 | #Constraints: 123247
2347.23/2354.24 c #Conflicts: 1011000 | #Constraints: 124247
2347.23/2354.24 c #Conflicts: 1012000 | #Constraints: 125247
2347.23/2354.24 c #Conflicts: 1013000 | #Constraints: 126247
2347.23/2354.24 c #Conflicts: 1014000 | #Constraints: 127247
2347.23/2354.24 c #Conflicts: 1015000 | #Constraints: 128247
2347.23/2354.24 c #Conflicts: 1016000 | #Constraints: 129247
2347.23/2354.24 c #Conflicts: 1017000 | #Constraints: 130247
2347.23/2354.24 c #Conflicts: 1018000 | #Constraints: 131247
2347.23/2354.24 c #Conflicts: 1019000 | #Constraints: 132247
2347.23/2354.24 c #Conflicts: 1020000 | #Constraints: 133247
2347.23/2354.24 c #Conflicts: 1021000 | #Constraints: 134247
2347.23/2354.24 c INPROCESSING
2347.23/2354.24 c GARBAGE COLLECT
2347.23/2354.24 c #Conflicts: 1022000 | #Constraints: 115242
2347.23/2354.24 c #Conflicts: 1023000 | #Constraints: 116242
2347.23/2354.24 c #Conflicts: 1024000 | #Constraints: 117242
2347.23/2354.24 c #Conflicts: 1025000 | #Constraints: 118242
2347.23/2354.24 c #Conflicts: 1026000 | #Constraints: 119242
2347.23/2354.24 c #Conflicts: 1027000 | #Constraints: 120242
2347.23/2354.24 c #Conflicts: 1028000 | #Constraints: 121242
2347.23/2354.24 c #Conflicts: 1029000 | #Constraints: 122242
2347.23/2354.24 c #Conflicts: 1030000 | #Constraints: 123242
2562.02/2569.69 c #Conflicts: 1031000 | #Constraints: 124242
2562.02/2569.69 c #Conflicts: 1032000 | #Constraints: 125242
2562.02/2569.69 c #Conflicts: 1033000 | #Constraints: 126242
2562.02/2569.69 c #Conflicts: 1034000 | #Constraints: 127242
2562.02/2569.69 c #Conflicts: 1035000 | #Constraints: 128242
2562.02/2569.69 c #Conflicts: 1036000 | #Constraints: 129242
2562.02/2569.69 c #Conflicts: 1037000 | #Constraints: 130242
2562.02/2569.69 c #Conflicts: 1038000 | #Constraints: 131242
2562.02/2569.69 c #Conflicts: 1039000 | #Constraints: 132242
2562.02/2569.69 c #Conflicts: 1040000 | #Constraints: 133242
2562.02/2569.69 c #Conflicts: 1041000 | #Constraints: 134242
2562.02/2569.69 c INPROCESSING
2562.02/2569.69 c GARBAGE COLLECT
2562.02/2569.69 c #Conflicts: 1042000 | #Constraints: 115040
2562.02/2569.69 c #Conflicts: 1043000 | #Constraints: 116040
2562.02/2569.69 c #Conflicts: 1044000 | #Constraints: 117040
2562.02/2569.69 c #Conflicts: 1045000 | #Constraints: 118040
2562.02/2569.69 c #Conflicts: 1046000 | #Constraints: 119040
2562.02/2569.69 c #Conflicts: 1047000 | #Constraints: 120040
2562.02/2569.69 c #Conflicts: 1048000 | #Constraints: 121040
2562.02/2569.69 c #Conflicts: 1049000 | #Constraints: 122040
2562.02/2569.69 c #Conflicts: 1050000 | #Constraints: 123040
2562.02/2569.69 c #Conflicts: 1051000 | #Constraints: 124040
2562.02/2569.69 c #Conflicts: 1052000 | #Constraints: 125040
2562.02/2569.69 c #Conflicts: 1053000 | #Constraints: 126040
2562.02/2569.69 c #Conflicts: 1054000 | #Constraints: 127040
2562.02/2569.69 c #Conflicts: 1055000 | #Constraints: 128040
2562.02/2569.69 c #Conflicts: 1056000 | #Constraints: 129040
2562.02/2569.69 c #Conflicts: 1057000 | #Constraints: 130040
2562.02/2569.69 c #Conflicts: 1058000 | #Constraints: 131040
2562.02/2569.69 c #Conflicts: 1059000 | #Constraints: 132040
2562.02/2569.69 c #Conflicts: 1060000 | #Constraints: 133040
2562.02/2569.69 c #Conflicts: 1061000 | #Constraints: 134040
2562.02/2569.69 c #Conflicts: 1062000 | #Constraints: 135040
2562.02/2569.69 c INPROCESSING
2562.02/2569.69 c GARBAGE COLLECT
2562.02/2569.69 c #Conflicts: 1063000 | #Constraints: 115631
2562.02/2569.69 c #Conflicts: 1064000 | #Constraints: 116631
2562.02/2569.69 c #Conflicts: 1065000 | #Constraints: 117631
2562.02/2569.69 c #Conflicts: 1066000 | #Constraints: 118631
2562.02/2569.69 c #Conflicts: 1067000 | #Constraints: 119631
2562.02/2569.69 c #Conflicts: 1068000 | #Constraints: 120631
2562.02/2569.69 c #Conflicts: 1069000 | #Constraints: 121631
2562.02/2569.69 c #Conflicts: 1070000 | #Constraints: 122631
2562.02/2569.69 c #Conflicts: 1071000 | #Constraints: 123631
2562.02/2569.69 c #Conflicts: 1072000 | #Constraints: 124631
2562.02/2569.69 c #Conflicts: 1073000 | #Constraints: 125631
2562.02/2569.69 c #Conflicts: 1074000 | #Constraints: 126631
2562.02/2569.69 c #Conflicts: 1075000 | #Constraints: 127631
2562.02/2569.69 c #Conflicts: 1076000 | #Constraints: 128631
2562.02/2569.69 c #Conflicts: 1077000 | #Constraints: 129631
2562.02/2569.69 c #Conflicts: 1078000 | #Constraints: 130631
2562.02/2569.69 c #Conflicts: 1079000 | #Constraints: 131631
2562.02/2569.69 c #Conflicts: 1080000 | #Constraints: 132631
2562.02/2569.69 c #Conflicts: 1081000 | #Constraints: 133631
2562.02/2569.69 c #Conflicts: 1082000 | #Constraints: 134631
2562.02/2569.69 c #Conflicts: 1083000 | #Constraints: 135631
2562.02/2569.69 c INPROCESSING
2562.02/2569.69 c GARBAGE COLLECT
2562.02/2569.69 c #Conflicts: 1084000 | #Constraints: 116044
2562.02/2569.69 c #Conflicts: 1085000 | #Constraints: 117044
2562.02/2569.69 c #Conflicts: 1086000 | #Constraints: 118044
2562.02/2569.69 c #Conflicts: 1087000 | #Constraints: 119044
2562.02/2569.69 c #Conflicts: 1088000 | #Constraints: 120044
2562.02/2569.69 c #Conflicts: 1089000 | #Constraints: 121044
2562.02/2569.69 c #Conflicts: 1090000 | #Constraints: 122044
2562.02/2569.69 c #Conflicts: 1091000 | #Constraints: 123044
2562.02/2569.69 c #Conflicts: 1092000 | #Constraints: 124044
2562.02/2569.69 c #Conflicts: 1093000 | #Constraints: 125044
2562.02/2569.69 c #Conflicts: 1094000 | #Constraints: 126044
2562.02/2569.69 c #Conflicts: 1095000 | #Constraints: 127044
2562.02/2569.69 c #Conflicts: 1096000 | #Constraints: 128044
2562.02/2569.69 c #Conflicts: 1097000 | #Constraints: 129044
2562.02/2569.69 c #Conflicts: 1098000 | #Constraints: 130044
2562.02/2569.69 c #Conflicts: 1099000 | #Constraints: 131044
2562.02/2569.69 c #Conflicts: 1100000 | #Constraints: 132044
2562.02/2569.69 c #Conflicts: 1101000 | #Constraints: 133044
2562.02/2569.69 c #Conflicts: 1102000 | #Constraints: 134044
2562.02/2569.69 c #Conflicts: 1103000 | #Constraints: 135044
2562.02/2569.69 c #Conflicts: 1104000 | #Constraints: 136044
2562.02/2569.69 c INPROCESSING
2562.02/2569.69 c GARBAGE COLLECT
2562.02/2569.69 c #Conflicts: 1105000 | #Constraints: 116236
2562.02/2569.69 c #Conflicts: 1106000 | #Constraints: 117236
2799.91/2808.20 c #Conflicts: 1107000 | #Constraints: 118236
2799.91/2808.20 c #Conflicts: 1108000 | #Constraints: 119236
2799.91/2808.20 c #Conflicts: 1109000 | #Constraints: 120236
2799.91/2808.20 c #Conflicts: 1110000 | #Constraints: 121236
2799.91/2808.20 c #Conflicts: 1111000 | #Constraints: 122236
2799.91/2808.20 c #Conflicts: 1112000 | #Constraints: 123236
2799.91/2808.20 c #Conflicts: 1113000 | #Constraints: 124236
2799.91/2808.20 c #Conflicts: 1114000 | #Constraints: 125236
2799.91/2808.20 c #Conflicts: 1115000 | #Constraints: 126236
2799.91/2808.20 c #Conflicts: 1116000 | #Constraints: 127236
2799.91/2808.20 c #Conflicts: 1117000 | #Constraints: 128236
2799.91/2808.20 c #Conflicts: 1118000 | #Constraints: 129236
2799.91/2808.20 c #Conflicts: 1119000 | #Constraints: 130236
2799.91/2808.20 c #Conflicts: 1120000 | #Constraints: 131236
2799.91/2808.20 c #Conflicts: 1121000 | #Constraints: 132236
2799.91/2808.20 c #Conflicts: 1122000 | #Constraints: 133236
2799.91/2808.20 c #Conflicts: 1123000 | #Constraints: 134236
2799.91/2808.20 c #Conflicts: 1124000 | #Constraints: 135236
2799.91/2808.20 c #Conflicts: 1125000 | #Constraints: 136236
2799.91/2808.20 c INPROCESSING
2799.91/2808.20 c GARBAGE COLLECT
2799.91/2808.20 c #Conflicts: 1126000 | #Constraints: 116234
2799.91/2808.20 c #Conflicts: 1127000 | #Constraints: 117234
2799.91/2808.20 c #Conflicts: 1128000 | #Constraints: 118234
2799.91/2808.20 c #Conflicts: 1129000 | #Constraints: 119234
2799.91/2808.20 c #Conflicts: 1130000 | #Constraints: 120234
2799.91/2808.20 c #Conflicts: 1131000 | #Constraints: 121234
2799.91/2808.20 c #Conflicts: 1132000 | #Constraints: 122234
2799.91/2808.20 c #Conflicts: 1133000 | #Constraints: 123234
2799.91/2808.20 c #Conflicts: 1134000 | #Constraints: 124234
2799.91/2808.20 c #Conflicts: 1135000 | #Constraints: 125234
2799.91/2808.20 c #Conflicts: 1136000 | #Constraints: 126234
2799.91/2808.20 c #Conflicts: 1137000 | #Constraints: 127234
2799.91/2808.20 c #Conflicts: 1138000 | #Constraints: 128234
2799.91/2808.20 c #Conflicts: 1139000 | #Constraints: 129234
2799.91/2808.20 c #Conflicts: 1140000 | #Constraints: 130234
2799.91/2808.20 c #Conflicts: 1141000 | #Constraints: 131234
2799.91/2808.20 c #Conflicts: 1142000 | #Constraints: 132234
2799.91/2808.20 c #Conflicts: 1143000 | #Constraints: 133234
2799.91/2808.20 c #Conflicts: 1144000 | #Constraints: 134234
2799.91/2808.20 c #Conflicts: 1145000 | #Constraints: 135234
2799.91/2808.20 c #Conflicts: 1146000 | #Constraints: 136234
2799.91/2808.20 c INPROCESSING
2799.91/2808.20 c GARBAGE COLLECT
2799.91/2808.20 c #Conflicts: 1147000 | #Constraints: 116039
2799.91/2808.20 c #Conflicts: 1148000 | #Constraints: 117039
2799.91/2808.20 c #Conflicts: 1149000 | #Constraints: 118039
2799.91/2808.20 c #Conflicts: 1150000 | #Constraints: 119039
2799.91/2808.20 c #Conflicts: 1151000 | #Constraints: 120039
2799.91/2808.20 c #Conflicts: 1152000 | #Constraints: 121039
2799.91/2808.20 c #Conflicts: 1153000 | #Constraints: 122039
2799.91/2808.20 c #Conflicts: 1154000 | #Constraints: 123039
2799.91/2808.20 c #Conflicts: 1155000 | #Constraints: 124039
2799.91/2808.20 c #Conflicts: 1156000 | #Constraints: 125039
2799.91/2808.20 c #Conflicts: 1157000 | #Constraints: 126039
2799.91/2808.20 c #Conflicts: 1158000 | #Constraints: 127039
2799.91/2808.20 c #Conflicts: 1159000 | #Constraints: 128039
2799.91/2808.20 c #Conflicts: 1160000 | #Constraints: 129039
2799.91/2808.20 c #Conflicts: 1161000 | #Constraints: 130039
2799.91/2808.20 c #Conflicts: 1162000 | #Constraints: 131039
2799.91/2808.20 c #Conflicts: 1163000 | #Constraints: 132039
2799.91/2808.20 c #Conflicts: 1164000 | #Constraints: 133039
2799.91/2808.20 c #Conflicts: 1165000 | #Constraints: 134039
2799.91/2808.20 c #Conflicts: 1166000 | #Constraints: 135039
2799.91/2808.20 c #Conflicts: 1167000 | #Constraints: 136039
2799.91/2808.20 c #Conflicts: 1168000 | #Constraints: 137039
2799.91/2808.20 c INPROCESSING
2799.91/2808.20 c GARBAGE COLLECT
2799.91/2808.20 c #Conflicts: 1169000 | #Constraints: 116650
2799.91/2808.20 c #Conflicts: 1170000 | #Constraints: 117650
2799.91/2808.20 c #Conflicts: 1171000 | #Constraints: 118650
2799.91/2808.20 c #Conflicts: 1172000 | #Constraints: 119650
2799.91/2808.20 c #Conflicts: 1173000 | #Constraints: 120650
2799.91/2808.20 c #Conflicts: 1174000 | #Constraints: 121650
2799.91/2808.20 c #Conflicts: 1175000 | #Constraints: 122650
2799.91/2808.20 c #Conflicts: 1176000 | #Constraints: 123650
2799.91/2808.20 c #Conflicts: 1177000 | #Constraints: 124650
2799.91/2808.20 c #Conflicts: 1178000 | #Constraints: 125650
2799.91/2808.20 c #Conflicts: 1179000 | #Constraints: 126650
2799.91/2808.20 c #Conflicts: 1180000 | #Constraints: 127650
2799.91/2808.20 c #Conflicts: 1181000 | #Constraints: 128650
2799.91/2808.20 c #Conflicts: 1182000 | #Constraints: 129650
2799.91/2808.20 c #Conflicts: 1183000 | #Constraints: 130650
3058.07/3067.18 c #Conflicts: 1184000 | #Constraints: 131650
3058.07/3067.18 c #Conflicts: 1185000 | #Constraints: 132650
3058.07/3067.18 c #Conflicts: 1186000 | #Constraints: 133650
3058.07/3067.18 c #Conflicts: 1187000 | #Constraints: 134650
3058.07/3067.18 c #Conflicts: 1188000 | #Constraints: 135650
3058.07/3067.18 c #Conflicts: 1189000 | #Constraints: 136650
3058.07/3067.18 c #Conflicts: 1190000 | #Constraints: 137650
3058.07/3067.18 c INPROCESSING
3058.07/3067.18 c GARBAGE COLLECT
3058.07/3067.18 c #Conflicts: 1191000 | #Constraints: 117044
3058.07/3067.18 c #Conflicts: 1192000 | #Constraints: 118044
3058.07/3067.18 c #Conflicts: 1193000 | #Constraints: 119044
3058.07/3067.18 c #Conflicts: 1194000 | #Constraints: 120044
3058.07/3067.18 c #Conflicts: 1195000 | #Constraints: 121044
3058.07/3067.18 c #Conflicts: 1196000 | #Constraints: 122044
3058.07/3067.18 c #Conflicts: 1197000 | #Constraints: 123044
3058.07/3067.18 c #Conflicts: 1198000 | #Constraints: 124044
3058.07/3067.18 c #Conflicts: 1199000 | #Constraints: 125044
3058.07/3067.18 c #Conflicts: 1200000 | #Constraints: 126044
3058.07/3067.18 c #Conflicts: 1201000 | #Constraints: 127044
3058.07/3067.18 c #Conflicts: 1202000 | #Constraints: 128044
3058.07/3067.18 c #Conflicts: 1203000 | #Constraints: 129044
3058.07/3067.18 c #Conflicts: 1204000 | #Constraints: 130044
3058.07/3067.18 c #Conflicts: 1205000 | #Constraints: 131044
3058.07/3067.18 c #Conflicts: 1206000 | #Constraints: 132044
3058.07/3067.18 c #Conflicts: 1207000 | #Constraints: 133044
3058.07/3067.18 c #Conflicts: 1208000 | #Constraints: 134044
3058.07/3067.18 c #Conflicts: 1209000 | #Constraints: 135044
3058.07/3067.18 c #Conflicts: 1210000 | #Constraints: 136044
3058.07/3067.18 c #Conflicts: 1211000 | #Constraints: 137044
3058.07/3067.18 c #Conflicts: 1212000 | #Constraints: 138044
3058.07/3067.18 c INPROCESSING
3058.07/3067.18 c GARBAGE COLLECT
3058.07/3067.18 c #Conflicts: 1213000 | #Constraints: 117259
3058.07/3067.18 c #Conflicts: 1214000 | #Constraints: 118259
3058.07/3067.18 c #Conflicts: 1215000 | #Constraints: 119259
3058.07/3067.18 c #Conflicts: 1216000 | #Constraints: 120259
3058.07/3067.18 c #Conflicts: 1217000 | #Constraints: 121259
3058.07/3067.18 c #Conflicts: 1218000 | #Constraints: 122259
3058.07/3067.18 c #Conflicts: 1219000 | #Constraints: 123259
3058.07/3067.18 c #Conflicts: 1220000 | #Constraints: 124259
3058.07/3067.18 c #Conflicts: 1221000 | #Constraints: 125259
3058.07/3067.18 c #Conflicts: 1222000 | #Constraints: 126259
3058.07/3067.18 c #Conflicts: 1223000 | #Constraints: 127259
3058.07/3067.18 c #Conflicts: 1224000 | #Constraints: 128259
3058.07/3067.18 c #Conflicts: 1225000 | #Constraints: 129259
3058.07/3067.18 c #Conflicts: 1226000 | #Constraints: 130259
3058.07/3067.18 c #Conflicts: 1227000 | #Constraints: 131259
3058.07/3067.18 c #Conflicts: 1228000 | #Constraints: 132259
3058.07/3067.18 c #Conflicts: 1229000 | #Constraints: 133259
3058.07/3067.18 c #Conflicts: 1230000 | #Constraints: 134259
3058.07/3067.18 c #Conflicts: 1231000 | #Constraints: 135259
3058.07/3067.18 c #Conflicts: 1232000 | #Constraints: 136259
3058.07/3067.18 c #Conflicts: 1233000 | #Constraints: 137259
3058.07/3067.18 c #Conflicts: 1234000 | #Constraints: 138259
3058.07/3067.18 c INPROCESSING
3058.07/3067.18 c GARBAGE COLLECT
3058.07/3067.18 c #Conflicts: 1235000 | #Constraints: 117246
3058.07/3067.18 c #Conflicts: 1236000 | #Constraints: 118246
3058.07/3067.18 c #Conflicts: 1237000 | #Constraints: 119246
3058.07/3067.18 c #Conflicts: 1238000 | #Constraints: 120246
3058.07/3067.18 c #Conflicts: 1239000 | #Constraints: 121246
3058.07/3067.18 c #Conflicts: 1240000 | #Constraints: 122246
3058.07/3067.18 c #Conflicts: 1241000 | #Constraints: 123246
3058.07/3067.18 c #Conflicts: 1242000 | #Constraints: 124246
3058.07/3067.18 c #Conflicts: 1243000 | #Constraints: 125246
3058.07/3067.18 c #Conflicts: 1244000 | #Constraints: 126246
3058.07/3067.18 c #Conflicts: 1245000 | #Constraints: 127246
3058.07/3067.18 c #Conflicts: 1246000 | #Constraints: 128246
3058.07/3067.18 c #Conflicts: 1247000 | #Constraints: 129246
3058.07/3067.18 c #Conflicts: 1248000 | #Constraints: 130246
3058.07/3067.18 c #Conflicts: 1249000 | #Constraints: 131246
3058.07/3067.18 c #Conflicts: 1250000 | #Constraints: 132246
3058.07/3067.18 c #Conflicts: 1251000 | #Constraints: 133246
3058.07/3067.18 c #Conflicts: 1252000 | #Constraints: 134246
3058.07/3067.18 c #Conflicts: 1253000 | #Constraints: 135246
3058.07/3067.18 c #Conflicts: 1254000 | #Constraints: 136246
3058.07/3067.18 c #Conflicts: 1255000 | #Constraints: 137246
3058.07/3067.18 c #Conflicts: 1256000 | #Constraints: 138246
3058.07/3067.18 c INPROCESSING
3058.07/3067.18 c GARBAGE COLLECT
3058.07/3067.18 c #Conflicts: 1257000 | #Constraints: 117019
3058.07/3067.18 c #Conflicts: 1258000 | #Constraints: 118019
3058.07/3067.18 c #Conflicts: 1259000 | #Constraints: 119019
3310.63/3320.48 c #Conflicts: 1260000 | #Constraints: 120019
3310.63/3320.48 c #Conflicts: 1261000 | #Constraints: 121019
3310.63/3320.48 c #Conflicts: 1262000 | #Constraints: 122019
3310.63/3320.48 c #Conflicts: 1263000 | #Constraints: 123019
3310.63/3320.48 c #Conflicts: 1264000 | #Constraints: 124019
3310.63/3320.48 c #Conflicts: 1265000 | #Constraints: 125019
3310.63/3320.48 c #Conflicts: 1266000 | #Constraints: 126019
3310.63/3320.48 c #Conflicts: 1267000 | #Constraints: 127019
3310.63/3320.48 c #Conflicts: 1268000 | #Constraints: 128019
3310.63/3320.48 c #Conflicts: 1269000 | #Constraints: 129019
3310.63/3320.48 c #Conflicts: 1270000 | #Constraints: 130019
3310.63/3320.48 c #Conflicts: 1271000 | #Constraints: 131019
3310.63/3320.48 c #Conflicts: 1272000 | #Constraints: 132019
3310.63/3320.48 c #Conflicts: 1273000 | #Constraints: 133019
3310.63/3320.48 c #Conflicts: 1274000 | #Constraints: 134019
3310.63/3320.48 c #Conflicts: 1275000 | #Constraints: 135019
3310.63/3320.48 c #Conflicts: 1276000 | #Constraints: 136019
3310.63/3320.48 c #Conflicts: 1277000 | #Constraints: 137019
3310.63/3320.48 c #Conflicts: 1278000 | #Constraints: 138019
3310.63/3320.48 c #Conflicts: 1279000 | #Constraints: 139019
3310.63/3320.48 c INPROCESSING
3310.63/3320.48 c GARBAGE COLLECT
3310.63/3320.48 c #Conflicts: 1280000 | #Constraints: 117631
3310.63/3320.48 c #Conflicts: 1281000 | #Constraints: 118631
3310.63/3320.48 c #Conflicts: 1282000 | #Constraints: 119631
3310.63/3320.48 c #Conflicts: 1283000 | #Constraints: 120631
3310.63/3320.48 c #Conflicts: 1284000 | #Constraints: 121631
3310.63/3320.48 c #Conflicts: 1285000 | #Constraints: 122631
3310.63/3320.48 c #Conflicts: 1286000 | #Constraints: 123631
3310.63/3320.48 c #Conflicts: 1287000 | #Constraints: 124631
3310.63/3320.48 c #Conflicts: 1288000 | #Constraints: 125631
3310.63/3320.48 c #Conflicts: 1289000 | #Constraints: 126631
3310.63/3320.48 c #Conflicts: 1290000 | #Constraints: 127631
3310.63/3320.48 c #Conflicts: 1291000 | #Constraints: 128631
3310.63/3320.48 c #Conflicts: 1292000 | #Constraints: 129631
3310.63/3320.48 c #Conflicts: 1293000 | #Constraints: 130631
3310.63/3320.48 c #Conflicts: 1294000 | #Constraints: 131631
3310.63/3320.48 c #Conflicts: 1295000 | #Constraints: 132631
3310.63/3320.48 c #Conflicts: 1296000 | #Constraints: 133631
3310.63/3320.48 c #Conflicts: 1297000 | #Constraints: 134631
3310.63/3320.48 c #Conflicts: 1298000 | #Constraints: 135631
3310.63/3320.48 c #Conflicts: 1299000 | #Constraints: 136631
3310.63/3320.48 c #Conflicts: 1300000 | #Constraints: 137631
3310.63/3320.48 c #Conflicts: 1301000 | #Constraints: 138631
3310.63/3320.48 c #Conflicts: 1302000 | #Constraints: 139631
3310.63/3320.48 c INPROCESSING
3310.63/3320.48 c GARBAGE COLLECT
3310.63/3320.48 c #Conflicts: 1303000 | #Constraints: 118027
3310.63/3320.48 c #Conflicts: 1304000 | #Constraints: 119027
3310.63/3320.48 c #Conflicts: 1305000 | #Constraints: 120027
3310.63/3320.48 c #Conflicts: 1306000 | #Constraints: 121027
3310.63/3320.48 c #Conflicts: 1307000 | #Constraints: 122027
3310.63/3320.48 c #Conflicts: 1308000 | #Constraints: 123027
3310.63/3320.48 c #Conflicts: 1309000 | #Constraints: 124027
3310.63/3320.48 c #Conflicts: 1310000 | #Constraints: 125027
3310.63/3320.48 c #Conflicts: 1311000 | #Constraints: 126027
3310.63/3320.48 c #Conflicts: 1312000 | #Constraints: 127027
3310.63/3320.48 c #Conflicts: 1313000 | #Constraints: 128027
3310.63/3320.48 c #Conflicts: 1314000 | #Constraints: 129027
3310.63/3320.48 c #Conflicts: 1315000 | #Constraints: 130027
3310.63/3320.48 c #Conflicts: 1316000 | #Constraints: 131027
3310.63/3320.48 c #Conflicts: 1317000 | #Constraints: 132027
3310.63/3320.48 c #Conflicts: 1318000 | #Constraints: 133027
3310.63/3320.48 c #Conflicts: 1319000 | #Constraints: 134027
3310.63/3320.48 c #Conflicts: 1320000 | #Constraints: 135027
3310.63/3320.48 c #Conflicts: 1321000 | #Constraints: 136027
3310.63/3320.48 c #Conflicts: 1322000 | #Constraints: 137027
3310.63/3320.48 c #Conflicts: 1323000 | #Constraints: 138027
3310.63/3320.48 c #Conflicts: 1324000 | #Constraints: 139027
3310.63/3320.48 c #Conflicts: 1325000 | #Constraints: 140027
3310.63/3320.48 c INPROCESSING
3310.63/3320.48 c GARBAGE COLLECT
3310.63/3320.48 c #Conflicts: 1326000 | #Constraints: 118227
3310.63/3320.48 c #Conflicts: 1327000 | #Constraints: 119227
3310.63/3320.48 c #Conflicts: 1328000 | #Constraints: 120227
3310.63/3320.48 c #Conflicts: 1329000 | #Constraints: 121227
3310.63/3320.48 c #Conflicts: 1330000 | #Constraints: 122227
3310.63/3320.48 c #Conflicts: 1331000 | #Constraints: 123227
3310.63/3320.48 c #Conflicts: 1332000 | #Constraints: 124227
3310.63/3320.48 c #Conflicts: 1333000 | #Constraints: 125227
3310.63/3320.48 c #Conflicts: 1334000 | #Constraints: 126227
3310.63/3320.48 c #Conflicts: 1335000 | #Constraints: 127227
3310.63/3320.48 c #Conflicts: 1336000 | #Constraints: 128227
3575.68/3586.29 c #Conflicts: 1337000 | #Constraints: 129227
3575.68/3586.29 c #Conflicts: 1338000 | #Constraints: 130227
3575.68/3586.29 c #Conflicts: 1339000 | #Constraints: 131227
3575.68/3586.29 c #Conflicts: 1340000 | #Constraints: 132227
3575.68/3586.29 c #Conflicts: 1341000 | #Constraints: 133227
3575.68/3586.29 c #Conflicts: 1342000 | #Constraints: 134227
3575.68/3586.29 c #Conflicts: 1343000 | #Constraints: 135227
3575.68/3586.29 c #Conflicts: 1344000 | #Constraints: 136227
3575.68/3586.29 c #Conflicts: 1345000 | #Constraints: 137227
3575.68/3586.29 c #Conflicts: 1346000 | #Constraints: 138227
3575.68/3586.29 c #Conflicts: 1347000 | #Constraints: 139227
3575.68/3586.29 c #Conflicts: 1348000 | #Constraints: 140227
3575.68/3586.29 c INPROCESSING
3575.68/3586.29 c GARBAGE COLLECT
3575.68/3586.29 c #Conflicts: 1349000 | #Constraints: 118228
3575.68/3586.29 c #Conflicts: 1350000 | #Constraints: 119228
3575.68/3586.29 c #Conflicts: 1351000 | #Constraints: 120228
3575.68/3586.29 c #Conflicts: 1352000 | #Constraints: 121228
3575.68/3586.29 c #Conflicts: 1353000 | #Constraints: 122228
3575.68/3586.29 c #Conflicts: 1354000 | #Constraints: 123228
3575.68/3586.29 c #Conflicts: 1355000 | #Constraints: 124228
3575.68/3586.29 c #Conflicts: 1356000 | #Constraints: 125228
3575.68/3586.29 c #Conflicts: 1357000 | #Constraints: 126228
3575.68/3586.29 c #Conflicts: 1358000 | #Constraints: 127228
3575.68/3586.29 c #Conflicts: 1359000 | #Constraints: 128228
3575.68/3586.29 c #Conflicts: 1360000 | #Constraints: 129228
3575.68/3586.29 c #Conflicts: 1361000 | #Constraints: 130228
3575.68/3586.29 c #Conflicts: 1362000 | #Constraints: 131228
3575.68/3586.29 c #Conflicts: 1363000 | #Constraints: 132228
3575.68/3586.29 c #Conflicts: 1364000 | #Constraints: 133228
3575.68/3586.29 c #Conflicts: 1365000 | #Constraints: 134228
3575.68/3586.29 c #Conflicts: 1366000 | #Constraints: 135228
3575.68/3586.29 c #Conflicts: 1367000 | #Constraints: 136228
3575.68/3586.29 c #Conflicts: 1368000 | #Constraints: 137228
3575.68/3586.29 c #Conflicts: 1369000 | #Constraints: 138228
3575.68/3586.29 c #Conflicts: 1370000 | #Constraints: 139228
3575.68/3586.29 c #Conflicts: 1371000 | #Constraints: 140228
3575.68/3586.29 c INPROCESSING
3575.68/3586.29 c GARBAGE COLLECT
3575.68/3586.29 c #Conflicts: 1372000 | #Constraints: 118040
3575.68/3586.29 c #Conflicts: 1373000 | #Constraints: 119040
3575.68/3586.29 c #Conflicts: 1374000 | #Constraints: 120040
3575.68/3586.29 c #Conflicts: 1375000 | #Constraints: 121040
3575.68/3586.29 c #Conflicts: 1376000 | #Constraints: 122040
3575.68/3586.29 c #Conflicts: 1377000 | #Constraints: 123040
3575.68/3586.29 c #Conflicts: 1378000 | #Constraints: 124040
3575.68/3586.29 c #Conflicts: 1379000 | #Constraints: 125040
3575.68/3586.29 c #Conflicts: 1380000 | #Constraints: 126040
3575.68/3586.29 c #Conflicts: 1381000 | #Constraints: 127040
3575.68/3586.29 c #Conflicts: 1382000 | #Constraints: 128040
3575.68/3586.29 c #Conflicts: 1383000 | #Constraints: 129040
3575.68/3586.29 c #Conflicts: 1384000 | #Constraints: 130040
3575.68/3586.29 c #Conflicts: 1385000 | #Constraints: 131040
3575.68/3586.29 c #Conflicts: 1386000 | #Constraints: 132040
3575.68/3586.29 c #Conflicts: 1387000 | #Constraints: 133040
3575.68/3586.29 c #Conflicts: 1388000 | #Constraints: 134040
3575.68/3586.29 c #Conflicts: 1389000 | #Constraints: 135040
3575.68/3586.29 c #Conflicts: 1390000 | #Constraints: 136040
3575.68/3586.29 c #Conflicts: 1391000 | #Constraints: 137040
3575.68/3586.29 c #Conflicts: 1392000 | #Constraints: 138040
3575.68/3586.29 c #Conflicts: 1393000 | #Constraints: 139040
3575.68/3586.29 c #Conflicts: 1394000 | #Constraints: 140040
3575.68/3586.29 c #Conflicts: 1395000 | #Constraints: 141040
3575.68/3586.29 c INPROCESSING
3575.68/3586.29 c GARBAGE COLLECT
3575.68/3586.29 c #Conflicts: 1396000 | #Constraints: 118644
3575.68/3586.29 c #Conflicts: 1397000 | #Constraints: 119644
3575.68/3586.29 c #Conflicts: 1398000 | #Constraints: 120644
3575.68/3586.29 c #Conflicts: 1399000 | #Constraints: 121644
3575.68/3586.29 c #Conflicts: 1400000 | #Constraints: 122644
3575.68/3586.29 c #Conflicts: 1401000 | #Constraints: 123644
3575.68/3586.29 c #Conflicts: 1402000 | #Constraints: 124644
3575.68/3586.29 c #Conflicts: 1403000 | #Constraints: 125644
3575.68/3586.29 c #Conflicts: 1404000 | #Constraints: 126644
3575.68/3586.29 c #Conflicts: 1405000 | #Constraints: 127644
3575.68/3586.29 c #Conflicts: 1406000 | #Constraints: 128644
3575.68/3586.29 c #Conflicts: 1407000 | #Constraints: 129644
3575.68/3586.29 c #Conflicts: 1408000 | #Constraints: 130644
3575.68/3586.29 c #Conflicts: 1409000 | #Constraints: 131644
3575.68/3586.29 c #Conflicts: 1410000 | #Constraints: 132644
3575.68/3586.29 c #Conflicts: 1411000 | #Constraints: 133644
3575.68/3586.29 c #Conflicts: 1412000 | #Constraints: 134644
3575.68/3586.29 c #Conflicts: 1413000 | #Constraints: 135644
3600.01/3610.60 c #Conflicts: 1414000 | #Constraints: 136644
3600.01/3610.60 c #Conflicts: 1415000 | #Constraints: 137644
3600.01/3610.60 c #Conflicts: 1416000 | #Constraints: 138644
3600.01/3610.60 c #Conflicts: 1417000 | #Constraints: 139644
3600.01/3610.60 c #Conflicts: 1418000 | #Constraints: 140644
3600.01/3610.60 c Program interrupted by user.
3600.01/3610.60 c cpu time 3592.93 s
3600.01/3610.60 c deterministic time 808440784610 8.08e+11
3600.01/3610.60 c optimization time 79.9965 s
3600.01/3610.60 c total solve time 3213.55 s
3600.01/3610.60 c core-guided solve time 3213.55 s
3600.01/3610.60 c propagation time 3069.65 s
3600.01/3610.60 c conflict analysis time 175.826 s
3600.01/3610.60 c propagations 39188632
3600.01/3610.60 c resolve steps 11655520
3600.01/3610.60 c decisions 2796007
3600.01/3610.60 c conflicts 1418593
3600.01/3610.60 c restarts 2742
3600.01/3610.60 c inprocessing phases 109
3600.01/3610.60 c input clauses 94367
3600.01/3610.60 c input cardinalities 28
3600.01/3610.60 c input general constraints 0
3600.01/3610.60 c input average constraint length 2.39
3600.01/3610.60 c input average constraint degree 1.30
3600.01/3610.60 c learned clauses 871216
3600.01/3610.60 c learned cardinalities 377922
3600.01/3610.60 c learned general constraints 169454
3600.01/3610.60 c learned average constraint length 1205.88
3600.01/3610.60 c learned average constraint degree 15.18
3600.01/3610.60 c watched constraints 169454
3600.01/3610.60 c counting constraints 0
3600.01/3610.60 c gcd simplifications 109631
3600.01/3610.60 c detected cardinalities 32208
3600.01/3610.60 c weakened non-implied lits 17545858
3600.01/3610.60 c weakened non-implying lits 78091
3600.01/3610.60 c original variables 1272
3600.01/3610.60 c clausal propagations 28645349
3600.01/3610.60 c cardinality propagations 5418467
3600.01/3610.60 c watched propagations 946591
3600.01/3610.60 c counting propagations 0
3600.01/3610.60 c watch lookups 19943888957
3600.01/3610.60 c watch backjump lookups 2879352
3600.01/3610.60 c watch checks 782851569249
3600.01/3610.60 c propagation checks 1964972856
3600.01/3610.60 c constraint additions 3592087748
3600.01/3610.60 c trail pops 43401808
3600.01/3610.60 c formula constraints 94127
3600.01/3610.60 c learned constraints 1418592
3600.01/3610.60 c bound constraints 28
3600.01/3610.60 c core-guided constraints 240
3600.01/3610.60 c encountered formula constraints 10057235
3600.01/3610.60 c encountered learned constraints 3002163
3600.01/3610.60 c encountered bound constraints 2042
3600.01/3610.60 c encountered core-guided constraints 12673
3600.01/3610.60 c LP total time 0 s
3600.01/3610.60 c LP solve time 0 s
3600.01/3610.60 c LP constraints added 0
3600.01/3610.60 c LP constraints removed 0
3600.01/3610.60 c LP pivots internal 0
3600.01/3610.60 c LP pivots root 0
3600.01/3610.60 c LP calls 0
3600.01/3610.60 c LP optimalities 0
3600.01/3610.60 c LP no pivot count 0
3600.01/3610.60 c LP infeasibilities 0
3600.01/3610.60 c LP valid Farkas constraints 0
3600.01/3610.60 c LP learned Farkas constraints 0
3600.01/3610.60 c LP basis resets 0
3600.01/3610.60 c LP cycling count 0
3600.01/3610.60 c LP singular count 0
3600.01/3610.60 c LP no primal count 0
3600.01/3610.60 c LP no farkas count 0
3600.01/3610.60 c LP other issue count 0
3600.01/3610.60 c LP Gomory cuts 0
3600.01/3610.60 c LP learned cuts 0
3600.01/3610.60 c LP deleted cuts 0
3600.01/3610.60 c LP encountered Gomory constraints 0
3600.01/3610.60 c LP encountered Farkas constraints 0
3600.01/3610.60 c LP encountered learned Farkas constraints 0
3600.01/3610.60 c CG auxiliary variables introduced 240
3600.01/3610.60 c CG solutions found 0
3600.01/3610.60 c CG cores constructed 27
3600.01/3610.60 c CG core cardinality constraints returned 0
3600.01/3610.60 c CG unit cores 0
3600.01/3610.60 c CG single cores 27
3600.01/3610.60 c CG blocks removed during cardinality reduction 0
3600.01/3610.60 c CG first core best 0
3600.01/3610.60 c CG decision core best 0
3600.01/3610.60 c CG core reduction tie 0
3600.01/3610.60 c CG core degree average 1.00
3600.01/3610.60 c CG core slack average 7.78
3600.01/3610.60 c CG exhausted 0
3600.01/3610.60 c CG exhaust time 0 s
3600.01/3610.60 c CG trimmed 3
3600.01/3610.60 c CG trim time 0.000366 s
3600.01/3610.60 c CG minimized 0
3600.01/3610.60 c CG minimize time 0 s
3600.01/3610.60 c CG am1 prop time 0.006594 s
3600.01/3610.60 c CG # am1s reformulated 240
3600.01/3610.60 c CG lower bound derived from am1s 1031
3600.01/3610.60 c CG # clausal cores 27
3600.01/3610.60 c CG # cardinality cores 0
3600.01/3610.60 c CG # pb cores 0
3600.01/3610.60 c CG # pb reforms 0
3600.01/3610.60 c CG # cores discarded because of pb reform 0
3600.01/3610.60 d LOWERBOUND -214
3600.01/3610.60 d NCORES 27
3600.01/3610.60 d NPBCORES 0
3600.01/3610.60 d NPBREFORM 0
3600.01/3610.60 d NTRIMMED 3
3600.01/3610.60 d NEXHAUSTED 0
3600.01/3610.60 d NAM1S 240
3600.01/3610.60 d AM1LB 1031
3600.01/3610.60 c [Papilo Statistics]
3600.01/3610.60 c prepro time 0.255515s
3600.01/3610.60 c # tsx applied 0
3600.01/3610.60 c # tsx conflicts 0
3600.01/3610.60 c # bound changes 0
3600.01/3610.60 c # side changes 0
3600.01/3610.60 c # coef changes 0
3600.01/3610.60 c # rounds 1
3600.01/3610.60 c # deted vars 0
3600.01/3610.60 c # deted constrs 0
3600.01/3610.60 c # consecutive rounds of only bound changes 0
3600.01/3610.61 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (59538 MiB free)
memory of node 1: 64465 MiB (57860 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484805-1751282644/watcher-4484805-1751282644 -o /tmp/evaluation-result-4484805-1751282644/solver-4484805-1751282644 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751279693-40746 --watchdog 3760 mixed-bag HOME/instance-4484805-1751282644.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=41047, runsolver pid=41044
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 4.15 4.23 4.18 5/264 41048
/proc/meminfo: memFree=120212176/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=90404 memory=15720 CPUtime=0.08 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 2538 0 0 0 8 0 0 0 20 0 1 0 43943033 92573696 3930 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 22601 3930 2176 2842 0 4834 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 90404 KiB
Current children cumulated memory: 15720 KiB
[startup+0.205546 s]*
/proc/loadavg: 4.15 4.23 4.18 5/264 41048
/proc/meminfo: memFree=120177084/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=138848 memory=56272 CPUtime=0.19 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 10854 0 0 0 17 2 0 0 20 0 1 0 43943033 142180352 14036 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 34712 14036 2240 2842 0 16406 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 138848 KiB
Current children cumulated memory: 56272 KiB
[startup+0.305546 s]*
/proc/loadavg: 4.15 4.23 4.18 5/264 41048
/proc/meminfo: memFree=120165008/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=138848 memory=57040 CPUtime=0.29 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 11001 0 0 0 27 2 0 0 20 0 1 0 43943033 142180352 14260 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 34712 14260 2304 2842 0 16406 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 138848 KiB
Current children cumulated memory: 57040 KiB
[startup+0.700176 s]
/proc/loadavg: 4.15 4.23 4.18 5/264 41048
/proc/meminfo: memFree=120124988/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=246488 memory=168692 CPUtime=0.67 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 38732 0 0 0 61 6 0 0 20 0 1 0 43943033 252403712 42173 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 61622 42173 4064 2842 0 43316 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 246488 KiB
Current children cumulated memory: 168692 KiB
[startup+1.50019 s]
/proc/loadavg: 4.15 4.23 4.18 5/264 41048
/proc/meminfo: memFree=120011964/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=300644 memory=221824 CPUtime=1.47 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 57878 0 0 0 138 9 0 0 20 0 1 0 43943033 307859456 55456 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 75161 55456 4096 2842 0 56855 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 300644 KiB
Current children cumulated memory: 221824 KiB
[startup+3.10565 s]
/proc/loadavg: 4.14 4.23 4.18 5/264 41048
/proc/meminfo: memFree=119731956/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=612936 memory=491596 CPUtime=3.07 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 87037 0 0 0 290 17 0 0 20 0 1 0 43943033 627646464 122899 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 153234 122899 4288 2842 0 134928 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 612936 KiB
Current children cumulated memory: 491596 KiB
[startup+6.30017 s]
/proc/loadavg: 4.14 4.23 4.18 5/264 41048
/proc/meminfo: memFree=119700204/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=658572 memory=527944 CPUtime=6.25 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 94067 0 0 0 607 18 0 0 20 0 1 0 43943033 674377728 131986 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 164643 131986 4288 2842 0 146337 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 658572 KiB
Current children cumulated memory: 527944 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.22 4.18 5/264 41048
/proc/meminfo: memFree=119680112/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=675692 memory=536196 CPUtime=12.64 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 95132 0 0 0 1245 19 0 0 20 0 1 0 43943033 691908608 134049 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 168923 134049 4288 2842 0 150617 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 675692 KiB
Current children cumulated memory: 536196 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.23 4.18 5/264 41048
/proc/meminfo: memFree=119651912/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=768180 memory=544756 CPUtime=25.4 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 96751 0 0 0 2521 19 0 0 20 0 1 0 43943033 786616320 136189 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 192045 136189 4288 2842 0 173739 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 768180 KiB
Current children cumulated memory: 544756 KiB
[startup+51.1055 s]
/proc/loadavg: 4.12 4.21 4.18 5/263 41048
/proc/meminfo: memFree=119514584/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=945824 memory=653556 CPUtime=50.92 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 124005 0 0 0 5070 22 0 0 20 0 1 0 43943033 968523776 163389 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 236456 163389 4320 2842 0 218150 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 945824 KiB
Current children cumulated memory: 653556 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.19 4.17 5/263 41050
/proc/meminfo: memFree=119415016/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=973792 memory=674348 CPUtime=101.92 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 138682 0 0 0 10168 24 0 0 20 0 1 0 43943033 997163008 168587 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 243448 168587 4320 2842 0 225142 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 973792 KiB
Current children cumulated memory: 674348 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/263 41052
/proc/meminfo: memFree=119039700/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=1149156 memory=742828 CPUtime=161.74 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 155828 0 0 0 16147 27 0 0 20 0 1 0 43943033 1176735744 185707 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 287289 185707 4320 2842 0 268983 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 1149156 KiB
Current children cumulated memory: 742828 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/263 41055
/proc/meminfo: memFree=118874456/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=1250724 memory=825624 CPUtime=221.52 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 183956 0 0 0 22121 31 0 0 20 0 1 0 43943033 1280741376 206406 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 312681 206406 4320 2842 0 294375 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 1250724 KiB
Current children cumulated memory: 825624 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.15 4.16 5/264 41058
/proc/meminfo: memFree=118664116/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=1354936 memory=893556 CPUtime=281.33 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 197772 0 0 0 28099 34 0 0 20 0 1 0 43943033 1387454464 223389 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 338734 223389 4320 2842 0 320428 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 1354936 KiB
Current children cumulated memory: 893556 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/264 41060
/proc/meminfo: memFree=118758064/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=1202936 memory=764264 CPUtime=341.16 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 201405 0 0 0 34047 69 0 0 20 0 1 0 43943033 1231806464 191066 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 300734 191066 4512 2842 0 282428 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 1202936 KiB
Current children cumulated memory: 764264 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/265 41069
/proc/meminfo: memFree=118596432/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=1202936 memory=780648 CPUtime=400.98 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 201422 0 0 0 40004 94 0 0 20 0 1 0 43943033 1231806464 195162 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 300734 195162 4512 2842 0 282428 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 1202936 KiB
Current children cumulated memory: 780648 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/265 41071
/proc/meminfo: memFree=118520412/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=1253024 memory=795588 CPUtime=460.82 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 202097 0 0 0 45961 121 0 0 20 0 1 0 43943033 1283096576 198897 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 313256 198897 4512 2842 0 294950 0
################
# More data... #
################
Current children cumulated memory: 1036440 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 41332
/proc/meminfo: memFree=125622048/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=1466672 memory=1040536 CPUtime=2853.86 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 203722 0 0 0 284783 603 0 0 20 0 1 0 43943033 1501872128 260134 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 366668 260134 4512 2842 0 348362 0
Current children cumulated CPU time: 2853.86 s
Current children cumulated vsize: 1466672 KiB
Current children cumulated memory: 1040536 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 41334
/proc/meminfo: memFree=125617768/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=1466672 memory=1044632 CPUtime=2913.68 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 203724 0 0 0 290756 612 0 0 20 0 1 0 43943033 1501872128 261158 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 366668 261158 4512 2842 0 348362 0
Current children cumulated CPU time: 2913.68 s
Current children cumulated vsize: 1466672 KiB
Current children cumulated memory: 1044632 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 41336
/proc/meminfo: memFree=125617040/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=1466672 memory=1046680 CPUtime=2973.51 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 203725 0 0 0 296731 620 0 0 20 0 1 0 43943033 1501872128 261670 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 366668 261670 4512 2842 0 348362 0
Current children cumulated CPU time: 2973.51 s
Current children cumulated vsize: 1466672 KiB
Current children cumulated memory: 1046680 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 41339
/proc/meminfo: memFree=125571224/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=1466672 memory=1046680 CPUtime=3033.34 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 203827 0 0 0 302704 630 0 0 20 0 1 0 43943033 1501872128 261670 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 366668 261670 4512 2842 0 348362 0
Current children cumulated CPU time: 3033.34 s
Current children cumulated vsize: 1466672 KiB
Current children cumulated memory: 1046680 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 41341
/proc/meminfo: memFree=125553836/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=1466672 memory=1046680 CPUtime=3093.16 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 203838 0 0 0 308678 638 0 0 20 0 1 0 43943033 1501872128 261670 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 366668 261670 4512 2842 0 348362 0
Current children cumulated CPU time: 3093.16 s
Current children cumulated vsize: 1466672 KiB
Current children cumulated memory: 1046680 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 41343
/proc/meminfo: memFree=125510304/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=1466672 memory=1050776 CPUtime=3152.98 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 203840 0 0 0 314650 648 0 0 20 0 1 0 43943033 1501872128 262694 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 366668 262694 4512 2842 0 348362 0
Current children cumulated CPU time: 3152.98 s
Current children cumulated vsize: 1466672 KiB
Current children cumulated memory: 1050776 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 41345
/proc/meminfo: memFree=125495432/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=1466672 memory=1050776 CPUtime=3212.81 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 203841 0 0 0 320624 657 0 0 20 0 1 0 43943033 1501872128 262694 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 366668 262694 4512 2842 0 348362 0
Current children cumulated CPU time: 3212.81 s
Current children cumulated vsize: 1466672 KiB
Current children cumulated memory: 1050776 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 41347
/proc/meminfo: memFree=125493584/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=1466672 memory=1050776 CPUtime=3272.63 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 203841 0 0 0 326599 664 0 0 20 0 1 0 43943033 1501872128 262694 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 366668 262694 4512 2842 0 348362 0
Current children cumulated CPU time: 3272.63 s
Current children cumulated vsize: 1466672 KiB
Current children cumulated memory: 1050776 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/262 41349
/proc/meminfo: memFree=125481700/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=1466672 memory=1052824 CPUtime=3332.47 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 203842 0 0 0 332574 673 0 0 20 0 1 0 43943033 1501872128 263206 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 366668 263206 4512 2842 0 348362 0
Current children cumulated CPU time: 3332.47 s
Current children cumulated vsize: 1466672 KiB
Current children cumulated memory: 1052824 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 41359
/proc/meminfo: memFree=125482076/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=1466672 memory=1052824 CPUtime=3392.3 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 203842 0 0 0 338549 681 0 0 20 0 1 0 43943033 1501872128 263206 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 366668 263206 4512 2842 0 348362 0
Current children cumulated CPU time: 3392.3 s
Current children cumulated vsize: 1466672 KiB
Current children cumulated memory: 1052824 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 41361
/proc/meminfo: memFree=125469716/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=1466672 memory=1056920 CPUtime=3452.13 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 203844 0 0 0 344524 689 0 0 20 0 1 0 43943033 1501872128 264230 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 366668 264230 4512 2842 0 348362 0
Current children cumulated CPU time: 3452.13 s
Current children cumulated vsize: 1466672 KiB
Current children cumulated memory: 1056920 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 41363
/proc/meminfo: memFree=125469956/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=1466672 memory=1056920 CPUtime=3511.96 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 203844 0 0 0 350500 696 0 0 20 0 1 0 43943033 1501872128 264230 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 366668 264230 4512 2842 0 348362 0
Current children cumulated CPU time: 3511.96 s
Current children cumulated vsize: 1466672 KiB
Current children cumulated memory: 1056920 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 41365
/proc/meminfo: memFree=125469820/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=1466672 memory=1058968 CPUtime=3571.79 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 203880 0 0 0 356474 705 0 0 20 0 1 0 43943033 1501872128 264742 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 366668 264742 4512 2842 0 348362 0
Current children cumulated CPU time: 3571.79 s
Current children cumulated vsize: 1466672 KiB
Current children cumulated memory: 1058968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 41365
/proc/meminfo: memFree=125469892/131250000 swapFree=33010684/33010684
[pid=41047] ppid=41044 vsize=1466672 memory=1058968 CPUtime=3600.01 cores=0,2
/proc/41047/stat : 41047 (mixed-bag) R 41044 41047 40736 0 -1 4194304 203916 0 0 0 359292 709 0 0 20 0 1 0 43943033 1501872128 264742 18446744073709551615 4235264 15874749 140734871302608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 26263552 140734871304604 140734871304681 140734871304681 140734871310283 0
/proc/41047/statm: 366668 264742 4512 2842 0 348362 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1466672 KiB
Current children cumulated memory: 1058968 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.62 s]
# the end of solver process 41047 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.94 s, system=7.0954 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.62
CPU time (s): 3600.04
CPU user time (s): 3592.94
CPU system time (s): 7.0954
CPU usage (%): 99.7069
Max. virtual memory (cumulated for all children) (KiB): 1466672
Max. memory (cumulated for all children) (KiB): 1058968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.94
system time used= 7.0954
maximum resident set size= 1059992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203949
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= 220
involuntary context switches= 7864
# summary of solver processes directly reported to runsolver:
# pid: 41047
# total CPU time (s): 3600.04
# total CPU user time (s): 3592.94
# total CPU system time (s): 7.0954
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69396 second user time and 16.0107 second system time
The end
Begin job on nodeC026 at 2025-06-30 13:24:04
IDJOB=4484805
IDBENCH=146671
IDSOLVER=3340
FILE ID=nodeC026/4484805-1751282644
RUNJOBID= nodeC026-1751279693-40746
SLURM_JOB_ID= 9594219
Free space on /tmp= 433000 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484805-1751282644/watcher-4484805-1751282644 -o /tmp/evaluation-result-4484805-1751282644/solver-4484805-1751282644 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751279693-40746 --watchdog 3760 mixed-bag HOME/instance-4484805-1751282644.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4c4220841569fe2ff0ce6d0e8718e711
RANDOM SEED=1119648545
nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.779
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3599.704
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3605.652
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3599.928
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3599.710
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3599.802
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3594.431
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 120217272 kB
MemAvailable: 121297464 kB
Buffers: 3280 kB
Cached: 1877024 kB
SwapCached: 0 kB
Active: 8801284 kB
Inactive: 1619200 kB
Active(anon): 8558260 kB
Inactive(anon): 0 kB
Active(file): 243024 kB
Inactive(file): 1619200 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 17496 kB
Writeback: 0 kB
AnonPages: 8540628 kB
Mapped: 138572 kB
Shmem: 18080 kB
KReclaimable: 114416 kB
Slab: 201720 kB
SReclaimable: 114416 kB
SUnreclaim: 87304 kB
KernelStack: 4272 kB
PageTables: 21364 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 11085116 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2732032 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC026 at 2025-06-30 14:24:15