| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3602.04 | 3615.38 |
| Name | PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin18.opb |
| MD5SUM | 524c0290a9c7ac599d8004695d4c7f99 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 3575.64 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 23409 |
| Total number of constraints | 1386 |
| Number of constraints which are clauses | 612 |
| Number of constraints which are cardinality constraints (but not clauses) | 774 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 153 |
| Maximum length of a constraint | 289 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 291 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.08 c #variables 23409 #constraints 1386 77.90/78.16 c #Conflicts: 1000 | #Constraints: 2385 77.90/78.16 c #Conflicts: 2000 | #Constraints: 3385 77.90/78.16 c INPROCESSING 77.90/78.16 c GARBAGE COLLECT 77.90/78.16 c #Conflicts: 3000 | #Constraints: 3426 77.90/78.16 c #Conflicts: 4000 | #Constraints: 4426 77.90/78.16 c INPROCESSING 77.90/78.16 c GARBAGE COLLECT 77.90/78.16 c #Conflicts: 5000 | #Constraints: 3857 77.90/78.16 c #Conflicts: 6000 | #Constraints: 4857 77.90/78.16 c INPROCESSING 77.90/78.16 c GARBAGE COLLECT 77.90/78.16 c #Conflicts: 7000 | #Constraints: 3888 77.90/78.16 c #Conflicts: 8000 | #Constraints: 4888 77.90/78.16 c #Conflicts: 9000 | #Constraints: 5888 77.90/78.16 c INPROCESSING 77.90/78.16 c GARBAGE COLLECT 77.90/78.16 c #Conflicts: 10000 | #Constraints: 4598 77.90/78.16 c #Conflicts: 11000 | #Constraints: 5598 77.90/78.16 c #Conflicts: 12000 | #Constraints: 6598 77.90/78.16 c INPROCESSING 77.90/78.16 c GARBAGE COLLECT 77.90/78.16 c #Conflicts: 13000 | #Constraints: 5053 77.90/78.16 c #Conflicts: 14000 | #Constraints: 6053 77.90/78.16 c #Conflicts: 15000 | #Constraints: 7053 77.90/78.16 c INPROCESSING 77.90/78.16 c GARBAGE COLLECT 77.90/78.16 c #Conflicts: 16000 | #Constraints: 5306 77.90/78.16 c #Conflicts: 17000 | #Constraints: 6306 77.90/78.16 c #Conflicts: 18000 | #Constraints: 7306 77.90/78.16 c INPROCESSING 77.90/78.16 c GARBAGE COLLECT 77.90/78.16 c #Conflicts: 19000 | #Constraints: 5352 77.90/78.16 c #Conflicts: 20000 | #Constraints: 6352 77.90/78.16 c #Conflicts: 21000 | #Constraints: 7352 77.90/78.16 c INPROCESSING 77.90/78.16 c GARBAGE COLLECT 77.90/78.16 c #Conflicts: 22000 | #Constraints: 5139 77.90/78.16 c #Conflicts: 23000 | #Constraints: 6140 77.90/78.16 c #Conflicts: 24000 | #Constraints: 7140 77.90/78.16 c #Conflicts: 25000 | #Constraints: 8140 77.90/78.16 c INPROCESSING 77.90/78.16 c GARBAGE COLLECT 77.90/78.16 c rational objective 153 148.29/148.78 c #Conflicts: 26000 | #Constraints: 5747 148.29/148.78 c #Conflicts: 27000 | #Constraints: 6747 148.29/148.78 c #Conflicts: 28000 | #Constraints: 7747 148.29/148.78 c #Conflicts: 29000 | #Constraints: 8747 148.29/148.78 c INPROCESSING 148.29/148.78 c GARBAGE COLLECT 148.29/148.78 c #Conflicts: 30000 | #Constraints: 6117 148.29/148.78 c #Conflicts: 31000 | #Constraints: 7117 148.29/148.78 c #Conflicts: 32000 | #Constraints: 8117 148.29/148.78 c #Conflicts: 33000 | #Constraints: 9117 148.29/148.78 c INPROCESSING 148.29/148.78 c GARBAGE COLLECT 148.29/148.78 c #Conflicts: 34000 | #Constraints: 6337 148.29/148.78 c #Conflicts: 35000 | #Constraints: 7337 148.29/148.78 c #Conflicts: 36000 | #Constraints: 8337 148.29/148.78 c #Conflicts: 37000 | #Constraints: 9337 148.29/148.78 c INPROCESSING 148.29/148.78 c GARBAGE COLLECT 148.29/148.78 c #Conflicts: 38000 | #Constraints: 6367 148.29/148.78 c #Conflicts: 39000 | #Constraints: 7367 148.29/148.78 c #Conflicts: 40000 | #Constraints: 8367 148.29/148.78 c #Conflicts: 41000 | #Constraints: 9367 148.29/148.78 c INPROCESSING 148.29/148.78 c GARBAGE COLLECT 148.29/148.78 c #Conflicts: 42000 | #Constraints: 6185 148.29/148.78 c #Conflicts: 43000 | #Constraints: 7185 148.29/148.78 c #Conflicts: 44000 | #Constraints: 8185 148.29/148.78 c #Conflicts: 45000 | #Constraints: 9185 148.29/148.78 c #Conflicts: 46000 | #Constraints: 10186 148.29/148.78 c INPROCESSING 148.29/148.78 c GARBAGE COLLECT 148.29/148.78 c #Conflicts: 47000 | #Constraints: 6748 148.29/148.78 c #Conflicts: 48000 | #Constraints: 7748 148.29/148.78 c #Conflicts: 49000 | #Constraints: 8748 148.29/148.78 c #Conflicts: 50000 | #Constraints: 9748 148.29/148.78 c #Conflicts: 51000 | #Constraints: 10748 148.29/148.78 c INPROCESSING 148.29/148.78 c GARBAGE COLLECT 148.29/148.78 c rational objective 153 195.67/196.20 c #Conflicts: 52000 | #Constraints: 7192 195.67/196.20 c #Conflicts: 53000 | #Constraints: 8192 195.67/196.20 c #Conflicts: 54000 | #Constraints: 9193 195.67/196.20 c #Conflicts: 55000 | #Constraints: 10193 195.67/196.20 c #Conflicts: 56000 | #Constraints: 11194 195.67/196.20 c INPROCESSING 195.67/196.20 c GARBAGE COLLECT 195.67/196.20 c #Conflicts: 57000 | #Constraints: 7359 195.67/196.20 c #Conflicts: 58000 | #Constraints: 8359 195.67/196.20 c #Conflicts: 59000 | #Constraints: 9359 195.67/196.20 c #Conflicts: 60000 | #Constraints: 10359 195.67/196.20 c #Conflicts: 61000 | #Constraints: 11359 195.67/196.20 c INPROCESSING 195.67/196.20 c GARBAGE COLLECT 195.67/196.20 c #Conflicts: 62000 | #Constraints: 7376 195.67/196.20 c #Conflicts: 63000 | #Constraints: 8376 195.67/196.20 c #Conflicts: 64000 | #Constraints: 9376 195.67/196.20 c #Conflicts: 65000 | #Constraints: 10376 195.67/196.20 c #Conflicts: 66000 | #Constraints: 11376 195.67/196.20 c INPROCESSING 195.67/196.20 c GARBAGE COLLECT 195.67/196.20 c rational objective 153 420.27/421.39 c #Conflicts: 67000 | #Constraints: 7176 420.27/421.39 c #Conflicts: 68000 | #Constraints: 8177 420.27/421.39 c #Conflicts: 69000 | #Constraints: 9177 420.27/421.39 c #Conflicts: 70000 | #Constraints: 10177 420.27/421.39 c #Conflicts: 71000 | #Constraints: 11177 420.27/421.39 c #Conflicts: 72000 | #Constraints: 12177 420.27/421.39 c INPROCESSING 420.27/421.39 c GARBAGE COLLECT 420.27/421.39 c #Conflicts: 73000 | #Constraints: 7775 420.27/421.39 c #Conflicts: 74000 | #Constraints: 8775 420.27/421.39 c #Conflicts: 75000 | #Constraints: 9775 420.27/421.39 c #Conflicts: 76000 | #Constraints: 10775 420.27/421.39 c #Conflicts: 77000 | #Constraints: 11775 420.27/421.39 c #Conflicts: 78000 | #Constraints: 12775 420.27/421.39 c INPROCESSING 420.27/421.39 c GARBAGE COLLECT 420.27/421.39 c #Conflicts: 79000 | #Constraints: 8205 420.27/421.39 c #Conflicts: 80000 | #Constraints: 9205 420.27/421.39 c #Conflicts: 81000 | #Constraints: 10205 420.27/421.39 c #Conflicts: 82000 | #Constraints: 11205 420.27/421.39 c #Conflicts: 83000 | #Constraints: 12205 420.27/421.39 c #Conflicts: 84000 | #Constraints: 13205 420.27/421.39 c INPROCESSING 420.27/421.39 c GARBAGE COLLECT 420.27/421.39 c #Conflicts: 85000 | #Constraints: 8395 420.27/421.39 c #Conflicts: 86000 | #Constraints: 9395 420.27/421.39 c #Conflicts: 87000 | #Constraints: 10395 420.27/421.39 c #Conflicts: 88000 | #Constraints: 11395 420.27/421.39 c #Conflicts: 89000 | #Constraints: 12396 420.27/421.39 c #Conflicts: 90000 | #Constraints: 13396 420.27/421.39 c INPROCESSING 420.27/421.39 c GARBAGE COLLECT 420.27/421.39 c #Conflicts: 91000 | #Constraints: 8422 420.27/421.39 c #Conflicts: 92000 | #Constraints: 9422 420.27/421.39 c #Conflicts: 93000 | #Constraints: 10422 420.27/421.39 c #Conflicts: 94000 | #Constraints: 11422 420.27/421.39 c #Conflicts: 95000 | #Constraints: 12422 420.27/421.39 c #Conflicts: 96000 | #Constraints: 13422 420.27/421.39 c INPROCESSING 420.27/421.39 c GARBAGE COLLECT 420.27/421.39 c #Conflicts: 97000 | #Constraints: 8226 420.27/421.39 c #Conflicts: 98000 | #Constraints: 9226 420.27/421.39 c #Conflicts: 99000 | #Constraints: 10226 420.27/421.39 c #Conflicts: 100000 | #Constraints: 11226 420.27/421.39 c #Conflicts: 101000 | #Constraints: 12226 420.27/421.39 c #Conflicts: 102000 | #Constraints: 13227 420.27/421.39 c #Conflicts: 103000 | #Constraints: 14227 420.27/421.39 c INPROCESSING 420.27/421.39 c GARBAGE COLLECT 420.27/421.39 c #Conflicts: 104000 | #Constraints: 8780 420.27/421.39 c #Conflicts: 105000 | #Constraints: 9780 420.27/421.39 c #Conflicts: 106000 | #Constraints: 10780 420.27/421.39 c #Conflicts: 107000 | #Constraints: 11780 420.27/421.39 c #Conflicts: 108000 | #Constraints: 12780 420.27/421.39 c #Conflicts: 109000 | #Constraints: 13780 420.27/421.39 c #Conflicts: 110000 | #Constraints: 14780 420.27/421.39 c INPROCESSING 420.27/421.39 c GARBAGE COLLECT 420.27/421.39 c #Conflicts: 111000 | #Constraints: 9215 420.27/421.39 c #Conflicts: 112000 | #Constraints: 10215 420.27/421.39 c #Conflicts: 113000 | #Constraints: 11216 420.27/421.39 c #Conflicts: 114000 | #Constraints: 12216 420.27/421.39 c #Conflicts: 115000 | #Constraints: 13216 420.27/421.39 c #Conflicts: 116000 | #Constraints: 14216 420.27/421.39 c #Conflicts: 117000 | #Constraints: 15216 420.27/421.39 c INPROCESSING 420.27/421.39 c GARBAGE COLLECT 420.27/421.39 c rational objective 153 497.58/498.81 c #Conflicts: 118000 | #Constraints: 9409 497.58/498.81 c #Conflicts: 119000 | #Constraints: 10409 497.58/498.81 c #Conflicts: 120000 | #Constraints: 11409 497.58/498.81 c #Conflicts: 121000 | #Constraints: 12409 497.58/498.81 c #Conflicts: 122000 | #Constraints: 13409 497.58/498.81 c #Conflicts: 123000 | #Constraints: 14409 497.58/498.81 c #Conflicts: 124000 | #Constraints: 15410 497.58/498.81 c INPROCESSING 497.58/498.81 c GARBAGE COLLECT 497.58/498.81 c #Conflicts: 125000 | #Constraints: 9411 497.58/498.81 c #Conflicts: 126000 | #Constraints: 10411 497.58/498.81 c #Conflicts: 127000 | #Constraints: 11411 497.58/498.81 c #Conflicts: 128000 | #Constraints: 12411 497.58/498.81 c #Conflicts: 129000 | #Constraints: 13411 497.58/498.81 c #Conflicts: 130000 | #Constraints: 14411 497.58/498.81 c #Conflicts: 131000 | #Constraints: 15411 497.58/498.81 c INPROCESSING 497.58/498.81 c GARBAGE COLLECT 497.58/498.81 c #Conflicts: 132000 | #Constraints: 9215 497.58/498.81 c #Conflicts: 133000 | #Constraints: 10216 497.58/498.81 c #Conflicts: 134000 | #Constraints: 11216 497.58/498.81 c #Conflicts: 135000 | #Constraints: 12216 497.58/498.81 c #Conflicts: 136000 | #Constraints: 13216 497.58/498.81 c #Conflicts: 137000 | #Constraints: 14216 497.58/498.81 c #Conflicts: 138000 | #Constraints: 15216 497.58/498.81 c #Conflicts: 139000 | #Constraints: 16216 497.58/498.81 c INPROCESSING 497.58/498.81 c GARBAGE COLLECT 497.58/498.81 c rational objective 153 540.58/541.96 c #Conflicts: 140000 | #Constraints: 9833 540.58/541.96 c #Conflicts: 141000 | #Constraints: 10833 540.58/541.96 c #Conflicts: 142000 | #Constraints: 11833 540.58/541.96 c #Conflicts: 143000 | #Constraints: 12833 540.58/541.96 c #Conflicts: 144000 | #Constraints: 13834 540.58/541.96 c #Conflicts: 145000 | #Constraints: 14834 540.58/541.96 c #Conflicts: 146000 | #Constraints: 15834 540.58/541.96 c #Conflicts: 147000 | #Constraints: 16834 540.58/541.96 c INPROCESSING 540.58/541.96 c GARBAGE COLLECT 540.58/541.96 c rational objective 153 605.32/606.83 c #Conflicts: 148000 | #Constraints: 10260 605.32/606.83 c #Conflicts: 149000 | #Constraints: 11260 605.32/606.83 c #Conflicts: 150000 | #Constraints: 12260 605.32/606.83 c #Conflicts: 151000 | #Constraints: 13260 605.32/606.83 c #Conflicts: 152000 | #Constraints: 14260 605.32/606.83 c #Conflicts: 153000 | #Constraints: 15260 605.32/606.83 c #Conflicts: 154000 | #Constraints: 16260 605.32/606.83 c #Conflicts: 155000 | #Constraints: 17261 605.32/606.83 c INPROCESSING 605.32/606.83 c GARBAGE COLLECT 605.32/606.83 c #Conflicts: 156000 | #Constraints: 10457 605.32/606.83 c #Conflicts: 157000 | #Constraints: 11457 605.32/606.83 c #Conflicts: 158000 | #Constraints: 12457 605.32/606.83 c #Conflicts: 159000 | #Constraints: 13457 605.32/606.83 c #Conflicts: 160000 | #Constraints: 14457 605.32/606.83 c #Conflicts: 161000 | #Constraints: 15457 605.32/606.83 c #Conflicts: 162000 | #Constraints: 16458 605.32/606.83 c #Conflicts: 163000 | #Constraints: 17458 605.32/606.83 c INPROCESSING 605.32/606.83 c GARBAGE COLLECT 605.32/606.83 c rational objective 153 675.63/677.38 c #Conflicts: 164000 | #Constraints: 10440 675.63/677.38 c #Conflicts: 165000 | #Constraints: 11440 675.63/677.38 c #Conflicts: 166000 | #Constraints: 12440 675.63/677.38 c #Conflicts: 167000 | #Constraints: 13440 675.63/677.38 c #Conflicts: 168000 | #Constraints: 14440 675.63/677.38 c #Conflicts: 169000 | #Constraints: 15440 675.63/677.38 c #Conflicts: 170000 | #Constraints: 16440 675.63/677.38 c #Conflicts: 171000 | #Constraints: 17440 675.63/677.38 c INPROCESSING 675.63/677.38 c GARBAGE COLLECT 675.63/677.38 c #Conflicts: 172000 | #Constraints: 10230 675.63/677.38 c #Conflicts: 173000 | #Constraints: 11231 675.63/677.38 c #Conflicts: 174000 | #Constraints: 12231 675.63/677.38 c #Conflicts: 175000 | #Constraints: 13231 675.63/677.38 c #Conflicts: 176000 | #Constraints: 14232 675.63/677.38 c #Conflicts: 177000 | #Constraints: 15232 675.63/677.38 c #Conflicts: 178000 | #Constraints: 16232 675.63/677.38 c #Conflicts: 179000 | #Constraints: 17232 675.63/677.38 c #Conflicts: 180000 | #Constraints: 18232 675.63/677.38 c INPROCESSING 675.63/677.38 c GARBAGE COLLECT 675.63/677.38 c rational objective 153 775.05/777.01 c #Conflicts: 181000 | #Constraints: 10800 775.05/777.01 c #Conflicts: 182000 | #Constraints: 11800 775.05/777.01 c #Conflicts: 183000 | #Constraints: 12800 775.05/777.01 c #Conflicts: 184000 | #Constraints: 13800 775.05/777.01 c #Conflicts: 185000 | #Constraints: 14800 775.05/777.01 c #Conflicts: 186000 | #Constraints: 15800 775.05/777.01 c #Conflicts: 187000 | #Constraints: 16800 775.05/777.01 c #Conflicts: 188000 | #Constraints: 17800 775.05/777.01 c #Conflicts: 189000 | #Constraints: 18801 775.05/777.01 c INPROCESSING 775.05/777.01 c GARBAGE COLLECT 775.05/777.01 c #Conflicts: 190000 | #Constraints: 11262 775.05/777.01 c #Conflicts: 191000 | #Constraints: 12262 775.05/777.01 c #Conflicts: 192000 | #Constraints: 13262 775.05/777.01 c #Conflicts: 193000 | #Constraints: 14262 775.05/777.01 c #Conflicts: 194000 | #Constraints: 15263 775.05/777.01 c #Conflicts: 195000 | #Constraints: 16263 775.05/777.01 c #Conflicts: 196000 | #Constraints: 17263 775.05/777.01 c #Conflicts: 197000 | #Constraints: 18263 775.05/777.01 c #Conflicts: 198000 | #Constraints: 19263 775.05/777.01 c INPROCESSING 775.05/777.01 c GARBAGE COLLECT 775.05/777.01 c rational objective 153 912.27/914.61 c #Conflicts: 199000 | #Constraints: 11470 912.27/914.61 c #Conflicts: 200000 | #Constraints: 12470 912.27/914.61 c #Conflicts: 201000 | #Constraints: 13470 912.27/914.61 c #Conflicts: 202000 | #Constraints: 14470 912.27/914.61 c #Conflicts: 203000 | #Constraints: 15470 912.27/914.61 c #Conflicts: 204000 | #Constraints: 16470 912.27/914.61 c #Conflicts: 205000 | #Constraints: 17470 912.27/914.61 c #Conflicts: 206000 | #Constraints: 18471 912.27/914.61 c #Conflicts: 207000 | #Constraints: 19471 912.27/914.61 c INPROCESSING 912.27/914.61 c GARBAGE COLLECT 912.27/914.61 c #Conflicts: 208000 | #Constraints: 11468 912.27/914.61 c #Conflicts: 209000 | #Constraints: 12468 912.27/914.61 c #Conflicts: 210000 | #Constraints: 13468 912.27/914.61 c #Conflicts: 211000 | #Constraints: 14468 912.27/914.61 c #Conflicts: 212000 | #Constraints: 15468 912.27/914.61 c #Conflicts: 213000 | #Constraints: 16468 912.27/914.61 c #Conflicts: 214000 | #Constraints: 17468 912.27/914.61 c #Conflicts: 215000 | #Constraints: 18468 912.27/914.61 c #Conflicts: 216000 | #Constraints: 19468 912.27/914.61 c INPROCESSING 912.27/914.61 c GARBAGE COLLECT 912.27/914.61 c rational objective 153 987.38/989.94 c #Conflicts: 217000 | #Constraints: 11291 987.38/989.94 c #Conflicts: 218000 | #Constraints: 12291 987.38/989.94 c #Conflicts: 219000 | #Constraints: 13291 987.38/989.94 c #Conflicts: 220000 | #Constraints: 14291 987.38/989.94 c #Conflicts: 221000 | #Constraints: 15291 987.38/989.94 c #Conflicts: 222000 | #Constraints: 16291 987.38/989.94 c #Conflicts: 223000 | #Constraints: 17291 987.38/989.94 c #Conflicts: 224000 | #Constraints: 18291 987.38/989.94 c #Conflicts: 225000 | #Constraints: 19291 987.38/989.94 c #Conflicts: 226000 | #Constraints: 20292 987.38/989.94 c INPROCESSING 987.38/989.94 c GARBAGE COLLECT 987.38/989.94 c rational objective 153 1095.80/1098.67 c #Conflicts: 227000 | #Constraints: 11897 1095.80/1098.67 c #Conflicts: 228000 | #Constraints: 12897 1095.80/1098.67 c #Conflicts: 229000 | #Constraints: 13897 1095.80/1098.67 c #Conflicts: 230000 | #Constraints: 14897 1095.80/1098.67 c #Conflicts: 231000 | #Constraints: 15897 1095.80/1098.67 c #Conflicts: 232000 | #Constraints: 16897 1095.80/1098.67 c #Conflicts: 233000 | #Constraints: 17897 1095.80/1098.67 c #Conflicts: 234000 | #Constraints: 18897 1095.80/1098.67 c #Conflicts: 235000 | #Constraints: 19897 1095.80/1098.67 c #Conflicts: 236000 | #Constraints: 20897 1095.80/1098.67 c INPROCESSING 1095.80/1098.67 c GARBAGE COLLECT 1095.80/1098.67 c #Conflicts: 237000 | #Constraints: 12272 1095.80/1098.67 c #Conflicts: 238000 | #Constraints: 13272 1095.80/1098.67 c #Conflicts: 239000 | #Constraints: 14272 1095.80/1098.67 c #Conflicts: 240000 | #Constraints: 15272 1095.80/1098.67 c #Conflicts: 241000 | #Constraints: 16272 1095.80/1098.67 c #Conflicts: 242000 | #Constraints: 17272 1095.80/1098.67 c #Conflicts: 243000 | #Constraints: 18272 1095.80/1098.67 c #Conflicts: 244000 | #Constraints: 19272 1095.80/1098.67 c #Conflicts: 245000 | #Constraints: 20272 1095.80/1098.67 c #Conflicts: 246000 | #Constraints: 21272 1095.80/1098.67 c INPROCESSING 1095.80/1098.67 c GARBAGE COLLECT 1095.80/1098.67 c #Conflicts: 247000 | #Constraints: 12472 1095.80/1098.67 c #Conflicts: 248000 | #Constraints: 13473 1095.80/1098.67 c #Conflicts: 249000 | #Constraints: 14473 1095.80/1098.67 c #Conflicts: 250000 | #Constraints: 15473 1095.80/1098.67 c #Conflicts: 251000 | #Constraints: 16473 1095.80/1098.67 c #Conflicts: 252000 | #Constraints: 17473 1095.80/1098.67 c #Conflicts: 253000 | #Constraints: 18473 1095.80/1098.67 c #Conflicts: 254000 | #Constraints: 19473 1095.80/1098.67 c #Conflicts: 255000 | #Constraints: 20473 1095.80/1098.67 c #Conflicts: 256000 | #Constraints: 21473 1095.80/1098.67 c INPROCESSING 1095.80/1098.67 c GARBAGE COLLECT 1095.80/1098.67 c rational objective 153 1133.51/1136.42 c #Conflicts: 257000 | #Constraints: 12448 1133.51/1136.42 c #Conflicts: 258000 | #Constraints: 13448 1133.51/1136.42 c #Conflicts: 259000 | #Constraints: 14448 1133.51/1136.42 c #Conflicts: 260000 | #Constraints: 15448 1133.51/1136.42 c #Conflicts: 261000 | #Constraints: 16448 1133.51/1136.42 c #Conflicts: 262000 | #Constraints: 17448 1133.51/1136.42 c #Conflicts: 263000 | #Constraints: 18448 1133.51/1136.42 c #Conflicts: 264000 | #Constraints: 19448 1133.51/1136.42 c #Conflicts: 265000 | #Constraints: 20448 1133.51/1136.42 c #Conflicts: 266000 | #Constraints: 21448 1133.51/1136.42 c INPROCESSING 1133.51/1136.42 c GARBAGE COLLECT 1133.51/1136.42 c rational objective 153 1197.57/1200.64 c #Conflicts: 267000 | #Constraints: 12249 1197.57/1200.64 c #Conflicts: 268000 | #Constraints: 13249 1197.57/1200.64 c #Conflicts: 269000 | #Constraints: 14249 1197.57/1200.64 c #Conflicts: 270000 | #Constraints: 15249 1197.57/1200.64 c #Conflicts: 271000 | #Constraints: 16249 1197.57/1200.64 c #Conflicts: 272000 | #Constraints: 17249 1197.57/1200.64 c #Conflicts: 273000 | #Constraints: 18249 1197.57/1200.64 c #Conflicts: 274000 | #Constraints: 19249 1197.57/1200.64 c #Conflicts: 275000 | #Constraints: 20250 1197.57/1200.64 c #Conflicts: 276000 | #Constraints: 21250 1197.57/1200.64 c #Conflicts: 277000 | #Constraints: 22250 1197.57/1200.64 c INPROCESSING 1197.57/1200.64 c GARBAGE COLLECT 1197.57/1200.64 c rational objective 153 1246.85/1250.03 c #Conflicts: 278000 | #Constraints: 12844 1246.85/1250.03 c #Conflicts: 279000 | #Constraints: 13844 1246.85/1250.03 c #Conflicts: 280000 | #Constraints: 14844 1246.85/1250.03 c #Conflicts: 281000 | #Constraints: 15844 1246.85/1250.03 c #Conflicts: 282000 | #Constraints: 16844 1246.85/1250.03 c #Conflicts: 283000 | #Constraints: 17844 1246.85/1250.03 c #Conflicts: 284000 | #Constraints: 18844 1246.85/1250.03 c #Conflicts: 285000 | #Constraints: 19845 1246.85/1250.03 c #Conflicts: 286000 | #Constraints: 20845 1246.85/1250.03 c #Conflicts: 287000 | #Constraints: 21845 1246.85/1250.03 c #Conflicts: 288000 | #Constraints: 22846 1246.85/1250.03 c INPROCESSING 1246.85/1250.03 c GARBAGE COLLECT 1246.85/1250.03 c rational objective 153 1286.15/1289.49 c #Conflicts: 289000 | #Constraints: 13206 1286.15/1289.49 c #Conflicts: 290000 | #Constraints: 14206 1286.15/1289.49 c #Conflicts: 291000 | #Constraints: 15206 1286.15/1289.49 c #Conflicts: 292000 | #Constraints: 16206 1286.15/1289.49 c #Conflicts: 293000 | #Constraints: 17206 1286.15/1289.49 c #Conflicts: 294000 | #Constraints: 18206 1286.15/1289.49 c #Conflicts: 295000 | #Constraints: 19206 1286.15/1289.49 c #Conflicts: 296000 | #Constraints: 20206 1286.15/1289.49 c #Conflicts: 297000 | #Constraints: 21206 1286.15/1289.49 c #Conflicts: 298000 | #Constraints: 22206 1286.15/1289.49 c #Conflicts: 299000 | #Constraints: 23206 1286.15/1289.49 c INPROCESSING 1286.15/1289.49 c GARBAGE COLLECT 1286.15/1289.49 c rational objective 153 1814.60/1819.13 c #Conflicts: 300000 | #Constraints: 13396 1814.60/1819.13 c #Conflicts: 301000 | #Constraints: 14396 1814.60/1819.13 c #Conflicts: 302000 | #Constraints: 15396 1814.60/1819.13 c #Conflicts: 303000 | #Constraints: 16396 1814.60/1819.13 c #Conflicts: 304000 | #Constraints: 17396 1814.60/1819.13 c #Conflicts: 305000 | #Constraints: 18396 1814.60/1819.13 c #Conflicts: 306000 | #Constraints: 19397 1814.60/1819.13 c #Conflicts: 307000 | #Constraints: 20397 1814.60/1819.13 c #Conflicts: 308000 | #Constraints: 21397 1814.60/1819.13 c #Conflicts: 309000 | #Constraints: 22397 1814.60/1819.13 c #Conflicts: 310000 | #Constraints: 23397 1814.60/1819.13 c INPROCESSING 1814.60/1819.13 c GARBAGE COLLECT 1814.60/1819.13 c #Conflicts: 311000 | #Constraints: 13431 1814.60/1819.13 c #Conflicts: 312000 | #Constraints: 14431 1814.60/1819.13 c #Conflicts: 313000 | #Constraints: 15431 1814.60/1819.13 c #Conflicts: 314000 | #Constraints: 16431 1814.60/1819.13 c #Conflicts: 315000 | #Constraints: 17431 1814.60/1819.13 c #Conflicts: 316000 | #Constraints: 18431 1814.60/1819.13 c #Conflicts: 317000 | #Constraints: 19432 1814.60/1819.13 c #Conflicts: 318000 | #Constraints: 20432 1814.60/1819.13 c #Conflicts: 319000 | #Constraints: 21432 1814.60/1819.13 c #Conflicts: 320000 | #Constraints: 22432 1814.60/1819.13 c #Conflicts: 321000 | #Constraints: 23432 1814.60/1819.13 c INPROCESSING 1814.60/1819.13 c GARBAGE COLLECT 1814.60/1819.13 c #Conflicts: 322000 | #Constraints: 13234 1814.60/1819.13 c #Conflicts: 323000 | #Constraints: 14234 1814.60/1819.13 c #Conflicts: 324000 | #Constraints: 15234 1814.60/1819.13 c #Conflicts: 325000 | #Constraints: 16234 1814.60/1819.13 c #Conflicts: 326000 | #Constraints: 17234 1814.60/1819.13 c #Conflicts: 327000 | #Constraints: 18234 1814.60/1819.13 c #Conflicts: 328000 | #Constraints: 19234 1814.60/1819.13 c #Conflicts: 329000 | #Constraints: 20234 1814.60/1819.13 c #Conflicts: 330000 | #Constraints: 21234 1814.60/1819.13 c #Conflicts: 331000 | #Constraints: 22234 1814.60/1819.13 c #Conflicts: 332000 | #Constraints: 23234 1814.60/1819.13 c #Conflicts: 333000 | #Constraints: 24234 1814.60/1819.13 c INPROCESSING 1814.60/1819.13 c GARBAGE COLLECT 1814.60/1819.13 c #Conflicts: 334000 | #Constraints: 13821 1814.60/1819.13 c #Conflicts: 335000 | #Constraints: 14821 1814.60/1819.13 c #Conflicts: 336000 | #Constraints: 15821 1814.60/1819.13 c #Conflicts: 337000 | #Constraints: 16821 1814.60/1819.13 c #Conflicts: 338000 | #Constraints: 17822 1814.60/1819.13 c #Conflicts: 339000 | #Constraints: 18822 1814.60/1819.13 c #Conflicts: 340000 | #Constraints: 19822 1814.60/1819.13 c #Conflicts: 341000 | #Constraints: 20822 1814.60/1819.13 c #Conflicts: 342000 | #Constraints: 21822 1814.60/1819.13 c #Conflicts: 343000 | #Constraints: 22822 1814.60/1819.13 c #Conflicts: 344000 | #Constraints: 23822 1814.60/1819.13 c #Conflicts: 345000 | #Constraints: 24822 1814.60/1819.13 c INPROCESSING 1814.60/1819.13 c GARBAGE COLLECT 1814.60/1819.13 c #Conflicts: 346000 | #Constraints: 14207 1814.60/1819.13 c #Conflicts: 347000 | #Constraints: 15207 1814.60/1819.13 c #Conflicts: 348000 | #Constraints: 16207 1814.60/1819.13 c #Conflicts: 349000 | #Constraints: 17208 1814.60/1819.13 c #Conflicts: 350000 | #Constraints: 18208 1814.60/1819.13 c #Conflicts: 351000 | #Constraints: 19208 1814.60/1819.13 c #Conflicts: 352000 | #Constraints: 20208 1814.60/1819.13 c #Conflicts: 353000 | #Constraints: 21208 1814.60/1819.13 c #Conflicts: 354000 | #Constraints: 22208 1814.60/1819.13 c #Conflicts: 355000 | #Constraints: 23208 1814.60/1819.13 c #Conflicts: 356000 | #Constraints: 24208 1814.60/1819.13 c #Conflicts: 357000 | #Constraints: 25208 1814.60/1819.13 c INPROCESSING 1814.60/1819.13 c GARBAGE COLLECT 1814.60/1819.13 c rational objective 153 1962.62/1967.52 c #Conflicts: 358000 | #Constraints: 14421 1962.62/1967.52 c #Conflicts: 359000 | #Constraints: 15421 1962.62/1967.52 c #Conflicts: 360000 | #Constraints: 16421 1962.62/1967.52 c #Conflicts: 361000 | #Constraints: 17421 1962.62/1967.52 c #Conflicts: 362000 | #Constraints: 18421 1962.62/1967.52 c #Conflicts: 363000 | #Constraints: 19421 1962.62/1967.52 c #Conflicts: 364000 | #Constraints: 20421 1962.62/1967.52 c #Conflicts: 365000 | #Constraints: 21421 1962.62/1967.52 c #Conflicts: 366000 | #Constraints: 22421 1962.62/1967.52 c #Conflicts: 367000 | #Constraints: 23421 1962.62/1967.52 c #Conflicts: 368000 | #Constraints: 24421 1962.62/1967.52 c #Conflicts: 369000 | #Constraints: 25421 1962.62/1967.52 c INPROCESSING 1962.62/1967.52 c GARBAGE COLLECT 1962.62/1967.52 c #Conflicts: 370000 | #Constraints: 14456 1962.62/1967.52 c #Conflicts: 371000 | #Constraints: 15456 1962.62/1967.52 c #Conflicts: 372000 | #Constraints: 16456 1962.62/1967.52 c #Conflicts: 373000 | #Constraints: 17456 1962.62/1967.52 c #Conflicts: 374000 | #Constraints: 18456 1962.62/1967.52 c #Conflicts: 375000 | #Constraints: 19456 1962.62/1967.52 c #Conflicts: 376000 | #Constraints: 20456 1962.62/1967.52 c #Conflicts: 377000 | #Constraints: 21456 1962.62/1967.52 c #Conflicts: 378000 | #Constraints: 22456 1962.62/1967.52 c #Conflicts: 379000 | #Constraints: 23456 1962.62/1967.52 c #Conflicts: 380000 | #Constraints: 24456 1962.62/1967.52 c #Conflicts: 381000 | #Constraints: 25456 1962.62/1967.52 c INPROCESSING 1962.62/1967.52 c GARBAGE COLLECT 1962.62/1967.52 c rational objective 153 2094.78/2100.06 c #Conflicts: 382000 | #Constraints: 14218 2094.78/2100.06 c #Conflicts: 383000 | #Constraints: 15218 2094.78/2100.06 c #Conflicts: 384000 | #Constraints: 16218 2094.78/2100.06 c #Conflicts: 385000 | #Constraints: 17218 2094.78/2100.06 c #Conflicts: 386000 | #Constraints: 18218 2094.78/2100.06 c #Conflicts: 387000 | #Constraints: 19218 2094.78/2100.06 c #Conflicts: 388000 | #Constraints: 20218 2094.78/2100.06 c #Conflicts: 389000 | #Constraints: 21218 2094.78/2100.06 c #Conflicts: 390000 | #Constraints: 22218 2094.78/2100.06 c #Conflicts: 391000 | #Constraints: 23218 2094.78/2100.06 c #Conflicts: 392000 | #Constraints: 24218 2094.78/2100.06 c #Conflicts: 393000 | #Constraints: 25218 2094.78/2100.06 c #Conflicts: 394000 | #Constraints: 26218 2094.78/2100.06 c INPROCESSING 2094.78/2100.06 c GARBAGE COLLECT 2094.78/2100.06 c #Conflicts: 395000 | #Constraints: 14842 2094.78/2100.06 c #Conflicts: 396000 | #Constraints: 15842 2094.78/2100.06 c #Conflicts: 397000 | #Constraints: 16842 2094.78/2100.06 c #Conflicts: 398000 | #Constraints: 17842 2094.78/2100.06 c #Conflicts: 399000 | #Constraints: 18842 2094.78/2100.06 c #Conflicts: 400000 | #Constraints: 19842 2094.78/2100.06 c #Conflicts: 401000 | #Constraints: 20842 2094.78/2100.06 c #Conflicts: 402000 | #Constraints: 21843 2094.78/2100.06 c #Conflicts: 403000 | #Constraints: 22843 2094.78/2100.06 c #Conflicts: 404000 | #Constraints: 23843 2094.78/2100.06 c #Conflicts: 405000 | #Constraints: 24843 2094.78/2100.06 c #Conflicts: 406000 | #Constraints: 25843 2094.78/2100.06 c #Conflicts: 407000 | #Constraints: 26843 2094.78/2100.06 c INPROCESSING 2094.78/2100.06 c GARBAGE COLLECT 2094.78/2100.06 c rational objective 153 2155.13/2160.51 c #Conflicts: 408000 | #Constraints: 15254 2155.13/2160.51 c #Conflicts: 409000 | #Constraints: 16254 2155.13/2160.51 c #Conflicts: 410000 | #Constraints: 17254 2155.13/2160.51 c #Conflicts: 411000 | #Constraints: 18254 2155.13/2160.51 c #Conflicts: 412000 | #Constraints: 19254 2155.13/2160.51 c #Conflicts: 413000 | #Constraints: 20254 2155.13/2160.51 c #Conflicts: 414000 | #Constraints: 21254 2155.13/2160.51 c #Conflicts: 415000 | #Constraints: 22254 2155.13/2160.51 c #Conflicts: 416000 | #Constraints: 23254 2155.13/2160.51 c #Conflicts: 417000 | #Constraints: 24254 2155.13/2160.51 c #Conflicts: 418000 | #Constraints: 25254 2155.13/2160.51 c #Conflicts: 419000 | #Constraints: 26254 2155.13/2160.51 c #Conflicts: 420000 | #Constraints: 27254 2155.13/2160.51 c INPROCESSING 2155.13/2160.51 c GARBAGE COLLECT 2155.13/2160.51 c rational objective 153 2283.10/2288.85 c #Conflicts: 421000 | #Constraints: 15463 2283.10/2288.85 c #Conflicts: 422000 | #Constraints: 16463 2283.10/2288.85 c #Conflicts: 423000 | #Constraints: 17463 2283.10/2288.85 c #Conflicts: 424000 | #Constraints: 18463 2283.10/2288.85 c #Conflicts: 425000 | #Constraints: 19463 2283.10/2288.85 c #Conflicts: 426000 | #Constraints: 20463 2283.10/2288.85 c #Conflicts: 427000 | #Constraints: 21463 2283.10/2288.85 c #Conflicts: 428000 | #Constraints: 22463 2283.10/2288.85 c #Conflicts: 429000 | #Constraints: 23463 2283.10/2288.85 c #Conflicts: 430000 | #Constraints: 24463 2283.10/2288.85 c #Conflicts: 431000 | #Constraints: 25463 2283.10/2288.85 c #Conflicts: 432000 | #Constraints: 26464 2283.10/2288.85 c #Conflicts: 433000 | #Constraints: 27464 2283.10/2288.85 c INPROCESSING 2283.10/2288.85 c GARBAGE COLLECT 2283.10/2288.85 c rational objective 153 2377.98/2384.02 c #Conflicts: 434000 | #Constraints: 15502 2377.98/2384.02 c #Conflicts: 435000 | #Constraints: 16502 2377.98/2384.02 c #Conflicts: 436000 | #Constraints: 17502 2377.98/2384.02 c #Conflicts: 437000 | #Constraints: 18502 2377.98/2384.02 c #Conflicts: 438000 | #Constraints: 19502 2377.98/2384.02 c #Conflicts: 439000 | #Constraints: 20502 2377.98/2384.02 c #Conflicts: 440000 | #Constraints: 21503 2377.98/2384.02 c #Conflicts: 441000 | #Constraints: 22503 2377.98/2384.02 c #Conflicts: 442000 | #Constraints: 23503 2377.98/2384.02 c #Conflicts: 443000 | #Constraints: 24503 2377.98/2384.02 c #Conflicts: 444000 | #Constraints: 25503 2377.98/2384.02 c #Conflicts: 445000 | #Constraints: 26503 2377.98/2384.02 c #Conflicts: 446000 | #Constraints: 27503 2377.98/2384.02 c INPROCESSING 2377.98/2384.02 c GARBAGE COLLECT 2377.98/2384.02 c rational objective 153 2470.05/2476.31 c #Conflicts: 447000 | #Constraints: 15295 2470.05/2476.31 c #Conflicts: 448000 | #Constraints: 16295 2470.05/2476.31 c #Conflicts: 449000 | #Constraints: 17295 2470.05/2476.31 c #Conflicts: 450000 | #Constraints: 18295 2470.05/2476.31 c #Conflicts: 451000 | #Constraints: 19295 2470.05/2476.31 c #Conflicts: 452000 | #Constraints: 20295 2470.05/2476.31 c #Conflicts: 453000 | #Constraints: 21295 2470.05/2476.31 c #Conflicts: 454000 | #Constraints: 22295 2470.05/2476.31 c #Conflicts: 455000 | #Constraints: 23295 2470.05/2476.31 c #Conflicts: 456000 | #Constraints: 24295 2470.05/2476.31 c #Conflicts: 457000 | #Constraints: 25295 2470.05/2476.31 c #Conflicts: 458000 | #Constraints: 26295 2470.05/2476.31 c #Conflicts: 459000 | #Constraints: 27295 2470.05/2476.31 c #Conflicts: 460000 | #Constraints: 28295 2470.05/2476.31 c INPROCESSING 2470.05/2476.31 c GARBAGE COLLECT 2470.05/2476.31 c rational objective 153 2570.78/2577.37 c #Conflicts: 461000 | #Constraints: 15906 2570.78/2577.37 c #Conflicts: 462000 | #Constraints: 16907 2570.78/2577.37 c #Conflicts: 463000 | #Constraints: 17907 2570.78/2577.37 c #Conflicts: 464000 | #Constraints: 18907 2570.78/2577.37 c #Conflicts: 465000 | #Constraints: 19907 2570.78/2577.37 c #Conflicts: 466000 | #Constraints: 20908 2570.78/2577.37 c #Conflicts: 467000 | #Constraints: 21908 2570.78/2577.37 c #Conflicts: 468000 | #Constraints: 22908 2570.78/2577.37 c #Conflicts: 469000 | #Constraints: 23908 2570.78/2577.37 c #Conflicts: 470000 | #Constraints: 24908 2570.78/2577.37 c #Conflicts: 471000 | #Constraints: 25908 2570.78/2577.37 c #Conflicts: 472000 | #Constraints: 26908 2570.78/2577.37 c #Conflicts: 473000 | #Constraints: 27908 2570.78/2577.37 c #Conflicts: 474000 | #Constraints: 28908 2570.78/2577.37 c INPROCESSING 2570.78/2577.37 c GARBAGE COLLECT 2570.78/2577.37 c rational objective 153 2680.12/2686.90 c #Conflicts: 475000 | #Constraints: 16295 2680.12/2686.90 c #Conflicts: 476000 | #Constraints: 17295 2680.12/2686.90 c #Conflicts: 477000 | #Constraints: 18295 2680.12/2686.90 c #Conflicts: 478000 | #Constraints: 19296 2680.12/2686.90 c #Conflicts: 479000 | #Constraints: 20296 2680.12/2686.90 c #Conflicts: 480000 | #Constraints: 21296 2680.12/2686.90 c #Conflicts: 481000 | #Constraints: 22296 2680.12/2686.90 c #Conflicts: 482000 | #Constraints: 23296 2680.12/2686.90 c #Conflicts: 483000 | #Constraints: 24296 2680.12/2686.90 c #Conflicts: 484000 | #Constraints: 25296 2680.12/2686.90 c #Conflicts: 485000 | #Constraints: 26296 2680.12/2686.90 c #Conflicts: 486000 | #Constraints: 27296 2680.12/2686.90 c #Conflicts: 487000 | #Constraints: 28296 2680.12/2686.90 c #Conflicts: 488000 | #Constraints: 29296 2680.12/2686.90 c INPROCESSING 2680.12/2686.90 c GARBAGE COLLECT 2680.12/2686.90 c rational objective 153 2774.29/2781.34 c #Conflicts: 489000 | #Constraints: 16520 2774.29/2781.34 c #Conflicts: 490000 | #Constraints: 17520 2774.29/2781.34 c #Conflicts: 491000 | #Constraints: 18520 2774.29/2781.34 c #Conflicts: 492000 | #Constraints: 19520 2774.29/2781.34 c #Conflicts: 493000 | #Constraints: 20520 2774.29/2781.34 c #Conflicts: 494000 | #Constraints: 21520 2774.29/2781.34 c #Conflicts: 495000 | #Constraints: 22521 2774.29/2781.34 c #Conflicts: 496000 | #Constraints: 23521 2774.29/2781.34 c #Conflicts: 497000 | #Constraints: 24521 2774.29/2781.34 c #Conflicts: 498000 | #Constraints: 25521 2774.29/2781.34 c #Conflicts: 499000 | #Constraints: 26521 2774.29/2781.34 c #Conflicts: 500000 | #Constraints: 27521 2774.29/2781.34 c #Conflicts: 501000 | #Constraints: 28521 2774.29/2781.34 c #Conflicts: 502000 | #Constraints: 29521 2774.29/2781.34 c INPROCESSING 2774.29/2781.34 c GARBAGE COLLECT 2774.29/2781.34 c rational objective 153 2870.07/2877.33 c #Conflicts: 503000 | #Constraints: 16511 2870.07/2877.33 c #Conflicts: 504000 | #Constraints: 17511 2870.07/2877.33 c #Conflicts: 505000 | #Constraints: 18511 2870.07/2877.33 c #Conflicts: 506000 | #Constraints: 19512 2870.07/2877.33 c #Conflicts: 507000 | #Constraints: 20512 2870.07/2877.33 c #Conflicts: 508000 | #Constraints: 21512 2870.07/2877.33 c #Conflicts: 509000 | #Constraints: 22512 2870.07/2877.33 c #Conflicts: 510000 | #Constraints: 23512 2870.07/2877.33 c #Conflicts: 511000 | #Constraints: 24512 2870.07/2877.33 c #Conflicts: 512000 | #Constraints: 25512 2870.07/2877.33 c #Conflicts: 513000 | #Constraints: 26512 2870.07/2877.33 c #Conflicts: 514000 | #Constraints: 27512 2870.07/2877.33 c #Conflicts: 515000 | #Constraints: 28512 2870.07/2877.33 c #Conflicts: 516000 | #Constraints: 29512 2870.07/2877.33 c INPROCESSING 2870.07/2877.33 c GARBAGE COLLECT 2870.07/2877.33 c rational objective 153 2947.60/2955.02 c #Conflicts: 517000 | #Constraints: 16300 2947.60/2955.02 c #Conflicts: 518000 | #Constraints: 17300 2947.60/2955.02 c #Conflicts: 519000 | #Constraints: 18300 2947.60/2955.02 c #Conflicts: 520000 | #Constraints: 19300 2947.60/2955.02 c #Conflicts: 521000 | #Constraints: 20300 2947.60/2955.02 c #Conflicts: 522000 | #Constraints: 21300 2947.60/2955.02 c #Conflicts: 523000 | #Constraints: 22300 2947.60/2955.02 c #Conflicts: 524000 | #Constraints: 23300 2947.60/2955.02 c #Conflicts: 525000 | #Constraints: 24300 2947.60/2955.02 c #Conflicts: 526000 | #Constraints: 25301 2947.60/2955.02 c #Conflicts: 527000 | #Constraints: 26301 2947.60/2955.02 c #Conflicts: 528000 | #Constraints: 27301 2947.60/2955.02 c #Conflicts: 529000 | #Constraints: 28301 2947.60/2955.02 c #Conflicts: 530000 | #Constraints: 29301 2947.60/2955.02 c #Conflicts: 531000 | #Constraints: 30301 2947.60/2955.02 c INPROCESSING 2947.60/2955.02 c GARBAGE COLLECT 2947.60/2955.02 c rational objective 153
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (63158 MiB free)
memory of node 1: 64510 MiB (63900 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462973-1722340788/watcher-4462973-1722340788 -o /tmp/evaluation-result-4462973-1722340788/solver-4462973-1722340788 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722340763-6601 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462973-1722340788 --lp-cut-gomory=0 HOME/instance-4462973-1722340788.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7135, runsolver pid=7132
[startup+0.100097 s]*
/proc/loadavg: 1.52 0.43 0.20 6/262 7136
/proc/meminfo: memFree=130080352/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=69452 memory=40328 CPUtime=0.09 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 10179 0 0 0 8 1 0 0 20 0 1 0 676238 71118848 10082 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 17363 10082 1652 992 0 9221 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69452 KiB
Current children cumulated memory: 40328 KiB
[startup+0.205993 s]*
/proc/loadavg: 1.52 0.43 0.20 5/262 7136
/proc/meminfo: memFree=130077252/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=65608 memory=36580 CPUtime=0.2 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 10182 0 0 0 19 1 0 0 20 0 1 0 676238 67182592 9145 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 16402 9145 1652 992 0 8260 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 65608 KiB
Current children cumulated memory: 36580 KiB
[startup+0.30561 s]*
/proc/loadavg: 1.52 0.43 0.20 5/262 7136
/proc/meminfo: memFree=130077252/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=65896 memory=37020 CPUtime=0.3 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 10254 0 0 0 29 1 0 0 20 0 1 0 676238 67477504 9255 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 16474 9255 1700 992 0 8332 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 65896 KiB
Current children cumulated memory: 37020 KiB
[startup+0.700224 s]
/proc/loadavg: 1.52 0.43 0.20 7/262 7136
/proc/meminfo: memFree=130076228/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=66548 memory=37540 CPUtime=0.69 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 10419 0 0 0 67 2 0 0 20 0 1 0 676238 68145152 9385 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 16637 9385 1700 992 0 8495 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 66548 KiB
Current children cumulated memory: 37540 KiB
[startup+1.50022 s]
/proc/loadavg: 1.52 0.43 0.20 5/262 7137
/proc/meminfo: memFree=130075068/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=66548 memory=37540 CPUtime=1.49 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 10419 0 0 0 147 2 0 0 20 0 1 0 676238 68145152 9385 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 16637 9385 1700 992 0 8495 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 66548 KiB
Current children cumulated memory: 37540 KiB
[startup+3.10549 s]
/proc/loadavg: 1.52 0.43 0.20 5/262 7137
/proc/meminfo: memFree=130017544/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=98452 memory=71508 CPUtime=3.09 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 15775 0 0 0 296 13 0 0 20 0 1 0 676238 100814848 17877 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 24613 17877 1745 992 0 16471 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 98452 KiB
Current children cumulated memory: 71508 KiB
[startup+6.30014 s]
/proc/loadavg: 1.72 0.49 0.22 5/257 7164
/proc/meminfo: memFree=130041236/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=98884 memory=71756 CPUtime=6.28 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 15836 0 0 0 612 16 0 0 20 0 1 0 676238 101257216 17939 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 24721 17939 1745 992 0 16579 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 98884 KiB
Current children cumulated memory: 71756 KiB
[startup+12.7002 s]
/proc/loadavg: 1.90 0.55 0.24 5/262 7232
/proc/meminfo: memFree=129975448/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=122776 memory=92248 CPUtime=12.66 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 18877 0 0 0 1229 37 0 0 20 0 1 0 676238 125722624 23062 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 30694 23062 1802 992 0 22552 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 122776 KiB
Current children cumulated memory: 92248 KiB
[startup+25.5002 s]
/proc/loadavg: 2.45 0.73 0.31 5/265 7331
/proc/meminfo: memFree=129825832/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=153780 memory=116344 CPUtime=25.43 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 22351 0 0 0 2488 55 0 0 20 0 1 0 676238 157470720 29086 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 38445 29086 1834 992 0 30303 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 153780 KiB
Current children cumulated memory: 116344 KiB
[startup+51.1055 s]
/proc/loadavg: 3.11 1.03 0.42 5/264 7382
/proc/meminfo: memFree=129623132/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=213044 memory=171932 CPUtime=50.97 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 30137 0 0 0 5000 97 0 0 20 0 1 0 676238 218157056 42983 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 53261 42983 1834 992 0 45119 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 213044 KiB
Current children cumulated memory: 171932 KiB
[startup+102.3 s]
/proc/loadavg: 3.72 1.52 0.62 5/264 7402
/proc/meminfo: memFree=129106956/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=229152 memory=187320 CPUtime=102.02 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 33966 0 0 0 10019 183 0 0 20 0 1 0 676238 234651648 46830 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 57288 46830 1834 992 0 49146 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 229152 KiB
Current children cumulated memory: 187320 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 2.05 0.86 5/264 7415
/proc/meminfo: memFree=128453192/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=308764 memory=260480 CPUtime=161.85 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 42273 0 0 0 15916 269 0 0 20 0 1 0 676238 316174336 65120 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 77191 65120 1834 992 0 69049 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 308764 KiB
Current children cumulated memory: 260480 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 2.45 1.07 5/262 7425
/proc/meminfo: memFree=127878608/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=329280 memory=279932 CPUtime=221.71 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 47179 0 0 0 21796 375 0 0 20 0 1 0 676238 337182720 69983 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 82320 69983 1834 992 0 74178 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 329280 KiB
Current children cumulated memory: 279932 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 2.75 1.27 5/262 7435
/proc/meminfo: memFree=127470672/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=415496 memory=321868 CPUtime=281.59 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 49053 0 0 0 27749 410 0 0 20 0 1 0 676238 425467904 80467 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 103874 80467 1834 992 0 95732 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 415496 KiB
Current children cumulated memory: 321868 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 3.01 1.45 5/259 7445
/proc/meminfo: memFree=126817748/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=572140 memory=417524 CPUtime=341.45 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 55728 0 0 0 33693 452 0 0 20 0 1 0 676238 585871360 104381 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 143035 104381 1834 992 0 134893 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 572140 KiB
Current children cumulated memory: 417524 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.21 1.62 5/259 7457
/proc/meminfo: memFree=126283604/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=583472 memory=428856 CPUtime=401.31 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 58639 0 0 0 39606 525 0 0 20 0 1 0 676238 597475328 107214 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 145868 107214 1834 992 0 137726 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 583472 KiB
Current children cumulated memory: 428856 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.37 1.78 5/258 7467
/proc/meminfo: memFree=125806252/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=585440 memory=430668 CPUtime=461.17 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 59138 0 0 0 45516 601 0 0 20 0 1 0 676238 599490560 107667 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 146360 107667 1834 992 0 138218 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.21 4.18 4.04 5/260 8611
/proc/meminfo: memFree=109899904/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=1520140 memory=1283560 CPUtime=3094.54 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 164058 0 0 0 306888 2566 0 0 20 0 1 0 676238 1556623360 320890 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 380035 320890 1834 992 0 371893 0
Current children cumulated CPU time: 3094.54 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283560 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.16 4.04 5/260 8621
/proc/meminfo: memFree=109706624/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=1520140 memory=1283560 CPUtime=3154.4 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 164153 0 0 0 312871 2569 0 0 20 0 1 0 676238 1556623360 320890 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 380035 320890 1834 992 0 371893 0
Current children cumulated CPU time: 3154.4 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283560 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.14 4.04 5/260 8631
/proc/meminfo: memFree=109586532/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=1520140 memory=1283560 CPUtime=3214.25 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 164290 0 0 0 318852 2573 0 0 20 0 1 0 676238 1556623360 320890 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 380035 320890 1834 992 0 371893 0
Current children cumulated CPU time: 3214.25 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283560 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.15 4.05 5/260 8642
/proc/meminfo: memFree=109484436/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=1520140 memory=1283560 CPUtime=3274.11 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 164421 0 0 0 324835 2576 0 0 20 0 1 0 676238 1556623360 320890 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 380035 320890 1834 992 0 371893 0
Current children cumulated CPU time: 3274.11 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283560 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.16 4.06 5/260 9041
/proc/meminfo: memFree=109465032/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=1520140 memory=1283560 CPUtime=3333.97 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 164499 0 0 0 330816 2581 0 0 20 0 1 0 676238 1556623360 320890 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 380035 320890 1834 992 0 371893 0
Current children cumulated CPU time: 3333.97 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283560 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.16 4.07 5/260 9052
/proc/meminfo: memFree=109392268/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=1520140 memory=1283560 CPUtime=3393.82 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 164634 0 0 0 336797 2585 0 0 20 0 1 0 676238 1556623360 320890 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 380035 320890 1834 992 0 371893 0
Current children cumulated CPU time: 3393.82 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283560 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.07 5/260 9063
/proc/meminfo: memFree=109329552/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=1520140 memory=1283560 CPUtime=3453.68 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 164735 0 0 0 342779 2589 0 0 20 0 1 0 676238 1556623360 320890 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 380035 320890 1834 992 0 371893 0
Current children cumulated CPU time: 3453.68 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283560 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.07 5/261 9244
/proc/meminfo: memFree=109269848/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=1520140 memory=1283560 CPUtime=3513.53 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 164825 0 0 0 348760 2593 0 0 20 0 1 0 676238 1556623360 320890 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 380035 320890 1834 992 0 371893 0
Current children cumulated CPU time: 3513.53 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283560 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.07 5/261 9254
/proc/meminfo: memFree=109199388/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=1520140 memory=1283560 CPUtime=3573.39 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 164929 0 0 0 354742 2597 0 0 20 0 1 0 676238 1556623360 320890 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 380035 320890 1834 992 0 371893 0
Current children cumulated CPU time: 3573.39 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283560 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.09 4.12 4.07 4/262 9305
/proc/meminfo: memFree=111788416/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=1520140 memory=1283560 CPUtime=3600.03 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 164983 0 0 0 357404 2599 0 0 20 0 1 0 676238 1556623360 320890 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 380035 320890 1834 992 0 371893 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283560 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3615.38 s]
# the end of solver process 7135 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3576.03 s, system=26.0062 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.09 4.12 4.07 4/262 9305
/proc/meminfo: memFree=111788416/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=1520140 memory=1283560 CPUtime=3600.62 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 164983 0 0 0 357463 2599 0 0 20 0 1 0 676238 1556623360 320890 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 380035 320890 1834 992 0 371893 0
Current children cumulated CPU time: 3600.62 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283560 KiB
[startup+3610.4 s]
/proc/loadavg: 4.16 4.14 4.07 5/262 9305
/proc/meminfo: memFree=111780308/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=1520140 memory=1283560 CPUtime=3601.42 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 164983 0 0 0 357543 2599 0 0 20 0 1 0 676238 1556623360 320890 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 380035 320890 1834 992 0 371893 0
Current children cumulated CPU time: 3601.42 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283560 KiB
[startup+3610.8 s]
/proc/loadavg: 4.16 4.14 4.07 5/262 9305
/proc/meminfo: memFree=111780308/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=1520140 memory=1283560 CPUtime=3601.81 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 164983 0 0 0 357582 2599 0 0 20 0 1 0 676238 1556623360 320890 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 380035 320890 1834 992 0 371893 0
Current children cumulated CPU time: 3601.81 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283560 KiB
[startup+3611 s]*
/proc/loadavg: 4.16 4.14 4.07 4/256 9332
/proc/meminfo: memFree=111785544/131524600 swapFree=131071996/131071996
[pid=7135] ppid=7132 vsize=1520140 memory=1283560 CPUtime=3602.02 cores=4,6
/proc/7135/stat : 7135 (roundingsat) R 7132 7135 6590 0 -1 4194304 164983 0 0 0 357603 2599 0 0 20 0 1 0 676238 1556623360 320890 134679101440 4194304 8255733 140727512218896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10625024 140727512220510 140727512220772 140727512220772 140727512227785 0
/proc/7135/statm: 380035 320890 1834 992 0 371893 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 1520140 KiB
Current children cumulated memory: 1283560 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3615.38
CPU time (s): 3602.04
CPU user time (s): 3576.03
CPU system time (s): 26.0062
CPU usage (%): 99.6311
Max. virtual memory (cumulated for all children) (KiB): 1520140
Max. memory (cumulated for all children) (KiB): 1283560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.03
system time used= 26.0062
maximum resident set size= 1283560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164983
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25778192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 192
involuntary context switches= 7605
# summary of solver processes directly reported to runsolver:
# pid: 7135
# total CPU time (s): 3602.04
# total CPU user time (s): 3576.03
# total CPU system time (s): 26.0062
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66206 second user time and 16.258 second system time
The end
Begin job on nodeC018 at 2024-07-30 13:59:48 IDJOB=4462973 IDBENCH=147859 IDSOLVER=3089 FILE ID=nodeC018/4462973-1722340788 RUNJOBID= nodeC018-1722340763-6601 SLURM_JOB_ID= 8248981 Free space on /tmp= 890020 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin18.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462973-1722340788/watcher-4462973-1722340788 -o /tmp/evaluation-result-4462973-1722340788/solver-4462973-1722340788 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722340763-6601 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462973-1722340788 --lp-cut-gomory=0 HOME/instance-4462973-1722340788.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 524c0290a9c7ac599d8004695d4c7f99 RANDOM SEED=768974306 nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3667.421 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 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 : 3687.951 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.08 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 : 3601.764 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.134 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.08 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 : 3664.223 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 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 : 3687.972 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.08 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 : 3645.582 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.128 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.08 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 130109132 kB MemAvailable: 129759908 kB Buffers: 44772 kB Cached: 443352 kB SwapCached: 0 kB Active: 153116 kB Inactive: 802456 kB Active(anon): 1548 kB Inactive(anon): 486964 kB Active(file): 151568 kB Inactive(file): 315492 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 62208 kB Writeback: 88 kB AnonPages: 466620 kB Mapped: 96364 kB Shmem: 21336 kB KReclaimable: 46728 kB Slab: 124760 kB SReclaimable: 46728 kB SUnreclaim: 78032 kB KernelStack: 4212 kB PageTables: 9892 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 799452 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 7776 kB HardwareCorrupted: 0 kB AnonHugePages: 223232 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 146132 kB DirectMap2M: 9064448 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 890028 MiB End job on nodeC018 at 2024-07-30 15:00:04