| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.02 | 3609.01 |
| Name | PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-23arraycomm_teq_tvars_greater.opb |
| MD5SUM | ea45ea8fc9874a86ca315aec231afca1 |
| 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.64065 |
| 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.39/0.47 c #Conflicts: 1000 | #Constraints: 4359 0.39/0.47 c #Conflicts: 2000 | #Constraints: 5360 0.39/0.47 c INPROCESSING 0.39/0.47 c GARBAGE COLLECT 0.39/0.47 c #Conflicts: 3000 | #Constraints: 5407 0.39/0.47 c #Conflicts: 4000 | #Constraints: 6408 0.39/0.47 c INPROCESSING 0.39/0.47 c GARBAGE COLLECT 0.39/0.47 c rational objective 5 0.68/0.75 c #Conflicts: 5000 | #Constraints: 5853 0.68/0.75 c #Conflicts: 6000 | #Constraints: 6853 0.68/0.75 c INPROCESSING 0.68/0.75 c GARBAGE COLLECT 0.68/0.75 c rational objective 5 0.99/1.06 c #Conflicts: 7000 | #Constraints: 5898 0.99/1.06 c #Conflicts: 8000 | #Constraints: 6899 0.99/1.06 c #Conflicts: 9000 | #Constraints: 7899 0.99/1.06 c INPROCESSING 0.99/1.06 c GARBAGE COLLECT 0.99/1.06 c rational objective 5 4.88/4.99 c #Conflicts: 10000 | #Constraints: 6621 4.88/4.99 c #Conflicts: 11000 | #Constraints: 7621 4.88/4.99 c #Conflicts: 12000 | #Constraints: 8621 4.88/4.99 c INPROCESSING 4.88/4.99 c GARBAGE COLLECT 4.88/4.99 c #Conflicts: 13000 | #Constraints: 7088 4.88/4.99 c #Conflicts: 14000 | #Constraints: 8089 4.88/4.99 c #Conflicts: 15000 | #Constraints: 9089 4.88/4.99 c INPROCESSING 4.88/4.99 c GARBAGE COLLECT 4.88/4.99 c #Conflicts: 16000 | #Constraints: 7353 4.88/4.99 c #Conflicts: 17000 | #Constraints: 8354 4.88/4.99 c #Conflicts: 18000 | #Constraints: 9354 4.88/4.99 c INPROCESSING 4.88/4.99 c GARBAGE COLLECT 4.88/4.99 c #Conflicts: 19000 | #Constraints: 7376 4.88/4.99 c #Conflicts: 20000 | #Constraints: 8376 4.88/4.99 c #Conflicts: 21000 | #Constraints: 9377 4.88/4.99 c INPROCESSING 4.88/4.99 c GARBAGE COLLECT 4.88/4.99 c rational objective 5.00416 6.17/6.25 c #Conflicts: 22000 | #Constraints: 7194 6.17/6.25 c #Conflicts: 23000 | #Constraints: 8194 6.17/6.25 c #Conflicts: 24000 | #Constraints: 9195 6.17/6.25 c #Conflicts: 25000 | #Constraints: 10195 6.17/6.25 c INPROCESSING 6.17/6.25 c GARBAGE COLLECT 6.17/6.25 c #Conflicts: 26000 | #Constraints: 7813 6.17/6.25 c #Conflicts: 27000 | #Constraints: 8814 6.17/6.25 c #Conflicts: 28000 | #Constraints: 9815 6.17/6.25 c #Conflicts: 29000 | #Constraints: 10815 6.17/6.25 c INPROCESSING 6.17/6.25 c GARBAGE COLLECT 6.17/6.25 c rational objective 5.01561 8.17/8.24 c #Conflicts: 30000 | #Constraints: 8234 8.17/8.24 c #Conflicts: 31000 | #Constraints: 9234 8.17/8.24 c #Conflicts: 32000 | #Constraints: 10234 8.17/8.24 c #Conflicts: 33000 | #Constraints: 11234 8.17/8.24 c INPROCESSING 8.17/8.24 c GARBAGE COLLECT 8.17/8.24 c rational objective 5.07816 8.57/8.67 c #Conflicts: 34000 | #Constraints: 8451 8.57/8.67 c #Conflicts: 35000 | #Constraints: 9451 8.57/8.67 c #Conflicts: 36000 | #Constraints: 10451 8.57/8.67 c #Conflicts: 37000 | #Constraints: 11451 8.57/8.67 c INPROCESSING 8.57/8.67 c GARBAGE COLLECT 8.57/8.67 c rational objective 5.11154 10.97/11.01 c #Conflicts: 38000 | #Constraints: 8449 10.97/11.01 c #Conflicts: 39000 | #Constraints: 9449 10.97/11.01 c #Conflicts: 40000 | #Constraints: 10449 10.97/11.01 c #Conflicts: 41000 | #Constraints: 11449 10.97/11.01 c INPROCESSING 10.97/11.01 c GARBAGE COLLECT 10.97/11.01 c rational objective 5.41197 26.93/27.07 c #Conflicts: 42000 | #Constraints: 8266 26.93/27.07 c #Conflicts: 43000 | #Constraints: 9266 26.93/27.07 c #Conflicts: 44000 | #Constraints: 10267 26.93/27.07 c #Conflicts: 45000 | #Constraints: 11267 26.93/27.07 c #Conflicts: 46000 | #Constraints: 12268 26.93/27.07 c INPROCESSING 26.93/27.07 c GARBAGE COLLECT 26.93/27.07 c #Conflicts: 47000 | #Constraints: 8874 26.93/27.07 c #Conflicts: 48000 | #Constraints: 9874 26.93/27.07 c #Conflicts: 49000 | #Constraints: 10875 26.93/27.07 c #Conflicts: 50000 | #Constraints: 11875 26.93/27.07 c #Conflicts: 51000 | #Constraints: 12875 26.93/27.07 c INPROCESSING 26.93/27.07 c GARBAGE COLLECT 26.93/27.07 c #Conflicts: 52000 | #Constraints: 9298 26.93/27.07 c #Conflicts: 53000 | #Constraints: 10298 26.93/27.07 c #Conflicts: 54000 | #Constraints: 11298 26.93/27.07 c #Conflicts: 55000 | #Constraints: 12298 26.93/27.07 c #Conflicts: 56000 | #Constraints: 13298 26.93/27.07 c INPROCESSING 26.93/27.07 c GARBAGE COLLECT 26.93/27.07 c #Conflicts: 57000 | #Constraints: 9499 26.93/27.07 c #Conflicts: 58000 | #Constraints: 10499 26.93/27.07 c #Conflicts: 59000 | #Constraints: 11499 26.93/27.07 c #Conflicts: 60000 | #Constraints: 12500 26.93/27.07 c #Conflicts: 61000 | #Constraints: 13501 26.93/27.07 c INPROCESSING 26.93/27.07 c GARBAGE COLLECT 26.93/27.07 c #Conflicts: 62000 | #Constraints: 9511 26.93/27.07 c #Conflicts: 63000 | #Constraints: 10511 26.93/27.07 c #Conflicts: 64000 | #Constraints: 11512 26.93/27.07 c #Conflicts: 65000 | #Constraints: 12513 26.93/27.07 c #Conflicts: 66000 | #Constraints: 13513 26.93/27.07 c INPROCESSING 26.93/27.07 c GARBAGE COLLECT 26.93/27.07 c #Conflicts: 67000 | #Constraints: 9331 26.93/27.07 c #Conflicts: 68000 | #Constraints: 10331 26.93/27.07 c #Conflicts: 69000 | #Constraints: 11331 26.93/27.07 c #Conflicts: 70000 | #Constraints: 12332 26.93/27.07 c #Conflicts: 71000 | #Constraints: 13335 26.93/27.07 c #Conflicts: 72000 | #Constraints: 14336 26.93/27.07 c INPROCESSING 26.93/27.07 c GARBAGE COLLECT 26.93/27.07 c #Conflicts: 73000 | #Constraints: 9914 26.93/27.07 c #Conflicts: 74000 | #Constraints: 10914 26.93/27.07 c #Conflicts: 75000 | #Constraints: 11914 26.93/27.07 c #Conflicts: 76000 | #Constraints: 12914 26.93/27.07 c #Conflicts: 77000 | #Constraints: 13914 26.93/27.07 c #Conflicts: 78000 | #Constraints: 14914 26.93/27.07 c INPROCESSING 26.93/27.07 c GARBAGE COLLECT 26.93/27.07 c rational objective 5.10104 29.03/29.18 c #Conflicts: 79000 | #Constraints: 10321 29.03/29.18 c #Conflicts: 80000 | #Constraints: 11321 29.03/29.18 c #Conflicts: 81000 | #Constraints: 12321 29.03/29.18 c #Conflicts: 82000 | #Constraints: 13321 29.03/29.18 c #Conflicts: 83000 | #Constraints: 14321 29.03/29.18 c #Conflicts: 84000 | #Constraints: 15321 29.03/29.18 c INPROCESSING 29.03/29.18 c GARBAGE COLLECT 29.03/29.18 c rational objective 6.70323 32.52/32.65 c #Conflicts: 85000 | #Constraints: 10525 32.52/32.65 c #Conflicts: 86000 | #Constraints: 11525 32.52/32.65 c #Conflicts: 87000 | #Constraints: 12525 32.52/32.65 c #Conflicts: 88000 | #Constraints: 13525 32.52/32.65 c #Conflicts: 89000 | #Constraints: 14525 32.52/32.65 c #Conflicts: 90000 | #Constraints: 15526 32.52/32.65 c INPROCESSING 32.52/32.65 c GARBAGE COLLECT 32.52/32.65 c rational objective 6.77076 33.52/33.61 c #Conflicts: 91000 | #Constraints: 10533 33.52/33.61 c #Conflicts: 92000 | #Constraints: 11533 33.52/33.61 c #Conflicts: 93000 | #Constraints: 12533 33.52/33.61 c #Conflicts: 94000 | #Constraints: 13533 33.52/33.61 c #Conflicts: 95000 | #Constraints: 14533 33.52/33.61 c #Conflicts: 96000 | #Constraints: 15533 33.52/33.61 c INPROCESSING 33.52/33.61 c GARBAGE COLLECT 33.52/33.61 c rational objective 6.77076 54.47/54.61 c #Conflicts: 97000 | #Constraints: 10331 54.47/54.61 c #Conflicts: 98000 | #Constraints: 11332 54.47/54.61 c #Conflicts: 99000 | #Constraints: 12332 54.47/54.61 c #Conflicts: 100000 | #Constraints: 13332 54.47/54.61 c #Conflicts: 101000 | #Constraints: 14332 54.47/54.61 c #Conflicts: 102000 | #Constraints: 15332 54.47/54.61 c #Conflicts: 103000 | #Constraints: 16333 54.47/54.61 c INPROCESSING 54.47/54.61 c GARBAGE COLLECT 54.47/54.61 c #Conflicts: 104000 | #Constraints: 10948 54.47/54.61 c #Conflicts: 105000 | #Constraints: 11948 54.47/54.61 c #Conflicts: 106000 | #Constraints: 12951 54.47/54.61 c #Conflicts: 107000 | #Constraints: 13953 54.47/54.61 c #Conflicts: 108000 | #Constraints: 14954 54.47/54.61 c #Conflicts: 109000 | #Constraints: 15954 54.47/54.61 c #Conflicts: 110000 | #Constraints: 16954 54.47/54.61 c INPROCESSING 54.47/54.61 c GARBAGE COLLECT 54.47/54.61 c #Conflicts: 111000 | #Constraints: 11369 54.47/54.61 c #Conflicts: 112000 | #Constraints: 12369 54.47/54.61 c #Conflicts: 113000 | #Constraints: 13369 54.47/54.61 c #Conflicts: 114000 | #Constraints: 14373 54.47/54.61 c #Conflicts: 115000 | #Constraints: 15373 54.47/54.61 c #Conflicts: 116000 | #Constraints: 16374 54.47/54.61 c #Conflicts: 117000 | #Constraints: 17377 54.47/54.61 c INPROCESSING 54.47/54.61 c GARBAGE COLLECT 54.47/54.61 c #Conflicts: 118000 | #Constraints: 11561 54.47/54.61 c #Conflicts: 119000 | #Constraints: 12561 54.47/54.61 c #Conflicts: 120000 | #Constraints: 13561 54.47/54.61 c #Conflicts: 121000 | #Constraints: 14562 54.47/54.61 c #Conflicts: 122000 | #Constraints: 15562 54.47/54.61 c #Conflicts: 123000 | #Constraints: 16563 54.47/54.61 c #Conflicts: 124000 | #Constraints: 17564 54.47/54.61 c INPROCESSING 54.47/54.61 c GARBAGE COLLECT 54.47/54.61 c #Conflicts: 125000 | #Constraints: 11550 54.47/54.61 c #Conflicts: 126000 | #Constraints: 12550 54.47/54.61 c #Conflicts: 127000 | #Constraints: 13550 54.47/54.61 c #Conflicts: 128000 | #Constraints: 14550 54.47/54.61 c #Conflicts: 129000 | #Constraints: 15552 54.47/54.61 c #Conflicts: 130000 | #Constraints: 16552 54.47/54.61 c #Conflicts: 131000 | #Constraints: 17552 54.47/54.61 c INPROCESSING 54.47/54.61 c GARBAGE COLLECT 54.47/54.61 c #Conflicts: 132000 | #Constraints: 11358 54.47/54.61 c #Conflicts: 133000 | #Constraints: 12359 54.47/54.61 c #Conflicts: 134000 | #Constraints: 13359 54.47/54.61 c #Conflicts: 135000 | #Constraints: 14360 54.47/54.61 c #Conflicts: 136000 | #Constraints: 15362 54.47/54.61 c #Conflicts: 137000 | #Constraints: 16363 54.47/54.61 c #Conflicts: 138000 | #Constraints: 17363 54.47/54.61 c #Conflicts: 139000 | #Constraints: 18363 54.47/54.61 c INPROCESSING 54.47/54.61 c GARBAGE COLLECT 54.47/54.61 c #Conflicts: 140000 | #Constraints: 11965 54.47/54.61 c #Conflicts: 141000 | #Constraints: 12965 54.47/54.61 c #Conflicts: 142000 | #Constraints: 13966 54.47/54.61 c #Conflicts: 143000 | #Constraints: 14967 54.47/54.61 c #Conflicts: 144000 | #Constraints: 15967 54.47/54.61 c #Conflicts: 145000 | #Constraints: 16968 54.47/54.61 c #Conflicts: 146000 | #Constraints: 17968 54.47/54.61 c #Conflicts: 147000 | #Constraints: 18968 54.47/54.61 c INPROCESSING 54.47/54.61 c GARBAGE COLLECT 54.47/54.61 c rational objective 5.73594 63.65/63.87 c #Conflicts: 148000 | #Constraints: 12378 63.65/63.87 c #Conflicts: 149000 | #Constraints: 13378 63.65/63.87 c #Conflicts: 150000 | #Constraints: 14378 63.65/63.87 c #Conflicts: 151000 | #Constraints: 15378 63.65/63.87 c #Conflicts: 152000 | #Constraints: 16378 63.65/63.87 c #Conflicts: 153000 | #Constraints: 17379 63.65/63.87 c #Conflicts: 154000 | #Constraints: 18379 63.65/63.87 c #Conflicts: 155000 | #Constraints: 19380 63.65/63.87 c INPROCESSING 63.65/63.87 c GARBAGE COLLECT 63.65/63.87 c rational objective 6.1291 122.41/122.72 c #Conflicts: 156000 | #Constraints: 12563 122.41/122.72 c #Conflicts: 157000 | #Constraints: 13563 122.41/122.72 c #Conflicts: 158000 | #Constraints: 14563 122.41/122.72 c #Conflicts: 159000 | #Constraints: 15563 122.41/122.72 c #Conflicts: 160000 | #Constraints: 16563 122.41/122.72 c #Conflicts: 161000 | #Constraints: 17563 122.41/122.72 c #Conflicts: 162000 | #Constraints: 18564 122.41/122.72 c #Conflicts: 163000 | #Constraints: 19564 122.41/122.72 c INPROCESSING 122.41/122.72 c GARBAGE COLLECT 122.41/122.72 c #Conflicts: 164000 | #Constraints: 12564 122.41/122.72 c #Conflicts: 165000 | #Constraints: 13565 122.41/122.72 c #Conflicts: 166000 | #Constraints: 14565 122.41/122.72 c #Conflicts: 167000 | #Constraints: 15566 122.41/122.72 c #Conflicts: 168000 | #Constraints: 16566 122.41/122.72 c #Conflicts: 169000 | #Constraints: 17566 122.41/122.72 c #Conflicts: 170000 | #Constraints: 18567 122.41/122.72 c #Conflicts: 171000 | #Constraints: 19567 122.41/122.72 c INPROCESSING 122.41/122.72 c GARBAGE COLLECT 122.41/122.72 c #Conflicts: 172000 | #Constraints: 12363 122.41/122.72 c #Conflicts: 173000 | #Constraints: 13363 122.41/122.72 c #Conflicts: 174000 | #Constraints: 14364 122.41/122.72 c #Conflicts: 175000 | #Constraints: 15364 122.41/122.72 c #Conflicts: 176000 | #Constraints: 16364 122.41/122.72 c #Conflicts: 177000 | #Constraints: 17364 122.41/122.72 c #Conflicts: 178000 | #Constraints: 18364 122.41/122.72 c #Conflicts: 179000 | #Constraints: 19364 122.41/122.72 c #Conflicts: 180000 | #Constraints: 20365 122.41/122.72 c INPROCESSING 122.41/122.72 c GARBAGE COLLECT 122.41/122.72 c #Conflicts: 181000 | #Constraints: 12968 122.41/122.72 c #Conflicts: 182000 | #Constraints: 13968 122.41/122.72 c #Conflicts: 183000 | #Constraints: 14970 122.41/122.72 c #Conflicts: 184000 | #Constraints: 15971 122.41/122.72 c #Conflicts: 185000 | #Constraints: 16971 122.41/122.72 c #Conflicts: 186000 | #Constraints: 17971 122.41/122.72 c #Conflicts: 187000 | #Constraints: 18971 122.41/122.72 c #Conflicts: 188000 | #Constraints: 19971 122.41/122.72 c #Conflicts: 189000 | #Constraints: 20971 122.41/122.72 c INPROCESSING 122.41/122.72 c GARBAGE COLLECT 122.41/122.72 c #Conflicts: 190000 | #Constraints: 13376 122.41/122.72 c #Conflicts: 191000 | #Constraints: 14376 122.41/122.72 c #Conflicts: 192000 | #Constraints: 15376 122.41/122.72 c #Conflicts: 193000 | #Constraints: 16377 122.41/122.72 c #Conflicts: 194000 | #Constraints: 17377 122.41/122.72 c #Conflicts: 195000 | #Constraints: 18377 122.41/122.72 c #Conflicts: 196000 | #Constraints: 19377 122.41/122.72 c #Conflicts: 197000 | #Constraints: 20377 122.41/122.72 c #Conflicts: 198000 | #Constraints: 21377 122.41/122.72 c INPROCESSING 122.41/122.72 c GARBAGE COLLECT 122.41/122.72 c #Conflicts: 199000 | #Constraints: 13595 122.41/122.72 c #Conflicts: 200000 | #Constraints: 14596 122.41/122.72 c #Conflicts: 201000 | #Constraints: 15597 122.41/122.72 c #Conflicts: 202000 | #Constraints: 16599 122.41/122.72 c #Conflicts: 203000 | #Constraints: 17599 122.41/122.72 c #Conflicts: 204000 | #Constraints: 18599 122.41/122.72 c #Conflicts: 205000 | #Constraints: 19599 122.41/122.72 c #Conflicts: 206000 | #Constraints: 20600 122.41/122.72 c #Conflicts: 207000 | #Constraints: 21600 122.41/122.72 c INPROCESSING 122.41/122.72 c GARBAGE COLLECT 122.41/122.72 c #Conflicts: 208000 | #Constraints: 13592 122.41/122.72 c #Conflicts: 209000 | #Constraints: 14592 122.41/122.72 c #Conflicts: 210000 | #Constraints: 15592 122.41/122.72 c #Conflicts: 211000 | #Constraints: 16592 122.41/122.72 c #Conflicts: 212000 | #Constraints: 17592 122.41/122.72 c #Conflicts: 213000 | #Constraints: 18593 122.41/122.72 c #Conflicts: 214000 | #Constraints: 19593 122.41/122.72 c #Conflicts: 215000 | #Constraints: 20593 122.41/122.72 c #Conflicts: 216000 | #Constraints: 21597 122.41/122.72 c INPROCESSING 122.41/122.72 c GARBAGE COLLECT 122.41/122.72 c #Conflicts: 217000 | #Constraints: 13401 122.41/122.72 c #Conflicts: 218000 | #Constraints: 14401 122.41/122.72 c #Conflicts: 219000 | #Constraints: 15401 122.41/122.72 c #Conflicts: 220000 | #Constraints: 16402 122.41/122.72 c #Conflicts: 221000 | #Constraints: 17403 122.41/122.72 c #Conflicts: 222000 | #Constraints: 18403 122.41/122.72 c #Conflicts: 223000 | #Constraints: 19403 122.41/122.72 c #Conflicts: 224000 | #Constraints: 20404 122.41/122.72 c #Conflicts: 225000 | #Constraints: 21405 122.41/122.72 c #Conflicts: 226000 | #Constraints: 22405 122.41/122.72 c INPROCESSING 122.41/122.72 c GARBAGE COLLECT 122.41/122.72 c #Conflicts: 227000 | #Constraints: 14006 122.41/122.72 c #Conflicts: 228000 | #Constraints: 15006 122.41/122.72 c #Conflicts: 229000 | #Constraints: 16007 135.08/135.40 c #Conflicts: 230000 | #Constraints: 17022 135.08/135.40 c #Conflicts: 231000 | #Constraints: 18023 135.08/135.40 c #Conflicts: 232000 | #Constraints: 19023 135.08/135.40 c #Conflicts: 233000 | #Constraints: 20023 135.08/135.40 c #Conflicts: 234000 | #Constraints: 21023 135.08/135.40 c #Conflicts: 235000 | #Constraints: 22023 135.08/135.40 c #Conflicts: 236000 | #Constraints: 23024 135.08/135.40 c INPROCESSING 135.08/135.40 c GARBAGE COLLECT 135.08/135.40 c rational objective 6.66028 148.66/149.04 c #Conflicts: 237000 | #Constraints: 14394 148.66/149.04 c #Conflicts: 238000 | #Constraints: 15394 148.66/149.04 c #Conflicts: 239000 | #Constraints: 16394 148.66/149.04 c #Conflicts: 240000 | #Constraints: 17394 148.66/149.04 c #Conflicts: 241000 | #Constraints: 18394 148.66/149.04 c #Conflicts: 242000 | #Constraints: 19395 148.66/149.04 c #Conflicts: 243000 | #Constraints: 20395 148.66/149.04 c #Conflicts: 244000 | #Constraints: 21395 148.66/149.04 c #Conflicts: 245000 | #Constraints: 22395 148.66/149.04 c #Conflicts: 246000 | #Constraints: 23396 148.66/149.04 c INPROCESSING 148.66/149.04 c GARBAGE COLLECT 148.66/149.04 c rational objective 6.78942 272.79/273.43 c #Conflicts: 247000 | #Constraints: 14596 272.79/273.43 c #Conflicts: 248000 | #Constraints: 15596 272.79/273.43 c #Conflicts: 249000 | #Constraints: 16596 272.79/273.43 c #Conflicts: 250000 | #Constraints: 17596 272.79/273.43 c #Conflicts: 251000 | #Constraints: 18596 272.79/273.43 c #Conflicts: 252000 | #Constraints: 19596 272.79/273.43 c #Conflicts: 253000 | #Constraints: 20596 272.79/273.43 c #Conflicts: 254000 | #Constraints: 21596 272.79/273.43 c #Conflicts: 255000 | #Constraints: 22596 272.79/273.43 c #Conflicts: 256000 | #Constraints: 23596 272.79/273.43 c #Conflicts: 257000 | #Constraints: 24596 272.79/273.43 c #Conflicts: 258000 | #Constraints: 25596 272.79/273.43 c #Conflicts: 259000 | #Constraints: 26596 272.79/273.43 c #Conflicts: 260000 | #Constraints: 27596 272.79/273.43 c #Conflicts: 261000 | #Constraints: 28596 272.79/273.43 c #Conflicts: 262000 | #Constraints: 29596 272.79/273.43 c #Conflicts: 263000 | #Constraints: 30596 272.79/273.43 c #Conflicts: 264000 | #Constraints: 31596 272.79/273.43 c #Conflicts: 265000 | #Constraints: 32596 272.79/273.43 c #Conflicts: 266000 | #Constraints: 33596 272.79/273.43 c #Conflicts: 267000 | #Constraints: 34596 272.79/273.43 c #Conflicts: 268000 | #Constraints: 35597 272.79/273.43 c #Conflicts: 269000 | #Constraints: 36597 272.79/273.43 c #Conflicts: 270000 | #Constraints: 37597 272.79/273.43 c #Conflicts: 271000 | #Constraints: 38599 272.79/273.43 c #Conflicts: 272000 | #Constraints: 39600 272.79/273.43 c #Conflicts: 273000 | #Constraints: 40600 272.79/273.43 c #Conflicts: 274000 | #Constraints: 41600 272.79/273.43 c #Conflicts: 275000 | #Constraints: 42601 272.79/273.43 c #Conflicts: 276000 | #Constraints: 43603 272.79/273.43 c #Conflicts: 277000 | #Constraints: 44603 272.79/273.43 c #Conflicts: 278000 | #Constraints: 45603 272.79/273.43 c #Conflicts: 279000 | #Constraints: 46603 272.79/273.43 c #Conflicts: 280000 | #Constraints: 47603 272.79/273.43 c #Conflicts: 281000 | #Constraints: 48603 272.79/273.43 c #Conflicts: 282000 | #Constraints: 49604 272.79/273.43 c #Conflicts: 283000 | #Constraints: 50605 272.79/273.43 c #Conflicts: 284000 | #Constraints: 51605 272.79/273.43 c #Conflicts: 285000 | #Constraints: 52605 272.79/273.43 c #Conflicts: 286000 | #Constraints: 53605 272.79/273.43 c #Conflicts: 287000 | #Constraints: 54605 272.79/273.43 c #Conflicts: 288000 | #Constraints: 55606 272.79/273.43 c #Conflicts: 289000 | #Constraints: 56606 272.79/273.43 c #Conflicts: 290000 | #Constraints: 57606 272.79/273.43 c #Conflicts: 291000 | #Constraints: 58606 272.79/273.43 c #Conflicts: 292000 | #Constraints: 59606 272.79/273.43 c #Conflicts: 293000 | #Constraints: 60606 272.79/273.43 c #Conflicts: 294000 | #Constraints: 61606 272.79/273.43 c INPROCESSING 272.79/273.43 c GARBAGE COLLECT 272.79/273.43 c rational objective 6.82481 281.47/282.17 c #Conflicts: 295000 | #Constraints: 33702 281.47/282.17 c #Conflicts: 296000 | #Constraints: 34702 281.47/282.17 c #Conflicts: 297000 | #Constraints: 35702 281.47/282.17 c #Conflicts: 298000 | #Constraints: 36702 281.47/282.17 c #Conflicts: 299000 | #Constraints: 37702 281.47/282.17 c #Conflicts: 300000 | #Constraints: 38703 281.47/282.17 c #Conflicts: 301000 | #Constraints: 39703 281.47/282.17 c #Conflicts: 302000 | #Constraints: 40703 281.47/282.17 c #Conflicts: 303000 | #Constraints: 41703 281.47/282.17 c #Conflicts: 304000 | #Constraints: 42703 281.47/282.17 c #Conflicts: 305000 | #Constraints: 43703 281.47/282.17 c INPROCESSING 281.47/282.17 c GARBAGE COLLECT 281.47/282.17 c rational objective 6.36699 375.17/376.08 c #Conflicts: 306000 | #Constraints: 24601 375.17/376.08 c #Conflicts: 307000 | #Constraints: 25602 375.17/376.08 c #Conflicts: 308000 | #Constraints: 26602 375.17/376.08 c #Conflicts: 309000 | #Constraints: 27602 375.17/376.08 c #Conflicts: 310000 | #Constraints: 28602 375.17/376.08 c #Conflicts: 311000 | #Constraints: 29602 375.17/376.08 c #Conflicts: 312000 | #Constraints: 30603 375.17/376.08 c #Conflicts: 313000 | #Constraints: 31603 375.17/376.08 c #Conflicts: 314000 | #Constraints: 32603 375.17/376.08 c #Conflicts: 315000 | #Constraints: 33603 375.17/376.08 c #Conflicts: 316000 | #Constraints: 34603 375.17/376.08 c INPROCESSING 375.17/376.08 c GARBAGE COLLECT 375.17/376.08 c #Conflicts: 317000 | #Constraints: 19820 375.17/376.08 c #Conflicts: 318000 | #Constraints: 20820 375.17/376.08 c #Conflicts: 319000 | #Constraints: 21820 375.17/376.08 c #Conflicts: 320000 | #Constraints: 22820 375.17/376.08 c #Conflicts: 321000 | #Constraints: 23820 375.17/376.08 c #Conflicts: 322000 | #Constraints: 24820 375.17/376.08 c #Conflicts: 323000 | #Constraints: 25820 375.17/376.08 c #Conflicts: 324000 | #Constraints: 26820 375.17/376.08 c #Conflicts: 325000 | #Constraints: 27820 375.17/376.08 c #Conflicts: 326000 | #Constraints: 28821 375.17/376.08 c #Conflicts: 327000 | #Constraints: 29825 375.17/376.08 c #Conflicts: 328000 | #Constraints: 30825 375.17/376.08 c INPROCESSING 375.17/376.08 c GARBAGE COLLECT 375.17/376.08 c #Conflicts: 329000 | #Constraints: 18090 375.17/376.08 c #Conflicts: 330000 | #Constraints: 19090 375.17/376.08 c #Conflicts: 331000 | #Constraints: 20090 375.17/376.08 c #Conflicts: 332000 | #Constraints: 21090 375.17/376.08 c #Conflicts: 333000 | #Constraints: 22091 375.17/376.08 c #Conflicts: 334000 | #Constraints: 23092 375.17/376.08 c #Conflicts: 335000 | #Constraints: 24094 375.17/376.08 c #Conflicts: 336000 | #Constraints: 25094 375.17/376.08 c #Conflicts: 337000 | #Constraints: 26095 375.17/376.08 c #Conflicts: 338000 | #Constraints: 27095 375.17/376.08 c #Conflicts: 339000 | #Constraints: 28096 375.17/376.08 c #Conflicts: 340000 | #Constraints: 29098 375.17/376.08 c INPROCESSING 375.17/376.08 c GARBAGE COLLECT 375.17/376.08 c #Conflicts: 341000 | #Constraints: 17256 375.17/376.08 c #Conflicts: 342000 | #Constraints: 18257 375.17/376.08 c #Conflicts: 343000 | #Constraints: 19257 375.17/376.08 c #Conflicts: 344000 | #Constraints: 20257 375.17/376.08 c #Conflicts: 345000 | #Constraints: 21257 375.17/376.08 c #Conflicts: 346000 | #Constraints: 22258 375.17/376.08 c #Conflicts: 347000 | #Constraints: 23259 375.17/376.08 c #Conflicts: 348000 | #Constraints: 24259 375.17/376.08 c #Conflicts: 349000 | #Constraints: 25259 375.17/376.08 c #Conflicts: 350000 | #Constraints: 26260 375.17/376.08 c #Conflicts: 351000 | #Constraints: 27260 375.17/376.08 c #Conflicts: 352000 | #Constraints: 28260 375.17/376.08 c INPROCESSING 375.17/376.08 c GARBAGE COLLECT 375.17/376.08 c #Conflicts: 353000 | #Constraints: 16802 375.17/376.08 c #Conflicts: 354000 | #Constraints: 17802 375.17/376.08 c #Conflicts: 355000 | #Constraints: 18802 375.17/376.08 c #Conflicts: 356000 | #Constraints: 19802 375.17/376.08 c #Conflicts: 357000 | #Constraints: 20802 375.17/376.08 c #Conflicts: 358000 | #Constraints: 21803 375.17/376.08 c #Conflicts: 359000 | #Constraints: 22803 375.17/376.08 c #Conflicts: 360000 | #Constraints: 23805 375.17/376.08 c #Conflicts: 361000 | #Constraints: 24805 375.17/376.08 c #Conflicts: 362000 | #Constraints: 25805 375.17/376.08 c #Conflicts: 363000 | #Constraints: 26805 375.17/376.08 c #Conflicts: 364000 | #Constraints: 27806 375.17/376.08 c #Conflicts: 365000 | #Constraints: 28806 375.17/376.08 c #Conflicts: 366000 | #Constraints: 29807 375.17/376.08 c #Conflicts: 367000 | #Constraints: 30808 375.17/376.08 c #Conflicts: 368000 | #Constraints: 31808 375.17/376.08 c #Conflicts: 369000 | #Constraints: 32808 375.17/376.08 c #Conflicts: 370000 | #Constraints: 33808 375.17/376.08 c #Conflicts: 371000 | #Constraints: 34808 375.17/376.08 c #Conflicts: 372000 | #Constraints: 35808 375.17/376.08 c #Conflicts: 373000 | #Constraints: 36808 375.17/376.08 c #Conflicts: 374000 | #Constraints: 37808 375.17/376.08 c #Conflicts: 375000 | #Constraints: 38808 375.17/376.08 c #Conflicts: 376000 | #Constraints: 39808 375.17/376.08 c #Conflicts: 377000 | #Constraints: 40809 375.17/376.08 c #Conflicts: 378000 | #Constraints: 41809 375.17/376.08 c #Conflicts: 379000 | #Constraints: 42809 375.17/376.08 c #Conflicts: 380000 | #Constraints: 43809 375.17/376.08 c #Conflicts: 381000 | #Constraints: 44809 375.17/376.08 c #Conflicts: 382000 | #Constraints: 45809 452.20/453.25 c #Conflicts: 383000 | #Constraints: 46809 452.20/453.25 c #Conflicts: 384000 | #Constraints: 47810 452.20/453.25 c #Conflicts: 385000 | #Constraints: 48811 452.20/453.25 c #Conflicts: 386000 | #Constraints: 49812 452.20/453.25 c #Conflicts: 387000 | #Constraints: 50812 452.20/453.25 c #Conflicts: 388000 | #Constraints: 51813 452.20/453.25 c #Conflicts: 389000 | #Constraints: 52813 452.20/453.25 c #Conflicts: 390000 | #Constraints: 53813 452.20/453.25 c #Conflicts: 391000 | #Constraints: 54813 452.20/453.25 c #Conflicts: 392000 | #Constraints: 55813 452.20/453.25 c #Conflicts: 393000 | #Constraints: 56813 452.20/453.25 c #Conflicts: 394000 | #Constraints: 57813 452.20/453.25 c #Conflicts: 395000 | #Constraints: 58813 452.20/453.25 c #Conflicts: 396000 | #Constraints: 59814 452.20/453.25 c #Conflicts: 397000 | #Constraints: 60814 452.20/453.25 c #Conflicts: 398000 | #Constraints: 61814 452.20/453.25 c #Conflicts: 399000 | #Constraints: 62815 452.20/453.25 c #Conflicts: 400000 | #Constraints: 63815 452.20/453.25 c #Conflicts: 401000 | #Constraints: 64815 452.20/453.25 c #Conflicts: 402000 | #Constraints: 65816 452.20/453.25 c #Conflicts: 403000 | #Constraints: 66817 452.20/453.25 c #Conflicts: 404000 | #Constraints: 67817 452.20/453.25 c #Conflicts: 405000 | #Constraints: 68818 452.20/453.25 c #Conflicts: 406000 | #Constraints: 69818 452.20/453.25 c #Conflicts: 407000 | #Constraints: 70819 452.20/453.25 c #Conflicts: 408000 | #Constraints: 71819 452.20/453.25 c INPROCESSING 452.20/453.25 c GARBAGE COLLECT 452.20/453.25 c rational objective 6.4897 478.05/479.19 c #Conflicts: 409000 | #Constraints: 38853 478.05/479.19 c #Conflicts: 410000 | #Constraints: 39853 478.05/479.19 c #Conflicts: 411000 | #Constraints: 40853 478.05/479.19 c #Conflicts: 412000 | #Constraints: 41853 478.05/479.19 c #Conflicts: 413000 | #Constraints: 42853 478.05/479.19 c #Conflicts: 414000 | #Constraints: 43854 478.05/479.19 c #Conflicts: 415000 | #Constraints: 44854 478.05/479.19 c #Conflicts: 416000 | #Constraints: 45856 478.05/479.19 c #Conflicts: 417000 | #Constraints: 46856 478.05/479.19 c #Conflicts: 418000 | #Constraints: 47856 478.05/479.19 c #Conflicts: 419000 | #Constraints: 48856 478.05/479.19 c #Conflicts: 420000 | #Constraints: 49856 478.05/479.19 c #Conflicts: 421000 | #Constraints: 50856 478.05/479.19 c INPROCESSING 478.05/479.19 c GARBAGE COLLECT 478.05/479.19 c rational objective 6.49685 541.01/542.23 c #Conflicts: 422000 | #Constraints: 28152 541.01/542.23 c #Conflicts: 423000 | #Constraints: 29152 541.01/542.23 c #Conflicts: 424000 | #Constraints: 30152 541.01/542.23 c #Conflicts: 425000 | #Constraints: 31152 541.01/542.23 c #Conflicts: 426000 | #Constraints: 32152 541.01/542.23 c #Conflicts: 427000 | #Constraints: 33152 541.01/542.23 c #Conflicts: 428000 | #Constraints: 34152 541.01/542.23 c #Conflicts: 429000 | #Constraints: 35152 541.01/542.23 c #Conflicts: 430000 | #Constraints: 36152 541.01/542.23 c #Conflicts: 431000 | #Constraints: 37153 541.01/542.23 c #Conflicts: 432000 | #Constraints: 38153 541.01/542.23 c #Conflicts: 433000 | #Constraints: 39153 541.01/542.23 c #Conflicts: 434000 | #Constraints: 40153 541.01/542.23 c #Conflicts: 435000 | #Constraints: 41153 541.01/542.23 c INPROCESSING 541.01/542.23 c GARBAGE COLLECT 541.01/542.23 c rational objective 5.90511 601.68/603.07 c #Conflicts: 436000 | #Constraints: 23492 601.68/603.07 c #Conflicts: 437000 | #Constraints: 24492 601.68/603.07 c #Conflicts: 438000 | #Constraints: 25492 601.68/603.07 c #Conflicts: 439000 | #Constraints: 26492 601.68/603.07 c #Conflicts: 440000 | #Constraints: 27492 601.68/603.07 c #Conflicts: 441000 | #Constraints: 28492 601.68/603.07 c #Conflicts: 442000 | #Constraints: 29492 601.68/603.07 c #Conflicts: 443000 | #Constraints: 30492 601.68/603.07 c #Conflicts: 444000 | #Constraints: 31492 601.68/603.07 c #Conflicts: 445000 | #Constraints: 32493 601.68/603.07 c #Conflicts: 446000 | #Constraints: 33493 601.68/603.07 c #Conflicts: 447000 | #Constraints: 34493 601.68/603.07 c #Conflicts: 448000 | #Constraints: 35493 601.68/603.07 c INPROCESSING 601.68/603.07 c GARBAGE COLLECT 601.68/603.07 c #Conflicts: 449000 | #Constraints: 20263 601.68/603.07 c #Conflicts: 450000 | #Constraints: 21263 601.68/603.07 c #Conflicts: 451000 | #Constraints: 22263 601.68/603.07 c #Conflicts: 452000 | #Constraints: 23264 601.68/603.07 c #Conflicts: 453000 | #Constraints: 24264 601.68/603.07 c #Conflicts: 454000 | #Constraints: 25265 601.68/603.07 c #Conflicts: 455000 | #Constraints: 26266 601.68/603.07 c #Conflicts: 456000 | #Constraints: 27268 601.68/603.07 c #Conflicts: 457000 | #Constraints: 28268 601.68/603.07 c #Conflicts: 458000 | #Constraints: 29269 601.68/603.07 c #Conflicts: 459000 | #Constraints: 30270 601.68/603.07 c #Conflicts: 460000 | #Constraints: 31270 601.68/603.07 c #Conflicts: 461000 | #Constraints: 32274 601.68/603.07 c #Conflicts: 462000 | #Constraints: 33275 601.68/603.07 c INPROCESSING 601.68/603.07 c GARBAGE COLLECT 601.68/603.07 c rational objective 5.96237 795.37/797.11 c #Conflicts: 463000 | #Constraints: 19162 795.37/797.11 c #Conflicts: 464000 | #Constraints: 20163 795.37/797.11 c #Conflicts: 465000 | #Constraints: 21163 795.37/797.11 c #Conflicts: 466000 | #Constraints: 22164 795.37/797.11 c #Conflicts: 467000 | #Constraints: 23164 795.37/797.11 c #Conflicts: 468000 | #Constraints: 24164 795.37/797.11 c #Conflicts: 469000 | #Constraints: 25165 795.37/797.11 c #Conflicts: 470000 | #Constraints: 26165 795.37/797.11 c #Conflicts: 471000 | #Constraints: 27165 795.37/797.11 c #Conflicts: 472000 | #Constraints: 28165 795.37/797.11 c #Conflicts: 473000 | #Constraints: 29166 795.37/797.11 c #Conflicts: 474000 | #Constraints: 30166 795.37/797.11 c #Conflicts: 475000 | #Constraints: 31166 795.37/797.11 c #Conflicts: 476000 | #Constraints: 32166 795.37/797.11 c #Conflicts: 477000 | #Constraints: 33167 795.37/797.11 c INPROCESSING 795.37/797.11 c GARBAGE COLLECT 795.37/797.11 c #Conflicts: 478000 | #Constraints: 19482 795.37/797.11 c #Conflicts: 479000 | #Constraints: 20482 795.37/797.11 c #Conflicts: 480000 | #Constraints: 21482 795.37/797.11 c #Conflicts: 481000 | #Constraints: 22482 795.37/797.11 c #Conflicts: 482000 | #Constraints: 23482 795.37/797.11 c #Conflicts: 483000 | #Constraints: 24482 795.37/797.11 c #Conflicts: 484000 | #Constraints: 25482 795.37/797.11 c #Conflicts: 485000 | #Constraints: 26482 795.37/797.11 c #Conflicts: 486000 | #Constraints: 27482 795.37/797.11 c #Conflicts: 487000 | #Constraints: 28482 795.37/797.11 c #Conflicts: 488000 | #Constraints: 29482 795.37/797.11 c #Conflicts: 489000 | #Constraints: 30482 795.37/797.11 c #Conflicts: 490000 | #Constraints: 31482 795.37/797.11 c #Conflicts: 491000 | #Constraints: 32482 795.37/797.11 c #Conflicts: 492000 | #Constraints: 33482 795.37/797.11 c #Conflicts: 493000 | #Constraints: 34483 795.37/797.11 c #Conflicts: 494000 | #Constraints: 35483 795.37/797.11 c #Conflicts: 495000 | #Constraints: 36483 795.37/797.11 c #Conflicts: 496000 | #Constraints: 37483 795.37/797.11 c #Conflicts: 497000 | #Constraints: 38483 795.37/797.11 c #Conflicts: 498000 | #Constraints: 39483 795.37/797.11 c #Conflicts: 499000 | #Constraints: 40484 795.37/797.11 c #Conflicts: 500000 | #Constraints: 41484 795.37/797.11 c #Conflicts: 501000 | #Constraints: 42485 795.37/797.11 c #Conflicts: 502000 | #Constraints: 43485 795.37/797.11 c #Conflicts: 503000 | #Constraints: 44485 795.37/797.11 c #Conflicts: 504000 | #Constraints: 45485 795.37/797.11 c #Conflicts: 505000 | #Constraints: 46485 795.37/797.11 c #Conflicts: 506000 | #Constraints: 47485 795.37/797.11 c #Conflicts: 507000 | #Constraints: 48486 795.37/797.11 c #Conflicts: 508000 | #Constraints: 49487 795.37/797.11 c #Conflicts: 509000 | #Constraints: 50487 795.37/797.11 c #Conflicts: 510000 | #Constraints: 51488 795.37/797.11 c #Conflicts: 511000 | #Constraints: 52489 795.37/797.11 c #Conflicts: 512000 | #Constraints: 53489 795.37/797.11 c #Conflicts: 513000 | #Constraints: 54489 795.37/797.11 c #Conflicts: 514000 | #Constraints: 55489 795.37/797.11 c #Conflicts: 515000 | #Constraints: 56489 795.37/797.11 c #Conflicts: 516000 | #Constraints: 57489 795.37/797.11 c #Conflicts: 517000 | #Constraints: 58489 795.37/797.11 c #Conflicts: 518000 | #Constraints: 59489 795.37/797.11 c #Conflicts: 519000 | #Constraints: 60489 795.37/797.11 c #Conflicts: 520000 | #Constraints: 61489 795.37/797.11 c #Conflicts: 521000 | #Constraints: 62489 795.37/797.11 c #Conflicts: 522000 | #Constraints: 63490 795.37/797.11 c #Conflicts: 523000 | #Constraints: 64490 795.37/797.11 c #Conflicts: 524000 | #Constraints: 65490 795.37/797.11 c #Conflicts: 525000 | #Constraints: 66490 795.37/797.11 c #Conflicts: 526000 | #Constraints: 67490 795.37/797.11 c #Conflicts: 527000 | #Constraints: 68490 795.37/797.11 c #Conflicts: 528000 | #Constraints: 69490 795.37/797.11 c #Conflicts: 529000 | #Constraints: 70490 795.37/797.11 c #Conflicts: 530000 | #Constraints: 71490 795.37/797.11 c #Conflicts: 531000 | #Constraints: 72491 795.37/797.11 c #Conflicts: 532000 | #Constraints: 73491 795.37/797.11 c #Conflicts: 533000 | #Constraints: 74491 795.37/797.11 c #Conflicts: 534000 | #Constraints: 75491 795.37/797.11 c #Conflicts: 535000 | #Constraints: 76491 795.37/797.11 c #Conflicts: 536000 | #Constraints: 77491 795.37/797.11 c #Conflicts: 537000 | #Constraints: 78491 795.37/797.11 c #Conflicts: 538000 | #Constraints: 79492 795.37/797.11 c #Conflicts: 539000 | #Constraints: 80492 795.37/797.11 c #Conflicts: 540000 | #Constraints: 81492 795.37/797.11 c INPROCESSING 796.77/798.54 c GARBAGE COLLECT 796.77/798.54 c rational objective 5.96281 920.30/922.35 c #Conflicts: 541000 | #Constraints: 43662 920.30/922.35 c #Conflicts: 542000 | #Constraints: 44662 920.30/922.35 c #Conflicts: 543000 | #Constraints: 45662 920.30/922.35 c #Conflicts: 544000 | #Constraints: 46662 920.30/922.35 c #Conflicts: 545000 | #Constraints: 47662 920.30/922.35 c #Conflicts: 546000 | #Constraints: 48662 920.30/922.35 c #Conflicts: 547000 | #Constraints: 49662 920.30/922.35 c #Conflicts: 548000 | #Constraints: 50663 920.30/922.35 c #Conflicts: 549000 | #Constraints: 51663 920.30/922.35 c #Conflicts: 550000 | #Constraints: 52664 920.30/922.35 c #Conflicts: 551000 | #Constraints: 53664 920.30/922.35 c #Conflicts: 552000 | #Constraints: 54665 920.30/922.35 c #Conflicts: 553000 | #Constraints: 55665 920.30/922.35 c #Conflicts: 554000 | #Constraints: 56665 920.30/922.35 c #Conflicts: 555000 | #Constraints: 57665 920.30/922.35 c INPROCESSING 920.30/922.35 c GARBAGE COLLECT 920.30/922.35 c #Conflicts: 556000 | #Constraints: 31505 920.30/922.35 c #Conflicts: 557000 | #Constraints: 32505 920.30/922.35 c #Conflicts: 558000 | #Constraints: 33505 920.30/922.35 c #Conflicts: 559000 | #Constraints: 34505 920.30/922.35 c #Conflicts: 560000 | #Constraints: 35505 920.30/922.35 c #Conflicts: 561000 | #Constraints: 36505 920.30/922.35 c #Conflicts: 562000 | #Constraints: 37506 920.30/922.35 c #Conflicts: 563000 | #Constraints: 38506 920.30/922.35 c #Conflicts: 564000 | #Constraints: 39506 920.30/922.35 c #Conflicts: 565000 | #Constraints: 40507 920.30/922.35 c #Conflicts: 566000 | #Constraints: 41507 920.30/922.35 c #Conflicts: 567000 | #Constraints: 42507 920.30/922.35 c #Conflicts: 568000 | #Constraints: 43507 920.30/922.35 c #Conflicts: 569000 | #Constraints: 44507 920.30/922.35 c #Conflicts: 570000 | #Constraints: 45507 920.30/922.35 c #Conflicts: 571000 | #Constraints: 46507 920.30/922.35 c INPROCESSING 920.30/922.35 c GARBAGE COLLECT 920.30/922.35 c #Conflicts: 572000 | #Constraints: 26110 920.30/922.35 c #Conflicts: 573000 | #Constraints: 27110 920.30/922.35 c #Conflicts: 574000 | #Constraints: 28110 920.30/922.35 c #Conflicts: 575000 | #Constraints: 29111 920.30/922.35 c #Conflicts: 576000 | #Constraints: 30111 920.30/922.35 c #Conflicts: 577000 | #Constraints: 31112 920.30/922.35 c #Conflicts: 578000 | #Constraints: 32112 920.30/922.35 c #Conflicts: 579000 | #Constraints: 33112 920.30/922.35 c #Conflicts: 580000 | #Constraints: 34112 920.30/922.35 c #Conflicts: 581000 | #Constraints: 35113 920.30/922.35 c #Conflicts: 582000 | #Constraints: 36113 920.30/922.35 c #Conflicts: 583000 | #Constraints: 37113 920.30/922.35 c #Conflicts: 584000 | #Constraints: 38113 920.30/922.35 c #Conflicts: 585000 | #Constraints: 39113 920.30/922.35 c #Conflicts: 586000 | #Constraints: 40113 920.30/922.35 c #Conflicts: 587000 | #Constraints: 41113 920.30/922.35 c INPROCESSING 920.30/922.35 c GARBAGE COLLECT 920.30/922.35 c #Conflicts: 588000 | #Constraints: 23425 920.30/922.35 c #Conflicts: 589000 | #Constraints: 24425 920.30/922.35 c #Conflicts: 590000 | #Constraints: 25425 920.30/922.35 c #Conflicts: 591000 | #Constraints: 26425 920.30/922.35 c #Conflicts: 592000 | #Constraints: 27426 920.30/922.35 c #Conflicts: 593000 | #Constraints: 28426 920.30/922.35 c #Conflicts: 594000 | #Constraints: 29427 920.30/922.35 c #Conflicts: 595000 | #Constraints: 30427 920.30/922.35 c #Conflicts: 596000 | #Constraints: 31428 920.30/922.35 c #Conflicts: 597000 | #Constraints: 32428 920.30/922.35 c #Conflicts: 598000 | #Constraints: 33428 920.30/922.35 c #Conflicts: 599000 | #Constraints: 34429 920.30/922.35 c #Conflicts: 600000 | #Constraints: 35429 920.30/922.35 c #Conflicts: 601000 | #Constraints: 36429 920.30/922.35 c #Conflicts: 602000 | #Constraints: 37429 920.30/922.35 c #Conflicts: 603000 | #Constraints: 38429 920.30/922.35 c INPROCESSING 920.30/922.35 c GARBAGE COLLECT 920.30/922.35 c #Conflicts: 604000 | #Constraints: 22036 920.30/922.35 c #Conflicts: 605000 | #Constraints: 23037 920.30/922.35 c #Conflicts: 606000 | #Constraints: 24037 920.30/922.35 c #Conflicts: 607000 | #Constraints: 25038 920.30/922.35 c #Conflicts: 608000 | #Constraints: 26038 920.30/922.35 c #Conflicts: 609000 | #Constraints: 27039 920.30/922.35 c #Conflicts: 610000 | #Constraints: 28039 920.30/922.35 c #Conflicts: 611000 | #Constraints: 29040 920.30/922.35 c #Conflicts: 612000 | #Constraints: 30040 920.30/922.35 c #Conflicts: 613000 | #Constraints: 31040 920.30/922.35 c #Conflicts: 614000 | #Constraints: 32040 920.30/922.35 c #Conflicts: 615000 | #Constraints: 33041 920.30/922.35 c #Conflicts: 616000 | #Constraints: 34042 920.30/922.35 c #Conflicts: 617000 | #Constraints: 35042 1124.66/1127.15 c #Conflicts: 618000 | #Constraints: 36042 1124.66/1127.15 c #Conflicts: 619000 | #Constraints: 37042 1124.66/1127.15 c INPROCESSING 1124.66/1127.15 c GARBAGE COLLECT 1124.66/1127.15 c #Conflicts: 620000 | #Constraints: 21186 1124.66/1127.15 c #Conflicts: 621000 | #Constraints: 22187 1124.66/1127.15 c #Conflicts: 622000 | #Constraints: 23187 1124.66/1127.15 c #Conflicts: 623000 | #Constraints: 24188 1124.66/1127.15 c #Conflicts: 624000 | #Constraints: 25188 1124.66/1127.15 c #Conflicts: 625000 | #Constraints: 26188 1124.66/1127.15 c #Conflicts: 626000 | #Constraints: 27189 1124.66/1127.15 c #Conflicts: 627000 | #Constraints: 28190 1124.66/1127.15 c #Conflicts: 628000 | #Constraints: 29191 1124.66/1127.15 c #Conflicts: 629000 | #Constraints: 30191 1124.66/1127.15 c #Conflicts: 630000 | #Constraints: 31191 1124.66/1127.15 c #Conflicts: 631000 | #Constraints: 32193 1124.66/1127.15 c #Conflicts: 632000 | #Constraints: 33194 1124.66/1127.15 c #Conflicts: 633000 | #Constraints: 34194 1124.66/1127.15 c #Conflicts: 634000 | #Constraints: 35194 1124.66/1127.15 c #Conflicts: 635000 | #Constraints: 36194 1124.66/1127.15 c #Conflicts: 636000 | #Constraints: 37194 1124.66/1127.15 c #Conflicts: 637000 | #Constraints: 38194 1124.66/1127.15 c #Conflicts: 638000 | #Constraints: 39194 1124.66/1127.15 c #Conflicts: 639000 | #Constraints: 40195 1124.66/1127.15 c #Conflicts: 640000 | #Constraints: 41195 1124.66/1127.15 c #Conflicts: 641000 | #Constraints: 42196 1124.66/1127.15 c #Conflicts: 642000 | #Constraints: 43197 1124.66/1127.15 c #Conflicts: 643000 | #Constraints: 44197 1124.66/1127.15 c #Conflicts: 644000 | #Constraints: 45197 1124.66/1127.15 c #Conflicts: 645000 | #Constraints: 46197 1124.66/1127.15 c #Conflicts: 646000 | #Constraints: 47197 1124.66/1127.15 c #Conflicts: 647000 | #Constraints: 48197 1124.66/1127.15 c #Conflicts: 648000 | #Constraints: 49197 1124.66/1127.15 c #Conflicts: 649000 | #Constraints: 50197 1124.66/1127.15 c #Conflicts: 650000 | #Constraints: 51197 1124.66/1127.15 c #Conflicts: 651000 | #Constraints: 52197 1124.66/1127.15 c #Conflicts: 652000 | #Constraints: 53197 1124.66/1127.15 c #Conflicts: 653000 | #Constraints: 54197 1124.66/1127.15 c #Conflicts: 654000 | #Constraints: 55197 1124.66/1127.15 c #Conflicts: 655000 | #Constraints: 56197 1124.66/1127.15 c #Conflicts: 656000 | #Constraints: 57197 1124.66/1127.15 c #Conflicts: 657000 | #Constraints: 58197 1124.66/1127.15 c #Conflicts: 658000 | #Constraints: 59197 1124.66/1127.15 c #Conflicts: 659000 | #Constraints: 60197 1124.66/1127.15 c #Conflicts: 660000 | #Constraints: 61197 1124.66/1127.15 c #Conflicts: 661000 | #Constraints: 62197 1124.66/1127.15 c #Conflicts: 662000 | #Constraints: 63197 1124.66/1127.15 c #Conflicts: 663000 | #Constraints: 64197 1124.66/1127.15 c #Conflicts: 664000 | #Constraints: 65197 1124.66/1127.15 c #Conflicts: 665000 | #Constraints: 66197 1124.66/1127.15 c #Conflicts: 666000 | #Constraints: 67197 1124.66/1127.15 c #Conflicts: 667000 | #Constraints: 68197 1124.66/1127.15 c #Conflicts: 668000 | #Constraints: 69197 1124.66/1127.15 c #Conflicts: 669000 | #Constraints: 70197 1124.66/1127.15 c #Conflicts: 670000 | #Constraints: 71197 1124.66/1127.15 c #Conflicts: 671000 | #Constraints: 72197 1124.66/1127.15 c #Conflicts: 672000 | #Constraints: 73197 1124.66/1127.15 c #Conflicts: 673000 | #Constraints: 74199 1124.66/1127.15 c #Conflicts: 674000 | #Constraints: 75201 1124.66/1127.15 c #Conflicts: 675000 | #Constraints: 76202 1124.66/1127.15 c #Conflicts: 676000 | #Constraints: 77203 1124.66/1127.15 c #Conflicts: 677000 | #Constraints: 78203 1124.66/1127.15 c #Conflicts: 678000 | #Constraints: 79203 1124.66/1127.15 c #Conflicts: 679000 | #Constraints: 80203 1124.66/1127.15 c #Conflicts: 680000 | #Constraints: 81203 1124.66/1127.15 c #Conflicts: 681000 | #Constraints: 82203 1124.66/1127.15 c #Conflicts: 682000 | #Constraints: 83203 1124.66/1127.15 c #Conflicts: 683000 | #Constraints: 84203 1124.66/1127.15 c #Conflicts: 684000 | #Constraints: 85204 1124.66/1127.15 c #Conflicts: 685000 | #Constraints: 86204 1124.66/1127.15 c #Conflicts: 686000 | #Constraints: 87204 1124.66/1127.15 c #Conflicts: 687000 | #Constraints: 88204 1124.66/1127.15 c #Conflicts: 688000 | #Constraints: 89204 1124.66/1127.15 c #Conflicts: 689000 | #Constraints: 90204 1124.66/1127.15 c #Conflicts: 690000 | #Constraints: 91204 1124.66/1127.15 c INPROCESSING 1124.66/1127.15 c GARBAGE COLLECT 1124.66/1127.15 c #Conflicts: 691000 | #Constraints: 48520 1124.66/1127.15 c #Conflicts: 692000 | #Constraints: 49520 1124.66/1127.15 c #Conflicts: 693000 | #Constraints: 50520 1124.66/1127.15 c #Conflicts: 694000 | #Constraints: 51520 1278.78/1281.63 c #Conflicts: 695000 | #Constraints: 52520 1278.78/1281.63 c #Conflicts: 696000 | #Constraints: 53520 1278.78/1281.63 c #Conflicts: 697000 | #Constraints: 54520 1278.78/1281.63 c #Conflicts: 698000 | #Constraints: 55520 1278.78/1281.63 c #Conflicts: 699000 | #Constraints: 56520 1278.78/1281.63 c #Conflicts: 700000 | #Constraints: 57520 1278.78/1281.63 c #Conflicts: 701000 | #Constraints: 58520 1278.78/1281.63 c #Conflicts: 702000 | #Constraints: 59520 1278.78/1281.63 c #Conflicts: 703000 | #Constraints: 60520 1278.78/1281.63 c #Conflicts: 704000 | #Constraints: 61520 1278.78/1281.63 c #Conflicts: 705000 | #Constraints: 62520 1278.78/1281.63 c #Conflicts: 706000 | #Constraints: 63520 1278.78/1281.63 c #Conflicts: 707000 | #Constraints: 64520 1278.78/1281.63 c INPROCESSING 1278.78/1281.63 c GARBAGE COLLECT 1278.78/1281.63 c #Conflicts: 708000 | #Constraints: 34902 1278.78/1281.63 c #Conflicts: 709000 | #Constraints: 35902 1278.78/1281.63 c #Conflicts: 710000 | #Constraints: 36902 1278.78/1281.63 c #Conflicts: 711000 | #Constraints: 37902 1278.78/1281.63 c #Conflicts: 712000 | #Constraints: 38902 1278.78/1281.63 c #Conflicts: 713000 | #Constraints: 39902 1278.78/1281.63 c #Conflicts: 714000 | #Constraints: 40902 1278.78/1281.63 c #Conflicts: 715000 | #Constraints: 41902 1278.78/1281.63 c #Conflicts: 716000 | #Constraints: 42902 1278.78/1281.63 c #Conflicts: 717000 | #Constraints: 43902 1278.78/1281.63 c #Conflicts: 718000 | #Constraints: 44903 1278.78/1281.63 c #Conflicts: 719000 | #Constraints: 45905 1278.78/1281.63 c #Conflicts: 720000 | #Constraints: 46905 1278.78/1281.63 c #Conflicts: 721000 | #Constraints: 47906 1278.78/1281.63 c #Conflicts: 722000 | #Constraints: 48907 1278.78/1281.63 c #Conflicts: 723000 | #Constraints: 49907 1278.78/1281.63 c #Conflicts: 724000 | #Constraints: 50908 1278.78/1281.63 c #Conflicts: 725000 | #Constraints: 51909 1278.78/1281.63 c INPROCESSING 1278.78/1281.63 c GARBAGE COLLECT 1278.78/1281.63 c #Conflicts: 726000 | #Constraints: 28710 1278.78/1281.63 c #Conflicts: 727000 | #Constraints: 29710 1278.78/1281.63 c #Conflicts: 728000 | #Constraints: 30711 1278.78/1281.63 c #Conflicts: 729000 | #Constraints: 31711 1278.78/1281.63 c #Conflicts: 730000 | #Constraints: 32711 1278.78/1281.63 c #Conflicts: 731000 | #Constraints: 33711 1278.78/1281.63 c #Conflicts: 732000 | #Constraints: 34712 1278.78/1281.63 c #Conflicts: 733000 | #Constraints: 35712 1278.78/1281.63 c #Conflicts: 734000 | #Constraints: 36712 1278.78/1281.63 c #Conflicts: 735000 | #Constraints: 37713 1278.78/1281.63 c #Conflicts: 736000 | #Constraints: 38713 1278.78/1281.63 c #Conflicts: 737000 | #Constraints: 39713 1278.78/1281.63 c #Conflicts: 738000 | #Constraints: 40713 1278.78/1281.63 c #Conflicts: 739000 | #Constraints: 41713 1278.78/1281.63 c #Conflicts: 740000 | #Constraints: 42713 1278.78/1281.63 c #Conflicts: 741000 | #Constraints: 43714 1278.78/1281.63 c #Conflicts: 742000 | #Constraints: 44714 1278.78/1281.63 c #Conflicts: 743000 | #Constraints: 45714 1278.78/1281.63 c INPROCESSING 1278.78/1281.63 c GARBAGE COLLECT 1278.78/1281.63 c #Conflicts: 744000 | #Constraints: 25575 1278.78/1281.63 c #Conflicts: 745000 | #Constraints: 26575 1278.78/1281.63 c #Conflicts: 746000 | #Constraints: 27575 1278.78/1281.63 c #Conflicts: 747000 | #Constraints: 28575 1278.78/1281.63 c #Conflicts: 748000 | #Constraints: 29575 1278.78/1281.63 c #Conflicts: 749000 | #Constraints: 30575 1278.78/1281.63 c #Conflicts: 750000 | #Constraints: 31575 1278.78/1281.63 c #Conflicts: 751000 | #Constraints: 32575 1278.78/1281.63 c #Conflicts: 752000 | #Constraints: 33576 1278.78/1281.63 c #Conflicts: 753000 | #Constraints: 34578 1278.78/1281.63 c #Conflicts: 754000 | #Constraints: 35578 1278.78/1281.63 c #Conflicts: 755000 | #Constraints: 36578 1278.78/1281.63 c #Conflicts: 756000 | #Constraints: 37578 1278.78/1281.63 c #Conflicts: 757000 | #Constraints: 38578 1278.78/1281.63 c #Conflicts: 758000 | #Constraints: 39578 1278.78/1281.63 c #Conflicts: 759000 | #Constraints: 40578 1278.78/1281.63 c #Conflicts: 760000 | #Constraints: 41578 1278.78/1281.63 c #Conflicts: 761000 | #Constraints: 42578 1278.78/1281.63 c INPROCESSING 1278.78/1281.63 c GARBAGE COLLECT 1278.78/1281.63 c #Conflicts: 762000 | #Constraints: 23905 1278.78/1281.63 c #Conflicts: 763000 | #Constraints: 24905 1278.78/1281.63 c #Conflicts: 764000 | #Constraints: 25906 1278.78/1281.63 c #Conflicts: 765000 | #Constraints: 26906 1278.78/1281.63 c #Conflicts: 766000 | #Constraints: 27906 1278.78/1281.63 c #Conflicts: 767000 | #Constraints: 28906 1278.78/1281.63 c #Conflicts: 768000 | #Constraints: 29906 1278.78/1281.63 c #Conflicts: 769000 | #Constraints: 30906 1278.78/1281.63 c #Conflicts: 770000 | #Constraints: 31908 1664.21/1668.09 c #Conflicts: 771000 | #Constraints: 32908 1664.21/1668.09 c #Conflicts: 772000 | #Constraints: 33908 1664.21/1668.09 c #Conflicts: 773000 | #Constraints: 34908 1664.21/1668.09 c #Conflicts: 774000 | #Constraints: 35909 1664.21/1668.09 c #Conflicts: 775000 | #Constraints: 36909 1664.21/1668.09 c #Conflicts: 776000 | #Constraints: 37909 1664.21/1668.09 c #Conflicts: 777000 | #Constraints: 38909 1664.21/1668.09 c #Conflicts: 778000 | #Constraints: 39909 1664.21/1668.09 c #Conflicts: 779000 | #Constraints: 40909 1664.21/1668.09 c #Conflicts: 780000 | #Constraints: 41909 1664.21/1668.09 c INPROCESSING 1664.21/1668.09 c GARBAGE COLLECT 1664.21/1668.09 c #Conflicts: 781000 | #Constraints: 23871 1664.21/1668.09 c #Conflicts: 782000 | #Constraints: 24871 1664.21/1668.09 c #Conflicts: 783000 | #Constraints: 25871 1664.21/1668.09 c #Conflicts: 784000 | #Constraints: 26871 1664.21/1668.09 c #Conflicts: 785000 | #Constraints: 27871 1664.21/1668.09 c #Conflicts: 786000 | #Constraints: 28871 1664.21/1668.09 c #Conflicts: 787000 | #Constraints: 29871 1664.21/1668.09 c #Conflicts: 788000 | #Constraints: 30871 1664.21/1668.09 c #Conflicts: 789000 | #Constraints: 31871 1664.21/1668.09 c #Conflicts: 790000 | #Constraints: 32871 1664.21/1668.09 c #Conflicts: 791000 | #Constraints: 33871 1664.21/1668.09 c #Conflicts: 792000 | #Constraints: 34871 1664.21/1668.09 c #Conflicts: 793000 | #Constraints: 35871 1664.21/1668.09 c #Conflicts: 794000 | #Constraints: 36871 1664.21/1668.09 c #Conflicts: 795000 | #Constraints: 37872 1664.21/1668.09 c #Conflicts: 796000 | #Constraints: 38872 1664.21/1668.09 c #Conflicts: 797000 | #Constraints: 39872 1664.21/1668.09 c #Conflicts: 798000 | #Constraints: 40873 1664.21/1668.09 c #Conflicts: 799000 | #Constraints: 41873 1664.21/1668.09 c #Conflicts: 800000 | #Constraints: 42873 1664.21/1668.09 c #Conflicts: 801000 | #Constraints: 43874 1664.21/1668.09 c #Conflicts: 802000 | #Constraints: 44874 1664.21/1668.09 c #Conflicts: 803000 | #Constraints: 45874 1664.21/1668.09 c #Conflicts: 804000 | #Constraints: 46874 1664.21/1668.09 c #Conflicts: 805000 | #Constraints: 47874 1664.21/1668.09 c #Conflicts: 806000 | #Constraints: 48875 1664.21/1668.09 c #Conflicts: 807000 | #Constraints: 49875 1664.21/1668.09 c #Conflicts: 808000 | #Constraints: 50875 1664.21/1668.09 c #Conflicts: 809000 | #Constraints: 51875 1664.21/1668.09 c #Conflicts: 810000 | #Constraints: 52875 1664.21/1668.09 c #Conflicts: 811000 | #Constraints: 53875 1664.21/1668.09 c #Conflicts: 812000 | #Constraints: 54875 1664.21/1668.09 c #Conflicts: 813000 | #Constraints: 55875 1664.21/1668.09 c #Conflicts: 814000 | #Constraints: 56875 1664.21/1668.09 c #Conflicts: 815000 | #Constraints: 57875 1664.21/1668.09 c #Conflicts: 816000 | #Constraints: 58875 1664.21/1668.09 c #Conflicts: 817000 | #Constraints: 59876 1664.21/1668.09 c #Conflicts: 818000 | #Constraints: 60876 1664.21/1668.09 c #Conflicts: 819000 | #Constraints: 61876 1664.21/1668.09 c #Conflicts: 820000 | #Constraints: 62876 1664.21/1668.09 c #Conflicts: 821000 | #Constraints: 63876 1664.21/1668.09 c #Conflicts: 822000 | #Constraints: 64876 1664.21/1668.09 c #Conflicts: 823000 | #Constraints: 65876 1664.21/1668.09 c #Conflicts: 824000 | #Constraints: 66876 1664.21/1668.09 c #Conflicts: 825000 | #Constraints: 67876 1664.21/1668.09 c #Conflicts: 826000 | #Constraints: 68876 1664.21/1668.09 c #Conflicts: 827000 | #Constraints: 69876 1664.21/1668.09 c #Conflicts: 828000 | #Constraints: 70876 1664.21/1668.09 c #Conflicts: 829000 | #Constraints: 71876 1664.21/1668.09 c #Conflicts: 830000 | #Constraints: 72876 1664.21/1668.09 c #Conflicts: 831000 | #Constraints: 73876 1664.21/1668.09 c #Conflicts: 832000 | #Constraints: 74876 1664.21/1668.09 c #Conflicts: 833000 | #Constraints: 75877 1664.21/1668.09 c #Conflicts: 834000 | #Constraints: 76878 1664.21/1668.09 c #Conflicts: 835000 | #Constraints: 77878 1664.21/1668.09 c #Conflicts: 836000 | #Constraints: 78878 1664.21/1668.09 c #Conflicts: 837000 | #Constraints: 79879 1664.21/1668.09 c #Conflicts: 838000 | #Constraints: 80880 1664.21/1668.09 c #Conflicts: 839000 | #Constraints: 81880 1664.21/1668.09 c #Conflicts: 840000 | #Constraints: 82880 1664.21/1668.09 c #Conflicts: 841000 | #Constraints: 83880 1664.21/1668.09 c #Conflicts: 842000 | #Constraints: 84880 1664.21/1668.09 c #Conflicts: 843000 | #Constraints: 85881 1664.21/1668.09 c #Conflicts: 844000 | #Constraints: 86881 1664.21/1668.09 c #Conflicts: 845000 | #Constraints: 87881 1664.21/1668.09 c #Conflicts: 846000 | #Constraints: 88881 1664.21/1668.09 c #Conflicts: 847000 | #Constraints: 89881 1664.21/1668.09 c #Conflicts: 848000 | #Constraints: 90882 1664.21/1668.09 c #Conflicts: 849000 | #Constraints: 91882 1913.20/1917.58 c #Conflicts: 850000 | #Constraints: 92882 1913.20/1917.58 c #Conflicts: 851000 | #Constraints: 93883 1913.20/1917.58 c #Conflicts: 852000 | #Constraints: 94883 1913.20/1917.58 c #Conflicts: 853000 | #Constraints: 95883 1913.20/1917.58 c #Conflicts: 854000 | #Constraints: 96884 1913.20/1917.58 c #Conflicts: 855000 | #Constraints: 97884 1913.20/1917.58 c #Conflicts: 856000 | #Constraints: 98884 1913.20/1917.58 c #Conflicts: 857000 | #Constraints: 99884 1913.20/1917.58 c #Conflicts: 858000 | #Constraints: 100884 1913.20/1917.58 c INPROCESSING 1913.20/1917.58 c GARBAGE COLLECT 1913.20/1917.58 c #Conflicts: 859000 | #Constraints: 53354 1913.20/1917.58 c #Conflicts: 860000 | #Constraints: 54354 1913.20/1917.58 c #Conflicts: 861000 | #Constraints: 55355 1913.20/1917.58 c #Conflicts: 862000 | #Constraints: 56355 1913.20/1917.58 c #Conflicts: 863000 | #Constraints: 57355 1913.20/1917.58 c #Conflicts: 864000 | #Constraints: 58356 1913.20/1917.58 c #Conflicts: 865000 | #Constraints: 59360 1913.20/1917.58 c #Conflicts: 866000 | #Constraints: 60360 1913.20/1917.58 c #Conflicts: 867000 | #Constraints: 61360 1913.20/1917.58 c #Conflicts: 868000 | #Constraints: 62360 1913.20/1917.58 c #Conflicts: 869000 | #Constraints: 63360 1913.20/1917.58 c #Conflicts: 870000 | #Constraints: 64360 1913.20/1917.58 c #Conflicts: 871000 | #Constraints: 65361 1913.20/1917.58 c #Conflicts: 872000 | #Constraints: 66361 1913.20/1917.58 c #Conflicts: 873000 | #Constraints: 67361 1913.20/1917.58 c #Conflicts: 874000 | #Constraints: 68361 1913.20/1917.58 c #Conflicts: 875000 | #Constraints: 69361 1913.20/1917.58 c #Conflicts: 876000 | #Constraints: 70361 1913.20/1917.58 c #Conflicts: 877000 | #Constraints: 71361 1913.20/1917.58 c INPROCESSING 1913.20/1917.58 c GARBAGE COLLECT 1913.20/1917.58 c #Conflicts: 878000 | #Constraints: 38262 1913.20/1917.58 c #Conflicts: 879000 | #Constraints: 39262 1913.20/1917.58 c #Conflicts: 880000 | #Constraints: 40262 1913.20/1917.58 c #Conflicts: 881000 | #Constraints: 41262 1913.20/1917.58 c #Conflicts: 882000 | #Constraints: 42262 1913.20/1917.58 c #Conflicts: 883000 | #Constraints: 43262 1913.20/1917.58 c #Conflicts: 884000 | #Constraints: 44262 1913.20/1917.58 c #Conflicts: 885000 | #Constraints: 45262 1913.20/1917.58 c #Conflicts: 886000 | #Constraints: 46263 1913.20/1917.58 c #Conflicts: 887000 | #Constraints: 47264 1913.20/1917.58 c #Conflicts: 888000 | #Constraints: 48264 1913.20/1917.58 c #Conflicts: 889000 | #Constraints: 49264 1913.20/1917.58 c #Conflicts: 890000 | #Constraints: 50264 1913.20/1917.58 c #Conflicts: 891000 | #Constraints: 51264 1913.20/1917.58 c #Conflicts: 892000 | #Constraints: 52265 1913.20/1917.58 c #Conflicts: 893000 | #Constraints: 53265 1913.20/1917.58 c #Conflicts: 894000 | #Constraints: 54265 1913.20/1917.58 c #Conflicts: 895000 | #Constraints: 55265 1913.20/1917.58 c #Conflicts: 896000 | #Constraints: 56265 1913.20/1917.58 c #Conflicts: 897000 | #Constraints: 57265 1913.20/1917.58 c INPROCESSING 1913.20/1917.58 c GARBAGE COLLECT 1913.20/1917.58 c #Conflicts: 898000 | #Constraints: 31275 1913.20/1917.58 c #Conflicts: 899000 | #Constraints: 32275 1913.20/1917.58 c #Conflicts: 900000 | #Constraints: 33276 1913.20/1917.58 c #Conflicts: 901000 | #Constraints: 34276 1913.20/1917.58 c #Conflicts: 902000 | #Constraints: 35276 1913.20/1917.58 c #Conflicts: 903000 | #Constraints: 36276 1913.20/1917.58 c #Conflicts: 904000 | #Constraints: 37276 1913.20/1917.58 c #Conflicts: 905000 | #Constraints: 38276 1913.20/1917.58 c #Conflicts: 906000 | #Constraints: 39277 1913.20/1917.58 c #Conflicts: 907000 | #Constraints: 40277 1913.20/1917.58 c #Conflicts: 908000 | #Constraints: 41278 1913.20/1917.58 c #Conflicts: 909000 | #Constraints: 42278 1913.20/1917.58 c #Conflicts: 910000 | #Constraints: 43279 1913.20/1917.58 c #Conflicts: 911000 | #Constraints: 44279 1913.20/1917.58 c #Conflicts: 912000 | #Constraints: 45280 1913.20/1917.58 c #Conflicts: 913000 | #Constraints: 46280 1913.20/1917.58 c #Conflicts: 914000 | #Constraints: 47280 1913.20/1917.58 c #Conflicts: 915000 | #Constraints: 48280 1913.20/1917.58 c #Conflicts: 916000 | #Constraints: 49280 1913.20/1917.58 c #Conflicts: 917000 | #Constraints: 50280 1913.20/1917.58 c INPROCESSING 1913.20/1917.58 c GARBAGE COLLECT 1913.20/1917.58 c #Conflicts: 918000 | #Constraints: 27721 1913.20/1917.58 c #Conflicts: 919000 | #Constraints: 28722 1913.20/1917.58 c #Conflicts: 920000 | #Constraints: 29722 1913.20/1917.58 c #Conflicts: 921000 | #Constraints: 30722 1913.20/1917.58 c #Conflicts: 922000 | #Constraints: 31724 1913.20/1917.58 c #Conflicts: 923000 | #Constraints: 32724 1913.20/1917.58 c #Conflicts: 924000 | #Constraints: 33724 1913.20/1917.58 c #Conflicts: 925000 | #Constraints: 34725 2368.23/2373.52 c #Conflicts: 926000 | #Constraints: 35725 2368.23/2373.52 c #Conflicts: 927000 | #Constraints: 36725 2368.23/2373.52 c #Conflicts: 928000 | #Constraints: 37726 2368.23/2373.52 c #Conflicts: 929000 | #Constraints: 38726 2368.23/2373.52 c #Conflicts: 930000 | #Constraints: 39726 2368.23/2373.52 c #Conflicts: 931000 | #Constraints: 40727 2368.23/2373.52 c #Conflicts: 932000 | #Constraints: 41727 2368.23/2373.52 c #Conflicts: 933000 | #Constraints: 42727 2368.23/2373.52 c #Conflicts: 934000 | #Constraints: 43727 2368.23/2373.52 c #Conflicts: 935000 | #Constraints: 44727 2368.23/2373.52 c #Conflicts: 936000 | #Constraints: 45727 2368.23/2373.52 c #Conflicts: 937000 | #Constraints: 46727 2368.23/2373.52 c #Conflicts: 938000 | #Constraints: 47728 2368.23/2373.52 c INPROCESSING 2368.23/2373.52 c GARBAGE COLLECT 2368.23/2373.52 c #Conflicts: 939000 | #Constraints: 26802 2368.23/2373.52 c #Conflicts: 940000 | #Constraints: 27803 2368.23/2373.52 c #Conflicts: 941000 | #Constraints: 28803 2368.23/2373.52 c #Conflicts: 942000 | #Constraints: 29803 2368.23/2373.52 c #Conflicts: 943000 | #Constraints: 30803 2368.23/2373.52 c #Conflicts: 944000 | #Constraints: 31803 2368.23/2373.52 c #Conflicts: 945000 | #Constraints: 32803 2368.23/2373.52 c #Conflicts: 946000 | #Constraints: 33804 2368.23/2373.52 c #Conflicts: 947000 | #Constraints: 34804 2368.23/2373.52 c #Conflicts: 948000 | #Constraints: 35804 2368.23/2373.52 c #Conflicts: 949000 | #Constraints: 36805 2368.23/2373.52 c #Conflicts: 950000 | #Constraints: 37805 2368.23/2373.52 c #Conflicts: 951000 | #Constraints: 38805 2368.23/2373.52 c #Conflicts: 952000 | #Constraints: 39805 2368.23/2373.52 c #Conflicts: 953000 | #Constraints: 40805 2368.23/2373.52 c #Conflicts: 954000 | #Constraints: 41805 2368.23/2373.52 c #Conflicts: 955000 | #Constraints: 42806 2368.23/2373.52 c #Conflicts: 956000 | #Constraints: 43806 2368.23/2373.52 c #Conflicts: 957000 | #Constraints: 44806 2368.23/2373.52 c #Conflicts: 958000 | #Constraints: 45806 2368.23/2373.52 c INPROCESSING 2368.23/2373.52 c GARBAGE COLLECT 2368.23/2373.52 c #Conflicts: 959000 | #Constraints: 25602 2368.23/2373.52 c #Conflicts: 960000 | #Constraints: 26602 2368.23/2373.52 c #Conflicts: 961000 | #Constraints: 27602 2368.23/2373.52 c #Conflicts: 962000 | #Constraints: 28603 2368.23/2373.52 c #Conflicts: 963000 | #Constraints: 29603 2368.23/2373.52 c #Conflicts: 964000 | #Constraints: 30603 2368.23/2373.52 c #Conflicts: 965000 | #Constraints: 31604 2368.23/2373.52 c #Conflicts: 966000 | #Constraints: 32606 2368.23/2373.52 c #Conflicts: 967000 | #Constraints: 33606 2368.23/2373.52 c #Conflicts: 968000 | #Constraints: 34606 2368.23/2373.52 c #Conflicts: 969000 | #Constraints: 35606 2368.23/2373.52 c #Conflicts: 970000 | #Constraints: 36606 2368.23/2373.52 c #Conflicts: 971000 | #Constraints: 37607 2368.23/2373.52 c #Conflicts: 972000 | #Constraints: 38611 2368.23/2373.52 c #Conflicts: 973000 | #Constraints: 39611 2368.23/2373.52 c #Conflicts: 974000 | #Constraints: 40611 2368.23/2373.52 c #Conflicts: 975000 | #Constraints: 41613 2368.23/2373.52 c #Conflicts: 976000 | #Constraints: 42613 2368.23/2373.52 c #Conflicts: 977000 | #Constraints: 43617 2368.23/2373.52 c #Conflicts: 978000 | #Constraints: 44619 2368.23/2373.52 c #Conflicts: 979000 | #Constraints: 45620 2368.23/2373.52 c #Conflicts: 980000 | #Constraints: 46621 2368.23/2373.52 c #Conflicts: 981000 | #Constraints: 47621 2368.23/2373.52 c #Conflicts: 982000 | #Constraints: 48621 2368.23/2373.52 c #Conflicts: 983000 | #Constraints: 49622 2368.23/2373.52 c #Conflicts: 984000 | #Constraints: 50623 2368.23/2373.52 c #Conflicts: 985000 | #Constraints: 51624 2368.23/2373.52 c #Conflicts: 986000 | #Constraints: 52624 2368.23/2373.52 c #Conflicts: 987000 | #Constraints: 53624 2368.23/2373.52 c #Conflicts: 988000 | #Constraints: 54624 2368.23/2373.52 c #Conflicts: 989000 | #Constraints: 55624 2368.23/2373.52 c #Conflicts: 990000 | #Constraints: 56624 2368.23/2373.52 c #Conflicts: 991000 | #Constraints: 57624 2368.23/2373.52 c #Conflicts: 992000 | #Constraints: 58624 2368.23/2373.52 c #Conflicts: 993000 | #Constraints: 59624 2368.23/2373.52 c #Conflicts: 994000 | #Constraints: 60624 2368.23/2373.52 c #Conflicts: 995000 | #Constraints: 61624 2368.23/2373.52 c #Conflicts: 996000 | #Constraints: 62625 2368.23/2373.52 c #Conflicts: 997000 | #Constraints: 63625 2368.23/2373.52 c #Conflicts: 998000 | #Constraints: 64625 2368.23/2373.52 c #Conflicts: 999000 | #Constraints: 65625 2368.23/2373.52 c #Conflicts: 1000000 | #Constraints: 66625 2368.23/2373.52 c #Conflicts: 1001000 | #Constraints: 67626 2368.23/2373.52 c #Conflicts: 1002000 | #Constraints: 68626 3600.01/3609.00 c #Conflicts: 1003000 | #Constraints: 69626 3600.01/3609.00 c #Conflicts: 1004000 | #Constraints: 70626 3600.01/3609.00 c #Conflicts: 1005000 | #Constraints: 71626 3600.01/3609.00 c #Conflicts: 1006000 | #Constraints: 72627 3600.01/3609.00 c #Conflicts: 1007000 | #Constraints: 73627 3600.01/3609.00 c #Conflicts: 1008000 | #Constraints: 74627 3600.01/3609.00 c #Conflicts: 1009000 | #Constraints: 75628 3600.01/3609.00 c #Conflicts: 1010000 | #Constraints: 76628 3600.01/3609.00 c #Conflicts: 1011000 | #Constraints: 77628 3600.01/3609.00 c #Conflicts: 1012000 | #Constraints: 78629 3600.01/3609.00 c #Conflicts: 1013000 | #Constraints: 79629 3600.01/3609.00 c #Conflicts: 1014000 | #Constraints: 80630 3600.01/3609.00 c #Conflicts: 1015000 | #Constraints: 81630 3600.01/3609.00 c #Conflicts: 1016000 | #Constraints: 82630 3600.01/3609.00 c #Conflicts: 1017000 | #Constraints: 83630 3600.01/3609.00 c #Conflicts: 1018000 | #Constraints: 84630 3600.01/3609.00 c #Conflicts: 1019000 | #Constraints: 85630 3600.01/3609.00 c #Conflicts: 1020000 | #Constraints: 86630 3600.01/3609.00 c #Conflicts: 1021000 | #Constraints: 87630 3600.01/3609.00 c #Conflicts: 1022000 | #Constraints: 88630 3600.01/3609.00 c #Conflicts: 1023000 | #Constraints: 89630 3600.01/3609.00 c #Conflicts: 1024000 | #Constraints: 90630 3600.01/3609.00 c #Conflicts: 1025000 | #Constraints: 91630 3600.01/3609.00 c #Conflicts: 1026000 | #Constraints: 92630 3600.01/3609.00 c Program interrupted by user. 3600.01/3609.00 c cpu time 3574.72 s 3600.01/3609.00 c deterministic time 421332021843 4.21e+11 3600.01/3609.00 c optimization time 1615.94 s 3600.01/3609.00 c total solve time 1958.77 s 3600.01/3609.00 c core-guided solve time 0 s 3600.01/3609.00 c propagation time 3325.51 s 3600.01/3609.00 c conflict analysis time 92.9833 s 3600.01/3609.00 c propagations 67560861 3600.01/3609.00 c resolve steps 6148222 3600.01/3609.00 c decisions 10605733 3600.01/3609.00 c conflicts 1026501 3600.01/3609.00 c restarts 2046 3600.01/3609.00 c inprocessing phases 71 3600.01/3609.00 c input clauses 1334 3600.01/3609.00 c input cardinalities 0 3600.01/3609.00 c input general constraints 2025 3600.01/3609.00 c input average constraint length 3.81 3600.01/3609.00 c input average constraint degree 20949313541.24 3600.01/3609.00 c learned clauses 274401 3600.01/3609.00 c learned cardinalities 4972 3600.01/3609.00 c learned general constraints 747478 3600.01/3609.00 c learned average constraint length 97.67 3600.01/3609.00 c learned average constraint degree 188520636.60 3600.01/3609.00 c watched constraints 669213 3600.01/3609.00 c counting constraints 80290 3600.01/3609.00 c gcd simplifications 32133 3600.01/3609.00 c detected cardinalities 1283 3600.01/3609.00 c weakened non-implied lits 4851302 3600.01/3609.00 c weakened non-implying lits 213865 3600.01/3609.00 c original variables 3220 3600.01/3609.00 c clausal propagations 16824463 3600.01/3609.00 c cardinality propagations 75491 3600.01/3609.00 c watched propagations 10064262 3600.01/3609.00 c counting propagations 39987120 3600.01/3609.00 c watch lookups 68592778948 3600.01/3609.00 c watch backjump lookups 65569562581 3600.01/3609.00 c watch checks 197899786497 3600.01/3609.00 c propagation checks 88799215026 3600.01/3609.00 c constraint additions 311020960 3600.01/3609.00 c trail pops 79191280 3600.01/3609.00 c formula constraints 3359 3600.01/3609.00 c learned constraints 1026410 3600.01/3609.00 c bound constraints 0 3600.01/3609.00 c core-guided constraints 0 3600.01/3609.00 c encountered formula constraints 3379369 3600.01/3609.00 c encountered learned constraints 3780459 3600.01/3609.00 c encountered bound constraints 0 3600.01/3609.00 c encountered core-guided constraints 0 3600.01/3609.00 c LP total time 307.726 s 3600.01/3609.00 c LP solve time 297.45 s 3600.01/3609.00 c LP constraints added 3485 3600.01/3609.00 c LP constraints removed 82 3600.01/3609.00 c LP pivots internal 1027573 3600.01/3609.00 c LP pivots root 1272383 3600.01/3609.00 c LP calls 1651 3600.01/3609.00 c LP optimalities 1260 3600.01/3609.00 c LP no pivot count 1102 3600.01/3609.00 c LP infeasibilities 345 3600.01/3609.00 c LP valid Farkas constraints 332 3600.01/3609.00 c LP learned Farkas constraints 91 3600.01/3609.00 c LP basis resets 47 3600.01/3609.00 c LP cycling count 6 3600.01/3609.00 c LP singular count 30 3600.01/3609.00 c LP no primal count 0 3600.01/3609.00 c LP no farkas count 11 3600.01/3609.00 c LP other issue count 0 3600.01/3609.00 c LP Gomory cuts 18 3600.01/3609.00 c LP learned cuts 108 3600.01/3609.00 c LP deleted cuts 82 3600.01/3609.00 c LP encountered Gomory constraints 5 3600.01/3609.00 c LP encountered Farkas constraints 12909 3600.01/3609.00 c LP encountered learned Farkas constraints 1890 3600.01/3609.00 c CG auxiliary variables introduced 0 3600.01/3609.00 c CG solutions found 0 3600.01/3609.00 c CG cores constructed 0 3600.01/3609.00 c CG core cardinality constraints returned 0 3600.01/3609.00 c CG unit cores 0 3600.01/3609.00 c CG single cores 0 3600.01/3609.00 c CG blocks removed during cardinality reduction 0 3600.01/3609.00 c CG first core best 0 3600.01/3609.00 c CG decision core best 0 3600.01/3609.00 c CG core reduction tie 0 3600.01/3609.00 c CG core degree average 0.00 3600.01/3609.00 c CG core slack average 0.00 3600.01/3609.00 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 (61932 MiB free)
memory of node 1: 64473 MiB (61695 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455841-1721469146/watcher-4455841-1721469146 -o /tmp/evaluation-result-4455841-1721469146/solver-4455841-1721469146 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721461845-1098065 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455841-1721469146.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1103774, runsolver pid=1103771
[startup+0.100089 s]*
/proc/loadavg: 4.23 4.17 4.12 5/257 1103775
/proc/meminfo: memFree=126586432/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=43672 memory=15236 CPUtime=0.09 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 1961 0 0 0 8 1 0 0 20 0 1 0 199082740 44720128 3809 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 10918 3809 1738 922 0 2870 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43672 KiB
Current children cumulated memory: 15236 KiB
[startup+0.20542 s]*
/proc/loadavg: 4.23 4.17 4.12 5/257 1103775
/proc/meminfo: memFree=126586096/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=43872 memory=15236 CPUtime=0.2 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 2004 0 0 0 17 3 0 0 20 0 1 0 199082740 44924928 3809 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 10968 3809 1738 922 0 2920 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43872 KiB
Current children cumulated memory: 15236 KiB
[startup+0.305395 s]*
/proc/loadavg: 4.23 4.17 4.12 5/257 1103775
/proc/meminfo: memFree=126585760/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=44064 memory=15704 CPUtime=0.3 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 2075 0 0 0 26 4 0 0 20 0 1 0 199082740 45121536 3926 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 11016 3926 1793 922 0 2968 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44064 KiB
Current children cumulated memory: 15704 KiB
[startup+0.700206 s]
/proc/loadavg: 4.23 4.17 4.12 5/257 1103775
/proc/meminfo: memFree=126585160/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=46484 memory=18664 CPUtime=0.68 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 2693 0 0 0 60 8 0 0 20 0 1 0 199082740 47599616 4666 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 11621 4666 1879 922 0 3573 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46484 KiB
Current children cumulated memory: 18664 KiB
[startup+1.50023 s]
/proc/loadavg: 4.21 4.16 4.12 5/257 1103775
/proc/meminfo: memFree=126585020/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=46332 memory=18416 CPUtime=1.49 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 2803 0 0 0 134 15 0 0 20 0 1 0 199082740 47443968 4604 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 11583 4604 1879 922 0 3535 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46332 KiB
Current children cumulated memory: 18416 KiB
[startup+3.10529 s]
/proc/loadavg: 4.21 4.16 4.12 5/257 1103775
/proc/meminfo: memFree=126584044/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=46872 memory=19204 CPUtime=3.09 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 2987 0 0 0 287 22 0 0 20 0 1 0 199082740 47996928 4801 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 11718 4801 1879 922 0 3670 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 46872 KiB
Current children cumulated memory: 19204 KiB
[startup+6.30021 s]
/proc/loadavg: 4.19 4.16 4.12 5/257 1103777
/proc/meminfo: memFree=126581804/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=49188 memory=21308 CPUtime=6.27 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 3533 0 0 0 587 40 0 0 20 0 1 0 199082740 50368512 5327 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 12297 5327 1879 922 0 4249 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 49188 KiB
Current children cumulated memory: 21308 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.16 4.12 5/257 1103777
/proc/meminfo: memFree=126577152/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=50988 memory=25056 CPUtime=12.66 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 4239 0 0 0 1205 61 0 0 20 0 1 0 199082740 52211712 6264 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 12747 6264 1879 922 0 4699 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 50988 KiB
Current children cumulated memory: 25056 KiB
[startup+25.5002 s]
/proc/loadavg: 4.23 4.17 4.12 5/257 1103780
/proc/meminfo: memFree=126575052/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=52580 memory=26800 CPUtime=25.44 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 4650 0 0 0 2431 113 0 0 20 0 1 0 199082740 53841920 6700 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 13145 6700 1927 922 0 5097 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 52580 KiB
Current children cumulated memory: 26800 KiB
[startup+51.1053 s]
/proc/loadavg: 4.19 4.17 4.12 5/257 1103784
/proc/meminfo: memFree=126568392/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=60084 memory=32788 CPUtime=50.98 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 6798 0 0 0 4888 210 0 0 20 0 1 0 199082740 61526016 8197 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 15021 8197 1927 922 0 6973 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 60084 KiB
Current children cumulated memory: 32788 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.16 4.12 5/257 1103793
/proc/meminfo: memFree=126545016/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=84500 memory=54496 CPUtime=102.07 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 11981 0 0 0 9831 376 0 0 20 0 1 0 199082740 86528000 13624 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 21125 13624 1927 922 0 13077 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 84500 KiB
Current children cumulated memory: 54496 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/256 1104188
/proc/meminfo: memFree=126515168/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=107692 memory=75560 CPUtime=161.93 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 15964 0 0 0 15703 490 0 0 20 0 1 0 199082740 110276608 18890 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 26923 18890 1927 922 0 18875 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 107692 KiB
Current children cumulated memory: 75560 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/257 1104199
/proc/meminfo: memFree=126490768/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=140384 memory=97052 CPUtime=221.79 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 19336 0 0 0 21641 538 0 0 20 0 1 0 199082740 143753216 24263 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 35096 24263 1927 922 0 27048 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 140384 KiB
Current children cumulated memory: 97052 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/257 1104209
/proc/meminfo: memFree=126469224/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=149484 memory=111240 CPUtime=281.67 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 21405 0 0 0 27582 585 0 0 20 0 1 0 199082740 153071616 27810 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 37371 27810 1927 922 0 29323 0
Current children cumulated CPU time: 281.67 s
Current children cumulated vsize: 149484 KiB
Current children cumulated memory: 111240 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/259 1104391
/proc/meminfo: memFree=126444028/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=153468 memory=114988 CPUtime=341.55 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 22637 0 0 0 33465 690 0 0 20 0 1 0 199082740 157151232 28747 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 38367 28747 1927 922 0 30319 0
Current children cumulated CPU time: 341.55 s
Current children cumulated vsize: 153468 KiB
Current children cumulated memory: 114988 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 4.11 4.10 5/259 1104402
/proc/meminfo: memFree=126433152/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=153800 memory=115432 CPUtime=401.42 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 23155 0 0 0 39356 786 0 0 20 0 1 0 199082740 157491200 28858 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 38450 28858 1927 922 0 30402 0
Current children cumulated CPU time: 401.42 s
Current children cumulated vsize: 153800 KiB
Current children cumulated memory: 115432 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.15 4.11 5/258 1104462
/proc/meminfo: memFree=126627588/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=159552 memory=120576 CPUtime=461.29 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 24474 0 0 0 45287 842 0 0 20 0 1 0 199082740 163381248 30144 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 39888 30144 1927 922 0 31840 0
################
# More data... #
################
Current children cumulated memory: 243728 KiB
[startup+2862.3 s]
/proc/loadavg: 2.06 2.09 2.44 3/244 1105587
/proc/meminfo: memFree=126612444/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=311064 memory=246564 CPUtime=2855.62 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 46172 0 0 0 283114 2448 0 0 20 0 1 0 199082740 318529536 61641 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 77766 61641 1927 922 0 69718 0
Current children cumulated CPU time: 2855.62 s
Current children cumulated vsize: 311064 KiB
Current children cumulated memory: 246564 KiB
[startup+2922.3 s]
/proc/loadavg: 2.12 2.10 2.42 3/244 1105598
/proc/meminfo: memFree=126607072/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=311444 memory=250728 CPUtime=2915.43 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 46356 0 0 0 289090 2453 0 0 20 0 1 0 199082740 318918656 62682 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 77861 62682 1927 922 0 69813 0
Current children cumulated CPU time: 2915.43 s
Current children cumulated vsize: 311444 KiB
Current children cumulated memory: 250728 KiB
[startup+2982.3 s]
/proc/loadavg: 2.10 2.09 2.40 3/244 1105608
/proc/meminfo: memFree=126603576/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=312492 memory=253560 CPUtime=2975.24 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 46515 0 0 0 295064 2460 0 0 20 0 1 0 199082740 319991808 63390 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 78123 63390 1927 922 0 70075 0
Current children cumulated CPU time: 2975.24 s
Current children cumulated vsize: 312492 KiB
Current children cumulated memory: 253560 KiB
[startup+3042.3 s]
/proc/loadavg: 2.11 2.09 2.38 3/244 1105619
/proc/meminfo: memFree=126581204/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=314464 memory=259200 CPUtime=3035.05 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 47130 0 0 0 301039 2466 0 0 20 0 1 0 199082740 322011136 64800 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 78616 64800 1927 922 0 70568 0
Current children cumulated CPU time: 3035.05 s
Current children cumulated vsize: 314464 KiB
Current children cumulated memory: 259200 KiB
[startup+3102.3 s]
/proc/loadavg: 2.09 2.09 2.36 3/244 1105631
/proc/meminfo: memFree=126574772/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=315488 memory=261640 CPUtime=3094.89 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 47267 0 0 0 307013 2476 0 0 20 0 1 0 199082740 323059712 65410 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 78872 65410 1927 922 0 70824 0
Current children cumulated CPU time: 3094.89 s
Current children cumulated vsize: 315488 KiB
Current children cumulated memory: 261640 KiB
[startup+3162.3 s]
/proc/loadavg: 2.08 2.08 2.34 3/244 1105642
/proc/meminfo: memFree=126569636/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=316512 memory=264252 CPUtime=3154.71 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 47528 0 0 0 312990 2481 0 0 20 0 1 0 199082740 324108288 66063 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 79128 66063 1927 922 0 71080 0
Current children cumulated CPU time: 3154.71 s
Current children cumulated vsize: 316512 KiB
Current children cumulated memory: 264252 KiB
[startup+3222.3 s]
/proc/loadavg: 2.06 2.08 2.32 3/241 1105652
/proc/meminfo: memFree=126565232/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=319072 memory=267652 CPUtime=3214.52 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 47998 0 0 0 318965 2487 0 0 20 0 1 0 199082740 326729728 66913 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 79768 66913 1927 922 0 71720 0
Current children cumulated CPU time: 3214.52 s
Current children cumulated vsize: 319072 KiB
Current children cumulated memory: 267652 KiB
[startup+3282.3 s]
/proc/loadavg: 2.07 2.08 2.30 3/242 1105663
/proc/meminfo: memFree=126559848/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=322148 memory=271524 CPUtime=3274.31 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 48533 0 0 0 324938 2493 0 0 20 0 1 0 199082740 329879552 67881 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 80537 67881 1927 922 0 72489 0
Current children cumulated CPU time: 3274.31 s
Current children cumulated vsize: 322148 KiB
Current children cumulated memory: 271524 KiB
[startup+3342.3 s]
/proc/loadavg: 2.21 2.11 2.30 3/242 1105674
/proc/meminfo: memFree=126555632/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=324196 memory=274692 CPUtime=3334.12 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 48938 0 0 0 330914 2498 0 0 20 0 1 0 199082740 331976704 68673 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 81049 68673 1927 922 0 73001 0
Current children cumulated CPU time: 3334.12 s
Current children cumulated vsize: 324196 KiB
Current children cumulated memory: 274692 KiB
[startup+3402.3 s]
/proc/loadavg: 2.14 2.11 2.28 3/242 1105684
/proc/meminfo: memFree=126551940/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=325732 memory=277320 CPUtime=3393.93 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 49272 0 0 0 336889 2504 0 0 20 0 1 0 199082740 333549568 69330 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 81433 69330 1927 922 0 73385 0
Current children cumulated CPU time: 3393.93 s
Current children cumulated vsize: 325732 KiB
Current children cumulated memory: 277320 KiB
[startup+3462.3 s]
/proc/loadavg: 2.05 2.08 2.26 3/244 1105699
/proc/meminfo: memFree=126546700/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=325732 memory=279680 CPUtime=3453.73 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 49417 0 0 0 342864 2509 0 0 20 0 1 0 199082740 333549568 69920 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 81433 69920 1927 922 0 73385 0
Current children cumulated CPU time: 3453.73 s
Current children cumulated vsize: 325732 KiB
Current children cumulated memory: 279680 KiB
[startup+3522.3 s]
/proc/loadavg: 2.12 2.10 2.25 3/244 1105710
/proc/meminfo: memFree=126542884/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=326756 memory=282248 CPUtime=3513.55 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 49690 0 0 0 348839 2516 0 0 20 0 1 0 199082740 334598144 70562 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 81689 70562 1927 922 0 73641 0
Current children cumulated CPU time: 3513.55 s
Current children cumulated vsize: 326756 KiB
Current children cumulated memory: 282248 KiB
[startup+3582.3 s]
/proc/loadavg: 2.09 2.09 2.24 3/243 1105721
/proc/meminfo: memFree=126526696/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=333476 memory=297724 CPUtime=3573.39 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 51345 0 0 0 354813 2526 0 0 20 0 1 0 199082740 341479424 74431 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 83369 74431 1927 922 0 75321 0
Current children cumulated CPU time: 3573.39 s
Current children cumulated vsize: 333476 KiB
Current children cumulated memory: 297724 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 2.13 2.10 2.24 3/243 1105726
/proc/meminfo: memFree=126503672/131524600 swapFree=131071996/131071996
[pid=1103774] ppid=1103771 vsize=358116 memory=320252 CPUtime=3600.01 cores=4,6
/proc/1103774/stat : 1103774 (roundingsat) R 1103771 1103774 1098054 0 -1 4194304 55981 0 0 0 357471 2530 0 0 20 0 1 0 199082740 366710784 80063 134679101440 4194304 7968373 140737022050624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 9400320 140737022055356 140737022055520 140737022055520 140737022062537 0
/proc/1103774/statm: 89529 80063 1927 922 0 81481 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 358116 KiB
Current children cumulated memory: 320252 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.01 s]
# the end of solver process 1103774 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3574.72 s, system=25.3068 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.01
CPU time (s): 3600.02
CPU user time (s): 3574.72
CPU system time (s): 25.3068
CPU usage (%): 99.751
Max. virtual memory (cumulated for all children) (KiB): 358116
Max. memory (cumulated for all children) (KiB): 320252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.72
system time used= 25.3068
maximum resident set size= 320252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55990
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= 43
involuntary context switches= 2888
# summary of solver processes directly reported to runsolver:
# pid: 1103774
# total CPU time (s): 3600.02
# total CPU user time (s): 3574.72
# total CPU system time (s): 25.3068
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64601 second user time and 15.3942 second system time
The end
Begin job on nodeC030 at 2024-07-20 11:52:39 IDJOB=4455841 IDBENCH=176057 IDSOLVER=3084 FILE ID=nodeC030/4455841-1721469146 RUNJOBID= nodeC030-1721461845-1098065 SLURM_JOB_ID= 7545713 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-23arraycomm_teq_tvars_greater.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-4455841-1721469146/watcher-4455841-1721469146 -o /tmp/evaluation-result-4455841-1721469146/solver-4455841-1721469146 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721461845-1098065 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455841-1721469146.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ea45ea8fc9874a86ca315aec231afca1 RANDOM SEED=1702138980 nodeC030.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 : 3650.982 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.28 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 : 3683.319 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.11 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.062 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.973 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.11 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 : 3652.587 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.28 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 : 3683.426 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.11 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 : 3640.356 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.28 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.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126595492 kB MemAvailable: 129167264 kB Buffers: 545800 kB Cached: 2845892 kB SwapCached: 0 kB Active: 1222028 kB Inactive: 3035616 kB Active(anon): 1564 kB Inactive(anon): 910008 kB Active(file): 1220464 kB Inactive(file): 2125608 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5672 kB Writeback: 0 kB AnonPages: 858704 kB Mapped: 117356 kB Shmem: 45912 kB KReclaimable: 131044 kB Slab: 249364 kB SReclaimable: 131044 kB SUnreclaim: 118320 kB KernelStack: 4056 kB PageTables: 11104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1351360 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 74560 kB HardwareCorrupted: 0 kB AnonHugePages: 663552 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: 262868 kB DirectMap2M: 23627776 kB DirectMap1G: 112197632 kB Free space on /tmp at the end= 890068 MiB End job on nodeC030 at 2024-07-20 12:52:49