| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3602.06 | 3611.3 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K185.opb |
| MD5SUM | 8e923d8a993edfc65d984f909d6bfa9e |
| 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 | 43.2702 |
| 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 | 22015 |
| Total number of constraints | 22387 |
| Number of constraints which are clauses | 22202 |
| Number of constraints which are cardinality constraints (but not clauses) | 185 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 185 |
| 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 | 186 |
| 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.08/0.13 c #variables 22015 #constraints 22387 44.28/44.48 c #Conflicts: 1000 | #Constraints: 23386 44.28/44.48 c #Conflicts: 2000 | #Constraints: 24386 44.28/44.48 c INPROCESSING 44.28/44.48 c GARBAGE COLLECT 44.28/44.48 c #Conflicts: 3000 | #Constraints: 23732 44.28/44.48 c #Conflicts: 4000 | #Constraints: 24732 44.28/44.48 c INPROCESSING 44.28/44.48 c GARBAGE COLLECT 44.28/44.48 c #Conflicts: 5000 | #Constraints: 24235 44.28/44.48 c #Conflicts: 6000 | #Constraints: 25235 44.28/44.48 c #Conflicts: 7000 | #Constraints: 26235 44.28/44.48 c #Conflicts: 8000 | #Constraints: 27235 44.28/44.48 c #Conflicts: 9000 | #Constraints: 28235 44.28/44.48 c INPROCESSING 44.28/44.48 c GARBAGE COLLECT 44.28/44.48 c rational objective 185 66.43/66.69 c #Conflicts: 10000 | #Constraints: 26048 66.43/66.69 c #Conflicts: 11000 | #Constraints: 27048 66.43/66.69 c #Conflicts: 12000 | #Constraints: 28048 66.43/66.69 c INPROCESSING 66.43/66.69 c GARBAGE COLLECT 66.43/66.69 c rational objective 185 91.07/91.33 c #Conflicts: 13000 | #Constraints: 25915 91.07/91.33 c #Conflicts: 14000 | #Constraints: 26915 91.07/91.33 c #Conflicts: 15000 | #Constraints: 27915 91.07/91.33 c #Conflicts: 16000 | #Constraints: 28915 91.07/91.33 c #Conflicts: 17000 | #Constraints: 29915 91.07/91.33 c #Conflicts: 18000 | #Constraints: 30915 91.07/91.33 c #Conflicts: 19000 | #Constraints: 31915 91.07/91.33 c #Conflicts: 20000 | #Constraints: 32915 91.07/91.33 c #Conflicts: 21000 | #Constraints: 33915 91.07/91.33 c INPROCESSING 91.07/91.33 c GARBAGE COLLECT 91.07/91.33 c rational objective 185 119.72/120.00 c #Conflicts: 22000 | #Constraints: 29183 119.72/120.00 c #Conflicts: 23000 | #Constraints: 30183 119.72/120.00 c #Conflicts: 24000 | #Constraints: 31183 119.72/120.00 c #Conflicts: 25000 | #Constraints: 32183 119.72/120.00 c INPROCESSING 119.72/120.00 c GARBAGE COLLECT 119.72/120.00 c #Conflicts: 26000 | #Constraints: 28334 119.72/120.00 c #Conflicts: 27000 | #Constraints: 29334 119.72/120.00 c #Conflicts: 28000 | #Constraints: 30334 119.72/120.00 c #Conflicts: 29000 | #Constraints: 31334 119.72/120.00 c #Conflicts: 30000 | #Constraints: 32334 119.72/120.00 c #Conflicts: 31000 | #Constraints: 33334 119.72/120.00 c #Conflicts: 32000 | #Constraints: 34334 119.72/120.00 c #Conflicts: 33000 | #Constraints: 35334 119.72/120.00 c #Conflicts: 34000 | #Constraints: 36334 119.72/120.00 c #Conflicts: 35000 | #Constraints: 37334 119.72/120.00 c #Conflicts: 36000 | #Constraints: 38334 119.72/120.00 c #Conflicts: 37000 | #Constraints: 39334 119.72/120.00 c INPROCESSING 119.72/120.00 c GARBAGE COLLECT 119.72/120.00 c rational objective 185 243.14/243.72 c #Conflicts: 38000 | #Constraints: 31950 243.14/243.72 c #Conflicts: 39000 | #Constraints: 32950 243.14/243.72 c #Conflicts: 40000 | #Constraints: 33950 243.14/243.72 c #Conflicts: 41000 | #Constraints: 34950 243.14/243.72 c #Conflicts: 42000 | #Constraints: 35951 243.14/243.72 c #Conflicts: 43000 | #Constraints: 36951 243.14/243.72 c INPROCESSING 243.14/243.72 c GARBAGE COLLECT 243.14/243.72 c #Conflicts: 44000 | #Constraints: 31712 243.14/243.72 c #Conflicts: 45000 | #Constraints: 32712 243.14/243.72 c #Conflicts: 46000 | #Constraints: 33713 243.14/243.72 c #Conflicts: 47000 | #Constraints: 34713 243.14/243.72 c #Conflicts: 48000 | #Constraints: 35713 243.14/243.72 c #Conflicts: 49000 | #Constraints: 36713 243.14/243.72 c #Conflicts: 50000 | #Constraints: 37713 243.14/243.72 c #Conflicts: 51000 | #Constraints: 38713 243.14/243.72 c #Conflicts: 52000 | #Constraints: 39713 243.14/243.72 c #Conflicts: 53000 | #Constraints: 40713 243.14/243.72 c #Conflicts: 54000 | #Constraints: 41713 243.14/243.72 c #Conflicts: 55000 | #Constraints: 42713 243.14/243.72 c #Conflicts: 56000 | #Constraints: 43713 243.14/243.72 c #Conflicts: 57000 | #Constraints: 44713 243.14/243.72 c INPROCESSING 243.14/243.72 c GARBAGE COLLECT 243.14/243.72 c #Conflicts: 58000 | #Constraints: 34552 243.14/243.72 c #Conflicts: 59000 | #Constraints: 35552 243.14/243.72 c #Conflicts: 60000 | #Constraints: 36552 243.14/243.72 c #Conflicts: 61000 | #Constraints: 37552 243.14/243.72 c #Conflicts: 62000 | #Constraints: 38552 243.14/243.72 c #Conflicts: 63000 | #Constraints: 39552 243.14/243.72 c #Conflicts: 64000 | #Constraints: 40552 243.14/243.72 c #Conflicts: 65000 | #Constraints: 41552 243.14/243.72 c INPROCESSING 243.14/243.72 c GARBAGE COLLECT 243.14/243.72 c rational objective 185 301.21/301.96 c #Conflicts: 66000 | #Constraints: 35071 301.21/301.96 c #Conflicts: 67000 | #Constraints: 36071 301.21/301.96 c #Conflicts: 68000 | #Constraints: 37071 301.21/301.96 c #Conflicts: 69000 | #Constraints: 38071 301.21/301.96 c #Conflicts: 70000 | #Constraints: 39071 301.21/301.96 c #Conflicts: 71000 | #Constraints: 40071 301.21/301.96 c #Conflicts: 72000 | #Constraints: 41071 301.21/301.96 c #Conflicts: 73000 | #Constraints: 42071 301.21/301.96 c #Conflicts: 74000 | #Constraints: 43071 301.21/301.96 c #Conflicts: 75000 | #Constraints: 44071 301.21/301.96 c #Conflicts: 76000 | #Constraints: 45071 301.21/301.96 c #Conflicts: 77000 | #Constraints: 46071 301.21/301.96 c #Conflicts: 78000 | #Constraints: 47072 301.21/301.96 c #Conflicts: 79000 | #Constraints: 48072 301.21/301.96 c #Conflicts: 80000 | #Constraints: 49072 301.21/301.96 c #Conflicts: 81000 | #Constraints: 50072 301.21/301.96 c #Conflicts: 82000 | #Constraints: 51072 301.21/301.96 c INPROCESSING 301.21/301.96 c GARBAGE COLLECT 301.21/301.96 c rational objective 185 453.77/454.87 c #Conflicts: 83000 | #Constraints: 37924 453.77/454.87 c #Conflicts: 84000 | #Constraints: 38924 453.77/454.87 c #Conflicts: 85000 | #Constraints: 39925 453.77/454.87 c #Conflicts: 86000 | #Constraints: 40925 453.77/454.87 c #Conflicts: 87000 | #Constraints: 41925 453.77/454.87 c #Conflicts: 88000 | #Constraints: 42925 453.77/454.87 c #Conflicts: 89000 | #Constraints: 43925 453.77/454.87 c #Conflicts: 90000 | #Constraints: 44925 453.77/454.87 c #Conflicts: 91000 | #Constraints: 45925 453.77/454.87 c INPROCESSING 453.77/454.87 c GARBAGE COLLECT 453.77/454.87 c #Conflicts: 92000 | #Constraints: 37329 453.77/454.87 c #Conflicts: 93000 | #Constraints: 38329 453.77/454.87 c #Conflicts: 94000 | #Constraints: 39329 453.77/454.87 c #Conflicts: 95000 | #Constraints: 40329 453.77/454.87 c #Conflicts: 96000 | #Constraints: 41329 453.77/454.87 c #Conflicts: 97000 | #Constraints: 42329 453.77/454.87 c #Conflicts: 98000 | #Constraints: 43329 453.77/454.87 c #Conflicts: 99000 | #Constraints: 44330 453.77/454.87 c #Conflicts: 100000 | #Constraints: 45330 453.77/454.87 c #Conflicts: 101000 | #Constraints: 46330 453.77/454.87 c #Conflicts: 102000 | #Constraints: 47330 453.77/454.87 c #Conflicts: 103000 | #Constraints: 48330 453.77/454.87 c #Conflicts: 104000 | #Constraints: 49330 453.77/454.87 c #Conflicts: 105000 | #Constraints: 50330 453.77/454.87 c #Conflicts: 106000 | #Constraints: 51330 453.77/454.87 c #Conflicts: 107000 | #Constraints: 52330 453.77/454.87 c #Conflicts: 108000 | #Constraints: 53330 453.77/454.87 c #Conflicts: 109000 | #Constraints: 54330 453.77/454.87 c #Conflicts: 110000 | #Constraints: 55330 453.77/454.87 c #Conflicts: 111000 | #Constraints: 56330 453.77/454.87 c INPROCESSING 453.77/454.87 c GARBAGE COLLECT 453.77/454.87 c rational objective 185 576.87/578.25 c #Conflicts: 112000 | #Constraints: 40340 576.87/578.25 c #Conflicts: 113000 | #Constraints: 41340 576.87/578.25 c #Conflicts: 114000 | #Constraints: 42340 576.87/578.25 c #Conflicts: 115000 | #Constraints: 43340 576.87/578.25 c #Conflicts: 116000 | #Constraints: 44340 576.87/578.25 c #Conflicts: 117000 | #Constraints: 45340 576.87/578.25 c #Conflicts: 118000 | #Constraints: 46340 576.87/578.25 c #Conflicts: 119000 | #Constraints: 47340 576.87/578.25 c #Conflicts: 120000 | #Constraints: 48340 576.87/578.25 c #Conflicts: 121000 | #Constraints: 49340 576.87/578.25 c INPROCESSING 576.87/578.25 c GARBAGE COLLECT 576.87/578.25 c #Conflicts: 122000 | #Constraints: 39613 576.87/578.25 c #Conflicts: 123000 | #Constraints: 40613 576.87/578.25 c #Conflicts: 124000 | #Constraints: 41613 576.87/578.25 c #Conflicts: 125000 | #Constraints: 42614 576.87/578.25 c #Conflicts: 126000 | #Constraints: 43614 576.87/578.25 c #Conflicts: 127000 | #Constraints: 44614 576.87/578.25 c #Conflicts: 128000 | #Constraints: 45614 576.87/578.25 c #Conflicts: 129000 | #Constraints: 46614 576.87/578.25 c #Conflicts: 130000 | #Constraints: 47614 576.87/578.25 c #Conflicts: 131000 | #Constraints: 48614 576.87/578.25 c #Conflicts: 132000 | #Constraints: 49614 576.87/578.25 c #Conflicts: 133000 | #Constraints: 50614 576.87/578.25 c #Conflicts: 134000 | #Constraints: 51614 576.87/578.25 c #Conflicts: 135000 | #Constraints: 52614 576.87/578.25 c #Conflicts: 136000 | #Constraints: 53614 576.87/578.25 c #Conflicts: 137000 | #Constraints: 54614 576.87/578.25 c #Conflicts: 138000 | #Constraints: 55614 576.87/578.25 c #Conflicts: 139000 | #Constraints: 56614 576.87/578.25 c #Conflicts: 140000 | #Constraints: 57615 576.87/578.25 c #Conflicts: 141000 | #Constraints: 58615 576.87/578.25 c #Conflicts: 142000 | #Constraints: 59615 576.87/578.25 c #Conflicts: 143000 | #Constraints: 60615 576.87/578.25 c #Conflicts: 144000 | #Constraints: 61615 576.87/578.25 c #Conflicts: 145000 | #Constraints: 62615 576.87/578.25 c INPROCESSING 576.87/578.25 c GARBAGE COLLECT 576.87/578.25 c #Conflicts: 146000 | #Constraints: 43816 576.87/578.25 c #Conflicts: 147000 | #Constraints: 44816 576.87/578.25 c #Conflicts: 148000 | #Constraints: 45816 576.87/578.25 c #Conflicts: 149000 | #Constraints: 46816 576.87/578.25 c #Conflicts: 150000 | #Constraints: 47816 576.87/578.25 c #Conflicts: 151000 | #Constraints: 48816 576.87/578.25 c #Conflicts: 152000 | #Constraints: 49816 576.87/578.25 c #Conflicts: 153000 | #Constraints: 50816 576.87/578.25 c #Conflicts: 154000 | #Constraints: 51816 576.87/578.25 c #Conflicts: 155000 | #Constraints: 52816 576.87/578.25 c #Conflicts: 156000 | #Constraints: 53816 576.87/578.25 c INPROCESSING 576.87/578.25 c GARBAGE COLLECT 576.87/578.25 c rational objective 185 661.33/662.97 c #Conflicts: 157000 | #Constraints: 42339 661.33/662.97 c #Conflicts: 158000 | #Constraints: 43339 661.33/662.97 c #Conflicts: 159000 | #Constraints: 44339 661.33/662.97 c #Conflicts: 160000 | #Constraints: 45339 661.33/662.97 c #Conflicts: 161000 | #Constraints: 46339 661.33/662.97 c #Conflicts: 162000 | #Constraints: 47339 661.33/662.97 c #Conflicts: 163000 | #Constraints: 48339 661.33/662.97 c #Conflicts: 164000 | #Constraints: 49339 661.33/662.97 c #Conflicts: 165000 | #Constraints: 50339 661.33/662.97 c #Conflicts: 166000 | #Constraints: 51339 661.33/662.97 c #Conflicts: 167000 | #Constraints: 52339 661.33/662.97 c #Conflicts: 168000 | #Constraints: 53339 661.33/662.97 c #Conflicts: 169000 | #Constraints: 54339 661.33/662.97 c #Conflicts: 170000 | #Constraints: 55339 661.33/662.97 c #Conflicts: 171000 | #Constraints: 56339 661.33/662.97 c #Conflicts: 172000 | #Constraints: 57340 661.33/662.97 c #Conflicts: 173000 | #Constraints: 58340 661.33/662.97 c #Conflicts: 174000 | #Constraints: 59340 661.33/662.97 c #Conflicts: 175000 | #Constraints: 60340 661.33/662.97 c #Conflicts: 176000 | #Constraints: 61340 661.33/662.97 c #Conflicts: 177000 | #Constraints: 62340 661.33/662.97 c #Conflicts: 178000 | #Constraints: 63340 661.33/662.97 c #Conflicts: 179000 | #Constraints: 64340 661.33/662.97 c #Conflicts: 180000 | #Constraints: 65340 661.33/662.97 c #Conflicts: 181000 | #Constraints: 66340 661.33/662.97 c #Conflicts: 182000 | #Constraints: 67340 661.33/662.97 c #Conflicts: 183000 | #Constraints: 68340 661.33/662.97 c INPROCESSING 661.33/662.97 c GARBAGE COLLECT 661.33/662.97 c rational objective 185 954.25/956.65 c #Conflicts: 184000 | #Constraints: 46740 954.25/956.65 c #Conflicts: 185000 | #Constraints: 47741 954.25/956.65 c #Conflicts: 186000 | #Constraints: 48741 954.25/956.65 c #Conflicts: 187000 | #Constraints: 49741 954.25/956.65 c #Conflicts: 188000 | #Constraints: 50742 954.25/956.65 c #Conflicts: 189000 | #Constraints: 51742 954.25/956.65 c #Conflicts: 190000 | #Constraints: 52742 954.25/956.65 c #Conflicts: 191000 | #Constraints: 53743 954.25/956.65 c #Conflicts: 192000 | #Constraints: 54743 954.25/956.65 c #Conflicts: 193000 | #Constraints: 55743 954.25/956.65 c #Conflicts: 194000 | #Constraints: 56743 954.25/956.65 c #Conflicts: 195000 | #Constraints: 57743 954.25/956.65 c #Conflicts: 196000 | #Constraints: 58743 954.25/956.65 c INPROCESSING 954.25/956.65 c GARBAGE COLLECT 954.25/956.65 c #Conflicts: 197000 | #Constraints: 46055 954.25/956.65 c #Conflicts: 198000 | #Constraints: 47055 954.25/956.65 c #Conflicts: 199000 | #Constraints: 48055 954.25/956.65 c #Conflicts: 200000 | #Constraints: 49055 954.25/956.65 c #Conflicts: 201000 | #Constraints: 50055 954.25/956.65 c #Conflicts: 202000 | #Constraints: 51055 954.25/956.65 c #Conflicts: 203000 | #Constraints: 52055 954.25/956.65 c #Conflicts: 204000 | #Constraints: 53055 954.25/956.65 c #Conflicts: 205000 | #Constraints: 54055 954.25/956.65 c #Conflicts: 206000 | #Constraints: 55055 954.25/956.65 c #Conflicts: 207000 | #Constraints: 56055 954.25/956.65 c #Conflicts: 208000 | #Constraints: 57055 954.25/956.65 c #Conflicts: 209000 | #Constraints: 58055 954.25/956.65 c #Conflicts: 210000 | #Constraints: 59055 954.25/956.65 c #Conflicts: 211000 | #Constraints: 60055 954.25/956.65 c #Conflicts: 212000 | #Constraints: 61055 954.25/956.65 c #Conflicts: 213000 | #Constraints: 62055 954.25/956.65 c #Conflicts: 214000 | #Constraints: 63055 954.25/956.65 c #Conflicts: 215000 | #Constraints: 64055 954.25/956.65 c #Conflicts: 216000 | #Constraints: 65055 954.25/956.65 c #Conflicts: 217000 | #Constraints: 66055 954.25/956.65 c #Conflicts: 218000 | #Constraints: 67055 954.25/956.65 c #Conflicts: 219000 | #Constraints: 68055 954.25/956.65 c #Conflicts: 220000 | #Constraints: 69055 954.25/956.65 c #Conflicts: 221000 | #Constraints: 70055 954.25/956.65 c #Conflicts: 222000 | #Constraints: 71056 954.25/956.65 c #Conflicts: 223000 | #Constraints: 72056 954.25/956.65 c #Conflicts: 224000 | #Constraints: 73056 954.25/956.65 c #Conflicts: 225000 | #Constraints: 74056 954.25/956.65 c #Conflicts: 226000 | #Constraints: 75056 954.25/956.65 c INPROCESSING 954.25/956.65 c GARBAGE COLLECT 954.25/956.65 c #Conflicts: 227000 | #Constraints: 50410 954.25/956.65 c #Conflicts: 228000 | #Constraints: 51410 954.25/956.65 c #Conflicts: 229000 | #Constraints: 52410 954.25/956.65 c #Conflicts: 230000 | #Constraints: 53410 954.25/956.65 c #Conflicts: 231000 | #Constraints: 54410 954.25/956.65 c #Conflicts: 232000 | #Constraints: 55410 954.25/956.65 c #Conflicts: 233000 | #Constraints: 56410 954.25/956.65 c #Conflicts: 234000 | #Constraints: 57410 954.25/956.65 c #Conflicts: 235000 | #Constraints: 58410 954.25/956.65 c #Conflicts: 236000 | #Constraints: 59410 954.25/956.65 c #Conflicts: 237000 | #Constraints: 60411 954.25/956.65 c #Conflicts: 238000 | #Constraints: 61412 954.25/956.65 c #Conflicts: 239000 | #Constraints: 62412 954.25/956.65 c #Conflicts: 240000 | #Constraints: 63412 954.25/956.65 c INPROCESSING 954.25/956.65 c GARBAGE COLLECT 954.25/956.65 c #Conflicts: 241000 | #Constraints: 48344 954.25/956.65 c #Conflicts: 242000 | #Constraints: 49344 954.25/956.65 c #Conflicts: 243000 | #Constraints: 50344 954.25/956.65 c #Conflicts: 244000 | #Constraints: 51344 954.25/956.65 c #Conflicts: 245000 | #Constraints: 52344 954.25/956.65 c #Conflicts: 246000 | #Constraints: 53344 954.25/956.65 c #Conflicts: 247000 | #Constraints: 54345 954.25/956.65 c #Conflicts: 248000 | #Constraints: 55345 954.25/956.65 c #Conflicts: 249000 | #Constraints: 56345 954.25/956.65 c #Conflicts: 250000 | #Constraints: 57345 954.25/956.65 c #Conflicts: 251000 | #Constraints: 58345 954.25/956.65 c #Conflicts: 252000 | #Constraints: 59345 954.25/956.65 c #Conflicts: 253000 | #Constraints: 60345 954.25/956.65 c #Conflicts: 254000 | #Constraints: 61345 954.25/956.65 c #Conflicts: 255000 | #Constraints: 62345 954.25/956.65 c #Conflicts: 256000 | #Constraints: 63345 954.25/956.65 c #Conflicts: 257000 | #Constraints: 64345 954.25/956.65 c #Conflicts: 258000 | #Constraints: 65345 954.25/956.65 c #Conflicts: 259000 | #Constraints: 66345 954.25/956.65 c #Conflicts: 260000 | #Constraints: 67346 997.93/1000.43 c #Conflicts: 261000 | #Constraints: 68346 997.93/1000.43 c #Conflicts: 262000 | #Constraints: 69346 997.93/1000.43 c #Conflicts: 263000 | #Constraints: 70346 997.93/1000.43 c #Conflicts: 264000 | #Constraints: 71346 997.93/1000.43 c #Conflicts: 265000 | #Constraints: 72346 997.93/1000.43 c #Conflicts: 266000 | #Constraints: 73346 997.93/1000.43 c #Conflicts: 267000 | #Constraints: 74346 997.93/1000.43 c #Conflicts: 268000 | #Constraints: 75346 997.93/1000.43 c #Conflicts: 269000 | #Constraints: 76346 997.93/1000.43 c #Conflicts: 270000 | #Constraints: 77346 997.93/1000.43 c #Conflicts: 271000 | #Constraints: 78346 997.93/1000.43 c #Conflicts: 272000 | #Constraints: 79346 997.93/1000.43 c #Conflicts: 273000 | #Constraints: 80347 997.93/1000.43 c INPROCESSING 997.93/1000.43 c GARBAGE COLLECT 997.93/1000.43 c rational objective 185 1076.22/1078.91 c #Conflicts: 274000 | #Constraints: 53047 1076.22/1078.91 c #Conflicts: 275000 | #Constraints: 54047 1076.22/1078.91 c #Conflicts: 276000 | #Constraints: 55047 1076.22/1078.91 c #Conflicts: 277000 | #Constraints: 56047 1076.22/1078.91 c #Conflicts: 278000 | #Constraints: 57047 1076.22/1078.91 c #Conflicts: 279000 | #Constraints: 58047 1076.22/1078.91 c #Conflicts: 280000 | #Constraints: 59047 1076.22/1078.91 c #Conflicts: 281000 | #Constraints: 60047 1076.22/1078.91 c #Conflicts: 282000 | #Constraints: 61047 1076.22/1078.91 c #Conflicts: 283000 | #Constraints: 62047 1076.22/1078.91 c #Conflicts: 284000 | #Constraints: 63047 1076.22/1078.91 c #Conflicts: 285000 | #Constraints: 64047 1076.22/1078.91 c #Conflicts: 286000 | #Constraints: 65047 1076.22/1078.91 c #Conflicts: 287000 | #Constraints: 66047 1076.22/1078.91 c #Conflicts: 288000 | #Constraints: 67048 1076.22/1078.91 c INPROCESSING 1076.22/1078.91 c GARBAGE COLLECT 1076.22/1078.91 c rational objective 185 1310.97/1314.30 c #Conflicts: 289000 | #Constraints: 51164 1310.97/1314.30 c #Conflicts: 290000 | #Constraints: 52164 1310.97/1314.30 c #Conflicts: 291000 | #Constraints: 53164 1310.97/1314.30 c #Conflicts: 292000 | #Constraints: 54165 1310.97/1314.30 c #Conflicts: 293000 | #Constraints: 55165 1310.97/1314.30 c #Conflicts: 294000 | #Constraints: 56166 1310.97/1314.30 c #Conflicts: 295000 | #Constraints: 57166 1310.97/1314.30 c #Conflicts: 296000 | #Constraints: 58166 1310.97/1314.30 c #Conflicts: 297000 | #Constraints: 59166 1310.97/1314.30 c #Conflicts: 298000 | #Constraints: 60168 1310.97/1314.30 c #Conflicts: 299000 | #Constraints: 61168 1310.97/1314.30 c #Conflicts: 300000 | #Constraints: 62168 1310.97/1314.30 c #Conflicts: 301000 | #Constraints: 63168 1310.97/1314.30 c #Conflicts: 302000 | #Constraints: 64168 1310.97/1314.30 c #Conflicts: 303000 | #Constraints: 65168 1310.97/1314.30 c #Conflicts: 304000 | #Constraints: 66168 1310.97/1314.30 c #Conflicts: 305000 | #Constraints: 67168 1310.97/1314.30 c #Conflicts: 306000 | #Constraints: 68168 1310.97/1314.30 c #Conflicts: 307000 | #Constraints: 69168 1310.97/1314.30 c #Conflicts: 308000 | #Constraints: 70168 1310.97/1314.30 c #Conflicts: 309000 | #Constraints: 71168 1310.97/1314.30 c #Conflicts: 310000 | #Constraints: 72168 1310.97/1314.30 c #Conflicts: 311000 | #Constraints: 73169 1310.97/1314.30 c #Conflicts: 312000 | #Constraints: 74170 1310.97/1314.30 c #Conflicts: 313000 | #Constraints: 75170 1310.97/1314.30 c #Conflicts: 314000 | #Constraints: 76171 1310.97/1314.30 c #Conflicts: 315000 | #Constraints: 77171 1310.97/1314.30 c #Conflicts: 316000 | #Constraints: 78171 1310.97/1314.30 c #Conflicts: 317000 | #Constraints: 79171 1310.97/1314.30 c #Conflicts: 318000 | #Constraints: 80171 1310.97/1314.30 c #Conflicts: 319000 | #Constraints: 81171 1310.97/1314.30 c #Conflicts: 320000 | #Constraints: 82171 1310.97/1314.30 c #Conflicts: 321000 | #Constraints: 83171 1310.97/1314.30 c #Conflicts: 322000 | #Constraints: 84171 1310.97/1314.30 c #Conflicts: 323000 | #Constraints: 85171 1310.97/1314.30 c #Conflicts: 324000 | #Constraints: 86171 1310.97/1314.30 c INPROCESSING 1310.97/1314.30 c GARBAGE COLLECT 1310.97/1314.30 c rational objective 185 1604.08/1608.20 c #Conflicts: 325000 | #Constraints: 56019 1604.08/1608.20 c #Conflicts: 326000 | #Constraints: 57019 1604.08/1608.20 c #Conflicts: 327000 | #Constraints: 58019 1604.08/1608.20 c #Conflicts: 328000 | #Constraints: 59019 1604.08/1608.20 c #Conflicts: 329000 | #Constraints: 60019 1604.08/1608.20 c #Conflicts: 330000 | #Constraints: 61019 1604.08/1608.20 c #Conflicts: 331000 | #Constraints: 62019 1604.08/1608.20 c #Conflicts: 332000 | #Constraints: 63019 1604.08/1608.20 c #Conflicts: 333000 | #Constraints: 64019 1604.08/1608.20 c #Conflicts: 334000 | #Constraints: 65019 1604.08/1608.20 c #Conflicts: 335000 | #Constraints: 66019 1604.08/1608.20 c #Conflicts: 336000 | #Constraints: 67019 1604.08/1608.20 c #Conflicts: 337000 | #Constraints: 68019 1604.08/1608.20 c #Conflicts: 338000 | #Constraints: 69019 1604.08/1608.20 c #Conflicts: 339000 | #Constraints: 70019 1604.08/1608.20 c #Conflicts: 340000 | #Constraints: 71019 1604.08/1608.20 c INPROCESSING 1604.08/1608.20 c GARBAGE COLLECT 1604.08/1608.20 c #Conflicts: 341000 | #Constraints: 53628 1604.08/1608.20 c #Conflicts: 342000 | #Constraints: 54628 1604.08/1608.20 c #Conflicts: 343000 | #Constraints: 55628 1604.08/1608.20 c #Conflicts: 344000 | #Constraints: 56628 1604.08/1608.20 c #Conflicts: 345000 | #Constraints: 57628 1604.08/1608.20 c #Conflicts: 346000 | #Constraints: 58628 1604.08/1608.20 c #Conflicts: 347000 | #Constraints: 59628 1604.08/1608.20 c #Conflicts: 348000 | #Constraints: 60628 1604.08/1608.20 c #Conflicts: 349000 | #Constraints: 61628 1604.08/1608.20 c #Conflicts: 350000 | #Constraints: 62628 1604.08/1608.20 c #Conflicts: 351000 | #Constraints: 63628 1604.08/1608.20 c #Conflicts: 352000 | #Constraints: 64628 1604.08/1608.20 c #Conflicts: 353000 | #Constraints: 65628 1604.08/1608.20 c #Conflicts: 354000 | #Constraints: 66628 1604.08/1608.20 c #Conflicts: 355000 | #Constraints: 67628 1604.08/1608.20 c #Conflicts: 356000 | #Constraints: 68628 1604.08/1608.20 c #Conflicts: 357000 | #Constraints: 69629 1604.08/1608.20 c #Conflicts: 358000 | #Constraints: 70629 1604.08/1608.20 c #Conflicts: 359000 | #Constraints: 71629 1604.08/1608.20 c #Conflicts: 360000 | #Constraints: 72629 1604.08/1608.20 c #Conflicts: 361000 | #Constraints: 73629 1604.08/1608.20 c #Conflicts: 362000 | #Constraints: 74629 1604.08/1608.20 c #Conflicts: 363000 | #Constraints: 75629 1604.08/1608.20 c #Conflicts: 364000 | #Constraints: 76629 1604.08/1608.20 c #Conflicts: 365000 | #Constraints: 77629 1604.08/1608.20 c #Conflicts: 366000 | #Constraints: 78629 1604.08/1608.20 c #Conflicts: 367000 | #Constraints: 79629 1604.08/1608.20 c #Conflicts: 368000 | #Constraints: 80629 1604.08/1608.20 c #Conflicts: 369000 | #Constraints: 81629 1604.08/1608.20 c #Conflicts: 370000 | #Constraints: 82629 1604.08/1608.20 c #Conflicts: 371000 | #Constraints: 83629 1604.08/1608.20 c #Conflicts: 372000 | #Constraints: 84629 1604.08/1608.20 c #Conflicts: 373000 | #Constraints: 85629 1604.08/1608.20 c #Conflicts: 374000 | #Constraints: 86630 1604.08/1608.20 c #Conflicts: 375000 | #Constraints: 87630 1604.08/1608.20 c #Conflicts: 376000 | #Constraints: 88630 1604.08/1608.20 c #Conflicts: 377000 | #Constraints: 89630 1604.08/1608.20 c #Conflicts: 378000 | #Constraints: 90630 1604.08/1608.20 c #Conflicts: 379000 | #Constraints: 91630 1604.08/1608.20 c #Conflicts: 380000 | #Constraints: 92630 1604.08/1608.20 c INPROCESSING 1604.08/1608.20 c GARBAGE COLLECT 1604.08/1608.20 c rational objective 185 1806.85/1811.52 c #Conflicts: 381000 | #Constraints: 59728 1806.85/1811.52 c #Conflicts: 382000 | #Constraints: 60728 1806.85/1811.52 c #Conflicts: 383000 | #Constraints: 61728 1806.85/1811.52 c #Conflicts: 384000 | #Constraints: 62728 1806.85/1811.52 c #Conflicts: 385000 | #Constraints: 63728 1806.85/1811.52 c #Conflicts: 386000 | #Constraints: 64728 1806.85/1811.52 c #Conflicts: 387000 | #Constraints: 65728 1806.85/1811.52 c #Conflicts: 388000 | #Constraints: 66728 1806.85/1811.52 c #Conflicts: 389000 | #Constraints: 67729 1806.85/1811.52 c #Conflicts: 390000 | #Constraints: 68729 1806.85/1811.52 c #Conflicts: 391000 | #Constraints: 69729 1806.85/1811.52 c #Conflicts: 392000 | #Constraints: 70729 1806.85/1811.52 c #Conflicts: 393000 | #Constraints: 71729 1806.85/1811.52 c #Conflicts: 394000 | #Constraints: 72729 1806.85/1811.52 c #Conflicts: 395000 | #Constraints: 73729 1806.85/1811.52 c #Conflicts: 396000 | #Constraints: 74729 1806.85/1811.52 c #Conflicts: 397000 | #Constraints: 75729 1806.85/1811.52 c INPROCESSING 1806.85/1811.52 c GARBAGE COLLECT 1806.85/1811.52 c #Conflicts: 398000 | #Constraints: 56592 1806.85/1811.52 c #Conflicts: 399000 | #Constraints: 57592 1806.85/1811.52 c #Conflicts: 400000 | #Constraints: 58592 1806.85/1811.52 c #Conflicts: 401000 | #Constraints: 59592 1806.85/1811.52 c #Conflicts: 402000 | #Constraints: 60592 1806.85/1811.52 c #Conflicts: 403000 | #Constraints: 61592 1806.85/1811.52 c #Conflicts: 404000 | #Constraints: 62592 1806.85/1811.52 c #Conflicts: 405000 | #Constraints: 63593 1806.85/1811.52 c #Conflicts: 406000 | #Constraints: 64593 1806.85/1811.52 c #Conflicts: 407000 | #Constraints: 65593 1806.85/1811.52 c #Conflicts: 408000 | #Constraints: 66593 1806.85/1811.52 c #Conflicts: 409000 | #Constraints: 67594 1806.85/1811.52 c #Conflicts: 410000 | #Constraints: 68594 1806.85/1811.52 c #Conflicts: 411000 | #Constraints: 69594 1806.85/1811.52 c #Conflicts: 412000 | #Constraints: 70594 1806.85/1811.52 c #Conflicts: 413000 | #Constraints: 71594 1806.85/1811.52 c #Conflicts: 414000 | #Constraints: 72594 1806.85/1811.52 c #Conflicts: 415000 | #Constraints: 73594 1806.85/1811.52 c #Conflicts: 416000 | #Constraints: 74594 1806.85/1811.52 c #Conflicts: 417000 | #Constraints: 75594 1806.85/1811.52 c #Conflicts: 418000 | #Constraints: 76594 1806.85/1811.52 c #Conflicts: 419000 | #Constraints: 77594 1806.85/1811.52 c #Conflicts: 420000 | #Constraints: 78594 1806.85/1811.52 c #Conflicts: 421000 | #Constraints: 79594 1806.85/1811.52 c #Conflicts: 422000 | #Constraints: 80594 1806.85/1811.52 c #Conflicts: 423000 | #Constraints: 81595 1806.85/1811.52 c #Conflicts: 424000 | #Constraints: 82595 1806.85/1811.52 c #Conflicts: 425000 | #Constraints: 83595 1806.85/1811.52 c #Conflicts: 426000 | #Constraints: 84595 1806.85/1811.52 c #Conflicts: 427000 | #Constraints: 85595 1806.85/1811.52 c #Conflicts: 428000 | #Constraints: 86595 1806.85/1811.52 c #Conflicts: 429000 | #Constraints: 87595 1806.85/1811.52 c #Conflicts: 430000 | #Constraints: 88595 1806.85/1811.52 c #Conflicts: 431000 | #Constraints: 89595 1806.85/1811.52 c #Conflicts: 432000 | #Constraints: 90595 1806.85/1811.52 c #Conflicts: 433000 | #Constraints: 91595 1806.85/1811.52 c #Conflicts: 434000 | #Constraints: 92595 1806.85/1811.52 c #Conflicts: 435000 | #Constraints: 93595 1806.85/1811.52 c #Conflicts: 436000 | #Constraints: 94595 1806.85/1811.52 c #Conflicts: 437000 | #Constraints: 95596 1806.85/1811.52 c #Conflicts: 438000 | #Constraints: 96596 1806.85/1811.52 c #Conflicts: 439000 | #Constraints: 97596 1806.85/1811.52 c #Conflicts: 440000 | #Constraints: 98596 1806.85/1811.52 c INPROCESSING 1806.85/1811.52 c GARBAGE COLLECT 1806.85/1811.52 c rational objective 185 1869.58/1874.43 c #Conflicts: 441000 | #Constraints: 62344 1869.58/1874.43 c #Conflicts: 442000 | #Constraints: 63344 1869.58/1874.43 c #Conflicts: 443000 | #Constraints: 64344 1869.58/1874.43 c #Conflicts: 444000 | #Constraints: 65344 1869.58/1874.43 c #Conflicts: 445000 | #Constraints: 66344 1869.58/1874.43 c #Conflicts: 446000 | #Constraints: 67344 1869.58/1874.43 c #Conflicts: 447000 | #Constraints: 68344 1869.58/1874.43 c #Conflicts: 448000 | #Constraints: 69344 1869.58/1874.43 c #Conflicts: 449000 | #Constraints: 70344 1869.58/1874.43 c #Conflicts: 450000 | #Constraints: 71344 1869.58/1874.43 c #Conflicts: 451000 | #Constraints: 72344 1869.58/1874.43 c #Conflicts: 452000 | #Constraints: 73344 1869.58/1874.43 c #Conflicts: 453000 | #Constraints: 74344 1869.58/1874.43 c #Conflicts: 454000 | #Constraints: 75344 1869.58/1874.43 c #Conflicts: 455000 | #Constraints: 76344 1869.58/1874.43 c #Conflicts: 456000 | #Constraints: 77344 1869.58/1874.43 c #Conflicts: 457000 | #Constraints: 78344 1869.58/1874.43 c #Conflicts: 458000 | #Constraints: 79344 1869.58/1874.43 c #Conflicts: 459000 | #Constraints: 80344 1869.58/1874.43 c INPROCESSING 1869.58/1874.43 c GARBAGE COLLECT 1869.58/1874.43 c rational objective 185 2247.44/2253.36 c #Conflicts: 460000 | #Constraints: 59761 2247.44/2253.36 c #Conflicts: 461000 | #Constraints: 60761 2247.44/2253.36 c #Conflicts: 462000 | #Constraints: 61761 2247.44/2253.36 c #Conflicts: 463000 | #Constraints: 62761 2247.44/2253.36 c #Conflicts: 464000 | #Constraints: 63761 2247.44/2253.36 c #Conflicts: 465000 | #Constraints: 64761 2247.44/2253.36 c #Conflicts: 466000 | #Constraints: 65761 2247.44/2253.36 c #Conflicts: 467000 | #Constraints: 66761 2247.44/2253.36 c #Conflicts: 468000 | #Constraints: 67761 2247.44/2253.36 c #Conflicts: 469000 | #Constraints: 68761 2247.44/2253.36 c #Conflicts: 470000 | #Constraints: 69761 2247.44/2253.36 c #Conflicts: 471000 | #Constraints: 70761 2247.44/2253.36 c #Conflicts: 472000 | #Constraints: 71762 2247.44/2253.36 c #Conflicts: 473000 | #Constraints: 72762 2247.44/2253.36 c #Conflicts: 474000 | #Constraints: 73762 2247.44/2253.36 c #Conflicts: 475000 | #Constraints: 74762 2247.44/2253.36 c #Conflicts: 476000 | #Constraints: 75762 2247.44/2253.36 c #Conflicts: 477000 | #Constraints: 76762 2247.44/2253.36 c #Conflicts: 478000 | #Constraints: 77762 2247.44/2253.36 c #Conflicts: 479000 | #Constraints: 78762 2247.44/2253.36 c #Conflicts: 480000 | #Constraints: 79762 2247.44/2253.36 c #Conflicts: 481000 | #Constraints: 80762 2247.44/2253.36 c #Conflicts: 482000 | #Constraints: 81762 2247.44/2253.36 c #Conflicts: 483000 | #Constraints: 82762 2247.44/2253.36 c #Conflicts: 484000 | #Constraints: 83762 2247.44/2253.36 c #Conflicts: 485000 | #Constraints: 84762 2247.44/2253.36 c #Conflicts: 486000 | #Constraints: 85763 2247.44/2253.36 c #Conflicts: 487000 | #Constraints: 86763 2247.44/2253.36 c #Conflicts: 488000 | #Constraints: 87763 2247.44/2253.36 c #Conflicts: 489000 | #Constraints: 88763 2247.44/2253.36 c #Conflicts: 490000 | #Constraints: 89763 2247.44/2253.36 c #Conflicts: 491000 | #Constraints: 90763 2247.44/2253.36 c #Conflicts: 492000 | #Constraints: 91763 2247.44/2253.36 c #Conflicts: 493000 | #Constraints: 92763 2247.44/2253.36 c #Conflicts: 494000 | #Constraints: 93763 2247.44/2253.36 c #Conflicts: 495000 | #Constraints: 94763 2247.44/2253.36 c #Conflicts: 496000 | #Constraints: 95763 2247.44/2253.36 c #Conflicts: 497000 | #Constraints: 96763 2247.44/2253.36 c #Conflicts: 498000 | #Constraints: 97763 2247.44/2253.36 c #Conflicts: 499000 | #Constraints: 98763 2247.44/2253.36 c #Conflicts: 500000 | #Constraints: 99763 2247.44/2253.36 c #Conflicts: 501000 | #Constraints: 100763 2247.44/2253.36 c #Conflicts: 502000 | #Constraints: 101764 2247.44/2253.36 c #Conflicts: 503000 | #Constraints: 102764 2247.44/2253.36 c #Conflicts: 504000 | #Constraints: 103764 2247.44/2253.36 c INPROCESSING 2247.44/2253.36 c GARBAGE COLLECT 2247.44/2253.36 c rational objective 185 2298.72/2304.76 c #Conflicts: 505000 | #Constraints: 64531 2298.72/2304.76 c #Conflicts: 506000 | #Constraints: 65531 2298.72/2304.76 c #Conflicts: 507000 | #Constraints: 66531 2298.72/2304.76 c #Conflicts: 508000 | #Constraints: 67531 2298.72/2304.76 c #Conflicts: 509000 | #Constraints: 68531 2298.72/2304.76 c #Conflicts: 510000 | #Constraints: 69531 2298.72/2304.76 c #Conflicts: 511000 | #Constraints: 70531 2298.72/2304.76 c #Conflicts: 512000 | #Constraints: 71531 2298.72/2304.76 c #Conflicts: 513000 | #Constraints: 72531 2298.72/2304.76 c #Conflicts: 514000 | #Constraints: 73531 2298.72/2304.76 c #Conflicts: 515000 | #Constraints: 74531 2298.72/2304.76 c #Conflicts: 516000 | #Constraints: 75531 2298.72/2304.76 c #Conflicts: 517000 | #Constraints: 76531 2298.72/2304.76 c #Conflicts: 518000 | #Constraints: 77531 2298.72/2304.76 c #Conflicts: 519000 | #Constraints: 78531 2298.72/2304.76 c #Conflicts: 520000 | #Constraints: 79531 2298.72/2304.76 c #Conflicts: 521000 | #Constraints: 80531 2298.72/2304.76 c #Conflicts: 522000 | #Constraints: 81531 2298.72/2304.76 c #Conflicts: 523000 | #Constraints: 82531 2298.72/2304.76 c #Conflicts: 524000 | #Constraints: 83531 2298.72/2304.76 c #Conflicts: 525000 | #Constraints: 84531 2298.72/2304.76 c INPROCESSING 2298.72/2304.76 c GARBAGE COLLECT 2298.72/2304.76 c rational objective 185 2458.17/2464.51 c #Conflicts: 526000 | #Constraints: 61496 2458.17/2464.51 c #Conflicts: 527000 | #Constraints: 62496 2458.17/2464.51 c #Conflicts: 528000 | #Constraints: 63496 2458.17/2464.51 c #Conflicts: 529000 | #Constraints: 64496 2458.17/2464.51 c #Conflicts: 530000 | #Constraints: 65496 2458.17/2464.51 c #Conflicts: 531000 | #Constraints: 66496 2458.17/2464.51 c #Conflicts: 532000 | #Constraints: 67496 2458.17/2464.51 c #Conflicts: 533000 | #Constraints: 68496 2458.17/2464.51 c #Conflicts: 534000 | #Constraints: 69496 2458.17/2464.51 c #Conflicts: 535000 | #Constraints: 70496 2458.17/2464.51 c #Conflicts: 536000 | #Constraints: 71496 2458.17/2464.51 c #Conflicts: 537000 | #Constraints: 72496 2458.17/2464.51 c #Conflicts: 538000 | #Constraints: 73496 2458.17/2464.51 c #Conflicts: 539000 | #Constraints: 74496 2458.17/2464.51 c #Conflicts: 540000 | #Constraints: 75496 2458.17/2464.51 c #Conflicts: 541000 | #Constraints: 76496 2458.17/2464.51 c #Conflicts: 542000 | #Constraints: 77496 2458.17/2464.51 c #Conflicts: 543000 | #Constraints: 78496 2458.17/2464.51 c #Conflicts: 544000 | #Constraints: 79496 2458.17/2464.51 c #Conflicts: 545000 | #Constraints: 80496 2458.17/2464.51 c #Conflicts: 546000 | #Constraints: 81496 2458.17/2464.51 c #Conflicts: 547000 | #Constraints: 82496 2458.17/2464.51 c #Conflicts: 548000 | #Constraints: 83496 2458.17/2464.51 c #Conflicts: 549000 | #Constraints: 84496 2458.17/2464.51 c #Conflicts: 550000 | #Constraints: 85496 2458.17/2464.51 c #Conflicts: 551000 | #Constraints: 86496 2458.17/2464.51 c #Conflicts: 552000 | #Constraints: 87496 2458.17/2464.51 c #Conflicts: 553000 | #Constraints: 88496 2458.17/2464.51 c #Conflicts: 554000 | #Constraints: 89496 2458.17/2464.51 c #Conflicts: 555000 | #Constraints: 90496 2458.17/2464.51 c #Conflicts: 556000 | #Constraints: 91496 2458.17/2464.51 c #Conflicts: 557000 | #Constraints: 92496 2458.17/2464.51 c #Conflicts: 558000 | #Constraints: 93496 2458.17/2464.51 c #Conflicts: 559000 | #Constraints: 94496 2458.17/2464.51 c #Conflicts: 560000 | #Constraints: 95496 2458.17/2464.51 c #Conflicts: 561000 | #Constraints: 96496 2458.17/2464.51 c #Conflicts: 562000 | #Constraints: 97496 2458.17/2464.51 c #Conflicts: 563000 | #Constraints: 98496 2458.17/2464.51 c #Conflicts: 564000 | #Constraints: 99496 2458.17/2464.51 c #Conflicts: 565000 | #Constraints: 100496 2458.17/2464.51 c #Conflicts: 566000 | #Constraints: 101497 2458.17/2464.51 c #Conflicts: 567000 | #Constraints: 102497 2458.17/2464.51 c #Conflicts: 568000 | #Constraints: 103497 2458.17/2464.51 c #Conflicts: 569000 | #Constraints: 104497 2458.17/2464.51 c #Conflicts: 570000 | #Constraints: 105497 2458.17/2464.51 c #Conflicts: 571000 | #Constraints: 106497 2458.17/2464.51 c #Conflicts: 572000 | #Constraints: 107497 2458.17/2464.51 c #Conflicts: 573000 | #Constraints: 108497 2458.17/2464.51 c INPROCESSING 2458.17/2464.51 c GARBAGE COLLECT 2458.17/2464.51 c rational objective 185 2537.89/2544.41 c #Conflicts: 574000 | #Constraints: 67392 2537.89/2544.41 c #Conflicts: 575000 | #Constraints: 68393 2537.89/2544.41 c #Conflicts: 576000 | #Constraints: 69393 2537.89/2544.41 c #Conflicts: 577000 | #Constraints: 70393 2537.89/2544.41 c #Conflicts: 578000 | #Constraints: 71393 2537.89/2544.41 c #Conflicts: 579000 | #Constraints: 72393 2537.89/2544.41 c #Conflicts: 580000 | #Constraints: 73394 2537.89/2544.41 c #Conflicts: 581000 | #Constraints: 74394 2537.89/2544.41 c #Conflicts: 582000 | #Constraints: 75394 2537.89/2544.41 c #Conflicts: 583000 | #Constraints: 76394 2537.89/2544.41 c #Conflicts: 584000 | #Constraints: 77394 2537.89/2544.41 c #Conflicts: 585000 | #Constraints: 78394 2537.89/2544.41 c #Conflicts: 586000 | #Constraints: 79394 2537.89/2544.41 c #Conflicts: 587000 | #Constraints: 80394 2537.89/2544.41 c #Conflicts: 588000 | #Constraints: 81394 2537.89/2544.41 c #Conflicts: 589000 | #Constraints: 82394 2537.89/2544.41 c #Conflicts: 590000 | #Constraints: 83394 2537.89/2544.41 c #Conflicts: 591000 | #Constraints: 84394 2537.89/2544.41 c #Conflicts: 592000 | #Constraints: 85395 2537.89/2544.41 c #Conflicts: 593000 | #Constraints: 86395 2537.89/2544.41 c #Conflicts: 594000 | #Constraints: 87395 2537.89/2544.41 c #Conflicts: 595000 | #Constraints: 88395 2537.89/2544.41 c INPROCESSING 2537.89/2544.41 c GARBAGE COLLECT 2537.89/2544.41 c rational objective 185 2749.41/2756.48 c #Conflicts: 596000 | #Constraints: 64632 2749.41/2756.48 c #Conflicts: 597000 | #Constraints: 65632 2749.41/2756.48 c #Conflicts: 598000 | #Constraints: 66632 2749.41/2756.48 c #Conflicts: 599000 | #Constraints: 67632 2749.41/2756.48 c #Conflicts: 600000 | #Constraints: 68632 2749.41/2756.48 c #Conflicts: 601000 | #Constraints: 69632 2749.41/2756.48 c #Conflicts: 602000 | #Constraints: 70632 2749.41/2756.48 c #Conflicts: 603000 | #Constraints: 71632 2749.41/2756.48 c #Conflicts: 604000 | #Constraints: 72632 2749.41/2756.48 c #Conflicts: 605000 | #Constraints: 73632 2749.41/2756.48 c #Conflicts: 606000 | #Constraints: 74632 2749.41/2756.48 c #Conflicts: 607000 | #Constraints: 75632 2749.41/2756.48 c #Conflicts: 608000 | #Constraints: 76633 2749.41/2756.48 c #Conflicts: 609000 | #Constraints: 77633 2749.41/2756.48 c #Conflicts: 610000 | #Constraints: 78633 2749.41/2756.48 c #Conflicts: 611000 | #Constraints: 79633 2749.41/2756.48 c #Conflicts: 612000 | #Constraints: 80633 2749.41/2756.48 c #Conflicts: 613000 | #Constraints: 81633 2749.41/2756.48 c #Conflicts: 614000 | #Constraints: 82633 2749.41/2756.48 c #Conflicts: 615000 | #Constraints: 83633 2749.41/2756.48 c #Conflicts: 616000 | #Constraints: 84633 2749.41/2756.48 c #Conflicts: 617000 | #Constraints: 85633 2749.41/2756.48 c #Conflicts: 618000 | #Constraints: 86633 2749.41/2756.48 c #Conflicts: 619000 | #Constraints: 87633 2749.41/2756.48 c #Conflicts: 620000 | #Constraints: 88633 2749.41/2756.48 c #Conflicts: 621000 | #Constraints: 89633 2749.41/2756.48 c #Conflicts: 622000 | #Constraints: 90634 2749.41/2756.48 c #Conflicts: 623000 | #Constraints: 91634 2749.41/2756.48 c #Conflicts: 624000 | #Constraints: 92634 2749.41/2756.48 c #Conflicts: 625000 | #Constraints: 93634 2749.41/2756.48 c #Conflicts: 626000 | #Constraints: 94634 2749.41/2756.48 c #Conflicts: 627000 | #Constraints: 95634 2749.41/2756.48 c #Conflicts: 628000 | #Constraints: 96634 2749.41/2756.48 c #Conflicts: 629000 | #Constraints: 97634 2749.41/2756.48 c #Conflicts: 630000 | #Constraints: 98634 2749.41/2756.48 c #Conflicts: 631000 | #Constraints: 99634 2749.41/2756.48 c #Conflicts: 632000 | #Constraints: 100634 2749.41/2756.48 c #Conflicts: 633000 | #Constraints: 101634 2749.41/2756.48 c #Conflicts: 634000 | #Constraints: 102634 2749.41/2756.48 c #Conflicts: 635000 | #Constraints: 103634 2749.41/2756.48 c #Conflicts: 636000 | #Constraints: 104634 2749.41/2756.48 c #Conflicts: 637000 | #Constraints: 105634 2749.41/2756.48 c #Conflicts: 638000 | #Constraints: 106634 2749.41/2756.48 c #Conflicts: 639000 | #Constraints: 107634 2749.41/2756.48 c #Conflicts: 640000 | #Constraints: 108634 2749.41/2756.48 c #Conflicts: 641000 | #Constraints: 109634 2749.41/2756.48 c #Conflicts: 642000 | #Constraints: 110634 2749.41/2756.48 c #Conflicts: 643000 | #Constraints: 111634 2749.41/2756.48 c #Conflicts: 644000 | #Constraints: 112634 2749.41/2756.48 c #Conflicts: 645000 | #Constraints: 113634 2749.41/2756.48 c #Conflicts: 646000 | #Constraints: 114634 2749.41/2756.48 c INPROCESSING 2749.41/2756.48 c GARBAGE COLLECT 2749.41/2756.48 c rational objective 185 2852.87/2860.11 c #Conflicts: 647000 | #Constraints: 70187 2852.87/2860.11 c #Conflicts: 648000 | #Constraints: 71187 2852.87/2860.11 c #Conflicts: 649000 | #Constraints: 72188 2852.87/2860.11 c #Conflicts: 650000 | #Constraints: 73188 2852.87/2860.11 c #Conflicts: 651000 | #Constraints: 74188 2852.87/2860.11 c #Conflicts: 652000 | #Constraints: 75188 2852.87/2860.11 c #Conflicts: 653000 | #Constraints: 76188 2852.87/2860.11 c #Conflicts: 654000 | #Constraints: 77188 2852.87/2860.11 c #Conflicts: 655000 | #Constraints: 78189 2852.87/2860.11 c #Conflicts: 656000 | #Constraints: 79189 2852.87/2860.11 c #Conflicts: 657000 | #Constraints: 80189 2852.87/2860.11 c #Conflicts: 658000 | #Constraints: 81189 2852.87/2860.11 c #Conflicts: 659000 | #Constraints: 82189 2852.87/2860.11 c #Conflicts: 660000 | #Constraints: 83189 2852.87/2860.11 c #Conflicts: 661000 | #Constraints: 84189 2852.87/2860.11 c #Conflicts: 662000 | #Constraints: 85189 2852.87/2860.11 c #Conflicts: 663000 | #Constraints: 86189 2852.87/2860.11 c #Conflicts: 664000 | #Constraints: 87189 2852.87/2860.11 c #Conflicts: 665000 | #Constraints: 88189 2852.87/2860.11 c #Conflicts: 666000 | #Constraints: 89189 2852.87/2860.11 c #Conflicts: 667000 | #Constraints: 90190 2852.87/2860.11 c #Conflicts: 668000 | #Constraints: 91190 2852.87/2860.11 c #Conflicts: 669000 | #Constraints: 92190 2852.87/2860.11 c INPROCESSING 2852.87/2860.11 c GARBAGE COLLECT 2852.87/2860.11 c rational objective 185 3314.07/3322.69 c #Conflicts: 670000 | #Constraints: 66767 3314.07/3322.69 c #Conflicts: 671000 | #Constraints: 67767 3314.07/3322.69 c #Conflicts: 672000 | #Constraints: 68767 3314.07/3322.69 c #Conflicts: 673000 | #Constraints: 69767 3314.07/3322.69 c #Conflicts: 674000 | #Constraints: 70767 3314.07/3322.69 c #Conflicts: 675000 | #Constraints: 71767 3314.07/3322.69 c #Conflicts: 676000 | #Constraints: 72767 3314.07/3322.69 c #Conflicts: 677000 | #Constraints: 73767 3314.07/3322.69 c #Conflicts: 678000 | #Constraints: 74767 3314.07/3322.69 c #Conflicts: 679000 | #Constraints: 75767 3314.07/3322.69 c #Conflicts: 680000 | #Constraints: 76768 3314.07/3322.69 c #Conflicts: 681000 | #Constraints: 77769 3314.07/3322.69 c #Conflicts: 682000 | #Constraints: 78769 3314.07/3322.69 c #Conflicts: 683000 | #Constraints: 79769 3314.07/3322.69 c #Conflicts: 684000 | #Constraints: 80769 3314.07/3322.69 c #Conflicts: 685000 | #Constraints: 81769 3314.07/3322.69 c #Conflicts: 686000 | #Constraints: 82769 3314.07/3322.69 c #Conflicts: 687000 | #Constraints: 83770 3314.07/3322.69 c #Conflicts: 688000 | #Constraints: 84770 3314.07/3322.69 c #Conflicts: 689000 | #Constraints: 85770 3314.07/3322.69 c #Conflicts: 690000 | #Constraints: 86770 3314.07/3322.69 c #Conflicts: 691000 | #Constraints: 87770 3314.07/3322.69 c #Conflicts: 692000 | #Constraints: 88770 3314.07/3322.69 c #Conflicts: 693000 | #Constraints: 89770 3314.07/3322.69 c #Conflicts: 694000 | #Constraints: 90770 3314.07/3322.69 c #Conflicts: 695000 | #Constraints: 91770 3314.07/3322.69 c #Conflicts: 696000 | #Constraints: 92770 3314.07/3322.69 c #Conflicts: 697000 | #Constraints: 93770 3314.07/3322.69 c #Conflicts: 698000 | #Constraints: 94770 3314.07/3322.69 c #Conflicts: 699000 | #Constraints: 95770 3314.07/3322.69 c #Conflicts: 700000 | #Constraints: 96770 3314.07/3322.69 c #Conflicts: 701000 | #Constraints: 97770 3314.07/3322.69 c #Conflicts: 702000 | #Constraints: 98770 3314.07/3322.69 c #Conflicts: 703000 | #Constraints: 99770 3314.07/3322.69 c #Conflicts: 704000 | #Constraints: 100770 3314.07/3322.69 c #Conflicts: 705000 | #Constraints: 101770 3314.07/3322.69 c #Conflicts: 706000 | #Constraints: 102770 3314.07/3322.69 c #Conflicts: 707000 | #Constraints: 103770 3314.07/3322.69 c #Conflicts: 708000 | #Constraints: 104770 3314.07/3322.69 c #Conflicts: 709000 | #Constraints: 105770 3314.07/3322.69 c #Conflicts: 710000 | #Constraints: 106770 3314.07/3322.69 c #Conflicts: 711000 | #Constraints: 107770 3314.07/3322.69 c #Conflicts: 712000 | #Constraints: 108771 3314.07/3322.69 c #Conflicts: 713000 | #Constraints: 109771 3314.07/3322.69 c #Conflicts: 714000 | #Constraints: 110771 3314.07/3322.69 c #Conflicts: 715000 | #Constraints: 111771 3314.07/3322.69 c #Conflicts: 716000 | #Constraints: 112771 3314.07/3322.69 c #Conflicts: 717000 | #Constraints: 113771 3314.07/3322.69 c #Conflicts: 718000 | #Constraints: 114771 3314.07/3322.69 c #Conflicts: 719000 | #Constraints: 115771 3314.07/3322.69 c #Conflicts: 720000 | #Constraints: 116771 3314.07/3322.69 c #Conflicts: 721000 | #Constraints: 117771 3314.07/3322.69 c #Conflicts: 722000 | #Constraints: 118771 3314.07/3322.69 c #Conflicts: 723000 | #Constraints: 119771 3314.07/3322.69 c #Conflicts: 724000 | #Constraints: 120771 3314.07/3322.69 c INPROCESSING 3314.07/3322.69 c GARBAGE COLLECT 3314.07/3322.69 c #Conflicts: 725000 | #Constraints: 73465 3314.07/3322.69 c #Conflicts: 726000 | #Constraints: 74466 3314.07/3322.69 c #Conflicts: 727000 | #Constraints: 75466 3314.07/3322.69 c #Conflicts: 728000 | #Constraints: 76466 3314.07/3322.69 c #Conflicts: 729000 | #Constraints: 77466 3314.07/3322.69 c #Conflicts: 730000 | #Constraints: 78466 3314.07/3322.69 c #Conflicts: 731000 | #Constraints: 79466 3314.07/3322.69 c #Conflicts: 732000 | #Constraints: 80466 3314.07/3322.69 c #Conflicts: 733000 | #Constraints: 81466 3314.07/3322.69 c #Conflicts: 734000 | #Constraints: 82466 3314.07/3322.69 c #Conflicts: 735000 | #Constraints: 83466 3314.07/3322.69 c #Conflicts: 736000 | #Constraints: 84466 3314.07/3322.69 c #Conflicts: 737000 | #Constraints: 85466 3314.07/3322.69 c #Conflicts: 738000 | #Constraints: 86466 3314.07/3322.69 c #Conflicts: 739000 | #Constraints: 87466 3314.07/3322.69 c #Conflicts: 740000 | #Constraints: 88467 3314.07/3322.69 c #Conflicts: 741000 | #Constraints: 89467 3314.07/3322.69 c #Conflicts: 742000 | #Constraints: 90467 3314.07/3322.69 c #Conflicts: 743000 | #Constraints: 91467 3314.07/3322.69 c #Conflicts: 744000 | #Constraints: 92467 3314.07/3322.69 c #Conflicts: 745000 | #Constraints: 93467 3314.07/3322.69 c #Conflicts: 746000 | #Constraints: 94467 3314.07/3322.69 c #Conflicts: 747000 | #Constraints: 95467 3314.07/3322.69 c #Conf
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: 63968 MiB (56834 MiB free)
memory of node 1: 64473 MiB (59323 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463072-1722344940/watcher-4463072-1722344940 -o /tmp/evaluation-result-4463072-1722344940/solver-4463072-1722344940 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722340763-6792 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463072-1722344940 --lp-cut-gomory=0 HOME/instance-4463072-1722344940.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=9308, runsolver pid=9305
[startup+0.100478 s]*
/proc/loadavg: 4.25 4.19 4.11 5/258 9309
/proc/meminfo: memFree=118937944/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=43804 memory=12284 CPUtime=0.08 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 2730 0 0 0 6 2 0 0 20 0 1 0 1096045 44855296 3071 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 10951 3071 1349 992 0 2809 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 43804 KiB
Current children cumulated memory: 12284 KiB
[startup+0.204851 s]*
/proc/loadavg: 4.25 4.19 4.11 5/258 9309
/proc/meminfo: memFree=118912348/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=74332 memory=39344 CPUtime=0.18 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 10256 0 0 0 15 3 0 0 20 0 1 0 1096045 76115968 9836 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 18583 9836 1710 992 0 10441 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 74332 KiB
Current children cumulated memory: 39344 KiB
[startup+0.305568 s]*
/proc/loadavg: 4.25 4.19 4.11 5/258 9309
/proc/meminfo: memFree=118909728/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=76356 memory=41720 CPUtime=0.28 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 10795 0 0 0 25 3 0 0 20 0 1 0 1096045 78188544 10364 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 19089 10364 1710 992 0 10947 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 76356 KiB
Current children cumulated memory: 41720 KiB
[startup+0.700187 s]
/proc/loadavg: 4.25 4.19 4.11 5/258 9309
/proc/meminfo: memFree=118906564/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=77864 memory=44352 CPUtime=0.67 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 11518 0 0 0 63 4 0 0 20 0 1 0 1096045 79732736 11088 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 19466 11088 1710 992 0 11324 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 77864 KiB
Current children cumulated memory: 44352 KiB
[startup+1.50015 s]
/proc/loadavg: 4.25 4.19 4.11 5/258 9309
/proc/meminfo: memFree=118904876/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=77864 memory=44616 CPUtime=1.47 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 11589 0 0 0 143 4 0 0 20 0 1 0 1096045 79732736 11154 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 19466 11154 1710 992 0 11324 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 77864 KiB
Current children cumulated memory: 44616 KiB
[startup+3.10543 s]
/proc/loadavg: 4.23 4.18 4.11 5/258 9310
/proc/meminfo: memFree=118892404/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=77864 memory=47576 CPUtime=3.07 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 11743 0 0 0 289 18 0 0 20 0 1 0 1096045 79732736 11894 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 19466 11894 1742 992 0 11324 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 77864 KiB
Current children cumulated memory: 47576 KiB
[startup+6.30019 s]
/proc/loadavg: 4.23 4.18 4.11 5/258 9310
/proc/meminfo: memFree=118876320/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=84456 memory=54152 CPUtime=6.26 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 13395 0 0 0 601 25 0 0 20 0 1 0 1096045 86482944 13538 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 21114 13538 1742 992 0 12972 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 84456 KiB
Current children cumulated memory: 54152 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.18 4.10 5/258 9310
/proc/meminfo: memFree=118835456/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=84456 memory=54152 CPUtime=12.64 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 13416 0 0 0 1236 28 0 0 20 0 1 0 1096045 86482944 13538 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 21114 13538 1742 992 0 12972 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 84456 KiB
Current children cumulated memory: 54152 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.17 4.10 5/258 9314
/proc/meminfo: memFree=118766268/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=93292 memory=61312 CPUtime=25.41 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 15120 0 0 0 2482 59 0 0 20 0 1 0 1096045 95531008 15328 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 23323 15328 1803 992 0 15181 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 93292 KiB
Current children cumulated memory: 61312 KiB
[startup+51.1056 s]
/proc/loadavg: 4.18 4.17 4.10 5/258 9317
/proc/meminfo: memFree=118631024/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=110924 memory=81512 CPUtime=50.97 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 20091 0 0 0 4986 111 0 0 20 0 1 0 1096045 113586176 20378 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 27731 20378 1803 992 0 19589 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 110924 KiB
Current children cumulated memory: 81512 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.17 4.10 5/261 9330
/proc/meminfo: memFree=118185640/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=142392 memory=110532 CPUtime=102.05 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 24810 0 0 0 10032 173 0 0 20 0 1 0 1096045 145809408 27633 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 35598 27633 1803 992 0 27456 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 142392 KiB
Current children cumulated memory: 110532 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.17 4.10 5/261 9342
/proc/meminfo: memFree=117626952/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=260460 memory=205412 CPUtime=161.92 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 31169 0 0 0 15896 296 0 0 20 0 1 0 1096045 266711040 51353 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 65115 51353 1835 992 0 56973 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 260460 KiB
Current children cumulated memory: 205412 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/261 9353
/proc/meminfo: memFree=117148268/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=269348 memory=213840 CPUtime=221.78 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 33256 0 0 0 21777 401 0 0 20 0 1 0 1096045 275812352 53460 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 67337 53460 1835 992 0 59195 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 269348 KiB
Current children cumulated memory: 213840 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/260 9364
/proc/meminfo: memFree=116599880/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=274496 memory=219376 CPUtime=281.65 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 34668 0 0 0 27645 520 0 0 20 0 1 0 1096045 281083904 54844 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 68624 54844 1835 992 0 60482 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 274496 KiB
Current children cumulated memory: 219376 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 4.16 4.10 5/260 9375
/proc/meminfo: memFree=116022084/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=278976 memory=223512 CPUtime=341.53 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 35208 0 0 0 33569 584 0 0 20 0 1 0 1096045 285671424 55878 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 69744 55878 1835 992 0 61602 0
Current children cumulated CPU time: 341.53 s
Current children cumulated vsize: 278976 KiB
Current children cumulated memory: 223512 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/258 9385
/proc/meminfo: memFree=115692536/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=290984 memory=235888 CPUtime=401.39 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 38266 0 0 0 39479 660 0 0 20 0 1 0 1096045 297967616 58972 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 72746 58972 1835 992 0 64604 0
Current children cumulated CPU time: 401.39 s
Current children cumulated vsize: 290984 KiB
Current children cumulated memory: 235888 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/258 9395
/proc/meminfo: memFree=115309476/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=291964 memory=236928 CPUtime=461.26 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 38521 0 0 0 45437 689 0 0 20 0 1 0 1096045 298971136 59232 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 72991 59232 1835 992 0 64849 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/261 11229
/proc/meminfo: memFree=121148924/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=1310320 memory=1247948 CPUtime=3154.19 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 104721 0 0 0 311727 3692 0 0 20 0 1 0 1096045 1341767680 311987 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 327580 311987 1835 992 0 319438 0
Current children cumulated CPU time: 3154.19 s
Current children cumulated vsize: 1310320 KiB
Current children cumulated memory: 1247948 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.16 4.12 5/262 11240
/proc/meminfo: memFree=120305992/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=1310320 memory=1248120 CPUtime=3214.04 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 104826 0 0 0 317678 3726 0 0 20 0 1 0 1096045 1341767680 312030 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 327580 312030 1835 992 0 319438 0
Current children cumulated CPU time: 3214.04 s
Current children cumulated vsize: 1310320 KiB
Current children cumulated memory: 1248120 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/261 11250
/proc/meminfo: memFree=119595700/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=1310320 memory=1249040 CPUtime=3273.88 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 105123 0 0 0 323619 3769 0 0 20 0 1 0 1096045 1341767680 312260 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 327580 312260 1835 992 0 319438 0
Current children cumulated CPU time: 3273.88 s
Current children cumulated vsize: 1310320 KiB
Current children cumulated memory: 1249040 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/261 11261
/proc/meminfo: memFree=118548644/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=1329796 memory=1265384 CPUtime=3333.73 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 107571 0 0 0 329540 3833 0 0 20 0 1 0 1096045 1361711104 316346 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 332449 316346 1835 992 0 324307 0
Current children cumulated CPU time: 3333.73 s
Current children cumulated vsize: 1329796 KiB
Current children cumulated memory: 1265384 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/259 11272
/proc/meminfo: memFree=118165200/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=1332276 memory=1269880 CPUtime=3393.58 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 108313 0 0 0 335510 3848 0 0 20 0 1 0 1096045 1364250624 317470 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 333069 317470 1835 992 0 324927 0
Current children cumulated CPU time: 3393.58 s
Current children cumulated vsize: 1332276 KiB
Current children cumulated memory: 1269880 KiB
[startup+3462.3 s]
/proc/loadavg: 4.25 4.17 4.12 5/259 11283
/proc/meminfo: memFree=117776148/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=1332276 memory=1270128 CPUtime=3453.43 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 108452 0 0 0 341478 3865 0 0 20 0 1 0 1096045 1364250624 317532 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 333069 317532 1835 992 0 324927 0
Current children cumulated CPU time: 3453.43 s
Current children cumulated vsize: 1332276 KiB
Current children cumulated memory: 1270128 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/259 11296
/proc/meminfo: memFree=117317528/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=1332408 memory=1270328 CPUtime=3513.27 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 108579 0 0 0 347445 3882 0 0 20 0 1 0 1096045 1364385792 317582 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 333102 317582 1835 992 0 324960 0
Current children cumulated CPU time: 3513.27 s
Current children cumulated vsize: 1332408 KiB
Current children cumulated memory: 1270328 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/259 11306
/proc/meminfo: memFree=117127184/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=1332540 memory=1270512 CPUtime=3573.12 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 108705 0 0 0 353415 3897 0 0 20 0 1 0 1096045 1364520960 317628 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 333135 317628 1835 992 0 324993 0
Current children cumulated CPU time: 3573.12 s
Current children cumulated vsize: 1332540 KiB
Current children cumulated memory: 1270512 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/259 11311
/proc/meminfo: memFree=117057080/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=1332540 memory=1270512 CPUtime=3600.05 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 108727 0 0 0 356101 3904 0 0 20 0 1 0 1096045 1364520960 317628 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 333135 317628 1835 992 0 324993 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1332540 KiB
Current children cumulated memory: 1270512 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.3 s]
# the end of solver process 9308 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3563.01 s, system=39.0487 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.10 4.15 4.11 5/259 11311
/proc/meminfo: memFree=117057080/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=1332540 memory=1270512 CPUtime=3600.35 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 108727 0 0 0 356131 3904 0 0 20 0 1 0 1096045 1364520960 317628 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 333135 317628 1835 992 0 324993 0
Current children cumulated CPU time: 3600.35 s
Current children cumulated vsize: 1332540 KiB
Current children cumulated memory: 1270512 KiB
[startup+3610.4 s]
/proc/loadavg: 4.10 4.15 4.11 5/259 11311
/proc/meminfo: memFree=117056268/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=1332540 memory=1270512 CPUtime=3601.15 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 108727 0 0 0 356211 3904 0 0 20 0 1 0 1096045 1364520960 317628 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 333135 317628 1835 992 0 324993 0
Current children cumulated CPU time: 3601.15 s
Current children cumulated vsize: 1332540 KiB
Current children cumulated memory: 1270512 KiB
[startup+3610.8 s]
/proc/loadavg: 4.10 4.15 4.11 5/259 11311
/proc/meminfo: memFree=117056268/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=1332540 memory=1270512 CPUtime=3601.55 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 108729 0 0 0 356251 3904 0 0 20 0 1 0 1096045 1364520960 317628 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 333135 317628 1835 992 0 324993 0
Current children cumulated CPU time: 3601.55 s
Current children cumulated vsize: 1332540 KiB
Current children cumulated memory: 1270512 KiB
[startup+3611.2 s]
/proc/loadavg: 4.10 4.15 4.11 5/259 11311
/proc/meminfo: memFree=117053608/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=1332540 memory=1270512 CPUtime=3601.95 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 108729 0 0 0 356291 3904 0 0 20 0 1 0 1096045 1364520960 317628 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 333135 317628 1835 992 0 324993 0
Current children cumulated CPU time: 3601.95 s
Current children cumulated vsize: 1332540 KiB
Current children cumulated memory: 1270512 KiB
[startup+3611.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/259 11311
/proc/meminfo: memFree=117053608/131524600 swapFree=131071996/131071996
[pid=9308] ppid=9305 vsize=1332540 memory=1270512 CPUtime=3602.05 cores=1,3
/proc/9308/stat : 9308 (roundingsat) R 9305 9308 6778 0 -1 4194304 108729 0 0 0 356301 3904 0 0 20 0 1 0 1096045 1364520960 317628 134679101440 4194304 8255733 140737337350192 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23928832 140737337357150 140737337357412 140737337357412 140737337364425 0
/proc/9308/statm: 333135 317628 1835 992 0 324993 0
Current children cumulated CPU time: 3602.05 s
Current children cumulated vsize: 1332540 KiB
Current children cumulated memory: 1270512 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.3
CPU time (s): 3602.06
CPU user time (s): 3563.01
CPU system time (s): 39.0487
CPU usage (%): 99.744
Max. virtual memory (cumulated for all children) (KiB): 1332540
Max. memory (cumulated for all children) (KiB): 1270512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.01
system time used= 39.0487
maximum resident set size= 1270576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108729
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9757264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40
involuntary context switches= 3993
# summary of solver processes directly reported to runsolver:
# pid: 9308
# total CPU time (s): 3602.06
# total CPU user time (s): 3563.01
# total CPU system time (s): 39.0487
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.69425 second user time and 17.8998 second system time
The end
Begin job on nodeC032 at 2024-07-30 15:09:00 IDJOB=4463072 IDBENCH=158267 IDSOLVER=3089 FILE ID=nodeC032/4463072-1722344940 RUNJOBID= nodeC032-1722340763-6792 SLURM_JOB_ID= 8249005 Free space on /tmp= 889752 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K185.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-4463072-1722344940/watcher-4463072-1722344940 -o /tmp/evaluation-result-4463072-1722344940/solver-4463072-1722344940 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722340763-6792 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463072-1722344940 --lp-cut-gomory=0 HOME/instance-4463072-1722344940.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8e923d8a993edfc65d984f909d6bfa9e RANDOM SEED=1131521960 nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3669.620 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.77 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3661.901 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.64 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.117 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.77 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3654.916 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.64 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3669.650 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.77 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3675.118 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.64 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.100 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.77 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3614.236 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.64 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 118945516 kB MemAvailable: 123930800 kB Buffers: 47084 kB Cached: 5768000 kB SwapCached: 0 kB Active: 481244 kB Inactive: 11601608 kB Active(anon): 1540 kB Inactive(anon): 6287640 kB Active(file): 479704 kB Inactive(file): 5313968 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 42896 kB Writeback: 0 kB AnonPages: 6265904 kB Mapped: 98016 kB Shmem: 21332 kB KReclaimable: 62872 kB Slab: 144208 kB SReclaimable: 62872 kB SUnreclaim: 81336 kB KernelStack: 4076 kB PageTables: 21676 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 6943780 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8928 kB HardwareCorrupted: 0 kB AnonHugePages: 3155968 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: 182996 kB DirectMap2M: 7979008 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 889924 MiB End job on nodeC032 at 2024-07-30 16:09:12