| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.04 | 3609.78 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K162.opb |
| MD5SUM | 3691972eca5819945d0aaf6ae8165cd0 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 3001.01 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 19278 |
| Total number of constraints | 19604 |
| Number of constraints which are clauses | 19442 |
| Number of constraints which are cardinality constraints (but not clauses) | 162 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 162 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 163 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.06/0.16 c #variables 19278 #constraints 19604 113.83/114.27 c #Conflicts: 1000 | #Constraints: 20603 113.83/114.27 c #Conflicts: 2000 | #Constraints: 21603 113.83/114.27 c INPROCESSING 113.83/114.27 c GARBAGE COLLECT 113.83/114.27 c #Conflicts: 3000 | #Constraints: 20836 113.83/114.27 c #Conflicts: 4000 | #Constraints: 21836 113.83/114.27 c INPROCESSING 113.83/114.27 c GARBAGE COLLECT 113.83/114.27 c #Conflicts: 5000 | #Constraints: 21361 113.83/114.27 c #Conflicts: 6000 | #Constraints: 22361 113.83/114.27 c INPROCESSING 113.83/114.27 c GARBAGE COLLECT 113.83/114.27 c #Conflicts: 7000 | #Constraints: 21454 113.83/114.27 c #Conflicts: 8000 | #Constraints: 22454 113.83/114.27 c #Conflicts: 9000 | #Constraints: 23454 113.83/114.27 c INPROCESSING 113.83/114.27 c GARBAGE COLLECT 113.83/114.27 c #Conflicts: 10000 | #Constraints: 22201 113.83/114.27 c #Conflicts: 11000 | #Constraints: 23201 113.83/114.27 c #Conflicts: 12000 | #Constraints: 24201 113.83/114.27 c #Conflicts: 13000 | #Constraints: 25201 113.83/114.27 c #Conflicts: 14000 | #Constraints: 26201 113.83/114.27 c #Conflicts: 15000 | #Constraints: 27201 113.83/114.27 c #Conflicts: 16000 | #Constraints: 28201 113.83/114.27 c INPROCESSING 113.83/114.27 c GARBAGE COLLECT 113.83/114.27 c #Conflicts: 17000 | #Constraints: 24497 113.83/114.27 c #Conflicts: 18000 | #Constraints: 25497 113.83/114.27 c #Conflicts: 19000 | #Constraints: 26497 113.83/114.27 c #Conflicts: 20000 | #Constraints: 27498 113.83/114.27 c INPROCESSING 113.83/114.27 c GARBAGE COLLECT 113.83/114.27 c #Conflicts: 21000 | #Constraints: 24268 113.83/114.27 c #Conflicts: 22000 | #Constraints: 25268 113.83/114.27 c #Conflicts: 23000 | #Constraints: 26268 113.83/114.27 c #Conflicts: 24000 | #Constraints: 27268 113.83/114.27 c INPROCESSING 113.83/114.27 c GARBAGE COLLECT 113.83/114.27 c #Conflicts: 25000 | #Constraints: 24444 113.83/114.27 c #Conflicts: 26000 | #Constraints: 25444 113.83/114.27 c #Conflicts: 27000 | #Constraints: 26444 113.83/114.27 c #Conflicts: 28000 | #Constraints: 27444 113.83/114.27 c #Conflicts: 29000 | #Constraints: 28444 113.83/114.27 c #Conflicts: 30000 | #Constraints: 29444 113.83/114.27 c #Conflicts: 31000 | #Constraints: 30444 113.83/114.27 c #Conflicts: 32000 | #Constraints: 31444 113.83/114.27 c #Conflicts: 33000 | #Constraints: 32444 113.83/114.27 c #Conflicts: 34000 | #Constraints: 33444 113.83/114.27 c #Conflicts: 35000 | #Constraints: 34444 113.83/114.27 c #Conflicts: 36000 | #Constraints: 35444 113.83/114.27 c INPROCESSING 113.83/114.27 c GARBAGE COLLECT 113.83/114.27 c rational objective 162 132.98/133.49 c #Conflicts: 37000 | #Constraints: 28498 132.98/133.49 c #Conflicts: 38000 | #Constraints: 29498 132.98/133.49 c #Conflicts: 39000 | #Constraints: 30498 132.98/133.49 c #Conflicts: 40000 | #Constraints: 31498 132.98/133.49 c #Conflicts: 41000 | #Constraints: 32498 132.98/133.49 c INPROCESSING 132.98/133.49 c GARBAGE COLLECT 132.98/133.49 c rational objective 162 191.54/192.14 c #Conflicts: 42000 | #Constraints: 26926 191.54/192.14 c #Conflicts: 43000 | #Constraints: 27926 191.54/192.14 c #Conflicts: 44000 | #Constraints: 28926 191.54/192.14 c #Conflicts: 45000 | #Constraints: 29926 191.54/192.14 c #Conflicts: 46000 | #Constraints: 30926 191.54/192.14 c #Conflicts: 47000 | #Constraints: 31926 191.54/192.14 c #Conflicts: 48000 | #Constraints: 32926 191.54/192.14 c #Conflicts: 49000 | #Constraints: 33927 191.54/192.14 c #Conflicts: 50000 | #Constraints: 34927 191.54/192.14 c #Conflicts: 51000 | #Constraints: 35927 191.54/192.14 c #Conflicts: 52000 | #Constraints: 36927 191.54/192.14 c #Conflicts: 53000 | #Constraints: 37927 191.54/192.14 c #Conflicts: 54000 | #Constraints: 38927 191.54/192.14 c #Conflicts: 55000 | #Constraints: 39927 191.54/192.14 c #Conflicts: 56000 | #Constraints: 40927 191.54/192.14 c INPROCESSING 191.54/192.14 c GARBAGE COLLECT 191.54/192.14 c rational objective 162 217.85/218.51 c #Conflicts: 57000 | #Constraints: 31335 217.85/218.51 c #Conflicts: 58000 | #Constraints: 32335 217.85/218.51 c #Conflicts: 59000 | #Constraints: 33335 217.85/218.51 c #Conflicts: 60000 | #Constraints: 34335 217.85/218.51 c #Conflicts: 61000 | #Constraints: 35335 217.85/218.51 c #Conflicts: 62000 | #Constraints: 36335 217.85/218.51 c INPROCESSING 217.85/218.51 c GARBAGE COLLECT 217.85/218.51 c rational objective 162 447.45/448.71 c #Conflicts: 63000 | #Constraints: 28765 447.45/448.71 c #Conflicts: 64000 | #Constraints: 29765 447.45/448.71 c #Conflicts: 65000 | #Constraints: 30765 447.45/448.71 c #Conflicts: 66000 | #Constraints: 31765 447.45/448.71 c #Conflicts: 67000 | #Constraints: 32766 447.45/448.71 c #Conflicts: 68000 | #Constraints: 33766 447.45/448.71 c #Conflicts: 69000 | #Constraints: 34766 447.45/448.71 c #Conflicts: 70000 | #Constraints: 35766 447.45/448.71 c #Conflicts: 71000 | #Constraints: 36766 447.45/448.71 c #Conflicts: 72000 | #Constraints: 37766 447.45/448.71 c #Conflicts: 73000 | #Constraints: 38766 447.45/448.71 c #Conflicts: 74000 | #Constraints: 39766 447.45/448.71 c #Conflicts: 75000 | #Constraints: 40766 447.45/448.71 c #Conflicts: 76000 | #Constraints: 41766 447.45/448.71 c #Conflicts: 77000 | #Constraints: 42766 447.45/448.71 c #Conflicts: 78000 | #Constraints: 43766 447.45/448.71 c #Conflicts: 79000 | #Constraints: 44766 447.45/448.71 c #Conflicts: 80000 | #Constraints: 45766 447.45/448.71 c INPROCESSING 447.45/448.71 c GARBAGE COLLECT 447.45/448.71 c #Conflicts: 81000 | #Constraints: 33786 447.45/448.71 c #Conflicts: 82000 | #Constraints: 34786 447.45/448.71 c #Conflicts: 83000 | #Constraints: 35786 447.45/448.71 c #Conflicts: 84000 | #Constraints: 36786 447.45/448.71 c #Conflicts: 85000 | #Constraints: 37787 447.45/448.71 c #Conflicts: 86000 | #Constraints: 38787 447.45/448.71 c #Conflicts: 87000 | #Constraints: 39787 447.45/448.71 c #Conflicts: 88000 | #Constraints: 40787 447.45/448.71 c INPROCESSING 447.45/448.71 c GARBAGE COLLECT 447.45/448.71 c #Conflicts: 89000 | #Constraints: 31252 447.45/448.71 c #Conflicts: 90000 | #Constraints: 32252 447.45/448.71 c #Conflicts: 91000 | #Constraints: 33252 447.45/448.71 c #Conflicts: 92000 | #Constraints: 34252 447.45/448.71 c #Conflicts: 93000 | #Constraints: 35252 447.45/448.71 c #Conflicts: 94000 | #Constraints: 36252 447.45/448.71 c #Conflicts: 95000 | #Constraints: 37252 447.45/448.71 c #Conflicts: 96000 | #Constraints: 38252 447.45/448.71 c #Conflicts: 97000 | #Constraints: 39252 447.45/448.71 c #Conflicts: 98000 | #Constraints: 40252 447.45/448.71 c #Conflicts: 99000 | #Constraints: 41252 447.45/448.71 c #Conflicts: 100000 | #Constraints: 42252 447.45/448.71 c #Conflicts: 101000 | #Constraints: 43252 447.45/448.71 c #Conflicts: 102000 | #Constraints: 44252 447.45/448.71 c #Conflicts: 103000 | #Constraints: 45252 447.45/448.71 c #Conflicts: 104000 | #Constraints: 46253 447.45/448.71 c #Conflicts: 105000 | #Constraints: 47253 447.45/448.71 c #Conflicts: 106000 | #Constraints: 48253 447.45/448.71 c #Conflicts: 107000 | #Constraints: 49253 447.45/448.71 c #Conflicts: 108000 | #Constraints: 50253 447.45/448.71 c #Conflicts: 109000 | #Constraints: 51253 447.45/448.71 c INPROCESSING 447.45/448.71 c GARBAGE COLLECT 447.45/448.71 c rational objective 162 544.79/546.32 c #Conflicts: 110000 | #Constraints: 36622 544.79/546.32 c #Conflicts: 111000 | #Constraints: 37622 544.79/546.32 c #Conflicts: 112000 | #Constraints: 38622 544.79/546.32 c #Conflicts: 113000 | #Constraints: 39622 544.79/546.32 c #Conflicts: 114000 | #Constraints: 40622 544.79/546.32 c #Conflicts: 115000 | #Constraints: 41622 544.79/546.32 c #Conflicts: 116000 | #Constraints: 42622 544.79/546.32 c #Conflicts: 117000 | #Constraints: 43623 544.79/546.32 c #Conflicts: 118000 | #Constraints: 44623 544.79/546.32 c INPROCESSING 544.79/546.32 c GARBAGE COLLECT 544.79/546.32 c #Conflicts: 119000 | #Constraints: 33195 544.79/546.32 c #Conflicts: 120000 | #Constraints: 34195 544.79/546.32 c #Conflicts: 121000 | #Constraints: 35195 544.79/546.32 c #Conflicts: 122000 | #Constraints: 36195 544.79/546.32 c #Conflicts: 123000 | #Constraints: 37195 544.79/546.32 c #Conflicts: 124000 | #Constraints: 38195 544.79/546.32 c #Conflicts: 125000 | #Constraints: 39195 544.79/546.32 c #Conflicts: 126000 | #Constraints: 40195 544.79/546.32 c #Conflicts: 127000 | #Constraints: 41195 544.79/546.32 c #Conflicts: 128000 | #Constraints: 42195 544.79/546.32 c #Conflicts: 129000 | #Constraints: 43195 544.79/546.32 c #Conflicts: 130000 | #Constraints: 44195 544.79/546.32 c #Conflicts: 131000 | #Constraints: 45195 544.79/546.32 c #Conflicts: 132000 | #Constraints: 46195 544.79/546.32 c #Conflicts: 133000 | #Constraints: 47195 544.79/546.32 c #Conflicts: 134000 | #Constraints: 48195 544.79/546.32 c #Conflicts: 135000 | #Constraints: 49195 544.79/546.32 c #Conflicts: 136000 | #Constraints: 50195 544.79/546.32 c #Conflicts: 137000 | #Constraints: 51195 544.79/546.32 c #Conflicts: 138000 | #Constraints: 52195 544.79/546.32 c #Conflicts: 139000 | #Constraints: 53195 544.79/546.32 c #Conflicts: 140000 | #Constraints: 54195 544.79/546.32 c #Conflicts: 141000 | #Constraints: 55195 544.79/546.32 c #Conflicts: 142000 | #Constraints: 56195 544.79/546.32 c INPROCESSING 544.79/546.32 c GARBAGE COLLECT 544.79/546.32 c rational objective 162 571.72/573.38 c #Conflicts: 143000 | #Constraints: 39153 571.72/573.38 c #Conflicts: 144000 | #Constraints: 40153 571.72/573.38 c #Conflicts: 145000 | #Constraints: 41153 571.72/573.38 c #Conflicts: 146000 | #Constraints: 42153 571.72/573.38 c #Conflicts: 147000 | #Constraints: 43153 571.72/573.38 c #Conflicts: 148000 | #Constraints: 44153 571.72/573.38 c #Conflicts: 149000 | #Constraints: 45153 571.72/573.38 c #Conflicts: 150000 | #Constraints: 46153 571.72/573.38 c #Conflicts: 151000 | #Constraints: 47153 571.72/573.38 c #Conflicts: 152000 | #Constraints: 48153 571.72/573.38 c #Conflicts: 153000 | #Constraints: 49153 571.72/573.38 c INPROCESSING 571.72/573.38 c GARBAGE COLLECT 571.72/573.38 c rational objective 162 982.61/985.33 c #Conflicts: 154000 | #Constraints: 36284 982.61/985.33 c #Conflicts: 155000 | #Constraints: 37284 982.61/985.33 c #Conflicts: 156000 | #Constraints: 38284 982.61/985.33 c #Conflicts: 157000 | #Constraints: 39284 982.61/985.33 c #Conflicts: 158000 | #Constraints: 40284 982.61/985.33 c #Conflicts: 159000 | #Constraints: 41285 982.61/985.33 c #Conflicts: 160000 | #Constraints: 42286 982.61/985.33 c #Conflicts: 161000 | #Constraints: 43287 982.61/985.33 c #Conflicts: 162000 | #Constraints: 44287 982.61/985.33 c #Conflicts: 163000 | #Constraints: 45287 982.61/985.33 c #Conflicts: 164000 | #Constraints: 46287 982.61/985.33 c #Conflicts: 165000 | #Constraints: 47287 982.61/985.33 c #Conflicts: 166000 | #Constraints: 48287 982.61/985.33 c #Conflicts: 167000 | #Constraints: 49287 982.61/985.33 c #Conflicts: 168000 | #Constraints: 50287 982.61/985.33 c #Conflicts: 169000 | #Constraints: 51287 982.61/985.33 c #Conflicts: 170000 | #Constraints: 52287 982.61/985.33 c #Conflicts: 171000 | #Constraints: 53287 982.61/985.33 c #Conflicts: 172000 | #Constraints: 54287 982.61/985.33 c #Conflicts: 173000 | #Constraints: 55287 982.61/985.33 c #Conflicts: 174000 | #Constraints: 56288 982.61/985.33 c #Conflicts: 175000 | #Constraints: 57288 982.61/985.33 c #Conflicts: 176000 | #Constraints: 58288 982.61/985.33 c #Conflicts: 177000 | #Constraints: 59288 982.61/985.33 c #Conflicts: 178000 | #Constraints: 60288 982.61/985.33 c #Conflicts: 179000 | #Constraints: 61288 982.61/985.33 c #Conflicts: 180000 | #Constraints: 62288 982.61/985.33 c INPROCESSING 982.61/985.33 c GARBAGE COLLECT 982.61/985.33 c #Conflicts: 181000 | #Constraints: 42497 982.61/985.33 c #Conflicts: 182000 | #Constraints: 43497 982.61/985.33 c #Conflicts: 183000 | #Constraints: 44497 982.61/985.33 c #Conflicts: 184000 | #Constraints: 45497 982.61/985.33 c #Conflicts: 185000 | #Constraints: 46497 982.61/985.33 c #Conflicts: 186000 | #Constraints: 47497 982.61/985.33 c #Conflicts: 187000 | #Constraints: 48497 982.61/985.33 c #Conflicts: 188000 | #Constraints: 49497 982.61/985.33 c #Conflicts: 189000 | #Constraints: 50497 982.61/985.33 c #Conflicts: 190000 | #Constraints: 51498 982.61/985.33 c #Conflicts: 191000 | #Constraints: 52498 982.61/985.33 c INPROCESSING 982.61/985.33 c GARBAGE COLLECT 982.61/985.33 c #Conflicts: 192000 | #Constraints: 37879 982.61/985.33 c #Conflicts: 193000 | #Constraints: 38879 982.61/985.33 c #Conflicts: 194000 | #Constraints: 39879 982.61/985.33 c #Conflicts: 195000 | #Constraints: 40879 982.61/985.33 c #Conflicts: 196000 | #Constraints: 41879 982.61/985.33 c #Conflicts: 197000 | #Constraints: 42879 982.61/985.33 c #Conflicts: 198000 | #Constraints: 43879 982.61/985.33 c #Conflicts: 199000 | #Constraints: 44879 982.61/985.33 c #Conflicts: 200000 | #Constraints: 45879 982.61/985.33 c #Conflicts: 201000 | #Constraints: 46879 982.61/985.33 c #Conflicts: 202000 | #Constraints: 47879 982.61/985.33 c #Conflicts: 203000 | #Constraints: 48879 982.61/985.33 c #Conflicts: 204000 | #Constraints: 49880 982.61/985.33 c #Conflicts: 205000 | #Constraints: 50880 982.61/985.33 c #Conflicts: 206000 | #Constraints: 51880 982.61/985.33 c #Conflicts: 207000 | #Constraints: 52880 982.61/985.33 c #Conflicts: 208000 | #Constraints: 53880 982.61/985.33 c #Conflicts: 209000 | #Constraints: 54880 982.61/985.33 c #Conflicts: 210000 | #Constraints: 55880 982.61/985.33 c #Conflicts: 211000 | #Constraints: 56880 982.61/985.33 c #Conflicts: 212000 | #Constraints: 57880 982.61/985.33 c #Conflicts: 213000 | #Constraints: 58880 982.61/985.33 c #Conflicts: 214000 | #Constraints: 59880 982.61/985.33 c #Conflicts: 215000 | #Constraints: 60880 982.61/985.33 c #Conflicts: 216000 | #Constraints: 61880 982.61/985.33 c #Conflicts: 217000 | #Constraints: 62880 982.61/985.33 c #Conflicts: 218000 | #Constraints: 63880 982.61/985.33 c #Conflicts: 219000 | #Constraints: 64880 982.61/985.33 c #Conflicts: 220000 | #Constraints: 65880 982.61/985.33 c #Conflicts: 221000 | #Constraints: 66880 982.61/985.33 c #Conflicts: 222000 | #Constraints: 67881 982.61/985.33 c INPROCESSING 982.61/985.33 c GARBAGE COLLECT 982.61/985.33 c rational objective 162 1203.40/1206.73 c #Conflicts: 223000 | #Constraints: 45097 1203.40/1206.73 c #Conflicts: 224000 | #Constraints: 46097 1203.40/1206.73 c #Conflicts: 225000 | #Constraints: 47097 1203.40/1206.73 c #Conflicts: 226000 | #Constraints: 48097 1203.40/1206.73 c #Conflicts: 227000 | #Constraints: 49097 1203.40/1206.73 c #Conflicts: 228000 | #Constraints: 50097 1203.40/1206.73 c #Conflicts: 229000 | #Constraints: 51097 1203.40/1206.73 c #Conflicts: 230000 | #Constraints: 52097 1203.40/1206.73 c #Conflicts: 231000 | #Constraints: 53097 1203.40/1206.73 c #Conflicts: 232000 | #Constraints: 54097 1203.40/1206.73 c #Conflicts: 233000 | #Constraints: 55097 1203.40/1206.73 c #Conflicts: 234000 | #Constraints: 56097 1203.40/1206.73 c #Conflicts: 235000 | #Constraints: 57097 1203.40/1206.73 c INPROCESSING 1203.40/1206.73 c GARBAGE COLLECT 1203.40/1206.73 c #Conflicts: 236000 | #Constraints: 40295 1203.40/1206.73 c #Conflicts: 237000 | #Constraints: 41295 1203.40/1206.73 c #Conflicts: 238000 | #Constraints: 42295 1203.40/1206.73 c #Conflicts: 239000 | #Constraints: 43295 1203.40/1206.73 c #Conflicts: 240000 | #Constraints: 44295 1203.40/1206.73 c #Conflicts: 241000 | #Constraints: 45295 1203.40/1206.73 c #Conflicts: 242000 | #Constraints: 46295 1203.40/1206.73 c #Conflicts: 243000 | #Constraints: 47296 1203.40/1206.73 c #Conflicts: 244000 | #Constraints: 48296 1203.40/1206.73 c #Conflicts: 245000 | #Constraints: 49296 1203.40/1206.73 c #Conflicts: 246000 | #Constraints: 50296 1203.40/1206.73 c #Conflicts: 247000 | #Constraints: 51296 1203.40/1206.73 c #Conflicts: 248000 | #Constraints: 52296 1203.40/1206.73 c #Conflicts: 249000 | #Constraints: 53296 1203.40/1206.73 c #Conflicts: 250000 | #Constraints: 54296 1203.40/1206.73 c #Conflicts: 251000 | #Constraints: 55296 1203.40/1206.73 c #Conflicts: 252000 | #Constraints: 56296 1203.40/1206.73 c #Conflicts: 253000 | #Constraints: 57296 1203.40/1206.73 c #Conflicts: 254000 | #Constraints: 58296 1203.40/1206.73 c #Conflicts: 255000 | #Constraints: 59296 1203.40/1206.73 c #Conflicts: 256000 | #Constraints: 60296 1203.40/1206.73 c #Conflicts: 257000 | #Constraints: 61296 1203.40/1206.73 c #Conflicts: 258000 | #Constraints: 62296 1203.40/1206.73 c #Conflicts: 259000 | #Constraints: 63296 1203.40/1206.73 c #Conflicts: 260000 | #Constraints: 64296 1203.40/1206.73 c #Conflicts: 261000 | #Constraints: 65296 1203.40/1206.73 c #Conflicts: 262000 | #Constraints: 66296 1203.40/1206.73 c #Conflicts: 263000 | #Constraints: 67297 1203.40/1206.73 c #Conflicts: 264000 | #Constraints: 68297 1203.40/1206.73 c #Conflicts: 265000 | #Constraints: 69297 1203.40/1206.73 c #Conflicts: 266000 | #Constraints: 70297 1203.40/1206.73 c #Conflicts: 267000 | #Constraints: 71297 1203.40/1206.73 c #Conflicts: 268000 | #Constraints: 72297 1203.40/1206.73 c INPROCESSING 1203.40/1206.73 c GARBAGE COLLECT 1203.40/1206.73 c #Conflicts: 269000 | #Constraints: 47283 1203.40/1206.73 c #Conflicts: 270000 | #Constraints: 48283 1203.40/1206.73 c #Conflicts: 271000 | #Constraints: 49283 1203.40/1206.73 c #Conflicts: 272000 | #Constraints: 50283 1203.40/1206.73 c #Conflicts: 273000 | #Constraints: 51283 1203.40/1206.73 c #Conflicts: 274000 | #Constraints: 52283 1203.40/1206.73 c #Conflicts: 275000 | #Constraints: 53283 1203.40/1206.73 c #Conflicts: 276000 | #Constraints: 54283 1203.40/1206.73 c #Conflicts: 277000 | #Constraints: 55283 1203.40/1206.73 c #Conflicts: 278000 | #Constraints: 56283 1203.40/1206.73 c #Conflicts: 279000 | #Constraints: 57283 1203.40/1206.73 c #Conflicts: 280000 | #Constraints: 58283 1203.40/1206.73 c #Conflicts: 281000 | #Constraints: 59283 1203.40/1206.73 c #Conflicts: 282000 | #Constraints: 60283 1203.40/1206.73 c INPROCESSING 1203.40/1206.73 c GARBAGE COLLECT 1203.40/1206.73 c rational objective 162 1261.35/1264.84 c #Conflicts: 283000 | #Constraints: 42305 1261.35/1264.84 c #Conflicts: 284000 | #Constraints: 43305 1261.35/1264.84 c #Conflicts: 285000 | #Constraints: 44305 1261.35/1264.84 c #Conflicts: 286000 | #Constraints: 45305 1261.35/1264.84 c #Conflicts: 287000 | #Constraints: 46305 1261.35/1264.84 c #Conflicts: 288000 | #Constraints: 47305 1261.35/1264.84 c #Conflicts: 289000 | #Constraints: 48305 1261.35/1264.84 c #Conflicts: 290000 | #Constraints: 49305 1261.35/1264.84 c #Conflicts: 291000 | #Constraints: 50305 1261.35/1264.84 c #Conflicts: 292000 | #Constraints: 51305 1261.35/1264.84 c #Conflicts: 293000 | #Constraints: 52305 1261.35/1264.84 c #Conflicts: 294000 | #Constraints: 53305 1261.35/1264.84 c #Conflicts: 295000 | #Constraints: 54305 1261.35/1264.84 c #Conflicts: 296000 | #Constraints: 55305 1261.35/1264.84 c #Conflicts: 297000 | #Constraints: 56305 1261.35/1264.84 c #Conflicts: 298000 | #Constraints: 57305 1261.35/1264.84 c #Conflicts: 299000 | #Constraints: 58305 1261.35/1264.84 c #Conflicts: 300000 | #Constraints: 59305 1261.35/1264.84 c #Conflicts: 301000 | #Constraints: 60305 1261.35/1264.84 c #Conflicts: 302000 | #Constraints: 61305 1261.35/1264.84 c #Conflicts: 303000 | #Constraints: 62305 1261.35/1264.84 c #Conflicts: 304000 | #Constraints: 63305 1261.35/1264.84 c #Conflicts: 305000 | #Constraints: 64305 1261.35/1264.84 c #Conflicts: 306000 | #Constraints: 65305 1261.35/1264.84 c #Conflicts: 307000 | #Constraints: 66305 1261.35/1264.84 c #Conflicts: 308000 | #Constraints: 67305 1261.35/1264.84 c #Conflicts: 309000 | #Constraints: 68305 1261.35/1264.84 c #Conflicts: 310000 | #Constraints: 69305 1261.35/1264.84 c #Conflicts: 311000 | #Constraints: 70305 1261.35/1264.84 c #Conflicts: 312000 | #Constraints: 71305 1261.35/1264.84 c #Conflicts: 313000 | #Constraints: 72305 1261.35/1264.84 c #Conflicts: 314000 | #Constraints: 73305 1261.35/1264.84 c #Conflicts: 315000 | #Constraints: 74305 1261.35/1264.84 c #Conflicts: 316000 | #Constraints: 75305 1261.35/1264.84 c #Conflicts: 317000 | #Constraints: 76305 1261.35/1264.84 c #Conflicts: 318000 | #Constraints: 77305 1261.35/1264.84 c #Conflicts: 319000 | #Constraints: 78305 1261.35/1264.84 c INPROCESSING 1261.35/1264.84 c GARBAGE COLLECT 1261.35/1264.84 c rational objective 162 1402.86/1406.71 c #Conflicts: 320000 | #Constraints: 50352 1402.86/1406.71 c #Conflicts: 321000 | #Constraints: 51352 1402.86/1406.71 c #Conflicts: 322000 | #Constraints: 52352 1402.86/1406.71 c #Conflicts: 323000 | #Constraints: 53352 1402.86/1406.71 c #Conflicts: 324000 | #Constraints: 54352 1402.86/1406.71 c #Conflicts: 325000 | #Constraints: 55352 1402.86/1406.71 c #Conflicts: 326000 | #Constraints: 56353 1402.86/1406.71 c #Conflicts: 327000 | #Constraints: 57353 1402.86/1406.71 c #Conflicts: 328000 | #Constraints: 58353 1402.86/1406.71 c #Conflicts: 329000 | #Constraints: 59353 1402.86/1406.71 c #Conflicts: 330000 | #Constraints: 60353 1402.86/1406.71 c #Conflicts: 331000 | #Constraints: 61353 1402.86/1406.71 c #Conflicts: 332000 | #Constraints: 62353 1402.86/1406.71 c #Conflicts: 333000 | #Constraints: 63353 1402.86/1406.71 c #Conflicts: 334000 | #Constraints: 64353 1402.86/1406.71 c #Conflicts: 335000 | #Constraints: 65353 1402.86/1406.71 c INPROCESSING 1402.86/1406.71 c GARBAGE COLLECT 1402.86/1406.71 c rational objective 162 1574.89/1579.20 c #Conflicts: 336000 | #Constraints: 45532 1574.89/1579.20 c #Conflicts: 337000 | #Constraints: 46532 1574.89/1579.20 c #Conflicts: 338000 | #Constraints: 47532 1574.89/1579.20 c #Conflicts: 339000 | #Constraints: 48532 1574.89/1579.20 c #Conflicts: 340000 | #Constraints: 49532 1574.89/1579.20 c #Conflicts: 341000 | #Constraints: 50532 1574.89/1579.20 c #Conflicts: 342000 | #Constraints: 51533 1574.89/1579.20 c #Conflicts: 343000 | #Constraints: 52533 1574.89/1579.20 c #Conflicts: 344000 | #Constraints: 53533 1574.89/1579.20 c #Conflicts: 345000 | #Constraints: 54533 1574.89/1579.20 c #Conflicts: 346000 | #Constraints: 55533 1574.89/1579.20 c #Conflicts: 347000 | #Constraints: 56533 1574.89/1579.20 c #Conflicts: 348000 | #Constraints: 57533 1574.89/1579.20 c #Conflicts: 349000 | #Constraints: 58534 1574.89/1579.20 c #Conflicts: 350000 | #Constraints: 59534 1574.89/1579.20 c #Conflicts: 351000 | #Constraints: 60534 1574.89/1579.20 c #Conflicts: 352000 | #Constraints: 61534 1574.89/1579.20 c #Conflicts: 353000 | #Constraints: 62534 1574.89/1579.20 c #Conflicts: 354000 | #Constraints: 63534 1574.89/1579.20 c #Conflicts: 355000 | #Constraints: 64534 1574.89/1579.20 c #Conflicts: 356000 | #Constraints: 65534 1574.89/1579.20 c #Conflicts: 357000 | #Constraints: 66534 1574.89/1579.20 c #Conflicts: 358000 | #Constraints: 67534 1574.89/1579.20 c #Conflicts: 359000 | #Constraints: 68534 1574.89/1579.20 c #Conflicts: 360000 | #Constraints: 69534 1574.89/1579.20 c #Conflicts: 361000 | #Constraints: 70534 1574.89/1579.20 c #Conflicts: 362000 | #Constraints: 71534 1574.89/1579.20 c #Conflicts: 363000 | #Constraints: 72535 1574.89/1579.20 c #Conflicts: 364000 | #Constraints: 73535 1574.89/1579.20 c #Conflicts: 365000 | #Constraints: 74535 1574.89/1579.20 c #Conflicts: 366000 | #Constraints: 75535 1574.89/1579.20 c #Conflicts: 367000 | #Constraints: 76535 1574.89/1579.20 c #Conflicts: 368000 | #Constraints: 77535 1574.89/1579.20 c #Conflicts: 369000 | #Constraints: 78535 1574.89/1579.20 c #Conflicts: 370000 | #Constraints: 79535 1574.89/1579.20 c #Conflicts: 371000 | #Constraints: 80535 1574.89/1579.20 c #Conflicts: 372000 | #Constraints: 81535 1574.89/1579.20 c #Conflicts: 373000 | #Constraints: 82535 1574.89/1579.20 c #Conflicts: 374000 | #Constraints: 83536 1574.89/1579.20 c INPROCESSING 1574.89/1579.20 c GARBAGE COLLECT 1574.89/1579.20 c rational objective 162 1650.68/1655.20 c #Conflicts: 375000 | #Constraints: 53196 1650.68/1655.20 c #Conflicts: 376000 | #Constraints: 54196 1650.68/1655.20 c #Conflicts: 377000 | #Constraints: 55196 1650.68/1655.20 c #Conflicts: 378000 | #Constraints: 56196 1650.68/1655.20 c #Conflicts: 379000 | #Constraints: 57196 1650.68/1655.20 c #Conflicts: 380000 | #Constraints: 58196 1650.68/1655.20 c #Conflicts: 381000 | #Constraints: 59196 1650.68/1655.20 c #Conflicts: 382000 | #Constraints: 60196 1650.68/1655.20 c #Conflicts: 383000 | #Constraints: 61196 1650.68/1655.20 c #Conflicts: 384000 | #Constraints: 62196 1650.68/1655.20 c #Conflicts: 385000 | #Constraints: 63196 1650.68/1655.20 c #Conflicts: 386000 | #Constraints: 64196 1650.68/1655.20 c #Conflicts: 387000 | #Constraints: 65196 1650.68/1655.20 c #Conflicts: 388000 | #Constraints: 66197 1650.68/1655.20 c #Conflicts: 389000 | #Constraints: 67197 1650.68/1655.20 c #Conflicts: 390000 | #Constraints: 68197 1650.68/1655.20 c #Conflicts: 391000 | #Constraints: 69198 1650.68/1655.20 c INPROCESSING 1650.68/1655.20 c GARBAGE COLLECT 1650.68/1655.20 c rational objective 162 1944.28/1949.61 c #Conflicts: 392000 | #Constraints: 48055 1944.28/1949.61 c #Conflicts: 393000 | #Constraints: 49055 1944.28/1949.61 c #Conflicts: 394000 | #Constraints: 50055 1944.28/1949.61 c #Conflicts: 395000 | #Constraints: 51055 1944.28/1949.61 c #Conflicts: 396000 | #Constraints: 52055 1944.28/1949.61 c #Conflicts: 397000 | #Constraints: 53055 1944.28/1949.61 c #Conflicts: 398000 | #Constraints: 54056 1944.28/1949.61 c #Conflicts: 399000 | #Constraints: 55056 1944.28/1949.61 c #Conflicts: 400000 | #Constraints: 56056 1944.28/1949.61 c #Conflicts: 401000 | #Constraints: 57056 1944.28/1949.61 c #Conflicts: 402000 | #Constraints: 58056 1944.28/1949.61 c #Conflicts: 403000 | #Constraints: 59056 1944.28/1949.61 c #Conflicts: 404000 | #Constraints: 60056 1944.28/1949.61 c #Conflicts: 405000 | #Constraints: 61056 1944.28/1949.61 c #Conflicts: 406000 | #Constraints: 62056 1944.28/1949.61 c #Conflicts: 407000 | #Constraints: 63056 1944.28/1949.61 c #Conflicts: 408000 | #Constraints: 64056 1944.28/1949.61 c #Conflicts: 409000 | #Constraints: 65056 1944.28/1949.61 c #Conflicts: 410000 | #Constraints: 66056 1944.28/1949.61 c #Conflicts: 411000 | #Constraints: 67056 1944.28/1949.61 c #Conflicts: 412000 | #Constraints: 68056 1944.28/1949.61 c #Conflicts: 413000 | #Constraints: 69056 1944.28/1949.61 c #Conflicts: 414000 | #Constraints: 70056 1944.28/1949.61 c #Conflicts: 415000 | #Constraints: 71056 1944.28/1949.61 c #Conflicts: 416000 | #Constraints: 72056 1944.28/1949.61 c #Conflicts: 417000 | #Constraints: 73056 1944.28/1949.61 c #Conflicts: 418000 | #Constraints: 74056 1944.28/1949.61 c #Conflicts: 419000 | #Constraints: 75056 1944.28/1949.61 c #Conflicts: 420000 | #Constraints: 76056 1944.28/1949.61 c #Conflicts: 421000 | #Constraints: 77056 1944.28/1949.61 c #Conflicts: 422000 | #Constraints: 78056 1944.28/1949.61 c #Conflicts: 423000 | #Constraints: 79056 1944.28/1949.61 c #Conflicts: 424000 | #Constraints: 80056 1944.28/1949.61 c #Conflicts: 425000 | #Constraints: 81056 1944.28/1949.61 c #Conflicts: 426000 | #Constraints: 82056 1944.28/1949.61 c #Conflicts: 427000 | #Constraints: 83056 1944.28/1949.61 c #Conflicts: 428000 | #Constraints: 84056 1944.28/1949.61 c #Conflicts: 429000 | #Constraints: 85056 1944.28/1949.61 c #Conflicts: 430000 | #Constraints: 86056 1944.28/1949.61 c #Conflicts: 431000 | #Constraints: 87057 1944.28/1949.61 c #Conflicts: 432000 | #Constraints: 88057 1944.28/1949.61 c #Conflicts: 433000 | #Constraints: 89057 1944.28/1949.61 c #Conflicts: 434000 | #Constraints: 90057 1944.28/1949.61 c INPROCESSING 1944.28/1949.61 c GARBAGE COLLECT 1944.28/1949.61 c rational objective 162 2416.67/2423.35 c #Conflicts: 435000 | #Constraints: 56696 2416.67/2423.35 c #Conflicts: 436000 | #Constraints: 57696 2416.67/2423.35 c #Conflicts: 437000 | #Constraints: 58696 2416.67/2423.35 c #Conflicts: 438000 | #Constraints: 59696 2416.67/2423.35 c #Conflicts: 439000 | #Constraints: 60696 2416.67/2423.35 c #Conflicts: 440000 | #Constraints: 61696 2416.67/2423.35 c #Conflicts: 441000 | #Constraints: 62696 2416.67/2423.35 c #Conflicts: 442000 | #Constraints: 63696 2416.67/2423.35 c #Conflicts: 443000 | #Constraints: 64696 2416.67/2423.35 c #Conflicts: 444000 | #Constraints: 65696 2416.67/2423.35 c #Conflicts: 445000 | #Constraints: 66696 2416.67/2423.35 c #Conflicts: 446000 | #Constraints: 67697 2416.67/2423.35 c #Conflicts: 447000 | #Constraints: 68698 2416.67/2423.35 c #Conflicts: 448000 | #Constraints: 69699 2416.67/2423.35 c #Conflicts: 449000 | #Constraints: 70700 2416.67/2423.35 c #Conflicts: 450000 | #Constraints: 71700 2416.67/2423.35 c #Conflicts: 451000 | #Constraints: 72700 2416.67/2423.35 c #Conflicts: 452000 | #Constraints: 73700 2416.67/2423.35 c INPROCESSING 2416.67/2423.35 c GARBAGE COLLECT 2416.67/2423.35 c #Conflicts: 453000 | #Constraints: 50304 2416.67/2423.35 c #Conflicts: 454000 | #Constraints: 51304 2416.67/2423.35 c #Conflicts: 455000 | #Constraints: 52305 2416.67/2423.35 c #Conflicts: 456000 | #Constraints: 53305 2416.67/2423.35 c #Conflicts: 457000 | #Constraints: 54305 2416.67/2423.35 c #Conflicts: 458000 | #Constraints: 55305 2416.67/2423.35 c #Conflicts: 459000 | #Constraints: 56305 2416.67/2423.35 c #Conflicts: 460000 | #Constraints: 57305 2416.67/2423.35 c #Conflicts: 461000 | #Constraints: 58305 2416.67/2423.35 c #Conflicts: 462000 | #Constraints: 59305 2416.67/2423.35 c #Conflicts: 463000 | #Constraints: 60305 2416.67/2423.35 c #Conflicts: 464000 | #Constraints: 61305 2416.67/2423.35 c #Conflicts: 465000 | #Constraints: 62305 2416.67/2423.35 c #Conflicts: 466000 | #Constraints: 63305 2416.67/2423.35 c #Conflicts: 467000 | #Constraints: 64305 2416.67/2423.35 c #Conflicts: 468000 | #Constraints: 65306 2416.67/2423.35 c #Conflicts: 469000 | #Constraints: 66306 2416.67/2423.35 c #Conflicts: 470000 | #Constraints: 67306 2416.67/2423.35 c #Conflicts: 471000 | #Constraints: 68306 2416.67/2423.35 c #Conflicts: 472000 | #Constraints: 69306 2416.67/2423.35 c #Conflicts: 473000 | #Constraints: 70306 2416.67/2423.35 c #Conflicts: 474000 | #Constraints: 71306 2416.67/2423.35 c #Conflicts: 475000 | #Constraints: 72306 2416.67/2423.35 c #Conflicts: 476000 | #Constraints: 73306 2416.67/2423.35 c #Conflicts: 477000 | #Constraints: 74306 2416.67/2423.35 c #Conflicts: 478000 | #Constraints: 75306 2416.67/2423.35 c #Conflicts: 479000 | #Constraints: 76306 2416.67/2423.35 c #Conflicts: 480000 | #Constraints: 77306 2416.67/2423.35 c #Conflicts: 481000 | #Constraints: 78307 2416.67/2423.35 c #Conflicts: 482000 | #Constraints: 79311 2416.67/2423.35 c #Conflicts: 483000 | #Constraints: 80313 2416.67/2423.35 c #Conflicts: 484000 | #Constraints: 81313 2416.67/2423.35 c #Conflicts: 485000 | #Constraints: 82313 2416.67/2423.35 c #Conflicts: 486000 | #Constraints: 83313 2416.67/2423.35 c #Conflicts: 487000 | #Constraints: 84314 2416.67/2423.35 c #Conflicts: 488000 | #Constraints: 85314 2416.67/2423.35 c #Conflicts: 489000 | #Constraints: 86314 2416.67/2423.35 c #Conflicts: 490000 | #Constraints: 87314 2416.67/2423.35 c #Conflicts: 491000 | #Constraints: 88314 2416.67/2423.35 c #Conflicts: 492000 | #Constraints: 89314 2416.67/2423.35 c #Conflicts: 493000 | #Constraints: 90314 2416.67/2423.35 c #Conflicts: 494000 | #Constraints: 91314 2416.67/2423.35 c #Conflicts: 495000 | #Constraints: 92314 2416.67/2423.35 c #Conflicts: 496000 | #Constraints: 93314 2416.67/2423.35 c #Conflicts: 497000 | #Constraints: 94315 2416.67/2423.35 c #Conflicts: 498000 | #Constraints: 95315 2416.67/2423.35 c INPROCESSING 2416.67/2423.35 c GARBAGE COLLECT 2416.67/2423.35 c #Conflicts: 499000 | #Constraints: 59103 2416.67/2423.35 c #Conflicts: 500000 | #Constraints: 60103 2416.67/2423.35 c #Conflicts: 501000 | #Constraints: 61103 2416.67/2423.35 c #Conflicts: 502000 | #Constraints: 62103 2416.67/2423.35 c #Conflicts: 503000 | #Constraints: 63103 2416.67/2423.35 c #Conflicts: 504000 | #Constraints: 64103 2416.67/2423.35 c #Conflicts: 505000 | #Constraints: 65103 2416.67/2423.35 c #Conflicts: 506000 | #Constraints: 66103 2416.67/2423.35 c #Conflicts: 507000 | #Constraints: 67103 2416.67/2423.35 c #Conflicts: 508000 | #Constraints: 68103 2416.67/2423.35 c #Conflicts: 509000 | #Constraints: 69103 2416.67/2423.35 c #Conflicts: 510000 | #Constraints: 70103 2416.67/2423.35 c #Conflicts: 511000 | #Constraints: 71103 2416.67/2423.35 c #Conflicts: 512000 | #Constraints: 72103 2819.27/2827.04 c #Conflicts: 513000 | #Constraints: 73104 2819.27/2827.04 c #Conflicts: 514000 | #Constraints: 74104 2819.27/2827.04 c #Conflicts: 515000 | #Constraints: 75104 2819.27/2827.04 c #Conflicts: 516000 | #Constraints: 76104 2819.27/2827.04 c #Conflicts: 517000 | #Constraints: 77104 2819.27/2827.04 c INPROCESSING 2819.27/2827.04 c GARBAGE COLLECT 2819.27/2827.04 c #Conflicts: 518000 | #Constraints: 51381 2819.27/2827.04 c #Conflicts: 519000 | #Constraints: 52381 2819.27/2827.04 c #Conflicts: 520000 | #Constraints: 53381 2819.27/2827.04 c #Conflicts: 521000 | #Constraints: 54381 2819.27/2827.04 c #Conflicts: 522000 | #Constraints: 55381 2819.27/2827.04 c #Conflicts: 523000 | #Constraints: 56381 2819.27/2827.04 c #Conflicts: 524000 | #Constraints: 57381 2819.27/2827.04 c #Conflicts: 525000 | #Constraints: 58381 2819.27/2827.04 c #Conflicts: 526000 | #Constraints: 59381 2819.27/2827.04 c #Conflicts: 527000 | #Constraints: 60382 2819.27/2827.04 c #Conflicts: 528000 | #Constraints: 61382 2819.27/2827.04 c #Conflicts: 529000 | #Constraints: 62382 2819.27/2827.04 c #Conflicts: 530000 | #Constraints: 63382 2819.27/2827.04 c #Conflicts: 531000 | #Constraints: 64382 2819.27/2827.04 c #Conflicts: 532000 | #Constraints: 65382 2819.27/2827.04 c #Conflicts: 533000 | #Constraints: 66382 2819.27/2827.04 c #Conflicts: 534000 | #Constraints: 67382 2819.27/2827.04 c #Conflicts: 535000 | #Constraints: 68382 2819.27/2827.04 c #Conflicts: 536000 | #Constraints: 69382 2819.27/2827.04 c #Conflicts: 537000 | #Constraints: 70382 2819.27/2827.04 c #Conflicts: 538000 | #Constraints: 71382 2819.27/2827.04 c #Conflicts: 539000 | #Constraints: 72383 2819.27/2827.04 c #Conflicts: 540000 | #Constraints: 73383 2819.27/2827.04 c #Conflicts: 541000 | #Constraints: 74383 2819.27/2827.04 c #Conflicts: 542000 | #Constraints: 75383 2819.27/2827.04 c #Conflicts: 543000 | #Constraints: 76383 2819.27/2827.04 c #Conflicts: 544000 | #Constraints: 77383 2819.27/2827.04 c #Conflicts: 545000 | #Constraints: 78383 2819.27/2827.04 c #Conflicts: 546000 | #Constraints: 79383 2819.27/2827.04 c #Conflicts: 547000 | #Constraints: 80383 2819.27/2827.04 c #Conflicts: 548000 | #Constraints: 81383 2819.27/2827.04 c #Conflicts: 549000 | #Constraints: 82383 2819.27/2827.04 c #Conflicts: 550000 | #Constraints: 83383 2819.27/2827.04 c #Conflicts: 551000 | #Constraints: 84383 2819.27/2827.04 c #Conflicts: 552000 | #Constraints: 85383 2819.27/2827.04 c #Conflicts: 553000 | #Constraints: 86384 2819.27/2827.04 c #Conflicts: 554000 | #Constraints: 87384 2819.27/2827.04 c #Conflicts: 555000 | #Constraints: 88384 2819.27/2827.04 c #Conflicts: 556000 | #Constraints: 89384 2819.27/2827.04 c #Conflicts: 557000 | #Constraints: 90384 2819.27/2827.04 c #Conflicts: 558000 | #Constraints: 91384 2819.27/2827.04 c #Conflicts: 559000 | #Constraints: 92384 2819.27/2827.04 c #Conflicts: 560000 | #Constraints: 93384 2819.27/2827.04 c #Conflicts: 561000 | #Constraints: 94384 2819.27/2827.04 c #Conflicts: 562000 | #Constraints: 95384 2819.27/2827.04 c #Conflicts: 563000 | #Constraints: 96384 2819.27/2827.04 c #Conflicts: 564000 | #Constraints: 97384 2819.27/2827.04 c #Conflicts: 565000 | #Constraints: 98384 2819.27/2827.04 c #Conflicts: 566000 | #Constraints: 99384 2819.27/2827.04 c INPROCESSING 2819.27/2827.04 c GARBAGE COLLECT 2819.27/2827.04 c #Conflicts: 567000 | #Constraints: 61234 2819.27/2827.04 c #Conflicts: 568000 | #Constraints: 62234 2819.27/2827.04 c #Conflicts: 569000 | #Constraints: 63234 2819.27/2827.04 c #Conflicts: 570000 | #Constraints: 64234 2819.27/2827.04 c #Conflicts: 571000 | #Constraints: 65234 2819.27/2827.04 c #Conflicts: 572000 | #Constraints: 66234 2819.27/2827.04 c #Conflicts: 573000 | #Constraints: 67234 2819.27/2827.04 c #Conflicts: 574000 | #Constraints: 68234 2819.27/2827.04 c #Conflicts: 575000 | #Constraints: 69234 2819.27/2827.04 c #Conflicts: 576000 | #Constraints: 70234 2819.27/2827.04 c #Conflicts: 577000 | #Constraints: 71234 2819.27/2827.04 c #Conflicts: 578000 | #Constraints: 72234 2819.27/2827.04 c #Conflicts: 579000 | #Constraints: 73234 2819.27/2827.04 c #Conflicts: 580000 | #Constraints: 74235 2819.27/2827.04 c #Conflicts: 581000 | #Constraints: 75235 2819.27/2827.04 c #Conflicts: 582000 | #Constraints: 76235 2819.27/2827.04 c #Conflicts: 583000 | #Constraints: 77235 2819.27/2827.04 c #Conflicts: 584000 | #Constraints: 78235 2819.27/2827.04 c #Conflicts: 585000 | #Constraints: 79235 2819.27/2827.04 c #Conflicts: 586000 | #Constraints: 80235 2819.27/2827.04 c #Conflicts: 587000 | #Constraints: 81235 2819.27/2827.04 c INPROCESSING 2819.27/2827.04 c GARBAGE COLLECT 2819.27/2827.04 c #Conflicts: 588000 | #Constraints: 54794 2819.27/2827.04 c #Conflicts: 589000 | #Constraints: 55794 3150.82/3159.49 c #Conflicts: 590000 | #Constraints: 56794 3150.82/3159.49 c #Conflicts: 591000 | #Constraints: 57794 3150.82/3159.49 c #Conflicts: 592000 | #Constraints: 58794 3150.82/3159.49 c #Conflicts: 593000 | #Constraints: 59794 3150.82/3159.49 c #Conflicts: 594000 | #Constraints: 60794 3150.82/3159.49 c #Conflicts: 595000 | #Constraints: 61794 3150.82/3159.49 c #Conflicts: 596000 | #Constraints: 62794 3150.82/3159.49 c #Conflicts: 597000 | #Constraints: 63794 3150.82/3159.49 c #Conflicts: 598000 | #Constraints: 64795 3150.82/3159.49 c #Conflicts: 599000 | #Constraints: 65795 3150.82/3159.49 c #Conflicts: 600000 | #Constraints: 66795 3150.82/3159.49 c #Conflicts: 601000 | #Constraints: 67795 3150.82/3159.49 c #Conflicts: 602000 | #Constraints: 68795 3150.82/3159.49 c #Conflicts: 603000 | #Constraints: 69795 3150.82/3159.49 c #Conflicts: 604000 | #Constraints: 70795 3150.82/3159.49 c #Conflicts: 605000 | #Constraints: 71795 3150.82/3159.49 c #Conflicts: 606000 | #Constraints: 72795 3150.82/3159.49 c #Conflicts: 607000 | #Constraints: 73795 3150.82/3159.49 c #Conflicts: 608000 | #Constraints: 74795 3150.82/3159.49 c #Conflicts: 609000 | #Constraints: 75795 3150.82/3159.49 c #Conflicts: 610000 | #Constraints: 76795 3150.82/3159.49 c #Conflicts: 611000 | #Constraints: 77795 3150.82/3159.49 c #Conflicts: 612000 | #Constraints: 78795 3150.82/3159.49 c #Conflicts: 613000 | #Constraints: 79795 3150.82/3159.49 c #Conflicts: 614000 | #Constraints: 80795 3150.82/3159.49 c #Conflicts: 615000 | #Constraints: 81795 3150.82/3159.49 c #Conflicts: 616000 | #Constraints: 82795 3150.82/3159.49 c #Conflicts: 617000 | #Constraints: 83795 3150.82/3159.49 c #Conflicts: 618000 | #Constraints: 84795 3150.82/3159.49 c #Conflicts: 619000 | #Constraints: 85795 3150.82/3159.49 c #Conflicts: 620000 | #Constraints: 86795 3150.82/3159.49 c #Conflicts: 621000 | #Constraints: 87795 3150.82/3159.49 c #Conflicts: 622000 | #Constraints: 88795 3150.82/3159.49 c #Conflicts: 623000 | #Constraints: 89795 3150.82/3159.49 c #Conflicts: 624000 | #Constraints: 90795 3150.82/3159.49 c #Conflicts: 625000 | #Constraints: 91795 3150.82/3159.49 c #Conflicts: 626000 | #Constraints: 92795 3150.82/3159.49 c #Conflicts: 627000 | #Constraints: 93795 3150.82/3159.49 c #Conflicts: 628000 | #Constraints: 94795 3150.82/3159.49 c #Conflicts: 629000 | #Constraints: 95796 3150.82/3159.49 c #Conflicts: 630000 | #Constraints: 96796 3150.82/3159.49 c #Conflicts: 631000 | #Constraints: 97796 3150.82/3159.49 c #Conflicts: 632000 | #Constraints: 98796 3150.82/3159.49 c #Conflicts: 633000 | #Constraints: 99796 3150.82/3159.49 c #Conflicts: 634000 | #Constraints: 100796 3150.82/3159.49 c #Conflicts: 635000 | #Constraints: 101796 3150.82/3159.49 c #Conflicts: 636000 | #Constraints: 102796 3150.82/3159.49 c #Conflicts: 637000 | #Constraints: 103796 3150.82/3159.49 c #Conflicts: 638000 | #Constraints: 104796 3150.82/3159.49 c #Conflicts: 639000 | #Constraints: 105796 3150.82/3159.49 c INPROCESSING 3150.82/3159.49 c GARBAGE COLLECT 3150.82/3159.49 c #Conflicts: 640000 | #Constraints: 64750 3150.82/3159.49 c #Conflicts: 641000 | #Constraints: 65750 3150.82/3159.49 c #Conflicts: 642000 | #Constraints: 66750 3150.82/3159.49 c #Conflicts: 643000 | #Constraints: 67751 3150.82/3159.49 c #Conflicts: 644000 | #Constraints: 68751 3150.82/3159.49 c #Conflicts: 645000 | #Constraints: 69751 3150.82/3159.49 c #Conflicts: 646000 | #Constraints: 70751 3150.82/3159.49 c #Conflicts: 647000 | #Constraints: 71751 3150.82/3159.49 c #Conflicts: 648000 | #Constraints: 72751 3150.82/3159.49 c #Conflicts: 649000 | #Constraints: 73751 3150.82/3159.49 c #Conflicts: 650000 | #Constraints: 74751 3150.82/3159.49 c #Conflicts: 651000 | #Constraints: 75751 3150.82/3159.49 c #Conflicts: 652000 | #Constraints: 76751 3150.82/3159.49 c #Conflicts: 653000 | #Constraints: 77751 3150.82/3159.49 c #Conflicts: 654000 | #Constraints: 78751 3150.82/3159.49 c #Conflicts: 655000 | #Constraints: 79751 3150.82/3159.49 c #Conflicts: 656000 | #Constraints: 80751 3150.82/3159.49 c #Conflicts: 657000 | #Constraints: 81751 3150.82/3159.49 c #Conflicts: 658000 | #Constraints: 82751 3150.82/3159.49 c #Conflicts: 659000 | #Constraints: 83752 3150.82/3159.49 c #Conflicts: 660000 | #Constraints: 84752 3150.82/3159.49 c #Conflicts: 661000 | #Constraints: 85752 3150.82/3159.49 c INPROCESSING 3150.82/3159.49 c GARBAGE COLLECT 3150.82/3159.49 c rational objective 162 3361.00/3370.13 c #Conflicts: 662000 | #Constraints: 57135 3361.00/3370.13 c #Conflicts: 663000 | #Constraints: 58135 3361.00/3370.13 c #Conflicts: 664000 | #Constraints: 59135 3361.00/3370.13 c #Conflicts: 665000 | #Constraints: 60135 3361.00/3370.13 c #Conflicts: 666000 | #Constraints: 61135 3361.00/3370.13 c #Conflicts: 667000 | #Constraints: 62135 3361.00/3370.13 c #Conflicts: 668000 | #Constraints: 63135 3361.00/3370.13 c #Conflicts: 669000 | #Constraints: 64135 3361.00/3370.13 c #Conflicts: 670000 | #Constraints: 65135 3361.00/3370.13 c #Conflicts: 671000 | #Constraints: 66135 3361.00/3370.13 c #Conflicts: 672000 | #Constraints: 67135 3361.00/3370.13 c #Conflicts: 673000 | #Constraints: 68135 3361.00/3370.13 c #Conflicts: 674000 | #Constraints: 69135 3361.00/3370.13 c #Conflicts: 675000 | #Constraints: 70136 3361.00/3370.13 c #Conflicts: 676000 | #Constraints: 71136 3361.00/3370.13 c #Conflicts: 677000 | #Constraints: 72136 3361.00/3370.13 c #Conflicts: 678000 | #Constraints: 73136 3361.00/3370.13 c #Conflicts: 679000 | #Constraints: 74136 3361.00/3370.13 c #Conflicts: 680000 | #Constraints: 75136 3361.00/3370.13 c #Conflicts: 681000 | #Constraints: 76136 3361.00/3370.13 c #Conflicts: 682000 | #Constraints: 77136 3361.00/3370.13 c #Conflicts: 683000 | #Constraints: 78136 3361.00/3370.13 c #Conflicts: 684000 | #Constraints: 79136 3361.00/3370.13 c #Conflicts: 685000 | #Constraints: 80136 3361.00/3370.13 c #Conflicts: 686000 | #Constraints: 81136 3361.00/3370.13 c #Conflicts: 687000 | #Constraints: 82136 3361.00/3370.13 c #Conflicts: 688000 | #Constraints: 83137 3361.00/3370.13 c #Conflicts: 689000 | #Constraints: 84137 3361.00/3370.13 c #Conflicts: 690000 | #Constraints: 85137 3361.00/3370.13 c #Conflicts: 691000 | #Constraints: 86137 3361.00/3370.13 c #Conflicts: 692000 | #Constraints: 87137 3361.00/3370.13 c #Conflicts: 693000 | #Constraints: 88137 3361.00/3370.13 c #Conflicts: 694000 | #Constraints: 89138 3361.00/3370.13 c #Conflicts: 695000 | #Constraints: 90138 3361.00/3370.13 c #Conflicts: 696000 | #Constraints: 91138 3361.00/3370.13 c #Conflicts: 697000 | #Constraints: 92138 3361.00/3370.13 c #Conflicts: 698000 | #Constraints: 93138 3361.00/3370.13 c #Conflicts: 699000 | #Constraints: 94138 3361.00/3370.13 c #Conflicts: 700000 | #Constraints: 95138 3361.00/3370.13 c #Conflicts: 701000 | #Constraints: 96138 3361.00/3370.13 c #Conflicts: 702000 | #Constraints: 97138 3361.00/3370.13 c #Conflicts: 703000 | #Constraints: 98138 3361.00/3370.13 c #Conflicts: 704000 | #Constraints: 99138 3361.00/3370.13 c #Conflicts: 705000 | #Constraints: 100138 3361.00/3370.13 c #Conflicts: 706000 | #Constraints: 101138 3361.00/3370.13 c #Conflicts: 707000 | #Constraints: 102138 3361.00/3370.13 c #Conflicts: 708000 | #Constraints: 103138 3361.00/3370.13 c #Conflicts: 709000 | #Constraints: 104138 3361.00/3370.13 c #Conflicts: 710000 | #Constraints: 105138 3361.00/3370.13 c #Conflicts: 711000 | #Constraints: 106138 3361.00/3370.13 c #Conflicts: 712000 | #Constraints: 107138 3361.00/3370.13 c #Conflicts: 713000 | #Constraints: 108138 3361.00/3370.13 c #Conflicts: 714000 | #Constraints: 109138 3361.00/3370.13 c #Conflicts: 715000 | #Constraints: 110138 3361.00/3370.13 c #Conflicts: 716000 | #Constraints: 111138 3361.00/3370.13 c INPROCESSING 3361.00/3370.13 c GARBAGE COLLECT 3361.00/3370.13 c #Conflicts: 717000 | #Constraints: 67137 3361.00/3370.13 c #Conflicts: 718000 | #Constraints: 68137 3361.00/3370.13 c #Conflicts: 719000 | #Constraints: 69137 3361.00/3370.13 c #Conflicts: 720000 | #Constraints: 70137 3361.00/3370.13 c #Conflicts: 721000 | #Constraints: 71137 3361.00/3370.13 c #Conflicts: 722000 | #Constraints: 72137 3361.00/3370.13 c #Conflicts: 723000 | #Constraints: 73137 3361.00/3370.13 c #Conflicts: 724000 | #Constraints: 74137 3361.00/3370.13 c #Conflicts: 725000 | #Constraints: 75137 3361.00/3370.13 c #Conflicts: 726000 | #Constraints: 76138 3361.00/3370.13 c #Conflicts: 727000 | #Constraints: 77138 3361.00/3370.13 c #Conflicts: 728000 | #Constraints: 78138 3361.00/3370.13 c #Conflicts: 729000 | #Constraints: 79138 3361.00/3370.13 c #Conflicts: 730000 | #Constraints: 80138 3361.00/3370.13 c #Conflicts: 731000 | #Constraints: 81138 3361.00/3370.13 c #Conflicts: 732000 | #Constraints: 82138 3361.00/3370.13 c #Conflicts: 733000 | #Constraints: 83138 3361.00/3370.13 c #Conflicts: 734000 | #Constraints: 84138 3361.00/3370.13 c #Conflicts: 735000 | #Constraints: 85138 3361.00/3370.13 c #Conflicts: 736000 | #Constraints: 86139 3361.00/3370.13 c #Conflicts: 737000 | #Constraints: 87139 3361.00/3370.13 c #Conflicts: 738000 | #Constraints: 88139 3361.00/3370.13 c #Conflicts: 739000 | #Constraints: 89139 3361.00/3370.13 c #Conflicts: 740000 | #Constraints: 90139 3511.92/3521.40 c INPROCESSING 3511.92/3521.40 c GARBAGE COLLECT 3511.92/3521.40 c rational objective 162 3600.01/3609.70 c #Conflicts: 741000 | #Constraints: 59925 3600.01/3609.70 c #Conflicts: 742000 | #Constraints: 60925 3600.01/3609.70 c #Conflicts: 743000 | #Constraints: 61925 3600.01/3609.70 c #Conflicts: 744000 | #Constraints: 62925 3600.01/3609.70 c #Conflicts: 745000 | #Constraints: 63925 3600.01/3609.70 c #Conflicts: 746000 | #Constraints: 64925 3600.01/3609.70 c #Conflicts: 747000 | #Constraints: 65925 3600.01/3609.70 c #Conflicts: 748000 | #Constraints: 66925 3600.01/3609.70 c #Conflicts: 749000 | #Constraints: 67925 3600.01/3609.70 c #Conflicts: 750000 | #Constraints: 68925 3600.01/3609.70 c #Conflicts: 751000 | #Constraints: 69925 3600.01/3609.70 c #Conflicts: 752000 | #Constraints: 70925 3600.01/3609.70 c #Conflicts: 753000 | #Constraints: 71925 3600.01/3609.70 c #Conflicts: 754000 | #Constraints: 72925 3600.01/3609.70 c #Conflicts: 755000 | #Constraints: 73925 3600.01/3609.70 c #Conflicts: 756000 | #Constraints: 74925 3600.01/3609.70 c #Conflicts: 757000 | #Constraints: 75925 3600.01/3609.70 c #Conflicts: 758000 | #Constraints: 76925 3600.01/3609.70 c #Conflicts: 759000 | #Constraints: 77925 3600.01/3609.70 c #Conflicts: 760000 | #Constraints: 78925 3600.01/3609.70 c #Conflicts: 761000 | #Constraints: 79925 3600.01/3609.70 c #Conflicts: 762000 | #Constraints: 80925 3600.01/3609.70 c #Conflicts: 763000 | #Constraints: 81925 3600.01/3609.70 c #Conflicts: 764000 | #Constraints: 82925 3600.01/3609.70 c #Conflicts: 765000 | #Constraints: 83925 3600.01/3609.70 c #Conflicts: 766000 | #Constraints: 84925 3600.01/3609.70 c #Conflicts: 767000 | #Constraints: 85926 3600.01/3609.70 c #Conflicts: 768000 | #Constraints: 86926 3600.01/3609.70 c #Conflicts: 769000 | #Constraints: 87926 3600.01/3609.70 c #Conflicts: 770000 | #Constraints: 88926 3600.01/3609.70 c #Conflicts: 771000 | #Constraints: 89926 3600.01/3609.70 c #Conflicts: 772000 | #Constraints: 90926 3600.01/3609.70 c #Conflicts: 773000 | #Constraints: 91926 3600.01/3609.70 c #Conflicts: 774000 | #Constraints: 92926 3600.01/3609.70 c #Conflicts: 775000 | #Constraints: 93926 3600.01/3609.70 c #Conflicts: 776000 | #Constraints: 94926 3600.01/3609.70 c #Conflicts: 777000 | #Constraints: 95926 3600.01/3609.70 c #Conflicts: 778000 | #Constraints: 96926 3600.01/3609.70 c #Conflicts: 779000 | #Constraints: 97926 3600.01/3609.70 c Program interrupted by user. 3600.01/3609.77 c cpu time 3565.45 s 3600.01/3609.77 c deterministic time 249907186539 2.50e+11 3600.01/3609.77 c optimization time 86.5539 s 3600.01/3609.77 c total solve time 3478.82 s 3600.01/3609.77 c core-guided solve time 0 s 3600.01/3609.77 c propagation time 1695.55 s 3600.01/3609.77 c conflict analysis time 560.931 s 3600.01/3609.77 c propagations 595431234 3600.01/3609.77 c resolve steps 34354759 3600.01/3609.77 c decisions 14985434 3600.01/3609.77 c conflicts 779694 3600.01/3609.77 c restarts 1659 3600.01/3609.77 c inprocessing phases 37 3600.01/3609.77 c input clauses 19442 3600.01/3609.77 c input cardinalities 162 3600.01/3609.77 c input general constraints 0 3600.01/3609.77 c input average constraint length 6.43 3600.01/3609.77 c input average constraint degree 1.97 3600.01/3609.77 c learned clauses 488681 3600.01/3609.77 c learned cardinalities 35173 3600.01/3609.77 c learned general constraints 255896 3600.01/3609.77 c learned average constraint length 1273.37 3600.01/3609.77 c learned average constraint degree 796635866.79 3600.01/3609.77 c watched constraints 190025 3600.01/3609.77 c counting constraints 65871 3600.01/3609.77 c gcd simplifications 3828 3600.01/3609.77 c detected cardinalities 4925 3600.01/3609.77 c weakened non-implied lits 191507525 3600.01/3609.77 c weakened non-implying lits 217674 3600.01/3609.77 c original variables 19278 3600.01/3609.77 c clausal propagations 265848614 3600.01/3609.77 c cardinality propagations 204023789 3600.01/3609.77 c watched propagations 40406098 3600.01/3609.77 c counting propagations 77393072 3600.01/3609.77 c watch lookups 9250777895 3600.01/3609.77 c watch backjump lookups 7411085676 3600.01/3609.77 c watch checks 189819554027 3600.01/3609.77 c propagation checks 38930344118 3600.01/3609.77 c constraint additions 3272227184 3600.01/3609.77 c trail pops 611178884 3600.01/3609.77 c formula constraints 19604 3600.01/3609.77 c learned constraints 779636 3600.01/3609.77 c bound constraints 0 3600.01/3609.77 c core-guided constraints 0 3600.01/3609.77 c encountered formula constraints 23919159 3600.01/3609.77 c encountered learned constraints 11213070 3600.01/3609.77 c encountered bound constraints 0 3600.01/3609.77 c encountered core-guided constraints 0 3600.01/3609.77 c LP total time 2020.7 s 3600.01/3609.77 c LP solve time 2018.31 s 3600.01/3609.77 c LP constraints added 22068 3600.01/3609.77 c LP constraints removed 2202 3600.01/3609.77 c LP pivots internal 780869 3600.01/3609.77 c LP pivots root 821217 3600.01/3609.77 c LP calls 88 3600.01/3609.77 c LP optimalities 23 3600.01/3609.77 c LP no pivot count 0 3600.01/3609.77 c LP infeasibilities 57 3600.01/3609.77 c LP valid Farkas constraints 57 3600.01/3609.77 c LP learned Farkas constraints 57 3600.01/3609.77 c LP basis resets 0 3600.01/3609.77 c LP cycling count 0 3600.01/3609.77 c LP singular count 0 3600.01/3609.77 c LP no primal count 0 3600.01/3609.77 c LP no farkas count 0 3600.01/3609.77 c LP other issue count 0 3600.01/3609.77 c LP Gomory cuts 0 3600.01/3609.77 c LP learned cuts 2464 3600.01/3609.77 c LP deleted cuts 2202 3600.01/3609.77 c LP encountered Gomory constraints 0 3600.01/3609.77 c LP encountered Farkas constraints 1519 3600.01/3609.77 c LP encountered learned Farkas constraints 648 3600.01/3609.77 c CG auxiliary variables introduced 0 3600.01/3609.77 c CG solutions found 0 3600.01/3609.77 c CG cores constructed 0 3600.01/3609.77 c CG core cardinality constraints returned 0 3600.01/3609.77 c CG unit cores 0 3600.01/3609.77 c CG single cores 0 3600.01/3609.77 c CG blocks removed during cardinality reduction 0 3600.01/3609.77 c CG first core best 0 3600.01/3609.77 c CG decision core best 0 3600.01/3609.77 c CG core reduction tie 0 3600.01/3609.77 c CG core degree average 0.00 3600.01/3609.77 c CG core slack average 0.00 3600.01/3609.77 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 (25754 MiB free)
memory of node 1: 64473 MiB (62956 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463068-1722345232/watcher-4463068-1722345232 -o /tmp/evaluation-result-4463068-1722345232/solver-4463068-1722345232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722340763-7947 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463068-1722345232 --lp-cut-gomory=0 HOME/instance-4463068-1722345232.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=10544, runsolver pid=10541
[startup+0.100458 s]*
/proc/loadavg: 4.17 4.17 4.13 5/262 10545
/proc/meminfo: memFree=90826596/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=43656 memory=13348 CPUtime=0.06 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 2429 0 1 0 5 1 0 0 20 0 1 0 1125521 44703744 3337 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 10914 3337 1365 992 0 2772 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 43656 KiB
Current children cumulated memory: 13348 KiB
[startup+0.205602 s]*
/proc/loadavg: 4.17 4.17 4.13 5/262 10545
/proc/meminfo: memFree=90801624/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=69396 memory=36512 CPUtime=0.14 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 9116 0 1 0 11 3 0 0 20 0 1 0 1125521 71061504 9128 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 17349 9128 1715 992 0 9207 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 69396 KiB
Current children cumulated memory: 36512 KiB
[startup+0.305597 s]*
/proc/loadavg: 4.17 4.17 4.13 5/262 10545
/proc/meminfo: memFree=90795772/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=70916 memory=38888 CPUtime=0.24 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 9738 0 1 0 21 3 0 0 20 0 1 0 1125521 72617984 9722 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 17729 9722 1715 992 0 9587 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 70916 KiB
Current children cumulated memory: 38888 KiB
[startup+0.700226 s]
/proc/loadavg: 4.17 4.17 4.13 5/262 10545
/proc/meminfo: memFree=90775636/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=73896 memory=42056 CPUtime=0.63 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 10545 0 1 0 60 3 0 0 20 0 1 0 1125521 75669504 10514 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 18474 10514 1715 992 0 10332 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 73896 KiB
Current children cumulated memory: 42056 KiB
[startup+1.50021 s]
/proc/loadavg: 4.17 4.17 4.13 5/262 10545
/proc/meminfo: memFree=90750972/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=74168 memory=42584 CPUtime=1.43 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 10659 0 1 0 138 5 0 0 20 0 1 0 1125521 75948032 10646 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 18542 10646 1715 992 0 10400 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 74168 KiB
Current children cumulated memory: 42584 KiB
[startup+3.10559 s]
/proc/loadavg: 4.15 4.17 4.13 5/262 10545
/proc/meminfo: memFree=90662136/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=79656 memory=47684 CPUtime=3.03 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 11907 0 1 0 287 16 0 0 20 0 1 0 1125521 81567744 11921 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 19914 11921 1760 992 0 11772 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 79656 KiB
Current children cumulated memory: 47684 KiB
[startup+6.30021 s]
/proc/loadavg: 4.15 4.17 4.13 5/262 10545
/proc/meminfo: memFree=90505376/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=81912 memory=49268 CPUtime=6.21 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 12281 0 1 0 604 17 0 0 20 0 1 0 1125521 83877888 12317 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 20478 12317 1760 992 0 12336 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 81912 KiB
Current children cumulated memory: 49268 KiB
[startup+12.7002 s]
/proc/loadavg: 4.22 4.19 4.14 5/262 10547
/proc/meminfo: memFree=90122388/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=81912 memory=50524 CPUtime=12.6 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 12543 0 1 0 1226 34 0 0 20 0 1 0 1125521 83877888 12631 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 20478 12631 1814 992 0 12336 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 81912 KiB
Current children cumulated memory: 50524 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.18 4.13 5/262 10549
/proc/meminfo: memFree=89257960/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=83716 memory=51844 CPUtime=25.36 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 12861 0 1 0 2489 47 0 0 20 0 1 0 1125521 85725184 12961 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 20929 12961 1814 992 0 12787 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 83716 KiB
Current children cumulated memory: 51844 KiB
[startup+51.1056 s]
/proc/loadavg: 4.19 4.18 4.14 5/262 10554
/proc/meminfo: memFree=87367292/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=110468 memory=74048 CPUtime=50.9 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 17874 0 1 0 5004 86 0 0 20 0 1 0 1125521 113119232 18512 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 27617 18512 1846 992 0 19475 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 110468 KiB
Current children cumulated memory: 74048 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.16 4.13 5/259 10562
/proc/meminfo: memFree=84537520/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=130100 memory=93288 CPUtime=101.96 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 20682 0 1 0 10007 189 0 0 20 0 1 0 1125521 133222400 23322 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 32525 23322 1846 992 0 24383 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 130100 KiB
Current children cumulated memory: 93288 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.15 4.13 5/258 10572
/proc/meminfo: memFree=81741796/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=198656 memory=162488 CPUtime=161.81 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 28793 0 1 0 15910 271 0 0 20 0 1 0 1125521 203423744 40622 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 49664 40622 1846 992 0 41522 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 198656 KiB
Current children cumulated memory: 162488 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.13 4.12 5/259 10585
/proc/meminfo: memFree=75935892/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=215356 memory=184380 CPUtime=221.65 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 32274 0 1 0 21821 344 0 0 20 0 1 0 1125521 220524544 46095 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 53839 46095 1846 992 0 45697 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 215356 KiB
Current children cumulated memory: 184380 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/259 10596
/proc/meminfo: memFree=72978168/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=217544 memory=186408 CPUtime=281.49 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 32755 0 1 0 27727 422 0 0 20 0 1 0 1125521 222765056 46602 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 54386 46602 1846 992 0 46244 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 217544 KiB
Current children cumulated memory: 186408 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 4.11 4.11 5/260 10607
/proc/meminfo: memFree=69032436/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=218972 memory=188504 CPUtime=341.33 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 33331 0 1 0 33671 462 0 0 20 0 1 0 1125521 224227328 47126 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 54743 47126 1846 992 0 46601 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 218972 KiB
Current children cumulated memory: 188504 KiB
[startup+402.3 s]
/proc/loadavg: 4.51 4.21 4.14 5/261 10621
/proc/meminfo: memFree=67910224/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=371224 memory=311464 CPUtime=401.17 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 39062 0 1 0 39584 533 0 0 20 0 1 0 1125521 380133376 77866 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 92806 77866 1846 992 0 84664 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 371224 KiB
Current children cumulated memory: 311464 KiB
[startup+462.3 s]
/proc/loadavg: 4.66 4.30 4.18 5/261 10633
/proc/meminfo: memFree=66832384/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=374492 memory=315948 CPUtime=461.01 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 40151 0 1 0 45519 582 0 0 20 0 1 0 1125521 383479808 78987 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 93623 78987 1846 992 0 85481 0
################
# More data... #
################
Current children cumulated memory: 1670520 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.14 4.15 5/265 12840
/proc/meminfo: memFree=106035772/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=1962268 memory=1672520 CPUtime=2914.32 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 129018 0 1 0 288619 2813 0 0 20 0 1 0 1125521 2009362432 418130 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 490567 418130 1846 992 0 482425 0
Current children cumulated CPU time: 2914.32 s
Current children cumulated vsize: 1962268 KiB
Current children cumulated memory: 1672520 KiB
[startup+2982.3 s]
/proc/loadavg: 4.35 4.20 4.17 5/264 12851
/proc/meminfo: memFree=104830840/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=1962792 memory=1674168 CPUtime=2974.16 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 130315 0 1 0 294541 2875 0 0 20 0 1 0 1125521 2009899008 418542 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 490698 418542 1846 992 0 482556 0
Current children cumulated CPU time: 2974.16 s
Current children cumulated vsize: 1962792 KiB
Current children cumulated memory: 1674168 KiB
[startup+3042.3 s]
/proc/loadavg: 4.30 4.21 4.18 5/261 12864
/proc/meminfo: memFree=103259036/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=1965032 memory=1676664 CPUtime=3034.01 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 131116 0 1 0 300445 2956 0 0 20 0 1 0 1125521 2012192768 419166 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 491258 419166 1846 992 0 483116 0
Current children cumulated CPU time: 3034.01 s
Current children cumulated vsize: 1965032 KiB
Current children cumulated memory: 1676664 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.19 4.17 5/261 12875
/proc/meminfo: memFree=102003360/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=1965032 memory=1677184 CPUtime=3093.86 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 131479 0 1 0 306392 2994 0 0 20 0 1 0 1125521 2012192768 419296 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 491258 419296 1846 992 0 483116 0
Current children cumulated CPU time: 3093.86 s
Current children cumulated vsize: 1965032 KiB
Current children cumulated memory: 1677184 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/261 12885
/proc/meminfo: memFree=101056360/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=1965164 memory=1678680 CPUtime=3153.72 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 131791 0 1 0 312349 3023 0 0 20 0 1 0 1125521 2012327936 419670 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 491291 419670 1846 992 0 483149 0
Current children cumulated CPU time: 3153.72 s
Current children cumulated vsize: 1965164 KiB
Current children cumulated memory: 1678680 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.15 4.16 5/260 12896
/proc/meminfo: memFree=100639800/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=1965164 memory=1678684 CPUtime=3213.56 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 132311 0 1 0 318224 3132 0 0 20 0 1 0 1125521 2012327936 419671 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 491291 419671 1846 992 0 483149 0
Current children cumulated CPU time: 3213.56 s
Current children cumulated vsize: 1965164 KiB
Current children cumulated memory: 1678684 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/259 12908
/proc/meminfo: memFree=100286476/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=1965500 memory=1678976 CPUtime=3273.4 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 132993 0 1 0 324152 3188 0 0 20 0 1 0 1125521 2012672000 419744 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 491375 419744 1846 992 0 483233 0
Current children cumulated CPU time: 3273.4 s
Current children cumulated vsize: 1965500 KiB
Current children cumulated memory: 1678976 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.15 4.16 5/259 12918
/proc/meminfo: memFree=99922516/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=1965500 memory=1678976 CPUtime=3333.25 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 133437 0 1 0 330087 3238 0 0 20 0 1 0 1125521 2012672000 419744 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 491375 419744 1846 992 0 483233 0
Current children cumulated CPU time: 3333.25 s
Current children cumulated vsize: 1965500 KiB
Current children cumulated memory: 1678976 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.12 4.15 5/260 12934
/proc/meminfo: memFree=99215448/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=1967836 memory=1681212 CPUtime=3393.11 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 134399 0 1 0 336034 3277 0 0 20 0 1 0 1125521 2015064064 420303 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 491959 420303 1846 992 0 483817 0
Current children cumulated CPU time: 3393.11 s
Current children cumulated vsize: 1967836 KiB
Current children cumulated memory: 1681212 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/260 12947
/proc/meminfo: memFree=98643168/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=1967968 memory=1681528 CPUtime=3452.97 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 134556 0 1 0 342000 3297 0 0 20 0 1 0 1125521 2015199232 420382 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 491992 420382 1846 992 0 483850 0
Current children cumulated CPU time: 3452.97 s
Current children cumulated vsize: 1967968 KiB
Current children cumulated memory: 1681528 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/261 12958
/proc/meminfo: memFree=97827888/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=1968988 memory=1682516 CPUtime=3512.83 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 135064 0 1 0 347963 3320 0 0 20 0 1 0 1125521 2016243712 420629 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 492247 420629 1846 992 0 484105 0
Current children cumulated CPU time: 3512.83 s
Current children cumulated vsize: 1968988 KiB
Current children cumulated memory: 1682516 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/261 12968
/proc/meminfo: memFree=97004676/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=1968020 memory=1681456 CPUtime=3572.68 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 136203 0 1 0 353857 3411 0 0 20 0 1 0 1125521 2015252480 420364 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 492005 420364 1846 992 0 483863 0
Current children cumulated CPU time: 3572.68 s
Current children cumulated vsize: 1968020 KiB
Current children cumulated memory: 1681456 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.13 4.12 4.14 5/262 12974
/proc/meminfo: memFree=96593660/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=1968020 memory=1681456 CPUtime=3600.01 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 136467 0 1 0 356545 3456 0 0 20 0 1 0 1125521 2015252480 420364 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 492005 420364 1846 992 0 483863 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1968020 KiB
Current children cumulated memory: 1681456 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.78 s]
# the end of solver process 10544 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3565.46 s, system=34.5845 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.13 4.12 4.14 5/262 12974
/proc/meminfo: memFree=96593660/131524600 swapFree=131071996/131071996
[pid=10544] ppid=10541 vsize=1968020 memory=1681456 CPUtime=3600.01 cores=1,3
/proc/10544/stat : 10544 (roundingsat) R 10541 10544 7935 0 -1 4194304 136467 0 1 0 356545 3456 0 0 20 0 1 0 1125521 2015252480 420364 134679101440 4194304 8255733 140735930057648 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 26394624 140735930065758 140735930066020 140735930066020 140735930073033 0
/proc/10544/statm: 492005 420364 1846 992 0 483863 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1968020 KiB
Current children cumulated memory: 1681456 KiB
Child status: 0
Real time (s): 3609.78
CPU time (s): 3600.04
CPU user time (s): 3565.46
CPU system time (s): 34.5845
CPU usage (%): 99.7301
Max. virtual memory (cumulated for all children) (KiB): 1968988
Max. memory (cumulated for all children) (KiB): 1682516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.46
system time used= 34.5846
maximum resident set size= 1682516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136483
page faults= 1
swaps= 0
block input operations= 96
block output operations= 12457200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1202
involuntary context switches= 4411
# summary of solver processes directly reported to runsolver:
# pid: 10544
# total CPU time (s): 3600.04
# total CPU user time (s): 3565.46
# total CPU system time (s): 34.5845
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.64833 second user time and 17.3274 second system time
The end
Begin job on nodeC033 at 2024-07-30 15:13:52 IDJOB=4463068 IDBENCH=158293 IDSOLVER=3089 FILE ID=nodeC033/4463068-1722345232 RUNJOBID= nodeC033-1722340763-7947 SLURM_JOB_ID= 8249006 Free space on /tmp= 889844 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K162.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463068-1722345232/watcher-4463068-1722345232 -o /tmp/evaluation-result-4463068-1722345232/solver-4463068-1722345232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722340763-7947 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463068-1722345232 --lp-cut-gomory=0 HOME/instance-4463068-1722345232.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3691972eca5819945d0aaf6ae8165cd0 RANDOM SEED=1778411649 nodeC033.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 : 3676.692 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.99 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.737 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.79 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.253 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.99 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 : 3655.335 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.79 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 : 3676.707 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.99 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 : 3673.774 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.79 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.601 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.99 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 : 3610.033 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.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 90840448 kB MemAvailable: 109085592 kB Buffers: 45400 kB Cached: 19014528 kB SwapCached: 0 kB Active: 381156 kB Inactive: 39732656 kB Active(anon): 1532 kB Inactive(anon): 21074000 kB Active(file): 379624 kB Inactive(file): 18658656 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 546080 kB Writeback: 4 kB AnonPages: 21052352 kB Mapped: 97792 kB Shmem: 21336 kB KReclaimable: 93372 kB Slab: 191748 kB SReclaimable: 93372 kB SUnreclaim: 98376 kB KernelStack: 4212 kB PageTables: 50452 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 25640752 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 9024 kB HardwareCorrupted: 0 kB AnonHugePages: 8013824 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: 283348 kB DirectMap2M: 8927232 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 890056 MiB End job on nodeC033 at 2024-07-30 16:14:02