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
299.31/300.13 c [STEP] preprocessing done, loading into solver
299.31/300.14 c [STEP] solving
299.31/300.14 c #variables 4971 #constraints 598
347.45/348.43 c #Conflicts: 1000 | #Constraints: 1597
347.45/348.43 c #Conflicts: 2000 | #Constraints: 2597
347.45/348.43 c INPROCESSING
347.45/348.43 c GARBAGE COLLECT
347.45/348.43 c #Conflicts: 3000 | #Constraints: 2605
347.45/348.43 c #Conflicts: 4000 | #Constraints: 3605
347.45/348.43 c INPROCESSING
347.45/348.43 c GARBAGE COLLECT
347.45/348.43 c #Conflicts: 5000 | #Constraints: 3015
347.45/348.43 c #Conflicts: 6000 | #Constraints: 4015
347.45/348.43 c INPROCESSING
347.45/348.43 c GARBAGE COLLECT
347.45/348.43 c #Conflicts: 7000 | #Constraints: 3024
347.45/348.43 c #Conflicts: 8000 | #Constraints: 4024
347.45/348.43 c #Conflicts: 9000 | #Constraints: 5024
347.45/348.43 c INPROCESSING
347.45/348.43 c GARBAGE COLLECT
347.45/348.43 c #Conflicts: 10000 | #Constraints: 3719
347.45/348.43 c #Conflicts: 11000 | #Constraints: 4719
347.45/348.43 c #Conflicts: 12000 | #Constraints: 5719
347.45/348.43 c INPROCESSING
347.45/348.43 c GARBAGE COLLECT
347.45/348.43 c #Conflicts: 13000 | #Constraints: 4169
347.45/348.43 c #Conflicts: 14000 | #Constraints: 5169
347.45/348.43 c #Conflicts: 15000 | #Constraints: 6169
347.45/348.43 c INPROCESSING
347.45/348.43 c GARBAGE COLLECT
347.45/348.43 c #Conflicts: 16000 | #Constraints: 4404
347.45/348.43 c #Conflicts: 17000 | #Constraints: 5404
347.45/348.43 c #Conflicts: 18000 | #Constraints: 6404
347.45/348.43 c INPROCESSING
347.45/348.43 c GARBAGE COLLECT
347.45/348.43 c #Conflicts: 19000 | #Constraints: 4459
347.45/348.43 c #Conflicts: 20000 | #Constraints: 5459
347.45/348.43 c #Conflicts: 21000 | #Constraints: 6459
347.45/348.43 c INPROCESSING
347.45/348.43 c GARBAGE COLLECT
347.45/348.43 c #Conflicts: 22000 | #Constraints: 4239
347.45/348.43 c #Conflicts: 23000 | #Constraints: 5239
347.45/348.43 c #Conflicts: 24000 | #Constraints: 6239
347.45/348.43 c #Conflicts: 25000 | #Constraints: 7239
347.45/348.43 c INPROCESSING
347.45/348.43 c GARBAGE COLLECT
347.45/348.43 c #Conflicts: 26000 | #Constraints: 4836
347.45/348.43 c #Conflicts: 27000 | #Constraints: 5836
347.45/348.43 c #Conflicts: 28000 | #Constraints: 6836
347.45/348.43 c #Conflicts: 29000 | #Constraints: 7836
347.45/348.43 c INPROCESSING
347.45/348.43 c GARBAGE COLLECT
347.45/348.43 c #Conflicts: 30000 | #Constraints: 5231
347.45/348.43 c #Conflicts: 31000 | #Constraints: 6231
347.45/348.43 c #Conflicts: 32000 | #Constraints: 7231
347.45/348.43 c #Conflicts: 33000 | #Constraints: 8231
347.45/348.43 c INPROCESSING
347.45/348.43 c GARBAGE COLLECT
347.45/348.43 c #Conflicts: 34000 | #Constraints: 5440
347.45/348.43 c #Conflicts: 35000 | #Constraints: 6440
347.45/348.43 c #Conflicts: 36000 | #Constraints: 7440
347.45/348.43 c #Conflicts: 37000 | #Constraints: 8440
347.45/348.43 c INPROCESSING
347.45/348.43 c GARBAGE COLLECT
347.45/348.43 c #Conflicts: 38000 | #Constraints: 5443
347.45/348.43 c #Conflicts: 39000 | #Constraints: 6443
347.45/348.43 c #Conflicts: 40000 | #Constraints: 7443
347.45/348.43 c #Conflicts: 41000 | #Constraints: 8443
347.45/348.43 c INPROCESSING
347.45/348.43 c GARBAGE COLLECT
347.45/348.43 c #Conflicts: 42000 | #Constraints: 5265
347.45/348.43 c #Conflicts: 43000 | #Constraints: 6265
347.45/348.43 c #Conflicts: 44000 | #Constraints: 7265
347.45/348.43 c #Conflicts: 45000 | #Constraints: 8265
347.45/348.43 c #Conflicts: 46000 | #Constraints: 9265
347.45/348.43 c INPROCESSING
347.45/348.43 c GARBAGE COLLECT
347.45/348.43 c #Conflicts: 47000 | #Constraints: 5850
347.45/348.43 c #Conflicts: 48000 | #Constraints: 6850
347.45/348.43 c #Conflicts: 49000 | #Constraints: 7850
347.45/348.43 c #Conflicts: 50000 | #Constraints: 8850
347.45/348.43 c #Conflicts: 51000 | #Constraints: 9850
347.45/348.43 c INPROCESSING
347.45/348.43 c GARBAGE COLLECT
347.45/348.43 c #Conflicts: 52000 | #Constraints: 6246
347.45/348.43 c #Conflicts: 53000 | #Constraints: 7246
347.45/348.43 c #Conflicts: 54000 | #Constraints: 8246
347.45/348.43 c #Conflicts: 55000 | #Constraints: 9246
347.45/348.43 c #Conflicts: 56000 | #Constraints: 10246
347.45/348.43 c INPROCESSING
347.45/348.43 c GARBAGE COLLECT
347.45/348.43 c #Conflicts: 57000 | #Constraints: 6431
347.45/348.43 c #Conflicts: 58000 | #Constraints: 7431
347.45/348.43 c #Conflicts: 59000 | #Constraints: 8431
347.45/348.43 c #Conflicts: 60000 | #Constraints: 9431
347.45/348.43 c #Conflicts: 61000 | #Constraints: 10431
347.45/348.43 c INPROCESSING
347.45/348.43 c GARBAGE COLLECT
347.45/348.43 c #Conflicts: 62000 | #Constraints: 6437
347.45/348.43 c #Conflicts: 63000 | #Constraints: 7437
347.45/348.43 c #Conflicts: 64000 | #Constraints: 8437
347.45/348.43 c #Conflicts: 65000 | #Constraints: 9437
347.45/348.43 c #Conflicts: 66000 | #Constraints: 10437
347.45/348.43 c INPROCESSING
347.45/348.43 c GARBAGE COLLECT
347.45/348.43 c #Conflicts: 67000 | #Constraints: 6239
347.45/348.43 c #Conflicts: 68000 | #Constraints: 7239
468.84/470.26 c #Conflicts: 69000 | #Constraints: 8239
468.84/470.26 c #Conflicts: 70000 | #Constraints: 9239
468.84/470.26 c #Conflicts: 71000 | #Constraints: 10239
468.84/470.26 c #Conflicts: 72000 | #Constraints: 11239
468.84/470.26 c INPROCESSING
468.84/470.26 c GARBAGE COLLECT
468.84/470.26 c #Conflicts: 73000 | #Constraints: 6831
468.84/470.26 c #Conflicts: 74000 | #Constraints: 7831
468.84/470.26 c #Conflicts: 75000 | #Constraints: 8831
468.84/470.26 c #Conflicts: 76000 | #Constraints: 9831
468.84/470.26 c #Conflicts: 77000 | #Constraints: 10831
468.84/470.26 c #Conflicts: 78000 | #Constraints: 11831
468.84/470.26 c INPROCESSING
468.84/470.26 c GARBAGE COLLECT
468.84/470.26 c #Conflicts: 79000 | #Constraints: 7232
468.84/470.26 c #Conflicts: 80000 | #Constraints: 8232
468.84/470.26 c #Conflicts: 81000 | #Constraints: 9232
468.84/470.26 c #Conflicts: 82000 | #Constraints: 10232
468.84/470.26 c #Conflicts: 83000 | #Constraints: 11232
468.84/470.26 c #Conflicts: 84000 | #Constraints: 12232
468.84/470.26 c INPROCESSING
468.84/470.26 c GARBAGE COLLECT
468.84/470.26 c #Conflicts: 85000 | #Constraints: 7450
468.84/470.26 c #Conflicts: 86000 | #Constraints: 8450
468.84/470.26 c #Conflicts: 87000 | #Constraints: 9450
468.84/470.26 c #Conflicts: 88000 | #Constraints: 10450
468.84/470.26 c #Conflicts: 89000 | #Constraints: 11450
468.84/470.26 c #Conflicts: 90000 | #Constraints: 12450
468.84/470.26 c INPROCESSING
468.84/470.26 c GARBAGE COLLECT
468.84/470.26 c #Conflicts: 91000 | #Constraints: 7437
468.84/470.26 c #Conflicts: 92000 | #Constraints: 8437
468.84/470.26 c #Conflicts: 93000 | #Constraints: 9437
468.84/470.26 c #Conflicts: 94000 | #Constraints: 10437
468.84/470.26 c #Conflicts: 95000 | #Constraints: 11437
468.84/470.26 c #Conflicts: 96000 | #Constraints: 12437
468.84/470.26 c INPROCESSING
468.84/470.26 c GARBAGE COLLECT
468.84/470.26 c #Conflicts: 97000 | #Constraints: 7278
468.84/470.26 c #Conflicts: 98000 | #Constraints: 8278
468.84/470.26 c #Conflicts: 99000 | #Constraints: 9278
468.84/470.26 c #Conflicts: 100000 | #Constraints: 10278
468.84/470.26 c #Conflicts: 101000 | #Constraints: 11278
468.84/470.26 c #Conflicts: 102000 | #Constraints: 12278
468.84/470.26 c #Conflicts: 103000 | #Constraints: 13278
468.84/470.26 c INPROCESSING
468.84/470.26 c GARBAGE COLLECT
468.84/470.26 c #Conflicts: 104000 | #Constraints: 7855
468.84/470.26 c #Conflicts: 105000 | #Constraints: 8855
468.84/470.26 c #Conflicts: 106000 | #Constraints: 9855
468.84/470.26 c #Conflicts: 107000 | #Constraints: 10855
468.84/470.26 c #Conflicts: 108000 | #Constraints: 11855
468.84/470.26 c #Conflicts: 109000 | #Constraints: 12855
468.84/470.26 c #Conflicts: 110000 | #Constraints: 13855
468.84/470.26 c INPROCESSING
468.84/470.26 c GARBAGE COLLECT
468.84/470.26 c #Conflicts: 111000 | #Constraints: 8253
468.84/470.26 c #Conflicts: 112000 | #Constraints: 9253
468.84/470.26 c #Conflicts: 113000 | #Constraints: 10253
468.84/470.26 c #Conflicts: 114000 | #Constraints: 11253
468.84/470.26 c #Conflicts: 115000 | #Constraints: 12253
468.84/470.26 c #Conflicts: 116000 | #Constraints: 13253
468.84/470.26 c #Conflicts: 117000 | #Constraints: 14253
468.84/470.26 c INPROCESSING
468.84/470.26 c GARBAGE COLLECT
468.84/470.26 c #Conflicts: 118000 | #Constraints: 8442
468.84/470.26 c #Conflicts: 119000 | #Constraints: 9442
468.84/470.26 c #Conflicts: 120000 | #Constraints: 10442
468.84/470.26 c #Conflicts: 121000 | #Constraints: 11442
468.84/470.26 c #Conflicts: 122000 | #Constraints: 12442
468.84/470.26 c #Conflicts: 123000 | #Constraints: 13442
468.84/470.26 c #Conflicts: 124000 | #Constraints: 14442
468.84/470.26 c INPROCESSING
468.84/470.26 c GARBAGE COLLECT
468.84/470.26 c #Conflicts: 125000 | #Constraints: 8435
468.84/470.26 c #Conflicts: 126000 | #Constraints: 9435
468.84/470.26 c #Conflicts: 127000 | #Constraints: 10435
468.84/470.26 c #Conflicts: 128000 | #Constraints: 11435
468.84/470.26 c #Conflicts: 129000 | #Constraints: 12435
468.84/470.26 c #Conflicts: 130000 | #Constraints: 13435
468.84/470.26 c #Conflicts: 131000 | #Constraints: 14435
468.84/470.26 c INPROCESSING
468.84/470.26 c GARBAGE COLLECT
468.84/470.26 c #Conflicts: 132000 | #Constraints: 8228
468.84/470.26 c #Conflicts: 133000 | #Constraints: 9228
468.84/470.26 c #Conflicts: 134000 | #Constraints: 10228
468.84/470.26 c #Conflicts: 135000 | #Constraints: 11228
468.84/470.26 c #Conflicts: 136000 | #Constraints: 12228
468.84/470.26 c #Conflicts: 137000 | #Constraints: 13228
468.84/470.26 c #Conflicts: 138000 | #Constraints: 14228
468.84/470.26 c #Conflicts: 139000 | #Constraints: 15228
468.84/470.26 c INPROCESSING
468.84/470.26 c GARBAGE COLLECT
468.84/470.26 c #Conflicts: 140000 | #Constraints: 8822
602.28/604.01 c #Conflicts: 141000 | #Constraints: 9822
602.28/604.01 c #Conflicts: 142000 | #Constraints: 10822
602.28/604.01 c #Conflicts: 143000 | #Constraints: 11822
602.28/604.01 c #Conflicts: 144000 | #Constraints: 12822
602.28/604.01 c #Conflicts: 145000 | #Constraints: 13822
602.28/604.01 c #Conflicts: 146000 | #Constraints: 14822
602.28/604.01 c #Conflicts: 147000 | #Constraints: 15822
602.28/604.01 c INPROCESSING
602.28/604.01 c GARBAGE COLLECT
602.28/604.01 c #Conflicts: 148000 | #Constraints: 9241
602.28/604.01 c #Conflicts: 149000 | #Constraints: 10241
602.28/604.01 c #Conflicts: 150000 | #Constraints: 11241
602.28/604.01 c #Conflicts: 151000 | #Constraints: 12241
602.28/604.01 c #Conflicts: 152000 | #Constraints: 13241
602.28/604.01 c #Conflicts: 153000 | #Constraints: 14241
602.28/604.01 c #Conflicts: 154000 | #Constraints: 15241
602.28/604.01 c #Conflicts: 155000 | #Constraints: 16241
602.28/604.01 c INPROCESSING
602.28/604.01 c GARBAGE COLLECT
602.28/604.01 c #Conflicts: 156000 | #Constraints: 9443
602.28/604.01 c #Conflicts: 157000 | #Constraints: 10443
602.28/604.01 c #Conflicts: 158000 | #Constraints: 11443
602.28/604.01 c #Conflicts: 159000 | #Constraints: 12443
602.28/604.01 c #Conflicts: 160000 | #Constraints: 13443
602.28/604.01 c #Conflicts: 161000 | #Constraints: 14443
602.28/604.01 c #Conflicts: 162000 | #Constraints: 15443
602.28/604.01 c #Conflicts: 163000 | #Constraints: 16443
602.28/604.01 c INPROCESSING
602.28/604.01 c GARBAGE COLLECT
602.28/604.01 c #Conflicts: 164000 | #Constraints: 9432
602.28/604.01 c #Conflicts: 165000 | #Constraints: 10432
602.28/604.01 c #Conflicts: 166000 | #Constraints: 11432
602.28/604.01 c #Conflicts: 167000 | #Constraints: 12432
602.28/604.01 c #Conflicts: 168000 | #Constraints: 13432
602.28/604.01 c #Conflicts: 169000 | #Constraints: 14432
602.28/604.01 c #Conflicts: 170000 | #Constraints: 15432
602.28/604.01 c #Conflicts: 171000 | #Constraints: 16432
602.28/604.01 c INPROCESSING
602.28/604.01 c GARBAGE COLLECT
602.28/604.01 c #Conflicts: 172000 | #Constraints: 9236
602.28/604.01 c #Conflicts: 173000 | #Constraints: 10236
602.28/604.01 c #Conflicts: 174000 | #Constraints: 11236
602.28/604.01 c #Conflicts: 175000 | #Constraints: 12236
602.28/604.01 c #Conflicts: 176000 | #Constraints: 13236
602.28/604.01 c #Conflicts: 177000 | #Constraints: 14236
602.28/604.01 c #Conflicts: 178000 | #Constraints: 15236
602.28/604.01 c #Conflicts: 179000 | #Constraints: 16236
602.28/604.01 c #Conflicts: 180000 | #Constraints: 17236
602.28/604.01 c INPROCESSING
602.28/604.01 c GARBAGE COLLECT
602.28/604.01 c #Conflicts: 181000 | #Constraints: 9831
602.28/604.01 c #Conflicts: 182000 | #Constraints: 10831
602.28/604.01 c #Conflicts: 183000 | #Constraints: 11831
602.28/604.01 c #Conflicts: 184000 | #Constraints: 12831
602.28/604.01 c #Conflicts: 185000 | #Constraints: 13831
602.28/604.01 c #Conflicts: 186000 | #Constraints: 14831
602.28/604.01 c #Conflicts: 187000 | #Constraints: 15831
602.28/604.01 c #Conflicts: 188000 | #Constraints: 16831
602.28/604.01 c #Conflicts: 189000 | #Constraints: 17831
602.28/604.01 c INPROCESSING
602.28/604.01 c GARBAGE COLLECT
602.28/604.01 c #Conflicts: 190000 | #Constraints: 10264
602.28/604.01 c #Conflicts: 191000 | #Constraints: 11264
602.28/604.01 c #Conflicts: 192000 | #Constraints: 12264
602.28/604.01 c #Conflicts: 193000 | #Constraints: 13264
602.28/604.01 c #Conflicts: 194000 | #Constraints: 14264
602.28/604.01 c #Conflicts: 195000 | #Constraints: 15264
602.28/604.01 c #Conflicts: 196000 | #Constraints: 16264
602.28/604.01 c #Conflicts: 197000 | #Constraints: 17264
602.28/604.01 c #Conflicts: 198000 | #Constraints: 18264
602.28/604.01 c INPROCESSING
602.28/604.01 c GARBAGE COLLECT
602.28/604.01 c #Conflicts: 199000 | #Constraints: 10499
602.28/604.01 c #Conflicts: 200000 | #Constraints: 11499
602.28/604.01 c #Conflicts: 201000 | #Constraints: 12499
602.28/604.01 c #Conflicts: 202000 | #Constraints: 13499
602.28/604.01 c #Conflicts: 203000 | #Constraints: 14499
602.28/604.01 c #Conflicts: 204000 | #Constraints: 15499
602.28/604.01 c #Conflicts: 205000 | #Constraints: 16499
602.28/604.01 c #Conflicts: 206000 | #Constraints: 17499
602.28/604.01 c #Conflicts: 207000 | #Constraints: 18499
602.28/604.01 c INPROCESSING
602.28/604.01 c GARBAGE COLLECT
602.28/604.01 c #Conflicts: 208000 | #Constraints: 10492
602.28/604.01 c #Conflicts: 209000 | #Constraints: 11492
602.28/604.01 c #Conflicts: 210000 | #Constraints: 12492
602.28/604.01 c #Conflicts: 211000 | #Constraints: 13492
602.28/604.01 c #Conflicts: 212000 | #Constraints: 14492
602.28/604.01 c #Conflicts: 213000 | #Constraints: 15492
730.75/732.87 c #Conflicts: 214000 | #Constraints: 16492
730.75/732.87 c #Conflicts: 215000 | #Constraints: 17492
730.75/732.87 c #Conflicts: 216000 | #Constraints: 18492
730.75/732.87 c INPROCESSING
730.75/732.87 c GARBAGE COLLECT
730.75/732.87 c #Conflicts: 217000 | #Constraints: 10299
730.75/732.87 c #Conflicts: 218000 | #Constraints: 11299
730.75/732.87 c #Conflicts: 219000 | #Constraints: 12299
730.75/732.87 c #Conflicts: 220000 | #Constraints: 13299
730.75/732.87 c #Conflicts: 221000 | #Constraints: 14299
730.75/732.87 c #Conflicts: 222000 | #Constraints: 15299
730.75/732.87 c #Conflicts: 223000 | #Constraints: 16299
730.75/732.87 c #Conflicts: 224000 | #Constraints: 17299
730.75/732.87 c #Conflicts: 225000 | #Constraints: 18299
730.75/732.87 c #Conflicts: 226000 | #Constraints: 19299
730.75/732.87 c INPROCESSING
730.75/732.87 c GARBAGE COLLECT
730.75/732.87 c #Conflicts: 227000 | #Constraints: 10883
730.75/732.87 c #Conflicts: 228000 | #Constraints: 11883
730.75/732.87 c #Conflicts: 229000 | #Constraints: 12883
730.75/732.87 c #Conflicts: 230000 | #Constraints: 13883
730.75/732.87 c #Conflicts: 231000 | #Constraints: 14883
730.75/732.87 c #Conflicts: 232000 | #Constraints: 15883
730.75/732.87 c #Conflicts: 233000 | #Constraints: 16883
730.75/732.87 c #Conflicts: 234000 | #Constraints: 17883
730.75/732.87 c #Conflicts: 235000 | #Constraints: 18883
730.75/732.87 c #Conflicts: 236000 | #Constraints: 19883
730.75/732.87 c INPROCESSING
730.75/732.87 c GARBAGE COLLECT
730.75/732.87 c #Conflicts: 237000 | #Constraints: 11258
730.75/732.87 c #Conflicts: 238000 | #Constraints: 12258
730.75/732.87 c #Conflicts: 239000 | #Constraints: 13258
730.75/732.87 c #Conflicts: 240000 | #Constraints: 14258
730.75/732.87 c #Conflicts: 241000 | #Constraints: 15258
730.75/732.87 c #Conflicts: 242000 | #Constraints: 16258
730.75/732.87 c #Conflicts: 243000 | #Constraints: 17258
730.75/732.87 c #Conflicts: 244000 | #Constraints: 18258
730.75/732.87 c #Conflicts: 245000 | #Constraints: 19258
730.75/732.87 c #Conflicts: 246000 | #Constraints: 20258
730.75/732.87 c INPROCESSING
730.75/732.87 c GARBAGE COLLECT
730.75/732.87 c #Conflicts: 247000 | #Constraints: 11468
730.75/732.87 c #Conflicts: 248000 | #Constraints: 12468
730.75/732.87 c #Conflicts: 249000 | #Constraints: 13468
730.75/732.87 c #Conflicts: 250000 | #Constraints: 14468
730.75/732.87 c #Conflicts: 251000 | #Constraints: 15468
730.75/732.87 c #Conflicts: 252000 | #Constraints: 16468
730.75/732.87 c #Conflicts: 253000 | #Constraints: 17468
730.75/732.87 c #Conflicts: 254000 | #Constraints: 18468
730.75/732.87 c #Conflicts: 255000 | #Constraints: 19468
730.75/732.87 c #Conflicts: 256000 | #Constraints: 20468
730.75/732.87 c INPROCESSING
730.75/732.87 c GARBAGE COLLECT
730.75/732.87 c #Conflicts: 257000 | #Constraints: 11454
730.75/732.87 c #Conflicts: 258000 | #Constraints: 12454
730.75/732.87 c #Conflicts: 259000 | #Constraints: 13454
730.75/732.87 c #Conflicts: 260000 | #Constraints: 14454
730.75/732.87 c #Conflicts: 261000 | #Constraints: 15454
730.75/732.87 c #Conflicts: 262000 | #Constraints: 16454
730.75/732.87 c #Conflicts: 263000 | #Constraints: 17454
730.75/732.87 c #Conflicts: 264000 | #Constraints: 18454
730.75/732.87 c #Conflicts: 265000 | #Constraints: 19454
730.75/732.87 c #Conflicts: 266000 | #Constraints: 20454
730.75/732.87 c INPROCESSING
730.75/732.87 c GARBAGE COLLECT
730.75/732.87 c #Conflicts: 267000 | #Constraints: 11244
730.75/732.87 c #Conflicts: 268000 | #Constraints: 12244
730.75/732.87 c #Conflicts: 269000 | #Constraints: 13244
730.75/732.87 c #Conflicts: 270000 | #Constraints: 14244
730.75/732.87 c #Conflicts: 271000 | #Constraints: 15244
730.75/732.87 c #Conflicts: 272000 | #Constraints: 16244
730.75/732.87 c #Conflicts: 273000 | #Constraints: 17244
730.75/732.87 c #Conflicts: 274000 | #Constraints: 18244
730.75/732.87 c #Conflicts: 275000 | #Constraints: 19244
730.75/732.87 c #Conflicts: 276000 | #Constraints: 20244
730.75/732.87 c #Conflicts: 277000 | #Constraints: 21244
730.75/732.87 c INPROCESSING
730.75/732.87 c GARBAGE COLLECT
730.75/732.87 c #Conflicts: 278000 | #Constraints: 11841
730.75/732.87 c #Conflicts: 279000 | #Constraints: 12841
730.75/732.87 c #Conflicts: 280000 | #Constraints: 13841
730.75/732.87 c #Conflicts: 281000 | #Constraints: 14841
730.75/732.87 c #Conflicts: 282000 | #Constraints: 15841
730.75/732.87 c #Conflicts: 283000 | #Constraints: 16841
730.75/732.87 c #Conflicts: 284000 | #Constraints: 17841
730.75/732.87 c #Conflicts: 285000 | #Constraints: 18841
730.75/732.87 c #Conflicts: 286000 | #Constraints: 19841
730.75/732.87 c #Conflicts: 287000 | #Constraints: 20841
730.75/732.87 c #Conflicts: 288000 | #Constraints: 21841
896.25/898.76 c INPROCESSING
896.25/898.76 c GARBAGE COLLECT
896.25/898.76 c #Conflicts: 289000 | #Constraints: 12235
896.25/898.76 c #Conflicts: 290000 | #Constraints: 13235
896.25/898.76 c #Conflicts: 291000 | #Constraints: 14235
896.25/898.76 c #Conflicts: 292000 | #Constraints: 15235
896.25/898.76 c #Conflicts: 293000 | #Constraints: 16235
896.25/898.76 c #Conflicts: 294000 | #Constraints: 17235
896.25/898.76 c #Conflicts: 295000 | #Constraints: 18235
896.25/898.76 c #Conflicts: 296000 | #Constraints: 19235
896.25/898.76 c #Conflicts: 297000 | #Constraints: 20235
896.25/898.76 c #Conflicts: 298000 | #Constraints: 21235
896.25/898.76 c #Conflicts: 299000 | #Constraints: 22235
896.25/898.76 c INPROCESSING
896.25/898.76 c GARBAGE COLLECT
896.25/898.76 c #Conflicts: 300000 | #Constraints: 12433
896.25/898.76 c #Conflicts: 301000 | #Constraints: 13433
896.25/898.76 c #Conflicts: 302000 | #Constraints: 14433
896.25/898.76 c #Conflicts: 303000 | #Constraints: 15433
896.25/898.76 c #Conflicts: 304000 | #Constraints: 16433
896.25/898.76 c #Conflicts: 305000 | #Constraints: 17433
896.25/898.76 c #Conflicts: 306000 | #Constraints: 18433
896.25/898.76 c #Conflicts: 307000 | #Constraints: 19433
896.25/898.76 c #Conflicts: 308000 | #Constraints: 20433
896.25/898.76 c #Conflicts: 309000 | #Constraints: 21433
896.25/898.76 c #Conflicts: 310000 | #Constraints: 22433
896.25/898.76 c INPROCESSING
896.25/898.76 c GARBAGE COLLECT
896.25/898.76 c #Conflicts: 311000 | #Constraints: 12439
896.25/898.76 c #Conflicts: 312000 | #Constraints: 13439
896.25/898.76 c #Conflicts: 313000 | #Constraints: 14439
896.25/898.76 c #Conflicts: 314000 | #Constraints: 15439
896.25/898.76 c #Conflicts: 315000 | #Constraints: 16439
896.25/898.76 c #Conflicts: 316000 | #Constraints: 17439
896.25/898.76 c #Conflicts: 317000 | #Constraints: 18439
896.25/898.76 c #Conflicts: 318000 | #Constraints: 19439
896.25/898.76 c #Conflicts: 319000 | #Constraints: 20439
896.25/898.76 c #Conflicts: 320000 | #Constraints: 21439
896.25/898.76 c #Conflicts: 321000 | #Constraints: 22439
896.25/898.76 c INPROCESSING
896.25/898.76 c GARBAGE COLLECT
896.25/898.76 c #Conflicts: 322000 | #Constraints: 12257
896.25/898.76 c #Conflicts: 323000 | #Constraints: 13257
896.25/898.76 c #Conflicts: 324000 | #Constraints: 14257
896.25/898.76 c #Conflicts: 325000 | #Constraints: 15257
896.25/898.76 c #Conflicts: 326000 | #Constraints: 16257
896.25/898.76 c #Conflicts: 327000 | #Constraints: 17257
896.25/898.76 c #Conflicts: 328000 | #Constraints: 18257
896.25/898.76 c #Conflicts: 329000 | #Constraints: 19257
896.25/898.76 c #Conflicts: 330000 | #Constraints: 20257
896.25/898.76 c #Conflicts: 331000 | #Constraints: 21257
896.25/898.76 c #Conflicts: 332000 | #Constraints: 22257
896.25/898.76 c #Conflicts: 333000 | #Constraints: 23257
896.25/898.76 c INPROCESSING
896.25/898.76 c GARBAGE COLLECT
896.25/898.76 c #Conflicts: 334000 | #Constraints: 12843
896.25/898.76 c #Conflicts: 335000 | #Constraints: 13843
896.25/898.76 c #Conflicts: 336000 | #Constraints: 14843
896.25/898.76 c #Conflicts: 337000 | #Constraints: 15843
896.25/898.76 c #Conflicts: 338000 | #Constraints: 16843
896.25/898.76 c #Conflicts: 339000 | #Constraints: 17843
896.25/898.76 c #Conflicts: 340000 | #Constraints: 18843
896.25/898.76 c #Conflicts: 341000 | #Constraints: 19843
896.25/898.76 c #Conflicts: 342000 | #Constraints: 20843
896.25/898.76 c #Conflicts: 343000 | #Constraints: 21843
896.25/898.76 c #Conflicts: 344000 | #Constraints: 22843
896.25/898.76 c #Conflicts: 345000 | #Constraints: 23843
896.25/898.76 c INPROCESSING
896.25/898.76 c GARBAGE COLLECT
896.25/898.76 c #Conflicts: 346000 | #Constraints: 13236
896.25/898.76 c #Conflicts: 347000 | #Constraints: 14236
896.25/898.76 c #Conflicts: 348000 | #Constraints: 15236
896.25/898.76 c #Conflicts: 349000 | #Constraints: 16236
896.25/898.76 c #Conflicts: 350000 | #Constraints: 17236
896.25/898.76 c #Conflicts: 351000 | #Constraints: 18236
896.25/898.76 c #Conflicts: 352000 | #Constraints: 19236
896.25/898.76 c #Conflicts: 353000 | #Constraints: 20236
896.25/898.76 c #Conflicts: 354000 | #Constraints: 21236
896.25/898.76 c #Conflicts: 355000 | #Constraints: 22236
896.25/898.76 c #Conflicts: 356000 | #Constraints: 23236
896.25/898.76 c #Conflicts: 357000 | #Constraints: 24236
896.25/898.76 c INPROCESSING
896.25/898.76 c GARBAGE COLLECT
896.25/898.76 c #Conflicts: 358000 | #Constraints: 13429
896.25/898.76 c #Conflicts: 359000 | #Constraints: 14429
896.25/898.76 c #Conflicts: 360000 | #Constraints: 15429
896.25/898.76 c #Conflicts: 361000 | #Constraints: 16429
896.25/898.76 c #Conflicts: 362000 | #Constraints: 17429
1031.02/1033.81 c #Conflicts: 363000 | #Constraints: 18429
1031.02/1033.81 c #Conflicts: 364000 | #Constraints: 19429
1031.02/1033.81 c #Conflicts: 365000 | #Constraints: 20429
1031.02/1033.81 c #Conflicts: 366000 | #Constraints: 21429
1031.02/1033.81 c #Conflicts: 367000 | #Constraints: 22429
1031.02/1033.81 c #Conflicts: 368000 | #Constraints: 23429
1031.02/1033.81 c #Conflicts: 369000 | #Constraints: 24429
1031.02/1033.81 c INPROCESSING
1031.02/1033.81 c GARBAGE COLLECT
1031.02/1033.81 c #Conflicts: 370000 | #Constraints: 13437
1031.02/1033.81 c #Conflicts: 371000 | #Constraints: 14437
1031.02/1033.81 c #Conflicts: 372000 | #Constraints: 15437
1031.02/1033.81 c #Conflicts: 373000 | #Constraints: 16437
1031.02/1033.81 c #Conflicts: 374000 | #Constraints: 17437
1031.02/1033.81 c #Conflicts: 375000 | #Constraints: 18437
1031.02/1033.81 c #Conflicts: 376000 | #Constraints: 19437
1031.02/1033.81 c #Conflicts: 377000 | #Constraints: 20437
1031.02/1033.81 c #Conflicts: 378000 | #Constraints: 21437
1031.02/1033.81 c #Conflicts: 379000 | #Constraints: 22437
1031.02/1033.81 c #Conflicts: 380000 | #Constraints: 23437
1031.02/1033.81 c #Conflicts: 381000 | #Constraints: 24437
1031.02/1033.81 c INPROCESSING
1031.02/1033.81 c GARBAGE COLLECT
1031.02/1033.81 c #Conflicts: 382000 | #Constraints: 13229
1031.02/1033.81 c #Conflicts: 383000 | #Constraints: 14229
1031.02/1033.81 c #Conflicts: 384000 | #Constraints: 15229
1031.02/1033.81 c #Conflicts: 385000 | #Constraints: 16229
1031.02/1033.81 c #Conflicts: 386000 | #Constraints: 17229
1031.02/1033.81 c #Conflicts: 387000 | #Constraints: 18229
1031.02/1033.81 c #Conflicts: 388000 | #Constraints: 19229
1031.02/1033.81 c #Conflicts: 389000 | #Constraints: 20229
1031.02/1033.81 c #Conflicts: 390000 | #Constraints: 21229
1031.02/1033.81 c #Conflicts: 391000 | #Constraints: 22229
1031.02/1033.81 c #Conflicts: 392000 | #Constraints: 23229
1031.02/1033.81 c #Conflicts: 393000 | #Constraints: 24229
1031.02/1033.81 c #Conflicts: 394000 | #Constraints: 25229
1031.02/1033.81 c INPROCESSING
1031.02/1033.81 c GARBAGE COLLECT
1031.02/1033.81 c #Conflicts: 395000 | #Constraints: 13851
1031.02/1033.81 c #Conflicts: 396000 | #Constraints: 14851
1031.02/1033.81 c #Conflicts: 397000 | #Constraints: 15851
1031.02/1033.81 c #Conflicts: 398000 | #Constraints: 16851
1031.02/1033.81 c #Conflicts: 399000 | #Constraints: 17851
1031.02/1033.81 c #Conflicts: 400000 | #Constraints: 18851
1031.02/1033.81 c #Conflicts: 401000 | #Constraints: 19851
1031.02/1033.81 c #Conflicts: 402000 | #Constraints: 20851
1031.02/1033.81 c #Conflicts: 403000 | #Constraints: 21851
1031.02/1033.81 c #Conflicts: 404000 | #Constraints: 22851
1031.02/1033.81 c #Conflicts: 405000 | #Constraints: 23851
1031.02/1033.81 c #Conflicts: 406000 | #Constraints: 24851
1031.02/1033.81 c #Conflicts: 407000 | #Constraints: 25851
1031.02/1033.81 c INPROCESSING
1031.02/1033.81 c GARBAGE COLLECT
1031.02/1033.81 c #Conflicts: 408000 | #Constraints: 14237
1031.02/1033.81 c #Conflicts: 409000 | #Constraints: 15237
1031.02/1033.81 c #Conflicts: 410000 | #Constraints: 16237
1031.02/1033.81 c #Conflicts: 411000 | #Constraints: 17237
1031.02/1033.81 c #Conflicts: 412000 | #Constraints: 18237
1031.02/1033.81 c #Conflicts: 413000 | #Constraints: 19237
1031.02/1033.81 c #Conflicts: 414000 | #Constraints: 20237
1031.02/1033.81 c #Conflicts: 415000 | #Constraints: 21237
1031.02/1033.81 c #Conflicts: 416000 | #Constraints: 22237
1031.02/1033.81 c #Conflicts: 417000 | #Constraints: 23237
1031.02/1033.81 c #Conflicts: 418000 | #Constraints: 24237
1031.02/1033.81 c #Conflicts: 419000 | #Constraints: 25237
1031.02/1033.81 c #Conflicts: 420000 | #Constraints: 26237
1031.02/1033.81 c INPROCESSING
1031.02/1033.81 c GARBAGE COLLECT
1031.02/1033.81 c #Conflicts: 421000 | #Constraints: 14453
1031.02/1033.81 c #Conflicts: 422000 | #Constraints: 15453
1031.02/1033.81 c #Conflicts: 423000 | #Constraints: 16453
1031.02/1033.81 c #Conflicts: 424000 | #Constraints: 17453
1031.02/1033.81 c #Conflicts: 425000 | #Constraints: 18453
1031.02/1033.81 c #Conflicts: 426000 | #Constraints: 19453
1031.02/1033.81 c #Conflicts: 427000 | #Constraints: 20453
1031.02/1033.81 c #Conflicts: 428000 | #Constraints: 21453
1031.02/1033.81 c #Conflicts: 429000 | #Constraints: 22453
1031.02/1033.81 c #Conflicts: 430000 | #Constraints: 23453
1031.02/1033.81 c #Conflicts: 431000 | #Constraints: 24453
1031.02/1033.81 c #Conflicts: 432000 | #Constraints: 25453
1031.02/1033.81 c #Conflicts: 433000 | #Constraints: 26453
1031.02/1033.81 c INPROCESSING
1031.02/1033.81 c GARBAGE COLLECT
1031.02/1033.81 c #Conflicts: 434000 | #Constraints: 14461
1031.02/1033.81 c #Conflicts: 435000 | #Constraints: 15461
1031.02/1033.81 c #Conflicts: 436000 | #Constraints: 16461
1031.02/1033.81 c #Conflicts: 437000 | #Constraints: 17461
1680.47/1684.86 c #Conflicts: 438000 | #Constraints: 18461
1680.47/1684.86 c #Conflicts: 439000 | #Constraints: 19461
1680.47/1684.86 c #Conflicts: 440000 | #Constraints: 20461
1680.47/1684.86 c #Conflicts: 441000 | #Constraints: 21461
1680.47/1684.86 c #Conflicts: 442000 | #Constraints: 22461
1680.47/1684.86 c #Conflicts: 443000 | #Constraints: 23461
1680.47/1684.86 c #Conflicts: 444000 | #Constraints: 24461
1680.47/1684.86 c #Conflicts: 445000 | #Constraints: 25461
1680.47/1684.86 c #Conflicts: 446000 | #Constraints: 26461
1680.47/1684.86 c INPROCESSING
1680.47/1684.86 c GARBAGE COLLECT
1680.47/1684.86 c #Conflicts: 447000 | #Constraints: 14320
1680.47/1684.86 c #Conflicts: 448000 | #Constraints: 15320
1680.47/1684.86 c #Conflicts: 449000 | #Constraints: 16320
1680.47/1684.86 c #Conflicts: 450000 | #Constraints: 17320
1680.47/1684.86 c #Conflicts: 451000 | #Constraints: 18320
1680.47/1684.86 c #Conflicts: 452000 | #Constraints: 19320
1680.47/1684.86 c #Conflicts: 453000 | #Constraints: 20320
1680.47/1684.86 c #Conflicts: 454000 | #Constraints: 21320
1680.47/1684.86 c #Conflicts: 455000 | #Constraints: 22320
1680.47/1684.86 c #Conflicts: 456000 | #Constraints: 23320
1680.47/1684.86 c #Conflicts: 457000 | #Constraints: 24320
1680.47/1684.86 c #Conflicts: 458000 | #Constraints: 25320
1680.47/1684.86 c #Conflicts: 459000 | #Constraints: 26320
1680.47/1684.86 c #Conflicts: 460000 | #Constraints: 27320
1680.47/1684.86 c INPROCESSING
1680.47/1684.86 c GARBAGE COLLECT
1680.47/1684.86 c #Conflicts: 461000 | #Constraints: 14909
1680.47/1684.86 c #Conflicts: 462000 | #Constraints: 15909
1680.47/1684.86 c #Conflicts: 463000 | #Constraints: 16909
1680.47/1684.86 c #Conflicts: 464000 | #Constraints: 17909
1680.47/1684.86 c #Conflicts: 465000 | #Constraints: 18909
1680.47/1684.86 c #Conflicts: 466000 | #Constraints: 19909
1680.47/1684.86 c #Conflicts: 467000 | #Constraints: 20909
1680.47/1684.86 c #Conflicts: 468000 | #Constraints: 21909
1680.47/1684.86 c #Conflicts: 469000 | #Constraints: 22909
1680.47/1684.86 c #Conflicts: 470000 | #Constraints: 23909
1680.47/1684.86 c #Conflicts: 471000 | #Constraints: 24909
1680.47/1684.86 c #Conflicts: 472000 | #Constraints: 25909
1680.47/1684.86 c #Conflicts: 473000 | #Constraints: 26909
1680.47/1684.86 c #Conflicts: 474000 | #Constraints: 27909
1680.47/1684.86 c INPROCESSING
1680.47/1684.86 c GARBAGE COLLECT
1680.47/1684.86 c #Conflicts: 475000 | #Constraints: 15307
1680.47/1684.86 c #Conflicts: 476000 | #Constraints: 16307
1680.47/1684.86 c #Conflicts: 477000 | #Constraints: 17307
1680.47/1684.86 c #Conflicts: 478000 | #Constraints: 18307
1680.47/1684.86 c #Conflicts: 479000 | #Constraints: 19307
1680.47/1684.86 c #Conflicts: 480000 | #Constraints: 20307
1680.47/1684.86 c #Conflicts: 481000 | #Constraints: 21307
1680.47/1684.86 c #Conflicts: 482000 | #Constraints: 22307
1680.47/1684.86 c #Conflicts: 483000 | #Constraints: 23307
1680.47/1684.86 c #Conflicts: 484000 | #Constraints: 24307
1680.47/1684.86 c #Conflicts: 485000 | #Constraints: 25307
1680.47/1684.86 c #Conflicts: 486000 | #Constraints: 26307
1680.47/1684.86 c #Conflicts: 487000 | #Constraints: 27307
1680.47/1684.86 c #Conflicts: 488000 | #Constraints: 28307
1680.47/1684.86 c INPROCESSING
1680.47/1684.86 c GARBAGE COLLECT
1680.47/1684.86 c #Conflicts: 489000 | #Constraints: 15541
1680.47/1684.86 c #Conflicts: 490000 | #Constraints: 16541
1680.47/1684.86 c #Conflicts: 491000 | #Constraints: 17541
1680.47/1684.86 c #Conflicts: 492000 | #Constraints: 18541
1680.47/1684.86 c #Conflicts: 493000 | #Constraints: 19541
1680.47/1684.86 c #Conflicts: 494000 | #Constraints: 20541
1680.47/1684.86 c #Conflicts: 495000 | #Constraints: 21541
1680.47/1684.86 c #Conflicts: 496000 | #Constraints: 22541
1680.47/1684.86 c #Conflicts: 497000 | #Constraints: 23541
1680.47/1684.86 c #Conflicts: 498000 | #Constraints: 24541
1680.47/1684.86 c #Conflicts: 499000 | #Constraints: 25541
1680.47/1684.86 c #Conflicts: 500000 | #Constraints: 26541
1680.47/1684.86 c #Conflicts: 501000 | #Constraints: 27541
1680.47/1684.86 c #Conflicts: 502000 | #Constraints: 28541
1680.47/1684.86 c INPROCESSING
1680.47/1684.86 c GARBAGE COLLECT
1680.47/1684.86 c #Conflicts: 503000 | #Constraints: 15573
1680.47/1684.86 c #Conflicts: 504000 | #Constraints: 16573
1680.47/1684.86 c #Conflicts: 505000 | #Constraints: 17573
1680.47/1684.86 c #Conflicts: 506000 | #Constraints: 18573
1680.47/1684.86 c #Conflicts: 507000 | #Constraints: 19573
1680.47/1684.86 c #Conflicts: 508000 | #Constraints: 20573
1680.47/1684.86 c #Conflicts: 509000 | #Constraints: 21573
1680.47/1684.86 c #Conflicts: 510000 | #Constraints: 22573
1680.47/1684.86 c #Conflicts: 511000 | #Constraints: 23573
1680.47/1684.86 c #Conflicts: 512000 | #Constraints: 24573
1680.47/1684.86 c #Conflicts: 513000 | #Constraints: 25573
1812.41/1817.18 c #Conflicts: 514000 | #Constraints: 26573
1812.41/1817.18 c #Conflicts: 515000 | #Constraints: 27573
1812.41/1817.18 c #Conflicts: 516000 | #Constraints: 28573
1812.41/1817.18 c INPROCESSING
1812.41/1817.18 c GARBAGE COLLECT
1812.41/1817.18 c #Conflicts: 517000 | #Constraints: 15299
1812.41/1817.18 c #Conflicts: 518000 | #Constraints: 16299
1812.41/1817.18 c #Conflicts: 519000 | #Constraints: 17299
1812.41/1817.18 c #Conflicts: 520000 | #Constraints: 18299
1812.41/1817.18 c #Conflicts: 521000 | #Constraints: 19299
1812.41/1817.18 c #Conflicts: 522000 | #Constraints: 20299
1812.41/1817.18 c #Conflicts: 523000 | #Constraints: 21299
1812.41/1817.18 c #Conflicts: 524000 | #Constraints: 22299
1812.41/1817.18 c #Conflicts: 525000 | #Constraints: 23299
1812.41/1817.18 c #Conflicts: 526000 | #Constraints: 24299
1812.41/1817.18 c #Conflicts: 527000 | #Constraints: 25299
1812.41/1817.18 c #Conflicts: 528000 | #Constraints: 26299
1812.41/1817.18 c #Conflicts: 529000 | #Constraints: 27299
1812.41/1817.18 c #Conflicts: 530000 | #Constraints: 28299
1812.41/1817.18 c #Conflicts: 531000 | #Constraints: 29299
1812.41/1817.18 c INPROCESSING
1812.41/1817.18 c GARBAGE COLLECT
1812.41/1817.18 c #Conflicts: 532000 | #Constraints: 15878
1812.41/1817.18 c #Conflicts: 533000 | #Constraints: 16878
1812.41/1817.18 c #Conflicts: 534000 | #Constraints: 17878
1812.41/1817.18 c #Conflicts: 535000 | #Constraints: 18878
1812.41/1817.18 c #Conflicts: 536000 | #Constraints: 19878
1812.41/1817.18 c #Conflicts: 537000 | #Constraints: 20878
1812.41/1817.18 c #Conflicts: 538000 | #Constraints: 21878
1812.41/1817.18 c #Conflicts: 539000 | #Constraints: 22878
1812.41/1817.18 c #Conflicts: 540000 | #Constraints: 23878
1812.41/1817.18 c #Conflicts: 541000 | #Constraints: 24878
1812.41/1817.18 c #Conflicts: 542000 | #Constraints: 25878
1812.41/1817.18 c #Conflicts: 543000 | #Constraints: 26878
1812.41/1817.18 c #Conflicts: 544000 | #Constraints: 27878
1812.41/1817.18 c #Conflicts: 545000 | #Constraints: 28878
1812.41/1817.18 c #Conflicts: 546000 | #Constraints: 29878
1812.41/1817.18 c INPROCESSING
1812.41/1817.18 c GARBAGE COLLECT
1812.41/1817.18 c #Conflicts: 547000 | #Constraints: 16250
1812.41/1817.18 c #Conflicts: 548000 | #Constraints: 17250
1812.41/1817.18 c #Conflicts: 549000 | #Constraints: 18250
1812.41/1817.18 c #Conflicts: 550000 | #Constraints: 19250
1812.41/1817.18 c #Conflicts: 551000 | #Constraints: 20250
1812.41/1817.18 c #Conflicts: 552000 | #Constraints: 21250
1812.41/1817.18 c #Conflicts: 553000 | #Constraints: 22250
1812.41/1817.18 c #Conflicts: 554000 | #Constraints: 23250
1812.41/1817.18 c #Conflicts: 555000 | #Constraints: 24250
1812.41/1817.18 c #Conflicts: 556000 | #Constraints: 25250
1812.41/1817.18 c #Conflicts: 557000 | #Constraints: 26250
1812.41/1817.18 c #Conflicts: 558000 | #Constraints: 27250
1812.41/1817.18 c #Conflicts: 559000 | #Constraints: 28250
1812.41/1817.18 c #Conflicts: 560000 | #Constraints: 29250
1812.41/1817.18 c #Conflicts: 561000 | #Constraints: 30250
1812.41/1817.18 c INPROCESSING
1812.41/1817.18 c GARBAGE COLLECT
1812.41/1817.18 c #Conflicts: 562000 | #Constraints: 16451
1812.41/1817.18 c #Conflicts: 563000 | #Constraints: 17451
1812.41/1817.18 c #Conflicts: 564000 | #Constraints: 18451
1812.41/1817.18 c #Conflicts: 565000 | #Constraints: 19451
1812.41/1817.18 c #Conflicts: 566000 | #Constraints: 20451
1812.41/1817.18 c #Conflicts: 567000 | #Constraints: 21451
1812.41/1817.18 c #Conflicts: 568000 | #Constraints: 22451
1812.41/1817.18 c #Conflicts: 569000 | #Constraints: 23451
1812.41/1817.18 c #Conflicts: 570000 | #Constraints: 24451
1812.41/1817.18 c #Conflicts: 571000 | #Constraints: 25451
1812.41/1817.18 c #Conflicts: 572000 | #Constraints: 26451
1812.41/1817.18 c #Conflicts: 573000 | #Constraints: 27451
1812.41/1817.18 c #Conflicts: 574000 | #Constraints: 28451
1812.41/1817.18 c #Conflicts: 575000 | #Constraints: 29451
1812.41/1817.18 c #Conflicts: 576000 | #Constraints: 30451
1812.41/1817.18 c INPROCESSING
1812.41/1817.18 c GARBAGE COLLECT
1812.41/1817.18 c #Conflicts: 577000 | #Constraints: 16447
1812.41/1817.18 c #Conflicts: 578000 | #Constraints: 17447
1812.41/1817.18 c #Conflicts: 579000 | #Constraints: 18447
1812.41/1817.18 c #Conflicts: 580000 | #Constraints: 19447
1812.41/1817.18 c #Conflicts: 581000 | #Constraints: 20447
1812.41/1817.18 c #Conflicts: 582000 | #Constraints: 21447
1812.41/1817.18 c #Conflicts: 583000 | #Constraints: 22447
1812.41/1817.18 c #Conflicts: 584000 | #Constraints: 23447
1812.41/1817.18 c #Conflicts: 585000 | #Constraints: 24447
1812.41/1817.18 c #Conflicts: 586000 | #Constraints: 25447
1812.41/1817.18 c #Conflicts: 587000 | #Constraints: 26447
1812.41/1817.18 c #Conflicts: 588000 | #Constraints: 27447
2110.63/2116.21 c #Conflicts: 589000 | #Constraints: 28447
2110.63/2116.21 c #Conflicts: 590000 | #Constraints: 29447
2110.63/2116.21 c #Conflicts: 591000 | #Constraints: 30447
2110.63/2116.21 c INPROCESSING
2110.63/2116.21 c GARBAGE COLLECT
2110.63/2116.21 c #Conflicts: 592000 | #Constraints: 16249
2110.63/2116.21 c #Conflicts: 593000 | #Constraints: 17249
2110.63/2116.21 c #Conflicts: 594000 | #Constraints: 18249
2110.63/2116.21 c #Conflicts: 595000 | #Constraints: 19249
2110.63/2116.21 c #Conflicts: 596000 | #Constraints: 20249
2110.63/2116.21 c #Conflicts: 597000 | #Constraints: 21249
2110.63/2116.21 c #Conflicts: 598000 | #Constraints: 22249
2110.63/2116.21 c #Conflicts: 599000 | #Constraints: 23249
2110.63/2116.21 c #Conflicts: 600000 | #Constraints: 24249
2110.63/2116.21 c #Conflicts: 601000 | #Constraints: 25249
2110.63/2116.21 c #Conflicts: 602000 | #Constraints: 26249
2110.63/2116.21 c #Conflicts: 603000 | #Constraints: 27249
2110.63/2116.21 c #Conflicts: 604000 | #Constraints: 28249
2110.63/2116.21 c #Conflicts: 605000 | #Constraints: 29249
2110.63/2116.21 c #Conflicts: 606000 | #Constraints: 30249
2110.63/2116.21 c #Conflicts: 607000 | #Constraints: 31249
2110.63/2116.21 c INPROCESSING
2110.63/2116.21 c GARBAGE COLLECT
2110.63/2116.21 c #Conflicts: 608000 | #Constraints: 16862
2110.63/2116.21 c #Conflicts: 609000 | #Constraints: 17862
2110.63/2116.21 c #Conflicts: 610000 | #Constraints: 18862
2110.63/2116.21 c #Conflicts: 611000 | #Constraints: 19862
2110.63/2116.21 c #Conflicts: 612000 | #Constraints: 20862
2110.63/2116.21 c #Conflicts: 613000 | #Constraints: 21862
2110.63/2116.21 c #Conflicts: 614000 | #Constraints: 22862
2110.63/2116.21 c #Conflicts: 615000 | #Constraints: 23862
2110.63/2116.21 c #Conflicts: 616000 | #Constraints: 24862
2110.63/2116.21 c #Conflicts: 617000 | #Constraints: 25862
2110.63/2116.21 c #Conflicts: 618000 | #Constraints: 26862
2110.63/2116.21 c #Conflicts: 619000 | #Constraints: 27862
2110.63/2116.21 c #Conflicts: 620000 | #Constraints: 28862
2110.63/2116.21 c #Conflicts: 621000 | #Constraints: 29862
2110.63/2116.21 c #Conflicts: 622000 | #Constraints: 30862
2110.63/2116.21 c #Conflicts: 623000 | #Constraints: 31862
2110.63/2116.21 c INPROCESSING
2110.63/2116.21 c GARBAGE COLLECT
2110.63/2116.21 c #Conflicts: 624000 | #Constraints: 17250
2110.63/2116.21 c #Conflicts: 625000 | #Constraints: 18250
2110.63/2116.21 c #Conflicts: 626000 | #Constraints: 19250
2110.63/2116.21 c #Conflicts: 627000 | #Constraints: 20250
2110.63/2116.21 c #Conflicts: 628000 | #Constraints: 21250
2110.63/2116.21 c #Conflicts: 629000 | #Constraints: 22250
2110.63/2116.21 c #Conflicts: 630000 | #Constraints: 23250
2110.63/2116.21 c #Conflicts: 631000 | #Constraints: 24250
2110.63/2116.21 c #Conflicts: 632000 | #Constraints: 25250
2110.63/2116.21 c #Conflicts: 633000 | #Constraints: 26250
2110.63/2116.21 c #Conflicts: 634000 | #Constraints: 27250
2110.63/2116.21 c #Conflicts: 635000 | #Constraints: 28250
2110.63/2116.21 c #Conflicts: 636000 | #Constraints: 29250
2110.63/2116.21 c #Conflicts: 637000 | #Constraints: 30250
2110.63/2116.21 c #Conflicts: 638000 | #Constraints: 31250
2110.63/2116.21 c #Conflicts: 639000 | #Constraints: 32250
2110.63/2116.21 c INPROCESSING
2110.63/2116.21 c GARBAGE COLLECT
2110.63/2116.21 c #Conflicts: 640000 | #Constraints: 17447
2110.63/2116.21 c #Conflicts: 641000 | #Constraints: 18447
2110.63/2116.21 c #Conflicts: 642000 | #Constraints: 19447
2110.63/2116.21 c #Conflicts: 643000 | #Constraints: 20447
2110.63/2116.21 c #Conflicts: 644000 | #Constraints: 21447
2110.63/2116.21 c #Conflicts: 645000 | #Constraints: 22447
2110.63/2116.21 c #Conflicts: 646000 | #Constraints: 23447
2110.63/2116.21 c #Conflicts: 647000 | #Constraints: 24447
2110.63/2116.21 c #Conflicts: 648000 | #Constraints: 25447
2110.63/2116.21 c #Conflicts: 649000 | #Constraints: 26447
2110.63/2116.21 c #Conflicts: 650000 | #Constraints: 27447
2110.63/2116.21 c #Conflicts: 651000 | #Constraints: 28447
2110.63/2116.21 c #Conflicts: 652000 | #Constraints: 29447
2110.63/2116.21 c #Conflicts: 653000 | #Constraints: 30447
2110.63/2116.21 c #Conflicts: 654000 | #Constraints: 31447
2110.63/2116.21 c #Conflicts: 655000 | #Constraints: 32447
2110.63/2116.21 c INPROCESSING
2110.63/2116.21 c GARBAGE COLLECT
2110.63/2116.21 c #Conflicts: 656000 | #Constraints: 17455
2110.63/2116.21 c #Conflicts: 657000 | #Constraints: 18455
2110.63/2116.21 c #Conflicts: 658000 | #Constraints: 19455
2110.63/2116.21 c #Conflicts: 659000 | #Constraints: 20455
2110.63/2116.21 c #Conflicts: 660000 | #Constraints: 21455
2110.63/2116.21 c #Conflicts: 661000 | #Constraints: 22455
2110.63/2116.21 c #Conflicts: 662000 | #Constraints: 23455
2110.63/2116.21 c #Conflicts: 663000 | #Constraints: 24455
2110.63/2116.21 c #Conflicts: 664000 | #Constraints: 25455
2420.42/2426.90 c #Conflicts: 665000 | #Constraints: 26455
2420.42/2426.90 c #Conflicts: 666000 | #Constraints: 27455
2420.42/2426.90 c #Conflicts: 667000 | #Constraints: 28455
2420.42/2426.90 c #Conflicts: 668000 | #Constraints: 29455
2420.42/2426.90 c #Conflicts: 669000 | #Constraints: 30455
2420.42/2426.90 c #Conflicts: 670000 | #Constraints: 31455
2420.42/2426.90 c #Conflicts: 671000 | #Constraints: 32455
2420.42/2426.90 c INPROCESSING
2420.42/2426.90 c GARBAGE COLLECT
2420.42/2426.90 c #Conflicts: 672000 | #Constraints: 17247
2420.42/2426.90 c #Conflicts: 673000 | #Constraints: 18247
2420.42/2426.90 c #Conflicts: 674000 | #Constraints: 19247
2420.42/2426.90 c #Conflicts: 675000 | #Constraints: 20247
2420.42/2426.90 c #Conflicts: 676000 | #Constraints: 21247
2420.42/2426.90 c #Conflicts: 677000 | #Constraints: 22247
2420.42/2426.90 c #Conflicts: 678000 | #Constraints: 23247
2420.42/2426.90 c #Conflicts: 679000 | #Constraints: 24247
2420.42/2426.90 c #Conflicts: 680000 | #Constraints: 25247
2420.42/2426.90 c #Conflicts: 681000 | #Constraints: 26247
2420.42/2426.90 c #Conflicts: 682000 | #Constraints: 27247
2420.42/2426.90 c #Conflicts: 683000 | #Constraints: 28247
2420.42/2426.90 c #Conflicts: 684000 | #Constraints: 29247
2420.42/2426.90 c #Conflicts: 685000 | #Constraints: 30247
2420.42/2426.90 c #Conflicts: 686000 | #Constraints: 31247
2420.42/2426.90 c #Conflicts: 687000 | #Constraints: 32247
2420.42/2426.90 c #Conflicts: 688000 | #Constraints: 33247
2420.42/2426.90 c INPROCESSING
2420.42/2426.90 c GARBAGE COLLECT
2420.42/2426.90 c #Conflicts: 689000 | #Constraints: 17837
2420.42/2426.90 c #Conflicts: 690000 | #Constraints: 18837
2420.42/2426.90 c #Conflicts: 691000 | #Constraints: 19837
2420.42/2426.90 c #Conflicts: 692000 | #Constraints: 20837
2420.42/2426.90 c #Conflicts: 693000 | #Constraints: 21837
2420.42/2426.90 c #Conflicts: 694000 | #Constraints: 22837
2420.42/2426.90 c #Conflicts: 695000 | #Constraints: 23837
2420.42/2426.90 c #Conflicts: 696000 | #Constraints: 24837
2420.42/2426.90 c #Conflicts: 697000 | #Constraints: 25837
2420.42/2426.90 c #Conflicts: 698000 | #Constraints: 26837
2420.42/2426.90 c #Conflicts: 699000 | #Constraints: 27837
2420.42/2426.90 c #Conflicts: 700000 | #Constraints: 28837
2420.42/2426.90 c #Conflicts: 701000 | #Constraints: 29837
2420.42/2426.90 c #Conflicts: 702000 | #Constraints: 30837
2420.42/2426.90 c #Conflicts: 703000 | #Constraints: 31837
2420.42/2426.90 c #Conflicts: 704000 | #Constraints: 32837
2420.42/2426.90 c #Conflicts: 705000 | #Constraints: 33837
2420.42/2426.90 c INPROCESSING
2420.42/2426.90 c GARBAGE COLLECT
2420.42/2426.90 c #Conflicts: 706000 | #Constraints: 18255
2420.42/2426.90 c #Conflicts: 707000 | #Constraints: 19255
2420.42/2426.90 c #Conflicts: 708000 | #Constraints: 20255
2420.42/2426.90 c #Conflicts: 709000 | #Constraints: 21255
2420.42/2426.90 c #Conflicts: 710000 | #Constraints: 22255
2420.42/2426.90 c #Conflicts: 711000 | #Constraints: 23255
2420.42/2426.90 c #Conflicts: 712000 | #Constraints: 24255
2420.42/2426.90 c #Conflicts: 713000 | #Constraints: 25255
2420.42/2426.90 c #Conflicts: 714000 | #Constraints: 26255
2420.42/2426.90 c #Conflicts: 715000 | #Constraints: 27255
2420.42/2426.90 c #Conflicts: 716000 | #Constraints: 28255
2420.42/2426.90 c #Conflicts: 717000 | #Constraints: 29255
2420.42/2426.90 c #Conflicts: 718000 | #Constraints: 30255
2420.42/2426.90 c #Conflicts: 719000 | #Constraints: 31255
2420.42/2426.90 c #Conflicts: 720000 | #Constraints: 32255
2420.42/2426.90 c #Conflicts: 721000 | #Constraints: 33255
2420.42/2426.90 c #Conflicts: 722000 | #Constraints: 34255
2420.42/2426.90 c INPROCESSING
2420.42/2426.90 c GARBAGE COLLECT
2420.42/2426.90 c #Conflicts: 723000 | #Constraints: 18460
2420.42/2426.90 c #Conflicts: 724000 | #Constraints: 19460
2420.42/2426.90 c #Conflicts: 725000 | #Constraints: 20460
2420.42/2426.90 c #Conflicts: 726000 | #Constraints: 21460
2420.42/2426.90 c #Conflicts: 727000 | #Constraints: 22460
2420.42/2426.90 c #Conflicts: 728000 | #Constraints: 23460
2420.42/2426.90 c #Conflicts: 729000 | #Constraints: 24460
2420.42/2426.90 c #Conflicts: 730000 | #Constraints: 25460
2420.42/2426.90 c #Conflicts: 731000 | #Constraints: 26460
2420.42/2426.90 c #Conflicts: 732000 | #Constraints: 27460
2420.42/2426.90 c #Conflicts: 733000 | #Constraints: 28460
2420.42/2426.90 c #Conflicts: 734000 | #Constraints: 29460
2420.42/2426.90 c #Conflicts: 735000 | #Constraints: 30460
2420.42/2426.90 c #Conflicts: 736000 | #Constraints: 31460
2420.42/2426.90 c #Conflicts: 737000 | #Constraints: 32460
2420.42/2426.90 c #Conflicts: 738000 | #Constraints: 33460
2420.42/2426.90 c #Conflicts: 739000 | #Constraints: 34460
2420.42/2426.90 c INPROCESSING
2420.42/2426.90 c GARBAGE COLLECT
2573.08/2580.06 c #Conflicts: 740000 | #Constraints: 18451
2573.08/2580.06 c #Conflicts: 741000 | #Constraints: 19451
2573.08/2580.06 c #Conflicts: 742000 | #Constraints: 20451
2573.08/2580.06 c #Conflicts: 743000 | #Constraints: 21451
2573.08/2580.06 c #Conflicts: 744000 | #Constraints: 22451
2573.08/2580.06 c #Conflicts: 745000 | #Constraints: 23451
2573.08/2580.06 c #Conflicts: 746000 | #Constraints: 24451
2573.08/2580.06 c #Conflicts: 747000 | #Constraints: 25451
2573.08/2580.06 c #Conflicts: 748000 | #Constraints: 26451
2573.08/2580.06 c #Conflicts: 749000 | #Constraints: 27451
2573.08/2580.06 c #Conflicts: 750000 | #Constraints: 28451
2573.08/2580.06 c #Conflicts: 751000 | #Constraints: 29451
2573.08/2580.06 c #Conflicts: 752000 | #Constraints: 30451
2573.08/2580.06 c #Conflicts: 753000 | #Constraints: 31451
2573.08/2580.06 c #Conflicts: 754000 | #Constraints: 32451
2573.08/2580.06 c #Conflicts: 755000 | #Constraints: 33451
2573.08/2580.06 c #Conflicts: 756000 | #Constraints: 34451
2573.08/2580.06 c INPROCESSING
2573.08/2580.06 c GARBAGE COLLECT
2573.08/2580.06 c #Conflicts: 757000 | #Constraints: 18244
2573.08/2580.06 c #Conflicts: 758000 | #Constraints: 19244
2573.08/2580.06 c #Conflicts: 759000 | #Constraints: 20244
2573.08/2580.06 c #Conflicts: 760000 | #Constraints: 21244
2573.08/2580.06 c #Conflicts: 761000 | #Constraints: 22244
2573.08/2580.06 c #Conflicts: 762000 | #Constraints: 23244
2573.08/2580.06 c #Conflicts: 763000 | #Constraints: 24244
2573.08/2580.06 c #Conflicts: 764000 | #Constraints: 25244
2573.08/2580.06 c #Conflicts: 765000 | #Constraints: 26244
2573.08/2580.06 c #Conflicts: 766000 | #Constraints: 27244
2573.08/2580.06 c #Conflicts: 767000 | #Constraints: 28244
2573.08/2580.06 c #Conflicts: 768000 | #Constraints: 29244
2573.08/2580.06 c #Conflicts: 769000 | #Constraints: 30244
2573.08/2580.06 c #Conflicts: 770000 | #Constraints: 31244
2573.08/2580.06 c #Conflicts: 771000 | #Constraints: 32244
2573.08/2580.06 c #Conflicts: 772000 | #Constraints: 33244
2573.08/2580.06 c #Conflicts: 773000 | #Constraints: 34244
2573.08/2580.06 c #Conflicts: 774000 | #Constraints: 35244
2573.08/2580.06 c INPROCESSING
2573.08/2580.06 c GARBAGE COLLECT
2573.08/2580.06 c #Conflicts: 775000 | #Constraints: 18836
2573.08/2580.06 c #Conflicts: 776000 | #Constraints: 19836
2573.08/2580.06 c #Conflicts: 777000 | #Constraints: 20836
2573.08/2580.06 c #Conflicts: 778000 | #Constraints: 21836
2573.08/2580.06 c #Conflicts: 779000 | #Constraints: 22836
2573.08/2580.06 c #Conflicts: 780000 | #Constraints: 23836
2573.08/2580.06 c #Conflicts: 781000 | #Constraints: 24836
2573.08/2580.06 c #Conflicts: 782000 | #Constraints: 25836
2573.08/2580.06 c #Conflicts: 783000 | #Constraints: 26836
2573.08/2580.06 c #Conflicts: 784000 | #Constraints: 27836
2573.08/2580.06 c #Conflicts: 785000 | #Constraints: 28836
2573.08/2580.06 c #Conflicts: 786000 | #Constraints: 29836
2573.08/2580.06 c #Conflicts: 787000 | #Constraints: 30836
2573.08/2580.06 c #Conflicts: 788000 | #Constraints: 31836
2573.08/2580.06 c #Conflicts: 789000 | #Constraints: 32836
2573.08/2580.06 c #Conflicts: 790000 | #Constraints: 33836
2573.08/2580.06 c #Conflicts: 791000 | #Constraints: 34836
2573.08/2580.06 c #Conflicts: 792000 | #Constraints: 35836
2573.08/2580.06 c INPROCESSING
2573.08/2580.06 c GARBAGE COLLECT
2573.08/2580.06 c #Conflicts: 793000 | #Constraints: 19224
2573.08/2580.06 c #Conflicts: 794000 | #Constraints: 20224
2573.08/2580.06 c #Conflicts: 795000 | #Constraints: 21224
2573.08/2580.06 c #Conflicts: 796000 | #Constraints: 22224
2573.08/2580.06 c #Conflicts: 797000 | #Constraints: 23224
2573.08/2580.06 c #Conflicts: 798000 | #Constraints: 24224
2573.08/2580.06 c #Conflicts: 799000 | #Constraints: 25224
2573.08/2580.06 c #Conflicts: 800000 | #Constraints: 26224
2573.08/2580.06 c #Conflicts: 801000 | #Constraints: 27224
2573.08/2580.06 c #Conflicts: 802000 | #Constraints: 28224
2573.08/2580.06 c #Conflicts: 803000 | #Constraints: 29224
2573.08/2580.06 c #Conflicts: 804000 | #Constraints: 30224
2573.08/2580.06 c #Conflicts: 805000 | #Constraints: 31224
2573.08/2580.06 c #Conflicts: 806000 | #Constraints: 32224
2573.08/2580.06 c #Conflicts: 807000 | #Constraints: 33224
2573.08/2580.06 c #Conflicts: 808000 | #Constraints: 34224
2573.08/2580.06 c #Conflicts: 809000 | #Constraints: 35224
2573.08/2580.06 c #Conflicts: 810000 | #Constraints: 36224
2573.08/2580.06 c INPROCESSING
2573.08/2580.06 c GARBAGE COLLECT
2573.08/2580.06 c #Conflicts: 811000 | #Constraints: 19436
2573.08/2580.06 c #Conflicts: 812000 | #Constraints: 20436
2573.08/2580.06 c #Conflicts: 813000 | #Constraints: 21436
2573.08/2580.06 c #Conflicts: 814000 | #Constraints: 22436
2573.08/2580.06 c #Conflicts: 815000 | #Constraints: 23436
2573.08/2580.06 c #Conflicts: 816000 | #Constraints: 24436
2750.15/2757.67 c #Conflicts: 817000 | #Constraints: 25436
2750.15/2757.67 c #Conflicts: 818000 | #Constraints: 26436
2750.15/2757.67 c #Conflicts: 819000 | #Constraints: 27436
2750.15/2757.67 c #Conflicts: 820000 | #Constraints: 28436
2750.15/2757.67 c #Conflicts: 821000 | #Constraints: 29436
2750.15/2757.67 c #Conflicts: 822000 | #Constraints: 30436
2750.15/2757.67 c #Conflicts: 823000 | #Constraints: 31436
2750.15/2757.67 c #Conflicts: 824000 | #Constraints: 32436
2750.15/2757.67 c #Conflicts: 825000 | #Constraints: 33436
2750.15/2757.67 c #Conflicts: 826000 | #Constraints: 34436
2750.15/2757.67 c #Conflicts: 827000 | #Constraints: 35436
2750.15/2757.67 c #Conflicts: 828000 | #Constraints: 36436
2750.15/2757.67 c INPROCESSING
2750.15/2757.67 c GARBAGE COLLECT
2750.15/2757.67 c #Conflicts: 829000 | #Constraints: 19445
2750.15/2757.67 c #Conflicts: 830000 | #Constraints: 20445
2750.15/2757.67 c #Conflicts: 831000 | #Constraints: 21445
2750.15/2757.67 c #Conflicts: 832000 | #Constraints: 22445
2750.15/2757.67 c #Conflicts: 833000 | #Constraints: 23445
2750.15/2757.67 c #Conflicts: 834000 | #Constraints: 24445
2750.15/2757.67 c #Conflicts: 835000 | #Constraints: 25445
2750.15/2757.67 c #Conflicts: 836000 | #Constraints: 26445
2750.15/2757.67 c #Conflicts: 837000 | #Constraints: 27445
2750.15/2757.67 c #Conflicts: 838000 | #Constraints: 28445
2750.15/2757.67 c #Conflicts: 839000 | #Constraints: 29445
2750.15/2757.67 c #Conflicts: 840000 | #Constraints: 30445
2750.15/2757.67 c #Conflicts: 841000 | #Constraints: 31445
2750.15/2757.67 c #Conflicts: 842000 | #Constraints: 32445
2750.15/2757.67 c #Conflicts: 843000 | #Constraints: 33445
2750.15/2757.67 c #Conflicts: 844000 | #Constraints: 34445
2750.15/2757.67 c #Conflicts: 845000 | #Constraints: 35445
2750.15/2757.67 c #Conflicts: 846000 | #Constraints: 36445
2750.15/2757.67 c INPROCESSING
2750.15/2757.67 c GARBAGE COLLECT
2750.15/2757.67 c #Conflicts: 847000 | #Constraints: 19245
2750.15/2757.67 c #Conflicts: 848000 | #Constraints: 20245
2750.15/2757.67 c #Conflicts: 849000 | #Constraints: 21245
2750.15/2757.67 c #Conflicts: 850000 | #Constraints: 22245
2750.15/2757.67 c #Conflicts: 851000 | #Constraints: 23245
2750.15/2757.67 c #Conflicts: 852000 | #Constraints: 24245
2750.15/2757.67 c #Conflicts: 853000 | #Constraints: 25245
2750.15/2757.67 c #Conflicts: 854000 | #Constraints: 26245
2750.15/2757.67 c #Conflicts: 855000 | #Constraints: 27245
2750.15/2757.67 c #Conflicts: 856000 | #Constraints: 28245
2750.15/2757.67 c #Conflicts: 857000 | #Constraints: 29245
2750.15/2757.67 c #Conflicts: 858000 | #Constraints: 30245
2750.15/2757.67 c #Conflicts: 859000 | #Constraints: 31245
2750.15/2757.67 c #Conflicts: 860000 | #Constraints: 32245
2750.15/2757.67 c #Conflicts: 861000 | #Constraints: 33245
2750.15/2757.67 c #Conflicts: 862000 | #Constraints: 34245
2750.15/2757.67 c #Conflicts: 863000 | #Constraints: 35245
2750.15/2757.67 c #Conflicts: 864000 | #Constraints: 36245
2750.15/2757.67 c #Conflicts: 865000 | #Constraints: 37245
2750.15/2757.67 c INPROCESSING
2750.15/2757.67 c GARBAGE COLLECT
2750.15/2757.67 c #Conflicts: 866000 | #Constraints: 19839
2750.15/2757.67 c #Conflicts: 867000 | #Constraints: 20839
2750.15/2757.67 c #Conflicts: 868000 | #Constraints: 21839
2750.15/2757.67 c #Conflicts: 869000 | #Constraints: 22839
2750.15/2757.67 c #Conflicts: 870000 | #Constraints: 23839
2750.15/2757.67 c #Conflicts: 871000 | #Constraints: 24839
2750.15/2757.67 c #Conflicts: 872000 | #Constraints: 25839
2750.15/2757.67 c #Conflicts: 873000 | #Constraints: 26839
2750.15/2757.67 c #Conflicts: 874000 | #Constraints: 27839
2750.15/2757.67 c #Conflicts: 875000 | #Constraints: 28839
2750.15/2757.67 c #Conflicts: 876000 | #Constraints: 29839
2750.15/2757.67 c #Conflicts: 877000 | #Constraints: 30839
2750.15/2757.67 c #Conflicts: 878000 | #Constraints: 31839
2750.15/2757.67 c #Conflicts: 879000 | #Constraints: 32839
2750.15/2757.67 c #Conflicts: 880000 | #Constraints: 33839
2750.15/2757.67 c #Conflicts: 881000 | #Constraints: 34839
2750.15/2757.67 c #Conflicts: 882000 | #Constraints: 35839
2750.15/2757.67 c #Conflicts: 883000 | #Constraints: 36839
2750.15/2757.67 c #Conflicts: 884000 | #Constraints: 37839
2750.15/2757.67 c INPROCESSING
2750.15/2757.67 c GARBAGE COLLECT
2750.15/2757.67 c #Conflicts: 885000 | #Constraints: 20238
2750.15/2757.67 c #Conflicts: 886000 | #Constraints: 21238
2750.15/2757.67 c #Conflicts: 887000 | #Constraints: 22238
2750.15/2757.67 c #Conflicts: 888000 | #Constraints: 23238
2750.15/2757.67 c #Conflicts: 889000 | #Constraints: 24238
2750.15/2757.67 c #Conflicts: 890000 | #Constraints: 25238
2750.15/2757.67 c #Conflicts: 891000 | #Constraints: 26238
2750.15/2757.67 c #Conflicts: 892000 | #Constraints: 27238
3008.60/3016.85 c #Conflicts: 893000 | #Constraints: 28238
3008.60/3016.85 c #Conflicts: 894000 | #Constraints: 29238
3008.60/3016.85 c #Conflicts: 895000 | #Constraints: 30238
3008.60/3016.85 c #Conflicts: 896000 | #Constraints: 31238
3008.60/3016.85 c #Conflicts: 897000 | #Constraints: 32238
3008.60/3016.85 c #Conflicts: 898000 | #Constraints: 33238
3008.60/3016.85 c #Conflicts: 899000 | #Constraints: 34238
3008.60/3016.85 c #Conflicts: 900000 | #Constraints: 35238
3008.60/3016.85 c #Conflicts: 901000 | #Constraints: 36238
3008.60/3016.85 c #Conflicts: 902000 | #Constraints: 37238
3008.60/3016.85 c #Conflicts: 903000 | #Constraints: 38238
3008.60/3016.85 c INPROCESSING
3008.60/3016.85 c GARBAGE COLLECT
3008.60/3016.85 c #Conflicts: 904000 | #Constraints: 20434
3008.60/3016.85 c #Conflicts: 905000 | #Constraints: 21434
3008.60/3016.85 c #Conflicts: 906000 | #Constraints: 22434
3008.60/3016.85 c #Conflicts: 907000 | #Constraints: 23434
3008.60/3016.85 c #Conflicts: 908000 | #Constraints: 24434
3008.60/3016.85 c #Conflicts: 909000 | #Constraints: 25434
3008.60/3016.85 c #Conflicts: 910000 | #Constraints: 26434
3008.60/3016.85 c #Conflicts: 911000 | #Constraints: 27434
3008.60/3016.85 c #Conflicts: 912000 | #Constraints: 28434
3008.60/3016.85 c #Conflicts: 913000 | #Constraints: 29434
3008.60/3016.85 c #Conflicts: 914000 | #Constraints: 30434
3008.60/3016.85 c #Conflicts: 915000 | #Constraints: 31434
3008.60/3016.85 c #Conflicts: 916000 | #Constraints: 32434
3008.60/3016.85 c #Conflicts: 917000 | #Constraints: 33434
3008.60/3016.85 c #Conflicts: 918000 | #Constraints: 34434
3008.60/3016.85 c #Conflicts: 919000 | #Constraints: 35434
3008.60/3016.85 c #Conflicts: 920000 | #Constraints: 36434
3008.60/3016.85 c #Conflicts: 921000 | #Constraints: 37434
3008.60/3016.85 c #Conflicts: 922000 | #Constraints: 38434
3008.60/3016.85 c INPROCESSING
3008.60/3016.85 c GARBAGE COLLECT
3008.60/3016.85 c #Conflicts: 923000 | #Constraints: 20432
3008.60/3016.85 c #Conflicts: 924000 | #Constraints: 21432
3008.60/3016.85 c #Conflicts: 925000 | #Constraints: 22432
3008.60/3016.85 c #Conflicts: 926000 | #Constraints: 23432
3008.60/3016.85 c #Conflicts: 927000 | #Constraints: 24432
3008.60/3016.85 c #Conflicts: 928000 | #Constraints: 25432
3008.60/3016.85 c #Conflicts: 929000 | #Constraints: 26432
3008.60/3016.85 c #Conflicts: 930000 | #Constraints: 27432
3008.60/3016.85 c #Conflicts: 931000 | #Constraints: 28432
3008.60/3016.85 c #Conflicts: 932000 | #Constraints: 29432
3008.60/3016.85 c #Conflicts: 933000 | #Constraints: 30432
3008.60/3016.85 c #Conflicts: 934000 | #Constraints: 31432
3008.60/3016.85 c #Conflicts: 935000 | #Constraints: 32432
3008.60/3016.85 c #Conflicts: 936000 | #Constraints: 33432
3008.60/3016.85 c #Conflicts: 937000 | #Constraints: 34432
3008.60/3016.85 c #Conflicts: 938000 | #Constraints: 35432
3008.60/3016.85 c #Conflicts: 939000 | #Constraints: 36432
3008.60/3016.85 c #Conflicts: 940000 | #Constraints: 37432
3008.60/3016.85 c #Conflicts: 941000 | #Constraints: 38432
3008.60/3016.85 c INPROCESSING
3008.60/3016.85 c GARBAGE COLLECT
3008.60/3016.85 c #Conflicts: 942000 | #Constraints: 20272
3008.60/3016.85 c #Conflicts: 943000 | #Constraints: 21272
3008.60/3016.85 c #Conflicts: 944000 | #Constraints: 22272
3008.60/3016.85 c #Conflicts: 945000 | #Constraints: 23272
3008.60/3016.85 c #Conflicts: 946000 | #Constraints: 24272
3008.60/3016.85 c #Conflicts: 947000 | #Constraints: 25272
3008.60/3016.85 c #Conflicts: 948000 | #Constraints: 26272
3008.60/3016.85 c #Conflicts: 949000 | #Constraints: 27272
3008.60/3016.85 c #Conflicts: 950000 | #Constraints: 28272
3008.60/3016.85 c #Conflicts: 951000 | #Constraints: 29272
3008.60/3016.85 c #Conflicts: 952000 | #Constraints: 30272
3008.60/3016.85 c #Conflicts: 953000 | #Constraints: 31272
3008.60/3016.85 c #Conflicts: 954000 | #Constraints: 32272
3008.60/3016.85 c #Conflicts: 955000 | #Constraints: 33272
3008.60/3016.85 c #Conflicts: 956000 | #Constraints: 34272
3008.60/3016.85 c #Conflicts: 957000 | #Constraints: 35272
3008.60/3016.85 c #Conflicts: 958000 | #Constraints: 36272
3008.60/3016.85 c #Conflicts: 959000 | #Constraints: 37272
3008.60/3016.85 c #Conflicts: 960000 | #Constraints: 38272
3008.60/3016.85 c #Conflicts: 961000 | #Constraints: 39272
3008.60/3016.85 c INPROCESSING
3008.60/3016.85 c GARBAGE COLLECT
3008.60/3016.85 c #Conflicts: 962000 | #Constraints: 20917
3008.60/3016.85 c #Conflicts: 963000 | #Constraints: 21917
3008.60/3016.85 c #Conflicts: 964000 | #Constraints: 22917
3008.60/3016.85 c #Conflicts: 965000 | #Constraints: 23917
3008.60/3016.85 c #Conflicts: 966000 | #Constraints: 24917
3008.60/3016.85 c #Conflicts: 967000 | #Constraints: 25917
3008.60/3016.85 c #Conflicts: 968000 | #Constraints: 26917
3509.79/3519.51 c #Conflicts: 969000 | #Constraints: 27917
3509.79/3519.51 c #Conflicts: 970000 | #Constraints: 28917
3509.79/3519.51 c #Conflicts: 971000 | #Constraints: 29917
3509.79/3519.51 c #Conflicts: 972000 | #Constraints: 30917
3509.79/3519.51 c #Conflicts: 973000 | #Constraints: 31917
3509.79/3519.51 c #Conflicts: 974000 | #Constraints: 32917
3509.79/3519.51 c #Conflicts: 975000 | #Constraints: 33917
3509.79/3519.51 c #Conflicts: 976000 | #Constraints: 34917
3509.79/3519.51 c #Conflicts: 977000 | #Constraints: 35917
3509.79/3519.51 c #Conflicts: 978000 | #Constraints: 36917
3509.79/3519.51 c #Conflicts: 979000 | #Constraints: 37917
3509.79/3519.51 c #Conflicts: 980000 | #Constraints: 38917
3509.79/3519.51 c #Conflicts: 981000 | #Constraints: 39917
3509.79/3519.51 c INPROCESSING
3509.79/3519.51 c GARBAGE COLLECT
3509.79/3519.51 c #Conflicts: 982000 | #Constraints: 21300
3509.79/3519.51 c #Conflicts: 983000 | #Constraints: 22300
3509.79/3519.51 c #Conflicts: 984000 | #Constraints: 23300
3509.79/3519.51 c #Conflicts: 985000 | #Constraints: 24300
3509.79/3519.51 c #Conflicts: 986000 | #Constraints: 25300
3509.79/3519.51 c #Conflicts: 987000 | #Constraints: 26300
3509.79/3519.51 c #Conflicts: 988000 | #Constraints: 27300
3509.79/3519.51 c #Conflicts: 989000 | #Constraints: 28300
3509.79/3519.51 c #Conflicts: 990000 | #Constraints: 29300
3509.79/3519.51 c #Conflicts: 991000 | #Constraints: 30300
3509.79/3519.51 c #Conflicts: 992000 | #Constraints: 31300
3509.79/3519.51 c #Conflicts: 993000 | #Constraints: 32300
3509.79/3519.51 c #Conflicts: 994000 | #Constraints: 33300
3509.79/3519.51 c #Conflicts: 995000 | #Constraints: 34300
3509.79/3519.51 c #Conflicts: 996000 | #Constraints: 35300
3509.79/3519.51 c #Conflicts: 997000 | #Constraints: 36300
3509.79/3519.51 c #Conflicts: 998000 | #Constraints: 37300
3509.79/3519.51 c #Conflicts: 999000 | #Constraints: 38300
3509.79/3519.51 c #Conflicts: 1000000 | #Constraints: 39300
3509.79/3519.51 c #Conflicts: 1001000 | #Constraints: 40300
3509.79/3519.51 c INPROCESSING
3509.79/3519.51 c GARBAGE COLLECT
3509.79/3519.51 c #Conflicts: 1002000 | #Constraints: 21509
3509.79/3519.51 c #Conflicts: 1003000 | #Constraints: 22509
3509.79/3519.51 c #Conflicts: 1004000 | #Constraints: 23509
3509.79/3519.51 c #Conflicts: 1005000 | #Constraints: 24509
3509.79/3519.51 c #Conflicts: 1006000 | #Constraints: 25509
3509.79/3519.51 c #Conflicts: 1007000 | #Constraints: 26509
3509.79/3519.51 c #Conflicts: 1008000 | #Constraints: 27509
3509.79/3519.51 c #Conflicts: 1009000 | #Constraints: 28509
3509.79/3519.51 c #Conflicts: 1010000 | #Constraints: 29509
3509.79/3519.51 c #Conflicts: 1011000 | #Constraints: 30509
3509.79/3519.51 c #Conflicts: 1012000 | #Constraints: 31509
3509.79/3519.51 c #Conflicts: 1013000 | #Constraints: 32509
3509.79/3519.51 c #Conflicts: 1014000 | #Constraints: 33509
3509.79/3519.51 c #Conflicts: 1015000 | #Constraints: 34509
3509.79/3519.51 c #Conflicts: 1016000 | #Constraints: 35509
3509.79/3519.51 c #Conflicts: 1017000 | #Constraints: 36509
3509.79/3519.51 c #Conflicts: 1018000 | #Constraints: 37509
3509.79/3519.51 c #Conflicts: 1019000 | #Constraints: 38509
3509.79/3519.51 c #Conflicts: 1020000 | #Constraints: 39509
3509.79/3519.51 c #Conflicts: 1021000 | #Constraints: 40509
3509.79/3519.51 c INPROCESSING
3509.79/3519.51 c GARBAGE COLLECT
3509.79/3519.51 c #Conflicts: 1022000 | #Constraints: 21504
3509.79/3519.51 c #Conflicts: 1023000 | #Constraints: 22504
3509.79/3519.51 c #Conflicts: 1024000 | #Constraints: 23504
3509.79/3519.51 c #Conflicts: 1025000 | #Constraints: 24504
3509.79/3519.51 c #Conflicts: 1026000 | #Constraints: 25504
3509.79/3519.51 c #Conflicts: 1027000 | #Constraints: 26504
3509.79/3519.51 c #Conflicts: 1028000 | #Constraints: 27504
3509.79/3519.51 c #Conflicts: 1029000 | #Constraints: 28504
3509.79/3519.51 c #Conflicts: 1030000 | #Constraints: 29504
3509.79/3519.51 c #Conflicts: 1031000 | #Constraints: 30504
3509.79/3519.51 c #Conflicts: 1032000 | #Constraints: 31504
3509.79/3519.51 c #Conflicts: 1033000 | #Constraints: 32504
3509.79/3519.51 c #Conflicts: 1034000 | #Constraints: 33504
3509.79/3519.51 c #Conflicts: 1035000 | #Constraints: 34504
3509.79/3519.51 c #Conflicts: 1036000 | #Constraints: 35504
3509.79/3519.51 c #Conflicts: 1037000 | #Constraints: 36504
3509.79/3519.51 c #Conflicts: 1038000 | #Constraints: 37504
3509.79/3519.51 c #Conflicts: 1039000 | #Constraints: 38504
3509.79/3519.51 c #Conflicts: 1040000 | #Constraints: 39504
3509.79/3519.51 c #Conflicts: 1041000 | #Constraints: 40504
3509.79/3519.51 c INPROCESSING
3509.79/3519.51 c GARBAGE COLLECT
3509.79/3519.51 c #Conflicts: 1042000 | #Constraints: 21290
3509.79/3519.51 c #Conflicts: 1043000 | #Constraints: 22290
3509.79/3519.51 c #Conflicts: 1044000 | #Constraints: 23290
3600.02/3610.00 c #Conflicts: 1045000 | #Constraints: 24290
3600.02/3610.00 c #Conflicts: 1046000 | #Constraints: 25290
3600.02/3610.00 c #Conflicts: 1047000 | #Constraints: 26290
3600.02/3610.00 c #Conflicts: 1048000 | #Constraints: 27290
3600.02/3610.00 c #Conflicts: 1049000 | #Constraints: 28290
3600.02/3610.00 c #Conflicts: 1050000 | #Constraints: 29290
3600.02/3610.00 c #Conflicts: 1051000 | #Constraints: 30290
3600.02/3610.00 c #Conflicts: 1052000 | #Constraints: 31290
3600.02/3610.00 c #Conflicts: 1053000 | #Constraints: 32290
3600.02/3610.00 c #Conflicts: 1054000 | #Constraints: 33290
3600.02/3610.00 c #Conflicts: 1055000 | #Constraints: 34290
3600.02/3610.00 c #Conflicts: 1056000 | #Constraints: 35290
3600.02/3610.00 c #Conflicts: 1057000 | #Constraints: 36290
3600.02/3610.00 c #Conflicts: 1058000 | #Constraints: 37290
3600.02/3610.00 c #Conflicts: 1059000 | #Constraints: 38290
3600.02/3610.00 c #Conflicts: 1060000 | #Constraints: 39290
3600.02/3610.00 c #Conflicts: 1061000 | #Constraints: 40290
3600.02/3610.00 c #Conflicts: 1062000 | #Constraints: 41290
3600.02/3610.00 c INPROCESSING
3600.02/3610.00 c GARBAGE COLLECT
3600.02/3610.00 c #Conflicts: 1063000 | #Constraints: 21883
3600.02/3610.00 c #Conflicts: 1064000 | #Constraints: 22883
3600.02/3610.00 c #Conflicts: 1065000 | #Constraints: 23883
3600.02/3610.00 c #Conflicts: 1066000 | #Constraints: 24883
3600.02/3610.00 c #Conflicts: 1067000 | #Constraints: 25883
3600.02/3610.00 c #Conflicts: 1068000 | #Constraints: 26883
3600.02/3610.00 c #Conflicts: 1069000 | #Constraints: 27883
3600.02/3610.00 c #Conflicts: 1070000 | #Constraints: 28883
3600.02/3610.00 c #Conflicts: 1071000 | #Constraints: 29883
3600.02/3610.00 c #Conflicts: 1072000 | #Constraints: 30883
3600.02/3610.00 c Program interrupted by user.
3600.02/3610.00 c cpu time 3588.88 s
3600.02/3610.00 c deterministic time 818815336504 8.19e+11
3600.02/3610.00 c optimization time 19.5346 s
3600.02/3610.00 c total solve time 3270.31 s
3600.02/3610.00 c core-guided solve time 0 s
3600.02/3610.00 c propagation time 2737.04 s
3600.02/3610.00 c conflict analysis time 497.991 s
3600.02/3610.00 c propagations 329747685
3600.02/3610.00 c resolve steps 12202768
3600.02/3610.00 c decisions 8261099
3600.02/3610.00 c conflicts 1072110
3600.02/3610.00 c restarts 2046
3600.02/3610.00 c inprocessing phases 94
3600.02/3610.00 c input clauses 75
3600.02/3610.00 c input cardinalities 75
3600.02/3610.00 c input general constraints 448
3600.02/3610.00 c input average constraint length 72.81
3600.02/3610.00 c input average constraint degree 654.84
3600.02/3610.00 c learned clauses 104041
3600.02/3610.00 c learned cardinalities 10577
3600.02/3610.00 c learned general constraints 957492
3600.02/3610.00 c learned average constraint length 826.50
3600.02/3610.00 c learned average constraint degree 93034608.12
3600.02/3610.00 c watched constraints 763070
3600.02/3610.00 c counting constraints 194870
3600.02/3610.00 c gcd simplifications 65789
3600.02/3610.00 c detected cardinalities 354
3600.02/3610.00 c weakened non-implied lits 99659129
3600.02/3610.00 c weakened non-implying lits 146879
3600.02/3610.00 c original variables 4977
3600.02/3610.00 c clausal propagations 1295751
3600.02/3610.00 c cardinality propagations 7258343
3600.02/3610.00 c watched propagations 16732818
3600.02/3610.00 c counting propagations 303189028
3600.02/3610.00 c watch lookups 28547650769
3600.02/3610.00 c watch backjump lookups 24900286203
3600.02/3610.00 c watch checks 693643255388
3600.02/3610.00 c propagation checks 67695633637
3600.02/3610.00 c constraint additions 3351424182
3600.02/3610.00 c trail pops 339077540
3600.02/3610.00 c formula constraints 598
3600.02/3610.00 c learned constraints 1072110
3600.02/3610.00 c bound constraints 0
3600.02/3610.00 c core-guided constraints 0
3600.02/3610.00 c encountered formula constraints 7854262
3600.02/3610.00 c encountered learned constraints 5420616
3600.02/3610.00 c encountered bound constraints 0
3600.02/3610.00 c encountered core-guided constraints 0
3600.02/3610.00 c LP total time 0 s
3600.02/3610.00 c LP solve time 0 s
3600.02/3610.00 c LP constraints added 0
3600.02/3610.00 c LP constraints removed 0
3600.02/3610.00 c LP pivots internal 0
3600.02/3610.00 c LP pivots root 0
3600.02/3610.00 c LP calls 0
3600.02/3610.00 c LP optimalities 0
3600.02/3610.00 c LP no pivot count 0
3600.02/3610.00 c LP infeasibilities 0
3600.02/3610.00 c LP valid Farkas constraints 0
3600.02/3610.00 c LP learned Farkas constraints 0
3600.02/3610.00 c LP basis resets 0
3600.02/3610.00 c LP cycling count 0
3600.02/3610.00 c LP singular count 0
3600.02/3610.00 c LP no primal count 0
3600.02/3610.00 c LP no farkas count 0
3600.02/3610.00 c LP other issue count 0
3600.02/3610.00 c LP Gomory cuts 0
3600.02/3610.00 c LP learned cuts 0
3600.02/3610.00 c LP deleted cuts 0
3600.02/3610.00 c LP encountered Gomory constraints 0
3600.02/3610.00 c LP encountered Farkas constraints 0
3600.02/3610.00 c LP encountered learned Farkas constraints 0
3600.02/3610.00 c CG auxiliary variables introduced 0
3600.02/3610.00 c CG solutions found 0
3600.02/3610.00 c CG cores constructed 0
3600.02/3610.00 c CG core cardinality constraints returned 0
3600.02/3610.00 c CG unit cores 0
3600.02/3610.00 c CG single cores 0
3600.02/3610.00 c CG blocks removed during cardinality reduction 0
3600.02/3610.00 c CG first core best 0
3600.02/3610.00 c CG decision core best 0
3600.02/3610.00 c CG core reduction tie 0
3600.02/3610.00 c CG core degree average 0.00
3600.02/3610.00 c CG core slack average 0.00
3600.02/3610.00 c CG exhausted 0
3600.02/3610.00 c CG exhaust time 0 s
3600.02/3610.00 c CG trimmed 0
3600.02/3610.00 c CG trim time 0 s
3600.02/3610.00 c CG minimized 0
3600.02/3610.00 c CG minimize time 0 s
3600.02/3610.00 c CG am1 prop time 0 s
3600.02/3610.00 c CG # am1s reformulated 0
3600.02/3610.00 c CG lower bound derived from am1s 0
3600.02/3610.00 c CG # clausal cores 0
3600.02/3610.00 c CG # cardinality cores 0
3600.02/3610.00 c CG # pb cores 0
3600.02/3610.00 c CG # pb reforms 0
3600.02/3610.00 c CG # cores discarded because of pb reform 0
3600.02/3610.00 d LOWERBOUND 0
3600.02/3610.00 d NCORES 0
3600.02/3610.00 d NPBCORES 0
3600.02/3610.00 d NPBREFORM 0
3600.02/3610.00 d NTRIMMED 0
3600.02/3610.00 d NEXHAUSTED 0
3600.02/3610.00 d NAM1S 0
3600.02/3610.00 d AM1LB 0
3600.02/3610.00 c [Papilo Statistics]
3600.02/3610.00 c prepro time 0.0166692s
3600.02/3610.00 c # tsx applied 14
3600.02/3610.00 c # tsx conflicts 0
3600.02/3610.00 c # bound changes 7
3600.02/3610.00 c # side changes 0
3600.02/3610.00 c # coef changes 0
3600.02/3610.00 c # rounds 2
3600.02/3610.00 c # deted vars 7
3600.02/3610.00 c # deted constrs 4971
3600.02/3610.00 c # consecutive rounds of only bound changes 0
3600.02/3610.00 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62572 MiB free)
memory of node 1: 64473 MiB (63154 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454860-1721472386/watcher-4454860-1721472386 -o /tmp/evaluation-result-4454860-1721472386/solver-4454860-1721472386 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721468784-1048076 --watchdog 3760 mixed-bag HOME/instance-4454860-1721472386.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=1050199, runsolver pid=1050196
[startup+0.10009 s]*
/proc/loadavg: 4.16 4.12 4.04 5/254 1050200
/proc/meminfo: memFree=128702716/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=115160 memory=47408 CPUtime=0.09 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 9191 0 0 0 8 1 0 0 20 0 1 0 199405621 117923840 11852 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 28790 11852 3816 3002 0 12539 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 115160 KiB
Current children cumulated memory: 47408 KiB
[startup+0.205475 s]*
/proc/loadavg: 4.16 4.12 4.04 5/254 1050200
/proc/meminfo: memFree=128690952/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=127228 memory=57980 CPUtime=0.19 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 11888 0 0 0 18 1 0 0 20 0 1 0 199405621 130281472 14495 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 31807 14495 3848 3002 0 15556 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 127228 KiB
Current children cumulated memory: 57980 KiB
[startup+0.305441 s]*
/proc/loadavg: 4.16 4.12 4.04 5/254 1050200
/proc/meminfo: memFree=128672028/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=148168 memory=71500 CPUtime=0.3 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 15210 0 0 0 28 2 0 0 20 0 1 0 199405621 151724032 17875 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 37042 17875 3864 3002 0 20791 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 148168 KiB
Current children cumulated memory: 71500 KiB
[startup+0.700212 s]
/proc/loadavg: 4.16 4.12 4.04 5/254 1050200
/proc/meminfo: memFree=128669004/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=153216 memory=76252 CPUtime=0.69 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 16413 0 0 0 67 2 0 0 20 0 1 0 199405621 156893184 19063 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 38304 19063 3864 3002 0 22053 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 153216 KiB
Current children cumulated memory: 76252 KiB
[startup+1.50022 s]
/proc/loadavg: 4.16 4.12 4.04 5/254 1050200
/proc/meminfo: memFree=128636720/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=182216 memory=105556 CPUtime=1.48 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 23718 0 0 0 145 3 0 0 20 0 1 0 199405621 186589184 26389 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 45554 26389 3864 3002 0 29303 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 182216 KiB
Current children cumulated memory: 105556 KiB
[startup+3.10542 s]
/proc/loadavg: 4.07 4.10 4.04 5/254 1050246
/proc/meminfo: memFree=128629452/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=183484 memory=106876 CPUtime=3.08 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 24036 0 0 0 305 3 0 0 20 0 1 0 199405621 187887616 26719 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 45871 26719 3864 3002 0 29620 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 183484 KiB
Current children cumulated memory: 106876 KiB
[startup+6.3002 s]
/proc/loadavg: 4.07 4.10 4.04 5/254 1050247
/proc/meminfo: memFree=128485112/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=259136 memory=182396 CPUtime=6.27 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 46932 0 0 0 620 7 0 0 20 0 1 0 199405621 265355264 45599 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 64784 45599 4076 3002 0 48533 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 259136 KiB
Current children cumulated memory: 182396 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.10 4.04 5/254 1050247
/proc/meminfo: memFree=128449304/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=273872 memory=195728 CPUtime=12.66 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 54439 0 0 0 1257 9 0 0 20 0 1 0 199405621 280444928 48932 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 68468 48932 4076 3002 0 52217 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 273872 KiB
Current children cumulated memory: 195728 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 4.09 4.04 5/254 1050250
/proc/meminfo: memFree=128408764/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=273872 memory=195728 CPUtime=25.42 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 54485 0 0 0 2532 10 0 0 20 0 1 0 199405621 280444928 48932 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 68468 48932 4076 3002 0 52217 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 273872 KiB
Current children cumulated memory: 195728 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.10 4.04 5/254 1050253
/proc/meminfo: memFree=128315344/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=297248 memory=220600 CPUtime=50.96 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 63694 0 0 0 5082 14 0 0 20 0 1 0 199405621 304381952 55150 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 74312 55150 4076 3002 0 58061 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 297248 KiB
Current children cumulated memory: 220600 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.05 5/254 1050263
/proc/meminfo: memFree=128285608/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=309816 memory=233224 CPUtime=102.02 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 99797 0 0 0 10182 20 0 0 20 0 1 0 199405621 317251584 58306 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 77454 58306 4076 3002 0 61203 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 309816 KiB
Current children cumulated memory: 233224 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/254 1050273
/proc/meminfo: memFree=128220592/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=319720 memory=243136 CPUtime=161.86 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 141624 0 0 0 16160 26 0 0 20 0 1 0 199405621 327393280 60784 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 79930 60784 4076 3002 0 63679 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 319720 KiB
Current children cumulated memory: 243136 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.13 4.06 5/256 1050287
/proc/meminfo: memFree=128169968/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=340392 memory=262596 CPUtime=221.7 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 169198 0 0 0 22140 30 0 0 20 0 1 0 199405621 348561408 65649 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 85098 65649 4076 3002 0 68847 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 340392 KiB
Current children cumulated memory: 262596 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.06 5/256 1050298
/proc/meminfo: memFree=128127764/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=347256 memory=269636 CPUtime=281.55 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 177964 0 0 0 28123 32 0 0 20 0 1 0 199405621 355590144 67409 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 86814 67409 4076 3002 0 70563 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 347256 KiB
Current children cumulated memory: 269636 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.06 5/256 1050353
/proc/meminfo: memFree=128199048/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=376692 memory=298552 CPUtime=341.37 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 181301 0 0 0 34049 88 0 0 20 0 1 0 199405621 385732608 74638 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 94173 74638 4124 3002 0 77922 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 376692 KiB
Current children cumulated memory: 298552 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/256 1050364
/proc/meminfo: memFree=128150580/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=407512 memory=333632 CPUtime=401.17 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 181897 0 0 0 39994 123 0 0 20 0 1 0 199405621 417292288 83408 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 101878 83408 4124 3002 0 85627 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 407512 KiB
Current children cumulated memory: 333632 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.13 4.07 5/256 1050375
/proc/meminfo: memFree=128132168/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=407512 memory=334752 CPUtime=460.96 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 181932 0 0 0 45935 161 0 0 20 0 1 0 199405621 417292288 83688 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 101878 83688 4124 3002 0 85627 0
################
# More data... #
################
Current children cumulated memory: 501292 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.15 4.13 5/258 1052032
/proc/meminfo: memFree=127053404/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=571676 memory=501460 CPUtime=2854.55 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 195116 0 0 0 284467 988 0 0 20 0 1 0 199405621 585396224 125365 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 142919 125365 4124 3002 0 126668 0
Current children cumulated CPU time: 2854.55 s
Current children cumulated vsize: 571676 KiB
Current children cumulated memory: 501460 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/256 1052042
/proc/meminfo: memFree=127048460/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=577760 memory=505772 CPUtime=2914.38 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 196455 0 0 0 290437 1001 0 0 20 0 1 0 199405621 591626240 126443 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 144440 126443 4124 3002 0 128189 0
Current children cumulated CPU time: 2914.38 s
Current children cumulated vsize: 577760 KiB
Current children cumulated memory: 505772 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/254 1052052
/proc/meminfo: memFree=127046532/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=577760 memory=505916 CPUtime=2974.21 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 196651 0 0 0 296407 1014 0 0 20 0 1 0 199405621 591626240 126479 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 144440 126479 4124 3002 0 128189 0
Current children cumulated CPU time: 2974.21 s
Current children cumulated vsize: 577760 KiB
Current children cumulated memory: 505916 KiB
[startup+3042.3 s]
/proc/loadavg: 4.05 4.11 4.12 5/254 1052062
/proc/meminfo: memFree=127043856/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=578212 memory=506312 CPUtime=3034.02 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 196945 0 0 0 302376 1026 0 0 20 0 1 0 199405621 592089088 126578 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 144553 126578 4124 3002 0 128302 0
Current children cumulated CPU time: 3034.02 s
Current children cumulated vsize: 578212 KiB
Current children cumulated memory: 506312 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/254 1052074
/proc/meminfo: memFree=127042632/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=579176 memory=507144 CPUtime=3093.85 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 197350 0 0 0 308351 1034 0 0 20 0 1 0 199405621 593076224 126786 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 144794 126786 4124 3002 0 128543 0
Current children cumulated CPU time: 3093.85 s
Current children cumulated vsize: 579176 KiB
Current children cumulated memory: 507144 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/254 1052084
/proc/meminfo: memFree=127035856/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=579176 memory=507176 CPUtime=3153.68 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 197530 0 0 0 314327 1041 0 0 20 0 1 0 199405621 593076224 126794 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 144794 126794 4124 3002 0 128543 0
Current children cumulated CPU time: 3153.68 s
Current children cumulated vsize: 579176 KiB
Current children cumulated memory: 507176 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/256 1052098
/proc/meminfo: memFree=127033772/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=580940 memory=508232 CPUtime=3213.5 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 198044 0 0 0 320305 1045 0 0 20 0 1 0 199405621 594882560 127058 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 145235 127058 4124 3002 0 128984 0
Current children cumulated CPU time: 3213.5 s
Current children cumulated vsize: 580940 KiB
Current children cumulated memory: 508232 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.11 5/256 1052109
/proc/meminfo: memFree=127024804/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=583464 memory=509980 CPUtime=3273.32 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 198714 0 0 0 326284 1048 0 0 20 0 1 0 199405621 597467136 127495 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 145866 127495 4124 3002 0 129615 0
Current children cumulated CPU time: 3273.32 s
Current children cumulated vsize: 583464 KiB
Current children cumulated memory: 509980 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/256 1052119
/proc/meminfo: memFree=127021524/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=583464 memory=510184 CPUtime=3333.14 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 198923 0 0 0 332258 1056 0 0 20 0 1 0 199405621 597467136 127546 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 145866 127546 4124 3002 0 129615 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 583464 KiB
Current children cumulated memory: 510184 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/256 1052130
/proc/meminfo: memFree=127004760/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=590028 memory=514320 CPUtime=3392.97 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 200215 0 0 0 338235 1062 0 0 20 0 1 0 199405621 604188672 128580 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 147507 128580 4124 3002 0 131256 0
Current children cumulated CPU time: 3392.97 s
Current children cumulated vsize: 590028 KiB
Current children cumulated memory: 514320 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/256 1052141
/proc/meminfo: memFree=126962416/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=731504 memory=555124 CPUtime=3452.77 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 202349 0 0 0 344206 1071 0 0 20 0 1 0 199405621 749060096 138781 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 182876 138781 4124 3002 0 166625 0
Current children cumulated CPU time: 3452.77 s
Current children cumulated vsize: 731504 KiB
Current children cumulated memory: 555124 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 1052151
/proc/meminfo: memFree=126961320/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=731836 memory=555432 CPUtime=3512.58 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 202553 0 0 0 350170 1088 0 0 20 0 1 0 199405621 749400064 138858 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 182959 138858 4124 3002 0 166708 0
Current children cumulated CPU time: 3512.58 s
Current children cumulated vsize: 731836 KiB
Current children cumulated memory: 555432 KiB
[startup+3582.3 s]
/proc/loadavg: 4.26 4.15 4.10 5/257 1052166
/proc/meminfo: memFree=126921960/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=733744 memory=557276 CPUtime=3572.39 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 203019 0 0 0 356136 1103 0 0 20 0 1 0 199405621 751353856 139319 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 183436 139319 4124 3002 0 167185 0
Current children cumulated CPU time: 3572.39 s
Current children cumulated vsize: 733744 KiB
Current children cumulated memory: 557276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.15 4.13 4.10 5/257 1052216
/proc/meminfo: memFree=127088256/131524600 swapFree=131071996/131071996
[pid=1050199] ppid=1050196 vsize=735164 memory=574028 CPUtime=3600.02 cores=1,3
/proc/1050199/stat : 1050199 (mixed-bag) R 1050196 1050199 1048064 0 -1 4194304 203309 0 0 0 358887 1115 0 0 20 0 1 0 199405621 752807936 143507 134679101440 4194304 16488053 140720548514672 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 24662016 140720548516885 140720548516962 140720548516962 140720548523979 0
/proc/1050199/statm: 183791 143507 4124 3002 0 167540 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 735164 KiB
Current children cumulated memory: 574028 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 1050199 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.88 s, system=11.1609 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.01
CPU time (s): 3600.04
CPU user time (s): 3588.88
CPU system time (s): 11.1609
CPU usage (%): 99.7238
Max. virtual memory (cumulated for all children) (KiB): 735164
Max. memory (cumulated for all children) (KiB): 574028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.88
system time used= 11.1609
maximum resident set size= 574028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203331
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= 81
involuntary context switches= 1879
# summary of solver processes directly reported to runsolver:
# pid: 1050199
# total CPU time (s): 3600.04
# total CPU user time (s): 3588.88
# total CPU system time (s): 11.1609
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.89812 second user time and 17.2636 second system time
The end
Begin job on nodeC028 at 2024-07-20 12:46:38
IDJOB=4454860
IDBENCH=148775
IDSOLVER=3083
FILE ID=nodeC028/4454860-1721472386
RUNJOBID= nodeC028-1721468784-1048076
SLURM_JOB_ID= 7545726
Free space on /tmp= 890020 MiB
SOLVER NAME= mixed-bag 2024-07-19
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-4454860-1721472386/watcher-4454860-1721472386 -o /tmp/evaluation-result-4454860-1721472386/solver-4454860-1721472386 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721468784-1048076 --watchdog 3760 mixed-bag HOME/instance-4454860-1721472386.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=194024024
nodeC028.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 : 3666.599
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.56
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 : 3668.267
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 : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.903
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.56
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 : 3646.580
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 : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.631
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.56
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 : 3661.855
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 : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.787
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.56
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 : 3599.801
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 : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128744220 kB
MemAvailable: 129411748 kB
Buffers: 554668 kB
Cached: 961220 kB
SwapCached: 0 kB
Active: 1100172 kB
Inactive: 1080980 kB
Active(anon): 1560 kB
Inactive(anon): 709288 kB
Active(file): 1098612 kB
Inactive(file): 371692 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 66640 kB
Writeback: 0 kB
AnonPages: 662572 kB
Mapped: 139784 kB
Shmem: 45912 kB
KReclaimable: 74092 kB
Slab: 182068 kB
SReclaimable: 74092 kB
SUnreclaim: 107976 kB
KernelStack: 4012 kB
PageTables: 10636 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1059600 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 215040 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: 197332 kB
DirectMap2M: 20547584 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 889992 MiB
End job on nodeC028 at 2024-07-20 13:46:48