| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.11 | 3608.6 |
| 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 - >= 0 @ 0.000537 0.00/0.00 c rational objective 0 0.19/0.23 c #Conflicts: 1000 | #Constraints: 1040 0.19/0.23 c #Conflicts: 2000 | #Constraints: 2050 0.19/0.23 c INPROCESSING 0.19/0.23 c GARBAGE COLLECT 0.19/0.23 c rational objective 0 0.58/0.61 c #Conflicts: 3000 | #Constraints: 2049 0.58/0.61 c #Conflicts: 4000 | #Constraints: 3057 0.58/0.61 c INPROCESSING 0.58/0.61 c GARBAGE COLLECT 0.58/0.61 c rational objective 0 1.08/1.13 c #Conflicts: 5000 | #Constraints: 2449 1.08/1.13 c #Conflicts: 6000 | #Constraints: 3453 1.08/1.13 c INPROCESSING 1.08/1.13 c GARBAGE COLLECT 1.08/1.13 c rational objective 0 1.78/1.81 c #Conflicts: 7000 | #Constraints: 2451 1.78/1.81 c #Conflicts: 8000 | #Constraints: 3453 1.78/1.81 c #Conflicts: 9000 | #Constraints: 4455 1.78/1.81 c INPROCESSING 1.78/1.81 c GARBAGE COLLECT 1.78/1.81 c rational objective 0 2.57/2.64 c #Conflicts: 10000 | #Constraints: 3153 2.57/2.64 c #Conflicts: 11000 | #Constraints: 4156 2.57/2.64 c #Conflicts: 12000 | #Constraints: 5164 2.57/2.64 c INPROCESSING 2.57/2.64 c GARBAGE COLLECT 2.57/2.64 c rational objective 0 3.57/3.65 c #Conflicts: 13000 | #Constraints: 3600 3.57/3.65 c #Conflicts: 14000 | #Constraints: 4604 3.57/3.65 c #Conflicts: 15000 | #Constraints: 5605 3.57/3.65 c INPROCESSING 3.57/3.65 c GARBAGE COLLECT 3.57/3.65 c rational objective 0 4.86/4.99 c #Conflicts: 16000 | #Constraints: 3827 4.86/4.99 c #Conflicts: 17000 | #Constraints: 4830 4.86/4.99 c #Conflicts: 18000 | #Constraints: 5831 4.86/4.99 c INPROCESSING 4.86/4.99 c GARBAGE COLLECT 4.86/4.99 c rational objective 0 7.26/7.36 c #Conflicts: 19000 | #Constraints: 4273 7.26/7.36 c #Conflicts: 20000 | #Constraints: 6060 7.26/7.36 c #Conflicts: 21000 | #Constraints: 7838 7.26/7.36 c INPROCESSING 7.26/7.36 c GARBAGE COLLECT 7.26/7.36 c rational objective 0 10.26/10.35 c #Conflicts: 22000 | #Constraints: 5177 10.26/10.35 c #Conflicts: 23000 | #Constraints: 6924 10.26/10.35 c #Conflicts: 24000 | #Constraints: 8671 10.26/10.35 c #Conflicts: 25000 | #Constraints: 10453 10.26/10.35 c INPROCESSING 10.26/10.35 c GARBAGE COLLECT 10.26/10.35 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.95/17.02 c #Conflicts: 30000 | #Constraints: 7351 16.95/17.02 c #Conflicts: 31000 | #Constraints: 8602 16.95/17.02 c #Conflicts: 32000 | #Constraints: 9922 16.95/17.02 c #Conflicts: 33000 | #Constraints: 11136 16.95/17.02 c INPROCESSING 16.95/17.02 c GARBAGE COLLECT 16.95/17.02 c rational objective 0 20.53/20.63 c #Conflicts: 34000 | #Constraints: 6656 20.53/20.63 c #Conflicts: 35000 | #Constraints: 7717 20.53/20.63 c #Conflicts: 36000 | #Constraints: 8836 20.53/20.63 c #Conflicts: 37000 | #Constraints: 9836 20.53/20.63 c INPROCESSING 20.53/20.63 c GARBAGE COLLECT 20.53/20.63 c rational objective 0 24.32/24.45 c #Conflicts: 38000 | #Constraints: 5958 24.32/24.45 c #Conflicts: 39000 | #Constraints: 7034 24.32/24.45 c #Conflicts: 40000 | #Constraints: 8063 24.32/24.45 c #Conflicts: 41000 | #Constraints: 9125 24.32/24.45 c INPROCESSING 24.32/24.45 c GARBAGE COLLECT 24.32/24.45 c rational objective 0 28.32/28.46 c #Conflicts: 42000 | #Constraints: 5285 28.32/28.46 c #Conflicts: 43000 | #Constraints: 6286 28.32/28.46 c #Conflicts: 44000 | #Constraints: 7287 28.32/28.46 c #Conflicts: 45000 | #Constraints: 8291 28.32/28.46 c #Conflicts: 46000 | #Constraints: 9298 28.32/28.46 c INPROCESSING 28.32/28.46 c GARBAGE COLLECT 28.32/28.46 c rational objective 0 33.70/33.81 c #Conflicts: 47000 | #Constraints: 6101 33.70/33.81 c #Conflicts: 48000 | #Constraints: 7895 33.70/33.81 c #Conflicts: 49000 | #Constraints: 8954 33.70/33.81 c #Conflicts: 50000 | #Constraints: 10430 33.70/33.81 c #Conflicts: 51000 | #Constraints: 11510 33.70/33.81 c INPROCESSING 33.70/33.81 c GARBAGE COLLECT 33.70/33.81 c rational objective 0 41.08/41.27 c #Conflicts: 52000 | #Constraints: 7389 41.08/41.27 c #Conflicts: 53000 | #Constraints: 9171 41.08/41.27 c #Conflicts: 54000 | #Constraints: 10810 41.08/41.27 c #Conflicts: 55000 | #Constraints: 12628 41.08/41.27 c #Conflicts: 56000 | #Constraints: 13899 41.08/41.27 c INPROCESSING 41.08/41.27 c GARBAGE COLLECT 41.08/41.27 c rational objective 0 47.57/47.70 c #Conflicts: 57000 | #Constraints: 8024 47.57/47.70 c #Conflicts: 58000 | #Constraints: 9046 47.57/47.70 c #Conflicts: 59000 | #Constraints: 10050 47.57/47.70 c #Conflicts: 60000 | #Constraints: 11066 47.57/47.70 c #Conflicts: 61000 | #Constraints: 12074 47.57/47.70 c INPROCESSING 47.57/47.70 c GARBAGE COLLECT 47.57/47.70 c rational objective 0 55.55/55.79 c #Conflicts: 62000 | #Constraints: 7208 55.55/55.79 c #Conflicts: 63000 | #Constraints: 8719 55.55/55.79 c #Conflicts: 64000 | #Constraints: 10507 55.55/55.79 c #Conflicts: 65000 | #Constraints: 12025 55.55/55.79 c #Conflicts: 66000 | #Constraints: 13324 55.55/55.79 c INPROCESSING 55.55/55.79 c GARBAGE COLLECT 55.55/55.79 c rational objective 0 64.63/64.86 c #Conflicts: 67000 | #Constraints: 7872 64.63/64.86 c #Conflicts: 68000 | #Constraints: 9488 64.63/64.86 c #Conflicts: 69000 | #Constraints: 11291 64.63/64.86 c #Conflicts: 70000 | #Constraints: 13068 64.63/64.86 c #Conflicts: 71000 | #Constraints: 14577 64.63/64.86 c #Conflicts: 72000 | #Constraints: 16068 64.63/64.86 c INPROCESSING 64.63/64.86 c GARBAGE COLLECT 64.63/64.86 c rational objective 0 72.51/72.70 c #Conflicts: 73000 | #Constraints: 9038 72.51/72.70 c #Conflicts: 74000 | #Constraints: 10051 72.51/72.70 c #Conflicts: 75000 | #Constraints: 11054 72.51/72.70 c #Conflicts: 76000 | #Constraints: 12054 72.51/72.70 c #Conflicts: 77000 | #Constraints: 13055 72.51/72.70 c #Conflicts: 78000 | #Constraints: 14057 72.51/72.70 c INPROCESSING 72.51/72.70 c GARBAGE COLLECT 72.51/72.70 c rational objective 0 80.60/80.88 c #Conflicts: 79000 | #Constraints: 8202 80.60/80.88 c #Conflicts: 80000 | #Constraints: 9278 80.60/80.88 c #Conflicts: 81000 | #Constraints: 10549 80.60/80.88 c #Conflicts: 82000 | #Constraints: 11582 80.60/80.88 c #Conflicts: 83000 | #Constraints: 12584 80.60/80.88 c #Conflicts: 84000 | #Constraints: 13644 80.60/80.88 c INPROCESSING 80.60/80.88 c GARBAGE COLLECT 80.60/80.88 c rational objective 0 89.07/89.36 c #Conflicts: 85000 | #Constraints: 7881 89.07/89.36 c #Conflicts: 86000 | #Constraints: 8907 89.07/89.36 c #Conflicts: 87000 | #Constraints: 9946 89.07/89.36 c #Conflicts: 88000 | #Constraints: 11033 89.07/89.36 c #Conflicts: 89000 | #Constraints: 12126 89.07/89.36 c #Conflicts: 90000 | #Constraints: 13218 89.07/89.36 c INPROCESSING 89.07/89.36 c GARBAGE COLLECT 89.07/89.36 c rational objective 0 99.05/99.39 c #Conflicts: 91000 | #Constraints: 7530 99.05/99.39 c #Conflicts: 92000 | #Constraints: 8728 99.05/99.39 c #Conflicts: 93000 | #Constraints: 10258 99.05/99.39 c #Conflicts: 94000 | #Constraints: 11625 99.05/99.39 c #Conflicts: 95000 | #Constraints: 12996 99.05/99.39 c #Conflicts: 96000 | #Constraints: 14594 99.05/99.39 c INPROCESSING 99.05/99.39 c GARBAGE COLLECT 99.05/99.39 c rational objective 0 108.63/108.95 c #Conflicts: 97000 | #Constraints: 8019 108.63/108.95 c #Conflicts: 98000 | #Constraints: 9019 108.63/108.95 c #Conflicts: 99000 | #Constraints: 10019 108.63/108.95 c #Conflicts: 100000 | #Constraints: 11019 108.63/108.95 c #Conflicts: 101000 | #Constraints: 12019 108.63/108.95 c #Conflicts: 102000 | #Constraints: 13021 108.63/108.95 c #Conflicts: 103000 | #Constraints: 14021 108.63/108.95 c INPROCESSING 108.63/108.95 c GARBAGE COLLECT 108.63/108.95 c rational objective 0 120.21/120.59 c #Conflicts: 104000 | #Constraints: 8389 120.21/120.59 c #Conflicts: 105000 | #Constraints: 10139 120.21/120.59 c #Conflicts: 106000 | #Constraints: 11845 120.21/120.59 c #Conflicts: 107000 | #Constraints: 13600 120.21/120.59 c #Conflicts: 108000 | #Constraints: 15337 120.21/120.59 c #Conflicts: 109000 | #Constraints: 17105 120.21/120.59 c #Conflicts: 110000 | #Constraints: 18360 120.21/120.59 c INPROCESSING 120.21/120.59 c GARBAGE COLLECT 120.21/120.59 c rational objective 0 135.96/136.31 c #Conflicts: 111000 | #Constraints: 10774 135.96/136.31 c #Conflicts: 112000 | #Constraints: 12486 135.96/136.31 c #Conflicts: 113000 | #Constraints: 14218 135.96/136.31 c #Conflicts: 114000 | #Constraints: 15969 135.96/136.31 c #Conflicts: 115000 | #Constraints: 17755 135.96/136.31 c #Conflicts: 116000 | #Constraints: 19491 135.96/136.31 c #Conflicts: 117000 | #Constraints: 21284 135.96/136.31 c INPROCESSING 135.96/136.31 c GARBAGE COLLECT 135.96/136.31 c rational objective 0 150.64/151.06 c #Conflicts: 118000 | #Constraints: 11659 150.64/151.06 c #Conflicts: 119000 | #Constraints: 12663 150.64/151.06 c #Conflicts: 120000 | #Constraints: 13665 150.64/151.06 c #Conflicts: 121000 | #Constraints: 14668 150.64/151.06 c #Conflicts: 122000 | #Constraints: 15669 150.64/151.06 c #Conflicts: 123000 | #Constraints: 16673 150.64/151.06 c #Conflicts: 124000 | #Constraints: 17674 150.64/151.06 c INPROCESSING 150.64/151.06 c GARBAGE COLLECT 150.64/151.06 c rational objective 0 163.80/164.23 c #Conflicts: 125000 | #Constraints: 9926 163.80/164.23 c #Conflicts: 126000 | #Constraints: 10999 163.80/164.23 c #Conflicts: 127000 | #Constraints: 11999 163.80/164.23 c #Conflicts: 128000 | #Constraints: 13155 163.80/164.23 c #Conflicts: 129000 | #Constraints: 14156 163.80/164.23 c #Conflicts: 130000 | #Constraints: 15157 163.80/164.23 c #Conflicts: 131000 | #Constraints: 16157 163.80/164.23 c INPROCESSING 163.80/164.23 c GARBAGE COLLECT 163.80/164.23 c rational objective 0 176.68/177.16 c #Conflicts: 132000 | #Constraints: 8872 176.68/177.16 c #Conflicts: 133000 | #Constraints: 9872 176.68/177.16 c #Conflicts: 134000 | #Constraints: 11022 176.68/177.16 c #Conflicts: 135000 | #Constraints: 12022 176.68/177.16 c #Conflicts: 136000 | #Constraints: 13022 176.68/177.16 c #Conflicts: 137000 | #Constraints: 14336 176.68/177.16 c #Conflicts: 138000 | #Constraints: 15336 176.68/177.16 c #Conflicts: 139000 | #Constraints: 16336 176.68/177.16 c INPROCESSING 176.68/177.16 c GARBAGE COLLECT 176.68/177.16 c rational objective 0 190.74/191.29 c #Conflicts: 140000 | #Constraints: 9113 190.74/191.29 c #Conflicts: 141000 | #Constraints: 10149 190.74/191.29 c #Conflicts: 142000 | #Constraints: 11150 190.74/191.29 c #Conflicts: 143000 | #Constraints: 12189 190.74/191.29 c #Conflicts: 144000 | #Constraints: 13190 190.74/191.29 c #Conflicts: 145000 | #Constraints: 14190 190.74/191.29 c #Conflicts: 146000 | #Constraints: 15216 190.74/191.29 c #Conflicts: 147000 | #Constraints: 16216 190.74/191.29 c INPROCESSING 190.74/191.29 c GARBAGE COLLECT 190.74/191.29 c rational objective 0 203.62/204.19 c #Conflicts: 148000 | #Constraints: 9129 203.62/204.19 c #Conflicts: 149000 | #Constraints: 10130 203.62/204.19 c #Conflicts: 150000 | #Constraints: 11136 203.62/204.19 c #Conflicts: 151000 | #Constraints: 12141 203.62/204.19 c #Conflicts: 152000 | #Constraints: 13142 203.62/204.19 c #Conflicts: 153000 | #Constraints: 14144 203.62/204.19 c #Conflicts: 154000 | #Constraints: 15152 203.62/204.19 c #Conflicts: 155000 | #Constraints: 16154 203.62/204.19 c INPROCESSING 203.62/204.19 c GARBAGE COLLECT 203.62/204.19 c rational objective 0 219.88/220.43 c #Conflicts: 156000 | #Constraints: 9781 219.88/220.43 c #Conflicts: 157000 | #Constraints: 11521 219.88/220.43 c #Conflicts: 158000 | #Constraints: 13048 219.88/220.43 c #Conflicts: 159000 | #Constraints: 14747 219.88/220.43 c #Conflicts: 160000 | #Constraints: 16547 219.88/220.43 c #Conflicts: 161000 | #Constraints: 18300 219.88/220.43 c #Conflicts: 162000 | #Constraints: 20056 219.88/220.43 c #Conflicts: 163000 | #Constraints: 21799 219.88/220.43 c INPROCESSING 219.88/220.43 c GARBAGE COLLECT 219.88/220.43 c rational objective 0 236.63/237.23 c #Conflicts: 164000 | #Constraints: 12039 236.63/237.23 c #Conflicts: 165000 | #Constraints: 13042 236.63/237.23 c #Conflicts: 166000 | #Constraints: 14268 236.63/237.23 c #Conflicts: 167000 | #Constraints: 15434 236.63/237.23 c #Conflicts: 168000 | #Constraints: 16476 236.63/237.23 c #Conflicts: 169000 | #Constraints: 17762 236.63/237.23 c #Conflicts: 170000 | #Constraints: 19036 236.63/237.23 c #Conflicts: 171000 | #Constraints: 20038 236.63/237.23 c INPROCESSING 236.63/237.23 c GARBAGE COLLECT 236.63/237.23 c rational objective 0 253.29/253.94 c #Conflicts: 172000 | #Constraints: 10908 253.29/253.94 c #Conflicts: 173000 | #Constraints: 11909 253.29/253.94 c #Conflicts: 174000 | #Constraints: 12909 253.29/253.94 c #Conflicts: 175000 | #Constraints: 13942 253.29/253.94 c #Conflicts: 176000 | #Constraints: 14943 253.29/253.94 c #Conflicts: 177000 | #Constraints: 15943 253.29/253.94 c #Conflicts: 178000 | #Constraints: 16945 253.29/253.94 c #Conflicts: 179000 | #Constraints: 17945 253.29/253.94 c #Conflicts: 180000 | #Constraints: 18946 253.29/253.94 c INPROCESSING 253.29/253.94 c GARBAGE COLLECT 253.29/253.94 c rational objective 0 273.85/274.52 c #Conflicts: 181000 | #Constraints: 10497 273.85/274.52 c #Conflicts: 182000 | #Constraints: 11793 273.85/274.52 c #Conflicts: 183000 | #Constraints: 13066 273.85/274.52 c #Conflicts: 184000 | #Constraints: 14669 273.85/274.52 c #Conflicts: 185000 | #Constraints: 15879 273.85/274.52 c #Conflicts: 186000 | #Constraints: 17271 273.85/274.52 c #Conflicts: 187000 | #Constraints: 19040 273.85/274.52 c #Conflicts: 188000 | #Constraints: 20764 273.85/274.52 c #Conflicts: 189000 | #Constraints: 22455 273.85/274.52 c INPROCESSING 273.85/274.52 c GARBAGE COLLECT 273.85/274.52 c rational objective 0 302.29/303.09 c #Conflicts: 190000 | #Constraints: 12463 302.29/303.09 c #Conflicts: 191000 | #Constraints: 14021 302.29/303.09 c #Conflicts: 192000 | #Constraints: 15750 302.29/303.09 c #Conflicts: 193000 | #Constraints: 17402 302.29/303.09 c #Conflicts: 194000 | #Constraints: 18676 302.29/303.09 c #Conflicts: 195000 | #Constraints: 20280 302.29/303.09 c #Conflicts: 196000 | #Constraints: 21677 302.29/303.09 c #Conflicts: 197000 | #Constraints: 22940 302.29/303.09 c #Conflicts: 198000 | #Constraints: 23941 302.29/303.09 c INPROCESSING 302.29/303.09 c GARBAGE COLLECT 302.29/303.09 c rational objective 0 329.43/330.28 c #Conflicts: 199000 | #Constraints: 13486 329.43/330.28 c #Conflicts: 200000 | #Constraints: 14814 329.43/330.28 c #Conflicts: 201000 | #Constraints: 15816 329.43/330.28 c #Conflicts: 202000 | #Constraints: 16910 329.43/330.28 c #Conflicts: 203000 | #Constraints: 18369 329.43/330.28 c #Conflicts: 204000 | #Constraints: 19856 329.43/330.28 c #Conflicts: 205000 | #Constraints: 21332 329.43/330.28 c #Conflicts: 206000 | #Constraints: 22516 329.43/330.28 c #Conflicts: 207000 | #Constraints: 23702 329.43/330.28 c INPROCESSING 329.43/330.28 c GARBAGE COLLECT 329.43/330.28 c rational objective 0 356.46/357.38 c #Conflicts: 208000 | #Constraints: 12881 356.46/357.38 c #Conflicts: 209000 | #Constraints: 13932 356.46/357.38 c #Conflicts: 210000 | #Constraints: 15184 356.46/357.38 c #Conflicts: 211000 | #Constraints: 16342 356.46/357.38 c #Conflicts: 212000 | #Constraints: 17342 356.46/357.38 c #Conflicts: 213000 | #Constraints: 18351 356.46/357.38 c #Conflicts: 214000 | #Constraints: 19351 356.46/357.38 c #Conflicts: 215000 | #Constraints: 20381 356.46/357.38 c #Conflicts: 216000 | #Constraints: 21381 356.46/357.38 c INPROCESSING 356.46/357.38 c GARBAGE COLLECT 356.46/357.38 c rational objective 0 382.31/383.22 c #Conflicts: 217000 | #Constraints: 11412 382.31/383.22 c #Conflicts: 218000 | #Constraints: 12412 382.31/383.22 c #Conflicts: 219000 | #Constraints: 13413 382.31/383.22 c #Conflicts: 220000 | #Constraints: 14413 382.31/383.22 c #Conflicts: 221000 | #Constraints: 15413 382.31/383.22 c #Conflicts: 222000 | #Constraints: 16413 382.31/383.22 c #Conflicts: 223000 | #Constraints: 17414 382.31/383.22 c #Conflicts: 224000 | #Constraints: 18414 382.31/383.22 c #Conflicts: 225000 | #Constraints: 19417 382.31/383.22 c #Conflicts: 226000 | #Constraints: 20419 382.31/383.22 c INPROCESSING 382.31/383.22 c GARBAGE COLLECT 382.31/383.22 c rational objective 0 405.26/406.23 c #Conflicts: 227000 | #Constraints: 11195 405.26/406.23 c #Conflicts: 228000 | #Constraints: 12241 405.26/406.23 c #Conflicts: 229000 | #Constraints: 13273 405.26/406.23 c #Conflicts: 230000 | #Constraints: 14284 405.26/406.23 c #Conflicts: 231000 | #Constraints: 15309 405.26/406.23 c #Conflicts: 232000 | #Constraints: 16309 405.26/406.23 c #Conflicts: 233000 | #Constraints: 17309 405.26/406.23 c #Conflicts: 234000 | #Constraints: 18327 405.26/406.23 c #Conflicts: 235000 | #Constraints: 19327 405.26/406.23 c #Conflicts: 236000 | #Constraints: 20327 405.26/406.23 c INPROCESSING 405.26/406.23 c GARBAGE COLLECT 405.26/406.23 c rational objective 0 428.20/429.26 c #Conflicts: 237000 | #Constraints: 11289 428.20/429.26 c #Conflicts: 238000 | #Constraints: 12618 428.20/429.26 c #Conflicts: 239000 | #Constraints: 13639 428.20/429.26 c #Conflicts: 240000 | #Constraints: 14668 428.20/429.26 c #Conflicts: 241000 | #Constraints: 16000 428.20/429.26 c #Conflicts: 242000 | #Constraints: 17067 428.20/429.26 c #Conflicts: 243000 | #Constraints: 18068 428.20/429.26 c #Conflicts: 244000 | #Constraints: 19250 428.20/429.26 c #Conflicts: 245000 | #Constraints: 20404 428.20/429.26 c #Conflicts: 246000 | #Constraints: 21404 428.20/429.26 c INPROCESSING 428.20/429.26 c GARBAGE COLLECT 428.20/429.26 c rational objective 0 461.04/462.19 c #Conflicts: 247000 | #Constraints: 12336 461.04/462.19 c #Conflicts: 248000 | #Constraints: 14063 461.04/462.19 c #Conflicts: 249000 | #Constraints: 15820 461.04/462.19 c #Conflicts: 250000 | #Constraints: 17561 461.04/462.19 c #Conflicts: 251000 | #Constraints: 19315 461.04/462.19 c #Conflicts: 252000 | #Constraints: 21044 461.04/462.19 c #Conflicts: 253000 | #Constraints: 22757 461.04/462.19 c #Conflicts: 254000 | #Constraints: 24469 461.04/462.19 c #Conflicts: 255000 | #Constraints: 26213 461.04/462.19 c #Conflicts: 256000 | #Constraints: 27930 461.04/462.19 c INPROCESSING 461.04/462.19 c GARBAGE COLLECT 461.04/462.19 c rational objective 0 489.36/490.55 c #Conflicts: 257000 | #Constraints: 15024 489.36/490.55 c #Conflicts: 258000 | #Constraints: 16030 489.36/490.55 c #Conflicts: 259000 | #Constraints: 17373 489.36/490.55 c #Conflicts: 260000 | #Constraints: 18374 489.36/490.55 c #Conflicts: 261000 | #Constraints: 19490 489.36/490.55 c #Conflicts: 262000 | #Constraints: 20518 489.36/490.55 c #Conflicts: 263000 | #Constraints: 21710 489.36/490.55 c #Conflicts: 264000 | #Constraints: 22936 489.36/490.55 c #Conflicts: 265000 | #Constraints: 23936 489.36/490.55 c #Conflicts: 266000 | #Constraints: 24936 489.36/490.55 c INPROCESSING 489.36/490.55 c GARBAGE COLLECT 489.36/490.55 c rational objective 0 520.19/521.45 c #Conflicts: 267000 | #Constraints: 13386 520.19/521.45 c #Conflicts: 268000 | #Constraints: 14424 520.19/521.45 c #Conflicts: 269000 | #Constraints: 15454 520.19/521.45 c #Conflicts: 270000 | #Constraints: 16506 520.19/521.45 c #Conflicts: 271000 | #Constraints: 17510 520.19/521.45 c #Conflicts: 272000 | #Constraints: 18638 520.19/521.45 c #Conflicts: 273000 | #Constraints: 20050 520.19/521.45 c #Conflicts: 274000 | #Constraints: 21433 520.19/521.45 c #Conflicts: 275000 | #Constraints: 22554 520.19/521.45 c #Conflicts: 276000 | #Constraints: 23626 520.19/521.45 c #Conflicts: 277000 | #Constraints: 24626 520.19/521.45 c INPROCESSING 520.19/521.45 c GARBAGE COLLECT 520.19/521.45 c rational objective 0 561.99/563.33 c #Conflicts: 278000 | #Constraints: 13520 561.99/563.33 c #Conflicts: 279000 | #Constraints: 15088 561.99/563.33 c #Conflicts: 280000 | #Constraints: 16847 561.99/563.33 c #Conflicts: 281000 | #Constraints: 18568 561.99/563.33 c #Conflicts: 282000 | #Constraints: 20288 561.99/563.33 c #Conflicts: 283000 | #Constraints: 22026 561.99/563.33 c #Conflicts: 284000 | #Constraints: 23621 561.99/563.33 c #Conflicts: 285000 | #Constraints: 24623 561.99/563.33 c #Conflicts: 286000 | #Constraints: 26021 561.99/563.33 c #Conflicts: 287000 | #Constraints: 27751 561.99/563.33 c #Conflicts: 288000 | #Constraints: 29524 561.99/563.33 c INPROCESSING 561.99/563.33 c GARBAGE COLLECT 561.99/563.33 c rational objective 0 600.20/601.67 c #Conflicts: 289000 | #Constraints: 16029 600.20/601.67 c #Conflicts: 290000 | #Constraints: 17031 600.20/601.67 c #Conflicts: 291000 | #Constraints: 18031 600.20/601.67 c #Conflicts: 292000 | #Constraints: 19031 600.20/601.67 c #Conflicts: 293000 | #Constraints: 20032 600.20/601.67 c #Conflicts: 294000 | #Constraints: 21073 600.20/601.67 c #Conflicts: 295000 | #Constraints: 22285 600.20/601.67 c #Conflicts: 296000 | #Constraints: 23285 600.20/601.67 c #Conflicts: 297000 | #Constraints: 24487 600.20/601.67 c #Conflicts: 298000 | #Constraints: 25701 600.20/601.67 c #Conflicts: 299000 | #Constraints: 26740 600.20/601.67 c INPROCESSING 600.20/601.67 c GARBAGE COLLECT 600.20/601.67 c rational objective 0 645.70/647.20 c #Conflicts: 300000 | #Constraints: 15107 645.70/647.20 c #Conflicts: 301000 | #Constraints: 16827 645.70/647.20 c #Conflicts: 302000 | #Constraints: 18518 645.70/647.20 c #Conflicts: 303000 | #Constraints: 20223 645.70/647.20 c #Conflicts: 304000 | #Constraints: 21912 645.70/647.20 c #Conflicts: 305000 | #Constraints: 23665 645.70/647.20 c #Conflicts: 306000 | #Constraints: 25390 645.70/647.20 c #Conflicts: 307000 | #Constraints: 27172 645.70/647.20 c #Conflicts: 308000 | #Constraints: 28904 645.70/647.20 c #Conflicts: 309000 | #Constraints: 30667 645.70/647.20 c #Conflicts: 310000 | #Constraints: 32414 645.70/647.20 c INPROCESSING 645.70/647.20 c GARBAGE COLLECT 645.70/647.20 c rational objective 0 699.57/701.22 c #Conflicts: 311000 | #Constraints: 17780 699.57/701.22 c #Conflicts: 312000 | #Constraints: 19545 699.57/701.22 c #Conflicts: 313000 | #Constraints: 21305 699.57/701.22 c #Conflicts: 314000 | #Constraints: 23029 699.57/701.22 c #Conflicts: 315000 | #Constraints: 24780 699.57/701.22 c #Conflicts: 316000 | #Constraints: 26545 699.57/701.22 c #Conflicts: 317000 | #Constraints: 28309 699.57/701.22 c #Conflicts: 318000 | #Constraints: 30098 699.57/701.22 c #Conflicts: 319000 | #Constraints: 31869 699.57/701.22 c #Conflicts: 320000 | #Constraints: 33666 699.57/701.22 c #Conflicts: 321000 | #Constraints: 35409 699.57/701.22 c INPROCESSING 699.57/701.22 c GARBAGE COLLECT 699.57/701.22 c rational objective 0 763.02/764.83 c #Conflicts: 322000 | #Constraints: 18796 763.02/764.83 c #Conflicts: 323000 | #Constraints: 20537 763.02/764.83 c #Conflicts: 324000 | #Constraints: 22213 763.02/764.83 c #Conflicts: 325000 | #Constraints: 23916 763.02/764.83 c #Conflicts: 326000 | #Constraints: 25643 763.02/764.83 c #Conflicts: 327000 | #Constraints: 27398 763.02/764.83 c #Conflicts: 328000 | #Constraints: 29095 763.02/764.83 c #Conflicts: 329000 | #Constraints: 30825 763.02/764.83 c #Conflicts: 330000 | #Constraints: 32519 763.02/764.83 c #Conflicts: 331000 | #Constraints: 34109 763.02/764.83 c #Conflicts: 332000 | #Constraints: 35838 763.02/764.83 c #Conflicts: 333000 | #Constraints: 37548 763.02/764.83 c INPROCESSING 763.02/764.83 c GARBAGE COLLECT 763.02/764.83 c rational objective 0 818.49/820.45 c #Conflicts: 334000 | #Constraints: 20016 818.49/820.45 c #Conflicts: 335000 | #Constraints: 21541 818.49/820.45 c #Conflicts: 336000 | #Constraints: 22757 818.49/820.45 c #Conflicts: 337000 | #Constraints: 23759 818.49/820.45 c #Conflicts: 338000 | #Constraints: 24964 818.49/820.45 c #Conflicts: 339000 | #Constraints: 26688 818.49/820.45 c #Conflicts: 340000 | #Constraints: 27760 818.49/820.45 c #Conflicts: 341000 | #Constraints: 28760 818.49/820.45 c #Conflicts: 342000 | #Constraints: 29762 818.49/820.45 c #Conflicts: 343000 | #Constraints: 31124 818.49/820.45 c #Conflicts: 344000 | #Constraints: 32225 818.49/820.45 c #Conflicts: 345000 | #Constraints: 33306 818.49/820.45 c INPROCESSING 818.49/820.45 c GARBAGE COLLECT 818.49/820.45 c rational objective 0 871.56/873.60 c #Conflicts: 346000 | #Constraints: 17927 871.56/873.60 c #Conflicts: 347000 | #Constraints: 19347 871.56/873.60 c #Conflicts: 348000 | #Constraints: 20716 871.56/873.60 c #Conflicts: 349000 | #Constraints: 21718 871.56/873.60 c #Conflicts: 350000 | #Constraints: 22719 871.56/873.60 c #Conflicts: 351000 | #Constraints: 23719 871.56/873.60 c #Conflicts: 352000 | #Constraints: 24870 871.56/873.60 c #Conflicts: 353000 | #Constraints: 26277 871.56/873.60 c #Conflicts: 354000 | #Constraints: 27496 871.56/873.60 c #Conflicts: 355000 | #Constraints: 28668 871.56/873.60 c #Conflicts: 356000 | #Constraints: 29670 871.56/873.60 c #Conflicts: 357000 | #Constraints: 31055 871.56/873.60 c INPROCESSING 871.56/873.60 c GARBAGE COLLECT 871.56/873.60 c rational objective 0 926.42/928.62 c #Conflicts: 358000 | #Constraints: 17064 926.42/928.62 c #Conflicts: 359000 | #Constraints: 18739 926.42/928.62 c #Conflicts: 360000 | #Constraints: 20454 926.42/928.62 c #Conflicts: 361000 | #Constraints: 22064 926.42/928.62 c #Conflicts: 362000 | #Constraints: 23066 926.42/928.62 c #Conflicts: 363000 | #Constraints: 24069 926.42/928.62 c #Conflicts: 364000 | #Constraints: 25674 926.42/928.62 c #Conflicts: 365000 | #Constraints: 26689 926.42/928.62 c #Conflicts: 366000 | #Constraints: 27693 926.42/928.62 c #Conflicts: 367000 | #Constraints: 28693 926.42/928.62 c #Conflicts: 368000 | #Constraints: 29694 926.42/928.62 c #Conflicts: 369000 | #Constraints: 30696 926.42/928.62 c INPROCESSING 926.42/928.62 c GARBAGE COLLECT 926.42/928.62 c rational objective 0 984.98/987.34 c #Conflicts: 370000 | #Constraints: 16829 984.98/987.34 c #Conflicts: 371000 | #Constraints: 18513 984.98/987.34 c #Conflicts: 372000 | #Constraints: 20221 984.98/987.34 c #Conflicts: 373000 | #Constraints: 21894 984.98/987.34 c #Conflicts: 374000 | #Constraints: 23602 984.98/987.34 c #Conflicts: 375000 | #Constraints: 25271 984.98/987.34 c #Conflicts: 376000 | #Constraints: 26967 984.98/987.34 c #Conflicts: 377000 | #Constraints: 28665 984.98/987.34 c #Conflicts: 378000 | #Constraints: 30391 984.98/987.34 c #Conflicts: 379000 | #Constraints: 32131 984.98/987.34 c #Conflicts: 380000 | #Constraints: 33846 984.98/987.34 c #Conflicts: 381000 | #Constraints: 35605 984.98/987.34 c INPROCESSING 984.98/987.34 c GARBAGE COLLECT 984.98/987.34 c rational objective 0 1047.64/1050.15 c #Conflicts: 382000 | #Constraints: 19016 1047.64/1050.15 c #Conflicts: 383000 | #Constraints: 20761 1047.64/1050.15 c #Conflicts: 384000 | #Constraints: 22414 1047.64/1050.15 c #Conflicts: 385000 | #Constraints: 24166 1047.64/1050.15 c #Conflicts: 386000 | #Constraints: 25653 1047.64/1050.15 c #Conflicts: 387000 | #Constraints: 26981 1047.64/1050.15 c #Conflicts: 388000 | #Constraints: 28704 1047.64/1050.15 c #Conflicts: 389000 | #Constraints: 30423 1047.64/1050.15 c #Conflicts: 390000 | #Constraints: 32172 1047.64/1050.15 c #Conflicts: 391000 | #Constraints: 33591 1047.64/1050.15 c #Conflicts: 392000 | #Constraints: 34659 1047.64/1050.15 c #Conflicts: 393000 | #Constraints: 35660 1047.64/1050.15 c #Conflicts: 394000 | #Constraints: 36661 1047.64/1050.15 c INPROCESSING 1047.64/1050.15 c GARBAGE COLLECT 1047.64/1050.15 c rational objective 0 1106.60/1109.29 c #Conflicts: 395000 | #Constraints: 19706 1106.60/1109.29 c #Conflicts: 396000 | #Constraints: 20842 1106.60/1109.29 c #Conflicts: 397000 | #Constraints: 21895 1106.60/1109.29 c #Conflicts: 398000 | #Constraints: 22929 1106.60/1109.29 c #Conflicts: 399000 | #Constraints: 23930 1106.60/1109.29 c #Conflicts: 400000 | #Constraints: 24930 1106.60/1109.29 c #Conflicts: 401000 | #Constraints: 25935 1106.60/1109.29 c #Conflicts: 402000 | #Constraints: 26936 1106.60/1109.29 c #Conflicts: 403000 | #Constraints: 27936 1106.60/1109.29 c #Conflicts: 404000 | #Constraints: 28938 1106.60/1109.29 c #Conflicts: 405000 | #Constraints: 30008 1106.60/1109.29 c #Conflicts: 406000 | #Constraints: 31008 1106.60/1109.29 c #Conflicts: 407000 | #Constraints: 32011 1106.60/1109.29 c INPROCESSING 1106.60/1109.29 c GARBAGE COLLECT 1106.60/1109.29 c rational objective 0 1175.33/1178.18 c #Conflicts: 408000 | #Constraints: 17705 1175.33/1178.18 c #Conflicts: 409000 | #Constraints: 19428 1175.33/1178.18 c #Conflicts: 410000 | #Constraints: 21187 1175.33/1178.18 c #Conflicts: 411000 | #Constraints: 22909 1175.33/1178.18 c #Conflicts: 412000 | #Constraints: 24605 1175.33/1178.18 c #Conflicts: 413000 | #Constraints: 26367 1175.33/1178.18 c #Conflicts: 414000 | #Constraints: 28073 1175.33/1178.18 c #Conflicts: 415000 | #Constraints: 29760 1175.33/1178.18 c #Conflicts: 416000 | #Constraints: 31482 1175.33/1178.18 c #Conflicts: 417000 | #Constraints: 33208 1175.33/1178.18 c #Conflicts: 418000 | #Constraints: 34925 1175.33/1178.18 c #Conflicts: 419000 | #Constraints: 36639 1175.33/1178.18 c #Conflicts: 420000 | #Constraints: 38364 1175.33/1178.18 c INPROCESSING 1175.33/1178.18 c GARBAGE COLLECT 1175.33/1178.18 c rational objective 0 1251.24/1254.29 c #Conflicts: 421000 | #Constraints: 20936 1251.24/1254.29 c #Conflicts: 422000 | #Constraints: 22677 1251.24/1254.29 c #Conflicts: 423000 | #Constraints: 24411 1251.24/1254.29 c #Conflicts: 424000 | #Constraints: 26103 1251.24/1254.29 c #Conflicts: 425000 | #Constraints: 27790 1251.24/1254.29 c #Conflicts: 426000 | #Constraints: 29149 1251.24/1254.29 c #Conflicts: 427000 | #Constraints: 30855 1251.24/1254.29 c #Conflicts: 428000 | #Constraints: 32626 1251.24/1254.29 c #Conflicts: 429000 | #Constraints: 34342 1251.24/1254.29 c #Conflicts: 430000 | #Constraints: 35735 1251.24/1254.29 c #Conflicts: 431000 | #Constraints: 37481 1251.24/1254.29 c #Conflicts: 432000 | #Constraints: 39181 1251.24/1254.29 c #Conflicts: 433000 | #Constraints: 40878 1251.24/1254.29 c INPROCESSING 1251.24/1254.29 c GARBAGE COLLECT 1251.24/1254.29 c rational objective 0 1320.89/1324.05 c #Conflicts: 434000 | #Constraints: 21543 1320.89/1324.05 c #Conflicts: 435000 | #Constraints: 22986 1320.89/1324.05 c #Conflicts: 436000 | #Constraints: 24269 1320.89/1324.05 c #Conflicts: 437000 | #Constraints: 25504 1320.89/1324.05 c #Conflicts: 438000 | #Constraints: 26952 1320.89/1324.05 c #Conflicts: 439000 | #Constraints: 27953 1320.89/1324.05 c #Conflicts: 440000 | #Constraints: 29174 1320.89/1324.05 c #Conflicts: 441000 | #Constraints: 30223 1320.89/1324.05 c #Conflicts: 442000 | #Constraints: 31224 1320.89/1324.05 c #Conflicts: 443000 | #Constraints: 32560 1320.89/1324.05 c #Conflicts: 444000 | #Constraints: 33699 1320.89/1324.05 c #Conflicts: 445000 | #Constraints: 34743 1320.89/1324.05 c #Conflicts: 446000 | #Constraints: 35745 1320.89/1324.05 c INPROCESSING 1320.89/1324.05 c GARBAGE COLLECT 1320.89/1324.05 c rational objective 0 1391.23/1394.58 c #Conflicts: 447000 | #Constraints: 18789 1391.23/1394.58 c #Conflicts: 448000 | #Constraints: 19790 1391.23/1394.58 c #Conflicts: 449000 | #Constraints: 21263 1391.23/1394.58 c #Conflicts: 450000 | #Constraints: 22404 1391.23/1394.58 c #Conflicts: 451000 | #Constraints: 23476 1391.23/1394.58 c #Conflicts: 452000 | #Constraints: 24563 1391.23/1394.58 c #Conflicts: 453000 | #Constraints: 25606 1391.23/1394.58 c #Conflicts: 454000 | #Constraints: 26904 1391.23/1394.58 c #Conflicts: 455000 | #Constraints: 28424 1391.23/1394.58 c #Conflicts: 456000 | #Constraints: 29425 1391.23/1394.58 c #Conflicts: 457000 | #Constraints: 30517 1391.23/1394.58 c #Conflicts: 458000 | #Constraints: 31517 1391.23/1394.58 c #Conflicts: 459000 | #Constraints: 32862 1391.23/1394.58 c #Conflicts: 460000 | #Constraints: 33998 1391.23/1394.58 c INPROCESSING 1391.23/1394.58 c GARBAGE COLLECT 1391.23/1394.58 c rational objective 0 1456.77/1460.29 c #Conflicts: 461000 | #Constraints: 18106 1456.77/1460.29 c #Conflicts: 462000 | #Constraints: 19106 1456.77/1460.29 c #Conflicts: 463000 | #Constraints: 20106 1456.77/1460.29 c #Conflicts: 464000 | #Constraints: 21106 1456.77/1460.29 c #Conflicts: 465000 | #Constraints: 22107 1456.77/1460.29 c #Conflicts: 466000 | #Constraints: 23108 1456.77/1460.29 c #Conflicts: 467000 | #Constraints: 24335 1456.77/1460.29 c #Conflicts: 468000 | #Constraints: 25530 1456.77/1460.29 c #Conflicts: 469000 | #Constraints: 26804 1456.77/1460.29 c #Conflicts: 470000 | #Constraints: 27804 1456.77/1460.29 c #Conflicts: 471000 | #Constraints: 28804 1456.77/1460.29 c #Conflicts: 472000 | #Constraints: 29806 1456.77/1460.29 c #Conflicts: 473000 | #Constraints: 30841 1456.77/1460.29 c #Conflicts: 474000 | #Constraints: 31841 1456.77/1460.29 c INPROCESSING 1456.77/1460.29 c GARBAGE COLLECT 1456.77/1460.29 c rational objective 0 1529.99/1533.69 c #Conflicts: 475000 | #Constraints: 17392 1529.99/1533.69 c #Conflicts: 476000 | #Constraints: 19093 1529.99/1533.69 c #Conflicts: 477000 | #Constraints: 20827 1529.99/1533.69 c #Conflicts: 478000 | #Constraints: 22559 1529.99/1533.69 c #Conflicts: 479000 | #Constraints: 24040 1529.99/1533.69 c #Conflicts: 480000 | #Constraints: 25040 1529.99/1533.69 c #Conflicts: 481000 | #Constraints: 26397 1529.99/1533.69 c #Conflicts: 482000 | #Constraints: 28126 1529.99/1533.69 c #Conflicts: 483000 | #Constraints: 29847 1529.99/1533.69 c #Conflicts: 484000 | #Constraints: 31599 1529.99/1533.69 c #Conflicts: 485000 | #Constraints: 33350 1529.99/1533.69 c #Conflicts: 486000 | #Constraints: 35079 1529.99/1533.69 c #Conflicts: 487000 | #Constraints: 36789 1529.99/1533.69 c #Conflicts: 488000 | #Constraints: 38525 1529.99/1533.69 c INPROCESSING 1529.99/1533.69 c GARBAGE COLLECT 1529.99/1533.69 c rational objective 0 1609.51/1613.32 c #Conflicts: 489000 | #Constraints: 20472 1609.51/1613.32 c #Conflicts: 490000 | #Constraints: 21677 1609.51/1613.32 c #Conflicts: 491000 | #Constraints: 22913 1609.51/1613.32 c #Conflicts: 492000 | #Constraints: 24371 1609.51/1613.32 c #Conflicts: 493000 | #Constraints: 25861 1609.51/1613.32 c #Conflicts: 494000 | #Constraints: 27600 1609.51/1613.32 c #Conflicts: 495000 | #Constraints: 28694 1609.51/1613.32 c #Conflicts: 496000 | #Constraints: 29778 1609.51/1613.32 c #Conflicts: 497000 | #Constraints: 30971 1609.51/1613.32 c #Conflicts: 498000 | #Constraints: 31971 1609.51/1613.32 c #Conflicts: 499000 | #Constraints: 33051 1609.51/1613.32 c #Conflicts: 500000 | #Constraints: 34724 1609.51/1613.32 c #Conflicts: 501000 | #Constraints: 36025 1609.51/1613.32 c #Conflicts: 502000 | #Constraints: 37025 1609.51/1613.32 c INPROCESSING 1609.51/1613.32 c GARBAGE COLLECT 1609.51/1613.32 c rational objective 0 1696.30/1700.37 c #Conflicts: 503000 | #Constraints: 19883 1696.30/1700.37 c #Conflicts: 504000 | #Constraints: 21419 1696.30/1700.37 c #Conflicts: 505000 | #Constraints: 23025 1696.30/1700.37 c #Conflicts: 506000 | #Constraints: 24767 1696.30/1700.37 c #Conflicts: 507000 | #Constraints: 26523 1696.30/1700.37 c #Conflicts: 508000 | #Constraints: 28278 1696.30/1700.37 c #Conflicts: 509000 | #Constraints: 30019 1696.30/1700.37 c #Conflicts: 510000 | #Constraints: 31745 1696.30/1700.37 c #Conflicts: 511000 | #Constraints: 33344 1696.30/1700.37 c #Conflicts: 512000 | #Constraints: 34872 1696.30/1700.37 c #Conflicts: 513000 | #Constraints: 35873 1696.30/1700.37 c #Conflicts: 514000 | #Constraints: 36874 1696.30/1700.37 c #Conflicts: 515000 | #Constraints: 38052 1696.30/1700.37 c #Conflicts: 516000 | #Constraints: 39790 1696.30/1700.37 c INPROCESSING 1696.30/1700.37 c GARBAGE COLLECT 1696.30/1700.37 c rational objective 0 1781.90/1786.11 c #Conflicts: 517000 | #Constraints: 21113 1781.90/1786.11 c #Conflicts: 518000 | #Constraints: 22838 1781.90/1786.11 c #Conflicts: 519000 | #Constraints: 24593 1781.90/1786.11 c #Conflicts: 520000 | #Constraints: 26345 1781.90/1786.11 c #Conflicts: 521000 | #Constraints: 28083 1781.90/1786.11 c #Conflicts: 522000 | #Constraints: 29814 1781.90/1786.11 c #Conflicts: 523000 | #Constraints: 31542 1781.90/1786.11 c #Conflicts: 524000 | #Constraints: 33276 1781.90/1786.11 c #Conflicts: 525000 | #Constraints: 35023 1781.90/1786.11 c #Conflicts: 526000 | #Constraints: 36723 1781.90/1786.11 c #Conflicts: 527000 | #Constraints: 38518 1781.90/1786.11 c #Conflicts: 528000 | #Constraints: 40286 1781.90/1786.11 c #Conflicts: 529000 | #Constraints: 42018 1781.90/1786.11 c #Conflicts: 530000 | #Constraints: 43774 1781.90/1786.11 c #Conflicts: 531000 | #Constraints: 45549 1781.90/1786.11 c INPROCESSING 1781.90/1786.11 c GARBAGE COLLECT 1781.90/1786.11 c rational objective 0 1861.41/1865.87 c #Conflicts: 532000 | #Constraints: 24186 1861.41/1865.87 c #Conflicts: 533000 | #Constraints: 25237 1861.41/1865.87 c #Conflicts: 534000 | #Constraints: 26238 1861.41/1865.87 c #Conflicts: 535000 | #Constraints: 27238 1861.41/1865.87 c #Conflicts: 536000 | #Constraints: 28238 1861.41/1865.87 c #Conflicts: 537000 | #Constraints: 29314 1861.41/1865.87 c #Conflicts: 538000 | #Constraints: 30314 1861.41/1865.87 c #Conflicts: 539000 | #Constraints: 31595 1861.41/1865.87 c #Conflicts: 540000 | #Constraints: 32595 1861.41/1865.87 c #Conflicts: 541000 | #Constraints: 33596 1861.41/1865.87 c #Conflicts: 542000 | #Constraints: 34597 1861.41/1865.87 c #Conflicts: 543000 | #Constraints: 35629 1861.41/1865.87 c #Conflicts: 544000 | #Constraints: 36629 1861.41/1865.87 c #Conflicts: 545000 | #Constraints: 37629 1861.41/1865.87 c #Conflicts: 546000 | #Constraints: 38711 1861.41/1865.87 c INPROCESSING 1861.41/1865.87 c GARBAGE COLLECT 1861.41/1865.87 c rational objective 0 1935.34/1939.94 c #Conflicts: 547000 | #Constraints: 20655 1935.34/1939.94 c #Conflicts: 548000 | #Constraints: 21655 1935.34/1939.94 c #Conflicts: 549000 | #Constraints: 22707 1935.34/1939.94 c #Conflicts: 550000 | #Constraints: 23720 1935.34/1939.94 c #Conflicts: 551000 | #Constraints: 24721 1935.34/1939.94 c #Conflicts: 552000 | #Constraints: 25722 1935.34/1939.94 c #Conflicts: 553000 | #Constraints: 26722 1935.34/1939.94 c #Conflicts: 554000 | #Constraints: 27722 1935.34/1939.94 c #Conflicts: 555000 | #Constraints: 28722 1935.34/1939.94 c #Conflicts: 556000 | #Constraints: 29722 1935.34/1939.94 c #Conflicts: 557000 | #Constraints: 30722 1935.34/1939.94 c #Conflicts: 558000 | #Constraints: 31722 1935.34/1939.94 c #Conflicts: 559000 | #Constraints: 32723 1935.34/1939.94 c #Conflicts: 560000 | #Constraints: 33723 1935.34/1939.94 c #Conflicts: 561000 | #Constraints: 35149 1935.34/1939.94 c INPROCESSING 1935.34/1939.94 c GARBAGE COLLECT 1935.34/1939.94 c rational objective 0 2025.03/2029.86 c #Conflicts: 562000 | #Constraints: 19218 2025.03/2029.86 c #Conflicts: 563000 | #Constraints: 20445 2025.03/2029.86 c #Conflicts: 564000 | #Constraints: 22170 2025.03/2029.86 c #Conflicts: 565000 | #Constraints: 23897 2025.03/2029.86 c #Conflicts: 566000 | #Constraints: 25584 2025.03/2029.86 c #Conflicts: 567000 | #Constraints: 27329 2025.03/2029.86 c #Conflicts: 568000 | #Constraints: 29059 2025.03/2029.86 c #Conflicts: 569000 | #Constraints: 30769 2025.03/2029.86 c #Conflicts: 570000 | #Constraints: 32486 2025.03/2029.86 c #Conflicts: 571000 | #Constraints: 34225 2025.03/2029.86 c #Conflicts: 572000 | #Constraints: 35965 2025.03/2029.86 c #Conflicts: 573000 | #Constraints: 37516 2025.03/2029.86 c #Conflicts: 574000 | #Constraints: 39219 2025.03/2029.86 c #Conflicts: 575000 | #Constraints: 40936 2025.03/2029.86 c #Conflicts: 576000 | #Constraints: 42670 2025.03/2029.86 c INPROCESSING 2025.03/2029.86 c GARBAGE COLLECT 2025.03/2029.86 c rational objective 0 2101.56/2106.57 c #Conflicts: 577000 | #Constraints: 22457 2101.56/2106.57 c #Conflicts: 578000 | #Constraints: 23523 2101.56/2106.57 c #Conflicts: 579000 | #Constraints: 24524 2101.56/2106.57 c #Conflicts: 580000 | #Constraints: 25524 2101.56/2106.57 c #Conflicts: 581000 | #Constraints: 26524 2101.56/2106.57 c #Conflicts: 582000 | #Constraints: 27524 2101.56/2106.57 c #Conflicts: 583000 | #Constraints: 28525 2101.56/2106.57 c #Conflicts: 584000 | #Constraints: 29525 2101.56/2106.57 c #Conflicts: 585000 | #Constraints: 30559 2101.56/2106.57 c #Conflicts: 586000 | #Constraints: 31563 2101.56/2106.57 c #Conflicts: 587000 | #Constraints: 32571 2101.56/2106.57 c #Conflicts: 588000 | #Constraints: 33571 2101.56/2106.57 c #Conflicts: 589000 | #Constraints: 34571 2101.56/2106.57 c #Conflicts: 590000 | #Constraints: 35572 2101.56/2106.57 c #Conflicts: 591000 | #Constraints: 36573 2101.56/2106.57 c INPROCESSING 2101.56/2106.57 c GARBAGE COLLECT 2101.56/2106.57 c rational objective 0 2170.90/2176.05 c #Conflicts: 592000 | #Constraints: 19006 2170.90/2176.05 c #Conflicts: 593000 | #Constraints: 20009 2170.90/2176.05 c #Conflicts: 594000 | #Constraints: 21011 2170.90/2176.05 c #Conflicts: 595000 | #Constraints: 22012 2170.90/2176.05 c #Conflicts: 596000 | #Constraints: 23014 2170.90/2176.05 c #Conflicts: 597000 | #Constraints: 24014 2170.90/2176.05 c #Conflicts: 598000 | #Constraints: 25015 2170.90/2176.05 c #Conflicts: 599000 | #Constraints: 26016 2170.90/2176.05 c #Conflicts: 600000 | #Constraints: 27016 2170.90/2176.05 c #Conflicts: 601000 | #Constraints: 28020 2170.90/2176.05 c #Conflicts: 602000 | #Constraints: 29020 2170.90/2176.05 c #Conflicts: 603000 | #Constraints: 30020 2170.90/2176.05 c #Conflicts: 604000 | #Constraints: 31020 2170.90/2176.05 c #Conflicts: 605000 | #Constraints: 32022 2170.90/2176.05 c #Conflicts: 606000 | #Constraints: 33023 2170.90/2176.05 c #Conflicts: 607000 | #Constraints: 34024 2170.90/2176.05 c INPROCESSING 2170.90/2176.05 c GARBAGE COLLECT 2170.90/2176.05 c rational objective 0 2239.14/2244.46 c #Conflicts: 608000 | #Constraints: 17932 2239.14/2244.46 c #Conflicts: 609000 | #Constraints: 18932 2239.14/2244.46 c #Conflicts: 610000 | #Constraints: 19932 2239.14/2244.46 c #Conflicts: 611000 | #Constraints: 20932 2239.14/2244.46 c #Conflicts: 612000 | #Constraints: 21932 2239.14/2244.46 c #Conflicts: 613000 | #Constraints: 22932 2239.14/2244.46 c #Conflicts: 614000 | #Constraints: 23932 2239.14/2244.46 c #Conflicts: 615000 | #Constraints: 24932 2239.14/2244.46 c #Conflicts: 616000 | #Constraints: 25932 2239.14/2244.46 c #Conflicts: 617000 | #Constraints: 26932 2239.14/2244.46 c #Conflicts: 618000 | #Constraints: 27934 2239.14/2244.46 c #Conflicts: 619000 | #Constraints: 28934 2239.14/2244.46 c #Conflicts: 620000 | #Constraints: 29935 2239.14/2244.46 c #Conflicts: 621000 | #Constraints: 30935 2239.14/2244.46 c #Conflicts: 622000 | #Constraints: 31935 2239.14/2244.46 c #Conflicts: 623000 | #Constraints: 32935 2239.14/2244.46 c INPROCESSING 2239.14/2244.46 c GARBAGE COLLECT 2239.14/2244.46 c rational objective 0 2304.89/2310.39 c #Conflicts: 624000 | #Constraints: 17574 2304.89/2310.39 c #Conflicts: 625000 | #Constraints: 18623 2304.89/2310.39 c #Conflicts: 626000 | #Constraints: 19623 2304.89/2310.39 c #Conflicts: 627000 | #Constraints: 20623 2304.89/2310.39 c #Conflicts: 628000 | #Constraints: 21623 2304.89/2310.39 c #Conflicts: 629000 | #Constraints: 22624 2304.89/2310.39 c #Conflicts: 630000 | #Constraints: 23652 2304.89/2310.39 c #Conflicts: 631000 | #Constraints: 24657 2304.89/2310.39 c #Conflicts: 632000 | #Constraints: 25819 2304.89/2310.39 c #Conflicts: 633000 | #Constraints: 26819 2304.89/2310.39 c #Conflicts: 634000 | #Constraints: 27914 2304.89/2310.39 c #Conflicts: 635000 | #Constraints: 28914 2304.89/2310.39 c #Conflicts: 636000 | #Constraints: 29914 2304.89/2310.39 c #Conflicts: 637000 | #Constraints: 31100 2304.89/2310.39 c #Conflicts: 638000 | #Constraints: 32108 2304.89/2310.39 c #Conflicts: 639000 | #Constraints: 33108 2304.89/2310.39 c INPROCESSING 2304.89/2310.39 c GARBAGE COLLECT 2304.89/2310.39 c rational objective 0 2392.39/2398.03 c #Conflicts: 640000 | #Constraints: 18222 2392.39/2398.03 c #Conflicts: 641000 | #Constraints: 19914 2392.39/2398.03 c #Conflicts: 642000 | #Constraints: 21636 2392.39/2398.03 c #Conflicts: 643000 | #Constraints: 23394 2392.39/2398.03 c #Conflicts: 644000 | #Constraints: 25100 2392.39/2398.03 c #Conflicts: 645000 | #Constraints: 26836 2392.39/2398.03 c #Conflicts: 646000 | #Constraints: 28561 2392.39/2398.03 c #Conflicts: 647000 | #Constraints: 30293 2392.39/2398.03 c #Conflicts: 648000 | #Constraints: 32009 2392.39/2398.03 c #Conflicts: 649000 | #Constraints: 33691 2392.39/2398.03 c #Conflicts: 650000 | #Constraints: 35394 2392.39/2398.03 c #Conflicts: 651000 | #Constraints: 37069 2392.39/2398.03 c #Conflicts: 652000 | #Constraints: 38747 2392.39/2398.03 c #Conflicts: 653000 | #Constraints: 40420 2392.39/2398.03 c #Conflicts: 654000 | #Constraints: 42136 2392.39/2398.03 c #Conflicts: 655000 | #Constraints: 43829 2392.39/2398.03 c INPROCESSING 2392.39/2398.03 c GARBAGE COLLECT 2392.39/2398.03 c rational objective 0 2476.49/2482.32 c #Conflicts: 656000 | #Constraints: 23250 2476.49/2482.32 c #Conflicts: 657000 | #Constraints: 24409 2476.49/2482.32 c #Conflicts: 658000 | #Constraints: 25414 2476.49/2482.32 c #Conflicts: 659000 | #Constraints: 26441 2476.49/2482.32 c #Conflicts: 660000 | #Constraints: 27441 2476.49/2482.32 c #Conflicts: 661000 | #Constraints: 28992 2476.49/2482.32 c #Conflicts: 662000 | #Constraints: 30004 2476.49/2482.32 c #Conflicts: 663000 | #Constraints: 31246 2476.49/2482.32 c #Conflicts: 664000 | #Constraints: 32616 2476.49/2482.32 c #Conflicts: 665000 | #Constraints: 33808 2476.49/2482.32 c #Conflicts: 666000 | #Constraints: 34808 2476.49/2482.32 c #Conflicts: 667000 | #Constraints: 35808 2476.49/2482.32 c #Conflicts: 668000 | #Constraints: 37067 2476.49/2482.32 c #Conflicts: 669000 | #Constraints: 38150 2476.49/2482.32 c #Conflicts: 670000 | #Constraints: 39221 2476.49/2482.32 c #Conflicts: 671000 | #Constraints: 40223 2476.49/2482.32 c INPROCESSING 2476.49/2482.32 c GARBAGE COLLECT 2476.49/2482.32 c rational objective 0 2601.68/2607.88 c #Conflicts: 672000 | #Constraints: 21116 2601.68/2607.88 c #Conflicts: 673000 | #Constraints: 22823 2601.68/2607.88 c #Conflicts: 674000 | #Constraints: 24527 2601.68/2607.88 c #Conflicts: 675000 | #Constraints: 26237 2601.68/2607.88 c #Conflicts: 676000 | #Constraints: 27937 2601.68/2607.88 c #Conflicts: 677000 | #Constraints: 29672 2601.68/2607.88 c #Conflicts: 678000 | #Constraints: 31369 2601.68/2607.88 c #Conflicts: 679000 | #Constraints: 33080 2601.68/2607.88 c #Conflicts: 680000 | #Constraints: 34842 2601.68/2607.88 c #Conflicts: 681000 | #Constraints: 36513 2601.68/2607.88 c #Conflicts: 682000 | #Constraints: 38253 2601.68/2607.88 c #Conflicts: 683000 | #Constraints: 39991 2601.68/2607.88 c #Conflicts: 684000 | #Constraints: 41696 2601.68/2607.88 c #Conflicts: 685000 | #Constraints: 43441 2601.68/2607.88 c #Conflicts: 686000 | #Constraints: 45181 2601.68/2607.88 c #Conflicts: 687000 | #Constraints: 46933 2601.68/2607.88 c #Conflicts: 688000 | #Constraints: 48670 2601.68/2607.88 c INPROCESSING 2601.68/2607.88 c GARBAGE COLLECT 2601.68/2607.88 c rational objective 0 2732.37/2738.80 c #Conflicts: 689000 | #Constraints: 25917 2732.37/2738.80 c #Conflicts: 690000 | #Constraints: 27649 2732.37/2738.80 c #Conflicts: 691000 | #Constraints: 29354 2732.37/2738.80 c #Conflicts: 692000 | #Constraints: 31097 2732.37/2738.80 c #Conflicts: 693000 | #Constraints: 32783 2732.37/2738.80 c #Conflicts: 694000 | #Constraints: 34501 2732.37/2738.80 c #Conflicts: 695000 | #Constraints: 36238 2732.37/2738.80 c #Conflicts: 696000 | #Constraints: 37953 2732.37/2738.80 c #Conflicts: 697000 | #Constraints: 39655 2732.37/2738.80 c #Conflicts: 698000 | #Constraints: 41380 2732.37/2738.80 c #Conflicts: 699000 | #Constraints: 43120 2732.37/2738.80 c #Conflicts: 700000 | #Constraints: 44873 2732.37/2738.80 c #Conflicts: 701000 | #Constraints: 46538 2732.37/2738.80 c #Conflicts: 702000 | #Constraints: 48249 2732.37/2738.80 c #Conflicts: 703000 | #Constraints: 49957 2732.37/2738.80 c #Conflicts: 704000 | #Constraints: 51664 2732.37/2738.80 c #Conflicts: 705000 | #Constraints: 53396 2732.37/2738.80 c INPROCESSING 2732.37/2738.80 c GARBAGE COLLECT 2732.37/2738.80 c rational objective 0 2873.34/2880.14 c #Conflicts: 706000 | #Constraints: 28263 2873.34/2880.14 c #Conflicts: 707000 | #Constraints: 29446 2873.34/2880.14 c #Conflicts: 708000 | #Constraints: 31123 2873.34/2880.14 c #Conflicts: 709000 | #Constraints: 32603 2873.34/2880.14 c #Conflicts: 710000 | #Constraints: 33974 2873.34/2880.14 c #Conflicts: 711000 | #Constraints: 35553 2873.34/2880.14 c #Conflicts: 712000 | #Constraints: 37172 2873.34/2880.14 c #Conflicts: 713000 | #Constraints: 38881 2873.34/2880.14 c #Conflicts: 714000 | #Constraints: 40372 2873.34/2880.14 c #Conflicts: 715000 | #Constraints: 41823 2873.34/2880.14 c #Conflicts: 716000 | #Constraints: 42824 2873.34/2880.14 c #Conflicts: 717000 | #Constraints: 44357 2873.34/2880.14 c #Conflicts: 718000 | #Constraints: 45419 2873.34/2880.14 c #Conflicts: 719000 | #Constraints: 46419 2873.34/2880.14 c #Conflicts: 720000 | #Constraints: 47419 2873.34/2880.14 c #Conflicts: 721000 | #Constraints: 48696 2873.34/2880.14 c #Conflicts: 722000 | #Constraints: 49733 2873.34/2880.14 c INPROCESSING 2873.34/2880.14 c GARBAGE COLLECT 2873.34/2880.14 c rational objective 0 2986.76/2993.89 c #Conflicts: 723000 | #Constraints: 25895 2986.76/2993.89 c #Conflicts: 724000 | #Constraints: 26895 2986.76/2993.89 c #Conflicts: 725000 | #Constraints: 27896 2986.76/2993.89 c #Conflicts: 726000 | #Constraints: 28896 2986.76/2993.89 c #Conflicts: 727000 | #Constraints: 29900 2986.76/2993.89 c #Conflicts: 728000 | #Constraints: 30907 2986.76/2993.89 c #Conflicts: 729000 | #Constraints: 31921 2986.76/2993.89 c #Conflicts: 730000 | #Constraints: 32923 2986.76/2993.89 c #Conflicts: 731000 | #Constraints: 33923 2986.76/2993.89 c #Conflicts: 732000 | #Constraints: 34924 2986.76/2993.89 c #Conflicts: 733000 | #Constraints: 35925 2986.76/2993.89 c #Conflicts: 734000 | #Constraints: 36925 2986.76/2993.89 c #Conflicts: 735000 | #Constraints: 37930 2986.76/2993.89 c #Conflicts: 736000 | #Constraints: 38930 2986.76/2993.89 c #Conflicts: 737000 | #Constraints: 39932 2986.76/2993.89 c #Conflicts: 738000 | #Constraints: 40932 2986.76/2993.89 c #Conflicts: 739000 | #Constraints: 41932 2986.76/2993.89 c INPROCESSING 2986.76/2993.89 c GARBAGE COLLECT 2986.76/2993.89 c rational objective 0 3117.94/3125.36 c #Conflicts: 740000 | #Constraints: 22467 3117.94/3125.36 c #Conflicts: 741000 | #Constraints: 24181 3117.94/3125.36 c #Conflicts: 742000 | #Constraints: 25929 3117.94/3125.36 c #Conflicts: 743000 | #Constraints: 27700 3117.94/3125.36 c #Conflicts: 744000 | #Constraints: 29442 3117.94/3125.36 c #Conflicts: 745000 | #Constraints: 31134 3117.94/3125.36 c #Conflicts: 746000 | #Constraints: 32842 3117.94/3125.36 c #Conflicts: 747000 | #Constraints: 34602 3117.94/3125.36 c #Conflicts: 748000 | #Constraints: 36306 3117.94/3125.36 c #Conflicts: 749000 | #Constraints: 38096 3117.94/3125.36 c #Conflicts: 750000 | #Constraints: 39867 3117.94/3125.36 c #Conflicts: 751000 | #Constraints: 41631 3117.94/3125.36 c #Conflicts: 752000 | #Constraints: 43364 3117.94/3125.36 c #Conflicts: 753000 | #Constraints: 45105 3117.94/3125.36 c #Conflicts: 754000 | #Constraints: 46845 3117.94/3125.36 c #Conflicts: 755000 | #Constraints: 48585 3117.94/3125.36 c #Conflicts: 756000 | #Constraints: 50302 3117.94/3125.36 c INPROCESSING 3117.94/3125.36 c GARBAGE COLLECT 3117.94/3125.36 c rational objective 0 3233.27/3240.97 c #Conflicts: 757000 | #Constraints: 26089 3233.27/3240.97 c #Conflicts: 758000 | #Constraints: 27091 3233.27/3240.97 c #Conflicts: 759000 | #Constraints: 28091 3233.27/3240.97 c #Conflicts: 760000 | #Constraints: 29091 3233.27/3240.97 c #Conflicts: 761000 | #Constraints: 30091 3233.27/3240.97 c #Conflicts: 762000 | #Constraints: 31092 3233.27/3240.97 c #Conflicts: 763000 | #Constraints: 32093 3233.27/3240.97 c #Conflicts: 764000 | #Constraints: 33093 3233.27/3240.97 c #Conflicts: 765000 | #Constraints: 34094 3233.27/3240.97 c #Conflicts: 766000 | #Constraints: 35094 3233.27/3240.97 c #Conflicts: 767000 | #Constraints: 36095 3233.27/3240.97 c #Conflicts: 768000 | #Constraints: 37096 3233.27/3240.97 c #Conflicts: 769000 | #Constraints: 38096 3233.27/3240.97 c #Conflicts: 770000 | #Constraints: 39097 3233.27/3240.97 c #Conflicts: 771000 | #Constraints: 40097 3233.27/3240.97 c #Conflicts: 772000 | #Constraints: 41098 3233.27/3240.97 c #Conflicts: 773000 | #Constraints: 42098 3233.27/3240.97 c #Conflicts: 774000 | #Constraints: 43099 3233.27/3240.97 c INPROCESSING 3233.27/3240.97 c GARBAGE COLLECT 3233.27/3240.97 c rational objective 0 3334.72/3342.67 c #Conflicts: 775000 | #Constraints: 22472 3334.72/3342.67 c #Conflicts: 776000 | #Constraints: 23477 3334.72/3342.67 c #Conflicts: 777000 | #Constraints: 24478 3334.72/3342.67 c #Conflicts: 778000 | #Constraints: 25478 3334.72/3342.67 c #Conflicts: 779000 | #Constraints: 26479 3334.72/3342.67 c #Conflicts: 780000 | #Constraints: 27479 3334.72/3342.67 c #Conflicts: 781000 | #Constraints: 28480 3334.72/3342.67 c #Conflicts: 782000 | #Constraints: 29483 3334.72/3342.67 c #Conflicts: 783000 | #Constraints: 30485 3334.72/3342.67 c #Conflicts: 784000 | #Constraints: 31485 3334.72/3342.67 c #Conflicts: 785000 | #Constraints: 32486 3334.72/3342.67 c #Conflicts: 786000 | #Constraints: 33489 3334.72/3342.67 c #Conflicts: 787000 | #Constraints: 34489 3334.72/3342.67 c #Conflicts: 788000 | #Constraints: 35489 3334.72/3342.67 c #Conflicts: 789000 | #Constraints: 36490 3334.72/3342.67 c #Conflicts: 790000 | #Constraints: 37490 3334.72/3342.67 c #Conflicts: 791000 | #Constraints: 38495 3334.72/3342.67 c #Conflicts: 792000 | #Constraints: 39496 3334.72/3342.67 c INPROCESSING 3334.72/3342.67 c GARBAGE COLLECT 3334.72/3342.67 c rational objective 0 3427.21/3435.37 c #Conflicts: 793000 | #Constraints: 20770 3427.21/3435.37 c #Conflicts: 794000 | #Constraints: 21771 3427.21/3435.37 c #Conflicts: 795000 | #Constraints: 22772 3427.21/3435.37 c #Conflicts: 796000 | #Constraints: 23774 3427.21/3435.37 c #Conflicts: 797000 | #Constraints: 24774 3427.21/3435.37 c #Conflicts: 798000 | #Constraints: 25774 3427.21/3435.37 c #Conflicts: 799000 | #Constraints: 26774 3427.21/3435.37 c #Conflicts: 800000 | #Constraints: 27774 3427.21/3435.37 c #Conflicts: 801000 | #Constraints: 28774 3427.21/3435.37 c #Conflicts: 802000 | #Constraints: 29774 3427.21/3435.37 c #Conflicts: 803000 | #Constraints: 30774 3427.21/3435.37 c #Conflicts: 804000 | #Constraints: 31774 3427.21/3435.37 c #Conflicts: 805000 | #Constraints: 32774 3427.21/3435.37 c #Conflicts: 806000 | #Constraints: 33774 3427.21/3435.37 c #Conflicts: 807000 | #Constraints: 34774 3427.21/3435.37 c #Conflicts: 808000 | #Constraints: 35774 3427.21/3435.37 c #Conflicts: 809000 | #Constraints: 36774 3427.21/3435.37 c #Conflicts: 810000 | #Constraints: 37774 3427.21/3435.37 c INPROCESSING 3427.21/3435.37 c GARBAGE COLLECT 3427.21/3435.37 c rational objective 0 3518.09/3526.45 c #Conflicts: 811000 | #Constraints: 19913 3518.09/3526.45 c #Conflicts: 812000 | #Constraints: 20913 3518.09/3526.45 c #Conflicts: 813000 | #Constraints: 21913 3518.09/3526.45 c #Conflicts: 814000 | #Constraints: 22913 3518.09/3526.45 c #Conflicts: 815000 | #Constraints: 23913 3518.09/3526.45 c #Conflicts: 816000 | #Constraints: 24913 3518.09/3526.45 c #Conflicts: 817000 | #Constraints: 25913 3518.09/3526.45 c #Conflicts: 818000 | #Constraints: 26913 3518.09/3526.45 c #Conflicts: 819000 | #Constraints: 27913 3518.09/3526.45 c #Conflicts: 820000 | #Constraints: 28941 3518.09/3526.45 c #Conflicts: 821000 | #Constraints: 29941 3518.09/3526.45 c #Conflicts: 822000 | #Constraints: 30941 3518.09/3526.45 c #Conflicts: 823000 | #Constraints: 31941 3518.09/3526.45 c #Conflicts: 824000 | #Constraints: 32997 3518.09/3526.45 c #Conflicts: 825000 | #Constraints: 33997 3518.09/3526.45 c #Conflicts: 826000 | #Constraints: 34997 3518.09/3526.45 c #Conflicts: 827000 | #Constraints: 36000 3518.09/3526.45 c #Conflicts: 828000 | #Constraints: 37012 3518.09/3526.45 c INPROCESSING 3518.09/3526.45 c GARBAGE COLLECT 3518.09/3526.45 c rational objective 0 3600.09/3608.60 c #Conflicts: 829000 | #Constraints: 19841 3600.09/3608.60 c #Conflicts: 830000 | #Constraints: 21577 3600.09/3608.60 c #Conflicts: 831000 | #Constraints: 23006 3600.09/3608.60 c #Conflicts: 832000 | #Constraints: 24494 3600.09/3608.60 c #Conflicts: 833000 | #Constraints: 26234 3600.09/3608.60 c #Conflicts: 834000 | #Constraints: 27396 3600.09/3608.60 c #Conflicts: 835000 | #Constraints: 28396 3600.09/3608.60 c #Conflicts: 836000 | #Constraints: 29396 3600.09/3608.60 c #Conflicts: 837000 | #Constraints: 30396 3600.09/3608.60 c #Conflicts: 838000 | #Constraints: 31396 3600.09/3608.60 c #Conflicts: 839000 | #Constraints: 32396 3600.09/3608.60 c #Conflicts: 840000 | #Constraints: 33396 3600.09/3608.60 c #Conflicts: 841000 | #Constraints: 34396 3600.09/3608.60 c #Conflicts: 842000 | #Constraints: 35428 3600.09/3608.60 c Program interrupted by user. 3600.09/3608.60 c cpu time 3588.85 s 3600.09/3608.60 c deterministic time 535118862074 5.35e+11 3600.09/3608.60 c optimization time 81.7238 s 3600.09/3608.60 c total solve time 3507.13 s 3600.09/3608.60 c core-guided solve time 0 s 3600.09/3608.60 c propagation time 3360.48 s 3600.09/3608.60 c conflict analysis time 213.236 s 3600.09/3608.60 c propagations 15505084 3600.09/3608.60 c resolve steps 5679914 3600.09/3608.60 c decisions 2237757 3600.09/3608.60 c conflicts 842302 3600.09/3608.60 c restarts 1788 3600.09/3608.60 c inprocessing phases 82 3600.09/3608.60 c input clauses 1 3600.09/3608.60 c input cardinalities 0 3600.09/3608.60 c input general constraints 16 3600.09/3608.60 c input average constraint length 64.65 3600.09/3608.60 c input average constraint degree 1561.65 3600.09/3608.60 c learned clauses 289900 3600.09/3608.60 c learned cardinalities 0 3600.09/3608.60 c learned general constraints 800570 3600.09/3608.60 c learned average constraint length 54.91 3600.09/3608.60 c learned average constraint degree 2260035357.93 3600.09/3608.60 c watched constraints 760308 3600.09/3608.60 c counting constraints 40278 3600.09/3608.60 c gcd simplifications 248521 3600.09/3608.60 c detected cardinalities 0 3600.09/3608.60 c weakened non-implied lits 6325908 3600.09/3608.60 c weakened non-implying lits 137491 3600.09/3608.60 c original variables 71 3600.09/3608.60 c clausal propagations 277778 3600.09/3608.60 c cardinality propagations 0 3600.09/3608.60 c watched propagations 12570938 3600.09/3608.60 c counting propagations 2234559 3600.09/3608.60 c watch lookups 37774437012 3600.09/3608.60 c watch backjump lookups 26356938559 3600.09/3608.60 c watch checks 385972061477 3600.09/3608.60 c propagation checks 84579698893 3600.09/3608.60 c constraint additions 398555731 3600.09/3608.60 c trail pops 18584347 3600.09/3608.60 c formula constraints 17 3600.09/3608.60 c learned constraints 841576 3600.09/3608.60 c bound constraints 0 3600.09/3608.60 c core-guided constraints 0 3600.09/3608.60 c encountered formula constraints 15507 3600.09/3608.60 c encountered learned constraints 1724274 3600.09/3608.60 c encountered bound constraints 0 3600.09/3608.60 c encountered core-guided constraints 0 3600.09/3608.60 c LP total time 44.7771 s 3600.09/3608.60 c LP solve time 28.04 s 3600.09/3608.60 c LP constraints added 172 3600.09/3608.60 c LP constraints removed 153 3600.09/3608.60 c LP pivots internal 842224 3600.09/3608.60 c LP pivots root 989 3600.09/3608.60 c LP calls 512066 3600.09/3608.60 c LP optimalities 264036 3600.09/3608.60 c LP no pivot count 141722 3600.09/3608.60 c LP infeasibilities 248027 3600.09/3608.60 c LP valid Farkas constraints 248025 3600.09/3608.60 c LP learned Farkas constraints 725 3600.09/3608.60 c LP basis resets 3 3600.09/3608.60 c LP cycling count 0 3600.09/3608.60 c LP singular count 3 3600.09/3608.60 c LP no primal count 0 3600.09/3608.60 c LP no farkas count 0 3600.09/3608.60 c LP other issue count 0 3600.09/3608.60 c LP Gomory cuts 144 3600.09/3608.60 c LP learned cuts 11 3600.09/3608.60 c LP deleted cuts 153 3600.09/3608.60 c LP encountered Gomory constraints 1150 3600.09/3608.60 c LP encountered Farkas constraints 4258390 3600.09/3608.60 c LP encountered learned Farkas constraints 522170 3600.09/3608.60 c CG auxiliary variables introduced 0 3600.09/3608.60 c CG solutions found 0 3600.09/3608.60 c CG cores constructed 0 3600.09/3608.60 c CG core cardinality constraints returned 0 3600.09/3608.60 c CG unit cores 0 3600.09/3608.60 c CG single cores 0 3600.09/3608.60 c CG blocks removed during cardinality reduction 0 3600.09/3608.60 c CG first core best 0 3600.09/3608.60 c CG decision core best 0 3600.09/3608.60 c CG core reduction tie 0 3600.09/3608.60 c CG core degree average 0.00 3600.09/3608.60 c CG core slack average 0.00 3600.09/3608.60 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (60306 MiB free)
memory of node 1: 64473 MiB (60432 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455169-1721459511/watcher-4455169-1721459511 -o /tmp/evaluation-result-4455169-1721459511/solver-4455169-1721459511 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721459523-1058592 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455169-1721459511.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1058644, runsolver pid=1058636
Current StackSize limit: 8192 KiB
[startup+0.100722 s]*
/proc/loadavg: 1.01 1.13 1.72 8/259 1058656
/proc/meminfo: memFree=123626560/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=37660 memory=8500 CPUtime=0.09 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 538 0 0 0 8 1 0 0 20 0 1 0 198121634 38563840 2125 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 9415 2125 1821 922 0 1367 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37660 KiB
Current children cumulated memory: 8500 KiB
[startup+0.206722 s]*
/proc/loadavg: 1.01 1.13 1.72 5/259 1058656
/proc/meminfo: memFree=123621368/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=37924 memory=9088 CPUtime=0.19 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 666 0 0 0 18 1 0 0 20 0 1 0 198121634 38834176 2272 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 9481 2272 1837 922 0 1433 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 37924 KiB
Current children cumulated memory: 9088 KiB
[startup+0.305326 s]*
/proc/loadavg: 1.01 1.13 1.72 6/259 1058656
/proc/meminfo: memFree=123620556/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=37924 memory=9352 CPUtime=0.28 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 700 0 0 0 27 1 0 0 20 0 1 0 198121634 38834176 2338 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 9481 2338 1837 922 0 1433 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 37924 KiB
Current children cumulated memory: 9352 KiB
[startup+0.700146 s]
/proc/loadavg: 1.01 1.13 1.72 6/259 1058656
/proc/meminfo: memFree=123617788/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=38464 memory=12252 CPUtime=0.68 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 931 0 0 0 64 4 0 0 20 0 1 0 198121634 39387136 3063 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 9616 3063 1853 922 0 1568 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38464 KiB
Current children cumulated memory: 12252 KiB
[startup+1.50015 s]
/proc/loadavg: 1.01 1.13 1.72 4/256 1058670
/proc/meminfo: memFree=123618416/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=39008 memory=12712 CPUtime=1.47 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 1042 0 0 0 141 6 0 0 20 0 1 0 198121634 39944192 3178 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 9752 3178 1853 922 0 1704 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 39008 KiB
Current children cumulated memory: 12712 KiB
[startup+3.10617 s]
/proc/loadavg: 1.01 1.13 1.72 5/259 1058748
/proc/meminfo: memFree=123593640/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=39408 memory=13100 CPUtime=3.08 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 1160 0 0 0 297 11 0 0 20 0 1 0 198121634 40353792 3275 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 9852 3275 1853 922 0 1804 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39408 KiB
Current children cumulated memory: 13100 KiB
[startup+6.30014 s]
/proc/loadavg: 1.33 1.20 1.74 5/259 1058748
/proc/meminfo: memFree=123579660/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=41024 memory=14548 CPUtime=6.26 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 1510 0 0 0 609 17 0 0 20 0 1 0 198121634 42008576 3637 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 10256 3637 1853 922 0 2208 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 41024 KiB
Current children cumulated memory: 14548 KiB
[startup+12.7002 s]
/proc/loadavg: 1.54 1.24 1.75 5/259 1058750
/proc/meminfo: memFree=123567632/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=47076 memory=19312 CPUtime=12.65 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 2682 0 0 0 1239 26 0 0 20 0 1 0 198121634 48205824 4828 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 11769 4828 1853 922 0 3721 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 47076 KiB
Current children cumulated memory: 19312 KiB
[startup+25.5002 s]
/proc/loadavg: 2.09 1.38 1.79 5/259 1058752
/proc/meminfo: memFree=123553984/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=47908 memory=20872 CPUtime=25.42 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 3048 0 0 0 2500 42 0 0 20 0 1 0 198121634 49057792 5218 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 11977 5218 1853 922 0 3929 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 47908 KiB
Current children cumulated memory: 20872 KiB
[startup+51.1062 s]
/proc/loadavg: 2.82 1.61 1.85 5/259 1058758
/proc/meminfo: memFree=123542480/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=49764 memory=23640 CPUtime=50.96 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 3663 0 0 0 5024 72 0 0 20 0 1 0 198121634 50958336 5910 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 12441 5910 1968 922 0 4393 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 49764 KiB
Current children cumulated memory: 23640 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 1.99 1.97 5/259 1058766
/proc/meminfo: memFree=123504404/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=56164 memory=27876 CPUtime=102.04 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 4231 0 0 0 10089 115 0 0 20 0 1 0 198121634 57511936 6969 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 14041 6969 1968 922 0 5993 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 56164 KiB
Current children cumulated memory: 27876 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.39 2.11 5/259 1058778
/proc/meminfo: memFree=123490352/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=60256 memory=32032 CPUtime=161.91 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 5265 0 0 0 16033 158 0 0 20 0 1 0 198121634 61702144 8008 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 15064 8008 1968 922 0 7016 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 60256 KiB
Current children cumulated memory: 32032 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 2.72 2.25 5/259 1058788
/proc/meminfo: memFree=123463200/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=61376 memory=33332 CPUtime=221.77 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 5598 0 0 0 21974 203 0 0 20 0 1 0 198121634 62849024 8333 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 15344 8333 1968 922 0 7296 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 61376 KiB
Current children cumulated memory: 33332 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.97 2.36 5/256 1058798
/proc/meminfo: memFree=123440308/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=62016 memory=34776 CPUtime=281.63 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 5758 0 0 0 27927 236 0 0 20 0 1 0 198121634 63504384 8694 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 15504 8694 1968 922 0 7456 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 62016 KiB
Current children cumulated memory: 34776 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.18 2.47 5/254 1058810
/proc/meminfo: memFree=123430248/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=70348 memory=38368 CPUtime=341.5 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 6184 0 0 0 33887 263 0 0 20 0 1 0 198121634 72036352 9592 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 17587 9592 1968 922 0 9539 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 70348 KiB
Current children cumulated memory: 38368 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 3.38 2.59 5/254 1058820
/proc/meminfo: memFree=123428096/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=70348 memory=38624 CPUtime=401.37 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 6193 0 0 0 39846 291 0 0 20 0 1 0 198121634 72036352 9656 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 17587 9656 1968 922 0 9539 0
Current children cumulated CPU time: 401.37 s
Current children cumulated vsize: 70348 KiB
Current children cumulated memory: 38624 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.49 2.68 5/254 1058830
/proc/meminfo: memFree=123420480/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=70988 memory=41392 CPUtime=461.23 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 6392 0 0 0 45807 316 0 0 20 0 1 0 198121634 72691712 10348 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
################
# More data... #
################
Current children cumulated memory: 70084 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.13 4.04 5/257 1060439
/proc/meminfo: memFree=123244240/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=100200 memory=70084 CPUtime=2855.58 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 11464 0 0 0 284597 961 0 0 20 0 1 0 198121634 102604800 17521 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 25050 17521 1968 922 0 17002 0
Current children cumulated CPU time: 2855.58 s
Current children cumulated vsize: 100200 KiB
Current children cumulated memory: 70084 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.04 5/258 1060452
/proc/meminfo: memFree=123243352/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=100200 memory=70120 CPUtime=2915.44 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 11486 0 0 0 290569 975 0 0 20 0 1 0 198121634 102604800 17530 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 25050 17530 1968 922 0 17002 0
Current children cumulated CPU time: 2915.44 s
Current children cumulated vsize: 100200 KiB
Current children cumulated memory: 70120 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.13 4.04 5/257 1060475
/proc/meminfo: memFree=123242568/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=100200 memory=70120 CPUtime=2975.29 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 11507 0 0 0 296539 990 0 0 20 0 1 0 198121634 102604800 17530 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 25050 17530 1968 922 0 17002 0
Current children cumulated CPU time: 2975.29 s
Current children cumulated vsize: 100200 KiB
Current children cumulated memory: 70120 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.13 4.05 5/257 1060486
/proc/meminfo: memFree=123239708/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=100200 memory=70120 CPUtime=3035.14 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 11528 0 0 0 302510 1004 0 0 20 0 1 0 198121634 102604800 17530 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 25050 17530 1968 922 0 17002 0
Current children cumulated CPU time: 3035.14 s
Current children cumulated vsize: 100200 KiB
Current children cumulated memory: 70120 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.12 4.05 5/256 1060497
/proc/meminfo: memFree=123232428/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=100200 memory=70120 CPUtime=3095 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 11554 0 0 0 308485 1015 0 0 20 0 1 0 198121634 102604800 17530 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 25050 17530 1968 922 0 17002 0
Current children cumulated CPU time: 3095 s
Current children cumulated vsize: 100200 KiB
Current children cumulated memory: 70120 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.13 4.05 5/255 1060509
/proc/meminfo: memFree=123230688/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=101224 memory=70772 CPUtime=3154.85 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 11769 0 0 0 314459 1026 0 0 20 0 1 0 198121634 103653376 17693 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 25306 17693 1968 922 0 17258 0
Current children cumulated CPU time: 3154.85 s
Current children cumulated vsize: 101224 KiB
Current children cumulated memory: 70772 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.12 4.05 5/255 1060522
/proc/meminfo: memFree=123230012/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=101224 memory=70772 CPUtime=3214.71 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 11790 0 0 0 320431 1040 0 0 20 0 1 0 198121634 103653376 17693 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 25306 17693 1968 922 0 17258 0
Current children cumulated CPU time: 3214.71 s
Current children cumulated vsize: 101224 KiB
Current children cumulated memory: 70772 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.06 5/255 1060532
/proc/meminfo: memFree=123229276/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=101224 memory=70884 CPUtime=3274.57 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 11810 0 0 0 326401 1056 0 0 20 0 1 0 198121634 103653376 17721 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 25306 17721 1968 922 0 17258 0
Current children cumulated CPU time: 3274.57 s
Current children cumulated vsize: 101224 KiB
Current children cumulated memory: 70884 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/255 1060543
/proc/meminfo: memFree=123234256/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=101224 memory=70884 CPUtime=3334.42 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 11831 0 0 0 332375 1067 0 0 20 0 1 0 198121634 103653376 17721 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 25306 17721 1968 922 0 17258 0
Current children cumulated CPU time: 3334.42 s
Current children cumulated vsize: 101224 KiB
Current children cumulated memory: 70884 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.07 5/255 1060553
/proc/meminfo: memFree=123231168/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=101224 memory=70884 CPUtime=3394.29 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 11850 0 0 0 338348 1081 0 0 20 0 1 0 198121634 103653376 17721 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 25306 17721 1968 922 0 17258 0
Current children cumulated CPU time: 3394.29 s
Current children cumulated vsize: 101224 KiB
Current children cumulated memory: 70884 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.07 5/255 1060564
/proc/meminfo: memFree=123232396/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=101224 memory=70884 CPUtime=3454.14 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 11871 0 0 0 344320 1094 0 0 20 0 1 0 198121634 103653376 17721 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 25306 17721 1968 922 0 17258 0
Current children cumulated CPU time: 3454.14 s
Current children cumulated vsize: 101224 KiB
Current children cumulated memory: 70884 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.07 5/257 1060578
/proc/meminfo: memFree=123229152/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=101224 memory=71600 CPUtime=3514 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 11893 0 0 0 350295 1105 0 0 20 0 1 0 198121634 103653376 17900 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 25306 17900 1968 922 0 17258 0
Current children cumulated CPU time: 3514 s
Current children cumulated vsize: 101224 KiB
Current children cumulated memory: 71600 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.08 5/257 1060589
/proc/meminfo: memFree=123228616/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=101224 memory=71600 CPUtime=3573.85 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 11913 0 0 0 356266 1119 0 0 20 0 1 0 198121634 103653376 17900 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 25306 17900 1968 922 0 17258 0
Current children cumulated CPU time: 3573.85 s
Current children cumulated vsize: 101224 KiB
Current children cumulated memory: 71600 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.6 s]
/proc/loadavg: 4.32 4.16 4.09 5/257 1060595
/proc/meminfo: memFree=123224244/131524596 swapFree=131071996/131071996
[pid=1058644] ppid=1058636 vsize=101224 memory=71600 CPUtime=3600.09 cores=4,6
/proc/1058644/stat : 1058644 (roundingsat) R 1058636 1058644 1058581 0 -1 4194304 11935 0 0 0 358884 1125 0 0 20 0 1 0 198121634 103653376 17900 134679101440 4194304 7968373 140729434612128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 37773312 140729434616764 140729434616928 140729434616928 140729434623945 0
/proc/1058644/statm: 25306 17900 1968 922 0 17258 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 101224 KiB
Current children cumulated memory: 71600 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.6 s]
# the end of solver process 1058644 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.85 s, system=11.2553 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3608.6
CPU time (s): 3600.11
CPU user time (s): 3588.85
CPU system time (s): 11.2553
CPU usage (%): 99.7645
Max. virtual memory (cumulated for all children) (KiB): 101224
Max. memory (cumulated for all children) (KiB): 71600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.85
system time used= 11.2553
maximum resident set size= 71600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11946
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 1941
# summary of solver processes directly reported to runsolver:
# pid: 1058644
# total CPU time (s): 3600.11
# total CPU user time (s): 3588.85
# total CPU system time (s): 11.2553
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.27539 second user time and 19.1928 second system time
The end
Begin job on nodeC034 at 2024-07-20 09:12:03 IDJOB=4455169 IDBENCH=147613 IDSOLVER=3084 FILE ID=nodeC034/4455169-1721459511 RUNJOBID= nodeC034-1721459523-1058592 SLURM_JOB_ID= 7545708 Free space on /tmp= 890084 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-4455169-1721459511/watcher-4455169-1721459511 -o /tmp/evaluation-result-4455169-1721459511/solver-4455169-1721459511 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721459523-1058592 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455169-1721459511.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8548cf2fe8567884970fc9be656882ff RANDOM SEED=2134040079 nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3378.908 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3502.461 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3523.481 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3481.577 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3441.743 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3578.292 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3480.859 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3328.206 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524596 kB MemFree: 123637556 kB MemAvailable: 129613880 kB Buffers: 546124 kB Cached: 6203172 kB SwapCached: 0 kB Active: 1104280 kB Inactive: 6004912 kB Active(anon): 1420 kB Inactive(anon): 404420 kB Active(file): 1102860 kB Inactive(file): 5600492 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 21108 kB Writeback: 8 kB AnonPages: 359648 kB Mapped: 107824 kB Shmem: 45912 kB KReclaimable: 225588 kB Slab: 356560 kB SReclaimable: 225588 kB SUnreclaim: 130972 kB KernelStack: 3920 kB PageTables: 10156 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834292 kB Committed_AS: 720296 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 74496 kB HardwareCorrupted: 0 kB AnonHugePages: 233472 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: 320212 kB DirectMap2M: 44541952 kB DirectMap1G: 91226112 kB Free space on /tmp at the end= 890060 MiB End job on nodeC034 at 2024-07-20 10:12:12