| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.08 | 3613.35 |
| 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.00/0.08 c #variables 16065 #constraints 16337 49.05/49.36 c #Conflicts: 1000 | #Constraints: 17336 49.05/49.36 c #Conflicts: 2000 | #Constraints: 18336 49.05/49.36 c INPROCESSING 49.05/49.36 c GARBAGE COLLECT 49.05/49.36 c #Conflicts: 3000 | #Constraints: 17547 49.05/49.36 c #Conflicts: 4000 | #Constraints: 18548 49.05/49.36 c INPROCESSING 49.05/49.36 c GARBAGE COLLECT 49.05/49.36 c #Conflicts: 5000 | #Constraints: 18034 49.05/49.36 c #Conflicts: 6000 | #Constraints: 19034 49.05/49.36 c INPROCESSING 49.05/49.36 c GARBAGE COLLECT 49.05/49.36 c #Conflicts: 7000 | #Constraints: 18101 49.05/49.36 c #Conflicts: 8000 | #Constraints: 19101 49.05/49.36 c #Conflicts: 9000 | #Constraints: 20101 49.05/49.36 c INPROCESSING 49.05/49.36 c GARBAGE COLLECT 49.05/49.36 c #Conflicts: 10000 | #Constraints: 18862 49.05/49.36 c #Conflicts: 11000 | #Constraints: 19862 49.05/49.36 c #Conflicts: 12000 | #Constraints: 20862 49.05/49.36 c INPROCESSING 49.05/49.36 c GARBAGE COLLECT 49.05/49.36 c #Conflicts: 13000 | #Constraints: 19341 49.05/49.36 c #Conflicts: 14000 | #Constraints: 20341 49.05/49.36 c #Conflicts: 15000 | #Constraints: 21341 49.05/49.36 c INPROCESSING 49.05/49.36 c GARBAGE COLLECT 49.05/49.36 c rational objective 135 69.92/70.32 c #Conflicts: 16000 | #Constraints: 19615 69.92/70.32 c #Conflicts: 17000 | #Constraints: 20615 69.92/70.32 c #Conflicts: 18000 | #Constraints: 21615 69.92/70.32 c #Conflicts: 19000 | #Constraints: 22615 69.92/70.32 c #Conflicts: 20000 | #Constraints: 23615 69.92/70.32 c #Conflicts: 21000 | #Constraints: 24615 69.92/70.32 c #Conflicts: 22000 | #Constraints: 25615 69.92/70.32 c #Conflicts: 23000 | #Constraints: 26615 69.92/70.32 c #Conflicts: 24000 | #Constraints: 27615 69.92/70.32 c INPROCESSING 69.92/70.32 c GARBAGE COLLECT 69.92/70.32 c rational objective 135 114.59/115.29 c #Conflicts: 25000 | #Constraints: 22616 114.59/115.29 c #Conflicts: 26000 | #Constraints: 23616 114.59/115.29 c #Conflicts: 27000 | #Constraints: 24616 114.59/115.29 c #Conflicts: 28000 | #Constraints: 25617 114.59/115.29 c INPROCESSING 114.59/115.29 c GARBAGE COLLECT 114.59/115.29 c #Conflicts: 29000 | #Constraints: 21462 114.59/115.29 c #Conflicts: 30000 | #Constraints: 22462 114.59/115.29 c #Conflicts: 31000 | #Constraints: 23463 114.59/115.29 c #Conflicts: 32000 | #Constraints: 24463 114.59/115.29 c #Conflicts: 33000 | #Constraints: 25463 114.59/115.29 c INPROCESSING 114.59/115.29 c GARBAGE COLLECT 114.59/115.29 c rational objective 135 457.69/460.13 c #Conflicts: 34000 | #Constraints: 21636 457.69/460.13 c #Conflicts: 35000 | #Constraints: 22636 457.69/460.13 c #Conflicts: 36000 | #Constraints: 23636 457.69/460.13 c #Conflicts: 37000 | #Constraints: 24636 457.69/460.13 c #Conflicts: 38000 | #Constraints: 25636 457.69/460.13 c #Conflicts: 39000 | #Constraints: 26636 457.69/460.13 c #Conflicts: 40000 | #Constraints: 27636 457.69/460.13 c #Conflicts: 41000 | #Constraints: 28636 457.69/460.13 c #Conflicts: 42000 | #Constraints: 29636 457.69/460.13 c #Conflicts: 43000 | #Constraints: 30636 457.69/460.13 c #Conflicts: 44000 | #Constraints: 31636 457.69/460.13 c #Conflicts: 45000 | #Constraints: 32636 457.69/460.13 c #Conflicts: 46000 | #Constraints: 33636 457.69/460.13 c #Conflicts: 47000 | #Constraints: 34636 457.69/460.13 c INPROCESSING 457.69/460.13 c GARBAGE COLLECT 457.69/460.13 c #Conflicts: 48000 | #Constraints: 26487 457.69/460.13 c #Conflicts: 49000 | #Constraints: 27487 457.69/460.13 c #Conflicts: 50000 | #Constraints: 28488 457.69/460.13 c #Conflicts: 51000 | #Constraints: 29488 457.69/460.13 c #Conflicts: 52000 | #Constraints: 30488 457.69/460.13 c INPROCESSING 457.69/460.13 c GARBAGE COLLECT 457.69/460.13 c #Conflicts: 53000 | #Constraints: 23994 457.69/460.13 c #Conflicts: 54000 | #Constraints: 24994 457.69/460.13 c #Conflicts: 55000 | #Constraints: 25994 457.69/460.13 c #Conflicts: 56000 | #Constraints: 26994 457.69/460.13 c #Conflicts: 57000 | #Constraints: 27994 457.69/460.13 c #Conflicts: 58000 | #Constraints: 28994 457.69/460.13 c INPROCESSING 457.69/460.13 c GARBAGE COLLECT 457.69/460.13 c #Conflicts: 59000 | #Constraints: 23231 457.69/460.13 c #Conflicts: 60000 | #Constraints: 24231 457.69/460.13 c #Conflicts: 61000 | #Constraints: 25231 457.69/460.13 c #Conflicts: 62000 | #Constraints: 26231 457.69/460.13 c #Conflicts: 63000 | #Constraints: 27231 457.69/460.13 c #Conflicts: 64000 | #Constraints: 28231 457.69/460.13 c #Conflicts: 65000 | #Constraints: 29231 457.69/460.13 c #Conflicts: 66000 | #Constraints: 30231 457.69/460.13 c #Conflicts: 67000 | #Constraints: 31231 457.69/460.13 c #Conflicts: 68000 | #Constraints: 32231 457.69/460.13 c #Conflicts: 69000 | #Constraints: 33232 457.69/460.13 c #Conflicts: 70000 | #Constraints: 34232 457.69/460.13 c #Conflicts: 71000 | #Constraints: 35232 457.69/460.13 c #Conflicts: 72000 | #Constraints: 36232 457.69/460.13 c #Conflicts: 73000 | #Constraints: 37232 457.69/460.13 c #Conflicts: 74000 | #Constraints: 38232 457.69/460.13 c #Conflicts: 75000 | #Constraints: 39232 457.69/460.13 c #Conflicts: 76000 | #Constraints: 40232 457.69/460.13 c INPROCESSING 457.69/460.13 c GARBAGE COLLECT 457.69/460.13 c #Conflicts: 77000 | #Constraints: 29012 457.69/460.13 c #Conflicts: 78000 | #Constraints: 30012 457.69/460.13 c #Conflicts: 79000 | #Constraints: 31012 457.69/460.13 c #Conflicts: 80000 | #Constraints: 32012 457.69/460.13 c #Conflicts: 81000 | #Constraints: 33012 457.69/460.13 c #Conflicts: 82000 | #Constraints: 34012 457.69/460.13 c #Conflicts: 83000 | #Constraints: 35012 457.69/460.13 c #Conflicts: 84000 | #Constraints: 36012 457.69/460.13 c INPROCESSING 457.69/460.13 c GARBAGE COLLECT 457.69/460.13 c #Conflicts: 85000 | #Constraints: 27210 457.69/460.13 c #Conflicts: 86000 | #Constraints: 28210 457.69/460.13 c #Conflicts: 87000 | #Constraints: 29210 457.69/460.13 c #Conflicts: 88000 | #Constraints: 30210 457.69/460.13 c #Conflicts: 89000 | #Constraints: 31210 457.69/460.13 c #Conflicts: 90000 | #Constraints: 32210 457.69/460.13 c #Conflicts: 91000 | #Constraints: 33210 457.69/460.13 c INPROCESSING 457.69/460.13 c GARBAGE COLLECT 457.69/460.13 c #Conflicts: 92000 | #Constraints: 25558 457.69/460.13 c #Conflicts: 93000 | #Constraints: 26559 457.69/460.13 c #Conflicts: 94000 | #Constraints: 27559 457.69/460.13 c #Conflicts: 95000 | #Constraints: 28559 457.69/460.13 c #Conflicts: 96000 | #Constraints: 29559 457.69/460.13 c #Conflicts: 97000 | #Constraints: 30559 457.69/460.13 c #Conflicts: 98000 | #Constraints: 31559 457.69/460.13 c #Conflicts: 99000 | #Constraints: 32559 457.69/460.13 c #Conflicts: 100000 | #Constraints: 33559 457.69/460.13 c #Conflicts: 101000 | #Constraints: 34559 457.69/460.13 c #Conflicts: 102000 | #Constraints: 35559 457.69/460.13 c #Conflicts: 103000 | #Constraints: 36559 457.69/460.13 c #Conflicts: 104000 | #Constraints: 37559 457.69/460.13 c #Conflicts: 105000 | #Constraints: 38559 457.69/460.13 c #Conflicts: 106000 | #Constraints: 39559 457.69/460.13 c #Conflicts: 107000 | #Constraints: 40559 457.69/460.13 c #Conflicts: 108000 | #Constraints: 41559 645.51/648.90 c #Conflicts: 109000 | #Constraints: 42559 645.51/648.90 c #Conflicts: 110000 | #Constraints: 43559 645.51/648.90 c #Conflicts: 111000 | #Constraints: 44559 645.51/648.90 c #Conflicts: 112000 | #Constraints: 45559 645.51/648.90 c #Conflicts: 113000 | #Constraints: 46559 645.51/648.90 c INPROCESSING 645.51/648.90 c GARBAGE COLLECT 645.51/648.90 c #Conflicts: 114000 | #Constraints: 32326 645.51/648.90 c #Conflicts: 115000 | #Constraints: 33326 645.51/648.90 c #Conflicts: 116000 | #Constraints: 34326 645.51/648.90 c #Conflicts: 117000 | #Constraints: 35326 645.51/648.90 c #Conflicts: 118000 | #Constraints: 36326 645.51/648.90 c #Conflicts: 119000 | #Constraints: 37326 645.51/648.90 c #Conflicts: 120000 | #Constraints: 38326 645.51/648.90 c #Conflicts: 121000 | #Constraints: 39326 645.51/648.90 c #Conflicts: 122000 | #Constraints: 40326 645.51/648.90 c INPROCESSING 645.51/648.90 c GARBAGE COLLECT 645.51/648.90 c #Conflicts: 123000 | #Constraints: 29339 645.51/648.90 c #Conflicts: 124000 | #Constraints: 30339 645.51/648.90 c #Conflicts: 125000 | #Constraints: 31339 645.51/648.90 c #Conflicts: 126000 | #Constraints: 32340 645.51/648.90 c #Conflicts: 127000 | #Constraints: 33340 645.51/648.90 c #Conflicts: 128000 | #Constraints: 34340 645.51/648.90 c #Conflicts: 129000 | #Constraints: 35340 645.51/648.90 c #Conflicts: 130000 | #Constraints: 36340 645.51/648.90 c #Conflicts: 131000 | #Constraints: 37340 645.51/648.90 c INPROCESSING 645.51/648.90 c GARBAGE COLLECT 645.51/648.90 c #Conflicts: 132000 | #Constraints: 27914 645.51/648.90 c #Conflicts: 133000 | #Constraints: 28914 645.51/648.90 c #Conflicts: 134000 | #Constraints: 29914 645.51/648.90 c #Conflicts: 135000 | #Constraints: 30914 645.51/648.90 c #Conflicts: 136000 | #Constraints: 31914 645.51/648.90 c #Conflicts: 137000 | #Constraints: 32914 645.51/648.90 c #Conflicts: 138000 | #Constraints: 33914 645.51/648.90 c #Conflicts: 139000 | #Constraints: 34914 645.51/648.90 c #Conflicts: 140000 | #Constraints: 35914 645.51/648.90 c #Conflicts: 141000 | #Constraints: 36915 645.51/648.90 c #Conflicts: 142000 | #Constraints: 37915 645.51/648.90 c #Conflicts: 143000 | #Constraints: 38915 645.51/648.90 c #Conflicts: 144000 | #Constraints: 39915 645.51/648.90 c #Conflicts: 145000 | #Constraints: 40915 645.51/648.90 c #Conflicts: 146000 | #Constraints: 41915 645.51/648.90 c #Conflicts: 147000 | #Constraints: 42915 645.51/648.90 c #Conflicts: 148000 | #Constraints: 43915 645.51/648.90 c #Conflicts: 149000 | #Constraints: 44915 645.51/648.90 c #Conflicts: 150000 | #Constraints: 45915 645.51/648.90 c #Conflicts: 151000 | #Constraints: 46915 645.51/648.90 c #Conflicts: 152000 | #Constraints: 47915 645.51/648.90 c #Conflicts: 153000 | #Constraints: 48915 645.51/648.90 c #Conflicts: 154000 | #Constraints: 49915 645.51/648.90 c #Conflicts: 155000 | #Constraints: 50916 645.51/648.90 c #Conflicts: 156000 | #Constraints: 51916 645.51/648.90 c #Conflicts: 157000 | #Constraints: 52916 645.51/648.90 c INPROCESSING 645.51/648.90 c GARBAGE COLLECT 645.51/648.90 c rational objective 135 765.78/769.66 c #Conflicts: 158000 | #Constraints: 35576 765.78/769.66 c #Conflicts: 159000 | #Constraints: 36576 765.78/769.66 c #Conflicts: 160000 | #Constraints: 37576 765.78/769.66 c #Conflicts: 161000 | #Constraints: 38576 765.78/769.66 c #Conflicts: 162000 | #Constraints: 39576 765.78/769.66 c #Conflicts: 163000 | #Constraints: 40576 765.78/769.66 c #Conflicts: 164000 | #Constraints: 41576 765.78/769.66 c #Conflicts: 165000 | #Constraints: 42576 765.78/769.66 c #Conflicts: 166000 | #Constraints: 43576 765.78/769.66 c #Conflicts: 167000 | #Constraints: 44576 765.78/769.66 c #Conflicts: 168000 | #Constraints: 45576 765.78/769.66 c INPROCESSING 765.78/769.66 c GARBAGE COLLECT 765.78/769.66 c #Conflicts: 169000 | #Constraints: 32293 765.78/769.66 c #Conflicts: 170000 | #Constraints: 33293 765.78/769.66 c #Conflicts: 171000 | #Constraints: 34293 765.78/769.66 c #Conflicts: 172000 | #Constraints: 35293 765.78/769.66 c #Conflicts: 173000 | #Constraints: 36293 765.78/769.66 c #Conflicts: 174000 | #Constraints: 37293 765.78/769.66 c #Conflicts: 175000 | #Constraints: 38293 765.78/769.66 c #Conflicts: 176000 | #Constraints: 39293 765.78/769.66 c #Conflicts: 177000 | #Constraints: 40293 765.78/769.66 c #Conflicts: 178000 | #Constraints: 41293 765.78/769.66 c INPROCESSING 765.78/769.66 c GARBAGE COLLECT 765.78/769.66 c #Conflicts: 179000 | #Constraints: 29784 765.78/769.66 c #Conflicts: 180000 | #Constraints: 30784 765.78/769.66 c #Conflicts: 181000 | #Constraints: 31784 765.78/769.66 c #Conflicts: 182000 | #Constraints: 32784 765.78/769.66 c #Conflicts: 183000 | #Constraints: 33784 765.78/769.66 c #Conflicts: 184000 | #Constraints: 34784 765.78/769.66 c #Conflicts: 185000 | #Constraints: 35785 765.78/769.66 c #Conflicts: 186000 | #Constraints: 36785 765.78/769.66 c #Conflicts: 187000 | #Constraints: 37785 765.78/769.66 c #Conflicts: 188000 | #Constraints: 38785 765.78/769.66 c #Conflicts: 189000 | #Constraints: 39785 765.78/769.66 c #Conflicts: 190000 | #Constraints: 40785 765.78/769.66 c #Conflicts: 191000 | #Constraints: 41785 765.78/769.66 c #Conflicts: 192000 | #Constraints: 42785 765.78/769.66 c #Conflicts: 193000 | #Constraints: 43785 765.78/769.66 c #Conflicts: 194000 | #Constraints: 44785 765.78/769.66 c #Conflicts: 195000 | #Constraints: 45785 765.78/769.66 c #Conflicts: 196000 | #Constraints: 46785 765.78/769.66 c #Conflicts: 197000 | #Constraints: 47785 765.78/769.66 c #Conflicts: 198000 | #Constraints: 48786 765.78/769.66 c #Conflicts: 199000 | #Constraints: 49786 765.78/769.66 c #Conflicts: 200000 | #Constraints: 50786 765.78/769.66 c #Conflicts: 201000 | #Constraints: 51786 765.78/769.66 c #Conflicts: 202000 | #Constraints: 52786 765.78/769.66 c #Conflicts: 203000 | #Constraints: 53786 765.78/769.66 c #Conflicts: 204000 | #Constraints: 54786 765.78/769.66 c #Conflicts: 205000 | #Constraints: 55786 765.78/769.66 c #Conflicts: 206000 | #Constraints: 56786 765.78/769.66 c #Conflicts: 207000 | #Constraints: 57786 765.78/769.66 c #Conflicts: 208000 | #Constraints: 58786 765.78/769.66 c #Conflicts: 209000 | #Constraints: 59786 765.78/769.66 c INPROCESSING 765.78/769.66 c GARBAGE COLLECT 765.78/769.66 c rational objective 135 859.35/863.50 c #Conflicts: 210000 | #Constraints: 39354 859.35/863.50 c #Conflicts: 211000 | #Constraints: 40354 859.35/863.50 c #Conflicts: 212000 | #Constraints: 41354 859.35/863.50 c #Conflicts: 213000 | #Constraints: 42355 859.35/863.50 c #Conflicts: 214000 | #Constraints: 43355 859.35/863.50 c #Conflicts: 215000 | #Constraints: 44355 859.35/863.50 c #Conflicts: 216000 | #Constraints: 45355 859.35/863.50 c #Conflicts: 217000 | #Constraints: 46355 859.35/863.50 c #Conflicts: 218000 | #Constraints: 47355 859.35/863.50 c #Conflicts: 219000 | #Constraints: 48355 859.35/863.50 c #Conflicts: 220000 | #Constraints: 49355 859.35/863.50 c INPROCESSING 859.35/863.50 c GARBAGE COLLECT 859.35/863.50 c rational objective 135 952.01/956.52 c #Conflicts: 221000 | #Constraints: 33882 952.01/956.52 c #Conflicts: 222000 | #Constraints: 34882 952.01/956.52 c #Conflicts: 223000 | #Constraints: 35882 952.01/956.52 c #Conflicts: 224000 | #Constraints: 36882 952.01/956.52 c #Conflicts: 225000 | #Constraints: 37882 952.01/956.52 c #Conflicts: 226000 | #Constraints: 38882 952.01/956.52 c #Conflicts: 227000 | #Constraints: 39882 952.01/956.52 c #Conflicts: 228000 | #Constraints: 40882 952.01/956.52 c #Conflicts: 229000 | #Constraints: 41882 952.01/956.52 c #Conflicts: 230000 | #Constraints: 42883 952.01/956.52 c #Conflicts: 231000 | #Constraints: 43884 952.01/956.52 c #Conflicts: 232000 | #Constraints: 44884 952.01/956.52 c INPROCESSING 952.01/956.52 c GARBAGE COLLECT 952.01/956.52 c #Conflicts: 233000 | #Constraints: 31569 952.01/956.52 c #Conflicts: 234000 | #Constraints: 32569 952.01/956.52 c #Conflicts: 235000 | #Constraints: 33569 952.01/956.52 c #Conflicts: 236000 | #Constraints: 34569 952.01/956.52 c #Conflicts: 237000 | #Constraints: 35569 952.01/956.52 c #Conflicts: 238000 | #Constraints: 36569 952.01/956.52 c #Conflicts: 239000 | #Constraints: 37569 952.01/956.52 c #Conflicts: 240000 | #Constraints: 38569 952.01/956.52 c #Conflicts: 241000 | #Constraints: 39569 952.01/956.52 c #Conflicts: 242000 | #Constraints: 40569 952.01/956.52 c #Conflicts: 243000 | #Constraints: 41569 952.01/956.52 c #Conflicts: 244000 | #Constraints: 42569 952.01/956.52 c #Conflicts: 245000 | #Constraints: 43569 952.01/956.52 c #Conflicts: 246000 | #Constraints: 44569 952.01/956.52 c #Conflicts: 247000 | #Constraints: 45569 952.01/956.52 c #Conflicts: 248000 | #Constraints: 46569 952.01/956.52 c #Conflicts: 249000 | #Constraints: 47569 952.01/956.52 c #Conflicts: 250000 | #Constraints: 48569 952.01/956.52 c #Conflicts: 251000 | #Constraints: 49569 952.01/956.52 c #Conflicts: 252000 | #Constraints: 50569 952.01/956.52 c #Conflicts: 253000 | #Constraints: 51569 952.01/956.52 c #Conflicts: 254000 | #Constraints: 52569 952.01/956.52 c #Conflicts: 255000 | #Constraints: 53569 952.01/956.52 c #Conflicts: 256000 | #Constraints: 54569 952.01/956.52 c #Conflicts: 257000 | #Constraints: 55569 952.01/956.52 c #Conflicts: 258000 | #Constraints: 56569 952.01/956.52 c #Conflicts: 259000 | #Constraints: 57569 952.01/956.52 c #Conflicts: 260000 | #Constraints: 58569 952.01/956.52 c #Conflicts: 261000 | #Constraints: 59569 952.01/956.52 c #Conflicts: 262000 | #Constraints: 60569 952.01/956.52 c #Conflicts: 263000 | #Constraints: 61569 952.01/956.52 c #Conflicts: 264000 | #Constraints: 62569 952.01/956.52 c #Conflicts: 265000 | #Constraints: 63569 952.01/956.52 c #Conflicts: 266000 | #Constraints: 64569 952.01/956.52 c #Conflicts: 267000 | #Constraints: 65569 952.01/956.52 c INPROCESSING 952.01/956.52 c GARBAGE COLLECT 952.01/956.52 c rational objective 135 1074.38/1079.38 c #Conflicts: 268000 | #Constraints: 42138 1074.38/1079.38 c #Conflicts: 269000 | #Constraints: 43138 1074.38/1079.38 c #Conflicts: 270000 | #Constraints: 44138 1074.38/1079.38 c #Conflicts: 271000 | #Constraints: 45138 1074.38/1079.38 c #Conflicts: 272000 | #Constraints: 46139 1074.38/1079.38 c #Conflicts: 273000 | #Constraints: 47139 1074.38/1079.38 c #Conflicts: 274000 | #Constraints: 48139 1074.38/1079.38 c #Conflicts: 275000 | #Constraints: 49139 1074.38/1079.38 c #Conflicts: 276000 | #Constraints: 50140 1074.38/1079.38 c #Conflicts: 277000 | #Constraints: 51141 1074.38/1079.38 c #Conflicts: 278000 | #Constraints: 52141 1074.38/1079.38 c #Conflicts: 279000 | #Constraints: 53141 1074.38/1079.38 c #Conflicts: 280000 | #Constraints: 54142 1074.38/1079.38 c INPROCESSING 1074.38/1079.38 c GARBAGE COLLECT 1074.38/1079.38 c rational objective 135 1310.58/1316.38 c #Conflicts: 281000 | #Constraints: 36168 1310.58/1316.38 c #Conflicts: 282000 | #Constraints: 37168 1310.58/1316.38 c #Conflicts: 283000 | #Constraints: 38169 1310.58/1316.38 c #Conflicts: 284000 | #Constraints: 39169 1310.58/1316.38 c #Conflicts: 285000 | #Constraints: 40169 1310.58/1316.38 c #Conflicts: 286000 | #Constraints: 41169 1310.58/1316.38 c #Conflicts: 287000 | #Constraints: 42169 1310.58/1316.38 c #Conflicts: 288000 | #Constraints: 43169 1310.58/1316.38 c #Conflicts: 289000 | #Constraints: 44169 1310.58/1316.38 c #Conflicts: 290000 | #Constraints: 45169 1310.58/1316.38 c #Conflicts: 291000 | #Constraints: 46169 1310.58/1316.38 c #Conflicts: 292000 | #Constraints: 47169 1310.58/1316.38 c #Conflicts: 293000 | #Constraints: 48169 1310.58/1316.38 c #Conflicts: 294000 | #Constraints: 49169 1310.58/1316.38 c INPROCESSING 1310.58/1316.38 c GARBAGE COLLECT 1310.58/1316.38 c #Conflicts: 295000 | #Constraints: 34522 1310.58/1316.38 c #Conflicts: 296000 | #Constraints: 35522 1310.58/1316.38 c #Conflicts: 297000 | #Constraints: 36522 1310.58/1316.38 c #Conflicts: 298000 | #Constraints: 37522 1310.58/1316.38 c #Conflicts: 299000 | #Constraints: 38522 1310.58/1316.38 c #Conflicts: 300000 | #Constraints: 39522 1310.58/1316.38 c #Conflicts: 301000 | #Constraints: 40522 1310.58/1316.38 c #Conflicts: 302000 | #Constraints: 41523 1310.58/1316.38 c #Conflicts: 303000 | #Constraints: 42523 1310.58/1316.38 c #Conflicts: 304000 | #Constraints: 43523 1310.58/1316.38 c #Conflicts: 305000 | #Constraints: 44523 1310.58/1316.38 c #Conflicts: 306000 | #Constraints: 45523 1310.58/1316.38 c #Conflicts: 307000 | #Constraints: 46523 1310.58/1316.38 c #Conflicts: 308000 | #Constraints: 47523 1310.58/1316.38 c #Conflicts: 309000 | #Constraints: 48523 1310.58/1316.38 c #Conflicts: 310000 | #Constraints: 49523 1310.58/1316.38 c #Conflicts: 311000 | #Constraints: 50523 1310.58/1316.38 c #Conflicts: 312000 | #Constraints: 51523 1310.58/1316.38 c #Conflicts: 313000 | #Constraints: 52523 1310.58/1316.38 c #Conflicts: 314000 | #Constraints: 53523 1310.58/1316.38 c #Conflicts: 315000 | #Constraints: 54523 1310.58/1316.38 c #Conflicts: 316000 | #Constraints: 55523 1310.58/1316.38 c #Conflicts: 317000 | #Constraints: 56523 1310.58/1316.38 c #Conflicts: 318000 | #Constraints: 57524 1310.58/1316.38 c #Conflicts: 319000 | #Constraints: 58524 1310.58/1316.38 c #Conflicts: 320000 | #Constraints: 59524 1310.58/1316.38 c #Conflicts: 321000 | #Constraints: 60524 1310.58/1316.38 c #Conflicts: 322000 | #Constraints: 61524 1310.58/1316.38 c #Conflicts: 323000 | #Constraints: 62524 1310.58/1316.38 c #Conflicts: 324000 | #Constraints: 63524 1310.58/1316.38 c #Conflicts: 325000 | #Constraints: 64524 1310.58/1316.38 c #Conflicts: 326000 | #Constraints: 65525 1310.58/1316.38 c #Conflicts: 327000 | #Constraints: 66525 1310.58/1316.38 c #Conflicts: 328000 | #Constraints: 67525 1310.58/1316.38 c #Conflicts: 329000 | #Constraints: 68525 1310.58/1316.38 c #Conflicts: 330000 | #Constraints: 69525 1310.58/1316.38 c #Conflicts: 331000 | #Constraints: 70525 1310.58/1316.38 c #Conflicts: 332000 | #Constraints: 71525 1310.58/1316.38 c #Conflicts: 333000 | #Constraints: 72525 1310.58/1316.38 c INPROCESSING 1310.58/1316.38 c GARBAGE COLLECT 1310.58/1316.38 c rational objective 135 1504.21/1510.50 c #Conflicts: 334000 | #Constraints: 45599 1504.21/1510.50 c #Conflicts: 335000 | #Constraints: 46599 1504.21/1510.50 c #Conflicts: 336000 | #Constraints: 47599 1504.21/1510.50 c #Conflicts: 337000 | #Constraints: 48599 1504.21/1510.50 c #Conflicts: 338000 | #Constraints: 49599 1504.21/1510.50 c #Conflicts: 339000 | #Constraints: 50599 1504.21/1510.50 c #Conflicts: 340000 | #Constraints: 51599 1504.21/1510.50 c #Conflicts: 341000 | #Constraints: 52599 1504.21/1510.50 c #Conflicts: 342000 | #Constraints: 53599 1504.21/1510.50 c #Conflicts: 343000 | #Constraints: 54600 1504.21/1510.50 c #Conflicts: 344000 | #Constraints: 55600 1504.21/1510.50 c #Conflicts: 345000 | #Constraints: 56600 1504.21/1510.50 c #Conflicts: 346000 | #Constraints: 57600 1504.21/1510.50 c #Conflicts: 347000 | #Constraints: 58600 1504.21/1510.50 c #Conflicts: 348000 | #Constraints: 59600 1504.21/1510.50 c INPROCESSING 1504.21/1510.50 c GARBAGE COLLECT 1504.21/1510.50 c #Conflicts: 349000 | #Constraints: 39336 1504.21/1510.50 c #Conflicts: 350000 | #Constraints: 40336 1504.21/1510.50 c #Conflicts: 351000 | #Constraints: 41336 1504.21/1510.50 c #Conflicts: 352000 | #Constraints: 42336 1504.21/1510.50 c #Conflicts: 353000 | #Constraints: 43336 1504.21/1510.50 c #Conflicts: 354000 | #Constraints: 44336 1504.21/1510.50 c #Conflicts: 355000 | #Constraints: 45336 1504.21/1510.50 c #Conflicts: 356000 | #Constraints: 46336 1504.21/1510.50 c #Conflicts: 357000 | #Constraints: 47336 1504.21/1510.50 c #Conflicts: 358000 | #Constraints: 48336 1504.21/1510.50 c #Conflicts: 359000 | #Constraints: 49336 1504.21/1510.50 c #Conflicts: 360000 | #Constraints: 50337 1504.21/1510.50 c #Conflicts: 361000 | #Constraints: 51337 1504.21/1510.50 c #Conflicts: 362000 | #Constraints: 52337 1504.21/1510.50 c #Conflicts: 363000 | #Constraints: 53337 1504.21/1510.50 c INPROCESSING 1504.21/1510.50 c GARBAGE COLLECT 1504.21/1510.50 c #Conflicts: 364000 | #Constraints: 37410 1504.21/1510.50 c #Conflicts: 365000 | #Constraints: 38410 1504.21/1510.50 c #Conflicts: 366000 | #Constraints: 39410 1504.21/1510.50 c #Conflicts: 367000 | #Constraints: 40410 1504.21/1510.50 c #Conflicts: 368000 | #Constraints: 41410 1504.21/1510.50 c #Conflicts: 369000 | #Constraints: 42410 1504.21/1510.50 c #Conflicts: 370000 | #Constraints: 43410 1504.21/1510.50 c #Conflicts: 371000 | #Constraints: 44410 1504.21/1510.50 c #Conflicts: 372000 | #Constraints: 45410 1504.21/1510.50 c #Conflicts: 373000 | #Constraints: 46410 1504.21/1510.50 c #Conflicts: 374000 | #Constraints: 47410 1504.21/1510.50 c #Conflicts: 375000 | #Constraints: 48410 1504.21/1510.50 c #Conflicts: 376000 | #Constraints: 49410 1504.21/1510.50 c #Conflicts: 377000 | #Constraints: 50411 1504.21/1510.50 c #Conflicts: 378000 | #Constraints: 51411 1504.21/1510.50 c #Conflicts: 379000 | #Constraints: 52411 1504.21/1510.50 c #Conflicts: 380000 | #Constraints: 53411 1504.21/1510.50 c #Conflicts: 381000 | #Constraints: 54411 1504.21/1510.50 c #Conflicts: 382000 | #Constraints: 55411 1504.21/1510.50 c #Conflicts: 383000 | #Constraints: 56411 1504.21/1510.50 c #Conflicts: 384000 | #Constraints: 57411 1504.21/1510.50 c #Conflicts: 385000 | #Constraints: 58411 1504.21/1510.50 c #Conflicts: 386000 | #Constraints: 59411 1504.21/1510.50 c #Conflicts: 387000 | #Constraints: 60411 1504.21/1510.50 c #Conflicts: 388000 | #Constraints: 61411 1504.21/1510.50 c #Conflicts: 389000 | #Constraints: 62411 1504.21/1510.50 c #Conflicts: 390000 | #Constraints: 63411 1504.21/1510.50 c #Conflicts: 391000 | #Constraints: 64411 1504.21/1510.50 c #Conflicts: 392000 | #Constraints: 65411 1504.21/1510.50 c #Conflicts: 393000 | #Constraints: 66411 1504.21/1510.50 c #Conflicts: 394000 | #Constraints: 67411 1504.21/1510.50 c #Conflicts: 395000 | #Constraints: 68411 1504.21/1510.50 c #Conflicts: 396000 | #Constraints: 69411 1504.21/1510.50 c #Conflicts: 397000 | #Constraints: 70411 1504.21/1510.50 c #Conflicts: 398000 | #Constraints: 71411 1504.21/1510.50 c #Conflicts: 399000 | #Constraints: 72411 1504.21/1510.50 c #Conflicts: 400000 | #Constraints: 73412 1504.21/1510.50 c #Conflicts: 401000 | #Constraints: 74412 1504.21/1510.50 c #Conflicts: 402000 | #Constraints: 75412 1504.21/1510.50 c #Conflicts: 403000 | #Constraints: 76412 1504.21/1510.50 c #Conflicts: 404000 | #Constraints: 77412 1504.21/1510.50 c #Conflicts: 405000 | #Constraints: 78412 1504.21/1510.50 c #Conflicts: 406000 | #Constraints: 79412 1504.21/1510.50 c INPROCESSING 1504.21/1510.50 c GARBAGE COLLECT 1504.21/1510.50 c rational objective 135 1559.15/1565.66 c #Conflicts: 407000 | #Constraints: 49339 1559.15/1565.66 c #Conflicts: 408000 | #Constraints: 50339 1559.15/1565.66 c #Conflicts: 409000 | #Constraints: 51339 1559.15/1565.66 c #Conflicts: 410000 | #Constraints: 52339 1559.15/1565.66 c #Conflicts: 411000 | #Constraints: 53339 1559.15/1565.66 c #Conflicts: 412000 | #Constraints: 54339 1559.15/1565.66 c #Conflicts: 413000 | #Constraints: 55339 1559.15/1565.66 c #Conflicts: 414000 | #Constraints: 56339 1559.15/1565.66 c #Conflicts: 415000 | #Constraints: 57340 1559.15/1565.66 c #Conflicts: 416000 | #Constraints: 58342 1559.15/1565.66 c #Conflicts: 417000 | #Constraints: 59344 1559.15/1565.66 c #Conflicts: 418000 | #Constraints: 60345 1559.15/1565.66 c #Conflicts: 419000 | #Constraints: 61345 1559.15/1565.66 c #Conflicts: 420000 | #Constraints: 62345 1559.15/1565.66 c #Conflicts: 421000 | #Constraints: 63345 1559.15/1565.66 c #Conflicts: 422000 | #Constraints: 64345 1559.15/1565.66 c INPROCESSING 1559.15/1565.66 c GARBAGE COLLECT 1559.15/1565.66 c rational objective 135 1788.43/1795.62 c #Conflicts: 423000 | #Constraints: 41727 1788.43/1795.62 c #Conflicts: 424000 | #Constraints: 42727 1788.43/1795.62 c #Conflicts: 425000 | #Constraints: 43727 1788.43/1795.62 c #Conflicts: 426000 | #Constraints: 44728 1788.43/1795.62 c #Conflicts: 427000 | #Constraints: 45728 1788.43/1795.62 c #Conflicts: 428000 | #Constraints: 46728 1788.43/1795.62 c #Conflicts: 429000 | #Constraints: 47728 1788.43/1795.62 c #Conflicts: 430000 | #Constraints: 48728 1788.43/1795.62 c #Conflicts: 431000 | #Constraints: 49728 1788.43/1795.62 c #Conflicts: 432000 | #Constraints: 50728 1788.43/1795.62 c #Conflicts: 433000 | #Constraints: 51728 1788.43/1795.62 c #Conflicts: 434000 | #Constraints: 52728 1788.43/1795.62 c #Conflicts: 435000 | #Constraints: 53728 1788.43/1795.62 c #Conflicts: 436000 | #Constraints: 54728 1788.43/1795.62 c #Conflicts: 437000 | #Constraints: 55728 1788.43/1795.62 c #Conflicts: 438000 | #Constraints: 56728 1788.43/1795.62 c INPROCESSING 1788.43/1795.62 c GARBAGE COLLECT 1788.43/1795.62 c #Conflicts: 439000 | #Constraints: 39129 1788.43/1795.62 c #Conflicts: 440000 | #Constraints: 40129 1788.43/1795.62 c #Conflicts: 441000 | #Constraints: 41130 1788.43/1795.62 c #Conflicts: 442000 | #Constraints: 42130 1788.43/1795.62 c #Conflicts: 443000 | #Constraints: 43130 1788.43/1795.62 c #Conflicts: 444000 | #Constraints: 44130 1788.43/1795.62 c #Conflicts: 445000 | #Constraints: 45130 1788.43/1795.62 c #Conflicts: 446000 | #Constraints: 46130 1788.43/1795.62 c #Conflicts: 447000 | #Constraints: 47130 1788.43/1795.62 c #Conflicts: 448000 | #Constraints: 48130 1788.43/1795.62 c #Conflicts: 449000 | #Constraints: 49130 1788.43/1795.62 c #Conflicts: 450000 | #Constraints: 50130 1788.43/1795.62 c #Conflicts: 451000 | #Constraints: 51130 1788.43/1795.62 c #Conflicts: 452000 | #Constraints: 52130 1788.43/1795.62 c #Conflicts: 453000 | #Constraints: 53130 1788.43/1795.62 c #Conflicts: 454000 | #Constraints: 54130 1788.43/1795.62 c #Conflicts: 455000 | #Constraints: 55130 1788.43/1795.62 c #Conflicts: 456000 | #Constraints: 56130 1788.43/1795.62 c #Conflicts: 457000 | #Constraints: 57130 1788.43/1795.62 c #Conflicts: 458000 | #Constraints: 58130 1788.43/1795.62 c #Conflicts: 459000 | #Constraints: 59131 1788.43/1795.62 c #Conflicts: 460000 | #Constraints: 60131 1788.43/1795.62 c #Conflicts: 461000 | #Constraints: 61131 1788.43/1795.62 c #Conflicts: 462000 | #Constraints: 62131 1788.43/1795.62 c #Conflicts: 463000 | #Constraints: 63131 1788.43/1795.62 c #Conflicts: 464000 | #Constraints: 64131 1788.43/1795.62 c #Conflicts: 465000 | #Constraints: 65131 1788.43/1795.62 c #Conflicts: 466000 | #Constraints: 66131 1788.43/1795.62 c #Conflicts: 467000 | #Constraints: 67131 1788.43/1795.62 c #Conflicts: 468000 | #Constraints: 68131 1788.43/1795.62 c #Conflicts: 469000 | #Constraints: 69131 1788.43/1795.62 c #Conflicts: 470000 | #Constraints: 70131 1788.43/1795.62 c #Conflicts: 471000 | #Constraints: 71131 1788.43/1795.62 c #Conflicts: 472000 | #Constraints: 72132 1788.43/1795.62 c #Conflicts: 473000 | #Constraints: 73132 1788.43/1795.62 c #Conflicts: 474000 | #Constraints: 74132 1788.43/1795.62 c #Conflicts: 475000 | #Constraints: 75132 1788.43/1795.62 c #Conflicts: 476000 | #Constraints: 76132 1788.43/1795.62 c #Conflicts: 477000 | #Constraints: 77132 1788.43/1795.62 c #Conflicts: 478000 | #Constraints: 78132 1788.43/1795.62 c #Conflicts: 479000 | #Constraints: 79132 1788.43/1795.62 c #Conflicts: 480000 | #Constraints: 80132 1788.43/1795.62 c #Conflicts: 481000 | #Constraints: 81132 1788.43/1795.62 c #Conflicts: 482000 | #Constraints: 82132 1788.43/1795.62 c #Conflicts: 483000 | #Constraints: 83132 1788.43/1795.62 c #Conflicts: 484000 | #Constraints: 84132 1788.43/1795.62 c #Conflicts: 485000 | #Constraints: 85132 1788.43/1795.62 c #Conflicts: 486000 | #Constraints: 86132 1788.43/1795.62 c INPROCESSING 1788.43/1795.62 c GARBAGE COLLECT 1788.43/1795.62 c rational objective 135 1857.69/1865.11 c #Conflicts: 487000 | #Constraints: 52647 1857.69/1865.11 c #Conflicts: 488000 | #Constraints: 53647 1857.69/1865.11 c #Conflicts: 489000 | #Constraints: 54647 1857.69/1865.11 c #Conflicts: 490000 | #Constraints: 55647 1857.69/1865.11 c #Conflicts: 491000 | #Constraints: 56648 1857.69/1865.11 c #Conflicts: 492000 | #Constraints: 57648 1857.69/1865.11 c #Conflicts: 493000 | #Constraints: 58648 1857.69/1865.11 c #Conflicts: 494000 | #Constraints: 59648 1857.69/1865.11 c #Conflicts: 495000 | #Constraints: 60649 1857.69/1865.11 c #Conflicts: 496000 | #Constraints: 61649 1857.69/1865.11 c #Conflicts: 497000 | #Constraints: 62650 1857.69/1865.11 c #Conflicts: 498000 | #Constraints: 63650 1857.69/1865.11 c #Conflicts: 499000 | #Constraints: 64650 1857.69/1865.11 c #Conflicts: 500000 | #Constraints: 65650 1857.69/1865.11 c #Conflicts: 501000 | #Constraints: 66650 1857.69/1865.11 c #Conflicts: 502000 | #Constraints: 67650 1857.69/1865.11 c #Conflicts: 503000 | #Constraints: 68650 1857.69/1865.11 c #Conflicts: 504000 | #Constraints: 69650 1857.69/1865.11 c INPROCESSING 1857.69/1865.11 c GARBAGE COLLECT 1857.69/1865.11 c rational objective 135 1964.34/1972.10 c #Conflicts: 505000 | #Constraints: 44648 1964.34/1972.10 c #Conflicts: 506000 | #Constraints: 45648 1964.34/1972.10 c #Conflicts: 507000 | #Constraints: 46648 1964.34/1972.10 c #Conflicts: 508000 | #Constraints: 47648 1964.34/1972.10 c #Conflicts: 509000 | #Constraints: 48648 1964.34/1972.10 c #Conflicts: 510000 | #Constraints: 49648 1964.34/1972.10 c #Conflicts: 511000 | #Constraints: 50648 1964.34/1972.10 c #Conflicts: 512000 | #Constraints: 51648 1964.34/1972.10 c #Conflicts: 513000 | #Constraints: 52648 1964.34/1972.10 c #Conflicts: 514000 | #Constraints: 53648 1964.34/1972.10 c #Conflicts: 515000 | #Constraints: 54648 1964.34/1972.10 c #Conflicts: 516000 | #Constraints: 55648 1964.34/1972.10 c #Conflicts: 517000 | #Constraints: 56648 1964.34/1972.10 c #Conflicts: 518000 | #Constraints: 57648 1964.34/1972.10 c #Conflicts: 519000 | #Constraints: 58648 1964.34/1972.10 c #Conflicts: 520000 | #Constraints: 59649 1964.34/1972.10 c #Conflicts: 521000 | #Constraints: 60649 1964.34/1972.10 c #Conflicts: 522000 | #Constraints: 61649 1964.34/1972.10 c INPROCESSING 1964.34/1972.10 c GARBAGE COLLECT 1964.34/1972.10 c rational objective 135 2222.16/2230.83 c #Conflicts: 523000 | #Constraints: 42018 2222.16/2230.83 c #Conflicts: 524000 | #Constraints: 43018 2222.16/2230.83 c #Conflicts: 525000 | #Constraints: 44018 2222.16/2230.83 c #Conflicts: 526000 | #Constraints: 45018 2222.16/2230.83 c #Conflicts: 527000 | #Constraints: 46018 2222.16/2230.83 c #Conflicts: 528000 | #Constraints: 47018 2222.16/2230.83 c #Conflicts: 529000 | #Constraints: 48018 2222.16/2230.83 c #Conflicts: 530000 | #Constraints: 49018 2222.16/2230.83 c #Conflicts: 531000 | #Constraints: 50018 2222.16/2230.83 c #Conflicts: 532000 | #Constraints: 51018 2222.16/2230.83 c #Conflicts: 533000 | #Constraints: 52018 2222.16/2230.83 c #Conflicts: 534000 | #Constraints: 53019 2222.16/2230.83 c #Conflicts: 535000 | #Constraints: 54019 2222.16/2230.83 c #Conflicts: 536000 | #Constraints: 55019 2222.16/2230.83 c #Conflicts: 537000 | #Constraints: 56019 2222.16/2230.83 c #Conflicts: 538000 | #Constraints: 57019 2222.16/2230.83 c #Conflicts: 539000 | #Constraints: 58019 2222.16/2230.83 c #Conflicts: 540000 | #Constraints: 59019 2222.16/2230.83 c #Conflicts: 541000 | #Constraints: 60019 2222.16/2230.83 c #Conflicts: 542000 | #Constraints: 61019 2222.16/2230.83 c #Conflicts: 543000 | #Constraints: 62019 2222.16/2230.83 c #Conflicts: 544000 | #Constraints: 63019 2222.16/2230.83 c #Conflicts: 545000 | #Constraints: 64019 2222.16/2230.83 c #Conflicts: 546000 | #Constraints: 65019 2222.16/2230.83 c #Conflicts: 547000 | #Constraints: 66019 2222.16/2230.83 c #Conflicts: 548000 | #Constraints: 67019 2222.16/2230.83 c #Conflicts: 549000 | #Constraints: 68019 2222.16/2230.83 c #Conflicts: 550000 | #Constraints: 69020 2222.16/2230.83 c #Conflicts: 551000 | #Constraints: 70020 2222.16/2230.83 c #Conflicts: 552000 | #Constraints: 71020 2222.16/2230.83 c #Conflicts: 553000 | #Constraints: 72020 2222.16/2230.83 c #Conflicts: 554000 | #Constraints: 73020 2222.16/2230.83 c #Conflicts: 555000 | #Constraints: 74020 2222.16/2230.83 c #Conflicts: 556000 | #Constraints: 75020 2222.16/2230.83 c #Conflicts: 557000 | #Constraints: 76020 2222.16/2230.83 c #Conflicts: 558000 | #Constraints: 77020 2222.16/2230.83 c #Conflicts: 559000 | #Constraints: 78020 2222.16/2230.83 c #Conflicts: 560000 | #Constraints: 79020 2222.16/2230.83 c #Conflicts: 561000 | #Constraints: 80020 2222.16/2230.83 c #Conflicts: 562000 | #Constraints: 81020 2222.16/2230.83 c #Conflicts: 563000 | #Constraints: 82020 2222.16/2230.83 c #Conflicts: 564000 | #Constraints: 83020 2222.16/2230.83 c #Conflicts: 565000 | #Constraints: 84021 2222.16/2230.83 c #Conflicts: 566000 | #Constraints: 85021 2222.16/2230.83 c #Conflicts: 567000 | #Constraints: 86021 2222.16/2230.83 c #Conflicts: 568000 | #Constraints: 87021 2222.16/2230.83 c #Conflicts: 569000 | #Constraints: 88021 2222.16/2230.83 c #Conflicts: 570000 | #Constraints: 89021 2222.16/2230.83 c #Conflicts: 571000 | #Constraints: 90021 2222.16/2230.83 c #Conflicts: 572000 | #Constraints: 91021 2222.16/2230.83 c #Conflicts: 573000 | #Constraints: 92021 2222.16/2230.83 c INPROCESSING 2222.16/2230.83 c GARBAGE COLLECT 2222.16/2230.83 c rational objective 135 2411.28/2420.55 c #Conflicts: 574000 | #Constraints: 55690 2411.28/2420.55 c #Conflicts: 575000 | #Constraints: 56690 2411.28/2420.55 c #Conflicts: 576000 | #Constraints: 57690 2411.28/2420.55 c #Conflicts: 577000 | #Constraints: 58690 2411.28/2420.55 c #Conflicts: 578000 | #Constraints: 59691 2411.28/2420.55 c #Conflicts: 579000 | #Constraints: 60691 2411.28/2420.55 c #Conflicts: 580000 | #Constraints: 61691 2411.28/2420.55 c #Conflicts: 581000 | #Constraints: 62692 2411.28/2420.55 c #Conflicts: 582000 | #Constraints: 63692 2411.28/2420.55 c #Conflicts: 583000 | #Constraints: 64692 2411.28/2420.55 c #Conflicts: 584000 | #Constraints: 65692 2411.28/2420.55 c #Conflicts: 585000 | #Constraints: 66693 2411.28/2420.55 c #Conflicts: 586000 | #Constraints: 67693 2411.28/2420.55 c #Conflicts: 587000 | #Constraints: 68693 2411.28/2420.55 c #Conflicts: 588000 | #Constraints: 69693 2411.28/2420.55 c #Conflicts: 589000 | #Constraints: 70693 2411.28/2420.55 c #Conflicts: 590000 | #Constraints: 71693 2411.28/2420.55 c #Conflicts: 591000 | #Constraints: 72693 2411.28/2420.55 c #Conflicts: 592000 | #Constraints: 73693 2411.28/2420.55 c INPROCESSING 2411.28/2420.55 c GARBAGE COLLECT 2411.28/2420.55 c #Conflicts: 593000 | #Constraints: 46210 2411.28/2420.55 c #Conflicts: 594000 | #Constraints: 47210 2411.28/2420.55 c #Conflicts: 595000 | #Constraints: 48210 2411.28/2420.55 c #Conflicts: 596000 | #Constraints: 49210 2411.28/2420.55 c #Conflicts: 597000 | #Constraints: 50210 2411.28/2420.55 c #Conflicts: 598000 | #Constraints: 51210 2411.28/2420.55 c #Conflicts: 599000 | #Constraints: 52211 2411.28/2420.55 c #Conflicts: 600000 | #Constraints: 53211 2411.28/2420.55 c #Conflicts: 601000 | #Constraints: 54211 2411.28/2420.55 c #Conflicts: 602000 | #Constraints: 55211 2411.28/2420.55 c #Conflicts: 603000 | #Constraints: 56211 2411.28/2420.55 c #Conflicts: 604000 | #Constraints: 57211 2411.28/2420.55 c #Conflicts: 605000 | #Constraints: 58211 2411.28/2420.55 c #Conflicts: 606000 | #Constraints: 59211 2411.28/2420.55 c #Conflicts: 607000 | #Constraints: 60211 2411.28/2420.55 c #Conflicts: 608000 | #Constraints: 61211 2411.28/2420.55 c #Conflicts: 609000 | #Constraints: 62211 2411.28/2420.55 c #Conflicts: 610000 | #Constraints: 63211 2411.28/2420.55 c #Conflicts: 611000 | #Constraints: 64211 2411.28/2420.55 c #Conflicts: 612000 | #Constraints: 65211 2411.28/2420.55 c INPROCESSING 2411.28/2420.55 c GARBAGE COLLECT 2411.28/2420.55 c #Conflicts: 613000 | #Constraints: 44745 2411.28/2420.55 c #Conflicts: 614000 | #Constraints: 45745 2411.28/2420.55 c #Conflicts: 615000 | #Constraints: 46745 2411.28/2420.55 c #Conflicts: 616000 | #Constraints: 47745 2411.28/2420.55 c #Conflicts: 617000 | #Constraints: 48745 2411.28/2420.55 c #Conflicts: 618000 | #Constraints: 49745 2411.28/2420.55 c #Conflicts: 619000 | #Constraints: 50745 2411.28/2420.55 c #Conflicts: 620000 | #Constraints: 51745 2411.28/2420.55 c #Conflicts: 621000 | #Constraints: 52745 2411.28/2420.55 c #Conflicts: 622000 | #Constraints: 53745 2411.28/2420.55 c #Conflicts: 623000 | #Constraints: 54745 2411.28/2420.55 c #Conflicts: 624000 | #Constraints: 55745 2411.28/2420.55 c #Conflicts: 625000 | #Constraints: 56745 2411.28/2420.55 c #Conflicts: 626000 | #Constraints: 57745 2411.28/2420.55 c #Conflicts: 627000 | #Constraints: 58745 2411.28/2420.55 c #Conflicts: 628000 | #Constraints: 59746 2411.28/2420.55 c #Conflicts: 629000 | #Constraints: 60746 2411.28/2420.55 c #Conflicts: 630000 | #Constraints: 61746 2411.28/2420.55 c #Conflicts: 631000 | #Constraints: 62746 2411.28/2420.55 c #Conflicts: 632000 | #Constraints: 63746 2411.28/2420.55 c #Conflicts: 633000 | #Constraints: 64746 2411.28/2420.55 c #Conflicts: 634000 | #Constraints: 65746 2411.28/2420.55 c #Conflicts: 635000 | #Constraints: 66747 2411.28/2420.55 c #Conflicts: 636000 | #Constraints: 67747 2411.28/2420.55 c #Conflicts: 637000 | #Constraints: 68747 2411.28/2420.55 c #Conflicts: 638000 | #Constraints: 69747 2411.28/2420.55 c #Conflicts: 639000 | #Constraints: 70747 2411.28/2420.55 c #Conflicts: 640000 | #Constraints: 71747 2411.28/2420.55 c #Conflicts: 641000 | #Constraints: 72747 2411.28/2420.55 c #Conflicts: 642000 | #Constraints: 73747 2411.28/2420.55 c #Conflicts: 643000 | #Constraints: 74747 2411.28/2420.55 c #Conflicts: 644000 | #Constraints: 75747 2411.28/2420.55 c #Conflicts: 645000 | #Constraints: 76747 2411.28/2420.55 c #Conflicts: 646000 | #Constraints: 77747 2411.28/2420.55 c #Conflicts: 647000 | #Constraints: 78747 2411.28/2420.55 c #Conflicts: 648000 | #Constraints: 79747 2411.28/2420.55 c #Conflicts: 649000 | #Constraints: 80748 2411.28/2420.55 c #Conflicts: 650000 | #Constraints: 81748 2411.28/2420.55 c #Conflicts: 651000 | #Constraints: 82748 2559.04/2568.77 c #Conflicts: 652000 | #Constraints: 83748 2559.04/2568.77 c #Conflicts: 653000 | #Constraints: 84748 2559.04/2568.77 c #Conflicts: 654000 | #Constraints: 85748 2559.04/2568.77 c #Conflicts: 655000 | #Constraints: 86748 2559.04/2568.77 c #Conflicts: 656000 | #Constraints: 87748 2559.04/2568.77 c #Conflicts: 657000 | #Constraints: 88748 2559.04/2568.77 c #Conflicts: 658000 | #Constraints: 89748 2559.04/2568.77 c #Conflicts: 659000 | #Constraints: 90748 2559.04/2568.77 c #Conflicts: 660000 | #Constraints: 91748 2559.04/2568.77 c #Conflicts: 661000 | #Constraints: 92748 2559.04/2568.77 c #Conflicts: 662000 | #Constraints: 93748 2559.04/2568.77 c #Conflicts: 663000 | #Constraints: 94749 2559.04/2568.77 c #Conflicts: 664000 | #Constraints: 95749 2559.04/2568.77 c #Conflicts: 665000 | #Constraints: 96749 2559.04/2568.77 c #Conflicts: 666000 | #Constraints: 97749 2559.04/2568.77 c #Conflicts: 667000 | #Constraints: 98749 2559.04/2568.77 c #Conflicts: 668000 | #Constraints: 99749 2559.04/2568.77 c INPROCESSING 2559.04/2568.77 c GARBAGE COLLECT 2559.04/2568.77 c rational objective 135 2689.86/2699.90 c #Conflicts: 669000 | #Constraints: 59729 2689.86/2699.90 c #Conflicts: 670000 | #Constraints: 60729 2689.86/2699.90 c #Conflicts: 671000 | #Constraints: 61729 2689.86/2699.90 c #Conflicts: 672000 | #Constraints: 62729 2689.86/2699.90 c #Conflicts: 673000 | #Constraints: 63729 2689.86/2699.90 c #Conflicts: 674000 | #Constraints: 64729 2689.86/2699.90 c #Conflicts: 675000 | #Constraints: 65729 2689.86/2699.90 c #Conflicts: 676000 | #Constraints: 66729 2689.86/2699.90 c #Conflicts: 677000 | #Constraints: 67729 2689.86/2699.90 c #Conflicts: 678000 | #Constraints: 68730 2689.86/2699.90 c #Conflicts: 679000 | #Constraints: 69730 2689.86/2699.90 c #Conflicts: 680000 | #Constraints: 70730 2689.86/2699.90 c #Conflicts: 681000 | #Constraints: 71730 2689.86/2699.90 c #Conflicts: 682000 | #Constraints: 72730 2689.86/2699.90 c #Conflicts: 683000 | #Constraints: 73730 2689.86/2699.90 c #Conflicts: 684000 | #Constraints: 74730 2689.86/2699.90 c #Conflicts: 685000 | #Constraints: 75730 2689.86/2699.90 c #Conflicts: 686000 | #Constraints: 76731 2689.86/2699.90 c #Conflicts: 687000 | #Constraints: 77731 2689.86/2699.90 c #Conflicts: 688000 | #Constraints: 78731 2689.86/2699.90 c INPROCESSING 2689.86/2699.90 c GARBAGE COLLECT 2689.86/2699.90 c #Conflicts: 689000 | #Constraints: 48993 2689.86/2699.90 c #Conflicts: 690000 | #Constraints: 49994 2689.86/2699.90 c #Conflicts: 691000 | #Constraints: 50994 2689.86/2699.90 c #Conflicts: 692000 | #Constraints: 51994 2689.86/2699.90 c #Conflicts: 693000 | #Constraints: 52994 2689.86/2699.90 c #Conflicts: 694000 | #Constraints: 53994 2689.86/2699.90 c #Conflicts: 695000 | #Constraints: 54994 2689.86/2699.90 c #Conflicts: 696000 | #Constraints: 55994 2689.86/2699.90 c #Conflicts: 697000 | #Constraints: 56994 2689.86/2699.90 c #Conflicts: 698000 | #Constraints: 57994 2689.86/2699.90 c #Conflicts: 699000 | #Constraints: 58994 2689.86/2699.90 c #Conflicts: 700000 | #Constraints: 59994 2689.86/2699.90 c #Conflicts: 701000 | #Constraints: 60994 2689.86/2699.90 c #Conflicts: 702000 | #Constraints: 61994 2689.86/2699.90 c #Conflicts: 703000 | #Constraints: 62994 2689.86/2699.90 c #Conflicts: 704000 | #Constraints: 63994 2689.86/2699.90 c #Conflicts: 705000 | #Constraints: 64994 2689.86/2699.90 c #Conflicts: 706000 | #Constraints: 65994 2689.86/2699.90 c #Conflicts: 707000 | #Constraints: 66995 2689.86/2699.90 c #Conflicts: 708000 | #Constraints: 67995 2689.86/2699.90 c #Conflicts: 709000 | #Constraints: 68995 2689.86/2699.90 c INPROCESSING 2689.86/2699.90 c GARBAGE COLLECT 2689.86/2699.90 c rational objective 135 2847.94/2858.59 c #Conflicts: 710000 | #Constraints: 47422 2847.94/2858.59 c #Conflicts: 711000 | #Constraints: 48422 2847.94/2858.59 c #Conflicts: 712000 | #Constraints: 49422 2847.94/2858.59 c #Conflicts: 713000 | #Constraints: 50422 2847.94/2858.59 c #Conflicts: 714000 | #Constraints: 51422 2847.94/2858.59 c #Conflicts: 715000 | #Constraints: 52422 2847.94/2858.59 c #Conflicts: 716000 | #Constraints: 53422 2847.94/2858.59 c #Conflicts: 717000 | #Constraints: 54422 2847.94/2858.59 c #Conflicts: 718000 | #Constraints: 55422 2847.94/2858.59 c #Conflicts: 719000 | #Constraints: 56422 2847.94/2858.59 c #Conflicts: 720000 | #Constraints: 57422 2847.94/2858.59 c #Conflicts: 721000 | #Constraints: 58422 2847.94/2858.59 c #Conflicts: 722000 | #Constraints: 59422 2847.94/2858.59 c #Conflicts: 723000 | #Constraints: 60422 2847.94/2858.59 c #Conflicts: 724000 | #Constraints: 61422 2847.94/2858.59 c #Conflicts: 725000 | #Constraints: 62423 2847.94/2858.59 c #Conflicts: 726000 | #Constraints: 63423 2847.94/2858.59 c #Conflicts: 727000 | #Constraints: 64423 2847.94/2858.59 c #Conflicts: 728000 | #Constraints: 65423 2847.94/2858.59 c #Conflicts: 729000 | #Constraints: 66423 2847.94/2858.59 c #Conflicts: 730000 | #Constraints: 67424 2847.94/2858.59 c #Conflicts: 731000 | #Constraints: 68424 2847.94/2858.59 c #Conflicts: 732000 | #Constraints: 69425 2847.94/2858.59 c #Conflicts: 733000 | #Constraints: 70425 2847.94/2858.59 c #Conflicts: 734000 | #Constraints: 71425 2847.94/2858.59 c #Conflicts: 735000 | #Constraints: 72425 2847.94/2858.59 c #Conflicts: 736000 | #Constraints: 73425 2847.94/2858.59 c #Conflicts: 737000 | #Constraints: 74425 2847.94/2858.59 c #Conflicts: 738000 | #Constraints: 75426 2847.94/2858.59 c #Conflicts: 739000 | #Constraints: 76426 2847.94/2858.59 c #Conflicts: 740000 | #Constraints: 77426 2847.94/2858.59 c #Conflicts: 741000 | #Constraints: 78426 2847.94/2858.59 c #Conflicts: 742000 | #Constraints: 79426 2847.94/2858.59 c #Conflicts: 743000 | #Constraints: 80426 2847.94/2858.59 c #Conflicts: 744000 | #Constraints: 81426 2847.94/2858.59 c #Conflicts: 745000 | #Constraints: 82426 2847.94/2858.59 c #Conflicts: 746000 | #Constraints: 83426 2847.94/2858.59 c #Conflicts: 747000 | #Constraints: 84426 2847.94/2858.59 c #Conflicts: 748000 | #Constraints: 85426 2847.94/2858.59 c #Conflicts: 749000 | #Constraints: 86426 2847.94/2858.59 c #Conflicts: 750000 | #Constraints: 87426 2847.94/2858.59 c #Conflicts: 751000 | #Constraints: 88426 2847.94/2858.59 c #Conflicts: 752000 | #Constraints: 89426 2847.94/2858.59 c #Conflicts: 753000 | #Constraints: 90426 2847.94/2858.59 c #Conflicts: 754000 | #Constraints: 91426 2847.94/2858.59 c #Conflicts: 755000 | #Constraints: 92426 2847.94/2858.59 c #Conflicts: 756000 | #Constraints: 93426 2847.94/2858.59 c #Conflicts: 757000 | #Constraints: 94426 2847.94/2858.59 c #Conflicts: 758000 | #Constraints: 95426 2847.94/2858.59 c #Conflicts: 759000 | #Constraints: 96427 2847.94/2858.59 c #Conflicts: 760000 | #Constraints: 97427 2847.94/2858.59 c #Conflicts: 761000 | #Constraints: 98428 2847.94/2858.59 c #Conflicts: 762000 | #Constraints: 99428 2847.94/2858.59 c #Conflicts: 763000 | #Constraints: 100428 2847.94/2858.59 c #Conflicts: 764000 | #Constraints: 101428 2847.94/2858.59 c #Conflicts: 765000 | #Constraints: 102428 2847.94/2858.59 c #Conflicts: 766000 | #Constraints: 103428 2847.94/2858.59 c #Conflicts: 767000 | #Constraints: 104428 2847.94/2858.59 c #Conflicts: 768000 | #Constraints: 105428 2847.94/2858.59 c #Conflicts: 769000 | #Constraints: 106428 2847.94/2858.59 c INPROCESSING 2847.94/2858.59 c GARBAGE COLLECT 2847.94/2858.59 c rational objective 135 3010.81/3021.91 c #Conflicts: 770000 | #Constraints: 62767 3010.81/3021.91 c #Conflicts: 771000 | #Constraints: 63767 3010.81/3021.91 c #Conflicts: 772000 | #Constraints: 64767 3010.81/3021.91 c #Conflicts: 773000 | #Constraints: 65767 3010.81/3021.91 c #Conflicts: 774000 | #Constraints: 66767 3010.81/3021.91 c #Conflicts: 775000 | #Constraints: 67767 3010.81/3021.91 c #Conflicts: 776000 | #Constraints: 68767 3010.81/3021.91 c #Conflicts: 777000 | #Constraints: 69767 3010.81/3021.91 c #Conflicts: 778000 | #Constraints: 70767 3010.81/3021.91 c #Conflicts: 779000 | #Constraints: 71767 3010.81/3021.91 c #Conflicts: 780000 | #Constraints: 72767 3010.81/3021.91 c #Conflicts: 781000 | #Constraints: 73767 3010.81/3021.91 c #Conflicts: 782000 | #Constraints: 74767 3010.81/3021.91 c #Conflicts: 783000 | #Constraints: 75767 3010.81/3021.91 c #Conflicts: 784000 | #Constraints: 76767 3010.81/3021.91 c #Conflicts: 785000 | #Constraints: 77767 3010.81/3021.91 c #Conflicts: 786000 | #Constraints: 78767 3010.81/3021.91 c #Conflicts: 787000 | #Constraints: 79767 3010.81/3021.91 c #Conflicts: 788000 | #Constraints: 80767 3010.81/3021.91 c #Conflicts: 789000 | #Constraints: 81768 3010.81/3021.91 c #Conflicts: 790000 | #Constraints: 82768 3010.81/3021.91 c #Conflicts: 791000 | #Constraints: 83768 3010.81/3021.91 c #Conflicts: 792000 | #Constraints: 84768 3010.81/3021.91 c INPROCESSING 3010.81/3021.91 c GARBAGE COLLECT 3010.81/3021.91 c rational objective 135 3245.69/3257.66 c #Conflicts: 793000 | #Constraints: 52352 3245.69/3257.66 c #Conflicts: 794000 | #Constraints: 53352 3245.69/3257.66 c #Conflicts: 795000 | #Constraints: 54352 3245.69/3257.66 c #Conflicts: 796000 | #Constraints: 55352 3245.69/3257.66 c #Conflicts: 797000 | #Constraints: 56352 3245.69/3257.66 c #Conflicts: 798000 | #Constraints: 57352 3245.69/3257.66 c #Conflicts: 799000 | #Constraints: 58352 3245.69/3257.66 c #Conflicts: 800000 | #Constraints: 59352 3245.69/3257.66 c #Conflicts: 801000 | #Constraints: 60352 3245.69/3257.66 c #Conflicts: 802000 | #Constraints: 61352 3245.69/3257.66 c #Conflicts: 803000 | #Constraints: 62352 3245.69/3257.66 c #Conflicts: 804000 | #Constraints: 63353 3245.69/3257.66 c #Conflicts: 805000 | #Constraints: 64353 3245.69/3257.66 c #Conflicts: 806000 | #Constraints: 65353 3245.69/3257.66 c #Conflicts: 807000 | #Constraints: 66353 3245.69/3257.66 c #Conflicts: 808000 | #Constraints: 67354 3245.69/3257.66 c #Conflicts: 809000 | #Constraints: 68354 3245.69/3257.66 c #Conflicts: 810000 | #Constraints: 69354 3245.69/3257.66 c #Conflicts: 811000 | #Constraints: 70354 3245.69/3257.66 c #Conflicts: 812000 | #Constraints: 71354 3245.69/3257.66 c #Conflicts: 813000 | #Constraints: 72354 3245.69/3257.66 c #Conflicts: 814000 | #Constraints: 73354 3245.69/3257.66 c INPROCESSING 3245.69/3257.66 c GARBAGE COLLECT 3245.69/3257.66 c #Conflicts: 815000 | #Constraints: 50387 3245.69/3257.66 c #Conflicts: 816000 | #Constraints: 51387 3245.69/3257.66 c #Conflicts: 817000 | #Constraints: 52388 3245.69/3257.66 c #Conflicts: 818000 | #Constraints: 53388 3245.69/3257.66 c #Conflicts: 819000 | #Constraints: 54388 3245.69/3257.66 c #Conflicts: 820000 | #Constraints: 55388 3245.69/3257.66 c #Conflicts: 821000 | #Constraints: 56388 3245.69/3257.66 c #Conflicts: 822000 | #Constraints: 57388 3245.69/3257.66 c #Conflicts: 823000 | #Constraints: 58388 3245.69/3257.66 c #Conflicts: 824000 | #Constraints: 59388 3245.69/3257.66 c #Conflicts: 825000 | #Constraints: 60388 3245.69/3257.66 c #Conflicts: 826000 | #Constraints: 61389 3245.69/3257.66 c #Conflicts: 827000 | #Constraints: 62389 3245.69/3257.66 c #Conflicts: 828000 | #Constraints: 63389 3245.69/3257.66 c #Conflicts: 829000 | #Constraints: 64389 3245.69/3257.66 c #Conflicts: 830000 | #Constraints: 65390 3245.69/3257.66 c #Conflicts: 831000 | #Constraints: 66390 3245.69/3257.66 c #Conflicts: 832000 | #Constraints: 67390 3245.69/3257.66 c #Conflicts: 833000 | #Constraints: 68390 3245.69/3257.66 c #Conflicts: 834000 | #Constraints: 69390 3245.69/3257.66 c #Conflicts: 835000 | #Constraints: 70390 3245.69/3257.66 c #Conflicts: 836000 | #Constraints: 71390 3245.69/3257.66 c #Conflicts: 837000 | #Constraints: 72390 3245.69/3257.66 c #Conflicts: 838000 | #Constraints: 73390 3245.69/3257.66 c #Conflicts: 839000 | #Constraints: 74390 3245.69/3257.66 c #Conflicts: 840000 | #Constraints: 75390 3245.69/3257.66 c #Conflicts: 841000 | #Constraints: 76390 3245.69/3257.66 c #Conflicts: 842000 | #Constraints: 77390 3245.69/3257.66 c #Conflicts: 843000 | #Constraints: 78390 3245.69/3257.66 c #Conflicts: 844000 | #Constraints: 79390 3245.69/3257.66 c #Conflicts: 845000 | #Constraints: 80390 3245.69/3257.66 c #Conflicts: 846000 | #Constraints: 81390 3245.69/3257.66 c #Conflicts: 847000 | #Constraints: 82390 3245.69/3257.66 c #Conflicts: 848000 | #Constraints: 83390 3245.69/3257.66 c #Conflicts: 849000 | #Constraints: 84391 3245.69/3257.66 c #Conflicts: 850000 | #Constraints: 85391 3245.69/3257.66 c #Conflicts: 851000 | #Constraints: 86391 3245.69/3257.66 c #Conflicts: 852000 | #Constraints: 87391 3245.69/3257.66 c #Conflicts: 853000 | #Constraints: 88391 3245.69/3257.66 c #Conflicts: 854000 | #Constraints: 89391 3245.69/3257.66 c #Conflicts: 855000 | #Constraints: 90391 3245.69/3257.66 c #Conflicts: 856000 | #Constraints: 91391 3245.69/3257.66 c #Conflicts: 857000 | #Constraints: 92391 3245.69/3257.66 c #Conflicts: 858000 | #Constraints: 93391 3245.69/3257.66 c #Conflicts: 859000 | #Constraints: 94391 3245.69/3257.66 c #Conflicts: 860000 | #Constraints: 95391 3245.69/3257.66 c #Conflicts: 861000 | #Constraints: 96391 3245.69/3257.66 c #Conflicts: 862000 | #Constraints: 97391 3245.69/3257.66 c #Conflicts: 863000 | #Constraints: 98391 3245.69/3257.66 c #Conflicts: 864000 | #Constraints: 99391 3245.69/3257.66 c #Conflicts: 865000 | #Constraints: 100391 3245.69/3257.66 c #Conflicts: 866000 | #Constraints: 101391 3245.69/3257.66 c #Conflicts: 867000 | #Constraints: 102391 3245.69/3257.66 c #Conflicts: 868000 | #Constraints: 103391 3245.69/3257.66 c #Conflicts: 869000 | #Constraints: 104391 3245.69/3257.66 c #Conflicts: 870000 | #Constraints: 105391 3245.69/3257.66 c #Conflicts: 871000 | #Constraints: 106391 3276.37/3288.47 c #Conflicts: 872000 | #Constraints: 107391 3276.37/3288.47 c #Conflicts: 873000 | #Constraints: 108391 3276.37/3288.47 c #Conflicts: 874000 | #Constraints: 109391 3276.37/3288.47 c #Conflicts: 875000 | #Constraints: 110391 3276.37/3288.47 c #Conflicts: 876000 | #Constraints: 111391 3276.37/3288.47 c #Conflicts: 877000 | #Constraints: 112391 3276.37/3288.47 c #Conflicts: 878000 | #Constraints: 113391 3276.37/3288.47 c INPROCESSING 3276.37/3288.47 c GARBAGE COLLECT 3276.37/3288.47 c rational objective 135 3324.40/3336.69 c #Conflicts: 879000 | #Constraints: 66348 3324.40/3336.69 c #Conflicts: 880000 | #Constraints: 67348 3324.40/3336.69 c #Conflicts: 881000 | #Constraints: 68348 3324.40/3336.69 c #Conflicts: 882000 | #Constraints: 69348 3324.40/3336.69 c #Conflicts: 883000 | #Constraints: 70348 3324.40/3336.69 c #Conflicts: 884000 | #Constraints: 71348 3324.40/3336.69 c #Conflicts: 885000 | #Constraints: 72348 3324.40/3336.69 c #Conflicts: 886000 | #Constraints: 73348 3324.40/3336.69 c #Conflicts: 887000 | #Constraints: 74348 3324.40/3336.69 c #Conflicts: 888000 | #Constraints: 75348 3324.40/3336.69 c #Conflicts: 889000 | #Constraints: 76348 3324.40/3336.69 c #Conflicts: 890000 | #Constraints: 77348 3324.40/3336.69 c #Conflicts: 891000 | #Constraints: 78348 3324.40/3336.69 c #Conflicts: 892000 | #Constraints: 79348 3324.40/3336.69 c #Conflicts: 893000 | #Constraints: 80348 3324.40/3336.69 c #Conflicts: 894000 | #Constraints: 81348 3324.40/3336.69 c #Conflicts: 895000 | #Constraints: 82348 3324.40/3336.69 c #Conflicts: 896000 | #Constraints: 83348 3324.40/3336.69 c #Conflicts: 897000 | #Constraints: 84348 3324.40/3336.69 c #Conflicts: 898000 | #Constraints: 85348 3324.40/3336.69 c #Conflicts: 899000 | #Constraints: 86348 3324.40/3336.69 c #Conflicts: 900000 | #Constraints: 87348 3324.40/3336.69 c #Conflicts: 901000 | #Constraints: 88348 3324.40/3336.69 c #Conflicts: 902000 | #Constraints: 89348 3324.40/3336.69 c INPROCESSING 3324.40/3336.69 c GARBAGE COLLECT 3324.40/3336.69 c rational objective 135 3421.08/3433.64 c #Conflicts: 903000 | #Constraints: 54486 3421.08/3433.64 c #Conflicts: 904000 | #Constraints: 55486 3421.08/3433.64 c #Conflicts: 905000 | #Constraints: 56487 3421.08/3433.64 c #Conflicts: 906000 | #Constraints: 57487 3421.08/3433.64 c #Conflicts: 907000 | #Constraints: 58487 3421.08/3433.64 c #Conflicts: 908000 | #Constraints: 59487 3421.08/3433.64 c #Conflicts: 909000 | #Constraints: 60487 3421.08/3433.64 c #Conflicts: 910000 | #Constraints: 61487 3421.08/3433.64 c #Conflicts: 911000 | #Constraints: 62487 3421.08/3433.64 c #Conflicts: 912000 | #Constraints: 63487 3421.08/3433.64 c #Conflicts: 913000 | #Constraints: 64487 3421.08/3433.64 c #Conflicts: 914000 | #Constraints: 65487 3421.08/3433.64 c #Conflicts: 915000 | #Constraints: 66487 3421.08/3433.64 c #Conflicts: 916000 | #Constraints: 67487 3421.08/3433.64 c #Conflicts: 917000 | #Constraints: 68487 3421.08/3433.64 c #Conflicts: 918000 | #Constraints: 69487 3421.08/3433.64 c #Conflicts: 919000 | #Constraints: 70487 3421.08/3433.64 c #Conflicts: 920000 | #Constraints: 71487 3421.08/3433.64 c #Conflicts: 921000 | #Constraints: 72487 3421.08/3433.64 c #Conflicts: 922000 | #Constraints: 73487 3421.08/3433.64 c #Conflicts: 923000 | #Constraints: 74487 3421.08/3433.64 c #Conflicts: 924000 | #Constraints: 75488 3421.08/3433.64 c #Conflicts: 925000 | #Constraints: 76488 3421.08/3433.64 c #Conflicts: 926000 | #Constraints: 77488 3421.08/3433.64 c INPROCESSING 3421.08/3433.64 c GARBAGE COLLECT 3421.08/3433.64 c rational objective 135 3600.05/3613.20 c #Conflicts: 927000 | #Constraints: 53657 3600.05/3613.20 c #Conflicts: 928000 | #Constraints: 54657 3600.05/3613.20 c #Conflicts: 929000 | #Constraints: 55657 3600.05/3613.20 c #Conflicts: 930000 | #Constraints: 56657 3600.05/3613.20 c #Conflicts: 931000 | #Constraints: 57657 3600.05/3613.20 c #Conflicts: 932000 | #Constraints: 58657 3600.05/3613.20 c #Conflicts: 933000 | #Constraints: 59657 3600.05/3613.20 c #Conflicts: 934000 | #Constraints: 60657 3600.05/3613.20 c #Conflicts: 935000 | #Constraints: 61657 3600.05/3613.20 c #Conflicts: 936000 | #Constraints: 62657 3600.05/3613.20 c #Conflicts: 937000 | #Constraints: 63657 3600.05/3613.20 c #Conflicts: 938000 | #Constraints: 64657 3600.05/3613.20 c #Conflicts: 939000 | #Constraints: 65657 3600.05/3613.20 c #Conflicts: 940000 | #Constraints: 66657 3600.05/3613.20 c #Conflicts: 941000 | #Constraints: 67657 3600.05/3613.20 c #Conflicts: 942000 | #Constraints: 68657 3600.05/3613.20 c #Conflicts: 943000 | #Constraints: 69657 3600.05/3613.20 c #Conflicts: 944000 | #Constraints: 70657 3600.05/3613.20 c #Conflicts: 945000 | #Constraints: 71658 3600.05/3613.20 c #Conflicts: 946000 | #Constraints: 72658 3600.05/3613.20 c #Conflicts: 947000 | #Constraints: 73658 3600.05/3613.20 c #Conflicts: 948000 | #Constraints: 74658 3600.05/3613.20 c #Conflicts: 949000 | #Constraints: 75658 3600.05/3613.20 c #Conflicts: 950000 | #Constraints: 76658 3600.05/3613.20 c #Conflicts: 951000 | #Constraints: 77658 3600.05/3613.20 c #Conflicts: 952000 | #Constraints: 78658 3600.05/3613.20 c #Conflicts: 953000 | #Constraints: 79658 3600.05/3613.20 c #Conflicts: 954000 | #Constraints: 80658 3600.05/3613.20 c #Conflicts: 955000 | #Constraints: 81658 3600.05/3613.20 c #Conflicts: 956000 | #Constraints: 82658 3600.05/3613.20 c #Conflicts: 957000 | #Constraints: 83658 3600.05/3613.20 c #Conflicts: 958000 | #Constraints: 84658 3600.05/3613.20 c #Conflicts: 959000 | #Constraints: 85658 3600.05/3613.20 c #Conflicts: 960000 | #Constraints: 86658 3600.05/3613.20 c #Conflicts: 961000 | #Constraints: 87658 3600.05/3613.20 c #Conflicts: 962000 | #Constraints: 88658 3600.05/3613.20 c #Conflicts: 963000 | #Constraints: 89658 3600.05/3613.20 c #Conflicts: 964000 | #Constraints: 90658 3600.05/3613.20 c #Conflicts: 965000 | #Constraints: 91658 3600.05/3613.20 c #Conflicts: 966000 | #Constraints: 92658 3600.05/3613.20 c #Conflicts: 967000 | #Constraints: 93658 3600.05/3613.20 c #Conflicts: 968000 | #Constraints: 94658 3600.05/3613.20 c #Conflicts: 969000 | #Constraints: 95658 3600.05/3613.20 c #Conflicts: 970000 | #Constraints: 96658 3600.05/3613.20 c #Conflicts: 971000 | #Constraints: 97658 3600.05/3613.20 c #Conflicts: 972000 | #Constraints: 98659 3600.05/3613.20 c #Conflicts: 973000 | #Constraints: 99659 3600.05/3613.20 c #Conflicts: 974000 | #Constraints: 100659 3600.05/3613.20 c #Conflicts: 975000 | #Constraints: 101659 3600.05/3613.20 c #Conflicts: 976000 | #Constraints: 102659 3600.05/3613.20 c #Conflicts: 977000 | #Constraints: 103659 3600.05/3613.20 c #Conflicts: 978000 | #Constraints: 104659 3600.05/3613.20 c #Conflicts: 979000 | #Constraints: 105659 3600.05/3613.20 c #Conflicts: 980000 | #Constraints: 106659 3600.05/3613.20 c #Conflicts: 981000 | #Constraints: 107659 3600.05/3613.20 c #Conflicts: 982000 | #Constraints: 108659 3600.05/3613.20 c #Conflicts: 983000 | #Constraints: 109659 3600.05/3613.20 c #Conflicts: 984000 | #Constraints: 110659 3600.05/3613.20 c #Conflicts: 985000 | #Constraints: 111659 3600.05/3613.20 c #Conflicts: 986000 | #Constraints: 112659 3600.05/3613.20 c #Conflicts: 987000 | #Constraints: 113659 3600.05/3613.20 c #Conflicts: 988000 | #Constraints: 114659 3600.05/3613.20 c #Conflicts: 989000 | #Constraints: 115660 3600.05/3613.20 c Program interrupted by user. 3600.06/3613.34 c cpu time 3565.14 s 3600.06/3613.34 c deterministic time 209630556041 2.10e+11 3600.06/3613.34 c optimization time 177.415 s 3600.06/3613.34 c total solve time 3387.66 s 3600.06/3613.34 c core-guided solve time 0 s 3600.06/3613.34 c propagation time 1728.75 s 3600.06/3613.34 c conflict analysis time 628.499 s 3600.06/3613.34 c propagations 720415216 3600.06/3613.34 c resolve steps 48117384 3600.06/3613.34 c decisions 13967160 3600.06/3613.34 c conflicts 989233 3600.06/3613.34 c restarts 2045 3600.06/3613.34 c inprocessing phases 48 3600.06/3613.34 c input clauses 16202 3600.06/3613.34 c input cardinalities 135 3600.06/3613.34 c input general constraints 0 3600.06/3613.34 c input average constraint length 6.43 3600.06/3613.34 c input average constraint degree 1.97 3600.06/3613.34 c learned clauses 639725 3600.06/3613.34 c learned cardinalities 35931 3600.06/3613.34 c learned general constraints 313653 3600.06/3613.34 c learned average constraint length 1041.25 3600.06/3613.34 c learned average constraint degree 513710361.03 3600.06/3613.34 c watched constraints 245072 3600.06/3613.34 c counting constraints 68581 3600.06/3613.34 c gcd simplifications 4536 3600.06/3613.34 c detected cardinalities 3604 3600.06/3613.34 c weakened non-implied lits 234524670 3600.06/3613.34 c weakened non-implying lits 353381 3600.06/3613.34 c original variables 16065 3600.06/3613.34 c clausal propagations 311922619 3600.06/3613.34 c cardinality propagations 245664988 3600.06/3613.34 c watched propagations 44757915 3600.06/3613.34 c counting propagations 109668496 3600.06/3613.34 c watch lookups 13122151137 3600.06/3613.34 c watch backjump lookups 10658543801 3600.06/3613.34 c watch checks 139608640316 3600.06/3613.34 c propagation checks 41198688769 3600.06/3613.34 c constraint additions 3570926120 3600.06/3613.34 c trail pops 735357389 3600.06/3613.34 c formula constraints 16337 3600.06/3613.34 c learned constraints 989155 3600.06/3613.34 c bound constraints 0 3600.06/3613.34 c core-guided constraints 0 3600.06/3613.34 c encountered formula constraints 33863450 3600.06/3613.34 c encountered learned constraints 15241301 3600.06/3613.34 c encountered bound constraints 0 3600.06/3613.34 c encountered core-guided constraints 0 3600.06/3613.34 c LP total time 2085.24 s 3600.06/3613.34 c LP solve time 2081.5 s 3600.06/3613.34 c LP constraints added 20479 3600.06/3613.34 c LP constraints removed 3774 3600.06/3613.34 c LP pivots internal 1003402 3600.06/3613.34 c LP pivots root 862730 3600.06/3613.34 c LP calls 113 3600.06/3613.34 c LP optimalities 29 3600.06/3613.34 c LP no pivot count 0 3600.06/3613.34 c LP infeasibilities 77 3600.06/3613.34 c LP valid Farkas constraints 77 3600.06/3613.34 c LP learned Farkas constraints 77 3600.06/3613.34 c LP basis resets 0 3600.06/3613.34 c LP cycling count 0 3600.06/3613.34 c LP singular count 0 3600.06/3613.34 c LP no primal count 0 3600.06/3613.34 c LP no farkas count 0 3600.06/3613.34 c LP other issue count 0 3600.06/3613.34 c LP Gomory cuts 0 3600.06/3613.34 c LP learned cuts 4142 3600.06/3613.34 c LP deleted cuts 3774 3600.06/3613.34 c LP encountered Gomory constraints 0 3600.06/3613.34 c LP encountered Farkas constraints 1519 3600.06/3613.34 c LP encountered learned Farkas constraints 270 3600.06/3613.34 c CG auxiliary variables introduced 0 3600.06/3613.34 c CG solutions found 0 3600.06/3613.34 c CG cores constructed 0 3600.06/3613.34 c CG core cardinality constraints returned 0 3600.06/3613.34 c CG unit cores 0 3600.06/3613.34 c CG single cores 0 3600.06/3613.34 c CG blocks removed during cardinality reduction 0 3600.06/3613.34 c CG first core best 0 3600.06/3613.34 c CG decision core best 0 3600.06/3613.34 c CG core reduction tie 0 3600.06/3613.34 c CG core degree average 0.00 3600.06/3613.34 c CG core slack average 0.00 3600.06/3613.34 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (1967 MiB free)
memory of node 1: 64510 MiB (292 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457166-1721826814/watcher-4457166-1721826814 -o /tmp/evaluation-result-4457166-1721826814/solver-4457166-1721826814 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721817186-183569 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457166-1721826814 --lp-cut-gomory=0 HOME/instance-4457166-1721826814.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=189478, runsolver pid=189475
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.10 4.13 4.16 5/265 189479
/proc/meminfo: memFree=2286844/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=59840 memory=28940 CPUtime=0.09 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 7388 0 0 0 8 1 0 0 20 0 1 0 19209923 61276160 7235 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 14960 7235 1701 992 0 6818 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59840 KiB
Current children cumulated memory: 28940 KiB
[startup+0.205967 s]*
/proc/loadavg: 4.10 4.13 4.16 5/265 189479
/proc/meminfo: memFree=2269696/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=63496 memory=31052 CPUtime=0.2 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 7918 0 0 0 18 2 0 0 20 0 1 0 19209923 65019904 7763 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 15874 7763 1701 992 0 7732 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 63496 KiB
Current children cumulated memory: 31052 KiB
[startup+0.305817 s]*
/proc/loadavg: 4.10 4.13 4.16 5/265 189479
/proc/meminfo: memFree=2261296/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=63824 memory=31844 CPUtime=0.3 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 8121 0 0 0 28 2 0 0 20 0 1 0 19209923 65355776 7961 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 15956 7961 1701 992 0 7814 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 63824 KiB
Current children cumulated memory: 31844 KiB
[startup+0.700222 s]
/proc/loadavg: 4.10 4.13 4.16 5/265 189479
/proc/meminfo: memFree=2253232/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=65980 memory=33956 CPUtime=0.68 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 8646 0 0 0 66 2 0 0 20 0 1 0 19209923 67563520 8489 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 16495 8489 1701 992 0 8353 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65980 KiB
Current children cumulated memory: 33956 KiB
[startup+1.50022 s]
/proc/loadavg: 4.10 4.13 4.16 5/265 189479
/proc/meminfo: memFree=2194108/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=65980 memory=36644 CPUtime=1.48 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 8748 0 0 0 142 6 0 0 20 0 1 0 19209923 67563520 9161 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 16495 9161 1732 992 0 8353 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 65980 KiB
Current children cumulated memory: 36644 KiB
[startup+3.10572 s]
/proc/loadavg: 4.10 4.13 4.16 5/265 189479
/proc/meminfo: memFree=2011504/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=68772 memory=40128 CPUtime=3.09 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 9659 0 0 0 296 13 0 0 20 0 1 0 19209923 70422528 10032 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 17193 10032 1747 992 0 9051 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 68772 KiB
Current children cumulated memory: 40128 KiB
[startup+6.30017 s]
/proc/loadavg: 4.09 4.12 4.16 5/265 189479
/proc/meminfo: memFree=1778068/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=78920 memory=49132 CPUtime=6.26 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 11280 0 0 0 606 20 0 0 20 0 1 0 19209923 80814080 12283 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 19730 12283 1842 992 0 11588 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 78920 KiB
Current children cumulated memory: 49132 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.12 4.16 5/265 189480
/proc/meminfo: memFree=1428344/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=81284 memory=51500 CPUtime=12.59 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 11886 0 0 0 1222 37 0 0 20 0 1 0 19209923 83234816 12875 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 20321 12875 1842 992 0 12179 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 81284 KiB
Current children cumulated memory: 51500 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.12 4.15 5/268 189534
/proc/meminfo: memFree=561988/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=84780 memory=54928 CPUtime=25.34 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 12771 0 0 0 2478 56 0 0 20 0 1 0 19209923 86814720 13732 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 21195 13732 1842 992 0 13053 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 84780 KiB
Current children cumulated memory: 54928 KiB
[startup+51.1058 s]
/proc/loadavg: 4.10 4.12 4.15 5/268 189538
/proc/meminfo: memFree=614488/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=96700 memory=64212 CPUtime=50.84 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 16139 0 0 0 4997 87 0 0 20 0 1 0 19209923 99020800 16053 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 24175 16053 1842 992 0 16033 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 96700 KiB
Current children cumulated memory: 64212 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/267 189547
/proc/meminfo: memFree=505908/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=127400 memory=97124 CPUtime=101.76 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 23274 0 0 0 10007 169 0 0 20 0 1 0 19209923 130457600 24281 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 31850 24281 1842 992 0 23708 0
Current children cumulated CPU time: 101.76 s
Current children cumulated vsize: 127400 KiB
Current children cumulated memory: 97124 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/267 189605
/proc/meminfo: memFree=47549836/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=181928 memory=142156 CPUtime=161.46 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 26944 0 0 0 15932 214 0 0 20 0 1 0 19209923 186294272 35539 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 45482 35539 1842 992 0 37340 0
Current children cumulated CPU time: 161.46 s
Current children cumulated vsize: 181928 KiB
Current children cumulated memory: 142156 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.14 5/267 189615
/proc/meminfo: memFree=45015280/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=190536 memory=161940 CPUtime=221.18 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 29401 0 0 0 21834 284 0 0 20 0 1 0 19209923 195108864 40485 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 47634 40485 1842 992 0 39492 0
Current children cumulated CPU time: 221.18 s
Current children cumulated vsize: 190536 KiB
Current children cumulated memory: 161940 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.14 5/266 189625
/proc/meminfo: memFree=42324080/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=192740 memory=164048 CPUtime=280.87 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 29935 0 0 0 27749 338 0 0 20 0 1 0 19209923 197365760 41012 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 48185 41012 1842 992 0 40043 0
Current children cumulated CPU time: 280.87 s
Current children cumulated vsize: 192740 KiB
Current children cumulated memory: 164048 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.13 4.14 5/262 189637
/proc/meminfo: memFree=39454044/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=204460 memory=175844 CPUtime=340.54 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 33023 0 0 0 33638 416 0 0 20 0 1 0 19209923 209367040 43961 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 51115 43961 1842 992 0 42973 0
Current children cumulated CPU time: 340.54 s
Current children cumulated vsize: 204460 KiB
Current children cumulated memory: 175844 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.14 4.14 5/264 189651
/proc/meminfo: memFree=36296320/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=204460 memory=175844 CPUtime=400.21 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 33030 0 0 0 39578 443 0 0 20 0 1 0 19209923 209367040 43961 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 51115 43961 1842 992 0 42973 0
Current children cumulated CPU time: 400.21 s
Current children cumulated vsize: 204460 KiB
Current children cumulated memory: 175844 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.14 4.14 5/263 189665
/proc/meminfo: memFree=32610788/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=259744 memory=182492 CPUtime=459.88 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 34772 0 0 0 45479 509 0 0 20 0 1 0 19209923 265977856 45623 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 64936 45623 1842 992 0 56794 0
################
# More data... #
################
Current children cumulated memory: 747900 KiB
[startup+2922.3 s]
/proc/loadavg: 2.15 2.12 2.38 3/247 191364
/proc/meminfo: memFree=114222008/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=892196 memory=748420 CPUtime=2911.54 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 129288 0 0 0 288269 2885 0 0 20 0 1 0 19209923 913608704 187105 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 223049 187105 1929 992 0 214907 0
Current children cumulated CPU time: 2911.54 s
Current children cumulated vsize: 892196 KiB
Current children cumulated memory: 748420 KiB
[startup+2982.3 s]
/proc/loadavg: 2.11 2.11 2.36 3/249 191376
/proc/meminfo: memFree=114113196/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=892196 memory=748420 CPUtime=2971.33 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 129319 0 0 0 294226 2907 0 0 20 0 1 0 19209923 913608704 187105 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 223049 187105 1929 992 0 214907 0
Current children cumulated CPU time: 2971.33 s
Current children cumulated vsize: 892196 KiB
Current children cumulated memory: 748420 KiB
[startup+3042.3 s]
/proc/loadavg: 2.12 2.11 2.34 3/247 191388
/proc/meminfo: memFree=113956076/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=892560 memory=748916 CPUtime=3031.14 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 129691 0 0 0 300148 2966 0 0 20 0 1 0 19209923 913981440 187229 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 223140 187229 1929 992 0 214998 0
Current children cumulated CPU time: 3031.14 s
Current children cumulated vsize: 892560 KiB
Current children cumulated memory: 748916 KiB
[startup+3102.3 s]
/proc/loadavg: 2.20 2.13 2.33 3/247 191399
/proc/meminfo: memFree=113204260/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=893328 memory=750080 CPUtime=3090.94 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 130207 0 0 0 306048 3046 0 0 20 0 1 0 19209923 914767872 187520 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 223332 187520 1929 992 0 215190 0
Current children cumulated CPU time: 3090.94 s
Current children cumulated vsize: 893328 KiB
Current children cumulated memory: 750080 KiB
[startup+3162.3 s]
/proc/loadavg: 2.17 2.14 2.32 3/247 191409
/proc/meminfo: memFree=112943356/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=909164 memory=765300 CPUtime=3150.72 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 134238 0 0 0 311969 3103 0 0 20 0 1 0 19209923 930983936 191325 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 227291 191325 1929 992 0 219149 0
Current children cumulated CPU time: 3150.72 s
Current children cumulated vsize: 909164 KiB
Current children cumulated memory: 765300 KiB
[startup+3222.3 s]
/proc/loadavg: 2.10 2.12 2.30 3/245 191420
/proc/meminfo: memFree=112799204/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=920196 memory=775272 CPUtime=3210.5 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 137006 0 0 0 317893 3157 0 0 20 0 1 0 19209923 942280704 193818 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 230049 193818 1929 992 0 221907 0
Current children cumulated CPU time: 3210.5 s
Current children cumulated vsize: 920196 KiB
Current children cumulated memory: 775272 KiB
[startup+3282.3 s]
/proc/loadavg: 2.09 2.11 2.29 3/245 191431
/proc/meminfo: memFree=112638716/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=925640 memory=794564 CPUtime=3270.29 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 138480 0 0 0 323834 3195 0 0 20 0 1 0 19209923 947855360 198641 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 231410 198641 1929 992 0 223268 0
Current children cumulated CPU time: 3270.29 s
Current children cumulated vsize: 925640 KiB
Current children cumulated memory: 794564 KiB
[startup+3342.3 s]
/proc/loadavg: 2.07 2.11 2.27 3/244 191442
/proc/meminfo: memFree=112416504/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=931072 memory=803376 CPUtime=3330.09 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 139700 0 0 0 329745 3264 0 0 20 0 1 0 19209923 953417728 200844 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 232768 200844 1929 992 0 224626 0
Current children cumulated CPU time: 3330.09 s
Current children cumulated vsize: 931072 KiB
Current children cumulated memory: 803376 KiB
[startup+3402.3 s]
/proc/loadavg: 2.19 2.13 2.27 3/244 191452
/proc/meminfo: memFree=112235012/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=931072 memory=803404 CPUtime=3389.89 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 139862 0 0 0 335658 3331 0 0 20 0 1 0 19209923 953417728 200851 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 232768 200851 1929 992 0 224626 0
Current children cumulated CPU time: 3389.89 s
Current children cumulated vsize: 931072 KiB
Current children cumulated memory: 803404 KiB
[startup+3462.3 s]
/proc/loadavg: 2.11 2.12 2.26 3/246 191467
/proc/meminfo: memFree=112098548/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=931432 memory=803940 CPUtime=3449.68 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 140291 0 0 0 341584 3384 0 0 20 0 1 0 19209923 953786368 200985 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 232858 200985 1929 992 0 224716 0
Current children cumulated CPU time: 3449.68 s
Current children cumulated vsize: 931432 KiB
Current children cumulated memory: 803940 KiB
[startup+3522.3 s]
/proc/loadavg: 2.15 2.13 2.25 3/246 191479
/proc/meminfo: memFree=111975404/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=931432 memory=803944 CPUtime=3509.47 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 140666 0 0 0 347522 3425 0 0 20 0 1 0 19209923 953786368 200986 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 232858 200986 1929 992 0 224716 0
Current children cumulated CPU time: 3509.47 s
Current children cumulated vsize: 931432 KiB
Current children cumulated memory: 803944 KiB
[startup+3582.3 s]
/proc/loadavg: 2.16 2.13 2.24 3/245 191489
/proc/meminfo: memFree=111752756/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=932940 memory=821860 CPUtime=3569.26 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 141319 0 0 0 353458 3468 0 0 20 0 1 0 19209923 955330560 205465 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 233235 205465 1929 992 0 225093 0
Current children cumulated CPU time: 3569.26 s
Current children cumulated vsize: 932940 KiB
Current children cumulated memory: 821860 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.2 s]
/proc/loadavg: 2.17 2.13 2.24 3/245 191494
/proc/meminfo: memFree=111629320/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=938448 memory=871372 CPUtime=3600.05 cores=0,2
/proc/189478/stat : 189478 (roundingsat) R 189475 189478 183559 0 -1 4194304 142669 0 0 0 356513 3492 0 0 20 0 1 0 19209923 960970752 217843 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 234612 217843 1929 992 0 226470 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 938448 KiB
Current children cumulated memory: 871372 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.35 s]
# the end of solver process 189478 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3565.14 s, system=34.9379 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.3 s]
/proc/loadavg: 2.17 2.13 2.24 3/245 191494
/proc/meminfo: memFree=111629320/131524600 swapFree=131056028/131071996
[pid=189478] ppid=189475 vsize=938448 memory=871372 CPUtime=3600.06 cores=0,2
/proc/189478/stat : 189478 (roundingsat) D 189475 189478 183559 0 -1 4194304 142672 0 0 0 356514 3492 0 0 20 0 1 0 19209923 960970752 217843 134679101440 4194304 8254037 140730853007952 0 0 0 0 0 25182210 0 0 0 17 2 0 0 17 0 0 9037040 9046032 37064704 140730853012316 140730853012578 140730853012578 140730853019593 0
/proc/189478/statm: 234612 217843 1929 992 0 226470 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 938448 KiB
Current children cumulated memory: 871372 KiB
Child status: 0
Real time (s): 3613.35
CPU time (s): 3600.08
CPU user time (s): 3565.14
CPU system time (s): 34.9379
CPU usage (%): 99.6328
Max. virtual memory (cumulated for all children) (KiB): 938448
Max. memory (cumulated for all children) (KiB): 871372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.14
system time used= 34.9379
maximum resident set size= 871372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142681
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11836448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1171
involuntary context switches= 24886
# summary of solver processes directly reported to runsolver:
# pid: 189478
# total CPU time (s): 3600.08
# total CPU user time (s): 3565.14
# total CPU system time (s): 34.9379
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78463 second user time and 15.3148 second system time
The end
Begin job on nodeC016 at 2024-07-24 15:13:34 IDJOB=4457166 IDBENCH=158288 IDSOLVER=3085 FILE ID=nodeC016/4457166-1721826814 RUNJOBID= nodeC016-1721817186-183569 SLURM_JOB_ID= 7816868 Free space on /tmp= 889992 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-4457166-1721826814/watcher-4457166-1721826814 -o /tmp/evaluation-result-4457166-1721826814/solver-4457166-1721826814 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721817186-183569 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457166-1721826814 --lp-cut-gomory=0 HOME/instance-4457166-1721826814.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a9d7c7f4b9c33e38d48644f753677e90 RANDOM SEED=1565205330 nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3642.069 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3689.109 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3658.775 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.983 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3682.349 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3689.111 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3627.405 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.804 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 2314060 kB MemAvailable: 111470240 kB Buffers: 242376 kB Cached: 109193532 kB SwapCached: 256 kB Active: 2342276 kB Inactive: 125455844 kB Active(anon): 4644 kB Inactive(anon): 18409788 kB Active(file): 2337632 kB Inactive(file): 107046056 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056028 kB Dirty: 1982740 kB Writeback: 200 kB AnonPages: 18361500 kB Mapped: 113324 kB Shmem: 52400 kB KReclaimable: 833724 kB Slab: 1021080 kB SReclaimable: 833724 kB SUnreclaim: 187356 kB KernelStack: 4272 kB PageTables: 46264 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 21394244 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17184 kB HardwareCorrupted: 0 kB AnonHugePages: 8024064 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: 371412 kB DirectMap2M: 41345024 kB DirectMap1G: 94371840 kB Free space on /tmp at the end= 890068 MiB End job on nodeC016 at 2024-07-24 16:13:47