| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3602.09 | 3614.92 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K157.opb |
| MD5SUM | 1aa29222329f307e3e004dcb472df849 |
| 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 | 2164.15 |
| 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 | 18683 |
| Total number of constraints | 18999 |
| Number of constraints which are clauses | 18842 |
| Number of constraints which are cardinality constraints (but not clauses) | 157 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 157 |
| 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 | 158 |
| 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.10/0.42 c #variables 18683 #constraints 18999 253.68/254.93 c #Conflicts: 1000 | #Constraints: 19998 253.68/254.93 c #Conflicts: 2000 | #Constraints: 20998 253.68/254.93 c INPROCESSING 253.68/254.93 c GARBAGE COLLECT 253.68/254.93 c #Conflicts: 3000 | #Constraints: 20239 253.68/254.93 c #Conflicts: 4000 | #Constraints: 21239 253.68/254.93 c INPROCESSING 253.68/254.93 c GARBAGE COLLECT 253.68/254.93 c #Conflicts: 5000 | #Constraints: 20745 253.68/254.93 c #Conflicts: 6000 | #Constraints: 21745 253.68/254.93 c INPROCESSING 253.68/254.93 c GARBAGE COLLECT 253.68/254.93 c #Conflicts: 7000 | #Constraints: 20816 253.68/254.93 c #Conflicts: 8000 | #Constraints: 21816 253.68/254.93 c #Conflicts: 9000 | #Constraints: 22816 253.68/254.93 c INPROCESSING 253.68/254.93 c GARBAGE COLLECT 253.68/254.93 c #Conflicts: 10000 | #Constraints: 21582 253.68/254.93 c #Conflicts: 11000 | #Constraints: 22582 253.68/254.93 c #Conflicts: 12000 | #Constraints: 23582 253.68/254.93 c #Conflicts: 13000 | #Constraints: 24582 253.68/254.93 c #Conflicts: 14000 | #Constraints: 25582 253.68/254.93 c #Conflicts: 15000 | #Constraints: 26582 253.68/254.93 c #Conflicts: 16000 | #Constraints: 27582 253.68/254.93 c INPROCESSING 253.68/254.93 c GARBAGE COLLECT 253.68/254.93 c #Conflicts: 17000 | #Constraints: 23900 253.68/254.93 c #Conflicts: 18000 | #Constraints: 24900 253.68/254.93 c #Conflicts: 19000 | #Constraints: 25900 253.68/254.93 c #Conflicts: 20000 | #Constraints: 26900 253.68/254.93 c INPROCESSING 253.68/254.93 c GARBAGE COLLECT 253.68/254.93 c #Conflicts: 21000 | #Constraints: 23659 253.68/254.93 c #Conflicts: 22000 | #Constraints: 24660 253.68/254.93 c #Conflicts: 23000 | #Constraints: 25660 253.68/254.93 c #Conflicts: 24000 | #Constraints: 26660 253.68/254.93 c #Conflicts: 25000 | #Constraints: 27660 253.68/254.93 c #Conflicts: 26000 | #Constraints: 28660 253.68/254.93 c #Conflicts: 27000 | #Constraints: 29660 253.68/254.93 c #Conflicts: 28000 | #Constraints: 30660 253.68/254.93 c #Conflicts: 29000 | #Constraints: 31660 253.68/254.93 c #Conflicts: 30000 | #Constraints: 32660 253.68/254.93 c INPROCESSING 253.68/254.93 c GARBAGE COLLECT 253.68/254.93 c #Conflicts: 31000 | #Constraints: 26275 253.68/254.93 c #Conflicts: 32000 | #Constraints: 27275 253.68/254.93 c #Conflicts: 33000 | #Constraints: 28275 253.68/254.93 c #Conflicts: 34000 | #Constraints: 29275 253.68/254.93 c #Conflicts: 35000 | #Constraints: 30275 253.68/254.93 c #Conflicts: 36000 | #Constraints: 31275 253.68/254.93 c INPROCESSING 253.68/254.93 c GARBAGE COLLECT 253.68/254.93 c #Conflicts: 37000 | #Constraints: 26166 253.68/254.93 c #Conflicts: 38000 | #Constraints: 27166 253.68/254.93 c #Conflicts: 39000 | #Constraints: 28166 253.68/254.93 c #Conflicts: 40000 | #Constraints: 29167 253.68/254.93 c #Conflicts: 41000 | #Constraints: 30167 253.68/254.93 c #Conflicts: 42000 | #Constraints: 31167 253.68/254.93 c #Conflicts: 43000 | #Constraints: 32167 253.68/254.93 c #Conflicts: 44000 | #Constraints: 33167 253.68/254.93 c #Conflicts: 45000 | #Constraints: 34167 253.68/254.93 c #Conflicts: 46000 | #Constraints: 35167 253.68/254.93 c #Conflicts: 47000 | #Constraints: 36167 253.68/254.93 c #Conflicts: 48000 | #Constraints: 37167 253.68/254.93 c #Conflicts: 49000 | #Constraints: 38167 253.68/254.93 c INPROCESSING 253.68/254.93 c GARBAGE COLLECT 253.68/254.93 c #Conflicts: 50000 | #Constraints: 29475 253.68/254.93 c #Conflicts: 51000 | #Constraints: 30475 253.68/254.93 c #Conflicts: 52000 | #Constraints: 31475 253.68/254.93 c #Conflicts: 53000 | #Constraints: 32475 253.68/254.93 c #Conflicts: 54000 | #Constraints: 33475 253.68/254.93 c #Conflicts: 55000 | #Constraints: 34475 253.68/254.93 c #Conflicts: 56000 | #Constraints: 35475 253.68/254.93 c INPROCESSING 253.68/254.93 c GARBAGE COLLECT 253.68/254.93 c #Conflicts: 57000 | #Constraints: 28288 253.68/254.93 c #Conflicts: 58000 | #Constraints: 29288 253.68/254.93 c #Conflicts: 59000 | #Constraints: 30288 253.68/254.93 c #Conflicts: 60000 | #Constraints: 31288 253.68/254.93 c #Conflicts: 61000 | #Constraints: 32288 253.68/254.93 c #Conflicts: 62000 | #Constraints: 33288 253.68/254.93 c INPROCESSING 253.68/254.93 c GARBAGE COLLECT 253.68/254.93 c rational objective 157 360.82/362.44 c #Conflicts: 63000 | #Constraints: 27661 360.82/362.44 c #Conflicts: 64000 | #Constraints: 28662 360.82/362.44 c #Conflicts: 65000 | #Constraints: 29662 360.82/362.44 c #Conflicts: 66000 | #Constraints: 30662 360.82/362.44 c #Conflicts: 67000 | #Constraints: 31662 360.82/362.44 c #Conflicts: 68000 | #Constraints: 32662 360.82/362.44 c #Conflicts: 69000 | #Constraints: 33662 360.82/362.44 c #Conflicts: 70000 | #Constraints: 34662 360.82/362.44 c #Conflicts: 71000 | #Constraints: 35662 360.82/362.44 c #Conflicts: 72000 | #Constraints: 36662 360.82/362.44 c #Conflicts: 73000 | #Constraints: 37662 360.82/362.44 c #Conflicts: 74000 | #Constraints: 38662 360.82/362.44 c #Conflicts: 75000 | #Constraints: 39662 360.82/362.44 c #Conflicts: 76000 | #Constraints: 40662 360.82/362.44 c #Conflicts: 77000 | #Constraints: 41662 360.82/362.44 c #Conflicts: 78000 | #Constraints: 42663 360.82/362.44 c #Conflicts: 79000 | #Constraints: 43663 360.82/362.44 c #Conflicts: 80000 | #Constraints: 44663 360.82/362.44 c INPROCESSING 360.82/362.44 c GARBAGE COLLECT 360.82/362.44 c rational objective 157 655.57/658.28 c #Conflicts: 81000 | #Constraints: 32840 655.57/658.28 c #Conflicts: 82000 | #Constraints: 33840 655.57/658.28 c #Conflicts: 83000 | #Constraints: 34840 655.57/658.28 c #Conflicts: 84000 | #Constraints: 35840 655.57/658.28 c #Conflicts: 85000 | #Constraints: 36840 655.57/658.28 c #Conflicts: 86000 | #Constraints: 37840 655.57/658.28 c #Conflicts: 87000 | #Constraints: 38840 655.57/658.28 c #Conflicts: 88000 | #Constraints: 39840 655.57/658.28 c INPROCESSING 655.57/658.28 c GARBAGE COLLECT 655.57/658.28 c #Conflicts: 89000 | #Constraints: 30456 655.57/658.28 c #Conflicts: 90000 | #Constraints: 31456 655.57/658.28 c #Conflicts: 91000 | #Constraints: 32456 655.57/658.28 c #Conflicts: 92000 | #Constraints: 33456 655.57/658.28 c #Conflicts: 93000 | #Constraints: 34456 655.57/658.28 c #Conflicts: 94000 | #Constraints: 35457 655.57/658.28 c #Conflicts: 95000 | #Constraints: 36457 655.57/658.28 c #Conflicts: 96000 | #Constraints: 37457 655.57/658.28 c #Conflicts: 97000 | #Constraints: 38457 655.57/658.28 c #Conflicts: 98000 | #Constraints: 39457 655.57/658.28 c #Conflicts: 99000 | #Constraints: 40457 655.57/658.28 c #Conflicts: 100000 | #Constraints: 41457 655.57/658.28 c #Conflicts: 101000 | #Constraints: 42457 655.57/658.28 c #Conflicts: 102000 | #Constraints: 43457 655.57/658.28 c #Conflicts: 103000 | #Constraints: 44457 655.57/658.28 c #Conflicts: 104000 | #Constraints: 45457 655.57/658.28 c #Conflicts: 105000 | #Constraints: 46457 655.57/658.28 c #Conflicts: 106000 | #Constraints: 47457 655.57/658.28 c #Conflicts: 107000 | #Constraints: 48457 655.57/658.28 c #Conflicts: 108000 | #Constraints: 49457 655.57/658.28 c #Conflicts: 109000 | #Constraints: 50457 655.57/658.28 c INPROCESSING 655.57/658.28 c GARBAGE COLLECT 655.57/658.28 c #Conflicts: 110000 | #Constraints: 35918 655.57/658.28 c #Conflicts: 111000 | #Constraints: 36918 655.57/658.28 c #Conflicts: 112000 | #Constraints: 37918 655.57/658.28 c #Conflicts: 113000 | #Constraints: 38919 655.57/658.28 c #Conflicts: 114000 | #Constraints: 39919 655.57/658.28 c #Conflicts: 115000 | #Constraints: 40919 655.57/658.28 c #Conflicts: 116000 | #Constraints: 41919 655.57/658.28 c #Conflicts: 117000 | #Constraints: 42919 655.57/658.28 c #Conflicts: 118000 | #Constraints: 43919 655.57/658.28 c INPROCESSING 655.57/658.28 c GARBAGE COLLECT 655.57/658.28 c #Conflicts: 119000 | #Constraints: 32424 655.57/658.28 c #Conflicts: 120000 | #Constraints: 33424 655.57/658.28 c #Conflicts: 121000 | #Constraints: 34424 655.57/658.28 c #Conflicts: 122000 | #Constraints: 35424 655.57/658.28 c #Conflicts: 123000 | #Constraints: 36424 655.57/658.28 c #Conflicts: 124000 | #Constraints: 37424 655.57/658.28 c #Conflicts: 125000 | #Constraints: 38424 655.57/658.28 c #Conflicts: 126000 | #Constraints: 39424 655.57/658.28 c #Conflicts: 127000 | #Constraints: 40424 655.57/658.28 c #Conflicts: 128000 | #Constraints: 41424 655.57/658.28 c #Conflicts: 129000 | #Constraints: 42425 655.57/658.28 c #Conflicts: 130000 | #Constraints: 43425 655.57/658.28 c #Conflicts: 131000 | #Constraints: 44425 655.57/658.28 c #Conflicts: 132000 | #Constraints: 45425 655.57/658.28 c #Conflicts: 133000 | #Constraints: 46425 655.57/658.28 c #Conflicts: 134000 | #Constraints: 47425 655.57/658.28 c #Conflicts: 135000 | #Constraints: 48425 655.57/658.28 c #Conflicts: 136000 | #Constraints: 49425 655.57/658.28 c #Conflicts: 137000 | #Constraints: 50425 655.57/658.28 c #Conflicts: 138000 | #Constraints: 51425 655.57/658.28 c #Conflicts: 139000 | #Constraints: 52425 655.57/658.28 c #Conflicts: 140000 | #Constraints: 53425 655.57/658.28 c #Conflicts: 141000 | #Constraints: 54425 655.57/658.28 c #Conflicts: 142000 | #Constraints: 55426 655.57/658.28 c INPROCESSING 655.57/658.28 c GARBAGE COLLECT 655.57/658.28 c #Conflicts: 143000 | #Constraints: 37953 655.57/658.28 c #Conflicts: 144000 | #Constraints: 38953 655.57/658.28 c #Conflicts: 145000 | #Constraints: 39953 655.57/658.28 c #Conflicts: 146000 | #Constraints: 40953 655.57/658.28 c #Conflicts: 147000 | #Constraints: 41953 655.57/658.28 c #Conflicts: 148000 | #Constraints: 42953 655.57/658.28 c #Conflicts: 149000 | #Constraints: 43953 655.57/658.28 c #Conflicts: 150000 | #Constraints: 44953 655.57/658.28 c #Conflicts: 151000 | #Constraints: 45953 655.57/658.28 c #Conflicts: 152000 | #Constraints: 46953 655.57/658.28 c #Conflicts: 153000 | #Constraints: 47953 655.57/658.28 c INPROCESSING 655.57/658.28 c GARBAGE COLLECT 655.57/658.28 c #Conflicts: 154000 | #Constraints: 35048 655.57/658.28 c #Conflicts: 155000 | #Constraints: 36049 655.57/658.28 c #Conflicts: 156000 | #Constraints: 37049 707.01/709.81 c #Conflicts: 157000 | #Constraints: 38049 707.01/709.81 c #Conflicts: 158000 | #Constraints: 39049 707.01/709.81 c #Conflicts: 159000 | #Constraints: 40049 707.01/709.81 c #Conflicts: 160000 | #Constraints: 41049 707.01/709.81 c #Conflicts: 161000 | #Constraints: 42049 707.01/709.81 c #Conflicts: 162000 | #Constraints: 43049 707.01/709.81 c #Conflicts: 163000 | #Constraints: 44049 707.01/709.81 c #Conflicts: 164000 | #Constraints: 45049 707.01/709.81 c #Conflicts: 165000 | #Constraints: 46049 707.01/709.81 c #Conflicts: 166000 | #Constraints: 47049 707.01/709.81 c #Conflicts: 167000 | #Constraints: 48049 707.01/709.81 c #Conflicts: 168000 | #Constraints: 49049 707.01/709.81 c #Conflicts: 169000 | #Constraints: 50049 707.01/709.81 c #Conflicts: 170000 | #Constraints: 51049 707.01/709.81 c #Conflicts: 171000 | #Constraints: 52049 707.01/709.81 c #Conflicts: 172000 | #Constraints: 53049 707.01/709.81 c #Conflicts: 173000 | #Constraints: 54049 707.01/709.81 c #Conflicts: 174000 | #Constraints: 55049 707.01/709.81 c #Conflicts: 175000 | #Constraints: 56049 707.01/709.81 c #Conflicts: 176000 | #Constraints: 57049 707.01/709.81 c #Conflicts: 177000 | #Constraints: 58049 707.01/709.81 c #Conflicts: 178000 | #Constraints: 59049 707.01/709.81 c #Conflicts: 179000 | #Constraints: 60049 707.01/709.81 c #Conflicts: 180000 | #Constraints: 61049 707.01/709.81 c INPROCESSING 707.01/709.81 c GARBAGE COLLECT 707.01/709.81 c rational objective 157 796.52/799.66 c #Conflicts: 181000 | #Constraints: 41327 796.52/799.66 c #Conflicts: 182000 | #Constraints: 42327 796.52/799.66 c #Conflicts: 183000 | #Constraints: 43327 796.52/799.66 c #Conflicts: 184000 | #Constraints: 44327 796.52/799.66 c #Conflicts: 185000 | #Constraints: 45327 796.52/799.66 c #Conflicts: 186000 | #Constraints: 46327 796.52/799.66 c #Conflicts: 187000 | #Constraints: 47327 796.52/799.66 c #Conflicts: 188000 | #Constraints: 48327 796.52/799.66 c #Conflicts: 189000 | #Constraints: 49327 796.52/799.66 c #Conflicts: 190000 | #Constraints: 50327 796.52/799.66 c #Conflicts: 191000 | #Constraints: 51327 796.52/799.66 c INPROCESSING 796.52/799.66 c GARBAGE COLLECT 796.52/799.66 c rational objective 157 866.98/870.32 c #Conflicts: 192000 | #Constraints: 36539 866.98/870.32 c #Conflicts: 193000 | #Constraints: 37539 866.98/870.32 c #Conflicts: 194000 | #Constraints: 38539 866.98/870.32 c #Conflicts: 195000 | #Constraints: 39539 866.98/870.32 c #Conflicts: 196000 | #Constraints: 40539 866.98/870.32 c #Conflicts: 197000 | #Constraints: 41539 866.98/870.32 c #Conflicts: 198000 | #Constraints: 42539 866.98/870.32 c #Conflicts: 199000 | #Constraints: 43539 866.98/870.32 c #Conflicts: 200000 | #Constraints: 44539 866.98/870.32 c #Conflicts: 201000 | #Constraints: 45539 866.98/870.32 c #Conflicts: 202000 | #Constraints: 46539 866.98/870.32 c #Conflicts: 203000 | #Constraints: 47539 866.98/870.32 c #Conflicts: 204000 | #Constraints: 48539 866.98/870.32 c #Conflicts: 205000 | #Constraints: 49540 866.98/870.32 c #Conflicts: 206000 | #Constraints: 50540 866.98/870.32 c #Conflicts: 207000 | #Constraints: 51540 866.98/870.32 c #Conflicts: 208000 | #Constraints: 52540 866.98/870.32 c #Conflicts: 209000 | #Constraints: 53540 866.98/870.32 c #Conflicts: 210000 | #Constraints: 54540 866.98/870.32 c #Conflicts: 211000 | #Constraints: 55540 866.98/870.32 c #Conflicts: 212000 | #Constraints: 56540 866.98/870.32 c #Conflicts: 213000 | #Constraints: 57540 866.98/870.32 c #Conflicts: 214000 | #Constraints: 58540 866.98/870.32 c #Conflicts: 215000 | #Constraints: 59540 866.98/870.32 c #Conflicts: 216000 | #Constraints: 60540 866.98/870.32 c #Conflicts: 217000 | #Constraints: 61540 866.98/870.32 c #Conflicts: 218000 | #Constraints: 62540 866.98/870.32 c #Conflicts: 219000 | #Constraints: 63540 866.98/870.32 c #Conflicts: 220000 | #Constraints: 64540 866.98/870.32 c #Conflicts: 221000 | #Constraints: 65540 866.98/870.32 c #Conflicts: 222000 | #Constraints: 66540 866.98/870.32 c INPROCESSING 866.98/870.32 c GARBAGE COLLECT 866.98/870.32 c rational objective 157 900.38/903.81 c #Conflicts: 223000 | #Constraints: 44243 900.38/903.81 c #Conflicts: 224000 | #Constraints: 45243 900.38/903.81 c #Conflicts: 225000 | #Constraints: 46243 900.38/903.81 c #Conflicts: 226000 | #Constraints: 47243 900.38/903.81 c #Conflicts: 227000 | #Constraints: 48243 900.38/903.81 c #Conflicts: 228000 | #Constraints: 49243 900.38/903.81 c #Conflicts: 229000 | #Constraints: 50243 900.38/903.81 c #Conflicts: 230000 | #Constraints: 51243 900.38/903.81 c #Conflicts: 231000 | #Constraints: 52243 900.38/903.81 c #Conflicts: 232000 | #Constraints: 53243 900.38/903.81 c #Conflicts: 233000 | #Constraints: 54243 900.38/903.81 c #Conflicts: 234000 | #Constraints: 55243 900.38/903.81 c #Conflicts: 235000 | #Constraints: 56243 900.38/903.81 c INPROCESSING 900.38/903.81 c GARBAGE COLLECT 900.38/903.81 c rational objective 157 1047.58/1051.57 c #Conflicts: 236000 | #Constraints: 39030 1047.58/1051.57 c #Conflicts: 237000 | #Constraints: 40030 1047.58/1051.57 c #Conflicts: 238000 | #Constraints: 41030 1047.58/1051.57 c #Conflicts: 239000 | #Constraints: 42030 1047.58/1051.57 c #Conflicts: 240000 | #Constraints: 43030 1047.58/1051.57 c #Conflicts: 241000 | #Constraints: 44030 1047.58/1051.57 c #Conflicts: 242000 | #Constraints: 45030 1047.58/1051.57 c #Conflicts: 243000 | #Constraints: 46030 1047.58/1051.57 c #Conflicts: 244000 | #Constraints: 47030 1047.58/1051.57 c #Conflicts: 245000 | #Constraints: 48030 1047.58/1051.57 c #Conflicts: 246000 | #Constraints: 49030 1047.58/1051.57 c #Conflicts: 247000 | #Constraints: 50030 1047.58/1051.57 c #Conflicts: 248000 | #Constraints: 51030 1047.58/1051.57 c #Conflicts: 249000 | #Constraints: 52030 1047.58/1051.57 c #Conflicts: 250000 | #Constraints: 53030 1047.58/1051.57 c #Conflicts: 251000 | #Constraints: 54030 1047.58/1051.57 c #Conflicts: 252000 | #Constraints: 55030 1047.58/1051.57 c #Conflicts: 253000 | #Constraints: 56030 1047.58/1051.57 c #Conflicts: 254000 | #Constraints: 57030 1047.58/1051.57 c #Conflicts: 255000 | #Constraints: 58031 1047.58/1051.57 c #Conflicts: 256000 | #Constraints: 59031 1047.58/1051.57 c #Conflicts: 257000 | #Constraints: 60031 1047.58/1051.57 c #Conflicts: 258000 | #Constraints: 61031 1047.58/1051.57 c #Conflicts: 259000 | #Constraints: 62031 1047.58/1051.57 c #Conflicts: 260000 | #Constraints: 63031 1047.58/1051.57 c #Conflicts: 261000 | #Constraints: 64031 1047.58/1051.57 c #Conflicts: 262000 | #Constraints: 65031 1047.58/1051.57 c #Conflicts: 263000 | #Constraints: 66031 1047.58/1051.57 c #Conflicts: 264000 | #Constraints: 67031 1047.58/1051.57 c #Conflicts: 265000 | #Constraints: 68031 1047.58/1051.57 c #Conflicts: 266000 | #Constraints: 69031 1047.58/1051.57 c #Conflicts: 267000 | #Constraints: 70031 1047.58/1051.57 c #Conflicts: 268000 | #Constraints: 71031 1047.58/1051.57 c INPROCESSING 1047.58/1051.57 c GARBAGE COLLECT 1047.58/1051.57 c rational objective 157 1182.93/1187.33 c #Conflicts: 269000 | #Constraints: 46257 1182.93/1187.33 c #Conflicts: 270000 | #Constraints: 47258 1182.93/1187.33 c #Conflicts: 271000 | #Constraints: 48258 1182.93/1187.33 c #Conflicts: 272000 | #Constraints: 49258 1182.93/1187.33 c #Conflicts: 273000 | #Constraints: 50258 1182.93/1187.33 c #Conflicts: 274000 | #Constraints: 51258 1182.93/1187.33 c #Conflicts: 275000 | #Constraints: 52258 1182.93/1187.33 c #Conflicts: 276000 | #Constraints: 53258 1182.93/1187.33 c #Conflicts: 277000 | #Constraints: 54258 1182.93/1187.33 c #Conflicts: 278000 | #Constraints: 55258 1182.93/1187.33 c #Conflicts: 279000 | #Constraints: 56258 1182.93/1187.33 c #Conflicts: 280000 | #Constraints: 57258 1182.93/1187.33 c #Conflicts: 281000 | #Constraints: 58258 1182.93/1187.33 c #Conflicts: 282000 | #Constraints: 59258 1182.93/1187.33 c INPROCESSING 1182.93/1187.33 c GARBAGE COLLECT 1182.93/1187.33 c rational objective 157 1345.31/1350.28 c #Conflicts: 283000 | #Constraints: 40673 1345.31/1350.28 c #Conflicts: 284000 | #Constraints: 41673 1345.31/1350.28 c #Conflicts: 285000 | #Constraints: 42673 1345.31/1350.28 c #Conflicts: 286000 | #Constraints: 43673 1345.31/1350.28 c #Conflicts: 287000 | #Constraints: 44673 1345.31/1350.28 c #Conflicts: 288000 | #Constraints: 45673 1345.31/1350.28 c #Conflicts: 289000 | #Constraints: 46673 1345.31/1350.28 c #Conflicts: 290000 | #Constraints: 47673 1345.31/1350.28 c #Conflicts: 291000 | #Constraints: 48673 1345.31/1350.28 c #Conflicts: 292000 | #Constraints: 49673 1345.31/1350.28 c #Conflicts: 293000 | #Constraints: 50673 1345.31/1350.28 c #Conflicts: 294000 | #Constraints: 51673 1345.31/1350.28 c #Conflicts: 295000 | #Constraints: 52673 1345.31/1350.28 c #Conflicts: 296000 | #Constraints: 53673 1345.31/1350.28 c #Conflicts: 297000 | #Constraints: 54674 1345.31/1350.28 c #Conflicts: 298000 | #Constraints: 55674 1345.31/1350.28 c #Conflicts: 299000 | #Constraints: 56674 1345.31/1350.28 c #Conflicts: 300000 | #Constraints: 57674 1345.31/1350.28 c #Conflicts: 301000 | #Constraints: 58674 1345.31/1350.28 c #Conflicts: 302000 | #Constraints: 59674 1345.31/1350.28 c #Conflicts: 303000 | #Constraints: 60674 1345.31/1350.28 c #Conflicts: 304000 | #Constraints: 61674 1345.31/1350.28 c #Conflicts: 305000 | #Constraints: 62674 1345.31/1350.28 c #Conflicts: 306000 | #Constraints: 63674 1345.31/1350.28 c #Conflicts: 307000 | #Constraints: 64674 1345.31/1350.28 c #Conflicts: 308000 | #Constraints: 65674 1345.31/1350.28 c #Conflicts: 309000 | #Constraints: 66674 1345.31/1350.28 c #Conflicts: 310000 | #Constraints: 67675 1345.31/1350.28 c #Conflicts: 311000 | #Constraints: 68675 1345.31/1350.28 c #Conflicts: 312000 | #Constraints: 69675 1345.31/1350.28 c #Conflicts: 313000 | #Constraints: 70675 1345.31/1350.28 c #Conflicts: 314000 | #Constraints: 71675 1345.31/1350.28 c #Conflicts: 315000 | #Constraints: 72675 1345.31/1350.28 c #Conflicts: 316000 | #Constraints: 73675 1345.31/1350.28 c #Conflicts: 317000 | #Constraints: 74675 1345.31/1350.28 c #Conflicts: 318000 | #Constraints: 75675 1345.31/1350.28 c #Conflicts: 319000 | #Constraints: 76675 1345.31/1350.28 c INPROCESSING 1345.31/1350.28 c GARBAGE COLLECT 1345.31/1350.28 c #Conflicts: 320000 | #Constraints: 49334 1345.31/1350.28 c #Conflicts: 321000 | #Constraints: 50334 1345.31/1350.28 c #Conflicts: 322000 | #Constraints: 51334 1345.31/1350.28 c #Conflicts: 323000 | #Constraints: 52334 1345.31/1350.28 c #Conflicts: 324000 | #Constraints: 53334 1345.31/1350.28 c #Conflicts: 325000 | #Constraints: 54335 1345.31/1350.28 c #Conflicts: 326000 | #Constraints: 55335 1345.31/1350.28 c #Conflicts: 327000 | #Constraints: 56335 1345.31/1350.28 c #Conflicts: 328000 | #Constraints: 57335 1345.31/1350.28 c #Conflicts: 329000 | #Constraints: 58335 1345.31/1350.28 c #Conflicts: 330000 | #Constraints: 59335 1345.31/1350.28 c #Conflicts: 331000 | #Constraints: 60335 1345.31/1350.28 c #Conflicts: 332000 | #Constraints: 61335 1345.31/1350.28 c #Conflicts: 333000 | #Constraints: 62335 1345.31/1350.28 c #Conflicts: 334000 | #Constraints: 63335 1345.31/1350.28 c #Conflicts: 335000 | #Constraints: 64335 1345.31/1350.28 c INPROCESSING 1345.31/1350.28 c GARBAGE COLLECT 1345.31/1350.28 c rational objective 157 1496.82/1502.24 c #Conflicts: 336000 | #Constraints: 43899 1496.82/1502.24 c #Conflicts: 337000 | #Constraints: 44899 1496.82/1502.24 c #Conflicts: 338000 | #Constraints: 45899 1496.82/1502.24 c #Conflicts: 339000 | #Constraints: 46900 1496.82/1502.24 c #Conflicts: 340000 | #Constraints: 47900 1496.82/1502.24 c #Conflicts: 341000 | #Constraints: 48900 1496.82/1502.24 c #Conflicts: 342000 | #Constraints: 49900 1496.82/1502.24 c #Conflicts: 343000 | #Constraints: 50900 1496.82/1502.24 c #Conflicts: 344000 | #Constraints: 51900 1496.82/1502.24 c #Conflicts: 345000 | #Constraints: 52900 1496.82/1502.24 c #Conflicts: 346000 | #Constraints: 53900 1496.82/1502.24 c #Conflicts: 347000 | #Constraints: 54900 1496.82/1502.24 c #Conflicts: 348000 | #Constraints: 55900 1496.82/1502.24 c #Conflicts: 349000 | #Constraints: 56900 1496.82/1502.24 c #Conflicts: 350000 | #Constraints: 57900 1496.82/1502.24 c #Conflicts: 351000 | #Constraints: 58900 1496.82/1502.24 c #Conflicts: 352000 | #Constraints: 59900 1496.82/1502.24 c #Conflicts: 353000 | #Constraints: 60900 1496.82/1502.24 c #Conflicts: 354000 | #Constraints: 61900 1496.82/1502.24 c #Conflicts: 355000 | #Constraints: 62900 1496.82/1502.24 c #Conflicts: 356000 | #Constraints: 63900 1496.82/1502.24 c #Conflicts: 357000 | #Constraints: 64900 1496.82/1502.24 c #Conflicts: 358000 | #Constraints: 65900 1496.82/1502.24 c #Conflicts: 359000 | #Constraints: 66900 1496.82/1502.24 c #Conflicts: 360000 | #Constraints: 67900 1496.82/1502.24 c #Conflicts: 361000 | #Constraints: 68900 1496.82/1502.24 c #Conflicts: 362000 | #Constraints: 69900 1496.82/1502.24 c #Conflicts: 363000 | #Constraints: 70900 1496.82/1502.24 c #Conflicts: 364000 | #Constraints: 71900 1496.82/1502.24 c #Conflicts: 365000 | #Constraints: 72900 1496.82/1502.24 c #Conflicts: 366000 | #Constraints: 73900 1496.82/1502.24 c #Conflicts: 367000 | #Constraints: 74900 1496.82/1502.24 c #Conflicts: 368000 | #Constraints: 75900 1496.82/1502.24 c #Conflicts: 369000 | #Constraints: 76900 1496.82/1502.24 c #Conflicts: 370000 | #Constraints: 77900 1496.82/1502.24 c #Conflicts: 371000 | #Constraints: 78900 1496.82/1502.24 c #Conflicts: 372000 | #Constraints: 79900 1496.82/1502.24 c #Conflicts: 373000 | #Constraints: 80901 1496.82/1502.24 c #Conflicts: 374000 | #Constraints: 81901 1496.82/1502.24 c INPROCESSING 1496.82/1502.24 c GARBAGE COLLECT 1496.82/1502.24 c rational objective 157 1622.91/1628.77 c #Conflicts: 375000 | #Constraints: 51875 1622.91/1628.77 c #Conflicts: 376000 | #Constraints: 52875 1622.91/1628.77 c #Conflicts: 377000 | #Constraints: 53875 1622.91/1628.77 c #Conflicts: 378000 | #Constraints: 54875 1622.91/1628.77 c #Conflicts: 379000 | #Constraints: 55875 1622.91/1628.77 c #Conflicts: 380000 | #Constraints: 56876 1622.91/1628.77 c #Conflicts: 381000 | #Constraints: 57876 1622.91/1628.77 c #Conflicts: 382000 | #Constraints: 58876 1622.91/1628.77 c #Conflicts: 383000 | #Constraints: 59876 1622.91/1628.77 c #Conflicts: 384000 | #Constraints: 60876 1622.91/1628.77 c #Conflicts: 385000 | #Constraints: 61876 1622.91/1628.77 c #Conflicts: 386000 | #Constraints: 62876 1622.91/1628.77 c #Conflicts: 387000 | #Constraints: 63876 1622.91/1628.77 c #Conflicts: 388000 | #Constraints: 64876 1622.91/1628.77 c #Conflicts: 389000 | #Constraints: 65876 1622.91/1628.77 c #Conflicts: 390000 | #Constraints: 66876 1622.91/1628.77 c #Conflicts: 391000 | #Constraints: 67876 1622.91/1628.77 c INPROCESSING 1622.91/1628.77 c GARBAGE COLLECT 1622.91/1628.77 c rational objective 157 1768.42/1774.72 c #Conflicts: 392000 | #Constraints: 46371 1768.42/1774.72 c #Conflicts: 393000 | #Constraints: 47371 1768.42/1774.72 c #Conflicts: 394000 | #Constraints: 48371 1768.42/1774.72 c #Conflicts: 395000 | #Constraints: 49371 1768.42/1774.72 c #Conflicts: 396000 | #Constraints: 50371 1768.42/1774.72 c #Conflicts: 397000 | #Constraints: 51371 1768.42/1774.72 c #Conflicts: 398000 | #Constraints: 52371 1768.42/1774.72 c #Conflicts: 399000 | #Constraints: 53371 1768.42/1774.72 c #Conflicts: 400000 | #Constraints: 54371 1768.42/1774.72 c #Conflicts: 401000 | #Constraints: 55372 1768.42/1774.72 c #Conflicts: 402000 | #Constraints: 56372 1768.42/1774.72 c #Conflicts: 403000 | #Constraints: 57372 1768.42/1774.72 c #Conflicts: 404000 | #Constraints: 58372 1768.42/1774.72 c #Conflicts: 405000 | #Constraints: 59372 1768.42/1774.72 c #Conflicts: 406000 | #Constraints: 60372 1768.42/1774.72 c #Conflicts: 407000 | #Constraints: 61373 1768.42/1774.72 c #Conflicts: 408000 | #Constraints: 62373 1768.42/1774.72 c #Conflicts: 409000 | #Constraints: 63373 1768.42/1774.72 c #Conflicts: 410000 | #Constraints: 64373 1768.42/1774.72 c #Conflicts: 411000 | #Constraints: 65373 1768.42/1774.72 c #Conflicts: 412000 | #Constraints: 66373 1768.42/1774.72 c #Conflicts: 413000 | #Constraints: 67373 1768.42/1774.72 c #Conflicts: 414000 | #Constraints: 68373 1768.42/1774.72 c #Conflicts: 415000 | #Constraints: 69373 1768.42/1774.72 c #Conflicts: 416000 | #Constraints: 70373 1768.42/1774.72 c #Conflicts: 417000 | #Constraints: 71373 1768.42/1774.72 c #Conflicts: 418000 | #Constraints: 72373 1768.42/1774.72 c #Conflicts: 419000 | #Constraints: 73373 1768.42/1774.72 c #Conflicts: 420000 | #Constraints: 74373 1768.42/1774.72 c #Conflicts: 421000 | #Constraints: 75373 1768.42/1774.72 c #Conflicts: 422000 | #Constraints: 76373 1768.42/1774.72 c #Conflicts: 423000 | #Constraints: 77373 1768.42/1774.72 c #Conflicts: 424000 | #Constraints: 78373 1768.42/1774.72 c #Conflicts: 425000 | #Constraints: 79373 1768.42/1774.72 c #Conflicts: 426000 | #Constraints: 80373 1768.42/1774.72 c #Conflicts: 427000 | #Constraints: 81373 1768.42/1774.72 c #Conflicts: 428000 | #Constraints: 82373 1768.42/1774.72 c #Conflicts: 429000 | #Constraints: 83373 1768.42/1774.72 c #Conflicts: 430000 | #Constraints: 84373 1768.42/1774.72 c #Conflicts: 431000 | #Constraints: 85373 1768.42/1774.72 c #Conflicts: 432000 | #Constraints: 86373 1768.42/1774.72 c #Conflicts: 433000 | #Constraints: 87373 1768.42/1774.72 c #Conflicts: 434000 | #Constraints: 88373 1768.42/1774.72 c INPROCESSING 1768.42/1774.72 c GARBAGE COLLECT 1768.42/1774.72 c rational objective 157 1822.04/1828.53 c #Conflicts: 435000 | #Constraints: 55237 1822.04/1828.53 c #Conflicts: 436000 | #Constraints: 56237 1822.04/1828.53 c #Conflicts: 437000 | #Constraints: 57237 1822.04/1828.53 c #Conflicts: 438000 | #Constraints: 58237 1822.04/1828.53 c #Conflicts: 439000 | #Constraints: 59237 1822.04/1828.53 c #Conflicts: 440000 | #Constraints: 60237 1822.04/1828.53 c #Conflicts: 441000 | #Constraints: 61237 1822.04/1828.53 c #Conflicts: 442000 | #Constraints: 62237 1822.04/1828.53 c #Conflicts: 443000 | #Constraints: 63237 1822.04/1828.53 c #Conflicts: 444000 | #Constraints: 64237 1822.04/1828.53 c #Conflicts: 445000 | #Constraints: 65237 1822.04/1828.53 c #Conflicts: 446000 | #Constraints: 66237 1822.04/1828.53 c #Conflicts: 447000 | #Constraints: 67237 1822.04/1828.53 c #Conflicts: 448000 | #Constraints: 68237 1822.04/1828.53 c #Conflicts: 449000 | #Constraints: 69237 1822.04/1828.53 c #Conflicts: 450000 | #Constraints: 70237 1822.04/1828.53 c #Conflicts: 451000 | #Constraints: 71237 1822.04/1828.53 c #Conflicts: 452000 | #Constraints: 72237 1822.04/1828.53 c INPROCESSING 1822.04/1828.53 c GARBAGE COLLECT 1822.04/1828.53 c rational objective 157 2075.59/2082.95 c #Conflicts: 453000 | #Constraints: 48338 2075.59/2082.95 c #Conflicts: 454000 | #Constraints: 49338 2075.59/2082.95 c #Conflicts: 455000 | #Constraints: 50338 2075.59/2082.95 c #Conflicts: 456000 | #Constraints: 51338 2075.59/2082.95 c #Conflicts: 457000 | #Constraints: 52338 2075.59/2082.95 c #Conflicts: 458000 | #Constraints: 53338 2075.59/2082.95 c #Conflicts: 459000 | #Constraints: 54338 2075.59/2082.95 c #Conflicts: 460000 | #Constraints: 55338 2075.59/2082.95 c #Conflicts: 461000 | #Constraints: 56338 2075.59/2082.95 c #Conflicts: 462000 | #Constraints: 57338 2075.59/2082.95 c #Conflicts: 463000 | #Constraints: 58338 2075.59/2082.95 c #Conflicts: 464000 | #Constraints: 59338 2075.59/2082.95 c #Conflicts: 465000 | #Constraints: 60338 2075.59/2082.95 c #Conflicts: 466000 | #Constraints: 61338 2075.59/2082.95 c #Conflicts: 467000 | #Constraints: 62338 2075.59/2082.95 c #Conflicts: 468000 | #Constraints: 63338 2075.59/2082.95 c #Conflicts: 469000 | #Constraints: 64338 2075.59/2082.95 c #Conflicts: 470000 | #Constraints: 65338 2075.59/2082.95 c #Conflicts: 471000 | #Constraints: 66339 2075.59/2082.95 c #Conflicts: 472000 | #Constraints: 67339 2075.59/2082.95 c #Conflicts: 473000 | #Constraints: 68339 2075.59/2082.95 c #Conflicts: 474000 | #Constraints: 69339 2075.59/2082.95 c #Conflicts: 475000 | #Constraints: 70339 2075.59/2082.95 c #Conflicts: 476000 | #Constraints: 71339 2075.59/2082.95 c #Conflicts: 477000 | #Constraints: 72339 2075.59/2082.95 c #Conflicts: 478000 | #Constraints: 73339 2075.59/2082.95 c #Conflicts: 479000 | #Constraints: 74339 2075.59/2082.95 c #Conflicts: 480000 | #Constraints: 75339 2075.59/2082.95 c #Conflicts: 481000 | #Constraints: 76339 2075.59/2082.95 c #Conflicts: 482000 | #Constraints: 77339 2075.59/2082.95 c #Conflicts: 483000 | #Constraints: 78339 2075.59/2082.95 c #Conflicts: 484000 | #Constraints: 79339 2075.59/2082.95 c #Conflicts: 485000 | #Constraints: 80339 2075.59/2082.95 c #Conflicts: 486000 | #Constraints: 81339 2075.59/2082.95 c #Conflicts: 487000 | #Constraints: 82340 2075.59/2082.95 c #Conflicts: 488000 | #Constraints: 83340 2075.59/2082.95 c #Conflicts: 489000 | #Constraints: 84340 2075.59/2082.95 c #Conflicts: 490000 | #Constraints: 85340 2075.59/2082.95 c #Conflicts: 491000 | #Constraints: 86340 2075.59/2082.95 c #Conflicts: 492000 | #Constraints: 87340 2075.59/2082.95 c #Conflicts: 493000 | #Constraints: 88340 2075.59/2082.95 c #Conflicts: 494000 | #Constraints: 89340 2075.59/2082.95 c #Conflicts: 495000 | #Constraints: 90340 2075.59/2082.95 c #Conflicts: 496000 | #Constraints: 91340 2075.59/2082.95 c #Conflicts: 497000 | #Constraints: 92340 2075.59/2082.95 c #Conflicts: 498000 | #Constraints: 93340 2075.59/2082.95 c INPROCESSING 2075.59/2082.95 c GARBAGE COLLECT 2075.59/2082.95 c rational objective 157 2203.87/2211.63 c #Conflicts: 499000 | #Constraints: 57577 2203.87/2211.63 c #Conflicts: 500000 | #Constraints: 58577 2203.87/2211.63 c #Conflicts: 501000 | #Constraints: 59577 2203.87/2211.63 c #Conflicts: 502000 | #Constraints: 60577 2203.87/2211.63 c #Conflicts: 503000 | #Constraints: 61577 2203.87/2211.63 c #Conflicts: 504000 | #Constraints: 62577 2203.87/2211.63 c #Conflicts: 505000 | #Constraints: 63577 2203.87/2211.63 c #Conflicts: 506000 | #Constraints: 64577 2203.87/2211.63 c #Conflicts: 507000 | #Constraints: 65578 2203.87/2211.63 c #Conflicts: 508000 | #Constraints: 66578 2203.87/2211.63 c #Conflicts: 509000 | #Constraints: 67578 2203.87/2211.63 c #Conflicts: 510000 | #Constraints: 68578 2203.87/2211.63 c #Conflicts: 511000 | #Constraints: 69579 2203.87/2211.63 c #Conflicts: 512000 | #Constraints: 70581 2203.87/2211.63 c #Conflicts: 513000 | #Constraints: 71583 2203.87/2211.63 c #Conflicts: 514000 | #Constraints: 72583 2203.87/2211.63 c #Conflicts: 515000 | #Constraints: 73583 2203.87/2211.63 c #Conflicts: 516000 | #Constraints: 74583 2203.87/2211.63 c #Conflicts: 517000 | #Constraints: 75583 2203.87/2211.63 c INPROCESSING 2203.87/2211.63 c GARBAGE COLLECT 2203.87/2211.63 c rational objective 157 2435.70/2444.28 c #Conflicts: 518000 | #Constraints: 49524 2435.70/2444.28 c #Conflicts: 519000 | #Constraints: 50524 2435.70/2444.28 c #Conflicts: 520000 | #Constraints: 51524 2435.70/2444.28 c #Conflicts: 521000 | #Constraints: 52524 2435.70/2444.28 c #Conflicts: 522000 | #Constraints: 53524 2435.70/2444.28 c #Conflicts: 523000 | #Constraints: 54525 2435.70/2444.28 c #Conflicts: 524000 | #Constraints: 55525 2435.70/2444.28 c #Conflicts: 525000 | #Constraints: 56525 2435.70/2444.28 c #Conflicts: 526000 | #Constraints: 57525 2435.70/2444.28 c #Conflicts: 527000 | #Constraints: 58525 2435.70/2444.28 c #Conflicts: 528000 | #Constraints: 59525 2435.70/2444.28 c #Conflicts: 529000 | #Constraints: 60525 2435.70/2444.28 c #Conflicts: 530000 | #Constraints: 61525 2435.70/2444.28 c #Conflicts: 531000 | #Constraints: 62525 2435.70/2444.28 c #Conflicts: 532000 | #Constraints: 63525 2435.70/2444.28 c #Conflicts: 533000 | #Constraints: 64525 2435.70/2444.28 c #Conflicts: 534000 | #Constraints: 65525 2435.70/2444.28 c #Conflicts: 535000 | #Constraints: 66525 2435.70/2444.28 c #Conflicts: 536000 | #Constraints: 67525 2435.70/2444.28 c #Conflicts: 537000 | #Constraints: 68525 2435.70/2444.28 c #Conflicts: 538000 | #Constraints: 69525 2435.70/2444.28 c #Conflicts: 539000 | #Constraints: 70525 2435.70/2444.28 c #Conflicts: 540000 | #Constraints: 71525 2435.70/2444.28 c #Conflicts: 541000 | #Constraints: 72525 2435.70/2444.28 c #Conflicts: 542000 | #Constraints: 73526 2435.70/2444.28 c #Conflicts: 543000 | #Constraints: 74526 2435.70/2444.28 c #Conflicts: 544000 | #Constraints: 75526 2435.70/2444.28 c #Conflicts: 545000 | #Constraints: 76526 2435.70/2444.28 c #Conflicts: 546000 | #Constraints: 77526 2435.70/2444.28 c #Conflicts: 547000 | #Constraints: 78526 2435.70/2444.28 c #Conflicts: 548000 | #Constraints: 79526 2435.70/2444.28 c #Conflicts: 549000 | #Constraints: 80526 2435.70/2444.28 c #Conflicts: 550000 | #Constraints: 81526 2435.70/2444.28 c #Conflicts: 551000 | #Constraints: 82526 2435.70/2444.28 c #Conflicts: 552000 | #Constraints: 83526 2435.70/2444.28 c #Conflicts: 553000 | #Constraints: 84526 2435.70/2444.28 c #Conflicts: 554000 | #Constraints: 85526 2435.70/2444.28 c #Conflicts: 555000 | #Constraints: 86526 2435.70/2444.28 c #Conflicts: 556000 | #Constraints: 87526 2435.70/2444.28 c #Conflicts: 557000 | #Constraints: 88527 2435.70/2444.28 c #Conflicts: 558000 | #Constraints: 89527 2435.70/2444.28 c #Conflicts: 559000 | #Constraints: 90527 2435.70/2444.28 c #Conflicts: 560000 | #Constraints: 91527 2435.70/2444.28 c #Conflicts: 561000 | #Constraints: 92527 2435.70/2444.28 c #Conflicts: 562000 | #Constraints: 93527 2435.70/2444.28 c #Conflicts: 563000 | #Constraints: 94527 2435.70/2444.28 c #Conflicts: 564000 | #Constraints: 95527 2435.70/2444.28 c #Conflicts: 565000 | #Constraints: 96527 2435.70/2444.28 c #Conflicts: 566000 | #Constraints: 97527 2435.70/2444.28 c INPROCESSING 2435.70/2444.28 c GARBAGE COLLECT 2435.70/2444.28 c rational objective 157 2631.60/2640.83 c #Conflicts: 567000 | #Constraints: 59851 2631.60/2640.83 c #Conflicts: 568000 | #Constraints: 60851 2631.60/2640.83 c #Conflicts: 569000 | #Constraints: 61851 2631.60/2640.83 c #Conflicts: 570000 | #Constraints: 62851 2631.60/2640.83 c #Conflicts: 571000 | #Constraints: 63851 2631.60/2640.83 c #Conflicts: 572000 | #Constraints: 64851 2631.60/2640.83 c #Conflicts: 573000 | #Constraints: 65851 2631.60/2640.83 c #Conflicts: 574000 | #Constraints: 66851 2631.60/2640.83 c #Conflicts: 575000 | #Constraints: 67852 2631.60/2640.83 c #Conflicts: 576000 | #Constraints: 68852 2631.60/2640.83 c #Conflicts: 577000 | #Constraints: 69852 2631.60/2640.83 c #Conflicts: 578000 | #Constraints: 70852 2631.60/2640.83 c #Conflicts: 579000 | #Constraints: 71852 2631.60/2640.83 c #Conflicts: 580000 | #Constraints: 72852 2631.60/2640.83 c #Conflicts: 581000 | #Constraints: 73852 2631.60/2640.83 c #Conflicts: 582000 | #Constraints: 74852 2631.60/2640.83 c #Conflicts: 583000 | #Constraints: 75852 2631.60/2640.83 c #Conflicts: 584000 | #Constraints: 76852 2631.60/2640.83 c #Conflicts: 585000 | #Constraints: 77852 2631.60/2640.83 c #Conflicts: 586000 | #Constraints: 78852 2631.60/2640.84 c #Conflicts: 587000 | #Constraints: 79852 2631.60/2640.84 c INPROCESSING 2631.60/2640.84 c GARBAGE COLLECT 2631.60/2640.84 c rational objective 157 2909.65/2919.94 c #Conflicts: 588000 | #Constraints: 53087 2909.65/2919.94 c #Conflicts: 589000 | #Constraints: 54087 2909.65/2919.94 c #Conflicts: 590000 | #Constraints: 55087 2909.65/2919.94 c #Conflicts: 591000 | #Constraints: 56087 2909.65/2919.94 c #Conflicts: 592000 | #Constraints: 57087 2909.65/2919.94 c #Conflicts: 593000 | #Constraints: 58087 2909.65/2919.94 c #Conflicts: 594000 | #Constraints: 59087 2909.65/2919.94 c #Conflicts: 595000 | #Constraints: 60087 2909.65/2919.94 c #Conflicts: 596000 | #Constraints: 61087 2909.65/2919.94 c #Conflicts: 597000 | #Constraints: 62087 2909.65/2919.94 c #Conflicts: 598000 | #Constraints: 63088 2909.65/2919.94 c #Conflicts: 599000 | #Constraints: 64089 2909.65/2919.94 c #Conflicts: 600000 | #Constraints: 65091 2909.65/2919.94 c #Conflicts: 601000 | #Constraints: 66092 2909.65/2919.94 c #Conflicts: 602000 | #Constraints: 67093 2909.65/2919.94 c #Conflicts: 603000 | #Constraints: 68094 2909.65/2919.94 c #Conflicts: 604000 | #Constraints: 69094 2909.65/2919.94 c #Conflicts: 605000 | #Constraints: 70094 2909.65/2919.94 c #Conflicts: 606000 | #Constraints: 71094 2909.65/2919.94 c #Conflicts: 607000 | #Constraints: 72094 2909.65/2919.94 c #Conflicts: 608000 | #Constraints: 73094 2909.65/2919.94 c #Conflicts: 609000 | #Constraints: 74094 2909.65/2919.94 c #Conflicts: 610000 | #Constraints: 75095 2909.65/2919.94 c #Conflicts: 611000 | #Constraints: 76095 2909.65/2919.94 c #Conflicts: 612000 | #Constraints: 77095 2909.65/2919.94 c #Conflicts: 613000 | #Constraints: 78096 2909.65/2919.94 c #Conflicts: 614000 | #Constraints: 79096 2909.65/2919.94 c #Conflicts: 615000 | #Constraints: 80096 2909.65/2919.94 c #Conflicts: 616000 | #Constraints: 81096 2909.65/2919.94 c #Conflicts: 617000 | #Constraints: 82097 2909.65/2919.94 c #Conflicts: 618000 | #Constraints: 83097 2909.65/2919.94 c #Conflicts: 619000 | #Constraints: 84097 2909.65/2919.94 c #Conflicts: 620000 | #Constraints: 85097 2909.65/2919.94 c #Conflicts: 621000 | #Constraints: 86097 2909.65/2919.94 c #Conflicts: 622000 | #Constraints: 87097 2909.65/2919.94 c #Conflicts: 623000 | #Constraints: 88097 2909.65/2919.94 c #Conflicts: 624000 | #Constraints: 89097 2909.65/2919.94 c #Conflicts: 625000 | #Constraints: 90097 2909.65/2919.94 c #Conflicts: 626000 | #Constraints: 91097 2909.65/2919.94 c #Conflicts: 627000 | #Constraints: 92097 2909.65/2919.94 c #Conflicts: 628000 | #Constraints: 93097 2909.65/2919.94 c #Conflicts: 629000 | #Constraints: 94097 2909.65/2919.94 c #Conflicts: 630000 | #Constraints: 95097 2909.65/2919.94 c #Conflicts: 631000 | #Constraints: 96097 2909.65/2919.94 c #Conflicts: 632000 | #Constraints: 97097 2909.65/2919.94 c #Conflicts: 633000 | #Constraints: 98097 2909.65/2919.94 c #Conflicts: 634000 | #Constraints: 99097 2909.65/2919.94 c #Conflicts: 635000 | #Constraints: 100097 2909.65/2919.94 c #Conflicts: 636000 | #Constraints: 101097 2909.65/2919.94 c #Conflicts: 637000 | #Constraints: 102097 2909.65/2919.94 c #Conflicts: 638000 | #Constraints: 103097 2909.65/2919.94 c #Conflicts: 639000 | #Constraints: 104097 2909.65/2919.94 c INPROCESSING 2909.65/2919.94 c GARBAGE COLLECT 2909.65/2919.94 c #Conflicts: 640000 | #Constraints: 63104 2909.65/2919.94 c #Conflicts: 641000 | #Constraints: 64104 2909.65/2919.94 c #Conflicts: 642000 | #Constraints: 65104 2909.65/2919.94 c #Conflicts: 643000 | #Constraints: 66104 2909.65/2919.94 c #Conflicts: 644000 | #Constraints: 67104 2909.65/2919.94 c #Conflicts: 645000 | #Constraints: 68104 2909.65/2919.94 c #Conflicts: 646000 | #Constraints: 69104 2909.65/2919.94 c #Conflicts: 647000 | #Constraints: 70104 2909.65/2919.94 c #Conflicts: 648000 | #Constraints: 71104 2909.65/2919.94 c #Conflicts: 649000 | #Constraints: 72104 2909.65/2919.94 c #Conflicts: 650000 | #Constraints: 73104 2909.65/2919.94 c #Conflicts: 651000 | #Constraints: 74104 2909.65/2919.94 c #Conflicts: 652000 | #Constraints: 75104 2909.65/2919.94 c #Conflicts: 653000 | #Constraints: 76104 2909.65/2919.94 c #Conflicts: 654000 | #Constraints: 77105 2909.65/2919.94 c #Conflicts: 655000 | #Constraints: 78105 2909.65/2919.94 c #Conflicts: 656000 | #Constraints: 79105 2909.65/2919.94 c #Conflicts: 657000 | #Constraints: 80105 2909.65/2919.94 c #Conflicts: 658000 | #Constraints: 81105 2909.65/2919.94 c #Conflicts: 659000 | #Constraints: 82105 2909.65/2919.94 c #Conflicts: 660000 | #Constraints: 83105 2909.65/2919.94 c #Conflicts: 661000 | #Constraints: 84105 2909.65/2919.94 c INPROCESSING 2909.65/2919.94 c GARBAGE COLLECT 2909.65/2919.94 c rational objective 157 3137.40/3148.58 c #Conflicts: 662000 | #Constraints: 55119 3137.40/3148.58 c #Conflicts: 663000 | #Constraints: 56119 3137.40/3148.58 c #Conflicts: 664000 | #Constraints: 57119 3137.40/3148.58 c #Conflicts: 665000 | #Constraints: 58119 3137.40/3148.58 c #Conflicts: 666000 | #Constraints: 59119 3137.40/3148.58 c #Conflicts: 667000 | #Constraints: 60119 3137.40/3148.58 c #Conflicts: 668000 | #Constraints: 61119 3137.40/3148.58 c #Conflicts: 669000 | #Constraints: 62119 3137.40/3148.58 c #Conflicts: 670000 | #Constraints: 63119 3137.40/3148.58 c #Conflicts: 671000 | #Constraints: 64119 3137.40/3148.58 c #Conflicts: 672000 | #Constraints: 65120 3137.40/3148.58 c #Conflicts: 673000 | #Constraints: 66120 3137.40/3148.58 c #Conflicts: 674000 | #Constraints: 67120 3137.40/3148.58 c #Conflicts: 675000 | #Constraints: 68120 3137.40/3148.58 c #Conflicts: 676000 | #Constraints: 69120 3137.40/3148.58 c #Conflicts: 677000 | #Constraints: 70120 3137.40/3148.58 c #Conflicts: 678000 | #Constraints: 71120 3137.40/3148.58 c #Conflicts: 679000 | #Constraints: 72120 3137.40/3148.58 c #Conflicts: 680000 | #Constraints: 73120 3137.40/3148.58 c #Conflicts: 681000 | #Constraints: 74120 3137.40/3148.58 c #Conflicts: 682000 | #Constraints: 75120 3137.40/3148.58 c #Conflicts: 683000 | #Constraints: 76120 3137.40/3148.58 c #Conflicts: 684000 | #Constraints: 77120 3137.40/3148.58 c #Conflicts: 685000 | #Constraints: 78120 3137.40/3148.58 c #Conflicts: 686000 | #Constraints: 79120 3137.40/3148.58 c #Conflicts: 687000 | #Constraints: 80120 3137.40/3148.58 c #Conflicts: 688000 | #Constraints: 81120 3137.40/3148.58 c #Conflicts: 689000 | #Constraints: 82120 3137.40/3148.58 c #Conflicts: 690000 | #Constraints: 83120 3137.40/3148.58 c #Conflicts: 691000 | #Constraints: 84120 3137.40/3148.58 c #Conflicts: 692000 | #Constraints: 85120 3137.40/3148.58 c #Conflicts: 693000 | #Constraints: 86120 3137.40/3148.58 c #Conflicts: 694000 | #Constraints: 87120 3137.40/3148.58 c #Conflicts: 695000 | #Constraints: 88120 3137.40/3148.58 c #Conflicts: 696000 | #Constraints: 89120 3137.40/3148.58 c #Conflicts: 697000 | #Constraints: 90121 3137.40/3148.58 c #Conflicts: 698000 | #Constraints: 91121 3137.40/3148.58 c #Conflicts: 699000 | #Constraints: 92121 3137.40/3148.58 c #Conflicts: 700000 | #Constraints: 93121 3137.40/3148.58 c #Conflicts: 701000 | #Constraints: 94121 3137.40/3148.58 c #Conflicts: 702000 | #Constraints: 95121 3137.40/3148.58 c #Conflicts: 703000 | #Constraints: 96121 3137.40/3148.58 c #Conflicts: 704000 | #Constraints: 97121 3137.40/3148.58 c #Conflicts: 705000 | #Constraints: 98121 3137.40/3148.58 c #Conflicts: 706000 | #Constraints: 99121 3137.40/3148.58 c #Conflicts: 707000 | #Constraints: 100121 3137.40/3148.58 c #Conflicts: 708000 | #Constraints: 101121 3137.40/3148.58 c #Conflicts: 709000 | #Constraints: 102121 3137.40/3148.58 c #Conflicts: 710000 | #Constraints: 103121 3137.40/3148.58 c #Conflicts: 711000 | #Constraints: 104121 3137.40/3148.58 c #Conflicts: 712000 | #Constraints: 105121 3137.40/3148.58 c #Conflicts: 713000 | #Constraints: 106121 3137.40/3148.58 c #Conflicts: 714000 | #Constraints: 107121 3137.40/3148.58 c #Conflicts: 715000 | #Constraints: 108122 3137.40/3148.58 c #Conflicts: 716000 | #Constraints: 109122 3137.40/3148.58 c INPROCESSING 3137.40/3148.58 c GARBAGE COLLECT 3137.40/3148.58 c rational objective 157 3367.36/3379.36 c #Conflicts: 717000 | #Constraints: 65912 3367.36/3379.36 c #Conflicts: 718000 | #Constraints: 66912 3367.36/3379.36 c #Conflicts: 719000 | #Constraints: 67912 3367.36/3379.36 c #Conflicts: 720000 | #Constraints: 68912 3367.36/3379.36 c #Conflicts: 721000 | #Constraints: 69912 3367.36/3379.36 c #Conflicts: 722000 | #Constraints: 70912 3367.36/3379.36 c #Conflicts: 723000 | #Constraints: 71912 3367.36/3379.36 c #Conflicts: 724000 | #Constraints: 72912 3367.36/3379.36 c #Conflicts: 725000 | #Constraints: 73912 3367.36/3379.36 c #Conflicts: 726000 | #Constraints: 74912 3367.36/3379.36 c #Conflicts: 727000 | #Constraints: 75912 3367.36/3379.36 c #Conflicts: 728000 | #Constraints: 76912 3367.36/3379.36 c #Conflicts: 729000 | #Constraints: 77912 3367.36/3379.36 c #Conflicts: 730000 | #Constraints: 78913 3367.36/3379.36 c #Conflicts: 731000 | #Constraints: 79913 3367.36/3379.36 c #Conflicts: 732000 | #Constraints: 80913 3367.36/3379.36 c #Conflicts: 733000 | #Constraints: 81913 3367.36/3379.36 c #Conflicts: 734000 | #Constraints: 82913 3367.36/3379.36 c #Conflicts: 735000 | #Constraints: 83913 3367.36/3379.36 c #Conflicts: 736000 | #Constraints: 84913 3367.36/3379.36 c #Conflicts: 737000 | #Constraints: 85913 3367.36/3379.36 c #Conflicts: 738000 | #Constraints: 86913 3367.36/3379.36 c #Conflicts: 739000 | #Constraints: 87913 3367.36/3379.36 c #Conflicts: 740000 | #Constraints: 88913 3367.36/3379.36 c INPROCESSING 3367.36/3379.36 c GARBAGE COLLECT 3367.36/3379.36 c rational objective 157 3524.25/3536.82 c #Conflicts: 741000 | #Constraints: 58217 3524.25/3536.82 c #Conflicts: 742000 | #Constraints: 59217 3524.25/3536.82 c #Conflicts: 743000 | #Constraints: 60217 3524.25/3536.82 c #Conflicts: 744000 | #Constraints: 61217 3524.25/3536.82 c #Conflicts: 745000 | #Constraints: 62217 3524.25/3536.82 c #Conflicts: 746000 | #Constraints: 63217 3524.25/3536.82 c #Conflicts: 747000 | #Constraints: 64217 3524.25/3536.82 c #Conflicts: 748000 | #Constraints: 65217 3524.25/3536.82 c #Conflicts: 749000 | #Constraints: 66217 3524.25/3536.82 c #Conflicts: 750000 | #Constraints: 67217 3524.25/3536.82 c #Conflicts: 751000 | #Constraints: 68217 3524.25/3536.82 c #Conflicts: 752000 | #Constraints: 69218 3524.25/3536.82 c #Conflicts: 753000 | #Constraints: 70218 3524.25/3536.82 c #Conflicts: 754000 | #Constraints: 71218 3524.25/3536.82 c #Conflicts: 755000 | #Constraints: 72218 3524.25/3536.82 c #Conflicts: 756000 | #Constraints: 73219 3524.25/3536.82 c #Conflicts: 757000 | #Constraints: 74219 3524.25/3536.82 c #Conflicts: 758000 | #Constraints: 75219 3524.25/3536.82 c #Conflicts: 759000 | #Constraints: 76219 3524.25/3536.82 c #Conflicts: 760000 | #Constraints: 77219 3524.25/3536.82 c #Conflicts: 761000 | #Constraints: 78219 3524.25/3536.82 c #Conflicts: 762000 | #Constraints: 79219 3524.25/3536.82 c #Conflicts: 763000 | #Constraints: 80219 3524.25/3536.82 c #Conflicts: 764000 | #Constraints: 81219 3524.25/3536.82 c #Conflicts: 765000 | #Constraints: 82219 3524.25/3536.82 c #Conflicts: 766000 | #Constraints: 83219 3524.25/3536.82 c #Conflicts: 767000 | #Constraints: 84219 3524.25/3536.82 c #Conflicts: 768000 | #Constraints: 85220 3524.25/3536.82 c #Conflicts: 769000 | #Constraints: 86220 3524.25/3536.82 c #Conflicts: 770000 | #Constraints: 87220 3524.25/3536.82 c #Conflicts: 771000 | #Constraints: 88220 3524.25/3536.82 c #Conflicts: 772000 | #Constraints: 89220 3524.25/3536.82 c #Conflicts: 773000 | #Constraints: 90220 3524.25/3536.82 c #Conflicts: 774000 | #Constraints: 91220 3524.25/3536.82 c #Conflicts: 775000 | #Constraints: 92220 3524.25/3536.82 c #Conflicts: 776000 | #Constraints: 93220 3524.25/3536.82 c #Conflicts: 777000 | #Constraints: 94220 3524.25/3536.82 c #Conflicts: 778000 | #Constraints: 95220 3524.25/3536.82 c #Conflicts: 779000 | #Constraints: 96220 3524.25/3536.82 c #Conflicts: 780000 | #Constraints: 97220 3524.25/3536.82 c #Conflicts: 781000 | #Constraints: 98220 3524.25/3536.82 c #Conflicts: 782000 | #Constraints: 99220 3524.25/3536.82 c #Conflicts: 783000 | #Constraints: 100220 3524.25/3536.82 c #Conflicts: 784000 | #Constraints: 101220 3524.25/3536.82 c #Conflicts: 785000 | #Constraints: 102220 3524.25/3536.82 c #Conflicts: 786000 | #Constraints: 103220 3524.25/3536.82 c #Conflicts: 787000 | #Constraints: 104220 3524.25/3536.82 c #Conflicts: 788000 | #Constraints: 105220 3524.25/3536.82 c #Conflicts: 789000 | #Constraints: 106220 3524.25/3536.82 c #Conflicts: 790000 | #Constraints: 107220 3524.25/3536.82 c #Conflicts: 791000 | #Constraints: 108220 3524.25/3536.82 c #Conflicts: 792000 | #Constraints: 109220 3524.25/3536.82 c #Conflicts: 793000 | #Constraints: 110220 3524.25/3536.82 c #Conflicts: 794000 | #Constraints: 111220 3524.25/3536.82 c #Conflicts: 795000 | #Constraints: 112220 3524.25/3536.82 c #Conflicts: 796000 | #Constraints: 113220 3524.25/3536.82 c #Conflicts: 797000 | #Constraints: 114220 3524.25/3536.82 c #Conflicts: 798000 | #Constraints: 115220 3524.25/3536.82 c INPROCESSING 3524.25/3536.82 c GARBAGE COLLECT 3524.25/3536.82 c rational objective 157
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: 64059 MiB (46105 MiB free)
memory of node 1: 64510 MiB (53701 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460677-1722069363/watcher-4460677-1722069363 -o /tmp/evaluation-result-4460677-1722069363/solver-4460677-1722069363 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722064837-364880 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460677-1722069363 --lp-cut-gomory=0 HOME/instance-4460677-1722069363.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=368019, runsolver pid=368016
[startup+0.100095 s]*
/proc/loadavg: 4.24 4.17 4.11 5/246 368020
/proc/meminfo: memFree=102202152/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=37376 memory=2552 CPUtime=0 cores=0,2
/proc/368019/stat : 368019 (roundingsat) D 368016 368019 364870 0 -1 1077936128 215 0 0 0 0 0 0 0 20 0 1 0 42925718 38273024 638 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 9344 638 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2552 KiB
[startup+0.21295 s]*
/proc/loadavg: 4.24 4.17 4.11 4/246 368020
/proc/meminfo: memFree=102201624/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=37376 memory=2552 CPUtime=0 cores=0,2
/proc/368019/stat : 368019 (roundingsat) D 368016 368019 364870 0 -1 1077936128 215 0 0 0 0 0 0 0 20 0 1 0 42925718 38273024 638 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 9344 638 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2552 KiB
[startup+0.313177 s]*
/proc/loadavg: 4.24 4.17 4.11 4/246 368020
/proc/meminfo: memFree=102201164/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=39724 memory=8000 CPUtime=0 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 932 0 0 0 0 0 0 0 20 0 1 0 42925718 40677376 2000 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 9931 2000 1365 992 0 1789 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 39724 KiB
Current children cumulated memory: 8000 KiB
[startup+0.7003 s]
/proc/loadavg: 4.24 4.17 4.11 8/246 368020
/proc/meminfo: memFree=102168880/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=70236 memory=36468 CPUtime=0.38 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 9645 0 0 0 35 3 0 0 20 0 1 0 42925718 71921664 9117 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 17559 9117 1715 992 0 9417 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 70236 KiB
Current children cumulated memory: 36468 KiB
[startup+1.50024 s]
/proc/loadavg: 4.24 4.17 4.11 5/246 368020
/proc/meminfo: memFree=102172692/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=72872 memory=39108 CPUtime=1.17 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 10292 0 0 0 113 4 0 0 20 0 1 0 42925718 74620928 9777 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 18218 9777 1715 992 0 10076 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 72872 KiB
Current children cumulated memory: 39108 KiB
[startup+3.11294 s]
/proc/loadavg: 4.24 4.17 4.11 5/246 368020
/proc/meminfo: memFree=102160272/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=72872 memory=42904 CPUtime=2.78 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 10655 0 0 0 258 20 0 0 20 0 1 0 42925718 74620928 10726 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 18218 10726 1761 992 0 10076 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 72872 KiB
Current children cumulated memory: 42904 KiB
[startup+6.30027 s]
/proc/loadavg: 4.22 4.17 4.11 5/246 368020
/proc/meminfo: memFree=102148344/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=77476 memory=46596 CPUtime=5.95 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 11616 0 0 0 573 22 0 0 20 0 1 0 42925718 79335424 11649 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 19369 11649 1761 992 0 11227 0
Current children cumulated CPU time: 5.95 s
Current children cumulated vsize: 77476 KiB
Current children cumulated memory: 46596 KiB
[startup+12.7003 s]
/proc/loadavg: 4.20 4.16 4.11 5/246 368022
/proc/meminfo: memFree=102061832/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=79448 memory=49236 CPUtime=12.33 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 12274 0 0 0 1207 26 0 0 20 0 1 0 42925718 81354752 12309 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 19862 12309 1761 992 0 11720 0
Current children cumulated CPU time: 12.33 s
Current children cumulated vsize: 79448 KiB
Current children cumulated memory: 49236 KiB
[startup+25.5003 s]
/proc/loadavg: 4.16 4.15 4.11 5/246 368023
/proc/meminfo: memFree=101992324/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=83996 memory=52344 CPUtime=25.08 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 13009 0 0 0 2458 50 0 0 20 0 1 0 42925718 86011904 13086 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 20999 13086 1815 992 0 12857 0
Current children cumulated CPU time: 25.08 s
Current children cumulated vsize: 83996 KiB
Current children cumulated memory: 52344 KiB
[startup+51.1132 s]
/proc/loadavg: 4.18 4.16 4.11 5/246 368028
/proc/meminfo: memFree=101848652/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=91972 memory=62164 CPUtime=50.6 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 14927 0 0 0 4984 76 0 0 20 0 1 0 42925718 94179328 15541 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 22993 15541 1847 992 0 14851 0
Current children cumulated CPU time: 50.6 s
Current children cumulated vsize: 91972 KiB
Current children cumulated memory: 62164 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/245 368036
/proc/meminfo: memFree=101463032/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=147336 memory=102992 CPUtime=101.61 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 21522 0 0 0 9976 185 0 0 20 0 1 0 42925718 150872064 25748 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 36834 25748 1847 992 0 28692 0
Current children cumulated CPU time: 101.61 s
Current children cumulated vsize: 147336 KiB
Current children cumulated memory: 102992 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.12 4.09 5/245 368047
/proc/meminfo: memFree=101183416/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=153280 memory=108972 CPUtime=161.4 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 23018 0 0 0 15917 223 0 0 20 0 1 0 42925718 156958720 27243 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 38320 27243 1847 992 0 30178 0
Current children cumulated CPU time: 161.4 s
Current children cumulated vsize: 153280 KiB
Current children cumulated memory: 108972 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/246 368058
/proc/meminfo: memFree=100585416/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=278288 memory=219328 CPUtime=221.19 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 34788 0 0 0 21793 326 0 0 20 0 1 0 42925718 284966912 54832 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 69572 54832 1847 992 0 61430 0
Current children cumulated CPU time: 221.19 s
Current children cumulated vsize: 278288 KiB
Current children cumulated memory: 219328 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/248 368072
/proc/meminfo: memFree=99859628/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=285092 memory=227080 CPUtime=280.98 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 36268 0 0 0 27721 377 0 0 20 0 1 0 42925718 291934208 56770 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 71273 56770 1847 992 0 63131 0
Current children cumulated CPU time: 280.98 s
Current children cumulated vsize: 285092 KiB
Current children cumulated memory: 227080 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/247 368083
/proc/meminfo: memFree=99129104/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=288988 memory=230768 CPUtime=340.78 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 37177 0 0 0 33635 443 0 0 20 0 1 0 42925718 295923712 57692 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 72247 57692 1847 992 0 64105 0
Current children cumulated CPU time: 340.78 s
Current children cumulated vsize: 288988 KiB
Current children cumulated memory: 230768 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/247 368094
/proc/meminfo: memFree=98812228/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=292316 memory=234456 CPUtime=400.58 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 38086 0 0 0 39569 489 0 0 20 0 1 0 42925718 299331584 58614 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 73079 58614 1847 992 0 64937 0
Current children cumulated CPU time: 400.58 s
Current children cumulated vsize: 292316 KiB
Current children cumulated memory: 234456 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/247 368104
/proc/meminfo: memFree=98167256/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=522012 memory=360884 CPUtime=460.37 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 43169 0 0 0 45480 557 0 0 20 0 1 0 42925718 534540288 90221 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 130503 90221 1847 992 0 122361 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.09 4.13 4.18 5/246 370295
/proc/meminfo: memFree=95639452/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=870128 memory=780612 CPUtime=3091.36 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 86763 0 0 0 306141 2995 0 0 20 0 1 0 42925718 891011072 195153 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 217532 195153 1847 992 0 209390 0
Current children cumulated CPU time: 3091.36 s
Current children cumulated vsize: 870128 KiB
Current children cumulated memory: 780612 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.17 5/247 370475
/proc/meminfo: memFree=95173136/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=872008 memory=782540 CPUtime=3151.15 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 87301 0 0 0 312091 3024 0 0 20 0 1 0 42925718 892936192 195635 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 218002 195635 1847 992 0 209860 0
Current children cumulated CPU time: 3151.15 s
Current children cumulated vsize: 872008 KiB
Current children cumulated memory: 782540 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.16 5/247 370485
/proc/meminfo: memFree=94844056/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=872008 memory=782644 CPUtime=3210.93 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 87438 0 0 0 318036 3057 0 0 20 0 1 0 42925718 892936192 195661 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 218002 195661 1847 992 0 209860 0
Current children cumulated CPU time: 3210.93 s
Current children cumulated vsize: 872008 KiB
Current children cumulated memory: 782644 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.16 5/251 370555
/proc/meminfo: memFree=94547440/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=873420 memory=783948 CPUtime=3270.71 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 87882 0 0 0 323989 3082 0 0 20 0 1 0 42925718 894382080 195987 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 218355 195987 1847 992 0 210213 0
Current children cumulated CPU time: 3270.71 s
Current children cumulated vsize: 873420 KiB
Current children cumulated memory: 783948 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.16 5/250 370566
/proc/meminfo: memFree=94346664/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=874116 memory=785200 CPUtime=3330.49 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 88186 0 0 0 329950 3099 0 0 20 0 1 0 42925718 895094784 196300 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 218529 196300 1847 992 0 210387 0
Current children cumulated CPU time: 3330.49 s
Current children cumulated vsize: 874116 KiB
Current children cumulated memory: 785200 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.15 5/250 370577
/proc/meminfo: memFree=94124048/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=874116 memory=785256 CPUtime=3390.26 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 88327 0 0 0 335857 3169 0 0 20 0 1 0 42925718 895094784 196314 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 218529 196314 1847 992 0 210387 0
Current children cumulated CPU time: 3390.26 s
Current children cumulated vsize: 874116 KiB
Current children cumulated memory: 785256 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.15 5/249 370587
/proc/meminfo: memFree=93793600/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=874116 memory=785256 CPUtime=3450.04 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 88399 0 0 0 341754 3250 0 0 20 0 1 0 42925718 895094784 196314 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 218529 196314 1847 992 0 210387 0
Current children cumulated CPU time: 3450.04 s
Current children cumulated vsize: 874116 KiB
Current children cumulated memory: 785256 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.15 5/249 370597
/proc/meminfo: memFree=93546364/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=874116 memory=785280 CPUtime=3509.81 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 88541 0 0 0 347668 3313 0 0 20 0 1 0 42925718 895094784 196320 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 218529 196320 1847 992 0 210387 0
Current children cumulated CPU time: 3509.81 s
Current children cumulated vsize: 874116 KiB
Current children cumulated memory: 785280 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.15 5/245 370608
/proc/meminfo: memFree=93090952/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=876556 memory=787212 CPUtime=3569.58 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 89099 0 0 0 353556 3402 0 0 20 0 1 0 42925718 897593344 196803 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 219139 196803 1847 992 0 210997 0
Current children cumulated CPU time: 3569.58 s
Current children cumulated vsize: 876556 KiB
Current children cumulated memory: 787212 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.9 s]
/proc/loadavg: 4.08 4.10 4.14 5/245 371035
/proc/meminfo: memFree=101948616/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=877780 memory=788512 CPUtime=3600.07 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 89495 0 0 0 356581 3426 0 0 20 0 1 0 42925718 898846720 197128 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 219445 197128 1847 992 0 211303 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 877780 KiB
Current children cumulated memory: 788512 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3614.92 s]
# the end of solver process 368019 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3567.8 s, system=34.2841 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.6 s]
/proc/loadavg: 4.08 4.10 4.14 5/245 371035
/proc/meminfo: memFree=101936764/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=877780 memory=788512 CPUtime=3600.77 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 89498 0 0 0 356651 3426 0 0 20 0 1 0 42925718 898846720 197128 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 219445 197128 1847 992 0 211303 0
Current children cumulated CPU time: 3600.77 s
Current children cumulated vsize: 877780 KiB
Current children cumulated memory: 788512 KiB
[startup+3614.4 s]
/proc/loadavg: 4.08 4.10 4.14 6/245 371035
/proc/meminfo: memFree=101917544/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=877916 memory=788512 CPUtime=3601.57 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 89504 0 0 0 356730 3427 0 0 20 0 1 0 42925718 898985984 197128 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 219479 197128 1847 992 0 211337 0
Current children cumulated CPU time: 3601.57 s
Current children cumulated vsize: 877916 KiB
Current children cumulated memory: 788512 KiB
[startup+3614.8 s]
/proc/loadavg: 4.08 4.10 4.14 6/245 371035
/proc/meminfo: memFree=101917544/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=877916 memory=788512 CPUtime=3601.97 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 89522 0 0 0 356770 3427 0 0 20 0 1 0 42925718 898985984 197128 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 219479 197128 1847 992 0 211337 0
Current children cumulated CPU time: 3601.97 s
Current children cumulated vsize: 877916 KiB
Current children cumulated memory: 788512 KiB
[startup+3614.9 s]
/proc/loadavg: 4.08 4.10 4.14 6/245 371035
/proc/meminfo: memFree=101917544/131655788 swapFree=131070704/131071996
[pid=368019] ppid=368016 vsize=877916 memory=788512 CPUtime=3602.07 cores=0,2
/proc/368019/stat : 368019 (roundingsat) R 368016 368019 364870 0 -1 4194304 89522 0 0 0 356780 3427 0 0 20 0 1 0 42925718 898985984 197128 134679101440 4194304 8254357 140728349757792 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19226624 140728349762395 140728349762657 140728349762657 140728349769673 0
/proc/368019/statm: 219479 197128 1847 992 0 211337 0
Current children cumulated CPU time: 3602.07 s
Current children cumulated vsize: 877916 KiB
Current children cumulated memory: 788512 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.92
CPU time (s): 3602.09
CPU user time (s): 3567.8
CPU system time (s): 34.2841
CPU usage (%): 99.645
Max. virtual memory (cumulated for all children) (KiB): 877916
Max. memory (cumulated for all children) (KiB): 788512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.8
system time used= 34.2841
maximum resident set size= 788564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89522
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8568096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 83
involuntary context switches= 24787
# summary of solver processes directly reported to runsolver:
# pid: 368019
# total CPU time (s): 3602.09
# total CPU user time (s): 3567.8
# total CPU system time (s): 34.2841
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0692 second user time and 35.14 second system time
The end
Begin job on nodeC008 at 2024-07-27 10:36:04 IDJOB=4460677 IDBENCH=158283 IDSOLVER=3086 FILE ID=nodeC008/4460677-1722069363 RUNJOBID= nodeC008-1722064837-364880 SLURM_JOB_ID= 8248110 Free space on /tmp= 723652 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K157.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-4460677-1722069363/watcher-4460677-1722069363 -o /tmp/evaluation-result-4460677-1722069363/solver-4460677-1722069363 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722064837-364880 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460677-1722069363 --lp-cut-gomory=0 HOME/instance-4460677-1722069363.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1aa29222329f307e3e004dcb472df849 RANDOM SEED=107886715 nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3653.431 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.19 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3657.797 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.131 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.19 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.256 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3661.751 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.19 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3659.549 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.311 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.19 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.150 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 102203224 kB MemAvailable: 128430316 kB Buffers: 375260 kB Cached: 26606508 kB SwapCached: 732 kB Active: 2947216 kB Inactive: 25774272 kB Active(anon): 1620 kB Inactive(anon): 1792340 kB Active(file): 2945596 kB Inactive(file): 23981932 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070704 kB Dirty: 122572 kB Writeback: 0 kB AnonPages: 1739436 kB Mapped: 131216 kB Shmem: 53860 kB KReclaimable: 279188 kB Slab: 404536 kB SReclaimable: 279188 kB SUnreclaim: 125348 kB KernelStack: 3968 kB PageTables: 13028 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2227112 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21152 kB HardwareCorrupted: 0 kB AnonHugePages: 1308672 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: 400200 kB DirectMap2M: 49836032 kB DirectMap1G: 85983232 kB Free space on /tmp at the end= 723756 MiB End job on nodeC008 at 2024-07-27 11:36:19