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.09 c [STEP] preprocessing with Papilo
0.08/0.12 c [STEP] solving with SCIP
299.20/300.18 c [STEP] preprocessing done, loading into solver
299.29/300.21 c [STEP] solving
299.29/300.21 c #variables 201 #constraints 17013
299.29/300.21 c SMALL=int, LARGE=long long
299.29/300.21 d SCIPUB -39
299.29/300.21 c bounds - >= -200 @ 299.157
299.29/300.21 c stratification level: 0
299.29/300.28 c bounds - >= -140 @ 299.159
299.29/300.28 c bounds - >= -139 @ 299.159
299.29/300.28 c bounds - >= -138 @ 299.159
299.29/300.28 c bounds - >= -137 @ 299.16
299.29/300.28 c bounds - >= -136 @ 299.16
299.29/300.28 c bounds - >= -135 @ 299.16
299.29/300.28 c bounds - >= -134 @ 299.16
299.29/300.28 c bounds - >= -133 @ 299.16
299.29/300.28 c bounds - >= -132 @ 299.16
299.29/300.28 c bounds - >= -131 @ 299.16
299.29/300.28 c bounds - >= -130 @ 299.16
299.29/300.28 c bounds - >= -129 @ 299.16
299.29/300.28 c bounds - >= -128 @ 299.161
299.29/300.28 c bounds - >= -127 @ 299.161
299.29/300.28 c bounds - >= -126 @ 299.161
299.29/300.28 c bounds - >= -125 @ 299.161
299.29/300.28 c #Conflicts: 1000 | #Constraints: 18097
299.29/300.28 c finalizing WCE round: reformulating cores
329.61/330.69 c bounds -51 >= -140 @ 299.228
329.61/330.69 c #Conflicts: 2000 | #Constraints: 19102
329.61/330.69 c INPROCESSING
329.61/330.69 c #Conflicts: 3000 | #Constraints: 19032
329.61/330.69 c bounds -51 >= -137 @ 299.401
329.61/330.69 c #Conflicts: 4000 | #Constraints: 20036
329.61/330.69 c INPROCESSING
329.61/330.69 c GARBAGE COLLECT
329.61/330.69 c #Conflicts: 5000 | #Constraints: 19379
329.61/330.69 c bounds -51 >= -135 @ 299.505
329.61/330.69 c #Conflicts: 6000 | #Constraints: 20384
329.61/330.69 c INPROCESSING
329.61/330.69 c GARBAGE COLLECT
329.61/330.69 c #Conflicts: 7000 | #Constraints: 19400
329.61/330.69 c #Conflicts: 8000 | #Constraints: 20402
329.61/330.69 c #Conflicts: 9000 | #Constraints: 21406
329.61/330.69 c INPROCESSING
329.61/330.69 c GARBAGE COLLECT
329.61/330.69 c #Conflicts: 10000 | #Constraints: 20157
329.61/330.69 c #Conflicts: 11000 | #Constraints: 21159
329.61/330.69 c #Conflicts: 12000 | #Constraints: 22161
329.61/330.69 c INPROCESSING
329.61/330.69 c GARBAGE COLLECT
329.61/330.69 c #Conflicts: 13000 | #Constraints: 20637
329.61/330.69 c #Conflicts: 14000 | #Constraints: 21639
329.61/330.69 c #Conflicts: 15000 | #Constraints: 22641
329.61/330.69 c INPROCESSING
329.61/330.69 c GARBAGE COLLECT
329.61/330.69 c #Conflicts: 16000 | #Constraints: 20888
329.61/330.69 c bounds -53 >= -122 @ 300.435
329.61/330.69 c bounds -53 >= -121 @ 300.436
329.61/330.69 c bounds -53 >= -120 @ 300.44
329.61/330.69 c #Conflicts: 17000 | #Constraints: 21950
329.61/330.69 c #Conflicts: 18000 | #Constraints: 22950
329.61/330.69 c bounds -53 >= -119 @ 300.592
329.61/330.69 c INPROCESSING
329.61/330.69 c GARBAGE COLLECT
329.61/330.69 c #Conflicts: 19000 | #Constraints: 20979
329.61/330.69 c #Conflicts: 20000 | #Constraints: 21979
329.61/330.69 c #Conflicts: 21000 | #Constraints: 22979
329.61/330.69 c INPROCESSING
329.61/330.69 c GARBAGE COLLECT
329.61/330.69 c #Conflicts: 22000 | #Constraints: 20783
329.61/330.69 c #Conflicts: 23000 | #Constraints: 21783
329.61/330.69 c #Conflicts: 24000 | #Constraints: 22783
329.61/330.69 c #Conflicts: 25000 | #Constraints: 23783
329.61/330.69 c INPROCESSING
329.61/330.69 c GARBAGE COLLECT
329.61/330.69 c #Conflicts: 26000 | #Constraints: 21385
329.61/330.69 c #Conflicts: 27000 | #Constraints: 22385
329.61/330.69 c #Conflicts: 28000 | #Constraints: 23385
329.61/330.69 c #Conflicts: 29000 | #Constraints: 24385
329.61/330.69 c INPROCESSING
329.61/330.69 c GARBAGE COLLECT
329.61/330.69 c #Conflicts: 30000 | #Constraints: 21781
329.61/330.69 c #Conflicts: 31000 | #Constraints: 22781
329.61/330.69 c #Conflicts: 32000 | #Constraints: 23781
329.61/330.69 c #Conflicts: 33000 | #Constraints: 24781
329.61/330.69 c #Conflicts: 34000 | #Constraints: 25781
329.61/330.69 c #Conflicts: 35000 | #Constraints: 26781
329.61/330.69 c #Conflicts: 36000 | #Constraints: 27781
329.61/330.69 c #Conflicts: 37000 | #Constraints: 28781
329.61/330.69 c #Conflicts: 38000 | #Constraints: 29781
329.61/330.69 c #Conflicts: 39000 | #Constraints: 30781
329.61/330.69 c #Conflicts: 40000 | #Constraints: 31781
329.61/330.69 c #Conflicts: 41000 | #Constraints: 32781
329.61/330.69 c #Conflicts: 42000 | #Constraints: 33781
329.61/330.69 c INPROCESSING
329.61/330.69 c GARBAGE COLLECT
329.61/330.69 c #Conflicts: 43000 | #Constraints: 26042
329.61/330.69 c #Conflicts: 44000 | #Constraints: 27042
329.61/330.69 c #Conflicts: 45000 | #Constraints: 28042
329.61/330.69 c #Conflicts: 46000 | #Constraints: 29042
329.61/330.69 c #Conflicts: 47000 | #Constraints: 30042
329.61/330.69 c #Conflicts: 48000 | #Constraints: 31042
329.61/330.69 c INPROCESSING
329.61/330.69 c GARBAGE COLLECT
329.61/330.69 c #Conflicts: 49000 | #Constraints: 25124
329.61/330.69 c #Conflicts: 50000 | #Constraints: 26124
329.61/330.69 c #Conflicts: 51000 | #Constraints: 27124
329.61/330.69 c #Conflicts: 52000 | #Constraints: 28124
329.61/330.69 c #Conflicts: 53000 | #Constraints: 29124
329.61/330.69 c INPROCESSING
329.61/330.69 c GARBAGE COLLECT
329.61/330.69 c #Conflicts: 54000 | #Constraints: 24003
329.61/330.69 c #Conflicts: 55000 | #Constraints: 25003
329.61/330.69 c #Conflicts: 56000 | #Constraints: 26003
329.61/330.69 c #Conflicts: 57000 | #Constraints: 27003
329.61/330.69 c #Conflicts: 58000 | #Constraints: 28003
329.61/330.69 c #Conflicts: 59000 | #Constraints: 29003
329.61/330.69 c #Conflicts: 60000 | #Constraints: 30003
329.61/330.69 c #Conflicts: 61000 | #Constraints: 31003
329.61/330.69 c #Conflicts: 62000 | #Constraints: 32003
329.61/330.69 c #Conflicts: 63000 | #Constraints: 33003
329.61/330.69 c #Conflicts: 64000 | #Constraints: 34003
329.61/330.69 c #Conflicts: 65000 | #Constraints: 35003
329.61/330.69 c #Conflicts: 66000 | #Constraints: 36003
329.61/330.69 c #Conflicts: 67000 | #Constraints: 37003
329.61/330.69 c #Conflicts: 68000 | #Constraints: 38003
403.11/404.30 c #Conflicts: 69000 | #Constraints: 39003
403.11/404.30 c #Conflicts: 70000 | #Constraints: 40003
403.11/404.30 c #Conflicts: 71000 | #Constraints: 41003
403.11/404.30 c INPROCESSING
403.11/404.30 c GARBAGE COLLECT
403.11/404.30 c #Conflicts: 72000 | #Constraints: 29898
403.11/404.30 c #Conflicts: 73000 | #Constraints: 30898
403.11/404.30 c #Conflicts: 74000 | #Constraints: 31898
403.11/404.30 c #Conflicts: 75000 | #Constraints: 32898
403.11/404.30 c #Conflicts: 76000 | #Constraints: 33898
403.11/404.30 c #Conflicts: 77000 | #Constraints: 34898
403.11/404.30 c #Conflicts: 78000 | #Constraints: 35898
403.11/404.30 c INPROCESSING
403.11/404.30 c GARBAGE COLLECT
403.11/404.30 c #Conflicts: 79000 | #Constraints: 27555
403.11/404.30 c #Conflicts: 80000 | #Constraints: 28555
403.11/404.30 c #Conflicts: 81000 | #Constraints: 29555
403.11/404.30 c #Conflicts: 82000 | #Constraints: 30555
403.11/404.30 c #Conflicts: 83000 | #Constraints: 31555
403.11/404.30 c #Conflicts: 84000 | #Constraints: 32555
403.11/404.30 c INPROCESSING
403.11/404.30 c GARBAGE COLLECT
403.11/404.30 c #Conflicts: 85000 | #Constraints: 25476
403.11/404.30 c #Conflicts: 86000 | #Constraints: 26476
403.11/404.30 c #Conflicts: 87000 | #Constraints: 27476
403.11/404.30 c #Conflicts: 88000 | #Constraints: 28476
403.11/404.30 c #Conflicts: 89000 | #Constraints: 29476
403.11/404.30 c #Conflicts: 90000 | #Constraints: 30476
403.11/404.30 c #Conflicts: 91000 | #Constraints: 31476
403.11/404.30 c #Conflicts: 92000 | #Constraints: 32476
403.11/404.30 c #Conflicts: 93000 | #Constraints: 33476
403.11/404.30 c #Conflicts: 94000 | #Constraints: 34476
403.11/404.30 c #Conflicts: 95000 | #Constraints: 35476
403.11/404.30 c #Conflicts: 96000 | #Constraints: 36476
403.11/404.30 c #Conflicts: 97000 | #Constraints: 37476
403.11/404.30 c #Conflicts: 98000 | #Constraints: 38476
403.11/404.30 c #Conflicts: 99000 | #Constraints: 39476
403.11/404.30 c #Conflicts: 100000 | #Constraints: 40476
403.11/404.30 c #Conflicts: 101000 | #Constraints: 41476
403.11/404.30 c #Conflicts: 102000 | #Constraints: 42476
403.11/404.30 c #Conflicts: 103000 | #Constraints: 43476
403.11/404.30 c #Conflicts: 104000 | #Constraints: 44476
403.11/404.30 c #Conflicts: 105000 | #Constraints: 45476
403.11/404.30 c #Conflicts: 106000 | #Constraints: 46476
403.11/404.30 c #Conflicts: 107000 | #Constraints: 47476
403.11/404.30 c INPROCESSING
403.11/404.30 c GARBAGE COLLECT
403.11/404.30 c #Conflicts: 108000 | #Constraints: 33293
403.11/404.30 c #Conflicts: 109000 | #Constraints: 34293
403.11/404.30 c #Conflicts: 110000 | #Constraints: 35293
403.11/404.30 c #Conflicts: 111000 | #Constraints: 36293
403.11/404.30 c #Conflicts: 112000 | #Constraints: 37293
403.11/404.30 c #Conflicts: 113000 | #Constraints: 38293
403.11/404.30 c #Conflicts: 114000 | #Constraints: 39293
403.11/404.30 c bounds -53 >= -118 @ 378.378
403.11/404.30 c #Conflicts: 115000 | #Constraints: 40324
403.11/404.30 c INPROCESSING
403.11/404.30 c GARBAGE COLLECT
403.11/404.30 c #Conflicts: 116000 | #Constraints: 29653
403.11/404.30 c #Conflicts: 117000 | #Constraints: 30653
403.11/404.30 c #Conflicts: 118000 | #Constraints: 31653
403.11/404.30 c #Conflicts: 119000 | #Constraints: 32653
403.11/404.30 c #Conflicts: 120000 | #Constraints: 33653
403.11/404.30 c #Conflicts: 121000 | #Constraints: 34653
403.11/404.30 c #Conflicts: 122000 | #Constraints: 35653
403.11/404.30 c #Conflicts: 123000 | #Constraints: 36653
403.11/404.30 c INPROCESSING
403.11/404.30 c GARBAGE COLLECT
403.11/404.30 c #Conflicts: 124000 | #Constraints: 27683
403.11/404.30 c #Conflicts: 125000 | #Constraints: 28683
403.11/404.30 c #Conflicts: 126000 | #Constraints: 29683
403.11/404.30 c #Conflicts: 127000 | #Constraints: 30683
403.11/404.30 c #Conflicts: 128000 | #Constraints: 31683
403.11/404.30 c #Conflicts: 129000 | #Constraints: 32683
403.11/404.30 c #Conflicts: 130000 | #Constraints: 33683
403.11/404.30 c #Conflicts: 131000 | #Constraints: 34683
403.11/404.30 c #Conflicts: 132000 | #Constraints: 35683
403.11/404.30 c #Conflicts: 133000 | #Constraints: 36683
403.11/404.30 c #Conflicts: 134000 | #Constraints: 37683
403.11/404.30 c #Conflicts: 135000 | #Constraints: 38683
403.11/404.30 c #Conflicts: 136000 | #Constraints: 39683
403.11/404.30 c #Conflicts: 137000 | #Constraints: 40683
403.11/404.30 c #Conflicts: 138000 | #Constraints: 41683
403.11/404.30 c #Conflicts: 139000 | #Constraints: 42683
403.11/404.30 c #Conflicts: 140000 | #Constraints: 43683
403.11/404.30 c #Conflicts: 141000 | #Constraints: 44683
403.11/404.30 c #Conflicts: 142000 | #Constraints: 45683
403.11/404.30 c #Conflicts: 143000 | #Constraints: 46683
511.81/513.36 c #Conflicts: 144000 | #Constraints: 47683
511.81/513.36 c #Conflicts: 145000 | #Constraints: 48683
511.81/513.36 c #Conflicts: 146000 | #Constraints: 49683
511.81/513.36 c #Conflicts: 147000 | #Constraints: 50683
511.81/513.36 c #Conflicts: 148000 | #Constraints: 51683
511.81/513.36 c #Conflicts: 149000 | #Constraints: 52683
511.81/513.36 c #Conflicts: 150000 | #Constraints: 53683
511.81/513.36 c INPROCESSING
511.81/513.36 c GARBAGE COLLECT
511.81/513.36 c #Conflicts: 151000 | #Constraints: 36445
511.81/513.36 c #Conflicts: 152000 | #Constraints: 37445
511.81/513.36 c #Conflicts: 153000 | #Constraints: 38445
511.81/513.36 c #Conflicts: 154000 | #Constraints: 39445
511.81/513.36 c #Conflicts: 155000 | #Constraints: 40445
511.81/513.36 c #Conflicts: 156000 | #Constraints: 41445
511.81/513.36 c #Conflicts: 157000 | #Constraints: 42445
511.81/513.36 c #Conflicts: 158000 | #Constraints: 43445
511.81/513.36 c #Conflicts: 159000 | #Constraints: 44445
511.81/513.36 c INPROCESSING
511.81/513.36 c GARBAGE COLLECT
511.81/513.36 c #Conflicts: 160000 | #Constraints: 31527
511.81/513.36 c #Conflicts: 161000 | #Constraints: 32527
511.81/513.36 c #Conflicts: 162000 | #Constraints: 33527
511.81/513.36 c #Conflicts: 163000 | #Constraints: 34527
511.81/513.36 c #Conflicts: 164000 | #Constraints: 35527
511.81/513.36 c #Conflicts: 165000 | #Constraints: 36527
511.81/513.36 c #Conflicts: 166000 | #Constraints: 37527
511.81/513.36 c #Conflicts: 167000 | #Constraints: 38527
511.81/513.36 c #Conflicts: 168000 | #Constraints: 39527
511.81/513.36 c #Conflicts: 169000 | #Constraints: 40527
511.81/513.36 c #Conflicts: 170000 | #Constraints: 41527
511.81/513.36 c #Conflicts: 171000 | #Constraints: 42527
511.81/513.36 c #Conflicts: 172000 | #Constraints: 43527
511.81/513.36 c #Conflicts: 173000 | #Constraints: 44527
511.81/513.36 c #Conflicts: 174000 | #Constraints: 45527
511.81/513.36 c #Conflicts: 175000 | #Constraints: 46527
511.81/513.36 c #Conflicts: 176000 | #Constraints: 47527
511.81/513.36 c #Conflicts: 177000 | #Constraints: 48527
511.81/513.36 c #Conflicts: 178000 | #Constraints: 49527
511.81/513.36 c #Conflicts: 179000 | #Constraints: 50527
511.81/513.36 c #Conflicts: 180000 | #Constraints: 51527
511.81/513.36 c #Conflicts: 181000 | #Constraints: 52527
511.81/513.36 c #Conflicts: 182000 | #Constraints: 53527
511.81/513.36 c #Conflicts: 183000 | #Constraints: 54527
511.81/513.36 c #Conflicts: 184000 | #Constraints: 55527
511.81/513.36 c #Conflicts: 185000 | #Constraints: 56527
511.81/513.36 c #Conflicts: 186000 | #Constraints: 57527
511.81/513.36 c #Conflicts: 187000 | #Constraints: 58527
511.81/513.36 c #Conflicts: 188000 | #Constraints: 59527
511.81/513.36 c #Conflicts: 189000 | #Constraints: 60527
511.81/513.36 c INPROCESSING
511.81/513.36 c GARBAGE COLLECT
511.81/513.36 c #Conflicts: 190000 | #Constraints: 39776
511.81/513.36 c #Conflicts: 191000 | #Constraints: 40776
511.81/513.36 c #Conflicts: 192000 | #Constraints: 41776
511.81/513.36 c #Conflicts: 193000 | #Constraints: 42776
511.81/513.36 c #Conflicts: 194000 | #Constraints: 43776
511.81/513.36 c #Conflicts: 195000 | #Constraints: 44776
511.81/513.36 c #Conflicts: 196000 | #Constraints: 45776
511.81/513.36 c #Conflicts: 197000 | #Constraints: 46776
511.81/513.36 c #Conflicts: 198000 | #Constraints: 47776
511.81/513.36 c #Conflicts: 199000 | #Constraints: 48776
511.81/513.36 c #Conflicts: 200000 | #Constraints: 49776
511.81/513.36 c INPROCESSING
511.81/513.36 c GARBAGE COLLECT
511.81/513.36 c #Conflicts: 201000 | #Constraints: 34703
511.81/513.36 c #Conflicts: 202000 | #Constraints: 35703
511.81/513.36 c #Conflicts: 203000 | #Constraints: 36703
511.81/513.36 c #Conflicts: 204000 | #Constraints: 37703
511.81/513.36 c #Conflicts: 205000 | #Constraints: 38703
511.81/513.36 c #Conflicts: 206000 | #Constraints: 39703
511.81/513.36 c #Conflicts: 207000 | #Constraints: 40703
511.81/513.36 c #Conflicts: 208000 | #Constraints: 41703
511.81/513.36 c #Conflicts: 209000 | #Constraints: 42703
511.81/513.36 c #Conflicts: 210000 | #Constraints: 43703
511.81/513.36 c #Conflicts: 211000 | #Constraints: 44703
511.81/513.36 c #Conflicts: 212000 | #Constraints: 45703
511.81/513.36 c #Conflicts: 213000 | #Constraints: 46703
511.81/513.36 c #Conflicts: 214000 | #Constraints: 47703
511.81/513.36 c #Conflicts: 215000 | #Constraints: 48703
511.81/513.36 c #Conflicts: 216000 | #Constraints: 49703
511.81/513.36 c #Conflicts: 217000 | #Constraints: 50703
511.81/513.36 c #Conflicts: 218000 | #Constraints: 51703
511.81/513.36 c #Conflicts: 219000 | #Constraints: 52703
687.50/689.56 c #Conflicts: 220000 | #Constraints: 53703
687.50/689.56 c #Conflicts: 221000 | #Constraints: 54703
687.50/689.56 c #Conflicts: 222000 | #Constraints: 55703
687.50/689.56 c #Conflicts: 223000 | #Constraints: 56703
687.50/689.56 c #Conflicts: 224000 | #Constraints: 57703
687.50/689.56 c #Conflicts: 225000 | #Constraints: 58703
687.50/689.56 c #Conflicts: 226000 | #Constraints: 59703
687.50/689.56 c #Conflicts: 227000 | #Constraints: 60703
687.50/689.56 c #Conflicts: 228000 | #Constraints: 61703
687.50/689.56 c #Conflicts: 229000 | #Constraints: 62703
687.50/689.56 c #Conflicts: 230000 | #Constraints: 63703
687.50/689.56 c #Conflicts: 231000 | #Constraints: 64703
687.50/689.56 c #Conflicts: 232000 | #Constraints: 65703
687.50/689.56 c INPROCESSING
687.50/689.56 c GARBAGE COLLECT
687.50/689.56 c #Conflicts: 233000 | #Constraints: 42063
687.50/689.56 c #Conflicts: 234000 | #Constraints: 43063
687.50/689.56 c #Conflicts: 235000 | #Constraints: 44063
687.50/689.56 c #Conflicts: 236000 | #Constraints: 45063
687.50/689.56 c #Conflicts: 237000 | #Constraints: 46063
687.50/689.56 c #Conflicts: 238000 | #Constraints: 47063
687.50/689.56 c #Conflicts: 239000 | #Constraints: 48063
687.50/689.56 c #Conflicts: 240000 | #Constraints: 49063
687.50/689.56 c #Conflicts: 241000 | #Constraints: 50063
687.50/689.56 c #Conflicts: 242000 | #Constraints: 51063
687.50/689.56 c #Conflicts: 243000 | #Constraints: 52063
687.50/689.56 c #Conflicts: 244000 | #Constraints: 53063
687.50/689.56 c #Conflicts: 245000 | #Constraints: 54063
687.50/689.56 c INPROCESSING
687.50/689.56 c GARBAGE COLLECT
687.50/689.56 c #Conflicts: 246000 | #Constraints: 38432
687.50/689.56 c #Conflicts: 247000 | #Constraints: 39432
687.50/689.56 c #Conflicts: 248000 | #Constraints: 40432
687.50/689.56 c #Conflicts: 249000 | #Constraints: 41432
687.50/689.56 c #Conflicts: 250000 | #Constraints: 42432
687.50/689.56 c #Conflicts: 251000 | #Constraints: 43432
687.50/689.56 c #Conflicts: 252000 | #Constraints: 44432
687.50/689.56 c #Conflicts: 253000 | #Constraints: 45432
687.50/689.56 c #Conflicts: 254000 | #Constraints: 46432
687.50/689.56 c #Conflicts: 255000 | #Constraints: 47432
687.50/689.56 c #Conflicts: 256000 | #Constraints: 48432
687.50/689.56 c #Conflicts: 257000 | #Constraints: 49432
687.50/689.56 c #Conflicts: 258000 | #Constraints: 50432
687.50/689.56 c #Conflicts: 259000 | #Constraints: 51432
687.50/689.56 c #Conflicts: 260000 | #Constraints: 52432
687.50/689.56 c #Conflicts: 261000 | #Constraints: 53432
687.50/689.56 c #Conflicts: 262000 | #Constraints: 54432
687.50/689.56 c #Conflicts: 263000 | #Constraints: 55432
687.50/689.56 c #Conflicts: 264000 | #Constraints: 56432
687.50/689.56 c #Conflicts: 265000 | #Constraints: 57432
687.50/689.56 c #Conflicts: 266000 | #Constraints: 58432
687.50/689.56 c #Conflicts: 267000 | #Constraints: 59432
687.50/689.56 c #Conflicts: 268000 | #Constraints: 60432
687.50/689.56 c #Conflicts: 269000 | #Constraints: 61432
687.50/689.56 c #Conflicts: 270000 | #Constraints: 62432
687.50/689.56 c #Conflicts: 271000 | #Constraints: 63432
687.50/689.56 c #Conflicts: 272000 | #Constraints: 64432
687.50/689.56 c #Conflicts: 273000 | #Constraints: 65432
687.50/689.56 c #Conflicts: 274000 | #Constraints: 66432
687.50/689.56 c #Conflicts: 275000 | #Constraints: 67432
687.50/689.56 c #Conflicts: 276000 | #Constraints: 68432
687.50/689.56 c #Conflicts: 277000 | #Constraints: 69432
687.50/689.56 c #Conflicts: 278000 | #Constraints: 70432
687.50/689.56 c #Conflicts: 279000 | #Constraints: 71432
687.50/689.56 c #Conflicts: 280000 | #Constraints: 72432
687.50/689.56 c INPROCESSING
687.50/689.56 c GARBAGE COLLECT
687.50/689.56 c #Conflicts: 281000 | #Constraints: 45418
687.50/689.56 c #Conflicts: 282000 | #Constraints: 46418
687.50/689.56 c #Conflicts: 283000 | #Constraints: 47418
687.50/689.56 c #Conflicts: 284000 | #Constraints: 48418
687.50/689.56 c #Conflicts: 285000 | #Constraints: 49418
687.50/689.56 c #Conflicts: 286000 | #Constraints: 50418
687.50/689.56 c #Conflicts: 287000 | #Constraints: 51418
687.50/689.56 c #Conflicts: 288000 | #Constraints: 52418
687.50/689.56 c #Conflicts: 289000 | #Constraints: 53418
687.50/689.56 c #Conflicts: 290000 | #Constraints: 54418
687.50/689.56 c #Conflicts: 291000 | #Constraints: 55418
687.50/689.56 c #Conflicts: 292000 | #Constraints: 56418
687.50/689.56 c #Conflicts: 293000 | #Constraints: 57418
687.50/689.56 c #Conflicts: 294000 | #Constraints: 58418
687.50/689.56 c INPROCESSING
687.50/689.56 c GARBAGE COLLECT
687.50/689.56 c #Conflicts: 295000 | #Constraints: 41844
928.47/931.20 c #Conflicts: 296000 | #Constraints: 42844
928.47/931.20 c #Conflicts: 297000 | #Constraints: 43844
928.47/931.20 c #Conflicts: 298000 | #Constraints: 44844
928.47/931.20 c #Conflicts: 299000 | #Constraints: 45844
928.47/931.20 c #Conflicts: 300000 | #Constraints: 46844
928.47/931.20 c #Conflicts: 301000 | #Constraints: 47844
928.47/931.20 c #Conflicts: 302000 | #Constraints: 48844
928.47/931.20 c #Conflicts: 303000 | #Constraints: 49844
928.47/931.20 c #Conflicts: 304000 | #Constraints: 50844
928.47/931.20 c #Conflicts: 305000 | #Constraints: 51844
928.47/931.20 c #Conflicts: 306000 | #Constraints: 52844
928.47/931.20 c #Conflicts: 307000 | #Constraints: 53844
928.47/931.20 c #Conflicts: 308000 | #Constraints: 54844
928.47/931.20 c #Conflicts: 309000 | #Constraints: 55844
928.47/931.20 c #Conflicts: 310000 | #Constraints: 56844
928.47/931.20 c #Conflicts: 311000 | #Constraints: 57844
928.47/931.20 c #Conflicts: 312000 | #Constraints: 58844
928.47/931.20 c #Conflicts: 313000 | #Constraints: 59844
928.47/931.20 c #Conflicts: 314000 | #Constraints: 60844
928.47/931.20 c #Conflicts: 315000 | #Constraints: 61844
928.47/931.20 c #Conflicts: 316000 | #Constraints: 62844
928.47/931.20 c #Conflicts: 317000 | #Constraints: 63844
928.47/931.20 c #Conflicts: 318000 | #Constraints: 64844
928.47/931.20 c #Conflicts: 319000 | #Constraints: 65844
928.47/931.20 c #Conflicts: 320000 | #Constraints: 66844
928.47/931.20 c #Conflicts: 321000 | #Constraints: 67844
928.47/931.20 c #Conflicts: 322000 | #Constraints: 68844
928.47/931.20 c #Conflicts: 323000 | #Constraints: 69844
928.47/931.20 c #Conflicts: 324000 | #Constraints: 70844
928.47/931.20 c #Conflicts: 325000 | #Constraints: 71844
928.47/931.20 c #Conflicts: 326000 | #Constraints: 72844
928.47/931.20 c #Conflicts: 327000 | #Constraints: 73844
928.47/931.20 c #Conflicts: 328000 | #Constraints: 74844
928.47/931.20 c #Conflicts: 329000 | #Constraints: 75844
928.47/931.20 c #Conflicts: 330000 | #Constraints: 76844
928.47/931.20 c #Conflicts: 331000 | #Constraints: 77844
928.47/931.20 c #Conflicts: 332000 | #Constraints: 78844
928.47/931.20 c #Conflicts: 333000 | #Constraints: 79844
928.47/931.20 c INPROCESSING
928.47/931.20 c GARBAGE COLLECT
928.47/931.20 c #Conflicts: 334000 | #Constraints: 49432
928.47/931.20 c #Conflicts: 335000 | #Constraints: 50432
928.47/931.20 c #Conflicts: 336000 | #Constraints: 51432
928.47/931.20 c #Conflicts: 337000 | #Constraints: 52432
928.47/931.20 c #Conflicts: 338000 | #Constraints: 53432
928.47/931.20 c #Conflicts: 339000 | #Constraints: 54432
928.47/931.20 c #Conflicts: 340000 | #Constraints: 55432
928.47/931.20 c #Conflicts: 341000 | #Constraints: 56432
928.47/931.20 c #Conflicts: 342000 | #Constraints: 57432
928.47/931.20 c #Conflicts: 343000 | #Constraints: 58432
928.47/931.20 c #Conflicts: 344000 | #Constraints: 59432
928.47/931.20 c #Conflicts: 345000 | #Constraints: 60432
928.47/931.20 c #Conflicts: 346000 | #Constraints: 61432
928.47/931.20 c #Conflicts: 347000 | #Constraints: 62432
928.47/931.20 c #Conflicts: 348000 | #Constraints: 63432
928.47/931.20 c INPROCESSING
928.47/931.20 c GARBAGE COLLECT
928.47/931.20 c #Conflicts: 349000 | #Constraints: 46178
928.47/931.20 c #Conflicts: 350000 | #Constraints: 47178
928.47/931.20 c #Conflicts: 351000 | #Constraints: 48178
928.47/931.20 c #Conflicts: 352000 | #Constraints: 49178
928.47/931.20 c #Conflicts: 353000 | #Constraints: 50178
928.47/931.20 c #Conflicts: 354000 | #Constraints: 51178
928.47/931.20 c #Conflicts: 355000 | #Constraints: 52178
928.47/931.20 c #Conflicts: 356000 | #Constraints: 53178
928.47/931.20 c #Conflicts: 357000 | #Constraints: 54178
928.47/931.20 c #Conflicts: 358000 | #Constraints: 55178
928.47/931.20 c #Conflicts: 359000 | #Constraints: 56178
928.47/931.20 c #Conflicts: 360000 | #Constraints: 57178
928.47/931.20 c #Conflicts: 361000 | #Constraints: 58178
928.47/931.20 c #Conflicts: 362000 | #Constraints: 59178
928.47/931.20 c #Conflicts: 363000 | #Constraints: 60178
928.47/931.20 c #Conflicts: 364000 | #Constraints: 61178
928.47/931.20 c #Conflicts: 365000 | #Constraints: 62178
928.47/931.20 c #Conflicts: 366000 | #Constraints: 63178
928.47/931.20 c #Conflicts: 367000 | #Constraints: 64178
928.47/931.20 c #Conflicts: 368000 | #Constraints: 65178
928.47/931.20 c #Conflicts: 369000 | #Constraints: 66178
928.47/931.20 c #Conflicts: 370000 | #Constraints: 67178
928.47/931.20 c #Conflicts: 371000 | #Constraints: 68178
928.47/931.20 c #Conflicts: 372000 | #Constraints: 69178
928.47/931.20 c #Conflicts: 373000 | #Constraints: 70178
1264.41/1268.22 c #Conflicts: 374000 | #Constraints: 71178
1264.41/1268.22 c #Conflicts: 375000 | #Constraints: 72178
1264.41/1268.22 c #Conflicts: 376000 | #Constraints: 73178
1264.41/1268.22 c #Conflicts: 377000 | #Constraints: 74178
1264.41/1268.22 c #Conflicts: 378000 | #Constraints: 75178
1264.41/1268.22 c #Conflicts: 379000 | #Constraints: 76178
1264.41/1268.22 c #Conflicts: 380000 | #Constraints: 77178
1264.41/1268.22 c #Conflicts: 381000 | #Constraints: 78178
1264.41/1268.22 c #Conflicts: 382000 | #Constraints: 79178
1264.41/1268.22 c #Conflicts: 383000 | #Constraints: 80178
1264.41/1268.22 c #Conflicts: 384000 | #Constraints: 81178
1264.41/1268.22 c #Conflicts: 385000 | #Constraints: 82178
1264.41/1268.22 c #Conflicts: 386000 | #Constraints: 83178
1264.41/1268.22 c #Conflicts: 387000 | #Constraints: 84178
1264.41/1268.22 c #Conflicts: 388000 | #Constraints: 85178
1264.41/1268.22 c #Conflicts: 389000 | #Constraints: 86178
1264.41/1268.22 c #Conflicts: 390000 | #Constraints: 87178
1264.41/1268.22 c INPROCESSING
1264.41/1268.22 c GARBAGE COLLECT
1264.41/1268.22 c #Conflicts: 391000 | #Constraints: 53195
1264.41/1268.22 c #Conflicts: 392000 | #Constraints: 54195
1264.41/1268.22 c #Conflicts: 393000 | #Constraints: 55195
1264.41/1268.22 c #Conflicts: 394000 | #Constraints: 56195
1264.41/1268.22 c #Conflicts: 395000 | #Constraints: 57195
1264.41/1268.22 c #Conflicts: 396000 | #Constraints: 58195
1264.41/1268.22 c #Conflicts: 397000 | #Constraints: 59195
1264.41/1268.22 c #Conflicts: 398000 | #Constraints: 60195
1264.41/1268.22 c #Conflicts: 399000 | #Constraints: 61195
1264.41/1268.22 c #Conflicts: 400000 | #Constraints: 62195
1264.41/1268.22 c #Conflicts: 401000 | #Constraints: 63195
1264.41/1268.22 c #Conflicts: 402000 | #Constraints: 64195
1264.41/1268.22 c #Conflicts: 403000 | #Constraints: 65195
1264.41/1268.22 c #Conflicts: 404000 | #Constraints: 66195
1264.41/1268.22 c #Conflicts: 405000 | #Constraints: 67195
1264.41/1268.22 c #Conflicts: 406000 | #Constraints: 68195
1264.41/1268.22 c INPROCESSING
1264.41/1268.22 c GARBAGE COLLECT
1264.41/1268.22 c #Conflicts: 407000 | #Constraints: 49914
1264.41/1268.22 c #Conflicts: 408000 | #Constraints: 50914
1264.41/1268.22 c #Conflicts: 409000 | #Constraints: 51914
1264.41/1268.22 c #Conflicts: 410000 | #Constraints: 52914
1264.41/1268.22 c #Conflicts: 411000 | #Constraints: 53914
1264.41/1268.22 c #Conflicts: 412000 | #Constraints: 54914
1264.41/1268.22 c #Conflicts: 413000 | #Constraints: 55914
1264.41/1268.22 c #Conflicts: 414000 | #Constraints: 56914
1264.41/1268.22 c #Conflicts: 415000 | #Constraints: 57914
1264.41/1268.22 c #Conflicts: 416000 | #Constraints: 58914
1264.41/1268.22 c #Conflicts: 417000 | #Constraints: 59914
1264.41/1268.22 c #Conflicts: 418000 | #Constraints: 60914
1264.41/1268.22 c #Conflicts: 419000 | #Constraints: 61914
1264.41/1268.22 c #Conflicts: 420000 | #Constraints: 62914
1264.41/1268.22 c #Conflicts: 421000 | #Constraints: 63914
1264.41/1268.22 c #Conflicts: 422000 | #Constraints: 64914
1264.41/1268.22 c #Conflicts: 423000 | #Constraints: 65914
1264.41/1268.22 c #Conflicts: 424000 | #Constraints: 66914
1264.41/1268.22 c #Conflicts: 425000 | #Constraints: 67914
1264.41/1268.22 c #Conflicts: 426000 | #Constraints: 68914
1264.41/1268.22 c #Conflicts: 427000 | #Constraints: 69914
1264.41/1268.22 c #Conflicts: 428000 | #Constraints: 70914
1264.41/1268.22 c #Conflicts: 429000 | #Constraints: 71914
1264.41/1268.22 c #Conflicts: 430000 | #Constraints: 72914
1264.41/1268.22 c #Conflicts: 431000 | #Constraints: 73914
1264.41/1268.22 c #Conflicts: 432000 | #Constraints: 74914
1264.41/1268.22 c #Conflicts: 433000 | #Constraints: 75914
1264.41/1268.22 c #Conflicts: 434000 | #Constraints: 76914
1264.41/1268.22 c #Conflicts: 435000 | #Constraints: 77914
1264.41/1268.22 c #Conflicts: 436000 | #Constraints: 78914
1264.41/1268.22 c #Conflicts: 437000 | #Constraints: 79914
1264.41/1268.22 c #Conflicts: 438000 | #Constraints: 80914
1264.41/1268.22 c #Conflicts: 439000 | #Constraints: 81914
1264.41/1268.22 c #Conflicts: 440000 | #Constraints: 82914
1264.41/1268.22 c #Conflicts: 441000 | #Constraints: 83914
1264.41/1268.22 c #Conflicts: 442000 | #Constraints: 84914
1264.41/1268.22 c #Conflicts: 443000 | #Constraints: 85914
1264.41/1268.22 c #Conflicts: 444000 | #Constraints: 86914
1264.41/1268.22 c #Conflicts: 445000 | #Constraints: 87914
1264.41/1268.22 c #Conflicts: 446000 | #Constraints: 88914
1264.41/1268.22 c #Conflicts: 447000 | #Constraints: 89914
1264.41/1268.22 c #Conflicts: 448000 | #Constraints: 90914
1264.41/1268.22 c #Conflicts: 449000 | #Constraints: 91914
1264.41/1268.22 c #Conflicts: 450000 | #Constraints: 92914
1659.31/1664.40 c #Conflicts: 451000 | #Constraints: 93914
1659.31/1664.40 c INPROCESSING
1659.31/1664.40 c GARBAGE COLLECT
1659.31/1664.40 c #Conflicts: 452000 | #Constraints: 56472
1659.31/1664.40 c #Conflicts: 453000 | #Constraints: 57472
1659.31/1664.40 c #Conflicts: 454000 | #Constraints: 58472
1659.31/1664.40 c #Conflicts: 455000 | #Constraints: 59472
1659.31/1664.40 c #Conflicts: 456000 | #Constraints: 60472
1659.31/1664.40 c #Conflicts: 457000 | #Constraints: 61472
1659.31/1664.40 c #Conflicts: 458000 | #Constraints: 62472
1659.31/1664.40 c #Conflicts: 459000 | #Constraints: 63472
1659.31/1664.40 c #Conflicts: 460000 | #Constraints: 64472
1659.31/1664.40 c #Conflicts: 461000 | #Constraints: 65472
1659.31/1664.40 c #Conflicts: 462000 | #Constraints: 66472
1659.31/1664.40 c #Conflicts: 463000 | #Constraints: 67472
1659.31/1664.40 c #Conflicts: 464000 | #Constraints: 68472
1659.31/1664.40 c #Conflicts: 465000 | #Constraints: 69472
1659.31/1664.40 c #Conflicts: 466000 | #Constraints: 70472
1659.31/1664.40 c #Conflicts: 467000 | #Constraints: 71472
1659.31/1664.40 c #Conflicts: 468000 | #Constraints: 72472
1659.31/1664.40 c INPROCESSING
1659.31/1664.40 c GARBAGE COLLECT
1659.31/1664.40 c #Conflicts: 469000 | #Constraints: 53300
1659.31/1664.40 c #Conflicts: 470000 | #Constraints: 54300
1659.31/1664.40 c #Conflicts: 471000 | #Constraints: 55300
1659.31/1664.40 c #Conflicts: 472000 | #Constraints: 56300
1659.31/1664.40 c #Conflicts: 473000 | #Constraints: 57300
1659.31/1664.40 c #Conflicts: 474000 | #Constraints: 58300
1659.31/1664.40 c #Conflicts: 475000 | #Constraints: 59300
1659.31/1664.40 c #Conflicts: 476000 | #Constraints: 60300
1659.31/1664.40 c #Conflicts: 477000 | #Constraints: 61300
1659.31/1664.40 c #Conflicts: 478000 | #Constraints: 62300
1659.31/1664.40 c #Conflicts: 479000 | #Constraints: 63300
1659.31/1664.40 c #Conflicts: 480000 | #Constraints: 64300
1659.31/1664.40 c #Conflicts: 481000 | #Constraints: 65300
1659.31/1664.40 c #Conflicts: 482000 | #Constraints: 66300
1659.31/1664.40 c #Conflicts: 483000 | #Constraints: 67300
1659.31/1664.40 c #Conflicts: 484000 | #Constraints: 68300
1659.31/1664.40 c #Conflicts: 485000 | #Constraints: 69300
1659.31/1664.40 c #Conflicts: 486000 | #Constraints: 70300
1659.31/1664.40 c #Conflicts: 487000 | #Constraints: 71300
1659.31/1664.40 c #Conflicts: 488000 | #Constraints: 72300
1659.31/1664.40 c #Conflicts: 489000 | #Constraints: 73300
1659.31/1664.40 c #Conflicts: 490000 | #Constraints: 74300
1659.31/1664.40 c #Conflicts: 491000 | #Constraints: 75300
1659.31/1664.40 c #Conflicts: 492000 | #Constraints: 76300
1659.31/1664.40 c #Conflicts: 493000 | #Constraints: 77300
1659.31/1664.40 c #Conflicts: 494000 | #Constraints: 78300
1659.31/1664.40 c #Conflicts: 495000 | #Constraints: 79300
1659.31/1664.40 c #Conflicts: 496000 | #Constraints: 80300
1659.31/1664.40 c #Conflicts: 497000 | #Constraints: 81300
1659.31/1664.40 c #Conflicts: 498000 | #Constraints: 82300
1659.31/1664.40 c #Conflicts: 499000 | #Constraints: 83300
1659.31/1664.40 c #Conflicts: 500000 | #Constraints: 84300
1659.31/1664.40 c #Conflicts: 501000 | #Constraints: 85300
1659.31/1664.40 c #Conflicts: 502000 | #Constraints: 86300
1659.31/1664.40 c #Conflicts: 503000 | #Constraints: 87300
1659.31/1664.40 c #Conflicts: 504000 | #Constraints: 88300
1659.31/1664.40 c #Conflicts: 505000 | #Constraints: 89300
1659.31/1664.40 c #Conflicts: 506000 | #Constraints: 90300
1659.31/1664.40 c #Conflicts: 507000 | #Constraints: 91300
1659.31/1664.40 c #Conflicts: 508000 | #Constraints: 92300
1659.31/1664.40 c #Conflicts: 509000 | #Constraints: 93300
1659.31/1664.40 c #Conflicts: 510000 | #Constraints: 94300
1659.31/1664.40 c #Conflicts: 511000 | #Constraints: 95300
1659.31/1664.40 c #Conflicts: 512000 | #Constraints: 96300
1659.31/1664.40 c #Conflicts: 513000 | #Constraints: 97300
1659.31/1664.40 c #Conflicts: 514000 | #Constraints: 98300
1659.31/1664.40 c #Conflicts: 515000 | #Constraints: 99300
1659.31/1664.40 c #Conflicts: 516000 | #Constraints: 100300
1659.31/1664.40 c INPROCESSING
1659.31/1664.40 c GARBAGE COLLECT
1659.31/1664.40 c #Conflicts: 517000 | #Constraints: 59368
1659.31/1664.40 c #Conflicts: 518000 | #Constraints: 60368
1659.31/1664.40 c #Conflicts: 519000 | #Constraints: 61368
1659.31/1664.40 c #Conflicts: 520000 | #Constraints: 62368
1659.31/1664.40 c #Conflicts: 521000 | #Constraints: 63368
1659.31/1664.40 c #Conflicts: 522000 | #Constraints: 64368
1659.31/1664.40 c #Conflicts: 523000 | #Constraints: 65368
1659.31/1664.40 c #Conflicts: 524000 | #Constraints: 66368
1659.31/1664.40 c #Conflicts: 525000 | #Constraints: 67368
1659.31/1664.40 c #Conflicts: 526000 | #Constraints: 68368
1659.31/1664.40 c #Conflicts: 527000 | #Constraints: 69368
2142.70/2149.46 c #Conflicts: 528000 | #Constraints: 70368
2142.70/2149.46 c #Conflicts: 529000 | #Constraints: 71368
2142.70/2149.46 c #Conflicts: 530000 | #Constraints: 72368
2142.70/2149.46 c #Conflicts: 531000 | #Constraints: 73368
2142.70/2149.46 c #Conflicts: 532000 | #Constraints: 74368
2142.70/2149.46 c #Conflicts: 533000 | #Constraints: 75368
2142.70/2149.46 c #Conflicts: 534000 | #Constraints: 76368
2142.70/2149.46 c #Conflicts: 535000 | #Constraints: 77368
2142.70/2149.46 c INPROCESSING
2142.70/2149.46 c GARBAGE COLLECT
2142.70/2149.46 c #Conflicts: 536000 | #Constraints: 57595
2142.70/2149.46 c #Conflicts: 537000 | #Constraints: 58595
2142.70/2149.46 c #Conflicts: 538000 | #Constraints: 59595
2142.70/2149.46 c #Conflicts: 539000 | #Constraints: 60595
2142.70/2149.46 c #Conflicts: 540000 | #Constraints: 61595
2142.70/2149.46 c #Conflicts: 541000 | #Constraints: 62595
2142.70/2149.46 c #Conflicts: 542000 | #Constraints: 63595
2142.70/2149.46 c #Conflicts: 543000 | #Constraints: 64595
2142.70/2149.46 c #Conflicts: 544000 | #Constraints: 65595
2142.70/2149.46 c #Conflicts: 545000 | #Constraints: 66595
2142.70/2149.46 c #Conflicts: 546000 | #Constraints: 67595
2142.70/2149.46 c #Conflicts: 547000 | #Constraints: 68595
2142.70/2149.46 c #Conflicts: 548000 | #Constraints: 69595
2142.70/2149.46 c #Conflicts: 549000 | #Constraints: 70595
2142.70/2149.46 c #Conflicts: 550000 | #Constraints: 71595
2142.70/2149.46 c #Conflicts: 551000 | #Constraints: 72595
2142.70/2149.46 c #Conflicts: 552000 | #Constraints: 73595
2142.70/2149.46 c #Conflicts: 553000 | #Constraints: 74595
2142.70/2149.46 c #Conflicts: 554000 | #Constraints: 75595
2142.70/2149.46 c #Conflicts: 555000 | #Constraints: 76595
2142.70/2149.46 c #Conflicts: 556000 | #Constraints: 77595
2142.70/2149.46 c #Conflicts: 557000 | #Constraints: 78595
2142.70/2149.46 c #Conflicts: 558000 | #Constraints: 79595
2142.70/2149.46 c #Conflicts: 559000 | #Constraints: 80595
2142.70/2149.46 c #Conflicts: 560000 | #Constraints: 81595
2142.70/2149.46 c #Conflicts: 561000 | #Constraints: 82595
2142.70/2149.46 c #Conflicts: 562000 | #Constraints: 83595
2142.70/2149.46 c #Conflicts: 563000 | #Constraints: 84595
2142.70/2149.46 c #Conflicts: 564000 | #Constraints: 85595
2142.70/2149.46 c #Conflicts: 565000 | #Constraints: 86595
2142.70/2149.46 c #Conflicts: 566000 | #Constraints: 87595
2142.70/2149.46 c #Conflicts: 567000 | #Constraints: 88595
2142.70/2149.46 c #Conflicts: 568000 | #Constraints: 89595
2142.70/2149.46 c #Conflicts: 569000 | #Constraints: 90595
2142.70/2149.46 c #Conflicts: 570000 | #Constraints: 91595
2142.70/2149.46 c #Conflicts: 571000 | #Constraints: 92595
2142.70/2149.46 c #Conflicts: 572000 | #Constraints: 93595
2142.70/2149.46 c #Conflicts: 573000 | #Constraints: 94595
2142.70/2149.46 c #Conflicts: 574000 | #Constraints: 95595
2142.70/2149.46 c #Conflicts: 575000 | #Constraints: 96595
2142.70/2149.46 c #Conflicts: 576000 | #Constraints: 97595
2142.70/2149.46 c #Conflicts: 577000 | #Constraints: 98595
2142.70/2149.46 c #Conflicts: 578000 | #Constraints: 99595
2142.70/2149.46 c #Conflicts: 579000 | #Constraints: 100595
2142.70/2149.46 c #Conflicts: 580000 | #Constraints: 101595
2142.70/2149.46 c #Conflicts: 581000 | #Constraints: 102595
2142.70/2149.46 c #Conflicts: 582000 | #Constraints: 103595
2142.70/2149.46 c #Conflicts: 583000 | #Constraints: 104595
2142.70/2149.46 c #Conflicts: 584000 | #Constraints: 105595
2142.70/2149.46 c #Conflicts: 585000 | #Constraints: 106595
2142.70/2149.46 c #Conflicts: 586000 | #Constraints: 107595
2142.70/2149.46 c INPROCESSING
2142.70/2149.46 c GARBAGE COLLECT
2142.70/2149.46 c #Conflicts: 587000 | #Constraints: 62999
2142.70/2149.46 c #Conflicts: 588000 | #Constraints: 63999
2142.70/2149.46 c #Conflicts: 589000 | #Constraints: 64999
2142.70/2149.46 c #Conflicts: 590000 | #Constraints: 65999
2142.70/2149.46 c #Conflicts: 591000 | #Constraints: 66999
2142.70/2149.46 c #Conflicts: 592000 | #Constraints: 67999
2142.70/2149.46 c #Conflicts: 593000 | #Constraints: 68999
2142.70/2149.46 c #Conflicts: 594000 | #Constraints: 69999
2142.70/2149.46 c #Conflicts: 595000 | #Constraints: 70999
2142.70/2149.46 c #Conflicts: 596000 | #Constraints: 71999
2142.70/2149.46 c #Conflicts: 597000 | #Constraints: 72999
2142.70/2149.46 c #Conflicts: 598000 | #Constraints: 73999
2142.70/2149.46 c #Conflicts: 599000 | #Constraints: 74999
2142.70/2149.46 c #Conflicts: 600000 | #Constraints: 75999
2142.70/2149.46 c #Conflicts: 601000 | #Constraints: 76999
2142.70/2149.46 c #Conflicts: 602000 | #Constraints: 77999
2142.70/2149.46 c #Conflicts: 603000 | #Constraints: 78999
2142.70/2149.46 c #Conflicts: 604000 | #Constraints: 79999
2727.36/2736.07 c #Conflicts: 605000 | #Constraints: 80999
2727.36/2736.07 c #Conflicts: 606000 | #Constraints: 81999
2727.36/2736.07 c INPROCESSING
2727.36/2736.07 c GARBAGE COLLECT
2727.36/2736.07 c #Conflicts: 607000 | #Constraints: 61620
2727.36/2736.07 c #Conflicts: 608000 | #Constraints: 62620
2727.36/2736.07 c #Conflicts: 609000 | #Constraints: 63620
2727.36/2736.07 c #Conflicts: 610000 | #Constraints: 64620
2727.36/2736.07 c #Conflicts: 611000 | #Constraints: 65620
2727.36/2736.07 c #Conflicts: 612000 | #Constraints: 66620
2727.36/2736.07 c #Conflicts: 613000 | #Constraints: 67620
2727.36/2736.07 c #Conflicts: 614000 | #Constraints: 68620
2727.36/2736.07 c #Conflicts: 615000 | #Constraints: 69620
2727.36/2736.07 c #Conflicts: 616000 | #Constraints: 70620
2727.36/2736.07 c #Conflicts: 617000 | #Constraints: 71620
2727.36/2736.07 c #Conflicts: 618000 | #Constraints: 72620
2727.36/2736.07 c #Conflicts: 619000 | #Constraints: 73620
2727.36/2736.07 c #Conflicts: 620000 | #Constraints: 74620
2727.36/2736.07 c #Conflicts: 621000 | #Constraints: 75620
2727.36/2736.07 c #Conflicts: 622000 | #Constraints: 76620
2727.36/2736.07 c #Conflicts: 623000 | #Constraints: 77620
2727.36/2736.07 c #Conflicts: 624000 | #Constraints: 78620
2727.36/2736.07 c #Conflicts: 625000 | #Constraints: 79620
2727.36/2736.07 c #Conflicts: 626000 | #Constraints: 80620
2727.36/2736.07 c #Conflicts: 627000 | #Constraints: 81620
2727.36/2736.07 c #Conflicts: 628000 | #Constraints: 82620
2727.36/2736.07 c #Conflicts: 629000 | #Constraints: 83620
2727.36/2736.07 c #Conflicts: 630000 | #Constraints: 84620
2727.36/2736.07 c #Conflicts: 631000 | #Constraints: 85620
2727.36/2736.07 c #Conflicts: 632000 | #Constraints: 86620
2727.36/2736.07 c #Conflicts: 633000 | #Constraints: 87620
2727.36/2736.07 c #Conflicts: 634000 | #Constraints: 88620
2727.36/2736.07 c #Conflicts: 635000 | #Constraints: 89620
2727.36/2736.07 c #Conflicts: 636000 | #Constraints: 90620
2727.36/2736.07 c #Conflicts: 637000 | #Constraints: 91620
2727.36/2736.07 c #Conflicts: 638000 | #Constraints: 92620
2727.36/2736.07 c #Conflicts: 639000 | #Constraints: 93620
2727.36/2736.07 c #Conflicts: 640000 | #Constraints: 94620
2727.36/2736.07 c #Conflicts: 641000 | #Constraints: 95620
2727.36/2736.07 c #Conflicts: 642000 | #Constraints: 96620
2727.36/2736.07 c #Conflicts: 643000 | #Constraints: 97620
2727.36/2736.07 c #Conflicts: 644000 | #Constraints: 98620
2727.36/2736.07 c #Conflicts: 645000 | #Constraints: 99620
2727.36/2736.07 c #Conflicts: 646000 | #Constraints: 100620
2727.36/2736.07 c #Conflicts: 647000 | #Constraints: 101620
2727.36/2736.07 c #Conflicts: 648000 | #Constraints: 102620
2727.36/2736.07 c #Conflicts: 649000 | #Constraints: 103620
2727.36/2736.07 c #Conflicts: 650000 | #Constraints: 104620
2727.36/2736.07 c #Conflicts: 651000 | #Constraints: 105620
2727.36/2736.07 c #Conflicts: 652000 | #Constraints: 106620
2727.36/2736.07 c #Conflicts: 653000 | #Constraints: 107620
2727.36/2736.07 c #Conflicts: 654000 | #Constraints: 108620
2727.36/2736.07 c #Conflicts: 655000 | #Constraints: 109620
2727.36/2736.07 c #Conflicts: 656000 | #Constraints: 110620
2727.36/2736.07 c #Conflicts: 657000 | #Constraints: 111620
2727.36/2736.07 c #Conflicts: 658000 | #Constraints: 112620
2727.36/2736.07 c #Conflicts: 659000 | #Constraints: 113620
2727.36/2736.07 c #Conflicts: 660000 | #Constraints: 114620
2727.36/2736.07 c #Conflicts: 661000 | #Constraints: 115620
2727.36/2736.07 c INPROCESSING
2727.36/2736.07 c GARBAGE COLLECT
2727.36/2736.07 c #Conflicts: 662000 | #Constraints: 67324
2727.36/2736.07 c #Conflicts: 663000 | #Constraints: 68324
2727.36/2736.07 c #Conflicts: 664000 | #Constraints: 69324
2727.36/2736.07 c #Conflicts: 665000 | #Constraints: 70324
2727.36/2736.07 c #Conflicts: 666000 | #Constraints: 71324
2727.36/2736.07 c #Conflicts: 667000 | #Constraints: 72324
2727.36/2736.07 c #Conflicts: 668000 | #Constraints: 73324
2727.36/2736.07 c #Conflicts: 669000 | #Constraints: 74324
2727.36/2736.07 c #Conflicts: 670000 | #Constraints: 75324
2727.36/2736.07 c #Conflicts: 671000 | #Constraints: 76324
2727.36/2736.07 c #Conflicts: 672000 | #Constraints: 77324
2727.36/2736.07 c #Conflicts: 673000 | #Constraints: 78324
2727.36/2736.07 c #Conflicts: 674000 | #Constraints: 79324
2727.36/2736.07 c #Conflicts: 675000 | #Constraints: 80324
2727.36/2736.07 c #Conflicts: 676000 | #Constraints: 81324
2727.36/2736.07 c #Conflicts: 677000 | #Constraints: 82324
2727.36/2736.07 c #Conflicts: 678000 | #Constraints: 83324
2727.36/2736.07 c #Conflicts: 679000 | #Constraints: 84324
2727.36/2736.07 c #Conflicts: 680000 | #Constraints: 85324
2727.36/2736.07 c #Conflicts: 681000 | #Constraints: 86324
2727.36/2736.07 c #Conflicts: 682000 | #Constraints: 87324
3359.41/3370.14 c INPROCESSING
3359.41/3370.14 c GARBAGE COLLECT
3359.41/3370.14 c #Conflicts: 683000 | #Constraints: 66516
3359.41/3370.14 c #Conflicts: 684000 | #Constraints: 67516
3359.41/3370.14 c #Conflicts: 685000 | #Constraints: 68516
3359.41/3370.14 c #Conflicts: 686000 | #Constraints: 69516
3359.41/3370.14 c #Conflicts: 687000 | #Constraints: 70516
3359.41/3370.14 c #Conflicts: 688000 | #Constraints: 71516
3359.41/3370.14 c #Conflicts: 689000 | #Constraints: 72516
3359.41/3370.14 c #Conflicts: 690000 | #Constraints: 73516
3359.41/3370.14 c #Conflicts: 691000 | #Constraints: 74516
3359.41/3370.14 c #Conflicts: 692000 | #Constraints: 75516
3359.41/3370.14 c #Conflicts: 693000 | #Constraints: 76516
3359.41/3370.14 c #Conflicts: 694000 | #Constraints: 77516
3359.41/3370.14 c #Conflicts: 695000 | #Constraints: 78516
3359.41/3370.14 c #Conflicts: 696000 | #Constraints: 79516
3359.41/3370.14 c #Conflicts: 697000 | #Constraints: 80516
3359.41/3370.14 c #Conflicts: 698000 | #Constraints: 81516
3359.41/3370.14 c #Conflicts: 699000 | #Constraints: 82516
3359.41/3370.14 c #Conflicts: 700000 | #Constraints: 83516
3359.41/3370.14 c #Conflicts: 701000 | #Constraints: 84516
3359.41/3370.14 c #Conflicts: 702000 | #Constraints: 85516
3359.41/3370.14 c #Conflicts: 703000 | #Constraints: 86516
3359.41/3370.14 c #Conflicts: 704000 | #Constraints: 87516
3359.41/3370.14 c #Conflicts: 705000 | #Constraints: 88516
3359.41/3370.14 c #Conflicts: 706000 | #Constraints: 89516
3359.41/3370.14 c #Conflicts: 707000 | #Constraints: 90516
3359.41/3370.14 c #Conflicts: 708000 | #Constraints: 91516
3359.41/3370.14 c #Conflicts: 709000 | #Constraints: 92516
3359.41/3370.14 c #Conflicts: 710000 | #Constraints: 93516
3359.41/3370.14 c #Conflicts: 711000 | #Constraints: 94516
3359.41/3370.14 c #Conflicts: 712000 | #Constraints: 95516
3359.41/3370.14 c #Conflicts: 713000 | #Constraints: 96516
3359.41/3370.14 c #Conflicts: 714000 | #Constraints: 97516
3359.41/3370.14 c #Conflicts: 715000 | #Constraints: 98516
3359.41/3370.14 c #Conflicts: 716000 | #Constraints: 99516
3359.41/3370.14 c #Conflicts: 717000 | #Constraints: 100516
3359.41/3370.14 c #Conflicts: 718000 | #Constraints: 101516
3359.41/3370.14 c #Conflicts: 719000 | #Constraints: 102516
3359.41/3370.14 c #Conflicts: 720000 | #Constraints: 103516
3359.41/3370.14 c #Conflicts: 721000 | #Constraints: 104516
3359.41/3370.14 c #Conflicts: 722000 | #Constraints: 105516
3359.41/3370.14 c #Conflicts: 723000 | #Constraints: 106516
3359.41/3370.14 c #Conflicts: 724000 | #Constraints: 107516
3359.41/3370.14 c #Conflicts: 725000 | #Constraints: 108516
3359.41/3370.14 c #Conflicts: 726000 | #Constraints: 109516
3359.41/3370.14 c #Conflicts: 727000 | #Constraints: 110516
3359.41/3370.14 c #Conflicts: 728000 | #Constraints: 111516
3359.41/3370.14 c #Conflicts: 729000 | #Constraints: 112516
3359.41/3370.14 c #Conflicts: 730000 | #Constraints: 113516
3359.41/3370.14 c #Conflicts: 731000 | #Constraints: 114516
3359.41/3370.14 c #Conflicts: 732000 | #Constraints: 115516
3359.41/3370.14 c #Conflicts: 733000 | #Constraints: 116516
3359.41/3370.14 c #Conflicts: 734000 | #Constraints: 117516
3359.41/3370.14 c #Conflicts: 735000 | #Constraints: 118516
3359.41/3370.14 c #Conflicts: 736000 | #Constraints: 119516
3359.41/3370.14 c #Conflicts: 737000 | #Constraints: 120516
3359.41/3370.14 c #Conflicts: 738000 | #Constraints: 121516
3359.41/3370.14 c #Conflicts: 739000 | #Constraints: 122516
3359.41/3370.14 c #Conflicts: 740000 | #Constraints: 123516
3359.41/3370.14 c INPROCESSING
3359.41/3370.14 c GARBAGE COLLECT
3359.41/3370.14 c #Conflicts: 741000 | #Constraints: 71381
3359.41/3370.14 c #Conflicts: 742000 | #Constraints: 72381
3359.41/3370.14 c #Conflicts: 743000 | #Constraints: 73381
3359.41/3370.14 c #Conflicts: 744000 | #Constraints: 74381
3359.41/3370.14 c #Conflicts: 745000 | #Constraints: 75381
3359.41/3370.14 c #Conflicts: 746000 | #Constraints: 76381
3359.41/3370.14 c #Conflicts: 747000 | #Constraints: 77381
3359.41/3370.14 c #Conflicts: 748000 | #Constraints: 78381
3359.41/3370.14 c #Conflicts: 749000 | #Constraints: 79381
3359.41/3370.14 c #Conflicts: 750000 | #Constraints: 80381
3359.41/3370.14 c #Conflicts: 751000 | #Constraints: 81381
3359.41/3370.14 c #Conflicts: 752000 | #Constraints: 82381
3359.41/3370.14 c #Conflicts: 753000 | #Constraints: 83381
3359.41/3370.14 c #Conflicts: 754000 | #Constraints: 84381
3359.41/3370.14 c #Conflicts: 755000 | #Constraints: 85381
3359.41/3370.14 c #Conflicts: 756000 | #Constraints: 86381
3359.41/3370.14 c #Conflicts: 757000 | #Constraints: 87381
3359.41/3370.14 c #Conflicts: 758000 | #Constraints: 88381
3359.41/3370.14 c #Conflicts: 759000 | #Constraints: 89381
3600.04/3611.60 c #Conflicts: 760000 | #Constraints: 90381
3600.04/3611.60 c #Conflicts: 761000 | #Constraints: 91381
3600.04/3611.60 c #Conflicts: 762000 | #Constraints: 92381
3600.04/3611.60 c INPROCESSING
3600.04/3611.60 c GARBAGE COLLECT
3600.04/3611.60 c #Conflicts: 763000 | #Constraints: 70883
3600.04/3611.60 c #Conflicts: 764000 | #Constraints: 71883
3600.04/3611.60 c #Conflicts: 765000 | #Constraints: 72883
3600.04/3611.60 c #Conflicts: 766000 | #Constraints: 73883
3600.04/3611.60 c #Conflicts: 767000 | #Constraints: 74883
3600.04/3611.60 c #Conflicts: 768000 | #Constraints: 75883
3600.04/3611.60 c #Conflicts: 769000 | #Constraints: 76883
3600.04/3611.60 c #Conflicts: 770000 | #Constraints: 77883
3600.04/3611.60 c #Conflicts: 771000 | #Constraints: 78883
3600.04/3611.60 c #Conflicts: 772000 | #Constraints: 79883
3600.04/3611.60 c #Conflicts: 773000 | #Constraints: 80883
3600.04/3611.60 c #Conflicts: 774000 | #Constraints: 81883
3600.04/3611.60 c #Conflicts: 775000 | #Constraints: 82883
3600.04/3611.60 c #Conflicts: 776000 | #Constraints: 83883
3600.04/3611.60 c #Conflicts: 777000 | #Constraints: 84883
3600.04/3611.60 c #Conflicts: 778000 | #Constraints: 85883
3600.04/3611.60 c #Conflicts: 779000 | #Constraints: 86883
3600.04/3611.60 c #Conflicts: 780000 | #Constraints: 87883
3600.04/3611.60 c #Conflicts: 781000 | #Constraints: 88883
3600.04/3611.60 c #Conflicts: 782000 | #Constraints: 89883
3600.04/3611.60 c #Conflicts: 783000 | #Constraints: 90883
3600.04/3611.60 c #Conflicts: 784000 | #Constraints: 91883
3600.04/3611.60 c #Conflicts: 785000 | #Constraints: 92883
3600.04/3611.60 c #Conflicts: 786000 | #Constraints: 93883
3600.04/3611.60 c Program interrupted by user.
3600.04/3611.60 c cpu time 3591.74 s
3600.04/3611.60 c deterministic time 220329415011 2.20e+11
3600.04/3611.60 c optimization time 208.87 s
3600.04/3611.60 c total solve time 3083.71 s
3600.04/3611.60 c core-guided solve time 3083.71 s
3600.04/3611.60 c propagation time 2799.07 s
3600.04/3611.60 c conflict analysis time 480.704 s
3600.04/3611.60 c propagations 58382456
3600.04/3611.60 c resolve steps 10937519
3600.04/3611.60 c decisions 3548144
3600.04/3611.60 c conflicts 786514
3600.04/3611.60 c restarts 1660
3600.04/3611.60 c inprocessing phases 41
3600.04/3611.60 c input clauses 17115
3600.04/3611.60 c input cardinalities 92
3600.04/3611.60 c input general constraints 53
3600.04/3611.60 c input average constraint length 6.43
3600.04/3611.60 c input average constraint degree 1.12
3600.04/3611.60 c learned clauses 462659
3600.04/3611.60 c learned cardinalities 3
3600.04/3611.60 c learned general constraints 323860
3600.04/3611.60 c learned average constraint length 36.09
3600.04/3611.60 c learned average constraint degree 288.01
3600.04/3611.60 c watched constraints 242788
3600.04/3611.60 c counting constraints 81125
3600.04/3611.60 c gcd simplifications 2182
3600.04/3611.60 c detected cardinalities 0
3600.04/3611.60 c weakened non-implied lits 3059979
3600.04/3611.60 c weakened non-implying lits 7112
3600.04/3611.60 c original variables 200
3600.04/3611.60 c clausal propagations 41569029
3600.04/3611.60 c cardinality propagations 149741
3600.04/3611.60 c watched propagations 1267313
3600.04/3611.60 c counting propagations 14922740
3600.04/3611.60 c watch lookups 81507088472
3600.04/3611.60 c watch backjump lookups 77922773810
3600.04/3611.60 c watch checks 43847757057
3600.04/3611.60 c propagation checks 16826053422
3600.04/3611.60 c constraint additions 101094603
3600.04/3611.60 c trail pops 62717046
3600.04/3611.60 c formula constraints 17013
3600.04/3611.60 c learned constraints 786522
3600.04/3611.60 c bound constraints 23
3600.04/3611.60 c core-guided constraints 224
3600.04/3611.60 c encountered formula constraints 6726820
3600.04/3611.60 c encountered learned constraints 3599985
3600.04/3611.60 c encountered bound constraints 945
3600.04/3611.60 c encountered core-guided constraints 1396283
3600.04/3611.60 c LP total time 0 s
3600.04/3611.60 c LP solve time 0 s
3600.04/3611.60 c LP constraints added 0
3600.04/3611.60 c LP constraints removed 0
3600.04/3611.60 c LP pivots internal 0
3600.04/3611.60 c LP pivots root 0
3600.04/3611.60 c LP calls 0
3600.04/3611.60 c LP optimalities 0
3600.04/3611.60 c LP no pivot count 0
3600.04/3611.60 c LP infeasibilities 0
3600.04/3611.60 c LP valid Farkas constraints 0
3600.04/3611.60 c LP learned Farkas constraints 0
3600.04/3611.60 c LP basis resets 0
3600.04/3611.60 c LP cycling count 0
3600.04/3611.60 c LP singular count 0
3600.04/3611.60 c LP no primal count 0
3600.04/3611.60 c LP no farkas count 0
3600.04/3611.60 c LP other issue count 0
3600.04/3611.60 c LP Gomory cuts 0
3600.04/3611.60 c LP learned cuts 0
3600.04/3611.60 c LP deleted cuts 0
3600.04/3611.60 c LP encountered Gomory constraints 0
3600.04/3611.60 c LP encountered Farkas constraints 0
3600.04/3611.60 c LP encountered learned Farkas constraints 0
3600.04/3611.60 c CG auxiliary variables introduced 118
3600.04/3611.60 c CG solutions found 1
3600.04/3611.60 c CG cores constructed 20
3600.04/3611.60 c CG core cardinality constraints returned 0
3600.04/3611.60 c CG unit cores 0
3600.04/3611.60 c CG single cores 20
3600.04/3611.60 c CG blocks removed during cardinality reduction 0
3600.04/3611.60 c CG first core best 0
3600.04/3611.60 c CG decision core best 0
3600.04/3611.60 c CG core reduction tie 0
3600.04/3611.60 c CG core degree average 1.00
3600.04/3611.60 c CG core slack average 8.45
3600.04/3611.60 c CG exhausted 3
3600.04/3611.60 c CG exhaust time 1.21496 s
3600.04/3611.60 c CG trimmed 0
3600.04/3611.60 c CG trim time 0.001131 s
3600.04/3611.60 c CG minimized 0
3600.04/3611.60 c CG minimize time 0 s
3600.04/3611.60 c CG am1 prop time 0.00173 s
3600.04/3611.60 c CG # am1s reformulated 57
3600.04/3611.60 c CG lower bound derived from am1s 59
3600.04/3611.60 c CG # clausal cores 20
3600.04/3611.60 c CG # cardinality cores 0
3600.04/3611.60 c CG # pb cores 0
3600.04/3611.60 c CG # pb reforms 0
3600.04/3611.60 c CG # cores discarded because of pb reform 0
3600.04/3611.60 d LOWERBOUND -118
3600.04/3611.60 d NCORES 20
3600.04/3611.60 d NPBCORES 0
3600.04/3611.60 d NPBREFORM 0
3600.04/3611.60 d NTRIMMED 0
3600.04/3611.60 d NEXHAUSTED 3
3600.04/3611.60 d NAM1S 57
3600.04/3611.60 d AM1LB 59
3600.04/3611.60 c [Papilo Statistics]
3600.04/3611.60 c prepro time 0.0306057s
3600.04/3611.60 c # tsx applied 16
3600.04/3611.60 c # tsx conflicts 0
3600.04/3611.60 c # bound changes 0
3600.04/3611.60 c # side changes 16
3600.04/3611.60 c # coef changes 0
3600.04/3611.60 c # rounds 2
3600.04/3611.60 c # deted vars 0
3600.04/3611.60 c # deted constrs 16
3600.04/3611.60 c # consecutive rounds of only bound changes 0
3600.04/3611.60 c [STEP] postprocessing with Papilo
3600.04/3611.60 o -53
3600.04/3611.60 s SATISFIABLE
3600.04/3611.60 v -x1 -x2 x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 x11 x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 x30 -x31 -x32 -x33 x34 -x35 -x36 x37 -x38 x39 -x40 -x41 -x42 -x43 x44 x45 x46 x47 -x48 x49 -x50 x51 x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 x69 -x70 x71 x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 x126 -x127 -x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 x159 -x160 x161 x162 -x163 -x164 -x165 x166 x167 x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 x182 x183 -x184 -x185 -x186 x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200
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 (46460 MiB free)
memory of node 1: 64507 MiB (62268 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522173-1751578926/watcher-4522173-1751578926 -o /tmp/evaluation-result-4522173-1751578926/solver-4522173-1751578926 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751578094-90103 --watchdog 3760 mixed-bag HOME/instance-4522173-1751578926.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=90922, runsolver pid=90919
[startup+0.100065 s]*
/proc/loadavg: 4.10 4.10 4.05 5/265 90923
/proc/meminfo: memFree=111331872/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=108836 memory=28056 CPUtime=0.08 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 6109 0 0 0 7 1 0 0 20 0 1 0 73570454 111448064 7014 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 27209 7014 2272 2842 0 8903 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 108836 KiB
Current children cumulated memory: 28056 KiB
[startup+0.205633 s]*
/proc/loadavg: 4.10 4.10 4.05 5/265 90923
/proc/meminfo: memFree=111299868/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=147896 memory=72308 CPUtime=0.19 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 15584 0 0 0 16 3 0 0 20 0 1 0 73570454 151445504 18077 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 36974 18077 4032 2842 0 18668 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 147896 KiB
Current children cumulated memory: 72308 KiB
[startup+0.305483 s]*
/proc/loadavg: 4.10 4.10 4.05 5/265 90923
/proc/meminfo: memFree=111284108/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=158380 memory=81708 CPUtime=0.28 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 18717 0 0 0 25 3 0 0 20 0 1 0 73570454 162181120 20427 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 39595 20427 4064 2842 0 21289 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 158380 KiB
Current children cumulated memory: 81708 KiB
[startup+0.700191 s]
/proc/loadavg: 4.10 4.10 4.05 5/265 90923
/proc/meminfo: memFree=111259724/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=240224 memory=159544 CPUtime=0.67 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 34585 0 0 0 61 6 0 0 20 0 1 0 73570454 245989376 39886 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 60056 39886 4288 2842 0 41750 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 240224 KiB
Current children cumulated memory: 159544 KiB
[startup+1.50019 s]
/proc/loadavg: 4.10 4.10 4.05 5/265 90923
/proc/meminfo: memFree=111195212/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=252144 memory=170296 CPUtime=1.47 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 37271 0 0 0 140 7 0 0 20 0 1 0 73570454 258195456 42574 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 63036 42574 4288 2842 0 44730 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 252144 KiB
Current children cumulated memory: 170296 KiB
[startup+3.10529 s]
/proc/loadavg: 4.10 4.10 4.05 5/265 90923
/proc/meminfo: memFree=111195620/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=252144 memory=170296 CPUtime=3.07 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 37272 0 0 0 300 7 0 0 20 0 1 0 73570454 258195456 42574 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 63036 42574 4288 2842 0 44730 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 252144 KiB
Current children cumulated memory: 170296 KiB
[startup+6.30018 s]
/proc/loadavg: 4.10 4.10 4.05 5/265 90923
/proc/meminfo: memFree=111192728/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=274216 memory=180536 CPUtime=6.25 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 39840 0 0 0 618 7 0 0 20 0 1 0 73570454 280797184 45134 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 68554 45134 4288 2842 0 50248 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 274216 KiB
Current children cumulated memory: 180536 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.10 4.05 5/265 90923
/proc/meminfo: memFree=111112648/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=298224 memory=198968 CPUtime=12.64 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 44450 0 0 0 1256 8 0 0 20 0 1 0 73570454 305381376 49742 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 74556 49742 4288 2842 0 56250 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 298224 KiB
Current children cumulated memory: 198968 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.11 4.05 5/265 90923
/proc/meminfo: memFree=111079948/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=298224 memory=198968 CPUtime=25.4 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 44454 0 0 0 2532 8 0 0 20 0 1 0 73570454 305381376 49742 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 74556 49742 4288 2842 0 56250 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 298224 KiB
Current children cumulated memory: 198968 KiB
[startup+51.1053 s]
/proc/loadavg: 4.10 4.10 4.05 5/265 90924
/proc/meminfo: memFree=111072960/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=298224 memory=199480 CPUtime=50.92 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 44560 0 0 0 5084 8 0 0 20 0 1 0 73570454 305381376 49870 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 74556 49870 4288 2842 0 56250 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 298224 KiB
Current children cumulated memory: 199480 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.08 4.04 5/265 90925
/proc/meminfo: memFree=110946476/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=331288 memory=215080 CPUtime=101.97 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 50172 0 0 0 10188 9 0 0 20 0 1 0 73570454 339238912 53770 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 82822 53770 4288 2842 0 64516 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 331288 KiB
Current children cumulated memory: 215080 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.05 5/265 90927
/proc/meminfo: memFree=110904960/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=332584 memory=215848 CPUtime=161.79 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 50403 0 0 0 16170 9 0 0 20 0 1 0 73570454 340566016 53962 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 83146 53962 4288 2842 0 64840 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 332584 KiB
Current children cumulated memory: 215848 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/266 90930
/proc/meminfo: memFree=110768304/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=414400 memory=292872 CPUtime=221.61 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 58252 0 0 0 22149 12 0 0 20 0 1 0 73570454 424345600 73218 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 103600 73218 4288 2842 0 85294 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 414400 KiB
Current children cumulated memory: 292872 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.08 4.05 5/266 90933
/proc/meminfo: memFree=110699924/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=461360 memory=340152 CPUtime=281.44 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 69621 0 0 0 28130 14 0 0 20 0 1 0 73570454 472432640 85038 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 115340 85038 4288 2842 0 97034 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 461360 KiB
Current children cumulated memory: 340152 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.05 5/265 90935
/proc/meminfo: memFree=110662160/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=330180 memory=217248 CPUtime=341.28 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 70891 0 0 0 34069 59 0 0 20 0 1 0 73570454 338104320 54312 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 82545 54312 4448 2842 0 64239 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 330180 KiB
Current children cumulated memory: 217248 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.05 5/264 90939
/proc/meminfo: memFree=110554356/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=330180 memory=219468 CPUtime=401.11 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 70929 0 0 0 40009 102 0 0 20 0 1 0 73570454 338104320 54867 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 82545 54867 4448 2842 0 64239 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 330180 KiB
Current children cumulated memory: 219468 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.05 5/264 90941
/proc/meminfo: memFree=110464172/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=330180 memory=221260 CPUtime=460.95 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 71404 0 0 0 45954 141 0 0 20 0 1 0 73570454 338104320 55315 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 82545 55315 4448 2842 0 64239 0
################
# More data... #
################
Current children cumulated memory: 240252 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 91134
/proc/meminfo: memFree=121837180/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=349036 memory=240252 CPUtime=2853.22 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 72081 0 0 0 284601 721 0 0 20 0 1 0 73570454 357412864 60063 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 87259 60063 4448 2842 0 68953 0
Current children cumulated CPU time: 2853.22 s
Current children cumulated vsize: 349036 KiB
Current children cumulated memory: 240252 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 91138
/proc/meminfo: memFree=120830196/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=349036 memory=240252 CPUtime=2913.02 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 72081 0 0 0 290572 730 0 0 20 0 1 0 73570454 357412864 60063 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 87259 60063 4448 2842 0 68953 0
Current children cumulated CPU time: 2913.02 s
Current children cumulated vsize: 349036 KiB
Current children cumulated memory: 240252 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 91140
/proc/meminfo: memFree=120724896/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=349036 memory=240252 CPUtime=2972.82 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 72082 0 0 0 296543 739 0 0 20 0 1 0 73570454 357412864 60063 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 87259 60063 4448 2842 0 68953 0
Current children cumulated CPU time: 2972.82 s
Current children cumulated vsize: 349036 KiB
Current children cumulated memory: 240252 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 91146
/proc/meminfo: memFree=120707164/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=349036 memory=240252 CPUtime=3032.62 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 72083 0 0 0 302515 747 0 0 20 0 1 0 73570454 357412864 60063 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 87259 60063 4448 2842 0 68953 0
Current children cumulated CPU time: 3032.62 s
Current children cumulated vsize: 349036 KiB
Current children cumulated memory: 240252 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 91148
/proc/meminfo: memFree=120680024/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=349036 memory=240252 CPUtime=3092.43 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 72083 0 0 0 308488 755 0 0 20 0 1 0 73570454 357412864 60063 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 87259 60063 4448 2842 0 68953 0
Current children cumulated CPU time: 3092.43 s
Current children cumulated vsize: 349036 KiB
Current children cumulated memory: 240252 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.10 4.10 5/264 91284
/proc/meminfo: memFree=124900168/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=349036 memory=241532 CPUtime=3152.24 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 72094 0 0 0 314461 763 0 0 20 0 1 0 73570454 357412864 60383 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 87259 60383 4448 2842 0 68953 0
Current children cumulated CPU time: 3152.24 s
Current children cumulated vsize: 349036 KiB
Current children cumulated memory: 241532 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 91331
/proc/meminfo: memFree=122519404/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=368004 memory=259304 CPUtime=3212.07 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 72147 0 0 0 320434 773 0 0 20 0 1 0 73570454 376836096 64826 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 92001 64826 4448 2842 0 73695 0
Current children cumulated CPU time: 3212.07 s
Current children cumulated vsize: 368004 KiB
Current children cumulated memory: 259304 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 91333
/proc/meminfo: memFree=121062160/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=368004 memory=284264 CPUtime=3271.88 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 72154 0 0 0 326405 783 0 0 20 0 1 0 73570454 376836096 71066 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 92001 71066 4448 2842 0 73695 0
Current children cumulated CPU time: 3271.88 s
Current children cumulated vsize: 368004 KiB
Current children cumulated memory: 284264 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 91335
/proc/meminfo: memFree=120556716/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=368004 memory=286312 CPUtime=3331.69 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 72161 0 0 0 332377 792 0 0 20 0 1 0 73570454 376836096 71578 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 92001 71578 4448 2842 0 73695 0
Current children cumulated CPU time: 3331.69 s
Current children cumulated vsize: 368004 KiB
Current children cumulated memory: 286312 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 91430
/proc/meminfo: memFree=119453788/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=368004 memory=286312 CPUtime=3391.49 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 72161 0 0 0 338348 801 0 0 20 0 1 0 73570454 376836096 71578 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 92001 71578 4448 2842 0 73695 0
Current children cumulated CPU time: 3391.49 s
Current children cumulated vsize: 368004 KiB
Current children cumulated memory: 286312 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 91432
/proc/meminfo: memFree=116747568/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=368004 memory=286312 CPUtime=3451.28 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 72161 0 0 0 344316 812 0 0 20 0 1 0 73570454 376836096 71578 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 92001 71578 4448 2842 0 73695 0
Current children cumulated CPU time: 3451.28 s
Current children cumulated vsize: 368004 KiB
Current children cumulated memory: 286312 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 91434
/proc/meminfo: memFree=115955800/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=368004 memory=286312 CPUtime=3511.07 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 72161 0 0 0 350288 819 0 0 20 0 1 0 73570454 376836096 71578 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 92001 71578 4448 2842 0 73695 0
Current children cumulated CPU time: 3511.07 s
Current children cumulated vsize: 368004 KiB
Current children cumulated memory: 286312 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/265 91438
/proc/meminfo: memFree=115374136/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=368004 memory=286312 CPUtime=3570.85 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 72172 0 0 0 356258 827 0 0 20 0 1 0 73570454 376836096 71578 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 92001 71578 4448 2842 0 73695 0
Current children cumulated CPU time: 3570.85 s
Current children cumulated vsize: 368004 KiB
Current children cumulated memory: 286312 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 4.16 4.10 4.09 5/265 91438
/proc/meminfo: memFree=114846660/131250000 swapFree=33010416/33010684
[pid=90922] ppid=90919 vsize=368004 memory=286312 CPUtime=3600.04 cores=1,3
/proc/90922/stat : 90922 (mixed-bag) R 90919 90922 90091 0 -1 4194304 72173 0 0 0 359173 831 0 0 20 0 1 0 73570454 376836096 71578 18446744073709551615 4235264 15874749 140735610384688 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 25804800 140735610386844 140735610386921 140735610386921 140735610392523 0
/proc/90922/statm: 92001 71578 4448 2842 0 73695 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 368004 KiB
Current children cumulated memory: 286312 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.6 s]
# the end of solver process 90922 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.74 s, system=8.31672 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.6
CPU time (s): 3600.06
CPU user time (s): 3591.74
CPU system time (s): 8.31672
CPU usage (%): 99.6802
Max. virtual memory (cumulated for all children) (KiB): 461360
Max. memory (cumulated for all children) (KiB): 343912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.74
system time used= 8.31672
maximum resident set size= 343912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72201
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= 163
involuntary context switches= 6293
# summary of solver processes directly reported to runsolver:
# pid: 90922
# total CPU time (s): 3600.06
# total CPU user time (s): 3591.74
# total CPU system time (s): 8.31672
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.37269 second user time and 15.5888 second system time
The end
Begin job on nodeC018 at 2025-07-03 23:42:06
IDJOB=4522173
IDBENCH=178624
IDSOLVER=3340
FILE ID=nodeC018/4522173-1751578926
RUNJOBID= nodeC018-1751578094-90103
SLURM_JOB_ID= 9598808
Free space on /tmp= 432756 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-2club200v15p5scn.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522173-1751578926/watcher-4522173-1751578926 -o /tmp/evaluation-result-4522173-1751578926/solver-4522173-1751578926 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751578094-90103 --watchdog 3760 mixed-bag HOME/instance-4522173-1751578926.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 052b56f2871560e549ba2a2e5aff1011
RANDOM SEED=1628569653
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 : 3599.850
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.961
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 : 3602.147
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 : 3599.823
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.826
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.796
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 : 3491.300
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 : 3700.000
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: 111337988 kB
MemAvailable: 111755852 kB
Buffers: 2128 kB
Cached: 1182020 kB
SwapCached: 32 kB
Active: 18469620 kB
Inactive: 707152 kB
Active(anon): 18010380 kB
Inactive(anon): 288 kB
Active(file): 459240 kB
Inactive(file): 706864 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16200 kB
Writeback: 0 kB
AnonPages: 17995696 kB
Mapped: 138032 kB
Shmem: 18044 kB
KReclaimable: 181596 kB
Slab: 272000 kB
SReclaimable: 181596 kB
SUnreclaim: 90404 kB
KernelStack: 4272 kB
PageTables: 38900 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 20213440 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6262784 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= 432736 MiB
End job on nodeC018 at 2025-07-04 00:42:18