| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 189 | 3600.05 | 3610.32 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb |
| MD5SUM | 8940813d27fb075f4739eb458e093f9a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 176 |
| Best CPU time to get the best result obtained on this benchmark | 3558.01 |
| 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 | 467 |
| Total number of constraints | 466 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 466 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 15 |
| Number of terms in the objective function | 467 |
| 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 | 467 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 467 |
| Number of bits of the biggest sum of numbers | 9 |
| 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 467 #constraints 466 0.20/0.27 c bounds - >= 0 @ 0.000154 0.20/0.27 c bounds 216 >= 0 @ 0.134559 0.20/0.27 c bounds 216 >= 1 @ 0.134801 0.20/0.27 c bounds 216 >= 2 @ 0.135006 0.20/0.27 c bounds 216 >= 3 @ 0.135199 0.20/0.27 c bounds 216 >= 4 @ 0.135387 0.20/0.27 c bounds 216 >= 5 @ 0.135604 0.20/0.27 c bounds 216 >= 6 @ 0.135811 0.20/0.27 c bounds 216 >= 7 @ 0.136026 0.20/0.27 c bounds 216 >= 8 @ 0.136225 0.20/0.27 c bounds 216 >= 9 @ 0.136425 0.20/0.27 c bounds 216 >= 10 @ 0.136646 0.20/0.27 c bounds 216 >= 11 @ 0.136872 0.20/0.27 c bounds 216 >= 12 @ 0.137082 0.20/0.27 c bounds 216 >= 13 @ 0.137294 0.20/0.27 c bounds 216 >= 14 @ 0.137509 0.20/0.27 c bounds 216 >= 15 @ 0.137526 0.20/0.27 c bounds 216 >= 16 @ 0.137526 0.20/0.27 c bounds 216 >= 17 @ 0.137526 0.20/0.27 c bounds 216 >= 18 @ 0.137526 0.20/0.27 c bounds 216 >= 19 @ 0.137676 0.20/0.27 c bounds 216 >= 20 @ 0.137918 0.20/0.27 c bounds 216 >= 21 @ 0.138142 0.20/0.27 c bounds 216 >= 22 @ 0.138368 0.20/0.27 c bounds 215 >= 22 @ 0.157966 0.20/0.27 c bounds 215 >= 23 @ 0.158231 0.20/0.27 c bounds 215 >= 24 @ 0.158464 0.20/0.27 c bounds 215 >= 25 @ 0.158722 0.20/0.27 c bounds 215 >= 26 @ 0.158973 0.20/0.27 c bounds 215 >= 27 @ 0.159208 0.20/0.27 c bounds 215 >= 28 @ 0.159448 0.20/0.27 c bounds 215 >= 29 @ 0.159714 0.20/0.27 c bounds 215 >= 30 @ 0.15996 0.20/0.27 c bounds 215 >= 31 @ 0.160197 0.20/0.27 c bounds 215 >= 32 @ 0.160429 0.20/0.27 c bounds 215 >= 33 @ 0.16046 0.20/0.27 c bounds 215 >= 34 @ 0.16046 0.20/0.27 c bounds 215 >= 35 @ 0.16046 0.20/0.27 c bounds 215 >= 36 @ 0.16046 0.20/0.27 c bounds 215 >= 37 @ 0.160462 0.20/0.27 c bounds 215 >= 38 @ 0.160462 0.20/0.27 c bounds 215 >= 39 @ 0.160462 0.20/0.27 c bounds 215 >= 40 @ 0.160462 0.20/0.27 c bounds 215 >= 41 @ 0.160464 0.20/0.27 c bounds 215 >= 42 @ 0.160464 0.20/0.27 c bounds 215 >= 43 @ 0.160464 0.20/0.27 c bounds 215 >= 44 @ 0.160464 0.20/0.27 c bounds 215 >= 45 @ 0.160466 0.20/0.27 c bounds 215 >= 46 @ 0.160466 0.20/0.27 c bounds 215 >= 47 @ 0.160466 0.20/0.27 c bounds 215 >= 48 @ 0.160469 0.20/0.27 c bounds 215 >= 49 @ 0.160469 0.20/0.27 c bounds 215 >= 50 @ 0.160469 0.20/0.27 c bounds 215 >= 51 @ 0.160622 0.20/0.27 c bounds 215 >= 52 @ 0.160903 0.20/0.27 c bounds 215 >= 53 @ 0.161139 0.20/0.27 c bounds 215 >= 54 @ 0.161377 0.20/0.27 c bounds 215 >= 55 @ 0.161659 0.20/0.27 c bounds 215 >= 56 @ 0.161944 0.20/0.27 c bounds 215 >= 57 @ 0.162215 0.20/0.27 c bounds 215 >= 58 @ 0.162497 0.20/0.27 c bounds 215 >= 59 @ 0.162797 0.20/0.27 c bounds 215 >= 60 @ 0.163061 0.20/0.27 c bounds 215 >= 61 @ 0.163322 0.20/0.27 c bounds 215 >= 62 @ 0.163601 0.20/0.27 c bounds 215 >= 63 @ 0.163894 0.20/0.27 c bounds 215 >= 64 @ 0.164174 0.20/0.27 c bounds 215 >= 65 @ 0.164445 0.20/0.27 c bounds 215 >= 66 @ 0.164459 0.20/0.27 c bounds 215 >= 67 @ 0.164459 0.20/0.27 c bounds 215 >= 68 @ 0.164459 0.20/0.27 c bounds 215 >= 69 @ 0.164608 0.20/0.27 c bounds 215 >= 70 @ 0.164892 0.20/0.27 c bounds 215 >= 71 @ 0.165162 0.20/0.27 c bounds 215 >= 72 @ 0.165411 0.20/0.27 c bounds 215 >= 73 @ 0.165458 0.20/0.27 c bounds 215 >= 74 @ 0.165458 0.20/0.27 c bounds 215 >= 75 @ 0.165458 0.20/0.27 c bounds 215 >= 76 @ 0.165588 0.20/0.27 c bounds 215 >= 77 @ 0.165841 0.20/0.27 c bounds 215 >= 78 @ 0.166079 0.20/0.27 c bounds 215 >= 79 @ 0.166328 0.20/0.27 c bounds 215 >= 80 @ 0.166603 0.20/0.27 c bounds 215 >= 81 @ 0.166883 0.20/0.27 c bounds 215 >= 82 @ 0.167143 0.20/0.27 c bounds 215 >= 83 @ 0.167417 0.20/0.27 c bounds 215 >= 84 @ 0.167455 0.20/0.27 c bounds 215 >= 85 @ 0.167455 0.20/0.27 c bounds 215 >= 86 @ 0.167455 0.20/0.27 c bounds 215 >= 87 @ 0.167876 0.20/0.27 c bounds 215 >= 88 @ 0.168139 0.20/0.27 c bounds 215 >= 89 @ 0.168384 0.20/0.27 c bounds 215 >= 90 @ 0.168454 0.20/0.27 c bounds 215 >= 91 @ 0.168454 0.20/0.27 c bounds 215 >= 92 @ 0.168454 0.20/0.27 c bounds 215 >= 93 @ 0.168454 0.20/0.27 c bounds 215 >= 94 @ 0.168454 0.20/0.27 c bounds 215 >= 95 @ 0.168454 0.20/0.27 c bounds 215 >= 96 @ 0.168454 0.20/0.27 c bounds 215 >= 97 @ 0.168588 0.20/0.27 c bounds 215 >= 98 @ 0.168853 0.20/0.27 c bounds 215 >= 99 @ 0.169125 0.20/0.27 c bounds 215 >= 100 @ 0.169373 0.20/0.27 c bounds 215 >= 101 @ 0.169455 0.20/0.27 c bounds 215 >= 102 @ 0.169455 0.20/0.27 c bounds 215 >= 103 @ 0.169455 0.20/0.27 c bounds 215 >= 104 @ 0.169455 0.20/0.27 c bounds 215 >= 105 @ 0.169458 0.20/0.27 c bounds 215 >= 106 @ 0.169458 0.20/0.27 c bounds 215 >= 107 @ 0.169458 0.20/0.27 c bounds 215 >= 108 @ 0.169597 0.20/0.27 c bounds 215 >= 109 @ 0.169856 0.20/0.27 c bounds 215 >= 110 @ 0.170109 0.20/0.27 c bounds 215 >= 111 @ 0.170372 0.20/0.27 c bounds 215 >= 112 @ 0.170457 0.20/0.27 c bounds 215 >= 113 @ 0.170457 0.20/0.27 c bounds 215 >= 114 @ 0.170457 0.20/0.27 c bounds 215 >= 115 @ 0.170588 0.20/0.27 c bounds 215 >= 116 @ 0.170897 0.20/0.27 c bounds 215 >= 117 @ 0.171216 0.20/0.27 c bounds 215 >= 118 @ 0.171525 0.20/0.27 c bounds 215 >= 119 @ 0.171821 0.20/0.27 c bounds 215 >= 120 @ 0.172176 0.20/0.27 c bounds 215 >= 121 @ 0.172524 0.20/0.27 c bounds 215 >= 122 @ 0.172978 0.20/0.27 c bounds 215 >= 123 @ 0.173336 0.20/0.27 c bounds 215 >= 124 @ 0.173704 0.20/0.27 c bounds 215 >= 125 @ 0.174094 0.20/0.27 c bounds 215 >= 126 @ 0.174574 0.20/0.27 c bounds 215 >= 127 @ 0.17512 0.20/0.27 c bounds 215 >= 128 @ 0.175734 0.20/0.27 c bounds 215 >= 129 @ 0.176442 0.20/0.27 c bounds 215 >= 130 @ 0.176573 0.20/0.27 c bounds 215 >= 131 @ 0.180676 0.20/0.27 c bounds 215 >= 132 @ 0.193413 0.20/0.27 c bounds 214 >= 132 @ 0.207185 0.20/0.27 c bounds 214 >= 133 @ 0.234676 0.79/0.80 c bounds 213 >= 133 @ 0.236528 0.79/0.80 c bounds 212 >= 133 @ 0.237934 0.79/0.80 c bounds 211 >= 133 @ 0.243467 0.79/0.80 c bounds 210 >= 133 @ 0.245281 0.79/0.80 c bounds 209 >= 133 @ 0.256802 0.79/0.80 c #Conflicts: 1000 | #Constraints: 2178 0.79/0.80 c bounds 208 >= 133 @ 0.291415 0.79/0.80 c #Conflicts: 2000 | #Constraints: 3179 0.79/0.80 c INPROCESSING 0.79/0.80 c GARBAGE COLLECT 0.79/0.80 c rational objective 138.086 1.48/1.50 c bounds 207 >= 133 @ 0.73785 1.48/1.50 c bounds 206 >= 133 @ 0.747437 1.48/1.50 c bounds 205 >= 133 @ 0.772832 1.48/1.50 c #Conflicts: 3000 | #Constraints: 3101 1.48/1.50 c bounds 204 >= 133 @ 0.922712 1.48/1.50 c bounds 203 >= 133 @ 1.03331 1.48/1.50 c bounds 203 >= 134 @ 1.06776 1.48/1.50 c #Conflicts: 4000 | #Constraints: 4166 1.48/1.50 c INPROCESSING 1.48/1.50 c GARBAGE COLLECT 1.48/1.50 c rational objective 138.086 2.09/2.14 c bounds 202 >= 134 @ 1.46057 2.09/2.14 c #Conflicts: 5000 | #Constraints: 3583 2.09/2.14 c bounds 202 >= 135 @ 1.71455 2.09/2.14 c #Conflicts: 6000 | #Constraints: 4634 2.09/2.14 c INPROCESSING 2.09/2.14 c GARBAGE COLLECT 2.09/2.14 c rational objective 138.086 2.98/3.02 c bounds 201 >= 135 @ 2.05485 2.98/3.02 c bounds 200 >= 135 @ 2.05614 2.98/3.02 c bounds 199 >= 135 @ 2.06441 2.98/3.02 c #Conflicts: 7000 | #Constraints: 3617 2.98/3.02 c #Conflicts: 8000 | #Constraints: 4617 2.98/3.02 c #Conflicts: 9000 | #Constraints: 5617 2.98/3.02 c INPROCESSING 2.98/3.02 c GARBAGE COLLECT 2.98/3.02 c rational objective 138.086 4.18/4.20 c #Conflicts: 10000 | #Constraints: 4305 4.18/4.20 c #Conflicts: 11000 | #Constraints: 5305 4.18/4.20 c bounds 199 >= 136 @ 3.82987 4.18/4.20 c #Conflicts: 12000 | #Constraints: 6338 4.18/4.20 c INPROCESSING 4.18/4.20 c GARBAGE COLLECT 4.18/4.20 c rational objective 138.086 5.08/5.13 c bounds 198 >= 136 @ 4.22698 5.08/5.13 c #Conflicts: 13000 | #Constraints: 4780 5.08/5.13 c #Conflicts: 14000 | #Constraints: 5780 5.08/5.13 c #Conflicts: 15000 | #Constraints: 6780 5.08/5.13 c INPROCESSING 5.08/5.13 c GARBAGE COLLECT 5.08/5.13 c rational objective 138.086 6.37/6.44 c #Conflicts: 16000 | #Constraints: 5008 6.37/6.44 c #Conflicts: 17000 | #Constraints: 6008 6.37/6.44 c #Conflicts: 18000 | #Constraints: 7008 6.37/6.44 c INPROCESSING 6.37/6.44 c GARBAGE COLLECT 6.37/6.44 c rational objective 138.086 14.85/14.97 c #Conflicts: 19000 | #Constraints: 5076 14.85/14.97 c #Conflicts: 20000 | #Constraints: 6076 14.85/14.97 c #Conflicts: 21000 | #Constraints: 7076 14.85/14.97 c #Conflicts: 22000 | #Constraints: 8076 14.85/14.97 c #Conflicts: 23000 | #Constraints: 9076 14.85/14.97 c #Conflicts: 24000 | #Constraints: 10076 14.85/14.97 c #Conflicts: 25000 | #Constraints: 11076 14.85/14.97 c #Conflicts: 26000 | #Constraints: 12076 14.85/14.97 c #Conflicts: 27000 | #Constraints: 13076 14.85/14.97 c #Conflicts: 28000 | #Constraints: 14076 14.85/14.97 c INPROCESSING 14.85/14.97 c GARBAGE COLLECT 14.85/14.97 c rational objective 138.086 20.04/20.19 c #Conflicts: 29000 | #Constraints: 8252 20.04/20.19 c #Conflicts: 30000 | #Constraints: 9252 20.04/20.19 c bounds 198 >= 137 @ 16.2358 20.04/20.19 c #Conflicts: 31000 | #Constraints: 10297 20.04/20.19 c #Conflicts: 32000 | #Constraints: 11297 20.04/20.19 c #Conflicts: 33000 | #Constraints: 12297 20.04/20.19 c INPROCESSING 20.04/20.19 c GARBAGE COLLECT 20.04/20.19 c rational objective 138.086 23.43/23.58 c #Conflicts: 34000 | #Constraints: 7654 23.43/23.58 c #Conflicts: 35000 | #Constraints: 8654 23.43/23.58 c #Conflicts: 36000 | #Constraints: 9654 23.43/23.58 c #Conflicts: 37000 | #Constraints: 10654 23.43/23.58 c #Conflicts: 38000 | #Constraints: 11654 23.43/23.58 c INPROCESSING 23.43/23.58 c GARBAGE COLLECT 23.43/23.58 c rational objective 138.086 26.71/26.84 c #Conflicts: 39000 | #Constraints: 7532 26.71/26.84 c #Conflicts: 40000 | #Constraints: 8532 26.71/26.84 c #Conflicts: 41000 | #Constraints: 9532 26.71/26.84 c #Conflicts: 42000 | #Constraints: 10532 26.71/26.84 c INPROCESSING 26.71/26.84 c GARBAGE COLLECT 26.71/26.84 c rational objective 138.086 41.08/41.26 c #Conflicts: 43000 | #Constraints: 6524 41.08/41.26 c #Conflicts: 44000 | #Constraints: 7524 41.08/41.26 c #Conflicts: 45000 | #Constraints: 8524 41.08/41.26 c #Conflicts: 46000 | #Constraints: 9524 41.08/41.26 c #Conflicts: 47000 | #Constraints: 10524 41.08/41.26 c bounds 198 >= 138 @ 29.02 41.08/41.26 c #Conflicts: 48000 | #Constraints: 11572 41.08/41.26 c #Conflicts: 49000 | #Constraints: 12572 41.08/41.26 c bounds 197 >= 138 @ 30.091 41.08/41.26 c #Conflicts: 50000 | #Constraints: 13573 41.08/41.26 c bounds 196 >= 138 @ 30.5254 41.08/41.26 c #Conflicts: 51000 | #Constraints: 14574 41.08/41.26 c #Conflicts: 52000 | #Constraints: 15574 41.08/41.26 c #Conflicts: 53000 | #Constraints: 16574 41.08/41.26 c #Conflicts: 54000 | #Constraints: 17574 41.08/41.26 c #Conflicts: 55000 | #Constraints: 18574 41.08/41.26 c #Conflicts: 56000 | #Constraints: 19574 41.08/41.26 c #Conflicts: 57000 | #Constraints: 20574 41.08/41.26 c #Conflicts: 58000 | #Constraints: 21574 41.08/41.26 c INPROCESSING 41.08/41.26 c GARBAGE COLLECT 41.08/41.26 c rational objective 138.086 49.26/49.43 c #Conflicts: 59000 | #Constraints: 12064 49.26/49.43 c #Conflicts: 60000 | #Constraints: 13064 49.26/49.43 c #Conflicts: 61000 | #Constraints: 14064 49.26/49.43 c #Conflicts: 62000 | #Constraints: 15064 49.26/49.43 c #Conflicts: 63000 | #Constraints: 16064 49.26/49.43 c #Conflicts: 64000 | #Constraints: 17064 49.26/49.43 c #Conflicts: 65000 | #Constraints: 18064 49.26/49.43 c INPROCESSING 49.26/49.43 c GARBAGE COLLECT 49.26/49.43 c rational objective 138.086 55.65/55.80 c #Conflicts: 66000 | #Constraints: 10756 55.65/55.80 c #Conflicts: 67000 | #Constraints: 11756 55.65/55.80 c #Conflicts: 68000 | #Constraints: 12756 55.65/55.80 c #Conflicts: 69000 | #Constraints: 13756 55.65/55.80 c #Conflicts: 70000 | #Constraints: 14756 55.65/55.80 c #Conflicts: 71000 | #Constraints: 15756 55.65/55.80 c INPROCESSING 55.65/55.80 c GARBAGE COLLECT 55.65/55.80 c rational objective 138.086 98.93/99.25 c #Conflicts: 72000 | #Constraints: 9407 98.93/99.25 c bounds 195 >= 138 @ 54.4427 98.93/99.25 c bounds 194 >= 138 @ 54.5997 98.93/99.25 c #Conflicts: 73000 | #Constraints: 10409 98.93/99.25 c #Conflicts: 74000 | #Constraints: 11409 98.93/99.25 c bounds 193 >= 138 @ 55.5227 98.93/99.25 c #Conflicts: 75000 | #Constraints: 12410 98.93/99.25 c bounds 192 >= 138 @ 56.2913 98.93/99.25 c #Conflicts: 76000 | #Constraints: 13411 98.93/99.25 c #Conflicts: 77000 | #Constraints: 14411 98.93/99.25 c #Conflicts: 78000 | #Constraints: 15411 98.93/99.25 c bounds 191 >= 138 @ 59.2887 98.93/99.25 c #Conflicts: 79000 | #Constraints: 16412 98.93/99.25 c #Conflicts: 80000 | #Constraints: 17412 98.93/99.25 c #Conflicts: 81000 | #Constraints: 18412 98.93/99.25 c #Conflicts: 82000 | #Constraints: 19412 98.93/99.25 c #Conflicts: 83000 | #Constraints: 20412 98.93/99.25 c #Conflicts: 84000 | #Constraints: 21412 98.93/99.25 c #Conflicts: 85000 | #Constraints: 22412 98.93/99.25 c #Conflicts: 86000 | #Constraints: 23412 98.93/99.25 c #Conflicts: 87000 | #Constraints: 24412 98.93/99.25 c #Conflicts: 88000 | #Constraints: 25412 98.93/99.25 c #Conflicts: 89000 | #Constraints: 26412 98.93/99.25 c #Conflicts: 90000 | #Constraints: 27412 98.93/99.25 c #Conflicts: 91000 | #Constraints: 28412 98.93/99.25 c INPROCESSING 98.93/99.25 c GARBAGE COLLECT 98.93/99.25 c rational objective 138.086 108.30/108.62 c #Conflicts: 92000 | #Constraints: 15699 108.30/108.62 c #Conflicts: 93000 | #Constraints: 16699 108.30/108.62 c #Conflicts: 94000 | #Constraints: 17699 108.30/108.62 c #Conflicts: 95000 | #Constraints: 18699 108.30/108.62 c #Conflicts: 96000 | #Constraints: 19699 108.30/108.62 c bounds 190 >= 138 @ 101.837 108.30/108.62 c #Conflicts: 97000 | #Constraints: 20700 108.30/108.62 c #Conflicts: 98000 | #Constraints: 21700 108.30/108.62 c #Conflicts: 99000 | #Constraints: 22700 108.30/108.62 c INPROCESSING 108.30/108.62 c GARBAGE COLLECT 108.30/108.62 c rational objective 138.086 115.98/116.37 c #Conflicts: 100000 | #Constraints: 12921 115.98/116.37 c #Conflicts: 101000 | #Constraints: 13921 115.98/116.37 c #Conflicts: 102000 | #Constraints: 14921 115.98/116.37 c #Conflicts: 103000 | #Constraints: 15921 115.98/116.37 c #Conflicts: 104000 | #Constraints: 16922 115.98/116.37 c #Conflicts: 105000 | #Constraints: 17922 115.98/116.37 c #Conflicts: 106000 | #Constraints: 18922 115.98/116.37 c #Conflicts: 107000 | #Constraints: 19922 115.98/116.37 c INPROCESSING 115.98/116.37 c GARBAGE COLLECT 115.98/116.37 c rational objective 138.086 159.76/160.22 c #Conflicts: 108000 | #Constraints: 11585 159.76/160.22 c #Conflicts: 109000 | #Constraints: 12585 159.76/160.22 c #Conflicts: 110000 | #Constraints: 13585 159.76/160.22 c #Conflicts: 111000 | #Constraints: 14585 159.76/160.22 c #Conflicts: 112000 | #Constraints: 15585 159.76/160.22 c #Conflicts: 113000 | #Constraints: 16585 159.76/160.22 c #Conflicts: 114000 | #Constraints: 17585 159.76/160.22 c #Conflicts: 115000 | #Constraints: 18585 159.76/160.22 c #Conflicts: 116000 | #Constraints: 19585 159.76/160.22 c #Conflicts: 117000 | #Constraints: 20585 159.76/160.22 c #Conflicts: 118000 | #Constraints: 21585 159.76/160.22 c #Conflicts: 119000 | #Constraints: 22585 159.76/160.22 c #Conflicts: 120000 | #Constraints: 23585 159.76/160.22 c #Conflicts: 121000 | #Constraints: 24585 159.76/160.22 c #Conflicts: 122000 | #Constraints: 25585 159.76/160.22 c #Conflicts: 123000 | #Constraints: 26585 159.76/160.22 c #Conflicts: 124000 | #Constraints: 27585 159.76/160.22 c #Conflicts: 125000 | #Constraints: 28585 159.76/160.22 c #Conflicts: 126000 | #Constraints: 29585 159.76/160.22 c #Conflicts: 127000 | #Constraints: 30585 159.76/160.22 c #Conflicts: 128000 | #Constraints: 31585 159.76/160.22 c #Conflicts: 129000 | #Constraints: 32585 159.76/160.22 c #Conflicts: 130000 | #Constraints: 33585 159.76/160.22 c #Conflicts: 131000 | #Constraints: 34585 159.76/160.22 c INPROCESSING 159.76/160.22 c GARBAGE COLLECT 159.76/160.22 c rational objective 138.086 192.58/193.17 c #Conflicts: 132000 | #Constraints: 18770 192.58/193.17 c #Conflicts: 133000 | #Constraints: 19770 192.58/193.17 c #Conflicts: 134000 | #Constraints: 20770 192.58/193.17 c #Conflicts: 135000 | #Constraints: 21770 192.58/193.17 c #Conflicts: 136000 | #Constraints: 22770 192.58/193.17 c #Conflicts: 137000 | #Constraints: 23770 192.58/193.17 c #Conflicts: 138000 | #Constraints: 24770 192.58/193.17 c #Conflicts: 139000 | #Constraints: 25770 192.58/193.17 c #Conflicts: 140000 | #Constraints: 26770 192.58/193.17 c INPROCESSING 192.58/193.17 c GARBAGE COLLECT 192.58/193.17 c rational objective 138.086 208.13/208.75 c #Conflicts: 141000 | #Constraints: 14824 208.13/208.75 c #Conflicts: 142000 | #Constraints: 15824 208.13/208.75 c #Conflicts: 143000 | #Constraints: 16824 208.13/208.75 c #Conflicts: 144000 | #Constraints: 17824 208.13/208.75 c #Conflicts: 145000 | #Constraints: 18824 208.13/208.75 c #Conflicts: 146000 | #Constraints: 19824 208.13/208.75 c #Conflicts: 147000 | #Constraints: 20824 208.13/208.75 c #Conflicts: 148000 | #Constraints: 21824 208.13/208.75 c #Conflicts: 149000 | #Constraints: 22824 208.13/208.75 c #Conflicts: 150000 | #Constraints: 23824 208.13/208.75 c INPROCESSING 208.13/208.75 c GARBAGE COLLECT 208.13/208.75 c rational objective 138.086 267.96/268.79 c #Conflicts: 151000 | #Constraints: 13663 267.96/268.79 c #Conflicts: 152000 | #Constraints: 14663 267.96/268.79 c #Conflicts: 153000 | #Constraints: 15663 267.96/268.79 c #Conflicts: 154000 | #Constraints: 16663 267.96/268.79 c #Conflicts: 155000 | #Constraints: 17663 267.96/268.79 c #Conflicts: 156000 | #Constraints: 18663 267.96/268.79 c #Conflicts: 157000 | #Constraints: 19663 267.96/268.79 c #Conflicts: 158000 | #Constraints: 20663 267.96/268.79 c #Conflicts: 159000 | #Constraints: 21663 267.96/268.79 c #Conflicts: 160000 | #Constraints: 22663 267.96/268.79 c #Conflicts: 161000 | #Constraints: 23663 267.96/268.79 c #Conflicts: 162000 | #Constraints: 24663 267.96/268.79 c #Conflicts: 163000 | #Constraints: 25663 267.96/268.79 c bounds 190 >= 139 @ 228.397 267.96/268.79 c #Conflicts: 164000 | #Constraints: 26726 267.96/268.79 c #Conflicts: 165000 | #Constraints: 27726 267.96/268.79 c #Conflicts: 166000 | #Constraints: 28726 267.96/268.79 c #Conflicts: 167000 | #Constraints: 29726 267.96/268.79 c #Conflicts: 168000 | #Constraints: 30726 267.96/268.79 c #Conflicts: 169000 | #Constraints: 31726 267.96/268.79 c #Conflicts: 170000 | #Constraints: 32726 267.96/268.79 c #Conflicts: 171000 | #Constraints: 33726 267.96/268.79 c #Conflicts: 172000 | #Constraints: 34726 267.96/268.79 c #Conflicts: 173000 | #Constraints: 35726 267.96/268.79 c #Conflicts: 174000 | #Constraints: 36726 267.96/268.79 c #Conflicts: 175000 | #Constraints: 37726 267.96/268.79 c #Conflicts: 176000 | #Constraints: 38726 267.96/268.79 c #Conflicts: 177000 | #Constraints: 39726 267.96/268.79 c #Conflicts: 178000 | #Constraints: 40726 267.96/268.79 c INPROCESSING 267.96/268.79 c GARBAGE COLLECT 267.96/268.79 c rational objective 139 293.19/294.01 c #Conflicts: 179000 | #Constraints: 21819 293.19/294.01 c #Conflicts: 180000 | #Constraints: 22819 293.19/294.01 c #Conflicts: 181000 | #Constraints: 23819 293.19/294.01 c #Conflicts: 182000 | #Constraints: 24819 293.19/294.01 c #Conflicts: 183000 | #Constraints: 25819 293.19/294.01 c #Conflicts: 184000 | #Constraints: 26819 293.19/294.01 c #Conflicts: 185000 | #Constraints: 27819 293.19/294.01 c #Conflicts: 186000 | #Constraints: 28819 293.19/294.01 c #Conflicts: 187000 | #Constraints: 29819 293.19/294.01 c #Conflicts: 188000 | #Constraints: 30819 293.19/294.01 c #Conflicts: 189000 | #Constraints: 31819 293.19/294.01 c INPROCESSING 293.19/294.01 c GARBAGE COLLECT 293.19/294.01 c rational objective 139 307.64/308.54 c #Conflicts: 190000 | #Constraints: 17585 307.64/308.54 c #Conflicts: 191000 | #Constraints: 18585 307.64/308.54 c #Conflicts: 192000 | #Constraints: 19585 307.64/308.54 c #Conflicts: 193000 | #Constraints: 20585 307.64/308.54 c #Conflicts: 194000 | #Constraints: 21585 307.64/308.54 c #Conflicts: 195000 | #Constraints: 22585 307.64/308.54 c #Conflicts: 196000 | #Constraints: 23585 307.64/308.54 c #Conflicts: 197000 | #Constraints: 24585 307.64/308.54 c #Conflicts: 198000 | #Constraints: 25585 307.64/308.54 c #Conflicts: 199000 | #Constraints: 26585 307.64/308.54 c #Conflicts: 200000 | #Constraints: 27585 307.64/308.54 c INPROCESSING 307.64/308.54 c GARBAGE COLLECT 307.64/308.54 c rational objective 139 403.06/404.28 c #Conflicts: 201000 | #Constraints: 15816 403.06/404.28 c #Conflicts: 202000 | #Constraints: 16816 403.06/404.28 c #Conflicts: 203000 | #Constraints: 17816 403.06/404.28 c #Conflicts: 204000 | #Constraints: 18816 403.06/404.28 c #Conflicts: 205000 | #Constraints: 19816 403.06/404.28 c #Conflicts: 206000 | #Constraints: 20816 403.06/404.28 c #Conflicts: 207000 | #Constraints: 21816 403.06/404.28 c #Conflicts: 208000 | #Constraints: 22816 403.06/404.28 c #Conflicts: 209000 | #Constraints: 23816 403.06/404.28 c #Conflicts: 210000 | #Constraints: 24816 403.06/404.28 c #Conflicts: 211000 | #Constraints: 25816 403.06/404.28 c #Conflicts: 212000 | #Constraints: 26816 403.06/404.28 c #Conflicts: 213000 | #Constraints: 27816 403.06/404.28 c #Conflicts: 214000 | #Constraints: 28816 403.06/404.28 c #Conflicts: 215000 | #Constraints: 29816 403.06/404.28 c #Conflicts: 216000 | #Constraints: 30816 403.06/404.28 c #Conflicts: 217000 | #Constraints: 31816 403.06/404.28 c #Conflicts: 218000 | #Constraints: 32816 403.06/404.28 c #Conflicts: 219000 | #Constraints: 33816 403.06/404.28 c #Conflicts: 220000 | #Constraints: 34816 403.06/404.28 c #Conflicts: 221000 | #Constraints: 35816 403.06/404.28 c #Conflicts: 222000 | #Constraints: 36816 403.06/404.28 c #Conflicts: 223000 | #Constraints: 37816 403.06/404.28 c #Conflicts: 224000 | #Constraints: 38816 403.06/404.28 c #Conflicts: 225000 | #Constraints: 39816 403.06/404.28 c #Conflicts: 226000 | #Constraints: 40816 403.06/404.28 c #Conflicts: 227000 | #Constraints: 41816 403.06/404.28 c #Conflicts: 228000 | #Constraints: 42816 403.06/404.28 c #Conflicts: 229000 | #Constraints: 43816 403.06/404.28 c #Conflicts: 230000 | #Constraints: 44816 403.06/404.28 c #Conflicts: 231000 | #Constraints: 45816 403.06/404.28 c #Conflicts: 232000 | #Constraints: 46816 403.06/404.28 c INPROCESSING 403.06/404.28 c GARBAGE COLLECT 403.06/404.28 c rational objective 139 429.38/430.62 c #Conflicts: 233000 | #Constraints: 24770 429.38/430.62 c #Conflicts: 234000 | #Constraints: 25770 429.38/430.62 c #Conflicts: 235000 | #Constraints: 26770 429.38/430.62 c #Conflicts: 236000 | #Constraints: 27770 429.38/430.62 c #Conflicts: 237000 | #Constraints: 28770 429.38/430.62 c #Conflicts: 238000 | #Constraints: 29770 429.38/430.62 c #Conflicts: 239000 | #Constraints: 30770 429.38/430.62 c #Conflicts: 240000 | #Constraints: 31770 429.38/430.62 c #Conflicts: 241000 | #Constraints: 32770 429.38/430.62 c #Conflicts: 242000 | #Constraints: 33770 429.38/430.62 c #Conflicts: 243000 | #Constraints: 34770 429.38/430.62 c #Conflicts: 244000 | #Constraints: 35770 429.38/430.62 c #Conflicts: 245000 | #Constraints: 36770 429.38/430.62 c INPROCESSING 429.38/430.62 c GARBAGE COLLECT 429.38/430.62 c rational objective 139 617.62/619.47 c #Conflicts: 246000 | #Constraints: 20308 617.62/619.47 c #Conflicts: 247000 | #Constraints: 21308 617.62/619.47 c #Conflicts: 248000 | #Constraints: 22308 617.62/619.47 c #Conflicts: 249000 | #Constraints: 23308 617.62/619.47 c #Conflicts: 250000 | #Constraints: 24308 617.62/619.47 c #Conflicts: 251000 | #Constraints: 25308 617.62/619.47 c #Conflicts: 252000 | #Constraints: 26308 617.62/619.47 c #Conflicts: 253000 | #Constraints: 27308 617.62/619.47 c #Conflicts: 254000 | #Constraints: 28308 617.62/619.47 c #Conflicts: 255000 | #Constraints: 29308 617.62/619.47 c #Conflicts: 256000 | #Constraints: 30308 617.62/619.47 c #Conflicts: 257000 | #Constraints: 31308 617.62/619.47 c #Conflicts: 258000 | #Constraints: 32308 617.62/619.47 c #Conflicts: 259000 | #Constraints: 33308 617.62/619.47 c #Conflicts: 260000 | #Constraints: 34308 617.62/619.47 c #Conflicts: 261000 | #Constraints: 35309 617.62/619.47 c #Conflicts: 262000 | #Constraints: 36309 617.62/619.47 c #Conflicts: 263000 | #Constraints: 37309 617.62/619.47 c #Conflicts: 264000 | #Constraints: 38309 617.62/619.47 c #Conflicts: 265000 | #Constraints: 39309 617.62/619.47 c #Conflicts: 266000 | #Constraints: 40309 617.62/619.47 c bounds 189 >= 139 @ 499.378 617.62/619.47 c #Conflicts: 267000 | #Constraints: 41310 617.62/619.47 c #Conflicts: 268000 | #Constraints: 42310 617.62/619.47 c #Conflicts: 269000 | #Constraints: 43310 617.62/619.47 c #Conflicts: 270000 | #Constraints: 44310 617.62/619.47 c #Conflicts: 271000 | #Constraints: 45310 617.62/619.47 c #Conflicts: 272000 | #Constraints: 46310 617.62/619.47 c #Conflicts: 273000 | #Constraints: 47310 617.62/619.47 c #Conflicts: 274000 | #Constraints: 48310 617.62/619.47 c #Conflicts: 275000 | #Constraints: 49310 617.62/619.47 c #Conflicts: 276000 | #Constraints: 50310 617.62/619.47 c #Conflicts: 277000 | #Constraints: 51310 617.62/619.47 c #Conflicts: 278000 | #Constraints: 52310 617.62/619.47 c #Conflicts: 279000 | #Constraints: 53310 617.62/619.47 c #Conflicts: 280000 | #Constraints: 54310 617.62/619.47 c INPROCESSING 617.62/619.47 c GARBAGE COLLECT 617.62/619.47 c rational objective 139 642.55/644.48 c #Conflicts: 281000 | #Constraints: 28546 642.55/644.48 c #Conflicts: 282000 | #Constraints: 29546 642.55/644.48 c #Conflicts: 283000 | #Constraints: 30546 642.55/644.48 c #Conflicts: 284000 | #Constraints: 31546 642.55/644.48 c #Conflicts: 285000 | #Constraints: 32546 642.55/644.48 c #Conflicts: 286000 | #Constraints: 33546 642.55/644.48 c #Conflicts: 287000 | #Constraints: 34546 642.55/644.48 c #Conflicts: 288000 | #Constraints: 35546 642.55/644.48 c #Conflicts: 289000 | #Constraints: 36546 642.55/644.48 c #Conflicts: 290000 | #Constraints: 37546 642.55/644.48 c #Conflicts: 291000 | #Constraints: 38546 642.55/644.48 c #Conflicts: 292000 | #Constraints: 39546 642.55/644.48 c #Conflicts: 293000 | #Constraints: 40546 642.55/644.48 c #Conflicts: 294000 | #Constraints: 41546 642.55/644.48 c INPROCESSING 642.55/644.48 c GARBAGE COLLECT 642.55/644.48 c rational objective 139 814.73/817.12 c #Conflicts: 295000 | #Constraints: 22337 814.73/817.12 c #Conflicts: 296000 | #Constraints: 23337 814.73/817.12 c #Conflicts: 297000 | #Constraints: 24337 814.73/817.12 c #Conflicts: 298000 | #Constraints: 25337 814.73/817.12 c #Conflicts: 299000 | #Constraints: 26337 814.73/817.12 c #Conflicts: 300000 | #Constraints: 27337 814.73/817.12 c #Conflicts: 301000 | #Constraints: 28337 814.73/817.12 c #Conflicts: 302000 | #Constraints: 29337 814.73/817.12 c #Conflicts: 303000 | #Constraints: 30337 814.73/817.12 c #Conflicts: 304000 | #Constraints: 31337 814.73/817.12 c #Conflicts: 305000 | #Constraints: 32337 814.73/817.12 c #Conflicts: 306000 | #Constraints: 33338 814.73/817.12 c #Conflicts: 307000 | #Constraints: 34338 814.73/817.12 c #Conflicts: 308000 | #Constraints: 35338 814.73/817.12 c #Conflicts: 309000 | #Constraints: 36338 814.73/817.12 c #Conflicts: 310000 | #Constraints: 37338 814.73/817.12 c #Conflicts: 311000 | #Constraints: 38338 814.73/817.12 c #Conflicts: 312000 | #Constraints: 39338 814.73/817.12 c #Conflicts: 313000 | #Constraints: 40338 814.73/817.12 c #Conflicts: 314000 | #Constraints: 41338 814.73/817.12 c #Conflicts: 315000 | #Constraints: 42338 814.73/817.12 c #Conflicts: 316000 | #Constraints: 43338 814.73/817.12 c #Conflicts: 317000 | #Constraints: 44338 814.73/817.12 c #Conflicts: 318000 | #Constraints: 45338 814.73/817.12 c #Conflicts: 319000 | #Constraints: 46338 814.73/817.12 c #Conflicts: 320000 | #Constraints: 47338 814.73/817.12 c #Conflicts: 321000 | #Constraints: 48338 814.73/817.12 c #Conflicts: 322000 | #Constraints: 49338 814.73/817.12 c #Conflicts: 323000 | #Constraints: 50338 814.73/817.12 c #Conflicts: 324000 | #Constraints: 51338 814.73/817.12 c #Conflicts: 325000 | #Constraints: 52338 814.73/817.12 c #Conflicts: 326000 | #Constraints: 53338 814.73/817.12 c #Conflicts: 327000 | #Constraints: 54338 814.73/817.12 c #Conflicts: 328000 | #Constraints: 55338 814.73/817.12 c #Conflicts: 329000 | #Constraints: 56338 814.73/817.12 c #Conflicts: 330000 | #Constraints: 57338 814.73/817.12 c #Conflicts: 331000 | #Constraints: 58338 814.73/817.12 c #Conflicts: 332000 | #Constraints: 59338 814.73/817.12 c #Conflicts: 333000 | #Constraints: 60338 814.73/817.12 c INPROCESSING 814.73/817.12 c GARBAGE COLLECT 814.73/817.12 c rational objective 139 912.71/915.45 c #Conflicts: 334000 | #Constraints: 31781 912.71/915.45 c #Conflicts: 335000 | #Constraints: 32781 912.71/915.45 c #Conflicts: 336000 | #Constraints: 33781 912.71/915.45 c #Conflicts: 337000 | #Constraints: 34781 912.71/915.45 c #Conflicts: 338000 | #Constraints: 35781 912.71/915.45 c #Conflicts: 339000 | #Constraints: 36781 912.71/915.45 c #Conflicts: 340000 | #Constraints: 37781 912.71/915.45 c #Conflicts: 341000 | #Constraints: 38781 912.71/915.45 c #Conflicts: 342000 | #Constraints: 39781 912.71/915.45 c #Conflicts: 343000 | #Constraints: 40781 912.71/915.45 c #Conflicts: 344000 | #Constraints: 41781 912.71/915.45 c #Conflicts: 345000 | #Constraints: 42781 912.71/915.45 c #Conflicts: 346000 | #Constraints: 43781 912.71/915.45 c #Conflicts: 347000 | #Constraints: 44781 912.71/915.45 c #Conflicts: 348000 | #Constraints: 45781 912.71/915.45 c INPROCESSING 912.71/915.45 c GARBAGE COLLECT 912.71/915.45 c rational objective 139 1135.13/1138.59 c #Conflicts: 349000 | #Constraints: 24684 1135.13/1138.59 c #Conflicts: 350000 | #Constraints: 25684 1135.13/1138.59 c #Conflicts: 351000 | #Constraints: 26684 1135.13/1138.59 c #Conflicts: 352000 | #Constraints: 27684 1135.13/1138.59 c #Conflicts: 353000 | #Constraints: 28684 1135.13/1138.59 c #Conflicts: 354000 | #Constraints: 29684 1135.13/1138.59 c #Conflicts: 355000 | #Constraints: 30684 1135.13/1138.59 c #Conflicts: 356000 | #Constraints: 31684 1135.13/1138.59 c #Conflicts: 357000 | #Constraints: 32684 1135.13/1138.59 c #Conflicts: 358000 | #Constraints: 33684 1135.13/1138.59 c #Conflicts: 359000 | #Constraints: 34684 1135.13/1138.59 c #Conflicts: 360000 | #Constraints: 35684 1135.13/1138.59 c #Conflicts: 361000 | #Constraints: 36684 1135.13/1138.59 c #Conflicts: 362000 | #Constraints: 37684 1135.13/1138.59 c #Conflicts: 363000 | #Constraints: 38684 1135.13/1138.59 c #Conflicts: 364000 | #Constraints: 39684 1135.13/1138.59 c #Conflicts: 365000 | #Constraints: 40684 1135.13/1138.59 c #Conflicts: 366000 | #Constraints: 41684 1135.13/1138.59 c #Conflicts: 367000 | #Constraints: 42684 1135.13/1138.59 c #Conflicts: 368000 | #Constraints: 43684 1135.13/1138.59 c #Conflicts: 369000 | #Constraints: 44684 1135.13/1138.59 c #Conflicts: 370000 | #Constraints: 45684 1135.13/1138.59 c #Conflicts: 371000 | #Constraints: 46684 1135.13/1138.59 c #Conflicts: 372000 | #Constraints: 47684 1135.13/1138.59 c #Conflicts: 373000 | #Constraints: 48684 1135.13/1138.59 c #Conflicts: 374000 | #Constraints: 49684 1135.13/1138.59 c #Conflicts: 375000 | #Constraints: 50684 1135.13/1138.59 c #Conflicts: 376000 | #Constraints: 51684 1135.13/1138.59 c #Conflicts: 377000 | #Constraints: 52684 1135.13/1138.59 c #Conflicts: 378000 | #Constraints: 53684 1135.13/1138.59 c #Conflicts: 379000 | #Constraints: 54684 1135.13/1138.59 c #Conflicts: 380000 | #Constraints: 55684 1135.13/1138.59 c #Conflicts: 381000 | #Constraints: 56684 1135.13/1138.59 c #Conflicts: 382000 | #Constraints: 57684 1135.13/1138.59 c #Conflicts: 383000 | #Constraints: 58684 1135.13/1138.59 c #Conflicts: 384000 | #Constraints: 59684 1135.13/1138.59 c #Conflicts: 385000 | #Constraints: 60684 1135.13/1138.59 c #Conflicts: 386000 | #Constraints: 61684 1135.13/1138.59 c #Conflicts: 387000 | #Constraints: 62684 1135.13/1138.59 c #Conflicts: 388000 | #Constraints: 63684 1135.13/1138.59 c #Conflicts: 389000 | #Constraints: 64684 1135.13/1138.59 c #Conflicts: 390000 | #Constraints: 65684 1135.13/1138.59 c INPROCESSING 1135.13/1138.59 c GARBAGE COLLECT 1135.13/1138.59 c rational objective 139 1187.47/1191.02 c #Conflicts: 391000 | #Constraints: 34645 1187.47/1191.02 c #Conflicts: 392000 | #Constraints: 35645 1187.47/1191.02 c #Conflicts: 393000 | #Constraints: 36645 1187.47/1191.02 c #Conflicts: 394000 | #Constraints: 37645 1187.47/1191.02 c #Conflicts: 395000 | #Constraints: 38645 1187.47/1191.02 c #Conflicts: 396000 | #Constraints: 39645 1187.47/1191.02 c #Conflicts: 397000 | #Constraints: 40645 1187.47/1191.02 c #Conflicts: 398000 | #Constraints: 41645 1187.47/1191.02 c #Conflicts: 399000 | #Constraints: 42645 1187.47/1191.02 c #Conflicts: 400000 | #Constraints: 43645 1187.47/1191.02 c #Conflicts: 401000 | #Constraints: 44645 1187.47/1191.02 c #Conflicts: 402000 | #Constraints: 45645 1187.47/1191.02 c #Conflicts: 403000 | #Constraints: 46645 1187.47/1191.02 c #Conflicts: 404000 | #Constraints: 47645 1187.47/1191.02 c #Conflicts: 405000 | #Constraints: 48645 1187.47/1191.02 c #Conflicts: 406000 | #Constraints: 49645 1187.47/1191.02 c INPROCESSING 1187.47/1191.02 c GARBAGE COLLECT 1187.47/1191.02 c rational objective 139 1473.07/1477.41 c #Conflicts: 407000 | #Constraints: 27512 1473.07/1477.41 c #Conflicts: 408000 | #Constraints: 28512 1473.07/1477.41 c #Conflicts: 409000 | #Constraints: 29512 1473.07/1477.41 c #Conflicts: 410000 | #Constraints: 30512 1473.07/1477.41 c #Conflicts: 411000 | #Constraints: 31512 1473.07/1477.41 c #Conflicts: 412000 | #Constraints: 32512 1473.07/1477.41 c #Conflicts: 413000 | #Constraints: 33512 1473.07/1477.41 c #Conflicts: 414000 | #Constraints: 34512 1473.07/1477.41 c #Conflicts: 415000 | #Constraints: 35512 1473.07/1477.41 c #Conflicts: 416000 | #Constraints: 36512 1473.07/1477.41 c #Conflicts: 417000 | #Constraints: 37512 1473.07/1477.41 c #Conflicts: 418000 | #Constraints: 38512 1473.07/1477.41 c #Conflicts: 419000 | #Constraints: 39512 1473.07/1477.41 c #Conflicts: 420000 | #Constraints: 40512 1473.07/1477.41 c #Conflicts: 421000 | #Constraints: 41512 1473.07/1477.41 c #Conflicts: 422000 | #Constraints: 42512 1473.07/1477.41 c #Conflicts: 423000 | #Constraints: 43512 1473.07/1477.41 c #Conflicts: 424000 | #Constraints: 44512 1473.07/1477.41 c #Conflicts: 425000 | #Constraints: 45512 1473.07/1477.41 c #Conflicts: 426000 | #Constraints: 46512 1473.07/1477.41 c #Conflicts: 427000 | #Constraints: 47512 1473.07/1477.41 c #Conflicts: 428000 | #Constraints: 48512 1473.07/1477.41 c #Conflicts: 429000 | #Constraints: 49512 1473.07/1477.41 c #Conflicts: 430000 | #Constraints: 50512 1473.07/1477.41 c #Conflicts: 431000 | #Constraints: 51512 1473.07/1477.41 c #Conflicts: 432000 | #Constraints: 52512 1473.07/1477.41 c #Conflicts: 433000 | #Constraints: 53512 1473.07/1477.41 c #Conflicts: 434000 | #Constraints: 54512 1473.07/1477.41 c #Conflicts: 435000 | #Constraints: 55512 1473.07/1477.41 c #Conflicts: 436000 | #Constraints: 56512 1473.07/1477.41 c #Conflicts: 437000 | #Constraints: 57512 1473.07/1477.41 c #Conflicts: 438000 | #Constraints: 58512 1473.07/1477.41 c #Conflicts: 439000 | #Constraints: 59512 1473.07/1477.41 c #Conflicts: 440000 | #Constraints: 60512 1473.07/1477.41 c #Conflicts: 441000 | #Constraints: 61512 1473.07/1477.41 c #Conflicts: 442000 | #Constraints: 62512 1473.07/1477.41 c #Conflicts: 443000 | #Constraints: 63512 1473.07/1477.41 c #Conflicts: 444000 | #Constraints: 64512 1473.07/1477.41 c #Conflicts: 445000 | #Constraints: 65512 1473.07/1477.41 c #Conflicts: 446000 | #Constraints: 66512 1473.07/1477.41 c #Conflicts: 447000 | #Constraints: 67512 1473.07/1477.41 c #Conflicts: 448000 | #Constraints: 68512 1473.07/1477.41 c #Conflicts: 449000 | #Constraints: 69512 1473.07/1477.41 c #Conflicts: 450000 | #Constraints: 70512 1473.07/1477.41 c #Conflicts: 451000 | #Constraints: 71512 1473.07/1477.41 c INPROCESSING 1473.07/1477.41 c GARBAGE COLLECT 1473.07/1477.41 c rational objective 139 1526.63/1531.15 c #Conflicts: 452000 | #Constraints: 37452 1526.63/1531.15 c #Conflicts: 453000 | #Constraints: 38452 1526.63/1531.15 c #Conflicts: 454000 | #Constraints: 39452 1526.63/1531.15 c #Conflicts: 455000 | #Constraints: 40452 1526.63/1531.15 c #Conflicts: 456000 | #Constraints: 41452 1526.63/1531.15 c #Conflicts: 457000 | #Constraints: 42452 1526.63/1531.15 c #Conflicts: 458000 | #Constraints: 43452 1526.63/1531.15 c #Conflicts: 459000 | #Constraints: 44452 1526.63/1531.15 c #Conflicts: 460000 | #Constraints: 45452 1526.63/1531.15 c #Conflicts: 461000 | #Constraints: 46452 1526.63/1531.15 c #Conflicts: 462000 | #Constraints: 47452 1526.63/1531.15 c #Conflicts: 463000 | #Constraints: 48452 1526.63/1531.15 c #Conflicts: 464000 | #Constraints: 49452 1526.63/1531.15 c #Conflicts: 465000 | #Constraints: 50452 1526.63/1531.15 c #Conflicts: 466000 | #Constraints: 51452 1526.63/1531.15 c #Conflicts: 467000 | #Constraints: 52452 1526.63/1531.15 c #Conflicts: 468000 | #Constraints: 53452 1526.63/1531.15 c INPROCESSING 1526.63/1531.15 c GARBAGE COLLECT 1526.63/1531.15 c rational objective 139 1740.86/1745.99 c #Conflicts: 469000 | #Constraints: 30786 1740.86/1745.99 c #Conflicts: 470000 | #Constraints: 31786 1740.86/1745.99 c #Conflicts: 471000 | #Constraints: 32786 1740.86/1745.99 c #Conflicts: 472000 | #Constraints: 33786 1740.86/1745.99 c #Conflicts: 473000 | #Constraints: 34786 1740.86/1745.99 c #Conflicts: 474000 | #Constraints: 35786 1740.86/1745.99 c #Conflicts: 475000 | #Constraints: 36786 1740.86/1745.99 c #Conflicts: 476000 | #Constraints: 37786 1740.86/1745.99 c #Conflicts: 477000 | #Constraints: 38786 1740.86/1745.99 c #Conflicts: 478000 | #Constraints: 39787 1740.86/1745.99 c #Conflicts: 479000 | #Constraints: 40787 1740.86/1745.99 c #Conflicts: 480000 | #Constraints: 41787 1740.86/1745.99 c #Conflicts: 481000 | #Constraints: 42787 1740.86/1745.99 c #Conflicts: 482000 | #Constraints: 43787 1740.86/1745.99 c #Conflicts: 483000 | #Constraints: 44787 1740.86/1745.99 c #Conflicts: 484000 | #Constraints: 45787 1740.86/1745.99 c #Conflicts: 485000 | #Constraints: 46787 1740.86/1745.99 c #Conflicts: 486000 | #Constraints: 47788 1740.86/1745.99 c #Conflicts: 487000 | #Constraints: 48788 1740.86/1745.99 c #Conflicts: 488000 | #Constraints: 49788 1740.86/1745.99 c #Conflicts: 489000 | #Constraints: 50788 1740.86/1745.99 c #Conflicts: 490000 | #Constraints: 51788 1740.86/1745.99 c #Conflicts: 491000 | #Constraints: 52788 1740.86/1745.99 c #Conflicts: 492000 | #Constraints: 53788 1740.86/1745.99 c #Conflicts: 493000 | #Constraints: 54788 1740.86/1745.99 c #Conflicts: 494000 | #Constraints: 55788 1740.86/1745.99 c #Conflicts: 495000 | #Constraints: 56788 1740.86/1745.99 c #Conflicts: 496000 | #Constraints: 57788 1740.86/1745.99 c #Conflicts: 497000 | #Constraints: 58788 1740.86/1745.99 c #Conflicts: 498000 | #Constraints: 59788 1740.86/1745.99 c #Conflicts: 499000 | #Constraints: 60788 1740.86/1745.99 c #Conflicts: 500000 | #Constraints: 61788 1740.86/1745.99 c #Conflicts: 501000 | #Constraints: 62788 1740.86/1745.99 c #Conflicts: 502000 | #Constraints: 63788 1740.86/1745.99 c #Conflicts: 503000 | #Constraints: 64788 1740.86/1745.99 c #Conflicts: 504000 | #Constraints: 65788 1740.86/1745.99 c #Conflicts: 505000 | #Constraints: 66788 1740.86/1745.99 c #Conflicts: 506000 | #Constraints: 67788 1740.86/1745.99 c #Conflicts: 507000 | #Constraints: 68788 1740.86/1745.99 c #Conflicts: 508000 | #Constraints: 69788 1740.86/1745.99 c #Conflicts: 509000 | #Constraints: 70788 1740.86/1745.99 c #Conflicts: 510000 | #Constraints: 71788 1740.86/1745.99 c #Conflicts: 511000 | #Constraints: 72788 1740.86/1745.99 c #Conflicts: 512000 | #Constraints: 73788 1740.86/1745.99 c #Conflicts: 513000 | #Constraints: 74788 1740.86/1745.99 c #Conflicts: 514000 | #Constraints: 75788 1740.86/1745.99 c #Conflicts: 515000 | #Constraints: 76788 1740.86/1745.99 c #Conflicts: 516000 | #Constraints: 77788 1740.86/1745.99 c INPROCESSING 1740.86/1745.99 c GARBAGE COLLECT 1740.86/1745.99 c rational objective 139 1915.30/1920.86 c #Conflicts: 517000 | #Constraints: 40198 1915.30/1920.86 c #Conflicts: 518000 | #Constraints: 41198 1915.30/1920.86 c #Conflicts: 519000 | #Constraints: 42198 1915.30/1920.86 c #Conflicts: 520000 | #Constraints: 43198 1915.30/1920.86 c #Conflicts: 521000 | #Constraints: 44198 1915.30/1920.86 c #Conflicts: 522000 | #Constraints: 45198 1915.30/1920.86 c #Conflicts: 523000 | #Constraints: 46198 1915.30/1920.86 c #Conflicts: 524000 | #Constraints: 47198 1915.30/1920.86 c #Conflicts: 525000 | #Constraints: 48198 1915.30/1920.86 c #Conflicts: 526000 | #Constraints: 49198 1915.30/1920.86 c #Conflicts: 527000 | #Constraints: 50198 1915.30/1920.86 c #Conflicts: 528000 | #Constraints: 51198 1915.30/1920.86 c #Conflicts: 529000 | #Constraints: 52198 1915.30/1920.86 c #Conflicts: 530000 | #Constraints: 53198 1915.30/1920.86 c #Conflicts: 531000 | #Constraints: 54198 1915.30/1920.86 c #Conflicts: 532000 | #Constraints: 55198 1915.30/1920.86 c #Conflicts: 533000 | #Constraints: 56198 1915.30/1920.86 c #Conflicts: 534000 | #Constraints: 57198 1915.30/1920.86 c #Conflicts: 535000 | #Constraints: 58198 1915.30/1920.86 c INPROCESSING 1915.30/1920.86 c GARBAGE COLLECT 1915.30/1920.86 c rational objective 139 2228.24/2234.69 c #Conflicts: 536000 | #Constraints: 32764 2228.24/2234.69 c #Conflicts: 537000 | #Constraints: 33764 2228.24/2234.69 c #Conflicts: 538000 | #Constraints: 34764 2228.24/2234.69 c #Conflicts: 539000 | #Constraints: 35764 2228.24/2234.69 c #Conflicts: 540000 | #Constraints: 36764 2228.24/2234.69 c #Conflicts: 541000 | #Constraints: 37764 2228.24/2234.69 c #Conflicts: 542000 | #Constraints: 38764 2228.24/2234.69 c #Conflicts: 543000 | #Constraints: 39764 2228.24/2234.69 c #Conflicts: 544000 | #Constraints: 40764 2228.24/2234.69 c #Conflicts: 545000 | #Constraints: 41764 2228.24/2234.69 c #Conflicts: 546000 | #Constraints: 42764 2228.24/2234.69 c #Conflicts: 547000 | #Constraints: 43764 2228.24/2234.69 c #Conflicts: 548000 | #Constraints: 44764 2228.24/2234.69 c #Conflicts: 549000 | #Constraints: 45764 2228.24/2234.69 c #Conflicts: 550000 | #Constraints: 46764 2228.24/2234.69 c #Conflicts: 551000 | #Constraints: 47764 2228.24/2234.69 c #Conflicts: 552000 | #Constraints: 48764 2228.24/2234.69 c #Conflicts: 553000 | #Constraints: 49764 2228.24/2234.69 c #Conflicts: 554000 | #Constraints: 50764 2228.24/2234.69 c #Conflicts: 555000 | #Constraints: 51764 2228.24/2234.69 c #Conflicts: 556000 | #Constraints: 52764 2228.24/2234.69 c #Conflicts: 557000 | #Constraints: 53764 2228.24/2234.69 c #Conflicts: 558000 | #Constraints: 54764 2228.24/2234.69 c #Conflicts: 559000 | #Constraints: 55764 2228.24/2234.69 c #Conflicts: 560000 | #Constraints: 56764 2228.24/2234.69 c #Conflicts: 561000 | #Constraints: 57764 2228.24/2234.69 c #Conflicts: 562000 | #Constraints: 58764 2228.24/2234.69 c #Conflicts: 563000 | #Constraints: 59764 2228.24/2234.69 c #Conflicts: 564000 | #Constraints: 60764 2228.24/2234.69 c #Conflicts: 565000 | #Constraints: 61764 2228.24/2234.69 c #Conflicts: 566000 | #Constraints: 62764 2228.24/2234.69 c #Conflicts: 567000 | #Constraints: 63764 2228.24/2234.69 c #Conflicts: 568000 | #Constraints: 64764 2228.24/2234.69 c #Conflicts: 569000 | #Constraints: 65764 2228.24/2234.69 c #Conflicts: 570000 | #Constraints: 66764 2228.24/2234.69 c #Conflicts: 571000 | #Constraints: 67764 2228.24/2234.69 c #Conflicts: 572000 | #Constraints: 68764 2228.24/2234.69 c #Conflicts: 573000 | #Constraints: 69764 2228.24/2234.69 c #Conflicts: 574000 | #Constraints: 70764 2228.24/2234.69 c #Conflicts: 575000 | #Constraints: 71764 2228.24/2234.69 c #Conflicts: 576000 | #Constraints: 72764 2228.24/2234.69 c #Conflicts: 577000 | #Constraints: 73765 2228.24/2234.69 c #Conflicts: 578000 | #Constraints: 74765 2228.24/2234.69 c #Conflicts: 579000 | #Constraints: 75765 2228.24/2234.69 c #Conflicts: 580000 | #Constraints: 76765 2228.24/2234.69 c #Conflicts: 581000 | #Constraints: 77765 2228.24/2234.69 c #Conflicts: 582000 | #Constraints: 78765 2228.24/2234.69 c #Conflicts: 583000 | #Constraints: 79765 2228.24/2234.69 c #Conflicts: 584000 | #Constraints: 80765 2228.24/2234.69 c #Conflicts: 585000 | #Constraints: 81765 2228.24/2234.69 c #Conflicts: 586000 | #Constraints: 82765 2228.24/2234.69 c INPROCESSING 2228.24/2234.69 c GARBAGE COLLECT 2228.24/2234.69 c rational objective 139 2430.00/2436.95 c #Conflicts: 587000 | #Constraints: 42695 2430.00/2436.95 c #Conflicts: 588000 | #Constraints: 43695 2430.00/2436.95 c #Conflicts: 589000 | #Constraints: 44695 2430.00/2436.95 c #Conflicts: 590000 | #Constraints: 45695 2430.00/2436.95 c #Conflicts: 591000 | #Constraints: 46695 2430.00/2436.95 c #Conflicts: 592000 | #Constraints: 47695 2430.00/2436.95 c #Conflicts: 593000 | #Constraints: 48695 2430.00/2436.95 c #Conflicts: 594000 | #Constraints: 49695 2430.00/2436.95 c #Conflicts: 595000 | #Constraints: 50695 2430.00/2436.95 c #Conflicts: 596000 | #Constraints: 51695 2430.00/2436.95 c #Conflicts: 597000 | #Constraints: 52695 2430.00/2436.95 c #Conflicts: 598000 | #Constraints: 53695 2430.00/2436.95 c #Conflicts: 599000 | #Constraints: 54695 2430.00/2436.95 c #Conflicts: 600000 | #Constraints: 55695 2430.00/2436.95 c #Conflicts: 601000 | #Constraints: 56695 2430.00/2436.95 c #Conflicts: 602000 | #Constraints: 57695 2430.00/2436.95 c #Conflicts: 603000 | #Constraints: 58695 2430.00/2436.95 c #Conflicts: 604000 | #Constraints: 59695 2430.00/2436.95 c #Conflicts: 605000 | #Constraints: 60695 2430.00/2436.95 c #Conflicts: 606000 | #Constraints: 61695 2430.00/2436.95 c INPROCESSING 2430.00/2436.95 c GARBAGE COLLECT 2430.00/2436.95 c rational objective 139 2968.61/2977.02 c #Conflicts: 607000 | #Constraints: 34382 2968.61/2977.02 c #Conflicts: 608000 | #Constraints: 35382 2968.61/2977.02 c #Conflicts: 609000 | #Constraints: 36382 2968.61/2977.02 c #Conflicts: 610000 | #Constraints: 37382 2968.61/2977.02 c #Conflicts: 611000 | #Constraints: 38382 2968.61/2977.02 c #Conflicts: 612000 | #Constraints: 39382 2968.61/2977.02 c #Conflicts: 613000 | #Constraints: 40382 2968.61/2977.02 c #Conflicts: 614000 | #Constraints: 41382 2968.61/2977.02 c #Conflicts: 615000 | #Constraints: 42382 2968.61/2977.02 c #Conflicts: 616000 | #Constraints: 43382 2968.61/2977.02 c #Conflicts: 617000 | #Constraints: 44382 2968.61/2977.02 c #Conflicts: 618000 | #Constraints: 45382 2968.61/2977.02 c #Conflicts: 619000 | #Constraints: 46382 2968.61/2977.02 c #Conflicts: 620000 | #Constraints: 47382 2968.61/2977.02 c #Conflicts: 621000 | #Constraints: 48382 2968.61/2977.02 c #Conflicts: 622000 | #Constraints: 49382 2968.61/2977.02 c #Conflicts: 623000 | #Constraints: 50382 2968.61/2977.02 c #Conflicts: 624000 | #Constraints: 51382 2968.61/2977.02 c #Conflicts: 625000 | #Constraints: 52382 2968.61/2977.02 c #Conflicts: 626000 | #Constraints: 53382 2968.61/2977.02 c #Conflicts: 627000 | #Constraints: 54382 2968.61/2977.02 c #Conflicts: 628000 | #Constraints: 55382 2968.61/2977.02 c #Conflicts: 629000 | #Constraints: 56382 2968.61/2977.02 c #Conflicts: 630000 | #Constraints: 57382 2968.61/2977.02 c #Conflicts: 631000 | #Constraints: 58382 2968.61/2977.02 c #Conflicts: 632000 | #Constraints: 59382 2968.61/2977.02 c #Conflicts: 633000 | #Constraints: 60382 2968.61/2977.02 c #Conflicts: 634000 | #Constraints: 61382 2968.61/2977.02 c #Conflicts: 635000 | #Constraints: 62382 2968.61/2977.02 c #Conflicts: 636000 | #Constraints: 63382 2968.61/2977.02 c #Conflicts: 637000 | #Constraints: 64382 2968.61/2977.02 c #Conflicts: 638000 | #Constraints: 65382 2968.61/2977.02 c #Conflicts: 639000 | #Constraints: 66382 2968.61/2977.02 c #Conflicts: 640000 | #Constraints: 67382 2968.61/2977.02 c #Conflicts: 641000 | #Constraints: 68382 2968.61/2977.02 c #Conflicts: 642000 | #Constraints: 69382 2968.61/2977.02 c #Conflicts: 643000 | #Constraints: 70382 2968.61/2977.02 c #Conflicts: 644000 | #Constraints: 71382 2968.61/2977.02 c #Conflicts: 645000 | #Constraints: 72382 2968.61/2977.02 c #Conflicts: 646000 | #Constraints: 73382 2968.61/2977.02 c #Conflicts: 647000 | #Constraints: 74382 2968.61/2977.02 c #Conflicts: 648000 | #Constraints: 75382 2968.61/2977.02 c #Conflicts: 649000 | #Constraints: 76382 2968.61/2977.02 c #Conflicts: 650000 | #Constraints: 77382 2968.61/2977.02 c #Conflicts: 651000 | #Constraints: 78382 2968.61/2977.02 c #Conflicts: 652000 | #Constraints: 79382 2968.61/2977.02 c #Conflicts: 653000 | #Constraints: 80382 2968.61/2977.02 c #Conflicts: 654000 | #Constraints: 81382 2968.61/2977.02 c #Conflicts: 655000 | #Constraints: 82382 2968.61/2977.02 c #Conflicts: 656000 | #Constraints: 83382 2968.61/2977.02 c #Conflicts: 657000 | #Constraints: 84382 2968.61/2977.02 c #Conflicts: 658000 | #Constraints: 85382 2968.61/2977.02 c #Conflicts: 659000 | #Constraints: 86382 2968.61/2977.02 c #Conflicts: 660000 | #Constraints: 87382 2968.61/2977.02 c #Conflicts: 661000 | #Constraints: 88382 2968.61/2977.02 c INPROCESSING 2968.61/2977.02 c GARBAGE COLLECT 2968.61/2977.02 c rational objective 139 3050.39/3059.10 c #Conflicts: 662000 | #Constraints: 45899 3050.39/3059.10 c #Conflicts: 663000 | #Constraints: 46899 3050.39/3059.10 c #Conflicts: 664000 | #Constraints: 47899 3050.39/3059.10 c #Conflicts: 665000 | #Constraints: 48899 3050.39/3059.10 c #Conflicts: 666000 | #Constraints: 49899 3050.39/3059.10 c #Conflicts: 667000 | #Constraints: 50899 3050.39/3059.10 c #Conflicts: 668000 | #Constraints: 51899 3050.39/3059.10 c #Conflicts: 669000 | #Constraints: 52899 3050.39/3059.10 c #Conflicts: 670000 | #Constraints: 53899 3050.39/3059.10 c #Conflicts: 671000 | #Constraints: 54899 3050.39/3059.10 c #Conflicts: 672000 | #Constraints: 55900 3050.39/3059.10 c #Conflicts: 673000 | #Constraints: 56900 3050.39/3059.10 c #Conflicts: 674000 | #Constraints: 57900 3050.39/3059.10 c #Conflicts: 675000 | #Constraints: 58900 3050.39/3059.10 c #Conflicts: 676000 | #Constraints: 59900 3050.39/3059.10 c #Conflicts: 677000 | #Constraints: 60900 3050.39/3059.10 c #Conflicts: 678000 | #Constraints: 61900 3050.39/3059.10 c #Conflicts: 679000 | #Constraints: 62900 3050.39/3059.10 c #Conflicts: 680000 | #Constraints: 63900 3050.39/3059.10 c #Conflicts: 681000 | #Constraints: 64900 3050.39/3059.10 c #Conflicts: 682000 | #Constraints: 65900 3050.39/3059.10 c INPROCESSING 3050.39/3059.10 c GARBAGE COLLECT 3050.39/3059.10 c rational objective 139 3592.46/3602.76 c #Conflicts: 683000 | #Constraints: 39082 3592.46/3602.76 c #Conflicts: 684000 | #Constraints: 40082 3592.46/3602.76 c #Conflicts: 685000 | #Constraints: 41082 3592.46/3602.76 c #Conflicts: 686000 | #Constraints: 42082 3592.46/3602.76 c #Conflicts: 687000 | #Constraints: 43082 3592.46/3602.76 c #Conflicts: 688000 | #Constraints: 44082 3592.46/3602.76 c #Conflicts: 689000 | #Constraints: 45082 3592.46/3602.76 c #Conflicts: 690000 | #Constraints: 46082 3592.46/3602.76 c #Conflicts: 691000 | #Constraints: 47082 3592.46/3602.76 c #Conflicts: 692000 | #Constraints: 48082 3592.46/3602.76 c #Conflicts: 693000 | #Constraints: 49082 3592.46/3602.76 c #Conflicts: 694000 | #Constraints: 50082 3592.46/3602.76 c #Conflicts: 695000 | #Constraints: 51082 3592.46/3602.76 c #Conflicts: 696000 | #Constraints: 52082 3592.46/3602.76 c #Conflicts: 697000 | #Constraints: 53082 3592.46/3602.76 c #Conflicts: 698000 | #Constraints: 54082 3592.46/3602.76 c #Conflicts: 699000 | #Constraints: 55082 3592.46/3602.76 c #Conflicts: 700000 | #Constraints: 56082 3592.46/3602.76 c #Conflicts: 701000 | #Constraints: 57082 3592.46/3602.76 c #Conflicts: 702000 | #Constraints: 58082 3592.46/3602.76 c #Conflicts: 703000 | #Constraints: 59082 3592.46/3602.76 c #Conflicts: 704000 | #Constraints: 60082 3592.46/3602.76 c #Conflicts: 705000 | #Constraints: 61082 3592.46/3602.76 c #Conflicts: 706000 | #Constraints: 62082 3592.46/3602.76 c #Conflicts: 707000 | #Constraints: 63082 3592.46/3602.76 c #Conflicts: 708000 | #Constraints: 64082 3592.46/3602.76 c #Conflicts: 709000 | #Constraints: 65082 3592.46/3602.76 c #Conflicts: 710000 | #Constraints: 66082 3592.46/3602.76 c #Conflicts: 711000 | #Constraints: 67082 3592.46/3602.76 c #Conflicts: 712000 | #Constraints: 68082 3592.46/3602.76 c #Conflicts: 713000 | #Constraints: 69082 3592.46/3602.76 c #Conflicts: 714000 | #Constraints: 70082 3592.46/3602.76 c #Conflicts: 715000 | #Constraints: 71082 3592.46/3602.76 c #Conflicts: 716000 | #Constraints: 72082 3592.46/3602.76 c #Conflicts: 717000 | #Constraints: 73082 3592.46/3602.76 c #Conflicts: 718000 | #Constraints: 74082 3592.46/3602.76 c #Conflicts: 719000 | #Constraints: 75082 3592.46/3602.76 c #Conflicts: 720000 | #Constraints: 76082 3592.46/3602.76 c #Conflicts: 721000 | #Constraints: 77082 3592.46/3602.76 c #Conflicts: 722000 | #Constraints: 78082 3592.46/3602.76 c #Conflicts: 723000 | #Constraints: 79082 3592.46/3602.76 c #Conflicts: 724000 | #Constraints: 80082 3592.46/3602.76 c #Conflicts: 725000 | #Constraints: 81082 3592.46/3602.76 c #Conflicts: 726000 | #Constraints: 82082 3592.46/3602.76 c #Conflicts: 727000 | #Constraints: 83082 3592.46/3602.76 c #Conflicts: 728000 | #Constraints: 84082 3592.46/3602.76 c #Conflicts: 729000 | #Constraints: 85082 3592.46/3602.76 c #Conflicts: 730000 | #Constraints: 86082 3592.46/3602.76 c #Conflicts: 731000 | #Constraints: 87082 3592.46/3602.76 c #Conflicts: 732000 | #Constraints: 88082 3592.46/3602.76 c #Conflicts: 733000 | #Constraints: 89082 3592.46/3602.76 c #Conflicts: 734000 | #Constraints: 90082 3592.46/3602.76 c #Conflicts: 735000 | #Constraints: 91082 3592.46/3602.76 c #Conflicts: 736000 | #Constraints: 92082 3592.46/3602.76 c #Conflicts: 737000 | #Constraints: 93082 3592.46/3602.76 c #Conflicts: 738000 | #Constraints: 94082 3592.46/3602.76 c #Conflicts: 739000 | #Constraints: 95082 3592.46/3602.76 c #Conflicts: 740000 | #Constraints: 96082 3592.46/3602.76 c INPROCESSING 3592.46/3602.76 c GARBAGE COLLECT 3592.46/3602.76 c rational objective 139 3600.04/3610.30 c Program interrupted by user. 3600.04/3610.30 c cpu time 3582.19 s 3600.04/3610.30 c deterministic time 387131568358 3.87e+11 3600.04/3610.30 c optimization time 7.51209 s 3600.04/3610.30 c total solve time 3574.68 s 3600.04/3610.30 c core-guided solve time 1888.29 s 3600.04/3610.30 c propagation time 3111.05 s 3600.04/3610.30 c conflict analysis time 439.311 s 3600.04/3610.30 c propagations 108547808 3600.04/3610.30 c resolve steps 6365210 3600.04/3610.30 c decisions 5809579 3600.04/3610.30 c conflicts 740598 3600.04/3610.30 c restarts 1533 3600.04/3610.30 c inprocessing phases 40 3600.04/3610.30 c input clauses 302 3600.04/3610.30 c input cardinalities 305 3600.04/3610.30 c input general constraints 889 3600.04/3610.30 c input average constraint length 58.94 3600.04/3610.30 c input average constraint degree 22.35 3600.04/3610.30 c learned clauses 247562 3600.04/3610.30 c learned cardinalities 4137 3600.04/3610.30 c learned general constraints 488912 3600.04/3610.30 c learned average constraint length 205.55 3600.04/3610.30 c learned average constraint degree 9666622.64 3600.04/3610.30 c watched constraints 343516 3600.04/3610.30 c counting constraints 146285 3600.04/3610.30 c gcd simplifications 92506 3600.04/3610.30 c detected cardinalities 1915 3600.04/3610.30 c weakened non-implied lits 30595005 3600.04/3610.30 c weakened non-implying lits 68785 3600.04/3610.30 c original variables 467 3600.04/3610.30 c clausal propagations 9820246 3600.04/3610.30 c cardinality propagations 6772959 3600.04/3610.30 c watched propagations 17492739 3600.04/3610.30 c counting propagations 73051936 3600.04/3610.30 c watch lookups 58888729848 3600.04/3610.30 c watch backjump lookups 52908508365 3600.04/3610.30 c watch checks 254119826667 3600.04/3610.30 c propagation checks 20372569589 3600.04/3610.30 c constraint additions 611699667 3600.04/3610.30 c trail pops 115097570 3600.04/3610.30 c formula constraints 466 3600.04/3610.30 c learned constraints 740595 3600.04/3610.30 c bound constraints 167 3600.04/3610.30 c core-guided constraints 863 3600.04/3610.30 c encountered formula constraints 1085828 3600.04/3610.30 c encountered learned constraints 5147510 3600.04/3610.30 c encountered bound constraints 119 3600.04/3610.30 c encountered core-guided constraints 872290 3600.04/3610.30 c LP total time 40.632 s 3600.04/3610.30 c LP solve time 39.46 s 3600.04/3610.30 c LP constraints added 466 3600.04/3610.30 c LP constraints removed 0 3600.04/3610.30 c LP pivots internal 743306 3600.04/3610.30 c LP pivots root 35958 3600.04/3610.30 c LP calls 17108 3600.04/3610.30 c LP optimalities 17097 3600.04/3610.30 c LP no pivot count 1082 3600.04/3610.30 c LP infeasibilities 8 3600.04/3610.30 c LP valid Farkas constraints 8 3600.04/3610.30 c LP learned Farkas constraints 8 3600.04/3610.30 c LP basis resets 0 3600.04/3610.30 c LP cycling count 0 3600.04/3610.30 c LP singular count 0 3600.04/3610.30 c LP no primal count 0 3600.04/3610.30 c LP no farkas count 0 3600.04/3610.30 c LP other issue count 0 3600.04/3610.30 c LP Gomory cuts 0 3600.04/3610.30 c LP learned cuts 0 3600.04/3610.30 c LP deleted cuts 0 3600.04/3610.30 c LP encountered Gomory constraints 0 3600.04/3610.30 c LP encountered Farkas constraints 45 3600.04/3610.30 c LP encountered learned Farkas constraints 8 3600.04/3610.30 c CG auxiliary variables introduced 334 3600.04/3610.30 c CG solutions found 28 3600.04/3610.30 c CG cores constructed 139 3600.04/3610.30 c CG core cardinality constraints returned 0 3600.04/3610.30 c CG unit cores 0 3600.04/3610.30 c CG single cores 139 3600.04/3610.30 c CG blocks removed during cardinality reduction 0 3600.04/3610.30 c CG first core best 0 3600.04/3610.30 c CG decision core best 0 3600.04/3610.30 c CG core reduction tie 0 3600.04/3610.30 c CG core degree average 1.00 3600.04/3610.30 c CG core slack average 4.17 3600.04/3610.30 s SATISFIABLE 3600.04/3610.30 v x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 x67 x68 -x69 -x70 x71 -x72 x73 -x74 -x75 -x76 -x77 x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 x95 -x96 x97 -x98 x99 x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 x116 -x117 -x118 x119 -x120 x121 -x122 -x123 -x124 x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 x136 -x137 -x138 x139 x140 x141 -x142 x143 x144 -x145 -x146 -x147 -x148 x149 -x150 x151 -x152 -x153 x154 x155 x156 -x157 x158 -x159 -x160 -x161 -x162 x163 x164 x165 x166 x167 x168 x169 x170 -x171 x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 x180 -x181 -x182 -x183 x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 x196 -x197 -x198 x199 -x200 x201 -x202 x203 -x204 x205 -x206 x207 -x208 -x209 x210 -x211 -x212 x213 x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 x223 -x224 x225 x226 x227 -x228 x229 -x230 -x231 x232 -x233 x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 x244 x245 x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 x265 -x266 x267 x268 x269 x270 -x271 x272 -x273 x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 -x285 x286 -x287 x288 -x289 x290 -x291 x292 -x293 -x294 x295 -x296 -x297 -x298 x299 -x300 -x301 x302 -x303 -x304 -x305 x306 x307 -x308 x309 x310 x311 -x312 -x313 -x314 x315 x316 -x317 -x318 x319 x320 -x321 -x322 x323 x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 x334 -x335 x336 x337 -x338 x339 -x340 x341 x342 x343 x344 -x345 -x346 x347 x348 x349 x350 -x351 -x352 x353 x354 -x355 -x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 x378 x379 x380 -x381 -x382 -x383 x384 -x385 x386 x387 -x388 x389 x390 x391 x392 x393 -x394 -x395 x396 -x397 x398 -x399 -x400 -x401 x402 x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 x413 x414 x415 x416 x417 -x418 x419 -x420 -x421 x422 -x423 -x424 -x425 x426 -x427 -x428 x429 x430 x431 x432 -x433 -x434 x435 x436 -x437 x438 -x439 -x440 x441 x442 x443 x444 x445 x446 x447 -x448 -x449 x450 x451 x452 -x453 x454 x455 -x456 x457 -x458 x459 x460 x461 -x462 x463 -x464 x465 -x466 -x467
OK 189
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (32763 MiB free)
memory of node 1: 64510 MiB (11118 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456753-1721769317/watcher-4456753-1721769317 -o /tmp/evaluation-result-4456753-1721769317/solver-4456753-1721769317 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721765707-133405 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456753-1721769317 --lp-cut-gomory=0 HOME/instance-4456753-1721769317.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=135715, runsolver pid=135712
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 4.13 4.15 4.09 5/257 135722
/proc/meminfo: memFree=44926808/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=38844 memory=8724 CPUtime=0.09 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 632 0 0 0 9 0 0 0 20 0 1 0 13460265 39776256 2181 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 9711 2181 1759 992 0 1569 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38844 KiB
Current children cumulated memory: 8724 KiB
[startup+0.205501 s]*
/proc/loadavg: 4.13 4.15 4.09 4/255 135733
/proc/meminfo: memFree=44940112/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=40212 memory=12664 CPUtime=0.2 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 1096 0 0 0 18 2 0 0 20 0 1 0 13460265 41177088 3166 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 10053 3166 1806 992 0 1911 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40212 KiB
Current children cumulated memory: 12664 KiB
[startup+0.305306 s]*
/proc/loadavg: 4.13 4.15 4.09 5/261 135748
/proc/meminfo: memFree=44929060/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=41796 memory=14308 CPUtime=0.3 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 1504 0 0 0 27 3 0 0 20 0 1 0 13460265 42799104 3577 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 10449 3577 1822 992 0 2307 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41796 KiB
Current children cumulated memory: 14308 KiB
[startup+0.70015 s]
/proc/loadavg: 4.13 4.15 4.09 5/261 135748
/proc/meminfo: memFree=44917756/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=43068 memory=15808 CPUtime=0.69 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 1839 0 0 0 63 6 0 0 20 0 1 0 13460265 44101632 3952 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 10767 3952 1871 992 0 2625 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43068 KiB
Current children cumulated memory: 15808 KiB
[startup+1.50016 s]
/proc/loadavg: 4.13 4.15 4.09 5/261 135748
/proc/meminfo: memFree=44900368/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=46048 memory=19744 CPUtime=1.48 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 2930 0 0 0 139 9 0 0 20 0 1 0 13460265 47153152 4936 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 11512 4936 1871 992 0 3370 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46048 KiB
Current children cumulated memory: 19744 KiB
[startup+3.10558 s]
/proc/loadavg: 4.13 4.15 4.09 5/261 135748
/proc/meminfo: memFree=44846996/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=53532 memory=26868 CPUtime=3.09 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 4688 0 0 0 291 18 0 0 20 0 1 0 13460265 54816768 6717 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 13383 6717 1871 992 0 5241 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 53532 KiB
Current children cumulated memory: 26868 KiB
[startup+6.30016 s]
/proc/loadavg: 4.12 4.15 4.09 5/261 135750
/proc/meminfo: memFree=44790844/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=54344 memory=27660 CPUtime=6.27 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 4909 0 0 0 595 32 0 0 20 0 1 0 13460265 55648256 6915 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 13586 6915 1871 992 0 5444 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 54344 KiB
Current children cumulated memory: 27660 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.15 4.09 5/261 135750
/proc/meminfo: memFree=44662380/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=92000 memory=56620 CPUtime=12.65 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 9593 0 0 0 1215 50 0 0 20 0 1 0 13460265 94208000 14155 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 23000 14155 1887 992 0 14858 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 92000 KiB
Current children cumulated memory: 56620 KiB
[startup+25.5002 s]
/proc/loadavg: 4.24 4.17 4.10 5/261 135751
/proc/meminfo: memFree=44504772/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=97376 memory=62876 CPUtime=25.43 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 10629 0 0 0 2466 77 0 0 20 0 1 0 13460265 99713024 15719 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 24344 15719 1887 992 0 16202 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 97376 KiB
Current children cumulated memory: 62876 KiB
[startup+51.1057 s]
/proc/loadavg: 4.41 4.22 4.12 5/259 135756
/proc/meminfo: memFree=44259852/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=109088 memory=76568 CPUtime=50.96 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 13100 0 0 0 4964 132 0 0 20 0 1 0 13460265 111706112 19142 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 27272 19142 1887 992 0 19130 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 109088 KiB
Current children cumulated memory: 76568 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.20 4.11 5/259 135765
/proc/meminfo: memFree=43903856/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=113060 memory=80140 CPUtime=102.01 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 14054 0 0 0 10016 185 0 0 20 0 1 0 13460265 115773440 20035 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 28265 20035 1887 992 0 20123 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 113060 KiB
Current children cumulated memory: 80140 KiB
[startup+162.3 s]
/proc/loadavg: 4.52 4.29 4.15 5/259 135775
/proc/meminfo: memFree=43564688/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=201488 memory=140244 CPUtime=161.85 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 23154 0 0 0 15919 266 0 0 20 0 1 0 13460265 206323712 35061 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 50372 35061 1887 992 0 42230 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 201488 KiB
Current children cumulated memory: 140244 KiB
[startup+222.3 s]
/proc/loadavg: 4.25 4.25 4.14 5/258 135785
/proc/meminfo: memFree=43216524/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=201652 memory=140244 CPUtime=221.69 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 23193 0 0 0 21842 327 0 0 20 0 1 0 13460265 206491648 35061 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 50413 35061 1887 992 0 42271 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 201652 KiB
Current children cumulated memory: 140244 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.23 4.14 5/257 135796
/proc/meminfo: memFree=42958688/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=206212 memory=144672 CPUtime=281.52 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 24433 0 0 0 27752 400 0 0 20 0 1 0 13460265 211161088 36168 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 51553 36168 1887 992 0 43411 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 206212 KiB
Current children cumulated memory: 144672 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.22 4.14 5/260 135813
/proc/meminfo: memFree=42716764/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=208016 memory=159964 CPUtime=341.33 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 24856 0 0 0 33656 477 0 0 20 0 1 0 13460265 213008384 39991 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 52004 39991 1887 992 0 43862 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 208016 KiB
Current children cumulated memory: 159964 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.19 4.14 5/260 135824
/proc/meminfo: memFree=42515744/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=217612 memory=165948 CPUtime=401.17 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 26438 0 0 0 39599 518 0 0 20 0 1 0 13460265 222834688 41487 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 54403 41487 1887 992 0 46261 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 217612 KiB
Current children cumulated memory: 165948 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.17 4.13 5/260 135834
/proc/meminfo: memFree=42332536/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=219936 memory=167704 CPUtime=460.98 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 27089 0 0 0 45528 570 0 0 20 0 1 0 13460265 225214464 41926 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 54984 41926 1887 992 0 46842 0
################
# More data... #
################
Current children cumulated memory: 339712 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/263 137528
/proc/meminfo: memFree=16857672/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=398952 memory=341384 CPUtime=2914.06 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 54042 0 0 0 289846 1560 0 0 20 0 1 0 13460265 408526848 85346 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 99738 85346 1887 992 0 91596 0
Current children cumulated CPU time: 2914.06 s
Current children cumulated vsize: 398952 KiB
Current children cumulated memory: 341384 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/262 137539
/proc/meminfo: memFree=15605808/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=400068 memory=342720 CPUtime=2973.89 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 54776 0 0 0 295813 1576 0 0 20 0 1 0 13460265 409669632 85680 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 100017 85680 1887 992 0 91875 0
Current children cumulated CPU time: 2973.89 s
Current children cumulated vsize: 400068 KiB
Current children cumulated memory: 342720 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/261 137551
/proc/meminfo: memFree=14104332/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=400068 memory=342720 CPUtime=3033.73 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 54881 0 0 0 301764 1609 0 0 20 0 1 0 13460265 409669632 85680 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 100017 85680 1887 992 0 91875 0
Current children cumulated CPU time: 3033.73 s
Current children cumulated vsize: 400068 KiB
Current children cumulated memory: 342720 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/259 137561
/proc/meminfo: memFree=12853832/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=400068 memory=342852 CPUtime=3093.57 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 55014 0 0 0 307715 1642 0 0 20 0 1 0 13460265 409669632 85713 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 100017 85713 1887 992 0 91875 0
Current children cumulated CPU time: 3093.57 s
Current children cumulated vsize: 400068 KiB
Current children cumulated memory: 342852 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/260 137585
/proc/meminfo: memFree=11455644/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=400068 memory=342852 CPUtime=3153.41 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 55128 0 0 0 313674 1667 0 0 20 0 1 0 13460265 409669632 85713 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 100017 85713 1887 992 0 91875 0
Current children cumulated CPU time: 3153.41 s
Current children cumulated vsize: 400068 KiB
Current children cumulated memory: 342852 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.16 4.12 5/262 137822
/proc/meminfo: memFree=10425464/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=400236 memory=342876 CPUtime=3213.26 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 55254 0 0 0 319639 1687 0 0 20 0 1 0 13460265 409841664 85719 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 100059 85719 1887 992 0 91917 0
Current children cumulated CPU time: 3213.26 s
Current children cumulated vsize: 400236 KiB
Current children cumulated memory: 342876 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/262 137832
/proc/meminfo: memFree=9755368/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=400588 memory=343104 CPUtime=3273.09 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 55437 0 0 0 325601 1708 0 0 20 0 1 0 13460265 410202112 85776 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 100147 85776 1887 992 0 92005 0
Current children cumulated CPU time: 3273.09 s
Current children cumulated vsize: 400588 KiB
Current children cumulated memory: 343104 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.13 4.11 5/265 138134
/proc/meminfo: memFree=8606068/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=406216 memory=346420 CPUtime=3332.91 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 56395 0 0 0 331568 1723 0 0 20 0 1 0 13460265 415965184 86605 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 101554 86605 1887 992 0 93412 0
Current children cumulated CPU time: 3332.91 s
Current children cumulated vsize: 406216 KiB
Current children cumulated memory: 346420 KiB
[startup+3402.3 s]
/proc/loadavg: 4.25 4.17 4.12 5/265 138147
/proc/meminfo: memFree=7232068/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=411540 memory=349884 CPUtime=3392.73 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 57412 0 0 0 337538 1735 0 0 20 0 1 0 13460265 421416960 87471 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 102885 87471 1887 992 0 94743 0
Current children cumulated CPU time: 3392.73 s
Current children cumulated vsize: 411540 KiB
Current children cumulated memory: 349884 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/263 138157
/proc/meminfo: memFree=5856184/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=498788 memory=362252 CPUtime=3452.53 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 59039 0 0 0 343504 1749 0 0 20 0 1 0 13460265 510758912 90563 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 124697 90563 1887 992 0 116555 0
Current children cumulated CPU time: 3452.53 s
Current children cumulated vsize: 498788 KiB
Current children cumulated memory: 362252 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/261 138169
/proc/meminfo: memFree=4616628/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=502152 memory=373624 CPUtime=3512.32 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 59905 0 0 0 349468 1764 0 0 20 0 1 0 13460265 514203648 93406 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 125538 93406 1887 992 0 117396 0
Current children cumulated CPU time: 3512.32 s
Current children cumulated vsize: 502152 KiB
Current children cumulated memory: 373624 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/263 138181
/proc/meminfo: memFree=3472456/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=504664 memory=382388 CPUtime=3572.11 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 60668 0 0 0 355433 1778 0 0 20 0 1 0 13460265 516775936 95597 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 126166 95597 1887 992 0 118024 0
Current children cumulated CPU time: 3572.11 s
Current children cumulated vsize: 504664 KiB
Current children cumulated memory: 382388 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.41 4.21 4.13 5/263 138187
/proc/meminfo: memFree=3012716/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=506324 memory=396264 CPUtime=3600.04 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 61112 0 0 0 358219 1785 0 0 20 0 1 0 13460265 518475776 99066 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 126581 99066 1887 992 0 118439 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 506324 KiB
Current children cumulated memory: 396264 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.32 s]
# the end of solver process 135715 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.2 s, system=17.856 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.41 4.21 4.13 5/263 138187
/proc/meminfo: memFree=3012716/131524600 swapFree=131071996/131071996
[pid=135715] ppid=135712 vsize=506324 memory=396264 CPUtime=3600.04 cores=1,3
/proc/135715/stat : 135715 (roundingsat) R 135712 135715 133393 0 -1 4194304 61112 0 0 0 358219 1785 0 0 20 0 1 0 13460265 518475776 99066 134679101440 4194304 8254037 140734312517776 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 14024704 140734312526684 140734312526946 140734312526946 140734312533961 0
/proc/135715/statm: 126581 99066 1887 992 0 118439 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 506324 KiB
Current children cumulated memory: 396264 KiB
Child status: 0
Real time (s): 3610.32
CPU time (s): 3600.05
CPU user time (s): 3582.2
CPU system time (s): 17.856
CPU usage (%): 99.7156
Max. virtual memory (cumulated for all children) (KiB): 506324
Max. memory (cumulated for all children) (KiB): 396264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.2
system time used= 17.856
maximum resident set size= 396392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61128
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4613440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 100
involuntary context switches= 5203
# summary of solver processes directly reported to runsolver:
# pid: 135715
# total CPU time (s): 3600.05
# total CPU user time (s): 3582.2
# total CPU system time (s): 17.856
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.04046 second user time and 18.6926 second system time
The end
Begin job on nodeC016 at 2024-07-23 23:15:17 IDJOB=4456753 IDBENCH=147542 IDSOLVER=3085 FILE ID=nodeC016/4456753-1721769317 RUNJOBID= nodeC016-1721765707-133405 SLURM_JOB_ID= 7770673 Free space on /tmp= 890060 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456753-1721769317/watcher-4456753-1721769317 -o /tmp/evaluation-result-4456753-1721769317/solver-4456753-1721769317 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721765707-133405 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456753-1721769317 --lp-cut-gomory=0 HOME/instance-4456753-1721769317.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8940813d27fb075f4739eb458e093f9a RANDOM SEED=2007171220 nodeC016.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 : 3672.529 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.34 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 : 3662.832 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.68 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 : 3599.973 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.34 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 : 3661.859 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.68 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 : 3672.548 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.34 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 : 3674.318 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.68 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 : 3599.956 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.34 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 : 3676.914 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.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 44934780 kB MemAvailable: 129264452 kB Buffers: 195236 kB Cached: 84798284 kB SwapCached: 0 kB Active: 1301864 kB Inactive: 84373852 kB Active(anon): 1572 kB Inactive(anon): 726272 kB Active(file): 1300292 kB Inactive(file): 83647580 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 11480 kB Writeback: 352 kB AnonPages: 681976 kB Mapped: 115432 kB Shmem: 45912 kB KReclaimable: 442892 kB Slab: 558876 kB SReclaimable: 442892 kB SUnreclaim: 115984 kB KernelStack: 4156 kB PageTables: 11040 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1081260 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21056 kB HardwareCorrupted: 0 kB AnonHugePages: 610304 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: 342740 kB DirectMap2M: 36130816 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 890048 MiB End job on nodeC016 at 2024-07-24 00:15:28