| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3602.04 | 3612.64 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K179.opb |
| MD5SUM | 84aa92d361920570c4f42a7fa8308fed |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 73.5881 |
| 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 | 21301 |
| Total number of constraints | 21661 |
| Number of constraints which are clauses | 21482 |
| Number of constraints which are cardinality constraints (but not clauses) | 179 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 179 |
| 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 | 180 |
| 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.09/0.11 c #variables 21301 #constraints 21661 37.18/37.34 c #Conflicts: 1000 | #Constraints: 22660 37.18/37.34 c #Conflicts: 2000 | #Constraints: 23660 37.18/37.34 c INPROCESSING 37.18/37.34 c GARBAGE COLLECT 37.18/37.34 c #Conflicts: 3000 | #Constraints: 22981 37.18/37.34 c #Conflicts: 4000 | #Constraints: 23981 37.18/37.34 c INPROCESSING 37.18/37.34 c GARBAGE COLLECT 37.18/37.34 c #Conflicts: 5000 | #Constraints: 23378 37.18/37.34 c #Conflicts: 6000 | #Constraints: 24378 37.18/37.34 c INPROCESSING 37.18/37.34 c GARBAGE COLLECT 37.18/37.34 c #Conflicts: 7000 | #Constraints: 23478 37.18/37.34 c #Conflicts: 8000 | #Constraints: 24478 37.18/37.34 c #Conflicts: 9000 | #Constraints: 25478 37.18/37.34 c #Conflicts: 10000 | #Constraints: 26478 37.18/37.34 c #Conflicts: 11000 | #Constraints: 27478 37.18/37.34 c #Conflicts: 12000 | #Constraints: 28478 37.18/37.34 c INPROCESSING 37.18/37.34 c GARBAGE COLLECT 37.18/37.34 c rational objective 179 53.64/53.83 c #Conflicts: 13000 | #Constraints: 25462 53.64/53.83 c #Conflicts: 14000 | #Constraints: 26462 53.64/53.83 c #Conflicts: 15000 | #Constraints: 27462 53.64/53.83 c #Conflicts: 16000 | #Constraints: 28462 53.64/53.83 c INPROCESSING 53.64/53.83 c GARBAGE COLLECT 53.64/53.83 c rational objective 179 199.84/200.40 c #Conflicts: 17000 | #Constraints: 25715 199.84/200.40 c #Conflicts: 18000 | #Constraints: 26715 199.84/200.40 c #Conflicts: 19000 | #Constraints: 27715 199.84/200.40 c #Conflicts: 20000 | #Constraints: 28716 199.84/200.40 c #Conflicts: 21000 | #Constraints: 29716 199.84/200.40 c #Conflicts: 22000 | #Constraints: 30716 199.84/200.40 c #Conflicts: 23000 | #Constraints: 31716 199.84/200.40 c #Conflicts: 24000 | #Constraints: 32716 199.84/200.40 c #Conflicts: 25000 | #Constraints: 33716 199.84/200.40 c INPROCESSING 199.84/200.40 c GARBAGE COLLECT 199.84/200.40 c #Conflicts: 26000 | #Constraints: 28289 199.84/200.40 c #Conflicts: 27000 | #Constraints: 29289 199.84/200.40 c #Conflicts: 28000 | #Constraints: 30289 199.84/200.40 c #Conflicts: 29000 | #Constraints: 31289 199.84/200.40 c #Conflicts: 30000 | #Constraints: 32289 199.84/200.40 c INPROCESSING 199.84/200.40 c GARBAGE COLLECT 199.84/200.40 c #Conflicts: 31000 | #Constraints: 27965 199.84/200.40 c #Conflicts: 32000 | #Constraints: 28965 199.84/200.40 c #Conflicts: 33000 | #Constraints: 29965 199.84/200.40 c #Conflicts: 34000 | #Constraints: 30966 199.84/200.40 c #Conflicts: 35000 | #Constraints: 31966 199.84/200.40 c #Conflicts: 36000 | #Constraints: 32966 199.84/200.40 c #Conflicts: 37000 | #Constraints: 33966 199.84/200.40 c #Conflicts: 38000 | #Constraints: 34966 199.84/200.40 c #Conflicts: 39000 | #Constraints: 35966 199.84/200.40 c #Conflicts: 40000 | #Constraints: 36966 199.84/200.40 c #Conflicts: 41000 | #Constraints: 37966 199.84/200.40 c #Conflicts: 42000 | #Constraints: 38966 199.84/200.40 c #Conflicts: 43000 | #Constraints: 39966 199.84/200.40 c INPROCESSING 199.84/200.40 c GARBAGE COLLECT 199.84/200.40 c rational objective 179 286.48/287.34 c #Conflicts: 44000 | #Constraints: 31787 286.48/287.34 c #Conflicts: 45000 | #Constraints: 32787 286.48/287.34 c #Conflicts: 46000 | #Constraints: 33787 286.48/287.34 c #Conflicts: 47000 | #Constraints: 34787 286.48/287.34 c #Conflicts: 48000 | #Constraints: 35787 286.48/287.34 c #Conflicts: 49000 | #Constraints: 36787 286.48/287.34 c INPROCESSING 286.48/287.34 c GARBAGE COLLECT 286.48/287.34 c #Conflicts: 50000 | #Constraints: 30767 286.48/287.34 c #Conflicts: 51000 | #Constraints: 31767 286.48/287.34 c #Conflicts: 52000 | #Constraints: 32767 286.48/287.34 c #Conflicts: 53000 | #Constraints: 33767 286.48/287.34 c #Conflicts: 54000 | #Constraints: 34767 286.48/287.34 c #Conflicts: 55000 | #Constraints: 35768 286.48/287.34 c #Conflicts: 56000 | #Constraints: 36768 286.48/287.34 c #Conflicts: 57000 | #Constraints: 37768 286.48/287.34 c #Conflicts: 58000 | #Constraints: 38768 286.48/287.34 c #Conflicts: 59000 | #Constraints: 39768 286.48/287.34 c #Conflicts: 60000 | #Constraints: 40768 286.48/287.34 c #Conflicts: 61000 | #Constraints: 41768 286.48/287.34 c #Conflicts: 62000 | #Constraints: 42768 286.48/287.34 c #Conflicts: 63000 | #Constraints: 43768 286.48/287.34 c #Conflicts: 64000 | #Constraints: 44768 286.48/287.34 c #Conflicts: 65000 | #Constraints: 45768 286.48/287.34 c INPROCESSING 286.48/287.34 c GARBAGE COLLECT 286.48/287.34 c rational objective 179 660.35/662.42 c #Conflicts: 66000 | #Constraints: 35003 660.35/662.42 c #Conflicts: 67000 | #Constraints: 36003 660.35/662.42 c #Conflicts: 68000 | #Constraints: 37003 660.35/662.42 c #Conflicts: 69000 | #Constraints: 38003 660.35/662.42 c #Conflicts: 70000 | #Constraints: 39003 660.35/662.42 c #Conflicts: 71000 | #Constraints: 40003 660.35/662.42 c #Conflicts: 72000 | #Constraints: 41004 660.35/662.42 c INPROCESSING 660.35/662.42 c GARBAGE COLLECT 660.35/662.42 c #Conflicts: 73000 | #Constraints: 33343 660.35/662.42 c #Conflicts: 74000 | #Constraints: 34343 660.35/662.42 c #Conflicts: 75000 | #Constraints: 35343 660.35/662.42 c #Conflicts: 76000 | #Constraints: 36343 660.35/662.42 c #Conflicts: 77000 | #Constraints: 37343 660.35/662.42 c #Conflicts: 78000 | #Constraints: 38343 660.35/662.42 c #Conflicts: 79000 | #Constraints: 39343 660.35/662.42 c #Conflicts: 80000 | #Constraints: 40343 660.35/662.42 c #Conflicts: 81000 | #Constraints: 41343 660.35/662.42 c #Conflicts: 82000 | #Constraints: 42343 660.35/662.42 c #Conflicts: 83000 | #Constraints: 43343 660.35/662.42 c #Conflicts: 84000 | #Constraints: 44343 660.35/662.42 c #Conflicts: 85000 | #Constraints: 45343 660.35/662.42 c #Conflicts: 86000 | #Constraints: 46343 660.35/662.42 c #Conflicts: 87000 | #Constraints: 47343 660.35/662.42 c #Conflicts: 88000 | #Constraints: 48343 660.35/662.42 c #Conflicts: 89000 | #Constraints: 49343 660.35/662.42 c #Conflicts: 90000 | #Constraints: 50343 660.35/662.42 c #Conflicts: 91000 | #Constraints: 51343 660.35/662.42 c INPROCESSING 660.35/662.42 c GARBAGE COLLECT 660.35/662.42 c #Conflicts: 92000 | #Constraints: 37589 660.35/662.42 c #Conflicts: 93000 | #Constraints: 38589 660.35/662.42 c #Conflicts: 94000 | #Constraints: 39590 660.35/662.42 c #Conflicts: 95000 | #Constraints: 40590 660.35/662.42 c #Conflicts: 96000 | #Constraints: 41590 660.35/662.42 c #Conflicts: 97000 | #Constraints: 42590 660.35/662.42 c #Conflicts: 98000 | #Constraints: 43590 660.35/662.42 c #Conflicts: 99000 | #Constraints: 44590 660.35/662.42 c #Conflicts: 100000 | #Constraints: 45590 660.35/662.42 c INPROCESSING 660.35/662.42 c GARBAGE COLLECT 660.35/662.42 c #Conflicts: 101000 | #Constraints: 35867 660.35/662.42 c #Conflicts: 102000 | #Constraints: 36867 660.35/662.42 c #Conflicts: 103000 | #Constraints: 37867 660.35/662.42 c #Conflicts: 104000 | #Constraints: 38867 660.35/662.42 c #Conflicts: 105000 | #Constraints: 39867 660.35/662.42 c #Conflicts: 106000 | #Constraints: 40867 660.35/662.42 c #Conflicts: 107000 | #Constraints: 41867 660.35/662.42 c #Conflicts: 108000 | #Constraints: 42867 660.35/662.42 c #Conflicts: 109000 | #Constraints: 43867 660.35/662.42 c #Conflicts: 110000 | #Constraints: 44867 660.35/662.42 c #Conflicts: 111000 | #Constraints: 45867 660.35/662.42 c #Conflicts: 112000 | #Constraints: 46867 660.35/662.42 c #Conflicts: 113000 | #Constraints: 47867 660.35/662.42 c #Conflicts: 114000 | #Constraints: 48867 660.35/662.42 c #Conflicts: 115000 | #Constraints: 49867 660.35/662.42 c #Conflicts: 116000 | #Constraints: 50868 660.35/662.42 c #Conflicts: 117000 | #Constraints: 51868 660.35/662.42 c #Conflicts: 118000 | #Constraints: 52868 660.35/662.42 c #Conflicts: 119000 | #Constraints: 53868 660.35/662.42 c #Conflicts: 120000 | #Constraints: 54868 660.35/662.42 c #Conflicts: 121000 | #Constraints: 55868 660.35/662.42 c INPROCESSING 660.35/662.42 c GARBAGE COLLECT 660.35/662.42 c rational objective 179 965.72/968.87 c #Conflicts: 122000 | #Constraints: 39871 965.72/968.87 c #Conflicts: 123000 | #Constraints: 40871 965.72/968.87 c #Conflicts: 124000 | #Constraints: 41871 965.72/968.87 c #Conflicts: 125000 | #Constraints: 42871 965.72/968.87 c #Conflicts: 126000 | #Constraints: 43871 965.72/968.87 c #Conflicts: 127000 | #Constraints: 44871 965.72/968.87 c #Conflicts: 128000 | #Constraints: 45871 965.72/968.87 c #Conflicts: 129000 | #Constraints: 46871 965.72/968.87 c #Conflicts: 130000 | #Constraints: 47871 965.72/968.87 c #Conflicts: 131000 | #Constraints: 48871 965.72/968.87 c #Conflicts: 132000 | #Constraints: 49871 965.72/968.87 c INPROCESSING 965.72/968.87 c GARBAGE COLLECT 965.72/968.87 c #Conflicts: 133000 | #Constraints: 38790 965.72/968.87 c #Conflicts: 134000 | #Constraints: 39790 965.72/968.87 c #Conflicts: 135000 | #Constraints: 40790 965.72/968.87 c #Conflicts: 136000 | #Constraints: 41790 965.72/968.87 c #Conflicts: 137000 | #Constraints: 42790 965.72/968.87 c #Conflicts: 138000 | #Constraints: 43790 965.72/968.87 c #Conflicts: 139000 | #Constraints: 44790 965.72/968.87 c #Conflicts: 140000 | #Constraints: 45790 965.72/968.87 c #Conflicts: 141000 | #Constraints: 46790 965.72/968.87 c #Conflicts: 142000 | #Constraints: 47790 965.72/968.87 c #Conflicts: 143000 | #Constraints: 48790 965.72/968.87 c #Conflicts: 144000 | #Constraints: 49790 965.72/968.87 c #Conflicts: 145000 | #Constraints: 50790 965.72/968.87 c #Conflicts: 146000 | #Constraints: 51790 965.72/968.87 c #Conflicts: 147000 | #Constraints: 52790 965.72/968.87 c #Conflicts: 148000 | #Constraints: 53790 965.72/968.87 c #Conflicts: 149000 | #Constraints: 54790 965.72/968.87 c #Conflicts: 150000 | #Constraints: 55790 965.72/968.87 c #Conflicts: 151000 | #Constraints: 56790 965.72/968.87 c #Conflicts: 152000 | #Constraints: 57790 965.72/968.87 c #Conflicts: 153000 | #Constraints: 58790 965.72/968.87 c #Conflicts: 154000 | #Constraints: 59790 965.72/968.87 c #Conflicts: 155000 | #Constraints: 60790 965.72/968.87 c #Conflicts: 156000 | #Constraints: 61790 965.72/968.87 c INPROCESSING 965.72/968.87 c GARBAGE COLLECT 965.72/968.87 c #Conflicts: 157000 | #Constraints: 42678 965.72/968.87 c #Conflicts: 158000 | #Constraints: 43678 965.72/968.87 c #Conflicts: 159000 | #Constraints: 44678 965.72/968.87 c #Conflicts: 160000 | #Constraints: 45678 965.72/968.87 c #Conflicts: 161000 | #Constraints: 46678 965.72/968.87 c #Conflicts: 162000 | #Constraints: 47679 965.72/968.87 c #Conflicts: 163000 | #Constraints: 48679 965.72/968.87 c #Conflicts: 164000 | #Constraints: 49679 965.72/968.87 c #Conflicts: 165000 | #Constraints: 50679 965.72/968.87 c #Conflicts: 166000 | #Constraints: 51679 965.72/968.87 c #Conflicts: 167000 | #Constraints: 52679 965.72/968.87 c #Conflicts: 168000 | #Constraints: 53679 965.72/968.87 c INPROCESSING 965.72/968.87 c GARBAGE COLLECT 965.72/968.87 c #Conflicts: 169000 | #Constraints: 41116 965.72/968.87 c #Conflicts: 170000 | #Constraints: 42116 965.72/968.87 c #Conflicts: 171000 | #Constraints: 43116 965.72/968.87 c #Conflicts: 172000 | #Constraints: 44116 965.72/968.87 c #Conflicts: 173000 | #Constraints: 45116 965.72/968.87 c #Conflicts: 174000 | #Constraints: 46116 965.72/968.87 c #Conflicts: 175000 | #Constraints: 47116 965.72/968.87 c #Conflicts: 176000 | #Constraints: 48116 965.72/968.87 c #Conflicts: 177000 | #Constraints: 49116 965.72/968.87 c #Conflicts: 178000 | #Constraints: 50116 965.72/968.87 c #Conflicts: 179000 | #Constraints: 51116 965.72/968.87 c #Conflicts: 180000 | #Constraints: 52116 965.72/968.87 c #Conflicts: 181000 | #Constraints: 53116 965.72/968.87 c #Conflicts: 182000 | #Constraints: 54116 965.72/968.87 c #Conflicts: 183000 | #Constraints: 55116 965.72/968.87 c #Conflicts: 184000 | #Constraints: 56116 965.72/968.87 c #Conflicts: 185000 | #Constraints: 57116 965.72/968.87 c #Conflicts: 186000 | #Constraints: 58116 965.72/968.87 c #Conflicts: 187000 | #Constraints: 59116 965.72/968.87 c #Conflicts: 188000 | #Constraints: 60116 965.72/968.87 c #Conflicts: 189000 | #Constraints: 61116 965.72/968.87 c #Conflicts: 190000 | #Constraints: 62116 965.72/968.87 c #Conflicts: 191000 | #Constraints: 63116 965.72/968.87 c #Conflicts: 192000 | #Constraints: 64116 965.72/968.87 c #Conflicts: 193000 | #Constraints: 65116 965.72/968.87 c #Conflicts: 194000 | #Constraints: 66116 965.72/968.87 c #Conflicts: 195000 | #Constraints: 67116 965.72/968.87 c #Conflicts: 196000 | #Constraints: 68116 965.72/968.87 c INPROCESSING 965.72/968.87 c GARBAGE COLLECT 965.72/968.87 c #Conflicts: 197000 | #Constraints: 46277 965.72/968.87 c #Conflicts: 198000 | #Constraints: 47277 1081.95/1085.41 c #Conflicts: 199000 | #Constraints: 48277 1081.95/1085.41 c #Conflicts: 200000 | #Constraints: 49277 1081.95/1085.41 c #Conflicts: 201000 | #Constraints: 50277 1081.95/1085.41 c #Conflicts: 202000 | #Constraints: 51277 1081.95/1085.41 c #Conflicts: 203000 | #Constraints: 52277 1081.95/1085.41 c #Conflicts: 204000 | #Constraints: 53277 1081.95/1085.41 c #Conflicts: 205000 | #Constraints: 54277 1081.95/1085.41 c #Conflicts: 206000 | #Constraints: 55277 1081.95/1085.41 c #Conflicts: 207000 | #Constraints: 56277 1081.95/1085.41 c #Conflicts: 208000 | #Constraints: 57277 1081.95/1085.41 c #Conflicts: 209000 | #Constraints: 58277 1081.95/1085.41 c INPROCESSING 1081.95/1085.41 c GARBAGE COLLECT 1081.95/1085.41 c #Conflicts: 210000 | #Constraints: 43570 1081.95/1085.41 c #Conflicts: 211000 | #Constraints: 44570 1081.95/1085.41 c #Conflicts: 212000 | #Constraints: 45570 1081.95/1085.41 c #Conflicts: 213000 | #Constraints: 46570 1081.95/1085.41 c #Conflicts: 214000 | #Constraints: 47570 1081.95/1085.41 c #Conflicts: 215000 | #Constraints: 48570 1081.95/1085.41 c #Conflicts: 216000 | #Constraints: 49570 1081.95/1085.41 c #Conflicts: 217000 | #Constraints: 50571 1081.95/1085.41 c #Conflicts: 218000 | #Constraints: 51571 1081.95/1085.41 c #Conflicts: 219000 | #Constraints: 52571 1081.95/1085.41 c #Conflicts: 220000 | #Constraints: 53571 1081.95/1085.41 c #Conflicts: 221000 | #Constraints: 54571 1081.95/1085.41 c #Conflicts: 222000 | #Constraints: 55571 1081.95/1085.41 c #Conflicts: 223000 | #Constraints: 56571 1081.95/1085.41 c #Conflicts: 224000 | #Constraints: 57571 1081.95/1085.41 c #Conflicts: 225000 | #Constraints: 58571 1081.95/1085.41 c #Conflicts: 226000 | #Constraints: 59571 1081.95/1085.41 c #Conflicts: 227000 | #Constraints: 60571 1081.95/1085.41 c #Conflicts: 228000 | #Constraints: 61571 1081.95/1085.41 c #Conflicts: 229000 | #Constraints: 62571 1081.95/1085.41 c #Conflicts: 230000 | #Constraints: 63571 1081.95/1085.41 c #Conflicts: 231000 | #Constraints: 64571 1081.95/1085.41 c #Conflicts: 232000 | #Constraints: 65571 1081.95/1085.41 c #Conflicts: 233000 | #Constraints: 66571 1081.95/1085.41 c #Conflicts: 234000 | #Constraints: 67571 1081.95/1085.41 c #Conflicts: 235000 | #Constraints: 68571 1081.95/1085.41 c #Conflicts: 236000 | #Constraints: 69571 1081.95/1085.41 c #Conflicts: 237000 | #Constraints: 70571 1081.95/1085.41 c #Conflicts: 238000 | #Constraints: 71571 1081.95/1085.41 c #Conflicts: 239000 | #Constraints: 72571 1081.95/1085.41 c #Conflicts: 240000 | #Constraints: 73571 1081.95/1085.41 c INPROCESSING 1081.95/1085.41 c GARBAGE COLLECT 1081.95/1085.41 c rational objective 179 1106.88/1110.44 c #Conflicts: 241000 | #Constraints: 49225 1106.88/1110.44 c #Conflicts: 242000 | #Constraints: 50225 1106.88/1110.44 c #Conflicts: 243000 | #Constraints: 51225 1106.88/1110.44 c #Conflicts: 244000 | #Constraints: 52225 1106.88/1110.44 c #Conflicts: 245000 | #Constraints: 53225 1106.88/1110.44 c #Conflicts: 246000 | #Constraints: 54225 1106.88/1110.44 c #Conflicts: 247000 | #Constraints: 55225 1106.88/1110.44 c #Conflicts: 248000 | #Constraints: 56225 1106.88/1110.44 c #Conflicts: 249000 | #Constraints: 57225 1106.88/1110.44 c #Conflicts: 250000 | #Constraints: 58225 1106.88/1110.44 c #Conflicts: 251000 | #Constraints: 59225 1106.88/1110.44 c #Conflicts: 252000 | #Constraints: 60225 1106.88/1110.44 c #Conflicts: 253000 | #Constraints: 61225 1106.88/1110.44 c #Conflicts: 254000 | #Constraints: 62225 1106.88/1110.44 c INPROCESSING 1106.88/1110.44 c GARBAGE COLLECT 1106.88/1110.44 c rational objective 179 1240.87/1244.80 c #Conflicts: 255000 | #Constraints: 45898 1240.87/1244.80 c #Conflicts: 256000 | #Constraints: 46898 1240.87/1244.80 c #Conflicts: 257000 | #Constraints: 47898 1240.87/1244.80 c #Conflicts: 258000 | #Constraints: 48898 1240.87/1244.80 c #Conflicts: 259000 | #Constraints: 49898 1240.87/1244.80 c #Conflicts: 260000 | #Constraints: 50898 1240.87/1244.80 c #Conflicts: 261000 | #Constraints: 51898 1240.87/1244.80 c #Conflicts: 262000 | #Constraints: 52899 1240.87/1244.80 c #Conflicts: 263000 | #Constraints: 53899 1240.87/1244.80 c #Conflicts: 264000 | #Constraints: 54899 1240.87/1244.80 c #Conflicts: 265000 | #Constraints: 55899 1240.87/1244.80 c #Conflicts: 266000 | #Constraints: 56899 1240.87/1244.80 c #Conflicts: 267000 | #Constraints: 57899 1240.87/1244.80 c #Conflicts: 268000 | #Constraints: 58899 1240.87/1244.80 c #Conflicts: 269000 | #Constraints: 59900 1240.87/1244.80 c #Conflicts: 270000 | #Constraints: 60900 1240.87/1244.80 c #Conflicts: 271000 | #Constraints: 61900 1240.87/1244.80 c #Conflicts: 272000 | #Constraints: 62900 1240.87/1244.80 c #Conflicts: 273000 | #Constraints: 63900 1240.87/1244.80 c #Conflicts: 274000 | #Constraints: 64900 1240.87/1244.80 c #Conflicts: 275000 | #Constraints: 65900 1240.87/1244.80 c #Conflicts: 276000 | #Constraints: 66900 1240.87/1244.80 c #Conflicts: 277000 | #Constraints: 67900 1240.87/1244.80 c #Conflicts: 278000 | #Constraints: 68900 1240.87/1244.80 c #Conflicts: 279000 | #Constraints: 69900 1240.87/1244.80 c #Conflicts: 280000 | #Constraints: 70900 1240.87/1244.80 c #Conflicts: 281000 | #Constraints: 71900 1240.87/1244.80 c #Conflicts: 282000 | #Constraints: 72900 1240.87/1244.80 c #Conflicts: 283000 | #Constraints: 73900 1240.87/1244.80 c #Conflicts: 284000 | #Constraints: 74901 1240.87/1244.80 c #Conflicts: 285000 | #Constraints: 75901 1240.87/1244.80 c #Conflicts: 286000 | #Constraints: 76901 1240.87/1244.80 c #Conflicts: 287000 | #Constraints: 77901 1240.87/1244.80 c #Conflicts: 288000 | #Constraints: 78901 1240.87/1244.80 c INPROCESSING 1240.87/1244.80 c GARBAGE COLLECT 1240.87/1244.80 c rational objective 179 1290.02/1294.15 c #Conflicts: 289000 | #Constraints: 52019 1290.02/1294.15 c #Conflicts: 290000 | #Constraints: 53019 1290.02/1294.15 c #Conflicts: 291000 | #Constraints: 54019 1290.02/1294.15 c #Conflicts: 292000 | #Constraints: 55019 1290.02/1294.15 c #Conflicts: 293000 | #Constraints: 56019 1290.02/1294.15 c #Conflicts: 294000 | #Constraints: 57019 1290.02/1294.15 c #Conflicts: 295000 | #Constraints: 58019 1290.02/1294.15 c #Conflicts: 296000 | #Constraints: 59019 1290.02/1294.15 c #Conflicts: 297000 | #Constraints: 60019 1290.02/1294.15 c #Conflicts: 298000 | #Constraints: 61019 1290.02/1294.15 c #Conflicts: 299000 | #Constraints: 62019 1290.02/1294.15 c #Conflicts: 300000 | #Constraints: 63019 1290.02/1294.15 c #Conflicts: 301000 | #Constraints: 64019 1290.02/1294.15 c #Conflicts: 302000 | #Constraints: 65019 1290.02/1294.15 c #Conflicts: 303000 | #Constraints: 66019 1290.02/1294.15 c INPROCESSING 1290.02/1294.15 c GARBAGE COLLECT 1290.02/1294.15 c rational objective 179 1469.76/1474.47 c #Conflicts: 304000 | #Constraints: 48112 1469.76/1474.47 c #Conflicts: 305000 | #Constraints: 49112 1469.76/1474.47 c #Conflicts: 306000 | #Constraints: 50112 1469.76/1474.47 c #Conflicts: 307000 | #Constraints: 51112 1469.76/1474.47 c #Conflicts: 308000 | #Constraints: 52112 1469.76/1474.47 c #Conflicts: 309000 | #Constraints: 53112 1469.76/1474.47 c #Conflicts: 310000 | #Constraints: 54112 1469.76/1474.47 c #Conflicts: 311000 | #Constraints: 55112 1469.76/1474.47 c #Conflicts: 312000 | #Constraints: 56113 1469.76/1474.47 c #Conflicts: 313000 | #Constraints: 57113 1469.76/1474.47 c #Conflicts: 314000 | #Constraints: 58113 1469.76/1474.47 c #Conflicts: 315000 | #Constraints: 59113 1469.76/1474.47 c #Conflicts: 316000 | #Constraints: 60113 1469.76/1474.47 c #Conflicts: 317000 | #Constraints: 61113 1469.76/1474.47 c #Conflicts: 318000 | #Constraints: 62113 1469.76/1474.47 c #Conflicts: 319000 | #Constraints: 63113 1469.76/1474.47 c #Conflicts: 320000 | #Constraints: 64113 1469.76/1474.47 c #Conflicts: 321000 | #Constraints: 65113 1469.76/1474.47 c #Conflicts: 322000 | #Constraints: 66113 1469.76/1474.47 c #Conflicts: 323000 | #Constraints: 67113 1469.76/1474.47 c #Conflicts: 324000 | #Constraints: 68113 1469.76/1474.47 c #Conflicts: 325000 | #Constraints: 69113 1469.76/1474.47 c #Conflicts: 326000 | #Constraints: 70113 1469.76/1474.47 c #Conflicts: 327000 | #Constraints: 71113 1469.76/1474.47 c #Conflicts: 328000 | #Constraints: 72113 1469.76/1474.47 c #Conflicts: 329000 | #Constraints: 73113 1469.76/1474.47 c #Conflicts: 330000 | #Constraints: 74113 1469.76/1474.47 c #Conflicts: 331000 | #Constraints: 75113 1469.76/1474.47 c #Conflicts: 332000 | #Constraints: 76113 1469.76/1474.47 c #Conflicts: 333000 | #Constraints: 77113 1469.76/1474.47 c #Conflicts: 334000 | #Constraints: 78113 1469.76/1474.47 c #Conflicts: 335000 | #Constraints: 79113 1469.76/1474.47 c #Conflicts: 336000 | #Constraints: 80113 1469.76/1474.47 c #Conflicts: 337000 | #Constraints: 81113 1469.76/1474.47 c #Conflicts: 338000 | #Constraints: 82113 1469.76/1474.47 c #Conflicts: 339000 | #Constraints: 83113 1469.76/1474.47 c #Conflicts: 340000 | #Constraints: 84113 1469.76/1474.47 c INPROCESSING 1469.76/1474.47 c GARBAGE COLLECT 1469.76/1474.47 c rational objective 179 1522.20/1527.09 c #Conflicts: 341000 | #Constraints: 54335 1522.20/1527.09 c #Conflicts: 342000 | #Constraints: 55335 1522.20/1527.09 c #Conflicts: 343000 | #Constraints: 56335 1522.20/1527.09 c #Conflicts: 344000 | #Constraints: 57335 1522.20/1527.09 c #Conflicts: 345000 | #Constraints: 58335 1522.20/1527.09 c #Conflicts: 346000 | #Constraints: 59335 1522.20/1527.09 c #Conflicts: 347000 | #Constraints: 60335 1522.20/1527.09 c #Conflicts: 348000 | #Constraints: 61335 1522.20/1527.09 c #Conflicts: 349000 | #Constraints: 62335 1522.20/1527.09 c #Conflicts: 350000 | #Constraints: 63335 1522.20/1527.09 c #Conflicts: 351000 | #Constraints: 64335 1522.20/1527.09 c #Conflicts: 352000 | #Constraints: 65335 1522.20/1527.09 c #Conflicts: 353000 | #Constraints: 66335 1522.20/1527.09 c #Conflicts: 354000 | #Constraints: 67335 1522.20/1527.09 c #Conflicts: 355000 | #Constraints: 68335 1522.20/1527.09 c #Conflicts: 356000 | #Constraints: 69335 1522.20/1527.09 c #Conflicts: 357000 | #Constraints: 70335 1522.20/1527.09 c INPROCESSING 1522.20/1527.09 c GARBAGE COLLECT 1522.20/1527.09 c rational objective 179 1623.18/1628.33 c #Conflicts: 358000 | #Constraints: 51016 1623.18/1628.33 c #Conflicts: 359000 | #Constraints: 52016 1623.18/1628.33 c #Conflicts: 360000 | #Constraints: 53016 1623.18/1628.33 c #Conflicts: 361000 | #Constraints: 54016 1623.18/1628.33 c #Conflicts: 362000 | #Constraints: 55016 1623.18/1628.33 c #Conflicts: 363000 | #Constraints: 56016 1623.18/1628.33 c #Conflicts: 364000 | #Constraints: 57016 1623.18/1628.33 c #Conflicts: 365000 | #Constraints: 58016 1623.18/1628.33 c #Conflicts: 366000 | #Constraints: 59016 1623.18/1628.33 c #Conflicts: 367000 | #Constraints: 60016 1623.18/1628.33 c #Conflicts: 368000 | #Constraints: 61016 1623.18/1628.33 c #Conflicts: 369000 | #Constraints: 62016 1623.18/1628.33 c #Conflicts: 370000 | #Constraints: 63016 1623.18/1628.33 c #Conflicts: 371000 | #Constraints: 64016 1623.18/1628.33 c #Conflicts: 372000 | #Constraints: 65016 1623.18/1628.33 c #Conflicts: 373000 | #Constraints: 66016 1623.18/1628.33 c #Conflicts: 374000 | #Constraints: 67016 1623.18/1628.33 c #Conflicts: 375000 | #Constraints: 68016 1623.18/1628.33 c #Conflicts: 376000 | #Constraints: 69016 1623.18/1628.33 c #Conflicts: 377000 | #Constraints: 70016 1623.18/1628.33 c #Conflicts: 378000 | #Constraints: 71016 1623.18/1628.33 c #Conflicts: 379000 | #Constraints: 72016 1623.18/1628.33 c #Conflicts: 380000 | #Constraints: 73016 1623.18/1628.33 c #Conflicts: 381000 | #Constraints: 74016 1623.18/1628.33 c #Conflicts: 382000 | #Constraints: 75016 1623.18/1628.33 c #Conflicts: 383000 | #Constraints: 76016 1623.18/1628.33 c #Conflicts: 384000 | #Constraints: 77016 1623.18/1628.33 c #Conflicts: 385000 | #Constraints: 78016 1623.18/1628.33 c #Conflicts: 386000 | #Constraints: 79016 1623.18/1628.33 c #Conflicts: 387000 | #Constraints: 80016 1623.18/1628.33 c #Conflicts: 388000 | #Constraints: 81016 1623.18/1628.33 c #Conflicts: 389000 | #Constraints: 82016 1623.18/1628.33 c #Conflicts: 390000 | #Constraints: 83016 1623.18/1628.33 c #Conflicts: 391000 | #Constraints: 84016 1623.18/1628.33 c #Conflicts: 392000 | #Constraints: 85016 1623.18/1628.33 c #Conflicts: 393000 | #Constraints: 86016 1623.18/1628.33 c #Conflicts: 394000 | #Constraints: 87016 1623.18/1628.33 c #Conflicts: 395000 | #Constraints: 88016 1623.18/1628.33 c #Conflicts: 396000 | #Constraints: 89016 1623.18/1628.33 c #Conflicts: 397000 | #Constraints: 90016 1623.18/1628.33 c INPROCESSING 1623.18/1628.33 c GARBAGE COLLECT 1623.18/1628.33 c rational objective 179 1651.99/1657.20 c #Conflicts: 398000 | #Constraints: 57363 1651.99/1657.20 c #Conflicts: 399000 | #Constraints: 58363 1651.99/1657.20 c #Conflicts: 400000 | #Constraints: 59363 1651.99/1657.20 c #Conflicts: 401000 | #Constraints: 60363 1651.99/1657.20 c #Conflicts: 402000 | #Constraints: 61363 1651.99/1657.20 c #Conflicts: 403000 | #Constraints: 62363 1651.99/1657.20 c #Conflicts: 404000 | #Constraints: 63363 1651.99/1657.20 c #Conflicts: 405000 | #Constraints: 64363 1651.99/1657.20 c #Conflicts: 406000 | #Constraints: 65363 1651.99/1657.20 c #Conflicts: 407000 | #Constraints: 66363 1651.99/1657.20 c #Conflicts: 408000 | #Constraints: 67363 1651.99/1657.20 c #Conflicts: 409000 | #Constraints: 68363 1651.99/1657.20 c #Conflicts: 410000 | #Constraints: 69363 1651.99/1657.20 c #Conflicts: 411000 | #Constraints: 70363 1651.99/1657.20 c #Conflicts: 412000 | #Constraints: 71363 1651.99/1657.20 c #Conflicts: 413000 | #Constraints: 72363 1651.99/1657.20 c #Conflicts: 414000 | #Constraints: 73363 1651.99/1657.20 c #Conflicts: 415000 | #Constraints: 74363 1651.99/1657.20 c INPROCESSING 1651.99/1657.20 c GARBAGE COLLECT 1651.99/1657.20 c rational objective 179 1988.61/1994.98 c #Conflicts: 416000 | #Constraints: 53773 1988.61/1994.98 c #Conflicts: 417000 | #Constraints: 54773 1988.61/1994.98 c #Conflicts: 418000 | #Constraints: 55773 1988.61/1994.98 c #Conflicts: 419000 | #Constraints: 56773 1988.61/1994.98 c #Conflicts: 420000 | #Constraints: 57773 1988.61/1994.98 c #Conflicts: 421000 | #Constraints: 58773 1988.61/1994.98 c #Conflicts: 422000 | #Constraints: 59773 1988.61/1994.98 c #Conflicts: 423000 | #Constraints: 60773 1988.61/1994.98 c #Conflicts: 424000 | #Constraints: 61773 1988.61/1994.98 c #Conflicts: 425000 | #Constraints: 62773 1988.61/1994.98 c #Conflicts: 426000 | #Constraints: 63773 1988.61/1994.98 c #Conflicts: 427000 | #Constraints: 64774 1988.61/1994.98 c #Conflicts: 428000 | #Constraints: 65774 1988.61/1994.98 c #Conflicts: 429000 | #Constraints: 66776 1988.61/1994.98 c #Conflicts: 430000 | #Constraints: 67776 1988.61/1994.98 c #Conflicts: 431000 | #Constraints: 68776 1988.61/1994.98 c #Conflicts: 432000 | #Constraints: 69776 1988.61/1994.98 c #Conflicts: 433000 | #Constraints: 70776 1988.61/1994.98 c #Conflicts: 434000 | #Constraints: 71776 1988.61/1994.98 c #Conflicts: 435000 | #Constraints: 72776 1988.61/1994.98 c #Conflicts: 436000 | #Constraints: 73776 1988.61/1994.98 c #Conflicts: 437000 | #Constraints: 74776 1988.61/1994.98 c #Conflicts: 438000 | #Constraints: 75777 1988.61/1994.98 c #Conflicts: 439000 | #Constraints: 76777 1988.61/1994.98 c #Conflicts: 440000 | #Constraints: 77777 1988.61/1994.98 c #Conflicts: 441000 | #Constraints: 78777 1988.61/1994.98 c #Conflicts: 442000 | #Constraints: 79777 1988.61/1994.98 c #Conflicts: 443000 | #Constraints: 80777 1988.61/1994.98 c #Conflicts: 444000 | #Constraints: 81777 1988.61/1994.98 c #Conflicts: 445000 | #Constraints: 82777 1988.61/1994.98 c #Conflicts: 446000 | #Constraints: 83778 1988.61/1994.98 c #Conflicts: 447000 | #Constraints: 84778 1988.61/1994.98 c #Conflicts: 448000 | #Constraints: 85779 1988.61/1994.98 c #Conflicts: 449000 | #Constraints: 86779 1988.61/1994.98 c #Conflicts: 450000 | #Constraints: 87781 1988.61/1994.98 c #Conflicts: 451000 | #Constraints: 88783 1988.61/1994.98 c #Conflicts: 452000 | #Constraints: 89785 1988.61/1994.98 c #Conflicts: 453000 | #Constraints: 90786 1988.61/1994.98 c #Conflicts: 454000 | #Constraints: 91788 1988.61/1994.98 c #Conflicts: 455000 | #Constraints: 92788 1988.61/1994.98 c #Conflicts: 456000 | #Constraints: 93788 1988.61/1994.98 c #Conflicts: 457000 | #Constraints: 94788 1988.61/1994.98 c #Conflicts: 458000 | #Constraints: 95788 1988.61/1994.98 c #Conflicts: 459000 | #Constraints: 96788 1988.61/1994.98 c INPROCESSING 1988.61/1994.98 c GARBAGE COLLECT 1988.61/1994.98 c rational objective 179 2078.04/2084.65 c #Conflicts: 460000 | #Constraints: 61131 2078.04/2084.65 c #Conflicts: 461000 | #Constraints: 62131 2078.04/2084.65 c #Conflicts: 462000 | #Constraints: 63131 2078.04/2084.65 c #Conflicts: 463000 | #Constraints: 64131 2078.04/2084.65 c #Conflicts: 464000 | #Constraints: 65132 2078.04/2084.65 c #Conflicts: 465000 | #Constraints: 66132 2078.04/2084.65 c #Conflicts: 466000 | #Constraints: 67132 2078.04/2084.65 c #Conflicts: 467000 | #Constraints: 68132 2078.04/2084.65 c #Conflicts: 468000 | #Constraints: 69132 2078.04/2084.65 c #Conflicts: 469000 | #Constraints: 70132 2078.04/2084.65 c #Conflicts: 470000 | #Constraints: 71132 2078.04/2084.65 c #Conflicts: 471000 | #Constraints: 72132 2078.04/2084.65 c #Conflicts: 472000 | #Constraints: 73132 2078.04/2084.65 c #Conflicts: 473000 | #Constraints: 74132 2078.04/2084.65 c #Conflicts: 474000 | #Constraints: 75132 2078.04/2084.65 c #Conflicts: 475000 | #Constraints: 76132 2078.04/2084.65 c #Conflicts: 476000 | #Constraints: 77132 2078.04/2084.65 c #Conflicts: 477000 | #Constraints: 78132 2078.04/2084.65 c #Conflicts: 478000 | #Constraints: 79132 2078.04/2084.65 c INPROCESSING 2078.04/2084.65 c GARBAGE COLLECT 2078.04/2084.65 c rational objective 179 2248.11/2255.24 c #Conflicts: 479000 | #Constraints: 55938 2248.11/2255.24 c #Conflicts: 480000 | #Constraints: 56938 2248.11/2255.24 c #Conflicts: 481000 | #Constraints: 57938 2248.11/2255.24 c #Conflicts: 482000 | #Constraints: 58938 2248.11/2255.24 c #Conflicts: 483000 | #Constraints: 59938 2248.11/2255.24 c #Conflicts: 484000 | #Constraints: 60938 2248.11/2255.24 c #Conflicts: 485000 | #Constraints: 61938 2248.11/2255.24 c #Conflicts: 486000 | #Constraints: 62938 2248.11/2255.24 c #Conflicts: 487000 | #Constraints: 63938 2248.11/2255.24 c #Conflicts: 488000 | #Constraints: 64938 2248.11/2255.24 c #Conflicts: 489000 | #Constraints: 65938 2248.11/2255.24 c #Conflicts: 490000 | #Constraints: 66938 2248.11/2255.24 c #Conflicts: 491000 | #Constraints: 67938 2248.11/2255.24 c #Conflicts: 492000 | #Constraints: 68938 2248.11/2255.24 c #Conflicts: 493000 | #Constraints: 69938 2248.11/2255.24 c #Conflicts: 494000 | #Constraints: 70938 2248.11/2255.24 c #Conflicts: 495000 | #Constraints: 71938 2248.11/2255.24 c #Conflicts: 496000 | #Constraints: 72938 2248.11/2255.24 c #Conflicts: 497000 | #Constraints: 73938 2248.11/2255.24 c #Conflicts: 498000 | #Constraints: 74938 2248.11/2255.24 c #Conflicts: 499000 | #Constraints: 75938 2248.11/2255.24 c #Conflicts: 500000 | #Constraints: 76938 2248.11/2255.24 c #Conflicts: 501000 | #Constraints: 77938 2248.11/2255.24 c #Conflicts: 502000 | #Constraints: 78938 2248.11/2255.24 c #Conflicts: 503000 | #Constraints: 79938 2248.11/2255.24 c #Conflicts: 504000 | #Constraints: 80938 2248.11/2255.24 c #Conflicts: 505000 | #Constraints: 81939 2248.11/2255.24 c #Conflicts: 506000 | #Constraints: 82939 2248.11/2255.24 c #Conflicts: 507000 | #Constraints: 83939 2248.11/2255.24 c #Conflicts: 508000 | #Constraints: 84939 2248.11/2255.24 c #Conflicts: 509000 | #Constraints: 85939 2248.11/2255.24 c #Conflicts: 510000 | #Constraints: 86939 2248.11/2255.24 c #Conflicts: 511000 | #Constraints: 87939 2248.11/2255.24 c #Conflicts: 512000 | #Constraints: 88939 2248.11/2255.24 c #Conflicts: 513000 | #Constraints: 89939 2248.11/2255.24 c #Conflicts: 514000 | #Constraints: 90939 2248.11/2255.24 c #Conflicts: 515000 | #Constraints: 91939 2248.11/2255.24 c #Conflicts: 516000 | #Constraints: 92939 2248.11/2255.24 c #Conflicts: 517000 | #Constraints: 93939 2248.11/2255.24 c #Conflicts: 518000 | #Constraints: 94939 2248.11/2255.24 c #Conflicts: 519000 | #Constraints: 95939 2248.11/2255.24 c #Conflicts: 520000 | #Constraints: 96939 2248.11/2255.24 c #Conflicts: 521000 | #Constraints: 97940 2248.11/2255.24 c #Conflicts: 522000 | #Constraints: 98940 2248.11/2255.24 c #Conflicts: 523000 | #Constraints: 99940 2248.11/2255.24 c #Conflicts: 524000 | #Constraints: 100940 2248.11/2255.24 c #Conflicts: 525000 | #Constraints: 101941 2248.11/2255.24 c INPROCESSING 2248.11/2255.24 c GARBAGE COLLECT 2248.11/2255.24 c rational objective 179 2350.90/2358.34 c #Conflicts: 526000 | #Constraints: 63802 2350.90/2358.34 c #Conflicts: 527000 | #Constraints: 64802 2350.90/2358.34 c #Conflicts: 528000 | #Constraints: 65802 2350.90/2358.34 c #Conflicts: 529000 | #Constraints: 66802 2350.90/2358.34 c #Conflicts: 530000 | #Constraints: 67802 2350.90/2358.34 c #Conflicts: 531000 | #Constraints: 68802 2350.90/2358.34 c #Conflicts: 532000 | #Constraints: 69802 2350.90/2358.34 c #Conflicts: 533000 | #Constraints: 70802 2350.90/2358.34 c #Conflicts: 534000 | #Constraints: 71802 2350.90/2358.34 c #Conflicts: 535000 | #Constraints: 72802 2350.90/2358.34 c #Conflicts: 536000 | #Constraints: 73802 2350.90/2358.34 c #Conflicts: 537000 | #Constraints: 74803 2350.90/2358.34 c #Conflicts: 538000 | #Constraints: 75803 2350.90/2358.34 c #Conflicts: 539000 | #Constraints: 76804 2350.90/2358.34 c #Conflicts: 540000 | #Constraints: 77804 2350.90/2358.34 c #Conflicts: 541000 | #Constraints: 78804 2350.90/2358.34 c #Conflicts: 542000 | #Constraints: 79805 2350.90/2358.34 c #Conflicts: 543000 | #Constraints: 80805 2350.90/2358.34 c #Conflicts: 544000 | #Constraints: 81805 2350.90/2358.34 c #Conflicts: 545000 | #Constraints: 82805 2350.90/2358.34 c INPROCESSING 2350.90/2358.34 c GARBAGE COLLECT 2350.90/2358.34 c rational objective 179 2499.13/2507.02 c #Conflicts: 546000 | #Constraints: 58265 2499.13/2507.02 c #Conflicts: 547000 | #Constraints: 59265 2499.13/2507.02 c #Conflicts: 548000 | #Constraints: 60265 2499.13/2507.02 c #Conflicts: 549000 | #Constraints: 61265 2499.13/2507.02 c #Conflicts: 550000 | #Constraints: 62265 2499.13/2507.02 c #Conflicts: 551000 | #Constraints: 63265 2499.13/2507.02 c #Conflicts: 552000 | #Constraints: 64265 2499.13/2507.02 c #Conflicts: 553000 | #Constraints: 65265 2499.13/2507.02 c #Conflicts: 554000 | #Constraints: 66265 2499.13/2507.02 c #Conflicts: 555000 | #Constraints: 67265 2499.13/2507.02 c #Conflicts: 556000 | #Constraints: 68265 2499.13/2507.02 c #Conflicts: 557000 | #Constraints: 69265 2499.13/2507.02 c #Conflicts: 558000 | #Constraints: 70265 2499.13/2507.02 c #Conflicts: 559000 | #Constraints: 71265 2499.13/2507.02 c #Conflicts: 560000 | #Constraints: 72265 2499.13/2507.02 c #Conflicts: 561000 | #Constraints: 73265 2499.13/2507.02 c #Conflicts: 562000 | #Constraints: 74265 2499.13/2507.02 c #Conflicts: 563000 | #Constraints: 75265 2499.13/2507.02 c #Conflicts: 564000 | #Constraints: 76265 2499.13/2507.02 c #Conflicts: 565000 | #Constraints: 77265 2499.13/2507.02 c #Conflicts: 566000 | #Constraints: 78265 2499.13/2507.02 c #Conflicts: 567000 | #Constraints: 79265 2499.13/2507.02 c #Conflicts: 568000 | #Constraints: 80265 2499.13/2507.02 c #Conflicts: 569000 | #Constraints: 81265 2499.13/2507.02 c #Conflicts: 570000 | #Constraints: 82265 2499.13/2507.02 c #Conflicts: 571000 | #Constraints: 83265 2499.13/2507.02 c #Conflicts: 572000 | #Constraints: 84265 2499.13/2507.02 c #Conflicts: 573000 | #Constraints: 85265 2499.13/2507.02 c #Conflicts: 574000 | #Constraints: 86265 2499.13/2507.02 c #Conflicts: 575000 | #Constraints: 87265 2499.13/2507.02 c #Conflicts: 576000 | #Constraints: 88266 2499.13/2507.02 c #Conflicts: 577000 | #Constraints: 89266 2499.13/2507.02 c #Conflicts: 578000 | #Constraints: 90266 2499.13/2507.02 c #Conflicts: 579000 | #Constraints: 91266 2499.13/2507.02 c #Conflicts: 580000 | #Constraints: 92266 2499.13/2507.02 c #Conflicts: 581000 | #Constraints: 93266 2499.13/2507.02 c #Conflicts: 582000 | #Constraints: 94266 2499.13/2507.02 c #Conflicts: 583000 | #Constraints: 95266 2499.13/2507.02 c #Conflicts: 584000 | #Constraints: 96266 2499.13/2507.02 c #Conflicts: 585000 | #Constraints: 97266 2499.13/2507.02 c #Conflicts: 586000 | #Constraints: 98266 2499.13/2507.02 c #Conflicts: 587000 | #Constraints: 99266 2499.13/2507.02 c #Conflicts: 588000 | #Constraints: 100266 2499.13/2507.02 c #Conflicts: 589000 | #Constraints: 101267 2499.13/2507.02 c #Conflicts: 590000 | #Constraints: 102267 2499.13/2507.02 c #Conflicts: 591000 | #Constraints: 103267 2499.13/2507.02 c #Conflicts: 592000 | #Constraints: 104267 2499.13/2507.02 c #Conflicts: 593000 | #Constraints: 105267 2499.13/2507.02 c #Conflicts: 594000 | #Constraints: 106267 2499.13/2507.02 c #Conflicts: 595000 | #Constraints: 107267 2499.13/2507.02 c INPROCESSING 2499.13/2507.02 c GARBAGE COLLECT 2499.13/2507.02 c rational objective 179 2566.30/2574.42 c #Conflicts: 596000 | #Constraints: 66533 2566.30/2574.42 c #Conflicts: 597000 | #Constraints: 67533 2566.30/2574.42 c #Conflicts: 598000 | #Constraints: 68533 2566.30/2574.42 c #Conflicts: 599000 | #Constraints: 69533 2566.30/2574.42 c #Conflicts: 600000 | #Constraints: 70533 2566.30/2574.42 c #Conflicts: 601000 | #Constraints: 71533 2566.30/2574.42 c #Conflicts: 602000 | #Constraints: 72534 2566.30/2574.42 c #Conflicts: 603000 | #Constraints: 73534 2566.30/2574.42 c #Conflicts: 604000 | #Constraints: 74534 2566.30/2574.42 c #Conflicts: 605000 | #Constraints: 75534 2566.30/2574.42 c #Conflicts: 606000 | #Constraints: 76534 2566.30/2574.42 c #Conflicts: 607000 | #Constraints: 77535 2566.30/2574.42 c #Conflicts: 608000 | #Constraints: 78535 2566.30/2574.42 c #Conflicts: 609000 | #Constraints: 79535 2566.30/2574.42 c #Conflicts: 610000 | #Constraints: 80535 2566.30/2574.42 c #Conflicts: 611000 | #Constraints: 81535 2566.30/2574.42 c #Conflicts: 612000 | #Constraints: 82535 2566.30/2574.42 c #Conflicts: 613000 | #Constraints: 83535 2566.30/2574.42 c #Conflicts: 614000 | #Constraints: 84535 2566.30/2574.42 c #Conflicts: 615000 | #Constraints: 85536 2566.30/2574.42 c #Conflicts: 616000 | #Constraints: 86536 2566.30/2574.42 c #Conflicts: 617000 | #Constraints: 87536 2566.30/2574.42 c INPROCESSING 2566.30/2574.42 c GARBAGE COLLECT 2566.30/2574.42 c rational objective 179 2731.56/2740.19 c #Conflicts: 618000 | #Constraints: 61629 2731.56/2740.19 c #Conflicts: 619000 | #Constraints: 62629 2731.56/2740.19 c #Conflicts: 620000 | #Constraints: 63630 2731.56/2740.19 c #Conflicts: 621000 | #Constraints: 64630 2731.56/2740.19 c #Conflicts: 622000 | #Constraints: 65630 2731.56/2740.19 c #Conflicts: 623000 | #Constraints: 66630 2731.56/2740.19 c #Conflicts: 624000 | #Constraints: 67630 2731.56/2740.19 c #Conflicts: 625000 | #Constraints: 68630 2731.56/2740.19 c #Conflicts: 626000 | #Constraints: 69630 2731.56/2740.19 c #Conflicts: 627000 | #Constraints: 70630 2731.56/2740.19 c #Conflicts: 628000 | #Constraints: 71630 2731.56/2740.19 c #Conflicts: 629000 | #Constraints: 72630 2731.56/2740.19 c #Conflicts: 630000 | #Constraints: 73630 2731.56/2740.19 c #Conflicts: 631000 | #Constraints: 74630 2731.56/2740.19 c #Conflicts: 632000 | #Constraints: 75630 2731.56/2740.19 c #Conflicts: 633000 | #Constraints: 76630 2731.56/2740.19 c #Conflicts: 634000 | #Constraints: 77630 2731.56/2740.19 c #Conflicts: 635000 | #Constraints: 78631 2731.56/2740.19 c #Conflicts: 636000 | #Constraints: 79631 2731.56/2740.19 c #Conflicts: 637000 | #Constraints: 80631 2731.56/2740.19 c #Conflicts: 638000 | #Constraints: 81631 2731.56/2740.19 c #Conflicts: 639000 | #Constraints: 82631 2731.56/2740.19 c #Conflicts: 640000 | #Constraints: 83631 2731.56/2740.19 c #Conflicts: 641000 | #Constraints: 84631 2731.56/2740.19 c #Conflicts: 642000 | #Constraints: 85631 2731.56/2740.19 c #Conflicts: 643000 | #Constraints: 86631 2731.56/2740.19 c #Conflicts: 644000 | #Constraints: 87631 2731.56/2740.19 c #Conflicts: 645000 | #Constraints: 88631 2731.56/2740.19 c #Conflicts: 646000 | #Constraints: 89631 2731.56/2740.19 c #Conflicts: 647000 | #Constraints: 90631 2731.56/2740.19 c #Conflicts: 648000 | #Constraints: 91631 2731.56/2740.19 c #Conflicts: 649000 | #Constraints: 92631 2731.56/2740.19 c #Conflicts: 650000 | #Constraints: 93631 2731.56/2740.19 c #Conflicts: 651000 | #Constraints: 94631 2731.56/2740.19 c #Conflicts: 652000 | #Constraints: 95631 2731.56/2740.19 c #Conflicts: 653000 | #Constraints: 96631 2731.56/2740.19 c #Conflicts: 654000 | #Constraints: 97631 2731.56/2740.19 c #Conflicts: 655000 | #Constraints: 98631 2731.56/2740.19 c #Conflicts: 656000 | #Constraints: 99631 2731.56/2740.19 c #Conflicts: 657000 | #Constraints: 100631 2731.56/2740.19 c #Conflicts: 658000 | #Constraints: 101631 2731.56/2740.19 c #Conflicts: 659000 | #Constraints: 102631 2731.56/2740.19 c #Conflicts: 660000 | #Constraints: 103631 2731.56/2740.19 c #Conflicts: 661000 | #Constraints: 104631 2731.56/2740.19 c #Conflicts: 662000 | #Constraints: 105631 2731.56/2740.19 c #Conflicts: 663000 | #Constraints: 106631 2731.56/2740.19 c #Conflicts: 664000 | #Constraints: 107631 2731.56/2740.19 c #Conflicts: 665000 | #Constraints: 108631 2731.56/2740.19 c #Conflicts: 666000 | #Constraints: 109631 2731.56/2740.19 c #Conflicts: 667000 | #Constraints: 110631 2731.56/2740.19 c #Conflicts: 668000 | #Constraints: 111631 2731.56/2740.19 c #Conflicts: 669000 | #Constraints: 112631 2731.56/2740.19 c INPROCESSING 2731.56/2740.19 c GARBAGE COLLECT 2731.56/2740.19 c rational objective 179 2811.76/2820.51 c #Conflicts: 670000 | #Constraints: 68943 2811.76/2820.51 c #Conflicts: 671000 | #Constraints: 69943 2811.76/2820.51 c #Conflicts: 672000 | #Constraints: 70943 2811.76/2820.51 c #Conflicts: 673000 | #Constraints: 71943 2811.76/2820.51 c #Conflicts: 674000 | #Constraints: 72943 2811.76/2820.51 c #Conflicts: 675000 | #Constraints: 73943 2811.76/2820.51 c #Conflicts: 676000 | #Constraints: 74943 2811.76/2820.51 c #Conflicts: 677000 | #Constraints: 75943 2811.76/2820.51 c #Conflicts: 678000 | #Constraints: 76943 2811.76/2820.51 c #Conflicts: 679000 | #Constraints: 77943 2811.76/2820.51 c #Conflicts: 680000 | #Constraints: 78943 2811.76/2820.51 c #Conflicts: 681000 | #Constraints: 79944 2811.76/2820.51 c #Conflicts: 682000 | #Constraints: 80944 2811.76/2820.51 c #Conflicts: 683000 | #Constraints: 81945 2811.76/2820.51 c #Conflicts: 684000 | #Constraints: 82945 2811.76/2820.51 c #Conflicts: 685000 | #Constraints: 83945 2811.76/2820.51 c #Conflicts: 686000 | #Constraints: 84945 2811.76/2820.51 c #Conflicts: 687000 | #Constraints: 85945 2811.76/2820.51 c #Conflicts: 688000 | #Constraints: 86946 2811.76/2820.51 c #Conflicts: 689000 | #Constraints: 87946 2811.76/2820.51 c #Conflicts: 690000 | #Constraints: 88946 2811.76/2820.51 c #Conflicts: 691000 | #Constraints: 89946 2811.76/2820.51 c #Conflicts: 692000 | #Constraints: 90946 2811.76/2820.51 c #Conflicts: 693000 | #Constraints: 91946 2811.76/2820.51 c INPROCESSING 2811.76/2820.51 c GARBAGE COLLECT 2811.76/2820.51 c rational objective 179 2966.57/2975.71 c #Conflicts: 694000 | #Constraints: 64738 2966.57/2975.71 c #Conflicts: 695000 | #Constraints: 65738 2966.57/2975.71 c #Conflicts: 696000 | #Constraints: 66738 2966.57/2975.71 c #Conflicts: 697000 | #Constraints: 67738 2966.57/2975.71 c #Conflicts: 698000 | #Constraints: 68738 2966.57/2975.71 c #Conflicts: 699000 | #Constraints: 69738 2966.57/2975.71 c #Conflicts: 700000 | #Constraints: 70738 2966.57/2975.71 c #Conflicts: 701000 | #Constraints: 71738 2966.57/2975.71 c #Conflicts: 702000 | #Constraints: 72738 2966.57/2975.71 c #Conflicts: 703000 | #Constraints: 73738 2966.57/2975.71 c #Conflicts: 704000 | #Constraints: 74738 2966.57/2975.71 c #Conflicts: 705000 | #Constraints: 75739 2966.57/2975.71 c #Conflicts: 706000 | #Constraints: 76739 2966.57/2975.71 c #Conflicts: 707000 | #Constraints: 77739 2966.57/2975.71 c #Conflicts: 708000 | #Constraints: 78739 2966.57/2975.71 c #Conflicts: 709000 | #Constraints: 79739 2966.57/2975.71 c #Conflicts: 710000 | #Constraints: 80739 2966.57/2975.71 c #Conflicts: 711000 | #Constraints: 81739 2966.57/2975.71 c #Conflicts: 712000 | #Constraints: 82739 2966.57/2975.71 c #Conflicts: 713000 | #Constraints: 83739 2966.57/2975.71 c #Conflicts: 714000 | #Constraints: 84739 2966.57/2975.71 c #Conflicts: 715000 | #Constraints: 85739 2966.57/2975.71 c #Conflicts: 716000 | #Constraints: 86739 2966.57/2975.71 c #Conflicts: 717000 | #Constraints: 87739 2966.57/2975.71 c #Conflicts: 718000 | #Constraints: 88739 2966.57/2975.71 c #Conflicts: 719000 | #Constraints: 89739 2966.57/2975.71 c #Conflicts: 720000 | #Constraints: 90739 2966.57/2975.71 c #Conflicts: 721000 | #Constraints: 91739 2966.57/2975.71 c #Conflicts: 722000 | #Constraints: 92739 2966.57/2975.71 c #Conflicts: 723000 | #Constraints: 93739 2966.57/2975.71 c #Conflicts: 724000 | #Constraints: 94739 2966.57/2975.71 c #Conflicts: 725000 | #Constraints: 95739 2966.57/2975.71 c #Conflicts: 726000 | #Constraints: 96739 2966.57/2975.71 c #Conflicts: 727000 | #Constraints: 97739 2966.57/2975.71 c #Conflicts: 728000 | #Constraints: 98739 2966.57/2975.71 c #Conflicts: 729000 | #Constraints: 99739 2966.57/2975.71 c #Conflicts: 730000 | #Constraints: 100739 2966.57/2975.71 c #Conflicts: 731000 | #Constraints: 101739 2966.57/2975.71 c #Conflicts: 732000 | #Constraints: 102739 2966.57/2975.71 c #Conflicts: 733000 | #Constraints: 103739 2966.57/2975.71 c #Conflicts: 734000 | #Constraints: 104739 2966.57/2975.71 c #Conflicts: 735000 | #Constraints: 105739 2966.57/2975.71 c #Conflicts: 736000 | #Constraints: 106739 2966.57/2975.71 c #Conflicts: 737000 | #Constraints: 107739 2966.57/2975.71 c #Conflicts: 738000 | #Constraints: 108739 2966.57/2975.71 c #Conflicts: 739000 | #Constraints: 109739 2966.57/2975.71 c #Conflicts: 740000 | #Constraints: 110739 2966.57/2975.71 c #Conflicts: 741000 | #Constraints: 111739 2966.57/2975.71 c #Conflicts: 742000 | #Constraints: 112739 2966.57/2975.71 c #Conflicts: 743000 | #Constraints: 113739 2966.57/2975.71 c #Conflicts: 744000 | #Constraints: 114739 2966.57/2975.71 c #Conflicts: 745000 | #Constraints: 115739 2966.57/2975.71 c #Conflicts: 746000 | #Constraints: 116739 2966.57/2975.71 c #Conflicts: 747000 | #Constraints: 117739 2966.57/2975.71 c #Conflicts: 748000 | #Constraints: 118739 2966.57/2975.71 c INPROCESSING 2966.57/2975.71 c GARBAGE COLLECT 2966.57/2975.71 c rational objective 179 3022.85/3032.19 c #Conflicts: 749000 | #Constraints: 71996 3022.85/3032.19 c #Conflicts: 750000 | #Constraints: 72997 3022.85/3032.19 c #Conflicts: 751000 | #Constraints: 73998 3022.85/3032.19 c #Conflicts: 752000 | #Constraints: 74998 3022.85/3032.19 c #Conflicts: 753000 | #Constraints: 75998 3022.85/3032.19 c #Conflicts: 754000 | #Constraints: 76999 3022.85/3032.19 c #Conflicts: 755000 | #Constraints: 77999 3022.85/3032.19 c #Conflicts: 756000 | #Constraints: 78999 3022.85/3032.19 c #Conflicts: 757000 | #Constraints: 79999 3022.85/3032.19 c #Conflicts: 758000 | #Constraints: 80999 3022.85/3032.19 c #Conflicts: 759000 | #Constraints: 81999 3022.85/3032.19 c #Conflicts: 760000 | #Constraints: 82999 3022.85/3032.19 c #Conflicts: 761000 | #Constraints: 83999 3022.85/3032.19 c #Conflicts: 762000 | #Constraints: 84999 3022.85/3032.19 c #Conflicts: 763000 | #Constraints: 85999 3022.85/3032.19 c #Conflicts: 764000 | #Constraints: 86999 3022.85/3032.19 c #Conflicts: 765000 | #Constraints: 87999 3022.85/3032.19 c #Conflicts: 766000 | #Constraints: 88999 3022.85/3032.19 c #Conflicts: 767000 | #Constraints: 89999 3022.85/3032.19 c #Conflicts: 768000 | #Constraints: 90999 3022.85/3032.19 c #Conflicts: 769000 | #Constraints: 91999 3022.85/3032.19 c #Conflicts: 770000 | #Constraints: 92999 3022.85/3032.19 c #Conflicts: 771000 | #Constraints: 93999 3022.85/3032.19 c #Conflicts: 772000 | #Constraints: 94999 3022.85/3032.19 c #Conflicts: 773000 | #Constraints: 95999 3022.85/3032.19 c INPROCESSING 3022.85/3032.19 c GARBAGE COLLECT 3022.85/3032.19 c rational objective 179 3220.50/3230.24 c #Conflicts: 774000 | #Constraints: 66753 3220.50/3230.24 c #Conflicts: 775000 | #Constraints: 67753 3220.50/3230.24 c #Conflicts: 776000 | #Constraints: 68753 3220.50/3230.24 c #Conflicts: 777000 | #Constraints: 69753 3220.50/3230.24 c #Conflicts: 778000 | #Constraints: 70754 3220.50/3230.24 c #Conflicts: 779000 | #Constraints: 71754 3220.50/3230.24 c #Conflicts: 780000 | #Constraints: 72754 3220.50/3230.24 c #Conflicts: 781000 | #Constraints: 73754 3220.50/3230.24 c #Conflicts: 782000 | #Constraints: 74754 3220.50/3230.24 c #Conflicts: 783000 | #Constraints: 75754 3220.50/3230.24 c #Conflicts: 784000 | #Constraints: 76754 3220.50/3230.24 c #Conflicts: 785000 | #Constraints: 77754 3220.50/3230.24 c #Conflicts: 786000 | #Constraints: 78755 3220.50/3230.24 c #Conflicts: 787000 | #Constraints: 79755 3220.50/3230.24 c #Conflicts: 788000 | #Constraints: 80755 3220.50/3230.24 c #Conflicts: 789000 | #Constraints: 81755 3220.50/3230.24 c #Conflicts: 790000 | #Constraints: 82755 3220.50/3230.24 c #Conflicts: 791000 | #Constraints: 83755 3220.50/3230.24 c #Conflicts: 792000 | #Constraints: 84755 3220.50/3230.24 c #Conflicts: 793000 | #Constraints: 85755 3220.50/3230.24 c #Conflicts: 794000 | #Constraints: 86755 3220.50/3230.24 c #Conflicts: 795000 | #Constraints: 87755 3220.50/3230.24 c #Conflicts: 796000 | #Constraints: 88755 3220.50/3230.24 c #Conflicts: 797000 | #Constraints: 89755 3220.50/3230.24 c #Conflicts: 798000 | #Constraints: 90755 3220.50/3230.24 c #Conflicts: 799000 | #Constraints: 91755 3220.50/3230.24 c #Conflicts: 800000 | #Constraints: 92755 3220.50/3230.24 c #Conflicts: 801000 | #Constraints: 93755 3220.50/3230.24 c #Conflicts: 802000 | #Constraints: 94755 3220.50/3230.24 c #Conflicts: 803000 | #Constraints: 95755 3220.50/3230.24 c #Conflicts: 804000 | #Constraints: 96756 3220.50/3230.24 c #Conflicts: 805000 | #Constraints: 97756 3220.50/3230.24 c #Conflicts: 806000 | #Constraints: 98756 3220.50/3230.24 c #Conflicts: 807000 | #Constraints: 99756 3220.50/3230.24 c #Conflicts: 808000 | #Constraints: 100756 3220.50/3230.24 c #Conflicts: 809000 | #Constraints: 101756 3220.50/3230.24 c #Conflicts: 810000 | #Constraints: 102756 3220.50/3230.24 c #Conflicts: 811000 | #Constraints: 103756 3220.50/3230.24 c #Conflicts: 812000 | #Constraints: 104756 3220.50/3230.24 c #Conflicts: 813000 | #Constraints: 105756 3220.50/3230.24 c #Conflicts: 814000 | #Constraints: 106756 3220.50/3230.24 c #Conflicts: 815000 | #Constraints: 107756 3220.50/3230.24 c #Conflicts: 816000 | #Constraints: 108756 3220.50/3230.24 c #Conflicts: 817000 | #Constraints: 109757 3220.50/3230.24 c #Conflicts: 818000 | #Constraints: 110757 3220.50/3230.24 c #Conflicts: 819000 | #Constraints: 111757 3220.50/3230.24 c #Conflicts: 820000 | #Constraints: 112757 3220.50/3230.24 c #Conflicts: 821000 | #Constraints: 113757 3220.50/3230.24 c #Conflicts: 822000 | #Constraints: 114757 3220.50/3230.24 c #Conflicts: 823000 | #Constraints: 115757 3220.50/3230.24 c #Conflicts: 824000 | #Constraints: 116757 3220.50/3230.24 c #Conflicts: 825000 | #Constraints: 117757 3220.50/3230.24 c #Conflicts: 826000 | #Constraints: 118757 3220.50/3230.24 c #Conflicts: 827000 | #Constraints: 119757 3220.50/3230.24 c #Conflicts: 828000 | #Constraints: 120757 3220.50/3230.24 c #Conflicts: 829000 | #Constraints: 121757 3220.50/3230.24 c #Conflicts: 830000 | #Constraints: 122757 3220.50/3230.24 c #Conflicts: 831000 | #Constraints: 123757 3220.50/3230.24 c #Conflicts: 832000 | #Constraints: 124757 3220.50/3230.24 c INPROCESSING 3220.50/3230.24 c GARBAGE COLLECT 3220.50/3230.24 c rational objective 179 3281.35/3291.20 c #Conflicts: 833000 | #Constraints: 75431 3281.35/3291.20 c #Conflicts: 834000 | #Constraints: 76431 3281.35/3291.20 c #Conflicts: 835000 | #Constraints: 77431 3281.35/3291.20 c #Conflicts: 836000 | #Constraints: 78431 3281.35/3291.20 c #Conflicts: 837000 | #Constraints: 79431 3281.35/3291.20 c #Conflicts: 838000 | #Constraints: 80431 3281.35/3291.20 c #Conflicts: 839000 | #Constraints: 81431 3281.35/3291.20 c #Conflicts: 840000 | #Constraints: 82431 3281.35/3291.20 c #Conflicts: 841000 | #Constraints: 83431 3281.35/3291.20 c #Conflicts: 842000 | #Constraints: 84431 3281.35/3291.20 c #Conflicts: 843000 | #Constraints: 85432 3281.35/3291.20 c #Conflicts: 844000 | #Constraints: 86432 3281.35/3291.20 c #Conflicts: 845000 | #Constraints: 87432 3281.35/3291.20 c #Conflicts: 846000 | #Constraints: 88433 3281.35/3291.20 c #Conflicts: 847000 | #Constraints: 89433 3281.35/3291.20 c #Conflicts: 848000 | #Constraints: 90433 3281.35/3291.20 c #Conflicts: 849000 | #Constraints: 91433 3281.35/3291.20 c #Conflicts: 850000 | #Constraints: 92434 3281.35/3291.20 c #Conflicts: 851000 | #Constraints: 93434 3281.35/3291.20 c #Conflicts: 852000 | #Constraints: 94434 3281.35/3291.20 c #Conflicts: 853000 | #Constraints: 95434 3281.35/3291.20 c #Conflicts: 854000 | #Constraints: 96434 3281.35/3291.20 c #Conflicts: 855000 | #Constraints: 97434 3281.35/3291.20 c #Conflicts: 856000 | #Constraints: 98434 3281.35/3291.20 c #Conflicts: 857000 | #Constraints: 99434 3281.35/3291.20 c #Conflicts: 858000 | #Constraints: 100434 3281.35/3291.20 c INPROCESSING 3281.35/3291.20 c GARBAGE COLLECT 3281.35/3291.20 c rational objective 179 3516.72/3527.14 c #Conflicts: 859000 | #Constraints: 70099 3516.72/3527.14 c #Conflicts: 860000 | #Constraints: 71099 3516.72/3527.14 c #Conflicts: 861000 | #Constraints: 72099 3516.72/3527.14 c #Conflicts: 862000 | #Constraints: 73099 3516.72/3527.14 c #Conflicts: 863000 | #Constraints: 74099 3516.72/3527.14 c #Conflicts: 864000 | #Constraints: 75099 3516.72/3527.14 c #Conflicts: 865000 | #Constraints: 76099 3516.72/3527.14 c #Conflicts: 866000 | #Constraints: 77100 3516.72/3527.14 c #Conflicts: 867000 | #Constraints: 78100 3516.72/3527.14 c #Conflicts: 868000 | #Constraints: 79100 3516.72/3527.14 c #Conflicts: 869000 | #Constraints: 80100 3516.72/3527.14 c #Conflicts: 870000 | #Constraints: 81100 3516.72/3527.14 c #Conflicts: 871000 | #Constraints: 82100 3516.72/3527.14 c #Conflicts: 872000 | #Constraints: 83100 3516.72/3527.14 c #Conflicts: 873000 | #Constraints: 84100 3516.72/3527.14 c #Conflicts: 874000 | #Constraints: 85100 3516.72/3527.14 c #Conflicts: 875000 | #Constraints: 86100 3516.72/3527.14 c #Conflicts: 876000 | #Constraints: 87100 3516.72/3527.14 c #Conflicts: 877000 | #Constraints: 88100 3516.72/3527.14 c #Conflicts: 878000 | #Constraints: 89100 3516.72/3527.14 c #Conflicts: 879000 | #Constraints: 90100 3516.72/3527.14 c #Conflicts: 880000 | #Constraints: 91100 3516.72/3527.14 c #Conflicts: 881000 | #Constraints: 92100 3516.72/3527.14 c #Conflicts: 882000 | #Constraints: 93100 3516.72/3527.14 c #Conflicts: 883000 | #Constraints: 94100 3516.72/3527.14 c #Conflicts: 884000 | #Constraints: 95100 3516.72/3527.14 c #Conflicts: 885000 | #Constraints: 96101 3516.72/3527.14 c #Conflicts: 886000 | #Constraints: 97101 3516.72/3527.14 c #Conflicts: 887000 | #Constraints: 98101 3516.72/3527.14 c #Conflicts: 888000 | #Constraints: 99101 3516.72/3527.14 c #Conflicts: 889000 | #Constraints: 100101 3516.72/3527.14 c #Conflicts: 890000 | #Constraints: 101101 3516.72/3527.14 c #Conflicts: 891000 | #Constraints: 102101 3516.72/3527.14 c #Conflicts: 892000 | #Constraints: 103101 3516.72/3527.14 c #Conflicts: 893000 | #Constraints: 104101 3516.72/3527.14 c #Conflicts: 894000 | #Constraints: 105101 3516.72/3527.14 c #Conflicts: 895000 | #Constraints: 106101 3516.72/3527.14 c #Conflicts: 896000 | #Constraints: 107101 3516.72/3527.14 c #Conflicts: 897000 | #Constraints: 108101 3516.72/3527.14 c #Conflicts: 898000 | #Constraints: 109101 3516.72/3527.14 c #Conflicts: 899000 | #Constraints: 110101 3516.72/3527.14 c #Conflicts: 900000 | #Constraints: 111101 3516.72/3527.14 c #Conflicts: 901000 | #Constraints: 112101 3516.72/3527.14 c #Conflicts: 902000 | #Constraints: 113101 3516.72/3527.14 c #Conflicts: 903000 | #Constraints: 114101 3516.72/3527.14 c #Conflicts: 904000 | #Constraints: 115101 3516.72/3527.14 c #Conflicts: 905000 | #Constraints: 116101 3516.72/3527.14 c #Conflicts: 906000 | #Constraints: 117101 3516.72/3527.14 c #Conflicts: 907000 | #Constraints: 118101 3516.72/3527.14 c #Conflicts: 908000 | #Constraints: 119101 3516.72/3527.14 c #Conflicts: 909000 | #Constraints: 120101 3516.72/3527.14 c #Conflicts: 910000 | #Constraints: 121101 3516.72/3527.14 c #Conflicts: 911000 | #Constraints: 122101 3516.72/3527.14 c #Conflicts: 912000 | #Constraints: 123101 3516.72/3527.14 c #Conflicts: 913000 | #Constraints: 124101 3516.72/3527.14 c #Conflicts: 914000 | #Constraints: 125101 3516.72/3527.14 c #Conflicts: 915000 | #Constraints: 126101 3516.72/3527.14 c #Conflicts: 916000 | #Constraints: 127101 3516.72/3527.14 c #Conflicts: 917000 | #Constraints: 128102 3516.72/3527.14 c #Conflicts: 918000 | #Constraints: 129102 3516.72/3527.14 c #Conflicts: 919000 | #Constraints: 130102 3516.72/3527.14 c #Conflicts: 920000 | #Constraints: 131102 3516.72/3527.14 c INPROCESSING 3516.72/3527.14 c GARBAGE COLLECT 3516.72/3527.14 c rational objective 179
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (44534 MiB free)
memory of node 1: 64473 MiB (34468 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463071-1722345243/watcher-4463071-1722345243 -o /tmp/evaluation-result-4463071-1722345243/solver-4463071-1722345243 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722340763-7348 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463071-1722345243 --lp-cut-gomory=0 HOME/instance-4463071-1722345243.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9966, runsolver pid=9963
[startup+0.100935 s]*
/proc/loadavg: 4.09 4.16 4.11 5/261 9967
/proc/meminfo: memFree=80883980/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=50192 memory=19784 CPUtime=0.09 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 4686 0 0 0 7 2 0 0 20 0 1 0 1124227 51396608 4946 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 12548 4946 1653 992 0 4406 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50192 KiB
Current children cumulated memory: 19784 KiB
[startup+0.205838 s]*
/proc/loadavg: 4.09 4.16 4.11 5/261 9967
/proc/meminfo: memFree=80858724/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=73884 memory=39144 CPUtime=0.19 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 9625 0 0 0 17 2 0 0 20 0 1 0 1124227 75657216 9786 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 18471 9786 1701 992 0 10329 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 73884 KiB
Current children cumulated memory: 39144 KiB
[startup+0.30592 s]*
/proc/loadavg: 4.09 4.16 4.11 5/261 9967
/proc/meminfo: memFree=80852360/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=74264 memory=40196 CPUtime=0.29 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 9891 0 0 0 27 2 0 0 20 0 1 0 1124227 76046336 10049 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 18566 10049 1701 992 0 10424 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 74264 KiB
Current children cumulated memory: 40196 KiB
[startup+0.700231 s]
/proc/loadavg: 4.09 4.16 4.11 5/261 9967
/proc/meminfo: memFree=80838392/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=76920 memory=43364 CPUtime=0.69 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 10685 0 0 0 66 3 0 0 20 0 1 0 1124227 78766080 10841 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 19230 10841 1701 992 0 11088 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 76920 KiB
Current children cumulated memory: 43364 KiB
[startup+1.50019 s]
/proc/loadavg: 4.09 4.16 4.11 6/261 9967
/proc/meminfo: memFree=80804440/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=76920 memory=45792 CPUtime=1.48 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 10729 0 0 0 144 4 0 0 20 0 1 0 1124227 78766080 11448 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 19230 11448 1732 992 0 11088 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 76920 KiB
Current children cumulated memory: 45792 KiB
[startup+3.10585 s]
/proc/loadavg: 4.09 4.16 4.11 5/261 9967
/proc/meminfo: memFree=80695648/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=79596 memory=49272 CPUtime=3.09 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 11610 0 0 0 291 18 0 0 20 0 1 0 1124227 81506304 12318 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 19899 12318 1747 992 0 11757 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 79596 KiB
Current children cumulated memory: 49272 KiB
[startup+6.30021 s]
/proc/loadavg: 4.08 4.15 4.11 5/261 9967
/proc/meminfo: memFree=80416320/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=81812 memory=52172 CPUtime=6.27 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 12315 0 0 0 607 20 0 0 20 0 1 0 1124227 83775488 13043 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 20453 13043 1747 992 0 12311 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 81812 KiB
Current children cumulated memory: 52172 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.17 4.11 5/261 9969
/proc/meminfo: memFree=79465292/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=83164 memory=53492 CPUtime=12.65 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 12670 0 0 0 1239 26 0 0 20 0 1 0 1124227 85159936 13373 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 20791 13373 1747 992 0 12649 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 83164 KiB
Current children cumulated memory: 53492 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.16 4.11 5/262 9972
/proc/meminfo: memFree=77157436/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=88024 memory=58096 CPUtime=25.42 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 13244 0 0 0 2490 52 0 0 20 0 1 0 1124227 90136576 14524 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 22006 14524 1798 992 0 13864 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 88024 KiB
Current children cumulated memory: 58096 KiB
[startup+51.1058 s]
/proc/loadavg: 4.08 4.14 4.10 5/262 9976
/proc/meminfo: memFree=72070704/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=117564 memory=88156 CPUtime=50.96 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 18246 0 0 0 4982 114 0 0 20 0 1 0 1124227 120385536 22039 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 29391 22039 1798 992 0 21249 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 117564 KiB
Current children cumulated memory: 88156 KiB
[startup+102.3 s]
/proc/loadavg: 4.27 4.18 4.12 4/261 9985
/proc/meminfo: memFree=64054272/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=140936 memory=111872 CPUtime=102.01 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 22149 0 0 0 10019 182 0 0 20 0 1 0 1124227 144318464 27968 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 35234 27968 1830 992 0 27092 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 140936 KiB
Current children cumulated memory: 111872 KiB
[startup+162.3 s]
/proc/loadavg: 4.49 4.25 4.14 5/259 10026
/proc/meminfo: memFree=83878584/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=258268 memory=188560 CPUtime=161.84 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 27475 0 0 0 15911 273 0 0 20 0 1 0 1124227 264466432 47140 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 64567 47140 1830 992 0 56425 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 258268 KiB
Current children cumulated memory: 188560 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.21 4.14 4/259 10039
/proc/meminfo: memFree=80237892/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=266652 memory=199436 CPUtime=221.68 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 28683 0 0 0 21824 344 0 0 20 0 1 0 1124227 273051648 49859 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 66663 49859 1830 992 0 58521 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 266652 KiB
Current children cumulated memory: 199436 KiB
[startup+282.3 s]
/proc/loadavg: 4.29 4.23 4.15 4/259 10051
/proc/meminfo: memFree=76019408/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=269208 memory=202068 CPUtime=281.5 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 29377 0 0 0 27748 402 0 0 20 0 1 0 1124227 275668992 50517 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 67302 50517 1830 992 0 59160 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 269208 KiB
Current children cumulated memory: 202068 KiB
[startup+342.301 s]
/proc/loadavg: 4.27 4.24 4.15 5/258 10061
/proc/meminfo: memFree=71715112/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=272824 memory=205948 CPUtime=341.31 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 31141 0 0 0 33669 462 0 0 20 0 1 0 1124227 279371776 51487 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 68206 51487 1830 992 0 60064 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 272824 KiB
Current children cumulated memory: 205948 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.21 4.15 4/263 10079
/proc/meminfo: memFree=67331384/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=275132 memory=208840 CPUtime=401.11 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 31848 0 0 0 39561 550 0 0 20 0 1 0 1124227 281735168 52210 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 68783 52210 1830 992 0 60641 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 275132 KiB
Current children cumulated memory: 208840 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.20 4.15 5/263 10091
/proc/meminfo: memFree=62211688/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=414160 memory=308128 CPUtime=460.91 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 43944 0 0 0 45492 599 0 0 20 0 1 0 1124227 424099840 77032 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 103540 77032 1830 992 0 95398 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/259 11939
/proc/meminfo: memFree=116554300/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=1967836 memory=1418640 CPUtime=3092.89 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 844467 0 0 0 305614 3675 0 0 20 0 1 0 1124227 2015064064 354660 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 491959 354660 1923 992 0 483817 0
Current children cumulated CPU time: 3092.89 s
Current children cumulated vsize: 1967836 KiB
Current children cumulated memory: 1418640 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.15 4.12 5/258 11949
/proc/meminfo: memFree=116259252/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=1972444 memory=1422928 CPUtime=3152.75 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 845872 0 0 0 311518 3757 0 0 20 0 1 0 1124227 2019782656 355732 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 493111 355732 1923 992 0 484969 0
Current children cumulated CPU time: 3152.75 s
Current children cumulated vsize: 1972444 KiB
Current children cumulated memory: 1422928 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.12 4.11 5/258 11963
/proc/meminfo: memFree=116003180/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=1978540 memory=1428400 CPUtime=3212.61 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 847630 0 0 0 317445 3816 0 0 20 0 1 0 1124227 2026024960 357100 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 494635 357100 1923 992 0 486493 0
Current children cumulated CPU time: 3212.61 s
Current children cumulated vsize: 1978540 KiB
Current children cumulated memory: 1428400 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.14 4.12 5/258 11973
/proc/meminfo: memFree=115707736/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=1980136 memory=1430512 CPUtime=3272.48 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 848465 0 0 0 323355 3893 0 0 20 0 1 0 1124227 2027659264 357628 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 495034 357628 1923 992 0 486892 0
Current children cumulated CPU time: 3272.48 s
Current children cumulated vsize: 1980136 KiB
Current children cumulated memory: 1430512 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/258 11983
/proc/meminfo: memFree=115407924/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=1982664 memory=1433128 CPUtime=3332.34 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 849372 0 0 0 329237 3997 0 0 20 0 1 0 1124227 2030247936 358282 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 495666 358282 1923 992 0 487524 0
Current children cumulated CPU time: 3332.34 s
Current children cumulated vsize: 1982664 KiB
Current children cumulated memory: 1433128 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/261 11999
/proc/meminfo: memFree=115137708/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=1982664 memory=1433128 CPUtime=3392.2 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 849683 0 0 0 335151 4069 0 0 20 0 1 0 1124227 2030247936 358282 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 495666 358282 1923 992 0 487524 0
Current children cumulated CPU time: 3392.2 s
Current children cumulated vsize: 1982664 KiB
Current children cumulated memory: 1433128 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/261 12011
/proc/meminfo: memFree=114905012/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=1984564 memory=1434712 CPUtime=3452.06 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 850124 0 0 0 341076 4130 0 0 20 0 1 0 1124227 2032193536 358678 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 496141 358678 1923 992 0 487999 0
Current children cumulated CPU time: 3452.06 s
Current children cumulated vsize: 1984564 KiB
Current children cumulated memory: 1434712 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/261 12022
/proc/meminfo: memFree=114701016/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=1988524 memory=1439528 CPUtime=3511.93 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 851587 0 0 0 347027 4166 0 0 20 0 1 0 1124227 2036248576 359882 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 497131 359882 1923 992 0 488989 0
Current children cumulated CPU time: 3511.93 s
Current children cumulated vsize: 1988524 KiB
Current children cumulated memory: 1439528 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/261 12033
/proc/meminfo: memFree=114451264/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=1989156 memory=1440136 CPUtime=3571.79 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 852160 0 0 0 352956 4223 0 0 20 0 1 0 1124227 2036895744 360034 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 497289 360034 1923 992 0 489147 0
Current children cumulated CPU time: 3571.79 s
Current children cumulated vsize: 1989156 KiB
Current children cumulated memory: 1440136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.11 4.12 4.10 5/261 12038
/proc/meminfo: memFree=114352844/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=1989156 memory=1440136 CPUtime=3600.03 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 852422 0 0 0 355757 4246 0 0 20 0 1 0 1124227 2036895744 360034 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 497289 360034 1923 992 0 489147 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1989156 KiB
Current children cumulated memory: 1440136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3612.64 s]
# the end of solver process 9966 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3559.55 s, system=42.4915 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.10 4.12 4.10 5/261 12038
/proc/meminfo: memFree=114351388/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=1989156 memory=1440136 CPUtime=3600.63 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 852422 0 0 0 355816 4247 0 0 20 0 1 0 1124227 2036895744 360034 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 497289 360034 1923 992 0 489147 0
Current children cumulated CPU time: 3600.63 s
Current children cumulated vsize: 1989156 KiB
Current children cumulated memory: 1440136 KiB
[startup+3612 s]*
/proc/loadavg: 4.10 4.12 4.10 5/261 12038
/proc/meminfo: memFree=114349848/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=1989156 memory=1440136 CPUtime=3601.43 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 852422 0 0 0 355896 4247 0 0 20 0 1 0 1124227 2036895744 360034 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 497289 360034 1923 992 0 489147 0
Current children cumulated CPU time: 3601.43 s
Current children cumulated vsize: 1989156 KiB
Current children cumulated memory: 1440136 KiB
[startup+3612.4 s]
/proc/loadavg: 4.10 4.12 4.10 5/261 12038
/proc/meminfo: memFree=114349848/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=1989156 memory=1440136 CPUtime=3601.83 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 852422 0 0 0 355935 4248 0 0 20 0 1 0 1124227 2036895744 360034 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 497289 360034 1923 992 0 489147 0
Current children cumulated CPU time: 3601.83 s
Current children cumulated vsize: 1989156 KiB
Current children cumulated memory: 1440136 KiB
[startup+3612.6 s]
/proc/loadavg: 4.10 4.12 4.10 5/261 12038
/proc/meminfo: memFree=114349848/131524600 swapFree=131071996/131071996
[pid=9966] ppid=9963 vsize=1989156 memory=1440136 CPUtime=3602.03 cores=1,3
/proc/9966/stat : 9966 (roundingsat) R 9963 9966 7335 0 -1 4194304 852422 0 0 0 355955 4248 0 0 20 0 1 0 1124227 2036895744 360034 134679101440 4194304 8255733 140731962348736 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22851584 140731962352478 140731962352740 140731962352740 140731962359753 0
/proc/9966/statm: 497289 360034 1923 992 0 489147 0
Current children cumulated CPU time: 3602.03 s
Current children cumulated vsize: 1989156 KiB
Current children cumulated memory: 1440136 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.64
CPU time (s): 3602.04
CPU user time (s): 3559.55
CPU system time (s): 42.4915
CPU usage (%): 99.7068
Max. virtual memory (cumulated for all children) (KiB): 1989156
Max. memory (cumulated for all children) (KiB): 1440136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.55
system time used= 42.4915
maximum resident set size= 1440136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 852422
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13847968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 340
involuntary context switches= 5030
# summary of solver processes directly reported to runsolver:
# pid: 9966
# total CPU time (s): 3602.04
# total CPU user time (s): 3559.55
# total CPU system time (s): 42.4915
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.51823 second user time and 16.6724 second system time
The end
Begin job on nodeC025 at 2024-07-30 15:14:03 IDJOB=4463071 IDBENCH=158301 IDSOLVER=3089 FILE ID=nodeC025/4463071-1722345243 RUNJOBID= nodeC025-1722340763-7348 SLURM_JOB_ID= 8248998 Free space on /tmp= 890024 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K179.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463071-1722345243/watcher-4463071-1722345243 -o /tmp/evaluation-result-4463071-1722345243/solver-4463071-1722345243 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722340763-7348 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463071-1722345243 --lp-cut-gomory=0 HOME/instance-4463071-1722345243.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 84aa92d361920570c4f42a7fa8308fed RANDOM SEED=2076811527 nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3672.443 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3661.583 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.316 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3656.937 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3672.486 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3675.599 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.605 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.441 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 80900316 kB MemAvailable: 120614608 kB Buffers: 45804 kB Cached: 40461272 kB SwapCached: 0 kB Active: 196968 kB Inactive: 49809408 kB Active(anon): 1568 kB Inactive(anon): 9519224 kB Active(file): 195400 kB Inactive(file): 40290184 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 1407524 kB Writeback: 164 kB AnonPages: 9499476 kB Mapped: 98364 kB Shmem: 21336 kB KReclaimable: 137060 kB Slab: 260820 kB SReclaimable: 137060 kB SUnreclaim: 123760 kB KernelStack: 4188 kB PageTables: 28144 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 10914052 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8928 kB HardwareCorrupted: 0 kB AnonHugePages: 4272128 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: 230100 kB DirectMap2M: 10029056 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 890056 MiB End job on nodeC025 at 2024-07-30 16:14:16