| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3602.01 | 3614.43 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K135.opb |
| MD5SUM | a9d7c7f4b9c33e38d48644f753677e90 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 16065 |
| Total number of constraints | 16337 |
| Number of constraints which are clauses | 16202 |
| Number of constraints which are cardinality constraints (but not clauses) | 135 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 135 |
| 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 | 136 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.09/0.15 c #variables 16065 #constraints 16337 51.01/51.20 c #Conflicts: 1000 | #Constraints: 17336 51.01/51.20 c #Conflicts: 2000 | #Constraints: 18336 51.01/51.20 c INPROCESSING 51.01/51.20 c GARBAGE COLLECT 51.01/51.20 c #Conflicts: 3000 | #Constraints: 17547 51.01/51.20 c #Conflicts: 4000 | #Constraints: 18548 51.01/51.20 c INPROCESSING 51.01/51.20 c GARBAGE COLLECT 51.01/51.20 c #Conflicts: 5000 | #Constraints: 18034 51.01/51.20 c #Conflicts: 6000 | #Constraints: 19034 51.01/51.20 c INPROCESSING 51.01/51.20 c GARBAGE COLLECT 51.01/51.20 c #Conflicts: 7000 | #Constraints: 18101 51.01/51.20 c #Conflicts: 8000 | #Constraints: 19101 51.01/51.20 c #Conflicts: 9000 | #Constraints: 20101 51.01/51.20 c INPROCESSING 51.01/51.20 c GARBAGE COLLECT 51.01/51.20 c #Conflicts: 10000 | #Constraints: 18862 51.01/51.20 c #Conflicts: 11000 | #Constraints: 19862 51.01/51.20 c #Conflicts: 12000 | #Constraints: 20862 51.01/51.20 c INPROCESSING 51.01/51.20 c GARBAGE COLLECT 51.01/51.20 c #Conflicts: 13000 | #Constraints: 19341 51.01/51.20 c #Conflicts: 14000 | #Constraints: 20341 51.01/51.20 c #Conflicts: 15000 | #Constraints: 21341 51.01/51.20 c INPROCESSING 51.01/51.20 c GARBAGE COLLECT 51.01/51.20 c rational objective 135 71.94/72.23 c #Conflicts: 16000 | #Constraints: 19615 71.94/72.23 c #Conflicts: 17000 | #Constraints: 20615 71.94/72.23 c #Conflicts: 18000 | #Constraints: 21615 71.94/72.23 c #Conflicts: 19000 | #Constraints: 22615 71.94/72.23 c #Conflicts: 20000 | #Constraints: 23615 71.94/72.23 c #Conflicts: 21000 | #Constraints: 24615 71.94/72.23 c #Conflicts: 22000 | #Constraints: 25615 71.94/72.23 c #Conflicts: 23000 | #Constraints: 26615 71.94/72.23 c #Conflicts: 24000 | #Constraints: 27615 71.94/72.23 c INPROCESSING 71.94/72.23 c GARBAGE COLLECT 71.94/72.23 c rational objective 135 117.29/117.79 c #Conflicts: 25000 | #Constraints: 22616 117.29/117.79 c #Conflicts: 26000 | #Constraints: 23616 117.29/117.79 c #Conflicts: 27000 | #Constraints: 24616 117.29/117.79 c #Conflicts: 28000 | #Constraints: 25617 117.29/117.79 c INPROCESSING 117.29/117.79 c GARBAGE COLLECT 117.29/117.79 c #Conflicts: 29000 | #Constraints: 21462 117.29/117.79 c #Conflicts: 30000 | #Constraints: 22462 117.29/117.79 c #Conflicts: 31000 | #Constraints: 23463 117.29/117.79 c #Conflicts: 32000 | #Constraints: 24463 117.29/117.79 c #Conflicts: 33000 | #Constraints: 25463 117.29/117.79 c INPROCESSING 117.29/117.79 c GARBAGE COLLECT 117.29/117.79 c rational objective 135 465.25/466.83 c #Conflicts: 34000 | #Constraints: 21636 465.25/466.83 c #Conflicts: 35000 | #Constraints: 22636 465.25/466.83 c #Conflicts: 36000 | #Constraints: 23636 465.25/466.83 c #Conflicts: 37000 | #Constraints: 24636 465.25/466.83 c #Conflicts: 38000 | #Constraints: 25636 465.25/466.83 c #Conflicts: 39000 | #Constraints: 26636 465.25/466.83 c #Conflicts: 40000 | #Constraints: 27636 465.25/466.83 c #Conflicts: 41000 | #Constraints: 28636 465.25/466.83 c #Conflicts: 42000 | #Constraints: 29636 465.25/466.83 c #Conflicts: 43000 | #Constraints: 30636 465.25/466.83 c #Conflicts: 44000 | #Constraints: 31636 465.25/466.83 c #Conflicts: 45000 | #Constraints: 32636 465.25/466.83 c #Conflicts: 46000 | #Constraints: 33636 465.25/466.83 c #Conflicts: 47000 | #Constraints: 34636 465.25/466.83 c INPROCESSING 465.25/466.83 c GARBAGE COLLECT 465.25/466.83 c #Conflicts: 48000 | #Constraints: 26487 465.25/466.83 c #Conflicts: 49000 | #Constraints: 27487 465.25/466.83 c #Conflicts: 50000 | #Constraints: 28488 465.25/466.83 c #Conflicts: 51000 | #Constraints: 29488 465.25/466.83 c #Conflicts: 52000 | #Constraints: 30488 465.25/466.83 c INPROCESSING 465.25/466.83 c GARBAGE COLLECT 465.25/466.83 c #Conflicts: 53000 | #Constraints: 23994 465.25/466.83 c #Conflicts: 54000 | #Constraints: 24994 465.25/466.83 c #Conflicts: 55000 | #Constraints: 25994 465.25/466.83 c #Conflicts: 56000 | #Constraints: 26994 465.25/466.83 c #Conflicts: 57000 | #Constraints: 27994 465.25/466.83 c #Conflicts: 58000 | #Constraints: 28994 465.25/466.83 c INPROCESSING 465.25/466.83 c GARBAGE COLLECT 465.25/466.83 c #Conflicts: 59000 | #Constraints: 23231 465.25/466.83 c #Conflicts: 60000 | #Constraints: 24231 465.25/466.83 c #Conflicts: 61000 | #Constraints: 25231 465.25/466.83 c #Conflicts: 62000 | #Constraints: 26231 465.25/466.83 c #Conflicts: 63000 | #Constraints: 27231 465.25/466.83 c #Conflicts: 64000 | #Constraints: 28231 465.25/466.83 c #Conflicts: 65000 | #Constraints: 29231 465.25/466.83 c #Conflicts: 66000 | #Constraints: 30231 465.25/466.83 c #Conflicts: 67000 | #Constraints: 31231 465.25/466.83 c #Conflicts: 68000 | #Constraints: 32231 465.25/466.83 c #Conflicts: 69000 | #Constraints: 33232 465.25/466.83 c #Conflicts: 70000 | #Constraints: 34232 465.25/466.83 c #Conflicts: 71000 | #Constraints: 35232 465.25/466.83 c #Conflicts: 72000 | #Constraints: 36232 465.25/466.83 c #Conflicts: 73000 | #Constraints: 37232 465.25/466.83 c #Conflicts: 74000 | #Constraints: 38232 465.25/466.83 c #Conflicts: 75000 | #Constraints: 39232 465.25/466.83 c #Conflicts: 76000 | #Constraints: 40232 465.25/466.83 c INPROCESSING 465.25/466.83 c GARBAGE COLLECT 465.25/466.83 c #Conflicts: 77000 | #Constraints: 29012 465.25/466.83 c #Conflicts: 78000 | #Constraints: 30012 465.25/466.83 c #Conflicts: 79000 | #Constraints: 31012 465.25/466.83 c #Conflicts: 80000 | #Constraints: 32012 465.25/466.83 c #Conflicts: 81000 | #Constraints: 33012 465.25/466.83 c #Conflicts: 82000 | #Constraints: 34012 465.25/466.83 c #Conflicts: 83000 | #Constraints: 35012 465.25/466.83 c #Conflicts: 84000 | #Constraints: 36012 465.25/466.83 c INPROCESSING 465.25/466.83 c GARBAGE COLLECT 465.25/466.83 c #Conflicts: 85000 | #Constraints: 27210 465.25/466.83 c #Conflicts: 86000 | #Constraints: 28210 465.25/466.83 c #Conflicts: 87000 | #Constraints: 29210 465.25/466.83 c #Conflicts: 88000 | #Constraints: 30210 465.25/466.83 c #Conflicts: 89000 | #Constraints: 31210 465.25/466.83 c #Conflicts: 90000 | #Constraints: 32210 465.25/466.83 c #Conflicts: 91000 | #Constraints: 33210 465.25/466.83 c INPROCESSING 465.25/466.83 c GARBAGE COLLECT 465.25/466.83 c #Conflicts: 92000 | #Constraints: 25558 465.25/466.83 c #Conflicts: 93000 | #Constraints: 26559 465.25/466.83 c #Conflicts: 94000 | #Constraints: 27559 465.25/466.83 c #Conflicts: 95000 | #Constraints: 28559 465.25/466.83 c #Conflicts: 96000 | #Constraints: 29559 465.25/466.83 c #Conflicts: 97000 | #Constraints: 30559 465.25/466.83 c #Conflicts: 98000 | #Constraints: 31559 465.25/466.83 c #Conflicts: 99000 | #Constraints: 32559 465.25/466.83 c #Conflicts: 100000 | #Constraints: 33559 465.25/466.83 c #Conflicts: 101000 | #Constraints: 34559 465.25/466.83 c #Conflicts: 102000 | #Constraints: 35559 465.25/466.83 c #Conflicts: 103000 | #Constraints: 36559 465.25/466.83 c #Conflicts: 104000 | #Constraints: 37559 465.25/466.83 c #Conflicts: 105000 | #Constraints: 38559 465.25/466.83 c #Conflicts: 106000 | #Constraints: 39559 465.25/466.83 c #Conflicts: 107000 | #Constraints: 40559 465.25/466.83 c #Conflicts: 108000 | #Constraints: 41559 653.95/656.13 c #Conflicts: 109000 | #Constraints: 42559 653.95/656.13 c #Conflicts: 110000 | #Constraints: 43559 653.95/656.13 c #Conflicts: 111000 | #Constraints: 44559 653.95/656.13 c #Conflicts: 112000 | #Constraints: 45559 653.95/656.13 c #Conflicts: 113000 | #Constraints: 46559 653.95/656.13 c INPROCESSING 653.95/656.13 c GARBAGE COLLECT 653.95/656.13 c #Conflicts: 114000 | #Constraints: 32326 653.95/656.13 c #Conflicts: 115000 | #Constraints: 33326 653.95/656.13 c #Conflicts: 116000 | #Constraints: 34326 653.95/656.13 c #Conflicts: 117000 | #Constraints: 35326 653.95/656.13 c #Conflicts: 118000 | #Constraints: 36326 653.95/656.13 c #Conflicts: 119000 | #Constraints: 37326 653.95/656.13 c #Conflicts: 120000 | #Constraints: 38326 653.95/656.13 c #Conflicts: 121000 | #Constraints: 39326 653.95/656.13 c #Conflicts: 122000 | #Constraints: 40326 653.95/656.13 c INPROCESSING 653.95/656.13 c GARBAGE COLLECT 653.95/656.13 c #Conflicts: 123000 | #Constraints: 29339 653.95/656.13 c #Conflicts: 124000 | #Constraints: 30339 653.95/656.13 c #Conflicts: 125000 | #Constraints: 31339 653.95/656.13 c #Conflicts: 126000 | #Constraints: 32340 653.95/656.13 c #Conflicts: 127000 | #Constraints: 33340 653.95/656.13 c #Conflicts: 128000 | #Constraints: 34340 653.95/656.13 c #Conflicts: 129000 | #Constraints: 35340 653.95/656.13 c #Conflicts: 130000 | #Constraints: 36340 653.95/656.13 c #Conflicts: 131000 | #Constraints: 37340 653.95/656.13 c INPROCESSING 653.95/656.13 c GARBAGE COLLECT 653.95/656.13 c #Conflicts: 132000 | #Constraints: 27914 653.95/656.13 c #Conflicts: 133000 | #Constraints: 28914 653.95/656.13 c #Conflicts: 134000 | #Constraints: 29914 653.95/656.13 c #Conflicts: 135000 | #Constraints: 30914 653.95/656.13 c #Conflicts: 136000 | #Constraints: 31914 653.95/656.13 c #Conflicts: 137000 | #Constraints: 32914 653.95/656.13 c #Conflicts: 138000 | #Constraints: 33914 653.95/656.13 c #Conflicts: 139000 | #Constraints: 34914 653.95/656.13 c #Conflicts: 140000 | #Constraints: 35914 653.95/656.13 c #Conflicts: 141000 | #Constraints: 36915 653.95/656.13 c #Conflicts: 142000 | #Constraints: 37915 653.95/656.13 c #Conflicts: 143000 | #Constraints: 38915 653.95/656.13 c #Conflicts: 144000 | #Constraints: 39915 653.95/656.13 c #Conflicts: 145000 | #Constraints: 40915 653.95/656.13 c #Conflicts: 146000 | #Constraints: 41915 653.95/656.13 c #Conflicts: 147000 | #Constraints: 42915 653.95/656.13 c #Conflicts: 148000 | #Constraints: 43915 653.95/656.13 c #Conflicts: 149000 | #Constraints: 44915 653.95/656.13 c #Conflicts: 150000 | #Constraints: 45915 653.95/656.13 c #Conflicts: 151000 | #Constraints: 46915 653.95/656.13 c #Conflicts: 152000 | #Constraints: 47915 653.95/656.13 c #Conflicts: 153000 | #Constraints: 48915 653.95/656.13 c #Conflicts: 154000 | #Constraints: 49915 653.95/656.13 c #Conflicts: 155000 | #Constraints: 50916 653.95/656.13 c #Conflicts: 156000 | #Constraints: 51916 653.95/656.13 c #Conflicts: 157000 | #Constraints: 52916 653.95/656.13 c INPROCESSING 653.95/656.13 c GARBAGE COLLECT 653.95/656.13 c rational objective 135 781.71/784.31 c #Conflicts: 158000 | #Constraints: 35576 781.71/784.31 c #Conflicts: 159000 | #Constraints: 36576 781.71/784.31 c #Conflicts: 160000 | #Constraints: 37576 781.71/784.31 c #Conflicts: 161000 | #Constraints: 38576 781.71/784.31 c #Conflicts: 162000 | #Constraints: 39576 781.71/784.31 c #Conflicts: 163000 | #Constraints: 40576 781.71/784.31 c #Conflicts: 164000 | #Constraints: 41576 781.71/784.31 c #Conflicts: 165000 | #Constraints: 42576 781.71/784.31 c #Conflicts: 166000 | #Constraints: 43576 781.71/784.31 c #Conflicts: 167000 | #Constraints: 44576 781.71/784.31 c #Conflicts: 168000 | #Constraints: 45576 781.71/784.31 c INPROCESSING 781.71/784.31 c GARBAGE COLLECT 781.71/784.31 c #Conflicts: 169000 | #Constraints: 32293 781.71/784.31 c #Conflicts: 170000 | #Constraints: 33293 781.71/784.31 c #Conflicts: 171000 | #Constraints: 34293 781.71/784.31 c #Conflicts: 172000 | #Constraints: 35293 781.71/784.31 c #Conflicts: 173000 | #Constraints: 36293 781.71/784.31 c #Conflicts: 174000 | #Constraints: 37293 781.71/784.31 c #Conflicts: 175000 | #Constraints: 38293 781.71/784.31 c #Conflicts: 176000 | #Constraints: 39293 781.71/784.31 c #Conflicts: 177000 | #Constraints: 40293 781.71/784.31 c #Conflicts: 178000 | #Constraints: 41293 781.71/784.31 c INPROCESSING 781.71/784.31 c GARBAGE COLLECT 781.71/784.31 c #Conflicts: 179000 | #Constraints: 29784 781.71/784.31 c #Conflicts: 180000 | #Constraints: 30784 781.71/784.31 c #Conflicts: 181000 | #Constraints: 31784 781.71/784.31 c #Conflicts: 182000 | #Constraints: 32784 781.71/784.31 c #Conflicts: 183000 | #Constraints: 33784 781.71/784.31 c #Conflicts: 184000 | #Constraints: 34784 781.71/784.31 c #Conflicts: 185000 | #Constraints: 35785 781.71/784.31 c #Conflicts: 186000 | #Constraints: 36785 781.71/784.31 c #Conflicts: 187000 | #Constraints: 37785 781.71/784.31 c #Conflicts: 188000 | #Constraints: 38785 781.71/784.31 c #Conflicts: 189000 | #Constraints: 39785 781.71/784.31 c #Conflicts: 190000 | #Constraints: 40785 781.71/784.31 c #Conflicts: 191000 | #Constraints: 41785 781.71/784.31 c #Conflicts: 192000 | #Constraints: 42785 781.71/784.31 c #Conflicts: 193000 | #Constraints: 43785 781.71/784.31 c #Conflicts: 194000 | #Constraints: 44785 781.71/784.31 c #Conflicts: 195000 | #Constraints: 45785 781.71/784.31 c #Conflicts: 196000 | #Constraints: 46785 781.71/784.31 c #Conflicts: 197000 | #Constraints: 47785 781.71/784.31 c #Conflicts: 198000 | #Constraints: 48786 781.71/784.31 c #Conflicts: 199000 | #Constraints: 49786 781.71/784.31 c #Conflicts: 200000 | #Constraints: 50786 781.71/784.31 c #Conflicts: 201000 | #Constraints: 51786 781.71/784.31 c #Conflicts: 202000 | #Constraints: 52786 781.71/784.31 c #Conflicts: 203000 | #Constraints: 53786 781.71/784.31 c #Conflicts: 204000 | #Constraints: 54786 781.71/784.31 c #Conflicts: 205000 | #Constraints: 55786 781.71/784.31 c #Conflicts: 206000 | #Constraints: 56786 781.71/784.31 c #Conflicts: 207000 | #Constraints: 57786 781.71/784.31 c #Conflicts: 208000 | #Constraints: 58786 781.71/784.31 c #Conflicts: 209000 | #Constraints: 59786 781.71/784.31 c INPROCESSING 781.71/784.31 c GARBAGE COLLECT 781.71/784.31 c rational objective 135 880.19/883.13 c #Conflicts: 210000 | #Constraints: 39354 880.19/883.13 c #Conflicts: 211000 | #Constraints: 40354 880.19/883.13 c #Conflicts: 212000 | #Constraints: 41354 880.19/883.13 c #Conflicts: 213000 | #Constraints: 42355 880.19/883.13 c #Conflicts: 214000 | #Constraints: 43355 880.19/883.13 c #Conflicts: 215000 | #Constraints: 44355 880.19/883.13 c #Conflicts: 216000 | #Constraints: 45355 880.19/883.13 c #Conflicts: 217000 | #Constraints: 46355 880.19/883.13 c #Conflicts: 218000 | #Constraints: 47355 880.19/883.13 c #Conflicts: 219000 | #Constraints: 48355 880.19/883.13 c #Conflicts: 220000 | #Constraints: 49355 880.19/883.13 c INPROCESSING 880.19/883.13 c GARBAGE COLLECT 880.19/883.13 c rational objective 135 974.86/978.16 c #Conflicts: 221000 | #Constraints: 33882 974.86/978.16 c #Conflicts: 222000 | #Constraints: 34882 974.86/978.16 c #Conflicts: 223000 | #Constraints: 35882 974.86/978.16 c #Conflicts: 224000 | #Constraints: 36882 974.86/978.16 c #Conflicts: 225000 | #Constraints: 37882 974.86/978.16 c #Conflicts: 226000 | #Constraints: 38882 974.86/978.16 c #Conflicts: 227000 | #Constraints: 39882 974.86/978.16 c #Conflicts: 228000 | #Constraints: 40882 974.86/978.16 c #Conflicts: 229000 | #Constraints: 41882 974.86/978.16 c #Conflicts: 230000 | #Constraints: 42883 974.86/978.16 c #Conflicts: 231000 | #Constraints: 43884 974.86/978.16 c #Conflicts: 232000 | #Constraints: 44884 974.86/978.16 c INPROCESSING 974.86/978.16 c GARBAGE COLLECT 974.86/978.16 c #Conflicts: 233000 | #Constraints: 31569 974.86/978.16 c #Conflicts: 234000 | #Constraints: 32569 974.86/978.16 c #Conflicts: 235000 | #Constraints: 33569 974.86/978.16 c #Conflicts: 236000 | #Constraints: 34569 974.86/978.16 c #Conflicts: 237000 | #Constraints: 35569 974.86/978.16 c #Conflicts: 238000 | #Constraints: 36569 974.86/978.16 c #Conflicts: 239000 | #Constraints: 37569 974.86/978.16 c #Conflicts: 240000 | #Constraints: 38569 974.86/978.16 c #Conflicts: 241000 | #Constraints: 39569 974.86/978.16 c #Conflicts: 242000 | #Constraints: 40569 974.86/978.16 c #Conflicts: 243000 | #Constraints: 41569 974.86/978.16 c #Conflicts: 244000 | #Constraints: 42569 974.86/978.16 c #Conflicts: 245000 | #Constraints: 43569 974.86/978.16 c #Conflicts: 246000 | #Constraints: 44569 974.86/978.16 c #Conflicts: 247000 | #Constraints: 45569 974.86/978.16 c #Conflicts: 248000 | #Constraints: 46569 974.86/978.16 c #Conflicts: 249000 | #Constraints: 47569 974.86/978.16 c #Conflicts: 250000 | #Constraints: 48569 974.86/978.16 c #Conflicts: 251000 | #Constraints: 49569 974.86/978.16 c #Conflicts: 252000 | #Constraints: 50569 974.86/978.16 c #Conflicts: 253000 | #Constraints: 51569 974.86/978.16 c #Conflicts: 254000 | #Constraints: 52569 974.86/978.16 c #Conflicts: 255000 | #Constraints: 53569 974.86/978.16 c #Conflicts: 256000 | #Constraints: 54569 974.86/978.16 c #Conflicts: 257000 | #Constraints: 55569 974.86/978.16 c #Conflicts: 258000 | #Constraints: 56569 974.86/978.16 c #Conflicts: 259000 | #Constraints: 57569 974.86/978.16 c #Conflicts: 260000 | #Constraints: 58569 974.86/978.16 c #Conflicts: 261000 | #Constraints: 59569 974.86/978.16 c #Conflicts: 262000 | #Constraints: 60569 974.86/978.16 c #Conflicts: 263000 | #Constraints: 61569 974.86/978.16 c #Conflicts: 264000 | #Constraints: 62569 974.86/978.16 c #Conflicts: 265000 | #Constraints: 63569 974.86/978.16 c #Conflicts: 266000 | #Constraints: 64569 974.86/978.16 c #Conflicts: 267000 | #Constraints: 65569 974.86/978.16 c INPROCESSING 974.86/978.16 c GARBAGE COLLECT 974.86/978.16 c rational objective 135 1101.44/1105.14 c #Conflicts: 268000 | #Constraints: 42138 1101.44/1105.14 c #Conflicts: 269000 | #Constraints: 43138 1101.44/1105.14 c #Conflicts: 270000 | #Constraints: 44138 1101.44/1105.14 c #Conflicts: 271000 | #Constraints: 45138 1101.44/1105.14 c #Conflicts: 272000 | #Constraints: 46139 1101.44/1105.14 c #Conflicts: 273000 | #Constraints: 47139 1101.44/1105.14 c #Conflicts: 274000 | #Constraints: 48139 1101.44/1105.14 c #Conflicts: 275000 | #Constraints: 49139 1101.44/1105.14 c #Conflicts: 276000 | #Constraints: 50140 1101.44/1105.14 c #Conflicts: 277000 | #Constraints: 51141 1101.44/1105.14 c #Conflicts: 278000 | #Constraints: 52141 1101.44/1105.14 c #Conflicts: 279000 | #Constraints: 53141 1101.44/1105.14 c #Conflicts: 280000 | #Constraints: 54142 1101.44/1105.14 c INPROCESSING 1101.44/1105.14 c GARBAGE COLLECT 1101.44/1105.14 c rational objective 135 1345.43/1350.01 c #Conflicts: 281000 | #Constraints: 36168 1345.43/1350.01 c #Conflicts: 282000 | #Constraints: 37168 1345.43/1350.01 c #Conflicts: 283000 | #Constraints: 38169 1345.43/1350.01 c #Conflicts: 284000 | #Constraints: 39169 1345.43/1350.01 c #Conflicts: 285000 | #Constraints: 40169 1345.43/1350.01 c #Conflicts: 286000 | #Constraints: 41169 1345.43/1350.01 c #Conflicts: 287000 | #Constraints: 42169 1345.43/1350.01 c #Conflicts: 288000 | #Constraints: 43169 1345.43/1350.01 c #Conflicts: 289000 | #Constraints: 44169 1345.43/1350.01 c #Conflicts: 290000 | #Constraints: 45169 1345.43/1350.01 c #Conflicts: 291000 | #Constraints: 46169 1345.43/1350.01 c #Conflicts: 292000 | #Constraints: 47169 1345.43/1350.01 c #Conflicts: 293000 | #Constraints: 48169 1345.43/1350.01 c #Conflicts: 294000 | #Constraints: 49169 1345.43/1350.01 c INPROCESSING 1345.43/1350.01 c GARBAGE COLLECT 1345.43/1350.01 c #Conflicts: 295000 | #Constraints: 34522 1345.43/1350.01 c #Conflicts: 296000 | #Constraints: 35522 1345.43/1350.01 c #Conflicts: 297000 | #Constraints: 36522 1345.43/1350.01 c #Conflicts: 298000 | #Constraints: 37522 1345.43/1350.01 c #Conflicts: 299000 | #Constraints: 38522 1345.43/1350.01 c #Conflicts: 300000 | #Constraints: 39522 1345.43/1350.01 c #Conflicts: 301000 | #Constraints: 40522 1345.43/1350.01 c #Conflicts: 302000 | #Constraints: 41523 1345.43/1350.01 c #Conflicts: 303000 | #Constraints: 42523 1345.43/1350.01 c #Conflicts: 304000 | #Constraints: 43523 1345.43/1350.01 c #Conflicts: 305000 | #Constraints: 44523 1345.43/1350.01 c #Conflicts: 306000 | #Constraints: 45523 1345.43/1350.01 c #Conflicts: 307000 | #Constraints: 46523 1345.43/1350.01 c #Conflicts: 308000 | #Constraints: 47523 1345.43/1350.01 c #Conflicts: 309000 | #Constraints: 48523 1345.43/1350.01 c #Conflicts: 310000 | #Constraints: 49523 1345.43/1350.01 c #Conflicts: 311000 | #Constraints: 50523 1345.43/1350.01 c #Conflicts: 312000 | #Constraints: 51523 1345.43/1350.01 c #Conflicts: 313000 | #Constraints: 52523 1345.43/1350.01 c #Conflicts: 314000 | #Constraints: 53523 1345.43/1350.01 c #Conflicts: 315000 | #Constraints: 54523 1345.43/1350.01 c #Conflicts: 316000 | #Constraints: 55523 1345.43/1350.01 c #Conflicts: 317000 | #Constraints: 56523 1345.43/1350.01 c #Conflicts: 318000 | #Constraints: 57524 1345.43/1350.01 c #Conflicts: 319000 | #Constraints: 58524 1345.43/1350.01 c #Conflicts: 320000 | #Constraints: 59524 1345.43/1350.01 c #Conflicts: 321000 | #Constraints: 60524 1345.43/1350.01 c #Conflicts: 322000 | #Constraints: 61524 1345.43/1350.01 c #Conflicts: 323000 | #Constraints: 62524 1345.43/1350.01 c #Conflicts: 324000 | #Constraints: 63524 1345.43/1350.01 c #Conflicts: 325000 | #Constraints: 64524 1345.43/1350.01 c #Conflicts: 326000 | #Constraints: 65525 1345.43/1350.01 c #Conflicts: 327000 | #Constraints: 66525 1345.43/1350.01 c #Conflicts: 328000 | #Constraints: 67525 1345.43/1350.01 c #Conflicts: 329000 | #Constraints: 68525 1345.43/1350.01 c #Conflicts: 330000 | #Constraints: 69525 1345.43/1350.01 c #Conflicts: 331000 | #Constraints: 70525 1345.43/1350.01 c #Conflicts: 332000 | #Constraints: 71525 1345.43/1350.01 c #Conflicts: 333000 | #Constraints: 72525 1345.43/1350.01 c INPROCESSING 1345.43/1350.01 c GARBAGE COLLECT 1345.43/1350.01 c rational objective 135 1561.81/1567.06 c #Conflicts: 334000 | #Constraints: 45599 1561.81/1567.06 c #Conflicts: 335000 | #Constraints: 46599 1561.81/1567.06 c #Conflicts: 336000 | #Constraints: 47599 1561.81/1567.06 c #Conflicts: 337000 | #Constraints: 48599 1561.81/1567.06 c #Conflicts: 338000 | #Constraints: 49599 1561.81/1567.06 c #Conflicts: 339000 | #Constraints: 50599 1561.81/1567.06 c #Conflicts: 340000 | #Constraints: 51599 1561.81/1567.06 c #Conflicts: 341000 | #Constraints: 52599 1561.81/1567.06 c #Conflicts: 342000 | #Constraints: 53599 1561.81/1567.06 c #Conflicts: 343000 | #Constraints: 54600 1561.81/1567.06 c #Conflicts: 344000 | #Constraints: 55600 1561.81/1567.06 c #Conflicts: 345000 | #Constraints: 56600 1561.81/1567.06 c #Conflicts: 346000 | #Constraints: 57600 1561.81/1567.06 c #Conflicts: 347000 | #Constraints: 58600 1561.81/1567.06 c #Conflicts: 348000 | #Constraints: 59600 1561.81/1567.06 c INPROCESSING 1561.81/1567.06 c GARBAGE COLLECT 1561.81/1567.06 c #Conflicts: 349000 | #Constraints: 39336 1561.81/1567.06 c #Conflicts: 350000 | #Constraints: 40336 1561.81/1567.06 c #Conflicts: 351000 | #Constraints: 41336 1561.81/1567.06 c #Conflicts: 352000 | #Constraints: 42336 1561.81/1567.06 c #Conflicts: 353000 | #Constraints: 43336 1561.81/1567.06 c #Conflicts: 354000 | #Constraints: 44336 1561.81/1567.06 c #Conflicts: 355000 | #Constraints: 45336 1561.81/1567.06 c #Conflicts: 356000 | #Constraints: 46336 1561.81/1567.06 c #Conflicts: 357000 | #Constraints: 47336 1561.81/1567.06 c #Conflicts: 358000 | #Constraints: 48336 1561.81/1567.06 c #Conflicts: 359000 | #Constraints: 49336 1561.81/1567.06 c #Conflicts: 360000 | #Constraints: 50337 1561.81/1567.06 c #Conflicts: 361000 | #Constraints: 51337 1561.81/1567.06 c #Conflicts: 362000 | #Constraints: 52337 1561.81/1567.06 c #Conflicts: 363000 | #Constraints: 53337 1561.81/1567.06 c INPROCESSING 1561.81/1567.06 c GARBAGE COLLECT 1561.81/1567.06 c #Conflicts: 364000 | #Constraints: 37410 1561.81/1567.06 c #Conflicts: 365000 | #Constraints: 38410 1561.81/1567.06 c #Conflicts: 366000 | #Constraints: 39410 1561.81/1567.06 c #Conflicts: 367000 | #Constraints: 40410 1561.81/1567.06 c #Conflicts: 368000 | #Constraints: 41410 1561.81/1567.06 c #Conflicts: 369000 | #Constraints: 42410 1561.81/1567.06 c #Conflicts: 370000 | #Constraints: 43410 1561.81/1567.06 c #Conflicts: 371000 | #Constraints: 44410 1561.81/1567.06 c #Conflicts: 372000 | #Constraints: 45410 1561.81/1567.06 c #Conflicts: 373000 | #Constraints: 46410 1561.81/1567.06 c #Conflicts: 374000 | #Constraints: 47410 1561.81/1567.06 c #Conflicts: 375000 | #Constraints: 48410 1561.81/1567.06 c #Conflicts: 376000 | #Constraints: 49410 1561.81/1567.06 c #Conflicts: 377000 | #Constraints: 50411 1561.81/1567.06 c #Conflicts: 378000 | #Constraints: 51411 1561.81/1567.06 c #Conflicts: 379000 | #Constraints: 52411 1561.81/1567.06 c #Conflicts: 380000 | #Constraints: 53411 1561.81/1567.06 c #Conflicts: 381000 | #Constraints: 54411 1561.81/1567.06 c #Conflicts: 382000 | #Constraints: 55411 1561.81/1567.06 c #Conflicts: 383000 | #Constraints: 56411 1561.81/1567.06 c #Conflicts: 384000 | #Constraints: 57411 1561.81/1567.06 c #Conflicts: 385000 | #Constraints: 58411 1561.81/1567.06 c #Conflicts: 386000 | #Constraints: 59411 1561.81/1567.06 c #Conflicts: 387000 | #Constraints: 60411 1561.81/1567.06 c #Conflicts: 388000 | #Constraints: 61411 1561.81/1567.06 c #Conflicts: 389000 | #Constraints: 62411 1561.81/1567.06 c #Conflicts: 390000 | #Constraints: 63411 1561.81/1567.06 c #Conflicts: 391000 | #Constraints: 64411 1561.81/1567.06 c #Conflicts: 392000 | #Constraints: 65411 1561.81/1567.06 c #Conflicts: 393000 | #Constraints: 66411 1561.81/1567.06 c #Conflicts: 394000 | #Constraints: 67411 1561.81/1567.06 c #Conflicts: 395000 | #Constraints: 68411 1561.81/1567.06 c #Conflicts: 396000 | #Constraints: 69411 1561.81/1567.06 c #Conflicts: 397000 | #Constraints: 70411 1561.81/1567.06 c #Conflicts: 398000 | #Constraints: 71411 1561.81/1567.06 c #Conflicts: 399000 | #Constraints: 72411 1561.81/1567.06 c #Conflicts: 400000 | #Constraints: 73412 1561.81/1567.06 c #Conflicts: 401000 | #Constraints: 74412 1561.81/1567.06 c #Conflicts: 402000 | #Constraints: 75412 1561.81/1567.06 c #Conflicts: 403000 | #Constraints: 76412 1561.81/1567.06 c #Conflicts: 404000 | #Constraints: 77412 1561.81/1567.06 c #Conflicts: 405000 | #Constraints: 78412 1561.81/1567.06 c #Conflicts: 406000 | #Constraints: 79412 1561.81/1567.06 c INPROCESSING 1561.81/1567.06 c GARBAGE COLLECT 1561.81/1567.06 c rational objective 135 1620.99/1626.48 c #Conflicts: 407000 | #Constraints: 49339 1620.99/1626.48 c #Conflicts: 408000 | #Constraints: 50339 1620.99/1626.48 c #Conflicts: 409000 | #Constraints: 51339 1620.99/1626.48 c #Conflicts: 410000 | #Constraints: 52339 1620.99/1626.48 c #Conflicts: 411000 | #Constraints: 53339 1620.99/1626.48 c #Conflicts: 412000 | #Constraints: 54339 1620.99/1626.48 c #Conflicts: 413000 | #Constraints: 55339 1620.99/1626.48 c #Conflicts: 414000 | #Constraints: 56339 1620.99/1626.48 c #Conflicts: 415000 | #Constraints: 57340 1620.99/1626.48 c #Conflicts: 416000 | #Constraints: 58342 1620.99/1626.48 c #Conflicts: 417000 | #Constraints: 59344 1620.99/1626.48 c #Conflicts: 418000 | #Constraints: 60345 1620.99/1626.48 c #Conflicts: 419000 | #Constraints: 61345 1620.99/1626.48 c #Conflicts: 420000 | #Constraints: 62345 1620.99/1626.48 c #Conflicts: 421000 | #Constraints: 63345 1620.99/1626.48 c #Conflicts: 422000 | #Constraints: 64345 1620.99/1626.48 c INPROCESSING 1620.99/1626.48 c GARBAGE COLLECT 1620.99/1626.48 c rational objective 135 1871.24/1877.57 c #Conflicts: 423000 | #Constraints: 41727 1871.24/1877.57 c #Conflicts: 424000 | #Constraints: 42727 1871.24/1877.57 c #Conflicts: 425000 | #Constraints: 43727 1871.24/1877.57 c #Conflicts: 426000 | #Constraints: 44728 1871.24/1877.57 c #Conflicts: 427000 | #Constraints: 45728 1871.24/1877.57 c #Conflicts: 428000 | #Constraints: 46728 1871.24/1877.57 c #Conflicts: 429000 | #Constraints: 47728 1871.24/1877.57 c #Conflicts: 430000 | #Constraints: 48728 1871.24/1877.57 c #Conflicts: 431000 | #Constraints: 49728 1871.24/1877.57 c #Conflicts: 432000 | #Constraints: 50728 1871.24/1877.57 c #Conflicts: 433000 | #Constraints: 51728 1871.24/1877.57 c #Conflicts: 434000 | #Constraints: 52728 1871.24/1877.57 c #Conflicts: 435000 | #Constraints: 53728 1871.24/1877.57 c #Conflicts: 436000 | #Constraints: 54728 1871.24/1877.57 c #Conflicts: 437000 | #Constraints: 55728 1871.24/1877.57 c #Conflicts: 438000 | #Constraints: 56728 1871.24/1877.57 c INPROCESSING 1871.24/1877.57 c GARBAGE COLLECT 1871.24/1877.57 c #Conflicts: 439000 | #Constraints: 39129 1871.24/1877.57 c #Conflicts: 440000 | #Constraints: 40129 1871.24/1877.57 c #Conflicts: 441000 | #Constraints: 41130 1871.24/1877.57 c #Conflicts: 442000 | #Constraints: 42130 1871.24/1877.57 c #Conflicts: 443000 | #Constraints: 43130 1871.24/1877.57 c #Conflicts: 444000 | #Constraints: 44130 1871.24/1877.57 c #Conflicts: 445000 | #Constraints: 45130 1871.24/1877.57 c #Conflicts: 446000 | #Constraints: 46130 1871.24/1877.57 c #Conflicts: 447000 | #Constraints: 47130 1871.24/1877.57 c #Conflicts: 448000 | #Constraints: 48130 1871.24/1877.57 c #Conflicts: 449000 | #Constraints: 49130 1871.24/1877.57 c #Conflicts: 450000 | #Constraints: 50130 1871.24/1877.57 c #Conflicts: 451000 | #Constraints: 51130 1871.24/1877.57 c #Conflicts: 452000 | #Constraints: 52130 1871.24/1877.57 c #Conflicts: 453000 | #Constraints: 53130 1871.24/1877.57 c #Conflicts: 454000 | #Constraints: 54130 1871.24/1877.57 c #Conflicts: 455000 | #Constraints: 55130 1871.24/1877.57 c #Conflicts: 456000 | #Constraints: 56130 1871.24/1877.57 c #Conflicts: 457000 | #Constraints: 57130 1871.24/1877.57 c #Conflicts: 458000 | #Constraints: 58130 1871.24/1877.57 c #Conflicts: 459000 | #Constraints: 59131 1871.24/1877.57 c #Conflicts: 460000 | #Constraints: 60131 1871.24/1877.57 c #Conflicts: 461000 | #Constraints: 61131 1871.24/1877.57 c #Conflicts: 462000 | #Constraints: 62131 1871.24/1877.57 c #Conflicts: 463000 | #Constraints: 63131 1871.24/1877.57 c #Conflicts: 464000 | #Constraints: 64131 1871.24/1877.57 c #Conflicts: 465000 | #Constraints: 65131 1871.24/1877.57 c #Conflicts: 466000 | #Constraints: 66131 1871.24/1877.57 c #Conflicts: 467000 | #Constraints: 67131 1871.24/1877.57 c #Conflicts: 468000 | #Constraints: 68131 1871.24/1877.57 c #Conflicts: 469000 | #Constraints: 69131 1871.24/1877.57 c #Conflicts: 470000 | #Constraints: 70131 1871.24/1877.57 c #Conflicts: 471000 | #Constraints: 71131 1871.24/1877.57 c #Conflicts: 472000 | #Constraints: 72132 1871.24/1877.57 c #Conflicts: 473000 | #Constraints: 73132 1871.24/1877.57 c #Conflicts: 474000 | #Constraints: 74132 1871.24/1877.57 c #Conflicts: 475000 | #Constraints: 75132 1871.24/1877.57 c #Conflicts: 476000 | #Constraints: 76132 1871.24/1877.57 c #Conflicts: 477000 | #Constraints: 77132 1871.24/1877.57 c #Conflicts: 478000 | #Constraints: 78132 1871.24/1877.57 c #Conflicts: 479000 | #Constraints: 79132 1871.24/1877.57 c #Conflicts: 480000 | #Constraints: 80132 1871.24/1877.57 c #Conflicts: 481000 | #Constraints: 81132 1871.24/1877.57 c #Conflicts: 482000 | #Constraints: 82132 1871.24/1877.57 c #Conflicts: 483000 | #Constraints: 83132 1871.24/1877.57 c #Conflicts: 484000 | #Constraints: 84132 1871.24/1877.57 c #Conflicts: 485000 | #Constraints: 85132 1871.24/1877.57 c #Conflicts: 486000 | #Constraints: 86132 1871.24/1877.57 c INPROCESSING 1871.24/1877.57 c GARBAGE COLLECT 1871.24/1877.57 c rational objective 135 1946.08/1952.60 c #Conflicts: 487000 | #Constraints: 52647 1946.08/1952.60 c #Conflicts: 488000 | #Constraints: 53647 1946.08/1952.60 c #Conflicts: 489000 | #Constraints: 54647 1946.08/1952.60 c #Conflicts: 490000 | #Constraints: 55647 1946.08/1952.60 c #Conflicts: 491000 | #Constraints: 56648 1946.08/1952.60 c #Conflicts: 492000 | #Constraints: 57648 1946.08/1952.60 c #Conflicts: 493000 | #Constraints: 58648 1946.08/1952.60 c #Conflicts: 494000 | #Constraints: 59648 1946.08/1952.60 c #Conflicts: 495000 | #Constraints: 60649 1946.08/1952.60 c #Conflicts: 496000 | #Constraints: 61649 1946.08/1952.60 c #Conflicts: 497000 | #Constraints: 62650 1946.08/1952.60 c #Conflicts: 498000 | #Constraints: 63650 1946.08/1952.60 c #Conflicts: 499000 | #Constraints: 64650 1946.08/1952.60 c #Conflicts: 500000 | #Constraints: 65650 1946.08/1952.60 c #Conflicts: 501000 | #Constraints: 66650 1946.08/1952.60 c #Conflicts: 502000 | #Constraints: 67650 1946.08/1952.60 c #Conflicts: 503000 | #Constraints: 68650 1946.08/1952.60 c #Conflicts: 504000 | #Constraints: 69650 1946.08/1952.60 c INPROCESSING 1946.08/1952.60 c GARBAGE COLLECT 1946.08/1952.60 c rational objective 135 2060.79/2067.75 c #Conflicts: 505000 | #Constraints: 44648 2060.79/2067.75 c #Conflicts: 506000 | #Constraints: 45648 2060.79/2067.75 c #Conflicts: 507000 | #Constraints: 46648 2060.79/2067.75 c #Conflicts: 508000 | #Constraints: 47648 2060.79/2067.75 c #Conflicts: 509000 | #Constraints: 48648 2060.79/2067.75 c #Conflicts: 510000 | #Constraints: 49648 2060.79/2067.75 c #Conflicts: 511000 | #Constraints: 50648 2060.79/2067.75 c #Conflicts: 512000 | #Constraints: 51648 2060.79/2067.75 c #Conflicts: 513000 | #Constraints: 52648 2060.79/2067.75 c #Conflicts: 514000 | #Constraints: 53648 2060.79/2067.75 c #Conflicts: 515000 | #Constraints: 54648 2060.79/2067.75 c #Conflicts: 516000 | #Constraints: 55648 2060.79/2067.75 c #Conflicts: 517000 | #Constraints: 56648 2060.79/2067.75 c #Conflicts: 518000 | #Constraints: 57648 2060.79/2067.75 c #Conflicts: 519000 | #Constraints: 58648 2060.79/2067.75 c #Conflicts: 520000 | #Constraints: 59649 2060.79/2067.75 c #Conflicts: 521000 | #Constraints: 60649 2060.79/2067.75 c #Conflicts: 522000 | #Constraints: 61649 2060.79/2067.75 c INPROCESSING 2060.79/2067.75 c GARBAGE COLLECT 2060.79/2067.75 c rational objective 135 2348.21/2356.14 c #Conflicts: 523000 | #Constraints: 42018 2348.21/2356.14 c #Conflicts: 524000 | #Constraints: 43018 2348.21/2356.14 c #Conflicts: 525000 | #Constraints: 44018 2348.21/2356.14 c #Conflicts: 526000 | #Constraints: 45018 2348.21/2356.14 c #Conflicts: 527000 | #Constraints: 46018 2348.21/2356.14 c #Conflicts: 528000 | #Constraints: 47018 2348.21/2356.14 c #Conflicts: 529000 | #Constraints: 48018 2348.21/2356.14 c #Conflicts: 530000 | #Constraints: 49018 2348.21/2356.14 c #Conflicts: 531000 | #Constraints: 50018 2348.21/2356.14 c #Conflicts: 532000 | #Constraints: 51018 2348.21/2356.14 c #Conflicts: 533000 | #Constraints: 52018 2348.21/2356.14 c #Conflicts: 534000 | #Constraints: 53019 2348.21/2356.14 c #Conflicts: 535000 | #Constraints: 54019 2348.21/2356.14 c #Conflicts: 536000 | #Constraints: 55019 2348.21/2356.14 c #Conflicts: 537000 | #Constraints: 56019 2348.21/2356.14 c #Conflicts: 538000 | #Constraints: 57019 2348.21/2356.14 c #Conflicts: 539000 | #Constraints: 58019 2348.21/2356.14 c #Conflicts: 540000 | #Constraints: 59019 2348.21/2356.14 c #Conflicts: 541000 | #Constraints: 60019 2348.21/2356.14 c #Conflicts: 542000 | #Constraints: 61019 2348.21/2356.14 c #Conflicts: 543000 | #Constraints: 62019 2348.21/2356.14 c #Conflicts: 544000 | #Constraints: 63019 2348.21/2356.14 c #Conflicts: 545000 | #Constraints: 64019 2348.21/2356.14 c #Conflicts: 546000 | #Constraints: 65019 2348.21/2356.14 c #Conflicts: 547000 | #Constraints: 66019 2348.21/2356.14 c #Conflicts: 548000 | #Constraints: 67019 2348.21/2356.14 c #Conflicts: 549000 | #Constraints: 68019 2348.21/2356.14 c #Conflicts: 550000 | #Constraints: 69020 2348.21/2356.14 c #Conflicts: 551000 | #Constraints: 70020 2348.21/2356.14 c #Conflicts: 552000 | #Constraints: 71020 2348.21/2356.14 c #Conflicts: 553000 | #Constraints: 72020 2348.21/2356.14 c #Conflicts: 554000 | #Constraints: 73020 2348.21/2356.14 c #Conflicts: 555000 | #Constraints: 74020 2348.21/2356.14 c #Conflicts: 556000 | #Constraints: 75020 2348.21/2356.14 c #Conflicts: 557000 | #Constraints: 76020 2348.21/2356.14 c #Conflicts: 558000 | #Constraints: 77020 2348.21/2356.14 c #Conflicts: 559000 | #Constraints: 78020 2348.21/2356.14 c #Conflicts: 560000 | #Constraints: 79020 2348.21/2356.14 c #Conflicts: 561000 | #Constraints: 80020 2348.21/2356.14 c #Conflicts: 562000 | #Constraints: 81020 2348.21/2356.14 c #Conflicts: 563000 | #Constraints: 82020 2348.21/2356.14 c #Conflicts: 564000 | #Constraints: 83020 2348.21/2356.14 c #Conflicts: 565000 | #Constraints: 84021 2348.21/2356.14 c #Conflicts: 566000 | #Constraints: 85021 2348.21/2356.14 c #Conflicts: 567000 | #Constraints: 86021 2348.21/2356.14 c #Conflicts: 568000 | #Constraints: 87021 2348.21/2356.14 c #Conflicts: 569000 | #Constraints: 88021 2348.21/2356.14 c #Conflicts: 570000 | #Constraints: 89021 2348.21/2356.14 c #Conflicts: 571000 | #Constraints: 90021 2348.21/2356.14 c #Conflicts: 572000 | #Constraints: 91021 2348.21/2356.14 c #Conflicts: 573000 | #Constraints: 92021 2348.21/2356.14 c INPROCESSING 2348.21/2356.14 c GARBAGE COLLECT 2348.21/2356.14 c rational objective 135 2564.85/2573.54 c #Conflicts: 574000 | #Constraints: 55690 2564.85/2573.54 c #Conflicts: 575000 | #Constraints: 56690 2564.85/2573.54 c #Conflicts: 576000 | #Constraints: 57690 2564.85/2573.54 c #Conflicts: 577000 | #Constraints: 58690 2564.85/2573.54 c #Conflicts: 578000 | #Constraints: 59691 2564.85/2573.54 c #Conflicts: 579000 | #Constraints: 60691 2564.85/2573.54 c #Conflicts: 580000 | #Constraints: 61691 2564.85/2573.54 c #Conflicts: 581000 | #Constraints: 62692 2564.85/2573.54 c #Conflicts: 582000 | #Constraints: 63692 2564.85/2573.54 c #Conflicts: 583000 | #Constraints: 64692 2564.85/2573.54 c #Conflicts: 584000 | #Constraints: 65692 2564.85/2573.54 c #Conflicts: 585000 | #Constraints: 66693 2564.85/2573.54 c #Conflicts: 586000 | #Constraints: 67693 2564.85/2573.54 c #Conflicts: 587000 | #Constraints: 68693 2564.85/2573.54 c #Conflicts: 588000 | #Constraints: 69693 2564.85/2573.54 c #Conflicts: 589000 | #Constraints: 70693 2564.85/2573.54 c #Conflicts: 590000 | #Constraints: 71693 2564.85/2573.54 c #Conflicts: 591000 | #Constraints: 72693 2564.85/2573.54 c #Conflicts: 592000 | #Constraints: 73693 2564.85/2573.54 c INPROCESSING 2564.85/2573.54 c GARBAGE COLLECT 2564.85/2573.54 c #Conflicts: 593000 | #Constraints: 46210 2564.85/2573.54 c #Conflicts: 594000 | #Constraints: 47210 2564.85/2573.54 c #Conflicts: 595000 | #Constraints: 48210 2564.85/2573.54 c #Conflicts: 596000 | #Constraints: 49210 2564.85/2573.54 c #Conflicts: 597000 | #Constraints: 50210 2564.85/2573.54 c #Conflicts: 598000 | #Constraints: 51210 2564.85/2573.54 c #Conflicts: 599000 | #Constraints: 52211 2564.85/2573.54 c #Conflicts: 600000 | #Constraints: 53211 2564.85/2573.54 c #Conflicts: 601000 | #Constraints: 54211 2564.85/2573.54 c #Conflicts: 602000 | #Constraints: 55211 2564.85/2573.54 c #Conflicts: 603000 | #Constraints: 56211 2564.85/2573.54 c #Conflicts: 604000 | #Constraints: 57211 2564.85/2573.54 c #Conflicts: 605000 | #Constraints: 58211 2564.85/2573.54 c #Conflicts: 606000 | #Constraints: 59211 2564.85/2573.54 c #Conflicts: 607000 | #Constraints: 60211 2564.85/2573.54 c #Conflicts: 608000 | #Constraints: 61211 2564.85/2573.54 c #Conflicts: 609000 | #Constraints: 62211 2564.85/2573.54 c #Conflicts: 610000 | #Constraints: 63211 2564.85/2573.54 c #Conflicts: 611000 | #Constraints: 64211 2564.85/2573.54 c #Conflicts: 612000 | #Constraints: 65211 2564.85/2573.54 c INPROCESSING 2564.85/2573.54 c GARBAGE COLLECT 2564.85/2573.54 c #Conflicts: 613000 | #Constraints: 44745 2564.85/2573.54 c #Conflicts: 614000 | #Constraints: 45745 2564.85/2573.54 c #Conflicts: 615000 | #Constraints: 46745 2564.85/2573.54 c #Conflicts: 616000 | #Constraints: 47745 2564.85/2573.54 c #Conflicts: 617000 | #Constraints: 48745 2564.85/2573.54 c #Conflicts: 618000 | #Constraints: 49745 2564.85/2573.54 c #Conflicts: 619000 | #Constraints: 50745 2564.85/2573.54 c #Conflicts: 620000 | #Constraints: 51745 2564.85/2573.54 c #Conflicts: 621000 | #Constraints: 52745 2564.85/2573.54 c #Conflicts: 622000 | #Constraints: 53745 2564.85/2573.54 c #Conflicts: 623000 | #Constraints: 54745 2564.85/2573.54 c #Conflicts: 624000 | #Constraints: 55745 2564.85/2573.54 c #Conflicts: 625000 | #Constraints: 56745 2564.85/2573.54 c #Conflicts: 626000 | #Constraints: 57745 2564.85/2573.54 c #Conflicts: 627000 | #Constraints: 58745 2564.85/2573.54 c #Conflicts: 628000 | #Constraints: 59746 2564.85/2573.54 c #Conflicts: 629000 | #Constraints: 60746 2564.85/2573.54 c #Conflicts: 630000 | #Constraints: 61746 2564.85/2573.54 c #Conflicts: 631000 | #Constraints: 62746 2564.85/2573.54 c #Conflicts: 632000 | #Constraints: 63746 2564.85/2573.54 c #Conflicts: 633000 | #Constraints: 64746 2564.85/2573.54 c #Conflicts: 634000 | #Constraints: 65746 2564.85/2573.54 c #Conflicts: 635000 | #Constraints: 66747 2564.85/2573.54 c #Conflicts: 636000 | #Constraints: 67747 2564.85/2573.54 c #Conflicts: 637000 | #Constraints: 68747 2564.85/2573.54 c #Conflicts: 638000 | #Constraints: 69747 2564.85/2573.54 c #Conflicts: 639000 | #Constraints: 70747 2564.85/2573.54 c #Conflicts: 640000 | #Constraints: 71747 2564.85/2573.54 c #Conflicts: 641000 | #Constraints: 72747 2564.85/2573.54 c #Conflicts: 642000 | #Constraints: 73747 2564.85/2573.54 c #Conflicts: 643000 | #Constraints: 74747 2564.85/2573.54 c #Conflicts: 644000 | #Constraints: 75747 2564.85/2573.54 c #Conflicts: 645000 | #Constraints: 76747 2564.85/2573.54 c #Conflicts: 646000 | #Constraints: 77747 2564.85/2573.54 c #Conflicts: 647000 | #Constraints: 78747 2564.85/2573.54 c #Conflicts: 648000 | #Constraints: 79747 2564.85/2573.54 c #Conflicts: 649000 | #Constraints: 80748 2564.85/2573.54 c #Conflicts: 650000 | #Constraints: 81748 2564.85/2573.54 c #Conflicts: 651000 | #Constraints: 82748 2731.18/2740.47 c #Conflicts: 652000 | #Constraints: 83748 2731.18/2740.47 c #Conflicts: 653000 | #Constraints: 84748 2731.18/2740.47 c #Conflicts: 654000 | #Constraints: 85748 2731.18/2740.47 c #Conflicts: 655000 | #Constraints: 86748 2731.18/2740.47 c #Conflicts: 656000 | #Constraints: 87748 2731.18/2740.47 c #Conflicts: 657000 | #Constraints: 88748 2731.18/2740.47 c #Conflicts: 658000 | #Constraints: 89748 2731.18/2740.47 c #Conflicts: 659000 | #Constraints: 90748 2731.18/2740.47 c #Conflicts: 660000 | #Constraints: 91748 2731.18/2740.47 c #Conflicts: 661000 | #Constraints: 92748 2731.18/2740.47 c #Conflicts: 662000 | #Constraints: 93748 2731.18/2740.47 c #Conflicts: 663000 | #Constraints: 94749 2731.18/2740.47 c #Conflicts: 664000 | #Constraints: 95749 2731.18/2740.47 c #Conflicts: 665000 | #Constraints: 96749 2731.18/2740.47 c #Conflicts: 666000 | #Constraints: 97749 2731.18/2740.47 c #Conflicts: 667000 | #Constraints: 98749 2731.18/2740.47 c #Conflicts: 668000 | #Constraints: 99749 2731.18/2740.47 c INPROCESSING 2731.18/2740.47 c GARBAGE COLLECT 2731.18/2740.47 c rational objective 135 2876.09/2885.80 c #Conflicts: 669000 | #Constraints: 59729 2876.09/2885.80 c #Conflicts: 670000 | #Constraints: 60729 2876.09/2885.80 c #Conflicts: 671000 | #Constraints: 61729 2876.09/2885.80 c #Conflicts: 672000 | #Constraints: 62729 2876.09/2885.80 c #Conflicts: 673000 | #Constraints: 63729 2876.09/2885.80 c #Conflicts: 674000 | #Constraints: 64729 2876.09/2885.80 c #Conflicts: 675000 | #Constraints: 65729 2876.09/2885.80 c #Conflicts: 676000 | #Constraints: 66729 2876.09/2885.80 c #Conflicts: 677000 | #Constraints: 67729 2876.09/2885.80 c #Conflicts: 678000 | #Constraints: 68730 2876.09/2885.80 c #Conflicts: 679000 | #Constraints: 69730 2876.09/2885.80 c #Conflicts: 680000 | #Constraints: 70730 2876.09/2885.80 c #Conflicts: 681000 | #Constraints: 71730 2876.09/2885.80 c #Conflicts: 682000 | #Constraints: 72730 2876.09/2885.80 c #Conflicts: 683000 | #Constraints: 73730 2876.09/2885.80 c #Conflicts: 684000 | #Constraints: 74730 2876.09/2885.80 c #Conflicts: 685000 | #Constraints: 75730 2876.09/2885.80 c #Conflicts: 686000 | #Constraints: 76731 2876.09/2885.80 c #Conflicts: 687000 | #Constraints: 77731 2876.09/2885.80 c #Conflicts: 688000 | #Constraints: 78731 2876.09/2885.80 c INPROCESSING 2876.09/2885.80 c GARBAGE COLLECT 2876.09/2885.80 c #Conflicts: 689000 | #Constraints: 48993 2876.09/2885.80 c #Conflicts: 690000 | #Constraints: 49994 2876.09/2885.80 c #Conflicts: 691000 | #Constraints: 50994 2876.09/2885.80 c #Conflicts: 692000 | #Constraints: 51994 2876.09/2885.80 c #Conflicts: 693000 | #Constraints: 52994 2876.09/2885.80 c #Conflicts: 694000 | #Constraints: 53994 2876.09/2885.80 c #Conflicts: 695000 | #Constraints: 54994 2876.09/2885.80 c #Conflicts: 696000 | #Constraints: 55994 2876.09/2885.80 c #Conflicts: 697000 | #Constraints: 56994 2876.09/2885.80 c #Conflicts: 698000 | #Constraints: 57994 2876.09/2885.80 c #Conflicts: 699000 | #Constraints: 58994 2876.09/2885.80 c #Conflicts: 700000 | #Constraints: 59994 2876.09/2885.80 c #Conflicts: 701000 | #Constraints: 60994 2876.09/2885.80 c #Conflicts: 702000 | #Constraints: 61994 2876.09/2885.80 c #Conflicts: 703000 | #Constraints: 62994 2876.09/2885.80 c #Conflicts: 704000 | #Constraints: 63994 2876.09/2885.80 c #Conflicts: 705000 | #Constraints: 64994 2876.09/2885.80 c #Conflicts: 706000 | #Constraints: 65994 2876.09/2885.80 c #Conflicts: 707000 | #Constraints: 66995 2876.09/2885.80 c #Conflicts: 708000 | #Constraints: 67995 2876.09/2885.80 c #Conflicts: 709000 | #Constraints: 68995 2876.09/2885.80 c INPROCESSING 2876.09/2885.80 c GARBAGE COLLECT 2876.09/2885.80 c rational objective 135 3059.49/3069.90 c #Conflicts: 710000 | #Constraints: 47422 3059.49/3069.90 c #Conflicts: 711000 | #Constraints: 48422 3059.49/3069.90 c #Conflicts: 712000 | #Constraints: 49422 3059.49/3069.90 c #Conflicts: 713000 | #Constraints: 50422 3059.49/3069.90 c #Conflicts: 714000 | #Constraints: 51422 3059.49/3069.90 c #Conflicts: 715000 | #Constraints: 52422 3059.49/3069.90 c #Conflicts: 716000 | #Constraints: 53422 3059.49/3069.90 c #Conflicts: 717000 | #Constraints: 54422 3059.49/3069.90 c #Conflicts: 718000 | #Constraints: 55422 3059.49/3069.90 c #Conflicts: 719000 | #Constraints: 56422 3059.49/3069.90 c #Conflicts: 720000 | #Constraints: 57422 3059.49/3069.90 c #Conflicts: 721000 | #Constraints: 58422 3059.49/3069.90 c #Conflicts: 722000 | #Constraints: 59422 3059.49/3069.90 c #Conflicts: 723000 | #Constraints: 60422 3059.49/3069.90 c #Conflicts: 724000 | #Constraints: 61422 3059.49/3069.90 c #Conflicts: 725000 | #Constraints: 62423 3059.49/3069.90 c #Conflicts: 726000 | #Constraints: 63423 3059.49/3069.90 c #Conflicts: 727000 | #Constraints: 64423 3059.49/3069.90 c #Conflicts: 728000 | #Constraints: 65423 3059.49/3069.90 c #Conflicts: 729000 | #Constraints: 66423 3059.49/3069.90 c #Conflicts: 730000 | #Constraints: 67424 3059.49/3069.90 c #Conflicts: 731000 | #Constraints: 68424 3059.49/3069.90 c #Conflicts: 732000 | #Constraints: 69425 3059.49/3069.90 c #Conflicts: 733000 | #Constraints: 70425 3059.49/3069.90 c #Conflicts: 734000 | #Constraints: 71425 3059.49/3069.90 c #Conflicts: 735000 | #Constraints: 72425 3059.49/3069.90 c #Conflicts: 736000 | #Constraints: 73425 3059.49/3069.90 c #Conflicts: 737000 | #Constraints: 74425 3059.49/3069.90 c #Conflicts: 738000 | #Constraints: 75426 3059.49/3069.90 c #Conflicts: 739000 | #Constraints: 76426 3059.49/3069.90 c #Conflicts: 740000 | #Constraints: 77426 3059.49/3069.90 c #Conflicts: 741000 | #Constraints: 78426 3059.49/3069.90 c #Conflicts: 742000 | #Constraints: 79426 3059.49/3069.90 c #Conflicts: 743000 | #Constraints: 80426 3059.49/3069.90 c #Conflicts: 744000 | #Constraints: 81426 3059.49/3069.90 c #Conflicts: 745000 | #Constraints: 82426 3059.49/3069.90 c #Conflicts: 746000 | #Constraints: 83426 3059.49/3069.90 c #Conflicts: 747000 | #Constraints: 84426 3059.49/3069.90 c #Conflicts: 748000 | #Constraints: 85426 3059.49/3069.90 c #Conflicts: 749000 | #Constraints: 86426 3059.49/3069.90 c #Conflicts: 750000 | #Constraints: 87426 3059.49/3069.90 c #Conflicts: 751000 | #Constraints: 88426 3059.49/3069.90 c #Conflicts: 752000 | #Constraints: 89426 3059.49/3069.90 c #Conflicts: 753000 | #Constraints: 90426 3059.49/3069.90 c #Conflicts: 754000 | #Constraints: 91426 3059.49/3069.90 c #Conflicts: 755000 | #Constraints: 92426 3059.49/3069.90 c #Conflicts: 756000 | #Constraints: 93426 3059.49/3069.90 c #Conflicts: 757000 | #Constraints: 94426 3059.49/3069.90 c #Conflicts: 758000 | #Constraints: 95426 3059.49/3069.90 c #Conflicts: 759000 | #Constraints: 96427 3059.49/3069.90 c #Conflicts: 760000 | #Constraints: 97427 3059.49/3069.90 c #Conflicts: 761000 | #Constraints: 98428 3059.49/3069.90 c #Conflicts: 762000 | #Constraints: 99428 3059.49/3069.90 c #Conflicts: 763000 | #Constraints: 100428 3059.49/3069.90 c #Conflicts: 764000 | #Constraints: 101428 3059.49/3069.90 c #Conflicts: 765000 | #Constraints: 102428 3059.49/3069.90 c #Conflicts: 766000 | #Constraints: 103428 3059.49/3069.90 c #Conflicts: 767000 | #Constraints: 104428 3059.49/3069.90 c #Conflicts: 768000 | #Constraints: 105428 3059.49/3069.90 c #Conflicts: 769000 | #Constraints: 106428 3059.49/3069.90 c INPROCESSING 3059.49/3069.90 c GARBAGE COLLECT 3059.49/3069.90 c rational objective 135 3232.59/3243.60 c #Conflicts: 770000 | #Constraints: 62767 3232.59/3243.60 c #Conflicts: 771000 | #Constraints: 63767 3232.59/3243.60 c #Conflicts: 772000 | #Constraints: 64767 3232.59/3243.60 c #Conflicts: 773000 | #Constraints: 65767 3232.59/3243.60 c #Conflicts: 774000 | #Constraints: 66767 3232.59/3243.60 c #Conflicts: 775000 | #Constraints: 67767 3232.59/3243.60 c #Conflicts: 776000 | #Constraints: 68767 3232.59/3243.60 c #Conflicts: 777000 | #Constraints: 69767 3232.59/3243.60 c #Conflicts: 778000 | #Constraints: 70767 3232.59/3243.60 c #Conflicts: 779000 | #Constraints: 71767 3232.59/3243.60 c #Conflicts: 780000 | #Constraints: 72767 3232.59/3243.60 c #Conflicts: 781000 | #Constraints: 73767 3232.59/3243.60 c #Conflicts: 782000 | #Constraints: 74767 3232.59/3243.60 c #Conflicts: 783000 | #Constraints: 75767 3232.59/3243.60 c #Conflicts: 784000 | #Constraints: 76767 3232.59/3243.60 c #Conflicts: 785000 | #Constraints: 77767 3232.59/3243.60 c #Conflicts: 786000 | #Constraints: 78767 3232.59/3243.60 c #Conflicts: 787000 | #Constraints: 79767 3232.59/3243.60 c #Conflicts: 788000 | #Constraints: 80767 3232.59/3243.60 c #Conflicts: 789000 | #Constraints: 81768 3232.59/3243.60 c #Conflicts: 790000 | #Constraints: 82768 3232.59/3243.60 c #Conflicts: 791000 | #Constraints: 83768 3232.59/3243.60 c #Conflicts: 792000 | #Constraints: 84768 3232.59/3243.60 c INPROCESSING 3232.59/3243.60 c GARBAGE COLLECT 3232.59/3243.60 c rational objective 135 3500.67/3512.79 c #Conflicts: 793000 | #Constraints: 52352 3500.67/3512.79 c #Conflicts: 794000 | #Constraints: 53352 3500.67/3512.79 c #Conflicts: 795000 | #Constraints: 54352 3500.67/3512.79 c #Conflicts: 796000 | #Constraints: 55352 3500.67/3512.79 c #Conflicts: 797000 | #Constraints: 56352 3500.67/3512.79 c #Conflicts: 798000 | #Constraints: 57352 3500.67/3512.79 c #Conflicts: 799000 | #Constraints: 58352 3500.67/3512.79 c #Conflicts: 800000 | #Constraints: 59352 3500.67/3512.79 c #Conflicts: 801000 | #Constraints: 60352 3500.67/3512.79 c #Conflicts: 802000 | #Constraints: 61352 3500.67/3512.79 c #Conflicts: 803000 | #Constraints: 62352 3500.67/3512.79 c #Conflicts: 804000 | #Constraints: 63353 3500.67/3512.79 c #Conflicts: 805000 | #Constraints: 64353 3500.67/3512.79 c #Conflicts: 806000 | #Constraints: 65353 3500.67/3512.79 c #Conflicts: 807000 | #Constraints: 66353 3500.67/3512.79 c #Conflicts: 808000 | #Constraints: 67354 3500.67/3512.79 c #Conflicts: 809000 | #Constraints: 68354 3500.67/3512.79 c #Conflicts: 810000 | #Constraints: 69354 3500.67/3512.79 c #Conflicts: 811000 | #Constraints: 70354 3500.67/3512.79 c #Conflicts: 812000 | #Constraints: 71354 3500.67/3512.79 c #Conflicts: 813000 | #Constraints: 72354 3500.67/3512.79 c #Conflicts: 814000 | #Constraints: 73354 3500.67/3512.79 c INPROCESSING 3500.67/3512.79 c GARBAGE COLLECT 3500.67/3512.79 c #Conflicts: 815000 | #Constraints: 50387 3500.67/3512.79 c #Conflicts: 816000 | #Constraints: 51387 3500.67/3512.79 c #Conflicts: 817000 | #Constraints: 52388 3500.67/3512.79 c #Conflicts: 818000 | #Constraints: 53388 3500.67/3512.79 c #Conflicts: 819000 | #Constraints: 54388 3500.67/3512.79 c #Conflicts: 820000 | #Constraints: 55388 3500.67/3512.79 c #Conflicts: 821000 | #Constraints: 56388 3500.67/3512.79 c #Conflicts: 822000 | #Constraints: 57388 3500.67/3512.79 c #Conflicts: 823000 | #Constraints: 58388 3500.67/3512.79 c #Conflicts: 824000 | #Constraints: 59388 3500.67/3512.79 c #Conflicts: 825000 | #Constraints: 60388 3500.67/3512.79 c #Conflicts: 826000 | #Constraints: 61389 3500.67/3512.79 c #Conflicts: 827000 | #Constraints: 62389 3500.67/3512.79 c #Conflicts: 828000 | #Constraints: 63389 3500.67/3512.79 c #Conflicts: 829000 | #Constraints: 64389 3500.67/3512.79 c #Conflicts: 830000 | #Constraints: 65390 3500.67/3512.79 c #Conflicts: 831000 | #Constraints: 66390 3500.67/3512.79 c #Conflicts: 832000 | #Constraints: 67390 3500.67/3512.79 c #Conflicts: 833000 | #Constraints: 68390 3500.67/3512.79 c #Conflicts: 834000 | #Constraints: 69390 3500.67/3512.79 c #Conflicts: 835000 | #Constraints: 70390 3500.67/3512.79 c #Conflicts: 836000 | #Constraints: 71390 3500.67/3512.79 c #Conflicts: 837000 | #Constraints: 72390 3500.67/3512.79 c #Conflicts: 838000 | #Constraints: 73390 3500.67/3512.79 c #Conflicts: 839000 | #Constraints: 74390 3500.67/3512.79 c #Conflicts: 840000 | #Constraints: 75390 3500.67/3512.79 c #Conflicts: 841000 | #Constraints: 76390 3500.67/3512.79 c #Conflicts: 842000 | #Constraints: 77390 3500.67/3512.79 c #Conflicts: 843000 | #Constraints: 78390 3500.67/3512.79 c #Conflicts: 844000 | #Constraints: 79390 3500.67/3512.79 c #Conflicts: 845000 | #Constraints: 80390 3500.67/3512.79 c #Conflicts: 846000 | #Constraints: 81390 3500.67/3512.79 c #Conflicts: 847000 | #Constraints: 82390 3500.67/3512.79 c #Conflicts: 848000 | #Constraints: 83390 3500.67/3512.79 c #Conflicts: 849000 | #Constraints: 84391 3500.67/3512.79 c #Conflicts: 850000 | #Constraints: 85391 3500.67/3512.79 c #Conflicts: 851000 | #Constraints: 86391 3500.67/3512.79 c #Conflicts: 852000 | #Constraints: 87391 3500.67/3512.79 c #Conflicts: 853000 | #Constraints: 88391 3500.67/3512.79 c #Conflicts: 854000 | #Constraints: 89391 3500.67/3512.79 c #Conflicts: 855000 | #Constraints: 90391 3500.67/3512.79 c #Conflicts: 856000 | #Constraints: 91391 3500.67/3512.79 c #Conflicts: 857000 | #Constraints: 92391 3500.67/3512.79 c #Conflicts: 858000 | #Constraints: 93391 3500.67/3512.79 c #Conflicts: 859000 | #Constraints: 94391 3500.67/3512.79 c #Conflicts: 860000 | #Constraints: 95391 3500.67/3512.79 c #Conflicts: 861000 | #Constraints: 96391 3500.67/3512.79 c #Conflicts: 862000 | #Constraints: 97391 3500.67/3512.79 c #Conflicts: 863000 | #Constraints: 98391 3500.67/3512.79 c #Conflicts: 864000 | #Constraints: 99391 3500.67/3512.79 c #Conflicts: 865000 | #Constraints: 100391 3500.67/3512.79 c #Conflicts: 866000 | #Constraints: 101391 3500.67/3512.79 c #Conflicts: 867000 | #Constraints: 102391 3500.67/3512.79 c #Conflicts: 868000 | #Constraints: 103391 3500.67/3512.79 c #Conflicts: 869000 | #Constraints: 104391 3500.67/3512.79 c #Conflicts: 870000 | #Constraints: 105391 3500.67/3512.79 c #Conflicts: 871000 | #Constraints: 106391 3535.84/3548.10 c #Conflicts: 872000 | #Constraints: 107391 3535.84/3548.10 c #Conflicts: 873000 | #Constraints: 108391 3535.84/3548.10 c #Conflicts: 874000 | #Constraints: 109391 3535.84/3548.10 c #Conflicts: 875000 | #Constraints: 110391 3535.84/3548.10 c #Conflicts: 876000 | #Constraints: 111391 3535.84/3548.10 c #Conflicts: 877000 | #Constraints: 112391 3535.84/3548.10 c #Conflicts: 878000 | #Constraints: 113391 3535.84/3548.10 c INPROCESSING 3535.84/3548.10 c GARBAGE COLLECT 3535.84/3548.10 c rational objective 135 3588.03/3600.45 c #Conflicts: 879000 | #Constraints: 66348 3588.03/3600.45 c #Conflicts: 880000 | #Constraints: 67348 3588.03/3600.45 c #Conflicts: 881000 | #Constraints: 68348 3588.03/3600.45 c #Conflicts: 882000 | #Constraints: 69348 3588.03/3600.45 c #Conflicts: 883000 | #Constraints: 70348 3588.03/3600.45 c #Conflicts: 884000 | #Constraints: 71348 3588.03/3600.45 c #Conflicts: 885000 | #Constraints: 72348 3588.03/3600.45 c #Conflicts: 886000 | #Constraints: 73348 3588.03/3600.45 c #Conflicts: 887000 | #Constraints: 74348 3588.03/3600.45 c #Conflicts: 888000 | #Constraints: 75348 3588.03/3600.45 c #Conflicts: 889000 | #Constraints: 76348 3588.03/3600.45 c #Conflicts: 890000 | #Constraints: 77348 3588.03/3600.45 c #Conflicts: 891000 | #Constraints: 78348 3588.03/3600.45 c #Conflicts: 892000 | #Constraints: 79348 3588.03/3600.45 c #Conflicts: 893000 | #Constraints: 80348 3588.03/3600.45 c #Conflicts: 894000 | #Constraints: 81348 3588.03/3600.45 c #Conflicts: 895000 | #Constraints: 82348 3588.03/3600.45 c #Conflicts: 896000 | #Constraints: 83348 3588.03/3600.45 c #Conflicts: 897000 | #Constraints: 84348 3588.03/3600.45 c #Conflicts: 898000 | #Constraints: 85348 3588.03/3600.45 c #Conflicts: 899000 | #Constraints: 86348 3588.03/3600.45 c #Conflicts: 900000 | #Constraints: 87348 3588.03/3600.45 c #Conflicts: 901000 | #Constraints: 88348 3588.03/3600.45 c #Conflicts: 902000 | #Constraints: 89348 3588.03/3600.45 c INPROCESSING 3588.03/3600.45 c GARBAGE COLLECT 3588.03/3600.45 c rational objective 135
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 (41048 MiB free)
memory of node 1: 64510 MiB (57503 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463062-1722345120/watcher-4463062-1722345120 -o /tmp/evaluation-result-4463062-1722345120/solver-4463062-1722345120 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722340763-6448 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463062-1722345120 --lp-cut-gomory=0 HOME/instance-4463062-1722345120.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=9330, runsolver pid=9327
[startup+0.100551 s]*
/proc/loadavg: 4.45 4.41 4.28 5/261 9331
/proc/meminfo: memFree=100906060/131655788 swapFree=131071996/131071996
[pid=9330] ppid=9327 vsize=40744 memory=9592 CPUtime=0.09 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 1541 0 0 0 7 2 0 0 20 0 1 0 882747 41721856 2398 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 10186 2398 1365 992 0 2044 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40744 KiB
Current children cumulated memory: 9592 KiB
[startup+0.214042 s]*
/proc/loadavg: 4.45 4.41 4.28 5/261 9331
/proc/meminfo: memFree=100879128/131655788 swapFree=131071996/131071996
[pid=9330] ppid=9327 vsize=63252 memory=32472 CPUtime=0.2 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 7747 0 0 0 17 3 0 0 20 0 1 0 882747 64770048 8118 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 15813 8118 1715 992 0 7671 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 63252 KiB
Current children cumulated memory: 32472 KiB
[startup+0.313921 s]*
/proc/loadavg: 4.45 4.41 4.28 5/261 9331
/proc/meminfo: memFree=100873248/131655788 swapFree=131071996/131071996
[pid=9330] ppid=9327 vsize=63824 memory=33528 CPUtime=0.31 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 8026 0 0 0 27 4 0 0 20 0 1 0 882747 65355776 8382 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 15956 8382 1715 992 0 7814 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 63824 KiB
Current children cumulated memory: 33528 KiB
[startup+0.700325 s]
/proc/loadavg: 4.45 4.41 4.28 5/261 9331
/proc/meminfo: memFree=100867332/131655788 swapFree=131071996/131071996
[pid=9330] ppid=9327 vsize=65572 memory=35376 CPUtime=0.67 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 8493 0 0 0 63 4 0 0 20 0 1 0 882747 67145728 8844 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 16393 8844 1715 992 0 8251 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 65572 KiB
Current children cumulated memory: 35376 KiB
[startup+1.50032 s]
/proc/loadavg: 4.45 4.41 4.28 5/261 9331
/proc/meminfo: memFree=100847196/131655788 swapFree=131071996/131071996
[pid=9330] ppid=9327 vsize=65980 memory=35904 CPUtime=1.47 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 8623 0 0 0 142 5 0 0 20 0 1 0 882747 67563520 8976 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 16495 8976 1715 992 0 8353 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 65980 KiB
Current children cumulated memory: 35904 KiB
[startup+3.11414 s]
/proc/loadavg: 4.45 4.41 4.28 5/261 9333
/proc/meminfo: memFree=100768076/131655788 swapFree=131071996/131071996
[pid=9330] ppid=9327 vsize=68220 memory=39236 CPUtime=3.08 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 9391 0 0 0 295 13 0 0 20 0 1 0 882747 69857280 9809 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 17055 9809 1760 992 0 8913 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 68220 KiB
Current children cumulated memory: 39236 KiB
[startup+6.3003 s]
/proc/loadavg: 4.42 4.41 4.27 6/261 9333
/proc/meminfo: memFree=100630600/131655788 swapFree=131071996/131071996
[pid=9330] ppid=9327 vsize=74500 memory=45420 CPUtime=6.25 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 10849 0 0 0 608 17 0 0 20 0 1 0 882747 76288000 11355 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 18625 11355 1846 992 0 10483 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 74500 KiB
Current children cumulated memory: 45420 KiB
[startup+12.7003 s]
/proc/loadavg: 4.38 4.40 4.27 5/261 9334
/proc/meminfo: memFree=100395852/131655788 swapFree=131071996/131071996
[pid=9330] ppid=9327 vsize=80872 memory=49740 CPUtime=12.63 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 11971 0 0 0 1233 30 0 0 20 0 1 0 882747 82812928 12435 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 20218 12435 1846 992 0 12076 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 80872 KiB
Current children cumulated memory: 49740 KiB
[startup+25.5003 s]
/proc/loadavg: 4.37 4.40 4.27 5/261 9336
/proc/meminfo: memFree=99803580/131655788 swapFree=131071996/131071996
[pid=9330] ppid=9327 vsize=84780 memory=53964 CPUtime=25.4 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 12996 0 0 0 2490 50 0 0 20 0 1 0 882747 86814720 13491 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 21195 13491 1846 992 0 13053 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 84780 KiB
Current children cumulated memory: 53964 KiB
[startup+51.1141 s]
/proc/loadavg: 4.32 4.38 4.27 5/262 9341
/proc/meminfo: memFree=98768292/131655788 swapFree=131071996/131071996
[pid=9330] ppid=9327 vsize=89520 memory=58716 CPUtime=50.92 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 14169 0 0 0 5019 73 0 0 20 0 1 0 882747 91668480 14679 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 22380 14679 1846 992 0 14238 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 89520 KiB
Current children cumulated memory: 58716 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.34 4.26 5/262 9351
/proc/meminfo: memFree=96635848/131655788 swapFree=131071996/131071996
[pid=9330] ppid=9327 vsize=127400 memory=98388 CPUtime=101.94 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 20615 0 0 0 10049 145 0 0 20 0 1 0 882747 130457600 24597 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 31850 24597 1846 992 0 23708 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 127400 KiB
Current children cumulated memory: 98388 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.29 4.25 5/262 9361
/proc/meminfo: memFree=94149272/131655788 swapFree=131071996/131071996
[pid=9330] ppid=9327 vsize=181928 memory=127964 CPUtime=161.74 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 22385 0 0 0 15993 181 0 0 20 0 1 0 882747 186294272 31991 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 45482 31991 1846 992 0 37340 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 181928 KiB
Current children cumulated memory: 127964 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.25 4.24 5/268 9380
/proc/meminfo: memFree=91948496/131655788 swapFree=131071996/131071996
[pid=9330] ppid=9327 vsize=190536 memory=161456 CPUtime=221.55 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 24661 0 0 0 21908 247 0 0 20 0 1 0 882747 195108864 40364 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 47634 40364 1846 992 0 39492 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 190536 KiB
Current children cumulated memory: 161456 KiB
[startup+282.3 s]
/proc/loadavg: 4.54 4.34 4.27 5/267 9393
/proc/meminfo: memFree=89262916/131655788 swapFree=131071996/131071996
[pid=9330] ppid=9327 vsize=192740 memory=163560 CPUtime=281.35 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 25197 0 0 0 27845 290 0 0 20 0 1 0 882747 197365760 40890 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 48185 40890 1846 992 0 40043 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 192740 KiB
Current children cumulated memory: 163560 KiB
[startup+342.3 s]
/proc/loadavg: 4.25 4.29 4.26 5/267 9403
/proc/meminfo: memFree=86814136/131655788 swapFree=131071996/131071996
[pid=9330] ppid=9327 vsize=204460 memory=175384 CPUtime=341.16 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 28146 0 0 0 33754 362 0 0 20 0 1 0 882747 209367040 43846 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 51115 43846 1846 992 0 42973 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 204460 KiB
Current children cumulated memory: 175384 KiB
[startup+402.3 s]
/proc/loadavg: 4.27 4.28 4.26 5/267 9413
/proc/meminfo: memFree=84730836/131655788 swapFree=131071996/131071996
[pid=9330] ppid=9327 vsize=204460 memory=175384 CPUtime=400.96 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 28147 0 0 0 39715 381 0 0 20 0 1 0 882747 209367040 43846 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 51115 43846 1846 992 0 42973 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 204460 KiB
Current children cumulated memory: 175384 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.25 4.25 5/267 9425
/proc/meminfo: memFree=81705824/131655788 swapFree=131071996/131071996
[pid=9330] ppid=9327 vsize=206080 memory=177460 CPUtime=460.76 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 28706 0 0 0 45655 421 0 0 20 0 1 0 882747 211025920 44365 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 51520 44365 1846 992 0 43378 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.10 4.13 4.14 5/267 11233
/proc/meminfo: memFree=115634340/131655788 swapFree=131071472/131071996
[pid=9330] ppid=9327 vsize=891700 memory=748020 CPUtime=3091.77 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 197182 0 0 0 306203 2974 0 0 20 0 1 0 882747 913100800 187005 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 222925 187005 1926 992 0 214783 0
Current children cumulated CPU time: 3091.77 s
Current children cumulated vsize: 891700 KiB
Current children cumulated memory: 748020 KiB
[startup+3162.3 s]
/proc/loadavg: 4.25 4.17 4.15 5/267 11243
/proc/meminfo: memFree=115359676/131655788 swapFree=131071472/131071996
[pid=9330] ppid=9327 vsize=892196 memory=748480 CPUtime=3151.57 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 197311 0 0 0 312146 3011 0 0 20 0 1 0 882747 913608704 187120 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 223049 187120 1926 992 0 214907 0
Current children cumulated CPU time: 3151.57 s
Current children cumulated vsize: 892196 KiB
Current children cumulated memory: 748480 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.15 5/264 11253
/proc/meminfo: memFree=115112636/131655788 swapFree=131071472/131071996
[pid=9330] ppid=9327 vsize=892196 memory=748612 CPUtime=3211.35 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 197335 0 0 0 318101 3034 0 0 20 0 1 0 882747 913608704 187153 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 223049 187153 1926 992 0 214907 0
Current children cumulated CPU time: 3211.35 s
Current children cumulated vsize: 892196 KiB
Current children cumulated memory: 748612 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.14 5/242 11265
/proc/meminfo: memFree=114854788/131655788 swapFree=131071472/131071996
[pid=9330] ppid=9327 vsize=892560 memory=749020 CPUtime=3271.14 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 197561 0 0 0 323996 3118 0 0 20 0 1 0 882747 913981440 187255 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 223140 187255 1926 992 0 214998 0
Current children cumulated CPU time: 3271.14 s
Current children cumulated vsize: 892560 KiB
Current children cumulated memory: 749020 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/237 11302
/proc/meminfo: memFree=114523432/131655788 swapFree=131071472/131071996
[pid=9330] ppid=9327 vsize=897124 memory=753900 CPUtime=3330.91 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 199281 0 0 0 329903 3188 0 0 20 0 1 0 882747 918654976 188475 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 224281 188475 1926 992 0 216139 0
Current children cumulated CPU time: 3330.91 s
Current children cumulated vsize: 897124 KiB
Current children cumulated memory: 753900 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.13 5/242 11332
/proc/meminfo: memFree=114730096/131655788 swapFree=131071472/131071996
[pid=9330] ppid=9327 vsize=908476 memory=764760 CPUtime=3390.67 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 202459 0 0 0 335828 3239 0 0 20 0 1 0 882747 930279424 191190 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 227119 191190 1926 992 0 218977 0
Current children cumulated CPU time: 3390.67 s
Current children cumulated vsize: 908476 KiB
Current children cumulated memory: 764760 KiB
[startup+3462.3 s]
/proc/loadavg: 4.30 4.17 4.15 5/242 11344
/proc/meminfo: memFree=114530652/131655788 swapFree=131071472/131071996
[pid=9330] ppid=9327 vsize=918000 memory=773456 CPUtime=3450.45 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 204962 0 0 0 341758 3287 0 0 20 0 1 0 882747 940032000 193364 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 229500 193364 1926 992 0 221358 0
Current children cumulated CPU time: 3450.45 s
Current children cumulated vsize: 918000 KiB
Current children cumulated memory: 773456 KiB
[startup+3522.3 s]
/proc/loadavg: 4.78 4.33 4.21 5/244 11358
/proc/meminfo: memFree=114260524/131655788 swapFree=131071472/131071996
[pid=9330] ppid=9327 vsize=922984 memory=777992 CPUtime=3510.23 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 206319 0 0 0 347699 3324 0 0 20 0 1 0 882747 945135616 194498 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 230746 194498 1926 992 0 222604 0
Current children cumulated CPU time: 3510.23 s
Current children cumulated vsize: 922984 KiB
Current children cumulated memory: 777992 KiB
[startup+3582.3 s]
/proc/loadavg: 4.80 4.40 4.24 5/244 11414
/proc/meminfo: memFree=122984292/131655788 swapFree=131071472/131071996
[pid=9330] ppid=9327 vsize=929512 memory=800344 CPUtime=3570 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 207970 0 0 0 353609 3391 0 0 20 0 1 0 882747 951820288 200086 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 232378 200086 1926 992 0 224236 0
Current children cumulated CPU time: 3570 s
Current children cumulated vsize: 929512 KiB
Current children cumulated memory: 800344 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 4.88 4.46 4.26 5/244 11419
/proc/meminfo: memFree=122863824/131655788 swapFree=131071472/131071996
[pid=9330] ppid=9327 vsize=931072 memory=801540 CPUtime=3600 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 208297 0 0 0 356584 3416 0 0 20 0 1 0 882747 953417728 200385 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 232768 200385 1926 992 0 224626 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 931072 KiB
Current children cumulated memory: 801540 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3614.43 s]
# the end of solver process 9330 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3567.83 s, system=34.1852 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.88 4.46 4.26 5/244 11419
/proc/meminfo: memFree=122863824/131655788 swapFree=131071472/131071996
[pid=9330] ppid=9327 vsize=931072 memory=801540 CPUtime=3600.39 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 208301 0 0 0 356623 3416 0 0 20 0 1 0 882747 953417728 200385 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 232768 200385 1926 992 0 224626 0
Current children cumulated CPU time: 3600.39 s
Current children cumulated vsize: 931072 KiB
Current children cumulated memory: 801540 KiB
[startup+3613.6 s]
/proc/loadavg: 4.88 4.46 4.26 5/244 11419
/proc/meminfo: memFree=122862192/131655788 swapFree=131071472/131071996
[pid=9330] ppid=9327 vsize=931072 memory=801540 CPUtime=3601.19 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 208301 0 0 0 356703 3416 0 0 20 0 1 0 882747 953417728 200385 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 232768 200385 1926 992 0 224626 0
Current children cumulated CPU time: 3601.19 s
Current children cumulated vsize: 931072 KiB
Current children cumulated memory: 801540 KiB
[startup+3614 s]*
/proc/loadavg: 4.88 4.46 4.26 5/244 11419
/proc/meminfo: memFree=122859504/131655788 swapFree=131071472/131071996
[pid=9330] ppid=9327 vsize=931072 memory=801540 CPUtime=3601.6 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 208301 0 0 0 356744 3416 0 0 20 0 1 0 882747 953417728 200385 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 232768 200385 1926 992 0 224626 0
Current children cumulated CPU time: 3601.6 s
Current children cumulated vsize: 931072 KiB
Current children cumulated memory: 801540 KiB
[startup+3614.4 s]
/proc/loadavg: 4.88 4.46 4.26 5/244 11419
/proc/meminfo: memFree=122859504/131655788 swapFree=131071472/131071996
[pid=9330] ppid=9327 vsize=931072 memory=801540 CPUtime=3601.98 cores=0,2
/proc/9330/stat : 9330 (roundingsat) R 9327 9330 6438 0 -1 4194304 208304 0 0 0 356782 3416 0 0 20 0 1 0 882747 953417728 200385 134679101440 4194304 8255733 140722934906160 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40771584 140722934907746 140722934908008 140722934908008 140722934915017 0
/proc/9330/statm: 232768 200385 1926 992 0 224626 0
Current children cumulated CPU time: 3601.98 s
Current children cumulated vsize: 931072 KiB
Current children cumulated memory: 801540 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.43
CPU time (s): 3602.01
CPU user time (s): 3567.83
CPU system time (s): 34.1852
CPU usage (%): 99.6565
Max. virtual memory (cumulated for all children) (KiB): 931072
Max. memory (cumulated for all children) (KiB): 801540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.83
system time used= 34.1852
maximum resident set size= 801540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208304
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10965568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 407
involuntary context switches= 25234
# summary of solver processes directly reported to runsolver:
# pid: 9330
# total CPU time (s): 3602.01
# total CPU user time (s): 3567.83
# total CPU system time (s): 34.1852
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3642 second user time and 38.4613 second system time
The end
Begin job on nodeC008 at 2024-07-30 15:12:00 IDJOB=4463062 IDBENCH=158288 IDSOLVER=3089 FILE ID=nodeC008/4463062-1722345120 RUNJOBID= nodeC008-1722340763-6448 SLURM_JOB_ID= 8248988 Free space on /tmp= 723760 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K135.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-4463062-1722345120/watcher-4463062-1722345120 -o /tmp/evaluation-result-4463062-1722345120/solver-4463062-1722345120 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722340763-6448 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463062-1722345120 --lp-cut-gomory=0 HOME/instance-4463062-1722345120.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a9d7c7f4b9c33e38d48644f753677e90 RANDOM SEED=1778411649 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 : 3492.331 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 : 6984.63 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 : 3664.288 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.27 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.380 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 : 6984.63 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.387 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.27 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 : 3652.319 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 : 6984.63 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 : 3642.317 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.27 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.566 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 : 6984.63 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.506 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.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 100919424 kB MemAvailable: 128457888 kB Buffers: 47008 kB Cached: 28300572 kB SwapCached: 0 kB Active: 163480 kB Inactive: 30061372 kB Active(anon): 1488 kB Inactive(anon): 1897212 kB Active(file): 161992 kB Inactive(file): 28164160 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 1014016 kB Writeback: 0 kB AnonPages: 1877184 kB Mapped: 97732 kB Shmem: 21312 kB KReclaimable: 104688 kB Slab: 211060 kB SReclaimable: 104688 kB SUnreclaim: 106372 kB KernelStack: 4224 kB PageTables: 12920 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2379696 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6240 kB HardwareCorrupted: 0 kB AnonHugePages: 1144832 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: 146248 kB DirectMap2M: 10244096 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 723748 MiB End job on nodeC008 at 2024-07-30 16:12:15