| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3602.03 | 3612.21 |
| 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.20/0.24 c #variables 16065 #constraints 16337 49.88/50.02 c #Conflicts: 1000 | #Constraints: 17336 49.88/50.02 c #Conflicts: 2000 | #Constraints: 18336 49.88/50.02 c INPROCESSING 49.88/50.02 c GARBAGE COLLECT 49.88/50.02 c #Conflicts: 3000 | #Constraints: 17547 49.88/50.02 c #Conflicts: 4000 | #Constraints: 18548 49.88/50.02 c INPROCESSING 49.88/50.02 c GARBAGE COLLECT 49.88/50.02 c #Conflicts: 5000 | #Constraints: 18034 49.88/50.02 c #Conflicts: 6000 | #Constraints: 19034 49.88/50.02 c INPROCESSING 49.88/50.02 c GARBAGE COLLECT 49.88/50.02 c #Conflicts: 7000 | #Constraints: 18101 49.88/50.02 c #Conflicts: 8000 | #Constraints: 19101 49.88/50.02 c #Conflicts: 9000 | #Constraints: 20101 49.88/50.02 c INPROCESSING 49.88/50.02 c GARBAGE COLLECT 49.88/50.02 c #Conflicts: 10000 | #Constraints: 18862 49.88/50.02 c #Conflicts: 11000 | #Constraints: 19862 49.88/50.02 c #Conflicts: 12000 | #Constraints: 20862 49.88/50.02 c INPROCESSING 49.88/50.02 c GARBAGE COLLECT 49.88/50.02 c #Conflicts: 13000 | #Constraints: 19341 49.88/50.02 c #Conflicts: 14000 | #Constraints: 20341 49.88/50.02 c #Conflicts: 15000 | #Constraints: 21341 49.88/50.02 c INPROCESSING 49.88/50.02 c GARBAGE COLLECT 49.88/50.02 c rational objective 135 70.51/70.73 c #Conflicts: 16000 | #Constraints: 19615 70.51/70.73 c #Conflicts: 17000 | #Constraints: 20615 70.51/70.73 c #Conflicts: 18000 | #Constraints: 21615 70.51/70.73 c #Conflicts: 19000 | #Constraints: 22615 70.51/70.73 c #Conflicts: 20000 | #Constraints: 23615 70.51/70.73 c #Conflicts: 21000 | #Constraints: 24615 70.51/70.73 c #Conflicts: 22000 | #Constraints: 25615 70.51/70.73 c #Conflicts: 23000 | #Constraints: 26615 70.51/70.73 c #Conflicts: 24000 | #Constraints: 27615 70.51/70.73 c INPROCESSING 70.51/70.73 c GARBAGE COLLECT 70.51/70.73 c rational objective 135 114.99/115.31 c #Conflicts: 25000 | #Constraints: 22616 114.99/115.31 c #Conflicts: 26000 | #Constraints: 23616 114.99/115.31 c #Conflicts: 27000 | #Constraints: 24616 114.99/115.31 c #Conflicts: 28000 | #Constraints: 25617 114.99/115.31 c INPROCESSING 114.99/115.31 c GARBAGE COLLECT 114.99/115.31 c #Conflicts: 29000 | #Constraints: 21462 114.99/115.31 c #Conflicts: 30000 | #Constraints: 22462 114.99/115.31 c #Conflicts: 31000 | #Constraints: 23463 114.99/115.31 c #Conflicts: 32000 | #Constraints: 24463 114.99/115.31 c #Conflicts: 33000 | #Constraints: 25463 114.99/115.31 c INPROCESSING 114.99/115.31 c GARBAGE COLLECT 114.99/115.31 c rational objective 135 456.42/457.63 c #Conflicts: 34000 | #Constraints: 21636 456.42/457.63 c #Conflicts: 35000 | #Constraints: 22636 456.42/457.63 c #Conflicts: 36000 | #Constraints: 23636 456.42/457.63 c #Conflicts: 37000 | #Constraints: 24636 456.42/457.63 c #Conflicts: 38000 | #Constraints: 25636 456.42/457.63 c #Conflicts: 39000 | #Constraints: 26636 456.42/457.63 c #Conflicts: 40000 | #Constraints: 27636 456.42/457.63 c #Conflicts: 41000 | #Constraints: 28636 456.42/457.63 c #Conflicts: 42000 | #Constraints: 29636 456.42/457.63 c #Conflicts: 43000 | #Constraints: 30636 456.42/457.63 c #Conflicts: 44000 | #Constraints: 31636 456.42/457.63 c #Conflicts: 45000 | #Constraints: 32636 456.42/457.63 c #Conflicts: 46000 | #Constraints: 33636 456.42/457.63 c #Conflicts: 47000 | #Constraints: 34636 456.42/457.63 c INPROCESSING 456.42/457.63 c GARBAGE COLLECT 456.42/457.63 c #Conflicts: 48000 | #Constraints: 26487 456.42/457.63 c #Conflicts: 49000 | #Constraints: 27487 456.42/457.63 c #Conflicts: 50000 | #Constraints: 28488 456.42/457.63 c #Conflicts: 51000 | #Constraints: 29488 456.42/457.63 c #Conflicts: 52000 | #Constraints: 30488 456.42/457.63 c INPROCESSING 456.42/457.63 c GARBAGE COLLECT 456.42/457.63 c #Conflicts: 53000 | #Constraints: 23994 456.42/457.63 c #Conflicts: 54000 | #Constraints: 24994 456.42/457.63 c #Conflicts: 55000 | #Constraints: 25994 456.42/457.63 c #Conflicts: 56000 | #Constraints: 26994 456.42/457.63 c #Conflicts: 57000 | #Constraints: 27994 456.42/457.63 c #Conflicts: 58000 | #Constraints: 28994 456.42/457.63 c INPROCESSING 456.42/457.63 c GARBAGE COLLECT 456.42/457.63 c #Conflicts: 59000 | #Constraints: 23231 456.42/457.63 c #Conflicts: 60000 | #Constraints: 24231 456.42/457.63 c #Conflicts: 61000 | #Constraints: 25231 456.42/457.63 c #Conflicts: 62000 | #Constraints: 26231 456.42/457.63 c #Conflicts: 63000 | #Constraints: 27231 456.42/457.63 c #Conflicts: 64000 | #Constraints: 28231 456.42/457.63 c #Conflicts: 65000 | #Constraints: 29231 456.42/457.63 c #Conflicts: 66000 | #Constraints: 30231 456.42/457.63 c #Conflicts: 67000 | #Constraints: 31231 456.42/457.63 c #Conflicts: 68000 | #Constraints: 32231 456.42/457.63 c #Conflicts: 69000 | #Constraints: 33232 456.42/457.63 c #Conflicts: 70000 | #Constraints: 34232 456.42/457.63 c #Conflicts: 71000 | #Constraints: 35232 456.42/457.63 c #Conflicts: 72000 | #Constraints: 36232 456.42/457.63 c #Conflicts: 73000 | #Constraints: 37232 456.42/457.63 c #Conflicts: 74000 | #Constraints: 38232 456.42/457.63 c #Conflicts: 75000 | #Constraints: 39232 456.42/457.63 c #Conflicts: 76000 | #Constraints: 40232 456.42/457.63 c INPROCESSING 456.42/457.63 c GARBAGE COLLECT 456.42/457.63 c #Conflicts: 77000 | #Constraints: 29012 456.42/457.63 c #Conflicts: 78000 | #Constraints: 30012 456.42/457.63 c #Conflicts: 79000 | #Constraints: 31012 456.42/457.63 c #Conflicts: 80000 | #Constraints: 32012 456.42/457.63 c #Conflicts: 81000 | #Constraints: 33012 456.42/457.63 c #Conflicts: 82000 | #Constraints: 34012 456.42/457.63 c #Conflicts: 83000 | #Constraints: 35012 456.42/457.63 c #Conflicts: 84000 | #Constraints: 36012 456.42/457.63 c INPROCESSING 456.42/457.63 c GARBAGE COLLECT 456.42/457.63 c #Conflicts: 85000 | #Constraints: 27210 456.42/457.63 c #Conflicts: 86000 | #Constraints: 28210 456.42/457.63 c #Conflicts: 87000 | #Constraints: 29210 456.42/457.63 c #Conflicts: 88000 | #Constraints: 30210 456.42/457.63 c #Conflicts: 89000 | #Constraints: 31210 456.42/457.63 c #Conflicts: 90000 | #Constraints: 32210 456.42/457.63 c #Conflicts: 91000 | #Constraints: 33210 456.42/457.63 c INPROCESSING 456.42/457.63 c GARBAGE COLLECT 456.42/457.63 c #Conflicts: 92000 | #Constraints: 25558 456.42/457.63 c #Conflicts: 93000 | #Constraints: 26559 456.42/457.63 c #Conflicts: 94000 | #Constraints: 27559 456.42/457.63 c #Conflicts: 95000 | #Constraints: 28559 456.42/457.63 c #Conflicts: 96000 | #Constraints: 29559 456.42/457.63 c #Conflicts: 97000 | #Constraints: 30559 456.42/457.63 c #Conflicts: 98000 | #Constraints: 31559 456.42/457.63 c #Conflicts: 99000 | #Constraints: 32559 456.42/457.63 c #Conflicts: 100000 | #Constraints: 33559 456.42/457.63 c #Conflicts: 101000 | #Constraints: 34559 456.42/457.63 c #Conflicts: 102000 | #Constraints: 35559 456.42/457.63 c #Conflicts: 103000 | #Constraints: 36559 456.42/457.63 c #Conflicts: 104000 | #Constraints: 37559 456.42/457.63 c #Conflicts: 105000 | #Constraints: 38559 456.42/457.63 c #Conflicts: 106000 | #Constraints: 39559 456.42/457.63 c #Conflicts: 107000 | #Constraints: 40559 456.42/457.63 c #Conflicts: 108000 | #Constraints: 41559 642.85/644.56 c #Conflicts: 109000 | #Constraints: 42559 642.85/644.56 c #Conflicts: 110000 | #Constraints: 43559 642.85/644.56 c #Conflicts: 111000 | #Constraints: 44559 642.85/644.56 c #Conflicts: 112000 | #Constraints: 45559 642.85/644.56 c #Conflicts: 113000 | #Constraints: 46559 642.85/644.56 c INPROCESSING 642.85/644.56 c GARBAGE COLLECT 642.85/644.56 c #Conflicts: 114000 | #Constraints: 32326 642.85/644.56 c #Conflicts: 115000 | #Constraints: 33326 642.85/644.56 c #Conflicts: 116000 | #Constraints: 34326 642.85/644.56 c #Conflicts: 117000 | #Constraints: 35326 642.85/644.56 c #Conflicts: 118000 | #Constraints: 36326 642.85/644.56 c #Conflicts: 119000 | #Constraints: 37326 642.85/644.56 c #Conflicts: 120000 | #Constraints: 38326 642.85/644.56 c #Conflicts: 121000 | #Constraints: 39326 642.85/644.56 c #Conflicts: 122000 | #Constraints: 40326 642.85/644.56 c INPROCESSING 642.85/644.56 c GARBAGE COLLECT 642.85/644.56 c #Conflicts: 123000 | #Constraints: 29339 642.85/644.56 c #Conflicts: 124000 | #Constraints: 30339 642.85/644.56 c #Conflicts: 125000 | #Constraints: 31339 642.85/644.56 c #Conflicts: 126000 | #Constraints: 32340 642.85/644.56 c #Conflicts: 127000 | #Constraints: 33340 642.85/644.56 c #Conflicts: 128000 | #Constraints: 34340 642.85/644.56 c #Conflicts: 129000 | #Constraints: 35340 642.85/644.56 c #Conflicts: 130000 | #Constraints: 36340 642.85/644.56 c #Conflicts: 131000 | #Constraints: 37340 642.85/644.56 c INPROCESSING 642.85/644.56 c GARBAGE COLLECT 642.85/644.56 c #Conflicts: 132000 | #Constraints: 27914 642.85/644.56 c #Conflicts: 133000 | #Constraints: 28914 642.85/644.56 c #Conflicts: 134000 | #Constraints: 29914 642.85/644.56 c #Conflicts: 135000 | #Constraints: 30914 642.85/644.56 c #Conflicts: 136000 | #Constraints: 31914 642.85/644.56 c #Conflicts: 137000 | #Constraints: 32914 642.85/644.56 c #Conflicts: 138000 | #Constraints: 33914 642.85/644.56 c #Conflicts: 139000 | #Constraints: 34914 642.85/644.56 c #Conflicts: 140000 | #Constraints: 35914 642.85/644.56 c #Conflicts: 141000 | #Constraints: 36915 642.85/644.56 c #Conflicts: 142000 | #Constraints: 37915 642.85/644.56 c #Conflicts: 143000 | #Constraints: 38915 642.85/644.56 c #Conflicts: 144000 | #Constraints: 39915 642.85/644.56 c #Conflicts: 145000 | #Constraints: 40915 642.85/644.56 c #Conflicts: 146000 | #Constraints: 41915 642.85/644.56 c #Conflicts: 147000 | #Constraints: 42915 642.85/644.56 c #Conflicts: 148000 | #Constraints: 43915 642.85/644.56 c #Conflicts: 149000 | #Constraints: 44915 642.85/644.56 c #Conflicts: 150000 | #Constraints: 45915 642.85/644.56 c #Conflicts: 151000 | #Constraints: 46915 642.85/644.56 c #Conflicts: 152000 | #Constraints: 47915 642.85/644.56 c #Conflicts: 153000 | #Constraints: 48915 642.85/644.56 c #Conflicts: 154000 | #Constraints: 49915 642.85/644.56 c #Conflicts: 155000 | #Constraints: 50916 642.85/644.56 c #Conflicts: 156000 | #Constraints: 51916 642.85/644.56 c #Conflicts: 157000 | #Constraints: 52916 642.85/644.56 c INPROCESSING 642.85/644.56 c GARBAGE COLLECT 642.85/644.56 c rational objective 135 768.82/770.87 c #Conflicts: 158000 | #Constraints: 35576 768.82/770.87 c #Conflicts: 159000 | #Constraints: 36576 768.82/770.87 c #Conflicts: 160000 | #Constraints: 37576 768.82/770.87 c #Conflicts: 161000 | #Constraints: 38576 768.82/770.87 c #Conflicts: 162000 | #Constraints: 39576 768.82/770.87 c #Conflicts: 163000 | #Constraints: 40576 768.82/770.87 c #Conflicts: 164000 | #Constraints: 41576 768.82/770.87 c #Conflicts: 165000 | #Constraints: 42576 768.82/770.87 c #Conflicts: 166000 | #Constraints: 43576 768.82/770.87 c #Conflicts: 167000 | #Constraints: 44576 768.82/770.87 c #Conflicts: 168000 | #Constraints: 45576 768.82/770.87 c INPROCESSING 768.82/770.87 c GARBAGE COLLECT 768.82/770.87 c #Conflicts: 169000 | #Constraints: 32293 768.82/770.87 c #Conflicts: 170000 | #Constraints: 33293 768.82/770.87 c #Conflicts: 171000 | #Constraints: 34293 768.82/770.87 c #Conflicts: 172000 | #Constraints: 35293 768.82/770.87 c #Conflicts: 173000 | #Constraints: 36293 768.82/770.87 c #Conflicts: 174000 | #Constraints: 37293 768.82/770.87 c #Conflicts: 175000 | #Constraints: 38293 768.82/770.87 c #Conflicts: 176000 | #Constraints: 39293 768.82/770.87 c #Conflicts: 177000 | #Constraints: 40293 768.82/770.87 c #Conflicts: 178000 | #Constraints: 41293 768.82/770.87 c INPROCESSING 768.82/770.87 c GARBAGE COLLECT 768.82/770.87 c #Conflicts: 179000 | #Constraints: 29784 768.82/770.87 c #Conflicts: 180000 | #Constraints: 30784 768.82/770.87 c #Conflicts: 181000 | #Constraints: 31784 768.82/770.87 c #Conflicts: 182000 | #Constraints: 32784 768.82/770.87 c #Conflicts: 183000 | #Constraints: 33784 768.82/770.87 c #Conflicts: 184000 | #Constraints: 34784 768.82/770.87 c #Conflicts: 185000 | #Constraints: 35785 768.82/770.87 c #Conflicts: 186000 | #Constraints: 36785 768.82/770.87 c #Conflicts: 187000 | #Constraints: 37785 768.82/770.87 c #Conflicts: 188000 | #Constraints: 38785 768.82/770.87 c #Conflicts: 189000 | #Constraints: 39785 768.82/770.87 c #Conflicts: 190000 | #Constraints: 40785 768.82/770.87 c #Conflicts: 191000 | #Constraints: 41785 768.82/770.87 c #Conflicts: 192000 | #Constraints: 42785 768.82/770.87 c #Conflicts: 193000 | #Constraints: 43785 768.82/770.87 c #Conflicts: 194000 | #Constraints: 44785 768.82/770.87 c #Conflicts: 195000 | #Constraints: 45785 768.82/770.87 c #Conflicts: 196000 | #Constraints: 46785 768.82/770.87 c #Conflicts: 197000 | #Constraints: 47785 768.82/770.87 c #Conflicts: 198000 | #Constraints: 48786 768.82/770.87 c #Conflicts: 199000 | #Constraints: 49786 768.82/770.87 c #Conflicts: 200000 | #Constraints: 50786 768.82/770.87 c #Conflicts: 201000 | #Constraints: 51786 768.82/770.87 c #Conflicts: 202000 | #Constraints: 52786 768.82/770.87 c #Conflicts: 203000 | #Constraints: 53786 768.82/770.87 c #Conflicts: 204000 | #Constraints: 54786 768.82/770.87 c #Conflicts: 205000 | #Constraints: 55786 768.82/770.87 c #Conflicts: 206000 | #Constraints: 56786 768.82/770.87 c #Conflicts: 207000 | #Constraints: 57786 768.82/770.87 c #Conflicts: 208000 | #Constraints: 58786 768.82/770.87 c #Conflicts: 209000 | #Constraints: 59786 768.82/770.87 c INPROCESSING 768.82/770.87 c GARBAGE COLLECT 768.82/770.87 c rational objective 135 866.39/868.68 c #Conflicts: 210000 | #Constraints: 39354 866.39/868.68 c #Conflicts: 211000 | #Constraints: 40354 866.39/868.68 c #Conflicts: 212000 | #Constraints: 41354 866.39/868.68 c #Conflicts: 213000 | #Constraints: 42355 866.39/868.68 c #Conflicts: 214000 | #Constraints: 43355 866.39/868.68 c #Conflicts: 215000 | #Constraints: 44355 866.39/868.68 c #Conflicts: 216000 | #Constraints: 45355 866.39/868.68 c #Conflicts: 217000 | #Constraints: 46355 866.39/868.68 c #Conflicts: 218000 | #Constraints: 47355 866.39/868.68 c #Conflicts: 219000 | #Constraints: 48355 866.39/868.68 c #Conflicts: 220000 | #Constraints: 49355 866.39/868.68 c INPROCESSING 866.39/868.68 c GARBAGE COLLECT 866.39/868.68 c rational objective 135 964.92/967.47 c #Conflicts: 221000 | #Constraints: 33882 964.92/967.47 c #Conflicts: 222000 | #Constraints: 34882 964.92/967.47 c #Conflicts: 223000 | #Constraints: 35882 964.92/967.47 c #Conflicts: 224000 | #Constraints: 36882 964.92/967.47 c #Conflicts: 225000 | #Constraints: 37882 964.92/967.47 c #Conflicts: 226000 | #Constraints: 38882 964.92/967.47 c #Conflicts: 227000 | #Constraints: 39882 964.92/967.47 c #Conflicts: 228000 | #Constraints: 40882 964.92/967.47 c #Conflicts: 229000 | #Constraints: 41882 964.92/967.47 c #Conflicts: 230000 | #Constraints: 42883 964.92/967.47 c #Conflicts: 231000 | #Constraints: 43884 964.92/967.47 c #Conflicts: 232000 | #Constraints: 44884 964.92/967.47 c INPROCESSING 964.92/967.47 c GARBAGE COLLECT 964.92/967.47 c #Conflicts: 233000 | #Constraints: 31569 964.92/967.47 c #Conflicts: 234000 | #Constraints: 32569 964.92/967.47 c #Conflicts: 235000 | #Constraints: 33569 964.92/967.47 c #Conflicts: 236000 | #Constraints: 34569 964.92/967.47 c #Conflicts: 237000 | #Constraints: 35569 964.92/967.47 c #Conflicts: 238000 | #Constraints: 36569 964.92/967.47 c #Conflicts: 239000 | #Constraints: 37569 964.92/967.47 c #Conflicts: 240000 | #Constraints: 38569 964.92/967.47 c #Conflicts: 241000 | #Constraints: 39569 964.92/967.47 c #Conflicts: 242000 | #Constraints: 40569 964.92/967.47 c #Conflicts: 243000 | #Constraints: 41569 964.92/967.47 c #Conflicts: 244000 | #Constraints: 42569 964.92/967.47 c #Conflicts: 245000 | #Constraints: 43569 964.92/967.47 c #Conflicts: 246000 | #Constraints: 44569 964.92/967.47 c #Conflicts: 247000 | #Constraints: 45569 964.92/967.47 c #Conflicts: 248000 | #Constraints: 46569 964.92/967.47 c #Conflicts: 249000 | #Constraints: 47569 964.92/967.47 c #Conflicts: 250000 | #Constraints: 48569 964.92/967.47 c #Conflicts: 251000 | #Constraints: 49569 964.92/967.47 c #Conflicts: 252000 | #Constraints: 50569 964.92/967.47 c #Conflicts: 253000 | #Constraints: 51569 964.92/967.47 c #Conflicts: 254000 | #Constraints: 52569 964.92/967.47 c #Conflicts: 255000 | #Constraints: 53569 964.92/967.47 c #Conflicts: 256000 | #Constraints: 54569 964.92/967.47 c #Conflicts: 257000 | #Constraints: 55569 964.92/967.47 c #Conflicts: 258000 | #Constraints: 56569 964.92/967.47 c #Conflicts: 259000 | #Constraints: 57569 964.92/967.47 c #Conflicts: 260000 | #Constraints: 58569 964.92/967.47 c #Conflicts: 261000 | #Constraints: 59569 964.92/967.47 c #Conflicts: 262000 | #Constraints: 60569 964.92/967.47 c #Conflicts: 263000 | #Constraints: 61569 964.92/967.47 c #Conflicts: 264000 | #Constraints: 62569 964.92/967.47 c #Conflicts: 265000 | #Constraints: 63569 964.92/967.47 c #Conflicts: 266000 | #Constraints: 64569 964.92/967.47 c #Conflicts: 267000 | #Constraints: 65569 964.92/967.47 c INPROCESSING 964.92/967.47 c GARBAGE COLLECT 964.92/967.47 c rational objective 135 1095.69/1098.59 c #Conflicts: 268000 | #Constraints: 42138 1095.69/1098.59 c #Conflicts: 269000 | #Constraints: 43138 1095.69/1098.59 c #Conflicts: 270000 | #Constraints: 44138 1095.69/1098.59 c #Conflicts: 271000 | #Constraints: 45138 1095.69/1098.59 c #Conflicts: 272000 | #Constraints: 46139 1095.69/1098.59 c #Conflicts: 273000 | #Constraints: 47139 1095.69/1098.59 c #Conflicts: 274000 | #Constraints: 48139 1095.69/1098.59 c #Conflicts: 275000 | #Constraints: 49139 1095.69/1098.59 c #Conflicts: 276000 | #Constraints: 50140 1095.69/1098.59 c #Conflicts: 277000 | #Constraints: 51141 1095.69/1098.59 c #Conflicts: 278000 | #Constraints: 52141 1095.69/1098.59 c #Conflicts: 279000 | #Constraints: 53141 1095.69/1098.59 c #Conflicts: 280000 | #Constraints: 54142 1095.69/1098.59 c INPROCESSING 1095.69/1098.59 c GARBAGE COLLECT 1095.69/1098.59 c rational objective 135 1363.32/1366.94 c #Conflicts: 281000 | #Constraints: 36168 1363.32/1366.94 c #Conflicts: 282000 | #Constraints: 37168 1363.32/1366.94 c #Conflicts: 283000 | #Constraints: 38169 1363.32/1366.94 c #Conflicts: 284000 | #Constraints: 39169 1363.32/1366.94 c #Conflicts: 285000 | #Constraints: 40169 1363.32/1366.94 c #Conflicts: 286000 | #Constraints: 41169 1363.32/1366.94 c #Conflicts: 287000 | #Constraints: 42169 1363.32/1366.94 c #Conflicts: 288000 | #Constraints: 43169 1363.32/1366.94 c #Conflicts: 289000 | #Constraints: 44169 1363.32/1366.94 c #Conflicts: 290000 | #Constraints: 45169 1363.32/1366.94 c #Conflicts: 291000 | #Constraints: 46169 1363.32/1366.94 c #Conflicts: 292000 | #Constraints: 47169 1363.32/1366.94 c #Conflicts: 293000 | #Constraints: 48169 1363.32/1366.94 c #Conflicts: 294000 | #Constraints: 49169 1363.32/1366.94 c INPROCESSING 1363.32/1366.94 c GARBAGE COLLECT 1363.32/1366.94 c #Conflicts: 295000 | #Constraints: 34522 1363.32/1366.94 c #Conflicts: 296000 | #Constraints: 35522 1363.32/1366.94 c #Conflicts: 297000 | #Constraints: 36522 1363.32/1366.94 c #Conflicts: 298000 | #Constraints: 37522 1363.32/1366.94 c #Conflicts: 299000 | #Constraints: 38522 1363.32/1366.94 c #Conflicts: 300000 | #Constraints: 39522 1363.32/1366.94 c #Conflicts: 301000 | #Constraints: 40522 1363.32/1366.94 c #Conflicts: 302000 | #Constraints: 41523 1363.32/1366.94 c #Conflicts: 303000 | #Constraints: 42523 1363.32/1366.94 c #Conflicts: 304000 | #Constraints: 43523 1363.32/1366.94 c #Conflicts: 305000 | #Constraints: 44523 1363.32/1366.94 c #Conflicts: 306000 | #Constraints: 45523 1363.32/1366.94 c #Conflicts: 307000 | #Constraints: 46523 1363.32/1366.94 c #Conflicts: 308000 | #Constraints: 47523 1363.32/1366.94 c #Conflicts: 309000 | #Constraints: 48523 1363.32/1366.94 c #Conflicts: 310000 | #Constraints: 49523 1363.32/1366.94 c #Conflicts: 311000 | #Constraints: 50523 1363.32/1366.94 c #Conflicts: 312000 | #Constraints: 51523 1363.32/1366.94 c #Conflicts: 313000 | #Constraints: 52523 1363.32/1366.94 c #Conflicts: 314000 | #Constraints: 53523 1363.32/1366.94 c #Conflicts: 315000 | #Constraints: 54523 1363.32/1366.94 c #Conflicts: 316000 | #Constraints: 55523 1363.32/1366.94 c #Conflicts: 317000 | #Constraints: 56523 1363.32/1366.94 c #Conflicts: 318000 | #Constraints: 57524 1363.32/1366.94 c #Conflicts: 319000 | #Constraints: 58524 1363.32/1366.94 c #Conflicts: 320000 | #Constraints: 59524 1363.32/1366.94 c #Conflicts: 321000 | #Constraints: 60524 1363.32/1366.94 c #Conflicts: 322000 | #Constraints: 61524 1363.32/1366.94 c #Conflicts: 323000 | #Constraints: 62524 1363.32/1366.94 c #Conflicts: 324000 | #Constraints: 63524 1363.32/1366.94 c #Conflicts: 325000 | #Constraints: 64524 1363.32/1366.94 c #Conflicts: 326000 | #Constraints: 65525 1363.32/1366.94 c #Conflicts: 327000 | #Constraints: 66525 1363.32/1366.94 c #Conflicts: 328000 | #Constraints: 67525 1363.32/1366.94 c #Conflicts: 329000 | #Constraints: 68525 1363.32/1366.94 c #Conflicts: 330000 | #Constraints: 69525 1363.32/1366.94 c #Conflicts: 331000 | #Constraints: 70525 1363.32/1366.94 c #Conflicts: 332000 | #Constraints: 71525 1363.32/1366.94 c #Conflicts: 333000 | #Constraints: 72525 1363.32/1366.94 c INPROCESSING 1363.32/1366.94 c GARBAGE COLLECT 1363.32/1366.94 c rational objective 135 1591.20/1595.46 c #Conflicts: 334000 | #Constraints: 45599 1591.20/1595.46 c #Conflicts: 335000 | #Constraints: 46599 1591.20/1595.46 c #Conflicts: 336000 | #Constraints: 47599 1591.20/1595.46 c #Conflicts: 337000 | #Constraints: 48599 1591.20/1595.46 c #Conflicts: 338000 | #Constraints: 49599 1591.20/1595.46 c #Conflicts: 339000 | #Constraints: 50599 1591.20/1595.46 c #Conflicts: 340000 | #Constraints: 51599 1591.20/1595.46 c #Conflicts: 341000 | #Constraints: 52599 1591.20/1595.46 c #Conflicts: 342000 | #Constraints: 53599 1591.20/1595.46 c #Conflicts: 343000 | #Constraints: 54600 1591.20/1595.46 c #Conflicts: 344000 | #Constraints: 55600 1591.20/1595.46 c #Conflicts: 345000 | #Constraints: 56600 1591.20/1595.46 c #Conflicts: 346000 | #Constraints: 57600 1591.20/1595.46 c #Conflicts: 347000 | #Constraints: 58600 1591.20/1595.46 c #Conflicts: 348000 | #Constraints: 59600 1591.20/1595.46 c INPROCESSING 1591.20/1595.46 c GARBAGE COLLECT 1591.20/1595.46 c #Conflicts: 349000 | #Constraints: 39336 1591.20/1595.46 c #Conflicts: 350000 | #Constraints: 40336 1591.20/1595.46 c #Conflicts: 351000 | #Constraints: 41336 1591.20/1595.46 c #Conflicts: 352000 | #Constraints: 42336 1591.20/1595.46 c #Conflicts: 353000 | #Constraints: 43336 1591.20/1595.46 c #Conflicts: 354000 | #Constraints: 44336 1591.20/1595.46 c #Conflicts: 355000 | #Constraints: 45336 1591.20/1595.46 c #Conflicts: 356000 | #Constraints: 46336 1591.20/1595.46 c #Conflicts: 357000 | #Constraints: 47336 1591.20/1595.46 c #Conflicts: 358000 | #Constraints: 48336 1591.20/1595.46 c #Conflicts: 359000 | #Constraints: 49336 1591.20/1595.46 c #Conflicts: 360000 | #Constraints: 50337 1591.20/1595.46 c #Conflicts: 361000 | #Constraints: 51337 1591.20/1595.46 c #Conflicts: 362000 | #Constraints: 52337 1591.20/1595.46 c #Conflicts: 363000 | #Constraints: 53337 1591.20/1595.46 c INPROCESSING 1591.20/1595.46 c GARBAGE COLLECT 1591.20/1595.46 c #Conflicts: 364000 | #Constraints: 37410 1591.20/1595.46 c #Conflicts: 365000 | #Constraints: 38410 1591.20/1595.46 c #Conflicts: 366000 | #Constraints: 39410 1591.20/1595.46 c #Conflicts: 367000 | #Constraints: 40410 1591.20/1595.46 c #Conflicts: 368000 | #Constraints: 41410 1591.20/1595.46 c #Conflicts: 369000 | #Constraints: 42410 1591.20/1595.46 c #Conflicts: 370000 | #Constraints: 43410 1591.20/1595.46 c #Conflicts: 371000 | #Constraints: 44410 1591.20/1595.46 c #Conflicts: 372000 | #Constraints: 45410 1591.20/1595.46 c #Conflicts: 373000 | #Constraints: 46410 1591.20/1595.46 c #Conflicts: 374000 | #Constraints: 47410 1591.20/1595.46 c #Conflicts: 375000 | #Constraints: 48410 1591.20/1595.46 c #Conflicts: 376000 | #Constraints: 49410 1591.20/1595.46 c #Conflicts: 377000 | #Constraints: 50411 1591.20/1595.46 c #Conflicts: 378000 | #Constraints: 51411 1591.20/1595.46 c #Conflicts: 379000 | #Constraints: 52411 1591.20/1595.46 c #Conflicts: 380000 | #Constraints: 53411 1591.20/1595.46 c #Conflicts: 381000 | #Constraints: 54411 1591.20/1595.46 c #Conflicts: 382000 | #Constraints: 55411 1591.20/1595.46 c #Conflicts: 383000 | #Constraints: 56411 1591.20/1595.46 c #Conflicts: 384000 | #Constraints: 57411 1591.20/1595.46 c #Conflicts: 385000 | #Constraints: 58411 1591.20/1595.46 c #Conflicts: 386000 | #Constraints: 59411 1591.20/1595.46 c #Conflicts: 387000 | #Constraints: 60411 1591.20/1595.46 c #Conflicts: 388000 | #Constraints: 61411 1591.20/1595.46 c #Conflicts: 389000 | #Constraints: 62411 1591.20/1595.46 c #Conflicts: 390000 | #Constraints: 63411 1591.20/1595.46 c #Conflicts: 391000 | #Constraints: 64411 1591.20/1595.46 c #Conflicts: 392000 | #Constraints: 65411 1591.20/1595.46 c #Conflicts: 393000 | #Constraints: 66411 1591.20/1595.46 c #Conflicts: 394000 | #Constraints: 67411 1591.20/1595.46 c #Conflicts: 395000 | #Constraints: 68411 1591.20/1595.46 c #Conflicts: 396000 | #Constraints: 69411 1591.20/1595.46 c #Conflicts: 397000 | #Constraints: 70411 1591.20/1595.46 c #Conflicts: 398000 | #Constraints: 71411 1591.20/1595.46 c #Conflicts: 399000 | #Constraints: 72411 1591.20/1595.46 c #Conflicts: 400000 | #Constraints: 73412 1591.20/1595.46 c #Conflicts: 401000 | #Constraints: 74412 1591.20/1595.46 c #Conflicts: 402000 | #Constraints: 75412 1591.20/1595.46 c #Conflicts: 403000 | #Constraints: 76412 1591.20/1595.46 c #Conflicts: 404000 | #Constraints: 77412 1591.20/1595.46 c #Conflicts: 405000 | #Constraints: 78412 1591.20/1595.46 c #Conflicts: 406000 | #Constraints: 79412 1591.20/1595.46 c INPROCESSING 1591.20/1595.46 c GARBAGE COLLECT 1591.20/1595.46 c rational objective 135 1652.05/1656.47 c #Conflicts: 407000 | #Constraints: 49339 1652.05/1656.47 c #Conflicts: 408000 | #Constraints: 50339 1652.05/1656.47 c #Conflicts: 409000 | #Constraints: 51339 1652.05/1656.47 c #Conflicts: 410000 | #Constraints: 52339 1652.05/1656.47 c #Conflicts: 411000 | #Constraints: 53339 1652.05/1656.47 c #Conflicts: 412000 | #Constraints: 54339 1652.05/1656.47 c #Conflicts: 413000 | #Constraints: 55339 1652.05/1656.47 c #Conflicts: 414000 | #Constraints: 56339 1652.05/1656.47 c #Conflicts: 415000 | #Constraints: 57340 1652.05/1656.47 c #Conflicts: 416000 | #Constraints: 58342 1652.05/1656.47 c #Conflicts: 417000 | #Constraints: 59344 1652.05/1656.47 c #Conflicts: 418000 | #Constraints: 60345 1652.05/1656.47 c #Conflicts: 419000 | #Constraints: 61345 1652.05/1656.47 c #Conflicts: 420000 | #Constraints: 62345 1652.05/1656.47 c #Conflicts: 421000 | #Constraints: 63345 1652.05/1656.47 c #Conflicts: 422000 | #Constraints: 64345 1652.05/1656.47 c INPROCESSING 1652.05/1656.47 c GARBAGE COLLECT 1652.05/1656.47 c rational objective 135 1908.39/1913.57 c #Conflicts: 423000 | #Constraints: 41727 1908.39/1913.57 c #Conflicts: 424000 | #Constraints: 42727 1908.39/1913.57 c #Conflicts: 425000 | #Constraints: 43727 1908.39/1913.57 c #Conflicts: 426000 | #Constraints: 44728 1908.39/1913.57 c #Conflicts: 427000 | #Constraints: 45728 1908.39/1913.57 c #Conflicts: 428000 | #Constraints: 46728 1908.39/1913.57 c #Conflicts: 429000 | #Constraints: 47728 1908.39/1913.57 c #Conflicts: 430000 | #Constraints: 48728 1908.39/1913.57 c #Conflicts: 431000 | #Constraints: 49728 1908.39/1913.57 c #Conflicts: 432000 | #Constraints: 50728 1908.39/1913.57 c #Conflicts: 433000 | #Constraints: 51728 1908.39/1913.57 c #Conflicts: 434000 | #Constraints: 52728 1908.39/1913.57 c #Conflicts: 435000 | #Constraints: 53728 1908.39/1913.57 c #Conflicts: 436000 | #Constraints: 54728 1908.39/1913.57 c #Conflicts: 437000 | #Constraints: 55728 1908.39/1913.57 c #Conflicts: 438000 | #Constraints: 56728 1908.39/1913.57 c INPROCESSING 1908.39/1913.57 c GARBAGE COLLECT 1908.39/1913.57 c #Conflicts: 439000 | #Constraints: 39129 1908.39/1913.57 c #Conflicts: 440000 | #Constraints: 40129 1908.39/1913.57 c #Conflicts: 441000 | #Constraints: 41130 1908.39/1913.57 c #Conflicts: 442000 | #Constraints: 42130 1908.39/1913.57 c #Conflicts: 443000 | #Constraints: 43130 1908.39/1913.57 c #Conflicts: 444000 | #Constraints: 44130 1908.39/1913.57 c #Conflicts: 445000 | #Constraints: 45130 1908.39/1913.57 c #Conflicts: 446000 | #Constraints: 46130 1908.39/1913.57 c #Conflicts: 447000 | #Constraints: 47130 1908.39/1913.57 c #Conflicts: 448000 | #Constraints: 48130 1908.39/1913.57 c #Conflicts: 449000 | #Constraints: 49130 1908.39/1913.57 c #Conflicts: 450000 | #Constraints: 50130 1908.39/1913.57 c #Conflicts: 451000 | #Constraints: 51130 1908.39/1913.57 c #Conflicts: 452000 | #Constraints: 52130 1908.39/1913.57 c #Conflicts: 453000 | #Constraints: 53130 1908.39/1913.57 c #Conflicts: 454000 | #Constraints: 54130 1908.39/1913.57 c #Conflicts: 455000 | #Constraints: 55130 1908.39/1913.57 c #Conflicts: 456000 | #Constraints: 56130 1908.39/1913.57 c #Conflicts: 457000 | #Constraints: 57130 1908.39/1913.57 c #Conflicts: 458000 | #Constraints: 58130 1908.39/1913.57 c #Conflicts: 459000 | #Constraints: 59131 1908.39/1913.57 c #Conflicts: 460000 | #Constraints: 60131 1908.39/1913.57 c #Conflicts: 461000 | #Constraints: 61131 1908.39/1913.57 c #Conflicts: 462000 | #Constraints: 62131 1908.39/1913.57 c #Conflicts: 463000 | #Constraints: 63131 1908.39/1913.57 c #Conflicts: 464000 | #Constraints: 64131 1908.39/1913.57 c #Conflicts: 465000 | #Constraints: 65131 1908.39/1913.57 c #Conflicts: 466000 | #Constraints: 66131 1908.39/1913.57 c #Conflicts: 467000 | #Constraints: 67131 1908.39/1913.57 c #Conflicts: 468000 | #Constraints: 68131 1908.39/1913.57 c #Conflicts: 469000 | #Constraints: 69131 1908.39/1913.57 c #Conflicts: 470000 | #Constraints: 70131 1908.39/1913.57 c #Conflicts: 471000 | #Constraints: 71131 1908.39/1913.57 c #Conflicts: 472000 | #Constraints: 72132 1908.39/1913.57 c #Conflicts: 473000 | #Constraints: 73132 1908.39/1913.57 c #Conflicts: 474000 | #Constraints: 74132 1908.39/1913.57 c #Conflicts: 475000 | #Constraints: 75132 1908.39/1913.57 c #Conflicts: 476000 | #Constraints: 76132 1908.39/1913.57 c #Conflicts: 477000 | #Constraints: 77132 1908.39/1913.57 c #Conflicts: 478000 | #Constraints: 78132 1908.39/1913.57 c #Conflicts: 479000 | #Constraints: 79132 1908.39/1913.57 c #Conflicts: 480000 | #Constraints: 80132 1908.39/1913.57 c #Conflicts: 481000 | #Constraints: 81132 1908.39/1913.57 c #Conflicts: 482000 | #Constraints: 82132 1908.39/1913.57 c #Conflicts: 483000 | #Constraints: 83132 1908.39/1913.57 c #Conflicts: 484000 | #Constraints: 84132 1908.39/1913.57 c #Conflicts: 485000 | #Constraints: 85132 1908.39/1913.57 c #Conflicts: 486000 | #Constraints: 86132 1908.39/1913.57 c INPROCESSING 1908.39/1913.57 c GARBAGE COLLECT 1908.39/1913.57 c rational objective 135 1983.90/1989.22 c #Conflicts: 487000 | #Constraints: 52647 1983.90/1989.22 c #Conflicts: 488000 | #Constraints: 53647 1983.90/1989.22 c #Conflicts: 489000 | #Constraints: 54647 1983.90/1989.22 c #Conflicts: 490000 | #Constraints: 55647 1983.90/1989.22 c #Conflicts: 491000 | #Constraints: 56648 1983.90/1989.22 c #Conflicts: 492000 | #Constraints: 57648 1983.90/1989.22 c #Conflicts: 493000 | #Constraints: 58648 1983.90/1989.22 c #Conflicts: 494000 | #Constraints: 59648 1983.90/1989.22 c #Conflicts: 495000 | #Constraints: 60649 1983.90/1989.22 c #Conflicts: 496000 | #Constraints: 61649 1983.90/1989.22 c #Conflicts: 497000 | #Constraints: 62650 1983.90/1989.22 c #Conflicts: 498000 | #Constraints: 63650 1983.90/1989.22 c #Conflicts: 499000 | #Constraints: 64650 1983.90/1989.22 c #Conflicts: 500000 | #Constraints: 65650 1983.90/1989.22 c #Conflicts: 501000 | #Constraints: 66650 1983.90/1989.22 c #Conflicts: 502000 | #Constraints: 67650 1983.90/1989.22 c #Conflicts: 503000 | #Constraints: 68650 1983.90/1989.22 c #Conflicts: 504000 | #Constraints: 69650 1983.90/1989.22 c INPROCESSING 1983.90/1989.22 c GARBAGE COLLECT 1983.90/1989.22 c rational objective 135 2100.29/2105.93 c #Conflicts: 505000 | #Constraints: 44648 2100.29/2105.93 c #Conflicts: 506000 | #Constraints: 45648 2100.29/2105.93 c #Conflicts: 507000 | #Constraints: 46648 2100.29/2105.93 c #Conflicts: 508000 | #Constraints: 47648 2100.29/2105.93 c #Conflicts: 509000 | #Constraints: 48648 2100.29/2105.93 c #Conflicts: 510000 | #Constraints: 49648 2100.29/2105.93 c #Conflicts: 511000 | #Constraints: 50648 2100.29/2105.93 c #Conflicts: 512000 | #Constraints: 51648 2100.29/2105.93 c #Conflicts: 513000 | #Constraints: 52648 2100.29/2105.93 c #Conflicts: 514000 | #Constraints: 53648 2100.29/2105.93 c #Conflicts: 515000 | #Constraints: 54648 2100.29/2105.93 c #Conflicts: 516000 | #Constraints: 55648 2100.29/2105.93 c #Conflicts: 517000 | #Constraints: 56648 2100.29/2105.93 c #Conflicts: 518000 | #Constraints: 57648 2100.29/2105.93 c #Conflicts: 519000 | #Constraints: 58648 2100.29/2105.93 c #Conflicts: 520000 | #Constraints: 59649 2100.29/2105.93 c #Conflicts: 521000 | #Constraints: 60649 2100.29/2105.93 c #Conflicts: 522000 | #Constraints: 61649 2100.29/2105.93 c INPROCESSING 2100.29/2105.93 c GARBAGE COLLECT 2100.29/2105.93 c rational objective 135 2391.17/2397.82 c #Conflicts: 523000 | #Constraints: 42018 2391.17/2397.82 c #Conflicts: 524000 | #Constraints: 43018 2391.17/2397.82 c #Conflicts: 525000 | #Constraints: 44018 2391.17/2397.82 c #Conflicts: 526000 | #Constraints: 45018 2391.17/2397.82 c #Conflicts: 527000 | #Constraints: 46018 2391.17/2397.82 c #Conflicts: 528000 | #Constraints: 47018 2391.17/2397.82 c #Conflicts: 529000 | #Constraints: 48018 2391.17/2397.82 c #Conflicts: 530000 | #Constraints: 49018 2391.17/2397.82 c #Conflicts: 531000 | #Constraints: 50018 2391.17/2397.82 c #Conflicts: 532000 | #Constraints: 51018 2391.17/2397.82 c #Conflicts: 533000 | #Constraints: 52018 2391.17/2397.82 c #Conflicts: 534000 | #Constraints: 53019 2391.17/2397.82 c #Conflicts: 535000 | #Constraints: 54019 2391.17/2397.82 c #Conflicts: 536000 | #Constraints: 55019 2391.17/2397.82 c #Conflicts: 537000 | #Constraints: 56019 2391.17/2397.82 c #Conflicts: 538000 | #Constraints: 57019 2391.17/2397.82 c #Conflicts: 539000 | #Constraints: 58019 2391.17/2397.82 c #Conflicts: 540000 | #Constraints: 59019 2391.17/2397.82 c #Conflicts: 541000 | #Constraints: 60019 2391.17/2397.82 c #Conflicts: 542000 | #Constraints: 61019 2391.17/2397.82 c #Conflicts: 543000 | #Constraints: 62019 2391.17/2397.82 c #Conflicts: 544000 | #Constraints: 63019 2391.17/2397.82 c #Conflicts: 545000 | #Constraints: 64019 2391.17/2397.82 c #Conflicts: 546000 | #Constraints: 65019 2391.17/2397.82 c #Conflicts: 547000 | #Constraints: 66019 2391.17/2397.82 c #Conflicts: 548000 | #Constraints: 67019 2391.17/2397.82 c #Conflicts: 549000 | #Constraints: 68019 2391.17/2397.82 c #Conflicts: 550000 | #Constraints: 69020 2391.17/2397.82 c #Conflicts: 551000 | #Constraints: 70020 2391.17/2397.82 c #Conflicts: 552000 | #Constraints: 71020 2391.17/2397.82 c #Conflicts: 553000 | #Constraints: 72020 2391.17/2397.82 c #Conflicts: 554000 | #Constraints: 73020 2391.17/2397.82 c #Conflicts: 555000 | #Constraints: 74020 2391.17/2397.82 c #Conflicts: 556000 | #Constraints: 75020 2391.17/2397.82 c #Conflicts: 557000 | #Constraints: 76020 2391.17/2397.82 c #Conflicts: 558000 | #Constraints: 77020 2391.17/2397.82 c #Conflicts: 559000 | #Constraints: 78020 2391.17/2397.82 c #Conflicts: 560000 | #Constraints: 79020 2391.17/2397.82 c #Conflicts: 561000 | #Constraints: 80020 2391.17/2397.82 c #Conflicts: 562000 | #Constraints: 81020 2391.17/2397.82 c #Conflicts: 563000 | #Constraints: 82020 2391.17/2397.82 c #Conflicts: 564000 | #Constraints: 83020 2391.17/2397.82 c #Conflicts: 565000 | #Constraints: 84021 2391.17/2397.82 c #Conflicts: 566000 | #Constraints: 85021 2391.17/2397.82 c #Conflicts: 567000 | #Constraints: 86021 2391.17/2397.82 c #Conflicts: 568000 | #Constraints: 87021 2391.17/2397.82 c #Conflicts: 569000 | #Constraints: 88021 2391.17/2397.82 c #Conflicts: 570000 | #Constraints: 89021 2391.17/2397.82 c #Conflicts: 571000 | #Constraints: 90021 2391.17/2397.82 c #Conflicts: 572000 | #Constraints: 91021 2391.17/2397.82 c #Conflicts: 573000 | #Constraints: 92021 2391.17/2397.82 c INPROCESSING 2391.17/2397.82 c GARBAGE COLLECT 2391.17/2397.82 c rational objective 135 2607.72/2615.18 c #Conflicts: 574000 | #Constraints: 55690 2607.72/2615.18 c #Conflicts: 575000 | #Constraints: 56690 2607.72/2615.18 c #Conflicts: 576000 | #Constraints: 57690 2607.72/2615.18 c #Conflicts: 577000 | #Constraints: 58690 2607.72/2615.18 c #Conflicts: 578000 | #Constraints: 59691 2607.72/2615.18 c #Conflicts: 579000 | #Constraints: 60691 2607.72/2615.18 c #Conflicts: 580000 | #Constraints: 61691 2607.72/2615.18 c #Conflicts: 581000 | #Constraints: 62692 2607.72/2615.18 c #Conflicts: 582000 | #Constraints: 63692 2607.72/2615.18 c #Conflicts: 583000 | #Constraints: 64692 2607.72/2615.18 c #Conflicts: 584000 | #Constraints: 65692 2607.72/2615.18 c #Conflicts: 585000 | #Constraints: 66693 2607.72/2615.18 c #Conflicts: 586000 | #Constraints: 67693 2607.72/2615.18 c #Conflicts: 587000 | #Constraints: 68693 2607.72/2615.18 c #Conflicts: 588000 | #Constraints: 69693 2607.72/2615.18 c #Conflicts: 589000 | #Constraints: 70693 2607.72/2615.18 c #Conflicts: 590000 | #Constraints: 71693 2607.72/2615.18 c #Conflicts: 591000 | #Constraints: 72693 2607.72/2615.18 c #Conflicts: 592000 | #Constraints: 73693 2607.72/2615.18 c INPROCESSING 2607.72/2615.18 c GARBAGE COLLECT 2607.72/2615.18 c #Conflicts: 593000 | #Constraints: 46210 2607.72/2615.18 c #Conflicts: 594000 | #Constraints: 47210 2607.72/2615.18 c #Conflicts: 595000 | #Constraints: 48210 2607.72/2615.18 c #Conflicts: 596000 | #Constraints: 49210 2607.72/2615.18 c #Conflicts: 597000 | #Constraints: 50210 2607.72/2615.18 c #Conflicts: 598000 | #Constraints: 51210 2607.72/2615.18 c #Conflicts: 599000 | #Constraints: 52211 2607.72/2615.18 c #Conflicts: 600000 | #Constraints: 53211 2607.72/2615.18 c #Conflicts: 601000 | #Constraints: 54211 2607.72/2615.18 c #Conflicts: 602000 | #Constraints: 55211 2607.72/2615.18 c #Conflicts: 603000 | #Constraints: 56211 2607.72/2615.18 c #Conflicts: 604000 | #Constraints: 57211 2607.72/2615.18 c #Conflicts: 605000 | #Constraints: 58211 2607.72/2615.18 c #Conflicts: 606000 | #Constraints: 59211 2607.72/2615.18 c #Conflicts: 607000 | #Constraints: 60211 2607.72/2615.18 c #Conflicts: 608000 | #Constraints: 61211 2607.72/2615.18 c #Conflicts: 609000 | #Constraints: 62211 2607.72/2615.18 c #Conflicts: 610000 | #Constraints: 63211 2607.72/2615.18 c #Conflicts: 611000 | #Constraints: 64211 2607.72/2615.18 c #Conflicts: 612000 | #Constraints: 65211 2607.72/2615.18 c INPROCESSING 2607.72/2615.18 c GARBAGE COLLECT 2607.72/2615.18 c #Conflicts: 613000 | #Constraints: 44745 2607.72/2615.18 c #Conflicts: 614000 | #Constraints: 45745 2607.72/2615.18 c #Conflicts: 615000 | #Constraints: 46745 2607.72/2615.18 c #Conflicts: 616000 | #Constraints: 47745 2607.72/2615.18 c #Conflicts: 617000 | #Constraints: 48745 2607.72/2615.18 c #Conflicts: 618000 | #Constraints: 49745 2607.72/2615.18 c #Conflicts: 619000 | #Constraints: 50745 2607.72/2615.18 c #Conflicts: 620000 | #Constraints: 51745 2607.72/2615.18 c #Conflicts: 621000 | #Constraints: 52745 2607.72/2615.18 c #Conflicts: 622000 | #Constraints: 53745 2607.72/2615.18 c #Conflicts: 623000 | #Constraints: 54745 2607.72/2615.18 c #Conflicts: 624000 | #Constraints: 55745 2607.72/2615.18 c #Conflicts: 625000 | #Constraints: 56745 2607.72/2615.18 c #Conflicts: 626000 | #Constraints: 57745 2607.72/2615.18 c #Conflicts: 627000 | #Constraints: 58745 2607.72/2615.18 c #Conflicts: 628000 | #Constraints: 59746 2607.72/2615.18 c #Conflicts: 629000 | #Constraints: 60746 2607.72/2615.18 c #Conflicts: 630000 | #Constraints: 61746 2607.72/2615.18 c #Conflicts: 631000 | #Constraints: 62746 2607.72/2615.18 c #Conflicts: 632000 | #Constraints: 63746 2607.72/2615.18 c #Conflicts: 633000 | #Constraints: 64746 2607.72/2615.18 c #Conflicts: 634000 | #Constraints: 65746 2607.72/2615.18 c #Conflicts: 635000 | #Constraints: 66747 2607.72/2615.18 c #Conflicts: 636000 | #Constraints: 67747 2607.72/2615.18 c #Conflicts: 637000 | #Constraints: 68747 2607.72/2615.18 c #Conflicts: 638000 | #Constraints: 69747 2607.72/2615.18 c #Conflicts: 639000 | #Constraints: 70747 2607.72/2615.18 c #Conflicts: 640000 | #Constraints: 71747 2607.72/2615.18 c #Conflicts: 641000 | #Constraints: 72747 2607.72/2615.18 c #Conflicts: 642000 | #Constraints: 73747 2607.72/2615.18 c #Conflicts: 643000 | #Constraints: 74747 2607.72/2615.18 c #Conflicts: 644000 | #Constraints: 75747 2607.72/2615.18 c #Conflicts: 645000 | #Constraints: 76747 2607.72/2615.18 c #Conflicts: 646000 | #Constraints: 77747 2607.72/2615.18 c #Conflicts: 647000 | #Constraints: 78747 2607.72/2615.18 c #Conflicts: 648000 | #Constraints: 79747 2607.72/2615.18 c #Conflicts: 649000 | #Constraints: 80748 2607.72/2615.18 c #Conflicts: 650000 | #Constraints: 81748 2607.72/2615.18 c #Conflicts: 651000 | #Constraints: 82748 2771.88/2779.98 c #Conflicts: 652000 | #Constraints: 83748 2771.88/2779.98 c #Conflicts: 653000 | #Constraints: 84748 2771.88/2779.98 c #Conflicts: 654000 | #Constraints: 85748 2771.88/2779.98 c #Conflicts: 655000 | #Constraints: 86748 2771.88/2779.98 c #Conflicts: 656000 | #Constraints: 87748 2771.88/2779.98 c #Conflicts: 657000 | #Constraints: 88748 2771.88/2779.98 c #Conflicts: 658000 | #Constraints: 89748 2771.88/2779.98 c #Conflicts: 659000 | #Constraints: 90748 2771.88/2779.98 c #Conflicts: 660000 | #Constraints: 91748 2771.88/2779.98 c #Conflicts: 661000 | #Constraints: 92748 2771.88/2779.98 c #Conflicts: 662000 | #Constraints: 93748 2771.88/2779.98 c #Conflicts: 663000 | #Constraints: 94749 2771.88/2779.98 c #Conflicts: 664000 | #Constraints: 95749 2771.88/2779.98 c #Conflicts: 665000 | #Constraints: 96749 2771.88/2779.98 c #Conflicts: 666000 | #Constraints: 97749 2771.88/2779.98 c #Conflicts: 667000 | #Constraints: 98749 2771.88/2779.98 c #Conflicts: 668000 | #Constraints: 99749 2771.88/2779.98 c INPROCESSING 2771.88/2779.98 c GARBAGE COLLECT 2771.88/2779.98 c rational objective 135 2909.96/2918.46 c #Conflicts: 669000 | #Constraints: 59729 2909.96/2918.46 c #Conflicts: 670000 | #Constraints: 60729 2909.96/2918.46 c #Conflicts: 671000 | #Constraints: 61729 2909.96/2918.46 c #Conflicts: 672000 | #Constraints: 62729 2909.96/2918.46 c #Conflicts: 673000 | #Constraints: 63729 2909.96/2918.46 c #Conflicts: 674000 | #Constraints: 64729 2909.96/2918.46 c #Conflicts: 675000 | #Constraints: 65729 2909.96/2918.46 c #Conflicts: 676000 | #Constraints: 66729 2909.96/2918.46 c #Conflicts: 677000 | #Constraints: 67729 2909.96/2918.46 c #Conflicts: 678000 | #Constraints: 68730 2909.96/2918.46 c #Conflicts: 679000 | #Constraints: 69730 2909.96/2918.46 c #Conflicts: 680000 | #Constraints: 70730 2909.96/2918.46 c #Conflicts: 681000 | #Constraints: 71730 2909.96/2918.46 c #Conflicts: 682000 | #Constraints: 72730 2909.96/2918.46 c #Conflicts: 683000 | #Constraints: 73730 2909.96/2918.46 c #Conflicts: 684000 | #Constraints: 74730 2909.96/2918.46 c #Conflicts: 685000 | #Constraints: 75730 2909.96/2918.46 c #Conflicts: 686000 | #Constraints: 76731 2909.96/2918.46 c #Conflicts: 687000 | #Constraints: 77731 2909.96/2918.46 c #Conflicts: 688000 | #Constraints: 78731 2909.96/2918.46 c INPROCESSING 2909.96/2918.46 c GARBAGE COLLECT 2909.96/2918.46 c #Conflicts: 689000 | #Constraints: 48993 2909.96/2918.46 c #Conflicts: 690000 | #Constraints: 49994 2909.96/2918.46 c #Conflicts: 691000 | #Constraints: 50994 2909.96/2918.46 c #Conflicts: 692000 | #Constraints: 51994 2909.96/2918.46 c #Conflicts: 693000 | #Constraints: 52994 2909.96/2918.46 c #Conflicts: 694000 | #Constraints: 53994 2909.96/2918.46 c #Conflicts: 695000 | #Constraints: 54994 2909.96/2918.46 c #Conflicts: 696000 | #Constraints: 55994 2909.96/2918.46 c #Conflicts: 697000 | #Constraints: 56994 2909.96/2918.46 c #Conflicts: 698000 | #Constraints: 57994 2909.96/2918.46 c #Conflicts: 699000 | #Constraints: 58994 2909.96/2918.46 c #Conflicts: 700000 | #Constraints: 59994 2909.96/2918.46 c #Conflicts: 701000 | #Constraints: 60994 2909.96/2918.46 c #Conflicts: 702000 | #Constraints: 61994 2909.96/2918.46 c #Conflicts: 703000 | #Constraints: 62994 2909.96/2918.46 c #Conflicts: 704000 | #Constraints: 63994 2909.96/2918.46 c #Conflicts: 705000 | #Constraints: 64994 2909.96/2918.46 c #Conflicts: 706000 | #Constraints: 65994 2909.96/2918.46 c #Conflicts: 707000 | #Constraints: 66995 2909.96/2918.46 c #Conflicts: 708000 | #Constraints: 67995 2909.96/2918.46 c #Conflicts: 709000 | #Constraints: 68995 2909.96/2918.46 c INPROCESSING 2909.96/2918.46 c GARBAGE COLLECT 2909.96/2918.46 c rational objective 135 3079.58/3088.56 c #Conflicts: 710000 | #Constraints: 47422 3079.58/3088.56 c #Conflicts: 711000 | #Constraints: 48422 3079.58/3088.56 c #Conflicts: 712000 | #Constraints: 49422 3079.58/3088.56 c #Conflicts: 713000 | #Constraints: 50422 3079.58/3088.56 c #Conflicts: 714000 | #Constraints: 51422 3079.58/3088.56 c #Conflicts: 715000 | #Constraints: 52422 3079.58/3088.56 c #Conflicts: 716000 | #Constraints: 53422 3079.58/3088.56 c #Conflicts: 717000 | #Constraints: 54422 3079.58/3088.56 c #Conflicts: 718000 | #Constraints: 55422 3079.58/3088.56 c #Conflicts: 719000 | #Constraints: 56422 3079.58/3088.56 c #Conflicts: 720000 | #Constraints: 57422 3079.58/3088.56 c #Conflicts: 721000 | #Constraints: 58422 3079.58/3088.56 c #Conflicts: 722000 | #Constraints: 59422 3079.58/3088.56 c #Conflicts: 723000 | #Constraints: 60422 3079.58/3088.56 c #Conflicts: 724000 | #Constraints: 61422 3079.58/3088.56 c #Conflicts: 725000 | #Constraints: 62423 3079.58/3088.56 c #Conflicts: 726000 | #Constraints: 63423 3079.58/3088.56 c #Conflicts: 727000 | #Constraints: 64423 3079.58/3088.56 c #Conflicts: 728000 | #Constraints: 65423 3079.58/3088.56 c #Conflicts: 729000 | #Constraints: 66423 3079.58/3088.56 c #Conflicts: 730000 | #Constraints: 67424 3079.58/3088.56 c #Conflicts: 731000 | #Constraints: 68424 3079.58/3088.56 c #Conflicts: 732000 | #Constraints: 69425 3079.58/3088.56 c #Conflicts: 733000 | #Constraints: 70425 3079.58/3088.56 c #Conflicts: 734000 | #Constraints: 71425 3079.58/3088.56 c #Conflicts: 735000 | #Constraints: 72425 3079.58/3088.56 c #Conflicts: 736000 | #Constraints: 73425 3079.58/3088.56 c #Conflicts: 737000 | #Constraints: 74425 3079.58/3088.56 c #Conflicts: 738000 | #Constraints: 75426 3079.58/3088.56 c #Conflicts: 739000 | #Constraints: 76426 3079.58/3088.56 c #Conflicts: 740000 | #Constraints: 77426 3079.58/3088.56 c #Conflicts: 741000 | #Constraints: 78426 3079.58/3088.56 c #Conflicts: 742000 | #Constraints: 79426 3079.58/3088.56 c #Conflicts: 743000 | #Constraints: 80426 3079.58/3088.56 c #Conflicts: 744000 | #Constraints: 81426 3079.58/3088.56 c #Conflicts: 745000 | #Constraints: 82426 3079.58/3088.56 c #Conflicts: 746000 | #Constraints: 83426 3079.58/3088.56 c #Conflicts: 747000 | #Constraints: 84426 3079.58/3088.56 c #Conflicts: 748000 | #Constraints: 85426 3079.58/3088.56 c #Conflicts: 749000 | #Constraints: 86426 3079.58/3088.56 c #Conflicts: 750000 | #Constraints: 87426 3079.58/3088.56 c #Conflicts: 751000 | #Constraints: 88426 3079.58/3088.56 c #Conflicts: 752000 | #Constraints: 89426 3079.58/3088.56 c #Conflicts: 753000 | #Constraints: 90426 3079.58/3088.56 c #Conflicts: 754000 | #Constraints: 91426 3079.58/3088.56 c #Conflicts: 755000 | #Constraints: 92426 3079.58/3088.56 c #Conflicts: 756000 | #Constraints: 93426 3079.58/3088.56 c #Conflicts: 757000 | #Constraints: 94426 3079.58/3088.56 c #Conflicts: 758000 | #Constraints: 95426 3079.58/3088.56 c #Conflicts: 759000 | #Constraints: 96427 3079.58/3088.56 c #Conflicts: 760000 | #Constraints: 97427 3079.58/3088.56 c #Conflicts: 761000 | #Constraints: 98428 3079.58/3088.56 c #Conflicts: 762000 | #Constraints: 99428 3079.58/3088.56 c #Conflicts: 763000 | #Constraints: 100428 3079.58/3088.56 c #Conflicts: 764000 | #Constraints: 101428 3079.58/3088.56 c #Conflicts: 765000 | #Constraints: 102428 3079.58/3088.56 c #Conflicts: 766000 | #Constraints: 103428 3079.58/3088.56 c #Conflicts: 767000 | #Constraints: 104428 3079.58/3088.56 c #Conflicts: 768000 | #Constraints: 105428 3079.58/3088.56 c #Conflicts: 769000 | #Constraints: 106428 3079.58/3088.56 c INPROCESSING 3079.58/3088.56 c GARBAGE COLLECT 3079.58/3088.56 c rational objective 135 3248.88/3258.29 c #Conflicts: 770000 | #Constraints: 62767 3248.88/3258.29 c #Conflicts: 771000 | #Constraints: 63767 3248.88/3258.29 c #Conflicts: 772000 | #Constraints: 64767 3248.88/3258.29 c #Conflicts: 773000 | #Constraints: 65767 3248.88/3258.29 c #Conflicts: 774000 | #Constraints: 66767 3248.88/3258.29 c #Conflicts: 775000 | #Constraints: 67767 3248.88/3258.29 c #Conflicts: 776000 | #Constraints: 68767 3248.88/3258.29 c #Conflicts: 777000 | #Constraints: 69767 3248.88/3258.29 c #Conflicts: 778000 | #Constraints: 70767 3248.88/3258.29 c #Conflicts: 779000 | #Constraints: 71767 3248.88/3258.29 c #Conflicts: 780000 | #Constraints: 72767 3248.88/3258.29 c #Conflicts: 781000 | #Constraints: 73767 3248.88/3258.29 c #Conflicts: 782000 | #Constraints: 74767 3248.88/3258.29 c #Conflicts: 783000 | #Constraints: 75767 3248.88/3258.29 c #Conflicts: 784000 | #Constraints: 76767 3248.88/3258.29 c #Conflicts: 785000 | #Constraints: 77767 3248.88/3258.29 c #Conflicts: 786000 | #Constraints: 78767 3248.88/3258.29 c #Conflicts: 787000 | #Constraints: 79767 3248.88/3258.29 c #Conflicts: 788000 | #Constraints: 80767 3248.88/3258.29 c #Conflicts: 789000 | #Constraints: 81768 3248.88/3258.29 c #Conflicts: 790000 | #Constraints: 82768 3248.88/3258.29 c #Conflicts: 791000 | #Constraints: 83768 3248.88/3258.29 c #Conflicts: 792000 | #Constraints: 84768 3248.88/3258.29 c INPROCESSING 3248.88/3258.29 c GARBAGE COLLECT 3248.88/3258.29 c rational objective 135 3498.47/3508.48 c #Conflicts: 793000 | #Constraints: 52352 3498.47/3508.48 c #Conflicts: 794000 | #Constraints: 53352 3498.47/3508.48 c #Conflicts: 795000 | #Constraints: 54352 3498.47/3508.48 c #Conflicts: 796000 | #Constraints: 55352 3498.47/3508.48 c #Conflicts: 797000 | #Constraints: 56352 3498.47/3508.48 c #Conflicts: 798000 | #Constraints: 57352 3498.47/3508.48 c #Conflicts: 799000 | #Constraints: 58352 3498.47/3508.48 c #Conflicts: 800000 | #Constraints: 59352 3498.47/3508.48 c #Conflicts: 801000 | #Constraints: 60352 3498.47/3508.48 c #Conflicts: 802000 | #Constraints: 61352 3498.47/3508.48 c #Conflicts: 803000 | #Constraints: 62352 3498.47/3508.48 c #Conflicts: 804000 | #Constraints: 63353 3498.47/3508.48 c #Conflicts: 805000 | #Constraints: 64353 3498.47/3508.48 c #Conflicts: 806000 | #Constraints: 65353 3498.47/3508.48 c #Conflicts: 807000 | #Constraints: 66353 3498.47/3508.48 c #Conflicts: 808000 | #Constraints: 67354 3498.47/3508.48 c #Conflicts: 809000 | #Constraints: 68354 3498.47/3508.48 c #Conflicts: 810000 | #Constraints: 69354 3498.47/3508.48 c #Conflicts: 811000 | #Constraints: 70354 3498.47/3508.48 c #Conflicts: 812000 | #Constraints: 71354 3498.47/3508.48 c #Conflicts: 813000 | #Constraints: 72354 3498.47/3508.48 c #Conflicts: 814000 | #Constraints: 73354 3498.47/3508.48 c INPROCESSING 3498.47/3508.48 c GARBAGE COLLECT 3498.47/3508.48 c #Conflicts: 815000 | #Constraints: 50387 3498.47/3508.48 c #Conflicts: 816000 | #Constraints: 51387 3498.47/3508.48 c #Conflicts: 817000 | #Constraints: 52388 3498.47/3508.48 c #Conflicts: 818000 | #Constraints: 53388 3498.47/3508.48 c #Conflicts: 819000 | #Constraints: 54388 3498.47/3508.48 c #Conflicts: 820000 | #Constraints: 55388 3498.47/3508.48 c #Conflicts: 821000 | #Constraints: 56388 3498.47/3508.48 c #Conflicts: 822000 | #Constraints: 57388 3498.47/3508.48 c #Conflicts: 823000 | #Constraints: 58388 3498.47/3508.48 c #Conflicts: 824000 | #Constraints: 59388 3498.47/3508.48 c #Conflicts: 825000 | #Constraints: 60388 3498.47/3508.48 c #Conflicts: 826000 | #Constraints: 61389 3498.47/3508.48 c #Conflicts: 827000 | #Constraints: 62389 3498.47/3508.48 c #Conflicts: 828000 | #Constraints: 63389 3498.47/3508.48 c #Conflicts: 829000 | #Constraints: 64389 3498.47/3508.48 c #Conflicts: 830000 | #Constraints: 65390 3498.47/3508.48 c #Conflicts: 831000 | #Constraints: 66390 3498.47/3508.49 c #Conflicts: 832000 | #Constraints: 67390 3498.47/3508.49 c #Conflicts: 833000 | #Constraints: 68390 3498.47/3508.49 c #Conflicts: 834000 | #Constraints: 69390 3498.47/3508.49 c #Conflicts: 835000 | #Constraints: 70390 3498.47/3508.49 c #Conflicts: 836000 | #Constraints: 71390 3498.47/3508.49 c #Conflicts: 837000 | #Constraints: 72390 3498.47/3508.49 c #Conflicts: 838000 | #Constraints: 73390 3498.47/3508.49 c #Conflicts: 839000 | #Constraints: 74390 3498.47/3508.49 c #Conflicts: 840000 | #Constraints: 75390 3498.47/3508.49 c #Conflicts: 841000 | #Constraints: 76390 3498.47/3508.49 c #Conflicts: 842000 | #Constraints: 77390 3498.47/3508.49 c #Conflicts: 843000 | #Constraints: 78390 3498.47/3508.49 c #Conflicts: 844000 | #Constraints: 79390 3498.47/3508.49 c #Conflicts: 845000 | #Constraints: 80390 3498.47/3508.49 c #Conflicts: 846000 | #Constraints: 81390 3498.47/3508.49 c #Conflicts: 847000 | #Constraints: 82390 3498.47/3508.49 c #Conflicts: 848000 | #Constraints: 83390 3498.47/3508.49 c #Conflicts: 849000 | #Constraints: 84391 3498.47/3508.49 c #Conflicts: 850000 | #Constraints: 85391 3498.47/3508.49 c #Conflicts: 851000 | #Constraints: 86391 3498.47/3508.49 c #Conflicts: 852000 | #Constraints: 87391 3498.47/3508.49 c #Conflicts: 853000 | #Constraints: 88391 3498.47/3508.49 c #Conflicts: 854000 | #Constraints: 89391 3498.47/3508.49 c #Conflicts: 855000 | #Constraints: 90391 3498.47/3508.49 c #Conflicts: 856000 | #Constraints: 91391 3498.47/3508.49 c #Conflicts: 857000 | #Constraints: 92391 3498.47/3508.49 c #Conflicts: 858000 | #Constraints: 93391 3498.47/3508.49 c #Conflicts: 859000 | #Constraints: 94391 3498.47/3508.49 c #Conflicts: 860000 | #Constraints: 95391 3498.47/3508.49 c #Conflicts: 861000 | #Constraints: 96391 3498.47/3508.49 c #Conflicts: 862000 | #Constraints: 97391 3498.47/3508.49 c #Conflicts: 863000 | #Constraints: 98391 3498.47/3508.49 c #Conflicts: 864000 | #Constraints: 99391 3498.47/3508.49 c #Conflicts: 865000 | #Constraints: 100391 3498.47/3508.49 c #Conflicts: 866000 | #Constraints: 101391 3498.47/3508.49 c #Conflicts: 867000 | #Constraints: 102391 3498.47/3508.49 c #Conflicts: 868000 | #Constraints: 103391 3498.47/3508.49 c #Conflicts: 869000 | #Constraints: 104391 3498.47/3508.49 c #Conflicts: 870000 | #Constraints: 105391 3498.47/3508.49 c #Conflicts: 871000 | #Constraints: 106391 3532.48/3542.57 c #Conflicts: 872000 | #Constraints: 107391 3532.48/3542.57 c #Conflicts: 873000 | #Constraints: 108391 3532.48/3542.57 c #Conflicts: 874000 | #Constraints: 109391 3532.48/3542.57 c #Conflicts: 875000 | #Constraints: 110391 3532.48/3542.57 c #Conflicts: 876000 | #Constraints: 111391 3532.48/3542.57 c #Conflicts: 877000 | #Constraints: 112391 3532.48/3542.57 c #Conflicts: 878000 | #Constraints: 113391 3532.48/3542.57 c INPROCESSING 3532.48/3542.57 c GARBAGE COLLECT 3532.48/3542.57 c rational objective 135 3583.87/3594.02 c #Conflicts: 879000 | #Constraints: 66348 3583.87/3594.02 c #Conflicts: 880000 | #Constraints: 67348 3583.87/3594.02 c #Conflicts: 881000 | #Constraints: 68348 3583.87/3594.02 c #Conflicts: 882000 | #Constraints: 69348 3583.87/3594.02 c #Conflicts: 883000 | #Constraints: 70348 3583.87/3594.02 c #Conflicts: 884000 | #Constraints: 71348 3583.87/3594.02 c #Conflicts: 885000 | #Constraints: 72348 3583.87/3594.02 c #Conflicts: 886000 | #Constraints: 73348 3583.87/3594.02 c #Conflicts: 887000 | #Constraints: 74348 3583.87/3594.02 c #Conflicts: 888000 | #Constraints: 75348 3583.87/3594.02 c #Conflicts: 889000 | #Constraints: 76348 3583.87/3594.02 c #Conflicts: 890000 | #Constraints: 77348 3583.87/3594.02 c #Conflicts: 891000 | #Constraints: 78348 3583.87/3594.02 c #Conflicts: 892000 | #Constraints: 79348 3583.87/3594.02 c #Conflicts: 893000 | #Constraints: 80348 3583.87/3594.02 c #Conflicts: 894000 | #Constraints: 81348 3583.87/3594.02 c #Conflicts: 895000 | #Constraints: 82348 3583.87/3594.02 c #Conflicts: 896000 | #Constraints: 83348 3583.87/3594.02 c #Conflicts: 897000 | #Constraints: 84348 3583.87/3594.02 c #Conflicts: 898000 | #Constraints: 85348 3583.87/3594.02 c #Conflicts: 899000 | #Constraints: 86348 3583.87/3594.02 c #Conflicts: 900000 | #Constraints: 87348 3583.87/3594.02 c #Conflicts: 901000 | #Constraints: 88348 3583.87/3594.02 c #Conflicts: 902000 | #Constraints: 89348 3583.87/3594.02 c INPROCESSING 3583.87/3594.02 c GARBAGE COLLECT 3583.87/3594.02 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 (13222 MiB free)
memory of node 1: 64510 MiB (31037 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460672-1722069397/watcher-4460672-1722069397 -o /tmp/evaluation-result-4460672-1722069397/solver-4460672-1722069397 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722064838-359139 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460672-1722069397 --lp-cut-gomory=0 HOME/instance-4460672-1722069397.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=362214, runsolver pid=362211
[startup+0.100081 s]*
/proc/loadavg: 4.19 4.27 4.17 5/261 362215
/proc/meminfo: memFree=45314972/131655788 swapFree=131058856/131071996
[pid=362214] ppid=362211 vsize=40612 memory=9008 CPUtime=0.1 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 1466 0 0 0 8 2 0 0 20 0 1 0 42929275 41586688 2252 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 10153 2252 1351 992 0 2011 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40612 KiB
Current children cumulated memory: 9008 KiB
[startup+0.20607 s]*
/proc/loadavg: 4.19 4.27 4.17 5/261 362215
/proc/meminfo: memFree=45297916/131655788 swapFree=131058856/131071996
[pid=362214] ppid=362211 vsize=44076 memory=15764 CPUtime=0.2 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 2379 0 0 0 16 4 0 0 20 0 1 0 42929275 45133824 3941 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 11019 3941 1622 992 0 2877 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44076 KiB
Current children cumulated memory: 15764 KiB
[startup+0.30595 s]*
/proc/loadavg: 4.19 4.27 4.17 7/261 362215
/proc/meminfo: memFree=45274196/131655788 swapFree=131058856/131071996
[pid=362214] ppid=362211 vsize=60340 memory=30832 CPUtime=0.3 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 7349 0 0 0 25 5 0 0 20 0 1 0 42929275 61788160 7708 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 15085 7708 1702 992 0 6943 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 60340 KiB
Current children cumulated memory: 30832 KiB
[startup+0.700314 s]
/proc/loadavg: 4.19 4.27 4.17 5/261 362215
/proc/meminfo: memFree=45257928/131655788 swapFree=131058856/131071996
[pid=362214] ppid=362211 vsize=63824 memory=33472 CPUtime=0.69 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 8006 0 0 0 63 6 0 0 20 0 1 0 42929275 65355776 8368 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 15956 8368 1702 992 0 7814 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 63824 KiB
Current children cumulated memory: 33472 KiB
[startup+1.50033 s]
/proc/loadavg: 4.19 4.27 4.17 5/261 362215
/proc/meminfo: memFree=45235552/131655788 swapFree=131058856/131071996
[pid=362214] ppid=362211 vsize=65980 memory=35584 CPUtime=1.49 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 8546 0 0 0 142 7 0 0 20 0 1 0 42929275 67563520 8896 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 16495 8896 1702 992 0 8353 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 65980 KiB
Current children cumulated memory: 35584 KiB
[startup+3.11383 s]
/proc/loadavg: 4.19 4.27 4.17 5/261 362215
/proc/meminfo: memFree=45094864/131655788 swapFree=131058856/131071996
[pid=362214] ppid=362211 vsize=68220 memory=39192 CPUtime=3.09 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 9388 0 0 0 293 16 0 0 20 0 1 0 42929275 69857280 9798 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 17055 9798 1750 992 0 8913 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 68220 KiB
Current children cumulated memory: 39192 KiB
[startup+6.30032 s]
/proc/loadavg: 4.17 4.27 4.17 5/261 362215
/proc/meminfo: memFree=44954584/131655788 swapFree=131058856/131071996
[pid=362214] ppid=362211 vsize=71780 memory=43772 CPUtime=6.27 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 10449 0 0 0 605 22 0 0 20 0 1 0 42929275 73502720 10943 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 17945 10943 1845 992 0 9803 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 71780 KiB
Current children cumulated memory: 43772 KiB
[startup+12.7003 s]
/proc/loadavg: 4.24 4.28 4.17 5/261 362217
/proc/meminfo: memFree=44654444/131655788 swapFree=131058856/131071996
[pid=362214] ppid=362211 vsize=80516 memory=49208 CPUtime=12.66 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 11792 0 0 0 1229 37 0 0 20 0 1 0 42929275 82448384 12302 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 20129 12302 1845 992 0 11987 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 80516 KiB
Current children cumulated memory: 49208 KiB
[startup+25.5003 s]
/proc/loadavg: 4.19 4.26 4.17 5/266 362224
/proc/meminfo: memFree=44452000/131655788 swapFree=131058856/131071996
[pid=362214] ppid=362211 vsize=84780 memory=53960 CPUtime=25.42 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 12995 0 0 0 2486 56 0 0 20 0 1 0 42929275 86814720 13490 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 21195 13490 1845 992 0 13053 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 84780 KiB
Current children cumulated memory: 53960 KiB
[startup+51.1143 s]
/proc/loadavg: 4.19 4.26 4.17 5/266 362229
/proc/meminfo: memFree=43515352/131655788 swapFree=131058856/131071996
[pid=362214] ppid=362211 vsize=89520 memory=61024 CPUtime=50.97 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 14281 0 0 0 5014 83 0 0 20 0 1 0 42929275 91668480 15256 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 22380 15256 1845 992 0 14238 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 89520 KiB
Current children cumulated memory: 61024 KiB
[startup+102.3 s]
/proc/loadavg: 4.43 4.31 4.19 5/265 362237
/proc/meminfo: memFree=41648816/131655788 swapFree=131058856/131071996
[pid=362214] ppid=362211 vsize=127400 memory=97852 CPUtime=102.03 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 20488 0 0 0 10049 154 0 0 20 0 1 0 42929275 130457600 24463 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 31850 24463 1845 992 0 23708 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 127400 KiB
Current children cumulated memory: 97852 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 4.27 4.18 5/266 362249
/proc/meminfo: memFree=38227188/131655788 swapFree=131058856/131071996
[pid=362214] ppid=362211 vsize=181928 memory=142788 CPUtime=161.88 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 23060 0 0 0 15994 194 0 0 20 0 1 0 42929275 186294272 35697 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 45482 35697 1845 992 0 37340 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 181928 KiB
Current children cumulated memory: 142788 KiB
[startup+222.3 s]
/proc/loadavg: 4.23 4.26 4.18 5/265 362259
/proc/meminfo: memFree=35940072/131655788 swapFree=131058856/131071996
[pid=362214] ppid=362211 vsize=190536 memory=161180 CPUtime=221.72 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 25102 0 0 0 21915 257 0 0 20 0 1 0 42929275 195108864 40295 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 47634 40295 1845 992 0 39492 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 190536 KiB
Current children cumulated memory: 161180 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.24 4.18 5/265 362272
/proc/meminfo: memFree=34078924/131655788 swapFree=131058856/131071996
[pid=362214] ppid=362211 vsize=192740 memory=163288 CPUtime=281.58 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 25636 0 0 0 27852 306 0 0 20 0 1 0 42929275 197365760 40822 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 48185 40822 1845 992 0 40043 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 192740 KiB
Current children cumulated memory: 163288 KiB
[startup+342.3 s]
/proc/loadavg: 4.25 4.24 4.18 5/261 362286
/proc/meminfo: memFree=31913852/131655788 swapFree=131058856/131071996
[pid=362214] ppid=362211 vsize=204460 memory=175108 CPUtime=341.42 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 28585 0 0 0 33768 374 0 0 20 0 1 0 42929275 209367040 43777 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 51115 43777 1845 992 0 42973 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 204460 KiB
Current children cumulated memory: 175108 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.21 4.18 5/265 362300
/proc/meminfo: memFree=28874704/131655788 swapFree=131058856/131071996
[pid=362214] ppid=362211 vsize=204460 memory=175108 CPUtime=401.27 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 28592 0 0 0 39734 393 0 0 20 0 1 0 42929275 209367040 43777 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 51115 43777 1845 992 0 42973 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 204460 KiB
Current children cumulated memory: 175108 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.20 4.18 5/265 362310
/proc/meminfo: memFree=25477976/131655788 swapFree=131058856/131071996
[pid=362214] ppid=362211 vsize=261764 memory=184892 CPUtime=461.12 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 30522 0 0 0 45660 452 0 0 20 0 1 0 42929275 268046336 46223 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 65441 46223 1845 992 0 57299 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.73 4.32 4.25 5/249 364101
/proc/meminfo: memFree=108505908/131655788 swapFree=131057576/131071996
[pid=362214] ppid=362211 vsize=887684 memory=741492 CPUtime=3033.51 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 198784 0 0 0 300272 3079 0 0 20 0 1 0 42929275 908988416 185373 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 221921 185373 1931 992 0 213779 0
Current children cumulated CPU time: 3033.51 s
Current children cumulated vsize: 887684 KiB
Current children cumulated memory: 741492 KiB
[startup+3102.3 s]
/proc/loadavg: 4.49 4.35 4.27 5/248 364111
/proc/meminfo: memFree=108132636/131655788 swapFree=131057576/131071996
[pid=362214] ppid=362211 vsize=891700 memory=745632 CPUtime=3093.35 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 201637 0 0 0 306191 3144 0 0 20 0 1 0 42929275 913100800 186408 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 222925 186408 1931 992 0 214783 0
Current children cumulated CPU time: 3093.35 s
Current children cumulated vsize: 891700 KiB
Current children cumulated memory: 745632 KiB
[startup+3162.3 s]
/proc/loadavg: 4.37 4.33 4.27 5/249 364291
/proc/meminfo: memFree=107794696/131655788 swapFree=131057576/131071996
[pid=362214] ppid=362211 vsize=892196 memory=745916 CPUtime=3153.21 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 201797 0 0 0 312131 3190 0 0 20 0 1 0 42929275 913608704 186479 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 223049 186479 1931 992 0 214907 0
Current children cumulated CPU time: 3153.21 s
Current children cumulated vsize: 892196 KiB
Current children cumulated memory: 745916 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.28 4.25 5/249 364301
/proc/meminfo: memFree=107510308/131655788 swapFree=131057576/131071996
[pid=362214] ppid=362211 vsize=892196 memory=747620 CPUtime=3213.06 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 201801 0 0 0 318095 3211 0 0 20 0 1 0 42929275 913608704 186905 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 223049 186905 1931 992 0 214907 0
Current children cumulated CPU time: 3213.06 s
Current children cumulated vsize: 892196 KiB
Current children cumulated memory: 747620 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.26 4.25 5/251 364370
/proc/meminfo: memFree=107175264/131655788 swapFree=131057576/131071996
[pid=362214] ppid=362211 vsize=892560 memory=750116 CPUtime=3272.93 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 202123 0 0 0 324023 3270 0 0 20 0 1 0 42929275 913981440 187529 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 223140 187529 1931 992 0 214998 0
Current children cumulated CPU time: 3272.93 s
Current children cumulated vsize: 892560 KiB
Current children cumulated memory: 750116 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.23 4.24 5/251 364382
/proc/meminfo: memFree=106644844/131655788 swapFree=131057576/131071996
[pid=362214] ppid=362211 vsize=893504 memory=751436 CPUtime=3332.78 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 202737 0 0 0 329930 3348 0 0 20 0 1 0 42929275 914948096 187859 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 223376 187859 1931 992 0 215234 0
Current children cumulated CPU time: 3332.78 s
Current children cumulated vsize: 893504 KiB
Current children cumulated memory: 751436 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.20 4.22 5/251 364392
/proc/meminfo: memFree=106203404/131655788 swapFree=131057576/131071996
[pid=362214] ppid=362211 vsize=908476 memory=765876 CPUtime=3392.63 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 206575 0 0 0 335855 3408 0 0 20 0 1 0 42929275 930279424 191469 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 227119 191469 1931 992 0 218977 0
Current children cumulated CPU time: 3392.63 s
Current children cumulated vsize: 908476 KiB
Current children cumulated memory: 765876 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.19 4.22 5/250 364402
/proc/meminfo: memFree=105875744/131655788 swapFree=131057576/131071996
[pid=362214] ppid=362211 vsize=918320 memory=774752 CPUtime=3452.48 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 209068 0 0 0 341787 3461 0 0 20 0 1 0 42929275 940359680 193688 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 229580 193688 1931 992 0 221438 0
Current children cumulated CPU time: 3452.48 s
Current children cumulated vsize: 918320 KiB
Current children cumulated memory: 774752 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.17 4.21 7/250 364413
/proc/meminfo: memFree=105581988/131655788 swapFree=131057576/131071996
[pid=362214] ppid=362211 vsize=923116 memory=781336 CPUtime=3512.33 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 210412 0 0 0 347732 3501 0 0 20 0 1 0 42929275 945270784 195334 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 230779 195334 1931 992 0 222637 0
Current children cumulated CPU time: 3512.33 s
Current children cumulated vsize: 923116 KiB
Current children cumulated memory: 781336 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.20 5/246 364423
/proc/meminfo: memFree=105206444/131655788 swapFree=131057576/131071996
[pid=362214] ppid=362211 vsize=929512 memory=801380 CPUtime=3572.19 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 212071 0 0 0 353645 3574 0 0 20 0 1 0 42929275 951820288 200345 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 232378 200345 1931 992 0 224236 0
Current children cumulated CPU time: 3572.19 s
Current children cumulated vsize: 929512 KiB
Current children cumulated memory: 801380 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.13 4.17 4.20 5/246 364429
/proc/meminfo: memFree=105090956/131655788 swapFree=131057576/131071996
[pid=362214] ppid=362211 vsize=931072 memory=802292 CPUtime=3600.01 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 212366 0 0 0 356409 3592 0 0 20 0 1 0 42929275 953417728 200573 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 232768 200573 1931 992 0 224626 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 931072 KiB
Current children cumulated memory: 802292 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3612.21 s]
# the end of solver process 362214 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3566.09 s, system=35.9395 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.13 4.17 4.20 5/246 364429
/proc/meminfo: memFree=105086456/131655788 swapFree=131057576/131071996
[pid=362214] ppid=362211 vsize=931072 memory=802292 CPUtime=3601.02 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 212366 0 0 0 356509 3593 0 0 20 0 1 0 42929275 953417728 200573 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 232768 200573 1931 992 0 224626 0
Current children cumulated CPU time: 3601.02 s
Current children cumulated vsize: 931072 KiB
Current children cumulated memory: 802292 KiB
[startup+3612 s]*
/proc/loadavg: 4.13 4.17 4.20 5/246 364429
/proc/meminfo: memFree=105082012/131655788 swapFree=131057576/131071996
[pid=362214] ppid=362211 vsize=931072 memory=802292 CPUtime=3601.83 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 212366 0 0 0 356590 3593 0 0 20 0 1 0 42929275 953417728 200573 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 232768 200573 1931 992 0 224626 0
Current children cumulated CPU time: 3601.83 s
Current children cumulated vsize: 931072 KiB
Current children cumulated memory: 802292 KiB
[startup+3612.2 s]
/proc/loadavg: 4.13 4.17 4.20 5/246 364429
/proc/meminfo: memFree=105082012/131655788 swapFree=131057576/131071996
[pid=362214] ppid=362211 vsize=931072 memory=802292 CPUtime=3602.01 cores=1,3
/proc/362214/stat : 362214 (roundingsat) R 362211 362214 359127 0 -1 4194304 212366 0 0 0 356608 3593 0 0 20 0 1 0 42929275 953417728 200573 134679101440 4194304 8254357 140720822666272 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10874880 140720822670171 140720822670433 140720822670433 140720822677449 0
/proc/362214/statm: 232768 200573 1931 992 0 224626 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 931072 KiB
Current children cumulated memory: 802292 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.21
CPU time (s): 3602.03
CPU user time (s): 3566.09
CPU system time (s): 35.9395
CPU usage (%): 99.7183
Max. virtual memory (cumulated for all children) (KiB): 931072
Max. memory (cumulated for all children) (KiB): 802292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.09
system time used= 35.9395
maximum resident set size= 802492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212366
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= 131
involuntary context switches= 3921
# summary of solver processes directly reported to runsolver:
# pid: 362214
# total CPU time (s): 3602.03
# total CPU user time (s): 3566.09
# total CPU system time (s): 35.9395
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4586 second user time and 38.2582 second system time
The end
Begin job on nodeC010 at 2024-07-27 10:36:37 IDJOB=4460672 IDBENCH=158288 IDSOLVER=3086 FILE ID=nodeC010/4460672-1722069397 RUNJOBID= nodeC010-1722064838-359139 SLURM_JOB_ID= 8248112 Free space on /tmp= 723720 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-4460672-1722069397/watcher-4460672-1722069397 -o /tmp/evaluation-result-4460672-1722069397/solver-4460672-1722069397 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722064838-359139 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460672-1722069397 --lp-cut-gomory=0 HOME/instance-4460672-1722069397.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a9d7c7f4b9c33e38d48644f753677e90 RANDOM SEED=2116092576 nodeC010.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 : 3664.210 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 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 : 1197.194 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.28 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.342 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 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 : 3491.820 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.28 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 : 3674.335 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 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 : 3618.988 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.28 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.399 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 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.396 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.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 45323820 kB MemAvailable: 122366492 kB Buffers: 365552 kB Cached: 76931308 kB SwapCached: 192 kB Active: 2346620 kB Inactive: 82651512 kB Active(anon): 2048 kB Inactive(anon): 7752840 kB Active(file): 2344572 kB Inactive(file): 74898672 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131058856 kB Dirty: 761364 kB Writeback: 4 kB AnonPages: 7699328 kB Mapped: 111668 kB Shmem: 53520 kB KReclaimable: 861172 kB Slab: 1008488 kB SReclaimable: 861172 kB SUnreclaim: 147316 kB KernelStack: 4288 kB PageTables: 24676 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 8522464 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14784 kB HardwareCorrupted: 0 kB AnonHugePages: 4202496 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: 412488 kB DirectMap2M: 54018048 kB DirectMap1G: 81788928 kB Free space on /tmp at the end= 723748 MiB End job on nodeC010 at 2024-07-27 11:36:49