| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3602.01 | 3611.4 |
| 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.09/0.21 c #variables 16541 #constraints 16821 199.76/200.30 c #Conflicts: 1000 | #Constraints: 17820 199.76/200.30 c #Conflicts: 2000 | #Constraints: 18820 199.76/200.30 c INPROCESSING 199.76/200.30 c GARBAGE COLLECT 199.76/200.30 c #Conflicts: 3000 | #Constraints: 18159 199.76/200.30 c #Conflicts: 4000 | #Constraints: 19159 199.76/200.30 c INPROCESSING 199.76/200.30 c GARBAGE COLLECT 199.76/200.30 c #Conflicts: 5000 | #Constraints: 18635 199.76/200.30 c #Conflicts: 6000 | #Constraints: 19635 199.76/200.30 c INPROCESSING 199.76/200.30 c GARBAGE COLLECT 199.76/200.30 c #Conflicts: 7000 | #Constraints: 18724 199.76/200.30 c #Conflicts: 8000 | #Constraints: 19724 199.76/200.30 c #Conflicts: 9000 | #Constraints: 20724 199.76/200.30 c INPROCESSING 199.76/200.30 c GARBAGE COLLECT 199.76/200.30 c #Conflicts: 10000 | #Constraints: 19478 199.76/200.30 c #Conflicts: 11000 | #Constraints: 20478 199.76/200.30 c #Conflicts: 12000 | #Constraints: 21478 199.76/200.30 c INPROCESSING 199.76/200.30 c GARBAGE COLLECT 199.76/200.30 c #Conflicts: 13000 | #Constraints: 19999 199.76/200.30 c #Conflicts: 14000 | #Constraints: 20999 199.76/200.30 c #Conflicts: 15000 | #Constraints: 21999 199.76/200.30 c INPROCESSING 199.76/200.30 c GARBAGE COLLECT 199.76/200.30 c #Conflicts: 16000 | #Constraints: 20240 199.76/200.30 c #Conflicts: 17000 | #Constraints: 21240 199.76/200.30 c #Conflicts: 18000 | #Constraints: 22240 199.76/200.30 c #Conflicts: 19000 | #Constraints: 23240 199.76/200.30 c #Conflicts: 20000 | #Constraints: 24240 199.76/200.30 c #Conflicts: 21000 | #Constraints: 25241 199.76/200.30 c #Conflicts: 22000 | #Constraints: 26241 199.76/200.30 c #Conflicts: 23000 | #Constraints: 27241 199.76/200.30 c #Conflicts: 24000 | #Constraints: 28241 199.76/200.30 c INPROCESSING 199.76/200.30 c GARBAGE COLLECT 199.76/200.30 c #Conflicts: 25000 | #Constraints: 23180 199.76/200.30 c #Conflicts: 26000 | #Constraints: 24180 199.76/200.30 c #Conflicts: 27000 | #Constraints: 25180 199.76/200.30 c #Conflicts: 28000 | #Constraints: 26180 199.76/200.30 c INPROCESSING 199.76/200.30 c GARBAGE COLLECT 199.76/200.30 c #Conflicts: 29000 | #Constraints: 22058 199.76/200.30 c #Conflicts: 30000 | #Constraints: 23058 199.76/200.30 c #Conflicts: 31000 | #Constraints: 24058 199.76/200.30 c #Conflicts: 32000 | #Constraints: 25058 199.76/200.30 c #Conflicts: 33000 | #Constraints: 26058 199.76/200.30 c INPROCESSING 199.76/200.30 c GARBAGE COLLECT 199.76/200.30 c #Conflicts: 34000 | #Constraints: 22265 199.76/200.30 c #Conflicts: 35000 | #Constraints: 23265 199.76/200.30 c #Conflicts: 36000 | #Constraints: 24265 199.76/200.30 c #Conflicts: 37000 | #Constraints: 25265 199.76/200.30 c #Conflicts: 38000 | #Constraints: 26265 199.76/200.30 c #Conflicts: 39000 | #Constraints: 27265 199.76/200.30 c #Conflicts: 40000 | #Constraints: 28265 199.76/200.30 c #Conflicts: 41000 | #Constraints: 29265 199.76/200.30 c #Conflicts: 42000 | #Constraints: 30265 199.76/200.30 c #Conflicts: 43000 | #Constraints: 31265 199.76/200.30 c #Conflicts: 44000 | #Constraints: 32265 199.76/200.30 c #Conflicts: 45000 | #Constraints: 33265 199.76/200.30 c #Conflicts: 46000 | #Constraints: 34265 199.76/200.30 c #Conflicts: 47000 | #Constraints: 35265 199.76/200.30 c INPROCESSING 199.76/200.30 c GARBAGE COLLECT 199.76/200.30 c #Conflicts: 48000 | #Constraints: 27059 199.76/200.30 c #Conflicts: 49000 | #Constraints: 28059 199.76/200.30 c #Conflicts: 50000 | #Constraints: 29059 199.76/200.30 c #Conflicts: 51000 | #Constraints: 30059 199.76/200.30 c #Conflicts: 52000 | #Constraints: 31059 199.76/200.30 c INPROCESSING 199.76/200.30 c GARBAGE COLLECT 199.76/200.30 c #Conflicts: 53000 | #Constraints: 24600 199.76/200.30 c #Conflicts: 54000 | #Constraints: 25600 199.76/200.30 c #Conflicts: 55000 | #Constraints: 26600 199.76/200.30 c #Conflicts: 56000 | #Constraints: 27600 199.76/200.30 c #Conflicts: 57000 | #Constraints: 28600 199.76/200.30 c #Conflicts: 58000 | #Constraints: 29600 199.76/200.30 c INPROCESSING 199.76/200.30 c GARBAGE COLLECT 199.76/200.30 c rational objective 139 241.63/242.37 c #Conflicts: 59000 | #Constraints: 23935 241.63/242.37 c #Conflicts: 60000 | #Constraints: 24935 241.63/242.37 c #Conflicts: 61000 | #Constraints: 25935 241.63/242.37 c #Conflicts: 62000 | #Constraints: 26935 241.63/242.37 c #Conflicts: 63000 | #Constraints: 27935 241.63/242.37 c #Conflicts: 64000 | #Constraints: 28935 241.63/242.37 c #Conflicts: 65000 | #Constraints: 29935 241.63/242.37 c #Conflicts: 66000 | #Constraints: 30935 241.63/242.37 c #Conflicts: 67000 | #Constraints: 31935 241.63/242.37 c #Conflicts: 68000 | #Constraints: 32935 241.63/242.37 c #Conflicts: 69000 | #Constraints: 33935 241.63/242.37 c #Conflicts: 70000 | #Constraints: 34935 241.63/242.37 c #Conflicts: 71000 | #Constraints: 35935 241.63/242.37 c #Conflicts: 72000 | #Constraints: 36935 241.63/242.37 c #Conflicts: 73000 | #Constraints: 37935 241.63/242.37 c #Conflicts: 74000 | #Constraints: 38935 241.63/242.37 c #Conflicts: 75000 | #Constraints: 39935 241.63/242.37 c #Conflicts: 76000 | #Constraints: 40935 241.63/242.37 c INPROCESSING 241.63/242.37 c GARBAGE COLLECT 241.63/242.37 c rational objective 139 265.57/266.34 c #Conflicts: 77000 | #Constraints: 29628 265.57/266.34 c #Conflicts: 78000 | #Constraints: 30628 265.57/266.34 c #Conflicts: 79000 | #Constraints: 31628 265.57/266.34 c #Conflicts: 80000 | #Constraints: 32628 265.57/266.34 c #Conflicts: 81000 | #Constraints: 33628 265.57/266.34 c #Conflicts: 82000 | #Constraints: 34628 265.57/266.34 c #Conflicts: 83000 | #Constraints: 35628 265.57/266.34 c #Conflicts: 84000 | #Constraints: 36628 265.57/266.34 c INPROCESSING 265.57/266.34 c GARBAGE COLLECT 265.57/266.34 c rational objective 139 327.91/328.84 c #Conflicts: 85000 | #Constraints: 27822 327.91/328.84 c #Conflicts: 86000 | #Constraints: 28822 327.91/328.84 c #Conflicts: 87000 | #Constraints: 29822 327.91/328.84 c #Conflicts: 88000 | #Constraints: 30823 327.91/328.84 c #Conflicts: 89000 | #Constraints: 31823 327.91/328.84 c #Conflicts: 90000 | #Constraints: 32823 327.91/328.84 c #Conflicts: 91000 | #Constraints: 33823 327.91/328.84 c INPROCESSING 327.91/328.84 c GARBAGE COLLECT 327.91/328.84 c rational objective 139 609.75/611.42 c #Conflicts: 92000 | #Constraints: 26283 609.75/611.42 c #Conflicts: 93000 | #Constraints: 27283 609.75/611.42 c #Conflicts: 94000 | #Constraints: 28283 609.75/611.42 c #Conflicts: 95000 | #Constraints: 29283 609.75/611.42 c #Conflicts: 96000 | #Constraints: 30283 609.75/611.42 c #Conflicts: 97000 | #Constraints: 31283 609.75/611.42 c #Conflicts: 98000 | #Constraints: 32283 609.75/611.42 c #Conflicts: 99000 | #Constraints: 33283 609.75/611.42 c #Conflicts: 100000 | #Constraints: 34283 609.75/611.42 c #Conflicts: 101000 | #Constraints: 35283 609.75/611.42 c #Conflicts: 102000 | #Constraints: 36283 609.75/611.42 c #Conflicts: 103000 | #Constraints: 37283 609.75/611.42 c #Conflicts: 104000 | #Constraints: 38284 609.75/611.42 c #Conflicts: 105000 | #Constraints: 39284 609.75/611.42 c #Conflicts: 106000 | #Constraints: 40284 609.75/611.42 c #Conflicts: 107000 | #Constraints: 41284 609.75/611.42 c #Conflicts: 108000 | #Constraints: 42284 609.75/611.42 c #Conflicts: 109000 | #Constraints: 43284 609.75/611.42 c #Conflicts: 110000 | #Constraints: 44284 609.75/611.42 c #Conflicts: 111000 | #Constraints: 45284 609.75/611.42 c #Conflicts: 112000 | #Constraints: 46284 609.75/611.42 c #Conflicts: 113000 | #Constraints: 47284 609.75/611.42 c INPROCESSING 609.75/611.42 c GARBAGE COLLECT 609.75/611.42 c #Conflicts: 114000 | #Constraints: 33005 609.75/611.42 c #Conflicts: 115000 | #Constraints: 34005 609.75/611.42 c #Conflicts: 116000 | #Constraints: 35005 609.75/611.42 c #Conflicts: 117000 | #Constraints: 36005 609.75/611.42 c #Conflicts: 118000 | #Constraints: 37005 609.75/611.42 c #Conflicts: 119000 | #Constraints: 38005 609.75/611.42 c #Conflicts: 120000 | #Constraints: 39005 609.75/611.42 c #Conflicts: 121000 | #Constraints: 40006 609.75/611.42 c #Conflicts: 122000 | #Constraints: 41006 609.75/611.42 c INPROCESSING 609.75/611.42 c GARBAGE COLLECT 609.75/611.42 c #Conflicts: 123000 | #Constraints: 29996 609.75/611.42 c #Conflicts: 124000 | #Constraints: 30996 609.75/611.42 c #Conflicts: 125000 | #Constraints: 31996 609.75/611.42 c #Conflicts: 126000 | #Constraints: 32996 609.75/611.42 c #Conflicts: 127000 | #Constraints: 33996 609.75/611.42 c #Conflicts: 128000 | #Constraints: 34996 609.75/611.42 c #Conflicts: 129000 | #Constraints: 35996 609.75/611.42 c #Conflicts: 130000 | #Constraints: 36996 609.75/611.42 c #Conflicts: 131000 | #Constraints: 37996 609.75/611.42 c INPROCESSING 609.75/611.42 c GARBAGE COLLECT 609.75/611.42 c #Conflicts: 132000 | #Constraints: 29018 609.75/611.42 c #Conflicts: 133000 | #Constraints: 30018 609.75/611.42 c #Conflicts: 134000 | #Constraints: 31018 609.75/611.42 c #Conflicts: 135000 | #Constraints: 32018 609.75/611.42 c #Conflicts: 136000 | #Constraints: 33018 609.75/611.42 c #Conflicts: 137000 | #Constraints: 34018 609.75/611.42 c #Conflicts: 138000 | #Constraints: 35018 609.75/611.42 c #Conflicts: 139000 | #Constraints: 36018 609.75/611.42 c #Conflicts: 140000 | #Constraints: 37019 609.75/611.42 c #Conflicts: 141000 | #Constraints: 38019 609.75/611.42 c #Conflicts: 142000 | #Constraints: 39019 609.75/611.42 c #Conflicts: 143000 | #Constraints: 40019 609.75/611.42 c #Conflicts: 144000 | #Constraints: 41019 609.75/611.42 c #Conflicts: 145000 | #Constraints: 42019 609.75/611.42 c #Conflicts: 146000 | #Constraints: 43019 609.75/611.42 c #Conflicts: 147000 | #Constraints: 44019 609.75/611.42 c #Conflicts: 148000 | #Constraints: 45019 609.75/611.42 c #Conflicts: 149000 | #Constraints: 46019 609.75/611.42 c #Conflicts: 150000 | #Constraints: 47019 609.75/611.42 c #Conflicts: 151000 | #Constraints: 48019 609.75/611.42 c #Conflicts: 152000 | #Constraints: 49020 609.75/611.42 c #Conflicts: 153000 | #Constraints: 50020 609.75/611.42 c #Conflicts: 154000 | #Constraints: 51020 609.75/611.42 c #Conflicts: 155000 | #Constraints: 52020 609.75/611.42 c #Conflicts: 156000 | #Constraints: 53020 609.75/611.42 c #Conflicts: 157000 | #Constraints: 54020 609.75/611.42 c INPROCESSING 609.75/611.42 c GARBAGE COLLECT 609.75/611.42 c rational objective 139 669.00/670.81 c #Conflicts: 158000 | #Constraints: 36391 669.00/670.81 c #Conflicts: 159000 | #Constraints: 37391 669.00/670.81 c #Conflicts: 160000 | #Constraints: 38391 669.00/670.81 c #Conflicts: 161000 | #Constraints: 39391 669.00/670.81 c #Conflicts: 162000 | #Constraints: 40391 669.00/670.81 c #Conflicts: 163000 | #Constraints: 41391 669.00/670.81 c #Conflicts: 164000 | #Constraints: 42392 669.00/670.81 c #Conflicts: 165000 | #Constraints: 43393 669.00/670.81 c #Conflicts: 166000 | #Constraints: 44393 669.00/670.81 c #Conflicts: 167000 | #Constraints: 45393 669.00/670.81 c #Conflicts: 168000 | #Constraints: 46393 669.00/670.81 c INPROCESSING 669.00/670.81 c GARBAGE COLLECT 669.00/670.81 c #Conflicts: 169000 | #Constraints: 33023 669.00/670.81 c #Conflicts: 170000 | #Constraints: 34024 669.00/670.81 c #Conflicts: 171000 | #Constraints: 35024 669.00/670.81 c #Conflicts: 172000 | #Constraints: 36024 669.00/670.81 c #Conflicts: 173000 | #Constraints: 37024 669.00/670.81 c #Conflicts: 174000 | #Constraints: 38024 669.00/670.81 c #Conflicts: 175000 | #Constraints: 39024 669.00/670.81 c #Conflicts: 176000 | #Constraints: 40024 669.00/670.81 c #Conflicts: 177000 | #Constraints: 41024 669.00/670.81 c #Conflicts: 178000 | #Constraints: 42024 669.00/670.81 c INPROCESSING 669.00/670.81 c GARBAGE COLLECT 669.00/670.81 c rational objective 139 802.03/804.25 c #Conflicts: 179000 | #Constraints: 31962 802.03/804.25 c #Conflicts: 180000 | #Constraints: 32962 802.03/804.25 c #Conflicts: 181000 | #Constraints: 33962 802.03/804.25 c #Conflicts: 182000 | #Constraints: 34962 802.03/804.25 c #Conflicts: 183000 | #Constraints: 35962 802.03/804.25 c #Conflicts: 184000 | #Constraints: 36962 802.03/804.25 c #Conflicts: 185000 | #Constraints: 37962 802.03/804.25 c #Conflicts: 186000 | #Constraints: 38962 802.03/804.25 c #Conflicts: 187000 | #Constraints: 39962 802.03/804.25 c #Conflicts: 188000 | #Constraints: 40962 802.03/804.25 c #Conflicts: 189000 | #Constraints: 41962 802.03/804.25 c #Conflicts: 190000 | #Constraints: 42962 802.03/804.25 c #Conflicts: 191000 | #Constraints: 43962 802.03/804.25 c #Conflicts: 192000 | #Constraints: 44962 802.03/804.25 c #Conflicts: 193000 | #Constraints: 45962 802.03/804.25 c #Conflicts: 194000 | #Constraints: 46962 802.03/804.25 c #Conflicts: 195000 | #Constraints: 47962 802.03/804.25 c #Conflicts: 196000 | #Constraints: 48962 802.03/804.25 c #Conflicts: 197000 | #Constraints: 49962 802.03/804.25 c #Conflicts: 198000 | #Constraints: 50962 802.03/804.25 c #Conflicts: 199000 | #Constraints: 51963 802.03/804.25 c #Conflicts: 200000 | #Constraints: 52963 802.03/804.25 c #Conflicts: 201000 | #Constraints: 53963 802.03/804.25 c #Conflicts: 202000 | #Constraints: 54963 802.03/804.25 c #Conflicts: 203000 | #Constraints: 55963 802.03/804.25 c #Conflicts: 204000 | #Constraints: 56963 802.03/804.25 c #Conflicts: 205000 | #Constraints: 57963 802.03/804.25 c #Conflicts: 206000 | #Constraints: 58963 802.03/804.25 c #Conflicts: 207000 | #Constraints: 59963 802.03/804.25 c #Conflicts: 208000 | #Constraints: 60963 802.03/804.25 c #Conflicts: 209000 | #Constraints: 61963 802.03/804.25 c INPROCESSING 802.03/804.25 c GARBAGE COLLECT 802.03/804.25 c rational objective 139 940.63/943.22 c #Conflicts: 210000 | #Constraints: 40774 940.63/943.22 c #Conflicts: 211000 | #Constraints: 41774 940.63/943.22 c #Conflicts: 212000 | #Constraints: 42774 940.63/943.22 c #Conflicts: 213000 | #Constraints: 43774 940.63/943.22 c #Conflicts: 214000 | #Constraints: 44774 940.63/943.22 c #Conflicts: 215000 | #Constraints: 45774 940.63/943.22 c #Conflicts: 216000 | #Constraints: 46774 940.63/943.22 c #Conflicts: 217000 | #Constraints: 47774 940.63/943.22 c #Conflicts: 218000 | #Constraints: 48774 940.63/943.22 c #Conflicts: 219000 | #Constraints: 49775 940.63/943.22 c #Conflicts: 220000 | #Constraints: 50775 940.63/943.22 c INPROCESSING 940.63/943.22 c GARBAGE COLLECT 940.63/943.22 c rational objective 139 1123.94/1127.10 c #Conflicts: 221000 | #Constraints: 34819 1123.94/1127.10 c #Conflicts: 222000 | #Constraints: 35819 1123.94/1127.10 c #Conflicts: 223000 | #Constraints: 36819 1123.94/1127.10 c #Conflicts: 224000 | #Constraints: 37819 1123.94/1127.10 c #Conflicts: 225000 | #Constraints: 38819 1123.94/1127.10 c #Conflicts: 226000 | #Constraints: 39819 1123.94/1127.10 c #Conflicts: 227000 | #Constraints: 40819 1123.94/1127.10 c #Conflicts: 228000 | #Constraints: 41819 1123.94/1127.10 c #Conflicts: 229000 | #Constraints: 42819 1123.94/1127.10 c #Conflicts: 230000 | #Constraints: 43819 1123.94/1127.10 c #Conflicts: 231000 | #Constraints: 44819 1123.94/1127.10 c #Conflicts: 232000 | #Constraints: 45819 1123.94/1127.10 c INPROCESSING 1123.94/1127.10 c GARBAGE COLLECT 1123.94/1127.10 c #Conflicts: 233000 | #Constraints: 33883 1123.94/1127.10 c #Conflicts: 234000 | #Constraints: 34883 1123.94/1127.10 c #Conflicts: 235000 | #Constraints: 35883 1123.94/1127.10 c #Conflicts: 236000 | #Constraints: 36884 1123.94/1127.10 c #Conflicts: 237000 | #Constraints: 37884 1123.94/1127.10 c #Conflicts: 238000 | #Constraints: 38884 1123.94/1127.10 c #Conflicts: 239000 | #Constraints: 39884 1123.94/1127.10 c #Conflicts: 240000 | #Constraints: 40884 1123.94/1127.10 c #Conflicts: 241000 | #Constraints: 41884 1123.94/1127.10 c #Conflicts: 242000 | #Constraints: 42884 1123.94/1127.10 c #Conflicts: 243000 | #Constraints: 43884 1123.94/1127.10 c #Conflicts: 244000 | #Constraints: 44884 1123.94/1127.10 c #Conflicts: 245000 | #Constraints: 45884 1123.94/1127.10 c #Conflicts: 246000 | #Constraints: 46884 1123.94/1127.10 c #Conflicts: 247000 | #Constraints: 47884 1123.94/1127.10 c #Conflicts: 248000 | #Constraints: 48884 1123.94/1127.10 c #Conflicts: 249000 | #Constraints: 49884 1123.94/1127.10 c #Conflicts: 250000 | #Constraints: 50884 1123.94/1127.10 c #Conflicts: 251000 | #Constraints: 51884 1123.94/1127.10 c #Conflicts: 252000 | #Constraints: 52884 1123.94/1127.10 c #Conflicts: 253000 | #Constraints: 53884 1123.94/1127.10 c #Conflicts: 254000 | #Constraints: 54884 1123.94/1127.10 c #Conflicts: 255000 | #Constraints: 55884 1123.94/1127.10 c #Conflicts: 256000 | #Constraints: 56884 1123.94/1127.10 c #Conflicts: 257000 | #Constraints: 57885 1123.94/1127.10 c #Conflicts: 258000 | #Constraints: 58885 1123.94/1127.10 c #Conflicts: 259000 | #Constraints: 59885 1123.94/1127.10 c #Conflicts: 260000 | #Constraints: 60885 1123.94/1127.10 c #Conflicts: 261000 | #Constraints: 61885 1123.94/1127.10 c #Conflicts: 262000 | #Constraints: 62885 1123.94/1127.10 c #Conflicts: 263000 | #Constraints: 63885 1123.94/1127.10 c #Conflicts: 264000 | #Constraints: 64885 1123.94/1127.10 c #Conflicts: 265000 | #Constraints: 65885 1123.94/1127.10 c #Conflicts: 266000 | #Constraints: 66885 1123.94/1127.10 c #Conflicts: 267000 | #Constraints: 67885 1123.94/1127.10 c INPROCESSING 1123.94/1127.10 c GARBAGE COLLECT 1123.94/1127.10 c rational objective 139 1311.59/1315.18 c #Conflicts: 268000 | #Constraints: 43724 1311.59/1315.18 c #Conflicts: 269000 | #Constraints: 44724 1311.59/1315.18 c #Conflicts: 270000 | #Constraints: 45725 1311.59/1315.18 c #Conflicts: 271000 | #Constraints: 46725 1311.59/1315.18 c #Conflicts: 272000 | #Constraints: 47725 1311.59/1315.18 c #Conflicts: 273000 | #Constraints: 48725 1311.59/1315.18 c #Conflicts: 274000 | #Constraints: 49725 1311.59/1315.18 c #Conflicts: 275000 | #Constraints: 50725 1311.59/1315.18 c #Conflicts: 276000 | #Constraints: 51725 1311.59/1315.18 c #Conflicts: 277000 | #Constraints: 52725 1311.59/1315.18 c #Conflicts: 278000 | #Constraints: 53725 1311.59/1315.18 c #Conflicts: 279000 | #Constraints: 54725 1311.59/1315.18 c #Conflicts: 280000 | #Constraints: 55725 1311.59/1315.18 c INPROCESSING 1311.59/1315.18 c GARBAGE COLLECT 1311.59/1315.18 c #Conflicts: 281000 | #Constraints: 37352 1311.59/1315.18 c #Conflicts: 282000 | #Constraints: 38352 1311.59/1315.18 c #Conflicts: 283000 | #Constraints: 39352 1311.59/1315.18 c #Conflicts: 284000 | #Constraints: 40352 1311.59/1315.18 c #Conflicts: 285000 | #Constraints: 41353 1311.59/1315.18 c #Conflicts: 286000 | #Constraints: 42353 1311.59/1315.18 c #Conflicts: 287000 | #Constraints: 43353 1311.59/1315.18 c #Conflicts: 288000 | #Constraints: 44353 1311.59/1315.18 c #Conflicts: 289000 | #Constraints: 45353 1311.59/1315.18 c #Conflicts: 290000 | #Constraints: 46353 1311.59/1315.18 c #Conflicts: 291000 | #Constraints: 47353 1311.59/1315.18 c #Conflicts: 292000 | #Constraints: 48353 1311.59/1315.18 c #Conflicts: 293000 | #Constraints: 49353 1311.59/1315.18 c #Conflicts: 294000 | #Constraints: 50353 1311.59/1315.18 c #Conflicts: 295000 | #Constraints: 51353 1311.59/1315.18 c #Conflicts: 296000 | #Constraints: 52353 1311.59/1315.18 c #Conflicts: 297000 | #Constraints: 53353 1311.59/1315.18 c #Conflicts: 298000 | #Constraints: 54353 1311.59/1315.18 c #Conflicts: 299000 | #Constraints: 55353 1311.59/1315.18 c #Conflicts: 300000 | #Constraints: 56353 1311.59/1315.18 c #Conflicts: 301000 | #Constraints: 57353 1311.59/1315.18 c #Conflicts: 302000 | #Constraints: 58353 1311.59/1315.18 c #Conflicts: 303000 | #Constraints: 59353 1311.59/1315.18 c #Conflicts: 304000 | #Constraints: 60353 1311.59/1315.18 c #Conflicts: 305000 | #Constraints: 61353 1311.59/1315.18 c #Conflicts: 306000 | #Constraints: 62353 1311.59/1315.18 c #Conflicts: 307000 | #Constraints: 63353 1311.59/1315.18 c #Conflicts: 308000 | #Constraints: 64353 1311.59/1315.18 c #Conflicts: 309000 | #Constraints: 65353 1311.59/1315.18 c #Conflicts: 310000 | #Constraints: 66353 1311.59/1315.18 c #Conflicts: 311000 | #Constraints: 67353 1311.59/1315.18 c #Conflicts: 312000 | #Constraints: 68353 1311.59/1315.18 c #Conflicts: 313000 | #Constraints: 69353 1311.59/1315.18 c #Conflicts: 314000 | #Constraints: 70353 1311.59/1315.18 c #Conflicts: 315000 | #Constraints: 71353 1311.59/1315.18 c #Conflicts: 316000 | #Constraints: 72353 1311.59/1315.18 c #Conflicts: 317000 | #Constraints: 73353 1311.59/1315.18 c #Conflicts: 318000 | #Constraints: 74353 1311.59/1315.18 c INPROCESSING 1311.59/1315.18 c GARBAGE COLLECT 1311.59/1315.18 c #Conflicts: 319000 | #Constraints: 46764 1311.59/1315.18 c #Conflicts: 320000 | #Constraints: 47764 1311.59/1315.18 c #Conflicts: 321000 | #Constraints: 48764 1311.59/1315.18 c #Conflicts: 322000 | #Constraints: 49764 1311.59/1315.18 c #Conflicts: 323000 | #Constraints: 50764 1311.59/1315.18 c #Conflicts: 324000 | #Constraints: 51764 1311.59/1315.18 c #Conflicts: 325000 | #Constraints: 52764 1311.59/1315.18 c #Conflicts: 326000 | #Constraints: 53764 1311.59/1315.18 c #Conflicts: 327000 | #Constraints: 54764 1311.59/1315.18 c #Conflicts: 328000 | #Constraints: 55764 1311.59/1315.18 c #Conflicts: 329000 | #Constraints: 56764 1311.59/1315.18 c #Conflicts: 330000 | #Constraints: 57764 1311.59/1315.18 c #Conflicts: 331000 | #Constraints: 58764 1311.59/1315.18 c #Conflicts: 332000 | #Constraints: 59764 1311.59/1315.18 c #Conflicts: 333000 | #Constraints: 60764 1311.59/1315.18 c INPROCESSING 1311.59/1315.18 c GARBAGE COLLECT 1311.59/1315.18 c #Conflicts: 334000 | #Constraints: 40155 1311.59/1315.18 c #Conflicts: 335000 | #Constraints: 41155 1311.59/1315.18 c #Conflicts: 336000 | #Constraints: 42155 1311.59/1315.18 c #Conflicts: 337000 | #Constraints: 43155 1311.59/1315.18 c #Conflicts: 338000 | #Constraints: 44155 1311.59/1315.18 c #Conflicts: 339000 | #Constraints: 45155 1311.59/1315.18 c #Conflicts: 340000 | #Constraints: 46155 1311.59/1315.18 c #Conflicts: 341000 | #Constraints: 47155 1311.59/1315.18 c #Conflicts: 342000 | #Constraints: 48155 1311.59/1315.18 c #Conflicts: 343000 | #Constraints: 49155 1311.59/1315.18 c #Conflicts: 344000 | #Constraints: 50155 1442.05/1445.97 c #Conflicts: 345000 | #Constraints: 51155 1442.05/1445.97 c #Conflicts: 346000 | #Constraints: 52155 1442.05/1445.97 c #Conflicts: 347000 | #Constraints: 53155 1442.05/1445.97 c #Conflicts: 348000 | #Constraints: 54156 1442.05/1445.97 c #Conflicts: 349000 | #Constraints: 55156 1442.05/1445.97 c #Conflicts: 350000 | #Constraints: 56156 1442.05/1445.97 c #Conflicts: 351000 | #Constraints: 57156 1442.05/1445.97 c #Conflicts: 352000 | #Constraints: 58156 1442.05/1445.97 c #Conflicts: 353000 | #Constraints: 59156 1442.05/1445.97 c #Conflicts: 354000 | #Constraints: 60156 1442.05/1445.97 c #Conflicts: 355000 | #Constraints: 61156 1442.05/1445.97 c #Conflicts: 356000 | #Constraints: 62156 1442.05/1445.97 c #Conflicts: 357000 | #Constraints: 63156 1442.05/1445.97 c #Conflicts: 358000 | #Constraints: 64156 1442.05/1445.97 c #Conflicts: 359000 | #Constraints: 65156 1442.05/1445.97 c #Conflicts: 360000 | #Constraints: 66156 1442.05/1445.97 c #Conflicts: 361000 | #Constraints: 67156 1442.05/1445.97 c #Conflicts: 362000 | #Constraints: 68156 1442.05/1445.97 c #Conflicts: 363000 | #Constraints: 69156 1442.05/1445.97 c #Conflicts: 364000 | #Constraints: 70157 1442.05/1445.97 c #Conflicts: 365000 | #Constraints: 71157 1442.05/1445.97 c #Conflicts: 366000 | #Constraints: 72157 1442.05/1445.97 c #Conflicts: 367000 | #Constraints: 73157 1442.05/1445.97 c #Conflicts: 368000 | #Constraints: 74158 1442.05/1445.97 c #Conflicts: 369000 | #Constraints: 75158 1442.05/1445.97 c #Conflicts: 370000 | #Constraints: 76158 1442.05/1445.97 c #Conflicts: 371000 | #Constraints: 77158 1442.05/1445.97 c #Conflicts: 372000 | #Constraints: 78158 1442.05/1445.97 c #Conflicts: 373000 | #Constraints: 79158 1442.05/1445.97 c #Conflicts: 374000 | #Constraints: 80158 1442.05/1445.97 c INPROCESSING 1442.05/1445.97 c GARBAGE COLLECT 1442.05/1445.97 c rational objective 139 1583.10/1587.39 c #Conflicts: 375000 | #Constraints: 50168 1583.10/1587.39 c #Conflicts: 376000 | #Constraints: 51168 1583.10/1587.39 c #Conflicts: 377000 | #Constraints: 52168 1583.10/1587.39 c #Conflicts: 378000 | #Constraints: 53168 1583.10/1587.39 c #Conflicts: 379000 | #Constraints: 54168 1583.10/1587.39 c #Conflicts: 380000 | #Constraints: 55168 1583.10/1587.39 c #Conflicts: 381000 | #Constraints: 56168 1583.10/1587.39 c #Conflicts: 382000 | #Constraints: 57168 1583.10/1587.39 c #Conflicts: 383000 | #Constraints: 58169 1583.10/1587.39 c #Conflicts: 384000 | #Constraints: 59169 1583.10/1587.39 c #Conflicts: 385000 | #Constraints: 60169 1583.10/1587.39 c #Conflicts: 386000 | #Constraints: 61169 1583.10/1587.39 c #Conflicts: 387000 | #Constraints: 62169 1583.10/1587.39 c #Conflicts: 388000 | #Constraints: 63169 1583.10/1587.39 c #Conflicts: 389000 | #Constraints: 64169 1583.10/1587.39 c #Conflicts: 390000 | #Constraints: 65169 1583.10/1587.39 c INPROCESSING 1583.10/1587.39 c GARBAGE COLLECT 1583.10/1587.39 c rational objective 139 1733.32/1737.96 c #Conflicts: 391000 | #Constraints: 42705 1733.32/1737.96 c #Conflicts: 392000 | #Constraints: 43705 1733.32/1737.96 c #Conflicts: 393000 | #Constraints: 44705 1733.32/1737.96 c #Conflicts: 394000 | #Constraints: 45705 1733.32/1737.96 c #Conflicts: 395000 | #Constraints: 46705 1733.32/1737.96 c #Conflicts: 396000 | #Constraints: 47705 1733.32/1737.96 c #Conflicts: 397000 | #Constraints: 48705 1733.32/1737.96 c #Conflicts: 398000 | #Constraints: 49705 1733.32/1737.96 c #Conflicts: 399000 | #Constraints: 50706 1733.32/1737.96 c #Conflicts: 400000 | #Constraints: 51706 1733.32/1737.96 c #Conflicts: 401000 | #Constraints: 52706 1733.32/1737.96 c #Conflicts: 402000 | #Constraints: 53706 1733.32/1737.96 c #Conflicts: 403000 | #Constraints: 54706 1733.32/1737.96 c #Conflicts: 404000 | #Constraints: 55706 1733.32/1737.96 c #Conflicts: 405000 | #Constraints: 56706 1733.32/1737.96 c #Conflicts: 406000 | #Constraints: 57706 1733.32/1737.96 c #Conflicts: 407000 | #Constraints: 58706 1733.32/1737.96 c #Conflicts: 408000 | #Constraints: 59706 1733.32/1737.96 c #Conflicts: 409000 | #Constraints: 60706 1733.32/1737.96 c #Conflicts: 410000 | #Constraints: 61706 1733.32/1737.96 c #Conflicts: 411000 | #Constraints: 62706 1733.32/1737.96 c #Conflicts: 412000 | #Constraints: 63706 1733.32/1737.96 c #Conflicts: 413000 | #Constraints: 64706 1733.32/1737.96 c #Conflicts: 414000 | #Constraints: 65707 1733.32/1737.96 c #Conflicts: 415000 | #Constraints: 66707 1733.32/1737.96 c #Conflicts: 416000 | #Constraints: 67707 1733.32/1737.96 c #Conflicts: 417000 | #Constraints: 68707 1733.32/1737.96 c #Conflicts: 418000 | #Constraints: 69707 1733.32/1737.96 c #Conflicts: 419000 | #Constraints: 70707 1733.32/1737.96 c #Conflicts: 420000 | #Constraints: 71707 1733.32/1737.96 c #Conflicts: 421000 | #Constraints: 72707 1733.32/1737.96 c #Conflicts: 422000 | #Constraints: 73707 1733.32/1737.96 c #Conflicts: 423000 | #Constraints: 74707 1733.32/1737.96 c #Conflicts: 424000 | #Constraints: 75707 1733.32/1737.96 c #Conflicts: 425000 | #Constraints: 76707 1733.32/1737.96 c #Conflicts: 426000 | #Constraints: 77707 1733.32/1737.96 c #Conflicts: 427000 | #Constraints: 78707 1733.32/1737.96 c #Conflicts: 428000 | #Constraints: 79707 1733.32/1737.96 c #Conflicts: 429000 | #Constraints: 80707 1733.32/1737.96 c #Conflicts: 430000 | #Constraints: 81707 1733.32/1737.96 c #Conflicts: 431000 | #Constraints: 82707 1733.32/1737.96 c #Conflicts: 432000 | #Constraints: 83707 1733.32/1737.96 c #Conflicts: 433000 | #Constraints: 84707 1733.32/1737.96 c #Conflicts: 434000 | #Constraints: 85707 1733.32/1737.96 c INPROCESSING 1733.32/1737.96 c GARBAGE COLLECT 1733.32/1737.96 c rational objective 139 1835.97/1840.87 c #Conflicts: 435000 | #Constraints: 52778 1835.97/1840.87 c #Conflicts: 436000 | #Constraints: 53779 1835.97/1840.87 c #Conflicts: 437000 | #Constraints: 54779 1835.97/1840.87 c #Conflicts: 438000 | #Constraints: 55779 1835.97/1840.87 c #Conflicts: 439000 | #Constraints: 56779 1835.97/1840.87 c #Conflicts: 440000 | #Constraints: 57779 1835.97/1840.87 c #Conflicts: 441000 | #Constraints: 58779 1835.97/1840.87 c #Conflicts: 442000 | #Constraints: 59779 1835.97/1840.87 c #Conflicts: 443000 | #Constraints: 60779 1835.97/1840.87 c #Conflicts: 444000 | #Constraints: 61779 1835.97/1840.87 c #Conflicts: 445000 | #Constraints: 62779 1835.97/1840.87 c #Conflicts: 446000 | #Constraints: 63779 1835.97/1840.87 c #Conflicts: 447000 | #Constraints: 64779 1835.97/1840.87 c #Conflicts: 448000 | #Constraints: 65779 1835.97/1840.87 c #Conflicts: 449000 | #Constraints: 66779 1835.97/1840.87 c #Conflicts: 450000 | #Constraints: 67779 1835.97/1840.87 c #Conflicts: 451000 | #Constraints: 68779 1835.97/1840.87 c INPROCESSING 1835.97/1840.87 c GARBAGE COLLECT 1835.97/1840.87 c rational objective 139 2264.41/2270.35 c #Conflicts: 452000 | #Constraints: 44426 2264.41/2270.35 c #Conflicts: 453000 | #Constraints: 45427 2264.41/2270.35 c #Conflicts: 454000 | #Constraints: 46427 2264.41/2270.35 c #Conflicts: 455000 | #Constraints: 47427 2264.41/2270.35 c #Conflicts: 456000 | #Constraints: 48427 2264.41/2270.35 c #Conflicts: 457000 | #Constraints: 49427 2264.41/2270.35 c #Conflicts: 458000 | #Constraints: 50427 2264.41/2270.35 c #Conflicts: 459000 | #Constraints: 51427 2264.41/2270.35 c #Conflicts: 460000 | #Constraints: 52427 2264.41/2270.35 c #Conflicts: 461000 | #Constraints: 53427 2264.41/2270.35 c #Conflicts: 462000 | #Constraints: 54427 2264.41/2270.35 c #Conflicts: 463000 | #Constraints: 55427 2264.41/2270.35 c #Conflicts: 464000 | #Constraints: 56427 2264.41/2270.35 c #Conflicts: 465000 | #Constraints: 57427 2264.41/2270.35 c #Conflicts: 466000 | #Constraints: 58427 2264.41/2270.35 c #Conflicts: 467000 | #Constraints: 59427 2264.41/2270.35 c #Conflicts: 468000 | #Constraints: 60427 2264.41/2270.35 c #Conflicts: 469000 | #Constraints: 61427 2264.41/2270.35 c #Conflicts: 470000 | #Constraints: 62428 2264.41/2270.35 c #Conflicts: 471000 | #Constraints: 63428 2264.41/2270.35 c #Conflicts: 472000 | #Constraints: 64428 2264.41/2270.35 c #Conflicts: 473000 | #Constraints: 65428 2264.41/2270.35 c #Conflicts: 474000 | #Constraints: 66428 2264.41/2270.35 c #Conflicts: 475000 | #Constraints: 67428 2264.41/2270.35 c #Conflicts: 476000 | #Constraints: 68428 2264.41/2270.35 c #Conflicts: 477000 | #Constraints: 69428 2264.41/2270.35 c #Conflicts: 478000 | #Constraints: 70428 2264.41/2270.35 c #Conflicts: 479000 | #Constraints: 71428 2264.41/2270.35 c #Conflicts: 480000 | #Constraints: 72428 2264.41/2270.35 c #Conflicts: 481000 | #Constraints: 73428 2264.41/2270.35 c #Conflicts: 482000 | #Constraints: 74428 2264.41/2270.35 c #Conflicts: 483000 | #Constraints: 75428 2264.41/2270.35 c #Conflicts: 484000 | #Constraints: 76428 2264.41/2270.35 c #Conflicts: 485000 | #Constraints: 77430 2264.41/2270.35 c #Conflicts: 486000 | #Constraints: 78430 2264.41/2270.35 c #Conflicts: 487000 | #Constraints: 79430 2264.41/2270.35 c #Conflicts: 488000 | #Constraints: 80431 2264.41/2270.35 c #Conflicts: 489000 | #Constraints: 81431 2264.41/2270.35 c #Conflicts: 490000 | #Constraints: 82431 2264.41/2270.35 c #Conflicts: 491000 | #Constraints: 83431 2264.41/2270.35 c #Conflicts: 492000 | #Constraints: 84432 2264.41/2270.35 c #Conflicts: 493000 | #Constraints: 85432 2264.41/2270.35 c #Conflicts: 494000 | #Constraints: 86432 2264.41/2270.35 c #Conflicts: 495000 | #Constraints: 87432 2264.41/2270.35 c #Conflicts: 496000 | #Constraints: 88432 2264.41/2270.35 c #Conflicts: 497000 | #Constraints: 89432 2264.41/2270.35 c #Conflicts: 498000 | #Constraints: 90433 2264.41/2270.35 c INPROCESSING 2264.41/2270.35 c GARBAGE COLLECT 2264.41/2270.35 c rational objective 139 2464.90/2471.38 c #Conflicts: 499000 | #Constraints: 55062 2464.90/2471.38 c #Conflicts: 500000 | #Constraints: 56062 2464.90/2471.38 c #Conflicts: 501000 | #Constraints: 57062 2464.90/2471.38 c #Conflicts: 502000 | #Constraints: 58062 2464.90/2471.38 c #Conflicts: 503000 | #Constraints: 59062 2464.90/2471.38 c #Conflicts: 504000 | #Constraints: 60062 2464.90/2471.38 c #Conflicts: 505000 | #Constraints: 61062 2464.90/2471.38 c #Conflicts: 506000 | #Constraints: 62062 2464.90/2471.38 c #Conflicts: 507000 | #Constraints: 63062 2464.90/2471.38 c #Conflicts: 508000 | #Constraints: 64062 2464.90/2471.38 c #Conflicts: 509000 | #Constraints: 65062 2464.90/2471.38 c #Conflicts: 510000 | #Constraints: 66062 2464.90/2471.38 c #Conflicts: 511000 | #Constraints: 67062 2464.90/2471.38 c #Conflicts: 512000 | #Constraints: 68062 2464.90/2471.38 c #Conflicts: 513000 | #Constraints: 69063 2464.90/2471.38 c #Conflicts: 514000 | #Constraints: 70063 2464.90/2471.38 c #Conflicts: 515000 | #Constraints: 71063 2464.90/2471.38 c #Conflicts: 516000 | #Constraints: 72063 2464.90/2471.38 c INPROCESSING 2464.90/2471.38 c GARBAGE COLLECT 2464.90/2471.38 c #Conflicts: 517000 | #Constraints: 45855 2464.90/2471.38 c #Conflicts: 518000 | #Constraints: 46855 2464.90/2471.38 c #Conflicts: 519000 | #Constraints: 47855 2464.90/2471.38 c #Conflicts: 520000 | #Constraints: 48855 2464.90/2471.38 c #Conflicts: 521000 | #Constraints: 49855 2464.90/2471.38 c #Conflicts: 522000 | #Constraints: 50855 2464.90/2471.38 c #Conflicts: 523000 | #Constraints: 51855 2464.90/2471.38 c #Conflicts: 524000 | #Constraints: 52855 2464.90/2471.38 c #Conflicts: 525000 | #Constraints: 53855 2464.90/2471.38 c #Conflicts: 526000 | #Constraints: 54855 2464.90/2471.38 c #Conflicts: 527000 | #Constraints: 55855 2464.90/2471.38 c #Conflicts: 528000 | #Constraints: 56855 2464.90/2471.38 c #Conflicts: 529000 | #Constraints: 57855 2464.90/2471.38 c #Conflicts: 530000 | #Constraints: 58855 2464.90/2471.38 c #Conflicts: 531000 | #Constraints: 59855 2464.90/2471.38 c #Conflicts: 532000 | #Constraints: 60855 2464.90/2471.38 c #Conflicts: 533000 | #Constraints: 61855 2464.90/2471.38 c #Conflicts: 534000 | #Constraints: 62855 2464.90/2471.38 c #Conflicts: 535000 | #Constraints: 63855 2464.90/2471.38 c INPROCESSING 2464.90/2471.38 c GARBAGE COLLECT 2464.90/2471.38 c #Conflicts: 536000 | #Constraints: 44920 2464.90/2471.38 c #Conflicts: 537000 | #Constraints: 45920 2464.90/2471.38 c #Conflicts: 538000 | #Constraints: 46920 2464.90/2471.38 c #Conflicts: 539000 | #Constraints: 47920 2464.90/2471.38 c #Conflicts: 540000 | #Constraints: 48920 2464.90/2471.38 c #Conflicts: 541000 | #Constraints: 49920 2464.90/2471.38 c #Conflicts: 542000 | #Constraints: 50920 2464.90/2471.38 c #Conflicts: 543000 | #Constraints: 51920 2464.90/2471.38 c #Conflicts: 544000 | #Constraints: 52920 2464.90/2471.38 c #Conflicts: 545000 | #Constraints: 53920 2464.90/2471.38 c #Conflicts: 546000 | #Constraints: 54920 2464.90/2471.38 c #Conflicts: 547000 | #Constraints: 55920 2464.90/2471.38 c #Conflicts: 548000 | #Constraints: 56920 2464.90/2471.38 c #Conflicts: 549000 | #Constraints: 57920 2464.90/2471.38 c #Conflicts: 550000 | #Constraints: 58920 2464.90/2471.38 c #Conflicts: 551000 | #Constraints: 59920 2464.90/2471.38 c #Conflicts: 552000 | #Constraints: 60920 2464.90/2471.38 c #Conflicts: 553000 | #Constraints: 61920 2464.90/2471.38 c #Conflicts: 554000 | #Constraints: 62920 2464.90/2471.38 c #Conflicts: 555000 | #Constraints: 63920 2464.90/2471.38 c #Conflicts: 556000 | #Constraints: 64920 2464.90/2471.38 c #Conflicts: 557000 | #Constraints: 65920 2464.90/2471.38 c #Conflicts: 558000 | #Constraints: 66920 2464.90/2471.38 c #Conflicts: 559000 | #Constraints: 67920 2464.90/2471.38 c #Conflicts: 560000 | #Constraints: 68920 2464.90/2471.38 c #Conflicts: 561000 | #Constraints: 69920 2464.90/2471.38 c #Conflicts: 562000 | #Constraints: 70920 2464.90/2471.38 c #Conflicts: 563000 | #Constraints: 71920 2464.90/2471.38 c #Conflicts: 564000 | #Constraints: 72920 2464.90/2471.38 c #Conflicts: 565000 | #Constraints: 73920 2464.90/2471.38 c #Conflicts: 566000 | #Constraints: 74920 2464.90/2471.38 c #Conflicts: 567000 | #Constraints: 75920 2464.90/2471.38 c #Conflicts: 568000 | #Constraints: 76920 2464.90/2471.38 c #Conflicts: 569000 | #Constraints: 77920 2464.90/2471.38 c #Conflicts: 570000 | #Constraints: 78920 2464.90/2471.38 c #Conflicts: 571000 | #Constraints: 79920 2464.90/2471.38 c #Conflicts: 572000 | #Constraints: 80920 2464.90/2471.38 c #Conflicts: 573000 | #Constraints: 81920 2464.90/2471.38 c #Conflicts: 574000 | #Constraints: 82920 2464.90/2471.38 c #Conflicts: 575000 | #Constraints: 83921 2464.90/2471.38 c #Conflicts: 576000 | #Constraints: 84921 2894.32/2902.10 c #Conflicts: 577000 | #Constraints: 85921 2894.32/2902.10 c #Conflicts: 578000 | #Constraints: 86921 2894.32/2902.10 c #Conflicts: 579000 | #Constraints: 87921 2894.32/2902.10 c #Conflicts: 580000 | #Constraints: 88921 2894.32/2902.10 c #Conflicts: 581000 | #Constraints: 89921 2894.32/2902.10 c #Conflicts: 582000 | #Constraints: 90922 2894.32/2902.10 c #Conflicts: 583000 | #Constraints: 91922 2894.32/2902.10 c #Conflicts: 584000 | #Constraints: 92922 2894.32/2902.10 c #Conflicts: 585000 | #Constraints: 93922 2894.32/2902.10 c #Conflicts: 586000 | #Constraints: 94923 2894.32/2902.10 c INPROCESSING 2894.32/2902.10 c GARBAGE COLLECT 2894.32/2902.10 c #Conflicts: 587000 | #Constraints: 57299 2894.32/2902.10 c #Conflicts: 588000 | #Constraints: 58299 2894.32/2902.10 c #Conflicts: 589000 | #Constraints: 59299 2894.32/2902.10 c #Conflicts: 590000 | #Constraints: 60299 2894.32/2902.10 c #Conflicts: 591000 | #Constraints: 61299 2894.32/2902.10 c #Conflicts: 592000 | #Constraints: 62299 2894.32/2902.10 c #Conflicts: 593000 | #Constraints: 63299 2894.32/2902.10 c #Conflicts: 594000 | #Constraints: 64299 2894.32/2902.10 c #Conflicts: 595000 | #Constraints: 65299 2894.32/2902.10 c #Conflicts: 596000 | #Constraints: 66299 2894.32/2902.10 c #Conflicts: 597000 | #Constraints: 67299 2894.32/2902.10 c #Conflicts: 598000 | #Constraints: 68299 2894.32/2902.10 c #Conflicts: 599000 | #Constraints: 69299 2894.32/2902.10 c #Conflicts: 600000 | #Constraints: 70300 2894.32/2902.10 c #Conflicts: 601000 | #Constraints: 71300 2894.32/2902.10 c #Conflicts: 602000 | #Constraints: 72300 2894.32/2902.10 c #Conflicts: 603000 | #Constraints: 73300 2894.32/2902.10 c #Conflicts: 604000 | #Constraints: 74300 2894.32/2902.10 c #Conflicts: 605000 | #Constraints: 75300 2894.32/2902.10 c #Conflicts: 606000 | #Constraints: 76300 2894.32/2902.10 c INPROCESSING 2894.32/2902.10 c GARBAGE COLLECT 2894.32/2902.10 c #Conflicts: 607000 | #Constraints: 47892 2894.32/2902.10 c #Conflicts: 608000 | #Constraints: 48892 2894.32/2902.10 c #Conflicts: 609000 | #Constraints: 49892 2894.32/2902.10 c #Conflicts: 610000 | #Constraints: 50892 2894.32/2902.10 c #Conflicts: 611000 | #Constraints: 51892 2894.32/2902.10 c #Conflicts: 612000 | #Constraints: 52892 2894.32/2902.10 c #Conflicts: 613000 | #Constraints: 53892 2894.32/2902.10 c #Conflicts: 614000 | #Constraints: 54892 2894.32/2902.10 c #Conflicts: 615000 | #Constraints: 55892 2894.32/2902.10 c #Conflicts: 616000 | #Constraints: 56892 2894.32/2902.10 c #Conflicts: 617000 | #Constraints: 57892 2894.32/2902.10 c #Conflicts: 618000 | #Constraints: 58892 2894.32/2902.10 c #Conflicts: 619000 | #Constraints: 59892 2894.32/2902.10 c #Conflicts: 620000 | #Constraints: 60892 2894.32/2902.10 c #Conflicts: 621000 | #Constraints: 61892 2894.32/2902.10 c #Conflicts: 622000 | #Constraints: 62892 2894.32/2902.10 c #Conflicts: 623000 | #Constraints: 63892 2894.32/2902.10 c #Conflicts: 624000 | #Constraints: 64892 2894.32/2902.10 c #Conflicts: 625000 | #Constraints: 65893 2894.32/2902.10 c #Conflicts: 626000 | #Constraints: 66893 2894.32/2902.10 c #Conflicts: 627000 | #Constraints: 67893 2894.32/2902.10 c #Conflicts: 628000 | #Constraints: 68893 2894.32/2902.10 c #Conflicts: 629000 | #Constraints: 69893 2894.32/2902.10 c #Conflicts: 630000 | #Constraints: 70893 2894.32/2902.10 c #Conflicts: 631000 | #Constraints: 71893 2894.32/2902.10 c #Conflicts: 632000 | #Constraints: 72893 2894.32/2902.10 c #Conflicts: 633000 | #Constraints: 73893 2894.32/2902.10 c #Conflicts: 634000 | #Constraints: 74893 2894.32/2902.10 c #Conflicts: 635000 | #Constraints: 75893 2894.32/2902.10 c #Conflicts: 636000 | #Constraints: 76893 2894.32/2902.10 c #Conflicts: 637000 | #Constraints: 77893 2894.32/2902.10 c #Conflicts: 638000 | #Constraints: 78893 2894.32/2902.10 c #Conflicts: 639000 | #Constraints: 79893 2894.32/2902.10 c #Conflicts: 640000 | #Constraints: 80893 2894.32/2902.10 c #Conflicts: 641000 | #Constraints: 81894 2894.32/2902.10 c #Conflicts: 642000 | #Constraints: 82894 2894.32/2902.10 c #Conflicts: 643000 | #Constraints: 83894 2894.32/2902.10 c #Conflicts: 644000 | #Constraints: 84894 2894.32/2902.10 c #Conflicts: 645000 | #Constraints: 85894 2894.32/2902.10 c #Conflicts: 646000 | #Constraints: 86894 2894.32/2902.10 c #Conflicts: 647000 | #Constraints: 87894 2894.32/2902.10 c #Conflicts: 648000 | #Constraints: 88894 2894.32/2902.10 c #Conflicts: 649000 | #Constraints: 89894 2894.32/2902.10 c #Conflicts: 650000 | #Constraints: 90894 2894.32/2902.10 c #Conflicts: 651000 | #Constraints: 91894 2894.32/2902.10 c #Conflicts: 652000 | #Constraints: 92894 2894.32/2902.10 c #Conflicts: 653000 | #Constraints: 93894 3108.68/3117.03 c #Conflicts: 654000 | #Constraints: 94894 3108.68/3117.03 c #Conflicts: 655000 | #Constraints: 95894 3108.68/3117.03 c #Conflicts: 656000 | #Constraints: 96895 3108.68/3117.03 c #Conflicts: 657000 | #Constraints: 97895 3108.68/3117.03 c #Conflicts: 658000 | #Constraints: 98895 3108.68/3117.03 c #Conflicts: 659000 | #Constraints: 99895 3108.68/3117.03 c #Conflicts: 660000 | #Constraints: 100895 3108.68/3117.03 c #Conflicts: 661000 | #Constraints: 101895 3108.68/3117.03 c INPROCESSING 3108.68/3117.03 c GARBAGE COLLECT 3108.68/3117.03 c #Conflicts: 662000 | #Constraints: 61016 3108.68/3117.03 c #Conflicts: 663000 | #Constraints: 62016 3108.68/3117.03 c #Conflicts: 664000 | #Constraints: 63016 3108.68/3117.03 c #Conflicts: 665000 | #Constraints: 64016 3108.68/3117.03 c #Conflicts: 666000 | #Constraints: 65016 3108.68/3117.03 c #Conflicts: 667000 | #Constraints: 66016 3108.68/3117.03 c #Conflicts: 668000 | #Constraints: 67016 3108.68/3117.03 c #Conflicts: 669000 | #Constraints: 68016 3108.68/3117.03 c #Conflicts: 670000 | #Constraints: 69016 3108.68/3117.03 c #Conflicts: 671000 | #Constraints: 70017 3108.68/3117.03 c #Conflicts: 672000 | #Constraints: 71017 3108.68/3117.03 c #Conflicts: 673000 | #Constraints: 72017 3108.68/3117.03 c #Conflicts: 674000 | #Constraints: 73017 3108.68/3117.03 c #Conflicts: 675000 | #Constraints: 74017 3108.68/3117.03 c #Conflicts: 676000 | #Constraints: 75017 3108.68/3117.03 c #Conflicts: 677000 | #Constraints: 76017 3108.68/3117.03 c #Conflicts: 678000 | #Constraints: 77017 3108.68/3117.03 c #Conflicts: 679000 | #Constraints: 78017 3108.68/3117.03 c #Conflicts: 680000 | #Constraints: 79017 3108.68/3117.03 c #Conflicts: 681000 | #Constraints: 80017 3108.68/3117.03 c #Conflicts: 682000 | #Constraints: 81017 3108.68/3117.03 c INPROCESSING 3108.68/3117.03 c GARBAGE COLLECT 3108.68/3117.03 c #Conflicts: 683000 | #Constraints: 50501 3108.68/3117.03 c #Conflicts: 684000 | #Constraints: 51501 3108.68/3117.03 c #Conflicts: 685000 | #Constraints: 52501 3108.68/3117.03 c #Conflicts: 686000 | #Constraints: 53501 3108.68/3117.03 c #Conflicts: 687000 | #Constraints: 54501 3108.68/3117.03 c #Conflicts: 688000 | #Constraints: 55501 3108.68/3117.03 c #Conflicts: 689000 | #Constraints: 56501 3108.68/3117.03 c #Conflicts: 690000 | #Constraints: 57501 3108.68/3117.03 c #Conflicts: 691000 | #Constraints: 58501 3108.68/3117.03 c #Conflicts: 692000 | #Constraints: 59501 3108.68/3117.03 c #Conflicts: 693000 | #Constraints: 60501 3108.68/3117.03 c #Conflicts: 694000 | #Constraints: 61501 3108.68/3117.03 c #Conflicts: 695000 | #Constraints: 62501 3108.68/3117.03 c #Conflicts: 696000 | #Constraints: 63501 3108.68/3117.03 c #Conflicts: 697000 | #Constraints: 64501 3108.68/3117.03 c #Conflicts: 698000 | #Constraints: 65501 3108.68/3117.03 c #Conflicts: 699000 | #Constraints: 66501 3108.68/3117.03 c #Conflicts: 700000 | #Constraints: 67502 3108.68/3117.03 c #Conflicts: 701000 | #Constraints: 68502 3108.68/3117.03 c #Conflicts: 702000 | #Constraints: 69502 3108.68/3117.03 c #Conflicts: 703000 | #Constraints: 70502 3108.68/3117.03 c #Conflicts: 704000 | #Constraints: 71502 3108.68/3117.03 c #Conflicts: 705000 | #Constraints: 72502 3108.68/3117.03 c #Conflicts: 706000 | #Constraints: 73502 3108.68/3117.03 c #Conflicts: 707000 | #Constraints: 74502 3108.68/3117.03 c #Conflicts: 708000 | #Constraints: 75502 3108.68/3117.03 c #Conflicts: 709000 | #Constraints: 76502 3108.68/3117.03 c #Conflicts: 710000 | #Constraints: 77502 3108.68/3117.03 c #Conflicts: 711000 | #Constraints: 78502 3108.68/3117.03 c #Conflicts: 712000 | #Constraints: 79502 3108.68/3117.03 c #Conflicts: 713000 | #Constraints: 80503 3108.68/3117.03 c #Conflicts: 714000 | #Constraints: 81503 3108.68/3117.03 c #Conflicts: 715000 | #Constraints: 82503 3108.68/3117.03 c #Conflicts: 716000 | #Constraints: 83503 3108.68/3117.03 c #Conflicts: 717000 | #Constraints: 84503 3108.68/3117.03 c #Conflicts: 718000 | #Constraints: 85503 3108.68/3117.03 c #Conflicts: 719000 | #Constraints: 86503 3108.68/3117.03 c #Conflicts: 720000 | #Constraints: 87503 3108.68/3117.03 c #Conflicts: 721000 | #Constraints: 88503 3108.68/3117.03 c #Conflicts: 722000 | #Constraints: 89504 3108.68/3117.03 c #Conflicts: 723000 | #Constraints: 90504 3108.68/3117.03 c #Conflicts: 724000 | #Constraints: 91504 3108.68/3117.03 c #Conflicts: 725000 | #Constraints: 92504 3108.68/3117.03 c #Conflicts: 726000 | #Constraints: 93504 3108.68/3117.03 c #Conflicts: 727000 | #Constraints: 94504 3108.68/3117.03 c #Conflicts: 728000 | #Constraints: 95505 3108.68/3117.03 c #Conflicts: 729000 | #Constraints: 96505 3108.68/3117.03 c #Conflicts: 730000 | #Constraints: 97505 3108.68/3117.03 c #Conflicts: 731000 | #Constraints: 98505 3192.57/3201.15 c #Conflicts: 732000 | #Constraints: 99505 3192.57/3201.15 c #Conflicts: 733000 | #Constraints: 100505 3192.57/3201.15 c #Conflicts: 734000 | #Constraints: 101507 3192.57/3201.15 c #Conflicts: 735000 | #Constraints: 102508 3192.57/3201.15 c #Conflicts: 736000 | #Constraints: 103508 3192.57/3201.15 c #Conflicts: 737000 | #Constraints: 104508 3192.57/3201.15 c #Conflicts: 738000 | #Constraints: 105508 3192.57/3201.15 c #Conflicts: 739000 | #Constraints: 106510 3192.57/3201.15 c #Conflicts: 740000 | #Constraints: 107511 3192.57/3201.15 c INPROCESSING 3192.57/3201.15 c GARBAGE COLLECT 3192.57/3201.15 c rational objective 139 3354.63/3363.51 c #Conflicts: 741000 | #Constraints: 63920 3354.63/3363.51 c #Conflicts: 742000 | #Constraints: 64920 3354.63/3363.51 c #Conflicts: 743000 | #Constraints: 65921 3354.63/3363.51 c #Conflicts: 744000 | #Constraints: 66921 3354.63/3363.51 c #Conflicts: 745000 | #Constraints: 67921 3354.63/3363.51 c #Conflicts: 746000 | #Constraints: 68921 3354.63/3363.51 c #Conflicts: 747000 | #Constraints: 69921 3354.63/3363.51 c #Conflicts: 748000 | #Constraints: 70921 3354.63/3363.51 c #Conflicts: 749000 | #Constraints: 71921 3354.63/3363.51 c #Conflicts: 750000 | #Constraints: 72921 3354.63/3363.51 c #Conflicts: 751000 | #Constraints: 73921 3354.63/3363.51 c #Conflicts: 752000 | #Constraints: 74921 3354.63/3363.51 c #Conflicts: 753000 | #Constraints: 75921 3354.63/3363.51 c #Conflicts: 754000 | #Constraints: 76921 3354.63/3363.51 c #Conflicts: 755000 | #Constraints: 77921 3354.63/3363.51 c #Conflicts: 756000 | #Constraints: 78921 3354.63/3363.51 c #Conflicts: 757000 | #Constraints: 79921 3354.63/3363.51 c #Conflicts: 758000 | #Constraints: 80921 3354.63/3363.51 c #Conflicts: 759000 | #Constraints: 81921 3354.63/3363.51 c #Conflicts: 760000 | #Constraints: 82921 3354.63/3363.51 c #Conflicts: 761000 | #Constraints: 83921 3354.63/3363.51 c #Conflicts: 762000 | #Constraints: 84921 3354.63/3363.51 c INPROCESSING 3354.63/3363.51 c GARBAGE COLLECT 3354.63/3363.51 c rational objective 139 3534.24/3543.59 c #Conflicts: 763000 | #Constraints: 52438 3534.24/3543.59 c #Conflicts: 764000 | #Constraints: 53438 3534.24/3543.59 c #Conflicts: 765000 | #Constraints: 54438 3534.24/3543.59 c #Conflicts: 766000 | #Constraints: 55438 3534.24/3543.59 c #Conflicts: 767000 | #Constraints: 56438 3534.24/3543.59 c #Conflicts: 768000 | #Constraints: 57438 3534.24/3543.59 c #Conflicts: 769000 | #Constraints: 58438 3534.24/3543.59 c #Conflicts: 770000 | #Constraints: 59438 3534.24/3543.59 c #Conflicts: 771000 | #Constraints: 60438 3534.24/3543.59 c #Conflicts: 772000 | #Constraints: 61438 3534.24/3543.59 c #Conflicts: 773000 | #Constraints: 62438 3534.24/3543.59 c #Conflicts: 774000 | #Constraints: 63438 3534.24/3543.59 c #Conflicts: 775000 | #Constraints: 64438 3534.24/3543.59 c #Conflicts: 776000 | #Constraints: 65438 3534.24/3543.59 c #Conflicts: 777000 | #Constraints: 66438 3534.24/3543.59 c #Conflicts: 778000 | #Constraints: 67438 3534.24/3543.59 c #Conflicts: 779000 | #Constraints: 68439 3534.24/3543.59 c #Conflicts: 780000 | #Constraints: 69439 3534.24/3543.59 c #Conflicts: 781000 | #Constraints: 70440 3534.24/3543.59 c #Conflicts: 782000 | #Constraints: 71440 3534.24/3543.59 c #Conflicts: 783000 | #Constraints: 72440 3534.24/3543.59 c #Conflicts: 784000 | #Constraints: 73441 3534.24/3543.59 c #Conflicts: 785000 | #Constraints: 74441 3534.24/3543.59 c #Conflicts: 786000 | #Constraints: 75441 3534.24/3543.59 c #Conflicts: 787000 | #Constraints: 76441 3534.24/3543.59 c #Conflicts: 788000 | #Constraints: 77441 3534.24/3543.59 c #Conflicts: 789000 | #Constraints: 78442 3534.24/3543.59 c #Conflicts: 790000 | #Constraints: 79442 3534.24/3543.59 c #Conflicts: 791000 | #Constraints: 80443 3534.24/3543.59 c #Conflicts: 792000 | #Constraints: 81443 3534.24/3543.59 c #Conflicts: 793000 | #Constraints: 82443 3534.24/3543.59 c #Conflicts: 794000 | #Constraints: 83443 3534.24/3543.59 c #Conflicts: 795000 | #Constraints: 84443 3534.24/3543.59 c #Conflicts: 796000 | #Constraints: 85443 3534.24/3543.59 c #Conflicts: 797000 | #Constraints: 86443 3534.24/3543.59 c #Conflicts: 798000 | #Constraints: 87443 3534.24/3543.59 c #Conflicts: 799000 | #Constraints: 88443 3534.24/3543.59 c #Conflicts: 800000 | #Constraints: 89444 3534.24/3543.59 c #Conflicts: 801000 | #Constraints: 90444 3534.24/3543.59 c #Conflicts: 802000 | #Constraints: 91444 3534.24/3543.59 c #Conflicts: 803000 | #Constraints: 92444 3534.24/3543.59 c #Conflicts: 804000 | #Constraints: 93444 3534.24/3543.59 c #Conflicts: 805000 | #Constraints: 94444 3534.24/3543.59 c #Conflicts: 806000 | #Constraints: 95444 3534.24/3543.59 c #Conflicts: 807000 | #Constraints: 96444 3534.24/3543.59 c #Conflicts: 808000 | #Constraints: 97444 3534.24/3543.59 c #Conflicts: 809000 | #Constraints: 98444 3534.24/3543.59 c #Conflicts: 810000 | #Constraints: 99444 3534.24/3543.59 c #Conflicts: 811000 | #Constraints: 100444 3534.24/3543.59 c #Conflicts: 812000 | #Constraints: 101444 3534.24/3543.59 c #Conflicts: 813000 | #Constraints: 102444 3534.24/3543.59 c #Conflicts: 814000 | #Constraints: 103444 3534.24/3543.59 c #Conflicts: 815000 | #Constraints: 104444 3534.24/3543.59 c #Conflicts: 816000 | #Constraints: 105444 3534.24/3543.59 c #Conflicts: 817000 | #Constraints: 106444 3534.24/3543.59 c #Conflicts: 818000 | #Constraints: 107444 3534.24/3543.59 c #Conflicts: 819000 | #Constraints: 108444 3534.24/3543.59 c #Conflicts: 820000 | #Constraints: 109444 3534.24/3543.59 c #Conflicts: 821000 | #Constraints: 110444 3534.24/3543.59 c #Conflicts: 822000 | #Constraints: 111444 3534.24/3543.59 c #Conflicts: 823000 | #Constraints: 112444 3534.24/3543.59 c INPROCESSING 3534.24/3543.59 c GARBAGE COLLECT 3534.24/3543.59 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 (58147 MiB free)
memory of node 1: 64473 MiB (61940 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457172-1721827579/watcher-4457172-1721827579 -o /tmp/evaluation-result-4457172-1721827579/solver-4457172-1721827579 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721820326-228481 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457172-1721827579 --lp-cut-gomory=0 HOME/instance-4457172-1721827579.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=232889, runsolver pid=232886
Current StackSize limit: 8192 KiB
[startup+0.101047 s]*
/proc/loadavg: 4.07 4.14 4.20 5/262 232890
/proc/meminfo: memFree=122963848/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=43152 memory=10416 CPUtime=0.09 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 2244 0 0 0 7 2 0 0 20 0 1 0 18747737 44187648 2604 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 10788 2604 1346 992 0 2646 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43152 KiB
Current children cumulated memory: 10416 KiB
[startup+0.213907 s]*
/proc/loadavg: 4.23 4.17 4.21 5/262 232890
/proc/meminfo: memFree=122952648/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=61072 memory=29732 CPUtime=0.21 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 7310 0 0 0 16 5 0 0 20 0 1 0 18747737 62537728 7433 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 15268 7433 1648 992 0 7126 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 61072 KiB
Current children cumulated memory: 29732 KiB
[startup+0.314587 s]*
/proc/loadavg: 4.23 4.17 4.21 6/262 232890
/proc/meminfo: memFree=122942708/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=66396 memory=32180 CPUtime=0.31 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 8369 0 0 0 25 6 0 0 20 0 1 0 18747737 67989504 8045 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 16599 8045 1712 992 0 8457 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 66396 KiB
Current children cumulated memory: 32180 KiB
[startup+0.700337 s]
/proc/loadavg: 4.23 4.17 4.21 5/262 232890
/proc/meminfo: memFree=122940776/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=68116 memory=34232 CPUtime=0.68 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 8946 0 0 0 62 6 0 0 20 0 1 0 18747737 69750784 8558 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 17029 8558 1712 992 0 8887 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 68116 KiB
Current children cumulated memory: 34232 KiB
[startup+1.50033 s]
/proc/loadavg: 4.23 4.17 4.21 5/262 232890
/proc/meminfo: memFree=122937388/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=69376 memory=35816 CPUtime=1.47 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 9337 0 0 0 141 6 0 0 20 0 1 0 18747737 71041024 8954 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 17344 8954 1712 992 0 9202 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 69376 KiB
Current children cumulated memory: 35816 KiB
[startup+3.11405 s]
/proc/loadavg: 4.23 4.17 4.21 5/262 232890
/proc/meminfo: memFree=122924696/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=71512 memory=40352 CPUtime=3.09 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 9906 0 0 0 293 16 0 0 20 0 1 0 18747737 73228288 10088 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 17878 10088 1744 992 0 9736 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 71512 KiB
Current children cumulated memory: 40352 KiB
[startup+6.30025 s]
/proc/loadavg: 4.21 4.17 4.21 5/262 232890
/proc/meminfo: memFree=122923360/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=73092 memory=41932 CPUtime=6.27 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 10306 0 0 0 609 18 0 0 20 0 1 0 18747737 74846208 10483 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 18273 10483 1744 992 0 10131 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 73092 KiB
Current children cumulated memory: 41932 KiB
[startup+12.7003 s]
/proc/loadavg: 4.19 4.16 4.21 5/262 232891
/proc/meminfo: memFree=122867340/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=79220 memory=49328 CPUtime=12.66 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 11576 0 0 0 1231 35 0 0 20 0 1 0 18747737 81121280 12332 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 19805 12332 1807 992 0 11663 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 79220 KiB
Current children cumulated memory: 49328 KiB
[startup+25.5003 s]
/proc/loadavg: 4.16 4.16 4.21 5/262 232893
/proc/meminfo: memFree=122776780/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=87160 memory=57140 CPUtime=25.42 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 13488 0 0 0 2500 42 0 0 20 0 1 0 18747737 89251840 14285 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 21790 14285 1839 992 0 13648 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 87160 KiB
Current children cumulated memory: 57140 KiB
[startup+51.114 s]
/proc/loadavg: 4.17 4.16 4.20 5/262 232897
/proc/meminfo: memFree=122605980/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=115360 memory=77092 CPUtime=50.96 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 16436 0 0 0 5010 86 0 0 20 0 1 0 18747737 118128640 19273 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 28840 19273 1839 992 0 20698 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 115360 KiB
Current children cumulated memory: 77092 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.20 5/262 232907
/proc/meminfo: memFree=122378556/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=148964 memory=105724 CPUtime=102.01 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 19986 0 0 0 10056 145 0 0 20 0 1 0 18747737 152539136 26431 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 37241 26431 1839 992 0 29099 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 148964 KiB
Current children cumulated memory: 105724 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.18 5/264 233087
/proc/meminfo: memFree=122082352/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=148964 memory=105724 CPUtime=161.85 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 20013 0 0 0 16006 179 0 0 20 0 1 0 18747737 152539136 26431 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 37241 26431 1839 992 0 29099 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 148964 KiB
Current children cumulated memory: 105724 KiB
[startup+222.3 s]
/proc/loadavg: 4.24 4.17 4.19 5/260 233097
/proc/meminfo: memFree=121632268/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=195776 memory=145084 CPUtime=221.69 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 24753 0 0 0 21874 295 0 0 20 0 1 0 18747737 200474624 36271 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 48944 36271 1839 992 0 40802 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 195776 KiB
Current children cumulated memory: 145084 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.15 4.18 5/246 233166
/proc/meminfo: memFree=121436584/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=202424 memory=151844 CPUtime=281.53 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 27539 0 0 0 27805 348 0 0 20 0 1 0 18747737 207282176 37961 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 50606 37961 1839 992 0 42464 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 202424 KiB
Current children cumulated memory: 151844 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/245 233177
/proc/meminfo: memFree=121235976/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=203508 memory=155384 CPUtime=341.38 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 27953 0 0 0 33739 399 0 0 20 0 1 0 18747737 208392192 38846 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 50877 38846 1839 992 0 42735 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 203508 KiB
Current children cumulated memory: 155384 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/246 233188
/proc/meminfo: memFree=120961264/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=262808 memory=200964 CPUtime=401.22 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 31249 0 0 0 39671 451 0 0 20 0 1 0 18747737 269115392 50241 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 65702 50241 1839 992 0 57560 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 262808 KiB
Current children cumulated memory: 200964 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.13 4.17 5/245 233198
/proc/meminfo: memFree=120762228/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=263344 memory=201756 CPUtime=461.06 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 31428 0 0 0 45638 468 0 0 20 0 1 0 18747737 269664256 50439 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 65836 50439 1839 992 0 57694 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 2.50 3.49 3.88 3/230 234360
/proc/meminfo: memFree=119087652/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=1249280 memory=1109224 CPUtime=3094.01 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 90793 0 0 0 306603 2798 0 0 20 0 1 0 18747737 1279262720 277306 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 312320 277306 1839 992 0 304178 0
Current children cumulated CPU time: 3094.01 s
Current children cumulated vsize: 1249280 KiB
Current children cumulated memory: 1109224 KiB
[startup+3162.3 s]
/proc/loadavg: 2.25 3.23 3.76 3/230 234372
/proc/meminfo: memFree=118491992/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=1283056 memory=1145780 CPUtime=3153.85 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 99731 0 0 0 312540 2845 0 0 20 0 1 0 18747737 1313849344 286445 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 320764 286445 1839 992 0 312622 0
Current children cumulated CPU time: 3153.85 s
Current children cumulated vsize: 1283056 KiB
Current children cumulated memory: 1145780 KiB
[startup+3222.3 s]
/proc/loadavg: 2.12 3.02 3.66 3/229 234382
/proc/meminfo: memFree=118222608/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=1301448 memory=1163936 CPUtime=3213.72 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 104295 0 0 0 318488 2884 0 0 20 0 1 0 18747737 1332682752 290984 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 325362 290984 1839 992 0 317220 0
Current children cumulated CPU time: 3213.72 s
Current children cumulated vsize: 1301448 KiB
Current children cumulated memory: 1163936 KiB
[startup+3282.3 s]
/proc/loadavg: 2.14 2.86 3.56 3/231 234396
/proc/meminfo: memFree=118041000/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=1301448 memory=1163996 CPUtime=3273.59 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 104634 0 0 0 324417 2942 0 0 20 0 1 0 18747737 1332682752 290999 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 325362 290999 1839 992 0 317220 0
Current children cumulated CPU time: 3273.59 s
Current children cumulated vsize: 1301448 KiB
Current children cumulated memory: 1163996 KiB
[startup+3342.3 s]
/proc/loadavg: 2.10 2.72 3.46 3/232 234409
/proc/meminfo: memFree=117947784/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=1301580 memory=1164212 CPUtime=3333.47 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 104782 0 0 0 330381 2966 0 0 20 0 1 0 18747737 1332817920 291053 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 325395 291053 1839 992 0 317253 0
Current children cumulated CPU time: 3333.47 s
Current children cumulated vsize: 1301580 KiB
Current children cumulated memory: 1164212 KiB
[startup+3402.3 s]
/proc/loadavg: 2.08 2.60 3.37 3/231 234419
/proc/meminfo: memFree=117671540/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=1301580 memory=1164476 CPUtime=3393.35 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 105104 0 0 0 336295 3040 0 0 20 0 1 0 18747737 1332817920 291119 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 325395 291119 1839 992 0 317253 0
Current children cumulated CPU time: 3393.35 s
Current children cumulated vsize: 1301580 KiB
Current children cumulated memory: 1164476 KiB
[startup+3462.3 s]
/proc/loadavg: 2.18 2.53 3.30 3/231 234430
/proc/meminfo: memFree=117480000/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=1301580 memory=1164476 CPUtime=3453.21 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 105567 0 0 0 342220 3101 0 0 20 0 1 0 18747737 1332817920 291119 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 325395 291119 1839 992 0 317253 0
Current children cumulated CPU time: 3453.21 s
Current children cumulated vsize: 1301580 KiB
Current children cumulated memory: 1164476 KiB
[startup+3522.3 s]
/proc/loadavg: 2.11 2.45 3.22 3/231 234440
/proc/meminfo: memFree=117331784/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=1301580 memory=1164808 CPUtime=3513.08 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 105919 0 0 0 348156 3152 0 0 20 0 1 0 18747737 1332817920 291202 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 325395 291202 1922 992 0 317253 0
Current children cumulated CPU time: 3513.08 s
Current children cumulated vsize: 1301580 KiB
Current children cumulated memory: 1164808 KiB
[startup+3582.3 s]
/proc/loadavg: 2.15 2.40 3.15 3/232 234835
/proc/meminfo: memFree=117049632/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=1305592 memory=1168560 CPUtime=3572.96 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 107733 0 0 0 354088 3208 0 0 20 0 1 0 18747737 1336926208 292140 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 326398 292140 1922 992 0 318256 0
Current children cumulated CPU time: 3572.96 s
Current children cumulated vsize: 1305592 KiB
Current children cumulated memory: 1168560 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 2.10 2.36 3.12 3/232 234840
/proc/meminfo: memFree=116906824/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=1305592 memory=1168560 CPUtime=3600 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 107960 0 0 0 356772 3228 0 0 20 0 1 0 18747737 1336926208 292140 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 326398 292140 1922 992 0 318256 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1305592 KiB
Current children cumulated memory: 1168560 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.4 s]
# the end of solver process 232889 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3569.69 s, system=32.3137 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 2.10 2.36 3.12 3/232 234840
/proc/meminfo: memFree=116906824/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=1305592 memory=1168560 CPUtime=3600.2 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 107960 0 0 0 356792 3228 0 0 20 0 1 0 18747737 1336926208 292140 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 326398 292140 1922 992 0 318256 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 1305592 KiB
Current children cumulated memory: 1168560 KiB
[startup+3610.4 s]
/proc/loadavg: 2.10 2.36 3.12 3/232 234840
/proc/meminfo: memFree=116904236/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=1305592 memory=1168560 CPUtime=3600.99 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 107960 0 0 0 356870 3229 0 0 20 0 1 0 18747737 1336926208 292140 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 326398 292140 1922 992 0 318256 0
Current children cumulated CPU time: 3600.99 s
Current children cumulated vsize: 1305592 KiB
Current children cumulated memory: 1168560 KiB
[startup+3611.2 s]
/proc/loadavg: 2.09 2.36 3.12 3/232 234840
/proc/meminfo: memFree=116902448/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=1305592 memory=1168560 CPUtime=3601.79 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 107960 0 0 0 356949 3230 0 0 20 0 1 0 18747737 1336926208 292140 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 326398 292140 1922 992 0 318256 0
Current children cumulated CPU time: 3601.79 s
Current children cumulated vsize: 1305592 KiB
Current children cumulated memory: 1168560 KiB
[startup+3611.4 s]
/proc/loadavg: 2.09 2.36 3.12 3/232 234840
/proc/meminfo: memFree=116902448/131655788 swapFree=131060916/131071996
[pid=232889] ppid=232886 vsize=1305592 memory=1168560 CPUtime=3601.99 cores=5,7
/proc/232889/stat : 232889 (roundingsat) R 232886 232889 228468 0 -1 4194304 107961 0 0 0 356969 3230 0 0 20 0 1 0 18747737 1336926208 292140 134679101440 4194304 8254037 140722360749808 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17752064 140722360759136 140722360759398 140722360759398 140722360766409 0
/proc/232889/statm: 326398 292140 1922 992 0 318256 0
Current children cumulated CPU time: 3601.99 s
Current children cumulated vsize: 1305592 KiB
Current children cumulated memory: 1168560 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.4
CPU time (s): 3602.01
CPU user time (s): 3569.69
CPU system time (s): 32.3137
CPU usage (%): 99.7398
Max. virtual memory (cumulated for all children) (KiB): 1305592
Max. memory (cumulated for all children) (KiB): 1168560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.69
system time used= 32.3137
maximum resident set size= 1170912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107961
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= 75
involuntary context switches= 7234
# summary of solver processes directly reported to runsolver:
# pid: 232889
# total CPU time (s): 3602.01
# total CPU user time (s): 3569.69
# total CPU system time (s): 32.3137
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7041 second user time and 34.4099 second system time
The end
Begin job on nodeC011 at 2024-07-24 15:26:19 IDJOB=4457172 IDBENCH=158320 IDSOLVER=3085 FILE ID=nodeC011/4457172-1721827579 RUNJOBID= nodeC011-1721820326-228481 SLURM_JOB_ID= 7891465 Free space on /tmp= 723760 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-4457172-1721827579/watcher-4457172-1721827579 -o /tmp/evaluation-result-4457172-1721827579/solver-4457172-1721827579 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721820326-228481 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457172-1721827579 --lp-cut-gomory=0 HOME/instance-4457172-1721827579.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 89642dc5a75d3fc73d0ef8fe6dbde459 RANDOM SEED=1041322734 nodeC011.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 : 3651.542 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.36 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 : 3667.677 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.35 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.342 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.327 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.35 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 : 3666.029 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.36 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 : 2793.777 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.35 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.504 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.36 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.322 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.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 122970288 kB MemAvailable: 129076756 kB Buffers: 241824 kB Cached: 6693880 kB SwapCached: 112 kB Active: 1695056 kB Inactive: 6440968 kB Active(anon): 6476 kB Inactive(anon): 1246884 kB Active(file): 1688580 kB Inactive(file): 5194084 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131060916 kB Dirty: 73748 kB Writeback: 0 kB AnonPages: 1199976 kB Mapped: 106624 kB Shmem: 52980 kB KReclaimable: 128004 kB Slab: 235212 kB SReclaimable: 128004 kB SUnreclaim: 107208 kB KernelStack: 4240 kB PageTables: 12012 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1676168 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 10912 kB HardwareCorrupted: 0 kB AnonHugePages: 360448 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: 424776 kB DirectMap2M: 46665728 kB DirectMap1G: 89128960 kB Free space on /tmp at the end= 723768 MiB End job on nodeC011 at 2024-07-24 16:26:30