| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 192 | 3600.06 | 3610.81 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb |
| MD5SUM | b5aa25dccc2460ad32c358f07bd5c94a |
| 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 | 180 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| 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 | 473 |
| Total number of constraints | 472 |
| 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 | 472 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 473 |
| 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 | 473 |
| 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 | 473 |
| 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.13 c #variables 473 #constraints 472 0.16/0.37 c bounds - >= 0 @ 0.003401 0.16/0.37 c bounds 224 >= 0 @ 0.13817 0.16/0.37 c bounds 224 >= 1 @ 0.138434 0.16/0.37 c bounds 224 >= 2 @ 0.138623 0.16/0.37 c bounds 224 >= 3 @ 0.138817 0.16/0.37 c bounds 224 >= 4 @ 0.139044 0.16/0.37 c bounds 224 >= 5 @ 0.139235 0.16/0.37 c bounds 224 >= 6 @ 0.139269 0.16/0.37 c bounds 224 >= 7 @ 0.139269 0.16/0.37 c bounds 224 >= 8 @ 0.139269 0.16/0.37 c bounds 224 >= 9 @ 0.139269 0.16/0.37 c bounds 224 >= 10 @ 0.139408 0.16/0.37 c bounds 224 >= 11 @ 0.139625 0.16/0.37 c bounds 224 >= 12 @ 0.139826 0.16/0.37 c bounds 224 >= 13 @ 0.14003 0.16/0.37 c bounds 224 >= 14 @ 0.140235 0.16/0.37 c bounds 224 >= 15 @ 0.140276 0.16/0.37 c bounds 224 >= 16 @ 0.140276 0.16/0.37 c bounds 224 >= 17 @ 0.140276 0.16/0.37 c bounds 224 >= 18 @ 0.140276 0.16/0.37 c bounds 224 >= 19 @ 0.140404 0.16/0.37 c bounds 224 >= 20 @ 0.140631 0.16/0.37 c bounds 224 >= 21 @ 0.140857 0.16/0.37 c bounds 224 >= 22 @ 0.141077 0.16/0.37 c bounds 224 >= 23 @ 0.141298 0.16/0.37 c bounds 224 >= 24 @ 0.141533 0.16/0.37 c bounds 224 >= 25 @ 0.141762 0.16/0.37 c bounds 223 >= 25 @ 0.170075 0.16/0.37 c bounds 223 >= 26 @ 0.170364 0.16/0.37 c bounds 223 >= 27 @ 0.17062 0.16/0.37 c bounds 223 >= 28 @ 0.170873 0.16/0.37 c bounds 223 >= 29 @ 0.171119 0.16/0.37 c bounds 223 >= 30 @ 0.171368 0.16/0.37 c bounds 223 >= 31 @ 0.1714 0.16/0.37 c bounds 223 >= 32 @ 0.1714 0.16/0.37 c bounds 223 >= 33 @ 0.1714 0.16/0.37 c bounds 223 >= 34 @ 0.171417 0.16/0.37 c bounds 223 >= 35 @ 0.171664 0.16/0.37 c bounds 223 >= 36 @ 0.171917 0.16/0.37 c bounds 223 >= 37 @ 0.172182 0.16/0.37 c bounds 223 >= 38 @ 0.17248 0.16/0.37 c bounds 223 >= 39 @ 0.173171 0.16/0.37 c bounds 223 >= 40 @ 0.173434 0.16/0.37 c bounds 223 >= 41 @ 0.173716 0.16/0.37 c bounds 223 >= 42 @ 0.173987 0.16/0.37 c bounds 223 >= 43 @ 0.174263 0.16/0.37 c bounds 223 >= 44 @ 0.174529 0.16/0.37 c bounds 223 >= 45 @ 0.174804 0.16/0.37 c bounds 223 >= 46 @ 0.17507 0.16/0.37 c bounds 223 >= 47 @ 0.175334 0.16/0.37 c bounds 223 >= 48 @ 0.17561 0.16/0.37 c bounds 223 >= 49 @ 0.175897 0.16/0.37 c bounds 223 >= 50 @ 0.176175 0.16/0.37 c bounds 223 >= 51 @ 0.176446 0.16/0.37 c bounds 223 >= 52 @ 0.176729 0.16/0.37 c bounds 223 >= 53 @ 0.17704 0.16/0.37 c bounds 223 >= 54 @ 0.177327 0.16/0.37 c bounds 223 >= 55 @ 0.177635 0.16/0.37 c bounds 223 >= 56 @ 0.17793 0.16/0.37 c bounds 223 >= 57 @ 0.178223 0.16/0.37 c bounds 223 >= 58 @ 0.178243 0.16/0.37 c bounds 223 >= 59 @ 0.178243 0.16/0.37 c bounds 223 >= 60 @ 0.178243 0.16/0.37 c bounds 223 >= 61 @ 0.178474 0.16/0.37 c bounds 223 >= 62 @ 0.178799 0.16/0.37 c bounds 223 >= 63 @ 0.179104 0.16/0.37 c bounds 223 >= 64 @ 0.179413 0.16/0.37 c bounds 223 >= 65 @ 0.179709 0.16/0.37 c bounds 223 >= 66 @ 0.180007 0.16/0.37 c bounds 223 >= 67 @ 0.180317 0.16/0.37 c bounds 223 >= 68 @ 0.180632 0.16/0.37 c bounds 223 >= 69 @ 0.180808 0.16/0.37 c bounds 223 >= 70 @ 0.180808 0.16/0.37 c bounds 223 >= 71 @ 0.180981 0.16/0.37 c bounds 223 >= 72 @ 0.181123 0.16/0.37 c bounds 223 >= 73 @ 0.181123 0.16/0.37 c bounds 223 >= 74 @ 0.181123 0.16/0.37 c bounds 223 >= 75 @ 0.181182 0.16/0.37 c bounds 223 >= 76 @ 0.181217 0.16/0.37 c bounds 223 >= 77 @ 0.181217 0.16/0.37 c bounds 223 >= 78 @ 0.181217 0.16/0.37 c bounds 223 >= 79 @ 0.181217 0.16/0.37 c bounds 223 >= 80 @ 0.181217 0.16/0.37 c bounds 223 >= 81 @ 0.181217 0.16/0.37 c bounds 223 >= 82 @ 0.181217 0.16/0.37 c bounds 223 >= 83 @ 0.181217 0.16/0.37 c bounds 223 >= 84 @ 0.181217 0.16/0.37 c bounds 223 >= 85 @ 0.181217 0.16/0.37 c bounds 223 >= 86 @ 0.181217 0.16/0.37 c bounds 223 >= 87 @ 0.181333 0.16/0.37 c bounds 223 >= 88 @ 0.181577 0.16/0.37 c bounds 223 >= 89 @ 0.181838 0.16/0.37 c bounds 223 >= 90 @ 0.18211 0.16/0.37 c bounds 223 >= 91 @ 0.182159 0.16/0.37 c bounds 223 >= 92 @ 0.182159 0.16/0.37 c bounds 223 >= 93 @ 0.182159 0.16/0.37 c bounds 223 >= 94 @ 0.182177 0.16/0.37 c bounds 223 >= 95 @ 0.182177 0.16/0.37 c bounds 223 >= 96 @ 0.182177 0.16/0.37 c bounds 223 >= 97 @ 0.182449 0.16/0.37 c bounds 223 >= 98 @ 0.182768 0.16/0.37 c bounds 223 >= 99 @ 0.183103 0.16/0.37 c bounds 223 >= 100 @ 0.183402 0.16/0.37 c bounds 223 >= 101 @ 0.183733 0.16/0.37 c bounds 223 >= 102 @ 0.184059 0.16/0.37 c bounds 223 >= 103 @ 0.184131 0.16/0.37 c bounds 223 >= 104 @ 0.184131 0.16/0.37 c bounds 223 >= 105 @ 0.184131 0.16/0.37 c bounds 223 >= 106 @ 0.184131 0.16/0.37 c bounds 223 >= 107 @ 0.184131 0.16/0.37 c bounds 223 >= 108 @ 0.184289 0.16/0.37 c bounds 223 >= 109 @ 0.184665 0.16/0.37 c bounds 223 >= 110 @ 0.184985 0.16/0.37 c bounds 223 >= 111 @ 0.185311 0.16/0.37 c bounds 223 >= 112 @ 0.185658 0.16/0.37 c bounds 223 >= 113 @ 0.186004 0.16/0.37 c bounds 223 >= 114 @ 0.186363 0.16/0.37 c bounds 223 >= 115 @ 0.186679 0.16/0.37 c bounds 223 >= 116 @ 0.187028 0.16/0.37 c bounds 223 >= 117 @ 0.18705 0.16/0.37 c bounds 223 >= 118 @ 0.18705 0.16/0.37 c bounds 223 >= 119 @ 0.18705 0.16/0.37 c bounds 223 >= 120 @ 0.187054 0.16/0.37 c bounds 223 >= 121 @ 0.187054 0.16/0.37 c bounds 223 >= 122 @ 0.187054 0.16/0.37 c bounds 223 >= 123 @ 0.187055 0.16/0.37 c bounds 223 >= 124 @ 0.187055 0.16/0.37 c bounds 223 >= 125 @ 0.187198 0.16/0.37 c bounds 223 >= 126 @ 0.187617 0.16/0.37 c bounds 223 >= 127 @ 0.188167 0.16/0.37 c bounds 223 >= 128 @ 0.188648 0.16/0.37 c bounds 223 >= 129 @ 0.189379 0.16/0.37 c bounds 223 >= 130 @ 0.190192 0.16/0.37 c bounds 223 >= 131 @ 0.191175 0.16/0.37 c bounds 223 >= 132 @ 0.192042 0.16/0.37 c bounds 223 >= 133 @ 0.192042 0.16/0.37 c bounds 223 >= 134 @ 0.195026 0.75/0.93 c bounds 223 >= 135 @ 0.202424 0.75/0.93 c bounds 222 >= 135 @ 0.219985 0.75/0.93 c bounds 222 >= 136 @ 0.247948 0.75/0.93 c bounds 221 >= 136 @ 0.24975 0.75/0.93 c bounds 220 >= 136 @ 0.273605 0.75/0.93 c #Conflicts: 1000 | #Constraints: 2195 0.75/0.93 c bounds 219 >= 136 @ 0.296233 0.75/0.93 c #Conflicts: 2000 | #Constraints: 3196 0.75/0.93 c INPROCESSING 0.75/0.93 c GARBAGE COLLECT 0.75/0.93 c rational objective 139.945 1.64/1.84 c bounds 218 >= 136 @ 0.720845 1.64/1.84 c bounds 217 >= 136 @ 0.72885 1.64/1.84 c bounds 216 >= 136 @ 0.740956 1.64/1.84 c bounds 215 >= 136 @ 0.74401 1.64/1.84 c bounds 214 >= 136 @ 0.748298 1.64/1.84 c bounds 213 >= 136 @ 0.807409 1.64/1.84 c #Conflicts: 3000 | #Constraints: 3105 1.64/1.84 c bounds 212 >= 136 @ 0.946077 1.64/1.84 c bounds 212 >= 137 @ 0.995647 1.64/1.84 c #Conflicts: 4000 | #Constraints: 4172 1.64/1.84 c INPROCESSING 1.64/1.84 c GARBAGE COLLECT 1.64/1.84 c rational objective 139.945 3.44/3.61 c #Conflicts: 5000 | #Constraints: 3560 3.44/3.61 c #Conflicts: 6000 | #Constraints: 4560 3.44/3.61 c INPROCESSING 3.44/3.61 c GARBAGE COLLECT 3.44/3.61 c #Conflicts: 7000 | #Constraints: 3601 3.44/3.61 c bounds 211 >= 137 @ 2.72411 3.44/3.61 c #Conflicts: 8000 | #Constraints: 4602 3.44/3.61 c #Conflicts: 9000 | #Constraints: 5602 3.44/3.61 c INPROCESSING 3.44/3.61 c GARBAGE COLLECT 3.44/3.61 c rational objective 139.945 4.54/4.76 c #Conflicts: 10000 | #Constraints: 4274 4.54/4.76 c #Conflicts: 11000 | #Constraints: 5274 4.54/4.76 c bounds 210 >= 137 @ 3.81783 4.54/4.76 c #Conflicts: 12000 | #Constraints: 6275 4.54/4.76 c INPROCESSING 4.54/4.76 c GARBAGE COLLECT 4.54/4.76 c rational objective 139.945 5.53/5.79 c bounds 209 >= 137 @ 4.58836 5.53/5.79 c #Conflicts: 13000 | #Constraints: 4770 5.53/5.79 c #Conflicts: 14000 | #Constraints: 5770 5.53/5.79 c #Conflicts: 15000 | #Constraints: 6770 5.53/5.79 c INPROCESSING 5.53/5.79 c GARBAGE COLLECT 5.53/5.79 c rational objective 139.945 7.43/7.60 c bounds 209 >= 138 @ 5.59307 7.43/7.60 c #Conflicts: 16000 | #Constraints: 5016 7.43/7.60 c #Conflicts: 17000 | #Constraints: 6016 7.43/7.60 c #Conflicts: 18000 | #Constraints: 7016 7.43/7.60 c INPROCESSING 7.43/7.60 c GARBAGE COLLECT 7.43/7.60 c rational objective 139.945 8.63/8.83 c #Conflicts: 19000 | #Constraints: 5050 8.63/8.83 c bounds 208 >= 138 @ 7.32171 8.63/8.83 c bounds 207 >= 138 @ 7.37241 8.63/8.83 c bounds 206 >= 138 @ 7.50633 8.63/8.83 c #Conflicts: 20000 | #Constraints: 6053 8.63/8.83 c bounds 205 >= 138 @ 7.66526 8.63/8.83 c bounds 204 >= 138 @ 7.9281 8.63/8.83 c #Conflicts: 21000 | #Constraints: 7055 8.63/8.83 c INPROCESSING 8.63/8.83 c GARBAGE COLLECT 8.63/8.83 c rational objective 139.945 10.62/10.83 c #Conflicts: 22000 | #Constraints: 4826 10.62/10.83 c bounds 203 >= 138 @ 8.66592 10.62/10.83 c #Conflicts: 23000 | #Constraints: 5827 10.62/10.83 c #Conflicts: 24000 | #Constraints: 6827 10.62/10.83 c #Conflicts: 25000 | #Constraints: 7827 10.62/10.83 c INPROCESSING 10.62/10.83 c GARBAGE COLLECT 10.62/10.83 c rational objective 139.945 12.22/12.43 c bounds 202 >= 138 @ 10.1842 12.22/12.43 c bounds 201 >= 138 @ 10.2407 12.22/12.43 c #Conflicts: 26000 | #Constraints: 5470 12.22/12.43 c #Conflicts: 27000 | #Constraints: 6470 12.22/12.43 c bounds 200 >= 138 @ 10.9395 12.22/12.43 c #Conflicts: 28000 | #Constraints: 7471 12.22/12.43 c #Conflicts: 29000 | #Constraints: 8471 12.22/12.43 c INPROCESSING 12.22/12.43 c GARBAGE COLLECT 12.22/12.43 c rational objective 139.945 14.61/14.89 c #Conflicts: 30000 | #Constraints: 5838 14.61/14.89 c bounds 199 >= 138 @ 12.511 14.61/14.89 c #Conflicts: 31000 | #Constraints: 6839 14.61/14.89 c #Conflicts: 32000 | #Constraints: 7839 14.61/14.89 c #Conflicts: 33000 | #Constraints: 8839 14.61/14.89 c INPROCESSING 14.61/14.89 c GARBAGE COLLECT 14.61/14.89 c rational objective 139.945 16.51/16.79 c bounds 198 >= 138 @ 14.1156 16.51/16.79 c #Conflicts: 34000 | #Constraints: 6081 16.51/16.79 c #Conflicts: 35000 | #Constraints: 7081 16.51/16.79 c #Conflicts: 36000 | #Constraints: 8081 16.51/16.79 c #Conflicts: 37000 | #Constraints: 9081 16.51/16.79 c INPROCESSING 16.51/16.79 c GARBAGE COLLECT 16.51/16.79 c rational objective 139.945 18.70/18.99 c #Conflicts: 38000 | #Constraints: 6051 18.70/18.99 c #Conflicts: 39000 | #Constraints: 7051 18.70/18.99 c bounds 198 >= 139 @ 17.1026 18.70/18.99 c #Conflicts: 40000 | #Constraints: 8108 18.70/18.99 c #Conflicts: 41000 | #Constraints: 9108 18.70/18.99 c INPROCESSING 18.70/18.99 c GARBAGE COLLECT 18.70/18.99 c rational objective 139.945 21.80/22.06 c #Conflicts: 42000 | #Constraints: 5886 21.80/22.06 c #Conflicts: 43000 | #Constraints: 6886 21.80/22.06 c #Conflicts: 44000 | #Constraints: 7886 21.80/22.06 c #Conflicts: 45000 | #Constraints: 8886 21.80/22.06 c #Conflicts: 46000 | #Constraints: 9886 21.80/22.06 c INPROCESSING 21.80/22.06 c GARBAGE COLLECT 21.80/22.06 c rational objective 139.945 44.01/44.36 c #Conflicts: 47000 | #Constraints: 6545 44.01/44.36 c #Conflicts: 48000 | #Constraints: 7545 44.01/44.36 c #Conflicts: 49000 | #Constraints: 8545 44.01/44.36 c #Conflicts: 50000 | #Constraints: 9545 44.01/44.36 c #Conflicts: 51000 | #Constraints: 10545 44.01/44.36 c #Conflicts: 52000 | #Constraints: 11545 44.01/44.36 c bounds 197 >= 139 @ 25.5975 44.01/44.36 c #Conflicts: 53000 | #Constraints: 12546 44.01/44.36 c #Conflicts: 54000 | #Constraints: 13546 44.01/44.36 c #Conflicts: 55000 | #Constraints: 14546 44.01/44.36 c #Conflicts: 56000 | #Constraints: 15546 44.01/44.36 c #Conflicts: 57000 | #Constraints: 16546 44.01/44.36 c #Conflicts: 58000 | #Constraints: 17546 44.01/44.36 c #Conflicts: 59000 | #Constraints: 18546 44.01/44.36 c #Conflicts: 60000 | #Constraints: 19546 44.01/44.36 c #Conflicts: 61000 | #Constraints: 20546 44.01/44.36 c #Conflicts: 62000 | #Constraints: 21546 44.01/44.36 c bounds 197 >= 140 @ 40.7303 44.01/44.36 c #Conflicts: 63000 | #Constraints: 22603 44.01/44.36 c #Conflicts: 64000 | #Constraints: 23603 44.01/44.36 c bounds 196 >= 140 @ 42.4232 44.01/44.36 c INPROCESSING 44.01/44.36 c GARBAGE COLLECT 44.01/44.36 c rational objective 140 48.10/48.40 c #Conflicts: 65000 | #Constraints: 13216 48.10/48.40 c #Conflicts: 66000 | #Constraints: 14216 48.10/48.40 c #Conflicts: 67000 | #Constraints: 15216 48.10/48.40 c #Conflicts: 68000 | #Constraints: 16216 48.10/48.40 c #Conflicts: 69000 | #Constraints: 17216 48.10/48.40 c #Conflicts: 70000 | #Constraints: 18216 48.10/48.40 c INPROCESSING 48.10/48.40 c GARBAGE COLLECT 48.10/48.40 c rational objective 140 52.28/52.65 c #Conflicts: 71000 | #Constraints: 10579 52.28/52.65 c #Conflicts: 72000 | #Constraints: 11579 52.28/52.65 c #Conflicts: 73000 | #Constraints: 12579 52.28/52.65 c bounds 195 >= 140 @ 48.5846 52.28/52.65 c #Conflicts: 74000 | #Constraints: 13580 52.28/52.65 c #Conflicts: 75000 | #Constraints: 14580 52.28/52.65 c #Conflicts: 76000 | #Constraints: 15580 52.28/52.65 c INPROCESSING 52.28/52.65 c GARBAGE COLLECT 52.28/52.65 c rational objective 140 57.07/57.47 c #Conflicts: 77000 | #Constraints: 9214 57.07/57.47 c #Conflicts: 78000 | #Constraints: 10214 57.07/57.47 c #Conflicts: 79000 | #Constraints: 11214 57.07/57.47 c #Conflicts: 80000 | #Constraints: 12214 57.07/57.47 c #Conflicts: 81000 | #Constraints: 13214 57.07/57.47 c #Conflicts: 82000 | #Constraints: 14214 57.07/57.47 c INPROCESSING 57.07/57.47 c GARBAGE COLLECT 57.07/57.47 c rational objective 140 63.65/64.04 c #Conflicts: 83000 | #Constraints: 8374 63.65/64.04 c #Conflicts: 84000 | #Constraints: 9374 63.65/64.04 c #Conflicts: 85000 | #Constraints: 10374 63.65/64.04 c #Conflicts: 86000 | #Constraints: 11374 63.65/64.04 c #Conflicts: 87000 | #Constraints: 12374 63.65/64.04 c #Conflicts: 88000 | #Constraints: 13374 63.65/64.04 c #Conflicts: 89000 | #Constraints: 14374 63.65/64.04 c INPROCESSING 63.65/64.04 c GARBAGE COLLECT 63.65/64.04 c rational objective 140 136.09/136.70 c #Conflicts: 90000 | #Constraints: 8765 136.09/136.70 c #Conflicts: 91000 | #Constraints: 9765 136.09/136.70 c #Conflicts: 92000 | #Constraints: 10765 136.09/136.70 c #Conflicts: 93000 | #Constraints: 11765 136.09/136.70 c #Conflicts: 94000 | #Constraints: 12765 136.09/136.70 c #Conflicts: 95000 | #Constraints: 13765 136.09/136.70 c #Conflicts: 96000 | #Constraints: 14765 136.09/136.70 c #Conflicts: 97000 | #Constraints: 15765 136.09/136.70 c #Conflicts: 98000 | #Constraints: 16765 136.09/136.70 c #Conflicts: 99000 | #Constraints: 17765 136.09/136.70 c #Conflicts: 100000 | #Constraints: 18765 136.09/136.70 c #Conflicts: 101000 | #Constraints: 19765 136.09/136.70 c #Conflicts: 102000 | #Constraints: 20765 136.09/136.70 c #Conflicts: 103000 | #Constraints: 21765 136.09/136.70 c #Conflicts: 104000 | #Constraints: 22765 136.09/136.70 c #Conflicts: 105000 | #Constraints: 23765 136.09/136.70 c #Conflicts: 106000 | #Constraints: 24765 136.09/136.70 c #Conflicts: 107000 | #Constraints: 25765 136.09/136.70 c #Conflicts: 108000 | #Constraints: 26765 136.09/136.70 c #Conflicts: 109000 | #Constraints: 27765 136.09/136.70 c #Conflicts: 110000 | #Constraints: 28765 136.09/136.70 c #Conflicts: 111000 | #Constraints: 29765 136.09/136.70 c #Conflicts: 112000 | #Constraints: 30765 136.09/136.70 c #Conflicts: 113000 | #Constraints: 31765 136.09/136.70 c #Conflicts: 114000 | #Constraints: 32765 136.09/136.70 c INPROCESSING 136.09/136.70 c GARBAGE COLLECT 136.09/136.70 c rational objective 140 166.59/167.34 c #Conflicts: 115000 | #Constraints: 18052 166.59/167.34 c #Conflicts: 116000 | #Constraints: 19052 166.59/167.34 c #Conflicts: 117000 | #Constraints: 20052 166.59/167.34 c #Conflicts: 118000 | #Constraints: 21052 166.59/167.34 c #Conflicts: 119000 | #Constraints: 22052 166.59/167.34 c #Conflicts: 120000 | #Constraints: 23052 166.59/167.34 c #Conflicts: 121000 | #Constraints: 24052 166.59/167.34 c INPROCESSING 166.59/167.34 c GARBAGE COLLECT 166.59/167.34 c rational objective 140 180.64/181.41 c #Conflicts: 122000 | #Constraints: 13363 180.64/181.41 c #Conflicts: 123000 | #Constraints: 14363 180.64/181.41 c #Conflicts: 124000 | #Constraints: 15363 180.64/181.41 c #Conflicts: 125000 | #Constraints: 16363 180.64/181.41 c #Conflicts: 126000 | #Constraints: 17363 180.64/181.41 c #Conflicts: 127000 | #Constraints: 18363 180.64/181.41 c #Conflicts: 128000 | #Constraints: 19363 180.64/181.41 c #Conflicts: 129000 | #Constraints: 20363 180.64/181.41 c INPROCESSING 180.64/181.41 c GARBAGE COLLECT 180.64/181.41 c rational objective 140 193.20/194.04 c #Conflicts: 130000 | #Constraints: 11524 193.20/194.04 c #Conflicts: 131000 | #Constraints: 12524 193.20/194.04 c #Conflicts: 132000 | #Constraints: 13524 193.20/194.04 c #Conflicts: 133000 | #Constraints: 14524 193.20/194.04 c #Conflicts: 134000 | #Constraints: 15524 193.20/194.04 c #Conflicts: 135000 | #Constraints: 16524 193.20/194.04 c #Conflicts: 136000 | #Constraints: 17524 193.20/194.04 c #Conflicts: 137000 | #Constraints: 18524 193.20/194.04 c #Conflicts: 138000 | #Constraints: 19524 193.20/194.04 c INPROCESSING 193.20/194.04 c GARBAGE COLLECT 193.20/194.04 c rational objective 140 267.77/268.80 c #Conflicts: 139000 | #Constraints: 11510 267.77/268.80 c #Conflicts: 140000 | #Constraints: 12510 267.77/268.80 c #Conflicts: 141000 | #Constraints: 13510 267.77/268.80 c #Conflicts: 142000 | #Constraints: 14510 267.77/268.80 c #Conflicts: 143000 | #Constraints: 15510 267.77/268.80 c #Conflicts: 144000 | #Constraints: 16510 267.77/268.80 c #Conflicts: 145000 | #Constraints: 17510 267.77/268.80 c #Conflicts: 146000 | #Constraints: 18510 267.77/268.80 c #Conflicts: 147000 | #Constraints: 19510 267.77/268.80 c #Conflicts: 148000 | #Constraints: 20510 267.77/268.80 c #Conflicts: 149000 | #Constraints: 21510 267.77/268.80 c #Conflicts: 150000 | #Constraints: 22510 267.77/268.80 c #Conflicts: 151000 | #Constraints: 23510 267.77/268.80 c #Conflicts: 152000 | #Constraints: 24510 267.77/268.80 c #Conflicts: 153000 | #Constraints: 25510 267.77/268.80 c #Conflicts: 154000 | #Constraints: 26510 267.77/268.80 c bounds 195 >= 141 @ 222.748 267.77/268.80 c #Conflicts: 155000 | #Constraints: 27552 267.77/268.80 c #Conflicts: 156000 | #Constraints: 28552 267.77/268.80 c #Conflicts: 157000 | #Constraints: 29552 267.77/268.80 c #Conflicts: 158000 | #Constraints: 30552 267.77/268.80 c #Conflicts: 159000 | #Constraints: 31552 267.77/268.80 c #Conflicts: 160000 | #Constraints: 32552 267.77/268.80 c #Conflicts: 161000 | #Constraints: 33552 267.77/268.80 c #Conflicts: 162000 | #Constraints: 34552 267.77/268.80 c #Conflicts: 163000 | #Constraints: 35552 267.77/268.80 c #Conflicts: 164000 | #Constraints: 36552 267.77/268.80 c #Conflicts: 165000 | #Constraints: 37552 267.77/268.80 c #Conflicts: 166000 | #Constraints: 38552 267.77/268.80 c #Conflicts: 167000 | #Constraints: 39552 267.77/268.80 c #Conflicts: 168000 | #Constraints: 40552 267.77/268.80 c INPROCESSING 267.77/268.80 c GARBAGE COLLECT 267.77/268.80 c rational objective 141 280.23/281.32 c #Conflicts: 169000 | #Constraints: 22035 280.23/281.32 c #Conflicts: 170000 | #Constraints: 23035 280.23/281.32 c #Conflicts: 171000 | #Constraints: 24035 280.23/281.32 c #Conflicts: 172000 | #Constraints: 25035 280.23/281.32 c #Conflicts: 173000 | #Constraints: 26035 280.23/281.32 c #Conflicts: 174000 | #Constraints: 27035 280.23/281.32 c #Conflicts: 175000 | #Constraints: 28035 280.23/281.32 c #Conflicts: 176000 | #Constraints: 29035 280.23/281.32 c #Conflicts: 177000 | #Constraints: 30035 280.23/281.32 c INPROCESSING 280.23/281.32 c GARBAGE COLLECT 280.23/281.32 c rational objective 141 298.29/299.44 c #Conflicts: 178000 | #Constraints: 16465 298.29/299.44 c #Conflicts: 179000 | #Constraints: 17465 298.29/299.44 c #Conflicts: 180000 | #Constraints: 18465 298.29/299.44 c #Conflicts: 181000 | #Constraints: 19465 298.29/299.44 c #Conflicts: 182000 | #Constraints: 20465 298.29/299.44 c #Conflicts: 183000 | #Constraints: 21465 298.29/299.44 c #Conflicts: 184000 | #Constraints: 22465 298.29/299.44 c #Conflicts: 185000 | #Constraints: 23465 298.29/299.44 c #Conflicts: 186000 | #Constraints: 24465 298.29/299.44 c #Conflicts: 187000 | #Constraints: 25465 298.29/299.44 c INPROCESSING 298.29/299.44 c GARBAGE COLLECT 298.29/299.44 c rational objective 141 402.01/403.45 c #Conflicts: 188000 | #Constraints: 14999 402.01/403.45 c #Conflicts: 189000 | #Constraints: 15999 402.01/403.45 c #Conflicts: 190000 | #Constraints: 16999 402.01/403.45 c #Conflicts: 191000 | #Constraints: 17999 402.01/403.45 c #Conflicts: 192000 | #Constraints: 18999 402.01/403.45 c #Conflicts: 193000 | #Constraints: 19999 402.01/403.45 c #Conflicts: 194000 | #Constraints: 20999 402.01/403.45 c #Conflicts: 195000 | #Constraints: 21999 402.01/403.45 c #Conflicts: 196000 | #Constraints: 22999 402.01/403.45 c #Conflicts: 197000 | #Constraints: 23999 402.01/403.45 c #Conflicts: 198000 | #Constraints: 24999 402.01/403.45 c #Conflicts: 199000 | #Constraints: 25999 402.01/403.45 c #Conflicts: 200000 | #Constraints: 26999 402.01/403.45 c #Conflicts: 201000 | #Constraints: 27999 402.01/403.45 c #Conflicts: 202000 | #Constraints: 28999 402.01/403.45 c #Conflicts: 203000 | #Constraints: 29999 402.01/403.45 c #Conflicts: 204000 | #Constraints: 30999 402.01/403.45 c #Conflicts: 205000 | #Constraints: 31999 402.01/403.45 c #Conflicts: 206000 | #Constraints: 32999 402.01/403.45 c #Conflicts: 207000 | #Constraints: 33999 402.01/403.45 c #Conflicts: 208000 | #Constraints: 34999 402.01/403.45 c #Conflicts: 209000 | #Constraints: 35999 402.01/403.45 c #Conflicts: 210000 | #Constraints: 36999 402.01/403.45 c #Conflicts: 211000 | #Constraints: 37999 402.01/403.45 c #Conflicts: 212000 | #Constraints: 38999 402.01/403.45 c #Conflicts: 213000 | #Constraints: 39999 402.01/403.45 c #Conflicts: 214000 | #Constraints: 40999 402.01/403.45 c #Conflicts: 215000 | #Constraints: 41999 402.01/403.45 c #Conflicts: 216000 | #Constraints: 42999 402.01/403.45 c #Conflicts: 217000 | #Constraints: 43999 402.01/403.45 c #Conflicts: 218000 | #Constraints: 44999 402.01/403.45 c #Conflicts: 219000 | #Constraints: 45999 402.01/403.45 c #Conflicts: 220000 | #Constraints: 46999 402.01/403.45 c #Conflicts: 221000 | #Constraints: 47999 402.01/403.45 c INPROCESSING 402.01/403.45 c GARBAGE COLLECT 402.01/403.45 c rational objective 141 464.13/465.71 c #Conflicts: 222000 | #Constraints: 25513 464.13/465.71 c #Conflicts: 223000 | #Constraints: 26513 464.13/465.71 c #Conflicts: 224000 | #Constraints: 27513 464.13/465.71 c #Conflicts: 225000 | #Constraints: 28513 464.13/465.71 c #Conflicts: 226000 | #Constraints: 29513 464.13/465.71 c #Conflicts: 227000 | #Constraints: 30513 464.13/465.71 c #Conflicts: 228000 | #Constraints: 31513 464.13/465.71 c #Conflicts: 229000 | #Constraints: 32513 464.13/465.71 c #Conflicts: 230000 | #Constraints: 33513 464.13/465.71 c #Conflicts: 231000 | #Constraints: 34513 464.13/465.71 c #Conflicts: 232000 | #Constraints: 35513 464.13/465.71 c INPROCESSING 464.13/465.71 c GARBAGE COLLECT 464.13/465.71 c rational objective 141 493.54/495.23 c #Conflicts: 233000 | #Constraints: 19318 493.54/495.23 c #Conflicts: 234000 | #Constraints: 20318 493.54/495.23 c #Conflicts: 235000 | #Constraints: 21318 493.54/495.23 c #Conflicts: 236000 | #Constraints: 22318 493.54/495.23 c #Conflicts: 237000 | #Constraints: 23318 493.54/495.23 c #Conflicts: 238000 | #Constraints: 24318 493.54/495.23 c #Conflicts: 239000 | #Constraints: 25318 493.54/495.23 c #Conflicts: 240000 | #Constraints: 26318 493.54/495.23 c #Conflicts: 241000 | #Constraints: 27318 493.54/495.23 c #Conflicts: 242000 | #Constraints: 28318 493.54/495.23 c #Conflicts: 243000 | #Constraints: 29318 493.54/495.23 c INPROCESSING 493.54/495.23 c GARBAGE COLLECT 493.54/495.23 c rational objective 141 632.26/634.32 c #Conflicts: 244000 | #Constraints: 16975 632.26/634.32 c #Conflicts: 245000 | #Constraints: 17975 632.26/634.32 c #Conflicts: 246000 | #Constraints: 18975 632.26/634.32 c #Conflicts: 247000 | #Constraints: 19975 632.26/634.32 c #Conflicts: 248000 | #Constraints: 20975 632.26/634.32 c #Conflicts: 249000 | #Constraints: 21975 632.26/634.32 c #Conflicts: 250000 | #Constraints: 22975 632.26/634.32 c #Conflicts: 251000 | #Constraints: 23975 632.26/634.32 c #Conflicts: 252000 | #Constraints: 24975 632.26/634.32 c #Conflicts: 253000 | #Constraints: 25975 632.26/634.32 c #Conflicts: 254000 | #Constraints: 26975 632.26/634.32 c #Conflicts: 255000 | #Constraints: 27975 632.26/634.32 c #Conflicts: 256000 | #Constraints: 28975 632.26/634.32 c #Conflicts: 257000 | #Constraints: 29975 632.26/634.32 c #Conflicts: 258000 | #Constraints: 30975 632.26/634.32 c #Conflicts: 259000 | #Constraints: 31975 632.26/634.32 c #Conflicts: 260000 | #Constraints: 32975 632.26/634.32 c #Conflicts: 261000 | #Constraints: 33975 632.26/634.32 c #Conflicts: 262000 | #Constraints: 34975 632.26/634.32 c #Conflicts: 263000 | #Constraints: 35975 632.26/634.32 c #Conflicts: 264000 | #Constraints: 36975 632.26/634.32 c #Conflicts: 265000 | #Constraints: 37975 632.26/634.32 c #Conflicts: 266000 | #Constraints: 38975 632.26/634.32 c #Conflicts: 267000 | #Constraints: 39975 632.26/634.32 c #Conflicts: 268000 | #Constraints: 40975 632.26/634.32 c #Conflicts: 269000 | #Constraints: 41975 632.26/634.32 c #Conflicts: 270000 | #Constraints: 42975 632.26/634.32 c #Conflicts: 271000 | #Constraints: 43975 632.26/634.32 c #Conflicts: 272000 | #Constraints: 44975 632.26/634.32 c #Conflicts: 273000 | #Constraints: 45975 632.26/634.32 c #Conflicts: 274000 | #Constraints: 46975 632.26/634.32 c #Conflicts: 275000 | #Constraints: 47975 632.26/634.32 c #Conflicts: 276000 | #Constraints: 48975 632.26/634.32 c #Conflicts: 277000 | #Constraints: 49975 632.26/634.32 c #Conflicts: 278000 | #Constraints: 50975 632.26/634.32 c bounds 195 >= 142 @ 620.196 632.26/634.32 c #Conflicts: 279000 | #Constraints: 52023 632.26/634.32 c #Conflicts: 280000 | #Constraints: 53023 632.26/634.32 c #Conflicts: 281000 | #Constraints: 54023 632.26/634.32 c #Conflicts: 282000 | #Constraints: 55023 632.26/634.32 c INPROCESSING 632.26/634.32 c GARBAGE COLLECT 632.26/634.32 c rational objective 142 658.88/661.10 c #Conflicts: 283000 | #Constraints: 29233 658.88/661.10 c #Conflicts: 284000 | #Constraints: 30233 658.88/661.10 c #Conflicts: 285000 | #Constraints: 31233 658.88/661.10 c #Conflicts: 286000 | #Constraints: 32233 658.88/661.10 c #Conflicts: 287000 | #Constraints: 33233 658.88/661.10 c #Conflicts: 288000 | #Constraints: 34233 658.88/661.10 c #Conflicts: 289000 | #Constraints: 35233 658.88/661.10 c #Conflicts: 290000 | #Constraints: 36233 658.88/661.10 c #Conflicts: 291000 | #Constraints: 37233 658.88/661.10 c #Conflicts: 292000 | #Constraints: 38233 658.88/661.10 c #Conflicts: 293000 | #Constraints: 39233 658.88/661.10 c #Conflicts: 294000 | #Constraints: 40233 658.88/661.10 c INPROCESSING 658.88/661.10 c GARBAGE COLLECT 658.88/661.10 c rational objective 142 683.81/686.01 c #Conflicts: 295000 | #Constraints: 21595 683.81/686.01 c #Conflicts: 296000 | #Constraints: 22595 683.81/686.01 c #Conflicts: 297000 | #Constraints: 23595 683.81/686.01 c #Conflicts: 298000 | #Constraints: 24595 683.81/686.01 c #Conflicts: 299000 | #Constraints: 25595 683.81/686.01 c #Conflicts: 300000 | #Constraints: 26595 683.81/686.01 c #Conflicts: 301000 | #Constraints: 27595 683.81/686.01 c #Conflicts: 302000 | #Constraints: 28595 683.81/686.01 c #Conflicts: 303000 | #Constraints: 29595 683.81/686.01 c #Conflicts: 304000 | #Constraints: 30595 683.81/686.01 c #Conflicts: 305000 | #Constraints: 31595 683.81/686.01 c #Conflicts: 306000 | #Constraints: 32595 683.81/686.01 c #Conflicts: 307000 | #Constraints: 33595 683.81/686.01 c INPROCESSING 683.81/686.01 c GARBAGE COLLECT 683.81/686.01 c rational objective 142 865.98/868.71 c #Conflicts: 308000 | #Constraints: 19896 865.98/868.71 c #Conflicts: 309000 | #Constraints: 20896 865.98/868.71 c #Conflicts: 310000 | #Constraints: 21896 865.98/868.71 c #Conflicts: 311000 | #Constraints: 22896 865.98/868.71 c #Conflicts: 312000 | #Constraints: 23896 865.98/868.71 c #Conflicts: 313000 | #Constraints: 24896 865.98/868.71 c #Conflicts: 314000 | #Constraints: 25896 865.98/868.71 c #Conflicts: 315000 | #Constraints: 26896 865.98/868.71 c #Conflicts: 316000 | #Constraints: 27896 865.98/868.71 c #Conflicts: 317000 | #Constraints: 28896 865.98/868.71 c #Conflicts: 318000 | #Constraints: 29896 865.98/868.71 c #Conflicts: 319000 | #Constraints: 30896 865.98/868.71 c #Conflicts: 320000 | #Constraints: 31896 865.98/868.71 c #Conflicts: 321000 | #Constraints: 32896 865.98/868.71 c #Conflicts: 322000 | #Constraints: 33896 865.98/868.71 c #Conflicts: 323000 | #Constraints: 34896 865.98/868.71 c #Conflicts: 324000 | #Constraints: 35896 865.98/868.71 c #Conflicts: 325000 | #Constraints: 36896 865.98/868.71 c #Conflicts: 326000 | #Constraints: 37896 865.98/868.71 c #Conflicts: 327000 | #Constraints: 38896 865.98/868.71 c #Conflicts: 328000 | #Constraints: 39896 865.98/868.71 c #Conflicts: 329000 | #Constraints: 40896 865.98/868.71 c #Conflicts: 330000 | #Constraints: 41896 865.98/868.71 c #Conflicts: 331000 | #Constraints: 42896 865.98/868.71 c #Conflicts: 332000 | #Constraints: 43896 865.98/868.71 c #Conflicts: 333000 | #Constraints: 44896 865.98/868.71 c #Conflicts: 334000 | #Constraints: 45896 865.98/868.71 c #Conflicts: 335000 | #Constraints: 46896 865.98/868.71 c #Conflicts: 336000 | #Constraints: 47896 865.98/868.71 c #Conflicts: 337000 | #Constraints: 48896 865.98/868.71 c #Conflicts: 338000 | #Constraints: 49896 865.98/868.71 c #Conflicts: 339000 | #Constraints: 50896 865.98/868.71 c #Conflicts: 340000 | #Constraints: 51896 865.98/868.71 c #Conflicts: 341000 | #Constraints: 52896 865.98/868.71 c #Conflicts: 342000 | #Constraints: 53896 865.98/868.71 c #Conflicts: 343000 | #Constraints: 54896 865.98/868.71 c #Conflicts: 344000 | #Constraints: 55896 865.98/868.71 c #Conflicts: 345000 | #Constraints: 56896 865.98/868.71 c #Conflicts: 346000 | #Constraints: 57896 865.98/868.71 c #Conflicts: 347000 | #Constraints: 58896 865.98/868.71 c #Conflicts: 348000 | #Constraints: 59896 865.98/868.71 c #Conflicts: 349000 | #Constraints: 60896 865.98/868.71 c INPROCESSING 865.98/868.71 c GARBAGE COLLECT 865.98/868.71 c rational objective 142 973.89/976.97 c #Conflicts: 350000 | #Constraints: 31777 973.89/976.97 c #Conflicts: 351000 | #Constraints: 32777 973.89/976.97 c #Conflicts: 352000 | #Constraints: 33777 973.89/976.97 c #Conflicts: 353000 | #Constraints: 34777 973.89/976.97 c #Conflicts: 354000 | #Constraints: 35777 973.89/976.97 c #Conflicts: 355000 | #Constraints: 36777 973.89/976.97 c #Conflicts: 356000 | #Constraints: 37777 973.89/976.97 c #Conflicts: 357000 | #Constraints: 38777 973.89/976.97 c #Conflicts: 358000 | #Constraints: 39777 973.89/976.97 c #Conflicts: 359000 | #Constraints: 40777 973.89/976.97 c #Conflicts: 360000 | #Constraints: 41777 973.89/976.97 c #Conflicts: 361000 | #Constraints: 42777 973.89/976.97 c #Conflicts: 362000 | #Constraints: 43777 973.89/976.97 c #Conflicts: 363000 | #Constraints: 44777 973.89/976.97 c INPROCESSING 973.89/976.97 c GARBAGE COLLECT 973.89/976.97 c rational objective 142 1014.58/1017.75 c #Conflicts: 364000 | #Constraints: 23772 1014.58/1017.75 c #Conflicts: 365000 | #Constraints: 24772 1014.58/1017.75 c #Conflicts: 366000 | #Constraints: 25772 1014.58/1017.75 c #Conflicts: 367000 | #Constraints: 26772 1014.58/1017.75 c #Conflicts: 368000 | #Constraints: 27772 1014.58/1017.75 c #Conflicts: 369000 | #Constraints: 28772 1014.58/1017.75 c #Conflicts: 370000 | #Constraints: 29772 1014.58/1017.75 c #Conflicts: 371000 | #Constraints: 30772 1014.58/1017.75 c #Conflicts: 372000 | #Constraints: 31772 1014.58/1017.75 c #Conflicts: 373000 | #Constraints: 32772 1014.58/1017.75 c #Conflicts: 374000 | #Constraints: 33772 1014.58/1017.75 c #Conflicts: 375000 | #Constraints: 34772 1014.58/1017.75 c #Conflicts: 376000 | #Constraints: 35772 1014.58/1017.75 c #Conflicts: 377000 | #Constraints: 36772 1014.58/1017.75 c #Conflicts: 378000 | #Constraints: 37772 1014.58/1017.75 c INPROCESSING 1014.58/1017.75 c GARBAGE COLLECT 1014.58/1017.75 c rational objective 142 1230.99/1234.72 c #Conflicts: 379000 | #Constraints: 23207 1230.99/1234.72 c #Conflicts: 380000 | #Constraints: 24207 1230.99/1234.72 c #Conflicts: 381000 | #Constraints: 25207 1230.99/1234.72 c #Conflicts: 382000 | #Constraints: 26207 1230.99/1234.72 c #Conflicts: 383000 | #Constraints: 27207 1230.99/1234.72 c #Conflicts: 384000 | #Constraints: 28207 1230.99/1234.72 c #Conflicts: 385000 | #Constraints: 29207 1230.99/1234.72 c #Conflicts: 386000 | #Constraints: 30207 1230.99/1234.72 c #Conflicts: 387000 | #Constraints: 31207 1230.99/1234.72 c #Conflicts: 388000 | #Constraints: 32207 1230.99/1234.72 c #Conflicts: 389000 | #Constraints: 33207 1230.99/1234.72 c #Conflicts: 390000 | #Constraints: 34207 1230.99/1234.72 c #Conflicts: 391000 | #Constraints: 35207 1230.99/1234.72 c #Conflicts: 392000 | #Constraints: 36207 1230.99/1234.72 c #Conflicts: 393000 | #Constraints: 37207 1230.99/1234.72 c #Conflicts: 394000 | #Constraints: 38207 1230.99/1234.72 c #Conflicts: 395000 | #Constraints: 39207 1230.99/1234.72 c #Conflicts: 396000 | #Constraints: 40207 1230.99/1234.72 c #Conflicts: 397000 | #Constraints: 41207 1230.99/1234.72 c #Conflicts: 398000 | #Constraints: 42207 1230.99/1234.72 c #Conflicts: 399000 | #Constraints: 43207 1230.99/1234.72 c #Conflicts: 400000 | #Constraints: 44207 1230.99/1234.72 c #Conflicts: 401000 | #Constraints: 45207 1230.99/1234.72 c #Conflicts: 402000 | #Constraints: 46207 1230.99/1234.72 c #Conflicts: 403000 | #Constraints: 47207 1230.99/1234.72 c #Conflicts: 404000 | #Constraints: 48207 1230.99/1234.72 c #Conflicts: 405000 | #Constraints: 49207 1230.99/1234.72 c #Conflicts: 406000 | #Constraints: 50207 1230.99/1234.72 c #Conflicts: 407000 | #Constraints: 51207 1230.99/1234.72 c #Conflicts: 408000 | #Constraints: 52207 1230.99/1234.72 c #Conflicts: 409000 | #Constraints: 53207 1230.99/1234.72 c #Conflicts: 410000 | #Constraints: 54207 1230.99/1234.72 c #Conflicts: 411000 | #Constraints: 55207 1230.99/1234.72 c #Conflicts: 412000 | #Constraints: 56207 1230.99/1234.72 c #Conflicts: 413000 | #Constraints: 57207 1230.99/1234.72 c #Conflicts: 414000 | #Constraints: 58207 1230.99/1234.72 c #Conflicts: 415000 | #Constraints: 59207 1230.99/1234.72 c #Conflicts: 416000 | #Constraints: 60207 1230.99/1234.72 c #Conflicts: 417000 | #Constraints: 61207 1230.99/1234.72 c #Conflicts: 418000 | #Constraints: 62207 1230.99/1234.72 c #Conflicts: 419000 | #Constraints: 63207 1230.99/1234.72 c #Conflicts: 420000 | #Constraints: 64207 1230.99/1234.72 c #Conflicts: 421000 | #Constraints: 65207 1230.99/1234.72 c #Conflicts: 422000 | #Constraints: 66207 1230.99/1234.72 c #Conflicts: 423000 | #Constraints: 67207 1230.99/1234.72 c #Conflicts: 424000 | #Constraints: 68207 1230.99/1234.72 c INPROCESSING 1230.99/1234.72 c GARBAGE COLLECT 1230.99/1234.72 c rational objective 142 1288.13/1292.02 c #Conflicts: 425000 | #Constraints: 35518 1288.13/1292.02 c #Conflicts: 426000 | #Constraints: 36518 1288.13/1292.02 c #Conflicts: 427000 | #Constraints: 37518 1288.13/1292.02 c #Conflicts: 428000 | #Constraints: 38518 1288.13/1292.02 c #Conflicts: 429000 | #Constraints: 39518 1288.13/1292.02 c #Conflicts: 430000 | #Constraints: 40519 1288.13/1292.02 c #Conflicts: 431000 | #Constraints: 41519 1288.13/1292.02 c #Conflicts: 432000 | #Constraints: 42519 1288.13/1292.02 c #Conflicts: 433000 | #Constraints: 43520 1288.13/1292.02 c #Conflicts: 434000 | #Constraints: 44521 1288.13/1292.02 c #Conflicts: 435000 | #Constraints: 45522 1288.13/1292.02 c #Conflicts: 436000 | #Constraints: 46522 1288.13/1292.02 c #Conflicts: 437000 | #Constraints: 47522 1288.13/1292.02 c #Conflicts: 438000 | #Constraints: 48522 1288.13/1292.02 c #Conflicts: 439000 | #Constraints: 49522 1288.13/1292.02 c #Conflicts: 440000 | #Constraints: 50522 1288.13/1292.02 c INPROCESSING 1288.13/1292.02 c GARBAGE COLLECT 1288.13/1292.02 c rational objective 142 1497.49/1502.01 c #Conflicts: 441000 | #Constraints: 26841 1497.49/1502.01 c #Conflicts: 442000 | #Constraints: 27841 1497.49/1502.01 c #Conflicts: 443000 | #Constraints: 28841 1497.49/1502.01 c #Conflicts: 444000 | #Constraints: 29841 1497.49/1502.01 c #Conflicts: 445000 | #Constraints: 30841 1497.49/1502.01 c #Conflicts: 446000 | #Constraints: 31841 1497.49/1502.01 c #Conflicts: 447000 | #Constraints: 32841 1497.49/1502.01 c #Conflicts: 448000 | #Constraints: 33841 1497.49/1502.01 c #Conflicts: 449000 | #Constraints: 34841 1497.49/1502.01 c #Conflicts: 450000 | #Constraints: 35841 1497.49/1502.01 c #Conflicts: 451000 | #Constraints: 36841 1497.49/1502.01 c #Conflicts: 452000 | #Constraints: 37841 1497.49/1502.01 c #Conflicts: 453000 | #Constraints: 38841 1497.49/1502.01 c #Conflicts: 454000 | #Constraints: 39841 1497.49/1502.01 c #Conflicts: 455000 | #Constraints: 40841 1497.49/1502.01 c #Conflicts: 456000 | #Constraints: 41841 1497.49/1502.01 c #Conflicts: 457000 | #Constraints: 42841 1497.49/1502.01 c #Conflicts: 458000 | #Constraints: 43841 1497.49/1502.01 c #Conflicts: 459000 | #Constraints: 44841 1497.49/1502.01 c #Conflicts: 460000 | #Constraints: 45841 1497.49/1502.01 c #Conflicts: 461000 | #Constraints: 46841 1497.49/1502.01 c #Conflicts: 462000 | #Constraints: 47841 1497.49/1502.01 c #Conflicts: 463000 | #Constraints: 48841 1497.49/1502.01 c #Conflicts: 464000 | #Constraints: 49841 1497.49/1502.01 c #Conflicts: 465000 | #Constraints: 50841 1497.49/1502.01 c #Conflicts: 466000 | #Constraints: 51841 1497.49/1502.01 c #Conflicts: 467000 | #Constraints: 52841 1497.49/1502.01 c #Conflicts: 468000 | #Constraints: 53841 1497.49/1502.01 c #Conflicts: 469000 | #Constraints: 54841 1497.49/1502.01 c #Conflicts: 470000 | #Constraints: 55841 1497.49/1502.01 c #Conflicts: 471000 | #Constraints: 56841 1497.49/1502.01 c #Conflicts: 472000 | #Constraints: 57841 1497.49/1502.01 c #Conflicts: 473000 | #Constraints: 58841 1497.49/1502.01 c #Conflicts: 474000 | #Constraints: 59841 1497.49/1502.01 c #Conflicts: 475000 | #Constraints: 60841 1497.49/1502.01 c #Conflicts: 476000 | #Constraints: 61841 1497.49/1502.01 c #Conflicts: 477000 | #Constraints: 62841 1497.49/1502.01 c #Conflicts: 478000 | #Constraints: 63841 1497.49/1502.01 c #Conflicts: 479000 | #Constraints: 64841 1497.49/1502.01 c #Conflicts: 480000 | #Constraints: 65841 1497.49/1502.01 c #Conflicts: 481000 | #Constraints: 66841 1497.49/1502.01 c #Conflicts: 482000 | #Constraints: 67841 1497.49/1502.01 c #Conflicts: 483000 | #Constraints: 68841 1497.49/1502.01 c #Conflicts: 484000 | #Constraints: 69841 1497.49/1502.01 c #Conflicts: 485000 | #Constraints: 70841 1497.49/1502.01 c #Conflicts: 486000 | #Constraints: 71841 1497.49/1502.01 c #Conflicts: 487000 | #Constraints: 72841 1497.49/1502.01 c #Conflicts: 488000 | #Constraints: 73841 1497.49/1502.01 c #Conflicts: 489000 | #Constraints: 74841 1497.49/1502.01 c #Conflicts: 490000 | #Constraints: 75841 1497.49/1502.01 c INPROCESSING 1497.49/1502.01 c GARBAGE COLLECT 1497.49/1502.01 c rational objective 142 1614.93/1619.88 c #Conflicts: 491000 | #Constraints: 39557 1614.93/1619.88 c #Conflicts: 492000 | #Constraints: 40557 1614.93/1619.88 c #Conflicts: 493000 | #Constraints: 41557 1614.93/1619.88 c #Conflicts: 494000 | #Constraints: 42557 1614.93/1619.88 c #Conflicts: 495000 | #Constraints: 43557 1614.93/1619.88 c #Conflicts: 496000 | #Constraints: 44557 1614.93/1619.88 c #Conflicts: 497000 | #Constraints: 45557 1614.93/1619.88 c #Conflicts: 498000 | #Constraints: 46557 1614.93/1619.88 c #Conflicts: 499000 | #Constraints: 47557 1614.93/1619.88 c #Conflicts: 500000 | #Constraints: 48557 1614.93/1619.88 c #Conflicts: 501000 | #Constraints: 49557 1614.93/1619.88 c #Conflicts: 502000 | #Constraints: 50557 1614.93/1619.88 c #Conflicts: 503000 | #Constraints: 51557 1614.93/1619.88 c #Conflicts: 504000 | #Constraints: 52557 1614.93/1619.88 c #Conflicts: 505000 | #Constraints: 53557 1614.93/1619.88 c #Conflicts: 506000 | #Constraints: 54557 1614.93/1619.88 c #Conflicts: 507000 | #Constraints: 55557 1614.93/1619.88 c INPROCESSING 1614.93/1619.88 c GARBAGE COLLECT 1614.93/1619.88 c rational objective 142 1676.14/1681.28 c #Conflicts: 508000 | #Constraints: 29587 1676.14/1681.28 c #Conflicts: 509000 | #Constraints: 30587 1676.14/1681.28 c #Conflicts: 510000 | #Constraints: 31587 1676.14/1681.28 c #Conflicts: 511000 | #Constraints: 32587 1676.14/1681.28 c #Conflicts: 512000 | #Constraints: 33587 1676.14/1681.28 c #Conflicts: 513000 | #Constraints: 34587 1676.14/1681.28 c #Conflicts: 514000 | #Constraints: 35587 1676.14/1681.28 c #Conflicts: 515000 | #Constraints: 36587 1676.14/1681.28 c #Conflicts: 516000 | #Constraints: 37587 1676.14/1681.28 c #Conflicts: 517000 | #Constraints: 38587 1676.14/1681.28 c #Conflicts: 518000 | #Constraints: 39587 1676.14/1681.28 c #Conflicts: 519000 | #Constraints: 40587 1676.14/1681.28 c #Conflicts: 520000 | #Constraints: 41587 1676.14/1681.28 c #Conflicts: 521000 | #Constraints: 42587 1676.14/1681.28 c #Conflicts: 522000 | #Constraints: 43587 1676.14/1681.28 c #Conflicts: 523000 | #Constraints: 44587 1676.14/1681.28 c #Conflicts: 524000 | #Constraints: 45587 1676.14/1681.28 c INPROCESSING 1676.14/1681.28 c GARBAGE COLLECT 1676.14/1681.28 c rational objective 142 2005.35/2011.47 c #Conflicts: 525000 | #Constraints: 29583 2005.35/2011.47 c #Conflicts: 526000 | #Constraints: 30583 2005.35/2011.47 c #Conflicts: 527000 | #Constraints: 31583 2005.35/2011.47 c #Conflicts: 528000 | #Constraints: 32583 2005.35/2011.47 c #Conflicts: 529000 | #Constraints: 33583 2005.35/2011.47 c #Conflicts: 530000 | #Constraints: 34583 2005.35/2011.47 c #Conflicts: 531000 | #Constraints: 35583 2005.35/2011.47 c #Conflicts: 532000 | #Constraints: 36583 2005.35/2011.47 c #Conflicts: 533000 | #Constraints: 37583 2005.35/2011.47 c #Conflicts: 534000 | #Constraints: 38583 2005.35/2011.47 c #Conflicts: 535000 | #Constraints: 39583 2005.35/2011.47 c #Conflicts: 536000 | #Constraints: 40583 2005.35/2011.47 c #Conflicts: 537000 | #Constraints: 41583 2005.35/2011.47 c #Conflicts: 538000 | #Constraints: 42583 2005.35/2011.47 c #Conflicts: 539000 | #Constraints: 43583 2005.35/2011.47 c #Conflicts: 540000 | #Constraints: 44583 2005.35/2011.47 c #Conflicts: 541000 | #Constraints: 45583 2005.35/2011.47 c #Conflicts: 542000 | #Constraints: 46583 2005.35/2011.47 c #Conflicts: 543000 | #Constraints: 47583 2005.35/2011.47 c #Conflicts: 544000 | #Constraints: 48583 2005.35/2011.47 c #Conflicts: 545000 | #Constraints: 49583 2005.35/2011.47 c #Conflicts: 546000 | #Constraints: 50583 2005.35/2011.47 c #Conflicts: 547000 | #Constraints: 51583 2005.35/2011.47 c #Conflicts: 548000 | #Constraints: 52583 2005.35/2011.47 c #Conflicts: 549000 | #Constraints: 53583 2005.35/2011.47 c #Conflicts: 550000 | #Constraints: 54583 2005.35/2011.47 c #Conflicts: 551000 | #Constraints: 55583 2005.35/2011.47 c #Conflicts: 552000 | #Constraints: 56583 2005.35/2011.47 c #Conflicts: 553000 | #Constraints: 57583 2005.35/2011.47 c #Conflicts: 554000 | #Constraints: 58583 2005.35/2011.47 c #Conflicts: 555000 | #Constraints: 59583 2005.35/2011.47 c #Conflicts: 556000 | #Constraints: 60583 2005.35/2011.47 c #Conflicts: 557000 | #Constraints: 61583 2005.35/2011.47 c #Conflicts: 558000 | #Constraints: 62583 2005.35/2011.47 c #Conflicts: 559000 | #Constraints: 63583 2005.35/2011.47 c #Conflicts: 560000 | #Constraints: 64583 2005.35/2011.47 c #Conflicts: 561000 | #Constraints: 65583 2005.35/2011.47 c #Conflicts: 562000 | #Constraints: 66583 2005.35/2011.47 c #Conflicts: 563000 | #Constraints: 67583 2005.35/2011.47 c #Conflicts: 564000 | #Constraints: 68583 2005.35/2011.47 c #Conflicts: 565000 | #Constraints: 69583 2005.35/2011.47 c #Conflicts: 566000 | #Constraints: 70583 2005.35/2011.47 c #Conflicts: 567000 | #Constraints: 71583 2005.35/2011.47 c #Conflicts: 568000 | #Constraints: 72583 2005.35/2011.47 c #Conflicts: 569000 | #Constraints: 73583 2005.35/2011.47 c #Conflicts: 570000 | #Constraints: 74583 2005.35/2011.47 c #Conflicts: 571000 | #Constraints: 75583 2005.35/2011.47 c #Conflicts: 572000 | #Constraints: 76583 2005.35/2011.47 c #Conflicts: 573000 | #Constraints: 77583 2005.35/2011.47 c #Conflicts: 574000 | #Constraints: 78583 2005.35/2011.47 c #Conflicts: 575000 | #Constraints: 79583 2005.35/2011.47 c #Conflicts: 576000 | #Constraints: 80583 2005.35/2011.47 c #Conflicts: 577000 | #Constraints: 81583 2005.35/2011.47 c #Conflicts: 578000 | #Constraints: 82583 2005.35/2011.47 c INPROCESSING 2005.35/2011.47 c GARBAGE COLLECT 2005.35/2011.47 c rational objective 142 2080.90/2087.21 c #Conflicts: 579000 | #Constraints: 43049 2080.90/2087.21 c #Conflicts: 580000 | #Constraints: 44049 2080.90/2087.21 c #Conflicts: 581000 | #Constraints: 45049 2080.90/2087.21 c #Conflicts: 582000 | #Constraints: 46049 2080.90/2087.21 c #Conflicts: 583000 | #Constraints: 47049 2080.90/2087.21 c #Conflicts: 584000 | #Constraints: 48049 2080.90/2087.21 c #Conflicts: 585000 | #Constraints: 49049 2080.90/2087.21 c #Conflicts: 586000 | #Constraints: 50049 2080.90/2087.21 c #Conflicts: 587000 | #Constraints: 51049 2080.90/2087.21 c #Conflicts: 588000 | #Constraints: 52049 2080.90/2087.21 c #Conflicts: 589000 | #Constraints: 53049 2080.90/2087.21 c #Conflicts: 590000 | #Constraints: 54049 2080.90/2087.21 c #Conflicts: 591000 | #Constraints: 55049 2080.90/2087.21 c #Conflicts: 592000 | #Constraints: 56049 2080.90/2087.21 c #Conflicts: 593000 | #Constraints: 57049 2080.90/2087.21 c #Conflicts: 594000 | #Constraints: 58049 2080.90/2087.21 c #Conflicts: 595000 | #Constraints: 59049 2080.90/2087.21 c #Conflicts: 596000 | #Constraints: 60049 2080.90/2087.21 c INPROCESSING 2080.90/2087.21 c GARBAGE COLLECT 2080.90/2087.21 c rational objective 142 2339.70/2346.86 c #Conflicts: 597000 | #Constraints: 32881 2339.70/2346.86 c #Conflicts: 598000 | #Constraints: 33881 2339.70/2346.86 c #Conflicts: 599000 | #Constraints: 34881 2339.70/2346.86 c #Conflicts: 600000 | #Constraints: 35881 2339.70/2346.86 c #Conflicts: 601000 | #Constraints: 36881 2339.70/2346.86 c bounds 194 >= 142 @ 2078.69 2339.70/2346.86 c #Conflicts: 602000 | #Constraints: 37882 2339.70/2346.86 c #Conflicts: 603000 | #Constraints: 38882 2339.70/2346.86 c #Conflicts: 604000 | #Constraints: 39882 2339.70/2346.86 c #Conflicts: 605000 | #Constraints: 40882 2339.70/2346.86 c #Conflicts: 606000 | #Constraints: 41882 2339.70/2346.86 c #Conflicts: 607000 | #Constraints: 42882 2339.70/2346.86 c #Conflicts: 608000 | #Constraints: 43882 2339.70/2346.86 c #Conflicts: 609000 | #Constraints: 44882 2339.70/2346.86 c #Conflicts: 610000 | #Constraints: 45882 2339.70/2346.86 c #Conflicts: 611000 | #Constraints: 46882 2339.70/2346.86 c #Conflicts: 612000 | #Constraints: 47882 2339.70/2346.86 c #Conflicts: 613000 | #Constraints: 48882 2339.70/2346.86 c #Conflicts: 614000 | #Constraints: 49882 2339.70/2346.86 c #Conflicts: 615000 | #Constraints: 50882 2339.70/2346.86 c #Conflicts: 616000 | #Constraints: 51882 2339.70/2346.86 c #Conflicts: 617000 | #Constraints: 52882 2339.70/2346.86 c #Conflicts: 618000 | #Constraints: 53882 2339.70/2346.86 c #Conflicts: 619000 | #Constraints: 54882 2339.70/2346.86 c #Conflicts: 620000 | #Constraints: 55882 2339.70/2346.86 c #Conflicts: 621000 | #Constraints: 56882 2339.70/2346.86 c #Conflicts: 622000 | #Constraints: 57882 2339.70/2346.86 c #Conflicts: 623000 | #Constraints: 58882 2339.70/2346.86 c bounds 193 >= 142 @ 2154.75 2339.70/2346.86 c #Conflicts: 624000 | #Constraints: 59883 2339.70/2346.86 c #Conflicts: 625000 | #Constraints: 60883 2339.70/2346.86 c #Conflicts: 626000 | #Constraints: 61883 2339.70/2346.86 c #Conflicts: 627000 | #Constraints: 62883 2339.70/2346.86 c #Conflicts: 628000 | #Constraints: 63883 2339.70/2346.86 c #Conflicts: 629000 | #Constraints: 64883 2339.70/2346.86 c #Conflicts: 630000 | #Constraints: 65883 2339.70/2346.86 c #Conflicts: 631000 | #Constraints: 66883 2339.70/2346.86 c #Conflicts: 632000 | #Constraints: 67883 2339.70/2346.86 c #Conflicts: 633000 | #Constraints: 68883 2339.70/2346.86 c #Conflicts: 634000 | #Constraints: 69883 2339.70/2346.86 c #Conflicts: 635000 | #Constraints: 70883 2339.70/2346.86 c #Conflicts: 636000 | #Constraints: 71883 2339.70/2346.86 c #Conflicts: 637000 | #Constraints: 72883 2339.70/2346.86 c #Conflicts: 638000 | #Constraints: 73883 2339.70/2346.86 c #Conflicts: 639000 | #Constraints: 74883 2339.70/2346.86 c #Conflicts: 640000 | #Constraints: 75883 2339.70/2346.86 c #Conflicts: 641000 | #Constraints: 76883 2339.70/2346.86 c #Conflicts: 642000 | #Constraints: 77883 2339.70/2346.86 c #Conflicts: 643000 | #Constraints: 78883 2339.70/2346.86 c #Conflicts: 644000 | #Constraints: 79883 2339.70/2346.86 c #Conflicts: 645000 | #Constraints: 80883 2339.70/2346.86 c #Conflicts: 646000 | #Constraints: 81883 2339.70/2346.86 c #Conflicts: 647000 | #Constraints: 82883 2339.70/2346.86 c #Conflicts: 648000 | #Constraints: 83883 2339.70/2346.86 c #Conflicts: 649000 | #Constraints: 84883 2339.70/2346.86 c #Conflicts: 650000 | #Constraints: 85883 2339.70/2346.86 c #Conflicts: 651000 | #Constraints: 86883 2339.70/2346.86 c #Conflicts: 652000 | #Constraints: 87883 2339.70/2346.86 c #Conflicts: 653000 | #Constraints: 88883 2339.70/2346.86 c INPROCESSING 2339.70/2346.86 c GARBAGE COLLECT 2339.70/2346.86 c rational objective 142 2529.04/2536.71 c #Conflicts: 654000 | #Constraints: 45874 2529.04/2536.71 c #Conflicts: 655000 | #Constraints: 46874 2529.04/2536.71 c #Conflicts: 656000 | #Constraints: 47874 2529.04/2536.71 c #Conflicts: 657000 | #Constraints: 48874 2529.04/2536.71 c #Conflicts: 658000 | #Constraints: 49874 2529.04/2536.71 c #Conflicts: 659000 | #Constraints: 50874 2529.04/2536.71 c #Conflicts: 660000 | #Constraints: 51874 2529.04/2536.71 c #Conflicts: 661000 | #Constraints: 52874 2529.04/2536.71 c #Conflicts: 662000 | #Constraints: 53874 2529.04/2536.71 c #Conflicts: 663000 | #Constraints: 54874 2529.04/2536.71 c #Conflicts: 664000 | #Constraints: 55874 2529.04/2536.71 c #Conflicts: 665000 | #Constraints: 56874 2529.04/2536.71 c #Conflicts: 666000 | #Constraints: 57874 2529.04/2536.71 c #Conflicts: 667000 | #Constraints: 58874 2529.04/2536.71 c #Conflicts: 668000 | #Constraints: 59874 2529.04/2536.71 c #Conflicts: 669000 | #Constraints: 60874 2529.04/2536.71 c #Conflicts: 670000 | #Constraints: 61874 2529.04/2536.71 c #Conflicts: 671000 | #Constraints: 62874 2529.04/2536.71 c #Conflicts: 672000 | #Constraints: 63874 2529.04/2536.71 c #Conflicts: 673000 | #Constraints: 64874 2529.04/2536.71 c INPROCESSING 2529.04/2536.71 c GARBAGE COLLECT 2529.04/2536.71 c rational objective 142 2992.74/3001.88 c #Conflicts: 674000 | #Constraints: 34982 2992.74/3001.88 c #Conflicts: 675000 | #Constraints: 35982 2992.74/3001.88 c #Conflicts: 676000 | #Constraints: 36982 2992.74/3001.88 c #Conflicts: 677000 | #Constraints: 37982 2992.74/3001.88 c #Conflicts: 678000 | #Constraints: 38982 2992.74/3001.88 c #Conflicts: 679000 | #Constraints: 39982 2992.74/3001.88 c #Conflicts: 680000 | #Constraints: 40982 2992.74/3001.88 c #Conflicts: 681000 | #Constraints: 41982 2992.74/3001.88 c #Conflicts: 682000 | #Constraints: 42982 2992.74/3001.88 c bounds 192 >= 142 @ 2555.34 2992.74/3001.88 c #Conflicts: 683000 | #Constraints: 43983 2992.74/3001.88 c #Conflicts: 684000 | #Constraints: 44983 2992.74/3001.88 c #Conflicts: 685000 | #Constraints: 45983 2992.74/3001.88 c #Conflicts: 686000 | #Constraints: 46983 2992.74/3001.88 c #Conflicts: 687000 | #Constraints: 47983 2992.74/3001.88 c #Conflicts: 688000 | #Constraints: 48983 2992.74/3001.88 c #Conflicts: 689000 | #Constraints: 49983 2992.74/3001.88 c #Conflicts: 690000 | #Constraints: 50983 2992.74/3001.88 c #Conflicts: 691000 | #Constraints: 51983 2992.74/3001.88 c #Conflicts: 692000 | #Constraints: 52983 2992.74/3001.88 c #Conflicts: 693000 | #Constraints: 53983 2992.74/3001.88 c #Conflicts: 694000 | #Constraints: 54983 2992.74/3001.88 c #Conflicts: 695000 | #Constraints: 55983 2992.74/3001.88 c #Conflicts: 696000 | #Constraints: 56983 2992.74/3001.88 c #Conflicts: 697000 | #Constraints: 57983 2992.74/3001.88 c #Conflicts: 698000 | #Constraints: 58983 2992.74/3001.88 c #Conflicts: 699000 | #Constraints: 59983 2992.74/3001.88 c #Conflicts: 700000 | #Constraints: 60983 2992.74/3001.88 c #Conflicts: 701000 | #Constraints: 61983 2992.74/3001.88 c #Conflicts: 702000 | #Constraints: 62983 2992.74/3001.88 c #Conflicts: 703000 | #Constraints: 63983 2992.74/3001.88 c #Conflicts: 704000 | #Constraints: 64983 2992.74/3001.88 c #Conflicts: 705000 | #Constraints: 65983 2992.74/3001.88 c #Conflicts: 706000 | #Constraints: 66983 2992.74/3001.88 c #Conflicts: 707000 | #Constraints: 67983 2992.74/3001.88 c #Conflicts: 708000 | #Constraints: 68983 2992.74/3001.88 c #Conflicts: 709000 | #Constraints: 69983 2992.74/3001.88 c #Conflicts: 710000 | #Constraints: 70983 2992.74/3001.88 c #Conflicts: 711000 | #Constraints: 71983 2992.74/3001.88 c #Conflicts: 712000 | #Constraints: 72983 2992.74/3001.88 c #Conflicts: 713000 | #Constraints: 73983 2992.74/3001.88 c #Conflicts: 714000 | #Constraints: 74983 2992.74/3001.88 c #Conflicts: 715000 | #Constraints: 75983 2992.74/3001.88 c #Conflicts: 716000 | #Constraints: 76983 2992.74/3001.88 c #Conflicts: 717000 | #Constraints: 77983 2992.74/3001.88 c #Conflicts: 718000 | #Constraints: 78983 2992.74/3001.88 c #Conflicts: 719000 | #Constraints: 79983 2992.74/3001.88 c #Conflicts: 720000 | #Constraints: 80983 2992.74/3001.88 c #Conflicts: 721000 | #Constraints: 81983 2992.74/3001.88 c #Conflicts: 722000 | #Constraints: 82983 2992.74/3001.88 c #Conflicts: 723000 | #Constraints: 83983 2992.74/3001.88 c #Conflicts: 724000 | #Constraints: 84983 2992.74/3001.88 c #Conflicts: 725000 | #Constraints: 85983 2992.74/3001.88 c #Conflicts: 726000 | #Constraints: 86983 2992.74/3001.88 c #Conflicts: 727000 | #Constraints: 87983 2992.74/3001.88 c #Conflicts: 728000 | #Constraints: 88983 2992.74/3001.88 c #Conflicts: 729000 | #Constraints: 89983 2992.74/3001.88 c #Conflicts: 730000 | #Constraints: 90983 2992.74/3001.88 c #Conflicts: 731000 | #Constraints: 91983 2992.74/3001.88 c #Conflicts: 732000 | #Constraints: 92983 2992.74/3001.88 c #Conflicts: 733000 | #Constraints: 93983 2992.74/3001.88 c INPROCESSING 2992.74/3001.88 c GARBAGE COLLECT 2992.74/3001.88 c rational objective 142 3210.49/3220.20 c #Conflicts: 734000 | #Constraints: 48473 3210.49/3220.20 c #Conflicts: 735000 | #Constraints: 49473 3210.49/3220.20 c #Conflicts: 736000 | #Constraints: 50473 3210.49/3220.20 c #Conflicts: 737000 | #Constraints: 51473 3210.49/3220.20 c #Conflicts: 738000 | #Constraints: 52473 3210.49/3220.20 c #Conflicts: 739000 | #Constraints: 53473 3210.49/3220.20 c #Conflicts: 740000 | #Constraints: 54473 3210.49/3220.20 c #Conflicts: 741000 | #Constraints: 55473 3210.49/3220.20 c #Conflicts: 742000 | #Constraints: 56473 3210.49/3220.20 c #Conflicts: 743000 | #Constraints: 57473 3210.49/3220.20 c #Conflicts: 744000 | #Constraints: 58473 3210.49/3220.20 c #Conflicts: 745000 | #Constraints: 59473 3210.49/3220.20 c #Conflicts: 746000 | #Constraints: 60473 3210.49/3220.20 c #Conflicts: 747000 | #Constraints: 61473 3210.49/3220.20 c #Conflicts: 748000 | #Constraints: 62473 3210.49/3220.20 c #Conflicts: 749000 | #Constraints: 63473 3210.49/3220.20 c #Conflicts: 750000 | #Constraints: 64473 3210.49/3220.20 c #Conflicts: 751000 | #Constraints: 65473 3210.49/3220.20 c #Conflicts: 752000 | #Constraints: 66473 3210.49/3220.20 c #Conflicts: 753000 | #Constraints: 67473 3210.49/3220.20 c #Conflicts: 754000 | #Constraints: 68473 3210.49/3220.20 c INPROCESSING 3210.49/3220.20 c GARBAGE COLLECT 3210.49/3220.20 c rational objective 142 3600.05/3610.80 c #Conflicts: 755000 | #Constraints: 36710 3600.05/3610.80 c #Conflicts: 756000 | #Constraints: 37710 3600.05/3610.80 c #Conflicts: 757000 | #Constraints: 38710 3600.05/3610.80 c #Conflicts: 758000 | #Constraints: 39710 3600.05/3610.80 c #Conflicts: 759000 | #Constraints: 40710 3600.05/3610.80 c #Conflicts: 760000 | #Constraints: 41710 3600.05/3610.80 c #Conflicts: 761000 | #Constraints: 42710 3600.05/3610.80 c #Conflicts: 762000 | #Constraints: 43710 3600.05/3610.80 c #Conflicts: 763000 | #Constraints: 44710 3600.05/3610.80 c #Conflicts: 764000 | #Constraints: 45710 3600.05/3610.80 c #Conflicts: 765000 | #Constraints: 46710 3600.05/3610.80 c #Conflicts: 766000 | #Constraints: 47710 3600.05/3610.80 c #Conflicts: 767000 | #Constraints: 48710 3600.05/3610.80 c #Conflicts: 768000 | #Constraints: 49710 3600.05/3610.80 c #Conflicts: 769000 | #Constraints: 50710 3600.05/3610.80 c #Conflicts: 770000 | #Constraints: 51710 3600.05/3610.80 c #Conflicts: 771000 | #Constraints: 52710 3600.05/3610.80 c #Conflicts: 772000 | #Constraints: 53710 3600.05/3610.80 c #Conflicts: 773000 | #Constraints: 54710 3600.05/3610.80 c #Conflicts: 774000 | #Constraints: 55710 3600.05/3610.80 c #Conflicts: 775000 | #Constraints: 56710 3600.05/3610.80 c #Conflicts: 776000 | #Constraints: 57710 3600.05/3610.80 c #Conflicts: 777000 | #Constraints: 58710 3600.05/3610.80 c #Conflicts: 778000 | #Constraints: 59710 3600.05/3610.80 c #Conflicts: 779000 | #Constraints: 60710 3600.05/3610.80 c #Conflicts: 780000 | #Constraints: 61710 3600.05/3610.80 c #Conflicts: 781000 | #Constraints: 62710 3600.05/3610.80 c #Conflicts: 782000 | #Constraints: 63710 3600.05/3610.80 c #Conflicts: 783000 | #Constraints: 64710 3600.05/3610.80 c #Conflicts: 784000 | #Constraints: 65710 3600.05/3610.80 c #Conflicts: 785000 | #Constraints: 66710 3600.05/3610.80 c #Conflicts: 786000 | #Constraints: 67710 3600.05/3610.80 c #Conflicts: 787000 | #Constraints: 68710 3600.05/3610.80 c #Conflicts: 788000 | #Constraints: 69710 3600.05/3610.80 c #Conflicts: 789000 | #Constraints: 70710 3600.05/3610.80 c #Conflicts: 790000 | #Constraints: 71710 3600.05/3610.80 c #Conflicts: 791000 | #Constraints: 72710 3600.05/3610.80 c #Conflicts: 792000 | #Constraints: 73710 3600.05/3610.80 c #Conflicts: 793000 | #Constraints: 74710 3600.05/3610.80 c #Conflicts: 794000 | #Constraints: 75710 3600.05/3610.80 c #Conflicts: 795000 | #Constraints: 76710 3600.05/3610.80 c #Conflicts: 796000 | #Constraints: 77710 3600.05/3610.80 c #Conflicts: 797000 | #Constraints: 78710 3600.05/3610.80 c #Conflicts: 798000 | #Constraints: 79710 3600.05/3610.80 c #Conflicts: 799000 | #Constraints: 80710 3600.05/3610.80 c #Conflicts: 800000 | #Constraints: 81710 3600.05/3610.80 c #Conflicts: 801000 | #Constraints: 82710 3600.05/3610.80 c #Conflicts: 802000 | #Constraints: 83710 3600.05/3610.80 c #Conflicts: 803000 | #Constraints: 84710 3600.05/3610.80 c #Conflicts: 804000 | #Constraints: 85710 3600.05/3610.80 c #Conflicts: 805000 | #Constraints: 86710 3600.05/3610.80 c Program interrupted by user. 3600.05/3610.80 c cpu time 3582.18 s 3600.05/3610.80 c deterministic time 380903294911 3.81e+11 3600.05/3610.80 c optimization time 388.355 s 3600.05/3610.80 c total solve time 3193.82 s 3600.05/3610.80 c core-guided solve time 1678.59 s 3600.05/3610.80 c propagation time 3096.81 s 3600.05/3610.80 c conflict analysis time 453.133 s 3600.05/3610.80 c propagations 113399093 3600.05/3610.80 c resolve steps 7200864 3600.05/3610.80 c decisions 5488968 3600.05/3610.80 c conflicts 805578 3600.05/3610.80 c restarts 1723 3600.05/3610.80 c inprocessing phases 46 3600.05/3610.80 c input clauses 304 3600.05/3610.80 c input cardinalities 316 3600.05/3610.80 c input general constraints 911 3600.05/3610.80 c input average constraint length 61.01 3600.05/3610.80 c input average constraint degree 23.33 3600.05/3610.80 c learned clauses 285023 3600.05/3610.80 c learned cardinalities 4587 3600.05/3610.80 c learned general constraints 515986 3600.05/3610.80 c learned average constraint length 182.99 3600.05/3610.80 c learned average constraint degree 9586984.94 3600.05/3610.80 c watched constraints 367017 3600.05/3610.80 c counting constraints 149880 3600.05/3610.80 c gcd simplifications 99902 3600.05/3610.80 c detected cardinalities 1922 3600.05/3610.80 c weakened non-implied lits 33122335 3600.05/3610.80 c weakened non-implying lits 85930 3600.05/3610.80 c original variables 473 3600.05/3610.80 c clausal propagations 12415632 3600.05/3610.80 c cardinality propagations 5427431 3600.05/3610.80 c watched propagations 19563113 3600.05/3610.80 c counting propagations 74551600 3600.05/3610.80 c watch lookups 60567051279 3600.05/3610.80 c watch backjump lookups 53245790359 3600.05/3610.80 c watch checks 246720684032 3600.05/3610.80 c propagation checks 19520757103 3600.05/3610.80 c constraint additions 609587156 3600.05/3610.80 c trail pops 119693358 3600.05/3610.80 c formula constraints 472 3600.05/3610.80 c learned constraints 805588 3600.05/3610.80 c bound constraints 175 3600.05/3610.80 c core-guided constraints 884 3600.05/3610.80 c encountered formula constraints 1135875 3600.05/3610.80 c encountered learned constraints 5799723 3600.05/3610.80 c encountered bound constraints 84 3600.05/3610.80 c encountered core-guided constraints 1070542 3600.05/3610.80 c LP total time 44.4042 s 3600.05/3610.80 c LP solve time 43.28 s 3600.05/3610.80 c LP constraints added 472 3600.05/3610.80 c LP constraints removed 0 3600.05/3610.80 c LP pivots internal 806782 3600.05/3610.80 c LP pivots root 36780 3600.05/3610.80 c LP calls 12843 3600.05/3610.80 c LP optimalities 12836 3600.05/3610.80 c LP no pivot count 709 3600.05/3610.80 c LP infeasibilities 4 3600.05/3610.80 c LP valid Farkas constraints 4 3600.05/3610.80 c LP learned Farkas constraints 4 3600.05/3610.80 c LP basis resets 0 3600.05/3610.80 c LP cycling count 0 3600.05/3610.80 c LP singular count 0 3600.05/3610.80 c LP no primal count 0 3600.05/3610.80 c LP no farkas count 0 3600.05/3610.80 c LP other issue count 0 3600.05/3610.80 c LP Gomory cuts 0 3600.05/3610.80 c LP learned cuts 0 3600.05/3610.80 c LP deleted cuts 0 3600.05/3610.80 c LP encountered Gomory constraints 0 3600.05/3610.80 c LP encountered Farkas constraints 179 3600.05/3610.80 c LP encountered learned Farkas constraints 35 3600.05/3610.80 c CG auxiliary variables introduced 342 3600.05/3610.80 c CG solutions found 33 3600.05/3610.80 c CG cores constructed 142 3600.05/3610.80 c CG core cardinality constraints returned 0 3600.05/3610.80 c CG unit cores 0 3600.05/3610.80 c CG single cores 142 3600.05/3610.80 c CG blocks removed during cardinality reduction 0 3600.05/3610.80 c CG first core best 0 3600.05/3610.80 c CG decision core best 0 3600.05/3610.80 c CG core reduction tie 0 3600.05/3610.80 c CG core degree average 1.00 3600.05/3610.80 c CG core slack average 4.20 3600.05/3610.80 s SATISFIABLE 3600.05/3610.80 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 -x468 -x469 -x470 x471 -x472 x473
OK 192
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 (32773 MiB free)
memory of node 1: 64510 MiB (4731 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456750-1721769317/watcher-4456750-1721769317 -o /tmp/evaluation-result-4456750-1721769317/solver-4456750-1721769317 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721765707-133404 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456750-1721769317 --lp-cut-gomory=0 HOME/instance-4456750-1721769317.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=135655, runsolver pid=135652
Current StackSize limit: 8192 KiB
[startup+0.10008 s]*
/proc/loadavg: 4.13 4.15 4.09 3/261 135656
/proc/meminfo: memFree=38403696/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=37376 memory=2624 CPUtime=0 cores=4,6
/proc/135655/stat : 135655 (roundingsat) D 135652 135655 133393 0 -1 1078198272 218 0 0 0 0 0 0 0 20 0 1 0 13460191 38273024 656 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 9344 656 600 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+0.206424 s]*
/proc/loadavg: 4.13 4.15 4.09 5/261 135656
/proc/meminfo: memFree=41191288/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=38804 memory=8784 CPUtime=0.07 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 651 0 0 0 7 0 0 0 20 0 1 0 13460191 39735296 2196 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 9701 2196 1758 992 0 1559 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 38804 KiB
Current children cumulated memory: 8784 KiB
[startup+0.306426 s]*
/proc/loadavg: 4.13 4.15 4.09 3/259 135656
/proc/meminfo: memFree=43665228/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=39500 memory=9752 CPUtime=0.16 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 888 0 0 0 15 1 0 0 20 0 1 0 13460191 40448000 2438 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 9875 2438 1806 992 0 1733 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 39500 KiB
Current children cumulated memory: 9752 KiB
[startup+0.700212 s]
/proc/loadavg: 4.13 4.15 4.09 5/257 135684
/proc/meminfo: memFree=44933408/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=43488 memory=16360 CPUtime=0.55 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 1961 0 0 0 49 6 0 0 20 0 1 0 13460191 44531712 4090 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 10872 4090 1867 992 0 2730 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 43488 KiB
Current children cumulated memory: 16360 KiB
[startup+1.50022 s]
/proc/loadavg: 4.13 4.15 4.09 5/257 135740
/proc/meminfo: memFree=44932692/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=49776 memory=22072 CPUtime=1.34 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 3435 0 0 0 125 9 0 0 20 0 1 0 13460191 50970624 5518 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 12444 5518 1867 992 0 4302 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 49776 KiB
Current children cumulated memory: 22072 KiB
[startup+3.1057 s]
/proc/loadavg: 4.13 4.15 4.09 5/261 135748
/proc/meminfo: memFree=44873632/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=50848 memory=23128 CPUtime=2.95 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 3695 0 0 0 277 18 0 0 20 0 1 0 13460191 52068352 5782 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 12712 5782 1867 992 0 4570 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 50848 KiB
Current children cumulated memory: 23128 KiB
[startup+6.30021 s]
/proc/loadavg: 4.12 4.15 4.09 5/261 135748
/proc/meminfo: memFree=44800900/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=59960 memory=31248 CPUtime=6.13 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 5306 0 0 0 581 32 0 0 20 0 1 0 13460191 61399040 7812 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 14990 7812 1867 992 0 6848 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 59960 KiB
Current children cumulated memory: 31248 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.15 4.09 5/261 135750
/proc/meminfo: memFree=44675564/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=63068 memory=36040 CPUtime=12.51 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 6088 0 0 0 1196 55 0 0 20 0 1 0 13460191 64581632 9010 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 15767 9010 1867 992 0 7625 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 63068 KiB
Current children cumulated memory: 36040 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.16 4.09 5/261 135751
/proc/meminfo: memFree=44518740/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=75860 memory=42868 CPUtime=25.28 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 7829 0 0 0 2433 95 0 0 20 0 1 0 13460191 77680640 10717 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 18965 10717 1867 992 0 10823 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 75860 KiB
Current children cumulated memory: 42868 KiB
[startup+51.1057 s]
/proc/loadavg: 4.41 4.22 4.12 5/259 135756
/proc/meminfo: memFree=44265216/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=100128 memory=67572 CPUtime=50.79 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 11022 0 0 0 4937 142 0 0 20 0 1 0 13460191 102531072 16893 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 25032 16893 1867 992 0 16890 0
Current children cumulated CPU time: 50.79 s
Current children cumulated vsize: 100128 KiB
Current children cumulated memory: 67572 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.20 4.11 5/259 135765
/proc/meminfo: memFree=43907216/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=149412 memory=110532 CPUtime=101.81 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 17629 0 0 0 9966 215 0 0 20 0 1 0 13460191 152997888 27633 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 37353 27633 1867 992 0 29211 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 149412 KiB
Current children cumulated memory: 110532 KiB
[startup+162.3 s]
/proc/loadavg: 4.52 4.29 4.15 5/259 135775
/proc/meminfo: memFree=43566704/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=194452 memory=141772 CPUtime=161.61 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 21879 0 0 0 15905 256 0 0 20 0 1 0 13460191 199118848 35443 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 48613 35443 1867 992 0 40471 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 194452 KiB
Current children cumulated memory: 141772 KiB
[startup+222.3 s]
/proc/loadavg: 4.25 4.25 4.14 5/258 135785
/proc/meminfo: memFree=43220556/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=196448 memory=150284 CPUtime=221.4 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 22401 0 0 0 21801 339 0 0 20 0 1 0 13460191 201162752 37571 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 49112 37571 1867 992 0 40970 0
Current children cumulated CPU time: 221.4 s
Current children cumulated vsize: 196448 KiB
Current children cumulated memory: 150284 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.23 4.14 5/257 135796
/proc/meminfo: memFree=42961376/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=206464 memory=158212 CPUtime=281.23 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 24294 0 0 0 27732 391 0 0 20 0 1 0 13460191 211419136 39553 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 51616 39553 1867 992 0 43474 0
Current children cumulated CPU time: 281.23 s
Current children cumulated vsize: 206464 KiB
Current children cumulated memory: 158212 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.22 4.14 5/260 135813
/proc/meminfo: memFree=42719452/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=214128 memory=163712 CPUtime=341.07 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 25731 0 0 0 33660 447 0 0 20 0 1 0 13460191 219267072 40928 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 53532 40928 1867 992 0 45390 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 214128 KiB
Current children cumulated memory: 163712 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.19 4.14 5/260 135824
/proc/meminfo: memFree=42516752/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=280080 memory=193188 CPUtime=400.91 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 29118 0 0 0 39619 472 0 0 20 0 1 0 13460191 286801920 48297 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 70020 48297 1867 992 0 61878 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 280080 KiB
Current children cumulated memory: 193188 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.17 4.13 5/260 135834
/proc/meminfo: memFree=42333124/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=280412 memory=193944 CPUtime=460.74 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 29305 0 0 0 45572 502 0 0 20 0 1 0 13460191 287141888 48486 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 70103 48486 1867 992 0 61961 0
################
# More data... #
################
Current children cumulated memory: 353412 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.16 4.12 5/264 137518
/proc/meminfo: memFree=18094116/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=480140 memory=356844 CPUtime=2853.67 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 55646 0 0 0 283787 1580 0 0 20 0 1 0 13460191 491663360 89211 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 120035 89211 1883 992 0 111893 0
Current children cumulated CPU time: 2853.67 s
Current children cumulated vsize: 480140 KiB
Current children cumulated memory: 356844 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/263 137528
/proc/meminfo: memFree=16873496/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=485524 memory=368352 CPUtime=2913.48 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 56918 0 0 0 289752 1596 0 0 20 0 1 0 13460191 497176576 92088 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 121381 92088 1883 992 0 113239 0
Current children cumulated CPU time: 2913.48 s
Current children cumulated vsize: 485524 KiB
Current children cumulated memory: 368352 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/262 137539
/proc/meminfo: memFree=15629972/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=492328 memory=383036 CPUtime=2973.3 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 58448 0 0 0 295721 1609 0 0 20 0 1 0 13460191 504143872 95759 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 123082 95759 1883 992 0 114940 0
Current children cumulated CPU time: 2973.3 s
Current children cumulated vsize: 492328 KiB
Current children cumulated memory: 383036 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/261 137551
/proc/meminfo: memFree=14120104/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=494824 memory=387132 CPUtime=3033.12 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 59034 0 0 0 301689 1623 0 0 20 0 1 0 13460191 506699776 96783 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 123706 96783 1883 992 0 115564 0
Current children cumulated CPU time: 3033.12 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 387132 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/259 137561
/proc/meminfo: memFree=12879656/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=494824 memory=387144 CPUtime=3092.94 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 59132 0 0 0 307657 1637 0 0 20 0 1 0 13460191 506699776 96786 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 123706 96786 1883 992 0 115564 0
Current children cumulated CPU time: 3092.94 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 387144 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/260 137585
/proc/meminfo: memFree=11474424/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=494824 memory=387144 CPUtime=3152.76 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 59232 0 0 0 313624 1652 0 0 20 0 1 0 13460191 506699776 96786 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 123706 96786 1883 992 0 115564 0
Current children cumulated CPU time: 3152.76 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 387144 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.16 4.12 5/262 137822
/proc/meminfo: memFree=10436200/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=494824 memory=387144 CPUtime=3212.58 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 59335 0 0 0 319592 1666 0 0 20 0 1 0 13460191 506699776 96786 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 123706 96786 1883 992 0 115564 0
Current children cumulated CPU time: 3212.58 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 387144 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/262 137832
/proc/meminfo: memFree=9756028/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=494824 memory=387152 CPUtime=3272.41 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 59418 0 0 0 325548 1693 0 0 20 0 1 0 13460191 506699776 96788 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 123706 96788 1883 992 0 115564 0
Current children cumulated CPU time: 3272.41 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 387152 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.13 4.11 5/265 138134
/proc/meminfo: memFree=8634380/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=494824 memory=404408 CPUtime=3332.24 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 59516 0 0 0 331510 1714 0 0 20 0 1 0 13460191 506699776 101102 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 123706 101102 1883 992 0 115564 0
Current children cumulated CPU time: 3332.24 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 404408 KiB
[startup+3402.3 s]
/proc/loadavg: 4.25 4.17 4.12 5/265 138147
/proc/meminfo: memFree=7251268/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=494824 memory=415576 CPUtime=3392.09 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 59641 0 0 0 337477 1732 0 0 20 0 1 0 13460191 506699776 103894 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 123706 103894 1883 992 0 115564 0
Current children cumulated CPU time: 3392.09 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 415576 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/263 138157
/proc/meminfo: memFree=5876652/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=494824 memory=415576 CPUtime=3451.93 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 59778 0 0 0 343445 1748 0 0 20 0 1 0 13460191 506699776 103894 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 123706 103894 1883 992 0 115564 0
Current children cumulated CPU time: 3451.93 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 415576 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/261 138169
/proc/meminfo: memFree=4619976/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=494824 memory=416380 CPUtime=3511.78 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 59917 0 0 0 349414 1764 0 0 20 0 1 0 13460191 506699776 104095 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 123706 104095 1883 992 0 115564 0
Current children cumulated CPU time: 3511.78 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 416380 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/263 138181
/proc/meminfo: memFree=3488224/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=494824 memory=416380 CPUtime=3571.62 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 60058 0 0 0 355382 1780 0 0 20 0 1 0 13460191 506699776 104095 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 123706 104095 1883 992 0 115564 0
Current children cumulated CPU time: 3571.62 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 416380 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.45 4.21 4.13 5/263 138187
/proc/meminfo: memFree=3014732/131524600 swapFree=131071996/131071996
[pid=135655] ppid=135652 vsize=494824 memory=416380 CPUtime=3600.05 cores=4,6
/proc/135655/stat : 135655 (roundingsat) R 135652 135655 133393 0 -1 4194304 60186 0 0 0 358218 1787 0 0 20 0 1 0 13460191 506699776 104095 134679101440 4194304 8254037 140726041077584 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 27783168 140726041084764 140726041085026 140726041085026 140726041092041 0
/proc/135655/statm: 123706 104095 1883 992 0 115564 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 494824 KiB
Current children cumulated memory: 416380 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.81 s]
# the end of solver process 135655 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.18 s, system=17.8794 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.81
CPU time (s): 3600.06
CPU user time (s): 3582.18
CPU system time (s): 17.8794
CPU usage (%): 99.7023
Max. virtual memory (cumulated for all children) (KiB): 494824
Max. memory (cumulated for all children) (KiB): 416380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.18
system time used= 17.8794
maximum resident set size= 416408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60201
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4810000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 4849
# summary of solver processes directly reported to runsolver:
# pid: 135655
# total CPU time (s): 3600.06
# total CPU user time (s): 3582.18
# total CPU system time (s): 17.8794
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.8438 second user time and 18.6416 second system time
The end
Begin job on nodeC016 at 2024-07-23 23:15:17 IDJOB=4456750 IDBENCH=147539 IDSOLVER=3085 FILE ID=nodeC016/4456750-1721769317 RUNJOBID= nodeC016-1721765707-133404 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_20.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-4456750-1721769317/watcher-4456750-1721769317 -o /tmp/evaluation-result-4456750-1721769317/solver-4456750-1721769317 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721765707-133404 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456750-1721769317 --lp-cut-gomory=0 HOME/instance-4456750-1721769317.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b5aa25dccc2460ad32c358f07bd5c94a 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 : 3632.209 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 : 3693.254 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 : 3605.849 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 : 3600.288 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 : 3603.167 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 : 3693.900 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 : 3604.605 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 : 3635.220 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: 38404220 kB MemAvailable: 122731644 kB Buffers: 195232 kB Cached: 84796372 kB SwapCached: 0 kB Active: 1300288 kB Inactive: 90883440 kB Active(anon): 1556 kB Inactive(anon): 7236548 kB Active(file): 1298732 kB Inactive(file): 83646892 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 47800 kB Writeback: 120308 kB AnonPages: 7190840 kB Mapped: 118596 kB Shmem: 45912 kB KReclaimable: 442892 kB Slab: 563792 kB SReclaimable: 442892 kB SUnreclaim: 120900 kB KernelStack: 4224 kB PageTables: 24032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 8134196 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21056 kB HardwareCorrupted: 0 kB AnonHugePages: 4145152 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= 890044 MiB End job on nodeC016 at 2024-07-24 00:15:28