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.04 c [STEP] preprocessing with Papilo
0.00/0.06 c [STEP] solving with SCIP
298.94/300.10 c [STEP] preprocessing done, loading into solver
298.94/300.11 c [STEP] solving
298.94/300.11 c #variables 4971 #constraints 598
348.96/350.38 c #Conflicts: 1000 | #Constraints: 1597
348.96/350.38 c #Conflicts: 2000 | #Constraints: 2597
348.96/350.38 c INPROCESSING
348.96/350.38 c GARBAGE COLLECT
348.96/350.38 c #Conflicts: 3000 | #Constraints: 2605
348.96/350.38 c #Conflicts: 4000 | #Constraints: 3605
348.96/350.38 c INPROCESSING
348.96/350.38 c GARBAGE COLLECT
348.96/350.38 c #Conflicts: 5000 | #Constraints: 3015
348.96/350.38 c #Conflicts: 6000 | #Constraints: 4015
348.96/350.38 c INPROCESSING
348.96/350.38 c GARBAGE COLLECT
348.96/350.38 c #Conflicts: 7000 | #Constraints: 3024
348.96/350.38 c #Conflicts: 8000 | #Constraints: 4024
348.96/350.38 c #Conflicts: 9000 | #Constraints: 5024
348.96/350.38 c INPROCESSING
348.96/350.38 c GARBAGE COLLECT
348.96/350.38 c #Conflicts: 10000 | #Constraints: 3719
348.96/350.38 c #Conflicts: 11000 | #Constraints: 4719
348.96/350.38 c #Conflicts: 12000 | #Constraints: 5719
348.96/350.38 c INPROCESSING
348.96/350.38 c GARBAGE COLLECT
348.96/350.38 c #Conflicts: 13000 | #Constraints: 4169
348.96/350.38 c #Conflicts: 14000 | #Constraints: 5169
348.96/350.38 c #Conflicts: 15000 | #Constraints: 6169
348.96/350.38 c INPROCESSING
348.96/350.38 c GARBAGE COLLECT
348.96/350.38 c #Conflicts: 16000 | #Constraints: 4404
348.96/350.38 c #Conflicts: 17000 | #Constraints: 5404
348.96/350.38 c #Conflicts: 18000 | #Constraints: 6404
348.96/350.38 c INPROCESSING
348.96/350.38 c GARBAGE COLLECT
348.96/350.38 c #Conflicts: 19000 | #Constraints: 4459
348.96/350.38 c #Conflicts: 20000 | #Constraints: 5459
348.96/350.38 c #Conflicts: 21000 | #Constraints: 6459
348.96/350.38 c INPROCESSING
348.96/350.38 c GARBAGE COLLECT
348.96/350.38 c #Conflicts: 22000 | #Constraints: 4239
348.96/350.38 c #Conflicts: 23000 | #Constraints: 5239
348.96/350.38 c #Conflicts: 24000 | #Constraints: 6239
348.96/350.38 c #Conflicts: 25000 | #Constraints: 7239
348.96/350.38 c INPROCESSING
348.96/350.38 c GARBAGE COLLECT
348.96/350.38 c #Conflicts: 26000 | #Constraints: 4836
348.96/350.38 c #Conflicts: 27000 | #Constraints: 5836
348.96/350.38 c #Conflicts: 28000 | #Constraints: 6836
348.96/350.38 c #Conflicts: 29000 | #Constraints: 7836
348.96/350.38 c INPROCESSING
348.96/350.38 c GARBAGE COLLECT
348.96/350.38 c #Conflicts: 30000 | #Constraints: 5231
348.96/350.38 c #Conflicts: 31000 | #Constraints: 6231
348.96/350.38 c #Conflicts: 32000 | #Constraints: 7231
348.96/350.38 c #Conflicts: 33000 | #Constraints: 8231
348.96/350.38 c INPROCESSING
348.96/350.38 c GARBAGE COLLECT
348.96/350.38 c #Conflicts: 34000 | #Constraints: 5440
348.96/350.38 c #Conflicts: 35000 | #Constraints: 6440
348.96/350.38 c #Conflicts: 36000 | #Constraints: 7440
348.96/350.38 c #Conflicts: 37000 | #Constraints: 8440
348.96/350.38 c INPROCESSING
348.96/350.38 c GARBAGE COLLECT
348.96/350.38 c #Conflicts: 38000 | #Constraints: 5443
348.96/350.38 c #Conflicts: 39000 | #Constraints: 6443
348.96/350.38 c #Conflicts: 40000 | #Constraints: 7443
348.96/350.38 c #Conflicts: 41000 | #Constraints: 8443
348.96/350.38 c INPROCESSING
348.96/350.38 c GARBAGE COLLECT
348.96/350.38 c #Conflicts: 42000 | #Constraints: 5265
348.96/350.38 c #Conflicts: 43000 | #Constraints: 6265
348.96/350.38 c #Conflicts: 44000 | #Constraints: 7265
348.96/350.38 c #Conflicts: 45000 | #Constraints: 8265
348.96/350.38 c #Conflicts: 46000 | #Constraints: 9265
348.96/350.38 c INPROCESSING
348.96/350.38 c GARBAGE COLLECT
348.96/350.38 c #Conflicts: 47000 | #Constraints: 5850
348.96/350.38 c #Conflicts: 48000 | #Constraints: 6850
348.96/350.38 c #Conflicts: 49000 | #Constraints: 7850
348.96/350.38 c #Conflicts: 50000 | #Constraints: 8850
348.96/350.38 c #Conflicts: 51000 | #Constraints: 9850
348.96/350.38 c INPROCESSING
348.96/350.38 c GARBAGE COLLECT
348.96/350.38 c #Conflicts: 52000 | #Constraints: 6246
348.96/350.38 c #Conflicts: 53000 | #Constraints: 7246
348.96/350.38 c #Conflicts: 54000 | #Constraints: 8246
348.96/350.38 c #Conflicts: 55000 | #Constraints: 9246
348.96/350.38 c #Conflicts: 56000 | #Constraints: 10246
348.96/350.38 c INPROCESSING
348.96/350.38 c GARBAGE COLLECT
348.96/350.38 c #Conflicts: 57000 | #Constraints: 6431
348.96/350.38 c #Conflicts: 58000 | #Constraints: 7431
348.96/350.38 c #Conflicts: 59000 | #Constraints: 8431
348.96/350.38 c #Conflicts: 60000 | #Constraints: 9431
348.96/350.38 c #Conflicts: 61000 | #Constraints: 10431
348.96/350.38 c INPROCESSING
348.96/350.38 c GARBAGE COLLECT
348.96/350.38 c #Conflicts: 62000 | #Constraints: 6437
348.96/350.38 c #Conflicts: 63000 | #Constraints: 7437
348.96/350.38 c #Conflicts: 64000 | #Constraints: 8437
348.96/350.38 c #Conflicts: 65000 | #Constraints: 9437
348.96/350.38 c #Conflicts: 66000 | #Constraints: 10437
348.96/350.38 c INPROCESSING
348.96/350.38 c GARBAGE COLLECT
348.96/350.38 c #Conflicts: 67000 | #Constraints: 6239
348.96/350.38 c #Conflicts: 68000 | #Constraints: 7239
464.89/466.62 c #Conflicts: 69000 | #Constraints: 8239
464.89/466.62 c #Conflicts: 70000 | #Constraints: 9239
464.89/466.62 c #Conflicts: 71000 | #Constraints: 10239
464.89/466.62 c #Conflicts: 72000 | #Constraints: 11239
464.89/466.62 c INPROCESSING
464.89/466.62 c GARBAGE COLLECT
464.89/466.62 c #Conflicts: 73000 | #Constraints: 6831
464.89/466.62 c #Conflicts: 74000 | #Constraints: 7831
464.89/466.62 c #Conflicts: 75000 | #Constraints: 8831
464.89/466.62 c #Conflicts: 76000 | #Constraints: 9831
464.89/466.62 c #Conflicts: 77000 | #Constraints: 10831
464.89/466.62 c #Conflicts: 78000 | #Constraints: 11831
464.89/466.62 c INPROCESSING
464.89/466.62 c GARBAGE COLLECT
464.89/466.62 c #Conflicts: 79000 | #Constraints: 7232
464.89/466.62 c #Conflicts: 80000 | #Constraints: 8232
464.89/466.62 c #Conflicts: 81000 | #Constraints: 9232
464.89/466.62 c #Conflicts: 82000 | #Constraints: 10232
464.89/466.62 c #Conflicts: 83000 | #Constraints: 11232
464.89/466.62 c #Conflicts: 84000 | #Constraints: 12232
464.89/466.62 c INPROCESSING
464.89/466.62 c GARBAGE COLLECT
464.89/466.62 c #Conflicts: 85000 | #Constraints: 7450
464.89/466.62 c #Conflicts: 86000 | #Constraints: 8450
464.89/466.62 c #Conflicts: 87000 | #Constraints: 9450
464.89/466.62 c #Conflicts: 88000 | #Constraints: 10450
464.89/466.62 c #Conflicts: 89000 | #Constraints: 11450
464.89/466.62 c #Conflicts: 90000 | #Constraints: 12450
464.89/466.62 c INPROCESSING
464.89/466.62 c GARBAGE COLLECT
464.89/466.62 c #Conflicts: 91000 | #Constraints: 7437
464.89/466.62 c #Conflicts: 92000 | #Constraints: 8437
464.89/466.62 c #Conflicts: 93000 | #Constraints: 9437
464.89/466.62 c #Conflicts: 94000 | #Constraints: 10437
464.89/466.62 c #Conflicts: 95000 | #Constraints: 11437
464.89/466.62 c #Conflicts: 96000 | #Constraints: 12437
464.89/466.62 c INPROCESSING
464.89/466.62 c GARBAGE COLLECT
464.89/466.62 c #Conflicts: 97000 | #Constraints: 7278
464.89/466.62 c #Conflicts: 98000 | #Constraints: 8278
464.89/466.62 c #Conflicts: 99000 | #Constraints: 9278
464.89/466.62 c #Conflicts: 100000 | #Constraints: 10278
464.89/466.62 c #Conflicts: 101000 | #Constraints: 11278
464.89/466.62 c #Conflicts: 102000 | #Constraints: 12278
464.89/466.62 c #Conflicts: 103000 | #Constraints: 13278
464.89/466.62 c INPROCESSING
464.89/466.62 c GARBAGE COLLECT
464.89/466.62 c #Conflicts: 104000 | #Constraints: 7855
464.89/466.62 c #Conflicts: 105000 | #Constraints: 8855
464.89/466.62 c #Conflicts: 106000 | #Constraints: 9855
464.89/466.62 c #Conflicts: 107000 | #Constraints: 10855
464.89/466.62 c #Conflicts: 108000 | #Constraints: 11855
464.89/466.62 c #Conflicts: 109000 | #Constraints: 12855
464.89/466.62 c #Conflicts: 110000 | #Constraints: 13855
464.89/466.62 c INPROCESSING
464.89/466.62 c GARBAGE COLLECT
464.89/466.62 c #Conflicts: 111000 | #Constraints: 8253
464.89/466.62 c #Conflicts: 112000 | #Constraints: 9253
464.89/466.62 c #Conflicts: 113000 | #Constraints: 10253
464.89/466.62 c #Conflicts: 114000 | #Constraints: 11253
464.89/466.62 c #Conflicts: 115000 | #Constraints: 12253
464.89/466.62 c #Conflicts: 116000 | #Constraints: 13253
464.89/466.62 c #Conflicts: 117000 | #Constraints: 14253
464.89/466.62 c INPROCESSING
464.89/466.62 c GARBAGE COLLECT
464.89/466.62 c #Conflicts: 118000 | #Constraints: 8442
464.89/466.62 c #Conflicts: 119000 | #Constraints: 9442
464.89/466.62 c #Conflicts: 120000 | #Constraints: 10442
464.89/466.62 c #Conflicts: 121000 | #Constraints: 11442
464.89/466.62 c #Conflicts: 122000 | #Constraints: 12442
464.89/466.62 c #Conflicts: 123000 | #Constraints: 13442
464.89/466.62 c #Conflicts: 124000 | #Constraints: 14442
464.89/466.62 c INPROCESSING
464.89/466.62 c GARBAGE COLLECT
464.89/466.62 c #Conflicts: 125000 | #Constraints: 8435
464.89/466.62 c #Conflicts: 126000 | #Constraints: 9435
464.89/466.62 c #Conflicts: 127000 | #Constraints: 10435
464.89/466.62 c #Conflicts: 128000 | #Constraints: 11435
464.89/466.62 c #Conflicts: 129000 | #Constraints: 12435
464.89/466.62 c #Conflicts: 130000 | #Constraints: 13435
464.89/466.62 c #Conflicts: 131000 | #Constraints: 14435
464.89/466.62 c INPROCESSING
464.89/466.62 c GARBAGE COLLECT
464.89/466.62 c #Conflicts: 132000 | #Constraints: 8228
464.89/466.62 c #Conflicts: 133000 | #Constraints: 9228
464.89/466.62 c #Conflicts: 134000 | #Constraints: 10228
464.89/466.62 c #Conflicts: 135000 | #Constraints: 11228
464.89/466.62 c #Conflicts: 136000 | #Constraints: 12228
464.89/466.62 c #Conflicts: 137000 | #Constraints: 13228
464.89/466.62 c #Conflicts: 138000 | #Constraints: 14228
464.89/466.62 c #Conflicts: 139000 | #Constraints: 15228
464.89/466.62 c INPROCESSING
464.89/466.62 c GARBAGE COLLECT
464.89/466.62 c #Conflicts: 140000 | #Constraints: 8822
587.35/589.58 c #Conflicts: 141000 | #Constraints: 9822
587.35/589.58 c #Conflicts: 142000 | #Constraints: 10822
587.35/589.58 c #Conflicts: 143000 | #Constraints: 11822
587.35/589.58 c #Conflicts: 144000 | #Constraints: 12822
587.35/589.58 c #Conflicts: 145000 | #Constraints: 13822
587.35/589.58 c #Conflicts: 146000 | #Constraints: 14822
587.35/589.58 c #Conflicts: 147000 | #Constraints: 15822
587.35/589.58 c INPROCESSING
587.35/589.58 c GARBAGE COLLECT
587.35/589.58 c #Conflicts: 148000 | #Constraints: 9241
587.35/589.58 c #Conflicts: 149000 | #Constraints: 10241
587.35/589.58 c #Conflicts: 150000 | #Constraints: 11241
587.35/589.58 c #Conflicts: 151000 | #Constraints: 12241
587.35/589.58 c #Conflicts: 152000 | #Constraints: 13241
587.35/589.58 c #Conflicts: 153000 | #Constraints: 14241
587.35/589.58 c #Conflicts: 154000 | #Constraints: 15241
587.35/589.58 c #Conflicts: 155000 | #Constraints: 16241
587.35/589.58 c INPROCESSING
587.35/589.58 c GARBAGE COLLECT
587.35/589.58 c #Conflicts: 156000 | #Constraints: 9443
587.35/589.58 c #Conflicts: 157000 | #Constraints: 10443
587.35/589.58 c #Conflicts: 158000 | #Constraints: 11443
587.35/589.58 c #Conflicts: 159000 | #Constraints: 12443
587.35/589.58 c #Conflicts: 160000 | #Constraints: 13443
587.35/589.58 c #Conflicts: 161000 | #Constraints: 14443
587.35/589.58 c #Conflicts: 162000 | #Constraints: 15443
587.35/589.58 c #Conflicts: 163000 | #Constraints: 16443
587.35/589.58 c INPROCESSING
587.35/589.58 c GARBAGE COLLECT
587.35/589.58 c #Conflicts: 164000 | #Constraints: 9432
587.35/589.58 c #Conflicts: 165000 | #Constraints: 10432
587.35/589.58 c #Conflicts: 166000 | #Constraints: 11432
587.35/589.58 c #Conflicts: 167000 | #Constraints: 12432
587.35/589.58 c #Conflicts: 168000 | #Constraints: 13432
587.35/589.58 c #Conflicts: 169000 | #Constraints: 14432
587.35/589.58 c #Conflicts: 170000 | #Constraints: 15432
587.35/589.58 c #Conflicts: 171000 | #Constraints: 16432
587.35/589.58 c INPROCESSING
587.35/589.58 c GARBAGE COLLECT
587.35/589.58 c #Conflicts: 172000 | #Constraints: 9236
587.35/589.58 c #Conflicts: 173000 | #Constraints: 10236
587.35/589.58 c #Conflicts: 174000 | #Constraints: 11236
587.35/589.58 c #Conflicts: 175000 | #Constraints: 12236
587.35/589.58 c #Conflicts: 176000 | #Constraints: 13236
587.35/589.58 c #Conflicts: 177000 | #Constraints: 14236
587.35/589.58 c #Conflicts: 178000 | #Constraints: 15236
587.35/589.58 c #Conflicts: 179000 | #Constraints: 16236
587.35/589.58 c #Conflicts: 180000 | #Constraints: 17236
587.35/589.58 c INPROCESSING
587.35/589.58 c GARBAGE COLLECT
587.35/589.58 c #Conflicts: 181000 | #Constraints: 9831
587.35/589.58 c #Conflicts: 182000 | #Constraints: 10831
587.35/589.58 c #Conflicts: 183000 | #Constraints: 11831
587.35/589.58 c #Conflicts: 184000 | #Constraints: 12831
587.35/589.58 c #Conflicts: 185000 | #Constraints: 13831
587.35/589.58 c #Conflicts: 186000 | #Constraints: 14831
587.35/589.58 c #Conflicts: 187000 | #Constraints: 15831
587.35/589.58 c #Conflicts: 188000 | #Constraints: 16831
587.35/589.58 c #Conflicts: 189000 | #Constraints: 17831
587.35/589.58 c INPROCESSING
587.35/589.58 c GARBAGE COLLECT
587.35/589.58 c #Conflicts: 190000 | #Constraints: 10264
587.35/589.58 c #Conflicts: 191000 | #Constraints: 11264
587.35/589.58 c #Conflicts: 192000 | #Constraints: 12264
587.35/589.58 c #Conflicts: 193000 | #Constraints: 13264
587.35/589.58 c #Conflicts: 194000 | #Constraints: 14264
587.35/589.58 c #Conflicts: 195000 | #Constraints: 15264
587.35/589.58 c #Conflicts: 196000 | #Constraints: 16264
587.35/589.58 c #Conflicts: 197000 | #Constraints: 17264
587.35/589.58 c #Conflicts: 198000 | #Constraints: 18264
587.35/589.58 c INPROCESSING
587.35/589.58 c GARBAGE COLLECT
587.35/589.58 c #Conflicts: 199000 | #Constraints: 10499
587.35/589.58 c #Conflicts: 200000 | #Constraints: 11499
587.35/589.58 c #Conflicts: 201000 | #Constraints: 12499
587.35/589.58 c #Conflicts: 202000 | #Constraints: 13499
587.35/589.58 c #Conflicts: 203000 | #Constraints: 14499
587.35/589.58 c #Conflicts: 204000 | #Constraints: 15499
587.35/589.58 c #Conflicts: 205000 | #Constraints: 16499
587.35/589.58 c #Conflicts: 206000 | #Constraints: 17499
587.35/589.58 c #Conflicts: 207000 | #Constraints: 18499
587.35/589.58 c INPROCESSING
587.35/589.58 c GARBAGE COLLECT
587.35/589.58 c #Conflicts: 208000 | #Constraints: 10492
587.35/589.58 c #Conflicts: 209000 | #Constraints: 11492
587.35/589.58 c #Conflicts: 210000 | #Constraints: 12492
587.35/589.58 c #Conflicts: 211000 | #Constraints: 13492
587.35/589.58 c #Conflicts: 212000 | #Constraints: 14492
587.35/589.58 c #Conflicts: 213000 | #Constraints: 15492
714.20/716.88 c #Conflicts: 214000 | #Constraints: 16492
714.20/716.88 c #Conflicts: 215000 | #Constraints: 17492
714.20/716.88 c #Conflicts: 216000 | #Constraints: 18492
714.20/716.88 c INPROCESSING
714.20/716.88 c GARBAGE COLLECT
714.20/716.88 c #Conflicts: 217000 | #Constraints: 10299
714.20/716.88 c #Conflicts: 218000 | #Constraints: 11299
714.20/716.88 c #Conflicts: 219000 | #Constraints: 12299
714.20/716.88 c #Conflicts: 220000 | #Constraints: 13299
714.20/716.88 c #Conflicts: 221000 | #Constraints: 14299
714.20/716.88 c #Conflicts: 222000 | #Constraints: 15299
714.20/716.88 c #Conflicts: 223000 | #Constraints: 16299
714.20/716.88 c #Conflicts: 224000 | #Constraints: 17299
714.20/716.88 c #Conflicts: 225000 | #Constraints: 18299
714.20/716.88 c #Conflicts: 226000 | #Constraints: 19299
714.20/716.88 c INPROCESSING
714.20/716.88 c GARBAGE COLLECT
714.20/716.88 c #Conflicts: 227000 | #Constraints: 10883
714.20/716.88 c #Conflicts: 228000 | #Constraints: 11883
714.20/716.88 c #Conflicts: 229000 | #Constraints: 12883
714.20/716.88 c #Conflicts: 230000 | #Constraints: 13883
714.20/716.88 c #Conflicts: 231000 | #Constraints: 14883
714.20/716.88 c #Conflicts: 232000 | #Constraints: 15883
714.20/716.88 c #Conflicts: 233000 | #Constraints: 16883
714.20/716.88 c #Conflicts: 234000 | #Constraints: 17883
714.20/716.88 c #Conflicts: 235000 | #Constraints: 18883
714.20/716.88 c #Conflicts: 236000 | #Constraints: 19883
714.20/716.88 c INPROCESSING
714.20/716.88 c GARBAGE COLLECT
714.20/716.88 c #Conflicts: 237000 | #Constraints: 11258
714.20/716.88 c #Conflicts: 238000 | #Constraints: 12258
714.20/716.88 c #Conflicts: 239000 | #Constraints: 13258
714.20/716.88 c #Conflicts: 240000 | #Constraints: 14258
714.20/716.88 c #Conflicts: 241000 | #Constraints: 15258
714.20/716.88 c #Conflicts: 242000 | #Constraints: 16258
714.20/716.88 c #Conflicts: 243000 | #Constraints: 17258
714.20/716.88 c #Conflicts: 244000 | #Constraints: 18258
714.20/716.88 c #Conflicts: 245000 | #Constraints: 19258
714.20/716.88 c #Conflicts: 246000 | #Constraints: 20258
714.20/716.88 c INPROCESSING
714.20/716.88 c GARBAGE COLLECT
714.20/716.88 c #Conflicts: 247000 | #Constraints: 11468
714.20/716.88 c #Conflicts: 248000 | #Constraints: 12468
714.20/716.88 c #Conflicts: 249000 | #Constraints: 13468
714.20/716.88 c #Conflicts: 250000 | #Constraints: 14468
714.20/716.88 c #Conflicts: 251000 | #Constraints: 15468
714.20/716.88 c #Conflicts: 252000 | #Constraints: 16468
714.20/716.88 c #Conflicts: 253000 | #Constraints: 17468
714.20/716.88 c #Conflicts: 254000 | #Constraints: 18468
714.20/716.88 c #Conflicts: 255000 | #Constraints: 19468
714.20/716.88 c #Conflicts: 256000 | #Constraints: 20468
714.20/716.88 c INPROCESSING
714.20/716.88 c GARBAGE COLLECT
714.20/716.88 c #Conflicts: 257000 | #Constraints: 11454
714.20/716.88 c #Conflicts: 258000 | #Constraints: 12454
714.20/716.88 c #Conflicts: 259000 | #Constraints: 13454
714.20/716.88 c #Conflicts: 260000 | #Constraints: 14454
714.20/716.88 c #Conflicts: 261000 | #Constraints: 15454
714.20/716.88 c #Conflicts: 262000 | #Constraints: 16454
714.20/716.88 c #Conflicts: 263000 | #Constraints: 17454
714.20/716.88 c #Conflicts: 264000 | #Constraints: 18454
714.20/716.88 c #Conflicts: 265000 | #Constraints: 19454
714.20/716.88 c #Conflicts: 266000 | #Constraints: 20454
714.20/716.88 c INPROCESSING
714.20/716.88 c GARBAGE COLLECT
714.20/716.88 c #Conflicts: 267000 | #Constraints: 11244
714.20/716.88 c #Conflicts: 268000 | #Constraints: 12244
714.20/716.88 c #Conflicts: 269000 | #Constraints: 13244
714.20/716.88 c #Conflicts: 270000 | #Constraints: 14244
714.20/716.88 c #Conflicts: 271000 | #Constraints: 15244
714.20/716.88 c #Conflicts: 272000 | #Constraints: 16244
714.20/716.88 c #Conflicts: 273000 | #Constraints: 17244
714.20/716.88 c #Conflicts: 274000 | #Constraints: 18244
714.20/716.88 c #Conflicts: 275000 | #Constraints: 19244
714.20/716.88 c #Conflicts: 276000 | #Constraints: 20244
714.20/716.88 c #Conflicts: 277000 | #Constraints: 21244
714.20/716.88 c INPROCESSING
714.20/716.88 c GARBAGE COLLECT
714.20/716.88 c #Conflicts: 278000 | #Constraints: 11841
714.20/716.88 c #Conflicts: 279000 | #Constraints: 12841
714.20/716.88 c #Conflicts: 280000 | #Constraints: 13841
714.20/716.88 c #Conflicts: 281000 | #Constraints: 14841
714.20/716.88 c #Conflicts: 282000 | #Constraints: 15841
714.20/716.88 c #Conflicts: 283000 | #Constraints: 16841
714.20/716.88 c #Conflicts: 284000 | #Constraints: 17841
714.20/716.88 c #Conflicts: 285000 | #Constraints: 18841
714.20/716.88 c #Conflicts: 286000 | #Constraints: 19841
714.20/716.88 c #Conflicts: 287000 | #Constraints: 20841
714.20/716.88 c #Conflicts: 288000 | #Constraints: 21841
878.43/881.63 c INPROCESSING
878.43/881.63 c GARBAGE COLLECT
878.43/881.63 c #Conflicts: 289000 | #Constraints: 12235
878.43/881.63 c #Conflicts: 290000 | #Constraints: 13235
878.43/881.63 c #Conflicts: 291000 | #Constraints: 14235
878.43/881.63 c #Conflicts: 292000 | #Constraints: 15235
878.43/881.63 c #Conflicts: 293000 | #Constraints: 16235
878.43/881.63 c #Conflicts: 294000 | #Constraints: 17235
878.43/881.63 c #Conflicts: 295000 | #Constraints: 18235
878.43/881.63 c #Conflicts: 296000 | #Constraints: 19235
878.43/881.63 c #Conflicts: 297000 | #Constraints: 20235
878.43/881.63 c #Conflicts: 298000 | #Constraints: 21235
878.43/881.63 c #Conflicts: 299000 | #Constraints: 22235
878.43/881.63 c INPROCESSING
878.43/881.63 c GARBAGE COLLECT
878.43/881.63 c #Conflicts: 300000 | #Constraints: 12433
878.43/881.63 c #Conflicts: 301000 | #Constraints: 13433
878.43/881.63 c #Conflicts: 302000 | #Constraints: 14433
878.43/881.63 c #Conflicts: 303000 | #Constraints: 15433
878.43/881.63 c #Conflicts: 304000 | #Constraints: 16433
878.43/881.63 c #Conflicts: 305000 | #Constraints: 17433
878.43/881.63 c #Conflicts: 306000 | #Constraints: 18433
878.43/881.63 c #Conflicts: 307000 | #Constraints: 19433
878.43/881.63 c #Conflicts: 308000 | #Constraints: 20433
878.43/881.63 c #Conflicts: 309000 | #Constraints: 21433
878.43/881.63 c #Conflicts: 310000 | #Constraints: 22433
878.43/881.63 c INPROCESSING
878.43/881.63 c GARBAGE COLLECT
878.43/881.63 c #Conflicts: 311000 | #Constraints: 12439
878.43/881.63 c #Conflicts: 312000 | #Constraints: 13439
878.43/881.63 c #Conflicts: 313000 | #Constraints: 14439
878.43/881.63 c #Conflicts: 314000 | #Constraints: 15439
878.43/881.63 c #Conflicts: 315000 | #Constraints: 16439
878.43/881.63 c #Conflicts: 316000 | #Constraints: 17439
878.43/881.63 c #Conflicts: 317000 | #Constraints: 18439
878.43/881.63 c #Conflicts: 318000 | #Constraints: 19439
878.43/881.63 c #Conflicts: 319000 | #Constraints: 20439
878.43/881.63 c #Conflicts: 320000 | #Constraints: 21439
878.43/881.63 c #Conflicts: 321000 | #Constraints: 22439
878.43/881.63 c INPROCESSING
878.43/881.63 c GARBAGE COLLECT
878.43/881.63 c #Conflicts: 322000 | #Constraints: 12257
878.43/881.63 c #Conflicts: 323000 | #Constraints: 13257
878.43/881.63 c #Conflicts: 324000 | #Constraints: 14257
878.43/881.63 c #Conflicts: 325000 | #Constraints: 15257
878.43/881.63 c #Conflicts: 326000 | #Constraints: 16257
878.43/881.63 c #Conflicts: 327000 | #Constraints: 17257
878.43/881.63 c #Conflicts: 328000 | #Constraints: 18257
878.43/881.63 c #Conflicts: 329000 | #Constraints: 19257
878.43/881.63 c #Conflicts: 330000 | #Constraints: 20257
878.43/881.63 c #Conflicts: 331000 | #Constraints: 21257
878.43/881.63 c #Conflicts: 332000 | #Constraints: 22257
878.43/881.63 c #Conflicts: 333000 | #Constraints: 23257
878.43/881.63 c INPROCESSING
878.43/881.63 c GARBAGE COLLECT
878.43/881.63 c #Conflicts: 334000 | #Constraints: 12843
878.43/881.63 c #Conflicts: 335000 | #Constraints: 13843
878.43/881.63 c #Conflicts: 336000 | #Constraints: 14843
878.43/881.63 c #Conflicts: 337000 | #Constraints: 15843
878.43/881.63 c #Conflicts: 338000 | #Constraints: 16843
878.43/881.63 c #Conflicts: 339000 | #Constraints: 17843
878.43/881.63 c #Conflicts: 340000 | #Constraints: 18843
878.43/881.63 c #Conflicts: 341000 | #Constraints: 19843
878.43/881.63 c #Conflicts: 342000 | #Constraints: 20843
878.43/881.63 c #Conflicts: 343000 | #Constraints: 21843
878.43/881.63 c #Conflicts: 344000 | #Constraints: 22843
878.43/881.63 c #Conflicts: 345000 | #Constraints: 23843
878.43/881.63 c INPROCESSING
878.43/881.63 c GARBAGE COLLECT
878.43/881.63 c #Conflicts: 346000 | #Constraints: 13236
878.43/881.63 c #Conflicts: 347000 | #Constraints: 14236
878.43/881.63 c #Conflicts: 348000 | #Constraints: 15236
878.43/881.63 c #Conflicts: 349000 | #Constraints: 16236
878.43/881.63 c #Conflicts: 350000 | #Constraints: 17236
878.43/881.63 c #Conflicts: 351000 | #Constraints: 18236
878.43/881.63 c #Conflicts: 352000 | #Constraints: 19236
878.43/881.63 c #Conflicts: 353000 | #Constraints: 20236
878.43/881.63 c #Conflicts: 354000 | #Constraints: 21236
878.43/881.63 c #Conflicts: 355000 | #Constraints: 22236
878.43/881.63 c #Conflicts: 356000 | #Constraints: 23236
878.43/881.63 c #Conflicts: 357000 | #Constraints: 24236
878.43/881.63 c INPROCESSING
878.43/881.63 c GARBAGE COLLECT
878.43/881.63 c #Conflicts: 358000 | #Constraints: 13429
878.43/881.63 c #Conflicts: 359000 | #Constraints: 14429
878.43/881.63 c #Conflicts: 360000 | #Constraints: 15429
878.43/881.63 c #Conflicts: 361000 | #Constraints: 16429
878.43/881.63 c #Conflicts: 362000 | #Constraints: 17429
1018.84/1022.57 c #Conflicts: 363000 | #Constraints: 18429
1018.84/1022.57 c #Conflicts: 364000 | #Constraints: 19429
1018.84/1022.57 c #Conflicts: 365000 | #Constraints: 20429
1018.84/1022.57 c #Conflicts: 366000 | #Constraints: 21429
1018.84/1022.57 c #Conflicts: 367000 | #Constraints: 22429
1018.84/1022.57 c #Conflicts: 368000 | #Constraints: 23429
1018.84/1022.57 c #Conflicts: 369000 | #Constraints: 24429
1018.84/1022.57 c INPROCESSING
1018.84/1022.57 c GARBAGE COLLECT
1018.84/1022.57 c #Conflicts: 370000 | #Constraints: 13437
1018.84/1022.57 c #Conflicts: 371000 | #Constraints: 14437
1018.84/1022.57 c #Conflicts: 372000 | #Constraints: 15437
1018.84/1022.57 c #Conflicts: 373000 | #Constraints: 16437
1018.84/1022.57 c #Conflicts: 374000 | #Constraints: 17437
1018.84/1022.57 c #Conflicts: 375000 | #Constraints: 18437
1018.84/1022.57 c #Conflicts: 376000 | #Constraints: 19437
1018.84/1022.57 c #Conflicts: 377000 | #Constraints: 20437
1018.84/1022.57 c #Conflicts: 378000 | #Constraints: 21437
1018.84/1022.57 c #Conflicts: 379000 | #Constraints: 22437
1018.84/1022.57 c #Conflicts: 380000 | #Constraints: 23437
1018.84/1022.57 c #Conflicts: 381000 | #Constraints: 24437
1018.84/1022.57 c INPROCESSING
1018.84/1022.57 c GARBAGE COLLECT
1018.84/1022.57 c #Conflicts: 382000 | #Constraints: 13229
1018.84/1022.57 c #Conflicts: 383000 | #Constraints: 14229
1018.84/1022.57 c #Conflicts: 384000 | #Constraints: 15229
1018.84/1022.57 c #Conflicts: 385000 | #Constraints: 16229
1018.84/1022.57 c #Conflicts: 386000 | #Constraints: 17229
1018.84/1022.57 c #Conflicts: 387000 | #Constraints: 18229
1018.84/1022.57 c #Conflicts: 388000 | #Constraints: 19229
1018.84/1022.57 c #Conflicts: 389000 | #Constraints: 20229
1018.84/1022.57 c #Conflicts: 390000 | #Constraints: 21229
1018.84/1022.57 c #Conflicts: 391000 | #Constraints: 22229
1018.84/1022.57 c #Conflicts: 392000 | #Constraints: 23229
1018.84/1022.57 c #Conflicts: 393000 | #Constraints: 24229
1018.84/1022.57 c #Conflicts: 394000 | #Constraints: 25229
1018.84/1022.57 c INPROCESSING
1018.84/1022.57 c GARBAGE COLLECT
1018.84/1022.57 c #Conflicts: 395000 | #Constraints: 13851
1018.84/1022.57 c #Conflicts: 396000 | #Constraints: 14851
1018.84/1022.57 c #Conflicts: 397000 | #Constraints: 15851
1018.84/1022.57 c #Conflicts: 398000 | #Constraints: 16851
1018.84/1022.57 c #Conflicts: 399000 | #Constraints: 17851
1018.84/1022.57 c #Conflicts: 400000 | #Constraints: 18851
1018.84/1022.57 c #Conflicts: 401000 | #Constraints: 19851
1018.84/1022.57 c #Conflicts: 402000 | #Constraints: 20851
1018.84/1022.57 c #Conflicts: 403000 | #Constraints: 21851
1018.84/1022.57 c #Conflicts: 404000 | #Constraints: 22851
1018.84/1022.57 c #Conflicts: 405000 | #Constraints: 23851
1018.84/1022.57 c #Conflicts: 406000 | #Constraints: 24851
1018.84/1022.57 c #Conflicts: 407000 | #Constraints: 25851
1018.84/1022.57 c INPROCESSING
1018.84/1022.57 c GARBAGE COLLECT
1018.84/1022.57 c #Conflicts: 408000 | #Constraints: 14237
1018.84/1022.57 c #Conflicts: 409000 | #Constraints: 15237
1018.84/1022.57 c #Conflicts: 410000 | #Constraints: 16237
1018.84/1022.57 c #Conflicts: 411000 | #Constraints: 17237
1018.84/1022.57 c #Conflicts: 412000 | #Constraints: 18237
1018.84/1022.57 c #Conflicts: 413000 | #Constraints: 19237
1018.84/1022.57 c #Conflicts: 414000 | #Constraints: 20237
1018.84/1022.57 c #Conflicts: 415000 | #Constraints: 21237
1018.84/1022.57 c #Conflicts: 416000 | #Constraints: 22237
1018.84/1022.57 c #Conflicts: 417000 | #Constraints: 23237
1018.84/1022.57 c #Conflicts: 418000 | #Constraints: 24237
1018.84/1022.57 c #Conflicts: 419000 | #Constraints: 25237
1018.84/1022.57 c #Conflicts: 420000 | #Constraints: 26237
1018.84/1022.57 c INPROCESSING
1018.84/1022.57 c GARBAGE COLLECT
1018.84/1022.57 c #Conflicts: 421000 | #Constraints: 14453
1018.84/1022.57 c #Conflicts: 422000 | #Constraints: 15453
1018.84/1022.57 c #Conflicts: 423000 | #Constraints: 16453
1018.84/1022.57 c #Conflicts: 424000 | #Constraints: 17453
1018.84/1022.57 c #Conflicts: 425000 | #Constraints: 18453
1018.84/1022.57 c #Conflicts: 426000 | #Constraints: 19453
1018.84/1022.57 c #Conflicts: 427000 | #Constraints: 20453
1018.84/1022.57 c #Conflicts: 428000 | #Constraints: 21453
1018.84/1022.57 c #Conflicts: 429000 | #Constraints: 22453
1018.84/1022.57 c #Conflicts: 430000 | #Constraints: 23453
1018.84/1022.57 c #Conflicts: 431000 | #Constraints: 24453
1018.84/1022.57 c #Conflicts: 432000 | #Constraints: 25453
1018.84/1022.57 c #Conflicts: 433000 | #Constraints: 26453
1018.84/1022.57 c INPROCESSING
1018.84/1022.57 c GARBAGE COLLECT
1018.84/1022.57 c #Conflicts: 434000 | #Constraints: 14461
1018.84/1022.57 c #Conflicts: 435000 | #Constraints: 15461
1018.84/1022.57 c #Conflicts: 436000 | #Constraints: 16461
1018.84/1022.57 c #Conflicts: 437000 | #Constraints: 17461
1672.90/1678.81 c #Conflicts: 438000 | #Constraints: 18461
1672.90/1678.81 c #Conflicts: 439000 | #Constraints: 19461
1672.90/1678.81 c #Conflicts: 440000 | #Constraints: 20461
1672.90/1678.81 c #Conflicts: 441000 | #Constraints: 21461
1672.90/1678.81 c #Conflicts: 442000 | #Constraints: 22461
1672.90/1678.81 c #Conflicts: 443000 | #Constraints: 23461
1672.90/1678.81 c #Conflicts: 444000 | #Constraints: 24461
1672.90/1678.81 c #Conflicts: 445000 | #Constraints: 25461
1672.90/1678.81 c #Conflicts: 446000 | #Constraints: 26461
1672.90/1678.81 c INPROCESSING
1672.90/1678.81 c GARBAGE COLLECT
1672.90/1678.81 c #Conflicts: 447000 | #Constraints: 14320
1672.90/1678.81 c #Conflicts: 448000 | #Constraints: 15320
1672.90/1678.81 c #Conflicts: 449000 | #Constraints: 16320
1672.90/1678.81 c #Conflicts: 450000 | #Constraints: 17320
1672.90/1678.81 c #Conflicts: 451000 | #Constraints: 18320
1672.90/1678.81 c #Conflicts: 452000 | #Constraints: 19320
1672.90/1678.81 c #Conflicts: 453000 | #Constraints: 20320
1672.90/1678.81 c #Conflicts: 454000 | #Constraints: 21320
1672.90/1678.81 c #Conflicts: 455000 | #Constraints: 22320
1672.90/1678.81 c #Conflicts: 456000 | #Constraints: 23320
1672.90/1678.81 c #Conflicts: 457000 | #Constraints: 24320
1672.90/1678.81 c #Conflicts: 458000 | #Constraints: 25320
1672.90/1678.81 c #Conflicts: 459000 | #Constraints: 26320
1672.90/1678.81 c #Conflicts: 460000 | #Constraints: 27320
1672.90/1678.81 c INPROCESSING
1672.90/1678.81 c GARBAGE COLLECT
1672.90/1678.81 c #Conflicts: 461000 | #Constraints: 14909
1672.90/1678.81 c #Conflicts: 462000 | #Constraints: 15909
1672.90/1678.81 c #Conflicts: 463000 | #Constraints: 16909
1672.90/1678.81 c #Conflicts: 464000 | #Constraints: 17909
1672.90/1678.81 c #Conflicts: 465000 | #Constraints: 18909
1672.90/1678.81 c #Conflicts: 466000 | #Constraints: 19909
1672.90/1678.81 c #Conflicts: 467000 | #Constraints: 20909
1672.90/1678.81 c #Conflicts: 468000 | #Constraints: 21909
1672.90/1678.81 c #Conflicts: 469000 | #Constraints: 22909
1672.90/1678.81 c #Conflicts: 470000 | #Constraints: 23909
1672.90/1678.81 c #Conflicts: 471000 | #Constraints: 24909
1672.90/1678.81 c #Conflicts: 472000 | #Constraints: 25909
1672.90/1678.81 c #Conflicts: 473000 | #Constraints: 26909
1672.90/1678.81 c #Conflicts: 474000 | #Constraints: 27909
1672.90/1678.81 c INPROCESSING
1672.90/1678.81 c GARBAGE COLLECT
1672.90/1678.81 c #Conflicts: 475000 | #Constraints: 15307
1672.90/1678.81 c #Conflicts: 476000 | #Constraints: 16307
1672.90/1678.81 c #Conflicts: 477000 | #Constraints: 17307
1672.90/1678.81 c #Conflicts: 478000 | #Constraints: 18307
1672.90/1678.81 c #Conflicts: 479000 | #Constraints: 19307
1672.90/1678.81 c #Conflicts: 480000 | #Constraints: 20307
1672.90/1678.81 c #Conflicts: 481000 | #Constraints: 21307
1672.90/1678.81 c #Conflicts: 482000 | #Constraints: 22307
1672.90/1678.81 c #Conflicts: 483000 | #Constraints: 23307
1672.90/1678.81 c #Conflicts: 484000 | #Constraints: 24307
1672.90/1678.81 c #Conflicts: 485000 | #Constraints: 25307
1672.90/1678.81 c #Conflicts: 486000 | #Constraints: 26307
1672.90/1678.81 c #Conflicts: 487000 | #Constraints: 27307
1672.90/1678.81 c #Conflicts: 488000 | #Constraints: 28307
1672.90/1678.81 c INPROCESSING
1672.90/1678.81 c GARBAGE COLLECT
1672.90/1678.81 c #Conflicts: 489000 | #Constraints: 15541
1672.90/1678.81 c #Conflicts: 490000 | #Constraints: 16541
1672.90/1678.81 c #Conflicts: 491000 | #Constraints: 17541
1672.90/1678.81 c #Conflicts: 492000 | #Constraints: 18541
1672.90/1678.81 c #Conflicts: 493000 | #Constraints: 19541
1672.90/1678.81 c #Conflicts: 494000 | #Constraints: 20541
1672.90/1678.81 c #Conflicts: 495000 | #Constraints: 21541
1672.90/1678.81 c #Conflicts: 496000 | #Constraints: 22541
1672.90/1678.81 c #Conflicts: 497000 | #Constraints: 23541
1672.90/1678.81 c #Conflicts: 498000 | #Constraints: 24541
1672.90/1678.81 c #Conflicts: 499000 | #Constraints: 25541
1672.90/1678.81 c #Conflicts: 500000 | #Constraints: 26541
1672.90/1678.81 c #Conflicts: 501000 | #Constraints: 27541
1672.90/1678.81 c #Conflicts: 502000 | #Constraints: 28541
1672.90/1678.81 c INPROCESSING
1672.90/1678.81 c GARBAGE COLLECT
1672.90/1678.81 c #Conflicts: 503000 | #Constraints: 15573
1672.90/1678.81 c #Conflicts: 504000 | #Constraints: 16573
1672.90/1678.81 c #Conflicts: 505000 | #Constraints: 17573
1672.90/1678.81 c #Conflicts: 506000 | #Constraints: 18573
1672.90/1678.81 c #Conflicts: 507000 | #Constraints: 19573
1672.90/1678.81 c #Conflicts: 508000 | #Constraints: 20573
1672.90/1678.81 c #Conflicts: 509000 | #Constraints: 21573
1672.90/1678.81 c #Conflicts: 510000 | #Constraints: 22573
1672.90/1678.81 c #Conflicts: 511000 | #Constraints: 23573
1672.90/1678.81 c #Conflicts: 512000 | #Constraints: 24573
1672.90/1678.81 c #Conflicts: 513000 | #Constraints: 25573
1806.25/1812.60 c #Conflicts: 514000 | #Constraints: 26573
1806.25/1812.60 c #Conflicts: 515000 | #Constraints: 27573
1806.25/1812.60 c #Conflicts: 516000 | #Constraints: 28573
1806.25/1812.60 c INPROCESSING
1806.25/1812.60 c GARBAGE COLLECT
1806.25/1812.60 c #Conflicts: 517000 | #Constraints: 15299
1806.25/1812.60 c #Conflicts: 518000 | #Constraints: 16299
1806.25/1812.60 c #Conflicts: 519000 | #Constraints: 17299
1806.25/1812.60 c #Conflicts: 520000 | #Constraints: 18299
1806.25/1812.60 c #Conflicts: 521000 | #Constraints: 19299
1806.25/1812.60 c #Conflicts: 522000 | #Constraints: 20299
1806.25/1812.60 c #Conflicts: 523000 | #Constraints: 21299
1806.25/1812.60 c #Conflicts: 524000 | #Constraints: 22299
1806.25/1812.60 c #Conflicts: 525000 | #Constraints: 23299
1806.25/1812.60 c #Conflicts: 526000 | #Constraints: 24299
1806.25/1812.60 c #Conflicts: 527000 | #Constraints: 25299
1806.25/1812.60 c #Conflicts: 528000 | #Constraints: 26299
1806.25/1812.60 c #Conflicts: 529000 | #Constraints: 27299
1806.25/1812.60 c #Conflicts: 530000 | #Constraints: 28299
1806.25/1812.60 c #Conflicts: 531000 | #Constraints: 29299
1806.25/1812.60 c INPROCESSING
1806.25/1812.60 c GARBAGE COLLECT
1806.25/1812.60 c #Conflicts: 532000 | #Constraints: 15878
1806.25/1812.60 c #Conflicts: 533000 | #Constraints: 16878
1806.25/1812.60 c #Conflicts: 534000 | #Constraints: 17878
1806.25/1812.60 c #Conflicts: 535000 | #Constraints: 18878
1806.25/1812.60 c #Conflicts: 536000 | #Constraints: 19878
1806.25/1812.60 c #Conflicts: 537000 | #Constraints: 20878
1806.25/1812.60 c #Conflicts: 538000 | #Constraints: 21878
1806.25/1812.60 c #Conflicts: 539000 | #Constraints: 22878
1806.25/1812.60 c #Conflicts: 540000 | #Constraints: 23878
1806.25/1812.60 c #Conflicts: 541000 | #Constraints: 24878
1806.25/1812.60 c #Conflicts: 542000 | #Constraints: 25878
1806.25/1812.60 c #Conflicts: 543000 | #Constraints: 26878
1806.25/1812.60 c #Conflicts: 544000 | #Constraints: 27878
1806.25/1812.60 c #Conflicts: 545000 | #Constraints: 28878
1806.25/1812.60 c #Conflicts: 546000 | #Constraints: 29878
1806.25/1812.60 c INPROCESSING
1806.25/1812.60 c GARBAGE COLLECT
1806.25/1812.60 c #Conflicts: 547000 | #Constraints: 16250
1806.25/1812.60 c #Conflicts: 548000 | #Constraints: 17250
1806.25/1812.60 c #Conflicts: 549000 | #Constraints: 18250
1806.25/1812.60 c #Conflicts: 550000 | #Constraints: 19250
1806.25/1812.60 c #Conflicts: 551000 | #Constraints: 20250
1806.25/1812.60 c #Conflicts: 552000 | #Constraints: 21250
1806.25/1812.60 c #Conflicts: 553000 | #Constraints: 22250
1806.25/1812.60 c #Conflicts: 554000 | #Constraints: 23250
1806.25/1812.60 c #Conflicts: 555000 | #Constraints: 24250
1806.25/1812.60 c #Conflicts: 556000 | #Constraints: 25250
1806.25/1812.60 c #Conflicts: 557000 | #Constraints: 26250
1806.25/1812.60 c #Conflicts: 558000 | #Constraints: 27250
1806.25/1812.60 c #Conflicts: 559000 | #Constraints: 28250
1806.25/1812.60 c #Conflicts: 560000 | #Constraints: 29250
1806.25/1812.60 c #Conflicts: 561000 | #Constraints: 30250
1806.25/1812.60 c INPROCESSING
1806.25/1812.60 c GARBAGE COLLECT
1806.25/1812.60 c #Conflicts: 562000 | #Constraints: 16451
1806.25/1812.60 c #Conflicts: 563000 | #Constraints: 17451
1806.25/1812.60 c #Conflicts: 564000 | #Constraints: 18451
1806.25/1812.60 c #Conflicts: 565000 | #Constraints: 19451
1806.25/1812.60 c #Conflicts: 566000 | #Constraints: 20451
1806.25/1812.60 c #Conflicts: 567000 | #Constraints: 21451
1806.25/1812.60 c #Conflicts: 568000 | #Constraints: 22451
1806.25/1812.60 c #Conflicts: 569000 | #Constraints: 23451
1806.25/1812.60 c #Conflicts: 570000 | #Constraints: 24451
1806.25/1812.60 c #Conflicts: 571000 | #Constraints: 25451
1806.25/1812.60 c #Conflicts: 572000 | #Constraints: 26451
1806.25/1812.60 c #Conflicts: 573000 | #Constraints: 27451
1806.25/1812.60 c #Conflicts: 574000 | #Constraints: 28451
1806.25/1812.60 c #Conflicts: 575000 | #Constraints: 29451
1806.25/1812.60 c #Conflicts: 576000 | #Constraints: 30451
1806.25/1812.60 c INPROCESSING
1806.25/1812.60 c GARBAGE COLLECT
1806.25/1812.60 c #Conflicts: 577000 | #Constraints: 16447
1806.25/1812.60 c #Conflicts: 578000 | #Constraints: 17447
1806.25/1812.60 c #Conflicts: 579000 | #Constraints: 18447
1806.25/1812.60 c #Conflicts: 580000 | #Constraints: 19447
1806.25/1812.60 c #Conflicts: 581000 | #Constraints: 20447
1806.25/1812.60 c #Conflicts: 582000 | #Constraints: 21447
1806.25/1812.60 c #Conflicts: 583000 | #Constraints: 22447
1806.25/1812.60 c #Conflicts: 584000 | #Constraints: 23447
1806.25/1812.60 c #Conflicts: 585000 | #Constraints: 24447
1806.25/1812.60 c #Conflicts: 586000 | #Constraints: 25447
1806.25/1812.60 c #Conflicts: 587000 | #Constraints: 26447
1806.25/1812.60 c #Conflicts: 588000 | #Constraints: 27447
2104.02/2111.49 c #Conflicts: 589000 | #Constraints: 28447
2104.02/2111.49 c #Conflicts: 590000 | #Constraints: 29447
2104.02/2111.49 c #Conflicts: 591000 | #Constraints: 30447
2104.02/2111.49 c INPROCESSING
2104.02/2111.49 c GARBAGE COLLECT
2104.02/2111.49 c #Conflicts: 592000 | #Constraints: 16249
2104.02/2111.49 c #Conflicts: 593000 | #Constraints: 17249
2104.02/2111.49 c #Conflicts: 594000 | #Constraints: 18249
2104.02/2111.49 c #Conflicts: 595000 | #Constraints: 19249
2104.02/2111.49 c #Conflicts: 596000 | #Constraints: 20249
2104.02/2111.49 c #Conflicts: 597000 | #Constraints: 21249
2104.02/2111.49 c #Conflicts: 598000 | #Constraints: 22249
2104.02/2111.49 c #Conflicts: 599000 | #Constraints: 23249
2104.02/2111.49 c #Conflicts: 600000 | #Constraints: 24249
2104.02/2111.49 c #Conflicts: 601000 | #Constraints: 25249
2104.02/2111.49 c #Conflicts: 602000 | #Constraints: 26249
2104.02/2111.49 c #Conflicts: 603000 | #Constraints: 27249
2104.02/2111.49 c #Conflicts: 604000 | #Constraints: 28249
2104.02/2111.49 c #Conflicts: 605000 | #Constraints: 29249
2104.02/2111.49 c #Conflicts: 606000 | #Constraints: 30249
2104.02/2111.49 c #Conflicts: 607000 | #Constraints: 31249
2104.02/2111.49 c INPROCESSING
2104.02/2111.49 c GARBAGE COLLECT
2104.02/2111.49 c #Conflicts: 608000 | #Constraints: 16862
2104.02/2111.49 c #Conflicts: 609000 | #Constraints: 17862
2104.02/2111.49 c #Conflicts: 610000 | #Constraints: 18862
2104.02/2111.49 c #Conflicts: 611000 | #Constraints: 19862
2104.02/2111.49 c #Conflicts: 612000 | #Constraints: 20862
2104.02/2111.49 c #Conflicts: 613000 | #Constraints: 21862
2104.02/2111.49 c #Conflicts: 614000 | #Constraints: 22862
2104.02/2111.49 c #Conflicts: 615000 | #Constraints: 23862
2104.02/2111.49 c #Conflicts: 616000 | #Constraints: 24862
2104.02/2111.49 c #Conflicts: 617000 | #Constraints: 25862
2104.02/2111.49 c #Conflicts: 618000 | #Constraints: 26862
2104.02/2111.49 c #Conflicts: 619000 | #Constraints: 27862
2104.02/2111.49 c #Conflicts: 620000 | #Constraints: 28862
2104.02/2111.49 c #Conflicts: 621000 | #Constraints: 29862
2104.02/2111.49 c #Conflicts: 622000 | #Constraints: 30862
2104.02/2111.49 c #Conflicts: 623000 | #Constraints: 31862
2104.02/2111.49 c INPROCESSING
2104.02/2111.49 c GARBAGE COLLECT
2104.02/2111.49 c #Conflicts: 624000 | #Constraints: 17250
2104.02/2111.49 c #Conflicts: 625000 | #Constraints: 18250
2104.02/2111.49 c #Conflicts: 626000 | #Constraints: 19250
2104.02/2111.49 c #Conflicts: 627000 | #Constraints: 20250
2104.02/2111.49 c #Conflicts: 628000 | #Constraints: 21250
2104.02/2111.49 c #Conflicts: 629000 | #Constraints: 22250
2104.02/2111.49 c #Conflicts: 630000 | #Constraints: 23250
2104.02/2111.49 c #Conflicts: 631000 | #Constraints: 24250
2104.02/2111.49 c #Conflicts: 632000 | #Constraints: 25250
2104.02/2111.49 c #Conflicts: 633000 | #Constraints: 26250
2104.02/2111.49 c #Conflicts: 634000 | #Constraints: 27250
2104.02/2111.49 c #Conflicts: 635000 | #Constraints: 28250
2104.02/2111.49 c #Conflicts: 636000 | #Constraints: 29250
2104.02/2111.49 c #Conflicts: 637000 | #Constraints: 30250
2104.02/2111.49 c #Conflicts: 638000 | #Constraints: 31250
2104.02/2111.49 c #Conflicts: 639000 | #Constraints: 32250
2104.02/2111.49 c INPROCESSING
2104.02/2111.49 c GARBAGE COLLECT
2104.02/2111.49 c #Conflicts: 640000 | #Constraints: 17447
2104.02/2111.49 c #Conflicts: 641000 | #Constraints: 18447
2104.02/2111.49 c #Conflicts: 642000 | #Constraints: 19447
2104.02/2111.49 c #Conflicts: 643000 | #Constraints: 20447
2104.02/2111.49 c #Conflicts: 644000 | #Constraints: 21447
2104.02/2111.49 c #Conflicts: 645000 | #Constraints: 22447
2104.02/2111.49 c #Conflicts: 646000 | #Constraints: 23447
2104.02/2111.49 c #Conflicts: 647000 | #Constraints: 24447
2104.02/2111.49 c #Conflicts: 648000 | #Constraints: 25447
2104.02/2111.49 c #Conflicts: 649000 | #Constraints: 26447
2104.02/2111.49 c #Conflicts: 650000 | #Constraints: 27447
2104.02/2111.49 c #Conflicts: 651000 | #Constraints: 28447
2104.02/2111.49 c #Conflicts: 652000 | #Constraints: 29447
2104.02/2111.49 c #Conflicts: 653000 | #Constraints: 30447
2104.02/2111.49 c #Conflicts: 654000 | #Constraints: 31447
2104.02/2111.49 c #Conflicts: 655000 | #Constraints: 32447
2104.02/2111.49 c INPROCESSING
2104.02/2111.49 c GARBAGE COLLECT
2104.02/2111.49 c #Conflicts: 656000 | #Constraints: 17455
2104.02/2111.49 c #Conflicts: 657000 | #Constraints: 18455
2104.02/2111.49 c #Conflicts: 658000 | #Constraints: 19455
2104.02/2111.49 c #Conflicts: 659000 | #Constraints: 20455
2104.02/2111.49 c #Conflicts: 660000 | #Constraints: 21455
2104.02/2111.49 c #Conflicts: 661000 | #Constraints: 22455
2104.02/2111.49 c #Conflicts: 662000 | #Constraints: 23455
2104.02/2111.49 c #Conflicts: 663000 | #Constraints: 24455
2104.02/2111.49 c #Conflicts: 664000 | #Constraints: 25455
2418.11/2426.66 c #Conflicts: 665000 | #Constraints: 26455
2418.11/2426.66 c #Conflicts: 666000 | #Constraints: 27455
2418.11/2426.66 c #Conflicts: 667000 | #Constraints: 28455
2418.11/2426.66 c #Conflicts: 668000 | #Constraints: 29455
2418.11/2426.66 c #Conflicts: 669000 | #Constraints: 30455
2418.11/2426.66 c #Conflicts: 670000 | #Constraints: 31455
2418.11/2426.66 c #Conflicts: 671000 | #Constraints: 32455
2418.11/2426.66 c INPROCESSING
2418.11/2426.66 c GARBAGE COLLECT
2418.11/2426.66 c #Conflicts: 672000 | #Constraints: 17247
2418.11/2426.66 c #Conflicts: 673000 | #Constraints: 18247
2418.11/2426.66 c #Conflicts: 674000 | #Constraints: 19247
2418.11/2426.66 c #Conflicts: 675000 | #Constraints: 20247
2418.11/2426.66 c #Conflicts: 676000 | #Constraints: 21247
2418.11/2426.66 c #Conflicts: 677000 | #Constraints: 22247
2418.11/2426.66 c #Conflicts: 678000 | #Constraints: 23247
2418.11/2426.66 c #Conflicts: 679000 | #Constraints: 24247
2418.11/2426.66 c #Conflicts: 680000 | #Constraints: 25247
2418.11/2426.66 c #Conflicts: 681000 | #Constraints: 26247
2418.11/2426.66 c #Conflicts: 682000 | #Constraints: 27247
2418.11/2426.66 c #Conflicts: 683000 | #Constraints: 28247
2418.11/2426.66 c #Conflicts: 684000 | #Constraints: 29247
2418.11/2426.66 c #Conflicts: 685000 | #Constraints: 30247
2418.11/2426.66 c #Conflicts: 686000 | #Constraints: 31247
2418.11/2426.66 c #Conflicts: 687000 | #Constraints: 32247
2418.11/2426.66 c #Conflicts: 688000 | #Constraints: 33247
2418.11/2426.66 c INPROCESSING
2418.11/2426.66 c GARBAGE COLLECT
2418.11/2426.66 c #Conflicts: 689000 | #Constraints: 17837
2418.11/2426.66 c #Conflicts: 690000 | #Constraints: 18837
2418.11/2426.66 c #Conflicts: 691000 | #Constraints: 19837
2418.11/2426.66 c #Conflicts: 692000 | #Constraints: 20837
2418.11/2426.66 c #Conflicts: 693000 | #Constraints: 21837
2418.11/2426.66 c #Conflicts: 694000 | #Constraints: 22837
2418.11/2426.66 c #Conflicts: 695000 | #Constraints: 23837
2418.11/2426.66 c #Conflicts: 696000 | #Constraints: 24837
2418.11/2426.66 c #Conflicts: 697000 | #Constraints: 25837
2418.11/2426.66 c #Conflicts: 698000 | #Constraints: 26837
2418.11/2426.66 c #Conflicts: 699000 | #Constraints: 27837
2418.11/2426.66 c #Conflicts: 700000 | #Constraints: 28837
2418.11/2426.66 c #Conflicts: 701000 | #Constraints: 29837
2418.11/2426.66 c #Conflicts: 702000 | #Constraints: 30837
2418.11/2426.66 c #Conflicts: 703000 | #Constraints: 31837
2418.11/2426.66 c #Conflicts: 704000 | #Constraints: 32837
2418.11/2426.66 c #Conflicts: 705000 | #Constraints: 33837
2418.11/2426.66 c INPROCESSING
2418.11/2426.66 c GARBAGE COLLECT
2418.11/2426.66 c #Conflicts: 706000 | #Constraints: 18255
2418.11/2426.66 c #Conflicts: 707000 | #Constraints: 19255
2418.11/2426.66 c #Conflicts: 708000 | #Constraints: 20255
2418.11/2426.66 c #Conflicts: 709000 | #Constraints: 21255
2418.11/2426.66 c #Conflicts: 710000 | #Constraints: 22255
2418.11/2426.66 c #Conflicts: 711000 | #Constraints: 23255
2418.11/2426.66 c #Conflicts: 712000 | #Constraints: 24255
2418.11/2426.66 c #Conflicts: 713000 | #Constraints: 25255
2418.11/2426.66 c #Conflicts: 714000 | #Constraints: 26255
2418.11/2426.66 c #Conflicts: 715000 | #Constraints: 27255
2418.11/2426.66 c #Conflicts: 716000 | #Constraints: 28255
2418.11/2426.66 c #Conflicts: 717000 | #Constraints: 29255
2418.11/2426.66 c #Conflicts: 718000 | #Constraints: 30255
2418.11/2426.66 c #Conflicts: 719000 | #Constraints: 31255
2418.11/2426.66 c #Conflicts: 720000 | #Constraints: 32255
2418.11/2426.66 c #Conflicts: 721000 | #Constraints: 33255
2418.11/2426.66 c #Conflicts: 722000 | #Constraints: 34255
2418.11/2426.66 c INPROCESSING
2418.11/2426.66 c GARBAGE COLLECT
2418.11/2426.66 c #Conflicts: 723000 | #Constraints: 18460
2418.11/2426.66 c #Conflicts: 724000 | #Constraints: 19460
2418.11/2426.66 c #Conflicts: 725000 | #Constraints: 20460
2418.11/2426.66 c #Conflicts: 726000 | #Constraints: 21460
2418.11/2426.66 c #Conflicts: 727000 | #Constraints: 22460
2418.11/2426.66 c #Conflicts: 728000 | #Constraints: 23460
2418.11/2426.66 c #Conflicts: 729000 | #Constraints: 24460
2418.11/2426.66 c #Conflicts: 730000 | #Constraints: 25460
2418.11/2426.66 c #Conflicts: 731000 | #Constraints: 26460
2418.11/2426.66 c #Conflicts: 732000 | #Constraints: 27460
2418.11/2426.66 c #Conflicts: 733000 | #Constraints: 28460
2418.11/2426.66 c #Conflicts: 734000 | #Constraints: 29460
2418.11/2426.66 c #Conflicts: 735000 | #Constraints: 30460
2418.11/2426.66 c #Conflicts: 736000 | #Constraints: 31460
2418.11/2426.66 c #Conflicts: 737000 | #Constraints: 32460
2418.11/2426.66 c #Conflicts: 738000 | #Constraints: 33460
2418.11/2426.66 c #Conflicts: 739000 | #Constraints: 34460
2418.11/2426.66 c INPROCESSING
2418.11/2426.66 c GARBAGE COLLECT
2570.49/2579.55 c #Conflicts: 740000 | #Constraints: 18451
2570.49/2579.55 c #Conflicts: 741000 | #Constraints: 19451
2570.49/2579.55 c #Conflicts: 742000 | #Constraints: 20451
2570.49/2579.55 c #Conflicts: 743000 | #Constraints: 21451
2570.49/2579.55 c #Conflicts: 744000 | #Constraints: 22451
2570.49/2579.55 c #Conflicts: 745000 | #Constraints: 23451
2570.49/2579.55 c #Conflicts: 746000 | #Constraints: 24451
2570.49/2579.55 c #Conflicts: 747000 | #Constraints: 25451
2570.49/2579.55 c #Conflicts: 748000 | #Constraints: 26451
2570.49/2579.55 c #Conflicts: 749000 | #Constraints: 27451
2570.49/2579.55 c #Conflicts: 750000 | #Constraints: 28451
2570.49/2579.55 c #Conflicts: 751000 | #Constraints: 29451
2570.49/2579.55 c #Conflicts: 752000 | #Constraints: 30451
2570.49/2579.55 c #Conflicts: 753000 | #Constraints: 31451
2570.49/2579.55 c #Conflicts: 754000 | #Constraints: 32451
2570.49/2579.55 c #Conflicts: 755000 | #Constraints: 33451
2570.49/2579.55 c #Conflicts: 756000 | #Constraints: 34451
2570.49/2579.55 c INPROCESSING
2570.49/2579.55 c GARBAGE COLLECT
2570.49/2579.55 c #Conflicts: 757000 | #Constraints: 18244
2570.49/2579.55 c #Conflicts: 758000 | #Constraints: 19244
2570.49/2579.55 c #Conflicts: 759000 | #Constraints: 20244
2570.49/2579.55 c #Conflicts: 760000 | #Constraints: 21244
2570.49/2579.55 c #Conflicts: 761000 | #Constraints: 22244
2570.49/2579.55 c #Conflicts: 762000 | #Constraints: 23244
2570.49/2579.55 c #Conflicts: 763000 | #Constraints: 24244
2570.49/2579.55 c #Conflicts: 764000 | #Constraints: 25244
2570.49/2579.55 c #Conflicts: 765000 | #Constraints: 26244
2570.49/2579.55 c #Conflicts: 766000 | #Constraints: 27244
2570.49/2579.55 c #Conflicts: 767000 | #Constraints: 28244
2570.49/2579.55 c #Conflicts: 768000 | #Constraints: 29244
2570.49/2579.55 c #Conflicts: 769000 | #Constraints: 30244
2570.49/2579.55 c #Conflicts: 770000 | #Constraints: 31244
2570.49/2579.55 c #Conflicts: 771000 | #Constraints: 32244
2570.49/2579.55 c #Conflicts: 772000 | #Constraints: 33244
2570.49/2579.55 c #Conflicts: 773000 | #Constraints: 34244
2570.49/2579.55 c #Conflicts: 774000 | #Constraints: 35244
2570.49/2579.55 c INPROCESSING
2570.49/2579.55 c GARBAGE COLLECT
2570.49/2579.55 c #Conflicts: 775000 | #Constraints: 18836
2570.49/2579.55 c #Conflicts: 776000 | #Constraints: 19836
2570.49/2579.55 c #Conflicts: 777000 | #Constraints: 20836
2570.49/2579.55 c #Conflicts: 778000 | #Constraints: 21836
2570.49/2579.55 c #Conflicts: 779000 | #Constraints: 22836
2570.49/2579.55 c #Conflicts: 780000 | #Constraints: 23836
2570.49/2579.55 c #Conflicts: 781000 | #Constraints: 24836
2570.49/2579.55 c #Conflicts: 782000 | #Constraints: 25836
2570.49/2579.55 c #Conflicts: 783000 | #Constraints: 26836
2570.49/2579.55 c #Conflicts: 784000 | #Constraints: 27836
2570.49/2579.55 c #Conflicts: 785000 | #Constraints: 28836
2570.49/2579.55 c #Conflicts: 786000 | #Constraints: 29836
2570.49/2579.55 c #Conflicts: 787000 | #Constraints: 30836
2570.49/2579.55 c #Conflicts: 788000 | #Constraints: 31836
2570.49/2579.55 c #Conflicts: 789000 | #Constraints: 32836
2570.49/2579.55 c #Conflicts: 790000 | #Constraints: 33836
2570.49/2579.55 c #Conflicts: 791000 | #Constraints: 34836
2570.49/2579.55 c #Conflicts: 792000 | #Constraints: 35836
2570.49/2579.55 c INPROCESSING
2570.49/2579.55 c GARBAGE COLLECT
2570.49/2579.55 c #Conflicts: 793000 | #Constraints: 19224
2570.49/2579.55 c #Conflicts: 794000 | #Constraints: 20224
2570.49/2579.55 c #Conflicts: 795000 | #Constraints: 21224
2570.49/2579.55 c #Conflicts: 796000 | #Constraints: 22224
2570.49/2579.55 c #Conflicts: 797000 | #Constraints: 23224
2570.49/2579.55 c #Conflicts: 798000 | #Constraints: 24224
2570.49/2579.55 c #Conflicts: 799000 | #Constraints: 25224
2570.49/2579.55 c #Conflicts: 800000 | #Constraints: 26224
2570.49/2579.55 c #Conflicts: 801000 | #Constraints: 27224
2570.49/2579.55 c #Conflicts: 802000 | #Constraints: 28224
2570.49/2579.55 c #Conflicts: 803000 | #Constraints: 29224
2570.49/2579.55 c #Conflicts: 804000 | #Constraints: 30224
2570.49/2579.55 c #Conflicts: 805000 | #Constraints: 31224
2570.49/2579.55 c #Conflicts: 806000 | #Constraints: 32224
2570.49/2579.55 c #Conflicts: 807000 | #Constraints: 33224
2570.49/2579.55 c #Conflicts: 808000 | #Constraints: 34224
2570.49/2579.55 c #Conflicts: 809000 | #Constraints: 35224
2570.49/2579.55 c #Conflicts: 810000 | #Constraints: 36224
2570.49/2579.55 c INPROCESSING
2570.49/2579.55 c GARBAGE COLLECT
2570.49/2579.55 c #Conflicts: 811000 | #Constraints: 19436
2570.49/2579.55 c #Conflicts: 812000 | #Constraints: 20436
2570.49/2579.55 c #Conflicts: 813000 | #Constraints: 21436
2570.49/2579.55 c #Conflicts: 814000 | #Constraints: 22436
2570.49/2579.55 c #Conflicts: 815000 | #Constraints: 23436
2570.49/2579.55 c #Conflicts: 816000 | #Constraints: 24436
2737.10/2746.66 c #Conflicts: 817000 | #Constraints: 25436
2737.10/2746.66 c #Conflicts: 818000 | #Constraints: 26436
2737.10/2746.66 c #Conflicts: 819000 | #Constraints: 27436
2737.10/2746.66 c #Conflicts: 820000 | #Constraints: 28436
2737.10/2746.66 c #Conflicts: 821000 | #Constraints: 29436
2737.10/2746.66 c #Conflicts: 822000 | #Constraints: 30436
2737.10/2746.66 c #Conflicts: 823000 | #Constraints: 31436
2737.10/2746.66 c #Conflicts: 824000 | #Constraints: 32436
2737.10/2746.66 c #Conflicts: 825000 | #Constraints: 33436
2737.10/2746.66 c #Conflicts: 826000 | #Constraints: 34436
2737.10/2746.66 c #Conflicts: 827000 | #Constraints: 35436
2737.10/2746.66 c #Conflicts: 828000 | #Constraints: 36436
2737.10/2746.66 c INPROCESSING
2737.10/2746.66 c GARBAGE COLLECT
2737.10/2746.66 c #Conflicts: 829000 | #Constraints: 19445
2737.10/2746.66 c #Conflicts: 830000 | #Constraints: 20445
2737.10/2746.66 c #Conflicts: 831000 | #Constraints: 21445
2737.10/2746.66 c #Conflicts: 832000 | #Constraints: 22445
2737.10/2746.66 c #Conflicts: 833000 | #Constraints: 23445
2737.10/2746.66 c #Conflicts: 834000 | #Constraints: 24445
2737.10/2746.66 c #Conflicts: 835000 | #Constraints: 25445
2737.10/2746.66 c #Conflicts: 836000 | #Constraints: 26445
2737.10/2746.66 c #Conflicts: 837000 | #Constraints: 27445
2737.10/2746.66 c #Conflicts: 838000 | #Constraints: 28445
2737.10/2746.66 c #Conflicts: 839000 | #Constraints: 29445
2737.10/2746.66 c #Conflicts: 840000 | #Constraints: 30445
2737.10/2746.66 c #Conflicts: 841000 | #Constraints: 31445
2737.10/2746.66 c #Conflicts: 842000 | #Constraints: 32445
2737.10/2746.66 c #Conflicts: 843000 | #Constraints: 33445
2737.10/2746.66 c #Conflicts: 844000 | #Constraints: 34445
2737.10/2746.66 c #Conflicts: 845000 | #Constraints: 35445
2737.10/2746.66 c #Conflicts: 846000 | #Constraints: 36445
2737.10/2746.66 c INPROCESSING
2737.10/2746.66 c GARBAGE COLLECT
2737.10/2746.66 c #Conflicts: 847000 | #Constraints: 19245
2737.10/2746.66 c #Conflicts: 848000 | #Constraints: 20245
2737.10/2746.66 c #Conflicts: 849000 | #Constraints: 21245
2737.10/2746.66 c #Conflicts: 850000 | #Constraints: 22245
2737.10/2746.66 c #Conflicts: 851000 | #Constraints: 23245
2737.10/2746.66 c #Conflicts: 852000 | #Constraints: 24245
2737.10/2746.66 c #Conflicts: 853000 | #Constraints: 25245
2737.10/2746.66 c #Conflicts: 854000 | #Constraints: 26245
2737.10/2746.66 c #Conflicts: 855000 | #Constraints: 27245
2737.10/2746.66 c #Conflicts: 856000 | #Constraints: 28245
2737.10/2746.66 c #Conflicts: 857000 | #Constraints: 29245
2737.10/2746.66 c #Conflicts: 858000 | #Constraints: 30245
2737.10/2746.66 c #Conflicts: 859000 | #Constraints: 31245
2737.10/2746.66 c #Conflicts: 860000 | #Constraints: 32245
2737.10/2746.66 c #Conflicts: 861000 | #Constraints: 33245
2737.10/2746.66 c #Conflicts: 862000 | #Constraints: 34245
2737.10/2746.66 c #Conflicts: 863000 | #Constraints: 35245
2737.10/2746.66 c #Conflicts: 864000 | #Constraints: 36245
2737.10/2746.66 c #Conflicts: 865000 | #Constraints: 37245
2737.10/2746.66 c INPROCESSING
2737.10/2746.66 c GARBAGE COLLECT
2737.10/2746.66 c #Conflicts: 866000 | #Constraints: 19839
2737.10/2746.66 c #Conflicts: 867000 | #Constraints: 20839
2737.10/2746.66 c #Conflicts: 868000 | #Constraints: 21839
2737.10/2746.66 c #Conflicts: 869000 | #Constraints: 22839
2737.10/2746.66 c #Conflicts: 870000 | #Constraints: 23839
2737.10/2746.66 c #Conflicts: 871000 | #Constraints: 24839
2737.10/2746.66 c #Conflicts: 872000 | #Constraints: 25839
2737.10/2746.66 c #Conflicts: 873000 | #Constraints: 26839
2737.10/2746.66 c #Conflicts: 874000 | #Constraints: 27839
2737.10/2746.66 c #Conflicts: 875000 | #Constraints: 28839
2737.10/2746.66 c #Conflicts: 876000 | #Constraints: 29839
2737.10/2746.66 c #Conflicts: 877000 | #Constraints: 30839
2737.10/2746.66 c #Conflicts: 878000 | #Constraints: 31839
2737.10/2746.66 c #Conflicts: 879000 | #Constraints: 32839
2737.10/2746.66 c #Conflicts: 880000 | #Constraints: 33839
2737.10/2746.66 c #Conflicts: 881000 | #Constraints: 34839
2737.10/2746.66 c #Conflicts: 882000 | #Constraints: 35839
2737.10/2746.66 c #Conflicts: 883000 | #Constraints: 36839
2737.10/2746.66 c #Conflicts: 884000 | #Constraints: 37839
2737.10/2746.66 c INPROCESSING
2737.10/2746.66 c GARBAGE COLLECT
2737.10/2746.66 c #Conflicts: 885000 | #Constraints: 20238
2737.10/2746.66 c #Conflicts: 886000 | #Constraints: 21238
2737.10/2746.66 c #Conflicts: 887000 | #Constraints: 22238
2737.10/2746.66 c #Conflicts: 888000 | #Constraints: 23238
2737.10/2746.66 c #Conflicts: 889000 | #Constraints: 24238
2737.10/2746.66 c #Conflicts: 890000 | #Constraints: 25238
2737.10/2746.66 c #Conflicts: 891000 | #Constraints: 26238
2737.10/2746.66 c #Conflicts: 892000 | #Constraints: 27238
2975.90/2986.14 c #Conflicts: 893000 | #Constraints: 28238
2975.90/2986.14 c #Conflicts: 894000 | #Constraints: 29238
2975.90/2986.14 c #Conflicts: 895000 | #Constraints: 30238
2975.90/2986.14 c #Conflicts: 896000 | #Constraints: 31238
2975.90/2986.14 c #Conflicts: 897000 | #Constraints: 32238
2975.90/2986.14 c #Conflicts: 898000 | #Constraints: 33238
2975.90/2986.14 c #Conflicts: 899000 | #Constraints: 34238
2975.90/2986.14 c #Conflicts: 900000 | #Constraints: 35238
2975.90/2986.14 c #Conflicts: 901000 | #Constraints: 36238
2975.90/2986.14 c #Conflicts: 902000 | #Constraints: 37238
2975.90/2986.14 c #Conflicts: 903000 | #Constraints: 38238
2975.90/2986.14 c INPROCESSING
2975.90/2986.14 c GARBAGE COLLECT
2975.90/2986.14 c #Conflicts: 904000 | #Constraints: 20434
2975.90/2986.14 c #Conflicts: 905000 | #Constraints: 21434
2975.90/2986.14 c #Conflicts: 906000 | #Constraints: 22434
2975.90/2986.14 c #Conflicts: 907000 | #Constraints: 23434
2975.90/2986.14 c #Conflicts: 908000 | #Constraints: 24434
2975.90/2986.14 c #Conflicts: 909000 | #Constraints: 25434
2975.90/2986.14 c #Conflicts: 910000 | #Constraints: 26434
2975.90/2986.14 c #Conflicts: 911000 | #Constraints: 27434
2975.90/2986.14 c #Conflicts: 912000 | #Constraints: 28434
2975.90/2986.14 c #Conflicts: 913000 | #Constraints: 29434
2975.90/2986.14 c #Conflicts: 914000 | #Constraints: 30434
2975.90/2986.14 c #Conflicts: 915000 | #Constraints: 31434
2975.90/2986.14 c #Conflicts: 916000 | #Constraints: 32434
2975.90/2986.14 c #Conflicts: 917000 | #Constraints: 33434
2975.90/2986.14 c #Conflicts: 918000 | #Constraints: 34434
2975.90/2986.14 c #Conflicts: 919000 | #Constraints: 35434
2975.90/2986.14 c #Conflicts: 920000 | #Constraints: 36434
2975.90/2986.14 c #Conflicts: 921000 | #Constraints: 37434
2975.90/2986.14 c #Conflicts: 922000 | #Constraints: 38434
2975.90/2986.14 c INPROCESSING
2975.90/2986.14 c GARBAGE COLLECT
2975.90/2986.14 c #Conflicts: 923000 | #Constraints: 20432
2975.90/2986.14 c #Conflicts: 924000 | #Constraints: 21432
2975.90/2986.14 c #Conflicts: 925000 | #Constraints: 22432
2975.90/2986.14 c #Conflicts: 926000 | #Constraints: 23432
2975.90/2986.14 c #Conflicts: 927000 | #Constraints: 24432
2975.90/2986.14 c #Conflicts: 928000 | #Constraints: 25432
2975.90/2986.14 c #Conflicts: 929000 | #Constraints: 26432
2975.90/2986.14 c #Conflicts: 930000 | #Constraints: 27432
2975.90/2986.14 c #Conflicts: 931000 | #Constraints: 28432
2975.90/2986.14 c #Conflicts: 932000 | #Constraints: 29432
2975.90/2986.14 c #Conflicts: 933000 | #Constraints: 30432
2975.90/2986.14 c #Conflicts: 934000 | #Constraints: 31432
2975.90/2986.14 c #Conflicts: 935000 | #Constraints: 32432
2975.90/2986.14 c #Conflicts: 936000 | #Constraints: 33432
2975.90/2986.14 c #Conflicts: 937000 | #Constraints: 34432
2975.90/2986.14 c #Conflicts: 938000 | #Constraints: 35432
2975.90/2986.14 c #Conflicts: 939000 | #Constraints: 36432
2975.90/2986.14 c #Conflicts: 940000 | #Constraints: 37432
2975.90/2986.14 c #Conflicts: 941000 | #Constraints: 38432
2975.90/2986.14 c INPROCESSING
2975.90/2986.14 c GARBAGE COLLECT
2975.90/2986.14 c #Conflicts: 942000 | #Constraints: 20272
2975.90/2986.14 c #Conflicts: 943000 | #Constraints: 21272
2975.90/2986.14 c #Conflicts: 944000 | #Constraints: 22272
2975.90/2986.14 c #Conflicts: 945000 | #Constraints: 23272
2975.90/2986.14 c #Conflicts: 946000 | #Constraints: 24272
2975.90/2986.14 c #Conflicts: 947000 | #Constraints: 25272
2975.90/2986.14 c #Conflicts: 948000 | #Constraints: 26272
2975.90/2986.14 c #Conflicts: 949000 | #Constraints: 27272
2975.90/2986.14 c #Conflicts: 950000 | #Constraints: 28272
2975.90/2986.14 c #Conflicts: 951000 | #Constraints: 29272
2975.90/2986.14 c #Conflicts: 952000 | #Constraints: 30272
2975.90/2986.14 c #Conflicts: 953000 | #Constraints: 31272
2975.90/2986.14 c #Conflicts: 954000 | #Constraints: 32272
2975.90/2986.14 c #Conflicts: 955000 | #Constraints: 33272
2975.90/2986.14 c #Conflicts: 956000 | #Constraints: 34272
2975.90/2986.14 c #Conflicts: 957000 | #Constraints: 35272
2975.90/2986.14 c #Conflicts: 958000 | #Constraints: 36272
2975.90/2986.14 c #Conflicts: 959000 | #Constraints: 37272
2975.90/2986.14 c #Conflicts: 960000 | #Constraints: 38272
2975.90/2986.14 c #Conflicts: 961000 | #Constraints: 39272
2975.90/2986.14 c INPROCESSING
2975.90/2986.14 c GARBAGE COLLECT
2975.90/2986.14 c #Conflicts: 962000 | #Constraints: 20917
2975.90/2986.14 c #Conflicts: 963000 | #Constraints: 21917
2975.90/2986.14 c #Conflicts: 964000 | #Constraints: 22917
2975.90/2986.14 c #Conflicts: 965000 | #Constraints: 23917
2975.90/2986.14 c #Conflicts: 966000 | #Constraints: 24917
2975.90/2986.14 c #Conflicts: 967000 | #Constraints: 25917
2975.90/2986.14 c #Conflicts: 968000 | #Constraints: 26917
3427.64/3439.13 c #Conflicts: 969000 | #Constraints: 27917
3427.64/3439.13 c #Conflicts: 970000 | #Constraints: 28917
3427.64/3439.13 c #Conflicts: 971000 | #Constraints: 29917
3427.64/3439.13 c #Conflicts: 972000 | #Constraints: 30917
3427.64/3439.13 c #Conflicts: 973000 | #Constraints: 31917
3427.64/3439.13 c #Conflicts: 974000 | #Constraints: 32917
3427.64/3439.13 c #Conflicts: 975000 | #Constraints: 33917
3427.64/3439.13 c #Conflicts: 976000 | #Constraints: 34917
3427.64/3439.13 c #Conflicts: 977000 | #Constraints: 35917
3427.64/3439.13 c #Conflicts: 978000 | #Constraints: 36917
3427.64/3439.13 c #Conflicts: 979000 | #Constraints: 37917
3427.64/3439.13 c #Conflicts: 980000 | #Constraints: 38917
3427.64/3439.13 c #Conflicts: 981000 | #Constraints: 39917
3427.64/3439.13 c INPROCESSING
3427.64/3439.13 c GARBAGE COLLECT
3427.64/3439.13 c #Conflicts: 982000 | #Constraints: 21300
3427.64/3439.13 c #Conflicts: 983000 | #Constraints: 22300
3427.64/3439.13 c #Conflicts: 984000 | #Constraints: 23300
3427.64/3439.13 c #Conflicts: 985000 | #Constraints: 24300
3427.64/3439.13 c #Conflicts: 986000 | #Constraints: 25300
3427.64/3439.13 c #Conflicts: 987000 | #Constraints: 26300
3427.64/3439.13 c #Conflicts: 988000 | #Constraints: 27300
3427.64/3439.13 c #Conflicts: 989000 | #Constraints: 28300
3427.64/3439.13 c #Conflicts: 990000 | #Constraints: 29300
3427.64/3439.13 c #Conflicts: 991000 | #Constraints: 30300
3427.64/3439.13 c #Conflicts: 992000 | #Constraints: 31300
3427.64/3439.13 c #Conflicts: 993000 | #Constraints: 32300
3427.64/3439.13 c #Conflicts: 994000 | #Constraints: 33300
3427.64/3439.13 c #Conflicts: 995000 | #Constraints: 34300
3427.64/3439.13 c #Conflicts: 996000 | #Constraints: 35300
3427.64/3439.13 c #Conflicts: 997000 | #Constraints: 36300
3427.64/3439.13 c #Conflicts: 998000 | #Constraints: 37300
3427.64/3439.13 c #Conflicts: 999000 | #Constraints: 38300
3427.64/3439.13 c #Conflicts: 1000000 | #Constraints: 39300
3427.64/3439.13 c #Conflicts: 1001000 | #Constraints: 40300
3427.64/3439.13 c INPROCESSING
3427.64/3439.13 c GARBAGE COLLECT
3427.64/3439.13 c #Conflicts: 1002000 | #Constraints: 21509
3427.64/3439.13 c #Conflicts: 1003000 | #Constraints: 22509
3427.64/3439.13 c #Conflicts: 1004000 | #Constraints: 23509
3427.64/3439.13 c #Conflicts: 1005000 | #Constraints: 24509
3427.64/3439.13 c #Conflicts: 1006000 | #Constraints: 25509
3427.64/3439.13 c #Conflicts: 1007000 | #Constraints: 26509
3427.64/3439.13 c #Conflicts: 1008000 | #Constraints: 27509
3427.64/3439.13 c #Conflicts: 1009000 | #Constraints: 28509
3427.64/3439.13 c #Conflicts: 1010000 | #Constraints: 29509
3427.64/3439.13 c #Conflicts: 1011000 | #Constraints: 30509
3427.64/3439.13 c #Conflicts: 1012000 | #Constraints: 31509
3427.64/3439.13 c #Conflicts: 1013000 | #Constraints: 32509
3427.64/3439.13 c #Conflicts: 1014000 | #Constraints: 33509
3427.64/3439.13 c #Conflicts: 1015000 | #Constraints: 34509
3427.64/3439.13 c #Conflicts: 1016000 | #Constraints: 35509
3427.64/3439.13 c #Conflicts: 1017000 | #Constraints: 36509
3427.64/3439.13 c #Conflicts: 1018000 | #Constraints: 37509
3427.64/3439.13 c #Conflicts: 1019000 | #Constraints: 38509
3427.64/3439.13 c #Conflicts: 1020000 | #Constraints: 39509
3427.64/3439.13 c #Conflicts: 1021000 | #Constraints: 40509
3427.64/3439.13 c INPROCESSING
3427.64/3439.13 c GARBAGE COLLECT
3427.64/3439.13 c #Conflicts: 1022000 | #Constraints: 21504
3427.64/3439.13 c #Conflicts: 1023000 | #Constraints: 22504
3427.64/3439.13 c #Conflicts: 1024000 | #Constraints: 23504
3427.64/3439.13 c #Conflicts: 1025000 | #Constraints: 24504
3427.64/3439.13 c #Conflicts: 1026000 | #Constraints: 25504
3427.64/3439.13 c #Conflicts: 1027000 | #Constraints: 26504
3427.64/3439.13 c #Conflicts: 1028000 | #Constraints: 27504
3427.64/3439.13 c #Conflicts: 1029000 | #Constraints: 28504
3427.64/3439.13 c #Conflicts: 1030000 | #Constraints: 29504
3427.64/3439.13 c #Conflicts: 1031000 | #Constraints: 30504
3427.64/3439.13 c #Conflicts: 1032000 | #Constraints: 31504
3427.64/3439.13 c #Conflicts: 1033000 | #Constraints: 32504
3427.64/3439.13 c #Conflicts: 1034000 | #Constraints: 33504
3427.64/3439.13 c #Conflicts: 1035000 | #Constraints: 34504
3427.64/3439.13 c #Conflicts: 1036000 | #Constraints: 35504
3427.64/3439.13 c #Conflicts: 1037000 | #Constraints: 36504
3427.64/3439.13 c #Conflicts: 1038000 | #Constraints: 37504
3427.64/3439.13 c #Conflicts: 1039000 | #Constraints: 38504
3427.64/3439.13 c #Conflicts: 1040000 | #Constraints: 39504
3427.64/3439.13 c #Conflicts: 1041000 | #Constraints: 40504
3427.64/3439.13 c INPROCESSING
3427.64/3439.13 c GARBAGE COLLECT
3427.64/3439.13 c #Conflicts: 1042000 | #Constraints: 21290
3427.64/3439.13 c #Conflicts: 1043000 | #Constraints: 22290
3427.64/3439.13 c #Conflicts: 1044000 | #Constraints: 23290
3600.01/3612.00 c #Conflicts: 1045000 | #Constraints: 24290
3600.01/3612.00 c #Conflicts: 1046000 | #Constraints: 25290
3600.01/3612.00 c #Conflicts: 1047000 | #Constraints: 26290
3600.01/3612.00 c #Conflicts: 1048000 | #Constraints: 27290
3600.01/3612.00 c #Conflicts: 1049000 | #Constraints: 28290
3600.01/3612.00 c #Conflicts: 1050000 | #Constraints: 29290
3600.01/3612.00 c #Conflicts: 1051000 | #Constraints: 30290
3600.01/3612.00 c #Conflicts: 1052000 | #Constraints: 31290
3600.01/3612.00 c #Conflicts: 1053000 | #Constraints: 32290
3600.01/3612.00 c #Conflicts: 1054000 | #Constraints: 33290
3600.01/3612.00 c #Conflicts: 1055000 | #Constraints: 34290
3600.01/3612.00 c #Conflicts: 1056000 | #Constraints: 35290
3600.01/3612.00 c #Conflicts: 1057000 | #Constraints: 36290
3600.01/3612.00 c #Conflicts: 1058000 | #Constraints: 37290
3600.01/3612.00 c #Conflicts: 1059000 | #Constraints: 38290
3600.01/3612.00 c #Conflicts: 1060000 | #Constraints: 39290
3600.01/3612.00 c #Conflicts: 1061000 | #Constraints: 40290
3600.01/3612.00 c #Conflicts: 1062000 | #Constraints: 41290
3600.01/3612.00 c INPROCESSING
3600.01/3612.00 c GARBAGE COLLECT
3600.01/3612.00 c #Conflicts: 1063000 | #Constraints: 21883
3600.01/3612.00 c #Conflicts: 1064000 | #Constraints: 22883
3600.01/3612.00 c #Conflicts: 1065000 | #Constraints: 23883
3600.01/3612.00 c #Conflicts: 1066000 | #Constraints: 24883
3600.01/3612.00 c #Conflicts: 1067000 | #Constraints: 25883
3600.01/3612.00 c #Conflicts: 1068000 | #Constraints: 26883
3600.01/3612.00 c #Conflicts: 1069000 | #Constraints: 27883
3600.01/3612.00 c #Conflicts: 1070000 | #Constraints: 28883
3600.01/3612.00 c #Conflicts: 1071000 | #Constraints: 29883
3600.01/3612.00 c #Conflicts: 1072000 | #Constraints: 30883
3600.01/3612.00 c #Conflicts: 1073000 | #Constraints: 31883
3600.01/3612.00 c #Conflicts: 1074000 | #Constraints: 32883
3600.01/3612.00 c #Conflicts: 1075000 | #Constraints: 33883
3600.01/3612.00 c #Conflicts: 1076000 | #Constraints: 34883
3600.01/3612.00 c #Conflicts: 1077000 | #Constraints: 35883
3600.01/3612.00 c #Conflicts: 1078000 | #Constraints: 36883
3600.01/3612.00 c #Conflicts: 1079000 | #Constraints: 37883
3600.01/3612.00 c #Conflicts: 1080000 | #Constraints: 38883
3600.01/3612.00 c #Conflicts: 1081000 | #Constraints: 39883
3600.01/3612.00 c #Conflicts: 1082000 | #Constraints: 40883
3600.01/3612.00 c #Conflicts: 1083000 | #Constraints: 41883
3600.01/3612.00 c INPROCESSING
3600.01/3612.00 c GARBAGE COLLECT
3600.01/3612.00 c #Conflicts: 1084000 | #Constraints: 22284
3600.01/3612.00 c #Conflicts: 1085000 | #Constraints: 23284
3600.01/3612.00 c #Conflicts: 1086000 | #Constraints: 24284
3600.01/3612.00 c #Conflicts: 1087000 | #Constraints: 25284
3600.01/3612.00 c #Conflicts: 1088000 | #Constraints: 26284
3600.01/3612.00 c #Conflicts: 1089000 | #Constraints: 27284
3600.01/3612.00 c #Conflicts: 1090000 | #Constraints: 28284
3600.01/3612.00 c #Conflicts: 1091000 | #Constraints: 29284
3600.01/3612.00 c #Conflicts: 1092000 | #Constraints: 30284
3600.01/3612.00 c #Conflicts: 1093000 | #Constraints: 31284
3600.01/3612.00 c #Conflicts: 1094000 | #Constraints: 32284
3600.01/3612.00 c #Conflicts: 1095000 | #Constraints: 33284
3600.01/3612.00 c #Conflicts: 1096000 | #Constraints: 34284
3600.01/3612.00 c Program interrupted by user.
3600.01/3612.00 c cpu time 3588.58 s
3600.01/3612.00 c deterministic time 848315398654 8.48e+11
3600.01/3612.00 c optimization time 44.1028 s
3600.01/3612.00 c total solve time 3245.68 s
3600.01/3612.00 c core-guided solve time 0 s
3600.01/3612.00 c propagation time 2723.13 s
3600.01/3612.00 c conflict analysis time 509.332 s
3600.01/3612.00 c propagations 333976221
3600.01/3612.00 c resolve steps 12410802
3600.01/3612.00 c decisions 8353250
3600.01/3612.00 c conflicts 1096600
3600.01/3612.00 c restarts 2046
3600.01/3612.00 c inprocessing phases 95
3600.01/3612.00 c input clauses 75
3600.01/3612.00 c input cardinalities 75
3600.01/3612.00 c input general constraints 448
3600.01/3612.00 c input average constraint length 72.81
3600.01/3612.00 c input average constraint degree 654.84
3600.01/3612.00 c learned clauses 108048
3600.01/3612.00 c learned cardinalities 10804
3600.01/3612.00 c learned general constraints 977747
3600.01/3612.00 c learned average constraint length 829.57
3600.01/3612.00 c learned average constraint degree 91148060.99
3600.01/3612.00 c watched constraints 782497
3600.01/3612.00 c counting constraints 195698
3600.01/3612.00 c gcd simplifications 66665
3600.01/3612.00 c detected cardinalities 355
3600.01/3612.00 c weakened non-implied lits 101450508
3600.01/3612.00 c weakened non-implying lits 148874
3600.01/3612.00 c original variables 4977
3600.01/3612.00 c clausal propagations 1325144
3600.01/3612.00 c cardinality propagations 7441625
3600.01/3612.00 c watched propagations 17201441
3600.01/3612.00 c counting propagations 306723411
3600.01/3612.00 c watch lookups 28963760105
3600.01/3612.00 c watch backjump lookups 25201377517
3600.01/3612.00 c watch checks 719370047649
3600.01/3612.00 c propagation checks 70662809654
3600.01/3612.00 c constraint additions 3431651472
3600.01/3612.00 c trail pops 343422785
3600.01/3612.00 c formula constraints 598
3600.01/3612.00 c learned constraints 1096599
3600.01/3612.00 c bound constraints 0
3600.01/3612.00 c core-guided constraints 0
3600.01/3612.00 c encountered formula constraints 7924784
3600.01/3612.00 c encountered learned constraints 5582618
3600.01/3612.00 c encountered bound constraints 0
3600.01/3612.00 c encountered core-guided constraints 0
3600.01/3612.00 c LP total time 0 s
3600.01/3612.00 c LP solve time 0 s
3600.01/3612.00 c LP constraints added 0
3600.01/3612.00 c LP constraints removed 0
3600.01/3612.00 c LP pivots internal 0
3600.01/3612.00 c LP pivots root 0
3600.01/3612.00 c LP calls 0
3600.01/3612.00 c LP optimalities 0
3600.01/3612.00 c LP no pivot count 0
3600.01/3612.00 c LP infeasibilities 0
3600.01/3612.00 c LP valid Farkas constraints 0
3600.01/3612.00 c LP learned Farkas constraints 0
3600.01/3612.00 c LP basis resets 0
3600.01/3612.00 c LP cycling count 0
3600.01/3612.00 c LP singular count 0
3600.01/3612.00 c LP no primal count 0
3600.01/3612.00 c LP no farkas count 0
3600.01/3612.00 c LP other issue count 0
3600.01/3612.00 c LP Gomory cuts 0
3600.01/3612.00 c LP learned cuts 0
3600.01/3612.00 c LP deleted cuts 0
3600.01/3612.00 c LP encountered Gomory constraints 0
3600.01/3612.00 c LP encountered Farkas constraints 0
3600.01/3612.00 c LP encountered learned Farkas constraints 0
3600.01/3612.00 c CG auxiliary variables introduced 0
3600.01/3612.00 c CG solutions found 0
3600.01/3612.00 c CG cores constructed 0
3600.01/3612.00 c CG core cardinality constraints returned 0
3600.01/3612.00 c CG unit cores 0
3600.01/3612.00 c CG single cores 0
3600.01/3612.00 c CG blocks removed during cardinality reduction 0
3600.01/3612.00 c CG first core best 0
3600.01/3612.00 c CG decision core best 0
3600.01/3612.00 c CG core reduction tie 0
3600.01/3612.00 c CG core degree average 0.00
3600.01/3612.00 c CG core slack average 0.00
3600.01/3612.00 c CG exhausted 0
3600.01/3612.00 c CG exhaust time 0 s
3600.01/3612.00 c CG trimmed 0
3600.01/3612.00 c CG trim time 0 s
3600.01/3612.00 c CG minimized 0
3600.01/3612.00 c CG minimize time 0 s
3600.01/3612.00 c CG am1 prop time 0 s
3600.01/3612.00 c CG # am1s reformulated 0
3600.01/3612.00 c CG lower bound derived from am1s 0
3600.01/3612.00 c CG # clausal cores 0
3600.01/3612.00 c CG # cardinality cores 0
3600.01/3612.00 c CG # pb cores 0
3600.01/3612.00 c CG # pb reforms 0
3600.01/3612.00 c CG # cores discarded because of pb reform 0
3600.01/3612.00 d LOWERBOUND 0
3600.01/3612.00 d NCORES 0
3600.01/3612.00 d NPBCORES 0
3600.01/3612.00 d NPBREFORM 0
3600.01/3612.00 d NTRIMMED 0
3600.01/3612.00 d NEXHAUSTED 0
3600.01/3612.00 d NAM1S 0
3600.01/3612.00 d AM1LB 0
3600.01/3612.00 c [Papilo Statistics]
3600.01/3612.00 c prepro time 0.015334s
3600.01/3612.00 c # tsx applied 14
3600.01/3612.00 c # tsx conflicts 0
3600.01/3612.00 c # bound changes 7
3600.01/3612.00 c # side changes 0
3600.01/3612.00 c # coef changes 0
3600.01/3612.00 c # rounds 2
3600.01/3612.00 c # deted vars 7
3600.01/3612.00 c # deted constrs 4971
3600.01/3612.00 c # consecutive rounds of only bound changes 0
3600.01/3612.00 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (61974 MiB free)
memory of node 1: 64507 MiB (63334 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529064-1752259765/watcher-4529064-1752259765 -o /tmp/evaluation-result-4529064-1752259765/solver-4529064-1752259765 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752256148-121308 --watchdog 3760 mixed-bag HOME/instance-4529064-1752259765.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=121789, runsolver pid=121786
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.19 4.13 4.10 5/266 121790
/proc/meminfo: memFree=128315988/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=121308 memory=48240 CPUtime=0.09 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 9258 0 0 0 8 1 0 0 20 0 1 0 141654391 124219392 12060 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 30327 12060 3968 2834 0 12532 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 121308 KiB
Current children cumulated memory: 48240 KiB
[startup+0.205488 s]*
/proc/loadavg: 4.19 4.13 4.10 5/266 121790
/proc/meminfo: memFree=128315488/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=133380 memory=58608 CPUtime=0.19 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 11883 0 0 0 18 1 0 0 20 0 1 0 141654391 136581120 14652 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 33345 14652 4000 2834 0 15550 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 133380 KiB
Current children cumulated memory: 58608 KiB
[startup+0.305479 s]*
/proc/loadavg: 4.19 4.13 4.10 5/266 121790
/proc/meminfo: memFree=128315488/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=154316 memory=73884 CPUtime=0.3 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 15106 0 0 0 28 2 0 0 20 0 1 0 141654391 158019584 18471 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 38579 18471 4064 2834 0 20784 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 154316 KiB
Current children cumulated memory: 73884 KiB
[startup+0.700101 s]
/proc/loadavg: 4.19 4.13 4.10 5/266 121790
/proc/meminfo: memFree=128315488/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=159364 memory=78748 CPUtime=0.69 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 16328 0 0 0 67 2 0 0 20 0 1 0 141654391 163188736 19687 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 39841 19687 4064 2834 0 22046 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 159364 KiB
Current children cumulated memory: 78748 KiB
[startup+1.5001 s]
/proc/loadavg: 4.19 4.13 4.10 5/266 121790
/proc/meminfo: memFree=128251992/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=188332 memory=108060 CPUtime=1.48 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 23663 0 0 0 145 3 0 0 20 0 1 0 141654391 192851968 27015 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 47083 27015 4064 2834 0 29288 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 188332 KiB
Current children cumulated memory: 108060 KiB
[startup+3.10532 s]
/proc/loadavg: 4.19 4.13 4.10 5/266 121790
/proc/meminfo: memFree=128191464/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=188576 memory=108316 CPUtime=3.08 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 23725 0 0 0 305 3 0 0 20 0 1 0 141654391 193101824 27079 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 47144 27079 4064 2834 0 29349 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 188576 KiB
Current children cumulated memory: 108316 KiB
[startup+6.3001 s]
/proc/loadavg: 4.17 4.13 4.10 5/266 121790
/proc/meminfo: memFree=128063204/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=266952 memory=185500 CPUtime=6.27 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 46484 0 0 0 620 7 0 0 20 0 1 0 141654391 273358848 46375 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 66738 46375 4288 2834 0 48943 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 266952 KiB
Current children cumulated memory: 185500 KiB
[startup+12.7001 s]
/proc/loadavg: 4.16 4.12 4.09 5/266 121790
/proc/meminfo: memFree=128053748/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=271236 memory=191052 CPUtime=12.64 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 53958 0 0 0 1257 7 0 0 20 0 1 0 141654391 277745664 47763 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 67809 47763 4288 2834 0 50014 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 271236 KiB
Current children cumulated memory: 191052 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 4.13 4.10 5/266 121791
/proc/meminfo: memFree=127979068/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=300448 memory=219092 CPUtime=25.4 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 63722 0 0 0 2530 10 0 0 20 0 1 0 141654391 307658752 54773 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 75112 54773 4288 2834 0 57317 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 300448 KiB
Current children cumulated memory: 219092 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 121792
/proc/meminfo: memFree=127906060/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=301068 memory=220884 CPUtime=50.91 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 64194 0 0 0 5081 10 0 0 20 0 1 0 141654391 308293632 55221 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 75267 55221 4288 2834 0 57472 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 301068 KiB
Current children cumulated memory: 220884 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 121794
/proc/meminfo: memFree=127782716/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=307148 memory=226900 CPUtime=101.93 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 65689 0 0 0 10181 12 0 0 20 0 1 0 141654391 314519552 56725 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 76787 56725 4288 2834 0 58992 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 307148 KiB
Current children cumulated memory: 226900 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 121840
/proc/meminfo: memFree=127879804/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=307148 memory=226900 CPUtime=161.69 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 65691 0 0 0 16156 13 0 0 20 0 1 0 141654391 314519552 56725 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 76787 56725 4288 2834 0 58992 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 307148 KiB
Current children cumulated memory: 226900 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 121842
/proc/meminfo: memFree=127874340/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=314132 memory=233940 CPUtime=221.44 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 67457 0 0 0 22130 14 0 0 20 0 1 0 141654391 321671168 58485 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 78533 58485 4288 2834 0 60738 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 314132 KiB
Current children cumulated memory: 233940 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 121844
/proc/meminfo: memFree=127818608/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=314132 memory=233940 CPUtime=281.19 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 67460 0 0 0 28105 14 0 0 20 0 1 0 141654391 321671168 58485 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 78533 58485 4288 2834 0 60738 0
Current children cumulated CPU time: 281.19 s
Current children cumulated vsize: 314132 KiB
Current children cumulated memory: 233940 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 121846
/proc/meminfo: memFree=127751032/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=347620 memory=267380 CPUtime=340.99 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 70442 0 0 0 34026 73 0 0 20 0 1 0 141654391 355962880 66845 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 86905 66845 4352 2834 0 69110 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 347620 KiB
Current children cumulated memory: 267380 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 121901
/proc/meminfo: memFree=127520664/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=378440 memory=304624 CPUtime=400.79 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 71060 0 0 0 39968 111 0 0 20 0 1 0 141654391 387522560 76156 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 94610 76156 4352 2834 0 76815 0
Current children cumulated CPU time: 400.79 s
Current children cumulated vsize: 378440 KiB
Current children cumulated memory: 304624 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 121904
/proc/meminfo: memFree=127390288/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=378440 memory=304880 CPUtime=460.6 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 71099 0 0 0 45910 150 0 0 20 0 1 0 141654391 387522560 76220 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 94610 76220 4352 2834 0 76815 0
Current children cumulated CPU time: 460.6 s
################
# More data... #
################
Current children cumulated memory: 512036 KiB
[startup+2862.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/264 122125
/proc/meminfo: memFree=124685736/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=579692 memory=513444 CPUtime=2852.46 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 84908 0 0 0 284230 1016 0 0 20 0 1 0 141654391 593604608 128361 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 144923 128361 4352 2834 0 127128 0
Current children cumulated CPU time: 2852.46 s
Current children cumulated vsize: 579692 KiB
Current children cumulated memory: 513444 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 122128
/proc/meminfo: memFree=124682488/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=583428 memory=516132 CPUtime=2912.29 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 85593 0 0 0 290202 1027 0 0 20 0 1 0 141654391 597430272 129033 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 145857 129033 4352 2834 0 128062 0
Current children cumulated CPU time: 2912.29 s
Current children cumulated vsize: 583428 KiB
Current children cumulated memory: 516132 KiB
[startup+2982.3 s]
/proc/loadavg: 4.24 4.15 4.10 5/265 122131
/proc/meminfo: memFree=124650604/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=583876 memory=516644 CPUtime=2972.11 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 85710 0 0 0 296171 1040 0 0 20 0 1 0 141654391 597889024 129161 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 145969 129161 4352 2834 0 128174 0
Current children cumulated CPU time: 2972.11 s
Current children cumulated vsize: 583876 KiB
Current children cumulated memory: 516644 KiB
[startup+3042.3 s]
/proc/loadavg: 4.30 4.19 4.12 5/265 122133
/proc/meminfo: memFree=124602856/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=584044 memory=516772 CPUtime=3031.94 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 85732 0 0 0 302144 1050 0 0 20 0 1 0 141654391 598061056 129193 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 146011 129193 4352 2834 0 128216 0
Current children cumulated CPU time: 3031.94 s
Current children cumulated vsize: 584044 KiB
Current children cumulated memory: 516772 KiB
[startup+3102.3 s]
/proc/loadavg: 4.50 4.25 4.14 5/265 122135
/proc/meminfo: memFree=124550224/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=584776 memory=517412 CPUtime=3091.77 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 85891 0 0 0 308121 1056 0 0 20 0 1 0 141654391 598810624 129353 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 146194 129353 4352 2834 0 128399 0
Current children cumulated CPU time: 3091.77 s
Current children cumulated vsize: 584776 KiB
Current children cumulated memory: 517412 KiB
[startup+3162.3 s]
/proc/loadavg: 4.30 4.23 4.14 5/264 122137
/proc/meminfo: memFree=124429376/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=586252 memory=518308 CPUtime=3151.6 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 86119 0 0 0 314101 1059 0 0 20 0 1 0 141654391 600322048 129577 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 146563 129577 4352 2834 0 128768 0
Current children cumulated CPU time: 3151.6 s
Current children cumulated vsize: 586252 KiB
Current children cumulated memory: 518308 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.21 4.13 5/264 122139
/proc/meminfo: memFree=124413080/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=588908 memory=520100 CPUtime=3211.44 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 86600 0 0 0 320082 1062 0 0 20 0 1 0 141654391 603041792 130025 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 147227 130025 4352 2834 0 129432 0
Current children cumulated CPU time: 3211.44 s
Current children cumulated vsize: 588908 KiB
Current children cumulated memory: 520100 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.18 4.13 5/263 122141
/proc/meminfo: memFree=124407128/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=589644 memory=520868 CPUtime=3271.28 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 86776 0 0 0 326058 1070 0 0 20 0 1 0 141654391 603795456 130217 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 147411 130217 4352 2834 0 129616 0
Current children cumulated CPU time: 3271.28 s
Current children cumulated vsize: 589644 KiB
Current children cumulated memory: 520868 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.18 4.13 5/264 122145
/proc/meminfo: memFree=124393140/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=729424 memory=531516 CPUtime=3331.12 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 88413 0 0 0 332036 1076 0 0 20 0 1 0 141654391 746930176 132879 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 182356 132879 4352 2834 0 164561 0
Current children cumulated CPU time: 3331.12 s
Current children cumulated vsize: 729424 KiB
Current children cumulated memory: 531516 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/264 122147
/proc/meminfo: memFree=124285404/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=737556 memory=565412 CPUtime=3390.94 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 89761 0 0 0 338004 1090 0 0 20 0 1 0 141654391 755257344 141353 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 184389 141353 4352 2834 0 166594 0
Current children cumulated CPU time: 3390.94 s
Current children cumulated vsize: 737556 KiB
Current children cumulated memory: 565412 KiB
[startup+3462.3 s]
/proc/loadavg: 4.30 4.22 4.15 5/265 122156
/proc/meminfo: memFree=124216212/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=737884 memory=565796 CPUtime=3450.77 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 89845 0 0 0 343972 1105 0 0 20 0 1 0 141654391 755593216 141449 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 184471 141449 4352 2834 0 166676 0
Current children cumulated CPU time: 3450.77 s
Current children cumulated vsize: 737884 KiB
Current children cumulated memory: 565796 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.20 4.15 5/265 122158
/proc/meminfo: memFree=124211628/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=741024 memory=568100 CPUtime=3510.59 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 90405 0 0 0 349939 1120 0 0 20 0 1 0 141654391 758808576 142025 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 185256 142025 4352 2834 0 167461 0
Current children cumulated CPU time: 3510.59 s
Current children cumulated vsize: 741024 KiB
Current children cumulated memory: 568100 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.18 4.14 5/265 122160
/proc/meminfo: memFree=124185468/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=742048 memory=568996 CPUtime=3570.41 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 90654 0 0 0 355906 1135 0 0 20 0 1 0 141654391 759857152 142249 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 185512 142249 4352 2834 0 167717 0
Current children cumulated CPU time: 3570.41 s
Current children cumulated vsize: 742048 KiB
Current children cumulated memory: 568996 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 4.13 4.18 4.14 5/265 122208
/proc/meminfo: memFree=123560608/131250000 swapFree=33010416/33010684
[pid=121789] ppid=121786 vsize=742048 memory=568996 CPUtime=3600.01 cores=0,2
/proc/121789/stat : 121789 (mixed-bag) R 121786 121789 121298 0 -1 4194304 90654 0 0 0 358858 1143 0 0 20 0 1 0 141654391 759857152 142249 18446744073709551615 4235264 15840557 140721453747904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 25206784 140721453754778 140721453754855 140721453754855 140721453760459 0
/proc/121789/statm: 185512 142249 4352 2834 0 167717 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 742048 KiB
Current children cumulated memory: 568996 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.01 s]
# the end of solver process 121789 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.59 s, system=11.4361 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.01
CPU time (s): 3600.03
CPU user time (s): 3588.59
CPU system time (s): 11.4361
CPU usage (%): 99.6681
Max. virtual memory (cumulated for all children) (KiB): 742048
Max. memory (cumulated for all children) (KiB): 568996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.59
system time used= 11.4361
maximum resident set size= 569508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90682
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= 188
involuntary context switches= 22115
# summary of solver processes directly reported to runsolver:
# pid: 121789
# total CPU time (s): 3600.03
# total CPU user time (s): 3588.59
# total CPU system time (s): 11.4361
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41596 second user time and 15.4926 second system time
The end
Begin job on nodeC018 at 2025-07-11 20:49:25
IDJOB=4529064
IDBENCH=148775
IDSOLVER=3386
FILE ID=nodeC018/4529064-1752259765
RUNJOBID= nodeC018-1752256148-121308
SLURM_JOB_ID= 9682594
Free space on /tmp= 432528 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
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-4529064-1752259765/watcher-4529064-1752259765 -o /tmp/evaluation-result-4529064-1752259765/solver-4529064-1752259765 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752256148-121308 --watchdog 3760 mixed-bag HOME/instance-4529064-1752259765.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=943676559
nodeC018 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 : 3597.906
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.66
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.829
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.828
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.66
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 : 3631.176
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.66
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.848
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.833
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.66
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 : 3519.146
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.295
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128315988 kB
MemAvailable: 129280952 kB
Buffers: 2128 kB
Cached: 1726236 kB
SwapCached: 32 kB
Active: 975292 kB
Inactive: 1197380 kB
Active(anon): 462068 kB
Inactive(anon): 288 kB
Active(file): 513224 kB
Inactive(file): 1197092 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 59168 kB
Writeback: 0 kB
AnonPages: 447396 kB
Mapped: 138576 kB
Shmem: 18044 kB
KReclaimable: 187376 kB
Slab: 280984 kB
SReclaimable: 187376 kB
SUnreclaim: 93608 kB
KernelStack: 4288 kB
PageTables: 4160 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 855412 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432504 MiB
End job on nodeC018 at 2025-07-11 21:49:38