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.00/0.06 c [STEP] preprocessing with Papilo
0.00/0.09 c [STEP] solving with SCIP
299.21/300.18 c [STEP] preprocessing done, loading into solver
299.30/300.20 c [STEP] solving
299.30/300.20 c #variables 1807 #constraints 3443
299.30/300.20 c SMALL=int, LARGE=long long
299.30/300.20 d SCIPUB 61
299.30/300.20 c bounds - >= 0 @ 299.119
299.30/300.20 c stratification level: 0
326.14/327.13 c #Conflicts: 1000 | #Constraints: 4443
326.14/327.13 c #Conflicts: 2000 | #Constraints: 5443
326.14/327.13 c INPROCESSING
326.14/327.13 c GARBAGE COLLECT
326.14/327.13 c #Conflicts: 3000 | #Constraints: 5455
326.14/327.13 c #Conflicts: 4000 | #Constraints: 6455
326.14/327.13 c INPROCESSING
326.14/327.13 c GARBAGE COLLECT
326.14/327.13 c #Conflicts: 5000 | #Constraints: 5868
326.14/327.13 c #Conflicts: 6000 | #Constraints: 6868
326.14/327.13 c INPROCESSING
326.14/327.13 c GARBAGE COLLECT
326.14/327.13 c #Conflicts: 7000 | #Constraints: 5876
326.14/327.13 c #Conflicts: 8000 | #Constraints: 6876
326.14/327.13 c #Conflicts: 9000 | #Constraints: 7876
326.14/327.13 c INPROCESSING
326.14/327.13 c GARBAGE COLLECT
326.14/327.13 c #Conflicts: 10000 | #Constraints: 6585
326.14/327.13 c #Conflicts: 11000 | #Constraints: 7585
326.14/327.13 c #Conflicts: 12000 | #Constraints: 8585
326.14/327.13 c INPROCESSING
326.14/327.13 c GARBAGE COLLECT
326.14/327.13 c #Conflicts: 13000 | #Constraints: 7038
326.14/327.13 c #Conflicts: 14000 | #Constraints: 8038
326.14/327.13 c #Conflicts: 15000 | #Constraints: 9038
326.14/327.13 c INPROCESSING
326.14/327.13 c GARBAGE COLLECT
326.14/327.13 c #Conflicts: 16000 | #Constraints: 7267
326.14/327.13 c #Conflicts: 17000 | #Constraints: 8267
326.14/327.13 c #Conflicts: 18000 | #Constraints: 9267
326.14/327.13 c INPROCESSING
326.14/327.13 c GARBAGE COLLECT
326.14/327.13 c #Conflicts: 19000 | #Constraints: 7276
326.14/327.13 c #Conflicts: 20000 | #Constraints: 8276
326.14/327.13 c #Conflicts: 21000 | #Constraints: 9276
326.14/327.13 c INPROCESSING
326.14/327.13 c GARBAGE COLLECT
326.14/327.13 c #Conflicts: 22000 | #Constraints: 7082
326.14/327.13 c #Conflicts: 23000 | #Constraints: 8082
326.14/327.13 c #Conflicts: 24000 | #Constraints: 9082
326.14/327.13 c #Conflicts: 25000 | #Constraints: 10082
326.14/327.13 c INPROCESSING
326.14/327.13 c GARBAGE COLLECT
326.14/327.13 c #Conflicts: 26000 | #Constraints: 7688
326.14/327.13 c #Conflicts: 27000 | #Constraints: 8688
326.14/327.13 c #Conflicts: 28000 | #Constraints: 9688
326.14/327.13 c #Conflicts: 29000 | #Constraints: 10688
326.14/327.13 c INPROCESSING
326.14/327.13 c GARBAGE COLLECT
326.14/327.13 c #Conflicts: 30000 | #Constraints: 8091
326.14/327.13 c #Conflicts: 31000 | #Constraints: 9091
326.14/327.13 c #Conflicts: 32000 | #Constraints: 10091
326.14/327.13 c #Conflicts: 33000 | #Constraints: 11091
326.14/327.13 c INPROCESSING
326.14/327.13 c GARBAGE COLLECT
326.14/327.13 c #Conflicts: 34000 | #Constraints: 8296
326.14/327.13 c #Conflicts: 35000 | #Constraints: 9296
326.14/327.13 c #Conflicts: 36000 | #Constraints: 10296
326.14/327.13 c #Conflicts: 37000 | #Constraints: 11296
326.14/327.13 c INPROCESSING
326.14/327.13 c GARBAGE COLLECT
326.14/327.13 c #Conflicts: 38000 | #Constraints: 8293
326.14/327.13 c #Conflicts: 39000 | #Constraints: 9293
326.14/327.13 c #Conflicts: 40000 | #Constraints: 10293
326.14/327.13 c #Conflicts: 41000 | #Constraints: 11293
326.14/327.13 c INPROCESSING
326.14/327.13 c GARBAGE COLLECT
326.14/327.13 c #Conflicts: 42000 | #Constraints: 8099
326.14/327.13 c #Conflicts: 43000 | #Constraints: 9099
326.14/327.13 c #Conflicts: 44000 | #Constraints: 10099
326.14/327.13 c #Conflicts: 45000 | #Constraints: 11099
326.14/327.13 c #Conflicts: 46000 | #Constraints: 12099
326.14/327.13 c INPROCESSING
326.14/327.13 c GARBAGE COLLECT
326.14/327.13 c #Conflicts: 47000 | #Constraints: 8706
326.14/327.13 c #Conflicts: 48000 | #Constraints: 9706
326.14/327.13 c #Conflicts: 49000 | #Constraints: 10706
326.14/327.13 c #Conflicts: 50000 | #Constraints: 11706
326.14/327.13 c #Conflicts: 51000 | #Constraints: 12706
326.14/327.13 c INPROCESSING
326.14/327.13 c GARBAGE COLLECT
326.14/327.13 c #Conflicts: 52000 | #Constraints: 9105
326.14/327.13 c #Conflicts: 53000 | #Constraints: 10105
326.14/327.13 c #Conflicts: 54000 | #Constraints: 11105
326.14/327.13 c #Conflicts: 55000 | #Constraints: 12105
326.14/327.13 c #Conflicts: 56000 | #Constraints: 13105
326.14/327.13 c INPROCESSING
326.14/327.13 c GARBAGE COLLECT
326.14/327.13 c #Conflicts: 57000 | #Constraints: 9312
326.14/327.13 c #Conflicts: 58000 | #Constraints: 10312
326.14/327.13 c #Conflicts: 59000 | #Constraints: 11312
326.14/327.13 c #Conflicts: 60000 | #Constraints: 12312
326.14/327.13 c #Conflicts: 61000 | #Constraints: 13312
326.14/327.13 c INPROCESSING
326.14/327.13 c GARBAGE COLLECT
326.14/327.13 c #Conflicts: 62000 | #Constraints: 9306
326.14/327.13 c #Conflicts: 63000 | #Constraints: 10306
326.14/327.13 c #Conflicts: 64000 | #Constraints: 11306
326.14/327.13 c #Conflicts: 65000 | #Constraints: 12306
326.14/327.13 c #Conflicts: 66000 | #Constraints: 13306
326.14/327.13 c INPROCESSING
326.14/327.13 c GARBAGE COLLECT
326.14/327.13 c #Conflicts: 67000 | #Constraints: 9108
326.14/327.13 c #Conflicts: 68000 | #Constraints: 10108
372.32/373.45 c #Conflicts: 69000 | #Constraints: 11108
372.32/373.45 c #Conflicts: 70000 | #Constraints: 12108
372.32/373.45 c #Conflicts: 71000 | #Constraints: 13108
372.32/373.45 c #Conflicts: 72000 | #Constraints: 14108
372.32/373.45 c INPROCESSING
372.32/373.45 c GARBAGE COLLECT
372.32/373.45 c #Conflicts: 73000 | #Constraints: 9705
372.32/373.45 c #Conflicts: 74000 | #Constraints: 10705
372.32/373.45 c #Conflicts: 75000 | #Constraints: 11705
372.32/373.45 c #Conflicts: 76000 | #Constraints: 12705
372.32/373.45 c #Conflicts: 77000 | #Constraints: 13705
372.32/373.45 c #Conflicts: 78000 | #Constraints: 14705
372.32/373.45 c INPROCESSING
372.32/373.45 c GARBAGE COLLECT
372.32/373.45 c #Conflicts: 79000 | #Constraints: 10105
372.32/373.45 c #Conflicts: 80000 | #Constraints: 11105
372.32/373.45 c #Conflicts: 81000 | #Constraints: 12105
372.32/373.45 c #Conflicts: 82000 | #Constraints: 13105
372.32/373.45 c #Conflicts: 83000 | #Constraints: 14105
372.32/373.45 c #Conflicts: 84000 | #Constraints: 15105
372.32/373.45 c INPROCESSING
372.32/373.45 c GARBAGE COLLECT
372.32/373.45 c #Conflicts: 85000 | #Constraints: 10315
372.32/373.45 c #Conflicts: 86000 | #Constraints: 11315
372.32/373.45 c #Conflicts: 87000 | #Constraints: 12315
372.32/373.45 c #Conflicts: 88000 | #Constraints: 13315
372.32/373.45 c #Conflicts: 89000 | #Constraints: 14315
372.32/373.45 c #Conflicts: 90000 | #Constraints: 15315
372.32/373.45 c INPROCESSING
372.32/373.45 c GARBAGE COLLECT
372.32/373.45 c #Conflicts: 91000 | #Constraints: 10325
372.32/373.45 c #Conflicts: 92000 | #Constraints: 11325
372.32/373.45 c #Conflicts: 93000 | #Constraints: 12325
372.32/373.45 c #Conflicts: 94000 | #Constraints: 13325
372.32/373.45 c #Conflicts: 95000 | #Constraints: 14325
372.32/373.45 c #Conflicts: 96000 | #Constraints: 15325
372.32/373.45 c INPROCESSING
372.32/373.45 c GARBAGE COLLECT
372.32/373.45 c #Conflicts: 97000 | #Constraints: 10120
372.32/373.45 c #Conflicts: 98000 | #Constraints: 11120
372.32/373.45 c #Conflicts: 99000 | #Constraints: 12120
372.32/373.45 c #Conflicts: 100000 | #Constraints: 13120
372.32/373.45 c #Conflicts: 101000 | #Constraints: 14120
372.32/373.45 c #Conflicts: 102000 | #Constraints: 15120
372.32/373.45 c #Conflicts: 103000 | #Constraints: 16120
372.32/373.45 c INPROCESSING
372.32/373.45 c GARBAGE COLLECT
372.32/373.45 c #Conflicts: 104000 | #Constraints: 10723
372.32/373.45 c #Conflicts: 105000 | #Constraints: 11723
372.32/373.45 c #Conflicts: 106000 | #Constraints: 12723
372.32/373.45 c #Conflicts: 107000 | #Constraints: 13723
372.32/373.45 c #Conflicts: 108000 | #Constraints: 14723
372.32/373.45 c #Conflicts: 109000 | #Constraints: 15723
372.32/373.45 c #Conflicts: 110000 | #Constraints: 16723
372.32/373.45 c INPROCESSING
372.32/373.45 c GARBAGE COLLECT
372.32/373.45 c #Conflicts: 111000 | #Constraints: 11122
372.32/373.45 c #Conflicts: 112000 | #Constraints: 12122
372.32/373.45 c #Conflicts: 113000 | #Constraints: 13122
372.32/373.45 c #Conflicts: 114000 | #Constraints: 14122
372.32/373.45 c #Conflicts: 115000 | #Constraints: 15122
372.32/373.45 c #Conflicts: 116000 | #Constraints: 16122
372.32/373.45 c #Conflicts: 117000 | #Constraints: 17122
372.32/373.45 c INPROCESSING
372.32/373.45 c GARBAGE COLLECT
372.32/373.45 c #Conflicts: 118000 | #Constraints: 11323
372.32/373.45 c #Conflicts: 119000 | #Constraints: 12323
372.32/373.45 c #Conflicts: 120000 | #Constraints: 13323
372.32/373.45 c #Conflicts: 121000 | #Constraints: 14323
372.32/373.45 c #Conflicts: 122000 | #Constraints: 15323
372.32/373.45 c #Conflicts: 123000 | #Constraints: 16323
372.32/373.45 c #Conflicts: 124000 | #Constraints: 17323
372.32/373.45 c INPROCESSING
372.32/373.45 c GARBAGE COLLECT
372.32/373.45 c #Conflicts: 125000 | #Constraints: 11323
372.32/373.45 c #Conflicts: 126000 | #Constraints: 12323
372.32/373.45 c #Conflicts: 127000 | #Constraints: 13323
372.32/373.45 c #Conflicts: 128000 | #Constraints: 14323
372.32/373.45 c #Conflicts: 129000 | #Constraints: 15323
372.32/373.45 c #Conflicts: 130000 | #Constraints: 16323
372.32/373.45 c #Conflicts: 131000 | #Constraints: 17323
372.32/373.45 c INPROCESSING
372.32/373.45 c GARBAGE COLLECT
372.32/373.45 c #Conflicts: 132000 | #Constraints: 11123
372.32/373.45 c #Conflicts: 133000 | #Constraints: 12123
372.32/373.45 c #Conflicts: 134000 | #Constraints: 13123
372.32/373.45 c #Conflicts: 135000 | #Constraints: 14123
372.32/373.45 c #Conflicts: 136000 | #Constraints: 15123
372.32/373.45 c #Conflicts: 137000 | #Constraints: 16123
372.32/373.45 c #Conflicts: 138000 | #Constraints: 17123
372.32/373.45 c #Conflicts: 139000 | #Constraints: 18123
372.32/373.45 c INPROCESSING
372.32/373.45 c GARBAGE COLLECT
372.32/373.45 c #Conflicts: 140000 | #Constraints: 11727
432.97/434.20 c #Conflicts: 141000 | #Constraints: 12727
432.97/434.20 c #Conflicts: 142000 | #Constraints: 13727
432.97/434.20 c #Conflicts: 143000 | #Constraints: 14727
432.97/434.20 c #Conflicts: 144000 | #Constraints: 15727
432.97/434.20 c #Conflicts: 145000 | #Constraints: 16727
432.97/434.20 c #Conflicts: 146000 | #Constraints: 17727
432.97/434.20 c #Conflicts: 147000 | #Constraints: 18727
432.97/434.20 c INPROCESSING
432.97/434.20 c GARBAGE COLLECT
432.97/434.20 c #Conflicts: 148000 | #Constraints: 12137
432.97/434.20 c #Conflicts: 149000 | #Constraints: 13137
432.97/434.20 c #Conflicts: 150000 | #Constraints: 14137
432.97/434.20 c #Conflicts: 151000 | #Constraints: 15137
432.97/434.20 c #Conflicts: 152000 | #Constraints: 16137
432.97/434.20 c #Conflicts: 153000 | #Constraints: 17137
432.97/434.20 c #Conflicts: 154000 | #Constraints: 18137
432.97/434.20 c #Conflicts: 155000 | #Constraints: 19137
432.97/434.20 c INPROCESSING
432.97/434.20 c GARBAGE COLLECT
432.97/434.20 c #Conflicts: 156000 | #Constraints: 12334
432.97/434.20 c #Conflicts: 157000 | #Constraints: 13334
432.97/434.20 c #Conflicts: 158000 | #Constraints: 14334
432.97/434.20 c #Conflicts: 159000 | #Constraints: 15334
432.97/434.20 c #Conflicts: 160000 | #Constraints: 16334
432.97/434.20 c #Conflicts: 161000 | #Constraints: 17334
432.97/434.20 c #Conflicts: 162000 | #Constraints: 18334
432.97/434.20 c #Conflicts: 163000 | #Constraints: 19334
432.97/434.20 c INPROCESSING
432.97/434.20 c GARBAGE COLLECT
432.97/434.20 c #Conflicts: 164000 | #Constraints: 12326
432.97/434.20 c #Conflicts: 165000 | #Constraints: 13326
432.97/434.20 c #Conflicts: 166000 | #Constraints: 14326
432.97/434.20 c #Conflicts: 167000 | #Constraints: 15326
432.97/434.20 c #Conflicts: 168000 | #Constraints: 16326
432.97/434.20 c #Conflicts: 169000 | #Constraints: 17326
432.97/434.20 c #Conflicts: 170000 | #Constraints: 18326
432.97/434.20 c #Conflicts: 171000 | #Constraints: 19326
432.97/434.20 c INPROCESSING
432.97/434.20 c GARBAGE COLLECT
432.97/434.20 c #Conflicts: 172000 | #Constraints: 12133
432.97/434.20 c #Conflicts: 173000 | #Constraints: 13133
432.97/434.20 c #Conflicts: 174000 | #Constraints: 14133
432.97/434.20 c #Conflicts: 175000 | #Constraints: 15133
432.97/434.20 c #Conflicts: 176000 | #Constraints: 16133
432.97/434.20 c #Conflicts: 177000 | #Constraints: 17133
432.97/434.20 c #Conflicts: 178000 | #Constraints: 18133
432.97/434.20 c #Conflicts: 179000 | #Constraints: 19133
432.97/434.20 c #Conflicts: 180000 | #Constraints: 20133
432.97/434.20 c INPROCESSING
432.97/434.20 c GARBAGE COLLECT
432.97/434.20 c #Conflicts: 181000 | #Constraints: 12736
432.97/434.20 c #Conflicts: 182000 | #Constraints: 13736
432.97/434.20 c #Conflicts: 183000 | #Constraints: 14736
432.97/434.20 c #Conflicts: 184000 | #Constraints: 15736
432.97/434.20 c #Conflicts: 185000 | #Constraints: 16736
432.97/434.20 c #Conflicts: 186000 | #Constraints: 17736
432.97/434.20 c #Conflicts: 187000 | #Constraints: 18736
432.97/434.20 c #Conflicts: 188000 | #Constraints: 19736
432.97/434.20 c #Conflicts: 189000 | #Constraints: 20736
432.97/434.20 c INPROCESSING
432.97/434.20 c GARBAGE COLLECT
432.97/434.20 c #Conflicts: 190000 | #Constraints: 13123
432.97/434.20 c #Conflicts: 191000 | #Constraints: 14123
432.97/434.20 c #Conflicts: 192000 | #Constraints: 15123
432.97/434.20 c #Conflicts: 193000 | #Constraints: 16123
432.97/434.20 c #Conflicts: 194000 | #Constraints: 17123
432.97/434.20 c #Conflicts: 195000 | #Constraints: 18123
432.97/434.20 c #Conflicts: 196000 | #Constraints: 19123
432.97/434.20 c #Conflicts: 197000 | #Constraints: 20123
432.97/434.20 c #Conflicts: 198000 | #Constraints: 21123
432.97/434.20 c INPROCESSING
432.97/434.20 c GARBAGE COLLECT
432.97/434.20 c #Conflicts: 199000 | #Constraints: 13323
432.97/434.20 c #Conflicts: 200000 | #Constraints: 14323
432.97/434.20 c #Conflicts: 201000 | #Constraints: 15323
432.97/434.20 c #Conflicts: 202000 | #Constraints: 16323
432.97/434.20 c #Conflicts: 203000 | #Constraints: 17323
432.97/434.20 c #Conflicts: 204000 | #Constraints: 18323
432.97/434.20 c #Conflicts: 205000 | #Constraints: 19323
432.97/434.20 c #Conflicts: 206000 | #Constraints: 20323
432.97/434.20 c #Conflicts: 207000 | #Constraints: 21323
432.97/434.20 c INPROCESSING
432.97/434.20 c GARBAGE COLLECT
432.97/434.20 c #Conflicts: 208000 | #Constraints: 13325
432.97/434.20 c #Conflicts: 209000 | #Constraints: 14325
432.97/434.20 c #Conflicts: 210000 | #Constraints: 15325
432.97/434.20 c #Conflicts: 211000 | #Constraints: 16325
432.97/434.20 c #Conflicts: 212000 | #Constraints: 17325
432.97/434.20 c #Conflicts: 213000 | #Constraints: 18325
507.07/508.53 c #Conflicts: 214000 | #Constraints: 19325
507.07/508.53 c #Conflicts: 215000 | #Constraints: 20325
507.07/508.53 c #Conflicts: 216000 | #Constraints: 21325
507.07/508.53 c INPROCESSING
507.07/508.53 c GARBAGE COLLECT
507.07/508.53 c #Conflicts: 217000 | #Constraints: 13125
507.07/508.53 c #Conflicts: 218000 | #Constraints: 14125
507.07/508.53 c #Conflicts: 219000 | #Constraints: 15125
507.07/508.53 c #Conflicts: 220000 | #Constraints: 16125
507.07/508.53 c #Conflicts: 221000 | #Constraints: 17125
507.07/508.53 c #Conflicts: 222000 | #Constraints: 18125
507.07/508.53 c #Conflicts: 223000 | #Constraints: 19125
507.07/508.53 c #Conflicts: 224000 | #Constraints: 20125
507.07/508.53 c #Conflicts: 225000 | #Constraints: 21125
507.07/508.53 c #Conflicts: 226000 | #Constraints: 22125
507.07/508.53 c INPROCESSING
507.07/508.53 c GARBAGE COLLECT
507.07/508.53 c #Conflicts: 227000 | #Constraints: 13729
507.07/508.53 c #Conflicts: 228000 | #Constraints: 14729
507.07/508.53 c #Conflicts: 229000 | #Constraints: 15729
507.07/508.53 c #Conflicts: 230000 | #Constraints: 16729
507.07/508.53 c #Conflicts: 231000 | #Constraints: 17729
507.07/508.53 c #Conflicts: 232000 | #Constraints: 18729
507.07/508.53 c #Conflicts: 233000 | #Constraints: 19729
507.07/508.53 c #Conflicts: 234000 | #Constraints: 20729
507.07/508.53 c #Conflicts: 235000 | #Constraints: 21729
507.07/508.53 c #Conflicts: 236000 | #Constraints: 22729
507.07/508.53 c INPROCESSING
507.07/508.53 c GARBAGE COLLECT
507.07/508.53 c #Conflicts: 237000 | #Constraints: 14126
507.07/508.53 c #Conflicts: 238000 | #Constraints: 15126
507.07/508.53 c #Conflicts: 239000 | #Constraints: 16126
507.07/508.53 c #Conflicts: 240000 | #Constraints: 17126
507.07/508.53 c #Conflicts: 241000 | #Constraints: 18126
507.07/508.53 c #Conflicts: 242000 | #Constraints: 19126
507.07/508.53 c #Conflicts: 243000 | #Constraints: 20126
507.07/508.53 c #Conflicts: 244000 | #Constraints: 21126
507.07/508.53 c #Conflicts: 245000 | #Constraints: 22126
507.07/508.53 c #Conflicts: 246000 | #Constraints: 23126
507.07/508.53 c INPROCESSING
507.07/508.53 c GARBAGE COLLECT
507.07/508.53 c #Conflicts: 247000 | #Constraints: 14335
507.07/508.53 c #Conflicts: 248000 | #Constraints: 15335
507.07/508.53 c #Conflicts: 249000 | #Constraints: 16335
507.07/508.53 c #Conflicts: 250000 | #Constraints: 17335
507.07/508.53 c #Conflicts: 251000 | #Constraints: 18335
507.07/508.53 c #Conflicts: 252000 | #Constraints: 19335
507.07/508.53 c #Conflicts: 253000 | #Constraints: 20335
507.07/508.53 c #Conflicts: 254000 | #Constraints: 21335
507.07/508.53 c #Conflicts: 255000 | #Constraints: 22335
507.07/508.53 c #Conflicts: 256000 | #Constraints: 23335
507.07/508.53 c INPROCESSING
507.07/508.53 c GARBAGE COLLECT
507.07/508.53 c #Conflicts: 257000 | #Constraints: 14337
507.07/508.53 c #Conflicts: 258000 | #Constraints: 15337
507.07/508.53 c #Conflicts: 259000 | #Constraints: 16337
507.07/508.53 c #Conflicts: 260000 | #Constraints: 17337
507.07/508.53 c #Conflicts: 261000 | #Constraints: 18337
507.07/508.53 c #Conflicts: 262000 | #Constraints: 19337
507.07/508.53 c #Conflicts: 263000 | #Constraints: 20337
507.07/508.53 c #Conflicts: 264000 | #Constraints: 21337
507.07/508.53 c #Conflicts: 265000 | #Constraints: 22337
507.07/508.53 c #Conflicts: 266000 | #Constraints: 23337
507.07/508.53 c INPROCESSING
507.07/508.53 c GARBAGE COLLECT
507.07/508.53 c #Conflicts: 267000 | #Constraints: 14133
507.07/508.53 c #Conflicts: 268000 | #Constraints: 15133
507.07/508.53 c #Conflicts: 269000 | #Constraints: 16133
507.07/508.53 c #Conflicts: 270000 | #Constraints: 17133
507.07/508.53 c #Conflicts: 271000 | #Constraints: 18133
507.07/508.53 c #Conflicts: 272000 | #Constraints: 19133
507.07/508.53 c #Conflicts: 273000 | #Constraints: 20133
507.07/508.53 c #Conflicts: 274000 | #Constraints: 21133
507.07/508.53 c #Conflicts: 275000 | #Constraints: 22133
507.07/508.53 c #Conflicts: 276000 | #Constraints: 23133
507.07/508.53 c #Conflicts: 277000 | #Constraints: 24133
507.07/508.53 c INPROCESSING
507.07/508.53 c GARBAGE COLLECT
507.07/508.53 c #Conflicts: 278000 | #Constraints: 14729
507.07/508.53 c #Conflicts: 279000 | #Constraints: 15729
507.07/508.53 c #Conflicts: 280000 | #Constraints: 16729
507.07/508.53 c #Conflicts: 281000 | #Constraints: 17729
507.07/508.53 c #Conflicts: 282000 | #Constraints: 18729
507.07/508.53 c #Conflicts: 283000 | #Constraints: 19729
507.07/508.53 c #Conflicts: 284000 | #Constraints: 20729
507.07/508.53 c #Conflicts: 285000 | #Constraints: 21729
507.07/508.53 c #Conflicts: 286000 | #Constraints: 22729
507.07/508.53 c #Conflicts: 287000 | #Constraints: 23729
507.07/508.53 c #Conflicts: 288000 | #Constraints: 24729
592.64/594.39 c INPROCESSING
592.64/594.39 c GARBAGE COLLECT
592.64/594.39 c #Conflicts: 289000 | #Constraints: 15134
592.64/594.39 c #Conflicts: 290000 | #Constraints: 16134
592.64/594.39 c #Conflicts: 291000 | #Constraints: 17134
592.64/594.39 c #Conflicts: 292000 | #Constraints: 18134
592.64/594.39 c #Conflicts: 293000 | #Constraints: 19134
592.64/594.39 c #Conflicts: 294000 | #Constraints: 20134
592.64/594.39 c #Conflicts: 295000 | #Constraints: 21134
592.64/594.39 c #Conflicts: 296000 | #Constraints: 22134
592.64/594.39 c #Conflicts: 297000 | #Constraints: 23134
592.64/594.39 c #Conflicts: 298000 | #Constraints: 24134
592.64/594.39 c #Conflicts: 299000 | #Constraints: 25134
592.64/594.39 c INPROCESSING
592.64/594.39 c GARBAGE COLLECT
592.64/594.39 c #Conflicts: 300000 | #Constraints: 15332
592.64/594.39 c #Conflicts: 301000 | #Constraints: 16332
592.64/594.39 c #Conflicts: 302000 | #Constraints: 17332
592.64/594.39 c #Conflicts: 303000 | #Constraints: 18332
592.64/594.39 c #Conflicts: 304000 | #Constraints: 19332
592.64/594.39 c #Conflicts: 305000 | #Constraints: 20332
592.64/594.39 c #Conflicts: 306000 | #Constraints: 21332
592.64/594.39 c #Conflicts: 307000 | #Constraints: 22332
592.64/594.39 c #Conflicts: 308000 | #Constraints: 23332
592.64/594.39 c #Conflicts: 309000 | #Constraints: 24332
592.64/594.39 c #Conflicts: 310000 | #Constraints: 25332
592.64/594.39 c INPROCESSING
592.64/594.39 c GARBAGE COLLECT
592.64/594.39 c #Conflicts: 311000 | #Constraints: 15350
592.64/594.39 c #Conflicts: 312000 | #Constraints: 16350
592.64/594.39 c #Conflicts: 313000 | #Constraints: 17350
592.64/594.39 c #Conflicts: 314000 | #Constraints: 18350
592.64/594.39 c #Conflicts: 315000 | #Constraints: 19350
592.64/594.39 c #Conflicts: 316000 | #Constraints: 20350
592.64/594.39 c #Conflicts: 317000 | #Constraints: 21350
592.64/594.39 c #Conflicts: 318000 | #Constraints: 22350
592.64/594.39 c #Conflicts: 319000 | #Constraints: 23350
592.64/594.39 c #Conflicts: 320000 | #Constraints: 24350
592.64/594.39 c #Conflicts: 321000 | #Constraints: 25350
592.64/594.39 c INPROCESSING
592.64/594.39 c GARBAGE COLLECT
592.64/594.39 c #Conflicts: 322000 | #Constraints: 15133
592.64/594.39 c #Conflicts: 323000 | #Constraints: 16133
592.64/594.39 c #Conflicts: 324000 | #Constraints: 17133
592.64/594.39 c #Conflicts: 325000 | #Constraints: 18133
592.64/594.39 c #Conflicts: 326000 | #Constraints: 19133
592.64/594.39 c #Conflicts: 327000 | #Constraints: 20133
592.64/594.39 c #Conflicts: 328000 | #Constraints: 21133
592.64/594.39 c #Conflicts: 329000 | #Constraints: 22133
592.64/594.39 c #Conflicts: 330000 | #Constraints: 23133
592.64/594.39 c #Conflicts: 331000 | #Constraints: 24133
592.64/594.39 c #Conflicts: 332000 | #Constraints: 25133
592.64/594.39 c #Conflicts: 333000 | #Constraints: 26133
592.64/594.39 c INPROCESSING
592.64/594.39 c GARBAGE COLLECT
592.64/594.39 c #Conflicts: 334000 | #Constraints: 15727
592.64/594.39 c #Conflicts: 335000 | #Constraints: 16727
592.64/594.39 c #Conflicts: 336000 | #Constraints: 17727
592.64/594.39 c #Conflicts: 337000 | #Constraints: 18727
592.64/594.39 c #Conflicts: 338000 | #Constraints: 19727
592.64/594.39 c #Conflicts: 339000 | #Constraints: 20727
592.64/594.39 c #Conflicts: 340000 | #Constraints: 21727
592.64/594.39 c #Conflicts: 341000 | #Constraints: 22727
592.64/594.39 c #Conflicts: 342000 | #Constraints: 23727
592.64/594.39 c #Conflicts: 343000 | #Constraints: 24727
592.64/594.39 c #Conflicts: 344000 | #Constraints: 25727
592.64/594.39 c #Conflicts: 345000 | #Constraints: 26727
592.64/594.39 c INPROCESSING
592.64/594.39 c GARBAGE COLLECT
592.64/594.39 c #Conflicts: 346000 | #Constraints: 16128
592.64/594.39 c #Conflicts: 347000 | #Constraints: 17128
592.64/594.39 c #Conflicts: 348000 | #Constraints: 18128
592.64/594.39 c #Conflicts: 349000 | #Constraints: 19128
592.64/594.39 c #Conflicts: 350000 | #Constraints: 20128
592.64/594.39 c #Conflicts: 351000 | #Constraints: 21128
592.64/594.39 c #Conflicts: 352000 | #Constraints: 22128
592.64/594.39 c #Conflicts: 353000 | #Constraints: 23128
592.64/594.39 c #Conflicts: 354000 | #Constraints: 24128
592.64/594.39 c #Conflicts: 355000 | #Constraints: 25128
592.64/594.39 c #Conflicts: 356000 | #Constraints: 26128
592.64/594.39 c #Conflicts: 357000 | #Constraints: 27128
592.64/594.39 c INPROCESSING
592.64/594.39 c GARBAGE COLLECT
592.64/594.39 c #Conflicts: 358000 | #Constraints: 16335
592.64/594.39 c #Conflicts: 359000 | #Constraints: 17335
592.64/594.39 c #Conflicts: 360000 | #Constraints: 18335
592.64/594.39 c #Conflicts: 361000 | #Constraints: 19335
592.64/594.39 c #Conflicts: 362000 | #Constraints: 20335
691.98/693.97 c #Conflicts: 363000 | #Constraints: 21335
691.98/693.97 c #Conflicts: 364000 | #Constraints: 22335
691.98/693.97 c #Conflicts: 365000 | #Constraints: 23335
691.98/693.97 c #Conflicts: 366000 | #Constraints: 24335
691.98/693.97 c #Conflicts: 367000 | #Constraints: 25335
691.98/693.97 c #Conflicts: 368000 | #Constraints: 26335
691.98/693.97 c #Conflicts: 369000 | #Constraints: 27335
691.98/693.97 c INPROCESSING
691.98/693.97 c GARBAGE COLLECT
691.98/693.97 c #Conflicts: 370000 | #Constraints: 16332
691.98/693.97 c #Conflicts: 371000 | #Constraints: 17332
691.98/693.97 c #Conflicts: 372000 | #Constraints: 18332
691.98/693.97 c #Conflicts: 373000 | #Constraints: 19332
691.98/693.97 c #Conflicts: 374000 | #Constraints: 20332
691.98/693.97 c #Conflicts: 375000 | #Constraints: 21332
691.98/693.97 c #Conflicts: 376000 | #Constraints: 22332
691.98/693.97 c #Conflicts: 377000 | #Constraints: 23332
691.98/693.97 c #Conflicts: 378000 | #Constraints: 24332
691.98/693.97 c #Conflicts: 379000 | #Constraints: 25332
691.98/693.97 c #Conflicts: 380000 | #Constraints: 26332
691.98/693.97 c #Conflicts: 381000 | #Constraints: 27332
691.98/693.97 c INPROCESSING
691.98/693.97 c GARBAGE COLLECT
691.98/693.97 c #Conflicts: 382000 | #Constraints: 16132
691.98/693.97 c #Conflicts: 383000 | #Constraints: 17132
691.98/693.97 c #Conflicts: 384000 | #Constraints: 18132
691.98/693.97 c #Conflicts: 385000 | #Constraints: 19132
691.98/693.97 c #Conflicts: 386000 | #Constraints: 20132
691.98/693.97 c #Conflicts: 387000 | #Constraints: 21132
691.98/693.97 c #Conflicts: 388000 | #Constraints: 22132
691.98/693.97 c #Conflicts: 389000 | #Constraints: 23132
691.98/693.97 c #Conflicts: 390000 | #Constraints: 24132
691.98/693.97 c #Conflicts: 391000 | #Constraints: 25132
691.98/693.97 c #Conflicts: 392000 | #Constraints: 26132
691.98/693.97 c #Conflicts: 393000 | #Constraints: 27132
691.98/693.97 c #Conflicts: 394000 | #Constraints: 28132
691.98/693.97 c INPROCESSING
691.98/693.97 c GARBAGE COLLECT
691.98/693.97 c #Conflicts: 395000 | #Constraints: 16721
691.98/693.97 c #Conflicts: 396000 | #Constraints: 17721
691.98/693.97 c #Conflicts: 397000 | #Constraints: 18721
691.98/693.97 c #Conflicts: 398000 | #Constraints: 19721
691.98/693.97 c #Conflicts: 399000 | #Constraints: 20721
691.98/693.97 c #Conflicts: 400000 | #Constraints: 21721
691.98/693.97 c #Conflicts: 401000 | #Constraints: 22721
691.98/693.97 c #Conflicts: 402000 | #Constraints: 23721
691.98/693.97 c #Conflicts: 403000 | #Constraints: 24721
691.98/693.97 c #Conflicts: 404000 | #Constraints: 25721
691.98/693.97 c #Conflicts: 405000 | #Constraints: 26721
691.98/693.97 c #Conflicts: 406000 | #Constraints: 27721
691.98/693.97 c #Conflicts: 407000 | #Constraints: 28721
691.98/693.97 c INPROCESSING
691.98/693.97 c GARBAGE COLLECT
691.98/693.97 c #Conflicts: 408000 | #Constraints: 17124
691.98/693.97 c #Conflicts: 409000 | #Constraints: 18124
691.98/693.97 c #Conflicts: 410000 | #Constraints: 19124
691.98/693.97 c #Conflicts: 411000 | #Constraints: 20124
691.98/693.97 c #Conflicts: 412000 | #Constraints: 21124
691.98/693.97 c #Conflicts: 413000 | #Constraints: 22124
691.98/693.97 c #Conflicts: 414000 | #Constraints: 23124
691.98/693.97 c #Conflicts: 415000 | #Constraints: 24124
691.98/693.97 c #Conflicts: 416000 | #Constraints: 25124
691.98/693.97 c #Conflicts: 417000 | #Constraints: 26124
691.98/693.97 c #Conflicts: 418000 | #Constraints: 27124
691.98/693.97 c #Conflicts: 419000 | #Constraints: 28124
691.98/693.97 c #Conflicts: 420000 | #Constraints: 29124
691.98/693.97 c INPROCESSING
691.98/693.97 c GARBAGE COLLECT
691.98/693.97 c #Conflicts: 421000 | #Constraints: 17336
691.98/693.97 c #Conflicts: 422000 | #Constraints: 18336
691.98/693.97 c #Conflicts: 423000 | #Constraints: 19336
691.98/693.97 c #Conflicts: 424000 | #Constraints: 20336
691.98/693.97 c #Conflicts: 425000 | #Constraints: 21336
691.98/693.97 c #Conflicts: 426000 | #Constraints: 22336
691.98/693.97 c #Conflicts: 427000 | #Constraints: 23336
691.98/693.97 c #Conflicts: 428000 | #Constraints: 24336
691.98/693.97 c #Conflicts: 429000 | #Constraints: 25336
691.98/693.97 c #Conflicts: 430000 | #Constraints: 26336
691.98/693.97 c #Conflicts: 431000 | #Constraints: 27336
691.98/693.97 c #Conflicts: 432000 | #Constraints: 28336
691.98/693.97 c #Conflicts: 433000 | #Constraints: 29336
691.98/693.97 c INPROCESSING
691.98/693.97 c GARBAGE COLLECT
691.98/693.97 c #Conflicts: 434000 | #Constraints: 17325
691.98/693.97 c #Conflicts: 435000 | #Constraints: 18325
691.98/693.97 c #Conflicts: 436000 | #Constraints: 19325
691.98/693.97 c #Conflicts: 437000 | #Constraints: 20325
799.01/801.20 c #Conflicts: 438000 | #Constraints: 21325
799.01/801.20 c #Conflicts: 439000 | #Constraints: 22325
799.01/801.20 c #Conflicts: 440000 | #Constraints: 23325
799.01/801.20 c #Conflicts: 441000 | #Constraints: 24325
799.01/801.20 c #Conflicts: 442000 | #Constraints: 25325
799.01/801.20 c #Conflicts: 443000 | #Constraints: 26325
799.01/801.20 c #Conflicts: 444000 | #Constraints: 27325
799.01/801.20 c #Conflicts: 445000 | #Constraints: 28325
799.01/801.20 c #Conflicts: 446000 | #Constraints: 29325
799.01/801.20 c INPROCESSING
799.01/801.20 c GARBAGE COLLECT
799.01/801.20 c #Conflicts: 447000 | #Constraints: 17131
799.01/801.20 c #Conflicts: 448000 | #Constraints: 18131
799.01/801.20 c #Conflicts: 449000 | #Constraints: 19131
799.01/801.20 c #Conflicts: 450000 | #Constraints: 20131
799.01/801.20 c #Conflicts: 451000 | #Constraints: 21131
799.01/801.20 c #Conflicts: 452000 | #Constraints: 22131
799.01/801.20 c #Conflicts: 453000 | #Constraints: 23131
799.01/801.20 c #Conflicts: 454000 | #Constraints: 24131
799.01/801.20 c #Conflicts: 455000 | #Constraints: 25131
799.01/801.20 c #Conflicts: 456000 | #Constraints: 26131
799.01/801.20 c #Conflicts: 457000 | #Constraints: 27131
799.01/801.20 c #Conflicts: 458000 | #Constraints: 28131
799.01/801.20 c #Conflicts: 459000 | #Constraints: 29131
799.01/801.20 c #Conflicts: 460000 | #Constraints: 30131
799.01/801.20 c INPROCESSING
799.01/801.20 c GARBAGE COLLECT
799.01/801.20 c #Conflicts: 461000 | #Constraints: 17732
799.01/801.20 c #Conflicts: 462000 | #Constraints: 18732
799.01/801.20 c #Conflicts: 463000 | #Constraints: 19732
799.01/801.20 c #Conflicts: 464000 | #Constraints: 20732
799.01/801.20 c #Conflicts: 465000 | #Constraints: 21732
799.01/801.20 c #Conflicts: 466000 | #Constraints: 22732
799.01/801.20 c #Conflicts: 467000 | #Constraints: 23732
799.01/801.20 c #Conflicts: 468000 | #Constraints: 24732
799.01/801.20 c #Conflicts: 469000 | #Constraints: 25732
799.01/801.20 c #Conflicts: 470000 | #Constraints: 26732
799.01/801.20 c #Conflicts: 471000 | #Constraints: 27732
799.01/801.20 c #Conflicts: 472000 | #Constraints: 28732
799.01/801.20 c #Conflicts: 473000 | #Constraints: 29732
799.01/801.20 c #Conflicts: 474000 | #Constraints: 30732
799.01/801.20 c INPROCESSING
799.01/801.20 c GARBAGE COLLECT
799.01/801.20 c #Conflicts: 475000 | #Constraints: 18141
799.01/801.20 c #Conflicts: 476000 | #Constraints: 19141
799.01/801.20 c #Conflicts: 477000 | #Constraints: 20141
799.01/801.20 c #Conflicts: 478000 | #Constraints: 21141
799.01/801.20 c #Conflicts: 479000 | #Constraints: 22141
799.01/801.20 c #Conflicts: 480000 | #Constraints: 23141
799.01/801.20 c #Conflicts: 481000 | #Constraints: 24141
799.01/801.20 c #Conflicts: 482000 | #Constraints: 25141
799.01/801.20 c #Conflicts: 483000 | #Constraints: 26141
799.01/801.20 c #Conflicts: 484000 | #Constraints: 27141
799.01/801.20 c #Conflicts: 485000 | #Constraints: 28141
799.01/801.20 c #Conflicts: 486000 | #Constraints: 29141
799.01/801.20 c #Conflicts: 487000 | #Constraints: 30141
799.01/801.20 c #Conflicts: 488000 | #Constraints: 31141
799.01/801.20 c INPROCESSING
799.01/801.20 c GARBAGE COLLECT
799.01/801.20 c #Conflicts: 489000 | #Constraints: 18344
799.01/801.20 c #Conflicts: 490000 | #Constraints: 19344
799.01/801.20 c #Conflicts: 491000 | #Constraints: 20344
799.01/801.20 c #Conflicts: 492000 | #Constraints: 21344
799.01/801.20 c #Conflicts: 493000 | #Constraints: 22344
799.01/801.20 c #Conflicts: 494000 | #Constraints: 23344
799.01/801.20 c #Conflicts: 495000 | #Constraints: 24344
799.01/801.20 c #Conflicts: 496000 | #Constraints: 25344
799.01/801.20 c #Conflicts: 497000 | #Constraints: 26344
799.01/801.20 c #Conflicts: 498000 | #Constraints: 27344
799.01/801.20 c #Conflicts: 499000 | #Constraints: 28344
799.01/801.20 c #Conflicts: 500000 | #Constraints: 29344
799.01/801.20 c #Conflicts: 501000 | #Constraints: 30344
799.01/801.20 c #Conflicts: 502000 | #Constraints: 31344
799.01/801.20 c INPROCESSING
799.01/801.20 c GARBAGE COLLECT
799.01/801.20 c #Conflicts: 503000 | #Constraints: 18350
799.01/801.20 c #Conflicts: 504000 | #Constraints: 19350
799.01/801.20 c #Conflicts: 505000 | #Constraints: 20350
799.01/801.20 c #Conflicts: 506000 | #Constraints: 21350
799.01/801.20 c #Conflicts: 507000 | #Constraints: 22350
799.01/801.20 c #Conflicts: 508000 | #Constraints: 23350
799.01/801.20 c #Conflicts: 509000 | #Constraints: 24350
799.01/801.20 c #Conflicts: 510000 | #Constraints: 25350
799.01/801.20 c #Conflicts: 511000 | #Constraints: 26350
799.01/801.20 c #Conflicts: 512000 | #Constraints: 27350
799.01/801.20 c #Conflicts: 513000 | #Constraints: 28350
914.72/917.24 c #Conflicts: 514000 | #Constraints: 29350
914.72/917.24 c #Conflicts: 515000 | #Constraints: 30350
914.72/917.24 c #Conflicts: 516000 | #Constraints: 31350
914.72/917.24 c INPROCESSING
914.72/917.24 c GARBAGE COLLECT
914.72/917.24 c #Conflicts: 517000 | #Constraints: 18144
914.72/917.24 c #Conflicts: 518000 | #Constraints: 19144
914.72/917.24 c #Conflicts: 519000 | #Constraints: 20144
914.72/917.24 c #Conflicts: 520000 | #Constraints: 21144
914.72/917.24 c #Conflicts: 521000 | #Constraints: 22144
914.72/917.24 c #Conflicts: 522000 | #Constraints: 23144
914.72/917.24 c #Conflicts: 523000 | #Constraints: 24144
914.72/917.24 c #Conflicts: 524000 | #Constraints: 25144
914.72/917.24 c #Conflicts: 525000 | #Constraints: 26144
914.72/917.24 c #Conflicts: 526000 | #Constraints: 27144
914.72/917.24 c #Conflicts: 527000 | #Constraints: 28144
914.72/917.24 c #Conflicts: 528000 | #Constraints: 29144
914.72/917.24 c #Conflicts: 529000 | #Constraints: 30144
914.72/917.24 c #Conflicts: 530000 | #Constraints: 31144
914.72/917.24 c #Conflicts: 531000 | #Constraints: 32144
914.72/917.24 c INPROCESSING
914.72/917.24 c GARBAGE COLLECT
914.72/917.24 c #Conflicts: 532000 | #Constraints: 18746
914.72/917.24 c #Conflicts: 533000 | #Constraints: 19746
914.72/917.24 c #Conflicts: 534000 | #Constraints: 20746
914.72/917.24 c #Conflicts: 535000 | #Constraints: 21746
914.72/917.24 c #Conflicts: 536000 | #Constraints: 22746
914.72/917.24 c #Conflicts: 537000 | #Constraints: 23746
914.72/917.24 c #Conflicts: 538000 | #Constraints: 24746
914.72/917.24 c #Conflicts: 539000 | #Constraints: 25746
914.72/917.24 c #Conflicts: 540000 | #Constraints: 26746
914.72/917.24 c #Conflicts: 541000 | #Constraints: 27746
914.72/917.24 c #Conflicts: 542000 | #Constraints: 28746
914.72/917.24 c #Conflicts: 543000 | #Constraints: 29746
914.72/917.24 c #Conflicts: 544000 | #Constraints: 30746
914.72/917.24 c #Conflicts: 545000 | #Constraints: 31746
914.72/917.24 c #Conflicts: 546000 | #Constraints: 32746
914.72/917.24 c INPROCESSING
914.72/917.24 c GARBAGE COLLECT
914.72/917.24 c #Conflicts: 547000 | #Constraints: 19147
914.72/917.24 c #Conflicts: 548000 | #Constraints: 20147
914.72/917.24 c #Conflicts: 549000 | #Constraints: 21147
914.72/917.24 c #Conflicts: 550000 | #Constraints: 22147
914.72/917.24 c #Conflicts: 551000 | #Constraints: 23147
914.72/917.24 c #Conflicts: 552000 | #Constraints: 24147
914.72/917.24 c #Conflicts: 553000 | #Constraints: 25147
914.72/917.24 c #Conflicts: 554000 | #Constraints: 26147
914.72/917.24 c #Conflicts: 555000 | #Constraints: 27147
914.72/917.24 c #Conflicts: 556000 | #Constraints: 28147
914.72/917.24 c #Conflicts: 557000 | #Constraints: 29147
914.72/917.24 c #Conflicts: 558000 | #Constraints: 30147
914.72/917.24 c #Conflicts: 559000 | #Constraints: 31147
914.72/917.24 c #Conflicts: 560000 | #Constraints: 32147
914.72/917.24 c #Conflicts: 561000 | #Constraints: 33147
914.72/917.24 c INPROCESSING
914.72/917.24 c GARBAGE COLLECT
914.72/917.24 c #Conflicts: 562000 | #Constraints: 19338
914.72/917.24 c #Conflicts: 563000 | #Constraints: 20338
914.72/917.24 c #Conflicts: 564000 | #Constraints: 21338
914.72/917.24 c #Conflicts: 565000 | #Constraints: 22338
914.72/917.24 c #Conflicts: 566000 | #Constraints: 23338
914.72/917.24 c #Conflicts: 567000 | #Constraints: 24338
914.72/917.24 c #Conflicts: 568000 | #Constraints: 25338
914.72/917.24 c #Conflicts: 569000 | #Constraints: 26338
914.72/917.24 c #Conflicts: 570000 | #Constraints: 27338
914.72/917.24 c #Conflicts: 571000 | #Constraints: 28338
914.72/917.24 c #Conflicts: 572000 | #Constraints: 29338
914.72/917.24 c #Conflicts: 573000 | #Constraints: 30338
914.72/917.24 c #Conflicts: 574000 | #Constraints: 31338
914.72/917.24 c #Conflicts: 575000 | #Constraints: 32338
914.72/917.24 c #Conflicts: 576000 | #Constraints: 33338
914.72/917.24 c INPROCESSING
914.72/917.24 c GARBAGE COLLECT
914.72/917.24 c #Conflicts: 577000 | #Constraints: 19338
914.72/917.24 c #Conflicts: 578000 | #Constraints: 20338
914.72/917.24 c #Conflicts: 579000 | #Constraints: 21338
914.72/917.24 c #Conflicts: 580000 | #Constraints: 22338
914.72/917.24 c #Conflicts: 581000 | #Constraints: 23338
914.72/917.24 c #Conflicts: 582000 | #Constraints: 24338
914.72/917.24 c #Conflicts: 583000 | #Constraints: 25338
914.72/917.24 c #Conflicts: 584000 | #Constraints: 26338
914.72/917.24 c #Conflicts: 585000 | #Constraints: 27338
914.72/917.24 c #Conflicts: 586000 | #Constraints: 28338
914.72/917.24 c #Conflicts: 587000 | #Constraints: 29338
914.72/917.24 c #Conflicts: 588000 | #Constraints: 30338
1038.59/1041.41 c #Conflicts: 589000 | #Constraints: 31338
1038.59/1041.41 c #Conflicts: 590000 | #Constraints: 32338
1038.59/1041.41 c #Conflicts: 591000 | #Constraints: 33338
1038.59/1041.41 c INPROCESSING
1038.59/1041.41 c GARBAGE COLLECT
1038.59/1041.41 c #Conflicts: 592000 | #Constraints: 19134
1038.59/1041.41 c #Conflicts: 593000 | #Constraints: 20134
1038.59/1041.41 c #Conflicts: 594000 | #Constraints: 21134
1038.59/1041.41 c #Conflicts: 595000 | #Constraints: 22134
1038.59/1041.41 c #Conflicts: 596000 | #Constraints: 23134
1038.59/1041.41 c #Conflicts: 597000 | #Constraints: 24134
1038.59/1041.41 c #Conflicts: 598000 | #Constraints: 25134
1038.59/1041.41 c #Conflicts: 599000 | #Constraints: 26134
1038.59/1041.41 c #Conflicts: 600000 | #Constraints: 27134
1038.59/1041.41 c #Conflicts: 601000 | #Constraints: 28134
1038.59/1041.41 c #Conflicts: 602000 | #Constraints: 29134
1038.59/1041.41 c #Conflicts: 603000 | #Constraints: 30134
1038.59/1041.41 c #Conflicts: 604000 | #Constraints: 31134
1038.59/1041.41 c #Conflicts: 605000 | #Constraints: 32134
1038.59/1041.41 c #Conflicts: 606000 | #Constraints: 33134
1038.59/1041.41 c #Conflicts: 607000 | #Constraints: 34134
1038.59/1041.41 c INPROCESSING
1038.59/1041.41 c GARBAGE COLLECT
1038.59/1041.41 c #Conflicts: 608000 | #Constraints: 19741
1038.59/1041.41 c #Conflicts: 609000 | #Constraints: 20741
1038.59/1041.41 c #Conflicts: 610000 | #Constraints: 21741
1038.59/1041.41 c #Conflicts: 611000 | #Constraints: 22741
1038.59/1041.41 c #Conflicts: 612000 | #Constraints: 23741
1038.59/1041.41 c #Conflicts: 613000 | #Constraints: 24741
1038.59/1041.41 c #Conflicts: 614000 | #Constraints: 25741
1038.59/1041.41 c #Conflicts: 615000 | #Constraints: 26741
1038.59/1041.41 c #Conflicts: 616000 | #Constraints: 27741
1038.59/1041.41 c #Conflicts: 617000 | #Constraints: 28741
1038.59/1041.41 c #Conflicts: 618000 | #Constraints: 29741
1038.59/1041.41 c #Conflicts: 619000 | #Constraints: 30741
1038.59/1041.41 c #Conflicts: 620000 | #Constraints: 31741
1038.59/1041.41 c #Conflicts: 621000 | #Constraints: 32741
1038.59/1041.41 c #Conflicts: 622000 | #Constraints: 33741
1038.59/1041.41 c #Conflicts: 623000 | #Constraints: 34741
1038.59/1041.41 c INPROCESSING
1038.59/1041.41 c GARBAGE COLLECT
1038.59/1041.41 c #Conflicts: 624000 | #Constraints: 20143
1038.59/1041.41 c #Conflicts: 625000 | #Constraints: 21143
1038.59/1041.41 c #Conflicts: 626000 | #Constraints: 22143
1038.59/1041.41 c #Conflicts: 627000 | #Constraints: 23143
1038.59/1041.41 c #Conflicts: 628000 | #Constraints: 24143
1038.59/1041.41 c #Conflicts: 629000 | #Constraints: 25143
1038.59/1041.41 c #Conflicts: 630000 | #Constraints: 26143
1038.59/1041.41 c #Conflicts: 631000 | #Constraints: 27143
1038.59/1041.41 c #Conflicts: 632000 | #Constraints: 28143
1038.59/1041.41 c #Conflicts: 633000 | #Constraints: 29143
1038.59/1041.41 c #Conflicts: 634000 | #Constraints: 30143
1038.59/1041.41 c #Conflicts: 635000 | #Constraints: 31143
1038.59/1041.41 c #Conflicts: 636000 | #Constraints: 32143
1038.59/1041.41 c #Conflicts: 637000 | #Constraints: 33143
1038.59/1041.41 c #Conflicts: 638000 | #Constraints: 34143
1038.59/1041.41 c #Conflicts: 639000 | #Constraints: 35143
1038.59/1041.41 c INPROCESSING
1038.59/1041.41 c GARBAGE COLLECT
1038.59/1041.41 c #Conflicts: 640000 | #Constraints: 20337
1038.59/1041.41 c #Conflicts: 641000 | #Constraints: 21337
1038.59/1041.41 c #Conflicts: 642000 | #Constraints: 22337
1038.59/1041.41 c #Conflicts: 643000 | #Constraints: 23337
1038.59/1041.41 c #Conflicts: 644000 | #Constraints: 24337
1038.59/1041.41 c #Conflicts: 645000 | #Constraints: 25337
1038.59/1041.41 c #Conflicts: 646000 | #Constraints: 26337
1038.59/1041.41 c #Conflicts: 647000 | #Constraints: 27337
1038.59/1041.41 c #Conflicts: 648000 | #Constraints: 28337
1038.59/1041.41 c #Conflicts: 649000 | #Constraints: 29337
1038.59/1041.41 c #Conflicts: 650000 | #Constraints: 30337
1038.59/1041.41 c #Conflicts: 651000 | #Constraints: 31337
1038.59/1041.41 c #Conflicts: 652000 | #Constraints: 32337
1038.59/1041.41 c #Conflicts: 653000 | #Constraints: 33337
1038.59/1041.41 c #Conflicts: 654000 | #Constraints: 34337
1038.59/1041.41 c #Conflicts: 655000 | #Constraints: 35337
1038.59/1041.41 c INPROCESSING
1038.59/1041.41 c GARBAGE COLLECT
1038.59/1041.41 c #Conflicts: 656000 | #Constraints: 20322
1038.59/1041.41 c #Conflicts: 657000 | #Constraints: 21322
1038.59/1041.41 c #Conflicts: 658000 | #Constraints: 22322
1038.59/1041.41 c #Conflicts: 659000 | #Constraints: 23322
1038.59/1041.41 c #Conflicts: 660000 | #Constraints: 24322
1038.59/1041.41 c #Conflicts: 661000 | #Constraints: 25322
1038.59/1041.41 c #Conflicts: 662000 | #Constraints: 26322
1038.59/1041.41 c #Conflicts: 663000 | #Constraints: 27322
1038.59/1041.41 c #Conflicts: 664000 | #Constraints: 28322
1173.84/1177.04 c #Conflicts: 665000 | #Constraints: 29322
1173.84/1177.04 c #Conflicts: 666000 | #Constraints: 30322
1173.84/1177.04 c #Conflicts: 667000 | #Constraints: 31322
1173.84/1177.04 c #Conflicts: 668000 | #Constraints: 32322
1173.84/1177.04 c #Conflicts: 669000 | #Constraints: 33322
1173.84/1177.04 c #Conflicts: 670000 | #Constraints: 34322
1173.84/1177.04 c #Conflicts: 671000 | #Constraints: 35322
1173.84/1177.04 c INPROCESSING
1173.84/1177.04 c GARBAGE COLLECT
1173.84/1177.04 c #Conflicts: 672000 | #Constraints: 20124
1173.84/1177.04 c #Conflicts: 673000 | #Constraints: 21124
1173.84/1177.04 c #Conflicts: 674000 | #Constraints: 22124
1173.84/1177.04 c #Conflicts: 675000 | #Constraints: 23124
1173.84/1177.04 c #Conflicts: 676000 | #Constraints: 24124
1173.84/1177.04 c #Conflicts: 677000 | #Constraints: 25124
1173.84/1177.04 c #Conflicts: 678000 | #Constraints: 26124
1173.84/1177.04 c #Conflicts: 679000 | #Constraints: 27124
1173.84/1177.04 c #Conflicts: 680000 | #Constraints: 28124
1173.84/1177.04 c #Conflicts: 681000 | #Constraints: 29124
1173.84/1177.04 c #Conflicts: 682000 | #Constraints: 30124
1173.84/1177.04 c #Conflicts: 683000 | #Constraints: 31124
1173.84/1177.04 c #Conflicts: 684000 | #Constraints: 32124
1173.84/1177.04 c #Conflicts: 685000 | #Constraints: 33124
1173.84/1177.04 c #Conflicts: 686000 | #Constraints: 34124
1173.84/1177.04 c #Conflicts: 687000 | #Constraints: 35124
1173.84/1177.04 c #Conflicts: 688000 | #Constraints: 36124
1173.84/1177.04 c INPROCESSING
1173.84/1177.04 c GARBAGE COLLECT
1173.84/1177.04 c #Conflicts: 689000 | #Constraints: 20721
1173.84/1177.04 c #Conflicts: 690000 | #Constraints: 21721
1173.84/1177.04 c #Conflicts: 691000 | #Constraints: 22721
1173.84/1177.04 c #Conflicts: 692000 | #Constraints: 23721
1173.84/1177.04 c #Conflicts: 693000 | #Constraints: 24721
1173.84/1177.04 c #Conflicts: 694000 | #Constraints: 25721
1173.84/1177.04 c #Conflicts: 695000 | #Constraints: 26721
1173.84/1177.04 c #Conflicts: 696000 | #Constraints: 27721
1173.84/1177.04 c #Conflicts: 697000 | #Constraints: 28721
1173.84/1177.04 c #Conflicts: 698000 | #Constraints: 29721
1173.84/1177.04 c #Conflicts: 699000 | #Constraints: 30721
1173.84/1177.04 c #Conflicts: 700000 | #Constraints: 31721
1173.84/1177.04 c #Conflicts: 701000 | #Constraints: 32721
1173.84/1177.04 c #Conflicts: 702000 | #Constraints: 33721
1173.84/1177.04 c #Conflicts: 703000 | #Constraints: 34721
1173.84/1177.04 c #Conflicts: 704000 | #Constraints: 35721
1173.84/1177.04 c #Conflicts: 705000 | #Constraints: 36721
1173.84/1177.04 c INPROCESSING
1173.84/1177.04 c GARBAGE COLLECT
1173.84/1177.04 c #Conflicts: 706000 | #Constraints: 21126
1173.84/1177.04 c #Conflicts: 707000 | #Constraints: 22126
1173.84/1177.04 c #Conflicts: 708000 | #Constraints: 23126
1173.84/1177.04 c #Conflicts: 709000 | #Constraints: 24126
1173.84/1177.04 c #Conflicts: 710000 | #Constraints: 25126
1173.84/1177.04 c #Conflicts: 711000 | #Constraints: 26126
1173.84/1177.04 c #Conflicts: 712000 | #Constraints: 27126
1173.84/1177.04 c #Conflicts: 713000 | #Constraints: 28126
1173.84/1177.04 c #Conflicts: 714000 | #Constraints: 29126
1173.84/1177.04 c #Conflicts: 715000 | #Constraints: 30126
1173.84/1177.04 c #Conflicts: 716000 | #Constraints: 31126
1173.84/1177.04 c #Conflicts: 717000 | #Constraints: 32126
1173.84/1177.04 c #Conflicts: 718000 | #Constraints: 33126
1173.84/1177.04 c #Conflicts: 719000 | #Constraints: 34126
1173.84/1177.04 c #Conflicts: 720000 | #Constraints: 35126
1173.84/1177.04 c #Conflicts: 721000 | #Constraints: 36126
1173.84/1177.04 c #Conflicts: 722000 | #Constraints: 37126
1173.84/1177.04 c INPROCESSING
1173.84/1177.04 c GARBAGE COLLECT
1173.84/1177.04 c #Conflicts: 723000 | #Constraints: 21328
1173.84/1177.04 c #Conflicts: 724000 | #Constraints: 22328
1173.84/1177.04 c #Conflicts: 725000 | #Constraints: 23328
1173.84/1177.04 c #Conflicts: 726000 | #Constraints: 24328
1173.84/1177.04 c #Conflicts: 727000 | #Constraints: 25328
1173.84/1177.04 c #Conflicts: 728000 | #Constraints: 26328
1173.84/1177.04 c #Conflicts: 729000 | #Constraints: 27328
1173.84/1177.04 c #Conflicts: 730000 | #Constraints: 28328
1173.84/1177.04 c #Conflicts: 731000 | #Constraints: 29328
1173.84/1177.04 c #Conflicts: 732000 | #Constraints: 30328
1173.84/1177.04 c #Conflicts: 733000 | #Constraints: 31328
1173.84/1177.04 c #Conflicts: 734000 | #Constraints: 32328
1173.84/1177.04 c #Conflicts: 735000 | #Constraints: 33328
1173.84/1177.04 c #Conflicts: 736000 | #Constraints: 34328
1173.84/1177.04 c #Conflicts: 737000 | #Constraints: 35328
1173.84/1177.04 c #Conflicts: 738000 | #Constraints: 36328
1173.84/1177.04 c #Conflicts: 739000 | #Constraints: 37328
1173.84/1177.04 c INPROCESSING
1173.84/1177.04 c GARBAGE COLLECT
1322.05/1325.65 c #Conflicts: 740000 | #Constraints: 21347
1322.05/1325.65 c #Conflicts: 741000 | #Constraints: 22347
1322.05/1325.65 c #Conflicts: 742000 | #Constraints: 23347
1322.05/1325.65 c #Conflicts: 743000 | #Constraints: 24347
1322.05/1325.65 c #Conflicts: 744000 | #Constraints: 25347
1322.05/1325.65 c #Conflicts: 745000 | #Constraints: 26347
1322.05/1325.65 c #Conflicts: 746000 | #Constraints: 27347
1322.05/1325.65 c #Conflicts: 747000 | #Constraints: 28347
1322.05/1325.65 c #Conflicts: 748000 | #Constraints: 29347
1322.05/1325.65 c #Conflicts: 749000 | #Constraints: 30347
1322.05/1325.65 c #Conflicts: 750000 | #Constraints: 31347
1322.05/1325.65 c #Conflicts: 751000 | #Constraints: 32347
1322.05/1325.65 c #Conflicts: 752000 | #Constraints: 33347
1322.05/1325.65 c #Conflicts: 753000 | #Constraints: 34347
1322.05/1325.65 c #Conflicts: 754000 | #Constraints: 35347
1322.05/1325.65 c #Conflicts: 755000 | #Constraints: 36347
1322.05/1325.65 c #Conflicts: 756000 | #Constraints: 37347
1322.05/1325.65 c INPROCESSING
1322.05/1325.65 c GARBAGE COLLECT
1322.05/1325.65 c #Conflicts: 757000 | #Constraints: 21151
1322.05/1325.65 c #Conflicts: 758000 | #Constraints: 22151
1322.05/1325.65 c #Conflicts: 759000 | #Constraints: 23151
1322.05/1325.65 c #Conflicts: 760000 | #Constraints: 24151
1322.05/1325.65 c #Conflicts: 761000 | #Constraints: 25151
1322.05/1325.65 c #Conflicts: 762000 | #Constraints: 26151
1322.05/1325.65 c #Conflicts: 763000 | #Constraints: 27151
1322.05/1325.65 c #Conflicts: 764000 | #Constraints: 28151
1322.05/1325.65 c #Conflicts: 765000 | #Constraints: 29151
1322.05/1325.65 c #Conflicts: 766000 | #Constraints: 30151
1322.05/1325.65 c #Conflicts: 767000 | #Constraints: 31151
1322.05/1325.65 c #Conflicts: 768000 | #Constraints: 32151
1322.05/1325.65 c #Conflicts: 769000 | #Constraints: 33151
1322.05/1325.65 c #Conflicts: 770000 | #Constraints: 34151
1322.05/1325.65 c #Conflicts: 771000 | #Constraints: 35151
1322.05/1325.65 c #Conflicts: 772000 | #Constraints: 36151
1322.05/1325.65 c #Conflicts: 773000 | #Constraints: 37151
1322.05/1325.65 c #Conflicts: 774000 | #Constraints: 38151
1322.05/1325.65 c INPROCESSING
1322.05/1325.65 c GARBAGE COLLECT
1322.05/1325.65 c #Conflicts: 775000 | #Constraints: 21745
1322.05/1325.65 c #Conflicts: 776000 | #Constraints: 22745
1322.05/1325.65 c #Conflicts: 777000 | #Constraints: 23745
1322.05/1325.65 c #Conflicts: 778000 | #Constraints: 24745
1322.05/1325.65 c #Conflicts: 779000 | #Constraints: 25745
1322.05/1325.65 c #Conflicts: 780000 | #Constraints: 26745
1322.05/1325.65 c #Conflicts: 781000 | #Constraints: 27745
1322.05/1325.65 c #Conflicts: 782000 | #Constraints: 28745
1322.05/1325.65 c #Conflicts: 783000 | #Constraints: 29745
1322.05/1325.65 c #Conflicts: 784000 | #Constraints: 30745
1322.05/1325.65 c #Conflicts: 785000 | #Constraints: 31745
1322.05/1325.65 c #Conflicts: 786000 | #Constraints: 32745
1322.05/1325.65 c #Conflicts: 787000 | #Constraints: 33745
1322.05/1325.65 c #Conflicts: 788000 | #Constraints: 34745
1322.05/1325.65 c #Conflicts: 789000 | #Constraints: 35745
1322.05/1325.65 c #Conflicts: 790000 | #Constraints: 36745
1322.05/1325.65 c #Conflicts: 791000 | #Constraints: 37745
1322.05/1325.65 c #Conflicts: 792000 | #Constraints: 38745
1322.05/1325.65 c INPROCESSING
1322.05/1325.65 c GARBAGE COLLECT
1322.05/1325.65 c #Conflicts: 793000 | #Constraints: 22144
1322.05/1325.65 c #Conflicts: 794000 | #Constraints: 23144
1322.05/1325.65 c #Conflicts: 795000 | #Constraints: 24144
1322.05/1325.65 c #Conflicts: 796000 | #Constraints: 25144
1322.05/1325.65 c #Conflicts: 797000 | #Constraints: 26144
1322.05/1325.65 c #Conflicts: 798000 | #Constraints: 27144
1322.05/1325.65 c #Conflicts: 799000 | #Constraints: 28144
1322.05/1325.65 c #Conflicts: 800000 | #Constraints: 29144
1322.05/1325.65 c #Conflicts: 801000 | #Constraints: 30144
1322.05/1325.65 c #Conflicts: 802000 | #Constraints: 31144
1322.05/1325.65 c #Conflicts: 803000 | #Constraints: 32144
1322.05/1325.65 c #Conflicts: 804000 | #Constraints: 33144
1322.05/1325.65 c #Conflicts: 805000 | #Constraints: 34144
1322.05/1325.65 c #Conflicts: 806000 | #Constraints: 35144
1322.05/1325.65 c #Conflicts: 807000 | #Constraints: 36144
1322.05/1325.65 c #Conflicts: 808000 | #Constraints: 37144
1322.05/1325.65 c #Conflicts: 809000 | #Constraints: 38144
1322.05/1325.65 c #Conflicts: 810000 | #Constraints: 39144
1322.05/1325.65 c INPROCESSING
1322.05/1325.65 c GARBAGE COLLECT
1322.05/1325.65 c #Conflicts: 811000 | #Constraints: 22335
1322.05/1325.65 c #Conflicts: 812000 | #Constraints: 23335
1322.05/1325.65 c #Conflicts: 813000 | #Constraints: 24335
1322.05/1325.65 c #Conflicts: 814000 | #Constraints: 25335
1322.05/1325.65 c #Conflicts: 815000 | #Constraints: 26335
1322.05/1325.65 c #Conflicts: 816000 | #Constraints: 27335
1495.17/1499.24 c #Conflicts: 817000 | #Constraints: 28335
1495.17/1499.24 c #Conflicts: 818000 | #Constraints: 29335
1495.17/1499.24 c #Conflicts: 819000 | #Constraints: 30335
1495.17/1499.24 c #Conflicts: 820000 | #Constraints: 31335
1495.17/1499.24 c #Conflicts: 821000 | #Constraints: 32335
1495.17/1499.24 c #Conflicts: 822000 | #Constraints: 33335
1495.17/1499.24 c #Conflicts: 823000 | #Constraints: 34335
1495.17/1499.24 c #Conflicts: 824000 | #Constraints: 35335
1495.17/1499.24 c #Conflicts: 825000 | #Constraints: 36335
1495.17/1499.24 c #Conflicts: 826000 | #Constraints: 37335
1495.17/1499.24 c #Conflicts: 827000 | #Constraints: 38335
1495.17/1499.24 c #Conflicts: 828000 | #Constraints: 39335
1495.17/1499.24 c INPROCESSING
1495.17/1499.24 c GARBAGE COLLECT
1495.17/1499.24 c #Conflicts: 829000 | #Constraints: 22339
1495.17/1499.24 c #Conflicts: 830000 | #Constraints: 23339
1495.17/1499.24 c #Conflicts: 831000 | #Constraints: 24339
1495.17/1499.24 c #Conflicts: 832000 | #Constraints: 25339
1495.17/1499.24 c #Conflicts: 833000 | #Constraints: 26339
1495.17/1499.24 c #Conflicts: 834000 | #Constraints: 27339
1495.17/1499.24 c #Conflicts: 835000 | #Constraints: 28339
1495.17/1499.24 c #Conflicts: 836000 | #Constraints: 29339
1495.17/1499.24 c #Conflicts: 837000 | #Constraints: 30339
1495.17/1499.24 c #Conflicts: 838000 | #Constraints: 31339
1495.17/1499.24 c #Conflicts: 839000 | #Constraints: 32339
1495.17/1499.24 c #Conflicts: 840000 | #Constraints: 33339
1495.17/1499.24 c #Conflicts: 841000 | #Constraints: 34339
1495.17/1499.24 c #Conflicts: 842000 | #Constraints: 35339
1495.17/1499.24 c #Conflicts: 843000 | #Constraints: 36339
1495.17/1499.24 c #Conflicts: 844000 | #Constraints: 37339
1495.17/1499.24 c #Conflicts: 845000 | #Constraints: 38339
1495.17/1499.24 c #Conflicts: 846000 | #Constraints: 39339
1495.17/1499.24 c INPROCESSING
1495.17/1499.24 c GARBAGE COLLECT
1495.17/1499.24 c #Conflicts: 847000 | #Constraints: 22153
1495.17/1499.24 c #Conflicts: 848000 | #Constraints: 23153
1495.17/1499.24 c #Conflicts: 849000 | #Constraints: 24153
1495.17/1499.24 c #Conflicts: 850000 | #Constraints: 25153
1495.17/1499.24 c #Conflicts: 851000 | #Constraints: 26153
1495.17/1499.24 c #Conflicts: 852000 | #Constraints: 27153
1495.17/1499.24 c #Conflicts: 853000 | #Constraints: 28153
1495.17/1499.24 c #Conflicts: 854000 | #Constraints: 29153
1495.17/1499.24 c #Conflicts: 855000 | #Constraints: 30153
1495.17/1499.24 c #Conflicts: 856000 | #Constraints: 31153
1495.17/1499.24 c #Conflicts: 857000 | #Constraints: 32153
1495.17/1499.24 c #Conflicts: 858000 | #Constraints: 33153
1495.17/1499.24 c #Conflicts: 859000 | #Constraints: 34153
1495.17/1499.24 c #Conflicts: 860000 | #Constraints: 35153
1495.17/1499.24 c #Conflicts: 861000 | #Constraints: 36153
1495.17/1499.24 c #Conflicts: 862000 | #Constraints: 37153
1495.17/1499.24 c #Conflicts: 863000 | #Constraints: 38153
1495.17/1499.24 c #Conflicts: 864000 | #Constraints: 39153
1495.17/1499.24 c #Conflicts: 865000 | #Constraints: 40153
1495.17/1499.24 c INPROCESSING
1495.17/1499.24 c GARBAGE COLLECT
1495.17/1499.24 c #Conflicts: 866000 | #Constraints: 22755
1495.17/1499.24 c #Conflicts: 867000 | #Constraints: 23755
1495.17/1499.24 c #Conflicts: 868000 | #Constraints: 24755
1495.17/1499.24 c #Conflicts: 869000 | #Constraints: 25755
1495.17/1499.24 c #Conflicts: 870000 | #Constraints: 26755
1495.17/1499.24 c #Conflicts: 871000 | #Constraints: 27755
1495.17/1499.24 c #Conflicts: 872000 | #Constraints: 28755
1495.17/1499.24 c #Conflicts: 873000 | #Constraints: 29755
1495.17/1499.24 c #Conflicts: 874000 | #Constraints: 30755
1495.17/1499.24 c #Conflicts: 875000 | #Constraints: 31755
1495.17/1499.24 c #Conflicts: 876000 | #Constraints: 32755
1495.17/1499.24 c #Conflicts: 877000 | #Constraints: 33755
1495.17/1499.24 c #Conflicts: 878000 | #Constraints: 34755
1495.17/1499.24 c #Conflicts: 879000 | #Constraints: 35755
1495.17/1499.24 c #Conflicts: 880000 | #Constraints: 36755
1495.17/1499.24 c #Conflicts: 881000 | #Constraints: 37755
1495.17/1499.24 c #Conflicts: 882000 | #Constraints: 38755
1495.17/1499.24 c #Conflicts: 883000 | #Constraints: 39755
1495.17/1499.24 c #Conflicts: 884000 | #Constraints: 40755
1495.17/1499.24 c INPROCESSING
1495.17/1499.24 c GARBAGE COLLECT
1495.17/1499.24 c #Conflicts: 885000 | #Constraints: 23154
1495.17/1499.24 c #Conflicts: 886000 | #Constraints: 24154
1495.17/1499.24 c #Conflicts: 887000 | #Constraints: 25154
1495.17/1499.24 c #Conflicts: 888000 | #Constraints: 26154
1495.17/1499.24 c #Conflicts: 889000 | #Constraints: 27154
1495.17/1499.24 c #Conflicts: 890000 | #Constraints: 28154
1495.17/1499.24 c #Conflicts: 891000 | #Constraints: 29154
1495.17/1499.24 c #Conflicts: 892000 | #Constraints: 30154
1669.09/1673.61 c #Conflicts: 893000 | #Constraints: 31154
1669.09/1673.61 c #Conflicts: 894000 | #Constraints: 32154
1669.09/1673.61 c #Conflicts: 895000 | #Constraints: 33154
1669.09/1673.61 c #Conflicts: 896000 | #Constraints: 34154
1669.09/1673.61 c #Conflicts: 897000 | #Constraints: 35154
1669.09/1673.61 c #Conflicts: 898000 | #Constraints: 36154
1669.09/1673.61 c #Conflicts: 899000 | #Constraints: 37154
1669.09/1673.61 c #Conflicts: 900000 | #Constraints: 38154
1669.09/1673.61 c #Conflicts: 901000 | #Constraints: 39154
1669.09/1673.61 c #Conflicts: 902000 | #Constraints: 40154
1669.09/1673.61 c #Conflicts: 903000 | #Constraints: 41154
1669.09/1673.61 c INPROCESSING
1669.09/1673.61 c GARBAGE COLLECT
1669.09/1673.61 c #Conflicts: 904000 | #Constraints: 23350
1669.09/1673.61 c #Conflicts: 905000 | #Constraints: 24350
1669.09/1673.61 c #Conflicts: 906000 | #Constraints: 25350
1669.09/1673.61 c #Conflicts: 907000 | #Constraints: 26350
1669.09/1673.61 c #Conflicts: 908000 | #Constraints: 27350
1669.09/1673.61 c #Conflicts: 909000 | #Constraints: 28350
1669.09/1673.61 c #Conflicts: 910000 | #Constraints: 29350
1669.09/1673.61 c #Conflicts: 911000 | #Constraints: 30350
1669.09/1673.61 c #Conflicts: 912000 | #Constraints: 31350
1669.09/1673.61 c #Conflicts: 913000 | #Constraints: 32350
1669.09/1673.61 c #Conflicts: 914000 | #Constraints: 33350
1669.09/1673.61 c #Conflicts: 915000 | #Constraints: 34350
1669.09/1673.61 c #Conflicts: 916000 | #Constraints: 35350
1669.09/1673.61 c #Conflicts: 917000 | #Constraints: 36350
1669.09/1673.61 c #Conflicts: 918000 | #Constraints: 37350
1669.09/1673.61 c #Conflicts: 919000 | #Constraints: 38350
1669.09/1673.61 c #Conflicts: 920000 | #Constraints: 39350
1669.09/1673.61 c #Conflicts: 921000 | #Constraints: 40350
1669.09/1673.61 c #Conflicts: 922000 | #Constraints: 41350
1669.09/1673.61 c INPROCESSING
1669.09/1673.61 c GARBAGE COLLECT
1669.09/1673.61 c #Conflicts: 923000 | #Constraints: 23336
1669.09/1673.61 c #Conflicts: 924000 | #Constraints: 24336
1669.09/1673.61 c #Conflicts: 925000 | #Constraints: 25336
1669.09/1673.61 c #Conflicts: 926000 | #Constraints: 26336
1669.09/1673.61 c #Conflicts: 927000 | #Constraints: 27336
1669.09/1673.61 c #Conflicts: 928000 | #Constraints: 28336
1669.09/1673.61 c #Conflicts: 929000 | #Constraints: 29336
1669.09/1673.61 c #Conflicts: 930000 | #Constraints: 30336
1669.09/1673.61 c #Conflicts: 931000 | #Constraints: 31336
1669.09/1673.61 c #Conflicts: 932000 | #Constraints: 32336
1669.09/1673.61 c #Conflicts: 933000 | #Constraints: 33336
1669.09/1673.61 c #Conflicts: 934000 | #Constraints: 34336
1669.09/1673.61 c #Conflicts: 935000 | #Constraints: 35336
1669.09/1673.61 c #Conflicts: 936000 | #Constraints: 36336
1669.09/1673.61 c #Conflicts: 937000 | #Constraints: 37336
1669.09/1673.61 c #Conflicts: 938000 | #Constraints: 38336
1669.09/1673.61 c #Conflicts: 939000 | #Constraints: 39336
1669.09/1673.61 c #Conflicts: 940000 | #Constraints: 40336
1669.09/1673.61 c #Conflicts: 941000 | #Constraints: 41336
1669.09/1673.61 c INPROCESSING
1669.09/1673.61 c GARBAGE COLLECT
1669.09/1673.61 c #Conflicts: 942000 | #Constraints: 23140
1669.09/1673.61 c #Conflicts: 943000 | #Constraints: 24140
1669.09/1673.61 c #Conflicts: 944000 | #Constraints: 25140
1669.09/1673.61 c #Conflicts: 945000 | #Constraints: 26140
1669.09/1673.61 c #Conflicts: 946000 | #Constraints: 27140
1669.09/1673.61 c #Conflicts: 947000 | #Constraints: 28140
1669.09/1673.61 c #Conflicts: 948000 | #Constraints: 29140
1669.09/1673.61 c #Conflicts: 949000 | #Constraints: 30140
1669.09/1673.61 c #Conflicts: 950000 | #Constraints: 31140
1669.09/1673.61 c #Conflicts: 951000 | #Constraints: 32140
1669.09/1673.61 c #Conflicts: 952000 | #Constraints: 33140
1669.09/1673.61 c #Conflicts: 953000 | #Constraints: 34140
1669.09/1673.61 c #Conflicts: 954000 | #Constraints: 35140
1669.09/1673.61 c #Conflicts: 955000 | #Constraints: 36140
1669.09/1673.61 c #Conflicts: 956000 | #Constraints: 37140
1669.09/1673.61 c #Conflicts: 957000 | #Constraints: 38140
1669.09/1673.61 c #Conflicts: 958000 | #Constraints: 39140
1669.09/1673.61 c #Conflicts: 959000 | #Constraints: 40140
1669.09/1673.61 c #Conflicts: 960000 | #Constraints: 41140
1669.09/1673.61 c #Conflicts: 961000 | #Constraints: 42140
1669.09/1673.61 c INPROCESSING
1669.09/1673.61 c GARBAGE COLLECT
1669.09/1673.61 c #Conflicts: 962000 | #Constraints: 23736
1669.09/1673.61 c #Conflicts: 963000 | #Constraints: 24736
1669.09/1673.61 c #Conflicts: 964000 | #Constraints: 25736
1669.09/1673.61 c #Conflicts: 965000 | #Constraints: 26736
1669.09/1673.61 c #Conflicts: 966000 | #Constraints: 27736
1669.09/1673.61 c #Conflicts: 967000 | #Constraints: 28736
1669.09/1673.61 c #Conflicts: 968000 | #Constraints: 29736
1860.17/1865.28 c #Conflicts: 969000 | #Constraints: 30736
1860.17/1865.28 c #Conflicts: 970000 | #Constraints: 31736
1860.17/1865.28 c #Conflicts: 971000 | #Constraints: 32736
1860.17/1865.28 c #Conflicts: 972000 | #Constraints: 33736
1860.17/1865.28 c #Conflicts: 973000 | #Constraints: 34736
1860.17/1865.28 c #Conflicts: 974000 | #Constraints: 35736
1860.17/1865.28 c #Conflicts: 975000 | #Constraints: 36736
1860.17/1865.28 c #Conflicts: 976000 | #Constraints: 37736
1860.17/1865.28 c #Conflicts: 977000 | #Constraints: 38736
1860.17/1865.28 c #Conflicts: 978000 | #Constraints: 39736
1860.17/1865.28 c #Conflicts: 979000 | #Constraints: 40736
1860.17/1865.28 c #Conflicts: 980000 | #Constraints: 41736
1860.17/1865.28 c #Conflicts: 981000 | #Constraints: 42736
1860.17/1865.28 c INPROCESSING
1860.17/1865.28 c GARBAGE COLLECT
1860.17/1865.28 c #Conflicts: 982000 | #Constraints: 24134
1860.17/1865.28 c #Conflicts: 983000 | #Constraints: 25134
1860.17/1865.28 c #Conflicts: 984000 | #Constraints: 26134
1860.17/1865.28 c #Conflicts: 985000 | #Constraints: 27134
1860.17/1865.28 c #Conflicts: 986000 | #Constraints: 28134
1860.17/1865.28 c #Conflicts: 987000 | #Constraints: 29134
1860.17/1865.28 c #Conflicts: 988000 | #Constraints: 30134
1860.17/1865.28 c #Conflicts: 989000 | #Constraints: 31134
1860.17/1865.28 c #Conflicts: 990000 | #Constraints: 32134
1860.17/1865.28 c #Conflicts: 991000 | #Constraints: 33134
1860.17/1865.28 c #Conflicts: 992000 | #Constraints: 34134
1860.17/1865.28 c #Conflicts: 993000 | #Constraints: 35134
1860.17/1865.28 c #Conflicts: 994000 | #Constraints: 36134
1860.17/1865.28 c #Conflicts: 995000 | #Constraints: 37134
1860.17/1865.28 c #Conflicts: 996000 | #Constraints: 38134
1860.17/1865.28 c #Conflicts: 997000 | #Constraints: 39134
1860.17/1865.28 c #Conflicts: 998000 | #Constraints: 40134
1860.17/1865.28 c #Conflicts: 999000 | #Constraints: 41134
1860.17/1865.28 c #Conflicts: 1000000 | #Constraints: 42134
1860.17/1865.28 c #Conflicts: 1001000 | #Constraints: 43134
1860.17/1865.28 c INPROCESSING
1860.17/1865.28 c GARBAGE COLLECT
1860.17/1865.28 c #Conflicts: 1002000 | #Constraints: 24348
1860.17/1865.28 c #Conflicts: 1003000 | #Constraints: 25348
1860.17/1865.28 c #Conflicts: 1004000 | #Constraints: 26348
1860.17/1865.28 c #Conflicts: 1005000 | #Constraints: 27348
1860.17/1865.28 c #Conflicts: 1006000 | #Constraints: 28348
1860.17/1865.28 c #Conflicts: 1007000 | #Constraints: 29348
1860.17/1865.28 c #Conflicts: 1008000 | #Constraints: 30348
1860.17/1865.28 c #Conflicts: 1009000 | #Constraints: 31348
1860.17/1865.28 c #Conflicts: 1010000 | #Constraints: 32348
1860.17/1865.28 c #Conflicts: 1011000 | #Constraints: 33348
1860.17/1865.28 c #Conflicts: 1012000 | #Constraints: 34348
1860.17/1865.28 c #Conflicts: 1013000 | #Constraints: 35348
1860.17/1865.28 c #Conflicts: 1014000 | #Constraints: 36348
1860.17/1865.28 c #Conflicts: 1015000 | #Constraints: 37348
1860.17/1865.28 c #Conflicts: 1016000 | #Constraints: 38348
1860.17/1865.28 c #Conflicts: 1017000 | #Constraints: 39348
1860.17/1865.28 c #Conflicts: 1018000 | #Constraints: 40348
1860.17/1865.28 c #Conflicts: 1019000 | #Constraints: 41348
1860.17/1865.28 c #Conflicts: 1020000 | #Constraints: 42348
1860.17/1865.28 c #Conflicts: 1021000 | #Constraints: 43348
1860.17/1865.28 c INPROCESSING
1860.17/1865.28 c GARBAGE COLLECT
1860.17/1865.28 c #Conflicts: 1022000 | #Constraints: 24346
1860.17/1865.28 c #Conflicts: 1023000 | #Constraints: 25346
1860.17/1865.28 c #Conflicts: 1024000 | #Constraints: 26346
1860.17/1865.28 c #Conflicts: 1025000 | #Constraints: 27346
1860.17/1865.28 c #Conflicts: 1026000 | #Constraints: 28346
1860.17/1865.28 c #Conflicts: 1027000 | #Constraints: 29346
1860.17/1865.28 c #Conflicts: 1028000 | #Constraints: 30346
1860.17/1865.28 c #Conflicts: 1029000 | #Constraints: 31346
1860.17/1865.28 c #Conflicts: 1030000 | #Constraints: 32346
1860.17/1865.28 c #Conflicts: 1031000 | #Constraints: 33346
1860.17/1865.28 c #Conflicts: 1032000 | #Constraints: 34346
1860.17/1865.28 c #Conflicts: 1033000 | #Constraints: 35346
1860.17/1865.28 c #Conflicts: 1034000 | #Constraints: 36346
1860.17/1865.28 c #Conflicts: 1035000 | #Constraints: 37346
1860.17/1865.28 c #Conflicts: 1036000 | #Constraints: 38346
1860.17/1865.28 c #Conflicts: 1037000 | #Constraints: 39346
1860.17/1865.28 c #Conflicts: 1038000 | #Constraints: 40346
1860.17/1865.28 c #Conflicts: 1039000 | #Constraints: 41346
1860.17/1865.28 c #Conflicts: 1040000 | #Constraints: 42346
1860.17/1865.28 c #Conflicts: 1041000 | #Constraints: 43346
1860.17/1865.28 c INPROCESSING
1860.17/1865.28 c GARBAGE COLLECT
1860.17/1865.28 c #Conflicts: 1042000 | #Constraints: 24138
1860.17/1865.28 c #Conflicts: 1043000 | #Constraints: 25138
1860.17/1865.28 c #Conflicts: 1044000 | #Constraints: 26138
2058.34/2063.92 c #Conflicts: 1045000 | #Constraints: 27138
2058.34/2063.92 c #Conflicts: 1046000 | #Constraints: 28138
2058.34/2063.92 c #Conflicts: 1047000 | #Constraints: 29138
2058.34/2063.92 c #Conflicts: 1048000 | #Constraints: 30138
2058.34/2063.92 c #Conflicts: 1049000 | #Constraints: 31138
2058.34/2063.92 c #Conflicts: 1050000 | #Constraints: 32138
2058.34/2063.92 c #Conflicts: 1051000 | #Constraints: 33138
2058.34/2063.92 c #Conflicts: 1052000 | #Constraints: 34138
2058.34/2063.92 c #Conflicts: 1053000 | #Constraints: 35138
2058.34/2063.92 c #Conflicts: 1054000 | #Constraints: 36138
2058.34/2063.92 c #Conflicts: 1055000 | #Constraints: 37138
2058.34/2063.92 c #Conflicts: 1056000 | #Constraints: 38138
2058.34/2063.92 c #Conflicts: 1057000 | #Constraints: 39138
2058.34/2063.92 c #Conflicts: 1058000 | #Constraints: 40138
2058.34/2063.92 c #Conflicts: 1059000 | #Constraints: 41138
2058.34/2063.92 c #Conflicts: 1060000 | #Constraints: 42138
2058.34/2063.92 c #Conflicts: 1061000 | #Constraints: 43138
2058.34/2063.92 c #Conflicts: 1062000 | #Constraints: 44138
2058.34/2063.92 c INPROCESSING
2058.34/2063.92 c GARBAGE COLLECT
2058.34/2063.92 c #Conflicts: 1063000 | #Constraints: 24747
2058.34/2063.92 c #Conflicts: 1064000 | #Constraints: 25747
2058.34/2063.92 c #Conflicts: 1065000 | #Constraints: 26747
2058.34/2063.92 c #Conflicts: 1066000 | #Constraints: 27747
2058.34/2063.92 c #Conflicts: 1067000 | #Constraints: 28747
2058.34/2063.92 c #Conflicts: 1068000 | #Constraints: 29747
2058.34/2063.92 c #Conflicts: 1069000 | #Constraints: 30747
2058.34/2063.92 c #Conflicts: 1070000 | #Constraints: 31747
2058.34/2063.92 c #Conflicts: 1071000 | #Constraints: 32747
2058.34/2063.92 c #Conflicts: 1072000 | #Constraints: 33747
2058.34/2063.92 c #Conflicts: 1073000 | #Constraints: 34747
2058.34/2063.92 c #Conflicts: 1074000 | #Constraints: 35747
2058.34/2063.92 c #Conflicts: 1075000 | #Constraints: 36747
2058.34/2063.92 c #Conflicts: 1076000 | #Constraints: 37747
2058.34/2063.92 c #Conflicts: 1077000 | #Constraints: 38747
2058.34/2063.92 c #Conflicts: 1078000 | #Constraints: 39747
2058.34/2063.92 c #Conflicts: 1079000 | #Constraints: 40747
2058.34/2063.92 c #Conflicts: 1080000 | #Constraints: 41747
2058.34/2063.92 c #Conflicts: 1081000 | #Constraints: 42747
2058.34/2063.92 c #Conflicts: 1082000 | #Constraints: 43747
2058.34/2063.92 c #Conflicts: 1083000 | #Constraints: 44747
2058.34/2063.92 c INPROCESSING
2058.34/2063.92 c GARBAGE COLLECT
2058.34/2063.92 c #Conflicts: 1084000 | #Constraints: 25149
2058.34/2063.92 c #Conflicts: 1085000 | #Constraints: 26149
2058.34/2063.92 c #Conflicts: 1086000 | #Constraints: 27149
2058.34/2063.92 c #Conflicts: 1087000 | #Constraints: 28149
2058.34/2063.92 c #Conflicts: 1088000 | #Constraints: 29149
2058.34/2063.92 c #Conflicts: 1089000 | #Constraints: 30149
2058.34/2063.92 c #Conflicts: 1090000 | #Constraints: 31149
2058.34/2063.92 c #Conflicts: 1091000 | #Constraints: 32149
2058.34/2063.92 c #Conflicts: 1092000 | #Constraints: 33149
2058.34/2063.92 c #Conflicts: 1093000 | #Constraints: 34149
2058.34/2063.92 c #Conflicts: 1094000 | #Constraints: 35149
2058.34/2063.92 c #Conflicts: 1095000 | #Constraints: 36149
2058.34/2063.92 c #Conflicts: 1096000 | #Constraints: 37149
2058.34/2063.92 c #Conflicts: 1097000 | #Constraints: 38149
2058.34/2063.92 c #Conflicts: 1098000 | #Constraints: 39149
2058.34/2063.92 c #Conflicts: 1099000 | #Constraints: 40149
2058.34/2063.92 c #Conflicts: 1100000 | #Constraints: 41149
2058.34/2063.92 c #Conflicts: 1101000 | #Constraints: 42149
2058.34/2063.92 c #Conflicts: 1102000 | #Constraints: 43149
2058.34/2063.92 c #Conflicts: 1103000 | #Constraints: 44149
2058.34/2063.92 c #Conflicts: 1104000 | #Constraints: 45149
2058.34/2063.92 c INPROCESSING
2058.34/2063.92 c GARBAGE COLLECT
2058.34/2063.92 c #Conflicts: 1105000 | #Constraints: 25345
2058.34/2063.92 c #Conflicts: 1106000 | #Constraints: 26345
2058.34/2063.92 c #Conflicts: 1107000 | #Constraints: 27345
2058.34/2063.92 c #Conflicts: 1108000 | #Constraints: 28345
2058.34/2063.92 c #Conflicts: 1109000 | #Constraints: 29345
2058.34/2063.92 c #Conflicts: 1110000 | #Constraints: 30345
2058.34/2063.92 c #Conflicts: 1111000 | #Constraints: 31345
2058.34/2063.92 c #Conflicts: 1112000 | #Constraints: 32345
2058.34/2063.92 c #Conflicts: 1113000 | #Constraints: 33345
2058.34/2063.92 c #Conflicts: 1114000 | #Constraints: 34345
2058.34/2063.92 c #Conflicts: 1115000 | #Constraints: 35345
2058.34/2063.92 c #Conflicts: 1116000 | #Constraints: 36345
2058.34/2063.92 c #Conflicts: 1117000 | #Constraints: 37345
2058.34/2063.92 c #Conflicts: 1118000 | #Constraints: 38345
2058.34/2063.92 c #Conflicts: 1119000 | #Constraints: 39345
2058.34/2063.92 c #Conflicts: 1120000 | #Constraints: 40345
2058.34/2063.92 c #Conflicts: 1121000 | #Constraints: 41345
2265.58/2271.78 c #Conflicts: 1122000 | #Constraints: 42345
2265.58/2271.78 c #Conflicts: 1123000 | #Constraints: 43345
2265.58/2271.78 c #Conflicts: 1124000 | #Constraints: 44345
2265.58/2271.78 c #Conflicts: 1125000 | #Constraints: 45345
2265.58/2271.78 c INPROCESSING
2265.58/2271.78 c GARBAGE COLLECT
2265.58/2271.78 c #Conflicts: 1126000 | #Constraints: 25345
2265.58/2271.78 c #Conflicts: 1127000 | #Constraints: 26345
2265.58/2271.78 c #Conflicts: 1128000 | #Constraints: 27345
2265.58/2271.78 c #Conflicts: 1129000 | #Constraints: 28345
2265.58/2271.78 c #Conflicts: 1130000 | #Constraints: 29345
2265.58/2271.78 c #Conflicts: 1131000 | #Constraints: 30345
2265.58/2271.78 c #Conflicts: 1132000 | #Constraints: 31345
2265.58/2271.78 c #Conflicts: 1133000 | #Constraints: 32345
2265.58/2271.78 c #Conflicts: 1134000 | #Constraints: 33345
2265.58/2271.78 c #Conflicts: 1135000 | #Constraints: 34345
2265.58/2271.78 c #Conflicts: 1136000 | #Constraints: 35345
2265.58/2271.78 c #Conflicts: 1137000 | #Constraints: 36345
2265.58/2271.78 c #Conflicts: 1138000 | #Constraints: 37345
2265.58/2271.78 c #Conflicts: 1139000 | #Constraints: 38345
2265.58/2271.78 c #Conflicts: 1140000 | #Constraints: 39345
2265.58/2271.78 c #Conflicts: 1141000 | #Constraints: 40345
2265.58/2271.78 c #Conflicts: 1142000 | #Constraints: 41345
2265.58/2271.78 c #Conflicts: 1143000 | #Constraints: 42345
2265.58/2271.78 c #Conflicts: 1144000 | #Constraints: 43345
2265.58/2271.78 c #Conflicts: 1145000 | #Constraints: 44345
2265.58/2271.78 c #Conflicts: 1146000 | #Constraints: 45345
2265.58/2271.78 c INPROCESSING
2265.58/2271.78 c GARBAGE COLLECT
2265.58/2271.78 c #Conflicts: 1147000 | #Constraints: 25158
2265.58/2271.78 c #Conflicts: 1148000 | #Constraints: 26158
2265.58/2271.78 c #Conflicts: 1149000 | #Constraints: 27158
2265.58/2271.78 c #Conflicts: 1150000 | #Constraints: 28158
2265.58/2271.78 c #Conflicts: 1151000 | #Constraints: 29158
2265.58/2271.78 c #Conflicts: 1152000 | #Constraints: 30158
2265.58/2271.78 c #Conflicts: 1153000 | #Constraints: 31158
2265.58/2271.78 c #Conflicts: 1154000 | #Constraints: 32158
2265.58/2271.78 c #Conflicts: 1155000 | #Constraints: 33158
2265.58/2271.78 c #Conflicts: 1156000 | #Constraints: 34158
2265.58/2271.78 c #Conflicts: 1157000 | #Constraints: 35158
2265.58/2271.78 c #Conflicts: 1158000 | #Constraints: 36158
2265.58/2271.78 c #Conflicts: 1159000 | #Constraints: 37158
2265.58/2271.78 c #Conflicts: 1160000 | #Constraints: 38158
2265.58/2271.78 c #Conflicts: 1161000 | #Constraints: 39158
2265.58/2271.78 c #Conflicts: 1162000 | #Constraints: 40158
2265.58/2271.78 c #Conflicts: 1163000 | #Constraints: 41158
2265.58/2271.78 c #Conflicts: 1164000 | #Constraints: 42158
2265.58/2271.78 c #Conflicts: 1165000 | #Constraints: 43158
2265.58/2271.78 c #Conflicts: 1166000 | #Constraints: 44158
2265.58/2271.78 c #Conflicts: 1167000 | #Constraints: 45158
2265.58/2271.78 c #Conflicts: 1168000 | #Constraints: 46158
2265.58/2271.78 c INPROCESSING
2265.58/2271.78 c GARBAGE COLLECT
2265.58/2271.78 c #Conflicts: 1169000 | #Constraints: 25755
2265.58/2271.78 c #Conflicts: 1170000 | #Constraints: 26755
2265.58/2271.78 c #Conflicts: 1171000 | #Constraints: 27755
2265.58/2271.78 c #Conflicts: 1172000 | #Constraints: 28755
2265.58/2271.78 c #Conflicts: 1173000 | #Constraints: 29755
2265.58/2271.78 c #Conflicts: 1174000 | #Constraints: 30755
2265.58/2271.78 c #Conflicts: 1175000 | #Constraints: 31755
2265.58/2271.78 c #Conflicts: 1176000 | #Constraints: 32755
2265.58/2271.78 c #Conflicts: 1177000 | #Constraints: 33755
2265.58/2271.78 c #Conflicts: 1178000 | #Constraints: 34755
2265.58/2271.78 c #Conflicts: 1179000 | #Constraints: 35755
2265.58/2271.78 c #Conflicts: 1180000 | #Constraints: 36755
2265.58/2271.78 c #Conflicts: 1181000 | #Constraints: 37755
2265.58/2271.78 c #Conflicts: 1182000 | #Constraints: 38755
2265.58/2271.78 c #Conflicts: 1183000 | #Constraints: 39755
2265.58/2271.78 c #Conflicts: 1184000 | #Constraints: 40755
2265.58/2271.78 c #Conflicts: 1185000 | #Constraints: 41755
2265.58/2271.78 c #Conflicts: 1186000 | #Constraints: 42755
2265.58/2271.78 c #Conflicts: 1187000 | #Constraints: 43755
2265.58/2271.78 c #Conflicts: 1188000 | #Constraints: 44755
2265.58/2271.78 c #Conflicts: 1189000 | #Constraints: 45755
2265.58/2271.78 c #Conflicts: 1190000 | #Constraints: 46755
2265.58/2271.78 c INPROCESSING
2265.58/2271.78 c GARBAGE COLLECT
2265.58/2271.78 c #Conflicts: 1191000 | #Constraints: 26151
2265.58/2271.78 c #Conflicts: 1192000 | #Constraints: 27151
2265.58/2271.78 c #Conflicts: 1193000 | #Constraints: 28151
2265.58/2271.78 c #Conflicts: 1194000 | #Constraints: 29151
2265.58/2271.78 c #Conflicts: 1195000 | #Constraints: 30151
2265.58/2271.78 c #Conflicts: 1196000 | #Constraints: 31151
2265.58/2271.78 c #Conflicts: 1197000 | #Constraints: 32151
2496.46/2503.27 c #Conflicts: 1198000 | #Constraints: 33151
2496.46/2503.27 c #Conflicts: 1199000 | #Constraints: 34151
2496.46/2503.27 c #Conflicts: 1200000 | #Constraints: 35151
2496.46/2503.27 c #Conflicts: 1201000 | #Constraints: 36151
2496.46/2503.27 c #Conflicts: 1202000 | #Constraints: 37151
2496.46/2503.27 c #Conflicts: 1203000 | #Constraints: 38151
2496.46/2503.27 c #Conflicts: 1204000 | #Constraints: 39151
2496.46/2503.27 c #Conflicts: 1205000 | #Constraints: 40151
2496.46/2503.27 c #Conflicts: 1206000 | #Constraints: 41151
2496.46/2503.27 c #Conflicts: 1207000 | #Constraints: 42151
2496.46/2503.27 c #Conflicts: 1208000 | #Constraints: 43151
2496.46/2503.27 c #Conflicts: 1209000 | #Constraints: 44151
2496.46/2503.27 c #Conflicts: 1210000 | #Constraints: 45151
2496.46/2503.27 c #Conflicts: 1211000 | #Constraints: 46151
2496.46/2503.27 c #Conflicts: 1212000 | #Constraints: 47151
2496.46/2503.27 c INPROCESSING
2496.46/2503.27 c GARBAGE COLLECT
2496.46/2503.27 c #Conflicts: 1213000 | #Constraints: 26366
2496.46/2503.27 c #Conflicts: 1214000 | #Constraints: 27366
2496.46/2503.27 c #Conflicts: 1215000 | #Constraints: 28366
2496.46/2503.27 c #Conflicts: 1216000 | #Constraints: 29366
2496.46/2503.27 c #Conflicts: 1217000 | #Constraints: 30366
2496.46/2503.27 c #Conflicts: 1218000 | #Constraints: 31366
2496.46/2503.27 c #Conflicts: 1219000 | #Constraints: 32366
2496.46/2503.27 c #Conflicts: 1220000 | #Constraints: 33366
2496.46/2503.27 c #Conflicts: 1221000 | #Constraints: 34366
2496.46/2503.27 c #Conflicts: 1222000 | #Constraints: 35366
2496.46/2503.27 c #Conflicts: 1223000 | #Constraints: 36366
2496.46/2503.27 c #Conflicts: 1224000 | #Constraints: 37366
2496.46/2503.27 c #Conflicts: 1225000 | #Constraints: 38366
2496.46/2503.27 c #Conflicts: 1226000 | #Constraints: 39366
2496.46/2503.27 c #Conflicts: 1227000 | #Constraints: 40366
2496.46/2503.27 c #Conflicts: 1228000 | #Constraints: 41366
2496.46/2503.27 c #Conflicts: 1229000 | #Constraints: 42366
2496.46/2503.27 c #Conflicts: 1230000 | #Constraints: 43366
2496.46/2503.27 c #Conflicts: 1231000 | #Constraints: 44366
2496.46/2503.27 c #Conflicts: 1232000 | #Constraints: 45366
2496.46/2503.27 c #Conflicts: 1233000 | #Constraints: 46366
2496.46/2503.27 c #Conflicts: 1234000 | #Constraints: 47366
2496.46/2503.27 c INPROCESSING
2496.46/2503.27 c GARBAGE COLLECT
2496.46/2503.27 c #Conflicts: 1235000 | #Constraints: 26354
2496.46/2503.27 c #Conflicts: 1236000 | #Constraints: 27354
2496.46/2503.27 c #Conflicts: 1237000 | #Constraints: 28354
2496.46/2503.27 c #Conflicts: 1238000 | #Constraints: 29354
2496.46/2503.27 c #Conflicts: 1239000 | #Constraints: 30354
2496.46/2503.27 c #Conflicts: 1240000 | #Constraints: 31354
2496.46/2503.27 c #Conflicts: 1241000 | #Constraints: 32354
2496.46/2503.27 c #Conflicts: 1242000 | #Constraints: 33354
2496.46/2503.27 c #Conflicts: 1243000 | #Constraints: 34354
2496.46/2503.27 c #Conflicts: 1244000 | #Constraints: 35354
2496.46/2503.27 c #Conflicts: 1245000 | #Constraints: 36354
2496.46/2503.27 c #Conflicts: 1246000 | #Constraints: 37354
2496.46/2503.27 c #Conflicts: 1247000 | #Constraints: 38354
2496.46/2503.27 c #Conflicts: 1248000 | #Constraints: 39354
2496.46/2503.27 c #Conflicts: 1249000 | #Constraints: 40354
2496.46/2503.27 c #Conflicts: 1250000 | #Constraints: 41354
2496.46/2503.27 c #Conflicts: 1251000 | #Constraints: 42354
2496.46/2503.27 c #Conflicts: 1252000 | #Constraints: 43354
2496.46/2503.27 c #Conflicts: 1253000 | #Constraints: 44354
2496.46/2503.27 c #Conflicts: 1254000 | #Constraints: 45354
2496.46/2503.27 c #Conflicts: 1255000 | #Constraints: 46354
2496.46/2503.27 c #Conflicts: 1256000 | #Constraints: 47354
2496.46/2503.27 c INPROCESSING
2496.46/2503.27 c GARBAGE COLLECT
2496.46/2503.27 c #Conflicts: 1257000 | #Constraints: 26157
2496.46/2503.27 c #Conflicts: 1258000 | #Constraints: 27157
2496.46/2503.27 c #Conflicts: 1259000 | #Constraints: 28157
2496.46/2503.27 c #Conflicts: 1260000 | #Constraints: 29157
2496.46/2503.27 c #Conflicts: 1261000 | #Constraints: 30157
2496.46/2503.27 c #Conflicts: 1262000 | #Constraints: 31157
2496.46/2503.27 c #Conflicts: 1263000 | #Constraints: 32157
2496.46/2503.27 c #Conflicts: 1264000 | #Constraints: 33157
2496.46/2503.27 c #Conflicts: 1265000 | #Constraints: 34157
2496.46/2503.27 c #Conflicts: 1266000 | #Constraints: 35157
2496.46/2503.27 c #Conflicts: 1267000 | #Constraints: 36157
2496.46/2503.27 c #Conflicts: 1268000 | #Constraints: 37157
2496.46/2503.27 c #Conflicts: 1269000 | #Constraints: 38157
2496.46/2503.27 c #Conflicts: 1270000 | #Constraints: 39157
2496.46/2503.27 c #Conflicts: 1271000 | #Constraints: 40157
2496.46/2503.27 c #Conflicts: 1272000 | #Constraints: 41157
2496.46/2503.27 c #Conflicts: 1273000 | #Constraints: 42157
2496.46/2503.27 c #Conflicts: 1274000 | #Constraints: 43157
2736.22/2743.61 c #Conflicts: 1275000 | #Constraints: 44157
2736.22/2743.61 c #Conflicts: 1276000 | #Constraints: 45157
2736.22/2743.61 c #Conflicts: 1277000 | #Constraints: 46157
2736.22/2743.61 c #Conflicts: 1278000 | #Constraints: 47157
2736.22/2743.61 c #Conflicts: 1279000 | #Constraints: 48157
2736.22/2743.61 c INPROCESSING
2736.22/2743.61 c GARBAGE COLLECT
2736.22/2743.61 c #Conflicts: 1280000 | #Constraints: 26756
2736.22/2743.61 c #Conflicts: 1281000 | #Constraints: 27756
2736.22/2743.61 c #Conflicts: 1282000 | #Constraints: 28756
2736.22/2743.61 c #Conflicts: 1283000 | #Constraints: 29756
2736.22/2743.61 c #Conflicts: 1284000 | #Constraints: 30756
2736.22/2743.61 c #Conflicts: 1285000 | #Constraints: 31756
2736.22/2743.61 c #Conflicts: 1286000 | #Constraints: 32756
2736.22/2743.61 c #Conflicts: 1287000 | #Constraints: 33756
2736.22/2743.61 c #Conflicts: 1288000 | #Constraints: 34756
2736.22/2743.61 c #Conflicts: 1289000 | #Constraints: 35756
2736.22/2743.61 c #Conflicts: 1290000 | #Constraints: 36756
2736.22/2743.61 c #Conflicts: 1291000 | #Constraints: 37756
2736.22/2743.61 c #Conflicts: 1292000 | #Constraints: 38756
2736.22/2743.61 c #Conflicts: 1293000 | #Constraints: 39756
2736.22/2743.61 c #Conflicts: 1294000 | #Constraints: 40756
2736.22/2743.61 c #Conflicts: 1295000 | #Constraints: 41756
2736.22/2743.61 c #Conflicts: 1296000 | #Constraints: 42756
2736.22/2743.61 c #Conflicts: 1297000 | #Constraints: 43756
2736.22/2743.61 c #Conflicts: 1298000 | #Constraints: 44756
2736.22/2743.61 c #Conflicts: 1299000 | #Constraints: 45756
2736.22/2743.61 c #Conflicts: 1300000 | #Constraints: 46756
2736.22/2743.61 c #Conflicts: 1301000 | #Constraints: 47756
2736.22/2743.61 c #Conflicts: 1302000 | #Constraints: 48756
2736.22/2743.61 c INPROCESSING
2736.22/2743.61 c GARBAGE COLLECT
2736.22/2743.61 c #Conflicts: 1303000 | #Constraints: 27162
2736.22/2743.61 c #Conflicts: 1304000 | #Constraints: 28162
2736.22/2743.61 c #Conflicts: 1305000 | #Constraints: 29162
2736.22/2743.61 c #Conflicts: 1306000 | #Constraints: 30162
2736.22/2743.61 c #Conflicts: 1307000 | #Constraints: 31162
2736.22/2743.61 c #Conflicts: 1308000 | #Constraints: 32162
2736.22/2743.61 c #Conflicts: 1309000 | #Constraints: 33162
2736.22/2743.61 c #Conflicts: 1310000 | #Constraints: 34162
2736.22/2743.61 c #Conflicts: 1311000 | #Constraints: 35162
2736.22/2743.61 c #Conflicts: 1312000 | #Constraints: 36162
2736.22/2743.61 c #Conflicts: 1313000 | #Constraints: 37162
2736.22/2743.61 c #Conflicts: 1314000 | #Constraints: 38162
2736.22/2743.61 c #Conflicts: 1315000 | #Constraints: 39162
2736.22/2743.61 c #Conflicts: 1316000 | #Constraints: 40162
2736.22/2743.61 c #Conflicts: 1317000 | #Constraints: 41162
2736.22/2743.61 c #Conflicts: 1318000 | #Constraints: 42162
2736.22/2743.61 c #Conflicts: 1319000 | #Constraints: 43162
2736.22/2743.61 c #Conflicts: 1320000 | #Constraints: 44162
2736.22/2743.61 c #Conflicts: 1321000 | #Constraints: 45162
2736.22/2743.61 c #Conflicts: 1322000 | #Constraints: 46162
2736.22/2743.61 c #Conflicts: 1323000 | #Constraints: 47162
2736.22/2743.61 c #Conflicts: 1324000 | #Constraints: 48162
2736.22/2743.61 c #Conflicts: 1325000 | #Constraints: 49162
2736.22/2743.61 c INPROCESSING
2736.22/2743.61 c GARBAGE COLLECT
2736.22/2743.61 c #Conflicts: 1326000 | #Constraints: 27352
2736.22/2743.61 c #Conflicts: 1327000 | #Constraints: 28352
2736.22/2743.61 c #Conflicts: 1328000 | #Constraints: 29352
2736.22/2743.61 c #Conflicts: 1329000 | #Constraints: 30352
2736.22/2743.61 c #Conflicts: 1330000 | #Constraints: 31352
2736.22/2743.61 c #Conflicts: 1331000 | #Constraints: 32352
2736.22/2743.61 c #Conflicts: 1332000 | #Constraints: 33352
2736.22/2743.61 c #Conflicts: 1333000 | #Constraints: 34352
2736.22/2743.61 c #Conflicts: 1334000 | #Constraints: 35352
2736.22/2743.61 c #Conflicts: 1335000 | #Constraints: 36352
2736.22/2743.61 c #Conflicts: 1336000 | #Constraints: 37352
2736.22/2743.61 c #Conflicts: 1337000 | #Constraints: 38352
2736.22/2743.61 c #Conflicts: 1338000 | #Constraints: 39352
2736.22/2743.61 c #Conflicts: 1339000 | #Constraints: 40352
2736.22/2743.61 c #Conflicts: 1340000 | #Constraints: 41352
2736.22/2743.61 c #Conflicts: 1341000 | #Constraints: 42352
2736.22/2743.61 c #Conflicts: 1342000 | #Constraints: 43352
2736.22/2743.61 c #Conflicts: 1343000 | #Constraints: 44352
2736.22/2743.61 c #Conflicts: 1344000 | #Constraints: 45352
2736.22/2743.61 c #Conflicts: 1345000 | #Constraints: 46352
2736.22/2743.61 c #Conflicts: 1346000 | #Constraints: 47352
2736.22/2743.61 c #Conflicts: 1347000 | #Constraints: 48352
2736.22/2743.61 c #Conflicts: 1348000 | #Constraints: 49352
2736.22/2743.61 c INPROCESSING
2736.22/2743.61 c GARBAGE COLLECT
2736.22/2743.61 c #Conflicts: 1349000 | #Constraints: 27351
2736.22/2743.61 c #Conflicts: 1350000 | #Constraints: 28351
2977.27/2985.37 c #Conflicts: 1351000 | #Constraints: 29351
2977.27/2985.37 c #Conflicts: 1352000 | #Constraints: 30351
2977.27/2985.37 c #Conflicts: 1353000 | #Constraints: 31351
2977.27/2985.37 c #Conflicts: 1354000 | #Constraints: 32351
2977.27/2985.37 c #Conflicts: 1355000 | #Constraints: 33351
2977.27/2985.37 c #Conflicts: 1356000 | #Constraints: 34351
2977.27/2985.37 c #Conflicts: 1357000 | #Constraints: 35351
2977.27/2985.37 c #Conflicts: 1358000 | #Constraints: 36351
2977.27/2985.37 c #Conflicts: 1359000 | #Constraints: 37351
2977.27/2985.37 c #Conflicts: 1360000 | #Constraints: 38351
2977.27/2985.37 c #Conflicts: 1361000 | #Constraints: 39351
2977.27/2985.37 c #Conflicts: 1362000 | #Constraints: 40351
2977.27/2985.37 c #Conflicts: 1363000 | #Constraints: 41351
2977.27/2985.37 c #Conflicts: 1364000 | #Constraints: 42351
2977.27/2985.37 c #Conflicts: 1365000 | #Constraints: 43351
2977.27/2985.37 c #Conflicts: 1366000 | #Constraints: 44351
2977.27/2985.37 c #Conflicts: 1367000 | #Constraints: 45351
2977.27/2985.37 c #Conflicts: 1368000 | #Constraints: 46351
2977.27/2985.37 c #Conflicts: 1369000 | #Constraints: 47351
2977.27/2985.37 c #Conflicts: 1370000 | #Constraints: 48351
2977.27/2985.37 c #Conflicts: 1371000 | #Constraints: 49351
2977.27/2985.37 c INPROCESSING
2977.27/2985.37 c GARBAGE COLLECT
2977.27/2985.37 c #Conflicts: 1372000 | #Constraints: 27151
2977.27/2985.37 c #Conflicts: 1373000 | #Constraints: 28151
2977.27/2985.37 c #Conflicts: 1374000 | #Constraints: 29151
2977.27/2985.37 c #Conflicts: 1375000 | #Constraints: 30151
2977.27/2985.37 c #Conflicts: 1376000 | #Constraints: 31151
2977.27/2985.37 c #Conflicts: 1377000 | #Constraints: 32151
2977.27/2985.37 c #Conflicts: 1378000 | #Constraints: 33151
2977.27/2985.37 c #Conflicts: 1379000 | #Constraints: 34151
2977.27/2985.37 c #Conflicts: 1380000 | #Constraints: 35151
2977.27/2985.37 c #Conflicts: 1381000 | #Constraints: 36151
2977.27/2985.37 c #Conflicts: 1382000 | #Constraints: 37151
2977.27/2985.37 c #Conflicts: 1383000 | #Constraints: 38151
2977.27/2985.37 c #Conflicts: 1384000 | #Constraints: 39151
2977.27/2985.37 c #Conflicts: 1385000 | #Constraints: 40151
2977.27/2985.37 c #Conflicts: 1386000 | #Constraints: 41151
2977.27/2985.37 c #Conflicts: 1387000 | #Constraints: 42151
2977.27/2985.37 c #Conflicts: 1388000 | #Constraints: 43151
2977.27/2985.37 c #Conflicts: 1389000 | #Constraints: 44151
2977.27/2985.37 c #Conflicts: 1390000 | #Constraints: 45151
2977.27/2985.37 c #Conflicts: 1391000 | #Constraints: 46151
2977.27/2985.37 c #Conflicts: 1392000 | #Constraints: 47151
2977.27/2985.37 c #Conflicts: 1393000 | #Constraints: 48151
2977.27/2985.37 c #Conflicts: 1394000 | #Constraints: 49151
2977.27/2985.37 c #Conflicts: 1395000 | #Constraints: 50151
2977.27/2985.37 c INPROCESSING
2977.27/2985.37 c GARBAGE COLLECT
2977.27/2985.37 c #Conflicts: 1396000 | #Constraints: 27759
2977.27/2985.37 c #Conflicts: 1397000 | #Constraints: 28759
2977.27/2985.37 c #Conflicts: 1398000 | #Constraints: 29759
2977.27/2985.37 c #Conflicts: 1399000 | #Constraints: 30759
2977.27/2985.37 c #Conflicts: 1400000 | #Constraints: 31759
2977.27/2985.37 c #Conflicts: 1401000 | #Constraints: 32759
2977.27/2985.37 c #Conflicts: 1402000 | #Constraints: 33759
2977.27/2985.37 c #Conflicts: 1403000 | #Constraints: 34759
2977.27/2985.37 c #Conflicts: 1404000 | #Constraints: 35759
2977.27/2985.37 c #Conflicts: 1405000 | #Constraints: 36759
2977.27/2985.37 c #Conflicts: 1406000 | #Constraints: 37759
2977.27/2985.37 c #Conflicts: 1407000 | #Constraints: 38759
2977.27/2985.37 c #Conflicts: 1408000 | #Constraints: 39759
2977.27/2985.37 c #Conflicts: 1409000 | #Constraints: 40759
2977.27/2985.37 c #Conflicts: 1410000 | #Constraints: 41759
2977.27/2985.37 c #Conflicts: 1411000 | #Constraints: 42759
2977.27/2985.37 c #Conflicts: 1412000 | #Constraints: 43759
2977.27/2985.37 c #Conflicts: 1413000 | #Constraints: 44759
2977.27/2985.37 c #Conflicts: 1414000 | #Constraints: 45759
2977.27/2985.37 c #Conflicts: 1415000 | #Constraints: 46759
2977.27/2985.37 c #Conflicts: 1416000 | #Constraints: 47759
2977.27/2985.37 c #Conflicts: 1417000 | #Constraints: 48759
2977.27/2985.37 c #Conflicts: 1418000 | #Constraints: 49759
2977.27/2985.37 c #Conflicts: 1419000 | #Constraints: 50759
2977.27/2985.37 c INPROCESSING
2977.27/2985.37 c GARBAGE COLLECT
2977.27/2985.37 c #Conflicts: 1420000 | #Constraints: 28163
2977.27/2985.37 c #Conflicts: 1421000 | #Constraints: 29163
2977.27/2985.37 c #Conflicts: 1422000 | #Constraints: 30163
2977.27/2985.37 c #Conflicts: 1423000 | #Constraints: 31163
2977.27/2985.37 c #Conflicts: 1424000 | #Constraints: 32163
2977.27/2985.37 c #Conflicts: 1425000 | #Constraints: 33163
2977.27/2985.37 c #Conflicts: 1426000 | #Constraints: 34163
2977.27/2985.37 c #Conflicts: 1427000 | #Constraints: 35163
3241.75/3250.56 c #Conflicts: 1428000 | #Constraints: 36163
3241.75/3250.56 c #Conflicts: 1429000 | #Constraints: 37163
3241.75/3250.56 c #Conflicts: 1430000 | #Constraints: 38163
3241.75/3250.56 c #Conflicts: 1431000 | #Constraints: 39163
3241.75/3250.56 c #Conflicts: 1432000 | #Constraints: 40163
3241.75/3250.56 c #Conflicts: 1433000 | #Constraints: 41163
3241.75/3250.56 c #Conflicts: 1434000 | #Constraints: 42163
3241.75/3250.56 c #Conflicts: 1435000 | #Constraints: 43163
3241.75/3250.56 c #Conflicts: 1436000 | #Constraints: 44163
3241.75/3250.56 c #Conflicts: 1437000 | #Constraints: 45163
3241.75/3250.56 c #Conflicts: 1438000 | #Constraints: 46163
3241.75/3250.56 c #Conflicts: 1439000 | #Constraints: 47163
3241.75/3250.56 c #Conflicts: 1440000 | #Constraints: 48163
3241.75/3250.56 c #Conflicts: 1441000 | #Constraints: 49163
3241.75/3250.56 c #Conflicts: 1442000 | #Constraints: 50163
3241.75/3250.56 c #Conflicts: 1443000 | #Constraints: 51163
3241.75/3250.56 c INPROCESSING
3241.75/3250.56 c GARBAGE COLLECT
3241.75/3250.56 c #Conflicts: 1444000 | #Constraints: 28355
3241.75/3250.56 c #Conflicts: 1445000 | #Constraints: 29355
3241.75/3250.56 c #Conflicts: 1446000 | #Constraints: 30355
3241.75/3250.56 c #Conflicts: 1447000 | #Constraints: 31355
3241.75/3250.56 c #Conflicts: 1448000 | #Constraints: 32355
3241.75/3250.56 c #Conflicts: 1449000 | #Constraints: 33355
3241.75/3250.56 c #Conflicts: 1450000 | #Constraints: 34355
3241.75/3250.56 c #Conflicts: 1451000 | #Constraints: 35355
3241.75/3250.56 c #Conflicts: 1452000 | #Constraints: 36355
3241.75/3250.56 c #Conflicts: 1453000 | #Constraints: 37355
3241.75/3250.56 c #Conflicts: 1454000 | #Constraints: 38355
3241.75/3250.56 c #Conflicts: 1455000 | #Constraints: 39355
3241.75/3250.56 c #Conflicts: 1456000 | #Constraints: 40355
3241.75/3250.56 c #Conflicts: 1457000 | #Constraints: 41355
3241.75/3250.56 c #Conflicts: 1458000 | #Constraints: 42355
3241.75/3250.56 c #Conflicts: 1459000 | #Constraints: 43355
3241.75/3250.56 c #Conflicts: 1460000 | #Constraints: 44355
3241.75/3250.56 c #Conflicts: 1461000 | #Constraints: 45355
3241.75/3250.56 c #Conflicts: 1462000 | #Constraints: 46355
3241.75/3250.56 c #Conflicts: 1463000 | #Constraints: 47355
3241.75/3250.56 c #Conflicts: 1464000 | #Constraints: 48355
3241.75/3250.56 c #Conflicts: 1465000 | #Constraints: 49355
3241.75/3250.56 c #Conflicts: 1466000 | #Constraints: 50355
3241.75/3250.56 c #Conflicts: 1467000 | #Constraints: 51355
3241.75/3250.56 c INPROCESSING
3241.75/3250.56 c GARBAGE COLLECT
3241.75/3250.56 c #Conflicts: 1468000 | #Constraints: 28361
3241.75/3250.56 c #Conflicts: 1469000 | #Constraints: 29361
3241.75/3250.56 c #Conflicts: 1470000 | #Constraints: 30361
3241.75/3250.56 c #Conflicts: 1471000 | #Constraints: 31361
3241.75/3250.56 c #Conflicts: 1472000 | #Constraints: 32361
3241.75/3250.56 c #Conflicts: 1473000 | #Constraints: 33361
3241.75/3250.56 c #Conflicts: 1474000 | #Constraints: 34361
3241.75/3250.56 c #Conflicts: 1475000 | #Constraints: 35361
3241.75/3250.56 c #Conflicts: 1476000 | #Constraints: 36361
3241.75/3250.56 c #Conflicts: 1477000 | #Constraints: 37361
3241.75/3250.56 c #Conflicts: 1478000 | #Constraints: 38361
3241.75/3250.56 c #Conflicts: 1479000 | #Constraints: 39361
3241.75/3250.56 c #Conflicts: 1480000 | #Constraints: 40361
3241.75/3250.56 c #Conflicts: 1481000 | #Constraints: 41361
3241.75/3250.56 c #Conflicts: 1482000 | #Constraints: 42361
3241.75/3250.56 c #Conflicts: 1483000 | #Constraints: 43361
3241.75/3250.56 c #Conflicts: 1484000 | #Constraints: 44361
3241.75/3250.56 c #Conflicts: 1485000 | #Constraints: 45361
3241.75/3250.56 c #Conflicts: 1486000 | #Constraints: 46361
3241.75/3250.56 c #Conflicts: 1487000 | #Constraints: 47361
3241.75/3250.56 c #Conflicts: 1488000 | #Constraints: 48361
3241.75/3250.56 c #Conflicts: 1489000 | #Constraints: 49361
3241.75/3250.56 c #Conflicts: 1490000 | #Constraints: 50361
3241.75/3250.56 c #Conflicts: 1491000 | #Constraints: 51361
3241.75/3250.56 c INPROCESSING
3241.75/3250.56 c GARBAGE COLLECT
3241.75/3250.56 c #Conflicts: 1492000 | #Constraints: 28177
3241.75/3250.56 c #Conflicts: 1493000 | #Constraints: 29177
3241.75/3250.56 c #Conflicts: 1494000 | #Constraints: 30177
3241.75/3250.56 c #Conflicts: 1495000 | #Constraints: 31177
3241.75/3250.56 c #Conflicts: 1496000 | #Constraints: 32177
3241.75/3250.56 c #Conflicts: 1497000 | #Constraints: 33177
3241.75/3250.56 c #Conflicts: 1498000 | #Constraints: 34177
3241.75/3250.56 c #Conflicts: 1499000 | #Constraints: 35177
3241.75/3250.56 c #Conflicts: 1500000 | #Constraints: 36177
3241.75/3250.56 c #Conflicts: 1501000 | #Constraints: 37177
3241.75/3250.56 c #Conflicts: 1502000 | #Constraints: 38177
3241.75/3250.56 c #Conflicts: 1503000 | #Constraints: 39177
3241.75/3250.56 c #Conflicts: 1504000 | #Constraints: 40177
3525.88/3535.41 c #Conflicts: 1505000 | #Constraints: 41177
3525.88/3535.41 c #Conflicts: 1506000 | #Constraints: 42177
3525.88/3535.41 c #Conflicts: 1507000 | #Constraints: 43177
3525.88/3535.41 c #Conflicts: 1508000 | #Constraints: 44177
3525.88/3535.41 c #Conflicts: 1509000 | #Constraints: 45177
3525.88/3535.41 c #Conflicts: 1510000 | #Constraints: 46177
3525.88/3535.41 c #Conflicts: 1511000 | #Constraints: 47177
3525.88/3535.41 c #Conflicts: 1512000 | #Constraints: 48177
3525.88/3535.41 c #Conflicts: 1513000 | #Constraints: 49177
3525.88/3535.41 c #Conflicts: 1514000 | #Constraints: 50177
3525.88/3535.41 c #Conflicts: 1515000 | #Constraints: 51177
3525.88/3535.41 c #Conflicts: 1516000 | #Constraints: 52177
3525.88/3535.41 c INPROCESSING
3525.88/3535.41 c GARBAGE COLLECT
3525.88/3535.41 c #Conflicts: 1517000 | #Constraints: 28764
3525.88/3535.41 c #Conflicts: 1518000 | #Constraints: 29764
3525.88/3535.41 c #Conflicts: 1519000 | #Constraints: 30764
3525.88/3535.41 c #Conflicts: 1520000 | #Constraints: 31764
3525.88/3535.41 c #Conflicts: 1521000 | #Constraints: 32764
3525.88/3535.41 c #Conflicts: 1522000 | #Constraints: 33764
3525.88/3535.41 c #Conflicts: 1523000 | #Constraints: 34764
3525.88/3535.41 c #Conflicts: 1524000 | #Constraints: 35764
3525.88/3535.41 c #Conflicts: 1525000 | #Constraints: 36764
3525.88/3535.41 c #Conflicts: 1526000 | #Constraints: 37764
3525.88/3535.41 c #Conflicts: 1527000 | #Constraints: 38764
3525.88/3535.41 c #Conflicts: 1528000 | #Constraints: 39764
3525.88/3535.41 c #Conflicts: 1529000 | #Constraints: 40764
3525.88/3535.41 c #Conflicts: 1530000 | #Constraints: 41764
3525.88/3535.41 c #Conflicts: 1531000 | #Constraints: 42764
3525.88/3535.41 c #Conflicts: 1532000 | #Constraints: 43764
3525.88/3535.41 c #Conflicts: 1533000 | #Constraints: 44764
3525.88/3535.41 c #Conflicts: 1534000 | #Constraints: 45764
3525.88/3535.41 c #Conflicts: 1535000 | #Constraints: 46764
3525.88/3535.41 c #Conflicts: 1536000 | #Constraints: 47764
3525.88/3535.41 c #Conflicts: 1537000 | #Constraints: 48764
3525.88/3535.41 c #Conflicts: 1538000 | #Constraints: 49764
3525.88/3535.41 c #Conflicts: 1539000 | #Constraints: 50764
3525.88/3535.41 c #Conflicts: 1540000 | #Constraints: 51764
3525.88/3535.41 c #Conflicts: 1541000 | #Constraints: 52764
3525.88/3535.41 c INPROCESSING
3525.88/3535.41 c GARBAGE COLLECT
3525.88/3535.41 c #Conflicts: 1542000 | #Constraints: 29154
3525.88/3535.41 c #Conflicts: 1543000 | #Constraints: 30154
3525.88/3535.41 c #Conflicts: 1544000 | #Constraints: 31154
3525.88/3535.41 c #Conflicts: 1545000 | #Constraints: 32154
3525.88/3535.41 c #Conflicts: 1546000 | #Constraints: 33154
3525.88/3535.41 c #Conflicts: 1547000 | #Constraints: 34154
3525.88/3535.41 c #Conflicts: 1548000 | #Constraints: 35154
3525.88/3535.41 c #Conflicts: 1549000 | #Constraints: 36154
3525.88/3535.41 c #Conflicts: 1550000 | #Constraints: 37154
3525.88/3535.41 c #Conflicts: 1551000 | #Constraints: 38154
3525.88/3535.41 c #Conflicts: 1552000 | #Constraints: 39154
3525.88/3535.41 c #Conflicts: 1553000 | #Constraints: 40154
3525.88/3535.41 c #Conflicts: 1554000 | #Constraints: 41154
3525.88/3535.41 c #Conflicts: 1555000 | #Constraints: 42154
3525.88/3535.41 c #Conflicts: 1556000 | #Constraints: 43154
3525.88/3535.41 c #Conflicts: 1557000 | #Constraints: 44154
3525.88/3535.41 c #Conflicts: 1558000 | #Constraints: 45154
3525.88/3535.41 c #Conflicts: 1559000 | #Constraints: 46154
3525.88/3535.41 c #Conflicts: 1560000 | #Constraints: 47154
3525.88/3535.41 c #Conflicts: 1561000 | #Constraints: 48154
3525.88/3535.41 c #Conflicts: 1562000 | #Constraints: 49154
3525.88/3535.41 c #Conflicts: 1563000 | #Constraints: 50154
3525.88/3535.41 c #Conflicts: 1564000 | #Constraints: 51154
3525.88/3535.41 c #Conflicts: 1565000 | #Constraints: 52154
3525.88/3535.41 c #Conflicts: 1566000 | #Constraints: 53154
3525.88/3535.41 c INPROCESSING
3525.88/3535.41 c GARBAGE COLLECT
3525.88/3535.41 c #Conflicts: 1567000 | #Constraints: 29356
3525.88/3535.41 c #Conflicts: 1568000 | #Constraints: 30356
3525.88/3535.41 c #Conflicts: 1569000 | #Constraints: 31356
3525.88/3535.41 c #Conflicts: 1570000 | #Constraints: 32356
3525.88/3535.41 c #Conflicts: 1571000 | #Constraints: 33356
3525.88/3535.41 c #Conflicts: 1572000 | #Constraints: 34356
3525.88/3535.41 c #Conflicts: 1573000 | #Constraints: 35356
3525.88/3535.41 c #Conflicts: 1574000 | #Constraints: 36356
3525.88/3535.41 c #Conflicts: 1575000 | #Constraints: 37356
3525.88/3535.41 c #Conflicts: 1576000 | #Constraints: 38356
3525.88/3535.41 c #Conflicts: 1577000 | #Constraints: 39356
3525.88/3535.41 c #Conflicts: 1578000 | #Constraints: 40356
3525.88/3535.41 c #Conflicts: 1579000 | #Constraints: 41356
3525.88/3535.41 c #Conflicts: 1580000 | #Constraints: 42356
3525.88/3535.41 c #Conflicts: 1581000 | #Constraints: 43356
3600.06/3609.80 c #Conflicts: 1582000 | #Constraints: 44356
3600.06/3609.80 c #Conflicts: 1583000 | #Constraints: 45356
3600.06/3609.80 c #Conflicts: 1584000 | #Constraints: 46356
3600.06/3609.80 c #Conflicts: 1585000 | #Constraints: 47356
3600.06/3609.80 c #Conflicts: 1586000 | #Constraints: 48356
3600.06/3609.80 c #Conflicts: 1587000 | #Constraints: 49356
3600.06/3609.80 c #Conflicts: 1588000 | #Constraints: 50356
3600.06/3609.80 c #Conflicts: 1589000 | #Constraints: 51356
3600.06/3609.80 c #Conflicts: 1590000 | #Constraints: 52356
3600.06/3609.80 c #Conflicts: 1591000 | #Constraints: 53356
3600.06/3609.80 c INPROCESSING
3600.06/3609.80 c GARBAGE COLLECT
3600.06/3609.80 c #Conflicts: 1592000 | #Constraints: 29369
3600.06/3609.80 c #Conflicts: 1593000 | #Constraints: 30369
3600.06/3609.80 c #Conflicts: 1594000 | #Constraints: 31369
3600.06/3609.80 c #Conflicts: 1595000 | #Constraints: 32369
3600.06/3609.80 c #Conflicts: 1596000 | #Constraints: 33369
3600.06/3609.80 c #Conflicts: 1597000 | #Constraints: 34369
3600.06/3609.80 c #Conflicts: 1598000 | #Constraints: 35369
3600.06/3609.80 c #Conflicts: 1599000 | #Constraints: 36369
3600.06/3609.80 c #Conflicts: 1600000 | #Constraints: 37369
3600.06/3609.80 c #Conflicts: 1601000 | #Constraints: 38369
3600.06/3609.80 c #Conflicts: 1602000 | #Constraints: 39369
3600.06/3609.80 c Program interrupted by user.
3600.06/3609.80 c cpu time 3588.07 s
3600.06/3609.80 c deterministic time 343571744896 3.44e+11
3600.06/3609.80 c optimization time 31.7895 s
3600.06/3609.80 c total solve time 3257.16 s
3600.06/3609.80 c core-guided solve time 3257.16 s
3600.06/3609.80 c propagation time 3105.43 s
3600.06/3609.80 c conflict analysis time 162.477 s
3600.06/3609.80 c propagations 508707529
3600.06/3609.80 c resolve steps 7183667
3600.06/3609.80 c decisions 7515652
3600.06/3609.80 c conflicts 1602853
3600.06/3609.80 c restarts 3069
3600.06/3609.80 c inprocessing phases 117
3600.06/3609.80 c input clauses 0
3600.06/3609.80 c input cardinalities 0
3600.06/3609.80 c input general constraints 3444
3600.06/3609.80 c input average constraint length 27.48
3600.06/3609.80 c input average constraint degree 352.73
3600.06/3609.80 c learned clauses 545759
3600.06/3609.80 c learned cardinalities 4
3600.06/3609.80 c learned general constraints 1057089
3600.06/3609.80 c learned average constraint length 37.40
3600.06/3609.80 c learned average constraint degree 3084847.07
3600.06/3609.80 c watched constraints 1039177
3600.06/3609.80 c counting constraints 21356
3600.06/3609.80 c gcd simplifications 13189
3600.06/3609.80 c detected cardinalities 4
3600.06/3609.80 c weakened non-implied lits 5730402
3600.06/3609.80 c weakened non-implying lits 5749
3600.06/3609.80 c original variables 1807
3600.06/3609.80 c clausal propagations 1895554
3600.06/3609.80 c cardinality propagations 1
3600.06/3609.80 c watched propagations 463197099
3600.06/3609.80 c counting propagations 42684430
3600.06/3609.80 c watch lookups 75135483117
3600.06/3609.80 c watch backjump lookups 72887130274
3600.06/3609.80 c watch checks 84256093199
3600.06/3609.80 c propagation checks 110023220500
3600.06/3609.80 c constraint additions 235769937
3600.06/3609.80 c trail pops 517824687
3600.06/3609.80 c formula constraints 3443
3600.06/3609.80 c learned constraints 1602852
3600.06/3609.80 c bound constraints 1
3600.06/3609.80 c core-guided constraints 0
3600.06/3609.80 c encountered formula constraints 6227628
3600.06/3609.80 c encountered learned constraints 2558892
3600.06/3609.80 c encountered bound constraints 0
3600.06/3609.80 c encountered core-guided constraints 0
3600.06/3609.80 c LP total time 0 s
3600.06/3609.80 c LP solve time 0 s
3600.06/3609.80 c LP constraints added 0
3600.06/3609.80 c LP constraints removed 0
3600.06/3609.80 c LP pivots internal 0
3600.06/3609.80 c LP pivots root 0
3600.06/3609.80 c LP calls 0
3600.06/3609.80 c LP optimalities 0
3600.06/3609.80 c LP no pivot count 0
3600.06/3609.80 c LP infeasibilities 0
3600.06/3609.80 c LP valid Farkas constraints 0
3600.06/3609.80 c LP learned Farkas constraints 0
3600.06/3609.80 c LP basis resets 0
3600.06/3609.80 c LP cycling count 0
3600.06/3609.80 c LP singular count 0
3600.06/3609.80 c LP no primal count 0
3600.06/3609.80 c LP no farkas count 0
3600.06/3609.80 c LP other issue count 0
3600.06/3609.80 c LP Gomory cuts 0
3600.06/3609.80 c LP learned cuts 0
3600.06/3609.80 c LP deleted cuts 0
3600.06/3609.80 c LP encountered Gomory constraints 0
3600.06/3609.80 c LP encountered Farkas constraints 0
3600.06/3609.80 c LP encountered learned Farkas constraints 0
3600.06/3609.80 c CG auxiliary variables introduced 0
3600.06/3609.80 c CG solutions found 0
3600.06/3609.80 c CG cores constructed 0
3600.06/3609.80 c CG core cardinality constraints returned 0
3600.06/3609.80 c CG unit cores 0
3600.06/3609.80 c CG single cores 0
3600.06/3609.80 c CG blocks removed during cardinality reduction 0
3600.06/3609.80 c CG first core best 0
3600.06/3609.80 c CG decision core best 0
3600.06/3609.80 c CG core reduction tie 0
3600.06/3609.80 c CG core degree average 0.00
3600.06/3609.80 c CG core slack average 0.00
3600.06/3609.80 c CG exhausted 0
3600.06/3609.80 c CG exhaust time 0 s
3600.06/3609.80 c CG trimmed 0
3600.06/3609.80 c CG trim time 0 s
3600.06/3609.80 c CG minimized 0
3600.06/3609.80 c CG minimize time 0 s
3600.06/3609.80 c CG am1 prop time 0.000119 s
3600.06/3609.80 c CG # am1s reformulated 0
3600.06/3609.80 c CG lower bound derived from am1s 0
3600.06/3609.80 c CG # clausal cores 0
3600.06/3609.80 c CG # cardinality cores 0
3600.06/3609.80 c CG # pb cores 0
3600.06/3609.80 c CG # pb reforms 0
3600.06/3609.80 c CG # cores discarded because of pb reform 0
3600.06/3609.80 d LOWERBOUND 0
3600.06/3609.80 d NCORES 0
3600.06/3609.80 d NPBCORES 0
3600.06/3609.80 d NPBREFORM 0
3600.06/3609.80 d NTRIMMED 0
3600.06/3609.80 d NEXHAUSTED 0
3600.06/3609.80 d NAM1S 0
3600.06/3609.80 d AM1LB 0
3600.06/3609.80 c [Papilo Statistics]
3600.06/3609.80 c prepro time 0.0282989s
3600.06/3609.80 c # tsx applied 1768
3600.06/3609.80 c # tsx conflicts 0
3600.06/3609.80 c # bound changes 1
3600.06/3609.80 c # side changes 1510
3600.06/3609.80 c # coef changes 325
3600.06/3609.80 c # rounds 3
3600.06/3609.80 c # deted vars 1
3600.06/3609.80 c # deted constrs 1485
3600.06/3609.80 c # consecutive rounds of only bound changes 0
3600.06/3609.80 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 (61180 MiB free)
memory of node 1: 64465 MiB (62267 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491337-1751379402/watcher-4491337-1751379402 -o /tmp/evaluation-result-4491337-1751379402/solver-4491337-1751379402 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751375766-60450 --watchdog 3760 mixed-bag HOME/instance-4491337-1751379402.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=61282, runsolver pid=61279
[startup+0.100063 s]*
/proc/loadavg: 4.00 4.07 4.08 5/264 61283
/proc/meminfo: memFree=126396020/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=108724 memory=34864 CPUtime=0.09 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 5576 0 0 0 8 1 0 0 20 0 1 0 53618965 111333376 8684 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 27181 8716 4000 2842 0 8875 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 108724 KiB
Current children cumulated memory: 34864 KiB
[startup+0.205751 s]*
/proc/loadavg: 4.00 4.07 4.08 5/264 61283
/proc/meminfo: memFree=126388496/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=135488 memory=59228 CPUtime=0.19 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 11087 0 0 0 17 2 0 0 20 0 1 0 53618965 138739712 14807 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 33872 14807 4096 2842 0 15566 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 135488 KiB
Current children cumulated memory: 59228 KiB
[startup+0.305695 s]*
/proc/loadavg: 4.00 4.07 4.08 5/264 61283
/proc/meminfo: memFree=126353720/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=175380 memory=93532 CPUtime=0.29 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 19608 0 0 0 26 3 0 0 20 0 1 0 53618965 179589120 23383 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 43845 23383 4160 2842 0 25539 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 175380 KiB
Current children cumulated memory: 93532 KiB
[startup+0.700163 s]
/proc/loadavg: 4.00 4.07 4.08 5/264 61283
/proc/meminfo: memFree=126337592/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=223608 memory=136896 CPUtime=0.67 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 31461 0 0 0 62 5 0 0 20 0 1 0 53618965 228974592 34224 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 55902 34224 4288 2842 0 37596 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 223608 KiB
Current children cumulated memory: 136896 KiB
[startup+1.50016 s]
/proc/loadavg: 4.00 4.07 4.08 5/264 61283
/proc/meminfo: memFree=126297524/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=223608 memory=138560 CPUtime=1.47 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 31896 0 0 0 142 5 0 0 20 0 1 0 53618965 228974592 34640 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 55902 34640 4288 2842 0 37596 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 223608 KiB
Current children cumulated memory: 138560 KiB
[startup+3.10568 s]
/proc/loadavg: 4.00 4.07 4.08 5/264 61283
/proc/meminfo: memFree=126273696/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=249188 memory=165496 CPUtime=3.08 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 39648 0 0 0 301 7 0 0 20 0 1 0 53618965 255168512 41374 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 62297 41374 4288 2842 0 43991 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 249188 KiB
Current children cumulated memory: 165496 KiB
[startup+6.3001 s]
/proc/loadavg: 4.00 4.07 4.08 5/264 61283
/proc/meminfo: memFree=126266136/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=248084 memory=164440 CPUtime=6.26 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 41822 0 0 0 619 7 0 0 20 0 1 0 53618965 254038016 41110 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 62021 41110 4288 2842 0 43715 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 248084 KiB
Current children cumulated memory: 164440 KiB
[startup+12.7002 s]
/proc/loadavg: 4.00 4.06 4.08 5/265 61285
/proc/meminfo: memFree=126250292/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=264200 memory=180604 CPUtime=12.65 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 46868 0 0 0 1257 8 0 0 20 0 1 0 53618965 270540800 45151 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 66050 45151 4288 2842 0 47744 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 264200 KiB
Current children cumulated memory: 180604 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 61285
/proc/meminfo: memFree=126224308/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=264824 memory=181384 CPUtime=25.41 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 48349 0 0 0 2533 8 0 0 20 0 1 0 53618965 271179776 45346 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 66206 45346 4288 2842 0 47900 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 264824 KiB
Current children cumulated memory: 181384 KiB
[startup+51.1056 s]
/proc/loadavg: 4.04 4.07 4.08 5/265 61285
/proc/meminfo: memFree=126171712/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=289400 memory=206612 CPUtime=50.94 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 61118 0 0 0 5083 11 0 0 20 0 1 0 53618965 296345600 51653 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 72350 51653 4288 2842 0 54044 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 289400 KiB
Current children cumulated memory: 206612 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.07 4.08 5/265 61287
/proc/meminfo: memFree=126063664/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=303436 memory=220200 CPUtime=101.98 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 77101 0 0 0 10184 14 0 0 20 0 1 0 53618965 310718464 55050 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 75859 55050 4288 2842 0 57553 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 303436 KiB
Current children cumulated memory: 220200 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.07 4.08 5/265 61289
/proc/meminfo: memFree=125978336/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=303436 memory=220200 CPUtime=161.81 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 77129 0 0 0 16167 14 0 0 20 0 1 0 53618965 310718464 55050 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 75859 55050 4288 2842 0 57553 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 303436 KiB
Current children cumulated memory: 220200 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.07 4.08 5/265 61291
/proc/meminfo: memFree=125866248/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=355124 memory=269404 CPUtime=221.63 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 95547 0 0 0 22146 17 0 0 20 0 1 0 53618965 363646976 67351 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 88781 67351 4288 2842 0 70475 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 355124 KiB
Current children cumulated memory: 269404 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/263 61293
/proc/meminfo: memFree=125804116/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=368492 memory=283868 CPUtime=281.45 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 99153 0 0 0 28127 18 0 0 20 0 1 0 53618965 377335808 70967 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 92123 70967 4288 2842 0 73817 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 368492 KiB
Current children cumulated memory: 283868 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.07 4.08 5/262 61295
/proc/meminfo: memFree=125809536/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=342436 memory=269308 CPUtime=341.3 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 103546 0 0 0 34058 72 0 0 20 0 1 0 53618965 350654464 67327 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 85609 67327 4448 2842 0 67303 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 342436 KiB
Current children cumulated memory: 269308 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/263 61298
/proc/meminfo: memFree=125768088/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=345156 memory=270588 CPUtime=401.15 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 103888 0 0 0 39992 123 0 0 20 0 1 0 53618965 353439744 67647 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 86289 67647 4448 2842 0 67983 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 345156 KiB
Current children cumulated memory: 270588 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.08 4.09 5/265 61302
/proc/meminfo: memFree=125765764/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=345156 memory=271484 CPUtime=460.99 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 104101 0 0 0 45928 171 0 0 20 0 1 0 53618965 353439744 67871 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 86289 67871 4448 2842 0 67983 0
################
# More data... #
################
Current children cumulated memory: 291352 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 61430
/proc/meminfo: memFree=125731744/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=356756 memory=291352 CPUtime=2854.6 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 105213 0 0 0 284427 1033 0 0 20 0 1 0 53618965 365318144 72838 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 89189 72838 4448 2842 0 70883 0
Current children cumulated CPU time: 2854.6 s
Current children cumulated vsize: 356756 KiB
Current children cumulated memory: 291352 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 61433
/proc/meminfo: memFree=125732592/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=356756 memory=291352 CPUtime=2914.44 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 105213 0 0 0 290397 1047 0 0 20 0 1 0 53618965 365318144 72838 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 89189 72838 4448 2842 0 70883 0
Current children cumulated CPU time: 2914.44 s
Current children cumulated vsize: 356756 KiB
Current children cumulated memory: 291352 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 61442
/proc/meminfo: memFree=125728940/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=356756 memory=291352 CPUtime=2974.28 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 105213 0 0 0 296366 1062 0 0 20 0 1 0 53618965 365318144 72838 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 89189 72838 4448 2842 0 70883 0
Current children cumulated CPU time: 2974.28 s
Current children cumulated vsize: 356756 KiB
Current children cumulated memory: 291352 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 61444
/proc/meminfo: memFree=125728832/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=356756 memory=291352 CPUtime=3034.12 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 105213 0 0 0 302339 1073 0 0 20 0 1 0 53618965 365318144 72838 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 89189 72838 4448 2842 0 70883 0
Current children cumulated CPU time: 3034.12 s
Current children cumulated vsize: 356756 KiB
Current children cumulated memory: 291352 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 61446
/proc/meminfo: memFree=125728632/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=356756 memory=291352 CPUtime=3093.95 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 105219 0 0 0 308309 1086 0 0 20 0 1 0 53618965 365318144 72838 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 89189 72838 4448 2842 0 70883 0
Current children cumulated CPU time: 3093.95 s
Current children cumulated vsize: 356756 KiB
Current children cumulated memory: 291352 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 61448
/proc/meminfo: memFree=125728280/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=356756 memory=291352 CPUtime=3153.79 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 105220 0 0 0 314279 1100 0 0 20 0 1 0 53618965 365318144 72838 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 89189 72838 4448 2842 0 70883 0
Current children cumulated CPU time: 3153.79 s
Current children cumulated vsize: 356756 KiB
Current children cumulated memory: 291352 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 61451
/proc/meminfo: memFree=125728412/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=356756 memory=291352 CPUtime=3213.63 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 105220 0 0 0 320250 1113 0 0 20 0 1 0 53618965 365318144 72838 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 89189 72838 4448 2842 0 70883 0
Current children cumulated CPU time: 3213.63 s
Current children cumulated vsize: 356756 KiB
Current children cumulated memory: 291352 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 61454
/proc/meminfo: memFree=125728508/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=356756 memory=291352 CPUtime=3273.46 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 105220 0 0 0 326220 1126 0 0 20 0 1 0 53618965 365318144 72838 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 89189 72838 4448 2842 0 70883 0
Current children cumulated CPU time: 3273.46 s
Current children cumulated vsize: 356756 KiB
Current children cumulated memory: 291352 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 61456
/proc/meminfo: memFree=125728340/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=356756 memory=291352 CPUtime=3333.3 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 105220 0 0 0 332190 1140 0 0 20 0 1 0 53618965 365318144 72838 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 89189 72838 4448 2842 0 70883 0
Current children cumulated CPU time: 3333.3 s
Current children cumulated vsize: 356756 KiB
Current children cumulated memory: 291352 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/263 61458
/proc/meminfo: memFree=125724320/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=356756 memory=293400 CPUtime=3393.14 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 105221 0 0 0 338161 1153 0 0 20 0 1 0 53618965 365318144 73350 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 89189 73350 4448 2842 0 70883 0
Current children cumulated CPU time: 3393.14 s
Current children cumulated vsize: 356756 KiB
Current children cumulated memory: 293400 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 61461
/proc/meminfo: memFree=125722840/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=356756 memory=293400 CPUtime=3452.98 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 105221 0 0 0 344131 1167 0 0 20 0 1 0 53618965 365318144 73350 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 89189 73350 4448 2842 0 70883 0
Current children cumulated CPU time: 3452.98 s
Current children cumulated vsize: 356756 KiB
Current children cumulated memory: 293400 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 61463
/proc/meminfo: memFree=125723928/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=356756 memory=293400 CPUtime=3512.81 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 105221 0 0 0 350101 1180 0 0 20 0 1 0 53618965 365318144 73350 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 89189 73350 4448 2842 0 70883 0
Current children cumulated CPU time: 3512.81 s
Current children cumulated vsize: 356756 KiB
Current children cumulated memory: 293400 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 61473
/proc/meminfo: memFree=125723784/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=356756 memory=293400 CPUtime=3572.65 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 105221 0 0 0 356073 1192 0 0 20 0 1 0 53618965 365318144 73350 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 89189 73350 4448 2842 0 70883 0
Current children cumulated CPU time: 3572.65 s
Current children cumulated vsize: 356756 KiB
Current children cumulated memory: 293400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 61924
/proc/meminfo: memFree=125428532/131249992 swapFree=33010684/33010684
[pid=61282] ppid=61279 vsize=356756 memory=293400 CPUtime=3600.06 cores=1,3
/proc/61282/stat : 61282 (mixed-bag) R 61279 61282 60438 0 -1 4194304 105221 0 0 0 358806 1200 0 0 20 0 1 0 53618965 365318144 73350 18446744073709551615 4235264 15874749 140737021567936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 53768192 140737021573532 140737021573609 140737021573609 140737021579211 0
/proc/61282/statm: 89189 73350 4448 2842 0 70883 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 356756 KiB
Current children cumulated memory: 293400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 61282 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.07 s, system=12.0042 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.8
CPU time (s): 3600.07
CPU user time (s): 3588.07
CPU system time (s): 12.0042
CPU usage (%): 99.7304
Max. virtual memory (cumulated for all children) (KiB): 375216
Max. memory (cumulated for all children) (KiB): 293400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.07
system time used= 12.0042
maximum resident set size= 301148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105260
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= 165
involuntary context switches= 4894
# summary of solver processes directly reported to runsolver:
# pid: 61282
# total CPU time (s): 3600.07
# total CPU user time (s): 3588.07
# total CPU system time (s): 12.0042
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.70876 second user time and 17.6148 second system time
The end
Begin job on nodeC025 at 2025-07-01 16:16:42
IDJOB=4491337
IDBENCH=147703
IDSOLVER=3340
FILE ID=nodeC025/4491337-1751379402
RUNJOBID= nodeC025-1751375766-60450
SLURM_JOB_ID= 9598215
Free space on /tmp= 433016 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_12.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491337-1751379402/watcher-4491337-1751379402 -o /tmp/evaluation-result-4491337-1751379402/solver-4491337-1751379402 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751375766-60450 --watchdog 3760 mixed-bag HOME/instance-4491337-1751379402.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6f99dbdca9fbd2980e0943071bb7f8ab
RANDOM SEED=2126997693
nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.832
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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.783
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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.401
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3606.156
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.842
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.851
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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.863
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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.289
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 126410340 kB
MemAvailable: 129206888 kB
Buffers: 3280 kB
Cached: 3594632 kB
SwapCached: 0 kB
Active: 987520 kB
Inactive: 3254940 kB
Active(anon): 662632 kB
Inactive(anon): 0 kB
Active(file): 324888 kB
Inactive(file): 3254940 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33428 kB
Writeback: 36 kB
AnonPages: 647640 kB
Mapped: 136980 kB
Shmem: 18084 kB
KReclaimable: 111920 kB
Slab: 200832 kB
SReclaimable: 111920 kB
SUnreclaim: 88912 kB
KernelStack: 4256 kB
PageTables: 4608 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1066720 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 43008 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC025 at 2025-07-01 17:16:52