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.30/300.24 c [STEP] preprocessing done, loading into solver
299.30/300.26 c [STEP] solving
299.30/300.26 c #variables 1807 #constraints 3443
299.30/300.26 c SMALL=int, LARGE=long long
299.30/300.26 d SCIPUB 48
299.30/300.26 c bounds - >= 0 @ 299.123
299.30/300.26 c stratification level: 0
326.14/327.11 c #Conflicts: 1000 | #Constraints: 4443
326.14/327.11 c #Conflicts: 2000 | #Constraints: 5443
326.14/327.11 c INPROCESSING
326.14/327.11 c GARBAGE COLLECT
326.14/327.11 c #Conflicts: 3000 | #Constraints: 5455
326.14/327.11 c #Conflicts: 4000 | #Constraints: 6455
326.14/327.11 c INPROCESSING
326.14/327.11 c GARBAGE COLLECT
326.14/327.11 c #Conflicts: 5000 | #Constraints: 5868
326.14/327.11 c #Conflicts: 6000 | #Constraints: 6868
326.14/327.11 c INPROCESSING
326.14/327.11 c GARBAGE COLLECT
326.14/327.11 c #Conflicts: 7000 | #Constraints: 5876
326.14/327.11 c #Conflicts: 8000 | #Constraints: 6876
326.14/327.11 c #Conflicts: 9000 | #Constraints: 7876
326.14/327.11 c INPROCESSING
326.14/327.11 c GARBAGE COLLECT
326.14/327.11 c #Conflicts: 10000 | #Constraints: 6585
326.14/327.11 c #Conflicts: 11000 | #Constraints: 7585
326.14/327.11 c #Conflicts: 12000 | #Constraints: 8585
326.14/327.11 c INPROCESSING
326.14/327.11 c GARBAGE COLLECT
326.14/327.11 c #Conflicts: 13000 | #Constraints: 7038
326.14/327.11 c #Conflicts: 14000 | #Constraints: 8038
326.14/327.11 c #Conflicts: 15000 | #Constraints: 9038
326.14/327.11 c INPROCESSING
326.14/327.11 c GARBAGE COLLECT
326.14/327.11 c #Conflicts: 16000 | #Constraints: 7267
326.14/327.11 c #Conflicts: 17000 | #Constraints: 8267
326.14/327.11 c #Conflicts: 18000 | #Constraints: 9267
326.14/327.11 c INPROCESSING
326.14/327.11 c GARBAGE COLLECT
326.14/327.11 c #Conflicts: 19000 | #Constraints: 7276
326.14/327.11 c #Conflicts: 20000 | #Constraints: 8276
326.14/327.11 c #Conflicts: 21000 | #Constraints: 9276
326.14/327.11 c INPROCESSING
326.14/327.11 c GARBAGE COLLECT
326.14/327.11 c #Conflicts: 22000 | #Constraints: 7082
326.14/327.11 c #Conflicts: 23000 | #Constraints: 8082
326.14/327.11 c #Conflicts: 24000 | #Constraints: 9082
326.14/327.11 c #Conflicts: 25000 | #Constraints: 10082
326.14/327.11 c INPROCESSING
326.14/327.11 c GARBAGE COLLECT
326.14/327.11 c #Conflicts: 26000 | #Constraints: 7688
326.14/327.11 c #Conflicts: 27000 | #Constraints: 8688
326.14/327.11 c #Conflicts: 28000 | #Constraints: 9688
326.14/327.11 c #Conflicts: 29000 | #Constraints: 10688
326.14/327.11 c INPROCESSING
326.14/327.11 c GARBAGE COLLECT
326.14/327.11 c #Conflicts: 30000 | #Constraints: 8091
326.14/327.11 c #Conflicts: 31000 | #Constraints: 9091
326.14/327.11 c #Conflicts: 32000 | #Constraints: 10091
326.14/327.11 c #Conflicts: 33000 | #Constraints: 11091
326.14/327.11 c INPROCESSING
326.14/327.11 c GARBAGE COLLECT
326.14/327.11 c #Conflicts: 34000 | #Constraints: 8296
326.14/327.11 c #Conflicts: 35000 | #Constraints: 9296
326.14/327.11 c #Conflicts: 36000 | #Constraints: 10296
326.14/327.11 c #Conflicts: 37000 | #Constraints: 11296
326.14/327.11 c INPROCESSING
326.14/327.11 c GARBAGE COLLECT
326.14/327.11 c #Conflicts: 38000 | #Constraints: 8293
326.14/327.11 c #Conflicts: 39000 | #Constraints: 9293
326.14/327.11 c #Conflicts: 40000 | #Constraints: 10293
326.14/327.11 c #Conflicts: 41000 | #Constraints: 11293
326.14/327.11 c INPROCESSING
326.14/327.11 c GARBAGE COLLECT
326.14/327.11 c #Conflicts: 42000 | #Constraints: 8099
326.14/327.11 c #Conflicts: 43000 | #Constraints: 9099
326.14/327.11 c #Conflicts: 44000 | #Constraints: 10099
326.14/327.11 c #Conflicts: 45000 | #Constraints: 11099
326.14/327.11 c #Conflicts: 46000 | #Constraints: 12099
326.14/327.11 c INPROCESSING
326.14/327.11 c GARBAGE COLLECT
326.14/327.11 c #Conflicts: 47000 | #Constraints: 8706
326.14/327.11 c #Conflicts: 48000 | #Constraints: 9706
326.14/327.11 c #Conflicts: 49000 | #Constraints: 10706
326.14/327.11 c #Conflicts: 50000 | #Constraints: 11706
326.14/327.11 c #Conflicts: 51000 | #Constraints: 12706
326.14/327.11 c INPROCESSING
326.14/327.11 c GARBAGE COLLECT
326.14/327.11 c #Conflicts: 52000 | #Constraints: 9105
326.14/327.11 c #Conflicts: 53000 | #Constraints: 10105
326.14/327.11 c #Conflicts: 54000 | #Constraints: 11105
326.14/327.11 c #Conflicts: 55000 | #Constraints: 12105
326.14/327.11 c #Conflicts: 56000 | #Constraints: 13105
326.14/327.11 c INPROCESSING
326.14/327.11 c GARBAGE COLLECT
326.14/327.11 c #Conflicts: 57000 | #Constraints: 9312
326.14/327.11 c #Conflicts: 58000 | #Constraints: 10312
326.14/327.11 c #Conflicts: 59000 | #Constraints: 11312
326.14/327.11 c #Conflicts: 60000 | #Constraints: 12312
326.14/327.11 c #Conflicts: 61000 | #Constraints: 13312
326.14/327.11 c INPROCESSING
326.14/327.11 c GARBAGE COLLECT
326.14/327.11 c #Conflicts: 62000 | #Constraints: 9306
326.14/327.11 c #Conflicts: 63000 | #Constraints: 10306
326.14/327.11 c #Conflicts: 64000 | #Constraints: 11306
326.14/327.11 c #Conflicts: 65000 | #Constraints: 12306
326.14/327.11 c #Conflicts: 66000 | #Constraints: 13306
326.14/327.11 c INPROCESSING
326.14/327.11 c GARBAGE COLLECT
326.14/327.11 c #Conflicts: 67000 | #Constraints: 9108
326.14/327.11 c #Conflicts: 68000 | #Constraints: 10108
372.03/373.18 c #Conflicts: 69000 | #Constraints: 11108
372.03/373.18 c #Conflicts: 70000 | #Constraints: 12108
372.03/373.18 c #Conflicts: 71000 | #Constraints: 13108
372.03/373.18 c #Conflicts: 72000 | #Constraints: 14108
372.03/373.18 c INPROCESSING
372.03/373.18 c GARBAGE COLLECT
372.03/373.18 c #Conflicts: 73000 | #Constraints: 9705
372.03/373.18 c #Conflicts: 74000 | #Constraints: 10705
372.03/373.18 c #Conflicts: 75000 | #Constraints: 11705
372.03/373.18 c #Conflicts: 76000 | #Constraints: 12705
372.03/373.18 c #Conflicts: 77000 | #Constraints: 13705
372.03/373.18 c #Conflicts: 78000 | #Constraints: 14705
372.03/373.18 c INPROCESSING
372.03/373.18 c GARBAGE COLLECT
372.03/373.18 c #Conflicts: 79000 | #Constraints: 10105
372.03/373.18 c #Conflicts: 80000 | #Constraints: 11105
372.03/373.18 c #Conflicts: 81000 | #Constraints: 12105
372.03/373.18 c #Conflicts: 82000 | #Constraints: 13105
372.03/373.18 c #Conflicts: 83000 | #Constraints: 14105
372.03/373.18 c #Conflicts: 84000 | #Constraints: 15105
372.03/373.18 c INPROCESSING
372.03/373.18 c GARBAGE COLLECT
372.03/373.18 c #Conflicts: 85000 | #Constraints: 10315
372.03/373.18 c #Conflicts: 86000 | #Constraints: 11315
372.03/373.18 c #Conflicts: 87000 | #Constraints: 12315
372.03/373.18 c #Conflicts: 88000 | #Constraints: 13315
372.03/373.18 c #Conflicts: 89000 | #Constraints: 14315
372.03/373.18 c #Conflicts: 90000 | #Constraints: 15315
372.03/373.18 c INPROCESSING
372.03/373.18 c GARBAGE COLLECT
372.03/373.18 c #Conflicts: 91000 | #Constraints: 10325
372.03/373.18 c #Conflicts: 92000 | #Constraints: 11325
372.03/373.18 c #Conflicts: 93000 | #Constraints: 12325
372.03/373.18 c #Conflicts: 94000 | #Constraints: 13325
372.03/373.18 c #Conflicts: 95000 | #Constraints: 14325
372.03/373.18 c #Conflicts: 96000 | #Constraints: 15325
372.03/373.18 c INPROCESSING
372.03/373.18 c GARBAGE COLLECT
372.03/373.18 c #Conflicts: 97000 | #Constraints: 10120
372.03/373.18 c #Conflicts: 98000 | #Constraints: 11120
372.03/373.18 c #Conflicts: 99000 | #Constraints: 12120
372.03/373.18 c #Conflicts: 100000 | #Constraints: 13120
372.03/373.18 c #Conflicts: 101000 | #Constraints: 14120
372.03/373.18 c #Conflicts: 102000 | #Constraints: 15120
372.03/373.18 c #Conflicts: 103000 | #Constraints: 16120
372.03/373.18 c INPROCESSING
372.03/373.18 c GARBAGE COLLECT
372.03/373.18 c #Conflicts: 104000 | #Constraints: 10723
372.03/373.18 c #Conflicts: 105000 | #Constraints: 11723
372.03/373.18 c #Conflicts: 106000 | #Constraints: 12723
372.03/373.18 c #Conflicts: 107000 | #Constraints: 13723
372.03/373.18 c #Conflicts: 108000 | #Constraints: 14723
372.03/373.18 c #Conflicts: 109000 | #Constraints: 15723
372.03/373.18 c #Conflicts: 110000 | #Constraints: 16723
372.03/373.18 c INPROCESSING
372.03/373.18 c GARBAGE COLLECT
372.03/373.18 c #Conflicts: 111000 | #Constraints: 11122
372.03/373.18 c #Conflicts: 112000 | #Constraints: 12122
372.03/373.18 c #Conflicts: 113000 | #Constraints: 13122
372.03/373.18 c #Conflicts: 114000 | #Constraints: 14122
372.03/373.18 c #Conflicts: 115000 | #Constraints: 15122
372.03/373.18 c #Conflicts: 116000 | #Constraints: 16122
372.03/373.18 c #Conflicts: 117000 | #Constraints: 17122
372.03/373.18 c INPROCESSING
372.03/373.18 c GARBAGE COLLECT
372.03/373.18 c #Conflicts: 118000 | #Constraints: 11323
372.03/373.18 c #Conflicts: 119000 | #Constraints: 12323
372.03/373.18 c #Conflicts: 120000 | #Constraints: 13323
372.03/373.18 c #Conflicts: 121000 | #Constraints: 14323
372.03/373.18 c #Conflicts: 122000 | #Constraints: 15323
372.03/373.18 c #Conflicts: 123000 | #Constraints: 16323
372.03/373.18 c #Conflicts: 124000 | #Constraints: 17323
372.03/373.18 c INPROCESSING
372.03/373.18 c GARBAGE COLLECT
372.03/373.18 c #Conflicts: 125000 | #Constraints: 11323
372.03/373.18 c #Conflicts: 126000 | #Constraints: 12323
372.03/373.18 c #Conflicts: 127000 | #Constraints: 13323
372.03/373.18 c #Conflicts: 128000 | #Constraints: 14323
372.03/373.18 c #Conflicts: 129000 | #Constraints: 15323
372.03/373.18 c #Conflicts: 130000 | #Constraints: 16323
372.03/373.18 c #Conflicts: 131000 | #Constraints: 17323
372.03/373.18 c INPROCESSING
372.03/373.18 c GARBAGE COLLECT
372.03/373.18 c #Conflicts: 132000 | #Constraints: 11123
372.03/373.18 c #Conflicts: 133000 | #Constraints: 12123
372.03/373.18 c #Conflicts: 134000 | #Constraints: 13123
372.03/373.18 c #Conflicts: 135000 | #Constraints: 14123
372.03/373.18 c #Conflicts: 136000 | #Constraints: 15123
372.03/373.18 c #Conflicts: 137000 | #Constraints: 16123
372.03/373.18 c #Conflicts: 138000 | #Constraints: 17123
372.03/373.18 c #Conflicts: 139000 | #Constraints: 18123
372.03/373.18 c INPROCESSING
372.03/373.18 c GARBAGE COLLECT
372.03/373.18 c #Conflicts: 140000 | #Constraints: 11727
431.97/433.23 c #Conflicts: 141000 | #Constraints: 12727
431.97/433.23 c #Conflicts: 142000 | #Constraints: 13727
431.97/433.23 c #Conflicts: 143000 | #Constraints: 14727
431.97/433.23 c #Conflicts: 144000 | #Constraints: 15727
431.97/433.23 c #Conflicts: 145000 | #Constraints: 16727
431.97/433.23 c #Conflicts: 146000 | #Constraints: 17727
431.97/433.23 c #Conflicts: 147000 | #Constraints: 18727
431.97/433.23 c INPROCESSING
431.97/433.23 c GARBAGE COLLECT
431.97/433.23 c #Conflicts: 148000 | #Constraints: 12137
431.97/433.23 c #Conflicts: 149000 | #Constraints: 13137
431.97/433.23 c #Conflicts: 150000 | #Constraints: 14137
431.97/433.23 c #Conflicts: 151000 | #Constraints: 15137
431.97/433.23 c #Conflicts: 152000 | #Constraints: 16137
431.97/433.23 c #Conflicts: 153000 | #Constraints: 17137
431.97/433.23 c #Conflicts: 154000 | #Constraints: 18137
431.97/433.23 c #Conflicts: 155000 | #Constraints: 19137
431.97/433.23 c INPROCESSING
431.97/433.23 c GARBAGE COLLECT
431.97/433.23 c #Conflicts: 156000 | #Constraints: 12334
431.97/433.23 c #Conflicts: 157000 | #Constraints: 13334
431.97/433.23 c #Conflicts: 158000 | #Constraints: 14334
431.97/433.23 c #Conflicts: 159000 | #Constraints: 15334
431.97/433.23 c #Conflicts: 160000 | #Constraints: 16334
431.97/433.23 c #Conflicts: 161000 | #Constraints: 17334
431.97/433.23 c #Conflicts: 162000 | #Constraints: 18334
431.97/433.23 c #Conflicts: 163000 | #Constraints: 19334
431.97/433.23 c INPROCESSING
431.97/433.23 c GARBAGE COLLECT
431.97/433.23 c #Conflicts: 164000 | #Constraints: 12326
431.97/433.23 c #Conflicts: 165000 | #Constraints: 13326
431.97/433.23 c #Conflicts: 166000 | #Constraints: 14326
431.97/433.23 c #Conflicts: 167000 | #Constraints: 15326
431.97/433.23 c #Conflicts: 168000 | #Constraints: 16326
431.97/433.23 c #Conflicts: 169000 | #Constraints: 17326
431.97/433.23 c #Conflicts: 170000 | #Constraints: 18326
431.97/433.23 c #Conflicts: 171000 | #Constraints: 19326
431.97/433.23 c INPROCESSING
431.97/433.23 c GARBAGE COLLECT
431.97/433.23 c #Conflicts: 172000 | #Constraints: 12133
431.97/433.23 c #Conflicts: 173000 | #Constraints: 13133
431.97/433.23 c #Conflicts: 174000 | #Constraints: 14133
431.97/433.23 c #Conflicts: 175000 | #Constraints: 15133
431.97/433.23 c #Conflicts: 176000 | #Constraints: 16133
431.97/433.23 c #Conflicts: 177000 | #Constraints: 17133
431.97/433.23 c #Conflicts: 178000 | #Constraints: 18133
431.97/433.23 c #Conflicts: 179000 | #Constraints: 19133
431.97/433.23 c #Conflicts: 180000 | #Constraints: 20133
431.97/433.23 c INPROCESSING
431.97/433.23 c GARBAGE COLLECT
431.97/433.23 c #Conflicts: 181000 | #Constraints: 12736
431.97/433.23 c #Conflicts: 182000 | #Constraints: 13736
431.97/433.23 c #Conflicts: 183000 | #Constraints: 14736
431.97/433.23 c #Conflicts: 184000 | #Constraints: 15736
431.97/433.23 c #Conflicts: 185000 | #Constraints: 16736
431.97/433.23 c #Conflicts: 186000 | #Constraints: 17736
431.97/433.23 c #Conflicts: 187000 | #Constraints: 18736
431.97/433.23 c #Conflicts: 188000 | #Constraints: 19736
431.97/433.23 c #Conflicts: 189000 | #Constraints: 20736
431.97/433.23 c INPROCESSING
431.97/433.23 c GARBAGE COLLECT
431.97/433.23 c #Conflicts: 190000 | #Constraints: 13123
431.97/433.23 c #Conflicts: 191000 | #Constraints: 14123
431.97/433.23 c #Conflicts: 192000 | #Constraints: 15123
431.97/433.23 c #Conflicts: 193000 | #Constraints: 16123
431.97/433.23 c #Conflicts: 194000 | #Constraints: 17123
431.97/433.23 c #Conflicts: 195000 | #Constraints: 18123
431.97/433.23 c #Conflicts: 196000 | #Constraints: 19123
431.97/433.23 c #Conflicts: 197000 | #Constraints: 20123
431.97/433.23 c #Conflicts: 198000 | #Constraints: 21123
431.97/433.23 c INPROCESSING
431.97/433.23 c GARBAGE COLLECT
431.97/433.23 c #Conflicts: 199000 | #Constraints: 13323
431.97/433.23 c #Conflicts: 200000 | #Constraints: 14323
431.97/433.23 c #Conflicts: 201000 | #Constraints: 15323
431.97/433.23 c #Conflicts: 202000 | #Constraints: 16323
431.97/433.23 c #Conflicts: 203000 | #Constraints: 17323
431.97/433.23 c #Conflicts: 204000 | #Constraints: 18323
431.97/433.23 c #Conflicts: 205000 | #Constraints: 19323
431.97/433.23 c #Conflicts: 206000 | #Constraints: 20323
431.97/433.23 c #Conflicts: 207000 | #Constraints: 21323
431.97/433.23 c INPROCESSING
431.97/433.23 c GARBAGE COLLECT
431.97/433.23 c #Conflicts: 208000 | #Constraints: 13325
431.97/433.23 c #Conflicts: 209000 | #Constraints: 14325
431.97/433.23 c #Conflicts: 210000 | #Constraints: 15325
431.97/433.23 c #Conflicts: 211000 | #Constraints: 16325
431.97/433.23 c #Conflicts: 212000 | #Constraints: 17325
431.97/433.23 c #Conflicts: 213000 | #Constraints: 18325
505.08/506.56 c #Conflicts: 214000 | #Constraints: 19325
505.08/506.56 c #Conflicts: 215000 | #Constraints: 20325
505.08/506.56 c #Conflicts: 216000 | #Constraints: 21325
505.08/506.56 c INPROCESSING
505.08/506.56 c GARBAGE COLLECT
505.08/506.56 c #Conflicts: 217000 | #Constraints: 13125
505.08/506.56 c #Conflicts: 218000 | #Constraints: 14125
505.08/506.56 c #Conflicts: 219000 | #Constraints: 15125
505.08/506.56 c #Conflicts: 220000 | #Constraints: 16125
505.08/506.56 c #Conflicts: 221000 | #Constraints: 17125
505.08/506.56 c #Conflicts: 222000 | #Constraints: 18125
505.08/506.56 c #Conflicts: 223000 | #Constraints: 19125
505.08/506.56 c #Conflicts: 224000 | #Constraints: 20125
505.08/506.56 c #Conflicts: 225000 | #Constraints: 21125
505.08/506.56 c #Conflicts: 226000 | #Constraints: 22125
505.08/506.56 c INPROCESSING
505.08/506.56 c GARBAGE COLLECT
505.08/506.56 c #Conflicts: 227000 | #Constraints: 13729
505.08/506.56 c #Conflicts: 228000 | #Constraints: 14729
505.08/506.56 c #Conflicts: 229000 | #Constraints: 15729
505.08/506.56 c #Conflicts: 230000 | #Constraints: 16729
505.08/506.56 c #Conflicts: 231000 | #Constraints: 17729
505.08/506.56 c #Conflicts: 232000 | #Constraints: 18729
505.08/506.56 c #Conflicts: 233000 | #Constraints: 19729
505.08/506.56 c #Conflicts: 234000 | #Constraints: 20729
505.08/506.56 c #Conflicts: 235000 | #Constraints: 21729
505.08/506.56 c #Conflicts: 236000 | #Constraints: 22729
505.08/506.56 c INPROCESSING
505.08/506.56 c GARBAGE COLLECT
505.08/506.56 c #Conflicts: 237000 | #Constraints: 14126
505.08/506.56 c #Conflicts: 238000 | #Constraints: 15126
505.08/506.56 c #Conflicts: 239000 | #Constraints: 16126
505.08/506.56 c #Conflicts: 240000 | #Constraints: 17126
505.08/506.56 c #Conflicts: 241000 | #Constraints: 18126
505.08/506.56 c #Conflicts: 242000 | #Constraints: 19126
505.08/506.56 c #Conflicts: 243000 | #Constraints: 20126
505.08/506.56 c #Conflicts: 244000 | #Constraints: 21126
505.08/506.56 c #Conflicts: 245000 | #Constraints: 22126
505.08/506.56 c #Conflicts: 246000 | #Constraints: 23126
505.08/506.56 c INPROCESSING
505.08/506.56 c GARBAGE COLLECT
505.08/506.56 c #Conflicts: 247000 | #Constraints: 14335
505.08/506.56 c #Conflicts: 248000 | #Constraints: 15335
505.08/506.56 c #Conflicts: 249000 | #Constraints: 16335
505.08/506.56 c #Conflicts: 250000 | #Constraints: 17335
505.08/506.56 c #Conflicts: 251000 | #Constraints: 18335
505.08/506.56 c #Conflicts: 252000 | #Constraints: 19335
505.08/506.56 c #Conflicts: 253000 | #Constraints: 20335
505.08/506.56 c #Conflicts: 254000 | #Constraints: 21335
505.08/506.56 c #Conflicts: 255000 | #Constraints: 22335
505.08/506.56 c #Conflicts: 256000 | #Constraints: 23335
505.08/506.56 c INPROCESSING
505.08/506.56 c GARBAGE COLLECT
505.08/506.56 c #Conflicts: 257000 | #Constraints: 14337
505.08/506.56 c #Conflicts: 258000 | #Constraints: 15337
505.08/506.56 c #Conflicts: 259000 | #Constraints: 16337
505.08/506.56 c #Conflicts: 260000 | #Constraints: 17337
505.08/506.56 c #Conflicts: 261000 | #Constraints: 18337
505.08/506.56 c #Conflicts: 262000 | #Constraints: 19337
505.08/506.56 c #Conflicts: 263000 | #Constraints: 20337
505.08/506.56 c #Conflicts: 264000 | #Constraints: 21337
505.08/506.56 c #Conflicts: 265000 | #Constraints: 22337
505.08/506.56 c #Conflicts: 266000 | #Constraints: 23337
505.08/506.56 c INPROCESSING
505.08/506.56 c GARBAGE COLLECT
505.08/506.56 c #Conflicts: 267000 | #Constraints: 14133
505.08/506.56 c #Conflicts: 268000 | #Constraints: 15133
505.08/506.56 c #Conflicts: 269000 | #Constraints: 16133
505.08/506.56 c #Conflicts: 270000 | #Constraints: 17133
505.08/506.56 c #Conflicts: 271000 | #Constraints: 18133
505.08/506.56 c #Conflicts: 272000 | #Constraints: 19133
505.08/506.56 c #Conflicts: 273000 | #Constraints: 20133
505.08/506.56 c #Conflicts: 274000 | #Constraints: 21133
505.08/506.56 c #Conflicts: 275000 | #Constraints: 22133
505.08/506.56 c #Conflicts: 276000 | #Constraints: 23133
505.08/506.56 c #Conflicts: 277000 | #Constraints: 24133
505.08/506.56 c INPROCESSING
505.08/506.56 c GARBAGE COLLECT
505.08/506.56 c #Conflicts: 278000 | #Constraints: 14729
505.08/506.56 c #Conflicts: 279000 | #Constraints: 15729
505.08/506.56 c #Conflicts: 280000 | #Constraints: 16729
505.08/506.56 c #Conflicts: 281000 | #Constraints: 17729
505.08/506.56 c #Conflicts: 282000 | #Constraints: 18729
505.08/506.56 c #Conflicts: 283000 | #Constraints: 19729
505.08/506.56 c #Conflicts: 284000 | #Constraints: 20729
505.08/506.56 c #Conflicts: 285000 | #Constraints: 21729
505.08/506.56 c #Conflicts: 286000 | #Constraints: 22729
505.08/506.56 c #Conflicts: 287000 | #Constraints: 23729
505.08/506.56 c #Conflicts: 288000 | #Constraints: 24729
588.96/590.68 c INPROCESSING
588.96/590.68 c GARBAGE COLLECT
588.96/590.68 c #Conflicts: 289000 | #Constraints: 15134
588.96/590.68 c #Conflicts: 290000 | #Constraints: 16134
588.96/590.68 c #Conflicts: 291000 | #Constraints: 17134
588.96/590.68 c #Conflicts: 292000 | #Constraints: 18134
588.96/590.68 c #Conflicts: 293000 | #Constraints: 19134
588.96/590.68 c #Conflicts: 294000 | #Constraints: 20134
588.96/590.68 c #Conflicts: 295000 | #Constraints: 21134
588.96/590.68 c #Conflicts: 296000 | #Constraints: 22134
588.96/590.68 c #Conflicts: 297000 | #Constraints: 23134
588.96/590.68 c #Conflicts: 298000 | #Constraints: 24134
588.96/590.68 c #Conflicts: 299000 | #Constraints: 25134
588.96/590.68 c INPROCESSING
588.96/590.68 c GARBAGE COLLECT
588.96/590.68 c #Conflicts: 300000 | #Constraints: 15332
588.96/590.68 c #Conflicts: 301000 | #Constraints: 16332
588.96/590.68 c #Conflicts: 302000 | #Constraints: 17332
588.96/590.68 c #Conflicts: 303000 | #Constraints: 18332
588.96/590.68 c #Conflicts: 304000 | #Constraints: 19332
588.96/590.68 c #Conflicts: 305000 | #Constraints: 20332
588.96/590.68 c #Conflicts: 306000 | #Constraints: 21332
588.96/590.68 c #Conflicts: 307000 | #Constraints: 22332
588.96/590.68 c #Conflicts: 308000 | #Constraints: 23332
588.96/590.68 c #Conflicts: 309000 | #Constraints: 24332
588.96/590.68 c #Conflicts: 310000 | #Constraints: 25332
588.96/590.68 c INPROCESSING
588.96/590.68 c GARBAGE COLLECT
588.96/590.68 c #Conflicts: 311000 | #Constraints: 15350
588.96/590.68 c #Conflicts: 312000 | #Constraints: 16350
588.96/590.68 c #Conflicts: 313000 | #Constraints: 17350
588.96/590.68 c #Conflicts: 314000 | #Constraints: 18350
588.96/590.68 c #Conflicts: 315000 | #Constraints: 19350
588.96/590.68 c #Conflicts: 316000 | #Constraints: 20350
588.96/590.68 c #Conflicts: 317000 | #Constraints: 21350
588.96/590.68 c #Conflicts: 318000 | #Constraints: 22350
588.96/590.68 c #Conflicts: 319000 | #Constraints: 23350
588.96/590.68 c #Conflicts: 320000 | #Constraints: 24350
588.96/590.68 c #Conflicts: 321000 | #Constraints: 25350
588.96/590.68 c INPROCESSING
588.96/590.68 c GARBAGE COLLECT
588.96/590.68 c #Conflicts: 322000 | #Constraints: 15133
588.96/590.68 c #Conflicts: 323000 | #Constraints: 16133
588.96/590.68 c #Conflicts: 324000 | #Constraints: 17133
588.96/590.68 c #Conflicts: 325000 | #Constraints: 18133
588.96/590.68 c #Conflicts: 326000 | #Constraints: 19133
588.96/590.68 c #Conflicts: 327000 | #Constraints: 20133
588.96/590.68 c #Conflicts: 328000 | #Constraints: 21133
588.96/590.68 c #Conflicts: 329000 | #Constraints: 22133
588.96/590.68 c #Conflicts: 330000 | #Constraints: 23133
588.96/590.68 c #Conflicts: 331000 | #Constraints: 24133
588.96/590.68 c #Conflicts: 332000 | #Constraints: 25133
588.96/590.68 c #Conflicts: 333000 | #Constraints: 26133
588.96/590.68 c INPROCESSING
588.96/590.68 c GARBAGE COLLECT
588.96/590.68 c #Conflicts: 334000 | #Constraints: 15727
588.96/590.68 c #Conflicts: 335000 | #Constraints: 16727
588.96/590.68 c #Conflicts: 336000 | #Constraints: 17727
588.96/590.68 c #Conflicts: 337000 | #Constraints: 18727
588.96/590.68 c #Conflicts: 338000 | #Constraints: 19727
588.96/590.68 c #Conflicts: 339000 | #Constraints: 20727
588.96/590.68 c #Conflicts: 340000 | #Constraints: 21727
588.96/590.68 c #Conflicts: 341000 | #Constraints: 22727
588.96/590.68 c #Conflicts: 342000 | #Constraints: 23727
588.96/590.68 c #Conflicts: 343000 | #Constraints: 24727
588.96/590.68 c #Conflicts: 344000 | #Constraints: 25727
588.96/590.68 c #Conflicts: 345000 | #Constraints: 26727
588.96/590.68 c INPROCESSING
588.96/590.68 c GARBAGE COLLECT
588.96/590.68 c #Conflicts: 346000 | #Constraints: 16128
588.96/590.68 c #Conflicts: 347000 | #Constraints: 17128
588.96/590.68 c #Conflicts: 348000 | #Constraints: 18128
588.96/590.68 c #Conflicts: 349000 | #Constraints: 19128
588.96/590.68 c #Conflicts: 350000 | #Constraints: 20128
588.96/590.68 c #Conflicts: 351000 | #Constraints: 21128
588.96/590.68 c #Conflicts: 352000 | #Constraints: 22128
588.96/590.68 c #Conflicts: 353000 | #Constraints: 23128
588.96/590.68 c #Conflicts: 354000 | #Constraints: 24128
588.96/590.68 c #Conflicts: 355000 | #Constraints: 25128
588.96/590.68 c #Conflicts: 356000 | #Constraints: 26128
588.96/590.68 c #Conflicts: 357000 | #Constraints: 27128
588.96/590.68 c INPROCESSING
588.96/590.68 c GARBAGE COLLECT
588.96/590.68 c #Conflicts: 358000 | #Constraints: 16335
588.96/590.68 c #Conflicts: 359000 | #Constraints: 17335
588.96/590.68 c #Conflicts: 360000 | #Constraints: 18335
588.96/590.68 c #Conflicts: 361000 | #Constraints: 19335
588.96/590.68 c #Conflicts: 362000 | #Constraints: 20335
687.00/689.00 c #Conflicts: 363000 | #Constraints: 21335
687.00/689.00 c #Conflicts: 364000 | #Constraints: 22335
687.00/689.00 c #Conflicts: 365000 | #Constraints: 23335
687.00/689.00 c #Conflicts: 366000 | #Constraints: 24335
687.00/689.00 c #Conflicts: 367000 | #Constraints: 25335
687.00/689.00 c #Conflicts: 368000 | #Constraints: 26335
687.00/689.00 c #Conflicts: 369000 | #Constraints: 27335
687.00/689.00 c INPROCESSING
687.00/689.00 c GARBAGE COLLECT
687.00/689.00 c #Conflicts: 370000 | #Constraints: 16332
687.00/689.00 c #Conflicts: 371000 | #Constraints: 17332
687.00/689.00 c #Conflicts: 372000 | #Constraints: 18332
687.00/689.00 c #Conflicts: 373000 | #Constraints: 19332
687.00/689.00 c #Conflicts: 374000 | #Constraints: 20332
687.00/689.00 c #Conflicts: 375000 | #Constraints: 21332
687.00/689.00 c #Conflicts: 376000 | #Constraints: 22332
687.00/689.00 c #Conflicts: 377000 | #Constraints: 23332
687.00/689.00 c #Conflicts: 378000 | #Constraints: 24332
687.00/689.00 c #Conflicts: 379000 | #Constraints: 25332
687.00/689.00 c #Conflicts: 380000 | #Constraints: 26332
687.00/689.00 c #Conflicts: 381000 | #Constraints: 27332
687.00/689.00 c INPROCESSING
687.00/689.00 c GARBAGE COLLECT
687.00/689.00 c #Conflicts: 382000 | #Constraints: 16132
687.00/689.00 c #Conflicts: 383000 | #Constraints: 17132
687.00/689.00 c #Conflicts: 384000 | #Constraints: 18132
687.00/689.00 c #Conflicts: 385000 | #Constraints: 19132
687.00/689.00 c #Conflicts: 386000 | #Constraints: 20132
687.00/689.00 c #Conflicts: 387000 | #Constraints: 21132
687.00/689.00 c #Conflicts: 388000 | #Constraints: 22132
687.00/689.00 c #Conflicts: 389000 | #Constraints: 23132
687.00/689.00 c #Conflicts: 390000 | #Constraints: 24132
687.00/689.00 c #Conflicts: 391000 | #Constraints: 25132
687.00/689.00 c #Conflicts: 392000 | #Constraints: 26132
687.00/689.00 c #Conflicts: 393000 | #Constraints: 27132
687.00/689.00 c #Conflicts: 394000 | #Constraints: 28132
687.00/689.00 c INPROCESSING
687.00/689.00 c GARBAGE COLLECT
687.00/689.00 c #Conflicts: 395000 | #Constraints: 16721
687.00/689.00 c #Conflicts: 396000 | #Constraints: 17721
687.00/689.00 c #Conflicts: 397000 | #Constraints: 18721
687.00/689.00 c #Conflicts: 398000 | #Constraints: 19721
687.00/689.00 c #Conflicts: 399000 | #Constraints: 20721
687.00/689.00 c #Conflicts: 400000 | #Constraints: 21721
687.00/689.00 c #Conflicts: 401000 | #Constraints: 22721
687.00/689.00 c #Conflicts: 402000 | #Constraints: 23721
687.00/689.00 c #Conflicts: 403000 | #Constraints: 24721
687.00/689.00 c #Conflicts: 404000 | #Constraints: 25721
687.00/689.00 c #Conflicts: 405000 | #Constraints: 26721
687.00/689.00 c #Conflicts: 406000 | #Constraints: 27721
687.00/689.00 c #Conflicts: 407000 | #Constraints: 28721
687.00/689.00 c INPROCESSING
687.00/689.00 c GARBAGE COLLECT
687.00/689.00 c #Conflicts: 408000 | #Constraints: 17124
687.00/689.00 c #Conflicts: 409000 | #Constraints: 18124
687.00/689.00 c #Conflicts: 410000 | #Constraints: 19124
687.00/689.00 c #Conflicts: 411000 | #Constraints: 20124
687.00/689.00 c #Conflicts: 412000 | #Constraints: 21124
687.00/689.00 c #Conflicts: 413000 | #Constraints: 22124
687.00/689.00 c #Conflicts: 414000 | #Constraints: 23124
687.00/689.00 c #Conflicts: 415000 | #Constraints: 24124
687.00/689.00 c #Conflicts: 416000 | #Constraints: 25124
687.00/689.00 c #Conflicts: 417000 | #Constraints: 26124
687.00/689.00 c #Conflicts: 418000 | #Constraints: 27124
687.00/689.00 c #Conflicts: 419000 | #Constraints: 28124
687.00/689.00 c #Conflicts: 420000 | #Constraints: 29124
687.00/689.00 c INPROCESSING
687.00/689.00 c GARBAGE COLLECT
687.00/689.00 c #Conflicts: 421000 | #Constraints: 17336
687.00/689.00 c #Conflicts: 422000 | #Constraints: 18336
687.00/689.00 c #Conflicts: 423000 | #Constraints: 19336
687.00/689.00 c #Conflicts: 424000 | #Constraints: 20336
687.00/689.00 c #Conflicts: 425000 | #Constraints: 21336
687.00/689.00 c #Conflicts: 426000 | #Constraints: 22336
687.00/689.00 c #Conflicts: 427000 | #Constraints: 23336
687.00/689.00 c #Conflicts: 428000 | #Constraints: 24336
687.00/689.00 c #Conflicts: 429000 | #Constraints: 25336
687.00/689.00 c #Conflicts: 430000 | #Constraints: 26336
687.00/689.00 c #Conflicts: 431000 | #Constraints: 27336
687.00/689.00 c #Conflicts: 432000 | #Constraints: 28336
687.00/689.00 c #Conflicts: 433000 | #Constraints: 29336
687.00/689.00 c INPROCESSING
687.00/689.00 c GARBAGE COLLECT
687.00/689.00 c #Conflicts: 434000 | #Constraints: 17325
687.00/689.00 c #Conflicts: 435000 | #Constraints: 18325
687.00/689.00 c #Conflicts: 436000 | #Constraints: 19325
687.00/689.00 c #Conflicts: 437000 | #Constraints: 20325
797.50/799.74 c #Conflicts: 438000 | #Constraints: 21325
797.50/799.74 c #Conflicts: 439000 | #Constraints: 22325
797.50/799.74 c #Conflicts: 440000 | #Constraints: 23325
797.50/799.74 c #Conflicts: 441000 | #Constraints: 24325
797.50/799.74 c #Conflicts: 442000 | #Constraints: 25325
797.50/799.74 c #Conflicts: 443000 | #Constraints: 26325
797.50/799.74 c #Conflicts: 444000 | #Constraints: 27325
797.50/799.74 c #Conflicts: 445000 | #Constraints: 28325
797.50/799.74 c #Conflicts: 446000 | #Constraints: 29325
797.50/799.74 c INPROCESSING
797.50/799.74 c GARBAGE COLLECT
797.50/799.74 c #Conflicts: 447000 | #Constraints: 17131
797.50/799.74 c #Conflicts: 448000 | #Constraints: 18131
797.50/799.74 c #Conflicts: 449000 | #Constraints: 19131
797.50/799.74 c #Conflicts: 450000 | #Constraints: 20131
797.50/799.74 c #Conflicts: 451000 | #Constraints: 21131
797.50/799.74 c #Conflicts: 452000 | #Constraints: 22131
797.50/799.74 c #Conflicts: 453000 | #Constraints: 23131
797.50/799.74 c #Conflicts: 454000 | #Constraints: 24131
797.50/799.74 c #Conflicts: 455000 | #Constraints: 25131
797.50/799.74 c #Conflicts: 456000 | #Constraints: 26131
797.50/799.74 c #Conflicts: 457000 | #Constraints: 27131
797.50/799.74 c #Conflicts: 458000 | #Constraints: 28131
797.50/799.74 c #Conflicts: 459000 | #Constraints: 29131
797.50/799.74 c #Conflicts: 460000 | #Constraints: 30131
797.50/799.74 c INPROCESSING
797.50/799.74 c GARBAGE COLLECT
797.50/799.74 c #Conflicts: 461000 | #Constraints: 17732
797.50/799.74 c #Conflicts: 462000 | #Constraints: 18732
797.50/799.74 c #Conflicts: 463000 | #Constraints: 19732
797.50/799.74 c #Conflicts: 464000 | #Constraints: 20732
797.50/799.74 c #Conflicts: 465000 | #Constraints: 21732
797.50/799.74 c #Conflicts: 466000 | #Constraints: 22732
797.50/799.74 c #Conflicts: 467000 | #Constraints: 23732
797.50/799.74 c #Conflicts: 468000 | #Constraints: 24732
797.50/799.74 c #Conflicts: 469000 | #Constraints: 25732
797.50/799.74 c #Conflicts: 470000 | #Constraints: 26732
797.50/799.74 c #Conflicts: 471000 | #Constraints: 27732
797.50/799.74 c #Conflicts: 472000 | #Constraints: 28732
797.50/799.74 c #Conflicts: 473000 | #Constraints: 29732
797.50/799.74 c #Conflicts: 474000 | #Constraints: 30732
797.50/799.74 c INPROCESSING
797.50/799.74 c GARBAGE COLLECT
797.50/799.74 c #Conflicts: 475000 | #Constraints: 18141
797.50/799.74 c #Conflicts: 476000 | #Constraints: 19141
797.50/799.74 c #Conflicts: 477000 | #Constraints: 20141
797.50/799.74 c #Conflicts: 478000 | #Constraints: 21141
797.50/799.74 c #Conflicts: 479000 | #Constraints: 22141
797.50/799.74 c #Conflicts: 480000 | #Constraints: 23141
797.50/799.74 c #Conflicts: 481000 | #Constraints: 24141
797.50/799.74 c #Conflicts: 482000 | #Constraints: 25141
797.50/799.74 c #Conflicts: 483000 | #Constraints: 26141
797.50/799.74 c #Conflicts: 484000 | #Constraints: 27141
797.50/799.74 c #Conflicts: 485000 | #Constraints: 28141
797.50/799.74 c #Conflicts: 486000 | #Constraints: 29141
797.50/799.74 c #Conflicts: 487000 | #Constraints: 30141
797.50/799.74 c #Conflicts: 488000 | #Constraints: 31141
797.50/799.74 c INPROCESSING
797.50/799.74 c GARBAGE COLLECT
797.50/799.74 c #Conflicts: 489000 | #Constraints: 18344
797.50/799.74 c #Conflicts: 490000 | #Constraints: 19344
797.50/799.74 c #Conflicts: 491000 | #Constraints: 20344
797.50/799.74 c #Conflicts: 492000 | #Constraints: 21344
797.50/799.74 c #Conflicts: 493000 | #Constraints: 22344
797.50/799.74 c #Conflicts: 494000 | #Constraints: 23344
797.50/799.74 c #Conflicts: 495000 | #Constraints: 24344
797.50/799.74 c #Conflicts: 496000 | #Constraints: 25344
797.50/799.74 c #Conflicts: 497000 | #Constraints: 26344
797.50/799.74 c #Conflicts: 498000 | #Constraints: 27344
797.50/799.74 c #Conflicts: 499000 | #Constraints: 28344
797.50/799.74 c #Conflicts: 500000 | #Constraints: 29344
797.50/799.74 c #Conflicts: 501000 | #Constraints: 30344
797.50/799.74 c #Conflicts: 502000 | #Constraints: 31344
797.50/799.74 c INPROCESSING
797.50/799.74 c GARBAGE COLLECT
797.50/799.74 c #Conflicts: 503000 | #Constraints: 18350
797.50/799.74 c #Conflicts: 504000 | #Constraints: 19350
797.50/799.74 c #Conflicts: 505000 | #Constraints: 20350
797.50/799.74 c #Conflicts: 506000 | #Constraints: 21350
797.50/799.74 c #Conflicts: 507000 | #Constraints: 22350
797.50/799.74 c #Conflicts: 508000 | #Constraints: 23350
797.50/799.74 c #Conflicts: 509000 | #Constraints: 24350
797.50/799.74 c #Conflicts: 510000 | #Constraints: 25350
797.50/799.74 c #Conflicts: 511000 | #Constraints: 26350
797.50/799.74 c #Conflicts: 512000 | #Constraints: 27350
797.50/799.74 c #Conflicts: 513000 | #Constraints: 28350
918.59/921.15 c #Conflicts: 514000 | #Constraints: 29350
918.59/921.15 c #Conflicts: 515000 | #Constraints: 30350
918.59/921.15 c #Conflicts: 516000 | #Constraints: 31350
918.59/921.15 c INPROCESSING
918.59/921.15 c GARBAGE COLLECT
918.59/921.15 c #Conflicts: 517000 | #Constraints: 18144
918.59/921.15 c #Conflicts: 518000 | #Constraints: 19144
918.59/921.15 c #Conflicts: 519000 | #Constraints: 20144
918.59/921.15 c #Conflicts: 520000 | #Constraints: 21144
918.59/921.15 c #Conflicts: 521000 | #Constraints: 22144
918.59/921.15 c #Conflicts: 522000 | #Constraints: 23144
918.59/921.15 c #Conflicts: 523000 | #Constraints: 24144
918.59/921.15 c #Conflicts: 524000 | #Constraints: 25144
918.59/921.15 c #Conflicts: 525000 | #Constraints: 26144
918.59/921.15 c #Conflicts: 526000 | #Constraints: 27144
918.59/921.15 c #Conflicts: 527000 | #Constraints: 28144
918.59/921.15 c #Conflicts: 528000 | #Constraints: 29144
918.59/921.15 c #Conflicts: 529000 | #Constraints: 30144
918.59/921.15 c #Conflicts: 530000 | #Constraints: 31144
918.59/921.15 c #Conflicts: 531000 | #Constraints: 32144
918.59/921.15 c INPROCESSING
918.59/921.15 c GARBAGE COLLECT
918.59/921.15 c #Conflicts: 532000 | #Constraints: 18746
918.59/921.15 c #Conflicts: 533000 | #Constraints: 19746
918.59/921.15 c #Conflicts: 534000 | #Constraints: 20746
918.59/921.15 c #Conflicts: 535000 | #Constraints: 21746
918.59/921.15 c #Conflicts: 536000 | #Constraints: 22746
918.59/921.15 c #Conflicts: 537000 | #Constraints: 23746
918.59/921.15 c #Conflicts: 538000 | #Constraints: 24746
918.59/921.15 c #Conflicts: 539000 | #Constraints: 25746
918.59/921.15 c #Conflicts: 540000 | #Constraints: 26746
918.59/921.15 c #Conflicts: 541000 | #Constraints: 27746
918.59/921.15 c #Conflicts: 542000 | #Constraints: 28746
918.59/921.15 c #Conflicts: 543000 | #Constraints: 29746
918.59/921.15 c #Conflicts: 544000 | #Constraints: 30746
918.59/921.15 c #Conflicts: 545000 | #Constraints: 31746
918.59/921.15 c #Conflicts: 546000 | #Constraints: 32746
918.59/921.15 c INPROCESSING
918.59/921.15 c GARBAGE COLLECT
918.59/921.15 c #Conflicts: 547000 | #Constraints: 19147
918.59/921.15 c #Conflicts: 548000 | #Constraints: 20147
918.59/921.15 c #Conflicts: 549000 | #Constraints: 21147
918.59/921.15 c #Conflicts: 550000 | #Constraints: 22147
918.59/921.15 c #Conflicts: 551000 | #Constraints: 23147
918.59/921.15 c #Conflicts: 552000 | #Constraints: 24147
918.59/921.15 c #Conflicts: 553000 | #Constraints: 25147
918.59/921.15 c #Conflicts: 554000 | #Constraints: 26147
918.59/921.15 c #Conflicts: 555000 | #Constraints: 27147
918.59/921.15 c #Conflicts: 556000 | #Constraints: 28147
918.59/921.15 c #Conflicts: 557000 | #Constraints: 29147
918.59/921.15 c #Conflicts: 558000 | #Constraints: 30147
918.59/921.15 c #Conflicts: 559000 | #Constraints: 31147
918.59/921.15 c #Conflicts: 560000 | #Constraints: 32147
918.59/921.15 c #Conflicts: 561000 | #Constraints: 33147
918.59/921.15 c INPROCESSING
918.59/921.15 c GARBAGE COLLECT
918.59/921.15 c #Conflicts: 562000 | #Constraints: 19338
918.59/921.15 c #Conflicts: 563000 | #Constraints: 20338
918.59/921.15 c #Conflicts: 564000 | #Constraints: 21338
918.59/921.15 c #Conflicts: 565000 | #Constraints: 22338
918.59/921.15 c #Conflicts: 566000 | #Constraints: 23338
918.59/921.15 c #Conflicts: 567000 | #Constraints: 24338
918.59/921.15 c #Conflicts: 568000 | #Constraints: 25338
918.59/921.15 c #Conflicts: 569000 | #Constraints: 26338
918.59/921.15 c #Conflicts: 570000 | #Constraints: 27338
918.59/921.15 c #Conflicts: 571000 | #Constraints: 28338
918.59/921.15 c #Conflicts: 572000 | #Constraints: 29338
918.59/921.15 c #Conflicts: 573000 | #Constraints: 30338
918.59/921.15 c #Conflicts: 574000 | #Constraints: 31338
918.59/921.15 c #Conflicts: 575000 | #Constraints: 32338
918.59/921.15 c #Conflicts: 576000 | #Constraints: 33338
918.59/921.15 c INPROCESSING
918.59/921.15 c GARBAGE COLLECT
918.59/921.15 c #Conflicts: 577000 | #Constraints: 19338
918.59/921.15 c #Conflicts: 578000 | #Constraints: 20338
918.59/921.15 c #Conflicts: 579000 | #Constraints: 21338
918.59/921.15 c #Conflicts: 580000 | #Constraints: 22338
918.59/921.15 c #Conflicts: 581000 | #Constraints: 23338
918.59/921.15 c #Conflicts: 582000 | #Constraints: 24338
918.59/921.15 c #Conflicts: 583000 | #Constraints: 25338
918.59/921.15 c #Conflicts: 584000 | #Constraints: 26338
918.59/921.15 c #Conflicts: 585000 | #Constraints: 27338
918.59/921.15 c #Conflicts: 586000 | #Constraints: 28338
918.59/921.15 c #Conflicts: 587000 | #Constraints: 29338
918.59/921.15 c #Conflicts: 588000 | #Constraints: 30338
1048.34/1051.27 c #Conflicts: 589000 | #Constraints: 31338
1048.34/1051.27 c #Conflicts: 590000 | #Constraints: 32338
1048.34/1051.27 c #Conflicts: 591000 | #Constraints: 33338
1048.34/1051.27 c INPROCESSING
1048.34/1051.27 c GARBAGE COLLECT
1048.34/1051.27 c #Conflicts: 592000 | #Constraints: 19134
1048.34/1051.27 c #Conflicts: 593000 | #Constraints: 20134
1048.34/1051.27 c #Conflicts: 594000 | #Constraints: 21134
1048.34/1051.27 c #Conflicts: 595000 | #Constraints: 22134
1048.34/1051.27 c #Conflicts: 596000 | #Constraints: 23134
1048.34/1051.27 c #Conflicts: 597000 | #Constraints: 24134
1048.34/1051.27 c #Conflicts: 598000 | #Constraints: 25134
1048.34/1051.27 c #Conflicts: 599000 | #Constraints: 26134
1048.34/1051.27 c #Conflicts: 600000 | #Constraints: 27134
1048.34/1051.27 c #Conflicts: 601000 | #Constraints: 28134
1048.34/1051.27 c #Conflicts: 602000 | #Constraints: 29134
1048.34/1051.27 c #Conflicts: 603000 | #Constraints: 30134
1048.34/1051.27 c #Conflicts: 604000 | #Constraints: 31134
1048.34/1051.27 c #Conflicts: 605000 | #Constraints: 32134
1048.34/1051.27 c #Conflicts: 606000 | #Constraints: 33134
1048.34/1051.27 c #Conflicts: 607000 | #Constraints: 34134
1048.34/1051.27 c INPROCESSING
1048.34/1051.27 c GARBAGE COLLECT
1048.34/1051.27 c #Conflicts: 608000 | #Constraints: 19741
1048.34/1051.27 c #Conflicts: 609000 | #Constraints: 20741
1048.34/1051.27 c #Conflicts: 610000 | #Constraints: 21741
1048.34/1051.27 c #Conflicts: 611000 | #Constraints: 22741
1048.34/1051.27 c #Conflicts: 612000 | #Constraints: 23741
1048.34/1051.27 c #Conflicts: 613000 | #Constraints: 24741
1048.34/1051.27 c #Conflicts: 614000 | #Constraints: 25741
1048.34/1051.27 c #Conflicts: 615000 | #Constraints: 26741
1048.34/1051.27 c #Conflicts: 616000 | #Constraints: 27741
1048.34/1051.27 c #Conflicts: 617000 | #Constraints: 28741
1048.34/1051.27 c #Conflicts: 618000 | #Constraints: 29741
1048.34/1051.27 c #Conflicts: 619000 | #Constraints: 30741
1048.34/1051.27 c #Conflicts: 620000 | #Constraints: 31741
1048.34/1051.27 c #Conflicts: 621000 | #Constraints: 32741
1048.34/1051.27 c #Conflicts: 622000 | #Constraints: 33741
1048.34/1051.27 c #Conflicts: 623000 | #Constraints: 34741
1048.34/1051.27 c INPROCESSING
1048.34/1051.27 c GARBAGE COLLECT
1048.34/1051.27 c #Conflicts: 624000 | #Constraints: 20143
1048.34/1051.27 c #Conflicts: 625000 | #Constraints: 21143
1048.34/1051.27 c #Conflicts: 626000 | #Constraints: 22143
1048.34/1051.27 c #Conflicts: 627000 | #Constraints: 23143
1048.34/1051.27 c #Conflicts: 628000 | #Constraints: 24143
1048.34/1051.27 c #Conflicts: 629000 | #Constraints: 25143
1048.34/1051.27 c #Conflicts: 630000 | #Constraints: 26143
1048.34/1051.27 c #Conflicts: 631000 | #Constraints: 27143
1048.34/1051.27 c #Conflicts: 632000 | #Constraints: 28143
1048.34/1051.27 c #Conflicts: 633000 | #Constraints: 29143
1048.34/1051.27 c #Conflicts: 634000 | #Constraints: 30143
1048.34/1051.27 c #Conflicts: 635000 | #Constraints: 31143
1048.34/1051.27 c #Conflicts: 636000 | #Constraints: 32143
1048.34/1051.27 c #Conflicts: 637000 | #Constraints: 33143
1048.34/1051.27 c #Conflicts: 638000 | #Constraints: 34143
1048.34/1051.27 c #Conflicts: 639000 | #Constraints: 35143
1048.34/1051.27 c INPROCESSING
1048.34/1051.27 c GARBAGE COLLECT
1048.34/1051.27 c #Conflicts: 640000 | #Constraints: 20337
1048.34/1051.27 c #Conflicts: 641000 | #Constraints: 21337
1048.34/1051.27 c #Conflicts: 642000 | #Constraints: 22337
1048.34/1051.27 c #Conflicts: 643000 | #Constraints: 23337
1048.34/1051.27 c #Conflicts: 644000 | #Constraints: 24337
1048.34/1051.27 c #Conflicts: 645000 | #Constraints: 25337
1048.34/1051.27 c #Conflicts: 646000 | #Constraints: 26337
1048.34/1051.27 c #Conflicts: 647000 | #Constraints: 27337
1048.34/1051.27 c #Conflicts: 648000 | #Constraints: 28337
1048.34/1051.27 c #Conflicts: 649000 | #Constraints: 29337
1048.34/1051.27 c #Conflicts: 650000 | #Constraints: 30337
1048.34/1051.27 c #Conflicts: 651000 | #Constraints: 31337
1048.34/1051.27 c #Conflicts: 652000 | #Constraints: 32337
1048.34/1051.27 c #Conflicts: 653000 | #Constraints: 33337
1048.34/1051.27 c #Conflicts: 654000 | #Constraints: 34337
1048.34/1051.27 c #Conflicts: 655000 | #Constraints: 35337
1048.34/1051.27 c INPROCESSING
1048.34/1051.27 c GARBAGE COLLECT
1048.34/1051.27 c #Conflicts: 656000 | #Constraints: 20322
1048.34/1051.27 c #Conflicts: 657000 | #Constraints: 21322
1048.34/1051.27 c #Conflicts: 658000 | #Constraints: 22322
1048.34/1051.27 c #Conflicts: 659000 | #Constraints: 23322
1048.34/1051.27 c #Conflicts: 660000 | #Constraints: 24322
1048.34/1051.27 c #Conflicts: 661000 | #Constraints: 25322
1048.34/1051.27 c #Conflicts: 662000 | #Constraints: 26322
1048.34/1051.27 c #Conflicts: 663000 | #Constraints: 27322
1048.34/1051.27 c #Conflicts: 664000 | #Constraints: 28322
1190.97/1194.20 c #Conflicts: 665000 | #Constraints: 29322
1190.97/1194.20 c #Conflicts: 666000 | #Constraints: 30322
1190.97/1194.20 c #Conflicts: 667000 | #Constraints: 31322
1190.97/1194.20 c #Conflicts: 668000 | #Constraints: 32322
1190.97/1194.20 c #Conflicts: 669000 | #Constraints: 33322
1190.97/1194.20 c #Conflicts: 670000 | #Constraints: 34322
1190.97/1194.20 c #Conflicts: 671000 | #Constraints: 35322
1190.97/1194.20 c INPROCESSING
1190.97/1194.20 c GARBAGE COLLECT
1190.97/1194.20 c #Conflicts: 672000 | #Constraints: 20124
1190.97/1194.20 c #Conflicts: 673000 | #Constraints: 21124
1190.97/1194.20 c #Conflicts: 674000 | #Constraints: 22124
1190.97/1194.20 c #Conflicts: 675000 | #Constraints: 23124
1190.97/1194.20 c #Conflicts: 676000 | #Constraints: 24124
1190.97/1194.20 c #Conflicts: 677000 | #Constraints: 25124
1190.97/1194.20 c #Conflicts: 678000 | #Constraints: 26124
1190.97/1194.20 c #Conflicts: 679000 | #Constraints: 27124
1190.97/1194.20 c #Conflicts: 680000 | #Constraints: 28124
1190.97/1194.20 c #Conflicts: 681000 | #Constraints: 29124
1190.97/1194.20 c #Conflicts: 682000 | #Constraints: 30124
1190.97/1194.20 c #Conflicts: 683000 | #Constraints: 31124
1190.97/1194.20 c #Conflicts: 684000 | #Constraints: 32124
1190.97/1194.20 c #Conflicts: 685000 | #Constraints: 33124
1190.97/1194.20 c #Conflicts: 686000 | #Constraints: 34124
1190.97/1194.20 c #Conflicts: 687000 | #Constraints: 35124
1190.97/1194.20 c #Conflicts: 688000 | #Constraints: 36124
1190.97/1194.20 c INPROCESSING
1190.97/1194.20 c GARBAGE COLLECT
1190.97/1194.20 c #Conflicts: 689000 | #Constraints: 20721
1190.97/1194.20 c #Conflicts: 690000 | #Constraints: 21721
1190.97/1194.20 c #Conflicts: 691000 | #Constraints: 22721
1190.97/1194.20 c #Conflicts: 692000 | #Constraints: 23721
1190.97/1194.20 c #Conflicts: 693000 | #Constraints: 24721
1190.97/1194.20 c #Conflicts: 694000 | #Constraints: 25721
1190.97/1194.20 c #Conflicts: 695000 | #Constraints: 26721
1190.97/1194.20 c #Conflicts: 696000 | #Constraints: 27721
1190.97/1194.20 c #Conflicts: 697000 | #Constraints: 28721
1190.97/1194.20 c #Conflicts: 698000 | #Constraints: 29721
1190.97/1194.20 c #Conflicts: 699000 | #Constraints: 30721
1190.97/1194.20 c #Conflicts: 700000 | #Constraints: 31721
1190.97/1194.20 c #Conflicts: 701000 | #Constraints: 32721
1190.97/1194.20 c #Conflicts: 702000 | #Constraints: 33721
1190.97/1194.20 c #Conflicts: 703000 | #Constraints: 34721
1190.97/1194.20 c #Conflicts: 704000 | #Constraints: 35721
1190.97/1194.20 c #Conflicts: 705000 | #Constraints: 36721
1190.97/1194.20 c INPROCESSING
1190.97/1194.20 c GARBAGE COLLECT
1190.97/1194.20 c #Conflicts: 706000 | #Constraints: 21126
1190.97/1194.20 c #Conflicts: 707000 | #Constraints: 22126
1190.97/1194.20 c #Conflicts: 708000 | #Constraints: 23126
1190.97/1194.20 c #Conflicts: 709000 | #Constraints: 24126
1190.97/1194.20 c #Conflicts: 710000 | #Constraints: 25126
1190.97/1194.20 c #Conflicts: 711000 | #Constraints: 26126
1190.97/1194.20 c #Conflicts: 712000 | #Constraints: 27126
1190.97/1194.20 c #Conflicts: 713000 | #Constraints: 28126
1190.97/1194.20 c #Conflicts: 714000 | #Constraints: 29126
1190.97/1194.20 c #Conflicts: 715000 | #Constraints: 30126
1190.97/1194.20 c #Conflicts: 716000 | #Constraints: 31126
1190.97/1194.20 c #Conflicts: 717000 | #Constraints: 32126
1190.97/1194.20 c #Conflicts: 718000 | #Constraints: 33126
1190.97/1194.20 c #Conflicts: 719000 | #Constraints: 34126
1190.97/1194.20 c #Conflicts: 720000 | #Constraints: 35126
1190.97/1194.20 c #Conflicts: 721000 | #Constraints: 36126
1190.97/1194.20 c #Conflicts: 722000 | #Constraints: 37126
1190.97/1194.20 c INPROCESSING
1190.97/1194.20 c GARBAGE COLLECT
1190.97/1194.20 c #Conflicts: 723000 | #Constraints: 21328
1190.97/1194.20 c #Conflicts: 724000 | #Constraints: 22328
1190.97/1194.20 c #Conflicts: 725000 | #Constraints: 23328
1190.97/1194.20 c #Conflicts: 726000 | #Constraints: 24328
1190.97/1194.20 c #Conflicts: 727000 | #Constraints: 25328
1190.97/1194.20 c #Conflicts: 728000 | #Constraints: 26328
1190.97/1194.20 c #Conflicts: 729000 | #Constraints: 27328
1190.97/1194.20 c #Conflicts: 730000 | #Constraints: 28328
1190.97/1194.20 c #Conflicts: 731000 | #Constraints: 29328
1190.97/1194.20 c #Conflicts: 732000 | #Constraints: 30328
1190.97/1194.20 c #Conflicts: 733000 | #Constraints: 31328
1190.97/1194.20 c #Conflicts: 734000 | #Constraints: 32328
1190.97/1194.20 c #Conflicts: 735000 | #Constraints: 33328
1190.97/1194.20 c #Conflicts: 736000 | #Constraints: 34328
1190.97/1194.20 c #Conflicts: 737000 | #Constraints: 35328
1190.97/1194.20 c #Conflicts: 738000 | #Constraints: 36328
1190.97/1194.20 c #Conflicts: 739000 | #Constraints: 37328
1190.97/1194.20 c INPROCESSING
1190.97/1194.20 c GARBAGE COLLECT
1346.97/1350.62 c #Conflicts: 740000 | #Constraints: 21347
1346.97/1350.62 c #Conflicts: 741000 | #Constraints: 22347
1346.97/1350.62 c #Conflicts: 742000 | #Constraints: 23347
1346.97/1350.62 c #Conflicts: 743000 | #Constraints: 24347
1346.97/1350.62 c #Conflicts: 744000 | #Constraints: 25347
1346.97/1350.62 c #Conflicts: 745000 | #Constraints: 26347
1346.97/1350.62 c #Conflicts: 746000 | #Constraints: 27347
1346.97/1350.62 c #Conflicts: 747000 | #Constraints: 28347
1346.97/1350.62 c #Conflicts: 748000 | #Constraints: 29347
1346.97/1350.62 c #Conflicts: 749000 | #Constraints: 30347
1346.97/1350.62 c #Conflicts: 750000 | #Constraints: 31347
1346.97/1350.62 c #Conflicts: 751000 | #Constraints: 32347
1346.97/1350.62 c #Conflicts: 752000 | #Constraints: 33347
1346.97/1350.62 c #Conflicts: 753000 | #Constraints: 34347
1346.97/1350.62 c #Conflicts: 754000 | #Constraints: 35347
1346.97/1350.62 c #Conflicts: 755000 | #Constraints: 36347
1346.97/1350.62 c #Conflicts: 756000 | #Constraints: 37347
1346.97/1350.62 c INPROCESSING
1346.97/1350.62 c GARBAGE COLLECT
1346.97/1350.62 c #Conflicts: 757000 | #Constraints: 21151
1346.97/1350.62 c #Conflicts: 758000 | #Constraints: 22151
1346.97/1350.62 c #Conflicts: 759000 | #Constraints: 23151
1346.97/1350.62 c #Conflicts: 760000 | #Constraints: 24151
1346.97/1350.62 c #Conflicts: 761000 | #Constraints: 25151
1346.97/1350.62 c #Conflicts: 762000 | #Constraints: 26151
1346.97/1350.62 c #Conflicts: 763000 | #Constraints: 27151
1346.97/1350.62 c #Conflicts: 764000 | #Constraints: 28151
1346.97/1350.62 c #Conflicts: 765000 | #Constraints: 29151
1346.97/1350.62 c #Conflicts: 766000 | #Constraints: 30151
1346.97/1350.62 c #Conflicts: 767000 | #Constraints: 31151
1346.97/1350.62 c #Conflicts: 768000 | #Constraints: 32151
1346.97/1350.62 c #Conflicts: 769000 | #Constraints: 33151
1346.97/1350.62 c #Conflicts: 770000 | #Constraints: 34151
1346.97/1350.62 c #Conflicts: 771000 | #Constraints: 35151
1346.97/1350.62 c #Conflicts: 772000 | #Constraints: 36151
1346.97/1350.62 c #Conflicts: 773000 | #Constraints: 37151
1346.97/1350.62 c #Conflicts: 774000 | #Constraints: 38151
1346.97/1350.62 c INPROCESSING
1346.97/1350.62 c GARBAGE COLLECT
1346.97/1350.62 c #Conflicts: 775000 | #Constraints: 21745
1346.97/1350.62 c #Conflicts: 776000 | #Constraints: 22745
1346.97/1350.62 c #Conflicts: 777000 | #Constraints: 23745
1346.97/1350.62 c #Conflicts: 778000 | #Constraints: 24745
1346.97/1350.62 c #Conflicts: 779000 | #Constraints: 25745
1346.97/1350.62 c #Conflicts: 780000 | #Constraints: 26745
1346.97/1350.62 c #Conflicts: 781000 | #Constraints: 27745
1346.97/1350.62 c #Conflicts: 782000 | #Constraints: 28745
1346.97/1350.62 c #Conflicts: 783000 | #Constraints: 29745
1346.97/1350.62 c #Conflicts: 784000 | #Constraints: 30745
1346.97/1350.62 c #Conflicts: 785000 | #Constraints: 31745
1346.97/1350.62 c #Conflicts: 786000 | #Constraints: 32745
1346.97/1350.62 c #Conflicts: 787000 | #Constraints: 33745
1346.97/1350.62 c #Conflicts: 788000 | #Constraints: 34745
1346.97/1350.62 c #Conflicts: 789000 | #Constraints: 35745
1346.97/1350.62 c #Conflicts: 790000 | #Constraints: 36745
1346.97/1350.62 c #Conflicts: 791000 | #Constraints: 37745
1346.97/1350.62 c #Conflicts: 792000 | #Constraints: 38745
1346.97/1350.62 c INPROCESSING
1346.97/1350.62 c GARBAGE COLLECT
1346.97/1350.62 c #Conflicts: 793000 | #Constraints: 22144
1346.97/1350.62 c #Conflicts: 794000 | #Constraints: 23144
1346.97/1350.62 c #Conflicts: 795000 | #Constraints: 24144
1346.97/1350.62 c #Conflicts: 796000 | #Constraints: 25144
1346.97/1350.62 c #Conflicts: 797000 | #Constraints: 26144
1346.97/1350.62 c #Conflicts: 798000 | #Constraints: 27144
1346.97/1350.62 c #Conflicts: 799000 | #Constraints: 28144
1346.97/1350.62 c #Conflicts: 800000 | #Constraints: 29144
1346.97/1350.62 c #Conflicts: 801000 | #Constraints: 30144
1346.97/1350.62 c #Conflicts: 802000 | #Constraints: 31144
1346.97/1350.62 c #Conflicts: 803000 | #Constraints: 32144
1346.97/1350.62 c #Conflicts: 804000 | #Constraints: 33144
1346.97/1350.62 c #Conflicts: 805000 | #Constraints: 34144
1346.97/1350.62 c #Conflicts: 806000 | #Constraints: 35144
1346.97/1350.62 c #Conflicts: 807000 | #Constraints: 36144
1346.97/1350.62 c #Conflicts: 808000 | #Constraints: 37144
1346.97/1350.62 c #Conflicts: 809000 | #Constraints: 38144
1346.97/1350.62 c #Conflicts: 810000 | #Constraints: 39144
1346.97/1350.62 c INPROCESSING
1346.97/1350.62 c GARBAGE COLLECT
1346.97/1350.62 c #Conflicts: 811000 | #Constraints: 22335
1346.97/1350.62 c #Conflicts: 812000 | #Constraints: 23335
1346.97/1350.62 c #Conflicts: 813000 | #Constraints: 24335
1346.97/1350.62 c #Conflicts: 814000 | #Constraints: 25335
1346.97/1350.62 c #Conflicts: 815000 | #Constraints: 26335
1346.97/1350.62 c #Conflicts: 816000 | #Constraints: 27335
1515.23/1519.38 c #Conflicts: 817000 | #Constraints: 28335
1515.23/1519.38 c #Conflicts: 818000 | #Constraints: 29335
1515.23/1519.38 c #Conflicts: 819000 | #Constraints: 30335
1515.23/1519.38 c #Conflicts: 820000 | #Constraints: 31335
1515.23/1519.38 c #Conflicts: 821000 | #Constraints: 32335
1515.23/1519.38 c #Conflicts: 822000 | #Constraints: 33335
1515.23/1519.38 c #Conflicts: 823000 | #Constraints: 34335
1515.23/1519.38 c #Conflicts: 824000 | #Constraints: 35335
1515.23/1519.38 c #Conflicts: 825000 | #Constraints: 36335
1515.23/1519.38 c #Conflicts: 826000 | #Constraints: 37335
1515.23/1519.38 c #Conflicts: 827000 | #Constraints: 38335
1515.23/1519.38 c #Conflicts: 828000 | #Constraints: 39335
1515.23/1519.38 c INPROCESSING
1515.23/1519.38 c GARBAGE COLLECT
1515.23/1519.38 c #Conflicts: 829000 | #Constraints: 22339
1515.23/1519.38 c #Conflicts: 830000 | #Constraints: 23339
1515.23/1519.38 c #Conflicts: 831000 | #Constraints: 24339
1515.23/1519.38 c #Conflicts: 832000 | #Constraints: 25339
1515.23/1519.38 c #Conflicts: 833000 | #Constraints: 26339
1515.23/1519.38 c #Conflicts: 834000 | #Constraints: 27339
1515.23/1519.38 c #Conflicts: 835000 | #Constraints: 28339
1515.23/1519.38 c #Conflicts: 836000 | #Constraints: 29339
1515.23/1519.38 c #Conflicts: 837000 | #Constraints: 30339
1515.23/1519.38 c #Conflicts: 838000 | #Constraints: 31339
1515.23/1519.38 c #Conflicts: 839000 | #Constraints: 32339
1515.23/1519.38 c #Conflicts: 840000 | #Constraints: 33339
1515.23/1519.38 c #Conflicts: 841000 | #Constraints: 34339
1515.23/1519.38 c #Conflicts: 842000 | #Constraints: 35339
1515.23/1519.38 c #Conflicts: 843000 | #Constraints: 36339
1515.23/1519.38 c #Conflicts: 844000 | #Constraints: 37339
1515.23/1519.38 c #Conflicts: 845000 | #Constraints: 38339
1515.23/1519.38 c #Conflicts: 846000 | #Constraints: 39339
1515.23/1519.38 c INPROCESSING
1515.23/1519.38 c GARBAGE COLLECT
1515.23/1519.38 c #Conflicts: 847000 | #Constraints: 22153
1515.23/1519.38 c #Conflicts: 848000 | #Constraints: 23153
1515.23/1519.38 c #Conflicts: 849000 | #Constraints: 24153
1515.23/1519.38 c #Conflicts: 850000 | #Constraints: 25153
1515.23/1519.38 c #Conflicts: 851000 | #Constraints: 26153
1515.23/1519.38 c #Conflicts: 852000 | #Constraints: 27153
1515.23/1519.38 c #Conflicts: 853000 | #Constraints: 28153
1515.23/1519.38 c #Conflicts: 854000 | #Constraints: 29153
1515.23/1519.38 c #Conflicts: 855000 | #Constraints: 30153
1515.23/1519.38 c #Conflicts: 856000 | #Constraints: 31153
1515.23/1519.38 c #Conflicts: 857000 | #Constraints: 32153
1515.23/1519.38 c #Conflicts: 858000 | #Constraints: 33153
1515.23/1519.38 c #Conflicts: 859000 | #Constraints: 34153
1515.23/1519.38 c #Conflicts: 860000 | #Constraints: 35153
1515.23/1519.38 c #Conflicts: 861000 | #Constraints: 36153
1515.23/1519.38 c #Conflicts: 862000 | #Constraints: 37153
1515.23/1519.38 c #Conflicts: 863000 | #Constraints: 38153
1515.23/1519.38 c #Conflicts: 864000 | #Constraints: 39153
1515.23/1519.38 c #Conflicts: 865000 | #Constraints: 40153
1515.23/1519.38 c INPROCESSING
1515.23/1519.38 c GARBAGE COLLECT
1515.23/1519.38 c #Conflicts: 866000 | #Constraints: 22755
1515.23/1519.38 c #Conflicts: 867000 | #Constraints: 23755
1515.23/1519.38 c #Conflicts: 868000 | #Constraints: 24755
1515.23/1519.38 c #Conflicts: 869000 | #Constraints: 25755
1515.23/1519.38 c #Conflicts: 870000 | #Constraints: 26755
1515.23/1519.38 c #Conflicts: 871000 | #Constraints: 27755
1515.23/1519.38 c #Conflicts: 872000 | #Constraints: 28755
1515.23/1519.38 c #Conflicts: 873000 | #Constraints: 29755
1515.23/1519.38 c #Conflicts: 874000 | #Constraints: 30755
1515.23/1519.38 c #Conflicts: 875000 | #Constraints: 31755
1515.23/1519.38 c #Conflicts: 876000 | #Constraints: 32755
1515.23/1519.38 c #Conflicts: 877000 | #Constraints: 33755
1515.23/1519.38 c #Conflicts: 878000 | #Constraints: 34755
1515.23/1519.38 c #Conflicts: 879000 | #Constraints: 35755
1515.23/1519.38 c #Conflicts: 880000 | #Constraints: 36755
1515.23/1519.38 c #Conflicts: 881000 | #Constraints: 37755
1515.23/1519.38 c #Conflicts: 882000 | #Constraints: 38755
1515.23/1519.38 c #Conflicts: 883000 | #Constraints: 39755
1515.23/1519.38 c #Conflicts: 884000 | #Constraints: 40755
1515.23/1519.38 c INPROCESSING
1515.23/1519.38 c GARBAGE COLLECT
1515.23/1519.38 c #Conflicts: 885000 | #Constraints: 23154
1515.23/1519.38 c #Conflicts: 886000 | #Constraints: 24154
1515.23/1519.38 c #Conflicts: 887000 | #Constraints: 25154
1515.23/1519.38 c #Conflicts: 888000 | #Constraints: 26154
1515.23/1519.38 c #Conflicts: 889000 | #Constraints: 27154
1515.23/1519.38 c #Conflicts: 890000 | #Constraints: 28154
1515.23/1519.38 c #Conflicts: 891000 | #Constraints: 29154
1515.23/1519.38 c #Conflicts: 892000 | #Constraints: 30154
1683.19/1687.79 c #Conflicts: 893000 | #Constraints: 31154
1683.19/1687.79 c #Conflicts: 894000 | #Constraints: 32154
1683.19/1687.79 c #Conflicts: 895000 | #Constraints: 33154
1683.19/1687.79 c #Conflicts: 896000 | #Constraints: 34154
1683.19/1687.79 c #Conflicts: 897000 | #Constraints: 35154
1683.19/1687.79 c #Conflicts: 898000 | #Constraints: 36154
1683.19/1687.79 c #Conflicts: 899000 | #Constraints: 37154
1683.19/1687.79 c #Conflicts: 900000 | #Constraints: 38154
1683.19/1687.79 c #Conflicts: 901000 | #Constraints: 39154
1683.19/1687.79 c #Conflicts: 902000 | #Constraints: 40154
1683.19/1687.79 c #Conflicts: 903000 | #Constraints: 41154
1683.19/1687.79 c INPROCESSING
1683.19/1687.79 c GARBAGE COLLECT
1683.19/1687.79 c #Conflicts: 904000 | #Constraints: 23350
1683.19/1687.79 c #Conflicts: 905000 | #Constraints: 24350
1683.19/1687.79 c #Conflicts: 906000 | #Constraints: 25350
1683.19/1687.79 c #Conflicts: 907000 | #Constraints: 26350
1683.19/1687.79 c #Conflicts: 908000 | #Constraints: 27350
1683.19/1687.79 c #Conflicts: 909000 | #Constraints: 28350
1683.19/1687.79 c #Conflicts: 910000 | #Constraints: 29350
1683.19/1687.79 c #Conflicts: 911000 | #Constraints: 30350
1683.19/1687.79 c #Conflicts: 912000 | #Constraints: 31350
1683.19/1687.79 c #Conflicts: 913000 | #Constraints: 32350
1683.19/1687.79 c #Conflicts: 914000 | #Constraints: 33350
1683.19/1687.79 c #Conflicts: 915000 | #Constraints: 34350
1683.19/1687.79 c #Conflicts: 916000 | #Constraints: 35350
1683.19/1687.79 c #Conflicts: 917000 | #Constraints: 36350
1683.19/1687.79 c #Conflicts: 918000 | #Constraints: 37350
1683.19/1687.79 c #Conflicts: 919000 | #Constraints: 38350
1683.19/1687.79 c #Conflicts: 920000 | #Constraints: 39350
1683.19/1687.79 c #Conflicts: 921000 | #Constraints: 40350
1683.19/1687.79 c #Conflicts: 922000 | #Constraints: 41350
1683.19/1687.79 c INPROCESSING
1683.19/1687.79 c GARBAGE COLLECT
1683.19/1687.79 c #Conflicts: 923000 | #Constraints: 23336
1683.19/1687.79 c #Conflicts: 924000 | #Constraints: 24336
1683.19/1687.79 c #Conflicts: 925000 | #Constraints: 25336
1683.19/1687.79 c #Conflicts: 926000 | #Constraints: 26336
1683.19/1687.79 c #Conflicts: 927000 | #Constraints: 27336
1683.19/1687.79 c #Conflicts: 928000 | #Constraints: 28336
1683.19/1687.79 c #Conflicts: 929000 | #Constraints: 29336
1683.19/1687.79 c #Conflicts: 930000 | #Constraints: 30336
1683.19/1687.79 c #Conflicts: 931000 | #Constraints: 31336
1683.19/1687.79 c #Conflicts: 932000 | #Constraints: 32336
1683.19/1687.79 c #Conflicts: 933000 | #Constraints: 33336
1683.19/1687.79 c #Conflicts: 934000 | #Constraints: 34336
1683.19/1687.79 c #Conflicts: 935000 | #Constraints: 35336
1683.19/1687.79 c #Conflicts: 936000 | #Constraints: 36336
1683.19/1687.79 c #Conflicts: 937000 | #Constraints: 37336
1683.19/1687.79 c #Conflicts: 938000 | #Constraints: 38336
1683.19/1687.79 c #Conflicts: 939000 | #Constraints: 39336
1683.19/1687.79 c #Conflicts: 940000 | #Constraints: 40336
1683.19/1687.79 c #Conflicts: 941000 | #Constraints: 41336
1683.19/1687.79 c INPROCESSING
1683.19/1687.79 c GARBAGE COLLECT
1683.19/1687.79 c #Conflicts: 942000 | #Constraints: 23140
1683.19/1687.79 c #Conflicts: 943000 | #Constraints: 24140
1683.19/1687.79 c #Conflicts: 944000 | #Constraints: 25140
1683.19/1687.79 c #Conflicts: 945000 | #Constraints: 26140
1683.19/1687.79 c #Conflicts: 946000 | #Constraints: 27140
1683.19/1687.79 c #Conflicts: 947000 | #Constraints: 28140
1683.19/1687.79 c #Conflicts: 948000 | #Constraints: 29140
1683.19/1687.79 c #Conflicts: 949000 | #Constraints: 30140
1683.19/1687.79 c #Conflicts: 950000 | #Constraints: 31140
1683.19/1687.79 c #Conflicts: 951000 | #Constraints: 32140
1683.19/1687.79 c #Conflicts: 952000 | #Constraints: 33140
1683.19/1687.79 c #Conflicts: 953000 | #Constraints: 34140
1683.19/1687.79 c #Conflicts: 954000 | #Constraints: 35140
1683.19/1687.79 c #Conflicts: 955000 | #Constraints: 36140
1683.19/1687.79 c #Conflicts: 956000 | #Constraints: 37140
1683.19/1687.79 c #Conflicts: 957000 | #Constraints: 38140
1683.19/1687.79 c #Conflicts: 958000 | #Constraints: 39140
1683.19/1687.79 c #Conflicts: 959000 | #Constraints: 40140
1683.19/1687.79 c #Conflicts: 960000 | #Constraints: 41140
1683.19/1687.79 c #Conflicts: 961000 | #Constraints: 42140
1683.19/1687.79 c INPROCESSING
1683.19/1687.79 c GARBAGE COLLECT
1683.19/1687.79 c #Conflicts: 962000 | #Constraints: 23736
1683.19/1687.79 c #Conflicts: 963000 | #Constraints: 24736
1683.19/1687.79 c #Conflicts: 964000 | #Constraints: 25736
1683.19/1687.79 c #Conflicts: 965000 | #Constraints: 26736
1683.19/1687.79 c #Conflicts: 966000 | #Constraints: 27736
1683.19/1687.79 c #Conflicts: 967000 | #Constraints: 28736
1683.19/1687.79 c #Conflicts: 968000 | #Constraints: 29736
1874.68/1879.70 c #Conflicts: 969000 | #Constraints: 30736
1874.68/1879.70 c #Conflicts: 970000 | #Constraints: 31736
1874.68/1879.70 c #Conflicts: 971000 | #Constraints: 32736
1874.68/1879.70 c #Conflicts: 972000 | #Constraints: 33736
1874.68/1879.70 c #Conflicts: 973000 | #Constraints: 34736
1874.68/1879.70 c #Conflicts: 974000 | #Constraints: 35736
1874.68/1879.70 c #Conflicts: 975000 | #Constraints: 36736
1874.68/1879.70 c #Conflicts: 976000 | #Constraints: 37736
1874.68/1879.70 c #Conflicts: 977000 | #Constraints: 38736
1874.68/1879.70 c #Conflicts: 978000 | #Constraints: 39736
1874.68/1879.70 c #Conflicts: 979000 | #Constraints: 40736
1874.68/1879.70 c #Conflicts: 980000 | #Constraints: 41736
1874.68/1879.70 c #Conflicts: 981000 | #Constraints: 42736
1874.68/1879.70 c INPROCESSING
1874.68/1879.70 c GARBAGE COLLECT
1874.68/1879.70 c #Conflicts: 982000 | #Constraints: 24134
1874.68/1879.70 c #Conflicts: 983000 | #Constraints: 25134
1874.68/1879.70 c #Conflicts: 984000 | #Constraints: 26134
1874.68/1879.70 c #Conflicts: 985000 | #Constraints: 27134
1874.68/1879.70 c #Conflicts: 986000 | #Constraints: 28134
1874.68/1879.70 c #Conflicts: 987000 | #Constraints: 29134
1874.68/1879.70 c #Conflicts: 988000 | #Constraints: 30134
1874.68/1879.70 c #Conflicts: 989000 | #Constraints: 31134
1874.68/1879.70 c #Conflicts: 990000 | #Constraints: 32134
1874.68/1879.70 c #Conflicts: 991000 | #Constraints: 33134
1874.68/1879.70 c #Conflicts: 992000 | #Constraints: 34134
1874.68/1879.70 c #Conflicts: 993000 | #Constraints: 35134
1874.68/1879.70 c #Conflicts: 994000 | #Constraints: 36134
1874.68/1879.70 c #Conflicts: 995000 | #Constraints: 37134
1874.68/1879.70 c #Conflicts: 996000 | #Constraints: 38134
1874.68/1879.70 c #Conflicts: 997000 | #Constraints: 39134
1874.68/1879.70 c #Conflicts: 998000 | #Constraints: 40134
1874.68/1879.70 c #Conflicts: 999000 | #Constraints: 41134
1874.68/1879.70 c #Conflicts: 1000000 | #Constraints: 42134
1874.68/1879.70 c #Conflicts: 1001000 | #Constraints: 43134
1874.68/1879.70 c INPROCESSING
1874.68/1879.70 c GARBAGE COLLECT
1874.68/1879.70 c #Conflicts: 1002000 | #Constraints: 24348
1874.68/1879.70 c #Conflicts: 1003000 | #Constraints: 25348
1874.68/1879.70 c #Conflicts: 1004000 | #Constraints: 26348
1874.68/1879.70 c #Conflicts: 1005000 | #Constraints: 27348
1874.68/1879.70 c #Conflicts: 1006000 | #Constraints: 28348
1874.68/1879.70 c #Conflicts: 1007000 | #Constraints: 29348
1874.68/1879.70 c #Conflicts: 1008000 | #Constraints: 30348
1874.68/1879.70 c #Conflicts: 1009000 | #Constraints: 31348
1874.68/1879.70 c #Conflicts: 1010000 | #Constraints: 32348
1874.68/1879.70 c #Conflicts: 1011000 | #Constraints: 33348
1874.68/1879.70 c #Conflicts: 1012000 | #Constraints: 34348
1874.68/1879.70 c #Conflicts: 1013000 | #Constraints: 35348
1874.68/1879.70 c #Conflicts: 1014000 | #Constraints: 36348
1874.68/1879.70 c #Conflicts: 1015000 | #Constraints: 37348
1874.68/1879.70 c #Conflicts: 1016000 | #Constraints: 38348
1874.68/1879.70 c #Conflicts: 1017000 | #Constraints: 39348
1874.68/1879.70 c #Conflicts: 1018000 | #Constraints: 40348
1874.68/1879.70 c #Conflicts: 1019000 | #Constraints: 41348
1874.68/1879.70 c #Conflicts: 1020000 | #Constraints: 42348
1874.68/1879.70 c #Conflicts: 1021000 | #Constraints: 43348
1874.68/1879.70 c INPROCESSING
1874.68/1879.70 c GARBAGE COLLECT
1874.68/1879.70 c #Conflicts: 1022000 | #Constraints: 24346
1874.68/1879.70 c #Conflicts: 1023000 | #Constraints: 25346
1874.68/1879.70 c #Conflicts: 1024000 | #Constraints: 26346
1874.68/1879.70 c #Conflicts: 1025000 | #Constraints: 27346
1874.68/1879.70 c #Conflicts: 1026000 | #Constraints: 28346
1874.68/1879.70 c #Conflicts: 1027000 | #Constraints: 29346
1874.68/1879.70 c #Conflicts: 1028000 | #Constraints: 30346
1874.68/1879.70 c #Conflicts: 1029000 | #Constraints: 31346
1874.68/1879.70 c #Conflicts: 1030000 | #Constraints: 32346
1874.68/1879.70 c #Conflicts: 1031000 | #Constraints: 33346
1874.68/1879.70 c #Conflicts: 1032000 | #Constraints: 34346
1874.68/1879.70 c #Conflicts: 1033000 | #Constraints: 35346
1874.68/1879.70 c #Conflicts: 1034000 | #Constraints: 36346
1874.68/1879.70 c #Conflicts: 1035000 | #Constraints: 37346
1874.68/1879.70 c #Conflicts: 1036000 | #Constraints: 38346
1874.68/1879.70 c #Conflicts: 1037000 | #Constraints: 39346
1874.68/1879.70 c #Conflicts: 1038000 | #Constraints: 40346
1874.68/1879.70 c #Conflicts: 1039000 | #Constraints: 41346
1874.68/1879.70 c #Conflicts: 1040000 | #Constraints: 42346
1874.68/1879.70 c #Conflicts: 1041000 | #Constraints: 43346
1874.68/1879.70 c INPROCESSING
1874.68/1879.70 c GARBAGE COLLECT
1874.68/1879.70 c #Conflicts: 1042000 | #Constraints: 24138
1874.68/1879.70 c #Conflicts: 1043000 | #Constraints: 25138
1874.68/1879.70 c #Conflicts: 1044000 | #Constraints: 26138
2075.58/2081.17 c #Conflicts: 1045000 | #Constraints: 27138
2075.58/2081.17 c #Conflicts: 1046000 | #Constraints: 28138
2075.58/2081.17 c #Conflicts: 1047000 | #Constraints: 29138
2075.58/2081.17 c #Conflicts: 1048000 | #Constraints: 30138
2075.58/2081.17 c #Conflicts: 1049000 | #Constraints: 31138
2075.58/2081.17 c #Conflicts: 1050000 | #Constraints: 32138
2075.58/2081.17 c #Conflicts: 1051000 | #Constraints: 33138
2075.58/2081.17 c #Conflicts: 1052000 | #Constraints: 34138
2075.58/2081.17 c #Conflicts: 1053000 | #Constraints: 35138
2075.58/2081.17 c #Conflicts: 1054000 | #Constraints: 36138
2075.58/2081.17 c #Conflicts: 1055000 | #Constraints: 37138
2075.58/2081.17 c #Conflicts: 1056000 | #Constraints: 38138
2075.58/2081.17 c #Conflicts: 1057000 | #Constraints: 39138
2075.58/2081.17 c #Conflicts: 1058000 | #Constraints: 40138
2075.58/2081.17 c #Conflicts: 1059000 | #Constraints: 41138
2075.58/2081.17 c #Conflicts: 1060000 | #Constraints: 42138
2075.58/2081.17 c #Conflicts: 1061000 | #Constraints: 43138
2075.58/2081.17 c #Conflicts: 1062000 | #Constraints: 44138
2075.58/2081.17 c INPROCESSING
2075.58/2081.17 c GARBAGE COLLECT
2075.58/2081.17 c #Conflicts: 1063000 | #Constraints: 24747
2075.58/2081.17 c #Conflicts: 1064000 | #Constraints: 25747
2075.58/2081.17 c #Conflicts: 1065000 | #Constraints: 26747
2075.58/2081.17 c #Conflicts: 1066000 | #Constraints: 27747
2075.58/2081.17 c #Conflicts: 1067000 | #Constraints: 28747
2075.58/2081.17 c #Conflicts: 1068000 | #Constraints: 29747
2075.58/2081.17 c #Conflicts: 1069000 | #Constraints: 30747
2075.58/2081.17 c #Conflicts: 1070000 | #Constraints: 31747
2075.58/2081.17 c #Conflicts: 1071000 | #Constraints: 32747
2075.58/2081.17 c #Conflicts: 1072000 | #Constraints: 33747
2075.58/2081.17 c #Conflicts: 1073000 | #Constraints: 34747
2075.58/2081.17 c #Conflicts: 1074000 | #Constraints: 35747
2075.58/2081.17 c #Conflicts: 1075000 | #Constraints: 36747
2075.58/2081.17 c #Conflicts: 1076000 | #Constraints: 37747
2075.58/2081.17 c #Conflicts: 1077000 | #Constraints: 38747
2075.58/2081.17 c #Conflicts: 1078000 | #Constraints: 39747
2075.58/2081.17 c #Conflicts: 1079000 | #Constraints: 40747
2075.58/2081.17 c #Conflicts: 1080000 | #Constraints: 41747
2075.58/2081.17 c #Conflicts: 1081000 | #Constraints: 42747
2075.58/2081.17 c #Conflicts: 1082000 | #Constraints: 43747
2075.58/2081.17 c #Conflicts: 1083000 | #Constraints: 44747
2075.58/2081.17 c INPROCESSING
2075.58/2081.17 c GARBAGE COLLECT
2075.58/2081.17 c #Conflicts: 1084000 | #Constraints: 25149
2075.58/2081.17 c #Conflicts: 1085000 | #Constraints: 26149
2075.58/2081.17 c #Conflicts: 1086000 | #Constraints: 27149
2075.58/2081.17 c #Conflicts: 1087000 | #Constraints: 28149
2075.58/2081.17 c #Conflicts: 1088000 | #Constraints: 29149
2075.58/2081.17 c #Conflicts: 1089000 | #Constraints: 30149
2075.58/2081.17 c #Conflicts: 1090000 | #Constraints: 31149
2075.58/2081.17 c #Conflicts: 1091000 | #Constraints: 32149
2075.58/2081.17 c #Conflicts: 1092000 | #Constraints: 33149
2075.58/2081.17 c #Conflicts: 1093000 | #Constraints: 34149
2075.58/2081.17 c #Conflicts: 1094000 | #Constraints: 35149
2075.58/2081.17 c #Conflicts: 1095000 | #Constraints: 36149
2075.58/2081.17 c #Conflicts: 1096000 | #Constraints: 37149
2075.58/2081.17 c #Conflicts: 1097000 | #Constraints: 38149
2075.58/2081.17 c #Conflicts: 1098000 | #Constraints: 39149
2075.58/2081.17 c #Conflicts: 1099000 | #Constraints: 40149
2075.58/2081.17 c #Conflicts: 1100000 | #Constraints: 41149
2075.58/2081.17 c #Conflicts: 1101000 | #Constraints: 42149
2075.58/2081.17 c #Conflicts: 1102000 | #Constraints: 43149
2075.58/2081.17 c #Conflicts: 1103000 | #Constraints: 44149
2075.58/2081.17 c #Conflicts: 1104000 | #Constraints: 45149
2075.58/2081.17 c INPROCESSING
2075.58/2081.17 c GARBAGE COLLECT
2075.58/2081.17 c #Conflicts: 1105000 | #Constraints: 25345
2075.58/2081.17 c #Conflicts: 1106000 | #Constraints: 26345
2075.58/2081.17 c #Conflicts: 1107000 | #Constraints: 27345
2075.58/2081.17 c #Conflicts: 1108000 | #Constraints: 28345
2075.58/2081.17 c #Conflicts: 1109000 | #Constraints: 29345
2075.58/2081.17 c #Conflicts: 1110000 | #Constraints: 30345
2075.58/2081.17 c #Conflicts: 1111000 | #Constraints: 31345
2075.58/2081.17 c #Conflicts: 1112000 | #Constraints: 32345
2075.58/2081.17 c #Conflicts: 1113000 | #Constraints: 33345
2075.58/2081.17 c #Conflicts: 1114000 | #Constraints: 34345
2075.58/2081.17 c #Conflicts: 1115000 | #Constraints: 35345
2075.58/2081.17 c #Conflicts: 1116000 | #Constraints: 36345
2075.58/2081.17 c #Conflicts: 1117000 | #Constraints: 37345
2075.58/2081.17 c #Conflicts: 1118000 | #Constraints: 38345
2075.58/2081.17 c #Conflicts: 1119000 | #Constraints: 39345
2075.58/2081.17 c #Conflicts: 1120000 | #Constraints: 40345
2075.58/2081.17 c #Conflicts: 1121000 | #Constraints: 41345
2285.94/2292.07 c #Conflicts: 1122000 | #Constraints: 42345
2285.94/2292.07 c #Conflicts: 1123000 | #Constraints: 43345
2285.94/2292.07 c #Conflicts: 1124000 | #Constraints: 44345
2285.94/2292.07 c #Conflicts: 1125000 | #Constraints: 45345
2285.94/2292.07 c INPROCESSING
2285.94/2292.07 c GARBAGE COLLECT
2285.94/2292.07 c #Conflicts: 1126000 | #Constraints: 25345
2285.94/2292.07 c #Conflicts: 1127000 | #Constraints: 26345
2285.94/2292.07 c #Conflicts: 1128000 | #Constraints: 27345
2285.94/2292.07 c #Conflicts: 1129000 | #Constraints: 28345
2285.94/2292.07 c #Conflicts: 1130000 | #Constraints: 29345
2285.94/2292.07 c #Conflicts: 1131000 | #Constraints: 30345
2285.94/2292.07 c #Conflicts: 1132000 | #Constraints: 31345
2285.94/2292.07 c #Conflicts: 1133000 | #Constraints: 32345
2285.94/2292.07 c #Conflicts: 1134000 | #Constraints: 33345
2285.94/2292.07 c #Conflicts: 1135000 | #Constraints: 34345
2285.94/2292.07 c #Conflicts: 1136000 | #Constraints: 35345
2285.94/2292.07 c #Conflicts: 1137000 | #Constraints: 36345
2285.94/2292.07 c #Conflicts: 1138000 | #Constraints: 37345
2285.94/2292.07 c #Conflicts: 1139000 | #Constraints: 38345
2285.94/2292.07 c #Conflicts: 1140000 | #Constraints: 39345
2285.94/2292.07 c #Conflicts: 1141000 | #Constraints: 40345
2285.94/2292.07 c #Conflicts: 1142000 | #Constraints: 41345
2285.94/2292.07 c #Conflicts: 1143000 | #Constraints: 42345
2285.94/2292.07 c #Conflicts: 1144000 | #Constraints: 43345
2285.94/2292.07 c #Conflicts: 1145000 | #Constraints: 44345
2285.94/2292.07 c #Conflicts: 1146000 | #Constraints: 45345
2285.94/2292.07 c INPROCESSING
2285.94/2292.07 c GARBAGE COLLECT
2285.94/2292.07 c #Conflicts: 1147000 | #Constraints: 25158
2285.94/2292.07 c #Conflicts: 1148000 | #Constraints: 26158
2285.94/2292.07 c #Conflicts: 1149000 | #Constraints: 27158
2285.94/2292.07 c #Conflicts: 1150000 | #Constraints: 28158
2285.94/2292.07 c #Conflicts: 1151000 | #Constraints: 29158
2285.94/2292.07 c #Conflicts: 1152000 | #Constraints: 30158
2285.94/2292.07 c #Conflicts: 1153000 | #Constraints: 31158
2285.94/2292.07 c #Conflicts: 1154000 | #Constraints: 32158
2285.94/2292.07 c #Conflicts: 1155000 | #Constraints: 33158
2285.94/2292.07 c #Conflicts: 1156000 | #Constraints: 34158
2285.94/2292.07 c #Conflicts: 1157000 | #Constraints: 35158
2285.94/2292.07 c #Conflicts: 1158000 | #Constraints: 36158
2285.94/2292.07 c #Conflicts: 1159000 | #Constraints: 37158
2285.94/2292.07 c #Conflicts: 1160000 | #Constraints: 38158
2285.94/2292.07 c #Conflicts: 1161000 | #Constraints: 39158
2285.94/2292.07 c #Conflicts: 1162000 | #Constraints: 40158
2285.94/2292.07 c #Conflicts: 1163000 | #Constraints: 41158
2285.94/2292.07 c #Conflicts: 1164000 | #Constraints: 42158
2285.94/2292.07 c #Conflicts: 1165000 | #Constraints: 43158
2285.94/2292.07 c #Conflicts: 1166000 | #Constraints: 44158
2285.94/2292.07 c #Conflicts: 1167000 | #Constraints: 45158
2285.94/2292.07 c #Conflicts: 1168000 | #Constraints: 46158
2285.94/2292.07 c INPROCESSING
2285.94/2292.07 c GARBAGE COLLECT
2285.94/2292.07 c #Conflicts: 1169000 | #Constraints: 25755
2285.94/2292.07 c #Conflicts: 1170000 | #Constraints: 26755
2285.94/2292.07 c #Conflicts: 1171000 | #Constraints: 27755
2285.94/2292.07 c #Conflicts: 1172000 | #Constraints: 28755
2285.94/2292.07 c #Conflicts: 1173000 | #Constraints: 29755
2285.94/2292.07 c #Conflicts: 1174000 | #Constraints: 30755
2285.94/2292.07 c #Conflicts: 1175000 | #Constraints: 31755
2285.94/2292.07 c #Conflicts: 1176000 | #Constraints: 32755
2285.94/2292.07 c #Conflicts: 1177000 | #Constraints: 33755
2285.94/2292.07 c #Conflicts: 1178000 | #Constraints: 34755
2285.94/2292.07 c #Conflicts: 1179000 | #Constraints: 35755
2285.94/2292.07 c #Conflicts: 1180000 | #Constraints: 36755
2285.94/2292.07 c #Conflicts: 1181000 | #Constraints: 37755
2285.94/2292.07 c #Conflicts: 1182000 | #Constraints: 38755
2285.94/2292.07 c #Conflicts: 1183000 | #Constraints: 39755
2285.94/2292.07 c #Conflicts: 1184000 | #Constraints: 40755
2285.94/2292.07 c #Conflicts: 1185000 | #Constraints: 41755
2285.94/2292.07 c #Conflicts: 1186000 | #Constraints: 42755
2285.94/2292.07 c #Conflicts: 1187000 | #Constraints: 43755
2285.94/2292.07 c #Conflicts: 1188000 | #Constraints: 44755
2285.94/2292.07 c #Conflicts: 1189000 | #Constraints: 45755
2285.94/2292.07 c #Conflicts: 1190000 | #Constraints: 46755
2285.94/2292.07 c INPROCESSING
2285.94/2292.07 c GARBAGE COLLECT
2285.94/2292.07 c #Conflicts: 1191000 | #Constraints: 26151
2285.94/2292.07 c #Conflicts: 1192000 | #Constraints: 27151
2285.94/2292.07 c #Conflicts: 1193000 | #Constraints: 28151
2285.94/2292.07 c #Conflicts: 1194000 | #Constraints: 29151
2285.94/2292.07 c #Conflicts: 1195000 | #Constraints: 30151
2285.94/2292.07 c #Conflicts: 1196000 | #Constraints: 31151
2285.94/2292.07 c #Conflicts: 1197000 | #Constraints: 32151
2517.84/2524.56 c #Conflicts: 1198000 | #Constraints: 33151
2517.84/2524.56 c #Conflicts: 1199000 | #Constraints: 34151
2517.84/2524.56 c #Conflicts: 1200000 | #Constraints: 35151
2517.84/2524.56 c #Conflicts: 1201000 | #Constraints: 36151
2517.84/2524.56 c #Conflicts: 1202000 | #Constraints: 37151
2517.84/2524.56 c #Conflicts: 1203000 | #Constraints: 38151
2517.84/2524.56 c #Conflicts: 1204000 | #Constraints: 39151
2517.84/2524.56 c #Conflicts: 1205000 | #Constraints: 40151
2517.84/2524.56 c #Conflicts: 1206000 | #Constraints: 41151
2517.84/2524.56 c #Conflicts: 1207000 | #Constraints: 42151
2517.84/2524.56 c #Conflicts: 1208000 | #Constraints: 43151
2517.84/2524.56 c #Conflicts: 1209000 | #Constraints: 44151
2517.84/2524.56 c #Conflicts: 1210000 | #Constraints: 45151
2517.84/2524.56 c #Conflicts: 1211000 | #Constraints: 46151
2517.84/2524.56 c #Conflicts: 1212000 | #Constraints: 47151
2517.84/2524.56 c INPROCESSING
2517.84/2524.56 c GARBAGE COLLECT
2517.84/2524.56 c #Conflicts: 1213000 | #Constraints: 26366
2517.84/2524.56 c #Conflicts: 1214000 | #Constraints: 27366
2517.84/2524.56 c #Conflicts: 1215000 | #Constraints: 28366
2517.84/2524.56 c #Conflicts: 1216000 | #Constraints: 29366
2517.84/2524.56 c #Conflicts: 1217000 | #Constraints: 30366
2517.84/2524.56 c #Conflicts: 1218000 | #Constraints: 31366
2517.84/2524.56 c #Conflicts: 1219000 | #Constraints: 32366
2517.84/2524.56 c #Conflicts: 1220000 | #Constraints: 33366
2517.84/2524.56 c #Conflicts: 1221000 | #Constraints: 34366
2517.84/2524.56 c #Conflicts: 1222000 | #Constraints: 35366
2517.84/2524.56 c #Conflicts: 1223000 | #Constraints: 36366
2517.84/2524.56 c #Conflicts: 1224000 | #Constraints: 37366
2517.84/2524.56 c #Conflicts: 1225000 | #Constraints: 38366
2517.84/2524.56 c #Conflicts: 1226000 | #Constraints: 39366
2517.84/2524.56 c #Conflicts: 1227000 | #Constraints: 40366
2517.84/2524.56 c #Conflicts: 1228000 | #Constraints: 41366
2517.84/2524.56 c #Conflicts: 1229000 | #Constraints: 42366
2517.84/2524.56 c #Conflicts: 1230000 | #Constraints: 43366
2517.84/2524.56 c #Conflicts: 1231000 | #Constraints: 44366
2517.84/2524.56 c #Conflicts: 1232000 | #Constraints: 45366
2517.84/2524.56 c #Conflicts: 1233000 | #Constraints: 46366
2517.84/2524.56 c #Conflicts: 1234000 | #Constraints: 47366
2517.84/2524.56 c INPROCESSING
2517.84/2524.56 c GARBAGE COLLECT
2517.84/2524.56 c #Conflicts: 1235000 | #Constraints: 26354
2517.84/2524.56 c #Conflicts: 1236000 | #Constraints: 27354
2517.84/2524.56 c #Conflicts: 1237000 | #Constraints: 28354
2517.84/2524.56 c #Conflicts: 1238000 | #Constraints: 29354
2517.84/2524.56 c #Conflicts: 1239000 | #Constraints: 30354
2517.84/2524.56 c #Conflicts: 1240000 | #Constraints: 31354
2517.84/2524.56 c #Conflicts: 1241000 | #Constraints: 32354
2517.84/2524.56 c #Conflicts: 1242000 | #Constraints: 33354
2517.84/2524.56 c #Conflicts: 1243000 | #Constraints: 34354
2517.84/2524.56 c #Conflicts: 1244000 | #Constraints: 35354
2517.84/2524.56 c #Conflicts: 1245000 | #Constraints: 36354
2517.84/2524.56 c #Conflicts: 1246000 | #Constraints: 37354
2517.84/2524.56 c #Conflicts: 1247000 | #Constraints: 38354
2517.84/2524.56 c #Conflicts: 1248000 | #Constraints: 39354
2517.84/2524.56 c #Conflicts: 1249000 | #Constraints: 40354
2517.84/2524.56 c #Conflicts: 1250000 | #Constraints: 41354
2517.84/2524.56 c #Conflicts: 1251000 | #Constraints: 42354
2517.84/2524.56 c #Conflicts: 1252000 | #Constraints: 43354
2517.84/2524.56 c #Conflicts: 1253000 | #Constraints: 44354
2517.84/2524.56 c #Conflicts: 1254000 | #Constraints: 45354
2517.84/2524.56 c #Conflicts: 1255000 | #Constraints: 46354
2517.84/2524.56 c #Conflicts: 1256000 | #Constraints: 47354
2517.84/2524.56 c INPROCESSING
2517.84/2524.56 c GARBAGE COLLECT
2517.84/2524.56 c #Conflicts: 1257000 | #Constraints: 26157
2517.84/2524.56 c #Conflicts: 1258000 | #Constraints: 27157
2517.84/2524.56 c #Conflicts: 1259000 | #Constraints: 28157
2517.84/2524.56 c #Conflicts: 1260000 | #Constraints: 29157
2517.84/2524.56 c #Conflicts: 1261000 | #Constraints: 30157
2517.84/2524.56 c #Conflicts: 1262000 | #Constraints: 31157
2517.84/2524.56 c #Conflicts: 1263000 | #Constraints: 32157
2517.84/2524.56 c #Conflicts: 1264000 | #Constraints: 33157
2517.84/2524.56 c #Conflicts: 1265000 | #Constraints: 34157
2517.84/2524.56 c #Conflicts: 1266000 | #Constraints: 35157
2517.84/2524.56 c #Conflicts: 1267000 | #Constraints: 36157
2517.84/2524.56 c #Conflicts: 1268000 | #Constraints: 37157
2517.84/2524.56 c #Conflicts: 1269000 | #Constraints: 38157
2517.84/2524.56 c #Conflicts: 1270000 | #Constraints: 39157
2517.84/2524.56 c #Conflicts: 1271000 | #Constraints: 40157
2517.84/2524.56 c #Conflicts: 1272000 | #Constraints: 41157
2517.84/2524.56 c #Conflicts: 1273000 | #Constraints: 42157
2517.84/2524.56 c #Conflicts: 1274000 | #Constraints: 43157
2755.52/2762.81 c #Conflicts: 1275000 | #Constraints: 44157
2755.52/2762.81 c #Conflicts: 1276000 | #Constraints: 45157
2755.52/2762.81 c #Conflicts: 1277000 | #Constraints: 46157
2755.52/2762.81 c #Conflicts: 1278000 | #Constraints: 47157
2755.52/2762.81 c #Conflicts: 1279000 | #Constraints: 48157
2755.52/2762.81 c INPROCESSING
2755.52/2762.81 c GARBAGE COLLECT
2755.52/2762.81 c #Conflicts: 1280000 | #Constraints: 26756
2755.52/2762.81 c #Conflicts: 1281000 | #Constraints: 27756
2755.52/2762.81 c #Conflicts: 1282000 | #Constraints: 28756
2755.52/2762.81 c #Conflicts: 1283000 | #Constraints: 29756
2755.52/2762.81 c #Conflicts: 1284000 | #Constraints: 30756
2755.52/2762.81 c #Conflicts: 1285000 | #Constraints: 31756
2755.52/2762.81 c #Conflicts: 1286000 | #Constraints: 32756
2755.52/2762.81 c #Conflicts: 1287000 | #Constraints: 33756
2755.52/2762.81 c #Conflicts: 1288000 | #Constraints: 34756
2755.52/2762.81 c #Conflicts: 1289000 | #Constraints: 35756
2755.52/2762.81 c #Conflicts: 1290000 | #Constraints: 36756
2755.52/2762.81 c #Conflicts: 1291000 | #Constraints: 37756
2755.52/2762.81 c #Conflicts: 1292000 | #Constraints: 38756
2755.52/2762.81 c #Conflicts: 1293000 | #Constraints: 39756
2755.52/2762.81 c #Conflicts: 1294000 | #Constraints: 40756
2755.52/2762.81 c #Conflicts: 1295000 | #Constraints: 41756
2755.52/2762.81 c #Conflicts: 1296000 | #Constraints: 42756
2755.52/2762.81 c #Conflicts: 1297000 | #Constraints: 43756
2755.52/2762.81 c #Conflicts: 1298000 | #Constraints: 44756
2755.52/2762.81 c #Conflicts: 1299000 | #Constraints: 45756
2755.52/2762.81 c #Conflicts: 1300000 | #Constraints: 46756
2755.52/2762.81 c #Conflicts: 1301000 | #Constraints: 47756
2755.52/2762.81 c #Conflicts: 1302000 | #Constraints: 48756
2755.52/2762.81 c INPROCESSING
2755.52/2762.81 c GARBAGE COLLECT
2755.52/2762.81 c #Conflicts: 1303000 | #Constraints: 27162
2755.52/2762.81 c #Conflicts: 1304000 | #Constraints: 28162
2755.52/2762.81 c #Conflicts: 1305000 | #Constraints: 29162
2755.52/2762.81 c #Conflicts: 1306000 | #Constraints: 30162
2755.52/2762.81 c #Conflicts: 1307000 | #Constraints: 31162
2755.52/2762.81 c #Conflicts: 1308000 | #Constraints: 32162
2755.52/2762.81 c #Conflicts: 1309000 | #Constraints: 33162
2755.52/2762.81 c #Conflicts: 1310000 | #Constraints: 34162
2755.52/2762.81 c #Conflicts: 1311000 | #Constraints: 35162
2755.52/2762.81 c #Conflicts: 1312000 | #Constraints: 36162
2755.52/2762.81 c #Conflicts: 1313000 | #Constraints: 37162
2755.52/2762.81 c #Conflicts: 1314000 | #Constraints: 38162
2755.52/2762.81 c #Conflicts: 1315000 | #Constraints: 39162
2755.52/2762.81 c #Conflicts: 1316000 | #Constraints: 40162
2755.52/2762.81 c #Conflicts: 1317000 | #Constraints: 41162
2755.52/2762.81 c #Conflicts: 1318000 | #Constraints: 42162
2755.52/2762.81 c #Conflicts: 1319000 | #Constraints: 43162
2755.52/2762.81 c #Conflicts: 1320000 | #Constraints: 44162
2755.52/2762.81 c #Conflicts: 1321000 | #Constraints: 45162
2755.52/2762.81 c #Conflicts: 1322000 | #Constraints: 46162
2755.52/2762.81 c #Conflicts: 1323000 | #Constraints: 47162
2755.52/2762.81 c #Conflicts: 1324000 | #Constraints: 48162
2755.52/2762.81 c #Conflicts: 1325000 | #Constraints: 49162
2755.52/2762.81 c INPROCESSING
2755.52/2762.81 c GARBAGE COLLECT
2755.52/2762.81 c #Conflicts: 1326000 | #Constraints: 27352
2755.52/2762.81 c #Conflicts: 1327000 | #Constraints: 28352
2755.52/2762.81 c #Conflicts: 1328000 | #Constraints: 29352
2755.52/2762.81 c #Conflicts: 1329000 | #Constraints: 30352
2755.52/2762.81 c #Conflicts: 1330000 | #Constraints: 31352
2755.52/2762.81 c #Conflicts: 1331000 | #Constraints: 32352
2755.52/2762.81 c #Conflicts: 1332000 | #Constraints: 33352
2755.52/2762.81 c #Conflicts: 1333000 | #Constraints: 34352
2755.52/2762.81 c #Conflicts: 1334000 | #Constraints: 35352
2755.52/2762.81 c #Conflicts: 1335000 | #Constraints: 36352
2755.52/2762.81 c #Conflicts: 1336000 | #Constraints: 37352
2755.52/2762.81 c #Conflicts: 1337000 | #Constraints: 38352
2755.52/2762.81 c #Conflicts: 1338000 | #Constraints: 39352
2755.52/2762.81 c #Conflicts: 1339000 | #Constraints: 40352
2755.52/2762.81 c #Conflicts: 1340000 | #Constraints: 41352
2755.52/2762.81 c #Conflicts: 1341000 | #Constraints: 42352
2755.52/2762.81 c #Conflicts: 1342000 | #Constraints: 43352
2755.52/2762.81 c #Conflicts: 1343000 | #Constraints: 44352
2755.52/2762.81 c #Conflicts: 1344000 | #Constraints: 45352
2755.52/2762.81 c #Conflicts: 1345000 | #Constraints: 46352
2755.52/2762.81 c #Conflicts: 1346000 | #Constraints: 47352
2755.52/2762.81 c #Conflicts: 1347000 | #Constraints: 48352
2755.52/2762.81 c #Conflicts: 1348000 | #Constraints: 49352
2755.52/2762.81 c INPROCESSING
2755.52/2762.81 c GARBAGE COLLECT
2755.52/2762.81 c #Conflicts: 1349000 | #Constraints: 27351
2755.52/2762.81 c #Conflicts: 1350000 | #Constraints: 28351
2994.89/3002.92 c #Conflicts: 1351000 | #Constraints: 29351
2994.89/3002.92 c #Conflicts: 1352000 | #Constraints: 30351
2994.89/3002.92 c #Conflicts: 1353000 | #Constraints: 31351
2994.89/3002.92 c #Conflicts: 1354000 | #Constraints: 32351
2994.89/3002.92 c #Conflicts: 1355000 | #Constraints: 33351
2994.89/3002.92 c #Conflicts: 1356000 | #Constraints: 34351
2994.89/3002.92 c #Conflicts: 1357000 | #Constraints: 35351
2994.89/3002.92 c #Conflicts: 1358000 | #Constraints: 36351
2994.89/3002.92 c #Conflicts: 1359000 | #Constraints: 37351
2994.89/3002.92 c #Conflicts: 1360000 | #Constraints: 38351
2994.89/3002.92 c #Conflicts: 1361000 | #Constraints: 39351
2994.89/3002.92 c #Conflicts: 1362000 | #Constraints: 40351
2994.89/3002.92 c #Conflicts: 1363000 | #Constraints: 41351
2994.89/3002.92 c #Conflicts: 1364000 | #Constraints: 42351
2994.89/3002.92 c #Conflicts: 1365000 | #Constraints: 43351
2994.89/3002.92 c #Conflicts: 1366000 | #Constraints: 44351
2994.89/3002.92 c #Conflicts: 1367000 | #Constraints: 45351
2994.89/3002.92 c #Conflicts: 1368000 | #Constraints: 46351
2994.89/3002.92 c #Conflicts: 1369000 | #Constraints: 47351
2994.89/3002.92 c #Conflicts: 1370000 | #Constraints: 48351
2994.89/3002.92 c #Conflicts: 1371000 | #Constraints: 49351
2994.89/3002.92 c INPROCESSING
2994.89/3002.92 c GARBAGE COLLECT
2994.89/3002.92 c #Conflicts: 1372000 | #Constraints: 27151
2994.89/3002.92 c #Conflicts: 1373000 | #Constraints: 28151
2994.89/3002.92 c #Conflicts: 1374000 | #Constraints: 29151
2994.89/3002.92 c #Conflicts: 1375000 | #Constraints: 30151
2994.89/3002.92 c #Conflicts: 1376000 | #Constraints: 31151
2994.89/3002.92 c #Conflicts: 1377000 | #Constraints: 32151
2994.89/3002.92 c #Conflicts: 1378000 | #Constraints: 33151
2994.89/3002.92 c #Conflicts: 1379000 | #Constraints: 34151
2994.89/3002.92 c #Conflicts: 1380000 | #Constraints: 35151
2994.89/3002.92 c #Conflicts: 1381000 | #Constraints: 36151
2994.89/3002.92 c #Conflicts: 1382000 | #Constraints: 37151
2994.89/3002.92 c #Conflicts: 1383000 | #Constraints: 38151
2994.89/3002.92 c #Conflicts: 1384000 | #Constraints: 39151
2994.89/3002.92 c #Conflicts: 1385000 | #Constraints: 40151
2994.89/3002.92 c #Conflicts: 1386000 | #Constraints: 41151
2994.89/3002.92 c #Conflicts: 1387000 | #Constraints: 42151
2994.89/3002.92 c #Conflicts: 1388000 | #Constraints: 43151
2994.89/3002.92 c #Conflicts: 1389000 | #Constraints: 44151
2994.89/3002.92 c #Conflicts: 1390000 | #Constraints: 45151
2994.89/3002.92 c #Conflicts: 1391000 | #Constraints: 46151
2994.89/3002.92 c #Conflicts: 1392000 | #Constraints: 47151
2994.89/3002.92 c #Conflicts: 1393000 | #Constraints: 48151
2994.89/3002.92 c #Conflicts: 1394000 | #Constraints: 49151
2994.89/3002.92 c #Conflicts: 1395000 | #Constraints: 50151
2994.89/3002.92 c INPROCESSING
2994.89/3002.92 c GARBAGE COLLECT
2994.89/3002.92 c #Conflicts: 1396000 | #Constraints: 27759
2994.89/3002.92 c #Conflicts: 1397000 | #Constraints: 28759
2994.89/3002.92 c #Conflicts: 1398000 | #Constraints: 29759
2994.89/3002.92 c #Conflicts: 1399000 | #Constraints: 30759
2994.89/3002.92 c #Conflicts: 1400000 | #Constraints: 31759
2994.89/3002.92 c #Conflicts: 1401000 | #Constraints: 32759
2994.89/3002.92 c #Conflicts: 1402000 | #Constraints: 33759
2994.89/3002.92 c #Conflicts: 1403000 | #Constraints: 34759
2994.89/3002.92 c #Conflicts: 1404000 | #Constraints: 35759
2994.89/3002.92 c #Conflicts: 1405000 | #Constraints: 36759
2994.89/3002.92 c #Conflicts: 1406000 | #Constraints: 37759
2994.89/3002.92 c #Conflicts: 1407000 | #Constraints: 38759
2994.89/3002.92 c #Conflicts: 1408000 | #Constraints: 39759
2994.89/3002.92 c #Conflicts: 1409000 | #Constraints: 40759
2994.89/3002.92 c #Conflicts: 1410000 | #Constraints: 41759
2994.89/3002.92 c #Conflicts: 1411000 | #Constraints: 42759
2994.89/3002.92 c #Conflicts: 1412000 | #Constraints: 43759
2994.89/3002.92 c #Conflicts: 1413000 | #Constraints: 44759
2994.89/3002.92 c #Conflicts: 1414000 | #Constraints: 45759
2994.89/3002.92 c #Conflicts: 1415000 | #Constraints: 46759
2994.89/3002.92 c #Conflicts: 1416000 | #Constraints: 47759
2994.89/3002.92 c #Conflicts: 1417000 | #Constraints: 48759
2994.89/3002.92 c #Conflicts: 1418000 | #Constraints: 49759
2994.89/3002.92 c #Conflicts: 1419000 | #Constraints: 50759
2994.89/3002.92 c INPROCESSING
2994.89/3002.92 c GARBAGE COLLECT
2994.89/3002.92 c #Conflicts: 1420000 | #Constraints: 28163
2994.89/3002.92 c #Conflicts: 1421000 | #Constraints: 29163
2994.89/3002.92 c #Conflicts: 1422000 | #Constraints: 30163
2994.89/3002.92 c #Conflicts: 1423000 | #Constraints: 31163
2994.89/3002.92 c #Conflicts: 1424000 | #Constraints: 32163
2994.89/3002.92 c #Conflicts: 1425000 | #Constraints: 33163
2994.89/3002.92 c #Conflicts: 1426000 | #Constraints: 34163
2994.89/3002.92 c #Conflicts: 1427000 | #Constraints: 35163
3260.77/3269.66 c #Conflicts: 1428000 | #Constraints: 36163
3260.77/3269.66 c #Conflicts: 1429000 | #Constraints: 37163
3260.77/3269.66 c #Conflicts: 1430000 | #Constraints: 38163
3260.77/3269.66 c #Conflicts: 1431000 | #Constraints: 39163
3260.77/3269.66 c #Conflicts: 1432000 | #Constraints: 40163
3260.77/3269.66 c #Conflicts: 1433000 | #Constraints: 41163
3260.77/3269.66 c #Conflicts: 1434000 | #Constraints: 42163
3260.77/3269.66 c #Conflicts: 1435000 | #Constraints: 43163
3260.77/3269.66 c #Conflicts: 1436000 | #Constraints: 44163
3260.77/3269.66 c #Conflicts: 1437000 | #Constraints: 45163
3260.77/3269.66 c #Conflicts: 1438000 | #Constraints: 46163
3260.77/3269.66 c #Conflicts: 1439000 | #Constraints: 47163
3260.77/3269.66 c #Conflicts: 1440000 | #Constraints: 48163
3260.77/3269.66 c #Conflicts: 1441000 | #Constraints: 49163
3260.77/3269.66 c #Conflicts: 1442000 | #Constraints: 50163
3260.77/3269.66 c #Conflicts: 1443000 | #Constraints: 51163
3260.77/3269.66 c INPROCESSING
3260.77/3269.66 c GARBAGE COLLECT
3260.77/3269.66 c #Conflicts: 1444000 | #Constraints: 28355
3260.77/3269.66 c #Conflicts: 1445000 | #Constraints: 29355
3260.77/3269.66 c #Conflicts: 1446000 | #Constraints: 30355
3260.77/3269.66 c #Conflicts: 1447000 | #Constraints: 31355
3260.77/3269.66 c #Conflicts: 1448000 | #Constraints: 32355
3260.77/3269.66 c #Conflicts: 1449000 | #Constraints: 33355
3260.77/3269.66 c #Conflicts: 1450000 | #Constraints: 34355
3260.77/3269.66 c #Conflicts: 1451000 | #Constraints: 35355
3260.77/3269.66 c #Conflicts: 1452000 | #Constraints: 36355
3260.77/3269.66 c #Conflicts: 1453000 | #Constraints: 37355
3260.77/3269.66 c #Conflicts: 1454000 | #Constraints: 38355
3260.77/3269.66 c #Conflicts: 1455000 | #Constraints: 39355
3260.77/3269.66 c #Conflicts: 1456000 | #Constraints: 40355
3260.77/3269.66 c #Conflicts: 1457000 | #Constraints: 41355
3260.77/3269.66 c #Conflicts: 1458000 | #Constraints: 42355
3260.77/3269.66 c #Conflicts: 1459000 | #Constraints: 43355
3260.77/3269.66 c #Conflicts: 1460000 | #Constraints: 44355
3260.77/3269.66 c #Conflicts: 1461000 | #Constraints: 45355
3260.77/3269.66 c #Conflicts: 1462000 | #Constraints: 46355
3260.77/3269.66 c #Conflicts: 1463000 | #Constraints: 47355
3260.77/3269.66 c #Conflicts: 1464000 | #Constraints: 48355
3260.77/3269.66 c #Conflicts: 1465000 | #Constraints: 49355
3260.77/3269.66 c #Conflicts: 1466000 | #Constraints: 50355
3260.77/3269.66 c #Conflicts: 1467000 | #Constraints: 51355
3260.77/3269.66 c INPROCESSING
3260.77/3269.66 c GARBAGE COLLECT
3260.77/3269.66 c #Conflicts: 1468000 | #Constraints: 28361
3260.77/3269.66 c #Conflicts: 1469000 | #Constraints: 29361
3260.77/3269.66 c #Conflicts: 1470000 | #Constraints: 30361
3260.77/3269.66 c #Conflicts: 1471000 | #Constraints: 31361
3260.77/3269.66 c #Conflicts: 1472000 | #Constraints: 32361
3260.77/3269.66 c #Conflicts: 1473000 | #Constraints: 33361
3260.77/3269.66 c #Conflicts: 1474000 | #Constraints: 34361
3260.77/3269.66 c #Conflicts: 1475000 | #Constraints: 35361
3260.77/3269.66 c #Conflicts: 1476000 | #Constraints: 36361
3260.77/3269.66 c #Conflicts: 1477000 | #Constraints: 37361
3260.77/3269.66 c #Conflicts: 1478000 | #Constraints: 38361
3260.77/3269.66 c #Conflicts: 1479000 | #Constraints: 39361
3260.77/3269.66 c #Conflicts: 1480000 | #Constraints: 40361
3260.77/3269.66 c #Conflicts: 1481000 | #Constraints: 41361
3260.77/3269.66 c #Conflicts: 1482000 | #Constraints: 42361
3260.77/3269.66 c #Conflicts: 1483000 | #Constraints: 43361
3260.77/3269.66 c #Conflicts: 1484000 | #Constraints: 44361
3260.77/3269.66 c #Conflicts: 1485000 | #Constraints: 45361
3260.77/3269.66 c #Conflicts: 1486000 | #Constraints: 46361
3260.77/3269.66 c #Conflicts: 1487000 | #Constraints: 47361
3260.77/3269.66 c #Conflicts: 1488000 | #Constraints: 48361
3260.77/3269.66 c #Conflicts: 1489000 | #Constraints: 49361
3260.77/3269.66 c #Conflicts: 1490000 | #Constraints: 50361
3260.77/3269.66 c #Conflicts: 1491000 | #Constraints: 51361
3260.77/3269.66 c INPROCESSING
3260.77/3269.66 c GARBAGE COLLECT
3260.77/3269.66 c #Conflicts: 1492000 | #Constraints: 28177
3260.77/3269.66 c #Conflicts: 1493000 | #Constraints: 29177
3260.77/3269.66 c #Conflicts: 1494000 | #Constraints: 30177
3260.77/3269.66 c #Conflicts: 1495000 | #Constraints: 31177
3260.77/3269.66 c #Conflicts: 1496000 | #Constraints: 32177
3260.77/3269.66 c #Conflicts: 1497000 | #Constraints: 33177
3260.77/3269.66 c #Conflicts: 1498000 | #Constraints: 34177
3260.77/3269.66 c #Conflicts: 1499000 | #Constraints: 35177
3260.77/3269.66 c #Conflicts: 1500000 | #Constraints: 36177
3260.77/3269.66 c #Conflicts: 1501000 | #Constraints: 37177
3260.77/3269.66 c #Conflicts: 1502000 | #Constraints: 38177
3260.77/3269.66 c #Conflicts: 1503000 | #Constraints: 39177
3260.77/3269.66 c #Conflicts: 1504000 | #Constraints: 40177
3547.11/3556.99 c #Conflicts: 1505000 | #Constraints: 41177
3547.11/3556.99 c #Conflicts: 1506000 | #Constraints: 42177
3547.11/3556.99 c #Conflicts: 1507000 | #Constraints: 43177
3547.11/3556.99 c #Conflicts: 1508000 | #Constraints: 44177
3547.11/3556.99 c #Conflicts: 1509000 | #Constraints: 45177
3547.11/3556.99 c #Conflicts: 1510000 | #Constraints: 46177
3547.11/3556.99 c #Conflicts: 1511000 | #Constraints: 47177
3547.11/3556.99 c #Conflicts: 1512000 | #Constraints: 48177
3547.11/3556.99 c #Conflicts: 1513000 | #Constraints: 49177
3547.11/3556.99 c #Conflicts: 1514000 | #Constraints: 50177
3547.11/3556.99 c #Conflicts: 1515000 | #Constraints: 51177
3547.11/3556.99 c #Conflicts: 1516000 | #Constraints: 52177
3547.11/3556.99 c INPROCESSING
3547.11/3556.99 c GARBAGE COLLECT
3547.11/3556.99 c #Conflicts: 1517000 | #Constraints: 28764
3547.11/3556.99 c #Conflicts: 1518000 | #Constraints: 29764
3547.11/3556.99 c #Conflicts: 1519000 | #Constraints: 30764
3547.11/3556.99 c #Conflicts: 1520000 | #Constraints: 31764
3547.11/3556.99 c #Conflicts: 1521000 | #Constraints: 32764
3547.11/3556.99 c #Conflicts: 1522000 | #Constraints: 33764
3547.11/3556.99 c #Conflicts: 1523000 | #Constraints: 34764
3547.11/3556.99 c #Conflicts: 1524000 | #Constraints: 35764
3547.11/3556.99 c #Conflicts: 1525000 | #Constraints: 36764
3547.11/3556.99 c #Conflicts: 1526000 | #Constraints: 37764
3547.11/3556.99 c #Conflicts: 1527000 | #Constraints: 38764
3547.11/3556.99 c #Conflicts: 1528000 | #Constraints: 39764
3547.11/3556.99 c #Conflicts: 1529000 | #Constraints: 40764
3547.11/3556.99 c #Conflicts: 1530000 | #Constraints: 41764
3547.11/3556.99 c #Conflicts: 1531000 | #Constraints: 42764
3547.11/3556.99 c #Conflicts: 1532000 | #Constraints: 43764
3547.11/3556.99 c #Conflicts: 1533000 | #Constraints: 44764
3547.11/3556.99 c #Conflicts: 1534000 | #Constraints: 45764
3547.11/3556.99 c #Conflicts: 1535000 | #Constraints: 46764
3547.11/3556.99 c #Conflicts: 1536000 | #Constraints: 47764
3547.11/3556.99 c #Conflicts: 1537000 | #Constraints: 48764
3547.11/3556.99 c #Conflicts: 1538000 | #Constraints: 49764
3547.11/3556.99 c #Conflicts: 1539000 | #Constraints: 50764
3547.11/3556.99 c #Conflicts: 1540000 | #Constraints: 51764
3547.11/3556.99 c #Conflicts: 1541000 | #Constraints: 52764
3547.11/3556.99 c INPROCESSING
3547.11/3556.99 c GARBAGE COLLECT
3547.11/3556.99 c #Conflicts: 1542000 | #Constraints: 29154
3547.11/3556.99 c #Conflicts: 1543000 | #Constraints: 30154
3547.11/3556.99 c #Conflicts: 1544000 | #Constraints: 31154
3547.11/3556.99 c #Conflicts: 1545000 | #Constraints: 32154
3547.11/3556.99 c #Conflicts: 1546000 | #Constraints: 33154
3547.11/3556.99 c #Conflicts: 1547000 | #Constraints: 34154
3547.11/3556.99 c #Conflicts: 1548000 | #Constraints: 35154
3547.11/3556.99 c #Conflicts: 1549000 | #Constraints: 36154
3547.11/3556.99 c #Conflicts: 1550000 | #Constraints: 37154
3547.11/3556.99 c #Conflicts: 1551000 | #Constraints: 38154
3547.11/3556.99 c #Conflicts: 1552000 | #Constraints: 39154
3547.11/3556.99 c #Conflicts: 1553000 | #Constraints: 40154
3547.11/3556.99 c #Conflicts: 1554000 | #Constraints: 41154
3547.11/3556.99 c #Conflicts: 1555000 | #Constraints: 42154
3547.11/3556.99 c #Conflicts: 1556000 | #Constraints: 43154
3547.11/3556.99 c #Conflicts: 1557000 | #Constraints: 44154
3547.11/3556.99 c #Conflicts: 1558000 | #Constraints: 45154
3547.11/3556.99 c #Conflicts: 1559000 | #Constraints: 46154
3547.11/3556.99 c #Conflicts: 1560000 | #Constraints: 47154
3547.11/3556.99 c #Conflicts: 1561000 | #Constraints: 48154
3547.11/3556.99 c #Conflicts: 1562000 | #Constraints: 49154
3547.11/3556.99 c #Conflicts: 1563000 | #Constraints: 50154
3547.11/3556.99 c #Conflicts: 1564000 | #Constraints: 51154
3547.11/3556.99 c #Conflicts: 1565000 | #Constraints: 52154
3547.11/3556.99 c #Conflicts: 1566000 | #Constraints: 53154
3547.11/3556.99 c INPROCESSING
3547.11/3556.99 c GARBAGE COLLECT
3547.11/3556.99 c #Conflicts: 1567000 | #Constraints: 29356
3547.11/3556.99 c #Conflicts: 1568000 | #Constraints: 30356
3547.11/3556.99 c #Conflicts: 1569000 | #Constraints: 31356
3547.11/3556.99 c #Conflicts: 1570000 | #Constraints: 32356
3547.11/3556.99 c #Conflicts: 1571000 | #Constraints: 33356
3547.11/3556.99 c #Conflicts: 1572000 | #Constraints: 34356
3547.11/3556.99 c #Conflicts: 1573000 | #Constraints: 35356
3547.11/3556.99 c #Conflicts: 1574000 | #Constraints: 36356
3547.11/3556.99 c #Conflicts: 1575000 | #Constraints: 37356
3547.11/3556.99 c #Conflicts: 1576000 | #Constraints: 38356
3547.11/3556.99 c #Conflicts: 1577000 | #Constraints: 39356
3547.11/3556.99 c #Conflicts: 1578000 | #Constraints: 40356
3547.11/3556.99 c #Conflicts: 1579000 | #Constraints: 41356
3547.11/3556.99 c #Conflicts: 1580000 | #Constraints: 42356
3547.11/3556.99 c #Conflicts: 1581000 | #Constraints: 43356
3600.04/3610.00 c #Conflicts: 1582000 | #Constraints: 44356
3600.04/3610.00 c #Conflicts: 1583000 | #Constraints: 45356
3600.04/3610.00 c #Conflicts: 1584000 | #Constraints: 46356
3600.04/3610.00 c #Conflicts: 1585000 | #Constraints: 47356
3600.04/3610.00 c #Conflicts: 1586000 | #Constraints: 48356
3600.04/3610.00 c #Conflicts: 1587000 | #Constraints: 49356
3600.04/3610.00 c #Conflicts: 1588000 | #Constraints: 50356
3600.04/3610.00 c #Conflicts: 1589000 | #Constraints: 51356
3600.04/3610.00 c #Conflicts: 1590000 | #Constraints: 52356
3600.04/3610.00 c #Conflicts: 1591000 | #Constraints: 53356
3600.04/3610.00 c INPROCESSING
3600.04/3610.00 c GARBAGE COLLECT
3600.04/3610.00 c #Conflicts: 1592000 | #Constraints: 29369
3600.04/3610.00 c #Conflicts: 1593000 | #Constraints: 30369
3600.04/3610.00 c #Conflicts: 1594000 | #Constraints: 31369
3600.04/3610.00 c #Conflicts: 1595000 | #Constraints: 32369
3600.04/3610.00 c Program interrupted by user.
3600.04/3610.00 c cpu time 3588.14 s
3600.04/3610.00 c deterministic time 341437627613 3.41e+11
3600.04/3610.00 c optimization time 11.1018 s
3600.04/3610.00 c total solve time 3277.91 s
3600.04/3610.00 c core-guided solve time 3277.91 s
3600.04/3610.00 c propagation time 3106.43 s
3600.04/3610.00 c conflict analysis time 161.793 s
3600.04/3610.00 c propagations 506240161
3600.04/3610.00 c resolve steps 7150298
3600.04/3610.00 c decisions 7479641
3600.04/3610.00 c conflicts 1595642
3600.04/3610.00 c restarts 3069
3600.04/3610.00 c inprocessing phases 117
3600.04/3610.00 c input clauses 0
3600.04/3610.00 c input cardinalities 0
3600.04/3610.00 c input general constraints 3444
3600.04/3610.00 c input average constraint length 27.48
3600.04/3610.00 c input average constraint degree 352.73
3600.04/3610.00 c learned clauses 543346
3600.04/3610.00 c learned cardinalities 4
3600.04/3610.00 c learned general constraints 1052291
3600.04/3610.00 c learned average constraint length 37.39
3600.04/3610.00 c learned average constraint degree 3074522.13
3600.04/3610.00 c watched constraints 1034458
3600.04/3610.00 c counting constraints 21277
3600.04/3610.00 c gcd simplifications 13134
3600.04/3610.00 c detected cardinalities 4
3600.04/3610.00 c weakened non-implied lits 5703813
3600.04/3610.00 c weakened non-implying lits 5717
3600.04/3610.00 c original variables 1807
3600.04/3610.00 c clausal propagations 1884765
3600.04/3610.00 c cardinality propagations 1
3600.04/3610.00 c watched propagations 460936750
3600.04/3610.00 c counting propagations 42492306
3600.04/3610.00 c watch lookups 74629439477
3600.04/3610.00 c watch backjump lookups 72390995717
3600.04/3610.00 c watch checks 83858903167
3600.04/3610.00 c propagation checks 109294581395
3600.04/3610.00 c constraint additions 234673843
3600.04/3610.00 c trail pops 515314211
3600.04/3610.00 c formula constraints 3443
3600.04/3610.00 c learned constraints 1595641
3600.04/3610.00 c bound constraints 1
3600.04/3610.00 c core-guided constraints 0
3600.04/3610.00 c encountered formula constraints 6199540
3600.04/3610.00 c encountered learned constraints 2546400
3600.04/3610.00 c encountered bound constraints 0
3600.04/3610.00 c encountered core-guided constraints 0
3600.04/3610.00 c LP total time 0 s
3600.04/3610.00 c LP solve time 0 s
3600.04/3610.00 c LP constraints added 0
3600.04/3610.00 c LP constraints removed 0
3600.04/3610.00 c LP pivots internal 0
3600.04/3610.00 c LP pivots root 0
3600.04/3610.00 c LP calls 0
3600.04/3610.00 c LP optimalities 0
3600.04/3610.00 c LP no pivot count 0
3600.04/3610.00 c LP infeasibilities 0
3600.04/3610.00 c LP valid Farkas constraints 0
3600.04/3610.00 c LP learned Farkas constraints 0
3600.04/3610.00 c LP basis resets 0
3600.04/3610.00 c LP cycling count 0
3600.04/3610.00 c LP singular count 0
3600.04/3610.00 c LP no primal count 0
3600.04/3610.00 c LP no farkas count 0
3600.04/3610.00 c LP other issue count 0
3600.04/3610.00 c LP Gomory cuts 0
3600.04/3610.00 c LP learned cuts 0
3600.04/3610.00 c LP deleted cuts 0
3600.04/3610.00 c LP encountered Gomory constraints 0
3600.04/3610.00 c LP encountered Farkas constraints 0
3600.04/3610.00 c LP encountered learned Farkas constraints 0
3600.04/3610.00 c CG auxiliary variables introduced 0
3600.04/3610.00 c CG solutions found 0
3600.04/3610.00 c CG cores constructed 0
3600.04/3610.00 c CG core cardinality constraints returned 0
3600.04/3610.00 c CG unit cores 0
3600.04/3610.00 c CG single cores 0
3600.04/3610.00 c CG blocks removed during cardinality reduction 0
3600.04/3610.00 c CG first core best 0
3600.04/3610.00 c CG decision core best 0
3600.04/3610.00 c CG core reduction tie 0
3600.04/3610.00 c CG core degree average 0.00
3600.04/3610.00 c CG core slack average 0.00
3600.04/3610.00 c CG exhausted 0
3600.04/3610.00 c CG exhaust time 0 s
3600.04/3610.00 c CG trimmed 0
3600.04/3610.00 c CG trim time 0 s
3600.04/3610.00 c CG minimized 0
3600.04/3610.00 c CG minimize time 0 s
3600.04/3610.00 c CG am1 prop time 0.000122 s
3600.04/3610.00 c CG # am1s reformulated 0
3600.04/3610.00 c CG lower bound derived from am1s 0
3600.04/3610.00 c CG # clausal cores 0
3600.04/3610.00 c CG # cardinality cores 0
3600.04/3610.00 c CG # pb cores 0
3600.04/3610.00 c CG # pb reforms 0
3600.04/3610.00 c CG # cores discarded because of pb reform 0
3600.04/3610.00 d LOWERBOUND 0
3600.04/3610.00 d NCORES 0
3600.04/3610.00 d NPBCORES 0
3600.04/3610.00 d NPBREFORM 0
3600.04/3610.00 d NTRIMMED 0
3600.04/3610.00 d NEXHAUSTED 0
3600.04/3610.00 d NAM1S 0
3600.04/3610.00 d AM1LB 0
3600.04/3610.00 c [Papilo Statistics]
3600.04/3610.00 c prepro time 0.0281499s
3600.04/3610.00 c # tsx applied 1768
3600.04/3610.00 c # tsx conflicts 0
3600.04/3610.00 c # bound changes 1
3600.04/3610.00 c # side changes 1510
3600.04/3610.00 c # coef changes 325
3600.04/3610.00 c # rounds 3
3600.04/3610.00 c # deted vars 1
3600.04/3610.00 c # deted constrs 1485
3600.04/3610.00 c # consecutive rounds of only bound changes 0
3600.04/3610.00 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 (46106 MiB free)
memory of node 1: 64465 MiB (62727 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528940-1752257916/watcher-4528940-1752257916 -o /tmp/evaluation-result-4528940-1752257916/solver-4528940-1752257916 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752257588-122191 --watchdog 3760 mixed-bag HOME/instance-4528940-1752257916.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=122806, runsolver pid=122803
[startup+0.100064 s]*
/proc/loadavg: 4.15 3.84 3.87 5/265 122807
/proc/meminfo: memFree=111445904/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=113224 memory=40916 CPUtime=0.09 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 7211 0 0 0 8 1 0 0 20 0 1 0 141468227 115941376 10229 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 28306 10229 3904 2834 0 10511 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 113224 KiB
Current children cumulated memory: 40916 KiB
[startup+0.205701 s]*
/proc/loadavg: 4.15 3.84 3.87 5/265 122807
/proc/meminfo: memFree=111421964/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=139184 memory=63104 CPUtime=0.2 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 12153 0 0 0 18 2 0 0 20 0 1 0 141468227 142524416 15776 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 34796 15776 4000 2834 0 17001 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 139184 KiB
Current children cumulated memory: 63104 KiB
[startup+0.305615 s]*
/proc/loadavg: 4.15 3.84 3.87 5/265 122807
/proc/meminfo: memFree=111389960/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=173604 memory=93824 CPUtime=0.29 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 19644 0 0 0 26 3 0 0 20 0 1 0 141468227 177770496 23456 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 43401 23456 4192 2834 0 25606 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 173604 KiB
Current children cumulated memory: 93824 KiB
[startup+0.700181 s]
/proc/loadavg: 4.15 3.84 3.87 5/265 122807
/proc/meminfo: memFree=111373832/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=221472 memory=136404 CPUtime=0.68 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 31422 0 0 0 64 4 0 0 20 0 1 0 141468227 226787328 34101 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 55368 34101 4192 2834 0 37573 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 221472 KiB
Current children cumulated memory: 136404 KiB
[startup+1.50017 s]
/proc/loadavg: 4.14 3.85 3.87 5/265 122807
/proc/meminfo: memFree=111350380/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=221472 memory=137940 CPUtime=1.48 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 31790 0 0 0 143 5 0 0 20 0 1 0 141468227 226787328 34485 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 55368 34485 4224 2834 0 37573 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 221472 KiB
Current children cumulated memory: 137940 KiB
[startup+3.10543 s]
/proc/loadavg: 4.14 3.85 3.87 5/265 122807
/proc/meminfo: memFree=111286372/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=243360 memory=161404 CPUtime=3.08 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 38697 0 0 0 302 6 0 0 20 0 1 0 141468227 249200640 40351 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 60840 40351 4224 2834 0 43045 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 243360 KiB
Current children cumulated memory: 161404 KiB
[startup+6.30014 s]
/proc/loadavg: 4.12 3.85 3.87 5/265 122807
/proc/meminfo: memFree=111284264/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=248120 memory=166212 CPUtime=6.26 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 41946 0 0 0 619 7 0 0 20 0 1 0 141468227 254074880 41553 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 62030 41553 4224 2834 0 44235 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 248120 KiB
Current children cumulated memory: 166212 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 3.85 3.87 5/265 122807
/proc/meminfo: memFree=111276956/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=251824 memory=170048 CPUtime=12.64 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 46031 0 0 0 1257 7 0 0 20 0 1 0 141468227 257867776 42512 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 62956 42512 4224 2834 0 45161 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 251824 KiB
Current children cumulated memory: 170048 KiB
[startup+25.5001 s]
/proc/loadavg: 4.10 3.86 3.87 5/265 122807
/proc/meminfo: memFree=111265268/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=260408 memory=178496 CPUtime=25.42 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 48167 0 0 0 2534 8 0 0 20 0 1 0 141468227 266657792 44624 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 65102 44624 4224 2834 0 47307 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 260408 KiB
Current children cumulated memory: 178496 KiB
[startup+51.1055 s]
/proc/loadavg: 4.12 3.89 3.88 5/265 122807
/proc/meminfo: memFree=111212872/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=276532 memory=195604 CPUtime=50.95 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 57896 0 0 0 5085 10 0 0 20 0 1 0 141468227 283168768 48901 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 69133 48901 4224 2834 0 51338 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 276532 KiB
Current children cumulated memory: 195604 KiB
[startup+102.3 s]
/proc/loadavg: 4.27 3.96 3.91 5/264 122809
/proc/meminfo: memFree=111139128/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=289832 memory=208656 CPUtime=102 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 63411 0 0 0 10189 11 0 0 20 0 1 0 141468227 296787968 52164 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 72458 52164 4224 2834 0 54663 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 289832 KiB
Current children cumulated memory: 208656 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.02 3.94 5/264 122811
/proc/meminfo: memFree=111089076/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=341868 memory=259244 CPUtime=161.81 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 81955 0 0 0 16167 14 0 0 20 0 1 0 141468227 350072832 64811 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 85467 64811 4224 2834 0 67672 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 341868 KiB
Current children cumulated memory: 259244 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.04 3.95 5/265 122814
/proc/meminfo: memFree=111013208/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=395028 memory=311332 CPUtime=221.64 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 102355 0 0 0 22145 19 0 0 20 0 1 0 141468227 404508672 77833 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 98757 77833 4224 2834 0 80962 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 395028 KiB
Current children cumulated memory: 311332 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.05 3.97 5/265 122816
/proc/meminfo: memFree=110914272/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=458580 memory=373172 CPUtime=281.46 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 128811 0 0 0 28123 23 0 0 20 0 1 0 141468227 469585920 93293 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 114645 93293 4224 2834 0 96850 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 458580 KiB
Current children cumulated memory: 373172 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.07 3.98 5/264 122818
/proc/meminfo: memFree=110907452/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=423824 memory=354440 CPUtime=341.3 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 133478 0 0 0 34053 77 0 0 20 0 1 0 141468227 433995776 88610 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 105956 88610 4416 2834 0 88161 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 423824 KiB
Current children cumulated memory: 354440 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.08 4.00 5/264 122820
/proc/meminfo: memFree=110911176/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=426544 memory=356360 CPUtime=401.15 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 133836 0 0 0 39987 128 0 0 20 0 1 0 141468227 436781056 89090 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 106636 89090 4416 2834 0 88841 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 426544 KiB
Current children cumulated memory: 356360 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.08 4.00 5/264 122822
/proc/meminfo: memFree=110910816/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=426544 memory=357384 CPUtime=461 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 134057 0 0 0 45933 167 0 0 20 0 1 0 141468227 436781056 89346 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 106636 89346 4416 2834 0 88841 0
################
# More data... #
################
Current children cumulated memory: 374340 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 122950
/proc/meminfo: memFree=110897860/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=438144 memory=374340 CPUtime=2854.71 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 135334 0 0 0 284444 1027 0 0 20 0 1 0 141468227 448659456 93585 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 109536 93585 4416 2834 0 91741 0
Current children cumulated CPU time: 2854.71 s
Current children cumulated vsize: 438144 KiB
Current children cumulated memory: 374340 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 122953
/proc/meminfo: memFree=110897740/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=438144 memory=374340 CPUtime=2914.53 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 135334 0 0 0 290413 1040 0 0 20 0 1 0 141468227 448659456 93585 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 109536 93585 4416 2834 0 91741 0
Current children cumulated CPU time: 2914.53 s
Current children cumulated vsize: 438144 KiB
Current children cumulated memory: 374340 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 122961
/proc/meminfo: memFree=110897924/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=438144 memory=374340 CPUtime=2974.35 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 135334 0 0 0 296383 1052 0 0 20 0 1 0 141468227 448659456 93585 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 109536 93585 4416 2834 0 91741 0
Current children cumulated CPU time: 2974.35 s
Current children cumulated vsize: 438144 KiB
Current children cumulated memory: 374340 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 122963
/proc/meminfo: memFree=110898448/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=438144 memory=374340 CPUtime=3034.17 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 135416 0 0 0 302351 1066 0 0 20 0 1 0 141468227 448659456 93585 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 109536 93585 4416 2834 0 91741 0
Current children cumulated CPU time: 3034.17 s
Current children cumulated vsize: 438144 KiB
Current children cumulated memory: 374340 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 122965
/proc/meminfo: memFree=110898576/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=438144 memory=374340 CPUtime=3093.98 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 135418 0 0 0 308317 1081 0 0 20 0 1 0 141468227 448659456 93585 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 109536 93585 4416 2834 0 91741 0
Current children cumulated CPU time: 3093.98 s
Current children cumulated vsize: 438144 KiB
Current children cumulated memory: 374340 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 122968
/proc/meminfo: memFree=110898416/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=438144 memory=374340 CPUtime=3153.8 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 135418 0 0 0 314284 1096 0 0 20 0 1 0 141468227 448659456 93585 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 109536 93585 4416 2834 0 91741 0
Current children cumulated CPU time: 3153.8 s
Current children cumulated vsize: 438144 KiB
Current children cumulated memory: 374340 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/264 122970
/proc/meminfo: memFree=110898288/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=438144 memory=374340 CPUtime=3213.62 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 135418 0 0 0 320253 1109 0 0 20 0 1 0 141468227 448659456 93585 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 109536 93585 4416 2834 0 91741 0
Current children cumulated CPU time: 3213.62 s
Current children cumulated vsize: 438144 KiB
Current children cumulated memory: 374340 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 122972
/proc/meminfo: memFree=110898408/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=438144 memory=374340 CPUtime=3273.43 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 135418 0 0 0 326221 1122 0 0 20 0 1 0 141468227 448659456 93585 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 109536 93585 4416 2834 0 91741 0
Current children cumulated CPU time: 3273.43 s
Current children cumulated vsize: 438144 KiB
Current children cumulated memory: 374340 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 123063
/proc/meminfo: memFree=110500220/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=438144 memory=374340 CPUtime=3333.23 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 135418 0 0 0 332190 1133 0 0 20 0 1 0 141468227 448659456 93585 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 109536 93585 4416 2834 0 91741 0
Current children cumulated CPU time: 3333.23 s
Current children cumulated vsize: 438144 KiB
Current children cumulated memory: 374340 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 123065
/proc/meminfo: memFree=108332744/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=438144 memory=374340 CPUtime=3393.03 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 135418 0 0 0 338158 1145 0 0 20 0 1 0 141468227 448659456 93585 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 109536 93585 4416 2834 0 91741 0
Current children cumulated CPU time: 3393.03 s
Current children cumulated vsize: 438144 KiB
Current children cumulated memory: 374340 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 123067
/proc/meminfo: memFree=108341424/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=438144 memory=376388 CPUtime=3452.83 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 135419 0 0 0 344123 1160 0 0 20 0 1 0 141468227 448659456 94097 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 109536 94097 4416 2834 0 91741 0
Current children cumulated CPU time: 3452.83 s
Current children cumulated vsize: 438144 KiB
Current children cumulated memory: 376388 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 123069
/proc/meminfo: memFree=107023020/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=438144 memory=376388 CPUtime=3512.62 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 135419 0 0 0 350091 1171 0 0 20 0 1 0 141468227 448659456 94097 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 109536 94097 4416 2834 0 91741 0
Current children cumulated CPU time: 3512.62 s
Current children cumulated vsize: 438144 KiB
Current children cumulated memory: 376388 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/264 123078
/proc/meminfo: memFree=107006864/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=438144 memory=376388 CPUtime=3572.42 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 135420 0 0 0 356058 1184 0 0 20 0 1 0 141468227 448659456 94097 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 109536 94097 4416 2834 0 91741 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 438144 KiB
Current children cumulated memory: 376388 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.12 4.11 4.09 5/264 123123
/proc/meminfo: memFree=106889956/131250000 swapFree=33008356/33010684
[pid=122806] ppid=122803 vsize=438144 memory=376388 CPUtime=3600.04 cores=1,3
/proc/122806/stat : 122806 (mixed-bag) R 122803 122806 122179 0 -1 4194304 135420 0 0 0 358814 1190 0 0 20 0 1 0 141468227 448659456 94097 18446744073709551615 4235264 15840557 140724963878432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 45600768 140724963887514 140724963887591 140724963887591 140724963893195 0
/proc/122806/statm: 109536 94097 4416 2834 0 91741 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 438144 KiB
Current children cumulated memory: 376388 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 122806 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.14 s, system=11.9103 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.01
CPU time (s): 3600.05
CPU user time (s): 3588.14
CPU system time (s): 11.9103
CPU usage (%): 99.7243
Max. virtual memory (cumulated for all children) (KiB): 479152
Max. memory (cumulated for all children) (KiB): 390068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.14
system time used= 11.9103
maximum resident set size= 390068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135465
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= 143
involuntary context switches= 4955
# summary of solver processes directly reported to runsolver:
# pid: 122806
# total CPU time (s): 3600.05
# total CPU user time (s): 3588.14
# total CPU system time (s): 11.9103
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.08269 second user time and 15.6742 second system time
The end
Begin job on nodeC014 at 2025-07-11 20:18:36
IDJOB=4528940
IDBENCH=147703
IDSOLVER=3386
FILE ID=nodeC014/4528940-1752257916
RUNJOBID= nodeC014-1752257588-122191
SLURM_JOB_ID= 9682608
Free space on /tmp= 430468 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
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-4528940-1752257916/watcher-4528940-1752257916 -o /tmp/evaluation-result-4528940-1752257916/solver-4528940-1752257916 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752257588-122191 --watchdog 3760 mixed-bag HOME/instance-4528940-1752257916.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6f99dbdca9fbd2980e0943071bb7f8ab
RANDOM SEED=1197031082
nodeC014 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 : 3600.114
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3598.253
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3598.478
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.121
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3600.117
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3600.119
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3602.166
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 111446240 kB
MemAvailable: 128955044 kB
Buffers: 696 kB
Cached: 18258744 kB
SwapCached: 1628 kB
Active: 1127452 kB
Inactive: 17888068 kB
Active(anon): 749664 kB
Inactive(anon): 31012 kB
Active(file): 377788 kB
Inactive(file): 17857056 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008356 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 19340 kB
Writeback: 8 kB
AnonPages: 757608 kB
Mapped: 139976 kB
Shmem: 24596 kB
KReclaimable: 226396 kB
Slab: 320880 kB
SReclaimable: 226396 kB
SUnreclaim: 94484 kB
KernelStack: 4256 kB
PageTables: 4808 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1172416 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 346112 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430392 MiB
End job on nodeC014 at 2025-07-11 21:18:47