0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.04 c [STEP] preprocessing with Papilo
0.00/0.05 c [STEP] solving with SCIP
298.96/300.15 c [STEP] preprocessing done, loading into solver
298.96/300.15 c [STEP] solving
298.96/300.15 c #variables 4971 #constraints 598
349.28/350.69 c #Conflicts: 1000 | #Constraints: 1597
349.28/350.69 c #Conflicts: 2000 | #Constraints: 2597
349.28/350.69 c INPROCESSING
349.28/350.69 c GARBAGE COLLECT
349.28/350.69 c #Conflicts: 3000 | #Constraints: 2605
349.28/350.69 c #Conflicts: 4000 | #Constraints: 3605
349.28/350.69 c INPROCESSING
349.28/350.69 c GARBAGE COLLECT
349.28/350.69 c #Conflicts: 5000 | #Constraints: 3015
349.28/350.69 c #Conflicts: 6000 | #Constraints: 4015
349.28/350.69 c INPROCESSING
349.28/350.69 c GARBAGE COLLECT
349.28/350.69 c #Conflicts: 7000 | #Constraints: 3024
349.28/350.69 c #Conflicts: 8000 | #Constraints: 4024
349.28/350.69 c #Conflicts: 9000 | #Constraints: 5024
349.28/350.69 c INPROCESSING
349.28/350.69 c GARBAGE COLLECT
349.28/350.69 c #Conflicts: 10000 | #Constraints: 3719
349.28/350.69 c #Conflicts: 11000 | #Constraints: 4719
349.28/350.69 c #Conflicts: 12000 | #Constraints: 5719
349.28/350.69 c INPROCESSING
349.28/350.69 c GARBAGE COLLECT
349.28/350.69 c #Conflicts: 13000 | #Constraints: 4169
349.28/350.69 c #Conflicts: 14000 | #Constraints: 5169
349.28/350.69 c #Conflicts: 15000 | #Constraints: 6169
349.28/350.69 c INPROCESSING
349.28/350.69 c GARBAGE COLLECT
349.28/350.69 c #Conflicts: 16000 | #Constraints: 4404
349.28/350.69 c #Conflicts: 17000 | #Constraints: 5404
349.28/350.69 c #Conflicts: 18000 | #Constraints: 6404
349.28/350.69 c INPROCESSING
349.28/350.69 c GARBAGE COLLECT
349.28/350.69 c #Conflicts: 19000 | #Constraints: 4459
349.28/350.69 c #Conflicts: 20000 | #Constraints: 5459
349.28/350.69 c #Conflicts: 21000 | #Constraints: 6459
349.28/350.69 c INPROCESSING
349.28/350.69 c GARBAGE COLLECT
349.28/350.69 c #Conflicts: 22000 | #Constraints: 4239
349.28/350.69 c #Conflicts: 23000 | #Constraints: 5239
349.28/350.69 c #Conflicts: 24000 | #Constraints: 6239
349.28/350.69 c #Conflicts: 25000 | #Constraints: 7239
349.28/350.69 c INPROCESSING
349.28/350.69 c GARBAGE COLLECT
349.28/350.69 c #Conflicts: 26000 | #Constraints: 4836
349.28/350.69 c #Conflicts: 27000 | #Constraints: 5836
349.28/350.69 c #Conflicts: 28000 | #Constraints: 6836
349.28/350.69 c #Conflicts: 29000 | #Constraints: 7836
349.28/350.69 c INPROCESSING
349.28/350.69 c GARBAGE COLLECT
349.28/350.69 c #Conflicts: 30000 | #Constraints: 5231
349.28/350.69 c #Conflicts: 31000 | #Constraints: 6231
349.28/350.69 c #Conflicts: 32000 | #Constraints: 7231
349.28/350.69 c #Conflicts: 33000 | #Constraints: 8231
349.28/350.69 c INPROCESSING
349.28/350.69 c GARBAGE COLLECT
349.28/350.69 c #Conflicts: 34000 | #Constraints: 5440
349.28/350.69 c #Conflicts: 35000 | #Constraints: 6440
349.28/350.69 c #Conflicts: 36000 | #Constraints: 7440
349.28/350.69 c #Conflicts: 37000 | #Constraints: 8440
349.28/350.69 c INPROCESSING
349.28/350.69 c GARBAGE COLLECT
349.28/350.69 c #Conflicts: 38000 | #Constraints: 5443
349.28/350.69 c #Conflicts: 39000 | #Constraints: 6443
349.28/350.69 c #Conflicts: 40000 | #Constraints: 7443
349.28/350.69 c #Conflicts: 41000 | #Constraints: 8443
349.28/350.69 c INPROCESSING
349.28/350.69 c GARBAGE COLLECT
349.28/350.69 c #Conflicts: 42000 | #Constraints: 5265
349.28/350.69 c #Conflicts: 43000 | #Constraints: 6265
349.28/350.69 c #Conflicts: 44000 | #Constraints: 7265
349.28/350.69 c #Conflicts: 45000 | #Constraints: 8265
349.28/350.69 c #Conflicts: 46000 | #Constraints: 9265
349.28/350.69 c INPROCESSING
349.28/350.69 c GARBAGE COLLECT
349.28/350.69 c #Conflicts: 47000 | #Constraints: 5850
349.28/350.69 c #Conflicts: 48000 | #Constraints: 6850
349.28/350.69 c #Conflicts: 49000 | #Constraints: 7850
349.28/350.69 c #Conflicts: 50000 | #Constraints: 8850
349.28/350.69 c #Conflicts: 51000 | #Constraints: 9850
349.28/350.69 c INPROCESSING
349.28/350.69 c GARBAGE COLLECT
349.28/350.69 c #Conflicts: 52000 | #Constraints: 6246
349.28/350.69 c #Conflicts: 53000 | #Constraints: 7246
349.28/350.69 c #Conflicts: 54000 | #Constraints: 8246
349.28/350.69 c #Conflicts: 55000 | #Constraints: 9246
349.28/350.69 c #Conflicts: 56000 | #Constraints: 10246
349.28/350.69 c INPROCESSING
349.28/350.69 c GARBAGE COLLECT
349.28/350.69 c #Conflicts: 57000 | #Constraints: 6431
349.28/350.69 c #Conflicts: 58000 | #Constraints: 7431
349.28/350.69 c #Conflicts: 59000 | #Constraints: 8431
349.28/350.69 c #Conflicts: 60000 | #Constraints: 9431
349.28/350.69 c #Conflicts: 61000 | #Constraints: 10431
349.28/350.69 c INPROCESSING
349.28/350.69 c GARBAGE COLLECT
349.28/350.69 c #Conflicts: 62000 | #Constraints: 6437
349.28/350.69 c #Conflicts: 63000 | #Constraints: 7437
349.28/350.69 c #Conflicts: 64000 | #Constraints: 8437
349.28/350.69 c #Conflicts: 65000 | #Constraints: 9437
349.28/350.69 c #Conflicts: 66000 | #Constraints: 10437
349.28/350.69 c INPROCESSING
349.28/350.69 c GARBAGE COLLECT
349.28/350.69 c #Conflicts: 67000 | #Constraints: 6239
349.28/350.69 c #Conflicts: 68000 | #Constraints: 7239
475.84/477.60 c #Conflicts: 69000 | #Constraints: 8239
475.84/477.60 c #Conflicts: 70000 | #Constraints: 9239
475.84/477.60 c #Conflicts: 71000 | #Constraints: 10239
475.84/477.60 c #Conflicts: 72000 | #Constraints: 11239
475.84/477.60 c INPROCESSING
475.84/477.60 c GARBAGE COLLECT
475.84/477.60 c #Conflicts: 73000 | #Constraints: 6831
475.84/477.60 c #Conflicts: 74000 | #Constraints: 7831
475.84/477.60 c #Conflicts: 75000 | #Constraints: 8831
475.84/477.60 c #Conflicts: 76000 | #Constraints: 9831
475.84/477.60 c #Conflicts: 77000 | #Constraints: 10831
475.84/477.60 c #Conflicts: 78000 | #Constraints: 11831
475.84/477.60 c INPROCESSING
475.84/477.60 c GARBAGE COLLECT
475.84/477.60 c #Conflicts: 79000 | #Constraints: 7232
475.84/477.60 c #Conflicts: 80000 | #Constraints: 8232
475.84/477.60 c #Conflicts: 81000 | #Constraints: 9232
475.84/477.60 c #Conflicts: 82000 | #Constraints: 10232
475.84/477.60 c #Conflicts: 83000 | #Constraints: 11232
475.84/477.60 c #Conflicts: 84000 | #Constraints: 12232
475.84/477.60 c INPROCESSING
475.84/477.60 c GARBAGE COLLECT
475.84/477.60 c #Conflicts: 85000 | #Constraints: 7450
475.84/477.60 c #Conflicts: 86000 | #Constraints: 8450
475.84/477.60 c #Conflicts: 87000 | #Constraints: 9450
475.84/477.60 c #Conflicts: 88000 | #Constraints: 10450
475.84/477.60 c #Conflicts: 89000 | #Constraints: 11450
475.84/477.60 c #Conflicts: 90000 | #Constraints: 12450
475.84/477.60 c INPROCESSING
475.84/477.60 c GARBAGE COLLECT
475.84/477.60 c #Conflicts: 91000 | #Constraints: 7437
475.84/477.60 c #Conflicts: 92000 | #Constraints: 8437
475.84/477.60 c #Conflicts: 93000 | #Constraints: 9437
475.84/477.60 c #Conflicts: 94000 | #Constraints: 10437
475.84/477.60 c #Conflicts: 95000 | #Constraints: 11437
475.84/477.60 c #Conflicts: 96000 | #Constraints: 12437
475.84/477.60 c INPROCESSING
475.84/477.60 c GARBAGE COLLECT
475.84/477.60 c #Conflicts: 97000 | #Constraints: 7278
475.84/477.60 c #Conflicts: 98000 | #Constraints: 8278
475.84/477.60 c #Conflicts: 99000 | #Constraints: 9278
475.84/477.60 c #Conflicts: 100000 | #Constraints: 10278
475.84/477.60 c #Conflicts: 101000 | #Constraints: 11278
475.84/477.60 c #Conflicts: 102000 | #Constraints: 12278
475.84/477.60 c #Conflicts: 103000 | #Constraints: 13278
475.84/477.60 c INPROCESSING
475.84/477.60 c GARBAGE COLLECT
475.84/477.60 c #Conflicts: 104000 | #Constraints: 7855
475.84/477.60 c #Conflicts: 105000 | #Constraints: 8855
475.84/477.60 c #Conflicts: 106000 | #Constraints: 9855
475.84/477.60 c #Conflicts: 107000 | #Constraints: 10855
475.84/477.60 c #Conflicts: 108000 | #Constraints: 11855
475.84/477.60 c #Conflicts: 109000 | #Constraints: 12855
475.84/477.60 c #Conflicts: 110000 | #Constraints: 13855
475.84/477.60 c INPROCESSING
475.84/477.60 c GARBAGE COLLECT
475.84/477.60 c #Conflicts: 111000 | #Constraints: 8253
475.84/477.60 c #Conflicts: 112000 | #Constraints: 9253
475.84/477.60 c #Conflicts: 113000 | #Constraints: 10253
475.84/477.60 c #Conflicts: 114000 | #Constraints: 11253
475.84/477.60 c #Conflicts: 115000 | #Constraints: 12253
475.84/477.60 c #Conflicts: 116000 | #Constraints: 13253
475.84/477.60 c #Conflicts: 117000 | #Constraints: 14253
475.84/477.60 c INPROCESSING
475.84/477.60 c GARBAGE COLLECT
475.84/477.60 c #Conflicts: 118000 | #Constraints: 8442
475.84/477.60 c #Conflicts: 119000 | #Constraints: 9442
475.84/477.60 c #Conflicts: 120000 | #Constraints: 10442
475.84/477.60 c #Conflicts: 121000 | #Constraints: 11442
475.84/477.60 c #Conflicts: 122000 | #Constraints: 12442
475.84/477.60 c #Conflicts: 123000 | #Constraints: 13442
475.84/477.60 c #Conflicts: 124000 | #Constraints: 14442
475.84/477.60 c INPROCESSING
475.84/477.60 c GARBAGE COLLECT
475.84/477.60 c #Conflicts: 125000 | #Constraints: 8435
475.84/477.60 c #Conflicts: 126000 | #Constraints: 9435
475.84/477.60 c #Conflicts: 127000 | #Constraints: 10435
475.84/477.60 c #Conflicts: 128000 | #Constraints: 11435
475.84/477.60 c #Conflicts: 129000 | #Constraints: 12435
475.84/477.60 c #Conflicts: 130000 | #Constraints: 13435
475.84/477.60 c #Conflicts: 131000 | #Constraints: 14435
475.84/477.60 c INPROCESSING
475.84/477.60 c GARBAGE COLLECT
475.84/477.60 c #Conflicts: 132000 | #Constraints: 8228
475.84/477.60 c #Conflicts: 133000 | #Constraints: 9228
475.84/477.60 c #Conflicts: 134000 | #Constraints: 10228
475.84/477.60 c #Conflicts: 135000 | #Constraints: 11228
475.84/477.60 c #Conflicts: 136000 | #Constraints: 12228
475.84/477.60 c #Conflicts: 137000 | #Constraints: 13228
475.84/477.60 c #Conflicts: 138000 | #Constraints: 14228
475.84/477.60 c #Conflicts: 139000 | #Constraints: 15228
475.84/477.60 c INPROCESSING
475.84/477.60 c GARBAGE COLLECT
475.84/477.60 c #Conflicts: 140000 | #Constraints: 8822
614.65/616.92 c #Conflicts: 141000 | #Constraints: 9822
614.65/616.92 c #Conflicts: 142000 | #Constraints: 10822
614.65/616.92 c #Conflicts: 143000 | #Constraints: 11822
614.65/616.92 c #Conflicts: 144000 | #Constraints: 12822
614.65/616.92 c #Conflicts: 145000 | #Constraints: 13822
614.65/616.92 c #Conflicts: 146000 | #Constraints: 14822
614.65/616.92 c #Conflicts: 147000 | #Constraints: 15822
614.65/616.92 c INPROCESSING
614.65/616.92 c GARBAGE COLLECT
614.65/616.92 c #Conflicts: 148000 | #Constraints: 9241
614.65/616.92 c #Conflicts: 149000 | #Constraints: 10241
614.65/616.92 c #Conflicts: 150000 | #Constraints: 11241
614.65/616.92 c #Conflicts: 151000 | #Constraints: 12241
614.65/616.92 c #Conflicts: 152000 | #Constraints: 13241
614.65/616.92 c #Conflicts: 153000 | #Constraints: 14241
614.65/616.92 c #Conflicts: 154000 | #Constraints: 15241
614.65/616.92 c #Conflicts: 155000 | #Constraints: 16241
614.65/616.92 c INPROCESSING
614.65/616.92 c GARBAGE COLLECT
614.65/616.92 c #Conflicts: 156000 | #Constraints: 9443
614.65/616.92 c #Conflicts: 157000 | #Constraints: 10443
614.65/616.92 c #Conflicts: 158000 | #Constraints: 11443
614.65/616.92 c #Conflicts: 159000 | #Constraints: 12443
614.65/616.92 c #Conflicts: 160000 | #Constraints: 13443
614.65/616.92 c #Conflicts: 161000 | #Constraints: 14443
614.65/616.92 c #Conflicts: 162000 | #Constraints: 15443
614.65/616.92 c #Conflicts: 163000 | #Constraints: 16443
614.65/616.92 c INPROCESSING
614.65/616.92 c GARBAGE COLLECT
614.65/616.92 c #Conflicts: 164000 | #Constraints: 9432
614.65/616.92 c #Conflicts: 165000 | #Constraints: 10432
614.65/616.92 c #Conflicts: 166000 | #Constraints: 11432
614.65/616.92 c #Conflicts: 167000 | #Constraints: 12432
614.65/616.92 c #Conflicts: 168000 | #Constraints: 13432
614.65/616.92 c #Conflicts: 169000 | #Constraints: 14432
614.65/616.92 c #Conflicts: 170000 | #Constraints: 15432
614.65/616.92 c #Conflicts: 171000 | #Constraints: 16432
614.65/616.92 c INPROCESSING
614.65/616.92 c GARBAGE COLLECT
614.65/616.92 c #Conflicts: 172000 | #Constraints: 9236
614.65/616.92 c #Conflicts: 173000 | #Constraints: 10236
614.65/616.92 c #Conflicts: 174000 | #Constraints: 11236
614.65/616.92 c #Conflicts: 175000 | #Constraints: 12236
614.65/616.92 c #Conflicts: 176000 | #Constraints: 13236
614.65/616.92 c #Conflicts: 177000 | #Constraints: 14236
614.65/616.92 c #Conflicts: 178000 | #Constraints: 15236
614.65/616.92 c #Conflicts: 179000 | #Constraints: 16236
614.65/616.92 c #Conflicts: 180000 | #Constraints: 17236
614.65/616.92 c INPROCESSING
614.65/616.92 c GARBAGE COLLECT
614.65/616.92 c #Conflicts: 181000 | #Constraints: 9831
614.65/616.92 c #Conflicts: 182000 | #Constraints: 10831
614.65/616.92 c #Conflicts: 183000 | #Constraints: 11831
614.65/616.92 c #Conflicts: 184000 | #Constraints: 12831
614.65/616.92 c #Conflicts: 185000 | #Constraints: 13831
614.65/616.92 c #Conflicts: 186000 | #Constraints: 14831
614.65/616.92 c #Conflicts: 187000 | #Constraints: 15831
614.65/616.92 c #Conflicts: 188000 | #Constraints: 16831
614.65/616.92 c #Conflicts: 189000 | #Constraints: 17831
614.65/616.92 c INPROCESSING
614.65/616.92 c GARBAGE COLLECT
614.65/616.92 c #Conflicts: 190000 | #Constraints: 10264
614.65/616.92 c #Conflicts: 191000 | #Constraints: 11264
614.65/616.92 c #Conflicts: 192000 | #Constraints: 12264
614.65/616.92 c #Conflicts: 193000 | #Constraints: 13264
614.65/616.92 c #Conflicts: 194000 | #Constraints: 14264
614.65/616.92 c #Conflicts: 195000 | #Constraints: 15264
614.65/616.92 c #Conflicts: 196000 | #Constraints: 16264
614.65/616.92 c #Conflicts: 197000 | #Constraints: 17264
614.65/616.92 c #Conflicts: 198000 | #Constraints: 18264
614.65/616.92 c INPROCESSING
614.65/616.92 c GARBAGE COLLECT
614.65/616.92 c #Conflicts: 199000 | #Constraints: 10499
614.65/616.92 c #Conflicts: 200000 | #Constraints: 11499
614.65/616.92 c #Conflicts: 201000 | #Constraints: 12499
614.65/616.92 c #Conflicts: 202000 | #Constraints: 13499
614.65/616.92 c #Conflicts: 203000 | #Constraints: 14499
614.65/616.92 c #Conflicts: 204000 | #Constraints: 15499
614.65/616.92 c #Conflicts: 205000 | #Constraints: 16499
614.65/616.92 c #Conflicts: 206000 | #Constraints: 17499
614.65/616.92 c #Conflicts: 207000 | #Constraints: 18499
614.65/616.92 c INPROCESSING
614.65/616.92 c GARBAGE COLLECT
614.65/616.92 c #Conflicts: 208000 | #Constraints: 10492
614.65/616.92 c #Conflicts: 209000 | #Constraints: 11492
614.65/616.92 c #Conflicts: 210000 | #Constraints: 12492
614.65/616.92 c #Conflicts: 211000 | #Constraints: 13492
614.65/616.92 c #Conflicts: 212000 | #Constraints: 14492
614.65/616.92 c #Conflicts: 213000 | #Constraints: 15492
756.95/759.79 c #Conflicts: 214000 | #Constraints: 16492
756.95/759.79 c #Conflicts: 215000 | #Constraints: 17492
756.95/759.79 c #Conflicts: 216000 | #Constraints: 18492
756.95/759.79 c INPROCESSING
756.95/759.79 c GARBAGE COLLECT
756.95/759.79 c #Conflicts: 217000 | #Constraints: 10299
756.95/759.79 c #Conflicts: 218000 | #Constraints: 11299
756.95/759.79 c #Conflicts: 219000 | #Constraints: 12299
756.95/759.79 c #Conflicts: 220000 | #Constraints: 13299
756.95/759.79 c #Conflicts: 221000 | #Constraints: 14299
756.95/759.79 c #Conflicts: 222000 | #Constraints: 15299
756.95/759.79 c #Conflicts: 223000 | #Constraints: 16299
756.95/759.79 c #Conflicts: 224000 | #Constraints: 17299
756.95/759.79 c #Conflicts: 225000 | #Constraints: 18299
756.95/759.79 c #Conflicts: 226000 | #Constraints: 19299
756.95/759.79 c INPROCESSING
756.95/759.79 c GARBAGE COLLECT
756.95/759.79 c #Conflicts: 227000 | #Constraints: 10883
756.95/759.79 c #Conflicts: 228000 | #Constraints: 11883
756.95/759.79 c #Conflicts: 229000 | #Constraints: 12883
756.95/759.79 c #Conflicts: 230000 | #Constraints: 13883
756.95/759.79 c #Conflicts: 231000 | #Constraints: 14883
756.95/759.79 c #Conflicts: 232000 | #Constraints: 15883
756.95/759.79 c #Conflicts: 233000 | #Constraints: 16883
756.95/759.79 c #Conflicts: 234000 | #Constraints: 17883
756.95/759.79 c #Conflicts: 235000 | #Constraints: 18883
756.95/759.79 c #Conflicts: 236000 | #Constraints: 19883
756.95/759.79 c INPROCESSING
756.95/759.79 c GARBAGE COLLECT
756.95/759.79 c #Conflicts: 237000 | #Constraints: 11258
756.95/759.79 c #Conflicts: 238000 | #Constraints: 12258
756.95/759.79 c #Conflicts: 239000 | #Constraints: 13258
756.95/759.79 c #Conflicts: 240000 | #Constraints: 14258
756.95/759.79 c #Conflicts: 241000 | #Constraints: 15258
756.95/759.79 c #Conflicts: 242000 | #Constraints: 16258
756.95/759.79 c #Conflicts: 243000 | #Constraints: 17258
756.95/759.79 c #Conflicts: 244000 | #Constraints: 18258
756.95/759.79 c #Conflicts: 245000 | #Constraints: 19258
756.95/759.79 c #Conflicts: 246000 | #Constraints: 20258
756.95/759.79 c INPROCESSING
756.95/759.79 c GARBAGE COLLECT
756.95/759.79 c #Conflicts: 247000 | #Constraints: 11468
756.95/759.79 c #Conflicts: 248000 | #Constraints: 12468
756.95/759.79 c #Conflicts: 249000 | #Constraints: 13468
756.95/759.79 c #Conflicts: 250000 | #Constraints: 14468
756.95/759.79 c #Conflicts: 251000 | #Constraints: 15468
756.95/759.79 c #Conflicts: 252000 | #Constraints: 16468
756.95/759.79 c #Conflicts: 253000 | #Constraints: 17468
756.95/759.79 c #Conflicts: 254000 | #Constraints: 18468
756.95/759.79 c #Conflicts: 255000 | #Constraints: 19468
756.95/759.79 c #Conflicts: 256000 | #Constraints: 20468
756.95/759.79 c INPROCESSING
756.95/759.79 c GARBAGE COLLECT
756.95/759.79 c #Conflicts: 257000 | #Constraints: 11454
756.95/759.79 c #Conflicts: 258000 | #Constraints: 12454
756.95/759.79 c #Conflicts: 259000 | #Constraints: 13454
756.95/759.79 c #Conflicts: 260000 | #Constraints: 14454
756.95/759.79 c #Conflicts: 261000 | #Constraints: 15454
756.95/759.79 c #Conflicts: 262000 | #Constraints: 16454
756.95/759.79 c #Conflicts: 263000 | #Constraints: 17454
756.95/759.79 c #Conflicts: 264000 | #Constraints: 18454
756.95/759.79 c #Conflicts: 265000 | #Constraints: 19454
756.95/759.79 c #Conflicts: 266000 | #Constraints: 20454
756.95/759.79 c INPROCESSING
756.95/759.79 c GARBAGE COLLECT
756.95/759.79 c #Conflicts: 267000 | #Constraints: 11244
756.95/759.79 c #Conflicts: 268000 | #Constraints: 12244
756.95/759.79 c #Conflicts: 269000 | #Constraints: 13244
756.95/759.79 c #Conflicts: 270000 | #Constraints: 14244
756.95/759.79 c #Conflicts: 271000 | #Constraints: 15244
756.95/759.79 c #Conflicts: 272000 | #Constraints: 16244
756.95/759.79 c #Conflicts: 273000 | #Constraints: 17244
756.95/759.79 c #Conflicts: 274000 | #Constraints: 18244
756.95/759.79 c #Conflicts: 275000 | #Constraints: 19244
756.95/759.79 c #Conflicts: 276000 | #Constraints: 20244
756.95/759.79 c #Conflicts: 277000 | #Constraints: 21244
756.95/759.79 c INPROCESSING
756.95/759.79 c GARBAGE COLLECT
756.95/759.79 c #Conflicts: 278000 | #Constraints: 11841
756.95/759.79 c #Conflicts: 279000 | #Constraints: 12841
756.95/759.79 c #Conflicts: 280000 | #Constraints: 13841
756.95/759.79 c #Conflicts: 281000 | #Constraints: 14841
756.95/759.79 c #Conflicts: 282000 | #Constraints: 15841
756.95/759.79 c #Conflicts: 283000 | #Constraints: 16841
756.95/759.79 c #Conflicts: 284000 | #Constraints: 17841
756.95/759.79 c #Conflicts: 285000 | #Constraints: 18841
756.95/759.79 c #Conflicts: 286000 | #Constraints: 19841
756.95/759.79 c #Conflicts: 287000 | #Constraints: 20841
756.95/759.79 c #Conflicts: 288000 | #Constraints: 21841
933.52/936.95 c INPROCESSING
933.52/936.95 c GARBAGE COLLECT
933.52/936.95 c #Conflicts: 289000 | #Constraints: 12235
933.52/936.95 c #Conflicts: 290000 | #Constraints: 13235
933.52/936.95 c #Conflicts: 291000 | #Constraints: 14235
933.52/936.95 c #Conflicts: 292000 | #Constraints: 15235
933.52/936.95 c #Conflicts: 293000 | #Constraints: 16235
933.52/936.95 c #Conflicts: 294000 | #Constraints: 17235
933.52/936.95 c #Conflicts: 295000 | #Constraints: 18235
933.52/936.95 c #Conflicts: 296000 | #Constraints: 19235
933.52/936.95 c #Conflicts: 297000 | #Constraints: 20235
933.52/936.95 c #Conflicts: 298000 | #Constraints: 21235
933.52/936.95 c #Conflicts: 299000 | #Constraints: 22235
933.52/936.95 c INPROCESSING
933.52/936.95 c GARBAGE COLLECT
933.52/936.95 c #Conflicts: 300000 | #Constraints: 12433
933.52/936.95 c #Conflicts: 301000 | #Constraints: 13433
933.52/936.95 c #Conflicts: 302000 | #Constraints: 14433
933.52/936.95 c #Conflicts: 303000 | #Constraints: 15433
933.52/936.95 c #Conflicts: 304000 | #Constraints: 16433
933.52/936.95 c #Conflicts: 305000 | #Constraints: 17433
933.52/936.95 c #Conflicts: 306000 | #Constraints: 18433
933.52/936.95 c #Conflicts: 307000 | #Constraints: 19433
933.52/936.95 c #Conflicts: 308000 | #Constraints: 20433
933.52/936.95 c #Conflicts: 309000 | #Constraints: 21433
933.52/936.95 c #Conflicts: 310000 | #Constraints: 22433
933.52/936.95 c INPROCESSING
933.52/936.95 c GARBAGE COLLECT
933.52/936.95 c #Conflicts: 311000 | #Constraints: 12439
933.52/936.95 c #Conflicts: 312000 | #Constraints: 13439
933.52/936.95 c #Conflicts: 313000 | #Constraints: 14439
933.52/936.95 c #Conflicts: 314000 | #Constraints: 15439
933.52/936.95 c #Conflicts: 315000 | #Constraints: 16439
933.52/936.95 c #Conflicts: 316000 | #Constraints: 17439
933.52/936.95 c #Conflicts: 317000 | #Constraints: 18439
933.52/936.95 c #Conflicts: 318000 | #Constraints: 19439
933.52/936.95 c #Conflicts: 319000 | #Constraints: 20439
933.52/936.95 c #Conflicts: 320000 | #Constraints: 21439
933.52/936.95 c #Conflicts: 321000 | #Constraints: 22439
933.52/936.95 c INPROCESSING
933.52/936.95 c GARBAGE COLLECT
933.52/936.95 c #Conflicts: 322000 | #Constraints: 12257
933.52/936.95 c #Conflicts: 323000 | #Constraints: 13257
933.52/936.95 c #Conflicts: 324000 | #Constraints: 14257
933.52/936.95 c #Conflicts: 325000 | #Constraints: 15257
933.52/936.95 c #Conflicts: 326000 | #Constraints: 16257
933.52/936.95 c #Conflicts: 327000 | #Constraints: 17257
933.52/936.95 c #Conflicts: 328000 | #Constraints: 18257
933.52/936.95 c #Conflicts: 329000 | #Constraints: 19257
933.52/936.95 c #Conflicts: 330000 | #Constraints: 20257
933.52/936.95 c #Conflicts: 331000 | #Constraints: 21257
933.52/936.95 c #Conflicts: 332000 | #Constraints: 22257
933.52/936.95 c #Conflicts: 333000 | #Constraints: 23257
933.52/936.95 c INPROCESSING
933.52/936.95 c GARBAGE COLLECT
933.52/936.95 c #Conflicts: 334000 | #Constraints: 12843
933.52/936.95 c #Conflicts: 335000 | #Constraints: 13843
933.52/936.95 c #Conflicts: 336000 | #Constraints: 14843
933.52/936.95 c #Conflicts: 337000 | #Constraints: 15843
933.52/936.95 c #Conflicts: 338000 | #Constraints: 16843
933.52/936.95 c #Conflicts: 339000 | #Constraints: 17843
933.52/936.95 c #Conflicts: 340000 | #Constraints: 18843
933.52/936.95 c #Conflicts: 341000 | #Constraints: 19843
933.52/936.95 c #Conflicts: 342000 | #Constraints: 20843
933.52/936.95 c #Conflicts: 343000 | #Constraints: 21843
933.52/936.95 c #Conflicts: 344000 | #Constraints: 22843
933.52/936.95 c #Conflicts: 345000 | #Constraints: 23843
933.52/936.95 c INPROCESSING
933.52/936.95 c GARBAGE COLLECT
933.52/936.95 c #Conflicts: 346000 | #Constraints: 13236
933.52/936.95 c #Conflicts: 347000 | #Constraints: 14236
933.52/936.95 c #Conflicts: 348000 | #Constraints: 15236
933.52/936.95 c #Conflicts: 349000 | #Constraints: 16236
933.52/936.95 c #Conflicts: 350000 | #Constraints: 17236
933.52/936.95 c #Conflicts: 351000 | #Constraints: 18236
933.52/936.95 c #Conflicts: 352000 | #Constraints: 19236
933.52/936.95 c #Conflicts: 353000 | #Constraints: 20236
933.52/936.95 c #Conflicts: 354000 | #Constraints: 21236
933.52/936.95 c #Conflicts: 355000 | #Constraints: 22236
933.52/936.95 c #Conflicts: 356000 | #Constraints: 23236
933.52/936.95 c #Conflicts: 357000 | #Constraints: 24236
933.52/936.95 c INPROCESSING
933.52/936.95 c GARBAGE COLLECT
933.52/936.95 c #Conflicts: 358000 | #Constraints: 13429
933.52/936.95 c #Conflicts: 359000 | #Constraints: 14429
933.52/936.95 c #Conflicts: 360000 | #Constraints: 15429
933.52/936.95 c #Conflicts: 361000 | #Constraints: 16429
933.52/936.95 c #Conflicts: 362000 | #Constraints: 17429
1073.92/1077.85 c #Conflicts: 363000 | #Constraints: 18429
1073.92/1077.85 c #Conflicts: 364000 | #Constraints: 19429
1073.92/1077.85 c #Conflicts: 365000 | #Constraints: 20429
1073.92/1077.85 c #Conflicts: 366000 | #Constraints: 21429
1073.92/1077.85 c #Conflicts: 367000 | #Constraints: 22429
1073.92/1077.85 c #Conflicts: 368000 | #Constraints: 23429
1073.92/1077.85 c #Conflicts: 369000 | #Constraints: 24429
1073.92/1077.85 c INPROCESSING
1073.92/1077.85 c GARBAGE COLLECT
1073.92/1077.85 c #Conflicts: 370000 | #Constraints: 13437
1073.92/1077.85 c #Conflicts: 371000 | #Constraints: 14437
1073.92/1077.85 c #Conflicts: 372000 | #Constraints: 15437
1073.92/1077.85 c #Conflicts: 373000 | #Constraints: 16437
1073.92/1077.85 c #Conflicts: 374000 | #Constraints: 17437
1073.92/1077.85 c #Conflicts: 375000 | #Constraints: 18437
1073.92/1077.85 c #Conflicts: 376000 | #Constraints: 19437
1073.92/1077.85 c #Conflicts: 377000 | #Constraints: 20437
1073.92/1077.85 c #Conflicts: 378000 | #Constraints: 21437
1073.92/1077.85 c #Conflicts: 379000 | #Constraints: 22437
1073.92/1077.85 c #Conflicts: 380000 | #Constraints: 23437
1073.92/1077.85 c #Conflicts: 381000 | #Constraints: 24437
1073.92/1077.85 c INPROCESSING
1073.92/1077.85 c GARBAGE COLLECT
1073.92/1077.85 c #Conflicts: 382000 | #Constraints: 13229
1073.92/1077.85 c #Conflicts: 383000 | #Constraints: 14229
1073.92/1077.85 c #Conflicts: 384000 | #Constraints: 15229
1073.92/1077.85 c #Conflicts: 385000 | #Constraints: 16229
1073.92/1077.85 c #Conflicts: 386000 | #Constraints: 17229
1073.92/1077.85 c #Conflicts: 387000 | #Constraints: 18229
1073.92/1077.85 c #Conflicts: 388000 | #Constraints: 19229
1073.92/1077.85 c #Conflicts: 389000 | #Constraints: 20229
1073.92/1077.85 c #Conflicts: 390000 | #Constraints: 21229
1073.92/1077.85 c #Conflicts: 391000 | #Constraints: 22229
1073.92/1077.85 c #Conflicts: 392000 | #Constraints: 23229
1073.92/1077.85 c #Conflicts: 393000 | #Constraints: 24229
1073.92/1077.85 c #Conflicts: 394000 | #Constraints: 25229
1073.92/1077.85 c INPROCESSING
1073.92/1077.85 c GARBAGE COLLECT
1073.92/1077.85 c #Conflicts: 395000 | #Constraints: 13851
1073.92/1077.85 c #Conflicts: 396000 | #Constraints: 14851
1073.92/1077.85 c #Conflicts: 397000 | #Constraints: 15851
1073.92/1077.85 c #Conflicts: 398000 | #Constraints: 16851
1073.92/1077.85 c #Conflicts: 399000 | #Constraints: 17851
1073.92/1077.85 c #Conflicts: 400000 | #Constraints: 18851
1073.92/1077.85 c #Conflicts: 401000 | #Constraints: 19851
1073.92/1077.85 c #Conflicts: 402000 | #Constraints: 20851
1073.92/1077.85 c #Conflicts: 403000 | #Constraints: 21851
1073.92/1077.85 c #Conflicts: 404000 | #Constraints: 22851
1073.92/1077.85 c #Conflicts: 405000 | #Constraints: 23851
1073.92/1077.85 c #Conflicts: 406000 | #Constraints: 24851
1073.92/1077.85 c #Conflicts: 407000 | #Constraints: 25851
1073.92/1077.85 c INPROCESSING
1073.92/1077.85 c GARBAGE COLLECT
1073.92/1077.85 c #Conflicts: 408000 | #Constraints: 14237
1073.92/1077.85 c #Conflicts: 409000 | #Constraints: 15237
1073.92/1077.85 c #Conflicts: 410000 | #Constraints: 16237
1073.92/1077.85 c #Conflicts: 411000 | #Constraints: 17237
1073.92/1077.85 c #Conflicts: 412000 | #Constraints: 18237
1073.92/1077.85 c #Conflicts: 413000 | #Constraints: 19237
1073.92/1077.85 c #Conflicts: 414000 | #Constraints: 20237
1073.92/1077.85 c #Conflicts: 415000 | #Constraints: 21237
1073.92/1077.85 c #Conflicts: 416000 | #Constraints: 22237
1073.92/1077.85 c #Conflicts: 417000 | #Constraints: 23237
1073.92/1077.85 c #Conflicts: 418000 | #Constraints: 24237
1073.92/1077.85 c #Conflicts: 419000 | #Constraints: 25237
1073.92/1077.85 c #Conflicts: 420000 | #Constraints: 26237
1073.92/1077.85 c INPROCESSING
1073.92/1077.85 c GARBAGE COLLECT
1073.92/1077.85 c #Conflicts: 421000 | #Constraints: 14453
1073.92/1077.85 c #Conflicts: 422000 | #Constraints: 15453
1073.92/1077.85 c #Conflicts: 423000 | #Constraints: 16453
1073.92/1077.85 c #Conflicts: 424000 | #Constraints: 17453
1073.92/1077.85 c #Conflicts: 425000 | #Constraints: 18453
1073.92/1077.85 c #Conflicts: 426000 | #Constraints: 19453
1073.92/1077.85 c #Conflicts: 427000 | #Constraints: 20453
1073.92/1077.85 c #Conflicts: 428000 | #Constraints: 21453
1073.92/1077.85 c #Conflicts: 429000 | #Constraints: 22453
1073.92/1077.85 c #Conflicts: 430000 | #Constraints: 23453
1073.92/1077.85 c #Conflicts: 431000 | #Constraints: 24453
1073.92/1077.85 c #Conflicts: 432000 | #Constraints: 25453
1073.92/1077.85 c #Conflicts: 433000 | #Constraints: 26453
1073.92/1077.85 c INPROCESSING
1073.92/1077.85 c GARBAGE COLLECT
1073.92/1077.85 c #Conflicts: 434000 | #Constraints: 14461
1073.92/1077.85 c #Conflicts: 435000 | #Constraints: 15461
1073.92/1077.85 c #Conflicts: 436000 | #Constraints: 16461
1073.92/1077.85 c #Conflicts: 437000 | #Constraints: 17461
1718.41/1724.77 c #Conflicts: 438000 | #Constraints: 18461
1718.41/1724.77 c #Conflicts: 439000 | #Constraints: 19461
1718.41/1724.77 c #Conflicts: 440000 | #Constraints: 20461
1718.41/1724.77 c #Conflicts: 441000 | #Constraints: 21461
1718.41/1724.77 c #Conflicts: 442000 | #Constraints: 22461
1718.41/1724.77 c #Conflicts: 443000 | #Constraints: 23461
1718.41/1724.77 c #Conflicts: 444000 | #Constraints: 24461
1718.41/1724.77 c #Conflicts: 445000 | #Constraints: 25461
1718.41/1724.77 c #Conflicts: 446000 | #Constraints: 26461
1718.41/1724.77 c INPROCESSING
1718.41/1724.77 c GARBAGE COLLECT
1718.41/1724.77 c #Conflicts: 447000 | #Constraints: 14320
1718.41/1724.77 c #Conflicts: 448000 | #Constraints: 15320
1718.41/1724.77 c #Conflicts: 449000 | #Constraints: 16320
1718.41/1724.77 c #Conflicts: 450000 | #Constraints: 17320
1718.41/1724.77 c #Conflicts: 451000 | #Constraints: 18320
1718.41/1724.77 c #Conflicts: 452000 | #Constraints: 19320
1718.41/1724.77 c #Conflicts: 453000 | #Constraints: 20320
1718.41/1724.77 c #Conflicts: 454000 | #Constraints: 21320
1718.41/1724.77 c #Conflicts: 455000 | #Constraints: 22320
1718.41/1724.77 c #Conflicts: 456000 | #Constraints: 23320
1718.41/1724.77 c #Conflicts: 457000 | #Constraints: 24320
1718.41/1724.77 c #Conflicts: 458000 | #Constraints: 25320
1718.41/1724.77 c #Conflicts: 459000 | #Constraints: 26320
1718.41/1724.77 c #Conflicts: 460000 | #Constraints: 27320
1718.41/1724.77 c INPROCESSING
1718.41/1724.77 c GARBAGE COLLECT
1718.41/1724.77 c #Conflicts: 461000 | #Constraints: 14909
1718.41/1724.77 c #Conflicts: 462000 | #Constraints: 15909
1718.41/1724.77 c #Conflicts: 463000 | #Constraints: 16909
1718.41/1724.77 c #Conflicts: 464000 | #Constraints: 17909
1718.41/1724.77 c #Conflicts: 465000 | #Constraints: 18909
1718.41/1724.77 c #Conflicts: 466000 | #Constraints: 19909
1718.41/1724.77 c #Conflicts: 467000 | #Constraints: 20909
1718.41/1724.77 c #Conflicts: 468000 | #Constraints: 21909
1718.41/1724.77 c #Conflicts: 469000 | #Constraints: 22909
1718.41/1724.77 c #Conflicts: 470000 | #Constraints: 23909
1718.41/1724.77 c #Conflicts: 471000 | #Constraints: 24909
1718.41/1724.77 c #Conflicts: 472000 | #Constraints: 25909
1718.41/1724.77 c #Conflicts: 473000 | #Constraints: 26909
1718.41/1724.77 c #Conflicts: 474000 | #Constraints: 27909
1718.41/1724.77 c INPROCESSING
1718.41/1724.77 c GARBAGE COLLECT
1718.41/1724.77 c #Conflicts: 475000 | #Constraints: 15307
1718.41/1724.77 c #Conflicts: 476000 | #Constraints: 16307
1718.41/1724.77 c #Conflicts: 477000 | #Constraints: 17307
1718.41/1724.77 c #Conflicts: 478000 | #Constraints: 18307
1718.41/1724.77 c #Conflicts: 479000 | #Constraints: 19307
1718.41/1724.77 c #Conflicts: 480000 | #Constraints: 20307
1718.41/1724.77 c #Conflicts: 481000 | #Constraints: 21307
1718.41/1724.77 c #Conflicts: 482000 | #Constraints: 22307
1718.41/1724.77 c #Conflicts: 483000 | #Constraints: 23307
1718.41/1724.77 c #Conflicts: 484000 | #Constraints: 24307
1718.41/1724.77 c #Conflicts: 485000 | #Constraints: 25307
1718.41/1724.77 c #Conflicts: 486000 | #Constraints: 26307
1718.41/1724.77 c #Conflicts: 487000 | #Constraints: 27307
1718.41/1724.77 c #Conflicts: 488000 | #Constraints: 28307
1718.41/1724.77 c INPROCESSING
1718.41/1724.77 c GARBAGE COLLECT
1718.41/1724.77 c #Conflicts: 489000 | #Constraints: 15541
1718.41/1724.77 c #Conflicts: 490000 | #Constraints: 16541
1718.41/1724.77 c #Conflicts: 491000 | #Constraints: 17541
1718.41/1724.77 c #Conflicts: 492000 | #Constraints: 18541
1718.41/1724.77 c #Conflicts: 493000 | #Constraints: 19541
1718.41/1724.77 c #Conflicts: 494000 | #Constraints: 20541
1718.41/1724.77 c #Conflicts: 495000 | #Constraints: 21541
1718.41/1724.77 c #Conflicts: 496000 | #Constraints: 22541
1718.41/1724.77 c #Conflicts: 497000 | #Constraints: 23541
1718.41/1724.77 c #Conflicts: 498000 | #Constraints: 24541
1718.41/1724.77 c #Conflicts: 499000 | #Constraints: 25541
1718.41/1724.77 c #Conflicts: 500000 | #Constraints: 26541
1718.41/1724.77 c #Conflicts: 501000 | #Constraints: 27541
1718.41/1724.77 c #Conflicts: 502000 | #Constraints: 28541
1718.41/1724.77 c INPROCESSING
1718.41/1724.77 c GARBAGE COLLECT
1718.41/1724.77 c #Conflicts: 503000 | #Constraints: 15573
1718.41/1724.77 c #Conflicts: 504000 | #Constraints: 16573
1718.41/1724.77 c #Conflicts: 505000 | #Constraints: 17573
1718.41/1724.77 c #Conflicts: 506000 | #Constraints: 18573
1718.41/1724.77 c #Conflicts: 507000 | #Constraints: 19573
1718.41/1724.77 c #Conflicts: 508000 | #Constraints: 20573
1718.41/1724.77 c #Conflicts: 509000 | #Constraints: 21573
1718.41/1724.77 c #Conflicts: 510000 | #Constraints: 22573
1718.41/1724.77 c #Conflicts: 511000 | #Constraints: 23573
1718.41/1724.77 c #Conflicts: 512000 | #Constraints: 24573
1718.41/1724.77 c #Conflicts: 513000 | #Constraints: 25573
1847.86/1854.66 c #Conflicts: 514000 | #Constraints: 26573
1847.86/1854.66 c #Conflicts: 515000 | #Constraints: 27573
1847.86/1854.66 c #Conflicts: 516000 | #Constraints: 28573
1847.86/1854.66 c INPROCESSING
1847.86/1854.66 c GARBAGE COLLECT
1847.86/1854.66 c #Conflicts: 517000 | #Constraints: 15299
1847.86/1854.66 c #Conflicts: 518000 | #Constraints: 16299
1847.86/1854.66 c #Conflicts: 519000 | #Constraints: 17299
1847.86/1854.66 c #Conflicts: 520000 | #Constraints: 18299
1847.86/1854.66 c #Conflicts: 521000 | #Constraints: 19299
1847.86/1854.66 c #Conflicts: 522000 | #Constraints: 20299
1847.86/1854.66 c #Conflicts: 523000 | #Constraints: 21299
1847.86/1854.66 c #Conflicts: 524000 | #Constraints: 22299
1847.86/1854.66 c #Conflicts: 525000 | #Constraints: 23299
1847.86/1854.66 c #Conflicts: 526000 | #Constraints: 24299
1847.86/1854.66 c #Conflicts: 527000 | #Constraints: 25299
1847.86/1854.66 c #Conflicts: 528000 | #Constraints: 26299
1847.86/1854.66 c #Conflicts: 529000 | #Constraints: 27299
1847.86/1854.66 c #Conflicts: 530000 | #Constraints: 28299
1847.86/1854.66 c #Conflicts: 531000 | #Constraints: 29299
1847.86/1854.66 c INPROCESSING
1847.86/1854.66 c GARBAGE COLLECT
1847.86/1854.66 c #Conflicts: 532000 | #Constraints: 15878
1847.86/1854.66 c #Conflicts: 533000 | #Constraints: 16878
1847.86/1854.66 c #Conflicts: 534000 | #Constraints: 17878
1847.86/1854.66 c #Conflicts: 535000 | #Constraints: 18878
1847.86/1854.66 c #Conflicts: 536000 | #Constraints: 19878
1847.86/1854.66 c #Conflicts: 537000 | #Constraints: 20878
1847.86/1854.66 c #Conflicts: 538000 | #Constraints: 21878
1847.86/1854.66 c #Conflicts: 539000 | #Constraints: 22878
1847.86/1854.66 c #Conflicts: 540000 | #Constraints: 23878
1847.86/1854.66 c #Conflicts: 541000 | #Constraints: 24878
1847.86/1854.66 c #Conflicts: 542000 | #Constraints: 25878
1847.86/1854.66 c #Conflicts: 543000 | #Constraints: 26878
1847.86/1854.66 c #Conflicts: 544000 | #Constraints: 27878
1847.86/1854.66 c #Conflicts: 545000 | #Constraints: 28878
1847.86/1854.66 c #Conflicts: 546000 | #Constraints: 29878
1847.86/1854.66 c INPROCESSING
1847.86/1854.66 c GARBAGE COLLECT
1847.86/1854.66 c #Conflicts: 547000 | #Constraints: 16250
1847.86/1854.66 c #Conflicts: 548000 | #Constraints: 17250
1847.86/1854.66 c #Conflicts: 549000 | #Constraints: 18250
1847.86/1854.66 c #Conflicts: 550000 | #Constraints: 19250
1847.86/1854.66 c #Conflicts: 551000 | #Constraints: 20250
1847.86/1854.66 c #Conflicts: 552000 | #Constraints: 21250
1847.86/1854.66 c #Conflicts: 553000 | #Constraints: 22250
1847.86/1854.66 c #Conflicts: 554000 | #Constraints: 23250
1847.86/1854.66 c #Conflicts: 555000 | #Constraints: 24250
1847.86/1854.66 c #Conflicts: 556000 | #Constraints: 25250
1847.86/1854.66 c #Conflicts: 557000 | #Constraints: 26250
1847.86/1854.66 c #Conflicts: 558000 | #Constraints: 27250
1847.86/1854.66 c #Conflicts: 559000 | #Constraints: 28250
1847.86/1854.66 c #Conflicts: 560000 | #Constraints: 29250
1847.86/1854.66 c #Conflicts: 561000 | #Constraints: 30250
1847.86/1854.66 c INPROCESSING
1847.86/1854.66 c GARBAGE COLLECT
1847.86/1854.66 c #Conflicts: 562000 | #Constraints: 16451
1847.86/1854.66 c #Conflicts: 563000 | #Constraints: 17451
1847.86/1854.66 c #Conflicts: 564000 | #Constraints: 18451
1847.86/1854.66 c #Conflicts: 565000 | #Constraints: 19451
1847.86/1854.66 c #Conflicts: 566000 | #Constraints: 20451
1847.86/1854.66 c #Conflicts: 567000 | #Constraints: 21451
1847.86/1854.66 c #Conflicts: 568000 | #Constraints: 22451
1847.86/1854.66 c #Conflicts: 569000 | #Constraints: 23451
1847.86/1854.66 c #Conflicts: 570000 | #Constraints: 24451
1847.86/1854.66 c #Conflicts: 571000 | #Constraints: 25451
1847.86/1854.66 c #Conflicts: 572000 | #Constraints: 26451
1847.86/1854.66 c #Conflicts: 573000 | #Constraints: 27451
1847.86/1854.66 c #Conflicts: 574000 | #Constraints: 28451
1847.86/1854.66 c #Conflicts: 575000 | #Constraints: 29451
1847.86/1854.66 c #Conflicts: 576000 | #Constraints: 30451
1847.86/1854.66 c INPROCESSING
1847.86/1854.66 c GARBAGE COLLECT
1847.86/1854.66 c #Conflicts: 577000 | #Constraints: 16447
1847.86/1854.66 c #Conflicts: 578000 | #Constraints: 17447
1847.86/1854.66 c #Conflicts: 579000 | #Constraints: 18447
1847.86/1854.66 c #Conflicts: 580000 | #Constraints: 19447
1847.86/1854.66 c #Conflicts: 581000 | #Constraints: 20447
1847.86/1854.66 c #Conflicts: 582000 | #Constraints: 21447
1847.86/1854.66 c #Conflicts: 583000 | #Constraints: 22447
1847.86/1854.66 c #Conflicts: 584000 | #Constraints: 23447
1847.86/1854.66 c #Conflicts: 585000 | #Constraints: 24447
1847.86/1854.66 c #Conflicts: 586000 | #Constraints: 25447
1847.86/1854.66 c #Conflicts: 587000 | #Constraints: 26447
1847.86/1854.66 c #Conflicts: 588000 | #Constraints: 27447
2134.94/2142.70 c #Conflicts: 589000 | #Constraints: 28447
2134.94/2142.70 c #Conflicts: 590000 | #Constraints: 29447
2134.94/2142.70 c #Conflicts: 591000 | #Constraints: 30447
2134.94/2142.70 c INPROCESSING
2134.94/2142.70 c GARBAGE COLLECT
2134.94/2142.70 c #Conflicts: 592000 | #Constraints: 16249
2134.94/2142.70 c #Conflicts: 593000 | #Constraints: 17249
2134.94/2142.70 c #Conflicts: 594000 | #Constraints: 18249
2134.94/2142.70 c #Conflicts: 595000 | #Constraints: 19249
2134.94/2142.70 c #Conflicts: 596000 | #Constraints: 20249
2134.94/2142.70 c #Conflicts: 597000 | #Constraints: 21249
2134.94/2142.70 c #Conflicts: 598000 | #Constraints: 22249
2134.94/2142.70 c #Conflicts: 599000 | #Constraints: 23249
2134.94/2142.70 c #Conflicts: 600000 | #Constraints: 24249
2134.94/2142.70 c #Conflicts: 601000 | #Constraints: 25249
2134.94/2142.70 c #Conflicts: 602000 | #Constraints: 26249
2134.94/2142.70 c #Conflicts: 603000 | #Constraints: 27249
2134.94/2142.70 c #Conflicts: 604000 | #Constraints: 28249
2134.94/2142.70 c #Conflicts: 605000 | #Constraints: 29249
2134.94/2142.70 c #Conflicts: 606000 | #Constraints: 30249
2134.94/2142.70 c #Conflicts: 607000 | #Constraints: 31249
2134.94/2142.70 c INPROCESSING
2134.94/2142.70 c GARBAGE COLLECT
2134.94/2142.70 c #Conflicts: 608000 | #Constraints: 16862
2134.94/2142.70 c #Conflicts: 609000 | #Constraints: 17862
2134.94/2142.70 c #Conflicts: 610000 | #Constraints: 18862
2134.94/2142.70 c #Conflicts: 611000 | #Constraints: 19862
2134.94/2142.70 c #Conflicts: 612000 | #Constraints: 20862
2134.94/2142.70 c #Conflicts: 613000 | #Constraints: 21862
2134.94/2142.70 c #Conflicts: 614000 | #Constraints: 22862
2134.94/2142.70 c #Conflicts: 615000 | #Constraints: 23862
2134.94/2142.70 c #Conflicts: 616000 | #Constraints: 24862
2134.94/2142.70 c #Conflicts: 617000 | #Constraints: 25862
2134.94/2142.70 c #Conflicts: 618000 | #Constraints: 26862
2134.94/2142.70 c #Conflicts: 619000 | #Constraints: 27862
2134.94/2142.70 c #Conflicts: 620000 | #Constraints: 28862
2134.94/2142.70 c #Conflicts: 621000 | #Constraints: 29862
2134.94/2142.70 c #Conflicts: 622000 | #Constraints: 30862
2134.94/2142.70 c #Conflicts: 623000 | #Constraints: 31862
2134.94/2142.70 c INPROCESSING
2134.94/2142.70 c GARBAGE COLLECT
2134.94/2142.70 c #Conflicts: 624000 | #Constraints: 17250
2134.94/2142.70 c #Conflicts: 625000 | #Constraints: 18250
2134.94/2142.70 c #Conflicts: 626000 | #Constraints: 19250
2134.94/2142.70 c #Conflicts: 627000 | #Constraints: 20250
2134.94/2142.70 c #Conflicts: 628000 | #Constraints: 21250
2134.94/2142.70 c #Conflicts: 629000 | #Constraints: 22250
2134.94/2142.70 c #Conflicts: 630000 | #Constraints: 23250
2134.94/2142.70 c #Conflicts: 631000 | #Constraints: 24250
2134.94/2142.70 c #Conflicts: 632000 | #Constraints: 25250
2134.94/2142.70 c #Conflicts: 633000 | #Constraints: 26250
2134.94/2142.70 c #Conflicts: 634000 | #Constraints: 27250
2134.94/2142.70 c #Conflicts: 635000 | #Constraints: 28250
2134.94/2142.70 c #Conflicts: 636000 | #Constraints: 29250
2134.94/2142.70 c #Conflicts: 637000 | #Constraints: 30250
2134.94/2142.70 c #Conflicts: 638000 | #Constraints: 31250
2134.94/2142.70 c #Conflicts: 639000 | #Constraints: 32250
2134.94/2142.70 c INPROCESSING
2134.94/2142.70 c GARBAGE COLLECT
2134.94/2142.70 c #Conflicts: 640000 | #Constraints: 17447
2134.94/2142.70 c #Conflicts: 641000 | #Constraints: 18447
2134.94/2142.70 c #Conflicts: 642000 | #Constraints: 19447
2134.94/2142.70 c #Conflicts: 643000 | #Constraints: 20447
2134.94/2142.70 c #Conflicts: 644000 | #Constraints: 21447
2134.94/2142.70 c #Conflicts: 645000 | #Constraints: 22447
2134.94/2142.70 c #Conflicts: 646000 | #Constraints: 23447
2134.94/2142.70 c #Conflicts: 647000 | #Constraints: 24447
2134.94/2142.70 c #Conflicts: 648000 | #Constraints: 25447
2134.94/2142.70 c #Conflicts: 649000 | #Constraints: 26447
2134.94/2142.70 c #Conflicts: 650000 | #Constraints: 27447
2134.94/2142.70 c #Conflicts: 651000 | #Constraints: 28447
2134.94/2142.70 c #Conflicts: 652000 | #Constraints: 29447
2134.94/2142.70 c #Conflicts: 653000 | #Constraints: 30447
2134.94/2142.70 c #Conflicts: 654000 | #Constraints: 31447
2134.94/2142.70 c #Conflicts: 655000 | #Constraints: 32447
2134.94/2142.70 c INPROCESSING
2134.94/2142.70 c GARBAGE COLLECT
2134.94/2142.70 c #Conflicts: 656000 | #Constraints: 17455
2134.94/2142.70 c #Conflicts: 657000 | #Constraints: 18455
2134.94/2142.70 c #Conflicts: 658000 | #Constraints: 19455
2134.94/2142.70 c #Conflicts: 659000 | #Constraints: 20455
2134.94/2142.70 c #Conflicts: 660000 | #Constraints: 21455
2134.94/2142.70 c #Conflicts: 661000 | #Constraints: 22455
2134.94/2142.70 c #Conflicts: 662000 | #Constraints: 23455
2134.94/2142.70 c #Conflicts: 663000 | #Constraints: 24455
2134.94/2142.70 c #Conflicts: 664000 | #Constraints: 25455
2421.94/2430.74 c #Conflicts: 665000 | #Constraints: 26455
2421.94/2430.74 c #Conflicts: 666000 | #Constraints: 27455
2421.94/2430.74 c #Conflicts: 667000 | #Constraints: 28455
2421.94/2430.74 c #Conflicts: 668000 | #Constraints: 29455
2421.94/2430.74 c #Conflicts: 669000 | #Constraints: 30455
2421.94/2430.74 c #Conflicts: 670000 | #Constraints: 31455
2421.94/2430.74 c #Conflicts: 671000 | #Constraints: 32455
2421.94/2430.74 c INPROCESSING
2421.94/2430.74 c GARBAGE COLLECT
2421.94/2430.74 c #Conflicts: 672000 | #Constraints: 17247
2421.94/2430.74 c #Conflicts: 673000 | #Constraints: 18247
2421.94/2430.74 c #Conflicts: 674000 | #Constraints: 19247
2421.94/2430.74 c #Conflicts: 675000 | #Constraints: 20247
2421.94/2430.74 c #Conflicts: 676000 | #Constraints: 21247
2421.94/2430.74 c #Conflicts: 677000 | #Constraints: 22247
2421.94/2430.74 c #Conflicts: 678000 | #Constraints: 23247
2421.94/2430.74 c #Conflicts: 679000 | #Constraints: 24247
2421.94/2430.74 c #Conflicts: 680000 | #Constraints: 25247
2421.94/2430.74 c #Conflicts: 681000 | #Constraints: 26247
2421.94/2430.74 c #Conflicts: 682000 | #Constraints: 27247
2421.94/2430.74 c #Conflicts: 683000 | #Constraints: 28247
2421.94/2430.74 c #Conflicts: 684000 | #Constraints: 29247
2421.94/2430.74 c #Conflicts: 685000 | #Constraints: 30247
2421.94/2430.74 c #Conflicts: 686000 | #Constraints: 31247
2421.94/2430.74 c #Conflicts: 687000 | #Constraints: 32247
2421.94/2430.74 c #Conflicts: 688000 | #Constraints: 33247
2421.94/2430.74 c INPROCESSING
2421.94/2430.74 c GARBAGE COLLECT
2421.94/2430.74 c #Conflicts: 689000 | #Constraints: 17837
2421.94/2430.74 c #Conflicts: 690000 | #Constraints: 18837
2421.94/2430.74 c #Conflicts: 691000 | #Constraints: 19837
2421.94/2430.74 c #Conflicts: 692000 | #Constraints: 20837
2421.94/2430.74 c #Conflicts: 693000 | #Constraints: 21837
2421.94/2430.74 c #Conflicts: 694000 | #Constraints: 22837
2421.94/2430.74 c #Conflicts: 695000 | #Constraints: 23837
2421.94/2430.74 c #Conflicts: 696000 | #Constraints: 24837
2421.94/2430.74 c #Conflicts: 697000 | #Constraints: 25837
2421.94/2430.74 c #Conflicts: 698000 | #Constraints: 26837
2421.94/2430.74 c #Conflicts: 699000 | #Constraints: 27837
2421.94/2430.74 c #Conflicts: 700000 | #Constraints: 28837
2421.94/2430.74 c #Conflicts: 701000 | #Constraints: 29837
2421.94/2430.74 c #Conflicts: 702000 | #Constraints: 30837
2421.94/2430.74 c #Conflicts: 703000 | #Constraints: 31837
2421.94/2430.74 c #Conflicts: 704000 | #Constraints: 32837
2421.94/2430.74 c #Conflicts: 705000 | #Constraints: 33837
2421.94/2430.74 c INPROCESSING
2421.94/2430.74 c GARBAGE COLLECT
2421.94/2430.74 c #Conflicts: 706000 | #Constraints: 18255
2421.94/2430.74 c #Conflicts: 707000 | #Constraints: 19255
2421.94/2430.74 c #Conflicts: 708000 | #Constraints: 20255
2421.94/2430.74 c #Conflicts: 709000 | #Constraints: 21255
2421.94/2430.74 c #Conflicts: 710000 | #Constraints: 22255
2421.94/2430.74 c #Conflicts: 711000 | #Constraints: 23255
2421.94/2430.74 c #Conflicts: 712000 | #Constraints: 24255
2421.94/2430.74 c #Conflicts: 713000 | #Constraints: 25255
2421.94/2430.74 c #Conflicts: 714000 | #Constraints: 26255
2421.94/2430.74 c #Conflicts: 715000 | #Constraints: 27255
2421.94/2430.74 c #Conflicts: 716000 | #Constraints: 28255
2421.94/2430.74 c #Conflicts: 717000 | #Constraints: 29255
2421.94/2430.74 c #Conflicts: 718000 | #Constraints: 30255
2421.94/2430.74 c #Conflicts: 719000 | #Constraints: 31255
2421.94/2430.74 c #Conflicts: 720000 | #Constraints: 32255
2421.94/2430.74 c #Conflicts: 721000 | #Constraints: 33255
2421.94/2430.74 c #Conflicts: 722000 | #Constraints: 34255
2421.94/2430.74 c INPROCESSING
2421.94/2430.74 c GARBAGE COLLECT
2421.94/2430.74 c #Conflicts: 723000 | #Constraints: 18460
2421.94/2430.74 c #Conflicts: 724000 | #Constraints: 19460
2421.94/2430.74 c #Conflicts: 725000 | #Constraints: 20460
2421.94/2430.74 c #Conflicts: 726000 | #Constraints: 21460
2421.94/2430.74 c #Conflicts: 727000 | #Constraints: 22460
2421.94/2430.74 c #Conflicts: 728000 | #Constraints: 23460
2421.94/2430.74 c #Conflicts: 729000 | #Constraints: 24460
2421.94/2430.74 c #Conflicts: 730000 | #Constraints: 25460
2421.94/2430.74 c #Conflicts: 731000 | #Constraints: 26460
2421.94/2430.74 c #Conflicts: 732000 | #Constraints: 27460
2421.94/2430.74 c #Conflicts: 733000 | #Constraints: 28460
2421.94/2430.74 c #Conflicts: 734000 | #Constraints: 29460
2421.94/2430.74 c #Conflicts: 735000 | #Constraints: 30460
2421.94/2430.74 c #Conflicts: 736000 | #Constraints: 31460
2421.94/2430.74 c #Conflicts: 737000 | #Constraints: 32460
2421.94/2430.74 c #Conflicts: 738000 | #Constraints: 33460
2421.94/2430.74 c #Conflicts: 739000 | #Constraints: 34460
2421.94/2430.74 c INPROCESSING
2421.94/2430.74 c GARBAGE COLLECT
2554.97/2564.24 c #Conflicts: 740000 | #Constraints: 18451
2554.97/2564.24 c #Conflicts: 741000 | #Constraints: 19451
2554.97/2564.24 c #Conflicts: 742000 | #Constraints: 20451
2554.97/2564.24 c #Conflicts: 743000 | #Constraints: 21451
2554.97/2564.24 c #Conflicts: 744000 | #Constraints: 22451
2554.97/2564.24 c #Conflicts: 745000 | #Constraints: 23451
2554.97/2564.24 c #Conflicts: 746000 | #Constraints: 24451
2554.97/2564.24 c #Conflicts: 747000 | #Constraints: 25451
2554.97/2564.24 c #Conflicts: 748000 | #Constraints: 26451
2554.97/2564.24 c #Conflicts: 749000 | #Constraints: 27451
2554.97/2564.24 c #Conflicts: 750000 | #Constraints: 28451
2554.97/2564.24 c #Conflicts: 751000 | #Constraints: 29451
2554.97/2564.24 c #Conflicts: 752000 | #Constraints: 30451
2554.97/2564.24 c #Conflicts: 753000 | #Constraints: 31451
2554.97/2564.24 c #Conflicts: 754000 | #Constraints: 32451
2554.97/2564.24 c #Conflicts: 755000 | #Constraints: 33451
2554.97/2564.24 c #Conflicts: 756000 | #Constraints: 34451
2554.97/2564.24 c INPROCESSING
2554.97/2564.24 c GARBAGE COLLECT
2554.97/2564.24 c #Conflicts: 757000 | #Constraints: 18244
2554.97/2564.24 c #Conflicts: 758000 | #Constraints: 19244
2554.97/2564.24 c #Conflicts: 759000 | #Constraints: 20244
2554.97/2564.24 c #Conflicts: 760000 | #Constraints: 21244
2554.97/2564.24 c #Conflicts: 761000 | #Constraints: 22244
2554.97/2564.24 c #Conflicts: 762000 | #Constraints: 23244
2554.97/2564.24 c #Conflicts: 763000 | #Constraints: 24244
2554.97/2564.24 c #Conflicts: 764000 | #Constraints: 25244
2554.97/2564.24 c #Conflicts: 765000 | #Constraints: 26244
2554.97/2564.24 c #Conflicts: 766000 | #Constraints: 27244
2554.97/2564.24 c #Conflicts: 767000 | #Constraints: 28244
2554.97/2564.24 c #Conflicts: 768000 | #Constraints: 29244
2554.97/2564.24 c #Conflicts: 769000 | #Constraints: 30244
2554.97/2564.24 c #Conflicts: 770000 | #Constraints: 31244
2554.97/2564.24 c #Conflicts: 771000 | #Constraints: 32244
2554.97/2564.24 c #Conflicts: 772000 | #Constraints: 33244
2554.97/2564.24 c #Conflicts: 773000 | #Constraints: 34244
2554.97/2564.24 c #Conflicts: 774000 | #Constraints: 35244
2554.97/2564.24 c INPROCESSING
2554.97/2564.24 c GARBAGE COLLECT
2554.97/2564.24 c #Conflicts: 775000 | #Constraints: 18836
2554.97/2564.24 c #Conflicts: 776000 | #Constraints: 19836
2554.97/2564.24 c #Conflicts: 777000 | #Constraints: 20836
2554.97/2564.24 c #Conflicts: 778000 | #Constraints: 21836
2554.97/2564.24 c #Conflicts: 779000 | #Constraints: 22836
2554.97/2564.24 c #Conflicts: 780000 | #Constraints: 23836
2554.97/2564.24 c #Conflicts: 781000 | #Constraints: 24836
2554.97/2564.24 c #Conflicts: 782000 | #Constraints: 25836
2554.97/2564.24 c #Conflicts: 783000 | #Constraints: 26836
2554.97/2564.24 c #Conflicts: 784000 | #Constraints: 27836
2554.97/2564.24 c #Conflicts: 785000 | #Constraints: 28836
2554.97/2564.24 c #Conflicts: 786000 | #Constraints: 29836
2554.97/2564.24 c #Conflicts: 787000 | #Constraints: 30836
2554.97/2564.24 c #Conflicts: 788000 | #Constraints: 31836
2554.97/2564.24 c #Conflicts: 789000 | #Constraints: 32836
2554.97/2564.24 c #Conflicts: 790000 | #Constraints: 33836
2554.97/2564.24 c #Conflicts: 791000 | #Constraints: 34836
2554.97/2564.24 c #Conflicts: 792000 | #Constraints: 35836
2554.97/2564.24 c INPROCESSING
2554.97/2564.24 c GARBAGE COLLECT
2554.97/2564.24 c #Conflicts: 793000 | #Constraints: 19224
2554.97/2564.24 c #Conflicts: 794000 | #Constraints: 20224
2554.97/2564.24 c #Conflicts: 795000 | #Constraints: 21224
2554.97/2564.24 c #Conflicts: 796000 | #Constraints: 22224
2554.97/2564.24 c #Conflicts: 797000 | #Constraints: 23224
2554.97/2564.24 c #Conflicts: 798000 | #Constraints: 24224
2554.97/2564.24 c #Conflicts: 799000 | #Constraints: 25224
2554.97/2564.24 c #Conflicts: 800000 | #Constraints: 26224
2554.97/2564.24 c #Conflicts: 801000 | #Constraints: 27224
2554.97/2564.24 c #Conflicts: 802000 | #Constraints: 28224
2554.97/2564.24 c #Conflicts: 803000 | #Constraints: 29224
2554.97/2564.24 c #Conflicts: 804000 | #Constraints: 30224
2554.97/2564.24 c #Conflicts: 805000 | #Constraints: 31224
2554.97/2564.24 c #Conflicts: 806000 | #Constraints: 32224
2554.97/2564.24 c #Conflicts: 807000 | #Constraints: 33224
2554.97/2564.24 c #Conflicts: 808000 | #Constraints: 34224
2554.97/2564.24 c #Conflicts: 809000 | #Constraints: 35224
2554.97/2564.24 c #Conflicts: 810000 | #Constraints: 36224
2554.97/2564.24 c INPROCESSING
2554.97/2564.24 c GARBAGE COLLECT
2554.97/2564.24 c #Conflicts: 811000 | #Constraints: 19436
2554.97/2564.24 c #Conflicts: 812000 | #Constraints: 20436
2554.97/2564.24 c #Conflicts: 813000 | #Constraints: 21436
2554.97/2564.24 c #Conflicts: 814000 | #Constraints: 22436
2554.97/2564.24 c #Conflicts: 815000 | #Constraints: 23436
2554.97/2564.24 c #Conflicts: 816000 | #Constraints: 24436
2707.24/2717.06 c #Conflicts: 817000 | #Constraints: 25436
2707.24/2717.06 c #Conflicts: 818000 | #Constraints: 26436
2707.24/2717.06 c #Conflicts: 819000 | #Constraints: 27436
2707.24/2717.06 c #Conflicts: 820000 | #Constraints: 28436
2707.24/2717.06 c #Conflicts: 821000 | #Constraints: 29436
2707.24/2717.06 c #Conflicts: 822000 | #Constraints: 30436
2707.24/2717.06 c #Conflicts: 823000 | #Constraints: 31436
2707.24/2717.06 c #Conflicts: 824000 | #Constraints: 32436
2707.24/2717.06 c #Conflicts: 825000 | #Constraints: 33436
2707.24/2717.06 c #Conflicts: 826000 | #Constraints: 34436
2707.24/2717.06 c #Conflicts: 827000 | #Constraints: 35436
2707.24/2717.06 c #Conflicts: 828000 | #Constraints: 36436
2707.24/2717.06 c INPROCESSING
2707.24/2717.06 c GARBAGE COLLECT
2707.24/2717.06 c #Conflicts: 829000 | #Constraints: 19445
2707.24/2717.06 c #Conflicts: 830000 | #Constraints: 20445
2707.24/2717.06 c #Conflicts: 831000 | #Constraints: 21445
2707.24/2717.06 c #Conflicts: 832000 | #Constraints: 22445
2707.24/2717.06 c #Conflicts: 833000 | #Constraints: 23445
2707.24/2717.06 c #Conflicts: 834000 | #Constraints: 24445
2707.24/2717.06 c #Conflicts: 835000 | #Constraints: 25445
2707.24/2717.06 c #Conflicts: 836000 | #Constraints: 26445
2707.24/2717.06 c #Conflicts: 837000 | #Constraints: 27445
2707.24/2717.06 c #Conflicts: 838000 | #Constraints: 28445
2707.24/2717.06 c #Conflicts: 839000 | #Constraints: 29445
2707.24/2717.06 c #Conflicts: 840000 | #Constraints: 30445
2707.24/2717.06 c #Conflicts: 841000 | #Constraints: 31445
2707.24/2717.06 c #Conflicts: 842000 | #Constraints: 32445
2707.24/2717.06 c #Conflicts: 843000 | #Constraints: 33445
2707.24/2717.06 c #Conflicts: 844000 | #Constraints: 34445
2707.24/2717.06 c #Conflicts: 845000 | #Constraints: 35445
2707.24/2717.06 c #Conflicts: 846000 | #Constraints: 36445
2707.24/2717.06 c INPROCESSING
2707.24/2717.06 c GARBAGE COLLECT
2707.24/2717.06 c #Conflicts: 847000 | #Constraints: 19245
2707.24/2717.06 c #Conflicts: 848000 | #Constraints: 20245
2707.24/2717.06 c #Conflicts: 849000 | #Constraints: 21245
2707.24/2717.06 c #Conflicts: 850000 | #Constraints: 22245
2707.24/2717.06 c #Conflicts: 851000 | #Constraints: 23245
2707.24/2717.06 c #Conflicts: 852000 | #Constraints: 24245
2707.24/2717.06 c #Conflicts: 853000 | #Constraints: 25245
2707.24/2717.06 c #Conflicts: 854000 | #Constraints: 26245
2707.24/2717.06 c #Conflicts: 855000 | #Constraints: 27245
2707.24/2717.06 c #Conflicts: 856000 | #Constraints: 28245
2707.24/2717.06 c #Conflicts: 857000 | #Constraints: 29245
2707.24/2717.06 c #Conflicts: 858000 | #Constraints: 30245
2707.24/2717.06 c #Conflicts: 859000 | #Constraints: 31245
2707.24/2717.06 c #Conflicts: 860000 | #Constraints: 32245
2707.24/2717.06 c #Conflicts: 861000 | #Constraints: 33245
2707.24/2717.06 c #Conflicts: 862000 | #Constraints: 34245
2707.24/2717.06 c #Conflicts: 863000 | #Constraints: 35245
2707.24/2717.06 c #Conflicts: 864000 | #Constraints: 36245
2707.24/2717.06 c #Conflicts: 865000 | #Constraints: 37245
2707.24/2717.06 c INPROCESSING
2707.24/2717.06 c GARBAGE COLLECT
2707.24/2717.06 c #Conflicts: 866000 | #Constraints: 19839
2707.24/2717.06 c #Conflicts: 867000 | #Constraints: 20839
2707.24/2717.06 c #Conflicts: 868000 | #Constraints: 21839
2707.24/2717.06 c #Conflicts: 869000 | #Constraints: 22839
2707.24/2717.06 c #Conflicts: 870000 | #Constraints: 23839
2707.24/2717.06 c #Conflicts: 871000 | #Constraints: 24839
2707.24/2717.06 c #Conflicts: 872000 | #Constraints: 25839
2707.24/2717.06 c #Conflicts: 873000 | #Constraints: 26839
2707.24/2717.06 c #Conflicts: 874000 | #Constraints: 27839
2707.24/2717.06 c #Conflicts: 875000 | #Constraints: 28839
2707.24/2717.06 c #Conflicts: 876000 | #Constraints: 29839
2707.24/2717.06 c #Conflicts: 877000 | #Constraints: 30839
2707.24/2717.06 c #Conflicts: 878000 | #Constraints: 31839
2707.24/2717.06 c #Conflicts: 879000 | #Constraints: 32839
2707.24/2717.06 c #Conflicts: 880000 | #Constraints: 33839
2707.24/2717.06 c #Conflicts: 881000 | #Constraints: 34839
2707.24/2717.06 c #Conflicts: 882000 | #Constraints: 35839
2707.24/2717.06 c #Conflicts: 883000 | #Constraints: 36839
2707.24/2717.06 c #Conflicts: 884000 | #Constraints: 37839
2707.24/2717.06 c INPROCESSING
2707.24/2717.06 c GARBAGE COLLECT
2707.24/2717.06 c #Conflicts: 885000 | #Constraints: 20238
2707.24/2717.06 c #Conflicts: 886000 | #Constraints: 21238
2707.24/2717.06 c #Conflicts: 887000 | #Constraints: 22238
2707.24/2717.06 c #Conflicts: 888000 | #Constraints: 23238
2707.24/2717.06 c #Conflicts: 889000 | #Constraints: 24238
2707.24/2717.06 c #Conflicts: 890000 | #Constraints: 25238
2707.24/2717.06 c #Conflicts: 891000 | #Constraints: 26238
2707.24/2717.06 c #Conflicts: 892000 | #Constraints: 27238
2947.50/2958.11 c #Conflicts: 893000 | #Constraints: 28238
2947.50/2958.11 c #Conflicts: 894000 | #Constraints: 29238
2947.50/2958.11 c #Conflicts: 895000 | #Constraints: 30238
2947.50/2958.11 c #Conflicts: 896000 | #Constraints: 31238
2947.50/2958.11 c #Conflicts: 897000 | #Constraints: 32238
2947.50/2958.11 c #Conflicts: 898000 | #Constraints: 33238
2947.50/2958.11 c #Conflicts: 899000 | #Constraints: 34238
2947.50/2958.11 c #Conflicts: 900000 | #Constraints: 35238
2947.50/2958.11 c #Conflicts: 901000 | #Constraints: 36238
2947.50/2958.11 c #Conflicts: 902000 | #Constraints: 37238
2947.50/2958.11 c #Conflicts: 903000 | #Constraints: 38238
2947.50/2958.11 c INPROCESSING
2947.50/2958.11 c GARBAGE COLLECT
2947.50/2958.11 c #Conflicts: 904000 | #Constraints: 20434
2947.50/2958.11 c #Conflicts: 905000 | #Constraints: 21434
2947.50/2958.11 c #Conflicts: 906000 | #Constraints: 22434
2947.50/2958.11 c #Conflicts: 907000 | #Constraints: 23434
2947.50/2958.11 c #Conflicts: 908000 | #Constraints: 24434
2947.50/2958.11 c #Conflicts: 909000 | #Constraints: 25434
2947.50/2958.11 c #Conflicts: 910000 | #Constraints: 26434
2947.50/2958.11 c #Conflicts: 911000 | #Constraints: 27434
2947.50/2958.11 c #Conflicts: 912000 | #Constraints: 28434
2947.50/2958.11 c #Conflicts: 913000 | #Constraints: 29434
2947.50/2958.11 c #Conflicts: 914000 | #Constraints: 30434
2947.50/2958.11 c #Conflicts: 915000 | #Constraints: 31434
2947.50/2958.11 c #Conflicts: 916000 | #Constraints: 32434
2947.50/2958.11 c #Conflicts: 917000 | #Constraints: 33434
2947.50/2958.11 c #Conflicts: 918000 | #Constraints: 34434
2947.50/2958.11 c #Conflicts: 919000 | #Constraints: 35434
2947.50/2958.11 c #Conflicts: 920000 | #Constraints: 36434
2947.50/2958.11 c #Conflicts: 921000 | #Constraints: 37434
2947.50/2958.11 c #Conflicts: 922000 | #Constraints: 38434
2947.50/2958.11 c INPROCESSING
2947.50/2958.11 c GARBAGE COLLECT
2947.50/2958.11 c #Conflicts: 923000 | #Constraints: 20432
2947.50/2958.11 c #Conflicts: 924000 | #Constraints: 21432
2947.50/2958.11 c #Conflicts: 925000 | #Constraints: 22432
2947.50/2958.11 c #Conflicts: 926000 | #Constraints: 23432
2947.50/2958.11 c #Conflicts: 927000 | #Constraints: 24432
2947.50/2958.11 c #Conflicts: 928000 | #Constraints: 25432
2947.50/2958.11 c #Conflicts: 929000 | #Constraints: 26432
2947.50/2958.11 c #Conflicts: 930000 | #Constraints: 27432
2947.50/2958.11 c #Conflicts: 931000 | #Constraints: 28432
2947.50/2958.11 c #Conflicts: 932000 | #Constraints: 29432
2947.50/2958.11 c #Conflicts: 933000 | #Constraints: 30432
2947.50/2958.11 c #Conflicts: 934000 | #Constraints: 31432
2947.50/2958.11 c #Conflicts: 935000 | #Constraints: 32432
2947.50/2958.11 c #Conflicts: 936000 | #Constraints: 33432
2947.50/2958.11 c #Conflicts: 937000 | #Constraints: 34432
2947.50/2958.11 c #Conflicts: 938000 | #Constraints: 35432
2947.50/2958.11 c #Conflicts: 939000 | #Constraints: 36432
2947.50/2958.11 c #Conflicts: 940000 | #Constraints: 37432
2947.50/2958.11 c #Conflicts: 941000 | #Constraints: 38432
2947.50/2958.11 c INPROCESSING
2947.50/2958.11 c GARBAGE COLLECT
2947.50/2958.11 c #Conflicts: 942000 | #Constraints: 20272
2947.50/2958.11 c #Conflicts: 943000 | #Constraints: 21272
2947.50/2958.11 c #Conflicts: 944000 | #Constraints: 22272
2947.50/2958.11 c #Conflicts: 945000 | #Constraints: 23272
2947.50/2958.11 c #Conflicts: 946000 | #Constraints: 24272
2947.50/2958.11 c #Conflicts: 947000 | #Constraints: 25272
2947.50/2958.11 c #Conflicts: 948000 | #Constraints: 26272
2947.50/2958.11 c #Conflicts: 949000 | #Constraints: 27272
2947.50/2958.11 c #Conflicts: 950000 | #Constraints: 28272
2947.50/2958.11 c #Conflicts: 951000 | #Constraints: 29272
2947.50/2958.11 c #Conflicts: 952000 | #Constraints: 30272
2947.50/2958.11 c #Conflicts: 953000 | #Constraints: 31272
2947.50/2958.11 c #Conflicts: 954000 | #Constraints: 32272
2947.50/2958.11 c #Conflicts: 955000 | #Constraints: 33272
2947.50/2958.11 c #Conflicts: 956000 | #Constraints: 34272
2947.50/2958.11 c #Conflicts: 957000 | #Constraints: 35272
2947.50/2958.11 c #Conflicts: 958000 | #Constraints: 36272
2947.50/2958.11 c #Conflicts: 959000 | #Constraints: 37272
2947.50/2958.11 c #Conflicts: 960000 | #Constraints: 38272
2947.50/2958.11 c #Conflicts: 961000 | #Constraints: 39272
2947.50/2958.11 c INPROCESSING
2947.50/2958.11 c GARBAGE COLLECT
2947.50/2958.11 c #Conflicts: 962000 | #Constraints: 20917
2947.50/2958.11 c #Conflicts: 963000 | #Constraints: 21917
2947.50/2958.11 c #Conflicts: 964000 | #Constraints: 22917
2947.50/2958.11 c #Conflicts: 965000 | #Constraints: 23917
2947.50/2958.11 c #Conflicts: 966000 | #Constraints: 24917
2947.50/2958.11 c #Conflicts: 967000 | #Constraints: 25917
2947.50/2958.11 c #Conflicts: 968000 | #Constraints: 26917
3451.03/3463.47 c #Conflicts: 969000 | #Constraints: 27917
3451.03/3463.47 c #Conflicts: 970000 | #Constraints: 28917
3451.03/3463.47 c #Conflicts: 971000 | #Constraints: 29917
3451.03/3463.47 c #Conflicts: 972000 | #Constraints: 30917
3451.03/3463.47 c #Conflicts: 973000 | #Constraints: 31917
3451.03/3463.47 c #Conflicts: 974000 | #Constraints: 32917
3451.03/3463.47 c #Conflicts: 975000 | #Constraints: 33917
3451.03/3463.47 c #Conflicts: 976000 | #Constraints: 34917
3451.03/3463.47 c #Conflicts: 977000 | #Constraints: 35917
3451.03/3463.47 c #Conflicts: 978000 | #Constraints: 36917
3451.03/3463.47 c #Conflicts: 979000 | #Constraints: 37917
3451.03/3463.47 c #Conflicts: 980000 | #Constraints: 38917
3451.03/3463.47 c #Conflicts: 981000 | #Constraints: 39917
3451.03/3463.47 c INPROCESSING
3451.03/3463.47 c GARBAGE COLLECT
3451.03/3463.47 c #Conflicts: 982000 | #Constraints: 21300
3451.03/3463.47 c #Conflicts: 983000 | #Constraints: 22300
3451.03/3463.47 c #Conflicts: 984000 | #Constraints: 23300
3451.03/3463.47 c #Conflicts: 985000 | #Constraints: 24300
3451.03/3463.47 c #Conflicts: 986000 | #Constraints: 25300
3451.03/3463.47 c #Conflicts: 987000 | #Constraints: 26300
3451.03/3463.47 c #Conflicts: 988000 | #Constraints: 27300
3451.03/3463.47 c #Conflicts: 989000 | #Constraints: 28300
3451.03/3463.47 c #Conflicts: 990000 | #Constraints: 29300
3451.03/3463.47 c #Conflicts: 991000 | #Constraints: 30300
3451.03/3463.47 c #Conflicts: 992000 | #Constraints: 31300
3451.03/3463.47 c #Conflicts: 993000 | #Constraints: 32300
3451.03/3463.47 c #Conflicts: 994000 | #Constraints: 33300
3451.03/3463.47 c #Conflicts: 995000 | #Constraints: 34300
3451.03/3463.47 c #Conflicts: 996000 | #Constraints: 35300
3451.03/3463.47 c #Conflicts: 997000 | #Constraints: 36300
3451.03/3463.47 c #Conflicts: 998000 | #Constraints: 37300
3451.03/3463.47 c #Conflicts: 999000 | #Constraints: 38300
3451.03/3463.47 c #Conflicts: 1000000 | #Constraints: 39300
3451.03/3463.47 c #Conflicts: 1001000 | #Constraints: 40300
3451.03/3463.47 c INPROCESSING
3451.03/3463.47 c GARBAGE COLLECT
3451.03/3463.47 c #Conflicts: 1002000 | #Constraints: 21509
3451.03/3463.47 c #Conflicts: 1003000 | #Constraints: 22509
3451.03/3463.47 c #Conflicts: 1004000 | #Constraints: 23509
3451.03/3463.47 c #Conflicts: 1005000 | #Constraints: 24509
3451.03/3463.47 c #Conflicts: 1006000 | #Constraints: 25509
3451.03/3463.47 c #Conflicts: 1007000 | #Constraints: 26509
3451.03/3463.47 c #Conflicts: 1008000 | #Constraints: 27509
3451.03/3463.47 c #Conflicts: 1009000 | #Constraints: 28509
3451.03/3463.47 c #Conflicts: 1010000 | #Constraints: 29509
3451.03/3463.47 c #Conflicts: 1011000 | #Constraints: 30509
3451.03/3463.47 c #Conflicts: 1012000 | #Constraints: 31509
3451.03/3463.47 c #Conflicts: 1013000 | #Constraints: 32509
3451.03/3463.47 c #Conflicts: 1014000 | #Constraints: 33509
3451.03/3463.47 c #Conflicts: 1015000 | #Constraints: 34509
3451.03/3463.47 c #Conflicts: 1016000 | #Constraints: 35509
3451.03/3463.47 c #Conflicts: 1017000 | #Constraints: 36509
3451.03/3463.47 c #Conflicts: 1018000 | #Constraints: 37509
3451.03/3463.47 c #Conflicts: 1019000 | #Constraints: 38509
3451.03/3463.47 c #Conflicts: 1020000 | #Constraints: 39509
3451.03/3463.47 c #Conflicts: 1021000 | #Constraints: 40509
3451.03/3463.47 c INPROCESSING
3451.03/3463.47 c GARBAGE COLLECT
3451.03/3463.47 c #Conflicts: 1022000 | #Constraints: 21504
3451.03/3463.47 c #Conflicts: 1023000 | #Constraints: 22504
3451.03/3463.47 c #Conflicts: 1024000 | #Constraints: 23504
3451.03/3463.47 c #Conflicts: 1025000 | #Constraints: 24504
3451.03/3463.47 c #Conflicts: 1026000 | #Constraints: 25504
3451.03/3463.47 c #Conflicts: 1027000 | #Constraints: 26504
3451.03/3463.47 c #Conflicts: 1028000 | #Constraints: 27504
3451.03/3463.47 c #Conflicts: 1029000 | #Constraints: 28504
3451.03/3463.47 c #Conflicts: 1030000 | #Constraints: 29504
3451.03/3463.47 c #Conflicts: 1031000 | #Constraints: 30504
3451.03/3463.47 c #Conflicts: 1032000 | #Constraints: 31504
3451.03/3463.47 c #Conflicts: 1033000 | #Constraints: 32504
3451.03/3463.47 c #Conflicts: 1034000 | #Constraints: 33504
3451.03/3463.47 c #Conflicts: 1035000 | #Constraints: 34504
3451.03/3463.47 c #Conflicts: 1036000 | #Constraints: 35504
3451.03/3463.47 c #Conflicts: 1037000 | #Constraints: 36504
3451.03/3463.47 c #Conflicts: 1038000 | #Constraints: 37504
3451.03/3463.47 c #Conflicts: 1039000 | #Constraints: 38504
3451.03/3463.47 c #Conflicts: 1040000 | #Constraints: 39504
3451.03/3463.47 c #Conflicts: 1041000 | #Constraints: 40504
3451.03/3463.47 c INPROCESSING
3451.03/3463.47 c GARBAGE COLLECT
3451.03/3463.47 c #Conflicts: 1042000 | #Constraints: 21290
3451.03/3463.47 c #Conflicts: 1043000 | #Constraints: 22290
3451.03/3463.47 c #Conflicts: 1044000 | #Constraints: 23290
3600.00/3612.90 c #Conflicts: 1045000 | #Constraints: 24290
3600.00/3612.90 c #Conflicts: 1046000 | #Constraints: 25290
3600.00/3612.90 c #Conflicts: 1047000 | #Constraints: 26290
3600.00/3612.90 c #Conflicts: 1048000 | #Constraints: 27290
3600.00/3612.90 c #Conflicts: 1049000 | #Constraints: 28290
3600.00/3612.90 c #Conflicts: 1050000 | #Constraints: 29290
3600.00/3612.90 c #Conflicts: 1051000 | #Constraints: 30290
3600.00/3612.90 c #Conflicts: 1052000 | #Constraints: 31290
3600.00/3612.90 c #Conflicts: 1053000 | #Constraints: 32290
3600.00/3612.90 c #Conflicts: 1054000 | #Constraints: 33290
3600.00/3612.90 c #Conflicts: 1055000 | #Constraints: 34290
3600.00/3612.90 c #Conflicts: 1056000 | #Constraints: 35290
3600.00/3612.90 c #Conflicts: 1057000 | #Constraints: 36290
3600.00/3612.90 c #Conflicts: 1058000 | #Constraints: 37290
3600.00/3612.90 c #Conflicts: 1059000 | #Constraints: 38290
3600.00/3612.90 c #Conflicts: 1060000 | #Constraints: 39290
3600.00/3612.90 c #Conflicts: 1061000 | #Constraints: 40290
3600.00/3612.90 c #Conflicts: 1062000 | #Constraints: 41290
3600.00/3612.90 c INPROCESSING
3600.00/3612.90 c GARBAGE COLLECT
3600.00/3612.90 c #Conflicts: 1063000 | #Constraints: 21883
3600.00/3612.90 c #Conflicts: 1064000 | #Constraints: 22883
3600.00/3612.90 c #Conflicts: 1065000 | #Constraints: 23883
3600.00/3612.90 c #Conflicts: 1066000 | #Constraints: 24883
3600.00/3612.90 c #Conflicts: 1067000 | #Constraints: 25883
3600.00/3612.90 c #Conflicts: 1068000 | #Constraints: 26883
3600.00/3612.90 c #Conflicts: 1069000 | #Constraints: 27883
3600.00/3612.90 c #Conflicts: 1070000 | #Constraints: 28883
3600.00/3612.90 c #Conflicts: 1071000 | #Constraints: 29883
3600.00/3612.90 c #Conflicts: 1072000 | #Constraints: 30883
3600.00/3612.90 c #Conflicts: 1073000 | #Constraints: 31883
3600.00/3612.90 c #Conflicts: 1074000 | #Constraints: 32883
3600.00/3612.90 c #Conflicts: 1075000 | #Constraints: 33883
3600.00/3612.90 c #Conflicts: 1076000 | #Constraints: 34883
3600.00/3612.90 c #Conflicts: 1077000 | #Constraints: 35883
3600.00/3612.90 c #Conflicts: 1078000 | #Constraints: 36883
3600.00/3612.90 c #Conflicts: 1079000 | #Constraints: 37883
3600.00/3612.90 c #Conflicts: 1080000 | #Constraints: 38883
3600.00/3612.90 c #Conflicts: 1081000 | #Constraints: 39883
3600.00/3612.90 c #Conflicts: 1082000 | #Constraints: 40883
3600.00/3612.90 c #Conflicts: 1083000 | #Constraints: 41883
3600.00/3612.90 c INPROCESSING
3600.00/3612.90 c GARBAGE COLLECT
3600.00/3612.90 c #Conflicts: 1084000 | #Constraints: 22284
3600.00/3612.90 c Program interrupted by user.
3600.00/3612.90 c cpu time 3588.26 s
3600.00/3612.90 c deterministic time 834612433958 8.35e+11
3600.00/3612.90 c optimization time 0.931212 s
3600.00/3612.90 c total solve time 3288.63 s
3600.00/3612.90 c core-guided solve time 0 s
3600.00/3612.90 c propagation time 2732.9 s
3600.00/3612.90 c conflict analysis time 501.063 s
3600.00/3612.90 c propagations 331911076
3600.00/3612.90 c resolve steps 12305895
3600.00/3612.90 c decisions 8304305
3600.00/3612.90 c conflicts 1084325
3600.00/3612.90 c restarts 2046
3600.00/3612.90 c inprocessing phases 95
3600.00/3612.90 c input clauses 75
3600.00/3612.90 c input cardinalities 75
3600.00/3612.90 c input general constraints 448
3600.00/3612.90 c input average constraint length 72.81
3600.00/3612.90 c input average constraint degree 654.84
3600.00/3612.90 c learned clauses 106320
3600.00/3612.90 c learned cardinalities 10674
3600.00/3612.90 c learned general constraints 967330
3600.00/3612.90 c learned average constraint length 828.03
3600.00/3612.90 c learned average constraint degree 92034504.37
3600.00/3612.90 c watched constraints 772576
3600.00/3612.90 c counting constraints 195202
3600.00/3612.90 c gcd simplifications 66329
3600.00/3612.90 c detected cardinalities 354
3600.00/3612.90 c weakened non-implied lits 100536736
3600.00/3612.90 c weakened non-implying lits 147911
3600.00/3612.90 c original variables 4977
3600.00/3612.90 c clausal propagations 1310685
3600.00/3612.90 c cardinality propagations 7341557
3600.00/3612.90 c watched propagations 16971317
3600.00/3612.90 c counting propagations 305009228
3600.00/3612.90 c watch lookups 28758047531
3600.00/3612.90 c watch backjump lookups 25043933799
3600.00/3612.90 c watch checks 707770604123
3600.00/3612.90 c propagation checks 68967516578
3600.00/3612.90 c constraint additions 3390820251
3600.00/3612.90 c trail pops 341296294
3600.00/3612.90 c formula constraints 598
3600.00/3612.90 c learned constraints 1084324
3600.00/3612.90 c bound constraints 0
3600.00/3612.90 c core-guided constraints 0
3600.00/3612.90 c encountered formula constraints 7889124
3600.00/3612.90 c encountered learned constraints 5501096
3600.00/3612.90 c encountered bound constraints 0
3600.00/3612.90 c encountered core-guided constraints 0
3600.00/3612.90 c LP total time 0 s
3600.00/3612.90 c LP solve time 0 s
3600.00/3612.90 c LP constraints added 0
3600.00/3612.90 c LP constraints removed 0
3600.00/3612.90 c LP pivots internal 0
3600.00/3612.90 c LP pivots root 0
3600.00/3612.90 c LP calls 0
3600.00/3612.90 c LP optimalities 0
3600.00/3612.90 c LP no pivot count 0
3600.00/3612.90 c LP infeasibilities 0
3600.00/3612.90 c LP valid Farkas constraints 0
3600.00/3612.90 c LP learned Farkas constraints 0
3600.00/3612.90 c LP basis resets 0
3600.00/3612.90 c LP cycling count 0
3600.00/3612.90 c LP singular count 0
3600.00/3612.90 c LP no primal count 0
3600.00/3612.90 c LP no farkas count 0
3600.00/3612.90 c LP other issue count 0
3600.00/3612.90 c LP Gomory cuts 0
3600.00/3612.90 c LP learned cuts 0
3600.00/3612.90 c LP deleted cuts 0
3600.00/3612.90 c LP encountered Gomory constraints 0
3600.00/3612.90 c LP encountered Farkas constraints 0
3600.00/3612.90 c LP encountered learned Farkas constraints 0
3600.00/3612.90 c CG auxiliary variables introduced 0
3600.00/3612.90 c CG solutions found 0
3600.00/3612.90 c CG cores constructed 0
3600.00/3612.90 c CG core cardinality constraints returned 0
3600.00/3612.90 c CG unit cores 0
3600.00/3612.90 c CG single cores 0
3600.00/3612.90 c CG blocks removed during cardinality reduction 0
3600.00/3612.90 c CG first core best 0
3600.00/3612.90 c CG decision core best 0
3600.00/3612.90 c CG core reduction tie 0
3600.00/3612.90 c CG core degree average 0.00
3600.00/3612.90 c CG core slack average 0.00
3600.00/3612.90 c CG exhausted 0
3600.00/3612.90 c CG exhaust time 0 s
3600.00/3612.90 c CG trimmed 0
3600.00/3612.90 c CG trim time 0 s
3600.00/3612.90 c CG minimized 0
3600.00/3612.90 c CG minimize time 0 s
3600.00/3612.90 c CG am1 prop time 0 s
3600.00/3612.90 c CG # am1s reformulated 0
3600.00/3612.90 c CG lower bound derived from am1s 0
3600.00/3612.90 c CG # clausal cores 0
3600.00/3612.90 c CG # cardinality cores 0
3600.00/3612.90 c CG # pb cores 0
3600.00/3612.90 c CG # pb reforms 0
3600.00/3612.90 c CG # cores discarded because of pb reform 0
3600.00/3612.90 d LOWERBOUND 0
3600.00/3612.90 d NCORES 0
3600.00/3612.90 d NPBCORES 0
3600.00/3612.90 d NPBREFORM 0
3600.00/3612.90 d NTRIMMED 0
3600.00/3612.90 d NEXHAUSTED 0
3600.00/3612.90 d NAM1S 0
3600.00/3612.90 d AM1LB 0
3600.00/3612.90 c [Papilo Statistics]
3600.00/3612.90 c prepro time 0.0168146s
3600.00/3612.90 c # tsx applied 14
3600.00/3612.90 c # tsx conflicts 0
3600.00/3612.90 c # bound changes 7
3600.00/3612.90 c # side changes 0
3600.00/3612.90 c # coef changes 0
3600.00/3612.90 c # rounds 2
3600.00/3612.90 c # deted vars 7
3600.00/3612.90 c # deted constrs 4971
3600.00/3612.90 c # consecutive rounds of only bound changes 0
3600.00/3612.90 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: 63931 MiB (58579 MiB free)
memory of node 1: 64510 MiB (61063 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435602-1721110531/watcher-4435602-1721110531 -o /tmp/evaluation-result-4435602-1721110531/solver-4435602-1721110531 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721104319-834476 --watchdog 3760 mixed-bag HOME/instance-4435602-1721110531.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=839792, runsolver pid=839789
[startup+0.100357 s]*
/proc/loadavg: 4.12 4.10 4.09 5/258 839793
/proc/meminfo: memFree=122481980/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=115152 memory=47132 CPUtime=0.08 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 9186 0 0 0 7 1 0 0 20 0 1 0 163213349 117915648 11783 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 28788 11783 3746 3002 0 12539 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 115152 KiB
Current children cumulated memory: 47132 KiB
[startup+0.205581 s]*
/proc/loadavg: 4.12 4.10 4.09 5/258 839793
/proc/meminfo: memFree=122471172/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=127220 memory=57700 CPUtime=0.2 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 11866 0 0 0 18 2 0 0 20 0 1 0 163213349 130273280 14425 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 31805 14425 3778 3002 0 15556 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 127220 KiB
Current children cumulated memory: 57700 KiB
[startup+0.305633 s]*
/proc/loadavg: 4.12 4.10 4.09 5/258 839793
/proc/meminfo: memFree=122458124/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=148160 memory=70692 CPUtime=0.29 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 15101 0 0 0 27 2 0 0 20 0 1 0 163213349 151715840 17673 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 37040 17673 3794 3002 0 20791 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 148160 KiB
Current children cumulated memory: 70692 KiB
[startup+0.700224 s]
/proc/loadavg: 4.12 4.10 4.09 5/258 839793
/proc/meminfo: memFree=122455100/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=153208 memory=75708 CPUtime=0.68 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 16354 0 0 0 66 2 0 0 20 0 1 0 163213349 156884992 18927 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 38302 18927 3794 3002 0 22053 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 153208 KiB
Current children cumulated memory: 75708 KiB
[startup+1.50022 s]
/proc/loadavg: 4.12 4.10 4.09 5/258 839793
/proc/meminfo: memFree=122426876/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=182208 memory=105332 CPUtime=1.48 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 23714 0 0 0 144 4 0 0 20 0 1 0 163213349 186580992 26333 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 45552 26333 3809 3002 0 29303 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 182208 KiB
Current children cumulated memory: 105332 KiB
[startup+3.1055 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 839793
/proc/meminfo: memFree=122423208/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=182452 memory=105596 CPUtime=3.08 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 23776 0 0 0 304 4 0 0 20 0 1 0 163213349 186830848 26399 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 45613 26399 3809 3002 0 29364 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 182452 KiB
Current children cumulated memory: 105596 KiB
[startup+6.30021 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 839793
/proc/meminfo: memFree=122357004/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=261040 memory=182492 CPUtime=6.26 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 44503 0 0 0 619 7 0 0 20 0 1 0 163213349 267304960 45623 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 65260 45623 4017 3002 0 49011 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 261040 KiB
Current children cumulated memory: 182492 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 839795
/proc/meminfo: memFree=122339532/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=273864 memory=195496 CPUtime=12.63 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 54435 0 0 0 1254 9 0 0 20 0 1 0 163213349 280436736 48874 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 68466 48874 4017 3002 0 52217 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 273864 KiB
Current children cumulated memory: 195496 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.09 5/258 839796
/proc/meminfo: memFree=122333648/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=273864 memory=195612 CPUtime=25.38 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 54833 0 0 0 2528 10 0 0 20 0 1 0 163213349 280436736 48903 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 68466 48903 4017 3002 0 52217 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 273864 KiB
Current children cumulated memory: 195612 KiB
[startup+51.1055 s]
/proc/loadavg: 4.12 4.10 4.09 5/258 839801
/proc/meminfo: memFree=122308288/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=297240 memory=220368 CPUtime=50.89 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 63888 0 0 0 5077 12 0 0 20 0 1 0 163213349 304373760 55092 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 74310 55092 4017 3002 0 58061 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 297240 KiB
Current children cumulated memory: 220368 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 839810
/proc/meminfo: memFree=122295980/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=308476 memory=231356 CPUtime=101.9 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 95912 0 0 0 10172 18 0 0 20 0 1 0 163213349 315879424 57839 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 77119 57839 4017 3002 0 60870 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 308476 KiB
Current children cumulated memory: 231356 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 839820
/proc/meminfo: memFree=122284344/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=319160 memory=242400 CPUtime=161.67 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 138142 0 0 0 16142 25 0 0 20 0 1 0 163213349 326819840 60600 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 79790 60600 4017 3002 0 63541 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 319160 KiB
Current children cumulated memory: 242400 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 839830
/proc/meminfo: memFree=122266472/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=335200 memory=258508 CPUtime=221.45 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 165848 0 0 0 22114 31 0 0 20 0 1 0 163213349 343244800 64627 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 83800 64627 4017 3002 0 67551 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 335200 KiB
Current children cumulated memory: 258508 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 839842
/proc/meminfo: memFree=122244332/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=347248 memory=269404 CPUtime=281.22 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 178110 0 0 0 28090 32 0 0 20 0 1 0 163213349 355581952 67351 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 86812 67351 4017 3002 0 70563 0
Current children cumulated CPU time: 281.22 s
Current children cumulated vsize: 347248 KiB
Current children cumulated memory: 269404 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/254 839853
/proc/meminfo: memFree=122195756/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=376684 memory=298120 CPUtime=341.01 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 180835 0 0 0 34009 92 0 0 20 0 1 0 163213349 385724416 74530 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 94171 74530 4081 3002 0 77922 0
Current children cumulated CPU time: 341.01 s
Current children cumulated vsize: 376684 KiB
Current children cumulated memory: 298120 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/254 839864
/proc/meminfo: memFree=122118892/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=407504 memory=335236 CPUtime=400.81 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 181442 0 0 0 39947 134 0 0 20 0 1 0 163213349 417284096 83809 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 101876 83809 4081 3002 0 85627 0
Current children cumulated CPU time: 400.81 s
Current children cumulated vsize: 407504 KiB
Current children cumulated memory: 335236 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 839874
/proc/meminfo: memFree=122119012/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=407504 memory=335236 CPUtime=460.59 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 181468 0 0 0 45893 166 0 0 20 0 1 0 163213349 417284096 83809 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 101876 83809 4081 3002 0 85627 0
################
# More data... #
################
Current children cumulated memory: 505120 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 841964
/proc/meminfo: memFree=121176584/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=577496 memory=505120 CPUtime=2911.82 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 195740 0 0 0 290127 1055 0 0 20 0 1 0 163213349 591355904 126280 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 144374 126280 4081 3002 0 128125 0
Current children cumulated CPU time: 2911.82 s
Current children cumulated vsize: 577496 KiB
Current children cumulated memory: 505120 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 841975
/proc/meminfo: memFree=121169340/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=577948 memory=505576 CPUtime=2971.61 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 196031 0 0 0 296093 1068 0 0 20 0 1 0 163213349 591818752 126394 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 144487 126394 4081 3002 0 128238 0
Current children cumulated CPU time: 2971.61 s
Current children cumulated vsize: 577948 KiB
Current children cumulated memory: 505576 KiB
[startup+3042.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/254 841985
/proc/meminfo: memFree=121167796/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=578908 memory=506352 CPUtime=3031.4 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 196433 0 0 0 302063 1077 0 0 20 0 1 0 163213349 592801792 126588 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 144727 126588 4081 3002 0 128478 0
Current children cumulated CPU time: 3031.4 s
Current children cumulated vsize: 578908 KiB
Current children cumulated memory: 506352 KiB
[startup+3102.3 s]
/proc/loadavg: 4.47 4.19 4.12 5/255 841997
/proc/meminfo: memFree=121157212/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=578908 memory=506360 CPUtime=3091.19 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 196603 0 0 0 308036 1083 0 0 20 0 1 0 163213349 592801792 126590 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 144727 126590 4081 3002 0 128478 0
Current children cumulated CPU time: 3091.19 s
Current children cumulated vsize: 578908 KiB
Current children cumulated memory: 506360 KiB
[startup+3162.3 s]
/proc/loadavg: 4.26 4.18 4.12 5/255 842007
/proc/meminfo: memFree=121149940/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=580480 memory=507412 CPUtime=3150.99 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 196981 0 0 0 314011 1088 0 0 20 0 1 0 163213349 594411520 126853 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 145120 126853 4081 3002 0 128871 0
Current children cumulated CPU time: 3150.99 s
Current children cumulated vsize: 580480 KiB
Current children cumulated memory: 507412 KiB
[startup+3222.3 s]
/proc/loadavg: 4.36 4.21 4.13 5/255 842017
/proc/meminfo: memFree=121132148/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=583456 memory=509428 CPUtime=3210.78 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 197731 0 0 0 319986 1092 0 0 20 0 1 0 163213349 597458944 127357 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 145864 127357 4081 3002 0 129615 0
Current children cumulated CPU time: 3210.78 s
Current children cumulated vsize: 583456 KiB
Current children cumulated memory: 509428 KiB
[startup+3282.3 s]
/proc/loadavg: 4.26 4.22 4.14 5/258 842032
/proc/meminfo: memFree=121131304/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=583456 memory=509588 CPUtime=3270.57 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 197938 0 0 0 325956 1101 0 0 20 0 1 0 163213349 597458944 127397 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 145864 127397 4081 3002 0 129615 0
Current children cumulated CPU time: 3270.57 s
Current children cumulated vsize: 583456 KiB
Current children cumulated memory: 509588 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.19 4.13 5/258 842043
/proc/meminfo: memFree=121074920/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=589764 memory=530132 CPUtime=3330.36 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 199122 0 0 0 331929 1107 0 0 20 0 1 0 163213349 603918336 132533 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 147441 132533 4081 3002 0 131192 0
Current children cumulated CPU time: 3330.36 s
Current children cumulated vsize: 589764 KiB
Current children cumulated memory: 530132 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.20 4.14 5/258 842053
/proc/meminfo: memFree=120982764/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=731560 memory=570400 CPUtime=3390.15 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 201144 0 0 0 337896 1119 0 0 20 0 1 0 163213349 749117440 142600 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 182890 142600 4081 3002 0 166641 0
Current children cumulated CPU time: 3390.15 s
Current children cumulated vsize: 731560 KiB
Current children cumulated memory: 570400 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.16 4.12 5/257 842063
/proc/meminfo: memFree=120937532/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=731892 memory=570680 CPUtime=3449.94 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 201355 0 0 0 343855 1139 0 0 20 0 1 0 163213349 749457408 142670 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 182973 142670 4081 3002 0 166724 0
Current children cumulated CPU time: 3449.94 s
Current children cumulated vsize: 731892 KiB
Current children cumulated memory: 570680 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.14 4.12 5/258 842076
/proc/meminfo: memFree=120935772/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=733800 memory=571944 CPUtime=3509.73 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 201792 0 0 0 349821 1152 0 0 20 0 1 0 163213349 751411200 142986 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 183450 142986 4081 3002 0 167201 0
Current children cumulated CPU time: 3509.73 s
Current children cumulated vsize: 733800 KiB
Current children cumulated memory: 571944 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.16 4.12 5/258 842086
/proc/meminfo: memFree=120933780/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=735092 memory=573096 CPUtime=3569.52 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 202233 0 0 0 355784 1168 0 0 20 0 1 0 163213349 752734208 143274 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 183773 143274 4081 3002 0 167524 0
Current children cumulated CPU time: 3569.52 s
Current children cumulated vsize: 735092 KiB
Current children cumulated memory: 573096 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.9 s]
/proc/loadavg: 4.10 4.14 4.12 5/255 842091
/proc/meminfo: memFree=120932616/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=736072 memory=573944 CPUtime=3600 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 202603 0 0 0 358825 1175 0 0 20 0 1 0 163213349 753737728 143486 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 184018 143486 4081 3002 0 167769 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 736072 KiB
Current children cumulated memory: 573944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.91 s]
# the end of solver process 839792 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.26 s, system=11.765 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.9 s]
/proc/loadavg: 4.10 4.14 4.12 5/255 842091
/proc/meminfo: memFree=120932616/131524600 swapFree=131071996/131071996
[pid=839792] ppid=839789 vsize=736072 memory=573944 CPUtime=3600 cores=0,2
/proc/839792/stat : 839792 (mixed-bag) R 839789 839792 834466 0 -1 4194304 202603 0 0 0 358825 1175 0 0 20 0 1 0 163213349 753737728 143486 134679101440 4194304 16487941 140727077683520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27824128 140727077688343 140727077688420 140727077688420 140727077695435 0
/proc/839792/statm: 184018 143486 4081 3002 0 167769 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 736072 KiB
Current children cumulated memory: 573944 KiB
Child status: 0
Real time (s): 3612.91
CPU time (s): 3600.03
CPU user time (s): 3588.26
CPU system time (s): 11.765
CPU usage (%): 99.6434
Max. virtual memory (cumulated for all children) (KiB): 736072
Max. memory (cumulated for all children) (KiB): 573944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.26
system time used= 11.765
maximum resident set size= 573944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202625
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= 97
involuntary context switches= 24683
# summary of solver processes directly reported to runsolver:
# pid: 839792
# total CPU time (s): 3600.03
# total CPU user time (s): 3588.26
# total CPU system time (s): 11.765
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.86266 second user time and 17.4643 second system time
The end
Begin job on nodeC015 at 2024-07-16 08:15:43
IDJOB=4435602
IDBENCH=148775
IDSOLVER=3066
FILE ID=nodeC015/4435602-1721110531
RUNJOBID= nodeC015-1721104319-834476
SLURM_JOB_ID= 7505624
Free space on /tmp= 890032 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx75.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435602-1721110531/watcher-4435602-1721110531 -o /tmp/evaluation-result-4435602-1721110531/solver-4435602-1721110531 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721104319-834476 --watchdog 3760 mixed-bag HOME/instance-4435602-1721110531.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=372822511
nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3665.779
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3682.835
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3654.889
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.034
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3669.136
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3682.831
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.139
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.124
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122515064 kB
MemAvailable: 128318748 kB
Buffers: 384504 kB
Cached: 6240920 kB
SwapCached: 0 kB
Active: 1234648 kB
Inactive: 7144100 kB
Active(anon): 1548 kB
Inactive(anon): 1789492 kB
Active(file): 1233100 kB
Inactive(file): 5354608 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16968 kB
Writeback: 4 kB
AnonPages: 1747540 kB
Mapped: 138060 kB
Shmem: 37720 kB
KReclaimable: 111244 kB
Slab: 220008 kB
SReclaimable: 111244 kB
SUnreclaim: 108764 kB
KernelStack: 4128 kB
PageTables: 12704 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2309256 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62720 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1275904 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 258772 kB
DirectMap2M: 37263360 kB
DirectMap1G: 98566144 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC015 at 2024-07-16 09:15:57