| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.11 | 3612.38 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K134.opb |
| MD5SUM | 963edb3c79c326322e0bda3e585d3232 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 15946 |
| Total number of constraints | 16216 |
| Number of constraints which are clauses | 16082 |
| Number of constraints which are cardinality constraints (but not clauses) | 134 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 134 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 135 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.08 c #variables 15946 #constraints 16216 103.75/104.14 c #Conflicts: 1000 | #Constraints: 17215 103.75/104.14 c #Conflicts: 2000 | #Constraints: 18215 103.75/104.14 c INPROCESSING 103.75/104.14 c GARBAGE COLLECT 103.75/104.14 c #Conflicts: 3000 | #Constraints: 17542 103.75/104.14 c #Conflicts: 4000 | #Constraints: 18542 103.75/104.14 c INPROCESSING 103.75/104.14 c GARBAGE COLLECT 103.75/104.14 c #Conflicts: 5000 | #Constraints: 18033 103.75/104.14 c #Conflicts: 6000 | #Constraints: 19033 103.75/104.14 c INPROCESSING 103.75/104.14 c GARBAGE COLLECT 103.75/104.14 c #Conflicts: 7000 | #Constraints: 18104 103.75/104.14 c #Conflicts: 8000 | #Constraints: 19104 103.75/104.14 c #Conflicts: 9000 | #Constraints: 20104 103.75/104.14 c INPROCESSING 103.75/104.14 c GARBAGE COLLECT 103.75/104.14 c #Conflicts: 10000 | #Constraints: 18842 103.75/104.14 c #Conflicts: 11000 | #Constraints: 19842 103.75/104.14 c #Conflicts: 12000 | #Constraints: 20842 103.75/104.14 c INPROCESSING 103.75/104.14 c GARBAGE COLLECT 103.75/104.14 c #Conflicts: 13000 | #Constraints: 19347 103.75/104.14 c #Conflicts: 14000 | #Constraints: 20347 103.75/104.14 c #Conflicts: 15000 | #Constraints: 21347 103.75/104.14 c INPROCESSING 103.75/104.14 c GARBAGE COLLECT 103.75/104.14 c #Conflicts: 16000 | #Constraints: 19639 103.75/104.14 c #Conflicts: 17000 | #Constraints: 20639 103.75/104.14 c #Conflicts: 18000 | #Constraints: 21639 103.75/104.14 c INPROCESSING 103.75/104.14 c GARBAGE COLLECT 103.75/104.14 c #Conflicts: 19000 | #Constraints: 19677 103.75/104.14 c #Conflicts: 20000 | #Constraints: 20677 103.75/104.14 c #Conflicts: 21000 | #Constraints: 21678 103.75/104.14 c INPROCESSING 103.75/104.14 c GARBAGE COLLECT 103.75/104.14 c #Conflicts: 22000 | #Constraints: 19558 103.75/104.14 c #Conflicts: 23000 | #Constraints: 20558 103.75/104.14 c #Conflicts: 24000 | #Constraints: 21558 103.75/104.14 c #Conflicts: 25000 | #Constraints: 22558 103.75/104.14 c #Conflicts: 26000 | #Constraints: 23558 103.75/104.14 c #Conflicts: 27000 | #Constraints: 24558 103.75/104.14 c #Conflicts: 28000 | #Constraints: 25558 103.75/104.14 c #Conflicts: 29000 | #Constraints: 26558 103.75/104.14 c #Conflicts: 30000 | #Constraints: 27558 103.75/104.14 c #Conflicts: 31000 | #Constraints: 28558 103.75/104.14 c #Conflicts: 32000 | #Constraints: 29558 103.75/104.14 c #Conflicts: 33000 | #Constraints: 30558 103.75/104.14 c INPROCESSING 103.75/104.14 c GARBAGE COLLECT 103.75/104.14 c rational objective 134 298.17/299.20 c #Conflicts: 34000 | #Constraints: 24248 298.17/299.20 c #Conflicts: 35000 | #Constraints: 25248 298.17/299.20 c #Conflicts: 36000 | #Constraints: 26249 298.17/299.20 c #Conflicts: 37000 | #Constraints: 27249 298.17/299.20 c #Conflicts: 38000 | #Constraints: 28249 298.17/299.20 c INPROCESSING 298.17/299.20 c GARBAGE COLLECT 298.17/299.20 c #Conflicts: 39000 | #Constraints: 23223 298.17/299.20 c #Conflicts: 40000 | #Constraints: 24223 298.17/299.20 c #Conflicts: 41000 | #Constraints: 25223 298.17/299.20 c #Conflicts: 42000 | #Constraints: 26223 298.17/299.20 c INPROCESSING 298.17/299.20 c GARBAGE COLLECT 298.17/299.20 c #Conflicts: 43000 | #Constraints: 21782 298.17/299.20 c #Conflicts: 44000 | #Constraints: 22782 298.17/299.20 c #Conflicts: 45000 | #Constraints: 23782 298.17/299.20 c #Conflicts: 46000 | #Constraints: 24782 298.17/299.20 c #Conflicts: 47000 | #Constraints: 25782 298.17/299.20 c #Conflicts: 48000 | #Constraints: 26782 298.17/299.20 c INPROCESSING 298.17/299.20 c GARBAGE COLLECT 298.17/299.20 c #Conflicts: 49000 | #Constraints: 22480 298.17/299.20 c #Conflicts: 50000 | #Constraints: 23480 298.17/299.20 c #Conflicts: 51000 | #Constraints: 24480 298.17/299.20 c #Conflicts: 52000 | #Constraints: 25480 298.17/299.20 c #Conflicts: 53000 | #Constraints: 26480 298.17/299.20 c #Conflicts: 54000 | #Constraints: 27480 298.17/299.20 c #Conflicts: 55000 | #Constraints: 28480 298.17/299.20 c #Conflicts: 56000 | #Constraints: 29480 298.17/299.20 c #Conflicts: 57000 | #Constraints: 30480 298.17/299.20 c #Conflicts: 58000 | #Constraints: 31480 298.17/299.20 c #Conflicts: 59000 | #Constraints: 32480 298.17/299.20 c #Conflicts: 60000 | #Constraints: 33480 298.17/299.20 c #Conflicts: 61000 | #Constraints: 34480 298.17/299.20 c #Conflicts: 62000 | #Constraints: 35480 298.17/299.20 c #Conflicts: 63000 | #Constraints: 36480 298.17/299.20 c #Conflicts: 64000 | #Constraints: 37480 298.17/299.20 c #Conflicts: 65000 | #Constraints: 38480 298.17/299.20 c INPROCESSING 298.17/299.20 c GARBAGE COLLECT 298.17/299.20 c #Conflicts: 66000 | #Constraints: 28419 298.17/299.20 c #Conflicts: 67000 | #Constraints: 29419 298.17/299.20 c #Conflicts: 68000 | #Constraints: 30419 298.17/299.20 c #Conflicts: 69000 | #Constraints: 31419 298.17/299.20 c #Conflicts: 70000 | #Constraints: 32419 298.17/299.20 c #Conflicts: 71000 | #Constraints: 33420 298.17/299.20 c INPROCESSING 298.17/299.20 c GARBAGE COLLECT 298.17/299.20 c rational objective 134 550.59/552.54 c #Conflicts: 72000 | #Constraints: 25711 550.59/552.54 c #Conflicts: 73000 | #Constraints: 26711 550.59/552.54 c #Conflicts: 74000 | #Constraints: 27711 550.59/552.54 c #Conflicts: 75000 | #Constraints: 28711 550.59/552.54 c #Conflicts: 76000 | #Constraints: 29711 550.59/552.54 c #Conflicts: 77000 | #Constraints: 30711 550.59/552.54 c #Conflicts: 78000 | #Constraints: 31711 550.59/552.54 c INPROCESSING 550.59/552.54 c GARBAGE COLLECT 550.59/552.54 c #Conflicts: 79000 | #Constraints: 25111 550.59/552.54 c #Conflicts: 80000 | #Constraints: 26111 550.59/552.54 c #Conflicts: 81000 | #Constraints: 27111 550.59/552.54 c #Conflicts: 82000 | #Constraints: 28111 550.59/552.54 c #Conflicts: 83000 | #Constraints: 29111 550.59/552.54 c #Conflicts: 84000 | #Constraints: 30111 550.59/552.54 c #Conflicts: 85000 | #Constraints: 31111 550.59/552.54 c #Conflicts: 86000 | #Constraints: 32111 550.59/552.54 c #Conflicts: 87000 | #Constraints: 33111 550.59/552.54 c #Conflicts: 88000 | #Constraints: 34111 550.59/552.54 c #Conflicts: 89000 | #Constraints: 35111 550.59/552.54 c #Conflicts: 90000 | #Constraints: 36111 550.59/552.54 c #Conflicts: 91000 | #Constraints: 37112 550.59/552.54 c #Conflicts: 92000 | #Constraints: 38112 550.59/552.54 c #Conflicts: 93000 | #Constraints: 39112 550.59/552.54 c #Conflicts: 94000 | #Constraints: 40112 550.59/552.54 c #Conflicts: 95000 | #Constraints: 41112 550.59/552.54 c #Conflicts: 96000 | #Constraints: 42112 550.59/552.54 c #Conflicts: 97000 | #Constraints: 43112 550.59/552.54 c #Conflicts: 98000 | #Constraints: 44112 550.59/552.54 c #Conflicts: 99000 | #Constraints: 45112 550.59/552.54 c INPROCESSING 550.59/552.54 c GARBAGE COLLECT 550.59/552.54 c #Conflicts: 100000 | #Constraints: 31713 550.59/552.54 c #Conflicts: 101000 | #Constraints: 32713 550.59/552.54 c #Conflicts: 102000 | #Constraints: 33713 550.59/552.54 c #Conflicts: 103000 | #Constraints: 34713 550.59/552.54 c #Conflicts: 104000 | #Constraints: 35713 550.59/552.54 c #Conflicts: 105000 | #Constraints: 36713 550.59/552.54 c #Conflicts: 106000 | #Constraints: 37713 550.59/552.54 c #Conflicts: 107000 | #Constraints: 38713 550.59/552.54 c INPROCESSING 550.59/552.54 c GARBAGE COLLECT 550.59/552.54 c #Conflicts: 108000 | #Constraints: 28544 550.59/552.54 c #Conflicts: 109000 | #Constraints: 29544 550.59/552.54 c #Conflicts: 110000 | #Constraints: 30544 550.59/552.54 c #Conflicts: 111000 | #Constraints: 31544 550.59/552.54 c #Conflicts: 112000 | #Constraints: 32544 550.59/552.54 c #Conflicts: 113000 | #Constraints: 33544 550.59/552.54 c #Conflicts: 114000 | #Constraints: 34544 550.59/552.54 c #Conflicts: 115000 | #Constraints: 35544 550.59/552.54 c INPROCESSING 550.59/552.54 c GARBAGE COLLECT 550.59/552.54 c #Conflicts: 116000 | #Constraints: 27076 550.59/552.54 c #Conflicts: 117000 | #Constraints: 28076 550.59/552.54 c #Conflicts: 118000 | #Constraints: 29076 550.59/552.54 c #Conflicts: 119000 | #Constraints: 30076 550.59/552.54 c #Conflicts: 120000 | #Constraints: 31076 550.59/552.54 c #Conflicts: 121000 | #Constraints: 32076 550.59/552.54 c #Conflicts: 122000 | #Constraints: 33076 550.59/552.54 c #Conflicts: 123000 | #Constraints: 34076 550.59/552.54 c #Conflicts: 124000 | #Constraints: 35076 550.59/552.54 c #Conflicts: 125000 | #Constraints: 36076 550.59/552.54 c #Conflicts: 126000 | #Constraints: 37077 550.59/552.54 c #Conflicts: 127000 | #Constraints: 38077 550.59/552.54 c #Conflicts: 128000 | #Constraints: 39077 550.59/552.54 c #Conflicts: 129000 | #Constraints: 40077 550.59/552.54 c #Conflicts: 130000 | #Constraints: 41077 550.59/552.54 c #Conflicts: 131000 | #Constraints: 42077 550.59/552.54 c #Conflicts: 132000 | #Constraints: 43078 550.59/552.54 c #Conflicts: 133000 | #Constraints: 44078 550.59/552.54 c #Conflicts: 134000 | #Constraints: 45078 550.59/552.54 c #Conflicts: 135000 | #Constraints: 46078 550.59/552.54 c #Conflicts: 136000 | #Constraints: 47078 550.59/552.54 c #Conflicts: 137000 | #Constraints: 48078 550.59/552.54 c #Conflicts: 138000 | #Constraints: 49078 550.59/552.54 c #Conflicts: 139000 | #Constraints: 50079 550.59/552.54 c #Conflicts: 140000 | #Constraints: 51079 550.59/552.54 c INPROCESSING 550.59/552.54 c GARBAGE COLLECT 550.59/552.54 c #Conflicts: 141000 | #Constraints: 34567 550.59/552.54 c #Conflicts: 142000 | #Constraints: 35567 550.59/552.54 c #Conflicts: 143000 | #Constraints: 36567 550.59/552.54 c #Conflicts: 144000 | #Constraints: 37567 550.59/552.54 c #Conflicts: 145000 | #Constraints: 38567 550.59/552.54 c #Conflicts: 146000 | #Constraints: 39567 550.59/552.54 c #Conflicts: 147000 | #Constraints: 40567 608.01/610.13 c #Conflicts: 148000 | #Constraints: 41567 608.01/610.13 c #Conflicts: 149000 | #Constraints: 42567 608.01/610.13 c #Conflicts: 150000 | #Constraints: 43567 608.01/610.13 c INPROCESSING 608.01/610.13 c GARBAGE COLLECT 608.01/610.13 c rational objective 134 746.83/749.46 c #Conflicts: 151000 | #Constraints: 31284 746.83/749.46 c #Conflicts: 152000 | #Constraints: 32284 746.83/749.46 c #Conflicts: 153000 | #Constraints: 33284 746.83/749.46 c #Conflicts: 154000 | #Constraints: 34284 746.83/749.46 c #Conflicts: 155000 | #Constraints: 35284 746.83/749.46 c #Conflicts: 156000 | #Constraints: 36285 746.83/749.46 c #Conflicts: 157000 | #Constraints: 37285 746.83/749.46 c #Conflicts: 158000 | #Constraints: 38285 746.83/749.46 c #Conflicts: 159000 | #Constraints: 39285 746.83/749.46 c INPROCESSING 746.83/749.46 c GARBAGE COLLECT 746.83/749.46 c #Conflicts: 160000 | #Constraints: 28764 746.83/749.46 c #Conflicts: 161000 | #Constraints: 29764 746.83/749.46 c #Conflicts: 162000 | #Constraints: 30764 746.83/749.46 c #Conflicts: 163000 | #Constraints: 31764 746.83/749.46 c #Conflicts: 164000 | #Constraints: 32764 746.83/749.46 c #Conflicts: 165000 | #Constraints: 33764 746.83/749.46 c #Conflicts: 166000 | #Constraints: 34764 746.83/749.46 c #Conflicts: 167000 | #Constraints: 35764 746.83/749.46 c #Conflicts: 168000 | #Constraints: 36764 746.83/749.46 c #Conflicts: 169000 | #Constraints: 37764 746.83/749.46 c #Conflicts: 170000 | #Constraints: 38764 746.83/749.46 c #Conflicts: 171000 | #Constraints: 39764 746.83/749.46 c #Conflicts: 172000 | #Constraints: 40764 746.83/749.46 c #Conflicts: 173000 | #Constraints: 41764 746.83/749.46 c #Conflicts: 174000 | #Constraints: 42765 746.83/749.46 c #Conflicts: 175000 | #Constraints: 43765 746.83/749.46 c #Conflicts: 176000 | #Constraints: 44765 746.83/749.46 c #Conflicts: 177000 | #Constraints: 45765 746.83/749.46 c #Conflicts: 178000 | #Constraints: 46765 746.83/749.46 c #Conflicts: 179000 | #Constraints: 47765 746.83/749.46 c #Conflicts: 180000 | #Constraints: 48765 746.83/749.46 c #Conflicts: 181000 | #Constraints: 49765 746.83/749.46 c #Conflicts: 182000 | #Constraints: 50765 746.83/749.46 c #Conflicts: 183000 | #Constraints: 51765 746.83/749.46 c #Conflicts: 184000 | #Constraints: 52765 746.83/749.46 c #Conflicts: 185000 | #Constraints: 53765 746.83/749.46 c #Conflicts: 186000 | #Constraints: 54765 746.83/749.46 c #Conflicts: 187000 | #Constraints: 55766 746.83/749.46 c #Conflicts: 188000 | #Constraints: 56766 746.83/749.46 c #Conflicts: 189000 | #Constraints: 57766 746.83/749.46 c INPROCESSING 746.83/749.46 c GARBAGE COLLECT 746.83/749.46 c #Conflicts: 190000 | #Constraints: 38206 746.83/749.46 c #Conflicts: 191000 | #Constraints: 39206 746.83/749.46 c #Conflicts: 192000 | #Constraints: 40206 746.83/749.46 c #Conflicts: 193000 | #Constraints: 41206 746.83/749.46 c #Conflicts: 194000 | #Constraints: 42206 746.83/749.46 c #Conflicts: 195000 | #Constraints: 43206 746.83/749.46 c #Conflicts: 196000 | #Constraints: 44206 746.83/749.46 c #Conflicts: 197000 | #Constraints: 45206 746.83/749.46 c #Conflicts: 198000 | #Constraints: 46206 746.83/749.46 c #Conflicts: 199000 | #Constraints: 47206 746.83/749.46 c #Conflicts: 200000 | #Constraints: 48206 746.83/749.46 c INPROCESSING 746.83/749.46 c GARBAGE COLLECT 746.83/749.46 c rational objective 134 855.47/858.41 c #Conflicts: 201000 | #Constraints: 33515 855.47/858.41 c #Conflicts: 202000 | #Constraints: 34516 855.47/858.41 c #Conflicts: 203000 | #Constraints: 35516 855.47/858.41 c #Conflicts: 204000 | #Constraints: 36516 855.47/858.41 c #Conflicts: 205000 | #Constraints: 37516 855.47/858.41 c #Conflicts: 206000 | #Constraints: 38516 855.47/858.41 c #Conflicts: 207000 | #Constraints: 39516 855.47/858.41 c #Conflicts: 208000 | #Constraints: 40516 855.47/858.41 c #Conflicts: 209000 | #Constraints: 41516 855.47/858.41 c #Conflicts: 210000 | #Constraints: 42516 855.47/858.41 c #Conflicts: 211000 | #Constraints: 43516 855.47/858.41 c INPROCESSING 855.47/858.41 c GARBAGE COLLECT 855.47/858.41 c rational objective 134 1042.73/1046.33 c #Conflicts: 212000 | #Constraints: 31487 1042.73/1046.33 c #Conflicts: 213000 | #Constraints: 32487 1042.73/1046.33 c #Conflicts: 214000 | #Constraints: 33487 1042.73/1046.33 c #Conflicts: 215000 | #Constraints: 34487 1042.73/1046.33 c #Conflicts: 216000 | #Constraints: 35487 1042.73/1046.33 c #Conflicts: 217000 | #Constraints: 36487 1042.73/1046.33 c #Conflicts: 218000 | #Constraints: 37487 1042.73/1046.33 c #Conflicts: 219000 | #Constraints: 38487 1042.73/1046.33 c #Conflicts: 220000 | #Constraints: 39487 1042.73/1046.33 c #Conflicts: 221000 | #Constraints: 40487 1042.73/1046.33 c #Conflicts: 222000 | #Constraints: 41488 1042.73/1046.33 c #Conflicts: 223000 | #Constraints: 42488 1042.73/1046.33 c #Conflicts: 224000 | #Constraints: 43488 1042.73/1046.33 c #Conflicts: 225000 | #Constraints: 44488 1042.73/1046.33 c #Conflicts: 226000 | #Constraints: 45488 1042.73/1046.33 c #Conflicts: 227000 | #Constraints: 46488 1042.73/1046.33 c #Conflicts: 228000 | #Constraints: 47488 1042.73/1046.33 c #Conflicts: 229000 | #Constraints: 48488 1042.73/1046.33 c #Conflicts: 230000 | #Constraints: 49488 1042.73/1046.33 c #Conflicts: 231000 | #Constraints: 50488 1042.73/1046.33 c #Conflicts: 232000 | #Constraints: 51488 1042.73/1046.33 c #Conflicts: 233000 | #Constraints: 52488 1042.73/1046.33 c #Conflicts: 234000 | #Constraints: 53488 1042.73/1046.33 c #Conflicts: 235000 | #Constraints: 54488 1042.73/1046.33 c #Conflicts: 236000 | #Constraints: 55488 1042.73/1046.33 c #Conflicts: 237000 | #Constraints: 56489 1042.73/1046.33 c #Conflicts: 238000 | #Constraints: 57489 1042.73/1046.33 c #Conflicts: 239000 | #Constraints: 58489 1042.73/1046.33 c #Conflicts: 240000 | #Constraints: 59489 1042.73/1046.33 c #Conflicts: 241000 | #Constraints: 60489 1042.73/1046.33 c #Conflicts: 242000 | #Constraints: 61489 1042.73/1046.33 c #Conflicts: 243000 | #Constraints: 62489 1042.73/1046.33 c #Conflicts: 244000 | #Constraints: 63489 1042.73/1046.33 c #Conflicts: 245000 | #Constraints: 64489 1042.73/1046.33 c INPROCESSING 1042.73/1046.33 c GARBAGE COLLECT 1042.73/1046.33 c #Conflicts: 246000 | #Constraints: 41670 1042.73/1046.33 c #Conflicts: 247000 | #Constraints: 42670 1042.73/1046.33 c #Conflicts: 248000 | #Constraints: 43670 1042.73/1046.33 c #Conflicts: 249000 | #Constraints: 44670 1042.73/1046.33 c #Conflicts: 250000 | #Constraints: 45670 1042.73/1046.33 c #Conflicts: 251000 | #Constraints: 46670 1042.73/1046.33 c #Conflicts: 252000 | #Constraints: 47670 1042.73/1046.33 c #Conflicts: 253000 | #Constraints: 48671 1042.73/1046.33 c #Conflicts: 254000 | #Constraints: 49671 1042.73/1046.33 c #Conflicts: 255000 | #Constraints: 50671 1042.73/1046.33 c #Conflicts: 256000 | #Constraints: 51671 1042.73/1046.33 c #Conflicts: 257000 | #Constraints: 52671 1042.73/1046.33 c INPROCESSING 1042.73/1046.33 c GARBAGE COLLECT 1042.73/1046.33 c #Conflicts: 258000 | #Constraints: 35603 1042.73/1046.33 c #Conflicts: 259000 | #Constraints: 36603 1042.73/1046.33 c #Conflicts: 260000 | #Constraints: 37603 1042.73/1046.33 c #Conflicts: 261000 | #Constraints: 38603 1042.73/1046.33 c #Conflicts: 262000 | #Constraints: 39603 1042.73/1046.33 c #Conflicts: 263000 | #Constraints: 40603 1042.73/1046.33 c #Conflicts: 264000 | #Constraints: 41603 1042.73/1046.33 c #Conflicts: 265000 | #Constraints: 42603 1042.73/1046.33 c #Conflicts: 266000 | #Constraints: 43603 1042.73/1046.33 c #Conflicts: 267000 | #Constraints: 44603 1042.73/1046.33 c #Conflicts: 268000 | #Constraints: 45603 1042.73/1046.33 c #Conflicts: 269000 | #Constraints: 46603 1042.73/1046.33 c #Conflicts: 270000 | #Constraints: 47604 1042.73/1046.33 c INPROCESSING 1042.73/1046.33 c GARBAGE COLLECT 1042.73/1046.33 c rational objective 134 1429.11/1434.02 c #Conflicts: 271000 | #Constraints: 34024 1429.11/1434.02 c #Conflicts: 272000 | #Constraints: 35024 1429.11/1434.02 c #Conflicts: 273000 | #Constraints: 36024 1429.11/1434.02 c #Conflicts: 274000 | #Constraints: 37024 1429.11/1434.02 c #Conflicts: 275000 | #Constraints: 38024 1429.11/1434.02 c #Conflicts: 276000 | #Constraints: 39024 1429.11/1434.02 c #Conflicts: 277000 | #Constraints: 40024 1429.11/1434.02 c #Conflicts: 278000 | #Constraints: 41024 1429.11/1434.02 c #Conflicts: 279000 | #Constraints: 42024 1429.11/1434.02 c #Conflicts: 280000 | #Constraints: 43024 1429.11/1434.02 c #Conflicts: 281000 | #Constraints: 44024 1429.11/1434.02 c #Conflicts: 282000 | #Constraints: 45024 1429.11/1434.02 c #Conflicts: 283000 | #Constraints: 46024 1429.11/1434.02 c #Conflicts: 284000 | #Constraints: 47024 1429.11/1434.02 c #Conflicts: 285000 | #Constraints: 48025 1429.11/1434.02 c #Conflicts: 286000 | #Constraints: 49025 1429.11/1434.02 c #Conflicts: 287000 | #Constraints: 50025 1429.11/1434.02 c #Conflicts: 288000 | #Constraints: 51025 1429.11/1434.02 c #Conflicts: 289000 | #Constraints: 52025 1429.11/1434.02 c #Conflicts: 290000 | #Constraints: 53025 1429.11/1434.02 c #Conflicts: 291000 | #Constraints: 54025 1429.11/1434.02 c #Conflicts: 292000 | #Constraints: 55025 1429.11/1434.02 c #Conflicts: 293000 | #Constraints: 56025 1429.11/1434.02 c #Conflicts: 294000 | #Constraints: 57025 1429.11/1434.02 c #Conflicts: 295000 | #Constraints: 58025 1429.11/1434.02 c #Conflicts: 296000 | #Constraints: 59025 1429.11/1434.02 c #Conflicts: 297000 | #Constraints: 60025 1429.11/1434.02 c #Conflicts: 298000 | #Constraints: 61025 1429.11/1434.02 c #Conflicts: 299000 | #Constraints: 62025 1429.11/1434.02 c #Conflicts: 300000 | #Constraints: 63025 1429.11/1434.02 c #Conflicts: 301000 | #Constraints: 64025 1429.11/1434.02 c #Conflicts: 302000 | #Constraints: 65025 1429.11/1434.02 c #Conflicts: 303000 | #Constraints: 66026 1429.11/1434.02 c #Conflicts: 304000 | #Constraints: 67026 1429.11/1434.02 c #Conflicts: 305000 | #Constraints: 68026 1429.11/1434.02 c #Conflicts: 306000 | #Constraints: 69026 1429.11/1434.02 c #Conflicts: 307000 | #Constraints: 70026 1429.11/1434.02 c #Conflicts: 308000 | #Constraints: 71026 1429.11/1434.02 c INPROCESSING 1429.11/1434.02 c GARBAGE COLLECT 1429.11/1434.02 c #Conflicts: 309000 | #Constraints: 45175 1429.11/1434.02 c #Conflicts: 310000 | #Constraints: 46175 1429.11/1434.02 c #Conflicts: 311000 | #Constraints: 47175 1429.11/1434.02 c #Conflicts: 312000 | #Constraints: 48175 1429.11/1434.02 c #Conflicts: 313000 | #Constraints: 49175 1429.11/1434.02 c #Conflicts: 314000 | #Constraints: 50175 1429.11/1434.02 c #Conflicts: 315000 | #Constraints: 51175 1429.11/1434.02 c #Conflicts: 316000 | #Constraints: 52175 1429.11/1434.02 c #Conflicts: 317000 | #Constraints: 53175 1429.11/1434.02 c #Conflicts: 318000 | #Constraints: 54175 1429.11/1434.02 c #Conflicts: 319000 | #Constraints: 55175 1429.11/1434.02 c #Conflicts: 320000 | #Constraints: 56176 1429.11/1434.02 c #Conflicts: 321000 | #Constraints: 57176 1429.11/1434.02 c INPROCESSING 1429.11/1434.02 c GARBAGE COLLECT 1429.11/1434.02 c #Conflicts: 322000 | #Constraints: 37744 1429.11/1434.02 c #Conflicts: 323000 | #Constraints: 38744 1429.11/1434.02 c #Conflicts: 324000 | #Constraints: 39744 1429.11/1434.02 c #Conflicts: 325000 | #Constraints: 40744 1429.11/1434.02 c #Conflicts: 326000 | #Constraints: 41744 1429.11/1434.02 c #Conflicts: 327000 | #Constraints: 42744 1429.11/1434.02 c #Conflicts: 328000 | #Constraints: 43744 1429.11/1434.02 c #Conflicts: 329000 | #Constraints: 44744 1429.11/1434.02 c #Conflicts: 330000 | #Constraints: 45744 1429.11/1434.02 c #Conflicts: 331000 | #Constraints: 46744 1429.11/1434.02 c #Conflicts: 332000 | #Constraints: 47744 1429.11/1434.02 c #Conflicts: 333000 | #Constraints: 48744 1429.11/1434.02 c #Conflicts: 334000 | #Constraints: 49744 1429.11/1434.02 c #Conflicts: 335000 | #Constraints: 50744 1429.11/1434.02 c #Conflicts: 336000 | #Constraints: 51744 1429.11/1434.02 c INPROCESSING 1429.11/1434.02 c GARBAGE COLLECT 1429.11/1434.02 c #Conflicts: 337000 | #Constraints: 36830 1429.11/1434.02 c #Conflicts: 338000 | #Constraints: 37830 1429.11/1434.02 c #Conflicts: 339000 | #Constraints: 38830 1429.11/1434.02 c #Conflicts: 340000 | #Constraints: 39830 1429.11/1434.02 c #Conflicts: 341000 | #Constraints: 40830 1429.11/1434.02 c #Conflicts: 342000 | #Constraints: 41830 1429.11/1434.02 c #Conflicts: 343000 | #Constraints: 42830 1429.11/1434.02 c #Conflicts: 344000 | #Constraints: 43830 1429.11/1434.02 c #Conflicts: 345000 | #Constraints: 44830 1429.11/1434.02 c #Conflicts: 346000 | #Constraints: 45830 1429.11/1434.02 c #Conflicts: 347000 | #Constraints: 46830 1630.52/1636.17 c #Conflicts: 348000 | #Constraints: 47830 1630.52/1636.17 c #Conflicts: 349000 | #Constraints: 48830 1630.52/1636.17 c #Conflicts: 350000 | #Constraints: 49830 1630.52/1636.17 c #Conflicts: 351000 | #Constraints: 50830 1630.52/1636.17 c #Conflicts: 352000 | #Constraints: 51830 1630.52/1636.17 c #Conflicts: 353000 | #Constraints: 52830 1630.52/1636.17 c #Conflicts: 354000 | #Constraints: 53830 1630.52/1636.17 c #Conflicts: 355000 | #Constraints: 54830 1630.52/1636.17 c #Conflicts: 356000 | #Constraints: 55830 1630.52/1636.17 c #Conflicts: 357000 | #Constraints: 56830 1630.52/1636.17 c #Conflicts: 358000 | #Constraints: 57830 1630.52/1636.17 c #Conflicts: 359000 | #Constraints: 58830 1630.52/1636.17 c #Conflicts: 360000 | #Constraints: 59830 1630.52/1636.17 c #Conflicts: 361000 | #Constraints: 60830 1630.52/1636.17 c #Conflicts: 362000 | #Constraints: 61830 1630.52/1636.17 c #Conflicts: 363000 | #Constraints: 62830 1630.52/1636.17 c #Conflicts: 364000 | #Constraints: 63830 1630.52/1636.17 c #Conflicts: 365000 | #Constraints: 64830 1630.52/1636.17 c #Conflicts: 366000 | #Constraints: 65830 1630.52/1636.17 c #Conflicts: 367000 | #Constraints: 66830 1630.52/1636.17 c #Conflicts: 368000 | #Constraints: 67830 1630.52/1636.17 c #Conflicts: 369000 | #Constraints: 68830 1630.52/1636.17 c #Conflicts: 370000 | #Constraints: 69830 1630.52/1636.17 c #Conflicts: 371000 | #Constraints: 70831 1630.52/1636.17 c #Conflicts: 372000 | #Constraints: 71831 1630.52/1636.17 c #Conflicts: 373000 | #Constraints: 72831 1630.52/1636.17 c #Conflicts: 374000 | #Constraints: 73831 1630.52/1636.17 c #Conflicts: 375000 | #Constraints: 74831 1630.52/1636.17 c #Conflicts: 376000 | #Constraints: 75831 1630.52/1636.17 c #Conflicts: 377000 | #Constraints: 76831 1630.52/1636.17 c #Conflicts: 378000 | #Constraints: 77831 1630.52/1636.17 c INPROCESSING 1630.52/1636.17 c GARBAGE COLLECT 1630.52/1636.17 c #Conflicts: 379000 | #Constraints: 48437 1630.52/1636.17 c #Conflicts: 380000 | #Constraints: 49437 1630.52/1636.17 c #Conflicts: 381000 | #Constraints: 50437 1630.52/1636.17 c #Conflicts: 382000 | #Constraints: 51437 1630.52/1636.17 c #Conflicts: 383000 | #Constraints: 52437 1630.52/1636.17 c #Conflicts: 384000 | #Constraints: 53437 1630.52/1636.17 c #Conflicts: 385000 | #Constraints: 54437 1630.52/1636.17 c #Conflicts: 386000 | #Constraints: 55437 1630.52/1636.17 c #Conflicts: 387000 | #Constraints: 56437 1630.52/1636.17 c #Conflicts: 388000 | #Constraints: 57438 1630.52/1636.17 c #Conflicts: 389000 | #Constraints: 58438 1630.52/1636.17 c #Conflicts: 390000 | #Constraints: 59438 1630.52/1636.17 c #Conflicts: 391000 | #Constraints: 60438 1630.52/1636.17 c #Conflicts: 392000 | #Constraints: 61438 1630.52/1636.17 c #Conflicts: 393000 | #Constraints: 62438 1630.52/1636.17 c INPROCESSING 1630.52/1636.17 c GARBAGE COLLECT 1630.52/1636.17 c #Conflicts: 394000 | #Constraints: 40495 1630.52/1636.17 c #Conflicts: 395000 | #Constraints: 41495 1630.52/1636.17 c #Conflicts: 396000 | #Constraints: 42495 1630.52/1636.17 c #Conflicts: 397000 | #Constraints: 43495 1630.52/1636.17 c #Conflicts: 398000 | #Constraints: 44495 1630.52/1636.17 c #Conflicts: 399000 | #Constraints: 45495 1630.52/1636.17 c #Conflicts: 400000 | #Constraints: 46495 1630.52/1636.17 c #Conflicts: 401000 | #Constraints: 47495 1630.52/1636.17 c #Conflicts: 402000 | #Constraints: 48495 1630.52/1636.17 c #Conflicts: 403000 | #Constraints: 49495 1630.52/1636.17 c #Conflicts: 404000 | #Constraints: 50495 1630.52/1636.17 c #Conflicts: 405000 | #Constraints: 51496 1630.52/1636.17 c #Conflicts: 406000 | #Constraints: 52496 1630.52/1636.17 c #Conflicts: 407000 | #Constraints: 53496 1630.52/1636.17 c #Conflicts: 408000 | #Constraints: 54496 1630.52/1636.17 c #Conflicts: 409000 | #Constraints: 55496 1630.52/1636.17 c INPROCESSING 1630.52/1636.17 c GARBAGE COLLECT 1630.52/1636.17 c rational objective 134 2030.73/2037.76 c #Conflicts: 410000 | #Constraints: 39621 2030.73/2037.76 c #Conflicts: 411000 | #Constraints: 40621 2030.73/2037.76 c #Conflicts: 412000 | #Constraints: 41621 2030.73/2037.76 c #Conflicts: 413000 | #Constraints: 42621 2030.73/2037.76 c #Conflicts: 414000 | #Constraints: 43621 2030.73/2037.76 c #Conflicts: 415000 | #Constraints: 44621 2030.73/2037.76 c #Conflicts: 416000 | #Constraints: 45621 2030.73/2037.76 c #Conflicts: 417000 | #Constraints: 46621 2030.73/2037.76 c #Conflicts: 418000 | #Constraints: 47621 2030.73/2037.76 c #Conflicts: 419000 | #Constraints: 48621 2030.73/2037.76 c #Conflicts: 420000 | #Constraints: 49621 2030.73/2037.76 c #Conflicts: 421000 | #Constraints: 50621 2030.73/2037.76 c #Conflicts: 422000 | #Constraints: 51621 2030.73/2037.76 c #Conflicts: 423000 | #Constraints: 52621 2030.73/2037.76 c #Conflicts: 424000 | #Constraints: 53621 2030.73/2037.76 c #Conflicts: 425000 | #Constraints: 54622 2030.73/2037.76 c #Conflicts: 426000 | #Constraints: 55622 2030.73/2037.76 c #Conflicts: 427000 | #Constraints: 56622 2030.73/2037.76 c #Conflicts: 428000 | #Constraints: 57622 2030.73/2037.76 c #Conflicts: 429000 | #Constraints: 58622 2030.73/2037.76 c #Conflicts: 430000 | #Constraints: 59622 2030.73/2037.76 c #Conflicts: 431000 | #Constraints: 60622 2030.73/2037.76 c #Conflicts: 432000 | #Constraints: 61622 2030.73/2037.76 c #Conflicts: 433000 | #Constraints: 62622 2030.73/2037.76 c #Conflicts: 434000 | #Constraints: 63622 2030.73/2037.76 c #Conflicts: 435000 | #Constraints: 64622 2030.73/2037.76 c #Conflicts: 436000 | #Constraints: 65622 2030.73/2037.76 c #Conflicts: 437000 | #Constraints: 66622 2030.73/2037.76 c #Conflicts: 438000 | #Constraints: 67622 2030.73/2037.76 c #Conflicts: 439000 | #Constraints: 68622 2030.73/2037.76 c #Conflicts: 440000 | #Constraints: 69622 2030.73/2037.76 c #Conflicts: 441000 | #Constraints: 70623 2030.73/2037.76 c #Conflicts: 442000 | #Constraints: 71623 2030.73/2037.76 c #Conflicts: 443000 | #Constraints: 72623 2030.73/2037.76 c #Conflicts: 444000 | #Constraints: 73623 2030.73/2037.76 c #Conflicts: 445000 | #Constraints: 74623 2030.73/2037.76 c #Conflicts: 446000 | #Constraints: 75623 2030.73/2037.76 c #Conflicts: 447000 | #Constraints: 76624 2030.73/2037.76 c #Conflicts: 448000 | #Constraints: 77624 2030.73/2037.76 c #Conflicts: 449000 | #Constraints: 78624 2030.73/2037.76 c #Conflicts: 450000 | #Constraints: 79624 2030.73/2037.76 c #Conflicts: 451000 | #Constraints: 80624 2030.73/2037.76 c #Conflicts: 452000 | #Constraints: 81624 2030.73/2037.76 c #Conflicts: 453000 | #Constraints: 82625 2030.73/2037.76 c #Conflicts: 454000 | #Constraints: 83625 2030.73/2037.76 c #Conflicts: 455000 | #Constraints: 84625 2030.73/2037.76 c INPROCESSING 2030.73/2037.76 c GARBAGE COLLECT 2030.73/2037.76 c rational objective 134 2275.52/2283.39 c #Conflicts: 456000 | #Constraints: 51631 2275.52/2283.39 c #Conflicts: 457000 | #Constraints: 52631 2275.52/2283.39 c #Conflicts: 458000 | #Constraints: 53631 2275.52/2283.39 c #Conflicts: 459000 | #Constraints: 54631 2275.52/2283.39 c #Conflicts: 460000 | #Constraints: 55631 2275.52/2283.39 c #Conflicts: 461000 | #Constraints: 56631 2275.52/2283.39 c #Conflicts: 462000 | #Constraints: 57631 2275.52/2283.39 c #Conflicts: 463000 | #Constraints: 58631 2275.52/2283.39 c #Conflicts: 464000 | #Constraints: 59631 2275.52/2283.39 c #Conflicts: 465000 | #Constraints: 60631 2275.52/2283.39 c #Conflicts: 466000 | #Constraints: 61631 2275.52/2283.39 c #Conflicts: 467000 | #Constraints: 62631 2275.52/2283.39 c #Conflicts: 468000 | #Constraints: 63631 2275.52/2283.39 c #Conflicts: 469000 | #Constraints: 64631 2275.52/2283.39 c #Conflicts: 470000 | #Constraints: 65632 2275.52/2283.39 c #Conflicts: 471000 | #Constraints: 66632 2275.52/2283.39 c #Conflicts: 472000 | #Constraints: 67632 2275.52/2283.39 c INPROCESSING 2275.52/2283.39 c GARBAGE COLLECT 2275.52/2283.39 c #Conflicts: 473000 | #Constraints: 43179 2275.52/2283.39 c #Conflicts: 474000 | #Constraints: 44179 2275.52/2283.39 c #Conflicts: 475000 | #Constraints: 45179 2275.52/2283.39 c #Conflicts: 476000 | #Constraints: 46179 2275.52/2283.39 c #Conflicts: 477000 | #Constraints: 47179 2275.52/2283.39 c #Conflicts: 478000 | #Constraints: 48179 2275.52/2283.39 c #Conflicts: 479000 | #Constraints: 49179 2275.52/2283.39 c #Conflicts: 480000 | #Constraints: 50179 2275.52/2283.39 c #Conflicts: 481000 | #Constraints: 51179 2275.52/2283.39 c #Conflicts: 482000 | #Constraints: 52179 2275.52/2283.39 c #Conflicts: 483000 | #Constraints: 53179 2275.52/2283.39 c #Conflicts: 484000 | #Constraints: 54179 2275.52/2283.39 c #Conflicts: 485000 | #Constraints: 55179 2275.52/2283.39 c #Conflicts: 486000 | #Constraints: 56180 2275.52/2283.39 c #Conflicts: 487000 | #Constraints: 57180 2275.52/2283.39 c #Conflicts: 488000 | #Constraints: 58180 2275.52/2283.39 c #Conflicts: 489000 | #Constraints: 59180 2275.52/2283.39 c INPROCESSING 2275.52/2283.39 c GARBAGE COLLECT 2275.52/2283.39 c #Conflicts: 490000 | #Constraints: 41332 2275.52/2283.39 c #Conflicts: 491000 | #Constraints: 42332 2275.52/2283.39 c #Conflicts: 492000 | #Constraints: 43332 2275.52/2283.39 c #Conflicts: 493000 | #Constraints: 44332 2275.52/2283.39 c #Conflicts: 494000 | #Constraints: 45332 2275.52/2283.39 c #Conflicts: 495000 | #Constraints: 46332 2275.52/2283.39 c #Conflicts: 496000 | #Constraints: 47332 2275.52/2283.39 c #Conflicts: 497000 | #Constraints: 48332 2275.52/2283.39 c #Conflicts: 498000 | #Constraints: 49332 2275.52/2283.39 c #Conflicts: 499000 | #Constraints: 50332 2275.52/2283.39 c #Conflicts: 500000 | #Constraints: 51332 2275.52/2283.39 c #Conflicts: 501000 | #Constraints: 52332 2275.52/2283.39 c #Conflicts: 502000 | #Constraints: 53332 2275.52/2283.39 c #Conflicts: 503000 | #Constraints: 54332 2275.52/2283.39 c #Conflicts: 504000 | #Constraints: 55332 2275.52/2283.39 c #Conflicts: 505000 | #Constraints: 56333 2275.52/2283.39 c #Conflicts: 506000 | #Constraints: 57333 2275.52/2283.39 c #Conflicts: 507000 | #Constraints: 58333 2275.52/2283.39 c #Conflicts: 508000 | #Constraints: 59333 2275.52/2283.39 c #Conflicts: 509000 | #Constraints: 60333 2275.52/2283.39 c #Conflicts: 510000 | #Constraints: 61333 2275.52/2283.39 c #Conflicts: 511000 | #Constraints: 62333 2275.52/2283.39 c #Conflicts: 512000 | #Constraints: 63333 2275.52/2283.39 c #Conflicts: 513000 | #Constraints: 64333 2275.52/2283.39 c #Conflicts: 514000 | #Constraints: 65333 2275.52/2283.39 c #Conflicts: 515000 | #Constraints: 66333 2275.52/2283.39 c #Conflicts: 516000 | #Constraints: 67333 2275.52/2283.39 c #Conflicts: 517000 | #Constraints: 68333 2275.52/2283.39 c #Conflicts: 518000 | #Constraints: 69333 2275.52/2283.39 c #Conflicts: 519000 | #Constraints: 70333 2275.52/2283.39 c #Conflicts: 520000 | #Constraints: 71333 2275.52/2283.39 c #Conflicts: 521000 | #Constraints: 72333 2275.52/2283.39 c #Conflicts: 522000 | #Constraints: 73333 2275.52/2283.39 c #Conflicts: 523000 | #Constraints: 74333 2275.52/2283.39 c #Conflicts: 524000 | #Constraints: 75333 2275.52/2283.39 c #Conflicts: 525000 | #Constraints: 76334 2275.52/2283.39 c #Conflicts: 526000 | #Constraints: 77334 2275.52/2283.39 c #Conflicts: 527000 | #Constraints: 78334 2275.52/2283.39 c #Conflicts: 528000 | #Constraints: 79334 2275.52/2283.39 c #Conflicts: 529000 | #Constraints: 80334 2275.52/2283.39 c #Conflicts: 530000 | #Constraints: 81334 2275.52/2283.39 c #Conflicts: 531000 | #Constraints: 82334 2275.52/2283.39 c #Conflicts: 532000 | #Constraints: 83334 2275.52/2283.39 c #Conflicts: 533000 | #Constraints: 84334 2444.95/2453.31 c #Conflicts: 534000 | #Constraints: 85334 2444.95/2453.31 c #Conflicts: 535000 | #Constraints: 86334 2444.95/2453.31 c #Conflicts: 536000 | #Constraints: 87334 2444.95/2453.31 c #Conflicts: 537000 | #Constraints: 88334 2444.95/2453.31 c #Conflicts: 538000 | #Constraints: 89334 2444.95/2453.31 c #Conflicts: 539000 | #Constraints: 90334 2444.95/2453.31 c #Conflicts: 540000 | #Constraints: 91335 2444.95/2453.31 c INPROCESSING 2444.95/2453.31 c GARBAGE COLLECT 2444.95/2453.31 c #Conflicts: 541000 | #Constraints: 55455 2444.95/2453.31 c #Conflicts: 542000 | #Constraints: 56455 2444.95/2453.31 c #Conflicts: 543000 | #Constraints: 57455 2444.95/2453.31 c #Conflicts: 544000 | #Constraints: 58455 2444.95/2453.31 c #Conflicts: 545000 | #Constraints: 59455 2444.95/2453.31 c #Conflicts: 546000 | #Constraints: 60455 2444.95/2453.31 c #Conflicts: 547000 | #Constraints: 61455 2444.95/2453.31 c #Conflicts: 548000 | #Constraints: 62455 2444.95/2453.31 c #Conflicts: 549000 | #Constraints: 63455 2444.95/2453.31 c #Conflicts: 550000 | #Constraints: 64455 2444.95/2453.31 c #Conflicts: 551000 | #Constraints: 65455 2444.95/2453.31 c #Conflicts: 552000 | #Constraints: 66455 2444.95/2453.31 c #Conflicts: 553000 | #Constraints: 67455 2444.95/2453.31 c #Conflicts: 554000 | #Constraints: 68455 2444.95/2453.31 c #Conflicts: 555000 | #Constraints: 69455 2444.95/2453.31 c #Conflicts: 556000 | #Constraints: 70455 2444.95/2453.31 c #Conflicts: 557000 | #Constraints: 71455 2444.95/2453.31 c #Conflicts: 558000 | #Constraints: 72455 2444.95/2453.31 c INPROCESSING 2444.95/2453.31 c GARBAGE COLLECT 2444.95/2453.31 c #Conflicts: 559000 | #Constraints: 45633 2444.95/2453.31 c #Conflicts: 560000 | #Constraints: 46633 2444.95/2453.31 c #Conflicts: 561000 | #Constraints: 47633 2444.95/2453.31 c #Conflicts: 562000 | #Constraints: 48633 2444.95/2453.31 c #Conflicts: 563000 | #Constraints: 49633 2444.95/2453.31 c #Conflicts: 564000 | #Constraints: 50633 2444.95/2453.31 c #Conflicts: 565000 | #Constraints: 51633 2444.95/2453.31 c #Conflicts: 566000 | #Constraints: 52633 2444.95/2453.31 c #Conflicts: 567000 | #Constraints: 53633 2444.95/2453.31 c #Conflicts: 568000 | #Constraints: 54633 2444.95/2453.31 c #Conflicts: 569000 | #Constraints: 55633 2444.95/2453.31 c #Conflicts: 570000 | #Constraints: 56633 2444.95/2453.31 c #Conflicts: 571000 | #Constraints: 57634 2444.95/2453.31 c #Conflicts: 572000 | #Constraints: 58634 2444.95/2453.31 c #Conflicts: 573000 | #Constraints: 59634 2444.95/2453.31 c #Conflicts: 574000 | #Constraints: 60634 2444.95/2453.31 c #Conflicts: 575000 | #Constraints: 61634 2444.95/2453.31 c #Conflicts: 576000 | #Constraints: 62634 2444.95/2453.31 c #Conflicts: 577000 | #Constraints: 63634 2444.95/2453.31 c INPROCESSING 2444.95/2453.31 c GARBAGE COLLECT 2444.95/2453.31 c #Conflicts: 578000 | #Constraints: 44672 2444.95/2453.31 c #Conflicts: 579000 | #Constraints: 45673 2444.95/2453.31 c #Conflicts: 580000 | #Constraints: 46673 2444.95/2453.31 c #Conflicts: 581000 | #Constraints: 47673 2444.95/2453.31 c #Conflicts: 582000 | #Constraints: 48673 2444.95/2453.31 c #Conflicts: 583000 | #Constraints: 49673 2444.95/2453.31 c #Conflicts: 584000 | #Constraints: 50674 2444.95/2453.31 c #Conflicts: 585000 | #Constraints: 51674 2444.95/2453.31 c #Conflicts: 586000 | #Constraints: 52675 2444.95/2453.31 c #Conflicts: 587000 | #Constraints: 53675 2444.95/2453.31 c #Conflicts: 588000 | #Constraints: 54675 2444.95/2453.31 c #Conflicts: 589000 | #Constraints: 55675 2444.95/2453.31 c #Conflicts: 590000 | #Constraints: 56676 2444.95/2453.31 c #Conflicts: 591000 | #Constraints: 57676 2444.95/2453.31 c #Conflicts: 592000 | #Constraints: 58676 2444.95/2453.31 c #Conflicts: 593000 | #Constraints: 59676 2444.95/2453.31 c #Conflicts: 594000 | #Constraints: 60676 2444.95/2453.31 c #Conflicts: 595000 | #Constraints: 61676 2444.95/2453.31 c #Conflicts: 596000 | #Constraints: 62677 2444.95/2453.31 c #Conflicts: 597000 | #Constraints: 63677 2444.95/2453.31 c #Conflicts: 598000 | #Constraints: 64677 2444.95/2453.31 c #Conflicts: 599000 | #Constraints: 65677 2444.95/2453.31 c #Conflicts: 600000 | #Constraints: 66677 2444.95/2453.31 c #Conflicts: 601000 | #Constraints: 67677 2444.95/2453.31 c #Conflicts: 602000 | #Constraints: 68677 2444.95/2453.31 c #Conflicts: 603000 | #Constraints: 69677 2444.95/2453.31 c #Conflicts: 604000 | #Constraints: 70677 2444.95/2453.31 c #Conflicts: 605000 | #Constraints: 71677 2444.95/2453.31 c #Conflicts: 606000 | #Constraints: 72677 2444.95/2453.31 c #Conflicts: 607000 | #Constraints: 73677 2444.95/2453.31 c #Conflicts: 608000 | #Constraints: 74677 2444.95/2453.31 c #Conflicts: 609000 | #Constraints: 75677 2444.95/2453.31 c #Conflicts: 610000 | #Constraints: 76677 2579.32/2588.12 c #Conflicts: 611000 | #Constraints: 77678 2579.32/2588.12 c #Conflicts: 612000 | #Constraints: 78678 2579.32/2588.12 c #Conflicts: 613000 | #Constraints: 79678 2579.32/2588.12 c #Conflicts: 614000 | #Constraints: 80678 2579.32/2588.12 c #Conflicts: 615000 | #Constraints: 81678 2579.32/2588.12 c #Conflicts: 616000 | #Constraints: 82678 2579.32/2588.12 c #Conflicts: 617000 | #Constraints: 83678 2579.32/2588.12 c #Conflicts: 618000 | #Constraints: 84678 2579.32/2588.12 c #Conflicts: 619000 | #Constraints: 85678 2579.32/2588.12 c #Conflicts: 620000 | #Constraints: 86678 2579.32/2588.12 c #Conflicts: 621000 | #Constraints: 87678 2579.32/2588.12 c #Conflicts: 622000 | #Constraints: 88678 2579.32/2588.12 c #Conflicts: 623000 | #Constraints: 89678 2579.32/2588.12 c #Conflicts: 624000 | #Constraints: 90678 2579.32/2588.12 c #Conflicts: 625000 | #Constraints: 91678 2579.32/2588.12 c #Conflicts: 626000 | #Constraints: 92678 2579.32/2588.12 c #Conflicts: 627000 | #Constraints: 93678 2579.32/2588.12 c #Conflicts: 628000 | #Constraints: 94679 2579.32/2588.12 c #Conflicts: 629000 | #Constraints: 95679 2579.32/2588.12 c #Conflicts: 630000 | #Constraints: 96679 2579.32/2588.12 c #Conflicts: 631000 | #Constraints: 97679 2579.32/2588.12 c #Conflicts: 632000 | #Constraints: 98680 2579.32/2588.12 c INPROCESSING 2579.32/2588.12 c GARBAGE COLLECT 2579.32/2588.12 c rational objective 134 2702.28/2711.46 c #Conflicts: 633000 | #Constraints: 59129 2702.28/2711.46 c #Conflicts: 634000 | #Constraints: 60129 2702.28/2711.46 c #Conflicts: 635000 | #Constraints: 61129 2702.28/2711.46 c #Conflicts: 636000 | #Constraints: 62130 2702.28/2711.46 c #Conflicts: 637000 | #Constraints: 63131 2702.28/2711.46 c #Conflicts: 638000 | #Constraints: 64131 2702.28/2711.46 c #Conflicts: 639000 | #Constraints: 65131 2702.28/2711.46 c #Conflicts: 640000 | #Constraints: 66132 2702.28/2711.46 c #Conflicts: 641000 | #Constraints: 67132 2702.28/2711.46 c #Conflicts: 642000 | #Constraints: 68132 2702.28/2711.46 c #Conflicts: 643000 | #Constraints: 69132 2702.28/2711.46 c #Conflicts: 644000 | #Constraints: 70132 2702.28/2711.46 c #Conflicts: 645000 | #Constraints: 71132 2702.28/2711.46 c #Conflicts: 646000 | #Constraints: 72132 2702.28/2711.46 c #Conflicts: 647000 | #Constraints: 73132 2702.28/2711.46 c #Conflicts: 648000 | #Constraints: 74132 2702.28/2711.46 c #Conflicts: 649000 | #Constraints: 75133 2702.28/2711.46 c #Conflicts: 650000 | #Constraints: 76133 2702.28/2711.46 c #Conflicts: 651000 | #Constraints: 77133 2702.28/2711.46 c INPROCESSING 2702.28/2711.46 c GARBAGE COLLECT 2702.28/2711.46 c rational objective 134 2898.29/2908.01 c #Conflicts: 652000 | #Constraints: 47911 2898.29/2908.01 c #Conflicts: 653000 | #Constraints: 48911 2898.29/2908.01 c #Conflicts: 654000 | #Constraints: 49911 2898.29/2908.01 c #Conflicts: 655000 | #Constraints: 50911 2898.29/2908.01 c #Conflicts: 656000 | #Constraints: 51911 2898.29/2908.01 c #Conflicts: 657000 | #Constraints: 52911 2898.29/2908.01 c #Conflicts: 658000 | #Constraints: 53911 2898.29/2908.01 c #Conflicts: 659000 | #Constraints: 54911 2898.29/2908.01 c #Conflicts: 660000 | #Constraints: 55911 2898.29/2908.01 c #Conflicts: 661000 | #Constraints: 56911 2898.29/2908.01 c #Conflicts: 662000 | #Constraints: 57911 2898.29/2908.01 c #Conflicts: 663000 | #Constraints: 58911 2898.29/2908.01 c #Conflicts: 664000 | #Constraints: 59911 2898.29/2908.01 c #Conflicts: 665000 | #Constraints: 60911 2898.29/2908.01 c #Conflicts: 666000 | #Constraints: 61912 2898.29/2908.01 c #Conflicts: 667000 | #Constraints: 62913 2898.29/2908.01 c #Conflicts: 668000 | #Constraints: 63913 2898.29/2908.01 c #Conflicts: 669000 | #Constraints: 64913 2898.29/2908.01 c #Conflicts: 670000 | #Constraints: 65913 2898.29/2908.01 c #Conflicts: 671000 | #Constraints: 66913 2898.29/2908.01 c #Conflicts: 672000 | #Constraints: 67913 2898.29/2908.01 c #Conflicts: 673000 | #Constraints: 68913 2898.29/2908.01 c #Conflicts: 674000 | #Constraints: 69914 2898.29/2908.01 c #Conflicts: 675000 | #Constraints: 70914 2898.29/2908.01 c #Conflicts: 676000 | #Constraints: 71914 2898.29/2908.01 c #Conflicts: 677000 | #Constraints: 72914 2898.29/2908.01 c #Conflicts: 678000 | #Constraints: 73914 2898.29/2908.01 c #Conflicts: 679000 | #Constraints: 74915 2898.29/2908.01 c #Conflicts: 680000 | #Constraints: 75915 2898.29/2908.01 c #Conflicts: 681000 | #Constraints: 76915 2898.29/2908.01 c #Conflicts: 682000 | #Constraints: 77915 2898.29/2908.01 c #Conflicts: 683000 | #Constraints: 78915 2898.29/2908.01 c #Conflicts: 684000 | #Constraints: 79915 2898.29/2908.01 c #Conflicts: 685000 | #Constraints: 80915 2898.29/2908.01 c #Conflicts: 686000 | #Constraints: 81915 2898.29/2908.01 c #Conflicts: 687000 | #Constraints: 82915 2898.29/2908.01 c #Conflicts: 688000 | #Constraints: 83915 2898.29/2908.01 c #Conflicts: 689000 | #Constraints: 84915 2898.29/2908.01 c #Conflicts: 690000 | #Constraints: 85915 2898.29/2908.01 c #Conflicts: 691000 | #Constraints: 86915 2898.29/2908.01 c #Conflicts: 692000 | #Constraints: 87915 2898.29/2908.01 c #Conflicts: 693000 | #Constraints: 88915 2898.29/2908.01 c #Conflicts: 694000 | #Constraints: 89915 2898.29/2908.01 c #Conflicts: 695000 | #Constraints: 90916 2898.29/2908.01 c #Conflicts: 696000 | #Constraints: 91916 2898.29/2908.01 c #Conflicts: 697000 | #Constraints: 92916 2898.29/2908.01 c #Conflicts: 698000 | #Constraints: 93916 2898.29/2908.01 c #Conflicts: 699000 | #Constraints: 94916 2898.29/2908.01 c #Conflicts: 700000 | #Constraints: 95917 2898.29/2908.01 c #Conflicts: 701000 | #Constraints: 96917 2898.29/2908.01 c #Conflicts: 702000 | #Constraints: 97917 2898.29/2908.01 c #Conflicts: 703000 | #Constraints: 98917 2898.29/2908.01 c #Conflicts: 704000 | #Constraints: 99918 2898.29/2908.01 c #Conflicts: 705000 | #Constraints: 100918 2898.29/2908.01 c #Conflicts: 706000 | #Constraints: 101918 2898.29/2908.01 c #Conflicts: 707000 | #Constraints: 102918 2898.29/2908.01 c #Conflicts: 708000 | #Constraints: 103919 2898.29/2908.01 c #Conflicts: 709000 | #Constraints: 104919 2898.29/2908.01 c INPROCESSING 2898.29/2908.01 c GARBAGE COLLECT 2898.29/2908.01 c rational objective 134 3029.26/3039.46 c #Conflicts: 710000 | #Constraints: 61773 3029.26/3039.46 c #Conflicts: 711000 | #Constraints: 62773 3029.26/3039.46 c #Conflicts: 712000 | #Constraints: 63773 3029.26/3039.46 c #Conflicts: 713000 | #Constraints: 64774 3029.26/3039.46 c #Conflicts: 714000 | #Constraints: 65774 3029.26/3039.46 c #Conflicts: 715000 | #Constraints: 66774 3029.26/3039.46 c #Conflicts: 716000 | #Constraints: 67774 3029.26/3039.46 c #Conflicts: 717000 | #Constraints: 68774 3029.26/3039.46 c #Conflicts: 718000 | #Constraints: 69774 3029.26/3039.46 c #Conflicts: 719000 | #Constraints: 70774 3029.26/3039.46 c #Conflicts: 720000 | #Constraints: 71774 3029.26/3039.46 c #Conflicts: 721000 | #Constraints: 72774 3029.26/3039.46 c #Conflicts: 722000 | #Constraints: 73774 3029.26/3039.46 c #Conflicts: 723000 | #Constraints: 74774 3029.26/3039.46 c #Conflicts: 724000 | #Constraints: 75774 3029.26/3039.46 c #Conflicts: 725000 | #Constraints: 76774 3029.26/3039.46 c #Conflicts: 726000 | #Constraints: 77774 3029.26/3039.46 c #Conflicts: 727000 | #Constraints: 78774 3029.26/3039.46 c #Conflicts: 728000 | #Constraints: 79774 3029.26/3039.46 c #Conflicts: 729000 | #Constraints: 80774 3029.26/3039.46 c #Conflicts: 730000 | #Constraints: 81774 3029.26/3039.46 c #Conflicts: 731000 | #Constraints: 82774 3029.26/3039.46 c INPROCESSING 3029.26/3039.46 c GARBAGE COLLECT 3029.26/3039.46 c rational objective 134 3247.93/3258.81 c #Conflicts: 732000 | #Constraints: 51239 3247.93/3258.81 c #Conflicts: 733000 | #Constraints: 52239 3247.93/3258.81 c #Conflicts: 734000 | #Constraints: 53239 3247.93/3258.81 c #Conflicts: 735000 | #Constraints: 54239 3247.93/3258.81 c #Conflicts: 736000 | #Constraints: 55239 3247.93/3258.81 c #Conflicts: 737000 | #Constraints: 56239 3247.93/3258.81 c #Conflicts: 738000 | #Constraints: 57239 3247.93/3258.81 c #Conflicts: 739000 | #Constraints: 58239 3247.93/3258.81 c #Conflicts: 740000 | #Constraints: 59239 3247.93/3258.81 c #Conflicts: 741000 | #Constraints: 60239 3247.93/3258.81 c #Conflicts: 742000 | #Constraints: 61239 3247.93/3258.81 c #Conflicts: 743000 | #Constraints: 62239 3247.93/3258.81 c #Conflicts: 744000 | #Constraints: 63239 3247.93/3258.81 c #Conflicts: 745000 | #Constraints: 64239 3247.93/3258.81 c #Conflicts: 746000 | #Constraints: 65239 3247.93/3258.81 c #Conflicts: 747000 | #Constraints: 66240 3247.93/3258.81 c #Conflicts: 748000 | #Constraints: 67240 3247.93/3258.81 c #Conflicts: 749000 | #Constraints: 68240 3247.93/3258.81 c #Conflicts: 750000 | #Constraints: 69240 3247.93/3258.81 c #Conflicts: 751000 | #Constraints: 70240 3247.93/3258.81 c #Conflicts: 752000 | #Constraints: 71240 3247.93/3258.81 c #Conflicts: 753000 | #Constraints: 72240 3247.93/3258.81 c #Conflicts: 754000 | #Constraints: 73240 3247.93/3258.81 c #Conflicts: 755000 | #Constraints: 74240 3247.93/3258.81 c #Conflicts: 756000 | #Constraints: 75240 3247.93/3258.81 c #Conflicts: 757000 | #Constraints: 76240 3247.93/3258.81 c #Conflicts: 758000 | #Constraints: 77240 3247.93/3258.81 c #Conflicts: 759000 | #Constraints: 78240 3247.93/3258.81 c #Conflicts: 760000 | #Constraints: 79241 3247.93/3258.81 c #Conflicts: 761000 | #Constraints: 80241 3247.93/3258.81 c #Conflicts: 762000 | #Constraints: 81241 3247.93/3258.81 c #Conflicts: 763000 | #Constraints: 82241 3247.93/3258.81 c #Conflicts: 764000 | #Constraints: 83241 3247.93/3258.81 c #Conflicts: 765000 | #Constraints: 84241 3247.93/3258.81 c #Conflicts: 766000 | #Constraints: 85241 3247.93/3258.81 c #Conflicts: 767000 | #Constraints: 86242 3247.93/3258.81 c #Conflicts: 768000 | #Constraints: 87242 3247.93/3258.81 c #Conflicts: 769000 | #Constraints: 88242 3247.93/3258.81 c #Conflicts: 770000 | #Constraints: 89242 3247.93/3258.81 c #Conflicts: 771000 | #Constraints: 90242 3247.93/3258.81 c #Conflicts: 772000 | #Constraints: 91242 3247.93/3258.81 c #Conflicts: 773000 | #Constraints: 92242 3247.93/3258.81 c #Conflicts: 774000 | #Constraints: 93242 3247.93/3258.81 c #Conflicts: 775000 | #Constraints: 94242 3247.93/3258.81 c #Conflicts: 776000 | #Constraints: 95242 3247.93/3258.81 c #Conflicts: 777000 | #Constraints: 96242 3247.93/3258.81 c #Conflicts: 778000 | #Constraints: 97242 3247.93/3258.81 c #Conflicts: 779000 | #Constraints: 98242 3247.93/3258.81 c #Conflicts: 780000 | #Constraints: 99242 3247.93/3258.81 c #Conflicts: 781000 | #Constraints: 100242 3247.93/3258.81 c #Conflicts: 782000 | #Constraints: 101242 3247.93/3258.81 c #Conflicts: 783000 | #Constraints: 102242 3247.93/3258.81 c #Conflicts: 784000 | #Constraints: 103242 3247.93/3258.81 c #Conflicts: 785000 | #Constraints: 104242 3247.93/3258.81 c #Conflicts: 786000 | #Constraints: 105242 3247.93/3258.81 c #Conflicts: 787000 | #Constraints: 106242 3247.93/3258.81 c #Conflicts: 788000 | #Constraints: 107242 3247.93/3258.81 c #Conflicts: 789000 | #Constraints: 108242 3247.93/3258.81 c #Conflicts: 790000 | #Constraints: 109242 3247.93/3258.81 c #Conflicts: 791000 | #Constraints: 110242 3247.93/3258.81 c #Conflicts: 792000 | #Constraints: 111242 3247.93/3258.81 c INPROCESSING 3247.93/3258.81 c GARBAGE COLLECT 3247.93/3258.81 c rational objective 134 3335.85/3347.00 c #Conflicts: 793000 | #Constraints: 65560 3335.85/3347.00 c #Conflicts: 794000 | #Constraints: 66560 3335.85/3347.00 c #Conflicts: 795000 | #Constraints: 67560 3335.85/3347.00 c #Conflicts: 796000 | #Constraints: 68560 3335.85/3347.00 c #Conflicts: 797000 | #Constraints: 69560 3335.85/3347.00 c #Conflicts: 798000 | #Constraints: 70560 3335.85/3347.00 c #Conflicts: 799000 | #Constraints: 71560 3335.85/3347.00 c #Conflicts: 800000 | #Constraints: 72560 3335.85/3347.00 c #Conflicts: 801000 | #Constraints: 73560 3335.85/3347.00 c #Conflicts: 802000 | #Constraints: 74560 3335.85/3347.00 c #Conflicts: 803000 | #Constraints: 75561 3335.85/3347.00 c #Conflicts: 804000 | #Constraints: 76562 3335.85/3347.00 c #Conflicts: 805000 | #Constraints: 77562 3335.85/3347.00 c #Conflicts: 806000 | #Constraints: 78562 3335.85/3347.00 c #Conflicts: 807000 | #Constraints: 79562 3335.85/3347.00 c #Conflicts: 808000 | #Constraints: 80562 3335.85/3347.00 c #Conflicts: 809000 | #Constraints: 81562 3335.85/3347.00 c #Conflicts: 810000 | #Constraints: 82562 3335.85/3347.00 c #Conflicts: 811000 | #Constraints: 83562 3335.85/3347.00 c #Conflicts: 812000 | #Constraints: 84562 3335.85/3347.00 c #Conflicts: 813000 | #Constraints: 85562 3335.85/3347.00 c #Conflicts: 814000 | #Constraints: 86562 3335.85/3347.00 c INPROCESSING 3335.85/3347.00 c GARBAGE COLLECT 3335.85/3347.00 c rational objective 134 3550.54/3562.49 c #Conflicts: 815000 | #Constraints: 52982 3550.54/3562.49 c #Conflicts: 816000 | #Constraints: 53982 3550.54/3562.49 c #Conflicts: 817000 | #Constraints: 54982 3550.54/3562.49 c #Conflicts: 818000 | #Constraints: 55982 3550.54/3562.49 c #Conflicts: 819000 | #Constraints: 56982 3550.54/3562.49 c #Conflicts: 820000 | #Constraints: 57983 3550.54/3562.49 c #Conflicts: 821000 | #Constraints: 58983 3550.54/3562.49 c #Conflicts: 822000 | #Constraints: 59983 3550.54/3562.49 c #Conflicts: 823000 | #Constraints: 60983 3550.54/3562.49 c #Conflicts: 824000 | #Constraints: 61983 3550.54/3562.49 c #Conflicts: 825000 | #Constraints: 62983 3550.54/3562.49 c #Conflicts: 826000 | #Constraints: 63983 3550.54/3562.49 c #Conflicts: 827000 | #Constraints: 64983 3550.54/3562.49 c #Conflicts: 828000 | #Constraints: 65983 3550.54/3562.49 c #Conflicts: 829000 | #Constraints: 66984 3550.54/3562.49 c #Conflicts: 830000 | #Constraints: 67984 3550.54/3562.49 c #Conflicts: 831000 | #Constraints: 68984 3550.54/3562.49 c #Conflicts: 832000 | #Constraints: 69984 3550.54/3562.49 c #Conflicts: 833000 | #Constraints: 70984 3550.54/3562.49 c #Conflicts: 834000 | #Constraints: 71984 3550.54/3562.49 c #Conflicts: 835000 | #Constraints: 72984 3550.54/3562.49 c #Conflicts: 836000 | #Constraints: 73984 3550.54/3562.49 c #Conflicts: 837000 | #Constraints: 74984 3550.54/3562.49 c #Conflicts: 838000 | #Constraints: 75984 3550.54/3562.49 c #Conflicts: 839000 | #Constraints: 76984 3550.54/3562.49 c #Conflicts: 840000 | #Constraints: 77984 3550.54/3562.49 c #Conflicts: 841000 | #Constraints: 78984 3550.54/3562.49 c #Conflicts: 842000 | #Constraints: 79984 3550.54/3562.49 c #Conflicts: 843000 | #Constraints: 80984 3550.54/3562.49 c #Conflicts: 844000 | #Constraints: 81984 3550.54/3562.49 c #Conflicts: 845000 | #Constraints: 82984 3550.54/3562.49 c #Conflicts: 846000 | #Constraints: 83984 3550.54/3562.49 c #Conflicts: 847000 | #Constraints: 84984 3550.54/3562.49 c #Conflicts: 848000 | #Constraints: 85984 3550.54/3562.49 c #Conflicts: 849000 | #Constraints: 86984 3550.54/3562.49 c #Conflicts: 850000 | #Constraints: 87985 3550.54/3562.49 c #Conflicts: 851000 | #Constraints: 88985 3550.54/3562.49 c #Conflicts: 852000 | #Constraints: 89985 3550.54/3562.49 c #Conflicts: 853000 | #Constraints: 90985 3550.54/3562.49 c #Conflicts: 854000 | #Constraints: 91985 3550.54/3562.49 c #Conflicts: 855000 | #Constraints: 92985 3550.54/3562.49 c #Conflicts: 856000 | #Constraints: 93985 3550.54/3562.49 c #Conflicts: 857000 | #Constraints: 94986 3550.54/3562.49 c #Conflicts: 858000 | #Constraints: 95986 3550.54/3562.49 c #Conflicts: 859000 | #Constraints: 96986 3550.54/3562.49 c #Conflicts: 860000 | #Constraints: 97986 3550.54/3562.49 c #Conflicts: 861000 | #Constraints: 98986 3550.54/3562.49 c #Conflicts: 862000 | #Constraints: 99986 3550.54/3562.49 c #Conflicts: 863000 | #Constraints: 100986 3550.54/3562.49 c #Conflicts: 864000 | #Constraints: 101986 3550.54/3562.49 c #Conflicts: 865000 | #Constraints: 102986 3550.54/3562.49 c #Conflicts: 866000 | #Constraints: 103986 3550.54/3562.49 c #Conflicts: 867000 | #Constraints: 104986 3550.54/3562.49 c #Conflicts: 868000 | #Constraints: 105986 3550.54/3562.49 c #Conflicts: 869000 | #Constraints: 106986 3550.54/3562.49 c #Conflicts: 870000 | #Constraints: 107986 3550.54/3562.49 c #Conflicts: 871000 | #Constraints: 108986 3550.54/3562.49 c #Conflicts: 872000 | #Constraints: 109986 3550.54/3562.49 c #Conflicts: 873000 | #Constraints: 110986 3550.54/3562.49 c #Conflicts: 874000 | #Constraints: 111986 3550.54/3562.49 c #Conflicts: 875000 | #Constraints: 112986 3550.54/3562.49 c #Conflicts: 876000 | #Constraints: 113987 3550.54/3562.49 c #Conflicts: 877000 | #Constraints: 114987 3550.54/3562.49 c #Conflicts: 878000 | #Constraints: 115987 3550.54/3562.49 c INPROCESSING 3550.54/3562.49 c GARBAGE COLLECT 3550.54/3562.49 c rational objective 134 3600.08/3612.10 c #Conflicts: 879000 | #Constraints: 67654 3600.08/3612.10 c #Conflicts: 880000 | #Constraints: 68654 3600.08/3612.10 c #Conflicts: 881000 | #Constraints: 69654 3600.08/3612.10 c #Conflicts: 882000 | #Constraints: 70654 3600.08/3612.10 c #Conflicts: 883000 | #Constraints: 71654 3600.08/3612.10 c #Conflicts: 884000 | #Constraints: 72655 3600.08/3612.10 c #Conflicts: 885000 | #Constraints: 73655 3600.08/3612.10 c #Conflicts: 886000 | #Constraints: 74655 3600.08/3612.10 c #Conflicts: 887000 | #Constraints: 75655 3600.08/3612.10 c #Conflicts: 888000 | #Constraints: 76655 3600.08/3612.10 c #Conflicts: 889000 | #Constraints: 77655 3600.08/3612.10 c #Conflicts: 890000 | #Constraints: 78655 3600.08/3612.10 c #Conflicts: 891000 | #Constraints: 79655 3600.08/3612.10 c #Conflicts: 892000 | #Constraints: 80655 3600.08/3612.10 c #Conflicts: 893000 | #Constraints: 81655 3600.08/3612.10 c #Conflicts: 894000 | #Constraints: 82655 3600.08/3612.10 c #Conflicts: 895000 | #Constraints: 83655 3600.08/3612.10 c #Conflicts: 896000 | #Constraints: 84655 3600.08/3612.10 c Program interrupted by user. 3600.08/3612.37 c cpu time 3566.64 s 3600.08/3612.37 c deterministic time 200089359167 2.00e+11 3600.08/3612.37 c optimization time 48.7382 s 3600.08/3612.37 c total solve time 3517.84 s 3600.08/3612.37 c core-guided solve time 0 s 3600.08/3612.37 c propagation time 1742.99 s 3600.08/3612.37 c conflict analysis time 634.274 s 3600.08/3612.37 c propagations 661862218 3600.08/3612.37 c resolve steps 43636809 3600.08/3612.37 c decisions 12922714 3600.08/3612.37 c conflicts 896380 3600.08/3612.37 c restarts 1943 3600.08/3612.37 c inprocessing phases 46 3600.08/3612.37 c input clauses 16082 3600.08/3612.37 c input cardinalities 134 3600.08/3612.37 c input general constraints 0 3600.08/3612.37 c input average constraint length 6.43 3600.08/3612.37 c input average constraint degree 1.97 3600.08/3612.37 c learned clauses 581328 3600.08/3612.37 c learned cardinalities 34049 3600.08/3612.37 c learned general constraints 281068 3600.08/3612.37 c learned average constraint length 1057.60 3600.08/3612.37 c learned average constraint degree 646725141.88 3600.08/3612.37 c watched constraints 217852 3600.08/3612.37 c counting constraints 63216 3600.08/3612.37 c gcd simplifications 4789 3600.08/3612.37 c detected cardinalities 3730 3600.08/3612.37 c weakened non-implied lits 221852586 3600.08/3612.37 c weakened non-implying lits 444511 3600.08/3612.37 c original variables 15946 3600.08/3612.37 c clausal propagations 285716017 3600.08/3612.37 c cardinality propagations 228647169 3600.08/3612.37 c watched propagations 44873373 3600.08/3612.37 c counting propagations 94932574 3600.08/3612.37 c watch lookups 12223508448 3600.08/3612.37 c watch backjump lookups 9847710790 3600.08/3612.37 c watch checks 134494294132 3600.08/3612.37 c propagation checks 38838267596 3600.08/3612.37 c constraint additions 3333408933 3600.08/3612.37 c trail pops 675668566 3600.08/3612.37 c formula constraints 16216 3600.08/3612.37 c learned constraints 896313 3600.08/3612.37 c bound constraints 0 3600.08/3612.37 c core-guided constraints 0 3600.08/3612.37 c encountered formula constraints 30369856 3600.08/3612.37 c encountered learned constraints 14161507 3600.08/3612.37 c encountered bound constraints 0 3600.08/3612.37 c encountered core-guided constraints 0 3600.08/3612.37 c LP total time 2041.37 s 3600.08/3612.37 c LP solve time 2038.45 s 3600.08/3612.37 c LP constraints added 19365 3600.08/3612.37 c LP constraints removed 2791 3600.08/3612.37 c LP pivots internal 899673 3600.08/3612.37 c LP pivots root 816096 3600.08/3612.37 c LP calls 94 3600.08/3612.37 c LP optimalities 19 3600.08/3612.37 c LP no pivot count 0 3600.08/3612.37 c LP infeasibilities 66 3600.08/3612.37 c LP valid Farkas constraints 66 3600.08/3612.37 c LP learned Farkas constraints 66 3600.08/3612.37 c LP basis resets 1 3600.08/3612.37 c LP cycling count 0 3600.08/3612.37 c LP singular count 1 3600.08/3612.37 c LP no primal count 0 3600.08/3612.37 c LP no farkas count 0 3600.08/3612.37 c LP other issue count 0 3600.08/3612.37 c LP Gomory cuts 0 3600.08/3612.37 c LP learned cuts 3149 3600.08/3612.37 c LP deleted cuts 2791 3600.08/3612.37 c LP encountered Gomory constraints 0 3600.08/3612.37 c LP encountered Farkas constraints 1421 3600.08/3612.37 c LP encountered learned Farkas constraints 339 3600.08/3612.37 c CG auxiliary variables introduced 0 3600.08/3612.37 c CG solutions found 0 3600.08/3612.37 c CG cores constructed 0 3600.08/3612.37 c CG core cardinality constraints returned 0 3600.08/3612.37 c CG unit cores 0 3600.08/3612.37 c CG single cores 0 3600.08/3612.37 c CG blocks removed during cardinality reduction 0 3600.08/3612.37 c CG first core best 0 3600.08/3612.37 c CG decision core best 0 3600.08/3612.37 c CG core reduction tie 0 3600.08/3612.37 c CG core degree average 0.00 3600.08/3612.37 c CG core slack average 0.00 3600.08/3612.37 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: 63968 MiB (778 MiB free)
memory of node 1: 64473 MiB (131 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457160-1721826473/watcher-4457160-1721826473 -o /tmp/evaluation-result-4457160-1721826473/solver-4457160-1721826473 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721817187-239624 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457160-1721826473 --lp-cut-gomory=0 HOME/instance-4457160-1721826473.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=245592, runsolver pid=245589
[startup+0.100066 s]*
/proc/loadavg: 4.15 4.18 4.18 5/262 245593
/proc/meminfo: memFree=911096/131524600 swapFree=131063488/131071996
[pid=245592] ppid=245589 vsize=59980 memory=28916 CPUtime=0.09 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 7378 0 0 0 7 2 0 0 20 0 1 0 19171236 61419520 7229 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 14995 7229 1719 992 0 6853 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59980 KiB
Current children cumulated memory: 28916 KiB
[startup+0.205953 s]*
/proc/loadavg: 4.15 4.18 4.18 5/262 245593
/proc/meminfo: memFree=896536/131524600 swapFree=131063488/131071996
[pid=245592] ppid=245589 vsize=63564 memory=31028 CPUtime=0.2 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 7860 0 0 0 17 3 0 0 20 0 1 0 19171236 65089536 7757 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 15891 7757 1719 992 0 7749 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 63564 KiB
Current children cumulated memory: 31028 KiB
[startup+0.305795 s]*
/proc/loadavg: 4.15 4.18 4.18 5/262 245593
/proc/meminfo: memFree=895396/131524600 swapFree=131063488/131071996
[pid=245592] ppid=245589 vsize=64336 memory=32084 CPUtime=0.3 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 8177 0 0 0 27 3 0 0 20 0 1 0 19171236 65880064 8021 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 16084 8021 1719 992 0 7942 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 64336 KiB
Current children cumulated memory: 32084 KiB
[startup+0.700187 s]
/proc/loadavg: 4.15 4.18 4.18 5/262 245593
/proc/meminfo: memFree=873248/131524600 swapFree=131063488/131071996
[pid=245592] ppid=245589 vsize=65832 memory=33668 CPUtime=0.68 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 8557 0 0 0 65 3 0 0 20 0 1 0 19171236 67411968 8417 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 16458 8417 1719 992 0 8316 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65832 KiB
Current children cumulated memory: 33668 KiB
[startup+1.50023 s]
/proc/loadavg: 4.13 4.18 4.18 5/262 245593
/proc/meminfo: memFree=859496/131524600 swapFree=131063488/131071996
[pid=245592] ppid=245589 vsize=65832 memory=35108 CPUtime=1.48 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 8865 0 0 0 141 7 0 0 20 0 1 0 19171236 67411968 8777 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 16458 8777 1751 992 0 8316 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 65832 KiB
Current children cumulated memory: 35108 KiB
[startup+3.10564 s]
/proc/loadavg: 4.13 4.18 4.18 5/262 245593
/proc/meminfo: memFree=755844/131524600 swapFree=131063488/131071996
[pid=245592] ppid=245589 vsize=68236 memory=39388 CPUtime=3.09 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 9942 0 0 0 295 14 0 0 20 0 1 0 19171236 69873664 9847 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 17059 9847 1766 992 0 8917 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 68236 KiB
Current children cumulated memory: 39388 KiB
[startup+6.30022 s]
/proc/loadavg: 4.12 4.17 4.17 5/262 245595
/proc/meminfo: memFree=627548/131524600 swapFree=131063488/131071996
[pid=245592] ppid=245589 vsize=70972 memory=42820 CPUtime=6.27 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 10771 0 0 0 611 16 0 0 20 0 1 0 19171236 72675328 10705 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 17743 10705 1766 992 0 9601 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 70972 KiB
Current children cumulated memory: 42820 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.17 4.17 5/262 245595
/proc/meminfo: memFree=656408/131524600 swapFree=131063488/131071996
[pid=245592] ppid=245589 vsize=76536 memory=47480 CPUtime=12.64 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 11876 0 0 0 1232 32 0 0 20 0 1 0 19171236 78372864 11870 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 19134 11870 1843 992 0 10992 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 76536 KiB
Current children cumulated memory: 47480 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.17 4.17 5/262 245598
/proc/meminfo: memFree=604236/131524600 swapFree=131063488/131071996
[pid=245592] ppid=245589 vsize=82060 memory=52728 CPUtime=25.41 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 13182 0 0 0 2499 42 0 0 20 0 1 0 19171236 84029440 13182 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 20515 13182 1875 992 0 12373 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 82060 KiB
Current children cumulated memory: 52728 KiB
[startup+51.1058 s]
/proc/loadavg: 4.11 4.16 4.17 5/262 245601
/proc/meminfo: memFree=622116/131524600 swapFree=131063488/131071996
[pid=245592] ppid=245589 vsize=110812 memory=72748 CPUtime=50.93 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 18187 0 0 0 5006 87 0 0 20 0 1 0 19171236 113471488 18187 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 27703 18187 1875 992 0 19561 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 110812 KiB
Current children cumulated memory: 72748 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/263 245612
/proc/meminfo: memFree=557124/131524600 swapFree=131063488/131071996
[pid=245592] ppid=245589 vsize=143788 memory=96824 CPUtime=101.95 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 24245 0 0 0 10043 152 0 0 20 0 1 0 19171236 147238912 24206 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 35947 24206 1875 992 0 27805 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 143788 KiB
Current children cumulated memory: 96824 KiB
[startup+162.3 s]
/proc/loadavg: 4.41 4.22 4.19 5/268 245631
/proc/meminfo: memFree=551540/131524600 swapFree=131059112/131071996
[pid=245592] ppid=245589 vsize=252512 memory=188096 CPUtime=161.75 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 47584 0 0 0 15972 203 0 0 20 0 1 0 19171236 258572288 47024 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 63128 47024 1875 992 0 54986 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 252512 KiB
Current children cumulated memory: 188096 KiB
[startup+222.3 s]
/proc/loadavg: 4.41 4.26 4.21 5/268 245641
/proc/meminfo: memFree=530540/131524600 swapFree=131059112/131071996
[pid=245592] ppid=245589 vsize=254224 memory=190736 CPUtime=221.54 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 48244 0 0 0 21887 267 0 0 20 0 1 0 19171236 260325376 47684 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 63556 47684 1875 992 0 55414 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 254224 KiB
Current children cumulated memory: 190736 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.23 4.20 5/267 245699
/proc/meminfo: memFree=83348348/131524600 swapFree=131059112/131071996
[pid=245592] ppid=245589 vsize=256772 memory=192796 CPUtime=281.33 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 49114 0 0 0 27789 344 0 0 20 0 1 0 19171236 262934528 48199 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 64193 48199 1875 992 0 56051 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 256772 KiB
Current children cumulated memory: 192796 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.20 4.18 5/267 245710
/proc/meminfo: memFree=82538360/131524600 swapFree=131059112/131071996
[pid=245592] ppid=245589 vsize=260952 memory=203604 CPUtime=341.13 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 50885 0 0 0 33706 407 0 0 20 0 1 0 19171236 267214848 50901 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 65238 50901 1875 992 0 57096 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 260952 KiB
Current children cumulated memory: 203604 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.19 4.18 5/270 245774
/proc/meminfo: memFree=81729980/131524600 swapFree=131059112/131071996
[pid=245592] ppid=245589 vsize=352860 memory=288180 CPUtime=400.91 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 54124 0 0 0 39641 450 0 0 20 0 1 0 19171236 361328640 72045 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 88215 72045 1875 992 0 80073 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 352860 KiB
Current children cumulated memory: 288180 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/263 245784
/proc/meminfo: memFree=81124996/131524600 swapFree=131059112/131071996
[pid=245592] ppid=245589 vsize=353500 memory=288972 CPUtime=460.71 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 54349 0 0 0 45578 493 0 0 20 0 1 0 19171236 361984000 72243 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 88375 72243 1875 992 0 80233 0
################
# More data... #
################
Current children cumulated memory: 726012 KiB
[startup+2982.3 s]
/proc/loadavg: 2.05 2.25 2.98 3/246 247332
/proc/meminfo: memFree=104645616/131524600 swapFree=131059112/131071996
[pid=245592] ppid=245589 vsize=879708 memory=734004 CPUtime=2972.33 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 104085 0 0 0 294448 2785 0 0 20 0 1 0 19171236 900820992 183501 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 219927 183501 1875 992 0 211785 0
Current children cumulated CPU time: 2972.33 s
Current children cumulated vsize: 879708 KiB
Current children cumulated memory: 734004 KiB
[startup+3042.3 s]
/proc/loadavg: 2.13 2.23 2.92 3/248 247512
/proc/meminfo: memFree=104572772/131524600 swapFree=131059112/131071996
[pid=245592] ppid=245589 vsize=885836 memory=739664 CPUtime=3032.15 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 105636 0 0 0 300395 2820 0 0 20 0 1 0 19171236 907096064 184916 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 221459 184916 1875 992 0 213317 0
Current children cumulated CPU time: 3032.15 s
Current children cumulated vsize: 885836 KiB
Current children cumulated memory: 739664 KiB
[startup+3102.3 s]
/proc/loadavg: 2.14 2.22 2.88 3/249 247523
/proc/meminfo: memFree=104314832/131524600 swapFree=131059112/131071996
[pid=245592] ppid=245589 vsize=885836 memory=739760 CPUtime=3091.95 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 105813 0 0 0 306320 2875 0 0 20 0 1 0 19171236 907096064 184940 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 221459 184940 1875 992 0 213317 0
Current children cumulated CPU time: 3091.95 s
Current children cumulated vsize: 885836 KiB
Current children cumulated memory: 739760 KiB
[startup+3162.3 s]
/proc/loadavg: 2.10 2.19 2.82 3/251 247538
/proc/meminfo: memFree=104235720/131524600 swapFree=131059112/131071996
[pid=245592] ppid=245589 vsize=885836 memory=739764 CPUtime=3151.75 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 106056 0 0 0 312238 2937 0 0 20 0 1 0 19171236 907096064 184941 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 221459 184941 1875 992 0 213317 0
Current children cumulated CPU time: 3151.75 s
Current children cumulated vsize: 885836 KiB
Current children cumulated memory: 739764 KiB
[startup+3222.3 s]
/proc/loadavg: 2.10 2.17 2.78 3/249 247559
/proc/meminfo: memFree=104126728/131524600 swapFree=131059112/131071996
[pid=245592] ppid=245589 vsize=887424 memory=740620 CPUtime=3211.55 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 106553 0 0 0 318167 2988 0 0 20 0 1 0 19171236 908722176 185155 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 221856 185155 1875 992 0 213714 0
Current children cumulated CPU time: 3211.55 s
Current children cumulated vsize: 887424 KiB
Current children cumulated memory: 740620 KiB
[startup+3282.3 s]
/proc/loadavg: 2.09 2.15 2.73 3/248 247572
/proc/meminfo: memFree=103865444/131524600 swapFree=131059112/131071996
[pid=245592] ppid=245589 vsize=890012 memory=744236 CPUtime=3271.36 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 107550 0 0 0 324084 3052 0 0 20 0 1 0 19171236 911372288 186059 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 222503 186059 1954 992 0 214361 0
Current children cumulated CPU time: 3271.36 s
Current children cumulated vsize: 890012 KiB
Current children cumulated memory: 744236 KiB
[startup+3342.3 s]
/proc/loadavg: 2.07 2.14 2.69 3/248 247584
/proc/meminfo: memFree=103662564/131524600 swapFree=131059112/131071996
[pid=245592] ppid=245589 vsize=890012 memory=744236 CPUtime=3331.16 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 107612 0 0 0 330016 3100 0 0 20 0 1 0 19171236 911372288 186059 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 222503 186059 1954 992 0 214361 0
Current children cumulated CPU time: 3331.16 s
Current children cumulated vsize: 890012 KiB
Current children cumulated memory: 744236 KiB
[startup+3402.3 s]
/proc/loadavg: 2.06 2.12 2.65 3/246 247594
/proc/meminfo: memFree=103421140/131524600 swapFree=131059112/131071996
[pid=245592] ppid=245589 vsize=890012 memory=744244 CPUtime=3390.97 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 107875 0 0 0 335933 3164 0 0 20 0 1 0 19171236 911372288 186061 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 222503 186061 1954 992 0 214361 0
Current children cumulated CPU time: 3390.97 s
Current children cumulated vsize: 890012 KiB
Current children cumulated memory: 744244 KiB
[startup+3462.3 s]
/proc/loadavg: 2.06 2.11 2.61 3/243 247604
/proc/meminfo: memFree=103293832/131524600 swapFree=131059112/131071996
[pid=245592] ppid=245589 vsize=890588 memory=744276 CPUtime=3450.77 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 108138 0 0 0 341859 3218 0 0 20 0 1 0 19171236 911962112 186069 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 222647 186069 1954 992 0 214505 0
Current children cumulated CPU time: 3450.77 s
Current children cumulated vsize: 890588 KiB
Current children cumulated memory: 744276 KiB
[startup+3522.3 s]
/proc/loadavg: 2.16 2.14 2.59 3/244 247615
/proc/meminfo: memFree=103196056/131524600 swapFree=131059112/131071996
[pid=245592] ppid=245589 vsize=891940 memory=745752 CPUtime=3510.57 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 108681 0 0 0 347788 3269 0 0 20 0 1 0 19171236 913346560 186438 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 222985 186438 1954 992 0 214843 0
Current children cumulated CPU time: 3510.57 s
Current children cumulated vsize: 891940 KiB
Current children cumulated memory: 745752 KiB
[startup+3582.3 s]
/proc/loadavg: 2.12 2.12 2.55 3/244 247627
/proc/meminfo: memFree=103029432/131524600 swapFree=131059112/131071996
[pid=245592] ppid=245589 vsize=896504 memory=749640 CPUtime=3570.37 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 109834 0 0 0 353724 3313 0 0 20 0 1 0 19171236 918020096 187410 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 224126 187410 1954 992 0 215984 0
Current children cumulated CPU time: 3570.37 s
Current children cumulated vsize: 896504 KiB
Current children cumulated memory: 749640 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 2.07 2.11 2.53 3/244 247631
/proc/meminfo: memFree=102848420/131524600 swapFree=131059112/131071996
[pid=245592] ppid=245589 vsize=896504 memory=749896 CPUtime=3600.08 cores=0,2
/proc/245592/stat : 245592 (roundingsat) R 245589 245592 239614 0 -1 4194304 109995 0 0 0 356663 3345 0 0 20 0 1 0 19171236 918020096 187474 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 224126 187474 1954 992 0 215984 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 896504 KiB
Current children cumulated memory: 749896 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.38 s]
# the end of solver process 245592 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3566.64 s, system=33.4624 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.2 s]
/proc/loadavg: 2.07 2.11 2.53 3/244 247631
/proc/meminfo: memFree=102848420/131524600 swapFree=131059112/131071996
[pid=245592] ppid=245589 vsize=896504 memory=749896 CPUtime=3600.08 cores=0,2
/proc/245592/stat : 245592 (roundingsat) D 245589 245592 239614 0 -1 4194304 109999 0 0 0 356663 3345 0 0 20 0 1 0 19171236 918020096 187474 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 17 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 224126 187474 1954 992 0 215984 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 896504 KiB
Current children cumulated memory: 749896 KiB
[startup+3612.3 s]
/proc/loadavg: 2.07 2.11 2.53 3/244 247631
/proc/meminfo: memFree=102848420/131524600 swapFree=131059112/131071996
[pid=245592] ppid=245589 vsize=896504 memory=749896 CPUtime=3600.08 cores=0,2
/proc/245592/stat : 245592 (roundingsat) D 245589 245592 239614 0 -1 4194304 109999 0 0 0 356663 3345 0 0 20 0 1 0 19171236 918020096 187474 134679101440 4194304 8254037 140723177894480 0 0 0 0 0 25182210 0 0 0 17 0 0 0 37 0 0 9037040 9046032 27369472 140723177898844 140723177899106 140723177899106 140723177906121 0
/proc/245592/statm: 224126 187474 1954 992 0 215984 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 896504 KiB
Current children cumulated memory: 749896 KiB
Child status: 0
Real time (s): 3612.38
CPU time (s): 3600.11
CPU user time (s): 3566.64
CPU system time (s): 33.4624
CPU usage (%): 99.6603
Max. virtual memory (cumulated for all children) (KiB): 896504
Max. memory (cumulated for all children) (KiB): 749896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.64
system time used= 33.4624
maximum resident set size= 749896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110007
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12661520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1007
involuntary context switches= 25349
# summary of solver processes directly reported to runsolver:
# pid: 245592
# total CPU time (s): 3600.11
# total CPU user time (s): 3566.64
# total CPU system time (s): 33.4624
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67565 second user time and 16.2178 second system time
The end
Begin job on nodeC030 at 2024-07-24 15:07:53 IDJOB=4457160 IDBENCH=158262 IDSOLVER=3085 FILE ID=nodeC030/4457160-1721826473 RUNJOBID= nodeC030-1721817187-239624 SLURM_JOB_ID= 7816892 Free space on /tmp= 889980 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-4457160-1721826473/watcher-4457160-1721826473 -o /tmp/evaluation-result-4457160-1721826473/solver-4457160-1721826473 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721817187-239624 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457160-1721826473 --lp-cut-gomory=0 HOME/instance-4457160-1721826473.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 963edb3c79c326322e0bda3e585d3232 RANDOM SEED=480630107 nodeC030.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3651.985 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3688.187 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3657.477 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.034 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3679.571 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3688.219 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3631.350 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.762 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 932368 kB MemAvailable: 105648424 kB Buffers: 249572 kB Cached: 105060892 kB SwapCached: 3772 kB Active: 2648436 kB Inactive: 126890172 kB Active(anon): 2284 kB Inactive(anon): 24279276 kB Active(file): 2646152 kB Inactive(file): 102610896 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131063488 kB Dirty: 309144 kB Writeback: 0 kB AnonPages: 24221748 kB Mapped: 126732 kB Shmem: 53416 kB KReclaimable: 520416 kB Slab: 655960 kB SReclaimable: 520416 kB SUnreclaim: 135544 kB KernelStack: 4176 kB PageTables: 58324 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 28389648 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18176 kB HardwareCorrupted: 0 kB AnonHugePages: 4763648 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: 344788 kB DirectMap2M: 39274496 kB DirectMap1G: 96468992 kB Free space on /tmp at the end= 890068 MiB End job on nodeC030 at 2024-07-24 16:08:05