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.19/0.21 c [STEP] preprocessing with Papilo
0.39/0.48 c Papilo could not simplify the problem
0.39/0.48 c [STEP] solving with SCIP
299.73/300.72 c [STEP] preprocessing done, loading into solver
299.93/300.90 c [STEP] solving
299.93/300.90 c #variables 1401 #constraints 109379
299.93/300.90 c SMALL=int, LARGE=long long
299.93/300.90 d SCIPUB -45
299.93/300.90 c bounds - >= -1400 @ 299.495
299.93/300.90 c stratification level: 0
336.52/337.60 c bounds - >= -234 @ 299.559
336.52/337.60 c bounds - >= -233 @ 299.559
336.52/337.60 c bounds - >= -232 @ 299.559
336.52/337.60 c bounds - >= -231 @ 299.56
336.52/337.60 c bounds - >= -230 @ 299.561
336.52/337.60 c bounds - >= -229 @ 299.561
336.52/337.60 c bounds - >= -228 @ 299.561
336.52/337.60 c bounds - >= -227 @ 299.563
336.52/337.60 c bounds - >= -226 @ 299.563
336.52/337.60 c bounds - >= -225 @ 299.563
336.52/337.60 c bounds - >= -224 @ 299.564
336.52/337.60 c bounds - >= -223 @ 299.564
336.52/337.60 c bounds - >= -222 @ 299.564
336.52/337.60 c bounds - >= -221 @ 299.564
336.52/337.60 c bounds - >= -220 @ 299.565
336.52/337.60 c bounds - >= -219 @ 299.566
336.52/337.60 c bounds - >= -218 @ 299.566
336.52/337.60 c bounds - >= -217 @ 299.567
336.52/337.60 c bounds - >= -216 @ 299.568
336.52/337.60 c bounds - >= -215 @ 299.569
336.52/337.60 c bounds - >= -214 @ 299.57
336.52/337.60 c bounds - >= -213 @ 299.572
336.52/337.60 c #Conflicts: 1000 | #Constraints: 110636
336.52/337.60 c #Conflicts: 2000 | #Constraints: 111636
336.52/337.60 c INPROCESSING
336.52/337.60 c GARBAGE COLLECT
336.52/337.60 c #Conflicts: 3000 | #Constraints: 111624
336.52/337.60 c #Conflicts: 4000 | #Constraints: 112624
336.52/337.60 c INPROCESSING
336.52/337.60 c GARBAGE COLLECT
336.52/337.60 c #Conflicts: 5000 | #Constraints: 112032
336.52/337.60 c #Conflicts: 6000 | #Constraints: 113032
336.52/337.60 c INPROCESSING
336.52/337.60 c GARBAGE COLLECT
336.52/337.60 c #Conflicts: 7000 | #Constraints: 112034
336.52/337.60 c #Conflicts: 8000 | #Constraints: 113034
336.52/337.60 c #Conflicts: 9000 | #Constraints: 114034
336.52/337.60 c INPROCESSING
336.52/337.60 c GARBAGE COLLECT
336.52/337.60 c #Conflicts: 10000 | #Constraints: 112734
336.52/337.60 c #Conflicts: 11000 | #Constraints: 113734
336.52/337.60 c #Conflicts: 12000 | #Constraints: 114734
336.52/337.60 c INPROCESSING
336.52/337.60 c GARBAGE COLLECT
336.52/337.60 c #Conflicts: 13000 | #Constraints: 113188
336.52/337.60 c #Conflicts: 14000 | #Constraints: 114188
336.52/337.60 c #Conflicts: 15000 | #Constraints: 115188
336.52/337.60 c INPROCESSING
336.52/337.60 c GARBAGE COLLECT
336.52/337.60 c #Conflicts: 16000 | #Constraints: 113420
336.52/337.60 c #Conflicts: 17000 | #Constraints: 114420
336.52/337.60 c #Conflicts: 18000 | #Constraints: 115420
336.52/337.60 c INPROCESSING
336.52/337.60 c GARBAGE COLLECT
336.52/337.60 c #Conflicts: 19000 | #Constraints: 113435
336.52/337.60 c #Conflicts: 20000 | #Constraints: 114435
336.52/337.60 c #Conflicts: 21000 | #Constraints: 115435
336.52/337.60 c INPROCESSING
336.52/337.60 c GARBAGE COLLECT
336.52/337.60 c #Conflicts: 22000 | #Constraints: 113243
336.52/337.60 c #Conflicts: 23000 | #Constraints: 114243
336.52/337.60 c #Conflicts: 24000 | #Constraints: 115243
336.52/337.60 c #Conflicts: 25000 | #Constraints: 116243
336.52/337.60 c INPROCESSING
336.52/337.60 c GARBAGE COLLECT
336.52/337.60 c #Conflicts: 26000 | #Constraints: 113846
336.52/337.60 c #Conflicts: 27000 | #Constraints: 114846
336.52/337.60 c #Conflicts: 28000 | #Constraints: 115846
336.52/337.60 c #Conflicts: 29000 | #Constraints: 116846
336.52/337.60 c INPROCESSING
336.52/337.60 c GARBAGE COLLECT
336.52/337.60 c #Conflicts: 30000 | #Constraints: 114251
336.52/337.60 c #Conflicts: 31000 | #Constraints: 115251
336.52/337.60 c #Conflicts: 32000 | #Constraints: 116251
336.52/337.60 c #Conflicts: 33000 | #Constraints: 117251
336.52/337.60 c INPROCESSING
336.52/337.60 c GARBAGE COLLECT
336.52/337.60 c #Conflicts: 34000 | #Constraints: 114453
336.52/337.60 c #Conflicts: 35000 | #Constraints: 115453
336.52/337.60 c #Conflicts: 36000 | #Constraints: 116453
336.52/337.60 c #Conflicts: 37000 | #Constraints: 117453
336.52/337.60 c INPROCESSING
336.52/337.60 c GARBAGE COLLECT
336.52/337.60 c #Conflicts: 38000 | #Constraints: 114459
336.52/337.60 c #Conflicts: 39000 | #Constraints: 115459
336.52/337.60 c #Conflicts: 40000 | #Constraints: 116459
336.52/337.60 c #Conflicts: 41000 | #Constraints: 117459
336.52/337.60 c INPROCESSING
336.52/337.60 c GARBAGE COLLECT
336.52/337.60 c #Conflicts: 42000 | #Constraints: 114267
336.52/337.60 c #Conflicts: 43000 | #Constraints: 115267
336.52/337.60 c #Conflicts: 44000 | #Constraints: 116267
336.52/337.60 c #Conflicts: 45000 | #Constraints: 117267
336.52/337.60 c #Conflicts: 46000 | #Constraints: 118267
336.52/337.60 c INPROCESSING
336.52/337.60 c GARBAGE COLLECT
336.52/337.60 c #Conflicts: 47000 | #Constraints: 114861
336.52/337.60 c #Conflicts: 48000 | #Constraints: 115861
336.52/337.60 c #Conflicts: 49000 | #Constraints: 116861
336.52/337.60 c #Conflicts: 50000 | #Constraints: 117861
336.52/337.60 c #Conflicts: 51000 | #Constraints: 118861
336.52/337.60 c INPROCESSING
336.52/337.60 c GARBAGE COLLECT
336.52/337.60 c #Conflicts: 52000 | #Constraints: 115269
336.52/337.60 c #Conflicts: 53000 | #Constraints: 116269
336.52/337.60 c #Conflicts: 54000 | #Constraints: 117269
336.52/337.60 c #Conflicts: 55000 | #Constraints: 118269
336.52/337.60 c #Conflicts: 56000 | #Constraints: 119269
336.52/337.60 c INPROCESSING
336.52/337.60 c GARBAGE COLLECT
336.52/337.60 c #Conflicts: 57000 | #Constraints: 115471
411.99/413.32 c #Conflicts: 58000 | #Constraints: 116471
411.99/413.32 c #Conflicts: 59000 | #Constraints: 117471
411.99/413.32 c #Conflicts: 60000 | #Constraints: 118471
411.99/413.32 c #Conflicts: 61000 | #Constraints: 119471
411.99/413.32 c INPROCESSING
411.99/413.32 c GARBAGE COLLECT
411.99/413.32 c #Conflicts: 62000 | #Constraints: 115462
411.99/413.32 c #Conflicts: 63000 | #Constraints: 116462
411.99/413.32 c #Conflicts: 64000 | #Constraints: 117462
411.99/413.32 c #Conflicts: 65000 | #Constraints: 118462
411.99/413.32 c #Conflicts: 66000 | #Constraints: 119462
411.99/413.32 c INPROCESSING
411.99/413.32 c GARBAGE COLLECT
411.99/413.32 c #Conflicts: 67000 | #Constraints: 115263
411.99/413.32 c #Conflicts: 68000 | #Constraints: 116263
411.99/413.32 c #Conflicts: 69000 | #Constraints: 117263
411.99/413.32 c #Conflicts: 70000 | #Constraints: 118263
411.99/413.32 c #Conflicts: 71000 | #Constraints: 119263
411.99/413.32 c #Conflicts: 72000 | #Constraints: 120263
411.99/413.32 c INPROCESSING
411.99/413.32 c GARBAGE COLLECT
411.99/413.32 c #Conflicts: 73000 | #Constraints: 115874
411.99/413.32 c #Conflicts: 74000 | #Constraints: 116874
411.99/413.32 c #Conflicts: 75000 | #Constraints: 117874
411.99/413.32 c #Conflicts: 76000 | #Constraints: 118874
411.99/413.32 c #Conflicts: 77000 | #Constraints: 119874
411.99/413.32 c #Conflicts: 78000 | #Constraints: 120874
411.99/413.32 c INPROCESSING
411.99/413.32 c GARBAGE COLLECT
411.99/413.32 c #Conflicts: 79000 | #Constraints: 116274
411.99/413.32 c #Conflicts: 80000 | #Constraints: 117274
411.99/413.32 c #Conflicts: 81000 | #Constraints: 118274
411.99/413.32 c #Conflicts: 82000 | #Constraints: 119274
411.99/413.32 c #Conflicts: 83000 | #Constraints: 120274
411.99/413.32 c #Conflicts: 84000 | #Constraints: 121274
411.99/413.32 c INPROCESSING
411.99/413.32 c GARBAGE COLLECT
411.99/413.32 c #Conflicts: 85000 | #Constraints: 116482
411.99/413.32 c #Conflicts: 86000 | #Constraints: 117482
411.99/413.32 c #Conflicts: 87000 | #Constraints: 118482
411.99/413.32 c #Conflicts: 88000 | #Constraints: 119482
411.99/413.32 c #Conflicts: 89000 | #Constraints: 120482
411.99/413.32 c #Conflicts: 90000 | #Constraints: 121482
411.99/413.32 c INPROCESSING
411.99/413.32 c GARBAGE COLLECT
411.99/413.32 c #Conflicts: 91000 | #Constraints: 116473
411.99/413.32 c #Conflicts: 92000 | #Constraints: 117473
411.99/413.32 c #Conflicts: 93000 | #Constraints: 118473
411.99/413.32 c #Conflicts: 94000 | #Constraints: 119473
411.99/413.32 c #Conflicts: 95000 | #Constraints: 120473
411.99/413.32 c #Conflicts: 96000 | #Constraints: 121473
411.99/413.32 c INPROCESSING
411.99/413.32 c GARBAGE COLLECT
411.99/413.32 c #Conflicts: 97000 | #Constraints: 116278
411.99/413.32 c #Conflicts: 98000 | #Constraints: 117278
411.99/413.32 c #Conflicts: 99000 | #Constraints: 118278
411.99/413.32 c #Conflicts: 100000 | #Constraints: 119278
411.99/413.32 c #Conflicts: 101000 | #Constraints: 120278
411.99/413.32 c #Conflicts: 102000 | #Constraints: 121278
411.99/413.32 c #Conflicts: 103000 | #Constraints: 122278
411.99/413.32 c INPROCESSING
411.99/413.32 c GARBAGE COLLECT
411.99/413.32 c #Conflicts: 104000 | #Constraints: 116876
411.99/413.32 c #Conflicts: 105000 | #Constraints: 117876
411.99/413.32 c #Conflicts: 106000 | #Constraints: 118876
411.99/413.32 c #Conflicts: 107000 | #Constraints: 119876
411.99/413.32 c #Conflicts: 108000 | #Constraints: 120876
411.99/413.32 c #Conflicts: 109000 | #Constraints: 121876
411.99/413.32 c #Conflicts: 110000 | #Constraints: 122876
411.99/413.32 c INPROCESSING
411.99/413.32 c GARBAGE COLLECT
411.99/413.32 c #Conflicts: 111000 | #Constraints: 117277
411.99/413.32 c #Conflicts: 112000 | #Constraints: 118277
411.99/413.32 c #Conflicts: 113000 | #Constraints: 119277
411.99/413.32 c #Conflicts: 114000 | #Constraints: 120277
411.99/413.32 c #Conflicts: 115000 | #Constraints: 121277
411.99/413.32 c #Conflicts: 116000 | #Constraints: 122277
411.99/413.32 c #Conflicts: 117000 | #Constraints: 123277
411.99/413.32 c INPROCESSING
411.99/413.32 c GARBAGE COLLECT
411.99/413.32 c #Conflicts: 118000 | #Constraints: 117485
411.99/413.32 c #Conflicts: 119000 | #Constraints: 118485
411.99/413.32 c #Conflicts: 120000 | #Constraints: 119485
411.99/413.32 c #Conflicts: 121000 | #Constraints: 120485
411.99/413.32 c #Conflicts: 122000 | #Constraints: 121485
411.99/413.32 c #Conflicts: 123000 | #Constraints: 122485
411.99/413.32 c #Conflicts: 124000 | #Constraints: 123485
411.99/413.32 c INPROCESSING
411.99/413.32 c GARBAGE COLLECT
411.99/413.32 c #Conflicts: 125000 | #Constraints: 117491
411.99/413.32 c #Conflicts: 126000 | #Constraints: 118491
411.99/413.32 c #Conflicts: 127000 | #Constraints: 119491
411.99/413.32 c #Conflicts: 128000 | #Constraints: 120491
411.99/413.32 c #Conflicts: 129000 | #Constraints: 121491
503.51/505.13 c #Conflicts: 130000 | #Constraints: 122491
503.51/505.13 c #Conflicts: 131000 | #Constraints: 123491
503.51/505.13 c INPROCESSING
503.51/505.13 c GARBAGE COLLECT
503.51/505.13 c #Conflicts: 132000 | #Constraints: 117287
503.51/505.13 c #Conflicts: 133000 | #Constraints: 118287
503.51/505.13 c #Conflicts: 134000 | #Constraints: 119287
503.51/505.13 c #Conflicts: 135000 | #Constraints: 120287
503.51/505.13 c #Conflicts: 136000 | #Constraints: 121287
503.51/505.13 c #Conflicts: 137000 | #Constraints: 122287
503.51/505.13 c #Conflicts: 138000 | #Constraints: 123287
503.51/505.13 c #Conflicts: 139000 | #Constraints: 124287
503.51/505.13 c INPROCESSING
503.51/505.13 c GARBAGE COLLECT
503.51/505.13 c #Conflicts: 140000 | #Constraints: 117893
503.51/505.13 c #Conflicts: 141000 | #Constraints: 118893
503.51/505.13 c #Conflicts: 142000 | #Constraints: 119893
503.51/505.13 c #Conflicts: 143000 | #Constraints: 120893
503.51/505.13 c #Conflicts: 144000 | #Constraints: 121893
503.51/505.13 c #Conflicts: 145000 | #Constraints: 122893
503.51/505.13 c #Conflicts: 146000 | #Constraints: 123893
503.51/505.13 c #Conflicts: 147000 | #Constraints: 124893
503.51/505.13 c INPROCESSING
503.51/505.13 c GARBAGE COLLECT
503.51/505.13 c #Conflicts: 148000 | #Constraints: 118303
503.51/505.13 c #Conflicts: 149000 | #Constraints: 119303
503.51/505.13 c #Conflicts: 150000 | #Constraints: 120303
503.51/505.13 c #Conflicts: 151000 | #Constraints: 121303
503.51/505.13 c #Conflicts: 152000 | #Constraints: 122303
503.51/505.13 c #Conflicts: 153000 | #Constraints: 123303
503.51/505.13 c #Conflicts: 154000 | #Constraints: 124303
503.51/505.13 c #Conflicts: 155000 | #Constraints: 125303
503.51/505.13 c INPROCESSING
503.51/505.13 c GARBAGE COLLECT
503.51/505.13 c #Conflicts: 156000 | #Constraints: 118500
503.51/505.13 c #Conflicts: 157000 | #Constraints: 119500
503.51/505.13 c #Conflicts: 158000 | #Constraints: 120500
503.51/505.13 c #Conflicts: 159000 | #Constraints: 121500
503.51/505.13 c #Conflicts: 160000 | #Constraints: 122500
503.51/505.13 c #Conflicts: 161000 | #Constraints: 123500
503.51/505.13 c #Conflicts: 162000 | #Constraints: 124500
503.51/505.13 c #Conflicts: 163000 | #Constraints: 125500
503.51/505.13 c INPROCESSING
503.51/505.13 c GARBAGE COLLECT
503.51/505.13 c #Conflicts: 164000 | #Constraints: 118503
503.51/505.13 c #Conflicts: 165000 | #Constraints: 119503
503.51/505.13 c #Conflicts: 166000 | #Constraints: 120503
503.51/505.13 c #Conflicts: 167000 | #Constraints: 121503
503.51/505.13 c #Conflicts: 168000 | #Constraints: 122503
503.51/505.13 c #Conflicts: 169000 | #Constraints: 123503
503.51/505.13 c #Conflicts: 170000 | #Constraints: 124503
503.51/505.13 c #Conflicts: 171000 | #Constraints: 125503
503.51/505.13 c INPROCESSING
503.51/505.13 c GARBAGE COLLECT
503.51/505.13 c #Conflicts: 172000 | #Constraints: 118293
503.51/505.13 c #Conflicts: 173000 | #Constraints: 119293
503.51/505.13 c #Conflicts: 174000 | #Constraints: 120293
503.51/505.13 c #Conflicts: 175000 | #Constraints: 121293
503.51/505.13 c #Conflicts: 176000 | #Constraints: 122293
503.51/505.13 c #Conflicts: 177000 | #Constraints: 123293
503.51/505.13 c #Conflicts: 178000 | #Constraints: 124293
503.51/505.13 c #Conflicts: 179000 | #Constraints: 125293
503.51/505.13 c #Conflicts: 180000 | #Constraints: 126293
503.51/505.13 c INPROCESSING
503.51/505.13 c GARBAGE COLLECT
503.51/505.13 c #Conflicts: 181000 | #Constraints: 118895
503.51/505.13 c #Conflicts: 182000 | #Constraints: 119895
503.51/505.13 c #Conflicts: 183000 | #Constraints: 120895
503.51/505.13 c #Conflicts: 184000 | #Constraints: 121895
503.51/505.13 c #Conflicts: 185000 | #Constraints: 122895
503.51/505.13 c #Conflicts: 186000 | #Constraints: 123895
503.51/505.13 c #Conflicts: 187000 | #Constraints: 124895
503.51/505.13 c #Conflicts: 188000 | #Constraints: 125895
503.51/505.13 c #Conflicts: 189000 | #Constraints: 126895
503.51/505.13 c INPROCESSING
503.51/505.13 c GARBAGE COLLECT
503.51/505.13 c #Conflicts: 190000 | #Constraints: 119299
503.51/505.13 c #Conflicts: 191000 | #Constraints: 120299
503.51/505.13 c #Conflicts: 192000 | #Constraints: 121299
503.51/505.13 c #Conflicts: 193000 | #Constraints: 122299
503.51/505.13 c #Conflicts: 194000 | #Constraints: 123299
503.51/505.13 c #Conflicts: 195000 | #Constraints: 124299
503.51/505.13 c #Conflicts: 196000 | #Constraints: 125299
503.51/505.13 c #Conflicts: 197000 | #Constraints: 126299
503.51/505.13 c #Conflicts: 198000 | #Constraints: 127299
503.51/505.13 c INPROCESSING
503.51/505.13 c GARBAGE COLLECT
503.51/505.13 c #Conflicts: 199000 | #Constraints: 119500
503.51/505.13 c #Conflicts: 200000 | #Constraints: 120500
503.51/505.13 c #Conflicts: 201000 | #Constraints: 121500
503.51/505.13 c #Conflicts: 202000 | #Constraints: 122500
614.47/616.49 c #Conflicts: 203000 | #Constraints: 123500
614.47/616.49 c #Conflicts: 204000 | #Constraints: 124500
614.47/616.49 c #Conflicts: 205000 | #Constraints: 125500
614.47/616.49 c #Conflicts: 206000 | #Constraints: 126500
614.47/616.49 c #Conflicts: 207000 | #Constraints: 127500
614.47/616.49 c INPROCESSING
614.47/616.49 c GARBAGE COLLECT
614.47/616.49 c #Conflicts: 208000 | #Constraints: 119520
614.47/616.49 c #Conflicts: 209000 | #Constraints: 120520
614.47/616.49 c #Conflicts: 210000 | #Constraints: 121520
614.47/616.49 c #Conflicts: 211000 | #Constraints: 122520
614.47/616.49 c #Conflicts: 212000 | #Constraints: 123520
614.47/616.49 c #Conflicts: 213000 | #Constraints: 124520
614.47/616.49 c #Conflicts: 214000 | #Constraints: 125520
614.47/616.49 c #Conflicts: 215000 | #Constraints: 126520
614.47/616.49 c #Conflicts: 216000 | #Constraints: 127520
614.47/616.49 c INPROCESSING
614.47/616.49 c GARBAGE COLLECT
614.47/616.49 c #Conflicts: 217000 | #Constraints: 119315
614.47/616.49 c #Conflicts: 218000 | #Constraints: 120315
614.47/616.49 c #Conflicts: 219000 | #Constraints: 121315
614.47/616.49 c #Conflicts: 220000 | #Constraints: 122315
614.47/616.49 c #Conflicts: 221000 | #Constraints: 123315
614.47/616.49 c #Conflicts: 222000 | #Constraints: 124315
614.47/616.49 c #Conflicts: 223000 | #Constraints: 125315
614.47/616.49 c #Conflicts: 224000 | #Constraints: 126315
614.47/616.49 c #Conflicts: 225000 | #Constraints: 127315
614.47/616.49 c #Conflicts: 226000 | #Constraints: 128315
614.47/616.49 c INPROCESSING
614.47/616.49 c GARBAGE COLLECT
614.47/616.49 c #Conflicts: 227000 | #Constraints: 119921
614.47/616.49 c #Conflicts: 228000 | #Constraints: 120921
614.47/616.49 c #Conflicts: 229000 | #Constraints: 121921
614.47/616.49 c #Conflicts: 230000 | #Constraints: 122921
614.47/616.49 c #Conflicts: 231000 | #Constraints: 123921
614.47/616.49 c #Conflicts: 232000 | #Constraints: 124921
614.47/616.49 c #Conflicts: 233000 | #Constraints: 125921
614.47/616.49 c #Conflicts: 234000 | #Constraints: 126921
614.47/616.49 c #Conflicts: 235000 | #Constraints: 127921
614.47/616.49 c #Conflicts: 236000 | #Constraints: 128921
614.47/616.49 c INPROCESSING
614.47/616.49 c GARBAGE COLLECT
614.47/616.49 c #Conflicts: 237000 | #Constraints: 120301
614.47/616.49 c #Conflicts: 238000 | #Constraints: 121301
614.47/616.49 c #Conflicts: 239000 | #Constraints: 122301
614.47/616.49 c #Conflicts: 240000 | #Constraints: 123301
614.47/616.49 c #Conflicts: 241000 | #Constraints: 124301
614.47/616.49 c #Conflicts: 242000 | #Constraints: 125301
614.47/616.49 c #Conflicts: 243000 | #Constraints: 126301
614.47/616.49 c #Conflicts: 244000 | #Constraints: 127301
614.47/616.49 c #Conflicts: 245000 | #Constraints: 128301
614.47/616.49 c #Conflicts: 246000 | #Constraints: 129301
614.47/616.49 c INPROCESSING
614.47/616.49 c GARBAGE COLLECT
614.47/616.49 c #Conflicts: 247000 | #Constraints: 120512
614.47/616.49 c #Conflicts: 248000 | #Constraints: 121512
614.47/616.49 c #Conflicts: 249000 | #Constraints: 122512
614.47/616.49 c #Conflicts: 250000 | #Constraints: 123512
614.47/616.49 c #Conflicts: 251000 | #Constraints: 124512
614.47/616.49 c #Conflicts: 252000 | #Constraints: 125512
614.47/616.49 c #Conflicts: 253000 | #Constraints: 126512
614.47/616.49 c #Conflicts: 254000 | #Constraints: 127512
614.47/616.49 c #Conflicts: 255000 | #Constraints: 128512
614.47/616.49 c #Conflicts: 256000 | #Constraints: 129512
614.47/616.49 c INPROCESSING
614.47/616.49 c GARBAGE COLLECT
614.47/616.49 c #Conflicts: 257000 | #Constraints: 120517
614.47/616.49 c #Conflicts: 258000 | #Constraints: 121517
614.47/616.49 c #Conflicts: 259000 | #Constraints: 122517
614.47/616.49 c #Conflicts: 260000 | #Constraints: 123517
614.47/616.49 c #Conflicts: 261000 | #Constraints: 124517
614.47/616.49 c #Conflicts: 262000 | #Constraints: 125517
614.47/616.49 c #Conflicts: 263000 | #Constraints: 126517
614.47/616.49 c #Conflicts: 264000 | #Constraints: 127517
614.47/616.49 c #Conflicts: 265000 | #Constraints: 128517
614.47/616.49 c #Conflicts: 266000 | #Constraints: 129517
614.47/616.49 c INPROCESSING
614.47/616.49 c GARBAGE COLLECT
614.47/616.49 c #Conflicts: 267000 | #Constraints: 120311
614.47/616.49 c #Conflicts: 268000 | #Constraints: 121311
614.47/616.49 c #Conflicts: 269000 | #Constraints: 122311
614.47/616.49 c #Conflicts: 270000 | #Constraints: 123311
614.47/616.49 c #Conflicts: 271000 | #Constraints: 124311
614.47/616.49 c #Conflicts: 272000 | #Constraints: 125311
614.47/616.49 c #Conflicts: 273000 | #Constraints: 126311
614.47/616.49 c #Conflicts: 274000 | #Constraints: 127311
614.47/616.49 c #Conflicts: 275000 | #Constraints: 128311
614.47/616.49 c #Conflicts: 276000 | #Constraints: 129311
741.69/744.02 c #Conflicts: 277000 | #Constraints: 130311
741.69/744.02 c INPROCESSING
741.69/744.02 c GARBAGE COLLECT
741.69/744.02 c #Conflicts: 278000 | #Constraints: 120916
741.69/744.02 c #Conflicts: 279000 | #Constraints: 121916
741.69/744.02 c #Conflicts: 280000 | #Constraints: 122916
741.69/744.02 c #Conflicts: 281000 | #Constraints: 123916
741.69/744.02 c #Conflicts: 282000 | #Constraints: 124916
741.69/744.02 c #Conflicts: 283000 | #Constraints: 125916
741.69/744.02 c #Conflicts: 284000 | #Constraints: 126916
741.69/744.02 c #Conflicts: 285000 | #Constraints: 127916
741.69/744.02 c #Conflicts: 286000 | #Constraints: 128916
741.69/744.02 c #Conflicts: 287000 | #Constraints: 129916
741.69/744.02 c #Conflicts: 288000 | #Constraints: 130916
741.69/744.02 c INPROCESSING
741.69/744.02 c GARBAGE COLLECT
741.69/744.02 c #Conflicts: 289000 | #Constraints: 121309
741.69/744.02 c #Conflicts: 290000 | #Constraints: 122309
741.69/744.02 c #Conflicts: 291000 | #Constraints: 123309
741.69/744.02 c #Conflicts: 292000 | #Constraints: 124309
741.69/744.02 c #Conflicts: 293000 | #Constraints: 125309
741.69/744.02 c #Conflicts: 294000 | #Constraints: 126309
741.69/744.02 c #Conflicts: 295000 | #Constraints: 127309
741.69/744.02 c #Conflicts: 296000 | #Constraints: 128309
741.69/744.02 c #Conflicts: 297000 | #Constraints: 129309
741.69/744.02 c #Conflicts: 298000 | #Constraints: 130309
741.69/744.02 c #Conflicts: 299000 | #Constraints: 131309
741.69/744.02 c INPROCESSING
741.69/744.02 c GARBAGE COLLECT
741.69/744.02 c #Conflicts: 300000 | #Constraints: 121496
741.69/744.02 c #Conflicts: 301000 | #Constraints: 122496
741.69/744.02 c #Conflicts: 302000 | #Constraints: 123496
741.69/744.02 c #Conflicts: 303000 | #Constraints: 124496
741.69/744.02 c #Conflicts: 304000 | #Constraints: 125496
741.69/744.02 c #Conflicts: 305000 | #Constraints: 126496
741.69/744.02 c #Conflicts: 306000 | #Constraints: 127496
741.69/744.02 c #Conflicts: 307000 | #Constraints: 128496
741.69/744.02 c #Conflicts: 308000 | #Constraints: 129496
741.69/744.02 c #Conflicts: 309000 | #Constraints: 130496
741.69/744.02 c #Conflicts: 310000 | #Constraints: 131496
741.69/744.02 c INPROCESSING
741.69/744.02 c GARBAGE COLLECT
741.69/744.02 c #Conflicts: 311000 | #Constraints: 121521
741.69/744.02 c #Conflicts: 312000 | #Constraints: 122521
741.69/744.02 c #Conflicts: 313000 | #Constraints: 123521
741.69/744.02 c #Conflicts: 314000 | #Constraints: 124521
741.69/744.02 c #Conflicts: 315000 | #Constraints: 125521
741.69/744.02 c #Conflicts: 316000 | #Constraints: 126521
741.69/744.02 c #Conflicts: 317000 | #Constraints: 127521
741.69/744.02 c #Conflicts: 318000 | #Constraints: 128521
741.69/744.02 c #Conflicts: 319000 | #Constraints: 129521
741.69/744.02 c #Conflicts: 320000 | #Constraints: 130521
741.69/744.02 c #Conflicts: 321000 | #Constraints: 131521
741.69/744.02 c INPROCESSING
741.69/744.02 c GARBAGE COLLECT
741.69/744.02 c #Conflicts: 322000 | #Constraints: 121314
741.69/744.02 c #Conflicts: 323000 | #Constraints: 122314
741.69/744.02 c #Conflicts: 324000 | #Constraints: 123314
741.69/744.02 c #Conflicts: 325000 | #Constraints: 124314
741.69/744.02 c #Conflicts: 326000 | #Constraints: 125314
741.69/744.02 c #Conflicts: 327000 | #Constraints: 126314
741.69/744.02 c #Conflicts: 328000 | #Constraints: 127314
741.69/744.02 c #Conflicts: 329000 | #Constraints: 128314
741.69/744.02 c #Conflicts: 330000 | #Constraints: 129314
741.69/744.02 c #Conflicts: 331000 | #Constraints: 130314
741.69/744.02 c #Conflicts: 332000 | #Constraints: 131314
741.69/744.02 c #Conflicts: 333000 | #Constraints: 132314
741.69/744.02 c INPROCESSING
741.69/744.02 c GARBAGE COLLECT
741.69/744.02 c #Conflicts: 334000 | #Constraints: 121941
741.69/744.02 c #Conflicts: 335000 | #Constraints: 122941
741.69/744.02 c #Conflicts: 336000 | #Constraints: 123941
741.69/744.02 c #Conflicts: 337000 | #Constraints: 124941
741.69/744.02 c #Conflicts: 338000 | #Constraints: 125941
741.69/744.02 c #Conflicts: 339000 | #Constraints: 126941
741.69/744.02 c #Conflicts: 340000 | #Constraints: 127941
741.69/744.02 c #Conflicts: 341000 | #Constraints: 128941
741.69/744.02 c #Conflicts: 342000 | #Constraints: 129941
741.69/744.02 c #Conflicts: 343000 | #Constraints: 130941
741.69/744.02 c #Conflicts: 344000 | #Constraints: 131941
741.69/744.02 c #Conflicts: 345000 | #Constraints: 132941
741.69/744.02 c INPROCESSING
741.69/744.02 c GARBAGE COLLECT
741.69/744.02 c #Conflicts: 346000 | #Constraints: 122327
741.69/744.02 c #Conflicts: 347000 | #Constraints: 123327
741.69/744.02 c #Conflicts: 348000 | #Constraints: 124327
741.69/744.02 c #Conflicts: 349000 | #Constraints: 125327
741.69/744.02 c #Conflicts: 350000 | #Constraints: 126327
886.75/889.50 c #Conflicts: 351000 | #Constraints: 127327
886.75/889.50 c #Conflicts: 352000 | #Constraints: 128327
886.75/889.50 c #Conflicts: 353000 | #Constraints: 129327
886.75/889.50 c #Conflicts: 354000 | #Constraints: 130327
886.75/889.50 c #Conflicts: 355000 | #Constraints: 131327
886.75/889.50 c #Conflicts: 356000 | #Constraints: 132327
886.75/889.50 c #Conflicts: 357000 | #Constraints: 133327
886.75/889.50 c INPROCESSING
886.75/889.50 c GARBAGE COLLECT
886.75/889.50 c #Conflicts: 358000 | #Constraints: 122514
886.75/889.50 c #Conflicts: 359000 | #Constraints: 123514
886.75/889.50 c #Conflicts: 360000 | #Constraints: 124514
886.75/889.50 c #Conflicts: 361000 | #Constraints: 125514
886.75/889.50 c #Conflicts: 362000 | #Constraints: 126514
886.75/889.50 c #Conflicts: 363000 | #Constraints: 127514
886.75/889.50 c #Conflicts: 364000 | #Constraints: 128514
886.75/889.50 c #Conflicts: 365000 | #Constraints: 129514
886.75/889.50 c #Conflicts: 366000 | #Constraints: 130514
886.75/889.50 c #Conflicts: 367000 | #Constraints: 131514
886.75/889.50 c #Conflicts: 368000 | #Constraints: 132514
886.75/889.50 c #Conflicts: 369000 | #Constraints: 133514
886.75/889.50 c INPROCESSING
886.75/889.50 c GARBAGE COLLECT
886.75/889.50 c #Conflicts: 370000 | #Constraints: 122519
886.75/889.50 c #Conflicts: 371000 | #Constraints: 123519
886.75/889.50 c #Conflicts: 372000 | #Constraints: 124519
886.75/889.50 c #Conflicts: 373000 | #Constraints: 125519
886.75/889.50 c #Conflicts: 374000 | #Constraints: 126519
886.75/889.50 c #Conflicts: 375000 | #Constraints: 127519
886.75/889.50 c #Conflicts: 376000 | #Constraints: 128519
886.75/889.50 c #Conflicts: 377000 | #Constraints: 129519
886.75/889.50 c #Conflicts: 378000 | #Constraints: 130519
886.75/889.50 c #Conflicts: 379000 | #Constraints: 131519
886.75/889.50 c #Conflicts: 380000 | #Constraints: 132519
886.75/889.50 c #Conflicts: 381000 | #Constraints: 133519
886.75/889.50 c INPROCESSING
886.75/889.50 c GARBAGE COLLECT
886.75/889.50 c #Conflicts: 382000 | #Constraints: 122318
886.75/889.50 c #Conflicts: 383000 | #Constraints: 123318
886.75/889.50 c #Conflicts: 384000 | #Constraints: 124318
886.75/889.50 c #Conflicts: 385000 | #Constraints: 125318
886.75/889.50 c #Conflicts: 386000 | #Constraints: 126318
886.75/889.50 c #Conflicts: 387000 | #Constraints: 127318
886.75/889.50 c #Conflicts: 388000 | #Constraints: 128318
886.75/889.50 c #Conflicts: 389000 | #Constraints: 129318
886.75/889.50 c #Conflicts: 390000 | #Constraints: 130318
886.75/889.50 c #Conflicts: 391000 | #Constraints: 131318
886.75/889.50 c #Conflicts: 392000 | #Constraints: 132318
886.75/889.50 c #Conflicts: 393000 | #Constraints: 133318
886.75/889.50 c #Conflicts: 394000 | #Constraints: 134318
886.75/889.50 c INPROCESSING
886.75/889.50 c GARBAGE COLLECT
886.75/889.50 c #Conflicts: 395000 | #Constraints: 122916
886.75/889.50 c #Conflicts: 396000 | #Constraints: 123916
886.75/889.50 c #Conflicts: 397000 | #Constraints: 124916
886.75/889.50 c #Conflicts: 398000 | #Constraints: 125916
886.75/889.50 c #Conflicts: 399000 | #Constraints: 126916
886.75/889.50 c #Conflicts: 400000 | #Constraints: 127916
886.75/889.50 c #Conflicts: 401000 | #Constraints: 128916
886.75/889.50 c #Conflicts: 402000 | #Constraints: 129916
886.75/889.50 c #Conflicts: 403000 | #Constraints: 130916
886.75/889.50 c #Conflicts: 404000 | #Constraints: 131916
886.75/889.50 c #Conflicts: 405000 | #Constraints: 132916
886.75/889.50 c #Conflicts: 406000 | #Constraints: 133916
886.75/889.50 c #Conflicts: 407000 | #Constraints: 134916
886.75/889.50 c INPROCESSING
886.75/889.50 c GARBAGE COLLECT
886.75/889.50 c #Conflicts: 408000 | #Constraints: 123319
886.75/889.50 c #Conflicts: 409000 | #Constraints: 124319
886.75/889.50 c #Conflicts: 410000 | #Constraints: 125319
886.75/889.50 c #Conflicts: 411000 | #Constraints: 126319
886.75/889.50 c #Conflicts: 412000 | #Constraints: 127319
886.75/889.50 c #Conflicts: 413000 | #Constraints: 128319
886.75/889.50 c #Conflicts: 414000 | #Constraints: 129319
886.75/889.50 c #Conflicts: 415000 | #Constraints: 130319
886.75/889.50 c #Conflicts: 416000 | #Constraints: 131319
886.75/889.50 c #Conflicts: 417000 | #Constraints: 132319
886.75/889.50 c #Conflicts: 418000 | #Constraints: 133319
886.75/889.50 c #Conflicts: 419000 | #Constraints: 134319
886.75/889.50 c #Conflicts: 420000 | #Constraints: 135319
886.75/889.50 c INPROCESSING
886.75/889.50 c GARBAGE COLLECT
886.75/889.50 c #Conflicts: 421000 | #Constraints: 123538
886.75/889.50 c #Conflicts: 422000 | #Constraints: 124538
886.75/889.50 c #Conflicts: 423000 | #Constraints: 125538
886.75/889.50 c #Conflicts: 424000 | #Constraints: 126538
886.75/889.50 c #Conflicts: 425000 | #Constraints: 127538
1037.49/1040.75 c #Conflicts: 426000 | #Constraints: 128538
1037.49/1040.75 c #Conflicts: 427000 | #Constraints: 129538
1037.49/1040.75 c #Conflicts: 428000 | #Constraints: 130538
1037.49/1040.75 c #Conflicts: 429000 | #Constraints: 131538
1037.49/1040.75 c #Conflicts: 430000 | #Constraints: 132538
1037.49/1040.75 c #Conflicts: 431000 | #Constraints: 133538
1037.49/1040.75 c #Conflicts: 432000 | #Constraints: 134538
1037.49/1040.75 c #Conflicts: 433000 | #Constraints: 135538
1037.49/1040.75 c INPROCESSING
1037.49/1040.75 c GARBAGE COLLECT
1037.49/1040.75 c #Conflicts: 434000 | #Constraints: 123529
1037.49/1040.75 c #Conflicts: 435000 | #Constraints: 124529
1037.49/1040.75 c #Conflicts: 436000 | #Constraints: 125529
1037.49/1040.75 c #Conflicts: 437000 | #Constraints: 126529
1037.49/1040.75 c #Conflicts: 438000 | #Constraints: 127529
1037.49/1040.75 c #Conflicts: 439000 | #Constraints: 128529
1037.49/1040.75 c #Conflicts: 440000 | #Constraints: 129529
1037.49/1040.75 c #Conflicts: 441000 | #Constraints: 130529
1037.49/1040.75 c #Conflicts: 442000 | #Constraints: 131529
1037.49/1040.75 c #Conflicts: 443000 | #Constraints: 132529
1037.49/1040.75 c #Conflicts: 444000 | #Constraints: 133529
1037.49/1040.75 c #Conflicts: 445000 | #Constraints: 134529
1037.49/1040.75 c #Conflicts: 446000 | #Constraints: 135529
1037.49/1040.75 c INPROCESSING
1037.49/1040.75 c GARBAGE COLLECT
1037.49/1040.75 c #Conflicts: 447000 | #Constraints: 123319
1037.49/1040.75 c #Conflicts: 448000 | #Constraints: 124319
1037.49/1040.75 c #Conflicts: 449000 | #Constraints: 125319
1037.49/1040.75 c #Conflicts: 450000 | #Constraints: 126319
1037.49/1040.75 c #Conflicts: 451000 | #Constraints: 127319
1037.49/1040.75 c #Conflicts: 452000 | #Constraints: 128319
1037.49/1040.75 c #Conflicts: 453000 | #Constraints: 129319
1037.49/1040.75 c #Conflicts: 454000 | #Constraints: 130319
1037.49/1040.75 c #Conflicts: 455000 | #Constraints: 131319
1037.49/1040.75 c #Conflicts: 456000 | #Constraints: 132319
1037.49/1040.75 c #Conflicts: 457000 | #Constraints: 133319
1037.49/1040.75 c #Conflicts: 458000 | #Constraints: 134319
1037.49/1040.75 c #Conflicts: 459000 | #Constraints: 135319
1037.49/1040.75 c #Conflicts: 460000 | #Constraints: 136319
1037.49/1040.75 c INPROCESSING
1037.49/1040.75 c GARBAGE COLLECT
1037.49/1040.75 c #Conflicts: 461000 | #Constraints: 123925
1037.49/1040.75 c #Conflicts: 462000 | #Constraints: 124925
1037.49/1040.75 c #Conflicts: 463000 | #Constraints: 125925
1037.49/1040.75 c #Conflicts: 464000 | #Constraints: 126925
1037.49/1040.75 c #Conflicts: 465000 | #Constraints: 127925
1037.49/1040.75 c #Conflicts: 466000 | #Constraints: 128925
1037.49/1040.75 c #Conflicts: 467000 | #Constraints: 129925
1037.49/1040.75 c #Conflicts: 468000 | #Constraints: 130925
1037.49/1040.75 c #Conflicts: 469000 | #Constraints: 131925
1037.49/1040.75 c #Conflicts: 470000 | #Constraints: 132925
1037.49/1040.75 c #Conflicts: 471000 | #Constraints: 133925
1037.49/1040.75 c #Conflicts: 472000 | #Constraints: 134925
1037.49/1040.75 c #Conflicts: 473000 | #Constraints: 135925
1037.49/1040.75 c #Conflicts: 474000 | #Constraints: 136925
1037.49/1040.75 c INPROCESSING
1037.49/1040.75 c GARBAGE COLLECT
1037.49/1040.75 c #Conflicts: 475000 | #Constraints: 124331
1037.49/1040.75 c #Conflicts: 476000 | #Constraints: 125331
1037.49/1040.75 c #Conflicts: 477000 | #Constraints: 126331
1037.49/1040.75 c #Conflicts: 478000 | #Constraints: 127331
1037.49/1040.75 c #Conflicts: 479000 | #Constraints: 128331
1037.49/1040.75 c #Conflicts: 480000 | #Constraints: 129331
1037.49/1040.75 c #Conflicts: 481000 | #Constraints: 130331
1037.49/1040.75 c #Conflicts: 482000 | #Constraints: 131331
1037.49/1040.75 c #Conflicts: 483000 | #Constraints: 132331
1037.49/1040.75 c #Conflicts: 484000 | #Constraints: 133331
1037.49/1040.75 c #Conflicts: 485000 | #Constraints: 134331
1037.49/1040.75 c #Conflicts: 486000 | #Constraints: 135331
1037.49/1040.75 c #Conflicts: 487000 | #Constraints: 136331
1037.49/1040.75 c #Conflicts: 488000 | #Constraints: 137331
1037.49/1040.75 c INPROCESSING
1037.49/1040.75 c GARBAGE COLLECT
1037.49/1040.75 c #Conflicts: 489000 | #Constraints: 124523
1037.49/1040.75 c #Conflicts: 490000 | #Constraints: 125523
1037.49/1040.75 c #Conflicts: 491000 | #Constraints: 126523
1037.49/1040.75 c #Conflicts: 492000 | #Constraints: 127523
1037.49/1040.75 c #Conflicts: 493000 | #Constraints: 128523
1037.49/1040.75 c #Conflicts: 494000 | #Constraints: 129523
1037.49/1040.75 c #Conflicts: 495000 | #Constraints: 130523
1037.49/1040.75 c #Conflicts: 496000 | #Constraints: 131523
1037.49/1040.75 c #Conflicts: 497000 | #Constraints: 132523
1037.49/1040.75 c #Conflicts: 498000 | #Constraints: 133523
1037.49/1040.75 c #Conflicts: 499000 | #Constraints: 134523
1037.49/1040.75 c #Conflicts: 500000 | #Constraints: 135523
1037.49/1040.75 c #Conflicts: 501000 | #Constraints: 136523
1218.15/1221.93 c #Conflicts: 502000 | #Constraints: 137523
1218.15/1221.93 c INPROCESSING
1218.15/1221.93 c GARBAGE COLLECT
1218.15/1221.93 c #Conflicts: 503000 | #Constraints: 124531
1218.15/1221.93 c #Conflicts: 504000 | #Constraints: 125531
1218.15/1221.93 c #Conflicts: 505000 | #Constraints: 126531
1218.15/1221.93 c #Conflicts: 506000 | #Constraints: 127531
1218.15/1221.93 c #Conflicts: 507000 | #Constraints: 128531
1218.15/1221.93 c #Conflicts: 508000 | #Constraints: 129531
1218.15/1221.93 c #Conflicts: 509000 | #Constraints: 130531
1218.15/1221.93 c #Conflicts: 510000 | #Constraints: 131531
1218.15/1221.93 c #Conflicts: 511000 | #Constraints: 132531
1218.15/1221.93 c #Conflicts: 512000 | #Constraints: 133531
1218.15/1221.93 c #Conflicts: 513000 | #Constraints: 134531
1218.15/1221.93 c #Conflicts: 514000 | #Constraints: 135531
1218.15/1221.93 c #Conflicts: 515000 | #Constraints: 136531
1218.15/1221.93 c #Conflicts: 516000 | #Constraints: 137531
1218.15/1221.93 c INPROCESSING
1218.15/1221.93 c GARBAGE COLLECT
1218.15/1221.93 c #Conflicts: 517000 | #Constraints: 124320
1218.15/1221.93 c #Conflicts: 518000 | #Constraints: 125320
1218.15/1221.93 c #Conflicts: 519000 | #Constraints: 126320
1218.15/1221.93 c #Conflicts: 520000 | #Constraints: 127320
1218.15/1221.93 c #Conflicts: 521000 | #Constraints: 128320
1218.15/1221.93 c #Conflicts: 522000 | #Constraints: 129320
1218.15/1221.93 c #Conflicts: 523000 | #Constraints: 130320
1218.15/1221.93 c #Conflicts: 524000 | #Constraints: 131320
1218.15/1221.93 c #Conflicts: 525000 | #Constraints: 132320
1218.15/1221.93 c #Conflicts: 526000 | #Constraints: 133320
1218.15/1221.93 c #Conflicts: 527000 | #Constraints: 134320
1218.15/1221.93 c #Conflicts: 528000 | #Constraints: 135320
1218.15/1221.93 c #Conflicts: 529000 | #Constraints: 136320
1218.15/1221.93 c #Conflicts: 530000 | #Constraints: 137320
1218.15/1221.93 c #Conflicts: 531000 | #Constraints: 138320
1218.15/1221.93 c INPROCESSING
1218.15/1221.93 c GARBAGE COLLECT
1218.15/1221.93 c #Conflicts: 532000 | #Constraints: 124953
1218.15/1221.93 c #Conflicts: 533000 | #Constraints: 125953
1218.15/1221.93 c #Conflicts: 534000 | #Constraints: 126953
1218.15/1221.93 c #Conflicts: 535000 | #Constraints: 127953
1218.15/1221.93 c #Conflicts: 536000 | #Constraints: 128953
1218.15/1221.93 c #Conflicts: 537000 | #Constraints: 129953
1218.15/1221.93 c #Conflicts: 538000 | #Constraints: 130953
1218.15/1221.93 c #Conflicts: 539000 | #Constraints: 131953
1218.15/1221.93 c #Conflicts: 540000 | #Constraints: 132953
1218.15/1221.93 c #Conflicts: 541000 | #Constraints: 133953
1218.15/1221.93 c #Conflicts: 542000 | #Constraints: 134953
1218.15/1221.93 c #Conflicts: 543000 | #Constraints: 135953
1218.15/1221.93 c #Conflicts: 544000 | #Constraints: 136953
1218.15/1221.93 c #Conflicts: 545000 | #Constraints: 137953
1218.15/1221.93 c #Conflicts: 546000 | #Constraints: 138953
1218.15/1221.93 c INPROCESSING
1218.15/1221.93 c GARBAGE COLLECT
1218.15/1221.93 c #Conflicts: 547000 | #Constraints: 125334
1218.15/1221.93 c #Conflicts: 548000 | #Constraints: 126334
1218.15/1221.93 c #Conflicts: 549000 | #Constraints: 127334
1218.15/1221.93 c #Conflicts: 550000 | #Constraints: 128334
1218.15/1221.93 c #Conflicts: 551000 | #Constraints: 129334
1218.15/1221.93 c #Conflicts: 552000 | #Constraints: 130334
1218.15/1221.93 c #Conflicts: 553000 | #Constraints: 131334
1218.15/1221.93 c #Conflicts: 554000 | #Constraints: 132334
1218.15/1221.93 c #Conflicts: 555000 | #Constraints: 133334
1218.15/1221.93 c #Conflicts: 556000 | #Constraints: 134334
1218.15/1221.93 c #Conflicts: 557000 | #Constraints: 135334
1218.15/1221.94 c #Conflicts: 558000 | #Constraints: 136334
1218.15/1221.94 c #Conflicts: 559000 | #Constraints: 137334
1218.15/1221.94 c #Conflicts: 560000 | #Constraints: 138334
1218.15/1221.94 c #Conflicts: 561000 | #Constraints: 139334
1218.15/1221.94 c INPROCESSING
1218.15/1221.94 c GARBAGE COLLECT
1218.15/1221.94 c #Conflicts: 562000 | #Constraints: 125519
1218.15/1221.94 c #Conflicts: 563000 | #Constraints: 126519
1218.15/1221.94 c #Conflicts: 564000 | #Constraints: 127519
1218.15/1221.94 c #Conflicts: 565000 | #Constraints: 128519
1218.15/1221.94 c #Conflicts: 566000 | #Constraints: 129519
1218.15/1221.94 c #Conflicts: 567000 | #Constraints: 130519
1218.15/1221.94 c #Conflicts: 568000 | #Constraints: 131519
1218.15/1221.94 c #Conflicts: 569000 | #Constraints: 132519
1218.15/1221.94 c #Conflicts: 570000 | #Constraints: 133519
1218.15/1221.94 c #Conflicts: 571000 | #Constraints: 134519
1218.15/1221.94 c #Conflicts: 572000 | #Constraints: 135519
1218.15/1221.94 c #Conflicts: 573000 | #Constraints: 136519
1218.15/1221.94 c #Conflicts: 574000 | #Constraints: 137519
1218.15/1221.94 c #Conflicts: 575000 | #Constraints: 138519
1218.15/1221.94 c #Conflicts: 576000 | #Constraints: 139519
1218.15/1221.94 c INPROCESSING
1412.08/1416.43 c GARBAGE COLLECT
1412.08/1416.43 c #Conflicts: 577000 | #Constraints: 125534
1412.08/1416.43 c #Conflicts: 578000 | #Constraints: 126534
1412.08/1416.43 c #Conflicts: 579000 | #Constraints: 127534
1412.08/1416.43 c #Conflicts: 580000 | #Constraints: 128534
1412.08/1416.43 c #Conflicts: 581000 | #Constraints: 129534
1412.08/1416.43 c #Conflicts: 582000 | #Constraints: 130534
1412.08/1416.43 c #Conflicts: 583000 | #Constraints: 131534
1412.08/1416.43 c #Conflicts: 584000 | #Constraints: 132534
1412.08/1416.43 c #Conflicts: 585000 | #Constraints: 133534
1412.08/1416.43 c #Conflicts: 586000 | #Constraints: 134534
1412.08/1416.43 c #Conflicts: 587000 | #Constraints: 135534
1412.08/1416.43 c #Conflicts: 588000 | #Constraints: 136534
1412.08/1416.43 c #Conflicts: 589000 | #Constraints: 137534
1412.08/1416.43 c #Conflicts: 590000 | #Constraints: 138534
1412.08/1416.43 c #Conflicts: 591000 | #Constraints: 139534
1412.08/1416.43 c INPROCESSING
1412.08/1416.43 c GARBAGE COLLECT
1412.08/1416.43 c #Conflicts: 592000 | #Constraints: 125342
1412.08/1416.43 c #Conflicts: 593000 | #Constraints: 126342
1412.08/1416.43 c #Conflicts: 594000 | #Constraints: 127342
1412.08/1416.43 c #Conflicts: 595000 | #Constraints: 128342
1412.08/1416.43 c #Conflicts: 596000 | #Constraints: 129342
1412.08/1416.43 c #Conflicts: 597000 | #Constraints: 130342
1412.08/1416.43 c #Conflicts: 598000 | #Constraints: 131342
1412.08/1416.43 c #Conflicts: 599000 | #Constraints: 132342
1412.08/1416.43 c #Conflicts: 600000 | #Constraints: 133342
1412.08/1416.43 c #Conflicts: 601000 | #Constraints: 134342
1412.08/1416.43 c #Conflicts: 602000 | #Constraints: 135342
1412.08/1416.43 c #Conflicts: 603000 | #Constraints: 136342
1412.08/1416.43 c #Conflicts: 604000 | #Constraints: 137342
1412.08/1416.43 c #Conflicts: 605000 | #Constraints: 138342
1412.08/1416.43 c #Conflicts: 606000 | #Constraints: 139342
1412.08/1416.43 c #Conflicts: 607000 | #Constraints: 140342
1412.08/1416.43 c INPROCESSING
1412.08/1416.43 c GARBAGE COLLECT
1412.08/1416.43 c #Conflicts: 608000 | #Constraints: 125946
1412.08/1416.43 c #Conflicts: 609000 | #Constraints: 126946
1412.08/1416.43 c #Conflicts: 610000 | #Constraints: 127946
1412.08/1416.43 c #Conflicts: 611000 | #Constraints: 128946
1412.08/1416.43 c #Conflicts: 612000 | #Constraints: 129946
1412.08/1416.43 c #Conflicts: 613000 | #Constraints: 130946
1412.08/1416.43 c #Conflicts: 614000 | #Constraints: 131946
1412.08/1416.43 c #Conflicts: 615000 | #Constraints: 132946
1412.08/1416.43 c #Conflicts: 616000 | #Constraints: 133946
1412.08/1416.43 c #Conflicts: 617000 | #Constraints: 134946
1412.08/1416.43 c #Conflicts: 618000 | #Constraints: 135946
1412.08/1416.43 c #Conflicts: 619000 | #Constraints: 136946
1412.08/1416.43 c #Conflicts: 620000 | #Constraints: 137946
1412.08/1416.43 c #Conflicts: 621000 | #Constraints: 138946
1412.08/1416.43 c #Conflicts: 622000 | #Constraints: 139946
1412.08/1416.43 c #Conflicts: 623000 | #Constraints: 140946
1412.08/1416.43 c INPROCESSING
1412.08/1416.43 c GARBAGE COLLECT
1412.08/1416.43 c #Conflicts: 624000 | #Constraints: 126340
1412.08/1416.43 c #Conflicts: 625000 | #Constraints: 127340
1412.08/1416.43 c #Conflicts: 626000 | #Constraints: 128340
1412.08/1416.43 c #Conflicts: 627000 | #Constraints: 129340
1412.08/1416.43 c #Conflicts: 628000 | #Constraints: 130340
1412.08/1416.43 c #Conflicts: 629000 | #Constraints: 131340
1412.08/1416.43 c #Conflicts: 630000 | #Constraints: 132340
1412.08/1416.43 c #Conflicts: 631000 | #Constraints: 133340
1412.08/1416.43 c #Conflicts: 632000 | #Constraints: 134340
1412.08/1416.43 c #Conflicts: 633000 | #Constraints: 135340
1412.08/1416.43 c #Conflicts: 634000 | #Constraints: 136340
1412.08/1416.43 c #Conflicts: 635000 | #Constraints: 137340
1412.08/1416.43 c #Conflicts: 636000 | #Constraints: 138340
1412.08/1416.43 c #Conflicts: 637000 | #Constraints: 139340
1412.08/1416.43 c #Conflicts: 638000 | #Constraints: 140340
1412.08/1416.43 c #Conflicts: 639000 | #Constraints: 141340
1412.08/1416.43 c INPROCESSING
1412.08/1416.43 c GARBAGE COLLECT
1412.08/1416.43 c #Conflicts: 640000 | #Constraints: 126532
1412.08/1416.43 c #Conflicts: 641000 | #Constraints: 127532
1412.08/1416.43 c #Conflicts: 642000 | #Constraints: 128532
1412.08/1416.43 c #Conflicts: 643000 | #Constraints: 129532
1412.08/1416.43 c #Conflicts: 644000 | #Constraints: 130532
1412.08/1416.43 c #Conflicts: 645000 | #Constraints: 131532
1412.08/1416.43 c #Conflicts: 646000 | #Constraints: 132532
1412.08/1416.43 c #Conflicts: 647000 | #Constraints: 133532
1412.08/1416.43 c #Conflicts: 648000 | #Constraints: 134532
1412.08/1416.43 c #Conflicts: 649000 | #Constraints: 135532
1412.08/1416.43 c #Conflicts: 650000 | #Constraints: 136532
1412.08/1416.43 c #Conflicts: 651000 | #Constraints: 137532
1412.08/1416.43 c #Conflicts: 652000 | #Constraints: 138532
1619.25/1624.22 c #Conflicts: 653000 | #Constraints: 139532
1619.25/1624.22 c #Conflicts: 654000 | #Constraints: 140532
1619.25/1624.22 c #Conflicts: 655000 | #Constraints: 141532
1619.25/1624.22 c INPROCESSING
1619.25/1624.22 c GARBAGE COLLECT
1619.25/1624.22 c #Conflicts: 656000 | #Constraints: 126536
1619.25/1624.22 c #Conflicts: 657000 | #Constraints: 127536
1619.25/1624.22 c #Conflicts: 658000 | #Constraints: 128536
1619.25/1624.22 c #Conflicts: 659000 | #Constraints: 129536
1619.25/1624.22 c #Conflicts: 660000 | #Constraints: 130536
1619.25/1624.22 c #Conflicts: 661000 | #Constraints: 131536
1619.25/1624.22 c #Conflicts: 662000 | #Constraints: 132536
1619.25/1624.22 c #Conflicts: 663000 | #Constraints: 133536
1619.25/1624.22 c #Conflicts: 664000 | #Constraints: 134536
1619.25/1624.22 c #Conflicts: 665000 | #Constraints: 135536
1619.25/1624.22 c #Conflicts: 666000 | #Constraints: 136536
1619.25/1624.22 c #Conflicts: 667000 | #Constraints: 137536
1619.25/1624.22 c #Conflicts: 668000 | #Constraints: 138536
1619.25/1624.22 c #Conflicts: 669000 | #Constraints: 139536
1619.25/1624.22 c #Conflicts: 670000 | #Constraints: 140536
1619.25/1624.22 c #Conflicts: 671000 | #Constraints: 141536
1619.25/1624.22 c INPROCESSING
1619.25/1624.22 c GARBAGE COLLECT
1619.25/1624.22 c #Conflicts: 672000 | #Constraints: 126339
1619.25/1624.22 c #Conflicts: 673000 | #Constraints: 127339
1619.25/1624.22 c #Conflicts: 674000 | #Constraints: 128339
1619.25/1624.22 c #Conflicts: 675000 | #Constraints: 129339
1619.25/1624.22 c #Conflicts: 676000 | #Constraints: 130339
1619.25/1624.22 c #Conflicts: 677000 | #Constraints: 131339
1619.25/1624.22 c #Conflicts: 678000 | #Constraints: 132339
1619.25/1624.22 c #Conflicts: 679000 | #Constraints: 133339
1619.25/1624.22 c #Conflicts: 680000 | #Constraints: 134339
1619.25/1624.22 c #Conflicts: 681000 | #Constraints: 135339
1619.25/1624.22 c #Conflicts: 682000 | #Constraints: 136339
1619.25/1624.22 c #Conflicts: 683000 | #Constraints: 137339
1619.25/1624.22 c #Conflicts: 684000 | #Constraints: 138339
1619.25/1624.22 c #Conflicts: 685000 | #Constraints: 139339
1619.25/1624.22 c #Conflicts: 686000 | #Constraints: 140339
1619.25/1624.22 c #Conflicts: 687000 | #Constraints: 141339
1619.25/1624.22 c #Conflicts: 688000 | #Constraints: 142339
1619.25/1624.22 c INPROCESSING
1619.25/1624.22 c GARBAGE COLLECT
1619.25/1624.22 c #Conflicts: 689000 | #Constraints: 126948
1619.25/1624.22 c #Conflicts: 690000 | #Constraints: 127948
1619.25/1624.22 c #Conflicts: 691000 | #Constraints: 128948
1619.25/1624.22 c #Conflicts: 692000 | #Constraints: 129948
1619.25/1624.22 c #Conflicts: 693000 | #Constraints: 130948
1619.25/1624.22 c #Conflicts: 694000 | #Constraints: 131948
1619.25/1624.22 c #Conflicts: 695000 | #Constraints: 132948
1619.25/1624.22 c #Conflicts: 696000 | #Constraints: 133948
1619.25/1624.22 c #Conflicts: 697000 | #Constraints: 134948
1619.25/1624.22 c #Conflicts: 698000 | #Constraints: 135948
1619.25/1624.22 c #Conflicts: 699000 | #Constraints: 136948
1619.25/1624.22 c #Conflicts: 700000 | #Constraints: 137948
1619.25/1624.22 c #Conflicts: 701000 | #Constraints: 138948
1619.25/1624.22 c #Conflicts: 702000 | #Constraints: 139948
1619.25/1624.22 c #Conflicts: 703000 | #Constraints: 140948
1619.25/1624.22 c #Conflicts: 704000 | #Constraints: 141948
1619.25/1624.22 c #Conflicts: 705000 | #Constraints: 142948
1619.25/1624.22 c INPROCESSING
1619.25/1624.22 c GARBAGE COLLECT
1619.25/1624.22 c #Conflicts: 706000 | #Constraints: 127330
1619.25/1624.22 c #Conflicts: 707000 | #Constraints: 128330
1619.25/1624.22 c #Conflicts: 708000 | #Constraints: 129330
1619.25/1624.22 c #Conflicts: 709000 | #Constraints: 130330
1619.25/1624.22 c #Conflicts: 710000 | #Constraints: 131330
1619.25/1624.22 c #Conflicts: 711000 | #Constraints: 132330
1619.25/1624.22 c #Conflicts: 712000 | #Constraints: 133330
1619.25/1624.22 c #Conflicts: 713000 | #Constraints: 134330
1619.25/1624.22 c #Conflicts: 714000 | #Constraints: 135330
1619.25/1624.22 c #Conflicts: 715000 | #Constraints: 136330
1619.25/1624.22 c #Conflicts: 716000 | #Constraints: 137330
1619.25/1624.22 c #Conflicts: 717000 | #Constraints: 138330
1619.25/1624.22 c #Conflicts: 718000 | #Constraints: 139330
1619.25/1624.22 c #Conflicts: 719000 | #Constraints: 140330
1619.25/1624.22 c #Conflicts: 720000 | #Constraints: 141330
1619.25/1624.22 c #Conflicts: 721000 | #Constraints: 142330
1619.25/1624.22 c #Conflicts: 722000 | #Constraints: 143330
1619.25/1624.22 c INPROCESSING
1619.25/1624.22 c GARBAGE COLLECT
1619.25/1624.22 c #Conflicts: 723000 | #Constraints: 127552
1619.25/1624.22 c #Conflicts: 724000 | #Constraints: 128552
1619.25/1624.22 c #Conflicts: 725000 | #Constraints: 129552
1619.25/1624.22 c #Conflicts: 726000 | #Constraints: 130552
1619.25/1624.22 c #Conflicts: 727000 | #Constraints: 131552
1619.25/1624.22 c #Conflicts: 728000 | #Constraints: 132552
1671.29/1676.44 c #Conflicts: 729000 | #Constraints: 133552
1671.29/1676.44 c #Conflicts: 730000 | #Constraints: 134552
1671.29/1676.44 c #Conflicts: 731000 | #Constraints: 135552
1671.29/1676.44 c #Conflicts: 732000 | #Constraints: 136552
1671.29/1676.44 c #Conflicts: 733000 | #Constraints: 137552
1671.29/1676.44 c #Conflicts: 734000 | #Constraints: 138552
1671.29/1676.44 c #Conflicts: 735000 | #Constraints: 139552
1671.29/1676.44 c #Conflicts: 736000 | #Constraints: 140552
1671.29/1676.44 c #Conflicts: 737000 | #Constraints: 141552
1671.29/1676.44 c #Conflicts: 738000 | #Constraints: 142552
1671.29/1676.44 c #Conflicts: 739000 | #Constraints: 143552
1671.29/1676.44 c INPROCESSING
1671.29/1676.44 c GARBAGE COLLECT
1671.29/1676.44 c #Conflicts: 740000 | #Constraints: 127550
1671.29/1676.44 c #Conflicts: 741000 | #Constraints: 128550
1671.29/1676.44 c #Conflicts: 742000 | #Constraints: 129550
1671.29/1676.44 c #Conflicts: 743000 | #Constraints: 130550
1671.29/1676.44 c #Conflicts: 744000 | #Constraints: 131550
1671.29/1676.44 c #Conflicts: 745000 | #Constraints: 132550
1671.29/1676.44 c #Conflicts: 746000 | #Constraints: 133550
1671.29/1676.44 c #Conflicts: 747000 | #Constraints: 134550
1671.29/1676.44 c #Conflicts: 748000 | #Constraints: 135550
1671.29/1676.44 c finalizing WCE round: reformulating cores
1758.03/1763.45 c bounds -46 >= -234 @ 1667.92
1758.03/1763.45 c #Conflicts: 749000 | #Constraints: 136557
1758.03/1763.45 c #Conflicts: 750000 | #Constraints: 137559
1758.03/1763.45 c bounds -46 >= -230 @ 1676.71
1758.03/1763.45 c #Conflicts: 751000 | #Constraints: 138563
1758.03/1763.45 c bounds -46 >= -230 @ 1677.62
1758.03/1763.45 c #Conflicts: 752000 | #Constraints: 139567
1758.03/1763.45 c #Conflicts: 753000 | #Constraints: 140569
1758.03/1763.45 c bounds -46 >= -225 @ 1685.66
1758.03/1763.45 c #Conflicts: 754000 | #Constraints: 141573
1758.03/1763.45 c bounds -46 >= -223 @ 1688.65
1758.03/1763.45 c bounds -46 >= -223 @ 1689.18
1758.03/1763.45 c #Conflicts: 755000 | #Constraints: 142579
1758.03/1763.45 c bounds -46 >= -219 @ 1695.17
1758.03/1763.45 c #Conflicts: 756000 | #Constraints: 143585
1758.03/1763.45 c INPROCESSING
1758.03/1763.45 c GARBAGE COLLECT
1758.03/1763.45 c #Conflicts: 757000 | #Constraints: 127041
1758.03/1763.45 c #Conflicts: 758000 | #Constraints: 128043
1758.03/1763.45 c bounds -46 >= -215 @ 1701.37
1758.03/1763.45 c #Conflicts: 759000 | #Constraints: 129049
1758.03/1763.45 c #Conflicts: 760000 | #Constraints: 130051
1758.03/1763.45 c #Conflicts: 761000 | #Constraints: 131053
1758.03/1763.45 c bounds -46 >= -209 @ 1709.34
1758.03/1763.45 c bounds -46 >= -209 @ 1709.42
1758.03/1763.45 c #Conflicts: 762000 | #Constraints: 132061
1758.03/1763.45 c #Conflicts: 763000 | #Constraints: 133063
1758.03/1763.45 c #Conflicts: 764000 | #Constraints: 134065
1758.03/1763.45 c #Conflicts: 765000 | #Constraints: 135069
1758.03/1763.45 c bounds -46 >= -203 @ 1716.94
1758.03/1763.45 c bounds -46 >= -202 @ 1718.9
1758.03/1763.45 c bounds -46 >= -201 @ 1718.91
1758.03/1763.45 c bounds -46 >= -200 @ 1718.98
1758.03/1763.45 c bounds -46 >= -199 @ 1719.26
1758.03/1763.45 c #Conflicts: 766000 | #Constraints: 136126
1758.03/1763.45 c bounds -46 >= -198 @ 1720.5
1758.03/1763.45 c #Conflicts: 767000 | #Constraints: 137166
1758.03/1763.45 c bounds -46 >= -197 @ 1721.7
1758.03/1763.45 c bounds -46 >= -196 @ 1722.34
1758.03/1763.45 c #Conflicts: 768000 | #Constraints: 138225
1758.03/1763.45 c bounds -46 >= -195 @ 1724.09
1758.03/1763.45 c #Conflicts: 769000 | #Constraints: 139232
1758.03/1763.45 c #Conflicts: 770000 | #Constraints: 140232
1758.03/1763.45 c bounds -46 >= -194 @ 1726.49
1758.03/1763.45 c #Conflicts: 771000 | #Constraints: 141251
1758.03/1763.45 c #Conflicts: 772000 | #Constraints: 142251
1758.03/1763.45 c #Conflicts: 773000 | #Constraints: 143251
1758.03/1763.45 c #Conflicts: 774000 | #Constraints: 144251
1758.03/1763.45 c INPROCESSING
1758.03/1763.45 c GARBAGE COLLECT
1758.03/1763.45 c #Conflicts: 775000 | #Constraints: 127883
1758.03/1763.46 c #Conflicts: 776000 | #Constraints: 128883
1758.03/1763.46 c bounds -46 >= -193 @ 1735.32
1758.03/1763.46 c #Conflicts: 777000 | #Constraints: 129932
1758.03/1763.46 c #Conflicts: 778000 | #Constraints: 130932
1758.03/1763.46 c #Conflicts: 779000 | #Constraints: 131932
1758.03/1763.46 c #Conflicts: 780000 | #Constraints: 132932
1758.03/1763.46 c #Conflicts: 781000 | #Constraints: 133932
1758.03/1763.46 c #Conflicts: 782000 | #Constraints: 134932
1758.03/1763.46 c #Conflicts: 783000 | #Constraints: 135932
1758.03/1763.46 c #Conflicts: 784000 | #Constraints: 136932
1758.03/1763.46 c #Conflicts: 785000 | #Constraints: 137932
1758.03/1763.46 c #Conflicts: 786000 | #Constraints: 138932
1758.03/1763.46 c #Conflicts: 787000 | #Constraints: 139932
1758.03/1763.46 c #Conflicts: 788000 | #Constraints: 140932
1758.03/1763.46 c #Conflicts: 789000 | #Constraints: 141932
1758.03/1763.46 c #Conflicts: 790000 | #Constraints: 142932
1758.03/1763.46 c #Conflicts: 791000 | #Constraints: 143932
1758.03/1763.46 c #Conflicts: 792000 | #Constraints: 144932
1758.03/1763.46 c INPROCESSING
1758.03/1763.46 c GARBAGE COLLECT
1758.03/1763.46 c #Conflicts: 793000 | #Constraints: 128420
1758.03/1763.46 c #Conflicts: 794000 | #Constraints: 129420
1758.03/1763.46 c #Conflicts: 795000 | #Constraints: 130420
1758.03/1763.46 c #Conflicts: 796000 | #Constraints: 131420
1758.03/1763.46 c #Conflicts: 797000 | #Constraints: 132420
1758.03/1763.46 c #Conflicts: 798000 | #Constraints: 133420
1758.03/1763.46 c #Conflicts: 799000 | #Constraints: 134420
1758.03/1763.46 c #Conflicts: 800000 | #Constraints: 135420
1758.03/1763.46 c #Conflicts: 801000 | #Constraints: 136420
1758.03/1763.46 c #Conflicts: 802000 | #Constraints: 137420
1758.03/1763.46 c #Conflicts: 803000 | #Constraints: 138420
1758.03/1763.46 c #Conflicts: 804000 | #Constraints: 139420
1758.03/1763.46 c #Conflicts: 805000 | #Constraints: 140420
1758.03/1763.46 c #Conflicts: 806000 | #Constraints: 141420
1758.03/1763.46 c #Conflicts: 807000 | #Constraints: 142420
1758.03/1763.46 c #Conflicts: 808000 | #Constraints: 143420
1758.03/1763.46 c #Conflicts: 809000 | #Constraints: 144420
1758.03/1763.46 c #Conflicts: 810000 | #Constraints: 145420
1758.03/1763.46 c INPROCESSING
1758.03/1763.46 c GARBAGE COLLECT
1758.03/1763.46 c #Conflicts: 811000 | #Constraints: 128654
1758.03/1763.46 c #Conflicts: 812000 | #Constraints: 129654
1795.81/1801.30 c #Conflicts: 813000 | #Constraints: 130654
1795.81/1801.30 c #Conflicts: 814000 | #Constraints: 131654
1795.81/1801.30 c #Conflicts: 815000 | #Constraints: 132654
1795.81/1801.30 c #Conflicts: 816000 | #Constraints: 133654
1795.81/1801.30 c #Conflicts: 817000 | #Constraints: 134654
1795.81/1801.30 c #Conflicts: 818000 | #Constraints: 135654
1795.81/1801.30 c #Conflicts: 819000 | #Constraints: 136654
1795.81/1801.30 c #Conflicts: 820000 | #Constraints: 137654
1795.81/1801.30 c #Conflicts: 821000 | #Constraints: 138654
1795.81/1801.30 c #Conflicts: 822000 | #Constraints: 139654
1795.81/1801.30 c #Conflicts: 823000 | #Constraints: 140654
1795.81/1801.30 c #Conflicts: 824000 | #Constraints: 141654
1795.81/1801.30 c #Conflicts: 825000 | #Constraints: 142654
1795.81/1801.30 c #Conflicts: 826000 | #Constraints: 143654
1795.81/1801.30 c #Conflicts: 827000 | #Constraints: 144654
1795.81/1801.30 c #Conflicts: 828000 | #Constraints: 145654
1795.81/1801.30 c INPROCESSING
1795.81/1801.30 c GARBAGE COLLECT
1795.81/1801.30 c #Conflicts: 829000 | #Constraints: 128692
1795.81/1801.30 c #Conflicts: 830000 | #Constraints: 129692
1795.81/1801.30 c #Conflicts: 831000 | #Constraints: 130692
1795.81/1801.30 c #Conflicts: 832000 | #Constraints: 131692
1795.81/1801.30 c #Conflicts: 833000 | #Constraints: 132692
1795.81/1801.30 c #Conflicts: 834000 | #Constraints: 133692
1795.81/1801.30 c #Conflicts: 835000 | #Constraints: 134692
1795.81/1801.30 c bounds -46 >= -192 @ 1765.09
1795.81/1801.30 c #Conflicts: 836000 | #Constraints: 135744
1795.81/1801.30 c #Conflicts: 837000 | #Constraints: 136744
1795.81/1801.30 c #Conflicts: 838000 | #Constraints: 137744
1795.81/1801.30 c #Conflicts: 839000 | #Constraints: 138744
1795.81/1801.30 c #Conflicts: 840000 | #Constraints: 139744
1795.81/1801.30 c #Conflicts: 841000 | #Constraints: 140744
1795.81/1801.30 c #Conflicts: 842000 | #Constraints: 141744
1795.81/1801.30 c #Conflicts: 843000 | #Constraints: 142744
1795.81/1801.30 c #Conflicts: 844000 | #Constraints: 143744
1795.81/1801.30 c #Conflicts: 845000 | #Constraints: 144744
1795.81/1801.30 c #Conflicts: 846000 | #Constraints: 145744
1795.81/1801.30 c INPROCESSING
1795.81/1801.30 c GARBAGE COLLECT
1795.81/1801.30 c #Conflicts: 847000 | #Constraints: 128554
1795.81/1801.30 c #Conflicts: 848000 | #Constraints: 129554
1795.81/1801.30 c #Conflicts: 849000 | #Constraints: 130554
1795.81/1801.30 c #Conflicts: 850000 | #Constraints: 131554
1795.81/1801.30 c #Conflicts: 851000 | #Constraints: 132554
1795.81/1801.30 c #Conflicts: 852000 | #Constraints: 133554
1795.81/1801.30 c #Conflicts: 853000 | #Constraints: 134554
1795.81/1801.30 c #Conflicts: 854000 | #Constraints: 135554
1795.81/1801.30 c #Conflicts: 855000 | #Constraints: 136554
1795.81/1801.30 c #Conflicts: 856000 | #Constraints: 137554
1795.81/1801.30 c #Conflicts: 857000 | #Constraints: 138554
1795.81/1801.30 c #Conflicts: 858000 | #Constraints: 139554
1795.81/1801.30 c #Conflicts: 859000 | #Constraints: 140554
1795.81/1801.30 c #Conflicts: 860000 | #Constraints: 141554
1795.81/1801.30 c #Conflicts: 861000 | #Constraints: 142554
1795.81/1801.30 c #Conflicts: 862000 | #Constraints: 143554
1795.81/1801.30 c #Conflicts: 863000 | #Constraints: 144554
1795.81/1801.30 c #Conflicts: 864000 | #Constraints: 145554
1795.81/1801.30 c #Conflicts: 865000 | #Constraints: 146554
1795.81/1801.30 c INPROCESSING
1795.81/1801.30 c GARBAGE COLLECT
1795.81/1801.30 c #Conflicts: 866000 | #Constraints: 129170
1795.81/1801.30 c #Conflicts: 867000 | #Constraints: 130170
1795.81/1801.30 c #Conflicts: 868000 | #Constraints: 131170
1795.81/1801.30 c #Conflicts: 869000 | #Constraints: 132170
1795.81/1801.30 c #Conflicts: 870000 | #Constraints: 133170
1795.81/1801.30 c #Conflicts: 871000 | #Constraints: 134170
1795.81/1801.30 c #Conflicts: 872000 | #Constraints: 135170
1795.81/1801.30 c #Conflicts: 873000 | #Constraints: 136170
1795.81/1801.30 c #Conflicts: 874000 | #Constraints: 137170
1795.81/1801.30 c #Conflicts: 875000 | #Constraints: 138170
1795.81/1801.30 c #Conflicts: 876000 | #Constraints: 139170
1795.81/1801.30 c #Conflicts: 877000 | #Constraints: 140170
1795.81/1801.30 c #Conflicts: 878000 | #Constraints: 141170
1795.81/1801.30 c #Conflicts: 879000 | #Constraints: 142170
1795.81/1801.30 c #Conflicts: 880000 | #Constraints: 143170
1795.81/1801.30 c #Conflicts: 881000 | #Constraints: 144170
1795.81/1801.30 c #Conflicts: 882000 | #Constraints: 145170
1795.81/1801.30 c #Conflicts: 883000 | #Constraints: 146170
1795.81/1801.30 c #Conflicts: 884000 | #Constraints: 147170
1795.81/1801.30 c INPROCESSING
1795.81/1801.30 c GARBAGE COLLECT
1795.81/1801.30 c #Conflicts: 885000 | #Constraints: 129597
1795.81/1801.30 c #Conflicts: 886000 | #Constraints: 130597
1795.81/1801.30 c #Conflicts: 887000 | #Constraints: 131597
1795.81/1801.30 c #Conflicts: 888000 | #Constraints: 132597
1854.83/1860.51 c #Conflicts: 889000 | #Constraints: 133597
1854.83/1860.51 c #Conflicts: 890000 | #Constraints: 134597
1854.83/1860.51 c #Conflicts: 891000 | #Constraints: 135597
1854.83/1860.51 c #Conflicts: 892000 | #Constraints: 136597
1854.83/1860.51 c #Conflicts: 893000 | #Constraints: 137597
1854.83/1860.51 c #Conflicts: 894000 | #Constraints: 138597
1854.83/1860.51 c #Conflicts: 895000 | #Constraints: 139597
1854.83/1860.51 c #Conflicts: 896000 | #Constraints: 140597
1854.83/1860.51 c #Conflicts: 897000 | #Constraints: 141597
1854.83/1860.51 c #Conflicts: 898000 | #Constraints: 142597
1854.83/1860.51 c #Conflicts: 899000 | #Constraints: 143597
1854.83/1860.51 c #Conflicts: 900000 | #Constraints: 144597
1854.83/1860.51 c #Conflicts: 901000 | #Constraints: 145597
1854.83/1860.51 c #Conflicts: 902000 | #Constraints: 146597
1854.83/1860.51 c #Conflicts: 903000 | #Constraints: 147597
1854.83/1860.51 c INPROCESSING
1854.83/1860.51 c GARBAGE COLLECT
1854.83/1860.51 c #Conflicts: 904000 | #Constraints: 129795
1854.83/1860.51 c #Conflicts: 905000 | #Constraints: 130795
1854.83/1860.51 c #Conflicts: 906000 | #Constraints: 131795
1854.83/1860.51 c #Conflicts: 907000 | #Constraints: 132795
1854.83/1860.51 c #Conflicts: 908000 | #Constraints: 133795
1854.83/1860.51 c #Conflicts: 909000 | #Constraints: 134795
1854.83/1860.51 c #Conflicts: 910000 | #Constraints: 135795
1854.83/1860.51 c #Conflicts: 911000 | #Constraints: 136795
1854.83/1860.51 c #Conflicts: 912000 | #Constraints: 137795
1854.83/1860.51 c #Conflicts: 913000 | #Constraints: 138795
1854.83/1860.51 c #Conflicts: 914000 | #Constraints: 139795
1854.83/1860.51 c #Conflicts: 915000 | #Constraints: 140795
1854.83/1860.51 c #Conflicts: 916000 | #Constraints: 141795
1854.83/1860.51 c #Conflicts: 917000 | #Constraints: 142795
1854.83/1860.51 c #Conflicts: 918000 | #Constraints: 143795
1854.83/1860.51 c #Conflicts: 919000 | #Constraints: 144795
1854.83/1860.51 c #Conflicts: 920000 | #Constraints: 145795
1854.83/1860.51 c #Conflicts: 921000 | #Constraints: 146795
1854.83/1860.51 c #Conflicts: 922000 | #Constraints: 147795
1854.83/1860.51 c INPROCESSING
1854.83/1860.51 c GARBAGE COLLECT
1854.83/1860.51 c #Conflicts: 923000 | #Constraints: 129818
1854.83/1860.51 c #Conflicts: 924000 | #Constraints: 130818
1854.83/1860.51 c #Conflicts: 925000 | #Constraints: 131818
1854.83/1860.51 c #Conflicts: 926000 | #Constraints: 132818
1854.83/1860.51 c #Conflicts: 927000 | #Constraints: 133818
1854.83/1860.51 c #Conflicts: 928000 | #Constraints: 134818
1854.83/1860.51 c #Conflicts: 929000 | #Constraints: 135818
1854.83/1860.51 c #Conflicts: 930000 | #Constraints: 136818
1854.83/1860.51 c #Conflicts: 931000 | #Constraints: 137818
1854.83/1860.51 c #Conflicts: 932000 | #Constraints: 138818
1854.83/1860.51 c #Conflicts: 933000 | #Constraints: 139818
1854.83/1860.51 c #Conflicts: 934000 | #Constraints: 140818
1854.83/1860.51 c #Conflicts: 935000 | #Constraints: 141818
1854.83/1860.51 c #Conflicts: 936000 | #Constraints: 142818
1854.83/1860.51 c #Conflicts: 937000 | #Constraints: 143818
1854.83/1860.51 c #Conflicts: 938000 | #Constraints: 144818
1854.83/1860.51 c #Conflicts: 939000 | #Constraints: 145818
1854.83/1860.51 c #Conflicts: 940000 | #Constraints: 146818
1854.83/1860.51 c #Conflicts: 941000 | #Constraints: 147818
1854.83/1860.51 c #Conflicts: 942000 | #Constraints: 148818
1854.83/1860.51 c #Conflicts: 943000 | #Constraints: 149818
1854.83/1860.51 c #Conflicts: 944000 | #Constraints: 150818
1854.83/1860.51 c #Conflicts: 945000 | #Constraints: 151818
1854.83/1860.51 c #Conflicts: 946000 | #Constraints: 152818
1854.83/1860.51 c #Conflicts: 947000 | #Constraints: 153818
1854.83/1860.51 c #Conflicts: 948000 | #Constraints: 154818
1854.83/1860.51 c #Conflicts: 949000 | #Constraints: 155818
1854.83/1860.51 c #Conflicts: 950000 | #Constraints: 156818
1854.83/1860.51 c #Conflicts: 951000 | #Constraints: 157818
1854.83/1860.51 c #Conflicts: 952000 | #Constraints: 158818
1854.83/1860.51 c #Conflicts: 953000 | #Constraints: 159818
1854.83/1860.51 c #Conflicts: 954000 | #Constraints: 160818
1854.83/1860.51 c #Conflicts: 955000 | #Constraints: 161818
1854.83/1860.51 c #Conflicts: 956000 | #Constraints: 162818
1854.83/1860.51 c #Conflicts: 957000 | #Constraints: 163818
1854.83/1860.51 c #Conflicts: 958000 | #Constraints: 164818
1854.83/1860.51 c #Conflicts: 959000 | #Constraints: 165818
1854.83/1860.51 c #Conflicts: 960000 | #Constraints: 166818
1854.83/1860.51 c #Conflicts: 961000 | #Constraints: 167818
1854.83/1860.51 c #Conflicts: 962000 | #Constraints: 168818
1854.83/1860.51 c #Conflicts: 963000 | #Constraints: 169818
1854.83/1860.51 c #Conflicts: 964000 | #Constraints: 170818
1854.83/1860.51 c #Conflicts: 965000 | #Constraints: 171818
2005.67/2011.81 c #Conflicts: 966000 | #Constraints: 172818
2005.67/2011.81 c #Conflicts: 967000 | #Constraints: 173818
2005.67/2011.81 c #Conflicts: 968000 | #Constraints: 174818
2005.67/2011.81 c #Conflicts: 969000 | #Constraints: 175818
2005.67/2011.81 c #Conflicts: 970000 | #Constraints: 176818
2005.67/2011.81 c #Conflicts: 971000 | #Constraints: 177818
2005.67/2011.81 c #Conflicts: 972000 | #Constraints: 178818
2005.67/2011.81 c #Conflicts: 973000 | #Constraints: 179818
2005.67/2011.81 c #Conflicts: 974000 | #Constraints: 180818
2005.67/2011.81 c #Conflicts: 975000 | #Constraints: 181818
2005.67/2011.81 c #Conflicts: 976000 | #Constraints: 182818
2005.67/2011.81 c #Conflicts: 977000 | #Constraints: 183818
2005.67/2011.81 c #Conflicts: 978000 | #Constraints: 184818
2005.67/2011.81 c #Conflicts: 979000 | #Constraints: 185818
2005.67/2011.81 c #Conflicts: 980000 | #Constraints: 186818
2005.67/2011.81 c #Conflicts: 981000 | #Constraints: 187818
2005.67/2011.81 c #Conflicts: 982000 | #Constraints: 188818
2005.67/2011.81 c #Conflicts: 983000 | #Constraints: 189818
2005.67/2011.81 c #Conflicts: 984000 | #Constraints: 190818
2005.67/2011.81 c #Conflicts: 985000 | #Constraints: 191818
2005.67/2011.81 c #Conflicts: 986000 | #Constraints: 192818
2005.67/2011.81 c #Conflicts: 987000 | #Constraints: 193818
2005.67/2011.81 c #Conflicts: 988000 | #Constraints: 194818
2005.67/2011.81 c #Conflicts: 989000 | #Constraints: 195818
2005.67/2011.81 c #Conflicts: 990000 | #Constraints: 196818
2005.67/2011.81 c #Conflicts: 991000 | #Constraints: 197818
2005.67/2011.81 c #Conflicts: 992000 | #Constraints: 198818
2005.67/2011.81 c #Conflicts: 993000 | #Constraints: 199818
2005.67/2011.81 c #Conflicts: 994000 | #Constraints: 200818
2005.67/2011.81 c #Conflicts: 995000 | #Constraints: 201818
2005.67/2011.81 c #Conflicts: 996000 | #Constraints: 202818
2005.67/2011.81 c #Conflicts: 997000 | #Constraints: 203818
2005.67/2011.81 c #Conflicts: 998000 | #Constraints: 204818
2005.67/2011.81 c #Conflicts: 999000 | #Constraints: 205818
2005.67/2011.81 c #Conflicts: 1000000 | #Constraints: 206818
2005.67/2011.81 c #Conflicts: 1001000 | #Constraints: 207818
2005.67/2011.81 c #Conflicts: 1002000 | #Constraints: 208818
2005.67/2011.81 c #Conflicts: 1003000 | #Constraints: 209818
2005.67/2011.81 c #Conflicts: 1004000 | #Constraints: 210818
2005.67/2011.81 c #Conflicts: 1005000 | #Constraints: 211818
2005.67/2011.81 c #Conflicts: 1006000 | #Constraints: 212818
2005.67/2011.81 c #Conflicts: 1007000 | #Constraints: 213818
2005.67/2011.81 c #Conflicts: 1008000 | #Constraints: 214818
2005.67/2011.81 c #Conflicts: 1009000 | #Constraints: 215818
2005.67/2011.81 c #Conflicts: 1010000 | #Constraints: 216818
2005.67/2011.81 c #Conflicts: 1011000 | #Constraints: 217818
2005.67/2011.81 c #Conflicts: 1012000 | #Constraints: 218818
2005.67/2011.81 c #Conflicts: 1013000 | #Constraints: 219818
2005.67/2011.81 c #Conflicts: 1014000 | #Constraints: 220818
2005.67/2011.81 c #Conflicts: 1015000 | #Constraints: 221818
2005.67/2011.81 c #Conflicts: 1016000 | #Constraints: 222818
2005.67/2011.81 c #Conflicts: 1017000 | #Constraints: 223818
2005.67/2011.81 c #Conflicts: 1018000 | #Constraints: 224818
2005.67/2011.81 c #Conflicts: 1019000 | #Constraints: 225818
2005.67/2011.81 c #Conflicts: 1020000 | #Constraints: 226818
2005.67/2011.81 c INPROCESSING
2005.67/2011.81 c GARBAGE COLLECT
2005.67/2011.81 c #Conflicts: 1021000 | #Constraints: 169003
2005.67/2011.81 c #Conflicts: 1022000 | #Constraints: 170003
2005.67/2011.81 c #Conflicts: 1023000 | #Constraints: 171003
2005.67/2011.81 c #Conflicts: 1024000 | #Constraints: 172003
2005.67/2011.81 c #Conflicts: 1025000 | #Constraints: 173003
2005.67/2011.81 c #Conflicts: 1026000 | #Constraints: 174003
2005.67/2011.81 c #Conflicts: 1027000 | #Constraints: 175003
2005.67/2011.81 c #Conflicts: 1028000 | #Constraints: 176003
2005.67/2011.81 c #Conflicts: 1029000 | #Constraints: 177003
2005.67/2011.81 c #Conflicts: 1030000 | #Constraints: 178003
2005.67/2011.81 c #Conflicts: 1031000 | #Constraints: 179003
2005.67/2011.81 c #Conflicts: 1032000 | #Constraints: 180003
2005.67/2011.81 c #Conflicts: 1033000 | #Constraints: 181003
2005.67/2011.81 c #Conflicts: 1034000 | #Constraints: 182003
2005.67/2011.81 c #Conflicts: 1035000 | #Constraints: 183003
2005.67/2011.81 c #Conflicts: 1036000 | #Constraints: 184003
2005.67/2011.81 c #Conflicts: 1037000 | #Constraints: 185003
2005.67/2011.81 c #Conflicts: 1038000 | #Constraints: 186003
2005.67/2011.81 c #Conflicts: 1039000 | #Constraints: 187003
2005.67/2011.81 c #Conflicts: 1040000 | #Constraints: 188003
2005.67/2011.81 c #Conflicts: 1041000 | #Constraints: 189003
2005.67/2011.81 c INPROCESSING
2005.67/2011.81 c GARBAGE COLLECT
2005.67/2011.81 c #Conflicts: 1042000 | #Constraints: 150355
2005.67/2011.81 c #Conflicts: 1043000 | #Constraints: 151355
2077.56/2083.91 c #Conflicts: 1044000 | #Constraints: 152355
2077.56/2083.91 c #Conflicts: 1045000 | #Constraints: 153355
2077.56/2083.91 c #Conflicts: 1046000 | #Constraints: 154355
2077.56/2083.91 c #Conflicts: 1047000 | #Constraints: 155355
2077.56/2083.91 c #Conflicts: 1048000 | #Constraints: 156355
2077.56/2083.91 c #Conflicts: 1049000 | #Constraints: 157355
2077.56/2083.91 c #Conflicts: 1050000 | #Constraints: 158355
2077.56/2083.91 c #Conflicts: 1051000 | #Constraints: 159355
2077.56/2083.91 c #Conflicts: 1052000 | #Constraints: 160355
2077.56/2083.91 c #Conflicts: 1053000 | #Constraints: 161355
2077.56/2083.91 c #Conflicts: 1054000 | #Constraints: 162355
2077.56/2083.91 c #Conflicts: 1055000 | #Constraints: 163355
2077.56/2083.91 c #Conflicts: 1056000 | #Constraints: 164355
2077.56/2083.91 c #Conflicts: 1057000 | #Constraints: 165355
2077.56/2083.91 c #Conflicts: 1058000 | #Constraints: 166355
2077.56/2083.91 c #Conflicts: 1059000 | #Constraints: 167355
2077.56/2083.91 c #Conflicts: 1060000 | #Constraints: 168355
2077.56/2083.91 c #Conflicts: 1061000 | #Constraints: 169355
2077.56/2083.91 c #Conflicts: 1062000 | #Constraints: 170355
2077.56/2083.91 c INPROCESSING
2077.56/2083.91 c GARBAGE COLLECT
2077.56/2083.91 c #Conflicts: 1063000 | #Constraints: 141201
2077.56/2083.91 c #Conflicts: 1064000 | #Constraints: 142201
2077.56/2083.91 c #Conflicts: 1065000 | #Constraints: 143201
2077.56/2083.91 c #Conflicts: 1066000 | #Constraints: 144201
2077.56/2083.91 c #Conflicts: 1067000 | #Constraints: 145201
2077.56/2083.91 c #Conflicts: 1068000 | #Constraints: 146201
2077.56/2083.91 c #Conflicts: 1069000 | #Constraints: 147201
2077.56/2083.91 c #Conflicts: 1070000 | #Constraints: 148201
2077.56/2083.91 c #Conflicts: 1071000 | #Constraints: 149201
2077.56/2083.91 c #Conflicts: 1072000 | #Constraints: 150201
2077.56/2083.91 c #Conflicts: 1073000 | #Constraints: 151201
2077.56/2083.91 c #Conflicts: 1074000 | #Constraints: 152201
2077.56/2083.91 c #Conflicts: 1075000 | #Constraints: 153201
2077.56/2083.91 c #Conflicts: 1076000 | #Constraints: 154201
2077.56/2083.91 c #Conflicts: 1077000 | #Constraints: 155201
2077.56/2083.91 c #Conflicts: 1078000 | #Constraints: 156201
2077.56/2083.91 c #Conflicts: 1079000 | #Constraints: 157201
2077.56/2083.91 c #Conflicts: 1080000 | #Constraints: 158201
2077.56/2083.91 c #Conflicts: 1081000 | #Constraints: 159201
2077.56/2083.91 c #Conflicts: 1082000 | #Constraints: 160201
2077.56/2083.91 c INPROCESSING
2077.56/2083.91 c GARBAGE COLLECT
2077.56/2083.91 c #Conflicts: 1083000 | #Constraints: 135679
2077.56/2083.91 c #Conflicts: 1084000 | #Constraints: 136679
2077.56/2083.91 c #Conflicts: 1085000 | #Constraints: 137679
2077.56/2083.91 c #Conflicts: 1086000 | #Constraints: 138679
2077.56/2083.91 c #Conflicts: 1087000 | #Constraints: 139679
2077.56/2083.91 c #Conflicts: 1088000 | #Constraints: 140679
2077.56/2083.91 c #Conflicts: 1089000 | #Constraints: 141679
2077.56/2083.91 c #Conflicts: 1090000 | #Constraints: 142679
2077.56/2083.91 c #Conflicts: 1091000 | #Constraints: 143679
2077.56/2083.91 c #Conflicts: 1092000 | #Constraints: 144679
2077.56/2083.91 c #Conflicts: 1093000 | #Constraints: 145679
2077.56/2083.91 c #Conflicts: 1094000 | #Constraints: 146679
2077.56/2083.91 c #Conflicts: 1095000 | #Constraints: 147679
2077.56/2083.91 c #Conflicts: 1096000 | #Constraints: 148679
2077.56/2083.91 c #Conflicts: 1097000 | #Constraints: 149679
2077.56/2083.91 c #Conflicts: 1098000 | #Constraints: 150679
2077.56/2083.91 c #Conflicts: 1099000 | #Constraints: 151679
2077.56/2083.91 c #Conflicts: 1100000 | #Constraints: 152679
2077.56/2083.91 c #Conflicts: 1101000 | #Constraints: 153679
2077.56/2083.91 c #Conflicts: 1102000 | #Constraints: 154679
2077.56/2083.91 c #Conflicts: 1103000 | #Constraints: 155679
2077.56/2083.91 c #Conflicts: 1104000 | #Constraints: 156679
2077.56/2083.91 c #Conflicts: 1105000 | #Constraints: 157679
2077.56/2083.91 c #Conflicts: 1106000 | #Constraints: 158679
2077.56/2083.91 c #Conflicts: 1107000 | #Constraints: 159679
2077.56/2083.91 c #Conflicts: 1108000 | #Constraints: 160679
2077.56/2083.91 c #Conflicts: 1109000 | #Constraints: 161679
2077.56/2083.91 c #Conflicts: 1110000 | #Constraints: 162679
2077.56/2083.91 c #Conflicts: 1111000 | #Constraints: 163679
2077.56/2083.91 c #Conflicts: 1112000 | #Constraints: 164679
2077.56/2083.91 c #Conflicts: 1113000 | #Constraints: 165679
2077.56/2083.91 c #Conflicts: 1114000 | #Constraints: 166679
2077.56/2083.91 c #Conflicts: 1115000 | #Constraints: 167679
2077.56/2083.91 c #Conflicts: 1116000 | #Constraints: 168679
2077.56/2083.91 c #Conflicts: 1117000 | #Constraints: 169679
2077.56/2083.91 c #Conflicts: 1118000 | #Constraints: 170679
2077.56/2083.91 c #Conflicts: 1119000 | #Constraints: 171679
2077.56/2083.91 c #Conflicts: 1120000 | #Constraints: 172679
2256.78/2263.65 c #Conflicts: 1121000 | #Constraints: 173679
2256.78/2263.65 c #Conflicts: 1122000 | #Constraints: 174679
2256.78/2263.65 c #Conflicts: 1123000 | #Constraints: 175679
2256.78/2263.65 c #Conflicts: 1124000 | #Constraints: 176679
2256.78/2263.65 c #Conflicts: 1125000 | #Constraints: 177679
2256.78/2263.65 c #Conflicts: 1126000 | #Constraints: 178679
2256.78/2263.65 c #Conflicts: 1127000 | #Constraints: 179679
2256.78/2263.65 c #Conflicts: 1128000 | #Constraints: 180679
2256.78/2263.65 c #Conflicts: 1129000 | #Constraints: 181679
2256.78/2263.65 c #Conflicts: 1130000 | #Constraints: 182679
2256.78/2263.65 c #Conflicts: 1131000 | #Constraints: 183679
2256.78/2263.65 c #Conflicts: 1132000 | #Constraints: 184679
2256.78/2263.65 c #Conflicts: 1133000 | #Constraints: 185679
2256.78/2263.65 c #Conflicts: 1134000 | #Constraints: 186679
2256.78/2263.65 c #Conflicts: 1135000 | #Constraints: 187679
2256.78/2263.65 c #Conflicts: 1136000 | #Constraints: 188679
2256.78/2263.65 c #Conflicts: 1137000 | #Constraints: 189679
2256.78/2263.65 c #Conflicts: 1138000 | #Constraints: 190679
2256.78/2263.65 c #Conflicts: 1139000 | #Constraints: 191679
2256.78/2263.65 c #Conflicts: 1140000 | #Constraints: 192679
2256.78/2263.65 c #Conflicts: 1141000 | #Constraints: 193679
2256.78/2263.65 c #Conflicts: 1142000 | #Constraints: 194679
2256.78/2263.65 c #Conflicts: 1143000 | #Constraints: 195679
2256.78/2263.65 c #Conflicts: 1144000 | #Constraints: 196679
2256.78/2263.65 c #Conflicts: 1145000 | #Constraints: 197679
2256.78/2263.65 c #Conflicts: 1146000 | #Constraints: 198679
2256.78/2263.65 c #Conflicts: 1147000 | #Constraints: 199679
2256.78/2263.65 c #Conflicts: 1148000 | #Constraints: 200679
2256.78/2263.65 c #Conflicts: 1149000 | #Constraints: 201679
2256.78/2263.65 c #Conflicts: 1150000 | #Constraints: 202679
2256.78/2263.65 c #Conflicts: 1151000 | #Constraints: 203679
2256.78/2263.65 c #Conflicts: 1152000 | #Constraints: 204679
2256.78/2263.65 c #Conflicts: 1153000 | #Constraints: 205679
2256.78/2263.65 c #Conflicts: 1154000 | #Constraints: 206679
2256.78/2263.65 c #Conflicts: 1155000 | #Constraints: 207679
2256.78/2263.65 c #Conflicts: 1156000 | #Constraints: 208679
2256.78/2263.65 c #Conflicts: 1157000 | #Constraints: 209679
2256.78/2263.65 c #Conflicts: 1158000 | #Constraints: 210679
2256.78/2263.65 c #Conflicts: 1159000 | #Constraints: 211679
2256.78/2263.65 c #Conflicts: 1160000 | #Constraints: 212679
2256.78/2263.65 c #Conflicts: 1161000 | #Constraints: 213679
2256.78/2263.65 c #Conflicts: 1162000 | #Constraints: 214679
2256.78/2263.65 c #Conflicts: 1163000 | #Constraints: 215679
2256.78/2263.65 c #Conflicts: 1164000 | #Constraints: 216679
2256.78/2263.65 c #Conflicts: 1165000 | #Constraints: 217679
2256.78/2263.65 c #Conflicts: 1166000 | #Constraints: 218679
2256.78/2263.65 c #Conflicts: 1167000 | #Constraints: 219679
2256.78/2263.65 c #Conflicts: 1168000 | #Constraints: 220679
2256.78/2263.65 c #Conflicts: 1169000 | #Constraints: 221679
2256.78/2263.65 c #Conflicts: 1170000 | #Constraints: 222679
2256.78/2263.65 c #Conflicts: 1171000 | #Constraints: 223679
2256.78/2263.65 c #Conflicts: 1172000 | #Constraints: 224679
2256.78/2263.65 c #Conflicts: 1173000 | #Constraints: 225679
2256.78/2263.65 c #Conflicts: 1174000 | #Constraints: 226679
2256.78/2263.65 c #Conflicts: 1175000 | #Constraints: 227679
2256.78/2263.65 c #Conflicts: 1176000 | #Constraints: 228679
2256.78/2263.65 c #Conflicts: 1177000 | #Constraints: 229679
2256.78/2263.65 c #Conflicts: 1178000 | #Constraints: 230679
2256.78/2263.65 c #Conflicts: 1179000 | #Constraints: 231679
2256.78/2263.65 c #Conflicts: 1180000 | #Constraints: 232679
2256.78/2263.65 c #Conflicts: 1181000 | #Constraints: 233679
2256.78/2263.65 c #Conflicts: 1182000 | #Constraints: 234679
2256.78/2263.65 c #Conflicts: 1183000 | #Constraints: 235679
2256.78/2263.65 c #Conflicts: 1184000 | #Constraints: 236679
2256.78/2263.65 c #Conflicts: 1185000 | #Constraints: 237679
2256.78/2263.65 c #Conflicts: 1186000 | #Constraints: 238679
2256.78/2263.65 c INPROCESSING
2256.78/2263.65 c GARBAGE COLLECT
2256.78/2263.65 c #Conflicts: 1187000 | #Constraints: 174939
2256.78/2263.65 c #Conflicts: 1188000 | #Constraints: 175939
2256.78/2263.65 c #Conflicts: 1189000 | #Constraints: 176939
2256.78/2263.65 c #Conflicts: 1190000 | #Constraints: 177939
2256.78/2263.65 c #Conflicts: 1191000 | #Constraints: 178939
2256.78/2263.65 c #Conflicts: 1192000 | #Constraints: 179939
2256.78/2263.65 c #Conflicts: 1193000 | #Constraints: 180939
2256.78/2263.65 c #Conflicts: 1194000 | #Constraints: 181939
2256.78/2263.65 c #Conflicts: 1195000 | #Constraints: 182939
2256.78/2263.65 c #Conflicts: 1196000 | #Constraints: 183939
2256.78/2263.65 c #Conflicts: 1197000 | #Constraints: 184939
2256.78/2263.65 c #Conflicts: 1198000 | #Constraints: 185939
2256.78/2263.65 c #Conflicts: 1199000 | #Constraints: 186939
2344.35/2351.43 c #Conflicts: 1200000 | #Constraints: 187939
2344.35/2351.43 c #Conflicts: 1201000 | #Constraints: 188939
2344.35/2351.43 c #Conflicts: 1202000 | #Constraints: 189939
2344.35/2351.43 c #Conflicts: 1203000 | #Constraints: 190939
2344.35/2351.43 c #Conflicts: 1204000 | #Constraints: 191939
2344.35/2351.43 c #Conflicts: 1205000 | #Constraints: 192939
2344.35/2351.43 c #Conflicts: 1206000 | #Constraints: 193939
2344.35/2351.43 c #Conflicts: 1207000 | #Constraints: 194939
2344.35/2351.43 c #Conflicts: 1208000 | #Constraints: 195939
2344.35/2351.43 c #Conflicts: 1209000 | #Constraints: 196939
2344.35/2351.43 c INPROCESSING
2344.35/2351.43 c GARBAGE COLLECT
2344.35/2351.43 c #Conflicts: 1210000 | #Constraints: 154489
2344.35/2351.43 c #Conflicts: 1211000 | #Constraints: 155489
2344.35/2351.43 c #Conflicts: 1212000 | #Constraints: 156489
2344.35/2351.43 c #Conflicts: 1213000 | #Constraints: 157489
2344.35/2351.43 c #Conflicts: 1214000 | #Constraints: 158489
2344.35/2351.43 c #Conflicts: 1215000 | #Constraints: 159489
2344.35/2351.43 c #Conflicts: 1216000 | #Constraints: 160489
2344.35/2351.43 c #Conflicts: 1217000 | #Constraints: 161489
2344.35/2351.43 c #Conflicts: 1218000 | #Constraints: 162489
2344.35/2351.43 c #Conflicts: 1219000 | #Constraints: 163489
2344.35/2351.43 c #Conflicts: 1220000 | #Constraints: 164489
2344.35/2351.43 c #Conflicts: 1221000 | #Constraints: 165489
2344.35/2351.43 c #Conflicts: 1222000 | #Constraints: 166489
2344.35/2351.43 c #Conflicts: 1223000 | #Constraints: 167489
2344.35/2351.43 c #Conflicts: 1224000 | #Constraints: 168489
2344.35/2351.43 c #Conflicts: 1225000 | #Constraints: 169489
2344.35/2351.43 c #Conflicts: 1226000 | #Constraints: 170489
2344.35/2351.43 c #Conflicts: 1227000 | #Constraints: 171489
2344.35/2351.43 c #Conflicts: 1228000 | #Constraints: 172489
2344.35/2351.43 c #Conflicts: 1229000 | #Constraints: 173489
2344.35/2351.43 c #Conflicts: 1230000 | #Constraints: 174489
2344.35/2351.43 c #Conflicts: 1231000 | #Constraints: 175489
2344.35/2351.43 c INPROCESSING
2344.35/2351.43 c GARBAGE COLLECT
2344.35/2351.43 c #Conflicts: 1232000 | #Constraints: 143560
2344.35/2351.43 c #Conflicts: 1233000 | #Constraints: 144560
2344.35/2351.43 c #Conflicts: 1234000 | #Constraints: 145560
2344.35/2351.43 c #Conflicts: 1235000 | #Constraints: 146560
2344.35/2351.43 c #Conflicts: 1236000 | #Constraints: 147560
2344.35/2351.43 c #Conflicts: 1237000 | #Constraints: 148560
2344.35/2351.43 c #Conflicts: 1238000 | #Constraints: 149560
2344.35/2351.43 c #Conflicts: 1239000 | #Constraints: 150560
2344.35/2351.43 c #Conflicts: 1240000 | #Constraints: 151560
2344.35/2351.43 c #Conflicts: 1241000 | #Constraints: 152560
2344.35/2351.43 c #Conflicts: 1242000 | #Constraints: 153560
2344.35/2351.43 c #Conflicts: 1243000 | #Constraints: 154560
2344.35/2351.43 c #Conflicts: 1244000 | #Constraints: 155560
2344.35/2351.43 c #Conflicts: 1245000 | #Constraints: 156560
2344.35/2351.43 c #Conflicts: 1246000 | #Constraints: 157560
2344.35/2351.43 c #Conflicts: 1247000 | #Constraints: 158560
2344.35/2351.43 c #Conflicts: 1248000 | #Constraints: 159560
2344.35/2351.43 c #Conflicts: 1249000 | #Constraints: 160560
2344.35/2351.43 c #Conflicts: 1250000 | #Constraints: 161560
2344.35/2351.43 c #Conflicts: 1251000 | #Constraints: 162560
2344.35/2351.43 c #Conflicts: 1252000 | #Constraints: 163560
2344.35/2351.43 c #Conflicts: 1253000 | #Constraints: 164560
2344.35/2351.43 c #Conflicts: 1254000 | #Constraints: 165560
2344.35/2351.43 c INPROCESSING
2344.35/2351.43 c GARBAGE COLLECT
2344.35/2351.43 c #Conflicts: 1255000 | #Constraints: 138787
2344.35/2351.43 c #Conflicts: 1256000 | #Constraints: 139787
2344.35/2351.43 c #Conflicts: 1257000 | #Constraints: 140787
2344.35/2351.43 c #Conflicts: 1258000 | #Constraints: 141787
2344.35/2351.43 c #Conflicts: 1259000 | #Constraints: 142787
2344.35/2351.43 c #Conflicts: 1260000 | #Constraints: 143787
2344.35/2351.43 c #Conflicts: 1261000 | #Constraints: 144787
2344.35/2351.43 c #Conflicts: 1262000 | #Constraints: 145787
2344.35/2351.43 c #Conflicts: 1263000 | #Constraints: 146787
2344.35/2351.43 c #Conflicts: 1264000 | #Constraints: 147787
2344.35/2351.43 c #Conflicts: 1265000 | #Constraints: 148787
2344.35/2351.43 c #Conflicts: 1266000 | #Constraints: 149787
2344.35/2351.43 c #Conflicts: 1267000 | #Constraints: 150787
2344.35/2351.43 c #Conflicts: 1268000 | #Constraints: 151787
2344.35/2351.43 c #Conflicts: 1269000 | #Constraints: 152787
2344.35/2351.43 c #Conflicts: 1270000 | #Constraints: 153787
2344.35/2351.43 c #Conflicts: 1271000 | #Constraints: 154787
2344.35/2351.43 c #Conflicts: 1272000 | #Constraints: 155787
2344.35/2351.43 c #Conflicts: 1273000 | #Constraints: 156787
2344.35/2351.43 c #Conflicts: 1274000 | #Constraints: 157787
2344.35/2351.43 c #Conflicts: 1275000 | #Constraints: 158787
2502.96/2510.42 c #Conflicts: 1276000 | #Constraints: 159787
2502.96/2510.42 c #Conflicts: 1277000 | #Constraints: 160787
2502.96/2510.42 c #Conflicts: 1278000 | #Constraints: 161787
2502.96/2510.42 c #Conflicts: 1279000 | #Constraints: 162787
2502.96/2510.42 c #Conflicts: 1280000 | #Constraints: 163787
2502.96/2510.42 c #Conflicts: 1281000 | #Constraints: 164787
2502.96/2510.42 c #Conflicts: 1282000 | #Constraints: 165787
2502.96/2510.42 c #Conflicts: 1283000 | #Constraints: 166787
2502.96/2510.42 c #Conflicts: 1284000 | #Constraints: 167787
2502.96/2510.42 c #Conflicts: 1285000 | #Constraints: 168787
2502.96/2510.42 c #Conflicts: 1286000 | #Constraints: 169787
2502.96/2510.42 c #Conflicts: 1287000 | #Constraints: 170787
2502.96/2510.42 c #Conflicts: 1288000 | #Constraints: 171787
2502.96/2510.42 c #Conflicts: 1289000 | #Constraints: 172787
2502.96/2510.42 c #Conflicts: 1290000 | #Constraints: 173787
2502.96/2510.42 c #Conflicts: 1291000 | #Constraints: 174787
2502.96/2510.42 c #Conflicts: 1292000 | #Constraints: 175787
2502.96/2510.42 c #Conflicts: 1293000 | #Constraints: 176787
2502.96/2510.42 c #Conflicts: 1294000 | #Constraints: 177787
2502.96/2510.42 c #Conflicts: 1295000 | #Constraints: 178787
2502.96/2510.42 c #Conflicts: 1296000 | #Constraints: 179787
2502.96/2510.42 c #Conflicts: 1297000 | #Constraints: 180787
2502.96/2510.42 c #Conflicts: 1298000 | #Constraints: 181787
2502.96/2510.42 c #Conflicts: 1299000 | #Constraints: 182787
2502.96/2510.42 c #Conflicts: 1300000 | #Constraints: 183787
2502.96/2510.42 c #Conflicts: 1301000 | #Constraints: 184787
2502.96/2510.42 c #Conflicts: 1302000 | #Constraints: 185787
2502.96/2510.42 c #Conflicts: 1303000 | #Constraints: 186787
2502.96/2510.42 c #Conflicts: 1304000 | #Constraints: 187787
2502.96/2510.42 c #Conflicts: 1305000 | #Constraints: 188787
2502.96/2510.42 c #Conflicts: 1306000 | #Constraints: 189787
2502.96/2510.42 c #Conflicts: 1307000 | #Constraints: 190787
2502.96/2510.42 c #Conflicts: 1308000 | #Constraints: 191787
2502.96/2510.42 c #Conflicts: 1309000 | #Constraints: 192787
2502.96/2510.42 c #Conflicts: 1310000 | #Constraints: 193787
2502.96/2510.42 c #Conflicts: 1311000 | #Constraints: 194787
2502.96/2510.42 c #Conflicts: 1312000 | #Constraints: 195787
2502.96/2510.42 c #Conflicts: 1313000 | #Constraints: 196787
2502.96/2510.42 c #Conflicts: 1314000 | #Constraints: 197787
2502.96/2510.42 c #Conflicts: 1315000 | #Constraints: 198787
2502.96/2510.42 c #Conflicts: 1316000 | #Constraints: 199787
2502.96/2510.42 c #Conflicts: 1317000 | #Constraints: 200787
2502.96/2510.42 c #Conflicts: 1318000 | #Constraints: 201787
2502.96/2510.42 c #Conflicts: 1319000 | #Constraints: 202787
2502.96/2510.42 c #Conflicts: 1320000 | #Constraints: 203787
2502.96/2510.42 c #Conflicts: 1321000 | #Constraints: 204787
2502.96/2510.42 c #Conflicts: 1322000 | #Constraints: 205787
2502.96/2510.42 c #Conflicts: 1323000 | #Constraints: 206787
2502.96/2510.42 c #Conflicts: 1324000 | #Constraints: 207787
2502.96/2510.42 c #Conflicts: 1325000 | #Constraints: 208787
2502.96/2510.42 c #Conflicts: 1326000 | #Constraints: 209787
2502.96/2510.42 c #Conflicts: 1327000 | #Constraints: 210787
2502.96/2510.42 c #Conflicts: 1328000 | #Constraints: 211787
2502.96/2510.42 c #Conflicts: 1329000 | #Constraints: 212787
2502.96/2510.42 c #Conflicts: 1330000 | #Constraints: 213787
2502.96/2510.42 c #Conflicts: 1331000 | #Constraints: 214787
2502.96/2510.42 c #Conflicts: 1332000 | #Constraints: 215787
2502.96/2510.42 c #Conflicts: 1333000 | #Constraints: 216787
2502.96/2510.42 c #Conflicts: 1334000 | #Constraints: 217787
2502.96/2510.42 c #Conflicts: 1335000 | #Constraints: 218787
2502.96/2510.42 c #Conflicts: 1336000 | #Constraints: 219787
2502.96/2510.42 c #Conflicts: 1337000 | #Constraints: 220787
2502.96/2510.42 c #Conflicts: 1338000 | #Constraints: 221787
2502.96/2510.42 c #Conflicts: 1339000 | #Constraints: 222787
2502.96/2510.42 c #Conflicts: 1340000 | #Constraints: 223787
2502.96/2510.42 c #Conflicts: 1341000 | #Constraints: 224787
2502.96/2510.42 c #Conflicts: 1342000 | #Constraints: 225787
2502.96/2510.42 c #Conflicts: 1343000 | #Constraints: 226787
2502.96/2510.42 c #Conflicts: 1344000 | #Constraints: 227787
2502.96/2510.42 c #Conflicts: 1345000 | #Constraints: 228787
2502.96/2510.42 c #Conflicts: 1346000 | #Constraints: 229787
2502.96/2510.42 c #Conflicts: 1347000 | #Constraints: 230787
2502.96/2510.42 c #Conflicts: 1348000 | #Constraints: 231787
2502.96/2510.42 c #Conflicts: 1349000 | #Constraints: 232787
2502.96/2510.42 c #Conflicts: 1350000 | #Constraints: 233787
2502.96/2510.42 c #Conflicts: 1351000 | #Constraints: 234787
2502.96/2510.42 c #Conflicts: 1352000 | #Constraints: 235787
2502.96/2510.42 c #Conflicts: 1353000 | #Constraints: 236787
2502.96/2510.42 c #Conflicts: 1354000 | #Constraints: 237787
2636.10/2643.96 c #Conflicts: 1355000 | #Constraints: 238787
2636.10/2643.96 c #Conflicts: 1356000 | #Constraints: 239787
2636.10/2643.96 c #Conflicts: 1357000 | #Constraints: 240787
2636.10/2643.96 c #Conflicts: 1358000 | #Constraints: 241787
2636.10/2643.96 c #Conflicts: 1359000 | #Constraints: 242787
2636.10/2643.96 c #Conflicts: 1360000 | #Constraints: 243787
2636.10/2643.96 c #Conflicts: 1361000 | #Constraints: 244787
2636.10/2643.96 c #Conflicts: 1362000 | #Constraints: 245787
2636.10/2643.96 c #Conflicts: 1363000 | #Constraints: 246787
2636.10/2643.96 c INPROCESSING
2636.10/2643.96 c GARBAGE COLLECT
2636.10/2643.96 c #Conflicts: 1364000 | #Constraints: 179294
2636.10/2643.96 c #Conflicts: 1365000 | #Constraints: 180294
2636.10/2643.96 c #Conflicts: 1366000 | #Constraints: 181294
2636.10/2643.96 c #Conflicts: 1367000 | #Constraints: 182294
2636.10/2643.96 c #Conflicts: 1368000 | #Constraints: 183294
2636.10/2643.96 c #Conflicts: 1369000 | #Constraints: 184294
2636.10/2643.96 c #Conflicts: 1370000 | #Constraints: 185294
2636.10/2643.96 c #Conflicts: 1371000 | #Constraints: 186294
2636.10/2643.96 c #Conflicts: 1372000 | #Constraints: 187294
2636.10/2643.96 c #Conflicts: 1373000 | #Constraints: 188294
2636.10/2643.96 c #Conflicts: 1374000 | #Constraints: 189294
2636.10/2643.96 c #Conflicts: 1375000 | #Constraints: 190294
2636.10/2643.96 c #Conflicts: 1376000 | #Constraints: 191294
2636.10/2643.96 c #Conflicts: 1377000 | #Constraints: 192294
2636.10/2643.96 c #Conflicts: 1378000 | #Constraints: 193294
2636.10/2643.96 c #Conflicts: 1379000 | #Constraints: 194294
2636.10/2643.96 c #Conflicts: 1380000 | #Constraints: 195294
2636.10/2643.96 c #Conflicts: 1381000 | #Constraints: 196294
2636.10/2643.96 c #Conflicts: 1382000 | #Constraints: 197294
2636.10/2643.96 c #Conflicts: 1383000 | #Constraints: 198294
2636.10/2643.96 c #Conflicts: 1384000 | #Constraints: 199294
2636.10/2643.96 c #Conflicts: 1385000 | #Constraints: 200294
2636.10/2643.96 c #Conflicts: 1386000 | #Constraints: 201294
2636.10/2643.96 c #Conflicts: 1387000 | #Constraints: 202294
2636.10/2643.96 c INPROCESSING
2636.10/2643.96 c GARBAGE COLLECT
2636.10/2643.96 c #Conflicts: 1388000 | #Constraints: 157135
2636.10/2643.96 c #Conflicts: 1389000 | #Constraints: 158135
2636.10/2643.96 c #Conflicts: 1390000 | #Constraints: 159135
2636.10/2643.96 c #Conflicts: 1391000 | #Constraints: 160135
2636.10/2643.96 c #Conflicts: 1392000 | #Constraints: 161135
2636.10/2643.96 c #Conflicts: 1393000 | #Constraints: 162135
2636.10/2643.96 c #Conflicts: 1394000 | #Constraints: 163135
2636.10/2643.96 c #Conflicts: 1395000 | #Constraints: 164135
2636.10/2643.96 c #Conflicts: 1396000 | #Constraints: 165135
2636.10/2643.96 c #Conflicts: 1397000 | #Constraints: 166135
2636.10/2643.96 c #Conflicts: 1398000 | #Constraints: 167135
2636.10/2643.96 c #Conflicts: 1399000 | #Constraints: 168135
2636.10/2643.96 c #Conflicts: 1400000 | #Constraints: 169135
2636.10/2643.96 c #Conflicts: 1401000 | #Constraints: 170135
2636.10/2643.96 c #Conflicts: 1402000 | #Constraints: 171135
2636.10/2643.96 c #Conflicts: 1403000 | #Constraints: 172135
2636.10/2643.96 c #Conflicts: 1404000 | #Constraints: 173135
2636.10/2643.96 c #Conflicts: 1405000 | #Constraints: 174135
2636.10/2643.96 c #Conflicts: 1406000 | #Constraints: 175135
2636.10/2643.96 c #Conflicts: 1407000 | #Constraints: 176135
2636.10/2643.96 c #Conflicts: 1408000 | #Constraints: 177135
2636.10/2643.96 c #Conflicts: 1409000 | #Constraints: 178135
2636.10/2643.96 c #Conflicts: 1410000 | #Constraints: 179135
2636.10/2643.96 c #Conflicts: 1411000 | #Constraints: 180135
2636.10/2643.96 c INPROCESSING
2636.10/2643.96 c GARBAGE COLLECT
2636.10/2643.96 c #Conflicts: 1412000 | #Constraints: 145982
2636.10/2643.96 c #Conflicts: 1413000 | #Constraints: 146982
2636.10/2643.96 c #Conflicts: 1414000 | #Constraints: 147982
2636.10/2643.96 c #Conflicts: 1415000 | #Constraints: 148982
2636.10/2643.96 c #Conflicts: 1416000 | #Constraints: 149982
2636.10/2643.96 c #Conflicts: 1417000 | #Constraints: 150982
2636.10/2643.96 c #Conflicts: 1418000 | #Constraints: 151982
2636.10/2643.96 c #Conflicts: 1419000 | #Constraints: 152982
2636.10/2643.96 c #Conflicts: 1420000 | #Constraints: 153982
2636.10/2643.96 c #Conflicts: 1421000 | #Constraints: 154982
2636.10/2643.96 c #Conflicts: 1422000 | #Constraints: 155982
2636.10/2643.96 c #Conflicts: 1423000 | #Constraints: 156982
2636.10/2643.96 c #Conflicts: 1424000 | #Constraints: 157982
2636.10/2643.96 c #Conflicts: 1425000 | #Constraints: 158982
2636.10/2643.96 c #Conflicts: 1426000 | #Constraints: 159982
2636.10/2643.96 c #Conflicts: 1427000 | #Constraints: 160982
2636.10/2643.96 c #Conflicts: 1428000 | #Constraints: 161982
2636.10/2643.96 c #Conflicts: 1429000 | #Constraints: 162982
2636.10/2643.96 c #Conflicts: 1430000 | #Constraints: 163982
2636.10/2643.96 c #Conflicts: 1431000 | #Constraints: 164982
2746.03/2754.14 c #Conflicts: 1432000 | #Constraints: 165982
2746.03/2754.14 c #Conflicts: 1433000 | #Constraints: 166982
2746.03/2754.14 c #Conflicts: 1434000 | #Constraints: 167982
2746.03/2754.14 c #Conflicts: 1435000 | #Constraints: 168982
2746.03/2754.14 c INPROCESSING
2746.03/2754.14 c GARBAGE COLLECT
2746.03/2754.14 c #Conflicts: 1436000 | #Constraints: 140259
2746.03/2754.14 c #Conflicts: 1437000 | #Constraints: 141259
2746.03/2754.14 c #Conflicts: 1438000 | #Constraints: 142259
2746.03/2754.14 c #Conflicts: 1439000 | #Constraints: 143259
2746.03/2754.14 c #Conflicts: 1440000 | #Constraints: 144259
2746.03/2754.14 c #Conflicts: 1441000 | #Constraints: 145259
2746.03/2754.14 c #Conflicts: 1442000 | #Constraints: 146259
2746.03/2754.14 c #Conflicts: 1443000 | #Constraints: 147259
2746.03/2754.14 c #Conflicts: 1444000 | #Constraints: 148259
2746.03/2754.14 c #Conflicts: 1445000 | #Constraints: 149259
2746.03/2754.14 c #Conflicts: 1446000 | #Constraints: 150259
2746.03/2754.14 c #Conflicts: 1447000 | #Constraints: 151259
2746.03/2754.14 c #Conflicts: 1448000 | #Constraints: 152259
2746.03/2754.14 c #Conflicts: 1449000 | #Constraints: 153259
2746.03/2754.14 c #Conflicts: 1450000 | #Constraints: 154259
2746.03/2754.14 c #Conflicts: 1451000 | #Constraints: 155259
2746.03/2754.14 c #Conflicts: 1452000 | #Constraints: 156259
2746.03/2754.14 c #Conflicts: 1453000 | #Constraints: 157259
2746.03/2754.14 c #Conflicts: 1454000 | #Constraints: 158259
2746.03/2754.14 c #Conflicts: 1455000 | #Constraints: 159259
2746.03/2754.14 c #Conflicts: 1456000 | #Constraints: 160259
2746.03/2754.14 c #Conflicts: 1457000 | #Constraints: 161259
2746.03/2754.14 c #Conflicts: 1458000 | #Constraints: 162259
2746.03/2754.14 c #Conflicts: 1459000 | #Constraints: 163259
2746.03/2754.14 c #Conflicts: 1460000 | #Constraints: 164259
2746.03/2754.14 c #Conflicts: 1461000 | #Constraints: 165259
2746.03/2754.14 c #Conflicts: 1462000 | #Constraints: 166259
2746.03/2754.14 c #Conflicts: 1463000 | #Constraints: 167259
2746.03/2754.14 c #Conflicts: 1464000 | #Constraints: 168259
2746.03/2754.14 c #Conflicts: 1465000 | #Constraints: 169259
2746.03/2754.14 c #Conflicts: 1466000 | #Constraints: 170259
2746.03/2754.14 c #Conflicts: 1467000 | #Constraints: 171259
2746.03/2754.14 c #Conflicts: 1468000 | #Constraints: 172259
2746.03/2754.14 c #Conflicts: 1469000 | #Constraints: 173259
2746.03/2754.14 c #Conflicts: 1470000 | #Constraints: 174259
2746.03/2754.14 c #Conflicts: 1471000 | #Constraints: 175259
2746.03/2754.14 c #Conflicts: 1472000 | #Constraints: 176259
2746.03/2754.14 c #Conflicts: 1473000 | #Constraints: 177259
2746.03/2754.14 c #Conflicts: 1474000 | #Constraints: 178259
2746.03/2754.14 c #Conflicts: 1475000 | #Constraints: 179259
2746.03/2754.14 c #Conflicts: 1476000 | #Constraints: 180259
2746.03/2754.14 c #Conflicts: 1477000 | #Constraints: 181259
2746.03/2754.14 c #Conflicts: 1478000 | #Constraints: 182259
2746.03/2754.14 c #Conflicts: 1479000 | #Constraints: 183259
2746.03/2754.14 c #Conflicts: 1480000 | #Constraints: 184259
2746.03/2754.14 c #Conflicts: 1481000 | #Constraints: 185259
2746.03/2754.14 c #Conflicts: 1482000 | #Constraints: 186259
2746.03/2754.14 c #Conflicts: 1483000 | #Constraints: 187259
2746.03/2754.14 c #Conflicts: 1484000 | #Constraints: 188259
2746.03/2754.14 c #Conflicts: 1485000 | #Constraints: 189259
2746.03/2754.14 c #Conflicts: 1486000 | #Constraints: 190259
2746.03/2754.14 c #Conflicts: 1487000 | #Constraints: 191259
2746.03/2754.14 c #Conflicts: 1488000 | #Constraints: 192259
2746.03/2754.14 c #Conflicts: 1489000 | #Constraints: 193259
2746.03/2754.14 c #Conflicts: 1490000 | #Constraints: 194259
2746.03/2754.14 c #Conflicts: 1491000 | #Constraints: 195259
2746.03/2754.14 c #Conflicts: 1492000 | #Constraints: 196259
2746.03/2754.14 c #Conflicts: 1493000 | #Constraints: 197259
2746.03/2754.14 c #Conflicts: 1494000 | #Constraints: 198259
2746.03/2754.14 c #Conflicts: 1495000 | #Constraints: 199259
2746.03/2754.14 c #Conflicts: 1496000 | #Constraints: 200259
2746.03/2754.14 c #Conflicts: 1497000 | #Constraints: 201259
2746.03/2754.14 c #Conflicts: 1498000 | #Constraints: 202259
2746.03/2754.14 c #Conflicts: 1499000 | #Constraints: 203259
2746.03/2754.14 c #Conflicts: 1500000 | #Constraints: 204259
2746.03/2754.14 c #Conflicts: 1501000 | #Constraints: 205259
2746.03/2754.14 c #Conflicts: 1502000 | #Constraints: 206259
2746.03/2754.14 c #Conflicts: 1503000 | #Constraints: 207259
2746.03/2754.14 c #Conflicts: 1504000 | #Constraints: 208259
2746.03/2754.14 c #Conflicts: 1505000 | #Constraints: 209259
2746.03/2754.14 c #Conflicts: 1506000 | #Constraints: 210259
2746.03/2754.14 c #Conflicts: 1507000 | #Constraints: 211259
2746.03/2754.14 c #Conflicts: 1508000 | #Constraints: 212259
2746.03/2754.14 c #Conflicts: 1509000 | #Constraints: 213259
2928.38/2937.00 c #Conflicts: 1510000 | #Constraints: 214259
2928.38/2937.00 c #Conflicts: 1511000 | #Constraints: 215259
2928.38/2937.00 c #Conflicts: 1512000 | #Constraints: 216259
2928.38/2937.00 c #Conflicts: 1513000 | #Constraints: 217259
2928.38/2937.00 c #Conflicts: 1514000 | #Constraints: 218259
2928.38/2937.00 c #Conflicts: 1515000 | #Constraints: 219259
2928.38/2937.00 c #Conflicts: 1516000 | #Constraints: 220259
2928.38/2937.00 c #Conflicts: 1517000 | #Constraints: 221259
2928.38/2937.00 c #Conflicts: 1518000 | #Constraints: 222259
2928.38/2937.00 c #Conflicts: 1519000 | #Constraints: 223259
2928.38/2937.00 c #Conflicts: 1520000 | #Constraints: 224259
2928.38/2937.00 c #Conflicts: 1521000 | #Constraints: 225259
2928.38/2937.00 c #Conflicts: 1522000 | #Constraints: 226259
2928.38/2937.00 c #Conflicts: 1523000 | #Constraints: 227259
2928.38/2937.00 c #Conflicts: 1524000 | #Constraints: 228259
2928.38/2937.00 c #Conflicts: 1525000 | #Constraints: 229259
2928.38/2937.00 c #Conflicts: 1526000 | #Constraints: 230259
2928.38/2937.00 c #Conflicts: 1527000 | #Constraints: 231259
2928.38/2937.00 c #Conflicts: 1528000 | #Constraints: 232259
2928.38/2937.00 c #Conflicts: 1529000 | #Constraints: 233259
2928.38/2937.00 c #Conflicts: 1530000 | #Constraints: 234259
2928.38/2937.00 c #Conflicts: 1531000 | #Constraints: 235259
2928.38/2937.00 c #Conflicts: 1532000 | #Constraints: 236259
2928.38/2937.00 c #Conflicts: 1533000 | #Constraints: 237259
2928.38/2937.00 c #Conflicts: 1534000 | #Constraints: 238259
2928.38/2937.00 c #Conflicts: 1535000 | #Constraints: 239259
2928.38/2937.00 c #Conflicts: 1536000 | #Constraints: 240259
2928.38/2937.00 c #Conflicts: 1537000 | #Constraints: 241259
2928.38/2937.00 c #Conflicts: 1538000 | #Constraints: 242259
2928.38/2937.00 c #Conflicts: 1539000 | #Constraints: 243259
2928.38/2937.00 c #Conflicts: 1540000 | #Constraints: 244259
2928.38/2937.00 c #Conflicts: 1541000 | #Constraints: 245259
2928.38/2937.00 c #Conflicts: 1542000 | #Constraints: 246259
2928.38/2937.00 c #Conflicts: 1543000 | #Constraints: 247259
2928.38/2937.00 c #Conflicts: 1544000 | #Constraints: 248259
2928.38/2937.00 c #Conflicts: 1545000 | #Constraints: 249259
2928.38/2937.00 c #Conflicts: 1546000 | #Constraints: 250259
2928.38/2937.00 c #Conflicts: 1547000 | #Constraints: 251259
2928.38/2937.00 c #Conflicts: 1548000 | #Constraints: 252259
2928.38/2937.00 c #Conflicts: 1549000 | #Constraints: 253259
2928.38/2937.00 c #Conflicts: 1550000 | #Constraints: 254259
2928.38/2937.00 c INPROCESSING
2928.38/2937.00 c GARBAGE COLLECT
2928.38/2937.00 c #Conflicts: 1551000 | #Constraints: 183176
2928.38/2937.00 c #Conflicts: 1552000 | #Constraints: 184176
2928.38/2937.00 c #Conflicts: 1553000 | #Constraints: 185176
2928.38/2937.00 c #Conflicts: 1554000 | #Constraints: 186176
2928.38/2937.00 c #Conflicts: 1555000 | #Constraints: 187176
2928.38/2937.00 c #Conflicts: 1556000 | #Constraints: 188176
2928.38/2937.00 c #Conflicts: 1557000 | #Constraints: 189176
2928.38/2937.00 c #Conflicts: 1558000 | #Constraints: 190176
2928.38/2937.00 c #Conflicts: 1559000 | #Constraints: 191176
2928.38/2937.00 c #Conflicts: 1560000 | #Constraints: 192176
2928.38/2937.00 c #Conflicts: 1561000 | #Constraints: 193176
2928.38/2937.00 c #Conflicts: 1562000 | #Constraints: 194176
2928.38/2937.00 c #Conflicts: 1563000 | #Constraints: 195176
2928.38/2937.00 c #Conflicts: 1564000 | #Constraints: 196176
2928.38/2937.00 c #Conflicts: 1565000 | #Constraints: 197176
2928.38/2937.00 c #Conflicts: 1566000 | #Constraints: 198176
2928.38/2937.00 c #Conflicts: 1567000 | #Constraints: 199176
2928.38/2937.00 c #Conflicts: 1568000 | #Constraints: 200176
2928.38/2937.00 c #Conflicts: 1569000 | #Constraints: 201176
2928.38/2937.00 c #Conflicts: 1570000 | #Constraints: 202176
2928.38/2937.00 c #Conflicts: 1571000 | #Constraints: 203176
2928.38/2937.00 c #Conflicts: 1572000 | #Constraints: 204176
2928.38/2937.00 c #Conflicts: 1573000 | #Constraints: 205176
2928.38/2937.00 c #Conflicts: 1574000 | #Constraints: 206176
2928.38/2937.00 c #Conflicts: 1575000 | #Constraints: 207176
2928.38/2937.00 c INPROCESSING
2928.38/2937.00 c GARBAGE COLLECT
2928.38/2937.00 c #Conflicts: 1576000 | #Constraints: 159345
2928.38/2937.00 c #Conflicts: 1577000 | #Constraints: 160345
2928.38/2937.00 c #Conflicts: 1578000 | #Constraints: 161345
2928.38/2937.00 c #Conflicts: 1579000 | #Constraints: 162345
2928.38/2937.00 c #Conflicts: 1580000 | #Constraints: 163345
2928.38/2937.00 c #Conflicts: 1581000 | #Constraints: 164345
2928.38/2937.00 c #Conflicts: 1582000 | #Constraints: 165345
2928.38/2937.00 c #Conflicts: 1583000 | #Constraints: 166345
2928.38/2937.00 c #Conflicts: 1584000 | #Constraints: 167345
2928.38/2937.00 c #Conflicts: 1585000 | #Constraints: 168345
2928.38/2937.00 c #Conflicts: 1586000 | #Constraints: 169345
2928.38/2937.00 c #Conflicts: 1587000 | #Constraints: 170345
3008.39/3017.17 c #Conflicts: 1588000 | #Constraints: 171345
3008.39/3017.17 c #Conflicts: 1589000 | #Constraints: 172345
3008.39/3017.17 c #Conflicts: 1590000 | #Constraints: 173345
3008.39/3017.17 c #Conflicts: 1591000 | #Constraints: 174345
3008.39/3017.17 c #Conflicts: 1592000 | #Constraints: 175345
3008.39/3017.17 c #Conflicts: 1593000 | #Constraints: 176345
3008.39/3017.17 c #Conflicts: 1594000 | #Constraints: 177345
3008.39/3017.17 c #Conflicts: 1595000 | #Constraints: 178345
3008.39/3017.17 c #Conflicts: 1596000 | #Constraints: 179345
3008.39/3017.17 c #Conflicts: 1597000 | #Constraints: 180345
3008.39/3017.17 c #Conflicts: 1598000 | #Constraints: 181345
3008.39/3017.17 c #Conflicts: 1599000 | #Constraints: 182345
3008.39/3017.17 c #Conflicts: 1600000 | #Constraints: 183345
3008.39/3017.17 c #Conflicts: 1601000 | #Constraints: 184345
3008.39/3017.17 c INPROCESSING
3008.39/3017.17 c GARBAGE COLLECT
3008.39/3017.17 c #Conflicts: 1602000 | #Constraints: 148007
3008.39/3017.17 c #Conflicts: 1603000 | #Constraints: 149007
3008.39/3017.17 c #Conflicts: 1604000 | #Constraints: 150007
3008.39/3017.17 c #Conflicts: 1605000 | #Constraints: 151007
3008.39/3017.17 c #Conflicts: 1606000 | #Constraints: 152007
3008.39/3017.17 c #Conflicts: 1607000 | #Constraints: 153007
3008.39/3017.17 c #Conflicts: 1608000 | #Constraints: 154007
3008.39/3017.17 c #Conflicts: 1609000 | #Constraints: 155007
3008.39/3017.17 c #Conflicts: 1610000 | #Constraints: 156007
3008.39/3017.17 c #Conflicts: 1611000 | #Constraints: 157007
3008.39/3017.17 c #Conflicts: 1612000 | #Constraints: 158007
3008.39/3017.17 c #Conflicts: 1613000 | #Constraints: 159007
3008.39/3017.17 c #Conflicts: 1614000 | #Constraints: 160007
3008.39/3017.17 c #Conflicts: 1615000 | #Constraints: 161007
3008.39/3017.17 c #Conflicts: 1616000 | #Constraints: 162007
3008.39/3017.17 c #Conflicts: 1617000 | #Constraints: 163007
3008.39/3017.17 c #Conflicts: 1618000 | #Constraints: 164007
3008.39/3017.17 c #Conflicts: 1619000 | #Constraints: 165007
3008.39/3017.17 c #Conflicts: 1620000 | #Constraints: 166007
3008.39/3017.17 c #Conflicts: 1621000 | #Constraints: 167007
3008.39/3017.17 c #Conflicts: 1622000 | #Constraints: 168007
3008.39/3017.17 c #Conflicts: 1623000 | #Constraints: 169007
3008.39/3017.17 c #Conflicts: 1624000 | #Constraints: 170007
3008.39/3017.17 c #Conflicts: 1625000 | #Constraints: 171007
3008.39/3017.17 c #Conflicts: 1626000 | #Constraints: 172007
3008.39/3017.17 c #Conflicts: 1627000 | #Constraints: 173007
3008.39/3017.17 c INPROCESSING
3008.39/3017.17 c GARBAGE COLLECT
3008.39/3017.17 c #Conflicts: 1628000 | #Constraints: 142370
3008.39/3017.17 c #Conflicts: 1629000 | #Constraints: 143370
3008.39/3017.17 c #Conflicts: 1630000 | #Constraints: 144370
3008.39/3017.17 c #Conflicts: 1631000 | #Constraints: 145370
3008.39/3017.17 c #Conflicts: 1632000 | #Constraints: 146370
3008.39/3017.17 c #Conflicts: 1633000 | #Constraints: 147370
3008.39/3017.17 c #Conflicts: 1634000 | #Constraints: 148370
3008.39/3017.17 c #Conflicts: 1635000 | #Constraints: 149370
3008.39/3017.17 c #Conflicts: 1636000 | #Constraints: 150370
3008.39/3017.17 c #Conflicts: 1637000 | #Constraints: 151370
3008.39/3017.17 c #Conflicts: 1638000 | #Constraints: 152370
3008.39/3017.17 c #Conflicts: 1639000 | #Constraints: 153370
3008.39/3017.17 c #Conflicts: 1640000 | #Constraints: 154370
3008.39/3017.17 c #Conflicts: 1641000 | #Constraints: 155370
3008.39/3017.17 c #Conflicts: 1642000 | #Constraints: 156370
3008.39/3017.17 c #Conflicts: 1643000 | #Constraints: 157370
3008.39/3017.17 c #Conflicts: 1644000 | #Constraints: 158370
3008.39/3017.17 c #Conflicts: 1645000 | #Constraints: 159370
3008.39/3017.17 c #Conflicts: 1646000 | #Constraints: 160370
3008.39/3017.17 c #Conflicts: 1647000 | #Constraints: 161370
3008.39/3017.17 c #Conflicts: 1648000 | #Constraints: 162370
3008.39/3017.17 c #Conflicts: 1649000 | #Constraints: 163370
3008.39/3017.17 c #Conflicts: 1650000 | #Constraints: 164370
3008.39/3017.17 c #Conflicts: 1651000 | #Constraints: 165370
3008.39/3017.17 c #Conflicts: 1652000 | #Constraints: 166370
3008.39/3017.17 c #Conflicts: 1653000 | #Constraints: 167370
3008.39/3017.17 c #Conflicts: 1654000 | #Constraints: 168370
3008.39/3017.17 c #Conflicts: 1655000 | #Constraints: 169370
3008.39/3017.17 c #Conflicts: 1656000 | #Constraints: 170370
3008.39/3017.17 c #Conflicts: 1657000 | #Constraints: 171370
3008.39/3017.17 c #Conflicts: 1658000 | #Constraints: 172370
3008.39/3017.17 c #Conflicts: 1659000 | #Constraints: 173370
3008.39/3017.17 c #Conflicts: 1660000 | #Constraints: 174370
3008.39/3017.17 c #Conflicts: 1661000 | #Constraints: 175370
3008.39/3017.17 c #Conflicts: 1662000 | #Constraints: 176370
3008.39/3017.17 c #Conflicts: 1663000 | #Constraints: 177370
3008.39/3017.17 c #Conflicts: 1664000 | #Constraints: 178370
3194.44/3203.68 c #Conflicts: 1665000 | #Constraints: 179370
3194.44/3203.68 c #Conflicts: 1666000 | #Constraints: 180370
3194.44/3203.68 c #Conflicts: 1667000 | #Constraints: 181370
3194.44/3203.68 c #Conflicts: 1668000 | #Constraints: 182370
3194.44/3203.68 c #Conflicts: 1669000 | #Constraints: 183370
3194.44/3203.68 c #Conflicts: 1670000 | #Constraints: 184370
3194.44/3203.68 c #Conflicts: 1671000 | #Constraints: 185370
3194.44/3203.68 c #Conflicts: 1672000 | #Constraints: 186370
3194.44/3203.68 c #Conflicts: 1673000 | #Constraints: 187370
3194.44/3203.68 c #Conflicts: 1674000 | #Constraints: 188370
3194.44/3203.68 c #Conflicts: 1675000 | #Constraints: 189370
3194.44/3203.68 c #Conflicts: 1676000 | #Constraints: 190370
3194.44/3203.68 c #Conflicts: 1677000 | #Constraints: 191370
3194.44/3203.68 c #Conflicts: 1678000 | #Constraints: 192370
3194.44/3203.68 c #Conflicts: 1679000 | #Constraints: 193370
3194.44/3203.68 c #Conflicts: 1680000 | #Constraints: 194370
3194.44/3203.68 c #Conflicts: 1681000 | #Constraints: 195370
3194.44/3203.68 c #Conflicts: 1682000 | #Constraints: 196370
3194.44/3203.68 c #Conflicts: 1683000 | #Constraints: 197370
3194.44/3203.68 c #Conflicts: 1684000 | #Constraints: 198370
3194.44/3203.68 c #Conflicts: 1685000 | #Constraints: 199370
3194.44/3203.68 c #Conflicts: 1686000 | #Constraints: 200370
3194.44/3203.68 c #Conflicts: 1687000 | #Constraints: 201370
3194.44/3203.68 c #Conflicts: 1688000 | #Constraints: 202370
3194.44/3203.68 c #Conflicts: 1689000 | #Constraints: 203370
3194.44/3203.68 c #Conflicts: 1690000 | #Constraints: 204370
3194.44/3203.68 c #Conflicts: 1691000 | #Constraints: 205370
3194.44/3203.68 c #Conflicts: 1692000 | #Constraints: 206370
3194.44/3203.68 c #Conflicts: 1693000 | #Constraints: 207370
3194.44/3203.68 c #Conflicts: 1694000 | #Constraints: 208370
3194.44/3203.68 c #Conflicts: 1695000 | #Constraints: 209370
3194.44/3203.68 c #Conflicts: 1696000 | #Constraints: 210370
3194.44/3203.68 c #Conflicts: 1697000 | #Constraints: 211370
3194.44/3203.68 c #Conflicts: 1698000 | #Constraints: 212370
3194.44/3203.68 c #Conflicts: 1699000 | #Constraints: 213370
3194.44/3203.68 c #Conflicts: 1700000 | #Constraints: 214370
3194.44/3203.68 c #Conflicts: 1701000 | #Constraints: 215370
3194.44/3203.68 c #Conflicts: 1702000 | #Constraints: 216370
3194.44/3203.68 c #Conflicts: 1703000 | #Constraints: 217370
3194.44/3203.68 c #Conflicts: 1704000 | #Constraints: 218370
3194.44/3203.68 c #Conflicts: 1705000 | #Constraints: 219370
3194.44/3203.68 c #Conflicts: 1706000 | #Constraints: 220370
3194.44/3203.68 c #Conflicts: 1707000 | #Constraints: 221370
3194.44/3203.68 c #Conflicts: 1708000 | #Constraints: 222370
3194.44/3203.68 c #Conflicts: 1709000 | #Constraints: 223370
3194.44/3203.68 c #Conflicts: 1710000 | #Constraints: 224370
3194.44/3203.68 c #Conflicts: 1711000 | #Constraints: 225370
3194.44/3203.68 c #Conflicts: 1712000 | #Constraints: 226370
3194.44/3203.68 c #Conflicts: 1713000 | #Constraints: 227370
3194.44/3203.68 c #Conflicts: 1714000 | #Constraints: 228370
3194.44/3203.68 c #Conflicts: 1715000 | #Constraints: 229370
3194.44/3203.68 c #Conflicts: 1716000 | #Constraints: 230370
3194.44/3203.68 c #Conflicts: 1717000 | #Constraints: 231370
3194.44/3203.68 c #Conflicts: 1718000 | #Constraints: 232370
3194.44/3203.68 c #Conflicts: 1719000 | #Constraints: 233370
3194.44/3203.68 c #Conflicts: 1720000 | #Constraints: 234370
3194.44/3203.68 c #Conflicts: 1721000 | #Constraints: 235370
3194.44/3203.68 c #Conflicts: 1722000 | #Constraints: 236370
3194.44/3203.68 c #Conflicts: 1723000 | #Constraints: 237370
3194.44/3203.68 c #Conflicts: 1724000 | #Constraints: 238370
3194.44/3203.68 c #Conflicts: 1725000 | #Constraints: 239370
3194.44/3203.68 c #Conflicts: 1726000 | #Constraints: 240370
3194.44/3203.68 c #Conflicts: 1727000 | #Constraints: 241370
3194.44/3203.68 c #Conflicts: 1728000 | #Constraints: 242370
3194.44/3203.68 c #Conflicts: 1729000 | #Constraints: 243370
3194.44/3203.68 c #Conflicts: 1730000 | #Constraints: 244370
3194.44/3203.68 c #Conflicts: 1731000 | #Constraints: 245370
3194.44/3203.68 c #Conflicts: 1732000 | #Constraints: 246370
3194.44/3203.68 c #Conflicts: 1733000 | #Constraints: 247370
3194.44/3203.68 c #Conflicts: 1734000 | #Constraints: 248370
3194.44/3203.68 c #Conflicts: 1735000 | #Constraints: 249370
3194.44/3203.68 c #Conflicts: 1736000 | #Constraints: 250370
3194.44/3203.68 c #Conflicts: 1737000 | #Constraints: 251370
3194.44/3203.68 c #Conflicts: 1738000 | #Constraints: 252370
3194.44/3203.68 c #Conflicts: 1739000 | #Constraints: 253370
3194.44/3203.68 c #Conflicts: 1740000 | #Constraints: 254370
3194.44/3203.68 c #Conflicts: 1741000 | #Constraints: 255370
3194.44/3203.68 c #Conflicts: 1742000 | #Constraints: 256370
3194.44/3203.68 c #Conflicts: 1743000 | #Constraints: 257370
3316.54/3326.01 c #Conflicts: 1744000 | #Constraints: 258370
3316.54/3326.01 c #Conflicts: 1745000 | #Constraints: 259370
3316.54/3326.01 c #Conflicts: 1746000 | #Constraints: 260370
3316.54/3326.01 c #Conflicts: 1747000 | #Constraints: 261370
3316.54/3326.01 c INPROCESSING
3316.54/3326.01 c GARBAGE COLLECT
3316.54/3326.01 c #Conflicts: 1748000 | #Constraints: 186628
3316.54/3326.01 c #Conflicts: 1749000 | #Constraints: 187628
3316.54/3326.01 c #Conflicts: 1750000 | #Constraints: 188628
3316.54/3326.01 c #Conflicts: 1751000 | #Constraints: 189628
3316.54/3326.01 c #Conflicts: 1752000 | #Constraints: 190628
3316.54/3326.01 c #Conflicts: 1753000 | #Constraints: 191628
3316.54/3326.01 c #Conflicts: 1754000 | #Constraints: 192628
3316.54/3326.01 c #Conflicts: 1755000 | #Constraints: 193628
3316.54/3326.01 c #Conflicts: 1756000 | #Constraints: 194628
3316.54/3326.01 c #Conflicts: 1757000 | #Constraints: 195628
3316.54/3326.01 c #Conflicts: 1758000 | #Constraints: 196628
3316.54/3326.01 c #Conflicts: 1759000 | #Constraints: 197628
3316.54/3326.01 c #Conflicts: 1760000 | #Constraints: 198628
3316.54/3326.01 c #Conflicts: 1761000 | #Constraints: 199628
3316.54/3326.01 c #Conflicts: 1762000 | #Constraints: 200628
3316.54/3326.01 c #Conflicts: 1763000 | #Constraints: 201628
3316.54/3326.01 c #Conflicts: 1764000 | #Constraints: 202628
3316.54/3326.01 c #Conflicts: 1765000 | #Constraints: 203628
3316.54/3326.01 c #Conflicts: 1766000 | #Constraints: 204628
3316.54/3326.01 c #Conflicts: 1767000 | #Constraints: 205628
3316.54/3326.01 c #Conflicts: 1768000 | #Constraints: 206628
3316.54/3326.01 c #Conflicts: 1769000 | #Constraints: 207628
3316.54/3326.01 c #Conflicts: 1770000 | #Constraints: 208628
3316.54/3326.01 c #Conflicts: 1771000 | #Constraints: 209628
3316.54/3326.01 c #Conflicts: 1772000 | #Constraints: 210628
3316.54/3326.01 c #Conflicts: 1773000 | #Constraints: 211628
3316.54/3326.01 c #Conflicts: 1774000 | #Constraints: 212628
3316.54/3326.01 c INPROCESSING
3316.54/3326.01 c GARBAGE COLLECT
3316.54/3326.01 c #Conflicts: 1775000 | #Constraints: 162055
3316.54/3326.01 c #Conflicts: 1776000 | #Constraints: 163055
3316.54/3326.01 c #Conflicts: 1777000 | #Constraints: 164055
3316.54/3326.01 c #Conflicts: 1778000 | #Constraints: 165055
3316.54/3326.01 c #Conflicts: 1779000 | #Constraints: 166055
3316.54/3326.01 c #Conflicts: 1780000 | #Constraints: 167055
3316.54/3326.01 c #Conflicts: 1781000 | #Constraints: 168055
3316.54/3326.01 c #Conflicts: 1782000 | #Constraints: 169055
3316.54/3326.01 c #Conflicts: 1783000 | #Constraints: 170055
3316.54/3326.01 c #Conflicts: 1784000 | #Constraints: 171055
3316.54/3326.01 c #Conflicts: 1785000 | #Constraints: 172055
3316.54/3326.01 c #Conflicts: 1786000 | #Constraints: 173055
3316.54/3326.01 c #Conflicts: 1787000 | #Constraints: 174055
3316.54/3326.01 c #Conflicts: 1788000 | #Constraints: 175055
3316.54/3326.01 c #Conflicts: 1789000 | #Constraints: 176055
3316.54/3326.01 c #Conflicts: 1790000 | #Constraints: 177055
3316.54/3326.01 c #Conflicts: 1791000 | #Constraints: 178055
3316.54/3326.01 c #Conflicts: 1792000 | #Constraints: 179055
3316.54/3326.01 c #Conflicts: 1793000 | #Constraints: 180055
3316.54/3326.01 c #Conflicts: 1794000 | #Constraints: 181055
3316.54/3326.01 c #Conflicts: 1795000 | #Constraints: 182055
3316.54/3326.01 c #Conflicts: 1796000 | #Constraints: 183055
3316.54/3326.01 c #Conflicts: 1797000 | #Constraints: 184055
3316.54/3326.01 c #Conflicts: 1798000 | #Constraints: 185055
3316.54/3326.01 c #Conflicts: 1799000 | #Constraints: 186055
3316.54/3326.01 c #Conflicts: 1800000 | #Constraints: 187055
3316.54/3326.01 c #Conflicts: 1801000 | #Constraints: 188055
3316.54/3326.01 c #Conflicts: 1802000 | #Constraints: 189055
3316.54/3326.01 c INPROCESSING
3316.54/3326.01 c GARBAGE COLLECT
3316.54/3326.01 c #Conflicts: 1803000 | #Constraints: 150542
3316.54/3326.01 c #Conflicts: 1804000 | #Constraints: 151542
3316.54/3326.01 c #Conflicts: 1805000 | #Constraints: 152542
3316.54/3326.01 c #Conflicts: 1806000 | #Constraints: 153542
3316.54/3326.01 c #Conflicts: 1807000 | #Constraints: 154542
3316.54/3326.01 c #Conflicts: 1808000 | #Constraints: 155542
3316.54/3326.01 c #Conflicts: 1809000 | #Constraints: 156542
3316.54/3326.01 c #Conflicts: 1810000 | #Constraints: 157542
3316.54/3326.01 c #Conflicts: 1811000 | #Constraints: 158542
3316.54/3326.01 c #Conflicts: 1812000 | #Constraints: 159542
3316.54/3326.01 c #Conflicts: 1813000 | #Constraints: 160542
3316.54/3326.01 c #Conflicts: 1814000 | #Constraints: 161542
3316.54/3326.01 c #Conflicts: 1815000 | #Constraints: 162542
3316.54/3326.01 c #Conflicts: 1816000 | #Constraints: 163542
3316.54/3326.01 c #Conflicts: 1817000 | #Constraints: 164542
3316.54/3326.01 c #Conflicts: 1818000 | #Constraints: 165542
3316.54/3326.01 c #Conflicts: 1819000 | #Constraints: 166542
3316.54/3326.01 c #Conflicts: 1820000 | #Constraints: 167542
3425.06/3434.88 c #Conflicts: 1821000 | #Constraints: 168542
3425.06/3434.88 c #Conflicts: 1822000 | #Constraints: 169542
3425.06/3434.88 c #Conflicts: 1823000 | #Constraints: 170542
3425.06/3434.88 c #Conflicts: 1824000 | #Constraints: 171542
3425.06/3434.88 c #Conflicts: 1825000 | #Constraints: 172542
3425.06/3434.88 c #Conflicts: 1826000 | #Constraints: 173542
3425.06/3434.88 c #Conflicts: 1827000 | #Constraints: 174542
3425.06/3434.88 c #Conflicts: 1828000 | #Constraints: 175542
3425.06/3434.88 c #Conflicts: 1829000 | #Constraints: 176542
3425.06/3434.88 c INPROCESSING
3425.06/3434.88 c GARBAGE COLLECT
3425.06/3434.88 c #Conflicts: 1830000 | #Constraints: 143968
3425.06/3434.88 c #Conflicts: 1831000 | #Constraints: 144968
3425.06/3434.88 c #Conflicts: 1832000 | #Constraints: 145968
3425.06/3434.88 c #Conflicts: 1833000 | #Constraints: 146968
3425.06/3434.88 c #Conflicts: 1834000 | #Constraints: 147968
3425.06/3434.88 c #Conflicts: 1835000 | #Constraints: 148968
3425.06/3434.88 c #Conflicts: 1836000 | #Constraints: 149968
3425.06/3434.88 c #Conflicts: 1837000 | #Constraints: 150968
3425.06/3434.88 c #Conflicts: 1838000 | #Constraints: 151968
3425.06/3434.88 c #Conflicts: 1839000 | #Constraints: 152968
3425.06/3434.88 c #Conflicts: 1840000 | #Constraints: 153968
3425.06/3434.88 c #Conflicts: 1841000 | #Constraints: 154968
3425.06/3434.88 c #Conflicts: 1842000 | #Constraints: 155968
3425.06/3434.88 c #Conflicts: 1843000 | #Constraints: 156968
3425.06/3434.88 c #Conflicts: 1844000 | #Constraints: 157968
3425.06/3434.88 c #Conflicts: 1845000 | #Constraints: 158968
3425.06/3434.88 c #Conflicts: 1846000 | #Constraints: 159968
3425.06/3434.88 c #Conflicts: 1847000 | #Constraints: 160968
3425.06/3434.88 c #Conflicts: 1848000 | #Constraints: 161968
3425.06/3434.88 c #Conflicts: 1849000 | #Constraints: 162968
3425.06/3434.88 c #Conflicts: 1850000 | #Constraints: 163968
3425.06/3434.88 c #Conflicts: 1851000 | #Constraints: 164968
3425.06/3434.88 c #Conflicts: 1852000 | #Constraints: 165968
3425.06/3434.88 c #Conflicts: 1853000 | #Constraints: 166968
3425.06/3434.88 c #Conflicts: 1854000 | #Constraints: 167968
3425.06/3434.88 c #Conflicts: 1855000 | #Constraints: 168968
3425.06/3434.88 c #Conflicts: 1856000 | #Constraints: 169968
3425.06/3434.88 c #Conflicts: 1857000 | #Constraints: 170968
3425.06/3434.88 c #Conflicts: 1858000 | #Constraints: 171968
3425.06/3434.88 c #Conflicts: 1859000 | #Constraints: 172968
3425.06/3434.88 c #Conflicts: 1860000 | #Constraints: 173968
3425.06/3434.88 c #Conflicts: 1861000 | #Constraints: 174968
3425.06/3434.88 c #Conflicts: 1862000 | #Constraints: 175968
3425.06/3434.88 c #Conflicts: 1863000 | #Constraints: 176968
3425.06/3434.88 c #Conflicts: 1864000 | #Constraints: 177968
3425.06/3434.88 c #Conflicts: 1865000 | #Constraints: 178968
3425.06/3434.88 c #Conflicts: 1866000 | #Constraints: 179968
3425.06/3434.88 c #Conflicts: 1867000 | #Constraints: 180968
3425.06/3434.88 c #Conflicts: 1868000 | #Constraints: 181968
3425.06/3434.88 c #Conflicts: 1869000 | #Constraints: 182968
3425.06/3434.88 c #Conflicts: 1870000 | #Constraints: 183968
3425.06/3434.88 c #Conflicts: 1871000 | #Constraints: 184968
3425.06/3434.88 c #Conflicts: 1872000 | #Constraints: 185968
3425.06/3434.88 c #Conflicts: 1873000 | #Constraints: 186968
3425.06/3434.88 c #Conflicts: 1874000 | #Constraints: 187968
3425.06/3434.88 c #Conflicts: 1875000 | #Constraints: 188968
3425.06/3434.88 c #Conflicts: 1876000 | #Constraints: 189968
3425.06/3434.88 c #Conflicts: 1877000 | #Constraints: 190968
3425.06/3434.88 c #Conflicts: 1878000 | #Constraints: 191968
3425.06/3434.88 c #Conflicts: 1879000 | #Constraints: 192968
3425.06/3434.88 c #Conflicts: 1880000 | #Constraints: 193968
3425.06/3434.88 c #Conflicts: 1881000 | #Constraints: 194968
3425.06/3434.88 c #Conflicts: 1882000 | #Constraints: 195968
3425.06/3434.88 c #Conflicts: 1883000 | #Constraints: 196968
3425.06/3434.88 c #Conflicts: 1884000 | #Constraints: 197968
3425.06/3434.88 c #Conflicts: 1885000 | #Constraints: 198968
3425.06/3434.88 c #Conflicts: 1886000 | #Constraints: 199968
3425.06/3434.88 c #Conflicts: 1887000 | #Constraints: 200968
3425.06/3434.88 c #Conflicts: 1888000 | #Constraints: 201968
3425.06/3434.88 c #Conflicts: 1889000 | #Constraints: 202968
3425.06/3434.88 c #Conflicts: 1890000 | #Constraints: 203968
3425.06/3434.88 c #Conflicts: 1891000 | #Constraints: 204968
3425.06/3434.88 c #Conflicts: 1892000 | #Constraints: 205968
3425.06/3434.88 c #Conflicts: 1893000 | #Constraints: 206968
3425.06/3434.88 c #Conflicts: 1894000 | #Constraints: 207968
3425.06/3434.88 c #Conflicts: 1895000 | #Constraints: 208968
3425.06/3434.88 c #Conflicts: 1896000 | #Constraints: 209968
3425.06/3434.88 c #Conflicts: 1897000 | #Constraints: 210968
3425.06/3434.88 c #Conflicts: 1898000 | #Constraints: 211968
3600.08/3610.31 c #Conflicts: 1899000 | #Constraints: 212968
3600.08/3610.31 c #Conflicts: 1900000 | #Constraints: 213968
3600.08/3610.31 c #Conflicts: 1901000 | #Constraints: 214968
3600.08/3610.31 c #Conflicts: 1902000 | #Constraints: 215968
3600.08/3610.31 c #Conflicts: 1903000 | #Constraints: 216968
3600.08/3610.31 c #Conflicts: 1904000 | #Constraints: 217968
3600.08/3610.31 c #Conflicts: 1905000 | #Constraints: 218968
3600.08/3610.31 c #Conflicts: 1906000 | #Constraints: 219968
3600.08/3610.31 c #Conflicts: 1907000 | #Constraints: 220968
3600.08/3610.31 c #Conflicts: 1908000 | #Constraints: 221968
3600.08/3610.31 c #Conflicts: 1909000 | #Constraints: 222968
3600.08/3610.31 c #Conflicts: 1910000 | #Constraints: 223968
3600.08/3610.31 c #Conflicts: 1911000 | #Constraints: 224968
3600.08/3610.31 c #Conflicts: 1912000 | #Constraints: 225968
3600.08/3610.31 c #Conflicts: 1913000 | #Constraints: 226968
3600.08/3610.31 c #Conflicts: 1914000 | #Constraints: 227968
3600.08/3610.31 c #Conflicts: 1915000 | #Constraints: 228968
3600.08/3610.31 c #Conflicts: 1916000 | #Constraints: 229968
3600.08/3610.31 c #Conflicts: 1917000 | #Constraints: 230968
3600.08/3610.31 c #Conflicts: 1918000 | #Constraints: 231968
3600.08/3610.31 c #Conflicts: 1919000 | #Constraints: 232968
3600.08/3610.31 c #Conflicts: 1920000 | #Constraints: 233968
3600.08/3610.31 c #Conflicts: 1921000 | #Constraints: 234968
3600.08/3610.31 c #Conflicts: 1922000 | #Constraints: 235968
3600.08/3610.31 c #Conflicts: 1923000 | #Constraints: 236968
3600.08/3610.31 c #Conflicts: 1924000 | #Constraints: 237968
3600.08/3610.31 c #Conflicts: 1925000 | #Constraints: 238968
3600.08/3610.31 c #Conflicts: 1926000 | #Constraints: 239968
3600.08/3610.31 c #Conflicts: 1927000 | #Constraints: 240968
3600.08/3610.31 c #Conflicts: 1928000 | #Constraints: 241968
3600.08/3610.31 c #Conflicts: 1929000 | #Constraints: 242968
3600.08/3610.31 c #Conflicts: 1930000 | #Constraints: 243968
3600.08/3610.31 c #Conflicts: 1931000 | #Constraints: 244968
3600.08/3610.31 c #Conflicts: 1932000 | #Constraints: 245968
3600.08/3610.31 c #Conflicts: 1933000 | #Constraints: 246968
3600.08/3610.31 c #Conflicts: 1934000 | #Constraints: 247968
3600.08/3610.31 c #Conflicts: 1935000 | #Constraints: 248968
3600.08/3610.31 c #Conflicts: 1936000 | #Constraints: 249968
3600.08/3610.31 c #Conflicts: 1937000 | #Constraints: 250968
3600.08/3610.31 c #Conflicts: 1938000 | #Constraints: 251968
3600.08/3610.31 c #Conflicts: 1939000 | #Constraints: 252968
3600.08/3610.31 c #Conflicts: 1940000 | #Constraints: 253968
3600.08/3610.31 c #Conflicts: 1941000 | #Constraints: 254968
3600.08/3610.31 c #Conflicts: 1942000 | #Constraints: 255968
3600.08/3610.31 c #Conflicts: 1943000 | #Constraints: 256968
3600.08/3610.31 c #Conflicts: 1944000 | #Constraints: 257968
3600.08/3610.31 c #Conflicts: 1945000 | #Constraints: 258968
3600.08/3610.31 c #Conflicts: 1946000 | #Constraints: 259968
3600.08/3610.31 c #Conflicts: 1947000 | #Constraints: 260968
3600.08/3610.31 c #Conflicts: 1948000 | #Constraints: 261968
3600.08/3610.31 c #Conflicts: 1949000 | #Constraints: 262968
3600.08/3610.31 c #Conflicts: 1950000 | #Constraints: 263968
3600.08/3610.31 c #Conflicts: 1951000 | #Constraints: 264968
3600.08/3610.31 c #Conflicts: 1952000 | #Constraints: 265968
3600.08/3610.31 c #Conflicts: 1953000 | #Constraints: 266968
3600.08/3610.31 c Program interrupted by user.
3600.08/3610.31 c cpu time 3590.41 s
3600.08/3610.31 c deterministic time 559375627350 5.59e+11
3600.08/3610.31 c optimization time 321.147 s
3600.08/3610.31 c total solve time 2969.77 s
3600.08/3610.31 c core-guided solve time 2969.77 s
3600.08/3610.31 c propagation time 2903.77 s
3600.08/3610.31 c conflict analysis time 347.914 s
3600.08/3610.31 c propagations 471949146
3600.08/3610.31 c resolve steps 29999429
3600.08/3610.31 c decisions 3883661
3600.08/3610.31 c conflicts 1953354
3600.08/3610.31 c restarts 3833
3600.08/3610.31 c inprocessing phases 107
3600.08/3610.31 c input clauses 109715
3600.08/3610.31 c input cardinalities 162
3600.08/3610.31 c input general constraints 118
3600.08/3610.31 c input average constraint length 2.47
3600.08/3610.31 c input average constraint degree 1.36
3600.08/3610.31 c learned clauses 1386616
3600.08/3610.31 c learned cardinalities 215341
3600.08/3610.31 c learned general constraints 351386
3600.08/3610.31 c learned average constraint length 558.23
3600.08/3610.31 c learned average constraint degree 26.91
3600.08/3610.31 c watched constraints 308696
3600.08/3610.31 c counting constraints 42808
3600.08/3610.31 c gcd simplifications 48300
3600.08/3610.31 c detected cardinalities 11303
3600.08/3610.31 c weakened non-implied lits 18275221
3600.08/3610.31 c weakened non-implying lits 47768
3600.08/3610.31 c original variables 1400
3600.08/3610.31 c clausal propagations 446378053
3600.08/3610.31 c cardinality propagations 2946907
3600.08/3610.31 c watched propagations 3772570
3600.08/3610.31 c counting propagations 15793119
3600.08/3610.31 c watch lookups 50826530384
3600.08/3610.31 c watch backjump lookups 34046892300
3600.08/3610.31 c watch checks 462607639647
3600.08/3610.31 c propagation checks 8628034296
3600.08/3610.31 c constraint additions 2312912864
3600.08/3610.31 c trail pops 477785051
3600.08/3610.31 c formula constraints 109379
3600.08/3610.31 c learned constraints 1953343
3600.08/3610.31 c bound constraints 34
3600.08/3610.31 c core-guided constraints 582
3600.08/3610.31 c encountered formula constraints 16487503
3600.08/3610.31 c encountered learned constraints 14331437
3600.08/3610.31 c encountered bound constraints 1786
3600.08/3610.31 c encountered core-guided constraints 1132057
3600.08/3610.31 c LP total time 0 s
3600.08/3610.31 c LP solve time 0 s
3600.08/3610.31 c LP constraints added 0
3600.08/3610.31 c LP constraints removed 0
3600.08/3610.31 c LP pivots internal 0
3600.08/3610.31 c LP pivots root 0
3600.08/3610.31 c LP calls 0
3600.08/3610.31 c LP optimalities 0
3600.08/3610.31 c LP no pivot count 0
3600.08/3610.31 c LP infeasibilities 0
3600.08/3610.31 c LP valid Farkas constraints 0
3600.08/3610.31 c LP learned Farkas constraints 0
3600.08/3610.31 c LP basis resets 0
3600.08/3610.31 c LP cycling count 0
3600.08/3610.31 c LP singular count 0
3600.08/3610.31 c LP no primal count 0
3600.08/3610.31 c LP no farkas count 0
3600.08/3610.31 c LP other issue count 0
3600.08/3610.31 c LP Gomory cuts 0
3600.08/3610.31 c LP learned cuts 0
3600.08/3610.31 c LP deleted cuts 0
3600.08/3610.31 c LP encountered Gomory constraints 0
3600.08/3610.31 c LP encountered Farkas constraints 0
3600.08/3610.31 c LP encountered learned Farkas constraints 0
3600.08/3610.31 c CG auxiliary variables introduced 358
3600.08/3610.31 c CG solutions found 1
3600.08/3610.31 c CG cores constructed 32
3600.08/3610.31 c CG core cardinality constraints returned 0
3600.08/3610.31 c CG unit cores 0
3600.08/3610.31 c CG single cores 32
3600.08/3610.31 c CG blocks removed during cardinality reduction 0
3600.08/3610.31 c CG first core best 0
3600.08/3610.31 c CG decision core best 0
3600.08/3610.31 c CG core reduction tie 0
3600.08/3610.31 c CG core degree average 1.00
3600.08/3610.31 c CG core slack average 9.22
3600.08/3610.31 c CG exhausted 11
3600.08/3610.31 c CG exhaust time 51.3556 s
3600.08/3610.31 c CG trimmed 1
3600.08/3610.31 c CG trim time 0.000418 s
3600.08/3610.31 c CG minimized 0
3600.08/3610.31 c CG minimize time 0 s
3600.08/3610.31 c CG am1 prop time 0.008205 s
3600.08/3610.31 c CG # am1s reformulated 235
3600.08/3610.31 c CG lower bound derived from am1s 1165
3600.08/3610.31 c CG # clausal cores 32
3600.08/3610.31 c CG # cardinality cores 0
3600.08/3610.31 c CG # pb cores 0
3600.08/3610.31 c CG # pb reforms 0
3600.08/3610.31 c CG # cores discarded because of pb reform 0
3600.08/3610.31 d LOWERBOUND -192
3600.08/3610.31 d NCORES 32
3600.08/3610.31 d NPBCORES 0
3600.08/3610.31 d NPBREFORM 0
3600.08/3610.31 d NTRIMMED 1
3600.08/3610.31 d NEXHAUSTED 11
3600.08/3610.31 d NAM1S 235
3600.08/3610.31 d AM1LB 1165
3600.08/3610.31 c [Papilo Statistics]
3600.08/3610.31 c prepro time 0.268872s
3600.08/3610.31 c # tsx applied 0
3600.08/3610.31 c # tsx conflicts 0
3600.08/3610.31 c # bound changes 0
3600.08/3610.31 c # side changes 0
3600.08/3610.31 c # coef changes 0
3600.08/3610.31 c # rounds 1
3600.08/3610.31 c # deted vars 0
3600.08/3610.31 c # deted constrs 0
3600.08/3610.31 c # consecutive rounds of only bound changes 0
3600.08/3610.31 c [STEP] postprocessing with Papilo
3600.08/3610.32 o -46
3600.08/3610.32 s SATISFIABLE
3600.08/3610.32 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400
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: 63665 MiB (61894 MiB free)
memory of node 1: 64507 MiB (61709 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484759-1751280004/watcher-4484759-1751280004 -o /tmp/evaluation-result-4484759-1751280004/solver-4484759-1751280004 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751279693-38724 --watchdog 3760 mixed-bag HOME/instance-4484759-1751280004.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
solver pid=39429, runsolver pid=39426
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.09 3.50 3.56 5/265 39430
/proc/meminfo: memFree=126565412/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=91160 memory=17344 CPUtime=0.09 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 2430 0 0 0 9 0 0 0 20 0 1 0 43678129 93347840 4336 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 22790 4336 2144 2842 0 5023 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 91160 KiB
Current children cumulated memory: 17344 KiB
[startup+0.205849 s]*
/proc/loadavg: 4.09 3.50 3.56 5/265 39430
/proc/meminfo: memFree=126545440/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=126576 memory=51556 CPUtime=0.19 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 6900 0 0 0 18 1 0 0 20 0 1 0 43678129 129613824 12889 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 31644 12889 2144 2842 0 13877 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 126576 KiB
Current children cumulated memory: 51556 KiB
[startup+0.306047 s]*
/proc/loadavg: 4.09 3.50 3.56 5/265 39430
/proc/meminfo: memFree=126529184/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=145360 memory=65388 CPUtime=0.29 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 10834 0 0 0 27 2 0 0 20 0 1 0 43678129 148848640 16347 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 36340 16347 2304 2842 0 18034 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 145360 KiB
Current children cumulated memory: 65388 KiB
[startup+0.700162 s]
/proc/loadavg: 4.09 3.50 3.56 5/265 39430
/proc/meminfo: memFree=126513308/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=262672 memory=187380 CPUtime=0.68 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 41431 0 0 0 62 6 0 0 20 0 1 0 43678129 268976128 46845 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 65668 46845 4032 2842 0 47362 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 262672 KiB
Current children cumulated memory: 187380 KiB
[startup+1.50017 s]
/proc/loadavg: 4.09 3.50 3.56 5/265 39430
/proc/meminfo: memFree=126344212/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=326304 memory=249496 CPUtime=1.48 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 61754 0 0 0 138 10 0 0 20 0 1 0 43678129 334135296 62374 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 81576 62374 4064 2842 0 63270 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 326304 KiB
Current children cumulated memory: 249496 KiB
[startup+3.10585 s]
/proc/loadavg: 4.08 3.51 3.56 5/265 39430
/proc/meminfo: memFree=126036400/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=652696 memory=544712 CPUtime=3.08 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 94988 0 0 0 289 19 0 0 20 0 1 0 43678129 668360704 136178 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 163174 136178 4256 2842 0 144868 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 652696 KiB
Current children cumulated memory: 544712 KiB
[startup+6.30016 s]
/proc/loadavg: 4.08 3.51 3.56 5/265 39430
/proc/meminfo: memFree=126082688/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=688864 memory=571080 CPUtime=6.27 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 101572 0 0 0 606 21 0 0 20 0 1 0 43678129 705396736 142770 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 172216 142770 4256 2842 0 153910 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 688864 KiB
Current children cumulated memory: 571080 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 3.54 3.58 5/265 39430
/proc/meminfo: memFree=126052472/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=724372 memory=591648 CPUtime=12.64 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 104687 0 0 0 1243 21 0 0 20 0 1 0 43678129 741756928 147912 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 181093 147912 4256 2842 0 162787 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 724372 KiB
Current children cumulated memory: 591648 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 3.56 3.58 5/266 39432
/proc/meminfo: memFree=125976644/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=744888 memory=591904 CPUtime=25.42 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 104736 0 0 0 2520 22 0 0 20 0 1 0 43678129 762765312 147976 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 186222 147976 4256 2842 0 167916 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 744888 KiB
Current children cumulated memory: 591904 KiB
[startup+51.106 s]
/proc/loadavg: 4.08 3.59 3.59 5/266 39432
/proc/meminfo: memFree=125789520/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=1042440 memory=735148 CPUtime=50.95 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 140062 0 0 0 5069 26 0 0 20 0 1 0 43678129 1067458560 183787 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 260610 183787 4256 2842 0 242304 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1042440 KiB
Current children cumulated memory: 735148 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 3.69 3.63 5/266 39434
/proc/meminfo: memFree=125687136/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=1076880 memory=735532 CPUtime=102 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 140258 0 0 0 10173 27 0 0 20 0 1 0 43678129 1102725120 183883 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 269220 183883 4256 2842 0 250914 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1076880 KiB
Current children cumulated memory: 735532 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 3.77 3.66 5/266 39436
/proc/meminfo: memFree=125481940/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=1134948 memory=773304 CPUtime=161.79 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 156401 0 0 0 16149 30 0 0 20 0 1 0 43678129 1162186752 193326 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 283737 193326 4256 2842 0 265431 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1134948 KiB
Current children cumulated memory: 773304 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.83 3.69 5/265 39438
/proc/meminfo: memFree=125278592/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=1268704 memory=898072 CPUtime=221.58 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 187234 0 0 0 22123 35 0 0 20 0 1 0 43678129 1299152896 224518 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 317176 224518 4256 2842 0 298870 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 1268704 KiB
Current children cumulated memory: 898072 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 3.89 3.72 5/265 39440
/proc/meminfo: memFree=125290264/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=1302432 memory=931864 CPUtime=281.39 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 195682 0 0 0 28102 37 0 0 20 0 1 0 43678129 1333690368 232966 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 325608 232966 4256 2842 0 307302 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 1302432 KiB
Current children cumulated memory: 931864 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.93 3.75 5/264 39442
/proc/meminfo: memFree=125362340/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=1158152 memory=799024 CPUtime=341.21 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 198520 0 0 0 34051 70 0 0 20 0 1 0 43678129 1185947648 199756 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 289538 199756 4448 2842 0 271232 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 1158152 KiB
Current children cumulated memory: 799024 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.97 3.78 5/264 39445
/proc/meminfo: memFree=125264464/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=1158152 memory=819504 CPUtime=401.03 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 198530 0 0 0 40010 93 0 0 20 0 1 0 43678129 1185947648 204876 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 289538 204876 4448 2842 0 271232 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 1158152 KiB
Current children cumulated memory: 819504 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.99 3.80 5/263 39447
/proc/meminfo: memFree=125210576/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=1208240 memory=831792 CPUtime=460.84 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 199049 0 0 0 45967 117 0 0 20 0 1 0 43678129 1237237760 207948 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 302060 207948 4448 2842 0 283754 0
Current children cumulated CPU time: 460.84 s
################
# More data... #
################
Current children cumulated memory: 1026908 KiB
[startup+2922.3 s]
/proc/loadavg: 4.05 4.11 4.05 5/263 39574
/proc/meminfo: memFree=123354444/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=1289628 memory=1026908 CPUtime=2913.82 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 199674 0 0 0 290572 810 0 0 20 0 1 0 43678129 1320579072 256727 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 322407 256727 4448 2842 0 304101 0
Current children cumulated CPU time: 2913.82 s
Current children cumulated vsize: 1289628 KiB
Current children cumulated memory: 1026908 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.06 5/264 39583
/proc/meminfo: memFree=123292496/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=1289628 memory=1026908 CPUtime=2973.67 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 199674 0 0 0 296538 829 0 0 20 0 1 0 43678129 1320579072 256727 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 322407 256727 4448 2842 0 304101 0
Current children cumulated CPU time: 2973.67 s
Current children cumulated vsize: 1289628 KiB
Current children cumulated memory: 1026908 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/264 39585
/proc/meminfo: memFree=123074160/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=1289628 memory=1026908 CPUtime=3033.52 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 199674 0 0 0 302503 849 0 0 20 0 1 0 43678129 1320579072 256727 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 322407 256727 4448 2842 0 304101 0
Current children cumulated CPU time: 3033.52 s
Current children cumulated vsize: 1289628 KiB
Current children cumulated memory: 1026908 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.06 5/264 39587
/proc/meminfo: memFree=122907148/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=1289628 memory=1026908 CPUtime=3093.39 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 199674 0 0 0 308478 861 0 0 20 0 1 0 43678129 1320579072 256727 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 322407 256727 4448 2842 0 304101 0
Current children cumulated CPU time: 3093.39 s
Current children cumulated vsize: 1289628 KiB
Current children cumulated memory: 1026908 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.06 5/264 39589
/proc/meminfo: memFree=122824772/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=1289628 memory=1026908 CPUtime=3153.24 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 199674 0 0 0 314454 870 0 0 20 0 1 0 43678129 1320579072 256727 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 322407 256727 4448 2842 0 304101 0
Current children cumulated CPU time: 3153.24 s
Current children cumulated vsize: 1289628 KiB
Current children cumulated memory: 1026908 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.06 5/264 39591
/proc/meminfo: memFree=122811932/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=1289628 memory=1026908 CPUtime=3213.09 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 199819 0 0 0 320430 879 0 0 20 0 1 0 43678129 1320579072 256727 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 322407 256727 4448 2842 0 304101 0
Current children cumulated CPU time: 3213.09 s
Current children cumulated vsize: 1289628 KiB
Current children cumulated memory: 1026908 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.07 5/264 39593
/proc/meminfo: memFree=122809116/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=1289628 memory=1026908 CPUtime=3272.95 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 199819 0 0 0 326402 893 0 0 20 0 1 0 43678129 1320579072 256727 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 322407 256727 4448 2842 0 304101 0
Current children cumulated CPU time: 3272.95 s
Current children cumulated vsize: 1289628 KiB
Current children cumulated memory: 1026908 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/263 39684
/proc/meminfo: memFree=125729656/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=1289628 memory=1026908 CPUtime=3332.79 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 199819 0 0 0 332364 915 0 0 20 0 1 0 43678129 1320579072 256727 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 322407 256727 4448 2842 0 304101 0
Current children cumulated CPU time: 3332.79 s
Current children cumulated vsize: 1289628 KiB
Current children cumulated memory: 1026908 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/265 39688
/proc/meminfo: memFree=125650420/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=1289628 memory=1026908 CPUtime=3392.65 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 199819 0 0 0 338330 935 0 0 20 0 1 0 43678129 1320579072 256727 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 322407 256727 4448 2842 0 304101 0
Current children cumulated CPU time: 3392.65 s
Current children cumulated vsize: 1289628 KiB
Current children cumulated memory: 1026908 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.08 5/265 39690
/proc/meminfo: memFree=125569088/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=1289628 memory=1026908 CPUtime=3452.5 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 199819 0 0 0 344304 946 0 0 20 0 1 0 43678129 1320579072 256727 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 322407 256727 4448 2842 0 304101 0
Current children cumulated CPU time: 3452.5 s
Current children cumulated vsize: 1289628 KiB
Current children cumulated memory: 1026908 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/265 39692
/proc/meminfo: memFree=125440164/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=1289628 memory=1026908 CPUtime=3512.34 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 199819 0 0 0 350278 956 0 0 20 0 1 0 43678129 1320579072 256727 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 322407 256727 4448 2842 0 304101 0
Current children cumulated CPU time: 3512.34 s
Current children cumulated vsize: 1289628 KiB
Current children cumulated memory: 1026908 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.13 4.09 5/265 39742
/proc/meminfo: memFree=126118980/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=1289628 memory=1026908 CPUtime=3572.17 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 199820 0 0 0 356252 965 0 0 20 0 1 0 43678129 1320579072 256727 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 322407 256727 4448 2842 0 304101 0
Current children cumulated CPU time: 3572.17 s
Current children cumulated vsize: 1289628 KiB
Current children cumulated memory: 1026908 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.49 4.20 4.11 5/266 39748
/proc/meminfo: memFree=126467836/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=1289628 memory=1026908 CPUtime=3600.08 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 199821 0 0 0 359039 969 0 0 20 0 1 0 43678129 1320579072 256727 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 322407 256727 4448 2842 0 304101 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1289628 KiB
Current children cumulated memory: 1026908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.32 s]
# the end of solver process 39429 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.42 s, system=9.69427 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.49 4.20 4.11 5/266 39748
/proc/meminfo: memFree=126467836/131249996 swapFree=33010684/33010684
[pid=39429] ppid=39426 vsize=1289628 memory=1026908 CPUtime=3600.08 cores=4,6
/proc/39429/stat : 39429 (mixed-bag) R 39426 39429 38713 0 -1 4194304 199821 0 0 0 359039 969 0 0 20 0 1 0 43678129 1320579072 256727 18446744073709551615 4235264 15874749 140731082600032 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 52813824 140731082602908 140731082602985 140731082602985 140731082608587 0
/proc/39429/statm: 322407 256727 4448 2842 0 304101 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1289628 KiB
Current children cumulated memory: 1026908 KiB
Child status: 0
Real time (s): 3610.32
CPU time (s): 3600.11
CPU user time (s): 3590.42
CPU system time (s): 9.69427
CPU usage (%): 99.7172
Max. virtual memory (cumulated for all children) (KiB): 1302432
Max. memory (cumulated for all children) (KiB): 1026908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.42
system time used= 9.69427
maximum resident set size= 1027548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199857
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 214
involuntary context switches= 1417
# summary of solver processes directly reported to runsolver:
# pid: 39429
# total CPU time (s): 3600.11
# total CPU user time (s): 3590.42
# total CPU system time (s): 9.69427
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.21136 second user time and 17.705 second system time
The end
Begin job on nodeC022 at 2025-06-30 12:40:04
IDJOB=4484759
IDBENCH=146669
IDSOLVER=3340
FILE ID=nodeC022/4484759-1751280004
RUNJOBID= nodeC022-1751279693-38724
SLURM_JOB_ID= 9594218
Free space on /tmp= 433008 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484759-1751280004/watcher-4484759-1751280004 -o /tmp/evaluation-result-4484759-1751280004/solver-4484759-1751280004 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751279693-38724 --watchdog 3760 mixed-bag HOME/instance-4484759-1751280004.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3ad6c959019bf046c7e592cfae8de121
RANDOM SEED=973552075
nodeC022 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.747
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.44
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.679
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.44
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 : 3599.941
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.44
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 : 3700.000
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.44
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.802
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.44
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.993
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.44
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 : 3596.670
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.691
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126569948 kB
MemAvailable: 127383872 kB
Buffers: 3280 kB
Cached: 1617104 kB
SwapCached: 0 kB
Active: 2653528 kB
Inactive: 1367500 kB
Active(anon): 2418704 kB
Inactive(anon): 0 kB
Active(file): 234824 kB
Inactive(file): 1367500 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18172 kB
Writeback: 0 kB
AnonPages: 2402008 kB
Mapped: 136880 kB
Shmem: 18060 kB
KReclaimable: 101280 kB
Slab: 188000 kB
SReclaimable: 101280 kB
SUnreclaim: 86720 kB
KernelStack: 4304 kB
PageTables: 8272 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3198536 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 704512 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432996 MiB
End job on nodeC022 at 2025-06-30 13:40:14