| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | Wrong Cert. | 3600.1 | 3610.01 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_3.opb |
| MD5SUM | 8548cf2fe8567884970fc9be656882ff |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 71 |
| Total number of constraints | 17 |
| Number of constraints which are clauses | 1 |
| 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 | 1 |
| Maximum length of a constraint | 70 |
| Number of terms in the objective function | 1 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1 |
| Number of bits of the sum of numbers in the objective function | 1 |
| Biggest number in a constraint | 1782 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5346 |
| 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 71 #constraints 17 0.00/0.00 c bounds 1 >= 0 @ 0.001953 0.00/0.00 c rational objective 0 0.21/0.29 c #Conflicts: 1000 | #Constraints: 1040 0.21/0.29 c #Conflicts: 2000 | #Constraints: 2050 0.21/0.29 c INPROCESSING 0.21/0.29 c GARBAGE COLLECT 0.21/0.29 c rational objective 0 0.60/0.68 c #Conflicts: 3000 | #Constraints: 2049 0.60/0.68 c #Conflicts: 4000 | #Constraints: 3057 0.60/0.68 c INPROCESSING 0.60/0.68 c GARBAGE COLLECT 0.60/0.68 c rational objective 0 1.10/1.18 c #Conflicts: 5000 | #Constraints: 2449 1.10/1.18 c #Conflicts: 6000 | #Constraints: 3453 1.10/1.18 c INPROCESSING 1.10/1.18 c GARBAGE COLLECT 1.10/1.18 c rational objective 0 1.79/1.86 c #Conflicts: 7000 | #Constraints: 2451 1.79/1.86 c #Conflicts: 8000 | #Constraints: 3453 1.79/1.86 c #Conflicts: 9000 | #Constraints: 4455 1.79/1.86 c INPROCESSING 1.79/1.86 c GARBAGE COLLECT 1.79/1.86 c rational objective 0 2.59/2.67 c #Conflicts: 10000 | #Constraints: 3153 2.59/2.67 c #Conflicts: 11000 | #Constraints: 4156 2.59/2.67 c #Conflicts: 12000 | #Constraints: 5164 2.59/2.67 c INPROCESSING 2.59/2.67 c GARBAGE COLLECT 2.59/2.67 c rational objective 0 3.58/3.67 c #Conflicts: 13000 | #Constraints: 3600 3.58/3.67 c #Conflicts: 14000 | #Constraints: 4604 3.58/3.67 c #Conflicts: 15000 | #Constraints: 5605 3.58/3.67 c INPROCESSING 3.58/3.67 c GARBAGE COLLECT 3.58/3.67 c rational objective 0 4.99/5.01 c #Conflicts: 16000 | #Constraints: 3827 4.99/5.01 c #Conflicts: 17000 | #Constraints: 4830 4.99/5.01 c #Conflicts: 18000 | #Constraints: 5831 4.99/5.01 c INPROCESSING 4.99/5.01 c GARBAGE COLLECT 4.99/5.01 c rational objective 0 7.27/7.36 c #Conflicts: 19000 | #Constraints: 4273 7.27/7.36 c #Conflicts: 20000 | #Constraints: 6060 7.27/7.36 c #Conflicts: 21000 | #Constraints: 7838 7.27/7.36 c INPROCESSING 7.27/7.36 c GARBAGE COLLECT 7.27/7.36 c rational objective 0 10.26/10.36 c #Conflicts: 22000 | #Constraints: 5177 10.26/10.36 c #Conflicts: 23000 | #Constraints: 6924 10.26/10.36 c #Conflicts: 24000 | #Constraints: 8671 10.26/10.36 c #Conflicts: 25000 | #Constraints: 10453 10.26/10.36 c INPROCESSING 10.26/10.36 c GARBAGE COLLECT 10.26/10.36 c rational objective 0 13.45/13.55 c #Conflicts: 26000 | #Constraints: 6853 13.45/13.55 c #Conflicts: 27000 | #Constraints: 8628 13.45/13.55 c #Conflicts: 28000 | #Constraints: 10326 13.45/13.55 c #Conflicts: 29000 | #Constraints: 12078 13.45/13.55 c INPROCESSING 13.45/13.55 c GARBAGE COLLECT 13.45/13.55 c rational objective 0 16.85/17.00 c #Conflicts: 30000 | #Constraints: 7351 16.85/17.00 c #Conflicts: 31000 | #Constraints: 8602 16.85/17.00 c #Conflicts: 32000 | #Constraints: 9922 16.85/17.00 c #Conflicts: 33000 | #Constraints: 11136 16.85/17.00 c INPROCESSING 16.85/17.00 c GARBAGE COLLECT 16.85/17.00 c rational objective 0 20.54/20.61 c #Conflicts: 34000 | #Constraints: 6656 20.54/20.61 c #Conflicts: 35000 | #Constraints: 7717 20.54/20.61 c #Conflicts: 36000 | #Constraints: 8836 20.54/20.61 c #Conflicts: 37000 | #Constraints: 9836 20.54/20.61 c INPROCESSING 20.54/20.61 c GARBAGE COLLECT 20.54/20.61 c rational objective 0 24.33/24.41 c #Conflicts: 38000 | #Constraints: 5958 24.33/24.41 c #Conflicts: 39000 | #Constraints: 7034 24.33/24.41 c #Conflicts: 40000 | #Constraints: 8063 24.33/24.41 c #Conflicts: 41000 | #Constraints: 9125 24.33/24.41 c INPROCESSING 24.33/24.41 c GARBAGE COLLECT 24.33/24.41 c rational objective 0 28.31/28.40 c #Conflicts: 42000 | #Constraints: 5285 28.31/28.40 c #Conflicts: 43000 | #Constraints: 6286 28.31/28.40 c #Conflicts: 44000 | #Constraints: 7287 28.31/28.40 c #Conflicts: 45000 | #Constraints: 8291 28.31/28.40 c #Conflicts: 46000 | #Constraints: 9298 28.31/28.40 c INPROCESSING 28.31/28.40 c GARBAGE COLLECT 28.31/28.40 c rational objective 0 33.60/33.73 c #Conflicts: 47000 | #Constraints: 6101 33.60/33.73 c #Conflicts: 48000 | #Constraints: 7895 33.60/33.73 c #Conflicts: 49000 | #Constraints: 8954 33.60/33.73 c #Conflicts: 50000 | #Constraints: 10430 33.60/33.73 c #Conflicts: 51000 | #Constraints: 11510 33.60/33.73 c INPROCESSING 33.60/33.73 c GARBAGE COLLECT 33.60/33.73 c rational objective 0 41.00/41.12 c #Conflicts: 52000 | #Constraints: 7389 41.00/41.12 c #Conflicts: 53000 | #Constraints: 9171 41.00/41.12 c #Conflicts: 54000 | #Constraints: 10810 41.00/41.12 c #Conflicts: 55000 | #Constraints: 12628 41.00/41.12 c #Conflicts: 56000 | #Constraints: 13899 41.00/41.12 c INPROCESSING 41.00/41.12 c GARBAGE COLLECT 41.00/41.12 c rational objective 0 47.37/47.53 c #Conflicts: 57000 | #Constraints: 8024 47.37/47.53 c #Conflicts: 58000 | #Constraints: 9046 47.37/47.53 c #Conflicts: 59000 | #Constraints: 10050 47.37/47.53 c #Conflicts: 60000 | #Constraints: 11066 47.37/47.53 c #Conflicts: 61000 | #Constraints: 12074 47.37/47.53 c INPROCESSING 47.37/47.53 c GARBAGE COLLECT 47.37/47.53 c rational objective 0 55.35/55.59 c #Conflicts: 62000 | #Constraints: 7208 55.35/55.59 c #Conflicts: 63000 | #Constraints: 8719 55.35/55.59 c #Conflicts: 64000 | #Constraints: 10507 55.35/55.59 c #Conflicts: 65000 | #Constraints: 12025 55.35/55.59 c #Conflicts: 66000 | #Constraints: 13324 55.35/55.59 c INPROCESSING 55.35/55.59 c GARBAGE COLLECT 55.35/55.59 c rational objective 0 64.12/64.36 c #Conflicts: 67000 | #Constraints: 7872 64.12/64.36 c #Conflicts: 68000 | #Constraints: 9488 64.12/64.36 c #Conflicts: 69000 | #Constraints: 11291 64.12/64.36 c #Conflicts: 70000 | #Constraints: 13068 64.12/64.36 c #Conflicts: 71000 | #Constraints: 14577 64.12/64.36 c #Conflicts: 72000 | #Constraints: 16068 64.12/64.36 c INPROCESSING 64.12/64.36 c GARBAGE COLLECT 64.12/64.36 c rational objective 0 71.71/71.97 c #Conflicts: 73000 | #Constraints: 9038 71.71/71.97 c #Conflicts: 74000 | #Constraints: 10051 71.71/71.97 c #Conflicts: 75000 | #Constraints: 11054 71.71/71.97 c #Conflicts: 76000 | #Constraints: 12054 71.71/71.97 c #Conflicts: 77000 | #Constraints: 13055 71.71/71.97 c #Conflicts: 78000 | #Constraints: 14057 71.71/71.97 c INPROCESSING 71.71/71.97 c GARBAGE COLLECT 71.71/71.97 c rational objective 0 79.81/80.05 c #Conflicts: 79000 | #Constraints: 8202 79.81/80.05 c #Conflicts: 80000 | #Constraints: 9278 79.81/80.05 c #Conflicts: 81000 | #Constraints: 10549 79.81/80.05 c #Conflicts: 82000 | #Constraints: 11582 79.81/80.05 c #Conflicts: 83000 | #Constraints: 12584 79.81/80.05 c #Conflicts: 84000 | #Constraints: 13644 79.81/80.05 c INPROCESSING 79.81/80.05 c GARBAGE COLLECT 79.81/80.05 c rational objective 0 88.17/88.41 c #Conflicts: 85000 | #Constraints: 7881 88.17/88.41 c #Conflicts: 86000 | #Constraints: 8907 88.17/88.41 c #Conflicts: 87000 | #Constraints: 9946 88.17/88.41 c #Conflicts: 88000 | #Constraints: 11033 88.17/88.41 c #Conflicts: 89000 | #Constraints: 12126 88.17/88.41 c #Conflicts: 90000 | #Constraints: 13218 88.17/88.41 c INPROCESSING 88.17/88.41 c GARBAGE COLLECT 88.17/88.41 c rational objective 0 97.94/98.26 c #Conflicts: 91000 | #Constraints: 7530 97.94/98.26 c #Conflicts: 92000 | #Constraints: 8728 97.94/98.26 c #Conflicts: 93000 | #Constraints: 10258 97.94/98.26 c #Conflicts: 94000 | #Constraints: 11625 97.94/98.26 c #Conflicts: 95000 | #Constraints: 12996 97.94/98.26 c #Conflicts: 96000 | #Constraints: 14594 97.94/98.26 c INPROCESSING 97.94/98.26 c GARBAGE COLLECT 97.94/98.26 c rational objective 0 107.41/107.77 c #Conflicts: 97000 | #Constraints: 8019 107.41/107.77 c #Conflicts: 98000 | #Constraints: 9019 107.41/107.77 c #Conflicts: 99000 | #Constraints: 10019 107.41/107.77 c #Conflicts: 100000 | #Constraints: 11019 107.41/107.77 c #Conflicts: 101000 | #Constraints: 12019 107.41/107.77 c #Conflicts: 102000 | #Constraints: 13021 107.41/107.77 c #Conflicts: 103000 | #Constraints: 14021 107.41/107.77 c INPROCESSING 107.41/107.77 c GARBAGE COLLECT 107.41/107.77 c rational objective 0 118.88/119.26 c #Conflicts: 104000 | #Constraints: 8389 118.88/119.26 c #Conflicts: 105000 | #Constraints: 10139 118.88/119.26 c #Conflicts: 106000 | #Constraints: 11845 118.88/119.26 c #Conflicts: 107000 | #Constraints: 13600 118.88/119.26 c #Conflicts: 108000 | #Constraints: 15337 118.88/119.26 c #Conflicts: 109000 | #Constraints: 17105 118.88/119.26 c #Conflicts: 110000 | #Constraints: 18360 118.88/119.26 c INPROCESSING 118.88/119.26 c GARBAGE COLLECT 118.88/119.26 c rational objective 0 134.33/134.72 c #Conflicts: 111000 | #Constraints: 10774 134.33/134.72 c #Conflicts: 112000 | #Constraints: 12486 134.33/134.72 c #Conflicts: 113000 | #Constraints: 14218 134.33/134.72 c #Conflicts: 114000 | #Constraints: 15969 134.33/134.72 c #Conflicts: 115000 | #Constraints: 17755 134.33/134.72 c #Conflicts: 116000 | #Constraints: 19491 134.33/134.72 c #Conflicts: 117000 | #Constraints: 21284 134.33/134.72 c INPROCESSING 134.33/134.72 c GARBAGE COLLECT 134.33/134.72 c rational objective 0 148.48/149.01 c #Conflicts: 118000 | #Constraints: 11659 148.48/149.01 c #Conflicts: 119000 | #Constraints: 12663 148.48/149.01 c #Conflicts: 120000 | #Constraints: 13665 148.48/149.01 c #Conflicts: 121000 | #Constraints: 14668 148.48/149.01 c #Conflicts: 122000 | #Constraints: 15669 148.48/149.01 c #Conflicts: 123000 | #Constraints: 16673 148.48/149.01 c #Conflicts: 124000 | #Constraints: 17674 148.48/149.01 c INPROCESSING 148.48/149.01 c GARBAGE COLLECT 148.48/149.01 c rational objective 0 161.35/161.86 c #Conflicts: 125000 | #Constraints: 9926 161.35/161.86 c #Conflicts: 126000 | #Constraints: 10999 161.35/161.86 c #Conflicts: 127000 | #Constraints: 11999 161.35/161.86 c #Conflicts: 128000 | #Constraints: 13155 161.35/161.86 c #Conflicts: 129000 | #Constraints: 14156 161.35/161.86 c #Conflicts: 130000 | #Constraints: 15157 161.35/161.86 c #Conflicts: 131000 | #Constraints: 16157 161.35/161.86 c INPROCESSING 161.35/161.86 c GARBAGE COLLECT 161.35/161.86 c rational objective 0 174.11/174.63 c #Conflicts: 132000 | #Constraints: 8872 174.11/174.63 c #Conflicts: 133000 | #Constraints: 9872 174.11/174.63 c #Conflicts: 134000 | #Constraints: 11022 174.11/174.63 c #Conflicts: 135000 | #Constraints: 12022 174.11/174.63 c #Conflicts: 136000 | #Constraints: 13022 174.11/174.63 c #Conflicts: 137000 | #Constraints: 14336 174.11/174.63 c #Conflicts: 138000 | #Constraints: 15336 174.11/174.63 c #Conflicts: 139000 | #Constraints: 16336 174.11/174.63 c INPROCESSING 174.11/174.63 c GARBAGE COLLECT 174.11/174.63 c rational objective 0 188.08/188.60 c #Conflicts: 140000 | #Constraints: 9113 188.08/188.60 c #Conflicts: 141000 | #Constraints: 10149 188.08/188.60 c #Conflicts: 142000 | #Constraints: 11150 188.08/188.60 c #Conflicts: 143000 | #Constraints: 12189 188.08/188.60 c #Conflicts: 144000 | #Constraints: 13190 188.08/188.60 c #Conflicts: 145000 | #Constraints: 14190 188.08/188.60 c #Conflicts: 146000 | #Constraints: 15216 188.08/188.60 c #Conflicts: 147000 | #Constraints: 16216 188.08/188.60 c INPROCESSING 188.08/188.60 c GARBAGE COLLECT 188.08/188.60 c rational objective 0 200.93/201.50 c #Conflicts: 148000 | #Constraints: 9129 200.93/201.50 c #Conflicts: 149000 | #Constraints: 10130 200.93/201.50 c #Conflicts: 150000 | #Constraints: 11136 200.93/201.50 c #Conflicts: 151000 | #Constraints: 12141 200.93/201.50 c #Conflicts: 152000 | #Constraints: 13142 200.93/201.50 c #Conflicts: 153000 | #Constraints: 14144 200.93/201.50 c #Conflicts: 154000 | #Constraints: 15152 200.93/201.50 c #Conflicts: 155000 | #Constraints: 16154 200.93/201.50 c INPROCESSING 200.93/201.50 c GARBAGE COLLECT 200.93/201.50 c rational objective 0 217.78/218.45 c #Conflicts: 156000 | #Constraints: 9781 217.78/218.45 c #Conflicts: 157000 | #Constraints: 11521 217.78/218.45 c #Conflicts: 158000 | #Constraints: 13048 217.78/218.45 c #Conflicts: 159000 | #Constraints: 14747 217.78/218.45 c #Conflicts: 160000 | #Constraints: 16547 217.78/218.45 c #Conflicts: 161000 | #Constraints: 18300 217.78/218.45 c #Conflicts: 162000 | #Constraints: 20056 217.78/218.45 c #Conflicts: 163000 | #Constraints: 21799 217.78/218.45 c INPROCESSING 217.78/218.45 c GARBAGE COLLECT 217.78/218.45 c rational objective 0 234.72/235.44 c #Conflicts: 164000 | #Constraints: 12039 234.72/235.44 c #Conflicts: 165000 | #Constraints: 13042 234.72/235.44 c #Conflicts: 166000 | #Constraints: 14268 234.72/235.44 c #Conflicts: 167000 | #Constraints: 15434 234.72/235.44 c #Conflicts: 168000 | #Constraints: 16476 234.72/235.44 c #Conflicts: 169000 | #Constraints: 17762 234.72/235.44 c #Conflicts: 170000 | #Constraints: 19036 234.72/235.44 c #Conflicts: 171000 | #Constraints: 20038 234.72/235.44 c INPROCESSING 234.72/235.44 c GARBAGE COLLECT 234.72/235.44 c rational objective 0 251.87/252.70 c #Conflicts: 172000 | #Constraints: 10908 251.87/252.70 c #Conflicts: 173000 | #Constraints: 11909 251.87/252.70 c #Conflicts: 174000 | #Constraints: 12909 251.87/252.70 c #Conflicts: 175000 | #Constraints: 13942 251.87/252.70 c #Conflicts: 176000 | #Constraints: 14943 251.87/252.70 c #Conflicts: 177000 | #Constraints: 15943 251.87/252.70 c #Conflicts: 178000 | #Constraints: 16945 251.87/252.70 c #Conflicts: 179000 | #Constraints: 17945 251.87/252.70 c #Conflicts: 180000 | #Constraints: 18946 251.87/252.70 c INPROCESSING 251.87/252.70 c GARBAGE COLLECT 251.87/252.70 c rational objective 0 273.41/274.28 c #Conflicts: 181000 | #Constraints: 10497 273.41/274.28 c #Conflicts: 182000 | #Constraints: 11793 273.41/274.28 c #Conflicts: 183000 | #Constraints: 13066 273.41/274.28 c #Conflicts: 184000 | #Constraints: 14669 273.41/274.28 c #Conflicts: 185000 | #Constraints: 15879 273.41/274.28 c #Conflicts: 186000 | #Constraints: 17271 273.41/274.28 c #Conflicts: 187000 | #Constraints: 19040 273.41/274.28 c #Conflicts: 188000 | #Constraints: 20764 273.41/274.28 c #Conflicts: 189000 | #Constraints: 22455 273.41/274.28 c INPROCESSING 273.41/274.28 c GARBAGE COLLECT 273.41/274.28 c rational objective 0 304.70/305.65 c #Conflicts: 190000 | #Constraints: 12463 304.70/305.65 c #Conflicts: 191000 | #Constraints: 14021 304.70/305.65 c #Conflicts: 192000 | #Constraints: 15750 304.70/305.65 c #Conflicts: 193000 | #Constraints: 17402 304.70/305.65 c #Conflicts: 194000 | #Constraints: 18676 304.70/305.65 c #Conflicts: 195000 | #Constraints: 20280 304.70/305.65 c #Conflicts: 196000 | #Constraints: 21677 304.70/305.65 c #Conflicts: 197000 | #Constraints: 22940 304.70/305.65 c #Conflicts: 198000 | #Constraints: 23941 304.70/305.65 c INPROCESSING 304.70/305.65 c GARBAGE COLLECT 304.70/305.65 c rational objective 0 333.21/334.26 c #Conflicts: 199000 | #Constraints: 13486 333.21/334.26 c #Conflicts: 200000 | #Constraints: 14814 333.21/334.26 c #Conflicts: 201000 | #Constraints: 15816 333.21/334.26 c #Conflicts: 202000 | #Constraints: 16910 333.21/334.26 c #Conflicts: 203000 | #Constraints: 18369 333.21/334.26 c #Conflicts: 204000 | #Constraints: 19856 333.21/334.26 c #Conflicts: 205000 | #Constraints: 21332 333.21/334.26 c #Conflicts: 206000 | #Constraints: 22516 333.21/334.26 c #Conflicts: 207000 | #Constraints: 23702 333.21/334.26 c INPROCESSING 333.21/334.26 c GARBAGE COLLECT 333.21/334.26 c rational objective 0 360.32/361.49 c #Conflicts: 208000 | #Constraints: 12881 360.32/361.49 c #Conflicts: 209000 | #Constraints: 13932 360.32/361.49 c #Conflicts: 210000 | #Constraints: 15184 360.32/361.49 c #Conflicts: 211000 | #Constraints: 16342 360.32/361.49 c #Conflicts: 212000 | #Constraints: 17342 360.32/361.49 c #Conflicts: 213000 | #Constraints: 18351 360.32/361.49 c #Conflicts: 214000 | #Constraints: 19351 360.32/361.49 c #Conflicts: 215000 | #Constraints: 20381 360.32/361.49 c #Conflicts: 216000 | #Constraints: 21381 360.32/361.49 c INPROCESSING 360.32/361.49 c GARBAGE COLLECT 360.32/361.49 c rational objective 0 386.34/387.53 c #Conflicts: 217000 | #Constraints: 11412 386.34/387.53 c #Conflicts: 218000 | #Constraints: 12412 386.34/387.53 c #Conflicts: 219000 | #Constraints: 13413 386.34/387.53 c #Conflicts: 220000 | #Constraints: 14413 386.34/387.53 c #Conflicts: 221000 | #Constraints: 15413 386.34/387.53 c #Conflicts: 222000 | #Constraints: 16413 386.34/387.53 c #Conflicts: 223000 | #Constraints: 17414 386.34/387.53 c #Conflicts: 224000 | #Constraints: 18414 386.34/387.53 c #Conflicts: 225000 | #Constraints: 19417 386.34/387.53 c #Conflicts: 226000 | #Constraints: 20419 386.34/387.53 c INPROCESSING 386.34/387.53 c GARBAGE COLLECT 386.34/387.53 c rational objective 0 409.18/410.46 c #Conflicts: 227000 | #Constraints: 11195 409.18/410.46 c #Conflicts: 228000 | #Constraints: 12241 409.18/410.46 c #Conflicts: 229000 | #Constraints: 13273 409.18/410.46 c #Conflicts: 230000 | #Constraints: 14284 409.18/410.46 c #Conflicts: 231000 | #Constraints: 15309 409.18/410.46 c #Conflicts: 232000 | #Constraints: 16309 409.18/410.46 c #Conflicts: 233000 | #Constraints: 17309 409.18/410.46 c #Conflicts: 234000 | #Constraints: 18327 409.18/410.46 c #Conflicts: 235000 | #Constraints: 19327 409.18/410.46 c #Conflicts: 236000 | #Constraints: 20327 409.18/410.46 c INPROCESSING 409.18/410.46 c GARBAGE COLLECT 409.18/410.46 c rational objective 0 433.30/434.66 c #Conflicts: 237000 | #Constraints: 11289 433.30/434.66 c #Conflicts: 238000 | #Constraints: 12618 433.30/434.66 c #Conflicts: 239000 | #Constraints: 13639 433.30/434.66 c #Conflicts: 240000 | #Constraints: 14668 433.30/434.66 c #Conflicts: 241000 | #Constraints: 16000 433.30/434.66 c #Conflicts: 242000 | #Constraints: 17067 433.30/434.66 c #Conflicts: 243000 | #Constraints: 18068 433.30/434.66 c #Conflicts: 244000 | #Constraints: 19250 433.30/434.66 c #Conflicts: 245000 | #Constraints: 20404 433.30/434.66 c #Conflicts: 246000 | #Constraints: 21404 433.30/434.66 c INPROCESSING 433.30/434.66 c GARBAGE COLLECT 433.30/434.66 c rational objective 0 468.49/469.94 c #Conflicts: 247000 | #Constraints: 12336 468.49/469.94 c #Conflicts: 248000 | #Constraints: 14063 468.49/469.94 c #Conflicts: 249000 | #Constraints: 15820 468.49/469.94 c #Conflicts: 250000 | #Constraints: 17561 468.49/469.94 c #Conflicts: 251000 | #Constraints: 19315 468.49/469.94 c #Conflicts: 252000 | #Constraints: 21044 468.49/469.94 c #Conflicts: 253000 | #Constraints: 22757 468.49/469.94 c #Conflicts: 254000 | #Constraints: 24469 468.49/469.94 c #Conflicts: 255000 | #Constraints: 26213 468.49/469.94 c #Conflicts: 256000 | #Constraints: 27930 468.49/469.94 c INPROCESSING 468.49/469.94 c GARBAGE COLLECT 468.49/469.94 c rational objective 0 498.60/500.12 c #Conflicts: 257000 | #Constraints: 15024 498.60/500.12 c #Conflicts: 258000 | #Constraints: 16030 498.60/500.12 c #Conflicts: 259000 | #Constraints: 17373 498.60/500.12 c #Conflicts: 260000 | #Constraints: 18374 498.60/500.12 c #Conflicts: 261000 | #Constraints: 19490 498.60/500.12 c #Conflicts: 262000 | #Constraints: 20518 498.60/500.12 c #Conflicts: 263000 | #Constraints: 21710 498.60/500.12 c #Conflicts: 264000 | #Constraints: 22936 498.60/500.12 c #Conflicts: 265000 | #Constraints: 23936 498.60/500.12 c #Conflicts: 266000 | #Constraints: 24936 498.60/500.12 c INPROCESSING 498.60/500.12 c GARBAGE COLLECT 498.60/500.12 c rational objective 0 530.99/532.64 c #Conflicts: 267000 | #Constraints: 13386 530.99/532.64 c #Conflicts: 268000 | #Constraints: 14424 530.99/532.64 c #Conflicts: 269000 | #Constraints: 15454 530.99/532.64 c #Conflicts: 270000 | #Constraints: 16506 530.99/532.64 c #Conflicts: 271000 | #Constraints: 17510 530.99/532.64 c #Conflicts: 272000 | #Constraints: 18638 530.99/532.64 c #Conflicts: 273000 | #Constraints: 20050 530.99/532.64 c #Conflicts: 274000 | #Constraints: 21433 530.99/532.64 c #Conflicts: 275000 | #Constraints: 22554 530.99/532.64 c #Conflicts: 276000 | #Constraints: 23626 530.99/532.64 c #Conflicts: 277000 | #Constraints: 24626 530.99/532.64 c INPROCESSING 530.99/532.64 c GARBAGE COLLECT 530.99/532.64 c rational objective 0 573.05/574.85 c #Conflicts: 278000 | #Constraints: 13520 573.05/574.85 c #Conflicts: 279000 | #Constraints: 15088 573.05/574.85 c #Conflicts: 280000 | #Constraints: 16847 573.05/574.85 c #Conflicts: 281000 | #Constraints: 18568 573.05/574.85 c #Conflicts: 282000 | #Constraints: 20288 573.05/574.85 c #Conflicts: 283000 | #Constraints: 22026 573.05/574.85 c #Conflicts: 284000 | #Constraints: 23621 573.05/574.85 c #Conflicts: 285000 | #Constraints: 24623 573.05/574.85 c #Conflicts: 286000 | #Constraints: 26021 573.05/574.85 c #Conflicts: 287000 | #Constraints: 27751 573.05/574.85 c #Conflicts: 288000 | #Constraints: 29524 573.05/574.85 c INPROCESSING 573.05/574.85 c GARBAGE COLLECT 573.05/574.85 c rational objective 0 610.84/612.74 c #Conflicts: 289000 | #Constraints: 16029 610.84/612.74 c #Conflicts: 290000 | #Constraints: 17031 610.84/612.74 c #Conflicts: 291000 | #Constraints: 18031 610.84/612.74 c #Conflicts: 292000 | #Constraints: 19031 610.84/612.74 c #Conflicts: 293000 | #Constraints: 20032 610.84/612.74 c #Conflicts: 294000 | #Constraints: 21073 610.84/612.74 c #Conflicts: 295000 | #Constraints: 22285 610.84/612.74 c #Conflicts: 296000 | #Constraints: 23285 610.84/612.74 c #Conflicts: 297000 | #Constraints: 24487 610.84/612.74 c #Conflicts: 298000 | #Constraints: 25701 610.84/612.74 c #Conflicts: 299000 | #Constraints: 26740 610.84/612.74 c INPROCESSING 610.84/612.74 c GARBAGE COLLECT 610.84/612.74 c rational objective 0 657.19/659.20 c #Conflicts: 300000 | #Constraints: 15107 657.19/659.20 c #Conflicts: 301000 | #Constraints: 16827 657.19/659.20 c #Conflicts: 302000 | #Constraints: 18518 657.19/659.20 c #Conflicts: 303000 | #Constraints: 20223 657.19/659.20 c #Conflicts: 304000 | #Constraints: 21912 657.19/659.20 c #Conflicts: 305000 | #Constraints: 23665 657.19/659.20 c #Conflicts: 306000 | #Constraints: 25390 657.19/659.20 c #Conflicts: 307000 | #Constraints: 27172 657.19/659.20 c #Conflicts: 308000 | #Constraints: 28904 657.19/659.20 c #Conflicts: 309000 | #Constraints: 30667 657.19/659.20 c #Conflicts: 310000 | #Constraints: 32414 657.19/659.20 c INPROCESSING 657.19/659.20 c GARBAGE COLLECT 657.19/659.20 c rational objective 0 714.50/716.72 c #Conflicts: 311000 | #Constraints: 17780 714.50/716.72 c #Conflicts: 312000 | #Constraints: 19545 714.50/716.72 c #Conflicts: 313000 | #Constraints: 21305 714.50/716.72 c #Conflicts: 314000 | #Constraints: 23029 714.50/716.72 c #Conflicts: 315000 | #Constraints: 24780 714.50/716.72 c #Conflicts: 316000 | #Constraints: 26545 714.50/716.72 c #Conflicts: 317000 | #Constraints: 28309 714.50/716.72 c #Conflicts: 318000 | #Constraints: 30098 714.50/716.72 c #Conflicts: 319000 | #Constraints: 31869 714.50/716.72 c #Conflicts: 320000 | #Constraints: 33666 714.50/716.72 c #Conflicts: 321000 | #Constraints: 35409 714.50/716.72 c INPROCESSING 714.50/716.72 c GARBAGE COLLECT 714.50/716.72 c rational objective 0 779.10/781.52 c #Conflicts: 322000 | #Constraints: 18796 779.10/781.52 c #Conflicts: 323000 | #Constraints: 20537 779.10/781.52 c #Conflicts: 324000 | #Constraints: 22213 779.10/781.52 c #Conflicts: 325000 | #Constraints: 23916 779.10/781.52 c #Conflicts: 326000 | #Constraints: 25643 779.10/781.52 c #Conflicts: 327000 | #Constraints: 27398 779.10/781.52 c #Conflicts: 328000 | #Constraints: 29095 779.10/781.52 c #Conflicts: 329000 | #Constraints: 30825 779.10/781.52 c #Conflicts: 330000 | #Constraints: 32519 779.10/781.52 c #Conflicts: 331000 | #Constraints: 34109 779.10/781.52 c #Conflicts: 332000 | #Constraints: 35838 779.10/781.52 c #Conflicts: 333000 | #Constraints: 37548 779.10/781.52 c INPROCESSING 779.10/781.52 c GARBAGE COLLECT 779.10/781.52 c rational objective 0 834.01/836.64 c #Conflicts: 334000 | #Constraints: 20016 834.01/836.64 c #Conflicts: 335000 | #Constraints: 21541 834.01/836.64 c #Conflicts: 336000 | #Constraints: 22757 834.01/836.64 c #Conflicts: 337000 | #Constraints: 23759 834.01/836.64 c #Conflicts: 338000 | #Constraints: 24964 834.01/836.64 c #Conflicts: 339000 | #Constraints: 26688 834.01/836.64 c #Conflicts: 340000 | #Constraints: 27760 834.01/836.64 c #Conflicts: 341000 | #Constraints: 28760 834.01/836.64 c #Conflicts: 342000 | #Constraints: 29762 834.01/836.64 c #Conflicts: 343000 | #Constraints: 31124 834.01/836.64 c #Conflicts: 344000 | #Constraints: 32225 834.01/836.64 c #Conflicts: 345000 | #Constraints: 33306 834.01/836.64 c INPROCESSING 834.01/836.64 c GARBAGE COLLECT 834.01/836.64 c rational objective 0 886.55/889.38 c #Conflicts: 346000 | #Constraints: 17927 886.55/889.38 c #Conflicts: 347000 | #Constraints: 19347 886.55/889.38 c #Conflicts: 348000 | #Constraints: 20716 886.55/889.38 c #Conflicts: 349000 | #Constraints: 21718 886.55/889.38 c #Conflicts: 350000 | #Constraints: 22719 886.55/889.38 c #Conflicts: 351000 | #Constraints: 23719 886.55/889.38 c #Conflicts: 352000 | #Constraints: 24870 886.55/889.38 c #Conflicts: 353000 | #Constraints: 26277 886.55/889.38 c #Conflicts: 354000 | #Constraints: 27496 886.55/889.38 c #Conflicts: 355000 | #Constraints: 28668 886.55/889.38 c #Conflicts: 356000 | #Constraints: 29670 886.55/889.38 c #Conflicts: 357000 | #Constraints: 31055 886.55/889.38 c INPROCESSING 886.55/889.38 c GARBAGE COLLECT 886.55/889.38 c rational objective 0 939.97/942.97 c #Conflicts: 358000 | #Constraints: 17064 939.97/942.97 c #Conflicts: 359000 | #Constraints: 18739 939.97/942.97 c #Conflicts: 360000 | #Constraints: 20454 939.97/942.97 c #Conflicts: 361000 | #Constraints: 22064 939.97/942.97 c #Conflicts: 362000 | #Constraints: 23066 939.97/942.97 c #Conflicts: 363000 | #Constraints: 24069 939.97/942.97 c #Conflicts: 364000 | #Constraints: 25674 939.97/942.97 c #Conflicts: 365000 | #Constraints: 26689 939.97/942.97 c #Conflicts: 366000 | #Constraints: 27693 939.97/942.97 c #Conflicts: 367000 | #Constraints: 28693 939.97/942.97 c #Conflicts: 368000 | #Constraints: 29694 939.97/942.97 c #Conflicts: 369000 | #Constraints: 30696 939.97/942.97 c INPROCESSING 939.97/942.97 c GARBAGE COLLECT 939.97/942.97 c rational objective 0 1000.69/1003.89 c #Conflicts: 370000 | #Constraints: 16829 1000.69/1003.89 c #Conflicts: 371000 | #Constraints: 18513 1000.69/1003.89 c #Conflicts: 372000 | #Constraints: 20221 1000.69/1003.89 c #Conflicts: 373000 | #Constraints: 21894 1000.69/1003.89 c #Conflicts: 374000 | #Constraints: 23602 1000.69/1003.89 c #Conflicts: 375000 | #Constraints: 25271 1000.69/1003.89 c #Conflicts: 376000 | #Constraints: 26967 1000.69/1003.89 c #Conflicts: 377000 | #Constraints: 28665 1000.69/1003.89 c #Conflicts: 378000 | #Constraints: 30391 1000.69/1003.89 c #Conflicts: 379000 | #Constraints: 32131 1000.69/1003.89 c #Conflicts: 380000 | #Constraints: 33846 1000.69/1003.89 c #Conflicts: 381000 | #Constraints: 35605 1000.69/1003.89 c INPROCESSING 1000.69/1003.89 c GARBAGE COLLECT 1000.69/1003.89 c rational objective 0 1062.83/1066.12 c #Conflicts: 382000 | #Constraints: 19016 1062.83/1066.12 c #Conflicts: 383000 | #Constraints: 20761 1062.83/1066.12 c #Conflicts: 384000 | #Constraints: 22414 1062.83/1066.12 c #Conflicts: 385000 | #Constraints: 24166 1062.83/1066.12 c #Conflicts: 386000 | #Constraints: 25653 1062.83/1066.12 c #Conflicts: 387000 | #Constraints: 26981 1062.83/1066.12 c #Conflicts: 388000 | #Constraints: 28704 1062.83/1066.12 c #Conflicts: 389000 | #Constraints: 30423 1062.83/1066.12 c #Conflicts: 390000 | #Constraints: 32172 1062.83/1066.12 c #Conflicts: 391000 | #Constraints: 33591 1062.83/1066.12 c #Conflicts: 392000 | #Constraints: 34659 1062.83/1066.12 c #Conflicts: 393000 | #Constraints: 35660 1062.83/1066.12 c #Conflicts: 394000 | #Constraints: 36661 1062.83/1066.12 c INPROCESSING 1062.83/1066.12 c GARBAGE COLLECT 1062.83/1066.12 c rational objective 0 1120.27/1123.74 c #Conflicts: 395000 | #Constraints: 19706 1120.27/1123.74 c #Conflicts: 396000 | #Constraints: 20842 1120.27/1123.74 c #Conflicts: 397000 | #Constraints: 21895 1120.27/1123.74 c #Conflicts: 398000 | #Constraints: 22929 1120.27/1123.74 c #Conflicts: 399000 | #Constraints: 23930 1120.27/1123.74 c #Conflicts: 400000 | #Constraints: 24930 1120.27/1123.74 c #Conflicts: 401000 | #Constraints: 25935 1120.27/1123.74 c #Conflicts: 402000 | #Constraints: 26936 1120.27/1123.74 c #Conflicts: 403000 | #Constraints: 27936 1120.27/1123.74 c #Conflicts: 404000 | #Constraints: 28938 1120.27/1123.74 c #Conflicts: 405000 | #Constraints: 30008 1120.27/1123.74 c #Conflicts: 406000 | #Constraints: 31008 1120.27/1123.74 c #Conflicts: 407000 | #Constraints: 32011 1120.27/1123.74 c INPROCESSING 1120.27/1123.74 c GARBAGE COLLECT 1120.27/1123.74 c rational objective 0 1186.91/1190.58 c #Conflicts: 408000 | #Constraints: 17705 1186.91/1190.58 c #Conflicts: 409000 | #Constraints: 19428 1186.91/1190.58 c #Conflicts: 410000 | #Constraints: 21187 1186.91/1190.58 c #Conflicts: 411000 | #Constraints: 22909 1186.91/1190.58 c #Conflicts: 412000 | #Constraints: 24605 1186.91/1190.58 c #Conflicts: 413000 | #Constraints: 26367 1186.91/1190.58 c #Conflicts: 414000 | #Constraints: 28073 1186.91/1190.58 c #Conflicts: 415000 | #Constraints: 29760 1186.91/1190.58 c #Conflicts: 416000 | #Constraints: 31482 1186.91/1190.58 c #Conflicts: 417000 | #Constraints: 33208 1186.91/1190.58 c #Conflicts: 418000 | #Constraints: 34925 1186.91/1190.58 c #Conflicts: 419000 | #Constraints: 36639 1186.91/1190.58 c #Conflicts: 420000 | #Constraints: 38364 1186.91/1190.58 c INPROCESSING 1186.91/1190.58 c GARBAGE COLLECT 1186.91/1190.58 c rational objective 0 1260.44/1264.24 c #Conflicts: 421000 | #Constraints: 20936 1260.44/1264.24 c #Conflicts: 422000 | #Constraints: 22677 1260.44/1264.24 c #Conflicts: 423000 | #Constraints: 24411 1260.44/1264.24 c #Conflicts: 424000 | #Constraints: 26103 1260.44/1264.24 c #Conflicts: 425000 | #Constraints: 27790 1260.44/1264.24 c #Conflicts: 426000 | #Constraints: 29149 1260.44/1264.24 c #Conflicts: 427000 | #Constraints: 30855 1260.44/1264.24 c #Conflicts: 428000 | #Constraints: 32626 1260.44/1264.24 c #Conflicts: 429000 | #Constraints: 34342 1260.44/1264.24 c #Conflicts: 430000 | #Constraints: 35735 1260.44/1264.24 c #Conflicts: 431000 | #Constraints: 37481 1260.44/1264.24 c #Conflicts: 432000 | #Constraints: 39181 1260.44/1264.24 c #Conflicts: 433000 | #Constraints: 40878 1260.44/1264.24 c INPROCESSING 1260.44/1264.24 c GARBAGE COLLECT 1260.44/1264.24 c rational objective 0 1327.57/1331.54 c #Conflicts: 434000 | #Constraints: 21543 1327.57/1331.54 c #Conflicts: 435000 | #Constraints: 22986 1327.57/1331.54 c #Conflicts: 436000 | #Constraints: 24269 1327.57/1331.54 c #Conflicts: 437000 | #Constraints: 25504 1327.57/1331.54 c #Conflicts: 438000 | #Constraints: 26952 1327.57/1331.54 c #Conflicts: 439000 | #Constraints: 27953 1327.57/1331.54 c #Conflicts: 440000 | #Constraints: 29174 1327.57/1331.54 c #Conflicts: 441000 | #Constraints: 30223 1327.57/1331.54 c #Conflicts: 442000 | #Constraints: 31224 1327.57/1331.54 c #Conflicts: 443000 | #Constraints: 32560 1327.57/1331.54 c #Conflicts: 444000 | #Constraints: 33699 1327.57/1331.54 c #Conflicts: 445000 | #Constraints: 34743 1327.57/1331.54 c #Conflicts: 446000 | #Constraints: 35745 1327.57/1331.54 c INPROCESSING 1327.57/1331.54 c GARBAGE COLLECT 1327.57/1331.54 c rational objective 0 1399.20/1403.37 c #Conflicts: 447000 | #Constraints: 18789 1399.20/1403.37 c #Conflicts: 448000 | #Constraints: 19790 1399.20/1403.37 c #Conflicts: 449000 | #Constraints: 21263 1399.20/1403.37 c #Conflicts: 450000 | #Constraints: 22404 1399.20/1403.37 c #Conflicts: 451000 | #Constraints: 23476 1399.20/1403.37 c #Conflicts: 452000 | #Constraints: 24563 1399.20/1403.37 c #Conflicts: 453000 | #Constraints: 25606 1399.20/1403.37 c #Conflicts: 454000 | #Constraints: 26904 1399.20/1403.37 c #Conflicts: 455000 | #Constraints: 28424 1399.20/1403.37 c #Conflicts: 456000 | #Constraints: 29425 1399.20/1403.37 c #Conflicts: 457000 | #Constraints: 30517 1399.20/1403.37 c #Conflicts: 458000 | #Constraints: 31517 1399.20/1403.37 c #Conflicts: 459000 | #Constraints: 32862 1399.20/1403.37 c #Conflicts: 460000 | #Constraints: 33998 1399.20/1403.37 c INPROCESSING 1399.20/1403.37 c GARBAGE COLLECT 1399.20/1403.37 c rational objective 0 1460.56/1464.82 c #Conflicts: 461000 | #Constraints: 18106 1460.56/1464.82 c #Conflicts: 462000 | #Constraints: 19106 1460.56/1464.82 c #Conflicts: 463000 | #Constraints: 20106 1460.56/1464.82 c #Conflicts: 464000 | #Constraints: 21106 1460.56/1464.82 c #Conflicts: 465000 | #Constraints: 22107 1460.56/1464.82 c #Conflicts: 466000 | #Constraints: 23108 1460.56/1464.82 c #Conflicts: 467000 | #Constraints: 24335 1460.56/1464.82 c #Conflicts: 468000 | #Constraints: 25530 1460.56/1464.82 c #Conflicts: 469000 | #Constraints: 26804 1460.56/1464.82 c #Conflicts: 470000 | #Constraints: 27804 1460.56/1464.82 c #Conflicts: 471000 | #Constraints: 28804 1460.56/1464.82 c #Conflicts: 472000 | #Constraints: 29806 1460.56/1464.82 c #Conflicts: 473000 | #Constraints: 30841 1460.56/1464.82 c #Conflicts: 474000 | #Constraints: 31841 1460.56/1464.82 c INPROCESSING 1460.56/1464.82 c GARBAGE COLLECT 1460.56/1464.82 c rational objective 0 1530.60/1535.06 c #Conflicts: 475000 | #Constraints: 17392 1530.60/1535.06 c #Conflicts: 476000 | #Constraints: 19093 1530.60/1535.06 c #Conflicts: 477000 | #Constraints: 20827 1530.60/1535.06 c #Conflicts: 478000 | #Constraints: 22559 1530.60/1535.06 c #Conflicts: 479000 | #Constraints: 24040 1530.60/1535.06 c #Conflicts: 480000 | #Constraints: 25040 1530.60/1535.06 c #Conflicts: 481000 | #Constraints: 26397 1530.60/1535.06 c #Conflicts: 482000 | #Constraints: 28126 1530.60/1535.06 c #Conflicts: 483000 | #Constraints: 29847 1530.60/1535.06 c #Conflicts: 484000 | #Constraints: 31599 1530.60/1535.06 c #Conflicts: 485000 | #Constraints: 33350 1530.60/1535.06 c #Conflicts: 486000 | #Constraints: 35079 1530.60/1535.06 c #Conflicts: 487000 | #Constraints: 36789 1530.60/1535.06 c #Conflicts: 488000 | #Constraints: 38525 1530.60/1535.06 c INPROCESSING 1530.60/1535.06 c GARBAGE COLLECT 1530.60/1535.06 c rational objective 0 1608.79/1613.48 c #Conflicts: 489000 | #Constraints: 20472 1608.79/1613.48 c #Conflicts: 490000 | #Constraints: 21677 1608.79/1613.48 c #Conflicts: 491000 | #Constraints: 22913 1608.79/1613.48 c #Conflicts: 492000 | #Constraints: 24371 1608.79/1613.48 c #Conflicts: 493000 | #Constraints: 25861 1608.79/1613.48 c #Conflicts: 494000 | #Constraints: 27600 1608.79/1613.48 c #Conflicts: 495000 | #Constraints: 28694 1608.79/1613.48 c #Conflicts: 496000 | #Constraints: 29778 1608.79/1613.48 c #Conflicts: 497000 | #Constraints: 30971 1608.79/1613.48 c #Conflicts: 498000 | #Constraints: 31971 1608.79/1613.48 c #Conflicts: 499000 | #Constraints: 33051 1608.79/1613.48 c #Conflicts: 500000 | #Constraints: 34724 1608.79/1613.48 c #Conflicts: 501000 | #Constraints: 36025 1608.79/1613.48 c #Conflicts: 502000 | #Constraints: 37025 1608.79/1613.48 c INPROCESSING 1608.79/1613.48 c GARBAGE COLLECT 1608.79/1613.48 c rational objective 0 1691.79/1696.67 c #Conflicts: 503000 | #Constraints: 19883 1691.79/1696.67 c #Conflicts: 504000 | #Constraints: 21419 1691.79/1696.67 c #Conflicts: 505000 | #Constraints: 23025 1691.79/1696.67 c #Conflicts: 506000 | #Constraints: 24767 1691.79/1696.67 c #Conflicts: 507000 | #Constraints: 26523 1691.79/1696.67 c #Conflicts: 508000 | #Constraints: 28278 1691.79/1696.67 c #Conflicts: 509000 | #Constraints: 30019 1691.79/1696.67 c #Conflicts: 510000 | #Constraints: 31745 1691.79/1696.67 c #Conflicts: 511000 | #Constraints: 33344 1691.79/1696.67 c #Conflicts: 512000 | #Constraints: 34872 1691.79/1696.67 c #Conflicts: 513000 | #Constraints: 35873 1691.79/1696.67 c #Conflicts: 514000 | #Constraints: 36874 1691.79/1696.67 c #Conflicts: 515000 | #Constraints: 38052 1691.79/1696.67 c #Conflicts: 516000 | #Constraints: 39790 1691.79/1696.67 c INPROCESSING 1691.79/1696.67 c GARBAGE COLLECT 1691.79/1696.67 c rational objective 0 1777.48/1782.55 c #Conflicts: 517000 | #Constraints: 21113 1777.48/1782.55 c #Conflicts: 518000 | #Constraints: 22838 1777.48/1782.55 c #Conflicts: 519000 | #Constraints: 24593 1777.48/1782.55 c #Conflicts: 520000 | #Constraints: 26345 1777.48/1782.55 c #Conflicts: 521000 | #Constraints: 28083 1777.48/1782.55 c #Conflicts: 522000 | #Constraints: 29814 1777.48/1782.55 c #Conflicts: 523000 | #Constraints: 31542 1777.48/1782.55 c #Conflicts: 524000 | #Constraints: 33276 1777.48/1782.55 c #Conflicts: 525000 | #Constraints: 35023 1777.48/1782.55 c #Conflicts: 526000 | #Constraints: 36723 1777.48/1782.55 c #Conflicts: 527000 | #Constraints: 38518 1777.48/1782.55 c #Conflicts: 528000 | #Constraints: 40286 1777.48/1782.55 c #Conflicts: 529000 | #Constraints: 42018 1777.48/1782.55 c #Conflicts: 530000 | #Constraints: 43774 1777.48/1782.55 c #Conflicts: 531000 | #Constraints: 45549 1777.48/1782.55 c INPROCESSING 1777.48/1782.55 c GARBAGE COLLECT 1777.48/1782.55 c rational objective 0 1856.39/1861.67 c #Conflicts: 532000 | #Constraints: 24186 1856.39/1861.67 c #Conflicts: 533000 | #Constraints: 25237 1856.39/1861.67 c #Conflicts: 534000 | #Constraints: 26238 1856.39/1861.67 c #Conflicts: 535000 | #Constraints: 27238 1856.39/1861.67 c #Conflicts: 536000 | #Constraints: 28238 1856.39/1861.67 c #Conflicts: 537000 | #Constraints: 29314 1856.39/1861.67 c #Conflicts: 538000 | #Constraints: 30314 1856.39/1861.67 c #Conflicts: 539000 | #Constraints: 31595 1856.39/1861.67 c #Conflicts: 540000 | #Constraints: 32595 1856.39/1861.67 c #Conflicts: 541000 | #Constraints: 33596 1856.39/1861.67 c #Conflicts: 542000 | #Constraints: 34597 1856.39/1861.67 c #Conflicts: 543000 | #Constraints: 35629 1856.39/1861.67 c #Conflicts: 544000 | #Constraints: 36629 1856.39/1861.67 c #Conflicts: 545000 | #Constraints: 37629 1856.39/1861.67 c #Conflicts: 546000 | #Constraints: 38711 1856.39/1861.67 c INPROCESSING 1856.39/1861.67 c GARBAGE COLLECT 1856.39/1861.67 c rational objective 0 1928.40/1933.81 c #Conflicts: 547000 | #Constraints: 20655 1928.40/1933.81 c #Conflicts: 548000 | #Constraints: 21655 1928.40/1933.81 c #Conflicts: 549000 | #Constraints: 22707 1928.40/1933.81 c #Conflicts: 550000 | #Constraints: 23720 1928.40/1933.81 c #Conflicts: 551000 | #Constraints: 24721 1928.40/1933.81 c #Conflicts: 552000 | #Constraints: 25722 1928.40/1933.81 c #Conflicts: 553000 | #Constraints: 26722 1928.40/1933.81 c #Conflicts: 554000 | #Constraints: 27722 1928.40/1933.81 c #Conflicts: 555000 | #Constraints: 28722 1928.40/1933.81 c #Conflicts: 556000 | #Constraints: 29722 1928.40/1933.81 c #Conflicts: 557000 | #Constraints: 30722 1928.40/1933.81 c #Conflicts: 558000 | #Constraints: 31722 1928.40/1933.81 c #Conflicts: 559000 | #Constraints: 32723 1928.40/1933.81 c #Conflicts: 560000 | #Constraints: 33723 1928.40/1933.81 c #Conflicts: 561000 | #Constraints: 35149 1928.40/1933.81 c INPROCESSING 1928.40/1933.81 c GARBAGE COLLECT 1928.40/1933.81 c rational objective 0 2017.84/2023.56 c #Conflicts: 562000 | #Constraints: 19218 2017.84/2023.56 c #Conflicts: 563000 | #Constraints: 20445 2017.84/2023.56 c #Conflicts: 564000 | #Constraints: 22170 2017.84/2023.56 c #Conflicts: 565000 | #Constraints: 23897 2017.84/2023.56 c #Conflicts: 566000 | #Constraints: 25584 2017.84/2023.56 c #Conflicts: 567000 | #Constraints: 27329 2017.84/2023.56 c #Conflicts: 568000 | #Constraints: 29059 2017.84/2023.56 c #Conflicts: 569000 | #Constraints: 30769 2017.84/2023.56 c #Conflicts: 570000 | #Constraints: 32486 2017.84/2023.56 c #Conflicts: 571000 | #Constraints: 34225 2017.84/2023.56 c #Conflicts: 572000 | #Constraints: 35965 2017.84/2023.56 c #Conflicts: 573000 | #Constraints: 37516 2017.84/2023.56 c #Conflicts: 574000 | #Constraints: 39219 2017.84/2023.56 c #Conflicts: 575000 | #Constraints: 40936 2017.84/2023.56 c #Conflicts: 576000 | #Constraints: 42670 2017.84/2023.56 c INPROCESSING 2017.84/2023.56 c GARBAGE COLLECT 2017.84/2023.56 c rational objective 0 2092.82/2098.73 c #Conflicts: 577000 | #Constraints: 22457 2092.82/2098.73 c #Conflicts: 578000 | #Constraints: 23523 2092.82/2098.73 c #Conflicts: 579000 | #Constraints: 24524 2092.82/2098.73 c #Conflicts: 580000 | #Constraints: 25524 2092.82/2098.73 c #Conflicts: 581000 | #Constraints: 26524 2092.82/2098.73 c #Conflicts: 582000 | #Constraints: 27524 2092.82/2098.73 c #Conflicts: 583000 | #Constraints: 28525 2092.82/2098.73 c #Conflicts: 584000 | #Constraints: 29525 2092.82/2098.73 c #Conflicts: 585000 | #Constraints: 30559 2092.82/2098.73 c #Conflicts: 586000 | #Constraints: 31563 2092.82/2098.73 c #Conflicts: 587000 | #Constraints: 32571 2092.82/2098.73 c #Conflicts: 588000 | #Constraints: 33571 2092.82/2098.73 c #Conflicts: 589000 | #Constraints: 34571 2092.82/2098.73 c #Conflicts: 590000 | #Constraints: 35572 2092.82/2098.73 c #Conflicts: 591000 | #Constraints: 36573 2092.82/2098.73 c INPROCESSING 2092.82/2098.73 c GARBAGE COLLECT 2092.82/2098.73 c rational objective 0 2160.54/2166.67 c #Conflicts: 592000 | #Constraints: 19006 2160.54/2166.67 c #Conflicts: 593000 | #Constraints: 20009 2160.54/2166.67 c #Conflicts: 594000 | #Constraints: 21011 2160.54/2166.67 c #Conflicts: 595000 | #Constraints: 22012 2160.54/2166.67 c #Conflicts: 596000 | #Constraints: 23014 2160.54/2166.67 c #Conflicts: 597000 | #Constraints: 24014 2160.54/2166.67 c #Conflicts: 598000 | #Constraints: 25015 2160.54/2166.67 c #Conflicts: 599000 | #Constraints: 26016 2160.54/2166.67 c #Conflicts: 600000 | #Constraints: 27016 2160.54/2166.67 c #Conflicts: 601000 | #Constraints: 28020 2160.54/2166.67 c #Conflicts: 602000 | #Constraints: 29020 2160.54/2166.67 c #Conflicts: 603000 | #Constraints: 30020 2160.54/2166.67 c #Conflicts: 604000 | #Constraints: 31020 2160.54/2166.67 c #Conflicts: 605000 | #Constraints: 32022 2160.54/2166.67 c #Conflicts: 606000 | #Constraints: 33023 2160.54/2166.67 c #Conflicts: 607000 | #Constraints: 34024 2160.54/2166.67 c INPROCESSING 2160.54/2166.67 c GARBAGE COLLECT 2160.54/2166.67 c rational objective 0 2224.25/2230.52 c #Conflicts: 608000 | #Constraints: 17932 2224.25/2230.52 c #Conflicts: 609000 | #Constraints: 18932 2224.25/2230.52 c #Conflicts: 610000 | #Constraints: 19932 2224.25/2230.52 c #Conflicts: 611000 | #Constraints: 20932 2224.25/2230.52 c #Conflicts: 612000 | #Constraints: 21932 2224.25/2230.52 c #Conflicts: 613000 | #Constraints: 22932 2224.25/2230.52 c #Conflicts: 614000 | #Constraints: 23932 2224.25/2230.52 c #Conflicts: 615000 | #Constraints: 24932 2224.25/2230.52 c #Conflicts: 616000 | #Constraints: 25932 2224.25/2230.52 c #Conflicts: 617000 | #Constraints: 26932 2224.25/2230.52 c #Conflicts: 618000 | #Constraints: 27934 2224.25/2230.52 c #Conflicts: 619000 | #Constraints: 28934 2224.25/2230.52 c #Conflicts: 620000 | #Constraints: 29935 2224.25/2230.52 c #Conflicts: 621000 | #Constraints: 30935 2224.25/2230.52 c #Conflicts: 622000 | #Constraints: 31935 2224.25/2230.52 c #Conflicts: 623000 | #Constraints: 32935 2224.25/2230.52 c INPROCESSING 2224.25/2230.52 c GARBAGE COLLECT 2224.25/2230.52 c rational objective 0 2285.49/2291.92 c #Conflicts: 624000 | #Constraints: 17574 2285.49/2291.92 c #Conflicts: 625000 | #Constraints: 18623 2285.49/2291.92 c #Conflicts: 626000 | #Constraints: 19623 2285.49/2291.92 c #Conflicts: 627000 | #Constraints: 20623 2285.49/2291.92 c #Conflicts: 628000 | #Constraints: 21623 2285.49/2291.92 c #Conflicts: 629000 | #Constraints: 22624 2285.49/2291.92 c #Conflicts: 630000 | #Constraints: 23652 2285.49/2291.92 c #Conflicts: 631000 | #Constraints: 24657 2285.49/2291.92 c #Conflicts: 632000 | #Constraints: 25819 2285.49/2291.92 c #Conflicts: 633000 | #Constraints: 26819 2285.49/2291.92 c #Conflicts: 634000 | #Constraints: 27914 2285.49/2291.92 c #Conflicts: 635000 | #Constraints: 28914 2285.49/2291.92 c #Conflicts: 636000 | #Constraints: 29914 2285.49/2291.92 c #Conflicts: 637000 | #Constraints: 31100 2285.49/2291.92 c #Conflicts: 638000 | #Constraints: 32108 2285.49/2291.92 c #Conflicts: 639000 | #Constraints: 33108 2285.49/2291.92 c INPROCESSING 2285.49/2291.92 c GARBAGE COLLECT 2285.49/2291.92 c rational objective 0 2370.45/2377.18 c #Conflicts: 640000 | #Constraints: 18222 2370.45/2377.18 c #Conflicts: 641000 | #Constraints: 19914 2370.45/2377.18 c #Conflicts: 642000 | #Constraints: 21636 2370.45/2377.18 c #Conflicts: 643000 | #Constraints: 23394 2370.45/2377.18 c #Conflicts: 644000 | #Constraints: 25100 2370.45/2377.18 c #Conflicts: 645000 | #Constraints: 26836 2370.45/2377.18 c #Conflicts: 646000 | #Constraints: 28561 2370.45/2377.18 c #Conflicts: 647000 | #Constraints: 30293 2370.45/2377.18 c #Conflicts: 648000 | #Constraints: 32009 2370.45/2377.18 c #Conflicts: 649000 | #Constraints: 33691 2370.45/2377.18 c #Conflicts: 650000 | #Constraints: 35394 2370.45/2377.18 c #Conflicts: 651000 | #Constraints: 37069 2370.45/2377.18 c #Conflicts: 652000 | #Constraints: 38747 2370.45/2377.18 c #Conflicts: 653000 | #Constraints: 40420 2370.45/2377.18 c #Conflicts: 654000 | #Constraints: 42136 2370.45/2377.18 c #Conflicts: 655000 | #Constraints: 43829 2370.45/2377.18 c INPROCESSING 2370.45/2377.18 c GARBAGE COLLECT 2370.45/2377.18 c rational objective 0 2455.21/2462.17 c #Conflicts: 656000 | #Constraints: 23250 2455.21/2462.17 c #Conflicts: 657000 | #Constraints: 24409 2455.21/2462.17 c #Conflicts: 658000 | #Constraints: 25414 2455.21/2462.17 c #Conflicts: 659000 | #Constraints: 26441 2455.21/2462.17 c #Conflicts: 660000 | #Constraints: 27441 2455.21/2462.17 c #Conflicts: 661000 | #Constraints: 28992 2455.21/2462.17 c #Conflicts: 662000 | #Constraints: 30004 2455.21/2462.17 c #Conflicts: 663000 | #Constraints: 31246 2455.21/2462.17 c #Conflicts: 664000 | #Constraints: 32616 2455.21/2462.17 c #Conflicts: 665000 | #Constraints: 33808 2455.21/2462.17 c #Conflicts: 666000 | #Constraints: 34808 2455.21/2462.17 c #Conflicts: 667000 | #Constraints: 35808 2455.21/2462.17 c #Conflicts: 668000 | #Constraints: 37067 2455.21/2462.17 c #Conflicts: 669000 | #Constraints: 38150 2455.21/2462.17 c #Conflicts: 670000 | #Constraints: 39221 2455.21/2462.17 c #Conflicts: 671000 | #Constraints: 40223 2455.21/2462.17 c INPROCESSING 2455.21/2462.17 c GARBAGE COLLECT 2455.21/2462.17 c rational objective 0 2580.62/2587.95 c #Conflicts: 672000 | #Constraints: 21116 2580.62/2587.95 c #Conflicts: 673000 | #Constraints: 22823 2580.62/2587.95 c #Conflicts: 674000 | #Constraints: 24527 2580.62/2587.95 c #Conflicts: 675000 | #Constraints: 26237 2580.62/2587.95 c #Conflicts: 676000 | #Constraints: 27937 2580.62/2587.95 c #Conflicts: 677000 | #Constraints: 29672 2580.62/2587.95 c #Conflicts: 678000 | #Constraints: 31369 2580.62/2587.95 c #Conflicts: 679000 | #Constraints: 33080 2580.62/2587.95 c #Conflicts: 680000 | #Constraints: 34842 2580.62/2587.95 c #Conflicts: 681000 | #Constraints: 36513 2580.62/2587.95 c #Conflicts: 682000 | #Constraints: 38253 2580.62/2587.95 c #Conflicts: 683000 | #Constraints: 39991 2580.62/2587.95 c #Conflicts: 684000 | #Constraints: 41696 2580.62/2587.95 c #Conflicts: 685000 | #Constraints: 43441 2580.62/2587.95 c #Conflicts: 686000 | #Constraints: 45181 2580.62/2587.95 c #Conflicts: 687000 | #Constraints: 46933 2580.62/2587.95 c #Conflicts: 688000 | #Constraints: 48670 2580.62/2587.95 c INPROCESSING 2580.62/2587.95 c GARBAGE COLLECT 2580.62/2587.95 c rational objective 0 2710.47/2718.14 c #Conflicts: 689000 | #Constraints: 25917 2710.47/2718.14 c #Conflicts: 690000 | #Constraints: 27649 2710.47/2718.14 c #Conflicts: 691000 | #Constraints: 29354 2710.47/2718.14 c #Conflicts: 692000 | #Constraints: 31097 2710.47/2718.14 c #Conflicts: 693000 | #Constraints: 32783 2710.47/2718.14 c #Conflicts: 694000 | #Constraints: 34501 2710.47/2718.14 c #Conflicts: 695000 | #Constraints: 36238 2710.47/2718.14 c #Conflicts: 696000 | #Constraints: 37953 2710.47/2718.14 c #Conflicts: 697000 | #Constraints: 39655 2710.47/2718.14 c #Conflicts: 698000 | #Constraints: 41380 2710.47/2718.14 c #Conflicts: 699000 | #Constraints: 43120 2710.47/2718.14 c #Conflicts: 700000 | #Constraints: 44873 2710.47/2718.14 c #Conflicts: 701000 | #Constraints: 46538 2710.47/2718.14 c #Conflicts: 702000 | #Constraints: 48249 2710.47/2718.14 c #Conflicts: 703000 | #Constraints: 49957 2710.47/2718.14 c #Conflicts: 704000 | #Constraints: 51664 2710.47/2718.14 c #Conflicts: 705000 | #Constraints: 53396 2710.47/2718.14 c INPROCESSING 2710.47/2718.14 c GARBAGE COLLECT 2710.47/2718.14 c rational objective 0 2848.46/2856.56 c #Conflicts: 706000 | #Constraints: 28263 2848.46/2856.56 c #Conflicts: 707000 | #Constraints: 29446 2848.46/2856.56 c #Conflicts: 708000 | #Constraints: 31123 2848.46/2856.56 c #Conflicts: 709000 | #Constraints: 32603 2848.46/2856.56 c #Conflicts: 710000 | #Constraints: 33974 2848.46/2856.56 c #Conflicts: 711000 | #Constraints: 35553 2848.46/2856.56 c #Conflicts: 712000 | #Constraints: 37172 2848.46/2856.56 c #Conflicts: 713000 | #Constraints: 38881 2848.46/2856.56 c #Conflicts: 714000 | #Constraints: 40372 2848.46/2856.56 c #Conflicts: 715000 | #Constraints: 41823 2848.46/2856.56 c #Conflicts: 716000 | #Constraints: 42824 2848.46/2856.56 c #Conflicts: 717000 | #Constraints: 44357 2848.46/2856.56 c #Conflicts: 718000 | #Constraints: 45419 2848.46/2856.56 c #Conflicts: 719000 | #Constraints: 46419 2848.46/2856.56 c #Conflicts: 720000 | #Constraints: 47419 2848.46/2856.56 c #Conflicts: 721000 | #Constraints: 48696 2848.46/2856.56 c #Conflicts: 722000 | #Constraints: 49733 2848.46/2856.56 c INPROCESSING 2848.46/2856.56 c GARBAGE COLLECT 2848.46/2856.56 c rational objective 0 2960.87/2969.20 c #Conflicts: 723000 | #Constraints: 25895 2960.87/2969.20 c #Conflicts: 724000 | #Constraints: 26895 2960.87/2969.20 c #Conflicts: 725000 | #Constraints: 27896 2960.87/2969.20 c #Conflicts: 726000 | #Constraints: 28896 2960.87/2969.20 c #Conflicts: 727000 | #Constraints: 29900 2960.87/2969.20 c #Conflicts: 728000 | #Constraints: 30907 2960.87/2969.20 c #Conflicts: 729000 | #Constraints: 31921 2960.87/2969.20 c #Conflicts: 730000 | #Constraints: 32923 2960.87/2969.20 c #Conflicts: 731000 | #Constraints: 33923 2960.87/2969.20 c #Conflicts: 732000 | #Constraints: 34924 2960.87/2969.20 c #Conflicts: 733000 | #Constraints: 35925 2960.87/2969.20 c #Conflicts: 734000 | #Constraints: 36925 2960.87/2969.20 c #Conflicts: 735000 | #Constraints: 37930 2960.87/2969.20 c #Conflicts: 736000 | #Constraints: 38930 2960.87/2969.20 c #Conflicts: 737000 | #Constraints: 39932 2960.87/2969.20 c #Conflicts: 738000 | #Constraints: 40932 2960.87/2969.20 c #Conflicts: 739000 | #Constraints: 41932 2960.87/2969.20 c INPROCESSING 2960.87/2969.20 c GARBAGE COLLECT 2960.87/2969.20 c rational objective 0 3090.34/3099.04 c #Conflicts: 740000 | #Constraints: 22467 3090.34/3099.04 c #Conflicts: 741000 | #Constraints: 24181 3090.34/3099.04 c #Conflicts: 742000 | #Constraints: 25929 3090.34/3099.04 c #Conflicts: 743000 | #Constraints: 27700 3090.34/3099.04 c #Conflicts: 744000 | #Constraints: 29442 3090.34/3099.04 c #Conflicts: 745000 | #Constraints: 31134 3090.34/3099.04 c #Conflicts: 746000 | #Constraints: 32842 3090.34/3099.04 c #Conflicts: 747000 | #Constraints: 34602 3090.34/3099.04 c #Conflicts: 748000 | #Constraints: 36306 3090.34/3099.04 c #Conflicts: 749000 | #Constraints: 38096 3090.34/3099.04 c #Conflicts: 750000 | #Constraints: 39867 3090.34/3099.04 c #Conflicts: 751000 | #Constraints: 41631 3090.34/3099.04 c #Conflicts: 752000 | #Constraints: 43364 3090.34/3099.04 c #Conflicts: 753000 | #Constraints: 45105 3090.34/3099.04 c #Conflicts: 754000 | #Constraints: 46845 3090.34/3099.04 c #Conflicts: 755000 | #Constraints: 48585 3090.34/3099.04 c #Conflicts: 756000 | #Constraints: 50302 3090.34/3099.04 c INPROCESSING 3090.34/3099.04 c GARBAGE COLLECT 3090.34/3099.04 c rational objective 0 3199.57/3208.57 c #Conflicts: 757000 | #Constraints: 26089 3199.57/3208.57 c #Conflicts: 758000 | #Constraints: 27091 3199.57/3208.57 c #Conflicts: 759000 | #Constraints: 28091 3199.57/3208.57 c #Conflicts: 760000 | #Constraints: 29091 3199.57/3208.57 c #Conflicts: 761000 | #Constraints: 30091 3199.57/3208.57 c #Conflicts: 762000 | #Constraints: 31092 3199.57/3208.57 c #Conflicts: 763000 | #Constraints: 32093 3199.57/3208.57 c #Conflicts: 764000 | #Constraints: 33093 3199.57/3208.57 c #Conflicts: 765000 | #Constraints: 34094 3199.57/3208.57 c #Conflicts: 766000 | #Constraints: 35094 3199.57/3208.57 c #Conflicts: 767000 | #Constraints: 36095 3199.57/3208.57 c #Conflicts: 768000 | #Constraints: 37096 3199.57/3208.57 c #Conflicts: 769000 | #Constraints: 38096 3199.57/3208.57 c #Conflicts: 770000 | #Constraints: 39097 3199.57/3208.57 c #Conflicts: 771000 | #Constraints: 40097 3199.57/3208.57 c #Conflicts: 772000 | #Constraints: 41098 3199.57/3208.57 c #Conflicts: 773000 | #Constraints: 42098 3199.57/3208.57 c #Conflicts: 774000 | #Constraints: 43099 3199.57/3208.57 c INPROCESSING 3199.57/3208.57 c GARBAGE COLLECT 3199.57/3208.57 c rational objective 0 3295.04/3304.29 c #Conflicts: 775000 | #Constraints: 22472 3295.04/3304.29 c #Conflicts: 776000 | #Constraints: 23477 3295.04/3304.29 c #Conflicts: 777000 | #Constraints: 24478 3295.04/3304.29 c #Conflicts: 778000 | #Constraints: 25478 3295.04/3304.29 c #Conflicts: 779000 | #Constraints: 26479 3295.04/3304.29 c #Conflicts: 780000 | #Constraints: 27479 3295.04/3304.29 c #Conflicts: 781000 | #Constraints: 28480 3295.04/3304.29 c #Conflicts: 782000 | #Constraints: 29483 3295.04/3304.29 c #Conflicts: 783000 | #Constraints: 30485 3295.04/3304.29 c #Conflicts: 784000 | #Constraints: 31485 3295.04/3304.29 c #Conflicts: 785000 | #Constraints: 32486 3295.04/3304.29 c #Conflicts: 786000 | #Constraints: 33489 3295.04/3304.29 c #Conflicts: 787000 | #Constraints: 34489 3295.04/3304.29 c #Conflicts: 788000 | #Constraints: 35489 3295.04/3304.29 c #Conflicts: 789000 | #Constraints: 36490 3295.04/3304.29 c #Conflicts: 790000 | #Constraints: 37490 3295.04/3304.29 c #Conflicts: 791000 | #Constraints: 38495 3295.04/3304.29 c #Conflicts: 792000 | #Constraints: 39496 3295.04/3304.29 c INPROCESSING 3295.04/3304.29 c GARBAGE COLLECT 3295.04/3304.29 c rational objective 0 3384.82/3394.21 c #Conflicts: 793000 | #Constraints: 20770 3384.82/3394.21 c #Conflicts: 794000 | #Constraints: 21771 3384.82/3394.21 c #Conflicts: 795000 | #Constraints: 22772 3384.82/3394.21 c #Conflicts: 796000 | #Constraints: 23774 3384.82/3394.21 c #Conflicts: 797000 | #Constraints: 24774 3384.82/3394.21 c #Conflicts: 798000 | #Constraints: 25774 3384.82/3394.21 c #Conflicts: 799000 | #Constraints: 26774 3384.82/3394.21 c #Conflicts: 800000 | #Constraints: 27774 3384.82/3394.21 c #Conflicts: 801000 | #Constraints: 28774 3384.82/3394.21 c #Conflicts: 802000 | #Constraints: 29774 3384.82/3394.21 c #Conflicts: 803000 | #Constraints: 30774 3384.82/3394.21 c #Conflicts: 804000 | #Constraints: 31774 3384.82/3394.21 c #Conflicts: 805000 | #Constraints: 32774 3384.82/3394.21 c #Conflicts: 806000 | #Constraints: 33774 3384.82/3394.21 c #Conflicts: 807000 | #Constraints: 34774 3384.82/3394.21 c #Conflicts: 808000 | #Constraints: 35774 3384.82/3394.21 c #Conflicts: 809000 | #Constraints: 36774 3384.82/3394.21 c #Conflicts: 810000 | #Constraints: 37774 3384.82/3394.21 c INPROCESSING 3384.82/3394.21 c GARBAGE COLLECT 3384.82/3394.21 c rational objective 0 3469.53/3479.15 c #Conflicts: 811000 | #Constraints: 19913 3469.53/3479.15 c #Conflicts: 812000 | #Constraints: 20913 3469.53/3479.15 c #Conflicts: 813000 | #Constraints: 21913 3469.53/3479.15 c #Conflicts: 814000 | #Constraints: 22913 3469.53/3479.15 c #Conflicts: 815000 | #Constraints: 23913 3469.53/3479.15 c #Conflicts: 816000 | #Constraints: 24913 3469.53/3479.15 c #Conflicts: 817000 | #Constraints: 25913 3469.53/3479.15 c #Conflicts: 818000 | #Constraints: 26913 3469.53/3479.15 c #Conflicts: 819000 | #Constraints: 27913 3469.53/3479.15 c #Conflicts: 820000 | #Constraints: 28941 3469.53/3479.15 c #Conflicts: 821000 | #Constraints: 29941 3469.53/3479.15 c #Conflicts: 822000 | #Constraints: 30941 3469.53/3479.15 c #Conflicts: 823000 | #Constraints: 31941 3469.53/3479.15 c #Conflicts: 824000 | #Constraints: 32997 3469.53/3479.15 c #Conflicts: 825000 | #Constraints: 33997 3469.53/3479.15 c #Conflicts: 826000 | #Constraints: 34997 3469.53/3479.15 c #Conflicts: 827000 | #Constraints: 36000 3469.53/3479.15 c #Conflicts: 828000 | #Constraints: 37012 3469.53/3479.15 c INPROCESSING 3469.53/3479.15 c GARBAGE COLLECT 3469.53/3479.15 c rational objective 0 3582.92/3592.87 c #Conflicts: 829000 | #Constraints: 19841 3582.92/3592.87 c #Conflicts: 830000 | #Constraints: 21577 3582.92/3592.87 c #Conflicts: 831000 | #Constraints: 23006 3582.92/3592.87 c #Conflicts: 832000 | #Constraints: 24494 3582.92/3592.87 c #Conflicts: 833000 | #Constraints: 26234 3582.92/3592.87 c #Conflicts: 834000 | #Constraints: 27396 3582.92/3592.87 c #Conflicts: 835000 | #Constraints: 28396 3582.92/3592.87 c #Conflicts: 836000 | #Constraints: 29396 3582.92/3592.87 c #Conflicts: 837000 | #Constraints: 30396 3582.92/3592.87 c #Conflicts: 838000 | #Constraints: 31396 3582.92/3592.87 c #Conflicts: 839000 | #Constraints: 32396 3582.92/3592.87 c #Conflicts: 840000 | #Constraints: 33396 3582.92/3592.87 c #Conflicts: 841000 | #Constraints: 34396 3582.92/3592.87 c #Conflicts: 842000 | #Constraints: 35428 3582.92/3592.87 c #Conflicts: 843000 | #Constraints: 37098 3582.92/3592.87 c #Conflicts: 844000 | #Constraints: 38397 3582.92/3592.87 c #Conflicts: 845000 | #Constraints: 39679 3582.92/3592.87 c #Conflicts: 846000 | #Constraints: 40679 3582.92/3592.87 c INPROCESSING 3582.92/3592.87 c GARBAGE COLLECT 3582.92/3592.87 c rational objective 0 3600.08/3610.01 c 3600.08/3610.01 s SATISFIABLE 3600.08/3610.01 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 3600.08/3610.01 c #Conflicts: 847000 | #Constraints: 21149 3600.08/3610.01 c #Conflicts: 848000 | #Constraints: 22428 3600.08/3610.01 c #Conflicts: 849000 | #Constraints: 23441 3600.08/3610.01 c #Conflicts: 850000 | #Constraints: 24442
FAILED ERROR: unsatisfied constraint on line 8 -1>=0 Falsified constraint is: -1*x1[=1] >= 0
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61844 MiB free)
memory of node 1: 64510 MiB (63433 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429453-1721048718/watcher-4429453-1721048718 -o /tmp/evaluation-result-4429453-1721048718/solver-4429453-1721048718 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721048664-795062 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429453-1721048718.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=795455, runsolver pid=795452
[startup+0.100454 s]*
/proc/loadavg: 4.07 4.13 4.17 5/242 795456
/proc/meminfo: memFree=128283884/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=37532 memory=8252 CPUtime=0.1 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 446 0 0 0 9 1 0 0 20 0 1 0 157028452 38432768 2063 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 9383 2063 1825 922 0 1335 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37532 KiB
Current children cumulated memory: 8252 KiB
[startup+0.21258 s]*
/proc/loadavg: 4.07 4.13 4.17 5/242 795456
/proc/meminfo: memFree=128282832/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=37796 memory=8780 CPUtime=0.21 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 611 0 0 0 19 2 0 0 20 0 1 0 157028452 38703104 2195 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 9449 2195 1825 922 0 1401 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37796 KiB
Current children cumulated memory: 8780 KiB
[startup+0.31153 s]*
/proc/loadavg: 4.07 4.13 4.17 5/242 795456
/proc/meminfo: memFree=128280392/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=37928 memory=11088 CPUtime=0.31 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 645 0 0 0 29 2 0 0 20 0 1 0 157028452 38838272 2772 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 9482 2772 1825 922 0 1434 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37928 KiB
Current children cumulated memory: 11088 KiB
[startup+0.700253 s]
/proc/loadavg: 4.07 4.13 4.17 5/242 795456
/proc/meminfo: memFree=128279916/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=38468 memory=11676 CPUtime=0.69 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 780 0 0 0 65 4 0 0 20 0 1 0 157028452 39391232 2919 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 9617 2919 1841 922 0 1569 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38468 KiB
Current children cumulated memory: 11676 KiB
[startup+1.50024 s]
/proc/loadavg: 4.07 4.13 4.17 5/242 795456
/proc/meminfo: memFree=128279216/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=38868 memory=12072 CPUtime=1.49 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 874 0 0 0 142 7 0 0 20 0 1 0 157028452 39800832 3018 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 9717 3018 1841 922 0 1669 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 38868 KiB
Current children cumulated memory: 12072 KiB
[startup+3.11262 s]
/proc/loadavg: 4.07 4.13 4.17 5/242 795456
/proc/meminfo: memFree=128278068/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=39412 memory=12460 CPUtime=3.1 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 1009 0 0 0 298 12 0 0 20 0 1 0 157028452 40357888 3115 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 9853 3115 1841 922 0 1805 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 39412 KiB
Current children cumulated memory: 12460 KiB
[startup+6.30024 s]
/proc/loadavg: 4.07 4.13 4.17 5/242 795457
/proc/meminfo: memFree=128265844/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=41028 memory=14436 CPUtime=6.27 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 1492 0 0 0 610 17 0 0 20 0 1 0 157028452 42012672 3609 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 10257 3609 1841 922 0 2209 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41028 KiB
Current children cumulated memory: 14436 KiB
[startup+12.7003 s]
/proc/loadavg: 4.06 4.12 4.17 5/242 795457
/proc/meminfo: memFree=128242404/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=46888 memory=19268 CPUtime=12.65 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 2671 0 0 0 1238 27 0 0 20 0 1 0 157028452 48013312 4817 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 11722 4817 1841 922 0 3674 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 46888 KiB
Current children cumulated memory: 19268 KiB
[startup+25.5003 s]
/proc/loadavg: 4.05 4.12 4.16 5/242 795460
/proc/meminfo: memFree=128228408/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=47912 memory=20828 CPUtime=25.43 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 3046 0 0 0 2498 45 0 0 20 0 1 0 157028452 49061888 5207 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 11978 5207 1841 922 0 3930 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 47912 KiB
Current children cumulated memory: 20828 KiB
[startup+51.1124 s]
/proc/loadavg: 4.03 4.11 4.16 5/242 795463
/proc/meminfo: memFree=128198088/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=49768 memory=23548 CPUtime=50.98 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 3663 0 1 0 5026 72 0 0 20 0 1 0 157028452 50962432 5887 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 12442 5887 1943 922 0 4394 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 49768 KiB
Current children cumulated memory: 23548 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.16 4/239 795670
/proc/meminfo: memFree=127968536/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=56168 memory=26536 CPUtime=102.03 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 4411 0 1 0 10088 115 0 0 20 0 1 0 157028452 57516032 6634 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 14042 6634 1943 922 0 5994 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 56168 KiB
Current children cumulated memory: 26536 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 4.14 4.17 5/242 795942
/proc/meminfo: memFree=127603808/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=60260 memory=32416 CPUtime=161.85 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 5378 0 1 0 16022 163 0 0 20 0 1 0 157028452 61706240 8104 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 15065 8104 1943 922 0 7017 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 60260 KiB
Current children cumulated memory: 32416 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.13 4.16 6/242 795952
/proc/meminfo: memFree=127502908/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=61380 memory=33196 CPUtime=221.67 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 5590 0 1 0 21961 206 0 0 20 0 1 0 157028452 62853120 8299 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 15345 8299 1943 922 0 7297 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 61380 KiB
Current children cumulated memory: 33196 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.14 4.16 5/242 795962
/proc/meminfo: memFree=127421172/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=62020 memory=33712 CPUtime=281.48 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 5747 0 1 0 27903 245 0 0 20 0 1 0 157028452 63508480 8428 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 15505 8428 1943 922 0 7457 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 62020 KiB
Current children cumulated memory: 33712 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.16 5/245 795978
/proc/meminfo: memFree=127041200/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=70352 memory=35816 CPUtime=341.28 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 6242 0 1 0 33855 273 0 0 20 0 1 0 157028452 72040448 8954 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 17588 8954 1943 922 0 9540 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 70352 KiB
Current children cumulated memory: 35816 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.15 5/246 795989
/proc/meminfo: memFree=126822732/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=70352 memory=35816 CPUtime=401.1 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 6244 0 1 0 39808 302 0 0 20 0 1 0 157028452 72040448 8954 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 17588 8954 1943 922 0 9540 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 70352 KiB
Current children cumulated memory: 35816 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.11 4.14 6/246 795999
/proc/meminfo: memFree=126674580/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=70352 memory=36860 CPUtime=460.92 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 6513 0 1 0 45759 333 0 0 20 0 1 0 157028452 72040448 9215 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 17588 9215 1943 922 0 9540 0
################
# More data... #
################
Current children cumulated memory: 66880 KiB
[startup+2862.3 s]
/proc/loadavg: 4.22 4.27 4.19 5/245 797210
/proc/meminfo: memFree=125954104/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=100204 memory=66880 CPUtime=2854.24 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 12383 0 1 0 284406 1018 0 0 20 0 1 0 157028452 102608896 16720 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 25051 16720 1943 922 0 17003 0
Current children cumulated CPU time: 2854.24 s
Current children cumulated vsize: 100204 KiB
Current children cumulated memory: 66880 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.23 4.18 5/245 797220
/proc/meminfo: memFree=126094804/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=100204 memory=69284 CPUtime=2914.07 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 12403 0 1 0 290374 1033 0 0 20 0 1 0 157028452 102608896 17321 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 25051 17321 1943 922 0 17003 0
Current children cumulated CPU time: 2914.07 s
Current children cumulated vsize: 100204 KiB
Current children cumulated memory: 69284 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.22 4.18 5/244 797231
/proc/meminfo: memFree=126083228/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=100204 memory=69888 CPUtime=2973.93 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 12425 0 1 0 296345 1048 0 0 20 0 1 0 157028452 102608896 17472 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 25051 17472 1943 922 0 17003 0
Current children cumulated CPU time: 2973.93 s
Current children cumulated vsize: 100204 KiB
Current children cumulated memory: 69888 KiB
[startup+3042.3 s]
/proc/loadavg: 4.21 4.22 4.18 5/245 797627
/proc/meminfo: memFree=126005272/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=100204 memory=69888 CPUtime=3033.77 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 12448 0 1 0 302316 1061 0 0 20 0 1 0 157028452 102608896 17472 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 25051 17472 1943 922 0 17003 0
Current children cumulated CPU time: 3033.77 s
Current children cumulated vsize: 100204 KiB
Current children cumulated memory: 69888 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.19 4.18 5/245 797637
/proc/meminfo: memFree=126074700/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=101228 memory=70412 CPUtime=3093.62 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 12665 0 1 0 308290 1072 0 0 20 0 1 0 157028452 103657472 17603 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 25307 17603 1943 922 0 17259 0
Current children cumulated CPU time: 3093.62 s
Current children cumulated vsize: 101228 KiB
Current children cumulated memory: 70412 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/245 797647
/proc/meminfo: memFree=126074356/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=101228 memory=70652 CPUtime=3153.48 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 12687 0 1 0 314260 1088 0 0 20 0 1 0 157028452 103657472 17663 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 25307 17663 1943 922 0 17259 0
Current children cumulated CPU time: 3153.48 s
Current children cumulated vsize: 101228 KiB
Current children cumulated memory: 70652 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/246 797827
/proc/meminfo: memFree=126001504/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=101228 memory=70652 CPUtime=3213.33 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 12710 0 1 0 320229 1104 0 0 20 0 1 0 157028452 103657472 17663 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 25307 17663 1943 922 0 17259 0
Current children cumulated CPU time: 3213.33 s
Current children cumulated vsize: 101228 KiB
Current children cumulated memory: 70652 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.15 4.16 5/246 797837
/proc/meminfo: memFree=126000032/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=101228 memory=70652 CPUtime=3273.19 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 12731 0 1 0 326199 1120 0 0 20 0 1 0 157028452 103657472 17663 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 25307 17663 1943 922 0 17259 0
Current children cumulated CPU time: 3273.19 s
Current children cumulated vsize: 101228 KiB
Current children cumulated memory: 70652 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/244 797861
/proc/meminfo: memFree=126071496/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=101228 memory=70652 CPUtime=3333.05 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 12753 0 1 0 332169 1136 0 0 20 0 1 0 157028452 103657472 17663 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 25307 17663 1943 922 0 17259 0
Current children cumulated CPU time: 3333.05 s
Current children cumulated vsize: 101228 KiB
Current children cumulated memory: 70652 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.16 5/245 797872
/proc/meminfo: memFree=126075968/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=101228 memory=70652 CPUtime=3392.9 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 12775 0 1 0 338139 1151 0 0 20 0 1 0 157028452 103657472 17663 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 25307 17663 1943 922 0 17259 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 101228 KiB
Current children cumulated memory: 70652 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/245 797883
/proc/meminfo: memFree=126069628/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=101228 memory=70652 CPUtime=3452.76 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 12796 0 1 0 344109 1167 0 0 20 0 1 0 157028452 103657472 17663 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 25307 17663 1943 922 0 17259 0
Current children cumulated CPU time: 3452.76 s
Current children cumulated vsize: 101228 KiB
Current children cumulated memory: 70652 KiB
[startup+3522.3 s]
/proc/loadavg: 4.44 4.21 4.18 5/245 797893
/proc/meminfo: memFree=126069244/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=101228 memory=70652 CPUtime=3512.62 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 12817 0 1 0 350078 1184 0 0 20 0 1 0 157028452 103657472 17663 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 25307 17663 1943 922 0 17259 0
Current children cumulated CPU time: 3512.62 s
Current children cumulated vsize: 101228 KiB
Current children cumulated memory: 70652 KiB
[startup+3582.3 s]
/proc/loadavg: 4.64 4.32 4.22 5/245 797949
/proc/meminfo: memFree=127907072/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=101228 memory=70652 CPUtime=3572.45 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 12839 0 1 0 356048 1197 0 0 20 0 1 0 157028452 103657472 17663 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 25307 17663 1943 922 0 17259 0
Current children cumulated CPU time: 3572.45 s
Current children cumulated vsize: 101228 KiB
Current children cumulated memory: 70652 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.54 4.33 4.23 5/243 798000
/proc/meminfo: memFree=127919808/131655788 swapFree=131071996/131071996
[pid=795455] ppid=795452 vsize=101228 memory=70652 CPUtime=3600.08 cores=5,7
/proc/795455/stat : 795455 (roundingsat) R 795452 795455 795049 0 -1 4194304 12865 0 1 0 358805 1203 0 0 20 0 1 0 157028452 103657472 17663 134679101440 4194304 7968869 140727504158000 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 38670336 140727504163774 140727504163938 140727504163938 140727504170953 0
/proc/795455/statm: 25307 17663 1943 922 0 17259 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 101228 KiB
Current children cumulated memory: 70652 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 795455 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3588.06 s, system=12.0419 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 3610.01
CPU time (s): 3600.1
CPU user time (s): 3588.06
CPU system time (s): 12.0419
CPU usage (%): 99.7253
Max. virtual memory (cumulated for all children) (KiB): 101228
Max. memory (cumulated for all children) (KiB): 70652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.06
system time used= 12.0419
maximum resident set size= 70652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12873
page faults= 1
swaps= 0
block input operations= 224
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 2136
# summary of solver processes directly reported to runsolver:
# pid: 795455
# total CPU time (s): 3600.1
# total CPU user time (s): 3588.06
# total CPU system time (s): 12.0419
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7727 second user time and 36.2376 second system time
The end
Begin job on nodeC007 at 2024-07-15 15:05:30 IDJOB=4429453 IDBENCH=147613 IDSOLVER=3051 FILE ID=nodeC007/4429453-1721048718 RUNJOBID= nodeC007-1721048664-795062 SLURM_JOB_ID= 7505467 Free space on /tmp= 723708 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_3.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-4429453-1721048718/watcher-4429453-1721048718 -o /tmp/evaluation-result-4429453-1721048718/solver-4429453-1721048718 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721048664-795062 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429453-1721048718.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8548cf2fe8567884970fc9be656882ff RANDOM SEED=2070008562 nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3521.641 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3659.929 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.251 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.213 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3522.967 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3648.907 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.272 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.136 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128285876 kB MemAvailable: 129329996 kB Buffers: 361592 kB Cached: 1515404 kB SwapCached: 0 kB Active: 636896 kB Inactive: 2189988 kB Active(anon): 1460 kB Inactive(anon): 986108 kB Active(file): 635436 kB Inactive(file): 1203880 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 10920 kB Writeback: 0 kB AnonPages: 949908 kB Mapped: 112696 kB Shmem: 37704 kB KReclaimable: 89672 kB Slab: 185468 kB SReclaimable: 89672 kB SUnreclaim: 95796 kB KernelStack: 3904 kB PageTables: 11316 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1377172 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51104 kB HardwareCorrupted: 0 kB AnonHugePages: 509952 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: 248648 kB DirectMap2M: 22724608 kB DirectMap1G: 113246208 kB Free space on /tmp at the end= 723680 MiB End job on nodeC007 at 2024-07-15 16:05:41