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.09/0.12 c [STEP] preprocessing with Papilo
0.19/0.25 c Papilo could not simplify the problem
0.19/0.25 c [STEP] solving with SCIP
299.35/300.39 c [STEP] preprocessing done, loading into solver
299.46/300.48 c [STEP] solving
299.46/300.48 c #variables 946 #constraints 58245
299.46/300.48 c SMALL=int, LARGE=long long
299.46/300.49 d SCIPUB -38
299.46/300.49 c bounds - >= -945 @ 299.254
299.46/300.49 c stratification level: 0
325.89/326.95 c bounds - >= -166 @ 299.281
325.89/326.95 c bounds - >= -165 @ 299.282
325.89/326.95 c bounds - >= -164 @ 299.282
325.89/326.95 c bounds - >= -163 @ 299.282
325.89/326.95 c bounds - >= -162 @ 299.283
325.89/326.95 c bounds - >= -161 @ 299.283
325.89/326.95 c bounds - >= -160 @ 299.284
325.89/326.95 c bounds - >= -159 @ 299.284
325.89/326.95 c bounds - >= -158 @ 299.285
325.89/326.95 c bounds - >= -157 @ 299.286
325.89/326.95 c bounds - >= -156 @ 299.287
325.89/326.95 c bounds - >= -155 @ 299.288
325.89/326.95 c bounds - >= -154 @ 299.288
325.89/326.95 c bounds - >= -153 @ 299.288
325.89/326.95 c bounds - >= -152 @ 299.289
325.89/326.95 c bounds - >= -151 @ 299.289
325.89/326.95 c bounds - >= -150 @ 299.29
325.89/326.95 c bounds - >= -149 @ 299.292
325.89/326.95 c bounds - >= -148 @ 299.293
325.89/326.95 c #Conflicts: 1000 | #Constraints: 59430
325.89/326.95 c #Conflicts: 2000 | #Constraints: 60430
325.89/326.95 c INPROCESSING
325.89/326.95 c GARBAGE COLLECT
325.89/326.95 c #Conflicts: 3000 | #Constraints: 60419
325.89/326.95 c #Conflicts: 4000 | #Constraints: 61419
325.89/326.95 c INPROCESSING
325.89/326.95 c GARBAGE COLLECT
325.89/326.95 c #Conflicts: 5000 | #Constraints: 60827
325.89/326.95 c #Conflicts: 6000 | #Constraints: 61827
325.89/326.95 c INPROCESSING
325.89/326.95 c GARBAGE COLLECT
325.89/326.95 c #Conflicts: 7000 | #Constraints: 60831
325.89/326.95 c #Conflicts: 8000 | #Constraints: 61831
325.89/326.95 c #Conflicts: 9000 | #Constraints: 62831
325.89/326.95 c INPROCESSING
325.89/326.95 c GARBAGE COLLECT
325.89/326.95 c #Conflicts: 10000 | #Constraints: 61532
325.89/326.95 c #Conflicts: 11000 | #Constraints: 62532
325.89/326.95 c #Conflicts: 12000 | #Constraints: 63532
325.89/326.95 c INPROCESSING
325.89/326.95 c GARBAGE COLLECT
325.89/326.95 c #Conflicts: 13000 | #Constraints: 61985
325.89/326.95 c #Conflicts: 14000 | #Constraints: 62985
325.89/326.95 c #Conflicts: 15000 | #Constraints: 63985
325.89/326.95 c INPROCESSING
325.89/326.95 c GARBAGE COLLECT
325.89/326.95 c #Conflicts: 16000 | #Constraints: 62223
325.89/326.95 c #Conflicts: 17000 | #Constraints: 63223
325.89/326.95 c #Conflicts: 18000 | #Constraints: 64223
325.89/326.95 c INPROCESSING
325.89/326.95 c GARBAGE COLLECT
325.89/326.95 c #Conflicts: 19000 | #Constraints: 62251
325.89/326.95 c #Conflicts: 20000 | #Constraints: 63251
325.89/326.95 c #Conflicts: 21000 | #Constraints: 64251
325.89/326.95 c INPROCESSING
325.89/326.95 c GARBAGE COLLECT
325.89/326.95 c #Conflicts: 22000 | #Constraints: 62051
325.89/326.95 c #Conflicts: 23000 | #Constraints: 63051
325.89/326.95 c #Conflicts: 24000 | #Constraints: 64051
325.89/326.95 c #Conflicts: 25000 | #Constraints: 65051
325.89/326.95 c INPROCESSING
325.89/326.95 c GARBAGE COLLECT
325.89/326.95 c #Conflicts: 26000 | #Constraints: 62663
325.89/326.95 c #Conflicts: 27000 | #Constraints: 63663
325.89/326.95 c #Conflicts: 28000 | #Constraints: 64663
325.89/326.95 c #Conflicts: 29000 | #Constraints: 65663
325.89/326.95 c INPROCESSING
325.89/326.95 c GARBAGE COLLECT
325.89/326.95 c #Conflicts: 30000 | #Constraints: 63057
325.89/326.95 c #Conflicts: 31000 | #Constraints: 64057
325.89/326.95 c #Conflicts: 32000 | #Constraints: 65057
325.89/326.95 c #Conflicts: 33000 | #Constraints: 66057
325.89/326.95 c INPROCESSING
325.89/326.95 c GARBAGE COLLECT
325.89/326.95 c #Conflicts: 34000 | #Constraints: 63259
325.89/326.95 c #Conflicts: 35000 | #Constraints: 64259
325.89/326.95 c #Conflicts: 36000 | #Constraints: 65259
325.89/326.95 c #Conflicts: 37000 | #Constraints: 66259
325.89/326.95 c INPROCESSING
325.89/326.95 c GARBAGE COLLECT
325.89/326.95 c #Conflicts: 38000 | #Constraints: 63285
325.89/326.95 c #Conflicts: 39000 | #Constraints: 64285
325.89/326.95 c #Conflicts: 40000 | #Constraints: 65285
325.89/326.95 c #Conflicts: 41000 | #Constraints: 66285
325.89/326.95 c INPROCESSING
325.89/326.95 c GARBAGE COLLECT
325.89/326.95 c #Conflicts: 42000 | #Constraints: 63077
325.89/326.95 c #Conflicts: 43000 | #Constraints: 64077
325.89/326.95 c #Conflicts: 44000 | #Constraints: 65077
325.89/326.95 c #Conflicts: 45000 | #Constraints: 66077
325.89/326.95 c #Conflicts: 46000 | #Constraints: 67077
325.89/326.95 c INPROCESSING
325.89/326.95 c GARBAGE COLLECT
325.89/326.95 c #Conflicts: 47000 | #Constraints: 63677
325.89/326.95 c #Conflicts: 48000 | #Constraints: 64677
325.89/326.95 c #Conflicts: 49000 | #Constraints: 65677
325.89/326.95 c #Conflicts: 50000 | #Constraints: 66677
325.89/326.95 c #Conflicts: 51000 | #Constraints: 67677
325.89/326.95 c INPROCESSING
325.89/326.95 c GARBAGE COLLECT
325.89/326.95 c #Conflicts: 52000 | #Constraints: 64073
325.89/326.95 c #Conflicts: 53000 | #Constraints: 65073
325.89/326.95 c #Conflicts: 54000 | #Constraints: 66073
325.89/326.95 c #Conflicts: 55000 | #Constraints: 67073
325.89/326.95 c #Conflicts: 56000 | #Constraints: 68073
325.89/326.95 c INPROCESSING
325.89/326.95 c GARBAGE COLLECT
325.89/326.95 c #Conflicts: 57000 | #Constraints: 64277
325.89/326.95 c #Conflicts: 58000 | #Constraints: 65277
325.89/326.95 c #Conflicts: 59000 | #Constraints: 66277
375.06/376.24 c #Conflicts: 60000 | #Constraints: 67277
375.06/376.24 c #Conflicts: 61000 | #Constraints: 68277
375.06/376.24 c INPROCESSING
375.06/376.24 c GARBAGE COLLECT
375.06/376.24 c #Conflicts: 62000 | #Constraints: 64280
375.06/376.24 c #Conflicts: 63000 | #Constraints: 65280
375.06/376.24 c #Conflicts: 64000 | #Constraints: 66280
375.06/376.24 c #Conflicts: 65000 | #Constraints: 67280
375.06/376.24 c #Conflicts: 66000 | #Constraints: 68280
375.06/376.24 c INPROCESSING
375.06/376.24 c GARBAGE COLLECT
375.06/376.24 c #Conflicts: 67000 | #Constraints: 64086
375.06/376.24 c #Conflicts: 68000 | #Constraints: 65086
375.06/376.24 c #Conflicts: 69000 | #Constraints: 66086
375.06/376.24 c #Conflicts: 70000 | #Constraints: 67086
375.06/376.24 c #Conflicts: 71000 | #Constraints: 68086
375.06/376.24 c #Conflicts: 72000 | #Constraints: 69086
375.06/376.24 c INPROCESSING
375.06/376.24 c GARBAGE COLLECT
375.06/376.24 c #Conflicts: 73000 | #Constraints: 64694
375.06/376.24 c #Conflicts: 74000 | #Constraints: 65694
375.06/376.24 c #Conflicts: 75000 | #Constraints: 66694
375.06/376.24 c #Conflicts: 76000 | #Constraints: 67694
375.06/376.24 c #Conflicts: 77000 | #Constraints: 68694
375.06/376.24 c #Conflicts: 78000 | #Constraints: 69694
375.06/376.24 c INPROCESSING
375.06/376.24 c GARBAGE COLLECT
375.06/376.24 c #Conflicts: 79000 | #Constraints: 65092
375.06/376.24 c #Conflicts: 80000 | #Constraints: 66092
375.06/376.24 c #Conflicts: 81000 | #Constraints: 67092
375.06/376.24 c #Conflicts: 82000 | #Constraints: 68092
375.06/376.24 c #Conflicts: 83000 | #Constraints: 69092
375.06/376.24 c #Conflicts: 84000 | #Constraints: 70092
375.06/376.24 c INPROCESSING
375.06/376.24 c GARBAGE COLLECT
375.06/376.24 c #Conflicts: 85000 | #Constraints: 65314
375.06/376.24 c #Conflicts: 86000 | #Constraints: 66314
375.06/376.24 c #Conflicts: 87000 | #Constraints: 67314
375.06/376.24 c #Conflicts: 88000 | #Constraints: 68314
375.06/376.24 c #Conflicts: 89000 | #Constraints: 69314
375.06/376.24 c #Conflicts: 90000 | #Constraints: 70314
375.06/376.24 c INPROCESSING
375.06/376.24 c GARBAGE COLLECT
375.06/376.24 c #Conflicts: 91000 | #Constraints: 65316
375.06/376.24 c #Conflicts: 92000 | #Constraints: 66316
375.06/376.24 c #Conflicts: 93000 | #Constraints: 67316
375.06/376.24 c #Conflicts: 94000 | #Constraints: 68316
375.06/376.24 c #Conflicts: 95000 | #Constraints: 69316
375.06/376.24 c #Conflicts: 96000 | #Constraints: 70316
375.06/376.24 c INPROCESSING
375.06/376.24 c GARBAGE COLLECT
375.06/376.24 c #Conflicts: 97000 | #Constraints: 65122
375.06/376.24 c #Conflicts: 98000 | #Constraints: 66122
375.06/376.24 c #Conflicts: 99000 | #Constraints: 67122
375.06/376.24 c #Conflicts: 100000 | #Constraints: 68122
375.06/376.24 c #Conflicts: 101000 | #Constraints: 69122
375.06/376.24 c #Conflicts: 102000 | #Constraints: 70122
375.06/376.24 c #Conflicts: 103000 | #Constraints: 71122
375.06/376.24 c INPROCESSING
375.06/376.24 c GARBAGE COLLECT
375.06/376.24 c #Conflicts: 104000 | #Constraints: 65734
375.06/376.24 c #Conflicts: 105000 | #Constraints: 66734
375.06/376.24 c #Conflicts: 106000 | #Constraints: 67734
375.06/376.24 c #Conflicts: 107000 | #Constraints: 68734
375.06/376.24 c #Conflicts: 108000 | #Constraints: 69734
375.06/376.24 c #Conflicts: 109000 | #Constraints: 70734
375.06/376.24 c #Conflicts: 110000 | #Constraints: 71734
375.06/376.24 c INPROCESSING
375.06/376.24 c GARBAGE COLLECT
375.06/376.24 c #Conflicts: 111000 | #Constraints: 66121
375.06/376.24 c #Conflicts: 112000 | #Constraints: 67121
375.06/376.24 c #Conflicts: 113000 | #Constraints: 68121
375.06/376.24 c #Conflicts: 114000 | #Constraints: 69121
375.06/376.24 c #Conflicts: 115000 | #Constraints: 70121
375.06/376.24 c #Conflicts: 116000 | #Constraints: 71121
375.06/376.24 c #Conflicts: 117000 | #Constraints: 72121
375.06/376.24 c INPROCESSING
375.06/376.24 c GARBAGE COLLECT
375.06/376.24 c #Conflicts: 118000 | #Constraints: 66347
375.06/376.24 c #Conflicts: 119000 | #Constraints: 67347
375.06/376.24 c #Conflicts: 120000 | #Constraints: 68347
375.06/376.24 c #Conflicts: 121000 | #Constraints: 69347
375.06/376.24 c #Conflicts: 122000 | #Constraints: 70347
375.06/376.24 c #Conflicts: 123000 | #Constraints: 71347
375.06/376.24 c #Conflicts: 124000 | #Constraints: 72347
375.06/376.24 c INPROCESSING
375.06/376.24 c GARBAGE COLLECT
375.06/376.24 c #Conflicts: 125000 | #Constraints: 66340
375.06/376.24 c #Conflicts: 126000 | #Constraints: 67340
375.06/376.24 c #Conflicts: 127000 | #Constraints: 68340
375.06/376.24 c #Conflicts: 128000 | #Constraints: 69340
375.06/376.24 c #Conflicts: 129000 | #Constraints: 70340
375.06/376.24 c #Conflicts: 130000 | #Constraints: 71340
436.59/438.00 c #Conflicts: 131000 | #Constraints: 72340
436.59/438.00 c INPROCESSING
436.59/438.00 c GARBAGE COLLECT
436.59/438.00 c #Conflicts: 132000 | #Constraints: 66147
436.59/438.00 c #Conflicts: 133000 | #Constraints: 67147
436.59/438.00 c #Conflicts: 134000 | #Constraints: 68147
436.59/438.00 c #Conflicts: 135000 | #Constraints: 69147
436.59/438.00 c #Conflicts: 136000 | #Constraints: 70147
436.59/438.00 c #Conflicts: 137000 | #Constraints: 71147
436.59/438.00 c #Conflicts: 138000 | #Constraints: 72147
436.59/438.00 c #Conflicts: 139000 | #Constraints: 73147
436.59/438.00 c INPROCESSING
436.59/438.00 c GARBAGE COLLECT
436.59/438.00 c #Conflicts: 140000 | #Constraints: 66754
436.59/438.00 c #Conflicts: 141000 | #Constraints: 67754
436.59/438.00 c #Conflicts: 142000 | #Constraints: 68754
436.59/438.00 c #Conflicts: 143000 | #Constraints: 69754
436.59/438.00 c #Conflicts: 144000 | #Constraints: 70754
436.59/438.00 c #Conflicts: 145000 | #Constraints: 71754
436.59/438.00 c #Conflicts: 146000 | #Constraints: 72754
436.59/438.00 c #Conflicts: 147000 | #Constraints: 73754
436.59/438.00 c INPROCESSING
436.59/438.00 c GARBAGE COLLECT
436.59/438.00 c #Conflicts: 148000 | #Constraints: 67169
436.59/438.00 c #Conflicts: 149000 | #Constraints: 68169
436.59/438.00 c #Conflicts: 150000 | #Constraints: 69169
436.59/438.00 c #Conflicts: 151000 | #Constraints: 70169
436.59/438.00 c #Conflicts: 152000 | #Constraints: 71169
436.59/438.00 c #Conflicts: 153000 | #Constraints: 72169
436.59/438.00 c #Conflicts: 154000 | #Constraints: 73169
436.59/438.00 c #Conflicts: 155000 | #Constraints: 74169
436.59/438.00 c INPROCESSING
436.59/438.00 c GARBAGE COLLECT
436.59/438.00 c #Conflicts: 156000 | #Constraints: 67356
436.59/438.00 c #Conflicts: 157000 | #Constraints: 68356
436.59/438.00 c #Conflicts: 158000 | #Constraints: 69356
436.59/438.00 c #Conflicts: 159000 | #Constraints: 70356
436.59/438.00 c #Conflicts: 160000 | #Constraints: 71356
436.59/438.00 c #Conflicts: 161000 | #Constraints: 72356
436.59/438.00 c #Conflicts: 162000 | #Constraints: 73356
436.59/438.00 c #Conflicts: 163000 | #Constraints: 74356
436.59/438.00 c INPROCESSING
436.59/438.00 c GARBAGE COLLECT
436.59/438.00 c #Conflicts: 164000 | #Constraints: 67354
436.59/438.00 c #Conflicts: 165000 | #Constraints: 68354
436.59/438.00 c #Conflicts: 166000 | #Constraints: 69354
436.59/438.00 c #Conflicts: 167000 | #Constraints: 70354
436.59/438.00 c #Conflicts: 168000 | #Constraints: 71354
436.59/438.00 c #Conflicts: 169000 | #Constraints: 72354
436.59/438.00 c #Conflicts: 170000 | #Constraints: 73354
436.59/438.00 c #Conflicts: 171000 | #Constraints: 74354
436.59/438.00 c INPROCESSING
436.59/438.00 c GARBAGE COLLECT
436.59/438.00 c #Conflicts: 172000 | #Constraints: 67138
436.59/438.00 c #Conflicts: 173000 | #Constraints: 68138
436.59/438.00 c #Conflicts: 174000 | #Constraints: 69138
436.59/438.00 c #Conflicts: 175000 | #Constraints: 70138
436.59/438.00 c #Conflicts: 176000 | #Constraints: 71138
436.59/438.00 c #Conflicts: 177000 | #Constraints: 72138
436.59/438.00 c #Conflicts: 178000 | #Constraints: 73138
436.59/438.00 c #Conflicts: 179000 | #Constraints: 74138
436.59/438.00 c #Conflicts: 180000 | #Constraints: 75138
436.59/438.00 c INPROCESSING
436.59/438.00 c GARBAGE COLLECT
436.59/438.00 c #Conflicts: 181000 | #Constraints: 67715
436.59/438.00 c #Conflicts: 182000 | #Constraints: 68715
436.59/438.00 c #Conflicts: 183000 | #Constraints: 69715
436.59/438.00 c #Conflicts: 184000 | #Constraints: 70715
436.59/438.00 c #Conflicts: 185000 | #Constraints: 71715
436.59/438.00 c #Conflicts: 186000 | #Constraints: 72715
436.59/438.00 c #Conflicts: 187000 | #Constraints: 73715
436.59/438.00 c #Conflicts: 188000 | #Constraints: 74715
436.59/438.00 c #Conflicts: 189000 | #Constraints: 75715
436.59/438.00 c INPROCESSING
436.59/438.00 c GARBAGE COLLECT
436.59/438.00 c #Conflicts: 190000 | #Constraints: 68115
436.59/438.00 c #Conflicts: 191000 | #Constraints: 69115
436.59/438.00 c #Conflicts: 192000 | #Constraints: 70115
436.59/438.00 c #Conflicts: 193000 | #Constraints: 71115
436.59/438.00 c #Conflicts: 194000 | #Constraints: 72115
436.59/438.00 c #Conflicts: 195000 | #Constraints: 73115
436.59/438.00 c #Conflicts: 196000 | #Constraints: 74115
436.59/438.00 c #Conflicts: 197000 | #Constraints: 75115
436.59/438.00 c #Conflicts: 198000 | #Constraints: 76115
436.59/438.00 c INPROCESSING
436.59/438.00 c GARBAGE COLLECT
436.59/438.00 c #Conflicts: 199000 | #Constraints: 68343
436.59/438.00 c #Conflicts: 200000 | #Constraints: 69343
436.59/438.00 c #Conflicts: 201000 | #Constraints: 70343
436.59/438.00 c #Conflicts: 202000 | #Constraints: 71343
436.59/438.00 c #Conflicts: 203000 | #Constraints: 72343
510.88/512.43 c #Conflicts: 204000 | #Constraints: 73343
510.88/512.43 c #Conflicts: 205000 | #Constraints: 74343
510.88/512.43 c #Conflicts: 206000 | #Constraints: 75343
510.88/512.43 c #Conflicts: 207000 | #Constraints: 76343
510.88/512.43 c INPROCESSING
510.88/512.43 c GARBAGE COLLECT
510.88/512.43 c #Conflicts: 208000 | #Constraints: 68331
510.88/512.43 c #Conflicts: 209000 | #Constraints: 69331
510.88/512.43 c #Conflicts: 210000 | #Constraints: 70331
510.88/512.43 c #Conflicts: 211000 | #Constraints: 71331
510.88/512.43 c #Conflicts: 212000 | #Constraints: 72331
510.88/512.43 c #Conflicts: 213000 | #Constraints: 73331
510.88/512.43 c #Conflicts: 214000 | #Constraints: 74331
510.88/512.43 c #Conflicts: 215000 | #Constraints: 75331
510.88/512.43 c #Conflicts: 216000 | #Constraints: 76331
510.88/512.43 c INPROCESSING
510.88/512.43 c GARBAGE COLLECT
510.88/512.43 c #Conflicts: 217000 | #Constraints: 68156
510.88/512.43 c #Conflicts: 218000 | #Constraints: 69156
510.88/512.43 c #Conflicts: 219000 | #Constraints: 70156
510.88/512.43 c #Conflicts: 220000 | #Constraints: 71156
510.88/512.43 c #Conflicts: 221000 | #Constraints: 72156
510.88/512.43 c #Conflicts: 222000 | #Constraints: 73156
510.88/512.43 c #Conflicts: 223000 | #Constraints: 74156
510.88/512.43 c #Conflicts: 224000 | #Constraints: 75156
510.88/512.43 c #Conflicts: 225000 | #Constraints: 76156
510.88/512.43 c #Conflicts: 226000 | #Constraints: 77156
510.88/512.43 c INPROCESSING
510.88/512.43 c GARBAGE COLLECT
510.88/512.43 c #Conflicts: 227000 | #Constraints: 68758
510.88/512.43 c #Conflicts: 228000 | #Constraints: 69758
510.88/512.43 c #Conflicts: 229000 | #Constraints: 70758
510.88/512.43 c #Conflicts: 230000 | #Constraints: 71758
510.88/512.43 c #Conflicts: 231000 | #Constraints: 72758
510.88/512.43 c #Conflicts: 232000 | #Constraints: 73758
510.88/512.43 c #Conflicts: 233000 | #Constraints: 74758
510.88/512.43 c #Conflicts: 234000 | #Constraints: 75758
510.88/512.43 c #Conflicts: 235000 | #Constraints: 76758
510.88/512.43 c #Conflicts: 236000 | #Constraints: 77758
510.88/512.43 c INPROCESSING
510.88/512.43 c GARBAGE COLLECT
510.88/512.43 c #Conflicts: 237000 | #Constraints: 69153
510.88/512.43 c #Conflicts: 238000 | #Constraints: 70153
510.88/512.43 c #Conflicts: 239000 | #Constraints: 71153
510.88/512.43 c #Conflicts: 240000 | #Constraints: 72153
510.88/512.43 c #Conflicts: 241000 | #Constraints: 73153
510.88/512.43 c #Conflicts: 242000 | #Constraints: 74153
510.88/512.43 c #Conflicts: 243000 | #Constraints: 75153
510.88/512.43 c #Conflicts: 244000 | #Constraints: 76153
510.88/512.43 c #Conflicts: 245000 | #Constraints: 77153
510.88/512.43 c #Conflicts: 246000 | #Constraints: 78153
510.88/512.43 c INPROCESSING
510.88/512.43 c GARBAGE COLLECT
510.88/512.43 c #Conflicts: 247000 | #Constraints: 69354
510.88/512.43 c #Conflicts: 248000 | #Constraints: 70354
510.88/512.43 c #Conflicts: 249000 | #Constraints: 71354
510.88/512.43 c #Conflicts: 250000 | #Constraints: 72354
510.88/512.43 c #Conflicts: 251000 | #Constraints: 73354
510.88/512.43 c #Conflicts: 252000 | #Constraints: 74354
510.88/512.43 c #Conflicts: 253000 | #Constraints: 75354
510.88/512.43 c #Conflicts: 254000 | #Constraints: 76354
510.88/512.43 c #Conflicts: 255000 | #Constraints: 77354
510.88/512.43 c #Conflicts: 256000 | #Constraints: 78354
510.88/512.43 c INPROCESSING
510.88/512.43 c GARBAGE COLLECT
510.88/512.43 c #Conflicts: 257000 | #Constraints: 69372
510.88/512.43 c #Conflicts: 258000 | #Constraints: 70372
510.88/512.43 c #Conflicts: 259000 | #Constraints: 71372
510.88/512.43 c #Conflicts: 260000 | #Constraints: 72372
510.88/512.43 c #Conflicts: 261000 | #Constraints: 73372
510.88/512.43 c #Conflicts: 262000 | #Constraints: 74372
510.88/512.43 c #Conflicts: 263000 | #Constraints: 75372
510.88/512.43 c #Conflicts: 264000 | #Constraints: 76372
510.88/512.43 c #Conflicts: 265000 | #Constraints: 77372
510.88/512.43 c #Conflicts: 266000 | #Constraints: 78372
510.88/512.43 c INPROCESSING
510.88/512.43 c GARBAGE COLLECT
510.88/512.43 c #Conflicts: 267000 | #Constraints: 69167
510.88/512.43 c #Conflicts: 268000 | #Constraints: 70167
510.88/512.43 c #Conflicts: 269000 | #Constraints: 71167
510.88/512.43 c #Conflicts: 270000 | #Constraints: 72167
510.88/512.43 c #Conflicts: 271000 | #Constraints: 73167
510.88/512.43 c #Conflicts: 272000 | #Constraints: 74167
510.88/512.43 c #Conflicts: 273000 | #Constraints: 75167
510.88/512.43 c #Conflicts: 274000 | #Constraints: 76167
510.88/512.43 c #Conflicts: 275000 | #Constraints: 77167
510.88/512.43 c #Conflicts: 276000 | #Constraints: 78167
510.88/512.43 c #Conflicts: 277000 | #Constraints: 79167
510.88/512.43 c INPROCESSING
599.55/601.37 c GARBAGE COLLECT
599.55/601.37 c #Conflicts: 278000 | #Constraints: 69775
599.55/601.37 c #Conflicts: 279000 | #Constraints: 70775
599.55/601.37 c #Conflicts: 280000 | #Constraints: 71775
599.55/601.37 c #Conflicts: 281000 | #Constraints: 72775
599.55/601.37 c #Conflicts: 282000 | #Constraints: 73775
599.55/601.37 c #Conflicts: 283000 | #Constraints: 74775
599.55/601.37 c #Conflicts: 284000 | #Constraints: 75775
599.55/601.37 c #Conflicts: 285000 | #Constraints: 76775
599.55/601.37 c #Conflicts: 286000 | #Constraints: 77775
599.55/601.37 c #Conflicts: 287000 | #Constraints: 78775
599.55/601.37 c #Conflicts: 288000 | #Constraints: 79775
599.55/601.37 c INPROCESSING
599.55/601.37 c GARBAGE COLLECT
599.55/601.37 c #Conflicts: 289000 | #Constraints: 70159
599.55/601.37 c #Conflicts: 290000 | #Constraints: 71159
599.55/601.37 c #Conflicts: 291000 | #Constraints: 72159
599.55/601.37 c #Conflicts: 292000 | #Constraints: 73159
599.55/601.37 c #Conflicts: 293000 | #Constraints: 74159
599.55/601.37 c #Conflicts: 294000 | #Constraints: 75159
599.55/601.37 c #Conflicts: 295000 | #Constraints: 76159
599.55/601.37 c #Conflicts: 296000 | #Constraints: 77159
599.55/601.37 c #Conflicts: 297000 | #Constraints: 78159
599.55/601.37 c #Conflicts: 298000 | #Constraints: 79159
599.55/601.37 c #Conflicts: 299000 | #Constraints: 80159
599.55/601.37 c INPROCESSING
599.55/601.37 c GARBAGE COLLECT
599.55/601.37 c #Conflicts: 300000 | #Constraints: 70360
599.55/601.37 c #Conflicts: 301000 | #Constraints: 71360
599.55/601.37 c #Conflicts: 302000 | #Constraints: 72360
599.55/601.37 c #Conflicts: 303000 | #Constraints: 73360
599.55/601.37 c #Conflicts: 304000 | #Constraints: 74360
599.55/601.37 c #Conflicts: 305000 | #Constraints: 75360
599.55/601.37 c #Conflicts: 306000 | #Constraints: 76360
599.55/601.37 c #Conflicts: 307000 | #Constraints: 77360
599.55/601.37 c #Conflicts: 308000 | #Constraints: 78360
599.55/601.37 c #Conflicts: 309000 | #Constraints: 79360
599.55/601.37 c #Conflicts: 310000 | #Constraints: 80360
599.55/601.37 c INPROCESSING
599.55/601.37 c GARBAGE COLLECT
599.55/601.37 c #Conflicts: 311000 | #Constraints: 70345
599.55/601.37 c #Conflicts: 312000 | #Constraints: 71345
599.55/601.37 c #Conflicts: 313000 | #Constraints: 72345
599.55/601.37 c #Conflicts: 314000 | #Constraints: 73345
599.55/601.37 c #Conflicts: 315000 | #Constraints: 74345
599.55/601.37 c #Conflicts: 316000 | #Constraints: 75345
599.55/601.37 c #Conflicts: 317000 | #Constraints: 76345
599.55/601.37 c #Conflicts: 318000 | #Constraints: 77345
599.55/601.37 c #Conflicts: 319000 | #Constraints: 78345
599.55/601.37 c #Conflicts: 320000 | #Constraints: 79345
599.55/601.37 c #Conflicts: 321000 | #Constraints: 80345
599.55/601.37 c INPROCESSING
599.55/601.37 c GARBAGE COLLECT
599.55/601.37 c #Conflicts: 322000 | #Constraints: 70141
599.55/601.37 c #Conflicts: 323000 | #Constraints: 71141
599.55/601.37 c #Conflicts: 324000 | #Constraints: 72141
599.55/601.37 c #Conflicts: 325000 | #Constraints: 73141
599.55/601.37 c #Conflicts: 326000 | #Constraints: 74141
599.55/601.37 c #Conflicts: 327000 | #Constraints: 75141
599.55/601.37 c #Conflicts: 328000 | #Constraints: 76141
599.55/601.37 c #Conflicts: 329000 | #Constraints: 77141
599.55/601.37 c #Conflicts: 330000 | #Constraints: 78141
599.55/601.37 c #Conflicts: 331000 | #Constraints: 79141
599.55/601.37 c #Conflicts: 332000 | #Constraints: 80141
599.55/601.37 c #Conflicts: 333000 | #Constraints: 81141
599.55/601.37 c INPROCESSING
599.55/601.37 c GARBAGE COLLECT
599.55/601.37 c #Conflicts: 334000 | #Constraints: 70748
599.55/601.37 c #Conflicts: 335000 | #Constraints: 71748
599.55/601.37 c #Conflicts: 336000 | #Constraints: 72748
599.55/601.37 c #Conflicts: 337000 | #Constraints: 73748
599.55/601.37 c #Conflicts: 338000 | #Constraints: 74748
599.55/601.37 c #Conflicts: 339000 | #Constraints: 75748
599.55/601.37 c #Conflicts: 340000 | #Constraints: 76748
599.55/601.37 c #Conflicts: 341000 | #Constraints: 77748
599.55/601.37 c #Conflicts: 342000 | #Constraints: 78748
599.55/601.37 c #Conflicts: 343000 | #Constraints: 79748
599.55/601.37 c #Conflicts: 344000 | #Constraints: 80748
599.55/601.37 c #Conflicts: 345000 | #Constraints: 81748
599.55/601.37 c INPROCESSING
599.55/601.37 c GARBAGE COLLECT
599.55/601.37 c #Conflicts: 346000 | #Constraints: 71159
599.55/601.37 c #Conflicts: 347000 | #Constraints: 72159
599.55/601.37 c #Conflicts: 348000 | #Constraints: 73159
599.55/601.37 c #Conflicts: 349000 | #Constraints: 74159
599.55/601.37 c #Conflicts: 350000 | #Constraints: 75159
599.55/601.37 c #Conflicts: 351000 | #Constraints: 76159
599.55/601.37 c #Conflicts: 352000 | #Constraints: 77159
707.54/709.67 c #Conflicts: 353000 | #Constraints: 78159
707.54/709.67 c #Conflicts: 354000 | #Constraints: 79159
707.54/709.67 c #Conflicts: 355000 | #Constraints: 80159
707.54/709.67 c #Conflicts: 356000 | #Constraints: 81159
707.54/709.67 c #Conflicts: 357000 | #Constraints: 82159
707.54/709.67 c INPROCESSING
707.54/709.67 c GARBAGE COLLECT
707.54/709.67 c #Conflicts: 358000 | #Constraints: 71357
707.54/709.67 c #Conflicts: 359000 | #Constraints: 72357
707.54/709.67 c #Conflicts: 360000 | #Constraints: 73357
707.54/709.67 c #Conflicts: 361000 | #Constraints: 74357
707.54/709.67 c #Conflicts: 362000 | #Constraints: 75357
707.54/709.67 c #Conflicts: 363000 | #Constraints: 76357
707.54/709.67 c #Conflicts: 364000 | #Constraints: 77357
707.54/709.67 c #Conflicts: 365000 | #Constraints: 78357
707.54/709.67 c #Conflicts: 366000 | #Constraints: 79357
707.54/709.67 c #Conflicts: 367000 | #Constraints: 80357
707.54/709.67 c #Conflicts: 368000 | #Constraints: 81357
707.54/709.67 c #Conflicts: 369000 | #Constraints: 82357
707.54/709.67 c INPROCESSING
707.54/709.67 c GARBAGE COLLECT
707.54/709.67 c #Conflicts: 370000 | #Constraints: 71356
707.54/709.67 c #Conflicts: 371000 | #Constraints: 72356
707.54/709.67 c #Conflicts: 372000 | #Constraints: 73356
707.54/709.67 c #Conflicts: 373000 | #Constraints: 74356
707.54/709.67 c #Conflicts: 374000 | #Constraints: 75356
707.54/709.67 c #Conflicts: 375000 | #Constraints: 76356
707.54/709.67 c #Conflicts: 376000 | #Constraints: 77356
707.54/709.67 c #Conflicts: 377000 | #Constraints: 78356
707.54/709.67 c #Conflicts: 378000 | #Constraints: 79356
707.54/709.67 c #Conflicts: 379000 | #Constraints: 80356
707.54/709.67 c #Conflicts: 380000 | #Constraints: 81356
707.54/709.67 c #Conflicts: 381000 | #Constraints: 82356
707.54/709.67 c INPROCESSING
707.54/709.67 c GARBAGE COLLECT
707.54/709.67 c #Conflicts: 382000 | #Constraints: 71191
707.54/709.67 c #Conflicts: 383000 | #Constraints: 72191
707.54/709.67 c #Conflicts: 384000 | #Constraints: 73191
707.54/709.67 c #Conflicts: 385000 | #Constraints: 74191
707.54/709.67 c #Conflicts: 386000 | #Constraints: 75191
707.54/709.67 c #Conflicts: 387000 | #Constraints: 76191
707.54/709.67 c #Conflicts: 388000 | #Constraints: 77191
707.54/709.67 c #Conflicts: 389000 | #Constraints: 78191
707.54/709.67 c #Conflicts: 390000 | #Constraints: 79191
707.54/709.67 c #Conflicts: 391000 | #Constraints: 80191
707.54/709.67 c #Conflicts: 392000 | #Constraints: 81191
707.54/709.67 c #Conflicts: 393000 | #Constraints: 82191
707.54/709.67 c #Conflicts: 394000 | #Constraints: 83191
707.54/709.67 c INPROCESSING
707.54/709.67 c GARBAGE COLLECT
707.54/709.67 c #Conflicts: 395000 | #Constraints: 71814
707.54/709.67 c #Conflicts: 396000 | #Constraints: 72814
707.54/709.67 c #Conflicts: 397000 | #Constraints: 73814
707.54/709.67 c #Conflicts: 398000 | #Constraints: 74814
707.54/709.67 c #Conflicts: 399000 | #Constraints: 75814
707.54/709.67 c #Conflicts: 400000 | #Constraints: 76814
707.54/709.67 c #Conflicts: 401000 | #Constraints: 77814
707.54/709.67 c #Conflicts: 402000 | #Constraints: 78814
707.54/709.67 c #Conflicts: 403000 | #Constraints: 79814
707.54/709.67 c #Conflicts: 404000 | #Constraints: 80814
707.54/709.67 c #Conflicts: 405000 | #Constraints: 81814
707.54/709.67 c #Conflicts: 406000 | #Constraints: 82814
707.54/709.67 c #Conflicts: 407000 | #Constraints: 83814
707.54/709.67 c INPROCESSING
707.54/709.67 c GARBAGE COLLECT
707.54/709.67 c #Conflicts: 408000 | #Constraints: 72189
707.54/709.67 c #Conflicts: 409000 | #Constraints: 73189
707.54/709.67 c #Conflicts: 410000 | #Constraints: 74189
707.54/709.67 c #Conflicts: 411000 | #Constraints: 75189
707.54/709.67 c #Conflicts: 412000 | #Constraints: 76189
707.54/709.67 c #Conflicts: 413000 | #Constraints: 77189
707.54/709.67 c #Conflicts: 414000 | #Constraints: 78189
707.54/709.67 c #Conflicts: 415000 | #Constraints: 79189
707.54/709.67 c #Conflicts: 416000 | #Constraints: 80189
707.54/709.67 c #Conflicts: 417000 | #Constraints: 81189
707.54/709.67 c #Conflicts: 418000 | #Constraints: 82189
707.54/709.67 c #Conflicts: 419000 | #Constraints: 83189
707.54/709.67 c #Conflicts: 420000 | #Constraints: 84189
707.54/709.67 c INPROCESSING
707.54/709.67 c GARBAGE COLLECT
707.54/709.67 c #Conflicts: 421000 | #Constraints: 72374
707.54/709.67 c #Conflicts: 422000 | #Constraints: 73374
707.54/709.67 c #Conflicts: 423000 | #Constraints: 74374
707.54/709.67 c #Conflicts: 424000 | #Constraints: 75374
707.54/709.67 c #Conflicts: 425000 | #Constraints: 76374
707.54/709.67 c #Conflicts: 426000 | #Constraints: 77374
707.54/709.67 c #Conflicts: 427000 | #Constraints: 78374
810.67/813.09 c #Conflicts: 428000 | #Constraints: 79374
810.67/813.09 c #Conflicts: 429000 | #Constraints: 80374
810.67/813.09 c #Conflicts: 430000 | #Constraints: 81374
810.67/813.09 c #Conflicts: 431000 | #Constraints: 82374
810.67/813.09 c #Conflicts: 432000 | #Constraints: 83374
810.67/813.09 c #Conflicts: 433000 | #Constraints: 84374
810.67/813.09 c INPROCESSING
810.67/813.09 c GARBAGE COLLECT
810.67/813.09 c #Conflicts: 434000 | #Constraints: 72385
810.67/813.09 c #Conflicts: 435000 | #Constraints: 73385
810.67/813.09 c #Conflicts: 436000 | #Constraints: 74385
810.67/813.09 c #Conflicts: 437000 | #Constraints: 75385
810.67/813.09 c #Conflicts: 438000 | #Constraints: 76385
810.67/813.09 c #Conflicts: 439000 | #Constraints: 77385
810.67/813.09 c #Conflicts: 440000 | #Constraints: 78385
810.67/813.09 c #Conflicts: 441000 | #Constraints: 79385
810.67/813.09 c #Conflicts: 442000 | #Constraints: 80385
810.67/813.09 c #Conflicts: 443000 | #Constraints: 81385
810.67/813.09 c #Conflicts: 444000 | #Constraints: 82385
810.67/813.09 c #Conflicts: 445000 | #Constraints: 83385
810.67/813.09 c #Conflicts: 446000 | #Constraints: 84385
810.67/813.09 c INPROCESSING
810.67/813.09 c GARBAGE COLLECT
810.67/813.09 c #Conflicts: 447000 | #Constraints: 72171
810.67/813.09 c #Conflicts: 448000 | #Constraints: 73171
810.67/813.09 c #Conflicts: 449000 | #Constraints: 74171
810.67/813.09 c #Conflicts: 450000 | #Constraints: 75171
810.67/813.09 c #Conflicts: 451000 | #Constraints: 76171
810.67/813.09 c #Conflicts: 452000 | #Constraints: 77171
810.67/813.09 c #Conflicts: 453000 | #Constraints: 78171
810.67/813.09 c #Conflicts: 454000 | #Constraints: 79171
810.67/813.09 c #Conflicts: 455000 | #Constraints: 80171
810.67/813.09 c #Conflicts: 456000 | #Constraints: 81171
810.67/813.09 c #Conflicts: 457000 | #Constraints: 82171
810.67/813.09 c #Conflicts: 458000 | #Constraints: 83171
810.67/813.09 c #Conflicts: 459000 | #Constraints: 84171
810.67/813.09 c #Conflicts: 460000 | #Constraints: 85171
810.67/813.09 c INPROCESSING
810.67/813.09 c GARBAGE COLLECT
810.67/813.09 c #Conflicts: 461000 | #Constraints: 72783
810.67/813.09 c #Conflicts: 462000 | #Constraints: 73783
810.67/813.09 c #Conflicts: 463000 | #Constraints: 74783
810.67/813.09 c #Conflicts: 464000 | #Constraints: 75783
810.67/813.09 c #Conflicts: 465000 | #Constraints: 76783
810.67/813.09 c #Conflicts: 466000 | #Constraints: 77783
810.67/813.09 c #Conflicts: 467000 | #Constraints: 78783
810.67/813.09 c #Conflicts: 468000 | #Constraints: 79783
810.67/813.09 c #Conflicts: 469000 | #Constraints: 80783
810.67/813.09 c #Conflicts: 470000 | #Constraints: 81783
810.67/813.09 c #Conflicts: 471000 | #Constraints: 82783
810.67/813.09 c #Conflicts: 472000 | #Constraints: 83783
810.67/813.09 c #Conflicts: 473000 | #Constraints: 84783
810.67/813.09 c #Conflicts: 474000 | #Constraints: 85783
810.67/813.09 c INPROCESSING
810.67/813.09 c GARBAGE COLLECT
810.67/813.09 c #Conflicts: 475000 | #Constraints: 73190
810.67/813.09 c #Conflicts: 476000 | #Constraints: 74190
810.67/813.09 c #Conflicts: 477000 | #Constraints: 75190
810.67/813.09 c #Conflicts: 478000 | #Constraints: 76190
810.67/813.09 c #Conflicts: 479000 | #Constraints: 77190
810.67/813.09 c #Conflicts: 480000 | #Constraints: 78190
810.67/813.09 c #Conflicts: 481000 | #Constraints: 79190
810.67/813.09 c #Conflicts: 482000 | #Constraints: 80190
810.67/813.09 c #Conflicts: 483000 | #Constraints: 81190
810.67/813.09 c #Conflicts: 484000 | #Constraints: 82190
810.67/813.09 c #Conflicts: 485000 | #Constraints: 83190
810.67/813.09 c #Conflicts: 486000 | #Constraints: 84190
810.67/813.09 c #Conflicts: 487000 | #Constraints: 85190
810.67/813.09 c #Conflicts: 488000 | #Constraints: 86190
810.67/813.09 c INPROCESSING
810.67/813.09 c GARBAGE COLLECT
810.67/813.09 c #Conflicts: 489000 | #Constraints: 73375
810.67/813.09 c #Conflicts: 490000 | #Constraints: 74375
810.67/813.09 c #Conflicts: 491000 | #Constraints: 75375
810.67/813.09 c #Conflicts: 492000 | #Constraints: 76375
810.67/813.09 c #Conflicts: 493000 | #Constraints: 77375
810.67/813.09 c #Conflicts: 494000 | #Constraints: 78375
810.67/813.09 c #Conflicts: 495000 | #Constraints: 79375
810.67/813.09 c #Conflicts: 496000 | #Constraints: 80375
810.67/813.09 c #Conflicts: 497000 | #Constraints: 81375
810.67/813.09 c #Conflicts: 498000 | #Constraints: 82375
810.67/813.09 c #Conflicts: 499000 | #Constraints: 83375
810.67/813.09 c #Conflicts: 500000 | #Constraints: 84375
810.67/813.09 c #Conflicts: 501000 | #Constraints: 85375
810.67/813.09 c #Conflicts: 502000 | #Constraints: 86375
810.67/813.09 c INPROCESSING
936.22/938.98 c GARBAGE COLLECT
936.22/938.98 c #Conflicts: 503000 | #Constraints: 73375
936.22/938.98 c #Conflicts: 504000 | #Constraints: 74375
936.22/938.98 c #Conflicts: 505000 | #Constraints: 75375
936.22/938.98 c #Conflicts: 506000 | #Constraints: 76375
936.22/938.98 c #Conflicts: 507000 | #Constraints: 77375
936.22/938.98 c #Conflicts: 508000 | #Constraints: 78375
936.22/938.98 c #Conflicts: 509000 | #Constraints: 79375
936.22/938.98 c #Conflicts: 510000 | #Constraints: 80375
936.22/938.98 c #Conflicts: 511000 | #Constraints: 81375
936.22/938.98 c #Conflicts: 512000 | #Constraints: 82375
936.22/938.98 c #Conflicts: 513000 | #Constraints: 83375
936.22/938.98 c #Conflicts: 514000 | #Constraints: 84375
936.22/938.98 c #Conflicts: 515000 | #Constraints: 85375
936.22/938.98 c #Conflicts: 516000 | #Constraints: 86375
936.22/938.98 c INPROCESSING
936.22/938.98 c GARBAGE COLLECT
936.22/938.98 c #Conflicts: 517000 | #Constraints: 73168
936.22/938.98 c #Conflicts: 518000 | #Constraints: 74168
936.22/938.98 c #Conflicts: 519000 | #Constraints: 75168
936.22/938.98 c #Conflicts: 520000 | #Constraints: 76168
936.22/938.98 c #Conflicts: 521000 | #Constraints: 77168
936.22/938.98 c #Conflicts: 522000 | #Constraints: 78168
936.22/938.98 c #Conflicts: 523000 | #Constraints: 79168
936.22/938.98 c #Conflicts: 524000 | #Constraints: 80168
936.22/938.98 c #Conflicts: 525000 | #Constraints: 81168
936.22/938.98 c #Conflicts: 526000 | #Constraints: 82168
936.22/938.98 c #Conflicts: 527000 | #Constraints: 83168
936.22/938.98 c #Conflicts: 528000 | #Constraints: 84168
936.22/938.98 c #Conflicts: 529000 | #Constraints: 85168
936.22/938.98 c #Conflicts: 530000 | #Constraints: 86168
936.22/938.98 c #Conflicts: 531000 | #Constraints: 87168
936.22/938.98 c INPROCESSING
936.22/938.98 c GARBAGE COLLECT
936.22/938.98 c #Conflicts: 532000 | #Constraints: 73787
936.22/938.98 c #Conflicts: 533000 | #Constraints: 74787
936.22/938.98 c #Conflicts: 534000 | #Constraints: 75787
936.22/938.98 c #Conflicts: 535000 | #Constraints: 76787
936.22/938.98 c #Conflicts: 536000 | #Constraints: 77787
936.22/938.98 c #Conflicts: 537000 | #Constraints: 78787
936.22/938.98 c #Conflicts: 538000 | #Constraints: 79787
936.22/938.98 c #Conflicts: 539000 | #Constraints: 80787
936.22/938.98 c #Conflicts: 540000 | #Constraints: 81787
936.22/938.98 c #Conflicts: 541000 | #Constraints: 82787
936.22/938.98 c #Conflicts: 542000 | #Constraints: 83787
936.22/938.98 c #Conflicts: 543000 | #Constraints: 84787
936.22/938.98 c #Conflicts: 544000 | #Constraints: 85787
936.22/938.98 c #Conflicts: 545000 | #Constraints: 86787
936.22/938.98 c #Conflicts: 546000 | #Constraints: 87787
936.22/938.98 c INPROCESSING
936.22/938.98 c GARBAGE COLLECT
936.22/938.98 c #Conflicts: 547000 | #Constraints: 74197
936.22/938.98 c #Conflicts: 548000 | #Constraints: 75197
936.22/938.98 c #Conflicts: 549000 | #Constraints: 76197
936.22/938.98 c #Conflicts: 550000 | #Constraints: 77197
936.22/938.98 c #Conflicts: 551000 | #Constraints: 78197
936.22/938.98 c #Conflicts: 552000 | #Constraints: 79197
936.22/938.98 c #Conflicts: 553000 | #Constraints: 80197
936.22/938.98 c #Conflicts: 554000 | #Constraints: 81197
936.22/938.98 c #Conflicts: 555000 | #Constraints: 82197
936.22/938.98 c #Conflicts: 556000 | #Constraints: 83197
936.22/938.98 c #Conflicts: 557000 | #Constraints: 84197
936.22/938.98 c #Conflicts: 558000 | #Constraints: 85197
936.22/938.98 c #Conflicts: 559000 | #Constraints: 86197
936.22/938.98 c #Conflicts: 560000 | #Constraints: 87197
936.22/938.98 c #Conflicts: 561000 | #Constraints: 88197
936.22/938.98 c INPROCESSING
936.22/938.98 c GARBAGE COLLECT
936.22/938.98 c #Conflicts: 562000 | #Constraints: 74400
936.22/938.98 c #Conflicts: 563000 | #Constraints: 75400
936.22/938.98 c #Conflicts: 564000 | #Constraints: 76400
936.22/938.98 c #Conflicts: 565000 | #Constraints: 77400
936.22/938.98 c #Conflicts: 566000 | #Constraints: 78400
936.22/938.98 c #Conflicts: 567000 | #Constraints: 79400
936.22/938.98 c #Conflicts: 568000 | #Constraints: 80400
936.22/938.98 c #Conflicts: 569000 | #Constraints: 81400
936.22/938.98 c #Conflicts: 570000 | #Constraints: 82400
936.22/938.98 c #Conflicts: 571000 | #Constraints: 83400
936.22/938.98 c #Conflicts: 572000 | #Constraints: 84400
936.22/938.98 c #Conflicts: 573000 | #Constraints: 85400
936.22/938.98 c #Conflicts: 574000 | #Constraints: 86400
936.22/938.98 c #Conflicts: 575000 | #Constraints: 87400
936.22/938.98 c #Conflicts: 576000 | #Constraints: 88400
936.22/938.98 c INPROCESSING
936.22/938.98 c GARBAGE COLLECT
936.22/938.98 c #Conflicts: 577000 | #Constraints: 74399
936.22/938.98 c #Conflicts: 578000 | #Constraints: 75399
1081.82/1084.91 c #Conflicts: 579000 | #Constraints: 76399
1081.82/1084.91 c #Conflicts: 580000 | #Constraints: 77399
1081.82/1084.91 c #Conflicts: 581000 | #Constraints: 78399
1081.82/1084.91 c #Conflicts: 582000 | #Constraints: 79399
1081.82/1084.91 c #Conflicts: 583000 | #Constraints: 80399
1081.82/1084.91 c #Conflicts: 584000 | #Constraints: 81399
1081.82/1084.91 c #Conflicts: 585000 | #Constraints: 82399
1081.82/1084.91 c #Conflicts: 586000 | #Constraints: 83399
1081.82/1084.91 c #Conflicts: 587000 | #Constraints: 84399
1081.82/1084.91 c #Conflicts: 588000 | #Constraints: 85399
1081.82/1084.91 c #Conflicts: 589000 | #Constraints: 86399
1081.82/1084.91 c #Conflicts: 590000 | #Constraints: 87399
1081.82/1084.91 c #Conflicts: 591000 | #Constraints: 88399
1081.82/1084.91 c INPROCESSING
1081.82/1084.91 c GARBAGE COLLECT
1081.82/1084.91 c #Conflicts: 592000 | #Constraints: 74202
1081.82/1084.91 c #Conflicts: 593000 | #Constraints: 75202
1081.82/1084.91 c #Conflicts: 594000 | #Constraints: 76202
1081.82/1084.91 c #Conflicts: 595000 | #Constraints: 77202
1081.82/1084.91 c #Conflicts: 596000 | #Constraints: 78202
1081.82/1084.91 c #Conflicts: 597000 | #Constraints: 79202
1081.82/1084.91 c #Conflicts: 598000 | #Constraints: 80202
1081.82/1084.91 c #Conflicts: 599000 | #Constraints: 81202
1081.82/1084.91 c #Conflicts: 600000 | #Constraints: 82202
1081.82/1084.91 c #Conflicts: 601000 | #Constraints: 83202
1081.82/1084.91 c #Conflicts: 602000 | #Constraints: 84202
1081.82/1084.91 c #Conflicts: 603000 | #Constraints: 85202
1081.82/1084.91 c #Conflicts: 604000 | #Constraints: 86202
1081.82/1084.91 c #Conflicts: 605000 | #Constraints: 87202
1081.82/1084.91 c #Conflicts: 606000 | #Constraints: 88202
1081.82/1084.91 c #Conflicts: 607000 | #Constraints: 89202
1081.82/1084.91 c INPROCESSING
1081.82/1084.91 c GARBAGE COLLECT
1081.82/1084.91 c #Conflicts: 608000 | #Constraints: 74785
1081.82/1084.91 c #Conflicts: 609000 | #Constraints: 75785
1081.82/1084.91 c #Conflicts: 610000 | #Constraints: 76785
1081.82/1084.91 c #Conflicts: 611000 | #Constraints: 77785
1081.82/1084.91 c #Conflicts: 612000 | #Constraints: 78785
1081.82/1084.91 c #Conflicts: 613000 | #Constraints: 79785
1081.82/1084.91 c #Conflicts: 614000 | #Constraints: 80785
1081.82/1084.91 c #Conflicts: 615000 | #Constraints: 81785
1081.82/1084.91 c #Conflicts: 616000 | #Constraints: 82785
1081.82/1084.91 c #Conflicts: 617000 | #Constraints: 83785
1081.82/1084.91 c #Conflicts: 618000 | #Constraints: 84785
1081.82/1084.91 c #Conflicts: 619000 | #Constraints: 85785
1081.82/1084.91 c #Conflicts: 620000 | #Constraints: 86785
1081.82/1084.91 c #Conflicts: 621000 | #Constraints: 87785
1081.82/1084.91 c #Conflicts: 622000 | #Constraints: 88785
1081.82/1084.91 c #Conflicts: 623000 | #Constraints: 89785
1081.82/1084.91 c INPROCESSING
1081.82/1084.91 c GARBAGE COLLECT
1081.82/1084.91 c #Conflicts: 624000 | #Constraints: 75201
1081.82/1084.91 c #Conflicts: 625000 | #Constraints: 76201
1081.82/1084.91 c #Conflicts: 626000 | #Constraints: 77201
1081.82/1084.91 c #Conflicts: 627000 | #Constraints: 78201
1081.82/1084.91 c #Conflicts: 628000 | #Constraints: 79201
1081.82/1084.91 c #Conflicts: 629000 | #Constraints: 80201
1081.82/1084.91 c #Conflicts: 630000 | #Constraints: 81201
1081.82/1084.91 c #Conflicts: 631000 | #Constraints: 82201
1081.82/1084.91 c #Conflicts: 632000 | #Constraints: 83201
1081.82/1084.91 c #Conflicts: 633000 | #Constraints: 84201
1081.82/1084.91 c #Conflicts: 634000 | #Constraints: 85201
1081.82/1084.91 c #Conflicts: 635000 | #Constraints: 86201
1081.82/1084.91 c #Conflicts: 636000 | #Constraints: 87201
1081.82/1084.91 c #Conflicts: 637000 | #Constraints: 88201
1081.82/1084.91 c #Conflicts: 638000 | #Constraints: 89201
1081.82/1084.91 c #Conflicts: 639000 | #Constraints: 90201
1081.82/1084.91 c INPROCESSING
1081.82/1084.91 c GARBAGE COLLECT
1081.82/1084.91 c #Conflicts: 640000 | #Constraints: 75406
1081.82/1084.91 c #Conflicts: 641000 | #Constraints: 76406
1081.82/1084.91 c #Conflicts: 642000 | #Constraints: 77406
1081.82/1084.91 c #Conflicts: 643000 | #Constraints: 78406
1081.82/1084.91 c #Conflicts: 644000 | #Constraints: 79406
1081.82/1084.91 c #Conflicts: 645000 | #Constraints: 80406
1081.82/1084.91 c #Conflicts: 646000 | #Constraints: 81406
1081.82/1084.91 c #Conflicts: 647000 | #Constraints: 82406
1081.82/1084.91 c #Conflicts: 648000 | #Constraints: 83406
1081.82/1084.91 c #Conflicts: 649000 | #Constraints: 84406
1081.82/1084.91 c #Conflicts: 650000 | #Constraints: 85406
1081.82/1084.91 c #Conflicts: 651000 | #Constraints: 86406
1081.82/1084.91 c #Conflicts: 652000 | #Constraints: 87406
1081.82/1084.91 c #Conflicts: 653000 | #Constraints: 88406
1081.82/1084.91 c #Conflicts: 654000 | #Constraints: 89406
1223.73/1227.24 c #Conflicts: 655000 | #Constraints: 90406
1223.73/1227.24 c INPROCESSING
1223.73/1227.24 c GARBAGE COLLECT
1223.73/1227.24 c #Conflicts: 656000 | #Constraints: 75434
1223.73/1227.24 c #Conflicts: 657000 | #Constraints: 76434
1223.73/1227.24 c #Conflicts: 658000 | #Constraints: 77434
1223.73/1227.24 c #Conflicts: 659000 | #Constraints: 78434
1223.73/1227.24 c #Conflicts: 660000 | #Constraints: 79434
1223.73/1227.24 c #Conflicts: 661000 | #Constraints: 80434
1223.73/1227.24 c #Conflicts: 662000 | #Constraints: 81434
1223.73/1227.24 c #Conflicts: 663000 | #Constraints: 82434
1223.73/1227.24 c #Conflicts: 664000 | #Constraints: 83434
1223.73/1227.24 c #Conflicts: 665000 | #Constraints: 84434
1223.73/1227.24 c #Conflicts: 666000 | #Constraints: 85434
1223.73/1227.24 c #Conflicts: 667000 | #Constraints: 86434
1223.73/1227.24 c #Conflicts: 668000 | #Constraints: 87434
1223.73/1227.24 c #Conflicts: 669000 | #Constraints: 88434
1223.73/1227.24 c #Conflicts: 670000 | #Constraints: 89434
1223.73/1227.24 c #Conflicts: 671000 | #Constraints: 90434
1223.73/1227.24 c INPROCESSING
1223.73/1227.24 c GARBAGE COLLECT
1223.73/1227.24 c #Conflicts: 672000 | #Constraints: 75196
1223.73/1227.24 c #Conflicts: 673000 | #Constraints: 76196
1223.73/1227.24 c #Conflicts: 674000 | #Constraints: 77196
1223.73/1227.24 c #Conflicts: 675000 | #Constraints: 78196
1223.73/1227.24 c #Conflicts: 676000 | #Constraints: 79196
1223.73/1227.24 c #Conflicts: 677000 | #Constraints: 80196
1223.73/1227.24 c #Conflicts: 678000 | #Constraints: 81196
1223.73/1227.24 c #Conflicts: 679000 | #Constraints: 82196
1223.73/1227.24 c #Conflicts: 680000 | #Constraints: 83196
1223.73/1227.24 c #Conflicts: 681000 | #Constraints: 84196
1223.73/1227.24 c #Conflicts: 682000 | #Constraints: 85196
1223.73/1227.24 c #Conflicts: 683000 | #Constraints: 86196
1223.73/1227.24 c #Conflicts: 684000 | #Constraints: 87196
1223.73/1227.24 c #Conflicts: 685000 | #Constraints: 88196
1223.73/1227.24 c #Conflicts: 686000 | #Constraints: 89196
1223.73/1227.24 c #Conflicts: 687000 | #Constraints: 90196
1223.73/1227.24 c #Conflicts: 688000 | #Constraints: 91196
1223.73/1227.24 c INPROCESSING
1223.73/1227.24 c GARBAGE COLLECT
1223.73/1227.24 c #Conflicts: 689000 | #Constraints: 75776
1223.73/1227.24 c #Conflicts: 690000 | #Constraints: 76776
1223.73/1227.24 c #Conflicts: 691000 | #Constraints: 77776
1223.73/1227.24 c #Conflicts: 692000 | #Constraints: 78776
1223.73/1227.24 c #Conflicts: 693000 | #Constraints: 79776
1223.73/1227.24 c #Conflicts: 694000 | #Constraints: 80776
1223.73/1227.24 c #Conflicts: 695000 | #Constraints: 81776
1223.73/1227.24 c #Conflicts: 696000 | #Constraints: 82776
1223.73/1227.24 c #Conflicts: 697000 | #Constraints: 83776
1223.73/1227.24 c #Conflicts: 698000 | #Constraints: 84776
1223.73/1227.24 c #Conflicts: 699000 | #Constraints: 85776
1223.73/1227.24 c #Conflicts: 700000 | #Constraints: 86776
1223.73/1227.24 c #Conflicts: 701000 | #Constraints: 87776
1223.73/1227.24 c #Conflicts: 702000 | #Constraints: 88776
1223.73/1227.24 c #Conflicts: 703000 | #Constraints: 89776
1223.73/1227.24 c #Conflicts: 704000 | #Constraints: 90776
1223.73/1227.24 c #Conflicts: 705000 | #Constraints: 91776
1223.73/1227.24 c INPROCESSING
1223.73/1227.24 c GARBAGE COLLECT
1223.73/1227.24 c #Conflicts: 706000 | #Constraints: 76184
1223.73/1227.24 c #Conflicts: 707000 | #Constraints: 77184
1223.73/1227.24 c #Conflicts: 708000 | #Constraints: 78184
1223.73/1227.24 c #Conflicts: 709000 | #Constraints: 79184
1223.73/1227.24 c #Conflicts: 710000 | #Constraints: 80184
1223.73/1227.24 c #Conflicts: 711000 | #Constraints: 81184
1223.73/1227.24 c #Conflicts: 712000 | #Constraints: 82184
1223.73/1227.24 c #Conflicts: 713000 | #Constraints: 83184
1223.73/1227.24 c #Conflicts: 714000 | #Constraints: 84184
1223.73/1227.24 c #Conflicts: 715000 | #Constraints: 85184
1223.73/1227.24 c #Conflicts: 716000 | #Constraints: 86184
1223.73/1227.24 c #Conflicts: 717000 | #Constraints: 87184
1223.73/1227.24 c #Conflicts: 718000 | #Constraints: 88184
1223.73/1227.24 c #Conflicts: 719000 | #Constraints: 89184
1223.73/1227.24 c #Conflicts: 720000 | #Constraints: 90184
1223.73/1227.24 c #Conflicts: 721000 | #Constraints: 91184
1223.73/1227.24 c #Conflicts: 722000 | #Constraints: 92184
1223.73/1227.24 c INPROCESSING
1223.73/1227.24 c GARBAGE COLLECT
1223.73/1227.24 c #Conflicts: 723000 | #Constraints: 76397
1223.73/1227.24 c #Conflicts: 724000 | #Constraints: 77397
1223.73/1227.24 c #Conflicts: 725000 | #Constraints: 78397
1223.73/1227.24 c #Conflicts: 726000 | #Constraints: 79397
1223.73/1227.24 c #Conflicts: 727000 | #Constraints: 80397
1223.73/1227.24 c #Conflicts: 728000 | #Constraints: 81397
1223.73/1227.24 c #Conflicts: 729000 | #Constraints: 82397
1386.69/1390.60 c #Conflicts: 730000 | #Constraints: 83397
1386.69/1390.60 c #Conflicts: 731000 | #Constraints: 84397
1386.69/1390.60 c #Conflicts: 732000 | #Constraints: 85397
1386.69/1390.60 c #Conflicts: 733000 | #Constraints: 86397
1386.69/1390.60 c #Conflicts: 734000 | #Constraints: 87397
1386.69/1390.60 c #Conflicts: 735000 | #Constraints: 88397
1386.69/1390.60 c #Conflicts: 736000 | #Constraints: 89397
1386.69/1390.60 c #Conflicts: 737000 | #Constraints: 90397
1386.69/1390.60 c #Conflicts: 738000 | #Constraints: 91397
1386.69/1390.60 c #Conflicts: 739000 | #Constraints: 92397
1386.69/1390.60 c INPROCESSING
1386.69/1390.60 c GARBAGE COLLECT
1386.69/1390.60 c #Conflicts: 740000 | #Constraints: 76401
1386.69/1390.60 c #Conflicts: 741000 | #Constraints: 77401
1386.69/1390.60 c #Conflicts: 742000 | #Constraints: 78401
1386.69/1390.60 c #Conflicts: 743000 | #Constraints: 79401
1386.69/1390.60 c #Conflicts: 744000 | #Constraints: 80401
1386.69/1390.60 c #Conflicts: 745000 | #Constraints: 81401
1386.69/1390.60 c #Conflicts: 746000 | #Constraints: 82401
1386.69/1390.60 c #Conflicts: 747000 | #Constraints: 83401
1386.69/1390.60 c #Conflicts: 748000 | #Constraints: 84401
1386.69/1390.60 c #Conflicts: 749000 | #Constraints: 85401
1386.69/1390.60 c #Conflicts: 750000 | #Constraints: 86401
1386.69/1390.60 c #Conflicts: 751000 | #Constraints: 87401
1386.69/1390.60 c #Conflicts: 752000 | #Constraints: 88401
1386.69/1390.60 c #Conflicts: 753000 | #Constraints: 89401
1386.69/1390.60 c #Conflicts: 754000 | #Constraints: 90401
1386.69/1390.60 c #Conflicts: 755000 | #Constraints: 91401
1386.69/1390.60 c #Conflicts: 756000 | #Constraints: 92401
1386.69/1390.60 c INPROCESSING
1386.69/1390.60 c GARBAGE COLLECT
1386.69/1390.60 c #Conflicts: 757000 | #Constraints: 76185
1386.69/1390.60 c #Conflicts: 758000 | #Constraints: 77185
1386.69/1390.60 c #Conflicts: 759000 | #Constraints: 78185
1386.69/1390.60 c #Conflicts: 760000 | #Constraints: 79185
1386.69/1390.60 c #Conflicts: 761000 | #Constraints: 80185
1386.69/1390.60 c #Conflicts: 762000 | #Constraints: 81185
1386.69/1390.60 c #Conflicts: 763000 | #Constraints: 82185
1386.69/1390.60 c #Conflicts: 764000 | #Constraints: 83185
1386.69/1390.60 c #Conflicts: 765000 | #Constraints: 84185
1386.69/1390.60 c #Conflicts: 766000 | #Constraints: 85185
1386.69/1390.60 c #Conflicts: 767000 | #Constraints: 86185
1386.69/1390.60 c #Conflicts: 768000 | #Constraints: 87185
1386.69/1390.60 c #Conflicts: 769000 | #Constraints: 88185
1386.69/1390.60 c #Conflicts: 770000 | #Constraints: 89185
1386.69/1390.60 c #Conflicts: 771000 | #Constraints: 90185
1386.69/1390.60 c #Conflicts: 772000 | #Constraints: 91185
1386.69/1390.60 c #Conflicts: 773000 | #Constraints: 92185
1386.69/1390.60 c #Conflicts: 774000 | #Constraints: 93185
1386.69/1390.60 c INPROCESSING
1386.69/1390.60 c GARBAGE COLLECT
1386.69/1390.60 c #Conflicts: 775000 | #Constraints: 76785
1386.69/1390.60 c #Conflicts: 776000 | #Constraints: 77785
1386.69/1390.60 c #Conflicts: 777000 | #Constraints: 78785
1386.69/1390.60 c #Conflicts: 778000 | #Constraints: 79785
1386.69/1390.60 c #Conflicts: 779000 | #Constraints: 80785
1386.69/1390.60 c #Conflicts: 780000 | #Constraints: 81785
1386.69/1390.60 c #Conflicts: 781000 | #Constraints: 82785
1386.69/1390.60 c #Conflicts: 782000 | #Constraints: 83785
1386.69/1390.60 c #Conflicts: 783000 | #Constraints: 84785
1386.69/1390.60 c #Conflicts: 784000 | #Constraints: 85785
1386.69/1390.60 c #Conflicts: 785000 | #Constraints: 86785
1386.69/1390.60 c #Conflicts: 786000 | #Constraints: 87785
1386.69/1390.60 c #Conflicts: 787000 | #Constraints: 88785
1386.69/1390.60 c #Conflicts: 788000 | #Constraints: 89785
1386.69/1390.60 c #Conflicts: 789000 | #Constraints: 90785
1386.69/1390.60 c #Conflicts: 790000 | #Constraints: 91785
1386.69/1390.60 c #Conflicts: 791000 | #Constraints: 92785
1386.69/1390.60 c #Conflicts: 792000 | #Constraints: 93785
1386.69/1390.60 c INPROCESSING
1386.69/1390.60 c GARBAGE COLLECT
1386.69/1390.60 c #Conflicts: 793000 | #Constraints: 77204
1386.69/1390.60 c #Conflicts: 794000 | #Constraints: 78204
1386.69/1390.60 c #Conflicts: 795000 | #Constraints: 79204
1386.69/1390.60 c #Conflicts: 796000 | #Constraints: 80204
1386.69/1390.60 c #Conflicts: 797000 | #Constraints: 81204
1386.69/1390.60 c #Conflicts: 798000 | #Constraints: 82204
1386.69/1390.60 c #Conflicts: 799000 | #Constraints: 83204
1386.69/1390.60 c #Conflicts: 800000 | #Constraints: 84204
1386.69/1390.60 c #Conflicts: 801000 | #Constraints: 85204
1386.69/1390.60 c #Conflicts: 802000 | #Constraints: 86204
1386.69/1390.60 c #Conflicts: 803000 | #Constraints: 87204
1386.69/1390.60 c #Conflicts: 804000 | #Constraints: 88204
1386.69/1390.60 c #Conflicts: 805000 | #Constraints: 89204
1386.69/1390.60 c #Conflicts: 806000 | #Constraints: 90204
1566.70/1571.15 c #Conflicts: 807000 | #Constraints: 91204
1566.70/1571.15 c #Conflicts: 808000 | #Constraints: 92204
1566.70/1571.15 c #Conflicts: 809000 | #Constraints: 93204
1566.70/1571.15 c #Conflicts: 810000 | #Constraints: 94204
1566.70/1571.15 c INPROCESSING
1566.70/1571.15 c GARBAGE COLLECT
1566.70/1571.15 c #Conflicts: 811000 | #Constraints: 77466
1566.70/1571.15 c #Conflicts: 812000 | #Constraints: 78466
1566.70/1571.15 c #Conflicts: 813000 | #Constraints: 79466
1566.70/1571.15 c #Conflicts: 814000 | #Constraints: 80466
1566.70/1571.15 c #Conflicts: 815000 | #Constraints: 81466
1566.70/1571.15 c #Conflicts: 816000 | #Constraints: 82466
1566.70/1571.15 c #Conflicts: 817000 | #Constraints: 83466
1566.70/1571.15 c #Conflicts: 818000 | #Constraints: 84466
1566.70/1571.15 c #Conflicts: 819000 | #Constraints: 85466
1566.70/1571.15 c #Conflicts: 820000 | #Constraints: 86466
1566.70/1571.15 c #Conflicts: 821000 | #Constraints: 87466
1566.70/1571.15 c #Conflicts: 822000 | #Constraints: 88466
1566.70/1571.15 c #Conflicts: 823000 | #Constraints: 89466
1566.70/1571.15 c #Conflicts: 824000 | #Constraints: 90466
1566.70/1571.15 c #Conflicts: 825000 | #Constraints: 91466
1566.70/1571.15 c #Conflicts: 826000 | #Constraints: 92466
1566.70/1571.15 c #Conflicts: 827000 | #Constraints: 93466
1566.70/1571.15 c #Conflicts: 828000 | #Constraints: 94466
1566.70/1571.15 c INPROCESSING
1566.70/1571.15 c GARBAGE COLLECT
1566.70/1571.15 c #Conflicts: 829000 | #Constraints: 77417
1566.70/1571.15 c #Conflicts: 830000 | #Constraints: 78417
1566.70/1571.15 c #Conflicts: 831000 | #Constraints: 79417
1566.70/1571.15 c #Conflicts: 832000 | #Constraints: 80417
1566.70/1571.15 c #Conflicts: 833000 | #Constraints: 81417
1566.70/1571.15 c #Conflicts: 834000 | #Constraints: 82417
1566.70/1571.15 c #Conflicts: 835000 | #Constraints: 83417
1566.70/1571.15 c #Conflicts: 836000 | #Constraints: 84417
1566.70/1571.15 c #Conflicts: 837000 | #Constraints: 85417
1566.70/1571.15 c #Conflicts: 838000 | #Constraints: 86417
1566.70/1571.15 c #Conflicts: 839000 | #Constraints: 87417
1566.70/1571.15 c #Conflicts: 840000 | #Constraints: 88417
1566.70/1571.15 c #Conflicts: 841000 | #Constraints: 89417
1566.70/1571.15 c #Conflicts: 842000 | #Constraints: 90417
1566.70/1571.15 c #Conflicts: 843000 | #Constraints: 91417
1566.70/1571.15 c #Conflicts: 844000 | #Constraints: 92417
1566.70/1571.15 c #Conflicts: 845000 | #Constraints: 93417
1566.70/1571.15 c #Conflicts: 846000 | #Constraints: 94417
1566.70/1571.15 c INPROCESSING
1566.70/1571.15 c GARBAGE COLLECT
1566.70/1571.15 c #Conflicts: 847000 | #Constraints: 77240
1566.70/1571.15 c #Conflicts: 848000 | #Constraints: 78240
1566.70/1571.15 c #Conflicts: 849000 | #Constraints: 79240
1566.70/1571.15 c #Conflicts: 850000 | #Constraints: 80240
1566.70/1571.15 c #Conflicts: 851000 | #Constraints: 81240
1566.70/1571.15 c #Conflicts: 852000 | #Constraints: 82240
1566.70/1571.15 c #Conflicts: 853000 | #Constraints: 83240
1566.70/1571.15 c #Conflicts: 854000 | #Constraints: 84240
1566.70/1571.15 c #Conflicts: 855000 | #Constraints: 85240
1566.70/1571.15 c #Conflicts: 856000 | #Constraints: 86240
1566.70/1571.15 c #Conflicts: 857000 | #Constraints: 87240
1566.70/1571.15 c #Conflicts: 858000 | #Constraints: 88240
1566.70/1571.15 c #Conflicts: 859000 | #Constraints: 89240
1566.70/1571.15 c #Conflicts: 860000 | #Constraints: 90240
1566.70/1571.15 c #Conflicts: 861000 | #Constraints: 91240
1566.70/1571.15 c #Conflicts: 862000 | #Constraints: 92240
1566.70/1571.15 c #Conflicts: 863000 | #Constraints: 93240
1566.70/1571.15 c #Conflicts: 864000 | #Constraints: 94240
1566.70/1571.15 c #Conflicts: 865000 | #Constraints: 95240
1566.70/1571.15 c INPROCESSING
1566.70/1571.15 c GARBAGE COLLECT
1566.70/1571.15 c #Conflicts: 866000 | #Constraints: 77815
1566.70/1571.15 c #Conflicts: 867000 | #Constraints: 78815
1566.70/1571.15 c #Conflicts: 868000 | #Constraints: 79815
1566.70/1571.15 c #Conflicts: 869000 | #Constraints: 80815
1566.70/1571.15 c #Conflicts: 870000 | #Constraints: 81815
1566.70/1571.15 c #Conflicts: 871000 | #Constraints: 82815
1566.70/1571.15 c #Conflicts: 872000 | #Constraints: 83815
1566.70/1571.15 c #Conflicts: 873000 | #Constraints: 84815
1566.70/1571.15 c #Conflicts: 874000 | #Constraints: 85815
1566.70/1571.15 c #Conflicts: 875000 | #Constraints: 86815
1566.70/1571.15 c #Conflicts: 876000 | #Constraints: 87815
1566.70/1571.15 c #Conflicts: 877000 | #Constraints: 88815
1566.70/1571.15 c #Conflicts: 878000 | #Constraints: 89815
1566.70/1571.15 c #Conflicts: 879000 | #Constraints: 90815
1566.70/1571.15 c #Conflicts: 880000 | #Constraints: 91815
1566.70/1571.15 c #Conflicts: 881000 | #Constraints: 92815
1566.70/1571.15 c #Conflicts: 882000 | #Constraints: 93815
1753.02/1757.97 c #Conflicts: 883000 | #Constraints: 94815
1753.02/1757.97 c #Conflicts: 884000 | #Constraints: 95815
1753.02/1757.97 c INPROCESSING
1753.02/1757.97 c GARBAGE COLLECT
1753.02/1757.97 c #Conflicts: 885000 | #Constraints: 78224
1753.02/1757.97 c #Conflicts: 886000 | #Constraints: 79224
1753.02/1757.97 c #Conflicts: 887000 | #Constraints: 80224
1753.02/1757.97 c #Conflicts: 888000 | #Constraints: 81224
1753.02/1757.97 c #Conflicts: 889000 | #Constraints: 82224
1753.02/1757.97 c #Conflicts: 890000 | #Constraints: 83224
1753.02/1757.97 c #Conflicts: 891000 | #Constraints: 84224
1753.02/1757.97 c #Conflicts: 892000 | #Constraints: 85224
1753.02/1757.97 c #Conflicts: 893000 | #Constraints: 86224
1753.02/1757.97 c #Conflicts: 894000 | #Constraints: 87224
1753.02/1757.97 c #Conflicts: 895000 | #Constraints: 88224
1753.02/1757.97 c #Conflicts: 896000 | #Constraints: 89224
1753.02/1757.97 c #Conflicts: 897000 | #Constraints: 90224
1753.02/1757.97 c #Conflicts: 898000 | #Constraints: 91224
1753.02/1757.97 c #Conflicts: 899000 | #Constraints: 92224
1753.02/1757.97 c #Conflicts: 900000 | #Constraints: 93224
1753.02/1757.97 c #Conflicts: 901000 | #Constraints: 94224
1753.02/1757.97 c #Conflicts: 902000 | #Constraints: 95224
1753.02/1757.97 c #Conflicts: 903000 | #Constraints: 96224
1753.02/1757.97 c INPROCESSING
1753.02/1757.97 c GARBAGE COLLECT
1753.02/1757.97 c #Conflicts: 904000 | #Constraints: 78400
1753.02/1757.97 c #Conflicts: 905000 | #Constraints: 79400
1753.02/1757.97 c #Conflicts: 906000 | #Constraints: 80400
1753.02/1757.97 c #Conflicts: 907000 | #Constraints: 81400
1753.02/1757.97 c #Conflicts: 908000 | #Constraints: 82400
1753.02/1757.97 c #Conflicts: 909000 | #Constraints: 83400
1753.02/1757.97 c #Conflicts: 910000 | #Constraints: 84400
1753.02/1757.97 c #Conflicts: 911000 | #Constraints: 85400
1753.02/1757.97 c #Conflicts: 912000 | #Constraints: 86400
1753.02/1757.97 c #Conflicts: 913000 | #Constraints: 87400
1753.02/1757.97 c #Conflicts: 914000 | #Constraints: 88400
1753.02/1757.97 c #Conflicts: 915000 | #Constraints: 89400
1753.02/1757.97 c #Conflicts: 916000 | #Constraints: 90400
1753.02/1757.97 c #Conflicts: 917000 | #Constraints: 91400
1753.02/1757.97 c #Conflicts: 918000 | #Constraints: 92400
1753.02/1757.97 c #Conflicts: 919000 | #Constraints: 93400
1753.02/1757.97 c #Conflicts: 920000 | #Constraints: 94400
1753.02/1757.97 c #Conflicts: 921000 | #Constraints: 95400
1753.02/1757.97 c #Conflicts: 922000 | #Constraints: 96400
1753.02/1757.97 c INPROCESSING
1753.02/1757.97 c GARBAGE COLLECT
1753.02/1757.97 c #Conflicts: 923000 | #Constraints: 78392
1753.02/1757.97 c #Conflicts: 924000 | #Constraints: 79392
1753.02/1757.97 c #Conflicts: 925000 | #Constraints: 80392
1753.02/1757.97 c #Conflicts: 926000 | #Constraints: 81392
1753.02/1757.97 c #Conflicts: 927000 | #Constraints: 82392
1753.02/1757.97 c #Conflicts: 928000 | #Constraints: 83392
1753.02/1757.97 c #Conflicts: 929000 | #Constraints: 84392
1753.02/1757.97 c #Conflicts: 930000 | #Constraints: 85392
1753.02/1757.97 c #Conflicts: 931000 | #Constraints: 86392
1753.02/1757.97 c #Conflicts: 932000 | #Constraints: 87392
1753.02/1757.97 c #Conflicts: 933000 | #Constraints: 88392
1753.02/1757.97 c #Conflicts: 934000 | #Constraints: 89392
1753.02/1757.97 c #Conflicts: 935000 | #Constraints: 90392
1753.02/1757.97 c #Conflicts: 936000 | #Constraints: 91392
1753.02/1757.97 c #Conflicts: 937000 | #Constraints: 92392
1753.02/1757.97 c #Conflicts: 938000 | #Constraints: 93392
1753.02/1757.97 c #Conflicts: 939000 | #Constraints: 94392
1753.02/1757.97 c #Conflicts: 940000 | #Constraints: 95392
1753.02/1757.97 c #Conflicts: 941000 | #Constraints: 96392
1753.02/1757.97 c INPROCESSING
1753.02/1757.97 c GARBAGE COLLECT
1753.02/1757.97 c #Conflicts: 942000 | #Constraints: 78196
1753.02/1757.97 c #Conflicts: 943000 | #Constraints: 79196
1753.02/1757.97 c #Conflicts: 944000 | #Constraints: 80196
1753.02/1757.97 c #Conflicts: 945000 | #Constraints: 81196
1753.02/1757.97 c #Conflicts: 946000 | #Constraints: 82196
1753.02/1757.97 c #Conflicts: 947000 | #Constraints: 83196
1753.02/1757.97 c #Conflicts: 948000 | #Constraints: 84196
1753.02/1757.97 c #Conflicts: 949000 | #Constraints: 85196
1753.02/1757.97 c #Conflicts: 950000 | #Constraints: 86196
1753.02/1757.97 c #Conflicts: 951000 | #Constraints: 87196
1753.02/1757.97 c #Conflicts: 952000 | #Constraints: 88196
1753.02/1757.97 c #Conflicts: 953000 | #Constraints: 89196
1753.02/1757.97 c #Conflicts: 954000 | #Constraints: 90196
1753.02/1757.97 c #Conflicts: 955000 | #Constraints: 91196
1753.02/1757.97 c #Conflicts: 956000 | #Constraints: 92196
1753.02/1757.97 c #Conflicts: 957000 | #Constraints: 93196
1753.02/1757.97 c #Conflicts: 958000 | #Constraints: 94196
1924.49/1929.83 c #Conflicts: 959000 | #Constraints: 95196
1924.49/1929.83 c #Conflicts: 960000 | #Constraints: 96196
1924.49/1929.83 c #Conflicts: 961000 | #Constraints: 97196
1924.49/1929.83 c INPROCESSING
1924.49/1929.83 c GARBAGE COLLECT
1924.49/1929.83 c #Conflicts: 962000 | #Constraints: 78827
1924.49/1929.83 c #Conflicts: 963000 | #Constraints: 79827
1924.49/1929.83 c #Conflicts: 964000 | #Constraints: 80827
1924.49/1929.83 c #Conflicts: 965000 | #Constraints: 81827
1924.49/1929.83 c #Conflicts: 966000 | #Constraints: 82827
1924.49/1929.83 c #Conflicts: 967000 | #Constraints: 83827
1924.49/1929.83 c #Conflicts: 968000 | #Constraints: 84827
1924.49/1929.83 c #Conflicts: 969000 | #Constraints: 85827
1924.49/1929.83 c #Conflicts: 970000 | #Constraints: 86827
1924.49/1929.83 c #Conflicts: 971000 | #Constraints: 87827
1924.49/1929.83 c #Conflicts: 972000 | #Constraints: 88827
1924.49/1929.83 c #Conflicts: 973000 | #Constraints: 89827
1924.49/1929.83 c #Conflicts: 974000 | #Constraints: 90827
1924.49/1929.83 c #Conflicts: 975000 | #Constraints: 91827
1924.49/1929.83 c #Conflicts: 976000 | #Constraints: 92827
1924.49/1929.83 c #Conflicts: 977000 | #Constraints: 93827
1924.49/1929.83 c #Conflicts: 978000 | #Constraints: 94827
1924.49/1929.83 c #Conflicts: 979000 | #Constraints: 95827
1924.49/1929.83 c #Conflicts: 980000 | #Constraints: 96827
1924.49/1929.83 c #Conflicts: 981000 | #Constraints: 97827
1924.49/1929.83 c INPROCESSING
1924.49/1929.83 c GARBAGE COLLECT
1924.49/1929.83 c #Conflicts: 982000 | #Constraints: 79228
1924.49/1929.83 c #Conflicts: 983000 | #Constraints: 80228
1924.49/1929.83 c #Conflicts: 984000 | #Constraints: 81228
1924.49/1929.83 c #Conflicts: 985000 | #Constraints: 82228
1924.49/1929.83 c #Conflicts: 986000 | #Constraints: 83228
1924.49/1929.83 c #Conflicts: 987000 | #Constraints: 84228
1924.49/1929.83 c #Conflicts: 988000 | #Constraints: 85228
1924.49/1929.83 c #Conflicts: 989000 | #Constraints: 86228
1924.49/1929.83 c #Conflicts: 990000 | #Constraints: 87228
1924.49/1929.83 c #Conflicts: 991000 | #Constraints: 88228
1924.49/1929.83 c #Conflicts: 992000 | #Constraints: 89228
1924.49/1929.83 c #Conflicts: 993000 | #Constraints: 90228
1924.49/1929.83 c #Conflicts: 994000 | #Constraints: 91228
1924.49/1929.83 c #Conflicts: 995000 | #Constraints: 92228
1924.49/1929.83 c #Conflicts: 996000 | #Constraints: 93228
1924.49/1929.83 c #Conflicts: 997000 | #Constraints: 94228
1924.49/1929.83 c #Conflicts: 998000 | #Constraints: 95228
1924.49/1929.83 c #Conflicts: 999000 | #Constraints: 96228
1924.49/1929.83 c #Conflicts: 1000000 | #Constraints: 97228
1924.49/1929.83 c #Conflicts: 1001000 | #Constraints: 98228
1924.49/1929.83 c INPROCESSING
1924.49/1929.83 c GARBAGE COLLECT
1924.49/1929.83 c #Conflicts: 1002000 | #Constraints: 79440
1924.49/1929.83 c #Conflicts: 1003000 | #Constraints: 80440
1924.49/1929.83 c #Conflicts: 1004000 | #Constraints: 81440
1924.49/1929.83 c #Conflicts: 1005000 | #Constraints: 82440
1924.49/1929.83 c #Conflicts: 1006000 | #Constraints: 83440
1924.49/1929.83 c #Conflicts: 1007000 | #Constraints: 84440
1924.49/1929.83 c #Conflicts: 1008000 | #Constraints: 85440
1924.49/1929.83 c #Conflicts: 1009000 | #Constraints: 86440
1924.49/1929.83 c #Conflicts: 1010000 | #Constraints: 87440
1924.49/1929.83 c #Conflicts: 1011000 | #Constraints: 88440
1924.49/1929.83 c #Conflicts: 1012000 | #Constraints: 89440
1924.49/1929.83 c #Conflicts: 1013000 | #Constraints: 90440
1924.49/1929.83 c #Conflicts: 1014000 | #Constraints: 91440
1924.49/1929.83 c #Conflicts: 1015000 | #Constraints: 92440
1924.49/1929.83 c #Conflicts: 1016000 | #Constraints: 93440
1924.49/1929.83 c #Conflicts: 1017000 | #Constraints: 94440
1924.49/1929.83 c #Conflicts: 1018000 | #Constraints: 95440
1924.49/1929.83 c #Conflicts: 1019000 | #Constraints: 96440
1924.49/1929.83 c #Conflicts: 1020000 | #Constraints: 97440
1924.49/1929.83 c #Conflicts: 1021000 | #Constraints: 98440
1924.49/1929.83 c INPROCESSING
1924.49/1929.83 c GARBAGE COLLECT
1924.49/1929.83 c #Conflicts: 1022000 | #Constraints: 79400
1924.49/1929.83 c #Conflicts: 1023000 | #Constraints: 80400
1924.49/1929.83 c #Conflicts: 1024000 | #Constraints: 81400
1924.49/1929.83 c #Conflicts: 1025000 | #Constraints: 82400
1924.49/1929.83 c #Conflicts: 1026000 | #Constraints: 83400
1924.49/1929.83 c #Conflicts: 1027000 | #Constraints: 84400
1924.49/1929.83 c #Conflicts: 1028000 | #Constraints: 85400
1924.49/1929.83 c #Conflicts: 1029000 | #Constraints: 86400
1924.49/1929.83 c #Conflicts: 1030000 | #Constraints: 87400
1924.49/1929.83 c #Conflicts: 1031000 | #Constraints: 88400
1924.49/1929.83 c #Conflicts: 1032000 | #Constraints: 89400
1924.49/1929.83 c #Conflicts: 1033000 | #Constraints: 90400
1924.49/1929.83 c #Conflicts: 1034000 | #Constraints: 91400
2111.52/2117.39 c #Conflicts: 1035000 | #Constraints: 92400
2111.52/2117.39 c #Conflicts: 1036000 | #Constraints: 93400
2111.52/2117.39 c #Conflicts: 1037000 | #Constraints: 94400
2111.52/2117.39 c #Conflicts: 1038000 | #Constraints: 95400
2111.52/2117.39 c #Conflicts: 1039000 | #Constraints: 96400
2111.52/2117.39 c #Conflicts: 1040000 | #Constraints: 97400
2111.52/2117.39 c #Conflicts: 1041000 | #Constraints: 98400
2111.52/2117.39 c INPROCESSING
2111.52/2117.39 c GARBAGE COLLECT
2111.52/2117.39 c #Conflicts: 1042000 | #Constraints: 79198
2111.52/2117.39 c #Conflicts: 1043000 | #Constraints: 80198
2111.52/2117.39 c #Conflicts: 1044000 | #Constraints: 81198
2111.52/2117.39 c #Conflicts: 1045000 | #Constraints: 82198
2111.52/2117.39 c #Conflicts: 1046000 | #Constraints: 83198
2111.52/2117.39 c #Conflicts: 1047000 | #Constraints: 84198
2111.52/2117.39 c #Conflicts: 1048000 | #Constraints: 85198
2111.52/2117.39 c #Conflicts: 1049000 | #Constraints: 86198
2111.52/2117.39 c #Conflicts: 1050000 | #Constraints: 87198
2111.52/2117.39 c #Conflicts: 1051000 | #Constraints: 88198
2111.52/2117.39 c #Conflicts: 1052000 | #Constraints: 89198
2111.52/2117.39 c #Conflicts: 1053000 | #Constraints: 90198
2111.52/2117.39 c #Conflicts: 1054000 | #Constraints: 91198
2111.52/2117.39 c #Conflicts: 1055000 | #Constraints: 92198
2111.52/2117.39 c #Conflicts: 1056000 | #Constraints: 93198
2111.52/2117.39 c #Conflicts: 1057000 | #Constraints: 94198
2111.52/2117.39 c #Conflicts: 1058000 | #Constraints: 95198
2111.52/2117.39 c #Conflicts: 1059000 | #Constraints: 96198
2111.52/2117.39 c #Conflicts: 1060000 | #Constraints: 97198
2111.52/2117.39 c #Conflicts: 1061000 | #Constraints: 98198
2111.52/2117.39 c #Conflicts: 1062000 | #Constraints: 99198
2111.52/2117.39 c INPROCESSING
2111.52/2117.39 c GARBAGE COLLECT
2111.52/2117.39 c #Conflicts: 1063000 | #Constraints: 79800
2111.52/2117.39 c #Conflicts: 1064000 | #Constraints: 80800
2111.52/2117.39 c #Conflicts: 1065000 | #Constraints: 81800
2111.52/2117.39 c #Conflicts: 1066000 | #Constraints: 82800
2111.52/2117.39 c #Conflicts: 1067000 | #Constraints: 83800
2111.52/2117.39 c #Conflicts: 1068000 | #Constraints: 84800
2111.52/2117.39 c #Conflicts: 1069000 | #Constraints: 85800
2111.52/2117.39 c #Conflicts: 1070000 | #Constraints: 86800
2111.52/2117.39 c #Conflicts: 1071000 | #Constraints: 87800
2111.52/2117.39 c #Conflicts: 1072000 | #Constraints: 88800
2111.52/2117.39 c #Conflicts: 1073000 | #Constraints: 89800
2111.52/2117.39 c #Conflicts: 1074000 | #Constraints: 90800
2111.52/2117.39 c #Conflicts: 1075000 | #Constraints: 91800
2111.52/2117.39 c #Conflicts: 1076000 | #Constraints: 92800
2111.52/2117.39 c #Conflicts: 1077000 | #Constraints: 93800
2111.52/2117.39 c #Conflicts: 1078000 | #Constraints: 94800
2111.52/2117.39 c #Conflicts: 1079000 | #Constraints: 95800
2111.52/2117.39 c #Conflicts: 1080000 | #Constraints: 96800
2111.52/2117.39 c #Conflicts: 1081000 | #Constraints: 97800
2111.52/2117.39 c #Conflicts: 1082000 | #Constraints: 98800
2111.52/2117.39 c #Conflicts: 1083000 | #Constraints: 99800
2111.52/2117.39 c INPROCESSING
2111.52/2117.39 c GARBAGE COLLECT
2111.52/2117.39 c #Conflicts: 1084000 | #Constraints: 80205
2111.52/2117.39 c #Conflicts: 1085000 | #Constraints: 81205
2111.52/2117.39 c #Conflicts: 1086000 | #Constraints: 82205
2111.52/2117.39 c #Conflicts: 1087000 | #Constraints: 83205
2111.52/2117.39 c #Conflicts: 1088000 | #Constraints: 84205
2111.52/2117.39 c #Conflicts: 1089000 | #Constraints: 85205
2111.52/2117.39 c #Conflicts: 1090000 | #Constraints: 86205
2111.52/2117.39 c #Conflicts: 1091000 | #Constraints: 87205
2111.52/2117.39 c #Conflicts: 1092000 | #Constraints: 88205
2111.52/2117.39 c #Conflicts: 1093000 | #Constraints: 89205
2111.52/2117.39 c #Conflicts: 1094000 | #Constraints: 90205
2111.52/2117.39 c #Conflicts: 1095000 | #Constraints: 91205
2111.52/2117.39 c #Conflicts: 1096000 | #Constraints: 92205
2111.52/2117.39 c #Conflicts: 1097000 | #Constraints: 93205
2111.52/2117.39 c #Conflicts: 1098000 | #Constraints: 94205
2111.52/2117.39 c #Conflicts: 1099000 | #Constraints: 95205
2111.52/2117.39 c #Conflicts: 1100000 | #Constraints: 96205
2111.52/2117.39 c #Conflicts: 1101000 | #Constraints: 97205
2111.52/2117.39 c #Conflicts: 1102000 | #Constraints: 98205
2111.52/2117.39 c #Conflicts: 1103000 | #Constraints: 99205
2111.52/2117.39 c #Conflicts: 1104000 | #Constraints: 100205
2111.52/2117.39 c INPROCESSING
2111.52/2117.39 c GARBAGE COLLECT
2111.52/2117.39 c #Conflicts: 1105000 | #Constraints: 80413
2111.52/2117.39 c #Conflicts: 1106000 | #Constraints: 81413
2111.52/2117.39 c #Conflicts: 1107000 | #Constraints: 82413
2111.52/2117.39 c #Conflicts: 1108000 | #Constraints: 83413
2111.52/2117.39 c #Conflicts: 1109000 | #Constraints: 84413
2111.52/2117.39 c #Conflicts: 1110000 | #Constraints: 85413
2111.52/2117.39 c #Conflicts: 1111000 | #Constraints: 86413
2314.70/2321.09 c #Conflicts: 1112000 | #Constraints: 87413
2314.70/2321.09 c #Conflicts: 1113000 | #Constraints: 88413
2314.70/2321.09 c #Conflicts: 1114000 | #Constraints: 89413
2314.70/2321.09 c #Conflicts: 1115000 | #Constraints: 90413
2314.70/2321.09 c #Conflicts: 1116000 | #Constraints: 91413
2314.70/2321.09 c #Conflicts: 1117000 | #Constraints: 92413
2314.70/2321.09 c #Conflicts: 1118000 | #Constraints: 93413
2314.70/2321.09 c #Conflicts: 1119000 | #Constraints: 94413
2314.70/2321.09 c #Conflicts: 1120000 | #Constraints: 95413
2314.70/2321.09 c #Conflicts: 1121000 | #Constraints: 96413
2314.70/2321.09 c #Conflicts: 1122000 | #Constraints: 97413
2314.70/2321.09 c #Conflicts: 1123000 | #Constraints: 98413
2314.70/2321.09 c #Conflicts: 1124000 | #Constraints: 99413
2314.70/2321.09 c #Conflicts: 1125000 | #Constraints: 100413
2314.70/2321.09 c INPROCESSING
2314.70/2321.09 c GARBAGE COLLECT
2314.70/2321.09 c #Conflicts: 1126000 | #Constraints: 80438
2314.70/2321.09 c #Conflicts: 1127000 | #Constraints: 81438
2314.70/2321.09 c #Conflicts: 1128000 | #Constraints: 82438
2314.70/2321.09 c #Conflicts: 1129000 | #Constraints: 83438
2314.70/2321.09 c #Conflicts: 1130000 | #Constraints: 84438
2314.70/2321.09 c #Conflicts: 1131000 | #Constraints: 85438
2314.70/2321.09 c #Conflicts: 1132000 | #Constraints: 86438
2314.70/2321.09 c #Conflicts: 1133000 | #Constraints: 87438
2314.70/2321.09 c #Conflicts: 1134000 | #Constraints: 88438
2314.70/2321.09 c #Conflicts: 1135000 | #Constraints: 89438
2314.70/2321.09 c #Conflicts: 1136000 | #Constraints: 90438
2314.70/2321.09 c #Conflicts: 1137000 | #Constraints: 91438
2314.70/2321.09 c #Conflicts: 1138000 | #Constraints: 92438
2314.70/2321.09 c #Conflicts: 1139000 | #Constraints: 93438
2314.70/2321.09 c #Conflicts: 1140000 | #Constraints: 94438
2314.70/2321.09 c #Conflicts: 1141000 | #Constraints: 95438
2314.70/2321.09 c #Conflicts: 1142000 | #Constraints: 96438
2314.70/2321.09 c #Conflicts: 1143000 | #Constraints: 97438
2314.70/2321.09 c #Conflicts: 1144000 | #Constraints: 98438
2314.70/2321.09 c #Conflicts: 1145000 | #Constraints: 99438
2314.70/2321.09 c #Conflicts: 1146000 | #Constraints: 100438
2314.70/2321.09 c INPROCESSING
2314.70/2321.09 c GARBAGE COLLECT
2314.70/2321.09 c #Conflicts: 1147000 | #Constraints: 80220
2314.70/2321.09 c #Conflicts: 1148000 | #Constraints: 81220
2314.70/2321.09 c #Conflicts: 1149000 | #Constraints: 82220
2314.70/2321.09 c #Conflicts: 1150000 | #Constraints: 83220
2314.70/2321.09 c #Conflicts: 1151000 | #Constraints: 84220
2314.70/2321.09 c #Conflicts: 1152000 | #Constraints: 85220
2314.70/2321.09 c #Conflicts: 1153000 | #Constraints: 86220
2314.70/2321.09 c #Conflicts: 1154000 | #Constraints: 87220
2314.70/2321.09 c #Conflicts: 1155000 | #Constraints: 88220
2314.70/2321.09 c #Conflicts: 1156000 | #Constraints: 89220
2314.70/2321.09 c #Conflicts: 1157000 | #Constraints: 90220
2314.70/2321.09 c #Conflicts: 1158000 | #Constraints: 91220
2314.70/2321.09 c #Conflicts: 1159000 | #Constraints: 92220
2314.70/2321.09 c #Conflicts: 1160000 | #Constraints: 93220
2314.70/2321.09 c #Conflicts: 1161000 | #Constraints: 94220
2314.70/2321.09 c #Conflicts: 1162000 | #Constraints: 95220
2314.70/2321.09 c #Conflicts: 1163000 | #Constraints: 96220
2314.70/2321.09 c #Conflicts: 1164000 | #Constraints: 97220
2314.70/2321.09 c #Conflicts: 1165000 | #Constraints: 98220
2314.70/2321.09 c #Conflicts: 1166000 | #Constraints: 99220
2314.70/2321.09 c #Conflicts: 1167000 | #Constraints: 100220
2314.70/2321.09 c #Conflicts: 1168000 | #Constraints: 101220
2314.70/2321.09 c INPROCESSING
2314.70/2321.09 c GARBAGE COLLECT
2314.70/2321.09 c #Conflicts: 1169000 | #Constraints: 80824
2314.70/2321.09 c #Conflicts: 1170000 | #Constraints: 81824
2314.70/2321.09 c #Conflicts: 1171000 | #Constraints: 82824
2314.70/2321.09 c #Conflicts: 1172000 | #Constraints: 83824
2314.70/2321.09 c #Conflicts: 1173000 | #Constraints: 84824
2314.70/2321.09 c #Conflicts: 1174000 | #Constraints: 85824
2314.70/2321.09 c #Conflicts: 1175000 | #Constraints: 86824
2314.70/2321.09 c #Conflicts: 1176000 | #Constraints: 87824
2314.70/2321.09 c #Conflicts: 1177000 | #Constraints: 88824
2314.70/2321.09 c #Conflicts: 1178000 | #Constraints: 89824
2314.70/2321.09 c #Conflicts: 1179000 | #Constraints: 90824
2314.70/2321.09 c #Conflicts: 1180000 | #Constraints: 91824
2314.70/2321.09 c #Conflicts: 1181000 | #Constraints: 92824
2314.70/2321.09 c #Conflicts: 1182000 | #Constraints: 93824
2314.70/2321.09 c #Conflicts: 1183000 | #Constraints: 94824
2314.70/2321.09 c #Conflicts: 1184000 | #Constraints: 95824
2314.70/2321.09 c #Conflicts: 1185000 | #Constraints: 96824
2314.70/2321.09 c #Conflicts: 1186000 | #Constraints: 97824
2314.70/2321.09 c #Conflicts: 1187000 | #Constraints: 98824
2511.91/2518.79 c #Conflicts: 1188000 | #Constraints: 99824
2511.91/2518.79 c #Conflicts: 1189000 | #Constraints: 100824
2511.91/2518.79 c #Conflicts: 1190000 | #Constraints: 101824
2511.91/2518.79 c INPROCESSING
2511.91/2518.79 c GARBAGE COLLECT
2511.91/2518.79 c #Conflicts: 1191000 | #Constraints: 81239
2511.91/2518.79 c #Conflicts: 1192000 | #Constraints: 82239
2511.91/2518.79 c #Conflicts: 1193000 | #Constraints: 83239
2511.91/2518.79 c #Conflicts: 1194000 | #Constraints: 84239
2511.91/2518.79 c #Conflicts: 1195000 | #Constraints: 85239
2511.91/2518.79 c #Conflicts: 1196000 | #Constraints: 86239
2511.91/2518.79 c #Conflicts: 1197000 | #Constraints: 87239
2511.91/2518.79 c #Conflicts: 1198000 | #Constraints: 88239
2511.91/2518.79 c #Conflicts: 1199000 | #Constraints: 89239
2511.91/2518.79 c #Conflicts: 1200000 | #Constraints: 90239
2511.91/2518.79 c #Conflicts: 1201000 | #Constraints: 91239
2511.91/2518.79 c #Conflicts: 1202000 | #Constraints: 92239
2511.91/2518.79 c #Conflicts: 1203000 | #Constraints: 93239
2511.91/2518.79 c #Conflicts: 1204000 | #Constraints: 94239
2511.91/2518.79 c #Conflicts: 1205000 | #Constraints: 95239
2511.91/2518.79 c #Conflicts: 1206000 | #Constraints: 96239
2511.91/2518.79 c #Conflicts: 1207000 | #Constraints: 97239
2511.91/2518.79 c #Conflicts: 1208000 | #Constraints: 98239
2511.91/2518.79 c #Conflicts: 1209000 | #Constraints: 99239
2511.91/2518.79 c #Conflicts: 1210000 | #Constraints: 100239
2511.91/2518.79 c #Conflicts: 1211000 | #Constraints: 101239
2511.91/2518.79 c #Conflicts: 1212000 | #Constraints: 102239
2511.91/2518.79 c INPROCESSING
2511.91/2518.79 c GARBAGE COLLECT
2511.91/2518.79 c #Conflicts: 1213000 | #Constraints: 81412
2511.91/2518.79 c #Conflicts: 1214000 | #Constraints: 82412
2511.91/2518.79 c #Conflicts: 1215000 | #Constraints: 83412
2511.91/2518.79 c #Conflicts: 1216000 | #Constraints: 84412
2511.91/2518.79 c #Conflicts: 1217000 | #Constraints: 85412
2511.91/2518.79 c #Conflicts: 1218000 | #Constraints: 86412
2511.91/2518.79 c #Conflicts: 1219000 | #Constraints: 87412
2511.91/2518.79 c #Conflicts: 1220000 | #Constraints: 88412
2511.91/2518.79 c #Conflicts: 1221000 | #Constraints: 89412
2511.91/2518.79 c #Conflicts: 1222000 | #Constraints: 90412
2511.91/2518.79 c #Conflicts: 1223000 | #Constraints: 91412
2511.91/2518.79 c #Conflicts: 1224000 | #Constraints: 92412
2511.91/2518.79 c #Conflicts: 1225000 | #Constraints: 93412
2511.91/2518.79 c #Conflicts: 1226000 | #Constraints: 94412
2511.91/2518.79 c #Conflicts: 1227000 | #Constraints: 95412
2511.91/2518.79 c #Conflicts: 1228000 | #Constraints: 96412
2511.91/2518.79 c #Conflicts: 1229000 | #Constraints: 97412
2511.91/2518.79 c #Conflicts: 1230000 | #Constraints: 98412
2511.91/2518.79 c #Conflicts: 1231000 | #Constraints: 99412
2511.91/2518.79 c #Conflicts: 1232000 | #Constraints: 100412
2511.91/2518.79 c #Conflicts: 1233000 | #Constraints: 101412
2511.91/2518.79 c #Conflicts: 1234000 | #Constraints: 102412
2511.91/2518.79 c INPROCESSING
2511.91/2518.79 c GARBAGE COLLECT
2511.91/2518.79 c #Conflicts: 1235000 | #Constraints: 81395
2511.91/2518.79 c #Conflicts: 1236000 | #Constraints: 82395
2511.91/2518.79 c #Conflicts: 1237000 | #Constraints: 83395
2511.91/2518.79 c #Conflicts: 1238000 | #Constraints: 84395
2511.91/2518.79 c #Conflicts: 1239000 | #Constraints: 85395
2511.91/2518.79 c #Conflicts: 1240000 | #Constraints: 86395
2511.91/2518.79 c #Conflicts: 1241000 | #Constraints: 87395
2511.91/2518.79 c #Conflicts: 1242000 | #Constraints: 88395
2511.91/2518.79 c #Conflicts: 1243000 | #Constraints: 89395
2511.91/2518.79 c #Conflicts: 1244000 | #Constraints: 90395
2511.91/2518.79 c #Conflicts: 1245000 | #Constraints: 91395
2511.91/2518.79 c #Conflicts: 1246000 | #Constraints: 92395
2511.91/2518.79 c #Conflicts: 1247000 | #Constraints: 93395
2511.91/2518.79 c #Conflicts: 1248000 | #Constraints: 94395
2511.91/2518.79 c #Conflicts: 1249000 | #Constraints: 95395
2511.91/2518.79 c #Conflicts: 1250000 | #Constraints: 96395
2511.91/2518.79 c #Conflicts: 1251000 | #Constraints: 97395
2511.91/2518.79 c #Conflicts: 1252000 | #Constraints: 98395
2511.91/2518.79 c #Conflicts: 1253000 | #Constraints: 99395
2511.91/2518.79 c #Conflicts: 1254000 | #Constraints: 100395
2511.91/2518.79 c #Conflicts: 1255000 | #Constraints: 101395
2511.91/2518.79 c #Conflicts: 1256000 | #Constraints: 102395
2511.91/2518.79 c INPROCESSING
2511.91/2518.79 c GARBAGE COLLECT
2511.91/2518.79 c #Conflicts: 1257000 | #Constraints: 81194
2511.91/2518.79 c #Conflicts: 1258000 | #Constraints: 82194
2511.91/2518.79 c #Conflicts: 1259000 | #Constraints: 83194
2511.91/2518.79 c #Conflicts: 1260000 | #Constraints: 84194
2511.91/2518.79 c #Conflicts: 1261000 | #Constraints: 85194
2511.91/2518.79 c #Conflicts: 1262000 | #Constraints: 86194
2511.91/2518.79 c #Conflicts: 1263000 | #Constraints: 87194
2511.91/2518.79 c #Conflicts: 1264000 | #Constraints: 88194
2712.42/2719.73 c #Conflicts: 1265000 | #Constraints: 89194
2712.42/2719.73 c #Conflicts: 1266000 | #Constraints: 90194
2712.42/2719.73 c #Conflicts: 1267000 | #Constraints: 91194
2712.42/2719.73 c #Conflicts: 1268000 | #Constraints: 92194
2712.42/2719.73 c #Conflicts: 1269000 | #Constraints: 93194
2712.42/2719.73 c #Conflicts: 1270000 | #Constraints: 94194
2712.42/2719.73 c #Conflicts: 1271000 | #Constraints: 95194
2712.42/2719.73 c #Conflicts: 1272000 | #Constraints: 96194
2712.42/2719.73 c #Conflicts: 1273000 | #Constraints: 97194
2712.42/2719.73 c #Conflicts: 1274000 | #Constraints: 98194
2712.42/2719.73 c #Conflicts: 1275000 | #Constraints: 99194
2712.42/2719.73 c #Conflicts: 1276000 | #Constraints: 100194
2712.42/2719.73 c #Conflicts: 1277000 | #Constraints: 101194
2712.42/2719.73 c #Conflicts: 1278000 | #Constraints: 102194
2712.42/2719.73 c #Conflicts: 1279000 | #Constraints: 103194
2712.42/2719.73 c INPROCESSING
2712.42/2719.73 c GARBAGE COLLECT
2712.42/2719.73 c #Conflicts: 1280000 | #Constraints: 81794
2712.42/2719.73 c #Conflicts: 1281000 | #Constraints: 82794
2712.42/2719.73 c #Conflicts: 1282000 | #Constraints: 83794
2712.42/2719.73 c #Conflicts: 1283000 | #Constraints: 84794
2712.42/2719.73 c #Conflicts: 1284000 | #Constraints: 85794
2712.42/2719.73 c #Conflicts: 1285000 | #Constraints: 86794
2712.42/2719.73 c #Conflicts: 1286000 | #Constraints: 87794
2712.42/2719.73 c #Conflicts: 1287000 | #Constraints: 88794
2712.42/2719.73 c #Conflicts: 1288000 | #Constraints: 89794
2712.42/2719.73 c #Conflicts: 1289000 | #Constraints: 90794
2712.42/2719.73 c #Conflicts: 1290000 | #Constraints: 91794
2712.42/2719.73 c #Conflicts: 1291000 | #Constraints: 92794
2712.42/2719.73 c #Conflicts: 1292000 | #Constraints: 93794
2712.42/2719.73 c #Conflicts: 1293000 | #Constraints: 94794
2712.42/2719.73 c #Conflicts: 1294000 | #Constraints: 95794
2712.42/2719.73 c #Conflicts: 1295000 | #Constraints: 96794
2712.42/2719.73 c #Conflicts: 1296000 | #Constraints: 97794
2712.42/2719.73 c #Conflicts: 1297000 | #Constraints: 98794
2712.42/2719.73 c #Conflicts: 1298000 | #Constraints: 99794
2712.42/2719.73 c #Conflicts: 1299000 | #Constraints: 100794
2712.42/2719.73 c #Conflicts: 1300000 | #Constraints: 101794
2712.42/2719.73 c #Conflicts: 1301000 | #Constraints: 102794
2712.42/2719.73 c #Conflicts: 1302000 | #Constraints: 103794
2712.42/2719.73 c INPROCESSING
2712.42/2719.73 c GARBAGE COLLECT
2712.42/2719.73 c #Conflicts: 1303000 | #Constraints: 82202
2712.42/2719.73 c #Conflicts: 1304000 | #Constraints: 83202
2712.42/2719.73 c #Conflicts: 1305000 | #Constraints: 84202
2712.42/2719.73 c #Conflicts: 1306000 | #Constraints: 85202
2712.42/2719.73 c #Conflicts: 1307000 | #Constraints: 86202
2712.42/2719.73 c #Conflicts: 1308000 | #Constraints: 87202
2712.42/2719.73 c #Conflicts: 1309000 | #Constraints: 88202
2712.42/2719.73 c #Conflicts: 1310000 | #Constraints: 89202
2712.42/2719.73 c #Conflicts: 1311000 | #Constraints: 90202
2712.42/2719.73 c #Conflicts: 1312000 | #Constraints: 91202
2712.42/2719.73 c #Conflicts: 1313000 | #Constraints: 92202
2712.42/2719.73 c #Conflicts: 1314000 | #Constraints: 93202
2712.42/2719.73 c #Conflicts: 1315000 | #Constraints: 94202
2712.42/2719.73 c #Conflicts: 1316000 | #Constraints: 95202
2712.42/2719.73 c #Conflicts: 1317000 | #Constraints: 96202
2712.42/2719.73 c #Conflicts: 1318000 | #Constraints: 97202
2712.42/2719.73 c #Conflicts: 1319000 | #Constraints: 98202
2712.42/2719.73 c #Conflicts: 1320000 | #Constraints: 99202
2712.42/2719.73 c #Conflicts: 1321000 | #Constraints: 100202
2712.42/2719.73 c #Conflicts: 1322000 | #Constraints: 101202
2712.42/2719.73 c #Conflicts: 1323000 | #Constraints: 102202
2712.42/2719.73 c #Conflicts: 1324000 | #Constraints: 103202
2712.42/2719.73 c #Conflicts: 1325000 | #Constraints: 104202
2712.42/2719.73 c INPROCESSING
2712.42/2719.73 c GARBAGE COLLECT
2712.42/2719.73 c #Conflicts: 1326000 | #Constraints: 82385
2712.42/2719.73 c #Conflicts: 1327000 | #Constraints: 83385
2712.42/2719.73 c #Conflicts: 1328000 | #Constraints: 84385
2712.42/2719.73 c #Conflicts: 1329000 | #Constraints: 85385
2712.42/2719.73 c #Conflicts: 1330000 | #Constraints: 86385
2712.42/2719.73 c #Conflicts: 1331000 | #Constraints: 87385
2712.42/2719.73 c #Conflicts: 1332000 | #Constraints: 88385
2712.42/2719.73 c #Conflicts: 1333000 | #Constraints: 89385
2712.42/2719.73 c #Conflicts: 1334000 | #Constraints: 90385
2712.42/2719.73 c #Conflicts: 1335000 | #Constraints: 91385
2712.42/2719.73 c #Conflicts: 1336000 | #Constraints: 92385
2712.42/2719.73 c #Conflicts: 1337000 | #Constraints: 93385
2712.42/2719.73 c #Conflicts: 1338000 | #Constraints: 94385
2712.42/2719.73 c #Conflicts: 1339000 | #Constraints: 95385
2712.42/2719.73 c #Conflicts: 1340000 | #Constraints: 96385
2921.61/2929.44 c #Conflicts: 1341000 | #Constraints: 97385
2921.61/2929.44 c #Conflicts: 1342000 | #Constraints: 98385
2921.61/2929.44 c #Conflicts: 1343000 | #Constraints: 99385
2921.61/2929.44 c #Conflicts: 1344000 | #Constraints: 100385
2921.61/2929.44 c #Conflicts: 1345000 | #Constraints: 101385
2921.61/2929.44 c #Conflicts: 1346000 | #Constraints: 102385
2921.61/2929.44 c #Conflicts: 1347000 | #Constraints: 103385
2921.61/2929.44 c #Conflicts: 1348000 | #Constraints: 104385
2921.61/2929.44 c INPROCESSING
2921.61/2929.44 c GARBAGE COLLECT
2921.61/2929.44 c #Conflicts: 1349000 | #Constraints: 82401
2921.61/2929.44 c #Conflicts: 1350000 | #Constraints: 83401
2921.61/2929.44 c #Conflicts: 1351000 | #Constraints: 84401
2921.61/2929.44 c #Conflicts: 1352000 | #Constraints: 85401
2921.61/2929.44 c #Conflicts: 1353000 | #Constraints: 86401
2921.61/2929.44 c #Conflicts: 1354000 | #Constraints: 87401
2921.61/2929.44 c #Conflicts: 1355000 | #Constraints: 88401
2921.61/2929.44 c #Conflicts: 1356000 | #Constraints: 89401
2921.61/2929.44 c #Conflicts: 1357000 | #Constraints: 90401
2921.61/2929.44 c #Conflicts: 1358000 | #Constraints: 91401
2921.61/2929.44 c #Conflicts: 1359000 | #Constraints: 92401
2921.61/2929.44 c #Conflicts: 1360000 | #Constraints: 93401
2921.61/2929.44 c #Conflicts: 1361000 | #Constraints: 94401
2921.61/2929.44 c #Conflicts: 1362000 | #Constraints: 95401
2921.61/2929.44 c #Conflicts: 1363000 | #Constraints: 96401
2921.61/2929.44 c #Conflicts: 1364000 | #Constraints: 97401
2921.61/2929.44 c #Conflicts: 1365000 | #Constraints: 98401
2921.61/2929.44 c #Conflicts: 1366000 | #Constraints: 99401
2921.61/2929.44 c #Conflicts: 1367000 | #Constraints: 100401
2921.61/2929.44 c #Conflicts: 1368000 | #Constraints: 101401
2921.61/2929.44 c #Conflicts: 1369000 | #Constraints: 102401
2921.61/2929.44 c #Conflicts: 1370000 | #Constraints: 103401
2921.61/2929.44 c #Conflicts: 1371000 | #Constraints: 104401
2921.61/2929.44 c INPROCESSING
2921.61/2929.44 c GARBAGE COLLECT
2921.61/2929.44 c #Conflicts: 1372000 | #Constraints: 82198
2921.61/2929.44 c #Conflicts: 1373000 | #Constraints: 83198
2921.61/2929.44 c #Conflicts: 1374000 | #Constraints: 84198
2921.61/2929.44 c #Conflicts: 1375000 | #Constraints: 85198
2921.61/2929.44 c #Conflicts: 1376000 | #Constraints: 86198
2921.61/2929.44 c #Conflicts: 1377000 | #Constraints: 87198
2921.61/2929.44 c #Conflicts: 1378000 | #Constraints: 88198
2921.61/2929.44 c #Conflicts: 1379000 | #Constraints: 89198
2921.61/2929.44 c #Conflicts: 1380000 | #Constraints: 90198
2921.61/2929.44 c #Conflicts: 1381000 | #Constraints: 91198
2921.61/2929.44 c #Conflicts: 1382000 | #Constraints: 92198
2921.61/2929.44 c #Conflicts: 1383000 | #Constraints: 93198
2921.61/2929.44 c #Conflicts: 1384000 | #Constraints: 94198
2921.61/2929.44 c #Conflicts: 1385000 | #Constraints: 95198
2921.61/2929.44 c #Conflicts: 1386000 | #Constraints: 96198
2921.61/2929.44 c #Conflicts: 1387000 | #Constraints: 97198
2921.61/2929.44 c #Conflicts: 1388000 | #Constraints: 98198
2921.61/2929.44 c #Conflicts: 1389000 | #Constraints: 99198
2921.61/2929.44 c #Conflicts: 1390000 | #Constraints: 100198
2921.61/2929.44 c #Conflicts: 1391000 | #Constraints: 101198
2921.61/2929.44 c #Conflicts: 1392000 | #Constraints: 102198
2921.61/2929.44 c #Conflicts: 1393000 | #Constraints: 103198
2921.61/2929.44 c #Conflicts: 1394000 | #Constraints: 104198
2921.61/2929.44 c #Conflicts: 1395000 | #Constraints: 105198
2921.61/2929.44 c INPROCESSING
2921.61/2929.44 c GARBAGE COLLECT
2921.61/2929.44 c #Conflicts: 1396000 | #Constraints: 82841
2921.61/2929.44 c #Conflicts: 1397000 | #Constraints: 83841
2921.61/2929.44 c #Conflicts: 1398000 | #Constraints: 84841
2921.61/2929.44 c #Conflicts: 1399000 | #Constraints: 85841
2921.61/2929.44 c #Conflicts: 1400000 | #Constraints: 86841
2921.61/2929.44 c #Conflicts: 1401000 | #Constraints: 87841
2921.61/2929.44 c #Conflicts: 1402000 | #Constraints: 88841
2921.61/2929.44 c #Conflicts: 1403000 | #Constraints: 89841
2921.61/2929.44 c #Conflicts: 1404000 | #Constraints: 90841
2921.61/2929.44 c #Conflicts: 1405000 | #Constraints: 91841
2921.61/2929.44 c #Conflicts: 1406000 | #Constraints: 92841
2921.61/2929.44 c #Conflicts: 1407000 | #Constraints: 93841
2921.61/2929.44 c #Conflicts: 1408000 | #Constraints: 94841
2921.61/2929.44 c #Conflicts: 1409000 | #Constraints: 95841
2921.61/2929.44 c #Conflicts: 1410000 | #Constraints: 96841
2921.61/2929.44 c #Conflicts: 1411000 | #Constraints: 97841
2921.61/2929.44 c #Conflicts: 1412000 | #Constraints: 98841
2921.61/2929.44 c #Conflicts: 1413000 | #Constraints: 99841
2921.61/2929.44 c #Conflicts: 1414000 | #Constraints: 100841
2921.61/2929.44 c #Conflicts: 1415000 | #Constraints: 101841
2921.61/2929.44 c #Conflicts: 1416000 | #Constraints: 102841
2921.61/2929.44 c #Conflicts: 1417000 | #Constraints: 103841
3134.17/3142.58 c #Conflicts: 1418000 | #Constraints: 104841
3134.17/3142.58 c #Conflicts: 1419000 | #Constraints: 105841
3134.17/3142.58 c INPROCESSING
3134.17/3142.58 c GARBAGE COLLECT
3134.17/3142.58 c #Conflicts: 1420000 | #Constraints: 83210
3134.17/3142.58 c #Conflicts: 1421000 | #Constraints: 84210
3134.17/3142.58 c #Conflicts: 1422000 | #Constraints: 85210
3134.17/3142.58 c #Conflicts: 1423000 | #Constraints: 86210
3134.17/3142.58 c #Conflicts: 1424000 | #Constraints: 87210
3134.17/3142.58 c #Conflicts: 1425000 | #Constraints: 88210
3134.17/3142.58 c #Conflicts: 1426000 | #Constraints: 89210
3134.17/3142.58 c #Conflicts: 1427000 | #Constraints: 90210
3134.17/3142.58 c #Conflicts: 1428000 | #Constraints: 91210
3134.17/3142.58 c #Conflicts: 1429000 | #Constraints: 92210
3134.17/3142.58 c #Conflicts: 1430000 | #Constraints: 93210
3134.17/3142.58 c #Conflicts: 1431000 | #Constraints: 94210
3134.17/3142.58 c #Conflicts: 1432000 | #Constraints: 95210
3134.17/3142.58 c #Conflicts: 1433000 | #Constraints: 96210
3134.17/3142.58 c #Conflicts: 1434000 | #Constraints: 97210
3134.17/3142.58 c #Conflicts: 1435000 | #Constraints: 98210
3134.17/3142.58 c #Conflicts: 1436000 | #Constraints: 99210
3134.17/3142.58 c #Conflicts: 1437000 | #Constraints: 100210
3134.17/3142.58 c #Conflicts: 1438000 | #Constraints: 101210
3134.17/3142.58 c #Conflicts: 1439000 | #Constraints: 102210
3134.17/3142.58 c #Conflicts: 1440000 | #Constraints: 103210
3134.17/3142.58 c #Conflicts: 1441000 | #Constraints: 104210
3134.17/3142.58 c #Conflicts: 1442000 | #Constraints: 105210
3134.17/3142.58 c #Conflicts: 1443000 | #Constraints: 106210
3134.17/3142.58 c INPROCESSING
3134.17/3142.58 c GARBAGE COLLECT
3134.17/3142.58 c #Conflicts: 1444000 | #Constraints: 83380
3134.17/3142.58 c #Conflicts: 1445000 | #Constraints: 84380
3134.17/3142.58 c #Conflicts: 1446000 | #Constraints: 85380
3134.17/3142.58 c #Conflicts: 1447000 | #Constraints: 86380
3134.17/3142.58 c #Conflicts: 1448000 | #Constraints: 87380
3134.17/3142.58 c #Conflicts: 1449000 | #Constraints: 88380
3134.17/3142.58 c #Conflicts: 1450000 | #Constraints: 89380
3134.17/3142.58 c #Conflicts: 1451000 | #Constraints: 90380
3134.17/3142.58 c #Conflicts: 1452000 | #Constraints: 91380
3134.17/3142.58 c #Conflicts: 1453000 | #Constraints: 92380
3134.17/3142.58 c #Conflicts: 1454000 | #Constraints: 93380
3134.17/3142.58 c #Conflicts: 1455000 | #Constraints: 94380
3134.17/3142.58 c #Conflicts: 1456000 | #Constraints: 95380
3134.17/3142.58 c #Conflicts: 1457000 | #Constraints: 96380
3134.17/3142.58 c #Conflicts: 1458000 | #Constraints: 97380
3134.17/3142.58 c #Conflicts: 1459000 | #Constraints: 98380
3134.17/3142.58 c #Conflicts: 1460000 | #Constraints: 99380
3134.17/3142.58 c #Conflicts: 1461000 | #Constraints: 100380
3134.17/3142.58 c #Conflicts: 1462000 | #Constraints: 101380
3134.17/3142.58 c #Conflicts: 1463000 | #Constraints: 102380
3134.17/3142.58 c #Conflicts: 1464000 | #Constraints: 103380
3134.17/3142.58 c #Conflicts: 1465000 | #Constraints: 104380
3134.17/3142.58 c #Conflicts: 1466000 | #Constraints: 105380
3134.17/3142.58 c #Conflicts: 1467000 | #Constraints: 106380
3134.17/3142.58 c INPROCESSING
3134.17/3142.58 c GARBAGE COLLECT
3134.17/3142.58 c #Conflicts: 1468000 | #Constraints: 83388
3134.17/3142.58 c #Conflicts: 1469000 | #Constraints: 84388
3134.17/3142.58 c #Conflicts: 1470000 | #Constraints: 85388
3134.17/3142.58 c #Conflicts: 1471000 | #Constraints: 86388
3134.17/3142.58 c #Conflicts: 1472000 | #Constraints: 87388
3134.17/3142.58 c #Conflicts: 1473000 | #Constraints: 88388
3134.17/3142.58 c #Conflicts: 1474000 | #Constraints: 89388
3134.17/3142.58 c #Conflicts: 1475000 | #Constraints: 90388
3134.17/3142.58 c #Conflicts: 1476000 | #Constraints: 91388
3134.17/3142.58 c #Conflicts: 1477000 | #Constraints: 92388
3134.17/3142.58 c #Conflicts: 1478000 | #Constraints: 93388
3134.17/3142.58 c #Conflicts: 1479000 | #Constraints: 94388
3134.17/3142.58 c #Conflicts: 1480000 | #Constraints: 95388
3134.17/3142.58 c #Conflicts: 1481000 | #Constraints: 96388
3134.17/3142.58 c #Conflicts: 1482000 | #Constraints: 97388
3134.17/3142.58 c #Conflicts: 1483000 | #Constraints: 98388
3134.17/3142.58 c #Conflicts: 1484000 | #Constraints: 99388
3134.17/3142.58 c #Conflicts: 1485000 | #Constraints: 100388
3134.17/3142.58 c #Conflicts: 1486000 | #Constraints: 101388
3134.17/3142.58 c #Conflicts: 1487000 | #Constraints: 102388
3134.17/3142.58 c #Conflicts: 1488000 | #Constraints: 103388
3134.17/3142.58 c #Conflicts: 1489000 | #Constraints: 104388
3134.17/3142.58 c #Conflicts: 1490000 | #Constraints: 105388
3134.17/3142.58 c #Conflicts: 1491000 | #Constraints: 106388
3134.17/3142.58 c INPROCESSING
3134.17/3142.58 c GARBAGE COLLECT
3134.17/3142.58 c #Conflicts: 1492000 | #Constraints: 83194
3134.17/3142.58 c #Conflicts: 1493000 | #Constraints: 84194
3134.17/3142.58 c #Conflicts: 1494000 | #Constraints: 85194
3351.22/3360.14 c #Conflicts: 1495000 | #Constraints: 86194
3351.22/3360.14 c #Conflicts: 1496000 | #Constraints: 87194
3351.22/3360.14 c #Conflicts: 1497000 | #Constraints: 88194
3351.22/3360.14 c #Conflicts: 1498000 | #Constraints: 89194
3351.22/3360.14 c #Conflicts: 1499000 | #Constraints: 90194
3351.22/3360.14 c #Conflicts: 1500000 | #Constraints: 91194
3351.22/3360.14 c #Conflicts: 1501000 | #Constraints: 92194
3351.22/3360.14 c #Conflicts: 1502000 | #Constraints: 93194
3351.22/3360.14 c #Conflicts: 1503000 | #Constraints: 94194
3351.22/3360.14 c #Conflicts: 1504000 | #Constraints: 95194
3351.22/3360.14 c #Conflicts: 1505000 | #Constraints: 96194
3351.22/3360.14 c #Conflicts: 1506000 | #Constraints: 97194
3351.22/3360.14 c #Conflicts: 1507000 | #Constraints: 98194
3351.22/3360.14 c #Conflicts: 1508000 | #Constraints: 99194
3351.22/3360.14 c #Conflicts: 1509000 | #Constraints: 100194
3351.22/3360.14 c #Conflicts: 1510000 | #Constraints: 101194
3351.22/3360.14 c #Conflicts: 1511000 | #Constraints: 102194
3351.22/3360.14 c #Conflicts: 1512000 | #Constraints: 103194
3351.22/3360.14 c #Conflicts: 1513000 | #Constraints: 104194
3351.22/3360.14 c #Conflicts: 1514000 | #Constraints: 105194
3351.22/3360.14 c #Conflicts: 1515000 | #Constraints: 106194
3351.22/3360.14 c #Conflicts: 1516000 | #Constraints: 107194
3351.22/3360.14 c INPROCESSING
3351.22/3360.14 c GARBAGE COLLECT
3351.22/3360.14 c #Conflicts: 1517000 | #Constraints: 83794
3351.22/3360.14 c #Conflicts: 1518000 | #Constraints: 84794
3351.22/3360.14 c #Conflicts: 1519000 | #Constraints: 85794
3351.22/3360.14 c #Conflicts: 1520000 | #Constraints: 86794
3351.22/3360.14 c #Conflicts: 1521000 | #Constraints: 87794
3351.22/3360.14 c #Conflicts: 1522000 | #Constraints: 88794
3351.22/3360.14 c #Conflicts: 1523000 | #Constraints: 89794
3351.22/3360.14 c #Conflicts: 1524000 | #Constraints: 90794
3351.22/3360.14 c #Conflicts: 1525000 | #Constraints: 91794
3351.22/3360.14 c #Conflicts: 1526000 | #Constraints: 92794
3351.22/3360.14 c #Conflicts: 1527000 | #Constraints: 93794
3351.22/3360.14 c #Conflicts: 1528000 | #Constraints: 94794
3351.22/3360.14 c #Conflicts: 1529000 | #Constraints: 95794
3351.22/3360.14 c #Conflicts: 1530000 | #Constraints: 96794
3351.22/3360.14 c #Conflicts: 1531000 | #Constraints: 97794
3351.22/3360.14 c #Conflicts: 1532000 | #Constraints: 98794
3351.22/3360.14 c #Conflicts: 1533000 | #Constraints: 99794
3351.22/3360.14 c #Conflicts: 1534000 | #Constraints: 100794
3351.22/3360.14 c #Conflicts: 1535000 | #Constraints: 101794
3351.22/3360.14 c #Conflicts: 1536000 | #Constraints: 102794
3351.22/3360.14 c #Conflicts: 1537000 | #Constraints: 103794
3351.22/3360.14 c #Conflicts: 1538000 | #Constraints: 104794
3351.22/3360.14 c #Conflicts: 1539000 | #Constraints: 105794
3351.22/3360.14 c #Conflicts: 1540000 | #Constraints: 106794
3351.22/3360.14 c #Conflicts: 1541000 | #Constraints: 107794
3351.22/3360.14 c INPROCESSING
3351.22/3360.14 c GARBAGE COLLECT
3351.22/3360.14 c #Conflicts: 1542000 | #Constraints: 84194
3351.22/3360.14 c #Conflicts: 1543000 | #Constraints: 85194
3351.22/3360.14 c #Conflicts: 1544000 | #Constraints: 86194
3351.22/3360.14 c #Conflicts: 1545000 | #Constraints: 87194
3351.22/3360.14 c #Conflicts: 1546000 | #Constraints: 88194
3351.22/3360.14 c #Conflicts: 1547000 | #Constraints: 89194
3351.22/3360.14 c #Conflicts: 1548000 | #Constraints: 90194
3351.22/3360.14 c #Conflicts: 1549000 | #Constraints: 91194
3351.22/3360.14 c #Conflicts: 1550000 | #Constraints: 92194
3351.22/3360.14 c #Conflicts: 1551000 | #Constraints: 93194
3351.22/3360.14 c #Conflicts: 1552000 | #Constraints: 94194
3351.22/3360.14 c #Conflicts: 1553000 | #Constraints: 95194
3351.22/3360.14 c #Conflicts: 1554000 | #Constraints: 96194
3351.22/3360.14 c #Conflicts: 1555000 | #Constraints: 97194
3351.22/3360.14 c #Conflicts: 1556000 | #Constraints: 98194
3351.22/3360.14 c #Conflicts: 1557000 | #Constraints: 99194
3351.22/3360.14 c #Conflicts: 1558000 | #Constraints: 100194
3351.22/3360.14 c #Conflicts: 1559000 | #Constraints: 101194
3351.22/3360.14 c #Conflicts: 1560000 | #Constraints: 102194
3351.22/3360.14 c #Conflicts: 1561000 | #Constraints: 103194
3351.22/3360.14 c #Conflicts: 1562000 | #Constraints: 104194
3351.22/3360.14 c #Conflicts: 1563000 | #Constraints: 105194
3351.22/3360.14 c #Conflicts: 1564000 | #Constraints: 106194
3351.22/3360.14 c #Conflicts: 1565000 | #Constraints: 107194
3351.22/3360.14 c #Conflicts: 1566000 | #Constraints: 108194
3351.22/3360.14 c INPROCESSING
3351.22/3360.14 c GARBAGE COLLECT
3351.22/3360.14 c #Conflicts: 1567000 | #Constraints: 84415
3351.22/3360.14 c #Conflicts: 1568000 | #Constraints: 85415
3351.22/3360.14 c #Conflicts: 1569000 | #Constraints: 86415
3351.22/3360.14 c #Conflicts: 1570000 | #Constraints: 87415
3534.93/3544.34 c #Conflicts: 1571000 | #Constraints: 88415
3534.93/3544.34 c #Conflicts: 1572000 | #Constraints: 89415
3534.93/3544.34 c #Conflicts: 1573000 | #Constraints: 90415
3534.93/3544.34 c #Conflicts: 1574000 | #Constraints: 91415
3534.93/3544.34 c #Conflicts: 1575000 | #Constraints: 92415
3534.93/3544.34 c #Conflicts: 1576000 | #Constraints: 93415
3534.93/3544.34 c #Conflicts: 1577000 | #Constraints: 94415
3534.93/3544.34 c #Conflicts: 1578000 | #Constraints: 95415
3534.93/3544.34 c #Conflicts: 1579000 | #Constraints: 96415
3534.93/3544.34 c #Conflicts: 1580000 | #Constraints: 97415
3534.93/3544.34 c #Conflicts: 1581000 | #Constraints: 98415
3534.93/3544.34 c #Conflicts: 1582000 | #Constraints: 99415
3534.93/3544.34 c #Conflicts: 1583000 | #Constraints: 100415
3534.93/3544.34 c #Conflicts: 1584000 | #Constraints: 101415
3534.93/3544.34 c #Conflicts: 1585000 | #Constraints: 102415
3534.93/3544.34 c #Conflicts: 1586000 | #Constraints: 103415
3534.93/3544.34 c #Conflicts: 1587000 | #Constraints: 104415
3534.93/3544.34 c #Conflicts: 1588000 | #Constraints: 105415
3534.93/3544.34 c #Conflicts: 1589000 | #Constraints: 106415
3534.93/3544.34 c #Conflicts: 1590000 | #Constraints: 107415
3534.93/3544.34 c #Conflicts: 1591000 | #Constraints: 108415
3534.93/3544.34 c INPROCESSING
3534.93/3544.34 c GARBAGE COLLECT
3534.93/3544.34 c #Conflicts: 1592000 | #Constraints: 84407
3534.93/3544.34 c #Conflicts: 1593000 | #Constraints: 85407
3534.93/3544.34 c #Conflicts: 1594000 | #Constraints: 86407
3534.93/3544.34 c #Conflicts: 1595000 | #Constraints: 87407
3534.93/3544.34 c #Conflicts: 1596000 | #Constraints: 88407
3534.93/3544.34 c #Conflicts: 1597000 | #Constraints: 89407
3534.93/3544.34 c #Conflicts: 1598000 | #Constraints: 90407
3534.93/3544.34 c #Conflicts: 1599000 | #Constraints: 91407
3534.93/3544.34 c #Conflicts: 1600000 | #Constraints: 92407
3534.93/3544.34 c #Conflicts: 1601000 | #Constraints: 93407
3534.93/3544.34 c #Conflicts: 1602000 | #Constraints: 94407
3534.93/3544.34 c #Conflicts: 1603000 | #Constraints: 95407
3534.93/3544.34 c #Conflicts: 1604000 | #Constraints: 96407
3534.93/3544.34 c #Conflicts: 1605000 | #Constraints: 97407
3534.93/3544.34 c #Conflicts: 1606000 | #Constraints: 98407
3534.93/3544.34 c #Conflicts: 1607000 | #Constraints: 99407
3534.93/3544.34 c #Conflicts: 1608000 | #Constraints: 100407
3534.93/3544.34 c #Conflicts: 1609000 | #Constraints: 101407
3534.93/3544.34 c #Conflicts: 1610000 | #Constraints: 102407
3534.93/3544.34 c #Conflicts: 1611000 | #Constraints: 103407
3534.93/3544.34 c #Conflicts: 1612000 | #Constraints: 104407
3534.93/3544.34 c #Conflicts: 1613000 | #Constraints: 105407
3534.93/3544.34 c #Conflicts: 1614000 | #Constraints: 106407
3534.93/3544.34 c #Conflicts: 1615000 | #Constraints: 107407
3534.93/3544.34 c #Conflicts: 1616000 | #Constraints: 108407
3534.93/3544.34 c INPROCESSING
3534.93/3544.34 c GARBAGE COLLECT
3534.93/3544.34 c #Conflicts: 1617000 | #Constraints: 84224
3534.93/3544.34 c #Conflicts: 1618000 | #Constraints: 85224
3534.93/3544.34 c #Conflicts: 1619000 | #Constraints: 86224
3534.93/3544.34 c #Conflicts: 1620000 | #Constraints: 87224
3534.93/3544.34 c #Conflicts: 1621000 | #Constraints: 88224
3534.93/3544.34 c #Conflicts: 1622000 | #Constraints: 89224
3534.93/3544.34 c #Conflicts: 1623000 | #Constraints: 90224
3534.93/3544.34 c #Conflicts: 1624000 | #Constraints: 91224
3534.93/3544.34 c #Conflicts: 1625000 | #Constraints: 92224
3534.93/3544.34 c #Conflicts: 1626000 | #Constraints: 93224
3534.93/3544.34 c #Conflicts: 1627000 | #Constraints: 94224
3534.93/3544.34 c #Conflicts: 1628000 | #Constraints: 95224
3534.93/3544.34 c #Conflicts: 1629000 | #Constraints: 96224
3534.93/3544.34 c #Conflicts: 1630000 | #Constraints: 97224
3534.93/3544.34 c #Conflicts: 1631000 | #Constraints: 98224
3534.93/3544.34 c #Conflicts: 1632000 | #Constraints: 99224
3534.93/3544.34 c #Conflicts: 1633000 | #Constraints: 100224
3534.93/3544.34 c #Conflicts: 1634000 | #Constraints: 101224
3534.93/3544.34 c #Conflicts: 1635000 | #Constraints: 102224
3534.93/3544.34 c #Conflicts: 1636000 | #Constraints: 103224
3534.93/3544.34 c #Conflicts: 1637000 | #Constraints: 104224
3534.93/3544.34 c #Conflicts: 1638000 | #Constraints: 105224
3534.93/3544.34 c #Conflicts: 1639000 | #Constraints: 106224
3534.93/3544.34 c #Conflicts: 1640000 | #Constraints: 107224
3534.93/3544.34 c #Conflicts: 1641000 | #Constraints: 108224
3534.93/3544.34 c #Conflicts: 1642000 | #Constraints: 109224
3534.93/3544.34 c INPROCESSING
3534.93/3544.34 c GARBAGE COLLECT
3534.93/3544.34 c #Conflicts: 1643000 | #Constraints: 84829
3534.93/3544.34 c #Conflicts: 1644000 | #Constraints: 85829
3534.93/3544.34 c #Conflicts: 1645000 | #Constraints: 86829
3534.93/3544.34 c #Conflicts: 1646000 | #Constraints: 87829
3534.93/3544.34 c #Conflicts: 1647000 | #Constraints: 88829
3600.07/3609.60 c #Conflicts: 1648000 | #Constraints: 89829
3600.07/3609.60 c #Conflicts: 1649000 | #Constraints: 90829
3600.07/3609.60 c #Conflicts: 1650000 | #Constraints: 91829
3600.07/3609.60 c #Conflicts: 1651000 | #Constraints: 92829
3600.07/3609.60 c #Conflicts: 1652000 | #Constraints: 93829
3600.07/3609.60 c #Conflicts: 1653000 | #Constraints: 94829
3600.07/3609.60 c #Conflicts: 1654000 | #Constraints: 95829
3600.07/3609.60 c #Conflicts: 1655000 | #Constraints: 96829
3600.07/3609.60 c #Conflicts: 1656000 | #Constraints: 97829
3600.07/3609.60 c #Conflicts: 1657000 | #Constraints: 98829
3600.07/3609.60 c #Conflicts: 1658000 | #Constraints: 99829
3600.07/3609.60 c #Conflicts: 1659000 | #Constraints: 100829
3600.07/3609.60 c #Conflicts: 1660000 | #Constraints: 101829
3600.07/3609.60 c #Conflicts: 1661000 | #Constraints: 102829
3600.07/3609.60 c #Conflicts: 1662000 | #Constraints: 103829
3600.07/3609.60 c #Conflicts: 1663000 | #Constraints: 104829
3600.07/3609.60 c #Conflicts: 1664000 | #Constraints: 105829
3600.07/3609.60 c #Conflicts: 1665000 | #Constraints: 106829
3600.07/3609.60 c #Conflicts: 1666000 | #Constraints: 107829
3600.07/3609.60 c Program interrupted by user.
3600.07/3609.60 c cpu time 3592.85 s
3600.07/3609.60 c deterministic time 733667363650 7.34e+11
3600.07/3609.60 c optimization time 75.7426 s
3600.07/3609.60 c total solve time 3217.85 s
3600.07/3609.60 c core-guided solve time 3217.85 s
3600.07/3609.60 c propagation time 3113.4 s
3600.07/3609.60 c conflict analysis time 138.191 s
3600.07/3609.60 c propagations 37147421
3600.07/3609.60 c resolve steps 11720876
3600.07/3609.60 c decisions 2361485
3600.07/3609.60 c conflicts 1666420
3600.07/3609.60 c restarts 3159
3600.07/3609.60 c inprocessing phases 119
3600.07/3609.60 c input clauses 58411
3600.07/3609.60 c input cardinalities 20
3600.07/3609.60 c input general constraints 0
3600.07/3609.60 c input average constraint length 2.34
3600.07/3609.60 c input average constraint degree 1.26
3600.07/3609.60 c learned clauses 1013011
3600.07/3609.60 c learned cardinalities 445715
3600.07/3609.60 c learned general constraints 207693
3600.07/3609.60 c learned average constraint length 894.57
3600.07/3609.60 c learned average constraint degree 14.99
3600.07/3609.60 c watched constraints 207693
3600.07/3609.60 c counting constraints 0
3600.07/3609.60 c gcd simplifications 90981
3600.07/3609.60 c detected cardinalities 17287
3600.07/3609.60 c weakened non-implied lits 22808488
3600.07/3609.60 c weakened non-implying lits 63347
3600.07/3609.60 c original variables 945
3600.07/3609.60 c clausal propagations 25708606
3600.07/3609.60 c cardinality propagations 6038058
3600.07/3609.60 c watched propagations 1082567
3600.07/3609.60 c counting propagations 0
3600.07/3609.60 c watch lookups 22808260830
3600.07/3609.60 c watch backjump lookups 5394662
3600.07/3609.60 c watch checks 706442504339
3600.07/3609.60 c propagation checks 1319071720
3600.07/3609.60 c constraint additions 3011448927
3600.07/3609.60 c trail pops 41174265
3600.07/3609.60 c formula constraints 58245
3600.07/3609.60 c learned constraints 1666419
3600.07/3609.60 c bound constraints 20
3600.07/3609.60 c core-guided constraints 166
3600.07/3609.60 c encountered formula constraints 9373828
3600.07/3609.60 c encountered learned constraints 3973552
3600.07/3609.60 c encountered bound constraints 1879
3600.07/3609.60 c encountered core-guided constraints 38037
3600.07/3609.60 c LP total time 0 s
3600.07/3609.60 c LP solve time 0 s
3600.07/3609.60 c LP constraints added 0
3600.07/3609.60 c LP constraints removed 0
3600.07/3609.60 c LP pivots internal 0
3600.07/3609.60 c LP pivots root 0
3600.07/3609.60 c LP calls 0
3600.07/3609.60 c LP optimalities 0
3600.07/3609.60 c LP no pivot count 0
3600.07/3609.60 c LP infeasibilities 0
3600.07/3609.60 c LP valid Farkas constraints 0
3600.07/3609.60 c LP learned Farkas constraints 0
3600.07/3609.60 c LP basis resets 0
3600.07/3609.60 c LP cycling count 0
3600.07/3609.60 c LP singular count 0
3600.07/3609.60 c LP no primal count 0
3600.07/3609.60 c LP no farkas count 0
3600.07/3609.60 c LP other issue count 0
3600.07/3609.60 c LP Gomory cuts 0
3600.07/3609.60 c LP learned cuts 0
3600.07/3609.60 c LP deleted cuts 0
3600.07/3609.60 c LP encountered Gomory constraints 0
3600.07/3609.60 c LP encountered Farkas constraints 0
3600.07/3609.60 c LP encountered learned Farkas constraints 0
3600.07/3609.60 c CG auxiliary variables introduced 166
3600.07/3609.60 c CG solutions found 0
3600.07/3609.60 c CG cores constructed 19
3600.07/3609.60 c CG core cardinality constraints returned 0
3600.07/3609.60 c CG unit cores 0
3600.07/3609.60 c CG single cores 19
3600.07/3609.60 c CG blocks removed during cardinality reduction 0
3600.07/3609.60 c CG first core best 0
3600.07/3609.60 c CG decision core best 0
3600.07/3609.60 c CG core reduction tie 0
3600.07/3609.60 c CG core degree average 1.00
3600.07/3609.60 c CG core slack average 7.21
3600.07/3609.60 c CG exhausted 0
3600.07/3609.60 c CG exhaust time 0 s
3600.07/3609.60 c CG trimmed 1
3600.07/3609.60 c CG trim time 0.000182 s
3600.07/3609.60 c CG minimized 0
3600.07/3609.60 c CG minimize time 0 s
3600.07/3609.60 c CG am1 prop time 0.004222 s
3600.07/3609.60 c CG # am1s reformulated 166
3600.07/3609.60 c CG lower bound derived from am1s 778
3600.07/3609.60 c CG # clausal cores 19
3600.07/3609.60 c CG # cardinality cores 0
3600.07/3609.60 c CG # pb cores 0
3600.07/3609.60 c CG # pb reforms 0
3600.07/3609.60 c CG # cores discarded because of pb reform 0
3600.07/3609.60 d LOWERBOUND -148
3600.07/3609.60 d NCORES 19
3600.07/3609.60 d NPBCORES 0
3600.07/3609.60 d NPBREFORM 0
3600.07/3609.60 d NTRIMMED 1
3600.07/3609.60 d NEXHAUSTED 0
3600.07/3609.60 d NAM1S 166
3600.07/3609.60 d AM1LB 778
3600.07/3609.60 c [Papilo Statistics]
3600.07/3609.60 c prepro time 0.127923s
3600.07/3609.60 c # tsx applied 0
3600.07/3609.60 c # tsx conflicts 0
3600.07/3609.60 c # bound changes 0
3600.07/3609.60 c # side changes 0
3600.07/3609.60 c # coef changes 0
3600.07/3609.60 c # rounds 1
3600.07/3609.60 c # deted vars 0
3600.07/3609.60 c # deted constrs 0
3600.07/3609.60 c # consecutive rounds of only bound changes 0
3600.07/3609.60 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 (58248 MiB free)
memory of node 1: 64465 MiB (63066 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484989-1751283307/watcher-4484989-1751283307 -o /tmp/evaluation-result-4484989-1751283307/solver-4484989-1751283307 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751279693-40748 --watchdog 3760 mixed-bag HOME/instance-4484989-1751283307.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
Starting watchdog thread
solver pid=41169, runsolver pid=41166
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.12 4.13 4.14 5/264 41170
/proc/meminfo: memFree=124226204/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=88616 memory=15844 CPUtime=0.09 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 2571 0 0 0 9 0 0 0 20 0 1 0 44009340 90742784 3961 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 22154 3961 2144 2842 0 4387 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 88616 KiB
Current children cumulated memory: 15844 KiB
[startup+0.205674 s]*
/proc/loadavg: 4.12 4.13 4.14 5/264 41170
/proc/meminfo: memFree=124226204/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=119432 memory=39104 CPUtime=0.19 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 8363 0 0 0 18 1 0 0 20 0 1 0 44009340 122298368 9776 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 29858 9776 2304 2842 0 11552 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 119432 KiB
Current children cumulated memory: 39104 KiB
[startup+0.305697 s]*
/proc/loadavg: 4.12 4.13 4.14 5/264 41170
/proc/meminfo: memFree=124155504/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=166208 memory=92396 CPUtime=0.29 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 21025 0 0 0 26 3 0 0 20 0 1 0 44009340 170196992 23099 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 41552 23099 3968 2842 0 23246 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 166208 KiB
Current children cumulated memory: 92396 KiB
[startup+0.700171 s]
/proc/loadavg: 4.12 4.13 4.14 5/264 41170
/proc/meminfo: memFree=124048704/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=223112 memory=147584 CPUtime=0.68 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 36162 0 0 0 63 5 0 0 20 0 1 0 44009340 228466688 36896 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 55778 36896 4032 2842 0 37472 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 223112 KiB
Current children cumulated memory: 147584 KiB
[startup+1.50017 s]
/proc/loadavg: 4.12 4.13 4.14 5/264 41170
/proc/meminfo: memFree=123894336/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=440276 memory=348236 CPUtime=1.48 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 55435 0 0 0 137 11 0 0 20 0 1 0 44009340 450842624 87059 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 110069 87059 4128 2842 0 91763 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 440276 KiB
Current children cumulated memory: 348236 KiB
[startup+3.10492 s]
/proc/loadavg: 4.12 4.13 4.14 5/264 41170
/proc/meminfo: memFree=123679704/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=464152 memory=366412 CPUtime=3.08 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 59939 0 0 0 296 12 0 0 20 0 1 0 44009340 475291648 91603 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 116038 91603 4256 2842 0 97732 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 464152 KiB
Current children cumulated memory: 366412 KiB
[startup+6.3001 s]
/proc/loadavg: 4.19 4.14 4.15 5/264 41170
/proc/meminfo: memFree=123655884/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=489468 memory=378228 CPUtime=6.26 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 62396 0 0 0 614 12 0 0 20 0 1 0 44009340 501215232 94557 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 122367 94557 4256 2842 0 104061 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 489468 KiB
Current children cumulated memory: 378228 KiB
[startup+12.7001 s]
/proc/loadavg: 4.17 4.14 4.15 5/264 41171
/proc/meminfo: memFree=123639756/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=529292 memory=385268 CPUtime=12.65 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 64145 0 0 0 1252 13 0 0 20 0 1 0 44009340 541995008 96317 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 132323 96317 4256 2842 0 114017 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 529292 KiB
Current children cumulated memory: 385268 KiB
[startup+25.5001 s]
/proc/loadavg: 4.14 4.13 4.14 5/263 41171
/proc/meminfo: memFree=123437200/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=661104 memory=457844 CPUtime=25.4 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 82286 0 0 0 2524 16 0 0 20 0 1 0 44009340 676970496 114461 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 165276 114461 4288 2842 0 146970 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 661104 KiB
Current children cumulated memory: 457844 KiB
[startup+51.1054 s]
/proc/loadavg: 4.17 4.14 4.15 5/263 41171
/proc/meminfo: memFree=123382140/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=702880 memory=497268 CPUtime=50.93 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 92139 0 0 0 5075 18 0 0 20 0 1 0 44009340 719749120 124317 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 175720 124317 4288 2842 0 157414 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 702880 KiB
Current children cumulated memory: 497268 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.13 4.14 5/263 41173
/proc/meminfo: memFree=123339056/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=754888 memory=537460 CPUtime=101.96 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 102219 0 0 0 10177 19 0 0 20 0 1 0 44009340 773005312 134365 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 188722 134365 4288 2842 0 170416 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 754888 KiB
Current children cumulated memory: 537460 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/263 41175
/proc/meminfo: memFree=123203964/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=827292 memory=591604 CPUtime=161.77 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 116810 0 0 0 16155 22 0 0 20 0 1 0 44009340 847147008 147901 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 206823 147901 4288 2842 0 188517 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 827292 KiB
Current children cumulated memory: 591604 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.13 4.14 5/263 41222
/proc/meminfo: memFree=126328748/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=854096 memory=607752 CPUtime=221.59 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 123315 0 0 0 22136 23 0 0 20 0 1 0 44009340 874594304 151938 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 213524 151938 4288 2842 0 195218 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 854096 KiB
Current children cumulated memory: 607752 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/263 41224
/proc/meminfo: memFree=126194144/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=983724 memory=681416 CPUtime=281.41 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 140223 0 0 0 28116 25 0 0 20 0 1 0 44009340 1007333376 170354 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 245931 170354 4288 2842 0 227625 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 983724 KiB
Current children cumulated memory: 681416 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/264 41233
/proc/meminfo: memFree=126427212/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=803272 memory=517264 CPUtime=341.25 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 143345 0 0 0 34063 62 0 0 20 0 1 0 44009340 822550528 129316 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 200818 129316 4416 2842 0 182512 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 803272 KiB
Current children cumulated memory: 517264 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/264 41235
/proc/meminfo: memFree=126325688/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=834092 memory=533688 CPUtime=401.08 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 143881 0 0 0 40012 96 0 0 20 0 1 0 44009340 854110208 133422 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 208523 133422 4416 2842 0 190217 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 834092 KiB
Current children cumulated memory: 533688 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/264 41237
/proc/meminfo: memFree=126271096/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=834092 memory=545976 CPUtime=460.93 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 143887 0 0 0 45967 126 0 0 20 0 1 0 44009340 854110208 136494 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 208523 136494 4416 2842 0 190217 0
Current children cumulated CPU time: 460.93 s
################
# More data... #
################
Current children cumulated memory: 737032 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 41363
/proc/meminfo: memFree=125469724/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=965568 memory=737032 CPUtime=2854.68 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 145183 0 0 0 284847 621 0 0 20 0 1 0 44009340 988741632 184258 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 241392 184258 4416 2842 0 223086 0
Current children cumulated CPU time: 2854.68 s
Current children cumulated vsize: 965568 KiB
Current children cumulated memory: 737032 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 41365
/proc/meminfo: memFree=125469884/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=965568 memory=737032 CPUtime=2914.53 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 145183 0 0 0 290826 627 0 0 20 0 1 0 44009340 988741632 184258 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 241392 184258 4416 2842 0 223086 0
Current children cumulated CPU time: 2914.53 s
Current children cumulated vsize: 965568 KiB
Current children cumulated memory: 737032 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 41412
/proc/meminfo: memFree=126341712/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=965568 memory=739080 CPUtime=2974.38 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 145184 0 0 0 296804 634 0 0 20 0 1 0 44009340 988741632 184770 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 241392 184770 4416 2842 0 223086 0
Current children cumulated CPU time: 2974.38 s
Current children cumulated vsize: 965568 KiB
Current children cumulated memory: 739080 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 41414
/proc/meminfo: memFree=126309208/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=965568 memory=741128 CPUtime=3034.22 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 145185 0 0 0 302780 642 0 0 20 0 1 0 44009340 988741632 185282 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 241392 185282 4416 2842 0 223086 0
Current children cumulated CPU time: 3034.22 s
Current children cumulated vsize: 965568 KiB
Current children cumulated memory: 741128 KiB
[startup+3102.3 s]
/proc/loadavg: 4.01 4.10 4.08 5/263 41461
/proc/meminfo: memFree=126174764/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=965568 memory=743176 CPUtime=3094.07 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 145334 0 0 0 308757 650 0 0 20 0 1 0 44009340 988741632 185794 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 241392 185794 4416 2842 0 223086 0
Current children cumulated CPU time: 3094.07 s
Current children cumulated vsize: 965568 KiB
Current children cumulated memory: 743176 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/264 41464
/proc/meminfo: memFree=125951316/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=965568 memory=743176 CPUtime=3153.92 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 145365 0 0 0 314732 660 0 0 20 0 1 0 44009340 988741632 185794 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 241392 185794 4416 2842 0 223086 0
Current children cumulated CPU time: 3153.92 s
Current children cumulated vsize: 965568 KiB
Current children cumulated memory: 743176 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 41466
/proc/meminfo: memFree=125897912/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=965568 memory=743176 CPUtime=3213.77 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 145377 0 0 0 320708 669 0 0 20 0 1 0 44009340 988741632 185794 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 241392 185794 4416 2842 0 223086 0
Current children cumulated CPU time: 3213.77 s
Current children cumulated vsize: 965568 KiB
Current children cumulated memory: 743176 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 41512
/proc/meminfo: memFree=126351140/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=965568 memory=745224 CPUtime=3273.62 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 145378 0 0 0 326685 677 0 0 20 0 1 0 44009340 988741632 186306 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 241392 186306 4416 2842 0 223086 0
Current children cumulated CPU time: 3273.62 s
Current children cumulated vsize: 965568 KiB
Current children cumulated memory: 745224 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 41515
/proc/meminfo: memFree=126283172/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=965568 memory=745224 CPUtime=3333.46 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 145378 0 0 0 332661 685 0 0 20 0 1 0 44009340 988741632 186306 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 241392 186306 4416 2842 0 223086 0
Current children cumulated CPU time: 3333.46 s
Current children cumulated vsize: 965568 KiB
Current children cumulated memory: 745224 KiB
[startup+3402.3 s]
/proc/loadavg: 4.35 4.20 4.12 5/265 41524
/proc/meminfo: memFree=126277948/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=965568 memory=749320 CPUtime=3393.3 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 145380 0 0 0 338636 694 0 0 20 0 1 0 44009340 988741632 187330 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 241392 187330 4416 2842 0 223086 0
Current children cumulated CPU time: 3393.3 s
Current children cumulated vsize: 965568 KiB
Current children cumulated memory: 749320 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.18 4.11 5/264 41526
/proc/meminfo: memFree=126278832/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=965568 memory=749320 CPUtime=3453.15 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 145381 0 0 0 344613 702 0 0 20 0 1 0 44009340 988741632 187330 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 241392 187330 4416 2842 0 223086 0
Current children cumulated CPU time: 3453.15 s
Current children cumulated vsize: 965568 KiB
Current children cumulated memory: 749320 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/265 41529
/proc/meminfo: memFree=126272576/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=965568 memory=751368 CPUtime=3512.99 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 145382 0 0 0 350585 714 0 0 20 0 1 0 44009340 988741632 187842 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 241392 187842 4416 2842 0 223086 0
Current children cumulated CPU time: 3512.99 s
Current children cumulated vsize: 965568 KiB
Current children cumulated memory: 751368 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/265 41531
/proc/meminfo: memFree=126045528/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=965568 memory=755464 CPUtime=3572.84 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 145385 0 0 0 356563 721 0 0 20 0 1 0 44009340 988741632 188866 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 241392 188866 4416 2842 0 223086 0
Current children cumulated CPU time: 3572.84 s
Current children cumulated vsize: 965568 KiB
Current children cumulated memory: 755464 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.10 4.14 4.10 5/265 41531
/proc/meminfo: memFree=125733332/131250000 swapFree=33010684/33010684
[pid=41169] ppid=41166 vsize=965568 memory=755464 CPUtime=3600.07 cores=1,3
/proc/41169/stat : 41169 (mixed-bag) R 41166 41169 40736 0 -1 4194304 145385 0 0 0 359284 723 0 0 20 0 1 0 44009340 988741632 188866 18446744073709551615 4235264 15874749 140723719863952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 31277056 140723719866780 140723719866857 140723719866857 140723719872459 0
/proc/41169/statm: 241392 188866 4416 2842 0 223086 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 965568 KiB
Current children cumulated memory: 755464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.61 s]
# the end of solver process 41169 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.85 s, system=7.23584 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.61
CPU time (s): 3600.09
CPU user time (s): 3592.85
CPU system time (s): 7.23584
CPU usage (%): 99.7362
Max. virtual memory (cumulated for all children) (KiB): 1015888
Max. memory (cumulated for all children) (KiB): 755464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.85
system time used= 7.23584
maximum resident set size= 756488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145415
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= 192
involuntary context switches= 1334
# summary of solver processes directly reported to runsolver:
# pid: 41169
# total CPU time (s): 3600.09
# total CPU user time (s): 3592.85
# total CPU system time (s): 7.23584
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.82861 second user time and 16.5334 second system time
The end
Begin job on nodeC026 at 2025-06-30 13:35:07
IDJOB=4484989
IDBENCH=146684
IDSOLVER=3340
FILE ID=nodeC026/4484989-1751283307
RUNJOBID= nodeC026-1751279693-40748
SLURM_JOB_ID= 9594219
Free space on /tmp= 433008 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484989-1751283307/watcher-4484989-1751283307 -o /tmp/evaluation-result-4484989-1751283307/solver-4484989-1751283307 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751279693-40748 --watchdog 3760 mixed-bag HOME/instance-4484989-1751283307.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a3f6b61db250b51897503d5946a188dc
RANDOM SEED=1119648545
nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.755
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.785
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.711
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3588.951
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.719
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.707
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.817
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3609.592
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 124226452 kB
MemAvailable: 125299180 kB
Buffers: 3280 kB
Cached: 1869544 kB
SwapCached: 0 kB
Active: 4722336 kB
Inactive: 1611716 kB
Active(anon): 4479312 kB
Inactive(anon): 0 kB
Active(file): 243024 kB
Inactive(file): 1611716 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 34160 kB
Writeback: 4 kB
AnonPages: 4464312 kB
Mapped: 137528 kB
Shmem: 18080 kB
KReclaimable: 114452 kB
Slab: 201596 kB
SReclaimable: 114452 kB
SUnreclaim: 87144 kB
KernelStack: 4300 kB
PageTables: 13072 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 5909332 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 458752 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC026 at 2025-06-30 14:35:17