| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3602.09 | 3614.22 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K135.opb |
| MD5SUM | a9d7c7f4b9c33e38d48644f753677e90 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 16065 |
| Total number of constraints | 16337 |
| Number of constraints which are clauses | 16202 |
| Number of constraints which are cardinality constraints (but not clauses) | 135 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 135 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 136 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.07 c #variables 16065 #constraints 16337 48.53/48.79 c #Conflicts: 1000 | #Constraints: 17336 48.53/48.79 c #Conflicts: 2000 | #Constraints: 18336 48.53/48.79 c INPROCESSING 48.53/48.79 c GARBAGE COLLECT 48.53/48.79 c #Conflicts: 3000 | #Constraints: 17547 48.53/48.79 c #Conflicts: 4000 | #Constraints: 18548 48.53/48.79 c INPROCESSING 48.53/48.79 c GARBAGE COLLECT 48.53/48.79 c #Conflicts: 5000 | #Constraints: 18034 48.53/48.79 c #Conflicts: 6000 | #Constraints: 19034 48.53/48.79 c INPROCESSING 48.53/48.79 c GARBAGE COLLECT 48.53/48.79 c #Conflicts: 7000 | #Constraints: 18101 48.53/48.79 c #Conflicts: 8000 | #Constraints: 19101 48.53/48.79 c #Conflicts: 9000 | #Constraints: 20101 48.53/48.79 c INPROCESSING 48.53/48.79 c GARBAGE COLLECT 48.53/48.79 c #Conflicts: 10000 | #Constraints: 18862 48.53/48.79 c #Conflicts: 11000 | #Constraints: 19862 48.53/48.79 c #Conflicts: 12000 | #Constraints: 20862 48.53/48.79 c INPROCESSING 48.53/48.79 c GARBAGE COLLECT 48.53/48.79 c #Conflicts: 13000 | #Constraints: 19341 48.53/48.79 c #Conflicts: 14000 | #Constraints: 20341 48.53/48.79 c #Conflicts: 15000 | #Constraints: 21341 48.53/48.79 c INPROCESSING 48.53/48.79 c GARBAGE COLLECT 48.53/48.79 c rational objective 135 72.86/73.13 c #Conflicts: 16000 | #Constraints: 19616 72.86/73.13 c #Conflicts: 17000 | #Constraints: 20616 72.86/73.13 c #Conflicts: 18000 | #Constraints: 21616 72.86/73.13 c #Conflicts: 19000 | #Constraints: 22616 72.86/73.13 c #Conflicts: 20000 | #Constraints: 23616 72.86/73.13 c #Conflicts: 21000 | #Constraints: 24616 72.86/73.13 c #Conflicts: 22000 | #Constraints: 25616 72.86/73.13 c #Conflicts: 23000 | #Constraints: 26616 72.86/73.13 c #Conflicts: 24000 | #Constraints: 27616 72.86/73.13 c INPROCESSING 72.86/73.13 c GARBAGE COLLECT 72.86/73.13 c rational objective 135 112.62/113.05 c #Conflicts: 25000 | #Constraints: 22616 112.62/113.05 c #Conflicts: 26000 | #Constraints: 23616 112.62/113.05 c #Conflicts: 27000 | #Constraints: 24616 112.62/113.05 c #Conflicts: 28000 | #Constraints: 25616 112.62/113.05 c INPROCESSING 112.62/113.05 c GARBAGE COLLECT 112.62/113.05 c #Conflicts: 29000 | #Constraints: 21453 112.62/113.05 c #Conflicts: 30000 | #Constraints: 22453 112.62/113.05 c #Conflicts: 31000 | #Constraints: 23453 112.62/113.05 c #Conflicts: 32000 | #Constraints: 24453 112.62/113.05 c #Conflicts: 33000 | #Constraints: 25453 112.62/113.05 c INPROCESSING 112.62/113.05 c GARBAGE COLLECT 112.62/113.05 c rational objective 135 162.76/163.31 c #Conflicts: 34000 | #Constraints: 21673 162.76/163.31 c #Conflicts: 35000 | #Constraints: 22673 162.76/163.31 c #Conflicts: 36000 | #Constraints: 23673 162.76/163.31 c #Conflicts: 37000 | #Constraints: 24673 162.76/163.31 c #Conflicts: 38000 | #Constraints: 25673 162.76/163.31 c #Conflicts: 39000 | #Constraints: 26673 162.76/163.31 c #Conflicts: 40000 | #Constraints: 27673 162.76/163.31 c #Conflicts: 41000 | #Constraints: 28673 162.76/163.31 c #Conflicts: 42000 | #Constraints: 29673 162.76/163.31 c #Conflicts: 43000 | #Constraints: 30673 162.76/163.31 c #Conflicts: 44000 | #Constraints: 31673 162.76/163.31 c #Conflicts: 45000 | #Constraints: 32674 162.76/163.31 c #Conflicts: 46000 | #Constraints: 33674 162.76/163.31 c #Conflicts: 47000 | #Constraints: 34675 162.76/163.31 c INPROCESSING 162.76/163.31 c GARBAGE COLLECT 162.76/163.31 c rational objective 135 309.84/310.93 c #Conflicts: 48000 | #Constraints: 26398 309.84/310.93 c #Conflicts: 49000 | #Constraints: 27399 309.84/310.93 c #Conflicts: 50000 | #Constraints: 28400 309.84/310.93 c #Conflicts: 51000 | #Constraints: 29400 309.84/310.93 c #Conflicts: 52000 | #Constraints: 30400 309.84/310.93 c INPROCESSING 309.84/310.93 c GARBAGE COLLECT 309.84/310.93 c #Conflicts: 53000 | #Constraints: 23980 309.84/310.93 c #Conflicts: 54000 | #Constraints: 24981 309.84/310.93 c #Conflicts: 55000 | #Constraints: 25981 309.84/310.93 c #Conflicts: 56000 | #Constraints: 26981 309.84/310.93 c #Conflicts: 57000 | #Constraints: 27981 309.84/310.93 c #Conflicts: 58000 | #Constraints: 28981 309.84/310.93 c INPROCESSING 309.84/310.93 c GARBAGE COLLECT 309.84/310.93 c #Conflicts: 59000 | #Constraints: 23330 309.84/310.93 c #Conflicts: 60000 | #Constraints: 24330 309.84/310.93 c #Conflicts: 61000 | #Constraints: 25330 309.84/310.93 c #Conflicts: 62000 | #Constraints: 26330 309.84/310.93 c #Conflicts: 63000 | #Constraints: 27330 309.84/310.93 c #Conflicts: 64000 | #Constraints: 28330 309.84/310.93 c #Conflicts: 65000 | #Constraints: 29330 309.84/310.93 c #Conflicts: 66000 | #Constraints: 30330 309.84/310.93 c #Conflicts: 67000 | #Constraints: 31330 309.84/310.93 c #Conflicts: 68000 | #Constraints: 32330 309.84/310.93 c #Conflicts: 69000 | #Constraints: 33330 309.84/310.93 c #Conflicts: 70000 | #Constraints: 34330 309.84/310.93 c #Conflicts: 71000 | #Constraints: 35330 309.84/310.93 c #Conflicts: 72000 | #Constraints: 36330 309.84/310.93 c #Conflicts: 73000 | #Constraints: 37331 309.84/310.93 c #Conflicts: 74000 | #Constraints: 38331 309.84/310.93 c #Conflicts: 75000 | #Constraints: 39331 309.84/310.93 c #Conflicts: 76000 | #Constraints: 40331 309.84/310.93 c INPROCESSING 309.84/310.93 c GARBAGE COLLECT 309.84/310.93 c #Conflicts: 77000 | #Constraints: 29036 309.84/310.93 c #Conflicts: 78000 | #Constraints: 30036 309.84/310.93 c #Conflicts: 79000 | #Constraints: 31036 309.84/310.93 c #Conflicts: 80000 | #Constraints: 32036 309.84/310.93 c #Conflicts: 81000 | #Constraints: 33036 309.84/310.93 c #Conflicts: 82000 | #Constraints: 34036 309.84/310.93 c #Conflicts: 83000 | #Constraints: 35036 309.84/310.93 c #Conflicts: 84000 | #Constraints: 36036 309.84/310.93 c INPROCESSING 309.84/310.93 c GARBAGE COLLECT 309.84/310.93 c #Conflicts: 85000 | #Constraints: 27303 309.84/310.93 c #Conflicts: 86000 | #Constraints: 28303 309.84/310.93 c #Conflicts: 87000 | #Constraints: 29303 309.84/310.93 c #Conflicts: 88000 | #Constraints: 30303 309.84/310.93 c #Conflicts: 89000 | #Constraints: 31303 309.84/310.93 c #Conflicts: 90000 | #Constraints: 32303 309.84/310.93 c #Conflicts: 91000 | #Constraints: 33304 309.84/310.93 c INPROCESSING 309.84/310.93 c GARBAGE COLLECT 309.84/310.93 c rational objective 135 456.91/458.54 c #Conflicts: 92000 | #Constraints: 25695 456.91/458.54 c #Conflicts: 93000 | #Constraints: 26695 456.91/458.54 c #Conflicts: 94000 | #Constraints: 27695 456.91/458.54 c #Conflicts: 95000 | #Constraints: 28696 456.91/458.54 c #Conflicts: 96000 | #Constraints: 29696 456.91/458.54 c #Conflicts: 97000 | #Constraints: 30696 456.91/458.54 c #Conflicts: 98000 | #Constraints: 31696 456.91/458.54 c #Conflicts: 99000 | #Constraints: 32696 456.91/458.54 c #Conflicts: 100000 | #Constraints: 33696 456.91/458.54 c #Conflicts: 101000 | #Constraints: 34696 456.91/458.54 c #Conflicts: 102000 | #Constraints: 35696 456.91/458.54 c #Conflicts: 103000 | #Constraints: 36696 456.91/458.54 c #Conflicts: 104000 | #Constraints: 37696 456.91/458.54 c #Conflicts: 105000 | #Constraints: 38696 456.91/458.54 c #Conflicts: 106000 | #Constraints: 39696 456.91/458.54 c #Conflicts: 107000 | #Constraints: 40696 456.91/458.54 c #Conflicts: 108000 | #Constraints: 41696 456.91/458.54 c #Conflicts: 109000 | #Constraints: 42696 456.91/458.54 c #Conflicts: 110000 | #Constraints: 43696 456.91/458.54 c #Conflicts: 111000 | #Constraints: 44696 456.91/458.54 c #Conflicts: 112000 | #Constraints: 45696 456.91/458.54 c #Conflicts: 113000 | #Constraints: 46697 456.91/458.54 c INPROCESSING 456.91/458.54 c GARBAGE COLLECT 456.91/458.54 c rational objective 135 499.56/501.39 c #Conflicts: 114000 | #Constraints: 32330 499.56/501.39 c #Conflicts: 115000 | #Constraints: 33330 499.56/501.39 c #Conflicts: 116000 | #Constraints: 34330 499.56/501.39 c #Conflicts: 117000 | #Constraints: 35330 499.56/501.39 c #Conflicts: 118000 | #Constraints: 36330 499.56/501.39 c #Conflicts: 119000 | #Constraints: 37330 499.56/501.39 c #Conflicts: 120000 | #Constraints: 38330 499.56/501.39 c #Conflicts: 121000 | #Constraints: 39330 499.56/501.39 c #Conflicts: 122000 | #Constraints: 40330 499.56/501.39 c INPROCESSING 499.56/501.39 c GARBAGE COLLECT 499.56/501.39 c #Conflicts: 123000 | #Constraints: 29416 499.56/501.39 c #Conflicts: 124000 | #Constraints: 30416 499.56/501.39 c #Conflicts: 125000 | #Constraints: 31416 499.56/501.39 c #Conflicts: 126000 | #Constraints: 32416 499.56/501.39 c #Conflicts: 127000 | #Constraints: 33416 499.56/501.39 c #Conflicts: 128000 | #Constraints: 34416 499.56/501.39 c #Conflicts: 129000 | #Constraints: 35416 499.56/501.39 c #Conflicts: 130000 | #Constraints: 36416 499.56/501.39 c #Conflicts: 131000 | #Constraints: 37416 499.56/501.39 c INPROCESSING 499.56/501.39 c GARBAGE COLLECT 499.56/501.39 c rational objective 135 604.77/606.92 c #Conflicts: 132000 | #Constraints: 27881 604.77/606.92 c #Conflicts: 133000 | #Constraints: 28881 604.77/606.92 c #Conflicts: 134000 | #Constraints: 29881 604.77/606.92 c #Conflicts: 135000 | #Constraints: 30881 604.77/606.92 c #Conflicts: 136000 | #Constraints: 31881 604.77/606.92 c #Conflicts: 137000 | #Constraints: 32881 604.77/606.92 c #Conflicts: 138000 | #Constraints: 33881 604.77/606.92 c #Conflicts: 139000 | #Constraints: 34881 604.77/606.92 c #Conflicts: 140000 | #Constraints: 35881 604.77/606.92 c #Conflicts: 141000 | #Constraints: 36881 604.77/606.92 c #Conflicts: 142000 | #Constraints: 37881 604.77/606.92 c #Conflicts: 143000 | #Constraints: 38881 604.77/606.92 c #Conflicts: 144000 | #Constraints: 39881 604.77/606.92 c #Conflicts: 145000 | #Constraints: 40882 604.77/606.92 c #Conflicts: 146000 | #Constraints: 41882 604.77/606.92 c #Conflicts: 147000 | #Constraints: 42882 604.77/606.92 c #Conflicts: 148000 | #Constraints: 43882 604.77/606.92 c #Conflicts: 149000 | #Constraints: 44883 604.77/606.92 c #Conflicts: 150000 | #Constraints: 45884 604.77/606.92 c #Conflicts: 151000 | #Constraints: 46884 604.77/606.92 c #Conflicts: 152000 | #Constraints: 47884 604.77/606.92 c #Conflicts: 153000 | #Constraints: 48885 604.77/606.92 c #Conflicts: 154000 | #Constraints: 49885 604.77/606.92 c #Conflicts: 155000 | #Constraints: 50885 604.77/606.92 c #Conflicts: 156000 | #Constraints: 51885 604.77/606.92 c #Conflicts: 157000 | #Constraints: 52885 604.77/606.92 c INPROCESSING 604.77/606.92 c GARBAGE COLLECT 604.77/606.92 c rational objective 135 721.63/724.29 c #Conflicts: 158000 | #Constraints: 35440 721.63/724.29 c #Conflicts: 159000 | #Constraints: 36440 721.63/724.29 c #Conflicts: 160000 | #Constraints: 37440 721.63/724.29 c #Conflicts: 161000 | #Constraints: 38440 721.63/724.29 c #Conflicts: 162000 | #Constraints: 39440 721.63/724.29 c #Conflicts: 163000 | #Constraints: 40440 721.63/724.29 c #Conflicts: 164000 | #Constraints: 41440 721.63/724.29 c #Conflicts: 165000 | #Constraints: 42440 721.63/724.29 c #Conflicts: 166000 | #Constraints: 43441 721.63/724.29 c #Conflicts: 167000 | #Constraints: 44441 721.63/724.29 c #Conflicts: 168000 | #Constraints: 45441 721.63/724.29 c INPROCESSING 721.63/724.29 c GARBAGE COLLECT 721.63/724.29 c #Conflicts: 169000 | #Constraints: 32277 721.63/724.29 c #Conflicts: 170000 | #Constraints: 33277 721.63/724.29 c #Conflicts: 171000 | #Constraints: 34277 721.63/724.29 c #Conflicts: 172000 | #Constraints: 35277 721.63/724.29 c #Conflicts: 173000 | #Constraints: 36277 721.63/724.29 c #Conflicts: 174000 | #Constraints: 37277 721.63/724.29 c #Conflicts: 175000 | #Constraints: 38277 721.63/724.29 c #Conflicts: 176000 | #Constraints: 39277 721.63/724.29 c #Conflicts: 177000 | #Constraints: 40277 721.63/724.29 c #Conflicts: 178000 | #Constraints: 41277 721.63/724.29 c INPROCESSING 721.63/724.29 c GARBAGE COLLECT 721.63/724.29 c rational objective 135 827.43/830.40 c #Conflicts: 179000 | #Constraints: 29989 827.43/830.40 c #Conflicts: 180000 | #Constraints: 30989 827.43/830.40 c #Conflicts: 181000 | #Constraints: 31990 827.43/830.40 c #Conflicts: 182000 | #Constraints: 32990 827.43/830.40 c #Conflicts: 183000 | #Constraints: 33990 827.43/830.40 c #Conflicts: 184000 | #Constraints: 34990 827.43/830.40 c #Conflicts: 185000 | #Constraints: 35991 827.43/830.40 c #Conflicts: 186000 | #Constraints: 36991 827.43/830.40 c #Conflicts: 187000 | #Constraints: 37991 827.43/830.40 c #Conflicts: 188000 | #Constraints: 38991 827.43/830.40 c #Conflicts: 189000 | #Constraints: 39991 827.43/830.40 c #Conflicts: 190000 | #Constraints: 40991 827.43/830.40 c #Conflicts: 191000 | #Constraints: 41991 827.43/830.40 c #Conflicts: 192000 | #Constraints: 42992 827.43/830.40 c #Conflicts: 193000 | #Constraints: 43992 827.43/830.40 c #Conflicts: 194000 | #Constraints: 44992 827.43/830.40 c #Conflicts: 195000 | #Constraints: 45992 827.43/830.40 c #Conflicts: 196000 | #Constraints: 46992 827.43/830.40 c #Conflicts: 197000 | #Constraints: 47992 827.43/830.40 c #Conflicts: 198000 | #Constraints: 48992 827.43/830.40 c #Conflicts: 199000 | #Constraints: 49992 827.43/830.40 c #Conflicts: 200000 | #Constraints: 50992 827.43/830.40 c #Conflicts: 201000 | #Constraints: 51992 827.43/830.40 c #Conflicts: 202000 | #Constraints: 52992 827.43/830.40 c #Conflicts: 203000 | #Constraints: 53992 827.43/830.40 c #Conflicts: 204000 | #Constraints: 54992 827.43/830.40 c #Conflicts: 205000 | #Constraints: 55992 827.43/830.40 c #Conflicts: 206000 | #Constraints: 56992 827.43/830.40 c #Conflicts: 207000 | #Constraints: 57992 827.43/830.40 c #Conflicts: 208000 | #Constraints: 58992 827.43/830.40 c #Conflicts: 209000 | #Constraints: 59992 827.43/830.40 c INPROCESSING 827.43/830.40 c GARBAGE COLLECT 827.43/830.40 c #Conflicts: 210000 | #Constraints: 39555 827.43/830.40 c #Conflicts: 211000 | #Constraints: 40555 827.43/830.40 c #Conflicts: 212000 | #Constraints: 41555 827.43/830.40 c #Conflicts: 213000 | #Constraints: 42555 827.43/830.40 c #Conflicts: 214000 | #Constraints: 43555 827.43/830.40 c #Conflicts: 215000 | #Constraints: 44555 827.43/830.40 c #Conflicts: 216000 | #Constraints: 45555 827.43/830.40 c #Conflicts: 217000 | #Constraints: 46555 827.43/830.40 c #Conflicts: 218000 | #Constraints: 47555 827.43/830.40 c #Conflicts: 219000 | #Constraints: 48555 827.43/830.40 c #Conflicts: 220000 | #Constraints: 49555 827.43/830.40 c INPROCESSING 827.43/830.40 c GARBAGE COLLECT 827.43/830.40 c rational objective 135 857.42/860.52 c #Conflicts: 221000 | #Constraints: 33753 857.42/860.52 c #Conflicts: 222000 | #Constraints: 34753 857.42/860.52 c #Conflicts: 223000 | #Constraints: 35753 857.42/860.52 c #Conflicts: 224000 | #Constraints: 36753 857.42/860.52 c #Conflicts: 225000 | #Constraints: 37753 857.42/860.52 c #Conflicts: 226000 | #Constraints: 38753 857.42/860.52 c #Conflicts: 227000 | #Constraints: 39753 857.42/860.52 c #Conflicts: 228000 | #Constraints: 40753 857.42/860.52 c #Conflicts: 229000 | #Constraints: 41753 857.42/860.52 c #Conflicts: 230000 | #Constraints: 42753 857.42/860.52 c #Conflicts: 231000 | #Constraints: 43753 857.42/860.52 c #Conflicts: 232000 | #Constraints: 44753 857.42/860.52 c INPROCESSING 857.42/860.52 c GARBAGE COLLECT 857.42/860.52 c rational objective 135 988.44/992.04 c #Conflicts: 233000 | #Constraints: 31586 988.44/992.04 c #Conflicts: 234000 | #Constraints: 32586 988.44/992.04 c #Conflicts: 235000 | #Constraints: 33586 988.44/992.04 c #Conflicts: 236000 | #Constraints: 34586 988.44/992.04 c #Conflicts: 237000 | #Constraints: 35586 988.44/992.04 c #Conflicts: 238000 | #Constraints: 36586 988.44/992.04 c #Conflicts: 239000 | #Constraints: 37586 988.44/992.04 c #Conflicts: 240000 | #Constraints: 38587 988.44/992.04 c #Conflicts: 241000 | #Constraints: 39587 988.44/992.04 c #Conflicts: 242000 | #Constraints: 40587 988.44/992.04 c #Conflicts: 243000 | #Constraints: 41587 988.44/992.04 c #Conflicts: 244000 | #Constraints: 42587 988.44/992.04 c #Conflicts: 245000 | #Constraints: 43587 988.44/992.04 c #Conflicts: 246000 | #Constraints: 44587 988.44/992.04 c #Conflicts: 247000 | #Constraints: 45587 988.44/992.04 c #Conflicts: 248000 | #Constraints: 46587 988.44/992.04 c #Conflicts: 249000 | #Constraints: 47587 988.44/992.04 c #Conflicts: 250000 | #Constraints: 48587 988.44/992.04 c #Conflicts: 251000 | #Constraints: 49587 988.44/992.04 c #Conflicts: 252000 | #Constraints: 50587 988.44/992.04 c #Conflicts: 253000 | #Constraints: 51587 988.44/992.04 c #Conflicts: 254000 | #Constraints: 52587 988.44/992.04 c #Conflicts: 255000 | #Constraints: 53588 988.44/992.04 c #Conflicts: 256000 | #Constraints: 54588 988.44/992.04 c #Conflicts: 257000 | #Constraints: 55588 988.44/992.04 c #Conflicts: 258000 | #Constraints: 56588 988.44/992.04 c #Conflicts: 259000 | #Constraints: 57588 988.44/992.04 c #Conflicts: 260000 | #Constraints: 58588 988.44/992.04 c #Conflicts: 261000 | #Constraints: 59588 988.44/992.04 c #Conflicts: 262000 | #Constraints: 60588 988.44/992.04 c #Conflicts: 263000 | #Constraints: 61588 988.44/992.04 c #Conflicts: 264000 | #Constraints: 62588 988.44/992.04 c #Conflicts: 265000 | #Constraints: 63588 988.44/992.04 c #Conflicts: 266000 | #Constraints: 64588 988.44/992.04 c #Conflicts: 267000 | #Constraints: 65588 988.44/992.04 c INPROCESSING 988.44/992.04 c GARBAGE COLLECT 988.44/992.04 c rational objective 135 1030.18/1033.91 c #Conflicts: 268000 | #Constraints: 42100 1030.18/1033.91 c #Conflicts: 269000 | #Constraints: 43101 1030.18/1033.91 c #Conflicts: 270000 | #Constraints: 44102 1030.18/1033.91 c #Conflicts: 271000 | #Constraints: 45102 1030.18/1033.91 c #Conflicts: 272000 | #Constraints: 46102 1030.18/1033.91 c #Conflicts: 273000 | #Constraints: 47102 1030.18/1033.91 c #Conflicts: 274000 | #Constraints: 48102 1030.18/1033.91 c #Conflicts: 275000 | #Constraints: 49102 1030.18/1033.91 c #Conflicts: 276000 | #Constraints: 50102 1030.18/1033.91 c #Conflicts: 277000 | #Constraints: 51102 1030.18/1033.91 c #Conflicts: 278000 | #Constraints: 52102 1030.18/1033.91 c #Conflicts: 279000 | #Constraints: 53102 1030.18/1033.91 c #Conflicts: 280000 | #Constraints: 54102 1030.18/1033.91 c INPROCESSING 1030.18/1033.91 c GARBAGE COLLECT 1030.18/1033.91 c rational objective 135 1325.87/1330.72 c #Conflicts: 281000 | #Constraints: 36247 1325.87/1330.72 c #Conflicts: 282000 | #Constraints: 37247 1325.87/1330.72 c #Conflicts: 283000 | #Constraints: 38248 1325.87/1330.72 c #Conflicts: 284000 | #Constraints: 39248 1325.87/1330.72 c #Conflicts: 285000 | #Constraints: 40248 1325.87/1330.72 c #Conflicts: 286000 | #Constraints: 41248 1325.87/1330.72 c #Conflicts: 287000 | #Constraints: 42248 1325.87/1330.72 c #Conflicts: 288000 | #Constraints: 43248 1325.87/1330.72 c #Conflicts: 289000 | #Constraints: 44248 1325.87/1330.72 c #Conflicts: 290000 | #Constraints: 45248 1325.87/1330.72 c #Conflicts: 291000 | #Constraints: 46248 1325.87/1330.72 c #Conflicts: 292000 | #Constraints: 47248 1325.87/1330.72 c #Conflicts: 293000 | #Constraints: 48248 1325.87/1330.72 c #Conflicts: 294000 | #Constraints: 49248 1325.87/1330.72 c INPROCESSING 1325.87/1330.72 c GARBAGE COLLECT 1325.87/1330.72 c #Conflicts: 295000 | #Constraints: 34997 1325.87/1330.72 c #Conflicts: 296000 | #Constraints: 35997 1325.87/1330.72 c #Conflicts: 297000 | #Constraints: 36997 1325.87/1330.72 c #Conflicts: 298000 | #Constraints: 37998 1325.87/1330.72 c #Conflicts: 299000 | #Constraints: 38998 1325.87/1330.72 c #Conflicts: 300000 | #Constraints: 39998 1325.87/1330.72 c #Conflicts: 301000 | #Constraints: 40998 1325.87/1330.72 c #Conflicts: 302000 | #Constraints: 41998 1325.87/1330.72 c #Conflicts: 303000 | #Constraints: 42998 1325.87/1330.72 c #Conflicts: 304000 | #Constraints: 43998 1325.87/1330.72 c #Conflicts: 305000 | #Constraints: 44998 1325.87/1330.72 c #Conflicts: 306000 | #Constraints: 45998 1325.87/1330.72 c #Conflicts: 307000 | #Constraints: 46998 1325.87/1330.72 c #Conflicts: 308000 | #Constraints: 47998 1325.87/1330.72 c #Conflicts: 309000 | #Constraints: 48998 1325.87/1330.72 c #Conflicts: 310000 | #Constraints: 49998 1325.87/1330.72 c #Conflicts: 311000 | #Constraints: 50999 1325.87/1330.72 c #Conflicts: 312000 | #Constraints: 51999 1325.87/1330.72 c #Conflicts: 313000 | #Constraints: 52999 1325.87/1330.72 c #Conflicts: 314000 | #Constraints: 53999 1325.87/1330.72 c #Conflicts: 315000 | #Constraints: 54999 1325.87/1330.72 c #Conflicts: 316000 | #Constraints: 55999 1325.87/1330.72 c #Conflicts: 317000 | #Constraints: 56999 1325.87/1330.72 c #Conflicts: 318000 | #Constraints: 57999 1325.87/1330.72 c #Conflicts: 319000 | #Constraints: 58999 1325.87/1330.72 c #Conflicts: 320000 | #Constraints: 59999 1325.87/1330.72 c #Conflicts: 321000 | #Constraints: 60999 1325.87/1330.72 c #Conflicts: 322000 | #Constraints: 61999 1325.87/1330.72 c #Conflicts: 323000 | #Constraints: 62999 1325.87/1330.72 c #Conflicts: 324000 | #Constraints: 63999 1325.87/1330.72 c #Conflicts: 325000 | #Constraints: 64999 1325.87/1330.72 c #Conflicts: 326000 | #Constraints: 65999 1325.87/1330.72 c #Conflicts: 327000 | #Constraints: 66999 1325.87/1330.72 c #Conflicts: 328000 | #Constraints: 67999 1325.87/1330.72 c #Conflicts: 329000 | #Constraints: 68999 1325.87/1330.72 c #Conflicts: 330000 | #Constraints: 69999 1325.87/1330.72 c #Conflicts: 331000 | #Constraints: 70999 1325.87/1330.72 c #Conflicts: 332000 | #Constraints: 71999 1325.87/1330.72 c #Conflicts: 333000 | #Constraints: 72999 1325.87/1330.72 c INPROCESSING 1325.87/1330.72 c GARBAGE COLLECT 1325.87/1330.72 c #Conflicts: 334000 | #Constraints: 46038 1325.87/1330.72 c #Conflicts: 335000 | #Constraints: 47038 1325.87/1330.72 c #Conflicts: 336000 | #Constraints: 48038 1325.87/1330.72 c #Conflicts: 337000 | #Constraints: 49038 1325.87/1330.72 c #Conflicts: 338000 | #Constraints: 50038 1325.87/1330.72 c #Conflicts: 339000 | #Constraints: 51038 1325.87/1330.72 c #Conflicts: 340000 | #Constraints: 52038 1325.87/1330.72 c #Conflicts: 341000 | #Constraints: 53038 1325.87/1330.72 c #Conflicts: 342000 | #Constraints: 54038 1325.87/1330.72 c #Conflicts: 343000 | #Constraints: 55038 1325.87/1330.72 c #Conflicts: 344000 | #Constraints: 56038 1325.87/1330.72 c #Conflicts: 345000 | #Constraints: 57038 1325.87/1330.72 c #Conflicts: 346000 | #Constraints: 58038 1325.87/1330.72 c #Conflicts: 347000 | #Constraints: 59038 1325.87/1330.72 c #Conflicts: 348000 | #Constraints: 60038 1325.87/1330.72 c INPROCESSING 1325.87/1330.72 c GARBAGE COLLECT 1325.87/1330.72 c #Conflicts: 349000 | #Constraints: 39734 1325.87/1330.72 c #Conflicts: 350000 | #Constraints: 40735 1325.87/1330.72 c #Conflicts: 351000 | #Constraints: 41735 1325.87/1330.72 c #Conflicts: 352000 | #Constraints: 42735 1325.87/1330.72 c #Conflicts: 353000 | #Constraints: 43735 1325.87/1330.72 c #Conflicts: 354000 | #Constraints: 44735 1325.87/1330.72 c #Conflicts: 355000 | #Constraints: 45735 1325.87/1330.72 c #Conflicts: 356000 | #Constraints: 46735 1325.87/1330.72 c #Conflicts: 357000 | #Constraints: 47735 1460.79/1466.17 c #Conflicts: 358000 | #Constraints: 48735 1460.79/1466.17 c #Conflicts: 359000 | #Constraints: 49735 1460.79/1466.17 c #Conflicts: 360000 | #Constraints: 50735 1460.79/1466.17 c #Conflicts: 361000 | #Constraints: 51735 1460.79/1466.17 c #Conflicts: 362000 | #Constraints: 52735 1460.79/1466.17 c #Conflicts: 363000 | #Constraints: 53735 1460.79/1466.17 c INPROCESSING 1460.79/1466.17 c GARBAGE COLLECT 1460.79/1466.17 c rational objective 135 1700.10/1706.26 c #Conflicts: 364000 | #Constraints: 38191 1700.10/1706.26 c #Conflicts: 365000 | #Constraints: 39192 1700.10/1706.26 c #Conflicts: 366000 | #Constraints: 40192 1700.10/1706.26 c #Conflicts: 367000 | #Constraints: 41192 1700.10/1706.26 c #Conflicts: 368000 | #Constraints: 42192 1700.10/1706.26 c #Conflicts: 369000 | #Constraints: 43192 1700.10/1706.26 c #Conflicts: 370000 | #Constraints: 44192 1700.10/1706.26 c #Conflicts: 371000 | #Constraints: 45192 1700.10/1706.26 c #Conflicts: 372000 | #Constraints: 46192 1700.10/1706.26 c #Conflicts: 373000 | #Constraints: 47192 1700.10/1706.26 c #Conflicts: 374000 | #Constraints: 48192 1700.10/1706.26 c #Conflicts: 375000 | #Constraints: 49192 1700.10/1706.26 c #Conflicts: 376000 | #Constraints: 50192 1700.10/1706.26 c #Conflicts: 377000 | #Constraints: 51192 1700.10/1706.26 c #Conflicts: 378000 | #Constraints: 52192 1700.10/1706.26 c #Conflicts: 379000 | #Constraints: 53192 1700.10/1706.26 c #Conflicts: 380000 | #Constraints: 54192 1700.10/1706.26 c #Conflicts: 381000 | #Constraints: 55192 1700.10/1706.26 c #Conflicts: 382000 | #Constraints: 56192 1700.10/1706.26 c #Conflicts: 383000 | #Constraints: 57192 1700.10/1706.26 c #Conflicts: 384000 | #Constraints: 58192 1700.10/1706.26 c #Conflicts: 385000 | #Constraints: 59192 1700.10/1706.26 c #Conflicts: 386000 | #Constraints: 60193 1700.10/1706.26 c #Conflicts: 387000 | #Constraints: 61193 1700.10/1706.26 c #Conflicts: 388000 | #Constraints: 62193 1700.10/1706.26 c #Conflicts: 389000 | #Constraints: 63193 1700.10/1706.26 c #Conflicts: 390000 | #Constraints: 64193 1700.10/1706.26 c #Conflicts: 391000 | #Constraints: 65193 1700.10/1706.26 c #Conflicts: 392000 | #Constraints: 66193 1700.10/1706.26 c #Conflicts: 393000 | #Constraints: 67193 1700.10/1706.26 c #Conflicts: 394000 | #Constraints: 68193 1700.10/1706.26 c #Conflicts: 395000 | #Constraints: 69193 1700.10/1706.26 c #Conflicts: 396000 | #Constraints: 70193 1700.10/1706.26 c #Conflicts: 397000 | #Constraints: 71193 1700.10/1706.26 c #Conflicts: 398000 | #Constraints: 72193 1700.10/1706.26 c #Conflicts: 399000 | #Constraints: 73193 1700.10/1706.26 c #Conflicts: 400000 | #Constraints: 74193 1700.10/1706.26 c #Conflicts: 401000 | #Constraints: 75193 1700.10/1706.26 c #Conflicts: 402000 | #Constraints: 76193 1700.10/1706.26 c #Conflicts: 403000 | #Constraints: 77193 1700.10/1706.26 c #Conflicts: 404000 | #Constraints: 78193 1700.10/1706.26 c #Conflicts: 405000 | #Constraints: 79193 1700.10/1706.26 c #Conflicts: 406000 | #Constraints: 80193 1700.10/1706.26 c INPROCESSING 1700.10/1706.26 c GARBAGE COLLECT 1700.10/1706.26 c #Conflicts: 407000 | #Constraints: 49848 1700.10/1706.26 c #Conflicts: 408000 | #Constraints: 50849 1700.10/1706.26 c #Conflicts: 409000 | #Constraints: 51849 1700.10/1706.26 c #Conflicts: 410000 | #Constraints: 52849 1700.10/1706.26 c #Conflicts: 411000 | #Constraints: 53849 1700.10/1706.26 c #Conflicts: 412000 | #Constraints: 54849 1700.10/1706.26 c #Conflicts: 413000 | #Constraints: 55849 1700.10/1706.26 c #Conflicts: 414000 | #Constraints: 56849 1700.10/1706.26 c #Conflicts: 415000 | #Constraints: 57849 1700.10/1706.26 c #Conflicts: 416000 | #Constraints: 58849 1700.10/1706.26 c #Conflicts: 417000 | #Constraints: 59849 1700.10/1706.26 c #Conflicts: 418000 | #Constraints: 60849 1700.10/1706.26 c #Conflicts: 419000 | #Constraints: 61849 1700.10/1706.26 c #Conflicts: 420000 | #Constraints: 62849 1700.10/1706.26 c #Conflicts: 421000 | #Constraints: 63849 1700.10/1706.26 c #Conflicts: 422000 | #Constraints: 64849 1700.10/1706.26 c INPROCESSING 1700.10/1706.26 c GARBAGE COLLECT 1700.10/1706.26 c #Conflicts: 423000 | #Constraints: 42059 1700.10/1706.26 c #Conflicts: 424000 | #Constraints: 43060 1700.10/1706.26 c #Conflicts: 425000 | #Constraints: 44060 1700.10/1706.26 c #Conflicts: 426000 | #Constraints: 45061 1700.10/1706.26 c #Conflicts: 427000 | #Constraints: 46061 1700.10/1706.26 c #Conflicts: 428000 | #Constraints: 47061 1700.10/1706.26 c #Conflicts: 429000 | #Constraints: 48061 1700.10/1706.26 c #Conflicts: 430000 | #Constraints: 49061 1700.10/1706.26 c #Conflicts: 431000 | #Constraints: 50061 1700.10/1706.26 c #Conflicts: 432000 | #Constraints: 51061 1700.10/1706.26 c #Conflicts: 433000 | #Constraints: 52061 1700.10/1706.26 c #Conflicts: 434000 | #Constraints: 53061 1700.10/1706.26 c #Conflicts: 435000 | #Constraints: 54061 1700.10/1706.26 c #Conflicts: 436000 | #Constraints: 55061 1700.10/1706.26 c #Conflicts: 437000 | #Constraints: 56061 1700.10/1706.26 c #Conflicts: 438000 | #Constraints: 57061 1700.10/1706.26 c INPROCESSING 1700.10/1706.26 c GARBAGE COLLECT 1700.10/1706.26 c #Conflicts: 439000 | #Constraints: 39964 1700.10/1706.26 c #Conflicts: 440000 | #Constraints: 40965 1927.90/1934.74 c #Conflicts: 441000 | #Constraints: 41965 1927.90/1934.74 c #Conflicts: 442000 | #Constraints: 42965 1927.90/1934.74 c #Conflicts: 443000 | #Constraints: 43965 1927.90/1934.74 c #Conflicts: 444000 | #Constraints: 44965 1927.90/1934.74 c #Conflicts: 445000 | #Constraints: 45965 1927.90/1934.74 c #Conflicts: 446000 | #Constraints: 46965 1927.90/1934.74 c #Conflicts: 447000 | #Constraints: 47965 1927.90/1934.74 c #Conflicts: 448000 | #Constraints: 48965 1927.90/1934.74 c #Conflicts: 449000 | #Constraints: 49965 1927.90/1934.74 c #Conflicts: 450000 | #Constraints: 50965 1927.90/1934.74 c #Conflicts: 451000 | #Constraints: 51965 1927.90/1934.74 c #Conflicts: 452000 | #Constraints: 52965 1927.90/1934.74 c #Conflicts: 453000 | #Constraints: 53965 1927.90/1934.74 c #Conflicts: 454000 | #Constraints: 54965 1927.90/1934.74 c #Conflicts: 455000 | #Constraints: 55965 1927.90/1934.74 c #Conflicts: 456000 | #Constraints: 56965 1927.90/1934.74 c #Conflicts: 457000 | #Constraints: 57965 1927.90/1934.74 c #Conflicts: 458000 | #Constraints: 58965 1927.90/1934.74 c #Conflicts: 459000 | #Constraints: 59965 1927.90/1934.74 c #Conflicts: 460000 | #Constraints: 60966 1927.90/1934.74 c #Conflicts: 461000 | #Constraints: 61966 1927.90/1934.74 c #Conflicts: 462000 | #Constraints: 62966 1927.90/1934.74 c #Conflicts: 463000 | #Constraints: 63966 1927.90/1934.74 c #Conflicts: 464000 | #Constraints: 64967 1927.90/1934.74 c #Conflicts: 465000 | #Constraints: 65967 1927.90/1934.74 c #Conflicts: 466000 | #Constraints: 66967 1927.90/1934.74 c #Conflicts: 467000 | #Constraints: 67967 1927.90/1934.74 c #Conflicts: 468000 | #Constraints: 68967 1927.90/1934.74 c #Conflicts: 469000 | #Constraints: 69967 1927.90/1934.74 c #Conflicts: 470000 | #Constraints: 70967 1927.90/1934.74 c #Conflicts: 471000 | #Constraints: 71967 1927.90/1934.74 c #Conflicts: 472000 | #Constraints: 72967 1927.90/1934.74 c #Conflicts: 473000 | #Constraints: 73967 1927.90/1934.74 c #Conflicts: 474000 | #Constraints: 74967 1927.90/1934.74 c #Conflicts: 475000 | #Constraints: 75967 1927.90/1934.74 c #Conflicts: 476000 | #Constraints: 76967 1927.90/1934.74 c #Conflicts: 477000 | #Constraints: 77967 1927.90/1934.74 c #Conflicts: 478000 | #Constraints: 78967 1927.90/1934.74 c #Conflicts: 479000 | #Constraints: 79968 1927.90/1934.74 c #Conflicts: 480000 | #Constraints: 80968 1927.90/1934.74 c #Conflicts: 481000 | #Constraints: 81968 1927.90/1934.74 c #Conflicts: 482000 | #Constraints: 82968 1927.90/1934.74 c #Conflicts: 483000 | #Constraints: 83968 1927.90/1934.74 c #Conflicts: 484000 | #Constraints: 84968 1927.90/1934.74 c #Conflicts: 485000 | #Constraints: 85968 1927.90/1934.74 c #Conflicts: 486000 | #Constraints: 86968 1927.90/1934.74 c INPROCESSING 1927.90/1934.74 c GARBAGE COLLECT 1927.90/1934.74 c rational objective 135 2036.36/2043.54 c #Conflicts: 487000 | #Constraints: 53136 2036.36/2043.54 c #Conflicts: 488000 | #Constraints: 54136 2036.36/2043.54 c #Conflicts: 489000 | #Constraints: 55136 2036.36/2043.54 c #Conflicts: 490000 | #Constraints: 56136 2036.36/2043.54 c #Conflicts: 491000 | #Constraints: 57136 2036.36/2043.54 c #Conflicts: 492000 | #Constraints: 58136 2036.36/2043.54 c #Conflicts: 493000 | #Constraints: 59136 2036.36/2043.54 c #Conflicts: 494000 | #Constraints: 60136 2036.36/2043.54 c #Conflicts: 495000 | #Constraints: 61136 2036.36/2043.54 c #Conflicts: 496000 | #Constraints: 62136 2036.36/2043.54 c #Conflicts: 497000 | #Constraints: 63136 2036.36/2043.54 c #Conflicts: 498000 | #Constraints: 64136 2036.36/2043.54 c #Conflicts: 499000 | #Constraints: 65136 2036.36/2043.54 c #Conflicts: 500000 | #Constraints: 66136 2036.36/2043.54 c #Conflicts: 501000 | #Constraints: 67137 2036.36/2043.54 c #Conflicts: 502000 | #Constraints: 68137 2036.36/2043.54 c #Conflicts: 503000 | #Constraints: 69137 2036.36/2043.54 c #Conflicts: 504000 | #Constraints: 70137 2036.36/2043.54 c INPROCESSING 2036.36/2043.54 c GARBAGE COLLECT 2036.36/2043.54 c rational objective 135 2240.30/2248.13 c #Conflicts: 505000 | #Constraints: 44774 2240.30/2248.13 c #Conflicts: 506000 | #Constraints: 45774 2240.30/2248.13 c #Conflicts: 507000 | #Constraints: 46774 2240.30/2248.13 c #Conflicts: 508000 | #Constraints: 47774 2240.30/2248.13 c #Conflicts: 509000 | #Constraints: 48774 2240.30/2248.13 c #Conflicts: 510000 | #Constraints: 49774 2240.30/2248.13 c #Conflicts: 511000 | #Constraints: 50774 2240.30/2248.13 c #Conflicts: 512000 | #Constraints: 51774 2240.30/2248.13 c #Conflicts: 513000 | #Constraints: 52774 2240.30/2248.13 c #Conflicts: 514000 | #Constraints: 53774 2240.30/2248.13 c #Conflicts: 515000 | #Constraints: 54774 2240.30/2248.13 c #Conflicts: 516000 | #Constraints: 55774 2240.30/2248.13 c #Conflicts: 517000 | #Constraints: 56774 2240.30/2248.13 c #Conflicts: 518000 | #Constraints: 57774 2240.30/2248.13 c #Conflicts: 519000 | #Constraints: 58774 2240.30/2248.13 c #Conflicts: 520000 | #Constraints: 59774 2240.30/2248.13 c #Conflicts: 521000 | #Constraints: 60774 2240.30/2248.13 c #Conflicts: 522000 | #Constraints: 61774 2240.30/2248.13 c INPROCESSING 2240.30/2248.13 c GARBAGE COLLECT 2240.30/2248.13 c #Conflicts: 523000 | #Constraints: 42820 2240.30/2248.13 c #Conflicts: 524000 | #Constraints: 43820 2240.30/2248.13 c #Conflicts: 525000 | #Constraints: 44821 2240.30/2248.13 c #Conflicts: 526000 | #Constraints: 45821 2240.30/2248.13 c #Conflicts: 527000 | #Constraints: 46821 2240.30/2248.13 c #Conflicts: 528000 | #Constraints: 47821 2240.30/2248.13 c #Conflicts: 529000 | #Constraints: 48821 2240.30/2248.13 c #Conflicts: 530000 | #Constraints: 49821 2240.30/2248.13 c #Conflicts: 531000 | #Constraints: 50821 2240.30/2248.13 c #Conflicts: 532000 | #Constraints: 51822 2240.30/2248.13 c #Conflicts: 533000 | #Constraints: 52822 2240.30/2248.13 c #Conflicts: 534000 | #Constraints: 53822 2240.30/2248.13 c #Conflicts: 535000 | #Constraints: 54822 2240.30/2248.13 c #Conflicts: 536000 | #Constraints: 55822 2240.30/2248.13 c #Conflicts: 537000 | #Constraints: 56822 2240.30/2248.13 c #Conflicts: 538000 | #Constraints: 57822 2240.30/2248.13 c #Conflicts: 539000 | #Constraints: 58822 2240.30/2248.13 c #Conflicts: 540000 | #Constraints: 59822 2240.30/2248.13 c #Conflicts: 541000 | #Constraints: 60823 2240.30/2248.13 c #Conflicts: 542000 | #Constraints: 61823 2240.30/2248.13 c #Conflicts: 543000 | #Constraints: 62823 2240.30/2248.13 c #Conflicts: 544000 | #Constraints: 63823 2240.30/2248.13 c #Conflicts: 545000 | #Constraints: 64824 2240.30/2248.13 c #Conflicts: 546000 | #Constraints: 65824 2240.30/2248.13 c #Conflicts: 547000 | #Constraints: 66824 2240.30/2248.13 c #Conflicts: 548000 | #Constraints: 67824 2240.30/2248.13 c #Conflicts: 549000 | #Constraints: 68824 2240.30/2248.13 c #Conflicts: 550000 | #Constraints: 69824 2240.30/2248.13 c #Conflicts: 551000 | #Constraints: 70824 2240.30/2248.13 c #Conflicts: 552000 | #Constraints: 71824 2240.30/2248.13 c #Conflicts: 553000 | #Constraints: 72824 2240.30/2248.13 c #Conflicts: 554000 | #Constraints: 73824 2240.30/2248.13 c #Conflicts: 555000 | #Constraints: 74824 2240.30/2248.13 c #Conflicts: 556000 | #Constraints: 75824 2240.30/2248.13 c #Conflicts: 557000 | #Constraints: 76824 2240.30/2248.13 c #Conflicts: 558000 | #Constraints: 77824 2240.30/2248.13 c #Conflicts: 559000 | #Constraints: 78825 2240.30/2248.13 c #Conflicts: 560000 | #Constraints: 79825 2240.30/2248.13 c #Conflicts: 561000 | #Constraints: 80825 2240.30/2248.13 c #Conflicts: 562000 | #Constraints: 81825 2240.30/2248.13 c #Conflicts: 563000 | #Constraints: 82825 2240.30/2248.13 c #Conflicts: 564000 | #Constraints: 83825 2240.30/2248.13 c #Conflicts: 565000 | #Constraints: 84825 2240.30/2248.13 c #Conflicts: 566000 | #Constraints: 85825 2240.30/2248.13 c #Conflicts: 567000 | #Constraints: 86825 2240.30/2248.13 c #Conflicts: 568000 | #Constraints: 87825 2240.30/2248.13 c #Conflicts: 569000 | #Constraints: 88825 2240.30/2248.13 c #Conflicts: 570000 | #Constraints: 89825 2240.30/2248.13 c #Conflicts: 571000 | #Constraints: 90825 2240.30/2248.13 c #Conflicts: 572000 | #Constraints: 91825 2240.30/2248.13 c #Conflicts: 573000 | #Constraints: 92825 2240.30/2248.13 c INPROCESSING 2240.30/2248.13 c GARBAGE COLLECT 2240.30/2248.13 c rational objective 135 2356.61/2364.83 c #Conflicts: 574000 | #Constraints: 56065 2356.61/2364.83 c #Conflicts: 575000 | #Constraints: 57065 2356.61/2364.83 c #Conflicts: 576000 | #Constraints: 58065 2356.61/2364.83 c #Conflicts: 577000 | #Constraints: 59065 2356.61/2364.83 c #Conflicts: 578000 | #Constraints: 60065 2356.61/2364.83 c #Conflicts: 579000 | #Constraints: 61065 2356.61/2364.83 c #Conflicts: 580000 | #Constraints: 62065 2356.61/2364.83 c #Conflicts: 581000 | #Constraints: 63065 2356.61/2364.83 c #Conflicts: 582000 | #Constraints: 64065 2356.61/2364.83 c #Conflicts: 583000 | #Constraints: 65065 2356.61/2364.83 c #Conflicts: 584000 | #Constraints: 66065 2356.61/2364.83 c #Conflicts: 585000 | #Constraints: 67065 2356.61/2364.83 c #Conflicts: 586000 | #Constraints: 68065 2356.61/2364.83 c #Conflicts: 587000 | #Constraints: 69065 2356.61/2364.83 c #Conflicts: 588000 | #Constraints: 70065 2356.61/2364.83 c #Conflicts: 589000 | #Constraints: 71065 2356.61/2364.83 c #Conflicts: 590000 | #Constraints: 72065 2356.61/2364.83 c #Conflicts: 591000 | #Constraints: 73065 2356.61/2364.83 c #Conflicts: 592000 | #Constraints: 74065 2356.61/2364.83 c INPROCESSING 2356.61/2364.83 c GARBAGE COLLECT 2356.61/2364.83 c rational objective 135 2610.32/2619.30 c #Conflicts: 593000 | #Constraints: 46377 2610.32/2619.30 c #Conflicts: 594000 | #Constraints: 47378 2610.32/2619.30 c #Conflicts: 595000 | #Constraints: 48378 2610.32/2619.30 c #Conflicts: 596000 | #Constraints: 49378 2610.32/2619.30 c #Conflicts: 597000 | #Constraints: 50378 2610.32/2619.30 c #Conflicts: 598000 | #Constraints: 51378 2610.32/2619.30 c #Conflicts: 599000 | #Constraints: 52378 2610.32/2619.30 c #Conflicts: 600000 | #Constraints: 53378 2610.32/2619.30 c #Conflicts: 601000 | #Constraints: 54378 2610.32/2619.30 c #Conflicts: 602000 | #Constraints: 55378 2610.32/2619.30 c #Conflicts: 603000 | #Constraints: 56378 2610.32/2619.30 c #Conflicts: 604000 | #Constraints: 57378 2610.32/2619.30 c #Conflicts: 605000 | #Constraints: 58378 2610.32/2619.30 c #Conflicts: 606000 | #Constraints: 59378 2610.32/2619.30 c #Conflicts: 607000 | #Constraints: 60378 2610.32/2619.30 c #Conflicts: 608000 | #Constraints: 61378 2610.32/2619.30 c #Conflicts: 609000 | #Constraints: 62378 2610.32/2619.30 c #Conflicts: 610000 | #Constraints: 63378 2610.32/2619.30 c #Conflicts: 611000 | #Constraints: 64378 2610.32/2619.30 c #Conflicts: 612000 | #Constraints: 65378 2610.32/2619.30 c INPROCESSING 2610.32/2619.30 c GARBAGE COLLECT 2610.32/2619.30 c #Conflicts: 613000 | #Constraints: 45386 2610.32/2619.30 c #Conflicts: 614000 | #Constraints: 46386 2610.32/2619.30 c #Conflicts: 615000 | #Constraints: 47386 2610.32/2619.30 c #Conflicts: 616000 | #Constraints: 48387 2610.32/2619.30 c #Conflicts: 617000 | #Constraints: 49387 2610.32/2619.30 c #Conflicts: 618000 | #Constraints: 50387 2610.32/2619.30 c #Conflicts: 619000 | #Constraints: 51387 2610.32/2619.30 c #Conflicts: 620000 | #Constraints: 52387 2610.32/2619.30 c #Conflicts: 621000 | #Constraints: 53387 2610.32/2619.30 c #Conflicts: 622000 | #Constraints: 54387 2610.32/2619.30 c #Conflicts: 623000 | #Constraints: 55387 2610.32/2619.30 c #Conflicts: 624000 | #Constraints: 56387 2610.32/2619.30 c #Conflicts: 625000 | #Constraints: 57387 2610.32/2619.30 c #Conflicts: 626000 | #Constraints: 58387 2610.32/2619.30 c #Conflicts: 627000 | #Constraints: 59387 2610.32/2619.30 c #Conflicts: 628000 | #Constraints: 60387 2610.32/2619.30 c #Conflicts: 629000 | #Constraints: 61387 2610.32/2619.30 c #Conflicts: 630000 | #Constraints: 62387 2610.32/2619.30 c #Conflicts: 631000 | #Constraints: 63387 2610.32/2619.30 c #Conflicts: 632000 | #Constraints: 64387 2610.32/2619.30 c #Conflicts: 633000 | #Constraints: 65387 2610.32/2619.30 c #Conflicts: 634000 | #Constraints: 66387 2610.32/2619.30 c #Conflicts: 635000 | #Constraints: 67387 2610.32/2619.30 c #Conflicts: 636000 | #Constraints: 68387 2610.32/2619.30 c #Conflicts: 637000 | #Constraints: 69387 2610.32/2619.30 c #Conflicts: 638000 | #Constraints: 70387 2610.32/2619.30 c #Conflicts: 639000 | #Constraints: 71387 2610.32/2619.30 c #Conflicts: 640000 | #Constraints: 72387 2610.32/2619.30 c #Conflicts: 641000 | #Constraints: 73387 2610.32/2619.30 c #Conflicts: 642000 | #Constraints: 74387 2610.32/2619.30 c #Conflicts: 643000 | #Constraints: 75387 2610.32/2619.30 c #Conflicts: 644000 | #Constraints: 76387 2610.32/2619.30 c #Conflicts: 645000 | #Constraints: 77387 2610.32/2619.30 c #Conflicts: 646000 | #Constraints: 78387 2610.32/2619.30 c #Conflicts: 647000 | #Constraints: 79387 2610.32/2619.30 c #Conflicts: 648000 | #Constraints: 80387 2610.32/2619.30 c #Conflicts: 649000 | #Constraints: 81387 2610.32/2619.30 c #Conflicts: 650000 | #Constraints: 82387 2610.32/2619.30 c #Conflicts: 651000 | #Constraints: 83387 2610.32/2619.30 c #Conflicts: 652000 | #Constraints: 84387 2610.32/2619.30 c #Conflicts: 653000 | #Constraints: 85387 2610.32/2619.30 c #Conflicts: 654000 | #Constraints: 86387 2610.32/2619.30 c #Conflicts: 655000 | #Constraints: 87387 2610.32/2619.30 c #Conflicts: 656000 | #Constraints: 88387 2610.32/2619.30 c #Conflicts: 657000 | #Constraints: 89387 2610.32/2619.30 c #Conflicts: 658000 | #Constraints: 90387 2610.32/2619.30 c #Conflicts: 659000 | #Constraints: 91387 2610.32/2619.30 c #Conflicts: 660000 | #Constraints: 92387 2610.32/2619.30 c #Conflicts: 661000 | #Constraints: 93387 2610.32/2619.30 c #Conflicts: 662000 | #Constraints: 94387 2610.32/2619.30 c #Conflicts: 663000 | #Constraints: 95387 2610.32/2619.30 c #Conflicts: 664000 | #Constraints: 96387 2610.32/2619.30 c #Conflicts: 665000 | #Constraints: 97387 2610.32/2619.30 c #Conflicts: 666000 | #Constraints: 98387 2610.32/2619.30 c #Conflicts: 667000 | #Constraints: 99387 2610.32/2619.30 c #Conflicts: 668000 | #Constraints: 100387 2610.32/2619.30 c INPROCESSING 2610.32/2619.30 c GARBAGE COLLECT 2610.32/2619.30 c rational objective 135 2760.23/2769.71 c #Conflicts: 669000 | #Constraints: 60145 2760.23/2769.71 c #Conflicts: 670000 | #Constraints: 61145 2760.23/2769.71 c #Conflicts: 671000 | #Constraints: 62145 2760.23/2769.71 c #Conflicts: 672000 | #Constraints: 63145 2760.23/2769.71 c #Conflicts: 673000 | #Constraints: 64146 2760.23/2769.71 c #Conflicts: 674000 | #Constraints: 65146 2760.23/2769.71 c #Conflicts: 675000 | #Constraints: 66146 2760.23/2769.71 c #Conflicts: 676000 | #Constraints: 67146 2760.23/2769.71 c #Conflicts: 677000 | #Constraints: 68146 2760.23/2769.71 c #Conflicts: 678000 | #Constraints: 69146 2760.23/2769.71 c #Conflicts: 679000 | #Constraints: 70146 2760.23/2769.71 c #Conflicts: 680000 | #Constraints: 71146 2760.23/2769.71 c #Conflicts: 681000 | #Constraints: 72146 2760.23/2769.71 c #Conflicts: 682000 | #Constraints: 73146 2760.23/2769.71 c #Conflicts: 683000 | #Constraints: 74146 2760.23/2769.71 c #Conflicts: 684000 | #Constraints: 75146 2760.23/2769.71 c #Conflicts: 685000 | #Constraints: 76146 2760.23/2769.71 c #Conflicts: 686000 | #Constraints: 77146 2760.23/2769.71 c #Conflicts: 687000 | #Constraints: 78146 2760.23/2769.71 c #Conflicts: 688000 | #Constraints: 79146 2760.23/2769.71 c INPROCESSING 2760.23/2769.71 c GARBAGE COLLECT 2760.23/2769.71 c rational objective 135 2829.42/2839.10 c #Conflicts: 689000 | #Constraints: 49150 2829.42/2839.10 c #Conflicts: 690000 | #Constraints: 50151 2829.42/2839.10 c #Conflicts: 691000 | #Constraints: 51151 2829.42/2839.10 c #Conflicts: 692000 | #Constraints: 52151 2829.42/2839.10 c #Conflicts: 693000 | #Constraints: 53151 2829.42/2839.10 c #Conflicts: 694000 | #Constraints: 54151 2829.42/2839.10 c #Conflicts: 695000 | #Constraints: 55151 2829.42/2839.10 c #Conflicts: 696000 | #Constraints: 56151 2829.42/2839.10 c #Conflicts: 697000 | #Constraints: 57151 2829.42/2839.10 c #Conflicts: 698000 | #Constraints: 58151 2829.42/2839.10 c #Conflicts: 699000 | #Constraints: 59152 2829.42/2839.10 c #Conflicts: 700000 | #Constraints: 60152 2829.42/2839.10 c #Conflicts: 701000 | #Constraints: 61153 2829.42/2839.10 c #Conflicts: 702000 | #Constraints: 62154 2829.42/2839.10 c #Conflicts: 703000 | #Constraints: 63154 2829.42/2839.10 c #Conflicts: 704000 | #Constraints: 64154 2829.42/2839.10 c #Conflicts: 705000 | #Constraints: 65154 2829.42/2839.10 c #Conflicts: 706000 | #Constraints: 66154 2829.42/2839.10 c #Conflicts: 707000 | #Constraints: 67154 2829.42/2839.10 c #Conflicts: 708000 | #Constraints: 68154 2829.42/2839.10 c #Conflicts: 709000 | #Constraints: 69154 2829.42/2839.10 c INPROCESSING 2829.42/2839.10 c GARBAGE COLLECT 2829.42/2839.10 c rational objective 135 3080.91/3091.45 c #Conflicts: 710000 | #Constraints: 47890 3080.91/3091.45 c #Conflicts: 711000 | #Constraints: 48890 3080.91/3091.45 c #Conflicts: 712000 | #Constraints: 49890 3080.91/3091.45 c #Conflicts: 713000 | #Constraints: 50890 3080.91/3091.45 c #Conflicts: 714000 | #Constraints: 51890 3080.91/3091.45 c #Conflicts: 715000 | #Constraints: 52890 3080.91/3091.45 c #Conflicts: 716000 | #Constraints: 53890 3080.91/3091.45 c #Conflicts: 717000 | #Constraints: 54890 3080.91/3091.45 c #Conflicts: 718000 | #Constraints: 55890 3080.91/3091.45 c #Conflicts: 719000 | #Constraints: 56890 3080.91/3091.45 c #Conflicts: 720000 | #Constraints: 57890 3080.91/3091.45 c #Conflicts: 721000 | #Constraints: 58890 3080.91/3091.45 c #Conflicts: 722000 | #Constraints: 59890 3080.91/3091.45 c #Conflicts: 723000 | #Constraints: 60890 3080.91/3091.45 c #Conflicts: 724000 | #Constraints: 61890 3080.91/3091.45 c #Conflicts: 725000 | #Constraints: 62890 3080.91/3091.45 c #Conflicts: 726000 | #Constraints: 63890 3080.91/3091.45 c #Conflicts: 727000 | #Constraints: 64890 3080.91/3091.45 c #Conflicts: 728000 | #Constraints: 65890 3080.91/3091.45 c #Conflicts: 729000 | #Constraints: 66890 3080.91/3091.45 c #Conflicts: 730000 | #Constraints: 67890 3080.91/3091.45 c #Conflicts: 731000 | #Constraints: 68890 3080.91/3091.45 c #Conflicts: 732000 | #Constraints: 69891 3080.91/3091.45 c #Conflicts: 733000 | #Constraints: 70891 3080.91/3091.45 c #Conflicts: 734000 | #Constraints: 71891 3080.91/3091.45 c #Conflicts: 735000 | #Constraints: 72891 3080.91/3091.45 c #Conflicts: 736000 | #Constraints: 73891 3080.91/3091.45 c #Conflicts: 737000 | #Constraints: 74891 3080.91/3091.45 c #Conflicts: 738000 | #Constraints: 75891 3080.91/3091.45 c #Conflicts: 739000 | #Constraints: 76892 3080.91/3091.45 c #Conflicts: 740000 | #Constraints: 77892 3080.91/3091.45 c #Conflicts: 741000 | #Constraints: 78892 3080.91/3091.45 c #Conflicts: 742000 | #Constraints: 79892 3080.91/3091.45 c #Conflicts: 743000 | #Constraints: 80892 3080.91/3091.45 c #Conflicts: 744000 | #Constraints: 81892 3080.91/3091.45 c #Conflicts: 745000 | #Constraints: 82892 3080.91/3091.45 c #Conflicts: 746000 | #Constraints: 83892 3080.91/3091.45 c #Conflicts: 747000 | #Constraints: 84892 3080.91/3091.45 c #Conflicts: 748000 | #Constraints: 85892 3080.91/3091.45 c #Conflicts: 749000 | #Constraints: 86892 3080.91/3091.45 c #Conflicts: 750000 | #Constraints: 87892 3080.91/3091.45 c #Conflicts: 751000 | #Constraints: 88892 3080.91/3091.45 c #Conflicts: 752000 | #Constraints: 89892 3080.91/3091.45 c #Conflicts: 753000 | #Constraints: 90892 3080.91/3091.45 c #Conflicts: 754000 | #Constraints: 91892 3080.91/3091.45 c #Conflicts: 755000 | #Constraints: 92892 3080.91/3091.45 c #Conflicts: 756000 | #Constraints: 93892 3080.91/3091.45 c #Conflicts: 757000 | #Constraints: 94892 3080.91/3091.45 c #Conflicts: 758000 | #Constraints: 95892 3080.91/3091.45 c #Conflicts: 759000 | #Constraints: 96892 3080.91/3091.45 c #Conflicts: 760000 | #Constraints: 97892 3080.91/3091.45 c #Conflicts: 761000 | #Constraints: 98892 3080.91/3091.45 c #Conflicts: 762000 | #Constraints: 99892 3080.91/3091.45 c #Conflicts: 763000 | #Constraints: 100892 3080.91/3091.45 c #Conflicts: 764000 | #Constraints: 101892 3080.91/3091.45 c #Conflicts: 765000 | #Constraints: 102892 3080.91/3091.45 c #Conflicts: 766000 | #Constraints: 103892 3080.91/3091.45 c #Conflicts: 767000 | #Constraints: 104892 3080.91/3091.45 c #Conflicts: 768000 | #Constraints: 105892 3080.91/3091.45 c #Conflicts: 769000 | #Constraints: 106892 3080.91/3091.45 c INPROCESSING 3080.91/3091.45 c GARBAGE COLLECT 3080.91/3091.45 c rational objective 135 3140.22/3150.94 c #Conflicts: 770000 | #Constraints: 63208 3140.22/3150.94 c #Conflicts: 771000 | #Constraints: 64208 3140.22/3150.94 c #Conflicts: 772000 | #Constraints: 65208 3140.22/3150.94 c #Conflicts: 773000 | #Constraints: 66208 3140.22/3150.94 c #Conflicts: 774000 | #Constraints: 67208 3140.22/3150.94 c #Conflicts: 775000 | #Constraints: 68208 3140.22/3150.94 c #Conflicts: 776000 | #Constraints: 69208 3140.22/3150.94 c #Conflicts: 777000 | #Constraints: 70208 3140.22/3150.94 c #Conflicts: 778000 | #Constraints: 71208 3140.22/3150.94 c #Conflicts: 779000 | #Constraints: 72208 3140.22/3150.94 c #Conflicts: 780000 | #Constraints: 73208 3140.22/3150.94 c #Conflicts: 781000 | #Constraints: 74208 3140.22/3150.94 c #Conflicts: 782000 | #Constraints: 75208 3140.22/3150.94 c #Conflicts: 783000 | #Constraints: 76208 3140.22/3150.94 c #Conflicts: 784000 | #Constraints: 77208 3140.22/3150.94 c #Conflicts: 785000 | #Constraints: 78208 3140.22/3150.94 c #Conflicts: 786000 | #Constraints: 79208 3140.22/3150.94 c #Conflicts: 787000 | #Constraints: 80208 3140.22/3150.94 c #Conflicts: 788000 | #Constraints: 81208 3140.22/3150.94 c #Conflicts: 789000 | #Constraints: 82208 3140.22/3150.94 c #Conflicts: 790000 | #Constraints: 83208 3140.22/3150.94 c #Conflicts: 791000 | #Constraints: 84208 3140.22/3150.94 c #Conflicts: 792000 | #Constraints: 85208 3140.22/3150.94 c INPROCESSING 3140.22/3150.94 c GARBAGE COLLECT 3140.22/3150.94 c rational objective 135 3207.90/3218.80 c #Conflicts: 793000 | #Constraints: 52403 3207.90/3218.80 c #Conflicts: 794000 | #Constraints: 53403 3207.90/3218.80 c #Conflicts: 795000 | #Constraints: 54403 3207.90/3218.80 c #Conflicts: 796000 | #Constraints: 55403 3207.90/3218.80 c #Conflicts: 797000 | #Constraints: 56403 3207.90/3218.80 c #Conflicts: 798000 | #Constraints: 57403 3207.90/3218.80 c #Conflicts: 799000 | #Constraints: 58403 3207.90/3218.80 c #Conflicts: 800000 | #Constraints: 59403 3207.90/3218.80 c #Conflicts: 801000 | #Constraints: 60403 3207.90/3218.80 c #Conflicts: 802000 | #Constraints: 61403 3207.90/3218.80 c #Conflicts: 803000 | #Constraints: 62403 3207.90/3218.80 c #Conflicts: 804000 | #Constraints: 63403 3207.90/3218.80 c #Conflicts: 805000 | #Constraints: 64403 3207.90/3218.80 c #Conflicts: 806000 | #Constraints: 65403 3207.90/3218.80 c #Conflicts: 807000 | #Constraints: 66403 3207.90/3218.80 c #Conflicts: 808000 | #Constraints: 67403 3207.90/3218.80 c #Conflicts: 809000 | #Constraints: 68403 3207.90/3218.80 c #Conflicts: 810000 | #Constraints: 69403 3207.90/3218.80 c #Conflicts: 811000 | #Constraints: 70403 3207.90/3218.80 c #Conflicts: 812000 | #Constraints: 71404 3207.90/3218.80 c #Conflicts: 813000 | #Constraints: 72404 3207.90/3218.80 c #Conflicts: 814000 | #Constraints: 73405 3207.90/3218.80 c INPROCESSING 3207.90/3218.80 c GARBAGE COLLECT 3207.90/3218.80 c rational objective 135 3434.58/3446.23 c #Conflicts: 815000 | #Constraints: 50684 3434.58/3446.23 c #Conflicts: 816000 | #Constraints: 51684 3434.58/3446.23 c #Conflicts: 817000 | #Constraints: 52684 3434.58/3446.23 c #Conflicts: 818000 | #Constraints: 53684 3434.58/3446.23 c #Conflicts: 819000 | #Constraints: 54684 3434.58/3446.23 c #Conflicts: 820000 | #Constraints: 55684 3434.58/3446.23 c #Conflicts: 821000 | #Constraints: 56685 3434.58/3446.23 c #Conflicts: 822000 | #Constraints: 57685 3434.58/3446.23 c #Conflicts: 823000 | #Constraints: 58685 3434.58/3446.23 c #Conflicts: 824000 | #Constraints: 59685 3434.58/3446.23 c #Conflicts: 825000 | #Constraints: 60685 3434.58/3446.23 c #Conflicts: 826000 | #Constraints: 61685 3434.58/3446.23 c #Conflicts: 827000 | #Constraints: 62685 3434.58/3446.23 c #Conflicts: 828000 | #Constraints: 63685 3434.58/3446.23 c #Conflicts: 829000 | #Constraints: 64685 3434.58/3446.23 c #Conflicts: 830000 | #Constraints: 65685 3434.58/3446.23 c #Conflicts: 831000 | #Constraints: 66685 3434.58/3446.23 c #Conflicts: 832000 | #Constraints: 67685 3434.58/3446.23 c #Conflicts: 833000 | #Constraints: 68686 3434.58/3446.23 c #Conflicts: 834000 | #Constraints: 69686 3434.58/3446.23 c #Conflicts: 835000 | #Constraints: 70686 3434.58/3446.23 c #Conflicts: 836000 | #Constraints: 71686 3434.58/3446.23 c #Conflicts: 837000 | #Constraints: 72686 3434.58/3446.23 c #Conflicts: 838000 | #Constraints: 73686 3434.58/3446.23 c #Conflicts: 839000 | #Constraints: 74686 3434.58/3446.23 c #Conflicts: 840000 | #Constraints: 75686 3434.58/3446.23 c #Conflicts: 841000 | #Constraints: 76686 3434.58/3446.23 c #Conflicts: 842000 | #Constraints: 77686 3434.58/3446.23 c #Conflicts: 843000 | #Constraints: 78686 3434.58/3446.23 c #Conflicts: 844000 | #Constraints: 79686 3434.58/3446.23 c #Conflicts: 845000 | #Constraints: 80686 3434.58/3446.23 c #Conflicts: 846000 | #Constraints: 81686 3434.58/3446.23 c #Conflicts: 847000 | #Constraints: 82686 3434.58/3446.23 c #Conflicts: 848000 | #Constraints: 83687 3434.58/3446.23 c #Conflicts: 849000 | #Constraints: 84687 3434.58/3446.23 c #Conflicts: 850000 | #Constraints: 85687 3434.58/3446.23 c #Conflicts: 851000 | #Constraints: 86688 3434.58/3446.23 c #Conflicts: 852000 | #Constraints: 87689 3434.58/3446.23 c #Conflicts: 853000 | #Constraints: 88689 3434.58/3446.23 c #Conflicts: 854000 | #Constraints: 89689 3434.58/3446.23 c #Conflicts: 855000 | #Constraints: 90689 3434.58/3446.23 c #Conflicts: 856000 | #Constraints: 91689 3434.58/3446.23 c #Conflicts: 857000 | #Constraints: 92689 3434.58/3446.23 c #Conflicts: 858000 | #Constraints: 93689 3434.58/3446.23 c #Conflicts: 859000 | #Constraints: 94689 3434.58/3446.23 c #Conflicts: 860000 | #Constraints: 95689 3434.58/3446.23 c #Conflicts: 861000 | #Constraints: 96689 3434.58/3446.23 c #Conflicts: 862000 | #Constraints: 97689 3434.58/3446.23 c #Conflicts: 863000 | #Constraints: 98689 3434.58/3446.23 c #Conflicts: 864000 | #Constraints: 99689 3434.58/3446.23 c #Conflicts: 865000 | #Constraints: 100689 3434.58/3446.23 c #Conflicts: 866000 | #Constraints: 101690 3434.58/3446.23 c #Conflicts: 867000 | #Constraints: 102690 3434.58/3446.23 c #Conflicts: 868000 | #Constraints: 103690 3434.58/3446.23 c #Conflicts: 869000 | #Constraints: 104690 3434.58/3446.23 c #Conflicts: 870000 | #Constraints: 105690 3434.58/3446.23 c #Conflicts: 871000 | #Constraints: 106690 3434.58/3446.23 c #Conflicts: 872000 | #Constraints: 107690 3434.58/3446.23 c #Conflicts: 873000 | #Constraints: 108690 3434.58/3446.23 c #Conflicts: 874000 | #Constraints: 109690 3434.58/3446.23 c #Conflicts: 875000 | #Constraints: 110690 3434.58/3446.23 c #Conflicts: 876000 | #Constraints: 111690 3434.58/3446.23 c #Conflicts: 877000 | #Constraints: 112690 3434.58/3446.23 c #Conflicts: 878000 | #Constraints: 113690 3434.58/3446.23 c INPROCESSING 3434.58/3446.23 c GARBAGE COLLECT 3434.58/3446.23 c rational objective 135 3506.06/3517.91 c #Conflicts: 879000 | #Constraints: 66616 3506.06/3517.91 c #Conflicts: 880000 | #Constraints: 67616 3506.06/3517.91 c #Conflicts: 881000 | #Constraints: 68616 3506.06/3517.91 c #Conflicts: 882000 | #Constraints: 69616 3506.06/3517.91 c #Conflicts: 883000 | #Constraints: 70616 3506.06/3517.91 c #Conflicts: 884000 | #Constraints: 71616 3506.06/3517.91 c #Conflicts: 885000 | #Constraints: 72617 3506.06/3517.91 c #Conflicts: 886000 | #Constraints: 73617 3506.06/3517.91 c #Conflicts: 887000 | #Constraints: 74617 3506.06/3517.91 c #Conflicts: 888000 | #Constraints: 75617 3506.06/3517.91 c #Conflicts: 889000 | #Constraints: 76617 3506.06/3517.91 c #Conflicts: 890000 | #Constraints: 77617 3506.06/3517.91 c #Conflicts: 891000 | #Constraints: 78617 3506.06/3517.91 c #Conflicts: 892000 | #Constraints: 79617 3506.06/3517.91 c #Conflicts: 893000 | #Constraints: 80617 3506.06/3517.91 c #Conflicts: 894000 | #Constraints: 81617 3506.06/3517.91 c #Conflicts: 895000 | #Constraints: 82617 3506.06/3517.91 c #Conflicts: 896000 | #Constraints: 83617 3506.06/3517.91 c #Conflicts: 897000 | #Constraints: 84617 3506.06/3517.91 c #Conflicts: 898000 | #Constraints: 85617 3506.06/3517.91 c #Conflicts: 899000 | #Constraints: 86617 3506.06/3517.91 c #Conflicts: 900000 | #Constraints: 87617 3506.06/3517.91 c #Conflicts: 901000 | #Constraints: 88617 3506.06/3517.91 c #Conflicts: 902000 | #Constraints: 89617 3506.06/3517.91 c INPROCESSING 3506.06/3517.91 c GARBAGE COLLECT 3506.06/3517.91 c rational objective 135
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61053 MiB free)
memory of node 1: 64510 MiB (61854 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455628-1721464318/watcher-4455628-1721464318 -o /tmp/evaluation-result-4455628-1721464318/solver-4455628-1721464318 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721456922-1065996 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455628-1721464318.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1070690, runsolver pid=1070687
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.48 4.25 4.16 5/259 1070691
/proc/meminfo: memFree=125834280/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=61788 memory=30524 CPUtime=0.09 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 7318 0 0 0 8 1 0 0 20 0 1 0 198595933 63270912 7631 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 15447 7631 1687 922 0 7399 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61788 KiB
Current children cumulated memory: 30524 KiB
[startup+0.205596 s]*
/proc/loadavg: 4.48 4.25 4.16 5/259 1070691
/proc/meminfo: memFree=125832272/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=63412 memory=32900 CPUtime=0.2 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 7878 0 0 0 18 2 0 0 20 0 1 0 198595933 64933888 8225 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 15853 8225 1687 922 0 7805 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 63412 KiB
Current children cumulated memory: 32900 KiB
[startup+0.305613 s]*
/proc/loadavg: 4.48 4.25 4.16 5/259 1070691
/proc/meminfo: memFree=125830256/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=64560 memory=33956 CPUtime=0.3 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 8130 0 0 0 28 2 0 0 20 0 1 0 198595933 66109440 8489 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 16140 8489 1687 922 0 8092 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 64560 KiB
Current children cumulated memory: 33956 KiB
[startup+0.700204 s]
/proc/loadavg: 4.48 4.25 4.16 5/259 1070691
/proc/meminfo: memFree=125829136/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=66080 memory=35540 CPUtime=0.69 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 8516 0 0 0 67 2 0 0 20 0 1 0 198595933 67665920 8885 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 16520 8885 1687 922 0 8472 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 66080 KiB
Current children cumulated memory: 35540 KiB
[startup+1.50019 s]
/proc/loadavg: 4.48 4.25 4.16 5/259 1070693
/proc/meminfo: memFree=125824624/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=66080 memory=35540 CPUtime=1.48 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 8537 0 0 0 142 6 0 0 20 0 1 0 198595933 67665920 8885 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 16520 8885 1687 922 0 8472 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 66080 KiB
Current children cumulated memory: 35540 KiB
[startup+3.1055 s]
/proc/loadavg: 4.44 4.24 4.16 5/259 1070693
/proc/meminfo: memFree=125734708/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=68644 memory=41268 CPUtime=3.08 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 9308 0 0 0 298 10 0 0 20 0 1 0 198595933 70291456 10317 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 17161 10317 1827 922 0 9113 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 68644 KiB
Current children cumulated memory: 41268 KiB
[startup+6.30021 s]
/proc/loadavg: 4.44 4.24 4.16 5/259 1070693
/proc/meminfo: memFree=125693568/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=78068 memory=47496 CPUtime=6.27 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 10863 0 0 0 611 16 0 0 20 0 1 0 198595933 79941632 11874 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 19517 11874 1827 922 0 11469 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 78068 KiB
Current children cumulated memory: 47496 KiB
[startup+12.7002 s]
/proc/loadavg: 4.40 4.24 4.16 5/259 1070694
/proc/meminfo: memFree=125686564/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=80136 memory=49872 CPUtime=12.65 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 11484 0 0 0 1238 27 0 0 20 0 1 0 198595933 82059264 12468 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 20034 12468 1827 922 0 11986 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 80136 KiB
Current children cumulated memory: 49872 KiB
[startup+25.5002 s]
/proc/loadavg: 4.31 4.23 4.16 5/259 1070696
/proc/meminfo: memFree=125662676/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=83456 memory=53304 CPUtime=25.41 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 12367 0 0 0 2495 46 0 0 20 0 1 0 198595933 85458944 13326 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 20864 13326 1827 922 0 12816 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 83456 KiB
Current children cumulated memory: 53304 KiB
[startup+51.1056 s]
/proc/loadavg: 4.27 4.22 4.16 5/259 1070700
/proc/meminfo: memFree=125362132/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=129632 memory=99416 CPUtime=50.93 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 23347 0 0 0 5023 70 0 0 20 0 1 0 198595933 132743168 24854 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 32408 24854 1827 922 0 24360 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 129632 KiB
Current children cumulated memory: 99416 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.20 4.16 5/258 1070709
/proc/meminfo: memFree=125206700/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=175652 memory=144824 CPUtime=101.95 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 30804 0 0 0 10073 122 0 0 20 0 1 0 198595933 179867648 36206 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 43913 36206 1843 922 0 35865 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 175652 KiB
Current children cumulated memory: 144824 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.19 4.16 5/258 1070721
/proc/meminfo: memFree=125120324/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=227704 memory=189308 CPUtime=161.76 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 32206 0 0 0 15992 184 0 0 20 0 1 0 198595933 233168896 47327 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 56926 47327 1843 922 0 48878 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 227704 KiB
Current children cumulated memory: 189308 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.19 4.16 5/255 1070731
/proc/meminfo: memFree=124939316/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=236820 memory=198808 CPUtime=221.57 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 34633 0 0 0 21913 244 0 0 20 0 1 0 198595933 242503680 49702 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 59205 49702 1843 922 0 51157 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 236820 KiB
Current children cumulated memory: 198808 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.17 4.15 5/254 1070741
/proc/meminfo: memFree=124850728/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=243704 memory=205912 CPUtime=281.36 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 36415 0 0 0 27806 330 0 0 20 0 1 0 198595933 249552896 51478 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 60926 51478 1843 922 0 52878 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 243704 KiB
Current children cumulated memory: 205912 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.15 4.14 5/254 1070752
/proc/meminfo: memFree=124822400/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=252016 memory=213812 CPUtime=341.13 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 38388 0 0 0 33754 359 0 0 20 0 1 0 198595933 258064384 53453 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 63004 53453 1843 922 0 54956 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 252016 KiB
Current children cumulated memory: 213812 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/254 1070762
/proc/meminfo: memFree=124495024/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=558068 memory=456320 CPUtime=400.92 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 49945 0 0 0 39685 407 0 0 20 0 1 0 198595933 571461632 114080 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 139517 114080 1843 922 0 131469 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 558068 KiB
Current children cumulated memory: 456320 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.13 4.14 5/254 1070772
/proc/meminfo: memFree=124445860/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=562924 memory=468152 CPUtime=460.69 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 51392 0 0 0 45630 439 0 0 20 0 1 0 198595933 576434176 117038 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 140731 117038 1843 922 0 132683 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.25 4.17 4.11 5/257 1071822
/proc/meminfo: memFree=123160856/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=1307540 memory=957312 CPUtime=3091.77 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 111776 0 0 0 306701 2476 0 0 20 0 1 0 198595933 1338920960 239328 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 326885 239328 1965 922 0 318837 0
Current children cumulated CPU time: 3091.77 s
Current children cumulated vsize: 1307540 KiB
Current children cumulated memory: 957312 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/258 1071836
/proc/meminfo: memFree=123157740/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=1310100 memory=959728 CPUtime=3151.59 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 112598 0 0 0 312626 2533 0 0 20 0 1 0 198595933 1341542400 239932 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 327525 239932 1965 922 0 319477 0
Current children cumulated CPU time: 3151.59 s
Current children cumulated vsize: 1310100 KiB
Current children cumulated memory: 959728 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/258 1072231
/proc/meminfo: memFree=123155096/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=1311364 memory=961416 CPUtime=3211.39 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 113218 0 0 0 318554 2585 0 0 20 0 1 0 198595933 1342836736 240354 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 327841 240354 1965 922 0 319793 0
Current children cumulated CPU time: 3211.39 s
Current children cumulated vsize: 1311364 KiB
Current children cumulated memory: 961416 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/258 1072241
/proc/meminfo: memFree=123151100/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=1311364 memory=961416 CPUtime=3271.2 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 113431 0 0 0 324474 2646 0 0 20 0 1 0 198595933 1342836736 240354 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 327841 240354 1965 922 0 319793 0
Current children cumulated CPU time: 3271.2 s
Current children cumulated vsize: 1311364 KiB
Current children cumulated memory: 961416 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/258 1072252
/proc/meminfo: memFree=123149332/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=1311364 memory=961444 CPUtime=3331.01 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 113654 0 0 0 330403 2698 0 0 20 0 1 0 198595933 1342836736 240361 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 327841 240361 1965 922 0 319793 0
Current children cumulated CPU time: 3331.01 s
Current children cumulated vsize: 1311364 KiB
Current children cumulated memory: 961444 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/260 1072432
/proc/meminfo: memFree=123145236/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=1311364 memory=961480 CPUtime=3390.82 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 113879 0 0 0 336341 2741 0 0 20 0 1 0 198595933 1342836736 240370 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 327841 240370 1965 922 0 319793 0
Current children cumulated CPU time: 3390.82 s
Current children cumulated vsize: 1311364 KiB
Current children cumulated memory: 961480 KiB
[startup+3462.3 s]
/proc/loadavg: 3.64 4.00 4.05 4/252 1072474
/proc/meminfo: memFree=125320300/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=1318180 memory=968432 CPUtime=3450.64 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 115835 0 0 0 342286 2778 0 0 20 0 1 0 198595933 1349816320 242108 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 329545 242108 1965 922 0 321497 0
Current children cumulated CPU time: 3450.64 s
Current children cumulated vsize: 1318180 KiB
Current children cumulated memory: 968432 KiB
[startup+3522.3 s]
/proc/loadavg: 3.27 3.83 3.99 4/251 1072543
/proc/meminfo: memFree=125308440/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=1323692 memory=973944 CPUtime=3510.45 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 118613 0 0 0 348215 2830 0 0 20 0 1 0 198595933 1355460608 243486 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 330923 243486 1965 922 0 322875 0
Current children cumulated CPU time: 3510.45 s
Current children cumulated vsize: 1323692 KiB
Current children cumulated memory: 973944 KiB
[startup+3582.3 s]
/proc/loadavg: 3.20 3.71 3.94 4/252 1072554
/proc/meminfo: memFree=125294916/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=1326432 memory=976280 CPUtime=3570.25 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 119347 0 0 0 354137 2888 0 0 20 0 1 0 198595933 1358266368 244070 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 331608 244070 1965 922 0 323560 0
Current children cumulated CPU time: 3570.25 s
Current children cumulated vsize: 1326432 KiB
Current children cumulated memory: 976280 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.2 s]
/proc/loadavg: 2.90 3.59 3.89 2/238 1072620
/proc/meminfo: memFree=127163692/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=1326432 memory=976280 CPUtime=3600.07 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 119461 0 0 0 357102 2905 0 0 20 0 1 0 198595933 1358266368 244070 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 331608 244070 1965 922 0 323560 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1326432 KiB
Current children cumulated memory: 976280 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3614.22 s]
# the end of solver process 1070690 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3573.02 s, system=29.0754 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 2.90 3.59 3.89 2/238 1072620
/proc/meminfo: memFree=127163692/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=1326432 memory=976280 CPUtime=3600.67 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 119461 0 0 0 357162 2905 0 0 20 0 1 0 198595933 1358266368 244070 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 331608 244070 1965 922 0 323560 0
Current children cumulated CPU time: 3600.67 s
Current children cumulated vsize: 1326432 KiB
Current children cumulated memory: 976280 KiB
[startup+3613.6 s]
/proc/loadavg: 2.90 3.59 3.89 2/238 1072620
/proc/meminfo: memFree=127163700/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=1326432 memory=976280 CPUtime=3601.46 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 119461 0 0 0 357241 2905 0 0 20 0 1 0 198595933 1358266368 244070 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 331608 244070 1965 922 0 323560 0
Current children cumulated CPU time: 3601.46 s
Current children cumulated vsize: 1326432 KiB
Current children cumulated memory: 976280 KiB
[startup+3614 s]*
/proc/loadavg: 2.91 3.58 3.88 2/238 1072620
/proc/meminfo: memFree=127163728/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=1326432 memory=976280 CPUtime=3601.87 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 119461 0 0 0 357282 2905 0 0 20 0 1 0 198595933 1358266368 244070 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 331608 244070 1965 922 0 323560 0
Current children cumulated CPU time: 3601.87 s
Current children cumulated vsize: 1326432 KiB
Current children cumulated memory: 976280 KiB
[startup+3614.2 s]
/proc/loadavg: 2.91 3.58 3.88 2/238 1072620
/proc/meminfo: memFree=127163728/131524600 swapFree=131071996/131071996
[pid=1070690] ppid=1070687 vsize=1326432 memory=976280 CPUtime=3602.06 cores=0,2
/proc/1070690/stat : 1070690 (roundingsat) R 1070687 1070690 1065986 0 -1 4194304 119461 0 0 0 357301 2905 0 0 20 0 1 0 198595933 1358266368 244070 134679101440 4194304 7968373 140725023848048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33705984 140725023855548 140725023855712 140725023855712 140725023862729 0
/proc/1070690/statm: 331608 244070 1965 922 0 323560 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 1326432 KiB
Current children cumulated memory: 976280 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.22
CPU time (s): 3602.09
CPU user time (s): 3573.02
CPU system time (s): 29.0754
CPU usage (%): 99.6644
Max. virtual memory (cumulated for all children) (KiB): 1326432
Max. memory (cumulated for all children) (KiB): 976280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.02
system time used= 29.0754
maximum resident set size= 976280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119461
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66
involuntary context switches= 25239
# summary of solver processes directly reported to runsolver:
# pid: 1070690
# total CPU time (s): 3602.09
# total CPU user time (s): 3573.02
# total CPU system time (s): 29.0754
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.61029 second user time and 17.5168 second system time
The end
Begin job on nodeC022 at 2024-07-20 10:32:10 IDJOB=4455628 IDBENCH=158288 IDSOLVER=3084 FILE ID=nodeC022/4455628-1721464318 RUNJOBID= nodeC022-1721456922-1065996 SLURM_JOB_ID= 7545694 Free space on /tmp= 889952 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K135.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455628-1721464318/watcher-4455628-1721464318 -o /tmp/evaluation-result-4455628-1721464318/solver-4455628-1721464318 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721456922-1065996 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455628-1721464318.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a9d7c7f4b9c33e38d48644f753677e90 RANDOM SEED=103187364 nodeC022.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 : 3661.705 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.66 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 : 3687.225 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.96 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 : 3664.752 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.66 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.240 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.96 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 : 3678.426 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.66 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 : 3687.276 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.96 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 : 3626.468 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.66 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.946 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125858676 kB MemAvailable: 128642124 kB Buffers: 549716 kB Cached: 3057128 kB SwapCached: 0 kB Active: 1379632 kB Inactive: 3625468 kB Active(anon): 1572 kB Inactive(anon): 1442272 kB Active(file): 1378060 kB Inactive(file): 2183196 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 20016 kB Writeback: 0 kB AnonPages: 1397348 kB Mapped: 116932 kB Shmem: 45912 kB KReclaimable: 123680 kB Slab: 240628 kB SReclaimable: 123680 kB SUnreclaim: 116948 kB KernelStack: 4224 kB PageTables: 12348 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1891256 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 71968 kB HardwareCorrupted: 0 kB AnonHugePages: 782336 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: 260820 kB DirectMap2M: 28872704 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 890076 MiB End job on nodeC022 at 2024-07-20 11:32:25