| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3602.07 | 3611.44 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K134.opb |
| MD5SUM | 963edb3c79c326322e0bda3e585d3232 |
| 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 | 15946 |
| Total number of constraints | 16216 |
| Number of constraints which are clauses | 16082 |
| Number of constraints which are cardinality constraints (but not clauses) | 134 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 134 |
| 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 | 135 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.09 c #variables 15946 #constraints 16216 103.21/103.57 c #Conflicts: 1000 | #Constraints: 17215 103.21/103.57 c #Conflicts: 2000 | #Constraints: 18215 103.21/103.57 c INPROCESSING 103.21/103.57 c GARBAGE COLLECT 103.21/103.57 c #Conflicts: 3000 | #Constraints: 17542 103.21/103.57 c #Conflicts: 4000 | #Constraints: 18542 103.21/103.57 c INPROCESSING 103.21/103.57 c GARBAGE COLLECT 103.21/103.57 c #Conflicts: 5000 | #Constraints: 18033 103.21/103.57 c #Conflicts: 6000 | #Constraints: 19033 103.21/103.57 c INPROCESSING 103.21/103.57 c GARBAGE COLLECT 103.21/103.57 c #Conflicts: 7000 | #Constraints: 18104 103.21/103.57 c #Conflicts: 8000 | #Constraints: 19104 103.21/103.57 c #Conflicts: 9000 | #Constraints: 20104 103.21/103.57 c INPROCESSING 103.21/103.57 c GARBAGE COLLECT 103.21/103.57 c #Conflicts: 10000 | #Constraints: 18842 103.21/103.57 c #Conflicts: 11000 | #Constraints: 19842 103.21/103.57 c #Conflicts: 12000 | #Constraints: 20842 103.21/103.57 c INPROCESSING 103.21/103.57 c GARBAGE COLLECT 103.21/103.57 c #Conflicts: 13000 | #Constraints: 19347 103.21/103.57 c #Conflicts: 14000 | #Constraints: 20347 103.21/103.57 c #Conflicts: 15000 | #Constraints: 21347 103.21/103.57 c INPROCESSING 103.21/103.57 c GARBAGE COLLECT 103.21/103.57 c #Conflicts: 16000 | #Constraints: 19639 103.21/103.57 c #Conflicts: 17000 | #Constraints: 20639 103.21/103.57 c #Conflicts: 18000 | #Constraints: 21639 103.21/103.57 c INPROCESSING 103.21/103.57 c GARBAGE COLLECT 103.21/103.57 c #Conflicts: 19000 | #Constraints: 19677 103.21/103.57 c #Conflicts: 20000 | #Constraints: 20677 103.21/103.57 c #Conflicts: 21000 | #Constraints: 21678 103.21/103.57 c INPROCESSING 103.21/103.57 c GARBAGE COLLECT 103.21/103.57 c #Conflicts: 22000 | #Constraints: 19558 103.21/103.57 c #Conflicts: 23000 | #Constraints: 20558 103.21/103.57 c #Conflicts: 24000 | #Constraints: 21558 103.21/103.57 c #Conflicts: 25000 | #Constraints: 22558 103.21/103.57 c #Conflicts: 26000 | #Constraints: 23558 103.21/103.57 c #Conflicts: 27000 | #Constraints: 24558 103.21/103.57 c #Conflicts: 28000 | #Constraints: 25558 103.21/103.57 c #Conflicts: 29000 | #Constraints: 26558 103.21/103.57 c #Conflicts: 30000 | #Constraints: 27558 103.21/103.57 c #Conflicts: 31000 | #Constraints: 28558 103.21/103.57 c #Conflicts: 32000 | #Constraints: 29558 103.21/103.57 c #Conflicts: 33000 | #Constraints: 30558 103.21/103.57 c INPROCESSING 103.21/103.57 c GARBAGE COLLECT 103.21/103.57 c rational objective 134 292.94/293.83 c #Conflicts: 34000 | #Constraints: 24248 292.94/293.83 c #Conflicts: 35000 | #Constraints: 25248 292.94/293.83 c #Conflicts: 36000 | #Constraints: 26249 292.94/293.83 c #Conflicts: 37000 | #Constraints: 27249 292.94/293.83 c #Conflicts: 38000 | #Constraints: 28249 292.94/293.83 c INPROCESSING 292.94/293.83 c GARBAGE COLLECT 292.94/293.83 c #Conflicts: 39000 | #Constraints: 23223 292.94/293.83 c #Conflicts: 40000 | #Constraints: 24223 292.94/293.83 c #Conflicts: 41000 | #Constraints: 25223 292.94/293.83 c #Conflicts: 42000 | #Constraints: 26223 292.94/293.83 c INPROCESSING 292.94/293.83 c GARBAGE COLLECT 292.94/293.83 c #Conflicts: 43000 | #Constraints: 21782 292.94/293.83 c #Conflicts: 44000 | #Constraints: 22782 292.94/293.83 c #Conflicts: 45000 | #Constraints: 23782 292.94/293.83 c #Conflicts: 46000 | #Constraints: 24782 292.94/293.83 c #Conflicts: 47000 | #Constraints: 25782 292.94/293.83 c #Conflicts: 48000 | #Constraints: 26782 292.94/293.83 c INPROCESSING 292.94/293.83 c GARBAGE COLLECT 292.94/293.83 c #Conflicts: 49000 | #Constraints: 22480 292.94/293.83 c #Conflicts: 50000 | #Constraints: 23480 292.94/293.83 c #Conflicts: 51000 | #Constraints: 24480 292.94/293.83 c #Conflicts: 52000 | #Constraints: 25480 292.94/293.83 c #Conflicts: 53000 | #Constraints: 26480 292.94/293.83 c #Conflicts: 54000 | #Constraints: 27480 292.94/293.83 c #Conflicts: 55000 | #Constraints: 28480 292.94/293.83 c #Conflicts: 56000 | #Constraints: 29480 292.94/293.83 c #Conflicts: 57000 | #Constraints: 30480 292.94/293.83 c #Conflicts: 58000 | #Constraints: 31480 292.94/293.83 c #Conflicts: 59000 | #Constraints: 32480 292.94/293.83 c #Conflicts: 60000 | #Constraints: 33480 292.94/293.83 c #Conflicts: 61000 | #Constraints: 34480 292.94/293.83 c #Conflicts: 62000 | #Constraints: 35480 292.94/293.83 c #Conflicts: 63000 | #Constraints: 36480 292.94/293.83 c #Conflicts: 64000 | #Constraints: 37480 292.94/293.83 c #Conflicts: 65000 | #Constraints: 38480 292.94/293.83 c INPROCESSING 292.94/293.83 c GARBAGE COLLECT 292.94/293.83 c #Conflicts: 66000 | #Constraints: 28419 292.94/293.83 c #Conflicts: 67000 | #Constraints: 29419 292.94/293.83 c #Conflicts: 68000 | #Constraints: 30419 292.94/293.83 c #Conflicts: 69000 | #Constraints: 31419 292.94/293.83 c #Conflicts: 70000 | #Constraints: 32419 292.94/293.83 c #Conflicts: 71000 | #Constraints: 33420 292.94/293.83 c INPROCESSING 292.94/293.83 c GARBAGE COLLECT 292.94/293.83 c rational objective 134 538.52/540.12 c #Conflicts: 72000 | #Constraints: 25711 538.52/540.12 c #Conflicts: 73000 | #Constraints: 26711 538.52/540.12 c #Conflicts: 74000 | #Constraints: 27711 538.52/540.12 c #Conflicts: 75000 | #Constraints: 28711 538.52/540.12 c #Conflicts: 76000 | #Constraints: 29711 538.52/540.12 c #Conflicts: 77000 | #Constraints: 30711 538.52/540.12 c #Conflicts: 78000 | #Constraints: 31711 538.52/540.12 c INPROCESSING 538.52/540.12 c GARBAGE COLLECT 538.52/540.12 c #Conflicts: 79000 | #Constraints: 25111 538.52/540.12 c #Conflicts: 80000 | #Constraints: 26111 538.52/540.12 c #Conflicts: 81000 | #Constraints: 27111 538.52/540.12 c #Conflicts: 82000 | #Constraints: 28111 538.52/540.12 c #Conflicts: 83000 | #Constraints: 29111 538.52/540.12 c #Conflicts: 84000 | #Constraints: 30111 538.52/540.12 c #Conflicts: 85000 | #Constraints: 31111 538.52/540.12 c #Conflicts: 86000 | #Constraints: 32111 538.52/540.12 c #Conflicts: 87000 | #Constraints: 33111 538.52/540.12 c #Conflicts: 88000 | #Constraints: 34111 538.52/540.12 c #Conflicts: 89000 | #Constraints: 35111 538.52/540.12 c #Conflicts: 90000 | #Constraints: 36111 538.52/540.12 c #Conflicts: 91000 | #Constraints: 37112 538.52/540.12 c #Conflicts: 92000 | #Constraints: 38112 538.52/540.12 c #Conflicts: 93000 | #Constraints: 39112 538.52/540.12 c #Conflicts: 94000 | #Constraints: 40112 538.52/540.12 c #Conflicts: 95000 | #Constraints: 41112 538.52/540.12 c #Conflicts: 96000 | #Constraints: 42112 538.52/540.12 c #Conflicts: 97000 | #Constraints: 43112 538.52/540.12 c #Conflicts: 98000 | #Constraints: 44112 538.52/540.12 c #Conflicts: 99000 | #Constraints: 45112 538.52/540.12 c INPROCESSING 538.52/540.12 c GARBAGE COLLECT 538.52/540.12 c #Conflicts: 100000 | #Constraints: 31713 538.52/540.12 c #Conflicts: 101000 | #Constraints: 32713 538.52/540.12 c #Conflicts: 102000 | #Constraints: 33713 538.52/540.12 c #Conflicts: 103000 | #Constraints: 34713 538.52/540.12 c #Conflicts: 104000 | #Constraints: 35713 538.52/540.12 c #Conflicts: 105000 | #Constraints: 36713 538.52/540.12 c #Conflicts: 106000 | #Constraints: 37713 538.52/540.12 c #Conflicts: 107000 | #Constraints: 38713 538.52/540.12 c INPROCESSING 538.52/540.12 c GARBAGE COLLECT 538.52/540.12 c #Conflicts: 108000 | #Constraints: 28544 538.52/540.12 c #Conflicts: 109000 | #Constraints: 29544 538.52/540.12 c #Conflicts: 110000 | #Constraints: 30544 538.52/540.12 c #Conflicts: 111000 | #Constraints: 31544 538.52/540.12 c #Conflicts: 112000 | #Constraints: 32544 538.52/540.12 c #Conflicts: 113000 | #Constraints: 33544 538.52/540.12 c #Conflicts: 114000 | #Constraints: 34544 538.52/540.12 c #Conflicts: 115000 | #Constraints: 35544 538.52/540.12 c INPROCESSING 538.52/540.12 c GARBAGE COLLECT 538.52/540.12 c #Conflicts: 116000 | #Constraints: 27076 538.52/540.12 c #Conflicts: 117000 | #Constraints: 28076 538.52/540.12 c #Conflicts: 118000 | #Constraints: 29076 538.52/540.12 c #Conflicts: 119000 | #Constraints: 30076 538.52/540.12 c #Conflicts: 120000 | #Constraints: 31076 538.52/540.12 c #Conflicts: 121000 | #Constraints: 32076 538.52/540.12 c #Conflicts: 122000 | #Constraints: 33076 538.52/540.12 c #Conflicts: 123000 | #Constraints: 34076 538.52/540.12 c #Conflicts: 124000 | #Constraints: 35076 538.52/540.12 c #Conflicts: 125000 | #Constraints: 36076 538.52/540.12 c #Conflicts: 126000 | #Constraints: 37077 538.52/540.12 c #Conflicts: 127000 | #Constraints: 38077 538.52/540.12 c #Conflicts: 128000 | #Constraints: 39077 538.52/540.12 c #Conflicts: 129000 | #Constraints: 40077 538.52/540.12 c #Conflicts: 130000 | #Constraints: 41077 538.52/540.12 c #Conflicts: 131000 | #Constraints: 42077 538.52/540.12 c #Conflicts: 132000 | #Constraints: 43078 538.52/540.12 c #Conflicts: 133000 | #Constraints: 44078 538.52/540.12 c #Conflicts: 134000 | #Constraints: 45078 538.52/540.12 c #Conflicts: 135000 | #Constraints: 46078 538.52/540.12 c #Conflicts: 136000 | #Constraints: 47078 538.52/540.12 c #Conflicts: 137000 | #Constraints: 48078 538.52/540.12 c #Conflicts: 138000 | #Constraints: 49078 538.52/540.12 c #Conflicts: 139000 | #Constraints: 50079 538.52/540.12 c #Conflicts: 140000 | #Constraints: 51079 538.52/540.12 c INPROCESSING 538.52/540.12 c GARBAGE COLLECT 538.52/540.12 c #Conflicts: 141000 | #Constraints: 34567 538.52/540.12 c #Conflicts: 142000 | #Constraints: 35567 538.52/540.12 c #Conflicts: 143000 | #Constraints: 36567 538.52/540.12 c #Conflicts: 144000 | #Constraints: 37567 538.52/540.12 c #Conflicts: 145000 | #Constraints: 38567 538.52/540.12 c #Conflicts: 146000 | #Constraints: 39567 538.52/540.12 c #Conflicts: 147000 | #Constraints: 40567 592.88/594.65 c #Conflicts: 148000 | #Constraints: 41567 592.88/594.65 c #Conflicts: 149000 | #Constraints: 42567 592.88/594.65 c #Conflicts: 150000 | #Constraints: 43567 592.88/594.65 c INPROCESSING 592.88/594.65 c GARBAGE COLLECT 592.88/594.65 c rational objective 134 724.08/726.14 c #Conflicts: 151000 | #Constraints: 31284 724.08/726.14 c #Conflicts: 152000 | #Constraints: 32284 724.08/726.14 c #Conflicts: 153000 | #Constraints: 33284 724.08/726.14 c #Conflicts: 154000 | #Constraints: 34284 724.08/726.14 c #Conflicts: 155000 | #Constraints: 35284 724.08/726.14 c #Conflicts: 156000 | #Constraints: 36285 724.08/726.14 c #Conflicts: 157000 | #Constraints: 37285 724.08/726.14 c #Conflicts: 158000 | #Constraints: 38285 724.08/726.14 c #Conflicts: 159000 | #Constraints: 39285 724.08/726.14 c INPROCESSING 724.08/726.14 c GARBAGE COLLECT 724.08/726.14 c #Conflicts: 160000 | #Constraints: 28764 724.08/726.14 c #Conflicts: 161000 | #Constraints: 29764 724.08/726.14 c #Conflicts: 162000 | #Constraints: 30764 724.08/726.14 c #Conflicts: 163000 | #Constraints: 31764 724.08/726.14 c #Conflicts: 164000 | #Constraints: 32764 724.08/726.14 c #Conflicts: 165000 | #Constraints: 33764 724.08/726.14 c #Conflicts: 166000 | #Constraints: 34764 724.08/726.14 c #Conflicts: 167000 | #Constraints: 35764 724.08/726.14 c #Conflicts: 168000 | #Constraints: 36764 724.08/726.14 c #Conflicts: 169000 | #Constraints: 37764 724.08/726.14 c #Conflicts: 170000 | #Constraints: 38764 724.08/726.14 c #Conflicts: 171000 | #Constraints: 39764 724.08/726.14 c #Conflicts: 172000 | #Constraints: 40764 724.08/726.14 c #Conflicts: 173000 | #Constraints: 41764 724.08/726.14 c #Conflicts: 174000 | #Constraints: 42765 724.08/726.14 c #Conflicts: 175000 | #Constraints: 43765 724.08/726.14 c #Conflicts: 176000 | #Constraints: 44765 724.08/726.14 c #Conflicts: 177000 | #Constraints: 45765 724.08/726.14 c #Conflicts: 178000 | #Constraints: 46765 724.08/726.14 c #Conflicts: 179000 | #Constraints: 47765 724.08/726.14 c #Conflicts: 180000 | #Constraints: 48765 724.08/726.14 c #Conflicts: 181000 | #Constraints: 49765 724.08/726.14 c #Conflicts: 182000 | #Constraints: 50765 724.08/726.14 c #Conflicts: 183000 | #Constraints: 51765 724.08/726.14 c #Conflicts: 184000 | #Constraints: 52765 724.08/726.14 c #Conflicts: 185000 | #Constraints: 53765 724.08/726.14 c #Conflicts: 186000 | #Constraints: 54765 724.08/726.14 c #Conflicts: 187000 | #Constraints: 55766 724.08/726.14 c #Conflicts: 188000 | #Constraints: 56766 724.08/726.14 c #Conflicts: 189000 | #Constraints: 57766 724.08/726.14 c INPROCESSING 724.08/726.14 c GARBAGE COLLECT 724.08/726.14 c #Conflicts: 190000 | #Constraints: 38206 724.08/726.14 c #Conflicts: 191000 | #Constraints: 39206 724.08/726.14 c #Conflicts: 192000 | #Constraints: 40206 724.08/726.14 c #Conflicts: 193000 | #Constraints: 41206 724.08/726.14 c #Conflicts: 194000 | #Constraints: 42206 724.08/726.14 c #Conflicts: 195000 | #Constraints: 43206 724.08/726.14 c #Conflicts: 196000 | #Constraints: 44206 724.08/726.14 c #Conflicts: 197000 | #Constraints: 45206 724.08/726.14 c #Conflicts: 198000 | #Constraints: 46206 724.08/726.14 c #Conflicts: 199000 | #Constraints: 47206 724.08/726.14 c #Conflicts: 200000 | #Constraints: 48206 724.08/726.14 c INPROCESSING 724.08/726.14 c GARBAGE COLLECT 724.08/726.14 c rational objective 134 826.94/829.29 c #Conflicts: 201000 | #Constraints: 33515 826.94/829.29 c #Conflicts: 202000 | #Constraints: 34516 826.94/829.29 c #Conflicts: 203000 | #Constraints: 35516 826.94/829.29 c #Conflicts: 204000 | #Constraints: 36516 826.94/829.29 c #Conflicts: 205000 | #Constraints: 37516 826.94/829.29 c #Conflicts: 206000 | #Constraints: 38516 826.94/829.29 c #Conflicts: 207000 | #Constraints: 39516 826.94/829.29 c #Conflicts: 208000 | #Constraints: 40516 826.94/829.29 c #Conflicts: 209000 | #Constraints: 41516 826.94/829.29 c #Conflicts: 210000 | #Constraints: 42516 826.94/829.29 c #Conflicts: 211000 | #Constraints: 43516 826.94/829.29 c INPROCESSING 826.94/829.29 c GARBAGE COLLECT 826.94/829.29 c rational objective 134 1005.63/1008.32 c #Conflicts: 212000 | #Constraints: 31487 1005.63/1008.32 c #Conflicts: 213000 | #Constraints: 32487 1005.63/1008.32 c #Conflicts: 214000 | #Constraints: 33487 1005.63/1008.32 c #Conflicts: 215000 | #Constraints: 34487 1005.63/1008.32 c #Conflicts: 216000 | #Constraints: 35487 1005.63/1008.32 c #Conflicts: 217000 | #Constraints: 36487 1005.63/1008.32 c #Conflicts: 218000 | #Constraints: 37487 1005.63/1008.32 c #Conflicts: 219000 | #Constraints: 38487 1005.63/1008.32 c #Conflicts: 220000 | #Constraints: 39487 1005.63/1008.32 c #Conflicts: 221000 | #Constraints: 40487 1005.63/1008.32 c #Conflicts: 222000 | #Constraints: 41488 1005.63/1008.32 c #Conflicts: 223000 | #Constraints: 42488 1005.63/1008.32 c #Conflicts: 224000 | #Constraints: 43488 1005.63/1008.32 c #Conflicts: 225000 | #Constraints: 44488 1005.63/1008.32 c #Conflicts: 226000 | #Constraints: 45488 1005.63/1008.32 c #Conflicts: 227000 | #Constraints: 46488 1005.63/1008.32 c #Conflicts: 228000 | #Constraints: 47488 1005.63/1008.32 c #Conflicts: 229000 | #Constraints: 48488 1005.63/1008.32 c #Conflicts: 230000 | #Constraints: 49488 1005.63/1008.32 c #Conflicts: 231000 | #Constraints: 50488 1005.63/1008.32 c #Conflicts: 232000 | #Constraints: 51488 1005.63/1008.32 c #Conflicts: 233000 | #Constraints: 52488 1005.63/1008.32 c #Conflicts: 234000 | #Constraints: 53488 1005.63/1008.32 c #Conflicts: 235000 | #Constraints: 54488 1005.63/1008.32 c #Conflicts: 236000 | #Constraints: 55488 1005.63/1008.32 c #Conflicts: 237000 | #Constraints: 56489 1005.63/1008.32 c #Conflicts: 238000 | #Constraints: 57489 1005.63/1008.32 c #Conflicts: 239000 | #Constraints: 58489 1005.63/1008.32 c #Conflicts: 240000 | #Constraints: 59489 1005.63/1008.32 c #Conflicts: 241000 | #Constraints: 60489 1005.63/1008.32 c #Conflicts: 242000 | #Constraints: 61489 1005.63/1008.32 c #Conflicts: 243000 | #Constraints: 62489 1005.63/1008.32 c #Conflicts: 244000 | #Constraints: 63489 1005.63/1008.32 c #Conflicts: 245000 | #Constraints: 64489 1005.63/1008.32 c INPROCESSING 1005.63/1008.32 c GARBAGE COLLECT 1005.63/1008.32 c #Conflicts: 246000 | #Constraints: 41670 1005.63/1008.32 c #Conflicts: 247000 | #Constraints: 42670 1005.63/1008.32 c #Conflicts: 248000 | #Constraints: 43670 1005.63/1008.32 c #Conflicts: 249000 | #Constraints: 44670 1005.63/1008.32 c #Conflicts: 250000 | #Constraints: 45670 1005.63/1008.32 c #Conflicts: 251000 | #Constraints: 46670 1005.63/1008.32 c #Conflicts: 252000 | #Constraints: 47670 1005.63/1008.32 c #Conflicts: 253000 | #Constraints: 48671 1005.63/1008.32 c #Conflicts: 254000 | #Constraints: 49671 1005.63/1008.32 c #Conflicts: 255000 | #Constraints: 50671 1005.63/1008.32 c #Conflicts: 256000 | #Constraints: 51671 1005.63/1008.32 c #Conflicts: 257000 | #Constraints: 52671 1005.63/1008.32 c INPROCESSING 1005.63/1008.32 c GARBAGE COLLECT 1005.63/1008.32 c #Conflicts: 258000 | #Constraints: 35603 1005.63/1008.32 c #Conflicts: 259000 | #Constraints: 36603 1005.63/1008.32 c #Conflicts: 260000 | #Constraints: 37603 1005.63/1008.32 c #Conflicts: 261000 | #Constraints: 38603 1005.63/1008.32 c #Conflicts: 262000 | #Constraints: 39603 1005.63/1008.32 c #Conflicts: 263000 | #Constraints: 40603 1005.63/1008.32 c #Conflicts: 264000 | #Constraints: 41603 1005.63/1008.32 c #Conflicts: 265000 | #Constraints: 42603 1005.63/1008.32 c #Conflicts: 266000 | #Constraints: 43603 1005.63/1008.32 c #Conflicts: 267000 | #Constraints: 44603 1005.63/1008.32 c #Conflicts: 268000 | #Constraints: 45603 1005.63/1008.32 c #Conflicts: 269000 | #Constraints: 46603 1005.63/1008.32 c #Conflicts: 270000 | #Constraints: 47604 1005.63/1008.32 c INPROCESSING 1005.63/1008.32 c GARBAGE COLLECT 1005.63/1008.32 c rational objective 134 1367.96/1371.59 c #Conflicts: 271000 | #Constraints: 34024 1367.96/1371.59 c #Conflicts: 272000 | #Constraints: 35024 1367.96/1371.59 c #Conflicts: 273000 | #Constraints: 36024 1367.96/1371.59 c #Conflicts: 274000 | #Constraints: 37024 1367.96/1371.59 c #Conflicts: 275000 | #Constraints: 38024 1367.96/1371.59 c #Conflicts: 276000 | #Constraints: 39024 1367.96/1371.59 c #Conflicts: 277000 | #Constraints: 40024 1367.96/1371.59 c #Conflicts: 278000 | #Constraints: 41024 1367.96/1371.59 c #Conflicts: 279000 | #Constraints: 42024 1367.96/1371.59 c #Conflicts: 280000 | #Constraints: 43024 1367.96/1371.59 c #Conflicts: 281000 | #Constraints: 44024 1367.96/1371.59 c #Conflicts: 282000 | #Constraints: 45024 1367.96/1371.59 c #Conflicts: 283000 | #Constraints: 46024 1367.96/1371.59 c #Conflicts: 284000 | #Constraints: 47024 1367.96/1371.59 c #Conflicts: 285000 | #Constraints: 48025 1367.96/1371.59 c #Conflicts: 286000 | #Constraints: 49025 1367.96/1371.59 c #Conflicts: 287000 | #Constraints: 50025 1367.96/1371.59 c #Conflicts: 288000 | #Constraints: 51025 1367.96/1371.59 c #Conflicts: 289000 | #Constraints: 52025 1367.96/1371.59 c #Conflicts: 290000 | #Constraints: 53025 1367.96/1371.59 c #Conflicts: 291000 | #Constraints: 54025 1367.96/1371.59 c #Conflicts: 292000 | #Constraints: 55025 1367.96/1371.59 c #Conflicts: 293000 | #Constraints: 56025 1367.96/1371.59 c #Conflicts: 294000 | #Constraints: 57025 1367.96/1371.59 c #Conflicts: 295000 | #Constraints: 58025 1367.96/1371.59 c #Conflicts: 296000 | #Constraints: 59025 1367.96/1371.59 c #Conflicts: 297000 | #Constraints: 60025 1367.96/1371.59 c #Conflicts: 298000 | #Constraints: 61025 1367.96/1371.59 c #Conflicts: 299000 | #Constraints: 62025 1367.96/1371.59 c #Conflicts: 300000 | #Constraints: 63025 1367.96/1371.59 c #Conflicts: 301000 | #Constraints: 64025 1367.96/1371.59 c #Conflicts: 302000 | #Constraints: 65025 1367.96/1371.59 c #Conflicts: 303000 | #Constraints: 66026 1367.96/1371.59 c #Conflicts: 304000 | #Constraints: 67026 1367.96/1371.59 c #Conflicts: 305000 | #Constraints: 68026 1367.96/1371.59 c #Conflicts: 306000 | #Constraints: 69026 1367.96/1371.59 c #Conflicts: 307000 | #Constraints: 70026 1367.96/1371.59 c #Conflicts: 308000 | #Constraints: 71026 1367.96/1371.59 c INPROCESSING 1367.96/1371.59 c GARBAGE COLLECT 1367.96/1371.59 c #Conflicts: 309000 | #Constraints: 45175 1367.96/1371.59 c #Conflicts: 310000 | #Constraints: 46175 1367.96/1371.59 c #Conflicts: 311000 | #Constraints: 47175 1367.96/1371.59 c #Conflicts: 312000 | #Constraints: 48175 1367.96/1371.59 c #Conflicts: 313000 | #Constraints: 49175 1367.96/1371.59 c #Conflicts: 314000 | #Constraints: 50175 1367.96/1371.59 c #Conflicts: 315000 | #Constraints: 51175 1367.96/1371.59 c #Conflicts: 316000 | #Constraints: 52175 1367.96/1371.59 c #Conflicts: 317000 | #Constraints: 53175 1367.96/1371.59 c #Conflicts: 318000 | #Constraints: 54175 1367.96/1371.59 c #Conflicts: 319000 | #Constraints: 55175 1367.96/1371.59 c #Conflicts: 320000 | #Constraints: 56176 1367.96/1371.59 c #Conflicts: 321000 | #Constraints: 57176 1367.96/1371.59 c INPROCESSING 1367.96/1371.59 c GARBAGE COLLECT 1367.96/1371.59 c #Conflicts: 322000 | #Constraints: 37744 1367.96/1371.59 c #Conflicts: 323000 | #Constraints: 38744 1367.96/1371.59 c #Conflicts: 324000 | #Constraints: 39744 1367.96/1371.59 c #Conflicts: 325000 | #Constraints: 40744 1367.96/1371.59 c #Conflicts: 326000 | #Constraints: 41744 1367.96/1371.59 c #Conflicts: 327000 | #Constraints: 42744 1367.96/1371.59 c #Conflicts: 328000 | #Constraints: 43744 1367.96/1371.59 c #Conflicts: 329000 | #Constraints: 44744 1367.96/1371.59 c #Conflicts: 330000 | #Constraints: 45744 1367.96/1371.59 c #Conflicts: 331000 | #Constraints: 46744 1367.96/1371.59 c #Conflicts: 332000 | #Constraints: 47744 1367.96/1371.59 c #Conflicts: 333000 | #Constraints: 48744 1367.96/1371.59 c #Conflicts: 334000 | #Constraints: 49744 1367.96/1371.59 c #Conflicts: 335000 | #Constraints: 50744 1367.96/1371.59 c #Conflicts: 336000 | #Constraints: 51744 1367.96/1371.59 c INPROCESSING 1367.96/1371.59 c GARBAGE COLLECT 1367.96/1371.59 c #Conflicts: 337000 | #Constraints: 36830 1367.96/1371.59 c #Conflicts: 338000 | #Constraints: 37830 1367.96/1371.59 c #Conflicts: 339000 | #Constraints: 38830 1367.96/1371.59 c #Conflicts: 340000 | #Constraints: 39830 1367.96/1371.59 c #Conflicts: 341000 | #Constraints: 40830 1367.96/1371.59 c #Conflicts: 342000 | #Constraints: 41830 1367.96/1371.59 c #Conflicts: 343000 | #Constraints: 42830 1367.96/1371.59 c #Conflicts: 344000 | #Constraints: 43830 1367.96/1371.59 c #Conflicts: 345000 | #Constraints: 44830 1367.96/1371.59 c #Conflicts: 346000 | #Constraints: 45830 1367.96/1371.59 c #Conflicts: 347000 | #Constraints: 46830 1555.72/1559.73 c #Conflicts: 348000 | #Constraints: 47830 1555.72/1559.73 c #Conflicts: 349000 | #Constraints: 48830 1555.72/1559.73 c #Conflicts: 350000 | #Constraints: 49830 1555.72/1559.73 c #Conflicts: 351000 | #Constraints: 50830 1555.72/1559.73 c #Conflicts: 352000 | #Constraints: 51830 1555.72/1559.73 c #Conflicts: 353000 | #Constraints: 52830 1555.72/1559.73 c #Conflicts: 354000 | #Constraints: 53830 1555.72/1559.73 c #Conflicts: 355000 | #Constraints: 54830 1555.72/1559.73 c #Conflicts: 356000 | #Constraints: 55830 1555.72/1559.73 c #Conflicts: 357000 | #Constraints: 56830 1555.72/1559.73 c #Conflicts: 358000 | #Constraints: 57830 1555.72/1559.73 c #Conflicts: 359000 | #Constraints: 58830 1555.72/1559.73 c #Conflicts: 360000 | #Constraints: 59830 1555.72/1559.73 c #Conflicts: 361000 | #Constraints: 60830 1555.72/1559.73 c #Conflicts: 362000 | #Constraints: 61830 1555.72/1559.73 c #Conflicts: 363000 | #Constraints: 62830 1555.72/1559.73 c #Conflicts: 364000 | #Constraints: 63830 1555.72/1559.73 c #Conflicts: 365000 | #Constraints: 64830 1555.72/1559.73 c #Conflicts: 366000 | #Constraints: 65830 1555.72/1559.73 c #Conflicts: 367000 | #Constraints: 66830 1555.72/1559.73 c #Conflicts: 368000 | #Constraints: 67830 1555.72/1559.73 c #Conflicts: 369000 | #Constraints: 68830 1555.72/1559.73 c #Conflicts: 370000 | #Constraints: 69830 1555.72/1559.73 c #Conflicts: 371000 | #Constraints: 70831 1555.72/1559.73 c #Conflicts: 372000 | #Constraints: 71831 1555.72/1559.73 c #Conflicts: 373000 | #Constraints: 72831 1555.72/1559.73 c #Conflicts: 374000 | #Constraints: 73831 1555.72/1559.73 c #Conflicts: 375000 | #Constraints: 74831 1555.72/1559.73 c #Conflicts: 376000 | #Constraints: 75831 1555.72/1559.73 c #Conflicts: 377000 | #Constraints: 76831 1555.72/1559.73 c #Conflicts: 378000 | #Constraints: 77831 1555.72/1559.73 c INPROCESSING 1555.72/1559.73 c GARBAGE COLLECT 1555.72/1559.73 c #Conflicts: 379000 | #Constraints: 48437 1555.72/1559.73 c #Conflicts: 380000 | #Constraints: 49437 1555.72/1559.73 c #Conflicts: 381000 | #Constraints: 50437 1555.72/1559.73 c #Conflicts: 382000 | #Constraints: 51437 1555.72/1559.73 c #Conflicts: 383000 | #Constraints: 52437 1555.72/1559.73 c #Conflicts: 384000 | #Constraints: 53437 1555.72/1559.73 c #Conflicts: 385000 | #Constraints: 54437 1555.72/1559.73 c #Conflicts: 386000 | #Constraints: 55437 1555.72/1559.73 c #Conflicts: 387000 | #Constraints: 56437 1555.72/1559.73 c #Conflicts: 388000 | #Constraints: 57438 1555.72/1559.73 c #Conflicts: 389000 | #Constraints: 58438 1555.72/1559.73 c #Conflicts: 390000 | #Constraints: 59438 1555.72/1559.73 c #Conflicts: 391000 | #Constraints: 60438 1555.72/1559.73 c #Conflicts: 392000 | #Constraints: 61438 1555.72/1559.73 c #Conflicts: 393000 | #Constraints: 62438 1555.72/1559.73 c INPROCESSING 1555.72/1559.73 c GARBAGE COLLECT 1555.72/1559.73 c #Conflicts: 394000 | #Constraints: 40495 1555.72/1559.73 c #Conflicts: 395000 | #Constraints: 41495 1555.72/1559.73 c #Conflicts: 396000 | #Constraints: 42495 1555.72/1559.73 c #Conflicts: 397000 | #Constraints: 43495 1555.72/1559.73 c #Conflicts: 398000 | #Constraints: 44495 1555.72/1559.73 c #Conflicts: 399000 | #Constraints: 45495 1555.72/1559.73 c #Conflicts: 400000 | #Constraints: 46495 1555.72/1559.73 c #Conflicts: 401000 | #Constraints: 47495 1555.72/1559.73 c #Conflicts: 402000 | #Constraints: 48495 1555.72/1559.73 c #Conflicts: 403000 | #Constraints: 49495 1555.72/1559.73 c #Conflicts: 404000 | #Constraints: 50495 1555.72/1559.73 c #Conflicts: 405000 | #Constraints: 51496 1555.72/1559.73 c #Conflicts: 406000 | #Constraints: 52496 1555.72/1559.73 c #Conflicts: 407000 | #Constraints: 53496 1555.72/1559.73 c #Conflicts: 408000 | #Constraints: 54496 1555.72/1559.73 c #Conflicts: 409000 | #Constraints: 55496 1555.72/1559.73 c INPROCESSING 1555.72/1559.73 c GARBAGE COLLECT 1555.72/1559.73 c rational objective 134 1930.12/1935.16 c #Conflicts: 410000 | #Constraints: 39621 1930.12/1935.16 c #Conflicts: 411000 | #Constraints: 40621 1930.12/1935.16 c #Conflicts: 412000 | #Constraints: 41621 1930.12/1935.16 c #Conflicts: 413000 | #Constraints: 42621 1930.12/1935.16 c #Conflicts: 414000 | #Constraints: 43621 1930.12/1935.16 c #Conflicts: 415000 | #Constraints: 44621 1930.12/1935.16 c #Conflicts: 416000 | #Constraints: 45621 1930.12/1935.16 c #Conflicts: 417000 | #Constraints: 46621 1930.12/1935.16 c #Conflicts: 418000 | #Constraints: 47621 1930.12/1935.16 c #Conflicts: 419000 | #Constraints: 48621 1930.12/1935.16 c #Conflicts: 420000 | #Constraints: 49621 1930.12/1935.16 c #Conflicts: 421000 | #Constraints: 50621 1930.12/1935.16 c #Conflicts: 422000 | #Constraints: 51621 1930.12/1935.16 c #Conflicts: 423000 | #Constraints: 52621 1930.12/1935.16 c #Conflicts: 424000 | #Constraints: 53621 1930.12/1935.16 c #Conflicts: 425000 | #Constraints: 54622 1930.12/1935.16 c #Conflicts: 426000 | #Constraints: 55622 1930.12/1935.16 c #Conflicts: 427000 | #Constraints: 56622 1930.12/1935.16 c #Conflicts: 428000 | #Constraints: 57622 1930.12/1935.16 c #Conflicts: 429000 | #Constraints: 58622 1930.12/1935.16 c #Conflicts: 430000 | #Constraints: 59622 1930.12/1935.16 c #Conflicts: 431000 | #Constraints: 60622 1930.12/1935.16 c #Conflicts: 432000 | #Constraints: 61622 1930.12/1935.16 c #Conflicts: 433000 | #Constraints: 62622 1930.12/1935.16 c #Conflicts: 434000 | #Constraints: 63622 1930.12/1935.16 c #Conflicts: 435000 | #Constraints: 64622 1930.12/1935.16 c #Conflicts: 436000 | #Constraints: 65622 1930.12/1935.16 c #Conflicts: 437000 | #Constraints: 66622 1930.12/1935.16 c #Conflicts: 438000 | #Constraints: 67622 1930.12/1935.16 c #Conflicts: 439000 | #Constraints: 68622 1930.12/1935.16 c #Conflicts: 440000 | #Constraints: 69622 1930.12/1935.16 c #Conflicts: 441000 | #Constraints: 70623 1930.12/1935.16 c #Conflicts: 442000 | #Constraints: 71623 1930.12/1935.16 c #Conflicts: 443000 | #Constraints: 72623 1930.12/1935.16 c #Conflicts: 444000 | #Constraints: 73623 1930.12/1935.16 c #Conflicts: 445000 | #Constraints: 74623 1930.12/1935.16 c #Conflicts: 446000 | #Constraints: 75623 1930.12/1935.16 c #Conflicts: 447000 | #Constraints: 76624 1930.12/1935.16 c #Conflicts: 448000 | #Constraints: 77624 1930.12/1935.16 c #Conflicts: 449000 | #Constraints: 78624 1930.12/1935.16 c #Conflicts: 450000 | #Constraints: 79624 1930.12/1935.16 c #Conflicts: 451000 | #Constraints: 80624 1930.12/1935.16 c #Conflicts: 452000 | #Constraints: 81624 1930.12/1935.16 c #Conflicts: 453000 | #Constraints: 82625 1930.12/1935.16 c #Conflicts: 454000 | #Constraints: 83625 1930.12/1935.16 c #Conflicts: 455000 | #Constraints: 84625 1930.12/1935.16 c INPROCESSING 1930.12/1935.16 c GARBAGE COLLECT 1930.12/1935.16 c rational objective 134 2166.32/2172.01 c #Conflicts: 456000 | #Constraints: 51631 2166.32/2172.01 c #Conflicts: 457000 | #Constraints: 52631 2166.32/2172.01 c #Conflicts: 458000 | #Constraints: 53631 2166.32/2172.01 c #Conflicts: 459000 | #Constraints: 54631 2166.32/2172.01 c #Conflicts: 460000 | #Constraints: 55631 2166.32/2172.01 c #Conflicts: 461000 | #Constraints: 56631 2166.32/2172.01 c #Conflicts: 462000 | #Constraints: 57631 2166.32/2172.01 c #Conflicts: 463000 | #Constraints: 58631 2166.32/2172.01 c #Conflicts: 464000 | #Constraints: 59631 2166.32/2172.01 c #Conflicts: 465000 | #Constraints: 60631 2166.32/2172.01 c #Conflicts: 466000 | #Constraints: 61631 2166.32/2172.01 c #Conflicts: 467000 | #Constraints: 62631 2166.32/2172.01 c #Conflicts: 468000 | #Constraints: 63631 2166.32/2172.01 c #Conflicts: 469000 | #Constraints: 64631 2166.32/2172.01 c #Conflicts: 470000 | #Constraints: 65632 2166.32/2172.01 c #Conflicts: 471000 | #Constraints: 66632 2166.32/2172.01 c #Conflicts: 472000 | #Constraints: 67632 2166.32/2172.01 c INPROCESSING 2166.32/2172.01 c GARBAGE COLLECT 2166.32/2172.01 c #Conflicts: 473000 | #Constraints: 43179 2166.32/2172.01 c #Conflicts: 474000 | #Constraints: 44179 2166.32/2172.01 c #Conflicts: 475000 | #Constraints: 45179 2166.32/2172.01 c #Conflicts: 476000 | #Constraints: 46179 2166.32/2172.01 c #Conflicts: 477000 | #Constraints: 47179 2166.32/2172.01 c #Conflicts: 478000 | #Constraints: 48179 2166.32/2172.01 c #Conflicts: 479000 | #Constraints: 49179 2166.32/2172.01 c #Conflicts: 480000 | #Constraints: 50179 2166.32/2172.01 c #Conflicts: 481000 | #Constraints: 51179 2166.32/2172.01 c #Conflicts: 482000 | #Constraints: 52179 2166.32/2172.01 c #Conflicts: 483000 | #Constraints: 53179 2166.32/2172.01 c #Conflicts: 484000 | #Constraints: 54179 2166.32/2172.01 c #Conflicts: 485000 | #Constraints: 55179 2166.32/2172.01 c #Conflicts: 486000 | #Constraints: 56180 2166.32/2172.01 c #Conflicts: 487000 | #Constraints: 57180 2166.32/2172.01 c #Conflicts: 488000 | #Constraints: 58180 2166.32/2172.01 c #Conflicts: 489000 | #Constraints: 59180 2166.32/2172.01 c INPROCESSING 2166.32/2172.01 c GARBAGE COLLECT 2166.32/2172.01 c #Conflicts: 490000 | #Constraints: 41332 2166.32/2172.01 c #Conflicts: 491000 | #Constraints: 42332 2166.32/2172.01 c #Conflicts: 492000 | #Constraints: 43332 2166.32/2172.01 c #Conflicts: 493000 | #Constraints: 44332 2166.32/2172.01 c #Conflicts: 494000 | #Constraints: 45332 2166.32/2172.01 c #Conflicts: 495000 | #Constraints: 46332 2166.32/2172.01 c #Conflicts: 496000 | #Constraints: 47332 2166.32/2172.01 c #Conflicts: 497000 | #Constraints: 48332 2166.32/2172.01 c #Conflicts: 498000 | #Constraints: 49332 2166.32/2172.01 c #Conflicts: 499000 | #Constraints: 50332 2166.32/2172.01 c #Conflicts: 500000 | #Constraints: 51332 2166.32/2172.01 c #Conflicts: 501000 | #Constraints: 52332 2166.32/2172.01 c #Conflicts: 502000 | #Constraints: 53332 2166.32/2172.01 c #Conflicts: 503000 | #Constraints: 54332 2166.32/2172.01 c #Conflicts: 504000 | #Constraints: 55332 2166.32/2172.01 c #Conflicts: 505000 | #Constraints: 56333 2166.32/2172.01 c #Conflicts: 506000 | #Constraints: 57333 2166.32/2172.01 c #Conflicts: 507000 | #Constraints: 58333 2166.32/2172.01 c #Conflicts: 508000 | #Constraints: 59333 2166.32/2172.01 c #Conflicts: 509000 | #Constraints: 60333 2166.32/2172.01 c #Conflicts: 510000 | #Constraints: 61333 2166.32/2172.01 c #Conflicts: 511000 | #Constraints: 62333 2166.32/2172.01 c #Conflicts: 512000 | #Constraints: 63333 2166.32/2172.01 c #Conflicts: 513000 | #Constraints: 64333 2166.32/2172.01 c #Conflicts: 514000 | #Constraints: 65333 2166.32/2172.01 c #Conflicts: 515000 | #Constraints: 66333 2166.32/2172.01 c #Conflicts: 516000 | #Constraints: 67333 2166.32/2172.01 c #Conflicts: 517000 | #Constraints: 68333 2166.32/2172.01 c #Conflicts: 518000 | #Constraints: 69333 2166.32/2172.01 c #Conflicts: 519000 | #Constraints: 70333 2166.32/2172.01 c #Conflicts: 520000 | #Constraints: 71333 2166.32/2172.01 c #Conflicts: 521000 | #Constraints: 72333 2166.32/2172.01 c #Conflicts: 522000 | #Constraints: 73333 2166.32/2172.01 c #Conflicts: 523000 | #Constraints: 74333 2166.32/2172.01 c #Conflicts: 524000 | #Constraints: 75333 2166.32/2172.01 c #Conflicts: 525000 | #Constraints: 76334 2166.32/2172.01 c #Conflicts: 526000 | #Constraints: 77334 2166.32/2172.01 c #Conflicts: 527000 | #Constraints: 78334 2166.32/2172.01 c #Conflicts: 528000 | #Constraints: 79334 2166.32/2172.01 c #Conflicts: 529000 | #Constraints: 80334 2166.32/2172.01 c #Conflicts: 530000 | #Constraints: 81334 2166.32/2172.01 c #Conflicts: 531000 | #Constraints: 82334 2166.32/2172.01 c #Conflicts: 532000 | #Constraints: 83334 2166.32/2172.01 c #Conflicts: 533000 | #Constraints: 84334 2344.09/2350.35 c #Conflicts: 534000 | #Constraints: 85334 2344.09/2350.35 c #Conflicts: 535000 | #Constraints: 86334 2344.09/2350.35 c #Conflicts: 536000 | #Constraints: 87334 2344.09/2350.35 c #Conflicts: 537000 | #Constraints: 88334 2344.09/2350.35 c #Conflicts: 538000 | #Constraints: 89334 2344.09/2350.35 c #Conflicts: 539000 | #Constraints: 90334 2344.09/2350.35 c #Conflicts: 540000 | #Constraints: 91335 2344.09/2350.35 c INPROCESSING 2344.09/2350.35 c GARBAGE COLLECT 2344.09/2350.35 c #Conflicts: 541000 | #Constraints: 55455 2344.09/2350.35 c #Conflicts: 542000 | #Constraints: 56455 2344.09/2350.35 c #Conflicts: 543000 | #Constraints: 57455 2344.09/2350.35 c #Conflicts: 544000 | #Constraints: 58455 2344.09/2350.35 c #Conflicts: 545000 | #Constraints: 59455 2344.09/2350.35 c #Conflicts: 546000 | #Constraints: 60455 2344.09/2350.35 c #Conflicts: 547000 | #Constraints: 61455 2344.09/2350.35 c #Conflicts: 548000 | #Constraints: 62455 2344.09/2350.35 c #Conflicts: 549000 | #Constraints: 63455 2344.09/2350.35 c #Conflicts: 550000 | #Constraints: 64455 2344.09/2350.35 c #Conflicts: 551000 | #Constraints: 65455 2344.09/2350.35 c #Conflicts: 552000 | #Constraints: 66455 2344.09/2350.35 c #Conflicts: 553000 | #Constraints: 67455 2344.09/2350.35 c #Conflicts: 554000 | #Constraints: 68455 2344.09/2350.35 c #Conflicts: 555000 | #Constraints: 69455 2344.09/2350.35 c #Conflicts: 556000 | #Constraints: 70455 2344.09/2350.35 c #Conflicts: 557000 | #Constraints: 71455 2344.09/2350.35 c #Conflicts: 558000 | #Constraints: 72455 2344.09/2350.35 c INPROCESSING 2344.09/2350.35 c GARBAGE COLLECT 2344.09/2350.35 c #Conflicts: 559000 | #Constraints: 45633 2344.09/2350.35 c #Conflicts: 560000 | #Constraints: 46633 2344.09/2350.35 c #Conflicts: 561000 | #Constraints: 47633 2344.09/2350.35 c #Conflicts: 562000 | #Constraints: 48633 2344.09/2350.35 c #Conflicts: 563000 | #Constraints: 49633 2344.09/2350.35 c #Conflicts: 564000 | #Constraints: 50633 2344.09/2350.35 c #Conflicts: 565000 | #Constraints: 51633 2344.09/2350.35 c #Conflicts: 566000 | #Constraints: 52633 2344.09/2350.35 c #Conflicts: 567000 | #Constraints: 53633 2344.09/2350.35 c #Conflicts: 568000 | #Constraints: 54633 2344.09/2350.35 c #Conflicts: 569000 | #Constraints: 55633 2344.09/2350.35 c #Conflicts: 570000 | #Constraints: 56633 2344.09/2350.35 c #Conflicts: 571000 | #Constraints: 57634 2344.09/2350.35 c #Conflicts: 572000 | #Constraints: 58634 2344.09/2350.35 c #Conflicts: 573000 | #Constraints: 59634 2344.09/2350.35 c #Conflicts: 574000 | #Constraints: 60634 2344.09/2350.35 c #Conflicts: 575000 | #Constraints: 61634 2344.09/2350.35 c #Conflicts: 576000 | #Constraints: 62634 2344.09/2350.35 c #Conflicts: 577000 | #Constraints: 63634 2344.09/2350.35 c INPROCESSING 2344.09/2350.35 c GARBAGE COLLECT 2344.09/2350.35 c #Conflicts: 578000 | #Constraints: 44672 2344.09/2350.35 c #Conflicts: 579000 | #Constraints: 45673 2344.09/2350.35 c #Conflicts: 580000 | #Constraints: 46673 2344.09/2350.35 c #Conflicts: 581000 | #Constraints: 47673 2344.09/2350.35 c #Conflicts: 582000 | #Constraints: 48673 2344.09/2350.35 c #Conflicts: 583000 | #Constraints: 49673 2344.09/2350.35 c #Conflicts: 584000 | #Constraints: 50674 2344.09/2350.35 c #Conflicts: 585000 | #Constraints: 51674 2344.09/2350.35 c #Conflicts: 586000 | #Constraints: 52675 2344.09/2350.35 c #Conflicts: 587000 | #Constraints: 53675 2344.09/2350.35 c #Conflicts: 588000 | #Constraints: 54675 2344.09/2350.35 c #Conflicts: 589000 | #Constraints: 55675 2344.09/2350.35 c #Conflicts: 590000 | #Constraints: 56676 2344.09/2350.35 c #Conflicts: 591000 | #Constraints: 57676 2344.09/2350.35 c #Conflicts: 592000 | #Constraints: 58676 2344.09/2350.35 c #Conflicts: 593000 | #Constraints: 59676 2344.09/2350.35 c #Conflicts: 594000 | #Constraints: 60676 2344.09/2350.35 c #Conflicts: 595000 | #Constraints: 61676 2344.09/2350.35 c #Conflicts: 596000 | #Constraints: 62677 2344.09/2350.35 c #Conflicts: 597000 | #Constraints: 63677 2344.09/2350.35 c #Conflicts: 598000 | #Constraints: 64677 2344.09/2350.35 c #Conflicts: 599000 | #Constraints: 65677 2344.09/2350.35 c #Conflicts: 600000 | #Constraints: 66677 2344.09/2350.35 c #Conflicts: 601000 | #Constraints: 67677 2344.09/2350.35 c #Conflicts: 602000 | #Constraints: 68677 2344.09/2350.35 c #Conflicts: 603000 | #Constraints: 69677 2344.09/2350.35 c #Conflicts: 604000 | #Constraints: 70677 2344.09/2350.35 c #Conflicts: 605000 | #Constraints: 71677 2344.09/2350.35 c #Conflicts: 606000 | #Constraints: 72677 2344.09/2350.35 c #Conflicts: 607000 | #Constraints: 73677 2344.09/2350.35 c #Conflicts: 608000 | #Constraints: 74677 2344.09/2350.35 c #Conflicts: 609000 | #Constraints: 75677 2344.09/2350.35 c #Conflicts: 610000 | #Constraints: 76677 2493.46/2500.11 c #Conflicts: 611000 | #Constraints: 77678 2493.46/2500.11 c #Conflicts: 612000 | #Constraints: 78678 2493.46/2500.11 c #Conflicts: 613000 | #Constraints: 79678 2493.46/2500.11 c #Conflicts: 614000 | #Constraints: 80678 2493.46/2500.11 c #Conflicts: 615000 | #Constraints: 81678 2493.46/2500.11 c #Conflicts: 616000 | #Constraints: 82678 2493.46/2500.11 c #Conflicts: 617000 | #Constraints: 83678 2493.46/2500.11 c #Conflicts: 618000 | #Constraints: 84678 2493.46/2500.11 c #Conflicts: 619000 | #Constraints: 85678 2493.46/2500.11 c #Conflicts: 620000 | #Constraints: 86678 2493.46/2500.11 c #Conflicts: 621000 | #Constraints: 87678 2493.46/2500.11 c #Conflicts: 622000 | #Constraints: 88678 2493.46/2500.11 c #Conflicts: 623000 | #Constraints: 89678 2493.46/2500.11 c #Conflicts: 624000 | #Constraints: 90678 2493.46/2500.11 c #Conflicts: 625000 | #Constraints: 91678 2493.46/2500.11 c #Conflicts: 626000 | #Constraints: 92678 2493.46/2500.11 c #Conflicts: 627000 | #Constraints: 93678 2493.46/2500.11 c #Conflicts: 628000 | #Constraints: 94679 2493.46/2500.11 c #Conflicts: 629000 | #Constraints: 95679 2493.46/2500.11 c #Conflicts: 630000 | #Constraints: 96679 2493.46/2500.11 c #Conflicts: 631000 | #Constraints: 97679 2493.46/2500.11 c #Conflicts: 632000 | #Constraints: 98680 2493.46/2500.11 c INPROCESSING 2493.46/2500.11 c GARBAGE COLLECT 2493.46/2500.11 c rational objective 134 2626.17/2633.29 c #Conflicts: 633000 | #Constraints: 59129 2626.17/2633.29 c #Conflicts: 634000 | #Constraints: 60129 2626.17/2633.29 c #Conflicts: 635000 | #Constraints: 61129 2626.17/2633.29 c #Conflicts: 636000 | #Constraints: 62130 2626.17/2633.29 c #Conflicts: 637000 | #Constraints: 63131 2626.17/2633.29 c #Conflicts: 638000 | #Constraints: 64131 2626.17/2633.29 c #Conflicts: 639000 | #Constraints: 65131 2626.17/2633.29 c #Conflicts: 640000 | #Constraints: 66132 2626.17/2633.29 c #Conflicts: 641000 | #Constraints: 67132 2626.17/2633.29 c #Conflicts: 642000 | #Constraints: 68132 2626.17/2633.29 c #Conflicts: 643000 | #Constraints: 69132 2626.17/2633.29 c #Conflicts: 644000 | #Constraints: 70132 2626.17/2633.29 c #Conflicts: 645000 | #Constraints: 71132 2626.17/2633.29 c #Conflicts: 646000 | #Constraints: 72132 2626.17/2633.29 c #Conflicts: 647000 | #Constraints: 73132 2626.17/2633.29 c #Conflicts: 648000 | #Constraints: 74132 2626.17/2633.29 c #Conflicts: 649000 | #Constraints: 75133 2626.17/2633.29 c #Conflicts: 650000 | #Constraints: 76133 2626.17/2633.29 c #Conflicts: 651000 | #Constraints: 77133 2626.17/2633.29 c INPROCESSING 2626.17/2633.29 c GARBAGE COLLECT 2626.17/2633.29 c rational objective 134 2847.68/2855.34 c #Conflicts: 652000 | #Constraints: 47911 2847.68/2855.34 c #Conflicts: 653000 | #Constraints: 48911 2847.68/2855.34 c #Conflicts: 654000 | #Constraints: 49911 2847.68/2855.34 c #Conflicts: 655000 | #Constraints: 50911 2847.68/2855.34 c #Conflicts: 656000 | #Constraints: 51911 2847.68/2855.34 c #Conflicts: 657000 | #Constraints: 52911 2847.68/2855.34 c #Conflicts: 658000 | #Constraints: 53911 2847.68/2855.34 c #Conflicts: 659000 | #Constraints: 54911 2847.68/2855.34 c #Conflicts: 660000 | #Constraints: 55911 2847.68/2855.34 c #Conflicts: 661000 | #Constraints: 56911 2847.68/2855.34 c #Conflicts: 662000 | #Constraints: 57911 2847.68/2855.34 c #Conflicts: 663000 | #Constraints: 58911 2847.68/2855.34 c #Conflicts: 664000 | #Constraints: 59911 2847.68/2855.34 c #Conflicts: 665000 | #Constraints: 60911 2847.68/2855.34 c #Conflicts: 666000 | #Constraints: 61912 2847.68/2855.34 c #Conflicts: 667000 | #Constraints: 62913 2847.68/2855.34 c #Conflicts: 668000 | #Constraints: 63913 2847.68/2855.34 c #Conflicts: 669000 | #Constraints: 64913 2847.68/2855.34 c #Conflicts: 670000 | #Constraints: 65913 2847.68/2855.34 c #Conflicts: 671000 | #Constraints: 66913 2847.68/2855.34 c #Conflicts: 672000 | #Constraints: 67913 2847.68/2855.34 c #Conflicts: 673000 | #Constraints: 68913 2847.68/2855.34 c #Conflicts: 674000 | #Constraints: 69914 2847.68/2855.34 c #Conflicts: 675000 | #Constraints: 70914 2847.68/2855.34 c #Conflicts: 676000 | #Constraints: 71914 2847.68/2855.34 c #Conflicts: 677000 | #Constraints: 72914 2847.68/2855.34 c #Conflicts: 678000 | #Constraints: 73914 2847.68/2855.34 c #Conflicts: 679000 | #Constraints: 74915 2847.68/2855.34 c #Conflicts: 680000 | #Constraints: 75915 2847.68/2855.34 c #Conflicts: 681000 | #Constraints: 76915 2847.68/2855.34 c #Conflicts: 682000 | #Constraints: 77915 2847.68/2855.34 c #Conflicts: 683000 | #Constraints: 78915 2847.68/2855.34 c #Conflicts: 684000 | #Constraints: 79915 2847.68/2855.34 c #Conflicts: 685000 | #Constraints: 80915 2847.68/2855.34 c #Conflicts: 686000 | #Constraints: 81915 2847.68/2855.34 c #Conflicts: 687000 | #Constraints: 82915 2847.68/2855.34 c #Conflicts: 688000 | #Constraints: 83915 2847.68/2855.34 c #Conflicts: 689000 | #Constraints: 84915 2847.68/2855.34 c #Conflicts: 690000 | #Constraints: 85915 2847.68/2855.34 c #Conflicts: 691000 | #Constraints: 86915 2847.68/2855.34 c #Conflicts: 692000 | #Constraints: 87915 2847.68/2855.34 c #Conflicts: 693000 | #Constraints: 88915 2847.68/2855.34 c #Conflicts: 694000 | #Constraints: 89915 2847.68/2855.34 c #Conflicts: 695000 | #Constraints: 90916 2847.68/2855.34 c #Conflicts: 696000 | #Constraints: 91916 2847.68/2855.34 c #Conflicts: 697000 | #Constraints: 92916 2847.68/2855.34 c #Conflicts: 698000 | #Constraints: 93916 2847.68/2855.34 c #Conflicts: 699000 | #Constraints: 94916 2847.68/2855.34 c #Conflicts: 700000 | #Constraints: 95917 2847.68/2855.34 c #Conflicts: 701000 | #Constraints: 96917 2847.68/2855.34 c #Conflicts: 702000 | #Constraints: 97917 2847.68/2855.34 c #Conflicts: 703000 | #Constraints: 98917 2847.68/2855.34 c #Conflicts: 704000 | #Constraints: 99918 2847.68/2855.34 c #Conflicts: 705000 | #Constraints: 100918 2847.68/2855.34 c #Conflicts: 706000 | #Constraints: 101918 2847.68/2855.34 c #Conflicts: 707000 | #Constraints: 102918 2847.68/2855.34 c #Conflicts: 708000 | #Constraints: 103919 2847.68/2855.34 c #Conflicts: 709000 | #Constraints: 104919 2847.68/2855.34 c INPROCESSING 2847.68/2855.34 c GARBAGE COLLECT 2847.68/2855.34 c rational objective 134 2989.05/2997.06 c #Conflicts: 710000 | #Constraints: 61773 2989.05/2997.06 c #Conflicts: 711000 | #Constraints: 62773 2989.05/2997.06 c #Conflicts: 712000 | #Constraints: 63773 2989.05/2997.06 c #Conflicts: 713000 | #Constraints: 64774 2989.05/2997.06 c #Conflicts: 714000 | #Constraints: 65774 2989.05/2997.06 c #Conflicts: 715000 | #Constraints: 66774 2989.05/2997.06 c #Conflicts: 716000 | #Constraints: 67774 2989.05/2997.06 c #Conflicts: 717000 | #Constraints: 68774 2989.05/2997.06 c #Conflicts: 718000 | #Constraints: 69774 2989.05/2997.06 c #Conflicts: 719000 | #Constraints: 70774 2989.05/2997.06 c #Conflicts: 720000 | #Constraints: 71774 2989.05/2997.06 c #Conflicts: 721000 | #Constraints: 72774 2989.05/2997.06 c #Conflicts: 722000 | #Constraints: 73774 2989.05/2997.06 c #Conflicts: 723000 | #Constraints: 74774 2989.05/2997.06 c #Conflicts: 724000 | #Constraints: 75774 2989.05/2997.06 c #Conflicts: 725000 | #Constraints: 76774 2989.05/2997.06 c #Conflicts: 726000 | #Constraints: 77774 2989.05/2997.06 c #Conflicts: 727000 | #Constraints: 78774 2989.05/2997.06 c #Conflicts: 728000 | #Constraints: 79774 2989.05/2997.06 c #Conflicts: 729000 | #Constraints: 80774 2989.05/2997.07 c #Conflicts: 730000 | #Constraints: 81774 2989.05/2997.07 c #Conflicts: 731000 | #Constraints: 82774 2989.05/2997.07 c INPROCESSING 2989.05/2997.07 c GARBAGE COLLECT 2989.05/2997.07 c rational objective 134 3222.31/3230.86 c #Conflicts: 732000 | #Constraints: 51239 3222.31/3230.86 c #Conflicts: 733000 | #Constraints: 52239 3222.31/3230.86 c #Conflicts: 734000 | #Constraints: 53239 3222.31/3230.86 c #Conflicts: 735000 | #Constraints: 54239 3222.31/3230.86 c #Conflicts: 736000 | #Constraints: 55239 3222.31/3230.86 c #Conflicts: 737000 | #Constraints: 56239 3222.31/3230.86 c #Conflicts: 738000 | #Constraints: 57239 3222.31/3230.86 c #Conflicts: 739000 | #Constraints: 58239 3222.31/3230.86 c #Conflicts: 740000 | #Constraints: 59239 3222.31/3230.86 c #Conflicts: 741000 | #Constraints: 60239 3222.31/3230.86 c #Conflicts: 742000 | #Constraints: 61239 3222.31/3230.86 c #Conflicts: 743000 | #Constraints: 62239 3222.31/3230.86 c #Conflicts: 744000 | #Constraints: 63239 3222.31/3230.86 c #Conflicts: 745000 | #Constraints: 64239 3222.31/3230.86 c #Conflicts: 746000 | #Constraints: 65239 3222.31/3230.86 c #Conflicts: 747000 | #Constraints: 66240 3222.31/3230.86 c #Conflicts: 748000 | #Constraints: 67240 3222.31/3230.86 c #Conflicts: 749000 | #Constraints: 68240 3222.31/3230.86 c #Conflicts: 750000 | #Constraints: 69240 3222.31/3230.86 c #Conflicts: 751000 | #Constraints: 70240 3222.31/3230.86 c #Conflicts: 752000 | #Constraints: 71240 3222.31/3230.86 c #Conflicts: 753000 | #Constraints: 72240 3222.31/3230.86 c #Conflicts: 754000 | #Constraints: 73240 3222.31/3230.86 c #Conflicts: 755000 | #Constraints: 74240 3222.31/3230.86 c #Conflicts: 756000 | #Constraints: 75240 3222.31/3230.86 c #Conflicts: 757000 | #Constraints: 76240 3222.31/3230.86 c #Conflicts: 758000 | #Constraints: 77240 3222.31/3230.86 c #Conflicts: 759000 | #Constraints: 78240 3222.31/3230.86 c #Conflicts: 760000 | #Constraints: 79241 3222.31/3230.86 c #Conflicts: 761000 | #Constraints: 80241 3222.31/3230.86 c #Conflicts: 762000 | #Constraints: 81241 3222.31/3230.86 c #Conflicts: 763000 | #Constraints: 82241 3222.31/3230.86 c #Conflicts: 764000 | #Constraints: 83241 3222.31/3230.86 c #Conflicts: 765000 | #Constraints: 84241 3222.31/3230.86 c #Conflicts: 766000 | #Constraints: 85241 3222.31/3230.86 c #Conflicts: 767000 | #Constraints: 86242 3222.31/3230.86 c #Conflicts: 768000 | #Constraints: 87242 3222.31/3230.86 c #Conflicts: 769000 | #Constraints: 88242 3222.31/3230.86 c #Conflicts: 770000 | #Constraints: 89242 3222.31/3230.86 c #Conflicts: 771000 | #Constraints: 90242 3222.31/3230.86 c #Conflicts: 772000 | #Constraints: 91242 3222.31/3230.86 c #Conflicts: 773000 | #Constraints: 92242 3222.31/3230.86 c #Conflicts: 774000 | #Constraints: 93242 3222.31/3230.86 c #Conflicts: 775000 | #Constraints: 94242 3222.31/3230.86 c #Conflicts: 776000 | #Constraints: 95242 3222.31/3230.86 c #Conflicts: 777000 | #Constraints: 96242 3222.31/3230.86 c #Conflicts: 778000 | #Constraints: 97242 3222.31/3230.86 c #Conflicts: 779000 | #Constraints: 98242 3222.31/3230.86 c #Conflicts: 780000 | #Constraints: 99242 3222.31/3230.86 c #Conflicts: 781000 | #Constraints: 100242 3222.31/3230.86 c #Conflicts: 782000 | #Constraints: 101242 3222.31/3230.86 c #Conflicts: 783000 | #Constraints: 102242 3222.31/3230.86 c #Conflicts: 784000 | #Constraints: 103242 3222.31/3230.86 c #Conflicts: 785000 | #Constraints: 104242 3222.31/3230.86 c #Conflicts: 786000 | #Constraints: 105242 3222.31/3230.86 c #Conflicts: 787000 | #Constraints: 106242 3222.31/3230.86 c #Conflicts: 788000 | #Constraints: 107242 3222.31/3230.86 c #Conflicts: 789000 | #Constraints: 108242 3222.31/3230.86 c #Conflicts: 790000 | #Constraints: 109242 3222.31/3230.86 c #Conflicts: 791000 | #Constraints: 110242 3222.31/3230.86 c #Conflicts: 792000 | #Constraints: 111242 3222.31/3230.86 c INPROCESSING 3222.31/3230.86 c GARBAGE COLLECT 3222.31/3230.86 c rational objective 134 3313.21/3321.93 c #Conflicts: 793000 | #Constraints: 65560 3313.21/3321.93 c #Conflicts: 794000 | #Constraints: 66560 3313.21/3321.93 c #Conflicts: 795000 | #Constraints: 67560 3313.21/3321.93 c #Conflicts: 796000 | #Constraints: 68560 3313.21/3321.93 c #Conflicts: 797000 | #Constraints: 69560 3313.21/3321.93 c #Conflicts: 798000 | #Constraints: 70560 3313.21/3321.93 c #Conflicts: 799000 | #Constraints: 71560 3313.21/3321.93 c #Conflicts: 800000 | #Constraints: 72560 3313.21/3321.93 c #Conflicts: 801000 | #Constraints: 73560 3313.21/3321.93 c #Conflicts: 802000 | #Constraints: 74560 3313.21/3321.93 c #Conflicts: 803000 | #Constraints: 75561 3313.21/3321.93 c #Conflicts: 804000 | #Constraints: 76562 3313.21/3321.93 c #Conflicts: 805000 | #Constraints: 77562 3313.21/3321.93 c #Conflicts: 806000 | #Constraints: 78562 3313.21/3321.93 c #Conflicts: 807000 | #Constraints: 79562 3313.21/3321.93 c #Conflicts: 808000 | #Constraints: 80562 3313.21/3321.93 c #Conflicts: 809000 | #Constraints: 81562 3313.21/3321.93 c #Conflicts: 810000 | #Constraints: 82562 3313.21/3321.93 c #Conflicts: 811000 | #Constraints: 83562 3313.21/3321.93 c #Conflicts: 812000 | #Constraints: 84562 3313.21/3321.93 c #Conflicts: 813000 | #Constraints: 85562 3313.21/3321.93 c #Conflicts: 814000 | #Constraints: 86562 3313.21/3321.93 c INPROCESSING 3313.21/3321.93 c GARBAGE COLLECT 3313.21/3321.93 c rational objective 134 3539.50/3548.75 c #Conflicts: 815000 | #Constraints: 52982 3539.50/3548.75 c #Conflicts: 816000 | #Constraints: 53982 3539.50/3548.75 c #Conflicts: 817000 | #Constraints: 54982 3539.50/3548.75 c #Conflicts: 818000 | #Constraints: 55982 3539.50/3548.75 c #Conflicts: 819000 | #Constraints: 56982 3539.50/3548.75 c #Conflicts: 820000 | #Constraints: 57983 3539.50/3548.75 c #Conflicts: 821000 | #Constraints: 58983 3539.50/3548.75 c #Conflicts: 822000 | #Constraints: 59983 3539.50/3548.75 c #Conflicts: 823000 | #Constraints: 60983 3539.50/3548.75 c #Conflicts: 824000 | #Constraints: 61983 3539.50/3548.75 c #Conflicts: 825000 | #Constraints: 62983 3539.50/3548.75 c #Conflicts: 826000 | #Constraints: 63983 3539.50/3548.75 c #Conflicts: 827000 | #Constraints: 64983 3539.50/3548.75 c #Conflicts: 828000 | #Constraints: 65983 3539.50/3548.75 c #Conflicts: 829000 | #Constraints: 66984 3539.50/3548.75 c #Conflicts: 830000 | #Constraints: 67984 3539.50/3548.75 c #Conflicts: 831000 | #Constraints: 68984 3539.50/3548.75 c #Conflicts: 832000 | #Constraints: 69984 3539.50/3548.75 c #Conflicts: 833000 | #Constraints: 70984 3539.50/3548.75 c #Conflicts: 834000 | #Constraints: 71984 3539.50/3548.75 c #Conflicts: 835000 | #Constraints: 72984 3539.50/3548.75 c #Conflicts: 836000 | #Constraints: 73984 3539.50/3548.75 c #Conflicts: 837000 | #Constraints: 74984 3539.50/3548.75 c #Conflicts: 838000 | #Constraints: 75984 3539.50/3548.75 c #Conflicts: 839000 | #Constraints: 76984 3539.50/3548.75 c #Conflicts: 840000 | #Constraints: 77984 3539.50/3548.75 c #Conflicts: 841000 | #Constraints: 78984 3539.50/3548.75 c #Conflicts: 842000 | #Constraints: 79984 3539.50/3548.75 c #Conflicts: 843000 | #Constraints: 80984 3539.50/3548.75 c #Conflicts: 844000 | #Constraints: 81984 3539.50/3548.75 c #Conflicts: 845000 | #Constraints: 82984 3539.50/3548.75 c #Conflicts: 846000 | #Constraints: 83984 3539.50/3548.75 c #Conflicts: 847000 | #Constraints: 84984 3539.50/3548.75 c #Conflicts: 848000 | #Constraints: 85984 3539.50/3548.75 c #Conflicts: 849000 | #Constraints: 86984 3539.50/3548.75 c #Conflicts: 850000 | #Constraints: 87985 3539.50/3548.75 c #Conflicts: 851000 | #Constraints: 88985 3539.50/3548.75 c #Conflicts: 852000 | #Constraints: 89985 3539.50/3548.75 c #Conflicts: 853000 | #Constraints: 90985 3539.50/3548.75 c #Conflicts: 854000 | #Constraints: 91985 3539.50/3548.75 c #Conflicts: 855000 | #Constraints: 92985 3539.50/3548.75 c #Conflicts: 856000 | #Constraints: 93985 3539.50/3548.75 c #Conflicts: 857000 | #Constraints: 94986 3539.50/3548.75 c #Conflicts: 858000 | #Constraints: 95986 3539.50/3548.75 c #Conflicts: 859000 | #Constraints: 96986 3539.50/3548.75 c #Conflicts: 860000 | #Constraints: 97986 3539.50/3548.75 c #Conflicts: 861000 | #Constraints: 98986 3539.50/3548.75 c #Conflicts: 862000 | #Constraints: 99986 3539.50/3548.75 c #Conflicts: 863000 | #Constraints: 100986 3539.50/3548.75 c #Conflicts: 864000 | #Constraints: 101986 3539.50/3548.75 c #Conflicts: 865000 | #Constraints: 102986 3539.50/3548.75 c #Conflicts: 866000 | #Constraints: 103986 3539.50/3548.75 c #Conflicts: 867000 | #Constraints: 104986 3539.50/3548.75 c #Conflicts: 868000 | #Constraints: 105986 3539.50/3548.75 c #Conflicts: 869000 | #Constraints: 106986 3539.50/3548.75 c #Conflicts: 870000 | #Constraints: 107986 3539.50/3548.75 c #Conflicts: 871000 | #Constraints: 108986 3539.50/3548.75 c #Conflicts: 872000 | #Constraints: 109986 3539.50/3548.75 c #Conflicts: 873000 | #Constraints: 110986 3539.50/3548.75 c #Conflicts: 874000 | #Constraints: 111986 3539.50/3548.75 c #Conflicts: 875000 | #Constraints: 112986 3539.50/3548.75 c #Conflicts: 876000 | #Constraints: 113987 3539.50/3548.75 c #Conflicts: 877000 | #Constraints: 114987 3539.50/3548.75 c #Conflicts: 878000 | #Constraints: 115987 3539.50/3548.75 c INPROCESSING 3539.50/3548.75 c GARBAGE COLLECT 3539.50/3548.75 c rational objective 134
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (59373 MiB free)
memory of node 1: 64473 MiB (62330 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463061-1722344914/watcher-4463061-1722344914 -o /tmp/evaluation-result-4463061-1722344914/solver-4463061-1722344914 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722340763-7269 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463061-1722344914 --lp-cut-gomory=0 HOME/instance-4463061-1722344914.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=10303, runsolver pid=10300
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 4.66 4.31 4.15 5/258 10304
/proc/meminfo: memFree=124602320/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=56228 memory=28388 CPUtime=0.09 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 6767 0 0 0 7 2 0 0 20 0 1 0 1091610 57577472 7097 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 14057 7097 1630 992 0 5915 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56228 KiB
Current children cumulated memory: 28388 KiB
[startup+0.205841 s]*
/proc/loadavg: 4.66 4.31 4.15 5/258 10304
/proc/meminfo: memFree=124597028/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=63564 memory=32788 CPUtime=0.19 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 7833 0 0 0 17 2 0 0 20 0 1 0 1091610 65089536 8197 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 15891 8197 1678 992 0 7749 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 63564 KiB
Current children cumulated memory: 32788 KiB
[startup+0.305686 s]*
/proc/loadavg: 4.66 4.31 4.15 5/258 10304
/proc/meminfo: memFree=124595572/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=64336 memory=33844 CPUtime=0.29 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 8134 0 0 0 27 2 0 0 20 0 1 0 1091610 65880064 8461 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 16084 8461 1678 992 0 7942 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 64336 KiB
Current children cumulated memory: 33844 KiB
[startup+0.700193 s]
/proc/loadavg: 4.66 4.31 4.15 5/258 10304
/proc/meminfo: memFree=124593400/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=65832 memory=35428 CPUtime=0.67 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 8530 0 0 0 65 2 0 0 20 0 1 0 1091610 67411968 8857 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 16458 8857 1678 992 0 8316 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 65832 KiB
Current children cumulated memory: 35428 KiB
[startup+1.50019 s]
/proc/loadavg: 4.66 4.31 4.15 5/258 10304
/proc/meminfo: memFree=124590420/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=65832 memory=35428 CPUtime=1.47 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 8539 0 0 0 141 6 0 0 20 0 1 0 1091610 67411968 8857 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 16458 8857 1678 992 0 8316 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 65832 KiB
Current children cumulated memory: 35428 KiB
[startup+3.10553 s]
/proc/loadavg: 4.61 4.31 4.15 5/258 10304
/proc/meminfo: memFree=124573844/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=68236 memory=39240 CPUtime=3.08 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 9434 0 0 0 294 14 0 0 20 0 1 0 1091610 69873664 9810 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 17059 9810 1710 992 0 8917 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 68236 KiB
Current children cumulated memory: 39240 KiB
[startup+6.30016 s]
/proc/loadavg: 4.61 4.31 4.15 5/258 10306
/proc/meminfo: memFree=124542192/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=70972 memory=42668 CPUtime=6.27 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 10265 0 0 0 611 16 0 0 20 0 1 0 1091610 72675328 10667 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 17743 10667 1710 992 0 9601 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 70972 KiB
Current children cumulated memory: 42668 KiB
[startup+12.7002 s]
/proc/loadavg: 4.59 4.31 4.16 5/258 10306
/proc/meminfo: memFree=124477412/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=76536 memory=47192 CPUtime=12.65 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 11369 0 0 0 1235 30 0 0 20 0 1 0 1091610 78372864 11798 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 19134 11798 1771 992 0 10992 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 76536 KiB
Current children cumulated memory: 47192 KiB
[startup+25.5002 s]
/proc/loadavg: 4.58 4.32 4.16 5/258 10309
/proc/meminfo: memFree=124399992/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=83380 memory=55276 CPUtime=25.42 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 12866 0 0 0 2504 38 0 0 20 0 1 0 1091610 85381120 13819 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 20845 13819 1803 992 0 12703 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 83380 KiB
Current children cumulated memory: 55276 KiB
[startup+51.1056 s]
/proc/loadavg: 4.38 4.29 4.16 5/258 10312
/proc/meminfo: memFree=124207432/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=110812 memory=72776 CPUtime=50.96 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 15724 0 0 0 5015 81 0 0 20 0 1 0 1091610 113471488 18194 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 27703 18194 1803 992 0 19561 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 110812 KiB
Current children cumulated memory: 72776 KiB
[startup+102.3 s]
/proc/loadavg: 4.28 4.27 4.16 5/258 10320
/proc/meminfo: memFree=123885332/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=143788 memory=96536 CPUtime=102.02 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 19620 0 0 0 10053 149 0 0 20 0 1 0 1091610 147238912 24134 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 35947 24134 1803 992 0 27805 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 143788 KiB
Current children cumulated memory: 96536 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.24 4.15 5/262 10337
/proc/meminfo: memFree=123274160/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=252512 memory=188512 CPUtime=161.84 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 26779 0 0 0 15990 194 0 0 20 0 1 0 1091610 258572288 47128 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 63128 47128 1803 992 0 54986 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 252512 KiB
Current children cumulated memory: 188512 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.21 4.15 5/262 10347
/proc/meminfo: memFree=122871768/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=254224 memory=191144 CPUtime=221.65 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 27435 0 0 0 21913 252 0 0 20 0 1 0 1091610 260325376 47786 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 63556 47786 1803 992 0 55414 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 254224 KiB
Current children cumulated memory: 191144 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.20 4.15 5/261 10357
/proc/meminfo: memFree=122599984/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=256772 memory=193252 CPUtime=281.47 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 27966 0 0 0 27826 321 0 0 20 0 1 0 1091610 262934528 48313 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 64193 48313 1803 992 0 56051 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 256772 KiB
Current children cumulated memory: 193252 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.17 4.14 5/261 10368
/proc/meminfo: memFree=121964200/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=344852 memory=238112 CPUtime=341.3 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 30485 0 0 0 33748 382 0 0 20 0 1 0 1091610 353128448 59528 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 86213 59528 1803 992 0 78071 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 344852 KiB
Current children cumulated memory: 238112 KiB
[startup+402.3 s]
/proc/loadavg: 4.04 4.14 4.13 5/261 10378
/proc/meminfo: memFree=121625120/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=352860 memory=288684 CPUtime=401.12 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 32389 0 0 0 39695 417 0 0 20 0 1 0 1091610 361328640 72171 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 88215 72171 1803 992 0 80073 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 352860 KiB
Current children cumulated memory: 288684 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/257 10388
/proc/meminfo: memFree=121191264/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=353500 memory=289468 CPUtime=460.94 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 32615 0 0 0 45636 458 0 0 20 0 1 0 1091610 361984000 72367 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 88375 72367 1803 992 0 80233 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 12082
/proc/meminfo: memFree=110444636/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=885836 memory=741368 CPUtime=3094.11 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 88517 0 0 0 306661 2750 0 0 20 0 1 0 1091610 907096064 185342 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 221459 185342 1803 992 0 213317 0
Current children cumulated CPU time: 3094.11 s
Current children cumulated vsize: 885836 KiB
Current children cumulated memory: 741368 KiB
[startup+3162.3 s]
/proc/loadavg: 4.33 4.21 4.13 4/262 12387
/proc/meminfo: memFree=116572668/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=885836 memory=741368 CPUtime=3153.97 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 88795 0 0 0 312592 2805 0 0 20 0 1 0 1091610 907096064 185342 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 221459 185342 1803 992 0 213317 0
Current children cumulated CPU time: 3153.97 s
Current children cumulated vsize: 885836 KiB
Current children cumulated memory: 741368 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.19 4.12 5/261 12489
/proc/meminfo: memFree=115753692/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=890012 memory=745640 CPUtime=3213.83 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 89979 0 0 0 318534 2849 0 0 20 0 1 0 1091610 911372288 186410 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 222503 186410 1904 992 0 214361 0
Current children cumulated CPU time: 3213.83 s
Current children cumulated vsize: 890012 KiB
Current children cumulated memory: 745640 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.16 4.11 5/260 12499
/proc/meminfo: memFree=115194576/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=890012 memory=745812 CPUtime=3273.7 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 90048 0 0 0 324445 2925 0 0 20 0 1 0 1091610 911372288 186453 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 222503 186453 1904 992 0 214361 0
Current children cumulated CPU time: 3273.7 s
Current children cumulated vsize: 890012 KiB
Current children cumulated memory: 745812 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/259 12512
/proc/meminfo: memFree=114581436/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=890012 memory=745812 CPUtime=3333.57 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 90199 0 0 0 330388 2969 0 0 20 0 1 0 1091610 911372288 186453 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 222503 186453 1904 992 0 214361 0
Current children cumulated CPU time: 3333.57 s
Current children cumulated vsize: 890012 KiB
Current children cumulated memory: 745812 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/259 12522
/proc/meminfo: memFree=114230164/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=890012 memory=745820 CPUtime=3393.43 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 90430 0 0 0 336328 3015 0 0 20 0 1 0 1091610 911372288 186455 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 222503 186455 1904 992 0 214361 0
Current children cumulated CPU time: 3393.43 s
Current children cumulated vsize: 890012 KiB
Current children cumulated memory: 745820 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/259 12532
/proc/meminfo: memFree=113806572/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=890588 memory=745820 CPUtime=3453.3 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 90723 0 0 0 342255 3075 0 0 20 0 1 0 1091610 911962112 186455 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 222647 186455 1904 992 0 214505 0
Current children cumulated CPU time: 3453.3 s
Current children cumulated vsize: 890588 KiB
Current children cumulated memory: 745820 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/258 12542
/proc/meminfo: memFree=113080792/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=894764 memory=749144 CPUtime=3513.15 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 91867 0 0 0 348193 3122 0 0 20 0 1 0 1091610 916238336 187286 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 223691 187286 1904 992 0 215549 0
Current children cumulated CPU time: 3513.15 s
Current children cumulated vsize: 894764 KiB
Current children cumulated memory: 749144 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/259 12555
/proc/meminfo: memFree=112065704/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=896504 memory=751400 CPUtime=3573.02 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 92599 0 0 0 354136 3166 0 0 20 0 1 0 1091610 918020096 187850 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 224126 187850 1904 992 0 215984 0
Current children cumulated CPU time: 3573.02 s
Current children cumulated vsize: 896504 KiB
Current children cumulated memory: 751400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.13 4.13 4.10 5/258 12560
/proc/meminfo: memFree=111648344/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=896504 memory=751400 CPUtime=3600.06 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 92632 0 0 0 356807 3199 0 0 20 0 1 0 1091610 918020096 187850 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 224126 187850 1904 992 0 215984 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 896504 KiB
Current children cumulated memory: 751400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3611.44 s]
# the end of solver process 10303 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3570.06 s, system=32.0163 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.13 4.13 4.10 5/258 12560
/proc/meminfo: memFree=111648344/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=896504 memory=751400 CPUtime=3600.26 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 92633 0 0 0 356827 3199 0 0 20 0 1 0 1091610 918020096 187850 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 224126 187850 1904 992 0 215984 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 896504 KiB
Current children cumulated memory: 751400 KiB
[startup+3610.4 s]
/proc/loadavg: 4.13 4.13 4.10 5/258 12560
/proc/meminfo: memFree=111637992/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=896504 memory=751400 CPUtime=3601.06 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 92633 0 0 0 356906 3200 0 0 20 0 1 0 1091610 918020096 187850 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 224126 187850 1904 992 0 215984 0
Current children cumulated CPU time: 3601.06 s
Current children cumulated vsize: 896504 KiB
Current children cumulated memory: 751400 KiB
[startup+3611.2 s]
/proc/loadavg: 4.13 4.13 4.10 5/258 12560
/proc/meminfo: memFree=111626860/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=896504 memory=751400 CPUtime=3601.86 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 92633 0 0 0 356985 3201 0 0 20 0 1 0 1091610 918020096 187850 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 224126 187850 1904 992 0 215984 0
Current children cumulated CPU time: 3601.86 s
Current children cumulated vsize: 896504 KiB
Current children cumulated memory: 751400 KiB
[startup+3611.4 s]
/proc/loadavg: 4.13 4.13 4.10 5/258 12560
/proc/meminfo: memFree=111626860/131524600 swapFree=131071996/131071996
[pid=10303] ppid=10300 vsize=896504 memory=751400 CPUtime=3602.06 cores=5,7
/proc/10303/stat : 10303 (roundingsat) R 10300 10303 7255 0 -1 4194304 92633 0 0 0 357005 3201 0 0 20 0 1 0 1091610 918020096 187850 134679101440 4194304 8255733 140727403738176 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39890944 140727403742046 140727403742308 140727403742308 140727403749321 0
/proc/10303/statm: 224126 187850 1904 992 0 215984 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 896504 KiB
Current children cumulated memory: 751400 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.44
CPU time (s): 3602.07
CPU user time (s): 3570.06
CPU system time (s): 32.0163
CPU usage (%): 99.7407
Max. virtual memory (cumulated for all children) (KiB): 896504
Max. memory (cumulated for all children) (KiB): 751400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.06
system time used= 32.0163
maximum resident set size= 751400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92633
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12689808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 512
involuntary context switches= 3783
# summary of solver processes directly reported to runsolver:
# pid: 10303
# total CPU time (s): 3602.07
# total CPU user time (s): 3570.06
# total CPU system time (s): 32.0163
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.54216 second user time and 15.984 second system time
The end
Begin job on nodeC026 at 2024-07-30 15:08:34 IDJOB=4463061 IDBENCH=158262 IDSOLVER=3089 FILE ID=nodeC026/4463061-1722344914 RUNJOBID= nodeC026-1722340763-7269 SLURM_JOB_ID= 8248999 Free space on /tmp= 890044 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K134.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-4463061-1722344914/watcher-4463061-1722344914 -o /tmp/evaluation-result-4463061-1722344914/solver-4463061-1722344914 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722340763-7269 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463061-1722344914 --lp-cut-gomory=0 HOME/instance-4463061-1722344914.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 963edb3c79c326322e0bda3e585d3232 RANDOM SEED=1778411649 nodeC026.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 : 3670.574 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 : 7000.59 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 : 3683.202 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 : 7006.70 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 : 3600.369 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 : 7000.59 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 : 3601.462 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 : 7006.70 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 : 3670.568 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 : 7000.59 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 : 3655.589 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 : 7006.70 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 : 3600.581 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 : 7000.59 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 : 3674.469 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 : 7006.70 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 124625640 kB MemAvailable: 128635848 kB Buffers: 47928 kB Cached: 4796732 kB SwapCached: 0 kB Active: 177612 kB Inactive: 6248016 kB Active(anon): 1504 kB Inactive(anon): 1600868 kB Active(file): 176108 kB Inactive(file): 4647148 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 72544 kB Writeback: 0 kB AnonPages: 1579092 kB Mapped: 98028 kB Shmem: 21336 kB KReclaimable: 53552 kB Slab: 134152 kB SReclaimable: 53552 kB SUnreclaim: 80600 kB KernelStack: 4160 kB PageTables: 12240 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2070452 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8928 kB HardwareCorrupted: 0 kB AnonHugePages: 1007616 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: 178900 kB DirectMap2M: 10080256 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 890028 MiB End job on nodeC026 at 2024-07-30 16:08:46