| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3602.06 | 3614.23 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K162.opb |
| MD5SUM | 3691972eca5819945d0aaf6ae8165cd0 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 3001.01 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 19278 |
| Total number of constraints | 19604 |
| Number of constraints which are clauses | 19442 |
| Number of constraints which are cardinality constraints (but not clauses) | 162 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 162 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 163 |
| Number of bits of the biggest sum of numbers | 8 |
| 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.21/3.09 c #variables 19278 #constraints 19604 117.35/120.53 c #Conflicts: 1000 | #Constraints: 20603 117.35/120.53 c #Conflicts: 2000 | #Constraints: 21603 117.35/120.53 c INPROCESSING 117.35/120.53 c GARBAGE COLLECT 117.35/120.53 c #Conflicts: 3000 | #Constraints: 20836 117.35/120.53 c #Conflicts: 4000 | #Constraints: 21836 117.35/120.53 c INPROCESSING 117.35/120.53 c GARBAGE COLLECT 117.35/120.53 c #Conflicts: 5000 | #Constraints: 21361 117.35/120.53 c #Conflicts: 6000 | #Constraints: 22361 117.35/120.53 c INPROCESSING 117.35/120.53 c GARBAGE COLLECT 117.35/120.53 c #Conflicts: 7000 | #Constraints: 21454 117.35/120.53 c #Conflicts: 8000 | #Constraints: 22454 117.35/120.53 c #Conflicts: 9000 | #Constraints: 23454 117.35/120.53 c INPROCESSING 117.35/120.53 c GARBAGE COLLECT 117.35/120.53 c #Conflicts: 10000 | #Constraints: 22201 117.35/120.53 c #Conflicts: 11000 | #Constraints: 23201 117.35/120.53 c #Conflicts: 12000 | #Constraints: 24201 117.35/120.53 c #Conflicts: 13000 | #Constraints: 25201 117.35/120.53 c #Conflicts: 14000 | #Constraints: 26201 117.35/120.53 c #Conflicts: 15000 | #Constraints: 27201 117.35/120.53 c #Conflicts: 16000 | #Constraints: 28201 117.35/120.53 c INPROCESSING 117.35/120.53 c GARBAGE COLLECT 117.35/120.53 c #Conflicts: 17000 | #Constraints: 24497 117.35/120.53 c #Conflicts: 18000 | #Constraints: 25497 117.35/120.53 c #Conflicts: 19000 | #Constraints: 26497 117.35/120.53 c #Conflicts: 20000 | #Constraints: 27498 117.35/120.53 c INPROCESSING 117.35/120.53 c GARBAGE COLLECT 117.35/120.53 c #Conflicts: 21000 | #Constraints: 24268 117.35/120.53 c #Conflicts: 22000 | #Constraints: 25268 117.35/120.53 c #Conflicts: 23000 | #Constraints: 26268 117.35/120.53 c #Conflicts: 24000 | #Constraints: 27268 117.35/120.53 c INPROCESSING 117.35/120.53 c GARBAGE COLLECT 117.35/120.53 c #Conflicts: 25000 | #Constraints: 24444 117.35/120.53 c #Conflicts: 26000 | #Constraints: 25444 117.35/120.53 c #Conflicts: 27000 | #Constraints: 26444 117.35/120.53 c #Conflicts: 28000 | #Constraints: 27444 117.35/120.53 c #Conflicts: 29000 | #Constraints: 28444 117.35/120.53 c #Conflicts: 30000 | #Constraints: 29444 117.35/120.53 c #Conflicts: 31000 | #Constraints: 30444 117.35/120.53 c #Conflicts: 32000 | #Constraints: 31444 117.35/120.53 c #Conflicts: 33000 | #Constraints: 32444 117.35/120.53 c #Conflicts: 34000 | #Constraints: 33444 117.35/120.53 c #Conflicts: 35000 | #Constraints: 34444 117.35/120.53 c #Conflicts: 36000 | #Constraints: 35444 117.35/120.53 c INPROCESSING 117.35/120.53 c GARBAGE COLLECT 117.35/120.53 c rational objective 162 137.19/140.45 c #Conflicts: 37000 | #Constraints: 28498 137.19/140.45 c #Conflicts: 38000 | #Constraints: 29498 137.19/140.45 c #Conflicts: 39000 | #Constraints: 30498 137.19/140.45 c #Conflicts: 40000 | #Constraints: 31498 137.19/140.45 c #Conflicts: 41000 | #Constraints: 32498 137.19/140.45 c INPROCESSING 137.19/140.45 c GARBAGE COLLECT 137.19/140.45 c rational objective 162 195.53/198.96 c #Conflicts: 42000 | #Constraints: 26926 195.53/198.96 c #Conflicts: 43000 | #Constraints: 27926 195.53/198.96 c #Conflicts: 44000 | #Constraints: 28926 195.53/198.96 c #Conflicts: 45000 | #Constraints: 29926 195.53/198.96 c #Conflicts: 46000 | #Constraints: 30926 195.53/198.96 c #Conflicts: 47000 | #Constraints: 31926 195.53/198.96 c #Conflicts: 48000 | #Constraints: 32926 195.53/198.96 c #Conflicts: 49000 | #Constraints: 33927 195.53/198.96 c #Conflicts: 50000 | #Constraints: 34927 195.53/198.96 c #Conflicts: 51000 | #Constraints: 35927 195.53/198.96 c #Conflicts: 52000 | #Constraints: 36927 195.53/198.96 c #Conflicts: 53000 | #Constraints: 37927 195.53/198.96 c #Conflicts: 54000 | #Constraints: 38927 195.53/198.96 c #Conflicts: 55000 | #Constraints: 39927 195.53/198.96 c #Conflicts: 56000 | #Constraints: 40927 195.53/198.96 c INPROCESSING 195.53/198.96 c GARBAGE COLLECT 195.53/198.96 c rational objective 162 223.05/226.53 c #Conflicts: 57000 | #Constraints: 31335 223.05/226.53 c #Conflicts: 58000 | #Constraints: 32335 223.05/226.53 c #Conflicts: 59000 | #Constraints: 33335 223.05/226.53 c #Conflicts: 60000 | #Constraints: 34335 223.05/226.53 c #Conflicts: 61000 | #Constraints: 35335 223.05/226.53 c #Conflicts: 62000 | #Constraints: 36335 223.05/226.53 c INPROCESSING 223.05/226.53 c GARBAGE COLLECT 223.05/226.53 c rational objective 162 458.07/462.21 c #Conflicts: 63000 | #Constraints: 28765 458.07/462.21 c #Conflicts: 64000 | #Constraints: 29765 458.07/462.21 c #Conflicts: 65000 | #Constraints: 30765 458.07/462.21 c #Conflicts: 66000 | #Constraints: 31765 458.07/462.21 c #Conflicts: 67000 | #Constraints: 32766 458.07/462.21 c #Conflicts: 68000 | #Constraints: 33766 458.07/462.21 c #Conflicts: 69000 | #Constraints: 34766 458.07/462.21 c #Conflicts: 70000 | #Constraints: 35766 458.07/462.21 c #Conflicts: 71000 | #Constraints: 36766 458.07/462.21 c #Conflicts: 72000 | #Constraints: 37766 458.07/462.21 c #Conflicts: 73000 | #Constraints: 38766 458.07/462.21 c #Conflicts: 74000 | #Constraints: 39766 458.07/462.21 c #Conflicts: 75000 | #Constraints: 40766 458.07/462.21 c #Conflicts: 76000 | #Constraints: 41766 458.07/462.21 c #Conflicts: 77000 | #Constraints: 42766 458.07/462.21 c #Conflicts: 78000 | #Constraints: 43766 458.07/462.21 c #Conflicts: 79000 | #Constraints: 44766 458.07/462.21 c #Conflicts: 80000 | #Constraints: 45766 458.07/462.21 c INPROCESSING 458.07/462.21 c GARBAGE COLLECT 458.07/462.21 c #Conflicts: 81000 | #Constraints: 33786 458.07/462.21 c #Conflicts: 82000 | #Constraints: 34786 458.07/462.21 c #Conflicts: 83000 | #Constraints: 35786 458.07/462.21 c #Conflicts: 84000 | #Constraints: 36786 458.07/462.21 c #Conflicts: 85000 | #Constraints: 37787 458.07/462.21 c #Conflicts: 86000 | #Constraints: 38787 458.07/462.21 c #Conflicts: 87000 | #Constraints: 39787 458.07/462.21 c #Conflicts: 88000 | #Constraints: 40787 458.07/462.21 c INPROCESSING 458.07/462.21 c GARBAGE COLLECT 458.07/462.21 c #Conflicts: 89000 | #Constraints: 31252 458.07/462.21 c #Conflicts: 90000 | #Constraints: 32252 458.07/462.21 c #Conflicts: 91000 | #Constraints: 33252 458.07/462.21 c #Conflicts: 92000 | #Constraints: 34252 458.07/462.21 c #Conflicts: 93000 | #Constraints: 35252 458.07/462.21 c #Conflicts: 94000 | #Constraints: 36252 458.07/462.21 c #Conflicts: 95000 | #Constraints: 37252 458.07/462.21 c #Conflicts: 96000 | #Constraints: 38252 458.07/462.21 c #Conflicts: 97000 | #Constraints: 39252 458.07/462.21 c #Conflicts: 98000 | #Constraints: 40252 458.07/462.21 c #Conflicts: 99000 | #Constraints: 41252 458.07/462.21 c #Conflicts: 100000 | #Constraints: 42252 458.07/462.21 c #Conflicts: 101000 | #Constraints: 43252 458.07/462.21 c #Conflicts: 102000 | #Constraints: 44252 458.07/462.21 c #Conflicts: 103000 | #Constraints: 45252 458.07/462.21 c #Conflicts: 104000 | #Constraints: 46253 458.07/462.21 c #Conflicts: 105000 | #Constraints: 47253 458.07/462.21 c #Conflicts: 106000 | #Constraints: 48253 458.07/462.21 c #Conflicts: 107000 | #Constraints: 49253 458.07/462.21 c #Conflicts: 108000 | #Constraints: 50253 458.07/462.21 c #Conflicts: 109000 | #Constraints: 51253 458.07/462.21 c INPROCESSING 458.07/462.21 c GARBAGE COLLECT 458.07/462.21 c rational objective 162 554.70/559.15 c #Conflicts: 110000 | #Constraints: 36622 554.70/559.15 c #Conflicts: 111000 | #Constraints: 37622 554.70/559.15 c #Conflicts: 112000 | #Constraints: 38622 554.70/559.15 c #Conflicts: 113000 | #Constraints: 39622 554.70/559.15 c #Conflicts: 114000 | #Constraints: 40622 554.70/559.15 c #Conflicts: 115000 | #Constraints: 41622 554.70/559.15 c #Conflicts: 116000 | #Constraints: 42622 554.70/559.15 c #Conflicts: 117000 | #Constraints: 43623 554.70/559.15 c #Conflicts: 118000 | #Constraints: 44623 554.70/559.15 c INPROCESSING 554.70/559.15 c GARBAGE COLLECT 554.70/559.15 c #Conflicts: 119000 | #Constraints: 33195 554.70/559.15 c #Conflicts: 120000 | #Constraints: 34195 554.70/559.15 c #Conflicts: 121000 | #Constraints: 35195 554.70/559.15 c #Conflicts: 122000 | #Constraints: 36195 554.70/559.15 c #Conflicts: 123000 | #Constraints: 37195 554.70/559.15 c #Conflicts: 124000 | #Constraints: 38195 554.70/559.15 c #Conflicts: 125000 | #Constraints: 39195 554.70/559.15 c #Conflicts: 126000 | #Constraints: 40195 554.70/559.15 c #Conflicts: 127000 | #Constraints: 41195 554.70/559.15 c #Conflicts: 128000 | #Constraints: 42195 554.70/559.15 c #Conflicts: 129000 | #Constraints: 43195 554.70/559.15 c #Conflicts: 130000 | #Constraints: 44195 554.70/559.15 c #Conflicts: 131000 | #Constraints: 45195 554.70/559.15 c #Conflicts: 132000 | #Constraints: 46195 554.70/559.15 c #Conflicts: 133000 | #Constraints: 47195 554.70/559.15 c #Conflicts: 134000 | #Constraints: 48195 554.70/559.15 c #Conflicts: 135000 | #Constraints: 49195 554.70/559.15 c #Conflicts: 136000 | #Constraints: 50195 554.70/559.15 c #Conflicts: 137000 | #Constraints: 51195 554.70/559.15 c #Conflicts: 138000 | #Constraints: 52195 554.70/559.15 c #Conflicts: 139000 | #Constraints: 53195 554.70/559.15 c #Conflicts: 140000 | #Constraints: 54195 554.70/559.15 c #Conflicts: 141000 | #Constraints: 55195 554.70/559.15 c #Conflicts: 142000 | #Constraints: 56195 554.70/559.15 c INPROCESSING 554.70/559.15 c GARBAGE COLLECT 554.70/559.15 c rational objective 162 582.52/587.03 c #Conflicts: 143000 | #Constraints: 39153 582.52/587.03 c #Conflicts: 144000 | #Constraints: 40153 582.52/587.03 c #Conflicts: 145000 | #Constraints: 41153 582.52/587.03 c #Conflicts: 146000 | #Constraints: 42153 582.52/587.03 c #Conflicts: 147000 | #Constraints: 43153 582.52/587.03 c #Conflicts: 148000 | #Constraints: 44153 582.52/587.03 c #Conflicts: 149000 | #Constraints: 45153 582.52/587.03 c #Conflicts: 150000 | #Constraints: 46153 582.52/587.03 c #Conflicts: 151000 | #Constraints: 47153 582.52/587.03 c #Conflicts: 152000 | #Constraints: 48153 582.52/587.03 c #Conflicts: 153000 | #Constraints: 49153 582.52/587.03 c INPROCESSING 582.52/587.03 c GARBAGE COLLECT 582.52/587.03 c rational objective 162 1001.11/1006.86 c #Conflicts: 154000 | #Constraints: 36284 1001.11/1006.86 c #Conflicts: 155000 | #Constraints: 37284 1001.11/1006.86 c #Conflicts: 156000 | #Constraints: 38284 1001.11/1006.86 c #Conflicts: 157000 | #Constraints: 39284 1001.11/1006.86 c #Conflicts: 158000 | #Constraints: 40284 1001.11/1006.86 c #Conflicts: 159000 | #Constraints: 41285 1001.11/1006.86 c #Conflicts: 160000 | #Constraints: 42286 1001.11/1006.86 c #Conflicts: 161000 | #Constraints: 43287 1001.11/1006.86 c #Conflicts: 162000 | #Constraints: 44287 1001.11/1006.86 c #Conflicts: 163000 | #Constraints: 45287 1001.11/1006.86 c #Conflicts: 164000 | #Constraints: 46287 1001.11/1006.86 c #Conflicts: 165000 | #Constraints: 47287 1001.11/1006.86 c #Conflicts: 166000 | #Constraints: 48287 1001.11/1006.86 c #Conflicts: 167000 | #Constraints: 49287 1001.11/1006.86 c #Conflicts: 168000 | #Constraints: 50287 1001.11/1006.86 c #Conflicts: 169000 | #Constraints: 51287 1001.11/1006.86 c #Conflicts: 170000 | #Constraints: 52287 1001.11/1006.86 c #Conflicts: 171000 | #Constraints: 53287 1001.11/1006.86 c #Conflicts: 172000 | #Constraints: 54287 1001.11/1006.86 c #Conflicts: 173000 | #Constraints: 55287 1001.11/1006.86 c #Conflicts: 174000 | #Constraints: 56288 1001.11/1006.86 c #Conflicts: 175000 | #Constraints: 57288 1001.11/1006.86 c #Conflicts: 176000 | #Constraints: 58288 1001.11/1006.86 c #Conflicts: 177000 | #Constraints: 59288 1001.11/1006.86 c #Conflicts: 178000 | #Constraints: 60288 1001.11/1006.86 c #Conflicts: 179000 | #Constraints: 61288 1001.11/1006.86 c #Conflicts: 180000 | #Constraints: 62288 1001.11/1006.86 c INPROCESSING 1001.11/1006.86 c GARBAGE COLLECT 1001.11/1006.86 c #Conflicts: 181000 | #Constraints: 42497 1001.11/1006.86 c #Conflicts: 182000 | #Constraints: 43497 1001.11/1006.86 c #Conflicts: 183000 | #Constraints: 44497 1001.11/1006.86 c #Conflicts: 184000 | #Constraints: 45497 1001.11/1006.86 c #Conflicts: 185000 | #Constraints: 46497 1001.11/1006.86 c #Conflicts: 186000 | #Constraints: 47497 1001.11/1006.86 c #Conflicts: 187000 | #Constraints: 48497 1001.11/1006.86 c #Conflicts: 188000 | #Constraints: 49497 1001.11/1006.86 c #Conflicts: 189000 | #Constraints: 50497 1001.11/1006.86 c #Conflicts: 190000 | #Constraints: 51498 1001.11/1006.86 c #Conflicts: 191000 | #Constraints: 52498 1001.11/1006.86 c INPROCESSING 1001.11/1006.86 c GARBAGE COLLECT 1001.11/1006.86 c #Conflicts: 192000 | #Constraints: 37879 1001.11/1006.86 c #Conflicts: 193000 | #Constraints: 38879 1001.11/1006.86 c #Conflicts: 194000 | #Constraints: 39879 1001.11/1006.86 c #Conflicts: 195000 | #Constraints: 40879 1001.11/1006.86 c #Conflicts: 196000 | #Constraints: 41879 1001.11/1006.86 c #Conflicts: 197000 | #Constraints: 42879 1001.11/1006.86 c #Conflicts: 198000 | #Constraints: 43879 1001.11/1006.86 c #Conflicts: 199000 | #Constraints: 44879 1001.11/1006.86 c #Conflicts: 200000 | #Constraints: 45879 1001.11/1006.86 c #Conflicts: 201000 | #Constraints: 46879 1001.11/1006.86 c #Conflicts: 202000 | #Constraints: 47879 1001.11/1006.86 c #Conflicts: 203000 | #Constraints: 48879 1001.11/1006.86 c #Conflicts: 204000 | #Constraints: 49880 1001.11/1006.86 c #Conflicts: 205000 | #Constraints: 50880 1001.11/1006.86 c #Conflicts: 206000 | #Constraints: 51880 1001.11/1006.86 c #Conflicts: 207000 | #Constraints: 52880 1001.11/1006.86 c #Conflicts: 208000 | #Constraints: 53880 1001.11/1006.86 c #Conflicts: 209000 | #Constraints: 54880 1001.11/1006.86 c #Conflicts: 210000 | #Constraints: 55880 1001.11/1006.86 c #Conflicts: 211000 | #Constraints: 56880 1001.11/1006.86 c #Conflicts: 212000 | #Constraints: 57880 1001.11/1006.86 c #Conflicts: 213000 | #Constraints: 58880 1001.11/1006.86 c #Conflicts: 214000 | #Constraints: 59880 1001.11/1006.86 c #Conflicts: 215000 | #Constraints: 60880 1001.11/1006.86 c #Conflicts: 216000 | #Constraints: 61880 1001.11/1006.86 c #Conflicts: 217000 | #Constraints: 62880 1001.11/1006.86 c #Conflicts: 218000 | #Constraints: 63880 1001.11/1006.86 c #Conflicts: 219000 | #Constraints: 64880 1001.11/1006.86 c #Conflicts: 220000 | #Constraints: 65880 1001.11/1006.86 c #Conflicts: 221000 | #Constraints: 66880 1001.11/1006.86 c #Conflicts: 222000 | #Constraints: 67881 1001.11/1006.86 c INPROCESSING 1001.11/1006.86 c GARBAGE COLLECT 1001.11/1006.86 c rational objective 162 1213.09/1219.38 c #Conflicts: 223000 | #Constraints: 45097 1213.09/1219.38 c #Conflicts: 224000 | #Constraints: 46097 1213.09/1219.38 c #Conflicts: 225000 | #Constraints: 47097 1213.09/1219.38 c #Conflicts: 226000 | #Constraints: 48097 1213.09/1219.38 c #Conflicts: 227000 | #Constraints: 49097 1213.09/1219.38 c #Conflicts: 228000 | #Constraints: 50097 1213.09/1219.38 c #Conflicts: 229000 | #Constraints: 51097 1213.09/1219.38 c #Conflicts: 230000 | #Constraints: 52097 1213.09/1219.38 c #Conflicts: 231000 | #Constraints: 53097 1213.09/1219.38 c #Conflicts: 232000 | #Constraints: 54097 1213.09/1219.38 c #Conflicts: 233000 | #Constraints: 55097 1213.09/1219.38 c #Conflicts: 234000 | #Constraints: 56097 1213.09/1219.38 c #Conflicts: 235000 | #Constraints: 57097 1213.09/1219.38 c INPROCESSING 1213.09/1219.38 c GARBAGE COLLECT 1213.09/1219.38 c #Conflicts: 236000 | #Constraints: 40295 1213.09/1219.38 c #Conflicts: 237000 | #Constraints: 41295 1213.09/1219.38 c #Conflicts: 238000 | #Constraints: 42295 1213.09/1219.38 c #Conflicts: 239000 | #Constraints: 43295 1213.09/1219.38 c #Conflicts: 240000 | #Constraints: 44295 1213.09/1219.38 c #Conflicts: 241000 | #Constraints: 45295 1213.09/1219.38 c #Conflicts: 242000 | #Constraints: 46295 1213.09/1219.38 c #Conflicts: 243000 | #Constraints: 47296 1213.09/1219.38 c #Conflicts: 244000 | #Constraints: 48296 1213.09/1219.38 c #Conflicts: 245000 | #Constraints: 49296 1213.09/1219.38 c #Conflicts: 246000 | #Constraints: 50296 1213.09/1219.38 c #Conflicts: 247000 | #Constraints: 51296 1213.09/1219.38 c #Conflicts: 248000 | #Constraints: 52296 1213.09/1219.38 c #Conflicts: 249000 | #Constraints: 53296 1213.09/1219.38 c #Conflicts: 250000 | #Constraints: 54296 1213.09/1219.38 c #Conflicts: 251000 | #Constraints: 55296 1213.09/1219.38 c #Conflicts: 252000 | #Constraints: 56296 1213.09/1219.38 c #Conflicts: 253000 | #Constraints: 57296 1213.09/1219.38 c #Conflicts: 254000 | #Constraints: 58296 1213.09/1219.38 c #Conflicts: 255000 | #Constraints: 59296 1213.09/1219.38 c #Conflicts: 256000 | #Constraints: 60296 1213.09/1219.38 c #Conflicts: 257000 | #Constraints: 61296 1213.09/1219.38 c #Conflicts: 258000 | #Constraints: 62296 1213.09/1219.38 c #Conflicts: 259000 | #Constraints: 63296 1213.09/1219.38 c #Conflicts: 260000 | #Constraints: 64296 1213.09/1219.38 c #Conflicts: 261000 | #Constraints: 65296 1213.09/1219.38 c #Conflicts: 262000 | #Constraints: 66296 1213.09/1219.38 c #Conflicts: 263000 | #Constraints: 67297 1213.09/1219.38 c #Conflicts: 264000 | #Constraints: 68297 1213.09/1219.38 c #Conflicts: 265000 | #Constraints: 69297 1213.09/1219.38 c #Conflicts: 266000 | #Constraints: 70297 1213.09/1219.38 c #Conflicts: 267000 | #Constraints: 71297 1213.09/1219.38 c #Conflicts: 268000 | #Constraints: 72297 1213.09/1219.38 c INPROCESSING 1213.09/1219.38 c GARBAGE COLLECT 1213.09/1219.38 c #Conflicts: 269000 | #Constraints: 47283 1213.09/1219.38 c #Conflicts: 270000 | #Constraints: 48283 1213.09/1219.38 c #Conflicts: 271000 | #Constraints: 49283 1213.09/1219.38 c #Conflicts: 272000 | #Constraints: 50283 1213.09/1219.38 c #Conflicts: 273000 | #Constraints: 51283 1213.09/1219.38 c #Conflicts: 274000 | #Constraints: 52283 1213.09/1219.38 c #Conflicts: 275000 | #Constraints: 53283 1213.09/1219.38 c #Conflicts: 276000 | #Constraints: 54283 1213.09/1219.38 c #Conflicts: 277000 | #Constraints: 55283 1213.09/1219.38 c #Conflicts: 278000 | #Constraints: 56283 1213.09/1219.38 c #Conflicts: 279000 | #Constraints: 57283 1213.09/1219.38 c #Conflicts: 280000 | #Constraints: 58283 1213.09/1219.38 c #Conflicts: 281000 | #Constraints: 59283 1213.09/1219.38 c #Conflicts: 282000 | #Constraints: 60283 1213.09/1219.38 c INPROCESSING 1213.09/1219.38 c GARBAGE COLLECT 1213.09/1219.38 c rational objective 162 1266.07/1272.47 c #Conflicts: 283000 | #Constraints: 42305 1266.07/1272.47 c #Conflicts: 284000 | #Constraints: 43305 1266.07/1272.47 c #Conflicts: 285000 | #Constraints: 44305 1266.07/1272.47 c #Conflicts: 286000 | #Constraints: 45305 1266.07/1272.47 c #Conflicts: 287000 | #Constraints: 46305 1266.07/1272.47 c #Conflicts: 288000 | #Constraints: 47305 1266.07/1272.47 c #Conflicts: 289000 | #Constraints: 48305 1266.07/1272.47 c #Conflicts: 290000 | #Constraints: 49305 1266.07/1272.47 c #Conflicts: 291000 | #Constraints: 50305 1266.07/1272.47 c #Conflicts: 292000 | #Constraints: 51305 1266.07/1272.47 c #Conflicts: 293000 | #Constraints: 52305 1266.07/1272.47 c #Conflicts: 294000 | #Constraints: 53305 1266.07/1272.47 c #Conflicts: 295000 | #Constraints: 54305 1266.07/1272.47 c #Conflicts: 296000 | #Constraints: 55305 1266.07/1272.47 c #Conflicts: 297000 | #Constraints: 56305 1266.07/1272.47 c #Conflicts: 298000 | #Constraints: 57305 1266.07/1272.47 c #Conflicts: 299000 | #Constraints: 58305 1266.07/1272.47 c #Conflicts: 300000 | #Constraints: 59305 1266.07/1272.47 c #Conflicts: 301000 | #Constraints: 60305 1266.07/1272.47 c #Conflicts: 302000 | #Constraints: 61305 1266.07/1272.47 c #Conflicts: 303000 | #Constraints: 62305 1266.07/1272.47 c #Conflicts: 304000 | #Constraints: 63305 1266.07/1272.47 c #Conflicts: 305000 | #Constraints: 64305 1266.07/1272.47 c #Conflicts: 306000 | #Constraints: 65305 1266.07/1272.47 c #Conflicts: 307000 | #Constraints: 66305 1266.07/1272.47 c #Conflicts: 308000 | #Constraints: 67305 1266.07/1272.47 c #Conflicts: 309000 | #Constraints: 68305 1266.07/1272.47 c #Conflicts: 310000 | #Constraints: 69305 1266.07/1272.47 c #Conflicts: 311000 | #Constraints: 70305 1266.07/1272.47 c #Conflicts: 312000 | #Constraints: 71305 1266.07/1272.47 c #Conflicts: 313000 | #Constraints: 72305 1266.07/1272.47 c #Conflicts: 314000 | #Constraints: 73305 1266.07/1272.47 c #Conflicts: 315000 | #Constraints: 74305 1266.07/1272.47 c #Conflicts: 316000 | #Constraints: 75305 1266.07/1272.47 c #Conflicts: 317000 | #Constraints: 76305 1266.07/1272.47 c #Conflicts: 318000 | #Constraints: 77305 1266.07/1272.47 c #Conflicts: 319000 | #Constraints: 78305 1266.07/1272.47 c INPROCESSING 1266.07/1272.47 c GARBAGE COLLECT 1266.07/1272.47 c rational objective 162 1402.47/1409.14 c #Conflicts: 320000 | #Constraints: 50352 1402.47/1409.14 c #Conflicts: 321000 | #Constraints: 51352 1402.47/1409.14 c #Conflicts: 322000 | #Constraints: 52352 1402.47/1409.14 c #Conflicts: 323000 | #Constraints: 53352 1402.47/1409.14 c #Conflicts: 324000 | #Constraints: 54352 1402.47/1409.14 c #Conflicts: 325000 | #Constraints: 55352 1402.47/1409.14 c #Conflicts: 326000 | #Constraints: 56353 1402.47/1409.14 c #Conflicts: 327000 | #Constraints: 57353 1402.47/1409.14 c #Conflicts: 328000 | #Constraints: 58353 1402.47/1409.14 c #Conflicts: 329000 | #Constraints: 59353 1402.47/1409.14 c #Conflicts: 330000 | #Constraints: 60353 1402.47/1409.14 c #Conflicts: 331000 | #Constraints: 61353 1402.47/1409.14 c #Conflicts: 332000 | #Constraints: 62353 1402.47/1409.14 c #Conflicts: 333000 | #Constraints: 63353 1402.47/1409.14 c #Conflicts: 334000 | #Constraints: 64353 1402.47/1409.14 c #Conflicts: 335000 | #Constraints: 65353 1402.47/1409.14 c INPROCESSING 1402.47/1409.14 c GARBAGE COLLECT 1402.47/1409.14 c rational objective 162 1565.79/1572.82 c #Conflicts: 336000 | #Constraints: 45532 1565.79/1572.82 c #Conflicts: 337000 | #Constraints: 46532 1565.79/1572.82 c #Conflicts: 338000 | #Constraints: 47532 1565.79/1572.82 c #Conflicts: 339000 | #Constraints: 48532 1565.79/1572.82 c #Conflicts: 340000 | #Constraints: 49532 1565.79/1572.82 c #Conflicts: 341000 | #Constraints: 50532 1565.79/1572.82 c #Conflicts: 342000 | #Constraints: 51533 1565.79/1572.82 c #Conflicts: 343000 | #Constraints: 52533 1565.79/1572.82 c #Conflicts: 344000 | #Constraints: 53533 1565.79/1572.82 c #Conflicts: 345000 | #Constraints: 54533 1565.79/1572.82 c #Conflicts: 346000 | #Constraints: 55533 1565.79/1572.82 c #Conflicts: 347000 | #Constraints: 56533 1565.79/1572.82 c #Conflicts: 348000 | #Constraints: 57533 1565.79/1572.82 c #Conflicts: 349000 | #Constraints: 58534 1565.79/1572.82 c #Conflicts: 350000 | #Constraints: 59534 1565.79/1572.82 c #Conflicts: 351000 | #Constraints: 60534 1565.79/1572.82 c #Conflicts: 352000 | #Constraints: 61534 1565.79/1572.82 c #Conflicts: 353000 | #Constraints: 62534 1565.79/1572.82 c #Conflicts: 354000 | #Constraints: 63534 1565.79/1572.82 c #Conflicts: 355000 | #Constraints: 64534 1565.79/1572.82 c #Conflicts: 356000 | #Constraints: 65534 1565.79/1572.82 c #Conflicts: 357000 | #Constraints: 66534 1565.79/1572.82 c #Conflicts: 358000 | #Constraints: 67534 1565.79/1572.82 c #Conflicts: 359000 | #Constraints: 68534 1565.79/1572.82 c #Conflicts: 360000 | #Constraints: 69534 1565.79/1572.82 c #Conflicts: 361000 | #Constraints: 70534 1565.79/1572.82 c #Conflicts: 362000 | #Constraints: 71534 1565.79/1572.82 c #Conflicts: 363000 | #Constraints: 72535 1565.79/1572.82 c #Conflicts: 364000 | #Constraints: 73535 1565.79/1572.82 c #Conflicts: 365000 | #Constraints: 74535 1565.79/1572.82 c #Conflicts: 366000 | #Constraints: 75535 1565.79/1572.82 c #Conflicts: 367000 | #Constraints: 76535 1565.79/1572.82 c #Conflicts: 368000 | #Constraints: 77535 1565.79/1572.82 c #Conflicts: 369000 | #Constraints: 78535 1565.79/1572.82 c #Conflicts: 370000 | #Constraints: 79535 1565.79/1572.82 c #Conflicts: 371000 | #Constraints: 80535 1565.79/1572.82 c #Conflicts: 372000 | #Constraints: 81535 1565.79/1572.82 c #Conflicts: 373000 | #Constraints: 82535 1565.79/1572.82 c #Conflicts: 374000 | #Constraints: 83536 1565.79/1572.82 c INPROCESSING 1565.79/1572.82 c GARBAGE COLLECT 1565.79/1572.82 c rational objective 162 1639.21/1646.44 c #Conflicts: 375000 | #Constraints: 53196 1639.21/1646.44 c #Conflicts: 376000 | #Constraints: 54196 1639.21/1646.44 c #Conflicts: 377000 | #Constraints: 55196 1639.21/1646.44 c #Conflicts: 378000 | #Constraints: 56196 1639.21/1646.44 c #Conflicts: 379000 | #Constraints: 57196 1639.21/1646.44 c #Conflicts: 380000 | #Constraints: 58196 1639.21/1646.44 c #Conflicts: 381000 | #Constraints: 59196 1639.21/1646.44 c #Conflicts: 382000 | #Constraints: 60196 1639.21/1646.44 c #Conflicts: 383000 | #Constraints: 61196 1639.21/1646.44 c #Conflicts: 384000 | #Constraints: 62196 1639.21/1646.44 c #Conflicts: 385000 | #Constraints: 63196 1639.21/1646.44 c #Conflicts: 386000 | #Constraints: 64196 1639.21/1646.44 c #Conflicts: 387000 | #Constraints: 65196 1639.21/1646.44 c #Conflicts: 388000 | #Constraints: 66197 1639.21/1646.44 c #Conflicts: 389000 | #Constraints: 67197 1639.21/1646.44 c #Conflicts: 390000 | #Constraints: 68197 1639.21/1646.44 c #Conflicts: 391000 | #Constraints: 69198 1639.21/1646.44 c INPROCESSING 1639.21/1646.44 c GARBAGE COLLECT 1639.21/1646.44 c rational objective 162 1922.86/1930.71 c #Conflicts: 392000 | #Constraints: 48055 1922.86/1930.71 c #Conflicts: 393000 | #Constraints: 49055 1922.86/1930.71 c #Conflicts: 394000 | #Constraints: 50055 1922.86/1930.71 c #Conflicts: 395000 | #Constraints: 51055 1922.86/1930.71 c #Conflicts: 396000 | #Constraints: 52055 1922.86/1930.71 c #Conflicts: 397000 | #Constraints: 53055 1922.86/1930.71 c #Conflicts: 398000 | #Constraints: 54056 1922.86/1930.71 c #Conflicts: 399000 | #Constraints: 55056 1922.86/1930.71 c #Conflicts: 400000 | #Constraints: 56056 1922.86/1930.71 c #Conflicts: 401000 | #Constraints: 57056 1922.86/1930.71 c #Conflicts: 402000 | #Constraints: 58056 1922.86/1930.71 c #Conflicts: 403000 | #Constraints: 59056 1922.86/1930.71 c #Conflicts: 404000 | #Constraints: 60056 1922.86/1930.71 c #Conflicts: 405000 | #Constraints: 61056 1922.86/1930.71 c #Conflicts: 406000 | #Constraints: 62056 1922.86/1930.71 c #Conflicts: 407000 | #Constraints: 63056 1922.86/1930.71 c #Conflicts: 408000 | #Constraints: 64056 1922.86/1930.71 c #Conflicts: 409000 | #Constraints: 65056 1922.86/1930.71 c #Conflicts: 410000 | #Constraints: 66056 1922.86/1930.71 c #Conflicts: 411000 | #Constraints: 67056 1922.86/1930.71 c #Conflicts: 412000 | #Constraints: 68056 1922.86/1930.71 c #Conflicts: 413000 | #Constraints: 69056 1922.86/1930.71 c #Conflicts: 414000 | #Constraints: 70056 1922.86/1930.71 c #Conflicts: 415000 | #Constraints: 71056 1922.86/1930.71 c #Conflicts: 416000 | #Constraints: 72056 1922.86/1930.71 c #Conflicts: 417000 | #Constraints: 73056 1922.86/1930.71 c #Conflicts: 418000 | #Constraints: 74056 1922.86/1930.71 c #Conflicts: 419000 | #Constraints: 75056 1922.86/1930.71 c #Conflicts: 420000 | #Constraints: 76056 1922.86/1930.71 c #Conflicts: 421000 | #Constraints: 77056 1922.86/1930.71 c #Conflicts: 422000 | #Constraints: 78056 1922.86/1930.71 c #Conflicts: 423000 | #Constraints: 79056 1922.86/1930.71 c #Conflicts: 424000 | #Constraints: 80056 1922.86/1930.71 c #Conflicts: 425000 | #Constraints: 81056 1922.86/1930.71 c #Conflicts: 426000 | #Constraints: 82056 1922.86/1930.71 c #Conflicts: 427000 | #Constraints: 83056 1922.86/1930.71 c #Conflicts: 428000 | #Constraints: 84056 1922.86/1930.71 c #Conflicts: 429000 | #Constraints: 85056 1922.86/1930.71 c #Conflicts: 430000 | #Constraints: 86056 1922.86/1930.71 c #Conflicts: 431000 | #Constraints: 87057 1922.86/1930.71 c #Conflicts: 432000 | #Constraints: 88057 1922.86/1930.71 c #Conflicts: 433000 | #Constraints: 89057 1922.86/1930.71 c #Conflicts: 434000 | #Constraints: 90057 1922.86/1930.71 c INPROCESSING 1922.86/1930.71 c GARBAGE COLLECT 1922.86/1930.71 c rational objective 162 2387.15/2396.24 c #Conflicts: 435000 | #Constraints: 56696 2387.15/2396.24 c #Conflicts: 436000 | #Constraints: 57696 2387.15/2396.24 c #Conflicts: 437000 | #Constraints: 58696 2387.15/2396.24 c #Conflicts: 438000 | #Constraints: 59696 2387.15/2396.24 c #Conflicts: 439000 | #Constraints: 60696 2387.15/2396.24 c #Conflicts: 440000 | #Constraints: 61696 2387.15/2396.24 c #Conflicts: 441000 | #Constraints: 62696 2387.15/2396.24 c #Conflicts: 442000 | #Constraints: 63696 2387.15/2396.24 c #Conflicts: 443000 | #Constraints: 64696 2387.15/2396.24 c #Conflicts: 444000 | #Constraints: 65696 2387.15/2396.24 c #Conflicts: 445000 | #Constraints: 66696 2387.15/2396.24 c #Conflicts: 446000 | #Constraints: 67697 2387.15/2396.24 c #Conflicts: 447000 | #Constraints: 68698 2387.15/2396.24 c #Conflicts: 448000 | #Constraints: 69699 2387.15/2396.24 c #Conflicts: 449000 | #Constraints: 70700 2387.15/2396.24 c #Conflicts: 450000 | #Constraints: 71700 2387.15/2396.24 c #Conflicts: 451000 | #Constraints: 72700 2387.15/2396.24 c #Conflicts: 452000 | #Constraints: 73700 2387.15/2396.24 c INPROCESSING 2387.15/2396.24 c GARBAGE COLLECT 2387.15/2396.24 c #Conflicts: 453000 | #Constraints: 50304 2387.15/2396.24 c #Conflicts: 454000 | #Constraints: 51304 2387.15/2396.24 c #Conflicts: 455000 | #Constraints: 52305 2387.15/2396.24 c #Conflicts: 456000 | #Constraints: 53305 2387.15/2396.24 c #Conflicts: 457000 | #Constraints: 54305 2387.15/2396.24 c #Conflicts: 458000 | #Constraints: 55305 2387.15/2396.24 c #Conflicts: 459000 | #Constraints: 56305 2387.15/2396.24 c #Conflicts: 460000 | #Constraints: 57305 2387.15/2396.24 c #Conflicts: 461000 | #Constraints: 58305 2387.15/2396.24 c #Conflicts: 462000 | #Constraints: 59305 2387.15/2396.24 c #Conflicts: 463000 | #Constraints: 60305 2387.15/2396.24 c #Conflicts: 464000 | #Constraints: 61305 2387.15/2396.24 c #Conflicts: 465000 | #Constraints: 62305 2387.15/2396.24 c #Conflicts: 466000 | #Constraints: 63305 2387.15/2396.24 c #Conflicts: 467000 | #Constraints: 64305 2387.15/2396.24 c #Conflicts: 468000 | #Constraints: 65306 2387.15/2396.24 c #Conflicts: 469000 | #Constraints: 66306 2387.15/2396.24 c #Conflicts: 470000 | #Constraints: 67306 2387.15/2396.24 c #Conflicts: 471000 | #Constraints: 68306 2387.15/2396.24 c #Conflicts: 472000 | #Constraints: 69306 2387.15/2396.24 c #Conflicts: 473000 | #Constraints: 70306 2387.15/2396.24 c #Conflicts: 474000 | #Constraints: 71306 2387.15/2396.24 c #Conflicts: 475000 | #Constraints: 72306 2387.15/2396.24 c #Conflicts: 476000 | #Constraints: 73306 2387.15/2396.24 c #Conflicts: 477000 | #Constraints: 74306 2387.15/2396.24 c #Conflicts: 478000 | #Constraints: 75306 2387.15/2396.24 c #Conflicts: 479000 | #Constraints: 76306 2387.15/2396.24 c #Conflicts: 480000 | #Constraints: 77306 2387.15/2396.24 c #Conflicts: 481000 | #Constraints: 78307 2387.15/2396.24 c #Conflicts: 482000 | #Constraints: 79311 2387.15/2396.24 c #Conflicts: 483000 | #Constraints: 80313 2387.15/2396.24 c #Conflicts: 484000 | #Constraints: 81313 2387.15/2396.24 c #Conflicts: 485000 | #Constraints: 82313 2387.15/2396.24 c #Conflicts: 486000 | #Constraints: 83313 2387.15/2396.24 c #Conflicts: 487000 | #Constraints: 84314 2387.15/2396.24 c #Conflicts: 488000 | #Constraints: 85314 2387.15/2396.24 c #Conflicts: 489000 | #Constraints: 86314 2387.15/2396.24 c #Conflicts: 490000 | #Constraints: 87314 2387.15/2396.24 c #Conflicts: 491000 | #Constraints: 88314 2387.15/2396.24 c #Conflicts: 492000 | #Constraints: 89314 2387.15/2396.24 c #Conflicts: 493000 | #Constraints: 90314 2387.15/2396.24 c #Conflicts: 494000 | #Constraints: 91314 2387.15/2396.24 c #Conflicts: 495000 | #Constraints: 92314 2387.15/2396.24 c #Conflicts: 496000 | #Constraints: 93314 2387.15/2396.24 c #Conflicts: 497000 | #Constraints: 94315 2387.15/2396.24 c #Conflicts: 498000 | #Constraints: 95315 2387.15/2396.24 c INPROCESSING 2387.15/2396.24 c GARBAGE COLLECT 2387.15/2396.24 c #Conflicts: 499000 | #Constraints: 59103 2387.15/2396.24 c #Conflicts: 500000 | #Constraints: 60103 2387.15/2396.24 c #Conflicts: 501000 | #Constraints: 61103 2387.15/2396.24 c #Conflicts: 502000 | #Constraints: 62103 2387.15/2396.24 c #Conflicts: 503000 | #Constraints: 63103 2387.15/2396.24 c #Conflicts: 504000 | #Constraints: 64103 2387.15/2396.24 c #Conflicts: 505000 | #Constraints: 65103 2387.15/2396.24 c #Conflicts: 506000 | #Constraints: 66103 2387.15/2396.24 c #Conflicts: 507000 | #Constraints: 67103 2387.15/2396.24 c #Conflicts: 508000 | #Constraints: 68103 2387.15/2396.24 c #Conflicts: 509000 | #Constraints: 69103 2387.15/2396.24 c #Conflicts: 510000 | #Constraints: 70103 2387.15/2396.24 c #Conflicts: 511000 | #Constraints: 71103 2387.15/2396.24 c #Conflicts: 512000 | #Constraints: 72103 2784.33/2794.56 c #Conflicts: 513000 | #Constraints: 73104 2784.33/2794.56 c #Conflicts: 514000 | #Constraints: 74104 2784.33/2794.56 c #Conflicts: 515000 | #Constraints: 75104 2784.33/2794.56 c #Conflicts: 516000 | #Constraints: 76104 2784.33/2794.56 c #Conflicts: 517000 | #Constraints: 77104 2784.33/2794.56 c INPROCESSING 2784.33/2794.56 c GARBAGE COLLECT 2784.33/2794.56 c #Conflicts: 518000 | #Constraints: 51381 2784.33/2794.56 c #Conflicts: 519000 | #Constraints: 52381 2784.33/2794.56 c #Conflicts: 520000 | #Constraints: 53381 2784.33/2794.56 c #Conflicts: 521000 | #Constraints: 54381 2784.33/2794.56 c #Conflicts: 522000 | #Constraints: 55381 2784.33/2794.56 c #Conflicts: 523000 | #Constraints: 56381 2784.33/2794.56 c #Conflicts: 524000 | #Constraints: 57381 2784.33/2794.56 c #Conflicts: 525000 | #Constraints: 58381 2784.33/2794.56 c #Conflicts: 526000 | #Constraints: 59381 2784.33/2794.56 c #Conflicts: 527000 | #Constraints: 60382 2784.33/2794.56 c #Conflicts: 528000 | #Constraints: 61382 2784.33/2794.56 c #Conflicts: 529000 | #Constraints: 62382 2784.33/2794.56 c #Conflicts: 530000 | #Constraints: 63382 2784.33/2794.56 c #Conflicts: 531000 | #Constraints: 64382 2784.33/2794.56 c #Conflicts: 532000 | #Constraints: 65382 2784.33/2794.56 c #Conflicts: 533000 | #Constraints: 66382 2784.33/2794.56 c #Conflicts: 534000 | #Constraints: 67382 2784.33/2794.56 c #Conflicts: 535000 | #Constraints: 68382 2784.33/2794.56 c #Conflicts: 536000 | #Constraints: 69382 2784.33/2794.56 c #Conflicts: 537000 | #Constraints: 70382 2784.33/2794.56 c #Conflicts: 538000 | #Constraints: 71382 2784.33/2794.56 c #Conflicts: 539000 | #Constraints: 72383 2784.33/2794.56 c #Conflicts: 540000 | #Constraints: 73383 2784.33/2794.56 c #Conflicts: 541000 | #Constraints: 74383 2784.33/2794.56 c #Conflicts: 542000 | #Constraints: 75383 2784.33/2794.56 c #Conflicts: 543000 | #Constraints: 76383 2784.33/2794.56 c #Conflicts: 544000 | #Constraints: 77383 2784.33/2794.56 c #Conflicts: 545000 | #Constraints: 78383 2784.33/2794.56 c #Conflicts: 546000 | #Constraints: 79383 2784.33/2794.56 c #Conflicts: 547000 | #Constraints: 80383 2784.33/2794.56 c #Conflicts: 548000 | #Constraints: 81383 2784.33/2794.56 c #Conflicts: 549000 | #Constraints: 82383 2784.33/2794.56 c #Conflicts: 550000 | #Constraints: 83383 2784.33/2794.56 c #Conflicts: 551000 | #Constraints: 84383 2784.33/2794.56 c #Conflicts: 552000 | #Constraints: 85383 2784.33/2794.56 c #Conflicts: 553000 | #Constraints: 86384 2784.33/2794.56 c #Conflicts: 554000 | #Constraints: 87384 2784.33/2794.56 c #Conflicts: 555000 | #Constraints: 88384 2784.33/2794.56 c #Conflicts: 556000 | #Constraints: 89384 2784.33/2794.56 c #Conflicts: 557000 | #Constraints: 90384 2784.33/2794.56 c #Conflicts: 558000 | #Constraints: 91384 2784.33/2794.56 c #Conflicts: 559000 | #Constraints: 92384 2784.33/2794.56 c #Conflicts: 560000 | #Constraints: 93384 2784.33/2794.56 c #Conflicts: 561000 | #Constraints: 94384 2784.33/2794.56 c #Conflicts: 562000 | #Constraints: 95384 2784.33/2794.56 c #Conflicts: 563000 | #Constraints: 96384 2784.33/2794.56 c #Conflicts: 564000 | #Constraints: 97384 2784.33/2794.56 c #Conflicts: 565000 | #Constraints: 98384 2784.33/2794.56 c #Conflicts: 566000 | #Constraints: 99384 2784.33/2794.56 c INPROCESSING 2784.33/2794.56 c GARBAGE COLLECT 2784.33/2794.56 c #Conflicts: 567000 | #Constraints: 61234 2784.33/2794.56 c #Conflicts: 568000 | #Constraints: 62234 2784.33/2794.56 c #Conflicts: 569000 | #Constraints: 63234 2784.33/2794.56 c #Conflicts: 570000 | #Constraints: 64234 2784.33/2794.56 c #Conflicts: 571000 | #Constraints: 65234 2784.33/2794.56 c #Conflicts: 572000 | #Constraints: 66234 2784.33/2794.56 c #Conflicts: 573000 | #Constraints: 67234 2784.33/2794.56 c #Conflicts: 574000 | #Constraints: 68234 2784.33/2794.56 c #Conflicts: 575000 | #Constraints: 69234 2784.33/2794.56 c #Conflicts: 576000 | #Constraints: 70234 2784.33/2794.56 c #Conflicts: 577000 | #Constraints: 71234 2784.33/2794.56 c #Conflicts: 578000 | #Constraints: 72234 2784.33/2794.56 c #Conflicts: 579000 | #Constraints: 73234 2784.33/2794.56 c #Conflicts: 580000 | #Constraints: 74235 2784.33/2794.56 c #Conflicts: 581000 | #Constraints: 75235 2784.33/2794.56 c #Conflicts: 582000 | #Constraints: 76235 2784.33/2794.56 c #Conflicts: 583000 | #Constraints: 77235 2784.33/2794.56 c #Conflicts: 584000 | #Constraints: 78235 2784.33/2794.56 c #Conflicts: 585000 | #Constraints: 79235 2784.33/2794.56 c #Conflicts: 586000 | #Constraints: 80235 2784.33/2794.56 c #Conflicts: 587000 | #Constraints: 81235 2784.33/2794.56 c INPROCESSING 2784.33/2794.56 c GARBAGE COLLECT 2784.33/2794.56 c #Conflicts: 588000 | #Constraints: 54794 2784.33/2794.56 c #Conflicts: 589000 | #Constraints: 55794 3140.18/3151.31 c #Conflicts: 590000 | #Constraints: 56794 3140.18/3151.31 c #Conflicts: 591000 | #Constraints: 57794 3140.18/3151.31 c #Conflicts: 592000 | #Constraints: 58794 3140.18/3151.31 c #Conflicts: 593000 | #Constraints: 59794 3140.18/3151.31 c #Conflicts: 594000 | #Constraints: 60794 3140.18/3151.31 c #Conflicts: 595000 | #Constraints: 61794 3140.18/3151.31 c #Conflicts: 596000 | #Constraints: 62794 3140.18/3151.31 c #Conflicts: 597000 | #Constraints: 63794 3140.18/3151.31 c #Conflicts: 598000 | #Constraints: 64795 3140.18/3151.31 c #Conflicts: 599000 | #Constraints: 65795 3140.18/3151.31 c #Conflicts: 600000 | #Constraints: 66795 3140.18/3151.31 c #Conflicts: 601000 | #Constraints: 67795 3140.18/3151.31 c #Conflicts: 602000 | #Constraints: 68795 3140.18/3151.31 c #Conflicts: 603000 | #Constraints: 69795 3140.18/3151.31 c #Conflicts: 604000 | #Constraints: 70795 3140.18/3151.31 c #Conflicts: 605000 | #Constraints: 71795 3140.18/3151.31 c #Conflicts: 606000 | #Constraints: 72795 3140.18/3151.31 c #Conflicts: 607000 | #Constraints: 73795 3140.18/3151.31 c #Conflicts: 608000 | #Constraints: 74795 3140.18/3151.31 c #Conflicts: 609000 | #Constraints: 75795 3140.18/3151.31 c #Conflicts: 610000 | #Constraints: 76795 3140.18/3151.31 c #Conflicts: 611000 | #Constraints: 77795 3140.18/3151.31 c #Conflicts: 612000 | #Constraints: 78795 3140.18/3151.31 c #Conflicts: 613000 | #Constraints: 79795 3140.18/3151.31 c #Conflicts: 614000 | #Constraints: 80795 3140.18/3151.31 c #Conflicts: 615000 | #Constraints: 81795 3140.18/3151.31 c #Conflicts: 616000 | #Constraints: 82795 3140.18/3151.31 c #Conflicts: 617000 | #Constraints: 83795 3140.18/3151.31 c #Conflicts: 618000 | #Constraints: 84795 3140.18/3151.31 c #Conflicts: 619000 | #Constraints: 85795 3140.18/3151.31 c #Conflicts: 620000 | #Constraints: 86795 3140.18/3151.31 c #Conflicts: 621000 | #Constraints: 87795 3140.18/3151.31 c #Conflicts: 622000 | #Constraints: 88795 3140.18/3151.31 c #Conflicts: 623000 | #Constraints: 89795 3140.18/3151.31 c #Conflicts: 624000 | #Constraints: 90795 3140.18/3151.31 c #Conflicts: 625000 | #Constraints: 91795 3140.18/3151.31 c #Conflicts: 626000 | #Constraints: 92795 3140.18/3151.31 c #Conflicts: 627000 | #Constraints: 93795 3140.18/3151.31 c #Conflicts: 628000 | #Constraints: 94795 3140.18/3151.31 c #Conflicts: 629000 | #Constraints: 95796 3140.18/3151.31 c #Conflicts: 630000 | #Constraints: 96796 3140.18/3151.31 c #Conflicts: 631000 | #Constraints: 97796 3140.18/3151.31 c #Conflicts: 632000 | #Constraints: 98796 3140.18/3151.31 c #Conflicts: 633000 | #Constraints: 99796 3140.18/3151.31 c #Conflicts: 634000 | #Constraints: 100796 3140.18/3151.31 c #Conflicts: 635000 | #Constraints: 101796 3140.18/3151.31 c #Conflicts: 636000 | #Constraints: 102796 3140.18/3151.31 c #Conflicts: 637000 | #Constraints: 103796 3140.18/3151.31 c #Conflicts: 638000 | #Constraints: 104796 3140.18/3151.31 c #Conflicts: 639000 | #Constraints: 105796 3140.18/3151.31 c INPROCESSING 3140.18/3151.31 c GARBAGE COLLECT 3140.18/3151.31 c #Conflicts: 640000 | #Constraints: 64750 3140.18/3151.31 c #Conflicts: 641000 | #Constraints: 65750 3140.18/3151.31 c #Conflicts: 642000 | #Constraints: 66750 3140.18/3151.31 c #Conflicts: 643000 | #Constraints: 67751 3140.18/3151.31 c #Conflicts: 644000 | #Constraints: 68751 3140.18/3151.31 c #Conflicts: 645000 | #Constraints: 69751 3140.18/3151.31 c #Conflicts: 646000 | #Constraints: 70751 3140.18/3151.31 c #Conflicts: 647000 | #Constraints: 71751 3140.18/3151.31 c #Conflicts: 648000 | #Constraints: 72751 3140.18/3151.31 c #Conflicts: 649000 | #Constraints: 73751 3140.18/3151.31 c #Conflicts: 650000 | #Constraints: 74751 3140.18/3151.31 c #Conflicts: 651000 | #Constraints: 75751 3140.18/3151.31 c #Conflicts: 652000 | #Constraints: 76751 3140.18/3151.31 c #Conflicts: 653000 | #Constraints: 77751 3140.18/3151.31 c #Conflicts: 654000 | #Constraints: 78751 3140.18/3151.31 c #Conflicts: 655000 | #Constraints: 79751 3140.18/3151.31 c #Conflicts: 656000 | #Constraints: 80751 3140.18/3151.31 c #Conflicts: 657000 | #Constraints: 81751 3140.18/3151.31 c #Conflicts: 658000 | #Constraints: 82751 3140.18/3151.31 c #Conflicts: 659000 | #Constraints: 83752 3140.18/3151.31 c #Conflicts: 660000 | #Constraints: 84752 3140.18/3151.31 c #Conflicts: 661000 | #Constraints: 85752 3140.18/3151.31 c INPROCESSING 3140.18/3151.31 c GARBAGE COLLECT 3140.18/3151.31 c rational objective 162 3355.10/3366.72 c #Conflicts: 662000 | #Constraints: 57135 3355.10/3366.72 c #Conflicts: 663000 | #Constraints: 58135 3355.10/3366.72 c #Conflicts: 664000 | #Constraints: 59135 3355.10/3366.72 c #Conflicts: 665000 | #Constraints: 60135 3355.10/3366.72 c #Conflicts: 666000 | #Constraints: 61135 3355.10/3366.72 c #Conflicts: 667000 | #Constraints: 62135 3355.10/3366.72 c #Conflicts: 668000 | #Constraints: 63135 3355.10/3366.72 c #Conflicts: 669000 | #Constraints: 64135 3355.10/3366.72 c #Conflicts: 670000 | #Constraints: 65135 3355.10/3366.72 c #Conflicts: 671000 | #Constraints: 66135 3355.10/3366.72 c #Conflicts: 672000 | #Constraints: 67135 3355.10/3366.72 c #Conflicts: 673000 | #Constraints: 68135 3355.10/3366.72 c #Conflicts: 674000 | #Constraints: 69135 3355.10/3366.72 c #Conflicts: 675000 | #Constraints: 70136 3355.10/3366.72 c #Conflicts: 676000 | #Constraints: 71136 3355.10/3366.72 c #Conflicts: 677000 | #Constraints: 72136 3355.10/3366.72 c #Conflicts: 678000 | #Constraints: 73136 3355.10/3366.72 c #Conflicts: 679000 | #Constraints: 74136 3355.10/3366.72 c #Conflicts: 680000 | #Constraints: 75136 3355.10/3366.72 c #Conflicts: 681000 | #Constraints: 76136 3355.10/3366.72 c #Conflicts: 682000 | #Constraints: 77136 3355.10/3366.72 c #Conflicts: 683000 | #Constraints: 78136 3355.10/3366.72 c #Conflicts: 684000 | #Constraints: 79136 3355.10/3366.72 c #Conflicts: 685000 | #Constraints: 80136 3355.10/3366.72 c #Conflicts: 686000 | #Constraints: 81136 3355.10/3366.72 c #Conflicts: 687000 | #Constraints: 82136 3355.10/3366.72 c #Conflicts: 688000 | #Constraints: 83137 3355.10/3366.72 c #Conflicts: 689000 | #Constraints: 84137 3355.10/3366.72 c #Conflicts: 690000 | #Constraints: 85137 3355.10/3366.72 c #Conflicts: 691000 | #Constraints: 86137 3355.10/3366.72 c #Conflicts: 692000 | #Constraints: 87137 3355.10/3366.72 c #Conflicts: 693000 | #Constraints: 88137 3355.10/3366.72 c #Conflicts: 694000 | #Constraints: 89138 3355.10/3366.72 c #Conflicts: 695000 | #Constraints: 90138 3355.10/3366.72 c #Conflicts: 696000 | #Constraints: 91138 3355.10/3366.72 c #Conflicts: 697000 | #Constraints: 92138 3355.10/3366.72 c #Conflicts: 698000 | #Constraints: 93138 3355.10/3366.72 c #Conflicts: 699000 | #Constraints: 94138 3355.10/3366.72 c #Conflicts: 700000 | #Constraints: 95138 3355.10/3366.72 c #Conflicts: 701000 | #Constraints: 96138 3355.10/3366.72 c #Conflicts: 702000 | #Constraints: 97138 3355.10/3366.72 c #Conflicts: 703000 | #Constraints: 98138 3355.10/3366.72 c #Conflicts: 704000 | #Constraints: 99138 3355.10/3366.72 c #Conflicts: 705000 | #Constraints: 100138 3355.10/3366.72 c #Conflicts: 706000 | #Constraints: 101138 3355.10/3366.72 c #Conflicts: 707000 | #Constraints: 102138 3355.10/3366.72 c #Conflicts: 708000 | #Constraints: 103138 3355.10/3366.72 c #Conflicts: 709000 | #Constraints: 104138 3355.10/3366.72 c #Conflicts: 710000 | #Constraints: 105138 3355.10/3366.72 c #Conflicts: 711000 | #Constraints: 106138 3355.10/3366.72 c #Conflicts: 712000 | #Constraints: 107138 3355.10/3366.72 c #Conflicts: 713000 | #Constraints: 108138 3355.10/3366.72 c #Conflicts: 714000 | #Constraints: 109138 3355.10/3366.72 c #Conflicts: 715000 | #Constraints: 110138 3355.10/3366.72 c #Conflicts: 716000 | #Constraints: 111138 3355.10/3366.72 c INPROCESSING 3355.10/3366.72 c GARBAGE COLLECT 3355.10/3366.72 c #Conflicts: 717000 | #Constraints: 67137 3355.10/3366.72 c #Conflicts: 718000 | #Constraints: 68137 3355.10/3366.72 c #Conflicts: 719000 | #Constraints: 69137 3355.10/3366.72 c #Conflicts: 720000 | #Constraints: 70137 3355.10/3366.72 c #Conflicts: 721000 | #Constraints: 71137 3355.10/3366.72 c #Conflicts: 722000 | #Constraints: 72137 3355.10/3366.72 c #Conflicts: 723000 | #Constraints: 73137 3355.10/3366.72 c #Conflicts: 724000 | #Constraints: 74137 3355.10/3366.72 c #Conflicts: 725000 | #Constraints: 75137 3355.10/3366.72 c #Conflicts: 726000 | #Constraints: 76138 3355.10/3366.72 c #Conflicts: 727000 | #Constraints: 77138 3355.10/3366.72 c #Conflicts: 728000 | #Constraints: 78138 3355.10/3366.72 c #Conflicts: 729000 | #Constraints: 79138 3355.10/3366.72 c #Conflicts: 730000 | #Constraints: 80138 3355.10/3366.72 c #Conflicts: 731000 | #Constraints: 81138 3355.10/3366.72 c #Conflicts: 732000 | #Constraints: 82138 3355.10/3366.72 c #Conflicts: 733000 | #Constraints: 83138 3355.10/3366.72 c #Conflicts: 734000 | #Constraints: 84138 3355.10/3366.72 c #Conflicts: 735000 | #Constraints: 85138 3355.10/3366.72 c #Conflicts: 736000 | #Constraints: 86139 3355.10/3366.72 c #Conflicts: 737000 | #Constraints: 87139 3355.10/3366.72 c #Conflicts: 738000 | #Constraints: 88139 3355.10/3366.72 c #Conflicts: 739000 | #Constraints: 89139 3355.10/3366.72 c #Conflicts: 740000 | #Constraints: 90139 3506.96/3518.90 c INPROCESSING 3506.96/3518.90 c GARBAGE COLLECT 3506.96/3518.90 c rational objective 162
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 (38252 MiB free)
memory of node 1: 64473 MiB (3375 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457168-1721826946/watcher-4457168-1721826946 -o /tmp/evaluation-result-4457168-1721826946/solver-4457168-1721826946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721820326-228479 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457168-1721826946 --lp-cut-gomory=0 HOME/instance-4457168-1721826946.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=232281, runsolver pid=232278
[startup+0.100083 s]*
/proc/loadavg: 4.40 4.28 4.30 4/275 232282
/proc/meminfo: memFree=42622236/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=37376 memory=2492 CPUtime=0 cores=4,6
/proc/232281/stat : 232281 (roundingsat) D 232278 232281 228468 0 -1 1077936128 210 0 0 0 0 0 0 0 20 0 1 0 18684469 38273024 623 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 9344 623 566 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2492 KiB
[startup+0.206366 s]*
/proc/loadavg: 4.40 4.28 4.30 4/275 232282
/proc/meminfo: memFree=42612896/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=37376 memory=2492 CPUtime=0 cores=4,6
/proc/232281/stat : 232281 (roundingsat) D 232278 232281 228468 0 -1 1077936128 210 0 0 0 0 0 0 0 20 0 1 0 18684469 38273024 623 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 9344 623 566 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2492 KiB
[startup+0.305853 s]*
/proc/loadavg: 4.40 4.28 4.30 4/275 232282
/proc/meminfo: memFree=42608724/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=37376 memory=2492 CPUtime=0 cores=4,6
/proc/232281/stat : 232281 (roundingsat) D 232278 232281 228468 0 -1 1077936128 210 0 0 0 0 0 0 0 20 0 1 0 18684469 38273024 623 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 9344 623 566 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2492 KiB
[startup+0.700317 s]
/proc/loadavg: 4.40 4.28 4.30 4/275 232282
/proc/meminfo: memFree=42600212/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=37376 memory=2492 CPUtime=0 cores=4,6
/proc/232281/stat : 232281 (roundingsat) D 232278 232281 228468 0 -1 1077936128 210 0 0 0 0 0 0 0 20 0 1 0 18684469 38273024 623 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 9344 623 566 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2492 KiB
[startup+1.50027 s]
/proc/loadavg: 4.40 4.28 4.30 4/275 232282
/proc/meminfo: memFree=42566612/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=37376 memory=2492 CPUtime=0 cores=4,6
/proc/232281/stat : 232281 (roundingsat) D 232278 232281 228468 0 -1 1077936128 210 0 0 0 0 0 0 0 20 0 1 0 18684469 38273024 623 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 9344 623 566 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2492 KiB
[startup+3.11571 s]
/proc/loadavg: 4.36 4.28 4.30 5/275 232284
/proc/meminfo: memFree=42439392/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=61976 memory=32340 CPUtime=0.31 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 7500 0 0 0 24 7 0 0 20 0 1 0 18684469 63463424 8085 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 15494 8085 1671 992 0 7352 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 61976 KiB
Current children cumulated memory: 32340 KiB
heavy processes:
[startup+6.3003 s]
/proc/loadavg: 4.36 4.28 4.30 5/275 232284
/proc/meminfo: memFree=42210252/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=74168 memory=44812 CPUtime=3.48 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 10684 0 0 0 327 21 0 0 20 0 1 0 18684469 75948032 11203 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 18542 11203 1765 992 0 10400 0
Current children cumulated CPU time: 3.48 s
Current children cumulated vsize: 74168 KiB
Current children cumulated memory: 44812 KiB
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 4.42 4.29 4.30 5/269 232312
/proc/meminfo: memFree=45752992/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=81912 memory=49288 CPUtime=9.86 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 11790 0 0 0 959 27 0 0 20 0 1 0 18684469 83877888 12322 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 20478 12322 1765 992 0 12336 0
Current children cumulated CPU time: 9.86 s
Current children cumulated vsize: 81912 KiB
Current children cumulated memory: 49288 KiB
heavy processes:
[startup+25.5003 s]
/proc/loadavg: 4.32 4.27 4.30 5/275 232334
/proc/meminfo: memFree=85466044/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=83716 memory=51900 CPUtime=22.62 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 12347 0 0 0 2208 54 0 0 20 0 1 0 18684469 85725184 12975 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 20929 12975 1828 992 0 12787 0
Current children cumulated CPU time: 22.62 s
Current children cumulated vsize: 83716 KiB
Current children cumulated memory: 51900 KiB
[startup+51.1147 s]
/proc/loadavg: 4.27 4.27 4.29 5/275 232337
/proc/meminfo: memFree=84495132/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=110468 memory=73840 CPUtime=48.17 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 17313 0 0 0 4734 83 0 0 20 0 1 0 18684469 113119232 18460 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 27617 18460 1860 992 0 19475 0
Current children cumulated CPU time: 48.17 s
Current children cumulated vsize: 110468 KiB
Current children cumulated memory: 73840 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.24 4.28 5/274 232347
/proc/meminfo: memFree=82363164/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=129620 memory=92288 CPUtime=99.2 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 19888 0 0 0 9721 199 0 0 20 0 1 0 18684469 132730880 23072 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 32405 23072 1860 992 0 24263 0
Current children cumulated CPU time: 99.2 s
Current children cumulated vsize: 129620 KiB
Current children cumulated memory: 92288 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.21 4.27 5/273 232357
/proc/meminfo: memFree=80987372/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=162988 memory=121980 CPUtime=159.04 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 25785 0 0 0 15637 267 0 0 20 0 1 0 18684469 166899712 30495 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 40747 30495 1860 992 0 32605 0
Current children cumulated CPU time: 159.04 s
Current children cumulated vsize: 162988 KiB
Current children cumulated memory: 121980 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.18 4.25 5/257 232369
/proc/meminfo: memFree=78473792/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=212516 memory=182556 CPUtime=218.86 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 30793 0 0 0 21541 345 0 0 20 0 1 0 18684469 217616384 45639 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 53129 45639 1860 992 0 44987 0
Current children cumulated CPU time: 218.86 s
Current children cumulated vsize: 212516 KiB
Current children cumulated memory: 182556 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.16 4.24 5/266 232391
/proc/meminfo: memFree=75789076/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=217544 memory=187440 CPUtime=278.69 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 31461 0 0 0 27430 439 0 0 20 0 1 0 18684469 222765056 46860 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 54386 46860 1860 992 0 46244 0
Current children cumulated CPU time: 278.69 s
Current children cumulated vsize: 217544 KiB
Current children cumulated memory: 187440 KiB
[startup+342.3 s]
/proc/loadavg: 4.22 4.18 4.24 5/270 232408
/proc/meminfo: memFree=73177644/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=218972 memory=189280 CPUtime=338.51 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 31976 0 0 0 33379 472 0 0 20 0 1 0 18684469 224227328 47320 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 54743 47320 1860 992 0 46601 0
Current children cumulated CPU time: 338.51 s
Current children cumulated vsize: 218972 KiB
Current children cumulated memory: 189280 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.16 4.23 5/270 232419
/proc/meminfo: memFree=70403420/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=361364 memory=282604 CPUtime=398.34 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 35888 0 0 0 39307 527 0 0 20 0 1 0 18684469 370036736 70651 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 90341 70651 1860 992 0 82199 0
Current children cumulated CPU time: 398.34 s
Current children cumulated vsize: 361364 KiB
Current children cumulated memory: 282604 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 4.18 4.23 5/270 232429
/proc/meminfo: memFree=68564248/131655788 swapFree=131060916/131071996
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/243 234137
/proc/meminfo: memFree=100671364/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=1965032 memory=1679768 CPUtime=3091.3 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 132999 0 0 0 306057 3073 0 0 20 0 1 0 18684469 2012192768 419942 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 491258 419942 1860 992 0 483116 0
Current children cumulated CPU time: 3091.3 s
Current children cumulated vsize: 1965032 KiB
Current children cumulated memory: 1679768 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.15 5/242 234148
/proc/meminfo: memFree=100349112/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=1965164 memory=1679828 CPUtime=3151.15 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 133390 0 0 0 311993 3122 0 0 20 0 1 0 18684469 2012327936 419957 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 491291 419957 1860 992 0 483149 0
Current children cumulated CPU time: 3151.15 s
Current children cumulated vsize: 1965164 KiB
Current children cumulated memory: 1679828 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.13 5/243 234204
/proc/meminfo: memFree=105972908/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=1965164 memory=1679832 CPUtime=3211.02 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 133844 0 0 0 317876 3226 0 0 20 0 1 0 18684469 2012327936 419958 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 491291 419958 1860 992 0 483149 0
Current children cumulated CPU time: 3211.02 s
Current children cumulated vsize: 1965164 KiB
Current children cumulated memory: 1679832 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.13 5/244 234217
/proc/meminfo: memFree=105747868/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=1965500 memory=1680124 CPUtime=3270.89 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 134639 0 0 0 323812 3277 0 0 20 0 1 0 18684469 2012672000 420031 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 491375 420031 1860 992 0 483233 0
Current children cumulated CPU time: 3270.89 s
Current children cumulated vsize: 1965500 KiB
Current children cumulated memory: 1680124 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.12 5/244 234228
/proc/meminfo: memFree=105550516/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=1965500 memory=1680128 CPUtime=3330.76 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 135090 0 0 0 329749 3327 0 0 20 0 1 0 18684469 2012672000 420032 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 491375 420032 1860 992 0 483233 0
Current children cumulated CPU time: 3330.76 s
Current children cumulated vsize: 1965500 KiB
Current children cumulated memory: 1680128 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.12 5/244 234240
/proc/meminfo: memFree=105071924/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=1967836 memory=1682400 CPUtime=3390.62 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 136043 0 0 0 335701 3361 0 0 20 0 1 0 18684469 2015064064 420600 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 491959 420600 1860 992 0 483817 0
Current children cumulated CPU time: 3390.62 s
Current children cumulated vsize: 1967836 KiB
Current children cumulated memory: 1682400 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.11 5/244 234250
/proc/meminfo: memFree=104738832/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=1967968 memory=1682712 CPUtime=3450.49 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 136184 0 0 0 341669 3380 0 0 20 0 1 0 18684469 2015199232 420678 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 491992 420678 1860 992 0 483850 0
Current children cumulated CPU time: 3450.49 s
Current children cumulated vsize: 1967968 KiB
Current children cumulated memory: 1682712 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.11 6/244 234260
/proc/meminfo: memFree=104423284/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=1968988 memory=1683664 CPUtime=3510.35 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 136657 0 0 0 347626 3409 0 0 20 0 1 0 18684469 2016243712 420916 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 492247 420916 1860 992 0 484105 0
Current children cumulated CPU time: 3510.35 s
Current children cumulated vsize: 1968988 KiB
Current children cumulated memory: 1683664 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.11 5/244 234272
/proc/meminfo: memFree=104043024/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=1968020 memory=1682604 CPUtime=3570.21 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 137886 0 0 0 353519 3502 0 0 20 0 1 0 18684469 2015252480 420651 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 492005 420651 1860 992 0 483863 0
Current children cumulated CPU time: 3570.21 s
Current children cumulated vsize: 1968020 KiB
Current children cumulated memory: 1682604 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.2 s]
/proc/loadavg: 4.07 4.08 4.10 5/244 234278
/proc/meminfo: memFree=103874912/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=1968020 memory=1682604 CPUtime=3600.05 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 138186 0 0 0 356451 3554 0 0 20 0 1 0 18684469 2015252480 420651 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 492005 420651 1860 992 0 483863 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1968020 KiB
Current children cumulated memory: 1682604 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3614.23 s]
# the end of solver process 232281 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3566.48 s, system=35.5746 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.07 4.08 4.10 5/244 234278
/proc/meminfo: memFree=103874912/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=1968020 memory=1682604 CPUtime=3600.65 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 138186 0 0 0 356510 3555 0 0 20 0 1 0 18684469 2015252480 420651 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 492005 420651 1860 992 0 483863 0
Current children cumulated CPU time: 3600.65 s
Current children cumulated vsize: 1968020 KiB
Current children cumulated memory: 1682604 KiB
[startup+3613.6 s]
/proc/loadavg: 4.07 4.08 4.10 5/244 234278
/proc/meminfo: memFree=103873688/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=1968020 memory=1682604 CPUtime=3601.44 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 138186 0 0 0 356588 3556 0 0 20 0 1 0 18684469 2015252480 420651 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 492005 420651 1860 992 0 483863 0
Current children cumulated CPU time: 3601.44 s
Current children cumulated vsize: 1968020 KiB
Current children cumulated memory: 1682604 KiB
[startup+3614 s]*
/proc/loadavg: 4.06 4.08 4.10 5/244 234278
/proc/meminfo: memFree=103872148/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=1968020 memory=1682604 CPUtime=3601.85 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 138188 0 0 0 356629 3556 0 0 20 0 1 0 18684469 2015252480 420651 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 492005 420651 1860 992 0 483863 0
Current children cumulated CPU time: 3601.85 s
Current children cumulated vsize: 1968020 KiB
Current children cumulated memory: 1682604 KiB
[startup+3614.2 s]
/proc/loadavg: 4.06 4.08 4.10 5/244 234278
/proc/meminfo: memFree=103872148/131655788 swapFree=131060916/131071996
[pid=232281] ppid=232278 vsize=1968020 memory=1682604 CPUtime=3602.04 cores=4,6
/proc/232281/stat : 232281 (roundingsat) R 232278 232281 228468 0 -1 4194304 138188 0 0 0 356648 3556 0 0 20 0 1 0 18684469 2015252480 420651 134679101440 4194304 8254037 140725836681584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12779520 140725836686176 140725836686438 140725836686438 140725836693449 0
/proc/232281/statm: 492005 420651 1860 992 0 483863 0
Current children cumulated CPU time: 3602.04 s
Current children cumulated vsize: 1968020 KiB
Current children cumulated memory: 1682604 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.23
CPU time (s): 3602.06
CPU user time (s): 3566.48
CPU system time (s): 35.5746
CPU usage (%): 99.6632
Max. virtual memory (cumulated for all children) (KiB): 1968988
Max. memory (cumulated for all children) (KiB): 1683664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.48
system time used= 35.5746
maximum resident set size= 1683664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138188
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12466944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 4419
# summary of solver processes directly reported to runsolver:
# pid: 232281
# total CPU time (s): 3602.06
# total CPU user time (s): 3566.48
# total CPU system time (s): 35.5746
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1147 second user time and 36.5874 second system time
The end
Begin job on nodeC011 at 2024-07-24 15:15:46 IDJOB=4457168 IDBENCH=158293 IDSOLVER=3085 FILE ID=nodeC011/4457168-1721826946 RUNJOBID= nodeC011-1721820326-228479 SLURM_JOB_ID= 7891465 Free space on /tmp= 723724 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K162.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-4457168-1721826946/watcher-4457168-1721826946 -o /tmp/evaluation-result-4457168-1721826946/solver-4457168-1721826946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721820326-228479 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457168-1721826946 --lp-cut-gomory=0 HOME/instance-4457168-1721826946.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3691972eca5819945d0aaf6ae8165cd0 RANDOM SEED=1041322734 nodeC011.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 : 3674.814 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.36 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 : 3610.422 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.35 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.476 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.36 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.354 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.35 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.321 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.36 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 : 3631.251 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.35 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 : 3478.676 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.36 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.461 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.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 42627260 kB MemAvailable: 117510976 kB Buffers: 240680 kB Cached: 75247968 kB SwapCached: 112 kB Active: 1735260 kB Inactive: 86305396 kB Active(anon): 6452 kB Inactive(anon): 12598536 kB Active(file): 1728808 kB Inactive(file): 73706860 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131060916 kB Dirty: 1017080 kB Writeback: 0 kB AnonPages: 12552152 kB Mapped: 106944 kB Shmem: 52980 kB KReclaimable: 509956 kB Slab: 652532 kB SReclaimable: 509956 kB SUnreclaim: 142576 kB KernelStack: 4404 kB PageTables: 34332 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 13736760 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 10912 kB HardwareCorrupted: 0 kB AnonHugePages: 7632896 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: 424776 kB DirectMap2M: 46665728 kB DirectMap1G: 89128960 kB Free space on /tmp at the end= 723756 MiB End job on nodeC011 at 2024-07-24 16:16:00