| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.07 | 3610.26 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K172.opb |
| MD5SUM | 44b1adf4a7e5c26b78f2dbc134a2606f |
| 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 | 605.744 |
| 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 | 20468 |
| Total number of constraints | 20814 |
| Number of constraints which are clauses | 20642 |
| Number of constraints which are cardinality constraints (but not clauses) | 172 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 172 |
| 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 | 173 |
| 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.22 c #variables 20468 #constraints 20814 86.92/87.38 c #Conflicts: 1000 | #Constraints: 21813 86.92/87.38 c #Conflicts: 2000 | #Constraints: 22813 86.92/87.38 c INPROCESSING 86.92/87.38 c GARBAGE COLLECT 86.92/87.38 c #Conflicts: 3000 | #Constraints: 22158 86.92/87.38 c #Conflicts: 4000 | #Constraints: 23158 86.92/87.38 c INPROCESSING 86.92/87.38 c GARBAGE COLLECT 86.92/87.38 c #Conflicts: 5000 | #Constraints: 22597 86.92/87.38 c #Conflicts: 6000 | #Constraints: 23597 86.92/87.38 c INPROCESSING 86.92/87.38 c GARBAGE COLLECT 86.92/87.38 c #Conflicts: 7000 | #Constraints: 22682 86.92/87.38 c #Conflicts: 8000 | #Constraints: 23682 86.92/87.38 c #Conflicts: 9000 | #Constraints: 24682 86.92/87.38 c INPROCESSING 86.92/87.38 c GARBAGE COLLECT 86.92/87.38 c rational objective 172 219.86/220.61 c #Conflicts: 10000 | #Constraints: 23487 219.86/220.61 c #Conflicts: 11000 | #Constraints: 24487 219.86/220.61 c #Conflicts: 12000 | #Constraints: 25487 219.86/220.61 c #Conflicts: 13000 | #Constraints: 26487 219.86/220.61 c #Conflicts: 14000 | #Constraints: 27487 219.86/220.61 c #Conflicts: 15000 | #Constraints: 28487 219.86/220.61 c #Conflicts: 16000 | #Constraints: 29487 219.86/220.61 c INPROCESSING 219.86/220.61 c GARBAGE COLLECT 219.86/220.61 c #Conflicts: 17000 | #Constraints: 25811 219.86/220.61 c #Conflicts: 18000 | #Constraints: 26811 219.86/220.61 c #Conflicts: 19000 | #Constraints: 27811 219.86/220.61 c #Conflicts: 20000 | #Constraints: 28811 219.86/220.61 c INPROCESSING 219.86/220.61 c GARBAGE COLLECT 219.86/220.61 c #Conflicts: 21000 | #Constraints: 25582 219.86/220.61 c #Conflicts: 22000 | #Constraints: 26582 219.86/220.61 c #Conflicts: 23000 | #Constraints: 27583 219.86/220.61 c #Conflicts: 24000 | #Constraints: 28583 219.86/220.61 c #Conflicts: 25000 | #Constraints: 29583 219.86/220.61 c #Conflicts: 26000 | #Constraints: 30583 219.86/220.61 c #Conflicts: 27000 | #Constraints: 31583 219.86/220.61 c #Conflicts: 28000 | #Constraints: 32583 219.86/220.61 c #Conflicts: 29000 | #Constraints: 33583 219.86/220.61 c #Conflicts: 30000 | #Constraints: 34583 219.86/220.61 c INPROCESSING 219.86/220.61 c GARBAGE COLLECT 219.86/220.61 c #Conflicts: 31000 | #Constraints: 28419 219.86/220.61 c #Conflicts: 32000 | #Constraints: 29419 219.86/220.61 c #Conflicts: 33000 | #Constraints: 30419 219.86/220.61 c #Conflicts: 34000 | #Constraints: 31419 219.86/220.61 c #Conflicts: 35000 | #Constraints: 32419 219.86/220.61 c #Conflicts: 36000 | #Constraints: 33419 219.86/220.61 c INPROCESSING 219.86/220.61 c GARBAGE COLLECT 219.86/220.61 c #Conflicts: 37000 | #Constraints: 28507 219.86/220.61 c #Conflicts: 38000 | #Constraints: 29507 219.86/220.61 c #Conflicts: 39000 | #Constraints: 30507 219.86/220.61 c #Conflicts: 40000 | #Constraints: 31508 219.86/220.61 c #Conflicts: 41000 | #Constraints: 32508 219.86/220.61 c #Conflicts: 42000 | #Constraints: 33508 219.86/220.61 c #Conflicts: 43000 | #Constraints: 34508 219.86/220.61 c #Conflicts: 44000 | #Constraints: 35508 219.86/220.61 c #Conflicts: 45000 | #Constraints: 36508 219.86/220.61 c #Conflicts: 46000 | #Constraints: 37508 219.86/220.61 c #Conflicts: 47000 | #Constraints: 38508 219.86/220.61 c #Conflicts: 48000 | #Constraints: 39508 219.86/220.61 c #Conflicts: 49000 | #Constraints: 40508 219.86/220.61 c INPROCESSING 219.86/220.61 c GARBAGE COLLECT 219.86/220.61 c rational objective 172 494.05/495.52 c #Conflicts: 50000 | #Constraints: 31599 494.05/495.52 c #Conflicts: 51000 | #Constraints: 32599 494.05/495.52 c #Conflicts: 52000 | #Constraints: 33599 494.05/495.52 c #Conflicts: 53000 | #Constraints: 34599 494.05/495.52 c #Conflicts: 54000 | #Constraints: 35599 494.05/495.52 c #Conflicts: 55000 | #Constraints: 36600 494.05/495.52 c #Conflicts: 56000 | #Constraints: 37600 494.05/495.52 c INPROCESSING 494.05/495.52 c GARBAGE COLLECT 494.05/495.52 c #Conflicts: 57000 | #Constraints: 31083 494.05/495.52 c #Conflicts: 58000 | #Constraints: 32083 494.05/495.52 c #Conflicts: 59000 | #Constraints: 33083 494.05/495.52 c #Conflicts: 60000 | #Constraints: 34083 494.05/495.52 c #Conflicts: 61000 | #Constraints: 35083 494.05/495.52 c #Conflicts: 62000 | #Constraints: 36083 494.05/495.52 c #Conflicts: 63000 | #Constraints: 37083 494.05/495.52 c #Conflicts: 64000 | #Constraints: 38083 494.05/495.52 c #Conflicts: 65000 | #Constraints: 39083 494.05/495.52 c #Conflicts: 66000 | #Constraints: 40083 494.05/495.52 c #Conflicts: 67000 | #Constraints: 41083 494.05/495.52 c #Conflicts: 68000 | #Constraints: 42083 494.05/495.52 c #Conflicts: 69000 | #Constraints: 43083 494.05/495.52 c #Conflicts: 70000 | #Constraints: 44083 494.05/495.52 c #Conflicts: 71000 | #Constraints: 45083 494.05/495.52 c #Conflicts: 72000 | #Constraints: 46083 494.05/495.52 c INPROCESSING 494.05/495.52 c GARBAGE COLLECT 494.05/495.52 c #Conflicts: 73000 | #Constraints: 34485 494.05/495.52 c #Conflicts: 74000 | #Constraints: 35485 494.05/495.52 c #Conflicts: 75000 | #Constraints: 36485 494.05/495.52 c #Conflicts: 76000 | #Constraints: 37485 494.05/495.52 c #Conflicts: 77000 | #Constraints: 38485 494.05/495.52 c #Conflicts: 78000 | #Constraints: 39485 494.05/495.52 c #Conflicts: 79000 | #Constraints: 40485 494.05/495.52 c #Conflicts: 80000 | #Constraints: 41485 494.05/495.52 c INPROCESSING 494.05/495.52 c GARBAGE COLLECT 494.05/495.52 c #Conflicts: 81000 | #Constraints: 33205 494.05/495.52 c #Conflicts: 82000 | #Constraints: 34206 494.05/495.52 c #Conflicts: 83000 | #Constraints: 35206 494.05/495.52 c #Conflicts: 84000 | #Constraints: 36206 494.05/495.52 c #Conflicts: 85000 | #Constraints: 37206 494.05/495.52 c #Conflicts: 86000 | #Constraints: 38206 494.05/495.52 c #Conflicts: 87000 | #Constraints: 39206 494.05/495.52 c #Conflicts: 88000 | #Constraints: 40206 494.05/495.52 c #Conflicts: 89000 | #Constraints: 41206 494.05/495.52 c #Conflicts: 90000 | #Constraints: 42206 494.05/495.52 c #Conflicts: 91000 | #Constraints: 43206 494.05/495.52 c #Conflicts: 92000 | #Constraints: 44206 494.05/495.52 c #Conflicts: 93000 | #Constraints: 45206 494.05/495.52 c #Conflicts: 94000 | #Constraints: 46206 494.05/495.52 c #Conflicts: 95000 | #Constraints: 47206 494.05/495.52 c #Conflicts: 96000 | #Constraints: 48206 494.05/495.52 c #Conflicts: 97000 | #Constraints: 49206 494.05/495.52 c #Conflicts: 98000 | #Constraints: 50206 494.05/495.52 c #Conflicts: 99000 | #Constraints: 51206 494.05/495.52 c #Conflicts: 100000 | #Constraints: 52206 494.05/495.52 c INPROCESSING 494.05/495.52 c GARBAGE COLLECT 494.05/495.52 c rational objective 172 666.89/668.84 c #Conflicts: 101000 | #Constraints: 37723 666.89/668.84 c #Conflicts: 102000 | #Constraints: 38723 666.89/668.84 c #Conflicts: 103000 | #Constraints: 39724 666.89/668.84 c #Conflicts: 104000 | #Constraints: 40724 666.89/668.84 c #Conflicts: 105000 | #Constraints: 41724 666.89/668.84 c #Conflicts: 106000 | #Constraints: 42724 666.89/668.84 c #Conflicts: 107000 | #Constraints: 43724 666.89/668.84 c #Conflicts: 108000 | #Constraints: 44724 666.89/668.84 c #Conflicts: 109000 | #Constraints: 45724 666.89/668.84 c INPROCESSING 666.89/668.84 c GARBAGE COLLECT 666.89/668.84 c #Conflicts: 110000 | #Constraints: 35693 666.89/668.84 c #Conflicts: 111000 | #Constraints: 36693 666.89/668.84 c #Conflicts: 112000 | #Constraints: 37693 666.89/668.84 c #Conflicts: 113000 | #Constraints: 38693 666.89/668.84 c #Conflicts: 114000 | #Constraints: 39693 666.89/668.84 c #Conflicts: 115000 | #Constraints: 40693 666.89/668.84 c #Conflicts: 116000 | #Constraints: 41693 666.89/668.84 c #Conflicts: 117000 | #Constraints: 42693 666.89/668.84 c #Conflicts: 118000 | #Constraints: 43693 666.89/668.84 c #Conflicts: 119000 | #Constraints: 44694 666.89/668.84 c #Conflicts: 120000 | #Constraints: 45694 666.89/668.84 c #Conflicts: 121000 | #Constraints: 46694 666.89/668.84 c #Conflicts: 122000 | #Constraints: 47694 666.89/668.84 c #Conflicts: 123000 | #Constraints: 48694 666.89/668.84 c #Conflicts: 124000 | #Constraints: 49694 666.89/668.84 c #Conflicts: 125000 | #Constraints: 50694 666.89/668.84 c #Conflicts: 126000 | #Constraints: 51694 666.89/668.84 c #Conflicts: 127000 | #Constraints: 52694 666.89/668.84 c #Conflicts: 128000 | #Constraints: 53694 666.89/668.84 c #Conflicts: 129000 | #Constraints: 54694 666.89/668.84 c #Conflicts: 130000 | #Constraints: 55694 666.89/668.84 c #Conflicts: 131000 | #Constraints: 56694 666.89/668.84 c #Conflicts: 132000 | #Constraints: 57694 666.89/668.84 c INPROCESSING 666.89/668.84 c GARBAGE COLLECT 666.89/668.84 c #Conflicts: 133000 | #Constraints: 40695 666.89/668.84 c #Conflicts: 134000 | #Constraints: 41696 666.89/668.84 c #Conflicts: 135000 | #Constraints: 42696 666.89/668.84 c #Conflicts: 136000 | #Constraints: 43696 666.89/668.84 c #Conflicts: 137000 | #Constraints: 44696 666.89/668.84 c #Conflicts: 138000 | #Constraints: 45696 666.89/668.84 c #Conflicts: 139000 | #Constraints: 46696 666.89/668.84 c #Conflicts: 140000 | #Constraints: 47696 666.89/668.84 c #Conflicts: 141000 | #Constraints: 48696 666.89/668.84 c #Conflicts: 142000 | #Constraints: 49696 666.89/668.84 c INPROCESSING 666.89/668.84 c GARBAGE COLLECT 666.89/668.84 c #Conflicts: 143000 | #Constraints: 38241 666.89/668.84 c #Conflicts: 144000 | #Constraints: 39241 666.89/668.84 c #Conflicts: 145000 | #Constraints: 40241 666.89/668.84 c #Conflicts: 146000 | #Constraints: 41241 666.89/668.84 c #Conflicts: 147000 | #Constraints: 42241 666.89/668.84 c #Conflicts: 148000 | #Constraints: 43241 666.89/668.84 c #Conflicts: 149000 | #Constraints: 44241 666.89/668.84 c #Conflicts: 150000 | #Constraints: 45241 666.89/668.84 c #Conflicts: 151000 | #Constraints: 46241 666.89/668.84 c #Conflicts: 152000 | #Constraints: 47241 666.89/668.84 c #Conflicts: 153000 | #Constraints: 48241 666.89/668.84 c #Conflicts: 154000 | #Constraints: 49241 666.89/668.84 c #Conflicts: 155000 | #Constraints: 50241 666.89/668.84 c #Conflicts: 156000 | #Constraints: 51241 666.89/668.84 c #Conflicts: 157000 | #Constraints: 52241 666.89/668.84 c #Conflicts: 158000 | #Constraints: 53241 666.89/668.84 c #Conflicts: 159000 | #Constraints: 54241 666.89/668.84 c #Conflicts: 160000 | #Constraints: 55241 666.89/668.84 c #Conflicts: 161000 | #Constraints: 56241 666.89/668.84 c #Conflicts: 162000 | #Constraints: 57241 666.89/668.84 c #Conflicts: 163000 | #Constraints: 58241 666.89/668.84 c #Conflicts: 164000 | #Constraints: 59241 666.89/668.84 c #Conflicts: 165000 | #Constraints: 60241 666.89/668.84 c #Conflicts: 166000 | #Constraints: 61241 666.89/668.84 c #Conflicts: 167000 | #Constraints: 62241 666.89/668.84 c #Conflicts: 168000 | #Constraints: 63241 666.89/668.84 c INPROCESSING 666.89/668.84 c GARBAGE COLLECT 666.89/668.84 c rational objective 172 704.50/706.57 c #Conflicts: 169000 | #Constraints: 43600 704.50/706.57 c #Conflicts: 170000 | #Constraints: 44600 704.50/706.57 c #Conflicts: 171000 | #Constraints: 45600 704.50/706.57 c #Conflicts: 172000 | #Constraints: 46600 704.50/706.57 c #Conflicts: 173000 | #Constraints: 47600 704.50/706.57 c #Conflicts: 174000 | #Constraints: 48600 704.50/706.57 c #Conflicts: 175000 | #Constraints: 49600 704.50/706.57 c #Conflicts: 176000 | #Constraints: 50600 704.50/706.57 c #Conflicts: 177000 | #Constraints: 51600 704.50/706.57 c #Conflicts: 178000 | #Constraints: 52600 704.50/706.57 c #Conflicts: 179000 | #Constraints: 53600 704.50/706.57 c #Conflicts: 180000 | #Constraints: 54600 704.50/706.57 c INPROCESSING 704.50/706.57 c GARBAGE COLLECT 704.50/706.57 c rational objective 172 807.43/809.78 c #Conflicts: 181000 | #Constraints: 41625 807.43/809.78 c #Conflicts: 182000 | #Constraints: 42625 807.43/809.78 c #Conflicts: 183000 | #Constraints: 43625 807.43/809.78 c #Conflicts: 184000 | #Constraints: 44625 807.43/809.78 c #Conflicts: 185000 | #Constraints: 45625 807.43/809.78 c #Conflicts: 186000 | #Constraints: 46625 807.43/809.78 c #Conflicts: 187000 | #Constraints: 47626 807.43/809.78 c #Conflicts: 188000 | #Constraints: 48626 807.43/809.78 c #Conflicts: 189000 | #Constraints: 49626 807.43/809.78 c #Conflicts: 190000 | #Constraints: 50626 807.43/809.78 c #Conflicts: 191000 | #Constraints: 51626 807.43/809.78 c #Conflicts: 192000 | #Constraints: 52626 807.43/809.78 c #Conflicts: 193000 | #Constraints: 53626 807.43/809.78 c #Conflicts: 194000 | #Constraints: 54626 807.43/809.78 c #Conflicts: 195000 | #Constraints: 55626 807.43/809.78 c #Conflicts: 196000 | #Constraints: 56626 807.43/809.78 c #Conflicts: 197000 | #Constraints: 57626 807.43/809.78 c #Conflicts: 198000 | #Constraints: 58626 807.43/809.78 c #Conflicts: 199000 | #Constraints: 59626 807.43/809.78 c #Conflicts: 200000 | #Constraints: 60626 807.43/809.78 c #Conflicts: 201000 | #Constraints: 61626 807.43/809.78 c #Conflicts: 202000 | #Constraints: 62626 807.43/809.78 c #Conflicts: 203000 | #Constraints: 63627 807.43/809.78 c #Conflicts: 204000 | #Constraints: 64627 807.43/809.78 c #Conflicts: 205000 | #Constraints: 65627 807.43/809.78 c #Conflicts: 206000 | #Constraints: 66627 807.43/809.78 c #Conflicts: 207000 | #Constraints: 67627 807.43/809.78 c #Conflicts: 208000 | #Constraints: 68627 807.43/809.78 c #Conflicts: 209000 | #Constraints: 69627 807.43/809.78 c INPROCESSING 807.43/809.78 c GARBAGE COLLECT 807.43/809.78 c rational objective 172 941.09/943.79 c #Conflicts: 210000 | #Constraints: 46715 941.09/943.79 c #Conflicts: 211000 | #Constraints: 47715 941.09/943.79 c #Conflicts: 212000 | #Constraints: 48715 941.09/943.79 c #Conflicts: 213000 | #Constraints: 49715 941.09/943.79 c #Conflicts: 214000 | #Constraints: 50715 941.09/943.79 c #Conflicts: 215000 | #Constraints: 51715 941.09/943.79 c #Conflicts: 216000 | #Constraints: 52715 941.09/943.79 c #Conflicts: 217000 | #Constraints: 53716 941.09/943.79 c #Conflicts: 218000 | #Constraints: 54716 941.09/943.79 c #Conflicts: 219000 | #Constraints: 55716 941.09/943.79 c #Conflicts: 220000 | #Constraints: 56716 941.09/943.79 c #Conflicts: 221000 | #Constraints: 57716 941.09/943.79 c #Conflicts: 222000 | #Constraints: 58716 941.09/943.79 c INPROCESSING 941.09/943.79 c GARBAGE COLLECT 941.09/943.79 c rational objective 172 1019.78/1022.69 c #Conflicts: 223000 | #Constraints: 43423 1019.78/1022.69 c #Conflicts: 224000 | #Constraints: 44423 1019.78/1022.69 c #Conflicts: 225000 | #Constraints: 45423 1019.78/1022.69 c #Conflicts: 226000 | #Constraints: 46423 1019.78/1022.69 c #Conflicts: 227000 | #Constraints: 47423 1019.78/1022.69 c #Conflicts: 228000 | #Constraints: 48423 1019.78/1022.69 c #Conflicts: 229000 | #Constraints: 49423 1019.78/1022.69 c #Conflicts: 230000 | #Constraints: 50423 1019.78/1022.69 c #Conflicts: 231000 | #Constraints: 51423 1019.78/1022.69 c #Conflicts: 232000 | #Constraints: 52423 1019.78/1022.69 c #Conflicts: 233000 | #Constraints: 53423 1019.78/1022.69 c #Conflicts: 234000 | #Constraints: 54423 1019.78/1022.69 c #Conflicts: 235000 | #Constraints: 55423 1019.78/1022.69 c #Conflicts: 236000 | #Constraints: 56423 1019.78/1022.69 c #Conflicts: 237000 | #Constraints: 57423 1019.78/1022.69 c #Conflicts: 238000 | #Constraints: 58423 1019.78/1022.69 c #Conflicts: 239000 | #Constraints: 59423 1019.78/1022.69 c #Conflicts: 240000 | #Constraints: 60423 1019.78/1022.69 c #Conflicts: 241000 | #Constraints: 61423 1019.78/1022.69 c #Conflicts: 242000 | #Constraints: 62423 1019.78/1022.70 c #Conflicts: 243000 | #Constraints: 63423 1019.78/1022.70 c #Conflicts: 244000 | #Constraints: 64423 1019.78/1022.70 c #Conflicts: 245000 | #Constraints: 65423 1019.78/1022.70 c #Conflicts: 246000 | #Constraints: 66423 1019.78/1022.70 c #Conflicts: 247000 | #Constraints: 67423 1019.78/1022.70 c #Conflicts: 248000 | #Constraints: 68423 1019.78/1022.70 c #Conflicts: 249000 | #Constraints: 69423 1019.78/1022.70 c #Conflicts: 250000 | #Constraints: 70423 1019.78/1022.70 c #Conflicts: 251000 | #Constraints: 71423 1019.78/1022.70 c #Conflicts: 252000 | #Constraints: 72423 1019.78/1022.70 c #Conflicts: 253000 | #Constraints: 73423 1019.78/1022.70 c #Conflicts: 254000 | #Constraints: 74423 1019.78/1022.70 c INPROCESSING 1019.78/1022.70 c GARBAGE COLLECT 1019.78/1022.70 c rational objective 172 1059.08/1062.01 c #Conflicts: 255000 | #Constraints: 49401 1059.08/1062.01 c #Conflicts: 256000 | #Constraints: 50401 1059.08/1062.01 c #Conflicts: 257000 | #Constraints: 51401 1059.08/1062.01 c #Conflicts: 258000 | #Constraints: 52401 1059.08/1062.01 c #Conflicts: 259000 | #Constraints: 53401 1059.08/1062.01 c #Conflicts: 260000 | #Constraints: 54401 1059.08/1062.01 c #Conflicts: 261000 | #Constraints: 55401 1059.08/1062.01 c #Conflicts: 262000 | #Constraints: 56401 1059.08/1062.01 c #Conflicts: 263000 | #Constraints: 57401 1059.08/1062.01 c #Conflicts: 264000 | #Constraints: 58401 1059.08/1062.01 c #Conflicts: 265000 | #Constraints: 59401 1059.08/1062.01 c #Conflicts: 266000 | #Constraints: 60401 1059.08/1062.01 c #Conflicts: 267000 | #Constraints: 61401 1059.08/1062.01 c #Conflicts: 268000 | #Constraints: 62401 1059.08/1062.01 c INPROCESSING 1059.08/1062.01 c GARBAGE COLLECT 1059.08/1062.01 c rational objective 172 1159.31/1162.51 c #Conflicts: 269000 | #Constraints: 45484 1159.31/1162.51 c #Conflicts: 270000 | #Constraints: 46484 1159.31/1162.51 c #Conflicts: 271000 | #Constraints: 47484 1159.31/1162.51 c #Conflicts: 272000 | #Constraints: 48484 1159.31/1162.51 c #Conflicts: 273000 | #Constraints: 49484 1159.31/1162.51 c #Conflicts: 274000 | #Constraints: 50484 1159.31/1162.51 c #Conflicts: 275000 | #Constraints: 51485 1159.31/1162.51 c #Conflicts: 276000 | #Constraints: 52485 1159.31/1162.51 c #Conflicts: 277000 | #Constraints: 53485 1159.31/1162.51 c #Conflicts: 278000 | #Constraints: 54485 1159.31/1162.51 c #Conflicts: 279000 | #Constraints: 55485 1159.31/1162.51 c #Conflicts: 280000 | #Constraints: 56485 1159.31/1162.51 c #Conflicts: 281000 | #Constraints: 57485 1159.31/1162.51 c #Conflicts: 282000 | #Constraints: 58485 1159.31/1162.51 c #Conflicts: 283000 | #Constraints: 59485 1159.31/1162.51 c #Conflicts: 284000 | #Constraints: 60485 1159.31/1162.51 c #Conflicts: 285000 | #Constraints: 61485 1159.31/1162.51 c #Conflicts: 286000 | #Constraints: 62485 1159.31/1162.51 c #Conflicts: 287000 | #Constraints: 63485 1159.31/1162.51 c #Conflicts: 288000 | #Constraints: 64485 1159.31/1162.51 c #Conflicts: 289000 | #Constraints: 65485 1159.31/1162.51 c #Conflicts: 290000 | #Constraints: 66485 1159.31/1162.51 c #Conflicts: 291000 | #Constraints: 67485 1159.31/1162.51 c #Conflicts: 292000 | #Constraints: 68485 1159.31/1162.51 c #Conflicts: 293000 | #Constraints: 69485 1159.31/1162.51 c #Conflicts: 294000 | #Constraints: 70485 1159.31/1162.51 c #Conflicts: 295000 | #Constraints: 71485 1159.31/1162.51 c #Conflicts: 296000 | #Constraints: 72485 1159.31/1162.51 c #Conflicts: 297000 | #Constraints: 73485 1159.31/1162.51 c #Conflicts: 298000 | #Constraints: 74485 1159.31/1162.51 c #Conflicts: 299000 | #Constraints: 75485 1159.31/1162.51 c #Conflicts: 300000 | #Constraints: 76485 1159.31/1162.51 c #Conflicts: 301000 | #Constraints: 77485 1159.31/1162.51 c #Conflicts: 302000 | #Constraints: 78485 1159.31/1162.51 c #Conflicts: 303000 | #Constraints: 79485 1159.31/1162.51 c INPROCESSING 1159.31/1162.51 c GARBAGE COLLECT 1159.31/1162.51 c rational objective 172 1228.03/1231.43 c #Conflicts: 304000 | #Constraints: 51623 1228.03/1231.43 c #Conflicts: 305000 | #Constraints: 52623 1228.03/1231.43 c #Conflicts: 306000 | #Constraints: 53624 1228.03/1231.43 c #Conflicts: 307000 | #Constraints: 54624 1228.03/1231.43 c #Conflicts: 308000 | #Constraints: 55625 1228.03/1231.43 c #Conflicts: 309000 | #Constraints: 56625 1228.03/1231.43 c #Conflicts: 310000 | #Constraints: 57625 1228.03/1231.43 c #Conflicts: 311000 | #Constraints: 58625 1228.03/1231.43 c #Conflicts: 312000 | #Constraints: 59625 1228.03/1231.43 c #Conflicts: 313000 | #Constraints: 60625 1228.03/1231.43 c #Conflicts: 314000 | #Constraints: 61625 1228.03/1231.43 c #Conflicts: 315000 | #Constraints: 62625 1228.03/1231.43 c #Conflicts: 316000 | #Constraints: 63625 1228.03/1231.43 c #Conflicts: 317000 | #Constraints: 64625 1228.03/1231.43 c #Conflicts: 318000 | #Constraints: 65625 1228.03/1231.43 c #Conflicts: 319000 | #Constraints: 66625 1228.03/1231.43 c INPROCESSING 1228.03/1231.43 c GARBAGE COLLECT 1228.03/1231.43 c rational objective 172 1748.96/1753.83 c #Conflicts: 320000 | #Constraints: 48003 1748.96/1753.83 c #Conflicts: 321000 | #Constraints: 49003 1748.96/1753.83 c #Conflicts: 322000 | #Constraints: 50004 1748.96/1753.83 c #Conflicts: 323000 | #Constraints: 51004 1748.96/1753.83 c #Conflicts: 324000 | #Constraints: 52004 1748.96/1753.83 c #Conflicts: 325000 | #Constraints: 53004 1748.96/1753.83 c #Conflicts: 326000 | #Constraints: 54004 1748.96/1753.83 c #Conflicts: 327000 | #Constraints: 55004 1748.96/1753.83 c #Conflicts: 328000 | #Constraints: 56004 1748.96/1753.83 c #Conflicts: 329000 | #Constraints: 57004 1748.96/1753.83 c #Conflicts: 330000 | #Constraints: 58004 1748.96/1753.83 c #Conflicts: 331000 | #Constraints: 59004 1748.96/1753.83 c #Conflicts: 332000 | #Constraints: 60004 1748.96/1753.83 c #Conflicts: 333000 | #Constraints: 61004 1748.96/1753.83 c #Conflicts: 334000 | #Constraints: 62004 1748.96/1753.83 c #Conflicts: 335000 | #Constraints: 63004 1748.96/1753.83 c #Conflicts: 336000 | #Constraints: 64004 1748.96/1753.83 c #Conflicts: 337000 | #Constraints: 65004 1748.96/1753.83 c #Conflicts: 338000 | #Constraints: 66004 1748.96/1753.83 c #Conflicts: 339000 | #Constraints: 67004 1748.96/1753.83 c #Conflicts: 340000 | #Constraints: 68004 1748.96/1753.83 c #Conflicts: 341000 | #Constraints: 69004 1748.96/1753.83 c #Conflicts: 342000 | #Constraints: 70004 1748.96/1753.83 c #Conflicts: 343000 | #Constraints: 71004 1748.96/1753.83 c #Conflicts: 344000 | #Constraints: 72004 1748.96/1753.83 c #Conflicts: 345000 | #Constraints: 73004 1748.96/1753.83 c #Conflicts: 346000 | #Constraints: 74004 1748.96/1753.83 c #Conflicts: 347000 | #Constraints: 75004 1748.96/1753.83 c #Conflicts: 348000 | #Constraints: 76004 1748.96/1753.83 c #Conflicts: 349000 | #Constraints: 77004 1748.96/1753.83 c #Conflicts: 350000 | #Constraints: 78005 1748.96/1753.83 c #Conflicts: 351000 | #Constraints: 79005 1748.96/1753.83 c #Conflicts: 352000 | #Constraints: 80005 1748.96/1753.83 c #Conflicts: 353000 | #Constraints: 81005 1748.96/1753.83 c #Conflicts: 354000 | #Constraints: 82005 1748.96/1753.83 c #Conflicts: 355000 | #Constraints: 83005 1748.96/1753.83 c #Conflicts: 356000 | #Constraints: 84005 1748.96/1753.83 c #Conflicts: 357000 | #Constraints: 85005 1748.96/1753.83 c INPROCESSING 1748.96/1753.83 c GARBAGE COLLECT 1748.96/1753.83 c #Conflicts: 358000 | #Constraints: 54699 1748.96/1753.83 c #Conflicts: 359000 | #Constraints: 55699 1748.96/1753.83 c #Conflicts: 360000 | #Constraints: 56699 1748.96/1753.83 c #Conflicts: 361000 | #Constraints: 57699 1748.96/1753.83 c #Conflicts: 362000 | #Constraints: 58699 1748.96/1753.83 c #Conflicts: 363000 | #Constraints: 59699 1748.96/1753.83 c #Conflicts: 364000 | #Constraints: 60700 1748.96/1753.83 c #Conflicts: 365000 | #Constraints: 61700 1748.96/1753.83 c #Conflicts: 366000 | #Constraints: 62700 1748.96/1753.83 c #Conflicts: 367000 | #Constraints: 63700 1748.96/1753.83 c #Conflicts: 368000 | #Constraints: 64700 1748.96/1753.83 c #Conflicts: 369000 | #Constraints: 65700 1748.96/1753.83 c #Conflicts: 370000 | #Constraints: 66700 1748.96/1753.83 c #Conflicts: 371000 | #Constraints: 67700 1748.96/1753.83 c #Conflicts: 372000 | #Constraints: 68700 1748.96/1753.83 c #Conflicts: 373000 | #Constraints: 69700 1748.96/1753.83 c #Conflicts: 374000 | #Constraints: 70700 1748.96/1753.83 c INPROCESSING 1748.96/1753.83 c GARBAGE COLLECT 1748.96/1753.83 c rational objective 172 2011.87/2017.53 c #Conflicts: 375000 | #Constraints: 50456 2011.87/2017.53 c #Conflicts: 376000 | #Constraints: 51456 2011.87/2017.53 c #Conflicts: 377000 | #Constraints: 52456 2011.87/2017.53 c #Conflicts: 378000 | #Constraints: 53456 2011.87/2017.53 c #Conflicts: 379000 | #Constraints: 54456 2011.87/2017.53 c #Conflicts: 380000 | #Constraints: 55456 2011.87/2017.53 c #Conflicts: 381000 | #Constraints: 56456 2011.87/2017.53 c #Conflicts: 382000 | #Constraints: 57456 2011.87/2017.53 c #Conflicts: 383000 | #Constraints: 58456 2011.87/2017.53 c #Conflicts: 384000 | #Constraints: 59456 2011.87/2017.53 c #Conflicts: 385000 | #Constraints: 60456 2011.87/2017.53 c #Conflicts: 386000 | #Constraints: 61456 2011.87/2017.53 c #Conflicts: 387000 | #Constraints: 62456 2011.87/2017.53 c #Conflicts: 388000 | #Constraints: 63456 2011.87/2017.53 c #Conflicts: 389000 | #Constraints: 64456 2011.87/2017.53 c #Conflicts: 390000 | #Constraints: 65456 2011.87/2017.53 c #Conflicts: 391000 | #Constraints: 66456 2011.87/2017.53 c #Conflicts: 392000 | #Constraints: 67456 2011.87/2017.53 c #Conflicts: 393000 | #Constraints: 68456 2011.87/2017.53 c #Conflicts: 394000 | #Constraints: 69456 2011.87/2017.53 c #Conflicts: 395000 | #Constraints: 70456 2011.87/2017.53 c #Conflicts: 396000 | #Constraints: 71456 2011.87/2017.53 c #Conflicts: 397000 | #Constraints: 72456 2011.87/2017.53 c #Conflicts: 398000 | #Constraints: 73456 2011.87/2017.53 c #Conflicts: 399000 | #Constraints: 74457 2011.87/2017.53 c #Conflicts: 400000 | #Constraints: 75457 2011.87/2017.53 c #Conflicts: 401000 | #Constraints: 76457 2011.87/2017.53 c #Conflicts: 402000 | #Constraints: 77457 2011.87/2017.53 c #Conflicts: 403000 | #Constraints: 78457 2011.87/2017.53 c #Conflicts: 404000 | #Constraints: 79457 2011.87/2017.53 c #Conflicts: 405000 | #Constraints: 80457 2011.87/2017.53 c #Conflicts: 406000 | #Constraints: 81457 2011.87/2017.53 c #Conflicts: 407000 | #Constraints: 82457 2011.87/2017.53 c #Conflicts: 408000 | #Constraints: 83457 2011.87/2017.53 c #Conflicts: 409000 | #Constraints: 84457 2011.87/2017.53 c #Conflicts: 410000 | #Constraints: 85457 2011.87/2017.53 c #Conflicts: 411000 | #Constraints: 86457 2011.87/2017.53 c #Conflicts: 412000 | #Constraints: 87457 2011.87/2017.53 c #Conflicts: 413000 | #Constraints: 88457 2011.87/2017.53 c #Conflicts: 414000 | #Constraints: 89458 2011.87/2017.53 c #Conflicts: 415000 | #Constraints: 90458 2011.87/2017.53 c INPROCESSING 2011.87/2017.53 c GARBAGE COLLECT 2011.87/2017.53 c #Conflicts: 416000 | #Constraints: 57064 2011.87/2017.53 c #Conflicts: 417000 | #Constraints: 58064 2011.87/2017.53 c #Conflicts: 418000 | #Constraints: 59064 2011.87/2017.53 c #Conflicts: 419000 | #Constraints: 60064 2011.87/2017.53 c #Conflicts: 420000 | #Constraints: 61064 2011.87/2017.53 c #Conflicts: 421000 | #Constraints: 62064 2011.87/2017.53 c #Conflicts: 422000 | #Constraints: 63064 2011.87/2017.53 c #Conflicts: 423000 | #Constraints: 64064 2011.87/2017.53 c #Conflicts: 424000 | #Constraints: 65064 2011.87/2017.53 c #Conflicts: 425000 | #Constraints: 66064 2011.87/2017.53 c #Conflicts: 426000 | #Constraints: 67064 2011.87/2017.53 c #Conflicts: 427000 | #Constraints: 68065 2011.87/2017.53 c #Conflicts: 428000 | #Constraints: 69065 2011.87/2017.53 c #Conflicts: 429000 | #Constraints: 70065 2011.87/2017.53 c #Conflicts: 430000 | #Constraints: 71065 2011.87/2017.53 c #Conflicts: 431000 | #Constraints: 72065 2011.87/2017.53 c #Conflicts: 432000 | #Constraints: 73065 2011.87/2017.53 c #Conflicts: 433000 | #Constraints: 74065 2011.87/2017.53 c #Conflicts: 434000 | #Constraints: 75065 2011.87/2017.53 c INPROCESSING 2011.87/2017.53 c GARBAGE COLLECT 2011.87/2017.53 c #Conflicts: 435000 | #Constraints: 53234 2011.87/2017.53 c #Conflicts: 436000 | #Constraints: 54234 2011.87/2017.53 c #Conflicts: 437000 | #Constraints: 55234 2011.87/2017.53 c #Conflicts: 438000 | #Constraints: 56234 2011.87/2017.53 c #Conflicts: 439000 | #Constraints: 57234 2011.87/2017.53 c #Conflicts: 440000 | #Constraints: 58235 2011.87/2017.53 c #Conflicts: 441000 | #Constraints: 59235 2011.87/2017.53 c #Conflicts: 442000 | #Constraints: 60239 2011.87/2017.53 c #Conflicts: 443000 | #Constraints: 61240 2011.87/2017.53 c #Conflicts: 444000 | #Constraints: 62240 2011.87/2017.53 c #Conflicts: 445000 | #Constraints: 63240 2011.87/2017.53 c #Conflicts: 446000 | #Constraints: 64240 2011.87/2017.53 c #Conflicts: 447000 | #Constraints: 65240 2011.87/2017.53 c #Conflicts: 448000 | #Constraints: 66240 2011.87/2017.53 c #Conflicts: 449000 | #Constraints: 67240 2011.87/2017.53 c #Conflicts: 450000 | #Constraints: 68242 2011.87/2017.53 c #Conflicts: 451000 | #Constraints: 69242 2011.87/2017.53 c #Conflicts: 452000 | #Constraints: 70242 2455.89/2462.96 c #Conflicts: 453000 | #Constraints: 71242 2455.89/2462.96 c #Conflicts: 454000 | #Constraints: 72243 2455.89/2462.96 c #Conflicts: 455000 | #Constraints: 73244 2455.89/2462.96 c #Conflicts: 456000 | #Constraints: 74245 2455.89/2462.96 c #Conflicts: 457000 | #Constraints: 75245 2455.89/2462.96 c #Conflicts: 458000 | #Constraints: 76245 2455.89/2462.96 c #Conflicts: 459000 | #Constraints: 77246 2455.89/2462.96 c #Conflicts: 460000 | #Constraints: 78247 2455.89/2462.96 c #Conflicts: 461000 | #Constraints: 79247 2455.89/2462.96 c #Conflicts: 462000 | #Constraints: 80247 2455.89/2462.96 c #Conflicts: 463000 | #Constraints: 81247 2455.89/2462.96 c #Conflicts: 464000 | #Constraints: 82247 2455.89/2462.96 c #Conflicts: 465000 | #Constraints: 83247 2455.89/2462.96 c #Conflicts: 466000 | #Constraints: 84247 2455.89/2462.96 c #Conflicts: 467000 | #Constraints: 85247 2455.89/2462.96 c #Conflicts: 468000 | #Constraints: 86248 2455.89/2462.96 c #Conflicts: 469000 | #Constraints: 87248 2455.89/2462.96 c #Conflicts: 470000 | #Constraints: 88248 2455.89/2462.96 c #Conflicts: 471000 | #Constraints: 89248 2455.89/2462.96 c #Conflicts: 472000 | #Constraints: 90248 2455.89/2462.96 c #Conflicts: 473000 | #Constraints: 91248 2455.89/2462.96 c #Conflicts: 474000 | #Constraints: 92248 2455.89/2462.96 c #Conflicts: 475000 | #Constraints: 93248 2455.89/2462.96 c #Conflicts: 476000 | #Constraints: 94248 2455.89/2462.96 c #Conflicts: 477000 | #Constraints: 95248 2455.89/2462.96 c #Conflicts: 478000 | #Constraints: 96248 2455.89/2462.96 c INPROCESSING 2455.89/2462.96 c GARBAGE COLLECT 2455.89/2462.96 c rational objective 172 2756.09/2764.09 c #Conflicts: 479000 | #Constraints: 60291 2756.09/2764.09 c #Conflicts: 480000 | #Constraints: 61291 2756.09/2764.09 c #Conflicts: 481000 | #Constraints: 62291 2756.09/2764.09 c #Conflicts: 482000 | #Constraints: 63291 2756.09/2764.09 c #Conflicts: 483000 | #Constraints: 64291 2756.09/2764.09 c #Conflicts: 484000 | #Constraints: 65291 2756.09/2764.09 c #Conflicts: 485000 | #Constraints: 66291 2756.09/2764.09 c #Conflicts: 486000 | #Constraints: 67291 2756.09/2764.09 c #Conflicts: 487000 | #Constraints: 68291 2756.09/2764.09 c #Conflicts: 488000 | #Constraints: 69291 2756.09/2764.09 c #Conflicts: 489000 | #Constraints: 70291 2756.09/2764.09 c #Conflicts: 490000 | #Constraints: 71291 2756.09/2764.09 c #Conflicts: 491000 | #Constraints: 72291 2756.09/2764.09 c #Conflicts: 492000 | #Constraints: 73291 2756.09/2764.09 c #Conflicts: 493000 | #Constraints: 74291 2756.09/2764.09 c #Conflicts: 494000 | #Constraints: 75291 2756.09/2764.09 c #Conflicts: 495000 | #Constraints: 76291 2756.09/2764.09 c #Conflicts: 496000 | #Constraints: 77291 2756.09/2764.09 c #Conflicts: 497000 | #Constraints: 78291 2756.09/2764.09 c #Conflicts: 498000 | #Constraints: 79292 2756.09/2764.09 c INPROCESSING 2756.09/2764.09 c GARBAGE COLLECT 2756.09/2764.09 c #Conflicts: 499000 | #Constraints: 54742 2756.09/2764.09 c #Conflicts: 500000 | #Constraints: 55742 2756.09/2764.09 c #Conflicts: 501000 | #Constraints: 56742 2756.09/2764.09 c #Conflicts: 502000 | #Constraints: 57742 2756.09/2764.09 c #Conflicts: 503000 | #Constraints: 58742 2756.09/2764.09 c #Conflicts: 504000 | #Constraints: 59742 2756.09/2764.09 c #Conflicts: 505000 | #Constraints: 60742 2756.09/2764.09 c #Conflicts: 506000 | #Constraints: 61742 2756.09/2764.09 c #Conflicts: 507000 | #Constraints: 62742 2756.09/2764.09 c #Conflicts: 508000 | #Constraints: 63742 2756.09/2764.09 c #Conflicts: 509000 | #Constraints: 64742 2756.09/2764.09 c #Conflicts: 510000 | #Constraints: 65742 2756.09/2764.09 c #Conflicts: 511000 | #Constraints: 66742 2756.09/2764.09 c #Conflicts: 512000 | #Constraints: 67742 2756.09/2764.09 c #Conflicts: 513000 | #Constraints: 68742 2756.09/2764.09 c #Conflicts: 514000 | #Constraints: 69743 2756.09/2764.09 c #Conflicts: 515000 | #Constraints: 70743 2756.09/2764.09 c #Conflicts: 516000 | #Constraints: 71743 2756.09/2764.09 c #Conflicts: 517000 | #Constraints: 72743 2756.09/2764.09 c #Conflicts: 518000 | #Constraints: 73743 2756.09/2764.09 c #Conflicts: 519000 | #Constraints: 74743 2756.09/2764.09 c #Conflicts: 520000 | #Constraints: 75743 2756.09/2764.09 c #Conflicts: 521000 | #Constraints: 76743 2756.09/2764.09 c #Conflicts: 522000 | #Constraints: 77743 2756.09/2764.09 c #Conflicts: 523000 | #Constraints: 78743 2756.09/2764.09 c #Conflicts: 524000 | #Constraints: 79743 2756.09/2764.09 c #Conflicts: 525000 | #Constraints: 80743 2756.09/2764.09 c #Conflicts: 526000 | #Constraints: 81743 2756.09/2764.09 c #Conflicts: 527000 | #Constraints: 82743 2756.09/2764.09 c #Conflicts: 528000 | #Constraints: 83743 2756.09/2764.09 c #Conflicts: 529000 | #Constraints: 84744 2756.09/2764.09 c #Conflicts: 530000 | #Constraints: 85744 2756.09/2764.09 c #Conflicts: 531000 | #Constraints: 86744 2756.09/2764.09 c #Conflicts: 532000 | #Constraints: 87744 2756.09/2764.09 c #Conflicts: 533000 | #Constraints: 88744 2756.09/2764.09 c #Conflicts: 534000 | #Constraints: 89744 2756.09/2764.09 c #Conflicts: 535000 | #Constraints: 90744 2756.09/2764.09 c #Conflicts: 536000 | #Constraints: 91744 2756.09/2764.09 c #Conflicts: 537000 | #Constraints: 92744 2756.09/2764.09 c #Conflicts: 538000 | #Constraints: 93744 2756.09/2764.09 c #Conflicts: 539000 | #Constraints: 94744 2756.09/2764.09 c #Conflicts: 540000 | #Constraints: 95744 2756.09/2764.09 c #Conflicts: 541000 | #Constraints: 96744 2756.09/2764.09 c #Conflicts: 542000 | #Constraints: 97744 2756.09/2764.09 c #Conflicts: 543000 | #Constraints: 98744 2756.09/2764.09 c #Conflicts: 544000 | #Constraints: 99745 2756.09/2764.09 c #Conflicts: 545000 | #Constraints: 100745 2756.09/2764.09 c INPROCESSING 2756.09/2764.09 c GARBAGE COLLECT 2756.09/2764.09 c #Conflicts: 546000 | #Constraints: 62505 2756.09/2764.09 c #Conflicts: 547000 | #Constraints: 63505 2756.09/2764.09 c #Conflicts: 548000 | #Constraints: 64505 2756.09/2764.09 c #Conflicts: 549000 | #Constraints: 65505 2756.09/2764.09 c #Conflicts: 550000 | #Constraints: 66505 2756.09/2764.09 c #Conflicts: 551000 | #Constraints: 67505 2756.09/2764.09 c #Conflicts: 552000 | #Constraints: 68505 2756.09/2764.09 c #Conflicts: 553000 | #Constraints: 69505 2756.09/2764.09 c #Conflicts: 554000 | #Constraints: 70506 2756.09/2764.09 c #Conflicts: 555000 | #Constraints: 71506 2756.09/2764.09 c #Conflicts: 556000 | #Constraints: 72506 2880.61/2888.90 c #Conflicts: 557000 | #Constraints: 73506 2880.61/2888.90 c #Conflicts: 558000 | #Constraints: 74506 2880.61/2888.90 c #Conflicts: 559000 | #Constraints: 75506 2880.61/2888.90 c #Conflicts: 560000 | #Constraints: 76506 2880.61/2888.90 c #Conflicts: 561000 | #Constraints: 77506 2880.61/2888.90 c #Conflicts: 562000 | #Constraints: 78506 2880.61/2888.90 c #Conflicts: 563000 | #Constraints: 79506 2880.61/2888.90 c #Conflicts: 564000 | #Constraints: 80506 2880.61/2888.90 c #Conflicts: 565000 | #Constraints: 81506 2880.61/2888.90 c #Conflicts: 566000 | #Constraints: 82506 2880.61/2888.90 c INPROCESSING 2880.61/2888.90 c GARBAGE COLLECT 2880.61/2888.90 c rational objective 172 3128.13/3137.11 c #Conflicts: 567000 | #Constraints: 57241 3128.13/3137.11 c #Conflicts: 568000 | #Constraints: 58241 3128.13/3137.11 c #Conflicts: 569000 | #Constraints: 59241 3128.13/3137.11 c #Conflicts: 570000 | #Constraints: 60241 3128.13/3137.11 c #Conflicts: 571000 | #Constraints: 61241 3128.13/3137.11 c #Conflicts: 572000 | #Constraints: 62241 3128.13/3137.11 c #Conflicts: 573000 | #Constraints: 63241 3128.13/3137.11 c #Conflicts: 574000 | #Constraints: 64242 3128.13/3137.11 c #Conflicts: 575000 | #Constraints: 65242 3128.13/3137.11 c #Conflicts: 576000 | #Constraints: 66243 3128.13/3137.11 c #Conflicts: 577000 | #Constraints: 67243 3128.13/3137.11 c #Conflicts: 578000 | #Constraints: 68243 3128.13/3137.11 c #Conflicts: 579000 | #Constraints: 69243 3128.13/3137.11 c #Conflicts: 580000 | #Constraints: 70243 3128.13/3137.11 c #Conflicts: 581000 | #Constraints: 71243 3128.13/3137.11 c #Conflicts: 582000 | #Constraints: 72243 3128.13/3137.11 c #Conflicts: 583000 | #Constraints: 73243 3128.13/3137.11 c #Conflicts: 584000 | #Constraints: 74243 3128.13/3137.11 c #Conflicts: 585000 | #Constraints: 75243 3128.13/3137.11 c #Conflicts: 586000 | #Constraints: 76243 3128.13/3137.11 c #Conflicts: 587000 | #Constraints: 77243 3128.13/3137.11 c #Conflicts: 588000 | #Constraints: 78243 3128.13/3137.11 c #Conflicts: 589000 | #Constraints: 79243 3128.13/3137.11 c #Conflicts: 590000 | #Constraints: 80243 3128.13/3137.11 c #Conflicts: 591000 | #Constraints: 81243 3128.13/3137.11 c #Conflicts: 592000 | #Constraints: 82243 3128.13/3137.11 c #Conflicts: 593000 | #Constraints: 83243 3128.13/3137.11 c #Conflicts: 594000 | #Constraints: 84243 3128.13/3137.11 c #Conflicts: 595000 | #Constraints: 85243 3128.13/3137.11 c #Conflicts: 596000 | #Constraints: 86243 3128.13/3137.11 c #Conflicts: 597000 | #Constraints: 87243 3128.13/3137.11 c #Conflicts: 598000 | #Constraints: 88243 3128.13/3137.11 c #Conflicts: 599000 | #Constraints: 89243 3128.13/3137.11 c #Conflicts: 600000 | #Constraints: 90243 3128.13/3137.11 c #Conflicts: 601000 | #Constraints: 91244 3128.13/3137.11 c #Conflicts: 602000 | #Constraints: 92244 3128.13/3137.11 c #Conflicts: 603000 | #Constraints: 93244 3128.13/3137.11 c #Conflicts: 604000 | #Constraints: 94244 3128.13/3137.11 c #Conflicts: 605000 | #Constraints: 95244 3128.13/3137.11 c #Conflicts: 606000 | #Constraints: 96244 3128.13/3137.11 c #Conflicts: 607000 | #Constraints: 97244 3128.13/3137.11 c #Conflicts: 608000 | #Constraints: 98244 3128.13/3137.11 c #Conflicts: 609000 | #Constraints: 99244 3128.13/3137.11 c #Conflicts: 610000 | #Constraints: 100244 3128.13/3137.11 c #Conflicts: 611000 | #Constraints: 101244 3128.13/3137.11 c #Conflicts: 612000 | #Constraints: 102244 3128.13/3137.11 c #Conflicts: 613000 | #Constraints: 103244 3128.13/3137.11 c #Conflicts: 614000 | #Constraints: 104244 3128.13/3137.11 c #Conflicts: 615000 | #Constraints: 105244 3128.13/3137.11 c #Conflicts: 616000 | #Constraints: 106244 3128.13/3137.11 c #Conflicts: 617000 | #Constraints: 107244 3128.13/3137.11 c INPROCESSING 3128.13/3137.11 c GARBAGE COLLECT 3128.13/3137.11 c rational objective 172 3456.90/3466.71 c #Conflicts: 618000 | #Constraints: 66154 3456.90/3466.71 c #Conflicts: 619000 | #Constraints: 67154 3456.90/3466.71 c #Conflicts: 620000 | #Constraints: 68155 3456.90/3466.71 c #Conflicts: 621000 | #Constraints: 69155 3456.90/3466.71 c #Conflicts: 622000 | #Constraints: 70156 3456.90/3466.71 c #Conflicts: 623000 | #Constraints: 71156 3456.90/3466.71 c #Conflicts: 624000 | #Constraints: 72156 3456.90/3466.71 c #Conflicts: 625000 | #Constraints: 73156 3456.90/3466.71 c #Conflicts: 626000 | #Constraints: 74156 3456.90/3466.71 c #Conflicts: 627000 | #Constraints: 75156 3456.90/3466.71 c #Conflicts: 628000 | #Constraints: 76156 3456.90/3466.71 c #Conflicts: 629000 | #Constraints: 77156 3456.90/3466.71 c #Conflicts: 630000 | #Constraints: 78156 3456.90/3466.71 c #Conflicts: 631000 | #Constraints: 79156 3456.90/3466.71 c #Conflicts: 632000 | #Constraints: 80156 3456.90/3466.71 c #Conflicts: 633000 | #Constraints: 81156 3456.90/3466.71 c #Conflicts: 634000 | #Constraints: 82156 3456.90/3466.71 c #Conflicts: 635000 | #Constraints: 83156 3456.90/3466.71 c #Conflicts: 636000 | #Constraints: 84156 3456.90/3466.71 c #Conflicts: 637000 | #Constraints: 85156 3456.90/3466.71 c #Conflicts: 638000 | #Constraints: 86156 3456.90/3466.71 c #Conflicts: 639000 | #Constraints: 87156 3456.90/3466.71 c INPROCESSING 3456.90/3466.71 c GARBAGE COLLECT 3456.90/3466.71 c #Conflicts: 640000 | #Constraints: 60479 3456.90/3466.71 c #Conflicts: 641000 | #Constraints: 61479 3456.90/3466.71 c #Conflicts: 642000 | #Constraints: 62479 3456.90/3466.71 c #Conflicts: 643000 | #Constraints: 63480 3456.90/3466.71 c #Conflicts: 644000 | #Constraints: 64480 3456.90/3466.71 c #Conflicts: 645000 | #Constraints: 65480 3456.90/3466.71 c #Conflicts: 646000 | #Constraints: 66480 3456.90/3466.71 c #Conflicts: 647000 | #Constraints: 67480 3456.90/3466.71 c #Conflicts: 648000 | #Constraints: 68481 3456.90/3466.71 c #Conflicts: 649000 | #Constraints: 69481 3456.90/3466.71 c #Conflicts: 650000 | #Constraints: 70481 3456.90/3466.71 c #Conflicts: 651000 | #Constraints: 71481 3456.90/3466.71 c #Conflicts: 652000 | #Constraints: 72481 3456.90/3466.71 c #Conflicts: 653000 | #Constraints: 73481 3456.90/3466.71 c #Conflicts: 654000 | #Constraints: 74481 3456.90/3466.71 c #Conflicts: 655000 | #Constraints: 75481 3456.90/3466.71 c #Conflicts: 656000 | #Constraints: 76481 3456.90/3466.71 c #Conflicts: 657000 | #Constraints: 77481 3456.90/3466.71 c #Conflicts: 658000 | #Constraints: 78481 3456.90/3466.71 c #Conflicts: 659000 | #Constraints: 79481 3456.90/3466.71 c #Conflicts: 660000 | #Constraints: 80481 3456.90/3466.71 c #Conflicts: 661000 | #Constraints: 81481 3456.90/3466.71 c #Conflicts: 662000 | #Constraints: 82481 3456.90/3466.71 c #Conflicts: 663000 | #Constraints: 83481 3456.90/3466.71 c #Conflicts: 664000 | #Constraints: 84481 3456.90/3466.71 c #Conflicts: 665000 | #Constraints: 85482 3456.90/3466.71 c #Conflicts: 666000 | #Constraints: 86482 3456.90/3466.71 c #Conflicts: 667000 | #Constraints: 87482 3456.90/3466.71 c #Conflicts: 668000 | #Constraints: 88482 3456.90/3466.71 c #Conflicts: 669000 | #Constraints: 89482 3456.90/3466.71 c #Conflicts: 670000 | #Constraints: 90482 3456.90/3466.71 c #Conflicts: 671000 | #Constraints: 91482 3456.90/3466.71 c #Conflicts: 672000 | #Constraints: 92482 3456.90/3466.71 c #Conflicts: 673000 | #Constraints: 93482 3456.90/3466.71 c #Conflicts: 674000 | #Constraints: 94483 3456.90/3466.71 c #Conflicts: 675000 | #Constraints: 95483 3456.90/3466.71 c #Conflicts: 676000 | #Constraints: 96483 3456.90/3466.71 c #Conflicts: 677000 | #Constraints: 97483 3456.90/3466.71 c #Conflicts: 678000 | #Constraints: 98483 3456.90/3466.71 c #Conflicts: 679000 | #Constraints: 99483 3456.90/3466.71 c #Conflicts: 680000 | #Constraints: 100483 3456.90/3466.71 c #Conflicts: 681000 | #Constraints: 101483 3456.90/3466.71 c #Conflicts: 682000 | #Constraints: 102483 3456.90/3466.71 c #Conflicts: 683000 | #Constraints: 103483 3456.90/3466.71 c #Conflicts: 684000 | #Constraints: 104483 3456.90/3466.71 c #Conflicts: 685000 | #Constraints: 105483 3456.90/3466.71 c #Conflicts: 686000 | #Constraints: 106483 3456.90/3466.71 c #Conflicts: 687000 | #Constraints: 107484 3456.90/3466.71 c #Conflicts: 688000 | #Constraints: 108484 3456.90/3466.71 c #Conflicts: 689000 | #Constraints: 109485 3456.90/3466.71 c #Conflicts: 690000 | #Constraints: 110485 3456.90/3466.71 c #Conflicts: 691000 | #Constraints: 111485 3456.90/3466.71 c #Conflicts: 692000 | #Constraints: 112485 3456.90/3466.71 c #Conflicts: 693000 | #Constraints: 113485 3456.90/3466.71 c INPROCESSING 3456.90/3466.71 c GARBAGE COLLECT 3456.90/3466.71 c rational objective 172 3600.05/3610.20 c #Conflicts: 694000 | #Constraints: 69222 3600.05/3610.20 c #Conflicts: 695000 | #Constraints: 70222 3600.05/3610.20 c #Conflicts: 696000 | #Constraints: 71222 3600.05/3610.20 c #Conflicts: 697000 | #Constraints: 72222 3600.05/3610.20 c #Conflicts: 698000 | #Constraints: 73222 3600.05/3610.20 c #Conflicts: 699000 | #Constraints: 74222 3600.05/3610.20 c #Conflicts: 700000 | #Constraints: 75222 3600.05/3610.20 c #Conflicts: 701000 | #Constraints: 76222 3600.05/3610.20 c #Conflicts: 702000 | #Constraints: 77222 3600.05/3610.20 c #Conflicts: 703000 | #Constraints: 78222 3600.05/3610.20 c #Conflicts: 704000 | #Constraints: 79222 3600.05/3610.20 c #Conflicts: 705000 | #Constraints: 80222 3600.05/3610.20 c #Conflicts: 706000 | #Constraints: 81222 3600.05/3610.20 c #Conflicts: 707000 | #Constraints: 82222 3600.05/3610.20 c #Conflicts: 708000 | #Constraints: 83222 3600.05/3610.20 c #Conflicts: 709000 | #Constraints: 84222 3600.05/3610.20 c #Conflicts: 710000 | #Constraints: 85222 3600.05/3610.20 c #Conflicts: 711000 | #Constraints: 86222 3600.05/3610.20 c #Conflicts: 712000 | #Constraints: 87222 3600.05/3610.20 c #Conflicts: 713000 | #Constraints: 88222 3600.05/3610.20 c #Conflicts: 714000 | #Constraints: 89222 3600.05/3610.20 c #Conflicts: 715000 | #Constraints: 90222 3600.05/3610.20 c #Conflicts: 716000 | #Constraints: 91223 3600.05/3610.20 c INPROCESSING 3600.05/3610.20 c GARBAGE COLLECT 3600.05/3610.20 c #Conflicts: 717000 | #Constraints: 63209 3600.05/3610.20 c #Conflicts: 718000 | #Constraints: 64209 3600.05/3610.20 c #Conflicts: 719000 | #Constraints: 65209 3600.05/3610.20 c #Conflicts: 720000 | #Constraints: 66209 3600.05/3610.20 c #Conflicts: 721000 | #Constraints: 67209 3600.05/3610.20 c #Conflicts: 722000 | #Constraints: 68209 3600.05/3610.20 c #Conflicts: 723000 | #Constraints: 69209 3600.05/3610.20 c #Conflicts: 724000 | #Constraints: 70209 3600.05/3610.20 c #Conflicts: 725000 | #Constraints: 71209 3600.05/3610.20 c #Conflicts: 726000 | #Constraints: 72209 3600.05/3610.20 c #Conflicts: 727000 | #Constraints: 73209 3600.05/3610.20 c #Conflicts: 728000 | #Constraints: 74209 3600.05/3610.20 c #Conflicts: 729000 | #Constraints: 75209 3600.05/3610.20 c #Conflicts: 730000 | #Constraints: 76209 3600.05/3610.20 c #Conflicts: 731000 | #Constraints: 77209 3600.05/3610.20 c #Conflicts: 732000 | #Constraints: 78209 3600.05/3610.20 c #Conflicts: 733000 | #Constraints: 79209 3600.05/3610.20 c #Conflicts: 734000 | #Constraints: 80209 3600.05/3610.20 c #Conflicts: 735000 | #Constraints: 81209 3600.05/3610.20 c #Conflicts: 736000 | #Constraints: 82209 3600.05/3610.20 c #Conflicts: 737000 | #Constraints: 83209 3600.05/3610.20 c #Conflicts: 738000 | #Constraints: 84209 3600.05/3610.20 c #Conflicts: 739000 | #Constraints: 85209 3600.05/3610.20 c #Conflicts: 740000 | #Constraints: 86209 3600.05/3610.20 c #Conflicts: 741000 | #Constraints: 87209 3600.05/3610.20 c #Conflicts: 742000 | #Constraints: 88209 3600.05/3610.20 c #Conflicts: 743000 | #Constraints: 89209 3600.05/3610.20 c #Conflicts: 744000 | #Constraints: 90209 3600.05/3610.20 c #Conflicts: 745000 | #Constraints: 91209 3600.05/3610.20 c #Conflicts: 746000 | #Constraints: 92210 3600.05/3610.20 c #Conflicts: 747000 | #Constraints: 93210 3600.05/3610.20 c #Conflicts: 748000 | #Constraints: 94210 3600.05/3610.20 c #Conflicts: 749000 | #Constraints: 95210 3600.05/3610.20 c #Conflicts: 750000 | #Constraints: 96210 3600.05/3610.20 c #Conflicts: 751000 | #Constraints: 97210 3600.05/3610.20 c #Conflicts: 752000 | #Constraints: 98210 3600.05/3610.20 c #Conflicts: 753000 | #Constraints: 99210 3600.05/3610.20 c #Conflicts: 754000 | #Constraints: 100210 3600.05/3610.20 c #Conflicts: 755000 | #Constraints: 101210 3600.05/3610.20 c #Conflicts: 756000 | #Constraints: 102210 3600.05/3610.20 c #Conflicts: 757000 | #Constraints: 103210 3600.05/3610.20 c #Conflicts: 758000 | #Constraints: 104210 3600.05/3610.20 c Program interrupted by user. 3600.05/3610.25 c cpu time 3563.69 s 3600.05/3610.25 c deterministic time 234503586347 2.35e+11 3600.05/3610.25 c optimization time 91.7279 s 3600.05/3610.25 c total solve time 3471.88 s 3600.05/3610.25 c core-guided solve time 0 s 3600.05/3610.25 c propagation time 1697.11 s 3600.05/3610.25 c conflict analysis time 512.676 s 3600.05/3610.25 c propagations 600503116 3600.05/3610.25 c resolve steps 32985302 3600.05/3610.25 c decisions 15981621 3600.05/3610.25 c conflicts 758844 3600.05/3610.25 c restarts 1595 3600.05/3610.25 c inprocessing phases 36 3600.05/3610.25 c input clauses 20642 3600.05/3610.25 c input cardinalities 172 3600.05/3610.25 c input general constraints 0 3600.05/3610.25 c input average constraint length 6.43 3600.05/3610.25 c input average constraint degree 1.97 3600.05/3610.25 c learned clauses 477867 3600.05/3610.25 c learned cardinalities 36083 3600.05/3610.25 c learned general constraints 244945 3600.05/3610.25 c learned average constraint length 1182.62 3600.05/3610.25 c learned average constraint degree 623357560.25 3600.05/3610.25 c watched constraints 178794 3600.05/3610.25 c counting constraints 66151 3600.05/3610.25 c gcd simplifications 3120 3600.05/3610.25 c detected cardinalities 5254 3600.05/3610.25 c weakened non-implied lits 179099795 3600.05/3610.25 c weakened non-implying lits 221328 3600.05/3610.25 c original variables 20468 3600.05/3610.25 c clausal propagations 273279530 3600.05/3610.25 c cardinality propagations 207739252 3600.05/3610.25 c watched propagations 37843074 3600.05/3610.25 c counting propagations 73974517 3600.05/3610.25 c watch lookups 8937612202 3600.05/3610.25 c watch backjump lookups 7020176368 3600.05/3610.25 c watch checks 174461743029 3600.05/3610.25 c propagation checks 39829295803 3600.05/3610.25 c constraint additions 3019517676 3600.05/3610.25 c trail pops 617224500 3600.05/3610.25 c formula constraints 20814 3600.05/3610.25 c learned constraints 758791 3600.05/3610.25 c bound constraints 0 3600.05/3610.25 c core-guided constraints 0 3600.05/3610.25 c encountered formula constraints 22972240 3600.05/3610.25 c encountered learned constraints 10769726 3600.05/3610.25 c encountered bound constraints 0 3600.05/3610.25 c encountered core-guided constraints 0 3600.05/3610.25 c LP total time 2066.35 s 3600.05/3610.25 c LP solve time 2063.81 s 3600.05/3610.25 c LP constraints added 23364 3600.05/3610.25 c LP constraints removed 2266 3600.05/3610.25 c LP pivots internal 762035 3600.05/3610.25 c LP pivots root 769996 3600.05/3610.25 c LP calls 87 3600.05/3610.25 c LP optimalities 28 3600.05/3610.25 c LP no pivot count 1 3600.05/3610.25 c LP infeasibilities 52 3600.05/3610.25 c LP valid Farkas constraints 52 3600.05/3610.25 c LP learned Farkas constraints 52 3600.05/3610.25 c LP basis resets 0 3600.05/3610.25 c LP cycling count 0 3600.05/3610.25 c LP singular count 0 3600.05/3610.25 c LP no primal count 0 3600.05/3610.25 c LP no farkas count 0 3600.05/3610.25 c LP other issue count 0 3600.05/3610.25 c LP Gomory cuts 0 3600.05/3610.25 c LP learned cuts 2550 3600.05/3610.25 c LP deleted cuts 2266 3600.05/3610.25 c LP encountered Gomory constraints 0 3600.05/3610.25 c LP encountered Farkas constraints 1528 3600.05/3610.25 c LP encountered learned Farkas constraints 600 3600.05/3610.25 c CG auxiliary variables introduced 0 3600.05/3610.25 c CG solutions found 0 3600.05/3610.25 c CG cores constructed 0 3600.05/3610.25 c CG core cardinality constraints returned 0 3600.05/3610.25 c CG unit cores 0 3600.05/3610.25 c CG single cores 0 3600.05/3610.25 c CG blocks removed during cardinality reduction 0 3600.05/3610.25 c CG first core best 0 3600.05/3610.25 c CG decision core best 0 3600.05/3610.25 c CG core reduction tie 0 3600.05/3610.25 c CG core degree average 0.00 3600.05/3610.25 c CG core slack average 0.00 3600.05/3610.25 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 (58208 MiB free)
memory of node 1: 64473 MiB (51026 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463070-1722345274/watcher-4463070-1722345274 -o /tmp/evaluation-result-4463070-1722345274/solver-4463070-1722345274 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722340763-6897 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463070-1722345274 --lp-cut-gomory=0 HOME/instance-4463070-1722345274.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=9849, runsolver pid=9846
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 4.23 4.18 4.15 4/262 9850
/proc/meminfo: memFree=111855268/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=37376 memory=2676 CPUtime=0 cores=4,6
/proc/9849/stat : 9849 (roundingsat) D 9846 9849 6885 0 -1 1077936128 214 0 0 0 0 0 0 0 20 0 1 0 1131717 38273024 669 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 9344 669 613 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2676 KiB
[startup+0.206349 s]*
/proc/loadavg: 4.23 4.18 4.15 5/262 9850
/proc/meminfo: memFree=111839908/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=51224 memory=21684 CPUtime=0.09 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 4245 0 0 0 7 2 0 0 20 0 1 0 1131717 52453376 5421 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 12806 5421 1683 992 0 4664 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51224 KiB
Current children cumulated memory: 21684 KiB
[startup+0.306348 s]*
/proc/loadavg: 4.23 4.18 4.15 5/262 9850
/proc/meminfo: memFree=111821904/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=73024 memory=39568 CPUtime=0.18 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 10153 0 0 0 15 3 0 0 20 0 1 0 1131717 74776576 9892 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 18256 9892 1731 992 0 10114 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 73024 KiB
Current children cumulated memory: 39568 KiB
[startup+0.700331 s]
/proc/loadavg: 4.23 4.18 4.15 5/262 9850
/proc/meminfo: memFree=111820232/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=74708 memory=42208 CPUtime=0.55 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 10807 0 0 0 52 3 0 0 20 0 1 0 1131717 76500992 10552 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 18677 10552 1731 992 0 10535 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 74708 KiB
Current children cumulated memory: 42208 KiB
[startup+1.50025 s]
/proc/loadavg: 4.23 4.18 4.15 5/262 9850
/proc/meminfo: memFree=111814500/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=76728 memory=44056 CPUtime=1.34 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 11257 0 0 0 131 3 0 0 20 0 1 0 1131717 78569472 11014 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 19182 11014 1731 992 0 11040 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 76728 KiB
Current children cumulated memory: 44056 KiB
[startup+3.10564 s]
/proc/loadavg: 4.23 4.18 4.15 5/262 9850
/proc/meminfo: memFree=111764832/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=78832 memory=48116 CPUtime=2.95 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 12171 0 0 0 279 16 0 0 20 0 1 0 1131717 80723968 12029 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 19708 12029 1830 992 0 11566 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 78832 KiB
Current children cumulated memory: 48116 KiB
[startup+6.30022 s]
/proc/loadavg: 4.21 4.17 4.15 5/262 9852
/proc/meminfo: memFree=111693432/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=79660 memory=49696 CPUtime=6.13 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 12588 0 0 0 595 18 0 0 20 0 1 0 1131717 81571840 12424 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 19915 12424 1830 992 0 11773 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 79660 KiB
Current children cumulated memory: 49696 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.17 4.15 5/262 9852
/proc/meminfo: memFree=111430708/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=84104 memory=52868 CPUtime=12.52 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 13369 0 0 0 1215 37 0 0 20 0 1 0 1131717 86122496 13217 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 21026 13217 1830 992 0 12884 0
Current children cumulated CPU time: 12.52 s
Current children cumulated vsize: 84104 KiB
Current children cumulated memory: 52868 KiB
[startup+25.5002 s]
/proc/loadavg: 4.24 4.18 4.15 5/262 9855
/proc/meminfo: memFree=110983292/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=88872 memory=56828 CPUtime=25.28 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 14397 0 0 0 2478 50 0 0 20 0 1 0 1131717 91004928 14207 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 22218 14207 1830 992 0 14076 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 88872 KiB
Current children cumulated memory: 56828 KiB
[startup+51.1057 s]
/proc/loadavg: 4.15 4.16 4.15 5/262 9859
/proc/meminfo: memFree=110868768/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=91548 memory=61580 CPUtime=50.82 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 15539 0 0 0 5002 80 0 0 20 0 1 0 1131717 93745152 15395 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 22887 15395 1830 992 0 14745 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 91548 KiB
Current children cumulated memory: 61580 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/259 9869
/proc/meminfo: memFree=109766780/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=121404 memory=91020 CPUtime=101.88 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 21377 0 0 0 10036 152 0 0 20 0 1 0 1131717 124317696 22755 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 30351 22755 1830 992 0 22209 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 121404 KiB
Current children cumulated memory: 91020 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.16 4.14 5/261 9884
/proc/meminfo: memFree=108409296/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=164516 memory=117464 CPUtime=161.71 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 23917 0 0 0 15921 250 0 0 20 0 1 0 1131717 168464384 29366 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 41129 29366 1862 992 0 32987 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 164516 KiB
Current children cumulated memory: 117464 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/261 9896
/proc/meminfo: memFree=107220260/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=204328 memory=141936 CPUtime=221.56 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 26461 0 0 0 21835 321 0 0 20 0 1 0 1131717 209231872 35484 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 51082 35484 1862 992 0 42940 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 204328 KiB
Current children cumulated memory: 141936 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/260 9906
/proc/meminfo: memFree=105647032/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=209236 memory=147728 CPUtime=281.4 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 27940 0 0 0 27729 411 0 0 20 0 1 0 1131717 214257664 36932 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 52309 36932 1862 992 0 44167 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 209236 KiB
Current children cumulated memory: 147728 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/262 9920
/proc/meminfo: memFree=104267448/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=213968 memory=163952 CPUtime=341.23 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 28934 0 0 0 33648 475 0 0 20 0 1 0 1131717 219103232 40988 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 53492 40988 1862 992 0 45350 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 213968 KiB
Current children cumulated memory: 163952 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.12 4.13 5/263 9933
/proc/meminfo: memFree=103381660/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=272796 memory=219704 CPUtime=401.09 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 31644 0 0 0 39568 541 0 0 20 0 1 0 1131717 279343104 54926 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 68199 54926 1862 992 0 60057 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 272796 KiB
Current children cumulated memory: 219704 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/261 9944
/proc/meminfo: memFree=102560236/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=272960 memory=219968 CPUtime=460.94 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 31698 0 0 0 45535 559 0 0 20 0 1 0 1131717 279511040 54992 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 68240 54992 1862 992 0 60098 0
################
# More data... #
################
Current children cumulated memory: 1723464 KiB
[startup+2862.3 s]
/proc/loadavg: 4.23 4.18 4.16 5/261 11855
/proc/meminfo: memFree=114919328/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=2158888 memory=1724736 CPUtime=2854.09 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 160489 0 0 0 282534 2875 0 0 20 0 1 0 1131717 2210701312 431184 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 539722 431184 1862 992 0 531580 0
Current children cumulated CPU time: 2854.09 s
Current children cumulated vsize: 2158888 KiB
Current children cumulated memory: 1724736 KiB
[startup+2922.3 s]
/proc/loadavg: 4.70 4.34 4.22 5/260 11866
/proc/meminfo: memFree=113671112/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=2158888 memory=1725060 CPUtime=2913.91 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 160754 0 0 0 288456 2935 0 0 20 0 1 0 1131717 2210701312 431265 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 539722 431265 1862 992 0 531580 0
Current children cumulated CPU time: 2913.91 s
Current children cumulated vsize: 2158888 KiB
Current children cumulated memory: 1725060 KiB
[startup+2982.3 s]
/proc/loadavg: 4.30 4.29 4.21 5/260 12251
/proc/meminfo: memFree=120335952/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=2158888 memory=1727480 CPUtime=2973.74 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 160804 0 0 0 294355 3019 0 0 20 0 1 0 1131717 2210701312 431870 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 539722 431870 1862 992 0 531580 0
Current children cumulated CPU time: 2973.74 s
Current children cumulated vsize: 2158888 KiB
Current children cumulated memory: 1727480 KiB
[startup+3042.3 s]
/proc/loadavg: 4.21 4.27 4.20 5/259 12402
/proc/meminfo: memFree=120050208/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=2158888 memory=1727536 CPUtime=3033.56 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 161047 0 0 0 300293 3063 0 0 20 0 1 0 1131717 2210701312 431884 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 539722 431884 1862 992 0 531580 0
Current children cumulated CPU time: 3033.56 s
Current children cumulated vsize: 2158888 KiB
Current children cumulated memory: 1727536 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.25 4.20 5/259 12412
/proc/meminfo: memFree=119807336/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=2158888 memory=1728404 CPUtime=3093.42 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 161261 0 0 0 306261 3081 0 0 20 0 1 0 1131717 2210701312 432101 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 539722 432101 1862 992 0 531580 0
Current children cumulated CPU time: 3093.42 s
Current children cumulated vsize: 2158888 KiB
Current children cumulated memory: 1728404 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.23 4.19 5/258 12423
/proc/meminfo: memFree=119545720/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=2159668 memory=1728872 CPUtime=3153.27 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 161671 0 0 0 312199 3128 0 0 20 0 1 0 1131717 2211500032 432218 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 539917 432218 1862 992 0 531775 0
Current children cumulated CPU time: 3153.27 s
Current children cumulated vsize: 2159668 KiB
Current children cumulated memory: 1728872 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.20 4.18 5/257 12435
/proc/meminfo: memFree=119250488/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=2159668 memory=1732840 CPUtime=3213.12 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 162132 0 0 0 318080 3232 0 0 20 0 1 0 1131717 2211500032 433210 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 539917 433210 1862 992 0 531775 0
Current children cumulated CPU time: 3213.12 s
Current children cumulated vsize: 2159668 KiB
Current children cumulated memory: 1732840 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.18 4.18 5/257 12445
/proc/meminfo: memFree=118444072/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=2159668 memory=1738572 CPUtime=3272.97 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 162599 0 0 0 323976 3321 0 0 20 0 1 0 1131717 2211500032 434643 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 539917 434643 1862 992 0 531775 0
Current children cumulated CPU time: 3272.97 s
Current children cumulated vsize: 2159668 KiB
Current children cumulated memory: 1738572 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.17 4.18 5/261 12461
/proc/meminfo: memFree=117727056/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=2159668 memory=1762960 CPUtime=3332.8 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 163164 0 0 0 329886 3394 0 0 20 0 1 0 1131717 2211500032 440740 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 539917 440740 1862 992 0 531775 0
Current children cumulated CPU time: 3332.8 s
Current children cumulated vsize: 2159668 KiB
Current children cumulated memory: 1762960 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.19 4.18 5/262 12475
/proc/meminfo: memFree=116414616/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=2159668 memory=1763652 CPUtime=3392.67 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 163376 0 0 0 335844 3423 0 0 20 0 1 0 1131717 2211500032 440913 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 539917 440913 1862 992 0 531775 0
Current children cumulated CPU time: 3392.67 s
Current children cumulated vsize: 2159668 KiB
Current children cumulated memory: 1763652 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.18 4.18 5/263 12486
/proc/meminfo: memFree=115176260/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=2159668 memory=1763652 CPUtime=3452.52 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 163530 0 0 0 341808 3444 0 0 20 0 1 0 1131717 2211500032 440913 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 539917 440913 1862 992 0 531775 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 2159668 KiB
Current children cumulated memory: 1763652 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/263 12496
/proc/meminfo: memFree=113951072/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=2159668 memory=1763720 CPUtime=3512.38 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 164247 0 0 0 347716 3522 0 0 20 0 1 0 1131717 2211500032 440930 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 539917 440930 1862 992 0 531775 0
Current children cumulated CPU time: 3512.38 s
Current children cumulated vsize: 2159668 KiB
Current children cumulated memory: 1763720 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/258 12535
/proc/meminfo: memFree=113811644/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=2159668 memory=1763720 CPUtime=3572.24 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 164918 0 0 0 353639 3585 0 0 20 0 1 0 1131717 2211500032 440930 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 539917 440930 1862 992 0 531775 0
Current children cumulated CPU time: 3572.24 s
Current children cumulated vsize: 2159668 KiB
Current children cumulated memory: 1763720 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.13 4.16 4.17 5/263 12560
/proc/meminfo: memFree=113589668/131524600 swapFree=131071996/131071996
[pid=9849] ppid=9846 vsize=2159668 memory=1763720 CPUtime=3600.05 cores=4,6
/proc/9849/stat : 9849 (roundingsat) R 9846 9849 6885 0 -1 4194304 165232 0 0 0 356369 3636 0 0 20 0 1 0 1131717 2211500032 440930 134679101440 4194304 8255733 140723862037392 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 26972160 140723862045534 140723862045796 140723862045796 140723862052809 0
/proc/9849/statm: 539917 440930 1862 992 0 531775 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2159668 KiB
Current children cumulated memory: 1763720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.26 s]
# the end of solver process 9849 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3563.7 s, system=36.3751 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.26
CPU time (s): 3600.07
CPU user time (s): 3563.7
CPU system time (s): 36.3751
CPU usage (%): 99.7178
Max. virtual memory (cumulated for all children) (KiB): 2159668
Max. memory (cumulated for all children) (KiB): 1763720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.7
system time used= 36.3751
maximum resident set size= 1763720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165250
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11838888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 672
involuntary context switches= 4394
# summary of solver processes directly reported to runsolver:
# pid: 9849
# total CPU time (s): 3600.07
# total CPU user time (s): 3563.7
# total CPU system time (s): 36.3751
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.596 second user time and 13.0581 second system time
The end
Begin job on nodeC034 at 2024-07-30 15:14:34 IDJOB=4463070 IDBENCH=158312 IDSOLVER=3089 FILE ID=nodeC034/4463070-1722345274 RUNJOBID= nodeC034-1722340763-6897 SLURM_JOB_ID= 8249007 Free space on /tmp= 890032 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K172.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-4463070-1722345274/watcher-4463070-1722345274 -o /tmp/evaluation-result-4463070-1722345274/solver-4463070-1722345274 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722340763-6897 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463070-1722345274 --lp-cut-gomory=0 HOME/instance-4463070-1722345274.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 44b1adf4a7e5c26b78f2dbc134a2606f RANDOM SEED=86805721 nodeC034.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 : 3664.976 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.51 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 : 3685.187 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.49 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 : 3602.218 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.51 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 : 3599.758 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.49 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 : 3651.638 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.51 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 : 3685.243 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.49 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 : 3649.862 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.51 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 : 3599.968 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.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 111856736 kB MemAvailable: 122685440 kB Buffers: 48992 kB Cached: 11604556 kB SwapCached: 0 kB Active: 189252 kB Inactive: 18975372 kB Active(anon): 1548 kB Inactive(anon): 7530944 kB Active(file): 187704 kB Inactive(file): 11444428 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 35572 kB Writeback: 0 kB AnonPages: 7508656 kB Mapped: 98008 kB Shmem: 21336 kB KReclaimable: 72788 kB Slab: 152208 kB SReclaimable: 72788 kB SUnreclaim: 79420 kB KernelStack: 4256 kB PageTables: 24352 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 9414368 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8992 kB HardwareCorrupted: 0 kB AnonHugePages: 3819520 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: 185044 kB DirectMap2M: 5879808 kB DirectMap1G: 130023424 kB Free space on /tmp at the end= 890032 MiB End job on nodeC034 at 2024-07-30 16:14:45