| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3602.01 | 3612.95 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K139.opb |
| MD5SUM | 89642dc5a75d3fc73d0ef8fe6dbde459 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 16541 |
| Total number of constraints | 16821 |
| Number of constraints which are clauses | 16682 |
| Number of constraints which are cardinality constraints (but not clauses) | 139 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 139 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 140 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.21/0.24 c #variables 16541 #constraints 16821 235.65/236.65 c #Conflicts: 1000 | #Constraints: 17820 235.65/236.65 c #Conflicts: 2000 | #Constraints: 18820 235.65/236.65 c INPROCESSING 235.65/236.65 c GARBAGE COLLECT 235.65/236.65 c #Conflicts: 3000 | #Constraints: 18159 235.65/236.65 c #Conflicts: 4000 | #Constraints: 19159 235.65/236.65 c INPROCESSING 235.65/236.65 c GARBAGE COLLECT 235.65/236.65 c #Conflicts: 5000 | #Constraints: 18635 235.65/236.65 c #Conflicts: 6000 | #Constraints: 19635 235.65/236.65 c INPROCESSING 235.65/236.65 c GARBAGE COLLECT 235.65/236.65 c #Conflicts: 7000 | #Constraints: 18724 235.65/236.65 c #Conflicts: 8000 | #Constraints: 19724 235.65/236.65 c #Conflicts: 9000 | #Constraints: 20724 235.65/236.65 c INPROCESSING 235.65/236.65 c GARBAGE COLLECT 235.65/236.65 c #Conflicts: 10000 | #Constraints: 19478 235.65/236.65 c #Conflicts: 11000 | #Constraints: 20478 235.65/236.65 c #Conflicts: 12000 | #Constraints: 21478 235.65/236.65 c INPROCESSING 235.65/236.65 c GARBAGE COLLECT 235.65/236.65 c #Conflicts: 13000 | #Constraints: 19999 235.65/236.65 c #Conflicts: 14000 | #Constraints: 20999 235.65/236.65 c #Conflicts: 15000 | #Constraints: 21999 235.65/236.65 c INPROCESSING 235.65/236.65 c GARBAGE COLLECT 235.65/236.65 c #Conflicts: 16000 | #Constraints: 20240 235.65/236.65 c #Conflicts: 17000 | #Constraints: 21240 235.65/236.65 c #Conflicts: 18000 | #Constraints: 22240 235.65/236.65 c #Conflicts: 19000 | #Constraints: 23240 235.65/236.65 c #Conflicts: 20000 | #Constraints: 24240 235.65/236.65 c #Conflicts: 21000 | #Constraints: 25241 235.65/236.65 c #Conflicts: 22000 | #Constraints: 26241 235.65/236.65 c #Conflicts: 23000 | #Constraints: 27241 235.65/236.65 c #Conflicts: 24000 | #Constraints: 28241 235.65/236.65 c INPROCESSING 235.65/236.65 c GARBAGE COLLECT 235.65/236.65 c #Conflicts: 25000 | #Constraints: 23180 235.65/236.65 c #Conflicts: 26000 | #Constraints: 24180 235.65/236.65 c #Conflicts: 27000 | #Constraints: 25180 235.65/236.65 c #Conflicts: 28000 | #Constraints: 26180 235.65/236.65 c INPROCESSING 235.65/236.65 c GARBAGE COLLECT 235.65/236.65 c #Conflicts: 29000 | #Constraints: 22058 235.65/236.65 c #Conflicts: 30000 | #Constraints: 23058 235.65/236.65 c #Conflicts: 31000 | #Constraints: 24058 235.65/236.65 c #Conflicts: 32000 | #Constraints: 25058 235.65/236.65 c #Conflicts: 33000 | #Constraints: 26058 235.65/236.65 c INPROCESSING 235.65/236.65 c GARBAGE COLLECT 235.65/236.65 c #Conflicts: 34000 | #Constraints: 22265 235.65/236.65 c #Conflicts: 35000 | #Constraints: 23265 235.65/236.65 c #Conflicts: 36000 | #Constraints: 24265 235.65/236.65 c #Conflicts: 37000 | #Constraints: 25265 235.65/236.65 c #Conflicts: 38000 | #Constraints: 26265 235.65/236.65 c #Conflicts: 39000 | #Constraints: 27265 235.65/236.65 c #Conflicts: 40000 | #Constraints: 28265 235.65/236.65 c #Conflicts: 41000 | #Constraints: 29265 235.65/236.65 c #Conflicts: 42000 | #Constraints: 30265 235.65/236.65 c #Conflicts: 43000 | #Constraints: 31265 235.65/236.65 c #Conflicts: 44000 | #Constraints: 32265 235.65/236.65 c #Conflicts: 45000 | #Constraints: 33265 235.65/236.65 c #Conflicts: 46000 | #Constraints: 34265 235.65/236.65 c #Conflicts: 47000 | #Constraints: 35265 235.65/236.65 c INPROCESSING 235.65/236.65 c GARBAGE COLLECT 235.65/236.65 c #Conflicts: 48000 | #Constraints: 27059 235.65/236.65 c #Conflicts: 49000 | #Constraints: 28059 235.65/236.65 c #Conflicts: 50000 | #Constraints: 29059 235.65/236.65 c #Conflicts: 51000 | #Constraints: 30059 235.65/236.65 c #Conflicts: 52000 | #Constraints: 31059 235.65/236.65 c INPROCESSING 235.65/236.65 c GARBAGE COLLECT 235.65/236.65 c #Conflicts: 53000 | #Constraints: 24600 235.65/236.65 c #Conflicts: 54000 | #Constraints: 25600 235.65/236.65 c #Conflicts: 55000 | #Constraints: 26600 235.65/236.65 c #Conflicts: 56000 | #Constraints: 27600 235.65/236.65 c #Conflicts: 57000 | #Constraints: 28600 235.65/236.65 c #Conflicts: 58000 | #Constraints: 29600 235.65/236.65 c INPROCESSING 235.65/236.65 c GARBAGE COLLECT 235.65/236.65 c rational objective 139 283.41/284.58 c #Conflicts: 59000 | #Constraints: 23935 283.41/284.58 c #Conflicts: 60000 | #Constraints: 24935 283.41/284.58 c #Conflicts: 61000 | #Constraints: 25935 283.41/284.58 c #Conflicts: 62000 | #Constraints: 26935 283.41/284.58 c #Conflicts: 63000 | #Constraints: 27935 283.41/284.58 c #Conflicts: 64000 | #Constraints: 28935 283.41/284.58 c #Conflicts: 65000 | #Constraints: 29935 283.41/284.58 c #Conflicts: 66000 | #Constraints: 30935 283.41/284.58 c #Conflicts: 67000 | #Constraints: 31935 283.41/284.58 c #Conflicts: 68000 | #Constraints: 32935 283.41/284.58 c #Conflicts: 69000 | #Constraints: 33935 283.41/284.58 c #Conflicts: 70000 | #Constraints: 34935 283.41/284.58 c #Conflicts: 71000 | #Constraints: 35935 283.41/284.58 c #Conflicts: 72000 | #Constraints: 36935 283.41/284.58 c #Conflicts: 73000 | #Constraints: 37935 283.41/284.58 c #Conflicts: 74000 | #Constraints: 38935 283.41/284.58 c #Conflicts: 75000 | #Constraints: 39935 283.41/284.58 c #Conflicts: 76000 | #Constraints: 40935 283.41/284.58 c INPROCESSING 283.41/284.58 c GARBAGE COLLECT 283.41/284.58 c rational objective 139 309.85/311.07 c #Conflicts: 77000 | #Constraints: 29628 309.85/311.07 c #Conflicts: 78000 | #Constraints: 30628 309.85/311.07 c #Conflicts: 79000 | #Constraints: 31628 309.85/311.07 c #Conflicts: 80000 | #Constraints: 32628 309.85/311.07 c #Conflicts: 81000 | #Constraints: 33628 309.85/311.07 c #Conflicts: 82000 | #Constraints: 34628 309.85/311.07 c #Conflicts: 83000 | #Constraints: 35628 309.85/311.07 c #Conflicts: 84000 | #Constraints: 36628 309.85/311.07 c INPROCESSING 309.85/311.07 c GARBAGE COLLECT 309.85/311.07 c rational objective 139 374.85/376.21 c #Conflicts: 85000 | #Constraints: 27822 374.85/376.21 c #Conflicts: 86000 | #Constraints: 28822 374.85/376.21 c #Conflicts: 87000 | #Constraints: 29822 374.85/376.21 c #Conflicts: 88000 | #Constraints: 30823 374.85/376.21 c #Conflicts: 89000 | #Constraints: 31823 374.85/376.21 c #Conflicts: 90000 | #Constraints: 32823 374.85/376.21 c #Conflicts: 91000 | #Constraints: 33823 374.85/376.21 c INPROCESSING 374.85/376.21 c GARBAGE COLLECT 374.85/376.21 c rational objective 139 643.26/645.35 c #Conflicts: 92000 | #Constraints: 26283 643.26/645.35 c #Conflicts: 93000 | #Constraints: 27283 643.26/645.35 c #Conflicts: 94000 | #Constraints: 28283 643.26/645.35 c #Conflicts: 95000 | #Constraints: 29283 643.26/645.35 c #Conflicts: 96000 | #Constraints: 30283 643.26/645.35 c #Conflicts: 97000 | #Constraints: 31283 643.26/645.35 c #Conflicts: 98000 | #Constraints: 32283 643.26/645.35 c #Conflicts: 99000 | #Constraints: 33283 643.26/645.35 c #Conflicts: 100000 | #Constraints: 34283 643.26/645.35 c #Conflicts: 101000 | #Constraints: 35283 643.26/645.35 c #Conflicts: 102000 | #Constraints: 36283 643.26/645.35 c #Conflicts: 103000 | #Constraints: 37283 643.26/645.35 c #Conflicts: 104000 | #Constraints: 38284 643.26/645.35 c #Conflicts: 105000 | #Constraints: 39284 643.26/645.35 c #Conflicts: 106000 | #Constraints: 40284 643.26/645.35 c #Conflicts: 107000 | #Constraints: 41284 643.26/645.35 c #Conflicts: 108000 | #Constraints: 42284 643.26/645.35 c #Conflicts: 109000 | #Constraints: 43284 643.26/645.35 c #Conflicts: 110000 | #Constraints: 44284 643.26/645.35 c #Conflicts: 111000 | #Constraints: 45284 643.26/645.35 c #Conflicts: 112000 | #Constraints: 46284 643.26/645.35 c #Conflicts: 113000 | #Constraints: 47284 643.26/645.35 c INPROCESSING 643.26/645.35 c GARBAGE COLLECT 643.26/645.35 c #Conflicts: 114000 | #Constraints: 33005 643.26/645.35 c #Conflicts: 115000 | #Constraints: 34005 643.26/645.35 c #Conflicts: 116000 | #Constraints: 35005 643.26/645.35 c #Conflicts: 117000 | #Constraints: 36005 643.26/645.35 c #Conflicts: 118000 | #Constraints: 37005 643.26/645.35 c #Conflicts: 119000 | #Constraints: 38005 643.26/645.35 c #Conflicts: 120000 | #Constraints: 39005 643.26/645.35 c #Conflicts: 121000 | #Constraints: 40006 643.26/645.35 c #Conflicts: 122000 | #Constraints: 41006 643.26/645.35 c INPROCESSING 643.26/645.35 c GARBAGE COLLECT 643.26/645.35 c #Conflicts: 123000 | #Constraints: 29996 643.26/645.35 c #Conflicts: 124000 | #Constraints: 30996 643.26/645.35 c #Conflicts: 125000 | #Constraints: 31996 643.26/645.35 c #Conflicts: 126000 | #Constraints: 32996 643.26/645.35 c #Conflicts: 127000 | #Constraints: 33996 643.26/645.35 c #Conflicts: 128000 | #Constraints: 34996 643.26/645.35 c #Conflicts: 129000 | #Constraints: 35996 643.26/645.35 c #Conflicts: 130000 | #Constraints: 36996 643.26/645.35 c #Conflicts: 131000 | #Constraints: 37996 643.26/645.35 c INPROCESSING 643.26/645.35 c GARBAGE COLLECT 643.26/645.35 c #Conflicts: 132000 | #Constraints: 29018 643.26/645.35 c #Conflicts: 133000 | #Constraints: 30018 643.26/645.35 c #Conflicts: 134000 | #Constraints: 31018 643.26/645.35 c #Conflicts: 135000 | #Constraints: 32018 643.26/645.35 c #Conflicts: 136000 | #Constraints: 33018 643.26/645.35 c #Conflicts: 137000 | #Constraints: 34018 643.26/645.35 c #Conflicts: 138000 | #Constraints: 35018 643.26/645.35 c #Conflicts: 139000 | #Constraints: 36018 643.26/645.35 c #Conflicts: 140000 | #Constraints: 37019 643.26/645.35 c #Conflicts: 141000 | #Constraints: 38019 643.26/645.35 c #Conflicts: 142000 | #Constraints: 39019 643.26/645.35 c #Conflicts: 143000 | #Constraints: 40019 643.26/645.35 c #Conflicts: 144000 | #Constraints: 41019 643.26/645.35 c #Conflicts: 145000 | #Constraints: 42019 643.26/645.35 c #Conflicts: 146000 | #Constraints: 43019 643.26/645.35 c #Conflicts: 147000 | #Constraints: 44019 643.26/645.35 c #Conflicts: 148000 | #Constraints: 45019 643.26/645.35 c #Conflicts: 149000 | #Constraints: 46019 643.26/645.35 c #Conflicts: 150000 | #Constraints: 47019 643.26/645.35 c #Conflicts: 151000 | #Constraints: 48019 643.26/645.35 c #Conflicts: 152000 | #Constraints: 49020 643.26/645.35 c #Conflicts: 153000 | #Constraints: 50020 643.26/645.35 c #Conflicts: 154000 | #Constraints: 51020 643.26/645.35 c #Conflicts: 155000 | #Constraints: 52020 643.26/645.35 c #Conflicts: 156000 | #Constraints: 53020 643.26/645.35 c #Conflicts: 157000 | #Constraints: 54020 643.26/645.35 c INPROCESSING 643.26/645.35 c GARBAGE COLLECT 643.26/645.35 c rational objective 139 700.40/702.61 c #Conflicts: 158000 | #Constraints: 36391 700.40/702.61 c #Conflicts: 159000 | #Constraints: 37391 700.40/702.61 c #Conflicts: 160000 | #Constraints: 38391 700.40/702.61 c #Conflicts: 161000 | #Constraints: 39391 700.40/702.61 c #Conflicts: 162000 | #Constraints: 40391 700.40/702.61 c #Conflicts: 163000 | #Constraints: 41391 700.40/702.61 c #Conflicts: 164000 | #Constraints: 42392 700.40/702.61 c #Conflicts: 165000 | #Constraints: 43393 700.40/702.61 c #Conflicts: 166000 | #Constraints: 44393 700.40/702.61 c #Conflicts: 167000 | #Constraints: 45393 700.40/702.61 c #Conflicts: 168000 | #Constraints: 46393 700.40/702.61 c INPROCESSING 700.40/702.61 c GARBAGE COLLECT 700.40/702.61 c #Conflicts: 169000 | #Constraints: 33023 700.40/702.61 c #Conflicts: 170000 | #Constraints: 34024 700.40/702.61 c #Conflicts: 171000 | #Constraints: 35024 700.40/702.61 c #Conflicts: 172000 | #Constraints: 36024 700.40/702.61 c #Conflicts: 173000 | #Constraints: 37024 700.40/702.61 c #Conflicts: 174000 | #Constraints: 38024 700.40/702.61 c #Conflicts: 175000 | #Constraints: 39024 700.40/702.61 c #Conflicts: 176000 | #Constraints: 40024 700.40/702.61 c #Conflicts: 177000 | #Constraints: 41024 700.40/702.61 c #Conflicts: 178000 | #Constraints: 42024 700.40/702.61 c INPROCESSING 700.40/702.61 c GARBAGE COLLECT 700.40/702.61 c rational objective 139 824.37/826.91 c #Conflicts: 179000 | #Constraints: 31962 824.37/826.91 c #Conflicts: 180000 | #Constraints: 32962 824.37/826.91 c #Conflicts: 181000 | #Constraints: 33962 824.37/826.91 c #Conflicts: 182000 | #Constraints: 34962 824.37/826.91 c #Conflicts: 183000 | #Constraints: 35962 824.37/826.91 c #Conflicts: 184000 | #Constraints: 36962 824.37/826.91 c #Conflicts: 185000 | #Constraints: 37962 824.37/826.91 c #Conflicts: 186000 | #Constraints: 38962 824.37/826.91 c #Conflicts: 187000 | #Constraints: 39962 824.37/826.91 c #Conflicts: 188000 | #Constraints: 40962 824.37/826.91 c #Conflicts: 189000 | #Constraints: 41962 824.37/826.91 c #Conflicts: 190000 | #Constraints: 42962 824.37/826.91 c #Conflicts: 191000 | #Constraints: 43962 824.37/826.91 c #Conflicts: 192000 | #Constraints: 44962 824.37/826.91 c #Conflicts: 193000 | #Constraints: 45962 824.37/826.91 c #Conflicts: 194000 | #Constraints: 46962 824.37/826.91 c #Conflicts: 195000 | #Constraints: 47962 824.37/826.91 c #Conflicts: 196000 | #Constraints: 48962 824.37/826.91 c #Conflicts: 197000 | #Constraints: 49962 824.37/826.91 c #Conflicts: 198000 | #Constraints: 50962 824.37/826.91 c #Conflicts: 199000 | #Constraints: 51963 824.37/826.91 c #Conflicts: 200000 | #Constraints: 52963 824.37/826.91 c #Conflicts: 201000 | #Constraints: 53963 824.37/826.91 c #Conflicts: 202000 | #Constraints: 54963 824.37/826.91 c #Conflicts: 203000 | #Constraints: 55963 824.37/826.91 c #Conflicts: 204000 | #Constraints: 56963 824.37/826.91 c #Conflicts: 205000 | #Constraints: 57963 824.37/826.91 c #Conflicts: 206000 | #Constraints: 58963 824.37/826.91 c #Conflicts: 207000 | #Constraints: 59963 824.37/826.91 c #Conflicts: 208000 | #Constraints: 60963 824.37/826.91 c #Conflicts: 209000 | #Constraints: 61963 824.37/826.91 c INPROCESSING 824.37/826.91 c GARBAGE COLLECT 824.37/826.91 c rational objective 139 952.33/955.22 c #Conflicts: 210000 | #Constraints: 40774 952.33/955.22 c #Conflicts: 211000 | #Constraints: 41774 952.33/955.22 c #Conflicts: 212000 | #Constraints: 42774 952.33/955.22 c #Conflicts: 213000 | #Constraints: 43774 952.33/955.22 c #Conflicts: 214000 | #Constraints: 44774 952.33/955.22 c #Conflicts: 215000 | #Constraints: 45774 952.33/955.22 c #Conflicts: 216000 | #Constraints: 46774 952.33/955.22 c #Conflicts: 217000 | #Constraints: 47774 952.33/955.22 c #Conflicts: 218000 | #Constraints: 48774 952.33/955.22 c #Conflicts: 219000 | #Constraints: 49775 952.33/955.22 c #Conflicts: 220000 | #Constraints: 50775 952.33/955.22 c INPROCESSING 952.33/955.22 c GARBAGE COLLECT 952.33/955.22 c rational objective 139 1126.20/1129.60 c #Conflicts: 221000 | #Constraints: 34819 1126.20/1129.60 c #Conflicts: 222000 | #Constraints: 35819 1126.20/1129.60 c #Conflicts: 223000 | #Constraints: 36819 1126.20/1129.60 c #Conflicts: 224000 | #Constraints: 37819 1126.20/1129.60 c #Conflicts: 225000 | #Constraints: 38819 1126.20/1129.60 c #Conflicts: 226000 | #Constraints: 39819 1126.20/1129.60 c #Conflicts: 227000 | #Constraints: 40819 1126.20/1129.60 c #Conflicts: 228000 | #Constraints: 41819 1126.20/1129.60 c #Conflicts: 229000 | #Constraints: 42819 1126.20/1129.60 c #Conflicts: 230000 | #Constraints: 43819 1126.20/1129.60 c #Conflicts: 231000 | #Constraints: 44819 1126.20/1129.60 c #Conflicts: 232000 | #Constraints: 45819 1126.20/1129.60 c INPROCESSING 1126.20/1129.60 c GARBAGE COLLECT 1126.20/1129.60 c #Conflicts: 233000 | #Constraints: 33883 1126.20/1129.60 c #Conflicts: 234000 | #Constraints: 34883 1126.20/1129.60 c #Conflicts: 235000 | #Constraints: 35883 1126.20/1129.60 c #Conflicts: 236000 | #Constraints: 36884 1126.20/1129.60 c #Conflicts: 237000 | #Constraints: 37884 1126.20/1129.60 c #Conflicts: 238000 | #Constraints: 38884 1126.20/1129.60 c #Conflicts: 239000 | #Constraints: 39884 1126.20/1129.60 c #Conflicts: 240000 | #Constraints: 40884 1126.20/1129.60 c #Conflicts: 241000 | #Constraints: 41884 1126.20/1129.60 c #Conflicts: 242000 | #Constraints: 42884 1126.20/1129.60 c #Conflicts: 243000 | #Constraints: 43884 1126.20/1129.60 c #Conflicts: 244000 | #Constraints: 44884 1126.20/1129.60 c #Conflicts: 245000 | #Constraints: 45884 1126.20/1129.60 c #Conflicts: 246000 | #Constraints: 46884 1126.20/1129.60 c #Conflicts: 247000 | #Constraints: 47884 1126.20/1129.60 c #Conflicts: 248000 | #Constraints: 48884 1126.20/1129.60 c #Conflicts: 249000 | #Constraints: 49884 1126.20/1129.60 c #Conflicts: 250000 | #Constraints: 50884 1126.20/1129.60 c #Conflicts: 251000 | #Constraints: 51884 1126.20/1129.60 c #Conflicts: 252000 | #Constraints: 52884 1126.20/1129.60 c #Conflicts: 253000 | #Constraints: 53884 1126.20/1129.60 c #Conflicts: 254000 | #Constraints: 54884 1126.20/1129.60 c #Conflicts: 255000 | #Constraints: 55884 1126.20/1129.60 c #Conflicts: 256000 | #Constraints: 56884 1126.20/1129.60 c #Conflicts: 257000 | #Constraints: 57885 1126.20/1129.60 c #Conflicts: 258000 | #Constraints: 58885 1126.20/1129.60 c #Conflicts: 259000 | #Constraints: 59885 1126.20/1129.60 c #Conflicts: 260000 | #Constraints: 60885 1126.20/1129.60 c #Conflicts: 261000 | #Constraints: 61885 1126.20/1129.60 c #Conflicts: 262000 | #Constraints: 62885 1126.20/1129.60 c #Conflicts: 263000 | #Constraints: 63885 1126.20/1129.60 c #Conflicts: 264000 | #Constraints: 64885 1126.20/1129.60 c #Conflicts: 265000 | #Constraints: 65885 1126.20/1129.60 c #Conflicts: 266000 | #Constraints: 66885 1126.20/1129.60 c #Conflicts: 267000 | #Constraints: 67885 1126.20/1129.60 c INPROCESSING 1126.20/1129.60 c GARBAGE COLLECT 1126.20/1129.60 c rational objective 139 1312.92/1316.91 c #Conflicts: 268000 | #Constraints: 43724 1312.92/1316.91 c #Conflicts: 269000 | #Constraints: 44724 1312.92/1316.91 c #Conflicts: 270000 | #Constraints: 45725 1312.92/1316.91 c #Conflicts: 271000 | #Constraints: 46725 1312.92/1316.91 c #Conflicts: 272000 | #Constraints: 47725 1312.92/1316.91 c #Conflicts: 273000 | #Constraints: 48725 1312.92/1316.91 c #Conflicts: 274000 | #Constraints: 49725 1312.92/1316.91 c #Conflicts: 275000 | #Constraints: 50725 1312.92/1316.91 c #Conflicts: 276000 | #Constraints: 51725 1312.92/1316.91 c #Conflicts: 277000 | #Constraints: 52725 1312.92/1316.91 c #Conflicts: 278000 | #Constraints: 53725 1312.92/1316.91 c #Conflicts: 279000 | #Constraints: 54725 1312.92/1316.91 c #Conflicts: 280000 | #Constraints: 55725 1312.92/1316.91 c INPROCESSING 1312.92/1316.91 c GARBAGE COLLECT 1312.92/1316.91 c #Conflicts: 281000 | #Constraints: 37352 1312.92/1316.91 c #Conflicts: 282000 | #Constraints: 38352 1312.92/1316.91 c #Conflicts: 283000 | #Constraints: 39352 1312.92/1316.91 c #Conflicts: 284000 | #Constraints: 40352 1312.92/1316.91 c #Conflicts: 285000 | #Constraints: 41353 1312.92/1316.91 c #Conflicts: 286000 | #Constraints: 42353 1312.92/1316.91 c #Conflicts: 287000 | #Constraints: 43353 1312.92/1316.91 c #Conflicts: 288000 | #Constraints: 44353 1312.92/1316.91 c #Conflicts: 289000 | #Constraints: 45353 1312.92/1316.91 c #Conflicts: 290000 | #Constraints: 46353 1312.92/1316.91 c #Conflicts: 291000 | #Constraints: 47353 1312.92/1316.91 c #Conflicts: 292000 | #Constraints: 48353 1312.92/1316.91 c #Conflicts: 293000 | #Constraints: 49353 1312.92/1316.91 c #Conflicts: 294000 | #Constraints: 50353 1312.92/1316.91 c #Conflicts: 295000 | #Constraints: 51353 1312.92/1316.91 c #Conflicts: 296000 | #Constraints: 52353 1312.92/1316.91 c #Conflicts: 297000 | #Constraints: 53353 1312.92/1316.91 c #Conflicts: 298000 | #Constraints: 54353 1312.92/1316.91 c #Conflicts: 299000 | #Constraints: 55353 1312.92/1316.91 c #Conflicts: 300000 | #Constraints: 56353 1312.92/1316.91 c #Conflicts: 301000 | #Constraints: 57353 1312.92/1316.91 c #Conflicts: 302000 | #Constraints: 58353 1312.92/1316.91 c #Conflicts: 303000 | #Constraints: 59353 1312.92/1316.91 c #Conflicts: 304000 | #Constraints: 60353 1312.92/1316.91 c #Conflicts: 305000 | #Constraints: 61353 1312.92/1316.91 c #Conflicts: 306000 | #Constraints: 62353 1312.92/1316.91 c #Conflicts: 307000 | #Constraints: 63353 1312.92/1316.91 c #Conflicts: 308000 | #Constraints: 64353 1312.92/1316.91 c #Conflicts: 309000 | #Constraints: 65353 1312.92/1316.91 c #Conflicts: 310000 | #Constraints: 66353 1312.92/1316.91 c #Conflicts: 311000 | #Constraints: 67353 1312.92/1316.91 c #Conflicts: 312000 | #Constraints: 68353 1312.92/1316.91 c #Conflicts: 313000 | #Constraints: 69353 1312.92/1316.91 c #Conflicts: 314000 | #Constraints: 70353 1312.92/1316.91 c #Conflicts: 315000 | #Constraints: 71353 1312.92/1316.91 c #Conflicts: 316000 | #Constraints: 72353 1312.92/1316.91 c #Conflicts: 317000 | #Constraints: 73353 1312.92/1316.91 c #Conflicts: 318000 | #Constraints: 74353 1312.92/1316.91 c INPROCESSING 1312.92/1316.91 c GARBAGE COLLECT 1312.92/1316.91 c #Conflicts: 319000 | #Constraints: 46764 1312.92/1316.91 c #Conflicts: 320000 | #Constraints: 47764 1312.92/1316.91 c #Conflicts: 321000 | #Constraints: 48764 1312.92/1316.91 c #Conflicts: 322000 | #Constraints: 49764 1312.92/1316.91 c #Conflicts: 323000 | #Constraints: 50764 1312.92/1316.91 c #Conflicts: 324000 | #Constraints: 51764 1312.92/1316.91 c #Conflicts: 325000 | #Constraints: 52764 1312.92/1316.91 c #Conflicts: 326000 | #Constraints: 53764 1312.92/1316.91 c #Conflicts: 327000 | #Constraints: 54764 1312.92/1316.91 c #Conflicts: 328000 | #Constraints: 55764 1312.92/1316.91 c #Conflicts: 329000 | #Constraints: 56764 1312.92/1316.91 c #Conflicts: 330000 | #Constraints: 57764 1312.92/1316.91 c #Conflicts: 331000 | #Constraints: 58764 1312.92/1316.91 c #Conflicts: 332000 | #Constraints: 59764 1312.92/1316.91 c #Conflicts: 333000 | #Constraints: 60764 1312.92/1316.91 c INPROCESSING 1312.92/1316.91 c GARBAGE COLLECT 1312.92/1316.91 c #Conflicts: 334000 | #Constraints: 40155 1312.92/1316.91 c #Conflicts: 335000 | #Constraints: 41155 1312.92/1316.91 c #Conflicts: 336000 | #Constraints: 42155 1312.92/1316.91 c #Conflicts: 337000 | #Constraints: 43155 1312.92/1316.91 c #Conflicts: 338000 | #Constraints: 44155 1312.92/1316.91 c #Conflicts: 339000 | #Constraints: 45155 1312.92/1316.91 c #Conflicts: 340000 | #Constraints: 46155 1312.92/1316.91 c #Conflicts: 341000 | #Constraints: 47155 1312.92/1316.91 c #Conflicts: 342000 | #Constraints: 48155 1312.92/1316.91 c #Conflicts: 343000 | #Constraints: 49155 1312.92/1316.91 c #Conflicts: 344000 | #Constraints: 50155 1442.71/1447.17 c #Conflicts: 345000 | #Constraints: 51155 1442.71/1447.17 c #Conflicts: 346000 | #Constraints: 52155 1442.71/1447.17 c #Conflicts: 347000 | #Constraints: 53155 1442.71/1447.17 c #Conflicts: 348000 | #Constraints: 54156 1442.71/1447.17 c #Conflicts: 349000 | #Constraints: 55156 1442.71/1447.17 c #Conflicts: 350000 | #Constraints: 56156 1442.71/1447.17 c #Conflicts: 351000 | #Constraints: 57156 1442.71/1447.17 c #Conflicts: 352000 | #Constraints: 58156 1442.71/1447.17 c #Conflicts: 353000 | #Constraints: 59156 1442.71/1447.17 c #Conflicts: 354000 | #Constraints: 60156 1442.71/1447.17 c #Conflicts: 355000 | #Constraints: 61156 1442.71/1447.17 c #Conflicts: 356000 | #Constraints: 62156 1442.71/1447.17 c #Conflicts: 357000 | #Constraints: 63156 1442.71/1447.17 c #Conflicts: 358000 | #Constraints: 64156 1442.71/1447.17 c #Conflicts: 359000 | #Constraints: 65156 1442.71/1447.17 c #Conflicts: 360000 | #Constraints: 66156 1442.71/1447.17 c #Conflicts: 361000 | #Constraints: 67156 1442.71/1447.17 c #Conflicts: 362000 | #Constraints: 68156 1442.71/1447.17 c #Conflicts: 363000 | #Constraints: 69156 1442.71/1447.17 c #Conflicts: 364000 | #Constraints: 70157 1442.71/1447.17 c #Conflicts: 365000 | #Constraints: 71157 1442.71/1447.17 c #Conflicts: 366000 | #Constraints: 72157 1442.71/1447.17 c #Conflicts: 367000 | #Constraints: 73157 1442.71/1447.17 c #Conflicts: 368000 | #Constraints: 74158 1442.71/1447.17 c #Conflicts: 369000 | #Constraints: 75158 1442.71/1447.17 c #Conflicts: 370000 | #Constraints: 76158 1442.71/1447.17 c #Conflicts: 371000 | #Constraints: 77158 1442.71/1447.17 c #Conflicts: 372000 | #Constraints: 78158 1442.71/1447.17 c #Conflicts: 373000 | #Constraints: 79158 1442.71/1447.17 c #Conflicts: 374000 | #Constraints: 80158 1442.71/1447.17 c INPROCESSING 1442.71/1447.17 c GARBAGE COLLECT 1442.71/1447.17 c rational objective 139 1582.35/1587.29 c #Conflicts: 375000 | #Constraints: 50168 1582.35/1587.29 c #Conflicts: 376000 | #Constraints: 51168 1582.35/1587.29 c #Conflicts: 377000 | #Constraints: 52168 1582.35/1587.29 c #Conflicts: 378000 | #Constraints: 53168 1582.35/1587.29 c #Conflicts: 379000 | #Constraints: 54168 1582.35/1587.29 c #Conflicts: 380000 | #Constraints: 55168 1582.35/1587.29 c #Conflicts: 381000 | #Constraints: 56168 1582.35/1587.29 c #Conflicts: 382000 | #Constraints: 57168 1582.35/1587.29 c #Conflicts: 383000 | #Constraints: 58169 1582.35/1587.29 c #Conflicts: 384000 | #Constraints: 59169 1582.35/1587.29 c #Conflicts: 385000 | #Constraints: 60169 1582.35/1587.29 c #Conflicts: 386000 | #Constraints: 61169 1582.35/1587.29 c #Conflicts: 387000 | #Constraints: 62169 1582.35/1587.29 c #Conflicts: 388000 | #Constraints: 63169 1582.35/1587.29 c #Conflicts: 389000 | #Constraints: 64169 1582.35/1587.29 c #Conflicts: 390000 | #Constraints: 65169 1582.35/1587.29 c INPROCESSING 1582.35/1587.29 c GARBAGE COLLECT 1582.35/1587.29 c rational objective 139 1724.20/1729.58 c #Conflicts: 391000 | #Constraints: 42705 1724.20/1729.58 c #Conflicts: 392000 | #Constraints: 43705 1724.20/1729.58 c #Conflicts: 393000 | #Constraints: 44705 1724.20/1729.58 c #Conflicts: 394000 | #Constraints: 45705 1724.20/1729.58 c #Conflicts: 395000 | #Constraints: 46705 1724.20/1729.58 c #Conflicts: 396000 | #Constraints: 47705 1724.20/1729.58 c #Conflicts: 397000 | #Constraints: 48705 1724.20/1729.58 c #Conflicts: 398000 | #Constraints: 49705 1724.20/1729.58 c #Conflicts: 399000 | #Constraints: 50706 1724.20/1729.58 c #Conflicts: 400000 | #Constraints: 51706 1724.20/1729.58 c #Conflicts: 401000 | #Constraints: 52706 1724.20/1729.58 c #Conflicts: 402000 | #Constraints: 53706 1724.20/1729.58 c #Conflicts: 403000 | #Constraints: 54706 1724.20/1729.58 c #Conflicts: 404000 | #Constraints: 55706 1724.20/1729.58 c #Conflicts: 405000 | #Constraints: 56706 1724.20/1729.58 c #Conflicts: 406000 | #Constraints: 57706 1724.20/1729.58 c #Conflicts: 407000 | #Constraints: 58706 1724.20/1729.58 c #Conflicts: 408000 | #Constraints: 59706 1724.20/1729.58 c #Conflicts: 409000 | #Constraints: 60706 1724.20/1729.58 c #Conflicts: 410000 | #Constraints: 61706 1724.20/1729.58 c #Conflicts: 411000 | #Constraints: 62706 1724.20/1729.58 c #Conflicts: 412000 | #Constraints: 63706 1724.20/1729.58 c #Conflicts: 413000 | #Constraints: 64706 1724.20/1729.58 c #Conflicts: 414000 | #Constraints: 65707 1724.20/1729.58 c #Conflicts: 415000 | #Constraints: 66707 1724.20/1729.58 c #Conflicts: 416000 | #Constraints: 67707 1724.20/1729.58 c #Conflicts: 417000 | #Constraints: 68707 1724.20/1729.58 c #Conflicts: 418000 | #Constraints: 69707 1724.20/1729.58 c #Conflicts: 419000 | #Constraints: 70707 1724.20/1729.58 c #Conflicts: 420000 | #Constraints: 71707 1724.20/1729.58 c #Conflicts: 421000 | #Constraints: 72707 1724.20/1729.58 c #Conflicts: 422000 | #Constraints: 73707 1724.20/1729.58 c #Conflicts: 423000 | #Constraints: 74707 1724.20/1729.58 c #Conflicts: 424000 | #Constraints: 75707 1724.20/1729.58 c #Conflicts: 425000 | #Constraints: 76707 1724.20/1729.58 c #Conflicts: 426000 | #Constraints: 77707 1724.20/1729.58 c #Conflicts: 427000 | #Constraints: 78707 1724.20/1729.58 c #Conflicts: 428000 | #Constraints: 79707 1724.20/1729.58 c #Conflicts: 429000 | #Constraints: 80707 1724.20/1729.58 c #Conflicts: 430000 | #Constraints: 81707 1724.20/1729.58 c #Conflicts: 431000 | #Constraints: 82707 1724.20/1729.58 c #Conflicts: 432000 | #Constraints: 83707 1724.20/1729.58 c #Conflicts: 433000 | #Constraints: 84707 1724.20/1729.58 c #Conflicts: 434000 | #Constraints: 85707 1724.20/1729.58 c INPROCESSING 1724.20/1729.58 c GARBAGE COLLECT 1724.20/1729.58 c rational objective 139 1824.49/1830.15 c #Conflicts: 435000 | #Constraints: 52778 1824.49/1830.15 c #Conflicts: 436000 | #Constraints: 53779 1824.49/1830.15 c #Conflicts: 437000 | #Constraints: 54779 1824.49/1830.15 c #Conflicts: 438000 | #Constraints: 55779 1824.49/1830.15 c #Conflicts: 439000 | #Constraints: 56779 1824.49/1830.15 c #Conflicts: 440000 | #Constraints: 57779 1824.49/1830.15 c #Conflicts: 441000 | #Constraints: 58779 1824.49/1830.15 c #Conflicts: 442000 | #Constraints: 59779 1824.49/1830.15 c #Conflicts: 443000 | #Constraints: 60779 1824.49/1830.15 c #Conflicts: 444000 | #Constraints: 61779 1824.49/1830.15 c #Conflicts: 445000 | #Constraints: 62779 1824.49/1830.15 c #Conflicts: 446000 | #Constraints: 63779 1824.49/1830.15 c #Conflicts: 447000 | #Constraints: 64779 1824.49/1830.15 c #Conflicts: 448000 | #Constraints: 65779 1824.49/1830.15 c #Conflicts: 449000 | #Constraints: 66779 1824.49/1830.15 c #Conflicts: 450000 | #Constraints: 67779 1824.49/1830.15 c #Conflicts: 451000 | #Constraints: 68779 1824.49/1830.15 c INPROCESSING 1824.49/1830.15 c GARBAGE COLLECT 1824.49/1830.15 c rational objective 139 2247.80/2254.89 c #Conflicts: 452000 | #Constraints: 44426 2247.80/2254.89 c #Conflicts: 453000 | #Constraints: 45427 2247.80/2254.89 c #Conflicts: 454000 | #Constraints: 46427 2247.80/2254.89 c #Conflicts: 455000 | #Constraints: 47427 2247.80/2254.89 c #Conflicts: 456000 | #Constraints: 48427 2247.80/2254.89 c #Conflicts: 457000 | #Constraints: 49427 2247.80/2254.89 c #Conflicts: 458000 | #Constraints: 50427 2247.80/2254.89 c #Conflicts: 459000 | #Constraints: 51427 2247.80/2254.89 c #Conflicts: 460000 | #Constraints: 52427 2247.80/2254.89 c #Conflicts: 461000 | #Constraints: 53427 2247.80/2254.89 c #Conflicts: 462000 | #Constraints: 54427 2247.80/2254.89 c #Conflicts: 463000 | #Constraints: 55427 2247.80/2254.89 c #Conflicts: 464000 | #Constraints: 56427 2247.80/2254.89 c #Conflicts: 465000 | #Constraints: 57427 2247.80/2254.89 c #Conflicts: 466000 | #Constraints: 58427 2247.80/2254.89 c #Conflicts: 467000 | #Constraints: 59427 2247.80/2254.89 c #Conflicts: 468000 | #Constraints: 60427 2247.80/2254.89 c #Conflicts: 469000 | #Constraints: 61427 2247.80/2254.89 c #Conflicts: 470000 | #Constraints: 62428 2247.80/2254.89 c #Conflicts: 471000 | #Constraints: 63428 2247.80/2254.89 c #Conflicts: 472000 | #Constraints: 64428 2247.80/2254.89 c #Conflicts: 473000 | #Constraints: 65428 2247.80/2254.89 c #Conflicts: 474000 | #Constraints: 66428 2247.80/2254.89 c #Conflicts: 475000 | #Constraints: 67428 2247.80/2254.89 c #Conflicts: 476000 | #Constraints: 68428 2247.80/2254.89 c #Conflicts: 477000 | #Constraints: 69428 2247.80/2254.89 c #Conflicts: 478000 | #Constraints: 70428 2247.80/2254.89 c #Conflicts: 479000 | #Constraints: 71428 2247.80/2254.89 c #Conflicts: 480000 | #Constraints: 72428 2247.80/2254.89 c #Conflicts: 481000 | #Constraints: 73428 2247.80/2254.89 c #Conflicts: 482000 | #Constraints: 74428 2247.80/2254.89 c #Conflicts: 483000 | #Constraints: 75428 2247.80/2254.89 c #Conflicts: 484000 | #Constraints: 76428 2247.80/2254.89 c #Conflicts: 485000 | #Constraints: 77430 2247.80/2254.89 c #Conflicts: 486000 | #Constraints: 78430 2247.80/2254.89 c #Conflicts: 487000 | #Constraints: 79430 2247.80/2254.89 c #Conflicts: 488000 | #Constraints: 80431 2247.80/2254.89 c #Conflicts: 489000 | #Constraints: 81431 2247.80/2254.89 c #Conflicts: 490000 | #Constraints: 82431 2247.80/2254.89 c #Conflicts: 491000 | #Constraints: 83431 2247.80/2254.89 c #Conflicts: 492000 | #Constraints: 84432 2247.80/2254.89 c #Conflicts: 493000 | #Constraints: 85432 2247.80/2254.89 c #Conflicts: 494000 | #Constraints: 86432 2247.80/2254.89 c #Conflicts: 495000 | #Constraints: 87432 2247.80/2254.89 c #Conflicts: 496000 | #Constraints: 88432 2247.80/2254.89 c #Conflicts: 497000 | #Constraints: 89432 2247.80/2254.89 c #Conflicts: 498000 | #Constraints: 90433 2247.80/2254.89 c INPROCESSING 2247.80/2254.89 c GARBAGE COLLECT 2247.80/2254.89 c rational objective 139 2439.19/2446.71 c #Conflicts: 499000 | #Constraints: 55062 2439.19/2446.71 c #Conflicts: 500000 | #Constraints: 56062 2439.19/2446.71 c #Conflicts: 501000 | #Constraints: 57062 2439.19/2446.71 c #Conflicts: 502000 | #Constraints: 58062 2439.19/2446.71 c #Conflicts: 503000 | #Constraints: 59062 2439.19/2446.71 c #Conflicts: 504000 | #Constraints: 60062 2439.19/2446.71 c #Conflicts: 505000 | #Constraints: 61062 2439.19/2446.71 c #Conflicts: 506000 | #Constraints: 62062 2439.19/2446.71 c #Conflicts: 507000 | #Constraints: 63062 2439.19/2446.71 c #Conflicts: 508000 | #Constraints: 64062 2439.19/2446.71 c #Conflicts: 509000 | #Constraints: 65062 2439.19/2446.71 c #Conflicts: 510000 | #Constraints: 66062 2439.19/2446.71 c #Conflicts: 511000 | #Constraints: 67062 2439.19/2446.71 c #Conflicts: 512000 | #Constraints: 68062 2439.19/2446.71 c #Conflicts: 513000 | #Constraints: 69063 2439.19/2446.71 c #Conflicts: 514000 | #Constraints: 70063 2439.19/2446.71 c #Conflicts: 515000 | #Constraints: 71063 2439.19/2446.71 c #Conflicts: 516000 | #Constraints: 72063 2439.19/2446.71 c INPROCESSING 2439.19/2446.71 c GARBAGE COLLECT 2439.19/2446.71 c #Conflicts: 517000 | #Constraints: 45855 2439.19/2446.71 c #Conflicts: 518000 | #Constraints: 46855 2439.19/2446.71 c #Conflicts: 519000 | #Constraints: 47855 2439.19/2446.71 c #Conflicts: 520000 | #Constraints: 48855 2439.19/2446.71 c #Conflicts: 521000 | #Constraints: 49855 2439.19/2446.71 c #Conflicts: 522000 | #Constraints: 50855 2439.19/2446.71 c #Conflicts: 523000 | #Constraints: 51855 2439.19/2446.71 c #Conflicts: 524000 | #Constraints: 52855 2439.19/2446.71 c #Conflicts: 525000 | #Constraints: 53855 2439.19/2446.71 c #Conflicts: 526000 | #Constraints: 54855 2439.19/2446.71 c #Conflicts: 527000 | #Constraints: 55855 2439.19/2446.71 c #Conflicts: 528000 | #Constraints: 56855 2439.19/2446.71 c #Conflicts: 529000 | #Constraints: 57855 2439.19/2446.71 c #Conflicts: 530000 | #Constraints: 58855 2439.19/2446.71 c #Conflicts: 531000 | #Constraints: 59855 2439.19/2446.71 c #Conflicts: 532000 | #Constraints: 60855 2439.19/2446.71 c #Conflicts: 533000 | #Constraints: 61855 2439.19/2446.71 c #Conflicts: 534000 | #Constraints: 62855 2439.19/2446.71 c #Conflicts: 535000 | #Constraints: 63855 2439.19/2446.71 c INPROCESSING 2439.19/2446.71 c GARBAGE COLLECT 2439.19/2446.71 c #Conflicts: 536000 | #Constraints: 44920 2439.19/2446.71 c #Conflicts: 537000 | #Constraints: 45920 2439.19/2446.71 c #Conflicts: 538000 | #Constraints: 46920 2439.19/2446.71 c #Conflicts: 539000 | #Constraints: 47920 2439.19/2446.71 c #Conflicts: 540000 | #Constraints: 48920 2439.19/2446.71 c #Conflicts: 541000 | #Constraints: 49920 2439.19/2446.71 c #Conflicts: 542000 | #Constraints: 50920 2439.19/2446.71 c #Conflicts: 543000 | #Constraints: 51920 2439.19/2446.71 c #Conflicts: 544000 | #Constraints: 52920 2439.19/2446.71 c #Conflicts: 545000 | #Constraints: 53920 2439.19/2446.71 c #Conflicts: 546000 | #Constraints: 54920 2439.19/2446.71 c #Conflicts: 547000 | #Constraints: 55920 2439.19/2446.71 c #Conflicts: 548000 | #Constraints: 56920 2439.19/2446.71 c #Conflicts: 549000 | #Constraints: 57920 2439.19/2446.71 c #Conflicts: 550000 | #Constraints: 58920 2439.19/2446.71 c #Conflicts: 551000 | #Constraints: 59920 2439.19/2446.71 c #Conflicts: 552000 | #Constraints: 60920 2439.19/2446.71 c #Conflicts: 553000 | #Constraints: 61920 2439.19/2446.71 c #Conflicts: 554000 | #Constraints: 62920 2439.19/2446.71 c #Conflicts: 555000 | #Constraints: 63920 2439.19/2446.71 c #Conflicts: 556000 | #Constraints: 64920 2439.19/2446.71 c #Conflicts: 557000 | #Constraints: 65920 2439.19/2446.71 c #Conflicts: 558000 | #Constraints: 66920 2439.19/2446.71 c #Conflicts: 559000 | #Constraints: 67920 2439.19/2446.71 c #Conflicts: 560000 | #Constraints: 68920 2439.19/2446.71 c #Conflicts: 561000 | #Constraints: 69920 2439.19/2446.71 c #Conflicts: 562000 | #Constraints: 70920 2439.19/2446.71 c #Conflicts: 563000 | #Constraints: 71920 2439.19/2446.71 c #Conflicts: 564000 | #Constraints: 72920 2439.19/2446.71 c #Conflicts: 565000 | #Constraints: 73920 2439.19/2446.71 c #Conflicts: 566000 | #Constraints: 74920 2439.19/2446.71 c #Conflicts: 567000 | #Constraints: 75920 2439.19/2446.71 c #Conflicts: 568000 | #Constraints: 76920 2439.19/2446.71 c #Conflicts: 569000 | #Constraints: 77920 2439.19/2446.71 c #Conflicts: 570000 | #Constraints: 78920 2439.19/2446.71 c #Conflicts: 571000 | #Constraints: 79920 2439.19/2446.71 c #Conflicts: 572000 | #Constraints: 80920 2439.19/2446.71 c #Conflicts: 573000 | #Constraints: 81920 2439.19/2446.71 c #Conflicts: 574000 | #Constraints: 82920 2439.19/2446.71 c #Conflicts: 575000 | #Constraints: 83921 2439.19/2446.71 c #Conflicts: 576000 | #Constraints: 84921 2853.34/2862.03 c #Conflicts: 577000 | #Constraints: 85921 2853.34/2862.03 c #Conflicts: 578000 | #Constraints: 86921 2853.34/2862.03 c #Conflicts: 579000 | #Constraints: 87921 2853.34/2862.03 c #Conflicts: 580000 | #Constraints: 88921 2853.34/2862.03 c #Conflicts: 581000 | #Constraints: 89921 2853.34/2862.03 c #Conflicts: 582000 | #Constraints: 90922 2853.34/2862.03 c #Conflicts: 583000 | #Constraints: 91922 2853.34/2862.03 c #Conflicts: 584000 | #Constraints: 92922 2853.34/2862.03 c #Conflicts: 585000 | #Constraints: 93922 2853.34/2862.03 c #Conflicts: 586000 | #Constraints: 94923 2853.34/2862.03 c INPROCESSING 2853.34/2862.03 c GARBAGE COLLECT 2853.34/2862.03 c #Conflicts: 587000 | #Constraints: 57299 2853.34/2862.03 c #Conflicts: 588000 | #Constraints: 58299 2853.34/2862.03 c #Conflicts: 589000 | #Constraints: 59299 2853.34/2862.03 c #Conflicts: 590000 | #Constraints: 60299 2853.34/2862.03 c #Conflicts: 591000 | #Constraints: 61299 2853.34/2862.03 c #Conflicts: 592000 | #Constraints: 62299 2853.34/2862.03 c #Conflicts: 593000 | #Constraints: 63299 2853.34/2862.03 c #Conflicts: 594000 | #Constraints: 64299 2853.34/2862.03 c #Conflicts: 595000 | #Constraints: 65299 2853.34/2862.03 c #Conflicts: 596000 | #Constraints: 66299 2853.34/2862.03 c #Conflicts: 597000 | #Constraints: 67299 2853.34/2862.03 c #Conflicts: 598000 | #Constraints: 68299 2853.34/2862.03 c #Conflicts: 599000 | #Constraints: 69299 2853.34/2862.03 c #Conflicts: 600000 | #Constraints: 70300 2853.34/2862.03 c #Conflicts: 601000 | #Constraints: 71300 2853.34/2862.03 c #Conflicts: 602000 | #Constraints: 72300 2853.34/2862.03 c #Conflicts: 603000 | #Constraints: 73300 2853.34/2862.03 c #Conflicts: 604000 | #Constraints: 74300 2853.34/2862.03 c #Conflicts: 605000 | #Constraints: 75300 2853.34/2862.03 c #Conflicts: 606000 | #Constraints: 76300 2853.34/2862.03 c INPROCESSING 2853.34/2862.03 c GARBAGE COLLECT 2853.34/2862.03 c #Conflicts: 607000 | #Constraints: 47892 2853.34/2862.03 c #Conflicts: 608000 | #Constraints: 48892 2853.34/2862.03 c #Conflicts: 609000 | #Constraints: 49892 2853.34/2862.03 c #Conflicts: 610000 | #Constraints: 50892 2853.34/2862.03 c #Conflicts: 611000 | #Constraints: 51892 2853.34/2862.03 c #Conflicts: 612000 | #Constraints: 52892 2853.34/2862.03 c #Conflicts: 613000 | #Constraints: 53892 2853.34/2862.03 c #Conflicts: 614000 | #Constraints: 54892 2853.34/2862.03 c #Conflicts: 615000 | #Constraints: 55892 2853.34/2862.03 c #Conflicts: 616000 | #Constraints: 56892 2853.34/2862.03 c #Conflicts: 617000 | #Constraints: 57892 2853.34/2862.03 c #Conflicts: 618000 | #Constraints: 58892 2853.34/2862.03 c #Conflicts: 619000 | #Constraints: 59892 2853.34/2862.03 c #Conflicts: 620000 | #Constraints: 60892 2853.34/2862.03 c #Conflicts: 621000 | #Constraints: 61892 2853.34/2862.03 c #Conflicts: 622000 | #Constraints: 62892 2853.34/2862.03 c #Conflicts: 623000 | #Constraints: 63892 2853.34/2862.03 c #Conflicts: 624000 | #Constraints: 64892 2853.34/2862.03 c #Conflicts: 625000 | #Constraints: 65893 2853.34/2862.03 c #Conflicts: 626000 | #Constraints: 66893 2853.34/2862.03 c #Conflicts: 627000 | #Constraints: 67893 2853.34/2862.03 c #Conflicts: 628000 | #Constraints: 68893 2853.34/2862.03 c #Conflicts: 629000 | #Constraints: 69893 2853.34/2862.03 c #Conflicts: 630000 | #Constraints: 70893 2853.34/2862.03 c #Conflicts: 631000 | #Constraints: 71893 2853.34/2862.03 c #Conflicts: 632000 | #Constraints: 72893 2853.34/2862.03 c #Conflicts: 633000 | #Constraints: 73893 2853.34/2862.03 c #Conflicts: 634000 | #Constraints: 74893 2853.34/2862.03 c #Conflicts: 635000 | #Constraints: 75893 2853.34/2862.03 c #Conflicts: 636000 | #Constraints: 76893 2853.34/2862.03 c #Conflicts: 637000 | #Constraints: 77893 2853.34/2862.03 c #Conflicts: 638000 | #Constraints: 78893 2853.34/2862.03 c #Conflicts: 639000 | #Constraints: 79893 2853.34/2862.03 c #Conflicts: 640000 | #Constraints: 80893 2853.34/2862.03 c #Conflicts: 641000 | #Constraints: 81894 2853.34/2862.03 c #Conflicts: 642000 | #Constraints: 82894 2853.34/2862.03 c #Conflicts: 643000 | #Constraints: 83894 2853.34/2862.03 c #Conflicts: 644000 | #Constraints: 84894 2853.34/2862.03 c #Conflicts: 645000 | #Constraints: 85894 2853.34/2862.03 c #Conflicts: 646000 | #Constraints: 86894 2853.34/2862.03 c #Conflicts: 647000 | #Constraints: 87894 2853.34/2862.03 c #Conflicts: 648000 | #Constraints: 88894 2853.34/2862.03 c #Conflicts: 649000 | #Constraints: 89894 2853.34/2862.03 c #Conflicts: 650000 | #Constraints: 90894 2853.34/2862.03 c #Conflicts: 651000 | #Constraints: 91894 2853.34/2862.03 c #Conflicts: 652000 | #Constraints: 92894 2853.34/2862.03 c #Conflicts: 653000 | #Constraints: 93894 3068.35/3077.62 c #Conflicts: 654000 | #Constraints: 94894 3068.35/3077.62 c #Conflicts: 655000 | #Constraints: 95894 3068.35/3077.62 c #Conflicts: 656000 | #Constraints: 96895 3068.35/3077.62 c #Conflicts: 657000 | #Constraints: 97895 3068.35/3077.62 c #Conflicts: 658000 | #Constraints: 98895 3068.35/3077.62 c #Conflicts: 659000 | #Constraints: 99895 3068.35/3077.62 c #Conflicts: 660000 | #Constraints: 100895 3068.35/3077.62 c #Conflicts: 661000 | #Constraints: 101895 3068.35/3077.62 c INPROCESSING 3068.35/3077.62 c GARBAGE COLLECT 3068.35/3077.62 c #Conflicts: 662000 | #Constraints: 61016 3068.35/3077.62 c #Conflicts: 663000 | #Constraints: 62016 3068.35/3077.62 c #Conflicts: 664000 | #Constraints: 63016 3068.35/3077.62 c #Conflicts: 665000 | #Constraints: 64016 3068.35/3077.62 c #Conflicts: 666000 | #Constraints: 65016 3068.35/3077.62 c #Conflicts: 667000 | #Constraints: 66016 3068.35/3077.62 c #Conflicts: 668000 | #Constraints: 67016 3068.35/3077.62 c #Conflicts: 669000 | #Constraints: 68016 3068.35/3077.62 c #Conflicts: 670000 | #Constraints: 69016 3068.35/3077.62 c #Conflicts: 671000 | #Constraints: 70017 3068.35/3077.62 c #Conflicts: 672000 | #Constraints: 71017 3068.35/3077.62 c #Conflicts: 673000 | #Constraints: 72017 3068.35/3077.62 c #Conflicts: 674000 | #Constraints: 73017 3068.35/3077.62 c #Conflicts: 675000 | #Constraints: 74017 3068.35/3077.62 c #Conflicts: 676000 | #Constraints: 75017 3068.35/3077.62 c #Conflicts: 677000 | #Constraints: 76017 3068.35/3077.62 c #Conflicts: 678000 | #Constraints: 77017 3068.35/3077.62 c #Conflicts: 679000 | #Constraints: 78017 3068.35/3077.62 c #Conflicts: 680000 | #Constraints: 79017 3068.35/3077.62 c #Conflicts: 681000 | #Constraints: 80017 3068.35/3077.62 c #Conflicts: 682000 | #Constraints: 81017 3068.35/3077.62 c INPROCESSING 3068.35/3077.62 c GARBAGE COLLECT 3068.35/3077.62 c #Conflicts: 683000 | #Constraints: 50501 3068.35/3077.62 c #Conflicts: 684000 | #Constraints: 51501 3068.35/3077.62 c #Conflicts: 685000 | #Constraints: 52501 3068.35/3077.62 c #Conflicts: 686000 | #Constraints: 53501 3068.35/3077.62 c #Conflicts: 687000 | #Constraints: 54501 3068.35/3077.62 c #Conflicts: 688000 | #Constraints: 55501 3068.35/3077.62 c #Conflicts: 689000 | #Constraints: 56501 3068.35/3077.62 c #Conflicts: 690000 | #Constraints: 57501 3068.35/3077.62 c #Conflicts: 691000 | #Constraints: 58501 3068.35/3077.62 c #Conflicts: 692000 | #Constraints: 59501 3068.35/3077.62 c #Conflicts: 693000 | #Constraints: 60501 3068.35/3077.62 c #Conflicts: 694000 | #Constraints: 61501 3068.35/3077.62 c #Conflicts: 695000 | #Constraints: 62501 3068.35/3077.62 c #Conflicts: 696000 | #Constraints: 63501 3068.35/3077.62 c #Conflicts: 697000 | #Constraints: 64501 3068.35/3077.62 c #Conflicts: 698000 | #Constraints: 65501 3068.35/3077.62 c #Conflicts: 699000 | #Constraints: 66501 3068.35/3077.62 c #Conflicts: 700000 | #Constraints: 67502 3068.35/3077.62 c #Conflicts: 701000 | #Constraints: 68502 3068.35/3077.62 c #Conflicts: 702000 | #Constraints: 69502 3068.35/3077.62 c #Conflicts: 703000 | #Constraints: 70502 3068.35/3077.62 c #Conflicts: 704000 | #Constraints: 71502 3068.35/3077.62 c #Conflicts: 705000 | #Constraints: 72502 3068.35/3077.62 c #Conflicts: 706000 | #Constraints: 73502 3068.35/3077.62 c #Conflicts: 707000 | #Constraints: 74502 3068.35/3077.62 c #Conflicts: 708000 | #Constraints: 75502 3068.35/3077.62 c #Conflicts: 709000 | #Constraints: 76502 3068.35/3077.62 c #Conflicts: 710000 | #Constraints: 77502 3068.35/3077.62 c #Conflicts: 711000 | #Constraints: 78502 3068.35/3077.62 c #Conflicts: 712000 | #Constraints: 79502 3068.35/3077.62 c #Conflicts: 713000 | #Constraints: 80503 3068.35/3077.62 c #Conflicts: 714000 | #Constraints: 81503 3068.35/3077.62 c #Conflicts: 715000 | #Constraints: 82503 3068.35/3077.62 c #Conflicts: 716000 | #Constraints: 83503 3068.35/3077.62 c #Conflicts: 717000 | #Constraints: 84503 3068.35/3077.62 c #Conflicts: 718000 | #Constraints: 85503 3068.35/3077.62 c #Conflicts: 719000 | #Constraints: 86503 3068.35/3077.62 c #Conflicts: 720000 | #Constraints: 87503 3068.35/3077.62 c #Conflicts: 721000 | #Constraints: 88503 3068.35/3077.62 c #Conflicts: 722000 | #Constraints: 89504 3068.35/3077.62 c #Conflicts: 723000 | #Constraints: 90504 3068.35/3077.62 c #Conflicts: 724000 | #Constraints: 91504 3068.35/3077.62 c #Conflicts: 725000 | #Constraints: 92504 3068.35/3077.62 c #Conflicts: 726000 | #Constraints: 93504 3068.35/3077.62 c #Conflicts: 727000 | #Constraints: 94504 3068.35/3077.62 c #Conflicts: 728000 | #Constraints: 95505 3068.35/3077.62 c #Conflicts: 729000 | #Constraints: 96505 3068.35/3077.62 c #Conflicts: 730000 | #Constraints: 97505 3068.35/3077.62 c #Conflicts: 731000 | #Constraints: 98505 3154.92/3164.42 c #Conflicts: 732000 | #Constraints: 99505 3154.92/3164.42 c #Conflicts: 733000 | #Constraints: 100505 3154.92/3164.42 c #Conflicts: 734000 | #Constraints: 101507 3154.92/3164.42 c #Conflicts: 735000 | #Constraints: 102508 3154.92/3164.42 c #Conflicts: 736000 | #Constraints: 103508 3154.92/3164.42 c #Conflicts: 737000 | #Constraints: 104508 3154.92/3164.42 c #Conflicts: 738000 | #Constraints: 105508 3154.92/3164.42 c #Conflicts: 739000 | #Constraints: 106510 3154.92/3164.42 c #Conflicts: 740000 | #Constraints: 107511 3154.92/3164.42 c INPROCESSING 3154.92/3164.42 c GARBAGE COLLECT 3154.92/3164.42 c rational objective 139 3326.79/3336.89 c #Conflicts: 741000 | #Constraints: 63920 3326.79/3336.89 c #Conflicts: 742000 | #Constraints: 64920 3326.79/3336.89 c #Conflicts: 743000 | #Constraints: 65921 3326.79/3336.89 c #Conflicts: 744000 | #Constraints: 66921 3326.79/3336.89 c #Conflicts: 745000 | #Constraints: 67921 3326.79/3336.89 c #Conflicts: 746000 | #Constraints: 68921 3326.79/3336.89 c #Conflicts: 747000 | #Constraints: 69921 3326.79/3336.89 c #Conflicts: 748000 | #Constraints: 70921 3326.79/3336.89 c #Conflicts: 749000 | #Constraints: 71921 3326.79/3336.89 c #Conflicts: 750000 | #Constraints: 72921 3326.79/3336.89 c #Conflicts: 751000 | #Constraints: 73921 3326.79/3336.89 c #Conflicts: 752000 | #Constraints: 74921 3326.79/3336.89 c #Conflicts: 753000 | #Constraints: 75921 3326.79/3336.89 c #Conflicts: 754000 | #Constraints: 76921 3326.79/3336.89 c #Conflicts: 755000 | #Constraints: 77921 3326.79/3336.89 c #Conflicts: 756000 | #Constraints: 78921 3326.79/3336.89 c #Conflicts: 757000 | #Constraints: 79921 3326.79/3336.89 c #Conflicts: 758000 | #Constraints: 80921 3326.79/3336.89 c #Conflicts: 759000 | #Constraints: 81921 3326.79/3336.89 c #Conflicts: 760000 | #Constraints: 82921 3326.79/3336.89 c #Conflicts: 761000 | #Constraints: 83921 3326.79/3336.89 c #Conflicts: 762000 | #Constraints: 84921 3326.79/3336.89 c INPROCESSING 3326.79/3336.89 c GARBAGE COLLECT 3326.79/3336.89 c rational objective 139 3523.24/3533.91 c #Conflicts: 763000 | #Constraints: 52438 3523.24/3533.91 c #Conflicts: 764000 | #Constraints: 53438 3523.24/3533.91 c #Conflicts: 765000 | #Constraints: 54438 3523.24/3533.91 c #Conflicts: 766000 | #Constraints: 55438 3523.24/3533.91 c #Conflicts: 767000 | #Constraints: 56438 3523.24/3533.91 c #Conflicts: 768000 | #Constraints: 57438 3523.24/3533.91 c #Conflicts: 769000 | #Constraints: 58438 3523.24/3533.91 c #Conflicts: 770000 | #Constraints: 59438 3523.24/3533.91 c #Conflicts: 771000 | #Constraints: 60438 3523.24/3533.91 c #Conflicts: 772000 | #Constraints: 61438 3523.24/3533.91 c #Conflicts: 773000 | #Constraints: 62438 3523.24/3533.91 c #Conflicts: 774000 | #Constraints: 63438 3523.24/3533.91 c #Conflicts: 775000 | #Constraints: 64438 3523.24/3533.91 c #Conflicts: 776000 | #Constraints: 65438 3523.24/3533.91 c #Conflicts: 777000 | #Constraints: 66438 3523.24/3533.91 c #Conflicts: 778000 | #Constraints: 67438 3523.24/3533.91 c #Conflicts: 779000 | #Constraints: 68439 3523.24/3533.91 c #Conflicts: 780000 | #Constraints: 69439 3523.24/3533.91 c #Conflicts: 781000 | #Constraints: 70440 3523.24/3533.91 c #Conflicts: 782000 | #Constraints: 71440 3523.24/3533.91 c #Conflicts: 783000 | #Constraints: 72440 3523.24/3533.91 c #Conflicts: 784000 | #Constraints: 73441 3523.24/3533.91 c #Conflicts: 785000 | #Constraints: 74441 3523.24/3533.91 c #Conflicts: 786000 | #Constraints: 75441 3523.24/3533.91 c #Conflicts: 787000 | #Constraints: 76441 3523.24/3533.91 c #Conflicts: 788000 | #Constraints: 77441 3523.24/3533.91 c #Conflicts: 789000 | #Constraints: 78442 3523.24/3533.91 c #Conflicts: 790000 | #Constraints: 79442 3523.24/3533.91 c #Conflicts: 791000 | #Constraints: 80443 3523.24/3533.91 c #Conflicts: 792000 | #Constraints: 81443 3523.24/3533.91 c #Conflicts: 793000 | #Constraints: 82443 3523.24/3533.91 c #Conflicts: 794000 | #Constraints: 83443 3523.24/3533.91 c #Conflicts: 795000 | #Constraints: 84443 3523.24/3533.91 c #Conflicts: 796000 | #Constraints: 85443 3523.24/3533.91 c #Conflicts: 797000 | #Constraints: 86443 3523.24/3533.91 c #Conflicts: 798000 | #Constraints: 87443 3523.24/3533.91 c #Conflicts: 799000 | #Constraints: 88443 3523.24/3533.91 c #Conflicts: 800000 | #Constraints: 89444 3523.24/3533.91 c #Conflicts: 801000 | #Constraints: 90444 3523.24/3533.91 c #Conflicts: 802000 | #Constraints: 91444 3523.24/3533.91 c #Conflicts: 803000 | #Constraints: 92444 3523.24/3533.91 c #Conflicts: 804000 | #Constraints: 93444 3523.24/3533.91 c #Conflicts: 805000 | #Constraints: 94444 3523.24/3533.91 c #Conflicts: 806000 | #Constraints: 95444 3523.24/3533.91 c #Conflicts: 807000 | #Constraints: 96444 3523.24/3533.91 c #Conflicts: 808000 | #Constraints: 97444 3523.24/3533.91 c #Conflicts: 809000 | #Constraints: 98444 3523.24/3533.91 c #Conflicts: 810000 | #Constraints: 99444 3523.24/3533.91 c #Conflicts: 811000 | #Constraints: 100444 3523.24/3533.91 c #Conflicts: 812000 | #Constraints: 101444 3523.24/3533.91 c #Conflicts: 813000 | #Constraints: 102444 3523.24/3533.91 c #Conflicts: 814000 | #Constraints: 103444 3523.24/3533.91 c #Conflicts: 815000 | #Constraints: 104444 3523.24/3533.91 c #Conflicts: 816000 | #Constraints: 105444 3523.24/3533.91 c #Conflicts: 817000 | #Constraints: 106444 3523.24/3533.91 c #Conflicts: 818000 | #Constraints: 107444 3523.24/3533.91 c #Conflicts: 819000 | #Constraints: 108444 3523.24/3533.91 c #Conflicts: 820000 | #Constraints: 109444 3523.24/3533.91 c #Conflicts: 821000 | #Constraints: 110444 3523.24/3533.91 c #Conflicts: 822000 | #Constraints: 111444 3523.24/3533.91 c #Conflicts: 823000 | #Constraints: 112444 3523.24/3533.91 c INPROCESSING 3523.24/3533.91 c GARBAGE COLLECT 3523.24/3533.91 c rational objective 139
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (13354 MiB free)
memory of node 1: 64473 MiB (58675 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460673-1722069539/watcher-4460673-1722069539 -o /tmp/evaluation-result-4460673-1722069539/solver-4460673-1722069539 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722064837-302422 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460673-1722069539 --lp-cut-gomory=0 HOME/instance-4460673-1722069539.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=305900, runsolver pid=305897
[startup+0.100099 s]*
/proc/loadavg: 4.24 4.25 4.23 5/258 305901
/proc/meminfo: memFree=73753584/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=43152 memory=10552 CPUtime=0.1 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 2252 0 0 0 8 2 0 0 20 0 1 0 42943191 44187648 2638 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 10788 2638 1380 992 0 2646 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43152 KiB
Current children cumulated memory: 10552 KiB
[startup+0.214565 s]*
/proc/loadavg: 4.24 4.25 4.23 5/258 305901
/proc/meminfo: memFree=73746036/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=48896 memory=19680 CPUtime=0.21 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 4244 0 0 0 17 4 0 0 20 0 1 0 42943191 50069504 4920 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 12224 4920 1667 992 0 4082 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 48896 KiB
Current children cumulated memory: 19680 KiB
[startup+0.31439 s]*
/proc/loadavg: 4.24 4.25 4.23 6/258 305901
/proc/meminfo: memFree=73732404/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=65472 memory=32892 CPUtime=0.31 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 8051 0 0 0 25 6 0 0 20 0 1 0 42943191 67043328 8223 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 16368 8223 1715 992 0 8226 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 65472 KiB
Current children cumulated memory: 32892 KiB
[startup+0.700332 s]
/proc/loadavg: 4.24 4.25 4.23 5/258 305901
/proc/meminfo: memFree=73729568/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=68116 memory=36000 CPUtime=0.69 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 8868 0 0 0 62 7 0 0 20 0 1 0 42943191 69750784 9000 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 17029 9000 1715 992 0 8887 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 68116 KiB
Current children cumulated memory: 36000 KiB
[startup+1.50034 s]
/proc/loadavg: 4.24 4.25 4.23 5/258 305901
/proc/meminfo: memFree=73727412/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=69376 memory=37584 CPUtime=1.48 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 9239 0 0 0 141 7 0 0 20 0 1 0 42943191 71041024 9396 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 17344 9396 1715 992 0 9202 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 69376 KiB
Current children cumulated memory: 37584 KiB
[startup+3.11438 s]
/proc/loadavg: 4.24 4.25 4.23 5/258 305901
/proc/meminfo: memFree=73723136/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=69376 memory=38552 CPUtime=3.09 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 9450 0 0 0 292 17 0 0 20 0 1 0 42943191 71041024 9638 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 17344 9638 1763 992 0 9202 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 69376 KiB
Current children cumulated memory: 38552 KiB
[startup+6.30034 s]
/proc/loadavg: 4.22 4.25 4.22 5/258 305903
/proc/meminfo: memFree=73565876/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=72236 memory=41192 CPUtime=6.27 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 10088 0 0 0 607 20 0 0 20 0 1 0 42943191 73969664 10298 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 18059 10298 1763 992 0 9917 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 72236 KiB
Current children cumulated memory: 41192 KiB
[startup+12.7003 s]
/proc/loadavg: 4.20 4.24 4.22 5/258 305903
/proc/meminfo: memFree=73251512/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=74472 memory=43832 CPUtime=12.65 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 10768 0 0 0 1240 25 0 0 20 0 1 0 42943191 76259328 10958 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 18618 10958 1763 992 0 10476 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 74472 KiB
Current children cumulated memory: 43832 KiB
[startup+25.5004 s]
/proc/loadavg: 4.23 4.25 4.22 5/262 305910
/proc/meminfo: memFree=72807860/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=80944 memory=49988 CPUtime=25.36 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 12288 0 0 0 2485 51 0 0 20 0 1 0 42943191 82886656 12497 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 20236 12497 1827 992 0 12094 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 80944 KiB
Current children cumulated memory: 49988 KiB
[startup+51.1148 s]
/proc/loadavg: 4.30 4.26 4.23 5/263 305914
/proc/meminfo: memFree=71630860/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=115360 memory=78448 CPUtime=50.86 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 15735 0 0 0 5004 82 0 0 20 0 1 0 42943191 118128640 19612 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 28840 19612 1859 992 0 20698 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 115360 KiB
Current children cumulated memory: 78448 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.23 4.22 5/264 305926
/proc/meminfo: memFree=69588596/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=144836 memory=101452 CPUtime=101.86 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 18953 0 0 0 10013 173 0 0 20 0 1 0 42943191 148312064 25363 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 36209 25363 1859 992 0 28067 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 144836 KiB
Current children cumulated memory: 101452 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.22 4.21 5/262 305939
/proc/meminfo: memFree=59104812/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=148964 memory=106964 CPUtime=161.58 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 19834 0 0 0 15947 211 0 0 20 0 1 0 42943191 152539136 26741 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 37241 26741 1859 992 0 29099 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 148964 KiB
Current children cumulated memory: 106964 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 4.25 4.22 5/266 306007
/proc/meminfo: memFree=120310796/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=148964 memory=120116 CPUtime=221.38 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 19939 0 0 0 21880 258 0 0 20 0 1 0 42943191 152539136 30029 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 37241 30029 1859 992 0 29099 0
Current children cumulated CPU time: 221.38 s
Current children cumulated vsize: 148964 KiB
Current children cumulated memory: 120116 KiB
[startup+282.3 s]
/proc/loadavg: 4.71 4.35 4.26 5/266 306017
/proc/meminfo: memFree=119931028/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=196244 memory=150556 CPUtime=281.21 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 24618 0 0 0 27750 371 0 0 20 0 1 0 42943191 200953856 37639 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 49061 37639 1859 992 0 40919 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 196244 KiB
Current children cumulated memory: 150556 KiB
[startup+342.3 s]
/proc/loadavg: 4.67 4.42 4.29 5/260 306027
/proc/meminfo: memFree=119544456/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=202424 memory=157104 CPUtime=341.04 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 26832 0 0 0 33685 419 0 0 20 0 1 0 42943191 207282176 39276 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 50606 39276 1859 992 0 42464 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 202424 KiB
Current children cumulated memory: 157104 KiB
[startup+402.3 s]
/proc/loadavg: 4.29 4.36 4.27 5/255 306083
/proc/meminfo: memFree=120004612/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=207692 memory=162120 CPUtime=400.88 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 28262 0 0 0 39616 472 0 0 20 0 1 0 42943191 212676608 40530 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 51923 40530 1859 992 0 43781 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 207692 KiB
Current children cumulated memory: 162120 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 4.32 4.27 5/254 306093
/proc/meminfo: memFree=119603176/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=263344 memory=204724 CPUtime=460.74 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 30254 0 0 0 45552 522 0 0 20 0 1 0 42943191 269664256 51181 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 65836 51181 1859 992 0 57694 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.38 4.33 4.24 5/252 308285
/proc/meminfo: memFree=98447688/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=1299580 memory=1165128 CPUtime=3152.82 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 104778 0 0 0 312345 2937 0 0 20 0 1 0 42943191 1330769920 291282 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 324895 291282 1859 992 0 316753 0
Current children cumulated CPU time: 3152.82 s
Current children cumulated vsize: 1299580 KiB
Current children cumulated memory: 1165128 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.29 4.23 5/252 308296
/proc/meminfo: memFree=97909012/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=1301448 memory=1166676 CPUtime=3212.66 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 105449 0 0 0 318295 2971 0 0 20 0 1 0 42943191 1332682752 291669 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 325362 291669 1859 992 0 317220 0
Current children cumulated CPU time: 3212.66 s
Current children cumulated vsize: 1301448 KiB
Current children cumulated memory: 1166676 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.25 4.22 5/251 308306
/proc/meminfo: memFree=97518028/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=1301448 memory=1166680 CPUtime=3272.47 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 105701 0 0 0 324215 3032 0 0 20 0 1 0 42943191 1332682752 291670 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 325362 291670 1859 992 0 317220 0
Current children cumulated CPU time: 3272.47 s
Current children cumulated vsize: 1301448 KiB
Current children cumulated memory: 1166680 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.23 4.21 5/250 308316
/proc/meminfo: memFree=97090276/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=1301580 memory=1167156 CPUtime=3332.28 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 106040 0 0 0 330162 3066 0 0 20 0 1 0 42943191 1332817920 291789 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 325395 291789 1859 992 0 317253 0
Current children cumulated CPU time: 3332.28 s
Current children cumulated vsize: 1301580 KiB
Current children cumulated memory: 1167156 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.19 4.20 5/249 308327
/proc/meminfo: memFree=96432560/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=1301580 memory=1167156 CPUtime=3392.07 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 106416 0 0 0 336059 3148 0 0 20 0 1 0 42943191 1332817920 291789 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 325395 291789 1859 992 0 317253 0
Current children cumulated CPU time: 3392.07 s
Current children cumulated vsize: 1301580 KiB
Current children cumulated memory: 1167156 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.18 4.19 5/246 308383
/proc/meminfo: memFree=103118592/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=1301580 memory=1167156 CPUtime=3451.88 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 107001 0 0 0 341984 3204 0 0 20 0 1 0 42943191 1332817920 291789 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 325395 291789 1859 992 0 317253 0
Current children cumulated CPU time: 3451.88 s
Current children cumulated vsize: 1301580 KiB
Current children cumulated memory: 1167156 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.16 4.18 5/246 308393
/proc/meminfo: memFree=102565692/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=1303916 memory=1169388 CPUtime=3511.69 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 107902 0 0 0 347908 3261 0 0 20 0 1 0 42943191 1335209984 292347 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 325979 292347 1941 992 0 317837 0
Current children cumulated CPU time: 3511.69 s
Current children cumulated vsize: 1303916 KiB
Current children cumulated memory: 1169388 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.16 4.18 5/246 308404
/proc/meminfo: memFree=102137788/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=1305592 memory=1171240 CPUtime=3571.49 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 109193 0 0 0 353834 3315 0 0 20 0 1 0 42943191 1336926208 292810 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 326398 292810 1941 992 0 318256 0
Current children cumulated CPU time: 3571.49 s
Current children cumulated vsize: 1305592 KiB
Current children cumulated memory: 1171240 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.14 4.16 4.18 5/246 308409
/proc/meminfo: memFree=102022000/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=1305592 memory=1171240 CPUtime=3600 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 109502 0 0 0 356666 3334 0 0 20 0 1 0 42943191 1336926208 292810 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 326398 292810 1941 992 0 318256 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1305592 KiB
Current children cumulated memory: 1171240 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3612.95 s]
# the end of solver process 305900 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3568.65 s, system=33.3568 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.14 4.16 4.18 5/246 308409
/proc/meminfo: memFree=102019232/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=1305592 memory=1171240 CPUtime=3600.3 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 109503 0 0 0 356696 3334 0 0 20 0 1 0 42943191 1336926208 292810 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 326398 292810 1941 992 0 318256 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 1305592 KiB
Current children cumulated memory: 1171240 KiB
[startup+3612 s]*
/proc/loadavg: 4.14 4.16 4.18 5/246 308409
/proc/meminfo: memFree=102016744/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=1305592 memory=1171240 CPUtime=3601.1 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 109504 0 0 0 356776 3334 0 0 20 0 1 0 42943191 1336926208 292810 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 326398 292810 1941 992 0 318256 0
Current children cumulated CPU time: 3601.1 s
Current children cumulated vsize: 1305592 KiB
Current children cumulated memory: 1171240 KiB
[startup+3612.4 s]
/proc/loadavg: 4.14 4.16 4.18 5/246 308409
/proc/meminfo: memFree=102016744/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=1305592 memory=1171240 CPUtime=3601.49 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 109506 0 0 0 356815 3334 0 0 20 0 1 0 42943191 1336926208 292810 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 326398 292810 1941 992 0 318256 0
Current children cumulated CPU time: 3601.49 s
Current children cumulated vsize: 1305592 KiB
Current children cumulated memory: 1171240 KiB
[startup+3612.8 s]
/proc/loadavg: 4.14 4.16 4.18 5/246 308409
/proc/meminfo: memFree=102016744/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=1305592 memory=1171240 CPUtime=3601.88 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 109508 0 0 0 356854 3334 0 0 20 0 1 0 42943191 1336926208 292810 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 326398 292810 1941 992 0 318256 0
Current children cumulated CPU time: 3601.88 s
Current children cumulated vsize: 1305592 KiB
Current children cumulated memory: 1171240 KiB
[startup+3612.9 s]
/proc/loadavg: 4.14 4.16 4.18 5/246 308409
/proc/meminfo: memFree=102016744/131655788 swapFree=131056320/131071996
[pid=305900] ppid=305897 vsize=1305592 memory=1171240 CPUtime=3601.98 cores=1,3
/proc/305900/stat : 305900 (roundingsat) R 305897 305900 302410 0 -1 4194304 109508 0 0 0 356864 3334 0 0 20 0 1 0 42943191 1336926208 292810 134679101440 4194304 8254357 140737347514176 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 33447936 140737347523419 140737347523681 140737347523681 140737347530697 0
/proc/305900/statm: 326398 292810 1941 992 0 318256 0
Current children cumulated CPU time: 3601.98 s
Current children cumulated vsize: 1305592 KiB
Current children cumulated memory: 1171240 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.95
CPU time (s): 3602.01
CPU user time (s): 3568.65
CPU system time (s): 33.3568
CPU usage (%): 99.6972
Max. virtual memory (cumulated for all children) (KiB): 1305592
Max. memory (cumulated for all children) (KiB): 1171240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.65
system time used= 33.3568
maximum resident set size= 1173596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11885296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 231
involuntary context switches= 3949
# summary of solver processes directly reported to runsolver:
# pid: 305900
# total CPU time (s): 3602.01
# total CPU user time (s): 3568.65
# total CPU system time (s): 33.3568
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9711 second user time and 34.2994 second system time
The end
Begin job on nodeC006 at 2024-07-27 10:38:59 IDJOB=4460673 IDBENCH=158320 IDSOLVER=3086 FILE ID=nodeC006/4460673-1722069539 RUNJOBID= nodeC006-1722064837-302422 SLURM_JOB_ID= 8248108 Free space on /tmp= 723512 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K139.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460673-1722069539/watcher-4460673-1722069539 -o /tmp/evaluation-result-4460673-1722069539/solver-4460673-1722069539 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722064837-302422 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460673-1722069539 --lp-cut-gomory=0 HOME/instance-4460673-1722069539.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 89642dc5a75d3fc73d0ef8fe6dbde459 RANDOM SEED=1560775470 nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3670.831 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.099 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.245 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.557 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3515.872 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3617.888 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.107 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.271 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 73759432 kB MemAvailable: 106203516 kB Buffers: 380836 kB Cached: 32621524 kB SwapCached: 244 kB Active: 2362296 kB Inactive: 54478880 kB Active(anon): 1752 kB Inactive(anon): 23890572 kB Active(file): 2360544 kB Inactive(file): 30588308 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056320 kB Dirty: 796020 kB Writeback: 0 kB AnonPages: 23836172 kB Mapped: 103812 kB Shmem: 53436 kB KReclaimable: 557140 kB Slab: 695440 kB SReclaimable: 557140 kB SUnreclaim: 138300 kB KernelStack: 4176 kB PageTables: 56140 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 27951228 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16576 kB HardwareCorrupted: 0 kB AnonHugePages: 9428992 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: 420680 kB DirectMap2M: 57155584 kB DirectMap1G: 78643200 kB Free space on /tmp at the end= 723756 MiB End job on nodeC006 at 2024-07-27 11:39:12