| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.11 | 3609.31 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K139.opb |
| MD5SUM | 89642dc5a75d3fc73d0ef8fe6dbde459 |
| 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 | 16541 |
| Total number of constraints | 16821 |
| Number of constraints which are clauses | 16682 |
| Number of constraints which are cardinality constraints (but not clauses) | 139 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 139 |
| 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 | 140 |
| 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.21/0.22 c #variables 16541 #constraints 16821 196.18/196.78 c #Conflicts: 1000 | #Constraints: 17820 196.18/196.78 c #Conflicts: 2000 | #Constraints: 18820 196.18/196.78 c INPROCESSING 196.18/196.78 c GARBAGE COLLECT 196.18/196.78 c #Conflicts: 3000 | #Constraints: 18159 196.18/196.78 c #Conflicts: 4000 | #Constraints: 19159 196.18/196.78 c INPROCESSING 196.18/196.78 c GARBAGE COLLECT 196.18/196.78 c #Conflicts: 5000 | #Constraints: 18635 196.18/196.78 c #Conflicts: 6000 | #Constraints: 19635 196.18/196.78 c INPROCESSING 196.18/196.78 c GARBAGE COLLECT 196.18/196.78 c #Conflicts: 7000 | #Constraints: 18724 196.18/196.78 c #Conflicts: 8000 | #Constraints: 19724 196.18/196.78 c #Conflicts: 9000 | #Constraints: 20724 196.18/196.78 c INPROCESSING 196.18/196.78 c GARBAGE COLLECT 196.18/196.78 c #Conflicts: 10000 | #Constraints: 19478 196.18/196.78 c #Conflicts: 11000 | #Constraints: 20478 196.18/196.78 c #Conflicts: 12000 | #Constraints: 21478 196.18/196.78 c INPROCESSING 196.18/196.78 c GARBAGE COLLECT 196.18/196.78 c #Conflicts: 13000 | #Constraints: 19999 196.18/196.78 c #Conflicts: 14000 | #Constraints: 20999 196.18/196.78 c #Conflicts: 15000 | #Constraints: 21999 196.18/196.78 c INPROCESSING 196.18/196.78 c GARBAGE COLLECT 196.18/196.78 c #Conflicts: 16000 | #Constraints: 20240 196.18/196.78 c #Conflicts: 17000 | #Constraints: 21240 196.18/196.78 c #Conflicts: 18000 | #Constraints: 22240 196.18/196.78 c #Conflicts: 19000 | #Constraints: 23240 196.18/196.78 c #Conflicts: 20000 | #Constraints: 24240 196.18/196.78 c #Conflicts: 21000 | #Constraints: 25241 196.18/196.78 c #Conflicts: 22000 | #Constraints: 26241 196.18/196.78 c #Conflicts: 23000 | #Constraints: 27241 196.18/196.78 c #Conflicts: 24000 | #Constraints: 28241 196.18/196.78 c INPROCESSING 196.18/196.78 c GARBAGE COLLECT 196.18/196.78 c #Conflicts: 25000 | #Constraints: 23180 196.18/196.78 c #Conflicts: 26000 | #Constraints: 24180 196.18/196.78 c #Conflicts: 27000 | #Constraints: 25180 196.18/196.78 c #Conflicts: 28000 | #Constraints: 26180 196.18/196.78 c INPROCESSING 196.18/196.78 c GARBAGE COLLECT 196.18/196.78 c #Conflicts: 29000 | #Constraints: 22058 196.18/196.78 c #Conflicts: 30000 | #Constraints: 23058 196.18/196.78 c #Conflicts: 31000 | #Constraints: 24058 196.18/196.78 c #Conflicts: 32000 | #Constraints: 25058 196.18/196.78 c #Conflicts: 33000 | #Constraints: 26058 196.18/196.78 c INPROCESSING 196.18/196.78 c GARBAGE COLLECT 196.18/196.78 c #Conflicts: 34000 | #Constraints: 22265 196.18/196.78 c #Conflicts: 35000 | #Constraints: 23265 196.18/196.78 c #Conflicts: 36000 | #Constraints: 24265 196.18/196.78 c #Conflicts: 37000 | #Constraints: 25265 196.18/196.78 c #Conflicts: 38000 | #Constraints: 26265 196.18/196.78 c #Conflicts: 39000 | #Constraints: 27265 196.18/196.78 c #Conflicts: 40000 | #Constraints: 28265 196.18/196.78 c #Conflicts: 41000 | #Constraints: 29265 196.18/196.78 c #Conflicts: 42000 | #Constraints: 30265 196.18/196.78 c #Conflicts: 43000 | #Constraints: 31265 196.18/196.78 c #Conflicts: 44000 | #Constraints: 32265 196.18/196.78 c #Conflicts: 45000 | #Constraints: 33265 196.18/196.78 c #Conflicts: 46000 | #Constraints: 34265 196.18/196.78 c #Conflicts: 47000 | #Constraints: 35265 196.18/196.78 c INPROCESSING 196.18/196.78 c GARBAGE COLLECT 196.18/196.78 c #Conflicts: 48000 | #Constraints: 27059 196.18/196.78 c #Conflicts: 49000 | #Constraints: 28059 196.18/196.78 c #Conflicts: 50000 | #Constraints: 29059 196.18/196.78 c #Conflicts: 51000 | #Constraints: 30059 196.18/196.78 c #Conflicts: 52000 | #Constraints: 31059 196.18/196.78 c INPROCESSING 196.18/196.78 c GARBAGE COLLECT 196.18/196.78 c #Conflicts: 53000 | #Constraints: 24600 196.18/196.78 c #Conflicts: 54000 | #Constraints: 25600 196.18/196.78 c #Conflicts: 55000 | #Constraints: 26600 196.18/196.78 c #Conflicts: 56000 | #Constraints: 27600 196.18/196.78 c #Conflicts: 57000 | #Constraints: 28600 196.18/196.78 c #Conflicts: 58000 | #Constraints: 29600 196.18/196.78 c INPROCESSING 196.18/196.78 c GARBAGE COLLECT 196.18/196.78 c rational objective 139 595.16/596.77 c #Conflicts: 59000 | #Constraints: 23936 595.16/596.77 c #Conflicts: 60000 | #Constraints: 24936 595.16/596.77 c #Conflicts: 61000 | #Constraints: 25936 595.16/596.77 c #Conflicts: 62000 | #Constraints: 26936 595.16/596.77 c #Conflicts: 63000 | #Constraints: 27936 595.16/596.77 c #Conflicts: 64000 | #Constraints: 28936 595.16/596.77 c #Conflicts: 65000 | #Constraints: 29936 595.16/596.77 c #Conflicts: 66000 | #Constraints: 30936 595.16/596.77 c #Conflicts: 67000 | #Constraints: 31936 595.16/596.77 c #Conflicts: 68000 | #Constraints: 32936 595.16/596.77 c #Conflicts: 69000 | #Constraints: 33936 595.16/596.77 c #Conflicts: 70000 | #Constraints: 34936 595.16/596.77 c #Conflicts: 71000 | #Constraints: 35937 595.16/596.77 c #Conflicts: 72000 | #Constraints: 36937 595.16/596.77 c #Conflicts: 73000 | #Constraints: 37937 595.16/596.77 c #Conflicts: 74000 | #Constraints: 38937 595.16/596.77 c #Conflicts: 75000 | #Constraints: 39937 595.16/596.77 c #Conflicts: 76000 | #Constraints: 40937 595.16/596.77 c INPROCESSING 595.16/596.77 c GARBAGE COLLECT 595.16/596.77 c #Conflicts: 77000 | #Constraints: 29647 595.16/596.77 c #Conflicts: 78000 | #Constraints: 30647 595.16/596.77 c #Conflicts: 79000 | #Constraints: 31647 595.16/596.77 c #Conflicts: 80000 | #Constraints: 32647 595.16/596.77 c #Conflicts: 81000 | #Constraints: 33648 595.16/596.77 c #Conflicts: 82000 | #Constraints: 34648 595.16/596.77 c #Conflicts: 83000 | #Constraints: 35648 595.16/596.77 c #Conflicts: 84000 | #Constraints: 36648 595.16/596.77 c INPROCESSING 595.16/596.77 c GARBAGE COLLECT 595.16/596.77 c #Conflicts: 85000 | #Constraints: 27886 595.16/596.77 c #Conflicts: 86000 | #Constraints: 28886 595.16/596.77 c #Conflicts: 87000 | #Constraints: 29886 595.16/596.77 c #Conflicts: 88000 | #Constraints: 30886 595.16/596.77 c #Conflicts: 89000 | #Constraints: 31887 595.16/596.77 c #Conflicts: 90000 | #Constraints: 32887 595.16/596.77 c #Conflicts: 91000 | #Constraints: 33887 595.16/596.77 c INPROCESSING 595.16/596.77 c GARBAGE COLLECT 595.16/596.77 c #Conflicts: 92000 | #Constraints: 26305 595.16/596.77 c #Conflicts: 93000 | #Constraints: 27305 595.16/596.77 c #Conflicts: 94000 | #Constraints: 28305 595.16/596.77 c #Conflicts: 95000 | #Constraints: 29305 595.16/596.77 c #Conflicts: 96000 | #Constraints: 30305 595.16/596.77 c #Conflicts: 97000 | #Constraints: 31305 595.16/596.77 c #Conflicts: 98000 | #Constraints: 32305 595.16/596.77 c #Conflicts: 99000 | #Constraints: 33305 595.16/596.77 c #Conflicts: 100000 | #Constraints: 34305 595.16/596.77 c #Conflicts: 101000 | #Constraints: 35305 595.16/596.77 c #Conflicts: 102000 | #Constraints: 36305 595.16/596.77 c #Conflicts: 103000 | #Constraints: 37305 595.16/596.77 c #Conflicts: 104000 | #Constraints: 38305 595.16/596.77 c #Conflicts: 105000 | #Constraints: 39306 595.16/596.77 c #Conflicts: 106000 | #Constraints: 40306 595.16/596.77 c #Conflicts: 107000 | #Constraints: 41306 595.16/596.77 c #Conflicts: 108000 | #Constraints: 42306 595.16/596.77 c #Conflicts: 109000 | #Constraints: 43306 595.16/596.77 c #Conflicts: 110000 | #Constraints: 44306 595.16/596.77 c #Conflicts: 111000 | #Constraints: 45306 595.16/596.77 c #Conflicts: 112000 | #Constraints: 46306 595.16/596.77 c #Conflicts: 113000 | #Constraints: 47306 595.16/596.77 c INPROCESSING 595.16/596.77 c GARBAGE COLLECT 595.16/596.77 c #Conflicts: 114000 | #Constraints: 32982 595.16/596.77 c #Conflicts: 115000 | #Constraints: 33982 595.16/596.77 c #Conflicts: 116000 | #Constraints: 34982 595.16/596.77 c #Conflicts: 117000 | #Constraints: 35982 595.16/596.77 c #Conflicts: 118000 | #Constraints: 36982 595.16/596.77 c #Conflicts: 119000 | #Constraints: 37982 595.16/596.77 c #Conflicts: 120000 | #Constraints: 38982 595.16/596.77 c #Conflicts: 121000 | #Constraints: 39983 595.16/596.77 c #Conflicts: 122000 | #Constraints: 40983 595.16/596.77 c INPROCESSING 595.16/596.77 c GARBAGE COLLECT 595.16/596.77 c rational objective 139 755.55/757.51 c #Conflicts: 123000 | #Constraints: 29951 755.55/757.51 c #Conflicts: 124000 | #Constraints: 30951 755.55/757.51 c #Conflicts: 125000 | #Constraints: 31951 755.55/757.51 c #Conflicts: 126000 | #Constraints: 32951 755.55/757.51 c #Conflicts: 127000 | #Constraints: 33951 755.55/757.51 c #Conflicts: 128000 | #Constraints: 34951 755.55/757.51 c #Conflicts: 129000 | #Constraints: 35951 755.55/757.51 c #Conflicts: 130000 | #Constraints: 36951 755.55/757.51 c #Conflicts: 131000 | #Constraints: 37951 755.55/757.51 c INPROCESSING 755.55/757.51 c GARBAGE COLLECT 755.55/757.51 c #Conflicts: 132000 | #Constraints: 28882 755.55/757.51 c #Conflicts: 133000 | #Constraints: 29882 755.55/757.51 c #Conflicts: 134000 | #Constraints: 30882 755.55/757.51 c #Conflicts: 135000 | #Constraints: 31883 755.55/757.51 c #Conflicts: 136000 | #Constraints: 32883 755.55/757.51 c #Conflicts: 137000 | #Constraints: 33883 755.55/757.51 c #Conflicts: 138000 | #Constraints: 34883 755.55/757.51 c #Conflicts: 139000 | #Constraints: 35883 755.55/757.51 c #Conflicts: 140000 | #Constraints: 36883 755.55/757.51 c #Conflicts: 141000 | #Constraints: 37883 755.55/757.51 c #Conflicts: 142000 | #Constraints: 38883 755.55/757.51 c #Conflicts: 143000 | #Constraints: 39883 755.55/757.51 c #Conflicts: 144000 | #Constraints: 40883 755.55/757.51 c #Conflicts: 145000 | #Constraints: 41883 755.55/757.51 c #Conflicts: 146000 | #Constraints: 42883 755.55/757.51 c #Conflicts: 147000 | #Constraints: 43883 755.55/757.51 c #Conflicts: 148000 | #Constraints: 44883 755.55/757.51 c #Conflicts: 149000 | #Constraints: 45883 755.55/757.51 c #Conflicts: 150000 | #Constraints: 46883 755.55/757.51 c #Conflicts: 151000 | #Constraints: 47883 755.55/757.51 c #Conflicts: 152000 | #Constraints: 48884 755.55/757.51 c #Conflicts: 153000 | #Constraints: 49884 755.55/757.51 c #Conflicts: 154000 | #Constraints: 50884 755.55/757.51 c #Conflicts: 155000 | #Constraints: 51884 755.55/757.51 c #Conflicts: 156000 | #Constraints: 52884 755.55/757.51 c #Conflicts: 157000 | #Constraints: 53884 755.55/757.51 c INPROCESSING 755.55/757.51 c GARBAGE COLLECT 755.55/757.51 c #Conflicts: 158000 | #Constraints: 36365 755.55/757.51 c #Conflicts: 159000 | #Constraints: 37365 755.55/757.51 c #Conflicts: 160000 | #Constraints: 38365 755.55/757.51 c #Conflicts: 161000 | #Constraints: 39365 755.55/757.51 c #Conflicts: 162000 | #Constraints: 40365 755.55/757.51 c #Conflicts: 163000 | #Constraints: 41365 755.55/757.51 c #Conflicts: 164000 | #Constraints: 42365 755.55/757.51 c #Conflicts: 165000 | #Constraints: 43365 755.55/757.51 c #Conflicts: 166000 | #Constraints: 44365 755.55/757.51 c #Conflicts: 167000 | #Constraints: 45365 755.55/757.51 c #Conflicts: 168000 | #Constraints: 46365 755.55/757.51 c INPROCESSING 755.55/757.51 c GARBAGE COLLECT 755.55/757.51 c #Conflicts: 169000 | #Constraints: 32895 755.55/757.51 c #Conflicts: 170000 | #Constraints: 33895 755.55/757.51 c #Conflicts: 171000 | #Constraints: 34895 755.55/757.51 c #Conflicts: 172000 | #Constraints: 35895 755.55/757.51 c #Conflicts: 173000 | #Constraints: 36895 755.55/757.51 c #Conflicts: 174000 | #Constraints: 37895 755.55/757.51 c #Conflicts: 175000 | #Constraints: 38895 755.55/757.51 c #Conflicts: 176000 | #Constraints: 39895 755.55/757.51 c #Conflicts: 177000 | #Constraints: 40895 755.55/757.51 c #Conflicts: 178000 | #Constraints: 41895 755.55/757.51 c INPROCESSING 755.55/757.51 c GARBAGE COLLECT 755.55/757.51 c #Conflicts: 179000 | #Constraints: 31442 755.55/757.51 c #Conflicts: 180000 | #Constraints: 32442 755.55/757.51 c #Conflicts: 181000 | #Constraints: 33442 755.55/757.51 c #Conflicts: 182000 | #Constraints: 34442 755.55/757.51 c #Conflicts: 183000 | #Constraints: 35442 755.55/757.51 c #Conflicts: 184000 | #Constraints: 36443 755.55/757.51 c #Conflicts: 185000 | #Constraints: 37443 755.55/757.51 c #Conflicts: 186000 | #Constraints: 38443 755.55/757.51 c #Conflicts: 187000 | #Constraints: 39443 755.55/757.51 c #Conflicts: 188000 | #Constraints: 40443 755.55/757.51 c #Conflicts: 189000 | #Constraints: 41443 755.55/757.51 c #Conflicts: 190000 | #Constraints: 42443 755.55/757.51 c #Conflicts: 191000 | #Constraints: 43443 755.55/757.51 c #Conflicts: 192000 | #Constraints: 44443 755.55/757.51 c #Conflicts: 193000 | #Constraints: 45443 755.55/757.51 c #Conflicts: 194000 | #Constraints: 46443 755.55/757.51 c #Conflicts: 195000 | #Constraints: 47443 755.55/757.51 c #Conflicts: 196000 | #Constraints: 48443 755.55/757.51 c #Conflicts: 197000 | #Constraints: 49443 755.55/757.51 c #Conflicts: 198000 | #Constraints: 50443 755.55/757.51 c #Conflicts: 199000 | #Constraints: 51443 937.92/940.36 c #Conflicts: 200000 | #Constraints: 52443 937.92/940.36 c #Conflicts: 201000 | #Constraints: 53443 937.92/940.36 c #Conflicts: 202000 | #Constraints: 54443 937.92/940.36 c #Conflicts: 203000 | #Constraints: 55443 937.92/940.36 c #Conflicts: 204000 | #Constraints: 56443 937.92/940.36 c #Conflicts: 205000 | #Constraints: 57443 937.92/940.36 c #Conflicts: 206000 | #Constraints: 58443 937.92/940.36 c #Conflicts: 207000 | #Constraints: 59444 937.92/940.36 c #Conflicts: 208000 | #Constraints: 60444 937.92/940.36 c #Conflicts: 209000 | #Constraints: 61444 937.92/940.36 c INPROCESSING 937.92/940.36 c GARBAGE COLLECT 937.92/940.36 c #Conflicts: 210000 | #Constraints: 40519 937.92/940.36 c #Conflicts: 211000 | #Constraints: 41519 937.92/940.36 c #Conflicts: 212000 | #Constraints: 42519 937.92/940.36 c #Conflicts: 213000 | #Constraints: 43519 937.92/940.36 c #Conflicts: 214000 | #Constraints: 44519 937.92/940.36 c #Conflicts: 215000 | #Constraints: 45519 937.92/940.36 c #Conflicts: 216000 | #Constraints: 46519 937.92/940.36 c #Conflicts: 217000 | #Constraints: 47519 937.92/940.36 c #Conflicts: 218000 | #Constraints: 48519 937.92/940.37 c #Conflicts: 219000 | #Constraints: 49519 937.92/940.37 c #Conflicts: 220000 | #Constraints: 50519 937.92/940.37 c INPROCESSING 937.92/940.37 c GARBAGE COLLECT 937.92/940.37 c #Conflicts: 221000 | #Constraints: 34675 937.92/940.37 c #Conflicts: 222000 | #Constraints: 35675 937.92/940.37 c #Conflicts: 223000 | #Constraints: 36675 937.92/940.37 c #Conflicts: 224000 | #Constraints: 37676 937.92/940.37 c #Conflicts: 225000 | #Constraints: 38676 937.92/940.37 c #Conflicts: 226000 | #Constraints: 39676 937.92/940.37 c #Conflicts: 227000 | #Constraints: 40676 937.92/940.37 c #Conflicts: 228000 | #Constraints: 41676 937.92/940.37 c #Conflicts: 229000 | #Constraints: 42676 937.92/940.37 c #Conflicts: 230000 | #Constraints: 43676 937.92/940.37 c #Conflicts: 231000 | #Constraints: 44676 937.92/940.37 c #Conflicts: 232000 | #Constraints: 45676 937.92/940.37 c INPROCESSING 937.92/940.37 c GARBAGE COLLECT 937.92/940.37 c #Conflicts: 233000 | #Constraints: 33247 937.92/940.37 c #Conflicts: 234000 | #Constraints: 34247 937.92/940.37 c #Conflicts: 235000 | #Constraints: 35247 937.92/940.37 c #Conflicts: 236000 | #Constraints: 36247 937.92/940.37 c #Conflicts: 237000 | #Constraints: 37248 937.92/940.37 c #Conflicts: 238000 | #Constraints: 38248 937.92/940.37 c #Conflicts: 239000 | #Constraints: 39248 937.92/940.37 c #Conflicts: 240000 | #Constraints: 40248 937.92/940.37 c #Conflicts: 241000 | #Constraints: 41248 937.92/940.37 c #Conflicts: 242000 | #Constraints: 42248 937.92/940.37 c #Conflicts: 243000 | #Constraints: 43248 937.92/940.37 c #Conflicts: 244000 | #Constraints: 44250 937.92/940.37 c #Conflicts: 245000 | #Constraints: 45250 937.92/940.37 c #Conflicts: 246000 | #Constraints: 46250 937.92/940.37 c #Conflicts: 247000 | #Constraints: 47250 937.92/940.37 c #Conflicts: 248000 | #Constraints: 48250 937.92/940.37 c #Conflicts: 249000 | #Constraints: 49250 937.92/940.37 c #Conflicts: 250000 | #Constraints: 50250 937.92/940.37 c #Conflicts: 251000 | #Constraints: 51251 937.92/940.37 c #Conflicts: 252000 | #Constraints: 52251 937.92/940.37 c #Conflicts: 253000 | #Constraints: 53252 937.92/940.37 c #Conflicts: 254000 | #Constraints: 54252 937.92/940.37 c #Conflicts: 255000 | #Constraints: 55252 937.92/940.37 c #Conflicts: 256000 | #Constraints: 56252 937.92/940.37 c #Conflicts: 257000 | #Constraints: 57252 937.92/940.37 c #Conflicts: 258000 | #Constraints: 58252 937.92/940.37 c #Conflicts: 259000 | #Constraints: 59252 937.92/940.37 c #Conflicts: 260000 | #Constraints: 60252 937.92/940.37 c #Conflicts: 261000 | #Constraints: 61252 937.92/940.37 c #Conflicts: 262000 | #Constraints: 62252 937.92/940.37 c #Conflicts: 263000 | #Constraints: 63252 937.92/940.37 c #Conflicts: 264000 | #Constraints: 64252 937.92/940.37 c #Conflicts: 265000 | #Constraints: 65252 937.92/940.37 c #Conflicts: 266000 | #Constraints: 66252 937.92/940.37 c #Conflicts: 267000 | #Constraints: 67253 937.92/940.37 c INPROCESSING 937.92/940.37 c GARBAGE COLLECT 937.92/940.37 c rational objective 139 979.81/982.32 c #Conflicts: 268000 | #Constraints: 43233 979.81/982.32 c #Conflicts: 269000 | #Constraints: 44233 979.81/982.32 c #Conflicts: 270000 | #Constraints: 45233 979.81/982.32 c #Conflicts: 271000 | #Constraints: 46233 979.81/982.32 c #Conflicts: 272000 | #Constraints: 47233 979.81/982.32 c #Conflicts: 273000 | #Constraints: 48233 979.81/982.32 c #Conflicts: 274000 | #Constraints: 49233 979.81/982.32 c #Conflicts: 275000 | #Constraints: 50233 979.81/982.32 c #Conflicts: 276000 | #Constraints: 51233 979.81/982.32 c #Conflicts: 277000 | #Constraints: 52233 979.81/982.32 c #Conflicts: 278000 | #Constraints: 53233 979.81/982.32 c #Conflicts: 279000 | #Constraints: 54233 979.81/982.32 c #Conflicts: 280000 | #Constraints: 55233 979.81/982.32 c INPROCESSING 979.81/982.32 c GARBAGE COLLECT 979.81/982.32 c rational objective 139 1008.55/1011.11 c #Conflicts: 281000 | #Constraints: 37250 1008.55/1011.11 c #Conflicts: 282000 | #Constraints: 38250 1008.55/1011.11 c #Conflicts: 283000 | #Constraints: 39250 1008.55/1011.11 c #Conflicts: 284000 | #Constraints: 40250 1008.55/1011.11 c #Conflicts: 285000 | #Constraints: 41250 1008.55/1011.11 c #Conflicts: 286000 | #Constraints: 42250 1008.55/1011.11 c #Conflicts: 287000 | #Constraints: 43250 1008.55/1011.11 c #Conflicts: 288000 | #Constraints: 44250 1008.55/1011.11 c #Conflicts: 289000 | #Constraints: 45250 1008.55/1011.11 c #Conflicts: 290000 | #Constraints: 46250 1008.55/1011.11 c #Conflicts: 291000 | #Constraints: 47250 1008.55/1011.11 c #Conflicts: 292000 | #Constraints: 48250 1008.55/1011.11 c #Conflicts: 293000 | #Constraints: 49250 1008.55/1011.11 c #Conflicts: 294000 | #Constraints: 50250 1008.55/1011.11 c INPROCESSING 1008.55/1011.11 c GARBAGE COLLECT 1008.55/1011.11 c rational objective 139 1121.75/1124.67 c #Conflicts: 295000 | #Constraints: 36979 1121.75/1124.67 c #Conflicts: 296000 | #Constraints: 37980 1121.75/1124.67 c #Conflicts: 297000 | #Constraints: 38980 1121.75/1124.67 c #Conflicts: 298000 | #Constraints: 39980 1121.75/1124.67 c #Conflicts: 299000 | #Constraints: 40981 1121.75/1124.67 c #Conflicts: 300000 | #Constraints: 41981 1121.75/1124.67 c #Conflicts: 301000 | #Constraints: 42981 1121.75/1124.67 c #Conflicts: 302000 | #Constraints: 43981 1121.75/1124.67 c #Conflicts: 303000 | #Constraints: 44981 1121.75/1124.67 c #Conflicts: 304000 | #Constraints: 45981 1121.75/1124.67 c #Conflicts: 305000 | #Constraints: 46981 1121.75/1124.67 c #Conflicts: 306000 | #Constraints: 47981 1121.75/1124.67 c #Conflicts: 307000 | #Constraints: 48981 1121.75/1124.67 c #Conflicts: 308000 | #Constraints: 49981 1121.75/1124.67 c #Conflicts: 309000 | #Constraints: 50981 1121.75/1124.67 c #Conflicts: 310000 | #Constraints: 51981 1121.75/1124.67 c #Conflicts: 311000 | #Constraints: 52981 1121.75/1124.67 c #Conflicts: 312000 | #Constraints: 53981 1121.75/1124.67 c #Conflicts: 313000 | #Constraints: 54981 1121.75/1124.67 c #Conflicts: 314000 | #Constraints: 55981 1121.75/1124.67 c #Conflicts: 315000 | #Constraints: 56981 1121.75/1124.67 c #Conflicts: 316000 | #Constraints: 57981 1121.75/1124.67 c #Conflicts: 317000 | #Constraints: 58981 1121.75/1124.67 c #Conflicts: 318000 | #Constraints: 59981 1121.75/1124.67 c #Conflicts: 319000 | #Constraints: 60981 1121.75/1124.67 c #Conflicts: 320000 | #Constraints: 61981 1121.75/1124.67 c #Conflicts: 321000 | #Constraints: 62981 1121.75/1124.67 c #Conflicts: 322000 | #Constraints: 63981 1121.75/1124.67 c #Conflicts: 323000 | #Constraints: 64981 1121.75/1124.67 c #Conflicts: 324000 | #Constraints: 65981 1121.75/1124.67 c #Conflicts: 325000 | #Constraints: 66981 1121.75/1124.67 c #Conflicts: 326000 | #Constraints: 67981 1121.75/1124.67 c #Conflicts: 327000 | #Constraints: 68981 1121.75/1124.67 c #Conflicts: 328000 | #Constraints: 69981 1121.75/1124.67 c #Conflicts: 329000 | #Constraints: 70981 1121.75/1124.67 c #Conflicts: 330000 | #Constraints: 71981 1121.75/1124.67 c #Conflicts: 331000 | #Constraints: 72981 1121.75/1124.67 c #Conflicts: 332000 | #Constraints: 73981 1121.75/1124.67 c #Conflicts: 333000 | #Constraints: 74981 1121.75/1124.67 c INPROCESSING 1121.75/1124.67 c GARBAGE COLLECT 1121.75/1124.67 c rational objective 139 1176.31/1179.35 c #Conflicts: 334000 | #Constraints: 47457 1176.31/1179.35 c #Conflicts: 335000 | #Constraints: 48457 1176.31/1179.35 c #Conflicts: 336000 | #Constraints: 49457 1176.31/1179.35 c #Conflicts: 337000 | #Constraints: 50457 1176.31/1179.35 c #Conflicts: 338000 | #Constraints: 51457 1176.31/1179.35 c #Conflicts: 339000 | #Constraints: 52457 1176.31/1179.35 c #Conflicts: 340000 | #Constraints: 53457 1176.31/1179.35 c #Conflicts: 341000 | #Constraints: 54457 1176.31/1179.35 c #Conflicts: 342000 | #Constraints: 55458 1176.31/1179.35 c #Conflicts: 343000 | #Constraints: 56458 1176.31/1179.35 c #Conflicts: 344000 | #Constraints: 57458 1176.31/1179.35 c #Conflicts: 345000 | #Constraints: 58458 1176.31/1179.35 c #Conflicts: 346000 | #Constraints: 59458 1176.31/1179.35 c #Conflicts: 347000 | #Constraints: 60458 1176.31/1179.35 c #Conflicts: 348000 | #Constraints: 61458 1176.31/1179.35 c INPROCESSING 1176.31/1179.35 c GARBAGE COLLECT 1176.31/1179.35 c rational objective 139 1280.15/1283.46 c #Conflicts: 349000 | #Constraints: 40667 1280.15/1283.46 c #Conflicts: 350000 | #Constraints: 41667 1280.15/1283.46 c #Conflicts: 351000 | #Constraints: 42667 1280.15/1283.46 c #Conflicts: 352000 | #Constraints: 43667 1280.15/1283.46 c #Conflicts: 353000 | #Constraints: 44667 1280.15/1283.46 c #Conflicts: 354000 | #Constraints: 45668 1280.15/1283.46 c #Conflicts: 355000 | #Constraints: 46668 1280.15/1283.46 c #Conflicts: 356000 | #Constraints: 47668 1280.15/1283.46 c #Conflicts: 357000 | #Constraints: 48668 1280.15/1283.46 c #Conflicts: 358000 | #Constraints: 49668 1280.15/1283.46 c #Conflicts: 359000 | #Constraints: 50668 1280.15/1283.46 c #Conflicts: 360000 | #Constraints: 51668 1280.15/1283.46 c #Conflicts: 361000 | #Constraints: 52668 1280.15/1283.46 c #Conflicts: 362000 | #Constraints: 53668 1280.15/1283.46 c #Conflicts: 363000 | #Constraints: 54668 1280.15/1283.46 c INPROCESSING 1280.15/1283.46 c GARBAGE COLLECT 1280.15/1283.46 c rational objective 139 1473.57/1477.30 c #Conflicts: 364000 | #Constraints: 40188 1473.57/1477.30 c #Conflicts: 365000 | #Constraints: 41188 1473.57/1477.30 c #Conflicts: 366000 | #Constraints: 42188 1473.57/1477.30 c #Conflicts: 367000 | #Constraints: 43188 1473.57/1477.30 c #Conflicts: 368000 | #Constraints: 44189 1473.57/1477.30 c #Conflicts: 369000 | #Constraints: 45189 1473.57/1477.30 c #Conflicts: 370000 | #Constraints: 46190 1473.57/1477.30 c #Conflicts: 371000 | #Constraints: 47190 1473.57/1477.30 c #Conflicts: 372000 | #Constraints: 48190 1473.57/1477.30 c #Conflicts: 373000 | #Constraints: 49190 1473.57/1477.30 c #Conflicts: 374000 | #Constraints: 50190 1473.57/1477.30 c #Conflicts: 375000 | #Constraints: 51190 1473.57/1477.30 c #Conflicts: 376000 | #Constraints: 52190 1473.57/1477.30 c #Conflicts: 377000 | #Constraints: 53190 1473.57/1477.30 c #Conflicts: 378000 | #Constraints: 54190 1473.57/1477.30 c #Conflicts: 379000 | #Constraints: 55190 1473.57/1477.30 c #Conflicts: 380000 | #Constraints: 56190 1473.57/1477.30 c #Conflicts: 381000 | #Constraints: 57190 1473.57/1477.30 c #Conflicts: 382000 | #Constraints: 58191 1473.57/1477.30 c #Conflicts: 383000 | #Constraints: 59191 1473.57/1477.30 c #Conflicts: 384000 | #Constraints: 60191 1473.57/1477.30 c #Conflicts: 385000 | #Constraints: 61191 1473.57/1477.30 c #Conflicts: 386000 | #Constraints: 62191 1473.57/1477.30 c #Conflicts: 387000 | #Constraints: 63191 1473.57/1477.30 c #Conflicts: 388000 | #Constraints: 64191 1473.57/1477.30 c #Conflicts: 389000 | #Constraints: 65191 1473.57/1477.30 c #Conflicts: 390000 | #Constraints: 66191 1473.57/1477.30 c #Conflicts: 391000 | #Constraints: 67191 1473.57/1477.30 c #Conflicts: 392000 | #Constraints: 68191 1473.57/1477.30 c #Conflicts: 393000 | #Constraints: 69191 1473.57/1477.30 c #Conflicts: 394000 | #Constraints: 70191 1473.57/1477.30 c #Conflicts: 395000 | #Constraints: 71191 1473.57/1477.30 c #Conflicts: 396000 | #Constraints: 72191 1473.57/1477.30 c #Conflicts: 397000 | #Constraints: 73191 1473.57/1477.30 c #Conflicts: 398000 | #Constraints: 74191 1473.57/1477.30 c #Conflicts: 399000 | #Constraints: 75192 1473.57/1477.30 c #Conflicts: 400000 | #Constraints: 76192 1473.57/1477.30 c #Conflicts: 401000 | #Constraints: 77192 1473.57/1477.30 c #Conflicts: 402000 | #Constraints: 78192 1473.57/1477.30 c #Conflicts: 403000 | #Constraints: 79192 1473.57/1477.30 c #Conflicts: 404000 | #Constraints: 80192 1473.57/1477.30 c #Conflicts: 405000 | #Constraints: 81192 1473.57/1477.30 c #Conflicts: 406000 | #Constraints: 82192 1473.57/1477.30 c INPROCESSING 1473.57/1477.30 c GARBAGE COLLECT 1473.57/1477.30 c rational objective 139 1543.79/1547.70 c #Conflicts: 407000 | #Constraints: 51017 1543.79/1547.70 c #Conflicts: 408000 | #Constraints: 52017 1543.79/1547.70 c #Conflicts: 409000 | #Constraints: 53017 1543.79/1547.70 c #Conflicts: 410000 | #Constraints: 54017 1543.79/1547.70 c #Conflicts: 411000 | #Constraints: 55017 1543.79/1547.70 c #Conflicts: 412000 | #Constraints: 56017 1543.79/1547.70 c #Conflicts: 413000 | #Constraints: 57017 1543.79/1547.70 c #Conflicts: 414000 | #Constraints: 58017 1543.79/1547.70 c #Conflicts: 415000 | #Constraints: 59018 1543.79/1547.70 c #Conflicts: 416000 | #Constraints: 60018 1543.79/1547.70 c #Conflicts: 417000 | #Constraints: 61018 1543.79/1547.70 c #Conflicts: 418000 | #Constraints: 62018 1543.79/1547.70 c #Conflicts: 419000 | #Constraints: 63018 1543.79/1547.70 c #Conflicts: 420000 | #Constraints: 64018 1543.79/1547.70 c #Conflicts: 421000 | #Constraints: 65018 1543.79/1547.70 c #Conflicts: 422000 | #Constraints: 66018 1543.79/1547.70 c INPROCESSING 1543.79/1547.70 c GARBAGE COLLECT 1543.79/1547.70 c rational objective 139 1735.89/1740.32 c #Conflicts: 423000 | #Constraints: 42937 1735.89/1740.32 c #Conflicts: 424000 | #Constraints: 43937 1735.89/1740.32 c #Conflicts: 425000 | #Constraints: 44937 1735.89/1740.32 c #Conflicts: 426000 | #Constraints: 45937 1735.89/1740.32 c #Conflicts: 427000 | #Constraints: 46937 1735.89/1740.32 c #Conflicts: 428000 | #Constraints: 47937 1735.89/1740.32 c #Conflicts: 429000 | #Constraints: 48938 1735.89/1740.32 c #Conflicts: 430000 | #Constraints: 49938 1735.89/1740.32 c #Conflicts: 431000 | #Constraints: 50938 1735.89/1740.32 c #Conflicts: 432000 | #Constraints: 51938 1735.89/1740.32 c #Conflicts: 433000 | #Constraints: 52938 1735.89/1740.32 c #Conflicts: 434000 | #Constraints: 53938 1735.89/1740.32 c #Conflicts: 435000 | #Constraints: 54938 1735.89/1740.32 c #Conflicts: 436000 | #Constraints: 55938 1735.89/1740.32 c #Conflicts: 437000 | #Constraints: 56938 1735.89/1740.32 c #Conflicts: 438000 | #Constraints: 57938 1735.89/1740.32 c #Conflicts: 439000 | #Constraints: 58938 1735.89/1740.32 c #Conflicts: 440000 | #Constraints: 59938 1735.89/1740.32 c #Conflicts: 441000 | #Constraints: 60938 1735.89/1740.32 c #Conflicts: 442000 | #Constraints: 61938 1735.89/1740.32 c #Conflicts: 443000 | #Constraints: 62939 1735.89/1740.32 c #Conflicts: 444000 | #Constraints: 63939 1735.89/1740.32 c #Conflicts: 445000 | #Constraints: 64939 1735.89/1740.32 c #Conflicts: 446000 | #Constraints: 65939 1735.89/1740.32 c #Conflicts: 447000 | #Constraints: 66939 1735.89/1740.32 c #Conflicts: 448000 | #Constraints: 67939 1735.89/1740.32 c #Conflicts: 449000 | #Constraints: 68939 1735.89/1740.32 c #Conflicts: 450000 | #Constraints: 69939 1735.89/1740.32 c #Conflicts: 451000 | #Constraints: 70939 1735.89/1740.32 c #Conflicts: 452000 | #Constraints: 71939 1735.89/1740.32 c #Conflicts: 453000 | #Constraints: 72939 1735.89/1740.32 c #Conflicts: 454000 | #Constraints: 73939 1735.89/1740.32 c #Conflicts: 455000 | #Constraints: 74939 1735.89/1740.32 c #Conflicts: 456000 | #Constraints: 75939 1735.89/1740.32 c #Conflicts: 457000 | #Constraints: 76939 1735.89/1740.32 c #Conflicts: 458000 | #Constraints: 77939 1735.89/1740.32 c #Conflicts: 459000 | #Constraints: 78939 1735.89/1740.32 c #Conflicts: 460000 | #Constraints: 79940 1735.89/1740.32 c #Conflicts: 461000 | #Constraints: 80940 1735.89/1740.32 c #Conflicts: 462000 | #Constraints: 81940 1735.89/1740.32 c #Conflicts: 463000 | #Constraints: 82940 1735.89/1740.32 c #Conflicts: 464000 | #Constraints: 83940 1735.89/1740.32 c #Conflicts: 465000 | #Constraints: 84940 1735.89/1740.32 c #Conflicts: 466000 | #Constraints: 85940 1735.89/1740.32 c #Conflicts: 467000 | #Constraints: 86940 1735.89/1740.32 c #Conflicts: 468000 | #Constraints: 87941 1735.89/1740.32 c INPROCESSING 1735.89/1740.32 c GARBAGE COLLECT 1735.89/1740.32 c rational objective 139 1823.26/1827.91 c #Conflicts: 469000 | #Constraints: 53854 1823.26/1827.91 c #Conflicts: 470000 | #Constraints: 54854 1823.26/1827.91 c #Conflicts: 471000 | #Constraints: 55854 1823.26/1827.91 c #Conflicts: 472000 | #Constraints: 56854 1823.26/1827.91 c #Conflicts: 473000 | #Constraints: 57854 1823.26/1827.91 c #Conflicts: 474000 | #Constraints: 58854 1823.26/1827.91 c #Conflicts: 475000 | #Constraints: 59854 1823.26/1827.91 c #Conflicts: 476000 | #Constraints: 60854 1823.26/1827.91 c #Conflicts: 477000 | #Constraints: 61854 1823.26/1827.91 c #Conflicts: 478000 | #Constraints: 62854 1823.26/1827.91 c #Conflicts: 479000 | #Constraints: 63854 1823.26/1827.91 c #Conflicts: 480000 | #Constraints: 64854 1823.26/1827.91 c #Conflicts: 481000 | #Constraints: 65855 1823.26/1827.91 c #Conflicts: 482000 | #Constraints: 66855 1823.26/1827.91 c #Conflicts: 483000 | #Constraints: 67855 1823.26/1827.91 c #Conflicts: 484000 | #Constraints: 68856 1823.26/1827.91 c #Conflicts: 485000 | #Constraints: 69856 1823.26/1827.91 c #Conflicts: 486000 | #Constraints: 70857 1823.26/1827.91 c INPROCESSING 1823.26/1827.91 c GARBAGE COLLECT 1823.26/1827.91 c rational objective 139 2148.74/2154.26 c #Conflicts: 487000 | #Constraints: 45290 2148.74/2154.26 c #Conflicts: 488000 | #Constraints: 46290 2148.74/2154.26 c #Conflicts: 489000 | #Constraints: 47291 2148.74/2154.26 c #Conflicts: 490000 | #Constraints: 48291 2148.74/2154.26 c #Conflicts: 491000 | #Constraints: 49291 2148.74/2154.26 c #Conflicts: 492000 | #Constraints: 50291 2148.74/2154.26 c #Conflicts: 493000 | #Constraints: 51291 2148.74/2154.26 c #Conflicts: 494000 | #Constraints: 52291 2148.74/2154.26 c #Conflicts: 495000 | #Constraints: 53291 2148.74/2154.26 c #Conflicts: 496000 | #Constraints: 54292 2148.74/2154.26 c #Conflicts: 497000 | #Constraints: 55292 2148.74/2154.26 c #Conflicts: 498000 | #Constraints: 56292 2148.74/2154.26 c #Conflicts: 499000 | #Constraints: 57292 2148.74/2154.26 c #Conflicts: 500000 | #Constraints: 58292 2148.74/2154.26 c #Conflicts: 501000 | #Constraints: 59292 2148.74/2154.26 c #Conflicts: 502000 | #Constraints: 60293 2148.74/2154.26 c #Conflicts: 503000 | #Constraints: 61293 2148.74/2154.26 c #Conflicts: 504000 | #Constraints: 62293 2148.74/2154.26 c INPROCESSING 2148.74/2154.26 c GARBAGE COLLECT 2148.74/2154.26 c #Conflicts: 505000 | #Constraints: 44539 2148.74/2154.26 c #Conflicts: 506000 | #Constraints: 45539 2148.74/2154.26 c #Conflicts: 507000 | #Constraints: 46539 2148.74/2154.26 c #Conflicts: 508000 | #Constraints: 47539 2148.74/2154.26 c #Conflicts: 509000 | #Constraints: 48539 2148.74/2154.26 c #Conflicts: 510000 | #Constraints: 49539 2148.74/2154.26 c #Conflicts: 511000 | #Constraints: 50539 2148.74/2154.26 c #Conflicts: 512000 | #Constraints: 51539 2148.74/2154.26 c #Conflicts: 513000 | #Constraints: 52539 2148.74/2154.26 c #Conflicts: 514000 | #Constraints: 53539 2148.74/2154.26 c #Conflicts: 515000 | #Constraints: 54539 2148.74/2154.26 c #Conflicts: 516000 | #Constraints: 55540 2148.74/2154.26 c #Conflicts: 517000 | #Constraints: 56540 2148.74/2154.26 c #Conflicts: 518000 | #Constraints: 57540 2148.74/2154.26 c #Conflicts: 519000 | #Constraints: 58540 2148.74/2154.26 c #Conflicts: 520000 | #Constraints: 59540 2148.74/2154.26 c #Conflicts: 521000 | #Constraints: 60540 2148.74/2154.26 c #Conflicts: 522000 | #Constraints: 61540 2148.74/2154.26 c #Conflicts: 523000 | #Constraints: 62540 2148.74/2154.26 c #Conflicts: 524000 | #Constraints: 63540 2148.74/2154.26 c #Conflicts: 525000 | #Constraints: 64540 2148.74/2154.26 c #Conflicts: 526000 | #Constraints: 65540 2148.74/2154.26 c #Conflicts: 527000 | #Constraints: 66540 2148.74/2154.26 c #Conflicts: 528000 | #Constraints: 67540 2148.74/2154.26 c #Conflicts: 529000 | #Constraints: 68540 2148.74/2154.26 c #Conflicts: 530000 | #Constraints: 69540 2148.74/2154.26 c #Conflicts: 531000 | #Constraints: 70540 2148.74/2154.26 c #Conflicts: 532000 | #Constraints: 71540 2148.74/2154.26 c #Conflicts: 533000 | #Constraints: 72540 2148.74/2154.26 c #Conflicts: 534000 | #Constraints: 73540 2148.74/2154.26 c #Conflicts: 535000 | #Constraints: 74540 2148.74/2154.26 c #Conflicts: 536000 | #Constraints: 75540 2148.74/2154.26 c #Conflicts: 537000 | #Constraints: 76540 2148.74/2154.26 c #Conflicts: 538000 | #Constraints: 77540 2148.74/2154.26 c #Conflicts: 539000 | #Constraints: 78540 2148.74/2154.26 c #Conflicts: 540000 | #Constraints: 79540 2148.74/2154.26 c #Conflicts: 541000 | #Constraints: 80540 2148.74/2154.26 c #Conflicts: 542000 | #Constraints: 81540 2148.74/2154.26 c #Conflicts: 543000 | #Constraints: 82540 2148.74/2154.26 c #Conflicts: 544000 | #Constraints: 83540 2148.74/2154.26 c #Conflicts: 545000 | #Constraints: 84540 2148.74/2154.26 c #Conflicts: 546000 | #Constraints: 85540 2148.74/2154.26 c #Conflicts: 547000 | #Constraints: 86540 2148.74/2154.26 c #Conflicts: 548000 | #Constraints: 87540 2148.74/2154.26 c #Conflicts: 549000 | #Constraints: 88540 2148.74/2154.26 c #Conflicts: 550000 | #Constraints: 89540 2148.74/2154.26 c #Conflicts: 551000 | #Constraints: 90540 2148.74/2154.26 c #Conflicts: 552000 | #Constraints: 91540 2148.74/2154.26 c #Conflicts: 553000 | #Constraints: 92540 2148.74/2154.26 c #Conflicts: 554000 | #Constraints: 93540 2148.74/2154.26 c INPROCESSING 2148.74/2154.26 c GARBAGE COLLECT 2148.74/2154.26 c rational objective 139 2195.02/2200.60 c #Conflicts: 555000 | #Constraints: 56799 2195.02/2200.60 c #Conflicts: 556000 | #Constraints: 57799 2195.02/2200.60 c #Conflicts: 557000 | #Constraints: 58799 2195.02/2200.60 c #Conflicts: 558000 | #Constraints: 59799 2195.02/2200.60 c #Conflicts: 559000 | #Constraints: 60799 2195.02/2200.60 c #Conflicts: 560000 | #Constraints: 61799 2195.02/2200.60 c #Conflicts: 561000 | #Constraints: 62799 2195.02/2200.60 c #Conflicts: 562000 | #Constraints: 63799 2195.02/2200.60 c #Conflicts: 563000 | #Constraints: 64799 2195.02/2200.60 c #Conflicts: 564000 | #Constraints: 65799 2195.02/2200.60 c #Conflicts: 565000 | #Constraints: 66799 2195.02/2200.60 c #Conflicts: 566000 | #Constraints: 67799 2195.02/2200.60 c #Conflicts: 567000 | #Constraints: 68799 2195.02/2200.60 c #Conflicts: 568000 | #Constraints: 69799 2195.02/2200.60 c #Conflicts: 569000 | #Constraints: 70799 2195.02/2200.60 c #Conflicts: 570000 | #Constraints: 71799 2195.02/2200.60 c #Conflicts: 571000 | #Constraints: 72799 2195.02/2200.60 c #Conflicts: 572000 | #Constraints: 73799 2195.02/2200.60 c #Conflicts: 573000 | #Constraints: 74799 2195.02/2200.60 c INPROCESSING 2195.02/2200.60 c GARBAGE COLLECT 2195.02/2200.60 c rational objective 139 2314.42/2320.30 c #Conflicts: 574000 | #Constraints: 47352 2314.42/2320.30 c #Conflicts: 575000 | #Constraints: 48352 2314.42/2320.30 c #Conflicts: 576000 | #Constraints: 49352 2314.42/2320.30 c #Conflicts: 577000 | #Constraints: 50352 2314.42/2320.30 c #Conflicts: 578000 | #Constraints: 51352 2314.42/2320.30 c #Conflicts: 579000 | #Constraints: 52352 2314.42/2320.30 c #Conflicts: 580000 | #Constraints: 53352 2314.42/2320.30 c #Conflicts: 581000 | #Constraints: 54352 2314.42/2320.30 c #Conflicts: 582000 | #Constraints: 55352 2314.42/2320.30 c #Conflicts: 583000 | #Constraints: 56352 2314.42/2320.30 c #Conflicts: 584000 | #Constraints: 57352 2314.42/2320.30 c #Conflicts: 585000 | #Constraints: 58352 2314.42/2320.30 c #Conflicts: 586000 | #Constraints: 59352 2314.42/2320.30 c #Conflicts: 587000 | #Constraints: 60352 2314.42/2320.30 c #Conflicts: 588000 | #Constraints: 61352 2314.42/2320.30 c #Conflicts: 589000 | #Constraints: 62352 2314.42/2320.30 c #Conflicts: 590000 | #Constraints: 63352 2314.42/2320.30 c #Conflicts: 591000 | #Constraints: 64352 2314.42/2320.30 c #Conflicts: 592000 | #Constraints: 65352 2314.42/2320.30 c #Conflicts: 593000 | #Constraints: 66352 2314.42/2320.30 c #Conflicts: 594000 | #Constraints: 67352 2314.42/2320.30 c #Conflicts: 595000 | #Constraints: 68352 2314.42/2320.30 c #Conflicts: 596000 | #Constraints: 69352 2314.42/2320.30 c #Conflicts: 597000 | #Constraints: 70352 2314.42/2320.30 c #Conflicts: 598000 | #Constraints: 71352 2314.42/2320.30 c #Conflicts: 599000 | #Constraints: 72352 2314.42/2320.30 c #Conflicts: 600000 | #Constraints: 73352 2314.42/2320.30 c #Conflicts: 601000 | #Constraints: 74352 2314.42/2320.30 c #Conflicts: 602000 | #Constraints: 75352 2314.42/2320.30 c #Conflicts: 603000 | #Constraints: 76352 2314.42/2320.30 c #Conflicts: 604000 | #Constraints: 77352 2314.42/2320.30 c #Conflicts: 605000 | #Constraints: 78352 2314.42/2320.30 c #Conflicts: 606000 | #Constraints: 79352 2314.42/2320.30 c #Conflicts: 607000 | #Constraints: 80352 2314.42/2320.30 c #Conflicts: 608000 | #Constraints: 81352 2314.42/2320.30 c #Conflicts: 609000 | #Constraints: 82352 2314.42/2320.30 c #Conflicts: 610000 | #Constraints: 83352 2314.42/2320.30 c #Conflicts: 611000 | #Constraints: 84352 2314.42/2320.30 c #Conflicts: 612000 | #Constraints: 85352 2314.42/2320.30 c #Conflicts: 613000 | #Constraints: 86352 2314.42/2320.30 c #Conflicts: 614000 | #Constraints: 87352 2314.42/2320.30 c #Conflicts: 615000 | #Constraints: 88352 2314.42/2320.30 c #Conflicts: 616000 | #Constraints: 89352 2314.42/2320.30 c #Conflicts: 617000 | #Constraints: 90352 2314.42/2320.30 c #Conflicts: 618000 | #Constraints: 91352 2314.42/2320.30 c #Conflicts: 619000 | #Constraints: 92352 2314.42/2320.30 c #Conflicts: 620000 | #Constraints: 93352 2314.42/2320.30 c #Conflicts: 621000 | #Constraints: 94352 2314.42/2320.30 c #Conflicts: 622000 | #Constraints: 95352 2314.42/2320.30 c #Conflicts: 623000 | #Constraints: 96352 2314.42/2320.30 c #Conflicts: 624000 | #Constraints: 97352 2314.42/2320.30 c #Conflicts: 625000 | #Constraints: 98352 2314.42/2320.30 c #Conflicts: 626000 | #Constraints: 99352 2314.42/2320.30 c #Conflicts: 627000 | #Constraints: 100352 2314.42/2320.30 c INPROCESSING 2314.42/2320.30 c GARBAGE COLLECT 2314.42/2320.30 c rational objective 139 2381.77/2387.89 c #Conflicts: 628000 | #Constraints: 60343 2381.77/2387.89 c #Conflicts: 629000 | #Constraints: 61343 2381.77/2387.89 c #Conflicts: 630000 | #Constraints: 62343 2381.77/2387.89 c #Conflicts: 631000 | #Constraints: 63343 2381.77/2387.89 c #Conflicts: 632000 | #Constraints: 64343 2381.77/2387.89 c #Conflicts: 633000 | #Constraints: 65343 2381.77/2387.89 c #Conflicts: 634000 | #Constraints: 66343 2381.77/2387.89 c #Conflicts: 635000 | #Constraints: 67343 2381.77/2387.89 c #Conflicts: 636000 | #Constraints: 68343 2381.77/2387.89 c #Conflicts: 637000 | #Constraints: 69343 2381.77/2387.89 c #Conflicts: 638000 | #Constraints: 70343 2381.77/2387.89 c #Conflicts: 639000 | #Constraints: 71344 2381.77/2387.89 c #Conflicts: 640000 | #Constraints: 72344 2381.77/2387.89 c #Conflicts: 641000 | #Constraints: 73344 2381.77/2387.89 c #Conflicts: 642000 | #Constraints: 74344 2381.77/2387.89 c #Conflicts: 643000 | #Constraints: 75344 2381.77/2387.89 c #Conflicts: 644000 | #Constraints: 76344 2381.77/2387.89 c #Conflicts: 645000 | #Constraints: 77344 2381.77/2387.89 c #Conflicts: 646000 | #Constraints: 78344 2381.77/2387.89 c #Conflicts: 647000 | #Constraints: 79344 2381.77/2387.89 c INPROCESSING 2381.77/2387.89 c GARBAGE COLLECT 2381.77/2387.89 c rational objective 139 2596.80/2603.40 c #Conflicts: 648000 | #Constraints: 49749 2596.80/2603.40 c #Conflicts: 649000 | #Constraints: 50749 2596.80/2603.40 c #Conflicts: 650000 | #Constraints: 51749 2596.80/2603.40 c #Conflicts: 651000 | #Constraints: 52749 2596.80/2603.40 c #Conflicts: 652000 | #Constraints: 53749 2596.80/2603.40 c #Conflicts: 653000 | #Constraints: 54749 2596.80/2603.40 c #Conflicts: 654000 | #Constraints: 55749 2596.80/2603.40 c #Conflicts: 655000 | #Constraints: 56749 2596.80/2603.40 c #Conflicts: 656000 | #Constraints: 57749 2596.80/2603.40 c #Conflicts: 657000 | #Constraints: 58749 2596.80/2603.40 c #Conflicts: 658000 | #Constraints: 59749 2596.80/2603.40 c #Conflicts: 659000 | #Constraints: 60749 2596.80/2603.40 c #Conflicts: 660000 | #Constraints: 61749 2596.80/2603.40 c #Conflicts: 661000 | #Constraints: 62749 2596.80/2603.40 c #Conflicts: 662000 | #Constraints: 63749 2596.80/2603.40 c #Conflicts: 663000 | #Constraints: 64749 2596.80/2603.40 c #Conflicts: 664000 | #Constraints: 65749 2596.80/2603.40 c #Conflicts: 665000 | #Constraints: 66749 2596.80/2603.40 c #Conflicts: 666000 | #Constraints: 67749 2596.80/2603.40 c #Conflicts: 667000 | #Constraints: 68749 2596.80/2603.40 c #Conflicts: 668000 | #Constraints: 69749 2596.80/2603.40 c #Conflicts: 669000 | #Constraints: 70749 2596.80/2603.40 c #Conflicts: 670000 | #Constraints: 71749 2596.80/2603.40 c #Conflicts: 671000 | #Constraints: 72749 2596.80/2603.40 c #Conflicts: 672000 | #Constraints: 73749 2596.80/2603.40 c #Conflicts: 673000 | #Constraints: 74749 2596.80/2603.40 c #Conflicts: 674000 | #Constraints: 75750 2596.80/2603.40 c #Conflicts: 675000 | #Constraints: 76750 2596.80/2603.40 c #Conflicts: 676000 | #Constraints: 77750 2596.80/2603.40 c #Conflicts: 677000 | #Constraints: 78750 2596.80/2603.40 c #Conflicts: 678000 | #Constraints: 79750 2596.80/2603.40 c #Conflicts: 679000 | #Constraints: 80750 2596.80/2603.40 c #Conflicts: 680000 | #Constraints: 81750 2596.80/2603.40 c #Conflicts: 681000 | #Constraints: 82750 2596.80/2603.40 c #Conflicts: 682000 | #Constraints: 83750 2596.80/2603.40 c #Conflicts: 683000 | #Constraints: 84750 2596.80/2603.40 c #Conflicts: 684000 | #Constraints: 85750 2596.80/2603.40 c #Conflicts: 685000 | #Constraints: 86750 2596.80/2603.40 c #Conflicts: 686000 | #Constraints: 87750 2596.80/2603.40 c #Conflicts: 687000 | #Constraints: 88750 2596.80/2603.40 c #Conflicts: 688000 | #Constraints: 89750 2596.80/2603.40 c #Conflicts: 689000 | #Constraints: 90750 2596.80/2603.40 c #Conflicts: 690000 | #Constraints: 91751 2596.80/2603.40 c #Conflicts: 691000 | #Constraints: 92751 2596.80/2603.40 c #Conflicts: 692000 | #Constraints: 93751 2596.80/2603.40 c #Conflicts: 693000 | #Constraints: 94751 2596.80/2603.40 c #Conflicts: 694000 | #Constraints: 95751 2596.80/2603.40 c #Conflicts: 695000 | #Constraints: 96751 2596.80/2603.40 c #Conflicts: 696000 | #Constraints: 97751 2596.80/2603.40 c #Conflicts: 697000 | #Constraints: 98751 2596.80/2603.40 c #Conflicts: 698000 | #Constraints: 99751 2596.80/2603.40 c #Conflicts: 699000 | #Constraints: 100751 2596.80/2603.40 c #Conflicts: 700000 | #Constraints: 101751 2596.80/2603.40 c #Conflicts: 701000 | #Constraints: 102751 2596.80/2603.40 c #Conflicts: 702000 | #Constraints: 103751 2596.80/2603.40 c #Conflicts: 703000 | #Constraints: 104751 2596.80/2603.40 c #Conflicts: 704000 | #Constraints: 105751 2596.80/2603.40 c INPROCESSING 2596.80/2603.40 c GARBAGE COLLECT 2596.80/2603.40 c rational objective 139 2787.50/2794.60 c #Conflicts: 705000 | #Constraints: 63168 2787.50/2794.60 c #Conflicts: 706000 | #Constraints: 64168 2787.50/2794.60 c #Conflicts: 707000 | #Constraints: 65168 2787.50/2794.60 c #Conflicts: 708000 | #Constraints: 66169 2787.50/2794.60 c #Conflicts: 709000 | #Constraints: 67169 2787.50/2794.60 c #Conflicts: 710000 | #Constraints: 68169 2787.50/2794.60 c #Conflicts: 711000 | #Constraints: 69169 2787.50/2794.60 c #Conflicts: 712000 | #Constraints: 70169 2787.50/2794.60 c #Conflicts: 713000 | #Constraints: 71169 2787.50/2794.60 c #Conflicts: 714000 | #Constraints: 72169 2787.50/2794.60 c #Conflicts: 715000 | #Constraints: 73169 2787.50/2794.60 c #Conflicts: 716000 | #Constraints: 74169 2787.50/2794.60 c #Conflicts: 717000 | #Constraints: 75169 2787.50/2794.60 c #Conflicts: 718000 | #Constraints: 76169 2787.50/2794.60 c #Conflicts: 719000 | #Constraints: 77169 2787.50/2794.60 c #Conflicts: 720000 | #Constraints: 78169 2787.50/2794.60 c #Conflicts: 721000 | #Constraints: 79169 2787.50/2794.60 c #Conflicts: 722000 | #Constraints: 80169 2787.50/2794.60 c #Conflicts: 723000 | #Constraints: 81169 2787.50/2794.60 c #Conflicts: 724000 | #Constraints: 82169 2787.50/2794.60 c #Conflicts: 725000 | #Constraints: 83169 2787.50/2794.60 c INPROCESSING 2787.50/2794.60 c GARBAGE COLLECT 2787.50/2794.60 c rational objective 139 3022.51/3030.38 c #Conflicts: 726000 | #Constraints: 51321 3022.51/3030.38 c #Conflicts: 727000 | #Constraints: 52321 3022.51/3030.38 c #Conflicts: 728000 | #Constraints: 53321 3022.51/3030.38 c #Conflicts: 729000 | #Constraints: 54321 3022.51/3030.38 c #Conflicts: 730000 | #Constraints: 55321 3022.51/3030.38 c #Conflicts: 731000 | #Constraints: 56322 3022.51/3030.38 c #Conflicts: 732000 | #Constraints: 57322 3022.51/3030.38 c #Conflicts: 733000 | #Constraints: 58322 3022.51/3030.38 c #Conflicts: 734000 | #Constraints: 59322 3022.51/3030.38 c #Conflicts: 735000 | #Constraints: 60323 3022.51/3030.38 c #Conflicts: 736000 | #Constraints: 61324 3022.51/3030.38 c #Conflicts: 737000 | #Constraints: 62324 3022.51/3030.38 c #Conflicts: 738000 | #Constraints: 63324 3022.51/3030.38 c #Conflicts: 739000 | #Constraints: 64326 3022.51/3030.38 c #Conflicts: 740000 | #Constraints: 65328 3022.51/3030.38 c #Conflicts: 741000 | #Constraints: 66328 3022.51/3030.38 c #Conflicts: 742000 | #Constraints: 67328 3022.51/3030.38 c #Conflicts: 743000 | #Constraints: 68328 3022.51/3030.38 c #Conflicts: 744000 | #Constraints: 69328 3022.51/3030.38 c #Conflicts: 745000 | #Constraints: 70328 3022.51/3030.38 c #Conflicts: 746000 | #Constraints: 71328 3022.51/3030.38 c #Conflicts: 747000 | #Constraints: 72328 3022.51/3030.38 c #Conflicts: 748000 | #Constraints: 73329 3022.51/3030.38 c #Conflicts: 749000 | #Constraints: 74329 3022.51/3030.38 c #Conflicts: 750000 | #Constraints: 75329 3022.51/3030.38 c #Conflicts: 751000 | #Constraints: 76329 3022.51/3030.38 c #Conflicts: 752000 | #Constraints: 77329 3022.51/3030.38 c #Conflicts: 753000 | #Constraints: 78329 3022.51/3030.38 c #Conflicts: 754000 | #Constraints: 79329 3022.51/3030.38 c #Conflicts: 755000 | #Constraints: 80329 3022.51/3030.38 c #Conflicts: 756000 | #Constraints: 81329 3022.51/3030.38 c #Conflicts: 757000 | #Constraints: 82329 3022.51/3030.38 c #Conflicts: 758000 | #Constraints: 83329 3022.51/3030.38 c #Conflicts: 759000 | #Constraints: 84329 3022.51/3030.38 c #Conflicts: 760000 | #Constraints: 85329 3022.51/3030.38 c #Conflicts: 761000 | #Constraints: 86329 3022.51/3030.38 c #Conflicts: 762000 | #Constraints: 87330 3022.51/3030.38 c #Conflicts: 763000 | #Constraints: 88330 3022.51/3030.38 c #Conflicts: 764000 | #Constraints: 89330 3022.51/3030.38 c #Conflicts: 765000 | #Constraints: 90330 3022.51/3030.38 c #Conflicts: 766000 | #Constraints: 91330 3022.51/3030.38 c #Conflicts: 767000 | #Constraints: 92330 3022.51/3030.38 c #Conflicts: 768000 | #Constraints: 93330 3022.51/3030.38 c #Conflicts: 769000 | #Constraints: 94330 3022.51/3030.38 c #Conflicts: 770000 | #Constraints: 95330 3022.51/3030.38 c #Conflicts: 771000 | #Constraints: 96330 3022.51/3030.38 c #Conflicts: 772000 | #Constraints: 97330 3022.51/3030.38 c #Conflicts: 773000 | #Constraints: 98330 3022.51/3030.38 c #Conflicts: 774000 | #Constraints: 99330 3022.51/3030.38 c #Conflicts: 775000 | #Constraints: 100330 3022.51/3030.38 c #Conflicts: 776000 | #Constraints: 101330 3022.51/3030.38 c #Conflicts: 777000 | #Constraints: 102330 3022.51/3030.38 c #Conflicts: 778000 | #Constraints: 103330 3022.51/3030.38 c #Conflicts: 779000 | #Constraints: 104330 3022.51/3030.38 c #Conflicts: 780000 | #Constraints: 105330 3022.51/3030.38 c #Conflicts: 781000 | #Constraints: 106330 3022.51/3030.38 c #Conflicts: 782000 | #Constraints: 107330 3022.51/3030.38 c #Conflicts: 783000 | #Constraints: 108331 3022.51/3030.38 c #Conflicts: 784000 | #Constraints: 109331 3022.51/3030.38 c #Conflicts: 785000 | #Constraints: 110332 3022.51/3030.38 c INPROCESSING 3022.51/3030.38 c GARBAGE COLLECT 3022.51/3030.38 c rational objective 139 3116.09/3124.11 c #Conflicts: 786000 | #Constraints: 65225 3116.09/3124.11 c #Conflicts: 787000 | #Constraints: 66225 3116.09/3124.11 c #Conflicts: 788000 | #Constraints: 67225 3116.09/3124.11 c #Conflicts: 789000 | #Constraints: 68225 3116.09/3124.11 c #Conflicts: 790000 | #Constraints: 69226 3116.09/3124.11 c #Conflicts: 791000 | #Constraints: 70226 3116.09/3124.11 c #Conflicts: 792000 | #Constraints: 71226 3116.09/3124.11 c #Conflicts: 793000 | #Constraints: 72227 3116.09/3124.11 c #Conflicts: 794000 | #Constraints: 73227 3116.09/3124.11 c #Conflicts: 795000 | #Constraints: 74227 3116.09/3124.11 c #Conflicts: 796000 | #Constraints: 75227 3116.09/3124.11 c #Conflicts: 797000 | #Constraints: 76227 3116.09/3124.11 c #Conflicts: 798000 | #Constraints: 77227 3116.09/3124.11 c #Conflicts: 799000 | #Constraints: 78227 3116.09/3124.11 c #Conflicts: 800000 | #Constraints: 79227 3116.09/3124.11 c #Conflicts: 801000 | #Constraints: 80227 3116.09/3124.11 c #Conflicts: 802000 | #Constraints: 81227 3116.09/3124.11 c #Conflicts: 803000 | #Constraints: 82227 3116.09/3124.11 c #Conflicts: 804000 | #Constraints: 83227 3116.09/3124.11 c #Conflicts: 805000 | #Constraints: 84227 3116.09/3124.11 c #Conflicts: 806000 | #Constraints: 85228 3116.09/3124.11 c #Conflicts: 807000 | #Constraints: 86228 3116.09/3124.11 c #Conflicts: 808000 | #Constraints: 87228 3116.09/3124.11 c INPROCESSING 3116.09/3124.11 c GARBAGE COLLECT 3116.09/3124.11 c rational objective 139 3519.58/3528.62 c #Conflicts: 809000 | #Constraints: 53723 3519.58/3528.62 c #Conflicts: 810000 | #Constraints: 54723 3519.58/3528.62 c #Conflicts: 811000 | #Constraints: 55723 3519.58/3528.62 c #Conflicts: 812000 | #Constraints: 56723 3519.58/3528.62 c #Conflicts: 813000 | #Constraints: 57723 3519.58/3528.62 c #Conflicts: 814000 | #Constraints: 58723 3519.58/3528.62 c #Conflicts: 815000 | #Constraints: 59723 3519.58/3528.62 c #Conflicts: 816000 | #Constraints: 60723 3519.58/3528.62 c #Conflicts: 817000 | #Constraints: 61723 3519.58/3528.62 c #Conflicts: 818000 | #Constraints: 62723 3519.58/3528.62 c #Conflicts: 819000 | #Constraints: 63723 3519.58/3528.62 c #Conflicts: 820000 | #Constraints: 64723 3519.58/3528.62 c #Conflicts: 821000 | #Constraints: 65723 3519.58/3528.62 c #Conflicts: 822000 | #Constraints: 66723 3519.58/3528.62 c #Conflicts: 823000 | #Constraints: 67723 3519.58/3528.62 c #Conflicts: 824000 | #Constraints: 68723 3519.58/3528.62 c #Conflicts: 825000 | #Constraints: 69723 3519.58/3528.62 c #Conflicts: 826000 | #Constraints: 70723 3519.58/3528.62 c #Conflicts: 827000 | #Constraints: 71723 3519.58/3528.62 c #Conflicts: 828000 | #Constraints: 72723 3519.58/3528.62 c #Conflicts: 829000 | #Constraints: 73723 3519.58/3528.62 c #Conflicts: 830000 | #Constraints: 74723 3519.58/3528.62 c #Conflicts: 831000 | #Constraints: 75723 3519.58/3528.62 c #Conflicts: 832000 | #Constraints: 76723 3519.58/3528.62 c #Conflicts: 833000 | #Constraints: 77723 3519.58/3528.62 c #Conflicts: 834000 | #Constraints: 78723 3519.58/3528.62 c #Conflicts: 835000 | #Constraints: 79723 3519.58/3528.62 c #Conflicts: 836000 | #Constraints: 80723 3519.58/3528.62 c #Conflicts: 837000 | #Constraints: 81723 3519.58/3528.62 c #Conflicts: 838000 | #Constraints: 82723 3519.58/3528.62 c #Conflicts: 839000 | #Constraints: 83723 3519.58/3528.62 c #Conflicts: 840000 | #Constraints: 84723 3519.58/3528.62 c #Conflicts: 841000 | #Constraints: 85723 3519.58/3528.62 c #Conflicts: 842000 | #Constraints: 86723 3519.58/3528.62 c #Conflicts: 843000 | #Constraints: 87723 3519.58/3528.62 c #Conflicts: 844000 | #Constraints: 88723 3519.58/3528.62 c #Conflicts: 845000 | #Constraints: 89723 3519.58/3528.62 c #Conflicts: 846000 | #Constraints: 90723 3519.58/3528.62 c #Conflicts: 847000 | #Constraints: 91723 3519.58/3528.62 c #Conflicts: 848000 | #Constraints: 92724 3519.58/3528.62 c #Conflicts: 849000 | #Constraints: 93724 3519.58/3528.62 c #Conflicts: 850000 | #Constraints: 94724 3519.58/3528.62 c #Conflicts: 851000 | #Constraints: 95724 3519.58/3528.62 c #Conflicts: 852000 | #Constraints: 96724 3519.58/3528.62 c #Conflicts: 853000 | #Constraints: 97724 3519.58/3528.62 c #Conflicts: 854000 | #Constraints: 98724 3519.58/3528.62 c #Conflicts: 855000 | #Constraints: 99724 3519.58/3528.62 c #Conflicts: 856000 | #Constraints: 100724 3519.58/3528.62 c #Conflicts: 857000 | #Constraints: 101724 3519.58/3528.62 c #Conflicts: 858000 | #Constraints: 102724 3519.58/3528.62 c #Conflicts: 859000 | #Constraints: 103724 3519.58/3528.62 c #Conflicts: 860000 | #Constraints: 104724 3519.58/3528.62 c #Conflicts: 861000 | #Constraints: 105724 3519.58/3528.62 c #Conflicts: 862000 | #Constraints: 106725 3519.58/3528.62 c #Conflicts: 863000 | #Constraints: 107725 3519.58/3528.62 c #Conflicts: 864000 | #Constraints: 108725 3519.58/3528.62 c #Conflicts: 865000 | #Constraints: 109725 3519.58/3528.62 c #Conflicts: 866000 | #Constraints: 110725 3519.58/3528.62 c #Conflicts: 867000 | #Constraints: 111725 3519.58/3528.62 c #Conflicts: 868000 | #Constraints: 112725 3519.58/3528.62 c #Conflicts: 869000 | #Constraints: 113725 3519.58/3528.62 c #Conflicts: 870000 | #Constraints: 114725 3519.58/3528.62 c #Conflicts: 871000 | #Constraints: 115725 3519.58/3528.62 c INPROCESSING 3519.58/3528.62 c GARBAGE COLLECT 3519.58/3528.62 c #Conflicts: 872000 | #Constraints: 67978 3519.58/3528.62 c #Conflicts: 873000 | #Constraints: 68978 3519.58/3528.62 c #Conflicts: 874000 | #Constraints: 69978 3519.58/3528.62 c #Conflicts: 875000 | #Constraints: 70979 3519.58/3528.62 c #Conflicts: 876000 | #Constraints: 71979 3519.58/3528.62 c #Conflicts: 877000 | #Constraints: 72979 3519.58/3528.62 c #Conflicts: 878000 | #Constraints: 73979 3519.58/3528.62 c #Conflicts: 879000 | #Constraints: 74979 3519.58/3528.62 c #Conflicts: 880000 | #Constraints: 75979 3519.58/3528.62 c #Conflicts: 881000 | #Constraints: 76979 3519.58/3528.62 c #Conflicts: 882000 | #Constraints: 77979 3519.58/3528.62 c #Conflicts: 883000 | #Constraints: 78979 3519.58/3528.62 c #Conflicts: 884000 | #Constraints: 79979 3519.58/3528.62 c #Conflicts: 885000 | #Constraints: 80979 3519.58/3528.62 c #Conflicts: 886000 | #Constraints: 81979 3519.58/3528.62 c #Conflicts: 887000 | #Constraints: 82979 3580.64/3589.87 c #Conflicts: 888000 | #Constraints: 83979 3580.64/3589.87 c #Conflicts: 889000 | #Constraints: 84979 3580.64/3589.87 c #Conflicts: 890000 | #Constraints: 85979 3580.64/3589.87 c #Conflicts: 891000 | #Constraints: 86979 3580.64/3589.87 c #Conflicts: 892000 | #Constraints: 87980 3580.64/3589.87 c #Conflicts: 893000 | #Constraints: 88980 3580.64/3589.87 c #Conflicts: 894000 | #Constraints: 89980 3580.64/3589.87 c #Conflicts: 895000 | #Constraints: 90980 3580.64/3589.87 c INPROCESSING 3580.64/3589.87 c GARBAGE COLLECT 3580.64/3589.87 c rational objective 139 3600.09/3609.30 c #Conflicts: 896000 | #Constraints: 56115 3600.09/3609.30 c #Conflicts: 897000 | #Constraints: 57115 3600.09/3609.30 c #Conflicts: 898000 | #Constraints: 58115 3600.09/3609.30 c #Conflicts: 899000 | #Constraints: 59115 3600.09/3609.30 c #Conflicts: 900000 | #Constraints: 60115 3600.09/3609.30 c #Conflicts: 901000 | #Constraints: 61115 3600.09/3609.30 c #Conflicts: 902000 | #Constraints: 62115 3600.09/3609.30 c #Conflicts: 903000 | #Constraints: 63115 3600.09/3609.30 c #Conflicts: 904000 | #Constraints: 64115 3600.09/3609.30 c #Conflicts: 905000 | #Constraints: 65115 3600.09/3609.30 c #Conflicts: 906000 | #Constraints: 66115 3600.09/3609.30 c #Conflicts: 907000 | #Constraints: 67115 3600.09/3609.30 c #Conflicts: 908000 | #Constraints: 68115 3600.09/3609.30 c Program interrupted by user. 3600.09/3609.30 c cpu time 3570.18 s 3600.09/3609.30 c deterministic time 193405323107 1.93e+11 3600.09/3609.30 c optimization time 16.1601 s 3600.09/3609.30 c total solve time 3553.84 s 3600.09/3609.30 c core-guided solve time 0 s 3600.09/3609.30 c propagation time 1746.33 s 3600.09/3609.30 c conflict analysis time 530.216 s 3600.09/3609.30 c propagations 664547084 3600.09/3609.30 c resolve steps 42330167 3600.09/3609.30 c decisions 13889520 3600.09/3609.30 c conflicts 908336 3600.09/3609.30 c restarts 1978 3600.09/3609.30 c inprocessing phases 45 3600.09/3609.30 c input clauses 16682 3600.09/3609.30 c input cardinalities 139 3600.09/3609.30 c input general constraints 0 3600.09/3609.30 c input average constraint length 6.43 3600.09/3609.30 c input average constraint degree 1.97 3600.09/3609.30 c learned clauses 588467 3600.09/3609.30 c learned cardinalities 35485 3600.09/3609.30 c learned general constraints 284469 3600.09/3609.30 c learned average constraint length 1036.47 3600.09/3609.30 c learned average constraint degree 360899053.42 3600.09/3609.30 c watched constraints 216699 3600.09/3609.30 c counting constraints 67770 3600.09/3609.30 c gcd simplifications 3388 3600.09/3609.30 c detected cardinalities 4313 3600.09/3609.30 c weakened non-implied lits 202885812 3600.09/3609.30 c weakened non-implying lits 302752 3600.09/3609.30 c original variables 16541 3600.09/3609.30 c clausal propagations 288013833 3600.09/3609.30 c cardinality propagations 238355720 3600.09/3609.30 c watched propagations 38512706 3600.09/3609.30 c counting propagations 91520446 3600.09/3609.30 c watch lookups 11689154066 3600.09/3609.30 c watch backjump lookups 9441094439 3600.09/3609.30 c watch checks 126317425892 3600.09/3609.30 c propagation checks 41312553962 3600.09/3609.30 c constraint additions 3285573803 3600.09/3609.30 c trail pops 679330379 3600.09/3609.30 c formula constraints 16821 3600.09/3609.30 c learned constraints 908272 3600.09/3609.30 c bound constraints 0 3600.09/3609.30 c core-guided constraints 0 3600.09/3609.30 c encountered formula constraints 29179948 3600.09/3609.30 c encountered learned constraints 14056948 3600.09/3609.30 c encountered bound constraints 0 3600.09/3609.30 c encountered core-guided constraints 0 3600.09/3609.30 c LP total time 2119.83 s 3600.09/3609.30 c LP solve time 2060.29 s 3600.09/3609.30 c LP constraints added 20914 3600.09/3609.30 c LP constraints removed 3756 3600.09/3609.30 c LP pivots internal 917672 3600.09/3609.30 c LP pivots root 836289 3600.09/3609.30 c LP calls 98 3600.09/3609.30 c LP optimalities 27 3600.09/3609.30 c LP no pivot count 0 3600.09/3609.30 c LP infeasibilities 63 3600.09/3609.30 c LP valid Farkas constraints 63 3600.09/3609.30 c LP learned Farkas constraints 63 3600.09/3609.30 c LP basis resets 0 3600.09/3609.30 c LP cycling count 0 3600.09/3609.30 c LP singular count 0 3600.09/3609.30 c LP no primal count 0 3600.09/3609.30 c LP no farkas count 0 3600.09/3609.30 c LP other issue count 0 3600.09/3609.30 c LP Gomory cuts 23 3600.09/3609.30 c LP learned cuts 4070 3600.09/3609.30 c LP deleted cuts 3756 3600.09/3609.30 c LP encountered Gomory constraints 14 3600.09/3609.30 c LP encountered Farkas constraints 1193 3600.09/3609.30 c LP encountered learned Farkas constraints 337 3600.09/3609.30 c CG auxiliary variables introduced 0 3600.09/3609.30 c CG solutions found 0 3600.09/3609.30 c CG cores constructed 0 3600.09/3609.30 c CG core cardinality constraints returned 0 3600.09/3609.30 c CG unit cores 0 3600.09/3609.30 c CG single cores 0 3600.09/3609.30 c CG blocks removed during cardinality reduction 0 3600.09/3609.30 c CG first core best 0 3600.09/3609.30 c CG decision core best 0 3600.09/3609.30 c CG core reduction tie 0 3600.09/3609.30 c CG core degree average 0.00 3600.09/3609.30 c CG core slack average 0.00 3600.09/3609.30 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (50075 MiB free)
memory of node 1: 64473 MiB (58905 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455629-1721464517/watcher-4455629-1721464517 -o /tmp/evaluation-result-4455629-1721464517/solver-4455629-1721464517 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721459977-1073512 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455629-1721464517.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1076908, runsolver pid=1076905
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.11 4.23 4.21 5/241 1076909
/proc/meminfo: memFree=111588900/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=42780 memory=11844 CPUtime=0.1 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 2171 0 0 0 8 2 0 0 20 0 1 0 198607483 43806720 2961 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 10695 2961 1254 922 0 2647 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42780 KiB
Current children cumulated memory: 11844 KiB
[startup+0.210937 s]*
/proc/loadavg: 4.11 4.23 4.21 5/241 1076909
/proc/meminfo: memFree=111583944/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=49616 memory=20080 CPUtime=0.21 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 4410 0 0 0 17 4 0 0 20 0 1 0 198607483 50806784 4954 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 12404 5020 1585 922 0 4356 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 49616 KiB
Current children cumulated memory: 20080 KiB
[startup+0.31082 s]*
/proc/loadavg: 4.11 4.23 4.21 5/241 1076909
/proc/meminfo: memFree=111569952/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=65008 memory=32228 CPUtime=0.31 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 7901 0 0 0 26 5 0 0 20 0 1 0 198607483 66568192 8057 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 16252 8057 1697 922 0 8204 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 65008 KiB
Current children cumulated memory: 32228 KiB
[startup+0.70034 s]
/proc/loadavg: 4.11 4.23 4.21 5/241 1076909
/proc/meminfo: memFree=111567796/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=67648 memory=35336 CPUtime=0.69 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 8717 0 0 0 62 7 0 0 20 0 1 0 198607483 69271552 8834 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 16912 8834 1697 922 0 8864 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 67648 KiB
Current children cumulated memory: 35336 KiB
[startup+1.50035 s]
/proc/loadavg: 4.11 4.23 4.21 5/241 1076909
/proc/meminfo: memFree=111565696/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=68908 memory=36920 CPUtime=1.48 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 9096 0 0 0 141 7 0 0 20 0 1 0 198607483 70561792 9230 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 17227 9230 1697 922 0 9179 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 68908 KiB
Current children cumulated memory: 36920 KiB
[startup+3.11299 s]
/proc/loadavg: 4.10 4.23 4.21 5/241 1076910
/proc/meminfo: memFree=111562584/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=70980 memory=40988 CPUtime=3.09 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 9592 0 0 0 292 17 0 0 20 0 1 0 198607483 72683520 10247 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 17745 10247 1745 922 0 9697 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 70980 KiB
Current children cumulated memory: 40988 KiB
[startup+6.30033 s]
/proc/loadavg: 4.10 4.23 4.21 5/241 1076910
/proc/meminfo: memFree=111559360/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=72556 memory=42836 CPUtime=6.28 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 10019 0 0 0 609 19 0 0 20 0 1 0 198607483 74297344 10709 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 18139 10709 1745 922 0 10091 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 72556 KiB
Current children cumulated memory: 42836 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.23 4.21 5/242 1076911
/proc/meminfo: memFree=111556196/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=76648 memory=46176 CPUtime=12.65 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 10772 0 0 0 1231 34 0 0 20 0 1 0 198607483 78487552 11544 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 19162 11544 1819 922 0 11114 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 76648 KiB
Current children cumulated memory: 46176 KiB
[startup+25.5004 s]
/proc/loadavg: 4.23 4.25 4.21 5/242 1076915
/proc/meminfo: memFree=111553268/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=84240 memory=54304 CPUtime=25.42 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 12306 0 0 0 2501 41 0 0 20 0 1 0 198607483 86261760 13576 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 21060 13576 1835 922 0 13012 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 84240 KiB
Current children cumulated memory: 54304 KiB
[startup+51.1131 s]
/proc/loadavg: 4.15 4.23 4.21 5/242 1076918
/proc/meminfo: memFree=111519476/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=113128 memory=77376 CPUtime=50.97 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 15520 0 0 0 5010 87 0 0 20 0 1 0 198607483 115843072 19344 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 28282 19344 1835 922 0 20234 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 77376 KiB
[startup+102.3 s]
/proc/loadavg: 4.26 4.24 4.21 5/242 1076927
/proc/meminfo: memFree=111459284/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=146324 memory=104612 CPUtime=102.02 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 19305 0 0 0 10063 139 0 0 20 0 1 0 198607483 149835776 26153 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 36581 26153 1835 922 0 28533 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 146324 KiB
Current children cumulated memory: 104612 KiB
[startup+162.3 s]
/proc/loadavg: 4.71 4.38 4.26 5/242 1076937
/proc/meminfo: memFree=111069984/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=146324 memory=104612 CPUtime=161.87 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 19307 0 0 0 16016 171 0 0 20 0 1 0 198607483 149835776 26153 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 36581 26153 1835 922 0 28533 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 146324 KiB
Current children cumulated memory: 104612 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 4.32 4.25 5/242 1076948
/proc/meminfo: memFree=110959320/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=237840 memory=188296 CPUtime=221.72 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 35113 0 0 0 21879 293 0 0 20 0 1 0 198607483 243548160 47074 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 59460 47074 1835 922 0 51412 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 237840 KiB
Current children cumulated memory: 188296 KiB
[startup+282.3 s]
/proc/loadavg: 4.27 4.31 4.25 5/244 1076962
/proc/meminfo: memFree=110928504/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=243012 memory=195876 CPUtime=281.57 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 36495 0 0 0 27837 320 0 0 20 0 1 0 198607483 248844288 48969 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 60753 48969 1835 922 0 52705 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 243012 KiB
Current children cumulated memory: 195876 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.25 4.23 5/243 1076972
/proc/meminfo: memFree=110900844/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=249796 memory=202172 CPUtime=341.41 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 38090 0 0 0 33779 362 0 0 20 0 1 0 198607483 255791104 50543 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 62449 50543 1835 922 0 54401 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 249796 KiB
Current children cumulated memory: 202172 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.23 4.23 5/243 1076982
/proc/meminfo: memFree=110811528/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=309520 memory=255720 CPUtime=401.26 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 41310 0 0 0 39680 446 0 0 20 0 1 0 198607483 316948480 63930 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 77380 63930 1835 922 0 69332 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 309520 KiB
Current children cumulated memory: 255720 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.22 4.22 5/243 1076993
/proc/meminfo: memFree=110773120/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=312360 memory=258884 CPUtime=461.11 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 42093 0 0 0 45637 474 0 0 20 0 1 0 198607483 319856640 64721 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 78090 64721 1835 922 0 70042 0
################
# More data... #
################
Current children cumulated memory: 828220 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/246 1078377
/proc/meminfo: memFree=123263428/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=896624 memory=836356 CPUtime=2914.81 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 91667 0 0 0 288975 2506 0 0 20 0 1 0 198607483 918142976 209089 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 224156 209089 1851 922 0 216108 0
Current children cumulated CPU time: 2914.81 s
Current children cumulated vsize: 896624 KiB
Current children cumulated memory: 836356 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/247 1078771
/proc/meminfo: memFree=123169432/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=903804 memory=843080 CPUtime=2974.63 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 93655 0 0 0 294914 2549 0 0 20 0 1 0 198607483 925495296 210770 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 225951 210770 1851 922 0 217903 0
Current children cumulated CPU time: 2974.63 s
Current children cumulated vsize: 903804 KiB
Current children cumulated memory: 843080 KiB
[startup+3042.3 s]
/proc/loadavg: 4.20 4.14 4.14 5/245 1078782
/proc/meminfo: memFree=122752244/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=912376 memory=851544 CPUtime=3034.48 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 96045 0 0 0 300854 2594 0 0 20 0 1 0 198607483 934273024 212886 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 228094 212886 1851 922 0 220046 0
Current children cumulated CPU time: 3034.48 s
Current children cumulated vsize: 912376 KiB
Current children cumulated memory: 851544 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.14 4.14 5/244 1078792
/proc/meminfo: memFree=122579196/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=912376 memory=851544 CPUtime=3094.33 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 96173 0 0 0 306780 2653 0 0 20 0 1 0 198607483 934273024 212886 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 228094 212886 1851 922 0 220046 0
Current children cumulated CPU time: 3094.33 s
Current children cumulated vsize: 912376 KiB
Current children cumulated memory: 851544 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/244 1078972
/proc/meminfo: memFree=122531448/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=916264 memory=854884 CPUtime=3154.18 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 97310 0 0 0 312708 2710 0 0 20 0 1 0 198607483 938254336 213721 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 229066 213721 1851 922 0 221018 0
Current children cumulated CPU time: 3154.18 s
Current children cumulated vsize: 916264 KiB
Current children cumulated memory: 854884 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.14 4.13 5/245 1078984
/proc/meminfo: memFree=122110316/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=916264 memory=857048 CPUtime=3214.05 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 97698 0 0 0 318657 2748 0 0 20 0 1 0 198607483 938254336 214262 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 229066 214262 1851 922 0 221018 0
Current children cumulated CPU time: 3214.05 s
Current children cumulated vsize: 916264 KiB
Current children cumulated memory: 857048 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/244 1079050
/proc/meminfo: memFree=121617824/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=916264 memory=857060 CPUtime=3273.89 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 97989 0 0 0 324591 2798 0 0 20 0 1 0 198607483 938254336 214265 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 229066 214265 1851 922 0 221018 0
Current children cumulated CPU time: 3273.89 s
Current children cumulated vsize: 916264 KiB
Current children cumulated memory: 857060 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/244 1079060
/proc/meminfo: memFree=121188524/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=921272 memory=861448 CPUtime=3333.74 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 99235 0 0 0 330543 2831 0 0 20 0 1 0 198607483 943382528 215362 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 230318 215362 1851 922 0 222270 0
Current children cumulated CPU time: 3333.74 s
Current children cumulated vsize: 921272 KiB
Current children cumulated memory: 861448 KiB
[startup+3402.3 s]
/proc/loadavg: 4.68 4.28 4.18 5/244 1079070
/proc/meminfo: memFree=120812312/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=921272 memory=861580 CPUtime=3393.6 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 99328 0 0 0 336509 2851 0 0 20 0 1 0 198607483 943382528 215395 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 230318 215395 1851 922 0 222270 0
Current children cumulated CPU time: 3393.6 s
Current children cumulated vsize: 921272 KiB
Current children cumulated memory: 861580 KiB
[startup+3462.3 s]
/proc/loadavg: 4.50 4.31 4.20 5/244 1079081
/proc/meminfo: memFree=120392168/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=922640 memory=863280 CPUtime=3453.44 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 99854 0 0 0 342473 2871 0 0 20 0 1 0 198607483 944783360 215820 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 230660 215820 1851 922 0 222612 0
Current children cumulated CPU time: 3453.44 s
Current children cumulated vsize: 922640 KiB
Current children cumulated memory: 863280 KiB
[startup+3522.3 s]
/proc/loadavg: 4.25 4.27 4.19 5/242 1079091
/proc/meminfo: memFree=119991108/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=922640 memory=863296 CPUtime=3513.3 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 100191 0 0 0 348418 2912 0 0 20 0 1 0 198607483 944783360 215824 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 230660 215824 1851 922 0 222612 0
Current children cumulated CPU time: 3513.3 s
Current children cumulated vsize: 922640 KiB
Current children cumulated memory: 863296 KiB
[startup+3582.3 s]
/proc/loadavg: 4.85 4.44 4.25 5/243 1079103
/proc/meminfo: memFree=119508036/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=922640 memory=863296 CPUtime=3573.16 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 100455 0 0 0 354358 2958 0 0 20 0 1 0 198607483 944783360 215824 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 230660 215824 1851 922 0 222612 0
Current children cumulated CPU time: 3573.16 s
Current children cumulated vsize: 922640 KiB
Current children cumulated memory: 863296 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.63 4.43 4.25 5/242 1079108
/proc/meminfo: memFree=119323996/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=922640 memory=863296 CPUtime=3600.09 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 100621 0 0 0 357017 2992 0 0 20 0 1 0 198607483 944783360 215824 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 230660 215824 1851 922 0 222612 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 922640 KiB
Current children cumulated memory: 863296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.31 s]
# the end of solver process 1076908 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3570.18 s, system=29.9283 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.63 4.43 4.25 5/242 1079108
/proc/meminfo: memFree=119323996/131655788 swapFree=131071996/131071996
[pid=1076908] ppid=1076905 vsize=922640 memory=863296 CPUtime=3600.09 cores=5,7
/proc/1076908/stat : 1076908 (roundingsat) R 1076905 1076908 1073499 0 -1 4194304 100621 0 0 0 357017 2992 0 0 20 0 1 0 198607483 944783360 215824 134679101440 4194304 7968373 140729071198304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 16785408 140729071207356 140729071207520 140729071207520 140729071214537 0
/proc/1076908/statm: 230660 215824 1851 922 0 222612 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 922640 KiB
Current children cumulated memory: 863296 KiB
Child status: 0
Real time (s): 3609.31
CPU time (s): 3600.11
CPU user time (s): 3570.18
CPU system time (s): 29.9283
CPU usage (%): 99.7451
Max. virtual memory (cumulated for all children) (KiB): 922640
Max. memory (cumulated for all children) (KiB): 863296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.18
system time used= 29.9283
maximum resident set size= 863296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100647
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= 129
involuntary context switches= 2732
# summary of solver processes directly reported to runsolver:
# pid: 1076908
# total CPU time (s): 3600.11
# total CPU user time (s): 3570.18
# total CPU system time (s): 29.9283
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.8604 second user time and 31.0247 second system time
The end
Begin job on nodeC004 at 2024-07-20 10:35:29 IDJOB=4455629 IDBENCH=158320 IDSOLVER=3084 FILE ID=nodeC004/4455629-1721464517 RUNJOBID= nodeC004-1721459977-1073512 SLURM_JOB_ID= 7545709 Free space on /tmp= 723732 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K139.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-4455629-1721464517/watcher-4455629-1721464517 -o /tmp/evaluation-result-4455629-1721464517/solver-4455629-1721464517 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721459977-1073512 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455629-1721464517.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 89642dc5a75d3fc73d0ef8fe6dbde459 RANDOM SEED=1984867933 nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3569.465 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3500.612 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.477 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.408 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3667.144 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3492.194 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.513 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.312 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 111596688 kB MemAvailable: 118062552 kB Buffers: 571288 kB Cached: 6662764 kB SwapCached: 0 kB Active: 1304556 kB Inactive: 18001760 kB Active(anon): 3344 kB Inactive(anon): 12114808 kB Active(file): 1301212 kB Inactive(file): 5886952 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 6504 kB Writeback: 4 kB AnonPages: 12071912 kB Mapped: 117040 kB Shmem: 45892 kB KReclaimable: 235796 kB Slab: 355648 kB SReclaimable: 235796 kB SUnreclaim: 119852 kB KernelStack: 3872 kB PageTables: 33856 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 13784616 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 62112 kB HardwareCorrupted: 0 kB AnonHugePages: 3893248 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: 248648 kB DirectMap2M: 29016064 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 723644 MiB End job on nodeC004 at 2024-07-20 11:35:38