| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.09 | 3610.12 |
| 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.51/0.59 c #variables 8883 #constraints 17459 7.77/7.88 c bounds - >= 0 @ 0.536575 7.77/7.88 c #Conflicts: 1000 | #Constraints: 18458 7.77/7.88 c #Conflicts: 2000 | #Constraints: 19458 7.77/7.88 c INPROCESSING 7.77/7.88 c bounds - >= 8 @ 3.34182 7.77/7.88 c bounds - >= 9 @ 3.34288 7.77/7.88 c bounds - >= 12 @ 3.34476 7.77/7.88 c bounds - >= 16 @ 3.34543 7.77/7.88 c bounds - >= 17 @ 3.3475 7.77/7.88 c bounds - >= 18 @ 3.35352 7.77/7.88 c bounds - >= 19 @ 3.35409 7.77/7.88 c bounds - >= 20 @ 3.35722 7.77/7.88 c bounds - >= 21 @ 3.35968 7.77/7.88 c bounds - >= 22 @ 3.36652 7.77/7.88 c bounds - >= 23 @ 3.37328 7.77/7.88 c bounds - >= 24 @ 3.38601 7.77/7.88 c bounds - >= 25 @ 3.39793 7.77/7.88 c bounds - >= 26 @ 3.41708 7.77/7.88 c bounds - >= 27 @ 3.44062 7.77/7.88 c bounds - >= 28 @ 3.46803 7.77/7.88 c bounds - >= 29 @ 3.47999 7.77/7.88 c bounds - >= 30 @ 3.53956 7.77/7.88 c bounds - >= 31 @ 3.59652 7.77/7.88 c bounds - >= 32 @ 3.7739 7.77/7.88 c bounds - >= 33 @ 3.88372 7.77/7.88 c #Conflicts: 3000 | #Constraints: 19611 7.77/7.88 c bounds - >= 34 @ 4.06271 7.77/7.88 c bounds - >= 35 @ 4.23772 7.77/7.88 c #Conflicts: 4000 | #Constraints: 20626 7.77/7.88 c INPROCESSING 7.77/7.88 c bounds - >= 36 @ 5.04848 7.77/7.88 c #Conflicts: 5000 | #Constraints: 20030 7.77/7.88 c #Conflicts: 6000 | #Constraints: 21030 7.77/7.88 c INPROCESSING 7.77/7.88 c GARBAGE COLLECT 7.77/7.88 c rational objective 36 10.76/10.82 c bounds - >= 37 @ 7.82895 10.76/10.82 c #Conflicts: 7000 | #Constraints: 20051 10.76/10.82 c bounds - >= 38 @ 8.99711 10.76/10.82 c #Conflicts: 8000 | #Constraints: 21060 10.76/10.82 c #Conflicts: 9000 | #Constraints: 22060 10.76/10.82 c bounds - >= 39 @ 9.92879 10.76/10.82 c INPROCESSING 10.76/10.82 c rational objective 39 15.97/16.09 c #Conflicts: 10000 | #Constraints: 20787 15.97/16.09 c #Conflicts: 11000 | #Constraints: 21787 15.97/16.09 c #Conflicts: 12000 | #Constraints: 22787 15.97/16.09 c INPROCESSING 15.97/16.09 c GARBAGE COLLECT 15.97/16.09 c bounds - >= 40 @ 13.4152 15.97/16.09 c bounds - >= 41 @ 13.6429 15.97/16.09 c #Conflicts: 13000 | #Constraints: 21269 15.97/16.09 c bounds - >= 42 @ 14.324 15.97/16.09 c #Conflicts: 14000 | #Constraints: 22278 15.97/16.09 c #Conflicts: 15000 | #Constraints: 23278 15.97/16.09 c INPROCESSING 15.97/16.09 c rational objective 42 25.93/26.04 c #Conflicts: 16000 | #Constraints: 21488 25.93/26.04 c bounds - >= 43 @ 16.6189 25.93/26.04 c #Conflicts: 17000 | #Constraints: 22494 25.93/26.04 c #Conflicts: 18000 | #Constraints: 23494 25.93/26.04 c #Conflicts: 19000 | #Constraints: 24494 25.93/26.04 c #Conflicts: 20000 | #Constraints: 25494 25.93/26.04 c #Conflicts: 21000 | #Constraints: 26494 25.93/26.04 c #Conflicts: 22000 | #Constraints: 27494 25.93/26.04 c #Conflicts: 23000 | #Constraints: 28494 25.93/26.04 c #Conflicts: 24000 | #Constraints: 29494 25.93/26.04 c INPROCESSING 25.93/26.04 c GARBAGE COLLECT 25.93/26.04 c rational objective 43 40.26/40.43 c #Conflicts: 25000 | #Constraints: 24397 40.26/40.43 c bounds - >= 44 @ 28.1318 40.26/40.43 c #Conflicts: 26000 | #Constraints: 25409 40.26/40.43 c #Conflicts: 27000 | #Constraints: 26409 40.26/40.43 c bounds - >= 45 @ 30.5771 40.26/40.43 c #Conflicts: 28000 | #Constraints: 27418 40.26/40.43 c INPROCESSING 40.26/40.43 c #Conflicts: 29000 | #Constraints: 23193 40.26/40.43 c #Conflicts: 30000 | #Constraints: 24193 40.26/40.43 c #Conflicts: 31000 | #Constraints: 25193 40.26/40.43 c #Conflicts: 32000 | #Constraints: 26193 40.26/40.43 c #Conflicts: 33000 | #Constraints: 27193 40.26/40.43 c INPROCESSING 40.26/40.43 c GARBAGE COLLECT 40.26/40.43 c rational objective 45 58.82/59.05 c #Conflicts: 34000 | #Constraints: 23343 58.82/59.05 c #Conflicts: 35000 | #Constraints: 24343 58.82/59.05 c #Conflicts: 36000 | #Constraints: 25343 58.82/59.05 c #Conflicts: 37000 | #Constraints: 26343 58.82/59.05 c bounds - >= 46 @ 45.6853 58.82/59.05 c #Conflicts: 38000 | #Constraints: 27352 58.82/59.05 c #Conflicts: 39000 | #Constraints: 28352 58.82/59.05 c #Conflicts: 40000 | #Constraints: 29352 58.82/59.05 c #Conflicts: 41000 | #Constraints: 30352 58.82/59.05 c #Conflicts: 42000 | #Constraints: 31352 58.82/59.05 c #Conflicts: 43000 | #Constraints: 32352 58.82/59.05 c #Conflicts: 44000 | #Constraints: 33352 58.82/59.05 c #Conflicts: 45000 | #Constraints: 34352 58.82/59.05 c #Conflicts: 46000 | #Constraints: 35352 58.82/59.05 c #Conflicts: 47000 | #Constraints: 36352 58.82/59.05 c INPROCESSING 58.82/59.05 c GARBAGE COLLECT 58.82/59.05 c rational objective 46 72.46/72.74 c #Conflicts: 48000 | #Constraints: 28165 72.46/72.74 c #Conflicts: 49000 | #Constraints: 29165 72.46/72.74 c bounds - >= 47 @ 63.4608 72.46/72.74 c #Conflicts: 50000 | #Constraints: 30174 72.46/72.74 c #Conflicts: 51000 | #Constraints: 31174 72.46/72.74 c #Conflicts: 52000 | #Constraints: 32174 72.46/72.74 c INPROCESSING 72.46/72.74 c GARBAGE COLLECT 72.46/72.74 c rational objective 47 93.40/93.72 c #Conflicts: 53000 | #Constraints: 25579 93.40/93.72 c #Conflicts: 54000 | #Constraints: 26579 93.40/93.72 c #Conflicts: 55000 | #Constraints: 27579 93.40/93.72 c #Conflicts: 56000 | #Constraints: 28579 93.40/93.72 c #Conflicts: 57000 | #Constraints: 29579 93.40/93.72 c #Conflicts: 58000 | #Constraints: 30579 93.40/93.72 c #Conflicts: 59000 | #Constraints: 31579 93.40/93.72 c #Conflicts: 60000 | #Constraints: 32579 93.40/93.72 c #Conflicts: 61000 | #Constraints: 33579 93.40/93.72 c #Conflicts: 62000 | #Constraints: 34579 93.40/93.72 c #Conflicts: 63000 | #Constraints: 35579 93.40/93.72 c #Conflicts: 64000 | #Constraints: 36579 93.40/93.72 c #Conflicts: 65000 | #Constraints: 37579 93.40/93.72 c #Conflicts: 66000 | #Constraints: 38579 93.40/93.72 c #Conflicts: 67000 | #Constraints: 39579 93.40/93.72 c #Conflicts: 68000 | #Constraints: 40579 93.40/93.72 c #Conflicts: 69000 | #Constraints: 41579 93.40/93.72 c INPROCESSING 93.40/93.72 c GARBAGE COLLECT 93.40/93.72 c rational objective 47 112.56/112.96 c #Conflicts: 70000 | #Constraints: 30459 112.56/112.96 c #Conflicts: 71000 | #Constraints: 31459 112.56/112.96 c #Conflicts: 72000 | #Constraints: 32459 112.56/112.96 c #Conflicts: 73000 | #Constraints: 33459 112.56/112.96 c #Conflicts: 74000 | #Constraints: 34459 112.56/112.96 c bounds - >= 48 @ 103.929 112.56/112.96 c #Conflicts: 75000 | #Constraints: 35468 112.56/112.96 c #Conflicts: 76000 | #Constraints: 36468 112.56/112.96 c INPROCESSING 112.56/112.96 c GARBAGE COLLECT 112.56/112.96 c rational objective 48 143.69/144.14 c #Conflicts: 77000 | #Constraints: 27794 143.69/144.14 c #Conflicts: 78000 | #Constraints: 28794 143.69/144.14 c #Conflicts: 79000 | #Constraints: 29794 143.69/144.14 c #Conflicts: 80000 | #Constraints: 30794 143.69/144.14 c #Conflicts: 81000 | #Constraints: 31794 143.69/144.14 c #Conflicts: 82000 | #Constraints: 32794 143.69/144.14 c #Conflicts: 83000 | #Constraints: 33794 143.69/144.14 c #Conflicts: 84000 | #Constraints: 34794 143.69/144.14 c #Conflicts: 85000 | #Constraints: 35794 143.69/144.14 c #Conflicts: 86000 | #Constraints: 36794 143.69/144.14 c #Conflicts: 87000 | #Constraints: 37794 143.69/144.14 c #Conflicts: 88000 | #Constraints: 38794 143.69/144.14 c #Conflicts: 89000 | #Constraints: 39794 143.69/144.14 c #Conflicts: 90000 | #Constraints: 40794 143.69/144.14 c #Conflicts: 91000 | #Constraints: 41794 143.69/144.14 c #Conflicts: 92000 | #Constraints: 42794 143.69/144.14 c #Conflicts: 93000 | #Constraints: 43794 143.69/144.14 c #Conflicts: 94000 | #Constraints: 44794 143.69/144.14 c #Conflicts: 95000 | #Constraints: 45794 143.69/144.14 c #Conflicts: 96000 | #Constraints: 46794 143.69/144.14 c INPROCESSING 143.69/144.14 c GARBAGE COLLECT 143.69/144.14 c rational objective 48 172.51/173.02 c #Conflicts: 97000 | #Constraints: 33085 172.51/173.02 c #Conflicts: 98000 | #Constraints: 34085 172.51/173.02 c #Conflicts: 99000 | #Constraints: 35085 172.51/173.02 c #Conflicts: 100000 | #Constraints: 36085 172.51/173.02 c bounds - >= 49 @ 153.595 172.51/173.02 c #Conflicts: 101000 | #Constraints: 37094 172.51/173.02 c #Conflicts: 102000 | #Constraints: 38094 172.51/173.02 c #Conflicts: 103000 | #Constraints: 39094 172.51/173.02 c #Conflicts: 104000 | #Constraints: 40094 172.51/173.02 c #Conflicts: 105000 | #Constraints: 41094 172.51/173.02 c INPROCESSING 172.51/173.02 c GARBAGE COLLECT 172.51/173.02 c rational objective 49 210.51/211.14 c #Conflicts: 106000 | #Constraints: 30474 210.51/211.14 c #Conflicts: 107000 | #Constraints: 31474 210.51/211.14 c #Conflicts: 108000 | #Constraints: 32474 210.51/211.14 c #Conflicts: 109000 | #Constraints: 33474 210.51/211.14 c #Conflicts: 110000 | #Constraints: 34474 210.51/211.14 c #Conflicts: 111000 | #Constraints: 35474 210.51/211.14 c #Conflicts: 112000 | #Constraints: 36474 210.51/211.14 c #Conflicts: 113000 | #Constraints: 37474 210.51/211.14 c #Conflicts: 114000 | #Constraints: 38474 210.51/211.14 c #Conflicts: 115000 | #Constraints: 39474 210.51/211.14 c #Conflicts: 116000 | #Constraints: 40474 210.51/211.14 c #Conflicts: 117000 | #Constraints: 41474 210.51/211.14 c #Conflicts: 118000 | #Constraints: 42474 210.51/211.14 c #Conflicts: 119000 | #Constraints: 43474 210.51/211.14 c #Conflicts: 120000 | #Constraints: 44474 210.51/211.14 c #Conflicts: 121000 | #Constraints: 45474 210.51/211.14 c #Conflicts: 122000 | #Constraints: 46474 210.51/211.14 c #Conflicts: 123000 | #Constraints: 47474 210.51/211.14 c #Conflicts: 124000 | #Constraints: 48474 210.51/211.14 c #Conflicts: 125000 | #Constraints: 49474 210.51/211.14 c #Conflicts: 126000 | #Constraints: 50474 210.51/211.14 c #Conflicts: 127000 | #Constraints: 51474 210.51/211.14 c #Conflicts: 128000 | #Constraints: 52474 210.51/211.14 c INPROCESSING 210.51/211.14 c GARBAGE COLLECT 210.51/211.14 c rational objective 49 256.65/257.43 c #Conflicts: 129000 | #Constraints: 36324 256.65/257.43 c #Conflicts: 130000 | #Constraints: 37324 256.65/257.43 c #Conflicts: 131000 | #Constraints: 38324 256.65/257.43 c #Conflicts: 132000 | #Constraints: 39324 256.65/257.43 c #Conflicts: 133000 | #Constraints: 40324 256.65/257.43 c #Conflicts: 134000 | #Constraints: 41324 256.65/257.43 c #Conflicts: 135000 | #Constraints: 42324 256.65/257.43 c #Conflicts: 136000 | #Constraints: 43324 256.65/257.43 c #Conflicts: 137000 | #Constraints: 44324 256.65/257.43 c INPROCESSING 256.65/257.43 c GARBAGE COLLECT 256.65/257.43 c rational objective 49 317.25/318.28 c #Conflicts: 138000 | #Constraints: 31759 317.25/318.28 c #Conflicts: 139000 | #Constraints: 32759 317.25/318.28 c #Conflicts: 140000 | #Constraints: 33759 317.25/318.28 c #Conflicts: 141000 | #Constraints: 34759 317.25/318.28 c #Conflicts: 142000 | #Constraints: 35759 317.25/318.28 c #Conflicts: 143000 | #Constraints: 36759 317.25/318.28 c #Conflicts: 144000 | #Constraints: 37759 317.25/318.28 c #Conflicts: 145000 | #Constraints: 38759 317.25/318.28 c #Conflicts: 146000 | #Constraints: 39759 317.25/318.28 c #Conflicts: 147000 | #Constraints: 40759 317.25/318.28 c #Conflicts: 148000 | #Constraints: 41759 317.25/318.28 c #Conflicts: 149000 | #Constraints: 42759 317.25/318.28 c #Conflicts: 150000 | #Constraints: 43759 317.25/318.28 c #Conflicts: 151000 | #Constraints: 44759 317.25/318.28 c #Conflicts: 152000 | #Constraints: 45759 317.25/318.28 c #Conflicts: 153000 | #Constraints: 46759 317.25/318.28 c #Conflicts: 154000 | #Constraints: 47759 317.25/318.28 c #Conflicts: 155000 | #Constraints: 48759 317.25/318.28 c #Conflicts: 156000 | #Constraints: 49759 317.25/318.28 c #Conflicts: 157000 | #Constraints: 50759 317.25/318.28 c #Conflicts: 158000 | #Constraints: 51759 317.25/318.28 c #Conflicts: 159000 | #Constraints: 52759 317.25/318.28 c #Conflicts: 160000 | #Constraints: 53759 317.25/318.28 c #Conflicts: 161000 | #Constraints: 54759 317.25/318.28 c #Conflicts: 162000 | #Constraints: 55759 317.25/318.28 c #Conflicts: 163000 | #Constraints: 56759 317.25/318.28 c INPROCESSING 317.25/318.28 c GARBAGE COLLECT 317.25/318.28 c rational objective 49 381.13/382.34 c #Conflicts: 164000 | #Constraints: 38006 381.13/382.34 c bounds - >= 50 @ 318.371 381.13/382.34 c #Conflicts: 165000 | #Constraints: 39021 381.13/382.34 c #Conflicts: 166000 | #Constraints: 40021 381.13/382.34 c #Conflicts: 167000 | #Constraints: 41021 381.13/382.34 c bounds - >= 51 @ 329.917 381.13/382.34 c #Conflicts: 168000 | #Constraints: 42033 381.13/382.34 c #Conflicts: 169000 | #Constraints: 43033 381.13/382.34 c #Conflicts: 170000 | #Constraints: 44033 381.13/382.34 c bounds - >= 52 @ 347.457 381.13/382.34 c #Conflicts: 171000 | #Constraints: 45042 381.13/382.34 c #Conflicts: 172000 | #Constraints: 46042 381.13/382.34 c #Conflicts: 173000 | #Constraints: 47042 381.13/382.34 c bounds - >= 53 @ 365.389 381.13/382.34 c #Conflicts: 174000 | #Constraints: 48051 381.13/382.34 c INPROCESSING 381.13/382.34 c GARBAGE COLLECT 381.13/382.34 c rational objective 53 476.17/477.63 c #Conflicts: 175000 | #Constraints: 33577 476.17/477.63 c #Conflicts: 176000 | #Constraints: 34577 476.17/477.63 c #Conflicts: 177000 | #Constraints: 35577 476.17/477.63 c #Conflicts: 178000 | #Constraints: 36577 476.17/477.63 c #Conflicts: 179000 | #Constraints: 37577 476.17/477.63 c #Conflicts: 180000 | #Constraints: 38577 476.17/477.63 c #Conflicts: 181000 | #Constraints: 39577 476.17/477.63 c #Conflicts: 182000 | #Constraints: 40577 476.17/477.63 c #Conflicts: 183000 | #Constraints: 41577 476.17/477.63 c #Conflicts: 184000 | #Constraints: 42577 476.17/477.63 c #Conflicts: 185000 | #Constraints: 43577 476.17/477.63 c bounds - >= 54 @ 426.937 476.17/477.63 c #Conflicts: 186000 | #Constraints: 44589 476.17/477.63 c #Conflicts: 187000 | #Constraints: 45589 476.17/477.63 c #Conflicts: 188000 | #Constraints: 46589 476.17/477.63 c #Conflicts: 189000 | #Constraints: 47589 476.17/477.63 c #Conflicts: 190000 | #Constraints: 48589 476.17/477.63 c #Conflicts: 191000 | #Constraints: 49589 476.17/477.63 c #Conflicts: 192000 | #Constraints: 50589 476.17/477.63 c #Conflicts: 193000 | #Constraints: 51589 476.17/477.63 c #Conflicts: 194000 | #Constraints: 52589 476.17/477.63 c #Conflicts: 195000 | #Constraints: 53589 476.17/477.63 c #Conflicts: 196000 | #Constraints: 54589 476.17/477.63 c #Conflicts: 197000 | #Constraints: 55589 476.17/477.63 c #Conflicts: 198000 | #Constraints: 56589 476.17/477.63 c #Conflicts: 199000 | #Constraints: 57589 476.17/477.63 c #Conflicts: 200000 | #Constraints: 58589 476.17/477.63 c #Conflicts: 201000 | #Constraints: 59589 476.17/477.63 c #Conflicts: 202000 | #Constraints: 60589 476.17/477.63 c #Conflicts: 203000 | #Constraints: 61589 476.17/477.63 c #Conflicts: 204000 | #Constraints: 62589 476.17/477.63 c INPROCESSING 476.17/477.63 c GARBAGE COLLECT 476.17/477.63 c rational objective 54 548.78/550.43 c #Conflicts: 205000 | #Constraints: 41347 548.78/550.43 c #Conflicts: 206000 | #Constraints: 42347 548.78/550.43 c #Conflicts: 207000 | #Constraints: 43347 548.78/550.43 c #Conflicts: 208000 | #Constraints: 44347 548.78/550.43 c #Conflicts: 209000 | #Constraints: 45347 548.78/550.43 c #Conflicts: 210000 | #Constraints: 46347 548.78/550.43 c #Conflicts: 211000 | #Constraints: 47347 548.78/550.43 c #Conflicts: 212000 | #Constraints: 48347 548.78/550.43 c bounds - >= 55 @ 532.61 548.78/550.43 c #Conflicts: 213000 | #Constraints: 49356 548.78/550.43 c #Conflicts: 214000 | #Constraints: 50356 548.78/550.43 c #Conflicts: 215000 | #Constraints: 51356 548.78/550.43 c #Conflicts: 216000 | #Constraints: 52356 548.78/550.43 c INPROCESSING 548.78/550.43 c GARBAGE COLLECT 548.78/550.43 c rational objective 55 626.87/628.72 c #Conflicts: 217000 | #Constraints: 36010 626.87/628.72 c #Conflicts: 218000 | #Constraints: 37010 626.87/628.72 c #Conflicts: 219000 | #Constraints: 38010 626.87/628.72 c #Conflicts: 220000 | #Constraints: 39010 626.87/628.72 c #Conflicts: 221000 | #Constraints: 40010 626.87/628.72 c #Conflicts: 222000 | #Constraints: 41010 626.87/628.72 c #Conflicts: 223000 | #Constraints: 42010 626.87/628.72 c #Conflicts: 224000 | #Constraints: 43010 626.87/628.72 c #Conflicts: 225000 | #Constraints: 44010 626.87/628.72 c #Conflicts: 226000 | #Constraints: 45010 626.87/628.72 c #Conflicts: 227000 | #Constraints: 46010 626.87/628.72 c #Conflicts: 228000 | #Constraints: 47010 626.87/628.72 c #Conflicts: 229000 | #Constraints: 48010 626.87/628.72 c #Conflicts: 230000 | #Constraints: 49010 626.87/628.72 c #Conflicts: 231000 | #Constraints: 50010 626.87/628.72 c #Conflicts: 232000 | #Constraints: 51010 626.87/628.72 c #Conflicts: 233000 | #Constraints: 52010 626.87/628.72 c #Conflicts: 234000 | #Constraints: 53010 626.87/628.72 c #Conflicts: 235000 | #Constraints: 54010 626.87/628.72 c #Conflicts: 236000 | #Constraints: 55010 626.87/628.72 c #Conflicts: 237000 | #Constraints: 56010 626.87/628.72 c #Conflicts: 238000 | #Constraints: 57010 626.87/628.72 c #Conflicts: 239000 | #Constraints: 58010 626.87/628.72 c #Conflicts: 240000 | #Constraints: 59010 626.87/628.72 c #Conflicts: 241000 | #Constraints: 60010 626.87/628.72 c #Conflicts: 242000 | #Constraints: 61010 626.87/628.72 c #Conflicts: 243000 | #Constraints: 62010 626.87/628.72 c #Conflicts: 244000 | #Constraints: 63010 626.87/628.72 c #Conflicts: 245000 | #Constraints: 64010 626.87/628.72 c #Conflicts: 246000 | #Constraints: 65010 626.87/628.72 c #Conflicts: 247000 | #Constraints: 66010 626.87/628.72 c #Conflicts: 248000 | #Constraints: 67010 626.87/628.72 c INPROCESSING 626.87/628.72 c GARBAGE COLLECT 626.87/628.72 c rational objective 55 722.73/724.82 c #Conflicts: 249000 | #Constraints: 43337 722.73/724.82 c #Conflicts: 250000 | #Constraints: 44337 722.73/724.82 c #Conflicts: 251000 | #Constraints: 45337 722.73/724.82 c #Conflicts: 252000 | #Constraints: 46337 722.73/724.82 c #Conflicts: 253000 | #Constraints: 47337 722.73/724.82 c #Conflicts: 254000 | #Constraints: 48337 722.73/724.82 c #Conflicts: 255000 | #Constraints: 49337 722.73/724.82 c bounds - >= 56 @ 666.36 722.73/724.82 c #Conflicts: 256000 | #Constraints: 50343 722.73/724.82 c #Conflicts: 257000 | #Constraints: 51343 722.73/724.82 c #Conflicts: 258000 | #Constraints: 52343 722.73/724.82 c #Conflicts: 259000 | #Constraints: 53343 722.73/724.82 c #Conflicts: 260000 | #Constraints: 54343 722.73/724.82 c #Conflicts: 261000 | #Constraints: 55343 722.73/724.82 c #Conflicts: 262000 | #Constraints: 56343 722.73/724.82 c INPROCESSING 722.73/724.82 c GARBAGE COLLECT 722.73/724.82 c rational objective 56 822.27/824.65 c #Conflicts: 263000 | #Constraints: 38622 822.27/824.65 c #Conflicts: 264000 | #Constraints: 39622 822.27/824.65 c #Conflicts: 265000 | #Constraints: 40622 822.27/824.65 c #Conflicts: 266000 | #Constraints: 41622 822.27/824.65 c #Conflicts: 267000 | #Constraints: 42622 822.27/824.65 c #Conflicts: 268000 | #Constraints: 43622 822.27/824.65 c #Conflicts: 269000 | #Constraints: 44622 822.27/824.65 c #Conflicts: 270000 | #Constraints: 45622 822.27/824.65 c #Conflicts: 271000 | #Constraints: 46622 822.27/824.65 c #Conflicts: 272000 | #Constraints: 47622 822.27/824.65 c #Conflicts: 273000 | #Constraints: 48622 822.27/824.65 c #Conflicts: 274000 | #Constraints: 49622 822.27/824.65 c #Conflicts: 275000 | #Constraints: 50622 822.27/824.65 c #Conflicts: 276000 | #Constraints: 51622 822.27/824.65 c #Conflicts: 277000 | #Constraints: 52622 822.27/824.65 c #Conflicts: 278000 | #Constraints: 53622 822.27/824.65 c #Conflicts: 279000 | #Constraints: 54622 822.27/824.65 c #Conflicts: 280000 | #Constraints: 55622 822.27/824.65 c #Conflicts: 281000 | #Constraints: 56622 822.27/824.65 c #Conflicts: 282000 | #Constraints: 57622 822.27/824.65 c #Conflicts: 283000 | #Constraints: 58622 822.27/824.65 c #Conflicts: 284000 | #Constraints: 59622 822.27/824.65 c #Conflicts: 285000 | #Constraints: 60622 822.27/824.65 c #Conflicts: 286000 | #Constraints: 61622 822.27/824.65 c #Conflicts: 287000 | #Constraints: 62622 822.27/824.65 c #Conflicts: 288000 | #Constraints: 63622 822.27/824.65 c #Conflicts: 289000 | #Constraints: 64622 822.27/824.65 c #Conflicts: 290000 | #Constraints: 65622 822.27/824.65 c #Conflicts: 291000 | #Constraints: 66622 822.27/824.65 c #Conflicts: 292000 | #Constraints: 67622 822.27/824.65 c #Conflicts: 293000 | #Constraints: 68622 822.27/824.65 c #Conflicts: 294000 | #Constraints: 69622 822.27/824.65 c #Conflicts: 295000 | #Constraints: 70622 822.27/824.65 c #Conflicts: 296000 | #Constraints: 71622 822.27/824.65 c #Conflicts: 297000 | #Constraints: 72622 822.27/824.65 c INPROCESSING 822.27/824.65 c GARBAGE COLLECT 822.27/824.65 c rational objective 56 954.95/957.69 c #Conflicts: 298000 | #Constraints: 46081 954.95/957.69 c #Conflicts: 299000 | #Constraints: 47081 954.95/957.69 c bounds - >= 57 @ 829.637 954.95/957.69 c #Conflicts: 300000 | #Constraints: 48087 954.95/957.69 c #Conflicts: 301000 | #Constraints: 49087 954.95/957.69 c #Conflicts: 302000 | #Constraints: 50087 954.95/957.69 c #Conflicts: 303000 | #Constraints: 51087 954.95/957.69 c #Conflicts: 304000 | #Constraints: 52087 954.95/957.69 c #Conflicts: 305000 | #Constraints: 53087 954.95/957.69 c #Conflicts: 306000 | #Constraints: 54087 954.95/957.69 c #Conflicts: 307000 | #Constraints: 55087 954.95/957.69 c #Conflicts: 308000 | #Constraints: 56087 954.95/957.69 c #Conflicts: 309000 | #Constraints: 57087 954.95/957.69 c #Conflicts: 310000 | #Constraints: 58087 954.95/957.69 c #Conflicts: 311000 | #Constraints: 59087 954.95/957.69 c #Conflicts: 312000 | #Constraints: 60087 954.95/957.69 c INPROCESSING 954.95/957.69 c GARBAGE COLLECT 954.95/957.69 c rational objective 57 1090.82/1093.85 c #Conflicts: 313000 | #Constraints: 41150 1090.82/1093.85 c #Conflicts: 314000 | #Constraints: 42150 1090.82/1093.85 c #Conflicts: 315000 | #Constraints: 43150 1090.82/1093.85 c #Conflicts: 316000 | #Constraints: 44150 1090.82/1093.85 c #Conflicts: 317000 | #Constraints: 45150 1090.82/1093.85 c #Conflicts: 318000 | #Constraints: 46150 1090.82/1093.85 c #Conflicts: 319000 | #Constraints: 47150 1090.82/1093.85 c #Conflicts: 320000 | #Constraints: 48150 1090.82/1093.85 c #Conflicts: 321000 | #Constraints: 49150 1090.82/1093.85 c #Conflicts: 322000 | #Constraints: 50150 1090.82/1093.85 c #Conflicts: 323000 | #Constraints: 51150 1090.82/1093.85 c #Conflicts: 324000 | #Constraints: 52150 1090.82/1093.85 c #Conflicts: 325000 | #Constraints: 53150 1090.82/1093.85 c #Conflicts: 326000 | #Constraints: 54150 1090.82/1093.85 c #Conflicts: 327000 | #Constraints: 55150 1090.82/1093.85 c #Conflicts: 328000 | #Constraints: 56150 1090.82/1093.85 c #Conflicts: 329000 | #Constraints: 57150 1090.82/1093.85 c #Conflicts: 330000 | #Constraints: 58150 1090.82/1093.85 c #Conflicts: 331000 | #Constraints: 59150 1090.82/1093.85 c #Conflicts: 332000 | #Constraints: 60150 1090.82/1093.85 c #Conflicts: 333000 | #Constraints: 61150 1090.82/1093.85 c #Conflicts: 334000 | #Constraints: 62150 1090.82/1093.85 c #Conflicts: 335000 | #Constraints: 63150 1090.82/1093.85 c #Conflicts: 336000 | #Constraints: 64150 1090.82/1093.85 c #Conflicts: 337000 | #Constraints: 65150 1090.82/1093.85 c #Conflicts: 338000 | #Constraints: 66150 1090.82/1093.85 c #Conflicts: 339000 | #Constraints: 67150 1090.82/1093.85 c #Conflicts: 340000 | #Constraints: 68150 1090.82/1093.85 c #Conflicts: 341000 | #Constraints: 69150 1090.82/1093.85 c #Conflicts: 342000 | #Constraints: 70150 1090.82/1093.85 c #Conflicts: 343000 | #Constraints: 71150 1090.82/1093.85 c #Conflicts: 344000 | #Constraints: 72150 1090.82/1093.85 c #Conflicts: 345000 | #Constraints: 73150 1090.82/1093.85 c #Conflicts: 346000 | #Constraints: 74150 1090.82/1093.85 c #Conflicts: 347000 | #Constraints: 75150 1090.82/1093.85 c #Conflicts: 348000 | #Constraints: 76150 1090.82/1093.85 c #Conflicts: 349000 | #Constraints: 77150 1090.82/1093.85 c #Conflicts: 350000 | #Constraints: 78150 1090.82/1093.85 c #Conflicts: 351000 | #Constraints: 79150 1090.82/1093.85 c INPROCESSING 1090.82/1093.85 c GARBAGE COLLECT 1090.82/1093.85 c rational objective 57 1292.29/1295.80 c #Conflicts: 352000 | #Constraints: 49680 1292.29/1295.80 c #Conflicts: 353000 | #Constraints: 50680 1292.29/1295.80 c #Conflicts: 354000 | #Constraints: 51680 1292.29/1295.80 c #Conflicts: 355000 | #Constraints: 52680 1292.29/1295.80 c #Conflicts: 356000 | #Constraints: 53680 1292.29/1295.80 c bounds - >= 58 @ 1137.18 1292.29/1295.80 c #Conflicts: 357000 | #Constraints: 54692 1292.29/1295.80 c #Conflicts: 358000 | #Constraints: 55692 1292.29/1295.80 c #Conflicts: 359000 | #Constraints: 56692 1292.29/1295.80 c #Conflicts: 360000 | #Constraints: 57692 1292.29/1295.80 c #Conflicts: 361000 | #Constraints: 58692 1292.29/1295.80 c #Conflicts: 362000 | #Constraints: 59692 1292.29/1295.80 c #Conflicts: 363000 | #Constraints: 60692 1292.29/1295.80 c #Conflicts: 364000 | #Constraints: 61692 1292.29/1295.80 c #Conflicts: 365000 | #Constraints: 62692 1292.29/1295.80 c #Conflicts: 366000 | #Constraints: 63692 1292.29/1295.80 c #Conflicts: 367000 | #Constraints: 64692 1292.29/1295.80 c INPROCESSING 1292.29/1295.80 c GARBAGE COLLECT 1292.29/1295.80 c rational objective 58 1592.42/1596.74 c #Conflicts: 368000 | #Constraints: 44887 1592.42/1596.74 c #Conflicts: 369000 | #Constraints: 45887 1592.42/1596.74 c #Conflicts: 370000 | #Constraints: 46887 1592.42/1596.74 c #Conflicts: 371000 | #Constraints: 47887 1592.42/1596.74 c #Conflicts: 372000 | #Constraints: 48887 1592.42/1596.74 c #Conflicts: 373000 | #Constraints: 49887 1592.42/1596.74 c #Conflicts: 374000 | #Constraints: 50887 1592.42/1596.74 c #Conflicts: 375000 | #Constraints: 51887 1592.42/1596.74 c #Conflicts: 376000 | #Constraints: 52887 1592.42/1596.74 c #Conflicts: 377000 | #Constraints: 53887 1592.42/1596.74 c #Conflicts: 378000 | #Constraints: 54887 1592.42/1596.74 c #Conflicts: 379000 | #Constraints: 55887 1592.42/1596.74 c bounds - >= 59 @ 1437.12 1592.42/1596.74 c #Conflicts: 380000 | #Constraints: 56896 1592.42/1596.74 c #Conflicts: 381000 | #Constraints: 57896 1592.42/1596.74 c #Conflicts: 382000 | #Constraints: 58896 1592.42/1596.74 c #Conflicts: 383000 | #Constraints: 59896 1592.42/1596.74 c #Conflicts: 384000 | #Constraints: 60896 1592.42/1596.74 c #Conflicts: 385000 | #Constraints: 61896 1592.42/1596.74 c #Conflicts: 386000 | #Constraints: 62896 1592.42/1596.74 c #Conflicts: 387000 | #Constraints: 63896 1592.42/1596.74 c #Conflicts: 388000 | #Constraints: 64896 1592.42/1596.74 c #Conflicts: 389000 | #Constraints: 65896 1592.42/1596.74 c #Conflicts: 390000 | #Constraints: 66896 1592.42/1596.74 c #Conflicts: 391000 | #Constraints: 67896 1592.42/1596.74 c #Conflicts: 392000 | #Constraints: 68896 1592.42/1596.74 c #Conflicts: 393000 | #Constraints: 69896 1592.42/1596.74 c #Conflicts: 394000 | #Constraints: 70896 1592.42/1596.74 c #Conflicts: 395000 | #Constraints: 71896 1592.42/1596.74 c #Conflicts: 396000 | #Constraints: 72896 1592.42/1596.74 c #Conflicts: 397000 | #Constraints: 73896 1592.42/1596.74 c #Conflicts: 398000 | #Constraints: 74896 1592.42/1596.74 c #Conflicts: 399000 | #Constraints: 75896 1592.42/1596.74 c #Conflicts: 400000 | #Constraints: 76896 1592.42/1596.74 c #Conflicts: 401000 | #Constraints: 77896 1592.42/1596.74 c #Conflicts: 402000 | #Constraints: 78896 1592.42/1596.74 c #Conflicts: 403000 | #Constraints: 79896 1592.42/1596.74 c #Conflicts: 404000 | #Constraints: 80896 1592.42/1596.74 c #Conflicts: 405000 | #Constraints: 81896 1592.42/1596.74 c #Conflicts: 406000 | #Constraints: 82896 1592.42/1596.74 c #Conflicts: 407000 | #Constraints: 83896 1592.42/1596.74 c #Conflicts: 408000 | #Constraints: 84896 1592.42/1596.74 c INPROCESSING 1592.42/1596.74 c GARBAGE COLLECT 1592.42/1596.74 c rational objective 59 1902.16/1907.31 c #Conflicts: 409000 | #Constraints: 52179 1902.16/1907.31 c #Conflicts: 410000 | #Constraints: 53179 1902.16/1907.31 c #Conflicts: 411000 | #Constraints: 54179 1902.16/1907.31 c #Conflicts: 412000 | #Constraints: 55179 1902.16/1907.31 c #Conflicts: 413000 | #Constraints: 56179 1902.16/1907.31 c #Conflicts: 414000 | #Constraints: 57179 1902.16/1907.31 c #Conflicts: 415000 | #Constraints: 58179 1902.16/1907.31 c #Conflicts: 416000 | #Constraints: 59179 1902.16/1907.31 c #Conflicts: 417000 | #Constraints: 60179 1902.16/1907.31 c #Conflicts: 418000 | #Constraints: 61179 1902.16/1907.31 c #Conflicts: 419000 | #Constraints: 62179 1902.16/1907.31 c #Conflicts: 420000 | #Constraints: 63179 1902.16/1907.31 c #Conflicts: 421000 | #Constraints: 64179 1902.16/1907.31 c #Conflicts: 422000 | #Constraints: 65179 1902.16/1907.31 c #Conflicts: 423000 | #Constraints: 66179 1902.16/1907.31 c #Conflicts: 424000 | #Constraints: 67179 1902.16/1907.31 c #Conflicts: 425000 | #Constraints: 68179 1902.16/1907.31 c #Conflicts: 426000 | #Constraints: 69179 1902.16/1907.31 c INPROCESSING 1902.16/1907.31 c GARBAGE COLLECT 1902.16/1907.31 c rational objective 59 2114.15/2119.92 c #Conflicts: 427000 | #Constraints: 50319 2114.15/2119.92 c #Conflicts: 428000 | #Constraints: 51319 2114.15/2119.92 c #Conflicts: 429000 | #Constraints: 52319 2114.15/2119.92 c #Conflicts: 430000 | #Constraints: 53319 2114.15/2119.92 c #Conflicts: 431000 | #Constraints: 54319 2114.15/2119.92 c #Conflicts: 432000 | #Constraints: 55319 2114.15/2119.92 c #Conflicts: 433000 | #Constraints: 56319 2114.15/2119.92 c #Conflicts: 434000 | #Constraints: 57319 2114.15/2119.92 c #Conflicts: 435000 | #Constraints: 58319 2114.15/2119.92 c #Conflicts: 436000 | #Constraints: 59319 2114.15/2119.92 c #Conflicts: 437000 | #Constraints: 60319 2114.15/2119.92 c #Conflicts: 438000 | #Constraints: 61319 2114.15/2119.92 c #Conflicts: 439000 | #Constraints: 62319 2114.15/2119.92 c #Conflicts: 440000 | #Constraints: 63319 2114.15/2119.92 c #Conflicts: 441000 | #Constraints: 64319 2114.15/2119.92 c #Conflicts: 442000 | #Constraints: 65319 2114.15/2119.92 c #Conflicts: 443000 | #Constraints: 66319 2114.15/2119.92 c #Conflicts: 444000 | #Constraints: 67319 2114.15/2119.92 c #Conflicts: 445000 | #Constraints: 68319 2114.15/2119.92 c #Conflicts: 446000 | #Constraints: 69319 2114.15/2119.92 c #Conflicts: 447000 | #Constraints: 70319 2114.15/2119.92 c #Conflicts: 448000 | #Constraints: 71319 2114.15/2119.92 c #Conflicts: 449000 | #Constraints: 72319 2114.15/2119.92 c #Conflicts: 450000 | #Constraints: 73319 2114.15/2119.92 c #Conflicts: 451000 | #Constraints: 74319 2114.15/2119.92 c #Conflicts: 452000 | #Constraints: 75319 2114.15/2119.92 c #Conflicts: 453000 | #Constraints: 76319 2114.15/2119.92 c #Conflicts: 454000 | #Constraints: 77319 2114.15/2119.92 c #Conflicts: 455000 | #Constraints: 78319 2114.15/2119.92 c #Conflicts: 456000 | #Constraints: 79319 2114.15/2119.92 c #Conflicts: 457000 | #Constraints: 80319 2114.15/2119.92 c #Conflicts: 458000 | #Constraints: 81319 2114.15/2119.92 c #Conflicts: 459000 | #Constraints: 82319 2114.15/2119.92 c #Conflicts: 460000 | #Constraints: 83319 2114.15/2119.92 c #Conflicts: 461000 | #Constraints: 84319 2114.15/2119.92 c #Conflicts: 462000 | #Constraints: 85319 2114.15/2119.92 c #Conflicts: 463000 | #Constraints: 86319 2114.15/2119.92 c #Conflicts: 464000 | #Constraints: 87319 2114.15/2119.92 c #Conflicts: 465000 | #Constraints: 88319 2114.15/2119.92 c #Conflicts: 466000 | #Constraints: 89319 2114.15/2119.92 c #Conflicts: 467000 | #Constraints: 90319 2114.15/2119.92 c #Conflicts: 468000 | #Constraints: 91319 2114.15/2119.92 c #Conflicts: 469000 | #Constraints: 92319 2114.15/2119.92 c #Conflicts: 470000 | #Constraints: 93319 2114.15/2119.92 c #Conflicts: 471000 | #Constraints: 94319 2114.15/2119.92 c INPROCESSING 2114.15/2119.92 c GARBAGE COLLECT 2114.15/2119.92 c rational objective 59 2463.74/2470.55 c #Conflicts: 472000 | #Constraints: 57369 2463.74/2470.55 c #Conflicts: 473000 | #Constraints: 58369 2463.74/2470.55 c #Conflicts: 474000 | #Constraints: 59369 2463.74/2470.55 c #Conflicts: 475000 | #Constraints: 60369 2463.74/2470.55 c #Conflicts: 476000 | #Constraints: 61369 2463.74/2470.55 c #Conflicts: 477000 | #Constraints: 62369 2463.74/2470.55 c #Conflicts: 478000 | #Constraints: 63369 2463.74/2470.55 c #Conflicts: 479000 | #Constraints: 64369 2463.74/2470.55 c #Conflicts: 480000 | #Constraints: 65369 2463.74/2470.55 c #Conflicts: 481000 | #Constraints: 66369 2463.74/2470.55 c #Conflicts: 482000 | #Constraints: 67369 2463.74/2470.55 c #Conflicts: 483000 | #Constraints: 68369 2463.74/2470.55 c #Conflicts: 484000 | #Constraints: 69369 2463.74/2470.55 c #Conflicts: 485000 | #Constraints: 70369 2463.74/2470.55 c #Conflicts: 486000 | #Constraints: 71369 2463.74/2470.55 c #Conflicts: 487000 | #Constraints: 72369 2463.74/2470.55 c #Conflicts: 488000 | #Constraints: 73369 2463.74/2470.55 c #Conflicts: 489000 | #Constraints: 74369 2463.74/2470.55 c INPROCESSING 2463.74/2470.55 c GARBAGE COLLECT 2463.74/2470.55 c rational objective 59 2738.55/2746.12 c #Conflicts: 490000 | #Constraints: 53563 2738.55/2746.12 c #Conflicts: 491000 | #Constraints: 54563 2738.55/2746.12 c #Conflicts: 492000 | #Constraints: 55563 2738.55/2746.12 c #Conflicts: 493000 | #Constraints: 56563 2738.55/2746.12 c #Conflicts: 494000 | #Constraints: 57563 2738.55/2746.12 c #Conflicts: 495000 | #Constraints: 58563 2738.55/2746.12 c #Conflicts: 496000 | #Constraints: 59563 2738.55/2746.12 c #Conflicts: 497000 | #Constraints: 60563 2738.55/2746.12 c #Conflicts: 498000 | #Constraints: 61563 2738.55/2746.12 c #Conflicts: 499000 | #Constraints: 62563 2738.55/2746.12 c #Conflicts: 500000 | #Constraints: 63563 2738.55/2746.12 c #Conflicts: 501000 | #Constraints: 64563 2738.55/2746.12 c #Conflicts: 502000 | #Constraints: 65563 2738.55/2746.12 c #Conflicts: 503000 | #Constraints: 66563 2738.55/2746.12 c #Conflicts: 504000 | #Constraints: 67563 2738.55/2746.12 c #Conflicts: 505000 | #Constraints: 68563 2738.55/2746.12 c #Conflicts: 506000 | #Constraints: 69563 2738.55/2746.12 c #Conflicts: 507000 | #Constraints: 70563 2738.55/2746.12 c #Conflicts: 508000 | #Constraints: 71563 2738.55/2746.12 c #Conflicts: 509000 | #Constraints: 72563 2738.55/2746.12 c #Conflicts: 510000 | #Constraints: 73563 2738.55/2746.12 c #Conflicts: 511000 | #Constraints: 74563 2738.55/2746.12 c #Conflicts: 512000 | #Constraints: 75563 2738.55/2746.12 c #Conflicts: 513000 | #Constraints: 76563 2738.55/2746.12 c #Conflicts: 514000 | #Constraints: 77563 2738.55/2746.12 c #Conflicts: 515000 | #Constraints: 78563 2738.55/2746.12 c #Conflicts: 516000 | #Constraints: 79563 2738.55/2746.12 c #Conflicts: 517000 | #Constraints: 80563 2738.55/2746.12 c #Conflicts: 518000 | #Constraints: 81563 2738.55/2746.12 c #Conflicts: 519000 | #Constraints: 82563 2738.55/2746.12 c #Conflicts: 520000 | #Constraints: 83563 2738.55/2746.12 c #Conflicts: 521000 | #Constraints: 84563 2738.55/2746.12 c #Conflicts: 522000 | #Constraints: 85563 2738.55/2746.12 c #Conflicts: 523000 | #Constraints: 86563 2738.55/2746.12 c #Conflicts: 524000 | #Constraints: 87563 2738.55/2746.12 c #Conflicts: 525000 | #Constraints: 88563 2738.55/2746.12 c #Conflicts: 526000 | #Constraints: 89563 2738.55/2746.12 c #Conflicts: 527000 | #Constraints: 90563 2738.55/2746.12 c #Conflicts: 528000 | #Constraints: 91563 2738.55/2746.12 c #Conflicts: 529000 | #Constraints: 92563 2738.55/2746.12 c #Conflicts: 530000 | #Constraints: 93563 2738.55/2746.12 c #Conflicts: 531000 | #Constraints: 94563 2738.55/2746.12 c #Conflicts: 532000 | #Constraints: 95563 2738.55/2746.12 c #Conflicts: 533000 | #Constraints: 96563 2738.55/2746.12 c #Conflicts: 534000 | #Constraints: 97563 2738.55/2746.12 c #Conflicts: 535000 | #Constraints: 98563 2738.55/2746.12 c #Conflicts: 536000 | #Constraints: 99563 2738.55/2746.12 c #Conflicts: 537000 | #Constraints: 100563 2738.55/2746.12 c INPROCESSING 2738.55/2746.12 c GARBAGE COLLECT 2738.55/2746.12 c rational objective 59 3166.12/3174.98 c #Conflicts: 538000 | #Constraints: 60233 3166.12/3174.98 c #Conflicts: 539000 | #Constraints: 61233 3166.12/3174.98 c #Conflicts: 540000 | #Constraints: 62233 3166.12/3174.98 c #Conflicts: 541000 | #Constraints: 63233 3166.12/3174.98 c #Conflicts: 542000 | #Constraints: 64233 3166.12/3174.98 c bounds - >= 60 @ 2822.67 3166.12/3174.98 c #Conflicts: 543000 | #Constraints: 65239 3166.12/3174.98 c #Conflicts: 544000 | #Constraints: 66239 3166.12/3174.98 c #Conflicts: 545000 | #Constraints: 67239 3166.12/3174.98 c #Conflicts: 546000 | #Constraints: 68239 3166.12/3174.98 c #Conflicts: 547000 | #Constraints: 69239 3166.12/3174.98 c #Conflicts: 548000 | #Constraints: 70239 3166.12/3174.98 c #Conflicts: 549000 | #Constraints: 71239 3166.12/3174.98 c #Conflicts: 550000 | #Constraints: 72239 3166.12/3174.98 c #Conflicts: 551000 | #Constraints: 73239 3166.12/3174.98 c #Conflicts: 552000 | #Constraints: 74239 3166.12/3174.98 c #Conflicts: 553000 | #Constraints: 75239 3166.12/3174.98 c #Conflicts: 554000 | #Constraints: 76239 3166.12/3174.98 c #Conflicts: 555000 | #Constraints: 77239 3166.12/3174.98 c #Conflicts: 556000 | #Constraints: 78239 3166.12/3174.98 c #Conflicts: 557000 | #Constraints: 79239 3166.12/3174.98 c INPROCESSING 3166.12/3174.98 c GARBAGE COLLECT 3166.12/3174.98 c rational objective 60 3495.66/3505.43 c #Conflicts: 558000 | #Constraints: 57525 3495.66/3505.43 c #Conflicts: 559000 | #Constraints: 58525 3495.66/3505.43 c #Conflicts: 560000 | #Constraints: 59525 3495.66/3505.43 c #Conflicts: 561000 | #Constraints: 60525 3495.66/3505.43 c #Conflicts: 562000 | #Constraints: 61525 3495.66/3505.43 c #Conflicts: 563000 | #Constraints: 62525 3495.66/3505.43 c #Conflicts: 564000 | #Constraints: 63525 3495.66/3505.43 c #Conflicts: 565000 | #Constraints: 64525 3495.66/3505.43 c #Conflicts: 566000 | #Constraints: 65525 3495.66/3505.43 c #Conflicts: 567000 | #Constraints: 66525 3495.66/3505.43 c #Conflicts: 568000 | #Constraints: 67525 3495.66/3505.43 c #Conflicts: 569000 | #Constraints: 68525 3495.66/3505.43 c #Conflicts: 570000 | #Constraints: 69525 3495.66/3505.43 c #Conflicts: 571000 | #Constraints: 70525 3495.66/3505.43 c #Conflicts: 572000 | #Constraints: 71525 3495.66/3505.43 c #Conflicts: 573000 | #Constraints: 72525 3495.66/3505.43 c #Conflicts: 574000 | #Constraints: 73525 3495.66/3505.43 c #Conflicts: 575000 | #Constraints: 74525 3495.66/3505.43 c #Conflicts: 576000 | #Constraints: 75525 3495.66/3505.43 c #Conflicts: 577000 | #Constraints: 76525 3495.66/3505.43 c #Conflicts: 578000 | #Constraints: 77525 3495.66/3505.43 c #Conflicts: 579000 | #Constraints: 78525 3495.66/3505.43 c #Conflicts: 580000 | #Constraints: 79525 3495.66/3505.43 c #Conflicts: 581000 | #Constraints: 80525 3495.66/3505.43 c #Conflicts: 582000 | #Constraints: 81525 3495.66/3505.43 c #Conflicts: 583000 | #Constraints: 82525 3495.66/3505.43 c #Conflicts: 584000 | #Constraints: 83525 3495.66/3505.43 c #Conflicts: 585000 | #Constraints: 84525 3495.66/3505.43 c #Conflicts: 586000 | #Constraints: 85525 3495.66/3505.43 c #Conflicts: 587000 | #Constraints: 86525 3495.66/3505.43 c #Conflicts: 588000 | #Constraints: 87525 3495.66/3505.43 c #Conflicts: 589000 | #Constraints: 88525 3495.66/3505.43 c #Conflicts: 590000 | #Constraints: 89525 3495.66/3505.43 c #Conflicts: 591000 | #Constraints: 90525 3495.66/3505.43 c #Conflicts: 592000 | #Constraints: 91525 3495.66/3505.43 c #Conflicts: 593000 | #Constraints: 92525 3495.66/3505.43 c #Conflicts: 594000 | #Constraints: 93525 3495.66/3505.43 c #Conflicts: 595000 | #Constraints: 94525 3495.66/3505.43 c #Conflicts: 596000 | #Constraints: 95525 3495.66/3505.43 c #Conflicts: 597000 | #Constraints: 96525 3495.66/3505.43 c #Conflicts: 598000 | #Constraints: 97525 3495.66/3505.43 c #Conflicts: 599000 | #Constraints: 98525 3495.66/3505.43 c #Conflicts: 600000 | #Constraints: 99525 3495.66/3505.43 c #Conflicts: 601000 | #Constraints: 100525 3495.66/3505.43 c #Conflicts: 602000 | #Constraints: 101525 3495.66/3505.43 c #Conflicts: 603000 | #Constraints: 102525 3495.66/3505.43 c #Conflicts: 604000 | #Constraints: 103525 3495.66/3505.43 c #Conflicts: 605000 | #Constraints: 104525 3495.66/3505.43 c #Conflicts: 606000 | #Constraints: 105525 3495.66/3505.43 c #Conflicts: 607000 | #Constraints: 106525 3495.66/3505.43 c #Conflicts: 608000 | #Constraints: 107525 3495.66/3505.43 c INPROCESSING 3495.66/3505.43 c GARBAGE COLLECT 3495.66/3505.43 c rational objective 60 3600.07/3610.11 c #Conflicts: 609000 | #Constraints: 63737 3600.07/3610.11 c #Conflicts: 610000 | #Constraints: 64737 3600.07/3610.11 c #Conflicts: 611000 | #Constraints: 65737 3600.07/3610.11 c #Conflicts: 612000 | #Constraints: 66737 3600.07/3610.11 c #Conflicts: 613000 | #Constraints: 67737 3600.07/3610.11 c Program interrupted by user. 3600.07/3610.12 c cpu time 3588.66 s 3600.07/3610.12 c deterministic time 239582928156 2.40e+11 3600.07/3610.12 c optimization time 104.2 s 3600.07/3610.12 c total solve time 3483.92 s 3600.07/3610.12 c core-guided solve time 1967.47 s 3600.07/3610.12 c propagation time 3463.31 s 3600.07/3610.12 c conflict analysis time 88.5734 s 3600.07/3610.12 c propagations 453674348 3600.07/3610.12 c resolve steps 2373652 3600.07/3610.12 c decisions 3988525 3600.07/3610.12 c conflicts 613829 3600.07/3610.12 c restarts 1277 3600.07/3610.12 c inprocessing phases 34 3600.07/3610.12 c input clauses 71 3600.07/3610.12 c input cardinalities 48 3600.07/3610.12 c input general constraints 17697 3600.07/3610.12 c input average constraint length 33.58 3600.07/3610.12 c input average constraint degree 950.96 3600.07/3610.12 c learned clauses 193737 3600.07/3610.12 c learned cardinalities 0 3600.07/3610.12 c learned general constraints 420092 3600.07/3610.12 c learned average constraint length 54.57 3600.07/3610.12 c learned average constraint degree 7821823.91 3600.07/3610.12 c watched constraints 437139 3600.07/3610.12 c counting constraints 650 3600.07/3610.12 c gcd simplifications 6255 3600.07/3610.12 c detected cardinalities 0 3600.07/3610.12 c weakened non-implied lits 3019728 3600.07/3610.12 c weakened non-implying lits 1200 3600.07/3610.12 c original variables 8883 3600.07/3610.12 c clausal propagations 663095 3600.07/3610.12 c cardinality propagations 715889 3600.07/3610.12 c watched propagations 441020892 3600.07/3610.12 c counting propagations 10898501 3600.07/3610.12 c watch lookups 51584223597 3600.07/3610.12 c watch backjump lookups 48881177649 3600.07/3610.12 c watch checks 84627438651 3600.07/3610.12 c propagation checks 53465378422 3600.07/3610.12 c constraint additions 108073377 3600.07/3610.12 c trail pops 458276422 3600.07/3610.12 c formula constraints 17459 3600.07/3610.12 c learned constraints 613829 3600.07/3610.12 c bound constraints 48 3600.07/3610.12 c core-guided constraints 309 3600.07/3610.12 c encountered formula constraints 2159065 3600.07/3610.12 c encountered learned constraints 828187 3600.07/3610.12 c encountered bound constraints 19 3600.07/3610.12 c encountered core-guided constraints 210 3600.07/3610.12 c LP total time 78.8553 s 3600.07/3610.12 c LP solve time 76.83 s 3600.07/3610.12 c LP constraints added 17686 3600.07/3610.12 c LP constraints removed 216 3600.07/3610.12 c LP pivots internal 615078 3600.07/3610.12 c LP pivots root 82086 3600.07/3610.12 c LP calls 476 3600.07/3610.12 c LP optimalities 472 3600.07/3610.12 c LP no pivot count 124 3600.07/3610.12 c LP infeasibilities 0 3600.07/3610.12 c LP valid Farkas constraints 0 3600.07/3610.12 c LP learned Farkas constraints 0 3600.07/3610.12 c LP basis resets 0 3600.07/3610.12 c LP cycling count 0 3600.07/3610.12 c LP singular count 0 3600.07/3610.12 c LP no primal count 0 3600.07/3610.12 c LP no farkas count 0 3600.07/3610.12 c LP other issue count 0 3600.07/3610.12 c LP Gomory cuts 0 3600.07/3610.12 c LP learned cuts 227 3600.07/3610.12 c LP deleted cuts 216 3600.07/3610.12 c LP encountered Gomory constraints 0 3600.07/3610.12 c LP encountered Farkas constraints 0 3600.07/3610.12 c LP encountered learned Farkas constraints 0 3600.07/3610.12 c CG auxiliary variables introduced 119 3600.07/3610.12 c CG solutions found 0 3600.07/3610.12 c CG cores constructed 48 3600.07/3610.12 c CG core cardinality constraints returned 0 3600.07/3610.12 c CG unit cores 0 3600.07/3610.12 c CG single cores 48 3600.07/3610.12 c CG blocks removed during cardinality reduction 0 3600.07/3610.12 c CG first core best 0 3600.07/3610.12 c CG decision core best 0 3600.07/3610.12 c CG core reduction tie 0 3600.07/3610.12 c CG core degree average 1.00 3600.07/3610.12 c CG core slack average 4.54 3600.07/3610.12 s UNKNOWN
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 (35404 MiB free)
memory of node 1: 64473 MiB (559 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456790-1721772868/watcher-4456790-1721772868 -o /tmp/evaluation-result-4456790-1721772868/solver-4456790-1721772868 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721765642-113215 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456790-1721772868 --lp-cut-gomory=0 HOME/instance-4456790-1721772868.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=118002, runsolver pid=117999
[startup+0.100092 s]*
/proc/loadavg: 4.07 4.14 4.10 5/246 118003
/proc/meminfo: memFree=36817280/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=39528 memory=10440 CPUtime=0.1 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 902 0 0 0 10 0 0 0 20 0 1 0 13276297 40476672 2610 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 9882 2610 1367 992 0 1740 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39528 KiB
Current children cumulated memory: 10440 KiB
[startup+0.2133 s]*
/proc/loadavg: 4.07 4.14 4.10 5/246 118004
/proc/meminfo: memFree=36812292/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=39816 memory=10700 CPUtime=0.21 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 966 0 0 0 20 1 0 0 20 0 1 0 13276297 40771584 2675 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 9954 2675 1367 992 0 1812 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39816 KiB
Current children cumulated memory: 10700 KiB
[startup+0.312797 s]*
/proc/loadavg: 4.07 4.14 4.10 5/246 118004
/proc/meminfo: memFree=36807412/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=40232 memory=11360 CPUtime=0.31 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 1175 0 0 0 29 2 0 0 20 0 1 0 13276297 41197568 2840 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 10058 2840 1367 992 0 1916 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40232 KiB
Current children cumulated memory: 11360 KiB
[startup+0.700327 s]
/proc/loadavg: 4.07 4.14 4.10 5/246 118004
/proc/meminfo: memFree=36796196/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=83244 memory=55536 CPUtime=0.68 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 13595 0 0 0 61 7 0 0 20 0 1 0 13276297 85241856 13884 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 20811 13884 1713 992 0 12669 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 83244 KiB
Current children cumulated memory: 55536 KiB
[startup+1.50028 s]
/proc/loadavg: 4.07 4.14 4.10 5/246 118004
/proc/meminfo: memFree=36715568/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=98392 memory=70608 CPUtime=1.49 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 15306 0 0 0 138 11 0 0 20 0 1 0 13276297 100753408 17652 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 24598 17652 1793 992 0 16456 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 98392 KiB
Current children cumulated memory: 70608 KiB
[startup+3.11421 s]
/proc/loadavg: 4.07 4.14 4.10 5/246 118004
/proc/meminfo: memFree=36634284/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=98392 memory=71136 CPUtime=3.09 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 15431 0 0 0 295 14 0 0 20 0 1 0 13276297 100753408 17784 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 24598 17784 1793 992 0 16456 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 98392 KiB
Current children cumulated memory: 71136 KiB
[startup+6.30028 s]
/proc/loadavg: 4.07 4.14 4.10 5/246 118004
/proc/meminfo: memFree=36515988/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=112748 memory=83388 CPUtime=6.27 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 17858 0 0 0 605 22 0 0 20 0 1 0 13276297 115453952 20847 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 28187 20847 1870 992 0 20045 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 112748 KiB
Current children cumulated memory: 83388 KiB
[startup+12.7003 s]
/proc/loadavg: 4.06 4.14 4.10 5/246 118006
/proc/meminfo: memFree=36302304/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=133832 memory=106872 CPUtime=12.65 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 18633 0 0 0 1231 34 0 0 20 0 1 0 13276297 137043968 26718 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 33458 26718 1870 992 0 25316 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 133832 KiB
Current children cumulated memory: 106872 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.15 4.11 5/246 118007
/proc/meminfo: memFree=35961488/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=141012 memory=108436 CPUtime=25.42 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 19103 0 0 0 2486 56 0 0 20 0 1 0 13276297 144396288 27109 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 35253 27109 1870 992 0 27111 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 141012 KiB
Current children cumulated memory: 108436 KiB
[startup+51.1132 s]
/proc/loadavg: 4.08 4.14 4.10 5/242 118012
/proc/meminfo: memFree=35523028/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=164656 memory=123972 CPUtime=50.95 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 33607 0 0 0 5002 93 0 0 20 0 1 0 13276297 168607744 30993 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 41164 30993 1870 992 0 33022 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 164656 KiB
Current children cumulated memory: 123972 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.17 4.11 5/242 118020
/proc/meminfo: memFree=34790508/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=164524 memory=128980 CPUtime=101.98 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 34818 0 0 0 10045 153 0 0 20 0 1 0 13276297 168472576 32245 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 41131 32245 1870 992 0 32989 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 164524 KiB
Current children cumulated memory: 128980 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/242 118031
/proc/meminfo: memFree=34047712/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=164524 memory=131060 CPUtime=161.82 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 35842 0 0 0 15978 204 0 0 20 0 1 0 13276297 168472576 32765 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 41131 32765 1870 992 0 32989 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 164524 KiB
Current children cumulated memory: 131060 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/242 118041
/proc/meminfo: memFree=33407132/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=176200 memory=133228 CPUtime=221.66 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 38381 0 0 0 21917 249 0 0 20 0 1 0 13276297 180428800 33307 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 44050 33307 1870 992 0 35908 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 176200 KiB
Current children cumulated memory: 133228 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/242 118053
/proc/meminfo: memFree=32874220/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=176200 memory=133228 CPUtime=281.47 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 41058 0 0 0 27856 291 0 0 20 0 1 0 13276297 180428800 33307 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 44050 33307 1870 992 0 35908 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 176200 KiB
Current children cumulated memory: 133228 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/245 118068
/proc/meminfo: memFree=32330812/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=180472 memory=139416 CPUtime=341.26 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 44596 0 0 0 33798 328 0 0 20 0 1 0 13276297 184803328 34854 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 45118 34854 1870 992 0 36976 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 180472 KiB
Current children cumulated memory: 139416 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/245 118078
/proc/meminfo: memFree=31849364/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=185196 memory=144760 CPUtime=401.07 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 50600 0 0 0 39750 357 0 0 20 0 1 0 13276297 189640704 36190 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 46299 36190 1870 992 0 38157 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 185196 KiB
Current children cumulated memory: 144760 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/245 118090
/proc/meminfo: memFree=31388572/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=185196 memory=145716 CPUtime=460.91 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 51185 0 0 0 45704 387 0 0 20 0 1 0 13276297 189640704 36429 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
################
# More data... #
################
Current children cumulated memory: 199628 KiB
[startup+2922.3 s]
/proc/loadavg: 4.27 4.38 4.30 5/246 119712
/proc/meminfo: memFree=20103304/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=240452 memory=199628 CPUtime=2914.23 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 91786 0 0 0 290404 1019 0 0 20 0 1 0 13276297 246222848 49907 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 60113 49907 1870 992 0 51971 0
Current children cumulated CPU time: 2914.23 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 199628 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.32 4.28 5/244 119723
/proc/meminfo: memFree=19927836/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=240452 memory=199628 CPUtime=2974.07 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 91868 0 0 0 296381 1026 0 0 20 0 1 0 13276297 246222848 49907 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 60113 49907 1870 992 0 51971 0
Current children cumulated CPU time: 2974.07 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 199628 KiB
[startup+3042.3 s]
/proc/loadavg: 4.34 4.35 4.29 5/244 119733
/proc/meminfo: memFree=19735400/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=240452 memory=199628 CPUtime=3033.89 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 93522 0 0 0 302359 1030 0 0 20 0 1 0 13276297 246222848 49907 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 60113 49907 1870 992 0 51971 0
Current children cumulated CPU time: 3033.89 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 199628 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.30 4.27 5/242 119744
/proc/meminfo: memFree=19545032/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=240452 memory=199628 CPUtime=3093.72 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 93724 0 0 0 308335 1037 0 0 20 0 1 0 13276297 246222848 49907 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 60113 49907 1870 992 0 51971 0
Current children cumulated CPU time: 3093.72 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 199628 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.27 4.27 5/242 119754
/proc/meminfo: memFree=19366368/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=240452 memory=199628 CPUtime=3153.55 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 93927 0 0 0 314312 1043 0 0 20 0 1 0 13276297 246222848 49907 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 60113 49907 1870 992 0 51971 0
Current children cumulated CPU time: 3153.55 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 199628 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.24 4.25 5/241 119764
/proc/meminfo: memFree=19171332/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=240452 memory=199628 CPUtime=3213.38 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 94140 0 0 0 320279 1059 0 0 20 0 1 0 13276297 246222848 49907 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 60113 49907 1870 992 0 51971 0
Current children cumulated CPU time: 3213.38 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 199628 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.22 4.25 5/241 119775
/proc/meminfo: memFree=18949192/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=240452 memory=199628 CPUtime=3273.2 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 94341 0 0 0 326245 1075 0 0 20 0 1 0 13276297 246222848 49907 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 60113 49907 1870 992 0 51971 0
Current children cumulated CPU time: 3273.2 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 199628 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.21 4.24 6/243 119789
/proc/meminfo: memFree=18748304/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=240452 memory=199628 CPUtime=3333.04 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 94542 0 0 0 332214 1090 0 0 20 0 1 0 13276297 246222848 49907 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 60113 49907 1870 992 0 51971 0
Current children cumulated CPU time: 3333.04 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 199628 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.20 4.24 5/243 119801
/proc/meminfo: memFree=18585564/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=240452 memory=199628 CPUtime=3392.86 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 94747 0 0 0 338182 1104 0 0 20 0 1 0 13276297 246222848 49907 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 60113 49907 1870 992 0 51971 0
Current children cumulated CPU time: 3392.86 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 199628 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.19 4.23 5/243 119812
/proc/meminfo: memFree=18401936/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=240452 memory=199628 CPUtime=3452.68 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 94953 0 0 0 344151 1117 0 0 20 0 1 0 13276297 246222848 49907 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 60113 49907 1870 992 0 51971 0
Current children cumulated CPU time: 3452.68 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 199628 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.17 4.22 5/243 119822
/proc/meminfo: memFree=18178736/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=240452 memory=203104 CPUtime=3512.51 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 96094 0 0 0 350117 1134 0 0 20 0 1 0 13276297 246222848 50776 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 60113 50776 1870 992 0 51971 0
Current children cumulated CPU time: 3512.51 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 203104 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.15 4.21 5/244 119834
/proc/meminfo: memFree=17999520/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=240452 memory=203344 CPUtime=3572.34 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 96291 0 0 0 356095 1139 0 0 20 0 1 0 13276297 246222848 50836 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 60113 50836 1870 992 0 51971 0
Current children cumulated CPU time: 3572.34 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 203344 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 3.94 4.12 4.19 3/231 119900
/proc/meminfo: memFree=35901000/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=240452 memory=203344 CPUtime=3600.07 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 96488 0 0 0 358865 1142 0 0 20 0 1 0 13276297 246222848 50836 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 60113 50836 1870 992 0 51971 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 203344 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 118002 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.66 s, system=11.4277 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 3.94 4.12 4.19 3/231 119900
/proc/meminfo: memFree=35901000/131655788 swapFree=131070960/131071996
[pid=118002] ppid=117999 vsize=240452 memory=203344 CPUtime=3600.07 cores=5,7
/proc/118002/stat : 118002 (roundingsat) R 117999 118002 113202 0 -1 4194304 96488 0 0 0 358865 1142 0 0 20 0 1 0 13276297 246222848 50836 134679101440 4194304 8254037 140727748802016 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9953280 140727748809568 140727748809830 140727748809830 140727748816841 0
/proc/118002/statm: 60113 50836 1870 992 0 51971 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 240452 KiB
Current children cumulated memory: 203344 KiB
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.09
CPU user time (s): 3588.66
CPU system time (s): 11.4277
CPU usage (%): 99.7222
Max. virtual memory (cumulated for all children) (KiB): 240452
Max. memory (cumulated for all children) (KiB): 203344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.66
system time used= 11.4277
maximum resident set size= 203408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96503
page faults= 0
swaps= 0
block input operations= 0
block output operations= 612880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47
involuntary context switches= 4887
# summary of solver processes directly reported to runsolver:
# pid: 118002
# total CPU time (s): 3600.09
# total CPU user time (s): 3588.66
# total CPU system time (s): 11.4277
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9975 second user time and 37.0366 second system time
The end
Begin job on nodeC007 at 2024-07-24 00:14:29 IDJOB=4456790 IDBENCH=147625 IDSOLVER=3085 FILE ID=nodeC007/4456790-1721772868 RUNJOBID= nodeC007-1721765642-113215 SLURM_JOB_ID= 7770669 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-4456790-1721772868/watcher-4456790-1721772868 -o /tmp/evaluation-result-4456790-1721772868/solver-4456790-1721772868 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721765642-113215 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456790-1721772868 --lp-cut-gomory=0 HOME/instance-4456790-1721772868.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 175cf8fd081870b89b1494469c4bb17a RANDOM SEED=1721888904 nodeC007.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 : 3491.838 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 : 6983.67 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 : 3658.758 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.37 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.243 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 : 6983.67 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.279 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.37 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 : 3663.680 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 : 6983.67 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 : 1197.202 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.37 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.462 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 : 6983.67 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 : 1296.989 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 36829472 kB MemAvailable: 129918684 kB Buffers: 189932 kB Cached: 93617292 kB SwapCached: 176 kB Active: 719304 kB Inactive: 93370960 kB Active(anon): 1484 kB Inactive(anon): 318656 kB Active(file): 717820 kB Inactive(file): 93052304 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070960 kB Dirty: 197100 kB Writeback: 0 kB AnonPages: 282724 kB Mapped: 89868 kB Shmem: 37356 kB KReclaimable: 318576 kB Slab: 425980 kB SReclaimable: 318576 kB SUnreclaim: 107404 kB KernelStack: 4000 kB PageTables: 9484 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 696256 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14336 kB HardwareCorrupted: 0 kB AnonHugePages: 147456 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: 367432 kB DirectMap2M: 54063104 kB DirectMap1G: 81788928 kB Free space on /tmp at the end= 723764 MiB End job on nodeC007 at 2024-07-24 01:14:39