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.23 c [STEP] preprocessing with Papilo
0.37/0.49 c Papilo could not simplify the problem
0.37/0.49 c [STEP] solving with SCIP
299.66/300.70 c [STEP] preprocessing done, loading into solver
299.77/300.87 c [STEP] solving
299.77/300.87 c #variables 1401 #constraints 110038
299.77/300.87 c SMALL=int, LARGE=long long
299.77/300.87 d SCIPUB -48
299.77/300.87 c bounds - >= -1400 @ 299.412
299.77/300.87 c stratification level: 0
330.89/332.04 c bounds - >= -238 @ 299.464
330.89/332.04 c bounds - >= -237 @ 299.465
330.89/332.04 c bounds - >= -236 @ 299.465
330.89/332.04 c bounds - >= -235 @ 299.465
330.89/332.04 c bounds - >= -234 @ 299.466
330.89/332.04 c bounds - >= -233 @ 299.466
330.89/332.04 c bounds - >= -232 @ 299.466
330.89/332.04 c bounds - >= -231 @ 299.467
330.89/332.04 c bounds - >= -230 @ 299.467
330.89/332.04 c bounds - >= -229 @ 299.467
330.89/332.04 c bounds - >= -228 @ 299.468
330.89/332.04 c bounds - >= -227 @ 299.468
330.89/332.04 c bounds - >= -226 @ 299.469
330.89/332.04 c bounds - >= -225 @ 299.469
330.89/332.04 c bounds - >= -224 @ 299.469
330.89/332.04 c bounds - >= -223 @ 299.47
330.89/332.04 c bounds - >= -222 @ 299.471
330.89/332.04 c bounds - >= -221 @ 299.471
330.89/332.04 c bounds - >= -220 @ 299.472
330.89/332.04 c bounds - >= -219 @ 299.472
330.89/332.04 c bounds - >= -218 @ 299.472
330.89/332.04 c bounds - >= -217 @ 299.472
330.89/332.04 c bounds - >= -216 @ 299.472
330.89/332.04 c bounds - >= -215 @ 299.473
330.89/332.04 c bounds - >= -214 @ 299.474
330.89/332.04 c bounds - >= -213 @ 299.475
330.89/332.04 c #Conflicts: 1000 | #Constraints: 111301
330.89/332.04 c #Conflicts: 2000 | #Constraints: 112301
330.89/332.04 c INPROCESSING
330.89/332.04 c GARBAGE COLLECT
330.89/332.04 c #Conflicts: 3000 | #Constraints: 112299
330.89/332.04 c #Conflicts: 4000 | #Constraints: 113299
330.89/332.04 c INPROCESSING
330.89/332.04 c GARBAGE COLLECT
330.89/332.04 c #Conflicts: 5000 | #Constraints: 112721
330.89/332.04 c #Conflicts: 6000 | #Constraints: 113721
330.89/332.04 c INPROCESSING
330.89/332.04 c GARBAGE COLLECT
330.89/332.04 c #Conflicts: 7000 | #Constraints: 112732
330.89/332.04 c #Conflicts: 8000 | #Constraints: 113732
330.89/332.04 c #Conflicts: 9000 | #Constraints: 114732
330.89/332.04 c INPROCESSING
330.89/332.04 c GARBAGE COLLECT
330.89/332.04 c #Conflicts: 10000 | #Constraints: 113438
330.89/332.04 c #Conflicts: 11000 | #Constraints: 114438
330.89/332.04 c #Conflicts: 12000 | #Constraints: 115438
330.89/332.04 c INPROCESSING
330.89/332.04 c GARBAGE COLLECT
330.89/332.04 c #Conflicts: 13000 | #Constraints: 113905
330.89/332.04 c #Conflicts: 14000 | #Constraints: 114905
330.89/332.04 c #Conflicts: 15000 | #Constraints: 115905
330.89/332.04 c INPROCESSING
330.89/332.04 c GARBAGE COLLECT
330.89/332.04 c #Conflicts: 16000 | #Constraints: 114143
330.89/332.04 c #Conflicts: 17000 | #Constraints: 115143
330.89/332.04 c #Conflicts: 18000 | #Constraints: 116143
330.89/332.04 c INPROCESSING
330.89/332.04 c GARBAGE COLLECT
330.89/332.04 c #Conflicts: 19000 | #Constraints: 114156
330.89/332.04 c #Conflicts: 20000 | #Constraints: 115156
330.89/332.04 c #Conflicts: 21000 | #Constraints: 116156
330.89/332.04 c INPROCESSING
330.89/332.04 c GARBAGE COLLECT
330.89/332.04 c #Conflicts: 22000 | #Constraints: 113969
330.89/332.04 c #Conflicts: 23000 | #Constraints: 114969
330.89/332.04 c #Conflicts: 24000 | #Constraints: 115969
330.89/332.04 c #Conflicts: 25000 | #Constraints: 116969
330.89/332.04 c INPROCESSING
330.89/332.04 c GARBAGE COLLECT
330.89/332.04 c #Conflicts: 26000 | #Constraints: 114588
330.89/332.04 c #Conflicts: 27000 | #Constraints: 115588
330.89/332.04 c #Conflicts: 28000 | #Constraints: 116588
330.89/332.04 c #Conflicts: 29000 | #Constraints: 117588
330.89/332.04 c INPROCESSING
330.89/332.04 c GARBAGE COLLECT
330.89/332.04 c #Conflicts: 30000 | #Constraints: 114994
330.89/332.04 c #Conflicts: 31000 | #Constraints: 115994
330.89/332.04 c #Conflicts: 32000 | #Constraints: 116994
330.89/332.04 c #Conflicts: 33000 | #Constraints: 117994
330.89/332.04 c INPROCESSING
330.89/332.04 c GARBAGE COLLECT
330.89/332.04 c #Conflicts: 34000 | #Constraints: 115212
330.89/332.04 c #Conflicts: 35000 | #Constraints: 116212
330.89/332.04 c #Conflicts: 36000 | #Constraints: 117212
330.89/332.04 c #Conflicts: 37000 | #Constraints: 118212
330.89/332.04 c INPROCESSING
330.89/332.04 c GARBAGE COLLECT
330.89/332.04 c #Conflicts: 38000 | #Constraints: 115221
330.89/332.04 c #Conflicts: 39000 | #Constraints: 116221
330.89/332.04 c #Conflicts: 40000 | #Constraints: 117221
330.89/332.04 c #Conflicts: 41000 | #Constraints: 118221
330.89/332.04 c INPROCESSING
330.89/332.04 c GARBAGE COLLECT
330.89/332.04 c #Conflicts: 42000 | #Constraints: 115033
330.89/332.04 c #Conflicts: 43000 | #Constraints: 116033
330.89/332.04 c #Conflicts: 44000 | #Constraints: 117033
330.89/332.04 c #Conflicts: 45000 | #Constraints: 118033
330.89/332.04 c #Conflicts: 46000 | #Constraints: 119033
330.89/332.04 c INPROCESSING
330.89/332.04 c GARBAGE COLLECT
330.89/332.04 c #Conflicts: 47000 | #Constraints: 115627
330.89/332.04 c #Conflicts: 48000 | #Constraints: 116627
330.89/332.04 c #Conflicts: 49000 | #Constraints: 117627
330.89/332.04 c #Conflicts: 50000 | #Constraints: 118627
330.89/332.04 c #Conflicts: 51000 | #Constraints: 119627
330.89/332.04 c INPROCESSING
330.89/332.04 c GARBAGE COLLECT
330.89/332.04 c #Conflicts: 52000 | #Constraints: 116032
330.89/332.04 c #Conflicts: 53000 | #Constraints: 117032
330.89/332.04 c #Conflicts: 54000 | #Constraints: 118032
330.89/332.04 c #Conflicts: 55000 | #Constraints: 119032
395.52/396.82 c #Conflicts: 56000 | #Constraints: 120032
395.52/396.82 c INPROCESSING
395.52/396.82 c GARBAGE COLLECT
395.52/396.82 c #Conflicts: 57000 | #Constraints: 116230
395.52/396.82 c #Conflicts: 58000 | #Constraints: 117230
395.52/396.82 c #Conflicts: 59000 | #Constraints: 118230
395.52/396.82 c #Conflicts: 60000 | #Constraints: 119230
395.52/396.82 c #Conflicts: 61000 | #Constraints: 120230
395.52/396.82 c INPROCESSING
395.52/396.82 c GARBAGE COLLECT
395.52/396.82 c #Conflicts: 62000 | #Constraints: 116232
395.52/396.82 c #Conflicts: 63000 | #Constraints: 117232
395.52/396.82 c #Conflicts: 64000 | #Constraints: 118232
395.52/396.82 c #Conflicts: 65000 | #Constraints: 119232
395.52/396.82 c #Conflicts: 66000 | #Constraints: 120232
395.52/396.82 c INPROCESSING
395.52/396.82 c GARBAGE COLLECT
395.52/396.82 c #Conflicts: 67000 | #Constraints: 116039
395.52/396.82 c #Conflicts: 68000 | #Constraints: 117039
395.52/396.82 c #Conflicts: 69000 | #Constraints: 118039
395.52/396.82 c #Conflicts: 70000 | #Constraints: 119039
395.52/396.82 c #Conflicts: 71000 | #Constraints: 120039
395.52/396.82 c #Conflicts: 72000 | #Constraints: 121039
395.52/396.82 c INPROCESSING
395.52/396.82 c GARBAGE COLLECT
395.52/396.82 c #Conflicts: 73000 | #Constraints: 116647
395.52/396.82 c #Conflicts: 74000 | #Constraints: 117647
395.52/396.82 c #Conflicts: 75000 | #Constraints: 118647
395.52/396.82 c #Conflicts: 76000 | #Constraints: 119647
395.52/396.82 c #Conflicts: 77000 | #Constraints: 120647
395.52/396.82 c #Conflicts: 78000 | #Constraints: 121647
395.52/396.82 c INPROCESSING
395.52/396.82 c GARBAGE COLLECT
395.52/396.82 c #Conflicts: 79000 | #Constraints: 117057
395.52/396.82 c #Conflicts: 80000 | #Constraints: 118057
395.52/396.82 c #Conflicts: 81000 | #Constraints: 119057
395.52/396.82 c #Conflicts: 82000 | #Constraints: 120057
395.52/396.82 c #Conflicts: 83000 | #Constraints: 121057
395.52/396.82 c #Conflicts: 84000 | #Constraints: 122057
395.52/396.82 c INPROCESSING
395.52/396.82 c GARBAGE COLLECT
395.52/396.82 c #Conflicts: 85000 | #Constraints: 117266
395.52/396.82 c #Conflicts: 86000 | #Constraints: 118266
395.52/396.82 c #Conflicts: 87000 | #Constraints: 119266
395.52/396.82 c #Conflicts: 88000 | #Constraints: 120266
395.52/396.82 c #Conflicts: 89000 | #Constraints: 121266
395.52/396.82 c #Conflicts: 90000 | #Constraints: 122266
395.52/396.82 c INPROCESSING
395.52/396.82 c GARBAGE COLLECT
395.52/396.82 c #Conflicts: 91000 | #Constraints: 117268
395.52/396.82 c #Conflicts: 92000 | #Constraints: 118268
395.52/396.82 c #Conflicts: 93000 | #Constraints: 119268
395.52/396.82 c #Conflicts: 94000 | #Constraints: 120268
395.52/396.82 c #Conflicts: 95000 | #Constraints: 121268
395.52/396.82 c #Conflicts: 96000 | #Constraints: 122268
395.52/396.82 c INPROCESSING
395.52/396.82 c GARBAGE COLLECT
395.52/396.82 c #Conflicts: 97000 | #Constraints: 117084
395.52/396.82 c #Conflicts: 98000 | #Constraints: 118084
395.52/396.82 c #Conflicts: 99000 | #Constraints: 119084
395.52/396.82 c #Conflicts: 100000 | #Constraints: 120084
395.52/396.82 c #Conflicts: 101000 | #Constraints: 121084
395.52/396.82 c #Conflicts: 102000 | #Constraints: 122084
395.52/396.82 c #Conflicts: 103000 | #Constraints: 123084
395.52/396.82 c INPROCESSING
395.52/396.82 c GARBAGE COLLECT
395.52/396.82 c #Conflicts: 104000 | #Constraints: 117673
395.52/396.82 c #Conflicts: 105000 | #Constraints: 118673
395.52/396.82 c #Conflicts: 106000 | #Constraints: 119673
395.52/396.82 c #Conflicts: 107000 | #Constraints: 120673
395.52/396.82 c #Conflicts: 108000 | #Constraints: 121673
395.52/396.82 c #Conflicts: 109000 | #Constraints: 122673
395.52/396.82 c #Conflicts: 110000 | #Constraints: 123673
395.52/396.82 c INPROCESSING
395.52/396.82 c GARBAGE COLLECT
395.52/396.82 c #Conflicts: 111000 | #Constraints: 118087
395.52/396.82 c #Conflicts: 112000 | #Constraints: 119087
395.52/396.82 c #Conflicts: 113000 | #Constraints: 120087
395.52/396.82 c #Conflicts: 114000 | #Constraints: 121087
395.52/396.82 c #Conflicts: 115000 | #Constraints: 122087
395.52/396.82 c #Conflicts: 116000 | #Constraints: 123087
395.52/396.82 c #Conflicts: 117000 | #Constraints: 124087
395.52/396.82 c INPROCESSING
395.52/396.82 c GARBAGE COLLECT
395.52/396.82 c #Conflicts: 118000 | #Constraints: 118286
395.52/396.82 c #Conflicts: 119000 | #Constraints: 119286
395.52/396.82 c #Conflicts: 120000 | #Constraints: 120286
395.52/396.82 c #Conflicts: 121000 | #Constraints: 121286
395.52/396.82 c #Conflicts: 122000 | #Constraints: 122286
395.52/396.82 c #Conflicts: 123000 | #Constraints: 123286
395.52/396.82 c #Conflicts: 124000 | #Constraints: 124286
395.52/396.82 c INPROCESSING
395.52/396.82 c GARBAGE COLLECT
395.52/396.82 c #Conflicts: 125000 | #Constraints: 118279
395.52/396.82 c #Conflicts: 126000 | #Constraints: 119279
481.89/483.44 c #Conflicts: 127000 | #Constraints: 120279
481.89/483.44 c #Conflicts: 128000 | #Constraints: 121279
481.89/483.44 c #Conflicts: 129000 | #Constraints: 122279
481.89/483.44 c #Conflicts: 130000 | #Constraints: 123279
481.89/483.44 c #Conflicts: 131000 | #Constraints: 124279
481.89/483.44 c INPROCESSING
481.89/483.44 c GARBAGE COLLECT
481.89/483.44 c #Conflicts: 132000 | #Constraints: 118071
481.89/483.44 c #Conflicts: 133000 | #Constraints: 119071
481.89/483.44 c #Conflicts: 134000 | #Constraints: 120071
481.89/483.44 c #Conflicts: 135000 | #Constraints: 121071
481.89/483.44 c #Conflicts: 136000 | #Constraints: 122071
481.89/483.44 c #Conflicts: 137000 | #Constraints: 123071
481.89/483.44 c #Conflicts: 138000 | #Constraints: 124071
481.89/483.44 c #Conflicts: 139000 | #Constraints: 125071
481.89/483.44 c INPROCESSING
481.89/483.44 c GARBAGE COLLECT
481.89/483.44 c #Conflicts: 140000 | #Constraints: 118691
481.89/483.44 c #Conflicts: 141000 | #Constraints: 119691
481.89/483.44 c #Conflicts: 142000 | #Constraints: 120691
481.89/483.44 c #Conflicts: 143000 | #Constraints: 121691
481.89/483.44 c #Conflicts: 144000 | #Constraints: 122691
481.89/483.44 c #Conflicts: 145000 | #Constraints: 123691
481.89/483.44 c #Conflicts: 146000 | #Constraints: 124691
481.89/483.44 c #Conflicts: 147000 | #Constraints: 125691
481.89/483.44 c INPROCESSING
481.89/483.44 c GARBAGE COLLECT
481.89/483.44 c #Conflicts: 148000 | #Constraints: 119100
481.89/483.44 c #Conflicts: 149000 | #Constraints: 120100
481.89/483.44 c #Conflicts: 150000 | #Constraints: 121100
481.89/483.44 c #Conflicts: 151000 | #Constraints: 122100
481.89/483.44 c #Conflicts: 152000 | #Constraints: 123100
481.89/483.44 c #Conflicts: 153000 | #Constraints: 124100
481.89/483.44 c #Conflicts: 154000 | #Constraints: 125100
481.89/483.44 c #Conflicts: 155000 | #Constraints: 126100
481.89/483.44 c INPROCESSING
481.89/483.44 c GARBAGE COLLECT
481.89/483.44 c #Conflicts: 156000 | #Constraints: 119281
481.89/483.44 c #Conflicts: 157000 | #Constraints: 120281
481.89/483.44 c #Conflicts: 158000 | #Constraints: 121281
481.89/483.44 c #Conflicts: 159000 | #Constraints: 122281
481.89/483.44 c #Conflicts: 160000 | #Constraints: 123281
481.89/483.44 c #Conflicts: 161000 | #Constraints: 124281
481.89/483.44 c #Conflicts: 162000 | #Constraints: 125281
481.89/483.44 c #Conflicts: 163000 | #Constraints: 126281
481.89/483.44 c INPROCESSING
481.89/483.44 c GARBAGE COLLECT
481.89/483.44 c #Conflicts: 164000 | #Constraints: 119277
481.89/483.44 c #Conflicts: 165000 | #Constraints: 120277
481.89/483.44 c #Conflicts: 166000 | #Constraints: 121277
481.89/483.44 c #Conflicts: 167000 | #Constraints: 122277
481.89/483.44 c #Conflicts: 168000 | #Constraints: 123277
481.89/483.44 c #Conflicts: 169000 | #Constraints: 124277
481.89/483.44 c #Conflicts: 170000 | #Constraints: 125277
481.89/483.44 c #Conflicts: 171000 | #Constraints: 126277
481.89/483.44 c INPROCESSING
481.89/483.44 c GARBAGE COLLECT
481.89/483.44 c #Conflicts: 172000 | #Constraints: 119073
481.89/483.44 c #Conflicts: 173000 | #Constraints: 120073
481.89/483.44 c #Conflicts: 174000 | #Constraints: 121073
481.89/483.44 c #Conflicts: 175000 | #Constraints: 122073
481.89/483.44 c #Conflicts: 176000 | #Constraints: 123073
481.89/483.44 c #Conflicts: 177000 | #Constraints: 124073
481.89/483.44 c #Conflicts: 178000 | #Constraints: 125073
481.89/483.44 c #Conflicts: 179000 | #Constraints: 126073
481.89/483.44 c #Conflicts: 180000 | #Constraints: 127073
481.89/483.44 c INPROCESSING
481.89/483.44 c GARBAGE COLLECT
481.89/483.44 c #Conflicts: 181000 | #Constraints: 119695
481.89/483.44 c #Conflicts: 182000 | #Constraints: 120695
481.89/483.44 c #Conflicts: 183000 | #Constraints: 121695
481.89/483.44 c #Conflicts: 184000 | #Constraints: 122695
481.89/483.44 c #Conflicts: 185000 | #Constraints: 123695
481.89/483.44 c #Conflicts: 186000 | #Constraints: 124695
481.89/483.44 c #Conflicts: 187000 | #Constraints: 125695
481.89/483.44 c #Conflicts: 188000 | #Constraints: 126695
481.89/483.44 c #Conflicts: 189000 | #Constraints: 127695
481.89/483.44 c INPROCESSING
481.89/483.44 c GARBAGE COLLECT
481.89/483.44 c #Conflicts: 190000 | #Constraints: 120114
481.89/483.44 c #Conflicts: 191000 | #Constraints: 121114
481.89/483.44 c #Conflicts: 192000 | #Constraints: 122114
481.89/483.44 c #Conflicts: 193000 | #Constraints: 123114
481.89/483.44 c #Conflicts: 194000 | #Constraints: 124114
481.89/483.44 c #Conflicts: 195000 | #Constraints: 125114
481.89/483.44 c #Conflicts: 196000 | #Constraints: 126114
481.89/483.44 c #Conflicts: 197000 | #Constraints: 127114
481.89/483.44 c #Conflicts: 198000 | #Constraints: 128114
481.89/483.44 c INPROCESSING
481.89/483.44 c GARBAGE COLLECT
481.89/483.44 c #Conflicts: 199000 | #Constraints: 120316
586.91/588.77 c #Conflicts: 200000 | #Constraints: 121316
586.91/588.77 c #Conflicts: 201000 | #Constraints: 122316
586.91/588.77 c #Conflicts: 202000 | #Constraints: 123316
586.91/588.77 c #Conflicts: 203000 | #Constraints: 124316
586.91/588.77 c #Conflicts: 204000 | #Constraints: 125316
586.91/588.77 c #Conflicts: 205000 | #Constraints: 126316
586.91/588.77 c #Conflicts: 206000 | #Constraints: 127316
586.91/588.77 c #Conflicts: 207000 | #Constraints: 128316
586.91/588.77 c INPROCESSING
586.91/588.77 c GARBAGE COLLECT
586.91/588.77 c #Conflicts: 208000 | #Constraints: 120304
586.91/588.77 c #Conflicts: 209000 | #Constraints: 121304
586.91/588.77 c #Conflicts: 210000 | #Constraints: 122304
586.91/588.77 c #Conflicts: 211000 | #Constraints: 123304
586.91/588.77 c #Conflicts: 212000 | #Constraints: 124304
586.91/588.77 c #Conflicts: 213000 | #Constraints: 125304
586.91/588.77 c #Conflicts: 214000 | #Constraints: 126304
586.91/588.77 c #Conflicts: 215000 | #Constraints: 127304
586.91/588.77 c #Conflicts: 216000 | #Constraints: 128304
586.91/588.77 c INPROCESSING
586.91/588.77 c GARBAGE COLLECT
586.91/588.77 c #Conflicts: 217000 | #Constraints: 120108
586.91/588.77 c #Conflicts: 218000 | #Constraints: 121108
586.91/588.77 c #Conflicts: 219000 | #Constraints: 122108
586.91/588.77 c #Conflicts: 220000 | #Constraints: 123108
586.91/588.77 c #Conflicts: 221000 | #Constraints: 124108
586.91/588.77 c #Conflicts: 222000 | #Constraints: 125108
586.91/588.77 c #Conflicts: 223000 | #Constraints: 126108
586.91/588.77 c #Conflicts: 224000 | #Constraints: 127108
586.91/588.77 c #Conflicts: 225000 | #Constraints: 128108
586.91/588.77 c #Conflicts: 226000 | #Constraints: 129108
586.91/588.77 c INPROCESSING
586.91/588.77 c GARBAGE COLLECT
586.91/588.77 c #Conflicts: 227000 | #Constraints: 120707
586.91/588.77 c #Conflicts: 228000 | #Constraints: 121707
586.91/588.77 c #Conflicts: 229000 | #Constraints: 122707
586.91/588.77 c #Conflicts: 230000 | #Constraints: 123707
586.91/588.77 c #Conflicts: 231000 | #Constraints: 124707
586.91/588.77 c #Conflicts: 232000 | #Constraints: 125707
586.91/588.77 c #Conflicts: 233000 | #Constraints: 126707
586.91/588.77 c #Conflicts: 234000 | #Constraints: 127707
586.91/588.77 c #Conflicts: 235000 | #Constraints: 128707
586.91/588.77 c #Conflicts: 236000 | #Constraints: 129707
586.91/588.77 c INPROCESSING
586.91/588.77 c GARBAGE COLLECT
586.91/588.77 c #Conflicts: 237000 | #Constraints: 121100
586.91/588.77 c #Conflicts: 238000 | #Constraints: 122100
586.91/588.77 c #Conflicts: 239000 | #Constraints: 123100
586.91/588.77 c #Conflicts: 240000 | #Constraints: 124100
586.91/588.77 c #Conflicts: 241000 | #Constraints: 125100
586.91/588.77 c #Conflicts: 242000 | #Constraints: 126100
586.91/588.77 c #Conflicts: 243000 | #Constraints: 127100
586.91/588.77 c #Conflicts: 244000 | #Constraints: 128100
586.91/588.77 c #Conflicts: 245000 | #Constraints: 129100
586.91/588.77 c #Conflicts: 246000 | #Constraints: 130100
586.91/588.77 c INPROCESSING
586.91/588.77 c GARBAGE COLLECT
586.91/588.77 c #Conflicts: 247000 | #Constraints: 121296
586.91/588.77 c #Conflicts: 248000 | #Constraints: 122296
586.91/588.77 c #Conflicts: 249000 | #Constraints: 123296
586.91/588.77 c #Conflicts: 250000 | #Constraints: 124296
586.91/588.77 c #Conflicts: 251000 | #Constraints: 125296
586.91/588.77 c #Conflicts: 252000 | #Constraints: 126296
586.91/588.77 c #Conflicts: 253000 | #Constraints: 127296
586.91/588.77 c #Conflicts: 254000 | #Constraints: 128296
586.91/588.77 c #Conflicts: 255000 | #Constraints: 129296
586.91/588.77 c #Conflicts: 256000 | #Constraints: 130296
586.91/588.77 c INPROCESSING
586.91/588.77 c GARBAGE COLLECT
586.91/588.77 c #Conflicts: 257000 | #Constraints: 121315
586.91/588.77 c #Conflicts: 258000 | #Constraints: 122315
586.91/588.77 c #Conflicts: 259000 | #Constraints: 123315
586.91/588.77 c #Conflicts: 260000 | #Constraints: 124315
586.91/588.77 c #Conflicts: 261000 | #Constraints: 125315
586.91/588.77 c #Conflicts: 262000 | #Constraints: 126315
586.91/588.77 c #Conflicts: 263000 | #Constraints: 127315
586.91/588.77 c #Conflicts: 264000 | #Constraints: 128315
586.91/588.77 c #Conflicts: 265000 | #Constraints: 129315
586.91/588.77 c #Conflicts: 266000 | #Constraints: 130315
586.91/588.77 c INPROCESSING
586.91/588.77 c GARBAGE COLLECT
586.91/588.77 c #Conflicts: 267000 | #Constraints: 121116
586.91/588.77 c #Conflicts: 268000 | #Constraints: 122116
586.91/588.77 c #Conflicts: 269000 | #Constraints: 123116
586.91/588.77 c #Conflicts: 270000 | #Constraints: 124116
586.91/588.77 c #Conflicts: 271000 | #Constraints: 125116
586.91/588.77 c #Conflicts: 272000 | #Constraints: 126116
586.91/588.77 c #Conflicts: 273000 | #Constraints: 127116
586.91/588.77 c #Conflicts: 274000 | #Constraints: 128116
705.48/707.65 c #Conflicts: 275000 | #Constraints: 129116
705.48/707.65 c #Conflicts: 276000 | #Constraints: 130116
705.48/707.65 c #Conflicts: 277000 | #Constraints: 131116
705.48/707.65 c INPROCESSING
705.48/707.65 c GARBAGE COLLECT
705.48/707.65 c #Conflicts: 278000 | #Constraints: 121718
705.48/707.65 c #Conflicts: 279000 | #Constraints: 122718
705.48/707.65 c #Conflicts: 280000 | #Constraints: 123718
705.48/707.65 c #Conflicts: 281000 | #Constraints: 124718
705.48/707.65 c #Conflicts: 282000 | #Constraints: 125718
705.48/707.65 c #Conflicts: 283000 | #Constraints: 126718
705.48/707.65 c #Conflicts: 284000 | #Constraints: 127718
705.48/707.65 c #Conflicts: 285000 | #Constraints: 128718
705.48/707.65 c #Conflicts: 286000 | #Constraints: 129718
705.48/707.65 c #Conflicts: 287000 | #Constraints: 130718
705.48/707.65 c #Conflicts: 288000 | #Constraints: 131718
705.48/707.65 c INPROCESSING
705.48/707.65 c GARBAGE COLLECT
705.48/707.65 c #Conflicts: 289000 | #Constraints: 122143
705.48/707.65 c #Conflicts: 290000 | #Constraints: 123143
705.48/707.65 c #Conflicts: 291000 | #Constraints: 124143
705.48/707.65 c #Conflicts: 292000 | #Constraints: 125143
705.48/707.65 c #Conflicts: 293000 | #Constraints: 126143
705.48/707.65 c #Conflicts: 294000 | #Constraints: 127143
705.48/707.65 c #Conflicts: 295000 | #Constraints: 128143
705.48/707.65 c #Conflicts: 296000 | #Constraints: 129143
705.48/707.65 c #Conflicts: 297000 | #Constraints: 130143
705.48/707.65 c #Conflicts: 298000 | #Constraints: 131143
705.48/707.65 c #Conflicts: 299000 | #Constraints: 132143
705.48/707.65 c INPROCESSING
705.48/707.65 c GARBAGE COLLECT
705.48/707.65 c #Conflicts: 300000 | #Constraints: 122320
705.48/707.65 c #Conflicts: 301000 | #Constraints: 123320
705.48/707.65 c #Conflicts: 302000 | #Constraints: 124320
705.48/707.65 c #Conflicts: 303000 | #Constraints: 125320
705.48/707.65 c #Conflicts: 304000 | #Constraints: 126320
705.48/707.65 c #Conflicts: 305000 | #Constraints: 127320
705.48/707.65 c #Conflicts: 306000 | #Constraints: 128320
705.48/707.65 c #Conflicts: 307000 | #Constraints: 129320
705.48/707.65 c #Conflicts: 308000 | #Constraints: 130320
705.48/707.65 c #Conflicts: 309000 | #Constraints: 131320
705.48/707.65 c #Conflicts: 310000 | #Constraints: 132320
705.48/707.65 c INPROCESSING
705.48/707.65 c GARBAGE COLLECT
705.48/707.65 c #Conflicts: 311000 | #Constraints: 122347
705.48/707.65 c #Conflicts: 312000 | #Constraints: 123347
705.48/707.65 c #Conflicts: 313000 | #Constraints: 124347
705.48/707.65 c #Conflicts: 314000 | #Constraints: 125347
705.48/707.65 c #Conflicts: 315000 | #Constraints: 126347
705.48/707.65 c #Conflicts: 316000 | #Constraints: 127347
705.48/707.65 c #Conflicts: 317000 | #Constraints: 128347
705.48/707.65 c #Conflicts: 318000 | #Constraints: 129347
705.48/707.65 c #Conflicts: 319000 | #Constraints: 130347
705.48/707.65 c #Conflicts: 320000 | #Constraints: 131347
705.48/707.65 c #Conflicts: 321000 | #Constraints: 132347
705.48/707.65 c INPROCESSING
705.48/707.65 c GARBAGE COLLECT
705.48/707.65 c #Conflicts: 322000 | #Constraints: 122159
705.48/707.65 c #Conflicts: 323000 | #Constraints: 123159
705.48/707.65 c #Conflicts: 324000 | #Constraints: 124159
705.48/707.65 c #Conflicts: 325000 | #Constraints: 125159
705.48/707.65 c #Conflicts: 326000 | #Constraints: 126159
705.48/707.65 c #Conflicts: 327000 | #Constraints: 127159
705.48/707.65 c #Conflicts: 328000 | #Constraints: 128159
705.48/707.65 c #Conflicts: 329000 | #Constraints: 129159
705.48/707.65 c #Conflicts: 330000 | #Constraints: 130159
705.48/707.65 c #Conflicts: 331000 | #Constraints: 131159
705.48/707.65 c #Conflicts: 332000 | #Constraints: 132159
705.48/707.65 c #Conflicts: 333000 | #Constraints: 133159
705.48/707.65 c INPROCESSING
705.48/707.65 c GARBAGE COLLECT
705.48/707.65 c #Conflicts: 334000 | #Constraints: 122750
705.48/707.65 c #Conflicts: 335000 | #Constraints: 123750
705.48/707.65 c #Conflicts: 336000 | #Constraints: 124750
705.48/707.65 c #Conflicts: 337000 | #Constraints: 125750
705.48/707.65 c #Conflicts: 338000 | #Constraints: 126750
705.48/707.65 c #Conflicts: 339000 | #Constraints: 127750
705.48/707.65 c #Conflicts: 340000 | #Constraints: 128750
705.48/707.65 c #Conflicts: 341000 | #Constraints: 129750
705.48/707.65 c #Conflicts: 342000 | #Constraints: 130750
705.48/707.65 c #Conflicts: 343000 | #Constraints: 131750
705.48/707.65 c #Conflicts: 344000 | #Constraints: 132750
705.48/707.65 c #Conflicts: 345000 | #Constraints: 133750
705.48/707.65 c INPROCESSING
705.48/707.65 c GARBAGE COLLECT
705.48/707.65 c #Conflicts: 346000 | #Constraints: 123156
705.48/707.65 c #Conflicts: 347000 | #Constraints: 124156
705.48/707.65 c #Conflicts: 348000 | #Constraints: 125156
850.79/853.31 c #Conflicts: 349000 | #Constraints: 126156
850.79/853.31 c #Conflicts: 350000 | #Constraints: 127156
850.79/853.31 c #Conflicts: 351000 | #Constraints: 128156
850.79/853.31 c #Conflicts: 352000 | #Constraints: 129156
850.79/853.31 c #Conflicts: 353000 | #Constraints: 130156
850.79/853.31 c #Conflicts: 354000 | #Constraints: 131156
850.79/853.31 c #Conflicts: 355000 | #Constraints: 132156
850.79/853.31 c #Conflicts: 356000 | #Constraints: 133156
850.79/853.31 c #Conflicts: 357000 | #Constraints: 134156
850.79/853.31 c INPROCESSING
850.79/853.31 c GARBAGE COLLECT
850.79/853.31 c #Conflicts: 358000 | #Constraints: 123335
850.79/853.31 c #Conflicts: 359000 | #Constraints: 124335
850.79/853.31 c #Conflicts: 360000 | #Constraints: 125335
850.79/853.31 c #Conflicts: 361000 | #Constraints: 126335
850.79/853.31 c #Conflicts: 362000 | #Constraints: 127335
850.79/853.31 c #Conflicts: 363000 | #Constraints: 128335
850.79/853.31 c #Conflicts: 364000 | #Constraints: 129335
850.79/853.31 c #Conflicts: 365000 | #Constraints: 130335
850.79/853.31 c #Conflicts: 366000 | #Constraints: 131335
850.79/853.31 c #Conflicts: 367000 | #Constraints: 132335
850.79/853.31 c #Conflicts: 368000 | #Constraints: 133335
850.79/853.31 c #Conflicts: 369000 | #Constraints: 134335
850.79/853.31 c INPROCESSING
850.79/853.31 c GARBAGE COLLECT
850.79/853.31 c #Conflicts: 370000 | #Constraints: 123349
850.79/853.31 c #Conflicts: 371000 | #Constraints: 124349
850.79/853.31 c #Conflicts: 372000 | #Constraints: 125349
850.79/853.31 c #Conflicts: 373000 | #Constraints: 126349
850.79/853.31 c #Conflicts: 374000 | #Constraints: 127349
850.79/853.31 c #Conflicts: 375000 | #Constraints: 128349
850.79/853.31 c #Conflicts: 376000 | #Constraints: 129349
850.79/853.31 c #Conflicts: 377000 | #Constraints: 130349
850.79/853.31 c #Conflicts: 378000 | #Constraints: 131349
850.79/853.31 c #Conflicts: 379000 | #Constraints: 132349
850.79/853.31 c #Conflicts: 380000 | #Constraints: 133349
850.79/853.31 c #Conflicts: 381000 | #Constraints: 134349
850.79/853.31 c INPROCESSING
850.79/853.31 c GARBAGE COLLECT
850.79/853.31 c #Conflicts: 382000 | #Constraints: 123150
850.79/853.31 c #Conflicts: 383000 | #Constraints: 124150
850.79/853.31 c #Conflicts: 384000 | #Constraints: 125150
850.79/853.31 c #Conflicts: 385000 | #Constraints: 126150
850.79/853.31 c #Conflicts: 386000 | #Constraints: 127150
850.79/853.31 c #Conflicts: 387000 | #Constraints: 128150
850.79/853.31 c #Conflicts: 388000 | #Constraints: 129150
850.79/853.31 c #Conflicts: 389000 | #Constraints: 130150
850.79/853.31 c #Conflicts: 390000 | #Constraints: 131150
850.79/853.31 c #Conflicts: 391000 | #Constraints: 132150
850.79/853.31 c #Conflicts: 392000 | #Constraints: 133150
850.79/853.31 c #Conflicts: 393000 | #Constraints: 134150
850.79/853.31 c #Conflicts: 394000 | #Constraints: 135150
850.79/853.31 c INPROCESSING
850.79/853.31 c GARBAGE COLLECT
850.79/853.31 c #Conflicts: 395000 | #Constraints: 123728
850.79/853.31 c #Conflicts: 396000 | #Constraints: 124728
850.79/853.31 c #Conflicts: 397000 | #Constraints: 125728
850.79/853.31 c #Conflicts: 398000 | #Constraints: 126728
850.79/853.31 c #Conflicts: 399000 | #Constraints: 127728
850.79/853.31 c #Conflicts: 400000 | #Constraints: 128728
850.79/853.31 c #Conflicts: 401000 | #Constraints: 129728
850.79/853.31 c #Conflicts: 402000 | #Constraints: 130728
850.79/853.31 c #Conflicts: 403000 | #Constraints: 131728
850.79/853.31 c #Conflicts: 404000 | #Constraints: 132728
850.79/853.31 c #Conflicts: 405000 | #Constraints: 133728
850.79/853.31 c #Conflicts: 406000 | #Constraints: 134728
850.79/853.31 c #Conflicts: 407000 | #Constraints: 135728
850.79/853.31 c INPROCESSING
850.79/853.31 c GARBAGE COLLECT
850.79/853.31 c #Conflicts: 408000 | #Constraints: 124120
850.79/853.31 c #Conflicts: 409000 | #Constraints: 125120
850.79/853.31 c #Conflicts: 410000 | #Constraints: 126120
850.79/853.31 c #Conflicts: 411000 | #Constraints: 127120
850.79/853.31 c #Conflicts: 412000 | #Constraints: 128120
850.79/853.31 c #Conflicts: 413000 | #Constraints: 129120
850.79/853.31 c #Conflicts: 414000 | #Constraints: 130120
850.79/853.31 c #Conflicts: 415000 | #Constraints: 131120
850.79/853.31 c #Conflicts: 416000 | #Constraints: 132120
850.79/853.31 c #Conflicts: 417000 | #Constraints: 133120
850.79/853.31 c #Conflicts: 418000 | #Constraints: 134120
850.79/853.31 c #Conflicts: 419000 | #Constraints: 135120
850.79/853.31 c #Conflicts: 420000 | #Constraints: 136120
850.79/853.31 c INPROCESSING
850.79/853.31 c GARBAGE COLLECT
850.79/853.31 c #Conflicts: 421000 | #Constraints: 124353
850.79/853.31 c #Conflicts: 422000 | #Constraints: 125353
850.79/853.31 c #Conflicts: 423000 | #Constraints: 126353
1006.26/1009.23 c #Conflicts: 424000 | #Constraints: 127353
1006.26/1009.23 c #Conflicts: 425000 | #Constraints: 128353
1006.26/1009.23 c #Conflicts: 426000 | #Constraints: 129353
1006.26/1009.23 c #Conflicts: 427000 | #Constraints: 130353
1006.26/1009.23 c #Conflicts: 428000 | #Constraints: 131353
1006.26/1009.23 c #Conflicts: 429000 | #Constraints: 132353
1006.26/1009.23 c #Conflicts: 430000 | #Constraints: 133353
1006.26/1009.23 c #Conflicts: 431000 | #Constraints: 134353
1006.26/1009.23 c #Conflicts: 432000 | #Constraints: 135353
1006.26/1009.23 c #Conflicts: 433000 | #Constraints: 136353
1006.26/1009.23 c INPROCESSING
1006.26/1009.23 c GARBAGE COLLECT
1006.26/1009.23 c #Conflicts: 434000 | #Constraints: 124349
1006.26/1009.23 c #Conflicts: 435000 | #Constraints: 125349
1006.26/1009.23 c #Conflicts: 436000 | #Constraints: 126349
1006.26/1009.23 c #Conflicts: 437000 | #Constraints: 127349
1006.26/1009.23 c #Conflicts: 438000 | #Constraints: 128349
1006.26/1009.23 c #Conflicts: 439000 | #Constraints: 129349
1006.26/1009.23 c #Conflicts: 440000 | #Constraints: 130349
1006.26/1009.23 c #Conflicts: 441000 | #Constraints: 131349
1006.26/1009.23 c #Conflicts: 442000 | #Constraints: 132349
1006.26/1009.23 c #Conflicts: 443000 | #Constraints: 133349
1006.26/1009.23 c #Conflicts: 444000 | #Constraints: 134349
1006.26/1009.23 c #Conflicts: 445000 | #Constraints: 135349
1006.26/1009.23 c #Conflicts: 446000 | #Constraints: 136349
1006.26/1009.23 c INPROCESSING
1006.26/1009.23 c GARBAGE COLLECT
1006.26/1009.23 c #Conflicts: 447000 | #Constraints: 124156
1006.26/1009.23 c #Conflicts: 448000 | #Constraints: 125156
1006.26/1009.23 c #Conflicts: 449000 | #Constraints: 126156
1006.26/1009.23 c #Conflicts: 450000 | #Constraints: 127156
1006.26/1009.23 c #Conflicts: 451000 | #Constraints: 128156
1006.26/1009.23 c #Conflicts: 452000 | #Constraints: 129156
1006.26/1009.23 c #Conflicts: 453000 | #Constraints: 130156
1006.26/1009.23 c #Conflicts: 454000 | #Constraints: 131156
1006.26/1009.23 c #Conflicts: 455000 | #Constraints: 132156
1006.26/1009.23 c #Conflicts: 456000 | #Constraints: 133156
1006.26/1009.23 c #Conflicts: 457000 | #Constraints: 134156
1006.26/1009.23 c #Conflicts: 458000 | #Constraints: 135156
1006.26/1009.23 c #Conflicts: 459000 | #Constraints: 136156
1006.26/1009.23 c #Conflicts: 460000 | #Constraints: 137156
1006.26/1009.23 c INPROCESSING
1006.26/1009.23 c GARBAGE COLLECT
1006.26/1009.23 c #Conflicts: 461000 | #Constraints: 124771
1006.26/1009.23 c #Conflicts: 462000 | #Constraints: 125771
1006.26/1009.23 c #Conflicts: 463000 | #Constraints: 126771
1006.26/1009.23 c #Conflicts: 464000 | #Constraints: 127771
1006.26/1009.23 c #Conflicts: 465000 | #Constraints: 128771
1006.26/1009.23 c #Conflicts: 466000 | #Constraints: 129771
1006.26/1009.23 c #Conflicts: 467000 | #Constraints: 130771
1006.26/1009.23 c #Conflicts: 468000 | #Constraints: 131771
1006.26/1009.23 c #Conflicts: 469000 | #Constraints: 132771
1006.26/1009.23 c #Conflicts: 470000 | #Constraints: 133771
1006.26/1009.23 c #Conflicts: 471000 | #Constraints: 134771
1006.26/1009.23 c #Conflicts: 472000 | #Constraints: 135771
1006.26/1009.23 c #Conflicts: 473000 | #Constraints: 136771
1006.26/1009.23 c #Conflicts: 474000 | #Constraints: 137771
1006.26/1009.23 c INPROCESSING
1006.26/1009.23 c GARBAGE COLLECT
1006.26/1009.23 c #Conflicts: 475000 | #Constraints: 125162
1006.26/1009.23 c #Conflicts: 476000 | #Constraints: 126162
1006.26/1009.23 c #Conflicts: 477000 | #Constraints: 127162
1006.26/1009.23 c #Conflicts: 478000 | #Constraints: 128162
1006.26/1009.23 c #Conflicts: 479000 | #Constraints: 129162
1006.26/1009.23 c #Conflicts: 480000 | #Constraints: 130162
1006.26/1009.23 c #Conflicts: 481000 | #Constraints: 131162
1006.26/1009.23 c #Conflicts: 482000 | #Constraints: 132162
1006.26/1009.23 c #Conflicts: 483000 | #Constraints: 133162
1006.26/1009.23 c #Conflicts: 484000 | #Constraints: 134162
1006.26/1009.23 c #Conflicts: 485000 | #Constraints: 135162
1006.26/1009.23 c #Conflicts: 486000 | #Constraints: 136162
1006.26/1009.23 c #Conflicts: 487000 | #Constraints: 137162
1006.26/1009.23 c #Conflicts: 488000 | #Constraints: 138162
1006.26/1009.23 c INPROCESSING
1006.26/1009.23 c GARBAGE COLLECT
1006.26/1009.23 c #Conflicts: 489000 | #Constraints: 125374
1006.26/1009.23 c #Conflicts: 490000 | #Constraints: 126374
1006.26/1009.23 c #Conflicts: 491000 | #Constraints: 127374
1006.26/1009.23 c #Conflicts: 492000 | #Constraints: 128374
1006.26/1009.23 c #Conflicts: 493000 | #Constraints: 129374
1006.26/1009.23 c #Conflicts: 494000 | #Constraints: 130374
1006.26/1009.23 c #Conflicts: 495000 | #Constraints: 131374
1006.26/1009.23 c #Conflicts: 496000 | #Constraints: 132374
1006.26/1009.23 c #Conflicts: 497000 | #Constraints: 133374
1006.26/1009.23 c #Conflicts: 498000 | #Constraints: 134374
1006.26/1009.23 c #Conflicts: 499000 | #Constraints: 135374
1188.25/1191.74 c #Conflicts: 500000 | #Constraints: 136374
1188.25/1191.74 c #Conflicts: 501000 | #Constraints: 137374
1188.25/1191.74 c #Conflicts: 502000 | #Constraints: 138374
1188.25/1191.74 c INPROCESSING
1188.25/1191.74 c GARBAGE COLLECT
1188.25/1191.74 c #Conflicts: 503000 | #Constraints: 125371
1188.25/1191.74 c #Conflicts: 504000 | #Constraints: 126371
1188.25/1191.74 c #Conflicts: 505000 | #Constraints: 127371
1188.25/1191.74 c #Conflicts: 506000 | #Constraints: 128371
1188.25/1191.74 c #Conflicts: 507000 | #Constraints: 129371
1188.25/1191.74 c #Conflicts: 508000 | #Constraints: 130371
1188.25/1191.74 c #Conflicts: 509000 | #Constraints: 131371
1188.25/1191.74 c #Conflicts: 510000 | #Constraints: 132371
1188.25/1191.74 c #Conflicts: 511000 | #Constraints: 133371
1188.25/1191.74 c #Conflicts: 512000 | #Constraints: 134371
1188.25/1191.74 c #Conflicts: 513000 | #Constraints: 135371
1188.25/1191.74 c #Conflicts: 514000 | #Constraints: 136371
1188.25/1191.74 c #Conflicts: 515000 | #Constraints: 137371
1188.25/1191.74 c #Conflicts: 516000 | #Constraints: 138371
1188.25/1191.74 c INPROCESSING
1188.25/1191.74 c GARBAGE COLLECT
1188.25/1191.74 c #Conflicts: 517000 | #Constraints: 125158
1188.25/1191.74 c #Conflicts: 518000 | #Constraints: 126158
1188.25/1191.74 c #Conflicts: 519000 | #Constraints: 127158
1188.25/1191.74 c #Conflicts: 520000 | #Constraints: 128158
1188.25/1191.74 c #Conflicts: 521000 | #Constraints: 129158
1188.25/1191.74 c #Conflicts: 522000 | #Constraints: 130158
1188.25/1191.74 c #Conflicts: 523000 | #Constraints: 131158
1188.25/1191.74 c #Conflicts: 524000 | #Constraints: 132158
1188.25/1191.74 c #Conflicts: 525000 | #Constraints: 133158
1188.25/1191.74 c #Conflicts: 526000 | #Constraints: 134158
1188.25/1191.74 c #Conflicts: 527000 | #Constraints: 135158
1188.25/1191.74 c #Conflicts: 528000 | #Constraints: 136158
1188.25/1191.74 c #Conflicts: 529000 | #Constraints: 137158
1188.25/1191.74 c #Conflicts: 530000 | #Constraints: 138158
1188.25/1191.74 c #Conflicts: 531000 | #Constraints: 139158
1188.25/1191.74 c INPROCESSING
1188.25/1191.74 c GARBAGE COLLECT
1188.25/1191.74 c #Conflicts: 532000 | #Constraints: 125750
1188.25/1191.74 c #Conflicts: 533000 | #Constraints: 126750
1188.25/1191.74 c #Conflicts: 534000 | #Constraints: 127750
1188.25/1191.74 c #Conflicts: 535000 | #Constraints: 128750
1188.25/1191.74 c #Conflicts: 536000 | #Constraints: 129750
1188.25/1191.74 c #Conflicts: 537000 | #Constraints: 130750
1188.25/1191.74 c #Conflicts: 538000 | #Constraints: 131750
1188.25/1191.74 c #Conflicts: 539000 | #Constraints: 132750
1188.25/1191.74 c #Conflicts: 540000 | #Constraints: 133750
1188.25/1191.74 c #Conflicts: 541000 | #Constraints: 134750
1188.25/1191.74 c #Conflicts: 542000 | #Constraints: 135750
1188.25/1191.74 c #Conflicts: 543000 | #Constraints: 136750
1188.25/1191.74 c #Conflicts: 544000 | #Constraints: 137750
1188.25/1191.74 c #Conflicts: 545000 | #Constraints: 138750
1188.25/1191.74 c #Conflicts: 546000 | #Constraints: 139750
1188.25/1191.74 c INPROCESSING
1188.25/1191.74 c GARBAGE COLLECT
1188.25/1191.74 c #Conflicts: 547000 | #Constraints: 126150
1188.25/1191.74 c #Conflicts: 548000 | #Constraints: 127150
1188.25/1191.74 c #Conflicts: 549000 | #Constraints: 128150
1188.25/1191.74 c #Conflicts: 550000 | #Constraints: 129150
1188.25/1191.74 c #Conflicts: 551000 | #Constraints: 130150
1188.25/1191.74 c #Conflicts: 552000 | #Constraints: 131150
1188.25/1191.74 c #Conflicts: 553000 | #Constraints: 132150
1188.25/1191.74 c #Conflicts: 554000 | #Constraints: 133150
1188.25/1191.74 c #Conflicts: 555000 | #Constraints: 134150
1188.25/1191.74 c #Conflicts: 556000 | #Constraints: 135150
1188.25/1191.74 c #Conflicts: 557000 | #Constraints: 136150
1188.25/1191.74 c #Conflicts: 558000 | #Constraints: 137150
1188.25/1191.74 c #Conflicts: 559000 | #Constraints: 138150
1188.25/1191.74 c #Conflicts: 560000 | #Constraints: 139150
1188.25/1191.74 c #Conflicts: 561000 | #Constraints: 140150
1188.25/1191.74 c INPROCESSING
1188.25/1191.74 c GARBAGE COLLECT
1188.25/1191.74 c #Conflicts: 562000 | #Constraints: 126347
1188.25/1191.74 c #Conflicts: 563000 | #Constraints: 127347
1188.25/1191.74 c #Conflicts: 564000 | #Constraints: 128347
1188.25/1191.74 c #Conflicts: 565000 | #Constraints: 129347
1188.25/1191.74 c #Conflicts: 566000 | #Constraints: 130347
1188.25/1191.74 c #Conflicts: 567000 | #Constraints: 131347
1188.25/1191.74 c #Conflicts: 568000 | #Constraints: 132347
1188.25/1191.74 c #Conflicts: 569000 | #Constraints: 133347
1188.25/1191.74 c #Conflicts: 570000 | #Constraints: 134347
1188.25/1191.74 c #Conflicts: 571000 | #Constraints: 135347
1188.25/1191.74 c #Conflicts: 572000 | #Constraints: 136347
1188.25/1191.74 c #Conflicts: 573000 | #Constraints: 137347
1188.25/1191.74 c #Conflicts: 574000 | #Constraints: 138347
1387.49/1391.50 c #Conflicts: 575000 | #Constraints: 139347
1387.49/1391.50 c #Conflicts: 576000 | #Constraints: 140347
1387.49/1391.50 c INPROCESSING
1387.49/1391.50 c GARBAGE COLLECT
1387.49/1391.50 c #Conflicts: 577000 | #Constraints: 126337
1387.49/1391.50 c #Conflicts: 578000 | #Constraints: 127337
1387.49/1391.50 c #Conflicts: 579000 | #Constraints: 128337
1387.49/1391.50 c #Conflicts: 580000 | #Constraints: 129337
1387.49/1391.50 c #Conflicts: 581000 | #Constraints: 130337
1387.49/1391.50 c #Conflicts: 582000 | #Constraints: 131337
1387.49/1391.50 c #Conflicts: 583000 | #Constraints: 132337
1387.49/1391.50 c #Conflicts: 584000 | #Constraints: 133337
1387.49/1391.50 c #Conflicts: 585000 | #Constraints: 134337
1387.49/1391.50 c #Conflicts: 586000 | #Constraints: 135337
1387.49/1391.50 c #Conflicts: 587000 | #Constraints: 136337
1387.49/1391.50 c #Conflicts: 588000 | #Constraints: 137337
1387.49/1391.50 c #Conflicts: 589000 | #Constraints: 138337
1387.49/1391.50 c #Conflicts: 590000 | #Constraints: 139337
1387.49/1391.50 c #Conflicts: 591000 | #Constraints: 140337
1387.49/1391.50 c INPROCESSING
1387.49/1391.50 c GARBAGE COLLECT
1387.49/1391.50 c #Conflicts: 592000 | #Constraints: 126151
1387.49/1391.50 c #Conflicts: 593000 | #Constraints: 127151
1387.49/1391.50 c #Conflicts: 594000 | #Constraints: 128151
1387.49/1391.50 c #Conflicts: 595000 | #Constraints: 129151
1387.49/1391.50 c #Conflicts: 596000 | #Constraints: 130151
1387.49/1391.50 c #Conflicts: 597000 | #Constraints: 131151
1387.49/1391.50 c #Conflicts: 598000 | #Constraints: 132151
1387.49/1391.50 c #Conflicts: 599000 | #Constraints: 133151
1387.49/1391.50 c #Conflicts: 600000 | #Constraints: 134151
1387.49/1391.50 c #Conflicts: 601000 | #Constraints: 135151
1387.49/1391.50 c #Conflicts: 602000 | #Constraints: 136151
1387.49/1391.50 c #Conflicts: 603000 | #Constraints: 137151
1387.49/1391.50 c #Conflicts: 604000 | #Constraints: 138151
1387.49/1391.50 c #Conflicts: 605000 | #Constraints: 139151
1387.49/1391.50 c #Conflicts: 606000 | #Constraints: 140151
1387.49/1391.50 c #Conflicts: 607000 | #Constraints: 141151
1387.49/1391.50 c INPROCESSING
1387.49/1391.50 c GARBAGE COLLECT
1387.49/1391.50 c #Conflicts: 608000 | #Constraints: 126760
1387.49/1391.50 c #Conflicts: 609000 | #Constraints: 127760
1387.49/1391.50 c #Conflicts: 610000 | #Constraints: 128760
1387.49/1391.50 c #Conflicts: 611000 | #Constraints: 129760
1387.49/1391.50 c #Conflicts: 612000 | #Constraints: 130760
1387.49/1391.50 c #Conflicts: 613000 | #Constraints: 131760
1387.49/1391.50 c #Conflicts: 614000 | #Constraints: 132760
1387.49/1391.50 c #Conflicts: 615000 | #Constraints: 133760
1387.49/1391.50 c #Conflicts: 616000 | #Constraints: 134760
1387.49/1391.50 c #Conflicts: 617000 | #Constraints: 135760
1387.49/1391.50 c #Conflicts: 618000 | #Constraints: 136760
1387.49/1391.50 c #Conflicts: 619000 | #Constraints: 137760
1387.49/1391.50 c #Conflicts: 620000 | #Constraints: 138760
1387.49/1391.50 c #Conflicts: 621000 | #Constraints: 139760
1387.49/1391.50 c #Conflicts: 622000 | #Constraints: 140760
1387.49/1391.50 c #Conflicts: 623000 | #Constraints: 141760
1387.49/1391.50 c INPROCESSING
1387.49/1391.50 c GARBAGE COLLECT
1387.49/1391.50 c #Conflicts: 624000 | #Constraints: 127150
1387.49/1391.50 c #Conflicts: 625000 | #Constraints: 128150
1387.49/1391.50 c #Conflicts: 626000 | #Constraints: 129150
1387.49/1391.50 c #Conflicts: 627000 | #Constraints: 130150
1387.49/1391.50 c #Conflicts: 628000 | #Constraints: 131150
1387.49/1391.50 c #Conflicts: 629000 | #Constraints: 132150
1387.49/1391.50 c #Conflicts: 630000 | #Constraints: 133150
1387.49/1391.50 c #Conflicts: 631000 | #Constraints: 134150
1387.49/1391.50 c #Conflicts: 632000 | #Constraints: 135150
1387.49/1391.50 c #Conflicts: 633000 | #Constraints: 136150
1387.49/1391.50 c #Conflicts: 634000 | #Constraints: 137150
1387.49/1391.50 c #Conflicts: 635000 | #Constraints: 138150
1387.49/1391.50 c #Conflicts: 636000 | #Constraints: 139150
1387.49/1391.50 c #Conflicts: 637000 | #Constraints: 140150
1387.49/1391.50 c #Conflicts: 638000 | #Constraints: 141150
1387.49/1391.50 c #Conflicts: 639000 | #Constraints: 142150
1387.49/1391.50 c INPROCESSING
1387.49/1391.50 c GARBAGE COLLECT
1387.49/1391.50 c #Conflicts: 640000 | #Constraints: 127354
1387.49/1391.50 c #Conflicts: 641000 | #Constraints: 128354
1387.49/1391.50 c #Conflicts: 642000 | #Constraints: 129354
1387.49/1391.50 c #Conflicts: 643000 | #Constraints: 130354
1387.49/1391.50 c #Conflicts: 644000 | #Constraints: 131354
1387.49/1391.50 c #Conflicts: 645000 | #Constraints: 132354
1387.49/1391.50 c #Conflicts: 646000 | #Constraints: 133354
1387.49/1391.50 c #Conflicts: 647000 | #Constraints: 134354
1387.49/1391.50 c #Conflicts: 648000 | #Constraints: 135354
1387.49/1391.50 c #Conflicts: 649000 | #Constraints: 136354
1387.49/1391.50 c #Conflicts: 650000 | #Constraints: 137354
1599.11/1603.78 c #Conflicts: 651000 | #Constraints: 138354
1599.11/1603.78 c #Conflicts: 652000 | #Constraints: 139354
1599.11/1603.78 c #Conflicts: 653000 | #Constraints: 140354
1599.11/1603.78 c #Conflicts: 654000 | #Constraints: 141354
1599.11/1603.78 c #Conflicts: 655000 | #Constraints: 142354
1599.11/1603.78 c INPROCESSING
1599.11/1603.78 c GARBAGE COLLECT
1599.11/1603.78 c #Conflicts: 656000 | #Constraints: 127345
1599.11/1603.78 c #Conflicts: 657000 | #Constraints: 128345
1599.11/1603.78 c #Conflicts: 658000 | #Constraints: 129345
1599.11/1603.78 c #Conflicts: 659000 | #Constraints: 130345
1599.11/1603.78 c #Conflicts: 660000 | #Constraints: 131345
1599.11/1603.78 c #Conflicts: 661000 | #Constraints: 132345
1599.11/1603.78 c #Conflicts: 662000 | #Constraints: 133345
1599.11/1603.78 c #Conflicts: 663000 | #Constraints: 134345
1599.11/1603.78 c #Conflicts: 664000 | #Constraints: 135345
1599.11/1603.78 c #Conflicts: 665000 | #Constraints: 136345
1599.11/1603.78 c #Conflicts: 666000 | #Constraints: 137345
1599.11/1603.78 c #Conflicts: 667000 | #Constraints: 138345
1599.11/1603.78 c #Conflicts: 668000 | #Constraints: 139345
1599.11/1603.78 c #Conflicts: 669000 | #Constraints: 140345
1599.11/1603.78 c #Conflicts: 670000 | #Constraints: 141345
1599.11/1603.78 c #Conflicts: 671000 | #Constraints: 142345
1599.11/1603.78 c INPROCESSING
1599.11/1603.78 c GARBAGE COLLECT
1599.11/1603.78 c #Conflicts: 672000 | #Constraints: 127144
1599.11/1603.78 c #Conflicts: 673000 | #Constraints: 128144
1599.11/1603.78 c #Conflicts: 674000 | #Constraints: 129144
1599.11/1603.78 c #Conflicts: 675000 | #Constraints: 130144
1599.11/1603.78 c #Conflicts: 676000 | #Constraints: 131144
1599.11/1603.78 c #Conflicts: 677000 | #Constraints: 132144
1599.11/1603.78 c #Conflicts: 678000 | #Constraints: 133144
1599.11/1603.78 c #Conflicts: 679000 | #Constraints: 134144
1599.11/1603.78 c #Conflicts: 680000 | #Constraints: 135144
1599.11/1603.78 c #Conflicts: 681000 | #Constraints: 136144
1599.11/1603.78 c #Conflicts: 682000 | #Constraints: 137144
1599.11/1603.78 c #Conflicts: 683000 | #Constraints: 138144
1599.11/1603.78 c #Conflicts: 684000 | #Constraints: 139144
1599.11/1603.78 c #Conflicts: 685000 | #Constraints: 140144
1599.11/1603.78 c #Conflicts: 686000 | #Constraints: 141144
1599.11/1603.78 c #Conflicts: 687000 | #Constraints: 142144
1599.11/1603.78 c #Conflicts: 688000 | #Constraints: 143144
1599.11/1603.78 c INPROCESSING
1599.11/1603.78 c GARBAGE COLLECT
1599.11/1603.78 c #Conflicts: 689000 | #Constraints: 127753
1599.11/1603.78 c #Conflicts: 690000 | #Constraints: 128753
1599.11/1603.78 c #Conflicts: 691000 | #Constraints: 129753
1599.11/1603.78 c #Conflicts: 692000 | #Constraints: 130753
1599.11/1603.78 c #Conflicts: 693000 | #Constraints: 131753
1599.11/1603.78 c #Conflicts: 694000 | #Constraints: 132753
1599.11/1603.78 c #Conflicts: 695000 | #Constraints: 133753
1599.11/1603.78 c #Conflicts: 696000 | #Constraints: 134753
1599.11/1603.78 c #Conflicts: 697000 | #Constraints: 135753
1599.11/1603.78 c #Conflicts: 698000 | #Constraints: 136753
1599.11/1603.78 c #Conflicts: 699000 | #Constraints: 137753
1599.11/1603.78 c #Conflicts: 700000 | #Constraints: 138753
1599.11/1603.78 c #Conflicts: 701000 | #Constraints: 139753
1599.11/1603.78 c #Conflicts: 702000 | #Constraints: 140753
1599.11/1603.78 c #Conflicts: 703000 | #Constraints: 141753
1599.11/1603.78 c #Conflicts: 704000 | #Constraints: 142753
1599.11/1603.78 c #Conflicts: 705000 | #Constraints: 143753
1599.11/1603.78 c INPROCESSING
1599.11/1603.78 c GARBAGE COLLECT
1599.11/1603.78 c #Conflicts: 706000 | #Constraints: 128156
1599.11/1603.78 c #Conflicts: 707000 | #Constraints: 129156
1599.11/1603.78 c #Conflicts: 708000 | #Constraints: 130156
1599.11/1603.78 c #Conflicts: 709000 | #Constraints: 131156
1599.11/1603.78 c #Conflicts: 710000 | #Constraints: 132156
1599.11/1603.78 c #Conflicts: 711000 | #Constraints: 133156
1599.11/1603.78 c #Conflicts: 712000 | #Constraints: 134156
1599.11/1603.78 c #Conflicts: 713000 | #Constraints: 135156
1599.11/1603.78 c #Conflicts: 714000 | #Constraints: 136156
1599.11/1603.78 c #Conflicts: 715000 | #Constraints: 137156
1599.11/1603.78 c #Conflicts: 716000 | #Constraints: 138156
1599.11/1603.78 c #Conflicts: 717000 | #Constraints: 139156
1599.11/1603.78 c #Conflicts: 718000 | #Constraints: 140156
1599.11/1603.78 c #Conflicts: 719000 | #Constraints: 141156
1599.11/1603.78 c #Conflicts: 720000 | #Constraints: 142156
1599.11/1603.78 c #Conflicts: 721000 | #Constraints: 143156
1599.11/1603.78 c #Conflicts: 722000 | #Constraints: 144156
1599.11/1603.78 c INPROCESSING
1599.11/1603.78 c GARBAGE COLLECT
1599.11/1603.78 c #Conflicts: 723000 | #Constraints: 128368
1599.11/1603.78 c #Conflicts: 724000 | #Constraints: 129368
1599.11/1603.78 c #Conflicts: 725000 | #Constraints: 130368
1835.47/1840.79 c #Conflicts: 726000 | #Constraints: 131368
1835.47/1840.79 c #Conflicts: 727000 | #Constraints: 132368
1835.47/1840.79 c #Conflicts: 728000 | #Constraints: 133368
1835.47/1840.79 c #Conflicts: 729000 | #Constraints: 134368
1835.47/1840.79 c #Conflicts: 730000 | #Constraints: 135368
1835.47/1840.79 c #Conflicts: 731000 | #Constraints: 136368
1835.47/1840.79 c #Conflicts: 732000 | #Constraints: 137368
1835.47/1840.79 c #Conflicts: 733000 | #Constraints: 138368
1835.47/1840.79 c #Conflicts: 734000 | #Constraints: 139368
1835.47/1840.79 c #Conflicts: 735000 | #Constraints: 140368
1835.47/1840.79 c #Conflicts: 736000 | #Constraints: 141368
1835.47/1840.79 c #Conflicts: 737000 | #Constraints: 142368
1835.47/1840.79 c #Conflicts: 738000 | #Constraints: 143368
1835.47/1840.79 c #Conflicts: 739000 | #Constraints: 144368
1835.47/1840.79 c INPROCESSING
1835.47/1840.79 c GARBAGE COLLECT
1835.47/1840.79 c #Conflicts: 740000 | #Constraints: 128369
1835.47/1840.79 c #Conflicts: 741000 | #Constraints: 129369
1835.47/1840.79 c #Conflicts: 742000 | #Constraints: 130369
1835.47/1840.79 c #Conflicts: 743000 | #Constraints: 131369
1835.47/1840.79 c #Conflicts: 744000 | #Constraints: 132369
1835.47/1840.79 c #Conflicts: 745000 | #Constraints: 133369
1835.47/1840.79 c #Conflicts: 746000 | #Constraints: 134369
1835.47/1840.79 c #Conflicts: 747000 | #Constraints: 135369
1835.47/1840.79 c #Conflicts: 748000 | #Constraints: 136369
1835.47/1840.79 c #Conflicts: 749000 | #Constraints: 137369
1835.47/1840.79 c #Conflicts: 750000 | #Constraints: 138369
1835.47/1840.79 c #Conflicts: 751000 | #Constraints: 139369
1835.47/1840.79 c #Conflicts: 752000 | #Constraints: 140369
1835.47/1840.79 c #Conflicts: 753000 | #Constraints: 141369
1835.47/1840.79 c #Conflicts: 754000 | #Constraints: 142369
1835.47/1840.79 c #Conflicts: 755000 | #Constraints: 143369
1835.47/1840.79 c #Conflicts: 756000 | #Constraints: 144369
1835.47/1840.79 c INPROCESSING
1835.47/1840.79 c GARBAGE COLLECT
1835.47/1840.79 c #Conflicts: 757000 | #Constraints: 128166
1835.47/1840.79 c #Conflicts: 758000 | #Constraints: 129166
1835.47/1840.79 c #Conflicts: 759000 | #Constraints: 130166
1835.47/1840.79 c #Conflicts: 760000 | #Constraints: 131166
1835.47/1840.79 c #Conflicts: 761000 | #Constraints: 132166
1835.47/1840.79 c #Conflicts: 762000 | #Constraints: 133166
1835.47/1840.79 c #Conflicts: 763000 | #Constraints: 134166
1835.47/1840.79 c #Conflicts: 764000 | #Constraints: 135166
1835.47/1840.79 c #Conflicts: 765000 | #Constraints: 136166
1835.47/1840.79 c #Conflicts: 766000 | #Constraints: 137166
1835.47/1840.79 c #Conflicts: 767000 | #Constraints: 138166
1835.47/1840.79 c #Conflicts: 768000 | #Constraints: 139166
1835.47/1840.79 c #Conflicts: 769000 | #Constraints: 140166
1835.47/1840.79 c #Conflicts: 770000 | #Constraints: 141166
1835.47/1840.79 c #Conflicts: 771000 | #Constraints: 142166
1835.47/1840.79 c #Conflicts: 772000 | #Constraints: 143166
1835.47/1840.79 c #Conflicts: 773000 | #Constraints: 144166
1835.47/1840.79 c #Conflicts: 774000 | #Constraints: 145166
1835.47/1840.79 c INPROCESSING
1835.47/1840.79 c GARBAGE COLLECT
1835.47/1840.79 c #Conflicts: 775000 | #Constraints: 128779
1835.47/1840.79 c #Conflicts: 776000 | #Constraints: 129779
1835.47/1840.79 c #Conflicts: 777000 | #Constraints: 130779
1835.47/1840.79 c #Conflicts: 778000 | #Constraints: 131779
1835.47/1840.79 c #Conflicts: 779000 | #Constraints: 132779
1835.47/1840.79 c #Conflicts: 780000 | #Constraints: 133779
1835.47/1840.79 c #Conflicts: 781000 | #Constraints: 134779
1835.47/1840.79 c #Conflicts: 782000 | #Constraints: 135779
1835.47/1840.79 c #Conflicts: 783000 | #Constraints: 136779
1835.47/1840.79 c #Conflicts: 784000 | #Constraints: 137779
1835.47/1840.79 c #Conflicts: 785000 | #Constraints: 138779
1835.47/1840.79 c #Conflicts: 786000 | #Constraints: 139779
1835.47/1840.79 c #Conflicts: 787000 | #Constraints: 140779
1835.47/1840.79 c #Conflicts: 788000 | #Constraints: 141779
1835.47/1840.79 c #Conflicts: 789000 | #Constraints: 142779
1835.47/1840.79 c #Conflicts: 790000 | #Constraints: 143779
1835.47/1840.79 c #Conflicts: 791000 | #Constraints: 144779
1835.47/1840.79 c #Conflicts: 792000 | #Constraints: 145779
1835.47/1840.79 c INPROCESSING
1835.47/1840.79 c GARBAGE COLLECT
1835.47/1840.79 c #Conflicts: 793000 | #Constraints: 129167
1835.47/1840.79 c #Conflicts: 794000 | #Constraints: 130167
1835.47/1840.79 c #Conflicts: 795000 | #Constraints: 131167
1835.47/1840.79 c #Conflicts: 796000 | #Constraints: 132167
1835.47/1840.79 c #Conflicts: 797000 | #Constraints: 133167
1835.47/1840.79 c #Conflicts: 798000 | #Constraints: 134167
1835.47/1840.79 c #Conflicts: 799000 | #Constraints: 135167
1835.47/1840.79 c #Conflicts: 800000 | #Constraints: 136167
1835.47/1840.79 c #Conflicts: 801000 | #Constraints: 137167
1835.47/1840.79 c #Conflicts: 802000 | #Constraints: 138167
2089.37/2095.34 c #Conflicts: 803000 | #Constraints: 139167
2089.37/2095.34 c #Conflicts: 804000 | #Constraints: 140167
2089.37/2095.34 c #Conflicts: 805000 | #Constraints: 141167
2089.37/2095.34 c #Conflicts: 806000 | #Constraints: 142167
2089.37/2095.34 c #Conflicts: 807000 | #Constraints: 143167
2089.37/2095.34 c #Conflicts: 808000 | #Constraints: 144167
2089.37/2095.34 c #Conflicts: 809000 | #Constraints: 145167
2089.37/2095.34 c #Conflicts: 810000 | #Constraints: 146167
2089.37/2095.34 c INPROCESSING
2089.37/2095.34 c GARBAGE COLLECT
2089.37/2095.34 c #Conflicts: 811000 | #Constraints: 129359
2089.37/2095.34 c #Conflicts: 812000 | #Constraints: 130359
2089.37/2095.34 c #Conflicts: 813000 | #Constraints: 131359
2089.37/2095.34 c #Conflicts: 814000 | #Constraints: 132359
2089.37/2095.34 c #Conflicts: 815000 | #Constraints: 133359
2089.37/2095.34 c #Conflicts: 816000 | #Constraints: 134359
2089.37/2095.34 c #Conflicts: 817000 | #Constraints: 135359
2089.37/2095.34 c #Conflicts: 818000 | #Constraints: 136359
2089.37/2095.34 c #Conflicts: 819000 | #Constraints: 137359
2089.37/2095.34 c #Conflicts: 820000 | #Constraints: 138359
2089.37/2095.34 c #Conflicts: 821000 | #Constraints: 139359
2089.37/2095.34 c #Conflicts: 822000 | #Constraints: 140359
2089.37/2095.34 c #Conflicts: 823000 | #Constraints: 141359
2089.37/2095.34 c #Conflicts: 824000 | #Constraints: 142359
2089.37/2095.34 c #Conflicts: 825000 | #Constraints: 143359
2089.37/2095.34 c #Conflicts: 826000 | #Constraints: 144359
2089.37/2095.34 c #Conflicts: 827000 | #Constraints: 145359
2089.37/2095.34 c #Conflicts: 828000 | #Constraints: 146359
2089.37/2095.34 c INPROCESSING
2089.37/2095.34 c GARBAGE COLLECT
2089.37/2095.34 c #Conflicts: 829000 | #Constraints: 129371
2089.37/2095.34 c #Conflicts: 830000 | #Constraints: 130371
2089.37/2095.34 c #Conflicts: 831000 | #Constraints: 131371
2089.37/2095.34 c #Conflicts: 832000 | #Constraints: 132371
2089.37/2095.34 c #Conflicts: 833000 | #Constraints: 133371
2089.37/2095.34 c #Conflicts: 834000 | #Constraints: 134371
2089.37/2095.34 c #Conflicts: 835000 | #Constraints: 135371
2089.37/2095.34 c #Conflicts: 836000 | #Constraints: 136371
2089.37/2095.34 c #Conflicts: 837000 | #Constraints: 137371
2089.37/2095.34 c #Conflicts: 838000 | #Constraints: 138371
2089.37/2095.34 c #Conflicts: 839000 | #Constraints: 139371
2089.37/2095.34 c #Conflicts: 840000 | #Constraints: 140371
2089.37/2095.34 c #Conflicts: 841000 | #Constraints: 141371
2089.37/2095.34 c #Conflicts: 842000 | #Constraints: 142371
2089.37/2095.34 c #Conflicts: 843000 | #Constraints: 143371
2089.37/2095.34 c #Conflicts: 844000 | #Constraints: 144371
2089.37/2095.34 c #Conflicts: 845000 | #Constraints: 145371
2089.37/2095.34 c #Conflicts: 846000 | #Constraints: 146371
2089.37/2095.34 c INPROCESSING
2089.37/2095.34 c GARBAGE COLLECT
2089.37/2095.34 c #Conflicts: 847000 | #Constraints: 129159
2089.37/2095.34 c #Conflicts: 848000 | #Constraints: 130159
2089.37/2095.34 c #Conflicts: 849000 | #Constraints: 131159
2089.37/2095.34 c #Conflicts: 850000 | #Constraints: 132159
2089.37/2095.34 c #Conflicts: 851000 | #Constraints: 133159
2089.37/2095.34 c #Conflicts: 852000 | #Constraints: 134159
2089.37/2095.34 c #Conflicts: 853000 | #Constraints: 135159
2089.37/2095.34 c #Conflicts: 854000 | #Constraints: 136159
2089.37/2095.34 c #Conflicts: 855000 | #Constraints: 137159
2089.37/2095.34 c #Conflicts: 856000 | #Constraints: 138159
2089.37/2095.34 c #Conflicts: 857000 | #Constraints: 139159
2089.37/2095.34 c #Conflicts: 858000 | #Constraints: 140159
2089.37/2095.34 c #Conflicts: 859000 | #Constraints: 141159
2089.37/2095.34 c #Conflicts: 860000 | #Constraints: 142159
2089.37/2095.34 c #Conflicts: 861000 | #Constraints: 143159
2089.37/2095.34 c #Conflicts: 862000 | #Constraints: 144159
2089.37/2095.34 c #Conflicts: 863000 | #Constraints: 145159
2089.37/2095.34 c #Conflicts: 864000 | #Constraints: 146159
2089.37/2095.34 c #Conflicts: 865000 | #Constraints: 147159
2089.37/2095.34 c INPROCESSING
2089.37/2095.34 c GARBAGE COLLECT
2089.37/2095.34 c #Conflicts: 866000 | #Constraints: 129756
2089.37/2095.34 c #Conflicts: 867000 | #Constraints: 130756
2089.37/2095.34 c #Conflicts: 868000 | #Constraints: 131756
2089.37/2095.34 c #Conflicts: 869000 | #Constraints: 132756
2089.37/2095.34 c #Conflicts: 870000 | #Constraints: 133756
2089.37/2095.34 c #Conflicts: 871000 | #Constraints: 134756
2089.37/2095.34 c #Conflicts: 872000 | #Constraints: 135756
2089.37/2095.34 c #Conflicts: 873000 | #Constraints: 136756
2089.37/2095.34 c #Conflicts: 874000 | #Constraints: 137756
2089.37/2095.34 c #Conflicts: 875000 | #Constraints: 138756
2089.37/2095.34 c #Conflicts: 876000 | #Constraints: 139756
2089.37/2095.34 c #Conflicts: 877000 | #Constraints: 140756
2089.37/2095.34 c #Conflicts: 878000 | #Constraints: 141756
2356.05/2362.73 c #Conflicts: 879000 | #Constraints: 142756
2356.05/2362.73 c #Conflicts: 880000 | #Constraints: 143756
2356.05/2362.73 c #Conflicts: 881000 | #Constraints: 144756
2356.05/2362.73 c #Conflicts: 882000 | #Constraints: 145756
2356.05/2362.73 c #Conflicts: 883000 | #Constraints: 146756
2356.05/2362.73 c #Conflicts: 884000 | #Constraints: 147756
2356.05/2362.73 c INPROCESSING
2356.05/2362.73 c GARBAGE COLLECT
2356.05/2362.73 c #Conflicts: 885000 | #Constraints: 130174
2356.05/2362.73 c #Conflicts: 886000 | #Constraints: 131174
2356.05/2362.73 c #Conflicts: 887000 | #Constraints: 132174
2356.05/2362.73 c #Conflicts: 888000 | #Constraints: 133174
2356.05/2362.73 c #Conflicts: 889000 | #Constraints: 134174
2356.05/2362.73 c #Conflicts: 890000 | #Constraints: 135174
2356.05/2362.73 c #Conflicts: 891000 | #Constraints: 136174
2356.05/2362.73 c #Conflicts: 892000 | #Constraints: 137174
2356.05/2362.73 c #Conflicts: 893000 | #Constraints: 138174
2356.05/2362.73 c #Conflicts: 894000 | #Constraints: 139174
2356.05/2362.73 c #Conflicts: 895000 | #Constraints: 140174
2356.05/2362.73 c #Conflicts: 896000 | #Constraints: 141174
2356.05/2362.73 c #Conflicts: 897000 | #Constraints: 142174
2356.05/2362.73 c #Conflicts: 898000 | #Constraints: 143174
2356.05/2362.73 c #Conflicts: 899000 | #Constraints: 144174
2356.05/2362.73 c #Conflicts: 900000 | #Constraints: 145174
2356.05/2362.73 c #Conflicts: 901000 | #Constraints: 146174
2356.05/2362.73 c #Conflicts: 902000 | #Constraints: 147174
2356.05/2362.73 c #Conflicts: 903000 | #Constraints: 148174
2356.05/2362.73 c INPROCESSING
2356.05/2362.73 c GARBAGE COLLECT
2356.05/2362.73 c #Conflicts: 904000 | #Constraints: 130391
2356.05/2362.73 c #Conflicts: 905000 | #Constraints: 131391
2356.05/2362.73 c #Conflicts: 906000 | #Constraints: 132391
2356.05/2362.73 c #Conflicts: 907000 | #Constraints: 133391
2356.05/2362.73 c #Conflicts: 908000 | #Constraints: 134391
2356.05/2362.73 c #Conflicts: 909000 | #Constraints: 135391
2356.05/2362.73 c #Conflicts: 910000 | #Constraints: 136391
2356.05/2362.73 c #Conflicts: 911000 | #Constraints: 137391
2356.05/2362.73 c #Conflicts: 912000 | #Constraints: 138391
2356.05/2362.73 c #Conflicts: 913000 | #Constraints: 139391
2356.05/2362.73 c #Conflicts: 914000 | #Constraints: 140391
2356.05/2362.73 c #Conflicts: 915000 | #Constraints: 141391
2356.05/2362.73 c #Conflicts: 916000 | #Constraints: 142391
2356.05/2362.73 c #Conflicts: 917000 | #Constraints: 143391
2356.05/2362.73 c #Conflicts: 918000 | #Constraints: 144391
2356.05/2362.73 c #Conflicts: 919000 | #Constraints: 145391
2356.05/2362.73 c #Conflicts: 920000 | #Constraints: 146391
2356.05/2362.73 c #Conflicts: 921000 | #Constraints: 147391
2356.05/2362.73 c #Conflicts: 922000 | #Constraints: 148391
2356.05/2362.73 c INPROCESSING
2356.05/2362.73 c GARBAGE COLLECT
2356.05/2362.73 c #Conflicts: 923000 | #Constraints: 130372
2356.05/2362.73 c #Conflicts: 924000 | #Constraints: 131372
2356.05/2362.73 c #Conflicts: 925000 | #Constraints: 132372
2356.05/2362.73 c #Conflicts: 926000 | #Constraints: 133372
2356.05/2362.73 c #Conflicts: 927000 | #Constraints: 134372
2356.05/2362.73 c #Conflicts: 928000 | #Constraints: 135372
2356.05/2362.73 c #Conflicts: 929000 | #Constraints: 136372
2356.05/2362.73 c #Conflicts: 930000 | #Constraints: 137372
2356.05/2362.73 c #Conflicts: 931000 | #Constraints: 138372
2356.05/2362.73 c #Conflicts: 932000 | #Constraints: 139372
2356.05/2362.73 c #Conflicts: 933000 | #Constraints: 140372
2356.05/2362.73 c #Conflicts: 934000 | #Constraints: 141372
2356.05/2362.73 c #Conflicts: 935000 | #Constraints: 142372
2356.05/2362.73 c #Conflicts: 936000 | #Constraints: 143372
2356.05/2362.73 c #Conflicts: 937000 | #Constraints: 144372
2356.05/2362.73 c #Conflicts: 938000 | #Constraints: 145372
2356.05/2362.73 c #Conflicts: 939000 | #Constraints: 146372
2356.05/2362.73 c #Conflicts: 940000 | #Constraints: 147372
2356.05/2362.73 c #Conflicts: 941000 | #Constraints: 148372
2356.05/2362.73 c INPROCESSING
2356.05/2362.73 c GARBAGE COLLECT
2356.05/2362.73 c #Conflicts: 942000 | #Constraints: 130162
2356.05/2362.73 c #Conflicts: 943000 | #Constraints: 131162
2356.05/2362.73 c #Conflicts: 944000 | #Constraints: 132162
2356.05/2362.73 c #Conflicts: 945000 | #Constraints: 133162
2356.05/2362.73 c #Conflicts: 946000 | #Constraints: 134162
2356.05/2362.73 c #Conflicts: 947000 | #Constraints: 135162
2356.05/2362.73 c #Conflicts: 948000 | #Constraints: 136162
2356.05/2362.73 c #Conflicts: 949000 | #Constraints: 137162
2356.05/2362.73 c #Conflicts: 950000 | #Constraints: 138162
2356.05/2362.73 c #Conflicts: 951000 | #Constraints: 139162
2356.05/2362.73 c #Conflicts: 952000 | #Constraints: 140162
2356.05/2362.73 c #Conflicts: 953000 | #Constraints: 141162
2356.05/2362.73 c #Conflicts: 954000 | #Constraints: 142162
2646.89/2654.36 c #Conflicts: 955000 | #Constraints: 143162
2646.89/2654.36 c #Conflicts: 956000 | #Constraints: 144162
2646.89/2654.36 c #Conflicts: 957000 | #Constraints: 145162
2646.89/2654.36 c #Conflicts: 958000 | #Constraints: 146162
2646.89/2654.36 c #Conflicts: 959000 | #Constraints: 147162
2646.89/2654.36 c #Conflicts: 960000 | #Constraints: 148162
2646.89/2654.36 c #Conflicts: 961000 | #Constraints: 149162
2646.89/2654.36 c INPROCESSING
2646.89/2654.36 c GARBAGE COLLECT
2646.89/2654.36 c #Conflicts: 962000 | #Constraints: 130781
2646.89/2654.36 c #Conflicts: 963000 | #Constraints: 131781
2646.89/2654.36 c #Conflicts: 964000 | #Constraints: 132781
2646.89/2654.36 c #Conflicts: 965000 | #Constraints: 133781
2646.89/2654.36 c #Conflicts: 966000 | #Constraints: 134781
2646.89/2654.36 c #Conflicts: 967000 | #Constraints: 135781
2646.89/2654.36 c #Conflicts: 968000 | #Constraints: 136781
2646.89/2654.36 c #Conflicts: 969000 | #Constraints: 137781
2646.89/2654.36 c #Conflicts: 970000 | #Constraints: 138781
2646.89/2654.36 c #Conflicts: 971000 | #Constraints: 139781
2646.89/2654.36 c #Conflicts: 972000 | #Constraints: 140781
2646.89/2654.36 c #Conflicts: 973000 | #Constraints: 141781
2646.89/2654.36 c #Conflicts: 974000 | #Constraints: 142781
2646.89/2654.36 c #Conflicts: 975000 | #Constraints: 143781
2646.89/2654.36 c #Conflicts: 976000 | #Constraints: 144781
2646.89/2654.36 c #Conflicts: 977000 | #Constraints: 145781
2646.89/2654.36 c #Conflicts: 978000 | #Constraints: 146781
2646.89/2654.36 c #Conflicts: 979000 | #Constraints: 147781
2646.89/2654.36 c #Conflicts: 980000 | #Constraints: 148781
2646.89/2654.36 c #Conflicts: 981000 | #Constraints: 149781
2646.89/2654.36 c INPROCESSING
2646.89/2654.36 c GARBAGE COLLECT
2646.89/2654.36 c #Conflicts: 982000 | #Constraints: 131186
2646.89/2654.36 c #Conflicts: 983000 | #Constraints: 132186
2646.89/2654.36 c #Conflicts: 984000 | #Constraints: 133186
2646.89/2654.36 c #Conflicts: 985000 | #Constraints: 134186
2646.89/2654.36 c #Conflicts: 986000 | #Constraints: 135186
2646.89/2654.36 c #Conflicts: 987000 | #Constraints: 136186
2646.89/2654.36 c #Conflicts: 988000 | #Constraints: 137186
2646.89/2654.36 c #Conflicts: 989000 | #Constraints: 138186
2646.89/2654.36 c #Conflicts: 990000 | #Constraints: 139186
2646.89/2654.36 c #Conflicts: 991000 | #Constraints: 140186
2646.89/2654.36 c #Conflicts: 992000 | #Constraints: 141186
2646.89/2654.36 c #Conflicts: 993000 | #Constraints: 142186
2646.89/2654.36 c #Conflicts: 994000 | #Constraints: 143186
2646.89/2654.36 c #Conflicts: 995000 | #Constraints: 144186
2646.89/2654.36 c #Conflicts: 996000 | #Constraints: 145186
2646.89/2654.36 c #Conflicts: 997000 | #Constraints: 146186
2646.89/2654.36 c #Conflicts: 998000 | #Constraints: 147186
2646.89/2654.36 c #Conflicts: 999000 | #Constraints: 148186
2646.89/2654.36 c #Conflicts: 1000000 | #Constraints: 149186
2646.89/2654.36 c #Conflicts: 1001000 | #Constraints: 150186
2646.89/2654.36 c INPROCESSING
2646.89/2654.36 c GARBAGE COLLECT
2646.89/2654.36 c #Conflicts: 1002000 | #Constraints: 131380
2646.89/2654.36 c #Conflicts: 1003000 | #Constraints: 132380
2646.89/2654.36 c #Conflicts: 1004000 | #Constraints: 133380
2646.89/2654.36 c #Conflicts: 1005000 | #Constraints: 134380
2646.89/2654.36 c #Conflicts: 1006000 | #Constraints: 135380
2646.89/2654.36 c #Conflicts: 1007000 | #Constraints: 136380
2646.89/2654.36 c #Conflicts: 1008000 | #Constraints: 137380
2646.89/2654.36 c #Conflicts: 1009000 | #Constraints: 138380
2646.89/2654.36 c #Conflicts: 1010000 | #Constraints: 139380
2646.89/2654.36 c #Conflicts: 1011000 | #Constraints: 140380
2646.89/2654.36 c #Conflicts: 1012000 | #Constraints: 141380
2646.89/2654.36 c #Conflicts: 1013000 | #Constraints: 142380
2646.89/2654.36 c #Conflicts: 1014000 | #Constraints: 143380
2646.89/2654.36 c #Conflicts: 1015000 | #Constraints: 144380
2646.89/2654.36 c #Conflicts: 1016000 | #Constraints: 145380
2646.89/2654.36 c #Conflicts: 1017000 | #Constraints: 146380
2646.89/2654.36 c #Conflicts: 1018000 | #Constraints: 147380
2646.89/2654.36 c #Conflicts: 1019000 | #Constraints: 148380
2646.89/2654.36 c #Conflicts: 1020000 | #Constraints: 149380
2646.89/2654.36 c #Conflicts: 1021000 | #Constraints: 150380
2646.89/2654.36 c INPROCESSING
2646.89/2654.36 c GARBAGE COLLECT
2646.89/2654.36 c #Conflicts: 1022000 | #Constraints: 131394
2646.89/2654.36 c #Conflicts: 1023000 | #Constraints: 132394
2646.89/2654.36 c #Conflicts: 1024000 | #Constraints: 133394
2646.89/2654.36 c #Conflicts: 1025000 | #Constraints: 134394
2646.89/2654.36 c #Conflicts: 1026000 | #Constraints: 135394
2646.89/2654.36 c #Conflicts: 1027000 | #Constraints: 136394
2646.89/2654.36 c #Conflicts: 1028000 | #Constraints: 137394
2646.89/2654.36 c #Conflicts: 1029000 | #Constraints: 138394
2646.89/2654.36 c #Conflicts: 1030000 | #Constraints: 139394
2946.67/2954.98 c #Conflicts: 1031000 | #Constraints: 140394
2946.67/2954.98 c #Conflicts: 1032000 | #Constraints: 141394
2946.67/2954.98 c #Conflicts: 1033000 | #Constraints: 142394
2946.67/2954.98 c #Conflicts: 1034000 | #Constraints: 143394
2946.67/2954.98 c #Conflicts: 1035000 | #Constraints: 144394
2946.67/2954.98 c #Conflicts: 1036000 | #Constraints: 145394
2946.67/2954.98 c #Conflicts: 1037000 | #Constraints: 146394
2946.67/2954.98 c #Conflicts: 1038000 | #Constraints: 147394
2946.67/2954.98 c #Conflicts: 1039000 | #Constraints: 148394
2946.67/2954.98 c #Conflicts: 1040000 | #Constraints: 149394
2946.67/2954.98 c #Conflicts: 1041000 | #Constraints: 150394
2946.67/2954.98 c INPROCESSING
2946.67/2954.98 c GARBAGE COLLECT
2946.67/2954.98 c #Conflicts: 1042000 | #Constraints: 131189
2946.67/2954.98 c #Conflicts: 1043000 | #Constraints: 132189
2946.67/2954.98 c #Conflicts: 1044000 | #Constraints: 133189
2946.67/2954.98 c #Conflicts: 1045000 | #Constraints: 134189
2946.67/2954.98 c #Conflicts: 1046000 | #Constraints: 135189
2946.67/2954.98 c #Conflicts: 1047000 | #Constraints: 136189
2946.67/2954.98 c #Conflicts: 1048000 | #Constraints: 137189
2946.67/2954.98 c #Conflicts: 1049000 | #Constraints: 138189
2946.67/2954.98 c #Conflicts: 1050000 | #Constraints: 139189
2946.67/2954.98 c #Conflicts: 1051000 | #Constraints: 140189
2946.67/2954.98 c #Conflicts: 1052000 | #Constraints: 141189
2946.67/2954.98 c #Conflicts: 1053000 | #Constraints: 142189
2946.67/2954.98 c #Conflicts: 1054000 | #Constraints: 143189
2946.67/2954.98 c #Conflicts: 1055000 | #Constraints: 144189
2946.67/2954.98 c #Conflicts: 1056000 | #Constraints: 145189
2946.67/2954.98 c #Conflicts: 1057000 | #Constraints: 146189
2946.67/2954.98 c #Conflicts: 1058000 | #Constraints: 147189
2946.67/2954.98 c #Conflicts: 1059000 | #Constraints: 148189
2946.67/2954.98 c #Conflicts: 1060000 | #Constraints: 149189
2946.67/2954.98 c #Conflicts: 1061000 | #Constraints: 150189
2946.67/2954.98 c #Conflicts: 1062000 | #Constraints: 151189
2946.67/2954.98 c INPROCESSING
2946.67/2954.98 c GARBAGE COLLECT
2946.67/2954.98 c #Conflicts: 1063000 | #Constraints: 131762
2946.67/2954.98 c #Conflicts: 1064000 | #Constraints: 132762
2946.67/2954.98 c #Conflicts: 1065000 | #Constraints: 133762
2946.67/2954.98 c #Conflicts: 1066000 | #Constraints: 134762
2946.67/2954.98 c #Conflicts: 1067000 | #Constraints: 135762
2946.67/2954.98 c #Conflicts: 1068000 | #Constraints: 136762
2946.67/2954.98 c #Conflicts: 1069000 | #Constraints: 137762
2946.67/2954.98 c #Conflicts: 1070000 | #Constraints: 138762
2946.67/2954.98 c #Conflicts: 1071000 | #Constraints: 139762
2946.67/2954.98 c #Conflicts: 1072000 | #Constraints: 140762
2946.67/2954.98 c #Conflicts: 1073000 | #Constraints: 141762
2946.67/2954.98 c #Conflicts: 1074000 | #Constraints: 142762
2946.67/2954.98 c #Conflicts: 1075000 | #Constraints: 143762
2946.67/2954.98 c #Conflicts: 1076000 | #Constraints: 144762
2946.67/2954.98 c #Conflicts: 1077000 | #Constraints: 145762
2946.67/2954.98 c #Conflicts: 1078000 | #Constraints: 146762
2946.67/2954.98 c #Conflicts: 1079000 | #Constraints: 147762
2946.67/2954.98 c #Conflicts: 1080000 | #Constraints: 148762
2946.67/2954.98 c #Conflicts: 1081000 | #Constraints: 149762
2946.67/2954.98 c #Conflicts: 1082000 | #Constraints: 150762
2946.67/2954.98 c #Conflicts: 1083000 | #Constraints: 151762
2946.67/2954.98 c INPROCESSING
2946.67/2954.98 c GARBAGE COLLECT
2946.67/2954.98 c #Conflicts: 1084000 | #Constraints: 132164
2946.67/2954.98 c #Conflicts: 1085000 | #Constraints: 133164
2946.67/2954.98 c #Conflicts: 1086000 | #Constraints: 134164
2946.67/2954.98 c #Conflicts: 1087000 | #Constraints: 135164
2946.67/2954.98 c #Conflicts: 1088000 | #Constraints: 136164
2946.67/2954.98 c #Conflicts: 1089000 | #Constraints: 137164
2946.67/2954.98 c #Conflicts: 1090000 | #Constraints: 138164
2946.67/2954.98 c #Conflicts: 1091000 | #Constraints: 139164
2946.67/2954.98 c #Conflicts: 1092000 | #Constraints: 140164
2946.67/2954.98 c #Conflicts: 1093000 | #Constraints: 141164
2946.67/2954.98 c #Conflicts: 1094000 | #Constraints: 142164
2946.67/2954.98 c #Conflicts: 1095000 | #Constraints: 143164
2946.67/2954.98 c #Conflicts: 1096000 | #Constraints: 144164
2946.67/2954.98 c #Conflicts: 1097000 | #Constraints: 145164
2946.67/2954.98 c #Conflicts: 1098000 | #Constraints: 146164
2946.67/2954.98 c #Conflicts: 1099000 | #Constraints: 147164
2946.67/2954.98 c #Conflicts: 1100000 | #Constraints: 148164
2946.67/2954.98 c #Conflicts: 1101000 | #Constraints: 149164
2946.67/2954.98 c #Conflicts: 1102000 | #Constraints: 150164
2946.67/2954.98 c #Conflicts: 1103000 | #Constraints: 151164
2946.67/2954.98 c #Conflicts: 1104000 | #Constraints: 152164
2946.67/2954.98 c INPROCESSING
2946.67/2954.98 c GARBAGE COLLECT
2946.67/2954.98 c #Conflicts: 1105000 | #Constraints: 132359
2946.67/2954.98 c #Conflicts: 1106000 | #Constraints: 133359
2946.67/2954.98 c #Conflicts: 1107000 | #Constraints: 134359
3284.26/3293.43 c #Conflicts: 1108000 | #Constraints: 135359
3284.26/3293.43 c #Conflicts: 1109000 | #Constraints: 136359
3284.26/3293.43 c #Conflicts: 1110000 | #Constraints: 137359
3284.26/3293.43 c #Conflicts: 1111000 | #Constraints: 138359
3284.26/3293.43 c #Conflicts: 1112000 | #Constraints: 139359
3284.26/3293.43 c #Conflicts: 1113000 | #Constraints: 140359
3284.26/3293.43 c #Conflicts: 1114000 | #Constraints: 141359
3284.26/3293.43 c #Conflicts: 1115000 | #Constraints: 142359
3284.26/3293.43 c #Conflicts: 1116000 | #Constraints: 143359
3284.26/3293.43 c #Conflicts: 1117000 | #Constraints: 144359
3284.26/3293.43 c #Conflicts: 1118000 | #Constraints: 145359
3284.26/3293.43 c #Conflicts: 1119000 | #Constraints: 146359
3284.26/3293.43 c #Conflicts: 1120000 | #Constraints: 147359
3284.26/3293.43 c #Conflicts: 1121000 | #Constraints: 148359
3284.26/3293.43 c #Conflicts: 1122000 | #Constraints: 149359
3284.26/3293.43 c #Conflicts: 1123000 | #Constraints: 150359
3284.26/3293.43 c #Conflicts: 1124000 | #Constraints: 151359
3284.26/3293.43 c #Conflicts: 1125000 | #Constraints: 152359
3284.26/3293.43 c INPROCESSING
3284.26/3293.43 c GARBAGE COLLECT
3284.26/3293.43 c #Conflicts: 1126000 | #Constraints: 132374
3284.26/3293.43 c #Conflicts: 1127000 | #Constraints: 133374
3284.26/3293.43 c #Conflicts: 1128000 | #Constraints: 134374
3284.26/3293.43 c #Conflicts: 1129000 | #Constraints: 135374
3284.26/3293.43 c #Conflicts: 1130000 | #Constraints: 136374
3284.26/3293.43 c #Conflicts: 1131000 | #Constraints: 137374
3284.26/3293.43 c #Conflicts: 1132000 | #Constraints: 138374
3284.26/3293.43 c #Conflicts: 1133000 | #Constraints: 139374
3284.26/3293.43 c #Conflicts: 1134000 | #Constraints: 140374
3284.26/3293.43 c #Conflicts: 1135000 | #Constraints: 141374
3284.26/3293.43 c #Conflicts: 1136000 | #Constraints: 142374
3284.26/3293.43 c #Conflicts: 1137000 | #Constraints: 143374
3284.26/3293.43 c #Conflicts: 1138000 | #Constraints: 144374
3284.26/3293.43 c #Conflicts: 1139000 | #Constraints: 145374
3284.26/3293.43 c #Conflicts: 1140000 | #Constraints: 146374
3284.26/3293.43 c #Conflicts: 1141000 | #Constraints: 147374
3284.26/3293.43 c #Conflicts: 1142000 | #Constraints: 148374
3284.26/3293.43 c #Conflicts: 1143000 | #Constraints: 149374
3284.26/3293.43 c #Conflicts: 1144000 | #Constraints: 150374
3284.26/3293.43 c #Conflicts: 1145000 | #Constraints: 151374
3284.26/3293.43 c #Conflicts: 1146000 | #Constraints: 152374
3284.26/3293.43 c INPROCESSING
3284.26/3293.43 c GARBAGE COLLECT
3284.26/3293.43 c #Conflicts: 1147000 | #Constraints: 132176
3284.26/3293.43 c #Conflicts: 1148000 | #Constraints: 133176
3284.26/3293.43 c #Conflicts: 1149000 | #Constraints: 134176
3284.26/3293.43 c #Conflicts: 1150000 | #Constraints: 135176
3284.26/3293.43 c #Conflicts: 1151000 | #Constraints: 136176
3284.26/3293.43 c #Conflicts: 1152000 | #Constraints: 137176
3284.26/3293.43 c #Conflicts: 1153000 | #Constraints: 138176
3284.26/3293.43 c #Conflicts: 1154000 | #Constraints: 139176
3284.26/3293.43 c #Conflicts: 1155000 | #Constraints: 140176
3284.26/3293.43 c #Conflicts: 1156000 | #Constraints: 141176
3284.26/3293.43 c #Conflicts: 1157000 | #Constraints: 142176
3284.26/3293.43 c #Conflicts: 1158000 | #Constraints: 143176
3284.26/3293.43 c #Conflicts: 1159000 | #Constraints: 144176
3284.26/3293.43 c #Conflicts: 1160000 | #Constraints: 145176
3284.26/3293.43 c #Conflicts: 1161000 | #Constraints: 146176
3284.26/3293.43 c #Conflicts: 1162000 | #Constraints: 147176
3284.26/3293.43 c #Conflicts: 1163000 | #Constraints: 148176
3284.26/3293.43 c #Conflicts: 1164000 | #Constraints: 149176
3284.26/3293.43 c #Conflicts: 1165000 | #Constraints: 150176
3284.26/3293.43 c #Conflicts: 1166000 | #Constraints: 151176
3284.26/3293.43 c #Conflicts: 1167000 | #Constraints: 152176
3284.26/3293.43 c #Conflicts: 1168000 | #Constraints: 153176
3284.26/3293.43 c INPROCESSING
3284.26/3293.43 c GARBAGE COLLECT
3284.26/3293.43 c #Conflicts: 1169000 | #Constraints: 132770
3284.26/3293.43 c #Conflicts: 1170000 | #Constraints: 133770
3284.26/3293.43 c #Conflicts: 1171000 | #Constraints: 134770
3284.26/3293.43 c #Conflicts: 1172000 | #Constraints: 135770
3284.26/3293.43 c #Conflicts: 1173000 | #Constraints: 136770
3284.26/3293.43 c #Conflicts: 1174000 | #Constraints: 137770
3284.26/3293.43 c #Conflicts: 1175000 | #Constraints: 138770
3284.26/3293.43 c #Conflicts: 1176000 | #Constraints: 139770
3284.26/3293.43 c #Conflicts: 1177000 | #Constraints: 140770
3284.26/3293.43 c #Conflicts: 1178000 | #Constraints: 141770
3284.26/3293.43 c #Conflicts: 1179000 | #Constraints: 142770
3284.26/3293.43 c #Conflicts: 1180000 | #Constraints: 143770
3284.26/3293.43 c #Conflicts: 1181000 | #Constraints: 144770
3284.26/3293.43 c #Conflicts: 1182000 | #Constraints: 145770
3284.26/3293.43 c #Conflicts: 1183000 | #Constraints: 146770
3600.10/3610.19 c #Conflicts: 1184000 | #Constraints: 147770
3600.10/3610.19 c #Conflicts: 1185000 | #Constraints: 148770
3600.10/3610.19 c #Conflicts: 1186000 | #Constraints: 149770
3600.10/3610.19 c #Conflicts: 1187000 | #Constraints: 150770
3600.10/3610.19 c #Conflicts: 1188000 | #Constraints: 151770
3600.10/3610.19 c #Conflicts: 1189000 | #Constraints: 152770
3600.10/3610.19 c #Conflicts: 1190000 | #Constraints: 153770
3600.10/3610.19 c INPROCESSING
3600.10/3610.19 c GARBAGE COLLECT
3600.10/3610.19 c #Conflicts: 1191000 | #Constraints: 133169
3600.10/3610.19 c #Conflicts: 1192000 | #Constraints: 134169
3600.10/3610.19 c #Conflicts: 1193000 | #Constraints: 135169
3600.10/3610.19 c #Conflicts: 1194000 | #Constraints: 136169
3600.10/3610.19 c #Conflicts: 1195000 | #Constraints: 137169
3600.10/3610.19 c #Conflicts: 1196000 | #Constraints: 138169
3600.10/3610.19 c #Conflicts: 1197000 | #Constraints: 139169
3600.10/3610.19 c #Conflicts: 1198000 | #Constraints: 140169
3600.10/3610.19 c #Conflicts: 1199000 | #Constraints: 141169
3600.10/3610.19 c #Conflicts: 1200000 | #Constraints: 142169
3600.10/3610.19 c #Conflicts: 1201000 | #Constraints: 143169
3600.10/3610.19 c #Conflicts: 1202000 | #Constraints: 144169
3600.10/3610.19 c #Conflicts: 1203000 | #Constraints: 145169
3600.10/3610.19 c #Conflicts: 1204000 | #Constraints: 146169
3600.10/3610.19 c #Conflicts: 1205000 | #Constraints: 147169
3600.10/3610.19 c #Conflicts: 1206000 | #Constraints: 148169
3600.10/3610.19 c #Conflicts: 1207000 | #Constraints: 149169
3600.10/3610.19 c #Conflicts: 1208000 | #Constraints: 150169
3600.10/3610.19 c #Conflicts: 1209000 | #Constraints: 151169
3600.10/3610.19 c #Conflicts: 1210000 | #Constraints: 152169
3600.10/3610.19 c #Conflicts: 1211000 | #Constraints: 153169
3600.10/3610.19 c #Conflicts: 1212000 | #Constraints: 154169
3600.10/3610.19 c INPROCESSING
3600.10/3610.19 c GARBAGE COLLECT
3600.10/3610.19 c #Conflicts: 1213000 | #Constraints: 133386
3600.10/3610.19 c #Conflicts: 1214000 | #Constraints: 134386
3600.10/3610.19 c #Conflicts: 1215000 | #Constraints: 135386
3600.10/3610.19 c #Conflicts: 1216000 | #Constraints: 136386
3600.10/3610.19 c #Conflicts: 1217000 | #Constraints: 137386
3600.10/3610.19 c #Conflicts: 1218000 | #Constraints: 138386
3600.10/3610.19 c #Conflicts: 1219000 | #Constraints: 139386
3600.10/3610.19 c #Conflicts: 1220000 | #Constraints: 140386
3600.10/3610.19 c #Conflicts: 1221000 | #Constraints: 141386
3600.10/3610.19 c #Conflicts: 1222000 | #Constraints: 142386
3600.10/3610.19 c #Conflicts: 1223000 | #Constraints: 143386
3600.10/3610.19 c #Conflicts: 1224000 | #Constraints: 144386
3600.10/3610.19 c #Conflicts: 1225000 | #Constraints: 145386
3600.10/3610.19 c #Conflicts: 1226000 | #Constraints: 146386
3600.10/3610.19 c #Conflicts: 1227000 | #Constraints: 147386
3600.10/3610.19 c #Conflicts: 1228000 | #Constraints: 148386
3600.10/3610.19 c #Conflicts: 1229000 | #Constraints: 149386
3600.10/3610.19 c #Conflicts: 1230000 | #Constraints: 150386
3600.10/3610.19 c #Conflicts: 1231000 | #Constraints: 151386
3600.10/3610.19 c #Conflicts: 1232000 | #Constraints: 152386
3600.10/3610.19 c #Conflicts: 1233000 | #Constraints: 153386
3600.10/3610.19 c #Conflicts: 1234000 | #Constraints: 154386
3600.10/3610.19 c INPROCESSING
3600.10/3610.19 c GARBAGE COLLECT
3600.10/3610.19 c #Conflicts: 1235000 | #Constraints: 133374
3600.10/3610.19 c #Conflicts: 1236000 | #Constraints: 134374
3600.10/3610.19 c #Conflicts: 1237000 | #Constraints: 135374
3600.10/3610.19 c #Conflicts: 1238000 | #Constraints: 136374
3600.10/3610.19 c #Conflicts: 1239000 | #Constraints: 137374
3600.10/3610.19 c #Conflicts: 1240000 | #Constraints: 138374
3600.10/3610.19 c #Conflicts: 1241000 | #Constraints: 139374
3600.10/3610.19 c #Conflicts: 1242000 | #Constraints: 140374
3600.10/3610.19 c #Conflicts: 1243000 | #Constraints: 141374
3600.10/3610.19 c #Conflicts: 1244000 | #Constraints: 142374
3600.10/3610.19 c #Conflicts: 1245000 | #Constraints: 143374
3600.10/3610.19 c #Conflicts: 1246000 | #Constraints: 144374
3600.10/3610.19 c #Conflicts: 1247000 | #Constraints: 145374
3600.10/3610.19 c #Conflicts: 1248000 | #Constraints: 146374
3600.10/3610.19 c #Conflicts: 1249000 | #Constraints: 147374
3600.10/3610.19 c #Conflicts: 1250000 | #Constraints: 148374
3600.10/3610.19 c #Conflicts: 1251000 | #Constraints: 149374
3600.10/3610.19 c #Conflicts: 1252000 | #Constraints: 150374
3600.10/3610.19 c #Conflicts: 1253000 | #Constraints: 151374
3600.10/3610.19 c #Conflicts: 1254000 | #Constraints: 152374
3600.10/3610.19 c #Conflicts: 1255000 | #Constraints: 153374
3600.10/3610.19 c #Conflicts: 1256000 | #Constraints: 154374
3600.10/3610.19 c INPROCESSING
3600.10/3610.19 c GARBAGE COLLECT
3600.10/3610.19 c Program interrupted by user.
3600.10/3610.19 c cpu time 3593.62 s
3600.10/3610.19 c deterministic time 747143016930 7.47e+11
3600.10/3610.19 c optimization time 0.063722 s
3600.10/3610.19 c total solve time 3294.14 s
3600.10/3610.19 c core-guided solve time 3294.14 s
3600.10/3610.19 c propagation time 3090.92 s
3600.10/3610.19 c conflict analysis time 155.035 s
3600.10/3610.19 c propagations 30649796
3600.10/3610.19 c resolve steps 9086891
3600.10/3610.19 c decisions 1533170
3600.10/3610.19 c conflicts 1256600
3600.10/3610.19 c restarts 2394
3600.10/3610.19 c inprocessing phases 103
3600.10/3610.19 c input clauses 110275
3600.10/3610.19 c input cardinalities 27
3600.10/3610.19 c input general constraints 0
3600.10/3610.19 c input average constraint length 2.35
3600.10/3610.19 c input average constraint degree 1.28
3600.10/3610.19 c learned clauses 787210
3600.10/3610.19 c learned cardinalities 316875
3600.10/3610.19 c learned general constraints 152515
3600.10/3610.19 c learned average constraint length 1342.23
3600.10/3610.19 c learned average constraint degree 19.72
3600.10/3610.19 c watched constraints 152515
3600.10/3610.19 c counting constraints 0
3600.10/3610.19 c gcd simplifications 58100
3600.10/3610.19 c detected cardinalities 7012
3600.10/3610.19 c weakened non-implied lits 24998376
3600.10/3610.19 c weakened non-implying lits 46190
3600.10/3610.19 c original variables 1400
3600.10/3610.19 c clausal propagations 21526481
3600.10/3610.19 c cardinality propagations 4878380
3600.10/3610.19 c watched propagations 916279
3600.10/3610.19 c counting propagations 0
3600.10/3610.19 c watch lookups 16068836160
3600.10/3610.19 c watch backjump lookups 4389428
3600.10/3610.19 c watch checks 726318651296
3600.10/3610.19 c propagation checks 1315814721
3600.10/3610.19 c constraint additions 3369702792
3600.10/3610.19 c trail pops 33439566
3600.10/3610.19 c formula constraints 110038
3600.10/3610.19 c learned constraints 1256600
3600.10/3610.19 c bound constraints 27
3600.10/3610.19 c core-guided constraints 237
3600.10/3610.19 c encountered formula constraints 6950294
3600.10/3610.19 c encountered learned constraints 3310300
3600.10/3610.19 c encountered bound constraints 1065
3600.10/3610.19 c encountered core-guided constraints 81832
3600.10/3610.19 c LP total time 0 s
3600.10/3610.19 c LP solve time 0 s
3600.10/3610.19 c LP constraints added 0
3600.10/3610.19 c LP constraints removed 0
3600.10/3610.19 c LP pivots internal 0
3600.10/3610.19 c LP pivots root 0
3600.10/3610.19 c LP calls 0
3600.10/3610.19 c LP optimalities 0
3600.10/3610.19 c LP no pivot count 0
3600.10/3610.19 c LP infeasibilities 0
3600.10/3610.19 c LP valid Farkas constraints 0
3600.10/3610.19 c LP learned Farkas constraints 0
3600.10/3610.19 c LP basis resets 0
3600.10/3610.19 c LP cycling count 0
3600.10/3610.19 c LP singular count 0
3600.10/3610.19 c LP no primal count 0
3600.10/3610.19 c LP no farkas count 0
3600.10/3610.19 c LP other issue count 0
3600.10/3610.19 c LP Gomory cuts 0
3600.10/3610.19 c LP learned cuts 0
3600.10/3610.19 c LP deleted cuts 0
3600.10/3610.19 c LP encountered Gomory constraints 0
3600.10/3610.19 c LP encountered Farkas constraints 0
3600.10/3610.19 c LP encountered learned Farkas constraints 0
3600.10/3610.19 c CG auxiliary variables introduced 237
3600.10/3610.19 c CG solutions found 0
3600.10/3610.19 c CG cores constructed 26
3600.10/3610.19 c CG core cardinality constraints returned 0
3600.10/3610.19 c CG unit cores 0
3600.10/3610.19 c CG single cores 26
3600.10/3610.19 c CG blocks removed during cardinality reduction 0
3600.10/3610.19 c CG first core best 0
3600.10/3610.19 c CG decision core best 0
3600.10/3610.19 c CG core reduction tie 0
3600.10/3610.19 c CG core degree average 1.00
3600.10/3610.19 c CG core slack average 7.27
3600.10/3610.19 c CG exhausted 0
3600.10/3610.19 c CG exhaust time 0 s
3600.10/3610.19 c CG trimmed 0
3600.10/3610.19 c CG trim time 0.000165 s
3600.10/3610.19 c CG minimized 0
3600.10/3610.19 c CG minimize time 0 s
3600.10/3610.19 c CG am1 prop time 0.007484 s
3600.10/3610.19 c CG # am1s reformulated 237
3600.10/3610.19 c CG lower bound derived from am1s 1161
3600.10/3610.19 c CG # clausal cores 26
3600.10/3610.19 c CG # cardinality cores 0
3600.10/3610.19 c CG # pb cores 0
3600.10/3610.19 c CG # pb reforms 0
3600.10/3610.19 c CG # cores discarded because of pb reform 0
3600.10/3610.19 d LOWERBOUND -213
3600.10/3610.19 d NCORES 26
3600.10/3610.19 d NPBCORES 0
3600.10/3610.19 d NPBREFORM 0
3600.10/3610.19 d NTRIMMED 0
3600.10/3610.19 d NEXHAUSTED 0
3600.10/3610.19 d NAM1S 237
3600.10/3610.19 d AM1LB 1161
3600.10/3610.19 c [Papilo Statistics]
3600.10/3610.19 c prepro time 0.26366s
3600.10/3610.19 c # tsx applied 0
3600.10/3610.19 c # tsx conflicts 0
3600.10/3610.19 c # bound changes 0
3600.10/3610.19 c # side changes 0
3600.10/3610.19 c # coef changes 0
3600.10/3610.19 c # rounds 1
3600.10/3610.19 c # deted vars 0
3600.10/3610.19 c # deted constrs 0
3600.10/3610.19 c # consecutive rounds of only bound changes 0
3600.10/3610.19 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62167 MiB free)
memory of node 1: 64465 MiB (63584 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528987-1752253809/watcher-4528987-1752253809 -o /tmp/evaluation-result-4528987-1752253809/solver-4528987-1752253809 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752253809-122695 --watchdog 3760 mixed-bag HOME/instance-4528987-1752253809.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=122749, runsolver pid=122741
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.04 1.30 2.10 5/264 122757
/proc/meminfo: memFree=128749900/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=89028 memory=16400 CPUtime=0.08 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 2174 0 0 0 8 0 0 0 20 0 1 0 141058376 91164672 4100 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 22257 4100 2176 2834 0 5009 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 89028 KiB
Current children cumulated memory: 16400 KiB
[startup+0.205019 s]*
/proc/loadavg: 1.04 1.30 2.10 5/262 122762
/proc/meminfo: memFree=128740512/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=104300 memory=32484 CPUtime=0.19 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 4120 0 0 0 18 1 0 0 20 0 1 0 141058376 106803200 8121 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 26075 8121 2208 2834 0 8827 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 104300 KiB
Current children cumulated memory: 32484 KiB
[startup+0.305691 s]*
/proc/loadavg: 1.04 1.30 2.10 6/262 122762
/proc/meminfo: memFree=128655848/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=143944 memory=64936 CPUtime=0.27 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 10719 0 0 0 25 2 0 0 20 0 1 0 141058376 147398656 16234 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 35986 16234 2336 2834 0 18191 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 143944 KiB
Current children cumulated memory: 64936 KiB
[startup+0.700185 s]
/proc/loadavg: 1.04 1.30 2.10 5/262 122762
/proc/meminfo: memFree=128643504/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=258112 memory=184160 CPUtime=0.66 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 40672 0 0 0 60 6 0 0 20 0 1 0 141058376 264306688 46040 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 64528 46040 4032 2834 0 46733 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 258112 KiB
Current children cumulated memory: 184160 KiB
[startup+1.50018 s]
/proc/loadavg: 1.04 1.30 2.10 5/262 122762
/proc/meminfo: memFree=128256172/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=325672 memory=249852 CPUtime=1.46 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 60595 0 0 0 136 10 0 0 20 0 1 0 141058376 333488128 62463 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 81418 62463 4096 2834 0 63623 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 325672 KiB
Current children cumulated memory: 249852 KiB
[startup+3.10562 s]
/proc/loadavg: 1.04 1.30 2.10 6/266 122799
/proc/meminfo: memFree=127514596/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=651488 memory=543496 CPUtime=3.06 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 93516 0 0 0 286 20 0 0 20 0 1 0 141058376 667123712 135874 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 162872 135874 4320 2834 0 145077 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 651488 KiB
Current children cumulated memory: 543496 KiB
[startup+6.30016 s]
/proc/loadavg: 1.28 1.34 2.11 5/266 122844
/proc/meminfo: memFree=126806772/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=685044 memory=568456 CPUtime=6.23 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 99773 0 0 0 601 22 0 0 20 0 1 0 141058376 701485056 142114 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 171261 142114 4320 2834 0 153466 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 685044 KiB
Current children cumulated memory: 568456 KiB
[startup+12.7001 s]
/proc/loadavg: 1.49 1.39 2.12 5/266 122844
/proc/meminfo: memFree=126588980/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=720980 memory=586236 CPUtime=12.62 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 102202 0 0 0 1239 23 0 0 20 0 1 0 141058376 738283520 146559 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 180245 146559 4320 2834 0 162450 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 720980 KiB
Current children cumulated memory: 586236 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 1.53 2.16 5/267 122846
/proc/meminfo: memFree=126573632/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=820048 memory=599160 CPUtime=25.38 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 104405 0 0 0 2515 23 0 0 20 0 1 0 141058376 839729152 149790 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 205012 149790 4320 2834 0 187217 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 820048 KiB
Current children cumulated memory: 599160 KiB
[startup+51.1059 s]
/proc/loadavg: 2.77 1.73 2.21 5/267 122846
/proc/meminfo: memFree=126050352/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=1040836 memory=732152 CPUtime=50.9 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 137664 0 0 0 5061 29 0 0 20 0 1 0 141058376 1065816064 183038 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 260209 183038 4320 2834 0 242414 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1040836 KiB
Current children cumulated memory: 732152 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 2.11 2.32 5/267 122848
/proc/meminfo: memFree=125996156/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=1097468 memory=758008 CPUtime=101.91 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 144194 0 0 0 10161 30 0 0 20 0 1 0 141058376 1123807232 189502 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 274367 189502 4320 2834 0 256572 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 1097468 KiB
Current children cumulated memory: 758008 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.47 2.43 5/266 122850
/proc/meminfo: memFree=125725816/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=1211008 memory=820856 CPUtime=161.68 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 159937 0 0 0 16136 32 0 0 20 0 1 0 141058376 1240072192 205214 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 302752 205214 4320 2834 0 284957 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 1211008 KiB
Current children cumulated memory: 820856 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.77 2.54 5/266 122852
/proc/meminfo: memFree=125477996/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=1284712 memory=826532 CPUtime=221.49 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 159999 0 0 0 22117 32 0 0 20 0 1 0 141058376 1315545088 206633 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 321178 206633 4320 2834 0 303383 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 1284712 KiB
Current children cumulated memory: 826532 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.03 2.64 5/266 122854
/proc/meminfo: memFree=125402232/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=1423220 memory=841308 CPUtime=281.31 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 160866 0 0 0 28099 32 0 0 20 0 1 0 141058376 1457377280 210327 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 355805 210327 4320 2834 0 338010 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 1423220 KiB
Current children cumulated memory: 841308 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.22 2.74 5/265 122856
/proc/meminfo: memFree=126008888/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=1039280 memory=669088 CPUtime=341.16 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 177937 0 0 0 34044 72 0 0 20 0 1 0 141058376 1064222720 167272 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 259820 167272 4480 2834 0 242025 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 1039280 KiB
Current children cumulated memory: 669088 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.38 2.82 5/264 122858
/proc/meminfo: memFree=125922452/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=1039280 memory=711072 CPUtime=401 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 177947 0 0 0 40000 100 0 0 20 0 1 0 141058376 1064222720 177768 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 259820 177768 4480 2834 0 242025 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 1039280 KiB
Current children cumulated memory: 711072 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.53 2.91 5/264 122867
/proc/meminfo: memFree=125843944/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=1089368 memory=756512 CPUtime=460.84 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 178483 0 0 0 45963 121 0 0 20 0 1 0 141058376 1115512832 189128 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 272342 189128 4480 2834 0 254547 0
Current children cumulated CPU time: 460.84 s
################
# More data... #
################
Current children cumulated memory: 924992 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.01 5/263 122981
/proc/meminfo: memFree=124906588/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=1303016 memory=924992 CPUtime=2914.17 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 180169 0 0 0 290847 570 0 0 20 0 1 0 141058376 1334288384 231248 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 325754 231248 4480 2834 0 307959 0
Current children cumulated CPU time: 2914.17 s
Current children cumulated vsize: 1303016 KiB
Current children cumulated memory: 924992 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.01 5/263 122983
/proc/meminfo: memFree=124921296/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=1303016 memory=927040 CPUtime=2974 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 180262 0 0 0 296821 579 0 0 20 0 1 0 141058376 1334288384 231760 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 325754 231760 4480 2834 0 307959 0
Current children cumulated CPU time: 2974 s
Current children cumulated vsize: 1303016 KiB
Current children cumulated memory: 927040 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/263 122985
/proc/meminfo: memFree=124921176/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=1303016 memory=931136 CPUtime=3033.83 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 180302 0 0 0 302797 586 0 0 20 0 1 0 141058376 1334288384 232784 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 325754 232784 4480 2834 0 307959 0
Current children cumulated CPU time: 3033.83 s
Current children cumulated vsize: 1303016 KiB
Current children cumulated memory: 931136 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.11 4.02 5/263 122998
/proc/meminfo: memFree=124911476/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=1303016 memory=931136 CPUtime=3093.67 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 180302 0 0 0 308772 595 0 0 20 0 1 0 141058376 1334288384 232784 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 325754 232784 4480 2834 0 307959 0
Current children cumulated CPU time: 3093.67 s
Current children cumulated vsize: 1303016 KiB
Current children cumulated memory: 931136 KiB
[startup+3162.3 s]
/proc/loadavg: 4.48 4.18 4.05 5/263 123000
/proc/meminfo: memFree=124903476/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=1303016 memory=931136 CPUtime=3153.51 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 180316 0 0 0 314747 604 0 0 20 0 1 0 141058376 1334288384 232784 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 325754 232784 4480 2834 0 307959 0
Current children cumulated CPU time: 3153.51 s
Current children cumulated vsize: 1303016 KiB
Current children cumulated memory: 931136 KiB
[startup+3222.3 s]
/proc/loadavg: 4.42 4.21 4.07 5/263 123002
/proc/meminfo: memFree=124895236/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=1303016 memory=931136 CPUtime=3213.35 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 180316 0 0 0 320723 612 0 0 20 0 1 0 141058376 1334288384 232784 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 325754 232784 4480 2834 0 307959 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 1303016 KiB
Current children cumulated memory: 931136 KiB
[startup+3282.3 s]
/proc/loadavg: 4.30 4.23 4.09 5/262 123004
/proc/meminfo: memFree=124882892/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=1303016 memory=931136 CPUtime=3273.19 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 180316 0 0 0 326699 620 0 0 20 0 1 0 141058376 1334288384 232784 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 325754 232784 4480 2834 0 307959 0
Current children cumulated CPU time: 3273.19 s
Current children cumulated vsize: 1303016 KiB
Current children cumulated memory: 931136 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.20 4.09 5/262 123006
/proc/meminfo: memFree=124878772/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=1303016 memory=931136 CPUtime=3333.03 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 180316 0 0 0 332676 627 0 0 20 0 1 0 141058376 1334288384 232784 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 325754 232784 4480 2834 0 307959 0
Current children cumulated CPU time: 3333.03 s
Current children cumulated vsize: 1303016 KiB
Current children cumulated memory: 931136 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.17 4.09 5/263 123009
/proc/meminfo: memFree=124878584/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=1303016 memory=931136 CPUtime=3392.87 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 180316 0 0 0 338652 635 0 0 20 0 1 0 141058376 1334288384 232784 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 325754 232784 4480 2834 0 307959 0
Current children cumulated CPU time: 3392.87 s
Current children cumulated vsize: 1303016 KiB
Current children cumulated memory: 931136 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.17 4.09 5/264 123017
/proc/meminfo: memFree=124878668/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=1303016 memory=931136 CPUtime=3452.71 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 180317 0 0 0 344630 641 0 0 20 0 1 0 141058376 1334288384 232784 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 325754 232784 4480 2834 0 307959 0
Current children cumulated CPU time: 3452.71 s
Current children cumulated vsize: 1303016 KiB
Current children cumulated memory: 931136 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.15 4.09 5/264 123019
/proc/meminfo: memFree=124870644/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=1303016 memory=937280 CPUtime=3512.54 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 180320 0 0 0 350606 648 0 0 20 0 1 0 141058376 1334288384 234320 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 325754 234320 4480 2834 0 307959 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 1303016 KiB
Current children cumulated memory: 937280 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/264 123021
/proc/meminfo: memFree=124866160/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=1303016 memory=937280 CPUtime=3572.38 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 180349 0 0 0 356583 655 0 0 20 0 1 0 141058376 1334288384 234320 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 325754 234320 4480 2834 0 307959 0
Current children cumulated CPU time: 3572.38 s
Current children cumulated vsize: 1303016 KiB
Current children cumulated memory: 937280 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.11 4.14 4.09 5/264 123023
/proc/meminfo: memFree=124857560/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=1303016 memory=939328 CPUtime=3600 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 180392 0 0 0 359342 658 0 0 20 0 1 0 141058376 1334288384 234832 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 325754 234832 4480 2834 0 307959 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1303016 KiB
Current children cumulated memory: 939328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 122749 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.62 s, system=6.5919 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.11 4.14 4.09 5/264 123023
/proc/meminfo: memFree=124857560/131249996 swapFree=33006296/33010684
[pid=122749] ppid=122741 vsize=1303016 memory=939328 CPUtime=3600.1 cores=4,6
/proc/122749/stat : 122749 (mixed-bag) R 122741 122749 122684 0 -1 4194304 180392 0 0 0 359352 658 0 0 20 0 1 0 141058376 1334288384 234832 18446744073709551615 4235264 15840557 140723556505008 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 38019072 140723556514202 140723556514279 140723556514279 140723556519883 0
/proc/122749/statm: 325754 234832 4480 2834 0 307959 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 1303016 KiB
Current children cumulated memory: 939328 KiB
Child status: 0
Real time (s): 3610.2
CPU time (s): 3600.21
CPU user time (s): 3593.62
CPU system time (s): 6.5919
CPU usage (%): 99.7233
Max. virtual memory (cumulated for all children) (KiB): 1547080
Max. memory (cumulated for all children) (KiB): 939328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.62
system time used= 6.5919
maximum resident set size= 939968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180439
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= 191
involuntary context switches= 2599
# summary of solver processes directly reported to runsolver:
# pid: 122749
# total CPU time (s): 3600.21
# total CPU user time (s): 3593.62
# total CPU system time (s): 6.5919
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.76654 second user time and 17.4854 second system time
The end
Begin job on nodeC015 at 2025-07-11 19:10:09
IDJOB=4528987
IDBENCH=146666
IDSOLVER=3386
FILE ID=nodeC015/4528987-1752253809
RUNJOBID= nodeC015-1752253809-122695
SLURM_JOB_ID= 9682590
Free space on /tmp= 432412 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528987-1752253809/watcher-4528987-1752253809 -o /tmp/evaluation-result-4528987-1752253809/solver-4528987-1752253809 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752253809-122695 --watchdog 3760 mixed-bag HOME/instance-4528987-1752253809.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 71e47456366b2ddac308424c74922847
RANDOM SEED=279690135
nodeC015 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 : 3596.020
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 : 7000.14
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.092
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.134
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.188
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 : 7000.14
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 : 3597.669
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 : 7000.14
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 : 3601.073
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.064
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 : 7000.14
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 : 3600.069
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128756556 kB
MemAvailable: 129680532 kB
Buffers: 1508 kB
Cached: 1703152 kB
SwapCached: 3880 kB
Active: 332432 kB
Inactive: 1453752 kB
Active(anon): 46952 kB
Inactive(anon): 48724 kB
Active(file): 285480 kB
Inactive(file): 1405028 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 66116 kB
Writeback: 0 kB
AnonPages: 81080 kB
Mapped: 102304 kB
Shmem: 14152 kB
KReclaimable: 145412 kB
Slab: 238552 kB
SReclaimable: 145412 kB
SUnreclaim: 93140 kB
KernelStack: 4096 kB
PageTables: 2756 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 344800 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432348 MiB
End job on nodeC015 at 2025-07-11 20:10:19