0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.05 c [STEP] preprocessing with Papilo
0.00/0.07 c [STEP] solving with SCIP
299.13/300.15 c [STEP] preprocessing done, loading into solver
299.13/300.16 c [STEP] solving
299.13/300.16 c #variables 4971 #constraints 598
347.99/349.17 c #Conflicts: 1000 | #Constraints: 1597
347.99/349.17 c #Conflicts: 2000 | #Constraints: 2597
347.99/349.17 c INPROCESSING
347.99/349.17 c GARBAGE COLLECT
347.99/349.17 c #Conflicts: 3000 | #Constraints: 2605
347.99/349.17 c #Conflicts: 4000 | #Constraints: 3605
347.99/349.17 c INPROCESSING
347.99/349.17 c GARBAGE COLLECT
347.99/349.17 c #Conflicts: 5000 | #Constraints: 3015
347.99/349.17 c #Conflicts: 6000 | #Constraints: 4015
347.99/349.17 c INPROCESSING
347.99/349.17 c GARBAGE COLLECT
347.99/349.17 c #Conflicts: 7000 | #Constraints: 3024
347.99/349.17 c #Conflicts: 8000 | #Constraints: 4024
347.99/349.17 c #Conflicts: 9000 | #Constraints: 5024
347.99/349.17 c INPROCESSING
347.99/349.17 c GARBAGE COLLECT
347.99/349.17 c #Conflicts: 10000 | #Constraints: 3719
347.99/349.17 c #Conflicts: 11000 | #Constraints: 4719
347.99/349.17 c #Conflicts: 12000 | #Constraints: 5719
347.99/349.17 c INPROCESSING
347.99/349.17 c GARBAGE COLLECT
347.99/349.17 c #Conflicts: 13000 | #Constraints: 4169
347.99/349.17 c #Conflicts: 14000 | #Constraints: 5169
347.99/349.17 c #Conflicts: 15000 | #Constraints: 6169
347.99/349.17 c INPROCESSING
347.99/349.17 c GARBAGE COLLECT
347.99/349.17 c #Conflicts: 16000 | #Constraints: 4404
347.99/349.17 c #Conflicts: 17000 | #Constraints: 5404
347.99/349.17 c #Conflicts: 18000 | #Constraints: 6404
347.99/349.17 c INPROCESSING
347.99/349.17 c GARBAGE COLLECT
347.99/349.17 c #Conflicts: 19000 | #Constraints: 4459
347.99/349.17 c #Conflicts: 20000 | #Constraints: 5459
347.99/349.17 c #Conflicts: 21000 | #Constraints: 6459
347.99/349.17 c INPROCESSING
347.99/349.17 c GARBAGE COLLECT
347.99/349.17 c #Conflicts: 22000 | #Constraints: 4239
347.99/349.17 c #Conflicts: 23000 | #Constraints: 5239
347.99/349.17 c #Conflicts: 24000 | #Constraints: 6239
347.99/349.17 c #Conflicts: 25000 | #Constraints: 7239
347.99/349.17 c INPROCESSING
347.99/349.17 c GARBAGE COLLECT
347.99/349.17 c #Conflicts: 26000 | #Constraints: 4836
347.99/349.17 c #Conflicts: 27000 | #Constraints: 5836
347.99/349.17 c #Conflicts: 28000 | #Constraints: 6836
347.99/349.17 c #Conflicts: 29000 | #Constraints: 7836
347.99/349.17 c INPROCESSING
347.99/349.17 c GARBAGE COLLECT
347.99/349.17 c #Conflicts: 30000 | #Constraints: 5231
347.99/349.17 c #Conflicts: 31000 | #Constraints: 6231
347.99/349.17 c #Conflicts: 32000 | #Constraints: 7231
347.99/349.17 c #Conflicts: 33000 | #Constraints: 8231
347.99/349.17 c INPROCESSING
347.99/349.17 c GARBAGE COLLECT
347.99/349.17 c #Conflicts: 34000 | #Constraints: 5440
347.99/349.17 c #Conflicts: 35000 | #Constraints: 6440
347.99/349.17 c #Conflicts: 36000 | #Constraints: 7440
347.99/349.17 c #Conflicts: 37000 | #Constraints: 8440
347.99/349.17 c INPROCESSING
347.99/349.17 c GARBAGE COLLECT
347.99/349.17 c #Conflicts: 38000 | #Constraints: 5443
347.99/349.17 c #Conflicts: 39000 | #Constraints: 6443
347.99/349.17 c #Conflicts: 40000 | #Constraints: 7443
347.99/349.17 c #Conflicts: 41000 | #Constraints: 8443
347.99/349.17 c INPROCESSING
347.99/349.17 c GARBAGE COLLECT
347.99/349.17 c #Conflicts: 42000 | #Constraints: 5265
347.99/349.17 c #Conflicts: 43000 | #Constraints: 6265
347.99/349.17 c #Conflicts: 44000 | #Constraints: 7265
347.99/349.17 c #Conflicts: 45000 | #Constraints: 8265
347.99/349.17 c #Conflicts: 46000 | #Constraints: 9265
347.99/349.17 c INPROCESSING
347.99/349.17 c GARBAGE COLLECT
347.99/349.17 c #Conflicts: 47000 | #Constraints: 5850
347.99/349.17 c #Conflicts: 48000 | #Constraints: 6850
347.99/349.17 c #Conflicts: 49000 | #Constraints: 7850
347.99/349.17 c #Conflicts: 50000 | #Constraints: 8850
347.99/349.17 c #Conflicts: 51000 | #Constraints: 9850
347.99/349.17 c INPROCESSING
347.99/349.17 c GARBAGE COLLECT
347.99/349.17 c #Conflicts: 52000 | #Constraints: 6246
347.99/349.17 c #Conflicts: 53000 | #Constraints: 7246
347.99/349.17 c #Conflicts: 54000 | #Constraints: 8246
347.99/349.17 c #Conflicts: 55000 | #Constraints: 9246
347.99/349.17 c #Conflicts: 56000 | #Constraints: 10246
347.99/349.17 c INPROCESSING
347.99/349.17 c GARBAGE COLLECT
347.99/349.17 c #Conflicts: 57000 | #Constraints: 6431
347.99/349.17 c #Conflicts: 58000 | #Constraints: 7431
347.99/349.17 c #Conflicts: 59000 | #Constraints: 8431
347.99/349.17 c #Conflicts: 60000 | #Constraints: 9431
347.99/349.17 c #Conflicts: 61000 | #Constraints: 10431
347.99/349.17 c INPROCESSING
347.99/349.17 c GARBAGE COLLECT
347.99/349.17 c #Conflicts: 62000 | #Constraints: 6437
347.99/349.17 c #Conflicts: 63000 | #Constraints: 7437
347.99/349.17 c #Conflicts: 64000 | #Constraints: 8437
347.99/349.17 c #Conflicts: 65000 | #Constraints: 9437
347.99/349.17 c #Conflicts: 66000 | #Constraints: 10437
347.99/349.17 c INPROCESSING
347.99/349.17 c GARBAGE COLLECT
347.99/349.17 c #Conflicts: 67000 | #Constraints: 6239
347.99/349.17 c #Conflicts: 68000 | #Constraints: 7239
467.40/468.91 c #Conflicts: 69000 | #Constraints: 8239
467.40/468.91 c #Conflicts: 70000 | #Constraints: 9239
467.40/468.91 c #Conflicts: 71000 | #Constraints: 10239
467.40/468.91 c #Conflicts: 72000 | #Constraints: 11239
467.40/468.91 c INPROCESSING
467.40/468.91 c GARBAGE COLLECT
467.40/468.91 c #Conflicts: 73000 | #Constraints: 6831
467.40/468.91 c #Conflicts: 74000 | #Constraints: 7831
467.40/468.91 c #Conflicts: 75000 | #Constraints: 8831
467.40/468.91 c #Conflicts: 76000 | #Constraints: 9831
467.40/468.91 c #Conflicts: 77000 | #Constraints: 10831
467.40/468.91 c #Conflicts: 78000 | #Constraints: 11831
467.40/468.91 c INPROCESSING
467.40/468.91 c GARBAGE COLLECT
467.40/468.91 c #Conflicts: 79000 | #Constraints: 7232
467.40/468.91 c #Conflicts: 80000 | #Constraints: 8232
467.40/468.91 c #Conflicts: 81000 | #Constraints: 9232
467.40/468.91 c #Conflicts: 82000 | #Constraints: 10232
467.40/468.91 c #Conflicts: 83000 | #Constraints: 11232
467.40/468.91 c #Conflicts: 84000 | #Constraints: 12232
467.40/468.91 c INPROCESSING
467.40/468.91 c GARBAGE COLLECT
467.40/468.91 c #Conflicts: 85000 | #Constraints: 7450
467.40/468.91 c #Conflicts: 86000 | #Constraints: 8450
467.40/468.91 c #Conflicts: 87000 | #Constraints: 9450
467.40/468.91 c #Conflicts: 88000 | #Constraints: 10450
467.40/468.91 c #Conflicts: 89000 | #Constraints: 11450
467.40/468.91 c #Conflicts: 90000 | #Constraints: 12450
467.40/468.91 c INPROCESSING
467.40/468.91 c GARBAGE COLLECT
467.40/468.91 c #Conflicts: 91000 | #Constraints: 7437
467.40/468.91 c #Conflicts: 92000 | #Constraints: 8437
467.40/468.91 c #Conflicts: 93000 | #Constraints: 9437
467.40/468.91 c #Conflicts: 94000 | #Constraints: 10437
467.40/468.91 c #Conflicts: 95000 | #Constraints: 11437
467.40/468.91 c #Conflicts: 96000 | #Constraints: 12437
467.40/468.91 c INPROCESSING
467.40/468.91 c GARBAGE COLLECT
467.40/468.91 c #Conflicts: 97000 | #Constraints: 7278
467.40/468.91 c #Conflicts: 98000 | #Constraints: 8278
467.40/468.91 c #Conflicts: 99000 | #Constraints: 9278
467.40/468.91 c #Conflicts: 100000 | #Constraints: 10278
467.40/468.91 c #Conflicts: 101000 | #Constraints: 11278
467.40/468.91 c #Conflicts: 102000 | #Constraints: 12278
467.40/468.91 c #Conflicts: 103000 | #Constraints: 13278
467.40/468.91 c INPROCESSING
467.40/468.91 c GARBAGE COLLECT
467.40/468.91 c #Conflicts: 104000 | #Constraints: 7855
467.40/468.91 c #Conflicts: 105000 | #Constraints: 8855
467.40/468.91 c #Conflicts: 106000 | #Constraints: 9855
467.40/468.91 c #Conflicts: 107000 | #Constraints: 10855
467.40/468.91 c #Conflicts: 108000 | #Constraints: 11855
467.40/468.91 c #Conflicts: 109000 | #Constraints: 12855
467.40/468.91 c #Conflicts: 110000 | #Constraints: 13855
467.40/468.91 c INPROCESSING
467.40/468.91 c GARBAGE COLLECT
467.40/468.91 c #Conflicts: 111000 | #Constraints: 8253
467.40/468.91 c #Conflicts: 112000 | #Constraints: 9253
467.40/468.91 c #Conflicts: 113000 | #Constraints: 10253
467.40/468.91 c #Conflicts: 114000 | #Constraints: 11253
467.40/468.91 c #Conflicts: 115000 | #Constraints: 12253
467.40/468.91 c #Conflicts: 116000 | #Constraints: 13253
467.40/468.91 c #Conflicts: 117000 | #Constraints: 14253
467.40/468.91 c INPROCESSING
467.40/468.91 c GARBAGE COLLECT
467.40/468.91 c #Conflicts: 118000 | #Constraints: 8442
467.40/468.91 c #Conflicts: 119000 | #Constraints: 9442
467.40/468.91 c #Conflicts: 120000 | #Constraints: 10442
467.40/468.91 c #Conflicts: 121000 | #Constraints: 11442
467.40/468.91 c #Conflicts: 122000 | #Constraints: 12442
467.40/468.91 c #Conflicts: 123000 | #Constraints: 13442
467.40/468.91 c #Conflicts: 124000 | #Constraints: 14442
467.40/468.91 c INPROCESSING
467.40/468.91 c GARBAGE COLLECT
467.40/468.91 c #Conflicts: 125000 | #Constraints: 8435
467.40/468.91 c #Conflicts: 126000 | #Constraints: 9435
467.40/468.91 c #Conflicts: 127000 | #Constraints: 10435
467.40/468.91 c #Conflicts: 128000 | #Constraints: 11435
467.40/468.91 c #Conflicts: 129000 | #Constraints: 12435
467.40/468.91 c #Conflicts: 130000 | #Constraints: 13435
467.40/468.91 c #Conflicts: 131000 | #Constraints: 14435
467.40/468.91 c INPROCESSING
467.40/468.91 c GARBAGE COLLECT
467.40/468.91 c #Conflicts: 132000 | #Constraints: 8228
467.40/468.91 c #Conflicts: 133000 | #Constraints: 9228
467.40/468.91 c #Conflicts: 134000 | #Constraints: 10228
467.40/468.91 c #Conflicts: 135000 | #Constraints: 11228
467.40/468.91 c #Conflicts: 136000 | #Constraints: 12228
467.40/468.91 c #Conflicts: 137000 | #Constraints: 13228
467.40/468.91 c #Conflicts: 138000 | #Constraints: 14228
467.40/468.91 c #Conflicts: 139000 | #Constraints: 15228
467.40/468.91 c INPROCESSING
467.40/468.91 c GARBAGE COLLECT
467.40/468.91 c #Conflicts: 140000 | #Constraints: 8822
595.43/597.32 c #Conflicts: 141000 | #Constraints: 9822
595.43/597.32 c #Conflicts: 142000 | #Constraints: 10822
595.43/597.32 c #Conflicts: 143000 | #Constraints: 11822
595.43/597.32 c #Conflicts: 144000 | #Constraints: 12822
595.43/597.32 c #Conflicts: 145000 | #Constraints: 13822
595.43/597.32 c #Conflicts: 146000 | #Constraints: 14822
595.43/597.32 c #Conflicts: 147000 | #Constraints: 15822
595.43/597.32 c INPROCESSING
595.43/597.32 c GARBAGE COLLECT
595.43/597.32 c #Conflicts: 148000 | #Constraints: 9241
595.43/597.32 c #Conflicts: 149000 | #Constraints: 10241
595.43/597.32 c #Conflicts: 150000 | #Constraints: 11241
595.43/597.32 c #Conflicts: 151000 | #Constraints: 12241
595.43/597.32 c #Conflicts: 152000 | #Constraints: 13241
595.43/597.32 c #Conflicts: 153000 | #Constraints: 14241
595.43/597.32 c #Conflicts: 154000 | #Constraints: 15241
595.43/597.32 c #Conflicts: 155000 | #Constraints: 16241
595.43/597.32 c INPROCESSING
595.43/597.32 c GARBAGE COLLECT
595.43/597.32 c #Conflicts: 156000 | #Constraints: 9443
595.43/597.32 c #Conflicts: 157000 | #Constraints: 10443
595.43/597.32 c #Conflicts: 158000 | #Constraints: 11443
595.43/597.32 c #Conflicts: 159000 | #Constraints: 12443
595.43/597.32 c #Conflicts: 160000 | #Constraints: 13443
595.43/597.32 c #Conflicts: 161000 | #Constraints: 14443
595.43/597.32 c #Conflicts: 162000 | #Constraints: 15443
595.43/597.32 c #Conflicts: 163000 | #Constraints: 16443
595.43/597.32 c INPROCESSING
595.43/597.32 c GARBAGE COLLECT
595.43/597.32 c #Conflicts: 164000 | #Constraints: 9432
595.43/597.32 c #Conflicts: 165000 | #Constraints: 10432
595.43/597.32 c #Conflicts: 166000 | #Constraints: 11432
595.43/597.32 c #Conflicts: 167000 | #Constraints: 12432
595.43/597.32 c #Conflicts: 168000 | #Constraints: 13432
595.43/597.32 c #Conflicts: 169000 | #Constraints: 14432
595.43/597.32 c #Conflicts: 170000 | #Constraints: 15432
595.43/597.32 c #Conflicts: 171000 | #Constraints: 16432
595.43/597.32 c INPROCESSING
595.43/597.32 c GARBAGE COLLECT
595.43/597.32 c #Conflicts: 172000 | #Constraints: 9236
595.43/597.32 c #Conflicts: 173000 | #Constraints: 10236
595.43/597.32 c #Conflicts: 174000 | #Constraints: 11236
595.43/597.32 c #Conflicts: 175000 | #Constraints: 12236
595.43/597.32 c #Conflicts: 176000 | #Constraints: 13236
595.43/597.32 c #Conflicts: 177000 | #Constraints: 14236
595.43/597.32 c #Conflicts: 178000 | #Constraints: 15236
595.43/597.32 c #Conflicts: 179000 | #Constraints: 16236
595.43/597.32 c #Conflicts: 180000 | #Constraints: 17236
595.43/597.32 c INPROCESSING
595.43/597.32 c GARBAGE COLLECT
595.43/597.32 c #Conflicts: 181000 | #Constraints: 9831
595.43/597.32 c #Conflicts: 182000 | #Constraints: 10831
595.43/597.32 c #Conflicts: 183000 | #Constraints: 11831
595.43/597.32 c #Conflicts: 184000 | #Constraints: 12831
595.43/597.32 c #Conflicts: 185000 | #Constraints: 13831
595.43/597.32 c #Conflicts: 186000 | #Constraints: 14831
595.43/597.32 c #Conflicts: 187000 | #Constraints: 15831
595.43/597.32 c #Conflicts: 188000 | #Constraints: 16831
595.43/597.32 c #Conflicts: 189000 | #Constraints: 17831
595.43/597.32 c INPROCESSING
595.43/597.32 c GARBAGE COLLECT
595.43/597.32 c #Conflicts: 190000 | #Constraints: 10264
595.43/597.32 c #Conflicts: 191000 | #Constraints: 11264
595.43/597.32 c #Conflicts: 192000 | #Constraints: 12264
595.43/597.32 c #Conflicts: 193000 | #Constraints: 13264
595.43/597.32 c #Conflicts: 194000 | #Constraints: 14264
595.43/597.32 c #Conflicts: 195000 | #Constraints: 15264
595.43/597.32 c #Conflicts: 196000 | #Constraints: 16264
595.43/597.32 c #Conflicts: 197000 | #Constraints: 17264
595.43/597.32 c #Conflicts: 198000 | #Constraints: 18264
595.43/597.32 c INPROCESSING
595.43/597.32 c GARBAGE COLLECT
595.43/597.32 c #Conflicts: 199000 | #Constraints: 10499
595.43/597.32 c #Conflicts: 200000 | #Constraints: 11499
595.43/597.32 c #Conflicts: 201000 | #Constraints: 12499
595.43/597.32 c #Conflicts: 202000 | #Constraints: 13499
595.43/597.32 c #Conflicts: 203000 | #Constraints: 14499
595.43/597.32 c #Conflicts: 204000 | #Constraints: 15499
595.43/597.32 c #Conflicts: 205000 | #Constraints: 16499
595.43/597.32 c #Conflicts: 206000 | #Constraints: 17499
595.43/597.32 c #Conflicts: 207000 | #Constraints: 18499
595.43/597.32 c INPROCESSING
595.43/597.32 c GARBAGE COLLECT
595.43/597.32 c #Conflicts: 208000 | #Constraints: 10492
595.43/597.32 c #Conflicts: 209000 | #Constraints: 11492
595.43/597.32 c #Conflicts: 210000 | #Constraints: 12492
595.43/597.32 c #Conflicts: 211000 | #Constraints: 13492
595.43/597.32 c #Conflicts: 212000 | #Constraints: 14492
595.43/597.32 c #Conflicts: 213000 | #Constraints: 15492
730.55/732.89 c #Conflicts: 214000 | #Constraints: 16492
730.55/732.89 c #Conflicts: 215000 | #Constraints: 17492
730.55/732.89 c #Conflicts: 216000 | #Constraints: 18492
730.55/732.89 c INPROCESSING
730.55/732.89 c GARBAGE COLLECT
730.55/732.89 c #Conflicts: 217000 | #Constraints: 10299
730.55/732.89 c #Conflicts: 218000 | #Constraints: 11299
730.55/732.89 c #Conflicts: 219000 | #Constraints: 12299
730.55/732.89 c #Conflicts: 220000 | #Constraints: 13299
730.55/732.89 c #Conflicts: 221000 | #Constraints: 14299
730.55/732.89 c #Conflicts: 222000 | #Constraints: 15299
730.55/732.89 c #Conflicts: 223000 | #Constraints: 16299
730.55/732.89 c #Conflicts: 224000 | #Constraints: 17299
730.55/732.89 c #Conflicts: 225000 | #Constraints: 18299
730.55/732.89 c #Conflicts: 226000 | #Constraints: 19299
730.55/732.89 c INPROCESSING
730.55/732.89 c GARBAGE COLLECT
730.55/732.89 c #Conflicts: 227000 | #Constraints: 10883
730.55/732.89 c #Conflicts: 228000 | #Constraints: 11883
730.55/732.89 c #Conflicts: 229000 | #Constraints: 12883
730.55/732.89 c #Conflicts: 230000 | #Constraints: 13883
730.55/732.89 c #Conflicts: 231000 | #Constraints: 14883
730.55/732.89 c #Conflicts: 232000 | #Constraints: 15883
730.55/732.89 c #Conflicts: 233000 | #Constraints: 16883
730.55/732.89 c #Conflicts: 234000 | #Constraints: 17883
730.55/732.89 c #Conflicts: 235000 | #Constraints: 18883
730.55/732.89 c #Conflicts: 236000 | #Constraints: 19883
730.55/732.89 c INPROCESSING
730.55/732.89 c GARBAGE COLLECT
730.55/732.89 c #Conflicts: 237000 | #Constraints: 11258
730.55/732.89 c #Conflicts: 238000 | #Constraints: 12258
730.55/732.89 c #Conflicts: 239000 | #Constraints: 13258
730.55/732.89 c #Conflicts: 240000 | #Constraints: 14258
730.55/732.89 c #Conflicts: 241000 | #Constraints: 15258
730.55/732.89 c #Conflicts: 242000 | #Constraints: 16258
730.55/732.89 c #Conflicts: 243000 | #Constraints: 17258
730.55/732.89 c #Conflicts: 244000 | #Constraints: 18258
730.55/732.89 c #Conflicts: 245000 | #Constraints: 19258
730.55/732.89 c #Conflicts: 246000 | #Constraints: 20258
730.55/732.89 c INPROCESSING
730.55/732.89 c GARBAGE COLLECT
730.55/732.89 c #Conflicts: 247000 | #Constraints: 11468
730.55/732.89 c #Conflicts: 248000 | #Constraints: 12468
730.55/732.89 c #Conflicts: 249000 | #Constraints: 13468
730.55/732.89 c #Conflicts: 250000 | #Constraints: 14468
730.55/732.89 c #Conflicts: 251000 | #Constraints: 15468
730.55/732.89 c #Conflicts: 252000 | #Constraints: 16468
730.55/732.89 c #Conflicts: 253000 | #Constraints: 17468
730.55/732.89 c #Conflicts: 254000 | #Constraints: 18468
730.55/732.89 c #Conflicts: 255000 | #Constraints: 19468
730.55/732.89 c #Conflicts: 256000 | #Constraints: 20468
730.55/732.89 c INPROCESSING
730.55/732.89 c GARBAGE COLLECT
730.55/732.89 c #Conflicts: 257000 | #Constraints: 11454
730.55/732.89 c #Conflicts: 258000 | #Constraints: 12454
730.55/732.89 c #Conflicts: 259000 | #Constraints: 13454
730.55/732.89 c #Conflicts: 260000 | #Constraints: 14454
730.55/732.89 c #Conflicts: 261000 | #Constraints: 15454
730.55/732.89 c #Conflicts: 262000 | #Constraints: 16454
730.55/732.89 c #Conflicts: 263000 | #Constraints: 17454
730.55/732.89 c #Conflicts: 264000 | #Constraints: 18454
730.55/732.89 c #Conflicts: 265000 | #Constraints: 19454
730.55/732.89 c #Conflicts: 266000 | #Constraints: 20454
730.55/732.89 c INPROCESSING
730.55/732.89 c GARBAGE COLLECT
730.55/732.89 c #Conflicts: 267000 | #Constraints: 11244
730.55/732.89 c #Conflicts: 268000 | #Constraints: 12244
730.55/732.89 c #Conflicts: 269000 | #Constraints: 13244
730.55/732.89 c #Conflicts: 270000 | #Constraints: 14244
730.55/732.89 c #Conflicts: 271000 | #Constraints: 15244
730.55/732.89 c #Conflicts: 272000 | #Constraints: 16244
730.55/732.89 c #Conflicts: 273000 | #Constraints: 17244
730.55/732.89 c #Conflicts: 274000 | #Constraints: 18244
730.55/732.89 c #Conflicts: 275000 | #Constraints: 19244
730.55/732.89 c #Conflicts: 276000 | #Constraints: 20244
730.55/732.89 c #Conflicts: 277000 | #Constraints: 21244
730.55/732.89 c INPROCESSING
730.55/732.89 c GARBAGE COLLECT
730.55/732.89 c #Conflicts: 278000 | #Constraints: 11841
730.55/732.89 c #Conflicts: 279000 | #Constraints: 12841
730.55/732.89 c #Conflicts: 280000 | #Constraints: 13841
730.55/732.89 c #Conflicts: 281000 | #Constraints: 14841
730.55/732.89 c #Conflicts: 282000 | #Constraints: 15841
730.55/732.89 c #Conflicts: 283000 | #Constraints: 16841
730.55/732.89 c #Conflicts: 284000 | #Constraints: 17841
730.55/732.89 c #Conflicts: 285000 | #Constraints: 18841
730.55/732.89 c #Conflicts: 286000 | #Constraints: 19841
730.55/732.89 c #Conflicts: 287000 | #Constraints: 20841
730.55/732.89 c #Conflicts: 288000 | #Constraints: 21841
905.84/908.61 c INPROCESSING
905.84/908.61 c GARBAGE COLLECT
905.84/908.61 c #Conflicts: 289000 | #Constraints: 12235
905.84/908.61 c #Conflicts: 290000 | #Constraints: 13235
905.84/908.61 c #Conflicts: 291000 | #Constraints: 14235
905.84/908.61 c #Conflicts: 292000 | #Constraints: 15235
905.84/908.61 c #Conflicts: 293000 | #Constraints: 16235
905.84/908.61 c #Conflicts: 294000 | #Constraints: 17235
905.84/908.61 c #Conflicts: 295000 | #Constraints: 18235
905.84/908.61 c #Conflicts: 296000 | #Constraints: 19235
905.84/908.61 c #Conflicts: 297000 | #Constraints: 20235
905.84/908.61 c #Conflicts: 298000 | #Constraints: 21235
905.84/908.61 c #Conflicts: 299000 | #Constraints: 22235
905.84/908.61 c INPROCESSING
905.84/908.61 c GARBAGE COLLECT
905.84/908.61 c #Conflicts: 300000 | #Constraints: 12433
905.84/908.61 c #Conflicts: 301000 | #Constraints: 13433
905.84/908.61 c #Conflicts: 302000 | #Constraints: 14433
905.84/908.61 c #Conflicts: 303000 | #Constraints: 15433
905.84/908.61 c #Conflicts: 304000 | #Constraints: 16433
905.84/908.61 c #Conflicts: 305000 | #Constraints: 17433
905.84/908.61 c #Conflicts: 306000 | #Constraints: 18433
905.84/908.61 c #Conflicts: 307000 | #Constraints: 19433
905.84/908.61 c #Conflicts: 308000 | #Constraints: 20433
905.84/908.61 c #Conflicts: 309000 | #Constraints: 21433
905.84/908.61 c #Conflicts: 310000 | #Constraints: 22433
905.84/908.61 c INPROCESSING
905.84/908.61 c GARBAGE COLLECT
905.84/908.61 c #Conflicts: 311000 | #Constraints: 12439
905.84/908.61 c #Conflicts: 312000 | #Constraints: 13439
905.84/908.61 c #Conflicts: 313000 | #Constraints: 14439
905.84/908.61 c #Conflicts: 314000 | #Constraints: 15439
905.84/908.61 c #Conflicts: 315000 | #Constraints: 16439
905.84/908.61 c #Conflicts: 316000 | #Constraints: 17439
905.84/908.61 c #Conflicts: 317000 | #Constraints: 18439
905.84/908.61 c #Conflicts: 318000 | #Constraints: 19439
905.84/908.61 c #Conflicts: 319000 | #Constraints: 20439
905.84/908.61 c #Conflicts: 320000 | #Constraints: 21439
905.84/908.61 c #Conflicts: 321000 | #Constraints: 22439
905.84/908.61 c INPROCESSING
905.84/908.61 c GARBAGE COLLECT
905.84/908.61 c #Conflicts: 322000 | #Constraints: 12257
905.84/908.61 c #Conflicts: 323000 | #Constraints: 13257
905.84/908.61 c #Conflicts: 324000 | #Constraints: 14257
905.84/908.61 c #Conflicts: 325000 | #Constraints: 15257
905.84/908.61 c #Conflicts: 326000 | #Constraints: 16257
905.84/908.61 c #Conflicts: 327000 | #Constraints: 17257
905.84/908.61 c #Conflicts: 328000 | #Constraints: 18257
905.84/908.61 c #Conflicts: 329000 | #Constraints: 19257
905.84/908.61 c #Conflicts: 330000 | #Constraints: 20257
905.84/908.61 c #Conflicts: 331000 | #Constraints: 21257
905.84/908.61 c #Conflicts: 332000 | #Constraints: 22257
905.84/908.61 c #Conflicts: 333000 | #Constraints: 23257
905.84/908.61 c INPROCESSING
905.84/908.61 c GARBAGE COLLECT
905.84/908.61 c #Conflicts: 334000 | #Constraints: 12843
905.84/908.61 c #Conflicts: 335000 | #Constraints: 13843
905.84/908.61 c #Conflicts: 336000 | #Constraints: 14843
905.84/908.61 c #Conflicts: 337000 | #Constraints: 15843
905.84/908.61 c #Conflicts: 338000 | #Constraints: 16843
905.84/908.61 c #Conflicts: 339000 | #Constraints: 17843
905.84/908.61 c #Conflicts: 340000 | #Constraints: 18843
905.84/908.61 c #Conflicts: 341000 | #Constraints: 19843
905.84/908.61 c #Conflicts: 342000 | #Constraints: 20843
905.84/908.61 c #Conflicts: 343000 | #Constraints: 21843
905.84/908.61 c #Conflicts: 344000 | #Constraints: 22843
905.84/908.61 c #Conflicts: 345000 | #Constraints: 23843
905.84/908.61 c INPROCESSING
905.84/908.61 c GARBAGE COLLECT
905.84/908.61 c #Conflicts: 346000 | #Constraints: 13236
905.84/908.61 c #Conflicts: 347000 | #Constraints: 14236
905.84/908.61 c #Conflicts: 348000 | #Constraints: 15236
905.84/908.61 c #Conflicts: 349000 | #Constraints: 16236
905.84/908.61 c #Conflicts: 350000 | #Constraints: 17236
905.84/908.61 c #Conflicts: 351000 | #Constraints: 18236
905.84/908.61 c #Conflicts: 352000 | #Constraints: 19236
905.84/908.61 c #Conflicts: 353000 | #Constraints: 20236
905.84/908.61 c #Conflicts: 354000 | #Constraints: 21236
905.84/908.61 c #Conflicts: 355000 | #Constraints: 22236
905.84/908.61 c #Conflicts: 356000 | #Constraints: 23236
905.84/908.61 c #Conflicts: 357000 | #Constraints: 24236
905.84/908.61 c INPROCESSING
905.84/908.61 c GARBAGE COLLECT
905.84/908.61 c #Conflicts: 358000 | #Constraints: 13429
905.84/908.61 c #Conflicts: 359000 | #Constraints: 14429
905.84/908.61 c #Conflicts: 360000 | #Constraints: 15429
905.84/908.61 c #Conflicts: 361000 | #Constraints: 16429
905.84/908.61 c #Conflicts: 362000 | #Constraints: 17429
1056.89/1060.15 c #Conflicts: 363000 | #Constraints: 18429
1056.89/1060.15 c #Conflicts: 364000 | #Constraints: 19429
1056.89/1060.15 c #Conflicts: 365000 | #Constraints: 20429
1056.89/1060.15 c #Conflicts: 366000 | #Constraints: 21429
1056.89/1060.15 c #Conflicts: 367000 | #Constraints: 22429
1056.89/1060.15 c #Conflicts: 368000 | #Constraints: 23429
1056.89/1060.15 c #Conflicts: 369000 | #Constraints: 24429
1056.89/1060.15 c INPROCESSING
1056.89/1060.15 c GARBAGE COLLECT
1056.89/1060.15 c #Conflicts: 370000 | #Constraints: 13437
1056.89/1060.15 c #Conflicts: 371000 | #Constraints: 14437
1056.89/1060.15 c #Conflicts: 372000 | #Constraints: 15437
1056.89/1060.15 c #Conflicts: 373000 | #Constraints: 16437
1056.89/1060.15 c #Conflicts: 374000 | #Constraints: 17437
1056.89/1060.15 c #Conflicts: 375000 | #Constraints: 18437
1056.89/1060.15 c #Conflicts: 376000 | #Constraints: 19437
1056.89/1060.15 c #Conflicts: 377000 | #Constraints: 20437
1056.89/1060.15 c #Conflicts: 378000 | #Constraints: 21437
1056.89/1060.15 c #Conflicts: 379000 | #Constraints: 22437
1056.89/1060.15 c #Conflicts: 380000 | #Constraints: 23437
1056.89/1060.15 c #Conflicts: 381000 | #Constraints: 24437
1056.89/1060.15 c INPROCESSING
1056.89/1060.15 c GARBAGE COLLECT
1056.89/1060.15 c #Conflicts: 382000 | #Constraints: 13229
1056.89/1060.15 c #Conflicts: 383000 | #Constraints: 14229
1056.89/1060.15 c #Conflicts: 384000 | #Constraints: 15229
1056.89/1060.15 c #Conflicts: 385000 | #Constraints: 16229
1056.89/1060.15 c #Conflicts: 386000 | #Constraints: 17229
1056.89/1060.15 c #Conflicts: 387000 | #Constraints: 18229
1056.89/1060.15 c #Conflicts: 388000 | #Constraints: 19229
1056.89/1060.15 c #Conflicts: 389000 | #Constraints: 20229
1056.89/1060.15 c #Conflicts: 390000 | #Constraints: 21229
1056.89/1060.15 c #Conflicts: 391000 | #Constraints: 22229
1056.89/1060.15 c #Conflicts: 392000 | #Constraints: 23229
1056.89/1060.15 c #Conflicts: 393000 | #Constraints: 24229
1056.89/1060.15 c #Conflicts: 394000 | #Constraints: 25229
1056.89/1060.15 c INPROCESSING
1056.89/1060.15 c GARBAGE COLLECT
1056.89/1060.15 c #Conflicts: 395000 | #Constraints: 13851
1056.89/1060.15 c #Conflicts: 396000 | #Constraints: 14851
1056.89/1060.15 c #Conflicts: 397000 | #Constraints: 15851
1056.89/1060.15 c #Conflicts: 398000 | #Constraints: 16851
1056.89/1060.15 c #Conflicts: 399000 | #Constraints: 17851
1056.89/1060.15 c #Conflicts: 400000 | #Constraints: 18851
1056.89/1060.15 c #Conflicts: 401000 | #Constraints: 19851
1056.89/1060.15 c #Conflicts: 402000 | #Constraints: 20851
1056.89/1060.15 c #Conflicts: 403000 | #Constraints: 21851
1056.89/1060.15 c #Conflicts: 404000 | #Constraints: 22851
1056.89/1060.15 c #Conflicts: 405000 | #Constraints: 23851
1056.89/1060.15 c #Conflicts: 406000 | #Constraints: 24851
1056.89/1060.15 c #Conflicts: 407000 | #Constraints: 25851
1056.89/1060.15 c INPROCESSING
1056.89/1060.15 c GARBAGE COLLECT
1056.89/1060.15 c #Conflicts: 408000 | #Constraints: 14237
1056.89/1060.15 c #Conflicts: 409000 | #Constraints: 15237
1056.89/1060.15 c #Conflicts: 410000 | #Constraints: 16237
1056.89/1060.15 c #Conflicts: 411000 | #Constraints: 17237
1056.89/1060.15 c #Conflicts: 412000 | #Constraints: 18237
1056.89/1060.15 c #Conflicts: 413000 | #Constraints: 19237
1056.89/1060.15 c #Conflicts: 414000 | #Constraints: 20237
1056.89/1060.15 c #Conflicts: 415000 | #Constraints: 21237
1056.89/1060.15 c #Conflicts: 416000 | #Constraints: 22237
1056.89/1060.15 c #Conflicts: 417000 | #Constraints: 23237
1056.89/1060.15 c #Conflicts: 418000 | #Constraints: 24237
1056.89/1060.15 c #Conflicts: 419000 | #Constraints: 25237
1056.89/1060.15 c #Conflicts: 420000 | #Constraints: 26237
1056.89/1060.15 c INPROCESSING
1056.89/1060.15 c GARBAGE COLLECT
1056.89/1060.15 c #Conflicts: 421000 | #Constraints: 14453
1056.89/1060.15 c #Conflicts: 422000 | #Constraints: 15453
1056.89/1060.15 c #Conflicts: 423000 | #Constraints: 16453
1056.89/1060.15 c #Conflicts: 424000 | #Constraints: 17453
1056.89/1060.15 c #Conflicts: 425000 | #Constraints: 18453
1056.89/1060.15 c #Conflicts: 426000 | #Constraints: 19453
1056.89/1060.15 c #Conflicts: 427000 | #Constraints: 20453
1056.89/1060.15 c #Conflicts: 428000 | #Constraints: 21453
1056.89/1060.15 c #Conflicts: 429000 | #Constraints: 22453
1056.89/1060.15 c #Conflicts: 430000 | #Constraints: 23453
1056.89/1060.15 c #Conflicts: 431000 | #Constraints: 24453
1056.89/1060.15 c #Conflicts: 432000 | #Constraints: 25453
1056.89/1060.15 c #Conflicts: 433000 | #Constraints: 26453
1056.89/1060.15 c INPROCESSING
1056.89/1060.15 c GARBAGE COLLECT
1056.89/1060.15 c #Conflicts: 434000 | #Constraints: 14461
1056.89/1060.15 c #Conflicts: 435000 | #Constraints: 15461
1056.89/1060.15 c #Conflicts: 436000 | #Constraints: 16461
1056.89/1060.15 c #Conflicts: 437000 | #Constraints: 17461
1713.94/1719.29 c #Conflicts: 438000 | #Constraints: 18461
1713.94/1719.29 c #Conflicts: 439000 | #Constraints: 19461
1713.94/1719.29 c #Conflicts: 440000 | #Constraints: 20461
1713.94/1719.29 c #Conflicts: 441000 | #Constraints: 21461
1713.94/1719.29 c #Conflicts: 442000 | #Constraints: 22461
1713.94/1719.29 c #Conflicts: 443000 | #Constraints: 23461
1713.94/1719.29 c #Conflicts: 444000 | #Constraints: 24461
1713.94/1719.29 c #Conflicts: 445000 | #Constraints: 25461
1713.94/1719.29 c #Conflicts: 446000 | #Constraints: 26461
1713.94/1719.29 c INPROCESSING
1713.94/1719.29 c GARBAGE COLLECT
1713.94/1719.29 c #Conflicts: 447000 | #Constraints: 14320
1713.94/1719.29 c #Conflicts: 448000 | #Constraints: 15320
1713.94/1719.29 c #Conflicts: 449000 | #Constraints: 16320
1713.94/1719.29 c #Conflicts: 450000 | #Constraints: 17320
1713.94/1719.29 c #Conflicts: 451000 | #Constraints: 18320
1713.94/1719.29 c #Conflicts: 452000 | #Constraints: 19320
1713.94/1719.29 c #Conflicts: 453000 | #Constraints: 20320
1713.94/1719.29 c #Conflicts: 454000 | #Constraints: 21320
1713.94/1719.29 c #Conflicts: 455000 | #Constraints: 22320
1713.94/1719.29 c #Conflicts: 456000 | #Constraints: 23320
1713.94/1719.29 c #Conflicts: 457000 | #Constraints: 24320
1713.94/1719.29 c #Conflicts: 458000 | #Constraints: 25320
1713.94/1719.29 c #Conflicts: 459000 | #Constraints: 26320
1713.94/1719.29 c #Conflicts: 460000 | #Constraints: 27320
1713.94/1719.29 c INPROCESSING
1713.94/1719.29 c GARBAGE COLLECT
1713.94/1719.29 c #Conflicts: 461000 | #Constraints: 14909
1713.94/1719.29 c #Conflicts: 462000 | #Constraints: 15909
1713.94/1719.29 c #Conflicts: 463000 | #Constraints: 16909
1713.94/1719.29 c #Conflicts: 464000 | #Constraints: 17909
1713.94/1719.29 c #Conflicts: 465000 | #Constraints: 18909
1713.94/1719.29 c #Conflicts: 466000 | #Constraints: 19909
1713.94/1719.29 c #Conflicts: 467000 | #Constraints: 20909
1713.94/1719.29 c #Conflicts: 468000 | #Constraints: 21909
1713.94/1719.29 c #Conflicts: 469000 | #Constraints: 22909
1713.94/1719.29 c #Conflicts: 470000 | #Constraints: 23909
1713.94/1719.29 c #Conflicts: 471000 | #Constraints: 24909
1713.94/1719.29 c #Conflicts: 472000 | #Constraints: 25909
1713.94/1719.29 c #Conflicts: 473000 | #Constraints: 26909
1713.94/1719.29 c #Conflicts: 474000 | #Constraints: 27909
1713.94/1719.29 c INPROCESSING
1713.94/1719.29 c GARBAGE COLLECT
1713.94/1719.29 c #Conflicts: 475000 | #Constraints: 15307
1713.94/1719.29 c #Conflicts: 476000 | #Constraints: 16307
1713.94/1719.29 c #Conflicts: 477000 | #Constraints: 17307
1713.94/1719.29 c #Conflicts: 478000 | #Constraints: 18307
1713.94/1719.29 c #Conflicts: 479000 | #Constraints: 19307
1713.94/1719.29 c #Conflicts: 480000 | #Constraints: 20307
1713.94/1719.29 c #Conflicts: 481000 | #Constraints: 21307
1713.94/1719.29 c #Conflicts: 482000 | #Constraints: 22307
1713.94/1719.29 c #Conflicts: 483000 | #Constraints: 23307
1713.94/1719.29 c #Conflicts: 484000 | #Constraints: 24307
1713.94/1719.29 c #Conflicts: 485000 | #Constraints: 25307
1713.94/1719.29 c #Conflicts: 486000 | #Constraints: 26307
1713.94/1719.29 c #Conflicts: 487000 | #Constraints: 27307
1713.94/1719.29 c #Conflicts: 488000 | #Constraints: 28307
1713.94/1719.29 c INPROCESSING
1713.94/1719.29 c GARBAGE COLLECT
1713.94/1719.29 c #Conflicts: 489000 | #Constraints: 15541
1713.94/1719.29 c #Conflicts: 490000 | #Constraints: 16541
1713.94/1719.29 c #Conflicts: 491000 | #Constraints: 17541
1713.94/1719.29 c #Conflicts: 492000 | #Constraints: 18541
1713.94/1719.29 c #Conflicts: 493000 | #Constraints: 19541
1713.94/1719.29 c #Conflicts: 494000 | #Constraints: 20541
1713.94/1719.29 c #Conflicts: 495000 | #Constraints: 21541
1713.94/1719.29 c #Conflicts: 496000 | #Constraints: 22541
1713.94/1719.29 c #Conflicts: 497000 | #Constraints: 23541
1713.94/1719.29 c #Conflicts: 498000 | #Constraints: 24541
1713.94/1719.29 c #Conflicts: 499000 | #Constraints: 25541
1713.94/1719.29 c #Conflicts: 500000 | #Constraints: 26541
1713.94/1719.29 c #Conflicts: 501000 | #Constraints: 27541
1713.94/1719.29 c #Conflicts: 502000 | #Constraints: 28541
1713.94/1719.29 c INPROCESSING
1713.94/1719.29 c GARBAGE COLLECT
1713.94/1719.29 c #Conflicts: 503000 | #Constraints: 15573
1713.94/1719.29 c #Conflicts: 504000 | #Constraints: 16573
1713.94/1719.29 c #Conflicts: 505000 | #Constraints: 17573
1713.94/1719.29 c #Conflicts: 506000 | #Constraints: 18573
1713.94/1719.29 c #Conflicts: 507000 | #Constraints: 19573
1713.94/1719.29 c #Conflicts: 508000 | #Constraints: 20573
1713.94/1719.29 c #Conflicts: 509000 | #Constraints: 21573
1713.94/1719.29 c #Conflicts: 510000 | #Constraints: 22573
1713.94/1719.29 c #Conflicts: 511000 | #Constraints: 23573
1713.94/1719.29 c #Conflicts: 512000 | #Constraints: 24573
1713.94/1719.29 c #Conflicts: 513000 | #Constraints: 25573
1848.00/1853.79 c #Conflicts: 514000 | #Constraints: 26573
1848.00/1853.79 c #Conflicts: 515000 | #Constraints: 27573
1848.00/1853.79 c #Conflicts: 516000 | #Constraints: 28573
1848.00/1853.79 c INPROCESSING
1848.00/1853.79 c GARBAGE COLLECT
1848.00/1853.79 c #Conflicts: 517000 | #Constraints: 15299
1848.00/1853.79 c #Conflicts: 518000 | #Constraints: 16299
1848.00/1853.79 c #Conflicts: 519000 | #Constraints: 17299
1848.00/1853.79 c #Conflicts: 520000 | #Constraints: 18299
1848.00/1853.79 c #Conflicts: 521000 | #Constraints: 19299
1848.00/1853.79 c #Conflicts: 522000 | #Constraints: 20299
1848.00/1853.79 c #Conflicts: 523000 | #Constraints: 21299
1848.00/1853.79 c #Conflicts: 524000 | #Constraints: 22299
1848.00/1853.79 c #Conflicts: 525000 | #Constraints: 23299
1848.00/1853.79 c #Conflicts: 526000 | #Constraints: 24299
1848.00/1853.79 c #Conflicts: 527000 | #Constraints: 25299
1848.00/1853.79 c #Conflicts: 528000 | #Constraints: 26299
1848.00/1853.79 c #Conflicts: 529000 | #Constraints: 27299
1848.00/1853.79 c #Conflicts: 530000 | #Constraints: 28299
1848.00/1853.79 c #Conflicts: 531000 | #Constraints: 29299
1848.00/1853.79 c INPROCESSING
1848.00/1853.79 c GARBAGE COLLECT
1848.00/1853.79 c #Conflicts: 532000 | #Constraints: 15878
1848.00/1853.79 c #Conflicts: 533000 | #Constraints: 16878
1848.00/1853.79 c #Conflicts: 534000 | #Constraints: 17878
1848.00/1853.79 c #Conflicts: 535000 | #Constraints: 18878
1848.00/1853.79 c #Conflicts: 536000 | #Constraints: 19878
1848.00/1853.79 c #Conflicts: 537000 | #Constraints: 20878
1848.00/1853.79 c #Conflicts: 538000 | #Constraints: 21878
1848.00/1853.79 c #Conflicts: 539000 | #Constraints: 22878
1848.00/1853.79 c #Conflicts: 540000 | #Constraints: 23878
1848.00/1853.79 c #Conflicts: 541000 | #Constraints: 24878
1848.00/1853.79 c #Conflicts: 542000 | #Constraints: 25878
1848.00/1853.79 c #Conflicts: 543000 | #Constraints: 26878
1848.00/1853.79 c #Conflicts: 544000 | #Constraints: 27878
1848.00/1853.79 c #Conflicts: 545000 | #Constraints: 28878
1848.00/1853.79 c #Conflicts: 546000 | #Constraints: 29878
1848.00/1853.79 c INPROCESSING
1848.00/1853.79 c GARBAGE COLLECT
1848.00/1853.79 c #Conflicts: 547000 | #Constraints: 16250
1848.00/1853.79 c #Conflicts: 548000 | #Constraints: 17250
1848.00/1853.79 c #Conflicts: 549000 | #Constraints: 18250
1848.00/1853.79 c #Conflicts: 550000 | #Constraints: 19250
1848.00/1853.79 c #Conflicts: 551000 | #Constraints: 20250
1848.00/1853.79 c #Conflicts: 552000 | #Constraints: 21250
1848.00/1853.79 c #Conflicts: 553000 | #Constraints: 22250
1848.00/1853.79 c #Conflicts: 554000 | #Constraints: 23250
1848.00/1853.79 c #Conflicts: 555000 | #Constraints: 24250
1848.00/1853.79 c #Conflicts: 556000 | #Constraints: 25250
1848.00/1853.79 c #Conflicts: 557000 | #Constraints: 26250
1848.00/1853.79 c #Conflicts: 558000 | #Constraints: 27250
1848.00/1853.79 c #Conflicts: 559000 | #Constraints: 28250
1848.00/1853.79 c #Conflicts: 560000 | #Constraints: 29250
1848.00/1853.79 c #Conflicts: 561000 | #Constraints: 30250
1848.00/1853.79 c INPROCESSING
1848.00/1853.79 c GARBAGE COLLECT
1848.00/1853.79 c #Conflicts: 562000 | #Constraints: 16451
1848.00/1853.79 c #Conflicts: 563000 | #Constraints: 17451
1848.00/1853.79 c #Conflicts: 564000 | #Constraints: 18451
1848.00/1853.79 c #Conflicts: 565000 | #Constraints: 19451
1848.00/1853.79 c #Conflicts: 566000 | #Constraints: 20451
1848.00/1853.79 c #Conflicts: 567000 | #Constraints: 21451
1848.00/1853.79 c #Conflicts: 568000 | #Constraints: 22451
1848.00/1853.79 c #Conflicts: 569000 | #Constraints: 23451
1848.00/1853.79 c #Conflicts: 570000 | #Constraints: 24451
1848.00/1853.79 c #Conflicts: 571000 | #Constraints: 25451
1848.00/1853.79 c #Conflicts: 572000 | #Constraints: 26451
1848.00/1853.79 c #Conflicts: 573000 | #Constraints: 27451
1848.00/1853.79 c #Conflicts: 574000 | #Constraints: 28451
1848.00/1853.79 c #Conflicts: 575000 | #Constraints: 29451
1848.00/1853.79 c #Conflicts: 576000 | #Constraints: 30451
1848.00/1853.79 c INPROCESSING
1848.00/1853.79 c GARBAGE COLLECT
1848.00/1853.79 c #Conflicts: 577000 | #Constraints: 16447
1848.00/1853.79 c #Conflicts: 578000 | #Constraints: 17447
1848.00/1853.79 c #Conflicts: 579000 | #Constraints: 18447
1848.00/1853.79 c #Conflicts: 580000 | #Constraints: 19447
1848.00/1853.79 c #Conflicts: 581000 | #Constraints: 20447
1848.00/1853.79 c #Conflicts: 582000 | #Constraints: 21447
1848.00/1853.79 c #Conflicts: 583000 | #Constraints: 22447
1848.00/1853.79 c #Conflicts: 584000 | #Constraints: 23447
1848.00/1853.79 c #Conflicts: 585000 | #Constraints: 24447
1848.00/1853.79 c #Conflicts: 586000 | #Constraints: 25447
1848.00/1853.79 c #Conflicts: 587000 | #Constraints: 26447
1848.00/1853.79 c #Conflicts: 588000 | #Constraints: 27447
2147.71/2154.43 c #Conflicts: 589000 | #Constraints: 28447
2147.71/2154.43 c #Conflicts: 590000 | #Constraints: 29447
2147.71/2154.43 c #Conflicts: 591000 | #Constraints: 30447
2147.71/2154.43 c INPROCESSING
2147.71/2154.43 c GARBAGE COLLECT
2147.71/2154.43 c #Conflicts: 592000 | #Constraints: 16249
2147.71/2154.43 c #Conflicts: 593000 | #Constraints: 17249
2147.71/2154.43 c #Conflicts: 594000 | #Constraints: 18249
2147.71/2154.43 c #Conflicts: 595000 | #Constraints: 19249
2147.71/2154.43 c #Conflicts: 596000 | #Constraints: 20249
2147.71/2154.43 c #Conflicts: 597000 | #Constraints: 21249
2147.71/2154.43 c #Conflicts: 598000 | #Constraints: 22249
2147.71/2154.43 c #Conflicts: 599000 | #Constraints: 23249
2147.71/2154.43 c #Conflicts: 600000 | #Constraints: 24249
2147.71/2154.43 c #Conflicts: 601000 | #Constraints: 25249
2147.71/2154.43 c #Conflicts: 602000 | #Constraints: 26249
2147.71/2154.43 c #Conflicts: 603000 | #Constraints: 27249
2147.71/2154.43 c #Conflicts: 604000 | #Constraints: 28249
2147.71/2154.43 c #Conflicts: 605000 | #Constraints: 29249
2147.71/2154.43 c #Conflicts: 606000 | #Constraints: 30249
2147.71/2154.43 c #Conflicts: 607000 | #Constraints: 31249
2147.71/2154.43 c INPROCESSING
2147.71/2154.43 c GARBAGE COLLECT
2147.71/2154.43 c #Conflicts: 608000 | #Constraints: 16862
2147.71/2154.43 c #Conflicts: 609000 | #Constraints: 17862
2147.71/2154.43 c #Conflicts: 610000 | #Constraints: 18862
2147.71/2154.43 c #Conflicts: 611000 | #Constraints: 19862
2147.71/2154.43 c #Conflicts: 612000 | #Constraints: 20862
2147.71/2154.43 c #Conflicts: 613000 | #Constraints: 21862
2147.71/2154.43 c #Conflicts: 614000 | #Constraints: 22862
2147.71/2154.43 c #Conflicts: 615000 | #Constraints: 23862
2147.71/2154.43 c #Conflicts: 616000 | #Constraints: 24862
2147.71/2154.43 c #Conflicts: 617000 | #Constraints: 25862
2147.71/2154.43 c #Conflicts: 618000 | #Constraints: 26862
2147.71/2154.43 c #Conflicts: 619000 | #Constraints: 27862
2147.71/2154.43 c #Conflicts: 620000 | #Constraints: 28862
2147.71/2154.43 c #Conflicts: 621000 | #Constraints: 29862
2147.71/2154.43 c #Conflicts: 622000 | #Constraints: 30862
2147.71/2154.43 c #Conflicts: 623000 | #Constraints: 31862
2147.71/2154.43 c INPROCESSING
2147.71/2154.43 c GARBAGE COLLECT
2147.71/2154.43 c #Conflicts: 624000 | #Constraints: 17250
2147.71/2154.43 c #Conflicts: 625000 | #Constraints: 18250
2147.71/2154.43 c #Conflicts: 626000 | #Constraints: 19250
2147.71/2154.43 c #Conflicts: 627000 | #Constraints: 20250
2147.71/2154.43 c #Conflicts: 628000 | #Constraints: 21250
2147.71/2154.43 c #Conflicts: 629000 | #Constraints: 22250
2147.71/2154.43 c #Conflicts: 630000 | #Constraints: 23250
2147.71/2154.43 c #Conflicts: 631000 | #Constraints: 24250
2147.71/2154.43 c #Conflicts: 632000 | #Constraints: 25250
2147.71/2154.43 c #Conflicts: 633000 | #Constraints: 26250
2147.71/2154.43 c #Conflicts: 634000 | #Constraints: 27250
2147.71/2154.43 c #Conflicts: 635000 | #Constraints: 28250
2147.71/2154.43 c #Conflicts: 636000 | #Constraints: 29250
2147.71/2154.43 c #Conflicts: 637000 | #Constraints: 30250
2147.71/2154.43 c #Conflicts: 638000 | #Constraints: 31250
2147.71/2154.43 c #Conflicts: 639000 | #Constraints: 32250
2147.71/2154.43 c INPROCESSING
2147.71/2154.43 c GARBAGE COLLECT
2147.71/2154.43 c #Conflicts: 640000 | #Constraints: 17447
2147.71/2154.43 c #Conflicts: 641000 | #Constraints: 18447
2147.71/2154.43 c #Conflicts: 642000 | #Constraints: 19447
2147.71/2154.43 c #Conflicts: 643000 | #Constraints: 20447
2147.71/2154.43 c #Conflicts: 644000 | #Constraints: 21447
2147.71/2154.43 c #Conflicts: 645000 | #Constraints: 22447
2147.71/2154.43 c #Conflicts: 646000 | #Constraints: 23447
2147.71/2154.43 c #Conflicts: 647000 | #Constraints: 24447
2147.71/2154.43 c #Conflicts: 648000 | #Constraints: 25447
2147.71/2154.43 c #Conflicts: 649000 | #Constraints: 26447
2147.71/2154.43 c #Conflicts: 650000 | #Constraints: 27447
2147.71/2154.43 c #Conflicts: 651000 | #Constraints: 28447
2147.71/2154.43 c #Conflicts: 652000 | #Constraints: 29447
2147.71/2154.43 c #Conflicts: 653000 | #Constraints: 30447
2147.71/2154.43 c #Conflicts: 654000 | #Constraints: 31447
2147.71/2154.43 c #Conflicts: 655000 | #Constraints: 32447
2147.71/2154.43 c INPROCESSING
2147.71/2154.43 c GARBAGE COLLECT
2147.71/2154.43 c #Conflicts: 656000 | #Constraints: 17455
2147.71/2154.43 c #Conflicts: 657000 | #Constraints: 18455
2147.71/2154.43 c #Conflicts: 658000 | #Constraints: 19455
2147.71/2154.43 c #Conflicts: 659000 | #Constraints: 20455
2147.71/2154.43 c #Conflicts: 660000 | #Constraints: 21455
2147.71/2154.43 c #Conflicts: 661000 | #Constraints: 22455
2147.71/2154.43 c #Conflicts: 662000 | #Constraints: 23455
2147.71/2154.43 c #Conflicts: 663000 | #Constraints: 24455
2147.71/2154.43 c #Conflicts: 664000 | #Constraints: 25455
2459.47/2467.20 c #Conflicts: 665000 | #Constraints: 26455
2459.47/2467.20 c #Conflicts: 666000 | #Constraints: 27455
2459.47/2467.20 c #Conflicts: 667000 | #Constraints: 28455
2459.47/2467.20 c #Conflicts: 668000 | #Constraints: 29455
2459.47/2467.20 c #Conflicts: 669000 | #Constraints: 30455
2459.47/2467.20 c #Conflicts: 670000 | #Constraints: 31455
2459.47/2467.20 c #Conflicts: 671000 | #Constraints: 32455
2459.47/2467.20 c INPROCESSING
2459.47/2467.20 c GARBAGE COLLECT
2459.47/2467.20 c #Conflicts: 672000 | #Constraints: 17247
2459.47/2467.20 c #Conflicts: 673000 | #Constraints: 18247
2459.47/2467.20 c #Conflicts: 674000 | #Constraints: 19247
2459.47/2467.20 c #Conflicts: 675000 | #Constraints: 20247
2459.47/2467.20 c #Conflicts: 676000 | #Constraints: 21247
2459.47/2467.20 c #Conflicts: 677000 | #Constraints: 22247
2459.47/2467.20 c #Conflicts: 678000 | #Constraints: 23247
2459.47/2467.20 c #Conflicts: 679000 | #Constraints: 24247
2459.47/2467.20 c #Conflicts: 680000 | #Constraints: 25247
2459.47/2467.20 c #Conflicts: 681000 | #Constraints: 26247
2459.47/2467.20 c #Conflicts: 682000 | #Constraints: 27247
2459.47/2467.20 c #Conflicts: 683000 | #Constraints: 28247
2459.47/2467.20 c #Conflicts: 684000 | #Constraints: 29247
2459.47/2467.20 c #Conflicts: 685000 | #Constraints: 30247
2459.47/2467.20 c #Conflicts: 686000 | #Constraints: 31247
2459.47/2467.20 c #Conflicts: 687000 | #Constraints: 32247
2459.47/2467.20 c #Conflicts: 688000 | #Constraints: 33247
2459.47/2467.20 c INPROCESSING
2459.47/2467.20 c GARBAGE COLLECT
2459.47/2467.20 c #Conflicts: 689000 | #Constraints: 17837
2459.47/2467.20 c #Conflicts: 690000 | #Constraints: 18837
2459.47/2467.20 c #Conflicts: 691000 | #Constraints: 19837
2459.47/2467.20 c #Conflicts: 692000 | #Constraints: 20837
2459.47/2467.20 c #Conflicts: 693000 | #Constraints: 21837
2459.47/2467.20 c #Conflicts: 694000 | #Constraints: 22837
2459.47/2467.20 c #Conflicts: 695000 | #Constraints: 23837
2459.47/2467.20 c #Conflicts: 696000 | #Constraints: 24837
2459.47/2467.20 c #Conflicts: 697000 | #Constraints: 25837
2459.47/2467.20 c #Conflicts: 698000 | #Constraints: 26837
2459.47/2467.20 c #Conflicts: 699000 | #Constraints: 27837
2459.47/2467.20 c #Conflicts: 700000 | #Constraints: 28837
2459.47/2467.20 c #Conflicts: 701000 | #Constraints: 29837
2459.47/2467.20 c #Conflicts: 702000 | #Constraints: 30837
2459.47/2467.20 c #Conflicts: 703000 | #Constraints: 31837
2459.47/2467.20 c #Conflicts: 704000 | #Constraints: 32837
2459.47/2467.20 c #Conflicts: 705000 | #Constraints: 33837
2459.47/2467.20 c INPROCESSING
2459.47/2467.20 c GARBAGE COLLECT
2459.47/2467.20 c #Conflicts: 706000 | #Constraints: 18255
2459.47/2467.20 c #Conflicts: 707000 | #Constraints: 19255
2459.47/2467.20 c #Conflicts: 708000 | #Constraints: 20255
2459.47/2467.20 c #Conflicts: 709000 | #Constraints: 21255
2459.47/2467.20 c #Conflicts: 710000 | #Constraints: 22255
2459.47/2467.20 c #Conflicts: 711000 | #Constraints: 23255
2459.47/2467.20 c #Conflicts: 712000 | #Constraints: 24255
2459.47/2467.20 c #Conflicts: 713000 | #Constraints: 25255
2459.47/2467.20 c #Conflicts: 714000 | #Constraints: 26255
2459.47/2467.20 c #Conflicts: 715000 | #Constraints: 27255
2459.47/2467.20 c #Conflicts: 716000 | #Constraints: 28255
2459.47/2467.20 c #Conflicts: 717000 | #Constraints: 29255
2459.47/2467.20 c #Conflicts: 718000 | #Constraints: 30255
2459.47/2467.20 c #Conflicts: 719000 | #Constraints: 31255
2459.47/2467.20 c #Conflicts: 720000 | #Constraints: 32255
2459.47/2467.20 c #Conflicts: 721000 | #Constraints: 33255
2459.47/2467.20 c #Conflicts: 722000 | #Constraints: 34255
2459.47/2467.20 c INPROCESSING
2459.47/2467.20 c GARBAGE COLLECT
2459.47/2467.20 c #Conflicts: 723000 | #Constraints: 18460
2459.47/2467.20 c #Conflicts: 724000 | #Constraints: 19460
2459.47/2467.20 c #Conflicts: 725000 | #Constraints: 20460
2459.47/2467.20 c #Conflicts: 726000 | #Constraints: 21460
2459.47/2467.20 c #Conflicts: 727000 | #Constraints: 22460
2459.47/2467.20 c #Conflicts: 728000 | #Constraints: 23460
2459.47/2467.20 c #Conflicts: 729000 | #Constraints: 24460
2459.47/2467.20 c #Conflicts: 730000 | #Constraints: 25460
2459.47/2467.20 c #Conflicts: 731000 | #Constraints: 26460
2459.47/2467.20 c #Conflicts: 732000 | #Constraints: 27460
2459.47/2467.20 c #Conflicts: 733000 | #Constraints: 28460
2459.47/2467.20 c #Conflicts: 734000 | #Constraints: 29460
2459.47/2467.20 c #Conflicts: 735000 | #Constraints: 30460
2459.47/2467.20 c #Conflicts: 736000 | #Constraints: 31460
2459.47/2467.20 c #Conflicts: 737000 | #Constraints: 32460
2459.47/2467.20 c #Conflicts: 738000 | #Constraints: 33460
2459.47/2467.20 c #Conflicts: 739000 | #Constraints: 34460
2459.47/2467.20 c INPROCESSING
2459.47/2467.20 c GARBAGE COLLECT
2613.46/2621.79 c #Conflicts: 740000 | #Constraints: 18451
2613.46/2621.79 c #Conflicts: 741000 | #Constraints: 19451
2613.46/2621.79 c #Conflicts: 742000 | #Constraints: 20451
2613.46/2621.79 c #Conflicts: 743000 | #Constraints: 21451
2613.46/2621.79 c #Conflicts: 744000 | #Constraints: 22451
2613.46/2621.79 c #Conflicts: 745000 | #Constraints: 23451
2613.46/2621.79 c #Conflicts: 746000 | #Constraints: 24451
2613.46/2621.79 c #Conflicts: 747000 | #Constraints: 25451
2613.46/2621.79 c #Conflicts: 748000 | #Constraints: 26451
2613.46/2621.79 c #Conflicts: 749000 | #Constraints: 27451
2613.46/2621.79 c #Conflicts: 750000 | #Constraints: 28451
2613.46/2621.79 c #Conflicts: 751000 | #Constraints: 29451
2613.46/2621.79 c #Conflicts: 752000 | #Constraints: 30451
2613.46/2621.79 c #Conflicts: 753000 | #Constraints: 31451
2613.46/2621.79 c #Conflicts: 754000 | #Constraints: 32451
2613.46/2621.79 c #Conflicts: 755000 | #Constraints: 33451
2613.46/2621.79 c #Conflicts: 756000 | #Constraints: 34451
2613.46/2621.79 c INPROCESSING
2613.46/2621.79 c GARBAGE COLLECT
2613.46/2621.79 c #Conflicts: 757000 | #Constraints: 18244
2613.46/2621.79 c #Conflicts: 758000 | #Constraints: 19244
2613.46/2621.79 c #Conflicts: 759000 | #Constraints: 20244
2613.46/2621.79 c #Conflicts: 760000 | #Constraints: 21244
2613.46/2621.79 c #Conflicts: 761000 | #Constraints: 22244
2613.46/2621.79 c #Conflicts: 762000 | #Constraints: 23244
2613.46/2621.79 c #Conflicts: 763000 | #Constraints: 24244
2613.46/2621.79 c #Conflicts: 764000 | #Constraints: 25244
2613.46/2621.79 c #Conflicts: 765000 | #Constraints: 26244
2613.46/2621.79 c #Conflicts: 766000 | #Constraints: 27244
2613.46/2621.79 c #Conflicts: 767000 | #Constraints: 28244
2613.46/2621.79 c #Conflicts: 768000 | #Constraints: 29244
2613.46/2621.79 c #Conflicts: 769000 | #Constraints: 30244
2613.46/2621.79 c #Conflicts: 770000 | #Constraints: 31244
2613.46/2621.79 c #Conflicts: 771000 | #Constraints: 32244
2613.46/2621.79 c #Conflicts: 772000 | #Constraints: 33244
2613.46/2621.79 c #Conflicts: 773000 | #Constraints: 34244
2613.46/2621.79 c #Conflicts: 774000 | #Constraints: 35244
2613.46/2621.79 c INPROCESSING
2613.46/2621.79 c GARBAGE COLLECT
2613.46/2621.79 c #Conflicts: 775000 | #Constraints: 18836
2613.46/2621.79 c #Conflicts: 776000 | #Constraints: 19836
2613.46/2621.79 c #Conflicts: 777000 | #Constraints: 20836
2613.46/2621.79 c #Conflicts: 778000 | #Constraints: 21836
2613.46/2621.79 c #Conflicts: 779000 | #Constraints: 22836
2613.46/2621.79 c #Conflicts: 780000 | #Constraints: 23836
2613.46/2621.79 c #Conflicts: 781000 | #Constraints: 24836
2613.46/2621.79 c #Conflicts: 782000 | #Constraints: 25836
2613.46/2621.79 c #Conflicts: 783000 | #Constraints: 26836
2613.46/2621.79 c #Conflicts: 784000 | #Constraints: 27836
2613.46/2621.79 c #Conflicts: 785000 | #Constraints: 28836
2613.46/2621.79 c #Conflicts: 786000 | #Constraints: 29836
2613.46/2621.79 c #Conflicts: 787000 | #Constraints: 30836
2613.46/2621.79 c #Conflicts: 788000 | #Constraints: 31836
2613.46/2621.79 c #Conflicts: 789000 | #Constraints: 32836
2613.46/2621.79 c #Conflicts: 790000 | #Constraints: 33836
2613.46/2621.79 c #Conflicts: 791000 | #Constraints: 34836
2613.46/2621.79 c #Conflicts: 792000 | #Constraints: 35836
2613.46/2621.79 c INPROCESSING
2613.46/2621.79 c GARBAGE COLLECT
2613.46/2621.79 c #Conflicts: 793000 | #Constraints: 19224
2613.46/2621.79 c #Conflicts: 794000 | #Constraints: 20224
2613.46/2621.79 c #Conflicts: 795000 | #Constraints: 21224
2613.46/2621.79 c #Conflicts: 796000 | #Constraints: 22224
2613.46/2621.79 c #Conflicts: 797000 | #Constraints: 23224
2613.46/2621.79 c #Conflicts: 798000 | #Constraints: 24224
2613.46/2621.79 c #Conflicts: 799000 | #Constraints: 25224
2613.46/2621.79 c #Conflicts: 800000 | #Constraints: 26224
2613.46/2621.79 c #Conflicts: 801000 | #Constraints: 27224
2613.46/2621.79 c #Conflicts: 802000 | #Constraints: 28224
2613.46/2621.79 c #Conflicts: 803000 | #Constraints: 29224
2613.46/2621.79 c #Conflicts: 804000 | #Constraints: 30224
2613.46/2621.79 c #Conflicts: 805000 | #Constraints: 31224
2613.46/2621.79 c #Conflicts: 806000 | #Constraints: 32224
2613.46/2621.79 c #Conflicts: 807000 | #Constraints: 33224
2613.46/2621.79 c #Conflicts: 808000 | #Constraints: 34224
2613.46/2621.79 c #Conflicts: 809000 | #Constraints: 35224
2613.46/2621.79 c #Conflicts: 810000 | #Constraints: 36224
2613.46/2621.79 c INPROCESSING
2613.46/2621.79 c GARBAGE COLLECT
2613.46/2621.79 c #Conflicts: 811000 | #Constraints: 19436
2613.46/2621.79 c #Conflicts: 812000 | #Constraints: 20436
2613.46/2621.79 c #Conflicts: 813000 | #Constraints: 21436
2613.46/2621.79 c #Conflicts: 814000 | #Constraints: 22436
2613.46/2621.79 c #Conflicts: 815000 | #Constraints: 23436
2613.46/2621.79 c #Conflicts: 816000 | #Constraints: 24436
2793.75/2802.60 c #Conflicts: 817000 | #Constraints: 25436
2793.75/2802.60 c #Conflicts: 818000 | #Constraints: 26436
2793.75/2802.60 c #Conflicts: 819000 | #Constraints: 27436
2793.75/2802.60 c #Conflicts: 820000 | #Constraints: 28436
2793.75/2802.60 c #Conflicts: 821000 | #Constraints: 29436
2793.75/2802.60 c #Conflicts: 822000 | #Constraints: 30436
2793.75/2802.60 c #Conflicts: 823000 | #Constraints: 31436
2793.75/2802.60 c #Conflicts: 824000 | #Constraints: 32436
2793.75/2802.60 c #Conflicts: 825000 | #Constraints: 33436
2793.75/2802.60 c #Conflicts: 826000 | #Constraints: 34436
2793.75/2802.60 c #Conflicts: 827000 | #Constraints: 35436
2793.75/2802.60 c #Conflicts: 828000 | #Constraints: 36436
2793.75/2802.60 c INPROCESSING
2793.75/2802.60 c GARBAGE COLLECT
2793.75/2802.60 c #Conflicts: 829000 | #Constraints: 19445
2793.75/2802.60 c #Conflicts: 830000 | #Constraints: 20445
2793.75/2802.60 c #Conflicts: 831000 | #Constraints: 21445
2793.75/2802.60 c #Conflicts: 832000 | #Constraints: 22445
2793.75/2802.60 c #Conflicts: 833000 | #Constraints: 23445
2793.75/2802.60 c #Conflicts: 834000 | #Constraints: 24445
2793.75/2802.60 c #Conflicts: 835000 | #Constraints: 25445
2793.75/2802.60 c #Conflicts: 836000 | #Constraints: 26445
2793.75/2802.60 c #Conflicts: 837000 | #Constraints: 27445
2793.75/2802.60 c #Conflicts: 838000 | #Constraints: 28445
2793.75/2802.60 c #Conflicts: 839000 | #Constraints: 29445
2793.75/2802.60 c #Conflicts: 840000 | #Constraints: 30445
2793.75/2802.60 c #Conflicts: 841000 | #Constraints: 31445
2793.75/2802.60 c #Conflicts: 842000 | #Constraints: 32445
2793.75/2802.60 c #Conflicts: 843000 | #Constraints: 33445
2793.75/2802.60 c #Conflicts: 844000 | #Constraints: 34445
2793.75/2802.60 c #Conflicts: 845000 | #Constraints: 35445
2793.75/2802.60 c #Conflicts: 846000 | #Constraints: 36445
2793.75/2802.60 c INPROCESSING
2793.75/2802.60 c GARBAGE COLLECT
2793.75/2802.60 c #Conflicts: 847000 | #Constraints: 19245
2793.75/2802.60 c #Conflicts: 848000 | #Constraints: 20245
2793.75/2802.60 c #Conflicts: 849000 | #Constraints: 21245
2793.75/2802.60 c #Conflicts: 850000 | #Constraints: 22245
2793.75/2802.60 c #Conflicts: 851000 | #Constraints: 23245
2793.75/2802.60 c #Conflicts: 852000 | #Constraints: 24245
2793.75/2802.60 c #Conflicts: 853000 | #Constraints: 25245
2793.75/2802.60 c #Conflicts: 854000 | #Constraints: 26245
2793.75/2802.60 c #Conflicts: 855000 | #Constraints: 27245
2793.75/2802.60 c #Conflicts: 856000 | #Constraints: 28245
2793.75/2802.60 c #Conflicts: 857000 | #Constraints: 29245
2793.75/2802.60 c #Conflicts: 858000 | #Constraints: 30245
2793.75/2802.60 c #Conflicts: 859000 | #Constraints: 31245
2793.75/2802.60 c #Conflicts: 860000 | #Constraints: 32245
2793.75/2802.60 c #Conflicts: 861000 | #Constraints: 33245
2793.75/2802.60 c #Conflicts: 862000 | #Constraints: 34245
2793.75/2802.60 c #Conflicts: 863000 | #Constraints: 35245
2793.75/2802.60 c #Conflicts: 864000 | #Constraints: 36245
2793.75/2802.60 c #Conflicts: 865000 | #Constraints: 37245
2793.75/2802.60 c INPROCESSING
2793.75/2802.60 c GARBAGE COLLECT
2793.75/2802.60 c #Conflicts: 866000 | #Constraints: 19839
2793.75/2802.60 c #Conflicts: 867000 | #Constraints: 20839
2793.75/2802.60 c #Conflicts: 868000 | #Constraints: 21839
2793.75/2802.60 c #Conflicts: 869000 | #Constraints: 22839
2793.75/2802.60 c #Conflicts: 870000 | #Constraints: 23839
2793.75/2802.60 c #Conflicts: 871000 | #Constraints: 24839
2793.75/2802.60 c #Conflicts: 872000 | #Constraints: 25839
2793.75/2802.60 c #Conflicts: 873000 | #Constraints: 26839
2793.75/2802.60 c #Conflicts: 874000 | #Constraints: 27839
2793.75/2802.60 c #Conflicts: 875000 | #Constraints: 28839
2793.75/2802.60 c #Conflicts: 876000 | #Constraints: 29839
2793.75/2802.60 c #Conflicts: 877000 | #Constraints: 30839
2793.75/2802.60 c #Conflicts: 878000 | #Constraints: 31839
2793.75/2802.60 c #Conflicts: 879000 | #Constraints: 32839
2793.75/2802.60 c #Conflicts: 880000 | #Constraints: 33839
2793.75/2802.60 c #Conflicts: 881000 | #Constraints: 34839
2793.75/2802.60 c #Conflicts: 882000 | #Constraints: 35839
2793.75/2802.60 c #Conflicts: 883000 | #Constraints: 36839
2793.75/2802.60 c #Conflicts: 884000 | #Constraints: 37839
2793.75/2802.60 c INPROCESSING
2793.75/2802.60 c GARBAGE COLLECT
2793.75/2802.60 c #Conflicts: 885000 | #Constraints: 20238
2793.75/2802.60 c #Conflicts: 886000 | #Constraints: 21238
2793.75/2802.60 c #Conflicts: 887000 | #Constraints: 22238
2793.75/2802.60 c #Conflicts: 888000 | #Constraints: 23238
2793.75/2802.60 c #Conflicts: 889000 | #Constraints: 24238
2793.75/2802.60 c #Conflicts: 890000 | #Constraints: 25238
2793.75/2802.60 c #Conflicts: 891000 | #Constraints: 26238
2793.75/2802.60 c #Conflicts: 892000 | #Constraints: 27238
3057.28/3067.02 c #Conflicts: 893000 | #Constraints: 28238
3057.28/3067.02 c #Conflicts: 894000 | #Constraints: 29238
3057.28/3067.02 c #Conflicts: 895000 | #Constraints: 30238
3057.28/3067.02 c #Conflicts: 896000 | #Constraints: 31238
3057.28/3067.02 c #Conflicts: 897000 | #Constraints: 32238
3057.28/3067.02 c #Conflicts: 898000 | #Constraints: 33238
3057.28/3067.02 c #Conflicts: 899000 | #Constraints: 34238
3057.28/3067.02 c #Conflicts: 900000 | #Constraints: 35238
3057.28/3067.02 c #Conflicts: 901000 | #Constraints: 36238
3057.28/3067.02 c #Conflicts: 902000 | #Constraints: 37238
3057.28/3067.02 c #Conflicts: 903000 | #Constraints: 38238
3057.28/3067.02 c INPROCESSING
3057.28/3067.02 c GARBAGE COLLECT
3057.28/3067.02 c #Conflicts: 904000 | #Constraints: 20434
3057.28/3067.02 c #Conflicts: 905000 | #Constraints: 21434
3057.28/3067.02 c #Conflicts: 906000 | #Constraints: 22434
3057.28/3067.02 c #Conflicts: 907000 | #Constraints: 23434
3057.28/3067.02 c #Conflicts: 908000 | #Constraints: 24434
3057.28/3067.02 c #Conflicts: 909000 | #Constraints: 25434
3057.28/3067.02 c #Conflicts: 910000 | #Constraints: 26434
3057.28/3067.02 c #Conflicts: 911000 | #Constraints: 27434
3057.28/3067.02 c #Conflicts: 912000 | #Constraints: 28434
3057.28/3067.02 c #Conflicts: 913000 | #Constraints: 29434
3057.28/3067.02 c #Conflicts: 914000 | #Constraints: 30434
3057.28/3067.02 c #Conflicts: 915000 | #Constraints: 31434
3057.28/3067.02 c #Conflicts: 916000 | #Constraints: 32434
3057.28/3067.02 c #Conflicts: 917000 | #Constraints: 33434
3057.28/3067.02 c #Conflicts: 918000 | #Constraints: 34434
3057.28/3067.02 c #Conflicts: 919000 | #Constraints: 35434
3057.28/3067.02 c #Conflicts: 920000 | #Constraints: 36434
3057.28/3067.02 c #Conflicts: 921000 | #Constraints: 37434
3057.28/3067.02 c #Conflicts: 922000 | #Constraints: 38434
3057.28/3067.02 c INPROCESSING
3057.28/3067.02 c GARBAGE COLLECT
3057.28/3067.02 c #Conflicts: 923000 | #Constraints: 20432
3057.28/3067.02 c #Conflicts: 924000 | #Constraints: 21432
3057.28/3067.02 c #Conflicts: 925000 | #Constraints: 22432
3057.28/3067.02 c #Conflicts: 926000 | #Constraints: 23432
3057.28/3067.02 c #Conflicts: 927000 | #Constraints: 24432
3057.28/3067.02 c #Conflicts: 928000 | #Constraints: 25432
3057.28/3067.02 c #Conflicts: 929000 | #Constraints: 26432
3057.28/3067.02 c #Conflicts: 930000 | #Constraints: 27432
3057.28/3067.02 c #Conflicts: 931000 | #Constraints: 28432
3057.28/3067.02 c #Conflicts: 932000 | #Constraints: 29432
3057.28/3067.02 c #Conflicts: 933000 | #Constraints: 30432
3057.28/3067.02 c #Conflicts: 934000 | #Constraints: 31432
3057.28/3067.02 c #Conflicts: 935000 | #Constraints: 32432
3057.28/3067.02 c #Conflicts: 936000 | #Constraints: 33432
3057.28/3067.02 c #Conflicts: 937000 | #Constraints: 34432
3057.28/3067.02 c #Conflicts: 938000 | #Constraints: 35432
3057.28/3067.02 c #Conflicts: 939000 | #Constraints: 36432
3057.28/3067.02 c #Conflicts: 940000 | #Constraints: 37432
3057.28/3067.02 c #Conflicts: 941000 | #Constraints: 38432
3057.28/3067.02 c INPROCESSING
3057.28/3067.02 c GARBAGE COLLECT
3057.28/3067.02 c #Conflicts: 942000 | #Constraints: 20272
3057.28/3067.02 c #Conflicts: 943000 | #Constraints: 21272
3057.28/3067.02 c #Conflicts: 944000 | #Constraints: 22272
3057.28/3067.02 c #Conflicts: 945000 | #Constraints: 23272
3057.28/3067.02 c #Conflicts: 946000 | #Constraints: 24272
3057.28/3067.02 c #Conflicts: 947000 | #Constraints: 25272
3057.28/3067.02 c #Conflicts: 948000 | #Constraints: 26272
3057.28/3067.02 c #Conflicts: 949000 | #Constraints: 27272
3057.28/3067.02 c #Conflicts: 950000 | #Constraints: 28272
3057.28/3067.02 c #Conflicts: 951000 | #Constraints: 29272
3057.28/3067.02 c #Conflicts: 952000 | #Constraints: 30272
3057.28/3067.02 c #Conflicts: 953000 | #Constraints: 31272
3057.28/3067.02 c #Conflicts: 954000 | #Constraints: 32272
3057.28/3067.02 c #Conflicts: 955000 | #Constraints: 33272
3057.28/3067.02 c #Conflicts: 956000 | #Constraints: 34272
3057.28/3067.02 c #Conflicts: 957000 | #Constraints: 35272
3057.28/3067.02 c #Conflicts: 958000 | #Constraints: 36272
3057.28/3067.02 c #Conflicts: 959000 | #Constraints: 37272
3057.28/3067.02 c #Conflicts: 960000 | #Constraints: 38272
3057.28/3067.02 c #Conflicts: 961000 | #Constraints: 39272
3057.28/3067.02 c INPROCESSING
3057.28/3067.02 c GARBAGE COLLECT
3057.28/3067.02 c #Conflicts: 962000 | #Constraints: 20917
3057.28/3067.02 c #Conflicts: 963000 | #Constraints: 21917
3057.28/3067.02 c #Conflicts: 964000 | #Constraints: 22917
3057.28/3067.02 c #Conflicts: 965000 | #Constraints: 23917
3057.28/3067.02 c #Conflicts: 966000 | #Constraints: 24917
3057.28/3067.02 c #Conflicts: 967000 | #Constraints: 25917
3057.28/3067.02 c #Conflicts: 968000 | #Constraints: 26917
3558.18/3569.67 c #Conflicts: 969000 | #Constraints: 27917
3558.18/3569.67 c #Conflicts: 970000 | #Constraints: 28917
3558.18/3569.67 c #Conflicts: 971000 | #Constraints: 29917
3558.18/3569.67 c #Conflicts: 972000 | #Constraints: 30917
3558.18/3569.67 c #Conflicts: 973000 | #Constraints: 31917
3558.18/3569.67 c #Conflicts: 974000 | #Constraints: 32917
3558.18/3569.67 c #Conflicts: 975000 | #Constraints: 33917
3558.18/3569.67 c #Conflicts: 976000 | #Constraints: 34917
3558.18/3569.67 c #Conflicts: 977000 | #Constraints: 35917
3558.18/3569.67 c #Conflicts: 978000 | #Constraints: 36917
3558.18/3569.67 c #Conflicts: 979000 | #Constraints: 37917
3558.18/3569.67 c #Conflicts: 980000 | #Constraints: 38917
3558.18/3569.67 c #Conflicts: 981000 | #Constraints: 39917
3558.18/3569.67 c INPROCESSING
3558.18/3569.67 c GARBAGE COLLECT
3558.18/3569.67 c #Conflicts: 982000 | #Constraints: 21300
3558.18/3569.67 c #Conflicts: 983000 | #Constraints: 22300
3558.18/3569.67 c #Conflicts: 984000 | #Constraints: 23300
3558.18/3569.67 c #Conflicts: 985000 | #Constraints: 24300
3558.18/3569.67 c #Conflicts: 986000 | #Constraints: 25300
3558.18/3569.67 c #Conflicts: 987000 | #Constraints: 26300
3558.18/3569.67 c #Conflicts: 988000 | #Constraints: 27300
3558.18/3569.67 c #Conflicts: 989000 | #Constraints: 28300
3558.18/3569.67 c #Conflicts: 990000 | #Constraints: 29300
3558.18/3569.67 c #Conflicts: 991000 | #Constraints: 30300
3558.18/3569.67 c #Conflicts: 992000 | #Constraints: 31300
3558.18/3569.67 c #Conflicts: 993000 | #Constraints: 32300
3558.18/3569.67 c #Conflicts: 994000 | #Constraints: 33300
3558.18/3569.67 c #Conflicts: 995000 | #Constraints: 34300
3558.18/3569.67 c #Conflicts: 996000 | #Constraints: 35300
3558.18/3569.67 c #Conflicts: 997000 | #Constraints: 36300
3558.18/3569.67 c #Conflicts: 998000 | #Constraints: 37300
3558.18/3569.67 c #Conflicts: 999000 | #Constraints: 38300
3558.18/3569.67 c #Conflicts: 1000000 | #Constraints: 39300
3558.18/3569.67 c #Conflicts: 1001000 | #Constraints: 40300
3558.18/3569.67 c INPROCESSING
3558.18/3569.67 c GARBAGE COLLECT
3558.18/3569.67 c #Conflicts: 1002000 | #Constraints: 21509
3558.18/3569.67 c #Conflicts: 1003000 | #Constraints: 22509
3558.18/3569.67 c #Conflicts: 1004000 | #Constraints: 23509
3558.18/3569.67 c #Conflicts: 1005000 | #Constraints: 24509
3558.18/3569.67 c #Conflicts: 1006000 | #Constraints: 25509
3558.18/3569.67 c #Conflicts: 1007000 | #Constraints: 26509
3558.18/3569.67 c #Conflicts: 1008000 | #Constraints: 27509
3558.18/3569.67 c #Conflicts: 1009000 | #Constraints: 28509
3558.18/3569.67 c #Conflicts: 1010000 | #Constraints: 29509
3558.18/3569.67 c #Conflicts: 1011000 | #Constraints: 30509
3558.18/3569.67 c #Conflicts: 1012000 | #Constraints: 31509
3558.18/3569.67 c #Conflicts: 1013000 | #Constraints: 32509
3558.18/3569.67 c #Conflicts: 1014000 | #Constraints: 33509
3558.18/3569.67 c #Conflicts: 1015000 | #Constraints: 34509
3558.18/3569.67 c #Conflicts: 1016000 | #Constraints: 35509
3558.18/3569.67 c #Conflicts: 1017000 | #Constraints: 36509
3558.18/3569.67 c #Conflicts: 1018000 | #Constraints: 37509
3558.18/3569.67 c #Conflicts: 1019000 | #Constraints: 38509
3558.18/3569.67 c #Conflicts: 1020000 | #Constraints: 39509
3558.18/3569.67 c #Conflicts: 1021000 | #Constraints: 40509
3558.18/3569.67 c INPROCESSING
3558.18/3569.67 c GARBAGE COLLECT
3558.18/3569.67 c #Conflicts: 1022000 | #Constraints: 21504
3558.18/3569.67 c #Conflicts: 1023000 | #Constraints: 22504
3558.18/3569.67 c #Conflicts: 1024000 | #Constraints: 23504
3558.18/3569.67 c #Conflicts: 1025000 | #Constraints: 24504
3558.18/3569.67 c #Conflicts: 1026000 | #Constraints: 25504
3558.18/3569.67 c #Conflicts: 1027000 | #Constraints: 26504
3558.18/3569.67 c #Conflicts: 1028000 | #Constraints: 27504
3558.18/3569.67 c #Conflicts: 1029000 | #Constraints: 28504
3558.18/3569.67 c #Conflicts: 1030000 | #Constraints: 29504
3558.18/3569.67 c #Conflicts: 1031000 | #Constraints: 30504
3558.18/3569.67 c #Conflicts: 1032000 | #Constraints: 31504
3558.18/3569.67 c #Conflicts: 1033000 | #Constraints: 32504
3558.18/3569.67 c #Conflicts: 1034000 | #Constraints: 33504
3558.18/3569.67 c #Conflicts: 1035000 | #Constraints: 34504
3558.18/3569.67 c #Conflicts: 1036000 | #Constraints: 35504
3558.18/3569.67 c #Conflicts: 1037000 | #Constraints: 36504
3558.18/3569.67 c #Conflicts: 1038000 | #Constraints: 37504
3558.18/3569.67 c #Conflicts: 1039000 | #Constraints: 38504
3558.18/3569.67 c #Conflicts: 1040000 | #Constraints: 39504
3558.18/3569.67 c #Conflicts: 1041000 | #Constraints: 40504
3558.18/3569.67 c INPROCESSING
3558.18/3569.67 c GARBAGE COLLECT
3558.18/3569.67 c #Conflicts: 1042000 | #Constraints: 21290
3558.18/3569.67 c #Conflicts: 1043000 | #Constraints: 22290
3558.18/3569.67 c #Conflicts: 1044000 | #Constraints: 23290
3600.03/3611.60 c #Conflicts: 1045000 | #Constraints: 24290
3600.03/3611.60 c #Conflicts: 1046000 | #Constraints: 25290
3600.03/3611.60 c #Conflicts: 1047000 | #Constraints: 26290
3600.03/3611.60 c #Conflicts: 1048000 | #Constraints: 27290
3600.03/3611.60 c #Conflicts: 1049000 | #Constraints: 28290
3600.03/3611.60 c #Conflicts: 1050000 | #Constraints: 29290
3600.03/3611.60 c #Conflicts: 1051000 | #Constraints: 30290
3600.03/3611.60 c #Conflicts: 1052000 | #Constraints: 31290
3600.03/3611.60 c #Conflicts: 1053000 | #Constraints: 32290
3600.03/3611.60 c #Conflicts: 1054000 | #Constraints: 33290
3600.03/3611.60 c #Conflicts: 1055000 | #Constraints: 34290
3600.03/3611.60 c #Conflicts: 1056000 | #Constraints: 35290
3600.03/3611.60 c Program interrupted by user.
3600.03/3611.60 c cpu time 3589.45 s
3600.03/3611.60 c deterministic time 805546478779 8.06e+11
3600.03/3611.60 c optimization time 45.3119 s
3600.03/3611.60 c total solve time 3245.24 s
3600.03/3611.60 c core-guided solve time 0 s
3600.03/3611.60 c propagation time 2715.69 s
3600.03/3611.60 c conflict analysis time 518.6 s
3600.03/3611.60 c propagations 326854756
3600.03/3611.60 c resolve steps 12078473
3600.03/3611.60 c decisions 8209126
3600.03/3611.60 c conflicts 1056947
3600.03/3611.60 c restarts 2046
3600.03/3611.60 c inprocessing phases 93
3600.03/3611.60 c input clauses 75
3600.03/3611.60 c input cardinalities 75
3600.03/3611.60 c input general constraints 448
3600.03/3611.60 c input average constraint length 72.81
3600.03/3611.60 c input average constraint degree 654.84
3600.03/3611.60 c learned clauses 101120
3600.03/3611.60 c learned cardinalities 10444
3600.03/3611.60 c learned general constraints 945382
3600.03/3611.60 c learned average constraint length 825.80
3600.03/3611.60 c learned average constraint degree 94327081.11
3600.03/3611.60 c watched constraints 751444
3600.03/3611.60 c counting constraints 194386
3600.03/3611.60 c gcd simplifications 64916
3600.03/3611.60 c detected cardinalities 354
3600.03/3611.60 c weakened non-implied lits 98497414
3600.03/3611.60 c weakened non-implying lits 144802
3600.03/3611.60 c original variables 4977
3600.03/3611.60 c clausal propagations 1275136
3600.03/3611.60 c cardinality propagations 7167684
3600.03/3611.60 c watched propagations 16473410
3600.03/3611.60 c counting propagations 300675877
3600.03/3611.60 c watch lookups 28339222438
3600.03/3611.60 c watch backjump lookups 24751026517
3600.03/3611.60 c watch checks 681695913705
3600.03/3611.60 c propagation checks 66779409787
3600.03/3611.60 c constraint additions 3309725010
3600.03/3611.60 c trail pops 336117439
3600.03/3611.60 c formula constraints 598
3600.03/3611.60 c learned constraints 1056946
3600.03/3611.60 c bound constraints 0
3600.03/3611.60 c core-guided constraints 0
3600.03/3611.60 c encountered formula constraints 7807093
3600.03/3611.60 c encountered learned constraints 5328327
3600.03/3611.60 c encountered bound constraints 0
3600.03/3611.60 c encountered core-guided constraints 0
3600.03/3611.60 c LP total time 0 s
3600.03/3611.60 c LP solve time 0 s
3600.03/3611.60 c LP constraints added 0
3600.03/3611.60 c LP constraints removed 0
3600.03/3611.60 c LP pivots internal 0
3600.03/3611.60 c LP pivots root 0
3600.03/3611.60 c LP calls 0
3600.03/3611.60 c LP optimalities 0
3600.03/3611.60 c LP no pivot count 0
3600.03/3611.60 c LP infeasibilities 0
3600.03/3611.60 c LP valid Farkas constraints 0
3600.03/3611.60 c LP learned Farkas constraints 0
3600.03/3611.60 c LP basis resets 0
3600.03/3611.60 c LP cycling count 0
3600.03/3611.60 c LP singular count 0
3600.03/3611.60 c LP no primal count 0
3600.03/3611.60 c LP no farkas count 0
3600.03/3611.60 c LP other issue count 0
3600.03/3611.60 c LP Gomory cuts 0
3600.03/3611.60 c LP learned cuts 0
3600.03/3611.60 c LP deleted cuts 0
3600.03/3611.60 c LP encountered Gomory constraints 0
3600.03/3611.60 c LP encountered Farkas constraints 0
3600.03/3611.60 c LP encountered learned Farkas constraints 0
3600.03/3611.60 c CG auxiliary variables introduced 0
3600.03/3611.60 c CG solutions found 0
3600.03/3611.60 c CG cores constructed 0
3600.03/3611.60 c CG core cardinality constraints returned 0
3600.03/3611.60 c CG unit cores 0
3600.03/3611.60 c CG single cores 0
3600.03/3611.60 c CG blocks removed during cardinality reduction 0
3600.03/3611.60 c CG first core best 0
3600.03/3611.60 c CG decision core best 0
3600.03/3611.60 c CG core reduction tie 0
3600.03/3611.60 c CG core degree average 0.00
3600.03/3611.60 c CG core slack average 0.00
3600.03/3611.60 c CG exhausted 0
3600.03/3611.60 c CG exhaust time 0 s
3600.03/3611.60 c CG trimmed 0
3600.03/3611.60 c CG trim time 0 s
3600.03/3611.60 c CG minimized 0
3600.03/3611.60 c CG minimize time 0 s
3600.03/3611.60 c CG am1 prop time 0 s
3600.03/3611.60 c CG # am1s reformulated 0
3600.03/3611.60 c CG lower bound derived from am1s 0
3600.03/3611.60 c CG # clausal cores 0
3600.03/3611.60 c CG # cardinality cores 0
3600.03/3611.60 c CG # pb cores 0
3600.03/3611.60 c CG # pb reforms 0
3600.03/3611.60 c CG # cores discarded because of pb reform 0
3600.03/3611.60 d LOWERBOUND 0
3600.03/3611.60 d NCORES 0
3600.03/3611.60 d NPBCORES 0
3600.03/3611.60 d NPBREFORM 0
3600.03/3611.60 d NTRIMMED 0
3600.03/3611.60 d NEXHAUSTED 0
3600.03/3611.60 d NAM1S 0
3600.03/3611.60 d AM1LB 0
3600.03/3611.60 c [Papilo Statistics]
3600.03/3611.60 c prepro time 0.0157582s
3600.03/3611.60 c # tsx applied 14
3600.03/3611.60 c # tsx conflicts 0
3600.03/3611.60 c # bound changes 7
3600.03/3611.60 c # side changes 0
3600.03/3611.60 c # coef changes 0
3600.03/3611.60 c # rounds 2
3600.03/3611.60 c # deted vars 7
3600.03/3611.60 c # deted constrs 4971
3600.03/3611.60 c # consecutive rounds of only bound changes 0
3600.03/3611.60 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (50780 MiB free)
memory of node 1: 64465 MiB (55875 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499295-1751404922/watcher-4499295-1751404922 -o /tmp/evaluation-result-4499295-1751404922/solver-4499295-1751404922 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751397381-55038 --watchdog 3760 mixed-bag HOME/instance-4499295-1751404922.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=56442, runsolver pid=56439
[startup+0.100065 s]*
/proc/loadavg: 4.12 4.12 4.09 5/265 56443
/proc/meminfo: memFree=109188748/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=119660 memory=43908 CPUtime=0.08 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 7782 0 0 0 7 1 0 0 20 0 1 0 56170742 122531840 10977 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 29915 10977 4064 2842 0 11609 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 119660 KiB
Current children cumulated memory: 43908 KiB
[startup+0.205546 s]*
/proc/loadavg: 4.12 4.12 4.09 5/265 56443
/proc/meminfo: memFree=109173124/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=135500 memory=59280 CPUtime=0.19 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 11963 0 0 0 17 2 0 0 20 0 1 0 56170742 138752000 14820 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 33875 14820 4096 2842 0 15569 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 135500 KiB
Current children cumulated memory: 59280 KiB
[startup+0.305493 s]*
/proc/loadavg: 4.12 4.12 4.09 5/265 56443
/proc/meminfo: memFree=109156996/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=155420 memory=73684 CPUtime=0.28 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 15056 0 0 0 26 2 0 0 20 0 1 0 56170742 159150080 18421 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 38855 18421 4096 2842 0 20549 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 155420 KiB
Current children cumulated memory: 73684 KiB
[startup+0.700157 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 56443
/proc/meminfo: memFree=109156996/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=160468 memory=78804 CPUtime=0.67 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 16329 0 0 0 65 2 0 0 20 0 1 0 56170742 164319232 19701 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 40117 19701 4096 2842 0 21811 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 160468 KiB
Current children cumulated memory: 78804 KiB
[startup+1.50015 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 56443
/proc/meminfo: memFree=109124740/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=190476 memory=108500 CPUtime=1.48 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 23775 0 0 0 144 4 0 0 20 0 1 0 56170742 195047424 27125 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 47619 27125 4096 2842 0 29313 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 190476 KiB
Current children cumulated memory: 108500 KiB
[startup+3.10528 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 56488
/proc/meminfo: memFree=109176632/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=190716 memory=108756 CPUtime=3.08 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 23835 0 0 0 304 4 0 0 20 0 1 0 56170742 195293184 27189 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 47679 27189 4096 2842 0 29373 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 190716 KiB
Current children cumulated memory: 108756 KiB
[startup+6.30015 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 56488
/proc/meminfo: memFree=109097272/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=267400 memory=183776 CPUtime=6.25 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 45929 0 0 0 618 7 0 0 20 0 1 0 56170742 273817600 45944 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 66850 45944 4288 2842 0 48544 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 267400 KiB
Current children cumulated memory: 183776 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 56488
/proc/meminfo: memFree=109047760/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=285584 memory=201876 CPUtime=12.64 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 54595 0 0 0 1255 9 0 0 20 0 1 0 56170742 292438016 50469 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 71396 50469 4288 2842 0 53090 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 285584 KiB
Current children cumulated memory: 201876 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 56488
/proc/meminfo: memFree=109019612/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=285584 memory=202132 CPUtime=25.4 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 54680 0 0 0 2531 9 0 0 20 0 1 0 56170742 292438016 50533 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 71396 50533 4288 2842 0 53090 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 285584 KiB
Current children cumulated memory: 202132 KiB
[startup+51.1053 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 56488
/proc/meminfo: memFree=108968856/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=308360 memory=225908 CPUtime=50.92 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 62812 0 0 0 5081 11 0 0 20 0 1 0 56170742 315760640 56477 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 77090 56477 4288 2842 0 58784 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 308360 KiB
Current children cumulated memory: 225908 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 56490
/proc/meminfo: memFree=108931864/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=316836 memory=234788 CPUtime=101.95 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 92727 0 0 0 10179 16 0 0 20 0 1 0 56170742 324440064 58697 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 79209 58697 4288 2842 0 60903 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 316836 KiB
Current children cumulated memory: 234788 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/263 56493
/proc/meminfo: memFree=108898680/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=328256 memory=246164 CPUtime=161.76 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 129604 0 0 0 16152 24 0 0 20 0 1 0 56170742 336134144 61541 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 82064 61541 4288 2842 0 63758 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 328256 KiB
Current children cumulated memory: 246164 KiB
[startup+222.3 s]
/proc/loadavg: 4.65 4.27 4.15 5/263 56495
/proc/meminfo: memFree=108862192/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=344048 memory=262020 CPUtime=221.57 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 145872 0 0 0 22130 27 0 0 20 0 1 0 56170742 352305152 65505 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 86012 65505 4288 2842 0 67706 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 344048 KiB
Current children cumulated memory: 262020 KiB
[startup+282.3 s]
/proc/loadavg: 4.69 4.33 4.18 5/264 56498
/proc/meminfo: memFree=108833468/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=352084 memory=270112 CPUtime=281.38 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 155645 0 0 0 28109 29 0 0 20 0 1 0 56170742 360534016 67528 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 88021 67528 4288 2842 0 69715 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 352084 KiB
Current children cumulated memory: 270112 KiB
[startup+342.3 s]
/proc/loadavg: 4.29 4.28 4.17 5/265 56503
/proc/meminfo: memFree=108794556/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=381520 memory=297728 CPUtime=341.19 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 157600 0 0 0 34033 86 0 0 20 0 1 0 56170742 390676480 74432 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 95380 74432 4352 2842 0 77074 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 381520 KiB
Current children cumulated memory: 297728 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.26 4.17 5/266 56510
/proc/meminfo: memFree=108748268/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=412340 memory=336128 CPUtime=401.02 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 158142 0 0 0 39981 121 0 0 20 0 1 0 56170742 422236160 84032 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 103085 84032 4352 2842 0 84779 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 412340 KiB
Current children cumulated memory: 336128 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.22 4.16 5/265 56512
/proc/meminfo: memFree=108727984/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=412340 memory=336128 CPUtime=460.83 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 158179 0 0 0 45925 158 0 0 20 0 1 0 56170742 422236160 84032 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 103085 84032 4352 2842 0 84779 0
Current children cumulated CPU time: 460.83 s
################
# More data... #
################
Current children cumulated memory: 504500 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 56649
/proc/meminfo: memFree=108394808/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=579932 memory=504756 CPUtime=2853.26 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 165503 0 0 0 284388 938 0 0 20 0 1 0 56170742 593850368 126189 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 144983 126189 4352 2842 0 126677 0
Current children cumulated CPU time: 2853.26 s
Current children cumulated vsize: 579932 KiB
Current children cumulated memory: 504756 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 56651
/proc/meminfo: memFree=108383120/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=580876 memory=505268 CPUtime=2913.06 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 165640 0 0 0 290350 956 0 0 20 0 1 0 56170742 594817024 126317 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 145219 126317 4352 2842 0 126913 0
Current children cumulated CPU time: 2913.06 s
Current children cumulated vsize: 580876 KiB
Current children cumulated memory: 505268 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 56653
/proc/meminfo: memFree=108375164/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=585956 memory=509108 CPUtime=2972.86 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 166581 0 0 0 296321 965 0 0 20 0 1 0 56170742 600018944 127277 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 146489 127277 4352 2842 0 128183 0
Current children cumulated CPU time: 2972.86 s
Current children cumulated vsize: 585956 KiB
Current children cumulated memory: 509108 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/264 56656
/proc/meminfo: memFree=108376000/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=585956 memory=509108 CPUtime=3032.65 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 166663 0 0 0 302292 973 0 0 20 0 1 0 56170742 600018944 127277 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 146489 127277 4352 2842 0 128183 0
Current children cumulated CPU time: 3032.65 s
Current children cumulated vsize: 585956 KiB
Current children cumulated memory: 509108 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/263 56658
/proc/meminfo: memFree=108376868/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=586532 memory=509620 CPUtime=3092.45 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 166799 0 0 0 308257 988 0 0 20 0 1 0 56170742 600608768 127405 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 146633 127405 4352 2842 0 128327 0
Current children cumulated CPU time: 3092.45 s
Current children cumulated vsize: 586532 KiB
Current children cumulated memory: 509620 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 56660
/proc/meminfo: memFree=108369672/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=587496 memory=510388 CPUtime=3152.26 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 166991 0 0 0 314230 996 0 0 20 0 1 0 56170742 601595904 127597 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 146874 127597 4352 2842 0 128568 0
Current children cumulated CPU time: 3152.26 s
Current children cumulated vsize: 587496 KiB
Current children cumulated memory: 510388 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 56662
/proc/meminfo: memFree=108350124/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=587852 memory=514740 CPUtime=3212.05 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 167045 0 0 0 320206 999 0 0 20 0 1 0 56170742 601960448 128685 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 146963 128685 4352 2842 0 128657 0
Current children cumulated CPU time: 3212.05 s
Current children cumulated vsize: 587852 KiB
Current children cumulated memory: 514740 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 56665
/proc/meminfo: memFree=108328400/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=589836 memory=525492 CPUtime=3271.88 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 167367 0 0 0 326186 1002 0 0 20 0 1 0 56170742 603992064 131373 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 147459 131373 4352 2842 0 129153 0
Current children cumulated CPU time: 3271.88 s
Current children cumulated vsize: 589836 KiB
Current children cumulated memory: 525492 KiB
[startup+3342.3 s]
/proc/loadavg: 2.99 3.79 3.99 3/252 56729
/proc/meminfo: memFree=108988848/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=592268 memory=527412 CPUtime=3331.69 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 167839 0 0 0 332159 1010 0 0 20 0 1 0 56170742 606482432 131853 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 148067 131853 4352 2842 0 129761 0
Current children cumulated CPU time: 3331.69 s
Current children cumulated vsize: 592268 KiB
Current children cumulated memory: 527412 KiB
[startup+3402.3 s]
/proc/loadavg: 2.40 3.48 3.87 3/252 56733
/proc/meminfo: memFree=108994380/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=593132 memory=528052 CPUtime=3391.48 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 167985 0 0 0 338132 1016 0 0 20 0 1 0 56170742 607367168 132013 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 148283 132013 4352 2842 0 129977 0
Current children cumulated CPU time: 3391.48 s
Current children cumulated vsize: 593132 KiB
Current children cumulated memory: 528052 KiB
[startup+3462.3 s]
/proc/loadavg: 2.20 3.22 3.75 3/252 56739
/proc/meminfo: memFree=108982564/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=732692 memory=540656 CPUtime=3451.28 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 169617 0 0 0 344107 1021 0 0 20 0 1 0 56170742 750276608 135164 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 183173 135164 4352 2842 0 164867 0
Current children cumulated CPU time: 3451.28 s
Current children cumulated vsize: 732692 KiB
Current children cumulated memory: 540656 KiB
[startup+3522.3 s]
/proc/loadavg: 2.11 3.01 3.64 3/252 56741
/proc/meminfo: memFree=108951032/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=740244 memory=572064 CPUtime=3511.05 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 170841 0 0 0 350071 1034 0 0 20 0 1 0 56170742 758009856 143016 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 185061 143016 4352 2842 0 166755 0
Current children cumulated CPU time: 3511.05 s
Current children cumulated vsize: 740244 KiB
Current children cumulated memory: 572064 KiB
[startup+3582.3 s]
/proc/loadavg: 2.18 2.87 3.55 3/251 56743
/proc/meminfo: memFree=108952656/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=740576 memory=572448 CPUtime=3570.83 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 170924 0 0 0 356032 1051 0 0 20 0 1 0 56170742 758349824 143112 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 185144 143112 4352 2842 0 166838 0
Current children cumulated CPU time: 3570.83 s
Current children cumulated vsize: 740576 KiB
Current children cumulated memory: 572448 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 2.11 2.78 3.50 3/251 56744
/proc/meminfo: memFree=108952952/131249988 swapFree=33010416/33010684
[pid=56442] ppid=56439 vsize=741140 memory=572832 CPUtime=3600.03 cores=5,7
/proc/56442/stat : 56442 (mixed-bag) R 56439 56442 55025 0 -1 4194304 171020 0 0 0 358945 1058 0 0 20 0 1 0 56170742 758927360 143208 18446744073709551615 4235264 15874749 140735014451792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 30330880 140735014455708 140735014455785 140735014455785 140735014461387 0
/proc/56442/statm: 185285 143208 4352 2842 0 166979 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 741140 KiB
Current children cumulated memory: 572832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.61 s]
# the end of solver process 56442 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.46 s, system=10.5888 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.61
CPU time (s): 3600.04
CPU user time (s): 3589.46
CPU system time (s): 10.5888
CPU usage (%): 99.6798
Max. virtual memory (cumulated for all children) (KiB): 741140
Max. memory (cumulated for all children) (KiB): 572832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.46
system time used= 10.5888
maximum resident set size= 573216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171047
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= 222
involuntary context switches= 20501
# summary of solver processes directly reported to runsolver:
# pid: 56442
# total CPU time (s): 3600.04
# total CPU user time (s): 3589.46
# total CPU system time (s): 10.5888
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.60318 second user time and 15.5588 second system time
The end
Begin job on nodeC031 at 2025-07-01 23:22:02
IDJOB=4499295
IDBENCH=148775
IDSOLVER=3340
FILE ID=nodeC031/4499295-1751404922
RUNJOBID= nodeC031-1751397381-55038
SLURM_JOB_ID= 9598276
Free space on /tmp= 432676 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx75.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499295-1751404922/watcher-4499295-1751404922 -o /tmp/evaluation-result-4499295-1751404922/solver-4499295-1751404922 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751397381-55038 --watchdog 3760 mixed-bag HOME/instance-4499295-1751404922.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=303217929
nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.885
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.895
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.279
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.204
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.901
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3531.399
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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.590
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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.871
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 109215616 kB
MemAvailable: 129171204 kB
Buffers: 2128 kB
Cached: 20641912 kB
SwapCached: 12 kB
Active: 949480 kB
Inactive: 20235976 kB
Active(anon): 549000 kB
Inactive(anon): 10472 kB
Active(file): 400480 kB
Inactive(file): 20225504 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 27392 kB
Writeback: 0 kB
AnonPages: 544232 kB
Mapped: 138680 kB
Shmem: 18052 kB
KReclaimable: 337684 kB
Slab: 428912 kB
SReclaimable: 337684 kB
SUnreclaim: 91228 kB
KernelStack: 4272 kB
PageTables: 4384 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 940620 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 43008 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432692 MiB
End job on nodeC031 at 2025-07-02 00:22:14