| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.04 | 3608.71 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K150.opb |
| MD5SUM | de861f201885d7430b03c8868c66597b |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 17850 |
| Total number of constraints | 18152 |
| Number of constraints which are clauses | 18002 |
| Number of constraints which are cardinality constraints (but not clauses) | 150 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 150 |
| 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 | 151 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.08 c #variables 17850 #constraints 18152 115.41/115.78 c #Conflicts: 1000 | #Constraints: 19151 115.41/115.78 c #Conflicts: 2000 | #Constraints: 20151 115.41/115.78 c INPROCESSING 115.41/115.78 c GARBAGE COLLECT 115.41/115.78 c #Conflicts: 3000 | #Constraints: 19201 115.41/115.78 c #Conflicts: 4000 | #Constraints: 20201 115.41/115.78 c INPROCESSING 115.41/115.78 c GARBAGE COLLECT 115.41/115.78 c #Conflicts: 5000 | #Constraints: 19712 115.41/115.78 c #Conflicts: 6000 | #Constraints: 20712 115.41/115.78 c INPROCESSING 115.41/115.78 c GARBAGE COLLECT 115.41/115.78 c #Conflicts: 7000 | #Constraints: 19609 115.41/115.78 c #Conflicts: 8000 | #Constraints: 20609 115.41/115.78 c #Conflicts: 9000 | #Constraints: 21609 115.41/115.78 c INPROCESSING 115.41/115.78 c GARBAGE COLLECT 115.41/115.78 c #Conflicts: 10000 | #Constraints: 20375 115.41/115.78 c #Conflicts: 11000 | #Constraints: 21375 115.41/115.78 c #Conflicts: 12000 | #Constraints: 22375 115.41/115.78 c #Conflicts: 13000 | #Constraints: 23375 115.41/115.78 c #Conflicts: 14000 | #Constraints: 24376 115.41/115.78 c #Conflicts: 15000 | #Constraints: 25376 115.41/115.78 c #Conflicts: 16000 | #Constraints: 26376 115.41/115.78 c INPROCESSING 115.41/115.78 c GARBAGE COLLECT 115.41/115.78 c #Conflicts: 17000 | #Constraints: 22659 115.41/115.78 c #Conflicts: 18000 | #Constraints: 23659 115.41/115.78 c #Conflicts: 19000 | #Constraints: 24659 115.41/115.78 c #Conflicts: 20000 | #Constraints: 25659 115.41/115.78 c INPROCESSING 115.41/115.78 c GARBAGE COLLECT 115.41/115.78 c #Conflicts: 21000 | #Constraints: 22426 115.41/115.78 c #Conflicts: 22000 | #Constraints: 23426 115.41/115.78 c #Conflicts: 23000 | #Constraints: 24426 115.41/115.78 c #Conflicts: 24000 | #Constraints: 25426 115.41/115.78 c INPROCESSING 115.41/115.78 c GARBAGE COLLECT 115.41/115.78 c #Conflicts: 25000 | #Constraints: 22283 115.41/115.78 c #Conflicts: 26000 | #Constraints: 23283 115.41/115.78 c #Conflicts: 27000 | #Constraints: 24283 115.41/115.78 c #Conflicts: 28000 | #Constraints: 25283 115.41/115.78 c #Conflicts: 29000 | #Constraints: 26284 115.41/115.78 c #Conflicts: 30000 | #Constraints: 27284 115.41/115.78 c #Conflicts: 31000 | #Constraints: 28284 115.41/115.78 c #Conflicts: 32000 | #Constraints: 29284 115.41/115.78 c #Conflicts: 33000 | #Constraints: 30284 115.41/115.78 c #Conflicts: 34000 | #Constraints: 31284 115.41/115.78 c #Conflicts: 35000 | #Constraints: 32284 115.41/115.78 c #Conflicts: 36000 | #Constraints: 33284 115.41/115.78 c INPROCESSING 115.41/115.78 c GARBAGE COLLECT 115.41/115.78 c rational objective 150 176.27/176.72 c #Conflicts: 37000 | #Constraints: 26516 176.27/176.72 c #Conflicts: 38000 | #Constraints: 27516 176.27/176.72 c #Conflicts: 39000 | #Constraints: 28516 176.27/176.72 c #Conflicts: 40000 | #Constraints: 29516 176.27/176.72 c #Conflicts: 41000 | #Constraints: 30516 176.27/176.72 c INPROCESSING 176.27/176.72 c GARBAGE COLLECT 176.27/176.72 c #Conflicts: 42000 | #Constraints: 24956 176.27/176.72 c #Conflicts: 43000 | #Constraints: 25957 176.27/176.72 c #Conflicts: 44000 | #Constraints: 26957 176.27/176.72 c #Conflicts: 45000 | #Constraints: 27957 176.27/176.72 c #Conflicts: 46000 | #Constraints: 28957 176.27/176.72 c #Conflicts: 47000 | #Constraints: 29957 176.27/176.72 c INPROCESSING 176.27/176.72 c GARBAGE COLLECT 176.27/176.72 c rational objective 150 216.27/216.83 c #Conflicts: 48000 | #Constraints: 24973 216.27/216.83 c #Conflicts: 49000 | #Constraints: 25973 216.27/216.83 c #Conflicts: 50000 | #Constraints: 26973 216.27/216.83 c #Conflicts: 51000 | #Constraints: 27973 216.27/216.83 c #Conflicts: 52000 | #Constraints: 28973 216.27/216.83 c #Conflicts: 53000 | #Constraints: 29973 216.27/216.83 c #Conflicts: 54000 | #Constraints: 30973 216.27/216.83 c #Conflicts: 55000 | #Constraints: 31973 216.27/216.83 c #Conflicts: 56000 | #Constraints: 32973 216.27/216.83 c #Conflicts: 57000 | #Constraints: 33973 216.27/216.83 c #Conflicts: 58000 | #Constraints: 34973 216.27/216.83 c #Conflicts: 59000 | #Constraints: 35973 216.27/216.83 c #Conflicts: 60000 | #Constraints: 36973 216.27/216.83 c #Conflicts: 61000 | #Constraints: 37973 216.27/216.83 c #Conflicts: 62000 | #Constraints: 38973 216.27/216.83 c INPROCESSING 216.27/216.83 c GARBAGE COLLECT 216.27/216.83 c rational objective 150 239.22/239.84 c #Conflicts: 63000 | #Constraints: 29145 239.22/239.84 c #Conflicts: 64000 | #Constraints: 30145 239.22/239.84 c #Conflicts: 65000 | #Constraints: 31145 239.22/239.84 c #Conflicts: 66000 | #Constraints: 32145 239.22/239.84 c #Conflicts: 67000 | #Constraints: 33145 239.22/239.84 c #Conflicts: 68000 | #Constraints: 34145 239.22/239.84 c #Conflicts: 69000 | #Constraints: 35145 239.22/239.84 c INPROCESSING 239.22/239.84 c GARBAGE COLLECT 239.22/239.84 c rational objective 150 556.03/557.43 c #Conflicts: 70000 | #Constraints: 27318 556.03/557.43 c #Conflicts: 71000 | #Constraints: 28318 556.03/557.43 c #Conflicts: 72000 | #Constraints: 29318 556.03/557.43 c #Conflicts: 73000 | #Constraints: 30319 556.03/557.43 c #Conflicts: 74000 | #Constraints: 31319 556.03/557.43 c #Conflicts: 75000 | #Constraints: 32319 556.03/557.43 c #Conflicts: 76000 | #Constraints: 33319 556.03/557.43 c #Conflicts: 77000 | #Constraints: 34319 556.03/557.43 c #Conflicts: 78000 | #Constraints: 35319 556.03/557.43 c #Conflicts: 79000 | #Constraints: 36319 556.03/557.43 c #Conflicts: 80000 | #Constraints: 37319 556.03/557.43 c #Conflicts: 81000 | #Constraints: 38319 556.03/557.43 c #Conflicts: 82000 | #Constraints: 39319 556.03/557.43 c #Conflicts: 83000 | #Constraints: 40319 556.03/557.43 c #Conflicts: 84000 | #Constraints: 41319 556.03/557.43 c #Conflicts: 85000 | #Constraints: 42319 556.03/557.43 c #Conflicts: 86000 | #Constraints: 43319 556.03/557.43 c #Conflicts: 87000 | #Constraints: 44319 556.03/557.43 c #Conflicts: 88000 | #Constraints: 45319 556.03/557.43 c INPROCESSING 556.03/557.43 c GARBAGE COLLECT 556.03/557.43 c #Conflicts: 89000 | #Constraints: 32489 556.03/557.44 c #Conflicts: 90000 | #Constraints: 33489 556.03/557.44 c #Conflicts: 91000 | #Constraints: 34489 556.03/557.44 c #Conflicts: 92000 | #Constraints: 35489 556.03/557.44 c #Conflicts: 93000 | #Constraints: 36489 556.03/557.44 c #Conflicts: 94000 | #Constraints: 37489 556.03/557.44 c #Conflicts: 95000 | #Constraints: 38490 556.03/557.44 c #Conflicts: 96000 | #Constraints: 39490 556.03/557.44 c INPROCESSING 556.03/557.44 c GARBAGE COLLECT 556.03/557.44 c #Conflicts: 97000 | #Constraints: 29405 556.03/557.44 c #Conflicts: 98000 | #Constraints: 30405 556.03/557.44 c #Conflicts: 99000 | #Constraints: 31405 556.03/557.44 c #Conflicts: 100000 | #Constraints: 32405 556.03/557.44 c #Conflicts: 101000 | #Constraints: 33405 556.03/557.44 c #Conflicts: 102000 | #Constraints: 34405 556.03/557.44 c #Conflicts: 103000 | #Constraints: 35405 556.03/557.44 c #Conflicts: 104000 | #Constraints: 36405 556.03/557.44 c #Conflicts: 105000 | #Constraints: 37405 556.03/557.44 c #Conflicts: 106000 | #Constraints: 38405 556.03/557.44 c #Conflicts: 107000 | #Constraints: 39405 556.03/557.44 c #Conflicts: 108000 | #Constraints: 40405 556.03/557.44 c #Conflicts: 109000 | #Constraints: 41405 556.03/557.44 c #Conflicts: 110000 | #Constraints: 42405 556.03/557.44 c #Conflicts: 111000 | #Constraints: 43405 556.03/557.44 c #Conflicts: 112000 | #Constraints: 44406 556.03/557.44 c #Conflicts: 113000 | #Constraints: 45406 556.03/557.44 c #Conflicts: 114000 | #Constraints: 46406 556.03/557.44 c #Conflicts: 115000 | #Constraints: 47406 556.03/557.44 c #Conflicts: 116000 | #Constraints: 48406 556.03/557.44 c #Conflicts: 117000 | #Constraints: 49406 556.03/557.44 c #Conflicts: 118000 | #Constraints: 50406 556.03/557.44 c INPROCESSING 556.03/557.44 c GARBAGE COLLECT 556.03/557.44 c rational objective 150 817.50/819.58 c #Conflicts: 119000 | #Constraints: 35134 817.50/819.58 c #Conflicts: 120000 | #Constraints: 36134 817.50/819.58 c #Conflicts: 121000 | #Constraints: 37134 817.50/819.58 c #Conflicts: 122000 | #Constraints: 38134 817.50/819.58 c #Conflicts: 123000 | #Constraints: 39134 817.50/819.58 c #Conflicts: 124000 | #Constraints: 40134 817.50/819.58 c #Conflicts: 125000 | #Constraints: 41134 817.50/819.58 c #Conflicts: 126000 | #Constraints: 42134 817.50/819.58 c #Conflicts: 127000 | #Constraints: 43134 817.50/819.58 c #Conflicts: 128000 | #Constraints: 44134 817.50/819.58 c INPROCESSING 817.50/819.58 c GARBAGE COLLECT 817.50/819.58 c #Conflicts: 129000 | #Constraints: 32205 817.50/819.58 c #Conflicts: 130000 | #Constraints: 33205 817.50/819.58 c #Conflicts: 131000 | #Constraints: 34205 817.50/819.58 c #Conflicts: 132000 | #Constraints: 35205 817.50/819.58 c #Conflicts: 133000 | #Constraints: 36205 817.50/819.58 c #Conflicts: 134000 | #Constraints: 37205 817.50/819.58 c #Conflicts: 135000 | #Constraints: 38205 817.50/819.58 c #Conflicts: 136000 | #Constraints: 39205 817.50/819.58 c #Conflicts: 137000 | #Constraints: 40205 817.50/819.58 c #Conflicts: 138000 | #Constraints: 41205 817.50/819.58 c #Conflicts: 139000 | #Constraints: 42205 817.50/819.58 c #Conflicts: 140000 | #Constraints: 43205 817.50/819.58 c #Conflicts: 141000 | #Constraints: 44205 817.50/819.58 c #Conflicts: 142000 | #Constraints: 45205 817.50/819.58 c #Conflicts: 143000 | #Constraints: 46205 817.50/819.58 c #Conflicts: 144000 | #Constraints: 47205 817.50/819.58 c #Conflicts: 145000 | #Constraints: 48205 817.50/819.58 c #Conflicts: 146000 | #Constraints: 49206 817.50/819.58 c #Conflicts: 147000 | #Constraints: 50206 817.50/819.58 c #Conflicts: 148000 | #Constraints: 51206 817.50/819.58 c #Conflicts: 149000 | #Constraints: 52206 817.50/819.58 c #Conflicts: 150000 | #Constraints: 53206 817.50/819.58 c #Conflicts: 151000 | #Constraints: 54206 817.50/819.58 c #Conflicts: 152000 | #Constraints: 55206 817.50/819.58 c #Conflicts: 153000 | #Constraints: 56206 817.50/819.58 c INPROCESSING 817.50/819.58 c GARBAGE COLLECT 817.50/819.58 c #Conflicts: 154000 | #Constraints: 38269 817.50/819.58 c #Conflicts: 155000 | #Constraints: 39269 817.50/819.58 c #Conflicts: 156000 | #Constraints: 40269 817.50/819.58 c #Conflicts: 157000 | #Constraints: 41269 817.50/819.58 c #Conflicts: 158000 | #Constraints: 42269 817.50/819.58 c #Conflicts: 159000 | #Constraints: 43269 817.50/819.58 c #Conflicts: 160000 | #Constraints: 44269 817.50/819.58 c #Conflicts: 161000 | #Constraints: 45269 817.50/819.58 c #Conflicts: 162000 | #Constraints: 46270 817.50/819.58 c #Conflicts: 163000 | #Constraints: 47270 817.50/819.58 c INPROCESSING 817.50/819.58 c GARBAGE COLLECT 817.50/819.58 c #Conflicts: 164000 | #Constraints: 33471 817.50/819.58 c #Conflicts: 165000 | #Constraints: 34471 817.50/819.58 c #Conflicts: 166000 | #Constraints: 35471 817.50/819.58 c #Conflicts: 167000 | #Constraints: 36471 817.50/819.58 c #Conflicts: 168000 | #Constraints: 37471 817.50/819.58 c #Conflicts: 169000 | #Constraints: 38471 817.50/819.58 c #Conflicts: 170000 | #Constraints: 39471 817.50/819.58 c #Conflicts: 171000 | #Constraints: 40471 817.50/819.58 c #Conflicts: 172000 | #Constraints: 41471 817.50/819.58 c #Conflicts: 173000 | #Constraints: 42471 817.50/819.58 c #Conflicts: 174000 | #Constraints: 43471 817.50/819.58 c #Conflicts: 175000 | #Constraints: 44471 817.50/819.58 c #Conflicts: 176000 | #Constraints: 45471 817.50/819.58 c #Conflicts: 177000 | #Constraints: 46471 817.50/819.58 c #Conflicts: 178000 | #Constraints: 47471 817.50/819.58 c #Conflicts: 179000 | #Constraints: 48471 817.50/819.58 c #Conflicts: 180000 | #Constraints: 49471 817.50/819.58 c #Conflicts: 181000 | #Constraints: 50471 817.50/819.58 c #Conflicts: 182000 | #Constraints: 51471 817.50/819.58 c #Conflicts: 183000 | #Constraints: 52471 817.50/819.58 c #Conflicts: 184000 | #Constraints: 53471 817.50/819.58 c #Conflicts: 185000 | #Constraints: 54471 817.50/819.58 c #Conflicts: 186000 | #Constraints: 55471 817.50/819.58 c #Conflicts: 187000 | #Constraints: 56471 817.50/819.58 c #Conflicts: 188000 | #Constraints: 57471 817.50/819.58 c #Conflicts: 189000 | #Constraints: 58471 817.50/819.58 c #Conflicts: 190000 | #Constraints: 59471 817.50/819.58 c #Conflicts: 191000 | #Constraints: 60471 817.50/819.58 c INPROCESSING 817.50/819.58 c GARBAGE COLLECT 817.50/819.58 c #Conflicts: 192000 | #Constraints: 40140 817.50/819.58 c #Conflicts: 193000 | #Constraints: 41140 817.50/819.58 c #Conflicts: 194000 | #Constraints: 42140 817.50/819.58 c #Conflicts: 195000 | #Constraints: 43140 1268.04/1271.12 c #Conflicts: 196000 | #Constraints: 44140 1268.04/1271.12 c #Conflicts: 197000 | #Constraints: 45140 1268.04/1271.12 c #Conflicts: 198000 | #Constraints: 46140 1268.04/1271.12 c #Conflicts: 199000 | #Constraints: 47140 1268.04/1271.12 c #Conflicts: 200000 | #Constraints: 48140 1268.04/1271.12 c #Conflicts: 201000 | #Constraints: 49140 1268.04/1271.12 c #Conflicts: 202000 | #Constraints: 50140 1268.04/1271.12 c #Conflicts: 203000 | #Constraints: 51140 1268.04/1271.12 c #Conflicts: 204000 | #Constraints: 52140 1268.04/1271.12 c INPROCESSING 1268.04/1271.12 c GARBAGE COLLECT 1268.04/1271.12 c #Conflicts: 205000 | #Constraints: 36173 1268.04/1271.12 c #Conflicts: 206000 | #Constraints: 37173 1268.04/1271.12 c #Conflicts: 207000 | #Constraints: 38173 1268.04/1271.12 c #Conflicts: 208000 | #Constraints: 39173 1268.04/1271.12 c #Conflicts: 209000 | #Constraints: 40174 1268.04/1271.12 c #Conflicts: 210000 | #Constraints: 41174 1268.04/1271.12 c #Conflicts: 211000 | #Constraints: 42174 1268.04/1271.12 c #Conflicts: 212000 | #Constraints: 43174 1268.04/1271.12 c #Conflicts: 213000 | #Constraints: 44174 1268.04/1271.12 c #Conflicts: 214000 | #Constraints: 45174 1268.04/1271.12 c #Conflicts: 215000 | #Constraints: 46174 1268.04/1271.12 c #Conflicts: 216000 | #Constraints: 47174 1268.04/1271.12 c #Conflicts: 217000 | #Constraints: 48174 1268.04/1271.12 c #Conflicts: 218000 | #Constraints: 49174 1268.04/1271.12 c #Conflicts: 219000 | #Constraints: 50174 1268.04/1271.12 c #Conflicts: 220000 | #Constraints: 51174 1268.04/1271.12 c #Conflicts: 221000 | #Constraints: 52174 1268.04/1271.12 c #Conflicts: 222000 | #Constraints: 53174 1268.04/1271.12 c #Conflicts: 223000 | #Constraints: 54174 1268.04/1271.12 c #Conflicts: 224000 | #Constraints: 55174 1268.04/1271.12 c #Conflicts: 225000 | #Constraints: 56174 1268.04/1271.12 c #Conflicts: 226000 | #Constraints: 57174 1268.04/1271.12 c #Conflicts: 227000 | #Constraints: 58174 1268.04/1271.12 c #Conflicts: 228000 | #Constraints: 59174 1268.04/1271.12 c #Conflicts: 229000 | #Constraints: 60174 1268.04/1271.12 c #Conflicts: 230000 | #Constraints: 61174 1268.04/1271.12 c #Conflicts: 231000 | #Constraints: 62174 1268.04/1271.12 c #Conflicts: 232000 | #Constraints: 63174 1268.04/1271.12 c #Conflicts: 233000 | #Constraints: 64174 1268.04/1271.12 c #Conflicts: 234000 | #Constraints: 65174 1268.04/1271.12 c #Conflicts: 235000 | #Constraints: 66174 1268.04/1271.12 c INPROCESSING 1268.04/1271.12 c GARBAGE COLLECT 1268.04/1271.12 c #Conflicts: 236000 | #Constraints: 43317 1268.04/1271.12 c #Conflicts: 237000 | #Constraints: 44317 1268.04/1271.12 c #Conflicts: 238000 | #Constraints: 45317 1268.04/1271.12 c #Conflicts: 239000 | #Constraints: 46317 1268.04/1271.12 c #Conflicts: 240000 | #Constraints: 47317 1268.04/1271.12 c #Conflicts: 241000 | #Constraints: 48317 1268.04/1271.12 c #Conflicts: 242000 | #Constraints: 49317 1268.04/1271.12 c #Conflicts: 243000 | #Constraints: 50317 1268.04/1271.12 c #Conflicts: 244000 | #Constraints: 51317 1268.04/1271.12 c #Conflicts: 245000 | #Constraints: 52317 1268.04/1271.12 c #Conflicts: 246000 | #Constraints: 53317 1268.04/1271.12 c #Conflicts: 247000 | #Constraints: 54317 1268.04/1271.12 c #Conflicts: 248000 | #Constraints: 55317 1268.04/1271.12 c INPROCESSING 1268.04/1271.12 c GARBAGE COLLECT 1268.04/1271.12 c #Conflicts: 249000 | #Constraints: 37776 1268.04/1271.12 c #Conflicts: 250000 | #Constraints: 38776 1268.04/1271.12 c #Conflicts: 251000 | #Constraints: 39776 1268.04/1271.12 c #Conflicts: 252000 | #Constraints: 40776 1268.04/1271.12 c #Conflicts: 253000 | #Constraints: 41776 1268.04/1271.12 c #Conflicts: 254000 | #Constraints: 42776 1268.04/1271.12 c #Conflicts: 255000 | #Constraints: 43776 1268.04/1271.12 c #Conflicts: 256000 | #Constraints: 44776 1268.04/1271.12 c #Conflicts: 257000 | #Constraints: 45776 1268.04/1271.12 c #Conflicts: 258000 | #Constraints: 46776 1268.04/1271.12 c #Conflicts: 259000 | #Constraints: 47776 1268.04/1271.12 c #Conflicts: 260000 | #Constraints: 48776 1268.04/1271.12 c #Conflicts: 261000 | #Constraints: 49776 1268.04/1271.12 c #Conflicts: 262000 | #Constraints: 50776 1268.04/1271.12 c INPROCESSING 1268.04/1271.12 c GARBAGE COLLECT 1268.04/1271.12 c #Conflicts: 263000 | #Constraints: 38294 1268.04/1271.12 c #Conflicts: 264000 | #Constraints: 39294 1268.04/1271.12 c #Conflicts: 265000 | #Constraints: 40294 1268.04/1271.12 c #Conflicts: 266000 | #Constraints: 41294 1268.04/1271.12 c #Conflicts: 267000 | #Constraints: 42294 1268.04/1271.12 c #Conflicts: 268000 | #Constraints: 43294 1268.04/1271.12 c #Conflicts: 269000 | #Constraints: 44294 1268.04/1271.12 c #Conflicts: 270000 | #Constraints: 45295 1268.04/1271.12 c #Conflicts: 271000 | #Constraints: 46295 1500.30/1503.93 c #Conflicts: 272000 | #Constraints: 47295 1500.30/1503.93 c #Conflicts: 273000 | #Constraints: 48295 1500.30/1503.93 c #Conflicts: 274000 | #Constraints: 49295 1500.30/1503.93 c #Conflicts: 275000 | #Constraints: 50295 1500.30/1503.93 c #Conflicts: 276000 | #Constraints: 51295 1500.30/1503.93 c #Conflicts: 277000 | #Constraints: 52295 1500.30/1503.93 c #Conflicts: 278000 | #Constraints: 53295 1500.30/1503.93 c #Conflicts: 279000 | #Constraints: 54295 1500.30/1503.93 c #Conflicts: 280000 | #Constraints: 55295 1500.30/1503.93 c #Conflicts: 281000 | #Constraints: 56295 1500.30/1503.93 c #Conflicts: 282000 | #Constraints: 57295 1500.30/1503.93 c #Conflicts: 283000 | #Constraints: 58295 1500.30/1503.93 c #Conflicts: 284000 | #Constraints: 59295 1500.30/1503.93 c #Conflicts: 285000 | #Constraints: 60296 1500.30/1503.93 c #Conflicts: 286000 | #Constraints: 61296 1500.30/1503.93 c #Conflicts: 287000 | #Constraints: 62296 1500.30/1503.93 c #Conflicts: 288000 | #Constraints: 63296 1500.30/1503.93 c #Conflicts: 289000 | #Constraints: 64296 1500.30/1503.93 c #Conflicts: 290000 | #Constraints: 65296 1500.30/1503.93 c #Conflicts: 291000 | #Constraints: 66296 1500.30/1503.93 c #Conflicts: 292000 | #Constraints: 67296 1500.30/1503.93 c #Conflicts: 293000 | #Constraints: 68296 1500.30/1503.93 c #Conflicts: 294000 | #Constraints: 69296 1500.30/1503.93 c #Conflicts: 295000 | #Constraints: 70296 1500.30/1503.93 c #Conflicts: 296000 | #Constraints: 71296 1500.30/1503.93 c #Conflicts: 297000 | #Constraints: 72296 1500.30/1503.93 c INPROCESSING 1500.30/1503.93 c GARBAGE COLLECT 1500.30/1503.93 c #Conflicts: 298000 | #Constraints: 46417 1500.30/1503.93 c #Conflicts: 299000 | #Constraints: 47417 1500.30/1503.93 c #Conflicts: 300000 | #Constraints: 48417 1500.30/1503.93 c #Conflicts: 301000 | #Constraints: 49417 1500.30/1503.93 c #Conflicts: 302000 | #Constraints: 50417 1500.30/1503.93 c #Conflicts: 303000 | #Constraints: 51418 1500.30/1503.93 c #Conflicts: 304000 | #Constraints: 52418 1500.30/1503.93 c #Conflicts: 305000 | #Constraints: 53418 1500.30/1503.93 c #Conflicts: 306000 | #Constraints: 54418 1500.30/1503.93 c #Conflicts: 307000 | #Constraints: 55418 1500.30/1503.93 c #Conflicts: 308000 | #Constraints: 56418 1500.30/1503.93 c #Conflicts: 309000 | #Constraints: 57418 1500.30/1503.93 c #Conflicts: 310000 | #Constraints: 58418 1500.30/1503.93 c #Conflicts: 311000 | #Constraints: 59418 1500.30/1503.93 c #Conflicts: 312000 | #Constraints: 60418 1500.30/1503.93 c INPROCESSING 1500.30/1503.93 c GARBAGE COLLECT 1500.30/1503.93 c #Conflicts: 313000 | #Constraints: 40757 1500.30/1503.93 c #Conflicts: 314000 | #Constraints: 41757 1500.30/1503.93 c #Conflicts: 315000 | #Constraints: 42757 1500.30/1503.93 c #Conflicts: 316000 | #Constraints: 43758 1500.30/1503.93 c #Conflicts: 317000 | #Constraints: 44758 1500.30/1503.93 c #Conflicts: 318000 | #Constraints: 45758 1500.30/1503.93 c #Conflicts: 319000 | #Constraints: 46758 1500.30/1503.93 c #Conflicts: 320000 | #Constraints: 47758 1500.30/1503.93 c #Conflicts: 321000 | #Constraints: 48758 1500.30/1503.93 c #Conflicts: 322000 | #Constraints: 49758 1500.30/1503.93 c #Conflicts: 323000 | #Constraints: 50758 1500.30/1503.93 c #Conflicts: 324000 | #Constraints: 51758 1500.30/1503.93 c #Conflicts: 325000 | #Constraints: 52758 1500.30/1503.93 c #Conflicts: 326000 | #Constraints: 53758 1500.30/1503.93 c #Conflicts: 327000 | #Constraints: 54758 1500.30/1503.93 c #Conflicts: 328000 | #Constraints: 55758 1500.30/1503.93 c #Conflicts: 329000 | #Constraints: 56758 1500.30/1503.93 c #Conflicts: 330000 | #Constraints: 57758 1500.30/1503.93 c #Conflicts: 331000 | #Constraints: 58759 1500.30/1503.93 c #Conflicts: 332000 | #Constraints: 59759 1500.30/1503.93 c #Conflicts: 333000 | #Constraints: 60760 1500.30/1503.93 c #Conflicts: 334000 | #Constraints: 61760 1500.30/1503.93 c #Conflicts: 335000 | #Constraints: 62760 1500.30/1503.93 c #Conflicts: 336000 | #Constraints: 63760 1500.30/1503.93 c #Conflicts: 337000 | #Constraints: 64760 1500.30/1503.93 c #Conflicts: 338000 | #Constraints: 65760 1500.30/1503.93 c #Conflicts: 339000 | #Constraints: 66760 1500.30/1503.93 c #Conflicts: 340000 | #Constraints: 67760 1500.30/1503.93 c #Conflicts: 341000 | #Constraints: 68760 1500.30/1503.93 c #Conflicts: 342000 | #Constraints: 69760 1500.30/1503.93 c #Conflicts: 343000 | #Constraints: 70760 1500.30/1503.93 c #Conflicts: 344000 | #Constraints: 71760 1500.30/1503.93 c #Conflicts: 345000 | #Constraints: 72760 1500.30/1503.93 c #Conflicts: 346000 | #Constraints: 73760 1500.30/1503.93 c #Conflicts: 347000 | #Constraints: 74760 1500.30/1503.93 c #Conflicts: 348000 | #Constraints: 75760 1543.81/1547.53 c #Conflicts: 349000 | #Constraints: 76760 1543.81/1547.53 c #Conflicts: 350000 | #Constraints: 77760 1543.81/1547.53 c #Conflicts: 351000 | #Constraints: 78760 1543.81/1547.53 c INPROCESSING 1543.81/1547.53 c GARBAGE COLLECT 1543.81/1547.53 c #Conflicts: 352000 | #Constraints: 49794 1543.81/1547.53 c #Conflicts: 353000 | #Constraints: 50794 1543.81/1547.53 c #Conflicts: 354000 | #Constraints: 51794 1543.81/1547.53 c #Conflicts: 355000 | #Constraints: 52794 1543.81/1547.53 c #Conflicts: 356000 | #Constraints: 53794 1543.81/1547.53 c #Conflicts: 357000 | #Constraints: 54794 1543.81/1547.53 c #Conflicts: 358000 | #Constraints: 55794 1543.81/1547.53 c #Conflicts: 359000 | #Constraints: 56794 1543.81/1547.53 c #Conflicts: 360000 | #Constraints: 57794 1543.81/1547.53 c #Conflicts: 361000 | #Constraints: 58794 1543.81/1547.53 c #Conflicts: 362000 | #Constraints: 59794 1543.81/1547.53 c #Conflicts: 363000 | #Constraints: 60794 1543.81/1547.53 c #Conflicts: 364000 | #Constraints: 61794 1543.81/1547.53 c #Conflicts: 365000 | #Constraints: 62794 1543.81/1547.53 c #Conflicts: 366000 | #Constraints: 63794 1543.81/1547.53 c #Conflicts: 367000 | #Constraints: 64794 1543.81/1547.53 c INPROCESSING 1543.81/1547.53 c GARBAGE COLLECT 1543.81/1547.53 c rational objective 150 1689.72/1693.80 c #Conflicts: 368000 | #Constraints: 43403 1689.72/1693.80 c #Conflicts: 369000 | #Constraints: 44403 1689.72/1693.80 c #Conflicts: 370000 | #Constraints: 45403 1689.72/1693.80 c #Conflicts: 371000 | #Constraints: 46404 1689.72/1693.80 c #Conflicts: 372000 | #Constraints: 47404 1689.72/1693.80 c #Conflicts: 373000 | #Constraints: 48404 1689.72/1693.80 c #Conflicts: 374000 | #Constraints: 49404 1689.72/1693.80 c #Conflicts: 375000 | #Constraints: 50405 1689.72/1693.80 c #Conflicts: 376000 | #Constraints: 51405 1689.72/1693.80 c #Conflicts: 377000 | #Constraints: 52405 1689.72/1693.80 c #Conflicts: 378000 | #Constraints: 53405 1689.72/1693.80 c #Conflicts: 379000 | #Constraints: 54405 1689.72/1693.80 c #Conflicts: 380000 | #Constraints: 55405 1689.72/1693.80 c #Conflicts: 381000 | #Constraints: 56405 1689.72/1693.80 c #Conflicts: 382000 | #Constraints: 57405 1689.72/1693.80 c #Conflicts: 383000 | #Constraints: 58405 1689.72/1693.80 c #Conflicts: 384000 | #Constraints: 59405 1689.72/1693.80 c #Conflicts: 385000 | #Constraints: 60405 1689.72/1693.80 c #Conflicts: 386000 | #Constraints: 61405 1689.72/1693.80 c #Conflicts: 387000 | #Constraints: 62406 1689.72/1693.80 c #Conflicts: 388000 | #Constraints: 63406 1689.72/1693.80 c #Conflicts: 389000 | #Constraints: 64406 1689.72/1693.80 c #Conflicts: 390000 | #Constraints: 65406 1689.72/1693.80 c #Conflicts: 391000 | #Constraints: 66406 1689.72/1693.80 c #Conflicts: 392000 | #Constraints: 67406 1689.72/1693.80 c #Conflicts: 393000 | #Constraints: 68407 1689.72/1693.80 c #Conflicts: 394000 | #Constraints: 69407 1689.72/1693.80 c #Conflicts: 395000 | #Constraints: 70407 1689.72/1693.80 c #Conflicts: 396000 | #Constraints: 71407 1689.72/1693.80 c #Conflicts: 397000 | #Constraints: 72408 1689.72/1693.80 c #Conflicts: 398000 | #Constraints: 73408 1689.72/1693.80 c #Conflicts: 399000 | #Constraints: 74408 1689.72/1693.80 c #Conflicts: 400000 | #Constraints: 75408 1689.72/1693.80 c #Conflicts: 401000 | #Constraints: 76408 1689.72/1693.80 c #Conflicts: 402000 | #Constraints: 77408 1689.72/1693.80 c #Conflicts: 403000 | #Constraints: 78408 1689.72/1693.80 c #Conflicts: 404000 | #Constraints: 79408 1689.72/1693.80 c #Conflicts: 405000 | #Constraints: 80408 1689.72/1693.80 c #Conflicts: 406000 | #Constraints: 81408 1689.72/1693.80 c #Conflicts: 407000 | #Constraints: 82408 1689.72/1693.80 c #Conflicts: 408000 | #Constraints: 83408 1689.72/1693.80 c INPROCESSING 1689.72/1693.80 c GARBAGE COLLECT 1689.72/1693.80 c rational objective 150 1818.29/1822.79 c #Conflicts: 409000 | #Constraints: 51878 1818.29/1822.79 c #Conflicts: 410000 | #Constraints: 52878 1818.29/1822.79 c #Conflicts: 411000 | #Constraints: 53878 1818.29/1822.79 c #Conflicts: 412000 | #Constraints: 54878 1818.29/1822.79 c #Conflicts: 413000 | #Constraints: 55878 1818.29/1822.79 c #Conflicts: 414000 | #Constraints: 56878 1818.29/1822.79 c #Conflicts: 415000 | #Constraints: 57878 1818.29/1822.79 c #Conflicts: 416000 | #Constraints: 58878 1818.29/1822.79 c #Conflicts: 417000 | #Constraints: 59878 1818.29/1822.79 c #Conflicts: 418000 | #Constraints: 60878 1818.29/1822.79 c #Conflicts: 419000 | #Constraints: 61878 1818.29/1822.79 c #Conflicts: 420000 | #Constraints: 62879 1818.29/1822.79 c #Conflicts: 421000 | #Constraints: 63879 1818.29/1822.79 c #Conflicts: 422000 | #Constraints: 64879 1818.29/1822.79 c #Conflicts: 423000 | #Constraints: 65879 1818.29/1822.79 c #Conflicts: 424000 | #Constraints: 66879 1818.29/1822.79 c #Conflicts: 425000 | #Constraints: 67879 1818.29/1822.79 c #Conflicts: 426000 | #Constraints: 68879 1818.29/1822.79 c INPROCESSING 1818.29/1822.79 c GARBAGE COLLECT 1818.29/1822.79 c rational objective 150 1975.59/1980.47 c #Conflicts: 427000 | #Constraints: 45749 1975.59/1980.47 c #Conflicts: 428000 | #Constraints: 46749 1975.59/1980.47 c #Conflicts: 429000 | #Constraints: 47749 1975.59/1980.47 c #Conflicts: 430000 | #Constraints: 48749 1975.59/1980.47 c #Conflicts: 431000 | #Constraints: 49749 1975.59/1980.47 c #Conflicts: 432000 | #Constraints: 50749 1975.59/1980.47 c #Conflicts: 433000 | #Constraints: 51749 1975.59/1980.47 c #Conflicts: 434000 | #Constraints: 52749 1975.59/1980.47 c #Conflicts: 435000 | #Constraints: 53749 1975.59/1980.47 c #Conflicts: 436000 | #Constraints: 54749 1975.59/1980.47 c #Conflicts: 437000 | #Constraints: 55749 1975.59/1980.47 c #Conflicts: 438000 | #Constraints: 56749 1975.59/1980.47 c #Conflicts: 439000 | #Constraints: 57750 1975.59/1980.47 c #Conflicts: 440000 | #Constraints: 58750 1975.59/1980.47 c #Conflicts: 441000 | #Constraints: 59750 1975.59/1980.47 c #Conflicts: 442000 | #Constraints: 60750 1975.59/1980.47 c #Conflicts: 443000 | #Constraints: 61750 1975.59/1980.47 c #Conflicts: 444000 | #Constraints: 62750 1975.59/1980.47 c #Conflicts: 445000 | #Constraints: 63750 1975.59/1980.47 c #Conflicts: 446000 | #Constraints: 64751 1975.59/1980.47 c #Conflicts: 447000 | #Constraints: 65752 1975.59/1980.47 c #Conflicts: 448000 | #Constraints: 66752 1975.59/1980.47 c #Conflicts: 449000 | #Constraints: 67752 1975.59/1980.47 c #Conflicts: 450000 | #Constraints: 68752 1975.59/1980.47 c #Conflicts: 451000 | #Constraints: 69752 1975.59/1980.47 c #Conflicts: 452000 | #Constraints: 70752 1975.59/1980.47 c #Conflicts: 453000 | #Constraints: 71752 1975.59/1980.47 c #Conflicts: 454000 | #Constraints: 72752 1975.59/1980.47 c #Conflicts: 455000 | #Constraints: 73752 1975.59/1980.47 c #Conflicts: 456000 | #Constraints: 74752 1975.59/1980.47 c #Conflicts: 457000 | #Constraints: 75752 1975.59/1980.47 c #Conflicts: 458000 | #Constraints: 76752 1975.59/1980.47 c #Conflicts: 459000 | #Constraints: 77752 1975.59/1980.47 c #Conflicts: 460000 | #Constraints: 78753 1975.59/1980.47 c #Conflicts: 461000 | #Constraints: 79753 1975.59/1980.47 c #Conflicts: 462000 | #Constraints: 80753 1975.59/1980.47 c #Conflicts: 463000 | #Constraints: 81753 1975.59/1980.47 c #Conflicts: 464000 | #Constraints: 82753 1975.59/1980.47 c #Conflicts: 465000 | #Constraints: 83753 1975.59/1980.47 c #Conflicts: 466000 | #Constraints: 84753 1975.59/1980.47 c #Conflicts: 467000 | #Constraints: 85753 1975.59/1980.47 c #Conflicts: 468000 | #Constraints: 86753 1975.59/1980.47 c #Conflicts: 469000 | #Constraints: 87754 1975.59/1980.47 c #Conflicts: 470000 | #Constraints: 88754 1975.59/1980.47 c #Conflicts: 471000 | #Constraints: 89754 1975.59/1980.47 c INPROCESSING 1975.59/1980.47 c GARBAGE COLLECT 1975.59/1980.47 c rational objective 150 2179.79/2185.13 c #Conflicts: 472000 | #Constraints: 55423 2179.79/2185.13 c #Conflicts: 473000 | #Constraints: 56423 2179.79/2185.13 c #Conflicts: 474000 | #Constraints: 57423 2179.79/2185.13 c #Conflicts: 475000 | #Constraints: 58423 2179.79/2185.13 c #Conflicts: 476000 | #Constraints: 59423 2179.79/2185.13 c #Conflicts: 477000 | #Constraints: 60423 2179.79/2185.13 c #Conflicts: 478000 | #Constraints: 61423 2179.79/2185.13 c #Conflicts: 479000 | #Constraints: 62423 2179.79/2185.13 c #Conflicts: 480000 | #Constraints: 63423 2179.79/2185.13 c #Conflicts: 481000 | #Constraints: 64423 2179.79/2185.13 c #Conflicts: 482000 | #Constraints: 65423 2179.79/2185.13 c #Conflicts: 483000 | #Constraints: 66423 2179.79/2185.13 c #Conflicts: 484000 | #Constraints: 67425 2179.79/2185.13 c #Conflicts: 485000 | #Constraints: 68425 2179.79/2185.13 c #Conflicts: 486000 | #Constraints: 69425 2179.79/2185.13 c #Conflicts: 487000 | #Constraints: 70425 2179.79/2185.13 c #Conflicts: 488000 | #Constraints: 71425 2179.79/2185.13 c #Conflicts: 489000 | #Constraints: 72427 2179.79/2185.13 c INPROCESSING 2179.79/2185.13 c GARBAGE COLLECT 2179.79/2185.13 c rational objective 150 2547.25/2553.54 c #Conflicts: 490000 | #Constraints: 46566 2547.25/2553.54 c #Conflicts: 491000 | #Constraints: 47567 2547.25/2553.54 c #Conflicts: 492000 | #Constraints: 48567 2547.25/2553.54 c #Conflicts: 493000 | #Constraints: 49567 2547.25/2553.54 c #Conflicts: 494000 | #Constraints: 50567 2547.25/2553.54 c #Conflicts: 495000 | #Constraints: 51567 2547.25/2553.54 c #Conflicts: 496000 | #Constraints: 52567 2547.25/2553.54 c #Conflicts: 497000 | #Constraints: 53567 2547.25/2553.54 c #Conflicts: 498000 | #Constraints: 54568 2547.25/2553.54 c #Conflicts: 499000 | #Constraints: 55568 2547.25/2553.54 c #Conflicts: 500000 | #Constraints: 56568 2547.25/2553.54 c #Conflicts: 501000 | #Constraints: 57568 2547.25/2553.54 c #Conflicts: 502000 | #Constraints: 58568 2547.25/2553.54 c #Conflicts: 503000 | #Constraints: 59568 2547.25/2553.54 c #Conflicts: 504000 | #Constraints: 60568 2547.25/2553.54 c #Conflicts: 505000 | #Constraints: 61568 2547.25/2553.54 c #Conflicts: 506000 | #Constraints: 62568 2547.25/2553.54 c #Conflicts: 507000 | #Constraints: 63568 2547.25/2553.54 c #Conflicts: 508000 | #Constraints: 64568 2547.25/2553.54 c #Conflicts: 509000 | #Constraints: 65568 2547.25/2553.54 c #Conflicts: 510000 | #Constraints: 66568 2547.25/2553.54 c #Conflicts: 511000 | #Constraints: 67571 2547.25/2553.54 c #Conflicts: 512000 | #Constraints: 68571 2547.25/2553.54 c #Conflicts: 513000 | #Constraints: 69572 2547.25/2553.54 c #Conflicts: 514000 | #Constraints: 70573 2547.25/2553.54 c #Conflicts: 515000 | #Constraints: 71573 2547.25/2553.54 c #Conflicts: 516000 | #Constraints: 72573 2547.25/2553.54 c #Conflicts: 517000 | #Constraints: 73573 2547.25/2553.54 c #Conflicts: 518000 | #Constraints: 74573 2547.25/2553.54 c #Conflicts: 519000 | #Constraints: 75573 2547.25/2553.54 c #Conflicts: 520000 | #Constraints: 76573 2547.25/2553.54 c #Conflicts: 521000 | #Constraints: 77573 2547.25/2553.54 c #Conflicts: 522000 | #Constraints: 78573 2547.25/2553.54 c #Conflicts: 523000 | #Constraints: 79573 2547.25/2553.54 c #Conflicts: 524000 | #Constraints: 80573 2547.25/2553.54 c #Conflicts: 525000 | #Constraints: 81573 2547.25/2553.54 c #Conflicts: 526000 | #Constraints: 82573 2547.25/2553.54 c #Conflicts: 527000 | #Constraints: 83574 2547.25/2553.54 c #Conflicts: 528000 | #Constraints: 84574 2547.25/2553.54 c #Conflicts: 529000 | #Constraints: 85574 2547.25/2553.54 c #Conflicts: 530000 | #Constraints: 86574 2547.25/2553.54 c #Conflicts: 531000 | #Constraints: 87574 2547.25/2553.54 c #Conflicts: 532000 | #Constraints: 88574 2547.25/2553.54 c #Conflicts: 533000 | #Constraints: 89574 2547.25/2553.54 c #Conflicts: 534000 | #Constraints: 90574 2547.25/2553.54 c #Conflicts: 535000 | #Constraints: 91574 2547.25/2553.54 c #Conflicts: 536000 | #Constraints: 92574 2547.25/2553.54 c #Conflicts: 537000 | #Constraints: 93574 2547.25/2553.54 c INPROCESSING 2547.25/2553.54 c GARBAGE COLLECT 2547.25/2553.54 c #Conflicts: 538000 | #Constraints: 57285 2547.25/2553.54 c #Conflicts: 539000 | #Constraints: 58285 2547.25/2553.54 c #Conflicts: 540000 | #Constraints: 59285 2547.25/2553.54 c #Conflicts: 541000 | #Constraints: 60285 2547.25/2553.54 c #Conflicts: 542000 | #Constraints: 61285 2547.25/2553.54 c #Conflicts: 543000 | #Constraints: 62285 2547.25/2553.54 c #Conflicts: 544000 | #Constraints: 63285 2547.25/2553.54 c #Conflicts: 545000 | #Constraints: 64285 2547.25/2553.54 c #Conflicts: 546000 | #Constraints: 65285 2547.25/2553.54 c #Conflicts: 547000 | #Constraints: 66285 2547.25/2553.54 c #Conflicts: 548000 | #Constraints: 67285 2547.25/2553.54 c #Conflicts: 549000 | #Constraints: 68285 2547.25/2553.54 c #Conflicts: 550000 | #Constraints: 69285 2547.25/2553.54 c #Conflicts: 551000 | #Constraints: 70285 2547.25/2553.54 c #Conflicts: 552000 | #Constraints: 71285 2547.25/2553.54 c #Conflicts: 553000 | #Constraints: 72285 2547.25/2553.54 c #Conflicts: 554000 | #Constraints: 73285 2547.25/2553.54 c #Conflicts: 555000 | #Constraints: 74285 2547.25/2553.54 c #Conflicts: 556000 | #Constraints: 75285 2547.25/2553.54 c #Conflicts: 557000 | #Constraints: 76285 2547.25/2553.54 c INPROCESSING 2547.25/2553.54 c GARBAGE COLLECT 2547.25/2553.54 c #Conflicts: 558000 | #Constraints: 49119 2547.25/2553.54 c #Conflicts: 559000 | #Constraints: 50119 2547.25/2553.54 c #Conflicts: 560000 | #Constraints: 51119 2547.25/2553.54 c #Conflicts: 561000 | #Constraints: 52119 2547.25/2553.54 c #Conflicts: 562000 | #Constraints: 53119 2547.25/2553.54 c #Conflicts: 563000 | #Constraints: 54119 2547.25/2553.54 c #Conflicts: 564000 | #Constraints: 55119 2547.25/2553.54 c #Conflicts: 565000 | #Constraints: 56119 2547.25/2553.54 c #Conflicts: 566000 | #Constraints: 57119 2547.25/2553.54 c #Conflicts: 567000 | #Constraints: 58120 2774.07/2780.90 c #Conflicts: 568000 | #Constraints: 59120 2774.07/2780.90 c #Conflicts: 569000 | #Constraints: 60120 2774.07/2780.90 c #Conflicts: 570000 | #Constraints: 61120 2774.07/2780.90 c #Conflicts: 571000 | #Constraints: 62120 2774.07/2780.90 c #Conflicts: 572000 | #Constraints: 63120 2774.07/2780.90 c #Conflicts: 573000 | #Constraints: 64120 2774.07/2780.90 c #Conflicts: 574000 | #Constraints: 65120 2774.07/2780.90 c #Conflicts: 575000 | #Constraints: 66120 2774.07/2780.90 c #Conflicts: 576000 | #Constraints: 67120 2774.07/2780.90 c #Conflicts: 577000 | #Constraints: 68120 2774.07/2780.90 c #Conflicts: 578000 | #Constraints: 69120 2774.07/2780.90 c #Conflicts: 579000 | #Constraints: 70120 2774.07/2780.90 c #Conflicts: 580000 | #Constraints: 71120 2774.07/2780.90 c #Conflicts: 581000 | #Constraints: 72120 2774.07/2780.90 c #Conflicts: 582000 | #Constraints: 73120 2774.07/2780.90 c #Conflicts: 583000 | #Constraints: 74120 2774.07/2780.90 c #Conflicts: 584000 | #Constraints: 75120 2774.07/2780.90 c #Conflicts: 585000 | #Constraints: 76120 2774.07/2780.90 c #Conflicts: 586000 | #Constraints: 77120 2774.07/2780.90 c #Conflicts: 587000 | #Constraints: 78120 2774.07/2780.90 c #Conflicts: 588000 | #Constraints: 79120 2774.07/2780.90 c #Conflicts: 589000 | #Constraints: 80120 2774.07/2780.90 c #Conflicts: 590000 | #Constraints: 81120 2774.07/2780.90 c #Conflicts: 591000 | #Constraints: 82120 2774.07/2780.90 c #Conflicts: 592000 | #Constraints: 83120 2774.07/2780.90 c #Conflicts: 593000 | #Constraints: 84120 2774.07/2780.90 c #Conflicts: 594000 | #Constraints: 85121 2774.07/2780.90 c #Conflicts: 595000 | #Constraints: 86121 2774.07/2780.90 c #Conflicts: 596000 | #Constraints: 87121 2774.07/2780.90 c #Conflicts: 597000 | #Constraints: 88121 2774.07/2780.90 c #Conflicts: 598000 | #Constraints: 89121 2774.07/2780.90 c #Conflicts: 599000 | #Constraints: 90121 2774.07/2780.90 c #Conflicts: 600000 | #Constraints: 91121 2774.07/2780.90 c #Conflicts: 601000 | #Constraints: 92121 2774.07/2780.90 c #Conflicts: 602000 | #Constraints: 93121 2774.07/2780.90 c #Conflicts: 603000 | #Constraints: 94121 2774.07/2780.90 c #Conflicts: 604000 | #Constraints: 95121 2774.07/2780.90 c #Conflicts: 605000 | #Constraints: 96121 2774.07/2780.90 c #Conflicts: 606000 | #Constraints: 97121 2774.07/2780.90 c #Conflicts: 607000 | #Constraints: 98121 2774.07/2780.90 c #Conflicts: 608000 | #Constraints: 99121 2774.07/2780.90 c INPROCESSING 2774.07/2780.90 c GARBAGE COLLECT 2774.07/2780.90 c rational objective 150 3016.86/3024.32 c #Conflicts: 609000 | #Constraints: 59918 3016.86/3024.32 c #Conflicts: 610000 | #Constraints: 60918 3016.86/3024.32 c #Conflicts: 611000 | #Constraints: 61918 3016.86/3024.32 c #Conflicts: 612000 | #Constraints: 62918 3016.86/3024.32 c #Conflicts: 613000 | #Constraints: 63918 3016.86/3024.32 c #Conflicts: 614000 | #Constraints: 64918 3016.86/3024.32 c #Conflicts: 615000 | #Constraints: 65918 3016.86/3024.32 c #Conflicts: 616000 | #Constraints: 66918 3016.86/3024.32 c #Conflicts: 617000 | #Constraints: 67918 3016.86/3024.32 c #Conflicts: 618000 | #Constraints: 68918 3016.86/3024.32 c #Conflicts: 619000 | #Constraints: 69918 3016.86/3024.32 c #Conflicts: 620000 | #Constraints: 70918 3016.86/3024.32 c #Conflicts: 621000 | #Constraints: 71918 3016.86/3024.32 c #Conflicts: 622000 | #Constraints: 72918 3016.86/3024.32 c #Conflicts: 623000 | #Constraints: 73918 3016.86/3024.32 c #Conflicts: 624000 | #Constraints: 74918 3016.86/3024.32 c #Conflicts: 625000 | #Constraints: 75918 3016.86/3024.32 c #Conflicts: 626000 | #Constraints: 76918 3016.86/3024.32 c #Conflicts: 627000 | #Constraints: 77919 3016.86/3024.32 c #Conflicts: 628000 | #Constraints: 78919 3016.86/3024.32 c #Conflicts: 629000 | #Constraints: 79919 3016.86/3024.32 c #Conflicts: 630000 | #Constraints: 80919 3016.86/3024.32 c INPROCESSING 3016.86/3024.32 c GARBAGE COLLECT 3016.86/3024.32 c #Conflicts: 631000 | #Constraints: 52452 3016.86/3024.32 c #Conflicts: 632000 | #Constraints: 53452 3016.86/3024.32 c #Conflicts: 633000 | #Constraints: 54452 3016.86/3024.32 c #Conflicts: 634000 | #Constraints: 55452 3016.86/3024.32 c #Conflicts: 635000 | #Constraints: 56452 3016.86/3024.32 c #Conflicts: 636000 | #Constraints: 57452 3016.86/3024.32 c #Conflicts: 637000 | #Constraints: 58452 3016.86/3024.32 c #Conflicts: 638000 | #Constraints: 59452 3016.86/3024.32 c #Conflicts: 639000 | #Constraints: 60452 3016.86/3024.32 c #Conflicts: 640000 | #Constraints: 61452 3016.86/3024.32 c #Conflicts: 641000 | #Constraints: 62452 3016.86/3024.32 c #Conflicts: 642000 | #Constraints: 63452 3016.86/3024.32 c #Conflicts: 643000 | #Constraints: 64452 3016.86/3024.32 c #Conflicts: 644000 | #Constraints: 65452 3016.86/3024.32 c #Conflicts: 645000 | #Constraints: 66453 3016.86/3024.32 c #Conflicts: 646000 | #Constraints: 67453 3016.86/3024.32 c #Conflicts: 647000 | #Constraints: 68453 3016.86/3024.32 c #Conflicts: 648000 | #Constraints: 69453 3016.86/3024.32 c #Conflicts: 649000 | #Constraints: 70453 3016.86/3024.32 c #Conflicts: 650000 | #Constraints: 71453 3016.86/3024.32 c #Conflicts: 651000 | #Constraints: 72453 3016.86/3024.32 c #Conflicts: 652000 | #Constraints: 73453 3016.86/3024.32 c #Conflicts: 653000 | #Constraints: 74453 3016.86/3024.32 c #Conflicts: 654000 | #Constraints: 75453 3016.86/3024.32 c #Conflicts: 655000 | #Constraints: 76453 3016.86/3024.32 c #Conflicts: 656000 | #Constraints: 77453 3016.86/3024.32 c #Conflicts: 657000 | #Constraints: 78453 3016.86/3024.32 c #Conflicts: 658000 | #Constraints: 79453 3016.86/3024.32 c #Conflicts: 659000 | #Constraints: 80453 3016.86/3024.32 c #Conflicts: 660000 | #Constraints: 81453 3016.86/3024.32 c #Conflicts: 661000 | #Constraints: 82453 3016.86/3024.32 c #Conflicts: 662000 | #Constraints: 83453 3016.86/3024.32 c #Conflicts: 663000 | #Constraints: 84453 3016.86/3024.32 c #Conflicts: 664000 | #Constraints: 85453 3016.86/3024.32 c #Conflicts: 665000 | #Constraints: 86453 3016.86/3024.32 c #Conflicts: 666000 | #Constraints: 87453 3016.86/3024.32 c #Conflicts: 667000 | #Constraints: 88453 3016.86/3024.32 c #Conflicts: 668000 | #Constraints: 89453 3016.86/3024.32 c #Conflicts: 669000 | #Constraints: 90453 3016.86/3024.32 c #Conflicts: 670000 | #Constraints: 91453 3016.86/3024.32 c #Conflicts: 671000 | #Constraints: 92453 3016.86/3024.32 c #Conflicts: 672000 | #Constraints: 93453 3016.86/3024.32 c #Conflicts: 673000 | #Constraints: 94453 3016.86/3024.32 c #Conflicts: 674000 | #Constraints: 95453 3016.86/3024.32 c #Conflicts: 675000 | #Constraints: 96453 3016.86/3024.32 c #Conflicts: 676000 | #Constraints: 97453 3016.86/3024.32 c #Conflicts: 677000 | #Constraints: 98453 3016.86/3024.32 c #Conflicts: 678000 | #Constraints: 99453 3016.86/3024.32 c #Conflicts: 679000 | #Constraints: 100453 3016.86/3024.32 c #Conflicts: 680000 | #Constraints: 101453 3016.86/3024.32 c #Conflicts: 681000 | #Constraints: 102453 3016.86/3024.32 c #Conflicts: 682000 | #Constraints: 103453 3016.86/3024.32 c #Conflicts: 683000 | #Constraints: 104453 3016.86/3024.32 c #Conflicts: 684000 | #Constraints: 105453 3016.86/3024.32 c INPROCESSING 3016.86/3024.32 c GARBAGE COLLECT 3016.86/3024.32 c rational objective 150 3062.36/3069.92 c #Conflicts: 685000 | #Constraints: 63680 3062.36/3069.92 c #Conflicts: 686000 | #Constraints: 64680 3062.36/3069.92 c #Conflicts: 687000 | #Constraints: 65680 3062.36/3069.92 c #Conflicts: 688000 | #Constraints: 66680 3062.36/3069.92 c #Conflicts: 689000 | #Constraints: 67680 3062.36/3069.92 c #Conflicts: 690000 | #Constraints: 68680 3062.36/3069.92 c #Conflicts: 691000 | #Constraints: 69680 3062.36/3069.92 c #Conflicts: 692000 | #Constraints: 70680 3062.36/3069.92 c #Conflicts: 693000 | #Constraints: 71680 3062.36/3069.92 c #Conflicts: 694000 | #Constraints: 72680 3062.36/3069.92 c #Conflicts: 695000 | #Constraints: 73680 3062.36/3069.92 c #Conflicts: 696000 | #Constraints: 74680 3062.36/3069.92 c #Conflicts: 697000 | #Constraints: 75680 3062.36/3069.92 c #Conflicts: 698000 | #Constraints: 76680 3062.36/3069.92 c #Conflicts: 699000 | #Constraints: 77680 3062.36/3069.92 c #Conflicts: 700000 | #Constraints: 78680 3062.36/3069.92 c #Conflicts: 701000 | #Constraints: 79680 3062.36/3069.92 c #Conflicts: 702000 | #Constraints: 80680 3062.36/3069.92 c #Conflicts: 703000 | #Constraints: 81680 3062.36/3069.92 c #Conflicts: 704000 | #Constraints: 82680 3062.36/3069.92 c #Conflicts: 705000 | #Constraints: 83680 3062.36/3069.92 c #Conflicts: 706000 | #Constraints: 84680 3062.36/3069.92 c INPROCESSING 3062.36/3069.92 c GARBAGE COLLECT 3062.36/3069.92 c rational objective 150 3354.15/3362.34 c #Conflicts: 707000 | #Constraints: 54378 3354.15/3362.34 c #Conflicts: 708000 | #Constraints: 55378 3354.15/3362.34 c #Conflicts: 709000 | #Constraints: 56379 3354.15/3362.34 c #Conflicts: 710000 | #Constraints: 57379 3354.15/3362.34 c #Conflicts: 711000 | #Constraints: 58380 3354.15/3362.34 c #Conflicts: 712000 | #Constraints: 59380 3354.15/3362.34 c #Conflicts: 713000 | #Constraints: 60380 3354.15/3362.34 c #Conflicts: 714000 | #Constraints: 61380 3354.15/3362.34 c #Conflicts: 715000 | #Constraints: 62380 3354.15/3362.34 c #Conflicts: 716000 | #Constraints: 63380 3354.15/3362.34 c #Conflicts: 717000 | #Constraints: 64380 3354.15/3362.34 c #Conflicts: 718000 | #Constraints: 65380 3354.15/3362.34 c #Conflicts: 719000 | #Constraints: 66380 3354.15/3362.34 c #Conflicts: 720000 | #Constraints: 67380 3354.15/3362.34 c #Conflicts: 721000 | #Constraints: 68380 3354.15/3362.34 c #Conflicts: 722000 | #Constraints: 69380 3354.15/3362.34 c #Conflicts: 723000 | #Constraints: 70380 3354.15/3362.34 c #Conflicts: 724000 | #Constraints: 71381 3354.15/3362.34 c #Conflicts: 725000 | #Constraints: 72381 3354.15/3362.34 c #Conflicts: 726000 | #Constraints: 73381 3354.15/3362.34 c #Conflicts: 727000 | #Constraints: 74381 3354.15/3362.34 c #Conflicts: 728000 | #Constraints: 75381 3354.15/3362.34 c #Conflicts: 729000 | #Constraints: 76381 3354.15/3362.34 c #Conflicts: 730000 | #Constraints: 77381 3354.15/3362.34 c #Conflicts: 731000 | #Constraints: 78381 3354.15/3362.34 c #Conflicts: 732000 | #Constraints: 79381 3354.15/3362.34 c #Conflicts: 733000 | #Constraints: 80381 3354.15/3362.34 c #Conflicts: 734000 | #Constraints: 81381 3354.15/3362.34 c #Conflicts: 735000 | #Constraints: 82382 3354.15/3362.34 c #Conflicts: 736000 | #Constraints: 83382 3354.15/3362.34 c #Conflicts: 737000 | #Constraints: 84382 3354.15/3362.34 c #Conflicts: 738000 | #Constraints: 85382 3354.15/3362.34 c #Conflicts: 739000 | #Constraints: 86382 3354.15/3362.34 c #Conflicts: 740000 | #Constraints: 87382 3354.15/3362.34 c #Conflicts: 741000 | #Constraints: 88382 3354.15/3362.34 c #Conflicts: 742000 | #Constraints: 89382 3354.15/3362.34 c #Conflicts: 743000 | #Constraints: 90382 3354.15/3362.34 c #Conflicts: 744000 | #Constraints: 91382 3354.15/3362.34 c #Conflicts: 745000 | #Constraints: 92382 3354.15/3362.34 c #Conflicts: 746000 | #Constraints: 93382 3354.15/3362.34 c #Conflicts: 747000 | #Constraints: 94382 3354.15/3362.34 c #Conflicts: 748000 | #Constraints: 95382 3354.15/3362.34 c #Conflicts: 749000 | #Constraints: 96382 3354.15/3362.34 c #Conflicts: 750000 | #Constraints: 97382 3354.15/3362.34 c #Conflicts: 751000 | #Constraints: 98383 3354.15/3362.34 c #Conflicts: 752000 | #Constraints: 99383 3354.15/3362.34 c #Conflicts: 753000 | #Constraints: 100383 3354.15/3362.34 c #Conflicts: 754000 | #Constraints: 101383 3354.15/3362.34 c #Conflicts: 755000 | #Constraints: 102383 3354.15/3362.34 c #Conflicts: 756000 | #Constraints: 103383 3354.15/3362.34 c #Conflicts: 757000 | #Constraints: 104383 3354.15/3362.34 c #Conflicts: 758000 | #Constraints: 105383 3354.15/3362.34 c #Conflicts: 759000 | #Constraints: 106384 3354.15/3362.34 c #Conflicts: 760000 | #Constraints: 107384 3354.15/3362.34 c #Conflicts: 761000 | #Constraints: 108384 3354.15/3362.34 c #Conflicts: 762000 | #Constraints: 109384 3354.15/3362.34 c #Conflicts: 763000 | #Constraints: 110384 3354.15/3362.34 c INPROCESSING 3354.15/3362.34 c GARBAGE COLLECT 3354.15/3362.34 c rational objective 150 3532.76/3541.33 c #Conflicts: 764000 | #Constraints: 65691 3532.76/3541.33 c #Conflicts: 765000 | #Constraints: 66691 3532.76/3541.33 c #Conflicts: 766000 | #Constraints: 67691 3532.76/3541.33 c #Conflicts: 767000 | #Constraints: 68691 3532.76/3541.33 c #Conflicts: 768000 | #Constraints: 69691 3532.76/3541.33 c #Conflicts: 769000 | #Constraints: 70691 3532.76/3541.33 c #Conflicts: 770000 | #Constraints: 71691 3532.76/3541.33 c #Conflicts: 771000 | #Constraints: 72691 3532.76/3541.33 c #Conflicts: 772000 | #Constraints: 73691 3532.76/3541.33 c #Conflicts: 773000 | #Constraints: 74691 3532.76/3541.33 c #Conflicts: 774000 | #Constraints: 75691 3532.76/3541.33 c #Conflicts: 775000 | #Constraints: 76691 3532.76/3541.33 c #Conflicts: 776000 | #Constraints: 77691 3532.76/3541.33 c #Conflicts: 777000 | #Constraints: 78691 3532.76/3541.33 c #Conflicts: 778000 | #Constraints: 79691 3532.76/3541.33 c #Conflicts: 779000 | #Constraints: 80691 3532.76/3541.33 c #Conflicts: 780000 | #Constraints: 81691 3532.76/3541.33 c #Conflicts: 781000 | #Constraints: 82691 3532.76/3541.33 c #Conflicts: 782000 | #Constraints: 83691 3532.76/3541.33 c #Conflicts: 783000 | #Constraints: 84691 3532.76/3541.33 c #Conflicts: 784000 | #Constraints: 85692 3532.76/3541.33 c #Conflicts: 785000 | #Constraints: 86692 3532.76/3541.33 c #Conflicts: 786000 | #Constraints: 87692 3532.76/3541.33 c #Conflicts: 787000 | #Constraints: 88692 3532.76/3541.33 c INPROCESSING 3532.76/3541.33 c GARBAGE COLLECT 3532.76/3541.33 c rational objective 150 3600.02/3608.70 c #Conflicts: 788000 | #Constraints: 56615 3600.02/3608.70 c #Conflicts: 789000 | #Constraints: 57615 3600.02/3608.70 c #Conflicts: 790000 | #Constraints: 58615 3600.02/3608.70 c #Conflicts: 791000 | #Constraints: 59615 3600.02/3608.70 c #Conflicts: 792000 | #Constraints: 60615 3600.02/3608.70 c #Conflicts: 793000 | #Constraints: 61615 3600.02/3608.70 c #Conflicts: 794000 | #Constraints: 62615 3600.02/3608.70 c #Conflicts: 795000 | #Constraints: 63615 3600.02/3608.70 c #Conflicts: 796000 | #Constraints: 64615 3600.02/3608.70 c #Conflicts: 797000 | #Constraints: 65615 3600.02/3608.70 c #Conflicts: 798000 | #Constraints: 66616 3600.02/3608.70 c #Conflicts: 799000 | #Constraints: 67617 3600.02/3608.70 c #Conflicts: 800000 | #Constraints: 68617 3600.02/3608.70 c #Conflicts: 801000 | #Constraints: 69617 3600.02/3608.70 c #Conflicts: 802000 | #Constraints: 70617 3600.02/3608.70 c #Conflicts: 803000 | #Constraints: 71617 3600.02/3608.70 c #Conflicts: 804000 | #Constraints: 72617 3600.02/3608.70 c #Conflicts: 805000 | #Constraints: 73617 3600.02/3608.70 c #Conflicts: 806000 | #Constraints: 74618 3600.02/3608.70 c #Conflicts: 807000 | #Constraints: 75618 3600.02/3608.70 c #Conflicts: 808000 | #Constraints: 76618 3600.02/3608.70 c #Conflicts: 809000 | #Constraints: 77618 3600.02/3608.70 c #Conflicts: 810000 | #Constraints: 78618 3600.02/3608.70 c #Conflicts: 811000 | #Constraints: 79618 3600.02/3608.70 c #Conflicts: 812000 | #Constraints: 80618 3600.02/3608.70 c #Conflicts: 813000 | #Constraints: 81619 3600.02/3608.70 c #Conflicts: 814000 | #Constraints: 82619 3600.02/3608.70 c #Conflicts: 815000 | #Constraints: 83619 3600.02/3608.70 c #Conflicts: 816000 | #Constraints: 84619 3600.02/3608.70 c #Conflicts: 817000 | #Constraints: 85619 3600.02/3608.70 c Program interrupted by user. 3600.02/3608.70 c cpu time 3570.85 s 3600.02/3608.70 c deterministic time 267455346529 2.67e+11 3600.02/3608.70 c optimization time 63.0224 s 3600.02/3608.70 c total solve time 3507.76 s 3600.02/3608.70 c core-guided solve time 0 s 3600.02/3608.70 c propagation time 1790.11 s 3600.02/3608.70 c conflict analysis time 528.786 s 3600.02/3608.70 c propagations 609849137 3600.02/3608.70 c resolve steps 36452294 3600.02/3608.70 c decisions 14014517 3600.02/3608.70 c conflicts 817333 3600.02/3608.70 c restarts 1765 3600.02/3608.70 c inprocessing phases 39 3600.02/3608.70 c input clauses 18002 3600.02/3608.70 c input cardinalities 150 3600.02/3608.70 c input general constraints 0 3600.02/3608.70 c input average constraint length 6.43 3600.02/3608.70 c input average constraint degree 1.97 3600.02/3608.70 c learned clauses 516635 3600.02/3608.70 c learned cardinalities 34744 3600.02/3608.70 c learned general constraints 266028 3600.02/3608.70 c learned average constraint length 1281.11 3600.02/3608.70 c learned average constraint degree 724502641.95 3600.02/3608.70 c watched constraints 201534 3600.02/3608.70 c counting constraints 64494 3600.02/3608.70 c gcd simplifications 4891 3600.02/3608.70 c detected cardinalities 4632 3600.02/3608.70 c weakened non-implied lits 203449014 3600.02/3608.70 c weakened non-implying lits 308933 3600.02/3608.70 c original variables 17850 3600.02/3608.70 c clausal propagations 265119689 3600.02/3608.70 c cardinality propagations 211482401 3600.02/3608.70 c watched propagations 44718262 3600.02/3608.70 c counting propagations 80857286 3600.02/3608.70 c watch lookups 11175878497 3600.02/3608.70 c watch backjump lookups 8644079114 3600.02/3608.70 c watch checks 203520677338 3600.02/3608.70 c propagation checks 39259433625 3600.02/3608.70 c constraint additions 3605141835 3600.02/3608.70 c trail pops 624664676 3600.02/3608.70 c formula constraints 18152 3600.02/3608.70 c learned constraints 817275 3600.02/3608.70 c bound constraints 0 3600.02/3608.70 c core-guided constraints 0 3600.02/3608.70 c encountered formula constraints 25349158 3600.02/3608.70 c encountered learned constraints 11918046 3600.02/3608.70 c encountered bound constraints 0 3600.02/3608.70 c encountered core-guided constraints 0 3600.02/3608.70 c LP total time 2022.21 s 3600.02/3608.70 c LP solve time 1977.11 s 3600.02/3608.70 c LP constraints added 20959 3600.02/3608.70 c LP constraints removed 2474 3600.02/3608.70 c LP pivots internal 826484 3600.02/3608.70 c LP pivots root 781305 3600.02/3608.70 c LP calls 88 3600.02/3608.70 c LP optimalities 23 3600.02/3608.70 c LP no pivot count 1 3600.02/3608.70 c LP infeasibilities 57 3600.02/3608.70 c LP valid Farkas constraints 57 3600.02/3608.70 c LP learned Farkas constraints 57 3600.02/3608.70 c LP basis resets 0 3600.02/3608.70 c LP cycling count 0 3600.02/3608.70 c LP singular count 0 3600.02/3608.70 c LP no primal count 0 3600.02/3608.70 c LP no farkas count 0 3600.02/3608.70 c LP other issue count 0 3600.02/3608.70 c LP Gomory cuts 18 3600.02/3608.70 c LP learned cuts 2789 3600.02/3608.70 c LP deleted cuts 2474 3600.02/3608.70 c LP encountered Gomory constraints 1 3600.02/3608.70 c LP encountered Farkas constraints 2090 3600.02/3608.70 c LP encountered learned Farkas constraints 275 3600.02/3608.70 c CG auxiliary variables introduced 0 3600.02/3608.70 c CG solutions found 0 3600.02/3608.70 c CG cores constructed 0 3600.02/3608.70 c CG core cardinality constraints returned 0 3600.02/3608.70 c CG unit cores 0 3600.02/3608.70 c CG single cores 0 3600.02/3608.70 c CG blocks removed during cardinality reduction 0 3600.02/3608.70 c CG first core best 0 3600.02/3608.70 c CG decision core best 0 3600.02/3608.70 c CG core reduction tie 0 3600.02/3608.70 c CG core degree average 0.00 3600.02/3608.70 c CG core slack average 0.00 3600.02/3608.70 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (59191 MiB free)
memory of node 1: 64473 MiB (61205 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455631-1721464534/watcher-4455631-1721464534 -o /tmp/evaluation-result-4455631-1721464534/solver-4455631-1721464534 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721460937-1055686 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455631-1721464534.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=1057823, runsolver pid=1057820
[startup+0.100089 s]*
/proc/loadavg: 4.14 4.12 4.09 4/255 1057824
/proc/meminfo: memFree=124108056/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=60612 memory=31396 CPUtime=0.1 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 7852 0 0 0 8 2 0 0 20 0 1 0 198622365 62066688 7849 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 15153 7849 1614 922 0 7105 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 60612 KiB
Current children cumulated memory: 31396 KiB
[startup+0.205746 s]*
/proc/loadavg: 4.14 4.12 4.09 5/255 1057838
/proc/meminfo: memFree=124101532/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=68580 memory=35976 CPUtime=0.2 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 8930 0 0 0 18 2 0 0 20 0 1 0 198622365 70225920 8994 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 17145 8994 1710 922 0 9097 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 68580 KiB
Current children cumulated memory: 35976 KiB
[startup+0.30572 s]*
/proc/loadavg: 4.14 4.12 4.09 5/255 1057838
/proc/meminfo: memFree=124100892/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=68900 memory=37032 CPUtime=0.3 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 9171 0 0 0 28 2 0 0 20 0 1 0 198622365 70553600 9258 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 17225 9258 1710 922 0 9177 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 68900 KiB
Current children cumulated memory: 37032 KiB
[startup+0.700241 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 1057838
/proc/meminfo: memFree=124098624/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=71232 memory=39408 CPUtime=0.69 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 9734 0 0 0 66 3 0 0 20 0 1 0 198622365 72941568 9852 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 17808 9852 1710 922 0 9760 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71232 KiB
Current children cumulated memory: 39408 KiB
[startup+1.50023 s]
/proc/loadavg: 4.14 4.12 4.09 6/257 1057870
/proc/meminfo: memFree=124098080/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=72012 memory=40200 CPUtime=1.49 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 9973 0 0 0 141 8 0 0 20 0 1 0 198622365 73740288 10050 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 18003 10050 1710 922 0 9955 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 72012 KiB
Current children cumulated memory: 40200 KiB
[startup+3.10562 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1057870
/proc/meminfo: memFree=124057952/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=74020 memory=43272 CPUtime=3.09 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 10663 0 0 0 294 15 0 0 20 0 1 0 198622365 75796480 10818 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 18505 10818 1756 922 0 10457 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 74020 KiB
Current children cumulated memory: 43272 KiB
[startup+6.30022 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 1057871
/proc/meminfo: memFree=124053088/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=75724 memory=45380 CPUtime=6.27 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 11223 0 0 0 610 17 0 0 20 0 1 0 198622365 77541376 11345 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 18931 11345 1756 922 0 10883 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 75724 KiB
Current children cumulated memory: 45380 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 1057917
/proc/meminfo: memFree=124764180/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=80508 memory=48736 CPUtime=12.66 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 12005 0 0 0 1226 40 0 0 20 0 1 0 198622365 82440192 12184 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 20127 12184 1810 922 0 12079 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 80508 KiB
Current children cumulated memory: 48736 KiB
[startup+25.5002 s]
/proc/loadavg: 4.31 4.16 4.11 5/254 1057920
/proc/meminfo: memFree=124725924/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=89024 memory=59676 CPUtime=25.42 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 14226 0 0 0 2484 58 0 0 20 0 1 0 198622365 91160576 14919 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 22256 14919 1826 922 0 14208 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 89024 KiB
Current children cumulated memory: 59676 KiB
[startup+51.1056 s]
/proc/loadavg: 4.33 4.18 4.11 5/254 1057924
/proc/meminfo: memFree=124684696/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=93940 memory=63372 CPUtime=50.97 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 15135 0 0 0 5010 87 0 0 20 0 1 0 198622365 96194560 15843 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 23485 15843 1826 922 0 15437 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 93940 KiB
Current children cumulated memory: 63372 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.17 4.11 5/255 1057933
/proc/meminfo: memFree=124555444/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=148644 memory=108836 CPUtime=102.05 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 20893 0 0 0 10027 178 0 0 20 0 1 0 198622365 152211456 27209 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 37161 27209 1826 922 0 29113 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 148644 KiB
Current children cumulated memory: 108836 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.15 4.10 5/255 1057945
/proc/meminfo: memFree=124422760/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=207092 memory=167380 CPUtime=161.9 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 36143 0 0 0 15958 232 0 0 20 0 1 0 198622365 212062208 41845 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 51773 41845 1826 922 0 43725 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 207092 KiB
Current children cumulated memory: 167380 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/255 1057955
/proc/meminfo: memFree=124388136/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=210260 memory=174964 CPUtime=221.76 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 37026 0 0 0 21859 317 0 0 20 0 1 0 198622365 215306240 43741 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 52565 43741 1842 922 0 44517 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 210260 KiB
Current children cumulated memory: 174964 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/255 1057965
/proc/meminfo: memFree=124231424/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=217388 memory=181792 CPUtime=281.62 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 38748 0 0 0 27786 376 0 0 20 0 1 0 198622365 222605312 45448 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 54347 45448 1842 922 0 46299 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 217388 KiB
Current children cumulated memory: 181792 KiB
[startup+342.3 s]
/proc/loadavg: 4.24 4.17 4.11 5/257 1057980
/proc/meminfo: memFree=124166572/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=255060 memory=214076 CPUtime=341.47 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 41186 0 0 0 33726 421 0 0 20 0 1 0 198622365 261181440 53519 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 63765 53519 1842 922 0 55717 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 255060 KiB
Current children cumulated memory: 214076 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/257 1057992
/proc/meminfo: memFree=124050168/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=316296 memory=274512 CPUtime=401.32 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 44595 0 0 0 39671 461 0 0 20 0 1 0 198622365 323887104 68628 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 79074 68628 1842 922 0 71026 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 316296 KiB
Current children cumulated memory: 274512 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/257 1058003
/proc/meminfo: memFree=123889636/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=324108 memory=281568 CPUtime=461.18 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 46370 0 0 0 45587 531 0 0 20 0 1 0 198622365 331886592 70392 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 81027 70392 1842 922 0 72979 0
################
# More data... #
################
Current children cumulated memory: 1154560 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.18 4.14 5/256 1059117
/proc/meminfo: memFree=125045056/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=1450548 memory=1154560 CPUtime=2915.12 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 138757 0 0 0 289102 2410 0 0 20 0 1 0 198622365 1485361152 288640 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 362637 288640 1987 922 0 354589 0
Current children cumulated CPU time: 2915.12 s
Current children cumulated vsize: 1450548 KiB
Current children cumulated memory: 1154560 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.17 4.14 5/256 1059127
/proc/meminfo: memFree=125040776/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=1450548 memory=1154692 CPUtime=2974.97 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 139081 0 0 0 295049 2448 0 0 20 0 1 0 198622365 1485361152 288673 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 362637 288673 1987 922 0 354589 0
Current children cumulated CPU time: 2974.97 s
Current children cumulated vsize: 1450548 KiB
Current children cumulated memory: 1154692 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.15 4.13 5/254 1059519
/proc/meminfo: memFree=125030888/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=1450548 memory=1157424 CPUtime=3034.82 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 139442 0 0 0 300959 2523 0 0 20 0 1 0 198622365 1485361152 289356 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 362637 289356 1987 922 0 354589 0
Current children cumulated CPU time: 3034.82 s
Current children cumulated vsize: 1450548 KiB
Current children cumulated memory: 1157424 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.15 4.13 5/254 1059530
/proc/meminfo: memFree=125011188/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=1452748 memory=1172664 CPUtime=3094.69 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 140502 0 0 0 306900 2569 0 0 20 0 1 0 198622365 1487613952 293166 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 363187 293166 1987 922 0 355139 0
Current children cumulated CPU time: 3094.69 s
Current children cumulated vsize: 1452748 KiB
Current children cumulated memory: 1172664 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/254 1059541
/proc/meminfo: memFree=125010564/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=1453160 memory=1173576 CPUtime=3154.57 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 141038 0 0 0 312856 2601 0 0 20 0 1 0 198622365 1488035840 293394 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 363290 293394 1987 922 0 355242 0
Current children cumulated CPU time: 3154.57 s
Current children cumulated vsize: 1453160 KiB
Current children cumulated memory: 1173576 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.16 4.13 5/256 1059721
/proc/meminfo: memFree=124994348/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=1461412 memory=1181440 CPUtime=3214.44 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 143651 0 0 0 318811 2633 0 0 20 0 1 0 198622365 1496485888 295360 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 365353 295360 1987 922 0 357305 0
Current children cumulated CPU time: 3214.44 s
Current children cumulated vsize: 1461412 KiB
Current children cumulated memory: 1181440 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/256 1059731
/proc/meminfo: memFree=124926664/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=1498744 memory=1220780 CPUtime=3274.32 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 152009 0 0 0 324753 2679 0 0 20 0 1 0 198622365 1534713856 305195 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 374686 305195 1987 922 0 366638 0
Current children cumulated CPU time: 3274.32 s
Current children cumulated vsize: 1498744 KiB
Current children cumulated memory: 1220780 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/260 1059803
/proc/meminfo: memFree=124859960/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=1512300 memory=1273748 CPUtime=3334.19 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 155194 0 0 0 330707 2712 0 0 20 0 1 0 198622365 1548595200 318437 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 378075 318437 1987 922 0 370027 0
Current children cumulated CPU time: 3334.19 s
Current children cumulated vsize: 1512300 KiB
Current children cumulated memory: 1273748 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/260 1059814
/proc/meminfo: memFree=124845364/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=1513784 memory=1275144 CPUtime=3394.06 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 155922 0 0 0 336632 2774 0 0 20 0 1 0 198622365 1550114816 318786 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 378446 318786 1987 922 0 370398 0
Current children cumulated CPU time: 3394.06 s
Current children cumulated vsize: 1513784 KiB
Current children cumulated memory: 1275144 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/260 1059824
/proc/meminfo: memFree=124829104/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=1513784 memory=1275144 CPUtime=3453.94 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 156118 0 0 0 342592 2802 0 0 20 0 1 0 198622365 1550114816 318786 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 378446 318786 1987 922 0 370398 0
Current children cumulated CPU time: 3453.94 s
Current children cumulated vsize: 1513784 KiB
Current children cumulated memory: 1275144 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/258 1059835
/proc/meminfo: memFree=124831084/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=1513784 memory=1275144 CPUtime=3513.8 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 156195 0 0 0 348560 2820 0 0 20 0 1 0 198622365 1550114816 318786 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 378446 318786 1987 922 0 370398 0
Current children cumulated CPU time: 3513.8 s
Current children cumulated vsize: 1513784 KiB
Current children cumulated memory: 1275144 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.14 4.12 5/258 1059845
/proc/meminfo: memFree=124811892/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=1516980 memory=1278780 CPUtime=3573.67 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 157681 0 0 0 354483 2884 0 0 20 0 1 0 198622365 1553387520 319695 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 379245 319695 1987 922 0 371197 0
Current children cumulated CPU time: 3573.67 s
Current children cumulated vsize: 1516980 KiB
Current children cumulated memory: 1278780 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 4.19 4.14 4.12 5/258 1059851
/proc/meminfo: memFree=124809528/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=1516980 memory=1278780 CPUtime=3600.02 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 157892 0 0 0 357085 2917 0 0 20 0 1 0 198622365 1553387520 319695 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 379245 319695 1987 922 0 371197 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1516980 KiB
Current children cumulated memory: 1278780 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.71 s]
# the end of solver process 1057823 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3570.86 s, system=29.1793 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.7 s]
/proc/loadavg: 4.19 4.14 4.12 5/258 1059851
/proc/meminfo: memFree=124809528/131524600 swapFree=131071996/131071996
[pid=1057823] ppid=1057820 vsize=1516980 memory=1278780 CPUtime=3600.02 cores=4,6
/proc/1057823/stat : 1057823 (roundingsat) R 1057820 1057823 1055675 0 -1 4194304 157892 0 0 0 357085 2917 0 0 20 0 1 0 198622365 1553387520 319695 134679101440 4194304 7968373 140730037504800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 33148928 140730037507004 140730037507168 140730037507168 140730037514185 0
/proc/1057823/statm: 379245 319695 1987 922 0 371197 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1516980 KiB
Current children cumulated memory: 1278780 KiB
Child status: 0
Real time (s): 3608.71
CPU time (s): 3600.04
CPU user time (s): 3570.86
CPU system time (s): 29.1793
CPU usage (%): 99.7596
Max. virtual memory (cumulated for all children) (KiB): 1516980
Max. memory (cumulated for all children) (KiB): 1278780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.86
system time used= 29.1793
maximum resident set size= 1278780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157903
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104
involuntary context switches= 2694
# summary of solver processes directly reported to runsolver:
# pid: 1057823
# total CPU time (s): 3600.04
# total CPU user time (s): 3570.86
# total CPU system time (s): 29.1793
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.28621 second user time and 16.2663 second system time
The end
Begin job on nodeC032 at 2024-07-20 10:35:47 IDJOB=4455631 IDBENCH=158322 IDSOLVER=3084 FILE ID=nodeC032/4455631-1721464534 RUNJOBID= nodeC032-1721460937-1055686 SLURM_JOB_ID= 7545712 Free space on /tmp= 890060 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K150.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455631-1721464534/watcher-4455631-1721464534 -o /tmp/evaluation-result-4455631-1721464534/solver-4455631-1721464534 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721460937-1055686 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455631-1721464534.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= de861f201885d7430b03c8868c66597b RANDOM SEED=31761493 nodeC032.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 : 3663.670 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.33 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 : 3686.167 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.03 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 : 3605.222 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.33 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 : 3599.999 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.03 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 : 3644.573 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.33 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 : 3686.197 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.03 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 : 3658.316 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.991 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.03 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123286920 kB MemAvailable: 125928208 kB Buffers: 564952 kB Cached: 2897600 kB SwapCached: 0 kB Active: 1064256 kB Inactive: 6497764 kB Active(anon): 1580 kB Inactive(anon): 4144152 kB Active(file): 1062676 kB Inactive(file): 2353612 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 6384 kB Writeback: 0 kB AnonPages: 4099248 kB Mapped: 117684 kB Shmem: 45912 kB KReclaimable: 129648 kB Slab: 246988 kB SReclaimable: 129648 kB SUnreclaim: 117340 kB KernelStack: 4140 kB PageTables: 17528 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 4972176 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 74304 kB HardwareCorrupted: 0 kB AnonHugePages: 2713600 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: 246484 kB DirectMap2M: 24692736 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 890060 MiB End job on nodeC032 at 2024-07-20 11:35:56