| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.03 | 3611.83 |
| 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.01 c RoundingSat 2 0.00/0.01 c branch 0.00/0.01 c commit 0.20/0.27 c #variables 15946 #constraints 16216 106.91/107.33 c #Conflicts: 1000 | #Constraints: 17215 106.91/107.33 c #Conflicts: 2000 | #Constraints: 18215 106.91/107.33 c INPROCESSING 106.91/107.33 c GARBAGE COLLECT 106.91/107.33 c #Conflicts: 3000 | #Constraints: 17542 106.91/107.33 c #Conflicts: 4000 | #Constraints: 18542 106.91/107.33 c INPROCESSING 106.91/107.33 c GARBAGE COLLECT 106.91/107.33 c #Conflicts: 5000 | #Constraints: 18033 106.91/107.33 c #Conflicts: 6000 | #Constraints: 19033 106.91/107.33 c INPROCESSING 106.91/107.33 c GARBAGE COLLECT 106.91/107.33 c #Conflicts: 7000 | #Constraints: 18104 106.91/107.33 c #Conflicts: 8000 | #Constraints: 19104 106.91/107.33 c #Conflicts: 9000 | #Constraints: 20104 106.91/107.33 c INPROCESSING 106.91/107.33 c GARBAGE COLLECT 106.91/107.33 c #Conflicts: 10000 | #Constraints: 18842 106.91/107.33 c #Conflicts: 11000 | #Constraints: 19842 106.91/107.33 c #Conflicts: 12000 | #Constraints: 20842 106.91/107.33 c INPROCESSING 106.91/107.33 c GARBAGE COLLECT 106.91/107.33 c #Conflicts: 13000 | #Constraints: 19347 106.91/107.33 c #Conflicts: 14000 | #Constraints: 20347 106.91/107.33 c #Conflicts: 15000 | #Constraints: 21347 106.91/107.33 c INPROCESSING 106.91/107.33 c GARBAGE COLLECT 106.91/107.33 c #Conflicts: 16000 | #Constraints: 19639 106.91/107.33 c #Conflicts: 17000 | #Constraints: 20639 106.91/107.33 c #Conflicts: 18000 | #Constraints: 21639 106.91/107.33 c INPROCESSING 106.91/107.33 c GARBAGE COLLECT 106.91/107.33 c #Conflicts: 19000 | #Constraints: 19677 106.91/107.33 c #Conflicts: 20000 | #Constraints: 20677 106.91/107.33 c #Conflicts: 21000 | #Constraints: 21678 106.91/107.33 c INPROCESSING 106.91/107.33 c GARBAGE COLLECT 106.91/107.33 c #Conflicts: 22000 | #Constraints: 19558 106.91/107.33 c #Conflicts: 23000 | #Constraints: 20558 106.91/107.33 c #Conflicts: 24000 | #Constraints: 21558 106.91/107.33 c #Conflicts: 25000 | #Constraints: 22558 106.91/107.33 c #Conflicts: 26000 | #Constraints: 23558 106.91/107.33 c #Conflicts: 27000 | #Constraints: 24558 106.91/107.33 c #Conflicts: 28000 | #Constraints: 25558 106.91/107.33 c #Conflicts: 29000 | #Constraints: 26558 106.91/107.33 c #Conflicts: 30000 | #Constraints: 27558 106.91/107.33 c #Conflicts: 31000 | #Constraints: 28558 106.91/107.33 c #Conflicts: 32000 | #Constraints: 29558 106.91/107.33 c #Conflicts: 33000 | #Constraints: 30558 106.91/107.33 c INPROCESSING 106.91/107.33 c GARBAGE COLLECT 106.91/107.33 c rational objective 134 299.34/300.49 c #Conflicts: 34000 | #Constraints: 24248 299.34/300.49 c #Conflicts: 35000 | #Constraints: 25248 299.34/300.49 c #Conflicts: 36000 | #Constraints: 26249 299.34/300.49 c #Conflicts: 37000 | #Constraints: 27249 299.34/300.49 c #Conflicts: 38000 | #Constraints: 28249 299.34/300.49 c INPROCESSING 299.34/300.49 c GARBAGE COLLECT 299.34/300.49 c #Conflicts: 39000 | #Constraints: 23223 299.34/300.49 c #Conflicts: 40000 | #Constraints: 24223 299.34/300.49 c #Conflicts: 41000 | #Constraints: 25223 299.34/300.49 c #Conflicts: 42000 | #Constraints: 26223 299.34/300.49 c INPROCESSING 299.34/300.49 c GARBAGE COLLECT 299.34/300.49 c #Conflicts: 43000 | #Constraints: 21782 299.34/300.49 c #Conflicts: 44000 | #Constraints: 22782 299.34/300.49 c #Conflicts: 45000 | #Constraints: 23782 299.34/300.49 c #Conflicts: 46000 | #Constraints: 24782 299.34/300.49 c #Conflicts: 47000 | #Constraints: 25782 299.34/300.49 c #Conflicts: 48000 | #Constraints: 26782 299.34/300.49 c INPROCESSING 299.34/300.49 c GARBAGE COLLECT 299.34/300.49 c #Conflicts: 49000 | #Constraints: 22480 299.34/300.49 c #Conflicts: 50000 | #Constraints: 23480 299.34/300.49 c #Conflicts: 51000 | #Constraints: 24480 299.34/300.49 c #Conflicts: 52000 | #Constraints: 25480 299.34/300.49 c #Conflicts: 53000 | #Constraints: 26480 299.34/300.49 c #Conflicts: 54000 | #Constraints: 27480 299.34/300.49 c #Conflicts: 55000 | #Constraints: 28480 299.34/300.49 c #Conflicts: 56000 | #Constraints: 29480 299.34/300.49 c #Conflicts: 57000 | #Constraints: 30480 299.34/300.49 c #Conflicts: 58000 | #Constraints: 31480 299.34/300.49 c #Conflicts: 59000 | #Constraints: 32480 299.34/300.49 c #Conflicts: 60000 | #Constraints: 33480 299.34/300.49 c #Conflicts: 61000 | #Constraints: 34480 299.34/300.49 c #Conflicts: 62000 | #Constraints: 35480 299.34/300.49 c #Conflicts: 63000 | #Constraints: 36480 299.34/300.49 c #Conflicts: 64000 | #Constraints: 37480 299.34/300.49 c #Conflicts: 65000 | #Constraints: 38480 299.34/300.49 c INPROCESSING 299.34/300.49 c GARBAGE COLLECT 299.34/300.49 c #Conflicts: 66000 | #Constraints: 28419 299.34/300.49 c #Conflicts: 67000 | #Constraints: 29419 299.34/300.49 c #Conflicts: 68000 | #Constraints: 30419 299.34/300.49 c #Conflicts: 69000 | #Constraints: 31419 299.34/300.49 c #Conflicts: 70000 | #Constraints: 32419 299.34/300.49 c #Conflicts: 71000 | #Constraints: 33420 299.34/300.49 c INPROCESSING 299.34/300.49 c GARBAGE COLLECT 299.34/300.49 c rational objective 134 538.27/540.29 c #Conflicts: 72000 | #Constraints: 25711 538.27/540.29 c #Conflicts: 73000 | #Constraints: 26711 538.27/540.29 c #Conflicts: 74000 | #Constraints: 27711 538.27/540.29 c #Conflicts: 75000 | #Constraints: 28711 538.27/540.29 c #Conflicts: 76000 | #Constraints: 29711 538.27/540.29 c #Conflicts: 77000 | #Constraints: 30711 538.27/540.29 c #Conflicts: 78000 | #Constraints: 31711 538.27/540.29 c INPROCESSING 538.27/540.29 c GARBAGE COLLECT 538.27/540.29 c #Conflicts: 79000 | #Constraints: 25111 538.27/540.29 c #Conflicts: 80000 | #Constraints: 26111 538.27/540.29 c #Conflicts: 81000 | #Constraints: 27111 538.27/540.29 c #Conflicts: 82000 | #Constraints: 28111 538.27/540.29 c #Conflicts: 83000 | #Constraints: 29111 538.27/540.29 c #Conflicts: 84000 | #Constraints: 30111 538.27/540.29 c #Conflicts: 85000 | #Constraints: 31111 538.27/540.29 c #Conflicts: 86000 | #Constraints: 32111 538.27/540.29 c #Conflicts: 87000 | #Constraints: 33111 538.27/540.29 c #Conflicts: 88000 | #Constraints: 34111 538.27/540.29 c #Conflicts: 89000 | #Constraints: 35111 538.27/540.29 c #Conflicts: 90000 | #Constraints: 36111 538.27/540.29 c #Conflicts: 91000 | #Constraints: 37112 538.27/540.29 c #Conflicts: 92000 | #Constraints: 38112 538.27/540.29 c #Conflicts: 93000 | #Constraints: 39112 538.27/540.29 c #Conflicts: 94000 | #Constraints: 40112 538.27/540.29 c #Conflicts: 95000 | #Constraints: 41112 538.27/540.29 c #Conflicts: 96000 | #Constraints: 42112 538.27/540.29 c #Conflicts: 97000 | #Constraints: 43112 538.27/540.29 c #Conflicts: 98000 | #Constraints: 44112 538.27/540.29 c #Conflicts: 99000 | #Constraints: 45112 538.27/540.29 c INPROCESSING 538.27/540.29 c GARBAGE COLLECT 538.27/540.29 c #Conflicts: 100000 | #Constraints: 31713 538.27/540.29 c #Conflicts: 101000 | #Constraints: 32713 538.27/540.29 c #Conflicts: 102000 | #Constraints: 33713 538.27/540.29 c #Conflicts: 103000 | #Constraints: 34713 538.27/540.29 c #Conflicts: 104000 | #Constraints: 35713 538.27/540.29 c #Conflicts: 105000 | #Constraints: 36713 538.27/540.29 c #Conflicts: 106000 | #Constraints: 37713 538.27/540.29 c #Conflicts: 107000 | #Constraints: 38713 538.27/540.29 c INPROCESSING 538.27/540.29 c GARBAGE COLLECT 538.27/540.29 c #Conflicts: 108000 | #Constraints: 28544 538.27/540.29 c #Conflicts: 109000 | #Constraints: 29544 538.27/540.29 c #Conflicts: 110000 | #Constraints: 30544 538.27/540.29 c #Conflicts: 111000 | #Constraints: 31544 538.27/540.29 c #Conflicts: 112000 | #Constraints: 32544 538.27/540.29 c #Conflicts: 113000 | #Constraints: 33544 538.27/540.29 c #Conflicts: 114000 | #Constraints: 34544 538.27/540.29 c #Conflicts: 115000 | #Constraints: 35544 538.27/540.29 c INPROCESSING 538.27/540.29 c GARBAGE COLLECT 538.27/540.29 c #Conflicts: 116000 | #Constraints: 27076 538.27/540.29 c #Conflicts: 117000 | #Constraints: 28076 538.27/540.29 c #Conflicts: 118000 | #Constraints: 29076 538.27/540.29 c #Conflicts: 119000 | #Constraints: 30076 538.27/540.29 c #Conflicts: 120000 | #Constraints: 31076 538.27/540.29 c #Conflicts: 121000 | #Constraints: 32076 538.27/540.29 c #Conflicts: 122000 | #Constraints: 33076 538.27/540.29 c #Conflicts: 123000 | #Constraints: 34076 538.27/540.29 c #Conflicts: 124000 | #Constraints: 35076 538.27/540.29 c #Conflicts: 125000 | #Constraints: 36076 538.27/540.29 c #Conflicts: 126000 | #Constraints: 37077 538.27/540.29 c #Conflicts: 127000 | #Constraints: 38077 538.27/540.29 c #Conflicts: 128000 | #Constraints: 39077 538.27/540.29 c #Conflicts: 129000 | #Constraints: 40077 538.27/540.29 c #Conflicts: 130000 | #Constraints: 41077 538.27/540.29 c #Conflicts: 131000 | #Constraints: 42077 538.27/540.29 c #Conflicts: 132000 | #Constraints: 43078 538.27/540.29 c #Conflicts: 133000 | #Constraints: 44078 538.27/540.29 c #Conflicts: 134000 | #Constraints: 45078 538.27/540.29 c #Conflicts: 135000 | #Constraints: 46078 538.27/540.29 c #Conflicts: 136000 | #Constraints: 47078 538.27/540.29 c #Conflicts: 137000 | #Constraints: 48078 538.27/540.29 c #Conflicts: 138000 | #Constraints: 49078 538.27/540.29 c #Conflicts: 139000 | #Constraints: 50079 538.27/540.29 c #Conflicts: 140000 | #Constraints: 51079 538.27/540.29 c INPROCESSING 538.27/540.29 c GARBAGE COLLECT 538.27/540.29 c #Conflicts: 141000 | #Constraints: 34567 538.27/540.29 c #Conflicts: 142000 | #Constraints: 35567 538.27/540.29 c #Conflicts: 143000 | #Constraints: 36567 538.27/540.29 c #Conflicts: 144000 | #Constraints: 37567 538.27/540.29 c #Conflicts: 145000 | #Constraints: 38567 538.27/540.29 c #Conflicts: 146000 | #Constraints: 39567 538.27/540.29 c #Conflicts: 147000 | #Constraints: 40567 593.00/595.11 c #Conflicts: 148000 | #Constraints: 41567 593.00/595.11 c #Conflicts: 149000 | #Constraints: 42567 593.00/595.11 c #Conflicts: 150000 | #Constraints: 43567 593.00/595.11 c INPROCESSING 593.00/595.11 c GARBAGE COLLECT 593.00/595.11 c rational objective 134 725.41/728.10 c #Conflicts: 151000 | #Constraints: 31284 725.41/728.10 c #Conflicts: 152000 | #Constraints: 32284 725.41/728.10 c #Conflicts: 153000 | #Constraints: 33284 725.41/728.10 c #Conflicts: 154000 | #Constraints: 34284 725.41/728.10 c #Conflicts: 155000 | #Constraints: 35284 725.41/728.10 c #Conflicts: 156000 | #Constraints: 36285 725.41/728.10 c #Conflicts: 157000 | #Constraints: 37285 725.41/728.10 c #Conflicts: 158000 | #Constraints: 38285 725.41/728.10 c #Conflicts: 159000 | #Constraints: 39285 725.41/728.10 c INPROCESSING 725.41/728.10 c GARBAGE COLLECT 725.41/728.10 c #Conflicts: 160000 | #Constraints: 28764 725.41/728.10 c #Conflicts: 161000 | #Constraints: 29764 725.41/728.10 c #Conflicts: 162000 | #Constraints: 30764 725.41/728.10 c #Conflicts: 163000 | #Constraints: 31764 725.41/728.10 c #Conflicts: 164000 | #Constraints: 32764 725.41/728.10 c #Conflicts: 165000 | #Constraints: 33764 725.41/728.10 c #Conflicts: 166000 | #Constraints: 34764 725.41/728.10 c #Conflicts: 167000 | #Constraints: 35764 725.41/728.10 c #Conflicts: 168000 | #Constraints: 36764 725.41/728.10 c #Conflicts: 169000 | #Constraints: 37764 725.41/728.10 c #Conflicts: 170000 | #Constraints: 38764 725.41/728.10 c #Conflicts: 171000 | #Constraints: 39764 725.41/728.10 c #Conflicts: 172000 | #Constraints: 40764 725.41/728.10 c #Conflicts: 173000 | #Constraints: 41764 725.41/728.10 c #Conflicts: 174000 | #Constraints: 42765 725.41/728.10 c #Conflicts: 175000 | #Constraints: 43765 725.41/728.10 c #Conflicts: 176000 | #Constraints: 44765 725.41/728.10 c #Conflicts: 177000 | #Constraints: 45765 725.41/728.10 c #Conflicts: 178000 | #Constraints: 46765 725.41/728.10 c #Conflicts: 179000 | #Constraints: 47765 725.41/728.10 c #Conflicts: 180000 | #Constraints: 48765 725.41/728.10 c #Conflicts: 181000 | #Constraints: 49765 725.41/728.10 c #Conflicts: 182000 | #Constraints: 50765 725.41/728.10 c #Conflicts: 183000 | #Constraints: 51765 725.41/728.10 c #Conflicts: 184000 | #Constraints: 52765 725.41/728.10 c #Conflicts: 185000 | #Constraints: 53765 725.41/728.10 c #Conflicts: 186000 | #Constraints: 54765 725.41/728.10 c #Conflicts: 187000 | #Constraints: 55766 725.41/728.10 c #Conflicts: 188000 | #Constraints: 56766 725.41/728.10 c #Conflicts: 189000 | #Constraints: 57766 725.41/728.10 c INPROCESSING 725.41/728.10 c GARBAGE COLLECT 725.41/728.10 c #Conflicts: 190000 | #Constraints: 38206 725.41/728.10 c #Conflicts: 191000 | #Constraints: 39206 725.41/728.10 c #Conflicts: 192000 | #Constraints: 40206 725.41/728.10 c #Conflicts: 193000 | #Constraints: 41206 725.41/728.10 c #Conflicts: 194000 | #Constraints: 42206 725.41/728.10 c #Conflicts: 195000 | #Constraints: 43206 725.41/728.10 c #Conflicts: 196000 | #Constraints: 44206 725.41/728.10 c #Conflicts: 197000 | #Constraints: 45206 725.41/728.10 c #Conflicts: 198000 | #Constraints: 46206 725.41/728.10 c #Conflicts: 199000 | #Constraints: 47206 725.41/728.10 c #Conflicts: 200000 | #Constraints: 48206 725.41/728.10 c INPROCESSING 725.41/728.10 c GARBAGE COLLECT 725.41/728.10 c rational objective 134 828.68/831.66 c #Conflicts: 201000 | #Constraints: 33515 828.68/831.66 c #Conflicts: 202000 | #Constraints: 34516 828.68/831.66 c #Conflicts: 203000 | #Constraints: 35516 828.68/831.66 c #Conflicts: 204000 | #Constraints: 36516 828.68/831.66 c #Conflicts: 205000 | #Constraints: 37516 828.68/831.66 c #Conflicts: 206000 | #Constraints: 38516 828.68/831.66 c #Conflicts: 207000 | #Constraints: 39516 828.68/831.66 c #Conflicts: 208000 | #Constraints: 40516 828.68/831.66 c #Conflicts: 209000 | #Constraints: 41516 828.68/831.66 c #Conflicts: 210000 | #Constraints: 42516 828.68/831.66 c #Conflicts: 211000 | #Constraints: 43516 828.68/831.66 c INPROCESSING 828.68/831.66 c GARBAGE COLLECT 828.68/831.66 c rational objective 134 1004.94/1008.46 c #Conflicts: 212000 | #Constraints: 31487 1004.94/1008.46 c #Conflicts: 213000 | #Constraints: 32487 1004.94/1008.46 c #Conflicts: 214000 | #Constraints: 33487 1004.94/1008.46 c #Conflicts: 215000 | #Constraints: 34487 1004.94/1008.46 c #Conflicts: 216000 | #Constraints: 35487 1004.94/1008.46 c #Conflicts: 217000 | #Constraints: 36487 1004.94/1008.46 c #Conflicts: 218000 | #Constraints: 37487 1004.94/1008.46 c #Conflicts: 219000 | #Constraints: 38487 1004.94/1008.46 c #Conflicts: 220000 | #Constraints: 39487 1004.94/1008.46 c #Conflicts: 221000 | #Constraints: 40487 1004.94/1008.46 c #Conflicts: 222000 | #Constraints: 41488 1004.94/1008.46 c #Conflicts: 223000 | #Constraints: 42488 1004.94/1008.46 c #Conflicts: 224000 | #Constraints: 43488 1004.94/1008.46 c #Conflicts: 225000 | #Constraints: 44488 1004.94/1008.46 c #Conflicts: 226000 | #Constraints: 45488 1004.94/1008.46 c #Conflicts: 227000 | #Constraints: 46488 1004.94/1008.46 c #Conflicts: 228000 | #Constraints: 47488 1004.94/1008.46 c #Conflicts: 229000 | #Constraints: 48488 1004.94/1008.46 c #Conflicts: 230000 | #Constraints: 49488 1004.94/1008.46 c #Conflicts: 231000 | #Constraints: 50488 1004.94/1008.46 c #Conflicts: 232000 | #Constraints: 51488 1004.94/1008.46 c #Conflicts: 233000 | #Constraints: 52488 1004.94/1008.46 c #Conflicts: 234000 | #Constraints: 53488 1004.94/1008.46 c #Conflicts: 235000 | #Constraints: 54488 1004.94/1008.46 c #Conflicts: 236000 | #Constraints: 55488 1004.94/1008.46 c #Conflicts: 237000 | #Constraints: 56489 1004.94/1008.46 c #Conflicts: 238000 | #Constraints: 57489 1004.94/1008.46 c #Conflicts: 239000 | #Constraints: 58489 1004.94/1008.46 c #Conflicts: 240000 | #Constraints: 59489 1004.94/1008.46 c #Conflicts: 241000 | #Constraints: 60489 1004.94/1008.46 c #Conflicts: 242000 | #Constraints: 61489 1004.94/1008.46 c #Conflicts: 243000 | #Constraints: 62489 1004.94/1008.46 c #Conflicts: 244000 | #Constraints: 63489 1004.94/1008.46 c #Conflicts: 245000 | #Constraints: 64489 1004.94/1008.46 c INPROCESSING 1004.94/1008.46 c GARBAGE COLLECT 1004.94/1008.46 c #Conflicts: 246000 | #Constraints: 41670 1004.94/1008.46 c #Conflicts: 247000 | #Constraints: 42670 1004.94/1008.46 c #Conflicts: 248000 | #Constraints: 43670 1004.94/1008.46 c #Conflicts: 249000 | #Constraints: 44670 1004.94/1008.46 c #Conflicts: 250000 | #Constraints: 45670 1004.94/1008.46 c #Conflicts: 251000 | #Constraints: 46670 1004.94/1008.46 c #Conflicts: 252000 | #Constraints: 47670 1004.94/1008.46 c #Conflicts: 253000 | #Constraints: 48671 1004.94/1008.46 c #Conflicts: 254000 | #Constraints: 49671 1004.94/1008.46 c #Conflicts: 255000 | #Constraints: 50671 1004.94/1008.46 c #Conflicts: 256000 | #Constraints: 51671 1004.94/1008.46 c #Conflicts: 257000 | #Constraints: 52671 1004.94/1008.46 c INPROCESSING 1004.94/1008.46 c GARBAGE COLLECT 1004.94/1008.46 c #Conflicts: 258000 | #Constraints: 35603 1004.94/1008.46 c #Conflicts: 259000 | #Constraints: 36603 1004.94/1008.46 c #Conflicts: 260000 | #Constraints: 37603 1004.94/1008.46 c #Conflicts: 261000 | #Constraints: 38603 1004.94/1008.46 c #Conflicts: 262000 | #Constraints: 39603 1004.94/1008.46 c #Conflicts: 263000 | #Constraints: 40603 1004.94/1008.46 c #Conflicts: 264000 | #Constraints: 41603 1004.94/1008.46 c #Conflicts: 265000 | #Constraints: 42603 1004.94/1008.46 c #Conflicts: 266000 | #Constraints: 43603 1004.94/1008.46 c #Conflicts: 267000 | #Constraints: 44603 1004.94/1008.46 c #Conflicts: 268000 | #Constraints: 45603 1004.94/1008.46 c #Conflicts: 269000 | #Constraints: 46603 1004.94/1008.46 c #Conflicts: 270000 | #Constraints: 47604 1004.94/1008.46 c INPROCESSING 1004.94/1008.46 c GARBAGE COLLECT 1004.94/1008.46 c rational objective 134 1366.28/1370.96 c #Conflicts: 271000 | #Constraints: 34024 1366.28/1370.96 c #Conflicts: 272000 | #Constraints: 35024 1366.28/1370.96 c #Conflicts: 273000 | #Constraints: 36024 1366.28/1370.96 c #Conflicts: 274000 | #Constraints: 37024 1366.28/1370.96 c #Conflicts: 275000 | #Constraints: 38024 1366.28/1370.96 c #Conflicts: 276000 | #Constraints: 39024 1366.28/1370.96 c #Conflicts: 277000 | #Constraints: 40024 1366.28/1370.96 c #Conflicts: 278000 | #Constraints: 41024 1366.28/1370.96 c #Conflicts: 279000 | #Constraints: 42024 1366.28/1370.96 c #Conflicts: 280000 | #Constraints: 43024 1366.28/1370.96 c #Conflicts: 281000 | #Constraints: 44024 1366.28/1370.96 c #Conflicts: 282000 | #Constraints: 45024 1366.28/1370.96 c #Conflicts: 283000 | #Constraints: 46024 1366.28/1370.96 c #Conflicts: 284000 | #Constraints: 47024 1366.28/1370.96 c #Conflicts: 285000 | #Constraints: 48025 1366.28/1370.96 c #Conflicts: 286000 | #Constraints: 49025 1366.28/1370.96 c #Conflicts: 287000 | #Constraints: 50025 1366.28/1370.96 c #Conflicts: 288000 | #Constraints: 51025 1366.28/1370.96 c #Conflicts: 289000 | #Constraints: 52025 1366.28/1370.96 c #Conflicts: 290000 | #Constraints: 53025 1366.28/1370.96 c #Conflicts: 291000 | #Constraints: 54025 1366.28/1370.96 c #Conflicts: 292000 | #Constraints: 55025 1366.28/1370.96 c #Conflicts: 293000 | #Constraints: 56025 1366.28/1370.96 c #Conflicts: 294000 | #Constraints: 57025 1366.28/1370.96 c #Conflicts: 295000 | #Constraints: 58025 1366.28/1370.96 c #Conflicts: 296000 | #Constraints: 59025 1366.28/1370.96 c #Conflicts: 297000 | #Constraints: 60025 1366.28/1370.96 c #Conflicts: 298000 | #Constraints: 61025 1366.28/1370.96 c #Conflicts: 299000 | #Constraints: 62025 1366.28/1370.96 c #Conflicts: 300000 | #Constraints: 63025 1366.28/1370.96 c #Conflicts: 301000 | #Constraints: 64025 1366.28/1370.96 c #Conflicts: 302000 | #Constraints: 65025 1366.28/1370.96 c #Conflicts: 303000 | #Constraints: 66026 1366.28/1370.96 c #Conflicts: 304000 | #Constraints: 67026 1366.28/1370.96 c #Conflicts: 305000 | #Constraints: 68026 1366.28/1370.96 c #Conflicts: 306000 | #Constraints: 69026 1366.28/1370.96 c #Conflicts: 307000 | #Constraints: 70026 1366.28/1370.96 c #Conflicts: 308000 | #Constraints: 71026 1366.28/1370.96 c INPROCESSING 1366.28/1370.96 c GARBAGE COLLECT 1366.28/1370.96 c #Conflicts: 309000 | #Constraints: 45175 1366.28/1370.96 c #Conflicts: 310000 | #Constraints: 46175 1366.28/1370.96 c #Conflicts: 311000 | #Constraints: 47175 1366.28/1370.96 c #Conflicts: 312000 | #Constraints: 48175 1366.28/1370.96 c #Conflicts: 313000 | #Constraints: 49175 1366.28/1370.96 c #Conflicts: 314000 | #Constraints: 50175 1366.28/1370.96 c #Conflicts: 315000 | #Constraints: 51175 1366.28/1370.96 c #Conflicts: 316000 | #Constraints: 52175 1366.28/1370.96 c #Conflicts: 317000 | #Constraints: 53175 1366.28/1370.96 c #Conflicts: 318000 | #Constraints: 54175 1366.28/1370.96 c #Conflicts: 319000 | #Constraints: 55175 1366.28/1370.96 c #Conflicts: 320000 | #Constraints: 56176 1366.28/1370.96 c #Conflicts: 321000 | #Constraints: 57176 1366.28/1370.96 c INPROCESSING 1366.28/1370.96 c GARBAGE COLLECT 1366.28/1370.96 c #Conflicts: 322000 | #Constraints: 37744 1366.28/1370.96 c #Conflicts: 323000 | #Constraints: 38744 1366.28/1370.96 c #Conflicts: 324000 | #Constraints: 39744 1366.28/1370.96 c #Conflicts: 325000 | #Constraints: 40744 1366.28/1370.96 c #Conflicts: 326000 | #Constraints: 41744 1366.28/1370.96 c #Conflicts: 327000 | #Constraints: 42744 1366.28/1370.96 c #Conflicts: 328000 | #Constraints: 43744 1366.28/1370.96 c #Conflicts: 329000 | #Constraints: 44744 1366.28/1370.96 c #Conflicts: 330000 | #Constraints: 45744 1366.28/1370.96 c #Conflicts: 331000 | #Constraints: 46744 1366.28/1370.96 c #Conflicts: 332000 | #Constraints: 47744 1366.28/1370.96 c #Conflicts: 333000 | #Constraints: 48744 1366.28/1370.96 c #Conflicts: 334000 | #Constraints: 49744 1366.28/1370.96 c #Conflicts: 335000 | #Constraints: 50744 1366.28/1370.96 c #Conflicts: 336000 | #Constraints: 51744 1366.28/1370.96 c INPROCESSING 1366.28/1370.96 c GARBAGE COLLECT 1366.28/1370.96 c #Conflicts: 337000 | #Constraints: 36830 1366.28/1370.96 c #Conflicts: 338000 | #Constraints: 37830 1366.28/1370.96 c #Conflicts: 339000 | #Constraints: 38830 1366.28/1370.96 c #Conflicts: 340000 | #Constraints: 39830 1366.28/1370.96 c #Conflicts: 341000 | #Constraints: 40830 1366.28/1370.96 c #Conflicts: 342000 | #Constraints: 41830 1366.28/1370.96 c #Conflicts: 343000 | #Constraints: 42830 1366.28/1370.96 c #Conflicts: 344000 | #Constraints: 43830 1366.28/1370.96 c #Conflicts: 345000 | #Constraints: 44830 1366.28/1370.96 c #Conflicts: 346000 | #Constraints: 45830 1366.28/1370.96 c #Conflicts: 347000 | #Constraints: 46830 1555.18/1560.40 c #Conflicts: 348000 | #Constraints: 47830 1555.18/1560.40 c #Conflicts: 349000 | #Constraints: 48830 1555.18/1560.40 c #Conflicts: 350000 | #Constraints: 49830 1555.18/1560.40 c #Conflicts: 351000 | #Constraints: 50830 1555.18/1560.40 c #Conflicts: 352000 | #Constraints: 51830 1555.18/1560.40 c #Conflicts: 353000 | #Constraints: 52830 1555.18/1560.40 c #Conflicts: 354000 | #Constraints: 53830 1555.18/1560.40 c #Conflicts: 355000 | #Constraints: 54830 1555.18/1560.40 c #Conflicts: 356000 | #Constraints: 55830 1555.18/1560.40 c #Conflicts: 357000 | #Constraints: 56830 1555.18/1560.40 c #Conflicts: 358000 | #Constraints: 57830 1555.18/1560.40 c #Conflicts: 359000 | #Constraints: 58830 1555.18/1560.40 c #Conflicts: 360000 | #Constraints: 59830 1555.18/1560.40 c #Conflicts: 361000 | #Constraints: 60830 1555.18/1560.40 c #Conflicts: 362000 | #Constraints: 61830 1555.18/1560.40 c #Conflicts: 363000 | #Constraints: 62830 1555.18/1560.40 c #Conflicts: 364000 | #Constraints: 63830 1555.18/1560.40 c #Conflicts: 365000 | #Constraints: 64830 1555.18/1560.40 c #Conflicts: 366000 | #Constraints: 65830 1555.18/1560.40 c #Conflicts: 367000 | #Constraints: 66830 1555.18/1560.40 c #Conflicts: 368000 | #Constraints: 67830 1555.18/1560.40 c #Conflicts: 369000 | #Constraints: 68830 1555.18/1560.40 c #Conflicts: 370000 | #Constraints: 69830 1555.18/1560.40 c #Conflicts: 371000 | #Constraints: 70831 1555.18/1560.40 c #Conflicts: 372000 | #Constraints: 71831 1555.18/1560.40 c #Conflicts: 373000 | #Constraints: 72831 1555.18/1560.40 c #Conflicts: 374000 | #Constraints: 73831 1555.18/1560.40 c #Conflicts: 375000 | #Constraints: 74831 1555.18/1560.40 c #Conflicts: 376000 | #Constraints: 75831 1555.18/1560.40 c #Conflicts: 377000 | #Constraints: 76831 1555.18/1560.40 c #Conflicts: 378000 | #Constraints: 77831 1555.18/1560.40 c INPROCESSING 1555.18/1560.40 c GARBAGE COLLECT 1555.18/1560.40 c #Conflicts: 379000 | #Constraints: 48437 1555.18/1560.40 c #Conflicts: 380000 | #Constraints: 49437 1555.18/1560.40 c #Conflicts: 381000 | #Constraints: 50437 1555.18/1560.40 c #Conflicts: 382000 | #Constraints: 51437 1555.18/1560.40 c #Conflicts: 383000 | #Constraints: 52437 1555.18/1560.40 c #Conflicts: 384000 | #Constraints: 53437 1555.18/1560.40 c #Conflicts: 385000 | #Constraints: 54437 1555.18/1560.40 c #Conflicts: 386000 | #Constraints: 55437 1555.18/1560.40 c #Conflicts: 387000 | #Constraints: 56437 1555.18/1560.40 c #Conflicts: 388000 | #Constraints: 57438 1555.18/1560.40 c #Conflicts: 389000 | #Constraints: 58438 1555.18/1560.40 c #Conflicts: 390000 | #Constraints: 59438 1555.18/1560.40 c #Conflicts: 391000 | #Constraints: 60438 1555.18/1560.40 c #Conflicts: 392000 | #Constraints: 61438 1555.18/1560.40 c #Conflicts: 393000 | #Constraints: 62438 1555.18/1560.40 c INPROCESSING 1555.18/1560.40 c GARBAGE COLLECT 1555.18/1560.40 c #Conflicts: 394000 | #Constraints: 40495 1555.18/1560.40 c #Conflicts: 395000 | #Constraints: 41495 1555.18/1560.40 c #Conflicts: 396000 | #Constraints: 42495 1555.18/1560.40 c #Conflicts: 397000 | #Constraints: 43495 1555.18/1560.40 c #Conflicts: 398000 | #Constraints: 44495 1555.18/1560.40 c #Conflicts: 399000 | #Constraints: 45495 1555.18/1560.40 c #Conflicts: 400000 | #Constraints: 46495 1555.18/1560.40 c #Conflicts: 401000 | #Constraints: 47495 1555.18/1560.40 c #Conflicts: 402000 | #Constraints: 48495 1555.18/1560.40 c #Conflicts: 403000 | #Constraints: 49495 1555.18/1560.40 c #Conflicts: 404000 | #Constraints: 50495 1555.18/1560.40 c #Conflicts: 405000 | #Constraints: 51496 1555.18/1560.40 c #Conflicts: 406000 | #Constraints: 52496 1555.18/1560.40 c #Conflicts: 407000 | #Constraints: 53496 1555.18/1560.40 c #Conflicts: 408000 | #Constraints: 54496 1555.18/1560.40 c #Conflicts: 409000 | #Constraints: 55496 1555.18/1560.40 c INPROCESSING 1555.18/1560.40 c GARBAGE COLLECT 1555.18/1560.40 c rational objective 134 1931.19/1937.67 c #Conflicts: 410000 | #Constraints: 39621 1931.19/1937.67 c #Conflicts: 411000 | #Constraints: 40621 1931.19/1937.67 c #Conflicts: 412000 | #Constraints: 41621 1931.19/1937.67 c #Conflicts: 413000 | #Constraints: 42621 1931.19/1937.67 c #Conflicts: 414000 | #Constraints: 43621 1931.19/1937.67 c #Conflicts: 415000 | #Constraints: 44621 1931.19/1937.67 c #Conflicts: 416000 | #Constraints: 45621 1931.19/1937.67 c #Conflicts: 417000 | #Constraints: 46621 1931.19/1937.67 c #Conflicts: 418000 | #Constraints: 47621 1931.19/1937.67 c #Conflicts: 419000 | #Constraints: 48621 1931.19/1937.67 c #Conflicts: 420000 | #Constraints: 49621 1931.19/1937.67 c #Conflicts: 421000 | #Constraints: 50621 1931.19/1937.67 c #Conflicts: 422000 | #Constraints: 51621 1931.19/1937.67 c #Conflicts: 423000 | #Constraints: 52621 1931.19/1937.67 c #Conflicts: 424000 | #Constraints: 53621 1931.19/1937.67 c #Conflicts: 425000 | #Constraints: 54622 1931.19/1937.67 c #Conflicts: 426000 | #Constraints: 55622 1931.19/1937.67 c #Conflicts: 427000 | #Constraints: 56622 1931.19/1937.67 c #Conflicts: 428000 | #Constraints: 57622 1931.19/1937.67 c #Conflicts: 429000 | #Constraints: 58622 1931.19/1937.67 c #Conflicts: 430000 | #Constraints: 59622 1931.19/1937.67 c #Conflicts: 431000 | #Constraints: 60622 1931.19/1937.67 c #Conflicts: 432000 | #Constraints: 61622 1931.19/1937.67 c #Conflicts: 433000 | #Constraints: 62622 1931.19/1937.67 c #Conflicts: 434000 | #Constraints: 63622 1931.19/1937.67 c #Conflicts: 435000 | #Constraints: 64622 1931.19/1937.67 c #Conflicts: 436000 | #Constraints: 65622 1931.19/1937.67 c #Conflicts: 437000 | #Constraints: 66622 1931.19/1937.67 c #Conflicts: 438000 | #Constraints: 67622 1931.19/1937.67 c #Conflicts: 439000 | #Constraints: 68622 1931.19/1937.67 c #Conflicts: 440000 | #Constraints: 69622 1931.19/1937.67 c #Conflicts: 441000 | #Constraints: 70623 1931.19/1937.67 c #Conflicts: 442000 | #Constraints: 71623 1931.19/1937.67 c #Conflicts: 443000 | #Constraints: 72623 1931.19/1937.67 c #Conflicts: 444000 | #Constraints: 73623 1931.19/1937.67 c #Conflicts: 445000 | #Constraints: 74623 1931.19/1937.67 c #Conflicts: 446000 | #Constraints: 75623 1931.19/1937.67 c #Conflicts: 447000 | #Constraints: 76624 1931.19/1937.67 c #Conflicts: 448000 | #Constraints: 77624 1931.19/1937.67 c #Conflicts: 449000 | #Constraints: 78624 1931.19/1937.67 c #Conflicts: 450000 | #Constraints: 79624 1931.19/1937.67 c #Conflicts: 451000 | #Constraints: 80624 1931.19/1937.67 c #Conflicts: 452000 | #Constraints: 81624 1931.19/1937.67 c #Conflicts: 453000 | #Constraints: 82625 1931.19/1937.67 c #Conflicts: 454000 | #Constraints: 83625 1931.19/1937.67 c #Conflicts: 455000 | #Constraints: 84625 1931.19/1937.67 c INPROCESSING 1931.19/1937.67 c GARBAGE COLLECT 1931.19/1937.67 c rational objective 134 2162.05/2169.24 c #Conflicts: 456000 | #Constraints: 51631 2162.05/2169.24 c #Conflicts: 457000 | #Constraints: 52631 2162.05/2169.24 c #Conflicts: 458000 | #Constraints: 53631 2162.05/2169.24 c #Conflicts: 459000 | #Constraints: 54631 2162.05/2169.24 c #Conflicts: 460000 | #Constraints: 55631 2162.05/2169.24 c #Conflicts: 461000 | #Constraints: 56631 2162.05/2169.24 c #Conflicts: 462000 | #Constraints: 57631 2162.05/2169.24 c #Conflicts: 463000 | #Constraints: 58631 2162.05/2169.24 c #Conflicts: 464000 | #Constraints: 59631 2162.05/2169.24 c #Conflicts: 465000 | #Constraints: 60631 2162.05/2169.24 c #Conflicts: 466000 | #Constraints: 61631 2162.05/2169.24 c #Conflicts: 467000 | #Constraints: 62631 2162.05/2169.24 c #Conflicts: 468000 | #Constraints: 63631 2162.05/2169.24 c #Conflicts: 469000 | #Constraints: 64631 2162.05/2169.24 c #Conflicts: 470000 | #Constraints: 65632 2162.05/2169.24 c #Conflicts: 471000 | #Constraints: 66632 2162.05/2169.24 c #Conflicts: 472000 | #Constraints: 67632 2162.05/2169.24 c INPROCESSING 2162.05/2169.24 c GARBAGE COLLECT 2162.05/2169.24 c #Conflicts: 473000 | #Constraints: 43179 2162.05/2169.24 c #Conflicts: 474000 | #Constraints: 44179 2162.05/2169.24 c #Conflicts: 475000 | #Constraints: 45179 2162.05/2169.24 c #Conflicts: 476000 | #Constraints: 46179 2162.05/2169.24 c #Conflicts: 477000 | #Constraints: 47179 2162.05/2169.24 c #Conflicts: 478000 | #Constraints: 48179 2162.05/2169.24 c #Conflicts: 479000 | #Constraints: 49179 2162.05/2169.24 c #Conflicts: 480000 | #Constraints: 50179 2162.05/2169.24 c #Conflicts: 481000 | #Constraints: 51179 2162.05/2169.24 c #Conflicts: 482000 | #Constraints: 52179 2162.05/2169.24 c #Conflicts: 483000 | #Constraints: 53179 2162.05/2169.24 c #Conflicts: 484000 | #Constraints: 54179 2162.05/2169.24 c #Conflicts: 485000 | #Constraints: 55179 2162.05/2169.24 c #Conflicts: 486000 | #Constraints: 56180 2162.05/2169.24 c #Conflicts: 487000 | #Constraints: 57180 2162.05/2169.24 c #Conflicts: 488000 | #Constraints: 58180 2162.05/2169.24 c #Conflicts: 489000 | #Constraints: 59180 2162.05/2169.24 c INPROCESSING 2162.05/2169.24 c GARBAGE COLLECT 2162.05/2169.24 c #Conflicts: 490000 | #Constraints: 41332 2162.05/2169.24 c #Conflicts: 491000 | #Constraints: 42332 2162.05/2169.24 c #Conflicts: 492000 | #Constraints: 43332 2162.05/2169.24 c #Conflicts: 493000 | #Constraints: 44332 2162.05/2169.24 c #Conflicts: 494000 | #Constraints: 45332 2162.05/2169.24 c #Conflicts: 495000 | #Constraints: 46332 2162.05/2169.24 c #Conflicts: 496000 | #Constraints: 47332 2162.05/2169.24 c #Conflicts: 497000 | #Constraints: 48332 2162.05/2169.24 c #Conflicts: 498000 | #Constraints: 49332 2162.05/2169.24 c #Conflicts: 499000 | #Constraints: 50332 2162.05/2169.24 c #Conflicts: 500000 | #Constraints: 51332 2162.05/2169.24 c #Conflicts: 501000 | #Constraints: 52332 2162.05/2169.24 c #Conflicts: 502000 | #Constraints: 53332 2162.05/2169.24 c #Conflicts: 503000 | #Constraints: 54332 2162.05/2169.24 c #Conflicts: 504000 | #Constraints: 55332 2162.05/2169.24 c #Conflicts: 505000 | #Constraints: 56333 2162.05/2169.24 c #Conflicts: 506000 | #Constraints: 57333 2162.05/2169.24 c #Conflicts: 507000 | #Constraints: 58333 2162.05/2169.24 c #Conflicts: 508000 | #Constraints: 59333 2162.05/2169.24 c #Conflicts: 509000 | #Constraints: 60333 2162.05/2169.24 c #Conflicts: 510000 | #Constraints: 61333 2162.05/2169.24 c #Conflicts: 511000 | #Constraints: 62333 2162.05/2169.24 c #Conflicts: 512000 | #Constraints: 63333 2162.05/2169.24 c #Conflicts: 513000 | #Constraints: 64333 2162.05/2169.25 c #Conflicts: 514000 | #Constraints: 65333 2162.05/2169.25 c #Conflicts: 515000 | #Constraints: 66333 2162.05/2169.25 c #Conflicts: 516000 | #Constraints: 67333 2162.05/2169.25 c #Conflicts: 517000 | #Constraints: 68333 2162.05/2169.25 c #Conflicts: 518000 | #Constraints: 69333 2162.05/2169.25 c #Conflicts: 519000 | #Constraints: 70333 2162.05/2169.25 c #Conflicts: 520000 | #Constraints: 71333 2162.05/2169.25 c #Conflicts: 521000 | #Constraints: 72333 2162.05/2169.25 c #Conflicts: 522000 | #Constraints: 73333 2162.05/2169.25 c #Conflicts: 523000 | #Constraints: 74333 2162.05/2169.25 c #Conflicts: 524000 | #Constraints: 75333 2162.05/2169.25 c #Conflicts: 525000 | #Constraints: 76334 2162.05/2169.25 c #Conflicts: 526000 | #Constraints: 77334 2162.05/2169.25 c #Conflicts: 527000 | #Constraints: 78334 2162.05/2169.25 c #Conflicts: 528000 | #Constraints: 79334 2162.05/2169.25 c #Conflicts: 529000 | #Constraints: 80334 2162.05/2169.25 c #Conflicts: 530000 | #Constraints: 81334 2162.05/2169.25 c #Conflicts: 531000 | #Constraints: 82334 2162.05/2169.25 c #Conflicts: 532000 | #Constraints: 83334 2162.05/2169.25 c #Conflicts: 533000 | #Constraints: 84334 2333.51/2341.30 c #Conflicts: 534000 | #Constraints: 85334 2333.51/2341.30 c #Conflicts: 535000 | #Constraints: 86334 2333.51/2341.30 c #Conflicts: 536000 | #Constraints: 87334 2333.51/2341.30 c #Conflicts: 537000 | #Constraints: 88334 2333.51/2341.30 c #Conflicts: 538000 | #Constraints: 89334 2333.51/2341.30 c #Conflicts: 539000 | #Constraints: 90334 2333.51/2341.30 c #Conflicts: 540000 | #Constraints: 91335 2333.51/2341.30 c INPROCESSING 2333.51/2341.30 c GARBAGE COLLECT 2333.51/2341.30 c #Conflicts: 541000 | #Constraints: 55455 2333.51/2341.30 c #Conflicts: 542000 | #Constraints: 56455 2333.51/2341.30 c #Conflicts: 543000 | #Constraints: 57455 2333.51/2341.30 c #Conflicts: 544000 | #Constraints: 58455 2333.51/2341.30 c #Conflicts: 545000 | #Constraints: 59455 2333.51/2341.30 c #Conflicts: 546000 | #Constraints: 60455 2333.51/2341.30 c #Conflicts: 547000 | #Constraints: 61455 2333.51/2341.30 c #Conflicts: 548000 | #Constraints: 62455 2333.51/2341.30 c #Conflicts: 549000 | #Constraints: 63455 2333.51/2341.30 c #Conflicts: 550000 | #Constraints: 64455 2333.51/2341.30 c #Conflicts: 551000 | #Constraints: 65455 2333.51/2341.30 c #Conflicts: 552000 | #Constraints: 66455 2333.51/2341.30 c #Conflicts: 553000 | #Constraints: 67455 2333.51/2341.30 c #Conflicts: 554000 | #Constraints: 68455 2333.51/2341.30 c #Conflicts: 555000 | #Constraints: 69455 2333.51/2341.30 c #Conflicts: 556000 | #Constraints: 70455 2333.51/2341.30 c #Conflicts: 557000 | #Constraints: 71455 2333.51/2341.30 c #Conflicts: 558000 | #Constraints: 72455 2333.51/2341.30 c INPROCESSING 2333.51/2341.30 c GARBAGE COLLECT 2333.51/2341.30 c #Conflicts: 559000 | #Constraints: 45633 2333.51/2341.30 c #Conflicts: 560000 | #Constraints: 46633 2333.51/2341.30 c #Conflicts: 561000 | #Constraints: 47633 2333.51/2341.30 c #Conflicts: 562000 | #Constraints: 48633 2333.51/2341.30 c #Conflicts: 563000 | #Constraints: 49633 2333.51/2341.30 c #Conflicts: 564000 | #Constraints: 50633 2333.51/2341.30 c #Conflicts: 565000 | #Constraints: 51633 2333.51/2341.30 c #Conflicts: 566000 | #Constraints: 52633 2333.51/2341.30 c #Conflicts: 567000 | #Constraints: 53633 2333.51/2341.30 c #Conflicts: 568000 | #Constraints: 54633 2333.51/2341.30 c #Conflicts: 569000 | #Constraints: 55633 2333.51/2341.30 c #Conflicts: 570000 | #Constraints: 56633 2333.51/2341.30 c #Conflicts: 571000 | #Constraints: 57634 2333.51/2341.30 c #Conflicts: 572000 | #Constraints: 58634 2333.51/2341.30 c #Conflicts: 573000 | #Constraints: 59634 2333.51/2341.30 c #Conflicts: 574000 | #Constraints: 60634 2333.51/2341.30 c #Conflicts: 575000 | #Constraints: 61634 2333.51/2341.30 c #Conflicts: 576000 | #Constraints: 62634 2333.51/2341.30 c #Conflicts: 577000 | #Constraints: 63634 2333.51/2341.30 c INPROCESSING 2333.51/2341.30 c GARBAGE COLLECT 2333.51/2341.30 c #Conflicts: 578000 | #Constraints: 44672 2333.51/2341.30 c #Conflicts: 579000 | #Constraints: 45673 2333.51/2341.30 c #Conflicts: 580000 | #Constraints: 46673 2333.51/2341.30 c #Conflicts: 581000 | #Constraints: 47673 2333.51/2341.30 c #Conflicts: 582000 | #Constraints: 48673 2333.51/2341.30 c #Conflicts: 583000 | #Constraints: 49673 2333.51/2341.30 c #Conflicts: 584000 | #Constraints: 50674 2333.51/2341.30 c #Conflicts: 585000 | #Constraints: 51674 2333.51/2341.30 c #Conflicts: 586000 | #Constraints: 52675 2333.51/2341.30 c #Conflicts: 587000 | #Constraints: 53675 2333.51/2341.30 c #Conflicts: 588000 | #Constraints: 54675 2333.51/2341.30 c #Conflicts: 589000 | #Constraints: 55675 2333.51/2341.30 c #Conflicts: 590000 | #Constraints: 56676 2333.51/2341.30 c #Conflicts: 591000 | #Constraints: 57676 2333.51/2341.30 c #Conflicts: 592000 | #Constraints: 58676 2333.51/2341.30 c #Conflicts: 593000 | #Constraints: 59676 2333.51/2341.30 c #Conflicts: 594000 | #Constraints: 60676 2333.51/2341.30 c #Conflicts: 595000 | #Constraints: 61676 2333.51/2341.30 c #Conflicts: 596000 | #Constraints: 62677 2333.51/2341.30 c #Conflicts: 597000 | #Constraints: 63677 2333.51/2341.30 c #Conflicts: 598000 | #Constraints: 64677 2333.51/2341.30 c #Conflicts: 599000 | #Constraints: 65677 2333.51/2341.30 c #Conflicts: 600000 | #Constraints: 66677 2333.51/2341.30 c #Conflicts: 601000 | #Constraints: 67677 2333.51/2341.30 c #Conflicts: 602000 | #Constraints: 68677 2333.51/2341.30 c #Conflicts: 603000 | #Constraints: 69677 2333.51/2341.30 c #Conflicts: 604000 | #Constraints: 70677 2333.51/2341.30 c #Conflicts: 605000 | #Constraints: 71677 2333.51/2341.30 c #Conflicts: 606000 | #Constraints: 72677 2333.51/2341.30 c #Conflicts: 607000 | #Constraints: 73677 2333.51/2341.30 c #Conflicts: 608000 | #Constraints: 74677 2333.51/2341.30 c #Conflicts: 609000 | #Constraints: 75677 2333.51/2341.30 c #Conflicts: 610000 | #Constraints: 76677 2480.72/2488.96 c #Conflicts: 611000 | #Constraints: 77678 2480.72/2488.96 c #Conflicts: 612000 | #Constraints: 78678 2480.72/2488.96 c #Conflicts: 613000 | #Constraints: 79678 2480.72/2488.96 c #Conflicts: 614000 | #Constraints: 80678 2480.72/2488.96 c #Conflicts: 615000 | #Constraints: 81678 2480.72/2488.96 c #Conflicts: 616000 | #Constraints: 82678 2480.72/2488.96 c #Conflicts: 617000 | #Constraints: 83678 2480.72/2488.96 c #Conflicts: 618000 | #Constraints: 84678 2480.72/2488.96 c #Conflicts: 619000 | #Constraints: 85678 2480.72/2488.96 c #Conflicts: 620000 | #Constraints: 86678 2480.72/2488.96 c #Conflicts: 621000 | #Constraints: 87678 2480.72/2488.96 c #Conflicts: 622000 | #Constraints: 88678 2480.72/2488.96 c #Conflicts: 623000 | #Constraints: 89678 2480.72/2488.96 c #Conflicts: 624000 | #Constraints: 90678 2480.72/2488.96 c #Conflicts: 625000 | #Constraints: 91678 2480.72/2488.96 c #Conflicts: 626000 | #Constraints: 92678 2480.72/2488.96 c #Conflicts: 627000 | #Constraints: 93678 2480.72/2488.96 c #Conflicts: 628000 | #Constraints: 94679 2480.72/2488.96 c #Conflicts: 629000 | #Constraints: 95679 2480.72/2488.96 c #Conflicts: 630000 | #Constraints: 96679 2480.72/2488.96 c #Conflicts: 631000 | #Constraints: 97679 2480.72/2488.96 c #Conflicts: 632000 | #Constraints: 98680 2480.72/2488.96 c INPROCESSING 2480.72/2488.96 c GARBAGE COLLECT 2480.72/2488.96 c rational objective 134 2611.52/2620.15 c #Conflicts: 633000 | #Constraints: 59129 2611.52/2620.15 c #Conflicts: 634000 | #Constraints: 60129 2611.52/2620.15 c #Conflicts: 635000 | #Constraints: 61129 2611.52/2620.15 c #Conflicts: 636000 | #Constraints: 62130 2611.52/2620.15 c #Conflicts: 637000 | #Constraints: 63131 2611.52/2620.15 c #Conflicts: 638000 | #Constraints: 64131 2611.52/2620.15 c #Conflicts: 639000 | #Constraints: 65131 2611.52/2620.15 c #Conflicts: 640000 | #Constraints: 66132 2611.52/2620.15 c #Conflicts: 641000 | #Constraints: 67132 2611.52/2620.15 c #Conflicts: 642000 | #Constraints: 68132 2611.52/2620.15 c #Conflicts: 643000 | #Constraints: 69132 2611.52/2620.15 c #Conflicts: 644000 | #Constraints: 70132 2611.52/2620.15 c #Conflicts: 645000 | #Constraints: 71132 2611.52/2620.15 c #Conflicts: 646000 | #Constraints: 72132 2611.52/2620.15 c #Conflicts: 647000 | #Constraints: 73132 2611.52/2620.15 c #Conflicts: 648000 | #Constraints: 74132 2611.52/2620.15 c #Conflicts: 649000 | #Constraints: 75133 2611.52/2620.15 c #Conflicts: 650000 | #Constraints: 76133 2611.52/2620.15 c #Conflicts: 651000 | #Constraints: 77133 2611.52/2620.15 c INPROCESSING 2611.52/2620.15 c GARBAGE COLLECT 2611.52/2620.15 c rational objective 134 2828.50/2837.82 c #Conflicts: 652000 | #Constraints: 47911 2828.50/2837.82 c #Conflicts: 653000 | #Constraints: 48911 2828.50/2837.82 c #Conflicts: 654000 | #Constraints: 49911 2828.50/2837.82 c #Conflicts: 655000 | #Constraints: 50911 2828.50/2837.82 c #Conflicts: 656000 | #Constraints: 51911 2828.50/2837.82 c #Conflicts: 657000 | #Constraints: 52911 2828.50/2837.82 c #Conflicts: 658000 | #Constraints: 53911 2828.50/2837.82 c #Conflicts: 659000 | #Constraints: 54911 2828.50/2837.82 c #Conflicts: 660000 | #Constraints: 55911 2828.50/2837.82 c #Conflicts: 661000 | #Constraints: 56911 2828.50/2837.82 c #Conflicts: 662000 | #Constraints: 57911 2828.50/2837.82 c #Conflicts: 663000 | #Constraints: 58911 2828.50/2837.82 c #Conflicts: 664000 | #Constraints: 59911 2828.50/2837.82 c #Conflicts: 665000 | #Constraints: 60911 2828.50/2837.82 c #Conflicts: 666000 | #Constraints: 61912 2828.50/2837.82 c #Conflicts: 667000 | #Constraints: 62913 2828.50/2837.82 c #Conflicts: 668000 | #Constraints: 63913 2828.50/2837.82 c #Conflicts: 669000 | #Constraints: 64913 2828.50/2837.82 c #Conflicts: 670000 | #Constraints: 65913 2828.50/2837.82 c #Conflicts: 671000 | #Constraints: 66913 2828.50/2837.82 c #Conflicts: 672000 | #Constraints: 67913 2828.50/2837.82 c #Conflicts: 673000 | #Constraints: 68913 2828.50/2837.82 c #Conflicts: 674000 | #Constraints: 69914 2828.50/2837.82 c #Conflicts: 675000 | #Constraints: 70914 2828.50/2837.82 c #Conflicts: 676000 | #Constraints: 71914 2828.50/2837.82 c #Conflicts: 677000 | #Constraints: 72914 2828.50/2837.82 c #Conflicts: 678000 | #Constraints: 73914 2828.50/2837.82 c #Conflicts: 679000 | #Constraints: 74915 2828.50/2837.82 c #Conflicts: 680000 | #Constraints: 75915 2828.50/2837.82 c #Conflicts: 681000 | #Constraints: 76915 2828.50/2837.82 c #Conflicts: 682000 | #Constraints: 77915 2828.50/2837.82 c #Conflicts: 683000 | #Constraints: 78915 2828.50/2837.82 c #Conflicts: 684000 | #Constraints: 79915 2828.50/2837.82 c #Conflicts: 685000 | #Constraints: 80915 2828.50/2837.82 c #Conflicts: 686000 | #Constraints: 81915 2828.50/2837.82 c #Conflicts: 687000 | #Constraints: 82915 2828.50/2837.82 c #Conflicts: 688000 | #Constraints: 83915 2828.50/2837.82 c #Conflicts: 689000 | #Constraints: 84915 2828.50/2837.82 c #Conflicts: 690000 | #Constraints: 85915 2828.50/2837.82 c #Conflicts: 691000 | #Constraints: 86915 2828.50/2837.82 c #Conflicts: 692000 | #Constraints: 87915 2828.50/2837.82 c #Conflicts: 693000 | #Constraints: 88915 2828.50/2837.82 c #Conflicts: 694000 | #Constraints: 89915 2828.50/2837.82 c #Conflicts: 695000 | #Constraints: 90916 2828.50/2837.82 c #Conflicts: 696000 | #Constraints: 91916 2828.50/2837.82 c #Conflicts: 697000 | #Constraints: 92916 2828.50/2837.82 c #Conflicts: 698000 | #Constraints: 93916 2828.50/2837.82 c #Conflicts: 699000 | #Constraints: 94916 2828.50/2837.82 c #Conflicts: 700000 | #Constraints: 95917 2828.50/2837.82 c #Conflicts: 701000 | #Constraints: 96917 2828.50/2837.82 c #Conflicts: 702000 | #Constraints: 97917 2828.50/2837.82 c #Conflicts: 703000 | #Constraints: 98917 2828.50/2837.82 c #Conflicts: 704000 | #Constraints: 99918 2828.50/2837.82 c #Conflicts: 705000 | #Constraints: 100918 2828.50/2837.82 c #Conflicts: 706000 | #Constraints: 101918 2828.50/2837.82 c #Conflicts: 707000 | #Constraints: 102918 2828.50/2837.82 c #Conflicts: 708000 | #Constraints: 103919 2828.50/2837.82 c #Conflicts: 709000 | #Constraints: 104919 2828.50/2837.82 c INPROCESSING 2828.50/2837.82 c GARBAGE COLLECT 2828.50/2837.82 c rational objective 134 2971.13/2980.99 c #Conflicts: 710000 | #Constraints: 61773 2971.13/2980.99 c #Conflicts: 711000 | #Constraints: 62773 2971.13/2980.99 c #Conflicts: 712000 | #Constraints: 63773 2971.13/2980.99 c #Conflicts: 713000 | #Constraints: 64774 2971.13/2980.99 c #Conflicts: 714000 | #Constraints: 65774 2971.13/2980.99 c #Conflicts: 715000 | #Constraints: 66774 2971.13/2980.99 c #Conflicts: 716000 | #Constraints: 67774 2971.13/2980.99 c #Conflicts: 717000 | #Constraints: 68774 2971.13/2980.99 c #Conflicts: 718000 | #Constraints: 69774 2971.13/2980.99 c #Conflicts: 719000 | #Constraints: 70774 2971.13/2980.99 c #Conflicts: 720000 | #Constraints: 71774 2971.13/2980.99 c #Conflicts: 721000 | #Constraints: 72774 2971.13/2980.99 c #Conflicts: 722000 | #Constraints: 73774 2971.13/2980.99 c #Conflicts: 723000 | #Constraints: 74774 2971.13/2980.99 c #Conflicts: 724000 | #Constraints: 75774 2971.13/2980.99 c #Conflicts: 725000 | #Constraints: 76774 2971.13/2980.99 c #Conflicts: 726000 | #Constraints: 77774 2971.13/2980.99 c #Conflicts: 727000 | #Constraints: 78774 2971.13/2980.99 c #Conflicts: 728000 | #Constraints: 79774 2971.13/2980.99 c #Conflicts: 729000 | #Constraints: 80774 2971.13/2980.99 c #Conflicts: 730000 | #Constraints: 81774 2971.13/2980.99 c #Conflicts: 731000 | #Constraints: 82774 2971.13/2980.99 c INPROCESSING 2971.13/2980.99 c GARBAGE COLLECT 2971.13/2980.99 c rational objective 134 3211.46/3222.08 c #Conflicts: 732000 | #Constraints: 51239 3211.46/3222.08 c #Conflicts: 733000 | #Constraints: 52239 3211.46/3222.08 c #Conflicts: 734000 | #Constraints: 53239 3211.46/3222.08 c #Conflicts: 735000 | #Constraints: 54239 3211.46/3222.08 c #Conflicts: 736000 | #Constraints: 55239 3211.46/3222.08 c #Conflicts: 737000 | #Constraints: 56239 3211.46/3222.08 c #Conflicts: 738000 | #Constraints: 57239 3211.46/3222.08 c #Conflicts: 739000 | #Constraints: 58239 3211.46/3222.08 c #Conflicts: 740000 | #Constraints: 59239 3211.46/3222.08 c #Conflicts: 741000 | #Constraints: 60239 3211.46/3222.08 c #Conflicts: 742000 | #Constraints: 61239 3211.46/3222.08 c #Conflicts: 743000 | #Constraints: 62239 3211.46/3222.08 c #Conflicts: 744000 | #Constraints: 63239 3211.46/3222.08 c #Conflicts: 745000 | #Constraints: 64239 3211.46/3222.08 c #Conflicts: 746000 | #Constraints: 65239 3211.46/3222.08 c #Conflicts: 747000 | #Constraints: 66240 3211.46/3222.08 c #Conflicts: 748000 | #Constraints: 67240 3211.46/3222.08 c #Conflicts: 749000 | #Constraints: 68240 3211.46/3222.08 c #Conflicts: 750000 | #Constraints: 69240 3211.46/3222.08 c #Conflicts: 751000 | #Constraints: 70240 3211.46/3222.08 c #Conflicts: 752000 | #Constraints: 71240 3211.46/3222.08 c #Conflicts: 753000 | #Constraints: 72240 3211.46/3222.08 c #Conflicts: 754000 | #Constraints: 73240 3211.46/3222.08 c #Conflicts: 755000 | #Constraints: 74240 3211.46/3222.08 c #Conflicts: 756000 | #Constraints: 75240 3211.46/3222.08 c #Conflicts: 757000 | #Constraints: 76240 3211.46/3222.08 c #Conflicts: 758000 | #Constraints: 77240 3211.46/3222.08 c #Conflicts: 759000 | #Constraints: 78240 3211.46/3222.08 c #Conflicts: 760000 | #Constraints: 79241 3211.46/3222.08 c #Conflicts: 761000 | #Constraints: 80241 3211.46/3222.08 c #Conflicts: 762000 | #Constraints: 81241 3211.46/3222.08 c #Conflicts: 763000 | #Constraints: 82241 3211.46/3222.08 c #Conflicts: 764000 | #Constraints: 83241 3211.46/3222.08 c #Conflicts: 765000 | #Constraints: 84241 3211.46/3222.08 c #Conflicts: 766000 | #Constraints: 85241 3211.46/3222.08 c #Conflicts: 767000 | #Constraints: 86242 3211.46/3222.08 c #Conflicts: 768000 | #Constraints: 87242 3211.46/3222.08 c #Conflicts: 769000 | #Constraints: 88242 3211.46/3222.08 c #Conflicts: 770000 | #Constraints: 89242 3211.46/3222.08 c #Conflicts: 771000 | #Constraints: 90242 3211.46/3222.08 c #Conflicts: 772000 | #Constraints: 91242 3211.46/3222.08 c #Conflicts: 773000 | #Constraints: 92242 3211.46/3222.08 c #Conflicts: 774000 | #Constraints: 93242 3211.46/3222.08 c #Conflicts: 775000 | #Constraints: 94242 3211.46/3222.08 c #Conflicts: 776000 | #Constraints: 95242 3211.46/3222.08 c #Conflicts: 777000 | #Constraints: 96242 3211.46/3222.08 c #Conflicts: 778000 | #Constraints: 97242 3211.46/3222.08 c #Conflicts: 779000 | #Constraints: 98242 3211.46/3222.08 c #Conflicts: 780000 | #Constraints: 99242 3211.46/3222.08 c #Conflicts: 781000 | #Constraints: 100242 3211.46/3222.08 c #Conflicts: 782000 | #Constraints: 101242 3211.46/3222.08 c #Conflicts: 783000 | #Constraints: 102242 3211.46/3222.08 c #Conflicts: 784000 | #Constraints: 103242 3211.46/3222.08 c #Conflicts: 785000 | #Constraints: 104242 3211.46/3222.08 c #Conflicts: 786000 | #Constraints: 105242 3211.46/3222.08 c #Conflicts: 787000 | #Constraints: 106242 3211.46/3222.08 c #Conflicts: 788000 | #Constraints: 107242 3211.46/3222.08 c #Conflicts: 789000 | #Constraints: 108242 3211.46/3222.08 c #Conflicts: 790000 | #Constraints: 109242 3211.46/3222.08 c #Conflicts: 791000 | #Constraints: 110242 3211.46/3222.08 c #Conflicts: 792000 | #Constraints: 111242 3211.46/3222.08 c INPROCESSING 3211.46/3222.08 c GARBAGE COLLECT 3211.46/3222.08 c rational objective 134 3307.64/3318.55 c #Conflicts: 793000 | #Constraints: 65560 3307.64/3318.55 c #Conflicts: 794000 | #Constraints: 66560 3307.64/3318.55 c #Conflicts: 795000 | #Constraints: 67560 3307.64/3318.55 c #Conflicts: 796000 | #Constraints: 68560 3307.64/3318.55 c #Conflicts: 797000 | #Constraints: 69560 3307.64/3318.55 c #Conflicts: 798000 | #Constraints: 70560 3307.64/3318.55 c #Conflicts: 799000 | #Constraints: 71560 3307.64/3318.55 c #Conflicts: 800000 | #Constraints: 72560 3307.64/3318.55 c #Conflicts: 801000 | #Constraints: 73560 3307.64/3318.55 c #Conflicts: 802000 | #Constraints: 74560 3307.64/3318.55 c #Conflicts: 803000 | #Constraints: 75561 3307.64/3318.55 c #Conflicts: 804000 | #Constraints: 76562 3307.64/3318.55 c #Conflicts: 805000 | #Constraints: 77562 3307.64/3318.55 c #Conflicts: 806000 | #Constraints: 78562 3307.64/3318.55 c #Conflicts: 807000 | #Constraints: 79562 3307.64/3318.55 c #Conflicts: 808000 | #Constraints: 80562 3307.64/3318.55 c #Conflicts: 809000 | #Constraints: 81562 3307.64/3318.55 c #Conflicts: 810000 | #Constraints: 82562 3307.64/3318.55 c #Conflicts: 811000 | #Constraints: 83562 3307.64/3318.55 c #Conflicts: 812000 | #Constraints: 84562 3307.64/3318.55 c #Conflicts: 813000 | #Constraints: 85562 3307.64/3318.55 c #Conflicts: 814000 | #Constraints: 86562 3307.64/3318.55 c INPROCESSING 3307.64/3318.55 c GARBAGE COLLECT 3307.64/3318.55 c rational objective 134 3545.17/3556.84 c #Conflicts: 815000 | #Constraints: 52982 3545.17/3556.84 c #Conflicts: 816000 | #Constraints: 53982 3545.17/3556.84 c #Conflicts: 817000 | #Constraints: 54982 3545.17/3556.84 c #Conflicts: 818000 | #Constraints: 55982 3545.17/3556.84 c #Conflicts: 819000 | #Constraints: 56982 3545.17/3556.84 c #Conflicts: 820000 | #Constraints: 57983 3545.17/3556.84 c #Conflicts: 821000 | #Constraints: 58983 3545.17/3556.84 c #Conflicts: 822000 | #Constraints: 59983 3545.17/3556.84 c #Conflicts: 823000 | #Constraints: 60983 3545.17/3556.84 c #Conflicts: 824000 | #Constraints: 61983 3545.17/3556.84 c #Conflicts: 825000 | #Constraints: 62983 3545.17/3556.84 c #Conflicts: 826000 | #Constraints: 63983 3545.17/3556.84 c #Conflicts: 827000 | #Constraints: 64983 3545.17/3556.84 c #Conflicts: 828000 | #Constraints: 65983 3545.17/3556.84 c #Conflicts: 829000 | #Constraints: 66984 3545.17/3556.84 c #Conflicts: 830000 | #Constraints: 67984 3545.17/3556.84 c #Conflicts: 831000 | #Constraints: 68984 3545.17/3556.84 c #Conflicts: 832000 | #Constraints: 69984 3545.17/3556.84 c #Conflicts: 833000 | #Constraints: 70984 3545.17/3556.84 c #Conflicts: 834000 | #Constraints: 71984 3545.17/3556.84 c #Conflicts: 835000 | #Constraints: 72984 3545.17/3556.84 c #Conflicts: 836000 | #Constraints: 73984 3545.17/3556.84 c #Conflicts: 837000 | #Constraints: 74984 3545.17/3556.84 c #Conflicts: 838000 | #Constraints: 75984 3545.17/3556.84 c #Conflicts: 839000 | #Constraints: 76984 3545.17/3556.84 c #Conflicts: 840000 | #Constraints: 77984 3545.17/3556.84 c #Conflicts: 841000 | #Constraints: 78984 3545.17/3556.84 c #Conflicts: 842000 | #Constraints: 79984 3545.17/3556.84 c #Conflicts: 843000 | #Constraints: 80984 3545.17/3556.84 c #Conflicts: 844000 | #Constraints: 81984 3545.17/3556.84 c #Conflicts: 845000 | #Constraints: 82984 3545.17/3556.84 c #Conflicts: 846000 | #Constraints: 83984 3545.17/3556.84 c #Conflicts: 847000 | #Constraints: 84984 3545.17/3556.84 c #Conflicts: 848000 | #Constraints: 85984 3545.17/3556.84 c #Conflicts: 849000 | #Constraints: 86984 3545.17/3556.84 c #Conflicts: 850000 | #Constraints: 87985 3545.17/3556.84 c #Conflicts: 851000 | #Constraints: 88985 3545.17/3556.84 c #Conflicts: 852000 | #Constraints: 89985 3545.17/3556.84 c #Conflicts: 853000 | #Constraints: 90985 3545.17/3556.84 c #Conflicts: 854000 | #Constraints: 91985 3545.17/3556.84 c #Conflicts: 855000 | #Constraints: 92985 3545.17/3556.84 c #Conflicts: 856000 | #Constraints: 93985 3545.17/3556.84 c #Conflicts: 857000 | #Constraints: 94986 3545.17/3556.84 c #Conflicts: 858000 | #Constraints: 95986 3545.17/3556.84 c #Conflicts: 859000 | #Constraints: 96986 3545.17/3556.84 c #Conflicts: 860000 | #Constraints: 97986 3545.17/3556.84 c #Conflicts: 861000 | #Constraints: 98986 3545.17/3556.84 c #Conflicts: 862000 | #Constraints: 99986 3545.17/3556.84 c #Conflicts: 863000 | #Constraints: 100986 3545.17/3556.84 c #Conflicts: 864000 | #Constraints: 101986 3545.17/3556.84 c #Conflicts: 865000 | #Constraints: 102986 3545.17/3556.84 c #Conflicts: 866000 | #Constraints: 103986 3545.17/3556.84 c #Conflicts: 867000 | #Constraints: 104986 3545.17/3556.84 c #Conflicts: 868000 | #Constraints: 105986 3545.17/3556.84 c #Conflicts: 869000 | #Constraints: 106986 3545.17/3556.84 c #Conflicts: 870000 | #Constraints: 107986 3545.17/3556.84 c #Conflicts: 871000 | #Constraints: 108986 3545.17/3556.84 c #Conflicts: 872000 | #Constraints: 109986 3545.17/3556.84 c #Conflicts: 873000 | #Constraints: 110986 3545.17/3556.84 c #Conflicts: 874000 | #Constraints: 111986 3545.17/3556.84 c #Conflicts: 875000 | #Constraints: 112986 3545.17/3556.84 c #Conflicts: 876000 | #Constraints: 113987 3545.17/3556.84 c #Conflicts: 877000 | #Constraints: 114987 3545.17/3556.84 c #Conflicts: 878000 | #Constraints: 115987 3545.17/3556.84 c INPROCESSING 3545.17/3556.84 c GARBAGE COLLECT 3545.17/3556.84 c rational objective 134 3600.00/3611.80 c #Conflicts: 879000 | #Constraints: 67654 3600.00/3611.80 c #Conflicts: 880000 | #Constraints: 68654 3600.00/3611.80 c #Conflicts: 881000 | #Constraints: 69654 3600.00/3611.80 c #Conflicts: 882000 | #Constraints: 70654 3600.00/3611.80 c #Conflicts: 883000 | #Constraints: 71654 3600.00/3611.80 c #Conflicts: 884000 | #Constraints: 72655 3600.00/3611.80 c #Conflicts: 885000 | #Constraints: 73655 3600.00/3611.80 c #Conflicts: 886000 | #Constraints: 74655 3600.00/3611.80 c #Conflicts: 887000 | #Constraints: 75655 3600.00/3611.80 c #Conflicts: 888000 | #Constraints: 76655 3600.00/3611.80 c #Conflicts: 889000 | #Constraints: 77655 3600.00/3611.80 c #Conflicts: 890000 | #Constraints: 78655 3600.00/3611.80 c #Conflicts: 891000 | #Constraints: 79655 3600.00/3611.80 c #Conflicts: 892000 | #Constraints: 80655 3600.00/3611.80 c #Conflicts: 893000 | #Constraints: 81655 3600.00/3611.80 c #Conflicts: 894000 | #Constraints: 82655 3600.00/3611.80 c #Conflicts: 895000 | #Constraints: 83655 3600.00/3611.80 c #Conflicts: 896000 | #Constraints: 84655 3600.00/3611.80 c #Conflicts: 897000 | #Constraints: 85655 3600.00/3611.80 c Program interrupted by user. 3600.00/3611.82 c cpu time 3566.78 s 3600.00/3611.82 c deterministic time 200329838466 2.00e+11 3600.00/3611.82 c optimization time 54.0129 s 3600.00/3611.82 c total solve time 3512.57 s 3600.00/3611.82 c core-guided solve time 0 s 3600.00/3611.82 c propagation time 1768.22 s 3600.00/3611.82 c conflict analysis time 635.768 s 3600.00/3611.82 c propagations 662683700 3600.00/3611.82 c resolve steps 43688145 3600.00/3611.82 c decisions 12934594 3600.00/3611.82 c conflicts 897309 3600.00/3611.82 c restarts 1945 3600.00/3611.82 c inprocessing phases 46 3600.00/3611.82 c input clauses 16082 3600.00/3611.82 c input cardinalities 134 3600.00/3611.82 c input general constraints 0 3600.00/3611.82 c input average constraint length 6.43 3600.00/3611.82 c input average constraint degree 1.97 3600.00/3611.82 c learned clauses 581953 3600.00/3611.82 c learned cardinalities 34061 3600.00/3611.82 c learned general constraints 281360 3600.00/3611.82 c learned average constraint length 1057.41 3600.00/3611.82 c learned average constraint degree 646055758.40 3600.00/3611.82 c watched constraints 218088 3600.00/3611.82 c counting constraints 63272 3600.00/3611.82 c gcd simplifications 4792 3600.00/3611.82 c detected cardinalities 3730 3600.00/3611.82 c weakened non-implied lits 222094062 3600.00/3611.82 c weakened non-implying lits 445605 3600.00/3611.82 c original variables 15946 3600.00/3611.82 c clausal propagations 286052399 3600.00/3611.82 c cardinality propagations 228944528 3600.00/3611.82 c watched propagations 44923848 3600.00/3611.82 c counting propagations 95064669 3600.00/3611.82 c watch lookups 12245669667 3600.00/3611.82 c watch backjump lookups 9866967853 3600.00/3611.82 c watch checks 134635548031 3600.00/3611.82 c propagation checks 38891319852 3600.00/3611.82 c constraint additions 3336496529 3600.00/3611.82 c trail pops 676502470 3600.00/3611.82 c formula constraints 16216 3600.00/3611.82 c learned constraints 897242 3600.00/3611.82 c bound constraints 0 3600.00/3611.82 c core-guided constraints 0 3600.00/3611.82 c encountered formula constraints 30401457 3600.00/3611.82 c encountered learned constraints 14182171 3600.00/3611.82 c encountered bound constraints 0 3600.00/3611.82 c encountered core-guided constraints 0 3600.00/3611.82 c LP total time 2007.57 s 3600.00/3611.82 c LP solve time 2004.68 s 3600.00/3611.82 c LP constraints added 19365 3600.00/3611.82 c LP constraints removed 2791 3600.00/3611.82 c LP pivots internal 899673 3600.00/3611.82 c LP pivots root 816096 3600.00/3611.82 c LP calls 94 3600.00/3611.82 c LP optimalities 19 3600.00/3611.82 c LP no pivot count 0 3600.00/3611.82 c LP infeasibilities 66 3600.00/3611.82 c LP valid Farkas constraints 66 3600.00/3611.82 c LP learned Farkas constraints 66 3600.00/3611.82 c LP basis resets 1 3600.00/3611.82 c LP cycling count 0 3600.00/3611.82 c LP singular count 1 3600.00/3611.82 c LP no primal count 0 3600.00/3611.82 c LP no farkas count 0 3600.00/3611.82 c LP other issue count 0 3600.00/3611.82 c LP Gomory cuts 0 3600.00/3611.82 c LP learned cuts 3149 3600.00/3611.82 c LP deleted cuts 2791 3600.00/3611.82 c LP encountered Gomory constraints 0 3600.00/3611.82 c LP encountered Farkas constraints 1421 3600.00/3611.82 c LP encountered learned Farkas constraints 339 3600.00/3611.82 c CG auxiliary variables introduced 0 3600.00/3611.82 c CG solutions found 0 3600.00/3611.82 c CG cores constructed 0 3600.00/3611.82 c CG core cardinality constraints returned 0 3600.00/3611.82 c CG unit cores 0 3600.00/3611.82 c CG single cores 0 3600.00/3611.82 c CG blocks removed during cardinality reduction 0 3600.00/3611.82 c CG first core best 0 3600.00/3611.82 c CG decision core best 0 3600.00/3611.82 c CG core reduction tie 0 3600.00/3611.82 c CG core degree average 0.00 3600.00/3611.82 c CG core slack average 0.00 3600.00/3611.82 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (22613 MiB free)
memory of node 1: 64473 MiB (36221 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460671-1722069333/watcher-4460671-1722069333 -o /tmp/evaluation-result-4460671-1722069333/solver-4460671-1722069333 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722064837-302420 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460671-1722069333 --lp-cut-gomory=0 HOME/instance-4460671-1722069333.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64Starting watchdog thread
Linux 4.18.0-301.1.el8.x86_64Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=305835, runsolver pid=305832
[startup+0.100098 s]*
/proc/loadavg: 4.18 4.34 4.25 7/245 305836
/proc/meminfo: memFree=60386700/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=40456 memory=9008 CPUtime=0.08 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 1416 0 0 0 6 2 0 0 20 0 1 0 42922547 41426944 2252 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 10114 2252 1351 992 0 1972 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 40456 KiB
Current children cumulated memory: 9008 KiB
[startup+0.21326 s]*
/proc/loadavg: 4.18 4.34 4.25 9/245 305836
/proc/meminfo: memFree=60383884/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=41008 memory=10064 CPUtime=0.2 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 1705 0 0 0 15 5 0 0 20 0 1 0 42922547 41992192 2516 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 10252 2516 1351 992 0 2110 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41008 KiB
Current children cumulated memory: 10064 KiB
[startup+0.313106 s]*
/proc/loadavg: 4.18 4.34 4.25 6/246 305837
/proc/meminfo: memFree=60372844/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=57724 memory=27572 CPUtime=0.29 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 6991 0 0 0 23 6 0 0 20 0 1 0 42922547 59109376 6827 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 14431 6893 1713 992 0 6289 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 57724 KiB
Current children cumulated memory: 27572 KiB
[startup+0.700287 s]
/proc/loadavg: 4.17 4.33 4.25 5/246 305837
/proc/meminfo: memFree=60368980/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=63904 memory=31532 CPUtime=0.66 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 8004 0 0 0 60 6 0 0 20 0 1 0 42922547 65437696 7883 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 15976 7883 1713 992 0 7834 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 63904 KiB
Current children cumulated memory: 31532 KiB
[startup+1.50031 s]
/proc/loadavg: 4.17 4.33 4.25 5/246 305838
/proc/meminfo: memFree=60243332/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=65832 memory=33644 CPUtime=1.46 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 8563 0 0 0 139 7 0 0 20 0 1 0 42922547 67411968 8411 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 16458 8411 1713 992 0 8316 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 65832 KiB
Current children cumulated memory: 33644 KiB
[startup+3.11302 s]
/proc/loadavg: 4.17 4.33 4.25 5/246 305838
/proc/meminfo: memFree=60222136/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=68236 memory=39240 CPUtime=3.07 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 9408 0 0 0 289 18 0 0 20 0 1 0 42922547 69873664 9810 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 17059 9810 1745 992 0 8917 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 68236 KiB
Current children cumulated memory: 39240 KiB
[startup+6.30031 s]
/proc/loadavg: 4.15 4.32 4.24 5/246 305838
/proc/meminfo: memFree=60031100/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=70076 memory=41876 CPUtime=6.25 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 10040 0 0 0 604 21 0 0 20 0 1 0 42922547 71757824 10469 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 17519 10469 1745 992 0 9377 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 70076 KiB
Current children cumulated memory: 41876 KiB
[startup+12.7003 s]
/proc/loadavg: 4.22 4.34 4.25 5/245 305840
/proc/meminfo: memFree=59449228/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=73692 memory=45696 CPUtime=12.62 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 10458 0 0 0 1229 33 0 0 20 0 1 0 42922547 75460608 11424 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 18423 11424 1809 992 0 10281 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 73692 KiB
Current children cumulated memory: 45696 KiB
[startup+25.5003 s]
/proc/loadavg: 4.19 4.32 4.25 5/245 305841
/proc/meminfo: memFree=58753984/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=76696 memory=48332 CPUtime=25.38 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 11105 0 0 0 2494 44 0 0 20 0 1 0 42922547 78536704 12083 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 19174 12083 1809 992 0 11032 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 76696 KiB
Current children cumulated memory: 48332 KiB
[startup+51.1134 s]
/proc/loadavg: 4.11 4.29 4.24 5/246 305847
/proc/meminfo: memFree=57395352/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=110812 memory=74904 CPUtime=50.91 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 14669 0 0 0 5004 87 0 0 20 0 1 0 42922547 113471488 18726 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 27703 18726 1841 992 0 19561 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 110812 KiB
Current children cumulated memory: 74904 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.26 4.23 5/252 305862
/proc/meminfo: memFree=55198956/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=143236 memory=98616 CPUtime=101.92 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 18050 0 0 0 10033 159 0 0 20 0 1 0 42922547 146673664 24654 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 35809 24654 1841 992 0 27667 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 143236 KiB
Current children cumulated memory: 98616 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.24 4.22 5/252 305872
/proc/meminfo: memFree=52089880/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=252512 memory=190376 CPUtime=161.73 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 26203 0 0 0 15961 212 0 0 20 0 1 0 42922547 258572288 47594 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 63128 47594 1841 992 0 54986 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 252512 KiB
Current children cumulated memory: 190376 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.24 4.22 5/262 305908
/proc/meminfo: memFree=73117436/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=254224 memory=192744 CPUtime=221.53 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 26775 0 0 0 21882 271 0 0 20 0 1 0 42922547 260325376 48186 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 63556 48186 1841 992 0 55414 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 254224 KiB
Current children cumulated memory: 192744 KiB
[startup+282.3 s]
/proc/loadavg: 4.26 4.25 4.23 5/265 305923
/proc/meminfo: memFree=70508084/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=256772 memory=196304 CPUtime=281.31 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 27312 0 0 0 27793 338 0 0 20 0 1 0 42922547 262934528 49076 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 64193 49076 1841 992 0 56051 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 256772 KiB
Current children cumulated memory: 196304 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.21 4.21 5/264 305933
/proc/meminfo: memFree=65413644/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=260952 memory=206384 CPUtime=341.1 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 28498 0 0 0 33706 404 0 0 20 0 1 0 42922547 267214848 51596 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 65238 51596 1841 992 0 57096 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 260952 KiB
Current children cumulated memory: 206384 KiB
[startup+402.3 s]
/proc/loadavg: 4.35 4.26 4.23 5/266 306004
/proc/meminfo: memFree=120426736/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=352860 memory=292924 CPUtime=400.89 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 31787 0 0 0 39643 446 0 0 20 0 1 0 42922547 361328640 73231 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 88215 73231 1841 992 0 80073 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 352860 KiB
Current children cumulated memory: 292924 KiB
[startup+462.3 s]
/proc/loadavg: 4.31 4.26 4.23 5/266 306014
/proc/meminfo: memFree=120123012/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=353500 memory=293700 CPUtime=460.67 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 32016 0 0 0 45582 485 0 0 20 0 1 0 42922547 361984000 73425 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 88375 73425 1841 992 0 80233 0
################
# More data... #
################
Current children cumulated memory: 722240 KiB
[startup+2862.3 s]
/proc/loadavg: 4.17 4.23 4.21 5/248 307584
/proc/meminfo: memFree=103181780/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=871984 memory=723516 CPUtime=2852.91 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 83069 0 0 0 282633 2658 0 0 20 0 1 0 42922547 892911616 180879 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 217996 180879 1841 992 0 209854 0
Current children cumulated CPU time: 2852.91 s
Current children cumulated vsize: 871984 KiB
Current children cumulated memory: 723516 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.20 4.20 5/248 307594
/proc/meminfo: memFree=102276060/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=879876 memory=731848 CPUtime=2912.72 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 85478 0 0 0 288558 2714 0 0 20 0 1 0 42922547 900993024 182962 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 219969 182962 1841 992 0 211827 0
Current children cumulated CPU time: 2912.72 s
Current children cumulated vsize: 879876 KiB
Current children cumulated memory: 731848 KiB
[startup+2982.3 s]
/proc/loadavg: 4.17 4.20 4.20 5/248 307987
/proc/meminfo: memFree=101936384/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=885836 memory=737292 CPUtime=2972.53 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 87045 0 0 0 294509 2744 0 0 20 0 1 0 42922547 907096064 184323 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 221459 184323 1841 992 0 213317 0
Current children cumulated CPU time: 2972.53 s
Current children cumulated vsize: 885836 KiB
Current children cumulated memory: 737292 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.17 4.19 5/245 307997
/proc/meminfo: memFree=101315576/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=885836 memory=737360 CPUtime=3032.33 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 87211 0 0 0 300433 2800 0 0 20 0 1 0 42922547 907096064 184340 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 221459 184340 1841 992 0 213317 0
Current children cumulated CPU time: 3032.33 s
Current children cumulated vsize: 885836 KiB
Current children cumulated memory: 737360 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.16 4.18 5/245 308008
/proc/meminfo: memFree=100890128/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=885836 memory=737364 CPUtime=3092.14 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 87427 0 0 0 306349 2865 0 0 20 0 1 0 42922547 907096064 184341 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 221459 184341 1841 992 0 213317 0
Current children cumulated CPU time: 3092.14 s
Current children cumulated vsize: 885836 KiB
Current children cumulated memory: 737364 KiB
[startup+3162.3 s]
/proc/loadavg: 4.25 4.19 4.19 5/247 308188
/proc/meminfo: memFree=100305656/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=885836 memory=737428 CPUtime=3151.94 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 87683 0 0 0 312277 2917 0 0 20 0 1 0 42922547 907096064 184357 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 221459 184357 1841 992 0 213317 0
Current children cumulated CPU time: 3151.94 s
Current children cumulated vsize: 885836 KiB
Current children cumulated memory: 737428 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.18 4.18 5/247 308200
/proc/meminfo: memFree=99909084/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=890012 memory=741640 CPUtime=3211.75 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 88897 0 0 0 318216 2959 0 0 20 0 1 0 42922547 911372288 185410 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 222503 185410 1925 992 0 214361 0
Current children cumulated CPU time: 3211.75 s
Current children cumulated vsize: 890012 KiB
Current children cumulated memory: 741640 KiB
[startup+3282.3 s]
/proc/loadavg: 4.66 4.30 4.22 5/248 308267
/proc/meminfo: memFree=99385236/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=890012 memory=741872 CPUtime=3271.56 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 89058 0 0 0 324120 3036 0 0 20 0 1 0 42922547 911372288 185468 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 222503 185468 1925 992 0 214361 0
Current children cumulated CPU time: 3271.56 s
Current children cumulated vsize: 890012 KiB
Current children cumulated memory: 741872 KiB
[startup+3342.3 s]
/proc/loadavg: 4.58 4.37 4.25 5/252 308281
/proc/meminfo: memFree=98650972/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=890012 memory=741880 CPUtime=3331.36 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 89183 0 0 0 330046 3090 0 0 20 0 1 0 42922547 911372288 185470 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 222503 185470 1925 992 0 214361 0
Current children cumulated CPU time: 3331.36 s
Current children cumulated vsize: 890012 KiB
Current children cumulated memory: 741880 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.30 4.23 5/252 308293
/proc/meminfo: memFree=98111848/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=890012 memory=741880 CPUtime=3391.17 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 89416 0 0 0 335980 3137 0 0 20 0 1 0 42922547 911372288 185470 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 222503 185470 1925 992 0 214361 0
Current children cumulated CPU time: 3391.17 s
Current children cumulated vsize: 890012 KiB
Current children cumulated memory: 741880 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.27 4.23 5/252 308303
/proc/meminfo: memFree=97659916/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=890588 memory=741988 CPUtime=3450.98 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 89690 0 0 0 341906 3192 0 0 20 0 1 0 42922547 911962112 185497 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 222647 185497 1925 992 0 214505 0
Current children cumulated CPU time: 3450.98 s
Current children cumulated vsize: 890588 KiB
Current children cumulated memory: 741988 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.23 4.22 5/251 308313
/proc/meminfo: memFree=97314384/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=894764 memory=745200 CPUtime=3510.78 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 90802 0 0 0 347833 3245 0 0 20 0 1 0 42922547 916238336 186300 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 223691 186300 1925 992 0 215549 0
Current children cumulated CPU time: 3510.78 s
Current children cumulated vsize: 894764 KiB
Current children cumulated memory: 745200 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.20 4.20 5/249 308324
/proc/meminfo: memFree=96703068/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=896504 memory=747636 CPUtime=3570.6 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 91451 0 0 0 353771 3289 0 0 20 0 1 0 42922547 918020096 186909 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 224126 186909 1925 992 0 215984 0
Current children cumulated CPU time: 3570.6 s
Current children cumulated vsize: 896504 KiB
Current children cumulated memory: 747636 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.8 s]
/proc/loadavg: 4.05 4.19 4.20 5/249 308328
/proc/meminfo: memFree=96412448/131655788 swapFree=131056320/131071996
[pid=305835] ppid=305832 vsize=896504 memory=747636 CPUtime=3600 cores=0,2
/proc/305835/stat : 305835 (roundingsat) R 305832 305835 302410 0 -1 4194304 91584 0 0 0 356677 3323 0 0 20 0 1 0 42922547 918020096 186909 134679101440 4194304 8254357 140733632791712 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18284544 140733632799579 140733632799841 140733632799841 140733632806857 0
/proc/305835/statm: 224126 186909 1925 992 0 215984 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 896504 KiB
Current children cumulated memory: 747636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.83 s]
# the end of solver process 305835 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3566.78 s, system=33.2442 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.83
CPU time (s): 3600.03
CPU user time (s): 3566.78
CPU system time (s): 33.2442
CPU usage (%): 99.6732
Max. virtual memory (cumulated for all children) (KiB): 896504
Max. memory (cumulated for all children) (KiB): 747636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.78
system time used= 33.2442
maximum resident set size= 747636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91599
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12670408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 510
involuntary context switches= 24781
# summary of solver processes directly reported to runsolver:
# pid: 305835
# total CPU time (s): 3600.03
# total CPU user time (s): 3566.78
# total CPU system time (s): 33.2442
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.2581 second user time and 32.4634 second system time
The end
Begin job on nodeC006 at 2024-07-27 10:35:33 IDJOB=4460671 IDBENCH=158262 IDSOLVER=3086 FILE ID=nodeC006/4460671-1722069333 RUNJOBID= nodeC006-1722064837-302420 SLURM_JOB_ID= 8248108 Free space on /tmp= 723512 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-4460671-1722069333/watcher-4460671-1722069333 -o /tmp/evaluation-result-4460671-1722069333/solver-4460671-1722069333 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722064837-302420 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460671-1722069333 --lp-cut-gomory=0 HOME/instance-4460671-1722069333.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 963edb3c79c326322e0bda3e585d3232 RANDOM SEED=72731767 nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.567 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3659.848 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.097 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.120 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3509.987 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3652.548 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.284 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.145 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 60246568 kB MemAvailable: 108104700 kB Buffers: 380640 kB Cached: 48006244 kB SwapCached: 244 kB Active: 2366920 kB Inactive: 67953424 kB Active(anon): 1720 kB Inactive(anon): 21984892 kB Active(file): 2365200 kB Inactive(file): 45968532 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056320 kB Dirty: 912124 kB Writeback: 41456 kB AnonPages: 21930464 kB Mapped: 101092 kB Shmem: 53436 kB KReclaimable: 586308 kB Slab: 729244 kB SReclaimable: 586308 kB SUnreclaim: 142936 kB KernelStack: 4000 kB PageTables: 52036 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 23603404 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16576 kB HardwareCorrupted: 0 kB AnonHugePages: 11726848 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: 420680 kB DirectMap2M: 57155584 kB DirectMap1G: 78643200 kB Free space on /tmp at the end= 723756 MiB End job on nodeC006 at 2024-07-27 11:35:45