| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3602.03 | 3615.3 |
| 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.00/0.09 c #variables 18683 #constraints 18999 243.26/244.38 c #Conflicts: 1000 | #Constraints: 19998 243.26/244.38 c #Conflicts: 2000 | #Constraints: 20998 243.26/244.38 c INPROCESSING 243.26/244.38 c GARBAGE COLLECT 243.26/244.38 c #Conflicts: 3000 | #Constraints: 20239 243.26/244.38 c #Conflicts: 4000 | #Constraints: 21239 243.26/244.38 c INPROCESSING 243.26/244.38 c GARBAGE COLLECT 243.26/244.38 c #Conflicts: 5000 | #Constraints: 20745 243.26/244.38 c #Conflicts: 6000 | #Constraints: 21745 243.26/244.38 c INPROCESSING 243.26/244.38 c GARBAGE COLLECT 243.26/244.38 c #Conflicts: 7000 | #Constraints: 20816 243.26/244.38 c #Conflicts: 8000 | #Constraints: 21816 243.26/244.38 c #Conflicts: 9000 | #Constraints: 22816 243.26/244.38 c INPROCESSING 243.26/244.38 c GARBAGE COLLECT 243.26/244.38 c #Conflicts: 10000 | #Constraints: 21582 243.26/244.38 c #Conflicts: 11000 | #Constraints: 22582 243.26/244.38 c #Conflicts: 12000 | #Constraints: 23582 243.26/244.38 c #Conflicts: 13000 | #Constraints: 24582 243.26/244.38 c #Conflicts: 14000 | #Constraints: 25582 243.26/244.38 c #Conflicts: 15000 | #Constraints: 26582 243.26/244.38 c #Conflicts: 16000 | #Constraints: 27582 243.26/244.38 c INPROCESSING 243.26/244.38 c GARBAGE COLLECT 243.26/244.38 c #Conflicts: 17000 | #Constraints: 23900 243.26/244.38 c #Conflicts: 18000 | #Constraints: 24900 243.26/244.38 c #Conflicts: 19000 | #Constraints: 25900 243.26/244.38 c #Conflicts: 20000 | #Constraints: 26900 243.26/244.38 c INPROCESSING 243.26/244.38 c GARBAGE COLLECT 243.26/244.38 c #Conflicts: 21000 | #Constraints: 23659 243.26/244.38 c #Conflicts: 22000 | #Constraints: 24660 243.26/244.38 c #Conflicts: 23000 | #Constraints: 25660 243.26/244.38 c #Conflicts: 24000 | #Constraints: 26660 243.26/244.38 c #Conflicts: 25000 | #Constraints: 27660 243.26/244.38 c #Conflicts: 26000 | #Constraints: 28660 243.26/244.38 c #Conflicts: 27000 | #Constraints: 29660 243.26/244.38 c #Conflicts: 28000 | #Constraints: 30660 243.26/244.38 c #Conflicts: 29000 | #Constraints: 31660 243.26/244.38 c #Conflicts: 30000 | #Constraints: 32660 243.26/244.38 c INPROCESSING 243.26/244.38 c GARBAGE COLLECT 243.26/244.38 c #Conflicts: 31000 | #Constraints: 26275 243.26/244.38 c #Conflicts: 32000 | #Constraints: 27275 243.26/244.38 c #Conflicts: 33000 | #Constraints: 28275 243.26/244.38 c #Conflicts: 34000 | #Constraints: 29275 243.26/244.38 c #Conflicts: 35000 | #Constraints: 30275 243.26/244.38 c #Conflicts: 36000 | #Constraints: 31275 243.26/244.38 c INPROCESSING 243.26/244.38 c GARBAGE COLLECT 243.26/244.38 c #Conflicts: 37000 | #Constraints: 26166 243.26/244.38 c #Conflicts: 38000 | #Constraints: 27166 243.26/244.38 c #Conflicts: 39000 | #Constraints: 28166 243.26/244.38 c #Conflicts: 40000 | #Constraints: 29167 243.26/244.38 c #Conflicts: 41000 | #Constraints: 30167 243.26/244.38 c #Conflicts: 42000 | #Constraints: 31167 243.26/244.38 c #Conflicts: 43000 | #Constraints: 32167 243.26/244.38 c #Conflicts: 44000 | #Constraints: 33167 243.26/244.38 c #Conflicts: 45000 | #Constraints: 34167 243.26/244.38 c #Conflicts: 46000 | #Constraints: 35167 243.26/244.38 c #Conflicts: 47000 | #Constraints: 36167 243.26/244.38 c #Conflicts: 48000 | #Constraints: 37167 243.26/244.38 c #Conflicts: 49000 | #Constraints: 38167 243.26/244.38 c INPROCESSING 243.26/244.38 c GARBAGE COLLECT 243.26/244.38 c #Conflicts: 50000 | #Constraints: 29475 243.26/244.38 c #Conflicts: 51000 | #Constraints: 30475 243.26/244.38 c #Conflicts: 52000 | #Constraints: 31475 243.26/244.38 c #Conflicts: 53000 | #Constraints: 32475 243.26/244.38 c #Conflicts: 54000 | #Constraints: 33475 243.26/244.38 c #Conflicts: 55000 | #Constraints: 34475 243.26/244.38 c #Conflicts: 56000 | #Constraints: 35475 243.26/244.38 c INPROCESSING 243.26/244.38 c GARBAGE COLLECT 243.26/244.38 c #Conflicts: 57000 | #Constraints: 28288 243.26/244.38 c #Conflicts: 58000 | #Constraints: 29288 243.26/244.38 c #Conflicts: 59000 | #Constraints: 30288 243.26/244.38 c #Conflicts: 60000 | #Constraints: 31288 243.26/244.38 c #Conflicts: 61000 | #Constraints: 32288 243.26/244.38 c #Conflicts: 62000 | #Constraints: 33288 243.26/244.38 c INPROCESSING 243.26/244.38 c GARBAGE COLLECT 243.26/244.38 c rational objective 157 348.16/349.68 c #Conflicts: 63000 | #Constraints: 27661 348.16/349.68 c #Conflicts: 64000 | #Constraints: 28662 348.16/349.68 c #Conflicts: 65000 | #Constraints: 29662 348.16/349.68 c #Conflicts: 66000 | #Constraints: 30662 348.16/349.68 c #Conflicts: 67000 | #Constraints: 31662 348.16/349.68 c #Conflicts: 68000 | #Constraints: 32662 348.16/349.68 c #Conflicts: 69000 | #Constraints: 33662 348.16/349.68 c #Conflicts: 70000 | #Constraints: 34662 348.16/349.68 c #Conflicts: 71000 | #Constraints: 35662 348.16/349.68 c #Conflicts: 72000 | #Constraints: 36662 348.16/349.68 c #Conflicts: 73000 | #Constraints: 37662 348.16/349.68 c #Conflicts: 74000 | #Constraints: 38662 348.16/349.68 c #Conflicts: 75000 | #Constraints: 39662 348.16/349.68 c #Conflicts: 76000 | #Constraints: 40662 348.16/349.68 c #Conflicts: 77000 | #Constraints: 41662 348.16/349.68 c #Conflicts: 78000 | #Constraints: 42663 348.16/349.68 c #Conflicts: 79000 | #Constraints: 43663 348.16/349.68 c #Conflicts: 80000 | #Constraints: 44663 348.16/349.68 c INPROCESSING 348.16/349.68 c GARBAGE COLLECT 348.16/349.68 c rational objective 157 644.61/647.20 c #Conflicts: 81000 | #Constraints: 32840 644.61/647.20 c #Conflicts: 82000 | #Constraints: 33840 644.61/647.20 c #Conflicts: 83000 | #Constraints: 34840 644.61/647.20 c #Conflicts: 84000 | #Constraints: 35840 644.61/647.20 c #Conflicts: 85000 | #Constraints: 36840 644.61/647.20 c #Conflicts: 86000 | #Constraints: 37840 644.61/647.20 c #Conflicts: 87000 | #Constraints: 38840 644.61/647.20 c #Conflicts: 88000 | #Constraints: 39840 644.61/647.20 c INPROCESSING 644.61/647.20 c GARBAGE COLLECT 644.61/647.20 c #Conflicts: 89000 | #Constraints: 30456 644.61/647.20 c #Conflicts: 90000 | #Constraints: 31456 644.61/647.20 c #Conflicts: 91000 | #Constraints: 32456 644.61/647.20 c #Conflicts: 92000 | #Constraints: 33456 644.61/647.20 c #Conflicts: 93000 | #Constraints: 34456 644.61/647.20 c #Conflicts: 94000 | #Constraints: 35457 644.61/647.20 c #Conflicts: 95000 | #Constraints: 36457 644.61/647.20 c #Conflicts: 96000 | #Constraints: 37457 644.61/647.20 c #Conflicts: 97000 | #Constraints: 38457 644.61/647.20 c #Conflicts: 98000 | #Constraints: 39457 644.61/647.20 c #Conflicts: 99000 | #Constraints: 40457 644.61/647.20 c #Conflicts: 100000 | #Constraints: 41457 644.61/647.20 c #Conflicts: 101000 | #Constraints: 42457 644.61/647.20 c #Conflicts: 102000 | #Constraints: 43457 644.61/647.20 c #Conflicts: 103000 | #Constraints: 44457 644.61/647.20 c #Conflicts: 104000 | #Constraints: 45457 644.61/647.20 c #Conflicts: 105000 | #Constraints: 46457 644.61/647.20 c #Conflicts: 106000 | #Constraints: 47457 644.61/647.20 c #Conflicts: 107000 | #Constraints: 48457 644.61/647.20 c #Conflicts: 108000 | #Constraints: 49457 644.61/647.20 c #Conflicts: 109000 | #Constraints: 50457 644.61/647.20 c INPROCESSING 644.61/647.20 c GARBAGE COLLECT 644.61/647.20 c #Conflicts: 110000 | #Constraints: 35918 644.61/647.20 c #Conflicts: 111000 | #Constraints: 36918 644.61/647.20 c #Conflicts: 112000 | #Constraints: 37918 644.61/647.20 c #Conflicts: 113000 | #Constraints: 38919 644.61/647.20 c #Conflicts: 114000 | #Constraints: 39919 644.61/647.20 c #Conflicts: 115000 | #Constraints: 40919 644.61/647.20 c #Conflicts: 116000 | #Constraints: 41919 644.61/647.20 c #Conflicts: 117000 | #Constraints: 42919 644.61/647.20 c #Conflicts: 118000 | #Constraints: 43919 644.61/647.20 c INPROCESSING 644.61/647.20 c GARBAGE COLLECT 644.61/647.20 c #Conflicts: 119000 | #Constraints: 32424 644.61/647.20 c #Conflicts: 120000 | #Constraints: 33424 644.61/647.20 c #Conflicts: 121000 | #Constraints: 34424 644.61/647.20 c #Conflicts: 122000 | #Constraints: 35424 644.61/647.20 c #Conflicts: 123000 | #Constraints: 36424 644.61/647.20 c #Conflicts: 124000 | #Constraints: 37424 644.61/647.20 c #Conflicts: 125000 | #Constraints: 38424 644.61/647.20 c #Conflicts: 126000 | #Constraints: 39424 644.61/647.20 c #Conflicts: 127000 | #Constraints: 40424 644.61/647.20 c #Conflicts: 128000 | #Constraints: 41424 644.61/647.20 c #Conflicts: 129000 | #Constraints: 42425 644.61/647.20 c #Conflicts: 130000 | #Constraints: 43425 644.61/647.20 c #Conflicts: 131000 | #Constraints: 44425 644.61/647.20 c #Conflicts: 132000 | #Constraints: 45425 644.61/647.20 c #Conflicts: 133000 | #Constraints: 46425 644.61/647.20 c #Conflicts: 134000 | #Constraints: 47425 644.61/647.20 c #Conflicts: 135000 | #Constraints: 48425 644.61/647.20 c #Conflicts: 136000 | #Constraints: 49425 644.61/647.20 c #Conflicts: 137000 | #Constraints: 50425 644.61/647.20 c #Conflicts: 138000 | #Constraints: 51425 644.61/647.20 c #Conflicts: 139000 | #Constraints: 52425 644.61/647.20 c #Conflicts: 140000 | #Constraints: 53425 644.61/647.20 c #Conflicts: 141000 | #Constraints: 54425 644.61/647.20 c #Conflicts: 142000 | #Constraints: 55426 644.61/647.20 c INPROCESSING 644.61/647.20 c GARBAGE COLLECT 644.61/647.20 c #Conflicts: 143000 | #Constraints: 37953 644.61/647.20 c #Conflicts: 144000 | #Constraints: 38953 644.61/647.20 c #Conflicts: 145000 | #Constraints: 39953 644.61/647.20 c #Conflicts: 146000 | #Constraints: 40953 644.61/647.20 c #Conflicts: 147000 | #Constraints: 41953 644.61/647.20 c #Conflicts: 148000 | #Constraints: 42953 644.61/647.20 c #Conflicts: 149000 | #Constraints: 43953 644.61/647.20 c #Conflicts: 150000 | #Constraints: 44953 644.61/647.20 c #Conflicts: 151000 | #Constraints: 45953 644.61/647.20 c #Conflicts: 152000 | #Constraints: 46953 644.61/647.20 c #Conflicts: 153000 | #Constraints: 47953 644.61/647.20 c INPROCESSING 644.61/647.20 c GARBAGE COLLECT 644.61/647.20 c #Conflicts: 154000 | #Constraints: 35048 644.61/647.20 c #Conflicts: 155000 | #Constraints: 36049 644.61/647.20 c #Conflicts: 156000 | #Constraints: 37049 699.21/702.04 c #Conflicts: 157000 | #Constraints: 38049 699.21/702.04 c #Conflicts: 158000 | #Constraints: 39049 699.21/702.04 c #Conflicts: 159000 | #Constraints: 40049 699.21/702.04 c #Conflicts: 160000 | #Constraints: 41049 699.21/702.04 c #Conflicts: 161000 | #Constraints: 42049 699.21/702.04 c #Conflicts: 162000 | #Constraints: 43049 699.21/702.04 c #Conflicts: 163000 | #Constraints: 44049 699.21/702.04 c #Conflicts: 164000 | #Constraints: 45049 699.21/702.04 c #Conflicts: 165000 | #Constraints: 46049 699.21/702.04 c #Conflicts: 166000 | #Constraints: 47049 699.21/702.04 c #Conflicts: 167000 | #Constraints: 48049 699.21/702.04 c #Conflicts: 168000 | #Constraints: 49049 699.21/702.04 c #Conflicts: 169000 | #Constraints: 50049 699.21/702.04 c #Conflicts: 170000 | #Constraints: 51049 699.21/702.04 c #Conflicts: 171000 | #Constraints: 52049 699.21/702.04 c #Conflicts: 172000 | #Constraints: 53049 699.21/702.04 c #Conflicts: 173000 | #Constraints: 54049 699.21/702.04 c #Conflicts: 174000 | #Constraints: 55049 699.21/702.04 c #Conflicts: 175000 | #Constraints: 56049 699.21/702.04 c #Conflicts: 176000 | #Constraints: 57049 699.21/702.04 c #Conflicts: 177000 | #Constraints: 58049 699.21/702.04 c #Conflicts: 178000 | #Constraints: 59049 699.21/702.04 c #Conflicts: 179000 | #Constraints: 60049 699.21/702.04 c #Conflicts: 180000 | #Constraints: 61049 699.21/702.04 c INPROCESSING 699.21/702.04 c GARBAGE COLLECT 699.21/702.04 c rational objective 157 791.57/794.71 c #Conflicts: 181000 | #Constraints: 41327 791.57/794.71 c #Conflicts: 182000 | #Constraints: 42327 791.57/794.71 c #Conflicts: 183000 | #Constraints: 43327 791.57/794.71 c #Conflicts: 184000 | #Constraints: 44327 791.57/794.71 c #Conflicts: 185000 | #Constraints: 45327 791.57/794.71 c #Conflicts: 186000 | #Constraints: 46327 791.57/794.71 c #Conflicts: 187000 | #Constraints: 47327 791.57/794.71 c #Conflicts: 188000 | #Constraints: 48327 791.57/794.71 c #Conflicts: 189000 | #Constraints: 49327 791.57/794.71 c #Conflicts: 190000 | #Constraints: 50327 791.57/794.71 c #Conflicts: 191000 | #Constraints: 51327 791.57/794.71 c INPROCESSING 791.57/794.71 c GARBAGE COLLECT 791.57/794.71 c rational objective 157 863.39/866.83 c #Conflicts: 192000 | #Constraints: 36539 863.39/866.83 c #Conflicts: 193000 | #Constraints: 37539 863.39/866.83 c #Conflicts: 194000 | #Constraints: 38539 863.39/866.83 c #Conflicts: 195000 | #Constraints: 39539 863.39/866.83 c #Conflicts: 196000 | #Constraints: 40539 863.39/866.83 c #Conflicts: 197000 | #Constraints: 41539 863.39/866.83 c #Conflicts: 198000 | #Constraints: 42539 863.39/866.83 c #Conflicts: 199000 | #Constraints: 43539 863.39/866.83 c #Conflicts: 200000 | #Constraints: 44539 863.39/866.83 c #Conflicts: 201000 | #Constraints: 45539 863.39/866.83 c #Conflicts: 202000 | #Constraints: 46539 863.39/866.83 c #Conflicts: 203000 | #Constraints: 47539 863.39/866.83 c #Conflicts: 204000 | #Constraints: 48539 863.39/866.83 c #Conflicts: 205000 | #Constraints: 49540 863.39/866.83 c #Conflicts: 206000 | #Constraints: 50540 863.39/866.83 c #Conflicts: 207000 | #Constraints: 51540 863.39/866.83 c #Conflicts: 208000 | #Constraints: 52540 863.39/866.83 c #Conflicts: 209000 | #Constraints: 53540 863.39/866.83 c #Conflicts: 210000 | #Constraints: 54540 863.39/866.83 c #Conflicts: 211000 | #Constraints: 55540 863.39/866.83 c #Conflicts: 212000 | #Constraints: 56540 863.39/866.83 c #Conflicts: 213000 | #Constraints: 57540 863.39/866.83 c #Conflicts: 214000 | #Constraints: 58540 863.39/866.83 c #Conflicts: 215000 | #Constraints: 59540 863.39/866.83 c #Conflicts: 216000 | #Constraints: 60540 863.39/866.83 c #Conflicts: 217000 | #Constraints: 61540 863.39/866.83 c #Conflicts: 218000 | #Constraints: 62540 863.39/866.83 c #Conflicts: 219000 | #Constraints: 63540 863.39/866.83 c #Conflicts: 220000 | #Constraints: 64540 863.39/866.83 c #Conflicts: 221000 | #Constraints: 65540 863.39/866.83 c #Conflicts: 222000 | #Constraints: 66540 863.39/866.83 c INPROCESSING 863.39/866.83 c GARBAGE COLLECT 863.39/866.83 c rational objective 157 896.97/900.51 c #Conflicts: 223000 | #Constraints: 44243 896.97/900.51 c #Conflicts: 224000 | #Constraints: 45243 896.97/900.51 c #Conflicts: 225000 | #Constraints: 46243 896.97/900.51 c #Conflicts: 226000 | #Constraints: 47243 896.97/900.51 c #Conflicts: 227000 | #Constraints: 48243 896.97/900.51 c #Conflicts: 228000 | #Constraints: 49243 896.97/900.51 c #Conflicts: 229000 | #Constraints: 50243 896.97/900.51 c #Conflicts: 230000 | #Constraints: 51243 896.97/900.51 c #Conflicts: 231000 | #Constraints: 52243 896.97/900.51 c #Conflicts: 232000 | #Constraints: 53243 896.97/900.51 c #Conflicts: 233000 | #Constraints: 54243 896.97/900.51 c #Conflicts: 234000 | #Constraints: 55243 896.97/900.51 c #Conflicts: 235000 | #Constraints: 56243 896.97/900.51 c INPROCESSING 896.97/900.51 c GARBAGE COLLECT 896.97/900.51 c rational objective 157 1049.00/1053.16 c #Conflicts: 236000 | #Constraints: 39030 1049.00/1053.16 c #Conflicts: 237000 | #Constraints: 40030 1049.00/1053.16 c #Conflicts: 238000 | #Constraints: 41030 1049.00/1053.16 c #Conflicts: 239000 | #Constraints: 42030 1049.00/1053.16 c #Conflicts: 240000 | #Constraints: 43030 1049.00/1053.16 c #Conflicts: 241000 | #Constraints: 44030 1049.00/1053.16 c #Conflicts: 242000 | #Constraints: 45030 1049.00/1053.16 c #Conflicts: 243000 | #Constraints: 46030 1049.00/1053.16 c #Conflicts: 244000 | #Constraints: 47030 1049.00/1053.16 c #Conflicts: 245000 | #Constraints: 48030 1049.00/1053.16 c #Conflicts: 246000 | #Constraints: 49030 1049.00/1053.16 c #Conflicts: 247000 | #Constraints: 50030 1049.00/1053.16 c #Conflicts: 248000 | #Constraints: 51030 1049.00/1053.16 c #Conflicts: 249000 | #Constraints: 52030 1049.00/1053.16 c #Conflicts: 250000 | #Constraints: 53030 1049.00/1053.16 c #Conflicts: 251000 | #Constraints: 54030 1049.00/1053.16 c #Conflicts: 252000 | #Constraints: 55030 1049.00/1053.16 c #Conflicts: 253000 | #Constraints: 56030 1049.00/1053.16 c #Conflicts: 254000 | #Constraints: 57030 1049.00/1053.16 c #Conflicts: 255000 | #Constraints: 58031 1049.00/1053.17 c #Conflicts: 256000 | #Constraints: 59031 1049.00/1053.17 c #Conflicts: 257000 | #Constraints: 60031 1049.00/1053.17 c #Conflicts: 258000 | #Constraints: 61031 1049.00/1053.17 c #Conflicts: 259000 | #Constraints: 62031 1049.00/1053.17 c #Conflicts: 260000 | #Constraints: 63031 1049.00/1053.17 c #Conflicts: 261000 | #Constraints: 64031 1049.00/1053.17 c #Conflicts: 262000 | #Constraints: 65031 1049.00/1053.17 c #Conflicts: 263000 | #Constraints: 66031 1049.00/1053.17 c #Conflicts: 264000 | #Constraints: 67031 1049.00/1053.17 c #Conflicts: 265000 | #Constraints: 68031 1049.00/1053.17 c #Conflicts: 266000 | #Constraints: 69031 1049.00/1053.17 c #Conflicts: 267000 | #Constraints: 70031 1049.00/1053.17 c #Conflicts: 268000 | #Constraints: 71031 1049.00/1053.17 c INPROCESSING 1049.00/1053.17 c GARBAGE COLLECT 1049.00/1053.17 c rational objective 157 1188.48/1193.17 c #Conflicts: 269000 | #Constraints: 46257 1188.48/1193.17 c #Conflicts: 270000 | #Constraints: 47258 1188.48/1193.17 c #Conflicts: 271000 | #Constraints: 48258 1188.48/1193.17 c #Conflicts: 272000 | #Constraints: 49258 1188.48/1193.17 c #Conflicts: 273000 | #Constraints: 50258 1188.48/1193.17 c #Conflicts: 274000 | #Constraints: 51258 1188.48/1193.17 c #Conflicts: 275000 | #Constraints: 52258 1188.48/1193.17 c #Conflicts: 276000 | #Constraints: 53258 1188.48/1193.17 c #Conflicts: 277000 | #Constraints: 54258 1188.48/1193.17 c #Conflicts: 278000 | #Constraints: 55258 1188.48/1193.17 c #Conflicts: 279000 | #Constraints: 56258 1188.48/1193.17 c #Conflicts: 280000 | #Constraints: 57258 1188.48/1193.17 c #Conflicts: 281000 | #Constraints: 58258 1188.48/1193.17 c #Conflicts: 282000 | #Constraints: 59258 1188.48/1193.17 c INPROCESSING 1188.48/1193.17 c GARBAGE COLLECT 1188.48/1193.17 c rational objective 157 1353.16/1358.46 c #Conflicts: 283000 | #Constraints: 40673 1353.16/1358.46 c #Conflicts: 284000 | #Constraints: 41673 1353.16/1358.46 c #Conflicts: 285000 | #Constraints: 42673 1353.16/1358.46 c #Conflicts: 286000 | #Constraints: 43673 1353.16/1358.46 c #Conflicts: 287000 | #Constraints: 44673 1353.16/1358.46 c #Conflicts: 288000 | #Constraints: 45673 1353.16/1358.46 c #Conflicts: 289000 | #Constraints: 46673 1353.16/1358.46 c #Conflicts: 290000 | #Constraints: 47673 1353.16/1358.46 c #Conflicts: 291000 | #Constraints: 48673 1353.16/1358.46 c #Conflicts: 292000 | #Constraints: 49673 1353.16/1358.46 c #Conflicts: 293000 | #Constraints: 50673 1353.16/1358.46 c #Conflicts: 294000 | #Constraints: 51673 1353.16/1358.46 c #Conflicts: 295000 | #Constraints: 52673 1353.16/1358.46 c #Conflicts: 296000 | #Constraints: 53673 1353.16/1358.46 c #Conflicts: 297000 | #Constraints: 54674 1353.16/1358.46 c #Conflicts: 298000 | #Constraints: 55674 1353.16/1358.46 c #Conflicts: 299000 | #Constraints: 56674 1353.16/1358.46 c #Conflicts: 300000 | #Constraints: 57674 1353.16/1358.46 c #Conflicts: 301000 | #Constraints: 58674 1353.16/1358.46 c #Conflicts: 302000 | #Constraints: 59674 1353.16/1358.46 c #Conflicts: 303000 | #Constraints: 60674 1353.16/1358.46 c #Conflicts: 304000 | #Constraints: 61674 1353.16/1358.46 c #Conflicts: 305000 | #Constraints: 62674 1353.16/1358.46 c #Conflicts: 306000 | #Constraints: 63674 1353.16/1358.46 c #Conflicts: 307000 | #Constraints: 64674 1353.16/1358.46 c #Conflicts: 308000 | #Constraints: 65674 1353.16/1358.46 c #Conflicts: 309000 | #Constraints: 66674 1353.16/1358.46 c #Conflicts: 310000 | #Constraints: 67675 1353.16/1358.46 c #Conflicts: 311000 | #Constraints: 68675 1353.16/1358.46 c #Conflicts: 312000 | #Constraints: 69675 1353.16/1358.46 c #Conflicts: 313000 | #Constraints: 70675 1353.16/1358.46 c #Conflicts: 314000 | #Constraints: 71675 1353.16/1358.46 c #Conflicts: 315000 | #Constraints: 72675 1353.16/1358.46 c #Conflicts: 316000 | #Constraints: 73675 1353.16/1358.46 c #Conflicts: 317000 | #Constraints: 74675 1353.16/1358.46 c #Conflicts: 318000 | #Constraints: 75675 1353.16/1358.46 c #Conflicts: 319000 | #Constraints: 76675 1353.16/1358.46 c INPROCESSING 1353.16/1358.46 c GARBAGE COLLECT 1353.16/1358.46 c #Conflicts: 320000 | #Constraints: 49334 1353.16/1358.46 c #Conflicts: 321000 | #Constraints: 50334 1353.16/1358.46 c #Conflicts: 322000 | #Constraints: 51334 1353.16/1358.46 c #Conflicts: 323000 | #Constraints: 52334 1353.16/1358.46 c #Conflicts: 324000 | #Constraints: 53334 1353.16/1358.46 c #Conflicts: 325000 | #Constraints: 54335 1353.16/1358.46 c #Conflicts: 326000 | #Constraints: 55335 1353.16/1358.46 c #Conflicts: 327000 | #Constraints: 56335 1353.16/1358.46 c #Conflicts: 328000 | #Constraints: 57335 1353.16/1358.46 c #Conflicts: 329000 | #Constraints: 58335 1353.16/1358.46 c #Conflicts: 330000 | #Constraints: 59335 1353.16/1358.46 c #Conflicts: 331000 | #Constraints: 60335 1353.16/1358.46 c #Conflicts: 332000 | #Constraints: 61335 1353.16/1358.46 c #Conflicts: 333000 | #Constraints: 62335 1353.16/1358.46 c #Conflicts: 334000 | #Constraints: 63335 1353.16/1358.46 c #Conflicts: 335000 | #Constraints: 64335 1353.16/1358.46 c INPROCESSING 1353.16/1358.46 c GARBAGE COLLECT 1353.16/1358.46 c rational objective 157 1511.46/1517.32 c #Conflicts: 336000 | #Constraints: 43899 1511.46/1517.32 c #Conflicts: 337000 | #Constraints: 44899 1511.46/1517.32 c #Conflicts: 338000 | #Constraints: 45899 1511.46/1517.32 c #Conflicts: 339000 | #Constraints: 46900 1511.46/1517.32 c #Conflicts: 340000 | #Constraints: 47900 1511.46/1517.32 c #Conflicts: 341000 | #Constraints: 48900 1511.46/1517.32 c #Conflicts: 342000 | #Constraints: 49900 1511.46/1517.32 c #Conflicts: 343000 | #Constraints: 50900 1511.46/1517.32 c #Conflicts: 344000 | #Constraints: 51900 1511.46/1517.32 c #Conflicts: 345000 | #Constraints: 52900 1511.46/1517.32 c #Conflicts: 346000 | #Constraints: 53900 1511.46/1517.32 c #Conflicts: 347000 | #Constraints: 54900 1511.46/1517.32 c #Conflicts: 348000 | #Constraints: 55900 1511.46/1517.32 c #Conflicts: 349000 | #Constraints: 56900 1511.46/1517.32 c #Conflicts: 350000 | #Constraints: 57900 1511.46/1517.32 c #Conflicts: 351000 | #Constraints: 58900 1511.46/1517.32 c #Conflicts: 352000 | #Constraints: 59900 1511.46/1517.32 c #Conflicts: 353000 | #Constraints: 60900 1511.46/1517.32 c #Conflicts: 354000 | #Constraints: 61900 1511.46/1517.32 c #Conflicts: 355000 | #Constraints: 62900 1511.46/1517.32 c #Conflicts: 356000 | #Constraints: 63900 1511.46/1517.32 c #Conflicts: 357000 | #Constraints: 64900 1511.46/1517.32 c #Conflicts: 358000 | #Constraints: 65900 1511.46/1517.32 c #Conflicts: 359000 | #Constraints: 66900 1511.46/1517.32 c #Conflicts: 360000 | #Constraints: 67900 1511.46/1517.32 c #Conflicts: 361000 | #Constraints: 68900 1511.46/1517.32 c #Conflicts: 362000 | #Constraints: 69900 1511.46/1517.32 c #Conflicts: 363000 | #Constraints: 70900 1511.46/1517.32 c #Conflicts: 364000 | #Constraints: 71900 1511.46/1517.32 c #Conflicts: 365000 | #Constraints: 72900 1511.46/1517.32 c #Conflicts: 366000 | #Constraints: 73900 1511.46/1517.32 c #Conflicts: 367000 | #Constraints: 74900 1511.46/1517.32 c #Conflicts: 368000 | #Constraints: 75900 1511.46/1517.32 c #Conflicts: 369000 | #Constraints: 76900 1511.46/1517.32 c #Conflicts: 370000 | #Constraints: 77900 1511.46/1517.32 c #Conflicts: 371000 | #Constraints: 78900 1511.46/1517.32 c #Conflicts: 372000 | #Constraints: 79900 1511.46/1517.32 c #Conflicts: 373000 | #Constraints: 80901 1511.46/1517.32 c #Conflicts: 374000 | #Constraints: 81901 1511.46/1517.32 c INPROCESSING 1511.46/1517.32 c GARBAGE COLLECT 1511.46/1517.32 c rational objective 157 1641.16/1647.59 c #Conflicts: 375000 | #Constraints: 51875 1641.16/1647.59 c #Conflicts: 376000 | #Constraints: 52875 1641.16/1647.59 c #Conflicts: 377000 | #Constraints: 53875 1641.16/1647.59 c #Conflicts: 378000 | #Constraints: 54875 1641.16/1647.59 c #Conflicts: 379000 | #Constraints: 55875 1641.16/1647.59 c #Conflicts: 380000 | #Constraints: 56876 1641.16/1647.59 c #Conflicts: 381000 | #Constraints: 57876 1641.16/1647.59 c #Conflicts: 382000 | #Constraints: 58876 1641.16/1647.59 c #Conflicts: 383000 | #Constraints: 59876 1641.16/1647.59 c #Conflicts: 384000 | #Constraints: 60876 1641.16/1647.59 c #Conflicts: 385000 | #Constraints: 61876 1641.16/1647.59 c #Conflicts: 386000 | #Constraints: 62876 1641.16/1647.59 c #Conflicts: 387000 | #Constraints: 63876 1641.16/1647.59 c #Conflicts: 388000 | #Constraints: 64876 1641.16/1647.59 c #Conflicts: 389000 | #Constraints: 65876 1641.16/1647.59 c #Conflicts: 390000 | #Constraints: 66876 1641.16/1647.59 c #Conflicts: 391000 | #Constraints: 67876 1641.16/1647.59 c INPROCESSING 1641.16/1647.59 c GARBAGE COLLECT 1641.16/1647.59 c rational objective 157 1787.71/1794.61 c #Conflicts: 392000 | #Constraints: 46371 1787.71/1794.61 c #Conflicts: 393000 | #Constraints: 47371 1787.71/1794.61 c #Conflicts: 394000 | #Constraints: 48371 1787.71/1794.61 c #Conflicts: 395000 | #Constraints: 49371 1787.71/1794.61 c #Conflicts: 396000 | #Constraints: 50371 1787.71/1794.61 c #Conflicts: 397000 | #Constraints: 51371 1787.71/1794.61 c #Conflicts: 398000 | #Constraints: 52371 1787.71/1794.61 c #Conflicts: 399000 | #Constraints: 53371 1787.71/1794.61 c #Conflicts: 400000 | #Constraints: 54371 1787.71/1794.61 c #Conflicts: 401000 | #Constraints: 55372 1787.71/1794.61 c #Conflicts: 402000 | #Constraints: 56372 1787.71/1794.61 c #Conflicts: 403000 | #Constraints: 57372 1787.71/1794.61 c #Conflicts: 404000 | #Constraints: 58372 1787.71/1794.61 c #Conflicts: 405000 | #Constraints: 59372 1787.71/1794.61 c #Conflicts: 406000 | #Constraints: 60372 1787.71/1794.61 c #Conflicts: 407000 | #Constraints: 61373 1787.71/1794.61 c #Conflicts: 408000 | #Constraints: 62373 1787.71/1794.61 c #Conflicts: 409000 | #Constraints: 63373 1787.71/1794.61 c #Conflicts: 410000 | #Constraints: 64373 1787.71/1794.61 c #Conflicts: 411000 | #Constraints: 65373 1787.71/1794.61 c #Conflicts: 412000 | #Constraints: 66373 1787.71/1794.61 c #Conflicts: 413000 | #Constraints: 67373 1787.71/1794.61 c #Conflicts: 414000 | #Constraints: 68373 1787.71/1794.61 c #Conflicts: 415000 | #Constraints: 69373 1787.71/1794.61 c #Conflicts: 416000 | #Constraints: 70373 1787.71/1794.61 c #Conflicts: 417000 | #Constraints: 71373 1787.71/1794.61 c #Conflicts: 418000 | #Constraints: 72373 1787.71/1794.61 c #Conflicts: 419000 | #Constraints: 73373 1787.71/1794.61 c #Conflicts: 420000 | #Constraints: 74373 1787.71/1794.61 c #Conflicts: 421000 | #Constraints: 75373 1787.71/1794.61 c #Conflicts: 422000 | #Constraints: 76373 1787.71/1794.61 c #Conflicts: 423000 | #Constraints: 77373 1787.71/1794.61 c #Conflicts: 424000 | #Constraints: 78373 1787.71/1794.61 c #Conflicts: 425000 | #Constraints: 79373 1787.71/1794.61 c #Conflicts: 426000 | #Constraints: 80373 1787.71/1794.61 c #Conflicts: 427000 | #Constraints: 81373 1787.71/1794.61 c #Conflicts: 428000 | #Constraints: 82373 1787.71/1794.61 c #Conflicts: 429000 | #Constraints: 83373 1787.71/1794.61 c #Conflicts: 430000 | #Constraints: 84373 1787.71/1794.61 c #Conflicts: 431000 | #Constraints: 85373 1787.71/1794.61 c #Conflicts: 432000 | #Constraints: 86373 1787.71/1794.61 c #Conflicts: 433000 | #Constraints: 87373 1787.71/1794.61 c #Conflicts: 434000 | #Constraints: 88373 1787.71/1794.61 c INPROCESSING 1787.71/1794.61 c GARBAGE COLLECT 1787.71/1794.61 c rational objective 157 1841.21/1848.39 c #Conflicts: 435000 | #Constraints: 55237 1841.21/1848.39 c #Conflicts: 436000 | #Constraints: 56237 1841.21/1848.39 c #Conflicts: 437000 | #Constraints: 57237 1841.21/1848.39 c #Conflicts: 438000 | #Constraints: 58237 1841.21/1848.39 c #Conflicts: 439000 | #Constraints: 59237 1841.21/1848.39 c #Conflicts: 440000 | #Constraints: 60237 1841.21/1848.39 c #Conflicts: 441000 | #Constraints: 61237 1841.21/1848.39 c #Conflicts: 442000 | #Constraints: 62237 1841.21/1848.39 c #Conflicts: 443000 | #Constraints: 63237 1841.21/1848.39 c #Conflicts: 444000 | #Constraints: 64237 1841.21/1848.39 c #Conflicts: 445000 | #Constraints: 65237 1841.21/1848.39 c #Conflicts: 446000 | #Constraints: 66237 1841.21/1848.39 c #Conflicts: 447000 | #Constraints: 67237 1841.21/1848.39 c #Conflicts: 448000 | #Constraints: 68237 1841.21/1848.39 c #Conflicts: 449000 | #Constraints: 69237 1841.21/1848.39 c #Conflicts: 450000 | #Constraints: 70237 1841.21/1848.39 c #Conflicts: 451000 | #Constraints: 71237 1841.21/1848.39 c #Conflicts: 452000 | #Constraints: 72237 1841.21/1848.39 c INPROCESSING 1841.21/1848.39 c GARBAGE COLLECT 1841.21/1848.39 c rational objective 157 2095.13/2103.24 c #Conflicts: 453000 | #Constraints: 48338 2095.13/2103.24 c #Conflicts: 454000 | #Constraints: 49338 2095.13/2103.24 c #Conflicts: 455000 | #Constraints: 50338 2095.13/2103.24 c #Conflicts: 456000 | #Constraints: 51338 2095.13/2103.24 c #Conflicts: 457000 | #Constraints: 52338 2095.13/2103.24 c #Conflicts: 458000 | #Constraints: 53338 2095.13/2103.24 c #Conflicts: 459000 | #Constraints: 54338 2095.13/2103.24 c #Conflicts: 460000 | #Constraints: 55338 2095.13/2103.24 c #Conflicts: 461000 | #Constraints: 56338 2095.13/2103.24 c #Conflicts: 462000 | #Constraints: 57338 2095.13/2103.24 c #Conflicts: 463000 | #Constraints: 58338 2095.13/2103.24 c #Conflicts: 464000 | #Constraints: 59338 2095.13/2103.24 c #Conflicts: 465000 | #Constraints: 60338 2095.13/2103.24 c #Conflicts: 466000 | #Constraints: 61338 2095.13/2103.24 c #Conflicts: 467000 | #Constraints: 62338 2095.13/2103.24 c #Conflicts: 468000 | #Constraints: 63338 2095.13/2103.24 c #Conflicts: 469000 | #Constraints: 64338 2095.13/2103.24 c #Conflicts: 470000 | #Constraints: 65338 2095.13/2103.24 c #Conflicts: 471000 | #Constraints: 66339 2095.13/2103.24 c #Conflicts: 472000 | #Constraints: 67339 2095.13/2103.24 c #Conflicts: 473000 | #Constraints: 68339 2095.13/2103.24 c #Conflicts: 474000 | #Constraints: 69339 2095.13/2103.24 c #Conflicts: 475000 | #Constraints: 70339 2095.13/2103.24 c #Conflicts: 476000 | #Constraints: 71339 2095.13/2103.24 c #Conflicts: 477000 | #Constraints: 72339 2095.13/2103.24 c #Conflicts: 478000 | #Constraints: 73339 2095.13/2103.24 c #Conflicts: 479000 | #Constraints: 74339 2095.13/2103.24 c #Conflicts: 480000 | #Constraints: 75339 2095.13/2103.24 c #Conflicts: 481000 | #Constraints: 76339 2095.13/2103.24 c #Conflicts: 482000 | #Constraints: 77339 2095.13/2103.24 c #Conflicts: 483000 | #Constraints: 78339 2095.13/2103.24 c #Conflicts: 484000 | #Constraints: 79339 2095.13/2103.24 c #Conflicts: 485000 | #Constraints: 80339 2095.13/2103.24 c #Conflicts: 486000 | #Constraints: 81339 2095.13/2103.24 c #Conflicts: 487000 | #Constraints: 82340 2095.13/2103.24 c #Conflicts: 488000 | #Constraints: 83340 2095.13/2103.24 c #Conflicts: 489000 | #Constraints: 84340 2095.13/2103.24 c #Conflicts: 490000 | #Constraints: 85340 2095.13/2103.24 c #Conflicts: 491000 | #Constraints: 86340 2095.13/2103.24 c #Conflicts: 492000 | #Constraints: 87340 2095.13/2103.24 c #Conflicts: 493000 | #Constraints: 88340 2095.13/2103.24 c #Conflicts: 494000 | #Constraints: 89340 2095.13/2103.24 c #Conflicts: 495000 | #Constraints: 90340 2095.13/2103.24 c #Conflicts: 496000 | #Constraints: 91340 2095.13/2103.24 c #Conflicts: 497000 | #Constraints: 92340 2095.13/2103.24 c #Conflicts: 498000 | #Constraints: 93340 2095.13/2103.24 c INPROCESSING 2095.13/2103.24 c GARBAGE COLLECT 2095.13/2103.24 c rational objective 157 2220.16/2228.74 c #Conflicts: 499000 | #Constraints: 57577 2220.16/2228.74 c #Conflicts: 500000 | #Constraints: 58577 2220.16/2228.74 c #Conflicts: 501000 | #Constraints: 59577 2220.16/2228.74 c #Conflicts: 502000 | #Constraints: 60577 2220.16/2228.74 c #Conflicts: 503000 | #Constraints: 61577 2220.16/2228.74 c #Conflicts: 504000 | #Constraints: 62577 2220.16/2228.74 c #Conflicts: 505000 | #Constraints: 63577 2220.16/2228.74 c #Conflicts: 506000 | #Constraints: 64577 2220.16/2228.74 c #Conflicts: 507000 | #Constraints: 65578 2220.16/2228.74 c #Conflicts: 508000 | #Constraints: 66578 2220.16/2228.74 c #Conflicts: 509000 | #Constraints: 67578 2220.16/2228.74 c #Conflicts: 510000 | #Constraints: 68578 2220.16/2228.74 c #Conflicts: 511000 | #Constraints: 69579 2220.16/2228.74 c #Conflicts: 512000 | #Constraints: 70581 2220.16/2228.74 c #Conflicts: 513000 | #Constraints: 71583 2220.16/2228.74 c #Conflicts: 514000 | #Constraints: 72583 2220.16/2228.74 c #Conflicts: 515000 | #Constraints: 73583 2220.16/2228.74 c #Conflicts: 516000 | #Constraints: 74583 2220.16/2228.74 c #Conflicts: 517000 | #Constraints: 75583 2220.16/2228.74 c INPROCESSING 2220.16/2228.74 c GARBAGE COLLECT 2220.16/2228.74 c rational objective 157 2447.77/2457.26 c #Conflicts: 518000 | #Constraints: 49524 2447.77/2457.26 c #Conflicts: 519000 | #Constraints: 50524 2447.77/2457.26 c #Conflicts: 520000 | #Constraints: 51524 2447.77/2457.26 c #Conflicts: 521000 | #Constraints: 52524 2447.77/2457.26 c #Conflicts: 522000 | #Constraints: 53524 2447.77/2457.26 c #Conflicts: 523000 | #Constraints: 54525 2447.77/2457.26 c #Conflicts: 524000 | #Constraints: 55525 2447.77/2457.26 c #Conflicts: 525000 | #Constraints: 56525 2447.77/2457.26 c #Conflicts: 526000 | #Constraints: 57525 2447.77/2457.26 c #Conflicts: 527000 | #Constraints: 58525 2447.77/2457.26 c #Conflicts: 528000 | #Constraints: 59525 2447.77/2457.26 c #Conflicts: 529000 | #Constraints: 60525 2447.77/2457.26 c #Conflicts: 530000 | #Constraints: 61525 2447.77/2457.26 c #Conflicts: 531000 | #Constraints: 62525 2447.77/2457.26 c #Conflicts: 532000 | #Constraints: 63525 2447.77/2457.26 c #Conflicts: 533000 | #Constraints: 64525 2447.77/2457.26 c #Conflicts: 534000 | #Constraints: 65525 2447.77/2457.26 c #Conflicts: 535000 | #Constraints: 66525 2447.77/2457.26 c #Conflicts: 536000 | #Constraints: 67525 2447.77/2457.26 c #Conflicts: 537000 | #Constraints: 68525 2447.77/2457.26 c #Conflicts: 538000 | #Constraints: 69525 2447.77/2457.26 c #Conflicts: 539000 | #Constraints: 70525 2447.77/2457.26 c #Conflicts: 540000 | #Constraints: 71525 2447.77/2457.26 c #Conflicts: 541000 | #Constraints: 72525 2447.77/2457.26 c #Conflicts: 542000 | #Constraints: 73526 2447.77/2457.26 c #Conflicts: 543000 | #Constraints: 74526 2447.77/2457.26 c #Conflicts: 544000 | #Constraints: 75526 2447.77/2457.26 c #Conflicts: 545000 | #Constraints: 76526 2447.77/2457.26 c #Conflicts: 546000 | #Constraints: 77526 2447.77/2457.26 c #Conflicts: 547000 | #Constraints: 78526 2447.77/2457.26 c #Conflicts: 548000 | #Constraints: 79526 2447.77/2457.26 c #Conflicts: 549000 | #Constraints: 80526 2447.77/2457.26 c #Conflicts: 550000 | #Constraints: 81526 2447.77/2457.26 c #Conflicts: 551000 | #Constraints: 82526 2447.77/2457.26 c #Conflicts: 552000 | #Constraints: 83526 2447.77/2457.26 c #Conflicts: 553000 | #Constraints: 84526 2447.77/2457.26 c #Conflicts: 554000 | #Constraints: 85526 2447.77/2457.26 c #Conflicts: 555000 | #Constraints: 86526 2447.77/2457.26 c #Conflicts: 556000 | #Constraints: 87526 2447.77/2457.26 c #Conflicts: 557000 | #Constraints: 88527 2447.77/2457.26 c #Conflicts: 558000 | #Constraints: 89527 2447.77/2457.26 c #Conflicts: 559000 | #Constraints: 90527 2447.77/2457.26 c #Conflicts: 560000 | #Constraints: 91527 2447.77/2457.26 c #Conflicts: 561000 | #Constraints: 92527 2447.77/2457.26 c #Conflicts: 562000 | #Constraints: 93527 2447.77/2457.26 c #Conflicts: 563000 | #Constraints: 94527 2447.77/2457.26 c #Conflicts: 564000 | #Constraints: 95527 2447.77/2457.26 c #Conflicts: 565000 | #Constraints: 96527 2447.77/2457.26 c #Conflicts: 566000 | #Constraints: 97527 2447.77/2457.26 c INPROCESSING 2447.77/2457.26 c GARBAGE COLLECT 2447.77/2457.26 c rational objective 157 2652.76/2663.03 c #Conflicts: 567000 | #Constraints: 59851 2652.76/2663.03 c #Conflicts: 568000 | #Constraints: 60851 2652.76/2663.03 c #Conflicts: 569000 | #Constraints: 61851 2652.76/2663.03 c #Conflicts: 570000 | #Constraints: 62851 2652.76/2663.03 c #Conflicts: 571000 | #Constraints: 63851 2652.76/2663.03 c #Conflicts: 572000 | #Constraints: 64851 2652.76/2663.03 c #Conflicts: 573000 | #Constraints: 65851 2652.76/2663.03 c #Conflicts: 574000 | #Constraints: 66851 2652.76/2663.03 c #Conflicts: 575000 | #Constraints: 67852 2652.76/2663.03 c #Conflicts: 576000 | #Constraints: 68852 2652.76/2663.03 c #Conflicts: 577000 | #Constraints: 69852 2652.76/2663.03 c #Conflicts: 578000 | #Constraints: 70852 2652.76/2663.03 c #Conflicts: 579000 | #Constraints: 71852 2652.76/2663.03 c #Conflicts: 580000 | #Constraints: 72852 2652.76/2663.03 c #Conflicts: 581000 | #Constraints: 73852 2652.76/2663.03 c #Conflicts: 582000 | #Constraints: 74852 2652.76/2663.03 c #Conflicts: 583000 | #Constraints: 75852 2652.76/2663.03 c #Conflicts: 584000 | #Constraints: 76852 2652.76/2663.03 c #Conflicts: 585000 | #Constraints: 77852 2652.76/2663.03 c #Conflicts: 586000 | #Constraints: 78852 2652.76/2663.03 c #Conflicts: 587000 | #Constraints: 79852 2652.76/2663.03 c INPROCESSING 2652.76/2663.03 c GARBAGE COLLECT 2652.76/2663.03 c rational objective 157 2927.20/2938.42 c #Conflicts: 588000 | #Constraints: 53087 2927.20/2938.42 c #Conflicts: 589000 | #Constraints: 54087 2927.20/2938.42 c #Conflicts: 590000 | #Constraints: 55087 2927.20/2938.42 c #Conflicts: 591000 | #Constraints: 56087 2927.20/2938.42 c #Conflicts: 592000 | #Constraints: 57087 2927.20/2938.42 c #Conflicts: 593000 | #Constraints: 58087 2927.20/2938.42 c #Conflicts: 594000 | #Constraints: 59087 2927.20/2938.42 c #Conflicts: 595000 | #Constraints: 60087 2927.20/2938.42 c #Conflicts: 596000 | #Constraints: 61087 2927.20/2938.42 c #Conflicts: 597000 | #Constraints: 62087 2927.20/2938.42 c #Conflicts: 598000 | #Constraints: 63088 2927.20/2938.42 c #Conflicts: 599000 | #Constraints: 64089 2927.20/2938.42 c #Conflicts: 600000 | #Constraints: 65091 2927.20/2938.42 c #Conflicts: 601000 | #Constraints: 66092 2927.20/2938.42 c #Conflicts: 602000 | #Constraints: 67093 2927.20/2938.42 c #Conflicts: 603000 | #Constraints: 68094 2927.20/2938.42 c #Conflicts: 604000 | #Constraints: 69094 2927.20/2938.42 c #Conflicts: 605000 | #Constraints: 70094 2927.20/2938.42 c #Conflicts: 606000 | #Constraints: 71094 2927.20/2938.42 c #Conflicts: 607000 | #Constraints: 72094 2927.20/2938.42 c #Conflicts: 608000 | #Constraints: 73094 2927.20/2938.42 c #Conflicts: 609000 | #Constraints: 74094 2927.20/2938.42 c #Conflicts: 610000 | #Constraints: 75095 2927.20/2938.42 c #Conflicts: 611000 | #Constraints: 76095 2927.20/2938.42 c #Conflicts: 612000 | #Constraints: 77095 2927.20/2938.42 c #Conflicts: 613000 | #Constraints: 78096 2927.20/2938.42 c #Conflicts: 614000 | #Constraints: 79096 2927.20/2938.42 c #Conflicts: 615000 | #Constraints: 80096 2927.20/2938.42 c #Conflicts: 616000 | #Constraints: 81096 2927.20/2938.42 c #Conflicts: 617000 | #Constraints: 82097 2927.20/2938.42 c #Conflicts: 618000 | #Constraints: 83097 2927.20/2938.42 c #Conflicts: 619000 | #Constraints: 84097 2927.20/2938.42 c #Conflicts: 620000 | #Constraints: 85097 2927.20/2938.42 c #Conflicts: 621000 | #Constraints: 86097 2927.20/2938.42 c #Conflicts: 622000 | #Constraints: 87097 2927.20/2938.42 c #Conflicts: 623000 | #Constraints: 88097 2927.20/2938.42 c #Conflicts: 624000 | #Constraints: 89097 2927.20/2938.42 c #Conflicts: 625000 | #Constraints: 90097 2927.20/2938.42 c #Conflicts: 626000 | #Constraints: 91097 2927.20/2938.42 c #Conflicts: 627000 | #Constraints: 92097 2927.20/2938.42 c #Conflicts: 628000 | #Constraints: 93097 2927.20/2938.42 c #Conflicts: 629000 | #Constraints: 94097 2927.20/2938.42 c #Conflicts: 630000 | #Constraints: 95097 2927.20/2938.42 c #Conflicts: 631000 | #Constraints: 96097 2927.20/2938.42 c #Conflicts: 632000 | #Constraints: 97097 2927.20/2938.42 c #Conflicts: 633000 | #Constraints: 98097 2927.20/2938.42 c #Conflicts: 634000 | #Constraints: 99097 2927.20/2938.42 c #Conflicts: 635000 | #Constraints: 100097 2927.20/2938.42 c #Conflicts: 636000 | #Constraints: 101097 2927.20/2938.42 c #Conflicts: 637000 | #Constraints: 102097 2927.20/2938.42 c #Conflicts: 638000 | #Constraints: 103097 2927.20/2938.42 c #Conflicts: 639000 | #Constraints: 104097 2927.20/2938.42 c INPROCESSING 2927.20/2938.42 c GARBAGE COLLECT 2927.20/2938.42 c #Conflicts: 640000 | #Constraints: 63104 2927.20/2938.42 c #Conflicts: 641000 | #Constraints: 64104 2927.20/2938.42 c #Conflicts: 642000 | #Constraints: 65104 2927.20/2938.42 c #Conflicts: 643000 | #Constraints: 66104 2927.20/2938.42 c #Conflicts: 644000 | #Constraints: 67104 2927.20/2938.42 c #Conflicts: 645000 | #Constraints: 68104 2927.20/2938.42 c #Conflicts: 646000 | #Constraints: 69104 2927.20/2938.42 c #Conflicts: 647000 | #Constraints: 70104 2927.20/2938.42 c #Conflicts: 648000 | #Constraints: 71104 2927.20/2938.42 c #Conflicts: 649000 | #Constraints: 72104 2927.20/2938.42 c #Conflicts: 650000 | #Constraints: 73104 2927.20/2938.42 c #Conflicts: 651000 | #Constraints: 74104 2927.20/2938.42 c #Conflicts: 652000 | #Constraints: 75104 2927.20/2938.42 c #Conflicts: 653000 | #Constraints: 76104 2927.20/2938.42 c #Conflicts: 654000 | #Constraints: 77105 2927.20/2938.42 c #Conflicts: 655000 | #Constraints: 78105 2927.20/2938.42 c #Conflicts: 656000 | #Constraints: 79105 2927.20/2938.42 c #Conflicts: 657000 | #Constraints: 80105 2927.20/2938.42 c #Conflicts: 658000 | #Constraints: 81105 2927.20/2938.42 c #Conflicts: 659000 | #Constraints: 82105 2927.20/2938.42 c #Conflicts: 660000 | #Constraints: 83105 2927.20/2938.42 c #Conflicts: 661000 | #Constraints: 84105 2927.20/2938.42 c INPROCESSING 2927.20/2938.42 c GARBAGE COLLECT 2927.20/2938.42 c rational objective 157 3153.87/3165.86 c #Conflicts: 662000 | #Constraints: 55119 3153.87/3165.86 c #Conflicts: 663000 | #Constraints: 56119 3153.87/3165.86 c #Conflicts: 664000 | #Constraints: 57119 3153.87/3165.86 c #Conflicts: 665000 | #Constraints: 58119 3153.87/3165.86 c #Conflicts: 666000 | #Constraints: 59119 3153.87/3165.86 c #Conflicts: 667000 | #Constraints: 60119 3153.87/3165.86 c #Conflicts: 668000 | #Constraints: 61119 3153.87/3165.86 c #Conflicts: 669000 | #Constraints: 62119 3153.87/3165.86 c #Conflicts: 670000 | #Constraints: 63119 3153.87/3165.86 c #Conflicts: 671000 | #Constraints: 64119 3153.87/3165.86 c #Conflicts: 672000 | #Constraints: 65120 3153.87/3165.86 c #Conflicts: 673000 | #Constraints: 66120 3153.87/3165.86 c #Conflicts: 674000 | #Constraints: 67120 3153.87/3165.86 c #Conflicts: 675000 | #Constraints: 68120 3153.87/3165.86 c #Conflicts: 676000 | #Constraints: 69120 3153.87/3165.86 c #Conflicts: 677000 | #Constraints: 70120 3153.87/3165.86 c #Conflicts: 678000 | #Constraints: 71120 3153.87/3165.86 c #Conflicts: 679000 | #Constraints: 72120 3153.87/3165.86 c #Conflicts: 680000 | #Constraints: 73120 3153.87/3165.86 c #Conflicts: 681000 | #Constraints: 74120 3153.87/3165.86 c #Conflicts: 682000 | #Constraints: 75120 3153.87/3165.86 c #Conflicts: 683000 | #Constraints: 76120 3153.87/3165.86 c #Conflicts: 684000 | #Constraints: 77120 3153.87/3165.86 c #Conflicts: 685000 | #Constraints: 78120 3153.87/3165.86 c #Conflicts: 686000 | #Constraints: 79120 3153.87/3165.86 c #Conflicts: 687000 | #Constraints: 80120 3153.87/3165.86 c #Conflicts: 688000 | #Constraints: 81120 3153.87/3165.86 c #Conflicts: 689000 | #Constraints: 82120 3153.87/3165.86 c #Conflicts: 690000 | #Constraints: 83120 3153.87/3165.86 c #Conflicts: 691000 | #Constraints: 84120 3153.87/3165.86 c #Conflicts: 692000 | #Constraints: 85120 3153.87/3165.86 c #Conflicts: 693000 | #Constraints: 86120 3153.87/3165.86 c #Conflicts: 694000 | #Constraints: 87120 3153.87/3165.86 c #Conflicts: 695000 | #Constraints: 88120 3153.87/3165.86 c #Conflicts: 696000 | #Constraints: 89120 3153.87/3165.86 c #Conflicts: 697000 | #Constraints: 90121 3153.87/3165.86 c #Conflicts: 698000 | #Constraints: 91121 3153.87/3165.86 c #Conflicts: 699000 | #Constraints: 92121 3153.87/3165.86 c #Conflicts: 700000 | #Constraints: 93121 3153.87/3165.86 c #Conflicts: 701000 | #Constraints: 94121 3153.87/3165.86 c #Conflicts: 702000 | #Constraints: 95121 3153.87/3165.86 c #Conflicts: 703000 | #Constraints: 96121 3153.87/3165.86 c #Conflicts: 704000 | #Constraints: 97121 3153.87/3165.86 c #Conflicts: 705000 | #Constraints: 98121 3153.87/3165.86 c #Conflicts: 706000 | #Constraints: 99121 3153.87/3165.86 c #Conflicts: 707000 | #Constraints: 100121 3153.87/3165.86 c #Conflicts: 708000 | #Constraints: 101121 3153.87/3165.86 c #Conflicts: 709000 | #Constraints: 102121 3153.87/3165.86 c #Conflicts: 710000 | #Constraints: 103121 3153.87/3165.86 c #Conflicts: 711000 | #Constraints: 104121 3153.87/3165.86 c #Conflicts: 712000 | #Constraints: 105121 3153.87/3165.86 c #Conflicts: 713000 | #Constraints: 106121 3153.87/3165.86 c #Conflicts: 714000 | #Constraints: 107121 3153.87/3165.86 c #Conflicts: 715000 | #Constraints: 108122 3153.87/3165.86 c #Conflicts: 716000 | #Constraints: 109122 3153.87/3165.86 c INPROCESSING 3153.87/3165.86 c GARBAGE COLLECT 3153.87/3165.86 c rational objective 157 3383.35/3396.08 c #Conflicts: 717000 | #Constraints: 65912 3383.35/3396.08 c #Conflicts: 718000 | #Constraints: 66912 3383.35/3396.08 c #Conflicts: 719000 | #Constraints: 67912 3383.35/3396.08 c #Conflicts: 720000 | #Constraints: 68912 3383.35/3396.08 c #Conflicts: 721000 | #Constraints: 69912 3383.35/3396.08 c #Conflicts: 722000 | #Constraints: 70912 3383.35/3396.08 c #Conflicts: 723000 | #Constraints: 71912 3383.35/3396.08 c #Conflicts: 724000 | #Constraints: 72912 3383.35/3396.08 c #Conflicts: 725000 | #Constraints: 73912 3383.35/3396.08 c #Conflicts: 726000 | #Constraints: 74912 3383.35/3396.08 c #Conflicts: 727000 | #Constraints: 75912 3383.35/3396.08 c #Conflicts: 728000 | #Constraints: 76912 3383.35/3396.08 c #Conflicts: 729000 | #Constraints: 77912 3383.35/3396.08 c #Conflicts: 730000 | #Constraints: 78913 3383.35/3396.08 c #Conflicts: 731000 | #Constraints: 79913 3383.35/3396.08 c #Conflicts: 732000 | #Constraints: 80913 3383.35/3396.08 c #Conflicts: 733000 | #Constraints: 81913 3383.35/3396.08 c #Conflicts: 734000 | #Constraints: 82913 3383.35/3396.08 c #Conflicts: 735000 | #Constraints: 83913 3383.35/3396.08 c #Conflicts: 736000 | #Constraints: 84913 3383.35/3396.08 c #Conflicts: 737000 | #Constraints: 85913 3383.35/3396.08 c #Conflicts: 738000 | #Constraints: 86913 3383.35/3396.08 c #Conflicts: 739000 | #Constraints: 87913 3383.35/3396.08 c #Conflicts: 740000 | #Constraints: 88913 3383.35/3396.08 c INPROCESSING 3383.35/3396.08 c GARBAGE COLLECT 3383.35/3396.08 c rational objective 157 3520.85/3533.96 c #Conflicts: 741000 | #Constraints: 58217 3520.85/3533.96 c #Conflicts: 742000 | #Constraints: 59217 3520.85/3533.96 c #Conflicts: 743000 | #Constraints: 60217 3520.85/3533.96 c #Conflicts: 744000 | #Constraints: 61217 3520.85/3533.96 c #Conflicts: 745000 | #Constraints: 62217 3520.85/3533.96 c #Conflicts: 746000 | #Constraints: 63217 3520.85/3533.96 c #Conflicts: 747000 | #Constraints: 64217 3520.85/3533.96 c #Conflicts: 748000 | #Constraints: 65217 3520.85/3533.96 c #Conflicts: 749000 | #Constraints: 66217 3520.85/3533.96 c #Conflicts: 750000 | #Constraints: 67217 3520.85/3533.96 c #Conflicts: 751000 | #Constraints: 68217 3520.85/3533.96 c #Conflicts: 752000 | #Constraints: 69218 3520.85/3533.96 c #Conflicts: 753000 | #Constraints: 70218 3520.85/3533.96 c #Conflicts: 754000 | #Constraints: 71218 3520.85/3533.96 c #Conflicts: 755000 | #Constraints: 72218 3520.85/3533.96 c #Conflicts: 756000 | #Constraints: 73219 3520.85/3533.96 c #Conflicts: 757000 | #Constraints: 74219 3520.85/3533.96 c #Conflicts: 758000 | #Constraints: 75219 3520.85/3533.96 c #Conflicts: 759000 | #Constraints: 76219 3520.85/3533.96 c #Conflicts: 760000 | #Constraints: 77219 3520.85/3533.96 c #Conflicts: 761000 | #Constraints: 78219 3520.85/3533.96 c #Conflicts: 762000 | #Constraints: 79219 3520.85/3533.96 c #Conflicts: 763000 | #Constraints: 80219 3520.85/3533.96 c #Conflicts: 764000 | #Constraints: 81219 3520.85/3533.96 c #Conflicts: 765000 | #Constraints: 82219 3520.85/3533.96 c #Conflicts: 766000 | #Constraints: 83219 3520.85/3533.96 c #Conflicts: 767000 | #Constraints: 84219 3520.85/3533.96 c #Conflicts: 768000 | #Constraints: 85220 3520.85/3533.96 c #Conflicts: 769000 | #Constraints: 86220 3520.85/3533.96 c #Conflicts: 770000 | #Constraints: 87220 3520.85/3533.96 c #Conflicts: 771000 | #Constraints: 88220 3520.85/3533.96 c #Conflicts: 772000 | #Constraints: 89220 3520.85/3533.96 c #Conflicts: 773000 | #Constraints: 90220 3520.85/3533.96 c #Conflicts: 774000 | #Constraints: 91220 3520.85/3533.96 c #Conflicts: 775000 | #Constraints: 92220 3520.85/3533.96 c #Conflicts: 776000 | #Constraints: 93220 3520.85/3533.96 c #Conflicts: 777000 | #Constraints: 94220 3520.85/3533.96 c #Conflicts: 778000 | #Constraints: 95220 3520.85/3533.96 c #Conflicts: 779000 | #Constraints: 96220 3520.85/3533.96 c #Conflicts: 780000 | #Constraints: 97220 3520.85/3533.96 c #Conflicts: 781000 | #Constraints: 98220 3520.85/3533.96 c #Conflicts: 782000 | #Constraints: 99220 3520.85/3533.96 c #Conflicts: 783000 | #Constraints: 100220 3520.85/3533.96 c #Conflicts: 784000 | #Constraints: 101220 3520.85/3533.96 c #Conflicts: 785000 | #Constraints: 102220 3520.85/3533.96 c #Conflicts: 786000 | #Constraints: 103220 3520.85/3533.96 c #Conflicts: 787000 | #Constraints: 104220 3520.85/3533.96 c #Conflicts: 788000 | #Constraints: 105220 3520.85/3533.96 c #Conflicts: 789000 | #Constraints: 106220 3520.85/3533.96 c #Conflicts: 790000 | #Constraints: 107220 3520.85/3533.96 c #Conflicts: 791000 | #Constraints: 108220 3520.85/3533.96 c #Conflicts: 792000 | #Constraints: 109220 3520.85/3533.96 c #Conflicts: 793000 | #Constraints: 110220 3520.85/3533.96 c #Conflicts: 794000 | #Constraints: 111220 3520.85/3533.96 c #Conflicts: 795000 | #Constraints: 112220 3520.85/3533.96 c #Conflicts: 796000 | #Constraints: 113220 3520.85/3533.96 c #Conflicts: 797000 | #Constraints: 114220 3520.85/3533.96 c #Conflicts: 798000 | #Constraints: 115220 3520.85/3533.96 c INPROCESSING 3520.85/3533.96 c GARBAGE COLLECT 3520.85/3533.96 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: 63968 MiB (51787 MiB free)
memory of node 1: 64473 MiB (12964 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457165-1721826736/watcher-4457165-1721826736 -o /tmp/evaluation-result-4457165-1721826736/solver-4457165-1721826736 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721817186-228035 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457165-1721826736 --lp-cut-gomory=0 HOME/instance-4457165-1721826736.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=236353, runsolver pid=236350
[startup+0.10009 s]*
/proc/loadavg: 4.22 4.20 4.18 5/260 236354
/proc/meminfo: memFree=66279560/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=60580 memory=30508 CPUtime=0.1 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 7081 0 0 0 8 2 0 0 20 0 1 0 19201837 62033920 7627 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 15145 7627 1647 992 0 7003 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 60580 KiB
Current children cumulated memory: 30508 KiB
[startup+0.205813 s]*
/proc/loadavg: 4.22 4.20 4.18 5/260 236354
/proc/meminfo: memFree=66268220/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=70236 memory=36708 CPUtime=0.19 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 9192 0 0 0 17 2 0 0 20 0 1 0 19201837 71921664 9177 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 17559 9177 1711 992 0 9417 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 70236 KiB
Current children cumulated memory: 36708 KiB
[startup+0.305648 s]*
/proc/loadavg: 4.22 4.20 4.18 5/260 236354
/proc/meminfo: memFree=66263752/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=71872 memory=38820 CPUtime=0.29 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 9669 0 0 0 27 2 0 0 20 0 1 0 19201837 73596928 9705 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 17968 9705 1711 992 0 9826 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 71872 KiB
Current children cumulated memory: 38820 KiB
[startup+0.700195 s]
/proc/loadavg: 4.22 4.20 4.18 5/260 236354
/proc/meminfo: memFree=66260708/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=72124 memory=39348 CPUtime=0.67 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 9844 0 0 0 65 2 0 0 20 0 1 0 19201837 73854976 9837 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 18031 9837 1711 992 0 9889 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 72124 KiB
Current children cumulated memory: 39348 KiB
[startup+1.5002 s]
/proc/loadavg: 4.22 4.20 4.18 5/260 236354
/proc/meminfo: memFree=66242776/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=72872 memory=40404 CPUtime=1.48 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 10088 0 0 0 139 9 0 0 20 0 1 0 19201837 74620928 10101 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 18218 10101 1711 992 0 10076 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 72872 KiB
Current children cumulated memory: 40404 KiB
[startup+3.10554 s]
/proc/loadavg: 4.22 4.20 4.18 5/260 236356
/proc/meminfo: memFree=66141380/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=75248 memory=44732 CPUtime=3.08 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 10641 0 0 0 289 19 0 0 20 0 1 0 19201837 77053952 11183 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 18812 11183 1759 992 0 10670 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 75248 KiB
Current children cumulated memory: 44732 KiB
[startup+6.30019 s]
/proc/loadavg: 4.20 4.20 4.18 5/260 236356
/proc/meminfo: memFree=66065924/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=77888 memory=48156 CPUtime=6.26 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 11462 0 0 0 605 21 0 0 20 0 1 0 19201837 79757312 12039 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 19472 12039 1759 992 0 11330 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 77888 KiB
Current children cumulated memory: 48156 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.19 4.18 5/261 236358
/proc/meminfo: memFree=65860592/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=82168 memory=50264 CPUtime=12.6 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 11970 0 0 0 1224 36 0 0 20 0 1 0 19201837 84140032 12566 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 20542 12566 1822 992 0 12400 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 82168 KiB
Current children cumulated memory: 50264 KiB
[startup+25.5002 s]
/proc/loadavg: 4.23 4.20 4.18 5/261 236360
/proc/meminfo: memFree=65215652/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=83996 memory=52372 CPUtime=25.36 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 12504 0 0 0 2486 50 0 0 20 0 1 0 19201837 86011904 13093 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 20999 13093 1822 992 0 12857 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 83996 KiB
Current children cumulated memory: 52372 KiB
[startup+51.1059 s]
/proc/loadavg: 4.14 4.18 4.18 5/261 236365
/proc/meminfo: memFree=64794820/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=86928 memory=57796 CPUtime=50.85 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 14508 0 0 0 5003 82 0 0 20 0 1 0 19201837 89014272 14449 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 21732 14449 1854 992 0 13590 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 86928 KiB
Current children cumulated memory: 57796 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.18 4.18 6/263 236427
/proc/meminfo: memFree=63349424/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=147336 memory=101968 CPUtime=101.84 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 20973 0 0 0 9997 187 0 0 20 0 1 0 19201837 150872064 25492 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 36834 25492 1854 992 0 28692 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 147336 KiB
Current children cumulated memory: 101968 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/263 236438
/proc/meminfo: memFree=61530280/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=153280 memory=107508 CPUtime=161.59 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 22386 0 0 0 15923 236 0 0 20 0 1 0 19201837 156958720 26877 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 38320 26877 1854 992 0 30178 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 153280 KiB
Current children cumulated memory: 107508 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.17 4.18 5/264 236496
/proc/meminfo: memFree=113710212/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=278288 memory=218024 CPUtime=221.34 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 35194 0 0 0 21789 345 0 0 20 0 1 0 19201837 284966912 54506 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 69572 54506 1854 992 0 61430 0
Current children cumulated CPU time: 221.34 s
Current children cumulated vsize: 278288 KiB
Current children cumulated memory: 218024 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/264 236506
/proc/meminfo: memFree=113185660/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=285688 memory=226304 CPUtime=281.12 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 36787 0 0 0 27693 419 0 0 20 0 1 0 19201837 292544512 56576 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 71422 56576 1854 992 0 63280 0
Current children cumulated CPU time: 281.12 s
Current children cumulated vsize: 285688 KiB
Current children cumulated memory: 226304 KiB
[startup+342.3 s]
/proc/loadavg: 4.40 4.23 4.20 5/263 236516
/proc/meminfo: memFree=111374108/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=289440 memory=230256 CPUtime=340.89 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 37782 0 0 0 33629 460 0 0 20 0 1 0 19201837 296386560 57564 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 72360 57564 1854 992 0 64218 0
Current children cumulated CPU time: 340.89 s
Current children cumulated vsize: 289440 KiB
Current children cumulated memory: 230256 KiB
[startup+402.3 s]
/proc/loadavg: 4.27 4.22 4.19 5/261 236527
/proc/meminfo: memFree=109240632/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=292316 memory=241828 CPUtime=400.64 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 38624 0 0 0 39546 518 0 0 20 0 1 0 19201837 299331584 60457 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 73079 60457 1854 992 0 64937 0
Current children cumulated CPU time: 400.64 s
Current children cumulated vsize: 292316 KiB
Current children cumulated memory: 241828 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.21 4.19 6/260 236539
/proc/meminfo: memFree=108226372/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=522012 memory=361684 CPUtime=460.39 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 43591 0 0 0 45458 581 0 0 20 0 1 0 19201837 534540288 90421 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 130503 90421 1854 992 0 122361 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 3.10 3.14 3.43 4/250 238244
/proc/meminfo: memFree=109654576/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=869676 memory=780568 CPUtime=3090.58 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 84439 0 0 0 305941 3117 0 0 20 0 1 0 19201837 890548224 195142 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 217419 195142 1854 992 0 209277 0
Current children cumulated CPU time: 3090.58 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 780568 KiB
[startup+3162.3 s]
/proc/loadavg: 3.15 3.15 3.41 4/250 238254
/proc/meminfo: memFree=109484676/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=872008 memory=784208 CPUtime=3150.38 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 85083 0 0 0 311902 3136 0 0 20 0 1 0 19201837 892936192 196052 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 218002 196052 1854 992 0 209860 0
Current children cumulated CPU time: 3150.38 s
Current children cumulated vsize: 872008 KiB
Current children cumulated memory: 784208 KiB
[startup+3222.3 s]
/proc/loadavg: 3.18 3.15 3.39 4/250 238264
/proc/meminfo: memFree=109288104/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=872008 memory=784356 CPUtime=3210.2 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 85344 0 0 0 317846 3174 0 0 20 0 1 0 19201837 892936192 196089 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 218002 196089 1854 992 0 209860 0
Current children cumulated CPU time: 3210.2 s
Current children cumulated vsize: 872008 KiB
Current children cumulated memory: 784356 KiB
[startup+3282.3 s]
/proc/loadavg: 3.11 3.13 3.37 4/248 238275
/proc/meminfo: memFree=108969136/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=872780 memory=785068 CPUtime=3270.01 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 85761 0 0 0 323799 3202 0 0 20 0 1 0 19201837 893726720 196267 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 218195 196267 1854 992 0 210053 0
Current children cumulated CPU time: 3270.01 s
Current children cumulated vsize: 872780 KiB
Current children cumulated memory: 785068 KiB
[startup+3342.3 s]
/proc/loadavg: 3.14 3.14 3.36 4/247 238285
/proc/meminfo: memFree=108844388/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=874116 memory=786796 CPUtime=3329.81 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 86200 0 0 0 329762 3219 0 0 20 0 1 0 19201837 895094784 196699 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 218529 196699 1854 992 0 210387 0
Current children cumulated CPU time: 3329.81 s
Current children cumulated vsize: 874116 KiB
Current children cumulated memory: 786796 KiB
[startup+3402.3 s]
/proc/loadavg: 2.79 3.05 3.31 3/240 238327
/proc/meminfo: memFree=116204164/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=874116 memory=786964 CPUtime=3389.62 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 86361 0 0 0 335712 3250 0 0 20 0 1 0 19201837 895094784 196741 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 218529 196741 1854 992 0 210387 0
Current children cumulated CPU time: 3389.62 s
Current children cumulated vsize: 874116 KiB
Current children cumulated memory: 786964 KiB
[startup+3462.3 s]
/proc/loadavg: 2.40 2.89 3.24 3/241 238338
/proc/meminfo: memFree=115993280/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=874116 memory=786964 CPUtime=3449.46 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 86695 0 0 0 341594 3352 0 0 20 0 1 0 19201837 895094784 196741 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 218529 196741 1854 992 0 210387 0
Current children cumulated CPU time: 3449.46 s
Current children cumulated vsize: 874116 KiB
Current children cumulated memory: 786964 KiB
[startup+3522.3 s]
/proc/loadavg: 2.24 2.75 3.17 3/243 238352
/proc/meminfo: memFree=115865468/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=874116 memory=786980 CPUtime=3509.28 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 87072 0 0 0 347508 3420 0 0 20 0 1 0 19201837 895094784 196745 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 218529 196745 1854 992 0 210387 0
Current children cumulated CPU time: 3509.28 s
Current children cumulated vsize: 874116 KiB
Current children cumulated memory: 786980 KiB
[startup+3582.3 s]
/proc/loadavg: 2.13 2.63 3.10 3/244 238365
/proc/meminfo: memFree=115631972/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=876556 memory=788832 CPUtime=3569.11 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 87749 0 0 0 353399 3512 0 0 20 0 1 0 19201837 897593344 197208 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 219139 197208 1854 992 0 210997 0
Current children cumulated CPU time: 3569.11 s
Current children cumulated vsize: 876556 KiB
Current children cumulated memory: 788832 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.3 s]
/proc/loadavg: 2.13 2.58 3.07 3/244 238371
/proc/meminfo: memFree=115590168/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=877916 memory=790316 CPUtime=3600.02 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 88154 0 0 0 356467 3535 0 0 20 0 1 0 19201837 898985984 197579 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 219479 197579 1854 992 0 211337 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 877916 KiB
Current children cumulated memory: 790316 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3615.3 s]
# the end of solver process 236353 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3566.67 s, system=35.3653 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3614.4 s]
/proc/loadavg: 2.13 2.58 3.07 3/244 238371
/proc/meminfo: memFree=115590112/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=877916 memory=790316 CPUtime=3601.12 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 88162 0 0 0 356577 3535 0 0 20 0 1 0 19201837 898985984 197579 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 219479 197579 1854 992 0 211337 0
Current children cumulated CPU time: 3601.12 s
Current children cumulated vsize: 877916 KiB
Current children cumulated memory: 790316 KiB
[startup+3614.8 s]
/proc/loadavg: 2.13 2.58 3.07 3/244 238371
/proc/meminfo: memFree=115590112/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=877916 memory=790316 CPUtime=3601.52 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 88163 0 0 0 356616 3536 0 0 20 0 1 0 19201837 898985984 197579 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 219479 197579 1854 992 0 211337 0
Current children cumulated CPU time: 3601.52 s
Current children cumulated vsize: 877916 KiB
Current children cumulated memory: 790316 KiB
[startup+3615.2 s]
/proc/loadavg: 2.13 2.58 3.07 3/244 238371
/proc/meminfo: memFree=115590444/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=877916 memory=790316 CPUtime=3601.92 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 88166 0 0 0 356656 3536 0 0 20 0 1 0 19201837 898985984 197579 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 219479 197579 1854 992 0 211337 0
Current children cumulated CPU time: 3601.92 s
Current children cumulated vsize: 877916 KiB
Current children cumulated memory: 790316 KiB
[startup+3615.3 s]
/proc/loadavg: 2.13 2.58 3.07 3/244 238371
/proc/meminfo: memFree=115590444/131524600 swapFree=131069412/131071996
[pid=236353] ppid=236350 vsize=877916 memory=790316 CPUtime=3602.02 cores=0,2
/proc/236353/stat : 236353 (roundingsat) R 236350 236353 228025 0 -1 4194304 88168 0 0 0 356666 3536 0 0 20 0 1 0 19201837 898985984 197579 134679101440 4194304 8254037 140723990919344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19542016 140723990926176 140723990926438 140723990926438 140723990933449 0
/proc/236353/statm: 219479 197579 1854 992 0 211337 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 877916 KiB
Current children cumulated memory: 790316 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3615.3
CPU time (s): 3602.03
CPU user time (s): 3566.67
CPU system time (s): 35.3653
CPU usage (%): 99.633
Max. virtual memory (cumulated for all children) (KiB): 877916
Max. memory (cumulated for all children) (KiB): 790316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.67
system time used= 35.3653
maximum resident set size= 790388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88168
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= 106
involuntary context switches= 25385
# summary of solver processes directly reported to runsolver:
# pid: 236353
# total CPU time (s): 3602.03
# total CPU user time (s): 3566.67
# total CPU system time (s): 35.3653
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.15238 second user time and 14.0308 second system time
The end
Begin job on nodeC018 at 2024-07-24 15:12:16 IDJOB=4457165 IDBENCH=158283 IDSOLVER=3085 FILE ID=nodeC018/4457165-1721826736 RUNJOBID= nodeC018-1721817186-228035 SLURM_JOB_ID= 7816872 Free space on /tmp= 890008 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-4457165-1721826736/watcher-4457165-1721826736 -o /tmp/evaluation-result-4457165-1721826736/solver-4457165-1721826736 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721817186-228035 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457165-1721826736 --lp-cut-gomory=0 HOME/instance-4457165-1721826736.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1aa29222329f307e3e004dcb472df849 RANDOM SEED=180061202 nodeC018.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.909 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.43 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 : 3686.680 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.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 : 0xb00002a cpu MHz : 3642.823 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.43 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 : 3600.058 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.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 : 0xb00002a cpu MHz : 3673.921 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.43 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 : 3686.745 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.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 : 0xb00002a cpu MHz : 3606.730 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.43 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.944 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.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 66306596 kB MemAvailable: 116862172 kB Buffers: 249768 kB Cached: 51015528 kB SwapCached: 52 kB Active: 2256412 kB Inactive: 62068976 kB Active(anon): 2000 kB Inactive(anon): 13111632 kB Active(file): 2254412 kB Inactive(file): 48957344 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131069412 kB Dirty: 774136 kB Writeback: 8 kB AnonPages: 13059552 kB Mapped: 112072 kB Shmem: 53772 kB KReclaimable: 367284 kB Slab: 515908 kB SReclaimable: 367284 kB SUnreclaim: 148624 kB KernelStack: 4196 kB PageTables: 35528 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 14154504 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17152 kB HardwareCorrupted: 0 kB AnonHugePages: 3221504 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: 375508 kB DirectMap2M: 43438080 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 890068 MiB End job on nodeC018 at 2024-07-24 16:12:31