| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.08 | 3609.5 |
| Name | PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-23arraycomm_teq_tvars_less.opb |
| MD5SUM | 7d417cf1b74ab4db87153ce12cf8f72e |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.72208 |
| 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 | 3220 |
| Total number of constraints | 1680 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 92 |
| 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 | 35184372088832 |
| Number of bits of the biggest number in a constraint | 46 |
| Biggest sum of numbers in a constraint | 140737488355327 |
| Number of bits of the biggest sum of numbers | 47 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.01 c #variables 3220 #constraints 3359 0.00/0.01 c rational objective 2.84217e-14 0.09/0.19 c #Conflicts: 1000 | #Constraints: 4359 0.09/0.19 c #Conflicts: 2000 | #Constraints: 5359 0.09/0.19 c INPROCESSING 0.09/0.19 c GARBAGE COLLECT 0.09/0.19 c rational objective 5 0.78/0.85 c #Conflicts: 3000 | #Constraints: 5404 0.78/0.85 c #Conflicts: 4000 | #Constraints: 6405 0.78/0.85 c INPROCESSING 0.78/0.85 c GARBAGE COLLECT 0.78/0.85 c #Conflicts: 5000 | #Constraints: 5859 0.78/0.85 c #Conflicts: 6000 | #Constraints: 6860 0.78/0.85 c INPROCESSING 0.78/0.85 c GARBAGE COLLECT 0.78/0.85 c rational objective 5 2.09/2.10 c #Conflicts: 7000 | #Constraints: 5908 2.09/2.10 c #Conflicts: 8000 | #Constraints: 6909 2.09/2.10 c #Conflicts: 9000 | #Constraints: 7909 2.09/2.10 c INPROCESSING 2.09/2.10 c GARBAGE COLLECT 2.09/2.10 c rational objective 5 3.48/3.52 c #Conflicts: 10000 | #Constraints: 6626 3.48/3.52 c #Conflicts: 11000 | #Constraints: 7626 3.48/3.52 c #Conflicts: 12000 | #Constraints: 8626 3.48/3.52 c INPROCESSING 3.48/3.52 c GARBAGE COLLECT 3.48/3.52 c #Conflicts: 13000 | #Constraints: 7105 3.48/3.52 c #Conflicts: 14000 | #Constraints: 8105 3.48/3.52 c #Conflicts: 15000 | #Constraints: 9105 3.48/3.52 c INPROCESSING 3.48/3.52 c GARBAGE COLLECT 3.48/3.52 c rational objective 5.00181 4.08/4.14 c #Conflicts: 16000 | #Constraints: 7341 4.08/4.14 c #Conflicts: 17000 | #Constraints: 8341 4.08/4.14 c #Conflicts: 18000 | #Constraints: 9341 4.08/4.14 c INPROCESSING 4.08/4.14 c GARBAGE COLLECT 4.08/4.14 c rational objective 5.09114 6.77/6.85 c #Conflicts: 19000 | #Constraints: 7390 6.77/6.85 c #Conflicts: 20000 | #Constraints: 8390 6.77/6.85 c #Conflicts: 21000 | #Constraints: 9390 6.77/6.85 c INPROCESSING 6.77/6.85 c GARBAGE COLLECT 6.77/6.85 c rational objective 5.89411 8.37/8.44 c #Conflicts: 22000 | #Constraints: 7183 8.37/8.44 c #Conflicts: 23000 | #Constraints: 8183 8.37/8.44 c #Conflicts: 24000 | #Constraints: 9183 8.37/8.44 c #Conflicts: 25000 | #Constraints: 10183 8.37/8.44 c INPROCESSING 8.37/8.44 c GARBAGE COLLECT 8.37/8.44 c #Conflicts: 26000 | #Constraints: 7793 8.37/8.44 c #Conflicts: 27000 | #Constraints: 8793 8.37/8.44 c #Conflicts: 28000 | #Constraints: 9793 8.37/8.44 c #Conflicts: 29000 | #Constraints: 10793 8.37/8.44 c INPROCESSING 8.37/8.44 c GARBAGE COLLECT 8.37/8.44 c rational objective 5.95656 9.08/9.12 c #Conflicts: 30000 | #Constraints: 8207 9.08/9.12 c #Conflicts: 31000 | #Constraints: 9207 9.08/9.12 c #Conflicts: 32000 | #Constraints: 10207 9.08/9.12 c #Conflicts: 33000 | #Constraints: 11207 9.08/9.12 c INPROCESSING 9.08/9.12 c GARBAGE COLLECT 9.08/9.12 c rational objective 6.32805 14.76/14.86 c #Conflicts: 34000 | #Constraints: 8455 14.76/14.86 c #Conflicts: 35000 | #Constraints: 9455 14.76/14.86 c #Conflicts: 36000 | #Constraints: 10455 14.76/14.86 c #Conflicts: 37000 | #Constraints: 11455 14.76/14.86 c INPROCESSING 14.76/14.86 c GARBAGE COLLECT 14.76/14.86 c #Conflicts: 38000 | #Constraints: 8454 14.76/14.86 c #Conflicts: 39000 | #Constraints: 9454 14.76/14.86 c #Conflicts: 40000 | #Constraints: 10455 14.76/14.86 c #Conflicts: 41000 | #Constraints: 11455 14.76/14.86 c INPROCESSING 14.76/14.86 c GARBAGE COLLECT 14.76/14.86 c #Conflicts: 42000 | #Constraints: 8251 14.76/14.86 c #Conflicts: 43000 | #Constraints: 9252 14.76/14.86 c #Conflicts: 44000 | #Constraints: 10252 14.76/14.86 c #Conflicts: 45000 | #Constraints: 11253 14.76/14.86 c #Conflicts: 46000 | #Constraints: 12254 14.76/14.86 c INPROCESSING 14.76/14.86 c GARBAGE COLLECT 14.76/14.86 c rational objective 6.49269 17.96/18.00 c #Conflicts: 47000 | #Constraints: 8868 17.96/18.00 c #Conflicts: 48000 | #Constraints: 9869 17.96/18.00 c #Conflicts: 49000 | #Constraints: 10870 17.96/18.00 c #Conflicts: 50000 | #Constraints: 11870 17.96/18.00 c #Conflicts: 51000 | #Constraints: 12870 17.96/18.00 c INPROCESSING 17.96/18.00 c GARBAGE COLLECT 17.96/18.00 c #Conflicts: 52000 | #Constraints: 9278 17.96/18.00 c #Conflicts: 53000 | #Constraints: 10279 17.96/18.00 c #Conflicts: 54000 | #Constraints: 11281 17.96/18.00 c #Conflicts: 55000 | #Constraints: 12281 17.96/18.00 c #Conflicts: 56000 | #Constraints: 13281 17.96/18.00 c INPROCESSING 17.96/18.00 c GARBAGE COLLECT 17.96/18.00 c rational objective 6.00514 31.71/31.84 c #Conflicts: 57000 | #Constraints: 9484 31.71/31.84 c #Conflicts: 58000 | #Constraints: 10484 31.71/31.84 c #Conflicts: 59000 | #Constraints: 11484 31.71/31.84 c #Conflicts: 60000 | #Constraints: 12485 31.71/31.84 c #Conflicts: 61000 | #Constraints: 13485 31.71/31.84 c INPROCESSING 31.71/31.84 c GARBAGE COLLECT 31.71/31.84 c #Conflicts: 62000 | #Constraints: 9484 31.71/31.84 c #Conflicts: 63000 | #Constraints: 10484 31.71/31.84 c #Conflicts: 64000 | #Constraints: 11484 31.71/31.84 c #Conflicts: 65000 | #Constraints: 12484 31.71/31.84 c #Conflicts: 66000 | #Constraints: 13484 31.71/31.84 c INPROCESSING 31.71/31.84 c GARBAGE COLLECT 31.71/31.84 c #Conflicts: 67000 | #Constraints: 9294 31.71/31.84 c #Conflicts: 68000 | #Constraints: 10294 31.71/31.84 c #Conflicts: 69000 | #Constraints: 11295 31.71/31.84 c #Conflicts: 70000 | #Constraints: 12295 31.71/31.84 c #Conflicts: 71000 | #Constraints: 13295 31.71/31.84 c #Conflicts: 72000 | #Constraints: 14296 31.71/31.84 c INPROCESSING 31.71/31.84 c GARBAGE COLLECT 31.71/31.84 c #Conflicts: 73000 | #Constraints: 9893 31.71/31.84 c #Conflicts: 74000 | #Constraints: 10893 31.71/31.84 c #Conflicts: 75000 | #Constraints: 11894 31.71/31.84 c #Conflicts: 76000 | #Constraints: 12895 31.71/31.84 c #Conflicts: 77000 | #Constraints: 13895 31.71/31.84 c #Conflicts: 78000 | #Constraints: 14896 31.71/31.84 c INPROCESSING 31.71/31.84 c GARBAGE COLLECT 31.71/31.84 c #Conflicts: 79000 | #Constraints: 10296 31.71/31.84 c #Conflicts: 80000 | #Constraints: 11296 31.71/31.84 c #Conflicts: 81000 | #Constraints: 12296 31.71/31.84 c #Conflicts: 82000 | #Constraints: 13296 31.71/31.84 c #Conflicts: 83000 | #Constraints: 14296 31.71/31.84 c #Conflicts: 84000 | #Constraints: 15296 31.71/31.84 c INPROCESSING 31.71/31.84 c GARBAGE COLLECT 31.71/31.84 c #Conflicts: 85000 | #Constraints: 10509 31.71/31.84 c #Conflicts: 86000 | #Constraints: 11510 31.71/31.84 c #Conflicts: 87000 | #Constraints: 12511 31.71/31.84 c #Conflicts: 88000 | #Constraints: 13513 31.71/31.84 c #Conflicts: 89000 | #Constraints: 14515 31.71/31.84 c #Conflicts: 90000 | #Constraints: 15517 31.71/31.84 c INPROCESSING 31.71/31.84 c GARBAGE COLLECT 31.71/31.84 c rational objective 6.15841 38.50/38.63 c #Conflicts: 91000 | #Constraints: 10508 38.50/38.63 c #Conflicts: 92000 | #Constraints: 11508 38.50/38.63 c #Conflicts: 93000 | #Constraints: 12508 38.50/38.63 c #Conflicts: 94000 | #Constraints: 13508 38.50/38.63 c #Conflicts: 95000 | #Constraints: 14508 38.50/38.63 c #Conflicts: 96000 | #Constraints: 15508 38.50/38.63 c INPROCESSING 38.50/38.63 c GARBAGE COLLECT 38.50/38.63 c rational objective 6.37943 44.39/44.59 c #Conflicts: 97000 | #Constraints: 10297 44.39/44.59 c #Conflicts: 98000 | #Constraints: 11297 44.39/44.59 c #Conflicts: 99000 | #Constraints: 12297 44.39/44.59 c #Conflicts: 100000 | #Constraints: 13297 44.39/44.59 c #Conflicts: 101000 | #Constraints: 14297 44.39/44.59 c #Conflicts: 102000 | #Constraints: 15298 44.39/44.59 c #Conflicts: 103000 | #Constraints: 16298 44.39/44.59 c INPROCESSING 44.39/44.59 c GARBAGE COLLECT 44.39/44.59 c rational objective 6.42758 45.68/45.84 c #Conflicts: 104000 | #Constraints: 10903 45.68/45.84 c #Conflicts: 105000 | #Constraints: 11903 45.68/45.84 c #Conflicts: 106000 | #Constraints: 12903 45.68/45.84 c #Conflicts: 107000 | #Constraints: 13903 45.68/45.84 c #Conflicts: 108000 | #Constraints: 14903 45.68/45.84 c #Conflicts: 109000 | #Constraints: 15903 45.68/45.84 c #Conflicts: 110000 | #Constraints: 16903 45.68/45.84 c INPROCESSING 45.68/45.84 c GARBAGE COLLECT 45.68/45.84 c rational objective 6.42909 52.08/52.25 c #Conflicts: 111000 | #Constraints: 11296 52.08/52.25 c #Conflicts: 112000 | #Constraints: 12296 52.08/52.25 c #Conflicts: 113000 | #Constraints: 13297 52.08/52.25 c #Conflicts: 114000 | #Constraints: 14297 52.08/52.25 c #Conflicts: 115000 | #Constraints: 15297 52.08/52.25 c #Conflicts: 116000 | #Constraints: 16297 52.08/52.25 c #Conflicts: 117000 | #Constraints: 17298 52.08/52.25 c INPROCESSING 52.08/52.25 c GARBAGE COLLECT 52.08/52.25 c rational objective 6.43069 79.32/79.57 c #Conflicts: 118000 | #Constraints: 11501 79.32/79.57 c #Conflicts: 119000 | #Constraints: 12501 79.32/79.57 c #Conflicts: 120000 | #Constraints: 13501 79.32/79.57 c #Conflicts: 121000 | #Constraints: 14501 79.32/79.57 c #Conflicts: 122000 | #Constraints: 15501 79.32/79.57 c #Conflicts: 123000 | #Constraints: 16501 79.32/79.57 c #Conflicts: 124000 | #Constraints: 17501 79.32/79.57 c INPROCESSING 79.32/79.57 c GARBAGE COLLECT 79.32/79.57 c #Conflicts: 125000 | #Constraints: 11533 79.32/79.57 c #Conflicts: 126000 | #Constraints: 12533 79.32/79.57 c #Conflicts: 127000 | #Constraints: 13533 79.32/79.57 c #Conflicts: 128000 | #Constraints: 14533 79.32/79.57 c #Conflicts: 129000 | #Constraints: 15533 79.32/79.57 c #Conflicts: 130000 | #Constraints: 16533 79.32/79.57 c #Conflicts: 131000 | #Constraints: 17533 79.32/79.57 c INPROCESSING 79.32/79.57 c GARBAGE COLLECT 79.32/79.57 c #Conflicts: 132000 | #Constraints: 11336 79.32/79.57 c #Conflicts: 133000 | #Constraints: 12338 79.32/79.57 c #Conflicts: 134000 | #Constraints: 13338 79.32/79.57 c #Conflicts: 135000 | #Constraints: 14338 79.32/79.57 c #Conflicts: 136000 | #Constraints: 15339 79.32/79.57 c #Conflicts: 137000 | #Constraints: 16340 79.32/79.57 c #Conflicts: 138000 | #Constraints: 17340 79.32/79.57 c #Conflicts: 139000 | #Constraints: 18341 79.32/79.57 c INPROCESSING 79.32/79.57 c GARBAGE COLLECT 79.32/79.57 c #Conflicts: 140000 | #Constraints: 11932 79.32/79.57 c #Conflicts: 141000 | #Constraints: 12932 79.32/79.57 c #Conflicts: 142000 | #Constraints: 13932 79.32/79.57 c #Conflicts: 143000 | #Constraints: 14932 79.32/79.57 c #Conflicts: 144000 | #Constraints: 15933 79.32/79.57 c #Conflicts: 145000 | #Constraints: 16934 79.32/79.57 c #Conflicts: 146000 | #Constraints: 17936 79.32/79.57 c #Conflicts: 147000 | #Constraints: 18939 79.32/79.57 c INPROCESSING 79.32/79.57 c GARBAGE COLLECT 79.32/79.57 c #Conflicts: 148000 | #Constraints: 12368 79.32/79.57 c #Conflicts: 149000 | #Constraints: 13368 79.32/79.57 c #Conflicts: 150000 | #Constraints: 14368 79.32/79.57 c #Conflicts: 151000 | #Constraints: 15368 79.32/79.57 c #Conflicts: 152000 | #Constraints: 16371 79.32/79.57 c #Conflicts: 153000 | #Constraints: 17371 79.32/79.57 c #Conflicts: 154000 | #Constraints: 18371 79.32/79.57 c #Conflicts: 155000 | #Constraints: 19372 79.32/79.57 c INPROCESSING 79.32/79.57 c GARBAGE COLLECT 79.32/79.57 c #Conflicts: 156000 | #Constraints: 12558 79.32/79.57 c #Conflicts: 157000 | #Constraints: 13558 79.32/79.57 c #Conflicts: 158000 | #Constraints: 14558 79.32/79.57 c #Conflicts: 159000 | #Constraints: 15559 79.32/79.57 c #Conflicts: 160000 | #Constraints: 16560 79.32/79.57 c #Conflicts: 161000 | #Constraints: 17560 79.32/79.57 c #Conflicts: 162000 | #Constraints: 18560 79.32/79.57 c #Conflicts: 163000 | #Constraints: 19560 79.32/79.57 c INPROCESSING 79.32/79.57 c GARBAGE COLLECT 79.32/79.57 c #Conflicts: 164000 | #Constraints: 12561 79.32/79.57 c #Conflicts: 165000 | #Constraints: 13562 79.32/79.57 c #Conflicts: 166000 | #Constraints: 14562 79.32/79.57 c #Conflicts: 167000 | #Constraints: 15562 79.32/79.57 c #Conflicts: 168000 | #Constraints: 16564 79.32/79.57 c #Conflicts: 169000 | #Constraints: 17565 79.32/79.57 c #Conflicts: 170000 | #Constraints: 18565 79.32/79.57 c #Conflicts: 171000 | #Constraints: 19565 79.32/79.57 c INPROCESSING 79.32/79.57 c GARBAGE COLLECT 79.32/79.57 c #Conflicts: 172000 | #Constraints: 12329 79.32/79.57 c #Conflicts: 173000 | #Constraints: 13330 79.32/79.57 c #Conflicts: 174000 | #Constraints: 14331 79.32/79.57 c #Conflicts: 175000 | #Constraints: 15332 79.32/79.57 c #Conflicts: 176000 | #Constraints: 16332 79.32/79.57 c #Conflicts: 177000 | #Constraints: 17332 79.32/79.57 c #Conflicts: 178000 | #Constraints: 18332 79.32/79.57 c #Conflicts: 179000 | #Constraints: 19332 79.32/79.57 c #Conflicts: 180000 | #Constraints: 20332 79.32/79.57 c INPROCESSING 79.32/79.57 c GARBAGE COLLECT 79.32/79.57 c #Conflicts: 181000 | #Constraints: 12923 79.32/79.57 c #Conflicts: 182000 | #Constraints: 13923 79.32/79.57 c #Conflicts: 183000 | #Constraints: 14923 79.32/79.57 c #Conflicts: 184000 | #Constraints: 15924 79.32/79.57 c #Conflicts: 185000 | #Constraints: 16924 79.32/79.57 c #Conflicts: 186000 | #Constraints: 17925 79.32/79.57 c #Conflicts: 187000 | #Constraints: 18925 79.32/79.57 c #Conflicts: 188000 | #Constraints: 19929 79.32/79.57 c #Conflicts: 189000 | #Constraints: 20929 79.32/79.57 c INPROCESSING 79.32/79.57 c GARBAGE COLLECT 79.32/79.57 c #Conflicts: 190000 | #Constraints: 13360 79.32/79.57 c #Conflicts: 191000 | #Constraints: 14360 92.89/93.11 c #Conflicts: 192000 | #Constraints: 15360 92.89/93.11 c #Conflicts: 193000 | #Constraints: 16360 92.89/93.11 c #Conflicts: 194000 | #Constraints: 17361 92.89/93.11 c #Conflicts: 195000 | #Constraints: 18361 92.89/93.11 c #Conflicts: 196000 | #Constraints: 19364 92.89/93.11 c #Conflicts: 197000 | #Constraints: 20366 92.89/93.11 c #Conflicts: 198000 | #Constraints: 21368 92.89/93.11 c INPROCESSING 92.89/93.11 c GARBAGE COLLECT 92.89/93.11 c #Conflicts: 199000 | #Constraints: 13584 92.89/93.11 c #Conflicts: 200000 | #Constraints: 14584 92.89/93.11 c #Conflicts: 201000 | #Constraints: 15585 92.89/93.11 c #Conflicts: 202000 | #Constraints: 16587 92.89/93.11 c #Conflicts: 203000 | #Constraints: 17588 92.89/93.11 c #Conflicts: 204000 | #Constraints: 18588 92.89/93.11 c #Conflicts: 205000 | #Constraints: 19590 92.89/93.11 c #Conflicts: 206000 | #Constraints: 20591 92.89/93.11 c #Conflicts: 207000 | #Constraints: 21592 92.89/93.11 c INPROCESSING 92.89/93.11 c GARBAGE COLLECT 92.89/93.11 c #Conflicts: 208000 | #Constraints: 13575 92.89/93.11 c #Conflicts: 209000 | #Constraints: 14576 92.89/93.11 c #Conflicts: 210000 | #Constraints: 15576 92.89/93.11 c #Conflicts: 211000 | #Constraints: 16576 92.89/93.11 c #Conflicts: 212000 | #Constraints: 17576 92.89/93.11 c #Conflicts: 213000 | #Constraints: 18576 92.89/93.11 c #Conflicts: 214000 | #Constraints: 19576 92.89/93.11 c #Conflicts: 215000 | #Constraints: 20576 92.89/93.11 c #Conflicts: 216000 | #Constraints: 21577 92.89/93.11 c INPROCESSING 92.89/93.11 c GARBAGE COLLECT 92.89/93.11 c rational objective 6.43087 105.66/105.95 c #Conflicts: 217000 | #Constraints: 13390 105.66/105.95 c #Conflicts: 218000 | #Constraints: 14390 105.66/105.95 c #Conflicts: 219000 | #Constraints: 15390 105.66/105.95 c #Conflicts: 220000 | #Constraints: 16390 105.66/105.95 c #Conflicts: 221000 | #Constraints: 17390 105.66/105.95 c #Conflicts: 222000 | #Constraints: 18390 105.66/105.95 c #Conflicts: 223000 | #Constraints: 19390 105.66/105.95 c #Conflicts: 224000 | #Constraints: 20391 105.66/105.95 c #Conflicts: 225000 | #Constraints: 21391 105.66/105.95 c #Conflicts: 226000 | #Constraints: 22391 105.66/105.95 c INPROCESSING 105.66/105.95 c GARBAGE COLLECT 105.66/105.95 c rational objective 6.43557 130.71/131.06 c #Conflicts: 227000 | #Constraints: 13981 130.71/131.06 c #Conflicts: 228000 | #Constraints: 14981 130.71/131.06 c #Conflicts: 229000 | #Constraints: 15981 130.71/131.06 c #Conflicts: 230000 | #Constraints: 16981 130.71/131.06 c #Conflicts: 231000 | #Constraints: 17981 130.71/131.06 c #Conflicts: 232000 | #Constraints: 18981 130.71/131.06 c #Conflicts: 233000 | #Constraints: 19981 130.71/131.06 c #Conflicts: 234000 | #Constraints: 20981 130.71/131.06 c #Conflicts: 235000 | #Constraints: 21981 130.71/131.06 c #Conflicts: 236000 | #Constraints: 22981 130.71/131.06 c INPROCESSING 130.71/131.06 c GARBAGE COLLECT 130.71/131.06 c #Conflicts: 237000 | #Constraints: 14374 130.71/131.06 c #Conflicts: 238000 | #Constraints: 15374 130.71/131.06 c #Conflicts: 239000 | #Constraints: 16375 130.71/131.06 c #Conflicts: 240000 | #Constraints: 17375 130.71/131.06 c #Conflicts: 241000 | #Constraints: 18375 130.71/131.06 c #Conflicts: 242000 | #Constraints: 19375 130.71/131.06 c #Conflicts: 243000 | #Constraints: 20375 130.71/131.06 c #Conflicts: 244000 | #Constraints: 21375 130.71/131.06 c #Conflicts: 245000 | #Constraints: 22376 130.71/131.06 c #Conflicts: 246000 | #Constraints: 23376 130.71/131.06 c INPROCESSING 130.71/131.06 c GARBAGE COLLECT 130.71/131.06 c #Conflicts: 247000 | #Constraints: 14583 130.71/131.06 c #Conflicts: 248000 | #Constraints: 15583 130.71/131.06 c #Conflicts: 249000 | #Constraints: 16583 130.71/131.06 c #Conflicts: 250000 | #Constraints: 17583 130.71/131.06 c #Conflicts: 251000 | #Constraints: 18583 130.71/131.06 c #Conflicts: 252000 | #Constraints: 19585 130.71/131.06 c #Conflicts: 253000 | #Constraints: 20585 130.71/131.06 c #Conflicts: 254000 | #Constraints: 21585 130.71/131.06 c #Conflicts: 255000 | #Constraints: 22585 130.71/131.06 c #Conflicts: 256000 | #Constraints: 23585 130.71/131.06 c INPROCESSING 130.71/131.06 c GARBAGE COLLECT 130.71/131.06 c #Conflicts: 257000 | #Constraints: 14582 130.71/131.06 c #Conflicts: 258000 | #Constraints: 15583 130.71/131.06 c #Conflicts: 259000 | #Constraints: 16583 130.71/131.06 c #Conflicts: 260000 | #Constraints: 17584 130.71/131.06 c #Conflicts: 261000 | #Constraints: 18584 130.71/131.06 c #Conflicts: 262000 | #Constraints: 19585 130.71/131.06 c #Conflicts: 263000 | #Constraints: 20585 130.71/131.06 c #Conflicts: 264000 | #Constraints: 21585 130.71/131.06 c #Conflicts: 265000 | #Constraints: 22585 130.71/131.06 c #Conflicts: 266000 | #Constraints: 23585 130.71/131.06 c INPROCESSING 130.71/131.06 c GARBAGE COLLECT 130.71/131.06 c #Conflicts: 267000 | #Constraints: 14380 130.71/131.06 c #Conflicts: 268000 | #Constraints: 15381 130.71/131.06 c #Conflicts: 269000 | #Constraints: 16381 130.71/131.06 c #Conflicts: 270000 | #Constraints: 17381 130.71/131.06 c #Conflicts: 271000 | #Constraints: 18381 130.71/131.06 c #Conflicts: 272000 | #Constraints: 19381 130.71/131.06 c #Conflicts: 273000 | #Constraints: 20381 130.71/131.06 c #Conflicts: 274000 | #Constraints: 21381 130.71/131.06 c #Conflicts: 275000 | #Constraints: 22381 130.71/131.06 c #Conflicts: 276000 | #Constraints: 23381 130.71/131.06 c #Conflicts: 277000 | #Constraints: 24381 130.71/131.06 c INPROCESSING 130.71/131.06 c GARBAGE COLLECT 130.71/131.06 c #Conflicts: 278000 | #Constraints: 14962 130.71/131.06 c #Conflicts: 279000 | #Constraints: 15962 130.71/131.06 c #Conflicts: 280000 | #Constraints: 16963 130.71/131.06 c #Conflicts: 281000 | #Constraints: 17964 130.71/131.06 c #Conflicts: 282000 | #Constraints: 18966 130.71/131.06 c #Conflicts: 283000 | #Constraints: 19967 130.71/131.06 c #Conflicts: 284000 | #Constraints: 20967 130.71/131.06 c #Conflicts: 285000 | #Constraints: 21967 130.71/131.06 c #Conflicts: 286000 | #Constraints: 22967 130.71/131.06 c #Conflicts: 287000 | #Constraints: 23967 130.71/131.06 c #Conflicts: 288000 | #Constraints: 24968 130.71/131.06 c INPROCESSING 130.71/131.06 c GARBAGE COLLECT 130.71/131.06 c #Conflicts: 289000 | #Constraints: 15359 130.71/131.06 c #Conflicts: 290000 | #Constraints: 16360 130.71/131.06 c #Conflicts: 291000 | #Constraints: 17360 130.71/131.06 c #Conflicts: 292000 | #Constraints: 18360 130.71/131.06 c #Conflicts: 293000 | #Constraints: 19361 130.71/131.06 c #Conflicts: 294000 | #Constraints: 20361 130.71/131.06 c #Conflicts: 295000 | #Constraints: 21363 130.71/131.06 c #Conflicts: 296000 | #Constraints: 22363 130.71/131.06 c #Conflicts: 297000 | #Constraints: 23363 130.71/131.06 c #Conflicts: 298000 | #Constraints: 24363 130.71/131.06 c #Conflicts: 299000 | #Constraints: 25363 130.71/131.06 c INPROCESSING 130.71/131.06 c GARBAGE COLLECT 130.71/131.06 c rational objective 6.43589 142.88/143.25 c #Conflicts: 300000 | #Constraints: 15580 142.88/143.25 c #Conflicts: 301000 | #Constraints: 16580 142.88/143.25 c #Conflicts: 302000 | #Constraints: 17580 142.88/143.25 c #Conflicts: 303000 | #Constraints: 18580 142.88/143.25 c #Conflicts: 304000 | #Constraints: 19580 142.88/143.25 c #Conflicts: 305000 | #Constraints: 20580 142.88/143.25 c #Conflicts: 306000 | #Constraints: 21580 142.88/143.25 c #Conflicts: 307000 | #Constraints: 22580 142.88/143.25 c #Conflicts: 308000 | #Constraints: 23580 142.88/143.25 c #Conflicts: 309000 | #Constraints: 24580 142.88/143.25 c #Conflicts: 310000 | #Constraints: 25580 142.88/143.25 c INPROCESSING 142.88/143.25 c GARBAGE COLLECT 142.88/143.25 c rational objective 5.5764 150.07/150.40 c #Conflicts: 311000 | #Constraints: 15590 150.07/150.40 c #Conflicts: 312000 | #Constraints: 16590 150.07/150.40 c #Conflicts: 313000 | #Constraints: 17590 150.07/150.40 c #Conflicts: 314000 | #Constraints: 18590 150.07/150.40 c #Conflicts: 315000 | #Constraints: 19590 150.07/150.40 c #Conflicts: 316000 | #Constraints: 20590 150.07/150.40 c #Conflicts: 317000 | #Constraints: 21590 150.07/150.40 c #Conflicts: 318000 | #Constraints: 22591 150.07/150.40 c #Conflicts: 319000 | #Constraints: 23591 150.07/150.40 c #Conflicts: 320000 | #Constraints: 24592 150.07/150.40 c #Conflicts: 321000 | #Constraints: 25592 150.07/150.40 c INPROCESSING 150.07/150.40 c GARBAGE COLLECT 150.07/150.40 c rational objective 5.74503 155.76/156.11 c #Conflicts: 322000 | #Constraints: 15396 155.76/156.11 c #Conflicts: 323000 | #Constraints: 16397 155.76/156.11 c #Conflicts: 324000 | #Constraints: 17397 155.76/156.11 c #Conflicts: 325000 | #Constraints: 18397 155.76/156.11 c #Conflicts: 326000 | #Constraints: 19397 155.76/156.11 c #Conflicts: 327000 | #Constraints: 20397 155.76/156.11 c #Conflicts: 328000 | #Constraints: 21397 155.76/156.11 c #Conflicts: 329000 | #Constraints: 22398 155.76/156.11 c #Conflicts: 330000 | #Constraints: 23398 155.76/156.11 c #Conflicts: 331000 | #Constraints: 24398 155.76/156.11 c #Conflicts: 332000 | #Constraints: 25399 155.76/156.11 c #Conflicts: 333000 | #Constraints: 26399 155.76/156.11 c INPROCESSING 155.76/156.11 c GARBAGE COLLECT 155.76/156.11 c rational objective 6.06739 212.04/212.59 c #Conflicts: 334000 | #Constraints: 15987 212.04/212.59 c #Conflicts: 335000 | #Constraints: 16988 212.04/212.59 c #Conflicts: 336000 | #Constraints: 17989 212.04/212.59 c #Conflicts: 337000 | #Constraints: 18989 212.04/212.59 c #Conflicts: 338000 | #Constraints: 19989 212.04/212.59 c #Conflicts: 339000 | #Constraints: 20989 212.04/212.59 c #Conflicts: 340000 | #Constraints: 21989 212.04/212.59 c #Conflicts: 341000 | #Constraints: 22989 212.04/212.59 c #Conflicts: 342000 | #Constraints: 23989 212.04/212.59 c #Conflicts: 343000 | #Constraints: 24989 212.04/212.59 c #Conflicts: 344000 | #Constraints: 25989 212.04/212.59 c #Conflicts: 345000 | #Constraints: 26990 212.04/212.59 c INPROCESSING 212.04/212.59 c GARBAGE COLLECT 212.04/212.59 c #Conflicts: 346000 | #Constraints: 16380 212.04/212.59 c #Conflicts: 347000 | #Constraints: 17380 212.04/212.59 c #Conflicts: 348000 | #Constraints: 18381 212.04/212.59 c #Conflicts: 349000 | #Constraints: 19382 212.04/212.59 c #Conflicts: 350000 | #Constraints: 20382 212.04/212.59 c #Conflicts: 351000 | #Constraints: 21383 212.04/212.59 c #Conflicts: 352000 | #Constraints: 22384 212.04/212.59 c #Conflicts: 353000 | #Constraints: 23385 212.04/212.59 c #Conflicts: 354000 | #Constraints: 24385 212.04/212.59 c #Conflicts: 355000 | #Constraints: 25386 212.04/212.59 c #Conflicts: 356000 | #Constraints: 26386 212.04/212.59 c #Conflicts: 357000 | #Constraints: 27387 212.04/212.59 c INPROCESSING 212.04/212.59 c GARBAGE COLLECT 212.04/212.59 c #Conflicts: 358000 | #Constraints: 16586 212.04/212.59 c #Conflicts: 359000 | #Constraints: 17586 212.04/212.59 c #Conflicts: 360000 | #Constraints: 18586 212.04/212.59 c #Conflicts: 361000 | #Constraints: 19587 212.04/212.59 c #Conflicts: 362000 | #Constraints: 20589 212.04/212.59 c #Conflicts: 363000 | #Constraints: 21591 212.04/212.59 c #Conflicts: 364000 | #Constraints: 22591 212.04/212.59 c #Conflicts: 365000 | #Constraints: 23593 212.04/212.59 c #Conflicts: 366000 | #Constraints: 24593 212.04/212.59 c #Conflicts: 367000 | #Constraints: 25593 212.04/212.59 c #Conflicts: 368000 | #Constraints: 26593 212.04/212.59 c #Conflicts: 369000 | #Constraints: 27594 212.04/212.59 c INPROCESSING 212.04/212.59 c GARBAGE COLLECT 212.04/212.59 c #Conflicts: 370000 | #Constraints: 16575 212.04/212.59 c #Conflicts: 371000 | #Constraints: 17579 212.04/212.59 c #Conflicts: 372000 | #Constraints: 18579 212.04/212.59 c #Conflicts: 373000 | #Constraints: 19580 212.04/212.59 c #Conflicts: 374000 | #Constraints: 20580 212.04/212.59 c #Conflicts: 375000 | #Constraints: 21580 212.04/212.59 c #Conflicts: 376000 | #Constraints: 22580 212.04/212.59 c #Conflicts: 377000 | #Constraints: 23581 212.04/212.59 c #Conflicts: 378000 | #Constraints: 24581 212.04/212.59 c #Conflicts: 379000 | #Constraints: 25581 212.04/212.59 c #Conflicts: 380000 | #Constraints: 26582 212.04/212.59 c #Conflicts: 381000 | #Constraints: 27582 212.04/212.59 c INPROCESSING 212.04/212.59 c GARBAGE COLLECT 212.04/212.59 c #Conflicts: 382000 | #Constraints: 16382 212.04/212.59 c #Conflicts: 383000 | #Constraints: 17382 212.04/212.59 c #Conflicts: 384000 | #Constraints: 18382 212.04/212.59 c #Conflicts: 385000 | #Constraints: 19382 212.04/212.59 c #Conflicts: 386000 | #Constraints: 20384 212.04/212.59 c #Conflicts: 387000 | #Constraints: 21385 212.04/212.59 c #Conflicts: 388000 | #Constraints: 22386 212.04/212.59 c #Conflicts: 389000 | #Constraints: 23386 212.04/212.59 c #Conflicts: 390000 | #Constraints: 24387 212.04/212.59 c #Conflicts: 391000 | #Constraints: 25387 212.04/212.59 c #Conflicts: 392000 | #Constraints: 26388 212.04/212.59 c #Conflicts: 393000 | #Constraints: 27389 212.04/212.59 c #Conflicts: 394000 | #Constraints: 28390 212.04/212.59 c INPROCESSING 212.04/212.59 c GARBAGE COLLECT 212.04/212.59 c #Conflicts: 395000 | #Constraints: 16984 212.04/212.59 c #Conflicts: 396000 | #Constraints: 17984 212.04/212.59 c #Conflicts: 397000 | #Constraints: 18985 212.04/212.59 c #Conflicts: 398000 | #Constraints: 19986 212.04/212.59 c #Conflicts: 399000 | #Constraints: 20987 212.04/212.59 c #Conflicts: 400000 | #Constraints: 21988 212.04/212.59 c #Conflicts: 401000 | #Constraints: 22988 212.04/212.59 c #Conflicts: 402000 | #Constraints: 23988 212.04/212.59 c #Conflicts: 403000 | #Constraints: 24988 212.04/212.59 c #Conflicts: 404000 | #Constraints: 25989 212.04/212.59 c #Conflicts: 405000 | #Constraints: 26989 212.04/212.59 c #Conflicts: 406000 | #Constraints: 27990 212.04/212.59 c #Conflicts: 407000 | #Constraints: 28990 212.04/212.59 c INPROCESSING 212.04/212.59 c GARBAGE COLLECT 212.04/212.59 c #Conflicts: 408000 | #Constraints: 17383 293.76/294.49 c #Conflicts: 409000 | #Constraints: 18383 293.76/294.49 c #Conflicts: 410000 | #Constraints: 19383 293.76/294.49 c #Conflicts: 411000 | #Constraints: 20383 293.76/294.49 c #Conflicts: 412000 | #Constraints: 21383 293.76/294.49 c #Conflicts: 413000 | #Constraints: 22383 293.76/294.49 c #Conflicts: 414000 | #Constraints: 23383 293.76/294.49 c #Conflicts: 415000 | #Constraints: 24384 293.76/294.49 c #Conflicts: 416000 | #Constraints: 25385 293.76/294.49 c #Conflicts: 417000 | #Constraints: 26386 293.76/294.49 c #Conflicts: 418000 | #Constraints: 27387 293.76/294.49 c #Conflicts: 419000 | #Constraints: 28387 293.76/294.49 c #Conflicts: 420000 | #Constraints: 29387 293.76/294.49 c INPROCESSING 293.76/294.49 c GARBAGE COLLECT 293.76/294.49 c #Conflicts: 421000 | #Constraints: 17579 293.76/294.49 c #Conflicts: 422000 | #Constraints: 18580 293.76/294.49 c #Conflicts: 423000 | #Constraints: 19581 293.76/294.49 c #Conflicts: 424000 | #Constraints: 20582 293.76/294.49 c #Conflicts: 425000 | #Constraints: 21583 293.76/294.49 c #Conflicts: 426000 | #Constraints: 22584 293.76/294.49 c #Conflicts: 427000 | #Constraints: 23588 293.76/294.49 c #Conflicts: 428000 | #Constraints: 24588 293.76/294.49 c #Conflicts: 429000 | #Constraints: 25589 293.76/294.49 c #Conflicts: 430000 | #Constraints: 26589 293.76/294.49 c #Conflicts: 431000 | #Constraints: 27589 293.76/294.49 c #Conflicts: 432000 | #Constraints: 28591 293.76/294.49 c #Conflicts: 433000 | #Constraints: 29594 293.76/294.49 c INPROCESSING 293.76/294.49 c GARBAGE COLLECT 293.76/294.49 c #Conflicts: 434000 | #Constraints: 17602 293.76/294.49 c #Conflicts: 435000 | #Constraints: 18602 293.76/294.49 c #Conflicts: 436000 | #Constraints: 19602 293.76/294.49 c #Conflicts: 437000 | #Constraints: 20602 293.76/294.49 c #Conflicts: 438000 | #Constraints: 21602 293.76/294.49 c #Conflicts: 439000 | #Constraints: 22602 293.76/294.49 c #Conflicts: 440000 | #Constraints: 23602 293.76/294.49 c #Conflicts: 441000 | #Constraints: 24602 293.76/294.49 c #Conflicts: 442000 | #Constraints: 25602 293.76/294.49 c #Conflicts: 443000 | #Constraints: 26602 293.76/294.49 c #Conflicts: 444000 | #Constraints: 27602 293.76/294.49 c #Conflicts: 445000 | #Constraints: 28602 293.76/294.49 c #Conflicts: 446000 | #Constraints: 29602 293.76/294.49 c INPROCESSING 293.76/294.49 c GARBAGE COLLECT 293.76/294.49 c #Conflicts: 447000 | #Constraints: 17421 293.76/294.49 c #Conflicts: 448000 | #Constraints: 18421 293.76/294.49 c #Conflicts: 449000 | #Constraints: 19422 293.76/294.49 c #Conflicts: 450000 | #Constraints: 20422 293.76/294.49 c #Conflicts: 451000 | #Constraints: 21423 293.76/294.49 c #Conflicts: 452000 | #Constraints: 22424 293.76/294.49 c #Conflicts: 453000 | #Constraints: 23426 293.76/294.49 c #Conflicts: 454000 | #Constraints: 24426 293.76/294.49 c #Conflicts: 455000 | #Constraints: 25429 293.76/294.49 c #Conflicts: 456000 | #Constraints: 26430 293.76/294.49 c #Conflicts: 457000 | #Constraints: 27431 293.76/294.49 c #Conflicts: 458000 | #Constraints: 28432 293.76/294.49 c #Conflicts: 459000 | #Constraints: 29432 293.76/294.49 c #Conflicts: 460000 | #Constraints: 30434 293.76/294.49 c INPROCESSING 293.76/294.49 c GARBAGE COLLECT 293.76/294.49 c #Conflicts: 461000 | #Constraints: 18028 293.76/294.49 c #Conflicts: 462000 | #Constraints: 19029 293.76/294.49 c #Conflicts: 463000 | #Constraints: 20029 293.76/294.49 c #Conflicts: 464000 | #Constraints: 21030 293.76/294.49 c #Conflicts: 465000 | #Constraints: 22031 293.76/294.49 c #Conflicts: 466000 | #Constraints: 23033 293.76/294.49 c #Conflicts: 467000 | #Constraints: 24035 293.76/294.49 c #Conflicts: 468000 | #Constraints: 25036 293.76/294.49 c #Conflicts: 469000 | #Constraints: 26038 293.76/294.49 c #Conflicts: 470000 | #Constraints: 27038 293.76/294.49 c #Conflicts: 471000 | #Constraints: 28038 293.76/294.49 c #Conflicts: 472000 | #Constraints: 29038 293.76/294.49 c #Conflicts: 473000 | #Constraints: 30038 293.76/294.49 c #Conflicts: 474000 | #Constraints: 31038 293.76/294.49 c INPROCESSING 293.76/294.49 c GARBAGE COLLECT 293.76/294.49 c #Conflicts: 475000 | #Constraints: 18444 293.76/294.49 c #Conflicts: 476000 | #Constraints: 19444 293.76/294.49 c #Conflicts: 477000 | #Constraints: 20445 293.76/294.49 c #Conflicts: 478000 | #Constraints: 21445 293.76/294.49 c #Conflicts: 479000 | #Constraints: 22445 293.76/294.49 c #Conflicts: 480000 | #Constraints: 23445 293.76/294.49 c #Conflicts: 481000 | #Constraints: 24446 293.76/294.49 c #Conflicts: 482000 | #Constraints: 25446 293.76/294.49 c #Conflicts: 483000 | #Constraints: 26446 293.76/294.49 c #Conflicts: 484000 | #Constraints: 27446 366.08/366.97 c #Conflicts: 485000 | #Constraints: 28446 366.08/366.97 c #Conflicts: 486000 | #Constraints: 29447 366.08/366.97 c #Conflicts: 487000 | #Constraints: 30447 366.08/366.97 c #Conflicts: 488000 | #Constraints: 31447 366.08/366.97 c INPROCESSING 366.08/366.97 c GARBAGE COLLECT 366.08/366.97 c #Conflicts: 489000 | #Constraints: 18627 366.08/366.97 c #Conflicts: 490000 | #Constraints: 19627 366.08/366.97 c #Conflicts: 491000 | #Constraints: 20627 366.08/366.97 c #Conflicts: 492000 | #Constraints: 21628 366.08/366.97 c #Conflicts: 493000 | #Constraints: 22629 366.08/366.97 c #Conflicts: 494000 | #Constraints: 23629 366.08/366.97 c #Conflicts: 495000 | #Constraints: 24629 366.08/366.97 c #Conflicts: 496000 | #Constraints: 25630 366.08/366.97 c #Conflicts: 497000 | #Constraints: 26630 366.08/366.97 c #Conflicts: 498000 | #Constraints: 27631 366.08/366.97 c #Conflicts: 499000 | #Constraints: 28632 366.08/366.97 c #Conflicts: 500000 | #Constraints: 29637 366.08/366.97 c #Conflicts: 501000 | #Constraints: 30637 366.08/366.97 c #Conflicts: 502000 | #Constraints: 31638 366.08/366.97 c INPROCESSING 366.08/366.97 c GARBAGE COLLECT 366.08/366.97 c #Conflicts: 503000 | #Constraints: 18618 366.08/366.97 c #Conflicts: 504000 | #Constraints: 19620 366.08/366.97 c #Conflicts: 505000 | #Constraints: 20620 366.08/366.97 c #Conflicts: 506000 | #Constraints: 21622 366.08/366.97 c #Conflicts: 507000 | #Constraints: 22622 366.08/366.97 c #Conflicts: 508000 | #Constraints: 23623 366.08/366.97 c #Conflicts: 509000 | #Constraints: 24626 366.08/366.97 c #Conflicts: 510000 | #Constraints: 25627 366.08/366.97 c #Conflicts: 511000 | #Constraints: 26631 366.08/366.97 c #Conflicts: 512000 | #Constraints: 27632 366.08/366.97 c #Conflicts: 513000 | #Constraints: 28633 366.08/366.97 c #Conflicts: 514000 | #Constraints: 29633 366.08/366.97 c #Conflicts: 515000 | #Constraints: 30633 366.08/366.97 c #Conflicts: 516000 | #Constraints: 31634 366.08/366.97 c INPROCESSING 366.08/366.97 c GARBAGE COLLECT 366.08/366.97 c #Conflicts: 517000 | #Constraints: 18421 366.08/366.97 c #Conflicts: 518000 | #Constraints: 19421 366.08/366.97 c #Conflicts: 519000 | #Constraints: 20421 366.08/366.97 c #Conflicts: 520000 | #Constraints: 21421 366.08/366.97 c #Conflicts: 521000 | #Constraints: 22421 366.08/366.97 c #Conflicts: 522000 | #Constraints: 23424 366.08/366.97 c #Conflicts: 523000 | #Constraints: 24424 366.08/366.97 c #Conflicts: 524000 | #Constraints: 25424 366.08/366.97 c #Conflicts: 525000 | #Constraints: 26424 366.08/366.97 c #Conflicts: 526000 | #Constraints: 27425 366.08/366.97 c #Conflicts: 527000 | #Constraints: 28425 366.08/366.97 c #Conflicts: 528000 | #Constraints: 29426 366.08/366.97 c #Conflicts: 529000 | #Constraints: 30426 366.08/366.97 c #Conflicts: 530000 | #Constraints: 31426 366.08/366.97 c #Conflicts: 531000 | #Constraints: 32427 366.08/366.97 c INPROCESSING 366.08/366.97 c GARBAGE COLLECT 366.08/366.97 c #Conflicts: 532000 | #Constraints: 19023 366.08/366.97 c #Conflicts: 533000 | #Constraints: 20023 366.08/366.97 c #Conflicts: 534000 | #Constraints: 21023 366.08/366.97 c #Conflicts: 535000 | #Constraints: 22023 366.08/366.97 c #Conflicts: 536000 | #Constraints: 23024 366.08/366.97 c #Conflicts: 537000 | #Constraints: 24026 366.08/366.97 c #Conflicts: 538000 | #Constraints: 25026 366.08/366.97 c #Conflicts: 539000 | #Constraints: 26031 366.08/366.97 c #Conflicts: 540000 | #Constraints: 27032 366.08/366.97 c #Conflicts: 541000 | #Constraints: 28032 366.08/366.97 c #Conflicts: 542000 | #Constraints: 29032 366.08/366.97 c #Conflicts: 543000 | #Constraints: 30033 366.08/366.97 c #Conflicts: 544000 | #Constraints: 31033 366.08/366.97 c #Conflicts: 545000 | #Constraints: 32033 366.08/366.97 c #Conflicts: 546000 | #Constraints: 33033 366.08/366.97 c INPROCESSING 366.08/366.97 c GARBAGE COLLECT 366.08/366.97 c #Conflicts: 547000 | #Constraints: 19429 366.08/366.97 c #Conflicts: 548000 | #Constraints: 20429 366.08/366.97 c #Conflicts: 549000 | #Constraints: 21429 366.08/366.97 c #Conflicts: 550000 | #Constraints: 22430 366.08/366.97 c #Conflicts: 551000 | #Constraints: 23431 366.08/366.97 c #Conflicts: 552000 | #Constraints: 24431 366.08/366.97 c #Conflicts: 553000 | #Constraints: 25432 366.08/366.97 c #Conflicts: 554000 | #Constraints: 26432 366.08/366.97 c #Conflicts: 555000 | #Constraints: 27432 366.08/366.97 c #Conflicts: 556000 | #Constraints: 28432 366.08/366.97 c #Conflicts: 557000 | #Constraints: 29432 366.08/366.97 c #Conflicts: 558000 | #Constraints: 30433 366.08/366.97 c #Conflicts: 559000 | #Constraints: 31434 366.08/366.97 c #Conflicts: 560000 | #Constraints: 32435 442.59/443.69 c #Conflicts: 561000 | #Constraints: 33436 442.59/443.69 c INPROCESSING 442.59/443.69 c GARBAGE COLLECT 442.59/443.69 c #Conflicts: 562000 | #Constraints: 19620 442.59/443.69 c #Conflicts: 563000 | #Constraints: 20620 442.59/443.69 c #Conflicts: 564000 | #Constraints: 21620 442.59/443.69 c #Conflicts: 565000 | #Constraints: 22621 442.59/443.69 c #Conflicts: 566000 | #Constraints: 23622 442.59/443.69 c #Conflicts: 567000 | #Constraints: 24622 442.59/443.69 c #Conflicts: 568000 | #Constraints: 25623 442.59/443.69 c #Conflicts: 569000 | #Constraints: 26623 442.59/443.69 c #Conflicts: 570000 | #Constraints: 27623 442.59/443.69 c #Conflicts: 571000 | #Constraints: 28623 442.59/443.69 c #Conflicts: 572000 | #Constraints: 29623 442.59/443.69 c #Conflicts: 573000 | #Constraints: 30623 442.59/443.69 c #Conflicts: 574000 | #Constraints: 31624 442.59/443.69 c #Conflicts: 575000 | #Constraints: 32624 442.59/443.69 c #Conflicts: 576000 | #Constraints: 33624 442.59/443.69 c INPROCESSING 442.59/443.69 c GARBAGE COLLECT 442.59/443.69 c #Conflicts: 577000 | #Constraints: 19620 442.59/443.69 c #Conflicts: 578000 | #Constraints: 20621 442.59/443.69 c #Conflicts: 579000 | #Constraints: 21621 442.59/443.69 c #Conflicts: 580000 | #Constraints: 22621 442.59/443.69 c #Conflicts: 581000 | #Constraints: 23622 442.59/443.69 c #Conflicts: 582000 | #Constraints: 24622 442.59/443.69 c #Conflicts: 583000 | #Constraints: 25622 442.59/443.69 c #Conflicts: 584000 | #Constraints: 26622 442.59/443.69 c #Conflicts: 585000 | #Constraints: 27623 442.59/443.69 c #Conflicts: 586000 | #Constraints: 28623 442.59/443.69 c #Conflicts: 587000 | #Constraints: 29624 442.59/443.69 c #Conflicts: 588000 | #Constraints: 30624 442.59/443.69 c #Conflicts: 589000 | #Constraints: 31624 442.59/443.69 c #Conflicts: 590000 | #Constraints: 32625 442.59/443.69 c #Conflicts: 591000 | #Constraints: 33625 442.59/443.69 c INPROCESSING 442.59/443.69 c GARBAGE COLLECT 442.59/443.69 c #Conflicts: 592000 | #Constraints: 19415 442.59/443.69 c #Conflicts: 593000 | #Constraints: 20417 442.59/443.69 c #Conflicts: 594000 | #Constraints: 21417 442.59/443.69 c #Conflicts: 595000 | #Constraints: 22417 442.59/443.69 c #Conflicts: 596000 | #Constraints: 23419 442.59/443.69 c #Conflicts: 597000 | #Constraints: 24419 442.59/443.69 c #Conflicts: 598000 | #Constraints: 25420 442.59/443.69 c #Conflicts: 599000 | #Constraints: 26420 442.59/443.69 c #Conflicts: 600000 | #Constraints: 27421 442.59/443.69 c #Conflicts: 601000 | #Constraints: 28423 442.59/443.69 c #Conflicts: 602000 | #Constraints: 29424 442.59/443.69 c #Conflicts: 603000 | #Constraints: 30426 442.59/443.69 c #Conflicts: 604000 | #Constraints: 31426 442.59/443.69 c #Conflicts: 605000 | #Constraints: 32426 442.59/443.69 c #Conflicts: 606000 | #Constraints: 33426 442.59/443.69 c #Conflicts: 607000 | #Constraints: 34427 442.59/443.69 c INPROCESSING 442.59/443.69 c GARBAGE COLLECT 442.59/443.69 c #Conflicts: 608000 | #Constraints: 20008 442.59/443.69 c #Conflicts: 609000 | #Constraints: 21009 442.59/443.69 c #Conflicts: 610000 | #Constraints: 22009 442.59/443.69 c #Conflicts: 611000 | #Constraints: 23009 442.59/443.69 c #Conflicts: 612000 | #Constraints: 24009 442.59/443.69 c #Conflicts: 613000 | #Constraints: 25009 442.59/443.69 c #Conflicts: 614000 | #Constraints: 26009 442.59/443.69 c #Conflicts: 615000 | #Constraints: 27009 442.59/443.69 c #Conflicts: 616000 | #Constraints: 28009 442.59/443.69 c #Conflicts: 617000 | #Constraints: 29010 442.59/443.69 c #Conflicts: 618000 | #Constraints: 30011 442.59/443.69 c #Conflicts: 619000 | #Constraints: 31011 442.59/443.69 c #Conflicts: 620000 | #Constraints: 32011 442.59/443.69 c #Conflicts: 621000 | #Constraints: 33011 442.59/443.69 c #Conflicts: 622000 | #Constraints: 34012 442.59/443.69 c #Conflicts: 623000 | #Constraints: 35013 442.59/443.69 c INPROCESSING 442.59/443.69 c GARBAGE COLLECT 442.59/443.69 c #Conflicts: 624000 | #Constraints: 20420 442.59/443.69 c #Conflicts: 625000 | #Constraints: 21420 442.59/443.69 c #Conflicts: 626000 | #Constraints: 22421 442.59/443.69 c #Conflicts: 627000 | #Constraints: 23421 442.59/443.69 c #Conflicts: 628000 | #Constraints: 24422 442.59/443.69 c #Conflicts: 629000 | #Constraints: 25422 442.59/443.69 c #Conflicts: 630000 | #Constraints: 26422 442.59/443.69 c #Conflicts: 631000 | #Constraints: 27422 442.59/443.69 c #Conflicts: 632000 | #Constraints: 28422 442.59/443.69 c #Conflicts: 633000 | #Constraints: 29424 442.59/443.69 c #Conflicts: 634000 | #Constraints: 30425 442.59/443.69 c #Conflicts: 635000 | #Constraints: 31425 561.77/563.14 c #Conflicts: 636000 | #Constraints: 32425 561.77/563.14 c #Conflicts: 637000 | #Constraints: 33426 561.77/563.14 c #Conflicts: 638000 | #Constraints: 34426 561.77/563.14 c #Conflicts: 639000 | #Constraints: 35426 561.77/563.14 c INPROCESSING 561.77/563.14 c GARBAGE COLLECT 561.77/563.14 c #Conflicts: 640000 | #Constraints: 20609 561.77/563.14 c #Conflicts: 641000 | #Constraints: 21609 561.77/563.14 c #Conflicts: 642000 | #Constraints: 22610 561.77/563.14 c #Conflicts: 643000 | #Constraints: 23610 561.77/563.14 c #Conflicts: 644000 | #Constraints: 24610 561.77/563.14 c #Conflicts: 645000 | #Constraints: 25610 561.77/563.14 c #Conflicts: 646000 | #Constraints: 26610 561.77/563.14 c #Conflicts: 647000 | #Constraints: 27611 561.77/563.14 c #Conflicts: 648000 | #Constraints: 28612 561.77/563.14 c #Conflicts: 649000 | #Constraints: 29613 561.77/563.14 c #Conflicts: 650000 | #Constraints: 30614 561.77/563.14 c #Conflicts: 651000 | #Constraints: 31614 561.77/563.14 c #Conflicts: 652000 | #Constraints: 32614 561.77/563.14 c #Conflicts: 653000 | #Constraints: 33614 561.77/563.14 c #Conflicts: 654000 | #Constraints: 34614 561.77/563.14 c #Conflicts: 655000 | #Constraints: 35614 561.77/563.14 c INPROCESSING 561.77/563.14 c GARBAGE COLLECT 561.77/563.14 c #Conflicts: 656000 | #Constraints: 20622 561.77/563.14 c #Conflicts: 657000 | #Constraints: 21622 561.77/563.14 c #Conflicts: 658000 | #Constraints: 22624 561.77/563.14 c #Conflicts: 659000 | #Constraints: 23625 561.77/563.14 c #Conflicts: 660000 | #Constraints: 24625 561.77/563.14 c #Conflicts: 661000 | #Constraints: 25626 561.77/563.14 c #Conflicts: 662000 | #Constraints: 26627 561.77/563.14 c #Conflicts: 663000 | #Constraints: 27627 561.77/563.14 c #Conflicts: 664000 | #Constraints: 28628 561.77/563.14 c #Conflicts: 665000 | #Constraints: 29628 561.77/563.14 c #Conflicts: 666000 | #Constraints: 30631 561.77/563.14 c #Conflicts: 667000 | #Constraints: 31632 561.77/563.14 c #Conflicts: 668000 | #Constraints: 32632 561.77/563.14 c #Conflicts: 669000 | #Constraints: 33633 561.77/563.14 c #Conflicts: 670000 | #Constraints: 34634 561.77/563.14 c #Conflicts: 671000 | #Constraints: 35636 561.77/563.14 c INPROCESSING 561.77/563.14 c GARBAGE COLLECT 561.77/563.14 c #Conflicts: 672000 | #Constraints: 20422 561.77/563.14 c #Conflicts: 673000 | #Constraints: 21422 561.77/563.14 c #Conflicts: 674000 | #Constraints: 22423 561.77/563.14 c #Conflicts: 675000 | #Constraints: 23423 561.77/563.14 c #Conflicts: 676000 | #Constraints: 24423 561.77/563.14 c #Conflicts: 677000 | #Constraints: 25423 561.77/563.14 c #Conflicts: 678000 | #Constraints: 26423 561.77/563.14 c #Conflicts: 679000 | #Constraints: 27423 561.77/563.14 c #Conflicts: 680000 | #Constraints: 28423 561.77/563.14 c #Conflicts: 681000 | #Constraints: 29423 561.77/563.14 c #Conflicts: 682000 | #Constraints: 30423 561.77/563.14 c #Conflicts: 683000 | #Constraints: 31423 561.77/563.14 c #Conflicts: 684000 | #Constraints: 32423 561.77/563.14 c #Conflicts: 685000 | #Constraints: 33423 561.77/563.14 c #Conflicts: 686000 | #Constraints: 34423 561.77/563.14 c #Conflicts: 687000 | #Constraints: 35423 561.77/563.14 c #Conflicts: 688000 | #Constraints: 36423 561.77/563.14 c INPROCESSING 561.77/563.14 c GARBAGE COLLECT 561.77/563.14 c #Conflicts: 689000 | #Constraints: 21022 561.77/563.14 c #Conflicts: 690000 | #Constraints: 22022 561.77/563.14 c #Conflicts: 691000 | #Constraints: 23022 561.77/563.14 c #Conflicts: 692000 | #Constraints: 24022 561.77/563.14 c #Conflicts: 693000 | #Constraints: 25022 561.77/563.14 c #Conflicts: 694000 | #Constraints: 26022 561.77/563.14 c #Conflicts: 695000 | #Constraints: 27022 561.77/563.14 c #Conflicts: 696000 | #Constraints: 28022 561.77/563.14 c #Conflicts: 697000 | #Constraints: 29022 561.77/563.14 c #Conflicts: 698000 | #Constraints: 30022 561.77/563.14 c #Conflicts: 699000 | #Constraints: 31022 561.77/563.14 c #Conflicts: 700000 | #Constraints: 32022 561.77/563.14 c #Conflicts: 701000 | #Constraints: 33022 561.77/563.14 c #Conflicts: 702000 | #Constraints: 34022 561.77/563.14 c #Conflicts: 703000 | #Constraints: 35022 561.77/563.14 c #Conflicts: 704000 | #Constraints: 36022 561.77/563.14 c #Conflicts: 705000 | #Constraints: 37022 561.77/563.14 c INPROCESSING 561.77/563.14 c GARBAGE COLLECT 561.77/563.14 c #Conflicts: 706000 | #Constraints: 21418 561.77/563.14 c #Conflicts: 707000 | #Constraints: 22418 561.77/563.14 c #Conflicts: 708000 | #Constraints: 23418 561.77/563.14 c #Conflicts: 709000 | #Constraints: 24418 561.77/563.14 c #Conflicts: 710000 | #Constraints: 25418 561.77/563.14 c #Conflicts: 711000 | #Constraints: 26419 781.15/783.19 c #Conflicts: 712000 | #Constraints: 27419 781.15/783.19 c #Conflicts: 713000 | #Constraints: 28421 781.15/783.19 c #Conflicts: 714000 | #Constraints: 29421 781.15/783.19 c #Conflicts: 715000 | #Constraints: 30425 781.15/783.19 c #Conflicts: 716000 | #Constraints: 31425 781.15/783.19 c #Conflicts: 717000 | #Constraints: 32426 781.15/783.19 c #Conflicts: 718000 | #Constraints: 33426 781.15/783.19 c #Conflicts: 719000 | #Constraints: 34426 781.15/783.19 c #Conflicts: 720000 | #Constraints: 35426 781.15/783.19 c #Conflicts: 721000 | #Constraints: 36426 781.15/783.19 c #Conflicts: 722000 | #Constraints: 37427 781.15/783.19 c INPROCESSING 781.15/783.19 c GARBAGE COLLECT 781.15/783.19 c #Conflicts: 723000 | #Constraints: 21632 781.15/783.19 c #Conflicts: 724000 | #Constraints: 22632 781.15/783.19 c #Conflicts: 725000 | #Constraints: 23632 781.15/783.19 c #Conflicts: 726000 | #Constraints: 24633 781.15/783.19 c #Conflicts: 727000 | #Constraints: 25633 781.15/783.19 c #Conflicts: 728000 | #Constraints: 26633 781.15/783.19 c #Conflicts: 729000 | #Constraints: 27633 781.15/783.19 c #Conflicts: 730000 | #Constraints: 28633 781.15/783.19 c #Conflicts: 731000 | #Constraints: 29634 781.15/783.19 c #Conflicts: 732000 | #Constraints: 30634 781.15/783.19 c #Conflicts: 733000 | #Constraints: 31634 781.15/783.19 c #Conflicts: 734000 | #Constraints: 32634 781.15/783.19 c #Conflicts: 735000 | #Constraints: 33635 781.15/783.19 c #Conflicts: 736000 | #Constraints: 34635 781.15/783.19 c #Conflicts: 737000 | #Constraints: 35638 781.15/783.19 c #Conflicts: 738000 | #Constraints: 36638 781.15/783.19 c #Conflicts: 739000 | #Constraints: 37640 781.15/783.19 c INPROCESSING 781.15/783.19 c GARBAGE COLLECT 781.15/783.19 c #Conflicts: 740000 | #Constraints: 21625 781.15/783.19 c #Conflicts: 741000 | #Constraints: 22626 781.15/783.19 c #Conflicts: 742000 | #Constraints: 23627 781.15/783.19 c #Conflicts: 743000 | #Constraints: 24627 781.15/783.19 c #Conflicts: 744000 | #Constraints: 25628 781.15/783.19 c #Conflicts: 745000 | #Constraints: 26628 781.15/783.19 c #Conflicts: 746000 | #Constraints: 27628 781.15/783.19 c #Conflicts: 747000 | #Constraints: 28628 781.15/783.19 c #Conflicts: 748000 | #Constraints: 29628 781.15/783.19 c #Conflicts: 749000 | #Constraints: 30629 781.15/783.19 c #Conflicts: 750000 | #Constraints: 31629 781.15/783.19 c #Conflicts: 751000 | #Constraints: 32629 781.15/783.19 c #Conflicts: 752000 | #Constraints: 33629 781.15/783.19 c #Conflicts: 753000 | #Constraints: 34629 781.15/783.19 c #Conflicts: 754000 | #Constraints: 35629 781.15/783.19 c #Conflicts: 755000 | #Constraints: 36629 781.15/783.19 c #Conflicts: 756000 | #Constraints: 37629 781.15/783.19 c INPROCESSING 781.15/783.19 c GARBAGE COLLECT 781.15/783.19 c #Conflicts: 757000 | #Constraints: 21422 781.15/783.19 c #Conflicts: 758000 | #Constraints: 22422 781.15/783.19 c #Conflicts: 759000 | #Constraints: 23422 781.15/783.19 c #Conflicts: 760000 | #Constraints: 24422 781.15/783.19 c #Conflicts: 761000 | #Constraints: 25422 781.15/783.19 c #Conflicts: 762000 | #Constraints: 26422 781.15/783.19 c #Conflicts: 763000 | #Constraints: 27422 781.15/783.19 c #Conflicts: 764000 | #Constraints: 28422 781.15/783.19 c #Conflicts: 765000 | #Constraints: 29422 781.15/783.19 c #Conflicts: 766000 | #Constraints: 30422 781.15/783.19 c #Conflicts: 767000 | #Constraints: 31422 781.15/783.19 c #Conflicts: 768000 | #Constraints: 32422 781.15/783.19 c #Conflicts: 769000 | #Constraints: 33422 781.15/783.19 c #Conflicts: 770000 | #Constraints: 34422 781.15/783.19 c #Conflicts: 771000 | #Constraints: 35422 781.15/783.19 c #Conflicts: 772000 | #Constraints: 36422 781.15/783.19 c #Conflicts: 773000 | #Constraints: 37422 781.15/783.19 c #Conflicts: 774000 | #Constraints: 38422 781.15/783.19 c INPROCESSING 781.15/783.19 c GARBAGE COLLECT 781.15/783.19 c #Conflicts: 775000 | #Constraints: 22031 781.15/783.19 c #Conflicts: 776000 | #Constraints: 23031 781.15/783.19 c #Conflicts: 777000 | #Constraints: 24031 781.15/783.19 c #Conflicts: 778000 | #Constraints: 25031 781.15/783.19 c #Conflicts: 779000 | #Constraints: 26031 781.15/783.19 c #Conflicts: 780000 | #Constraints: 27031 781.15/783.19 c #Conflicts: 781000 | #Constraints: 28032 781.15/783.19 c #Conflicts: 782000 | #Constraints: 29033 781.15/783.19 c #Conflicts: 783000 | #Constraints: 30033 781.15/783.19 c #Conflicts: 784000 | #Constraints: 31033 781.15/783.19 c #Conflicts: 785000 | #Constraints: 32033 781.15/783.19 c #Conflicts: 786000 | #Constraints: 33033 781.15/783.19 c #Conflicts: 787000 | #Constraints: 34033 1381.68/1385.24 c #Conflicts: 788000 | #Constraints: 35033 1381.68/1385.24 c #Conflicts: 789000 | #Constraints: 36033 1381.68/1385.24 c #Conflicts: 790000 | #Constraints: 37034 1381.68/1385.24 c #Conflicts: 791000 | #Constraints: 38034 1381.68/1385.24 c #Conflicts: 792000 | #Constraints: 39035 1381.68/1385.24 c INPROCESSING 1381.68/1385.24 c GARBAGE COLLECT 1381.68/1385.24 c #Conflicts: 793000 | #Constraints: 22429 1381.68/1385.24 c #Conflicts: 794000 | #Constraints: 23429 1381.68/1385.24 c #Conflicts: 795000 | #Constraints: 24431 1381.68/1385.24 c #Conflicts: 796000 | #Constraints: 25431 1381.68/1385.24 c #Conflicts: 797000 | #Constraints: 26434 1381.68/1385.24 c #Conflicts: 798000 | #Constraints: 27435 1381.68/1385.24 c #Conflicts: 799000 | #Constraints: 28435 1381.68/1385.24 c #Conflicts: 800000 | #Constraints: 29435 1381.68/1385.24 c #Conflicts: 801000 | #Constraints: 30435 1381.68/1385.24 c #Conflicts: 802000 | #Constraints: 31435 1381.68/1385.24 c #Conflicts: 803000 | #Constraints: 32435 1381.68/1385.24 c #Conflicts: 804000 | #Constraints: 33436 1381.68/1385.24 c #Conflicts: 805000 | #Constraints: 34437 1381.68/1385.24 c #Conflicts: 806000 | #Constraints: 35437 1381.68/1385.24 c #Conflicts: 807000 | #Constraints: 36438 1381.68/1385.24 c #Conflicts: 808000 | #Constraints: 37439 1381.68/1385.24 c #Conflicts: 809000 | #Constraints: 38439 1381.68/1385.24 c #Conflicts: 810000 | #Constraints: 39439 1381.68/1385.24 c INPROCESSING 1381.68/1385.24 c GARBAGE COLLECT 1381.68/1385.24 c #Conflicts: 811000 | #Constraints: 22617 1381.68/1385.24 c #Conflicts: 812000 | #Constraints: 23617 1381.68/1385.24 c #Conflicts: 813000 | #Constraints: 24617 1381.68/1385.24 c #Conflicts: 814000 | #Constraints: 25617 1381.68/1385.24 c #Conflicts: 815000 | #Constraints: 26617 1381.68/1385.24 c #Conflicts: 816000 | #Constraints: 27618 1381.68/1385.24 c #Conflicts: 817000 | #Constraints: 28619 1381.68/1385.24 c #Conflicts: 818000 | #Constraints: 29619 1381.68/1385.24 c #Conflicts: 819000 | #Constraints: 30619 1381.68/1385.24 c #Conflicts: 820000 | #Constraints: 31619 1381.68/1385.24 c #Conflicts: 821000 | #Constraints: 32619 1381.68/1385.24 c #Conflicts: 822000 | #Constraints: 33619 1381.68/1385.24 c #Conflicts: 823000 | #Constraints: 34620 1381.68/1385.24 c #Conflicts: 824000 | #Constraints: 35620 1381.68/1385.24 c #Conflicts: 825000 | #Constraints: 36620 1381.68/1385.24 c #Conflicts: 826000 | #Constraints: 37621 1381.68/1385.24 c #Conflicts: 827000 | #Constraints: 38623 1381.68/1385.24 c #Conflicts: 828000 | #Constraints: 39623 1381.68/1385.24 c #Conflicts: 829000 | #Constraints: 40623 1381.68/1385.24 c #Conflicts: 830000 | #Constraints: 41623 1381.68/1385.24 c #Conflicts: 831000 | #Constraints: 42623 1381.68/1385.24 c #Conflicts: 832000 | #Constraints: 43623 1381.68/1385.24 c #Conflicts: 833000 | #Constraints: 44623 1381.68/1385.24 c #Conflicts: 834000 | #Constraints: 45623 1381.68/1385.24 c #Conflicts: 835000 | #Constraints: 46623 1381.68/1385.24 c #Conflicts: 836000 | #Constraints: 47623 1381.68/1385.24 c #Conflicts: 837000 | #Constraints: 48623 1381.68/1385.24 c #Conflicts: 838000 | #Constraints: 49623 1381.68/1385.24 c #Conflicts: 839000 | #Constraints: 50623 1381.68/1385.24 c #Conflicts: 840000 | #Constraints: 51623 1381.68/1385.24 c #Conflicts: 841000 | #Constraints: 52623 1381.68/1385.24 c #Conflicts: 842000 | #Constraints: 53623 1381.68/1385.24 c #Conflicts: 843000 | #Constraints: 54623 1381.68/1385.24 c #Conflicts: 844000 | #Constraints: 55623 1381.68/1385.24 c #Conflicts: 845000 | #Constraints: 56623 1381.68/1385.24 c #Conflicts: 846000 | #Constraints: 57624 1381.68/1385.24 c #Conflicts: 847000 | #Constraints: 58625 1381.68/1385.24 c #Conflicts: 848000 | #Constraints: 59627 1381.68/1385.24 c #Conflicts: 849000 | #Constraints: 60627 1381.68/1385.24 c #Conflicts: 850000 | #Constraints: 61627 1381.68/1385.24 c #Conflicts: 851000 | #Constraints: 62628 1381.68/1385.24 c #Conflicts: 852000 | #Constraints: 63628 1381.68/1385.24 c #Conflicts: 853000 | #Constraints: 64628 1381.68/1385.24 c #Conflicts: 854000 | #Constraints: 65629 1381.68/1385.24 c #Conflicts: 855000 | #Constraints: 66629 1381.68/1385.24 c #Conflicts: 856000 | #Constraints: 67630 1381.68/1385.24 c #Conflicts: 857000 | #Constraints: 68631 1381.68/1385.24 c #Conflicts: 858000 | #Constraints: 69631 1381.68/1385.24 c #Conflicts: 859000 | #Constraints: 70631 1381.68/1385.24 c #Conflicts: 860000 | #Constraints: 71631 1381.68/1385.24 c #Conflicts: 861000 | #Constraints: 72631 1381.68/1385.24 c #Conflicts: 862000 | #Constraints: 73631 1381.68/1385.24 c #Conflicts: 863000 | #Constraints: 74632 1381.68/1385.24 c #Conflicts: 864000 | #Constraints: 75632 1381.68/1385.24 c #Conflicts: 865000 | #Constraints: 76632 2984.45/2992.15 c #Conflicts: 866000 | #Constraints: 77632 2984.45/2992.15 c #Conflicts: 867000 | #Constraints: 78632 2984.45/2992.15 c #Conflicts: 868000 | #Constraints: 79632 2984.45/2992.15 c #Conflicts: 869000 | #Constraints: 80633 2984.45/2992.15 c #Conflicts: 870000 | #Constraints: 81633 2984.45/2992.15 c #Conflicts: 871000 | #Constraints: 82633 2984.45/2992.15 c #Conflicts: 872000 | #Constraints: 83634 2984.45/2992.15 c #Conflicts: 873000 | #Constraints: 84634 2984.45/2992.15 c #Conflicts: 874000 | #Constraints: 85635 2984.45/2992.15 c #Conflicts: 875000 | #Constraints: 86635 2984.45/2992.15 c #Conflicts: 876000 | #Constraints: 87635 2984.45/2992.15 c #Conflicts: 877000 | #Constraints: 88635 2984.45/2992.15 c #Conflicts: 878000 | #Constraints: 89635 2984.45/2992.15 c #Conflicts: 879000 | #Constraints: 90635 2984.45/2992.15 c #Conflicts: 880000 | #Constraints: 91635 2984.45/2992.15 c #Conflicts: 881000 | #Constraints: 92635 2984.45/2992.15 c #Conflicts: 882000 | #Constraints: 93635 2984.45/2992.15 c #Conflicts: 883000 | #Constraints: 94635 2984.45/2992.15 c #Conflicts: 884000 | #Constraints: 95635 2984.45/2992.15 c #Conflicts: 885000 | #Constraints: 96636 2984.45/2992.15 c #Conflicts: 886000 | #Constraints: 97636 2984.45/2992.15 c #Conflicts: 887000 | #Constraints: 98636 2984.45/2992.15 c #Conflicts: 888000 | #Constraints: 99636 2984.45/2992.15 c #Conflicts: 889000 | #Constraints: 100636 2984.45/2992.15 c #Conflicts: 890000 | #Constraints: 101636 2984.45/2992.15 c #Conflicts: 891000 | #Constraints: 102637 2984.45/2992.15 c #Conflicts: 892000 | #Constraints: 103637 2984.45/2992.15 c #Conflicts: 893000 | #Constraints: 104637 2984.45/2992.15 c #Conflicts: 894000 | #Constraints: 105637 2984.45/2992.15 c #Conflicts: 895000 | #Constraints: 106637 2984.45/2992.15 c #Conflicts: 896000 | #Constraints: 107637 2984.45/2992.15 c #Conflicts: 897000 | #Constraints: 108637 2984.45/2992.15 c #Conflicts: 898000 | #Constraints: 109637 2984.45/2992.15 c #Conflicts: 899000 | #Constraints: 110637 2984.45/2992.15 c #Conflicts: 900000 | #Constraints: 111637 2984.45/2992.15 c #Conflicts: 901000 | #Constraints: 112637 2984.45/2992.15 c #Conflicts: 902000 | #Constraints: 113637 2984.45/2992.15 c INPROCESSING 2984.45/2992.15 c GARBAGE COLLECT 2984.45/2992.15 c #Conflicts: 903000 | #Constraints: 59736 2984.45/2992.15 c #Conflicts: 904000 | #Constraints: 60736 2984.45/2992.15 c #Conflicts: 905000 | #Constraints: 61736 2984.45/2992.15 c #Conflicts: 906000 | #Constraints: 62736 2984.45/2992.15 c #Conflicts: 907000 | #Constraints: 63736 2984.45/2992.15 c #Conflicts: 908000 | #Constraints: 64736 2984.45/2992.15 c #Conflicts: 909000 | #Constraints: 65737 2984.45/2992.15 c #Conflicts: 910000 | #Constraints: 66739 2984.45/2992.15 c #Conflicts: 911000 | #Constraints: 67739 2984.45/2992.15 c #Conflicts: 912000 | #Constraints: 68739 2984.45/2992.15 c #Conflicts: 913000 | #Constraints: 69739 2984.45/2992.15 c #Conflicts: 914000 | #Constraints: 70739 2984.45/2992.15 c #Conflicts: 915000 | #Constraints: 71739 2984.45/2992.15 c #Conflicts: 916000 | #Constraints: 72739 2984.45/2992.15 c #Conflicts: 917000 | #Constraints: 73739 2984.45/2992.15 c #Conflicts: 918000 | #Constraints: 74739 2984.45/2992.15 c #Conflicts: 919000 | #Constraints: 75739 2984.45/2992.15 c #Conflicts: 920000 | #Constraints: 76739 2984.45/2992.15 c #Conflicts: 921000 | #Constraints: 77739 2984.45/2992.15 c INPROCESSING 2984.45/2992.15 c GARBAGE COLLECT 2984.45/2992.15 c #Conflicts: 922000 | #Constraints: 41645 2984.45/2992.15 c #Conflicts: 923000 | #Constraints: 42645 2984.45/2992.15 c #Conflicts: 924000 | #Constraints: 43645 2984.45/2992.15 c #Conflicts: 925000 | #Constraints: 44645 2984.45/2992.15 c #Conflicts: 926000 | #Constraints: 45645 2984.45/2992.15 c #Conflicts: 927000 | #Constraints: 46645 2984.45/2992.15 c #Conflicts: 928000 | #Constraints: 47645 2984.45/2992.15 c #Conflicts: 929000 | #Constraints: 48645 2984.45/2992.15 c #Conflicts: 930000 | #Constraints: 49645 2984.45/2992.15 c #Conflicts: 931000 | #Constraints: 50645 2984.45/2992.15 c #Conflicts: 932000 | #Constraints: 51645 2984.45/2992.15 c #Conflicts: 933000 | #Constraints: 52645 2984.45/2992.15 c #Conflicts: 934000 | #Constraints: 53646 2984.45/2992.15 c #Conflicts: 935000 | #Constraints: 54646 2984.45/2992.15 c #Conflicts: 936000 | #Constraints: 55646 2984.45/2992.15 c #Conflicts: 937000 | #Constraints: 56646 2984.45/2992.15 c #Conflicts: 938000 | #Constraints: 57646 2984.45/2992.15 c #Conflicts: 939000 | #Constraints: 58646 2984.45/2992.15 c #Conflicts: 940000 | #Constraints: 59646 2984.45/2992.15 c INPROCESSING 2984.45/2992.15 c GARBAGE COLLECT 2984.45/2992.15 c #Conflicts: 941000 | #Constraints: 32351 3600.06/3609.50 c #Conflicts: 942000 | #Constraints: 33351 3600.06/3609.50 c #Conflicts: 943000 | #Constraints: 34351 3600.06/3609.50 c #Conflicts: 944000 | #Constraints: 35351 3600.06/3609.50 c #Conflicts: 945000 | #Constraints: 36351 3600.06/3609.50 c #Conflicts: 946000 | #Constraints: 37351 3600.06/3609.50 c #Conflicts: 947000 | #Constraints: 38351 3600.06/3609.50 c #Conflicts: 948000 | #Constraints: 39352 3600.06/3609.50 c #Conflicts: 949000 | #Constraints: 40353 3600.06/3609.50 c #Conflicts: 950000 | #Constraints: 41353 3600.06/3609.50 c #Conflicts: 951000 | #Constraints: 42353 3600.06/3609.50 c #Conflicts: 952000 | #Constraints: 43354 3600.06/3609.50 c #Conflicts: 953000 | #Constraints: 44354 3600.06/3609.50 c #Conflicts: 954000 | #Constraints: 45355 3600.06/3609.50 c #Conflicts: 955000 | #Constraints: 46356 3600.06/3609.50 c #Conflicts: 956000 | #Constraints: 47356 3600.06/3609.50 c #Conflicts: 957000 | #Constraints: 48358 3600.06/3609.50 c #Conflicts: 958000 | #Constraints: 49358 3600.06/3609.50 c #Conflicts: 959000 | #Constraints: 50359 3600.06/3609.50 c #Conflicts: 960000 | #Constraints: 51361 3600.06/3609.50 c INPROCESSING 3600.06/3609.50 c GARBAGE COLLECT 3600.06/3609.50 c #Conflicts: 961000 | #Constraints: 28345 3600.06/3609.50 c #Conflicts: 962000 | #Constraints: 29347 3600.06/3609.50 c #Conflicts: 963000 | #Constraints: 30350 3600.06/3609.50 c #Conflicts: 964000 | #Constraints: 31351 3600.06/3609.50 c #Conflicts: 965000 | #Constraints: 32352 3600.06/3609.50 c #Conflicts: 966000 | #Constraints: 33353 3600.06/3609.50 c #Conflicts: 967000 | #Constraints: 34353 3600.06/3609.50 c #Conflicts: 968000 | #Constraints: 35353 3600.06/3609.50 c #Conflicts: 969000 | #Constraints: 36353 3600.06/3609.50 c #Conflicts: 970000 | #Constraints: 37358 3600.06/3609.50 c #Conflicts: 971000 | #Constraints: 38358 3600.06/3609.50 c #Conflicts: 972000 | #Constraints: 39358 3600.06/3609.50 c #Conflicts: 973000 | #Constraints: 40358 3600.06/3609.50 c #Conflicts: 974000 | #Constraints: 41359 3600.06/3609.50 c #Conflicts: 975000 | #Constraints: 42359 3600.06/3609.50 c #Conflicts: 976000 | #Constraints: 43359 3600.06/3609.50 c #Conflicts: 977000 | #Constraints: 44360 3600.06/3609.50 c #Conflicts: 978000 | #Constraints: 45360 3600.06/3609.50 c #Conflicts: 979000 | #Constraints: 46360 3600.06/3609.50 c #Conflicts: 980000 | #Constraints: 47360 3600.06/3609.50 c INPROCESSING 3600.06/3609.50 c GARBAGE COLLECT 3600.06/3609.50 c #Conflicts: 981000 | #Constraints: 26395 3600.06/3609.50 c #Conflicts: 982000 | #Constraints: 27396 3600.06/3609.50 c #Conflicts: 983000 | #Constraints: 28397 3600.06/3609.50 c #Conflicts: 984000 | #Constraints: 29397 3600.06/3609.50 c #Conflicts: 985000 | #Constraints: 30399 3600.06/3609.50 c #Conflicts: 986000 | #Constraints: 31403 3600.06/3609.50 c #Conflicts: 987000 | #Constraints: 32404 3600.06/3609.50 c #Conflicts: 988000 | #Constraints: 33405 3600.06/3609.50 c #Conflicts: 989000 | #Constraints: 34405 3600.06/3609.50 c #Conflicts: 990000 | #Constraints: 35405 3600.06/3609.50 c #Conflicts: 991000 | #Constraints: 36405 3600.06/3609.50 c #Conflicts: 992000 | #Constraints: 37405 3600.06/3609.50 c #Conflicts: 993000 | #Constraints: 38405 3600.06/3609.50 c #Conflicts: 994000 | #Constraints: 39406 3600.06/3609.50 c #Conflicts: 995000 | #Constraints: 40406 3600.06/3609.50 c #Conflicts: 996000 | #Constraints: 41406 3600.06/3609.50 c #Conflicts: 997000 | #Constraints: 42406 3600.06/3609.50 c #Conflicts: 998000 | #Constraints: 43406 3600.06/3609.50 c #Conflicts: 999000 | #Constraints: 44407 3600.06/3609.50 c #Conflicts: 1000000 | #Constraints: 45407 3600.06/3609.50 c #Conflicts: 1001000 | #Constraints: 46407 3600.06/3609.50 c #Conflicts: 1002000 | #Constraints: 47407 3600.06/3609.50 c #Conflicts: 1003000 | #Constraints: 48408 3600.06/3609.50 c #Conflicts: 1004000 | #Constraints: 49408 3600.06/3609.50 c #Conflicts: 1005000 | #Constraints: 50408 3600.06/3609.50 c #Conflicts: 1006000 | #Constraints: 51410 3600.06/3609.50 c #Conflicts: 1007000 | #Constraints: 52410 3600.06/3609.50 c #Conflicts: 1008000 | #Constraints: 53411 3600.06/3609.50 c #Conflicts: 1009000 | #Constraints: 54411 3600.06/3609.50 c #Conflicts: 1010000 | #Constraints: 55411 3600.06/3609.50 c #Conflicts: 1011000 | #Constraints: 56411 3600.06/3609.50 c #Conflicts: 1012000 | #Constraints: 57413 3600.06/3609.50 c #Conflicts: 1013000 | #Constraints: 58414 3600.06/3609.50 c #Conflicts: 1014000 | #Constraints: 59415 3600.06/3609.50 c #Conflicts: 1015000 | #Constraints: 60416 3600.06/3609.50 c Program interrupted by user. 3600.06/3609.50 c cpu time 3578 s 3600.06/3609.50 c deterministic time 315512155200 3.16e+11 3600.06/3609.50 c optimization time 334.251 s 3600.06/3609.50 c total solve time 3243.74 s 3600.06/3609.50 c core-guided solve time 0 s 3600.06/3609.50 c propagation time 3306.58 s 3600.06/3609.50 c conflict analysis time 111.537 s 3600.06/3609.50 c propagations 49070289 3600.06/3609.50 c resolve steps 5750731 3600.06/3609.50 c decisions 8175098 3600.06/3609.50 c conflicts 1015322 3600.06/3609.50 c restarts 2045 3600.06/3609.50 c inprocessing phases 86 3600.06/3609.50 c input clauses 1334 3600.06/3609.50 c input cardinalities 0 3600.06/3609.50 c input general constraints 2025 3600.06/3609.50 c input average constraint length 3.81 3600.06/3609.50 c input average constraint degree 20949313541.24 3600.06/3609.50 c learned clauses 258395 3600.06/3609.50 c learned cardinalities 3991 3600.06/3609.50 c learned general constraints 753418 3600.06/3609.50 c learned average constraint length 80.75 3600.06/3609.50 c learned average constraint degree 232613135.89 3600.06/3609.50 c watched constraints 696853 3600.06/3609.50 c counting constraints 58590 3600.06/3609.50 c gcd simplifications 47747 3600.06/3609.50 c detected cardinalities 1129 3600.06/3609.50 c weakened non-implied lits 4964948 3600.06/3609.50 c weakened non-implying lits 413680 3600.06/3609.50 c original variables 3220 3600.06/3609.50 c clausal propagations 14296700 3600.06/3609.50 c cardinality propagations 89146 3600.06/3609.50 c watched propagations 8563354 3600.06/3609.50 c counting propagations 25572787 3600.06/3609.50 c watch lookups 55391917856 3600.06/3609.50 c watch backjump lookups 53176685762 3600.06/3609.50 c watch checks 110031015982 3600.06/3609.50 c propagation checks 96545885245 3600.06/3609.50 c constraint additions 249377819 3600.06/3609.50 c trail pops 58259445 3600.06/3609.50 c formula constraints 3359 3600.06/3609.50 c learned constraints 1015200 3600.06/3609.50 c bound constraints 0 3600.06/3609.50 c core-guided constraints 0 3600.06/3609.50 c encountered formula constraints 3222026 3600.06/3609.50 c encountered learned constraints 3528313 3600.06/3609.50 c encountered bound constraints 0 3600.06/3609.50 c encountered core-guided constraints 0 3600.06/3609.50 c LP total time 329.817 s 3600.06/3609.50 c LP solve time 319.78 s 3600.06/3609.50 c LP constraints added 3443 3600.06/3609.50 c LP constraints removed 49 3600.06/3609.50 c LP pivots internal 1016209 3600.06/3609.50 c LP pivots root 751494 3600.06/3609.50 c LP calls 849 3600.06/3609.50 c LP optimalities 298 3600.06/3609.50 c LP no pivot count 95 3600.06/3609.50 c LP infeasibilities 498 3600.06/3609.50 c LP valid Farkas constraints 468 3600.06/3609.50 c LP learned Farkas constraints 122 3600.06/3609.50 c LP basis resets 64 3600.06/3609.50 c LP cycling count 15 3600.06/3609.50 c LP singular count 29 3600.06/3609.50 c LP no primal count 0 3600.06/3609.50 c LP no farkas count 18 3600.06/3609.50 c LP other issue count 2 3600.06/3609.50 c LP Gomory cuts 14 3600.06/3609.50 c LP learned cuts 70 3600.06/3609.50 c LP deleted cuts 49 3600.06/3609.50 c LP encountered Gomory constraints 1 3600.06/3609.50 c LP encountered Farkas constraints 12201 3600.06/3609.50 c LP encountered learned Farkas constraints 3390 3600.06/3609.50 c CG auxiliary variables introduced 0 3600.06/3609.50 c CG solutions found 0 3600.06/3609.50 c CG cores constructed 0 3600.06/3609.50 c CG core cardinality constraints returned 0 3600.06/3609.50 c CG unit cores 0 3600.06/3609.50 c CG single cores 0 3600.06/3609.50 c CG blocks removed during cardinality reduction 0 3600.06/3609.50 c CG first core best 0 3600.06/3609.50 c CG decision core best 0 3600.06/3609.50 c CG core reduction tie 0 3600.06/3609.50 c CG core degree average 0.00 3600.06/3609.50 c CG core slack average 0.00 3600.06/3609.50 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62386 MiB free)
memory of node 1: 64473 MiB (62645 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455842-1721468997/watcher-4455842-1721468997 -o /tmp/evaluation-result-4455842-1721468997/solver-4455842-1721468997 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721465399-1050996 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455842-1721468997.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1053584, runsolver pid=1053581
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 4.04 4.09 4.10 5/257 1053585
/proc/meminfo: memFree=128024028/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=43500 memory=15160 CPUtime=0.09 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 1987 0 0 0 7 2 0 0 20 0 1 0 199066421 44544000 3790 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 10875 3790 1739 922 0 2827 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43500 KiB
Current children cumulated memory: 15160 KiB
[startup+0.205503 s]*
/proc/loadavg: 4.04 4.09 4.10 5/257 1053585
/proc/meminfo: memFree=128022852/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=43856 memory=16008 CPUtime=0.2 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 2144 0 0 0 17 3 0 0 20 0 1 0 199066421 44908544 4002 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 10964 4002 1755 922 0 2916 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43856 KiB
Current children cumulated memory: 16008 KiB
[startup+0.305354 s]*
/proc/loadavg: 4.04 4.09 4.10 5/257 1053585
/proc/meminfo: memFree=128021356/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=44752 memory=16980 CPUtime=0.3 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 2354 0 0 0 25 5 0 0 20 0 1 0 199066421 45826048 4245 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 11188 4245 1804 922 0 3140 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44752 KiB
Current children cumulated memory: 16980 KiB
[startup+0.700196 s]
/proc/loadavg: 4.04 4.09 4.10 6/257 1053585
/proc/meminfo: memFree=128020880/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=45120 memory=17508 CPUtime=0.69 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 2467 0 0 0 59 10 0 0 20 0 1 0 199066421 46202880 4377 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 11280 4377 1804 922 0 3232 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45120 KiB
Current children cumulated memory: 17508 KiB
[startup+1.50019 s]
/proc/loadavg: 4.04 4.09 4.10 5/257 1053585
/proc/meminfo: memFree=128015864/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=46572 memory=18824 CPUtime=1.49 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 2792 0 0 0 135 14 0 0 20 0 1 0 199066421 47689728 4706 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 11643 4706 1804 922 0 3595 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46572 KiB
Current children cumulated memory: 18824 KiB
[startup+3.10448 s]
/proc/loadavg: 4.04 4.09 4.10 5/257 1053632
/proc/meminfo: memFree=128337052/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=47964 memory=20140 CPUtime=3.09 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 3128 0 0 0 288 21 0 0 20 0 1 0 199066421 49115136 5035 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 11991 5035 1804 922 0 3943 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 47964 KiB
Current children cumulated memory: 20140 KiB
[startup+6.30015 s]
/proc/loadavg: 4.04 4.09 4.10 5/257 1053678
/proc/meminfo: memFree=128328988/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=52376 memory=24364 CPUtime=6.28 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 4194 0 0 0 594 34 0 0 20 0 1 0 199066421 53633024 6091 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 13094 6091 1804 922 0 5046 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 52376 KiB
Current children cumulated memory: 24364 KiB
[startup+12.7001 s]
/proc/loadavg: 4.03 4.09 4.10 5/257 1053680
/proc/meminfo: memFree=128313980/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=55660 memory=27908 CPUtime=12.66 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 5080 0 0 0 1208 58 0 0 20 0 1 0 199066421 56995840 6977 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 13915 6977 1836 922 0 5867 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 55660 KiB
Current children cumulated memory: 27908 KiB
[startup+25.5002 s]
/proc/loadavg: 4.03 4.08 4.09 5/257 1053681
/proc/meminfo: memFree=128298120/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=57904 memory=31304 CPUtime=25.43 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 6089 0 0 0 2434 109 0 0 20 0 1 0 199066421 59293696 7826 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 14476 7826 1952 922 0 6428 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 57904 KiB
Current children cumulated memory: 31304 KiB
[startup+51.1057 s]
/proc/loadavg: 4.07 4.09 4.10 5/257 1053685
/proc/meminfo: memFree=128248776/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=67960 memory=40992 CPUtime=50.99 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 9191 0 0 0 4913 186 0 0 20 0 1 0 199066421 69591040 10248 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 16990 10248 1952 922 0 8942 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 67960 KiB
Current children cumulated memory: 40992 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 4.08 4.09 5/257 1053695
/proc/meminfo: memFree=128204168/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=79204 memory=53072 CPUtime=102.07 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 12453 0 0 0 9850 357 0 0 20 0 1 0 199066421 81104896 13268 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 19801 13268 1952 922 0 11753 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 79204 KiB
Current children cumulated memory: 53072 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/257 1053797
/proc/meminfo: memFree=128113224/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=93448 memory=66536 CPUtime=161.94 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 16641 0 0 0 15653 541 0 0 20 0 1 0 199066421 95690752 16634 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 23362 16634 1952 922 0 15314 0
Current children cumulated CPU time: 161.94 s
Current children cumulated vsize: 93448 KiB
Current children cumulated memory: 66536 KiB
[startup+222.3 s]
/proc/loadavg: 4.23 4.13 4.10 5/257 1053808
/proc/meminfo: memFree=128072084/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=93076 memory=66328 CPUtime=221.83 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 17738 0 0 0 21475 708 0 0 20 0 1 0 199066421 95309824 16582 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 23269 16582 1952 922 0 15221 0
Current children cumulated CPU time: 221.83 s
Current children cumulated vsize: 93076 KiB
Current children cumulated memory: 66328 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/257 1053819
/proc/meminfo: memFree=128031288/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=103836 memory=75956 CPUtime=281.69 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 19179 0 0 0 27377 792 0 0 20 0 1 0 199066421 106328064 18989 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 25959 18989 1952 922 0 17911 0
Current children cumulated CPU time: 281.69 s
Current children cumulated vsize: 103836 KiB
Current children cumulated memory: 75956 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/256 1054213
/proc/meminfo: memFree=128014472/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=107900 memory=81088 CPUtime=341.55 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 20092 0 0 0 33276 879 0 0 20 0 1 0 199066421 110489600 20272 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 26975 20272 1952 922 0 18927 0
Current children cumulated CPU time: 341.55 s
Current children cumulated vsize: 107900 KiB
Current children cumulated memory: 81088 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 1054224
/proc/meminfo: memFree=127992284/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=110724 memory=84132 CPUtime=401.39 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 21435 0 0 0 39111 1028 0 0 20 0 1 0 199066421 113381376 21033 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 27681 21033 1952 922 0 19633 0
Current children cumulated CPU time: 401.39 s
Current children cumulated vsize: 110724 KiB
Current children cumulated memory: 84132 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1054237
/proc/meminfo: memFree=127957708/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=114424 memory=87596 CPUtime=461.24 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 23266 0 0 0 44968 1156 0 0 20 0 1 0 199066421 117170176 21899 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 28606 21899 1952 922 0 20558 0
################
# More data... #
################
Current children cumulated memory: 201300 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/255 1055475
/proc/meminfo: memFree=127479864/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=241028 memory=208460 CPUtime=2914.84 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 39834 0 0 0 289495 1989 0 0 20 0 1 0 199066421 246812672 52115 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 60257 52115 1952 922 0 52209 0
Current children cumulated CPU time: 2914.84 s
Current children cumulated vsize: 241028 KiB
Current children cumulated memory: 208460 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 1055485
/proc/meminfo: memFree=127473032/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=241536 memory=208968 CPUtime=2974.67 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 40040 0 0 0 295451 2016 0 0 20 0 1 0 199066421 247332864 52242 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 60384 52242 1952 922 0 52336 0
Current children cumulated CPU time: 2974.67 s
Current children cumulated vsize: 241536 KiB
Current children cumulated memory: 208968 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 1055501
/proc/meminfo: memFree=127466940/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=241536 memory=208968 CPUtime=3034.52 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 40113 0 0 0 301406 2046 0 0 20 0 1 0 199066421 247332864 52242 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 60384 52242 1952 922 0 52336 0
Current children cumulated CPU time: 3034.52 s
Current children cumulated vsize: 241536 KiB
Current children cumulated memory: 208968 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 1055511
/proc/meminfo: memFree=127462944/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=241536 memory=208968 CPUtime=3094.36 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 40188 0 0 0 307360 2076 0 0 20 0 1 0 199066421 247332864 52242 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 60384 52242 1952 922 0 52336 0
Current children cumulated CPU time: 3094.36 s
Current children cumulated vsize: 241536 KiB
Current children cumulated memory: 208968 KiB
[startup+3162.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/257 1055522
/proc/meminfo: memFree=127450516/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=241536 memory=208968 CPUtime=3154.2 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 40266 0 0 0 313323 2097 0 0 20 0 1 0 199066421 247332864 52242 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 60384 52242 1952 922 0 52336 0
Current children cumulated CPU time: 3154.2 s
Current children cumulated vsize: 241536 KiB
Current children cumulated memory: 208968 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 1055533
/proc/meminfo: memFree=127445876/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=241536 memory=208968 CPUtime=3214.02 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 40344 0 0 0 319285 2117 0 0 20 0 1 0 199066421 247332864 52242 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 60384 52242 1952 922 0 52336 0
Current children cumulated CPU time: 3214.02 s
Current children cumulated vsize: 241536 KiB
Current children cumulated memory: 208968 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 1055544
/proc/meminfo: memFree=127435676/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=241536 memory=208968 CPUtime=3273.84 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 40421 0 0 0 325236 2148 0 0 20 0 1 0 199066421 247332864 52242 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 60384 52242 1952 922 0 52336 0
Current children cumulated CPU time: 3273.84 s
Current children cumulated vsize: 241536 KiB
Current children cumulated memory: 208968 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 1055555
/proc/meminfo: memFree=127433240/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=241536 memory=208968 CPUtime=3333.67 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 40502 0 0 0 331196 2171 0 0 20 0 1 0 199066421 247332864 52242 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 60384 52242 1952 922 0 52336 0
Current children cumulated CPU time: 3333.67 s
Current children cumulated vsize: 241536 KiB
Current children cumulated memory: 208968 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 1055565
/proc/meminfo: memFree=127427096/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=241536 memory=208968 CPUtime=3393.48 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 40591 0 0 0 337169 2179 0 0 20 0 1 0 199066421 247332864 52242 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 60384 52242 1952 922 0 52336 0
Current children cumulated CPU time: 3393.48 s
Current children cumulated vsize: 241536 KiB
Current children cumulated memory: 208968 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/255 1055577
/proc/meminfo: memFree=127424524/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=241536 memory=208968 CPUtime=3453.3 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 40683 0 0 0 343142 2188 0 0 20 0 1 0 199066421 247332864 52242 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 60384 52242 1952 922 0 52336 0
Current children cumulated CPU time: 3453.3 s
Current children cumulated vsize: 241536 KiB
Current children cumulated memory: 208968 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/255 1055587
/proc/meminfo: memFree=127423388/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=241536 memory=208968 CPUtime=3513.12 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 40778 0 0 0 349115 2197 0 0 20 0 1 0 199066421 247332864 52242 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 60384 52242 1952 922 0 52336 0
Current children cumulated CPU time: 3513.12 s
Current children cumulated vsize: 241536 KiB
Current children cumulated memory: 208968 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/255 1055597
/proc/meminfo: memFree=127421696/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=241536 memory=208968 CPUtime=3572.94 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 40877 0 0 0 355091 2203 0 0 20 0 1 0 199066421 247332864 52242 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 60384 52242 1952 922 0 52336 0
Current children cumulated CPU time: 3572.94 s
Current children cumulated vsize: 241536 KiB
Current children cumulated memory: 208968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 1055605
/proc/meminfo: memFree=127421040/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=241536 memory=208968 CPUtime=3600.06 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 40879 0 0 0 357799 2207 0 0 20 0 1 0 199066421 247332864 52242 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 60384 52242 1952 922 0 52336 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 241536 KiB
Current children cumulated memory: 208968 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 1053584 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578 s, system=22.077 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 1055605
/proc/meminfo: memFree=127421040/131524600 swapFree=131071996/131071996
[pid=1053584] ppid=1053581 vsize=241536 memory=208968 CPUtime=3600.06 cores=4,6
/proc/1053584/stat : 1053584 (roundingsat) R 1053581 1053584 1050985 0 -1 4194304 40879 0 0 0 357799 2207 0 0 20 0 1 0 199066421 247332864 52242 134679101440 4194304 7968373 140728290170736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20742144 140728290177980 140728290178144 140728290178144 140728290185161 0
/proc/1053584/statm: 60384 52242 1952 922 0 52336 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 241536 KiB
Current children cumulated memory: 208968 KiB
Child status: 0
Real time (s): 3609.5
CPU time (s): 3600.08
CPU user time (s): 3578
CPU system time (s): 22.077
CPU usage (%): 99.7388
Max. virtual memory (cumulated for all children) (KiB): 241536
Max. memory (cumulated for all children) (KiB): 208968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578
system time used= 22.077
maximum resident set size= 208968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40888
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64
involuntary context switches= 2716
# summary of solver processes directly reported to runsolver:
# pid: 1053584
# total CPU time (s): 3600.08
# total CPU user time (s): 3578
# total CPU system time (s): 22.077
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.71458 second user time and 16.8003 second system time
The end
Begin job on nodeC027 at 2024-07-20 11:50:10 IDJOB=4455842 IDBENCH=176033 IDSOLVER=3084 FILE ID=nodeC027/4455842-1721468997 RUNJOBID= nodeC027-1721465399-1050996 SLURM_JOB_ID= 7545716 Free space on /tmp= 890068 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-23arraycomm_teq_tvars_less.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455842-1721468997/watcher-4455842-1721468997 -o /tmp/evaluation-result-4455842-1721468997/solver-4455842-1721468997 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721465399-1050996 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455842-1721468997.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7d417cf1b74ab4db87153ce12cf8f72e RANDOM SEED=298990526 nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3654.431 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.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 : 0xb00002a cpu MHz : 3691.872 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.495 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.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 : 0xb00002a cpu MHz : 3600.567 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3641.328 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.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 : 0xb00002a cpu MHz : 3691.867 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3657.506 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.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 : 0xb00002a cpu MHz : 3600.133 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128033512 kB MemAvailable: 129375064 kB Buffers: 542908 kB Cached: 1641496 kB SwapCached: 0 kB Active: 1043184 kB Inactive: 1832328 kB Active(anon): 1568 kB Inactive(anon): 734796 kB Active(file): 1041616 kB Inactive(file): 1097532 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 15988 kB Writeback: 0 kB AnonPages: 689472 kB Mapped: 116580 kB Shmem: 45912 kB KReclaimable: 84456 kB Slab: 196704 kB SReclaimable: 84456 kB SUnreclaim: 112248 kB KernelStack: 4228 kB PageTables: 10760 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1121328 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 72192 kB HardwareCorrupted: 0 kB AnonHugePages: 542720 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: 193236 kB DirectMap2M: 15308800 kB DirectMap1G: 120586240 kB Free space on /tmp at the end= 890056 MiB End job on nodeC027 at 2024-07-20 12:50:20