| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.07 | 3609.35 |
| 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.09/0.11 c #variables 22015 #constraints 22387 44.89/45.05 c #Conflicts: 1000 | #Constraints: 23386 44.89/45.05 c #Conflicts: 2000 | #Constraints: 24386 44.89/45.05 c INPROCESSING 44.89/45.05 c GARBAGE COLLECT 44.89/45.05 c #Conflicts: 3000 | #Constraints: 23732 44.89/45.05 c #Conflicts: 4000 | #Constraints: 24732 44.89/45.05 c INPROCESSING 44.89/45.05 c GARBAGE COLLECT 44.89/45.05 c #Conflicts: 5000 | #Constraints: 24235 44.89/45.05 c #Conflicts: 6000 | #Constraints: 25235 44.89/45.05 c #Conflicts: 7000 | #Constraints: 26235 44.89/45.05 c #Conflicts: 8000 | #Constraints: 27235 44.89/45.05 c #Conflicts: 9000 | #Constraints: 28235 44.89/45.05 c INPROCESSING 44.89/45.05 c GARBAGE COLLECT 44.89/45.05 c rational objective 185 67.24/67.46 c #Conflicts: 10000 | #Constraints: 26048 67.24/67.46 c #Conflicts: 11000 | #Constraints: 27048 67.24/67.46 c #Conflicts: 12000 | #Constraints: 28048 67.24/67.46 c INPROCESSING 67.24/67.46 c GARBAGE COLLECT 67.24/67.46 c rational objective 185 91.89/92.15 c #Conflicts: 13000 | #Constraints: 25915 91.89/92.15 c #Conflicts: 14000 | #Constraints: 26915 91.89/92.15 c #Conflicts: 15000 | #Constraints: 27915 91.89/92.15 c #Conflicts: 16000 | #Constraints: 28915 91.89/92.15 c #Conflicts: 17000 | #Constraints: 29915 91.89/92.15 c #Conflicts: 18000 | #Constraints: 30915 91.89/92.15 c #Conflicts: 19000 | #Constraints: 31915 91.89/92.15 c #Conflicts: 20000 | #Constraints: 32915 91.89/92.15 c #Conflicts: 21000 | #Constraints: 33915 91.89/92.15 c INPROCESSING 91.89/92.15 c GARBAGE COLLECT 91.89/92.15 c rational objective 185 120.73/121.07 c #Conflicts: 22000 | #Constraints: 29183 120.73/121.07 c #Conflicts: 23000 | #Constraints: 30183 120.73/121.07 c #Conflicts: 24000 | #Constraints: 31183 120.73/121.07 c #Conflicts: 25000 | #Constraints: 32183 120.73/121.07 c INPROCESSING 120.73/121.07 c GARBAGE COLLECT 120.73/121.07 c #Conflicts: 26000 | #Constraints: 28334 120.73/121.07 c #Conflicts: 27000 | #Constraints: 29334 120.73/121.07 c #Conflicts: 28000 | #Constraints: 30334 120.73/121.07 c #Conflicts: 29000 | #Constraints: 31334 120.73/121.07 c #Conflicts: 30000 | #Constraints: 32334 120.73/121.07 c #Conflicts: 31000 | #Constraints: 33334 120.73/121.07 c #Conflicts: 32000 | #Constraints: 34334 120.73/121.07 c #Conflicts: 33000 | #Constraints: 35334 120.73/121.07 c #Conflicts: 34000 | #Constraints: 36334 120.73/121.07 c #Conflicts: 35000 | #Constraints: 37334 120.73/121.07 c #Conflicts: 36000 | #Constraints: 38334 120.73/121.07 c #Conflicts: 37000 | #Constraints: 39334 120.73/121.07 c INPROCESSING 120.73/121.07 c GARBAGE COLLECT 120.73/121.07 c rational objective 185 258.39/259.07 c #Conflicts: 38000 | #Constraints: 31950 258.39/259.07 c #Conflicts: 39000 | #Constraints: 32950 258.39/259.07 c #Conflicts: 40000 | #Constraints: 33950 258.39/259.07 c #Conflicts: 41000 | #Constraints: 34950 258.39/259.07 c #Conflicts: 42000 | #Constraints: 35951 258.39/259.07 c #Conflicts: 43000 | #Constraints: 36951 258.39/259.07 c INPROCESSING 258.39/259.07 c GARBAGE COLLECT 258.39/259.07 c #Conflicts: 44000 | #Constraints: 31712 258.39/259.07 c #Conflicts: 45000 | #Constraints: 32712 258.39/259.07 c #Conflicts: 46000 | #Constraints: 33713 258.39/259.07 c #Conflicts: 47000 | #Constraints: 34713 258.39/259.07 c #Conflicts: 48000 | #Constraints: 35713 258.39/259.07 c #Conflicts: 49000 | #Constraints: 36713 258.39/259.07 c #Conflicts: 50000 | #Constraints: 37713 258.39/259.07 c #Conflicts: 51000 | #Constraints: 38713 258.39/259.07 c #Conflicts: 52000 | #Constraints: 39713 258.39/259.07 c #Conflicts: 53000 | #Constraints: 40713 258.39/259.07 c #Conflicts: 54000 | #Constraints: 41713 258.39/259.07 c #Conflicts: 55000 | #Constraints: 42713 258.39/259.07 c #Conflicts: 56000 | #Constraints: 43713 258.39/259.07 c #Conflicts: 57000 | #Constraints: 44713 258.39/259.07 c INPROCESSING 258.39/259.07 c GARBAGE COLLECT 258.39/259.07 c #Conflicts: 58000 | #Constraints: 34552 258.39/259.07 c #Conflicts: 59000 | #Constraints: 35552 258.39/259.07 c #Conflicts: 60000 | #Constraints: 36552 258.39/259.07 c #Conflicts: 61000 | #Constraints: 37552 258.39/259.07 c #Conflicts: 62000 | #Constraints: 38552 258.39/259.07 c #Conflicts: 63000 | #Constraints: 39552 258.39/259.07 c #Conflicts: 64000 | #Constraints: 40552 258.39/259.07 c #Conflicts: 65000 | #Constraints: 41552 258.39/259.07 c INPROCESSING 258.39/259.07 c GARBAGE COLLECT 258.39/259.07 c rational objective 185 326.80/327.60 c #Conflicts: 66000 | #Constraints: 35071 326.80/327.60 c #Conflicts: 67000 | #Constraints: 36071 326.80/327.60 c #Conflicts: 68000 | #Constraints: 37071 326.80/327.60 c #Conflicts: 69000 | #Constraints: 38071 326.80/327.60 c #Conflicts: 70000 | #Constraints: 39071 326.80/327.60 c #Conflicts: 71000 | #Constraints: 40071 326.80/327.60 c #Conflicts: 72000 | #Constraints: 41071 326.80/327.60 c #Conflicts: 73000 | #Constraints: 42071 326.80/327.60 c #Conflicts: 74000 | #Constraints: 43071 326.80/327.60 c #Conflicts: 75000 | #Constraints: 44071 326.80/327.60 c #Conflicts: 76000 | #Constraints: 45071 326.80/327.60 c #Conflicts: 77000 | #Constraints: 46071 326.80/327.60 c #Conflicts: 78000 | #Constraints: 47072 326.80/327.60 c #Conflicts: 79000 | #Constraints: 48072 326.80/327.60 c #Conflicts: 80000 | #Constraints: 49072 326.80/327.60 c #Conflicts: 81000 | #Constraints: 50072 326.80/327.60 c #Conflicts: 82000 | #Constraints: 51072 326.80/327.60 c INPROCESSING 326.80/327.60 c GARBAGE COLLECT 326.80/327.60 c rational objective 185 507.01/508.30 c #Conflicts: 83000 | #Constraints: 37924 507.01/508.30 c #Conflicts: 84000 | #Constraints: 38924 507.01/508.30 c #Conflicts: 85000 | #Constraints: 39925 507.01/508.30 c #Conflicts: 86000 | #Constraints: 40925 507.01/508.30 c #Conflicts: 87000 | #Constraints: 41925 507.01/508.30 c #Conflicts: 88000 | #Constraints: 42925 507.01/508.30 c #Conflicts: 89000 | #Constraints: 43925 507.01/508.30 c #Conflicts: 90000 | #Constraints: 44925 507.01/508.30 c #Conflicts: 91000 | #Constraints: 45925 507.01/508.30 c INPROCESSING 507.01/508.30 c GARBAGE COLLECT 507.01/508.30 c #Conflicts: 92000 | #Constraints: 37329 507.01/508.30 c #Conflicts: 93000 | #Constraints: 38329 507.01/508.30 c #Conflicts: 94000 | #Constraints: 39329 507.01/508.30 c #Conflicts: 95000 | #Constraints: 40329 507.01/508.30 c #Conflicts: 96000 | #Constraints: 41329 507.01/508.30 c #Conflicts: 97000 | #Constraints: 42329 507.01/508.30 c #Conflicts: 98000 | #Constraints: 43329 507.01/508.30 c #Conflicts: 99000 | #Constraints: 44330 507.01/508.30 c #Conflicts: 100000 | #Constraints: 45330 507.01/508.30 c #Conflicts: 101000 | #Constraints: 46330 507.01/508.30 c #Conflicts: 102000 | #Constraints: 47330 507.01/508.30 c #Conflicts: 103000 | #Constraints: 48330 507.01/508.30 c #Conflicts: 104000 | #Constraints: 49330 507.01/508.30 c #Conflicts: 105000 | #Constraints: 50330 507.01/508.30 c #Conflicts: 106000 | #Constraints: 51330 507.01/508.30 c #Conflicts: 107000 | #Constraints: 52330 507.01/508.30 c #Conflicts: 108000 | #Constraints: 53330 507.01/508.30 c #Conflicts: 109000 | #Constraints: 54330 507.01/508.30 c #Conflicts: 110000 | #Constraints: 55330 507.01/508.30 c #Conflicts: 111000 | #Constraints: 56330 507.01/508.30 c INPROCESSING 507.01/508.30 c GARBAGE COLLECT 507.01/508.30 c rational objective 185 637.47/639.13 c #Conflicts: 112000 | #Constraints: 40340 637.47/639.13 c #Conflicts: 113000 | #Constraints: 41340 637.47/639.13 c #Conflicts: 114000 | #Constraints: 42340 637.47/639.13 c #Conflicts: 115000 | #Constraints: 43340 637.47/639.13 c #Conflicts: 116000 | #Constraints: 44340 637.47/639.13 c #Conflicts: 117000 | #Constraints: 45340 637.47/639.13 c #Conflicts: 118000 | #Constraints: 46340 637.47/639.13 c #Conflicts: 119000 | #Constraints: 47340 637.47/639.13 c #Conflicts: 120000 | #Constraints: 48340 637.47/639.13 c #Conflicts: 121000 | #Constraints: 49340 637.47/639.13 c INPROCESSING 637.47/639.13 c GARBAGE COLLECT 637.47/639.13 c #Conflicts: 122000 | #Constraints: 39613 637.47/639.13 c #Conflicts: 123000 | #Constraints: 40613 637.47/639.13 c #Conflicts: 124000 | #Constraints: 41613 637.47/639.13 c #Conflicts: 125000 | #Constraints: 42614 637.47/639.13 c #Conflicts: 126000 | #Constraints: 43614 637.47/639.13 c #Conflicts: 127000 | #Constraints: 44614 637.47/639.13 c #Conflicts: 128000 | #Constraints: 45614 637.47/639.13 c #Conflicts: 129000 | #Constraints: 46614 637.47/639.13 c #Conflicts: 130000 | #Constraints: 47614 637.47/639.13 c #Conflicts: 131000 | #Constraints: 48614 637.47/639.13 c #Conflicts: 132000 | #Constraints: 49614 637.47/639.13 c #Conflicts: 133000 | #Constraints: 50614 637.47/639.13 c #Conflicts: 134000 | #Constraints: 51614 637.47/639.13 c #Conflicts: 135000 | #Constraints: 52614 637.47/639.13 c #Conflicts: 136000 | #Constraints: 53614 637.47/639.13 c #Conflicts: 137000 | #Constraints: 54614 637.47/639.13 c #Conflicts: 138000 | #Constraints: 55614 637.47/639.13 c #Conflicts: 139000 | #Constraints: 56614 637.47/639.13 c #Conflicts: 140000 | #Constraints: 57615 637.47/639.13 c #Conflicts: 141000 | #Constraints: 58615 637.47/639.13 c #Conflicts: 142000 | #Constraints: 59615 637.47/639.13 c #Conflicts: 143000 | #Constraints: 60615 637.47/639.13 c #Conflicts: 144000 | #Constraints: 61615 637.47/639.13 c #Conflicts: 145000 | #Constraints: 62615 637.47/639.13 c INPROCESSING 637.47/639.13 c GARBAGE COLLECT 637.47/639.13 c #Conflicts: 146000 | #Constraints: 43816 637.47/639.13 c #Conflicts: 147000 | #Constraints: 44816 637.47/639.13 c #Conflicts: 148000 | #Constraints: 45816 637.47/639.13 c #Conflicts: 149000 | #Constraints: 46816 637.47/639.13 c #Conflicts: 150000 | #Constraints: 47816 637.47/639.13 c #Conflicts: 151000 | #Constraints: 48816 637.47/639.13 c #Conflicts: 152000 | #Constraints: 49816 637.47/639.13 c #Conflicts: 153000 | #Constraints: 50816 637.47/639.13 c #Conflicts: 154000 | #Constraints: 51816 637.47/639.13 c #Conflicts: 155000 | #Constraints: 52816 637.47/639.13 c #Conflicts: 156000 | #Constraints: 53816 637.47/639.13 c INPROCESSING 637.47/639.13 c GARBAGE COLLECT 637.47/639.13 c rational objective 185 721.95/723.86 c #Conflicts: 157000 | #Constraints: 42339 721.95/723.86 c #Conflicts: 158000 | #Constraints: 43339 721.95/723.86 c #Conflicts: 159000 | #Constraints: 44339 721.95/723.86 c #Conflicts: 160000 | #Constraints: 45339 721.95/723.86 c #Conflicts: 161000 | #Constraints: 46339 721.95/723.86 c #Conflicts: 162000 | #Constraints: 47339 721.95/723.86 c #Conflicts: 163000 | #Constraints: 48339 721.95/723.86 c #Conflicts: 164000 | #Constraints: 49339 721.95/723.86 c #Conflicts: 165000 | #Constraints: 50339 721.95/723.86 c #Conflicts: 166000 | #Constraints: 51339 721.95/723.86 c #Conflicts: 167000 | #Constraints: 52339 721.95/723.86 c #Conflicts: 168000 | #Constraints: 53339 721.95/723.86 c #Conflicts: 169000 | #Constraints: 54339 721.95/723.86 c #Conflicts: 170000 | #Constraints: 55339 721.95/723.86 c #Conflicts: 171000 | #Constraints: 56339 721.95/723.86 c #Conflicts: 172000 | #Constraints: 57340 721.95/723.86 c #Conflicts: 173000 | #Constraints: 58340 721.95/723.86 c #Conflicts: 174000 | #Constraints: 59340 721.95/723.86 c #Conflicts: 175000 | #Constraints: 60340 721.95/723.86 c #Conflicts: 176000 | #Constraints: 61340 721.95/723.86 c #Conflicts: 177000 | #Constraints: 62340 721.95/723.86 c #Conflicts: 178000 | #Constraints: 63340 721.95/723.86 c #Conflicts: 179000 | #Constraints: 64340 721.95/723.86 c #Conflicts: 180000 | #Constraints: 65340 721.95/723.86 c #Conflicts: 181000 | #Constraints: 66340 721.95/723.86 c #Conflicts: 182000 | #Constraints: 67340 721.95/723.86 c #Conflicts: 183000 | #Constraints: 68340 721.95/723.86 c INPROCESSING 721.95/723.86 c GARBAGE COLLECT 721.95/723.86 c rational objective 185 1021.65/1024.33 c #Conflicts: 184000 | #Constraints: 46740 1021.65/1024.33 c #Conflicts: 185000 | #Constraints: 47741 1021.65/1024.33 c #Conflicts: 186000 | #Constraints: 48741 1021.65/1024.33 c #Conflicts: 187000 | #Constraints: 49741 1021.65/1024.33 c #Conflicts: 188000 | #Constraints: 50742 1021.65/1024.33 c #Conflicts: 189000 | #Constraints: 51742 1021.65/1024.33 c #Conflicts: 190000 | #Constraints: 52742 1021.65/1024.33 c #Conflicts: 191000 | #Constraints: 53743 1021.65/1024.33 c #Conflicts: 192000 | #Constraints: 54743 1021.65/1024.33 c #Conflicts: 193000 | #Constraints: 55743 1021.65/1024.33 c #Conflicts: 194000 | #Constraints: 56743 1021.65/1024.33 c #Conflicts: 195000 | #Constraints: 57743 1021.65/1024.33 c #Conflicts: 196000 | #Constraints: 58743 1021.65/1024.33 c INPROCESSING 1021.65/1024.33 c GARBAGE COLLECT 1021.65/1024.33 c #Conflicts: 197000 | #Constraints: 46055 1021.65/1024.33 c #Conflicts: 198000 | #Constraints: 47055 1021.65/1024.33 c #Conflicts: 199000 | #Constraints: 48055 1021.65/1024.33 c #Conflicts: 200000 | #Constraints: 49055 1021.65/1024.33 c #Conflicts: 201000 | #Constraints: 50055 1021.65/1024.33 c #Conflicts: 202000 | #Constraints: 51055 1021.65/1024.33 c #Conflicts: 203000 | #Constraints: 52055 1021.65/1024.33 c #Conflicts: 204000 | #Constraints: 53055 1021.65/1024.33 c #Conflicts: 205000 | #Constraints: 54055 1021.65/1024.33 c #Conflicts: 206000 | #Constraints: 55055 1021.65/1024.33 c #Conflicts: 207000 | #Constraints: 56055 1021.65/1024.33 c #Conflicts: 208000 | #Constraints: 57055 1021.65/1024.33 c #Conflicts: 209000 | #Constraints: 58055 1021.65/1024.33 c #Conflicts: 210000 | #Constraints: 59055 1021.65/1024.33 c #Conflicts: 211000 | #Constraints: 60055 1021.65/1024.33 c #Conflicts: 212000 | #Constraints: 61055 1021.65/1024.33 c #Conflicts: 213000 | #Constraints: 62055 1021.65/1024.33 c #Conflicts: 214000 | #Constraints: 63055 1021.65/1024.33 c #Conflicts: 215000 | #Constraints: 64055 1021.65/1024.33 c #Conflicts: 216000 | #Constraints: 65055 1021.65/1024.33 c #Conflicts: 217000 | #Constraints: 66055 1021.65/1024.33 c #Conflicts: 218000 | #Constraints: 67055 1021.65/1024.33 c #Conflicts: 219000 | #Constraints: 68055 1021.65/1024.33 c #Conflicts: 220000 | #Constraints: 69055 1021.65/1024.33 c #Conflicts: 221000 | #Constraints: 70055 1021.65/1024.33 c #Conflicts: 222000 | #Constraints: 71056 1021.65/1024.33 c #Conflicts: 223000 | #Constraints: 72056 1021.65/1024.33 c #Conflicts: 224000 | #Constraints: 73056 1021.65/1024.33 c #Conflicts: 225000 | #Constraints: 74056 1021.65/1024.33 c #Conflicts: 226000 | #Constraints: 75056 1021.65/1024.33 c INPROCESSING 1021.65/1024.33 c GARBAGE COLLECT 1021.65/1024.33 c #Conflicts: 227000 | #Constraints: 50410 1021.65/1024.33 c #Conflicts: 228000 | #Constraints: 51410 1021.65/1024.33 c #Conflicts: 229000 | #Constraints: 52410 1021.65/1024.33 c #Conflicts: 230000 | #Constraints: 53410 1021.65/1024.33 c #Conflicts: 231000 | #Constraints: 54410 1021.65/1024.33 c #Conflicts: 232000 | #Constraints: 55410 1021.65/1024.33 c #Conflicts: 233000 | #Constraints: 56410 1021.65/1024.33 c #Conflicts: 234000 | #Constraints: 57410 1021.65/1024.33 c #Conflicts: 235000 | #Constraints: 58410 1021.65/1024.33 c #Conflicts: 236000 | #Constraints: 59410 1021.65/1024.33 c #Conflicts: 237000 | #Constraints: 60411 1021.65/1024.33 c #Conflicts: 238000 | #Constraints: 61412 1021.65/1024.33 c #Conflicts: 239000 | #Constraints: 62412 1021.65/1024.33 c #Conflicts: 240000 | #Constraints: 63412 1021.65/1024.33 c INPROCESSING 1021.65/1024.33 c GARBAGE COLLECT 1021.65/1024.33 c #Conflicts: 241000 | #Constraints: 48344 1021.65/1024.33 c #Conflicts: 242000 | #Constraints: 49344 1021.65/1024.33 c #Conflicts: 243000 | #Constraints: 50344 1021.65/1024.33 c #Conflicts: 244000 | #Constraints: 51344 1021.65/1024.33 c #Conflicts: 245000 | #Constraints: 52344 1021.65/1024.33 c #Conflicts: 246000 | #Constraints: 53344 1021.65/1024.33 c #Conflicts: 247000 | #Constraints: 54345 1021.65/1024.33 c #Conflicts: 248000 | #Constraints: 55345 1021.65/1024.33 c #Conflicts: 249000 | #Constraints: 56345 1021.65/1024.33 c #Conflicts: 250000 | #Constraints: 57345 1021.65/1024.33 c #Conflicts: 251000 | #Constraints: 58345 1021.65/1024.33 c #Conflicts: 252000 | #Constraints: 59345 1021.65/1024.33 c #Conflicts: 253000 | #Constraints: 60345 1021.65/1024.33 c #Conflicts: 254000 | #Constraints: 61345 1021.65/1024.33 c #Conflicts: 255000 | #Constraints: 62345 1021.65/1024.33 c #Conflicts: 256000 | #Constraints: 63345 1021.65/1024.33 c #Conflicts: 257000 | #Constraints: 64345 1021.65/1024.33 c #Conflicts: 258000 | #Constraints: 65345 1021.65/1024.33 c #Conflicts: 259000 | #Constraints: 66345 1021.65/1024.33 c #Conflicts: 260000 | #Constraints: 67346 1066.24/1069.10 c #Conflicts: 261000 | #Constraints: 68346 1066.24/1069.10 c #Conflicts: 262000 | #Constraints: 69346 1066.24/1069.10 c #Conflicts: 263000 | #Constraints: 70346 1066.24/1069.10 c #Conflicts: 264000 | #Constraints: 71346 1066.24/1069.10 c #Conflicts: 265000 | #Constraints: 72346 1066.24/1069.10 c #Conflicts: 266000 | #Constraints: 73346 1066.24/1069.10 c #Conflicts: 267000 | #Constraints: 74346 1066.24/1069.10 c #Conflicts: 268000 | #Constraints: 75346 1066.24/1069.10 c #Conflicts: 269000 | #Constraints: 76346 1066.24/1069.10 c #Conflicts: 270000 | #Constraints: 77346 1066.24/1069.10 c #Conflicts: 271000 | #Constraints: 78346 1066.24/1069.10 c #Conflicts: 272000 | #Constraints: 79346 1066.24/1069.10 c #Conflicts: 273000 | #Constraints: 80347 1066.24/1069.10 c INPROCESSING 1066.24/1069.10 c GARBAGE COLLECT 1066.24/1069.10 c rational objective 185 1146.82/1149.83 c #Conflicts: 274000 | #Constraints: 53047 1146.82/1149.83 c #Conflicts: 275000 | #Constraints: 54047 1146.82/1149.83 c #Conflicts: 276000 | #Constraints: 55047 1146.82/1149.83 c #Conflicts: 277000 | #Constraints: 56047 1146.82/1149.83 c #Conflicts: 278000 | #Constraints: 57047 1146.82/1149.83 c #Conflicts: 279000 | #Constraints: 58047 1146.82/1149.83 c #Conflicts: 280000 | #Constraints: 59047 1146.82/1149.83 c #Conflicts: 281000 | #Constraints: 60047 1146.82/1149.83 c #Conflicts: 282000 | #Constraints: 61047 1146.82/1149.83 c #Conflicts: 283000 | #Constraints: 62047 1146.82/1149.83 c #Conflicts: 284000 | #Constraints: 63047 1146.82/1149.83 c #Conflicts: 285000 | #Constraints: 64047 1146.82/1149.83 c #Conflicts: 286000 | #Constraints: 65047 1146.82/1149.83 c #Conflicts: 287000 | #Constraints: 66047 1146.82/1149.83 c #Conflicts: 288000 | #Constraints: 67048 1146.82/1149.83 c INPROCESSING 1146.82/1149.83 c GARBAGE COLLECT 1146.82/1149.83 c rational objective 185 1386.67/1390.36 c #Conflicts: 289000 | #Constraints: 51164 1386.67/1390.36 c #Conflicts: 290000 | #Constraints: 52164 1386.67/1390.36 c #Conflicts: 291000 | #Constraints: 53164 1386.67/1390.36 c #Conflicts: 292000 | #Constraints: 54165 1386.67/1390.36 c #Conflicts: 293000 | #Constraints: 55165 1386.67/1390.36 c #Conflicts: 294000 | #Constraints: 56166 1386.67/1390.36 c #Conflicts: 295000 | #Constraints: 57166 1386.67/1390.36 c #Conflicts: 296000 | #Constraints: 58166 1386.67/1390.36 c #Conflicts: 297000 | #Constraints: 59166 1386.67/1390.36 c #Conflicts: 298000 | #Constraints: 60168 1386.67/1390.36 c #Conflicts: 299000 | #Constraints: 61168 1386.67/1390.36 c #Conflicts: 300000 | #Constraints: 62168 1386.67/1390.36 c #Conflicts: 301000 | #Constraints: 63168 1386.67/1390.36 c #Conflicts: 302000 | #Constraints: 64168 1386.67/1390.36 c #Conflicts: 303000 | #Constraints: 65168 1386.67/1390.36 c #Conflicts: 304000 | #Constraints: 66168 1386.67/1390.36 c #Conflicts: 305000 | #Constraints: 67168 1386.67/1390.36 c #Conflicts: 306000 | #Constraints: 68168 1386.67/1390.36 c #Conflicts: 307000 | #Constraints: 69168 1386.67/1390.36 c #Conflicts: 308000 | #Constraints: 70168 1386.67/1390.36 c #Conflicts: 309000 | #Constraints: 71168 1386.67/1390.36 c #Conflicts: 310000 | #Constraints: 72168 1386.67/1390.36 c #Conflicts: 311000 | #Constraints: 73169 1386.67/1390.36 c #Conflicts: 312000 | #Constraints: 74170 1386.67/1390.36 c #Conflicts: 313000 | #Constraints: 75170 1386.67/1390.36 c #Conflicts: 314000 | #Constraints: 76171 1386.67/1390.36 c #Conflicts: 315000 | #Constraints: 77171 1386.67/1390.36 c #Conflicts: 316000 | #Constraints: 78171 1386.67/1390.36 c #Conflicts: 317000 | #Constraints: 79171 1386.67/1390.36 c #Conflicts: 318000 | #Constraints: 80171 1386.67/1390.36 c #Conflicts: 319000 | #Constraints: 81171 1386.67/1390.36 c #Conflicts: 320000 | #Constraints: 82171 1386.67/1390.36 c #Conflicts: 321000 | #Constraints: 83171 1386.67/1390.36 c #Conflicts: 322000 | #Constraints: 84171 1386.67/1390.36 c #Conflicts: 323000 | #Constraints: 85171 1386.67/1390.36 c #Conflicts: 324000 | #Constraints: 86171 1386.67/1390.36 c INPROCESSING 1386.67/1390.36 c GARBAGE COLLECT 1386.67/1390.36 c rational objective 185 1677.90/1682.39 c #Conflicts: 325000 | #Constraints: 56019 1677.90/1682.39 c #Conflicts: 326000 | #Constraints: 57019 1677.90/1682.39 c #Conflicts: 327000 | #Constraints: 58019 1677.90/1682.39 c #Conflicts: 328000 | #Constraints: 59019 1677.90/1682.39 c #Conflicts: 329000 | #Constraints: 60019 1677.90/1682.39 c #Conflicts: 330000 | #Constraints: 61019 1677.90/1682.39 c #Conflicts: 331000 | #Constraints: 62019 1677.90/1682.39 c #Conflicts: 332000 | #Constraints: 63019 1677.90/1682.39 c #Conflicts: 333000 | #Constraints: 64019 1677.90/1682.39 c #Conflicts: 334000 | #Constraints: 65019 1677.90/1682.39 c #Conflicts: 335000 | #Constraints: 66019 1677.90/1682.39 c #Conflicts: 336000 | #Constraints: 67019 1677.90/1682.39 c #Conflicts: 337000 | #Constraints: 68019 1677.90/1682.39 c #Conflicts: 338000 | #Constraints: 69019 1677.90/1682.39 c #Conflicts: 339000 | #Constraints: 70019 1677.90/1682.39 c #Conflicts: 340000 | #Constraints: 71019 1677.90/1682.39 c INPROCESSING 1677.90/1682.39 c GARBAGE COLLECT 1677.90/1682.39 c #Conflicts: 341000 | #Constraints: 53628 1677.90/1682.39 c #Conflicts: 342000 | #Constraints: 54628 1677.90/1682.39 c #Conflicts: 343000 | #Constraints: 55628 1677.90/1682.39 c #Conflicts: 344000 | #Constraints: 56628 1677.90/1682.39 c #Conflicts: 345000 | #Constraints: 57628 1677.90/1682.39 c #Conflicts: 346000 | #Constraints: 58628 1677.90/1682.39 c #Conflicts: 347000 | #Constraints: 59628 1677.90/1682.39 c #Conflicts: 348000 | #Constraints: 60628 1677.90/1682.39 c #Conflicts: 349000 | #Constraints: 61628 1677.90/1682.39 c #Conflicts: 350000 | #Constraints: 62628 1677.90/1682.39 c #Conflicts: 351000 | #Constraints: 63628 1677.90/1682.39 c #Conflicts: 352000 | #Constraints: 64628 1677.90/1682.39 c #Conflicts: 353000 | #Constraints: 65628 1677.90/1682.39 c #Conflicts: 354000 | #Constraints: 66628 1677.90/1682.39 c #Conflicts: 355000 | #Constraints: 67628 1677.90/1682.39 c #Conflicts: 356000 | #Constraints: 68628 1677.90/1682.39 c #Conflicts: 357000 | #Constraints: 69629 1677.90/1682.39 c #Conflicts: 358000 | #Constraints: 70629 1677.90/1682.39 c #Conflicts: 359000 | #Constraints: 71629 1677.90/1682.39 c #Conflicts: 360000 | #Constraints: 72629 1677.90/1682.39 c #Conflicts: 361000 | #Constraints: 73629 1677.90/1682.39 c #Conflicts: 362000 | #Constraints: 74629 1677.90/1682.39 c #Conflicts: 363000 | #Constraints: 75629 1677.90/1682.39 c #Conflicts: 364000 | #Constraints: 76629 1677.90/1682.39 c #Conflicts: 365000 | #Constraints: 77629 1677.90/1682.39 c #Conflicts: 366000 | #Constraints: 78629 1677.90/1682.39 c #Conflicts: 367000 | #Constraints: 79629 1677.90/1682.39 c #Conflicts: 368000 | #Constraints: 80629 1677.90/1682.39 c #Conflicts: 369000 | #Constraints: 81629 1677.90/1682.39 c #Conflicts: 370000 | #Constraints: 82629 1677.90/1682.39 c #Conflicts: 371000 | #Constraints: 83629 1677.90/1682.39 c #Conflicts: 372000 | #Constraints: 84629 1677.90/1682.39 c #Conflicts: 373000 | #Constraints: 85629 1677.90/1682.39 c #Conflicts: 374000 | #Constraints: 86630 1677.90/1682.39 c #Conflicts: 375000 | #Constraints: 87630 1677.90/1682.39 c #Conflicts: 376000 | #Constraints: 88630 1677.90/1682.39 c #Conflicts: 377000 | #Constraints: 89630 1677.90/1682.39 c #Conflicts: 378000 | #Constraints: 90630 1677.90/1682.39 c #Conflicts: 379000 | #Constraints: 91630 1677.90/1682.39 c #Conflicts: 380000 | #Constraints: 92630 1677.90/1682.39 c INPROCESSING 1677.90/1682.39 c GARBAGE COLLECT 1677.90/1682.39 c rational objective 185 1886.45/1891.44 c #Conflicts: 381000 | #Constraints: 59728 1886.45/1891.44 c #Conflicts: 382000 | #Constraints: 60728 1886.45/1891.44 c #Conflicts: 383000 | #Constraints: 61728 1886.45/1891.44 c #Conflicts: 384000 | #Constraints: 62728 1886.45/1891.44 c #Conflicts: 385000 | #Constraints: 63728 1886.45/1891.44 c #Conflicts: 386000 | #Constraints: 64728 1886.45/1891.44 c #Conflicts: 387000 | #Constraints: 65728 1886.45/1891.44 c #Conflicts: 388000 | #Constraints: 66728 1886.45/1891.44 c #Conflicts: 389000 | #Constraints: 67729 1886.45/1891.44 c #Conflicts: 390000 | #Constraints: 68729 1886.45/1891.44 c #Conflicts: 391000 | #Constraints: 69729 1886.45/1891.44 c #Conflicts: 392000 | #Constraints: 70729 1886.45/1891.44 c #Conflicts: 393000 | #Constraints: 71729 1886.45/1891.44 c #Conflicts: 394000 | #Constraints: 72729 1886.45/1891.44 c #Conflicts: 395000 | #Constraints: 73729 1886.45/1891.44 c #Conflicts: 396000 | #Constraints: 74729 1886.45/1891.44 c #Conflicts: 397000 | #Constraints: 75729 1886.45/1891.44 c INPROCESSING 1886.45/1891.44 c GARBAGE COLLECT 1886.45/1891.44 c #Conflicts: 398000 | #Constraints: 56592 1886.45/1891.44 c #Conflicts: 399000 | #Constraints: 57592 1886.45/1891.44 c #Conflicts: 400000 | #Constraints: 58592 1886.45/1891.44 c #Conflicts: 401000 | #Constraints: 59592 1886.45/1891.44 c #Conflicts: 402000 | #Constraints: 60592 1886.45/1891.44 c #Conflicts: 403000 | #Constraints: 61592 1886.45/1891.44 c #Conflicts: 404000 | #Constraints: 62592 1886.45/1891.44 c #Conflicts: 405000 | #Constraints: 63593 1886.45/1891.44 c #Conflicts: 406000 | #Constraints: 64593 1886.45/1891.44 c #Conflicts: 407000 | #Constraints: 65593 1886.45/1891.44 c #Conflicts: 408000 | #Constraints: 66593 1886.45/1891.44 c #Conflicts: 409000 | #Constraints: 67594 1886.45/1891.44 c #Conflicts: 410000 | #Constraints: 68594 1886.45/1891.44 c #Conflicts: 411000 | #Constraints: 69594 1886.45/1891.44 c #Conflicts: 412000 | #Constraints: 70594 1886.45/1891.44 c #Conflicts: 413000 | #Constraints: 71594 1886.45/1891.44 c #Conflicts: 414000 | #Constraints: 72594 1886.45/1891.44 c #Conflicts: 415000 | #Constraints: 73594 1886.45/1891.44 c #Conflicts: 416000 | #Constraints: 74594 1886.45/1891.44 c #Conflicts: 417000 | #Constraints: 75594 1886.45/1891.44 c #Conflicts: 418000 | #Constraints: 76594 1886.45/1891.44 c #Conflicts: 419000 | #Constraints: 77594 1886.45/1891.44 c #Conflicts: 420000 | #Constraints: 78594 1886.45/1891.44 c #Conflicts: 421000 | #Constraints: 79594 1886.45/1891.44 c #Conflicts: 422000 | #Constraints: 80594 1886.45/1891.44 c #Conflicts: 423000 | #Constraints: 81595 1886.45/1891.44 c #Conflicts: 424000 | #Constraints: 82595 1886.45/1891.44 c #Conflicts: 425000 | #Constraints: 83595 1886.45/1891.44 c #Conflicts: 426000 | #Constraints: 84595 1886.45/1891.44 c #Conflicts: 427000 | #Constraints: 85595 1886.45/1891.44 c #Conflicts: 428000 | #Constraints: 86595 1886.45/1891.44 c #Conflicts: 429000 | #Constraints: 87595 1886.45/1891.44 c #Conflicts: 430000 | #Constraints: 88595 1886.45/1891.44 c #Conflicts: 431000 | #Constraints: 89595 1886.45/1891.44 c #Conflicts: 432000 | #Constraints: 90595 1886.45/1891.44 c #Conflicts: 433000 | #Constraints: 91595 1886.45/1891.44 c #Conflicts: 434000 | #Constraints: 92595 1886.45/1891.44 c #Conflicts: 435000 | #Constraints: 93595 1886.45/1891.44 c #Conflicts: 436000 | #Constraints: 94595 1886.45/1891.44 c #Conflicts: 437000 | #Constraints: 95596 1886.45/1891.44 c #Conflicts: 438000 | #Constraints: 96596 1886.45/1891.44 c #Conflicts: 439000 | #Constraints: 97596 1886.45/1891.44 c #Conflicts: 440000 | #Constraints: 98596 1886.45/1891.44 c INPROCESSING 1886.45/1891.44 c GARBAGE COLLECT 1886.45/1891.44 c rational objective 185 1949.28/1954.44 c #Conflicts: 441000 | #Constraints: 62344 1949.28/1954.44 c #Conflicts: 442000 | #Constraints: 63344 1949.28/1954.44 c #Conflicts: 443000 | #Constraints: 64344 1949.28/1954.44 c #Conflicts: 444000 | #Constraints: 65344 1949.28/1954.44 c #Conflicts: 445000 | #Constraints: 66344 1949.28/1954.44 c #Conflicts: 446000 | #Constraints: 67344 1949.28/1954.44 c #Conflicts: 447000 | #Constraints: 68344 1949.28/1954.44 c #Conflicts: 448000 | #Constraints: 69344 1949.28/1954.44 c #Conflicts: 449000 | #Constraints: 70344 1949.28/1954.44 c #Conflicts: 450000 | #Constraints: 71344 1949.28/1954.44 c #Conflicts: 451000 | #Constraints: 72344 1949.28/1954.44 c #Conflicts: 452000 | #Constraints: 73344 1949.28/1954.44 c #Conflicts: 453000 | #Constraints: 74344 1949.28/1954.44 c #Conflicts: 454000 | #Constraints: 75344 1949.28/1954.44 c #Conflicts: 455000 | #Constraints: 76344 1949.28/1954.44 c #Conflicts: 456000 | #Constraints: 77344 1949.28/1954.44 c #Conflicts: 457000 | #Constraints: 78344 1949.28/1954.44 c #Conflicts: 458000 | #Constraints: 79344 1949.28/1954.44 c #Conflicts: 459000 | #Constraints: 80344 1949.28/1954.44 c INPROCESSING 1949.28/1954.44 c GARBAGE COLLECT 1949.28/1954.44 c rational objective 185 2287.45/2293.30 c #Conflicts: 460000 | #Constraints: 59761 2287.45/2293.30 c #Conflicts: 461000 | #Constraints: 60761 2287.45/2293.30 c #Conflicts: 462000 | #Constraints: 61761 2287.45/2293.30 c #Conflicts: 463000 | #Constraints: 62761 2287.45/2293.30 c #Conflicts: 464000 | #Constraints: 63761 2287.45/2293.30 c #Conflicts: 465000 | #Constraints: 64761 2287.45/2293.30 c #Conflicts: 466000 | #Constraints: 65761 2287.45/2293.30 c #Conflicts: 467000 | #Constraints: 66761 2287.45/2293.30 c #Conflicts: 468000 | #Constraints: 67761 2287.45/2293.30 c #Conflicts: 469000 | #Constraints: 68761 2287.45/2293.30 c #Conflicts: 470000 | #Constraints: 69761 2287.45/2293.30 c #Conflicts: 471000 | #Constraints: 70761 2287.45/2293.30 c #Conflicts: 472000 | #Constraints: 71762 2287.45/2293.30 c #Conflicts: 473000 | #Constraints: 72762 2287.45/2293.30 c #Conflicts: 474000 | #Constraints: 73762 2287.45/2293.30 c #Conflicts: 475000 | #Constraints: 74762 2287.45/2293.30 c #Conflicts: 476000 | #Constraints: 75762 2287.45/2293.30 c #Conflicts: 477000 | #Constraints: 76762 2287.45/2293.30 c #Conflicts: 478000 | #Constraints: 77762 2287.45/2293.30 c #Conflicts: 479000 | #Constraints: 78762 2287.45/2293.30 c #Conflicts: 480000 | #Constraints: 79762 2287.45/2293.30 c #Conflicts: 481000 | #Constraints: 80762 2287.45/2293.30 c #Conflicts: 482000 | #Constraints: 81762 2287.45/2293.30 c #Conflicts: 483000 | #Constraints: 82762 2287.45/2293.30 c #Conflicts: 484000 | #Constraints: 83762 2287.45/2293.30 c #Conflicts: 485000 | #Constraints: 84762 2287.45/2293.30 c #Conflicts: 486000 | #Constraints: 85763 2287.45/2293.30 c #Conflicts: 487000 | #Constraints: 86763 2287.45/2293.30 c #Conflicts: 488000 | #Constraints: 87763 2287.45/2293.30 c #Conflicts: 489000 | #Constraints: 88763 2287.45/2293.30 c #Conflicts: 490000 | #Constraints: 89763 2287.45/2293.30 c #Conflicts: 491000 | #Constraints: 90763 2287.45/2293.30 c #Conflicts: 492000 | #Constraints: 91763 2287.45/2293.30 c #Conflicts: 493000 | #Constraints: 92763 2287.45/2293.30 c #Conflicts: 494000 | #Constraints: 93763 2287.45/2293.30 c #Conflicts: 495000 | #Constraints: 94763 2287.45/2293.30 c #Conflicts: 496000 | #Constraints: 95763 2287.45/2293.30 c #Conflicts: 497000 | #Constraints: 96763 2287.45/2293.30 c #Conflicts: 498000 | #Constraints: 97763 2287.45/2293.30 c #Conflicts: 499000 | #Constraints: 98763 2287.45/2293.30 c #Conflicts: 500000 | #Constraints: 99763 2287.45/2293.30 c #Conflicts: 501000 | #Constraints: 100763 2287.45/2293.30 c #Conflicts: 502000 | #Constraints: 101764 2287.45/2293.30 c #Conflicts: 503000 | #Constraints: 102764 2287.45/2293.30 c #Conflicts: 504000 | #Constraints: 103764 2287.45/2293.30 c INPROCESSING 2287.45/2293.30 c GARBAGE COLLECT 2287.45/2293.30 c rational objective 185 2339.04/2345.08 c #Conflicts: 505000 | #Constraints: 64531 2339.04/2345.08 c #Conflicts: 506000 | #Constraints: 65531 2339.04/2345.08 c #Conflicts: 507000 | #Constraints: 66531 2339.04/2345.08 c #Conflicts: 508000 | #Constraints: 67531 2339.04/2345.08 c #Conflicts: 509000 | #Constraints: 68531 2339.04/2345.08 c #Conflicts: 510000 | #Constraints: 69531 2339.04/2345.08 c #Conflicts: 511000 | #Constraints: 70531 2339.04/2345.08 c #Conflicts: 512000 | #Constraints: 71531 2339.04/2345.08 c #Conflicts: 513000 | #Constraints: 72531 2339.04/2345.08 c #Conflicts: 514000 | #Constraints: 73531 2339.04/2345.08 c #Conflicts: 515000 | #Constraints: 74531 2339.04/2345.08 c #Conflicts: 516000 | #Constraints: 75531 2339.04/2345.08 c #Conflicts: 517000 | #Constraints: 76531 2339.04/2345.08 c #Conflicts: 518000 | #Constraints: 77531 2339.04/2345.08 c #Conflicts: 519000 | #Constraints: 78531 2339.04/2345.08 c #Conflicts: 520000 | #Constraints: 79531 2339.04/2345.08 c #Conflicts: 521000 | #Constraints: 80531 2339.04/2345.08 c #Conflicts: 522000 | #Constraints: 81531 2339.04/2345.08 c #Conflicts: 523000 | #Constraints: 82531 2339.04/2345.08 c #Conflicts: 524000 | #Constraints: 83531 2339.04/2345.08 c #Conflicts: 525000 | #Constraints: 84531 2339.04/2345.08 c INPROCESSING 2339.04/2345.08 c GARBAGE COLLECT 2339.04/2345.08 c rational objective 185 2495.75/2502.15 c #Conflicts: 526000 | #Constraints: 61496 2495.75/2502.15 c #Conflicts: 527000 | #Constraints: 62496 2495.75/2502.15 c #Conflicts: 528000 | #Constraints: 63496 2495.75/2502.15 c #Conflicts: 529000 | #Constraints: 64496 2495.75/2502.15 c #Conflicts: 530000 | #Constraints: 65496 2495.75/2502.15 c #Conflicts: 531000 | #Constraints: 66496 2495.75/2502.15 c #Conflicts: 532000 | #Constraints: 67496 2495.75/2502.15 c #Conflicts: 533000 | #Constraints: 68496 2495.75/2502.15 c #Conflicts: 534000 | #Constraints: 69496 2495.75/2502.15 c #Conflicts: 535000 | #Constraints: 70496 2495.75/2502.15 c #Conflicts: 536000 | #Constraints: 71496 2495.75/2502.15 c #Conflicts: 537000 | #Constraints: 72496 2495.75/2502.15 c #Conflicts: 538000 | #Constraints: 73496 2495.75/2502.15 c #Conflicts: 539000 | #Constraints: 74496 2495.75/2502.15 c #Conflicts: 540000 | #Constraints: 75496 2495.75/2502.15 c #Conflicts: 541000 | #Constraints: 76496 2495.75/2502.15 c #Conflicts: 542000 | #Constraints: 77496 2495.75/2502.15 c #Conflicts: 543000 | #Constraints: 78496 2495.75/2502.15 c #Conflicts: 544000 | #Constraints: 79496 2495.75/2502.15 c #Conflicts: 545000 | #Constraints: 80496 2495.75/2502.15 c #Conflicts: 546000 | #Constraints: 81496 2495.75/2502.15 c #Conflicts: 547000 | #Constraints: 82496 2495.75/2502.15 c #Conflicts: 548000 | #Constraints: 83496 2495.75/2502.15 c #Conflicts: 549000 | #Constraints: 84496 2495.75/2502.15 c #Conflicts: 550000 | #Constraints: 85496 2495.75/2502.15 c #Conflicts: 551000 | #Constraints: 86496 2495.75/2502.15 c #Conflicts: 552000 | #Constraints: 87496 2495.75/2502.15 c #Conflicts: 553000 | #Constraints: 88496 2495.75/2502.15 c #Conflicts: 554000 | #Constraints: 89496 2495.75/2502.15 c #Conflicts: 555000 | #Constraints: 90496 2495.75/2502.15 c #Conflicts: 556000 | #Constraints: 91496 2495.75/2502.15 c #Conflicts: 557000 | #Constraints: 92496 2495.75/2502.15 c #Conflicts: 558000 | #Constraints: 93496 2495.75/2502.15 c #Conflicts: 559000 | #Constraints: 94496 2495.75/2502.15 c #Conflicts: 560000 | #Constraints: 95496 2495.75/2502.15 c #Conflicts: 561000 | #Constraints: 96496 2495.75/2502.15 c #Conflicts: 562000 | #Constraints: 97496 2495.75/2502.15 c #Conflicts: 563000 | #Constraints: 98496 2495.75/2502.15 c #Conflicts: 564000 | #Constraints: 99496 2495.75/2502.15 c #Conflicts: 565000 | #Constraints: 100496 2495.75/2502.15 c #Conflicts: 566000 | #Constraints: 101497 2495.75/2502.15 c #Conflicts: 567000 | #Constraints: 102497 2495.75/2502.15 c #Conflicts: 568000 | #Constraints: 103497 2495.75/2502.15 c #Conflicts: 569000 | #Constraints: 104497 2495.75/2502.15 c #Conflicts: 570000 | #Constraints: 105497 2495.75/2502.15 c #Conflicts: 571000 | #Constraints: 106497 2495.75/2502.15 c #Conflicts: 572000 | #Constraints: 107497 2495.75/2502.15 c #Conflicts: 573000 | #Constraints: 108497 2495.75/2502.15 c INPROCESSING 2495.75/2502.15 c GARBAGE COLLECT 2495.75/2502.15 c rational objective 185 2578.04/2584.65 c #Conflicts: 574000 | #Constraints: 67392 2578.04/2584.65 c #Conflicts: 575000 | #Constraints: 68393 2578.04/2584.65 c #Conflicts: 576000 | #Constraints: 69393 2578.04/2584.65 c #Conflicts: 577000 | #Constraints: 70393 2578.04/2584.65 c #Conflicts: 578000 | #Constraints: 71393 2578.04/2584.65 c #Conflicts: 579000 | #Constraints: 72393 2578.04/2584.65 c #Conflicts: 580000 | #Constraints: 73394 2578.04/2584.65 c #Conflicts: 581000 | #Constraints: 74394 2578.04/2584.65 c #Conflicts: 582000 | #Constraints: 75394 2578.04/2584.65 c #Conflicts: 583000 | #Constraints: 76394 2578.04/2584.65 c #Conflicts: 584000 | #Constraints: 77394 2578.04/2584.65 c #Conflicts: 585000 | #Constraints: 78394 2578.04/2584.65 c #Conflicts: 586000 | #Constraints: 79394 2578.04/2584.65 c #Conflicts: 587000 | #Constraints: 80394 2578.04/2584.65 c #Conflicts: 588000 | #Constraints: 81394 2578.04/2584.65 c #Conflicts: 589000 | #Constraints: 82394 2578.04/2584.65 c #Conflicts: 590000 | #Constraints: 83394 2578.04/2584.65 c #Conflicts: 591000 | #Constraints: 84394 2578.04/2584.65 c #Conflicts: 592000 | #Constraints: 85395 2578.04/2584.65 c #Conflicts: 593000 | #Constraints: 86395 2578.04/2584.65 c #Conflicts: 594000 | #Constraints: 87395 2578.04/2584.65 c #Conflicts: 595000 | #Constraints: 88395 2578.04/2584.65 c INPROCESSING 2578.04/2584.65 c GARBAGE COLLECT 2578.04/2584.65 c rational objective 185 2802.12/2809.34 c #Conflicts: 596000 | #Constraints: 64632 2802.12/2809.34 c #Conflicts: 597000 | #Constraints: 65632 2802.12/2809.34 c #Conflicts: 598000 | #Constraints: 66632 2802.12/2809.34 c #Conflicts: 599000 | #Constraints: 67632 2802.12/2809.34 c #Conflicts: 600000 | #Constraints: 68632 2802.12/2809.34 c #Conflicts: 601000 | #Constraints: 69632 2802.12/2809.34 c #Conflicts: 602000 | #Constraints: 70632 2802.12/2809.34 c #Conflicts: 603000 | #Constraints: 71632 2802.12/2809.34 c #Conflicts: 604000 | #Constraints: 72632 2802.12/2809.34 c #Conflicts: 605000 | #Constraints: 73632 2802.12/2809.34 c #Conflicts: 606000 | #Constraints: 74632 2802.12/2809.34 c #Conflicts: 607000 | #Constraints: 75632 2802.12/2809.34 c #Conflicts: 608000 | #Constraints: 76633 2802.12/2809.34 c #Conflicts: 609000 | #Constraints: 77633 2802.12/2809.34 c #Conflicts: 610000 | #Constraints: 78633 2802.12/2809.34 c #Conflicts: 611000 | #Constraints: 79633 2802.12/2809.34 c #Conflicts: 612000 | #Constraints: 80633 2802.12/2809.34 c #Conflicts: 613000 | #Constraints: 81633 2802.12/2809.34 c #Conflicts: 614000 | #Constraints: 82633 2802.12/2809.34 c #Conflicts: 615000 | #Constraints: 83633 2802.12/2809.34 c #Conflicts: 616000 | #Constraints: 84633 2802.12/2809.34 c #Conflicts: 617000 | #Constraints: 85633 2802.12/2809.34 c #Conflicts: 618000 | #Constraints: 86633 2802.12/2809.34 c #Conflicts: 619000 | #Constraints: 87633 2802.12/2809.34 c #Conflicts: 620000 | #Constraints: 88633 2802.12/2809.34 c #Conflicts: 621000 | #Constraints: 89633 2802.12/2809.34 c #Conflicts: 622000 | #Constraints: 90634 2802.12/2809.34 c #Conflicts: 623000 | #Constraints: 91634 2802.12/2809.34 c #Conflicts: 624000 | #Constraints: 92634 2802.12/2809.34 c #Conflicts: 625000 | #Constraints: 93634 2802.12/2809.34 c #Conflicts: 626000 | #Constraints: 94634 2802.12/2809.34 c #Conflicts: 627000 | #Constraints: 95634 2802.12/2809.34 c #Conflicts: 628000 | #Constraints: 96634 2802.12/2809.34 c #Conflicts: 629000 | #Constraints: 97634 2802.12/2809.34 c #Conflicts: 630000 | #Constraints: 98634 2802.12/2809.34 c #Conflicts: 631000 | #Constraints: 99634 2802.12/2809.34 c #Conflicts: 632000 | #Constraints: 100634 2802.12/2809.34 c #Conflicts: 633000 | #Constraints: 101634 2802.12/2809.34 c #Conflicts: 634000 | #Constraints: 102634 2802.12/2809.34 c #Conflicts: 635000 | #Constraints: 103634 2802.12/2809.34 c #Conflicts: 636000 | #Constraints: 104634 2802.12/2809.34 c #Conflicts: 637000 | #Constraints: 105634 2802.12/2809.34 c #Conflicts: 638000 | #Constraints: 106634 2802.12/2809.34 c #Conflicts: 639000 | #Constraints: 107634 2802.12/2809.34 c #Conflicts: 640000 | #Constraints: 108634 2802.12/2809.34 c #Conflicts: 641000 | #Constraints: 109634 2802.12/2809.34 c #Conflicts: 642000 | #Constraints: 110634 2802.12/2809.34 c #Conflicts: 643000 | #Constraints: 111634 2802.12/2809.34 c #Conflicts: 644000 | #Constraints: 112634 2802.12/2809.34 c #Conflicts: 645000 | #Constraints: 113634 2802.12/2809.34 c #Conflicts: 646000 | #Constraints: 114634 2802.12/2809.34 c INPROCESSING 2802.12/2809.34 c GARBAGE COLLECT 2802.12/2809.34 c rational objective 185 2898.09/2905.55 c #Conflicts: 647000 | #Constraints: 70187 2898.09/2905.55 c #Conflicts: 648000 | #Constraints: 71187 2898.09/2905.55 c #Conflicts: 649000 | #Constraints: 72188 2898.09/2905.55 c #Conflicts: 650000 | #Constraints: 73188 2898.09/2905.55 c #Conflicts: 651000 | #Constraints: 74188 2898.09/2905.55 c #Conflicts: 652000 | #Constraints: 75188 2898.09/2905.55 c #Conflicts: 653000 | #Constraints: 76188 2898.09/2905.55 c #Conflicts: 654000 | #Constraints: 77188 2898.09/2905.55 c #Conflicts: 655000 | #Constraints: 78189 2898.09/2905.55 c #Conflicts: 656000 | #Constraints: 79189 2898.09/2905.55 c #Conflicts: 657000 | #Constraints: 80189 2898.09/2905.55 c #Conflicts: 658000 | #Constraints: 81189 2898.09/2905.55 c #Conflicts: 659000 | #Constraints: 82189 2898.09/2905.55 c #Conflicts: 660000 | #Constraints: 83189 2898.09/2905.55 c #Conflicts: 661000 | #Constraints: 84189 2898.09/2905.55 c #Conflicts: 662000 | #Constraints: 85189 2898.09/2905.55 c #Conflicts: 663000 | #Constraints: 86189 2898.09/2905.55 c #Conflicts: 664000 | #Constraints: 87189 2898.09/2905.55 c #Conflicts: 665000 | #Constraints: 88189 2898.09/2905.55 c #Conflicts: 666000 | #Constraints: 89189 2898.09/2905.55 c #Conflicts: 667000 | #Constraints: 90190 2898.09/2905.55 c #Conflicts: 668000 | #Constraints: 91190 2898.09/2905.55 c #Conflicts: 669000 | #Constraints: 92190 2898.09/2905.55 c INPROCESSING 2898.09/2905.55 c GARBAGE COLLECT 2898.09/2905.55 c rational objective 185 3290.12/3298.58 c #Conflicts: 670000 | #Constraints: 66767 3290.12/3298.58 c #Conflicts: 671000 | #Constraints: 67767 3290.12/3298.58 c #Conflicts: 672000 | #Constraints: 68767 3290.12/3298.58 c #Conflicts: 673000 | #Constraints: 69767 3290.12/3298.58 c #Conflicts: 674000 | #Constraints: 70767 3290.12/3298.58 c #Conflicts: 675000 | #Constraints: 71767 3290.12/3298.58 c #Conflicts: 676000 | #Constraints: 72767 3290.12/3298.58 c #Conflicts: 677000 | #Constraints: 73767 3290.12/3298.58 c #Conflicts: 678000 | #Constraints: 74767 3290.12/3298.58 c #Conflicts: 679000 | #Constraints: 75767 3290.12/3298.58 c #Conflicts: 680000 | #Constraints: 76768 3290.12/3298.58 c #Conflicts: 681000 | #Constraints: 77769 3290.12/3298.58 c #Conflicts: 682000 | #Constraints: 78769 3290.12/3298.58 c #Conflicts: 683000 | #Constraints: 79769 3290.12/3298.58 c #Conflicts: 684000 | #Constraints: 80769 3290.12/3298.58 c #Conflicts: 685000 | #Constraints: 81769 3290.12/3298.58 c #Conflicts: 686000 | #Constraints: 82769 3290.12/3298.58 c #Conflicts: 687000 | #Constraints: 83770 3290.12/3298.58 c #Conflicts: 688000 | #Constraints: 84770 3290.12/3298.58 c #Conflicts: 689000 | #Constraints: 85770 3290.12/3298.58 c #Conflicts: 690000 | #Constraints: 86770 3290.12/3298.58 c #Conflicts: 691000 | #Constraints: 87770 3290.12/3298.58 c #Conflicts: 692000 | #Constraints: 88770 3290.12/3298.58 c #Conflicts: 693000 | #Constraints: 89770 3290.12/3298.58 c #Conflicts: 694000 | #Constraints: 90770 3290.12/3298.58 c #Conflicts: 695000 | #Constraints: 91770 3290.12/3298.58 c #Conflicts: 696000 | #Constraints: 92770 3290.12/3298.58 c #Conflicts: 697000 | #Constraints: 93770 3290.12/3298.58 c #Conflicts: 698000 | #Constraints: 94770 3290.12/3298.58 c #Conflicts: 699000 | #Constraints: 95770 3290.12/3298.58 c #Conflicts: 700000 | #Constraints: 96770 3290.12/3298.58 c #Conflicts: 701000 | #Constraints: 97770 3290.12/3298.58 c #Conflicts: 702000 | #Constraints: 98770 3290.12/3298.58 c #Conflicts: 703000 | #Constraints: 99770 3290.12/3298.58 c #Conflicts: 704000 | #Constraints: 100770 3290.12/3298.58 c #Conflicts: 705000 | #Constraints: 101770 3290.12/3298.58 c #Conflicts: 706000 | #Constraints: 102770 3290.12/3298.58 c #Conflicts: 707000 | #Constraints: 103770 3290.12/3298.58 c #Conflicts: 708000 | #Constraints: 104770 3290.12/3298.58 c #Conflicts: 709000 | #Constraints: 105770 3290.12/3298.58 c #Conflicts: 710000 | #Constraints: 106770 3290.12/3298.58 c #Conflicts: 711000 | #Constraints: 107770 3290.12/3298.58 c #Conflicts: 712000 | #Constraints: 108771 3290.12/3298.58 c #Conflicts: 713000 | #Constraints: 109771 3290.12/3298.58 c #Conflicts: 714000 | #Constraints: 110771 3290.12/3298.58 c #Conflicts: 715000 | #Constraints: 111771 3290.12/3298.58 c #Conflicts: 716000 | #Constraints: 112771 3290.12/3298.58 c #Conflicts: 717000 | #Constraints: 113771 3290.12/3298.58 c #Conflicts: 718000 | #Constraints: 114771 3290.12/3298.58 c #Conflicts: 719000 | #Constraints: 115771 3290.12/3298.58 c #Conflicts: 720000 | #Constraints: 116771 3290.12/3298.58 c #Conflicts: 721000 | #Constraints: 117771 3290.12/3298.58 c #Conflicts: 722000 | #Constraints: 118771 3290.12/3298.58 c #Conflicts: 723000 | #Constraints: 119771 3290.12/3298.58 c #Conflicts: 724000 | #Constraints: 120771 3290.12/3298.58 c INPROCESSING 3290.12/3298.58 c GARBAGE COLLECT 3290.12/3298.58 c #Conflicts: 725000 | #Constraints: 73465 3290.12/3298.58 c #Conflicts: 726000 | #Constraints: 74466 3290.12/3298.58 c #Conflicts: 727000 | #Constraints: 75466 3290.12/3298.58 c #Conflicts: 728000 | #Constraints: 76466 3290.12/3298.58 c #Conflicts: 729000 | #Constraints: 77466 3290.12/3298.58 c #Conflicts: 730000 | #Constraints: 78466 3290.12/3298.58 c #Conflicts: 731000 | #Constraints: 79466 3290.12/3298.58 c #Conflicts: 732000 | #Constraints: 80466 3290.12/3298.58 c #Conflicts: 733000 | #Constraints: 81466 3290.12/3298.58 c #Conflicts: 734000 | #Constraints: 82466 3290.12/3298.58 c #Conflicts: 735000 | #Constraints: 83466 3290.12/3298.58 c #Conflicts: 736000 | #Constraints: 84466 3290.12/3298.58 c #Conflicts: 737000 | #Constraints: 85466 3290.12/3298.58 c #Conflicts: 738000 | #Constraints: 86466 3290.12/3298.58 c #Conflicts: 739000 | #Constraints: 87466 3290.12/3298.58 c #Conflicts: 740000 | #Constraints: 88467 3290.12/3298.58 c #Conflicts: 741000 | #Constraints: 89467 3290.12/3298.58 c #Conflicts: 742000 | #Constraints: 90467 3290.12/3298.58 c #Conflicts: 743000 | #Constraints: 91467 3290.12/3298.58 c #Conflicts: 744000 | #Constraints: 92467 3290.12/3298.58 c #Conflicts: 745000 | #Constraints: 93467 3290.12/3298.58 c #Conflicts: 746000 | #Constraints: 94467 3290.12/3298.58 c #Conflicts: 747000 | #Constraints: 95467 3290.12/3298.58 c #Conflicts: 748000 | #Constraints: 96467 3587.68/3596.92 c INPROCESSING 3587.68/3596.92 c GARBAGE COLLECT 3587.68/3596.92 c rational objective 185 3600.04/3609.30 c #Conflicts: 749000 | #Constraints: 69511 3600.04/3609.30 c #Conflicts: 750000 | #Constraints: 70511 3600.04/3609.30 c #Conflicts: 751000 | #Constraints: 71511 3600.04/3609.30 c #Conflicts: 752000 | #Constraints: 72511 3600.04/3609.30 c #Conflicts: 753000 | #Constraints: 73511 3600.04/3609.30 c #Conflicts: 754000 | #Constraints: 74511 3600.04/3609.30 c #Conflicts: 755000 | #Constraints: 75511 3600.04/3609.30 c #Conflicts: 756000 | #Constraints: 76512 3600.04/3609.30 c #Conflicts: 757000 | #Constraints: 77513 3600.04/3609.30 c #Conflicts: 758000 | #Constraints: 78513 3600.04/3609.30 c Program interrupted by user. 3600.04/3609.34 c cpu time 3560.83 s 3600.04/3609.34 c deterministic time 204498606070 2.04e+11 3600.04/3609.34 c optimization time 11.7913 s 3600.04/3609.34 c total solve time 3548.94 s 3600.04/3609.34 c core-guided solve time 0 s 3600.04/3609.34 c propagation time 1663.03 s 3600.04/3609.34 c conflict analysis time 484.598 s 3600.04/3609.34 c propagations 626946332 3600.04/3609.34 c resolve steps 32044421 3600.04/3609.34 c decisions 18477863 3600.04/3609.34 c conflicts 758790 3600.04/3609.34 c restarts 1595 3600.04/3609.34 c inprocessing phases 36 3600.04/3609.34 c input clauses 22202 3600.04/3609.34 c input cardinalities 185 3600.04/3609.34 c input general constraints 0 3600.04/3609.34 c input average constraint length 6.44 3600.04/3609.34 c input average constraint degree 1.97 3600.04/3609.34 c learned clauses 478372 3600.04/3609.34 c learned cardinalities 38637 3600.04/3609.34 c learned general constraints 241834 3600.04/3609.34 c learned average constraint length 1198.71 3600.04/3609.34 c learned average constraint degree 399962345.12 3600.04/3609.34 c watched constraints 171641 3600.04/3609.34 c counting constraints 70193 3600.04/3609.34 c gcd simplifications 2954 3600.04/3609.34 c detected cardinalities 6063 3600.04/3609.34 c weakened non-implied lits 168317783 3600.04/3609.34 c weakened non-implying lits 219934 3600.04/3609.34 c original variables 22015 3600.04/3609.34 c clausal propagations 293931871 3600.04/3609.34 c cardinality propagations 220450072 3600.04/3609.34 c watched propagations 30360103 3600.04/3609.34 c counting propagations 74227657 3600.04/3609.34 c watch lookups 8472815138 3600.04/3609.34 c watch backjump lookups 6684408338 3600.04/3609.34 c watch checks 141937027673 3600.04/3609.34 c propagation checks 43084386652 3600.04/3609.34 c constraint additions 3026773917 3600.04/3609.34 c trail pops 646165138 3600.04/3609.34 c formula constraints 22387 3600.04/3609.34 c learned constraints 758735 3600.04/3609.34 c bound constraints 0 3600.04/3609.34 c core-guided constraints 0 3600.04/3609.34 c encountered formula constraints 22080960 3600.04/3609.34 c encountered learned constraints 10720886 3600.04/3609.34 c encountered bound constraints 0 3600.04/3609.34 c encountered core-guided constraints 0 3600.04/3609.34 c LP total time 2148.22 s 3600.04/3609.34 c LP solve time 2145.01 s 3600.04/3609.34 c LP constraints added 25250 3600.04/3609.34 c LP constraints removed 2638 3600.04/3609.34 c LP pivots internal 758984 3600.04/3609.34 c LP pivots root 846034 3600.04/3609.34 c LP calls 101 3600.04/3609.34 c LP optimalities 39 3600.04/3609.34 c LP no pivot count 1 3600.04/3609.34 c LP infeasibilities 54 3600.04/3609.34 c LP valid Farkas constraints 54 3600.04/3609.34 c LP learned Farkas constraints 54 3600.04/3609.34 c LP basis resets 0 3600.04/3609.34 c LP cycling count 0 3600.04/3609.34 c LP singular count 0 3600.04/3609.34 c LP no primal count 0 3600.04/3609.34 c LP no farkas count 0 3600.04/3609.34 c LP other issue count 0 3600.04/3609.34 c LP Gomory cuts 0 3600.04/3609.34 c LP learned cuts 2863 3600.04/3609.34 c LP deleted cuts 2638 3600.04/3609.34 c LP encountered Gomory constraints 0 3600.04/3609.34 c LP encountered Farkas constraints 933 3600.04/3609.34 c LP encountered learned Farkas constraints 378 3600.04/3609.34 c CG auxiliary variables introduced 0 3600.04/3609.34 c CG solutions found 0 3600.04/3609.34 c CG cores constructed 0 3600.04/3609.34 c CG core cardinality constraints returned 0 3600.04/3609.34 c CG unit cores 0 3600.04/3609.34 c CG single cores 0 3600.04/3609.34 c CG blocks removed during cardinality reduction 0 3600.04/3609.34 c CG first core best 0 3600.04/3609.34 c CG decision core best 0 3600.04/3609.34 c CG core reduction tie 0 3600.04/3609.34 c CG core degree average 0.00 3600.04/3609.34 c CG core slack average 0.00 3600.04/3609.34 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (53791 MiB free)
memory of node 1: 64473 MiB (54907 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460682-1722069335/watcher-4460682-1722069335 -o /tmp/evaluation-result-4460682-1722069335/solver-4460682-1722069335 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722064836-317338 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460682-1722069335 --lp-cut-gomory=0 HOME/instance-4460682-1722069335.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
solver pid=321254, runsolver pid=321251
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 4.09 4.12 4.09 5/255 321255
/proc/meminfo: memFree=111291404/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=49048 memory=20580 CPUtime=0.09 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 4885 0 0 0 8 1 0 0 20 0 1 0 43461394 50225152 5145 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 12262 5145 1682 992 0 4120 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49048 KiB
Current children cumulated memory: 20580 KiB
[startup+0.205631 s]*
/proc/loadavg: 4.09 4.12 4.09 5/255 321255
/proc/meminfo: memFree=111270208/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=75240 memory=41964 CPUtime=0.2 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 10886 0 0 0 17 3 0 0 20 0 1 0 43461394 77045760 10491 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 18810 10491 1730 992 0 10668 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 75240 KiB
Current children cumulated memory: 41964 KiB
[startup+0.305595 s]*
/proc/loadavg: 4.09 4.12 4.09 5/255 321255
/proc/meminfo: memFree=111268080/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=76356 memory=43812 CPUtime=0.3 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 11361 0 0 0 27 3 0 0 20 0 1 0 43461394 78188544 10953 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 19089 10953 1730 992 0 10947 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 76356 KiB
Current children cumulated memory: 43812 KiB
[startup+0.700172 s]
/proc/loadavg: 4.09 4.12 4.09 5/255 321255
/proc/meminfo: memFree=111264916/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=77864 memory=46180 CPUtime=0.69 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 11960 0 0 0 66 3 0 0 20 0 1 0 43461394 79732736 11545 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 19466 11545 1730 992 0 11324 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 77864 KiB
Current children cumulated memory: 46180 KiB
[startup+1.50015 s]
/proc/loadavg: 4.09 4.12 4.09 5/255 321255
/proc/meminfo: memFree=111262564/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=77864 memory=46444 CPUtime=1.48 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 12011 0 0 0 145 3 0 0 20 0 1 0 43461394 79732736 11611 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 19466 11611 1730 992 0 11324 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 77864 KiB
Current children cumulated memory: 46444 KiB
[startup+3.10503 s]
/proc/loadavg: 4.08 4.12 4.09 5/255 321256
/proc/meminfo: memFree=111254556/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=77864 memory=46884 CPUtime=3.09 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 12046 0 0 0 293 16 0 0 20 0 1 0 43461394 79732736 11721 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 19466 11721 1778 992 0 11324 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 77864 KiB
Current children cumulated memory: 46884 KiB
[startup+6.3002 s]
/proc/loadavg: 4.08 4.12 4.09 5/255 321256
/proc/meminfo: memFree=111237592/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=84456 memory=54272 CPUtime=6.28 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 13907 0 0 0 605 23 0 0 20 0 1 0 43461394 86482944 13568 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 21114 13568 1778 992 0 12972 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 84456 KiB
Current children cumulated memory: 54272 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.12 4.09 5/255 321256
/proc/meminfo: memFree=111228032/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=84456 memory=54272 CPUtime=12.66 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 13927 0 0 0 1241 25 0 0 20 0 1 0 43461394 86482944 13568 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 21114 13568 1778 992 0 12972 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 84456 KiB
Current children cumulated memory: 54272 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.13 4.09 5/255 321259
/proc/meminfo: memFree=111173676/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=93292 memory=61476 CPUtime=25.43 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 15625 0 0 0 2491 52 0 0 20 0 1 0 43461394 95531008 15369 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 23323 15369 1842 992 0 15181 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 93292 KiB
Current children cumulated memory: 61476 KiB
[startup+51.1056 s]
/proc/loadavg: 4.14 4.13 4.09 5/255 321262
/proc/meminfo: memFree=111101516/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=110736 memory=81496 CPUtime=50.98 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 20158 0 0 0 4994 104 0 0 20 0 1 0 43461394 113393664 20374 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 27684 20374 1842 992 0 19542 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 110736 KiB
Current children cumulated memory: 81496 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/255 321272
/proc/meminfo: memFree=110983332/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=142392 memory=112828 CPUtime=102.07 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 24930 0 0 0 10042 165 0 0 20 0 1 0 43461394 145809408 28207 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 35598 28207 1842 992 0 27456 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 142392 KiB
Current children cumulated memory: 112828 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/255 321283
/proc/meminfo: memFree=110702024/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=260460 memory=205572 CPUtime=161.93 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 30283 0 0 0 15907 286 0 0 20 0 1 0 43461394 266711040 51393 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 65115 51393 1874 992 0 56973 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 260460 KiB
Current children cumulated memory: 205572 KiB
[startup+222.3 s]
/proc/loadavg: 4.26 4.15 4.10 5/255 321293
/proc/meminfo: memFree=110571808/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=267028 memory=212696 CPUtime=221.79 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 32056 0 0 0 21789 390 0 0 20 0 1 0 43461394 273436672 53174 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 66757 53174 1874 992 0 58615 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 267028 KiB
Current children cumulated memory: 212696 KiB
[startup+282.3 s]
/proc/loadavg: 4.32 4.20 4.12 5/257 321308
/proc/meminfo: memFree=110438632/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=271108 memory=215860 CPUtime=281.63 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 32835 0 0 0 27649 514 0 0 20 0 1 0 43461394 277614592 53965 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 67777 53965 1874 992 0 59635 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 271108 KiB
Current children cumulated memory: 215860 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 4.19 4.12 5/256 321318
/proc/meminfo: memFree=110368124/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=277740 memory=223244 CPUtime=341.46 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 34655 0 0 0 33588 558 0 0 20 0 1 0 43461394 284405760 55811 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 69435 55811 1874 992 0 61293 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 277740 KiB
Current children cumulated memory: 223244 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.15 4.11 5/257 321330
/proc/meminfo: memFree=110197560/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=285228 memory=230628 CPUtime=401.3 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 36565 0 0 0 39473 657 0 0 20 0 1 0 43461394 292073472 57657 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 71307 57657 1874 992 0 63165 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 285228 KiB
Current children cumulated memory: 230628 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/256 321340
/proc/meminfo: memFree=110134864/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=291116 memory=236152 CPUtime=461.14 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 37933 0 0 0 45419 695 0 0 20 0 1 0 43461394 298102784 59038 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 72779 59038 1874 992 0 64637 0
################
# More data... #
################
Current children cumulated memory: 1247464 KiB
[startup+2922.3 s]
/proc/loadavg: 4.21 4.16 4.11 5/259 323252
/proc/meminfo: memFree=111728064/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=1309020 memory=1249268 CPUtime=2914.86 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 105425 0 0 0 287989 3497 0 0 20 0 1 0 43461394 1340436480 312317 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 327255 312317 1874 992 0 319113 0
Current children cumulated CPU time: 2914.86 s
Current children cumulated vsize: 1309020 KiB
Current children cumulated memory: 1249268 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/260 323646
/proc/meminfo: memFree=111508180/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=1309020 memory=1249268 CPUtime=2974.72 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 105782 0 0 0 293882 3590 0 0 20 0 1 0 43461394 1340436480 312317 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 327255 312317 1874 992 0 319113 0
Current children cumulated CPU time: 2974.72 s
Current children cumulated vsize: 1309020 KiB
Current children cumulated memory: 1249268 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/257 323656
/proc/meminfo: memFree=111303052/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=1309424 memory=1249564 CPUtime=3034.59 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 106303 0 0 0 299817 3642 0 0 20 0 1 0 43461394 1340850176 312391 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 327356 312391 1874 992 0 319214 0
Current children cumulated CPU time: 3034.59 s
Current children cumulated vsize: 1309424 KiB
Current children cumulated memory: 1249564 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/257 323668
/proc/meminfo: memFree=111103932/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=1310320 memory=1252040 CPUtime=3094.45 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 106565 0 0 0 305780 3665 0 0 20 0 1 0 43461394 1341767680 313010 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 327580 313010 1874 992 0 319438 0
Current children cumulated CPU time: 3094.45 s
Current children cumulated vsize: 1310320 KiB
Current children cumulated memory: 1252040 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/259 323848
/proc/meminfo: memFree=110654068/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=1310320 memory=1253560 CPUtime=3154.29 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 106692 0 0 0 311741 3688 0 0 20 0 1 0 43461394 1341767680 313390 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 327580 313390 1874 992 0 319438 0
Current children cumulated CPU time: 3154.29 s
Current children cumulated vsize: 1310320 KiB
Current children cumulated memory: 1253560 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/259 323859
/proc/meminfo: memFree=110484444/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=1310320 memory=1253596 CPUtime=3214.12 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 107194 0 0 0 317685 3727 0 0 20 0 1 0 43461394 1341767680 313399 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 327580 313399 1874 992 0 319438 0
Current children cumulated CPU time: 3214.12 s
Current children cumulated vsize: 1310320 KiB
Current children cumulated memory: 1253596 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/260 323927
/proc/meminfo: memFree=109872320/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=1322992 memory=1265364 CPUtime=3273.96 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 109082 0 0 0 323624 3772 0 0 20 0 1 0 43461394 1354743808 316341 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 330748 316341 1874 992 0 322606 0
Current children cumulated CPU time: 3273.96 s
Current children cumulated vsize: 1322992 KiB
Current children cumulated memory: 1265364 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 323937
/proc/meminfo: memFree=109641100/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=1330980 memory=1272896 CPUtime=3333.8 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 111079 0 0 0 329561 3819 0 0 20 0 1 0 43461394 1362923520 318224 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 332745 318224 1874 992 0 324603 0
Current children cumulated CPU time: 3333.8 s
Current children cumulated vsize: 1330980 KiB
Current children cumulated memory: 1272896 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 323948
/proc/meminfo: memFree=109538832/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=1332276 memory=1273712 CPUtime=3393.63 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 111351 0 0 0 335527 3836 0 0 20 0 1 0 43461394 1364250624 318428 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 333069 318428 1874 992 0 324927 0
Current children cumulated CPU time: 3393.63 s
Current children cumulated vsize: 1332276 KiB
Current children cumulated memory: 1273712 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 323958
/proc/meminfo: memFree=109453228/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=1332408 memory=1273868 CPUtime=3453.46 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 111503 0 0 0 341497 3849 0 0 20 0 1 0 43461394 1364385792 318467 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 333102 318467 1874 992 0 324960 0
Current children cumulated CPU time: 3453.46 s
Current children cumulated vsize: 1332408 KiB
Current children cumulated memory: 1273868 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 323969
/proc/meminfo: memFree=109396800/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=1332540 memory=1274136 CPUtime=3513.29 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 111676 0 0 0 347465 3864 0 0 20 0 1 0 43461394 1364520960 318534 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 333135 318534 1874 992 0 324993 0
Current children cumulated CPU time: 3513.29 s
Current children cumulated vsize: 1332540 KiB
Current children cumulated memory: 1274136 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 323980
/proc/meminfo: memFree=108387680/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=1332540 memory=1274248 CPUtime=3573.12 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 111811 0 0 0 353436 3876 0 0 20 0 1 0 43461394 1364520960 318562 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 333135 318562 1874 992 0 324993 0
Current children cumulated CPU time: 3573.12 s
Current children cumulated vsize: 1332540 KiB
Current children cumulated memory: 1274248 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/256 323986
/proc/meminfo: memFree=107729900/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=1330124 memory=1270368 CPUtime=3600.04 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 112427 0 0 0 356082 3922 0 0 20 0 1 0 43461394 1362046976 317592 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 332531 317592 1874 992 0 324389 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1330124 KiB
Current children cumulated memory: 1270368 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.35 s]
# the end of solver process 321254 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3560.83 s, system=39.242 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/256 323986
/proc/meminfo: memFree=107729900/131524600 swapFree=131060368/131071996
[pid=321254] ppid=321251 vsize=1330124 memory=1270368 CPUtime=3600.04 cores=1,3
/proc/321254/stat : 321254 (roundingsat) R 321251 321254 317326 0 -1 4194304 112427 0 0 0 356082 3922 0 0 20 0 1 0 43461394 1362046976 317592 134679101440 4194304 8254357 140728501673184 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 41189376 140728501674847 140728501675109 140728501675109 140728501682121 0
/proc/321254/statm: 332531 317592 1874 992 0 324389 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1330124 KiB
Current children cumulated memory: 1270368 KiB
Child status: 0
Real time (s): 3609.35
CPU time (s): 3600.07
CPU user time (s): 3560.83
CPU system time (s): 39.242
CPU usage (%): 99.743
Max. virtual memory (cumulated for all children) (KiB): 1332540
Max. memory (cumulated for all children) (KiB): 1274456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.83
system time used= 39.242
maximum resident set size= 1274456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112444
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9826512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 340
involuntary context switches= 4013
# summary of solver processes directly reported to runsolver:
# pid: 321254
# total CPU time (s): 3600.07
# total CPU user time (s): 3560.83
# total CPU system time (s): 39.242
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7535 second user time and 16.887 second system time
The end
Begin job on nodeC014 at 2024-07-27 10:35:35 IDJOB=4460682 IDBENCH=158267 IDSOLVER=3086 FILE ID=nodeC014/4460682-1722069335 RUNJOBID= nodeC014-1722064836-317338 SLURM_JOB_ID= 8248084 Free space on /tmp= 889704 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-4460682-1722069335/watcher-4460682-1722069335 -o /tmp/evaluation-result-4460682-1722069335/solver-4460682-1722069335 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722064836-317338 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460682-1722069335 --lp-cut-gomory=0 HOME/instance-4460682-1722069335.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8e923d8a993edfc65d984f909d6bfa9e RANDOM SEED=1994572972 nodeC014.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 : 3666.646 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.45 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 : 3659.099 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.48 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.053 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.45 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 : 3672.321 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.48 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 : 3666.706 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.45 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 : 3677.000 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.48 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 : 3599.989 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.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.338 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.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 111307092 kB MemAvailable: 124942524 kB Buffers: 369572 kB Cached: 14052428 kB SwapCached: 140 kB Active: 1132380 kB Inactive: 18387580 kB Active(anon): 2200 kB Inactive(anon): 5148816 kB Active(file): 1130180 kB Inactive(file): 13238764 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131060368 kB Dirty: 57396 kB Writeback: 0 kB AnonPages: 5088932 kB Mapped: 103052 kB Shmem: 52988 kB KReclaimable: 212624 kB Slab: 339720 kB SReclaimable: 212624 kB SUnreclaim: 127096 kB KernelStack: 4128 kB PageTables: 19544 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 5846392 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 15488 kB HardwareCorrupted: 0 kB AnonHugePages: 3129344 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: 393940 kB DirectMap2M: 46565376 kB DirectMap1G: 89128960 kB Free space on /tmp at the end= 889984 MiB End job on nodeC014 at 2024-07-27 11:35:44