| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.07 | 3609.02 |
| Name | PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx63.opb |
| MD5SUM | 7c2ff02722ff3a09887b085a032d3a00 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 71553.6 |
| 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 | 3216 |
| Total number of constraints | 3658 |
| Number of constraints which are clauses | 3210 |
| Number of constraints which are cardinality constraints (but not clauses) | 64 |
| Number of constraints which are nor clauses,nor cardinality constraints | 384 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 384 |
| Number of terms in the objective function | 6 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 6 |
| Number of bits of the sum of numbers in the objective function | 3 |
| Biggest number in a constraint | 42 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 786 |
| Number of bits of the biggest sum of numbers | 10 |
| 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.06 c #variables 3216 #constraints 3721 0.10/0.13 c bounds - >= 6 @ 0.044784 0.10/0.13 c rational objective 6 1.19/1.21 c #Conflicts: 1000 | #Constraints: 4725 1.19/1.21 c #Conflicts: 2000 | #Constraints: 5727 1.19/1.21 c INPROCESSING 1.19/1.21 c GARBAGE COLLECT 1.19/1.21 c rational objective 6 2.00/2.03 c #Conflicts: 3000 | #Constraints: 2532 2.00/2.03 c #Conflicts: 4000 | #Constraints: 3533 2.00/2.03 c INPROCESSING 2.00/2.03 c GARBAGE COLLECT 2.00/2.03 c rational objective 6 3.38/3.48 c #Conflicts: 5000 | #Constraints: 2951 3.38/3.48 c #Conflicts: 6000 | #Constraints: 3953 3.38/3.48 c INPROCESSING 3.38/3.48 c GARBAGE COLLECT 3.38/3.48 c rational objective 6 4.67/4.75 c #Conflicts: 7000 | #Constraints: 2954 4.67/4.75 c #Conflicts: 8000 | #Constraints: 3960 4.67/4.75 c #Conflicts: 9000 | #Constraints: 4963 4.67/4.75 c INPROCESSING 4.67/4.75 c GARBAGE COLLECT 4.67/4.75 c rational objective 6 5.99/6.04 c #Conflicts: 10000 | #Constraints: 3652 5.99/6.04 c #Conflicts: 11000 | #Constraints: 4655 5.99/6.04 c #Conflicts: 12000 | #Constraints: 5658 5.99/6.04 c INPROCESSING 5.99/6.04 c GARBAGE COLLECT 5.99/6.04 c rational objective 6 8.26/8.34 c #Conflicts: 13000 | #Constraints: 4107 8.26/8.34 c #Conflicts: 14000 | #Constraints: 5109 8.26/8.34 c #Conflicts: 15000 | #Constraints: 6112 8.26/8.34 c INPROCESSING 8.26/8.34 c GARBAGE COLLECT 8.26/8.34 c rational objective 6 10.16/10.28 c #Conflicts: 16000 | #Constraints: 4340 10.16/10.28 c #Conflicts: 17000 | #Constraints: 5347 10.16/10.28 c #Conflicts: 18000 | #Constraints: 6352 10.16/10.28 c INPROCESSING 10.16/10.28 c GARBAGE COLLECT 10.16/10.28 c rational objective 6 13.25/13.38 c #Conflicts: 19000 | #Constraints: 4362 13.25/13.38 c #Conflicts: 20000 | #Constraints: 5362 13.25/13.38 c #Conflicts: 21000 | #Constraints: 6364 13.25/13.38 c INPROCESSING 13.25/13.38 c GARBAGE COLLECT 13.25/13.38 c rational objective 6 15.54/15.62 c #Conflicts: 22000 | #Constraints: 4152 15.54/15.62 c #Conflicts: 23000 | #Constraints: 5154 15.54/15.62 c #Conflicts: 24000 | #Constraints: 6160 15.54/15.62 c #Conflicts: 25000 | #Constraints: 7161 15.54/15.62 c INPROCESSING 15.54/15.62 c GARBAGE COLLECT 15.54/15.62 c rational objective 6 19.34/19.48 c #Conflicts: 26000 | #Constraints: 4761 19.34/19.48 c #Conflicts: 27000 | #Constraints: 5772 19.34/19.48 c #Conflicts: 28000 | #Constraints: 6778 19.34/19.48 c #Conflicts: 29000 | #Constraints: 7788 19.34/19.48 c INPROCESSING 19.34/19.48 c GARBAGE COLLECT 19.34/19.48 c rational objective 6 23.62/23.73 c #Conflicts: 30000 | #Constraints: 5194 23.62/23.73 c #Conflicts: 31000 | #Constraints: 6201 23.62/23.73 c #Conflicts: 32000 | #Constraints: 7211 23.62/23.73 c #Conflicts: 33000 | #Constraints: 8220 23.62/23.73 c INPROCESSING 23.62/23.73 c GARBAGE COLLECT 23.62/23.73 c rational objective 6 32.91/33.05 c #Conflicts: 34000 | #Constraints: 5424 32.91/33.05 c #Conflicts: 35000 | #Constraints: 6438 32.91/33.05 c #Conflicts: 36000 | #Constraints: 7442 32.91/33.05 c #Conflicts: 37000 | #Constraints: 8451 32.91/33.05 c INPROCESSING 32.91/33.05 c GARBAGE COLLECT 32.91/33.05 c rational objective 6 46.47/46.69 c #Conflicts: 38000 | #Constraints: 5422 46.47/46.69 c #Conflicts: 39000 | #Constraints: 6425 46.47/46.69 c #Conflicts: 40000 | #Constraints: 7430 46.47/46.69 c #Conflicts: 41000 | #Constraints: 8432 46.47/46.69 c INPROCESSING 46.47/46.69 c GARBAGE COLLECT 46.47/46.69 c rational objective 6 51.05/51.23 c #Conflicts: 42000 | #Constraints: 5209 51.05/51.23 c #Conflicts: 43000 | #Constraints: 6213 51.05/51.23 c #Conflicts: 44000 | #Constraints: 7217 51.05/51.23 c #Conflicts: 45000 | #Constraints: 8222 51.05/51.23 c #Conflicts: 46000 | #Constraints: 9225 51.05/51.23 c INPROCESSING 51.05/51.23 c GARBAGE COLLECT 51.05/51.23 c rational objective 6 56.85/57.05 c #Conflicts: 47000 | #Constraints: 5803 56.85/57.05 c #Conflicts: 48000 | #Constraints: 6809 56.85/57.05 c #Conflicts: 49000 | #Constraints: 7813 56.85/57.05 c #Conflicts: 50000 | #Constraints: 8817 56.85/57.05 c #Conflicts: 51000 | #Constraints: 9820 56.85/57.05 c INPROCESSING 56.85/57.05 c GARBAGE COLLECT 56.85/57.05 c rational objective 6 61.53/61.77 c #Conflicts: 52000 | #Constraints: 6190 61.53/61.77 c #Conflicts: 53000 | #Constraints: 7196 61.53/61.77 c #Conflicts: 54000 | #Constraints: 8197 61.53/61.77 c #Conflicts: 55000 | #Constraints: 9200 61.53/61.77 c #Conflicts: 56000 | #Constraints: 10203 61.53/61.77 c INPROCESSING 61.53/61.77 c GARBAGE COLLECT 61.53/61.77 c rational objective 6 69.82/70.02 c #Conflicts: 57000 | #Constraints: 6390 69.82/70.02 c #Conflicts: 58000 | #Constraints: 7394 69.82/70.02 c #Conflicts: 59000 | #Constraints: 8396 69.82/70.02 c #Conflicts: 60000 | #Constraints: 9400 69.82/70.02 c #Conflicts: 61000 | #Constraints: 10403 69.82/70.02 c INPROCESSING 69.82/70.02 c GARBAGE COLLECT 69.82/70.02 c rational objective 6 74.91/75.12 c #Conflicts: 62000 | #Constraints: 6377 74.91/75.12 c #Conflicts: 63000 | #Constraints: 7380 74.91/75.12 c #Conflicts: 64000 | #Constraints: 8381 74.91/75.12 c #Conflicts: 65000 | #Constraints: 9383 74.91/75.12 c #Conflicts: 66000 | #Constraints: 10385 74.91/75.12 c INPROCESSING 74.91/75.12 c GARBAGE COLLECT 74.91/75.12 c rational objective 6 80.68/80.94 c #Conflicts: 67000 | #Constraints: 6168 80.68/80.94 c #Conflicts: 68000 | #Constraints: 7170 80.68/80.94 c #Conflicts: 69000 | #Constraints: 8173 80.68/80.94 c #Conflicts: 70000 | #Constraints: 9175 80.68/80.94 c #Conflicts: 71000 | #Constraints: 10177 80.68/80.94 c #Conflicts: 72000 | #Constraints: 11178 80.68/80.94 c INPROCESSING 80.68/80.94 c GARBAGE COLLECT 80.68/80.94 c rational objective 6 88.46/88.75 c #Conflicts: 73000 | #Constraints: 6776 88.46/88.75 c #Conflicts: 74000 | #Constraints: 7777 88.46/88.75 c #Conflicts: 75000 | #Constraints: 8783 88.46/88.75 c #Conflicts: 76000 | #Constraints: 9785 88.46/88.75 c #Conflicts: 77000 | #Constraints: 10788 88.46/88.75 c #Conflicts: 78000 | #Constraints: 11790 88.46/88.75 c INPROCESSING 88.46/88.75 c GARBAGE COLLECT 88.46/88.75 c rational objective 6 95.55/95.81 c #Conflicts: 79000 | #Constraints: 7161 95.55/95.81 c #Conflicts: 80000 | #Constraints: 8163 95.55/95.81 c #Conflicts: 81000 | #Constraints: 9164 95.55/95.81 c #Conflicts: 82000 | #Constraints: 10164 95.55/95.81 c #Conflicts: 83000 | #Constraints: 11172 95.55/95.81 c #Conflicts: 84000 | #Constraints: 12175 95.55/95.81 c INPROCESSING 95.55/95.81 c GARBAGE COLLECT 95.55/95.81 c rational objective 6 103.43/103.75 c #Conflicts: 85000 | #Constraints: 7358 103.43/103.75 c #Conflicts: 86000 | #Constraints: 8359 103.43/103.75 c #Conflicts: 87000 | #Constraints: 9361 103.43/103.75 c #Conflicts: 88000 | #Constraints: 10362 103.43/103.75 c #Conflicts: 89000 | #Constraints: 11365 103.43/103.75 c #Conflicts: 90000 | #Constraints: 12367 103.43/103.75 c INPROCESSING 103.43/103.75 c GARBAGE COLLECT 103.43/103.75 c rational objective 6 122.17/122.59 c #Conflicts: 91000 | #Constraints: 7370 122.17/122.59 c #Conflicts: 92000 | #Constraints: 8375 122.17/122.59 c #Conflicts: 93000 | #Constraints: 9382 122.17/122.59 c #Conflicts: 94000 | #Constraints: 10391 122.17/122.59 c #Conflicts: 95000 | #Constraints: 11398 122.17/122.59 c #Conflicts: 96000 | #Constraints: 12404 122.17/122.59 c INPROCESSING 122.17/122.59 c GARBAGE COLLECT 122.17/122.59 c rational objective 6 138.34/138.70 c #Conflicts: 97000 | #Constraints: 7198 138.34/138.70 c #Conflicts: 98000 | #Constraints: 8199 138.34/138.70 c #Conflicts: 99000 | #Constraints: 9203 138.34/138.70 c #Conflicts: 100000 | #Constraints: 10211 138.34/138.70 c #Conflicts: 101000 | #Constraints: 11214 138.34/138.70 c #Conflicts: 102000 | #Constraints: 12216 138.34/138.70 c #Conflicts: 103000 | #Constraints: 13221 138.34/138.70 c INPROCESSING 138.34/138.70 c GARBAGE COLLECT 138.34/138.70 c rational objective 6 147.51/147.94 c #Conflicts: 104000 | #Constraints: 7795 147.51/147.94 c #Conflicts: 105000 | #Constraints: 8798 147.51/147.94 c #Conflicts: 106000 | #Constraints: 9801 147.51/147.94 c #Conflicts: 107000 | #Constraints: 10804 147.51/147.94 c #Conflicts: 108000 | #Constraints: 11807 147.51/147.94 c #Conflicts: 109000 | #Constraints: 12810 147.51/147.94 c #Conflicts: 110000 | #Constraints: 13814 147.51/147.94 c INPROCESSING 147.51/147.94 c GARBAGE COLLECT 147.51/147.94 c rational objective 6 153.72/154.14 c #Conflicts: 111000 | #Constraints: 8181 153.72/154.14 c #Conflicts: 112000 | #Constraints: 9184 153.72/154.14 c #Conflicts: 113000 | #Constraints: 10187 153.72/154.14 c #Conflicts: 114000 | #Constraints: 11190 153.72/154.14 c #Conflicts: 115000 | #Constraints: 12191 153.72/154.14 c #Conflicts: 116000 | #Constraints: 13191 153.72/154.14 c #Conflicts: 117000 | #Constraints: 14194 153.72/154.14 c INPROCESSING 153.72/154.14 c GARBAGE COLLECT 153.72/154.14 c rational objective 6 161.88/162.30 c #Conflicts: 118000 | #Constraints: 8376 161.88/162.30 c #Conflicts: 119000 | #Constraints: 9379 161.88/162.30 c #Conflicts: 120000 | #Constraints: 10382 161.88/162.30 c #Conflicts: 121000 | #Constraints: 11385 161.88/162.30 c #Conflicts: 122000 | #Constraints: 12387 161.88/162.30 c #Conflicts: 123000 | #Constraints: 13389 161.88/162.30 c #Conflicts: 124000 | #Constraints: 14391 161.88/162.30 c INPROCESSING 161.88/162.30 c GARBAGE COLLECT 161.88/162.30 c rational objective 6 171.67/172.15 c #Conflicts: 125000 | #Constraints: 8366 171.67/172.15 c #Conflicts: 126000 | #Constraints: 9368 171.67/172.15 c #Conflicts: 127000 | #Constraints: 10371 171.67/172.15 c #Conflicts: 128000 | #Constraints: 11375 171.67/172.15 c #Conflicts: 129000 | #Constraints: 12378 171.67/172.15 c #Conflicts: 130000 | #Constraints: 13381 171.67/172.15 c #Conflicts: 131000 | #Constraints: 14382 171.67/172.15 c INPROCESSING 171.67/172.15 c GARBAGE COLLECT 171.67/172.15 c rational objective 6 182.73/183.25 c #Conflicts: 132000 | #Constraints: 8167 182.73/183.25 c #Conflicts: 133000 | #Constraints: 9167 182.73/183.25 c #Conflicts: 134000 | #Constraints: 10171 182.73/183.25 c #Conflicts: 135000 | #Constraints: 11173 182.73/183.25 c #Conflicts: 136000 | #Constraints: 12176 182.73/183.25 c #Conflicts: 137000 | #Constraints: 13180 182.73/183.25 c #Conflicts: 138000 | #Constraints: 14181 182.73/183.25 c #Conflicts: 139000 | #Constraints: 15186 182.73/183.25 c INPROCESSING 182.73/183.25 c GARBAGE COLLECT 182.73/183.25 c rational objective 6 191.71/192.22 c #Conflicts: 140000 | #Constraints: 8771 191.71/192.22 c #Conflicts: 141000 | #Constraints: 9774 191.71/192.22 c #Conflicts: 142000 | #Constraints: 10777 191.71/192.22 c #Conflicts: 143000 | #Constraints: 11779 191.71/192.22 c #Conflicts: 144000 | #Constraints: 12780 191.71/192.22 c #Conflicts: 145000 | #Constraints: 13785 191.71/192.22 c #Conflicts: 146000 | #Constraints: 14789 191.71/192.22 c #Conflicts: 147000 | #Constraints: 15792 191.71/192.22 c INPROCESSING 191.71/192.22 c GARBAGE COLLECT 191.71/192.22 c rational objective 6 204.58/205.12 c #Conflicts: 148000 | #Constraints: 9216 204.58/205.12 c #Conflicts: 149000 | #Constraints: 10221 204.58/205.12 c #Conflicts: 150000 | #Constraints: 11224 204.58/205.12 c #Conflicts: 151000 | #Constraints: 12227 204.58/205.12 c #Conflicts: 152000 | #Constraints: 13230 204.58/205.12 c #Conflicts: 153000 | #Constraints: 14233 204.58/205.12 c #Conflicts: 154000 | #Constraints: 15235 204.58/205.12 c #Conflicts: 155000 | #Constraints: 16237 204.58/205.12 c INPROCESSING 204.58/205.12 c GARBAGE COLLECT 204.58/205.12 c rational objective 6 215.25/215.82 c #Conflicts: 156000 | #Constraints: 9414 215.25/215.82 c #Conflicts: 157000 | #Constraints: 10415 215.25/215.82 c #Conflicts: 158000 | #Constraints: 11419 215.25/215.82 c #Conflicts: 159000 | #Constraints: 12421 215.25/215.82 c #Conflicts: 160000 | #Constraints: 13426 215.25/215.82 c #Conflicts: 161000 | #Constraints: 14428 215.25/215.82 c #Conflicts: 162000 | #Constraints: 15431 215.25/215.82 c #Conflicts: 163000 | #Constraints: 16436 215.25/215.82 c INPROCESSING 215.25/215.82 c GARBAGE COLLECT 215.25/215.82 c rational objective 6 223.63/224.28 c #Conflicts: 164000 | #Constraints: 9393 223.63/224.28 c #Conflicts: 165000 | #Constraints: 10395 223.63/224.28 c #Conflicts: 166000 | #Constraints: 11398 223.63/224.28 c #Conflicts: 167000 | #Constraints: 12401 223.63/224.28 c #Conflicts: 168000 | #Constraints: 13402 223.63/224.28 c #Conflicts: 169000 | #Constraints: 14405 223.63/224.28 c #Conflicts: 170000 | #Constraints: 15408 223.63/224.28 c #Conflicts: 171000 | #Constraints: 16410 223.63/224.28 c INPROCESSING 223.63/224.28 c GARBAGE COLLECT 223.63/224.28 c rational objective 6 235.80/236.46 c #Conflicts: 172000 | #Constraints: 9182 235.80/236.46 c #Conflicts: 173000 | #Constraints: 10186 235.80/236.46 c #Conflicts: 174000 | #Constraints: 11190 235.80/236.46 c #Conflicts: 175000 | #Constraints: 12191 235.80/236.46 c #Conflicts: 176000 | #Constraints: 13193 235.80/236.46 c #Conflicts: 177000 | #Constraints: 14195 235.80/236.46 c #Conflicts: 178000 | #Constraints: 15199 235.80/236.46 c #Conflicts: 179000 | #Constraints: 16200 235.80/236.46 c #Conflicts: 180000 | #Constraints: 17202 235.80/236.46 c INPROCESSING 235.80/236.46 c GARBAGE COLLECT 235.80/236.46 c rational objective 6 245.26/245.96 c #Conflicts: 181000 | #Constraints: 9783 245.26/245.96 c #Conflicts: 182000 | #Constraints: 10786 245.26/245.96 c #Conflicts: 183000 | #Constraints: 11790 245.26/245.96 c #Conflicts: 184000 | #Constraints: 12792 245.26/245.96 c #Conflicts: 185000 | #Constraints: 13792 245.26/245.96 c #Conflicts: 186000 | #Constraints: 14795 245.26/245.96 c #Conflicts: 187000 | #Constraints: 15797 245.26/245.96 c #Conflicts: 188000 | #Constraints: 16798 245.26/245.96 c #Conflicts: 189000 | #Constraints: 17801 245.26/245.96 c INPROCESSING 245.26/245.96 c GARBAGE COLLECT 245.26/245.96 c rational objective 6 256.54/257.26 c #Conflicts: 190000 | #Constraints: 10196 256.54/257.26 c #Conflicts: 191000 | #Constraints: 11199 256.54/257.26 c #Conflicts: 192000 | #Constraints: 12201 256.54/257.26 c #Conflicts: 193000 | #Constraints: 13205 256.54/257.26 c #Conflicts: 194000 | #Constraints: 14206 256.54/257.26 c #Conflicts: 195000 | #Constraints: 15208 256.54/257.26 c #Conflicts: 196000 | #Constraints: 16211 256.54/257.26 c #Conflicts: 197000 | #Constraints: 17212 256.54/257.26 c #Conflicts: 198000 | #Constraints: 18216 256.54/257.26 c INPROCESSING 256.54/257.26 c GARBAGE COLLECT 256.54/257.26 c rational objective 6 269.51/270.28 c #Conflicts: 199000 | #Constraints: 10395 269.51/270.28 c #Conflicts: 200000 | #Constraints: 11397 269.51/270.28 c #Conflicts: 201000 | #Constraints: 12400 269.51/270.28 c #Conflicts: 202000 | #Constraints: 13404 269.51/270.28 c #Conflicts: 203000 | #Constraints: 14407 269.51/270.28 c #Conflicts: 204000 | #Constraints: 15410 269.51/270.28 c #Conflicts: 205000 | #Constraints: 16412 269.51/270.28 c #Conflicts: 206000 | #Constraints: 17415 269.51/270.28 c #Conflicts: 207000 | #Constraints: 18420 269.51/270.28 c INPROCESSING 269.51/270.28 c GARBAGE COLLECT 269.51/270.28 c rational objective 6 282.29/283.08 c #Conflicts: 208000 | #Constraints: 10393 282.29/283.08 c #Conflicts: 209000 | #Constraints: 11413 282.29/283.08 c #Conflicts: 210000 | #Constraints: 12426 282.29/283.08 c #Conflicts: 211000 | #Constraints: 13430 282.29/283.08 c #Conflicts: 212000 | #Constraints: 14436 282.29/283.08 c #Conflicts: 213000 | #Constraints: 15439 282.29/283.08 c #Conflicts: 214000 | #Constraints: 16443 282.29/283.08 c #Conflicts: 215000 | #Constraints: 17447 282.29/283.08 c #Conflicts: 216000 | #Constraints: 18455 282.29/283.08 c INPROCESSING 282.29/283.08 c GARBAGE COLLECT 282.29/283.08 c rational objective 6 295.75/296.51 c #Conflicts: 217000 | #Constraints: 10206 295.75/296.51 c #Conflicts: 218000 | #Constraints: 11211 295.75/296.51 c #Conflicts: 219000 | #Constraints: 12212 295.75/296.51 c #Conflicts: 220000 | #Constraints: 13215 295.75/296.51 c #Conflicts: 221000 | #Constraints: 14219 295.75/296.51 c #Conflicts: 222000 | #Constraints: 15222 295.75/296.51 c #Conflicts: 223000 | #Constraints: 16227 295.75/296.51 c #Conflicts: 224000 | #Constraints: 17234 295.75/296.51 c #Conflicts: 225000 | #Constraints: 18241 295.75/296.51 c #Conflicts: 226000 | #Constraints: 19243 295.75/296.51 c INPROCESSING 295.75/296.51 c GARBAGE COLLECT 295.75/296.51 c rational objective 6 320.58/321.49 c #Conflicts: 227000 | #Constraints: 10831 320.58/321.49 c #Conflicts: 228000 | #Constraints: 11836 320.58/321.49 c #Conflicts: 229000 | #Constraints: 12838 320.58/321.49 c #Conflicts: 230000 | #Constraints: 13842 320.58/321.49 c #Conflicts: 231000 | #Constraints: 14845 320.58/321.49 c #Conflicts: 232000 | #Constraints: 15850 320.58/321.49 c #Conflicts: 233000 | #Constraints: 16856 320.58/321.49 c #Conflicts: 234000 | #Constraints: 17860 320.58/321.49 c #Conflicts: 235000 | #Constraints: 18862 320.58/321.49 c #Conflicts: 236000 | #Constraints: 19863 320.58/321.49 c INPROCESSING 320.58/321.49 c GARBAGE COLLECT 320.58/321.49 c rational objective 6 337.54/338.48 c #Conflicts: 237000 | #Constraints: 11218 337.54/338.48 c #Conflicts: 238000 | #Constraints: 12219 337.54/338.48 c #Conflicts: 239000 | #Constraints: 13317 337.54/338.48 c #Conflicts: 240000 | #Constraints: 14317 337.54/338.48 c #Conflicts: 241000 | #Constraints: 15517 337.54/338.48 c #Conflicts: 242000 | #Constraints: 16521 337.54/338.48 c #Conflicts: 243000 | #Constraints: 17523 337.54/338.48 c #Conflicts: 244000 | #Constraints: 18526 337.54/338.48 c #Conflicts: 245000 | #Constraints: 19531 337.54/338.48 c #Conflicts: 246000 | #Constraints: 20537 337.54/338.48 c INPROCESSING 337.54/338.48 c GARBAGE COLLECT 337.54/338.48 c rational objective 6 358.79/359.79 c #Conflicts: 247000 | #Constraints: 11575 358.79/359.79 c #Conflicts: 248000 | #Constraints: 12581 358.79/359.79 c #Conflicts: 249000 | #Constraints: 13585 358.79/359.79 c #Conflicts: 250000 | #Constraints: 14589 358.79/359.79 c #Conflicts: 251000 | #Constraints: 15591 358.79/359.79 c #Conflicts: 252000 | #Constraints: 16591 358.79/359.79 c #Conflicts: 253000 | #Constraints: 17595 358.79/359.79 c #Conflicts: 254000 | #Constraints: 18596 358.79/359.79 c #Conflicts: 255000 | #Constraints: 19598 358.79/359.79 c #Conflicts: 256000 | #Constraints: 20600 358.79/359.79 c INPROCESSING 358.79/359.79 c GARBAGE COLLECT 358.79/359.79 c rational objective 6 379.74/380.74 c #Conflicts: 257000 | #Constraints: 11478 379.74/380.74 c #Conflicts: 258000 | #Constraints: 12480 379.74/380.74 c #Conflicts: 259000 | #Constraints: 13483 379.74/380.74 c #Conflicts: 260000 | #Constraints: 14484 379.74/380.74 c #Conflicts: 261000 | #Constraints: 15485 379.74/380.74 c #Conflicts: 262000 | #Constraints: 16486 379.74/380.74 c #Conflicts: 263000 | #Constraints: 17488 379.74/380.74 c #Conflicts: 264000 | #Constraints: 18488 379.74/380.74 c #Conflicts: 265000 | #Constraints: 19490 379.74/380.74 c #Conflicts: 266000 | #Constraints: 20494 379.74/380.74 c INPROCESSING 379.74/380.74 c GARBAGE COLLECT 379.74/380.74 c rational objective 6 399.01/400.06 c #Conflicts: 267000 | #Constraints: 11228 399.01/400.06 c #Conflicts: 268000 | #Constraints: 12228 399.01/400.06 c #Conflicts: 269000 | #Constraints: 13228 399.01/400.06 c #Conflicts: 270000 | #Constraints: 14228 399.01/400.06 c #Conflicts: 271000 | #Constraints: 15228 399.01/400.06 c #Conflicts: 272000 | #Constraints: 16229 399.01/400.06 c #Conflicts: 273000 | #Constraints: 17234 399.01/400.06 c #Conflicts: 274000 | #Constraints: 18237 399.01/400.06 c #Conflicts: 275000 | #Constraints: 19241 399.01/400.06 c #Conflicts: 276000 | #Constraints: 20244 399.01/400.06 c #Conflicts: 277000 | #Constraints: 21248 399.01/400.06 c INPROCESSING 399.01/400.06 c GARBAGE COLLECT 399.01/400.06 c rational objective 6 420.74/421.81 c #Conflicts: 278000 | #Constraints: 11797 420.74/421.81 c #Conflicts: 279000 | #Constraints: 12803 420.74/421.81 c #Conflicts: 280000 | #Constraints: 13807 420.74/421.81 c #Conflicts: 281000 | #Constraints: 14809 420.74/421.81 c #Conflicts: 282000 | #Constraints: 15811 420.74/421.81 c #Conflicts: 283000 | #Constraints: 16814 420.74/421.81 c #Conflicts: 284000 | #Constraints: 17816 420.74/421.81 c #Conflicts: 285000 | #Constraints: 18819 420.74/421.81 c #Conflicts: 286000 | #Constraints: 19821 420.74/421.81 c #Conflicts: 287000 | #Constraints: 20822 420.74/421.81 c #Conflicts: 288000 | #Constraints: 21824 420.74/421.81 c INPROCESSING 420.74/421.81 c GARBAGE COLLECT 420.74/421.81 c rational objective 6 435.10/436.29 c #Conflicts: 289000 | #Constraints: 12186 435.10/436.29 c #Conflicts: 290000 | #Constraints: 13189 435.10/436.29 c #Conflicts: 291000 | #Constraints: 14192 435.10/436.29 c #Conflicts: 292000 | #Constraints: 15196 435.10/436.29 c #Conflicts: 293000 | #Constraints: 16201 435.10/436.29 c #Conflicts: 294000 | #Constraints: 17207 435.10/436.29 c #Conflicts: 295000 | #Constraints: 18210 435.10/436.29 c #Conflicts: 296000 | #Constraints: 19210 435.10/436.29 c #Conflicts: 297000 | #Constraints: 20211 435.10/436.29 c #Conflicts: 298000 | #Constraints: 21212 435.10/436.29 c #Conflicts: 299000 | #Constraints: 22214 435.10/436.29 c INPROCESSING 435.10/436.29 c GARBAGE COLLECT 435.10/436.29 c rational objective 6 456.14/457.39 c #Conflicts: 300000 | #Constraints: 12398 456.14/457.39 c #Conflicts: 301000 | #Constraints: 13398 456.14/457.39 c #Conflicts: 302000 | #Constraints: 14400 456.14/457.39 c #Conflicts: 303000 | #Constraints: 15401 456.14/457.39 c #Conflicts: 304000 | #Constraints: 16403 456.14/457.39 c #Conflicts: 305000 | #Constraints: 17405 456.14/457.39 c #Conflicts: 306000 | #Constraints: 18410 456.14/457.39 c #Conflicts: 307000 | #Constraints: 19411 456.14/457.39 c #Conflicts: 308000 | #Constraints: 20414 456.14/457.39 c #Conflicts: 309000 | #Constraints: 21419 456.14/457.39 c #Conflicts: 310000 | #Constraints: 22427 456.14/457.39 c INPROCESSING 456.14/457.39 c GARBAGE COLLECT 456.14/457.39 c rational objective 6 486.67/487.90 c #Conflicts: 311000 | #Constraints: 12417 486.67/487.90 c #Conflicts: 312000 | #Constraints: 13419 486.67/487.90 c #Conflicts: 313000 | #Constraints: 14420 486.67/487.90 c #Conflicts: 314000 | #Constraints: 15424 486.67/487.90 c #Conflicts: 315000 | #Constraints: 16430 486.67/487.90 c #Conflicts: 316000 | #Constraints: 17431 486.67/487.90 c #Conflicts: 317000 | #Constraints: 18432 486.67/487.90 c #Conflicts: 318000 | #Constraints: 19434 486.67/487.90 c #Conflicts: 319000 | #Constraints: 20436 486.67/487.90 c #Conflicts: 320000 | #Constraints: 21440 486.67/487.90 c #Conflicts: 321000 | #Constraints: 22443 486.67/487.90 c INPROCESSING 486.67/487.90 c GARBAGE COLLECT 486.67/487.90 c rational objective 6 557.69/559.17 c #Conflicts: 322000 | #Constraints: 12225 557.69/559.17 c #Conflicts: 323000 | #Constraints: 13228 557.69/559.17 c #Conflicts: 324000 | #Constraints: 14229 557.69/559.17 c #Conflicts: 325000 | #Constraints: 15230 557.69/559.17 c #Conflicts: 326000 | #Constraints: 16232 557.69/559.17 c #Conflicts: 327000 | #Constraints: 17233 557.69/559.17 c #Conflicts: 328000 | #Constraints: 18233 557.69/559.17 c #Conflicts: 329000 | #Constraints: 19234 557.69/559.17 c #Conflicts: 330000 | #Constraints: 20234 557.69/559.17 c #Conflicts: 331000 | #Constraints: 21237 557.69/559.17 c #Conflicts: 332000 | #Constraints: 22237 557.69/559.17 c #Conflicts: 333000 | #Constraints: 23240 557.69/559.17 c INPROCESSING 557.69/559.17 c GARBAGE COLLECT 557.69/559.17 c rational objective 6 575.73/577.24 c #Conflicts: 334000 | #Constraints: 12819 575.73/577.24 c #Conflicts: 335000 | #Constraints: 13820 575.73/577.24 c #Conflicts: 336000 | #Constraints: 14821 575.73/577.24 c #Conflicts: 337000 | #Constraints: 15824 575.73/577.24 c #Conflicts: 338000 | #Constraints: 16826 575.73/577.24 c #Conflicts: 339000 | #Constraints: 17827 575.73/577.24 c #Conflicts: 340000 | #Constraints: 18832 575.73/577.24 c #Conflicts: 341000 | #Constraints: 19835 575.73/577.24 c #Conflicts: 342000 | #Constraints: 20836 575.73/577.24 c #Conflicts: 343000 | #Constraints: 21838 575.73/577.24 c #Conflicts: 344000 | #Constraints: 22841 575.73/577.24 c #Conflicts: 345000 | #Constraints: 23845 575.73/577.24 c INPROCESSING 575.73/577.24 c GARBAGE COLLECT 575.73/577.24 c rational objective 6 596.68/598.21 c #Conflicts: 346000 | #Constraints: 13212 596.68/598.21 c #Conflicts: 347000 | #Constraints: 14214 596.68/598.21 c #Conflicts: 348000 | #Constraints: 15218 596.68/598.21 c #Conflicts: 349000 | #Constraints: 16231 596.68/598.21 c #Conflicts: 350000 | #Constraints: 17239 596.68/598.21 c #Conflicts: 351000 | #Constraints: 18240 596.68/598.21 c #Conflicts: 352000 | #Constraints: 19242 596.68/598.21 c #Conflicts: 353000 | #Constraints: 20244 596.68/598.21 c #Conflicts: 354000 | #Constraints: 21247 596.68/598.21 c #Conflicts: 355000 | #Constraints: 22248 596.68/598.21 c #Conflicts: 356000 | #Constraints: 23251 596.68/598.21 c #Conflicts: 357000 | #Constraints: 24253 596.68/598.21 c INPROCESSING 596.68/598.21 c GARBAGE COLLECT 596.68/598.21 c rational objective 6 624.60/626.26 c #Conflicts: 358000 | #Constraints: 13405 624.60/626.26 c #Conflicts: 359000 | #Constraints: 14409 624.60/626.26 c #Conflicts: 360000 | #Constraints: 15410 624.60/626.26 c #Conflicts: 361000 | #Constraints: 16412 624.60/626.26 c #Conflicts: 362000 | #Constraints: 17415 624.60/626.26 c #Conflicts: 363000 | #Constraints: 18418 624.60/626.26 c #Conflicts: 364000 | #Constraints: 19418 624.60/626.26 c #Conflicts: 365000 | #Constraints: 20419 624.60/626.26 c #Conflicts: 366000 | #Constraints: 21422 624.60/626.26 c #Conflicts: 367000 | #Constraints: 22426 624.60/626.26 c #Conflicts: 368000 | #Constraints: 23429 624.60/626.26 c #Conflicts: 369000 | #Constraints: 24434 624.60/626.26 c INPROCESSING 624.60/626.26 c GARBAGE COLLECT 624.60/626.26 c rational objective 6 672.07/673.82 c #Conflicts: 370000 | #Constraints: 13391 672.07/673.82 c #Conflicts: 371000 | #Constraints: 14396 672.07/673.82 c #Conflicts: 372000 | #Constraints: 16170 672.07/673.82 c #Conflicts: 373000 | #Constraints: 18072 672.07/673.82 c #Conflicts: 374000 | #Constraints: 19886 672.07/673.82 c #Conflicts: 375000 | #Constraints: 21718 672.07/673.82 c #Conflicts: 376000 | #Constraints: 23527 672.07/673.82 c #Conflicts: 377000 | #Constraints: 25421 672.07/673.82 c #Conflicts: 378000 | #Constraints: 27275 672.07/673.82 c #Conflicts: 379000 | #Constraints: 28449 672.07/673.82 c #Conflicts: 380000 | #Constraints: 29763 672.07/673.82 c #Conflicts: 381000 | #Constraints: 30898 672.07/673.82 c INPROCESSING 672.07/673.82 c GARBAGE COLLECT 672.07/673.82 c rational objective 6 708.78/710.64 c #Conflicts: 382000 | #Constraints: 16422 708.78/710.64 c #Conflicts: 383000 | #Constraints: 17423 708.78/710.64 c #Conflicts: 384000 | #Constraints: 18427 708.78/710.64 c #Conflicts: 385000 | #Constraints: 19432 708.78/710.64 c #Conflicts: 386000 | #Constraints: 20433 708.78/710.64 c #Conflicts: 387000 | #Constraints: 21436 708.78/710.64 c #Conflicts: 388000 | #Constraints: 22437 708.78/710.64 c #Conflicts: 389000 | #Constraints: 23441 708.78/710.64 c #Conflicts: 390000 | #Constraints: 24444 708.78/710.64 c #Conflicts: 391000 | #Constraints: 25446 708.78/710.64 c #Conflicts: 392000 | #Constraints: 26449 708.78/710.64 c #Conflicts: 393000 | #Constraints: 27451 708.78/710.64 c #Conflicts: 394000 | #Constraints: 28453 708.78/710.64 c INPROCESSING 708.78/710.64 c GARBAGE COLLECT 708.78/710.64 c rational objective 6 740.89/742.87 c #Conflicts: 395000 | #Constraints: 15436 740.89/742.87 c #Conflicts: 396000 | #Constraints: 16441 740.89/742.87 c #Conflicts: 397000 | #Constraints: 17443 740.89/742.87 c #Conflicts: 398000 | #Constraints: 18446 740.89/742.87 c #Conflicts: 399000 | #Constraints: 19446 740.89/742.87 c #Conflicts: 400000 | #Constraints: 20452 740.89/742.87 c #Conflicts: 401000 | #Constraints: 21452 740.89/742.87 c #Conflicts: 402000 | #Constraints: 22454 740.89/742.87 c #Conflicts: 403000 | #Constraints: 23456 740.89/742.87 c #Conflicts: 404000 | #Constraints: 24458 740.89/742.87 c #Conflicts: 405000 | #Constraints: 25462 740.89/742.87 c #Conflicts: 406000 | #Constraints: 26465 740.89/742.87 c #Conflicts: 407000 | #Constraints: 27466 740.89/742.87 c INPROCESSING 740.89/742.87 c GARBAGE COLLECT 740.89/742.87 c rational objective 6 784.88/786.95 c #Conflicts: 408000 | #Constraints: 15007 784.88/786.95 c #Conflicts: 409000 | #Constraints: 16012 784.88/786.95 c #Conflicts: 410000 | #Constraints: 17013 784.88/786.95 c #Conflicts: 411000 | #Constraints: 18016 784.88/786.95 c #Conflicts: 412000 | #Constraints: 19019 784.88/786.95 c #Conflicts: 413000 | #Constraints: 20019 784.88/786.95 c #Conflicts: 414000 | #Constraints: 21022 784.88/786.95 c #Conflicts: 415000 | #Constraints: 22025 784.88/786.95 c #Conflicts: 416000 | #Constraints: 23029 784.88/786.95 c #Conflicts: 417000 | #Constraints: 24032 784.88/786.95 c #Conflicts: 418000 | #Constraints: 25034 784.88/786.95 c #Conflicts: 419000 | #Constraints: 26039 784.88/786.95 c #Conflicts: 420000 | #Constraints: 27042 784.88/786.95 c INPROCESSING 784.88/786.95 c GARBAGE COLLECT 784.88/786.95 c rational objective 6 832.43/834.64 c #Conflicts: 421000 | #Constraints: 14808 832.43/834.64 c #Conflicts: 422000 | #Constraints: 15837 832.43/834.64 c #Conflicts: 423000 | #Constraints: 17114 832.43/834.64 c #Conflicts: 424000 | #Constraints: 18135 832.43/834.64 c #Conflicts: 425000 | #Constraints: 19225 832.43/834.64 c #Conflicts: 426000 | #Constraints: 20249 832.43/834.64 c #Conflicts: 427000 | #Constraints: 21260 832.43/834.64 c #Conflicts: 428000 | #Constraints: 22310 832.43/834.64 c #Conflicts: 429000 | #Constraints: 23451 832.43/834.64 c #Conflicts: 430000 | #Constraints: 24756 832.43/834.64 c #Conflicts: 431000 | #Constraints: 25823 832.43/834.64 c #Conflicts: 432000 | #Constraints: 26869 832.43/834.64 c #Conflicts: 433000 | #Constraints: 27913 832.43/834.64 c INPROCESSING 832.43/834.64 c GARBAGE COLLECT 832.43/834.64 c rational objective 6 879.71/882.03 c #Conflicts: 434000 | #Constraints: 15204 879.71/882.03 c #Conflicts: 435000 | #Constraints: 16205 879.71/882.03 c #Conflicts: 436000 | #Constraints: 17210 879.71/882.03 c #Conflicts: 437000 | #Constraints: 18213 879.71/882.03 c #Conflicts: 438000 | #Constraints: 19499 879.71/882.03 c #Conflicts: 439000 | #Constraints: 20635 879.71/882.03 c #Conflicts: 440000 | #Constraints: 22059 879.71/882.03 c #Conflicts: 441000 | #Constraints: 23424 879.71/882.03 c #Conflicts: 442000 | #Constraints: 24653 879.71/882.03 c #Conflicts: 443000 | #Constraints: 25702 879.71/882.03 c #Conflicts: 444000 | #Constraints: 26762 879.71/882.03 c #Conflicts: 445000 | #Constraints: 27970 879.71/882.03 c #Conflicts: 446000 | #Constraints: 28972 879.71/882.03 c INPROCESSING 879.71/882.03 c GARBAGE COLLECT 879.71/882.03 c rational objective 6 910.62/913.06 c #Conflicts: 447000 | #Constraints: 15623 910.62/913.06 c #Conflicts: 448000 | #Constraints: 16623 910.62/913.06 c #Conflicts: 449000 | #Constraints: 17624 910.62/913.06 c #Conflicts: 450000 | #Constraints: 18628 910.62/913.06 c #Conflicts: 451000 | #Constraints: 19637 910.62/913.06 c #Conflicts: 452000 | #Constraints: 20641 910.62/913.06 c #Conflicts: 453000 | #Constraints: 21648 910.62/913.06 c #Conflicts: 454000 | #Constraints: 22651 910.62/913.06 c #Conflicts: 455000 | #Constraints: 23653 910.62/913.06 c #Conflicts: 456000 | #Constraints: 24658 910.62/913.06 c #Conflicts: 457000 | #Constraints: 25661 910.62/913.06 c #Conflicts: 458000 | #Constraints: 26663 910.62/913.06 c #Conflicts: 459000 | #Constraints: 27666 910.62/913.06 c #Conflicts: 460000 | #Constraints: 28671 910.62/913.06 c INPROCESSING 910.62/913.06 c GARBAGE COLLECT 910.62/913.06 c rational objective 6 990.59/993.24 c #Conflicts: 461000 | #Constraints: 15518 990.59/993.24 c #Conflicts: 462000 | #Constraints: 16523 990.59/993.24 c #Conflicts: 463000 | #Constraints: 17526 990.59/993.24 c #Conflicts: 464000 | #Constraints: 18526 990.59/993.24 c #Conflicts: 465000 | #Constraints: 19528 990.59/993.24 c #Conflicts: 466000 | #Constraints: 20529 990.59/993.24 c #Conflicts: 467000 | #Constraints: 21532 990.59/993.24 c #Conflicts: 468000 | #Constraints: 22533 990.59/993.24 c #Conflicts: 469000 | #Constraints: 23535 990.59/993.24 c #Conflicts: 470000 | #Constraints: 24537 990.59/993.24 c #Conflicts: 471000 | #Constraints: 25539 990.59/993.24 c #Conflicts: 472000 | #Constraints: 26542 990.59/993.24 c #Conflicts: 473000 | #Constraints: 27544 990.59/993.24 c #Conflicts: 474000 | #Constraints: 28552 990.59/993.24 c INPROCESSING 990.59/993.24 c GARBAGE COLLECT 990.59/993.24 c rational objective 6 1023.61/1026.39 c #Conflicts: 475000 | #Constraints: 15557 1023.61/1026.39 c #Conflicts: 476000 | #Constraints: 16557 1023.61/1026.39 c #Conflicts: 477000 | #Constraints: 17558 1023.61/1026.39 c #Conflicts: 478000 | #Constraints: 18564 1023.61/1026.39 c #Conflicts: 479000 | #Constraints: 19567 1023.61/1026.39 c #Conflicts: 480000 | #Constraints: 20568 1023.61/1026.39 c #Conflicts: 481000 | #Constraints: 21572 1023.61/1026.39 c #Conflicts: 482000 | #Constraints: 22576 1023.61/1026.39 c #Conflicts: 483000 | #Constraints: 23580 1023.61/1026.39 c #Conflicts: 484000 | #Constraints: 24584 1023.61/1026.39 c #Conflicts: 485000 | #Constraints: 25586 1023.61/1026.39 c #Conflicts: 486000 | #Constraints: 26586 1023.61/1026.39 c #Conflicts: 487000 | #Constraints: 27587 1023.61/1026.39 c #Conflicts: 488000 | #Constraints: 28589 1023.61/1026.39 c INPROCESSING 1023.61/1026.39 c GARBAGE COLLECT 1023.61/1026.39 c rational objective 6 1064.52/1067.35 c #Conflicts: 489000 | #Constraints: 15601 1064.52/1067.35 c #Conflicts: 490000 | #Constraints: 16607 1064.52/1067.35 c #Conflicts: 491000 | #Constraints: 17608 1064.52/1067.35 c #Conflicts: 492000 | #Constraints: 18609 1064.52/1067.35 c #Conflicts: 493000 | #Constraints: 19611 1064.52/1067.35 c #Conflicts: 494000 | #Constraints: 20614 1064.52/1067.35 c #Conflicts: 495000 | #Constraints: 21617 1064.52/1067.35 c #Conflicts: 496000 | #Constraints: 22618 1064.52/1067.35 c #Conflicts: 497000 | #Constraints: 23623 1064.52/1067.35 c #Conflicts: 498000 | #Constraints: 24626 1064.52/1067.35 c #Conflicts: 499000 | #Constraints: 25629 1064.52/1067.35 c #Conflicts: 500000 | #Constraints: 26632 1064.52/1067.35 c #Conflicts: 501000 | #Constraints: 27633 1064.52/1067.35 c #Conflicts: 502000 | #Constraints: 28637 1064.52/1067.35 c INPROCESSING 1064.52/1067.35 c GARBAGE COLLECT 1064.52/1067.35 c rational objective 6 1118.49/1121.48 c #Conflicts: 503000 | #Constraints: 15540 1118.49/1121.48 c #Conflicts: 504000 | #Constraints: 16545 1118.49/1121.48 c #Conflicts: 505000 | #Constraints: 17547 1118.49/1121.48 c #Conflicts: 506000 | #Constraints: 18550 1118.49/1121.48 c #Conflicts: 507000 | #Constraints: 19554 1118.49/1121.48 c #Conflicts: 508000 | #Constraints: 20556 1118.49/1121.48 c #Conflicts: 509000 | #Constraints: 21558 1118.49/1121.48 c #Conflicts: 510000 | #Constraints: 22561 1118.49/1121.48 c #Conflicts: 511000 | #Constraints: 23564 1118.49/1121.48 c #Conflicts: 512000 | #Constraints: 24569 1118.49/1121.48 c #Conflicts: 513000 | #Constraints: 25570 1118.49/1121.48 c #Conflicts: 514000 | #Constraints: 26572 1118.49/1121.48 c #Conflicts: 515000 | #Constraints: 27574 1118.49/1121.48 c #Conflicts: 516000 | #Constraints: 28577 1118.49/1121.48 c INPROCESSING 1118.49/1121.48 c GARBAGE COLLECT 1118.49/1121.48 c rational objective 6 1168.58/1171.61 c #Conflicts: 517000 | #Constraints: 15269 1168.58/1171.61 c #Conflicts: 518000 | #Constraints: 16274 1168.58/1171.61 c #Conflicts: 519000 | #Constraints: 17276 1168.58/1171.61 c #Conflicts: 520000 | #Constraints: 18280 1168.58/1171.61 c #Conflicts: 521000 | #Constraints: 19283 1168.58/1171.61 c #Conflicts: 522000 | #Constraints: 20287 1168.58/1171.61 c #Conflicts: 523000 | #Constraints: 21287 1168.58/1171.61 c #Conflicts: 524000 | #Constraints: 22292 1168.58/1171.61 c #Conflicts: 525000 | #Constraints: 23296 1168.58/1171.61 c #Conflicts: 526000 | #Constraints: 24299 1168.58/1171.61 c #Conflicts: 527000 | #Constraints: 25303 1168.58/1171.61 c #Conflicts: 528000 | #Constraints: 26307 1168.58/1171.61 c #Conflicts: 529000 | #Constraints: 27316 1168.58/1171.61 c #Conflicts: 530000 | #Constraints: 28320 1168.58/1171.61 c #Conflicts: 531000 | #Constraints: 29324 1168.58/1171.61 c INPROCESSING 1168.58/1171.61 c GARBAGE COLLECT 1168.58/1171.61 c rational objective 6 1203.19/1206.31 c #Conflicts: 532000 | #Constraints: 15892 1203.19/1206.31 c #Conflicts: 533000 | #Constraints: 16894 1203.19/1206.31 c #Conflicts: 534000 | #Constraints: 17897 1203.19/1206.31 c #Conflicts: 535000 | #Constraints: 18897 1203.19/1206.31 c #Conflicts: 536000 | #Constraints: 19898 1203.19/1206.31 c #Conflicts: 537000 | #Constraints: 20900 1203.19/1206.31 c #Conflicts: 538000 | #Constraints: 21902 1203.19/1206.31 c #Conflicts: 539000 | #Constraints: 22903 1203.19/1206.31 c #Conflicts: 540000 | #Constraints: 23906 1203.19/1206.31 c #Conflicts: 541000 | #Constraints: 24910 1203.19/1206.31 c #Conflicts: 542000 | #Constraints: 25910 1203.19/1206.31 c #Conflicts: 543000 | #Constraints: 26912 1203.19/1206.31 c #Conflicts: 544000 | #Constraints: 27914 1203.19/1206.31 c #Conflicts: 545000 | #Constraints: 28917 1203.19/1206.31 c #Conflicts: 546000 | #Constraints: 29920 1203.19/1206.31 c INPROCESSING 1203.19/1206.31 c GARBAGE COLLECT 1203.19/1206.31 c rational objective 6 1270.34/1273.65 c #Conflicts: 547000 | #Constraints: 16282 1270.34/1273.65 c #Conflicts: 548000 | #Constraints: 17285 1270.34/1273.65 c #Conflicts: 549000 | #Constraints: 18290 1270.34/1273.65 c #Conflicts: 550000 | #Constraints: 19290 1270.34/1273.65 c #Conflicts: 551000 | #Constraints: 20292 1270.34/1273.65 c #Conflicts: 552000 | #Constraints: 21299 1270.34/1273.65 c #Conflicts: 553000 | #Constraints: 22299 1270.34/1273.65 c #Conflicts: 554000 | #Constraints: 23301 1270.34/1273.65 c #Conflicts: 555000 | #Constraints: 24302 1270.34/1273.65 c #Conflicts: 556000 | #Constraints: 25304 1270.34/1273.65 c #Conflicts: 557000 | #Constraints: 26306 1270.34/1273.65 c #Conflicts: 558000 | #Constraints: 27309 1270.34/1273.65 c #Conflicts: 559000 | #Constraints: 28312 1270.34/1273.65 c #Conflicts: 560000 | #Constraints: 29316 1270.34/1273.65 c #Conflicts: 561000 | #Constraints: 30318 1270.34/1273.65 c INPROCESSING 1270.34/1273.65 c GARBAGE COLLECT 1270.34/1273.65 c rational objective 6 1313.64/1317.06 c #Conflicts: 562000 | #Constraints: 16459 1313.64/1317.06 c #Conflicts: 563000 | #Constraints: 17460 1313.64/1317.06 c #Conflicts: 564000 | #Constraints: 18464 1313.64/1317.06 c #Conflicts: 565000 | #Constraints: 19466 1313.64/1317.06 c #Conflicts: 566000 | #Constraints: 20469 1313.64/1317.06 c #Conflicts: 567000 | #Constraints: 21472 1313.64/1317.06 c #Conflicts: 568000 | #Constraints: 22475 1313.64/1317.06 c #Conflicts: 569000 | #Constraints: 23479 1313.64/1317.06 c #Conflicts: 570000 | #Constraints: 24484 1313.64/1317.06 c #Conflicts: 571000 | #Constraints: 25486 1313.64/1317.06 c #Conflicts: 572000 | #Constraints: 26486 1313.64/1317.06 c #Conflicts: 573000 | #Constraints: 27490 1313.64/1317.06 c #Conflicts: 574000 | #Constraints: 28491 1313.64/1317.06 c #Conflicts: 575000 | #Constraints: 29492 1313.64/1317.06 c #Conflicts: 576000 | #Constraints: 30496 1313.64/1317.06 c INPROCESSING 1313.64/1317.06 c GARBAGE COLLECT 1313.64/1317.06 c rational objective 6 1352.15/1355.66 c #Conflicts: 577000 | #Constraints: 16444 1352.15/1355.66 c #Conflicts: 578000 | #Constraints: 17451 1352.15/1355.66 c #Conflicts: 579000 | #Constraints: 18453 1352.15/1355.66 c #Conflicts: 580000 | #Constraints: 19453 1352.15/1355.66 c #Conflicts: 581000 | #Constraints: 20456 1352.15/1355.66 c #Conflicts: 582000 | #Constraints: 21462 1352.15/1355.66 c #Conflicts: 583000 | #Constraints: 22465 1352.15/1355.66 c #Conflicts: 584000 | #Constraints: 23470 1352.15/1355.66 c #Conflicts: 585000 | #Constraints: 24475 1352.15/1355.66 c #Conflicts: 586000 | #Constraints: 25479 1352.15/1355.66 c #Conflicts: 587000 | #Constraints: 26482 1352.15/1355.66 c #Conflicts: 588000 | #Constraints: 27488 1352.15/1355.66 c #Conflicts: 589000 | #Constraints: 28491 1352.15/1355.66 c #Conflicts: 590000 | #Constraints: 29493 1352.15/1355.66 c #Conflicts: 591000 | #Constraints: 30494 1352.15/1355.66 c INPROCESSING 1352.15/1355.66 c GARBAGE COLLECT 1352.15/1355.66 c rational objective 6 1403.72/1407.30 c #Conflicts: 592000 | #Constraints: 16224 1403.72/1407.30 c #Conflicts: 593000 | #Constraints: 17225 1403.72/1407.30 c #Conflicts: 594000 | #Constraints: 18227 1403.72/1407.30 c #Conflicts: 595000 | #Constraints: 19228 1403.72/1407.30 c #Conflicts: 596000 | #Constraints: 20237 1403.72/1407.30 c #Conflicts: 597000 | #Constraints: 21240 1403.72/1407.30 c #Conflicts: 598000 | #Constraints: 22244 1403.72/1407.30 c #Conflicts: 599000 | #Constraints: 23248 1403.72/1407.30 c #Conflicts: 600000 | #Constraints: 24251 1403.72/1407.30 c #Conflicts: 601000 | #Constraints: 25252 1403.72/1407.30 c #Conflicts: 602000 | #Constraints: 26258 1403.72/1407.30 c #Conflicts: 603000 | #Constraints: 27260 1403.72/1407.30 c #Conflicts: 604000 | #Constraints: 28262 1403.72/1407.30 c #Conflicts: 605000 | #Constraints: 29264 1403.72/1407.30 c #Conflicts: 606000 | #Constraints: 30264 1403.72/1407.30 c #Conflicts: 607000 | #Constraints: 31266 1403.72/1407.30 c INPROCESSING 1403.72/1407.30 c GARBAGE COLLECT 1403.72/1407.30 c rational objective 6 1446.43/1450.15 c #Conflicts: 608000 | #Constraints: 16836 1446.43/1450.15 c #Conflicts: 609000 | #Constraints: 17838 1446.43/1450.15 c #Conflicts: 610000 | #Constraints: 18846 1446.43/1450.15 c #Conflicts: 611000 | #Constraints: 19852 1446.43/1450.15 c #Conflicts: 612000 | #Constraints: 20854 1446.43/1450.15 c #Conflicts: 613000 | #Constraints: 21859 1446.43/1450.15 c #Conflicts: 614000 | #Constraints: 22864 1446.43/1450.15 c #Conflicts: 615000 | #Constraints: 23865 1446.43/1450.15 c #Conflicts: 616000 | #Constraints: 24868 1446.43/1450.15 c #Conflicts: 617000 | #Constraints: 25870 1446.43/1450.15 c #Conflicts: 618000 | #Constraints: 26872 1446.43/1450.15 c #Conflicts: 619000 | #Constraints: 27875 1446.43/1450.15 c #Conflicts: 620000 | #Constraints: 28876 1446.43/1450.15 c #Conflicts: 621000 | #Constraints: 29879 1446.43/1450.15 c #Conflicts: 622000 | #Constraints: 30881 1446.43/1450.15 c #Conflicts: 623000 | #Constraints: 31882 1446.43/1450.15 c INPROCESSING 1446.43/1450.15 c GARBAGE COLLECT 1446.43/1450.15 c rational objective 6 1492.01/1495.90 c #Conflicts: 624000 | #Constraints: 17230 1492.01/1495.90 c #Conflicts: 625000 | #Constraints: 18230 1492.01/1495.90 c #Conflicts: 626000 | #Constraints: 19235 1492.01/1495.90 c #Conflicts: 627000 | #Constraints: 20235 1492.01/1495.90 c #Conflicts: 628000 | #Constraints: 21238 1492.01/1495.90 c #Conflicts: 629000 | #Constraints: 22242 1492.01/1495.90 c #Conflicts: 630000 | #Constraints: 23245 1492.01/1495.90 c #Conflicts: 631000 | #Constraints: 24249 1492.01/1495.90 c #Conflicts: 632000 | #Constraints: 25251 1492.01/1495.90 c #Conflicts: 633000 | #Constraints: 26254 1492.01/1495.90 c #Conflicts: 634000 | #Constraints: 27258 1492.01/1495.90 c #Conflicts: 635000 | #Constraints: 28261 1492.01/1495.90 c #Conflicts: 636000 | #Constraints: 29264 1492.01/1495.90 c #Conflicts: 637000 | #Constraints: 30269 1492.01/1495.90 c #Conflicts: 638000 | #Constraints: 31269 1492.01/1495.90 c #Conflicts: 639000 | #Constraints: 32269 1492.01/1495.90 c INPROCESSING 1492.01/1495.90 c GARBAGE COLLECT 1492.01/1495.90 c rational objective 6 1539.12/1543.02 c #Conflicts: 640000 | #Constraints: 17411 1539.12/1543.02 c #Conflicts: 641000 | #Constraints: 18416 1539.12/1543.02 c #Conflicts: 642000 | #Constraints: 19419 1539.12/1543.02 c #Conflicts: 643000 | #Constraints: 20421 1539.12/1543.02 c #Conflicts: 644000 | #Constraints: 21423 1539.12/1543.02 c #Conflicts: 645000 | #Constraints: 22426 1539.12/1543.02 c #Conflicts: 646000 | #Constraints: 23426 1539.12/1543.02 c #Conflicts: 647000 | #Constraints: 24427 1539.12/1543.02 c #Conflicts: 648000 | #Constraints: 25428 1539.12/1543.02 c #Conflicts: 649000 | #Constraints: 26430 1539.12/1543.02 c #Conflicts: 650000 | #Constraints: 27434 1539.12/1543.02 c #Conflicts: 651000 | #Constraints: 28436 1539.12/1543.02 c #Conflicts: 652000 | #Constraints: 29440 1539.12/1543.02 c #Conflicts: 653000 | #Constraints: 30447 1539.12/1543.02 c #Conflicts: 654000 | #Constraints: 31453 1539.12/1543.02 c #Conflicts: 655000 | #Constraints: 32457 1539.12/1543.02 c INPROCESSING 1539.12/1543.02 c GARBAGE COLLECT 1539.12/1543.02 c rational objective 6 1583.12/1587.11 c #Conflicts: 656000 | #Constraints: 17429 1583.12/1587.11 c #Conflicts: 657000 | #Constraints: 18432 1583.12/1587.11 c #Conflicts: 658000 | #Constraints: 19434 1583.12/1587.11 c #Conflicts: 659000 | #Constraints: 20437 1583.12/1587.11 c #Conflicts: 660000 | #Constraints: 21438 1583.12/1587.11 c #Conflicts: 661000 | #Constraints: 22440 1583.12/1587.11 c #Conflicts: 662000 | #Constraints: 23447 1583.12/1587.11 c #Conflicts: 663000 | #Constraints: 24449 1583.12/1587.11 c #Conflicts: 664000 | #Constraints: 25451 1583.12/1587.11 c #Conflicts: 665000 | #Constraints: 26455 1583.12/1587.11 c #Conflicts: 666000 | #Constraints: 27456 1583.12/1587.11 c #Conflicts: 667000 | #Constraints: 28459 1583.12/1587.11 c #Conflicts: 668000 | #Constraints: 29460 1583.12/1587.11 c #Conflicts: 669000 | #Constraints: 30462 1583.12/1587.11 c #Conflicts: 670000 | #Constraints: 31465 1583.12/1587.11 c #Conflicts: 671000 | #Constraints: 32466 1583.12/1587.11 c INPROCESSING 1583.12/1587.11 c GARBAGE COLLECT 1583.12/1587.11 c rational objective 6 1635.58/1639.77 c #Conflicts: 672000 | #Constraints: 17212 1635.58/1639.77 c #Conflicts: 673000 | #Constraints: 18217 1635.58/1639.77 c #Conflicts: 674000 | #Constraints: 19219 1635.58/1639.77 c #Conflicts: 675000 | #Constraints: 20221 1635.58/1639.77 c #Conflicts: 676000 | #Constraints: 21223 1635.58/1639.77 c #Conflicts: 677000 | #Constraints: 22226 1635.58/1639.77 c #Conflicts: 678000 | #Constraints: 23230 1635.58/1639.77 c #Conflicts: 679000 | #Constraints: 24234 1635.58/1639.77 c #Conflicts: 680000 | #Constraints: 25235 1635.58/1639.77 c #Conflicts: 681000 | #Constraints: 26237 1635.58/1639.77 c #Conflicts: 682000 | #Constraints: 27238 1635.58/1639.77 c #Conflicts: 683000 | #Constraints: 28240 1635.58/1639.77 c #Conflicts: 684000 | #Constraints: 29242 1635.58/1639.77 c #Conflicts: 685000 | #Constraints: 30245 1635.58/1639.77 c #Conflicts: 686000 | #Constraints: 31248 1635.58/1639.77 c #Conflicts: 687000 | #Constraints: 32252 1635.58/1639.77 c #Conflicts: 688000 | #Constraints: 33256 1635.58/1639.77 c INPROCESSING 1635.58/1639.77 c GARBAGE COLLECT 1635.58/1639.77 c rational objective 6 1718.09/1722.41 c #Conflicts: 689000 | #Constraints: 17807 1718.09/1722.41 c #Conflicts: 690000 | #Constraints: 18811 1718.09/1722.41 c #Conflicts: 691000 | #Constraints: 19817 1718.09/1722.41 c #Conflicts: 692000 | #Constraints: 20817 1718.09/1722.41 c #Conflicts: 693000 | #Constraints: 21820 1718.09/1722.41 c #Conflicts: 694000 | #Constraints: 22824 1718.09/1722.41 c #Conflicts: 695000 | #Constraints: 23829 1718.09/1722.41 c #Conflicts: 696000 | #Constraints: 24833 1718.09/1722.41 c #Conflicts: 697000 | #Constraints: 25835 1718.09/1722.41 c #Conflicts: 698000 | #Constraints: 26840 1718.09/1722.41 c #Conflicts: 699000 | #Constraints: 27845 1718.09/1722.41 c #Conflicts: 700000 | #Constraints: 28850 1718.09/1722.41 c #Conflicts: 701000 | #Constraints: 29851 1718.09/1722.41 c #Conflicts: 702000 | #Constraints: 30857 1718.09/1722.41 c #Conflicts: 703000 | #Constraints: 31859 1718.09/1722.41 c #Conflicts: 704000 | #Constraints: 32864 1718.09/1722.41 c #Conflicts: 705000 | #Constraints: 33864 1718.09/1722.41 c INPROCESSING 1718.09/1722.41 c GARBAGE COLLECT 1718.09/1722.41 c rational objective 6 1768.07/1772.56 c #Conflicts: 706000 | #Constraints: 18244 1768.07/1772.56 c #Conflicts: 707000 | #Constraints: 19247 1768.07/1772.56 c #Conflicts: 708000 | #Constraints: 20250 1768.07/1772.56 c #Conflicts: 709000 | #Constraints: 21253 1768.07/1772.56 c #Conflicts: 710000 | #Constraints: 22289 1768.07/1772.56 c #Conflicts: 711000 | #Constraints: 23439 1768.07/1772.56 c #Conflicts: 712000 | #Constraints: 24522 1768.07/1772.56 c #Conflicts: 713000 | #Constraints: 25856 1768.07/1772.56 c #Conflicts: 714000 | #Constraints: 27294 1768.07/1772.56 c #Conflicts: 715000 | #Constraints: 28653 1768.07/1772.56 c #Conflicts: 716000 | #Constraints: 29734 1768.07/1772.56 c #Conflicts: 717000 | #Constraints: 30983 1768.07/1772.56 c #Conflicts: 718000 | #Constraints: 32362 1768.07/1772.56 c #Conflicts: 719000 | #Constraints: 33571 1768.07/1772.56 c #Conflicts: 720000 | #Constraints: 35121 1768.07/1772.56 c #Conflicts: 721000 | #Constraints: 36704 1768.07/1772.56 c #Conflicts: 722000 | #Constraints: 37713 1768.07/1772.56 c INPROCESSING 1768.07/1772.56 c GARBAGE COLLECT 1768.07/1772.56 c rational objective 6 1815.46/1820.07 c #Conflicts: 723000 | #Constraints: 20167 1815.46/1820.07 c #Conflicts: 724000 | #Constraints: 21169 1815.46/1820.07 c #Conflicts: 725000 | #Constraints: 22169 1815.46/1820.07 c #Conflicts: 726000 | #Constraints: 23169 1815.46/1820.07 c #Conflicts: 727000 | #Constraints: 24169 1815.46/1820.07 c #Conflicts: 728000 | #Constraints: 25169 1815.46/1820.07 c #Conflicts: 729000 | #Constraints: 26169 1815.46/1820.07 c #Conflicts: 730000 | #Constraints: 27169 1815.46/1820.07 c #Conflicts: 731000 | #Constraints: 28171 1815.46/1820.07 c #Conflicts: 732000 | #Constraints: 29171 1815.46/1820.07 c #Conflicts: 733000 | #Constraints: 30171 1815.46/1820.07 c #Conflicts: 734000 | #Constraints: 31172 1815.46/1820.07 c #Conflicts: 735000 | #Constraints: 32173 1815.46/1820.07 c #Conflicts: 736000 | #Constraints: 33174 1815.46/1820.07 c #Conflicts: 737000 | #Constraints: 34175 1815.46/1820.07 c #Conflicts: 738000 | #Constraints: 35175 1815.46/1820.07 c #Conflicts: 739000 | #Constraints: 36179 1815.46/1820.07 c INPROCESSING 1815.46/1820.07 c GARBAGE COLLECT 1815.46/1820.07 c rational objective 6 1858.25/1862.93 c #Conflicts: 740000 | #Constraints: 19269 1858.25/1862.93 c #Conflicts: 741000 | #Constraints: 20271 1858.25/1862.93 c #Conflicts: 742000 | #Constraints: 21275 1858.25/1862.93 c #Conflicts: 743000 | #Constraints: 22276 1858.25/1862.93 c #Conflicts: 744000 | #Constraints: 23277 1858.25/1862.93 c #Conflicts: 745000 | #Constraints: 24280 1858.25/1862.93 c #Conflicts: 746000 | #Constraints: 25284 1858.25/1862.93 c #Conflicts: 747000 | #Constraints: 26285 1858.25/1862.93 c #Conflicts: 748000 | #Constraints: 27285 1858.25/1862.93 c #Conflicts: 749000 | #Constraints: 28287 1858.25/1862.93 c #Conflicts: 750000 | #Constraints: 29292 1858.25/1862.93 c #Conflicts: 751000 | #Constraints: 30294 1858.25/1862.93 c #Conflicts: 752000 | #Constraints: 31296 1858.25/1862.93 c #Conflicts: 753000 | #Constraints: 32298 1858.25/1862.93 c #Conflicts: 754000 | #Constraints: 33300 1858.25/1862.93 c #Conflicts: 755000 | #Constraints: 34301 1858.25/1862.93 c #Conflicts: 756000 | #Constraints: 35306 1858.25/1862.93 c INPROCESSING 1858.25/1862.93 c GARBAGE COLLECT 1858.25/1862.93 c rational objective 6 1907.74/1912.59 c #Conflicts: 757000 | #Constraints: 18665 1907.74/1912.59 c #Conflicts: 758000 | #Constraints: 19668 1907.74/1912.59 c #Conflicts: 759000 | #Constraints: 20671 1907.74/1912.59 c #Conflicts: 760000 | #Constraints: 21673 1907.74/1912.59 c #Conflicts: 761000 | #Constraints: 22677 1907.74/1912.59 c #Conflicts: 762000 | #Constraints: 23678 1907.74/1912.59 c #Conflicts: 763000 | #Constraints: 24679 1907.74/1912.59 c #Conflicts: 764000 | #Constraints: 25682 1907.74/1912.59 c #Conflicts: 765000 | #Constraints: 26687 1907.74/1912.59 c #Conflicts: 766000 | #Constraints: 27687 1907.74/1912.59 c #Conflicts: 767000 | #Constraints: 28691 1907.74/1912.59 c #Conflicts: 768000 | #Constraints: 29695 1907.74/1912.59 c #Conflicts: 769000 | #Constraints: 30698 1907.74/1912.59 c #Conflicts: 770000 | #Constraints: 31702 1907.74/1912.59 c #Conflicts: 771000 | #Constraints: 32704 1907.74/1912.59 c #Conflicts: 772000 | #Constraints: 33708 1907.74/1912.59 c #Conflicts: 773000 | #Constraints: 34711 1907.74/1912.59 c #Conflicts: 774000 | #Constraints: 35715 1907.74/1912.59 c INPROCESSING 1907.74/1912.59 c GARBAGE COLLECT 1907.74/1912.59 c rational objective 6 1968.40/1973.35 c #Conflicts: 775000 | #Constraints: 19035 1968.40/1973.35 c #Conflicts: 776000 | #Constraints: 20037 1968.40/1973.35 c #Conflicts: 777000 | #Constraints: 21038 1968.40/1973.35 c #Conflicts: 778000 | #Constraints: 22040 1968.40/1973.35 c #Conflicts: 779000 | #Constraints: 23041 1968.40/1973.35 c #Conflicts: 780000 | #Constraints: 24044 1968.40/1973.35 c #Conflicts: 781000 | #Constraints: 25047 1968.40/1973.35 c #Conflicts: 782000 | #Constraints: 26051 1968.40/1973.35 c #Conflicts: 783000 | #Constraints: 27054 1968.40/1973.35 c #Conflicts: 784000 | #Constraints: 28055 1968.40/1973.35 c #Conflicts: 785000 | #Constraints: 29060 1968.40/1973.35 c #Conflicts: 786000 | #Constraints: 30062 1968.40/1973.35 c #Conflicts: 787000 | #Constraints: 31063 1968.40/1973.35 c #Conflicts: 788000 | #Constraints: 32064 1968.40/1973.35 c #Conflicts: 789000 | #Constraints: 33066 1968.40/1973.35 c #Conflicts: 790000 | #Constraints: 34068 1968.40/1973.35 c #Conflicts: 791000 | #Constraints: 35069 1968.40/1973.35 c #Conflicts: 792000 | #Constraints: 36070 1968.40/1973.35 c INPROCESSING 1968.40/1973.35 c GARBAGE COLLECT 1968.40/1973.35 c rational objective 6 2036.84/2042.01 c #Conflicts: 793000 | #Constraints: 19313 2036.84/2042.01 c #Conflicts: 794000 | #Constraints: 20315 2036.84/2042.01 c #Conflicts: 795000 | #Constraints: 21317 2036.84/2042.01 c #Conflicts: 796000 | #Constraints: 22319 2036.84/2042.01 c #Conflicts: 797000 | #Constraints: 23321 2036.84/2042.01 c #Conflicts: 798000 | #Constraints: 24323 2036.84/2042.01 c #Conflicts: 799000 | #Constraints: 25327 2036.84/2042.01 c #Conflicts: 800000 | #Constraints: 26332 2036.84/2042.01 c #Conflicts: 801000 | #Constraints: 27339 2036.84/2042.01 c #Conflicts: 802000 | #Constraints: 28343 2036.84/2042.01 c #Conflicts: 803000 | #Constraints: 29344 2036.84/2042.01 c #Conflicts: 804000 | #Constraints: 30349 2036.84/2042.01 c #Conflicts: 805000 | #Constraints: 31357 2036.84/2042.01 c #Conflicts: 806000 | #Constraints: 32359 2036.84/2042.01 c #Conflicts: 807000 | #Constraints: 33365 2036.84/2042.01 c #Conflicts: 808000 | #Constraints: 34367 2036.84/2042.01 c #Conflicts: 809000 | #Constraints: 35368 2036.84/2042.01 c #Conflicts: 810000 | #Constraints: 36369 2036.84/2042.01 c INPROCESSING 2036.84/2042.01 c GARBAGE COLLECT 2036.84/2042.01 c rational objective 6 2114.77/2120.01 c #Conflicts: 811000 | #Constraints: 19493 2114.77/2120.01 c #Conflicts: 812000 | #Constraints: 20497 2114.77/2120.01 c #Conflicts: 813000 | #Constraints: 21501 2114.77/2120.01 c #Conflicts: 814000 | #Constraints: 22504 2114.77/2120.01 c #Conflicts: 815000 | #Constraints: 23505 2114.77/2120.01 c #Conflicts: 816000 | #Constraints: 24511 2114.77/2120.01 c #Conflicts: 817000 | #Constraints: 25511 2114.77/2120.01 c #Conflicts: 818000 | #Constraints: 26512 2114.77/2120.01 c #Conflicts: 819000 | #Constraints: 27514 2114.77/2120.01 c #Conflicts: 820000 | #Constraints: 28516 2114.77/2120.01 c #Conflicts: 821000 | #Constraints: 29518 2114.77/2120.01 c #Conflicts: 822000 | #Constraints: 30520 2114.77/2120.01 c #Conflicts: 823000 | #Constraints: 31523 2114.77/2120.01 c #Conflicts: 824000 | #Constraints: 32524 2114.77/2120.01 c #Conflicts: 825000 | #Constraints: 33527 2114.77/2120.01 c #Conflicts: 826000 | #Constraints: 34531 2114.77/2120.01 c #Conflicts: 827000 | #Constraints: 35533 2114.77/2120.01 c #Conflicts: 828000 | #Constraints: 36538 2114.77/2120.01 c INPROCESSING 2114.77/2120.01 c GARBAGE COLLECT 2114.77/2120.01 c rational objective 6 2251.84/2257.41 c #Conflicts: 829000 | #Constraints: 19482 2251.84/2257.41 c #Conflicts: 830000 | #Constraints: 20484 2251.84/2257.41 c #Conflicts: 831000 | #Constraints: 21488 2251.84/2257.41 c #Conflicts: 832000 | #Constraints: 22491 2251.84/2257.41 c #Conflicts: 833000 | #Constraints: 23495 2251.84/2257.41 c #Conflicts: 834000 | #Constraints: 24498 2251.84/2257.41 c #Conflicts: 835000 | #Constraints: 25502 2251.84/2257.41 c #Conflicts: 836000 | #Constraints: 26509 2251.84/2257.41 c #Conflicts: 837000 | #Constraints: 27511 2251.84/2257.41 c #Conflicts: 838000 | #Constraints: 28512 2251.84/2257.41 c #Conflicts: 839000 | #Constraints: 29519 2251.84/2257.41 c #Conflicts: 840000 | #Constraints: 30520 2251.84/2257.41 c #Conflicts: 841000 | #Constraints: 31523 2251.84/2257.41 c #Conflicts: 842000 | #Constraints: 32526 2251.84/2257.41 c #Conflicts: 843000 | #Constraints: 33529 2251.84/2257.41 c #Conflicts: 844000 | #Constraints: 34530 2251.84/2257.41 c #Conflicts: 845000 | #Constraints: 35532 2251.84/2257.41 c #Conflicts: 846000 | #Constraints: 36534 2251.84/2257.41 c INPROCESSING 2251.84/2257.41 c GARBAGE COLLECT 2251.84/2257.41 c rational objective 6 2326.76/2332.51 c #Conflicts: 847000 | #Constraints: 19252 2326.76/2332.51 c #Conflicts: 848000 | #Constraints: 20256 2326.76/2332.51 c #Conflicts: 849000 | #Constraints: 21258 2326.76/2332.51 c #Conflicts: 850000 | #Constraints: 22260 2326.76/2332.51 c #Conflicts: 851000 | #Constraints: 23263 2326.76/2332.51 c #Conflicts: 852000 | #Constraints: 24267 2326.76/2332.51 c #Conflicts: 853000 | #Constraints: 25270 2326.76/2332.51 c #Conflicts: 854000 | #Constraints: 26274 2326.76/2332.51 c #Conflicts: 855000 | #Constraints: 27274 2326.76/2332.51 c #Conflicts: 856000 | #Constraints: 28277 2326.76/2332.51 c #Conflicts: 857000 | #Constraints: 29281 2326.76/2332.51 c #Conflicts: 858000 | #Constraints: 30283 2326.76/2332.51 c #Conflicts: 859000 | #Constraints: 31285 2326.76/2332.51 c #Conflicts: 860000 | #Constraints: 32286 2326.76/2332.51 c #Conflicts: 861000 | #Constraints: 33286 2326.76/2332.51 c #Conflicts: 862000 | #Constraints: 34292 2326.76/2332.51 c #Conflicts: 863000 | #Constraints: 35295 2326.76/2332.51 c #Conflicts: 864000 | #Constraints: 36304 2326.76/2332.51 c #Conflicts: 865000 | #Constraints: 37309 2326.76/2332.51 c INPROCESSING 2326.76/2332.51 c GARBAGE COLLECT 2326.76/2332.51 c rational objective 6 2372.65/2378.59 c #Conflicts: 866000 | #Constraints: 19842 2372.65/2378.59 c #Conflicts: 867000 | #Constraints: 20843 2372.65/2378.59 c #Conflicts: 868000 | #Constraints: 21845 2372.65/2378.59 c #Conflicts: 869000 | #Constraints: 22846 2372.65/2378.59 c #Conflicts: 870000 | #Constraints: 23848 2372.65/2378.59 c #Conflicts: 871000 | #Constraints: 24850 2372.65/2378.59 c #Conflicts: 872000 | #Constraints: 25852 2372.65/2378.59 c #Conflicts: 873000 | #Constraints: 26853 2372.65/2378.59 c #Conflicts: 874000 | #Constraints: 27854 2372.65/2378.59 c #Conflicts: 875000 | #Constraints: 28866 2372.65/2378.59 c #Conflicts: 876000 | #Constraints: 29870 2372.65/2378.59 c #Conflicts: 877000 | #Constraints: 30871 2372.65/2378.59 c #Conflicts: 878000 | #Constraints: 31873 2372.65/2378.59 c #Conflicts: 879000 | #Constraints: 32875 2372.65/2378.59 c #Conflicts: 880000 | #Constraints: 33878 2372.65/2378.59 c #Conflicts: 881000 | #Constraints: 34882 2372.65/2378.59 c #Conflicts: 882000 | #Constraints: 35884 2372.65/2378.59 c #Conflicts: 883000 | #Constraints: 36886 2372.65/2378.59 c #Conflicts: 884000 | #Constraints: 37887 2372.65/2378.59 c INPROCESSING 2372.65/2378.59 c GARBAGE COLLECT 2372.65/2378.59 c rational objective 6 2451.46/2457.50 c #Conflicts: 885000 | #Constraints: 20244 2451.46/2457.50 c #Conflicts: 886000 | #Constraints: 21246 2451.46/2457.50 c #Conflicts: 887000 | #Constraints: 22250 2451.46/2457.50 c #Conflicts: 888000 | #Constraints: 23256 2451.46/2457.50 c #Conflicts: 889000 | #Constraints: 24258 2451.46/2457.50 c #Conflicts: 890000 | #Constraints: 25260 2451.46/2457.50 c #Conflicts: 891000 | #Constraints: 26265 2451.46/2457.50 c #Conflicts: 892000 | #Constraints: 27267 2451.46/2457.50 c #Conflicts: 893000 | #Constraints: 28270 2451.46/2457.50 c #Conflicts: 894000 | #Constraints: 29270 2451.46/2457.50 c #Conflicts: 895000 | #Constraints: 30273 2451.46/2457.50 c #Conflicts: 896000 | #Constraints: 31275 2451.46/2457.50 c #Conflicts: 897000 | #Constraints: 32278 2451.46/2457.50 c #Conflicts: 898000 | #Constraints: 33283 2451.46/2457.50 c #Conflicts: 899000 | #Constraints: 34287 2451.46/2457.50 c #Conflicts: 900000 | #Constraints: 35288 2451.46/2457.50 c #Conflicts: 901000 | #Constraints: 36294 2451.46/2457.50 c #Conflicts: 902000 | #Constraints: 37296 2451.46/2457.50 c #Conflicts: 903000 | #Constraints: 38297 2451.46/2457.50 c INPROCESSING 2451.46/2457.50 c GARBAGE COLLECT 2451.46/2457.50 c rational objective 6 2533.89/2540.17 c #Conflicts: 904000 | #Constraints: 20439 2533.89/2540.17 c #Conflicts: 905000 | #Constraints: 21441 2533.89/2540.17 c #Conflicts: 906000 | #Constraints: 22443 2533.89/2540.17 c #Conflicts: 907000 | #Constraints: 23445 2533.89/2540.17 c #Conflicts: 908000 | #Constraints: 24449 2533.89/2540.17 c #Conflicts: 909000 | #Constraints: 25456 2533.89/2540.17 c #Conflicts: 910000 | #Constraints: 26458 2533.89/2540.17 c #Conflicts: 911000 | #Constraints: 27463 2533.89/2540.17 c #Conflicts: 912000 | #Constraints: 28468 2533.89/2540.17 c #Conflicts: 913000 | #Constraints: 29470 2533.89/2540.17 c #Conflicts: 914000 | #Constraints: 30471 2533.89/2540.17 c #Conflicts: 915000 | #Constraints: 31473 2533.89/2540.17 c #Conflicts: 916000 | #Constraints: 32478 2533.89/2540.17 c #Conflicts: 917000 | #Constraints: 33479 2533.89/2540.17 c #Conflicts: 918000 | #Constraints: 34482 2533.89/2540.17 c #Conflicts: 919000 | #Constraints: 35484 2533.89/2540.17 c #Conflicts: 920000 | #Constraints: 36485 2533.89/2540.17 c #Conflicts: 921000 | #Constraints: 37486 2533.89/2540.17 c #Conflicts: 922000 | #Constraints: 38487 2533.89/2540.17 c INPROCESSING 2533.89/2540.17 c GARBAGE COLLECT 2533.89/2540.17 c rational objective 6 2626.15/2632.66 c #Conflicts: 923000 | #Constraints: 20420 2626.15/2632.66 c #Conflicts: 924000 | #Constraints: 21422 2626.15/2632.66 c #Conflicts: 925000 | #Constraints: 22429 2626.15/2632.66 c #Conflicts: 926000 | #Constraints: 23434 2626.15/2632.66 c #Conflicts: 927000 | #Constraints: 24437 2626.15/2632.66 c #Conflicts: 928000 | #Constraints: 25438 2626.15/2632.66 c #Conflicts: 929000 | #Constraints: 26441 2626.15/2632.66 c #Conflicts: 930000 | #Constraints: 27443 2626.15/2632.66 c #Conflicts: 931000 | #Constraints: 28448 2626.15/2632.66 c #Conflicts: 932000 | #Constraints: 29449 2626.15/2632.66 c #Conflicts: 933000 | #Constraints: 30452 2626.15/2632.66 c #Conflicts: 934000 | #Constraints: 31455 2626.15/2632.66 c #Conflicts: 935000 | #Constraints: 32458 2626.15/2632.66 c #Conflicts: 936000 | #Constraints: 33463 2626.15/2632.66 c #Conflicts: 937000 | #Constraints: 34466 2626.15/2632.66 c #Conflicts: 938000 | #Constraints: 35468 2626.15/2632.66 c #Conflicts: 939000 | #Constraints: 36469 2626.15/2632.66 c #Conflicts: 940000 | #Constraints: 37476 2626.15/2632.66 c #Conflicts: 941000 | #Constraints: 38478 2626.15/2632.66 c INPROCESSING 2626.15/2632.66 c GARBAGE COLLECT 2626.15/2632.66 c rational objective 6 2806.72/2813.64 c #Conflicts: 942000 | #Constraints: 20241 2806.72/2813.64 c #Conflicts: 943000 | #Constraints: 21243 2806.72/2813.64 c #Conflicts: 944000 | #Constraints: 22248 2806.72/2813.64 c #Conflicts: 945000 | #Constraints: 23258 2806.72/2813.64 c #Conflicts: 946000 | #Constraints: 24263 2806.72/2813.64 c #Conflicts: 947000 | #Constraints: 25263 2806.72/2813.64 c #Conflicts: 948000 | #Constraints: 26265 2806.72/2813.64 c #Conflicts: 949000 | #Constraints: 27268 2806.72/2813.64 c #Conflicts: 950000 | #Constraints: 28271 2806.72/2813.64 c #Conflicts: 951000 | #Constraints: 29274 2806.72/2813.64 c #Conflicts: 952000 | #Constraints: 30279 2806.72/2813.64 c #Conflicts: 953000 | #Constraints: 31282 2806.72/2813.64 c #Conflicts: 954000 | #Constraints: 32286 2806.72/2813.64 c #Conflicts: 955000 | #Constraints: 33289 2806.72/2813.64 c #Conflicts: 956000 | #Constraints: 34294 2806.72/2813.64 c #Conflicts: 957000 | #Constraints: 35299 2806.72/2813.64 c #Conflicts: 958000 | #Constraints: 36301 2806.72/2813.64 c #Conflicts: 959000 | #Constraints: 37302 2806.72/2813.64 c #Conflicts: 960000 | #Constraints: 38303 2806.72/2813.64 c #Conflicts: 961000 | #Constraints: 39305 2806.72/2813.64 c INPROCESSING 2806.72/2813.64 c GARBAGE COLLECT 2806.72/2813.64 c rational objective 6 2912.47/2919.67 c #Conflicts: 962000 | #Constraints: 20862 2912.47/2919.67 c #Conflicts: 963000 | #Constraints: 21871 2912.47/2919.67 c #Conflicts: 964000 | #Constraints: 22876 2912.47/2919.67 c #Conflicts: 965000 | #Constraints: 23882 2912.47/2919.67 c #Conflicts: 966000 | #Constraints: 24886 2912.47/2919.67 c #Conflicts: 967000 | #Constraints: 25887 2912.47/2919.67 c #Conflicts: 968000 | #Constraints: 26891 2912.47/2919.67 c #Conflicts: 969000 | #Constraints: 27895 2912.47/2919.67 c #Conflicts: 970000 | #Constraints: 28915 2912.47/2919.67 c #Conflicts: 971000 | #Constraints: 29916 2912.47/2919.67 c #Conflicts: 972000 | #Constraints: 30917 2912.47/2919.67 c #Conflicts: 973000 | #Constraints: 31921 2912.47/2919.67 c #Conflicts: 974000 | #Constraints: 32923 2912.47/2919.67 c #Conflicts: 975000 | #Constraints: 33927 2912.47/2919.67 c #Conflicts: 976000 | #Constraints: 34929 2912.47/2919.67 c #Conflicts: 977000 | #Constraints: 35929 2912.47/2919.67 c #Conflicts: 978000 | #Constraints: 36929 2912.47/2919.67 c #Conflicts: 979000 | #Constraints: 37932 2912.47/2919.67 c #Conflicts: 980000 | #Constraints: 38933 2912.47/2919.67 c #Conflicts: 981000 | #Constraints: 39936 2912.47/2919.67 c INPROCESSING 2912.47/2919.67 c GARBAGE COLLECT 2912.47/2919.67 c rational objective 6 3159.26/3167.07 c #Conflicts: 982000 | #Constraints: 21289 3159.26/3167.07 c #Conflicts: 983000 | #Constraints: 22293 3159.26/3167.07 c #Conflicts: 984000 | #Constraints: 23296 3159.26/3167.07 c #Conflicts: 985000 | #Constraints: 24296 3159.26/3167.07 c #Conflicts: 986000 | #Constraints: 25298 3159.26/3167.07 c #Conflicts: 987000 | #Constraints: 26303 3159.26/3167.07 c #Conflicts: 988000 | #Constraints: 27305 3159.26/3167.07 c #Conflicts: 989000 | #Constraints: 28309 3159.26/3167.07 c #Conflicts: 990000 | #Constraints: 29311 3159.26/3167.07 c #Conflicts: 991000 | #Constraints: 30315 3159.26/3167.07 c #Conflicts: 992000 | #Constraints: 31317 3159.26/3167.07 c #Conflicts: 993000 | #Constraints: 32317 3159.26/3167.07 c #Conflicts: 994000 | #Constraints: 33317 3159.26/3167.07 c #Conflicts: 995000 | #Constraints: 34320 3159.26/3167.07 c #Conflicts: 996000 | #Constraints: 35324 3159.26/3167.07 c #Conflicts: 997000 | #Constraints: 36327 3159.26/3167.07 c #Conflicts: 998000 | #Constraints: 37328 3159.26/3167.07 c #Conflicts: 999000 | #Constraints: 38333 3159.26/3167.07 c #Conflicts: 1000000 | #Constraints: 39336 3159.26/3167.07 c #Conflicts: 1001000 | #Constraints: 40337 3159.26/3167.07 c INPROCESSING 3159.26/3167.07 c GARBAGE COLLECT 3159.26/3167.07 c rational objective 6 3383.49/3391.99 c #Conflicts: 1002000 | #Constraints: 21495 3383.49/3391.99 c #Conflicts: 1003000 | #Constraints: 22499 3383.49/3391.99 c #Conflicts: 1004000 | #Constraints: 23501 3383.49/3391.99 c #Conflicts: 1005000 | #Constraints: 24503 3383.49/3391.99 c #Conflicts: 1006000 | #Constraints: 25507 3383.49/3391.99 c #Conflicts: 1007000 | #Constraints: 26510 3383.49/3391.99 c #Conflicts: 1008000 | #Constraints: 27511 3383.49/3391.99 c #Conflicts: 1009000 | #Constraints: 28514 3383.49/3391.99 c #Conflicts: 1010000 | #Constraints: 29517 3383.49/3391.99 c #Conflicts: 1011000 | #Constraints: 30520 3383.49/3391.99 c #Conflicts: 1012000 | #Constraints: 31520 3383.49/3391.99 c #Conflicts: 1013000 | #Constraints: 32521 3383.49/3391.99 c #Conflicts: 1014000 | #Constraints: 33524 3383.49/3391.99 c #Conflicts: 1015000 | #Constraints: 34528 3383.49/3391.99 c #Conflicts: 1016000 | #Constraints: 35529 3383.49/3391.99 c #Conflicts: 1017000 | #Constraints: 36531 3383.49/3391.99 c #Conflicts: 1018000 | #Constraints: 37532 3383.49/3391.99 c #Conflicts: 1019000 | #Constraints: 38535 3383.49/3391.99 c #Conflicts: 1020000 | #Constraints: 39536 3383.49/3391.99 c #Conflicts: 1021000 | #Constraints: 40537 3383.49/3391.99 c INPROCESSING 3383.49/3391.99 c GARBAGE COLLECT 3383.49/3391.99 c rational objective 6 3572.12/3581.09 c #Conflicts: 1022000 | #Constraints: 21504 3572.12/3581.09 c #Conflicts: 1023000 | #Constraints: 22507 3572.12/3581.09 c #Conflicts: 1024000 | #Constraints: 23509 3572.12/3581.09 c #Conflicts: 1025000 | #Constraints: 24513 3572.12/3581.09 c #Conflicts: 1026000 | #Constraints: 25515 3572.12/3581.09 c #Conflicts: 1027000 | #Constraints: 26517 3572.12/3581.09 c #Conflicts: 1028000 | #Constraints: 27520 3572.12/3581.09 c #Conflicts: 1029000 | #Constraints: 28521 3572.12/3581.09 c #Conflicts: 1030000 | #Constraints: 29521 3572.12/3581.09 c #Conflicts: 1031000 | #Constraints: 30523 3572.12/3581.09 c #Conflicts: 1032000 | #Constraints: 31525 3572.12/3581.09 c #Conflicts: 1033000 | #Constraints: 32527 3572.12/3581.09 c #Conflicts: 1034000 | #Constraints: 33528 3572.12/3581.09 c #Conflicts: 1035000 | #Constraints: 34530 3572.12/3581.09 c #Conflicts: 1036000 | #Constraints: 35531 3572.12/3581.09 c #Conflicts: 1037000 | #Constraints: 36531 3572.12/3581.09 c #Conflicts: 1038000 | #Constraints: 37532 3572.12/3581.09 c #Conflicts: 1039000 | #Constraints: 38534 3572.12/3581.09 c #Conflicts: 1040000 | #Constraints: 39536 3572.12/3581.09 c #Conflicts: 1041000 | #Constraints: 40536 3572.12/3581.09 c INPROCESSING 3572.12/3581.09 c GARBAGE COLLECT 3572.12/3581.09 c rational objective 6 3600.06/3609.01 c #Conflicts: 1042000 | #Constraints: 21294 3600.06/3609.01 c #Conflicts: 1043000 | #Constraints: 22295 3600.06/3609.01 c #Conflicts: 1044000 | #Constraints: 23297 3600.06/3609.01 c #Conflicts: 1045000 | #Constraints: 24298 3600.06/3609.01 c #Conflicts: 1046000 | #Constraints: 25299 3600.06/3609.01 c #Conflicts: 1047000 | #Constraints: 26350 3600.06/3609.01 c Program interrupted by user. 3600.06/3609.01 c cpu time 3564.19 s 3600.06/3609.01 c deterministic time 874738917932 8.75e+11 3600.06/3609.01 c optimization time 27.2955 s 3600.06/3609.01 c total solve time 3536.85 s 3600.06/3609.01 c core-guided solve time 0 s 3600.06/3609.01 c propagation time 3145.75 s 3600.06/3609.01 c conflict analysis time 314.408 s 3600.06/3609.01 c propagations 373937258 3600.06/3609.01 c resolve steps 4373366 3600.06/3609.01 c decisions 24578611 3600.06/3609.01 c conflicts 1047189 3600.06/3609.01 c restarts 2046 3600.06/3609.01 c inprocessing phases 93 3600.06/3609.01 c input clauses 3273 3600.06/3609.01 c input cardinalities 64 3600.06/3609.01 c input general constraints 384 3600.06/3609.01 c input average constraint length 9.95 3600.06/3609.01 c input average constraint degree 74.17 3600.06/3609.01 c learned clauses 101093 3600.06/3609.01 c learned cardinalities 31144 3600.06/3609.01 c learned general constraints 931824 3600.06/3609.01 c learned average constraint length 683.32 3600.06/3609.01 c learned average constraint degree 5489902061.98 3600.06/3609.01 c watched constraints 841559 3600.06/3609.01 c counting constraints 90649 3600.06/3609.01 c gcd simplifications 22000 3600.06/3609.01 c detected cardinalities 56 3600.06/3609.01 c weakened non-implied lits 86055286 3600.06/3609.01 c weakened non-implying lits 396697 3600.06/3609.01 c original variables 3216 3600.06/3609.01 c clausal propagations 847018 3600.06/3609.01 c cardinality propagations 53080982 3600.06/3609.01 c watched propagations 141014143 3600.06/3609.01 c counting propagations 177545081 3600.06/3609.01 c watch lookups 39621369268 3600.06/3609.01 c watch backjump lookups 35118533616 3600.06/3609.01 c watch checks 747311932294 3600.06/3609.01 c propagation checks 49328555117 3600.06/3609.01 c constraint additions 2559385262 3600.06/3609.01 c trail pops 399558407 3600.06/3609.01 c formula constraints 3721 3600.06/3609.01 c learned constraints 1044375 3600.06/3609.01 c bound constraints 0 3600.06/3609.01 c core-guided constraints 0 3600.06/3609.01 c encountered formula constraints 2076371 3600.06/3609.01 c encountered learned constraints 2754975 3600.06/3609.01 c encountered bound constraints 0 3600.06/3609.01 c encountered core-guided constraints 0 3600.06/3609.01 c LP total time 150.927 s 3600.06/3609.01 c LP solve time 115.02 s 3600.06/3609.01 c LP constraints added 4342 3600.06/3609.01 c LP constraints removed 615 3600.06/3609.01 c LP pivots internal 1047608 3600.06/3609.01 c LP pivots root 20490 3600.06/3609.01 c LP calls 21550 3600.06/3609.01 c LP optimalities 4083 3600.06/3609.01 c LP no pivot count 1897 3600.06/3609.01 c LP infeasibilities 17462 3600.06/3609.01 c LP valid Farkas constraints 16473 3600.06/3609.01 c LP learned Farkas constraints 2814 3600.06/3609.01 c LP basis resets 8 3600.06/3609.01 c LP cycling count 0 3600.06/3609.01 c LP singular count 2 3600.06/3609.01 c LP no primal count 0 3600.06/3609.01 c LP no farkas count 6 3600.06/3609.01 c LP other issue count 0 3600.06/3609.01 c LP Gomory cuts 399 3600.06/3609.01 c LP learned cuts 222 3600.06/3609.01 c LP deleted cuts 615 3600.06/3609.01 c LP encountered Gomory constraints 1379 3600.06/3609.01 c LP encountered Farkas constraints 402763 3600.06/3609.01 c LP encountered learned Farkas constraints 182253 3600.06/3609.01 c CG auxiliary variables introduced 0 3600.06/3609.01 c CG solutions found 0 3600.06/3609.01 c CG cores constructed 0 3600.06/3609.01 c CG core cardinality constraints returned 0 3600.06/3609.01 c CG unit cores 0 3600.06/3609.01 c CG single cores 0 3600.06/3609.01 c CG blocks removed during cardinality reduction 0 3600.06/3609.01 c CG first core best 0 3600.06/3609.01 c CG decision core best 0 3600.06/3609.01 c CG core reduction tie 0 3600.06/3609.01 c CG core degree average 0.00 3600.06/3609.01 c CG core slack average 0.00 3600.06/3609.01 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (60042 MiB free)
memory of node 1: 64510 MiB (60171 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455272-1721461425/watcher-4455272-1721461425 -o /tmp/evaluation-result-4455272-1721461425/solver-4455272-1721461425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721457276-1049244 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455272-1721461425.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=1052063, runsolver pid=1052060
[startup+0.100525 s]*
/proc/loadavg: 4.08 4.11 4.09 5/244 1052064
/proc/meminfo: memFree=123091804/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=44072 memory=14108 CPUtime=0.1 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 2535 0 0 0 9 1 0 0 20 0 1 0 198301238 45129728 3527 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 11018 3527 1709 922 0 2970 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44072 KiB
Current children cumulated memory: 14108 KiB
[startup+0.213096 s]*
/proc/loadavg: 4.08 4.11 4.09 5/244 1052064
/proc/meminfo: memFree=123090124/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=45540 memory=15692 CPUtime=0.21 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 2961 0 0 0 20 1 0 0 20 0 1 0 198301238 46632960 3923 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 11385 3923 1709 922 0 3337 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 45540 KiB
Current children cumulated memory: 15692 KiB
[startup+0.313068 s]*
/proc/loadavg: 4.08 4.11 4.09 5/244 1052064
/proc/meminfo: memFree=123088444/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=47008 memory=17276 CPUtime=0.31 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 3327 0 0 0 30 1 0 0 20 0 1 0 198301238 48136192 4319 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 11752 4319 1709 922 0 3704 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 47008 KiB
Current children cumulated memory: 17276 KiB
[startup+0.700333 s]
/proc/loadavg: 4.08 4.11 4.09 5/244 1052064
/proc/meminfo: memFree=123084344/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=50720 memory=23880 CPUtime=0.69 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 4906 0 0 0 65 4 0 0 20 0 1 0 198301238 51937280 5970 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 12680 5970 1802 922 0 4632 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50720 KiB
Current children cumulated memory: 23880 KiB
[startup+1.50029 s]
/proc/loadavg: 4.08 4.11 4.09 5/244 1052064
/proc/meminfo: memFree=123077088/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=56400 memory=29960 CPUtime=1.48 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 6423 0 0 0 142 6 0 0 20 0 1 0 198301238 57753600 7490 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 14100 7490 1802 922 0 6052 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 56400 KiB
Current children cumulated memory: 29960 KiB
[startup+3.1133 s]
/proc/loadavg: 4.08 4.11 4.09 5/244 1052065
/proc/meminfo: memFree=123059440/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=64004 memory=37160 CPUtime=3.09 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 7683 0 0 0 297 12 0 0 20 0 1 0 198301238 65540096 9290 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 16001 9290 1818 922 0 7953 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 64004 KiB
Current children cumulated memory: 37160 KiB
[startup+6.30032 s]
/proc/loadavg: 4.15 4.12 4.09 5/244 1052065
/proc/meminfo: memFree=123038760/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=77724 memory=48040 CPUtime=6.27 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 9928 0 0 0 600 27 0 0 20 0 1 0 198301238 79589376 12010 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 19431 12010 1818 922 0 11383 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 77724 KiB
Current children cumulated memory: 48040 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.12 4.09 5/244 1052065
/proc/meminfo: memFree=123020836/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=99352 memory=63996 CPUtime=12.65 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 12860 0 0 0 1221 44 0 0 20 0 1 0 198301238 101736448 15999 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 24838 15999 1818 922 0 16790 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 99352 KiB
Current children cumulated memory: 63996 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.12 4.09 5/244 1052068
/proc/meminfo: memFree=122958900/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=139364 memory=92168 CPUtime=25.42 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 17921 0 0 0 2462 80 0 0 20 0 1 0 198301238 142708736 23042 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 34841 23042 1818 922 0 26793 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 139364 KiB
Current children cumulated memory: 92168 KiB
[startup+51.1134 s]
/proc/loadavg: 4.15 4.12 4.09 5/244 1052072
/proc/meminfo: memFree=122851592/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=154904 memory=121752 CPUtime=50.97 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 21745 0 0 0 4984 113 0 0 20 0 1 0 198301238 158621696 30438 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 38726 30438 1818 922 0 30678 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 154904 KiB
Current children cumulated memory: 121752 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/244 1052081
/proc/meminfo: memFree=122705456/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=173456 memory=140216 CPUtime=102.03 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 26185 0 0 0 9948 255 0 0 20 0 1 0 198301238 177618944 35054 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 43364 35054 1969 922 0 35316 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 173456 KiB
Current children cumulated memory: 140216 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/241 1052092
/proc/meminfo: memFree=122650572/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=214184 memory=163228 CPUtime=161.88 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 28909 0 0 0 15810 378 0 0 20 0 1 0 198301238 219324416 40807 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 53546 40807 1969 922 0 45498 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 214184 KiB
Current children cumulated memory: 163228 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/241 1052102
/proc/meminfo: memFree=122582656/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=218956 memory=167452 CPUtime=221.73 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 30962 0 0 0 21624 549 0 0 20 0 1 0 198301238 224210944 41863 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 54739 41863 1969 922 0 46691 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 218956 KiB
Current children cumulated memory: 167452 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/241 1052112
/proc/meminfo: memFree=122512096/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=229888 memory=178456 CPUtime=281.58 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 33764 0 0 0 27457 701 0 0 20 0 1 0 198301238 235405312 44614 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 57472 44614 1969 922 0 49424 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 229888 KiB
Current children cumulated memory: 178456 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/242 1052124
/proc/meminfo: memFree=122481544/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=238912 memory=197200 CPUtime=341.43 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 36555 0 0 0 33319 824 0 0 20 0 1 0 198301238 244645888 49300 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 59728 49300 1969 922 0 51680 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 238912 KiB
Current children cumulated memory: 197200 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/244 1052138
/proc/meminfo: memFree=122266756/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=250056 memory=207700 CPUtime=401.28 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 39158 0 0 0 39160 968 0 0 20 0 1 0 198301238 256057344 51925 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 62514 51925 1969 922 0 54466 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 250056 KiB
Current children cumulated memory: 207700 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/244 1052148
/proc/meminfo: memFree=122248368/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=256100 memory=218276 CPUtime=461.13 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 41290 0 0 0 45020 1093 0 0 20 0 1 0 198301238 262246400 54569 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 64025 54569 1969 922 0 55977 0
################
# More data... #
################
Current children cumulated memory: 487532 KiB
[startup+2862.3 s]
/proc/loadavg: 4.20 4.13 4.11 5/247 1053758
/proc/meminfo: memFree=121102272/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=560252 memory=496552 CPUtime=2855.3 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 87833 0 0 0 282187 3343 0 0 20 0 1 0 198301238 573698048 124138 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 140063 124138 1969 922 0 132015 0
Current children cumulated CPU time: 2855.3 s
Current children cumulated vsize: 560252 KiB
Current children cumulated memory: 496552 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/247 1053769
/proc/meminfo: memFree=121041712/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=562108 memory=498520 CPUtime=2915.16 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 89312 0 0 0 288144 3372 0 0 20 0 1 0 198301238 575598592 124630 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 140527 124630 1969 922 0 132479 0
Current children cumulated CPU time: 2915.16 s
Current children cumulated vsize: 562108 KiB
Current children cumulated memory: 498520 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/247 1053780
/proc/meminfo: memFree=121038832/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=562108 memory=498520 CPUtime=2975.03 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 89459 0 0 0 294102 3401 0 0 20 0 1 0 198301238 575598592 124630 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 140527 124630 1969 922 0 132479 0
Current children cumulated CPU time: 2975.03 s
Current children cumulated vsize: 562108 KiB
Current children cumulated memory: 498520 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/245 1053791
/proc/meminfo: memFree=121029696/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=568016 memory=502280 CPUtime=3034.89 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 90571 0 0 0 300075 3414 0 0 20 0 1 0 198301238 581648384 125570 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 142004 125570 1969 922 0 133956 0
Current children cumulated CPU time: 3034.89 s
Current children cumulated vsize: 568016 KiB
Current children cumulated memory: 502280 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/241 1053846
/proc/meminfo: memFree=123183064/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=582108 memory=513180 CPUtime=3094.72 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 93524 0 0 0 306043 3429 0 0 20 0 1 0 198301238 596078592 128295 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 145527 128295 1969 922 0 137479 0
Current children cumulated CPU time: 3094.72 s
Current children cumulated vsize: 582108 KiB
Current children cumulated memory: 513180 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/241 1053902
/proc/meminfo: memFree=123659220/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=591312 memory=524764 CPUtime=3154.56 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 96088 0 0 0 312016 3440 0 0 20 0 1 0 198301238 605503488 131191 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 147828 131191 1969 922 0 139780 0
Current children cumulated CPU time: 3154.56 s
Current children cumulated vsize: 591312 KiB
Current children cumulated memory: 524764 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/241 1053912
/proc/meminfo: memFree=123480808/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=594908 memory=530808 CPUtime=3214.38 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 97644 0 0 0 317970 3468 0 0 20 0 1 0 198301238 609185792 132702 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 148727 132702 1969 922 0 140679 0
Current children cumulated CPU time: 3214.38 s
Current children cumulated vsize: 594908 KiB
Current children cumulated memory: 530808 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/241 1053922
/proc/meminfo: memFree=123465712/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=594908 memory=530820 CPUtime=3274.21 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 97877 0 0 0 323940 3481 0 0 20 0 1 0 198301238 609185792 132705 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 148727 132705 1969 922 0 140679 0
Current children cumulated CPU time: 3274.21 s
Current children cumulated vsize: 594908 KiB
Current children cumulated memory: 530820 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/241 1053933
/proc/meminfo: memFree=123444844/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=595564 memory=531620 CPUtime=3334.05 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 98389 0 0 0 329908 3497 0 0 20 0 1 0 198301238 609857536 132905 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 148891 132905 1969 922 0 140843 0
Current children cumulated CPU time: 3334.05 s
Current children cumulated vsize: 595564 KiB
Current children cumulated memory: 531620 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/243 1053947
/proc/meminfo: memFree=123358444/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=600348 memory=536600 CPUtime=3393.86 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 99878 0 0 0 335872 3514 0 0 20 0 1 0 198301238 614756352 134150 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 150087 134150 1969 922 0 142039 0
Current children cumulated CPU time: 3393.86 s
Current children cumulated vsize: 600348 KiB
Current children cumulated memory: 536600 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/243 1053957
/proc/meminfo: memFree=123307672/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=600348 memory=536644 CPUtime=3453.7 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 100129 0 0 0 341822 3548 0 0 20 0 1 0 198301238 614756352 134161 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 150087 134161 1969 922 0 142039 0
Current children cumulated CPU time: 3453.7 s
Current children cumulated vsize: 600348 KiB
Current children cumulated memory: 536644 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/243 1053968
/proc/meminfo: memFree=123232088/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=600508 memory=546360 CPUtime=3513.55 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 100418 0 0 0 347794 3561 0 0 20 0 1 0 198301238 614920192 136590 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 150127 136590 1969 922 0 142079 0
Current children cumulated CPU time: 3513.55 s
Current children cumulated vsize: 600508 KiB
Current children cumulated memory: 546360 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/243 1053978
/proc/meminfo: memFree=123207652/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=605800 memory=565528 CPUtime=3573.41 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 101799 0 0 0 353769 3572 0 0 20 0 1 0 198301238 620339200 141382 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 151450 141382 1969 922 0 143402 0
Current children cumulated CPU time: 3573.41 s
Current children cumulated vsize: 605800 KiB
Current children cumulated memory: 565528 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.10 4.11 4.09 5/243 1054029
/proc/meminfo: memFree=123614484/131655788 swapFree=131071996/131071996
[pid=1052063] ppid=1052060 vsize=605800 memory=565600 CPUtime=3600.06 cores=5,7
/proc/1052063/stat : 1052063 (roundingsat) R 1052060 1052063 1049231 0 -1 4194304 102012 0 0 0 356418 3588 0 0 20 0 1 0 198301238 620339200 141400 134679101440 4194304 7968373 140733963728528 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 14274560 140733963731900 140733963732064 140733963732064 140733963739081 0
/proc/1052063/statm: 151450 141400 1969 922 0 143402 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 605800 KiB
Current children cumulated memory: 565600 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.02 s]
# the end of solver process 1052063 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3564.19 s, system=35.8858 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.02
CPU time (s): 3600.07
CPU user time (s): 3564.19
CPU system time (s): 35.8858
CPU usage (%): 99.7522
Max. virtual memory (cumulated for all children) (KiB): 605800
Max. memory (cumulated for all children) (KiB): 565600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.19
system time used= 35.8858
maximum resident set size= 565600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102021
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= 126
involuntary context switches= 3043
# summary of solver processes directly reported to runsolver:
# pid: 1052063
# total CPU time (s): 3600.07
# total CPU user time (s): 3564.19
# total CPU system time (s): 35.8858
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2322 second user time and 36.3375 second system time
The end
Begin job on nodeC006 at 2024-07-20 09:43:57 IDJOB=4455272 IDBENCH=148772 IDSOLVER=3084 FILE ID=nodeC006/4455272-1721461425 RUNJOBID= nodeC006-1721457276-1049244 SLURM_JOB_ID= 7545696 Free space on /tmp= 723756 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx63.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-4455272-1721461425/watcher-4455272-1721461425 -o /tmp/evaluation-result-4455272-1721461425/solver-4455272-1721461425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721457276-1049244 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455272-1721461425.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00 RANDOM SEED=2050145430 nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3590.344 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3650.727 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.479 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.282 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3664.766 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3649.304 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.514 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.252 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 123099504 kB MemAvailable: 128170292 kB Buffers: 562156 kB Cached: 5294288 kB SwapCached: 0 kB Active: 1053640 kB Inactive: 6806852 kB Active(anon): 1492 kB Inactive(anon): 2048444 kB Active(file): 1052148 kB Inactive(file): 4758408 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 10916 kB Writeback: 12 kB AnonPages: 2004132 kB Mapped: 116420 kB Shmem: 45896 kB KReclaimable: 200528 kB Slab: 316788 kB SReclaimable: 200528 kB SUnreclaim: 116260 kB KernelStack: 3900 kB PageTables: 13624 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2498196 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 62432 kB HardwareCorrupted: 0 kB AnonHugePages: 1294336 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: 316232 kB DirectMap2M: 40482816 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 723752 MiB End job on nodeC006 at 2024-07-20 10:44:07