| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 1 | 3600.01 | 3609.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 2551 >= 0 @ 0.000198 0.00/0.00 c rational objective 0 0.09/0.20 c bounds 196 >= 0 @ 0.008327 0.09/0.20 c bounds 169 >= 0 @ 0.008879 0.09/0.20 c bounds 65 >= 0 @ 0.009074 0.09/0.20 c bounds 61 >= 0 @ 0.009144 0.09/0.20 c bounds 27 >= 0 @ 0.010119 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.51 c bounds 25 >= 0 @ 0.187283 0.49/0.51 c bounds 23 >= 0 @ 0.187622 0.49/0.51 c bounds 21 >= 0 @ 0.187999 0.49/0.51 c #Conflicts: 3000 | #Constraints: 2039 0.49/0.51 c bounds 19 >= 0 @ 0.338802 0.49/0.51 c #Conflicts: 4000 | #Constraints: 3046 0.49/0.51 c INPROCESSING 0.49/0.51 c GARBAGE COLLECT 0.49/0.51 c rational objective 0 0.89/0.92 c bounds 15 >= 0 @ 0.503849 0.89/0.92 c bounds 14 >= 0 @ 0.527108 0.89/0.92 c bounds 12 >= 0 @ 0.527531 0.89/0.92 c #Conflicts: 5000 | #Constraints: 2452 0.89/0.92 c #Conflicts: 6000 | #Constraints: 3455 0.89/0.92 c INPROCESSING 0.89/0.92 c GARBAGE COLLECT 0.89/0.92 c rational objective 0 1.39/1.42 c #Conflicts: 7000 | #Constraints: 2443 1.39/1.42 c #Conflicts: 8000 | #Constraints: 3448 1.39/1.42 c #Conflicts: 9000 | #Constraints: 4450 1.39/1.42 c INPROCESSING 1.39/1.42 c GARBAGE COLLECT 1.39/1.42 c rational objective 0 1.99/2.02 c bounds 11 >= 0 @ 1.46226 1.99/2.02 c #Conflicts: 10000 | #Constraints: 3143 1.99/2.02 c #Conflicts: 11000 | #Constraints: 4146 1.99/2.02 c bounds 10 >= 0 @ 1.75504 1.99/2.02 c #Conflicts: 12000 | #Constraints: 5153 1.99/2.02 c INPROCESSING 1.99/2.02 c GARBAGE COLLECT 1.99/2.02 c rational objective 0 2.68/2.72 c #Conflicts: 13000 | #Constraints: 3594 2.68/2.72 c #Conflicts: 14000 | #Constraints: 4596 2.68/2.72 c #Conflicts: 15000 | #Constraints: 5596 2.68/2.72 c INPROCESSING 2.68/2.72 c GARBAGE COLLECT 2.68/2.72 c rational objective 0 3.48/3.56 c bounds 9 >= 0 @ 2.69287 3.48/3.56 c #Conflicts: 16000 | #Constraints: 3816 3.48/3.56 c bounds 7 >= 0 @ 2.93402 3.48/3.56 c #Conflicts: 17000 | #Constraints: 4821 3.48/3.56 c #Conflicts: 18000 | #Constraints: 5823 3.48/3.56 c INPROCESSING 3.48/3.56 c GARBAGE COLLECT 3.48/3.56 c rational objective 0 4.38/4.43 c #Conflicts: 19000 | #Constraints: 3828 4.38/4.43 c #Conflicts: 20000 | #Constraints: 4831 4.38/4.43 c #Conflicts: 21000 | #Constraints: 5831 4.38/4.43 c INPROCESSING 4.38/4.43 c GARBAGE COLLECT 4.38/4.43 c rational objective 0 5.48/5.53 c #Conflicts: 22000 | #Constraints: 3627 5.48/5.53 c bounds 6 >= 0 @ 4.62558 5.48/5.53 c bounds 4 >= 0 @ 4.62629 5.48/5.53 c #Conflicts: 23000 | #Constraints: 4629 5.48/5.53 c #Conflicts: 24000 | #Constraints: 5632 5.48/5.53 c #Conflicts: 25000 | #Constraints: 6634 5.48/5.53 c INPROCESSING 5.48/5.53 c GARBAGE COLLECT 5.48/5.53 c rational objective 0 6.58/6.65 c #Conflicts: 26000 | #Constraints: 4234 6.58/6.65 c #Conflicts: 27000 | #Constraints: 5235 6.58/6.65 c #Conflicts: 28000 | #Constraints: 6236 6.58/6.65 c #Conflicts: 29000 | #Constraints: 7237 6.58/6.65 c INPROCESSING 6.58/6.65 c GARBAGE COLLECT 6.58/6.65 c rational objective 0 7.98/8.10 c #Conflicts: 30000 | #Constraints: 4630 7.98/8.10 c #Conflicts: 31000 | #Constraints: 5632 7.98/8.10 c #Conflicts: 32000 | #Constraints: 6634 7.98/8.10 c #Conflicts: 33000 | #Constraints: 7634 7.98/8.10 c INPROCESSING 7.98/8.10 c GARBAGE COLLECT 7.98/8.10 c rational objective 0 9.67/9.74 c #Conflicts: 34000 | #Constraints: 4834 9.67/9.74 c #Conflicts: 35000 | #Constraints: 5835 9.67/9.74 c #Conflicts: 36000 | #Constraints: 6835 9.67/9.74 c #Conflicts: 37000 | #Constraints: 7835 9.67/9.74 c INPROCESSING 9.67/9.74 c GARBAGE COLLECT 9.67/9.74 c rational objective 0 11.57/11.69 c #Conflicts: 38000 | #Constraints: 4832 11.57/11.69 c #Conflicts: 39000 | #Constraints: 5832 11.57/11.69 c #Conflicts: 40000 | #Constraints: 6832 11.57/11.69 c #Conflicts: 41000 | #Constraints: 7832 11.57/11.69 c INPROCESSING 11.57/11.69 c GARBAGE COLLECT 11.57/11.69 c rational objective 0 13.75/13.87 c #Conflicts: 42000 | #Constraints: 4634 13.75/13.87 c #Conflicts: 43000 | #Constraints: 5635 13.75/13.87 c #Conflicts: 44000 | #Constraints: 6637 13.75/13.87 c #Conflicts: 45000 | #Constraints: 7637 13.75/13.87 c #Conflicts: 46000 | #Constraints: 8637 13.75/13.87 c INPROCESSING 13.75/13.87 c GARBAGE COLLECT 13.75/13.87 c rational objective 0 16.35/16.43 c #Conflicts: 47000 | #Constraints: 5232 16.35/16.43 c #Conflicts: 48000 | #Constraints: 6233 16.35/16.43 c #Conflicts: 49000 | #Constraints: 7233 16.35/16.43 c #Conflicts: 50000 | #Constraints: 8233 16.35/16.43 c #Conflicts: 51000 | #Constraints: 9235 16.35/16.43 c INPROCESSING 16.35/16.43 c GARBAGE COLLECT 16.35/16.43 c rational objective 0 18.95/19.09 c #Conflicts: 52000 | #Constraints: 5634 18.95/19.09 c #Conflicts: 53000 | #Constraints: 6634 18.95/19.09 c #Conflicts: 54000 | #Constraints: 7634 18.95/19.09 c #Conflicts: 55000 | #Constraints: 8634 18.95/19.09 c #Conflicts: 56000 | #Constraints: 9634 18.95/19.09 c INPROCESSING 18.95/19.09 c GARBAGE COLLECT 18.95/19.09 c rational objective 0 22.14/22.24 c #Conflicts: 57000 | #Constraints: 5832 22.14/22.24 c #Conflicts: 58000 | #Constraints: 6833 22.14/22.24 c #Conflicts: 59000 | #Constraints: 7833 22.14/22.24 c #Conflicts: 60000 | #Constraints: 8833 22.14/22.24 c #Conflicts: 61000 | #Constraints: 9833 22.14/22.24 c INPROCESSING 22.14/22.24 c GARBAGE COLLECT 22.14/22.24 c rational objective 0 25.53/25.64 c #Conflicts: 62000 | #Constraints: 5836 25.53/25.64 c #Conflicts: 63000 | #Constraints: 6836 25.53/25.64 c #Conflicts: 64000 | #Constraints: 7836 25.53/25.64 c #Conflicts: 65000 | #Constraints: 8837 25.53/25.64 c #Conflicts: 66000 | #Constraints: 9837 25.53/25.64 c INPROCESSING 25.53/25.64 c GARBAGE COLLECT 25.53/25.64 c rational objective 0 29.22/29.34 c #Conflicts: 67000 | #Constraints: 5635 29.22/29.34 c #Conflicts: 68000 | #Constraints: 6635 29.22/29.34 c #Conflicts: 69000 | #Constraints: 7636 29.22/29.34 c #Conflicts: 70000 | #Constraints: 8636 29.22/29.34 c #Conflicts: 71000 | #Constraints: 9636 29.22/29.34 c #Conflicts: 72000 | #Constraints: 10636 29.22/29.34 c INPROCESSING 29.22/29.34 c GARBAGE COLLECT 29.22/29.34 c rational objective 0 32.92/33.09 c #Conflicts: 73000 | #Constraints: 6238 32.92/33.09 c #Conflicts: 74000 | #Constraints: 7238 32.92/33.09 c #Conflicts: 75000 | #Constraints: 8238 32.92/33.09 c #Conflicts: 76000 | #Constraints: 9240 32.92/33.09 c #Conflicts: 77000 | #Constraints: 10240 32.92/33.09 c #Conflicts: 78000 | #Constraints: 11240 32.92/33.09 c INPROCESSING 32.92/33.09 c GARBAGE COLLECT 32.92/33.09 c rational objective 0 37.30/37.44 c #Conflicts: 79000 | #Constraints: 6639 37.30/37.44 c #Conflicts: 80000 | #Constraints: 7639 37.30/37.44 c #Conflicts: 81000 | #Constraints: 8640 37.30/37.44 c #Conflicts: 82000 | #Constraints: 9640 37.30/37.44 c #Conflicts: 83000 | #Constraints: 10640 37.30/37.44 c #Conflicts: 84000 | #Constraints: 11640 37.30/37.44 c INPROCESSING 37.30/37.44 c GARBAGE COLLECT 37.30/37.44 c rational objective 0 43.19/43.30 c #Conflicts: 85000 | #Constraints: 7338 43.19/43.30 c #Conflicts: 86000 | #Constraints: 8911 43.19/43.30 c #Conflicts: 87000 | #Constraints: 10021 43.19/43.30 c #Conflicts: 88000 | #Constraints: 11625 43.19/43.30 c #Conflicts: 89000 | #Constraints: 12703 43.19/43.30 c #Conflicts: 90000 | #Constraints: 13703 43.19/43.30 c INPROCESSING 43.19/43.30 c GARBAGE COLLECT 43.19/43.30 c rational objective 0 50.37/50.58 c #Conflicts: 91000 | #Constraints: 8099 50.37/50.58 c #Conflicts: 92000 | #Constraints: 9263 50.37/50.58 c #Conflicts: 93000 | #Constraints: 10263 50.37/50.58 c #Conflicts: 94000 | #Constraints: 11826 50.37/50.58 c #Conflicts: 95000 | #Constraints: 13231 50.37/50.58 c #Conflicts: 96000 | #Constraints: 14602 50.37/50.58 c INPROCESSING 50.37/50.58 c GARBAGE COLLECT 50.37/50.58 c rational objective 0 58.85/59.05 c #Conflicts: 97000 | #Constraints: 8275 58.85/59.05 c #Conflicts: 98000 | #Constraints: 9961 58.85/59.05 c #Conflicts: 99000 | #Constraints: 11546 58.85/59.05 c #Conflicts: 100000 | #Constraints: 13225 58.85/59.05 c #Conflicts: 101000 | #Constraints: 14932 58.85/59.05 c #Conflicts: 102000 | #Constraints: 16607 58.85/59.05 c #Conflicts: 103000 | #Constraints: 18104 58.85/59.05 c INPROCESSING 58.85/59.05 c GARBAGE COLLECT 58.85/59.05 c rational objective 0 68.62/68.88 c #Conflicts: 104000 | #Constraints: 10591 68.62/68.88 c #Conflicts: 105000 | #Constraints: 12091 68.62/68.88 c #Conflicts: 106000 | #Constraints: 13769 68.62/68.88 c #Conflicts: 107000 | #Constraints: 15272 68.62/68.88 c bounds 2 >= 0 @ 64.141 68.62/68.88 c #Conflicts: 108000 | #Constraints: 16571 68.62/68.88 c #Conflicts: 109000 | #Constraints: 18124 68.62/68.88 c #Conflicts: 110000 | #Constraints: 19666 68.62/68.88 c INPROCESSING 68.62/68.88 c GARBAGE COLLECT 68.62/68.88 c rational objective 0 78.80/79.05 c #Conflicts: 111000 | #Constraints: 11247 78.80/79.05 c #Conflicts: 112000 | #Constraints: 12583 78.80/79.05 c #Conflicts: 113000 | #Constraints: 14100 78.80/79.05 c #Conflicts: 114000 | #Constraints: 15721 78.80/79.05 c #Conflicts: 115000 | #Constraints: 16793 78.80/79.05 c #Conflicts: 116000 | #Constraints: 18089 78.80/79.05 c #Conflicts: 117000 | #Constraints: 19529 78.80/79.05 c INPROCESSING 78.80/79.05 c GARBAGE COLLECT 78.80/79.05 c rational objective 0 88.57/88.80 c #Conflicts: 118000 | #Constraints: 10941 88.57/88.80 c #Conflicts: 119000 | #Constraints: 11997 88.57/88.80 c #Conflicts: 120000 | #Constraints: 13486 88.57/88.80 c #Conflicts: 121000 | #Constraints: 14922 88.57/88.80 c #Conflicts: 122000 | #Constraints: 16314 88.57/88.80 c #Conflicts: 123000 | #Constraints: 17366 88.57/88.80 c #Conflicts: 124000 | #Constraints: 19061 88.57/88.80 c INPROCESSING 88.57/88.80 c GARBAGE COLLECT 88.57/88.80 c rational objective 0 99.45/99.77 c #Conflicts: 125000 | #Constraints: 10680 99.45/99.77 c #Conflicts: 126000 | #Constraints: 11854 99.45/99.77 c #Conflicts: 127000 | #Constraints: 13119 99.45/99.77 c #Conflicts: 128000 | #Constraints: 14450 99.45/99.77 c #Conflicts: 129000 | #Constraints: 15558 99.45/99.77 c #Conflicts: 130000 | #Constraints: 17210 99.45/99.77 c #Conflicts: 131000 | #Constraints: 18470 99.45/99.77 c INPROCESSING 99.45/99.77 c GARBAGE COLLECT 99.45/99.77 c rational objective 0 110.32/110.65 c #Conflicts: 132000 | #Constraints: 10221 110.32/110.65 c #Conflicts: 133000 | #Constraints: 11836 110.32/110.65 c #Conflicts: 134000 | #Constraints: 13534 110.32/110.65 c #Conflicts: 135000 | #Constraints: 15193 110.32/110.65 c #Conflicts: 136000 | #Constraints: 16878 110.32/110.65 c #Conflicts: 137000 | #Constraints: 18573 110.32/110.65 c #Conflicts: 138000 | #Constraints: 20269 110.32/110.65 c #Conflicts: 139000 | #Constraints: 21925 110.32/110.65 c INPROCESSING 110.32/110.65 c GARBAGE COLLECT 110.32/110.65 c rational objective 0 124.49/124.82 c #Conflicts: 140000 | #Constraints: 12535 124.49/124.82 c #Conflicts: 141000 | #Constraints: 14258 124.49/124.82 c #Conflicts: 142000 | #Constraints: 15891 124.49/124.82 c #Conflicts: 143000 | #Constraints: 17539 124.49/124.82 c #Conflicts: 144000 | #Constraints: 19191 124.49/124.82 c #Conflicts: 145000 | #Constraints: 20837 124.49/124.82 c #Conflicts: 146000 | #Constraints: 22506 124.49/124.82 c #Conflicts: 147000 | #Constraints: 24179 124.49/124.82 c INPROCESSING 124.49/124.82 c GARBAGE COLLECT 124.49/124.82 c rational objective 0 135.86/136.29 c #Conflicts: 148000 | #Constraints: 13109 135.86/136.29 c #Conflicts: 149000 | #Constraints: 14109 135.86/136.29 c #Conflicts: 150000 | #Constraints: 15109 135.86/136.29 c #Conflicts: 151000 | #Constraints: 16109 135.86/136.29 c #Conflicts: 152000 | #Constraints: 17109 135.86/136.29 c #Conflicts: 153000 | #Constraints: 18109 135.86/136.29 c #Conflicts: 154000 | #Constraints: 19109 135.86/136.29 c #Conflicts: 155000 | #Constraints: 20109 135.86/136.29 c INPROCESSING 135.86/136.29 c GARBAGE COLLECT 135.86/136.29 c rational objective 0 146.34/146.78 c #Conflicts: 156000 | #Constraints: 11071 146.34/146.78 c #Conflicts: 157000 | #Constraints: 12071 146.34/146.78 c #Conflicts: 158000 | #Constraints: 13071 146.34/146.78 c #Conflicts: 159000 | #Constraints: 14072 146.34/146.78 c #Conflicts: 160000 | #Constraints: 15072 146.34/146.78 c #Conflicts: 161000 | #Constraints: 16072 146.34/146.78 c #Conflicts: 162000 | #Constraints: 17073 146.34/146.78 c #Conflicts: 163000 | #Constraints: 18076 146.34/146.78 c INPROCESSING 146.34/146.78 c GARBAGE COLLECT 146.34/146.78 c rational objective 0 161.00/161.45 c #Conflicts: 164000 | #Constraints: 10513 161.00/161.45 c #Conflicts: 165000 | #Constraints: 12223 161.00/161.45 c #Conflicts: 166000 | #Constraints: 13914 161.00/161.45 c #Conflicts: 167000 | #Constraints: 15616 161.00/161.45 c #Conflicts: 168000 | #Constraints: 17315 161.00/161.45 c #Conflicts: 169000 | #Constraints: 19011 161.00/161.45 c #Conflicts: 170000 | #Constraints: 20656 161.00/161.45 c #Conflicts: 171000 | #Constraints: 22361 161.00/161.45 c INPROCESSING 161.00/161.45 c GARBAGE COLLECT 161.00/161.45 c rational objective 0 175.87/176.35 c #Conflicts: 172000 | #Constraints: 12348 175.87/176.35 c #Conflicts: 173000 | #Constraints: 14028 175.87/176.35 c #Conflicts: 174000 | #Constraints: 15743 175.87/176.35 c #Conflicts: 175000 | #Constraints: 17475 175.87/176.35 c #Conflicts: 176000 | #Constraints: 19151 175.87/176.35 c #Conflicts: 177000 | #Constraints: 20800 175.87/176.35 c #Conflicts: 178000 | #Constraints: 22464 175.87/176.35 c #Conflicts: 179000 | #Constraints: 24151 175.87/176.35 c #Conflicts: 180000 | #Constraints: 25843 175.87/176.35 c INPROCESSING 175.87/176.35 c GARBAGE COLLECT 175.87/176.35 c rational objective 0 192.53/193.07 c #Conflicts: 181000 | #Constraints: 14320 192.53/193.07 c #Conflicts: 182000 | #Constraints: 15514 192.53/193.07 c #Conflicts: 183000 | #Constraints: 16890 192.53/193.07 c #Conflicts: 184000 | #Constraints: 18295 192.53/193.07 c #Conflicts: 185000 | #Constraints: 19519 192.53/193.07 c #Conflicts: 186000 | #Constraints: 21156 192.53/193.07 c #Conflicts: 187000 | #Constraints: 22691 192.53/193.07 c #Conflicts: 188000 | #Constraints: 24150 192.53/193.07 c #Conflicts: 189000 | #Constraints: 25641 192.53/193.07 c INPROCESSING 192.53/193.07 c GARBAGE COLLECT 192.53/193.07 c rational objective 0 209.98/210.57 c #Conflicts: 190000 | #Constraints: 14342 209.98/210.57 c #Conflicts: 191000 | #Constraints: 15981 209.98/210.57 c #Conflicts: 192000 | #Constraints: 17720 209.98/210.57 c #Conflicts: 193000 | #Constraints: 19172 209.98/210.57 c #Conflicts: 194000 | #Constraints: 20792 209.98/210.57 c #Conflicts: 195000 | #Constraints: 22228 209.98/210.57 c #Conflicts: 196000 | #Constraints: 23715 209.98/210.57 c #Conflicts: 197000 | #Constraints: 25360 209.98/210.57 c #Conflicts: 198000 | #Constraints: 26393 209.98/210.57 c INPROCESSING 209.98/210.57 c GARBAGE COLLECT 209.98/210.57 c rational objective 0 230.34/230.98 c #Conflicts: 199000 | #Constraints: 14905 230.34/230.98 c #Conflicts: 200000 | #Constraints: 16619 230.34/230.98 c #Conflicts: 201000 | #Constraints: 18326 230.34/230.98 c #Conflicts: 202000 | #Constraints: 19832 230.34/230.98 c #Conflicts: 203000 | #Constraints: 20832 230.34/230.98 c #Conflicts: 204000 | #Constraints: 22117 230.34/230.98 c #Conflicts: 205000 | #Constraints: 23832 230.34/230.98 c #Conflicts: 206000 | #Constraints: 25535 230.34/230.98 c #Conflicts: 207000 | #Constraints: 27239 230.34/230.98 c INPROCESSING 230.34/230.98 c GARBAGE COLLECT 230.34/230.98 c rational objective 0 250.88/251.57 c #Conflicts: 208000 | #Constraints: 15064 250.88/251.57 c #Conflicts: 209000 | #Constraints: 16672 250.88/251.57 c #Conflicts: 210000 | #Constraints: 18327 250.88/251.57 c #Conflicts: 211000 | #Constraints: 19532 250.88/251.57 c #Conflicts: 212000 | #Constraints: 20983 250.88/251.57 c #Conflicts: 213000 | #Constraints: 22409 250.88/251.57 c #Conflicts: 214000 | #Constraints: 23650 250.88/251.57 c #Conflicts: 215000 | #Constraints: 25329 250.88/251.57 c #Conflicts: 216000 | #Constraints: 26983 250.88/251.57 c INPROCESSING 250.88/251.57 c GARBAGE COLLECT 250.88/251.57 c rational objective 0 275.92/276.63 c #Conflicts: 217000 | #Constraints: 14592 275.92/276.63 c #Conflicts: 218000 | #Constraints: 16300 275.92/276.63 c #Conflicts: 219000 | #Constraints: 17999 275.92/276.63 c #Conflicts: 220000 | #Constraints: 19709 275.92/276.63 c #Conflicts: 221000 | #Constraints: 21369 275.92/276.63 c #Conflicts: 222000 | #Constraints: 23105 275.92/276.63 c #Conflicts: 223000 | #Constraints: 24792 275.92/276.63 c #Conflicts: 224000 | #Constraints: 26494 275.92/276.63 c #Conflicts: 225000 | #Constraints: 27753 275.92/276.63 c #Conflicts: 226000 | #Constraints: 29447 275.92/276.63 c INPROCESSING 275.92/276.63 c GARBAGE COLLECT 275.92/276.63 c rational objective 0 300.85/301.62 c #Conflicts: 227000 | #Constraints: 16252 300.85/301.62 c #Conflicts: 228000 | #Constraints: 17962 300.85/301.62 c #Conflicts: 229000 | #Constraints: 19649 300.85/301.62 c #Conflicts: 230000 | #Constraints: 21345 300.85/301.62 c #Conflicts: 231000 | #Constraints: 22752 300.85/301.62 c #Conflicts: 232000 | #Constraints: 24362 300.85/301.62 c #Conflicts: 233000 | #Constraints: 25973 300.85/301.62 c #Conflicts: 234000 | #Constraints: 27552 300.85/301.62 c #Conflicts: 235000 | #Constraints: 28732 300.85/301.62 c #Conflicts: 236000 | #Constraints: 30179 300.85/301.62 c INPROCESSING 300.85/301.62 c GARBAGE COLLECT 300.85/301.62 c rational objective 0 325.78/326.64 c #Conflicts: 237000 | #Constraints: 16778 325.78/326.64 c #Conflicts: 238000 | #Constraints: 18452 325.78/326.64 c #Conflicts: 239000 | #Constraints: 20138 325.78/326.64 c #Conflicts: 240000 | #Constraints: 21169 325.78/326.64 c #Conflicts: 241000 | #Constraints: 22352 325.78/326.64 c #Conflicts: 242000 | #Constraints: 23989 325.78/326.64 c #Conflicts: 243000 | #Constraints: 25255 325.78/326.64 c #Conflicts: 244000 | #Constraints: 26756 325.78/326.64 c #Conflicts: 245000 | #Constraints: 28121 325.78/326.64 c #Conflicts: 246000 | #Constraints: 29796 325.78/326.64 c INPROCESSING 325.78/326.64 c GARBAGE COLLECT 325.78/326.64 c rational objective 0 349.73/350.68 c #Conflicts: 247000 | #Constraints: 16092 349.73/350.68 c #Conflicts: 248000 | #Constraints: 17739 349.73/350.68 c #Conflicts: 249000 | #Constraints: 19329 349.73/350.68 c #Conflicts: 250000 | #Constraints: 21013 349.73/350.68 c #Conflicts: 251000 | #Constraints: 22668 349.73/350.68 c #Conflicts: 252000 | #Constraints: 24347 349.73/350.68 c #Conflicts: 253000 | #Constraints: 25601 349.73/350.68 c #Conflicts: 254000 | #Constraints: 26876 349.73/350.68 c #Conflicts: 255000 | #Constraints: 28547 349.73/350.68 c #Conflicts: 256000 | #Constraints: 29815 349.73/350.68 c INPROCESSING 349.73/350.68 c GARBAGE COLLECT 349.73/350.68 c rational objective 0 376.75/377.79 c #Conflicts: 257000 | #Constraints: 16399 376.75/377.79 c #Conflicts: 258000 | #Constraints: 18117 376.75/377.79 c #Conflicts: 259000 | #Constraints: 19819 376.75/377.79 c #Conflicts: 260000 | #Constraints: 21537 376.75/377.79 c #Conflicts: 261000 | #Constraints: 23264 376.75/377.79 c #Conflicts: 262000 | #Constraints: 24966 376.75/377.79 c #Conflicts: 263000 | #Constraints: 26244 376.75/377.79 c #Conflicts: 264000 | #Constraints: 27933 376.75/377.79 c #Conflicts: 265000 | #Constraints: 29631 376.75/377.79 c #Conflicts: 266000 | #Constraints: 31326 376.75/377.79 c INPROCESSING 376.75/377.79 c GARBAGE COLLECT 376.75/377.79 c rational objective 0 403.78/404.89 c #Conflicts: 267000 | #Constraints: 16840 403.78/404.89 c #Conflicts: 268000 | #Constraints: 18512 403.78/404.89 c #Conflicts: 269000 | #Constraints: 20190 403.78/404.89 c #Conflicts: 270000 | #Constraints: 21829 403.78/404.89 c #Conflicts: 271000 | #Constraints: 23498 403.78/404.89 c #Conflicts: 272000 | #Constraints: 25144 403.78/404.89 c #Conflicts: 273000 | #Constraints: 26830 403.78/404.89 c #Conflicts: 274000 | #Constraints: 28498 403.78/404.89 c #Conflicts: 275000 | #Constraints: 30142 403.78/404.89 c #Conflicts: 276000 | #Constraints: 31807 403.78/404.89 c #Conflicts: 277000 | #Constraints: 33495 403.78/404.89 c INPROCESSING 403.78/404.89 c GARBAGE COLLECT 403.78/404.89 c rational objective 0 435.39/436.57 c #Conflicts: 278000 | #Constraints: 18325 435.39/436.57 c #Conflicts: 279000 | #Constraints: 20031 435.39/436.57 c #Conflicts: 280000 | #Constraints: 21743 435.39/436.57 c #Conflicts: 281000 | #Constraints: 23457 435.39/436.57 c #Conflicts: 282000 | #Constraints: 25190 435.39/436.57 c #Conflicts: 283000 | #Constraints: 26802 435.39/436.57 c #Conflicts: 284000 | #Constraints: 28297 435.39/436.57 c #Conflicts: 285000 | #Constraints: 29995 435.39/436.57 c #Conflicts: 286000 | #Constraints: 31712 435.39/436.57 c #Conflicts: 287000 | #Constraints: 33394 435.39/436.57 c #Conflicts: 288000 | #Constraints: 35103 435.39/436.57 c INPROCESSING 435.39/436.57 c GARBAGE COLLECT 435.39/436.57 c rational objective 0 466.31/467.53 c #Conflicts: 289000 | #Constraints: 19245 466.31/467.53 c #Conflicts: 290000 | #Constraints: 20943 466.31/467.53 c #Conflicts: 291000 | #Constraints: 22597 466.31/467.53 c #Conflicts: 292000 | #Constraints: 24073 466.31/467.53 c #Conflicts: 293000 | #Constraints: 25440 466.31/467.53 c #Conflicts: 294000 | #Constraints: 26997 466.31/467.53 c #Conflicts: 295000 | #Constraints: 28669 466.31/467.53 c #Conflicts: 296000 | #Constraints: 30339 466.31/467.53 c #Conflicts: 297000 | #Constraints: 32028 466.31/467.53 c #Conflicts: 298000 | #Constraints: 33691 466.31/467.53 c #Conflicts: 299000 | #Constraints: 35373 466.31/467.53 c INPROCESSING 466.31/467.53 c GARBAGE COLLECT 466.31/467.53 c rational objective 0 502.50/503.88 c #Conflicts: 300000 | #Constraints: 19407 502.50/503.88 c #Conflicts: 301000 | #Constraints: 21126 502.50/503.88 c #Conflicts: 302000 | #Constraints: 22825 502.50/503.88 c #Conflicts: 303000 | #Constraints: 24523 502.50/503.88 c #Conflicts: 304000 | #Constraints: 26187 502.50/503.88 c #Conflicts: 305000 | #Constraints: 27850 502.50/503.88 c #Conflicts: 306000 | #Constraints: 29571 502.50/503.88 c #Conflicts: 307000 | #Constraints: 31254 502.50/503.88 c #Conflicts: 308000 | #Constraints: 32961 502.50/503.88 c #Conflicts: 309000 | #Constraints: 34630 502.50/503.88 c #Conflicts: 310000 | #Constraints: 36378 502.50/503.88 c INPROCESSING 502.50/503.88 c GARBAGE COLLECT 502.50/503.88 c rational objective 0 533.12/534.56 c #Conflicts: 311000 | #Constraints: 19406 533.12/534.56 c #Conflicts: 312000 | #Constraints: 21042 533.12/534.56 c #Conflicts: 313000 | #Constraints: 22483 533.12/534.56 c #Conflicts: 314000 | #Constraints: 23687 533.12/534.56 c #Conflicts: 315000 | #Constraints: 25308 533.12/534.56 c #Conflicts: 316000 | #Constraints: 26343 533.12/534.56 c #Conflicts: 317000 | #Constraints: 27441 533.12/534.56 c #Conflicts: 318000 | #Constraints: 28974 533.12/534.56 c #Conflicts: 319000 | #Constraints: 30250 533.12/534.56 c #Conflicts: 320000 | #Constraints: 31250 533.12/534.56 c #Conflicts: 321000 | #Constraints: 32364 533.12/534.56 c INPROCESSING 533.12/534.56 c GARBAGE COLLECT 533.12/534.56 c rational objective 0 564.33/565.88 c #Conflicts: 322000 | #Constraints: 17167 564.33/565.88 c #Conflicts: 323000 | #Constraints: 18872 564.33/565.88 c #Conflicts: 324000 | #Constraints: 20621 564.33/565.88 c bounds 1 >= 0 @ 536.988 564.33/565.88 c #Conflicts: 325000 | #Constraints: 22277 564.33/565.88 c #Conflicts: 326000 | #Constraints: 23954 564.33/565.88 c #Conflicts: 327000 | #Constraints: 25602 564.33/565.88 c #Conflicts: 328000 | #Constraints: 27269 564.33/565.88 c #Conflicts: 329000 | #Constraints: 28954 564.33/565.88 c #Conflicts: 330000 | #Constraints: 30651 564.33/565.88 c #Conflicts: 331000 | #Constraints: 32351 564.33/565.88 c #Conflicts: 332000 | #Constraints: 34026 564.33/565.88 c #Conflicts: 333000 | #Constraints: 35699 564.33/565.88 c INPROCESSING 564.33/565.88 c GARBAGE COLLECT 564.33/565.88 c rational objective 0 599.73/601.33 c #Conflicts: 334000 | #Constraints: 19267 599.73/601.33 c #Conflicts: 335000 | #Constraints: 20954 599.73/601.33 c #Conflicts: 336000 | #Constraints: 22681 599.73/601.33 c #Conflicts: 337000 | #Constraints: 24379 599.73/601.33 c #Conflicts: 338000 | #Constraints: 26059 599.73/601.33 c #Conflicts: 339000 | #Constraints: 27755 599.73/601.33 c #Conflicts: 340000 | #Constraints: 29441 599.73/601.33 c #Conflicts: 341000 | #Constraints: 31122 599.73/601.33 c #Conflicts: 342000 | #Constraints: 32788 599.73/601.33 c #Conflicts: 343000 | #Constraints: 34499 599.73/601.33 c #Conflicts: 344000 | #Constraints: 36175 599.73/601.33 c #Conflicts: 345000 | #Constraints: 37885 599.73/601.33 c INPROCESSING 599.73/601.33 c GARBAGE COLLECT 599.73/601.33 c rational objective 0 629.86/631.59 c #Conflicts: 346000 | #Constraints: 20493 629.86/631.59 c #Conflicts: 347000 | #Constraints: 22108 629.86/631.59 c #Conflicts: 348000 | #Constraints: 23642 629.86/631.59 c #Conflicts: 349000 | #Constraints: 24642 629.86/631.59 c #Conflicts: 350000 | #Constraints: 25642 629.86/631.59 c #Conflicts: 351000 | #Constraints: 26642 629.86/631.59 c #Conflicts: 352000 | #Constraints: 27642 629.86/631.59 c #Conflicts: 353000 | #Constraints: 28642 629.86/631.59 c #Conflicts: 354000 | #Constraints: 30306 629.86/631.59 c #Conflicts: 355000 | #Constraints: 31624 629.86/631.59 c #Conflicts: 356000 | #Constraints: 33262 629.86/631.59 c #Conflicts: 357000 | #Constraints: 34908 629.86/631.59 c INPROCESSING 629.86/631.59 c GARBAGE COLLECT 629.86/631.59 c rational objective 0 663.17/664.91 c #Conflicts: 358000 | #Constraints: 18983 663.17/664.91 c #Conflicts: 359000 | #Constraints: 20681 663.17/664.91 c #Conflicts: 360000 | #Constraints: 21681 663.17/664.91 c #Conflicts: 361000 | #Constraints: 22681 663.17/664.91 c #Conflicts: 362000 | #Constraints: 24238 663.17/664.91 c #Conflicts: 363000 | #Constraints: 25928 663.17/664.91 c #Conflicts: 364000 | #Constraints: 27424 663.17/664.91 c #Conflicts: 365000 | #Constraints: 29046 663.17/664.91 c #Conflicts: 366000 | #Constraints: 30748 663.17/664.91 c #Conflicts: 367000 | #Constraints: 32020 663.17/664.91 c #Conflicts: 368000 | #Constraints: 33020 663.17/664.91 c #Conflicts: 369000 | #Constraints: 34101 663.17/664.91 c INPROCESSING 663.17/664.91 c GARBAGE COLLECT 663.17/664.91 c rational objective 0 694.60/696.46 c #Conflicts: 370000 | #Constraints: 18243 694.60/696.46 c #Conflicts: 371000 | #Constraints: 19719 694.60/696.46 c #Conflicts: 372000 | #Constraints: 21366 694.60/696.46 c #Conflicts: 373000 | #Constraints: 22787 694.60/696.46 c #Conflicts: 374000 | #Constraints: 24325 694.60/696.46 c #Conflicts: 375000 | #Constraints: 25917 694.60/696.46 c #Conflicts: 376000 | #Constraints: 27569 694.60/696.46 c #Conflicts: 377000 | #Constraints: 28873 694.60/696.46 c #Conflicts: 378000 | #Constraints: 30120 694.60/696.46 c #Conflicts: 379000 | #Constraints: 31793 694.60/696.46 c #Conflicts: 380000 | #Constraints: 33207 694.60/696.46 c #Conflicts: 381000 | #Constraints: 34670 694.60/696.46 c INPROCESSING 694.60/696.46 c GARBAGE COLLECT 694.60/696.46 c rational objective 0 732.21/734.12 c #Conflicts: 382000 | #Constraints: 18480 732.21/734.12 c #Conflicts: 383000 | #Constraints: 20183 732.21/734.12 c #Conflicts: 384000 | #Constraints: 21835 732.21/734.12 c #Conflicts: 385000 | #Constraints: 23554 732.21/734.12 c #Conflicts: 386000 | #Constraints: 25292 732.21/734.12 c #Conflicts: 387000 | #Constraints: 26980 732.21/734.12 c #Conflicts: 388000 | #Constraints: 28696 732.21/734.12 c #Conflicts: 389000 | #Constraints: 29894 732.21/734.12 c #Conflicts: 390000 | #Constraints: 30894 732.21/734.12 c #Conflicts: 391000 | #Constraints: 32455 732.21/734.12 c #Conflicts: 392000 | #Constraints: 34192 732.21/734.12 c #Conflicts: 393000 | #Constraints: 35518 732.21/734.12 c #Conflicts: 394000 | #Constraints: 36518 732.21/734.12 c INPROCESSING 732.21/734.12 c GARBAGE COLLECT 732.21/734.12 c rational objective 0 760.64/762.63 c #Conflicts: 395000 | #Constraints: 19177 760.64/762.63 c #Conflicts: 396000 | #Constraints: 20177 760.64/762.63 c #Conflicts: 397000 | #Constraints: 21177 760.64/762.63 c #Conflicts: 398000 | #Constraints: 22177 760.64/762.63 c #Conflicts: 399000 | #Constraints: 23178 760.64/762.63 c #Conflicts: 400000 | #Constraints: 24178 760.64/762.63 c #Conflicts: 401000 | #Constraints: 25178 760.64/762.63 c #Conflicts: 402000 | #Constraints: 26178 760.64/762.63 c #Conflicts: 403000 | #Constraints: 27178 760.64/762.63 c #Conflicts: 404000 | #Constraints: 28178 760.64/762.63 c #Conflicts: 405000 | #Constraints: 29178 760.64/762.63 c #Conflicts: 406000 | #Constraints: 30178 760.64/762.63 c #Conflicts: 407000 | #Constraints: 31178 760.64/762.63 c INPROCESSING 760.64/762.63 c GARBAGE COLLECT 760.64/762.63 c rational objective 0 797.97/800.06 c #Conflicts: 408000 | #Constraints: 17315 797.97/800.06 c #Conflicts: 409000 | #Constraints: 19012 797.97/800.06 c #Conflicts: 410000 | #Constraints: 20673 797.97/800.06 c #Conflicts: 411000 | #Constraints: 22420 797.97/800.06 c #Conflicts: 412000 | #Constraints: 24124 797.97/800.06 c #Conflicts: 413000 | #Constraints: 25823 797.97/800.06 c #Conflicts: 414000 | #Constraints: 27518 797.97/800.06 c #Conflicts: 415000 | #Constraints: 29206 797.97/800.06 c #Conflicts: 416000 | #Constraints: 30896 797.97/800.06 c #Conflicts: 417000 | #Constraints: 32589 797.97/800.06 c #Conflicts: 418000 | #Constraints: 34271 797.97/800.06 c #Conflicts: 419000 | #Constraints: 35985 797.97/800.06 c #Conflicts: 420000 | #Constraints: 37700 797.97/800.06 c INPROCESSING 797.97/800.06 c GARBAGE COLLECT 797.97/800.06 c rational objective 0 835.87/838.01 c #Conflicts: 421000 | #Constraints: 20489 835.87/838.01 c #Conflicts: 422000 | #Constraints: 22130 835.87/838.01 c #Conflicts: 423000 | #Constraints: 23773 835.87/838.01 c #Conflicts: 424000 | #Constraints: 25419 835.87/838.01 c #Conflicts: 425000 | #Constraints: 27075 835.87/838.01 c #Conflicts: 426000 | #Constraints: 28746 835.87/838.01 c #Conflicts: 427000 | #Constraints: 30430 835.87/838.01 c #Conflicts: 428000 | #Constraints: 32138 835.87/838.01 c #Conflicts: 429000 | #Constraints: 33826 835.87/838.01 c #Conflicts: 430000 | #Constraints: 35522 835.87/838.01 c #Conflicts: 431000 | #Constraints: 37243 835.87/838.01 c #Conflicts: 432000 | #Constraints: 38953 835.87/838.01 c #Conflicts: 433000 | #Constraints: 40663 835.87/838.01 c INPROCESSING 835.87/838.01 c GARBAGE COLLECT 835.87/838.01 c rational objective 0 886.35/888.60 c #Conflicts: 434000 | #Constraints: 21935 886.35/888.60 c #Conflicts: 435000 | #Constraints: 23682 886.35/888.60 c #Conflicts: 436000 | #Constraints: 25392 886.35/888.60 c #Conflicts: 437000 | #Constraints: 27097 886.35/888.60 c #Conflicts: 438000 | #Constraints: 28761 886.35/888.60 c #Conflicts: 439000 | #Constraints: 30461 886.35/888.60 c #Conflicts: 440000 | #Constraints: 32153 886.35/888.60 c #Conflicts: 441000 | #Constraints: 33895 886.35/888.60 c #Conflicts: 442000 | #Constraints: 35602 886.35/888.60 c #Conflicts: 443000 | #Constraints: 37304 886.35/888.60 c #Conflicts: 444000 | #Constraints: 39023 886.35/888.60 c #Conflicts: 445000 | #Constraints: 40722 886.35/888.60 c #Conflicts: 446000 | #Constraints: 42434 886.35/888.60 c INPROCESSING 886.35/888.60 c GARBAGE COLLECT 886.35/888.60 c rational objective 0 928.83/931.29 c #Conflicts: 447000 | #Constraints: 22206 928.83/931.29 c #Conflicts: 448000 | #Constraints: 23421 928.83/931.29 c #Conflicts: 449000 | #Constraints: 24620 928.83/931.29 c #Conflicts: 450000 | #Constraints: 25620 928.83/931.29 c #Conflicts: 451000 | #Constraints: 26688 928.83/931.29 c #Conflicts: 452000 | #Constraints: 27769 928.83/931.29 c #Conflicts: 453000 | #Constraints: 28991 928.83/931.29 c #Conflicts: 454000 | #Constraints: 30115 928.83/931.29 c #Conflicts: 455000 | #Constraints: 31207 928.83/931.29 c #Conflicts: 456000 | #Constraints: 32260 928.83/931.29 c #Conflicts: 457000 | #Constraints: 33330 928.83/931.29 c #Conflicts: 458000 | #Constraints: 34330 928.83/931.29 c #Conflicts: 459000 | #Constraints: 35330 928.83/931.29 c #Conflicts: 460000 | #Constraints: 36381 928.83/931.29 c INPROCESSING 928.83/931.29 c GARBAGE COLLECT 928.83/931.29 c rational objective 0 975.52/978.02 c #Conflicts: 461000 | #Constraints: 19631 975.52/978.02 c #Conflicts: 462000 | #Constraints: 21235 975.52/978.02 c #Conflicts: 463000 | #Constraints: 22871 975.52/978.02 c #Conflicts: 464000 | #Constraints: 24544 975.52/978.02 c #Conflicts: 465000 | #Constraints: 26220 975.52/978.02 c #Conflicts: 466000 | #Constraints: 27884 975.52/978.02 c #Conflicts: 467000 | #Constraints: 29539 975.52/978.02 c #Conflicts: 468000 | #Constraints: 31244 975.52/978.02 c #Conflicts: 469000 | #Constraints: 32953 975.52/978.02 c #Conflicts: 470000 | #Constraints: 34663 975.52/978.02 c #Conflicts: 471000 | #Constraints: 36331 975.52/978.02 c #Conflicts: 472000 | #Constraints: 38013 975.52/978.02 c #Conflicts: 473000 | #Constraints: 39697 975.52/978.02 c #Conflicts: 474000 | #Constraints: 41385 975.52/978.02 c INPROCESSING 975.52/978.02 c GARBAGE COLLECT 975.52/978.02 c rational objective 0 1017.70/1020.38 c #Conflicts: 475000 | #Constraints: 22323 1017.70/1020.38 c #Conflicts: 476000 | #Constraints: 23595 1017.70/1020.38 c #Conflicts: 477000 | #Constraints: 25310 1017.70/1020.38 c #Conflicts: 478000 | #Constraints: 26941 1017.70/1020.38 c #Conflicts: 479000 | #Constraints: 28152 1017.70/1020.38 c #Conflicts: 480000 | #Constraints: 29604 1017.70/1020.38 c #Conflicts: 481000 | #Constraints: 30819 1017.70/1020.38 c #Conflicts: 482000 | #Constraints: 32370 1017.70/1020.38 c #Conflicts: 483000 | #Constraints: 33662 1017.70/1020.38 c #Conflicts: 484000 | #Constraints: 35343 1017.70/1020.38 c #Conflicts: 485000 | #Constraints: 36999 1017.70/1020.38 c #Conflicts: 486000 | #Constraints: 38682 1017.70/1020.38 c #Conflicts: 487000 | #Constraints: 40196 1017.70/1020.38 c #Conflicts: 488000 | #Constraints: 41851 1017.70/1020.38 c INPROCESSING 1017.70/1020.38 c GARBAGE COLLECT 1017.70/1020.38 c rational objective 0 1064.97/1067.74 c #Conflicts: 489000 | #Constraints: 21947 1064.97/1067.74 c #Conflicts: 490000 | #Constraints: 23533 1064.97/1067.74 c #Conflicts: 491000 | #Constraints: 25193 1064.97/1067.74 c #Conflicts: 492000 | #Constraints: 26907 1064.97/1067.74 c #Conflicts: 493000 | #Constraints: 28099 1064.97/1067.74 c #Conflicts: 494000 | #Constraints: 29766 1064.97/1067.74 c #Conflicts: 495000 | #Constraints: 31410 1064.97/1067.74 c #Conflicts: 496000 | #Constraints: 33058 1064.97/1067.74 c #Conflicts: 497000 | #Constraints: 34732 1064.97/1067.74 c #Conflicts: 498000 | #Constraints: 36418 1064.97/1067.74 c #Conflicts: 499000 | #Constraints: 38115 1064.97/1067.74 c #Conflicts: 500000 | #Constraints: 39808 1064.97/1067.74 c #Conflicts: 501000 | #Constraints: 41508 1064.97/1067.74 c #Conflicts: 502000 | #Constraints: 43186 1064.97/1067.74 c INPROCESSING 1064.97/1067.74 c GARBAGE COLLECT 1064.97/1067.74 c rational objective 0 1113.43/1116.32 c #Conflicts: 503000 | #Constraints: 22735 1113.43/1116.32 c #Conflicts: 504000 | #Constraints: 24385 1113.43/1116.32 c #Conflicts: 505000 | #Constraints: 26046 1113.43/1116.32 c #Conflicts: 506000 | #Constraints: 27711 1113.43/1116.32 c #Conflicts: 507000 | #Constraints: 29401 1113.43/1116.32 c #Conflicts: 508000 | #Constraints: 31071 1113.43/1116.32 c #Conflicts: 509000 | #Constraints: 32761 1113.43/1116.32 c #Conflicts: 510000 | #Constraints: 34422 1113.43/1116.32 c #Conflicts: 511000 | #Constraints: 36102 1113.43/1116.32 c #Conflicts: 512000 | #Constraints: 37802 1113.43/1116.32 c #Conflicts: 513000 | #Constraints: 39408 1113.43/1116.32 c #Conflicts: 514000 | #Constraints: 41081 1113.43/1116.32 c #Conflicts: 515000 | #Constraints: 42106 1113.43/1116.32 c #Conflicts: 516000 | #Constraints: 43533 1113.43/1116.32 c INPROCESSING 1113.43/1116.32 c GARBAGE COLLECT 1113.43/1116.32 c rational objective 0 1165.10/1168.15 c #Conflicts: 517000 | #Constraints: 22793 1165.10/1168.15 c #Conflicts: 518000 | #Constraints: 23943 1165.10/1168.15 c #Conflicts: 519000 | #Constraints: 25156 1165.10/1168.15 c #Conflicts: 520000 | #Constraints: 26823 1165.10/1168.15 c #Conflicts: 521000 | #Constraints: 28516 1165.10/1168.15 c #Conflicts: 522000 | #Constraints: 30243 1165.10/1168.15 c #Conflicts: 523000 | #Constraints: 31942 1165.10/1168.15 c #Conflicts: 524000 | #Constraints: 33679 1165.10/1168.15 c #Conflicts: 525000 | #Constraints: 35382 1165.10/1168.15 c #Conflicts: 526000 | #Constraints: 37090 1165.10/1168.15 c #Conflicts: 527000 | #Constraints: 38579 1165.10/1168.15 c #Conflicts: 528000 | #Constraints: 40243 1165.10/1168.15 c #Conflicts: 529000 | #Constraints: 41948 1165.10/1168.15 c #Conflicts: 530000 | #Constraints: 43663 1165.10/1168.15 c #Conflicts: 531000 | #Constraints: 45359 1165.10/1168.15 c INPROCESSING 1165.10/1168.15 c GARBAGE COLLECT 1165.10/1168.15 c rational objective 0 1216.96/1220.13 c #Conflicts: 532000 | #Constraints: 24197 1216.96/1220.13 c #Conflicts: 533000 | #Constraints: 25855 1216.96/1220.13 c #Conflicts: 534000 | #Constraints: 27531 1216.96/1220.13 c #Conflicts: 535000 | #Constraints: 29191 1216.96/1220.13 c #Conflicts: 536000 | #Constraints: 30869 1216.96/1220.13 c #Conflicts: 537000 | #Constraints: 32553 1216.96/1220.13 c #Conflicts: 538000 | #Constraints: 34107 1216.96/1220.13 c #Conflicts: 539000 | #Constraints: 35107 1216.96/1220.13 c #Conflicts: 540000 | #Constraints: 36466 1216.96/1220.13 c #Conflicts: 541000 | #Constraints: 38124 1216.96/1220.13 c #Conflicts: 542000 | #Constraints: 39752 1216.96/1220.13 c #Conflicts: 543000 | #Constraints: 41398 1216.96/1220.13 c #Conflicts: 544000 | #Constraints: 43038 1216.96/1220.13 c #Conflicts: 545000 | #Constraints: 44713 1216.96/1220.13 c #Conflicts: 546000 | #Constraints: 46356 1216.96/1220.13 c INPROCESSING 1216.96/1220.13 c GARBAGE COLLECT 1216.96/1220.13 c rational objective 0 1277.48/1280.83 c #Conflicts: 547000 | #Constraints: 24892 1277.48/1280.83 c #Conflicts: 548000 | #Constraints: 26605 1277.48/1280.83 c #Conflicts: 549000 | #Constraints: 28321 1277.48/1280.83 c #Conflicts: 550000 | #Constraints: 30047 1277.48/1280.83 c #Conflicts: 551000 | #Constraints: 31763 1277.48/1280.83 c #Conflicts: 552000 | #Constraints: 33464 1277.48/1280.83 c #Conflicts: 553000 | #Constraints: 35166 1277.48/1280.83 c #Conflicts: 554000 | #Constraints: 36880 1277.48/1280.83 c #Conflicts: 555000 | #Constraints: 38569 1277.48/1280.83 c #Conflicts: 556000 | #Constraints: 40257 1277.48/1280.83 c #Conflicts: 557000 | #Constraints: 41957 1277.48/1280.83 c #Conflicts: 558000 | #Constraints: 43625 1277.48/1280.83 c #Conflicts: 559000 | #Constraints: 45344 1277.48/1280.83 c #Conflicts: 560000 | #Constraints: 47038 1277.48/1280.83 c #Conflicts: 561000 | #Constraints: 48731 1277.48/1280.83 c INPROCESSING 1277.48/1280.83 c GARBAGE COLLECT 1277.48/1280.83 c rational objective 0 1329.64/1333.10 c #Conflicts: 562000 | #Constraints: 25940 1329.64/1333.10 c #Conflicts: 563000 | #Constraints: 26940 1329.64/1333.10 c #Conflicts: 564000 | #Constraints: 28189 1329.64/1333.10 c #Conflicts: 565000 | #Constraints: 29912 1329.64/1333.10 c #Conflicts: 566000 | #Constraints: 31530 1329.64/1333.10 c #Conflicts: 567000 | #Constraints: 32530 1329.64/1333.10 c #Conflicts: 568000 | #Constraints: 33982 1329.64/1333.10 c #Conflicts: 569000 | #Constraints: 35654 1329.64/1333.10 c #Conflicts: 570000 | #Constraints: 37320 1329.64/1333.10 c #Conflicts: 571000 | #Constraints: 38971 1329.64/1333.10 c #Conflicts: 572000 | #Constraints: 40640 1329.64/1333.10 c #Conflicts: 573000 | #Constraints: 42291 1329.64/1333.10 c #Conflicts: 574000 | #Constraints: 43936 1329.64/1333.10 c #Conflicts: 575000 | #Constraints: 45593 1329.64/1333.10 c #Conflicts: 576000 | #Constraints: 46953 1329.64/1333.10 c INPROCESSING 1329.64/1333.10 c GARBAGE COLLECT 1329.64/1333.10 c rational objective 0 1379.60/1383.24 c #Conflicts: 577000 | #Constraints: 24639 1379.60/1383.24 c #Conflicts: 578000 | #Constraints: 25743 1379.60/1383.24 c #Conflicts: 579000 | #Constraints: 27048 1379.60/1383.24 c #Conflicts: 580000 | #Constraints: 28058 1379.60/1383.24 c #Conflicts: 581000 | #Constraints: 29255 1379.60/1383.24 c #Conflicts: 582000 | #Constraints: 30449 1379.60/1383.24 c #Conflicts: 583000 | #Constraints: 31449 1379.60/1383.24 c #Conflicts: 584000 | #Constraints: 32449 1379.60/1383.24 c #Conflicts: 585000 | #Constraints: 33451 1379.60/1383.24 c #Conflicts: 586000 | #Constraints: 34610 1379.60/1383.24 c #Conflicts: 587000 | #Constraints: 35683 1379.60/1383.24 c #Conflicts: 588000 | #Constraints: 36819 1379.60/1383.24 c #Conflicts: 589000 | #Constraints: 37827 1379.60/1383.24 c #Conflicts: 590000 | #Constraints: 38857 1379.60/1383.24 c #Conflicts: 591000 | #Constraints: 39868 1379.60/1383.24 c INPROCESSING 1379.60/1383.24 c GARBAGE COLLECT 1379.60/1383.24 c rational objective 0 1437.63/1441.42 c #Conflicts: 592000 | #Constraints: 21025 1437.63/1441.42 c #Conflicts: 593000 | #Constraints: 22695 1437.63/1441.42 c #Conflicts: 594000 | #Constraints: 24392 1437.63/1441.42 c #Conflicts: 595000 | #Constraints: 26091 1437.63/1441.42 c #Conflicts: 596000 | #Constraints: 27762 1437.63/1441.42 c #Conflicts: 597000 | #Constraints: 29456 1437.63/1441.42 c #Conflicts: 598000 | #Constraints: 31130 1437.63/1441.42 c #Conflicts: 599000 | #Constraints: 32815 1437.63/1441.42 c #Conflicts: 600000 | #Constraints: 34514 1437.63/1441.42 c #Conflicts: 601000 | #Constraints: 36183 1437.63/1441.42 c #Conflicts: 602000 | #Constraints: 37854 1437.63/1441.42 c #Conflicts: 603000 | #Constraints: 39528 1437.63/1441.42 c #Conflicts: 604000 | #Constraints: 41204 1437.63/1441.42 c #Conflicts: 605000 | #Constraints: 42886 1437.63/1441.42 c #Conflicts: 606000 | #Constraints: 44540 1437.63/1441.42 c #Conflicts: 607000 | #Constraints: 46193 1437.63/1441.42 c INPROCESSING 1437.63/1441.42 c GARBAGE COLLECT 1437.63/1441.42 c rational objective 0 1508.14/1512.19 c #Conflicts: 608000 | #Constraints: 24663 1508.14/1512.19 c #Conflicts: 609000 | #Constraints: 26348 1508.14/1512.19 c #Conflicts: 610000 | #Constraints: 28037 1508.14/1512.19 c #Conflicts: 611000 | #Constraints: 29723 1508.14/1512.19 c #Conflicts: 612000 | #Constraints: 31447 1508.14/1512.19 c #Conflicts: 613000 | #Constraints: 32575 1508.14/1512.19 c #Conflicts: 614000 | #Constraints: 34289 1508.14/1512.19 c #Conflicts: 615000 | #Constraints: 36011 1508.14/1512.19 c #Conflicts: 616000 | #Constraints: 37665 1508.14/1512.19 c #Conflicts: 617000 | #Constraints: 39350 1508.14/1512.19 c #Conflicts: 618000 | #Constraints: 41070 1508.14/1512.19 c #Conflicts: 619000 | #Constraints: 42765 1508.14/1512.19 c #Conflicts: 620000 | #Constraints: 44483 1508.14/1512.19 c #Conflicts: 621000 | #Constraints: 46163 1508.14/1512.19 c #Conflicts: 622000 | #Constraints: 47870 1508.14/1512.19 c #Conflicts: 623000 | #Constraints: 49609 1508.14/1512.19 c INPROCESSING 1508.14/1512.19 c GARBAGE COLLECT 1508.14/1512.19 c rational objective 0 1577.93/1582.19 c #Conflicts: 624000 | #Constraints: 26527 1577.93/1582.19 c #Conflicts: 625000 | #Constraints: 28208 1577.93/1582.19 c #Conflicts: 626000 | #Constraints: 29869 1577.93/1582.19 c #Conflicts: 627000 | #Constraints: 31518 1577.93/1582.19 c #Conflicts: 628000 | #Constraints: 33190 1577.93/1582.19 c #Conflicts: 629000 | #Constraints: 34832 1577.93/1582.19 c #Conflicts: 630000 | #Constraints: 36494 1577.93/1582.19 c #Conflicts: 631000 | #Constraints: 38191 1577.93/1582.19 c #Conflicts: 632000 | #Constraints: 39893 1577.93/1582.19 c #Conflicts: 633000 | #Constraints: 41609 1577.93/1582.19 c #Conflicts: 634000 | #Constraints: 42930 1577.93/1582.19 c #Conflicts: 635000 | #Constraints: 43930 1577.93/1582.19 c #Conflicts: 636000 | #Constraints: 45501 1577.93/1582.19 c #Conflicts: 637000 | #Constraints: 47176 1577.93/1582.19 c #Conflicts: 638000 | #Constraints: 48821 1577.93/1582.19 c #Conflicts: 639000 | #Constraints: 50512 1577.93/1582.19 c INPROCESSING 1577.93/1582.19 c GARBAGE COLLECT 1577.93/1582.19 c rational objective 0 1646.14/1650.54 c #Conflicts: 640000 | #Constraints: 26707 1646.14/1650.54 c #Conflicts: 641000 | #Constraints: 27817 1646.14/1650.54 c #Conflicts: 642000 | #Constraints: 29027 1646.14/1650.54 c #Conflicts: 643000 | #Constraints: 30382 1646.14/1650.54 c #Conflicts: 644000 | #Constraints: 32053 1646.14/1650.54 c #Conflicts: 645000 | #Constraints: 33478 1646.14/1650.54 c #Conflicts: 646000 | #Constraints: 34921 1646.14/1650.54 c #Conflicts: 647000 | #Constraints: 36408 1646.14/1650.54 c #Conflicts: 648000 | #Constraints: 37836 1646.14/1650.54 c #Conflicts: 649000 | #Constraints: 38969 1646.14/1650.54 c #Conflicts: 650000 | #Constraints: 40311 1646.14/1650.54 c #Conflicts: 651000 | #Constraints: 41543 1646.14/1650.54 c #Conflicts: 652000 | #Constraints: 43027 1646.14/1650.54 c #Conflicts: 653000 | #Constraints: 44059 1646.14/1650.54 c #Conflicts: 654000 | #Constraints: 45407 1646.14/1650.54 c #Conflicts: 655000 | #Constraints: 46774 1646.14/1650.54 c INPROCESSING 1646.14/1650.54 c GARBAGE COLLECT 1646.14/1650.54 c rational objective 0 1697.70/1702.30 c #Conflicts: 656000 | #Constraints: 24576 1697.70/1702.30 c #Conflicts: 657000 | #Constraints: 25652 1697.70/1702.30 c #Conflicts: 658000 | #Constraints: 26878 1697.70/1702.30 c #Conflicts: 659000 | #Constraints: 28180 1697.70/1702.30 c #Conflicts: 660000 | #Constraints: 29350 1697.70/1702.30 c #Conflicts: 661000 | #Constraints: 30425 1697.70/1702.30 c #Conflicts: 662000 | #Constraints: 31425 1697.70/1702.30 c #Conflicts: 663000 | #Constraints: 32445 1697.70/1702.30 c #Conflicts: 664000 | #Constraints: 33445 1697.70/1702.30 c #Conflicts: 665000 | #Constraints: 34647 1697.70/1702.30 c #Conflicts: 666000 | #Constraints: 35676 1697.70/1702.30 c #Conflicts: 667000 | #Constraints: 36764 1697.70/1702.30 c #Conflicts: 668000 | #Constraints: 37764 1697.70/1702.30 c #Conflicts: 669000 | #Constraints: 38782 1697.70/1702.30 c #Conflicts: 670000 | #Constraints: 39918 1697.70/1702.30 c #Conflicts: 671000 | #Constraints: 40918 1697.70/1702.30 c INPROCESSING 1697.70/1702.30 c GARBAGE COLLECT 1697.70/1702.30 c rational objective 0 1750.25/1754.96 c #Conflicts: 672000 | #Constraints: 21320 1750.25/1754.96 c #Conflicts: 673000 | #Constraints: 22474 1750.25/1754.96 c #Conflicts: 674000 | #Constraints: 23474 1750.25/1754.96 c #Conflicts: 675000 | #Constraints: 24474 1750.25/1754.96 c #Conflicts: 676000 | #Constraints: 25671 1750.25/1754.96 c #Conflicts: 677000 | #Constraints: 26827 1750.25/1754.96 c #Conflicts: 678000 | #Constraints: 27827 1750.25/1754.96 c #Conflicts: 679000 | #Constraints: 28827 1750.25/1754.96 c #Conflicts: 680000 | #Constraints: 29827 1750.25/1754.96 c #Conflicts: 681000 | #Constraints: 30831 1750.25/1754.96 c #Conflicts: 682000 | #Constraints: 32163 1750.25/1754.96 c #Conflicts: 683000 | #Constraints: 33872 1750.25/1754.96 c #Conflicts: 684000 | #Constraints: 35570 1750.25/1754.96 c #Conflicts: 685000 | #Constraints: 37255 1750.25/1754.96 c #Conflicts: 686000 | #Constraints: 38836 1750.25/1754.96 c #Conflicts: 687000 | #Constraints: 39836 1750.25/1754.96 c #Conflicts: 688000 | #Constraints: 41022 1750.25/1754.96 c INPROCESSING 1750.25/1754.96 c GARBAGE COLLECT 1750.25/1754.96 c rational objective 0 1810.49/1815.35 c #Conflicts: 689000 | #Constraints: 21830 1810.49/1815.35 c #Conflicts: 690000 | #Constraints: 23469 1810.49/1815.35 c #Conflicts: 691000 | #Constraints: 24793 1810.49/1815.35 c #Conflicts: 692000 | #Constraints: 26209 1810.49/1815.35 c #Conflicts: 693000 | #Constraints: 27872 1810.49/1815.35 c #Conflicts: 694000 | #Constraints: 29518 1810.49/1815.35 c #Conflicts: 695000 | #Constraints: 31162 1810.49/1815.35 c #Conflicts: 696000 | #Constraints: 32876 1810.49/1815.35 c #Conflicts: 697000 | #Constraints: 33902 1810.49/1815.35 c #Conflicts: 698000 | #Constraints: 35251 1810.49/1815.35 c #Conflicts: 699000 | #Constraints: 36873 1810.49/1815.35 c #Conflicts: 700000 | #Constraints: 38464 1810.49/1815.35 c #Conflicts: 701000 | #Constraints: 40070 1810.49/1815.35 c #Conflicts: 702000 | #Constraints: 41699 1810.49/1815.35 c #Conflicts: 703000 | #Constraints: 43009 1810.49/1815.35 c #Conflicts: 704000 | #Constraints: 44400 1810.49/1815.35 c #Conflicts: 705000 | #Constraints: 45471 1810.49/1815.35 c INPROCESSING 1810.49/1815.35 c GARBAGE COLLECT 1810.49/1815.35 c rational objective 0 1893.15/1898.22 c #Conflicts: 706000 | #Constraints: 24465 1893.15/1898.22 c #Conflicts: 707000 | #Constraints: 26190 1893.15/1898.22 c #Conflicts: 708000 | #Constraints: 27954 1893.15/1898.22 c #Conflicts: 709000 | #Constraints: 29654 1893.15/1898.22 c #Conflicts: 710000 | #Constraints: 31376 1893.15/1898.22 c #Conflicts: 711000 | #Constraints: 33081 1893.15/1898.22 c #Conflicts: 712000 | #Constraints: 34797 1893.15/1898.22 c #Conflicts: 713000 | #Constraints: 36548 1893.15/1898.22 c #Conflicts: 714000 | #Constraints: 38276 1893.15/1898.22 c #Conflicts: 715000 | #Constraints: 39998 1893.15/1898.22 c #Conflicts: 716000 | #Constraints: 41709 1893.15/1898.22 c #Conflicts: 717000 | #Constraints: 43438 1893.15/1898.22 c #Conflicts: 718000 | #Constraints: 45129 1893.15/1898.22 c #Conflicts: 719000 | #Constraints: 46854 1893.15/1898.22 c #Conflicts: 720000 | #Constraints: 48518 1893.15/1898.22 c #Conflicts: 721000 | #Constraints: 50215 1893.15/1898.22 c #Conflicts: 722000 | #Constraints: 51922 1893.15/1898.22 c INPROCESSING 1893.15/1898.22 c GARBAGE COLLECT 1893.15/1898.22 c rational objective 0 1975.91/1981.26 c #Conflicts: 723000 | #Constraints: 27634 1975.91/1981.26 c #Conflicts: 724000 | #Constraints: 29081 1975.91/1981.26 c #Conflicts: 725000 | #Constraints: 30773 1975.91/1981.26 c #Conflicts: 726000 | #Constraints: 32465 1975.91/1981.26 c #Conflicts: 727000 | #Constraints: 34119 1975.91/1981.26 c #Conflicts: 728000 | #Constraints: 35821 1975.91/1981.26 c #Conflicts: 729000 | #Constraints: 37516 1975.91/1981.26 c #Conflicts: 730000 | #Constraints: 39210 1975.91/1981.26 c #Conflicts: 731000 | #Constraints: 40890 1975.91/1981.26 c #Conflicts: 732000 | #Constraints: 42569 1975.91/1981.26 c #Conflicts: 733000 | #Constraints: 44251 1975.91/1981.26 c #Conflicts: 734000 | #Constraints: 45804 1975.91/1981.26 c #Conflicts: 735000 | #Constraints: 47492 1975.91/1981.26 c #Conflicts: 736000 | #Constraints: 49067 1975.91/1981.26 c #Conflicts: 737000 | #Constraints: 50755 1975.91/1981.26 c #Conflicts: 738000 | #Constraints: 52466 1975.91/1981.26 c #Conflicts: 739000 | #Constraints: 54018 1975.91/1981.26 c INPROCESSING 1975.91/1981.26 c GARBAGE COLLECT 1975.91/1981.26 c rational objective 0 2070.64/2076.24 c #Conflicts: 740000 | #Constraints: 28504 2070.64/2076.24 c #Conflicts: 741000 | #Constraints: 30244 2070.64/2076.24 c #Conflicts: 742000 | #Constraints: 31970 2070.64/2076.24 c #Conflicts: 743000 | #Constraints: 33719 2070.64/2076.24 c #Conflicts: 744000 | #Constraints: 35402 2070.64/2076.24 c #Conflicts: 745000 | #Constraints: 37097 2070.64/2076.24 c #Conflicts: 746000 | #Constraints: 38810 2070.64/2076.24 c #Conflicts: 747000 | #Constraints: 40520 2070.64/2076.24 c #Conflicts: 748000 | #Constraints: 42208 2070.64/2076.24 c #Conflicts: 749000 | #Constraints: 43881 2070.64/2076.24 c #Conflicts: 750000 | #Constraints: 45590 2070.64/2076.24 c #Conflicts: 751000 | #Constraints: 47274 2070.64/2076.24 c #Conflicts: 752000 | #Constraints: 48985 2070.64/2076.24 c #Conflicts: 753000 | #Constraints: 50664 2070.64/2076.24 c #Conflicts: 754000 | #Constraints: 52369 2070.64/2076.24 c #Conflicts: 755000 | #Constraints: 54052 2070.64/2076.24 c #Conflicts: 756000 | #Constraints: 55755 2070.64/2076.24 c INPROCESSING 2070.64/2076.24 c GARBAGE COLLECT 2070.64/2076.24 c rational objective 0 2157.79/2163.69 c #Conflicts: 757000 | #Constraints: 29054 2157.79/2163.69 c #Conflicts: 758000 | #Constraints: 30734 2157.79/2163.69 c #Conflicts: 759000 | #Constraints: 32372 2157.79/2163.69 c #Conflicts: 760000 | #Constraints: 34037 2157.79/2163.69 c #Conflicts: 761000 | #Constraints: 35625 2157.79/2163.69 c #Conflicts: 762000 | #Constraints: 37297 2157.79/2163.69 c #Conflicts: 763000 | #Constraints: 38442 2157.79/2163.69 c #Conflicts: 764000 | #Constraints: 40070 2157.79/2163.69 c #Conflicts: 765000 | #Constraints: 41487 2157.79/2163.69 c #Conflicts: 766000 | #Constraints: 43119 2157.79/2163.69 c #Conflicts: 767000 | #Constraints: 44799 2157.79/2163.69 c #Conflicts: 768000 | #Constraints: 46486 2157.79/2163.69 c #Conflicts: 769000 | #Constraints: 48191 2157.79/2163.69 c #Conflicts: 770000 | #Constraints: 49909 2157.79/2163.69 c #Conflicts: 771000 | #Constraints: 51568 2157.79/2163.69 c #Conflicts: 772000 | #Constraints: 53196 2157.79/2163.69 c #Conflicts: 773000 | #Constraints: 54837 2157.79/2163.69 c #Conflicts: 774000 | #Constraints: 56497 2157.79/2163.69 c INPROCESSING 2157.79/2163.69 c GARBAGE COLLECT 2157.79/2163.69 c rational objective 0 2256.01/2262.17 c #Conflicts: 775000 | #Constraints: 29772 2256.01/2262.17 c #Conflicts: 776000 | #Constraints: 31384 2256.01/2262.17 c #Conflicts: 777000 | #Constraints: 33057 2256.01/2262.17 c #Conflicts: 778000 | #Constraints: 34769 2256.01/2262.17 c #Conflicts: 779000 | #Constraints: 36472 2256.01/2262.17 c #Conflicts: 780000 | #Constraints: 38168 2256.01/2262.17 c #Conflicts: 781000 | #Constraints: 39850 2256.01/2262.17 c #Conflicts: 782000 | #Constraints: 41444 2256.01/2262.17 c #Conflicts: 783000 | #Constraints: 43186 2256.01/2262.17 c #Conflicts: 784000 | #Constraints: 44626 2256.01/2262.17 c #Conflicts: 785000 | #Constraints: 46377 2256.01/2262.17 c #Conflicts: 786000 | #Constraints: 48107 2256.01/2262.17 c #Conflicts: 787000 | #Constraints: 49806 2256.01/2262.17 c #Conflicts: 788000 | #Constraints: 51499 2256.01/2262.17 c #Conflicts: 789000 | #Constraints: 53162 2256.01/2262.17 c #Conflicts: 790000 | #Constraints: 54768 2256.01/2262.17 c #Conflicts: 791000 | #Constraints: 56435 2256.01/2262.17 c #Conflicts: 792000 | #Constraints: 58159 2256.01/2262.17 c INPROCESSING 2256.01/2262.17 c GARBAGE COLLECT 2256.01/2262.17 c rational objective 0 2349.64/2356.09 c #Conflicts: 793000 | #Constraints: 30760 2349.64/2356.09 c #Conflicts: 794000 | #Constraints: 32422 2349.64/2356.09 c #Conflicts: 795000 | #Constraints: 34049 2349.64/2356.09 c #Conflicts: 796000 | #Constraints: 35709 2349.64/2356.09 c #Conflicts: 797000 | #Constraints: 37361 2349.64/2356.09 c #Conflicts: 798000 | #Constraints: 39030 2349.64/2356.09 c #Conflicts: 799000 | #Constraints: 40696 2349.64/2356.09 c #Conflicts: 800000 | #Constraints: 42364 2349.64/2356.09 c #Conflicts: 801000 | #Constraints: 44004 2349.64/2356.09 c #Conflicts: 802000 | #Constraints: 45670 2349.64/2356.09 c #Conflicts: 803000 | #Constraints: 47060 2349.64/2356.09 c #Conflicts: 804000 | #Constraints: 48715 2349.64/2356.09 c #Conflicts: 805000 | #Constraints: 50374 2349.64/2356.09 c #Conflicts: 806000 | #Constraints: 52024 2349.64/2356.09 c #Conflicts: 807000 | #Constraints: 53690 2349.64/2356.09 c #Conflicts: 808000 | #Constraints: 55093 2349.64/2356.09 c #Conflicts: 809000 | #Constraints: 56769 2349.64/2356.09 c #Conflicts: 810000 | #Constraints: 58451 2349.64/2356.09 c INPROCESSING 2349.64/2356.09 c GARBAGE COLLECT 2349.64/2356.09 c rational objective 0 2422.55/2429.16 c #Conflicts: 811000 | #Constraints: 30241 2422.55/2429.16 c #Conflicts: 812000 | #Constraints: 31241 2422.55/2429.16 c #Conflicts: 813000 | #Constraints: 32241 2422.55/2429.16 c #Conflicts: 814000 | #Constraints: 33241 2422.55/2429.16 c #Conflicts: 815000 | #Constraints: 34241 2422.55/2429.16 c #Conflicts: 816000 | #Constraints: 35241 2422.55/2429.16 c #Conflicts: 817000 | #Constraints: 36241 2422.55/2429.16 c #Conflicts: 818000 | #Constraints: 37241 2422.55/2429.16 c #Conflicts: 819000 | #Constraints: 38241 2422.55/2429.16 c #Conflicts: 820000 | #Constraints: 39241 2422.55/2429.16 c #Conflicts: 821000 | #Constraints: 40241 2422.55/2429.16 c #Conflicts: 822000 | #Constraints: 41241 2422.55/2429.16 c #Conflicts: 823000 | #Constraints: 42241 2422.55/2429.16 c #Conflicts: 824000 | #Constraints: 43241 2422.55/2429.16 c #Conflicts: 825000 | #Constraints: 44241 2422.55/2429.16 c #Conflicts: 826000 | #Constraints: 45242 2422.55/2429.16 c #Conflicts: 827000 | #Constraints: 46242 2422.55/2429.16 c #Conflicts: 828000 | #Constraints: 47242 2422.55/2429.16 c INPROCESSING 2422.55/2429.16 c GARBAGE COLLECT 2422.55/2429.16 c rational objective 0 2486.57/2493.39 c #Conflicts: 829000 | #Constraints: 24815 2486.57/2493.39 c #Conflicts: 830000 | #Constraints: 26280 2486.57/2493.39 c #Conflicts: 831000 | #Constraints: 27672 2486.57/2493.39 c #Conflicts: 832000 | #Constraints: 28975 2486.57/2493.39 c #Conflicts: 833000 | #Constraints: 30395 2486.57/2493.39 c #Conflicts: 834000 | #Constraints: 31395 2486.57/2493.39 c #Conflicts: 835000 | #Constraints: 32395 2486.57/2493.39 c #Conflicts: 836000 | #Constraints: 33784 2486.57/2493.39 c #Conflicts: 837000 | #Constraints: 34878 2486.57/2493.39 c #Conflicts: 838000 | #Constraints: 36032 2486.57/2493.39 c #Conflicts: 839000 | #Constraints: 37387 2486.57/2493.39 c #Conflicts: 840000 | #Constraints: 38841 2486.57/2493.39 c #Conflicts: 841000 | #Constraints: 39924 2486.57/2493.39 c #Conflicts: 842000 | #Constraints: 41602 2486.57/2493.39 c #Conflicts: 843000 | #Constraints: 43182 2486.57/2493.39 c #Conflicts: 844000 | #Constraints: 44405 2486.57/2493.39 c #Conflicts: 845000 | #Constraints: 46011 2486.57/2493.39 c #Conflicts: 846000 | #Constraints: 47288 2486.57/2493.39 c INPROCESSING 2486.57/2493.39 c GARBAGE COLLECT 2486.57/2493.39 c rational objective 0 2559.56/2566.50 c #Conflicts: 847000 | #Constraints: 24714 2559.56/2566.50 c #Conflicts: 848000 | #Constraints: 25877 2559.56/2566.50 c #Conflicts: 849000 | #Constraints: 26908 2559.56/2566.50 c #Conflicts: 850000 | #Constraints: 28534 2559.56/2566.50 c #Conflicts: 851000 | #Constraints: 30165 2559.56/2566.50 c #Conflicts: 852000 | #Constraints: 31624 2559.56/2566.50 c #Conflicts: 853000 | #Constraints: 33249 2559.56/2566.50 c #Conflicts: 854000 | #Constraints: 34415 2559.56/2566.50 c #Conflicts: 855000 | #Constraints: 35949 2559.56/2566.50 c #Conflicts: 856000 | #Constraints: 37092 2559.56/2566.50 c #Conflicts: 857000 | #Constraints: 38562 2559.56/2566.50 c #Conflicts: 858000 | #Constraints: 40167 2559.56/2566.50 c #Conflicts: 859000 | #Constraints: 41443 2559.56/2566.50 c #Conflicts: 860000 | #Constraints: 42646 2559.56/2566.50 c #Conflicts: 861000 | #Constraints: 44000 2559.56/2566.50 c #Conflicts: 862000 | #Constraints: 45420 2559.56/2566.50 c #Conflicts: 863000 | #Constraints: 46982 2559.56/2566.50 c #Conflicts: 864000 | #Constraints: 47984 2559.56/2566.50 c #Conflicts: 865000 | #Constraints: 49555 2559.56/2566.50 c INPROCESSING 2559.56/2566.50 c GARBAGE COLLECT 2559.56/2566.50 c rational objective 0 2621.69/2628.87 c #Conflicts: 866000 | #Constraints: 25803 2621.69/2628.87 c #Conflicts: 867000 | #Constraints: 26909 2621.69/2628.87 c #Conflicts: 868000 | #Constraints: 27909 2621.69/2628.87 c #Conflicts: 869000 | #Constraints: 28932 2621.69/2628.87 c #Conflicts: 870000 | #Constraints: 29954 2621.69/2628.87 c #Conflicts: 871000 | #Constraints: 30954 2621.69/2628.87 c #Conflicts: 872000 | #Constraints: 31954 2621.69/2628.87 c #Conflicts: 873000 | #Constraints: 32954 2621.69/2628.87 c #Conflicts: 874000 | #Constraints: 34207 2621.69/2628.87 c #Conflicts: 875000 | #Constraints: 35414 2621.69/2628.87 c #Conflicts: 876000 | #Constraints: 36593 2621.69/2628.87 c #Conflicts: 877000 | #Constraints: 37776 2621.69/2628.87 c #Conflicts: 878000 | #Constraints: 39116 2621.69/2628.87 c #Conflicts: 879000 | #Constraints: 40199 2621.69/2628.87 c #Conflicts: 880000 | #Constraints: 41573 2621.69/2628.87 c #Conflicts: 881000 | #Constraints: 42677 2621.69/2628.87 c #Conflicts: 882000 | #Constraints: 43677 2621.69/2628.87 c #Conflicts: 883000 | #Constraints: 45053 2621.69/2628.87 c #Conflicts: 884000 | #Constraints: 46144 2621.69/2628.87 c INPROCESSING 2621.69/2628.87 c GARBAGE COLLECT 2621.69/2628.87 c rational objective 0 2700.87/2708.21 c #Conflicts: 885000 | #Constraints: 24735 2700.87/2708.21 c #Conflicts: 886000 | #Constraints: 26338 2700.87/2708.21 c #Conflicts: 887000 | #Constraints: 27971 2700.87/2708.21 c #Conflicts: 888000 | #Constraints: 29606 2700.87/2708.21 c #Conflicts: 889000 | #Constraints: 31293 2700.87/2708.21 c #Conflicts: 890000 | #Constraints: 32925 2700.87/2708.21 c #Conflicts: 891000 | #Constraints: 34588 2700.87/2708.21 c #Conflicts: 892000 | #Constraints: 36246 2700.87/2708.21 c #Conflicts: 893000 | #Constraints: 37926 2700.87/2708.21 c #Conflicts: 894000 | #Constraints: 39578 2700.87/2708.21 c #Conflicts: 895000 | #Constraints: 41235 2700.87/2708.21 c #Conflicts: 896000 | #Constraints: 42914 2700.87/2708.21 c #Conflicts: 897000 | #Constraints: 44613 2700.87/2708.21 c #Conflicts: 898000 | #Constraints: 46308 2700.87/2708.21 c #Conflicts: 899000 | #Constraints: 47993 2700.87/2708.21 c #Conflicts: 900000 | #Constraints: 49610 2700.87/2708.21 c #Conflicts: 901000 | #Constraints: 51320 2700.87/2708.21 c #Conflicts: 902000 | #Constraints: 53006 2700.87/2708.21 c #Conflicts: 903000 | #Constraints: 54664 2700.87/2708.21 c INPROCESSING 2700.87/2708.21 c GARBAGE COLLECT 2700.87/2708.21 c rational objective 0 2805.57/2813.27 c #Conflicts: 904000 | #Constraints: 29056 2805.57/2813.27 c #Conflicts: 905000 | #Constraints: 30760 2805.57/2813.27 c #Conflicts: 906000 | #Constraints: 32435 2805.57/2813.27 c #Conflicts: 907000 | #Constraints: 34168 2805.57/2813.27 c #Conflicts: 908000 | #Constraints: 35860 2805.57/2813.27 c #Conflicts: 909000 | #Constraints: 37588 2805.57/2813.27 c #Conflicts: 910000 | #Constraints: 39287 2805.57/2813.27 c #Conflicts: 911000 | #Constraints: 40953 2805.57/2813.27 c #Conflicts: 912000 | #Constraints: 42615 2805.57/2813.27 c #Conflicts: 913000 | #Constraints: 44296 2805.57/2813.27 c #Conflicts: 914000 | #Constraints: 46009 2805.57/2813.27 c #Conflicts: 915000 | #Constraints: 47687 2805.57/2813.27 c #Conflicts: 916000 | #Constraints: 49392 2805.57/2813.27 c #Conflicts: 917000 | #Constraints: 51070 2805.57/2813.27 c #Conflicts: 918000 | #Constraints: 52747 2805.57/2813.27 c #Conflicts: 919000 | #Constraints: 54424 2805.57/2813.27 c #Conflicts: 920000 | #Constraints: 56114 2805.57/2813.27 c #Conflicts: 921000 | #Constraints: 57835 2805.57/2813.27 c #Conflicts: 922000 | #Constraints: 59501 2805.57/2813.27 c INPROCESSING 2805.57/2813.27 c GARBAGE COLLECT 2805.57/2813.27 c rational objective 0 2891.72/2899.64 c #Conflicts: 923000 | #Constraints: 30965 2891.72/2899.64 c #Conflicts: 924000 | #Constraints: 31965 2891.72/2899.64 c #Conflicts: 925000 | #Constraints: 32965 2891.72/2899.64 c #Conflicts: 926000 | #Constraints: 34301 2891.72/2899.64 c #Conflicts: 927000 | #Constraints: 35974 2891.72/2899.64 c #Conflicts: 928000 | #Constraints: 37630 2891.72/2899.64 c #Conflicts: 929000 | #Constraints: 39281 2891.72/2899.64 c #Conflicts: 930000 | #Constraints: 40925 2891.72/2899.64 c #Conflicts: 931000 | #Constraints: 42560 2891.72/2899.64 c #Conflicts: 932000 | #Constraints: 44196 2891.72/2899.64 c #Conflicts: 933000 | #Constraints: 45840 2891.72/2899.64 c #Conflicts: 934000 | #Constraints: 47481 2891.72/2899.64 c #Conflicts: 935000 | #Constraints: 49143 2891.72/2899.64 c #Conflicts: 936000 | #Constraints: 50813 2891.72/2899.64 c #Conflicts: 937000 | #Constraints: 52465 2891.72/2899.64 c #Conflicts: 938000 | #Constraints: 54122 2891.72/2899.64 c #Conflicts: 939000 | #Constraints: 55767 2891.72/2899.64 c #Conflicts: 940000 | #Constraints: 57405 2891.72/2899.64 c #Conflicts: 941000 | #Constraints: 58502 2891.72/2899.64 c INPROCESSING 2891.72/2899.64 c GARBAGE COLLECT 2891.72/2899.64 c rational objective 0 3003.99/3012.26 c #Conflicts: 942000 | #Constraints: 30235 3003.99/3012.26 c #Conflicts: 943000 | #Constraints: 31908 3003.99/3012.26 c #Conflicts: 944000 | #Constraints: 33556 3003.99/3012.26 c #Conflicts: 945000 | #Constraints: 35232 3003.99/3012.26 c #Conflicts: 946000 | #Constraints: 36892 3003.99/3012.26 c #Conflicts: 947000 | #Constraints: 38553 3003.99/3012.26 c #Conflicts: 948000 | #Constraints: 40211 3003.99/3012.26 c #Conflicts: 949000 | #Constraints: 41878 3003.99/3012.26 c #Conflicts: 950000 | #Constraints: 43540 3003.99/3012.26 c #Conflicts: 951000 | #Constraints: 45217 3003.99/3012.26 c #Conflicts: 952000 | #Constraints: 46892 3003.99/3012.26 c #Conflicts: 953000 | #Constraints: 48577 3003.99/3012.26 c #Conflicts: 954000 | #Constraints: 50213 3003.99/3012.26 c #Conflicts: 955000 | #Constraints: 51830 3003.99/3012.26 c #Conflicts: 956000 | #Constraints: 53450 3003.99/3012.26 c #Conflicts: 957000 | #Constraints: 55094 3003.99/3012.26 c #Conflicts: 958000 | #Constraints: 56776 3003.99/3012.26 c #Conflicts: 959000 | #Constraints: 58421 3003.99/3012.26 c #Conflicts: 960000 | #Constraints: 60069 3003.99/3012.26 c #Conflicts: 961000 | #Constraints: 61705 3003.99/3012.26 c INPROCESSING 3003.99/3012.26 c GARBAGE COLLECT 3003.99/3012.26 c rational objective 0 3116.27/3124.83 c #Conflicts: 962000 | #Constraints: 32372 3116.27/3124.83 c #Conflicts: 963000 | #Constraints: 34047 3116.27/3124.83 c #Conflicts: 964000 | #Constraints: 35708 3116.27/3124.83 c #Conflicts: 965000 | #Constraints: 37397 3116.27/3124.83 c #Conflicts: 966000 | #Constraints: 39085 3116.27/3124.83 c #Conflicts: 967000 | #Constraints: 40790 3116.27/3124.83 c #Conflicts: 968000 | #Constraints: 42445 3116.27/3124.83 c #Conflicts: 969000 | #Constraints: 44131 3116.27/3124.83 c #Conflicts: 970000 | #Constraints: 45814 3116.27/3124.83 c #Conflicts: 971000 | #Constraints: 47508 3116.27/3124.83 c #Conflicts: 972000 | #Constraints: 49227 3116.27/3124.83 c #Conflicts: 973000 | #Constraints: 50910 3116.27/3124.83 c #Conflicts: 974000 | #Constraints: 52587 3116.27/3124.83 c #Conflicts: 975000 | #Constraints: 54282 3116.27/3124.83 c #Conflicts: 976000 | #Constraints: 55942 3116.27/3124.83 c #Conflicts: 977000 | #Constraints: 57632 3116.27/3124.83 c #Conflicts: 978000 | #Constraints: 59319 3116.27/3124.83 c #Conflicts: 979000 | #Constraints: 61013 3116.27/3124.83 c #Conflicts: 980000 | #Constraints: 62704 3116.27/3124.83 c #Conflicts: 981000 | #Constraints: 64384 3116.27/3124.83 c INPROCESSING 3116.27/3124.83 c GARBAGE COLLECT 3116.27/3124.83 c rational objective 0 3246.10/3255.07 c #Conflicts: 982000 | #Constraints: 33882 3246.10/3255.07 c #Conflicts: 983000 | #Constraints: 35587 3246.10/3255.07 c #Conflicts: 984000 | #Constraints: 37268 3246.10/3255.07 c #Conflicts: 985000 | #Constraints: 38943 3246.10/3255.07 c #Conflicts: 986000 | #Constraints: 40589 3246.10/3255.07 c #Conflicts: 987000 | #Constraints: 42240 3246.10/3255.07 c #Conflicts: 988000 | #Constraints: 43873 3246.10/3255.07 c #Conflicts: 989000 | #Constraints: 45545 3246.10/3255.07 c #Conflicts: 990000 | #Constraints: 47261 3246.10/3255.07 c #Conflicts: 991000 | #Constraints: 48925 3246.10/3255.07 c #Conflicts: 992000 | #Constraints: 50591 3246.10/3255.07 c #Conflicts: 993000 | #Constraints: 52284 3246.10/3255.07 c #Conflicts: 994000 | #Constraints: 53966 3246.10/3255.07 c #Conflicts: 995000 | #Constraints: 55619 3246.10/3255.07 c #Conflicts: 996000 | #Constraints: 57285 3246.10/3255.07 c #Conflicts: 997000 | #Constraints: 58965 3246.10/3255.07 c #Conflicts: 998000 | #Constraints: 60688 3246.10/3255.07 c #Conflicts: 999000 | #Constraints: 62396 3246.10/3255.07 c #Conflicts: 1000000 | #Constraints: 64096 3246.10/3255.07 c #Conflicts: 1001000 | #Constraints: 65779 3246.10/3255.07 c INPROCESSING 3246.10/3255.07 c GARBAGE COLLECT 3246.10/3255.07 c rational objective 0 3377.91/3387.27 c #Conflicts: 1002000 | #Constraints: 34577 3377.91/3387.27 c #Conflicts: 1003000 | #Constraints: 36189 3377.91/3387.27 c #Conflicts: 1004000 | #Constraints: 37822 3377.91/3387.27 c #Conflicts: 1005000 | #Constraints: 39464 3377.91/3387.27 c #Conflicts: 1006000 | #Constraints: 41081 3377.91/3387.27 c #Conflicts: 1007000 | #Constraints: 42721 3377.91/3387.27 c #Conflicts: 1008000 | #Constraints: 44385 3377.91/3387.27 c #Conflicts: 1009000 | #Constraints: 46026 3377.91/3387.27 c #Conflicts: 1010000 | #Constraints: 47679 3377.91/3387.27 c #Conflicts: 1011000 | #Constraints: 49330 3377.91/3387.27 c #Conflicts: 1012000 | #Constraints: 50963 3377.91/3387.27 c #Conflicts: 1013000 | #Constraints: 52633 3377.91/3387.27 c #Conflicts: 1014000 | #Constraints: 54296 3377.91/3387.27 c #Conflicts: 1015000 | #Constraints: 55963 3377.91/3387.27 c #Conflicts: 1016000 | #Constraints: 57610 3377.91/3387.27 c #Conflicts: 1017000 | #Constraints: 59255 3377.91/3387.27 c #Conflicts: 1018000 | #Constraints: 60915 3377.91/3387.27 c #Conflicts: 1019000 | #Constraints: 62564 3377.91/3387.27 c #Conflicts: 1020000 | #Constraints: 64215 3377.91/3387.27 c #Conflicts: 1021000 | #Constraints: 65870 3377.91/3387.27 c INPROCESSING 3377.91/3387.27 c GARBAGE COLLECT 3377.91/3387.27 c rational objective 0 3519.00/3528.72 c #Conflicts: 1022000 | #Constraints: 34490 3519.00/3528.72 c #Conflicts: 1023000 | #Constraints: 36182 3519.00/3528.72 c #Conflicts: 1024000 | #Constraints: 37884 3519.00/3528.72 c #Conflicts: 1025000 | #Constraints: 39580 3519.00/3528.72 c #Conflicts: 1026000 | #Constraints: 41256 3519.00/3528.72 c #Conflicts: 1027000 | #Constraints: 42947 3519.00/3528.72 c #Conflicts: 1028000 | #Constraints: 44604 3519.00/3528.72 c #Conflicts: 1029000 | #Constraints: 45931 3519.00/3528.72 c #Conflicts: 1030000 | #Constraints: 47359 3519.00/3528.72 c #Conflicts: 1031000 | #Constraints: 49070 3519.00/3528.72 c #Conflicts: 1032000 | #Constraints: 50767 3519.00/3528.72 c #Conflicts: 1033000 | #Constraints: 52476 3519.00/3528.72 c #Conflicts: 1034000 | #Constraints: 54169 3519.00/3528.72 c #Conflicts: 1035000 | #Constraints: 55861 3519.00/3528.72 c #Conflicts: 1036000 | #Constraints: 57556 3519.00/3528.72 c #Conflicts: 1037000 | #Constraints: 59270 3519.00/3528.72 c #Conflicts: 1038000 | #Constraints: 60809 3519.00/3528.72 c #Conflicts: 1039000 | #Constraints: 62537 3519.00/3528.72 c #Conflicts: 1040000 | #Constraints: 64243 3519.00/3528.72 c #Conflicts: 1041000 | #Constraints: 65829 3519.00/3528.72 c INPROCESSING 3519.00/3528.72 c GARBAGE COLLECT 3519.00/3528.72 c rational objective 0 3600.00/3609.90 c 3600.00/3609.90 s SATISFIABLE 3600.00/3609.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 3600.00/3609.90 c #Conflicts: 1042000 | #Constraints: 34091 3600.00/3609.90 c #Conflicts: 1043000 | #Constraints: 35691 3600.00/3609.90 c #Conflicts: 1044000 | #Constraints: 37182 3600.00/3609.90 c #Conflicts: 1045000 | #Constraints: 38839 3600.00/3609.90 c #Conflicts: 1046000 | #Constraints: 40308 3600.00/3609.90 c #Conflicts: 1047000 | #Constraints: 41833 3600.00/3609.90 c #Conflicts: 1048000 | #Constraints: 43491 3600.00/3609.90 c #Conflicts: 1049000 | #Constraints: 44965 3600.00/3609.90 c #Conflicts: 1050000 | #Constraints: 45975 3600.00/3609.90 c #Conflicts: 1051000 | #Constraints: 47463 3600.00/3609.90 c #Conflicts: 1052000 | #Constraints: 49107 3600.00/3609.90 c #Conflicts: 1053000 | #Constraints: 50759 3600.00/3609.90 c #Conflicts: 1054000 | #Constraints: 52432 3600.00/3609.90 c #Conflicts: 1055000 | #Constraints: 54084 3600.00/3609.90 c #Conflicts: 1056000 | #Constraints: 55681 3600.00/3609.90 c #Conflicts: 1057000 | #Constraints: 57315
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 (62934 MiB free)
memory of node 1: 64510 MiB (61451 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429455-1721048710/watcher-4429455-1721048710 -o /tmp/evaluation-result-4429455-1721048710/solver-4429455-1721048710 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721048723-801653 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429455-1721048710.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=801713, runsolver pid=801710
[startup+0.100175 s]*
/proc/loadavg: 1.89 3.38 3.84 5/257 801714
/proc/meminfo: memFree=127364728/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=37668 memory=8540 CPUtime=0.09 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 532 0 0 0 9 0 0 0 20 0 1 0 157035881 38572032 2135 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 9417 2135 1833 922 0 1369 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37668 KiB
Current children cumulated memory: 8540 KiB
[startup+0.204362 s]*
/proc/loadavg: 2.14 3.41 3.84 5/257 801714
/proc/meminfo: memFree=127358628/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=37800 memory=10912 CPUtime=0.2 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 615 0 0 0 19 1 0 0 20 0 1 0 157035881 38707200 2728 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 9450 2728 1849 922 0 1402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37800 KiB
Current children cumulated memory: 10912 KiB
[startup+0.304709 s]*
/proc/loadavg: 2.14 3.41 3.84 5/257 801714
/proc/meminfo: memFree=127357968/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=37932 memory=11172 CPUtime=0.29 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 651 0 0 0 28 1 0 0 20 0 1 0 157035881 38842368 2793 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 9483 2793 1849 922 0 1435 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 37932 KiB
Current children cumulated memory: 11172 KiB
[startup+0.700147 s]
/proc/loadavg: 2.14 3.41 3.84 5/257 801714
/proc/meminfo: memFree=127356176/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=38340 memory=11436 CPUtime=0.69 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 732 0 0 0 66 3 0 0 20 0 1 0 157035881 39260160 2859 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 9585 2859 1849 922 0 1537 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38340 KiB
Current children cumulated memory: 11436 KiB
[startup+1.50016 s]
/proc/loadavg: 2.14 3.41 3.84 5/257 801714
/proc/meminfo: memFree=127353876/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=38852 memory=12004 CPUtime=1.48 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 875 0 0 0 142 6 0 0 20 0 1 0 157035881 39784448 3001 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 9713 3001 1849 922 0 1665 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38852 KiB
Current children cumulated memory: 12004 KiB
[startup+3.10445 s]
/proc/loadavg: 2.14 3.41 3.84 5/257 801716
/proc/meminfo: memFree=127349836/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=39272 memory=12524 CPUtime=3.08 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 961 0 0 0 298 10 0 0 20 0 1 0 157035881 40214528 3131 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 9818 3131 1849 922 0 1770 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39272 KiB
Current children cumulated memory: 12524 KiB
[startup+6.30015 s]
/proc/loadavg: 2.37 3.44 3.85 5/257 801716
/proc/meminfo: memFree=127344016/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=39816 memory=13008 CPUtime=6.28 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 1082 0 0 0 608 20 0 0 20 0 1 0 157035881 40771584 3252 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 9954 3252 1849 922 0 1906 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 39816 KiB
Current children cumulated memory: 13008 KiB
[startup+12.7002 s]
/proc/loadavg: 2.50 3.45 3.85 5/257 801717
/proc/meminfo: memFree=127328500/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=40456 memory=13404 CPUtime=12.66 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 1224 0 0 0 1235 31 0 0 20 0 1 0 157035881 41426944 3351 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 10114 3351 1849 922 0 2066 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 40456 KiB
Current children cumulated memory: 13404 KiB
[startup+25.5002 s]
/proc/loadavg: 2.73 3.46 3.85 5/257 801719
/proc/meminfo: memFree=127314496/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=41416 memory=14820 CPUtime=25.43 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 1580 0 0 0 2495 48 0 0 20 0 1 0 157035881 42409984 3705 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 10354 3705 1849 922 0 2306 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 41416 KiB
Current children cumulated memory: 14820 KiB
[startup+51.1054 s]
/proc/loadavg: 3.37 3.55 3.87 5/257 801722
/proc/meminfo: memFree=127288396/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=47336 memory=19508 CPUtime=50.97 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 2661 0 0 0 5019 78 0 0 20 0 1 0 157035881 48472064 4877 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 11834 4877 1849 922 0 3786 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 47336 KiB
Current children cumulated memory: 19508 KiB
[startup+102.3 s]
/proc/loadavg: 3.79 3.64 3.88 5/257 801733
/proc/meminfo: memFree=127273044/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=49568 memory=23620 CPUtime=102.05 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 3613 0 0 0 10085 120 0 0 20 0 1 0 157035881 50757632 5905 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 12392 5905 1964 922 0 4344 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 49568 KiB
Current children cumulated memory: 23620 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 3.72 3.90 5/257 801744
/proc/meminfo: memFree=127263484/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=57512 memory=26952 CPUtime=161.9 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 4454 0 0 0 16032 158 0 0 20 0 1 0 157035881 58892288 6738 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 14378 6738 1980 922 0 6330 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 57512 KiB
Current children cumulated memory: 26952 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.81 3.92 5/257 801754
/proc/meminfo: memFree=127257200/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=58408 memory=28872 CPUtime=221.75 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 4981 0 0 0 21979 196 0 0 20 0 1 0 157035881 59809792 7218 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 14602 7218 1980 922 0 6554 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 58408 KiB
Current children cumulated memory: 28872 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.86 3.93 5/259 801768
/proc/meminfo: memFree=127233828/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=59564 memory=32484 CPUtime=281.6 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 5381 0 0 0 27935 225 0 0 20 0 1 0 157035881 60993536 8121 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 14891 8121 1980 922 0 6843 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 59564 KiB
Current children cumulated memory: 32484 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 3.89 3.94 5/257 801779
/proc/meminfo: memFree=127220076/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=59692 memory=33204 CPUtime=341.45 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 5447 0 0 0 33889 256 0 0 20 0 1 0 157035881 61124608 8301 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 14923 8301 1980 922 0 6875 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 59692 KiB
Current children cumulated memory: 33204 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.94 3.95 5/257 801789
/proc/meminfo: memFree=127215320/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=61200 memory=34296 CPUtime=401.29 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 5818 0 0 0 39847 282 0 0 20 0 1 0 157035881 62668800 8574 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 15300 8574 1980 922 0 7252 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 61200 KiB
Current children cumulated memory: 34296 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.00 3.97 5/256 801799
/proc/meminfo: memFree=127213676/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=62652 memory=34960 CPUtime=461.12 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 6162 0 0 0 45807 305 0 0 20 0 1 0 157035881 64155648 8740 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 15663 8740 1980 922 0 7615 0
################
# More data... #
################
Current children cumulated memory: 51940 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.07 5/258 802968
/proc/meminfo: memFree=127066508/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=78628 memory=51940 CPUtime=2914.35 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 9724 0 0 0 290355 1080 0 0 20 0 1 0 157035881 80515072 12985 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 19657 12985 1980 922 0 11609 0
Current children cumulated CPU time: 2914.35 s
Current children cumulated vsize: 78628 KiB
Current children cumulated memory: 51940 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.11 4.08 5/259 803362
/proc/meminfo: memFree=127064792/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=78496 memory=51812 CPUtime=2974.18 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 9745 0 0 0 296325 1093 0 0 20 0 1 0 157035881 80379904 12953 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 19624 12953 1980 922 0 11576 0
Current children cumulated CPU time: 2974.18 s
Current children cumulated vsize: 78496 KiB
Current children cumulated memory: 51812 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/257 803372
/proc/meminfo: memFree=127064404/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=79520 memory=52524 CPUtime=3034.01 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 9956 0 0 0 302297 1104 0 0 20 0 1 0 157035881 81428480 13131 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 19880 13131 1980 922 0 11832 0
Current children cumulated CPU time: 3034.01 s
Current children cumulated vsize: 79520 KiB
Current children cumulated memory: 52524 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.11 4.08 5/257 803382
/proc/meminfo: memFree=127064020/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=79520 memory=52524 CPUtime=3093.84 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 9987 0 0 0 308268 1116 0 0 20 0 1 0 157035881 81428480 13131 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 19880 13131 1980 922 0 11832 0
Current children cumulated CPU time: 3093.84 s
Current children cumulated vsize: 79520 KiB
Current children cumulated memory: 52524 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.08 5/259 803563
/proc/meminfo: memFree=127060372/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=79872 memory=53168 CPUtime=3153.67 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 10146 0 0 0 314238 1129 0 0 20 0 1 0 157035881 81788928 13292 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 19968 13292 1980 922 0 11920 0
Current children cumulated CPU time: 3153.67 s
Current children cumulated vsize: 79872 KiB
Current children cumulated memory: 53168 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/258 803573
/proc/meminfo: memFree=127060736/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=80128 memory=53212 CPUtime=3213.49 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 10237 0 0 0 320211 1138 0 0 20 0 1 0 157035881 82051072 13303 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 20032 13303 1980 922 0 11984 0
Current children cumulated CPU time: 3213.49 s
Current children cumulated vsize: 80128 KiB
Current children cumulated memory: 53212 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 803586
/proc/meminfo: memFree=127059628/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=81080 memory=53536 CPUtime=3273.32 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 10642 0 0 0 326184 1148 0 0 20 0 1 0 157035881 83025920 13384 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 20270 13384 1980 922 0 12222 0
Current children cumulated CPU time: 3273.32 s
Current children cumulated vsize: 81080 KiB
Current children cumulated memory: 53536 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 803608
/proc/meminfo: memFree=127059180/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=81080 memory=53536 CPUtime=3333.14 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 10661 0 0 0 332154 1160 0 0 20 0 1 0 157035881 83025920 13384 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 20270 13384 1980 922 0 12222 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 81080 KiB
Current children cumulated memory: 53536 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 803618
/proc/meminfo: memFree=127057772/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=81336 memory=53604 CPUtime=3392.97 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 10876 0 0 0 338125 1172 0 0 20 0 1 0 157035881 83288064 13401 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 20334 13401 1980 922 0 12286 0
Current children cumulated CPU time: 3392.97 s
Current children cumulated vsize: 81336 KiB
Current children cumulated memory: 53604 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 803628
/proc/meminfo: memFree=127057176/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=81336 memory=53604 CPUtime=3452.79 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 10893 0 0 0 344093 1186 0 0 20 0 1 0 157035881 83288064 13401 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 20334 13401 1980 922 0 12286 0
Current children cumulated CPU time: 3452.79 s
Current children cumulated vsize: 81336 KiB
Current children cumulated memory: 53604 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/255 803639
/proc/meminfo: memFree=127055100/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=81336 memory=54356 CPUtime=3512.61 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 10915 0 0 0 350066 1195 0 0 20 0 1 0 157035881 83288064 13589 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 20334 13589 1980 922 0 12286 0
Current children cumulated CPU time: 3512.61 s
Current children cumulated vsize: 81336 KiB
Current children cumulated memory: 54356 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 803650
/proc/meminfo: memFree=127054556/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=81336 memory=54628 CPUtime=3572.47 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 11115 0 0 0 356037 1210 0 0 20 0 1 0 157035881 83288064 13657 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 20334 13657 1980 922 0 12286 0
Current children cumulated CPU time: 3572.47 s
Current children cumulated vsize: 81336 KiB
Current children cumulated memory: 54628 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.06 4.09 4.09 5/250 803689
/proc/meminfo: memFree=127087688/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=81336 memory=54628 CPUtime=3600 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 11116 0 0 0 358785 1215 0 0 20 0 1 0 157035881 83288064 13657 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 20334 13657 1980 922 0 12286 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 81336 KiB
Current children cumulated memory: 54628 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.9 s]
# the end of solver process 801713 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3587.86 s, system=12.1567 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.06 4.09 4.09 5/250 803689
/proc/meminfo: memFree=127087688/131524600 swapFree=131071996/131071996
[pid=801713] ppid=801710 vsize=81336 memory=54628 CPUtime=3600 cores=5,7
/proc/801713/stat : 801713 (roundingsat) R 801710 801713 801640 0 -1 4194304 11116 0 0 0 358785 1215 0 0 20 0 1 0 157035881 83288064 13657 134679101440 4194304 7968869 140725203559152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 28790784 140725203563454 140725203563618 140725203563618 140725203570633 0
/proc/801713/statm: 20334 13657 1980 922 0 12286 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 81336 KiB
Current children cumulated memory: 54628 KiB
Child status: 1
Real time (s): 3609.9
CPU time (s): 3600.01
CPU user time (s): 3587.86
CPU system time (s): 12.1567
CPU usage (%): 99.7261
Max. virtual memory (cumulated for all children) (KiB): 81600
Max. memory (cumulated for all children) (KiB): 54732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.86
system time used= 12.1567
maximum resident set size= 54996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11124
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= 25
involuntary context switches= 1784
# summary of solver processes directly reported to runsolver:
# pid: 801713
# total CPU time (s): 3600.01
# total CPU user time (s): 3587.86
# total CPU system time (s): 12.1567
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82299 second user time and 17.2348 second system time
The end
Begin job on nodeC024 at 2024-07-15 15:05:23 IDJOB=4429455 IDBENCH=147580 IDSOLVER=3051 FILE ID=nodeC024/4429455-1721048710 RUNJOBID= nodeC024-1721048723-801653 SLURM_JOB_ID= 7505468 Free space on /tmp= 890068 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-4429455-1721048710/watcher-4429455-1721048710 -o /tmp/evaluation-result-4429455-1721048710/solver-4429455-1721048710 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721048723-801653 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429455-1721048710.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 31fd86554dd2fe3e1cfc98032a9196a9 RANDOM SEED=546050995 nodeC024.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 : 3623.335 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.60 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 : 3629.286 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 : 7007.08 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 : 3652.949 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.60 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 : 3659.258 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 : 7007.08 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 : 3615.362 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.60 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 : 3656.826 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 : 7007.08 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 : 3649.345 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.60 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 : 3655.261 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 : 7007.08 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127374872 kB MemAvailable: 129713544 kB Buffers: 358728 kB Cached: 2793132 kB SwapCached: 0 kB Active: 568436 kB Inactive: 2942288 kB Active(anon): 1448 kB Inactive(anon): 394812 kB Active(file): 566988 kB Inactive(file): 2547476 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 20632 kB Writeback: 0 kB AnonPages: 358564 kB Mapped: 103500 kB Shmem: 37720 kB KReclaimable: 127712 kB Slab: 235636 kB SReclaimable: 127712 kB SUnreclaim: 107924 kB KernelStack: 3920 kB PageTables: 9652 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 733592 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 59552 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 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: 221908 kB DirectMap2M: 19474432 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 890032 MiB End job on nodeC024 at 2024-07-15 16:05:33