| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 17 | 3600.07 | 3609.11 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb |
| MD5SUM | b4b357048b7fd6a2befaa81502734110 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 15 |
| Best CPU time to get the best result obtained on this benchmark | 3600.03 |
| 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 | 198 |
| Total number of constraints | 16 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16 |
| Minimum length of a constraint | 85 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1884 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6162 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 198 #constraints 16 0.00/0.00 c bounds 4081 >= 0 @ 0 0.00/0.00 c rational objective 0 0.20/0.28 c bounds 250 >= 0 @ 0.013295 0.20/0.28 c bounds 247 >= 0 @ 0.01397 0.20/0.28 c bounds 199 >= 0 @ 0.014537 0.20/0.28 c #Conflicts: 1000 | #Constraints: 1038 0.20/0.28 c #Conflicts: 2000 | #Constraints: 2051 0.20/0.28 c INPROCESSING 0.20/0.28 c GARBAGE COLLECT 0.20/0.28 c rational objective 0 0.68/0.74 c bounds 197 >= 0 @ 0.267239 0.68/0.74 c bounds 193 >= 0 @ 0.267497 0.68/0.74 c bounds 191 >= 0 @ 0.269958 0.68/0.74 c bounds 175 >= 0 @ 0.271191 0.68/0.74 c bounds 161 >= 0 @ 0.271288 0.68/0.74 c bounds 153 >= 0 @ 0.277919 0.68/0.74 c bounds 135 >= 0 @ 0.279424 0.68/0.74 c bounds 133 >= 0 @ 0.284174 0.68/0.74 c bounds 131 >= 0 @ 0.288252 0.68/0.74 c bounds 127 >= 0 @ 0.289081 0.68/0.74 c bounds 125 >= 0 @ 0.289184 0.68/0.74 c bounds 123 >= 0 @ 0.29294 0.68/0.74 c bounds 121 >= 0 @ 0.322008 0.68/0.74 c bounds 120 >= 0 @ 0.361733 0.68/0.74 c bounds 119 >= 0 @ 0.379834 0.68/0.74 c bounds 117 >= 0 @ 0.379931 0.68/0.74 c bounds 115 >= 0 @ 0.380607 0.68/0.74 c bounds 113 >= 0 @ 0.382989 0.68/0.74 c bounds 111 >= 0 @ 0.392767 0.68/0.74 c bounds 110 >= 0 @ 0.394769 0.68/0.74 c bounds 109 >= 0 @ 0.443745 0.68/0.74 c #Conflicts: 3000 | #Constraints: 2080 0.68/0.74 c #Conflicts: 4000 | #Constraints: 3094 0.68/0.74 c INPROCESSING 0.68/0.74 c GARBAGE COLLECT 0.68/0.74 c rational objective 0 1.29/1.34 c bounds 105 >= 0 @ 0.711829 1.29/1.34 c bounds 103 >= 0 @ 0.78877 1.29/1.34 c bounds 101 >= 0 @ 0.789849 1.29/1.34 c bounds 99 >= 0 @ 0.790551 1.29/1.34 c bounds 95 >= 0 @ 0.791928 1.29/1.34 c bounds 93 >= 0 @ 0.813948 1.29/1.34 c bounds 85 >= 0 @ 0.828319 1.29/1.34 c bounds 69 >= 0 @ 0.831415 1.29/1.34 c #Conflicts: 5000 | #Constraints: 2472 1.29/1.34 c #Conflicts: 6000 | #Constraints: 3481 1.29/1.34 c bounds 67 >= 0 @ 1.21011 1.29/1.34 c INPROCESSING 1.29/1.34 c GARBAGE COLLECT 1.29/1.34 c rational objective 0 1.98/2.03 c #Conflicts: 7000 | #Constraints: 2464 1.98/2.03 c #Conflicts: 8000 | #Constraints: 3469 1.98/2.03 c #Conflicts: 9000 | #Constraints: 4479 1.98/2.03 c INPROCESSING 1.98/2.03 c GARBAGE COLLECT 1.98/2.03 c rational objective 0 2.78/2.85 c bounds 65 >= 0 @ 1.96688 2.78/2.85 c bounds 63 >= 0 @ 1.9681 2.78/2.85 c bounds 61 >= 0 @ 1.96927 2.78/2.85 c #Conflicts: 10000 | #Constraints: 3176 2.78/2.85 c bounds 57 >= 0 @ 2.34572 2.78/2.85 c #Conflicts: 11000 | #Constraints: 4191 2.78/2.85 c #Conflicts: 12000 | #Constraints: 5207 2.78/2.85 c INPROCESSING 2.78/2.85 c GARBAGE COLLECT 2.78/2.85 c rational objective 0 3.68/3.75 c bounds 55 >= 0 @ 2.74607 3.68/3.75 c bounds 53 >= 0 @ 2.75044 3.68/3.75 c bounds 45 >= 0 @ 2.97531 3.68/3.75 c #Conflicts: 13000 | #Constraints: 3621 3.68/3.75 c #Conflicts: 14000 | #Constraints: 4633 3.68/3.75 c #Conflicts: 15000 | #Constraints: 5641 3.68/3.75 c INPROCESSING 3.68/3.75 c GARBAGE COLLECT 3.68/3.75 c rational objective 0 5.38/5.43 c bounds 37 >= 0 @ 4.01155 5.38/5.43 c bounds 35 >= 0 @ 4.01299 5.38/5.43 c #Conflicts: 16000 | #Constraints: 4134 5.38/5.43 c #Conflicts: 17000 | #Constraints: 5320 5.38/5.43 c #Conflicts: 18000 | #Constraints: 6422 5.38/5.43 c INPROCESSING 5.38/5.43 c GARBAGE COLLECT 5.38/5.43 c rational objective 0 7.46/7.52 c #Conflicts: 19000 | #Constraints: 4633 7.46/7.52 c #Conflicts: 20000 | #Constraints: 6293 7.46/7.52 c #Conflicts: 21000 | #Constraints: 7759 7.46/7.52 c INPROCESSING 7.46/7.52 c GARBAGE COLLECT 7.46/7.52 c rational objective 0 10.06/10.13 c bounds 33 >= 0 @ 7.32012 10.06/10.13 c #Conflicts: 22000 | #Constraints: 5045 10.06/10.13 c #Conflicts: 23000 | #Constraints: 6312 10.06/10.13 c #Conflicts: 24000 | #Constraints: 7471 10.06/10.13 c #Conflicts: 25000 | #Constraints: 8943 10.06/10.13 c INPROCESSING 10.06/10.13 c GARBAGE COLLECT 10.06/10.13 c rational objective 0 12.75/12.84 c #Conflicts: 26000 | #Constraints: 5893 12.75/12.84 c #Conflicts: 27000 | #Constraints: 7293 12.75/12.84 c #Conflicts: 28000 | #Constraints: 8972 12.75/12.84 c #Conflicts: 29000 | #Constraints: 10549 12.75/12.84 c INPROCESSING 12.75/12.84 c GARBAGE COLLECT 12.75/12.84 c rational objective 0 16.14/16.22 c #Conflicts: 30000 | #Constraints: 6467 16.14/16.22 c #Conflicts: 31000 | #Constraints: 7584 16.14/16.22 c #Conflicts: 32000 | #Constraints: 8753 16.14/16.22 c #Conflicts: 33000 | #Constraints: 9758 16.14/16.22 c INPROCESSING 16.14/16.22 c GARBAGE COLLECT 16.14/16.22 c rational objective 0 19.94/20.07 c #Conflicts: 34000 | #Constraints: 6372 19.94/20.07 c #Conflicts: 35000 | #Constraints: 8108 19.94/20.07 c #Conflicts: 36000 | #Constraints: 9844 19.94/20.07 c #Conflicts: 37000 | #Constraints: 11601 19.94/20.07 c INPROCESSING 19.94/20.07 c GARBAGE COLLECT 19.94/20.07 c rational objective 0 26.81/26.98 c #Conflicts: 38000 | #Constraints: 7363 26.81/26.98 c #Conflicts: 39000 | #Constraints: 9078 26.81/26.98 c #Conflicts: 40000 | #Constraints: 10812 26.81/26.98 c #Conflicts: 41000 | #Constraints: 12565 26.81/26.98 c INPROCESSING 26.81/26.98 c GARBAGE COLLECT 26.81/26.98 c rational objective 0 30.50/30.64 c #Conflicts: 42000 | #Constraints: 7230 30.50/30.64 c #Conflicts: 43000 | #Constraints: 8241 30.50/30.64 c #Conflicts: 44000 | #Constraints: 9245 30.50/30.64 c #Conflicts: 45000 | #Constraints: 10256 30.50/30.64 c #Conflicts: 46000 | #Constraints: 11269 30.50/30.64 c INPROCESSING 30.50/30.64 c GARBAGE COLLECT 30.50/30.64 c rational objective 0 34.28/34.47 c #Conflicts: 47000 | #Constraints: 7114 34.28/34.47 c #Conflicts: 48000 | #Constraints: 8222 34.28/34.47 c #Conflicts: 49000 | #Constraints: 9311 34.28/34.47 c #Conflicts: 50000 | #Constraints: 11043 34.28/34.47 c #Conflicts: 51000 | #Constraints: 12774 34.28/34.47 c INPROCESSING 34.28/34.47 c GARBAGE COLLECT 34.28/34.47 c rational objective 0 39.37/39.55 c #Conflicts: 52000 | #Constraints: 7532 39.37/39.55 c #Conflicts: 53000 | #Constraints: 8537 39.37/39.55 c #Conflicts: 54000 | #Constraints: 9541 39.37/39.55 c bounds 32 >= 0 @ 37.315 39.37/39.55 c #Conflicts: 55000 | #Constraints: 10561 39.37/39.55 c #Conflicts: 56000 | #Constraints: 11568 39.37/39.55 c INPROCESSING 39.37/39.55 c GARBAGE COLLECT 39.37/39.55 c rational objective 0 44.76/45.00 c #Conflicts: 57000 | #Constraints: 7489 44.76/45.00 c #Conflicts: 58000 | #Constraints: 9162 44.76/45.00 c #Conflicts: 59000 | #Constraints: 10847 44.76/45.00 c #Conflicts: 60000 | #Constraints: 12603 44.76/45.00 c #Conflicts: 61000 | #Constraints: 14349 44.76/45.00 c INPROCESSING 44.76/45.00 c GARBAGE COLLECT 44.76/45.00 c rational objective 0 53.43/53.61 c #Conflicts: 62000 | #Constraints: 8723 53.43/53.61 c #Conflicts: 63000 | #Constraints: 10458 53.43/53.61 c #Conflicts: 64000 | #Constraints: 12153 53.43/53.61 c #Conflicts: 65000 | #Constraints: 13813 53.43/53.61 c #Conflicts: 66000 | #Constraints: 15488 53.43/53.61 c INPROCESSING 53.43/53.61 c GARBAGE COLLECT 53.43/53.61 c rational objective 0 59.42/59.70 c #Conflicts: 67000 | #Constraints: 8906 59.42/59.70 c #Conflicts: 68000 | #Constraints: 10603 59.42/59.70 c #Conflicts: 69000 | #Constraints: 12344 59.42/59.70 c #Conflicts: 70000 | #Constraints: 14075 59.42/59.70 c #Conflicts: 71000 | #Constraints: 15822 59.42/59.70 c #Conflicts: 72000 | #Constraints: 17642 59.42/59.70 c INPROCESSING 59.42/59.70 c GARBAGE COLLECT 59.42/59.70 c rational objective 0 69.90/70.19 c #Conflicts: 73000 | #Constraints: 10317 69.90/70.19 c #Conflicts: 74000 | #Constraints: 11942 69.90/70.19 c #Conflicts: 75000 | #Constraints: 13663 69.90/70.19 c #Conflicts: 76000 | #Constraints: 15353 69.90/70.19 c #Conflicts: 77000 | #Constraints: 17028 69.90/70.19 c #Conflicts: 78000 | #Constraints: 18679 69.90/70.19 c INPROCESSING 69.90/70.19 c GARBAGE COLLECT 69.90/70.19 c rational objective 0 76.98/77.22 c #Conflicts: 79000 | #Constraints: 11001 76.98/77.22 c #Conflicts: 80000 | #Constraints: 12665 76.98/77.22 c #Conflicts: 81000 | #Constraints: 14234 76.98/77.22 c #Conflicts: 82000 | #Constraints: 15891 76.98/77.22 c #Conflicts: 83000 | #Constraints: 17535 76.98/77.22 c #Conflicts: 84000 | #Constraints: 19182 76.98/77.22 c INPROCESSING 76.98/77.22 c GARBAGE COLLECT 76.98/77.22 c rational objective 0 85.56/85.86 c #Conflicts: 85000 | #Constraints: 11304 85.56/85.86 c #Conflicts: 86000 | #Constraints: 12953 85.56/85.86 c #Conflicts: 87000 | #Constraints: 14632 85.56/85.86 c #Conflicts: 88000 | #Constraints: 16345 85.56/85.86 c #Conflicts: 89000 | #Constraints: 18064 85.56/85.86 c #Conflicts: 90000 | #Constraints: 19779 85.56/85.86 c INPROCESSING 85.56/85.86 c GARBAGE COLLECT 85.56/85.86 c rational objective 0 97.13/97.46 c #Conflicts: 91000 | #Constraints: 11268 97.13/97.46 c #Conflicts: 92000 | #Constraints: 12749 97.13/97.46 c #Conflicts: 93000 | #Constraints: 14203 97.13/97.46 c #Conflicts: 94000 | #Constraints: 15691 97.13/97.46 c #Conflicts: 95000 | #Constraints: 16886 97.13/97.46 c #Conflicts: 96000 | #Constraints: 17930 97.13/97.46 c INPROCESSING 97.13/97.46 c GARBAGE COLLECT 97.13/97.46 c rational objective 0 106.81/107.17 c #Conflicts: 97000 | #Constraints: 10068 106.81/107.17 c #Conflicts: 98000 | #Constraints: 11619 106.81/107.17 c #Conflicts: 99000 | #Constraints: 12967 106.81/107.17 c #Conflicts: 100000 | #Constraints: 14310 106.81/107.17 c #Conflicts: 101000 | #Constraints: 15681 106.81/107.17 c #Conflicts: 102000 | #Constraints: 17060 106.81/107.17 c #Conflicts: 103000 | #Constraints: 18068 106.81/107.17 c INPROCESSING 106.81/107.17 c GARBAGE COLLECT 106.81/107.17 c rational objective 0 117.88/118.27 c #Conflicts: 104000 | #Constraints: 9978 117.88/118.27 c #Conflicts: 105000 | #Constraints: 11015 117.88/118.27 c #Conflicts: 106000 | #Constraints: 12039 117.88/118.27 c #Conflicts: 107000 | #Constraints: 13069 117.88/118.27 c #Conflicts: 108000 | #Constraints: 14096 117.88/118.27 c #Conflicts: 109000 | #Constraints: 15101 117.88/118.27 c #Conflicts: 110000 | #Constraints: 16186 117.88/118.27 c INPROCESSING 117.88/118.27 c GARBAGE COLLECT 117.88/118.27 c rational objective 0 125.37/125.76 c #Conflicts: 111000 | #Constraints: 9218 125.37/125.76 c #Conflicts: 112000 | #Constraints: 10409 125.37/125.76 c #Conflicts: 113000 | #Constraints: 11562 125.37/125.76 c #Conflicts: 114000 | #Constraints: 12605 125.37/125.76 c #Conflicts: 115000 | #Constraints: 13721 125.37/125.76 c #Conflicts: 116000 | #Constraints: 14797 125.37/125.76 c #Conflicts: 117000 | #Constraints: 15967 125.37/125.76 c INPROCESSING 125.37/125.76 c GARBAGE COLLECT 125.37/125.76 c rational objective 0 134.54/134.91 c #Conflicts: 118000 | #Constraints: 9453 134.54/134.91 c #Conflicts: 119000 | #Constraints: 11134 134.54/134.91 c #Conflicts: 120000 | #Constraints: 12627 134.54/134.91 c #Conflicts: 121000 | #Constraints: 14328 134.54/134.91 c #Conflicts: 122000 | #Constraints: 15983 134.54/134.91 c #Conflicts: 123000 | #Constraints: 17686 134.54/134.91 c #Conflicts: 124000 | #Constraints: 19400 134.54/134.91 c INPROCESSING 134.54/134.91 c GARBAGE COLLECT 134.54/134.91 c rational objective 0 146.81/147.21 c #Conflicts: 125000 | #Constraints: 11216 146.81/147.21 c #Conflicts: 126000 | #Constraints: 12851 146.81/147.21 c #Conflicts: 127000 | #Constraints: 14095 146.81/147.21 c #Conflicts: 128000 | #Constraints: 15103 146.81/147.21 c bounds 31 >= 0 @ 140.544 146.81/147.21 c #Conflicts: 129000 | #Constraints: 16507 146.81/147.21 c #Conflicts: 130000 | #Constraints: 17963 146.81/147.21 c #Conflicts: 131000 | #Constraints: 19178 146.81/147.21 c INPROCESSING 146.81/147.21 c GARBAGE COLLECT 146.81/147.21 c rational objective 0 162.17/162.60 c bounds 29 >= 0 @ 145.297 162.17/162.60 c #Conflicts: 132000 | #Constraints: 10494 162.17/162.60 c #Conflicts: 133000 | #Constraints: 11879 162.17/162.60 c #Conflicts: 134000 | #Constraints: 13321 162.17/162.60 c #Conflicts: 135000 | #Constraints: 14668 162.17/162.60 c #Conflicts: 136000 | #Constraints: 16121 162.17/162.60 c #Conflicts: 137000 | #Constraints: 17528 162.17/162.60 c #Conflicts: 138000 | #Constraints: 18943 162.17/162.60 c #Conflicts: 139000 | #Constraints: 20062 162.17/162.60 c INPROCESSING 162.17/162.60 c GARBAGE COLLECT 162.17/162.60 c rational objective 0 175.14/175.60 c #Conflicts: 140000 | #Constraints: 11424 175.14/175.60 c #Conflicts: 141000 | #Constraints: 12947 175.14/175.60 c #Conflicts: 142000 | #Constraints: 14091 175.14/175.60 c #Conflicts: 143000 | #Constraints: 15553 175.14/175.60 c #Conflicts: 144000 | #Constraints: 16724 175.14/175.60 c #Conflicts: 145000 | #Constraints: 17875 175.14/175.60 c #Conflicts: 146000 | #Constraints: 19061 175.14/175.60 c #Conflicts: 147000 | #Constraints: 20139 175.14/175.60 c INPROCESSING 175.14/175.60 c GARBAGE COLLECT 175.14/175.60 c rational objective 0 187.62/188.17 c #Conflicts: 148000 | #Constraints: 11188 187.62/188.17 c #Conflicts: 149000 | #Constraints: 12417 187.62/188.17 c #Conflicts: 150000 | #Constraints: 13579 187.62/188.17 c bounds 28 >= 0 @ 178.04 187.62/188.17 c #Conflicts: 151000 | #Constraints: 14895 187.62/188.17 c #Conflicts: 152000 | #Constraints: 16263 187.62/188.17 c #Conflicts: 153000 | #Constraints: 17810 187.62/188.17 c #Conflicts: 154000 | #Constraints: 19481 187.62/188.17 c #Conflicts: 155000 | #Constraints: 21045 187.62/188.17 c INPROCESSING 187.62/188.17 c GARBAGE COLLECT 187.62/188.17 c rational objective 0 202.68/203.29 c #Conflicts: 156000 | #Constraints: 12138 202.68/203.29 c #Conflicts: 157000 | #Constraints: 13409 202.68/203.29 c #Conflicts: 158000 | #Constraints: 14583 202.68/203.29 c #Conflicts: 159000 | #Constraints: 15651 202.68/203.29 c #Conflicts: 160000 | #Constraints: 16676 202.68/203.29 c #Conflicts: 161000 | #Constraints: 17937 202.68/203.29 c #Conflicts: 162000 | #Constraints: 19261 202.68/203.29 c #Conflicts: 163000 | #Constraints: 20330 202.68/203.29 c INPROCESSING 202.68/203.29 c GARBAGE COLLECT 202.68/203.29 c rational objective 0 213.35/213.90 c #Conflicts: 164000 | #Constraints: 11505 213.35/213.90 c #Conflicts: 165000 | #Constraints: 12633 213.35/213.90 c #Conflicts: 166000 | #Constraints: 13640 213.35/213.90 c #Conflicts: 167000 | #Constraints: 14692 213.35/213.90 c #Conflicts: 168000 | #Constraints: 15772 213.35/213.90 c #Conflicts: 169000 | #Constraints: 16846 213.35/213.90 c #Conflicts: 170000 | #Constraints: 17980 213.35/213.90 c #Conflicts: 171000 | #Constraints: 19099 213.35/213.90 c INPROCESSING 213.35/213.90 c GARBAGE COLLECT 213.35/213.90 c rational objective 0 223.23/223.82 c #Conflicts: 172000 | #Constraints: 10340 223.23/223.82 c #Conflicts: 173000 | #Constraints: 11432 223.23/223.82 c #Conflicts: 174000 | #Constraints: 12434 223.23/223.82 c #Conflicts: 175000 | #Constraints: 13588 223.23/223.82 c #Conflicts: 176000 | #Constraints: 14710 223.23/223.82 c #Conflicts: 177000 | #Constraints: 15715 223.23/223.82 c #Conflicts: 178000 | #Constraints: 16913 223.23/223.82 c #Conflicts: 179000 | #Constraints: 18058 223.23/223.82 c #Conflicts: 180000 | #Constraints: 19068 223.23/223.82 c INPROCESSING 223.23/223.82 c GARBAGE COLLECT 223.23/223.82 c rational objective 0 243.29/243.98 c #Conflicts: 181000 | #Constraints: 10829 243.29/243.98 c #Conflicts: 182000 | #Constraints: 12510 243.29/243.98 c #Conflicts: 183000 | #Constraints: 14166 243.29/243.98 c #Conflicts: 184000 | #Constraints: 15868 243.29/243.98 c #Conflicts: 185000 | #Constraints: 17580 243.29/243.98 c #Conflicts: 186000 | #Constraints: 19302 243.29/243.98 c #Conflicts: 187000 | #Constraints: 21044 243.29/243.98 c #Conflicts: 188000 | #Constraints: 22816 243.29/243.98 c #Conflicts: 189000 | #Constraints: 24581 243.29/243.98 c INPROCESSING 243.29/243.98 c GARBAGE COLLECT 243.29/243.98 c rational objective 0 260.73/261.40 c #Conflicts: 190000 | #Constraints: 14042 260.73/261.40 c #Conflicts: 191000 | #Constraints: 15783 260.73/261.40 c #Conflicts: 192000 | #Constraints: 17557 260.73/261.40 c #Conflicts: 193000 | #Constraints: 19215 260.73/261.40 c #Conflicts: 194000 | #Constraints: 20906 260.73/261.40 c #Conflicts: 195000 | #Constraints: 22572 260.73/261.40 c #Conflicts: 196000 | #Constraints: 24323 260.73/261.40 c #Conflicts: 197000 | #Constraints: 26023 260.73/261.40 c #Conflicts: 198000 | #Constraints: 27702 260.73/261.40 c INPROCESSING 260.73/261.40 c GARBAGE COLLECT 260.73/261.40 c rational objective 0 283.78/284.59 c #Conflicts: 199000 | #Constraints: 15007 283.78/284.59 c #Conflicts: 200000 | #Constraints: 16099 283.78/284.59 c #Conflicts: 201000 | #Constraints: 17109 283.78/284.59 c #Conflicts: 202000 | #Constraints: 18189 283.78/284.59 c #Conflicts: 203000 | #Constraints: 19536 283.78/284.59 c #Conflicts: 204000 | #Constraints: 20537 283.78/284.59 c #Conflicts: 205000 | #Constraints: 21537 283.78/284.59 c #Conflicts: 206000 | #Constraints: 22585 283.78/284.59 c #Conflicts: 207000 | #Constraints: 23658 283.78/284.59 c INPROCESSING 283.78/284.59 c GARBAGE COLLECT 283.78/284.59 c rational objective 0 307.81/308.67 c #Conflicts: 208000 | #Constraints: 13302 307.81/308.67 c #Conflicts: 209000 | #Constraints: 14969 307.81/308.67 c #Conflicts: 210000 | #Constraints: 16687 307.81/308.67 c #Conflicts: 211000 | #Constraints: 18387 307.81/308.67 c #Conflicts: 212000 | #Constraints: 20101 307.81/308.67 c #Conflicts: 213000 | #Constraints: 21816 307.81/308.67 c #Conflicts: 214000 | #Constraints: 23546 307.81/308.67 c #Conflicts: 215000 | #Constraints: 25287 307.81/308.67 c #Conflicts: 216000 | #Constraints: 26993 307.81/308.67 c INPROCESSING 307.81/308.67 c GARBAGE COLLECT 307.81/308.67 c rational objective 0 338.33/339.28 c #Conflicts: 217000 | #Constraints: 14659 338.33/339.28 c #Conflicts: 218000 | #Constraints: 16315 338.33/339.28 c #Conflicts: 219000 | #Constraints: 17985 338.33/339.28 c #Conflicts: 220000 | #Constraints: 19485 338.33/339.28 c #Conflicts: 221000 | #Constraints: 21177 338.33/339.28 c #Conflicts: 222000 | #Constraints: 22846 338.33/339.28 c #Conflicts: 223000 | #Constraints: 24512 338.33/339.28 c #Conflicts: 224000 | #Constraints: 26125 338.33/339.28 c #Conflicts: 225000 | #Constraints: 27822 338.33/339.28 c #Conflicts: 226000 | #Constraints: 29497 338.33/339.28 c INPROCESSING 338.33/339.28 c GARBAGE COLLECT 338.33/339.28 c rational objective 0 358.18/359.14 c #Conflicts: 227000 | #Constraints: 16259 358.18/359.14 c #Conflicts: 228000 | #Constraints: 17957 358.18/359.14 c #Conflicts: 229000 | #Constraints: 19523 358.18/359.14 c #Conflicts: 230000 | #Constraints: 21171 358.18/359.14 c #Conflicts: 231000 | #Constraints: 22854 358.18/359.14 c #Conflicts: 232000 | #Constraints: 24564 358.18/359.14 c #Conflicts: 233000 | #Constraints: 26267 358.18/359.14 c #Conflicts: 234000 | #Constraints: 27752 358.18/359.14 c #Conflicts: 235000 | #Constraints: 29530 358.18/359.14 c #Conflicts: 236000 | #Constraints: 31188 358.18/359.14 c INPROCESSING 358.18/359.14 c GARBAGE COLLECT 358.18/359.14 c rational objective 0 378.93/379.91 c #Conflicts: 237000 | #Constraints: 17136 378.93/379.91 c #Conflicts: 238000 | #Constraints: 18808 378.93/379.91 c #Conflicts: 239000 | #Constraints: 20494 378.93/379.91 c #Conflicts: 240000 | #Constraints: 22178 378.93/379.91 c #Conflicts: 241000 | #Constraints: 23907 378.93/379.91 c #Conflicts: 242000 | #Constraints: 25675 378.93/379.91 c #Conflicts: 243000 | #Constraints: 27397 378.93/379.91 c #Conflicts: 244000 | #Constraints: 29119 378.93/379.91 c #Conflicts: 245000 | #Constraints: 30810 378.93/379.91 c #Conflicts: 246000 | #Constraints: 32593 378.93/379.91 c INPROCESSING 378.93/379.91 c GARBAGE COLLECT 378.93/379.91 c rational objective 0 405.57/406.69 c #Conflicts: 247000 | #Constraints: 17320 405.57/406.69 c #Conflicts: 248000 | #Constraints: 18324 405.57/406.69 c #Conflicts: 249000 | #Constraints: 19331 405.57/406.69 c #Conflicts: 250000 | #Constraints: 20340 405.57/406.69 c #Conflicts: 251000 | #Constraints: 21351 405.57/406.69 c #Conflicts: 252000 | #Constraints: 22356 405.57/406.69 c #Conflicts: 253000 | #Constraints: 23360 405.57/406.69 c #Conflicts: 254000 | #Constraints: 24362 405.57/406.69 c #Conflicts: 255000 | #Constraints: 25363 405.57/406.69 c #Conflicts: 256000 | #Constraints: 26367 405.57/406.69 c INPROCESSING 405.57/406.69 c GARBAGE COLLECT 405.57/406.69 c rational objective 0 422.13/423.21 c #Conflicts: 257000 | #Constraints: 14111 422.13/423.21 c #Conflicts: 258000 | #Constraints: 15118 422.13/423.21 c #Conflicts: 259000 | #Constraints: 16124 422.13/423.21 c #Conflicts: 260000 | #Constraints: 17137 422.13/423.21 c #Conflicts: 261000 | #Constraints: 18141 422.13/423.21 c #Conflicts: 262000 | #Constraints: 19148 422.13/423.21 c #Conflicts: 263000 | #Constraints: 20152 422.13/423.21 c #Conflicts: 264000 | #Constraints: 21159 422.13/423.21 c #Conflicts: 265000 | #Constraints: 22162 422.13/423.21 c #Conflicts: 266000 | #Constraints: 23167 422.13/423.21 c INPROCESSING 422.13/423.21 c GARBAGE COLLECT 422.13/423.21 c rational objective 0 453.05/454.24 c #Conflicts: 267000 | #Constraints: 12570 453.05/454.24 c #Conflicts: 268000 | #Constraints: 14262 453.05/454.24 c #Conflicts: 269000 | #Constraints: 15959 453.05/454.24 c #Conflicts: 270000 | #Constraints: 17603 453.05/454.24 c #Conflicts: 271000 | #Constraints: 18855 453.05/454.24 c #Conflicts: 272000 | #Constraints: 19855 453.05/454.24 c #Conflicts: 273000 | #Constraints: 20855 453.05/454.24 c #Conflicts: 274000 | #Constraints: 21856 453.05/454.24 c #Conflicts: 275000 | #Constraints: 22860 453.05/454.24 c bounds 26 >= 0 @ 444.042 453.05/454.24 c #Conflicts: 276000 | #Constraints: 24393 453.05/454.24 c #Conflicts: 277000 | #Constraints: 25985 453.05/454.24 c INPROCESSING 453.05/454.24 c GARBAGE COLLECT 453.05/454.24 c rational objective 0 473.00/474.27 c #Conflicts: 278000 | #Constraints: 14126 473.00/474.27 c #Conflicts: 279000 | #Constraints: 15129 473.00/474.27 c #Conflicts: 280000 | #Constraints: 16177 473.00/474.27 c #Conflicts: 281000 | #Constraints: 17201 473.00/474.27 c #Conflicts: 282000 | #Constraints: 18207 473.00/474.27 c #Conflicts: 283000 | #Constraints: 19692 473.00/474.27 c #Conflicts: 284000 | #Constraints: 20845 473.00/474.27 c #Conflicts: 285000 | #Constraints: 21847 473.00/474.27 c #Conflicts: 286000 | #Constraints: 22910 473.00/474.27 c #Conflicts: 287000 | #Constraints: 23912 473.00/474.27 c #Conflicts: 288000 | #Constraints: 25335 473.00/474.27 c INPROCESSING 473.00/474.27 c GARBAGE COLLECT 473.00/474.27 c rational objective 0 509.72/511.07 c #Conflicts: 289000 | #Constraints: 14205 509.72/511.07 c #Conflicts: 290000 | #Constraints: 15632 509.72/511.07 c #Conflicts: 291000 | #Constraints: 16969 509.72/511.07 c #Conflicts: 292000 | #Constraints: 18419 509.72/511.07 c #Conflicts: 293000 | #Constraints: 19530 509.72/511.07 c #Conflicts: 294000 | #Constraints: 20801 509.72/511.07 c #Conflicts: 295000 | #Constraints: 22136 509.72/511.07 c #Conflicts: 296000 | #Constraints: 23537 509.72/511.07 c #Conflicts: 297000 | #Constraints: 24861 509.72/511.07 c #Conflicts: 298000 | #Constraints: 26173 509.72/511.07 c #Conflicts: 299000 | #Constraints: 27574 509.72/511.07 c INPROCESSING 509.72/511.07 c GARBAGE COLLECT 509.72/511.07 c rational objective 0 545.33/546.78 c #Conflicts: 300000 | #Constraints: 15481 545.33/546.78 c #Conflicts: 301000 | #Constraints: 17193 545.33/546.78 c #Conflicts: 302000 | #Constraints: 18878 545.33/546.78 c #Conflicts: 303000 | #Constraints: 20571 545.33/546.78 c #Conflicts: 304000 | #Constraints: 22297 545.33/546.78 c #Conflicts: 305000 | #Constraints: 24035 545.33/546.78 c #Conflicts: 306000 | #Constraints: 25828 545.33/546.78 c #Conflicts: 307000 | #Constraints: 27567 545.33/546.78 c #Conflicts: 308000 | #Constraints: 29134 545.33/546.78 c #Conflicts: 309000 | #Constraints: 30753 545.33/546.78 c #Conflicts: 310000 | #Constraints: 32551 545.33/546.78 c INPROCESSING 545.33/546.78 c GARBAGE COLLECT 545.33/546.78 c rational objective 0 598.91/600.43 c #Conflicts: 311000 | #Constraints: 17823 598.91/600.43 c #Conflicts: 312000 | #Constraints: 19534 598.91/600.43 c #Conflicts: 313000 | #Constraints: 21270 598.91/600.43 c #Conflicts: 314000 | #Constraints: 22962 598.91/600.43 c #Conflicts: 315000 | #Constraints: 24102 598.91/600.43 c #Conflicts: 316000 | #Constraints: 25377 598.91/600.43 c #Conflicts: 317000 | #Constraints: 26726 598.91/600.43 c #Conflicts: 318000 | #Constraints: 28181 598.91/600.43 c #Conflicts: 319000 | #Constraints: 29608 598.91/600.43 c #Conflicts: 320000 | #Constraints: 30795 598.91/600.43 c #Conflicts: 321000 | #Constraints: 32282 598.91/600.43 c INPROCESSING 598.91/600.43 c GARBAGE COLLECT 598.91/600.43 c rational objective 0 627.03/628.69 c #Conflicts: 322000 | #Constraints: 17035 627.03/628.69 c #Conflicts: 323000 | #Constraints: 18568 627.03/628.69 c #Conflicts: 324000 | #Constraints: 19902 627.03/628.69 c #Conflicts: 325000 | #Constraints: 21215 627.03/628.69 c #Conflicts: 326000 | #Constraints: 22372 627.03/628.69 c #Conflicts: 327000 | #Constraints: 23759 627.03/628.69 c #Conflicts: 328000 | #Constraints: 25318 627.03/628.69 c #Conflicts: 329000 | #Constraints: 26543 627.03/628.69 c #Conflicts: 330000 | #Constraints: 27644 627.03/628.69 c #Conflicts: 331000 | #Constraints: 29128 627.03/628.69 c #Conflicts: 332000 | #Constraints: 30385 627.03/628.69 c #Conflicts: 333000 | #Constraints: 31954 627.03/628.69 c INPROCESSING 627.03/628.69 c GARBAGE COLLECT 627.03/628.69 c rational objective 0 662.54/664.21 c #Conflicts: 334000 | #Constraints: 17302 662.54/664.21 c #Conflicts: 335000 | #Constraints: 18997 662.54/664.21 c #Conflicts: 336000 | #Constraints: 20635 662.54/664.21 c #Conflicts: 337000 | #Constraints: 22345 662.54/664.21 c #Conflicts: 338000 | #Constraints: 24024 662.54/664.21 c #Conflicts: 339000 | #Constraints: 25389 662.54/664.21 c #Conflicts: 340000 | #Constraints: 27168 662.54/664.21 c #Conflicts: 341000 | #Constraints: 28923 662.54/664.21 c #Conflicts: 342000 | #Constraints: 30637 662.54/664.21 c #Conflicts: 343000 | #Constraints: 32409 662.54/664.21 c #Conflicts: 344000 | #Constraints: 34196 662.54/664.21 c #Conflicts: 345000 | #Constraints: 35965 662.54/664.21 c INPROCESSING 662.54/664.21 c GARBAGE COLLECT 662.54/664.21 c rational objective 0 722.25/724.17 c #Conflicts: 346000 | #Constraints: 19330 722.25/724.17 c #Conflicts: 347000 | #Constraints: 21000 722.25/724.17 c #Conflicts: 348000 | #Constraints: 22642 722.25/724.17 c #Conflicts: 349000 | #Constraints: 24323 722.25/724.17 c #Conflicts: 350000 | #Constraints: 26021 722.25/724.17 c #Conflicts: 351000 | #Constraints: 27712 722.25/724.17 c #Conflicts: 352000 | #Constraints: 29391 722.25/724.17 c #Conflicts: 353000 | #Constraints: 31063 722.25/724.17 c #Conflicts: 354000 | #Constraints: 32719 722.25/724.17 c #Conflicts: 355000 | #Constraints: 34391 722.25/724.17 c #Conflicts: 356000 | #Constraints: 36069 722.25/724.17 c #Conflicts: 357000 | #Constraints: 37742 722.25/724.17 c INPROCESSING 722.25/724.17 c GARBAGE COLLECT 722.25/724.17 c rational objective 0 758.84/760.87 c #Conflicts: 358000 | #Constraints: 20539 758.84/760.87 c #Conflicts: 359000 | #Constraints: 22150 758.84/760.87 c #Conflicts: 360000 | #Constraints: 23890 758.84/760.87 c #Conflicts: 361000 | #Constraints: 25539 758.84/760.87 c #Conflicts: 362000 | #Constraints: 27056 758.84/760.87 c #Conflicts: 363000 | #Constraints: 28662 758.84/760.87 c #Conflicts: 364000 | #Constraints: 30385 758.84/760.87 c #Conflicts: 365000 | #Constraints: 31417 758.84/760.87 c #Conflicts: 366000 | #Constraints: 32885 758.84/760.87 c #Conflicts: 367000 | #Constraints: 34656 758.84/760.87 c #Conflicts: 368000 | #Constraints: 36464 758.84/760.87 c #Conflicts: 369000 | #Constraints: 38074 758.84/760.87 c INPROCESSING 758.84/760.87 c GARBAGE COLLECT 758.84/760.87 c rational objective 0 828.72/830.97 c #Conflicts: 370000 | #Constraints: 20558 828.72/830.97 c #Conflicts: 371000 | #Constraints: 22315 828.72/830.97 c #Conflicts: 372000 | #Constraints: 24060 828.72/830.97 c #Conflicts: 373000 | #Constraints: 25783 828.72/830.97 c #Conflicts: 374000 | #Constraints: 27503 828.72/830.97 c #Conflicts: 375000 | #Constraints: 29249 828.72/830.97 c #Conflicts: 376000 | #Constraints: 31027 828.72/830.97 c #Conflicts: 377000 | #Constraints: 32769 828.72/830.97 c #Conflicts: 378000 | #Constraints: 34569 828.72/830.97 c #Conflicts: 379000 | #Constraints: 36227 828.72/830.97 c #Conflicts: 380000 | #Constraints: 37570 828.72/830.97 c #Conflicts: 381000 | #Constraints: 38943 828.72/830.97 c INPROCESSING 828.72/830.97 c GARBAGE COLLECT 828.72/830.97 c rational objective 0 859.13/861.46 c #Conflicts: 382000 | #Constraints: 20480 859.13/861.46 c #Conflicts: 383000 | #Constraints: 21563 859.13/861.46 c #Conflicts: 384000 | #Constraints: 22571 859.13/861.46 c #Conflicts: 385000 | #Constraints: 23577 859.13/861.46 c #Conflicts: 386000 | #Constraints: 24603 859.13/861.46 c #Conflicts: 387000 | #Constraints: 25609 859.13/861.46 c #Conflicts: 388000 | #Constraints: 26663 859.13/861.46 c #Conflicts: 389000 | #Constraints: 27669 859.13/861.46 c #Conflicts: 390000 | #Constraints: 28709 859.13/861.46 c #Conflicts: 391000 | #Constraints: 29760 859.13/861.46 c #Conflicts: 392000 | #Constraints: 30796 859.13/861.46 c #Conflicts: 393000 | #Constraints: 31816 859.13/861.46 c #Conflicts: 394000 | #Constraints: 32925 859.13/861.46 c INPROCESSING 859.13/861.46 c GARBAGE COLLECT 859.13/861.46 c rational objective 0 901.90/904.32 c #Conflicts: 395000 | #Constraints: 17623 901.90/904.32 c #Conflicts: 396000 | #Constraints: 18844 901.90/904.32 c #Conflicts: 397000 | #Constraints: 20449 901.90/904.32 c #Conflicts: 398000 | #Constraints: 22075 901.90/904.32 c #Conflicts: 399000 | #Constraints: 23118 901.90/904.32 c #Conflicts: 400000 | #Constraints: 24453 901.90/904.32 c #Conflicts: 401000 | #Constraints: 26162 901.90/904.32 c #Conflicts: 402000 | #Constraints: 27877 901.90/904.32 c #Conflicts: 403000 | #Constraints: 29622 901.90/904.32 c #Conflicts: 404000 | #Constraints: 31368 901.90/904.32 c #Conflicts: 405000 | #Constraints: 33079 901.90/904.32 c #Conflicts: 406000 | #Constraints: 34787 901.90/904.32 c #Conflicts: 407000 | #Constraints: 36227 901.90/904.32 c INPROCESSING 901.90/904.32 c GARBAGE COLLECT 901.90/904.32 c rational objective 0 970.89/973.58 c #Conflicts: 408000 | #Constraints: 19751 970.89/973.58 c #Conflicts: 409000 | #Constraints: 21338 970.89/973.58 c #Conflicts: 410000 | #Constraints: 22978 970.89/973.58 c #Conflicts: 411000 | #Constraints: 24647 970.89/973.58 c #Conflicts: 412000 | #Constraints: 26096 970.89/973.58 c #Conflicts: 413000 | #Constraints: 27101 970.89/973.58 c #Conflicts: 414000 | #Constraints: 28420 970.89/973.58 c #Conflicts: 415000 | #Constraints: 30070 970.89/973.58 c #Conflicts: 416000 | #Constraints: 31741 970.89/973.58 c #Conflicts: 417000 | #Constraints: 33391 970.89/973.58 c #Conflicts: 418000 | #Constraints: 34581 970.89/973.58 c #Conflicts: 419000 | #Constraints: 35582 970.89/973.58 c #Conflicts: 420000 | #Constraints: 36586 970.89/973.58 c INPROCESSING 970.89/973.58 c GARBAGE COLLECT 970.89/973.58 c rational objective 0 1017.97/1020.79 c #Conflicts: 421000 | #Constraints: 19851 1017.97/1020.79 c #Conflicts: 422000 | #Constraints: 21455 1017.97/1020.79 c #Conflicts: 423000 | #Constraints: 22988 1017.97/1020.79 c #Conflicts: 424000 | #Constraints: 24096 1017.97/1020.79 c #Conflicts: 425000 | #Constraints: 25708 1017.97/1020.79 c #Conflicts: 426000 | #Constraints: 27427 1017.97/1020.79 c #Conflicts: 427000 | #Constraints: 28864 1017.97/1020.79 c #Conflicts: 428000 | #Constraints: 30178 1017.97/1020.79 c #Conflicts: 429000 | #Constraints: 31427 1017.97/1020.79 c #Conflicts: 430000 | #Constraints: 33069 1017.97/1020.79 c #Conflicts: 431000 | #Constraints: 34818 1017.97/1020.79 c #Conflicts: 432000 | #Constraints: 36568 1017.97/1020.79 c #Conflicts: 433000 | #Constraints: 38284 1017.97/1020.79 c INPROCESSING 1017.97/1020.79 c GARBAGE COLLECT 1017.97/1020.79 c rational objective 0 1059.08/1061.91 c #Conflicts: 434000 | #Constraints: 20146 1059.08/1061.91 c #Conflicts: 435000 | #Constraints: 21148 1059.08/1061.91 c #Conflicts: 436000 | #Constraints: 22155 1059.08/1061.91 c #Conflicts: 437000 | #Constraints: 23157 1059.08/1061.91 c #Conflicts: 438000 | #Constraints: 24160 1059.08/1061.91 c #Conflicts: 439000 | #Constraints: 25162 1059.08/1061.91 c #Conflicts: 440000 | #Constraints: 26165 1059.08/1061.91 c #Conflicts: 441000 | #Constraints: 27167 1059.08/1061.91 c #Conflicts: 442000 | #Constraints: 28169 1059.08/1061.91 c #Conflicts: 443000 | #Constraints: 29170 1059.08/1061.91 c #Conflicts: 444000 | #Constraints: 30171 1059.08/1061.91 c #Conflicts: 445000 | #Constraints: 31173 1059.08/1061.91 c #Conflicts: 446000 | #Constraints: 32174 1059.08/1061.91 c INPROCESSING 1059.08/1061.91 c GARBAGE COLLECT 1059.08/1061.91 c rational objective 0 1111.86/1114.82 c #Conflicts: 447000 | #Constraints: 16811 1111.86/1114.82 c #Conflicts: 448000 | #Constraints: 17813 1111.86/1114.82 c #Conflicts: 449000 | #Constraints: 18813 1111.86/1114.82 c #Conflicts: 450000 | #Constraints: 19815 1111.86/1114.82 c #Conflicts: 451000 | #Constraints: 20816 1111.86/1114.82 c #Conflicts: 452000 | #Constraints: 21816 1111.86/1114.82 c #Conflicts: 453000 | #Constraints: 22816 1111.86/1114.82 c #Conflicts: 454000 | #Constraints: 23817 1111.86/1114.82 c #Conflicts: 455000 | #Constraints: 24817 1111.86/1114.82 c #Conflicts: 456000 | #Constraints: 25818 1111.86/1114.82 c #Conflicts: 457000 | #Constraints: 26821 1111.86/1114.82 c #Conflicts: 458000 | #Constraints: 27823 1111.86/1114.82 c #Conflicts: 459000 | #Constraints: 28823 1111.86/1114.82 c #Conflicts: 460000 | #Constraints: 29826 1111.86/1114.82 c INPROCESSING 1111.86/1114.82 c GARBAGE COLLECT 1111.86/1114.82 c rational objective 0 1150.16/1153.29 c #Conflicts: 461000 | #Constraints: 16100 1150.16/1153.29 c #Conflicts: 462000 | #Constraints: 17346 1150.16/1153.29 c #Conflicts: 463000 | #Constraints: 18605 1150.16/1153.29 c #Conflicts: 464000 | #Constraints: 19782 1150.16/1153.29 c #Conflicts: 465000 | #Constraints: 20945 1150.16/1153.29 c #Conflicts: 466000 | #Constraints: 22089 1150.16/1153.29 c #Conflicts: 467000 | #Constraints: 23301 1150.16/1153.29 c #Conflicts: 468000 | #Constraints: 24345 1150.16/1153.29 c #Conflicts: 469000 | #Constraints: 25554 1150.16/1153.29 c #Conflicts: 470000 | #Constraints: 26604 1150.16/1153.29 c #Conflicts: 471000 | #Constraints: 27906 1150.16/1153.29 c #Conflicts: 472000 | #Constraints: 28995 1150.16/1153.29 c #Conflicts: 473000 | #Constraints: 30141 1150.16/1153.29 c #Conflicts: 474000 | #Constraints: 31247 1150.16/1153.29 c INPROCESSING 1150.16/1153.29 c GARBAGE COLLECT 1150.16/1153.29 c rational objective 0 1197.66/1200.89 c #Conflicts: 475000 | #Constraints: 17236 1197.66/1200.89 c #Conflicts: 476000 | #Constraints: 18260 1197.66/1200.89 c #Conflicts: 477000 | #Constraints: 19732 1197.66/1200.89 c #Conflicts: 478000 | #Constraints: 21331 1197.66/1200.89 c #Conflicts: 479000 | #Constraints: 22341 1197.66/1200.89 c bounds 25 >= 0 @ 1165.22 1197.66/1200.89 c #Conflicts: 480000 | #Constraints: 23540 1197.66/1200.89 c #Conflicts: 481000 | #Constraints: 24981 1197.66/1200.89 c #Conflicts: 482000 | #Constraints: 26118 1197.66/1200.89 c #Conflicts: 483000 | #Constraints: 27606 1197.66/1200.89 c #Conflicts: 484000 | #Constraints: 29016 1197.66/1200.89 c #Conflicts: 485000 | #Constraints: 30252 1197.66/1200.89 c #Conflicts: 486000 | #Constraints: 31656 1197.66/1200.89 c #Conflicts: 487000 | #Constraints: 32662 1197.66/1200.89 c #Conflicts: 488000 | #Constraints: 34041 1197.66/1200.89 c INPROCESSING 1197.66/1200.89 c GARBAGE COLLECT 1197.66/1200.89 c rational objective 0 1248.93/1252.28 c bounds 21 >= 0 @ 1191.91 1248.93/1252.28 c bounds 17 >= 0 @ 1191.93 1248.93/1252.28 c #Conflicts: 489000 | #Constraints: 18460 1248.93/1252.28 c #Conflicts: 490000 | #Constraints: 19529 1248.93/1252.28 c #Conflicts: 491000 | #Constraints: 20680 1248.93/1252.28 c #Conflicts: 492000 | #Constraints: 21682 1248.93/1252.28 c #Conflicts: 493000 | #Constraints: 22815 1248.93/1252.28 c #Conflicts: 494000 | #Constraints: 23891 1248.93/1252.28 c #Conflicts: 495000 | #Constraints: 24920 1248.93/1252.28 c #Conflicts: 496000 | #Constraints: 25989 1248.93/1252.28 c #Conflicts: 497000 | #Constraints: 26996 1248.93/1252.28 c #Conflicts: 498000 | #Constraints: 27999 1248.93/1252.28 c #Conflicts: 499000 | #Constraints: 28999 1248.93/1252.28 c #Conflicts: 500000 | #Constraints: 30011 1248.93/1252.28 c #Conflicts: 501000 | #Constraints: 31170 1248.93/1252.28 c #Conflicts: 502000 | #Constraints: 32318 1248.93/1252.28 c INPROCESSING 1248.93/1252.28 c GARBAGE COLLECT 1248.93/1252.28 c rational objective 0 1293.93/1297.33 c #Conflicts: 503000 | #Constraints: 17434 1293.93/1297.33 c #Conflicts: 504000 | #Constraints: 18713 1293.93/1297.33 c #Conflicts: 505000 | #Constraints: 19933 1293.93/1297.33 c #Conflicts: 506000 | #Constraints: 21235 1293.93/1297.33 c #Conflicts: 507000 | #Constraints: 22472 1293.93/1297.33 c #Conflicts: 508000 | #Constraints: 23721 1293.93/1297.33 c #Conflicts: 509000 | #Constraints: 24965 1293.93/1297.33 c #Conflicts: 510000 | #Constraints: 25965 1293.93/1297.33 c #Conflicts: 511000 | #Constraints: 27190 1293.93/1297.33 c #Conflicts: 512000 | #Constraints: 28420 1293.93/1297.33 c #Conflicts: 513000 | #Constraints: 29555 1293.93/1297.33 c #Conflicts: 514000 | #Constraints: 30703 1293.93/1297.33 c #Conflicts: 515000 | #Constraints: 31777 1293.93/1297.33 c #Conflicts: 516000 | #Constraints: 32957 1293.93/1297.33 c INPROCESSING 1293.93/1297.33 c GARBAGE COLLECT 1293.93/1297.33 c rational objective 0 1372.64/1376.24 c #Conflicts: 517000 | #Constraints: 17432 1372.64/1376.24 c #Conflicts: 518000 | #Constraints: 19008 1372.64/1376.24 c #Conflicts: 519000 | #Constraints: 20696 1372.64/1376.24 c #Conflicts: 520000 | #Constraints: 22206 1372.64/1376.24 c #Conflicts: 521000 | #Constraints: 23789 1372.64/1376.24 c #Conflicts: 522000 | #Constraints: 25466 1372.64/1376.24 c #Conflicts: 523000 | #Constraints: 27076 1372.64/1376.24 c #Conflicts: 524000 | #Constraints: 28796 1372.64/1376.24 c #Conflicts: 525000 | #Constraints: 30457 1372.64/1376.24 c #Conflicts: 526000 | #Constraints: 32123 1372.64/1376.24 c #Conflicts: 527000 | #Constraints: 33773 1372.64/1376.24 c #Conflicts: 528000 | #Constraints: 35417 1372.64/1376.24 c #Conflicts: 529000 | #Constraints: 37098 1372.64/1376.24 c #Conflicts: 530000 | #Constraints: 38888 1372.64/1376.24 c #Conflicts: 531000 | #Constraints: 40707 1372.64/1376.24 c INPROCESSING 1372.64/1376.24 c GARBAGE COLLECT 1372.64/1376.24 c rational objective 0 1426.91/1430.63 c #Conflicts: 532000 | #Constraints: 21870 1426.91/1430.63 c #Conflicts: 533000 | #Constraints: 23543 1426.91/1430.63 c #Conflicts: 534000 | #Constraints: 25247 1426.91/1430.63 c #Conflicts: 535000 | #Constraints: 27003 1426.91/1430.63 c #Conflicts: 536000 | #Constraints: 28658 1426.91/1430.63 c #Conflicts: 537000 | #Constraints: 30380 1426.91/1430.63 c #Conflicts: 538000 | #Constraints: 32116 1426.91/1430.63 c #Conflicts: 539000 | #Constraints: 33832 1426.91/1430.63 c #Conflicts: 540000 | #Constraints: 35591 1426.91/1430.63 c #Conflicts: 541000 | #Constraints: 37317 1426.91/1430.63 c #Conflicts: 542000 | #Constraints: 39009 1426.91/1430.63 c #Conflicts: 543000 | #Constraints: 40688 1426.91/1430.63 c #Conflicts: 544000 | #Constraints: 42398 1426.91/1430.63 c #Conflicts: 545000 | #Constraints: 44096 1426.91/1430.63 c #Conflicts: 546000 | #Constraints: 45845 1426.91/1430.63 c INPROCESSING 1426.91/1430.63 c GARBAGE COLLECT 1426.91/1430.63 c rational objective 0 1493.54/1497.48 c #Conflicts: 547000 | #Constraints: 24598 1493.54/1497.48 c #Conflicts: 548000 | #Constraints: 26131 1493.54/1497.48 c #Conflicts: 549000 | #Constraints: 27849 1493.54/1497.48 c #Conflicts: 550000 | #Constraints: 29591 1493.54/1497.48 c #Conflicts: 551000 | #Constraints: 31300 1493.54/1497.48 c #Conflicts: 552000 | #Constraints: 32999 1493.54/1497.48 c #Conflicts: 553000 | #Constraints: 34748 1493.54/1497.48 c #Conflicts: 554000 | #Constraints: 36468 1493.54/1497.48 c #Conflicts: 555000 | #Constraints: 38186 1493.54/1497.48 c #Conflicts: 556000 | #Constraints: 39916 1493.54/1497.48 c #Conflicts: 557000 | #Constraints: 41675 1493.54/1497.48 c #Conflicts: 558000 | #Constraints: 43370 1493.54/1497.48 c #Conflicts: 559000 | #Constraints: 45058 1493.54/1497.48 c #Conflicts: 560000 | #Constraints: 46780 1493.54/1497.48 c #Conflicts: 561000 | #Constraints: 48523 1493.54/1497.48 c INPROCESSING 1493.54/1497.48 c GARBAGE COLLECT 1493.54/1497.48 c rational objective 0 1600.28/1604.47 c #Conflicts: 562000 | #Constraints: 26017 1600.28/1604.47 c #Conflicts: 563000 | #Constraints: 27677 1600.28/1604.47 c #Conflicts: 564000 | #Constraints: 29369 1600.28/1604.47 c #Conflicts: 565000 | #Constraints: 31019 1600.28/1604.47 c #Conflicts: 566000 | #Constraints: 32686 1600.28/1604.47 c #Conflicts: 567000 | #Constraints: 34371 1600.28/1604.47 c #Conflicts: 568000 | #Constraints: 36076 1600.28/1604.47 c #Conflicts: 569000 | #Constraints: 37743 1600.28/1604.47 c #Conflicts: 570000 | #Constraints: 39410 1600.28/1604.47 c #Conflicts: 571000 | #Constraints: 41067 1600.28/1604.47 c #Conflicts: 572000 | #Constraints: 42703 1600.28/1604.47 c #Conflicts: 573000 | #Constraints: 44346 1600.28/1604.47 c #Conflicts: 574000 | #Constraints: 45971 1600.28/1604.47 c #Conflicts: 575000 | #Constraints: 47624 1600.28/1604.47 c #Conflicts: 576000 | #Constraints: 49242 1600.28/1604.47 c INPROCESSING 1600.28/1604.47 c GARBAGE COLLECT 1600.28/1604.47 c rational objective 0 1663.33/1667.69 c #Conflicts: 577000 | #Constraints: 26155 1663.33/1667.69 c #Conflicts: 578000 | #Constraints: 27871 1663.33/1667.69 c #Conflicts: 579000 | #Constraints: 29417 1663.33/1667.69 c #Conflicts: 580000 | #Constraints: 31076 1663.33/1667.69 c #Conflicts: 581000 | #Constraints: 32639 1663.33/1667.69 c #Conflicts: 582000 | #Constraints: 34367 1663.33/1667.69 c #Conflicts: 583000 | #Constraints: 36080 1663.33/1667.69 c #Conflicts: 584000 | #Constraints: 37736 1663.33/1667.69 c #Conflicts: 585000 | #Constraints: 39392 1663.33/1667.69 c #Conflicts: 586000 | #Constraints: 41117 1663.33/1667.69 c #Conflicts: 587000 | #Constraints: 42847 1663.33/1667.69 c #Conflicts: 588000 | #Constraints: 44486 1663.33/1667.69 c #Conflicts: 589000 | #Constraints: 45778 1663.33/1667.69 c #Conflicts: 590000 | #Constraints: 47458 1663.33/1667.69 c #Conflicts: 591000 | #Constraints: 49171 1663.33/1667.69 c INPROCESSING 1663.33/1667.69 c GARBAGE COLLECT 1663.33/1667.69 c rational objective 0 1749.54/1754.03 c #Conflicts: 592000 | #Constraints: 25625 1749.54/1754.03 c #Conflicts: 593000 | #Constraints: 26753 1749.54/1754.03 c #Conflicts: 594000 | #Constraints: 27892 1749.54/1754.03 c #Conflicts: 595000 | #Constraints: 29359 1749.54/1754.03 c #Conflicts: 596000 | #Constraints: 30506 1749.54/1754.03 c #Conflicts: 597000 | #Constraints: 31656 1749.54/1754.03 c #Conflicts: 598000 | #Constraints: 32663 1749.54/1754.03 c #Conflicts: 599000 | #Constraints: 33672 1749.54/1754.03 c #Conflicts: 600000 | #Constraints: 34773 1749.54/1754.03 c #Conflicts: 601000 | #Constraints: 35855 1749.54/1754.03 c #Conflicts: 602000 | #Constraints: 36915 1749.54/1754.03 c #Conflicts: 603000 | #Constraints: 38114 1749.54/1754.03 c #Conflicts: 604000 | #Constraints: 39115 1749.54/1754.03 c #Conflicts: 605000 | #Constraints: 40116 1749.54/1754.03 c #Conflicts: 606000 | #Constraints: 41119 1749.54/1754.03 c #Conflicts: 607000 | #Constraints: 42616 1749.54/1754.03 c INPROCESSING 1749.54/1754.03 c GARBAGE COLLECT 1749.54/1754.03 c rational objective 0 1833.03/1837.74 c #Conflicts: 608000 | #Constraints: 22688 1833.03/1837.74 c #Conflicts: 609000 | #Constraints: 24337 1833.03/1837.74 c #Conflicts: 610000 | #Constraints: 25990 1833.03/1837.74 c #Conflicts: 611000 | #Constraints: 27680 1833.03/1837.74 c #Conflicts: 612000 | #Constraints: 29230 1833.03/1837.74 c #Conflicts: 613000 | #Constraints: 30894 1833.03/1837.74 c #Conflicts: 614000 | #Constraints: 32571 1833.03/1837.74 c #Conflicts: 615000 | #Constraints: 34281 1833.03/1837.74 c #Conflicts: 616000 | #Constraints: 35970 1833.03/1837.74 c #Conflicts: 617000 | #Constraints: 37660 1833.03/1837.74 c #Conflicts: 618000 | #Constraints: 39370 1833.03/1837.74 c #Conflicts: 619000 | #Constraints: 40913 1833.03/1837.74 c #Conflicts: 620000 | #Constraints: 42631 1833.03/1837.74 c #Conflicts: 621000 | #Constraints: 44334 1833.03/1837.74 c #Conflicts: 622000 | #Constraints: 45965 1833.03/1837.74 c #Conflicts: 623000 | #Constraints: 47699 1833.03/1837.74 c INPROCESSING 1833.03/1837.74 c GARBAGE COLLECT 1833.03/1837.74 c rational objective 0 1938.68/1943.66 c #Conflicts: 624000 | #Constraints: 25186 1938.68/1943.66 c #Conflicts: 625000 | #Constraints: 26405 1938.68/1943.66 c #Conflicts: 626000 | #Constraints: 27586 1938.68/1943.66 c #Conflicts: 627000 | #Constraints: 28788 1938.68/1943.66 c #Conflicts: 628000 | #Constraints: 29970 1938.68/1943.66 c #Conflicts: 629000 | #Constraints: 30978 1938.68/1943.66 c #Conflicts: 630000 | #Constraints: 32168 1938.68/1943.66 c #Conflicts: 631000 | #Constraints: 33235 1938.68/1943.66 c #Conflicts: 632000 | #Constraints: 34503 1938.68/1943.66 c #Conflicts: 633000 | #Constraints: 35528 1938.68/1943.66 c #Conflicts: 634000 | #Constraints: 36737 1938.68/1943.66 c #Conflicts: 635000 | #Constraints: 37894 1938.68/1943.66 c #Conflicts: 636000 | #Constraints: 39139 1938.68/1943.66 c #Conflicts: 637000 | #Constraints: 40154 1938.68/1943.66 c #Conflicts: 638000 | #Constraints: 41407 1938.68/1943.66 c #Conflicts: 639000 | #Constraints: 42834 1938.68/1943.66 c INPROCESSING 1938.68/1943.66 c GARBAGE COLLECT 1938.68/1943.66 c rational objective 0 2000.93/2006.05 c #Conflicts: 640000 | #Constraints: 23159 2000.93/2006.05 c #Conflicts: 641000 | #Constraints: 24865 2000.93/2006.05 c #Conflicts: 642000 | #Constraints: 26561 2000.93/2006.05 c #Conflicts: 643000 | #Constraints: 27797 2000.93/2006.05 c #Conflicts: 644000 | #Constraints: 29454 2000.93/2006.05 c #Conflicts: 645000 | #Constraints: 30720 2000.93/2006.05 c #Conflicts: 646000 | #Constraints: 31725 2000.93/2006.05 c #Conflicts: 647000 | #Constraints: 32732 2000.93/2006.05 c #Conflicts: 648000 | #Constraints: 33734 2000.93/2006.05 c #Conflicts: 649000 | #Constraints: 34736 2000.93/2006.05 c #Conflicts: 650000 | #Constraints: 35736 2000.93/2006.05 c #Conflicts: 651000 | #Constraints: 36738 2000.93/2006.05 c #Conflicts: 652000 | #Constraints: 37742 2000.93/2006.05 c #Conflicts: 653000 | #Constraints: 38862 2000.93/2006.05 c #Conflicts: 654000 | #Constraints: 39862 2000.93/2006.05 c #Conflicts: 655000 | #Constraints: 40863 2000.93/2006.05 c INPROCESSING 2000.93/2006.05 c GARBAGE COLLECT 2000.93/2006.05 c rational objective 0 2064.37/2069.68 c #Conflicts: 656000 | #Constraints: 21663 2064.37/2069.68 c #Conflicts: 657000 | #Constraints: 23337 2064.37/2069.68 c #Conflicts: 658000 | #Constraints: 24416 2064.37/2069.68 c #Conflicts: 659000 | #Constraints: 25811 2064.37/2069.68 c #Conflicts: 660000 | #Constraints: 27221 2064.37/2069.68 c #Conflicts: 661000 | #Constraints: 28515 2064.37/2069.68 c #Conflicts: 662000 | #Constraints: 30002 2064.37/2069.68 c #Conflicts: 663000 | #Constraints: 31208 2064.37/2069.68 c #Conflicts: 664000 | #Constraints: 32562 2064.37/2069.68 c #Conflicts: 665000 | #Constraints: 33962 2064.37/2069.68 c #Conflicts: 666000 | #Constraints: 35009 2064.37/2069.68 c #Conflicts: 667000 | #Constraints: 36011 2064.37/2069.68 c #Conflicts: 668000 | #Constraints: 37012 2064.37/2069.68 c #Conflicts: 669000 | #Constraints: 38103 2064.37/2069.68 c #Conflicts: 670000 | #Constraints: 39106 2064.37/2069.68 c #Conflicts: 671000 | #Constraints: 40109 2064.37/2069.68 c INPROCESSING 2064.37/2069.68 c GARBAGE COLLECT 2064.37/2069.68 c rational objective 0 2160.63/2166.16 c #Conflicts: 672000 | #Constraints: 21041 2160.63/2166.16 c #Conflicts: 673000 | #Constraints: 22184 2160.63/2166.16 c #Conflicts: 674000 | #Constraints: 23185 2160.63/2166.16 c #Conflicts: 675000 | #Constraints: 24185 2160.63/2166.16 c #Conflicts: 676000 | #Constraints: 25186 2160.63/2166.16 c #Conflicts: 677000 | #Constraints: 26193 2160.63/2166.16 c #Conflicts: 678000 | #Constraints: 27195 2160.63/2166.16 c #Conflicts: 679000 | #Constraints: 28654 2160.63/2166.16 c #Conflicts: 680000 | #Constraints: 29816 2160.63/2166.16 c #Conflicts: 681000 | #Constraints: 30816 2160.63/2166.16 c #Conflicts: 682000 | #Constraints: 31819 2160.63/2166.16 c #Conflicts: 683000 | #Constraints: 32864 2160.63/2166.16 c #Conflicts: 684000 | #Constraints: 34556 2160.63/2166.16 c #Conflicts: 685000 | #Constraints: 35619 2160.63/2166.16 c #Conflicts: 686000 | #Constraints: 37058 2160.63/2166.16 c #Conflicts: 687000 | #Constraints: 38387 2160.63/2166.16 c #Conflicts: 688000 | #Constraints: 40070 2160.63/2166.16 c INPROCESSING 2160.63/2166.16 c GARBAGE COLLECT 2160.63/2166.16 c rational objective 0 2238.94/2244.60 c #Conflicts: 689000 | #Constraints: 21567 2238.94/2244.60 c #Conflicts: 690000 | #Constraints: 23246 2238.94/2244.60 c #Conflicts: 691000 | #Constraints: 24930 2238.94/2244.60 c #Conflicts: 692000 | #Constraints: 26619 2238.94/2244.60 c #Conflicts: 693000 | #Constraints: 28295 2238.94/2244.60 c #Conflicts: 694000 | #Constraints: 30023 2238.94/2244.60 c #Conflicts: 695000 | #Constraints: 31778 2238.94/2244.60 c #Conflicts: 696000 | #Constraints: 33506 2238.94/2244.60 c #Conflicts: 697000 | #Constraints: 35245 2238.94/2244.60 c #Conflicts: 698000 | #Constraints: 36963 2238.94/2244.60 c #Conflicts: 699000 | #Constraints: 38710 2238.94/2244.60 c #Conflicts: 700000 | #Constraints: 40488 2238.94/2244.60 c #Conflicts: 701000 | #Constraints: 42285 2238.94/2244.60 c #Conflicts: 702000 | #Constraints: 44024 2238.94/2244.60 c #Conflicts: 703000 | #Constraints: 45770 2238.94/2244.60 c #Conflicts: 704000 | #Constraints: 47518 2238.94/2244.60 c #Conflicts: 705000 | #Constraints: 49208 2238.94/2244.60 c INPROCESSING 2238.94/2244.60 c GARBAGE COLLECT 2238.94/2244.60 c rational objective 0 2374.50/2380.56 c #Conflicts: 706000 | #Constraints: 26390 2374.50/2380.56 c #Conflicts: 707000 | #Constraints: 28146 2374.50/2380.56 c #Conflicts: 708000 | #Constraints: 29906 2374.50/2380.56 c #Conflicts: 709000 | #Constraints: 31624 2374.50/2380.56 c #Conflicts: 710000 | #Constraints: 33372 2374.50/2380.56 c #Conflicts: 711000 | #Constraints: 35107 2374.50/2380.56 c #Conflicts: 712000 | #Constraints: 36874 2374.50/2380.56 c #Conflicts: 713000 | #Constraints: 38652 2374.50/2380.56 c #Conflicts: 714000 | #Constraints: 40419 2374.50/2380.56 c #Conflicts: 715000 | #Constraints: 42161 2374.50/2380.56 c #Conflicts: 716000 | #Constraints: 43934 2374.50/2380.56 c #Conflicts: 717000 | #Constraints: 45710 2374.50/2380.56 c #Conflicts: 718000 | #Constraints: 47445 2374.50/2380.56 c #Conflicts: 719000 | #Constraints: 49132 2374.50/2380.56 c #Conflicts: 720000 | #Constraints: 50852 2374.50/2380.56 c #Conflicts: 721000 | #Constraints: 52612 2374.50/2380.56 c #Conflicts: 722000 | #Constraints: 54348 2374.50/2380.56 c INPROCESSING 2374.50/2380.56 c GARBAGE COLLECT 2374.50/2380.56 c rational objective 0 2459.21/2465.46 c #Conflicts: 723000 | #Constraints: 28697 2459.21/2465.46 c #Conflicts: 724000 | #Constraints: 29911 2459.21/2465.46 c #Conflicts: 725000 | #Constraints: 31058 2459.21/2465.46 c #Conflicts: 726000 | #Constraints: 32076 2459.21/2465.46 c #Conflicts: 727000 | #Constraints: 33121 2459.21/2465.46 c #Conflicts: 728000 | #Constraints: 34122 2459.21/2465.46 c #Conflicts: 729000 | #Constraints: 35464 2459.21/2465.46 c #Conflicts: 730000 | #Constraints: 36505 2459.21/2465.46 c #Conflicts: 731000 | #Constraints: 37546 2459.21/2465.46 c #Conflicts: 732000 | #Constraints: 38813 2459.21/2465.46 c #Conflicts: 733000 | #Constraints: 40207 2459.21/2465.46 c #Conflicts: 734000 | #Constraints: 41210 2459.21/2465.46 c #Conflicts: 735000 | #Constraints: 42544 2459.21/2465.46 c #Conflicts: 736000 | #Constraints: 43698 2459.21/2465.46 c #Conflicts: 737000 | #Constraints: 44909 2459.21/2465.46 c #Conflicts: 738000 | #Constraints: 46148 2459.21/2465.46 c #Conflicts: 739000 | #Constraints: 47445 2459.21/2465.46 c INPROCESSING 2459.21/2465.46 c GARBAGE COLLECT 2459.21/2465.46 c rational objective 0 2542.71/2549.16 c #Conflicts: 740000 | #Constraints: 25213 2542.71/2549.16 c #Conflicts: 741000 | #Constraints: 26901 2542.71/2549.16 c #Conflicts: 742000 | #Constraints: 28593 2542.71/2549.16 c #Conflicts: 743000 | #Constraints: 30294 2542.71/2549.16 c #Conflicts: 744000 | #Constraints: 31967 2542.71/2549.16 c #Conflicts: 745000 | #Constraints: 33625 2542.71/2549.16 c #Conflicts: 746000 | #Constraints: 35291 2542.71/2549.16 c #Conflicts: 747000 | #Constraints: 36969 2542.71/2549.16 c #Conflicts: 748000 | #Constraints: 38677 2542.71/2549.16 c #Conflicts: 749000 | #Constraints: 40386 2542.71/2549.16 c #Conflicts: 750000 | #Constraints: 42101 2542.71/2549.16 c #Conflicts: 751000 | #Constraints: 43773 2542.71/2549.16 c #Conflicts: 752000 | #Constraints: 45497 2542.71/2549.16 c #Conflicts: 753000 | #Constraints: 47220 2542.71/2549.16 c #Conflicts: 754000 | #Constraints: 48927 2542.71/2549.16 c #Conflicts: 755000 | #Constraints: 50629 2542.71/2549.16 c #Conflicts: 756000 | #Constraints: 52318 2542.71/2549.16 c INPROCESSING 2542.71/2549.16 c GARBAGE COLLECT 2542.71/2549.16 c rational objective 0 2684.47/2691.25 c #Conflicts: 757000 | #Constraints: 27147 2684.47/2691.25 c #Conflicts: 758000 | #Constraints: 28271 2684.47/2691.25 c #Conflicts: 759000 | #Constraints: 29980 2684.47/2691.25 c #Conflicts: 760000 | #Constraints: 31425 2684.47/2691.25 c #Conflicts: 761000 | #Constraints: 32671 2684.47/2691.25 c #Conflicts: 762000 | #Constraints: 34027 2684.47/2691.25 c #Conflicts: 763000 | #Constraints: 35175 2684.47/2691.25 c #Conflicts: 764000 | #Constraints: 36785 2684.47/2691.25 c #Conflicts: 765000 | #Constraints: 38259 2684.47/2691.25 c #Conflicts: 766000 | #Constraints: 39636 2684.47/2691.25 c #Conflicts: 767000 | #Constraints: 41025 2684.47/2691.25 c #Conflicts: 768000 | #Constraints: 42295 2684.47/2691.25 c #Conflicts: 769000 | #Constraints: 43544 2684.47/2691.25 c #Conflicts: 770000 | #Constraints: 44775 2684.47/2691.25 c #Conflicts: 771000 | #Constraints: 46281 2684.47/2691.25 c #Conflicts: 772000 | #Constraints: 47620 2684.47/2691.25 c #Conflicts: 773000 | #Constraints: 49257 2684.47/2691.25 c #Conflicts: 774000 | #Constraints: 50944 2684.47/2691.25 c INPROCESSING 2684.47/2691.25 c GARBAGE COLLECT 2684.47/2691.25 c rational objective 0 2803.27/2810.36 c #Conflicts: 775000 | #Constraints: 26930 2803.27/2810.36 c #Conflicts: 776000 | #Constraints: 28630 2803.27/2810.36 c #Conflicts: 777000 | #Constraints: 30355 2803.27/2810.36 c #Conflicts: 778000 | #Constraints: 32085 2803.27/2810.36 c #Conflicts: 779000 | #Constraints: 33820 2803.27/2810.36 c #Conflicts: 780000 | #Constraints: 35572 2803.27/2810.36 c #Conflicts: 781000 | #Constraints: 37303 2803.27/2810.36 c #Conflicts: 782000 | #Constraints: 39059 2803.27/2810.36 c #Conflicts: 783000 | #Constraints: 40782 2803.27/2810.36 c #Conflicts: 784000 | #Constraints: 42522 2803.27/2810.36 c #Conflicts: 785000 | #Constraints: 44249 2803.27/2810.36 c #Conflicts: 786000 | #Constraints: 46016 2803.27/2810.36 c #Conflicts: 787000 | #Constraints: 47765 2803.27/2810.36 c #Conflicts: 788000 | #Constraints: 49466 2803.27/2810.36 c #Conflicts: 789000 | #Constraints: 51196 2803.27/2810.36 c #Conflicts: 790000 | #Constraints: 52910 2803.27/2810.36 c #Conflicts: 791000 | #Constraints: 54629 2803.27/2810.36 c #Conflicts: 792000 | #Constraints: 56308 2803.27/2810.36 c INPROCESSING 2803.27/2810.36 c GARBAGE COLLECT 2803.27/2810.36 c rational objective 0 2952.70/2960.10 c #Conflicts: 793000 | #Constraints: 29285 2952.70/2960.10 c #Conflicts: 794000 | #Constraints: 30362 2952.70/2960.10 c #Conflicts: 795000 | #Constraints: 31383 2952.70/2960.10 c #Conflicts: 796000 | #Constraints: 32387 2952.70/2960.10 c #Conflicts: 797000 | #Constraints: 33430 2952.70/2960.10 c #Conflicts: 798000 | #Constraints: 34478 2952.70/2960.10 c #Conflicts: 799000 | #Constraints: 35482 2952.70/2960.10 c #Conflicts: 800000 | #Constraints: 36526 2952.70/2960.10 c #Conflicts: 801000 | #Constraints: 37547 2952.70/2960.10 c #Conflicts: 802000 | #Constraints: 38557 2952.70/2960.10 c #Conflicts: 803000 | #Constraints: 39588 2952.70/2960.10 c #Conflicts: 804000 | #Constraints: 40595 2952.70/2960.10 c #Conflicts: 805000 | #Constraints: 41601 2952.70/2960.10 c #Conflicts: 806000 | #Constraints: 42602 2952.70/2960.10 c #Conflicts: 807000 | #Constraints: 43613 2952.70/2960.10 c #Conflicts: 808000 | #Constraints: 44649 2952.70/2960.10 c #Conflicts: 809000 | #Constraints: 45649 2952.70/2960.10 c #Conflicts: 810000 | #Constraints: 46656 2952.70/2960.10 c INPROCESSING 2952.70/2960.10 c GARBAGE COLLECT 2952.70/2960.10 c rational objective 0 3030.19/3037.83 c #Conflicts: 811000 | #Constraints: 24415 3030.19/3037.83 c #Conflicts: 812000 | #Constraints: 25490 3030.19/3037.83 c #Conflicts: 813000 | #Constraints: 26651 3030.19/3037.83 c #Conflicts: 814000 | #Constraints: 27775 3030.19/3037.83 c #Conflicts: 815000 | #Constraints: 28871 3030.19/3037.83 c #Conflicts: 816000 | #Constraints: 29889 3030.19/3037.83 c #Conflicts: 817000 | #Constraints: 30934 3030.19/3037.83 c #Conflicts: 818000 | #Constraints: 31938 3030.19/3037.83 c #Conflicts: 819000 | #Constraints: 32945 3030.19/3037.83 c #Conflicts: 820000 | #Constraints: 33949 3030.19/3037.83 c #Conflicts: 821000 | #Constraints: 34964 3030.19/3037.83 c #Conflicts: 822000 | #Constraints: 36005 3030.19/3037.83 c #Conflicts: 823000 | #Constraints: 37009 3030.19/3037.83 c #Conflicts: 824000 | #Constraints: 38208 3030.19/3037.83 c #Conflicts: 825000 | #Constraints: 39233 3030.19/3037.83 c #Conflicts: 826000 | #Constraints: 40244 3030.19/3037.83 c #Conflicts: 827000 | #Constraints: 41351 3030.19/3037.83 c #Conflicts: 828000 | #Constraints: 42354 3030.19/3037.83 c INPROCESSING 3030.19/3037.83 c GARBAGE COLLECT 3030.19/3037.83 c rational objective 0 3119.76/3127.64 c #Conflicts: 829000 | #Constraints: 22511 3119.76/3127.64 c #Conflicts: 830000 | #Constraints: 23785 3119.76/3127.64 c #Conflicts: 831000 | #Constraints: 24789 3119.76/3127.64 c #Conflicts: 832000 | #Constraints: 26010 3119.76/3127.64 c #Conflicts: 833000 | #Constraints: 27424 3119.76/3127.64 c #Conflicts: 834000 | #Constraints: 28602 3119.76/3127.64 c #Conflicts: 835000 | #Constraints: 29602 3119.76/3127.64 c #Conflicts: 836000 | #Constraints: 30678 3119.76/3127.64 c #Conflicts: 837000 | #Constraints: 31678 3119.76/3127.64 c #Conflicts: 838000 | #Constraints: 32679 3119.76/3127.64 c #Conflicts: 839000 | #Constraints: 33684 3119.76/3127.64 c #Conflicts: 840000 | #Constraints: 34684 3119.76/3127.64 c #Conflicts: 841000 | #Constraints: 35686 3119.76/3127.64 c #Conflicts: 842000 | #Constraints: 36690 3119.76/3127.64 c #Conflicts: 843000 | #Constraints: 37724 3119.76/3127.64 c #Conflicts: 844000 | #Constraints: 38900 3119.76/3127.64 c #Conflicts: 845000 | #Constraints: 39902 3119.76/3127.64 c #Conflicts: 846000 | #Constraints: 40903 3119.76/3127.64 c INPROCESSING 3119.76/3127.64 c GARBAGE COLLECT 3119.76/3127.64 c rational objective 0 3231.68/3239.80 c #Conflicts: 847000 | #Constraints: 21173 3231.68/3239.80 c #Conflicts: 848000 | #Constraints: 22174 3231.68/3239.80 c #Conflicts: 849000 | #Constraints: 23177 3231.68/3239.80 c #Conflicts: 850000 | #Constraints: 24178 3231.68/3239.80 c #Conflicts: 851000 | #Constraints: 25179 3231.68/3239.80 c #Conflicts: 852000 | #Constraints: 26179 3231.68/3239.80 c #Conflicts: 853000 | #Constraints: 27180 3231.68/3239.80 c #Conflicts: 854000 | #Constraints: 28181 3231.68/3239.80 c #Conflicts: 855000 | #Constraints: 29185 3231.68/3239.80 c #Conflicts: 856000 | #Constraints: 30188 3231.68/3239.80 c #Conflicts: 857000 | #Constraints: 31188 3231.68/3239.80 c #Conflicts: 858000 | #Constraints: 32189 3231.68/3239.80 c #Conflicts: 859000 | #Constraints: 33190 3231.68/3239.80 c #Conflicts: 860000 | #Constraints: 34190 3231.68/3239.80 c #Conflicts: 861000 | #Constraints: 35191 3231.68/3239.80 c #Conflicts: 862000 | #Constraints: 36191 3231.68/3239.80 c #Conflicts: 863000 | #Constraints: 37193 3231.68/3239.80 c #Conflicts: 864000 | #Constraints: 38194 3231.68/3239.80 c #Conflicts: 865000 | #Constraints: 39195 3231.68/3239.80 c INPROCESSING 3231.68/3239.80 c GARBAGE COLLECT 3231.68/3239.80 c rational objective 0 3345.29/3353.74 c #Conflicts: 866000 | #Constraints: 21025 3345.29/3353.74 c #Conflicts: 867000 | #Constraints: 22754 3345.29/3353.74 c #Conflicts: 868000 | #Constraints: 24448 3345.29/3353.74 c #Conflicts: 869000 | #Constraints: 26177 3345.29/3353.74 c #Conflicts: 870000 | #Constraints: 27852 3345.29/3353.74 c #Conflicts: 871000 | #Constraints: 29572 3345.29/3353.74 c #Conflicts: 872000 | #Constraints: 31268 3345.29/3353.74 c #Conflicts: 873000 | #Constraints: 32947 3345.29/3353.74 c #Conflicts: 874000 | #Constraints: 34385 3345.29/3353.74 c #Conflicts: 875000 | #Constraints: 35993 3345.29/3353.74 c #Conflicts: 876000 | #Constraints: 37792 3345.29/3353.74 c #Conflicts: 877000 | #Constraints: 39547 3345.29/3353.74 c #Conflicts: 878000 | #Constraints: 41319 3345.29/3353.74 c #Conflicts: 879000 | #Constraints: 43059 3345.29/3353.74 c #Conflicts: 880000 | #Constraints: 44797 3345.29/3353.74 c #Conflicts: 881000 | #Constraints: 46577 3345.29/3353.74 c #Conflicts: 882000 | #Constraints: 48351 3345.29/3353.74 c #Conflicts: 883000 | #Constraints: 50122 3345.29/3353.74 c #Conflicts: 884000 | #Constraints: 51892 3345.29/3353.74 c INPROCESSING 3345.29/3353.74 c GARBAGE COLLECT 3345.29/3353.74 c rational objective 0 3511.28/3520.13 c #Conflicts: 885000 | #Constraints: 27617 3511.28/3520.13 c #Conflicts: 886000 | #Constraints: 28948 3511.28/3520.13 c #Conflicts: 887000 | #Constraints: 30361 3511.28/3520.13 c #Conflicts: 888000 | #Constraints: 31832 3511.28/3520.13 c #Conflicts: 889000 | #Constraints: 33073 3511.28/3520.13 c #Conflicts: 890000 | #Constraints: 34091 3511.28/3520.13 c #Conflicts: 891000 | #Constraints: 35643 3511.28/3520.13 c #Conflicts: 892000 | #Constraints: 36859 3511.28/3520.13 c #Conflicts: 893000 | #Constraints: 38241 3511.28/3520.13 c #Conflicts: 894000 | #Constraints: 39748 3511.28/3520.13 c #Conflicts: 895000 | #Constraints: 41096 3511.28/3520.13 c #Conflicts: 896000 | #Constraints: 42609 3511.28/3520.13 c #Conflicts: 897000 | #Constraints: 43669 3511.28/3520.13 c #Conflicts: 898000 | #Constraints: 44919 3511.28/3520.13 c #Conflicts: 899000 | #Constraints: 46203 3511.28/3520.13 c #Conflicts: 900000 | #Constraints: 47203 3511.28/3520.13 c #Conflicts: 901000 | #Constraints: 48752 3511.28/3520.13 c #Conflicts: 902000 | #Constraints: 50148 3511.28/3520.13 c #Conflicts: 903000 | #Constraints: 51413 3511.28/3520.13 c INPROCESSING 3511.28/3520.13 c GARBAGE COLLECT 3511.28/3520.13 c rational objective 0 3584.49/3593.59 c #Conflicts: 904000 | #Constraints: 26734 3584.49/3593.59 c #Conflicts: 905000 | #Constraints: 27742 3584.49/3593.59 c #Conflicts: 906000 | #Constraints: 28746 3584.49/3593.59 c #Conflicts: 907000 | #Constraints: 29747 3584.49/3593.59 c #Conflicts: 908000 | #Constraints: 30750 3584.49/3593.59 c #Conflicts: 909000 | #Constraints: 31753 3584.49/3593.59 c #Conflicts: 910000 | #Constraints: 32755 3584.49/3593.59 c #Conflicts: 911000 | #Constraints: 33759 3584.49/3593.59 c #Conflicts: 912000 | #Constraints: 34763 3584.49/3593.59 c #Conflicts: 913000 | #Constraints: 35763 3584.49/3593.59 c #Conflicts: 914000 | #Constraints: 36765 3584.49/3593.59 c #Conflicts: 915000 | #Constraints: 37767 3584.49/3593.59 c #Conflicts: 916000 | #Constraints: 38769 3584.49/3593.59 c #Conflicts: 917000 | #Constraints: 39770 3584.49/3593.59 c #Conflicts: 918000 | #Constraints: 40770 3584.49/3593.59 c #Conflicts: 919000 | #Constraints: 41772 3584.49/3593.59 c #Conflicts: 920000 | #Constraints: 42775 3584.49/3593.59 c #Conflicts: 921000 | #Constraints: 43775 3584.49/3593.59 c #Conflicts: 922000 | #Constraints: 44778 3584.49/3593.59 c INPROCESSING 3584.49/3593.59 c GARBAGE COLLECT 3584.49/3593.59 c rational objective 0 3600.06/3609.10 c 3600.06/3609.10 s SATISFIABLE 3600.06/3609.10 v ~x1 x2 ~x3 ~x4 ~x5 ~x6 ~x7 ~x8 ~x9 ~x10 ~x11 ~x12 ~x13 ~x14 ~x15 ~x16 ~x17 ~x18 ~x19 ~x20 ~x21 ~x22 ~x23 ~x24 ~x25 x26 ~x27 ~x28 ~x29 ~x30 ~x31 ~x32 ~x33 ~x34 ~x35 ~x36 ~x37 ~x38 ~x39 ~x40 x41 x42 ~x43 ~x44 ~x45 ~x46 ~x47 ~x48 ~x49 ~x50 ~x51 ~x52 ~x53 ~x54 ~x55 ~x56 ~x57 ~x58 ~x59 ~x60 ~x61 ~x62 ~x63 ~x64 ~x65 ~x66 ~x67 ~x68 ~x69 ~x70 ~x71 ~x72 x73 ~x74 ~x75 ~x76 ~x77 ~x78 ~x79 ~x80 x81 ~x82 ~x83 ~x84 ~x85 ~x86 ~x87 ~x88 ~x89 ~x90 ~x91 ~x92 ~x93 ~x94 ~x95 ~x96 ~x97 ~x98 ~x99 ~x100 ~x101 ~x102 ~x103 ~x104 ~x105 x106 x107 ~x108 ~x109 ~x110 ~x111 ~x112 ~x113 ~x114 ~x115 ~x116 ~x117 ~x118 ~x119 ~x120 ~x121 x122 ~x123 ~x124 ~x125 ~x126 ~x127 ~x128 ~x129 x130 ~x131 ~x132 ~x133 ~x134 ~x135 ~x136 x137 ~x138 x139 ~x140 x141 ~x142 ~x143 x144 ~x145 ~x146 ~x147 x148 ~x149 ~x150 ~x151 ~x152 x153 x154 ~x155 x156 ~x157 ~x158 x159 ~x160 ~x161 x162 ~x163 x164 x165 x166 x167 x168 ~x169 x170 ~x171 x172 x173 ~x174 x175 x176 x177 ~x178 ~x179 ~x180 x181 ~x182 x183 x184 x185 x186 ~x187 x188 x189 x190 ~x191 ~x192 ~x193 x194 ~x195 x196 x197 x198 3600.06/3609.10 c #Conflicts: 923000 | #Constraints: 23366 3600.06/3609.10 c #Conflicts: 924000 | #Constraints: 24964
OK 17
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (62936 MiB free)
memory of node 1: 64510 MiB (61452 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429459-1721048710/watcher-4429459-1721048710 -o /tmp/evaluation-result-4429459-1721048710/solver-4429459-1721048710 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721048723-801652 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429459-1721048710.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=801704, runsolver pid=801691
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 1.89 3.38 3.84 7/257 801714
/proc/meminfo: memFree=127365760/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=37964 memory=9152 CPUtime=0.09 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 660 0 1 0 9 0 0 0 20 0 1 0 157035879 38875136 2288 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 9491 2288 1859 922 0 1443 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37964 KiB
Current children cumulated memory: 9152 KiB
[startup+0.205854 s]*
/proc/loadavg: 1.89 3.38 3.84 6/257 801714
/proc/meminfo: memFree=127361568/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=38360 memory=10208 CPUtime=0.2 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 919 0 1 0 19 1 0 0 20 0 1 0 157035879 39280640 2552 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 9590 2552 1859 922 0 1542 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38360 KiB
Current children cumulated memory: 10208 KiB
[startup+0.305081 s]*
/proc/loadavg: 2.14 3.41 3.84 7/257 801714
/proc/meminfo: memFree=127358072/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=38492 memory=12516 CPUtime=0.3 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 984 0 1 0 28 2 0 0 20 0 1 0 157035879 39415808 3129 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 9623 3129 1859 922 0 1575 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38492 KiB
Current children cumulated memory: 12516 KiB
[startup+0.700145 s]
/proc/loadavg: 2.14 3.41 3.84 7/257 801714
/proc/meminfo: memFree=127356512/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=39284 memory=13308 CPUtime=0.68 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 1166 0 1 0 65 3 0 0 20 0 1 0 157035879 40226816 3327 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 9821 3327 1859 922 0 1773 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39284 KiB
Current children cumulated memory: 13308 KiB
[startup+1.50015 s]
/proc/loadavg: 2.14 3.41 3.84 7/257 801714
/proc/meminfo: memFree=127353876/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=40516 memory=14628 CPUtime=1.48 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 1484 0 1 0 142 6 0 0 20 0 1 0 157035879 41488384 3657 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 10129 3657 1859 922 0 2081 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40516 KiB
Current children cumulated memory: 14628 KiB
[startup+3.10556 s]
/proc/loadavg: 2.14 3.41 3.84 7/257 801716
/proc/meminfo: memFree=127349844/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=41048 memory=15512 CPUtime=3.08 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 1696 0 1 0 297 11 0 0 20 0 1 0 157035879 42033152 3878 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 10262 3878 1859 922 0 2214 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41048 KiB
Current children cumulated memory: 15512 KiB
[startup+6.30014 s]
/proc/loadavg: 2.37 3.44 3.85 7/257 801716
/proc/meminfo: memFree=127344016/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=46152 memory=19868 CPUtime=6.27 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 2319 0 1 0 608 19 0 0 20 0 1 0 157035879 47259648 4967 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 11538 4967 1859 922 0 3490 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 46152 KiB
Current children cumulated memory: 19868 KiB
[startup+12.7002 s]
/proc/loadavg: 2.50 3.45 3.85 7/257 801717
/proc/meminfo: memFree=127328500/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=55152 memory=27668 CPUtime=12.66 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 3747 0 1 0 1236 30 0 0 20 0 1 0 157035879 56475648 6917 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 13788 6917 1859 922 0 5740 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 55152 KiB
Current children cumulated memory: 27668 KiB
[startup+25.5002 s]
/proc/loadavg: 2.73 3.46 3.85 7/257 801719
/proc/meminfo: memFree=127314496/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=67816 memory=35764 CPUtime=25.42 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 5287 0 1 0 2498 44 0 0 20 0 1 0 157035879 69443584 8941 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 16954 8941 1859 922 0 8906 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 67816 KiB
Current children cumulated memory: 35764 KiB
[startup+51.106 s]
/proc/loadavg: 3.37 3.55 3.87 7/257 801722
/proc/meminfo: memFree=127288396/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=69928 memory=42200 CPUtime=50.94 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 5820 0 2 0 5023 71 0 0 20 0 1 0 157035879 71606272 10550 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 17482 10550 1970 922 0 9434 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 69928 KiB
Current children cumulated memory: 42200 KiB
[startup+102.3 s]
/proc/loadavg: 3.79 3.64 3.88 7/257 801733
/proc/meminfo: memFree=127273036/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=76196 memory=48296 CPUtime=102.01 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 6896 0 2 0 10074 127 0 0 20 0 1 0 157035879 78024704 12074 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 19049 12074 1970 922 0 11001 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 76196 KiB
Current children cumulated memory: 48296 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 3.72 3.90 7/257 801744
/proc/meminfo: memFree=127263492/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=79496 memory=50544 CPUtime=161.88 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 7443 0 2 0 16013 175 0 0 20 0 1 0 157035879 81403904 12636 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 19874 12636 1986 922 0 11826 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 79496 KiB
Current children cumulated memory: 50544 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.81 3.92 7/257 801754
/proc/meminfo: memFree=127257200/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=80504 memory=51016 CPUtime=221.74 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 7665 0 2 0 21951 223 0 0 20 0 1 0 157035879 82436096 12754 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 20126 12754 1986 922 0 12078 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 80504 KiB
Current children cumulated memory: 51016 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.86 3.93 7/259 801768
/proc/meminfo: memFree=127233852/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=99604 memory=64376 CPUtime=281.58 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 9481 0 2 0 27898 260 0 0 20 0 1 0 157035879 101994496 16094 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 24901 16094 1986 922 0 16853 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 99604 KiB
Current children cumulated memory: 64376 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 3.89 3.94 7/257 801779
/proc/meminfo: memFree=127220124/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=100980 memory=71320 CPUtime=341.42 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 9973 0 2 0 33858 284 0 0 20 0 1 0 157035879 103403520 17830 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 25245 17830 1986 922 0 17197 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 100980 KiB
Current children cumulated memory: 71320 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.94 3.95 7/257 801789
/proc/meminfo: memFree=127215304/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=101620 memory=74744 CPUtime=401.28 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 10269 0 2 0 39811 317 0 0 20 0 1 0 157035879 104058880 18686 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 25405 18686 1986 922 0 17357 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 101620 KiB
Current children cumulated memory: 74744 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.00 3.97 7/256 801799
/proc/meminfo: memFree=127213676/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=102164 memory=74904 CPUtime=461.13 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 10380 0 2 0 45765 348 0 0 20 0 1 0 157035879 104615936 18726 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 25541 18726 1986 922 0 17493 0
################
# More data... #
################
Current children cumulated memory: 133392 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.07 7/258 802968
/proc/meminfo: memFree=127066508/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=187580 memory=133520 CPUtime=2914.98 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 20621 0 2 0 290415 1083 0 0 20 0 1 0 157035879 192081920 33380 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 46895 33380 1986 922 0 38847 0
Current children cumulated CPU time: 2914.98 s
Current children cumulated vsize: 187580 KiB
Current children cumulated memory: 133520 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.11 4.08 7/259 803362
/proc/meminfo: memFree=127064792/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=187580 memory=133520 CPUtime=2974.83 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 20653 0 2 0 296388 1095 0 0 20 0 1 0 157035879 192081920 33380 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 46895 33380 1986 922 0 38847 0
Current children cumulated CPU time: 2974.83 s
Current children cumulated vsize: 187580 KiB
Current children cumulated memory: 133520 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.08 7/257 803372
/proc/meminfo: memFree=127064388/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=187580 memory=133520 CPUtime=3034.68 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 20685 0 2 0 302356 1112 0 0 20 0 1 0 157035879 192081920 33380 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 46895 33380 1986 922 0 38847 0
Current children cumulated CPU time: 3034.68 s
Current children cumulated vsize: 187580 KiB
Current children cumulated memory: 133520 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.11 4.08 7/257 803382
/proc/meminfo: memFree=127064020/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=187580 memory=133520 CPUtime=3094.53 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 20717 0 2 0 308322 1131 0 0 20 0 1 0 157035879 192081920 33380 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 46895 33380 1986 922 0 38847 0
Current children cumulated CPU time: 3094.53 s
Current children cumulated vsize: 187580 KiB
Current children cumulated memory: 133520 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.08 7/259 803563
/proc/meminfo: memFree=127060372/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=187580 memory=133520 CPUtime=3154.37 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 20759 0 2 0 314294 1143 0 0 20 0 1 0 157035879 192081920 33380 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 46895 33380 1986 922 0 38847 0
Current children cumulated CPU time: 3154.37 s
Current children cumulated vsize: 187580 KiB
Current children cumulated memory: 133520 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.09 7/258 803573
/proc/meminfo: memFree=127060736/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=187580 memory=133520 CPUtime=3214.22 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 20804 0 2 0 320269 1153 0 0 20 0 1 0 157035879 192081920 33380 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 46895 33380 1986 922 0 38847 0
Current children cumulated CPU time: 3214.22 s
Current children cumulated vsize: 187580 KiB
Current children cumulated memory: 133520 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 7/259 803586
/proc/meminfo: memFree=127059636/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=187580 memory=133520 CPUtime=3274.07 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 20851 0 2 0 326240 1167 0 0 20 0 1 0 157035879 192081920 33380 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 46895 33380 1986 922 0 38847 0
Current children cumulated CPU time: 3274.07 s
Current children cumulated vsize: 187580 KiB
Current children cumulated memory: 133520 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 7/257 803608
/proc/meminfo: memFree=127059172/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=187580 memory=133552 CPUtime=3333.92 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 20921 0 2 0 332213 1179 0 0 20 0 1 0 157035879 192081920 33388 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 46895 33388 1986 922 0 38847 0
Current children cumulated CPU time: 3333.92 s
Current children cumulated vsize: 187580 KiB
Current children cumulated memory: 133552 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 7/257 803618
/proc/meminfo: memFree=127057764/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=188932 memory=134424 CPUtime=3393.77 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 21185 0 2 0 338185 1192 0 0 20 0 1 0 157035879 193466368 33606 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 47233 33606 1986 922 0 39185 0
Current children cumulated CPU time: 3393.77 s
Current children cumulated vsize: 188932 KiB
Current children cumulated memory: 134424 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 7/257 803628
/proc/meminfo: memFree=127057176/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=188932 memory=134424 CPUtime=3453.62 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 21238 0 2 0 344158 1204 0 0 20 0 1 0 157035879 193466368 33606 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 47233 33606 1986 922 0 39185 0
Current children cumulated CPU time: 3453.62 s
Current children cumulated vsize: 188932 KiB
Current children cumulated memory: 134424 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.11 4.09 7/255 803639
/proc/meminfo: memFree=127055100/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=189188 memory=134524 CPUtime=3513.46 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 21364 0 2 0 350133 1213 0 0 20 0 1 0 157035879 193728512 33631 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 47297 33631 1986 922 0 39249 0
Current children cumulated CPU time: 3513.46 s
Current children cumulated vsize: 189188 KiB
Current children cumulated memory: 134524 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 7/255 803650
/proc/meminfo: memFree=127054548/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=189188 memory=134716 CPUtime=3573.32 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 21414 0 2 0 356099 1233 0 0 20 0 1 0 157035879 193728512 33679 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 47297 33679 1986 922 0 39249 0
Current children cumulated CPU time: 3573.32 s
Current children cumulated vsize: 189188 KiB
Current children cumulated memory: 134716 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.06 4.09 4.09 6/250 803689
/proc/meminfo: memFree=127092872/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=189188 memory=134716 CPUtime=3600.06 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 21415 0 2 0 358767 1239 0 0 20 0 1 0 157035879 193728512 33679 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 47297 33679 1986 922 0 39249 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 189188 KiB
Current children cumulated memory: 134716 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.11 s]
# the end of solver process 801704 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3587.67 s, system=12.4006 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.06 4.09 4.09 6/250 803689
/proc/meminfo: memFree=127092872/131524600 swapFree=131071996/131071996
[pid=801704] ppid=801691 vsize=189188 memory=134716 CPUtime=3600.06 cores=1,3
/proc/801704/stat : 801704 (roundingsat) R 801691 801704 801640 0 -1 4194304 21415 0 2 0 358767 1239 0 0 20 0 1 0 157035879 193728512 33679 134679101440 4194304 7968869 140720822631536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 23973888 140720822633406 140720822633570 140720822633570 140720822640585 0
/proc/801704/statm: 47297 33679 1986 922 0 39249 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 189188 KiB
Current children cumulated memory: 134716 KiB
Child status: 1
Real time (s): 3609.11
CPU time (s): 3600.07
CPU user time (s): 3587.67
CPU system time (s): 12.4006
CPU usage (%): 99.7497
Max. virtual memory (cumulated for all children) (KiB): 189188
Max. memory (cumulated for all children) (KiB): 134716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.67
system time used= 12.4006
maximum resident set size= 134716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21425
page faults= 2
swaps= 0
block input operations= 224
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71
involuntary context switches= 1965
# summary of solver processes directly reported to runsolver:
# pid: 801704
# total CPU time (s): 3600.07
# total CPU user time (s): 3587.67
# total CPU system time (s): 12.4006
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79431 second user time and 20.2149 second system time
The end
Begin job on nodeC024 at 2024-07-15 15:05:23 IDJOB=4429459 IDBENCH=147578 IDSOLVER=3051 FILE ID=nodeC024/4429459-1721048710 RUNJOBID= nodeC024-1721048723-801652 SLURM_JOB_ID= 7505468 Free space on /tmp= 890084 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429459-1721048710/watcher-4429459-1721048710 -o /tmp/evaluation-result-4429459-1721048710/solver-4429459-1721048710 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721048723-801652 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429459-1721048710.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b4b357048b7fd6a2befaa81502734110 RANDOM SEED=546050995 nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3585.046 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.60 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3492.610 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.08 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3473.136 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.60 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3649.779 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.08 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3339.409 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.60 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3250.937 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.08 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3615.455 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.60 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3508.128 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.08 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127381672 kB MemAvailable: 129714824 kB Buffers: 358728 kB Cached: 2787936 kB SwapCached: 0 kB Active: 568436 kB Inactive: 2936096 kB Active(anon): 1448 kB Inactive(anon): 394140 kB Active(file): 566988 kB Inactive(file): 2541956 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 15436 kB Writeback: 0 kB AnonPages: 357580 kB Mapped: 103260 kB Shmem: 37720 kB KReclaimable: 127712 kB Slab: 235636 kB SReclaimable: 127712 kB SUnreclaim: 107924 kB KernelStack: 3872 kB PageTables: 9536 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 733592 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 59552 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 221908 kB DirectMap2M: 19474432 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 890048 MiB End job on nodeC024 at 2024-07-15 16:05:32