| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 1 | 3600.08 | 3610.9 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_1.opb |
| MD5SUM | 31fd86554dd2fe3e1cfc98032a9196a9 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 602.754 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 120 |
| Total number of constraints | 10 |
| 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 | 10 |
| Minimum length of a constraint | 55 |
| Maximum length of a constraint | 56 |
| Number of terms in the objective function | 80 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2550 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1086 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 3768 |
| Number of bits of the biggest sum of numbers | 12 |
| 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.00 c #variables 120 #constraints 10 0.00/0.00 c bounds - >= 0 @ 0.000683 0.00/0.00 c rational objective 0 0.09/0.20 c bounds 196 >= 0 @ 0.010542 0.09/0.20 c bounds 169 >= 0 @ 0.011095 0.09/0.20 c bounds 65 >= 0 @ 0.011307 0.09/0.20 c bounds 61 >= 0 @ 0.01147 0.09/0.20 c bounds 27 >= 0 @ 0.013328 0.09/0.20 c #Conflicts: 1000 | #Constraints: 1029 0.09/0.20 c #Conflicts: 2000 | #Constraints: 2032 0.09/0.20 c INPROCESSING 0.09/0.20 c GARBAGE COLLECT 0.09/0.20 c rational objective 0 0.49/0.52 c bounds 25 >= 0 @ 0.188962 0.49/0.52 c bounds 23 >= 0 @ 0.189178 0.49/0.52 c bounds 21 >= 0 @ 0.189178 0.49/0.52 c #Conflicts: 3000 | #Constraints: 2039 0.49/0.52 c bounds 19 >= 0 @ 0.337731 0.49/0.52 c #Conflicts: 4000 | #Constraints: 3046 0.49/0.52 c INPROCESSING 0.49/0.52 c GARBAGE COLLECT 0.49/0.52 c rational objective 0 0.88/0.94 c bounds 15 >= 0 @ 0.504282 0.88/0.94 c bounds 14 >= 0 @ 0.527693 0.88/0.94 c bounds 12 >= 0 @ 0.528128 0.88/0.94 c #Conflicts: 5000 | #Constraints: 2452 0.88/0.94 c #Conflicts: 6000 | #Constraints: 3455 0.88/0.94 c INPROCESSING 0.88/0.94 c GARBAGE COLLECT 0.88/0.94 c rational objective 0 1.38/1.44 c #Conflicts: 7000 | #Constraints: 2443 1.38/1.44 c #Conflicts: 8000 | #Constraints: 3448 1.38/1.44 c #Conflicts: 9000 | #Constraints: 4450 1.38/1.44 c INPROCESSING 1.38/1.44 c GARBAGE COLLECT 1.38/1.44 c rational objective 0 1.99/2.05 c bounds 11 >= 0 @ 1.46842 1.99/2.05 c #Conflicts: 10000 | #Constraints: 3143 1.99/2.05 c #Conflicts: 11000 | #Constraints: 4146 1.99/2.05 c bounds 10 >= 0 @ 1.76473 1.99/2.05 c #Conflicts: 12000 | #Constraints: 5153 1.99/2.05 c INPROCESSING 1.99/2.05 c GARBAGE COLLECT 1.99/2.05 c rational objective 0 2.68/2.77 c #Conflicts: 13000 | #Constraints: 3594 2.68/2.77 c #Conflicts: 14000 | #Constraints: 4596 2.68/2.77 c #Conflicts: 15000 | #Constraints: 5596 2.68/2.77 c INPROCESSING 2.68/2.77 c GARBAGE COLLECT 2.68/2.77 c rational objective 0 3.57/3.62 c bounds 9 >= 0 @ 2.7198 3.57/3.62 c #Conflicts: 16000 | #Constraints: 3816 3.57/3.62 c bounds 7 >= 0 @ 2.96124 3.57/3.62 c #Conflicts: 17000 | #Constraints: 4821 3.57/3.62 c #Conflicts: 18000 | #Constraints: 5823 3.57/3.62 c INPROCESSING 3.57/3.62 c GARBAGE COLLECT 3.57/3.62 c rational objective 0 4.48/4.51 c #Conflicts: 19000 | #Constraints: 3828 4.48/4.51 c #Conflicts: 20000 | #Constraints: 4831 4.48/4.51 c #Conflicts: 21000 | #Constraints: 5831 4.48/4.51 c INPROCESSING 4.48/4.51 c GARBAGE COLLECT 4.48/4.51 c rational objective 0 5.57/5.64 c #Conflicts: 22000 | #Constraints: 3627 5.57/5.64 c bounds 6 >= 0 @ 4.69743 5.57/5.64 c bounds 4 >= 0 @ 4.69817 5.57/5.64 c #Conflicts: 23000 | #Constraints: 4629 5.57/5.64 c #Conflicts: 24000 | #Constraints: 5632 5.57/5.64 c #Conflicts: 25000 | #Constraints: 6634 5.57/5.64 c INPROCESSING 5.57/5.64 c GARBAGE COLLECT 5.57/5.64 c rational objective 0 6.67/6.79 c #Conflicts: 26000 | #Constraints: 4234 6.67/6.79 c #Conflicts: 27000 | #Constraints: 5235 6.67/6.79 c #Conflicts: 28000 | #Constraints: 6236 6.67/6.79 c #Conflicts: 29000 | #Constraints: 7237 6.67/6.79 c INPROCESSING 6.67/6.79 c GARBAGE COLLECT 6.67/6.79 c rational objective 0 8.17/8.26 c #Conflicts: 30000 | #Constraints: 4630 8.17/8.26 c #Conflicts: 31000 | #Constraints: 5632 8.17/8.26 c #Conflicts: 32000 | #Constraints: 6634 8.17/8.26 c #Conflicts: 33000 | #Constraints: 7634 8.17/8.26 c INPROCESSING 8.17/8.26 c GARBAGE COLLECT 8.17/8.26 c rational objective 0 9.86/9.94 c #Conflicts: 34000 | #Constraints: 4834 9.86/9.94 c #Conflicts: 35000 | #Constraints: 5835 9.86/9.94 c #Conflicts: 36000 | #Constraints: 6835 9.86/9.94 c #Conflicts: 37000 | #Constraints: 7835 9.86/9.94 c INPROCESSING 9.86/9.94 c GARBAGE COLLECT 9.86/9.94 c rational objective 0 11.86/11.92 c #Conflicts: 38000 | #Constraints: 4832 11.86/11.92 c #Conflicts: 39000 | #Constraints: 5832 11.86/11.92 c #Conflicts: 40000 | #Constraints: 6832 11.86/11.92 c #Conflicts: 41000 | #Constraints: 7832 11.86/11.92 c INPROCESSING 11.86/11.92 c GARBAGE COLLECT 11.86/11.92 c rational objective 0 14.06/14.17 c #Conflicts: 42000 | #Constraints: 4634 14.06/14.17 c #Conflicts: 43000 | #Constraints: 5635 14.06/14.17 c #Conflicts: 44000 | #Constraints: 6637 14.06/14.17 c #Conflicts: 45000 | #Constraints: 7637 14.06/14.17 c #Conflicts: 46000 | #Constraints: 8637 14.06/14.17 c INPROCESSING 14.06/14.17 c GARBAGE COLLECT 14.06/14.17 c rational objective 0 16.64/16.79 c #Conflicts: 47000 | #Constraints: 5232 16.64/16.79 c #Conflicts: 48000 | #Constraints: 6233 16.64/16.79 c #Conflicts: 49000 | #Constraints: 7233 16.64/16.79 c #Conflicts: 50000 | #Constraints: 8233 16.64/16.79 c #Conflicts: 51000 | #Constraints: 9235 16.64/16.79 c INPROCESSING 16.64/16.79 c GARBAGE COLLECT 16.64/16.79 c rational objective 0 19.33/19.49 c #Conflicts: 52000 | #Constraints: 5634 19.33/19.49 c #Conflicts: 53000 | #Constraints: 6634 19.33/19.49 c #Conflicts: 54000 | #Constraints: 7634 19.33/19.49 c #Conflicts: 55000 | #Constraints: 8634 19.33/19.49 c #Conflicts: 56000 | #Constraints: 9634 19.33/19.49 c INPROCESSING 19.33/19.49 c GARBAGE COLLECT 19.33/19.49 c rational objective 0 22.63/22.70 c #Conflicts: 57000 | #Constraints: 5832 22.63/22.70 c #Conflicts: 58000 | #Constraints: 6833 22.63/22.70 c #Conflicts: 59000 | #Constraints: 7833 22.63/22.70 c #Conflicts: 60000 | #Constraints: 8833 22.63/22.70 c #Conflicts: 61000 | #Constraints: 9833 22.63/22.70 c INPROCESSING 22.63/22.70 c GARBAGE COLLECT 22.63/22.70 c rational objective 0 26.12/26.20 c #Conflicts: 62000 | #Constraints: 5836 26.12/26.20 c #Conflicts: 63000 | #Constraints: 6836 26.12/26.20 c #Conflicts: 64000 | #Constraints: 7836 26.12/26.20 c #Conflicts: 65000 | #Constraints: 8837 26.12/26.20 c #Conflicts: 66000 | #Constraints: 9837 26.12/26.20 c INPROCESSING 26.12/26.20 c GARBAGE COLLECT 26.12/26.20 c rational objective 0 29.91/30.01 c #Conflicts: 67000 | #Constraints: 5635 29.91/30.01 c #Conflicts: 68000 | #Constraints: 6635 29.91/30.01 c #Conflicts: 69000 | #Constraints: 7636 29.91/30.01 c #Conflicts: 70000 | #Constraints: 8636 29.91/30.01 c #Conflicts: 71000 | #Constraints: 9636 29.91/30.01 c #Conflicts: 72000 | #Constraints: 10636 29.91/30.01 c INPROCESSING 29.91/30.01 c GARBAGE COLLECT 29.91/30.01 c rational objective 0 33.70/33.84 c #Conflicts: 73000 | #Constraints: 6238 33.70/33.84 c #Conflicts: 74000 | #Constraints: 7238 33.70/33.84 c #Conflicts: 75000 | #Constraints: 8238 33.70/33.84 c #Conflicts: 76000 | #Constraints: 9240 33.70/33.84 c #Conflicts: 77000 | #Constraints: 10240 33.70/33.84 c #Conflicts: 78000 | #Constraints: 11240 33.70/33.84 c INPROCESSING 33.70/33.84 c GARBAGE COLLECT 33.70/33.84 c rational objective 0 38.09/38.28 c #Conflicts: 79000 | #Constraints: 6639 38.09/38.28 c #Conflicts: 80000 | #Constraints: 7639 38.09/38.28 c #Conflicts: 81000 | #Constraints: 8640 38.09/38.28 c #Conflicts: 82000 | #Constraints: 9640 38.09/38.28 c #Conflicts: 83000 | #Constraints: 10640 38.09/38.28 c #Conflicts: 84000 | #Constraints: 11640 38.09/38.28 c INPROCESSING 38.09/38.28 c GARBAGE COLLECT 38.09/38.28 c rational objective 0 44.28/44.43 c #Conflicts: 85000 | #Constraints: 7338 44.28/44.43 c #Conflicts: 86000 | #Constraints: 8911 44.28/44.43 c #Conflicts: 87000 | #Constraints: 10021 44.28/44.43 c #Conflicts: 88000 | #Constraints: 11625 44.28/44.43 c #Conflicts: 89000 | #Constraints: 12703 44.28/44.43 c #Conflicts: 90000 | #Constraints: 13703 44.28/44.43 c INPROCESSING 44.28/44.43 c GARBAGE COLLECT 44.28/44.43 c rational objective 0 51.65/51.83 c #Conflicts: 91000 | #Constraints: 8099 51.65/51.83 c #Conflicts: 92000 | #Constraints: 9263 51.65/51.83 c #Conflicts: 93000 | #Constraints: 10263 51.65/51.83 c #Conflicts: 94000 | #Constraints: 11826 51.65/51.83 c #Conflicts: 95000 | #Constraints: 13231 51.65/51.83 c #Conflicts: 96000 | #Constraints: 14602 51.65/51.83 c INPROCESSING 51.65/51.83 c GARBAGE COLLECT 51.65/51.83 c rational objective 0 60.43/60.60 c #Conflicts: 97000 | #Constraints: 8275 60.43/60.60 c #Conflicts: 98000 | #Constraints: 9961 60.43/60.60 c #Conflicts: 99000 | #Constraints: 11546 60.43/60.60 c #Conflicts: 100000 | #Constraints: 13225 60.43/60.60 c #Conflicts: 101000 | #Constraints: 14932 60.43/60.60 c #Conflicts: 102000 | #Constraints: 16607 60.43/60.60 c #Conflicts: 103000 | #Constraints: 18104 60.43/60.60 c INPROCESSING 60.43/60.60 c GARBAGE COLLECT 60.43/60.60 c rational objective 0 70.39/70.64 c #Conflicts: 104000 | #Constraints: 10591 70.39/70.64 c #Conflicts: 105000 | #Constraints: 12091 70.39/70.64 c #Conflicts: 106000 | #Constraints: 13769 70.39/70.64 c #Conflicts: 107000 | #Constraints: 15272 70.39/70.64 c bounds 2 >= 0 @ 65.7781 70.39/70.64 c #Conflicts: 108000 | #Constraints: 16571 70.39/70.64 c #Conflicts: 109000 | #Constraints: 18124 70.39/70.64 c #Conflicts: 110000 | #Constraints: 19666 70.39/70.64 c INPROCESSING 70.39/70.64 c GARBAGE COLLECT 70.39/70.64 c rational objective 0 80.77/81.05 c #Conflicts: 111000 | #Constraints: 11247 80.77/81.05 c #Conflicts: 112000 | #Constraints: 12583 80.77/81.05 c #Conflicts: 113000 | #Constraints: 14100 80.77/81.05 c #Conflicts: 114000 | #Constraints: 15721 80.77/81.05 c #Conflicts: 115000 | #Constraints: 16793 80.77/81.05 c #Conflicts: 116000 | #Constraints: 18089 80.77/81.05 c #Conflicts: 117000 | #Constraints: 19529 80.77/81.05 c INPROCESSING 80.77/81.05 c GARBAGE COLLECT 80.77/81.05 c rational objective 0 90.83/91.15 c #Conflicts: 118000 | #Constraints: 10941 90.83/91.15 c #Conflicts: 119000 | #Constraints: 11997 90.83/91.15 c #Conflicts: 120000 | #Constraints: 13486 90.83/91.15 c #Conflicts: 121000 | #Constraints: 14922 90.83/91.15 c #Conflicts: 122000 | #Constraints: 16314 90.83/91.15 c #Conflicts: 123000 | #Constraints: 17366 90.83/91.15 c #Conflicts: 124000 | #Constraints: 19061 90.83/91.15 c INPROCESSING 90.83/91.15 c GARBAGE COLLECT 90.83/91.15 c rational objective 0 101.89/102.24 c #Conflicts: 125000 | #Constraints: 10680 101.89/102.24 c #Conflicts: 126000 | #Constraints: 11854 101.89/102.24 c #Conflicts: 127000 | #Constraints: 13119 101.89/102.24 c #Conflicts: 128000 | #Constraints: 14450 101.89/102.24 c #Conflicts: 129000 | #Constraints: 15558 101.89/102.24 c #Conflicts: 130000 | #Constraints: 17210 101.89/102.24 c #Conflicts: 131000 | #Constraints: 18470 101.89/102.24 c INPROCESSING 101.89/102.24 c GARBAGE COLLECT 101.89/102.24 c rational objective 0 113.06/113.43 c #Conflicts: 132000 | #Constraints: 10221 113.06/113.43 c #Conflicts: 133000 | #Constraints: 11836 113.06/113.43 c #Conflicts: 134000 | #Constraints: 13534 113.06/113.43 c #Conflicts: 135000 | #Constraints: 15193 113.06/113.43 c #Conflicts: 136000 | #Constraints: 16878 113.06/113.43 c #Conflicts: 137000 | #Constraints: 18573 113.06/113.43 c #Conflicts: 138000 | #Constraints: 20269 113.06/113.43 c #Conflicts: 139000 | #Constraints: 21925 113.06/113.43 c INPROCESSING 113.06/113.43 c GARBAGE COLLECT 113.06/113.43 c rational objective 0 128.11/128.50 c #Conflicts: 140000 | #Constraints: 12535 128.11/128.50 c #Conflicts: 141000 | #Constraints: 14258 128.11/128.50 c #Conflicts: 142000 | #Constraints: 15891 128.11/128.50 c #Conflicts: 143000 | #Constraints: 17539 128.11/128.50 c #Conflicts: 144000 | #Constraints: 19191 128.11/128.50 c #Conflicts: 145000 | #Constraints: 20837 128.11/128.50 c #Conflicts: 146000 | #Constraints: 22506 128.11/128.50 c #Conflicts: 147000 | #Constraints: 24179 128.11/128.50 c INPROCESSING 128.11/128.50 c GARBAGE COLLECT 128.11/128.50 c rational objective 0 140.58/141.08 c #Conflicts: 148000 | #Constraints: 13109 140.58/141.08 c #Conflicts: 149000 | #Constraints: 14109 140.58/141.08 c #Conflicts: 150000 | #Constraints: 15109 140.58/141.08 c #Conflicts: 151000 | #Constraints: 16109 140.58/141.08 c #Conflicts: 152000 | #Constraints: 17109 140.58/141.08 c #Conflicts: 153000 | #Constraints: 18109 140.58/141.08 c #Conflicts: 154000 | #Constraints: 19109 140.58/141.08 c #Conflicts: 155000 | #Constraints: 20109 140.58/141.08 c INPROCESSING 140.58/141.08 c GARBAGE COLLECT 140.58/141.08 c rational objective 0 151.84/152.36 c #Conflicts: 156000 | #Constraints: 11071 151.84/152.36 c #Conflicts: 157000 | #Constraints: 12071 151.84/152.36 c #Conflicts: 158000 | #Constraints: 13071 151.84/152.36 c #Conflicts: 159000 | #Constraints: 14072 151.84/152.36 c #Conflicts: 160000 | #Constraints: 15072 151.84/152.36 c #Conflicts: 161000 | #Constraints: 16072 151.84/152.36 c #Conflicts: 162000 | #Constraints: 17073 151.84/152.36 c #Conflicts: 163000 | #Constraints: 18076 151.84/152.36 c INPROCESSING 151.84/152.36 c GARBAGE COLLECT 151.84/152.36 c rational objective 0 167.39/167.92 c #Conflicts: 164000 | #Constraints: 10513 167.39/167.92 c #Conflicts: 165000 | #Constraints: 12223 167.39/167.92 c #Conflicts: 166000 | #Constraints: 13914 167.39/167.92 c #Conflicts: 167000 | #Constraints: 15616 167.39/167.92 c #Conflicts: 168000 | #Constraints: 17315 167.39/167.92 c #Conflicts: 169000 | #Constraints: 19011 167.39/167.92 c #Conflicts: 170000 | #Constraints: 20656 167.39/167.92 c #Conflicts: 171000 | #Constraints: 22361 167.39/167.92 c INPROCESSING 167.39/167.92 c GARBAGE COLLECT 167.39/167.92 c rational objective 0 183.24/183.87 c #Conflicts: 172000 | #Constraints: 12348 183.24/183.87 c #Conflicts: 173000 | #Constraints: 14028 183.24/183.87 c #Conflicts: 174000 | #Constraints: 15743 183.24/183.87 c #Conflicts: 175000 | #Constraints: 17475 183.24/183.87 c #Conflicts: 176000 | #Constraints: 19151 183.24/183.87 c #Conflicts: 177000 | #Constraints: 20800 183.24/183.87 c #Conflicts: 178000 | #Constraints: 22464 183.24/183.87 c #Conflicts: 179000 | #Constraints: 24151 183.24/183.87 c #Conflicts: 180000 | #Constraints: 25843 183.24/183.87 c INPROCESSING 183.24/183.87 c GARBAGE COLLECT 183.24/183.87 c rational objective 0 200.88/201.52 c #Conflicts: 181000 | #Constraints: 14320 200.88/201.52 c #Conflicts: 182000 | #Constraints: 15514 200.88/201.52 c #Conflicts: 183000 | #Constraints: 16890 200.88/201.52 c #Conflicts: 184000 | #Constraints: 18295 200.88/201.52 c #Conflicts: 185000 | #Constraints: 19519 200.88/201.52 c #Conflicts: 186000 | #Constraints: 21156 200.88/201.52 c #Conflicts: 187000 | #Constraints: 22691 200.88/201.52 c #Conflicts: 188000 | #Constraints: 24150 200.88/201.52 c #Conflicts: 189000 | #Constraints: 25641 200.88/201.52 c INPROCESSING 200.88/201.52 c GARBAGE COLLECT 200.88/201.52 c rational objective 0 219.23/219.92 c #Conflicts: 190000 | #Constraints: 14342 219.23/219.92 c #Conflicts: 191000 | #Constraints: 15981 219.23/219.92 c #Conflicts: 192000 | #Constraints: 17720 219.23/219.92 c #Conflicts: 193000 | #Constraints: 19172 219.23/219.92 c #Conflicts: 194000 | #Constraints: 20792 219.23/219.92 c #Conflicts: 195000 | #Constraints: 22228 219.23/219.92 c #Conflicts: 196000 | #Constraints: 23715 219.23/219.92 c #Conflicts: 197000 | #Constraints: 25360 219.23/219.92 c #Conflicts: 198000 | #Constraints: 26393 219.23/219.92 c INPROCESSING 219.23/219.92 c GARBAGE COLLECT 219.23/219.92 c rational objective 0 240.36/241.16 c #Conflicts: 199000 | #Constraints: 14905 240.36/241.16 c #Conflicts: 200000 | #Constraints: 16619 240.36/241.16 c #Conflicts: 201000 | #Constraints: 18326 240.36/241.16 c #Conflicts: 202000 | #Constraints: 19832 240.36/241.16 c #Conflicts: 203000 | #Constraints: 20832 240.36/241.16 c #Conflicts: 204000 | #Constraints: 22117 240.36/241.16 c #Conflicts: 205000 | #Constraints: 23832 240.36/241.16 c #Conflicts: 206000 | #Constraints: 25535 240.36/241.16 c #Conflicts: 207000 | #Constraints: 27239 240.36/241.16 c INPROCESSING 240.36/241.16 c GARBAGE COLLECT 240.36/241.16 c rational objective 0 262.88/263.73 c #Conflicts: 208000 | #Constraints: 15064 262.88/263.73 c #Conflicts: 209000 | #Constraints: 16672 262.88/263.73 c #Conflicts: 210000 | #Constraints: 18327 262.88/263.73 c #Conflicts: 211000 | #Constraints: 19532 262.88/263.73 c #Conflicts: 212000 | #Constraints: 20983 262.88/263.73 c #Conflicts: 213000 | #Constraints: 22409 262.88/263.73 c #Conflicts: 214000 | #Constraints: 23650 262.88/263.73 c #Conflicts: 215000 | #Constraints: 25329 262.88/263.73 c #Conflicts: 216000 | #Constraints: 26983 262.88/263.73 c INPROCESSING 262.88/263.73 c GARBAGE COLLECT 262.88/263.73 c rational objective 0 288.99/289.94 c #Conflicts: 217000 | #Constraints: 14592 288.99/289.94 c #Conflicts: 218000 | #Constraints: 16300 288.99/289.94 c #Conflicts: 219000 | #Constraints: 17999 288.99/289.94 c #Conflicts: 220000 | #Constraints: 19709 288.99/289.94 c #Conflicts: 221000 | #Constraints: 21369 288.99/289.94 c #Conflicts: 222000 | #Constraints: 23105 288.99/289.94 c #Conflicts: 223000 | #Constraints: 24792 288.99/289.94 c #Conflicts: 224000 | #Constraints: 26494 288.99/289.94 c #Conflicts: 225000 | #Constraints: 27753 288.99/289.94 c #Conflicts: 226000 | #Constraints: 29447 288.99/289.94 c INPROCESSING 288.99/289.94 c GARBAGE COLLECT 288.99/289.94 c rational objective 0 315.00/316.06 c #Conflicts: 227000 | #Constraints: 16252 315.00/316.06 c #Conflicts: 228000 | #Constraints: 17962 315.00/316.06 c #Conflicts: 229000 | #Constraints: 19649 315.00/316.06 c #Conflicts: 230000 | #Constraints: 21345 315.00/316.06 c #Conflicts: 231000 | #Constraints: 22752 315.00/316.06 c #Conflicts: 232000 | #Constraints: 24362 315.00/316.06 c #Conflicts: 233000 | #Constraints: 25973 315.00/316.06 c #Conflicts: 234000 | #Constraints: 27552 315.00/316.06 c #Conflicts: 235000 | #Constraints: 28732 315.00/316.06 c #Conflicts: 236000 | #Constraints: 30179 315.00/316.06 c INPROCESSING 315.00/316.06 c GARBAGE COLLECT 315.00/316.06 c rational objective 0 342.01/343.13 c #Conflicts: 237000 | #Constraints: 16778 342.01/343.13 c #Conflicts: 238000 | #Constraints: 18452 342.01/343.13 c #Conflicts: 239000 | #Constraints: 20138 342.01/343.13 c #Conflicts: 240000 | #Constraints: 21169 342.01/343.13 c #Conflicts: 241000 | #Constraints: 22352 342.01/343.13 c #Conflicts: 242000 | #Constraints: 23989 342.01/343.13 c #Conflicts: 243000 | #Constraints: 25255 342.01/343.13 c #Conflicts: 244000 | #Constraints: 26756 342.01/343.13 c #Conflicts: 245000 | #Constraints: 28121 342.01/343.13 c #Conflicts: 246000 | #Constraints: 29796 342.01/343.13 c INPROCESSING 342.01/343.13 c GARBAGE COLLECT 342.01/343.13 c rational objective 0 367.22/368.48 c #Conflicts: 247000 | #Constraints: 16092 367.22/368.48 c #Conflicts: 248000 | #Constraints: 17739 367.22/368.48 c #Conflicts: 249000 | #Constraints: 19329 367.22/368.48 c #Conflicts: 250000 | #Constraints: 21013 367.22/368.48 c #Conflicts: 251000 | #Constraints: 22668 367.22/368.48 c #Conflicts: 252000 | #Constraints: 24347 367.22/368.48 c #Conflicts: 253000 | #Constraints: 25601 367.22/368.48 c #Conflicts: 254000 | #Constraints: 26876 367.22/368.48 c #Conflicts: 255000 | #Constraints: 28547 367.22/368.48 c #Conflicts: 256000 | #Constraints: 29815 367.22/368.48 c INPROCESSING 367.22/368.48 c GARBAGE COLLECT 367.22/368.48 c rational objective 0 396.03/397.39 c #Conflicts: 257000 | #Constraints: 16399 396.03/397.39 c #Conflicts: 258000 | #Constraints: 18117 396.03/397.39 c #Conflicts: 259000 | #Constraints: 19819 396.03/397.39 c #Conflicts: 260000 | #Constraints: 21537 396.03/397.39 c #Conflicts: 261000 | #Constraints: 23264 396.03/397.39 c #Conflicts: 262000 | #Constraints: 24966 396.03/397.39 c #Conflicts: 263000 | #Constraints: 26244 396.03/397.39 c #Conflicts: 264000 | #Constraints: 27933 396.03/397.39 c #Conflicts: 265000 | #Constraints: 29631 396.03/397.39 c #Conflicts: 266000 | #Constraints: 31326 396.03/397.39 c INPROCESSING 396.03/397.39 c GARBAGE COLLECT 396.03/397.39 c rational objective 0 426.73/428.18 c #Conflicts: 267000 | #Constraints: 16840 426.73/428.18 c #Conflicts: 268000 | #Constraints: 18512 426.73/428.18 c #Conflicts: 269000 | #Constraints: 20190 426.73/428.18 c #Conflicts: 270000 | #Constraints: 21829 426.73/428.18 c #Conflicts: 271000 | #Constraints: 23498 426.73/428.18 c #Conflicts: 272000 | #Constraints: 25144 426.73/428.18 c #Conflicts: 273000 | #Constraints: 26830 426.73/428.18 c #Conflicts: 274000 | #Constraints: 28498 426.73/428.18 c #Conflicts: 275000 | #Constraints: 30142 426.73/428.18 c #Conflicts: 276000 | #Constraints: 31807 426.73/428.18 c #Conflicts: 277000 | #Constraints: 33495 426.73/428.18 c INPROCESSING 426.73/428.18 c GARBAGE COLLECT 426.73/428.18 c rational objective 0 463.40/464.95 c #Conflicts: 278000 | #Constraints: 18325 463.40/464.95 c #Conflicts: 279000 | #Constraints: 20031 463.40/464.95 c #Conflicts: 280000 | #Constraints: 21743 463.40/464.95 c #Conflicts: 281000 | #Constraints: 23457 463.40/464.95 c #Conflicts: 282000 | #Constraints: 25190 463.40/464.95 c #Conflicts: 283000 | #Constraints: 26802 463.40/464.95 c #Conflicts: 284000 | #Constraints: 28297 463.40/464.95 c #Conflicts: 285000 | #Constraints: 29995 463.40/464.95 c #Conflicts: 286000 | #Constraints: 31712 463.40/464.95 c #Conflicts: 287000 | #Constraints: 33394 463.40/464.95 c #Conflicts: 288000 | #Constraints: 35103 463.40/464.95 c INPROCESSING 463.40/464.95 c GARBAGE COLLECT 463.40/464.95 c rational objective 0 504.15/505.85 c #Conflicts: 289000 | #Constraints: 19245 504.15/505.85 c #Conflicts: 290000 | #Constraints: 20943 504.15/505.85 c #Conflicts: 291000 | #Constraints: 22597 504.15/505.85 c #Conflicts: 292000 | #Constraints: 24073 504.15/505.85 c #Conflicts: 293000 | #Constraints: 25440 504.15/505.85 c #Conflicts: 294000 | #Constraints: 26997 504.15/505.85 c #Conflicts: 295000 | #Constraints: 28669 504.15/505.85 c #Conflicts: 296000 | #Constraints: 30339 504.15/505.85 c #Conflicts: 297000 | #Constraints: 32028 504.15/505.85 c #Conflicts: 298000 | #Constraints: 33691 504.15/505.85 c #Conflicts: 299000 | #Constraints: 35373 504.15/505.85 c INPROCESSING 504.15/505.85 c GARBAGE COLLECT 504.15/505.85 c rational objective 0 545.81/547.66 c #Conflicts: 300000 | #Constraints: 19407 545.81/547.66 c #Conflicts: 301000 | #Constraints: 21126 545.81/547.66 c #Conflicts: 302000 | #Constraints: 22825 545.81/547.66 c #Conflicts: 303000 | #Constraints: 24523 545.81/547.66 c #Conflicts: 304000 | #Constraints: 26187 545.81/547.66 c #Conflicts: 305000 | #Constraints: 27850 545.81/547.66 c #Conflicts: 306000 | #Constraints: 29571 545.81/547.66 c #Conflicts: 307000 | #Constraints: 31254 545.81/547.66 c #Conflicts: 308000 | #Constraints: 32961 545.81/547.66 c #Conflicts: 309000 | #Constraints: 34630 545.81/547.66 c #Conflicts: 310000 | #Constraints: 36378 545.81/547.66 c INPROCESSING 545.81/547.66 c GARBAGE COLLECT 545.81/547.66 c rational objective 0 580.69/582.65 c #Conflicts: 311000 | #Constraints: 19406 580.69/582.65 c #Conflicts: 312000 | #Constraints: 21042 580.69/582.65 c #Conflicts: 313000 | #Constraints: 22483 580.69/582.65 c #Conflicts: 314000 | #Constraints: 23687 580.69/582.65 c #Conflicts: 315000 | #Constraints: 25308 580.69/582.65 c #Conflicts: 316000 | #Constraints: 26343 580.69/582.65 c #Conflicts: 317000 | #Constraints: 27441 580.69/582.65 c #Conflicts: 318000 | #Constraints: 28974 580.69/582.65 c #Conflicts: 319000 | #Constraints: 30250 580.69/582.65 c #Conflicts: 320000 | #Constraints: 31250 580.69/582.65 c #Conflicts: 321000 | #Constraints: 32364 580.69/582.65 c INPROCESSING 580.69/582.65 c GARBAGE COLLECT 580.69/582.65 c rational objective 0 615.48/617.59 c #Conflicts: 322000 | #Constraints: 17167 615.48/617.59 c #Conflicts: 323000 | #Constraints: 18872 615.48/617.59 c #Conflicts: 324000 | #Constraints: 20621 615.48/617.59 c bounds 1 >= 0 @ 585.354 615.48/617.59 c #Conflicts: 325000 | #Constraints: 22277 615.48/617.59 c #Conflicts: 326000 | #Constraints: 23954 615.48/617.59 c #Conflicts: 327000 | #Constraints: 25602 615.48/617.59 c #Conflicts: 328000 | #Constraints: 27269 615.48/617.59 c #Conflicts: 329000 | #Constraints: 28954 615.48/617.59 c #Conflicts: 330000 | #Constraints: 30651 615.48/617.59 c #Conflicts: 331000 | #Constraints: 32351 615.48/617.59 c #Conflicts: 332000 | #Constraints: 34026 615.48/617.59 c #Conflicts: 333000 | #Constraints: 35699 615.48/617.59 c INPROCESSING 615.48/617.59 c GARBAGE COLLECT 615.48/617.59 c rational objective 0 652.86/655.04 c #Conflicts: 334000 | #Constraints: 19267 652.86/655.04 c #Conflicts: 335000 | #Constraints: 20954 652.86/655.04 c #Conflicts: 336000 | #Constraints: 22681 652.86/655.04 c #Conflicts: 337000 | #Constraints: 24379 652.86/655.04 c #Conflicts: 338000 | #Constraints: 26059 652.86/655.04 c #Conflicts: 339000 | #Constraints: 27755 652.86/655.04 c #Conflicts: 340000 | #Constraints: 29441 652.86/655.04 c #Conflicts: 341000 | #Constraints: 31122 652.86/655.04 c #Conflicts: 342000 | #Constraints: 32788 652.86/655.04 c #Conflicts: 343000 | #Constraints: 34499 652.86/655.04 c #Conflicts: 344000 | #Constraints: 36175 652.86/655.04 c #Conflicts: 345000 | #Constraints: 37885 652.86/655.04 c INPROCESSING 652.86/655.04 c GARBAGE COLLECT 652.86/655.04 c rational objective 0 685.24/687.56 c #Conflicts: 346000 | #Constraints: 20493 685.24/687.56 c #Conflicts: 347000 | #Constraints: 22108 685.24/687.56 c #Conflicts: 348000 | #Constraints: 23642 685.24/687.56 c #Conflicts: 349000 | #Constraints: 24642 685.24/687.56 c #Conflicts: 350000 | #Constraints: 25642 685.24/687.56 c #Conflicts: 351000 | #Constraints: 26642 685.24/687.56 c #Conflicts: 352000 | #Constraints: 27642 685.24/687.56 c #Conflicts: 353000 | #Constraints: 28642 685.24/687.56 c #Conflicts: 354000 | #Constraints: 30306 685.24/687.56 c #Conflicts: 355000 | #Constraints: 31624 685.24/687.56 c #Conflicts: 356000 | #Constraints: 33262 685.24/687.56 c #Conflicts: 357000 | #Constraints: 34908 685.24/687.56 c INPROCESSING 685.24/687.56 c GARBAGE COLLECT 685.24/687.56 c rational objective 0 721.64/724.00 c #Conflicts: 358000 | #Constraints: 18983 721.64/724.00 c #Conflicts: 359000 | #Constraints: 20681 721.64/724.00 c #Conflicts: 360000 | #Constraints: 21681 721.64/724.00 c #Conflicts: 361000 | #Constraints: 22681 721.64/724.00 c #Conflicts: 362000 | #Constraints: 24238 721.64/724.00 c #Conflicts: 363000 | #Constraints: 25928 721.64/724.00 c #Conflicts: 364000 | #Constraints: 27424 721.64/724.00 c #Conflicts: 365000 | #Constraints: 29046 721.64/724.00 c #Conflicts: 366000 | #Constraints: 30748 721.64/724.00 c #Conflicts: 367000 | #Constraints: 32020 721.64/724.00 c #Conflicts: 368000 | #Constraints: 33020 721.64/724.00 c #Conflicts: 369000 | #Constraints: 34101 721.64/724.00 c INPROCESSING 721.64/724.00 c GARBAGE COLLECT 721.64/724.00 c rational objective 0 763.47/766.04 c #Conflicts: 370000 | #Constraints: 18243 763.47/766.04 c #Conflicts: 371000 | #Constraints: 19719 763.47/766.04 c #Conflicts: 372000 | #Constraints: 21366 763.47/766.04 c #Conflicts: 373000 | #Constraints: 22787 763.47/766.04 c #Conflicts: 374000 | #Constraints: 24325 763.47/766.04 c #Conflicts: 375000 | #Constraints: 25917 763.47/766.04 c #Conflicts: 376000 | #Constraints: 27569 763.47/766.04 c #Conflicts: 377000 | #Constraints: 28873 763.47/766.04 c #Conflicts: 378000 | #Constraints: 30120 763.47/766.04 c #Conflicts: 379000 | #Constraints: 31793 763.47/766.04 c #Conflicts: 380000 | #Constraints: 33207 763.47/766.04 c #Conflicts: 381000 | #Constraints: 34670 763.47/766.04 c INPROCESSING 763.47/766.04 c GARBAGE COLLECT 763.47/766.04 c rational objective 0 810.01/812.75 c #Conflicts: 382000 | #Constraints: 18480 810.01/812.75 c #Conflicts: 383000 | #Constraints: 20183 810.01/812.75 c #Conflicts: 384000 | #Constraints: 21835 810.01/812.75 c #Conflicts: 385000 | #Constraints: 23554 810.01/812.75 c #Conflicts: 386000 | #Constraints: 25292 810.01/812.75 c #Conflicts: 387000 | #Constraints: 26980 810.01/812.75 c #Conflicts: 388000 | #Constraints: 28696 810.01/812.75 c #Conflicts: 389000 | #Constraints: 29894 810.01/812.75 c #Conflicts: 390000 | #Constraints: 30894 810.01/812.75 c #Conflicts: 391000 | #Constraints: 32455 810.01/812.75 c #Conflicts: 392000 | #Constraints: 34192 810.01/812.75 c #Conflicts: 393000 | #Constraints: 35518 810.01/812.75 c #Conflicts: 394000 | #Constraints: 36518 810.01/812.75 c INPROCESSING 810.01/812.75 c GARBAGE COLLECT 810.01/812.75 c rational objective 0 840.22/843.03 c #Conflicts: 395000 | #Constraints: 19177 840.22/843.03 c #Conflicts: 396000 | #Constraints: 20177 840.22/843.03 c #Conflicts: 397000 | #Constraints: 21177 840.22/843.03 c #Conflicts: 398000 | #Constraints: 22177 840.22/843.03 c #Conflicts: 399000 | #Constraints: 23178 840.22/843.03 c #Conflicts: 400000 | #Constraints: 24178 840.22/843.03 c #Conflicts: 401000 | #Constraints: 25178 840.22/843.03 c #Conflicts: 402000 | #Constraints: 26178 840.22/843.03 c #Conflicts: 403000 | #Constraints: 27178 840.22/843.03 c #Conflicts: 404000 | #Constraints: 28178 840.22/843.03 c #Conflicts: 405000 | #Constraints: 29178 840.22/843.03 c #Conflicts: 406000 | #Constraints: 30178 840.22/843.03 c #Conflicts: 407000 | #Constraints: 31178 840.22/843.03 c INPROCESSING 840.22/843.03 c GARBAGE COLLECT 840.22/843.03 c rational objective 0 879.19/882.18 c #Conflicts: 408000 | #Constraints: 17315 879.19/882.18 c #Conflicts: 409000 | #Constraints: 19012 879.19/882.18 c #Conflicts: 410000 | #Constraints: 20673 879.19/882.18 c #Conflicts: 411000 | #Constraints: 22420 879.19/882.18 c #Conflicts: 412000 | #Constraints: 24124 879.19/882.18 c #Conflicts: 413000 | #Constraints: 25823 879.19/882.18 c #Conflicts: 414000 | #Constraints: 27518 879.19/882.18 c #Conflicts: 415000 | #Constraints: 29206 879.19/882.18 c #Conflicts: 416000 | #Constraints: 30896 879.19/882.18 c #Conflicts: 417000 | #Constraints: 32589 879.19/882.18 c #Conflicts: 418000 | #Constraints: 34271 879.19/882.18 c #Conflicts: 419000 | #Constraints: 35985 879.19/882.18 c #Conflicts: 420000 | #Constraints: 37700 879.19/882.18 c INPROCESSING 879.19/882.18 c GARBAGE COLLECT 879.19/882.18 c rational objective 0 922.95/926.02 c #Conflicts: 421000 | #Constraints: 20489 922.95/926.02 c #Conflicts: 422000 | #Constraints: 22130 922.95/926.02 c #Conflicts: 423000 | #Constraints: 23773 922.95/926.02 c #Conflicts: 424000 | #Constraints: 25419 922.95/926.02 c #Conflicts: 425000 | #Constraints: 27075 922.95/926.02 c #Conflicts: 426000 | #Constraints: 28746 922.95/926.02 c #Conflicts: 427000 | #Constraints: 30430 922.95/926.02 c #Conflicts: 428000 | #Constraints: 32138 922.95/926.02 c #Conflicts: 429000 | #Constraints: 33826 922.95/926.02 c #Conflicts: 430000 | #Constraints: 35522 922.95/926.02 c #Conflicts: 431000 | #Constraints: 37243 922.95/926.02 c #Conflicts: 432000 | #Constraints: 38953 922.95/926.02 c #Conflicts: 433000 | #Constraints: 40663 922.95/926.02 c INPROCESSING 922.95/926.02 c GARBAGE COLLECT 922.95/926.02 c rational objective 0 981.14/984.47 c #Conflicts: 434000 | #Constraints: 21935 981.14/984.47 c #Conflicts: 435000 | #Constraints: 23682 981.14/984.47 c #Conflicts: 436000 | #Constraints: 25392 981.14/984.47 c #Conflicts: 437000 | #Constraints: 27097 981.14/984.47 c #Conflicts: 438000 | #Constraints: 28761 981.14/984.47 c #Conflicts: 439000 | #Constraints: 30461 981.14/984.47 c #Conflicts: 440000 | #Constraints: 32153 981.14/984.47 c #Conflicts: 441000 | #Constraints: 33895 981.14/984.47 c #Conflicts: 442000 | #Constraints: 35602 981.14/984.47 c #Conflicts: 443000 | #Constraints: 37304 981.14/984.47 c #Conflicts: 444000 | #Constraints: 39023 981.14/984.47 c #Conflicts: 445000 | #Constraints: 40722 981.14/984.47 c #Conflicts: 446000 | #Constraints: 42434 981.14/984.47 c INPROCESSING 981.14/984.47 c GARBAGE COLLECT 981.14/984.47 c rational objective 0 1026.30/1029.72 c #Conflicts: 447000 | #Constraints: 22206 1026.30/1029.72 c #Conflicts: 448000 | #Constraints: 23421 1026.30/1029.72 c #Conflicts: 449000 | #Constraints: 24620 1026.30/1029.72 c #Conflicts: 450000 | #Constraints: 25620 1026.30/1029.72 c #Conflicts: 451000 | #Constraints: 26688 1026.30/1029.72 c #Conflicts: 452000 | #Constraints: 27769 1026.30/1029.72 c #Conflicts: 453000 | #Constraints: 28991 1026.30/1029.72 c #Conflicts: 454000 | #Constraints: 30115 1026.30/1029.72 c #Conflicts: 455000 | #Constraints: 31207 1026.30/1029.72 c #Conflicts: 456000 | #Constraints: 32260 1026.30/1029.72 c #Conflicts: 457000 | #Constraints: 33330 1026.30/1029.72 c #Conflicts: 458000 | #Constraints: 34330 1026.30/1029.72 c #Conflicts: 459000 | #Constraints: 35330 1026.30/1029.72 c #Conflicts: 460000 | #Constraints: 36381 1026.30/1029.72 c INPROCESSING 1026.30/1029.72 c GARBAGE COLLECT 1026.30/1029.72 c rational objective 0 1085.39/1089.03 c #Conflicts: 461000 | #Constraints: 19631 1085.39/1089.03 c #Conflicts: 462000 | #Constraints: 21235 1085.39/1089.03 c #Conflicts: 463000 | #Constraints: 22871 1085.39/1089.03 c #Conflicts: 464000 | #Constraints: 24544 1085.39/1089.03 c #Conflicts: 465000 | #Constraints: 26220 1085.39/1089.03 c #Conflicts: 466000 | #Constraints: 27884 1085.39/1089.03 c #Conflicts: 467000 | #Constraints: 29539 1085.39/1089.03 c #Conflicts: 468000 | #Constraints: 31244 1085.39/1089.03 c #Conflicts: 469000 | #Constraints: 32953 1085.39/1089.03 c #Conflicts: 470000 | #Constraints: 34663 1085.39/1089.03 c #Conflicts: 471000 | #Constraints: 36331 1085.39/1089.03 c #Conflicts: 472000 | #Constraints: 38013 1085.39/1089.03 c #Conflicts: 473000 | #Constraints: 39697 1085.39/1089.03 c #Conflicts: 474000 | #Constraints: 41385 1085.39/1089.03 c INPROCESSING 1085.39/1089.03 c GARBAGE COLLECT 1085.39/1089.03 c rational objective 0 1133.73/1137.59 c #Conflicts: 475000 | #Constraints: 22323 1133.73/1137.59 c #Conflicts: 476000 | #Constraints: 23595 1133.73/1137.59 c #Conflicts: 477000 | #Constraints: 25310 1133.73/1137.59 c #Conflicts: 478000 | #Constraints: 26941 1133.73/1137.59 c #Conflicts: 479000 | #Constraints: 28152 1133.73/1137.59 c #Conflicts: 480000 | #Constraints: 29604 1133.73/1137.59 c #Conflicts: 481000 | #Constraints: 30819 1133.73/1137.59 c #Conflicts: 482000 | #Constraints: 32370 1133.73/1137.59 c #Conflicts: 483000 | #Constraints: 33662 1133.73/1137.59 c #Conflicts: 484000 | #Constraints: 35343 1133.73/1137.59 c #Conflicts: 485000 | #Constraints: 36999 1133.73/1137.59 c #Conflicts: 486000 | #Constraints: 38682 1133.73/1137.59 c #Conflicts: 487000 | #Constraints: 40196 1133.73/1137.59 c #Conflicts: 488000 | #Constraints: 41851 1133.73/1137.59 c INPROCESSING 1133.73/1137.59 c GARBAGE COLLECT 1133.73/1137.59 c rational objective 0 1187.35/1191.33 c #Conflicts: 489000 | #Constraints: 21947 1187.35/1191.33 c #Conflicts: 490000 | #Constraints: 23533 1187.35/1191.33 c #Conflicts: 491000 | #Constraints: 25193 1187.35/1191.33 c #Conflicts: 492000 | #Constraints: 26907 1187.35/1191.33 c #Conflicts: 493000 | #Constraints: 28099 1187.35/1191.33 c #Conflicts: 494000 | #Constraints: 29766 1187.35/1191.33 c #Conflicts: 495000 | #Constraints: 31410 1187.35/1191.33 c #Conflicts: 496000 | #Constraints: 33058 1187.35/1191.33 c #Conflicts: 497000 | #Constraints: 34732 1187.35/1191.33 c #Conflicts: 498000 | #Constraints: 36418 1187.35/1191.33 c #Conflicts: 499000 | #Constraints: 38115 1187.35/1191.33 c #Conflicts: 500000 | #Constraints: 39808 1187.35/1191.33 c #Conflicts: 501000 | #Constraints: 41508 1187.35/1191.33 c #Conflicts: 502000 | #Constraints: 43186 1187.35/1191.33 c INPROCESSING 1187.35/1191.33 c GARBAGE COLLECT 1187.35/1191.33 c rational objective 0 1241.67/1245.86 c #Conflicts: 503000 | #Constraints: 22735 1241.67/1245.86 c #Conflicts: 504000 | #Constraints: 24385 1241.67/1245.86 c #Conflicts: 505000 | #Constraints: 26046 1241.67/1245.86 c #Conflicts: 506000 | #Constraints: 27711 1241.67/1245.86 c #Conflicts: 507000 | #Constraints: 29401 1241.67/1245.86 c #Conflicts: 508000 | #Constraints: 31071 1241.67/1245.86 c #Conflicts: 509000 | #Constraints: 32761 1241.67/1245.86 c #Conflicts: 510000 | #Constraints: 34422 1241.67/1245.86 c #Conflicts: 511000 | #Constraints: 36102 1241.67/1245.86 c #Conflicts: 512000 | #Constraints: 37802 1241.67/1245.86 c #Conflicts: 513000 | #Constraints: 39408 1241.67/1245.86 c #Conflicts: 514000 | #Constraints: 41081 1241.67/1245.86 c #Conflicts: 515000 | #Constraints: 42106 1241.67/1245.86 c #Conflicts: 516000 | #Constraints: 43533 1241.67/1245.86 c INPROCESSING 1241.67/1245.86 c GARBAGE COLLECT 1241.67/1245.86 c rational objective 0 1299.69/1304.07 c #Conflicts: 517000 | #Constraints: 22793 1299.69/1304.07 c #Conflicts: 518000 | #Constraints: 23943 1299.69/1304.07 c #Conflicts: 519000 | #Constraints: 25156 1299.69/1304.07 c #Conflicts: 520000 | #Constraints: 26823 1299.69/1304.07 c #Conflicts: 521000 | #Constraints: 28516 1299.69/1304.07 c #Conflicts: 522000 | #Constraints: 30243 1299.69/1304.07 c #Conflicts: 523000 | #Constraints: 31942 1299.69/1304.07 c #Conflicts: 524000 | #Constraints: 33679 1299.69/1304.07 c #Conflicts: 525000 | #Constraints: 35382 1299.69/1304.07 c #Conflicts: 526000 | #Constraints: 37090 1299.69/1304.07 c #Conflicts: 527000 | #Constraints: 38579 1299.69/1304.07 c #Conflicts: 528000 | #Constraints: 40243 1299.69/1304.07 c #Conflicts: 529000 | #Constraints: 41948 1299.69/1304.07 c #Conflicts: 530000 | #Constraints: 43663 1299.69/1304.07 c #Conflicts: 531000 | #Constraints: 45359 1299.69/1304.07 c INPROCESSING 1299.69/1304.07 c GARBAGE COLLECT 1299.69/1304.07 c rational objective 0 1357.39/1361.90 c #Conflicts: 532000 | #Constraints: 24197 1357.39/1361.90 c #Conflicts: 533000 | #Constraints: 25855 1357.39/1361.90 c #Conflicts: 534000 | #Constraints: 27531 1357.39/1361.90 c #Conflicts: 535000 | #Constraints: 29191 1357.39/1361.90 c #Conflicts: 536000 | #Constraints: 30869 1357.39/1361.90 c #Conflicts: 537000 | #Constraints: 32553 1357.39/1361.90 c #Conflicts: 538000 | #Constraints: 34107 1357.39/1361.90 c #Conflicts: 539000 | #Constraints: 35107 1357.39/1361.90 c #Conflicts: 540000 | #Constraints: 36466 1357.39/1361.90 c #Conflicts: 541000 | #Constraints: 38124 1357.39/1361.90 c #Conflicts: 542000 | #Constraints: 39752 1357.39/1361.90 c #Conflicts: 543000 | #Constraints: 41398 1357.39/1361.90 c #Conflicts: 544000 | #Constraints: 43038 1357.39/1361.90 c #Conflicts: 545000 | #Constraints: 44713 1357.39/1361.90 c #Conflicts: 546000 | #Constraints: 46356 1357.39/1361.90 c INPROCESSING 1357.39/1361.90 c GARBAGE COLLECT 1357.39/1361.90 c rational objective 0 1425.17/1430.00 c #Conflicts: 547000 | #Constraints: 24892 1425.17/1430.00 c #Conflicts: 548000 | #Constraints: 26605 1425.17/1430.00 c #Conflicts: 549000 | #Constraints: 28321 1425.17/1430.00 c #Conflicts: 550000 | #Constraints: 30047 1425.17/1430.00 c #Conflicts: 551000 | #Constraints: 31763 1425.17/1430.00 c #Conflicts: 552000 | #Constraints: 33464 1425.17/1430.00 c #Conflicts: 553000 | #Constraints: 35166 1425.17/1430.00 c #Conflicts: 554000 | #Constraints: 36880 1425.17/1430.00 c #Conflicts: 555000 | #Constraints: 38569 1425.17/1430.00 c #Conflicts: 556000 | #Constraints: 40257 1425.17/1430.00 c #Conflicts: 557000 | #Constraints: 41957 1425.17/1430.00 c #Conflicts: 558000 | #Constraints: 43625 1425.17/1430.00 c #Conflicts: 559000 | #Constraints: 45344 1425.17/1430.00 c #Conflicts: 560000 | #Constraints: 47038 1425.17/1430.00 c #Conflicts: 561000 | #Constraints: 48731 1425.17/1430.00 c INPROCESSING 1425.17/1430.00 c GARBAGE COLLECT 1425.17/1430.00 c rational objective 0 1486.86/1491.82 c #Conflicts: 562000 | #Constraints: 25940 1486.86/1491.82 c #Conflicts: 563000 | #Constraints: 26940 1486.86/1491.82 c #Conflicts: 564000 | #Constraints: 28189 1486.86/1491.82 c #Conflicts: 565000 | #Constraints: 29912 1486.86/1491.82 c #Conflicts: 566000 | #Constraints: 31530 1486.86/1491.82 c #Conflicts: 567000 | #Constraints: 32530 1486.86/1491.82 c #Conflicts: 568000 | #Constraints: 33982 1486.86/1491.82 c #Conflicts: 569000 | #Constraints: 35654 1486.86/1491.82 c #Conflicts: 570000 | #Constraints: 37320 1486.86/1491.82 c #Conflicts: 571000 | #Constraints: 38971 1486.86/1491.82 c #Conflicts: 572000 | #Constraints: 40640 1486.86/1491.82 c #Conflicts: 573000 | #Constraints: 42291 1486.86/1491.82 c #Conflicts: 574000 | #Constraints: 43936 1486.86/1491.82 c #Conflicts: 575000 | #Constraints: 45593 1486.86/1491.82 c #Conflicts: 576000 | #Constraints: 46953 1486.86/1491.82 c INPROCESSING 1486.86/1491.82 c GARBAGE COLLECT 1486.86/1491.82 c rational objective 0 1550.74/1555.97 c #Conflicts: 577000 | #Constraints: 24639 1550.74/1555.97 c #Conflicts: 578000 | #Constraints: 25743 1550.74/1555.97 c #Conflicts: 579000 | #Constraints: 27048 1550.74/1555.97 c #Conflicts: 580000 | #Constraints: 28058 1550.74/1555.97 c #Conflicts: 581000 | #Constraints: 29255 1550.74/1555.97 c #Conflicts: 582000 | #Constraints: 30449 1550.74/1555.97 c #Conflicts: 583000 | #Constraints: 31449 1550.74/1555.97 c #Conflicts: 584000 | #Constraints: 32449 1550.74/1555.97 c #Conflicts: 585000 | #Constraints: 33451 1550.74/1555.97 c #Conflicts: 586000 | #Constraints: 34610 1550.74/1555.97 c #Conflicts: 587000 | #Constraints: 35683 1550.74/1555.97 c #Conflicts: 588000 | #Constraints: 36819 1550.74/1555.97 c #Conflicts: 589000 | #Constraints: 37827 1550.74/1555.97 c #Conflicts: 590000 | #Constraints: 38857 1550.74/1555.97 c #Conflicts: 591000 | #Constraints: 39868 1550.74/1555.97 c INPROCESSING 1550.74/1555.97 c GARBAGE COLLECT 1550.74/1555.97 c rational objective 0 1619.70/1625.14 c #Conflicts: 592000 | #Constraints: 21025 1619.70/1625.14 c #Conflicts: 593000 | #Constraints: 22695 1619.70/1625.14 c #Conflicts: 594000 | #Constraints: 24392 1619.70/1625.14 c #Conflicts: 595000 | #Constraints: 26091 1619.70/1625.14 c #Conflicts: 596000 | #Constraints: 27762 1619.70/1625.14 c #Conflicts: 597000 | #Constraints: 29456 1619.70/1625.14 c #Conflicts: 598000 | #Constraints: 31130 1619.70/1625.14 c #Conflicts: 599000 | #Constraints: 32815 1619.70/1625.14 c #Conflicts: 600000 | #Constraints: 34514 1619.70/1625.14 c #Conflicts: 601000 | #Constraints: 36183 1619.70/1625.14 c #Conflicts: 602000 | #Constraints: 37854 1619.70/1625.14 c #Conflicts: 603000 | #Constraints: 39528 1619.70/1625.14 c #Conflicts: 604000 | #Constraints: 41204 1619.70/1625.14 c #Conflicts: 605000 | #Constraints: 42886 1619.70/1625.14 c #Conflicts: 606000 | #Constraints: 44540 1619.70/1625.14 c #Conflicts: 607000 | #Constraints: 46193 1619.70/1625.14 c INPROCESSING 1619.70/1625.14 c GARBAGE COLLECT 1619.70/1625.14 c rational objective 0 1696.15/1701.87 c #Conflicts: 608000 | #Constraints: 24663 1696.15/1701.87 c #Conflicts: 609000 | #Constraints: 26348 1696.15/1701.87 c #Conflicts: 610000 | #Constraints: 28037 1696.15/1701.87 c #Conflicts: 611000 | #Constraints: 29723 1696.15/1701.87 c #Conflicts: 612000 | #Constraints: 31447 1696.15/1701.87 c #Conflicts: 613000 | #Constraints: 32575 1696.15/1701.87 c #Conflicts: 614000 | #Constraints: 34289 1696.15/1701.87 c #Conflicts: 615000 | #Constraints: 36011 1696.15/1701.87 c #Conflicts: 616000 | #Constraints: 37665 1696.15/1701.87 c #Conflicts: 617000 | #Constraints: 39350 1696.15/1701.87 c #Conflicts: 618000 | #Constraints: 41070 1696.15/1701.87 c #Conflicts: 619000 | #Constraints: 42765 1696.15/1701.87 c #Conflicts: 620000 | #Constraints: 44483 1696.15/1701.87 c #Conflicts: 621000 | #Constraints: 46163 1696.15/1701.87 c #Conflicts: 622000 | #Constraints: 47870 1696.15/1701.87 c #Conflicts: 623000 | #Constraints: 49609 1696.15/1701.87 c INPROCESSING 1696.15/1701.87 c GARBAGE COLLECT 1696.15/1701.87 c rational objective 0 1767.25/1773.12 c #Conflicts: 624000 | #Constraints: 26527 1767.25/1773.12 c #Conflicts: 625000 | #Constraints: 28208 1767.25/1773.12 c #Conflicts: 626000 | #Constraints: 29869 1767.25/1773.12 c #Conflicts: 627000 | #Constraints: 31518 1767.25/1773.12 c #Conflicts: 628000 | #Constraints: 33190 1767.25/1773.12 c #Conflicts: 629000 | #Constraints: 34832 1767.25/1773.12 c #Conflicts: 630000 | #Constraints: 36494 1767.25/1773.12 c #Conflicts: 631000 | #Constraints: 38191 1767.25/1773.12 c #Conflicts: 632000 | #Constraints: 39893 1767.25/1773.12 c #Conflicts: 633000 | #Constraints: 41609 1767.25/1773.12 c #Conflicts: 634000 | #Constraints: 42930 1767.25/1773.12 c #Conflicts: 635000 | #Constraints: 43930 1767.25/1773.12 c #Conflicts: 636000 | #Constraints: 45501 1767.25/1773.12 c #Conflicts: 637000 | #Constraints: 47176 1767.25/1773.12 c #Conflicts: 638000 | #Constraints: 48821 1767.25/1773.12 c #Conflicts: 639000 | #Constraints: 50512 1767.25/1773.12 c INPROCESSING 1767.25/1773.12 c GARBAGE COLLECT 1767.25/1773.12 c rational objective 0 1844.43/1850.53 c #Conflicts: 640000 | #Constraints: 26707 1844.43/1850.53 c #Conflicts: 641000 | #Constraints: 27817 1844.43/1850.53 c #Conflicts: 642000 | #Constraints: 29027 1844.43/1850.53 c #Conflicts: 643000 | #Constraints: 30382 1844.43/1850.53 c #Conflicts: 644000 | #Constraints: 32053 1844.43/1850.53 c #Conflicts: 645000 | #Constraints: 33478 1844.43/1850.53 c #Conflicts: 646000 | #Constraints: 34921 1844.43/1850.53 c #Conflicts: 647000 | #Constraints: 36408 1844.43/1850.53 c #Conflicts: 648000 | #Constraints: 37836 1844.43/1850.53 c #Conflicts: 649000 | #Constraints: 38969 1844.43/1850.53 c #Conflicts: 650000 | #Constraints: 40311 1844.43/1850.53 c #Conflicts: 651000 | #Constraints: 41543 1844.43/1850.53 c #Conflicts: 652000 | #Constraints: 43027 1844.43/1850.53 c #Conflicts: 653000 | #Constraints: 44059 1844.43/1850.53 c #Conflicts: 654000 | #Constraints: 45407 1844.43/1850.53 c #Conflicts: 655000 | #Constraints: 46774 1844.43/1850.53 c INPROCESSING 1844.43/1850.53 c GARBAGE COLLECT 1844.43/1850.53 c rational objective 0 1904.06/1910.34 c #Conflicts: 656000 | #Constraints: 24576 1904.06/1910.34 c #Conflicts: 657000 | #Constraints: 25652 1904.06/1910.34 c #Conflicts: 658000 | #Constraints: 26878 1904.06/1910.34 c #Conflicts: 659000 | #Constraints: 28180 1904.06/1910.34 c #Conflicts: 660000 | #Constraints: 29350 1904.06/1910.34 c #Conflicts: 661000 | #Constraints: 30425 1904.06/1910.34 c #Conflicts: 662000 | #Constraints: 31425 1904.06/1910.34 c #Conflicts: 663000 | #Constraints: 32445 1904.06/1910.34 c #Conflicts: 664000 | #Constraints: 33445 1904.06/1910.34 c #Conflicts: 665000 | #Constraints: 34647 1904.06/1910.34 c #Conflicts: 666000 | #Constraints: 35676 1904.06/1910.34 c #Conflicts: 667000 | #Constraints: 36764 1904.06/1910.34 c #Conflicts: 668000 | #Constraints: 37764 1904.06/1910.34 c #Conflicts: 669000 | #Constraints: 38782 1904.06/1910.34 c #Conflicts: 670000 | #Constraints: 39918 1904.06/1910.34 c #Conflicts: 671000 | #Constraints: 40918 1904.06/1910.34 c INPROCESSING 1904.06/1910.34 c GARBAGE COLLECT 1904.06/1910.34 c rational objective 0 1961.21/1967.66 c #Conflicts: 672000 | #Constraints: 21320 1961.21/1967.66 c #Conflicts: 673000 | #Constraints: 22474 1961.21/1967.66 c #Conflicts: 674000 | #Constraints: 23474 1961.21/1967.66 c #Conflicts: 675000 | #Constraints: 24474 1961.21/1967.66 c #Conflicts: 676000 | #Constraints: 25671 1961.21/1967.66 c #Conflicts: 677000 | #Constraints: 26827 1961.21/1967.66 c #Conflicts: 678000 | #Constraints: 27827 1961.21/1967.66 c #Conflicts: 679000 | #Constraints: 28827 1961.21/1967.66 c #Conflicts: 680000 | #Constraints: 29827 1961.21/1967.66 c #Conflicts: 681000 | #Constraints: 30831 1961.21/1967.66 c #Conflicts: 682000 | #Constraints: 32163 1961.21/1967.66 c #Conflicts: 683000 | #Constraints: 33872 1961.21/1967.66 c #Conflicts: 684000 | #Constraints: 35570 1961.21/1967.66 c #Conflicts: 685000 | #Constraints: 37255 1961.21/1967.66 c #Conflicts: 686000 | #Constraints: 38836 1961.21/1967.66 c #Conflicts: 687000 | #Constraints: 39836 1961.21/1967.66 c #Conflicts: 688000 | #Constraints: 41022 1961.21/1967.66 c INPROCESSING 1961.21/1967.66 c GARBAGE COLLECT 1961.21/1967.66 c rational objective 0 2035.39/2042.06 c #Conflicts: 689000 | #Constraints: 21830 2035.39/2042.06 c #Conflicts: 690000 | #Constraints: 23469 2035.39/2042.06 c #Conflicts: 691000 | #Constraints: 24793 2035.39/2042.06 c #Conflicts: 692000 | #Constraints: 26209 2035.39/2042.06 c #Conflicts: 693000 | #Constraints: 27872 2035.39/2042.06 c #Conflicts: 694000 | #Constraints: 29518 2035.39/2042.06 c #Conflicts: 695000 | #Constraints: 31162 2035.39/2042.06 c #Conflicts: 696000 | #Constraints: 32876 2035.39/2042.06 c #Conflicts: 697000 | #Constraints: 33902 2035.39/2042.06 c #Conflicts: 698000 | #Constraints: 35251 2035.39/2042.06 c #Conflicts: 699000 | #Constraints: 36873 2035.39/2042.06 c #Conflicts: 700000 | #Constraints: 38464 2035.39/2042.06 c #Conflicts: 701000 | #Constraints: 40070 2035.39/2042.06 c #Conflicts: 702000 | #Constraints: 41699 2035.39/2042.06 c #Conflicts: 703000 | #Constraints: 43009 2035.39/2042.06 c #Conflicts: 704000 | #Constraints: 44400 2035.39/2042.06 c #Conflicts: 705000 | #Constraints: 45471 2035.39/2042.06 c INPROCESSING 2035.39/2042.06 c GARBAGE COLLECT 2035.39/2042.06 c rational objective 0 2123.84/2130.79 c #Conflicts: 706000 | #Constraints: 24465 2123.84/2130.79 c #Conflicts: 707000 | #Constraints: 26190 2123.84/2130.79 c #Conflicts: 708000 | #Constraints: 27954 2123.84/2130.79 c #Conflicts: 709000 | #Constraints: 29654 2123.84/2130.79 c #Conflicts: 710000 | #Constraints: 31376 2123.84/2130.79 c #Conflicts: 711000 | #Constraints: 33081 2123.84/2130.79 c #Conflicts: 712000 | #Constraints: 34797 2123.84/2130.79 c #Conflicts: 713000 | #Constraints: 36548 2123.84/2130.79 c #Conflicts: 714000 | #Constraints: 38276 2123.84/2130.79 c #Conflicts: 715000 | #Constraints: 39998 2123.84/2130.79 c #Conflicts: 716000 | #Constraints: 41709 2123.84/2130.79 c #Conflicts: 717000 | #Constraints: 43438 2123.84/2130.79 c #Conflicts: 718000 | #Constraints: 45129 2123.84/2130.79 c #Conflicts: 719000 | #Constraints: 46854 2123.84/2130.79 c #Conflicts: 720000 | #Constraints: 48518 2123.84/2130.79 c #Conflicts: 721000 | #Constraints: 50215 2123.84/2130.79 c #Conflicts: 722000 | #Constraints: 51922 2123.84/2130.79 c INPROCESSING 2123.84/2130.79 c GARBAGE COLLECT 2123.84/2130.79 c rational objective 0 2211.60/2218.75 c #Conflicts: 723000 | #Constraints: 27634 2211.60/2218.75 c #Conflicts: 724000 | #Constraints: 29081 2211.60/2218.75 c #Conflicts: 725000 | #Constraints: 30773 2211.60/2218.75 c #Conflicts: 726000 | #Constraints: 32465 2211.60/2218.75 c #Conflicts: 727000 | #Constraints: 34119 2211.60/2218.75 c #Conflicts: 728000 | #Constraints: 35821 2211.60/2218.75 c #Conflicts: 729000 | #Constraints: 37516 2211.60/2218.75 c #Conflicts: 730000 | #Constraints: 39210 2211.60/2218.75 c #Conflicts: 731000 | #Constraints: 40890 2211.60/2218.75 c #Conflicts: 732000 | #Constraints: 42569 2211.60/2218.75 c #Conflicts: 733000 | #Constraints: 44251 2211.60/2218.75 c #Conflicts: 734000 | #Constraints: 45804 2211.60/2218.75 c #Conflicts: 735000 | #Constraints: 47492 2211.60/2218.75 c #Conflicts: 736000 | #Constraints: 49067 2211.60/2218.75 c #Conflicts: 737000 | #Constraints: 50755 2211.60/2218.75 c #Conflicts: 738000 | #Constraints: 52466 2211.60/2218.75 c #Conflicts: 739000 | #Constraints: 54018 2211.60/2218.75 c INPROCESSING 2211.60/2218.75 c GARBAGE COLLECT 2211.60/2218.75 c rational objective 0 2308.64/2316.01 c #Conflicts: 740000 | #Constraints: 28504 2308.64/2316.01 c #Conflicts: 741000 | #Constraints: 30244 2308.64/2316.01 c #Conflicts: 742000 | #Constraints: 31970 2308.64/2316.01 c #Conflicts: 743000 | #Constraints: 33719 2308.64/2316.01 c #Conflicts: 744000 | #Constraints: 35402 2308.64/2316.01 c #Conflicts: 745000 | #Constraints: 37097 2308.64/2316.01 c #Conflicts: 746000 | #Constraints: 38810 2308.64/2316.01 c #Conflicts: 747000 | #Constraints: 40520 2308.64/2316.01 c #Conflicts: 748000 | #Constraints: 42208 2308.64/2316.01 c #Conflicts: 749000 | #Constraints: 43881 2308.64/2316.01 c #Conflicts: 750000 | #Constraints: 45590 2308.64/2316.01 c #Conflicts: 751000 | #Constraints: 47274 2308.64/2316.01 c #Conflicts: 752000 | #Constraints: 48985 2308.64/2316.01 c #Conflicts: 753000 | #Constraints: 50664 2308.64/2316.01 c #Conflicts: 754000 | #Constraints: 52369 2308.64/2316.01 c #Conflicts: 755000 | #Constraints: 54052 2308.64/2316.01 c #Conflicts: 756000 | #Constraints: 55755 2308.64/2316.01 c INPROCESSING 2308.64/2316.01 c GARBAGE COLLECT 2308.64/2316.01 c rational objective 0 2399.98/2407.68 c #Conflicts: 757000 | #Constraints: 29054 2399.98/2407.68 c #Conflicts: 758000 | #Constraints: 30734 2399.98/2407.68 c #Conflicts: 759000 | #Constraints: 32372 2399.98/2407.68 c #Conflicts: 760000 | #Constraints: 34037 2399.98/2407.68 c #Conflicts: 761000 | #Constraints: 35625 2399.98/2407.68 c #Conflicts: 762000 | #Constraints: 37297 2399.98/2407.68 c #Conflicts: 763000 | #Constraints: 38442 2399.98/2407.68 c #Conflicts: 764000 | #Constraints: 40070 2399.98/2407.68 c #Conflicts: 765000 | #Constraints: 41487 2399.98/2407.68 c #Conflicts: 766000 | #Constraints: 43119 2399.98/2407.68 c #Conflicts: 767000 | #Constraints: 44799 2399.98/2407.68 c #Conflicts: 768000 | #Constraints: 46486 2399.98/2407.68 c #Conflicts: 769000 | #Constraints: 48191 2399.98/2407.68 c #Conflicts: 770000 | #Constraints: 49909 2399.98/2407.68 c #Conflicts: 771000 | #Constraints: 51568 2399.98/2407.68 c #Conflicts: 772000 | #Constraints: 53196 2399.98/2407.68 c #Conflicts: 773000 | #Constraints: 54837 2399.98/2407.68 c #Conflicts: 774000 | #Constraints: 56497 2399.98/2407.68 c INPROCESSING 2399.98/2407.68 c GARBAGE COLLECT 2399.98/2407.68 c rational objective 0 2513.65/2521.67 c #Conflicts: 775000 | #Constraints: 29772 2513.65/2521.67 c #Conflicts: 776000 | #Constraints: 31384 2513.65/2521.67 c #Conflicts: 777000 | #Constraints: 33057 2513.65/2521.67 c #Conflicts: 778000 | #Constraints: 34769 2513.65/2521.67 c #Conflicts: 779000 | #Constraints: 36472 2513.65/2521.67 c #Conflicts: 780000 | #Constraints: 38168 2513.65/2521.67 c #Conflicts: 781000 | #Constraints: 39850 2513.65/2521.67 c #Conflicts: 782000 | #Constraints: 41444 2513.65/2521.67 c #Conflicts: 783000 | #Constraints: 43186 2513.65/2521.67 c #Conflicts: 784000 | #Constraints: 44626 2513.65/2521.67 c #Conflicts: 785000 | #Constraints: 46377 2513.65/2521.67 c #Conflicts: 786000 | #Constraints: 48107 2513.65/2521.67 c #Conflicts: 787000 | #Constraints: 49806 2513.65/2521.67 c #Conflicts: 788000 | #Constraints: 51499 2513.65/2521.67 c #Conflicts: 789000 | #Constraints: 53162 2513.65/2521.67 c #Conflicts: 790000 | #Constraints: 54768 2513.65/2521.67 c #Conflicts: 791000 | #Constraints: 56435 2513.65/2521.67 c #Conflicts: 792000 | #Constraints: 58159 2513.65/2521.67 c INPROCESSING 2513.65/2521.67 c GARBAGE COLLECT 2513.65/2521.67 c rational objective 0 2609.90/2618.14 c #Conflicts: 793000 | #Constraints: 30760 2609.90/2618.14 c #Conflicts: 794000 | #Constraints: 32422 2609.90/2618.14 c #Conflicts: 795000 | #Constraints: 34049 2609.90/2618.14 c #Conflicts: 796000 | #Constraints: 35709 2609.90/2618.14 c #Conflicts: 797000 | #Constraints: 37361 2609.90/2618.14 c #Conflicts: 798000 | #Constraints: 39030 2609.90/2618.14 c #Conflicts: 799000 | #Constraints: 40696 2609.90/2618.14 c #Conflicts: 800000 | #Constraints: 42364 2609.90/2618.14 c #Conflicts: 801000 | #Constraints: 44004 2609.90/2618.14 c #Conflicts: 802000 | #Constraints: 45670 2609.90/2618.14 c #Conflicts: 803000 | #Constraints: 47060 2609.90/2618.14 c #Conflicts: 804000 | #Constraints: 48715 2609.90/2618.14 c #Conflicts: 805000 | #Constraints: 50374 2609.90/2618.14 c #Conflicts: 806000 | #Constraints: 52024 2609.90/2618.14 c #Conflicts: 807000 | #Constraints: 53690 2609.90/2618.14 c #Conflicts: 808000 | #Constraints: 55093 2609.90/2618.14 c #Conflicts: 809000 | #Constraints: 56769 2609.90/2618.14 c #Conflicts: 810000 | #Constraints: 58451 2609.90/2618.14 c INPROCESSING 2609.90/2618.14 c GARBAGE COLLECT 2609.90/2618.14 c rational objective 0 2688.90/2697.35 c #Conflicts: 811000 | #Constraints: 30241 2688.90/2697.35 c #Conflicts: 812000 | #Constraints: 31241 2688.90/2697.35 c #Conflicts: 813000 | #Constraints: 32241 2688.90/2697.35 c #Conflicts: 814000 | #Constraints: 33241 2688.90/2697.35 c #Conflicts: 815000 | #Constraints: 34241 2688.90/2697.35 c #Conflicts: 816000 | #Constraints: 35241 2688.90/2697.35 c #Conflicts: 817000 | #Constraints: 36241 2688.90/2697.35 c #Conflicts: 818000 | #Constraints: 37241 2688.90/2697.35 c #Conflicts: 819000 | #Constraints: 38241 2688.90/2697.35 c #Conflicts: 820000 | #Constraints: 39241 2688.90/2697.35 c #Conflicts: 821000 | #Constraints: 40241 2688.90/2697.35 c #Conflicts: 822000 | #Constraints: 41241 2688.90/2697.35 c #Conflicts: 823000 | #Constraints: 42241 2688.90/2697.35 c #Conflicts: 824000 | #Constraints: 43241 2688.90/2697.35 c #Conflicts: 825000 | #Constraints: 44241 2688.90/2697.35 c #Conflicts: 826000 | #Constraints: 45242 2688.90/2697.35 c #Conflicts: 827000 | #Constraints: 46242 2688.90/2697.35 c #Conflicts: 828000 | #Constraints: 47242 2688.90/2697.35 c INPROCESSING 2688.90/2697.35 c GARBAGE COLLECT 2688.90/2697.35 c rational objective 0 2768.86/2777.52 c #Conflicts: 829000 | #Constraints: 24815 2768.86/2777.52 c #Conflicts: 830000 | #Constraints: 26280 2768.86/2777.52 c #Conflicts: 831000 | #Constraints: 27672 2768.86/2777.52 c #Conflicts: 832000 | #Constraints: 28975 2768.86/2777.52 c #Conflicts: 833000 | #Constraints: 30395 2768.86/2777.52 c #Conflicts: 834000 | #Constraints: 31395 2768.86/2777.52 c #Conflicts: 835000 | #Constraints: 32395 2768.86/2777.52 c #Conflicts: 836000 | #Constraints: 33784 2768.86/2777.52 c #Conflicts: 837000 | #Constraints: 34878 2768.86/2777.52 c #Conflicts: 838000 | #Constraints: 36032 2768.86/2777.52 c #Conflicts: 839000 | #Constraints: 37387 2768.86/2777.52 c #Conflicts: 840000 | #Constraints: 38841 2768.86/2777.52 c #Conflicts: 841000 | #Constraints: 39924 2768.86/2777.52 c #Conflicts: 842000 | #Constraints: 41602 2768.86/2777.52 c #Conflicts: 843000 | #Constraints: 43182 2768.86/2777.52 c #Conflicts: 844000 | #Constraints: 44405 2768.86/2777.52 c #Conflicts: 845000 | #Constraints: 46011 2768.86/2777.52 c #Conflicts: 846000 | #Constraints: 47288 2768.86/2777.52 c INPROCESSING 2768.86/2777.52 c GARBAGE COLLECT 2768.86/2777.52 c rational objective 0 2844.27/2853.11 c #Conflicts: 847000 | #Constraints: 24714 2844.27/2853.11 c #Conflicts: 848000 | #Constraints: 25877 2844.27/2853.11 c #Conflicts: 849000 | #Constraints: 26908 2844.27/2853.11 c #Conflicts: 850000 | #Constraints: 28534 2844.27/2853.11 c #Conflicts: 851000 | #Constraints: 30165 2844.27/2853.11 c #Conflicts: 852000 | #Constraints: 31624 2844.27/2853.11 c #Conflicts: 853000 | #Constraints: 33249 2844.27/2853.11 c #Conflicts: 854000 | #Constraints: 34415 2844.27/2853.11 c #Conflicts: 855000 | #Constraints: 35949 2844.27/2853.11 c #Conflicts: 856000 | #Constraints: 37092 2844.27/2853.11 c #Conflicts: 857000 | #Constraints: 38562 2844.27/2853.11 c #Conflicts: 858000 | #Constraints: 40167 2844.27/2853.11 c #Conflicts: 859000 | #Constraints: 41443 2844.27/2853.11 c #Conflicts: 860000 | #Constraints: 42646 2844.27/2853.11 c #Conflicts: 861000 | #Constraints: 44000 2844.27/2853.11 c #Conflicts: 862000 | #Constraints: 45420 2844.27/2853.11 c #Conflicts: 863000 | #Constraints: 46982 2844.27/2853.11 c #Conflicts: 864000 | #Constraints: 47984 2844.27/2853.11 c #Conflicts: 865000 | #Constraints: 49555 2844.27/2853.11 c INPROCESSING 2844.27/2853.11 c GARBAGE COLLECT 2844.27/2853.11 c rational objective 0 2908.22/2917.29 c #Conflicts: 866000 | #Constraints: 25803 2908.22/2917.29 c #Conflicts: 867000 | #Constraints: 26909 2908.22/2917.29 c #Conflicts: 868000 | #Constraints: 27909 2908.22/2917.29 c #Conflicts: 869000 | #Constraints: 28932 2908.22/2917.29 c #Conflicts: 870000 | #Constraints: 29954 2908.22/2917.29 c #Conflicts: 871000 | #Constraints: 30954 2908.22/2917.29 c #Conflicts: 872000 | #Constraints: 31954 2908.22/2917.29 c #Conflicts: 873000 | #Constraints: 32954 2908.22/2917.29 c #Conflicts: 874000 | #Constraints: 34207 2908.22/2917.29 c #Conflicts: 875000 | #Constraints: 35414 2908.22/2917.29 c #Conflicts: 876000 | #Constraints: 36593 2908.22/2917.29 c #Conflicts: 877000 | #Constraints: 37776 2908.22/2917.29 c #Conflicts: 878000 | #Constraints: 39116 2908.22/2917.29 c #Conflicts: 879000 | #Constraints: 40199 2908.22/2917.29 c #Conflicts: 880000 | #Constraints: 41573 2908.22/2917.29 c #Conflicts: 881000 | #Constraints: 42677 2908.22/2917.29 c #Conflicts: 882000 | #Constraints: 43677 2908.22/2917.29 c #Conflicts: 883000 | #Constraints: 45053 2908.22/2917.29 c #Conflicts: 884000 | #Constraints: 46144 2908.22/2917.29 c INPROCESSING 2908.22/2917.29 c GARBAGE COLLECT 2908.22/2917.29 c rational objective 0 2991.38/3000.64 c #Conflicts: 885000 | #Constraints: 24735 2991.38/3000.64 c #Conflicts: 886000 | #Constraints: 26338 2991.38/3000.64 c #Conflicts: 887000 | #Constraints: 27971 2991.38/3000.64 c #Conflicts: 888000 | #Constraints: 29606 2991.38/3000.64 c #Conflicts: 889000 | #Constraints: 31293 2991.38/3000.64 c #Conflicts: 890000 | #Constraints: 32925 2991.38/3000.64 c #Conflicts: 891000 | #Constraints: 34588 2991.38/3000.64 c #Conflicts: 892000 | #Constraints: 36246 2991.38/3000.64 c #Conflicts: 893000 | #Constraints: 37926 2991.38/3000.64 c #Conflicts: 894000 | #Constraints: 39578 2991.38/3000.64 c #Conflicts: 895000 | #Constraints: 41235 2991.38/3000.64 c #Conflicts: 896000 | #Constraints: 42914 2991.38/3000.64 c #Conflicts: 897000 | #Constraints: 44613 2991.38/3000.64 c #Conflicts: 898000 | #Constraints: 46308 2991.38/3000.64 c #Conflicts: 899000 | #Constraints: 47993 2991.38/3000.64 c #Conflicts: 900000 | #Constraints: 49610 2991.38/3000.64 c #Conflicts: 901000 | #Constraints: 51320 2991.38/3000.64 c #Conflicts: 902000 | #Constraints: 53006 2991.38/3000.64 c #Conflicts: 903000 | #Constraints: 54664 2991.38/3000.64 c INPROCESSING 2991.38/3000.64 c GARBAGE COLLECT 2991.38/3000.64 c rational objective 0 3103.76/3113.34 c #Conflicts: 904000 | #Constraints: 29056 3103.76/3113.34 c #Conflicts: 905000 | #Constraints: 30760 3103.76/3113.34 c #Conflicts: 906000 | #Constraints: 32435 3103.76/3113.34 c #Conflicts: 907000 | #Constraints: 34168 3103.76/3113.34 c #Conflicts: 908000 | #Constraints: 35860 3103.76/3113.34 c #Conflicts: 909000 | #Constraints: 37588 3103.76/3113.34 c #Conflicts: 910000 | #Constraints: 39287 3103.76/3113.34 c #Conflicts: 911000 | #Constraints: 40953 3103.76/3113.34 c #Conflicts: 912000 | #Constraints: 42615 3103.76/3113.34 c #Conflicts: 913000 | #Constraints: 44296 3103.76/3113.34 c #Conflicts: 914000 | #Constraints: 46009 3103.76/3113.34 c #Conflicts: 915000 | #Constraints: 47687 3103.76/3113.34 c #Conflicts: 916000 | #Constraints: 49392 3103.76/3113.34 c #Conflicts: 917000 | #Constraints: 51070 3103.76/3113.34 c #Conflicts: 918000 | #Constraints: 52747 3103.76/3113.34 c #Conflicts: 919000 | #Constraints: 54424 3103.76/3113.34 c #Conflicts: 920000 | #Constraints: 56114 3103.76/3113.34 c #Conflicts: 921000 | #Constraints: 57835 3103.76/3113.34 c #Conflicts: 922000 | #Constraints: 59501 3103.76/3113.34 c INPROCESSING 3103.76/3113.34 c GARBAGE COLLECT 3103.76/3113.34 c rational objective 0 3195.23/3205.01 c #Conflicts: 923000 | #Constraints: 30965 3195.23/3205.01 c #Conflicts: 924000 | #Constraints: 31965 3195.23/3205.01 c #Conflicts: 925000 | #Constraints: 32965 3195.23/3205.01 c #Conflicts: 926000 | #Constraints: 34301 3195.23/3205.01 c #Conflicts: 927000 | #Constraints: 35974 3195.23/3205.01 c #Conflicts: 928000 | #Constraints: 37630 3195.23/3205.01 c #Conflicts: 929000 | #Constraints: 39281 3195.23/3205.01 c #Conflicts: 930000 | #Constraints: 40925 3195.23/3205.01 c #Conflicts: 931000 | #Constraints: 42560 3195.23/3205.01 c #Conflicts: 932000 | #Constraints: 44196 3195.23/3205.01 c #Conflicts: 933000 | #Constraints: 45840 3195.23/3205.01 c #Conflicts: 934000 | #Constraints: 47481 3195.23/3205.01 c #Conflicts: 935000 | #Constraints: 49143 3195.23/3205.01 c #Conflicts: 936000 | #Constraints: 50813 3195.23/3205.01 c #Conflicts: 937000 | #Constraints: 52465 3195.23/3205.01 c #Conflicts: 938000 | #Constraints: 54122 3195.23/3205.01 c #Conflicts: 939000 | #Constraints: 55767 3195.23/3205.01 c #Conflicts: 940000 | #Constraints: 57405 3195.23/3205.01 c #Conflicts: 941000 | #Constraints: 58502 3195.23/3205.01 c INPROCESSING 3195.23/3205.01 c GARBAGE COLLECT 3195.23/3205.01 c rational objective 0 3319.39/3329.54 c #Conflicts: 942000 | #Constraints: 30235 3319.39/3329.54 c #Conflicts: 943000 | #Constraints: 31908 3319.39/3329.54 c #Conflicts: 944000 | #Constraints: 33556 3319.39/3329.54 c #Conflicts: 945000 | #Constraints: 35232 3319.39/3329.54 c #Conflicts: 946000 | #Constraints: 36892 3319.39/3329.54 c #Conflicts: 947000 | #Constraints: 38553 3319.39/3329.54 c #Conflicts: 948000 | #Constraints: 40211 3319.39/3329.54 c #Conflicts: 949000 | #Constraints: 41878 3319.39/3329.54 c #Conflicts: 950000 | #Constraints: 43540 3319.39/3329.54 c #Conflicts: 951000 | #Constraints: 45217 3319.39/3329.54 c #Conflicts: 952000 | #Constraints: 46892 3319.39/3329.54 c #Conflicts: 953000 | #Constraints: 48577 3319.39/3329.54 c #Conflicts: 954000 | #Constraints: 50213 3319.39/3329.54 c #Conflicts: 955000 | #Constraints: 51830 3319.39/3329.54 c #Conflicts: 956000 | #Constraints: 53450 3319.39/3329.54 c #Conflicts: 957000 | #Constraints: 55094 3319.39/3329.54 c #Conflicts: 958000 | #Constraints: 56776 3319.39/3329.54 c #Conflicts: 959000 | #Constraints: 58421 3319.39/3329.54 c #Conflicts: 960000 | #Constraints: 60069 3319.39/3329.54 c #Conflicts: 961000 | #Constraints: 61705 3319.39/3329.54 c INPROCESSING 3319.39/3329.54 c GARBAGE COLLECT 3319.39/3329.54 c rational objective 0 3433.50/3443.93 c #Conflicts: 962000 | #Constraints: 32372 3433.50/3443.93 c #Conflicts: 963000 | #Constraints: 34047 3433.50/3443.93 c #Conflicts: 964000 | #Constraints: 35708 3433.50/3443.93 c #Conflicts: 965000 | #Constraints: 37397 3433.50/3443.93 c #Conflicts: 966000 | #Constraints: 39085 3433.50/3443.93 c #Conflicts: 967000 | #Constraints: 40790 3433.50/3443.93 c #Conflicts: 968000 | #Constraints: 42445 3433.50/3443.93 c #Conflicts: 969000 | #Constraints: 44131 3433.50/3443.93 c #Conflicts: 970000 | #Constraints: 45814 3433.50/3443.93 c #Conflicts: 971000 | #Constraints: 47508 3433.50/3443.93 c #Conflicts: 972000 | #Constraints: 49227 3433.50/3443.93 c #Conflicts: 973000 | #Constraints: 50910 3433.50/3443.93 c #Conflicts: 974000 | #Constraints: 52587 3433.50/3443.93 c #Conflicts: 975000 | #Constraints: 54282 3433.50/3443.93 c #Conflicts: 976000 | #Constraints: 55942 3433.50/3443.93 c #Conflicts: 977000 | #Constraints: 57632 3433.50/3443.93 c #Conflicts: 978000 | #Constraints: 59319 3433.50/3443.93 c #Conflicts: 979000 | #Constraints: 61013 3433.50/3443.93 c #Conflicts: 980000 | #Constraints: 62704 3433.50/3443.93 c #Conflicts: 981000 | #Constraints: 64384 3433.50/3443.93 c INPROCESSING 3433.50/3443.93 c GARBAGE COLLECT 3433.50/3443.93 c rational objective 0 3560.47/3571.24 c #Conflicts: 982000 | #Constraints: 33882 3560.47/3571.24 c #Conflicts: 983000 | #Constraints: 35587 3560.47/3571.24 c #Conflicts: 984000 | #Constraints: 37268 3560.47/3571.24 c #Conflicts: 985000 | #Constraints: 38943 3560.47/3571.24 c #Conflicts: 986000 | #Constraints: 40589 3560.47/3571.24 c #Conflicts: 987000 | #Constraints: 42240 3560.47/3571.24 c #Conflicts: 988000 | #Constraints: 43873 3560.47/3571.24 c #Conflicts: 989000 | #Constraints: 45545 3560.47/3571.24 c #Conflicts: 990000 | #Constraints: 47261 3560.47/3571.24 c #Conflicts: 991000 | #Constraints: 48925 3560.47/3571.24 c #Conflicts: 992000 | #Constraints: 50591 3560.47/3571.24 c #Conflicts: 993000 | #Constraints: 52284 3560.47/3571.24 c #Conflicts: 994000 | #Constraints: 53966 3560.47/3571.24 c #Conflicts: 995000 | #Constraints: 55619 3560.47/3571.24 c #Conflicts: 996000 | #Constraints: 57285 3560.47/3571.24 c #Conflicts: 997000 | #Constraints: 58965 3560.47/3571.24 c #Conflicts: 998000 | #Constraints: 60688 3560.47/3571.24 c #Conflicts: 999000 | #Constraints: 62396 3560.47/3571.24 c #Conflicts: 1000000 | #Constraints: 64096 3560.47/3571.24 c #Conflicts: 1001000 | #Constraints: 65779 3560.47/3571.24 c INPROCESSING 3560.47/3571.24 c GARBAGE COLLECT 3560.47/3571.24 c rational objective 0 3600.06/3610.90 c #Conflicts: 1002000 | #Constraints: 34577 3600.06/3610.90 c #Conflicts: 1003000 | #Constraints: 36189 3600.06/3610.90 c #Conflicts: 1004000 | #Constraints: 37822 3600.06/3610.90 c #Conflicts: 1005000 | #Constraints: 39464 3600.06/3610.90 c #Conflicts: 1006000 | #Constraints: 41081 3600.06/3610.90 c #Conflicts: 1007000 | #Constraints: 42721 3600.06/3610.90 c #Conflicts: 1008000 | #Constraints: 44385 3600.06/3610.90 c #Conflicts: 1009000 | #Constraints: 46026 3600.06/3610.90 c #Conflicts: 1010000 | #Constraints: 47679 3600.06/3610.90 c Program interrupted by user. 3600.06/3610.90 c cpu time 3587.05 s 3600.06/3610.90 c deterministic time 484387563644 4.84e+11 3600.06/3610.90 c optimization time 39.4233 s 3600.06/3610.90 c total solve time 3547.62 s 3600.06/3610.90 c core-guided solve time 1712.74 s 3600.06/3610.90 c propagation time 3300.81 s 3600.06/3610.90 c conflict analysis time 271.184 s 3600.06/3610.90 c propagations 15116989 3600.06/3610.90 c resolve steps 6028000 3600.06/3610.90 c decisions 1643473 3600.06/3610.90 c conflicts 1010020 3600.06/3610.90 c restarts 2045 3600.06/3610.90 c inprocessing phases 91 3600.06/3610.90 c input clauses 0 3600.06/3610.90 c input cardinalities 1 3600.06/3610.90 c input general constraints 29 3600.06/3610.90 c input average constraint length 50.27 3600.06/3610.90 c input average constraint degree 786.07 3600.06/3610.90 c learned clauses 487600 3600.06/3610.90 c learned cardinalities 0 3600.06/3610.90 c learned general constraints 994623 3600.06/3610.90 c learned average constraint length 31.47 3600.06/3610.90 c learned average constraint degree 1764288908.36 3600.06/3610.90 c watched constraints 732028 3600.06/3610.90 c counting constraints 262624 3600.06/3610.90 c gcd simplifications 446332 3600.06/3610.90 c detected cardinalities 0 3600.06/3610.90 c weakened non-implied lits 8426204 3600.06/3610.90 c weakened non-implying lits 169635 3600.06/3610.90 c original variables 120 3600.06/3610.90 c clausal propagations 281251 3600.06/3610.90 c cardinality propagations 0 3600.06/3610.90 c watched propagations 9516704 3600.06/3610.90 c counting propagations 4602882 3600.06/3610.90 c watch lookups 50968483693 3600.06/3610.90 c watch backjump lookups 35747683578 3600.06/3610.90 c watch checks 305242222961 3600.06/3610.90 c propagation checks 92078393929 3600.06/3610.90 c constraint additions 315532883 3600.06/3610.90 c trail pops 17770204 3600.06/3610.90 c formula constraints 10 3600.06/3610.90 c learned constraints 1009861 3600.06/3610.90 c bound constraints 20 3600.06/3610.90 c core-guided constraints 0 3600.06/3610.90 c encountered formula constraints 54432 3600.06/3610.90 c encountered learned constraints 3937991 3600.06/3610.90 c encountered bound constraints 513 3600.06/3610.90 c encountered core-guided constraints 0 3600.06/3610.90 c LP total time 52.6188 s 3600.06/3610.90 c LP solve time 30.92 s 3600.06/3610.90 c LP constraints added 162 3600.06/3610.90 c LP constraints removed 151 3600.06/3610.90 c LP pivots internal 715298 3600.06/3610.90 c LP pivots root 635 3600.06/3610.90 c LP calls 646249 3600.06/3610.90 c LP optimalities 174176 3600.06/3610.90 c LP no pivot count 70433 3600.06/3610.90 c LP infeasibilities 472072 3600.06/3610.90 c LP valid Farkas constraints 472072 3600.06/3610.90 c LP learned Farkas constraints 158 3600.06/3610.90 c LP basis resets 1 3600.06/3610.90 c LP cycling count 0 3600.06/3610.90 c LP singular count 1 3600.06/3610.90 c LP no primal count 0 3600.06/3610.90 c LP no farkas count 0 3600.06/3610.90 c LP other issue count 0 3600.06/3610.90 c LP Gomory cuts 132 3600.06/3610.90 c LP learned cuts 20 3600.06/3610.90 c LP deleted cuts 151 3600.06/3610.90 c LP encountered Gomory constraints 6398 3600.06/3610.90 c LP encountered Farkas constraints 2898771 3600.06/3610.90 c LP encountered learned Farkas constraints 139757 3600.06/3610.90 c CG auxiliary variables introduced 0 3600.06/3610.90 c CG solutions found 20 3600.06/3610.90 c CG cores constructed 0 3600.06/3610.90 c CG core cardinality constraints returned 0 3600.06/3610.90 c CG unit cores 0 3600.06/3610.90 c CG single cores 0 3600.06/3610.90 c CG blocks removed during cardinality reduction 0 3600.06/3610.90 c CG first core best 0 3600.06/3610.90 c CG decision core best 0 3600.06/3610.90 c CG core reduction tie 0 3600.06/3610.90 c CG core degree average 0.00 3600.06/3610.90 c CG core slack average 0.00 3600.06/3610.90 s SATISFIABLE 3600.06/3610.90 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 x91 x92 -x93 x94 -x95 -x96 x97 -x98 x99 x100 x101 -x102 -x103 x104 x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 x115 -x116 x117 x118 -x119 -x120
OK 1
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: 63931 MiB (60331 MiB free)
memory of node 1: 64510 MiB (58549 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455171-1721459482/watcher-4455171-1721459482 -o /tmp/evaluation-result-4455171-1721459482/solver-4455171-1721459482 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721455786-1069361 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455171-1721459482.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1071667, runsolver pid=1071664
[startup+0.100129 s]*
/proc/loadavg: 4.08 4.10 4.09 5/257 1071668
/proc/meminfo: memFree=121732412/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=37664 memory=8596 CPUtime=0.09 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 520 0 0 0 9 0 0 0 20 0 1 0 198116453 38567936 2149 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 9416 2149 1846 922 0 1368 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37664 KiB
Current children cumulated memory: 8596 KiB
[startup+0.205658 s]*
/proc/loadavg: 4.08 4.10 4.09 5/257 1071668
/proc/meminfo: memFree=121731732/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=37796 memory=9124 CPUtime=0.2 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 657 0 0 0 19 1 0 0 20 0 1 0 198116453 38703104 2281 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 9449 2281 1846 922 0 1401 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37796 KiB
Current children cumulated memory: 9124 KiB
[startup+0.305613 s]*
/proc/loadavg: 4.08 4.10 4.09 5/257 1071668
/proc/meminfo: memFree=121727332/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=37928 memory=9388 CPUtime=0.29 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 691 0 0 0 28 1 0 0 20 0 1 0 198116453 38838272 2347 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 9482 2347 1846 922 0 1434 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 37928 KiB
Current children cumulated memory: 9388 KiB
[startup+0.700248 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 1071668
/proc/meminfo: memFree=121724452/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=38336 memory=11964 CPUtime=0.68 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 858 0 0 0 65 3 0 0 20 0 1 0 198116453 39256064 2991 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 9584 2991 1846 922 0 1536 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38336 KiB
Current children cumulated memory: 11964 KiB
[startup+1.50019 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 1071668
/proc/meminfo: memFree=121724116/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=38848 memory=12536 CPUtime=1.48 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 1003 0 0 0 141 7 0 0 20 0 1 0 198116453 39780352 3134 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 9712 3134 1846 922 0 1664 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38848 KiB
Current children cumulated memory: 12536 KiB
[startup+3.10528 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 1071668
/proc/meminfo: memFree=121723528/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=39268 memory=13056 CPUtime=3.08 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 1089 0 0 0 296 12 0 0 20 0 1 0 198116453 40210432 3264 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 9817 3264 1846 922 0 1769 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39268 KiB
Current children cumulated memory: 13056 KiB
[startup+6.30023 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 1071670
/proc/meminfo: memFree=121720784/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=39812 memory=13540 CPUtime=6.27 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 1210 0 0 0 607 20 0 0 20 0 1 0 198116453 40767488 3385 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 9953 3385 1846 922 0 1905 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 39812 KiB
Current children cumulated memory: 13540 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.10 4.09 5/257 1071670
/proc/meminfo: memFree=121696164/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=40452 memory=13936 CPUtime=12.65 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 1352 0 0 0 1234 31 0 0 20 0 1 0 198116453 41422848 3484 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 10113 3484 1846 922 0 2065 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 13936 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 4.09 4.09 5/257 1071673
/proc/meminfo: memFree=121589400/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=41412 memory=14888 CPUtime=25.42 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 1551 0 0 0 2493 49 0 0 20 0 1 0 198116453 42405888 3722 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 10353 3722 1846 922 0 2305 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 41412 KiB
Current children cumulated memory: 14888 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 1071676
/proc/meminfo: memFree=121351748/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=47268 memory=19116 CPUtime=50.96 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 2648 0 0 0 5018 78 0 0 20 0 1 0 198116453 48402432 4779 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 11817 4779 1846 922 0 3769 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 47268 KiB
Current children cumulated memory: 19116 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 1071823
/proc/meminfo: memFree=120664492/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=49564 memory=23108 CPUtime=101.99 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 3652 0 0 0 10079 120 0 0 20 0 1 0 198116453 50753536 5777 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 12391 5777 1846 922 0 4343 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 49564 KiB
Current children cumulated memory: 23108 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 1071835
/proc/meminfo: memFree=120308072/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=56612 memory=28164 CPUtime=161.8 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 4292 0 0 0 16017 163 0 0 20 0 1 0 198116453 57970688 7041 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 14153 7041 1974 922 0 6105 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 56612 KiB
Current children cumulated memory: 28164 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 1071937
/proc/meminfo: memFree=120537444/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=58404 memory=29640 CPUtime=221.61 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 4714 0 0 0 21958 203 0 0 20 0 1 0 198116453 59805696 7410 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 14601 7410 1974 922 0 6553 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 58404 KiB
Current children cumulated memory: 29640 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/255 1072085
/proc/meminfo: memFree=121350548/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=58916 memory=30164 CPUtime=281.41 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 4876 0 0 0 27909 232 0 0 20 0 1 0 198116453 60329984 7541 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 14729 7541 1974 922 0 6681 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 58916 KiB
Current children cumulated memory: 30164 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/255 1072097
/proc/meminfo: memFree=121136756/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=59688 memory=31168 CPUtime=341.21 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 5162 0 0 0 33858 263 0 0 20 0 1 0 198116453 61120512 7792 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 14922 7792 1974 922 0 6874 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 59688 KiB
Current children cumulated memory: 31168 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/255 1072108
/proc/meminfo: memFree=120939856/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=61068 memory=32632 CPUtime=401.01 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 5614 0 0 0 39809 292 0 0 20 0 1 0 198116453 62533632 8158 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 15267 8158 1974 922 0 7219 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 61068 KiB
Current children cumulated memory: 32632 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/255 1072118
/proc/meminfo: memFree=120485484/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=62000 memory=33968 CPUtime=460.81 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 6103 0 0 0 45761 320 0 0 20 0 1 0 198116453 63488000 8492 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 15500 8492 1974 922 0 7452 0
################
# More data... #
################
Current children cumulated memory: 49744 KiB
[startup+2922.3 s]
/proc/loadavg: 4.43 4.21 4.16 5/257 1073740
/proc/meminfo: memFree=116857836/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=78624 memory=49744 CPUtime=2913.3 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 9610 0 0 0 290178 1152 0 0 20 0 1 0 198116453 80510976 12436 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 19656 12436 1974 922 0 11608 0
Current children cumulated CPU time: 2913.3 s
Current children cumulated vsize: 78624 KiB
Current children cumulated memory: 49744 KiB
[startup+2982.3 s]
/proc/loadavg: 4.27 4.20 4.16 5/256 1073763
/proc/meminfo: memFree=116812212/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=78624 memory=49744 CPUtime=2973.14 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 9625 0 0 0 296146 1168 0 0 20 0 1 0 198116453 80510976 12436 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 19656 12436 1974 922 0 11608 0
Current children cumulated CPU time: 2973.14 s
Current children cumulated vsize: 78624 KiB
Current children cumulated memory: 49744 KiB
[startup+3042.3 s]
/proc/loadavg: 4.36 4.23 4.17 5/256 1073773
/proc/meminfo: memFree=116629420/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=78624 memory=49804 CPUtime=3032.98 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 9647 0 0 0 302115 1183 0 0 20 0 1 0 198116453 80510976 12451 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 19656 12451 1974 922 0 11608 0
Current children cumulated CPU time: 3032.98 s
Current children cumulated vsize: 78624 KiB
Current children cumulated memory: 49804 KiB
[startup+3102.3 s]
/proc/loadavg: 4.21 4.20 4.16 5/256 1073784
/proc/meminfo: memFree=116727500/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=78624 memory=49804 CPUtime=3092.8 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 9665 0 0 0 308085 1195 0 0 20 0 1 0 198116453 80510976 12451 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 19656 12451 1974 922 0 11608 0
Current children cumulated CPU time: 3092.8 s
Current children cumulated vsize: 78624 KiB
Current children cumulated memory: 49804 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.18 4.16 5/256 1073795
/proc/meminfo: memFree=116666664/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=78624 memory=51852 CPUtime=3152.64 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 9697 0 0 0 314052 1212 0 0 20 0 1 0 198116453 80510976 12963 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 19656 12963 1974 922 0 11608 0
Current children cumulated CPU time: 3152.64 s
Current children cumulated vsize: 78624 KiB
Current children cumulated memory: 51852 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.16 4.15 5/255 1073805
/proc/meminfo: memFree=116663904/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=78624 memory=51928 CPUtime=3212.48 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 9711 0 0 0 320024 1224 0 0 20 0 1 0 198116453 80510976 12982 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 19656 12982 1974 922 0 11608 0
Current children cumulated CPU time: 3212.48 s
Current children cumulated vsize: 78624 KiB
Current children cumulated memory: 51928 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.14 4.14 5/255 1073817
/proc/meminfo: memFree=116677144/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=78492 memory=51808 CPUtime=3272.32 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 9730 0 0 0 325997 1235 0 0 20 0 1 0 198116453 80375808 12952 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 19623 12952 1974 922 0 11575 0
Current children cumulated CPU time: 3272.32 s
Current children cumulated vsize: 78492 KiB
Current children cumulated memory: 51808 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.13 4.14 5/256 1073828
/proc/meminfo: memFree=116672384/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=79516 memory=52588 CPUtime=3332.16 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 9953 0 0 0 331969 1247 0 0 20 0 1 0 198116453 81424384 13147 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 19879 13147 1974 922 0 11831 0
Current children cumulated CPU time: 3332.16 s
Current children cumulated vsize: 79516 KiB
Current children cumulated memory: 52588 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.12 4.13 5/256 1073839
/proc/meminfo: memFree=116675256/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=79516 memory=52588 CPUtime=3392.01 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 9971 0 0 0 337941 1260 0 0 20 0 1 0 198116453 81424384 13147 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 19879 13147 1974 922 0 11831 0
Current children cumulated CPU time: 3392.01 s
Current children cumulated vsize: 79516 KiB
Current children cumulated memory: 52588 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/256 1073850
/proc/meminfo: memFree=116662260/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=79868 memory=52992 CPUtime=3451.85 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 10120 0 0 0 343913 1272 0 0 20 0 1 0 198116453 81784832 13248 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 19967 13248 1974 922 0 11919 0
Current children cumulated CPU time: 3451.85 s
Current children cumulated vsize: 79868 KiB
Current children cumulated memory: 52992 KiB
[startup+3522.3 s]
/proc/loadavg: 4.04 4.10 4.12 5/258 1073910
/proc/meminfo: memFree=118732176/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=79868 memory=53188 CPUtime=3511.7 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 10137 0 0 0 349885 1285 0 0 20 0 1 0 198116453 81784832 13297 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 19967 13297 1974 922 0 11919 0
Current children cumulated CPU time: 3511.7 s
Current children cumulated vsize: 79868 KiB
Current children cumulated memory: 53188 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/258 1073921
/proc/meminfo: memFree=117913160/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=81076 memory=53340 CPUtime=3571.54 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 10564 0 0 0 355858 1296 0 0 20 0 1 0 198116453 83021824 13335 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 20269 13335 1974 922 0 12221 0
Current children cumulated CPU time: 3571.54 s
Current children cumulated vsize: 81076 KiB
Current children cumulated memory: 53340 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.07 4.10 4.11 5/258 1073926
/proc/meminfo: memFree=117365640/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=81076 memory=53340 CPUtime=3600.06 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 10565 0 0 0 358704 1302 0 0 20 0 1 0 198116453 83021824 13335 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 20269 13335 1974 922 0 12221 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 81076 KiB
Current children cumulated memory: 53340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.9 s]
# the end of solver process 1071667 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.05 s, system=13.0298 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.07 4.10 4.11 5/258 1073926
/proc/meminfo: memFree=117365640/131524600 swapFree=131071996/131071996
[pid=1071667] ppid=1071664 vsize=81076 memory=53340 CPUtime=3600.06 cores=1,3
/proc/1071667/stat : 1071667 (roundingsat) R 1071664 1071667 1069349 0 -1 4194304 10565 0 0 0 358704 1302 0 0 20 0 1 0 198116453 83021824 13335 134679101440 4194304 7968373 140720732380144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 29945856 140720732386236 140720732386400 140720732386400 140720732393417 0
/proc/1071667/statm: 20269 13335 1974 922 0 12221 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 81076 KiB
Current children cumulated memory: 53340 KiB
Child status: 0
Real time (s): 3610.9
CPU time (s): 3600.08
CPU user time (s): 3587.05
CPU system time (s): 13.0298
CPU usage (%): 99.7002
Max. virtual memory (cumulated for all children) (KiB): 81408
Max. memory (cumulated for all children) (KiB): 53532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.05
system time used= 13.0298
maximum resident set size= 53792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10574
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= 17
involuntary context switches= 2048
# summary of solver processes directly reported to runsolver:
# pid: 1071667
# total CPU time (s): 3600.08
# total CPU user time (s): 3587.05
# total CPU system time (s): 13.0298
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89321 second user time and 17.1611 second system time
The end
Begin job on nodeC031 at 2024-07-20 09:11:35 IDJOB=4455171 IDBENCH=147580 IDSOLVER=3084 FILE ID=nodeC031/4455171-1721459482 RUNJOBID= nodeC031-1721455786-1069361 SLURM_JOB_ID= 7545688 Free space on /tmp= 890008 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.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-4455171-1721459482/watcher-4455171-1721459482 -o /tmp/evaluation-result-4455171-1721459482/solver-4455171-1721459482 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721455786-1069361 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455171-1721459482.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 31fd86554dd2fe3e1cfc98032a9196a9 RANDOM SEED=1948037962 nodeC031.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 : 3658.729 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.55 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 : 3661.800 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.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 : 3599.908 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.55 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 : 3661.340 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.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 : 3658.739 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.55 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 : 3670.129 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.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 : 3599.872 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.55 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.956 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 121734572 kB MemAvailable: 128339116 kB Buffers: 536244 kB Cached: 6834256 kB SwapCached: 0 kB Active: 1141772 kB Inactive: 7857300 kB Active(anon): 1560 kB Inactive(anon): 1672604 kB Active(file): 1140212 kB Inactive(file): 6184696 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5612 kB Writeback: 0 kB AnonPages: 1626160 kB Mapped: 117064 kB Shmem: 45912 kB KReclaimable: 238564 kB Slab: 368192 kB SReclaimable: 238564 kB SUnreclaim: 129628 kB KernelStack: 4108 kB PageTables: 12784 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2306376 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 73856 kB HardwareCorrupted: 0 kB AnonHugePages: 1075200 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: 254676 kB DirectMap2M: 39364608 kB DirectMap1G: 96468992 kB Free space on /tmp at the end= 890036 MiB End job on nodeC031 at 2024-07-20 10:11:46