| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.03 | 3613.3 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_18.opb |
| MD5SUM | 175cf8fd081870b89b1494469c4bb17a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 293 |
| Best CPU time to get the best result obtained on this benchmark | 3600.07 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 8883 |
| Total number of constraints | 17459 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 17459 |
| Minimum length of a constraint | 18 |
| Maximum length of a constraint | 37 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 512 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2691 |
| Number of bits of the biggest sum of numbers | 12 |
| 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.60/0.63 c #variables 8883 #constraints 17459 8.17/8.25 c bounds - >= 0 @ 0.573981 8.17/8.25 c #Conflicts: 1000 | #Constraints: 18458 8.17/8.25 c #Conflicts: 2000 | #Constraints: 19458 8.17/8.25 c INPROCESSING 8.17/8.25 c bounds - >= 8 @ 3.52438 8.17/8.25 c bounds - >= 9 @ 3.52545 8.17/8.25 c bounds - >= 12 @ 3.52728 8.17/8.25 c bounds - >= 16 @ 3.52793 8.17/8.25 c bounds - >= 17 @ 3.53006 8.17/8.25 c bounds - >= 18 @ 3.53609 8.17/8.25 c bounds - >= 19 @ 3.53609 8.17/8.25 c bounds - >= 20 @ 3.53886 8.17/8.25 c bounds - >= 21 @ 3.54133 8.17/8.25 c bounds - >= 22 @ 3.54892 8.17/8.25 c bounds - >= 23 @ 3.55662 8.17/8.25 c bounds - >= 24 @ 3.56972 8.17/8.25 c bounds - >= 25 @ 3.58171 8.17/8.25 c bounds - >= 26 @ 3.6034 8.17/8.25 c bounds - >= 27 @ 3.62784 8.17/8.25 c bounds - >= 28 @ 3.65778 8.17/8.25 c bounds - >= 29 @ 3.67024 8.17/8.25 c bounds - >= 30 @ 3.73297 8.17/8.25 c bounds - >= 31 @ 3.79052 8.17/8.25 c bounds - >= 32 @ 3.97304 8.17/8.25 c bounds - >= 33 @ 4.08781 8.17/8.25 c #Conflicts: 3000 | #Constraints: 19611 8.17/8.25 c bounds - >= 34 @ 4.27484 8.17/8.25 c bounds - >= 35 @ 4.4595 8.17/8.25 c #Conflicts: 4000 | #Constraints: 20626 8.17/8.25 c INPROCESSING 8.17/8.25 c bounds - >= 36 @ 5.31546 8.17/8.25 c #Conflicts: 5000 | #Constraints: 20030 8.17/8.25 c #Conflicts: 6000 | #Constraints: 21030 8.17/8.25 c INPROCESSING 8.17/8.25 c GARBAGE COLLECT 8.17/8.25 c rational objective 36 11.15/11.25 c bounds - >= 37 @ 8.17731 11.15/11.25 c #Conflicts: 7000 | #Constraints: 20051 11.15/11.25 c bounds - >= 38 @ 9.37214 11.15/11.25 c #Conflicts: 8000 | #Constraints: 21060 11.15/11.25 c #Conflicts: 9000 | #Constraints: 22060 11.15/11.25 c bounds - >= 39 @ 10.3306 11.15/11.25 c INPROCESSING 11.15/11.25 c rational objective 39 16.64/16.72 c #Conflicts: 10000 | #Constraints: 20787 16.64/16.72 c #Conflicts: 11000 | #Constraints: 21787 16.64/16.72 c #Conflicts: 12000 | #Constraints: 22787 16.64/16.72 c INPROCESSING 16.64/16.72 c GARBAGE COLLECT 16.64/16.72 c bounds - >= 40 @ 13.9376 16.64/16.72 c bounds - >= 41 @ 14.1723 16.64/16.72 c #Conflicts: 13000 | #Constraints: 21269 16.64/16.72 c bounds - >= 42 @ 14.8717 16.64/16.72 c #Conflicts: 14000 | #Constraints: 22278 16.64/16.72 c #Conflicts: 15000 | #Constraints: 23278 16.64/16.72 c INPROCESSING 16.64/16.72 c rational objective 42 26.81/27.01 c #Conflicts: 16000 | #Constraints: 21488 26.81/27.01 c bounds - >= 43 @ 17.2363 26.81/27.01 c #Conflicts: 17000 | #Constraints: 22494 26.81/27.01 c #Conflicts: 18000 | #Constraints: 23494 26.81/27.01 c #Conflicts: 19000 | #Constraints: 24494 26.81/27.01 c #Conflicts: 20000 | #Constraints: 25494 26.81/27.01 c #Conflicts: 21000 | #Constraints: 26494 26.81/27.01 c #Conflicts: 22000 | #Constraints: 27494 26.81/27.01 c #Conflicts: 23000 | #Constraints: 28494 26.81/27.01 c #Conflicts: 24000 | #Constraints: 29494 26.81/27.01 c INPROCESSING 26.81/27.01 c GARBAGE COLLECT 26.81/27.01 c rational objective 43 41.38/41.58 c #Conflicts: 25000 | #Constraints: 24397 41.38/41.58 c bounds - >= 44 @ 29.0176 41.38/41.58 c #Conflicts: 26000 | #Constraints: 25409 41.38/41.58 c #Conflicts: 27000 | #Constraints: 26409 41.38/41.58 c bounds - >= 45 @ 31.5696 41.38/41.58 c #Conflicts: 28000 | #Constraints: 27418 41.38/41.58 c INPROCESSING 41.38/41.58 c #Conflicts: 29000 | #Constraints: 23193 41.38/41.58 c #Conflicts: 30000 | #Constraints: 24193 41.38/41.58 c #Conflicts: 31000 | #Constraints: 25193 41.38/41.58 c #Conflicts: 32000 | #Constraints: 26193 41.38/41.58 c #Conflicts: 33000 | #Constraints: 27193 41.38/41.58 c INPROCESSING 41.38/41.58 c GARBAGE COLLECT 41.38/41.58 c rational objective 45 60.43/60.63 c #Conflicts: 34000 | #Constraints: 23343 60.43/60.63 c #Conflicts: 35000 | #Constraints: 24343 60.43/60.63 c #Conflicts: 36000 | #Constraints: 25343 60.43/60.63 c #Conflicts: 37000 | #Constraints: 26343 60.43/60.63 c bounds - >= 46 @ 47.0649 60.43/60.63 c #Conflicts: 38000 | #Constraints: 27352 60.43/60.63 c #Conflicts: 39000 | #Constraints: 28352 60.43/60.63 c #Conflicts: 40000 | #Constraints: 29352 60.43/60.63 c #Conflicts: 41000 | #Constraints: 30352 60.43/60.63 c #Conflicts: 42000 | #Constraints: 31352 60.43/60.63 c #Conflicts: 43000 | #Constraints: 32352 60.43/60.63 c #Conflicts: 44000 | #Constraints: 33352 60.43/60.63 c #Conflicts: 45000 | #Constraints: 34352 60.43/60.63 c #Conflicts: 46000 | #Constraints: 35352 60.43/60.63 c #Conflicts: 47000 | #Constraints: 36352 60.43/60.63 c INPROCESSING 60.43/60.63 c GARBAGE COLLECT 60.43/60.63 c rational objective 46 74.59/74.88 c #Conflicts: 48000 | #Constraints: 28165 74.59/74.88 c #Conflicts: 49000 | #Constraints: 29165 74.59/74.88 c bounds - >= 47 @ 65.1869 74.59/74.88 c #Conflicts: 50000 | #Constraints: 30174 74.59/74.88 c #Conflicts: 51000 | #Constraints: 31174 74.59/74.88 c #Conflicts: 52000 | #Constraints: 32174 74.59/74.88 c INPROCESSING 74.59/74.88 c GARBAGE COLLECT 74.59/74.88 c rational objective 47 96.84/97.14 c #Conflicts: 53000 | #Constraints: 25579 96.84/97.14 c #Conflicts: 54000 | #Constraints: 26579 96.84/97.14 c #Conflicts: 55000 | #Constraints: 27579 96.84/97.14 c #Conflicts: 56000 | #Constraints: 28579 96.84/97.14 c #Conflicts: 57000 | #Constraints: 29579 96.84/97.14 c #Conflicts: 58000 | #Constraints: 30579 96.84/97.14 c #Conflicts: 59000 | #Constraints: 31579 96.84/97.14 c #Conflicts: 60000 | #Constraints: 32579 96.84/97.14 c #Conflicts: 61000 | #Constraints: 33579 96.84/97.14 c #Conflicts: 62000 | #Constraints: 34579 96.84/97.14 c #Conflicts: 63000 | #Constraints: 35579 96.84/97.14 c #Conflicts: 64000 | #Constraints: 36579 96.84/97.14 c #Conflicts: 65000 | #Constraints: 37579 96.84/97.14 c #Conflicts: 66000 | #Constraints: 38579 96.84/97.14 c #Conflicts: 67000 | #Constraints: 39579 96.84/97.14 c #Conflicts: 68000 | #Constraints: 40579 96.84/97.14 c #Conflicts: 69000 | #Constraints: 41579 96.84/97.14 c INPROCESSING 96.84/97.14 c GARBAGE COLLECT 96.84/97.14 c rational objective 47 116.98/117.38 c #Conflicts: 70000 | #Constraints: 30459 116.98/117.38 c #Conflicts: 71000 | #Constraints: 31459 116.98/117.38 c #Conflicts: 72000 | #Constraints: 32459 116.98/117.38 c #Conflicts: 73000 | #Constraints: 33459 116.98/117.38 c #Conflicts: 74000 | #Constraints: 34459 116.98/117.38 c bounds - >= 48 @ 108.114 116.98/117.38 c #Conflicts: 75000 | #Constraints: 35468 116.98/117.38 c #Conflicts: 76000 | #Constraints: 36468 116.98/117.38 c INPROCESSING 116.98/117.38 c GARBAGE COLLECT 116.98/117.38 c rational objective 48 148.71/149.14 c #Conflicts: 77000 | #Constraints: 27794 148.71/149.14 c #Conflicts: 78000 | #Constraints: 28794 148.71/149.14 c #Conflicts: 79000 | #Constraints: 29794 148.71/149.14 c #Conflicts: 80000 | #Constraints: 30794 148.71/149.14 c #Conflicts: 81000 | #Constraints: 31794 148.71/149.14 c #Conflicts: 82000 | #Constraints: 32794 148.71/149.14 c #Conflicts: 83000 | #Constraints: 33794 148.71/149.14 c #Conflicts: 84000 | #Constraints: 34794 148.71/149.14 c #Conflicts: 85000 | #Constraints: 35794 148.71/149.14 c #Conflicts: 86000 | #Constraints: 36794 148.71/149.14 c #Conflicts: 87000 | #Constraints: 37794 148.71/149.14 c #Conflicts: 88000 | #Constraints: 38794 148.71/149.14 c #Conflicts: 89000 | #Constraints: 39794 148.71/149.14 c #Conflicts: 90000 | #Constraints: 40794 148.71/149.14 c #Conflicts: 91000 | #Constraints: 41794 148.71/149.14 c #Conflicts: 92000 | #Constraints: 42794 148.71/149.14 c #Conflicts: 93000 | #Constraints: 43794 148.71/149.14 c #Conflicts: 94000 | #Constraints: 44794 148.71/149.14 c #Conflicts: 95000 | #Constraints: 45794 148.71/149.14 c #Conflicts: 96000 | #Constraints: 46794 148.71/149.14 c INPROCESSING 148.71/149.14 c GARBAGE COLLECT 148.71/149.14 c rational objective 48 177.23/177.72 c #Conflicts: 97000 | #Constraints: 33085 177.23/177.72 c #Conflicts: 98000 | #Constraints: 34085 177.23/177.72 c #Conflicts: 99000 | #Constraints: 35085 177.23/177.72 c #Conflicts: 100000 | #Constraints: 36085 177.23/177.72 c bounds - >= 49 @ 158.637 177.23/177.72 c #Conflicts: 101000 | #Constraints: 37094 177.23/177.72 c #Conflicts: 102000 | #Constraints: 38094 177.23/177.72 c #Conflicts: 103000 | #Constraints: 39094 177.23/177.72 c #Conflicts: 104000 | #Constraints: 40094 177.23/177.72 c #Conflicts: 105000 | #Constraints: 41094 177.23/177.72 c INPROCESSING 177.23/177.72 c GARBAGE COLLECT 177.23/177.72 c rational objective 49 214.62/215.29 c #Conflicts: 106000 | #Constraints: 30474 214.62/215.29 c #Conflicts: 107000 | #Constraints: 31474 214.62/215.29 c #Conflicts: 108000 | #Constraints: 32474 214.62/215.29 c #Conflicts: 109000 | #Constraints: 33474 214.62/215.29 c #Conflicts: 110000 | #Constraints: 34474 214.62/215.29 c #Conflicts: 111000 | #Constraints: 35474 214.62/215.29 c #Conflicts: 112000 | #Constraints: 36474 214.62/215.29 c #Conflicts: 113000 | #Constraints: 37474 214.62/215.29 c #Conflicts: 114000 | #Constraints: 38474 214.62/215.29 c #Conflicts: 115000 | #Constraints: 39474 214.62/215.29 c #Conflicts: 116000 | #Constraints: 40474 214.62/215.29 c #Conflicts: 117000 | #Constraints: 41474 214.62/215.29 c #Conflicts: 118000 | #Constraints: 42474 214.62/215.29 c #Conflicts: 119000 | #Constraints: 43474 214.62/215.29 c #Conflicts: 120000 | #Constraints: 44474 214.62/215.29 c #Conflicts: 121000 | #Constraints: 45474 214.62/215.29 c #Conflicts: 122000 | #Constraints: 46474 214.62/215.29 c #Conflicts: 123000 | #Constraints: 47474 214.62/215.29 c #Conflicts: 124000 | #Constraints: 48474 214.62/215.29 c #Conflicts: 125000 | #Constraints: 49474 214.62/215.29 c #Conflicts: 126000 | #Constraints: 50474 214.62/215.29 c #Conflicts: 127000 | #Constraints: 51474 214.62/215.29 c #Conflicts: 128000 | #Constraints: 52474 214.62/215.29 c INPROCESSING 214.62/215.29 c GARBAGE COLLECT 214.62/215.29 c rational objective 49 254.21/254.97 c #Conflicts: 129000 | #Constraints: 36324 254.21/254.97 c #Conflicts: 130000 | #Constraints: 37324 254.21/254.97 c #Conflicts: 131000 | #Constraints: 38324 254.21/254.97 c #Conflicts: 132000 | #Constraints: 39324 254.21/254.97 c #Conflicts: 133000 | #Constraints: 40324 254.21/254.97 c #Conflicts: 134000 | #Constraints: 41324 254.21/254.97 c #Conflicts: 135000 | #Constraints: 42324 254.21/254.97 c #Conflicts: 136000 | #Constraints: 43324 254.21/254.97 c #Conflicts: 137000 | #Constraints: 44324 254.21/254.97 c INPROCESSING 254.21/254.97 c GARBAGE COLLECT 254.21/254.97 c rational objective 49 303.69/304.50 c #Conflicts: 138000 | #Constraints: 31759 303.69/304.50 c #Conflicts: 139000 | #Constraints: 32759 303.69/304.50 c #Conflicts: 140000 | #Constraints: 33759 303.69/304.50 c #Conflicts: 141000 | #Constraints: 34759 303.69/304.50 c #Conflicts: 142000 | #Constraints: 35759 303.69/304.50 c #Conflicts: 143000 | #Constraints: 36759 303.69/304.50 c #Conflicts: 144000 | #Constraints: 37759 303.69/304.50 c #Conflicts: 145000 | #Constraints: 38759 303.69/304.50 c #Conflicts: 146000 | #Constraints: 39759 303.69/304.50 c #Conflicts: 147000 | #Constraints: 40759 303.69/304.50 c #Conflicts: 148000 | #Constraints: 41759 303.69/304.50 c #Conflicts: 149000 | #Constraints: 42759 303.69/304.50 c #Conflicts: 150000 | #Constraints: 43759 303.69/304.50 c #Conflicts: 151000 | #Constraints: 44759 303.69/304.50 c #Conflicts: 152000 | #Constraints: 45759 303.69/304.50 c #Conflicts: 153000 | #Constraints: 46759 303.69/304.50 c #Conflicts: 154000 | #Constraints: 47759 303.69/304.50 c #Conflicts: 155000 | #Constraints: 48759 303.69/304.50 c #Conflicts: 156000 | #Constraints: 49759 303.69/304.50 c #Conflicts: 157000 | #Constraints: 50759 303.69/304.50 c #Conflicts: 158000 | #Constraints: 51759 303.69/304.50 c #Conflicts: 159000 | #Constraints: 52759 303.69/304.50 c #Conflicts: 160000 | #Constraints: 53759 303.69/304.50 c #Conflicts: 161000 | #Constraints: 54759 303.69/304.50 c #Conflicts: 162000 | #Constraints: 55759 303.69/304.50 c #Conflicts: 163000 | #Constraints: 56759 303.69/304.50 c INPROCESSING 303.69/304.50 c GARBAGE COLLECT 303.69/304.50 c rational objective 49 350.97/351.92 c #Conflicts: 164000 | #Constraints: 38006 350.97/351.92 c bounds - >= 50 @ 303.883 350.97/351.92 c #Conflicts: 165000 | #Constraints: 39021 350.97/351.92 c #Conflicts: 166000 | #Constraints: 40021 350.97/351.92 c #Conflicts: 167000 | #Constraints: 41021 350.97/351.92 c bounds - >= 51 @ 312.812 350.97/351.92 c #Conflicts: 168000 | #Constraints: 42033 350.97/351.92 c #Conflicts: 169000 | #Constraints: 43033 350.97/351.92 c #Conflicts: 170000 | #Constraints: 44033 350.97/351.92 c bounds - >= 52 @ 325.905 350.97/351.92 c #Conflicts: 171000 | #Constraints: 45042 350.97/351.92 c #Conflicts: 172000 | #Constraints: 46042 350.97/351.92 c #Conflicts: 173000 | #Constraints: 47042 350.97/351.92 c bounds - >= 53 @ 338.698 350.97/351.92 c #Conflicts: 174000 | #Constraints: 48051 350.97/351.92 c INPROCESSING 350.97/351.92 c GARBAGE COLLECT 350.97/351.92 c rational objective 53 428.76/429.95 c #Conflicts: 175000 | #Constraints: 33577 428.76/429.95 c #Conflicts: 176000 | #Constraints: 34577 428.76/429.95 c #Conflicts: 177000 | #Constraints: 35577 428.76/429.95 c #Conflicts: 178000 | #Constraints: 36577 428.76/429.95 c #Conflicts: 179000 | #Constraints: 37577 428.76/429.95 c #Conflicts: 180000 | #Constraints: 38577 428.76/429.95 c #Conflicts: 181000 | #Constraints: 39577 428.76/429.95 c #Conflicts: 182000 | #Constraints: 40577 428.76/429.95 c #Conflicts: 183000 | #Constraints: 41577 428.76/429.95 c #Conflicts: 184000 | #Constraints: 42577 428.76/429.95 c #Conflicts: 185000 | #Constraints: 43577 428.76/429.95 c bounds - >= 54 @ 387.602 428.76/429.95 c #Conflicts: 186000 | #Constraints: 44589 428.76/429.95 c #Conflicts: 187000 | #Constraints: 45589 428.76/429.95 c #Conflicts: 188000 | #Constraints: 46589 428.76/429.95 c #Conflicts: 189000 | #Constraints: 47589 428.76/429.95 c #Conflicts: 190000 | #Constraints: 48589 428.76/429.95 c #Conflicts: 191000 | #Constraints: 49589 428.76/429.95 c #Conflicts: 192000 | #Constraints: 50589 428.76/429.95 c #Conflicts: 193000 | #Constraints: 51589 428.76/429.95 c #Conflicts: 194000 | #Constraints: 52589 428.76/429.95 c #Conflicts: 195000 | #Constraints: 53589 428.76/429.95 c #Conflicts: 196000 | #Constraints: 54589 428.76/429.95 c #Conflicts: 197000 | #Constraints: 55589 428.76/429.95 c #Conflicts: 198000 | #Constraints: 56589 428.76/429.95 c #Conflicts: 199000 | #Constraints: 57589 428.76/429.95 c #Conflicts: 200000 | #Constraints: 58589 428.76/429.95 c #Conflicts: 201000 | #Constraints: 59589 428.76/429.95 c #Conflicts: 202000 | #Constraints: 60589 428.76/429.95 c #Conflicts: 203000 | #Constraints: 61589 428.76/429.95 c #Conflicts: 204000 | #Constraints: 62589 428.76/429.95 c INPROCESSING 428.76/429.95 c GARBAGE COLLECT 428.76/429.95 c rational objective 54 481.52/482.81 c #Conflicts: 205000 | #Constraints: 41347 481.52/482.81 c #Conflicts: 206000 | #Constraints: 42347 481.52/482.81 c #Conflicts: 207000 | #Constraints: 43347 481.52/482.81 c #Conflicts: 208000 | #Constraints: 44347 481.52/482.81 c #Conflicts: 209000 | #Constraints: 45347 481.52/482.81 c #Conflicts: 210000 | #Constraints: 46347 481.52/482.81 c #Conflicts: 211000 | #Constraints: 47347 481.52/482.81 c #Conflicts: 212000 | #Constraints: 48347 481.52/482.81 c bounds - >= 55 @ 467.845 481.52/482.81 c #Conflicts: 213000 | #Constraints: 49356 481.52/482.81 c #Conflicts: 214000 | #Constraints: 50356 481.52/482.81 c #Conflicts: 215000 | #Constraints: 51356 481.52/482.81 c #Conflicts: 216000 | #Constraints: 52356 481.52/482.81 c INPROCESSING 481.52/482.81 c GARBAGE COLLECT 481.52/482.81 c rational objective 55 545.44/546.97 c #Conflicts: 217000 | #Constraints: 36010 545.44/546.97 c #Conflicts: 218000 | #Constraints: 37010 545.44/546.97 c #Conflicts: 219000 | #Constraints: 38010 545.44/546.97 c #Conflicts: 220000 | #Constraints: 39010 545.44/546.97 c #Conflicts: 221000 | #Constraints: 40010 545.44/546.97 c #Conflicts: 222000 | #Constraints: 41010 545.44/546.97 c #Conflicts: 223000 | #Constraints: 42010 545.44/546.97 c #Conflicts: 224000 | #Constraints: 43010 545.44/546.97 c #Conflicts: 225000 | #Constraints: 44010 545.44/546.97 c #Conflicts: 226000 | #Constraints: 45010 545.44/546.97 c #Conflicts: 227000 | #Constraints: 46010 545.44/546.97 c #Conflicts: 228000 | #Constraints: 47010 545.44/546.97 c #Conflicts: 229000 | #Constraints: 48010 545.44/546.97 c #Conflicts: 230000 | #Constraints: 49010 545.44/546.97 c #Conflicts: 231000 | #Constraints: 50010 545.44/546.97 c #Conflicts: 232000 | #Constraints: 51010 545.44/546.97 c #Conflicts: 233000 | #Constraints: 52010 545.44/546.97 c #Conflicts: 234000 | #Constraints: 53010 545.44/546.97 c #Conflicts: 235000 | #Constraints: 54010 545.44/546.97 c #Conflicts: 236000 | #Constraints: 55010 545.44/546.97 c #Conflicts: 237000 | #Constraints: 56010 545.44/546.97 c #Conflicts: 238000 | #Constraints: 57010 545.44/546.97 c #Conflicts: 239000 | #Constraints: 58010 545.44/546.97 c #Conflicts: 240000 | #Constraints: 59010 545.44/546.97 c #Conflicts: 241000 | #Constraints: 60010 545.44/546.97 c #Conflicts: 242000 | #Constraints: 61010 545.44/546.97 c #Conflicts: 243000 | #Constraints: 62010 545.44/546.97 c #Conflicts: 244000 | #Constraints: 63010 545.44/546.97 c #Conflicts: 245000 | #Constraints: 64010 545.44/546.97 c #Conflicts: 246000 | #Constraints: 65010 545.44/546.97 c #Conflicts: 247000 | #Constraints: 66010 545.44/546.97 c #Conflicts: 248000 | #Constraints: 67010 545.44/546.97 c INPROCESSING 545.44/546.97 c GARBAGE COLLECT 545.44/546.97 c rational objective 55 614.17/615.84 c #Conflicts: 249000 | #Constraints: 43337 614.17/615.84 c #Conflicts: 250000 | #Constraints: 44337 614.17/615.84 c #Conflicts: 251000 | #Constraints: 45337 614.17/615.84 c #Conflicts: 252000 | #Constraints: 46337 614.17/615.84 c #Conflicts: 253000 | #Constraints: 47337 614.17/615.84 c #Conflicts: 254000 | #Constraints: 48337 614.17/615.84 c #Conflicts: 255000 | #Constraints: 49337 614.17/615.84 c bounds - >= 56 @ 572.309 614.17/615.84 c #Conflicts: 256000 | #Constraints: 50343 614.17/615.84 c #Conflicts: 257000 | #Constraints: 51343 614.17/615.84 c #Conflicts: 258000 | #Constraints: 52343 614.17/615.84 c #Conflicts: 259000 | #Constraints: 53343 614.17/615.84 c #Conflicts: 260000 | #Constraints: 54343 614.17/615.84 c #Conflicts: 261000 | #Constraints: 55343 614.17/615.84 c #Conflicts: 262000 | #Constraints: 56343 614.17/615.84 c INPROCESSING 614.17/615.84 c GARBAGE COLLECT 614.17/615.84 c rational objective 56 695.04/697.00 c #Conflicts: 263000 | #Constraints: 38622 695.04/697.00 c #Conflicts: 264000 | #Constraints: 39622 695.04/697.00 c #Conflicts: 265000 | #Constraints: 40622 695.04/697.00 c #Conflicts: 266000 | #Constraints: 41622 695.04/697.00 c #Conflicts: 267000 | #Constraints: 42622 695.04/697.00 c #Conflicts: 268000 | #Constraints: 43622 695.04/697.00 c #Conflicts: 269000 | #Constraints: 44622 695.04/697.00 c #Conflicts: 270000 | #Constraints: 45622 695.04/697.00 c #Conflicts: 271000 | #Constraints: 46622 695.04/697.00 c #Conflicts: 272000 | #Constraints: 47622 695.04/697.00 c #Conflicts: 273000 | #Constraints: 48622 695.04/697.00 c #Conflicts: 274000 | #Constraints: 49622 695.04/697.00 c #Conflicts: 275000 | #Constraints: 50622 695.04/697.00 c #Conflicts: 276000 | #Constraints: 51622 695.04/697.00 c #Conflicts: 277000 | #Constraints: 52622 695.04/697.00 c #Conflicts: 278000 | #Constraints: 53622 695.04/697.00 c #Conflicts: 279000 | #Constraints: 54622 695.04/697.00 c #Conflicts: 280000 | #Constraints: 55622 695.04/697.00 c #Conflicts: 281000 | #Constraints: 56622 695.04/697.00 c #Conflicts: 282000 | #Constraints: 57622 695.04/697.00 c #Conflicts: 283000 | #Constraints: 58622 695.04/697.00 c #Conflicts: 284000 | #Constraints: 59622 695.04/697.00 c #Conflicts: 285000 | #Constraints: 60622 695.04/697.00 c #Conflicts: 286000 | #Constraints: 61622 695.04/697.00 c #Conflicts: 287000 | #Constraints: 62622 695.04/697.00 c #Conflicts: 288000 | #Constraints: 63622 695.04/697.00 c #Conflicts: 289000 | #Constraints: 64622 695.04/697.00 c #Conflicts: 290000 | #Constraints: 65622 695.04/697.00 c #Conflicts: 291000 | #Constraints: 66622 695.04/697.00 c #Conflicts: 292000 | #Constraints: 67622 695.04/697.00 c #Conflicts: 293000 | #Constraints: 68622 695.04/697.00 c #Conflicts: 294000 | #Constraints: 69622 695.04/697.00 c #Conflicts: 295000 | #Constraints: 70622 695.04/697.00 c #Conflicts: 296000 | #Constraints: 71622 695.04/697.00 c #Conflicts: 297000 | #Constraints: 72622 695.04/697.00 c INPROCESSING 695.04/697.00 c GARBAGE COLLECT 695.04/697.00 c rational objective 56 789.29/791.48 c #Conflicts: 298000 | #Constraints: 46081 789.29/791.48 c #Conflicts: 299000 | #Constraints: 47081 789.29/791.48 c bounds - >= 57 @ 698.666 789.29/791.48 c #Conflicts: 300000 | #Constraints: 48087 789.29/791.48 c #Conflicts: 301000 | #Constraints: 49087 789.29/791.48 c #Conflicts: 302000 | #Constraints: 50087 789.29/791.48 c #Conflicts: 303000 | #Constraints: 51087 789.29/791.48 c #Conflicts: 304000 | #Constraints: 52087 789.29/791.48 c #Conflicts: 305000 | #Constraints: 53087 789.29/791.48 c #Conflicts: 306000 | #Constraints: 54087 789.29/791.48 c #Conflicts: 307000 | #Constraints: 55087 789.29/791.48 c #Conflicts: 308000 | #Constraints: 56087 789.29/791.48 c #Conflicts: 309000 | #Constraints: 57087 789.29/791.48 c #Conflicts: 310000 | #Constraints: 58087 789.29/791.48 c #Conflicts: 311000 | #Constraints: 59087 789.29/791.48 c #Conflicts: 312000 | #Constraints: 60087 789.29/791.48 c INPROCESSING 789.29/791.48 c GARBAGE COLLECT 789.29/791.48 c rational objective 57 894.71/897.12 c #Conflicts: 313000 | #Constraints: 41150 894.71/897.12 c #Conflicts: 314000 | #Constraints: 42150 894.71/897.12 c #Conflicts: 315000 | #Constraints: 43150 894.71/897.12 c #Conflicts: 316000 | #Constraints: 44150 894.71/897.12 c #Conflicts: 317000 | #Constraints: 45150 894.71/897.12 c #Conflicts: 318000 | #Constraints: 46150 894.71/897.12 c #Conflicts: 319000 | #Constraints: 47150 894.71/897.12 c #Conflicts: 320000 | #Constraints: 48150 894.71/897.12 c #Conflicts: 321000 | #Constraints: 49150 894.71/897.12 c #Conflicts: 322000 | #Constraints: 50150 894.71/897.12 c #Conflicts: 323000 | #Constraints: 51150 894.71/897.12 c #Conflicts: 324000 | #Constraints: 52150 894.71/897.12 c #Conflicts: 325000 | #Constraints: 53150 894.71/897.12 c #Conflicts: 326000 | #Constraints: 54150 894.71/897.12 c #Conflicts: 327000 | #Constraints: 55150 894.71/897.12 c #Conflicts: 328000 | #Constraints: 56150 894.71/897.12 c #Conflicts: 329000 | #Constraints: 57150 894.71/897.12 c #Conflicts: 330000 | #Constraints: 58150 894.71/897.12 c #Conflicts: 331000 | #Constraints: 59150 894.71/897.12 c #Conflicts: 332000 | #Constraints: 60150 894.71/897.13 c #Conflicts: 333000 | #Constraints: 61150 894.71/897.13 c #Conflicts: 334000 | #Constraints: 62150 894.71/897.13 c #Conflicts: 335000 | #Constraints: 63150 894.71/897.13 c #Conflicts: 336000 | #Constraints: 64150 894.71/897.13 c #Conflicts: 337000 | #Constraints: 65150 894.71/897.13 c #Conflicts: 338000 | #Constraints: 66150 894.71/897.13 c #Conflicts: 339000 | #Constraints: 67150 894.71/897.13 c #Conflicts: 340000 | #Constraints: 68150 894.71/897.13 c #Conflicts: 341000 | #Constraints: 69150 894.71/897.13 c #Conflicts: 342000 | #Constraints: 70150 894.71/897.13 c #Conflicts: 343000 | #Constraints: 71150 894.71/897.13 c #Conflicts: 344000 | #Constraints: 72150 894.71/897.13 c #Conflicts: 345000 | #Constraints: 73150 894.71/897.13 c #Conflicts: 346000 | #Constraints: 74150 894.71/897.13 c #Conflicts: 347000 | #Constraints: 75150 894.71/897.13 c #Conflicts: 348000 | #Constraints: 76150 894.71/897.13 c #Conflicts: 349000 | #Constraints: 77150 894.71/897.13 c #Conflicts: 350000 | #Constraints: 78150 894.71/897.13 c #Conflicts: 351000 | #Constraints: 79150 894.71/897.13 c INPROCESSING 894.71/897.13 c GARBAGE COLLECT 894.71/897.13 c rational objective 57 1036.86/1039.75 c #Conflicts: 352000 | #Constraints: 49680 1036.86/1039.75 c #Conflicts: 353000 | #Constraints: 50680 1036.86/1039.75 c #Conflicts: 354000 | #Constraints: 51680 1036.86/1039.75 c #Conflicts: 355000 | #Constraints: 52680 1036.86/1039.75 c #Conflicts: 356000 | #Constraints: 53680 1036.86/1039.75 c bounds - >= 58 @ 924.928 1036.86/1039.75 c #Conflicts: 357000 | #Constraints: 54692 1036.86/1039.75 c #Conflicts: 358000 | #Constraints: 55692 1036.86/1039.75 c #Conflicts: 359000 | #Constraints: 56692 1036.86/1039.75 c #Conflicts: 360000 | #Constraints: 57692 1036.86/1039.75 c #Conflicts: 361000 | #Constraints: 58692 1036.86/1039.75 c #Conflicts: 362000 | #Constraints: 59692 1036.86/1039.75 c #Conflicts: 363000 | #Constraints: 60692 1036.86/1039.75 c #Conflicts: 364000 | #Constraints: 61692 1036.86/1039.75 c #Conflicts: 365000 | #Constraints: 62692 1036.86/1039.75 c #Conflicts: 366000 | #Constraints: 63692 1036.86/1039.75 c #Conflicts: 367000 | #Constraints: 64692 1036.86/1039.75 c INPROCESSING 1036.86/1039.75 c GARBAGE COLLECT 1036.86/1039.75 c rational objective 58 1263.57/1267.20 c #Conflicts: 368000 | #Constraints: 44887 1263.57/1267.20 c #Conflicts: 369000 | #Constraints: 45887 1263.57/1267.20 c #Conflicts: 370000 | #Constraints: 46887 1263.57/1267.20 c #Conflicts: 371000 | #Constraints: 47887 1263.57/1267.20 c #Conflicts: 372000 | #Constraints: 48887 1263.57/1267.20 c #Conflicts: 373000 | #Constraints: 49887 1263.57/1267.20 c #Conflicts: 374000 | #Constraints: 50887 1263.57/1267.20 c #Conflicts: 375000 | #Constraints: 51887 1263.57/1267.20 c #Conflicts: 376000 | #Constraints: 52887 1263.57/1267.20 c #Conflicts: 377000 | #Constraints: 53887 1263.57/1267.20 c #Conflicts: 378000 | #Constraints: 54887 1263.57/1267.20 c #Conflicts: 379000 | #Constraints: 55887 1263.57/1267.20 c bounds - >= 59 @ 1135.47 1263.57/1267.20 c #Conflicts: 380000 | #Constraints: 56896 1263.57/1267.20 c #Conflicts: 381000 | #Constraints: 57896 1263.57/1267.20 c #Conflicts: 382000 | #Constraints: 58896 1263.57/1267.20 c #Conflicts: 383000 | #Constraints: 59896 1263.57/1267.20 c #Conflicts: 384000 | #Constraints: 60896 1263.57/1267.20 c #Conflicts: 385000 | #Constraints: 61896 1263.57/1267.20 c #Conflicts: 386000 | #Constraints: 62896 1263.57/1267.20 c #Conflicts: 387000 | #Constraints: 63896 1263.57/1267.20 c #Conflicts: 388000 | #Constraints: 64896 1263.57/1267.20 c #Conflicts: 389000 | #Constraints: 65896 1263.57/1267.20 c #Conflicts: 390000 | #Constraints: 66896 1263.57/1267.20 c #Conflicts: 391000 | #Constraints: 67896 1263.57/1267.20 c #Conflicts: 392000 | #Constraints: 68896 1263.57/1267.20 c #Conflicts: 393000 | #Constraints: 69896 1263.57/1267.20 c #Conflicts: 394000 | #Constraints: 70896 1263.57/1267.20 c #Conflicts: 395000 | #Constraints: 71896 1263.57/1267.20 c #Conflicts: 396000 | #Constraints: 72896 1263.57/1267.20 c #Conflicts: 397000 | #Constraints: 73896 1263.57/1267.20 c #Conflicts: 398000 | #Constraints: 74896 1263.57/1267.20 c #Conflicts: 399000 | #Constraints: 75896 1263.57/1267.20 c #Conflicts: 400000 | #Constraints: 76896 1263.57/1267.20 c #Conflicts: 401000 | #Constraints: 77896 1263.57/1267.20 c #Conflicts: 402000 | #Constraints: 78896 1263.57/1267.20 c #Conflicts: 403000 | #Constraints: 79896 1263.57/1267.20 c #Conflicts: 404000 | #Constraints: 80896 1263.57/1267.20 c #Conflicts: 405000 | #Constraints: 81896 1263.57/1267.20 c #Conflicts: 406000 | #Constraints: 82896 1263.57/1267.20 c #Conflicts: 407000 | #Constraints: 83896 1263.57/1267.20 c #Conflicts: 408000 | #Constraints: 84896 1263.57/1267.20 c INPROCESSING 1263.57/1267.20 c GARBAGE COLLECT 1263.57/1267.20 c rational objective 59 1485.28/1489.53 c #Conflicts: 409000 | #Constraints: 52179 1485.28/1489.53 c #Conflicts: 410000 | #Constraints: 53179 1485.28/1489.53 c #Conflicts: 411000 | #Constraints: 54179 1485.28/1489.53 c #Conflicts: 412000 | #Constraints: 55179 1485.28/1489.53 c #Conflicts: 413000 | #Constraints: 56179 1485.28/1489.53 c #Conflicts: 414000 | #Constraints: 57179 1485.28/1489.53 c #Conflicts: 415000 | #Constraints: 58179 1485.28/1489.53 c #Conflicts: 416000 | #Constraints: 59179 1485.28/1489.53 c #Conflicts: 417000 | #Constraints: 60179 1485.28/1489.53 c #Conflicts: 418000 | #Constraints: 61179 1485.28/1489.53 c #Conflicts: 419000 | #Constraints: 62179 1485.28/1489.53 c #Conflicts: 420000 | #Constraints: 63179 1485.28/1489.53 c #Conflicts: 421000 | #Constraints: 64179 1485.28/1489.53 c #Conflicts: 422000 | #Constraints: 65179 1485.28/1489.53 c #Conflicts: 423000 | #Constraints: 66179 1485.28/1489.53 c #Conflicts: 424000 | #Constraints: 67179 1485.28/1489.53 c #Conflicts: 425000 | #Constraints: 68179 1485.28/1489.53 c #Conflicts: 426000 | #Constraints: 69179 1485.28/1489.53 c INPROCESSING 1485.28/1489.53 c GARBAGE COLLECT 1485.28/1489.53 c rational objective 59 1660.74/1665.58 c #Conflicts: 427000 | #Constraints: 50319 1660.74/1665.58 c #Conflicts: 428000 | #Constraints: 51319 1660.74/1665.58 c #Conflicts: 429000 | #Constraints: 52319 1660.74/1665.58 c #Conflicts: 430000 | #Constraints: 53319 1660.74/1665.58 c #Conflicts: 431000 | #Constraints: 54319 1660.74/1665.58 c #Conflicts: 432000 | #Constraints: 55319 1660.74/1665.58 c #Conflicts: 433000 | #Constraints: 56319 1660.74/1665.58 c #Conflicts: 434000 | #Constraints: 57319 1660.74/1665.58 c #Conflicts: 435000 | #Constraints: 58319 1660.74/1665.58 c #Conflicts: 436000 | #Constraints: 59319 1660.74/1665.58 c #Conflicts: 437000 | #Constraints: 60319 1660.74/1665.58 c #Conflicts: 438000 | #Constraints: 61319 1660.74/1665.58 c #Conflicts: 439000 | #Constraints: 62319 1660.74/1665.58 c #Conflicts: 440000 | #Constraints: 63319 1660.74/1665.58 c #Conflicts: 441000 | #Constraints: 64319 1660.74/1665.58 c #Conflicts: 442000 | #Constraints: 65319 1660.74/1665.58 c #Conflicts: 443000 | #Constraints: 66319 1660.74/1665.58 c #Conflicts: 444000 | #Constraints: 67319 1660.74/1665.58 c #Conflicts: 445000 | #Constraints: 68319 1660.74/1665.58 c #Conflicts: 446000 | #Constraints: 69319 1660.74/1665.59 c #Conflicts: 447000 | #Constraints: 70319 1660.74/1665.59 c #Conflicts: 448000 | #Constraints: 71319 1660.74/1665.59 c #Conflicts: 449000 | #Constraints: 72319 1660.74/1665.59 c #Conflicts: 450000 | #Constraints: 73319 1660.74/1665.59 c #Conflicts: 451000 | #Constraints: 74319 1660.74/1665.59 c #Conflicts: 452000 | #Constraints: 75319 1660.74/1665.59 c #Conflicts: 453000 | #Constraints: 76319 1660.74/1665.59 c #Conflicts: 454000 | #Constraints: 77319 1660.74/1665.59 c #Conflicts: 455000 | #Constraints: 78319 1660.74/1665.59 c #Conflicts: 456000 | #Constraints: 79319 1660.74/1665.59 c #Conflicts: 457000 | #Constraints: 80319 1660.74/1665.59 c #Conflicts: 458000 | #Constraints: 81319 1660.74/1665.59 c #Conflicts: 459000 | #Constraints: 82319 1660.74/1665.59 c #Conflicts: 460000 | #Constraints: 83319 1660.74/1665.59 c #Conflicts: 461000 | #Constraints: 84319 1660.74/1665.59 c #Conflicts: 462000 | #Constraints: 85319 1660.74/1665.59 c #Conflicts: 463000 | #Constraints: 86319 1660.74/1665.59 c #Conflicts: 464000 | #Constraints: 87319 1660.74/1665.59 c #Conflicts: 465000 | #Constraints: 88319 1660.74/1665.59 c #Conflicts: 466000 | #Constraints: 89319 1660.74/1665.59 c #Conflicts: 467000 | #Constraints: 90319 1660.74/1665.59 c #Conflicts: 468000 | #Constraints: 91319 1660.74/1665.59 c #Conflicts: 469000 | #Constraints: 92319 1660.74/1665.59 c #Conflicts: 470000 | #Constraints: 93319 1660.74/1665.59 c #Conflicts: 471000 | #Constraints: 94319 1660.74/1665.59 c INPROCESSING 1660.74/1665.59 c GARBAGE COLLECT 1660.74/1665.59 c rational objective 59 1893.42/1898.81 c #Conflicts: 472000 | #Constraints: 57369 1893.42/1898.81 c #Conflicts: 473000 | #Constraints: 58369 1893.42/1898.81 c #Conflicts: 474000 | #Constraints: 59369 1893.42/1898.81 c #Conflicts: 475000 | #Constraints: 60369 1893.42/1898.81 c #Conflicts: 476000 | #Constraints: 61369 1893.42/1898.81 c #Conflicts: 477000 | #Constraints: 62369 1893.42/1898.81 c #Conflicts: 478000 | #Constraints: 63369 1893.42/1898.81 c #Conflicts: 479000 | #Constraints: 64369 1893.42/1898.81 c #Conflicts: 480000 | #Constraints: 65369 1893.42/1898.81 c #Conflicts: 481000 | #Constraints: 66369 1893.42/1898.81 c #Conflicts: 482000 | #Constraints: 67369 1893.42/1898.81 c #Conflicts: 483000 | #Constraints: 68369 1893.42/1898.81 c #Conflicts: 484000 | #Constraints: 69369 1893.42/1898.81 c #Conflicts: 485000 | #Constraints: 70369 1893.42/1898.81 c #Conflicts: 486000 | #Constraints: 71369 1893.42/1898.81 c #Conflicts: 487000 | #Constraints: 72369 1893.42/1898.81 c #Conflicts: 488000 | #Constraints: 73369 1893.42/1898.81 c #Conflicts: 489000 | #Constraints: 74369 1893.42/1898.81 c INPROCESSING 1893.42/1898.81 c GARBAGE COLLECT 1893.42/1898.81 c rational objective 59 2097.22/2103.15 c #Conflicts: 490000 | #Constraints: 53563 2097.22/2103.15 c #Conflicts: 491000 | #Constraints: 54563 2097.22/2103.15 c #Conflicts: 492000 | #Constraints: 55563 2097.22/2103.15 c #Conflicts: 493000 | #Constraints: 56563 2097.22/2103.15 c #Conflicts: 494000 | #Constraints: 57563 2097.22/2103.15 c #Conflicts: 495000 | #Constraints: 58563 2097.22/2103.15 c #Conflicts: 496000 | #Constraints: 59563 2097.22/2103.15 c #Conflicts: 497000 | #Constraints: 60563 2097.22/2103.15 c #Conflicts: 498000 | #Constraints: 61563 2097.22/2103.15 c #Conflicts: 499000 | #Constraints: 62563 2097.22/2103.15 c #Conflicts: 500000 | #Constraints: 63563 2097.22/2103.15 c #Conflicts: 501000 | #Constraints: 64563 2097.22/2103.15 c #Conflicts: 502000 | #Constraints: 65563 2097.22/2103.15 c #Conflicts: 503000 | #Constraints: 66563 2097.22/2103.15 c #Conflicts: 504000 | #Constraints: 67563 2097.22/2103.15 c #Conflicts: 505000 | #Constraints: 68563 2097.22/2103.15 c #Conflicts: 506000 | #Constraints: 69563 2097.22/2103.15 c #Conflicts: 507000 | #Constraints: 70563 2097.22/2103.15 c #Conflicts: 508000 | #Constraints: 71563 2097.22/2103.15 c #Conflicts: 509000 | #Constraints: 72563 2097.22/2103.15 c #Conflicts: 510000 | #Constraints: 73563 2097.22/2103.15 c #Conflicts: 511000 | #Constraints: 74563 2097.22/2103.15 c #Conflicts: 512000 | #Constraints: 75563 2097.22/2103.15 c #Conflicts: 513000 | #Constraints: 76563 2097.22/2103.15 c #Conflicts: 514000 | #Constraints: 77563 2097.22/2103.15 c #Conflicts: 515000 | #Constraints: 78563 2097.22/2103.15 c #Conflicts: 516000 | #Constraints: 79563 2097.22/2103.15 c #Conflicts: 517000 | #Constraints: 80563 2097.22/2103.15 c #Conflicts: 518000 | #Constraints: 81563 2097.22/2103.15 c #Conflicts: 519000 | #Constraints: 82563 2097.22/2103.15 c #Conflicts: 520000 | #Constraints: 83563 2097.22/2103.15 c #Conflicts: 521000 | #Constraints: 84563 2097.22/2103.15 c #Conflicts: 522000 | #Constraints: 85563 2097.22/2103.15 c #Conflicts: 523000 | #Constraints: 86563 2097.22/2103.15 c #Conflicts: 524000 | #Constraints: 87563 2097.22/2103.15 c #Conflicts: 525000 | #Constraints: 88563 2097.22/2103.15 c #Conflicts: 526000 | #Constraints: 89563 2097.22/2103.15 c #Conflicts: 527000 | #Constraints: 90563 2097.22/2103.15 c #Conflicts: 528000 | #Constraints: 91563 2097.22/2103.15 c #Conflicts: 529000 | #Constraints: 92563 2097.22/2103.15 c #Conflicts: 530000 | #Constraints: 93563 2097.22/2103.15 c #Conflicts: 531000 | #Constraints: 94563 2097.22/2103.15 c #Conflicts: 532000 | #Constraints: 95563 2097.22/2103.15 c #Conflicts: 533000 | #Constraints: 96563 2097.22/2103.15 c #Conflicts: 534000 | #Constraints: 97563 2097.22/2103.15 c #Conflicts: 535000 | #Constraints: 98563 2097.22/2103.15 c #Conflicts: 536000 | #Constraints: 99563 2097.22/2103.15 c #Conflicts: 537000 | #Constraints: 100563 2097.22/2103.15 c INPROCESSING 2097.22/2103.15 c GARBAGE COLLECT 2097.22/2103.15 c rational objective 59 2379.80/2386.42 c #Conflicts: 538000 | #Constraints: 60233 2379.80/2386.42 c #Conflicts: 539000 | #Constraints: 61233 2379.80/2386.42 c #Conflicts: 540000 | #Constraints: 62233 2379.80/2386.42 c #Conflicts: 541000 | #Constraints: 63233 2379.80/2386.42 c #Conflicts: 542000 | #Constraints: 64233 2379.80/2386.42 c bounds - >= 60 @ 2148.55 2379.80/2386.42 c #Conflicts: 543000 | #Constraints: 65239 2379.80/2386.42 c #Conflicts: 544000 | #Constraints: 66239 2379.80/2386.42 c #Conflicts: 545000 | #Constraints: 67239 2379.80/2386.42 c #Conflicts: 546000 | #Constraints: 68239 2379.80/2386.42 c #Conflicts: 547000 | #Constraints: 69239 2379.80/2386.42 c #Conflicts: 548000 | #Constraints: 70239 2379.80/2386.42 c #Conflicts: 549000 | #Constraints: 71239 2379.80/2386.42 c #Conflicts: 550000 | #Constraints: 72239 2379.80/2386.42 c #Conflicts: 551000 | #Constraints: 73239 2379.80/2386.42 c #Conflicts: 552000 | #Constraints: 74239 2379.80/2386.42 c #Conflicts: 553000 | #Constraints: 75239 2379.80/2386.42 c #Conflicts: 554000 | #Constraints: 76239 2379.80/2386.42 c #Conflicts: 555000 | #Constraints: 77239 2379.80/2386.42 c #Conflicts: 556000 | #Constraints: 78239 2379.80/2386.42 c #Conflicts: 557000 | #Constraints: 79239 2379.80/2386.42 c INPROCESSING 2379.80/2386.42 c GARBAGE COLLECT 2379.80/2386.42 c rational objective 60 2620.68/2627.95 c #Conflicts: 558000 | #Constraints: 57525 2620.68/2627.95 c #Conflicts: 559000 | #Constraints: 58525 2620.68/2627.95 c #Conflicts: 560000 | #Constraints: 59525 2620.68/2627.95 c #Conflicts: 561000 | #Constraints: 60525 2620.68/2627.95 c #Conflicts: 562000 | #Constraints: 61525 2620.68/2627.95 c #Conflicts: 563000 | #Constraints: 62525 2620.68/2627.95 c #Conflicts: 564000 | #Constraints: 63525 2620.68/2627.95 c #Conflicts: 565000 | #Constraints: 64525 2620.68/2627.95 c #Conflicts: 566000 | #Constraints: 65525 2620.68/2627.95 c #Conflicts: 567000 | #Constraints: 66525 2620.68/2627.95 c #Conflicts: 568000 | #Constraints: 67525 2620.68/2627.95 c #Conflicts: 569000 | #Constraints: 68525 2620.68/2627.95 c #Conflicts: 570000 | #Constraints: 69525 2620.68/2627.95 c #Conflicts: 571000 | #Constraints: 70525 2620.68/2627.95 c #Conflicts: 572000 | #Constraints: 71525 2620.68/2627.95 c #Conflicts: 573000 | #Constraints: 72525 2620.68/2627.95 c #Conflicts: 574000 | #Constraints: 73525 2620.68/2627.95 c #Conflicts: 575000 | #Constraints: 74525 2620.68/2627.95 c #Conflicts: 576000 | #Constraints: 75525 2620.68/2627.95 c #Conflicts: 577000 | #Constraints: 76525 2620.68/2627.95 c #Conflicts: 578000 | #Constraints: 77525 2620.68/2627.95 c #Conflicts: 579000 | #Constraints: 78525 2620.68/2627.95 c #Conflicts: 580000 | #Constraints: 79525 2620.68/2627.95 c #Conflicts: 581000 | #Constraints: 80525 2620.68/2627.95 c #Conflicts: 582000 | #Constraints: 81525 2620.68/2627.95 c #Conflicts: 583000 | #Constraints: 82525 2620.68/2627.95 c #Conflicts: 584000 | #Constraints: 83525 2620.68/2627.95 c #Conflicts: 585000 | #Constraints: 84525 2620.68/2627.95 c #Conflicts: 586000 | #Constraints: 85525 2620.68/2627.95 c #Conflicts: 587000 | #Constraints: 86525 2620.68/2627.95 c #Conflicts: 588000 | #Constraints: 87525 2620.68/2627.95 c #Conflicts: 589000 | #Constraints: 88525 2620.68/2627.95 c #Conflicts: 590000 | #Constraints: 89525 2620.68/2627.95 c #Conflicts: 591000 | #Constraints: 90525 2620.68/2627.95 c #Conflicts: 592000 | #Constraints: 91525 2620.68/2627.95 c #Conflicts: 593000 | #Constraints: 92525 2620.68/2627.95 c #Conflicts: 594000 | #Constraints: 93525 2620.68/2627.95 c #Conflicts: 595000 | #Constraints: 94525 2620.68/2627.95 c #Conflicts: 596000 | #Constraints: 95525 2620.68/2627.95 c #Conflicts: 597000 | #Constraints: 96525 2620.68/2627.95 c #Conflicts: 598000 | #Constraints: 97525 2620.68/2627.95 c #Conflicts: 599000 | #Constraints: 98525 2620.68/2627.95 c #Conflicts: 600000 | #Constraints: 99525 2620.68/2627.95 c #Conflicts: 601000 | #Constraints: 100525 2620.68/2627.95 c #Conflicts: 602000 | #Constraints: 101525 2620.68/2627.95 c #Conflicts: 603000 | #Constraints: 102525 2620.68/2627.95 c #Conflicts: 604000 | #Constraints: 103525 2620.68/2627.95 c #Conflicts: 605000 | #Constraints: 104525 2620.68/2627.95 c #Conflicts: 606000 | #Constraints: 105525 2620.68/2627.95 c #Conflicts: 607000 | #Constraints: 106525 2620.68/2627.95 c #Conflicts: 608000 | #Constraints: 107525 2620.68/2627.95 c INPROCESSING 2620.68/2627.95 c GARBAGE COLLECT 2620.68/2627.95 c rational objective 60 2951.38/2959.40 c #Conflicts: 609000 | #Constraints: 63737 2951.38/2959.40 c #Conflicts: 610000 | #Constraints: 64737 2951.38/2959.40 c #Conflicts: 611000 | #Constraints: 65737 2951.38/2959.40 c #Conflicts: 612000 | #Constraints: 66737 2951.38/2959.40 c #Conflicts: 613000 | #Constraints: 67737 2951.38/2959.40 c #Conflicts: 614000 | #Constraints: 68737 2951.38/2959.40 c #Conflicts: 615000 | #Constraints: 69737 2951.38/2959.40 c #Conflicts: 616000 | #Constraints: 70737 2951.38/2959.40 c #Conflicts: 617000 | #Constraints: 71737 2951.38/2959.40 c bounds - >= 61 @ 2730.51 2951.38/2959.40 c #Conflicts: 618000 | #Constraints: 72746 2951.38/2959.40 c #Conflicts: 619000 | #Constraints: 73746 2951.38/2959.40 c #Conflicts: 620000 | #Constraints: 74746 2951.38/2959.40 c #Conflicts: 621000 | #Constraints: 75746 2951.38/2959.40 c #Conflicts: 622000 | #Constraints: 76746 2951.38/2959.40 c #Conflicts: 623000 | #Constraints: 77746 2951.38/2959.40 c #Conflicts: 624000 | #Constraints: 78746 2951.38/2959.40 c #Conflicts: 625000 | #Constraints: 79746 2951.38/2959.40 c #Conflicts: 626000 | #Constraints: 80746 2951.38/2959.40 c #Conflicts: 627000 | #Constraints: 81746 2951.38/2959.40 c #Conflicts: 628000 | #Constraints: 82746 2951.38/2959.40 c #Conflicts: 629000 | #Constraints: 83746 2951.38/2959.40 c #Conflicts: 630000 | #Constraints: 84746 2951.38/2959.40 c INPROCESSING 2951.38/2959.40 c GARBAGE COLLECT 2951.38/2959.40 c rational objective 61 3254.10/3262.98 c #Conflicts: 631000 | #Constraints: 61957 3254.10/3262.98 c #Conflicts: 632000 | #Constraints: 62957 3254.10/3262.98 c #Conflicts: 633000 | #Constraints: 63957 3254.10/3262.98 c #Conflicts: 634000 | #Constraints: 64957 3254.10/3262.98 c #Conflicts: 635000 | #Constraints: 65957 3254.10/3262.98 c #Conflicts: 636000 | #Constraints: 66957 3254.10/3262.98 c #Conflicts: 637000 | #Constraints: 67957 3254.10/3262.98 c #Conflicts: 638000 | #Constraints: 68957 3254.10/3262.98 c #Conflicts: 639000 | #Constraints: 69957 3254.10/3262.98 c #Conflicts: 640000 | #Constraints: 70957 3254.10/3262.98 c #Conflicts: 641000 | #Constraints: 71957 3254.10/3262.98 c #Conflicts: 642000 | #Constraints: 72957 3254.10/3262.98 c #Conflicts: 643000 | #Constraints: 73957 3254.10/3262.98 c #Conflicts: 644000 | #Constraints: 74957 3254.10/3262.98 c #Conflicts: 645000 | #Constraints: 75957 3254.10/3262.98 c #Conflicts: 646000 | #Constraints: 76957 3254.10/3262.98 c #Conflicts: 647000 | #Constraints: 77957 3254.10/3262.98 c #Conflicts: 648000 | #Constraints: 78957 3254.10/3262.98 c #Conflicts: 649000 | #Constraints: 79957 3254.10/3262.98 c #Conflicts: 650000 | #Constraints: 80957 3254.10/3262.98 c #Conflicts: 651000 | #Constraints: 81957 3254.10/3262.98 c #Conflicts: 652000 | #Constraints: 82957 3254.10/3262.98 c #Conflicts: 653000 | #Constraints: 83957 3254.10/3262.98 c #Conflicts: 654000 | #Constraints: 84957 3254.10/3262.98 c #Conflicts: 655000 | #Constraints: 85957 3254.10/3262.98 c #Conflicts: 656000 | #Constraints: 86957 3254.10/3262.98 c #Conflicts: 657000 | #Constraints: 87957 3254.10/3262.98 c #Conflicts: 658000 | #Constraints: 88957 3254.10/3262.98 c #Conflicts: 659000 | #Constraints: 89957 3254.10/3262.98 c #Conflicts: 660000 | #Constraints: 90957 3254.10/3262.98 c #Conflicts: 661000 | #Constraints: 91957 3254.10/3262.98 c #Conflicts: 662000 | #Constraints: 92957 3254.10/3262.98 c #Conflicts: 663000 | #Constraints: 93957 3254.10/3262.98 c #Conflicts: 664000 | #Constraints: 94957 3254.10/3262.98 c #Conflicts: 665000 | #Constraints: 95957 3254.10/3262.98 c #Conflicts: 666000 | #Constraints: 96957 3254.10/3262.98 c #Conflicts: 667000 | #Constraints: 97957 3254.10/3262.98 c #Conflicts: 668000 | #Constraints: 98957 3254.10/3262.98 c #Conflicts: 669000 | #Constraints: 99957 3254.10/3262.98 c #Conflicts: 670000 | #Constraints: 100957 3254.10/3262.98 c #Conflicts: 671000 | #Constraints: 101957 3254.10/3262.98 c #Conflicts: 672000 | #Constraints: 102957 3254.10/3262.98 c #Conflicts: 673000 | #Constraints: 103957 3254.10/3262.98 c #Conflicts: 674000 | #Constraints: 104957 3254.10/3262.98 c #Conflicts: 675000 | #Constraints: 105957 3254.10/3262.98 c #Conflicts: 676000 | #Constraints: 106957 3254.10/3262.98 c #Conflicts: 677000 | #Constraints: 107957 3254.10/3262.98 c #Conflicts: 678000 | #Constraints: 108957 3254.10/3262.98 c #Conflicts: 679000 | #Constraints: 109957 3254.10/3262.98 c #Conflicts: 680000 | #Constraints: 110957 3254.10/3262.98 c #Conflicts: 681000 | #Constraints: 111957 3254.10/3262.98 c #Conflicts: 682000 | #Constraints: 112957 3254.10/3262.98 c #Conflicts: 683000 | #Constraints: 113957 3254.10/3262.98 c #Conflicts: 684000 | #Constraints: 114957 3254.10/3262.98 c INPROCESSING 3254.10/3262.98 c GARBAGE COLLECT 3254.10/3262.98 c rational objective 61 3600.01/3609.74 c #Conflicts: 685000 | #Constraints: 67955 3600.01/3609.74 c #Conflicts: 686000 | #Constraints: 68955 3600.01/3609.74 c #Conflicts: 687000 | #Constraints: 69955 3600.01/3609.74 c #Conflicts: 688000 | #Constraints: 70955 3600.01/3609.74 c #Conflicts: 689000 | #Constraints: 71955 3600.01/3609.74 c #Conflicts: 690000 | #Constraints: 72955 3600.01/3609.74 c #Conflicts: 691000 | #Constraints: 73955 3600.01/3609.74 c #Conflicts: 692000 | #Constraints: 74955 3600.01/3609.74 c #Conflicts: 693000 | #Constraints: 75955 3600.01/3609.74 c #Conflicts: 694000 | #Constraints: 76955 3600.01/3609.74 c #Conflicts: 695000 | #Constraints: 77955 3600.01/3609.74 c #Conflicts: 696000 | #Constraints: 78955 3600.01/3609.74 c #Conflicts: 697000 | #Constraints: 79955 3600.01/3609.74 c #Conflicts: 698000 | #Constraints: 80955 3600.01/3609.74 c #Conflicts: 699000 | #Constraints: 81955 3600.01/3609.74 c #Conflicts: 700000 | #Constraints: 82955 3600.01/3609.74 c #Conflicts: 701000 | #Constraints: 83955 3600.01/3609.74 c #Conflicts: 702000 | #Constraints: 84955 3600.01/3609.74 c #Conflicts: 703000 | #Constraints: 85955 3600.01/3609.74 c #Conflicts: 704000 | #Constraints: 86955 3600.01/3609.74 c Program interrupted by user.
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: 64096 MiB (59795 MiB free)
memory of node 1: 64473 MiB (57146 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460200-1722064839/watcher-4460200-1722064839 -o /tmp/evaluation-result-4460200-1722064839/solver-4460200-1722064839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722064837-315454 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460200-1722064839 --lp-cut-gomory=0 HOME/instance-4460200-1722064839.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=315632, runsolver pid=315629
[startup+0.100849 s]*
/proc/loadavg: 0.11 0.10 0.09 5/241 315639
/proc/meminfo: memFree=119743768/131655788 swapFree=131071472/131071996
[pid=315632] ppid=315629 vsize=39528 memory=8840 CPUtime=0.1 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 1007 0 0 0 9 1 0 0 20 0 1 0 42472862 40476672 2210 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 9882 2210 1384 992 0 1740 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39528 KiB
Current children cumulated memory: 8840 KiB
[startup+0.213942 s]*
/proc/loadavg: 0.11 0.10 0.09 6/242 315641
/proc/meminfo: memFree=119737396/131655788 swapFree=131071472/131071996
[pid=315632] ppid=315629 vsize=39816 memory=11416 CPUtime=0.21 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 1149 0 0 0 20 1 0 0 20 0 1 0 42472862 40771584 2854 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 9954 2854 1384 992 0 1812 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39816 KiB
Current children cumulated memory: 11416 KiB
[startup+0.313779 s]*
/proc/loadavg: 0.11 0.10 0.09 5/241 315650
/proc/meminfo: memFree=119718660/131655788 swapFree=131071472/131071996
[pid=315632] ppid=315629 vsize=40232 memory=11632 CPUtime=0.31 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 1232 0 0 0 29 2 0 0 20 0 1 0 42472862 41197568 2908 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 10058 2908 1384 992 0 1916 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40232 KiB
Current children cumulated memory: 11632 KiB
[startup+0.700335 s]
/proc/loadavg: 0.11 0.10 0.09 5/246 315659
/proc/meminfo: memFree=119685512/131655788 swapFree=131071472/131071996
[pid=315632] ppid=315629 vsize=101720 memory=73912 CPUtime=0.68 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 16153 0 0 0 60 8 0 0 20 0 1 0 42472862 104161280 18478 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 25430 18478 1734 992 0 17288 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 101720 KiB
Current children cumulated memory: 73912 KiB
[startup+1.50035 s]
/proc/loadavg: 0.11 0.10 0.09 5/246 315659
/proc/meminfo: memFree=119591868/131655788 swapFree=131071472/131071996
[pid=315632] ppid=315629 vsize=98392 memory=70820 CPUtime=1.48 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 18863 0 0 0 136 12 0 0 20 0 1 0 42472862 100753408 17705 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 24598 17705 1812 992 0 16456 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 98392 KiB
Current children cumulated memory: 70820 KiB
[startup+3.11296 s]
/proc/loadavg: 0.42 0.16 0.11 4/241 315669
/proc/meminfo: memFree=119434096/131655788 swapFree=131071472/131071996
[pid=315632] ppid=315629 vsize=98392 memory=71548 CPUtime=3.09 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 19007 0 0 0 294 15 0 0 20 0 1 0 42472862 100753408 17887 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 24598 17887 1868 992 0 16456 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 98392 KiB
Current children cumulated memory: 71548 KiB
[startup+6.3003 s]
/proc/loadavg: 0.42 0.16 0.11 4/244 315802
/proc/meminfo: memFree=119196716/131655788 swapFree=131071472/131071996
[pid=315632] ppid=315629 vsize=112748 memory=83192 CPUtime=6.27 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 21382 0 0 0 605 22 0 0 20 0 1 0 42472862 115453952 20798 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 28187 20798 1884 992 0 20045 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 112748 KiB
Current children cumulated memory: 83192 KiB
[startup+12.7003 s]
/proc/loadavg: 1.05 0.30 0.16 5/246 315850
/proc/meminfo: memFree=118692236/131655788 swapFree=131071472/131071996
[pid=315632] ppid=315629 vsize=133832 memory=104476 CPUtime=12.65 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 22645 0 0 0 1230 35 0 0 20 0 1 0 42472862 137043968 26119 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 33458 26119 1884 992 0 25316 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 133832 KiB
Current children cumulated memory: 104476 KiB
[startup+25.5003 s]
/proc/loadavg: 1.50 0.43 0.20 5/247 315853
/proc/meminfo: memFree=117692384/131655788 swapFree=131071472/131071996
[pid=315632] ppid=315629 vsize=141012 memory=108052 CPUtime=25.42 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 23042 0 0 0 2484 58 0 0 20 0 1 0 42472862 144396288 27013 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 35253 27013 1884 992 0 27111 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 141012 KiB
Current children cumulated memory: 108052 KiB
[startup+51.1131 s]
/proc/loadavg: 2.55 0.76 0.32 5/247 315902
/proc/meminfo: memFree=115788404/131655788 swapFree=131071472/131071996
[pid=315632] ppid=315629 vsize=164656 memory=125832 CPUtime=50.97 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 25624 0 0 0 5005 92 0 0 20 0 1 0 42472862 168607744 31458 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 41164 31458 1884 992 0 33022 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 164656 KiB
Current children cumulated memory: 125832 KiB
[startup+102.3 s]
/proc/loadavg: 3.48 1.33 0.54 7/249 315915
/proc/meminfo: memFree=112115744/131655788 swapFree=131071472/131071996
[pid=315632] ppid=315629 vsize=164524 memory=130200 CPUtime=102.01 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 25788 0 0 0 10051 150 0 0 20 0 1 0 42472862 168472576 32550 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 41131 32550 1884 992 0 32989 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 164524 KiB
Current children cumulated memory: 130200 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 1.84 0.77 5/256 315932
/proc/meminfo: memFree=107867344/131655788 swapFree=131071472/131071996
[pid=315632] ppid=315629 vsize=164524 memory=132248 CPUtime=161.86 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 25838 0 0 0 15977 209 0 0 20 0 1 0 42472862 168472576 33062 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 41131 33062 1884 992 0 32989 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 164524 KiB
Current children cumulated memory: 132248 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.25 0.98 5/269 315956
/proc/meminfo: memFree=103521856/131655788 swapFree=131071472/131071996
[pid=315632] ppid=315629 vsize=176200 memory=135176 CPUtime=221.7 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 26151 0 0 0 21907 263 0 0 20 0 1 0 42472862 180428800 33794 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 44050 33794 1884 992 0 35908 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 176200 KiB
Current children cumulated memory: 135176 KiB
[startup+282.3 s]
/proc/loadavg: 4.22 2.65 1.20 5/269 315966
/proc/meminfo: memFree=99326044/131655788 swapFree=131071472/131071996
[pid=315632] ppid=315629 vsize=176200 memory=135392 CPUtime=281.56 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 26208 0 0 0 27850 306 0 0 20 0 1 0 42472862 180428800 33848 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 44050 33848 1884 992 0 35908 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 176200 KiB
Current children cumulated memory: 135392 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 2.93 1.38 5/268 316359
/proc/meminfo: memFree=95109004/131655788 swapFree=131071472/131071996
[pid=315632] ppid=315629 vsize=185088 memory=146140 CPUtime=341.4 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 28604 0 0 0 33801 339 0 0 20 0 1 0 42472862 189530112 36535 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 46272 36535 1884 992 0 38130 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 185088 KiB
Current children cumulated memory: 146140 KiB
[startup+402.3 s]
/proc/loadavg: 4.87 3.35 1.63 5/268 316370
/proc/meminfo: memFree=90905000/131655788 swapFree=131071472/131071996
[pid=315632] ppid=315629 vsize=185196 memory=146272 CPUtime=401.23 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 29370 0 0 0 39751 372 0 0 20 0 1 0 42472862 189640704 36568 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 46299 36568 1884 992 0 38157 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 185196 KiB
Current children cumulated memory: 146272 KiB
[startup+462.3 s]
/proc/loadavg: 4.62 3.58 1.82 5/269 316381
/proc/meminfo: memFree=86644528/131655788 swapFree=131071472/131071996
[pid=315632] ppid=315629 vsize=185196 memory=150368 CPUtime=461.08 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 29422 0 0 0 45701 407 0 0 20 0 1 0 42472862 189640704 37592 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 46299 37592 1884 992 0 38157 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.16 4.15 4.05 5/263 317728
/proc/meminfo: memFree=2497016/131655788 swapFree=131071216/131071996
[pid=315632] ppid=315629 vsize=240452 memory=204128 CPUtime=3153.77 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 59718 0 0 0 314056 1321 0 0 20 0 1 0 42472862 246222848 51032 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 60113 51032 1884 992 0 51971 0
Current children cumulated CPU time: 3153.77 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 204128 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.15 4.06 5/263 317739
/proc/meminfo: memFree=1791400/131655788 swapFree=131071216/131071996
[pid=315632] ppid=315629 vsize=240452 memory=204720 CPUtime=3213.6 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 60530 0 0 0 320024 1336 0 0 20 0 1 0 42472862 246222848 51180 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 60113 51180 1884 992 0 51971 0
Current children cumulated CPU time: 3213.6 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 204720 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.06 5/261 317751
/proc/meminfo: memFree=1312272/131655788 swapFree=131071216/131071996
[pid=315632] ppid=315629 vsize=240452 memory=206768 CPUtime=3273.44 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 61571 0 0 0 325990 1354 0 0 20 0 1 0 42472862 246222848 51692 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 60113 51692 1884 992 0 51971 0
Current children cumulated CPU time: 3273.44 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 206768 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.06 5/259 317761
/proc/meminfo: memFree=996304/131655788 swapFree=131071216/131071996
[pid=315632] ppid=315629 vsize=240452 memory=206768 CPUtime=3333.28 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 63220 0 0 0 331964 1364 0 0 20 0 1 0 42472862 246222848 51692 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 60113 51692 1884 992 0 51971 0
Current children cumulated CPU time: 3333.28 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 206768 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.06 5/258 317771
/proc/meminfo: memFree=523092/131655788 swapFree=131066584/131071996
[pid=315632] ppid=315629 vsize=240452 memory=206768 CPUtime=3393.13 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 64124 0 0 0 337937 1376 0 0 20 0 1 0 42472862 246222848 51692 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 60113 51692 1884 992 0 51971 0
Current children cumulated CPU time: 3393.13 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 206768 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.06 5/253 317781
/proc/meminfo: memFree=660228/131655788 swapFree=131066584/131071996
[pid=315632] ppid=315629 vsize=240452 memory=206768 CPUtime=3452.97 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 64686 0 0 0 343912 1385 0 0 20 0 1 0 42472862 246222848 51692 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 60113 51692 1884 992 0 51971 0
Current children cumulated CPU time: 3452.97 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 206768 KiB
[startup+3522.3 s]
/proc/loadavg: 4.36 4.17 4.08 5/245 317792
/proc/meminfo: memFree=576500/131655788 swapFree=131066328/131071996
[pid=315632] ppid=315629 vsize=240452 memory=206768 CPUtime=3512.82 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 65202 0 0 0 349887 1395 0 0 20 0 1 0 42472862 246222848 51692 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 60113 51692 1884 992 0 51971 0
Current children cumulated CPU time: 3512.82 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 206768 KiB
[startup+3582.3 s]
/proc/loadavg: 4.61 4.29 4.13 5/250 317809
/proc/meminfo: memFree=602788/131655788 swapFree=131066328/131071996
[pid=315632] ppid=315629 vsize=240452 memory=206768 CPUtime=3572.67 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 66114 0 0 0 355864 1403 0 0 20 0 1 0 42472862 246222848 51692 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 60113 51692 1884 992 0 51971 0
Current children cumulated CPU time: 3572.67 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 206768 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.43 4.27 4.13 5/259 317821
/proc/meminfo: memFree=1286796/131655788 swapFree=131066328/131071996
[pid=315632] ppid=315629 vsize=240452 memory=206768 CPUtime=3600.01 cores=4,6
/proc/315632/stat : 315632 (roundingsat) R 315629 315632 315438 0 -1 4194304 66266 0 0 0 358593 1408 0 0 20 0 1 0 42472862 246222848 51692 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 60113 51692 1884 992 0 51971 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 206768 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.43 4.27 4.13 2/260 317825
/proc/meminfo: memFree=941528/131655788 swapFree=131066328/131071996
[pid=315632] ppid=315629 vsize=240452 memory=206768 CPUtime=3600.01 cores=4,6
/proc/315632/stat : 315632 (roundingsat) D 315629 315632 315438 0 -1 4194304 66271 0 1 0 358593 1408 0 0 20 0 1 0 42472862 246222848 51692 134679101440 4194304 8254357 140735989532144 0 0 256 0 0 25182210 0 0 0 17 4 0 0 4 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 60113 51692 1884 992 0 51971 0
??? kill 315632 sig 9
??? end of watcher thread
[startup+3613.3 s]
# the end of solver process 315632 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3585.94 s, system=14.0878 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 4.43 4.27 4.13 3/259 317821
/proc/meminfo: memFree=952260/131655788 swapFree=131066328/131071996
[pid=315632] ppid=315629 vsize=240452 memory=206768 CPUtime=3600.01 cores=4,6
/proc/315632/stat : 315632 (roundingsat) D 315629 315632 315438 0 -1 4194304 66271 0 1 0 358593 1408 0 0 20 0 1 0 42472862 246222848 51692 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 60113 51692 1884 992 0 51971 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 206768 KiB
[startup+3611.2 s]
/proc/loadavg: 4.43 4.27 4.13 3/259 317823
/proc/meminfo: memFree=950568/131655788 swapFree=131066328/131071996
[pid=315632] ppid=315629 vsize=240452 memory=206768 CPUtime=3600.01 cores=4,6
/proc/315632/stat : 315632 (roundingsat) D 315629 315632 315438 0 -1 4194304 66271 0 1 0 358593 1408 0 0 20 0 1 0 42472862 246222848 51692 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 60113 51692 1884 992 0 51971 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 206768 KiB
[startup+3611.6 s]
/proc/loadavg: 4.43 4.27 4.13 3/259 317823
/proc/meminfo: memFree=950568/131655788 swapFree=131066328/131071996
[pid=315632] ppid=315629 vsize=240452 memory=206768 CPUtime=3600.01 cores=4,6
/proc/315632/stat : 315632 (roundingsat) D 315629 315632 315438 0 -1 4194304 66271 0 1 0 358593 1408 0 0 20 0 1 0 42472862 246222848 51692 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 60113 51692 1884 992 0 51971 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 206768 KiB
[startup+3611.7 s]
/proc/loadavg: 4.43 4.27 4.13 3/259 317823
/proc/meminfo: memFree=950568/131655788 swapFree=131066328/131071996
[pid=315632] ppid=315629 vsize=240452 memory=206768 CPUtime=3600.01 cores=4,6
/proc/315632/stat : 315632 (roundingsat) D 315629 315632 315438 0 -1 4194304 66271 0 1 0 358593 1408 0 0 20 0 1 0 42472862 246222848 51692 134679101440 4194304 8254357 140735989532144 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 9037040 9046032 25083904 140735989535579 140735989535841 140735989535841 140735989542857 0
/proc/315632/statm: 60113 51692 1884 992 0 51971 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 206768 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.3
CPU time (s): 3600.03
CPU user time (s): 3585.94
CPU system time (s): 14.0878
CPU usage (%): 99.6327
Max. virtual memory (cumulated for all children) (KiB): 240452
Max. memory (cumulated for all children) (KiB): 206768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.94
system time used= 14.0878
maximum resident set size= 207140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66271
page faults= 1
swaps= 0
block input operations= 4224
block output operations= 702872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62
involuntary context switches= 4785
# summary of solver processes directly reported to runsolver:
# pid: 315632
# total CPU time (s): 3600.03
# total CPU user time (s): 3585.94
# total CPU system time (s): 14.0878
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6433 second user time and 39.3454 second system time
The end
Begin job on nodeC004 at 2024-07-27 09:20:39 IDJOB=4460200 IDBENCH=147625 IDSOLVER=3086 FILE ID=nodeC004/4460200-1722064839 RUNJOBID= nodeC004-1722064837-315454 SLURM_JOB_ID= 8248106 Free space on /tmp= 723760 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_18.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-4460200-1722064839/watcher-4460200-1722064839 -o /tmp/evaluation-result-4460200-1722064839/solver-4460200-1722064839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722064837-315454 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460200-1722064839 --lp-cut-gomory=0 HOME/instance-4460200-1722064839.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 175cf8fd081870b89b1494469c4bb17a RANDOM SEED=1663965919 nodeC004.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 : 0xb00001f cpu MHz : 2394.559 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.13 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 : 0xb00001f cpu MHz : 1197.297 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 1197.494 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.13 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 : 0xb00001f cpu MHz : 1197.298 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 1197.283 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.13 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 : 0xb00001f cpu MHz : 1486.721 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.36 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 : 0xb00001f cpu MHz : 1197.303 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.13 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 : 0xb00001f cpu MHz : 1197.283 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 119758940 kB MemAvailable: 129827768 kB Buffers: 375280 kB Cached: 10491992 kB SwapCached: 60 kB Active: 2800892 kB Inactive: 8470800 kB Active(anon): 1428 kB Inactive(anon): 456516 kB Active(file): 2799464 kB Inactive(file): 8014284 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 46232 kB Writeback: 0 kB AnonPages: 401612 kB Mapped: 119164 kB Shmem: 53860 kB KReclaimable: 190556 kB Slab: 304420 kB SReclaimable: 190556 kB SUnreclaim: 113864 kB KernelStack: 3776 kB PageTables: 10148 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 708140 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20128 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 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: 392008 kB DirectMap2M: 50892800 kB DirectMap1G: 84934656 kB Free space on /tmp at the end= 723736 MiB End job on nodeC004 at 2024-07-27 10:20:52