Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | MSAT | 1791.72 | 1791.7 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh14_wcsp.wbo |
| MD5SUM | a9c1b78c2cafd61259a4392acdb09fa2 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 101 |
| Best CPU time to get the best result obtained on this benchmark | 1.3028 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 200 |
| Total number of constraints | 950 |
| Number of soft constraints | 850 |
| Number of constraints which are clauses | 850 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 11 |
| Top cost | 420926 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 420925 |
| Biggest number in a constraint | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| 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 SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2705725-1278579891.wbo>
0.00/0.01 c original problem has 1900 variables (1050 bin, 0 int, 850 impl, 0 cont) and 1801 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.00/0.05 c (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 1900 implications, 0 cliques
0.00/0.05 c presolved problem has 1800 variables (950 bin, 0 int, 850 impl, 0 cont) and 1700 constraints
0.00/0.05 c 850 constraints of type <linear>
0.00/0.05 c 850 constraints of type <indicator>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.03
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.3
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1789.99
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 3420
0.00/0.05 c
0.00/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05 c # [type: int, range: [1,2], default: 1]
0.00/0.05 c timing/clocktype = 2
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/indicator/addCouplingCons = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.05 o 420925
0.00/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.05 c t 0.0s| 1 | 0 | 0 | - |6287k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 0 | - |6685k| 0 | 0 |1800 |1700 |1800 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 48 | - |6752k| 0 | 3 |1800 |1700 |1800 | 73 | 73 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 150 | - |6781k| 0 | 55 |1800 |1700 |1800 | 121 | 121 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 203 | - |7088k| 0 | 51 |1800 |1700 |1800 | 153 | 153 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 233 | - |7325k| 0 | 55 |1800 |1700 |1800 | 175 | 175 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.18 c 0.2s| 1 | 0 | 261 | - |7554k| 0 | 54 |1800 |1700 |1800 | 185 | 185 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 325 | - |7563k| 0 | 56 |1800 |1700 |1800 | 191 | 191 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.39/0.46 c 0.4s| 1 | 2 | 325 | - |7588k| 0 | 56 |1800 |1700 |1800 | 191 | 191 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
6.50/6.54 o 9915
6.50/6.54 c * 6.5s| 5972 | 5647 | 10177 | 1.6 | 15M| 772 | - |1800 |1700 |1800 | 274 |1627 | 0 | 675 | 0.000000e+00 | 9.915000e+03 | Inf
9.60/9.60 c 9.6s| 10000 | 9669 | 16377 | 1.6 | 19M| 772 | 0 |1800 |1712 |1800 | 228 |2434 | 12 | 772 | 0.000000e+00 | 9.915000e+03 | Inf
16.50/16.55 c 16.5s| 20000 | 19667 | 27339 | 1.4 | 29M| 772 | 0 |1800 |1713 |1800 | 225 |3846 | 13 | 779 | 0.000000e+00 | 9.915000e+03 | Inf
23.49/23.53 c 23.5s| 30000 | 29663 | 36600 | 1.2 | 39M| 772 | 0 |1800 |1715 |1800 | 220 |5188 | 15 | 782 | 0.000000e+00 | 9.915000e+03 | Inf
30.80/30.85 c 30.8s| 40000 | 39663 | 44763 | 1.1 | 48M| 772 | 0 |1800 |1715 |1800 | 228 |6611 | 15 | 782 | 0.000000e+00 | 9.915000e+03 | Inf
38.40/38.42 c 38.4s| 50000 | 49663 | 56255 | 1.1 | 58M| 772 | 0 |1800 |1715 |1800 | 217 |8485 | 15 | 782 | 0.000000e+00 | 9.915000e+03 | Inf
45.60/45.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.60/45.67 c 45.7s| 60000 | 59661 | 67151 | 1.1 | 68M| 772 | 0 |1800 |1717 |1800 | 219 | 10k| 17 | 782 | 0.000000e+00 | 9.915000e+03 | Inf
53.09/53.12 c 53.1s| 70000 | 69661 | 76054 | 1.1 | 78M| 772 | 0 |1800 |1717 |1800 | 208 | 11k| 17 | 782 | 0.000000e+00 | 9.915000e+03 | Inf
60.59/60.63 c 60.6s| 80000 | 79659 | 85985 | 1.1 | 87M| 772 | 0 |1800 |1718 |1800 | 205 | 12k| 18 | 782 | 0.000000e+00 | 9.915000e+03 | Inf
67.89/67.92 c 67.9s| 90000 | 89657 | 98002 | 1.1 | 97M| 772 | 0 |1800 |1719 |1800 | 209 | 14k| 19 | 782 | 0.000000e+00 | 9.915000e+03 | Inf
75.39/75.47 c 75.5s|100000 | 99655 |107517 | 1.1 | 107M| 772 | 0 |1800 |1719 |1800 | 217 | 15k| 19 | 782 | 0.000000e+00 | 9.915000e+03 | Inf
82.79/82.87 c 82.9s|110000 |109655 |116254 | 1.1 | 116M| 772 | 0 |1800 |1718 |1800 | 219 | 17k| 19 | 782 | 0.000000e+00 | 9.915000e+03 | Inf
89.89/89.98 c 90.0s|120000 |119655 |124241 | 1.0 | 126M| 772 | 4 |1800 |1718 |1800 | 204 | 18k| 19 | 782 | 0.000000e+00 | 9.915000e+03 | Inf
97.29/97.32 c 97.3s|130000 |129655 |131812 | 1.0 | 136M| 772 | 0 |1800 |1717 |1800 | 218 | 19k| 19 | 782 | 0.000000e+00 | 9.915000e+03 | Inf
104.69/104.70 c 105s|140000 |139655 |139158 | 1.0 | 145M| 772 | 0 |1800 |1717 |1800 | 225 | 20k| 19 | 782 | 0.000000e+00 | 9.915000e+03 | Inf
111.89/111.96 c 112s|150000 |149653 |147312 | 1.0 | 155M| 772 | 0 |1800 |1716 |1800 | 214 | 22k| 20 | 782 | 0.000000e+00 | 9.915000e+03 | Inf
119.39/119.40 c 119s|160000 |159653 |155833 | 1.0 | 165M| 772 | 0 |1800 |1713 |1800 | 215 | 23k| 20 | 782 | 0.000000e+00 | 9.915000e+03 | Inf
126.50/126.56 c 127s|170000 |169653 |162208 | 1.0 | 174M| 772 | 0 |1800 |1713 |1800 | 211 | 24k| 20 | 782 | 0.000000e+00 | 9.915000e+03 | Inf
133.89/133.93 c 134s|180000 |178836 |171060 | 0.9 | 186M| 772 | - |1800 |4169 | 0 | 0 | 25k|2511 | 782 | 0.000000e+00 | 9.915000e+03 | Inf
141.79/141.85 c 142s|190000 |187359 |180167 | 0.9 | 200M| 772 | 0 |1800 |8191 |1800 | 223 | 27k|7662 | 782 | 0.000000e+00 | 9.915000e+03 | Inf
148.89/148.98 o 9735
148.89/148.98 c * 149s|199102 |194887 |186869 | 0.9 | 211M| 772 | - |1800 |8314 |1800 | 204 | 28k| 11k| 782 | 0.000000e+00 | 9.735000e+03 | Inf
149.29/149.38 o 9676
149.29/149.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.29/149.38 c * 149s|199583 |195195 |187223 | 0.9 | 212M| 772 | - |1800 |8197 |1800 | 206 | 28k| 12k| 782 | 0.000000e+00 | 9.676000e+03 | Inf
149.69/149.71 c 150s|200000 |195572 |187519 | 0.9 | 212M| 772 | 0 |1800 |8080 |1800 | 207 | 28k| 12k| 782 | 0.000000e+00 | 9.676000e+03 | Inf
157.39/157.48 c 157s|210000 |204232 |195200 | 0.9 | 223M| 772 | 0 |1800 |7060 |1800 | 226 | 29k| 16k| 782 | 0.000000e+00 | 9.676000e+03 | Inf
159.69/159.74 o 9616
159.69/159.74 c * 160s|212671 |206289 |198585 | 0.9 | 226M| 772 | - |1800 |6315 |1800 | 211 | 30k| 18k| 782 | 0.000000e+00 | 9.616000e+03 | Inf
165.19/165.29 c 165s|220000 |212748 |204334 | 0.9 | 233M| 772 | 0 |1800 |4408 |1800 | 218 | 31k| 21k| 782 | 0.000000e+00 | 9.616000e+03 | Inf
172.70/172.76 c 173s|230000 |221362 |212214 | 0.9 | 245M| 772 | 0 |1800 |3904 |1800 | 208 | 31k| 25k| 782 | 0.000000e+00 | 9.616000e+03 | Inf
177.29/177.32 o 9566
177.29/177.32 c * 177s|236021 |226312 |216825 | 0.9 | 252M| 772 | - |1800 |4182 |1800 | 231 | 32k| 28k| 782 | 0.000000e+00 | 9.566000e+03 | Inf
177.29/177.33 o 9476
177.29/177.33 c * 177s|236022 |225965 |216832 | 0.9 | 251M| 772 | - |1800 |4182 |1800 | 231 | 32k| 28k| 782 | 0.000000e+00 | 9.476000e+03 | Inf
180.39/180.41 c 180s|240000 |229420 |220442 | 0.9 | 255M| 772 | 0 |1800 |3529 |1800 | 206 | 33k| 30k| 782 | 0.000000e+00 | 9.476000e+03 | Inf
187.79/187.89 c 188s|250000 |238169 |229174 | 0.9 | 267M| 772 | 0 |1800 |3571 |1800 | 214 | 34k| 34k| 787 | 0.000000e+00 | 9.476000e+03 | Inf
192.99/193.08 o 9383
192.99/193.08 c * 193s|256541 |243146 |237269 | 0.9 | 274M| 772 | - |1800 |4411 |1800 | 224 | 35k| 37k| 791 | 0.000000e+00 | 9.383000e+03 | Inf
195.29/195.38 o 9246
195.29/195.38 c * 195s|259352 |244762 |240574 | 0.9 | 276M| 772 | - |1800 |4463 |1800 | 230 | 35k| 39k| 792 | 0.000000e+00 | 9.246000e+03 | Inf
195.29/195.38 o 9198
195.29/195.38 c * 195s|259353 |244466 |240589 | 0.9 | 276M| 772 | - |1800 |4463 |1800 | 230 | 35k| 39k| 792 | 0.000000e+00 | 9.198000e+03 | Inf
195.89/195.97 c 196s|260000 |244995 |241605 | 0.9 | 277M| 772 | 0 |1800 |4412 |1800 | 212 | 35k| 39k| 792 | 0.000000e+00 | 9.198000e+03 | Inf
196.99/197.06 o 9010
196.99/197.06 c * 197s|261312 |245023 |243786 | 0.9 | 276M| 772 | - |1800 |4095 |1800 | 220 | 36k| 40k| 796 | 0.000000e+00 | 9.010000e+03 | Inf
197.19/197.29 o 8808
197.19/197.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.19/197.29 c * 197s|261571 |243578 |244160 | 0.9 | 271M| 772 | - |1800 |4050 |1800 | 218 | 36k| 40k| 796 | 0.000000e+00 | 8.808000e+03 | Inf
197.29/197.31 o 8434
197.29/197.31 c * 197s|261580 |239115 |244190 | 0.9 | 254M| 772 | - |1800 |4055 |1800 | 218 | 36k| 40k| 796 | 0.000000e+00 | 8.434000e+03 | Inf
203.99/204.04 c 204s|270000 |246348 |254027 | 0.9 | 264M| 772 | 0 |1800 |4126 |1800 | 211 | 37k| 43k| 805 | 0.000000e+00 | 8.434000e+03 | Inf
211.99/212.07 c 212s|280000 |254724 |264785 | 0.9 | 276M| 772 | 0 |1800 |4407 |1800 | 219 | 39k| 48k| 817 | 0.000000e+00 | 8.434000e+03 | Inf
219.79/219.88 c 220s|290000 |263435 |276819 | 1.0 | 287M| 772 | 0 |1800 |3626 |1800 | 203 | 40k| 51k| 828 | 0.000000e+00 | 8.434000e+03 | Inf
221.79/221.80 o 8420
221.79/221.80 c * 222s|292508 |265337 |279256 | 1.0 | 289M| 772 | - |1800 |3783 |1800 | 213 | 40k| 52k| 831 | 0.000000e+00 | 8.420000e+03 | Inf
221.79/221.81 o 8417
221.79/221.81 c * 222s|292514 |265300 |279282 | 1.0 | 289M| 772 | - |1800 |3783 |1800 | 214 | 40k| 52k| 831 | 0.000000e+00 | 8.417000e+03 | Inf
221.79/221.81 o 8314
221.79/221.81 c * 222s|292515 |263846 |279285 | 1.0 | 286M| 772 | - |1800 |3783 |1800 | 214 | 40k| 52k| 831 | 0.000000e+00 | 8.314000e+03 | Inf
222.10/222.12 o 8305
222.10/222.12 c * 222s|292880 |264055 |279850 | 1.0 | 286M| 772 | - |1800 |3774 |1800 | 209 | 40k| 52k| 831 | 0.000000e+00 | 8.305000e+03 | Inf
222.10/222.13 o 8288
222.10/222.13 c * 222s|292886 |263844 |279859 | 1.0 | 285M| 772 | - |1800 |3784 |1800 | 209 | 40k| 52k| 831 | 0.000000e+00 | 8.288000e+03 | Inf
222.10/222.14 o 8160
222.10/222.14 c * 222s|292887 |262062 |279861 | 1.0 | 282M| 772 | - |1800 |3784 |1800 | 209 | 40k| 52k| 831 | 0.000000e+00 | 8.160000e+03 | Inf
222.69/222.75 o 8158
222.69/222.75 c * 223s|293553 |262558 |281340 | 1.0 | 283M| 772 | - |1800 |3988 |1800 | 217 | 41k| 53k| 831 | 0.000000e+00 | 8.158000e+03 | Inf
222.69/222.76 o 8108
222.69/222.76 c * 223s|293554 |261875 |281342 | 1.0 | 282M| 772 | - |1800 |3988 |1800 | 217 | 41k| 53k| 831 | 0.000000e+00 | 8.108000e+03 | Inf
222.99/223.06 o 8096
222.99/223.06 c * 223s|293863 |261916 |282239 | 1.0 | 282M| 772 | - |1800 |4014 |1800 | 221 | 41k| 53k| 833 | 0.000000e+00 | 8.096000e+03 | Inf
222.99/223.06 o 8057
222.99/223.06 c * 223s|293864 |261376 |282241 | 1.0 | 281M| 772 | - |1800 |4014 |1800 | 221 | 41k| 53k| 833 | 0.000000e+00 | 8.057000e+03 | Inf
227.99/228.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.99/228.06 c 228s|300000 |266471 |289733 | 1.0 | 288M| 772 | 0 |1800 |4262 |1800 | 219 | 42k| 56k| 843 | 0.000000e+00 | 8.057000e+03 | Inf
235.89/235.97 c 236s|310000 |274888 |300527 | 1.0 | 300M| 772 | 0 |1800 |4358 |1800 | 225 | 43k| 61k| 870 | 0.000000e+00 | 8.057000e+03 | Inf
239.49/239.52 o 7973
239.49/239.52 c * 240s|314457 |277505 |305034 | 1.0 | 304M| 772 | - |1800 |4421 |1800 | 210 | 44k| 63k| 871 | 0.000000e+00 | 7.973000e+03 | Inf
239.49/239.52 o 7964
239.49/239.52 c * 240s|314458 |277369 |305036 | 1.0 | 304M| 772 | - |1800 |4421 |1800 | 210 | 44k| 63k| 871 | 0.000000e+00 | 7.964000e+03 | Inf
241.49/241.51 o 7892
241.49/241.51 c * 242s|316953 |278557 |307346 | 1.0 | 305M| 772 | - |1800 |4102 |1800 | 214 | 44k| 64k| 873 | 0.000000e+00 | 7.892000e+03 | Inf
243.99/244.07 c 244s|320000 |281134 |311454 | 1.0 | 309M| 772 | 0 |1800 |4014 |1800 | 215 | 45k| 65k| 873 | 0.000000e+00 | 7.892000e+03 | Inf
252.09/252.17 c 252s|330000 |289600 |322494 | 1.0 | 321M| 772 | 0 |1800 |4274 |1800 | 223 | 46k| 69k| 890 | 0.000000e+00 | 7.892000e+03 | Inf
260.60/260.65 c 261s|340000 |297906 |337590 | 1.0 | 333M| 772 | 0 |1800 |2933 |1800 | 209 | 48k| 73k| 920 | 0.000000e+00 | 7.892000e+03 | Inf
268.69/268.79 c 269s|350000 |306342 |349452 | 1.0 | 345M| 772 | 0 |1800 |3423 |1800 | 212 | 50k| 78k| 946 | 0.000000e+00 | 7.892000e+03 | Inf
277.19/277.22 c 277s|360000 |314666 |363441 | 1.0 | 358M| 772 | 0 |1800 |3792 |1800 | 197 | 52k| 82k| 970 | 0.000000e+00 | 7.892000e+03 | Inf
285.78/285.87 c 286s|370000 |323152 |378865 | 1.0 | 371M| 772 | 0 |1800 |4112 |1800 | 213 | 55k| 86k|1007 | 0.000000e+00 | 7.892000e+03 | Inf
287.69/287.72 o 7708
287.69/287.72 c * 288s|372264 |321711 |381039 | 1.0 | 369M| 772 | - |1800 |4236 |1800 | 217 | 55k| 88k|1007 | 0.000000e+00 | 7.708000e+03 | Inf
287.79/287.84 o 7668
287.79/287.84 c * 288s|372384 |321084 |381244 | 1.0 | 368M| 772 | - |1800 |4221 |1800 | 218 | 55k| 88k|1007 | 0.000000e+00 | 7.668000e+03 | Inf
287.79/287.85 o 7523
287.79/287.85 c * 288s|372385 |318349 |381249 | 1.0 | 362M| 772 | - |1800 |4221 |1800 | 218 | 55k| 88k|1007 | 0.000000e+00 | 7.523000e+03 | Inf
288.19/288.26 o 7501
288.19/288.26 c * 288s|372840 |318295 |381924 | 1.0 | 362M| 772 | - |1800 |4203 |1800 | 220 | 55k| 88k|1007 | 0.000000e+00 | 7.501000e+03 | Inf
288.19/288.27 o 7356
288.19/288.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
288.19/288.27 c * 288s|372841 |315178 |381927 | 1.0 | 355M| 772 | - |1800 |4203 |1800 | 220 | 55k| 88k|1007 | 0.000000e+00 | 7.356000e+03 | Inf
288.39/288.46 o 7348
288.39/288.46 c * 288s|373034 |315161 |382342 | 1.0 | 355M| 772 | - |1800 |4238 |1800 | 225 | 55k| 88k|1007 | 0.000000e+00 | 7.348000e+03 | Inf
288.39/288.47 o 7305
288.39/288.47 c * 288s|373035 |314273 |382343 | 1.0 | 353M| 772 | - |1800 |4238 |1800 | 225 | 55k| 88k|1007 | 0.000000e+00 | 7.305000e+03 | Inf
288.79/288.89 o 7292
288.79/288.89 c * 289s|373488 |314335 |383089 | 1.0 | 353M| 772 | - |1800 |4286 |1800 | 226 | 55k| 88k|1007 | 0.000000e+00 | 7.292000e+03 | Inf
288.89/288.90 o 7249
288.89/288.90 c * 289s|373489 |313353 |383094 | 1.0 | 351M| 772 | - |1800 |4286 |1800 | 226 | 55k| 88k|1007 | 0.000000e+00 | 7.249000e+03 | Inf
288.89/288.95 o 7156
288.89/288.95 c * 289s|373522 |311429 |383259 | 1.0 | 346M| 772 | - |1800 |4298 |1800 | 228 | 55k| 88k|1008 | 0.000000e+00 | 7.156000e+03 | Inf
289.09/289.11 o 7151
289.09/289.11 c * 289s|373672 |311434 |383635 | 1.0 | 346M| 772 | - |1800 |4329 |1800 | 223 | 55k| 88k|1008 | 0.000000e+00 | 7.151000e+03 | Inf
289.09/289.12 o 7065
289.09/289.12 c * 289s|373673 |309336 |383642 | 1.0 | 341M| 772 | - |1800 |4329 |1800 | 223 | 55k| 88k|1008 | 0.000000e+00 | 7.065000e+03 | Inf
290.09/290.17 o 7029
290.09/290.17 c * 290s|374796 |309369 |385550 | 1.0 | 340M| 772 | - |1800 |4607 |1800 | 215 | 56k| 89k|1012 | 0.000000e+00 | 7.029000e+03 | Inf
290.09/290.17 o 7012
290.09/290.17 c * 290s|374797 |308951 |385553 | 1.0 | 339M| 772 | - |1800 |4607 |1800 | 215 | 56k| 89k|1012 | 0.000000e+00 | 7.012000e+03 | Inf
294.39/294.47 c 294s|380000 |313246 |391259 | 1.0 | 345M| 772 | - |1800 |3936 | 0 | 0 | 57k| 91k|1025 | 0.000000e+00 | 7.012000e+03 | Inf
296.99/297.04 o 6986
296.99/297.04 c * 297s|382841 |314884 |396023 | 1.0 | 347M| 772 | - |1800 |3693 |1800 | 215 | 57k| 93k|1038 | 0.000000e+00 | 6.986000e+03 | Inf
296.99/297.08 o 6742
296.99/297.08 c * 297s|382861 |308172 |396048 | 1.0 | 329M| 772 | - |1800 |3700 |1800 | 216 | 57k| 93k|1038 | 0.000000e+00 | 6.742000e+03 | Inf
300.79/300.89 o 6576
300.79/300.89 c * 301s|387187 |307562 |402772 | 1.0 | 328M| 772 | - |1800 |3533 |1800 | 218 | 58k| 95k|1057 | 0.000000e+00 | 6.576000e+03 | Inf
300.89/300.90 o 6559
300.89/300.90 c * 301s|387188 |307156 |402776 | 1.0 | 327M| 772 | - |1800 |3533 |1800 | 218 | 58k| 95k|1057 | 0.000000e+00 | 6.559000e+03 | Inf
300.99/301.03 o 6498
300.99/301.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.99/301.03 c * 301s|387328 |305737 |403083 | 1.0 | 325M| 772 | - |1800 |3539 |1800 | 219 | 58k| 95k|1057 | 0.000000e+00 | 6.498000e+03 | Inf
300.99/301.05 o 6469
300.99/301.05 c * 301s|387337 |305051 |403100 | 1.0 | 324M| 772 | - |1800 |3537 |1800 | 219 | 58k| 95k|1057 | 0.000000e+00 | 6.469000e+03 | Inf
300.99/301.06 o 6228
300.99/301.06 c * 301s|387338 |299382 |403106 | 1.0 | 316M| 772 | - |1800 |3537 |1800 | 219 | 58k| 95k|1057 | 0.000000e+00 | 6.228000e+03 | Inf
303.50/303.54 c 304s|390000 |301470 |408810 | 1.0 | 320M| 772 | - |1800 |3622 | 0 | 0 | 59k| 96k|1070 | 0.000000e+00 | 6.228000e+03 | Inf
310.99/311.01 o 6166
310.99/311.01 c * 311s|398652 |307116 |421940 | 1.1 | 329M| 772 | - |1800 |3886 |1800 | 214 | 61k| 99k|1081 | 0.000000e+00 | 6.166000e+03 | Inf
310.99/311.02 o 6141
310.99/311.02 c * 311s|398653 |306478 |421941 | 1.1 | 328M| 772 | - |1800 |3886 |1800 | 214 | 61k| 99k|1081 | 0.000000e+00 | 6.141000e+03 | Inf
312.19/312.23 c 312s|400000 |307623 |424641 | 1.1 | 330M| 772 | 0 |1800 |3872 |1800 | 212 | 61k| 100k|1088 | 0.000000e+00 | 6.141000e+03 | Inf
313.59/313.62 o 6121
313.59/313.62 c * 314s|401563 |308331 |426964 | 1.1 | 331M| 772 | - |1800 |3879 |1800 | 224 | 62k| 100k|1101 | 0.000000e+00 | 6.121000e+03 | Inf
313.59/313.64 o 6024
313.59/313.64 c * 314s|401564 |305827 |426971 | 1.1 | 328M| 772 | - |1800 |3879 |1800 | 224 | 62k| 100k|1101 | 0.000000e+00 | 6.024000e+03 | Inf
320.99/321.09 c 321s|410000 |312484 |439758 | 1.1 | 338M| 772 | 0 |1800 |3666 |1800 | 203 | 63k| 104k|1126 | 0.000000e+00 | 6.024000e+03 | Inf
329.69/329.76 c 330s|420000 |320830 |456748 | 1.1 | 351M| 772 | 0 |1800 |3894 |1800 | 210 | 66k| 107k|1186 | 0.000000e+00 | 6.024000e+03 | Inf
338.89/338.91 c 339s|430000 |329246 |477170 | 1.1 | 364M| 772 | 0 |1800 |3780 |1800 | 212 | 69k| 111k|1215 | 0.000000e+00 | 6.024000e+03 | Inf
339.39/339.45 o 5979
339.39/339.45 c * 339s|430627 |328506 |477881 | 1.1 | 364M| 772 | - |1800 |3694 |1800 | 219 | 69k| 111k|1215 | 0.000000e+00 | 5.979000e+03 | Inf
339.99/340.04 o 5967
339.99/340.04 c * 340s|431354 |328803 |478595 | 1.1 | 364M| 772 | - |1800 |3781 |1800 | 228 | 69k| 111k|1215 | 0.000000e+00 | 5.967000e+03 | Inf
339.99/340.08 o 5941
339.99/340.08 c * 340s|431386 |328107 |478727 | 1.1 | 363M| 772 | - |1800 |3782 |1800 | 219 | 69k| 111k|1215 | 0.000000e+00 | 5.941000e+03 | Inf
340.09/340.13 o 5806
340.09/340.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.09/340.13 c * 340s|431424 |324074 |478839 | 1.1 | 358M| 772 | - |1800 |3794 |1800 | 220 | 69k| 111k|1215 | 0.000000e+00 | 5.806000e+03 | Inf
342.09/342.13 o 5780
342.09/342.13 c * 342s|433560 |324959 |482810 | 1.1 | 360M| 772 | - |1800 |3707 |1800 | 228 | 70k| 112k|1233 | 0.000000e+00 | 5.780000e+03 | Inf
342.19/342.21 o 5640
342.19/342.21 c * 342s|433629 |320580 |483001 | 1.1 | 354M| 772 | - |1800 |3676 |1800 | 223 | 70k| 112k|1233 | 0.000000e+00 | 5.640000e+03 | Inf
342.99/343.08 o 5616
342.99/343.08 c * 343s|434552 |320590 |484639 | 1.1 | 355M| 772 | - |1800 |3742 |1800 | 225 | 70k| 113k|1234 | 0.000000e+00 | 5.616000e+03 | Inf
342.99/343.09 o 5573
342.99/343.09 c R 343s|434553 |319224 |484646 | 1.1 | 353M| 772 | - |1800 |3742 |1800 | 226 | 70k| 113k|1234 | 0.000000e+00 | 5.573000e+03 | Inf
347.79/347.87 c 348s|440000 |323582 |492042 | 1.1 | 360M| 772 | 0 |1800 |3673 |1800 | 228 | 71k| 115k|1249 | 0.000000e+00 | 5.573000e+03 | Inf
354.99/355.03 o 5564
354.99/355.03 c * 355s|448087 |329515 |503897 | 1.1 | 371M| 772 | - |1800 |4129 |1800 | 230 | 73k| 119k|1258 | 0.000000e+00 | 5.564000e+03 | Inf
356.69/356.70 c 357s|450000 |331044 |506794 | 1.1 | 373M| 772 | 0 |1800 |4019 |1800 | 216 | 73k| 119k|1259 | 0.000000e+00 | 5.564000e+03 | Inf
365.39/365.43 c 365s|460000 |338981 |522390 | 1.1 | 386M| 772 | 0 |1800 |3987 |1800 | 214 | 75k| 124k|1285 | 0.000000e+00 | 5.564000e+03 | Inf
371.49/371.56 o 5419
371.49/371.56 c * 372s|466957 |339163 |533168 | 1.1 | 388M| 772 | - |1800 |4356 |1800 | 234 | 77k| 126k|1304 | 0.000000e+00 | 5.419000e+03 | Inf
374.39/374.47 c 374s|470000 |341440 |537961 | 1.1 | 392M| 772 | 0 |1800 |4415 |1800 | 215 | 78k| 128k|1310 | 0.000000e+00 | 5.419000e+03 | Inf
382.19/382.21 o 5378
382.19/382.21 c * 382s|478380 |346217 |553118 | 1.2 | 400M| 772 | - |1800 |4126 |1800 | 233 | 80k| 132k|1357 | 0.000000e+00 | 5.378000e+03 | Inf
382.19/382.22 o 5335
382.19/382.22 c * 382s|478381 |344456 |553122 | 1.2 | 398M| 772 | - |1800 |4126 |1800 | 233 | 80k| 132k|1357 | 0.000000e+00 | 5.335000e+03 | Inf
382.59/382.61 o 5331
382.59/382.61 c * 383s|478743 |344588 |554051 | 1.2 | 398M| 772 | - |1800 |4170 |1800 | 220 | 80k| 132k|1358 | 0.000000e+00 | 5.331000e+03 | Inf
383.39/383.44 o 5216
383.39/383.44 c * 383s|479530 |340447 |556083 | 1.2 | 392M| 772 | - |1800 |4345 |1800 | 219 | 81k| 133k|1361 | 0.000000e+00 | 5.216000e+03 | Inf
383.49/383.52 o 5177
383.49/383.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
383.49/383.52 c * 384s|479629 |338875 |556270 | 1.2 | 389M| 772 | - |1800 |4380 |1800 | 218 | 81k| 133k|1361 | 0.000000e+00 | 5.177000e+03 | Inf
383.89/383.97 c 384s|480000 |339138 |557609 | 1.2 | 390M| 772 | 0 |1800 |4347 |1800 | 220 | 81k| 133k|1362 | 0.000000e+00 | 5.177000e+03 | Inf
391.79/391.84 o 5080
391.79/391.84 c * 392s|488615 |341508 |573657 | 1.2 | 393M| 772 | - |1800 |3726 |1800 | 230 | 83k| 136k|1386 | 0.000000e+00 | 5.080000e+03 | Inf
391.79/391.85 o 5037
391.79/391.85 c * 392s|488616 |339597 |573661 | 1.2 | 390M| 772 | - |1800 |3726 |1800 | 230 | 83k| 136k|1386 | 0.000000e+00 | 5.037000e+03 | Inf
392.19/392.29 o 4991
392.19/392.29 c * 392s|489074 |337848 |574539 | 1.2 | 387M| 772 | - |1800 |3740 |1800 | 217 | 83k| 136k|1386 | 0.000000e+00 | 4.991000e+03 | Inf
392.29/392.30 o 4948
392.29/392.30 c * 392s|489075 |335802 |574540 | 1.2 | 383M| 772 | - |1800 |3740 |1800 | 217 | 83k| 136k|1386 | 0.000000e+00 | 4.948000e+03 | Inf
393.09/393.19 c 393s|490000 |336507 |576279 | 1.2 | 385M| 772 | 0 |1800 |3910 |1800 | 218 | 83k| 137k|1387 | 0.000000e+00 | 4.948000e+03 | Inf
402.09/402.13 c 402s|500000 |344462 |591171 | 1.2 | 398M| 772 | 0 |1800 |3277 |1800 | 233 | 86k| 140k|1416 | 0.000000e+00 | 4.948000e+03 | Inf
407.49/407.52 o 4890
407.49/407.52 c * 408s|505796 |346226 |602818 | 1.2 | 402M| 772 | - |1800 |4049 |1800 | 233 | 87k| 142k|1428 | 0.000000e+00 | 4.890000e+03 | Inf
407.49/407.57 o 4883
407.49/407.57 c * 408s|505833 |345919 |602970 | 1.2 | 401M| 772 | - |1800 |4061 |1800 | 232 | 87k| 142k|1428 | 0.000000e+00 | 4.883000e+03 | Inf
411.59/411.65 c 412s|510000 |349199 |612113 | 1.2 | 407M| 772 | 4 |1800 |4225 |1800 | 226 | 88k| 144k|1439 | 0.000000e+00 | 4.883000e+03 | Inf
415.89/415.94 o 4737
415.89/415.94 c * 416s|514419 |345488 |624214 | 1.2 | 400M| 772 | - |1800 |4283 |1800 | 250 | 90k| 146k|1456 | 0.000000e+00 | 4.737000e+03 | Inf
415.89/415.96 o 4621
415.89/415.96 c * 416s|514422 |339338 |624229 | 1.2 | 389M| 772 | - |1800 |4283 |1800 | 251 | 90k| 146k|1456 | 0.000000e+00 | 4.621000e+03 | Inf
415.89/416.00 o 4447
415.89/416.00 c * 416s|514425 |329121 |624245 | 1.2 | 371M| 772 | - |1800 |4283 |1800 | 252 | 90k| 146k|1456 | 0.000000e+00 | 4.447000e+03 | Inf
421.49/421.55 c 422s|520000 |333754 |638424 | 1.2 | 379M| 772 | 0 |1800 |4350 |1800 | 217 | 93k| 148k|1479 | 0.000000e+00 | 4.447000e+03 | Inf
431.19/431.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
431.19/431.28 c 431s|530000 |341803 |661056 | 1.2 | 392M| 772 | 0 |1800 |4256 |1800 | 222 | 97k| 151k|1512 | 0.000000e+00 | 4.447000e+03 | Inf
440.89/440.93 c 441s|540000 |349500 |682108 | 1.3 | 407M| 772 | 0 |1800 |3983 |1800 | 211 | 100k| 155k|1574 | 0.000000e+00 | 4.447000e+03 | Inf
442.79/442.82 o 4439
442.79/442.82 c * 443s|542150 |350701 |685487 | 1.3 | 409M| 772 | - |1800 |4078 |1800 | 235 | 100k| 156k|1582 | 0.000000e+00 | 4.439000e+03 | Inf
442.79/442.84 o 4400
442.79/442.84 c * 443s|542151 |348232 |685490 | 1.3 | 405M| 772 | - |1800 |4078 |1800 | 235 | 100k| 156k|1582 | 0.000000e+00 | 4.400000e+03 | Inf
442.89/442.93 o 4298
442.89/442.93 c * 443s|542200 |342076 |685955 | 1.3 | 394M| 772 | - |1800 |4078 |1800 | 248 | 100k| 156k|1594 | 0.000000e+00 | 4.298000e+03 | Inf
442.89/442.94 o 4263
442.89/442.94 c * 443s|542201 |339854 |685958 | 1.3 | 391M| 772 | - |1800 |4078 |1800 | 248 | 100k| 156k|1594 | 0.000000e+00 | 4.263000e+03 | Inf
450.29/450.30 c 450s|550000 |345895 |700798 | 1.3 | 401M| 772 | 0 |1800 |3906 |1800 | 214 | 102k| 159k|1610 | 0.000000e+00 | 4.263000e+03 | Inf
459.69/459.73 c 460s|560000 |353517 |720221 | 1.3 | 415M| 772 | 0 |1800 |3870 |1800 | 211 | 105k| 162k|1672 | 0.000000e+00 | 4.263000e+03 | Inf
460.80/460.88 o 4220
460.80/460.88 c * 461s|561190 |351669 |722577 | 1.3 | 412M| 772 | - |1800 |4012 |1800 | 219 | 105k| 163k|1682 | 0.000000e+00 | 4.220000e+03 | Inf
465.89/465.96 o 4187
465.89/465.96 c * 466s|566639 |353634 |732361 | 1.3 | 416M| 772 | - |1800 |3655 |1800 | 215 | 107k| 164k|1707 | 0.000000e+00 | 4.187000e+03 | Inf
466.59/466.64 o 4174
466.59/466.64 c * 467s|567340 |353277 |733762 | 1.3 | 416M| 772 | - |1800 |3759 |1800 | 218 | 107k| 165k|1707 | 0.000000e+00 | 4.174000e+03 | Inf
466.59/466.67 o 4046
466.59/466.67 c * 467s|567346 |344578 |733830 | 1.3 | 402M| 772 | - |1800 |3763 |1800 | 220 | 107k| 165k|1707 | 0.000000e+00 | 4.046000e+03 | Inf
469.29/469.30 c 469s|570000 |346416 |740146 | 1.3 | 405M| 772 | 0 |1800 |3758 |1800 | 229 | 108k| 166k|1714 | 0.000000e+00 | 4.046000e+03 | Inf
478.69/478.73 c 479s|580000 |354117 |759221 | 1.3 | 420M| 772 | - |1800 |4246 | 0 | 0 | 111k| 169k|1760 | 0.000000e+00 | 4.046000e+03 | Inf
487.89/487.97 c 488s|590000 |361627 |775551 | 1.3 | 433M| 772 | 0 |1800 |4056 |1800 | 222 | 113k| 173k|1781 | 0.000000e+00 | 4.046000e+03 | Inf
497.20/497.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
497.20/497.28 c 497s|600000 |369257 |794691 | 1.3 | 447M| 772 | 0 |1800 |3846 |1800 | 207 | 116k| 177k|1816 | 0.000000e+00 | 4.046000e+03 | Inf
506.59/506.60 c 507s|610000 |376761 |814494 | 1.3 | 459M| 772 | 0 |1800 |3633 |1800 | 212 | 119k| 180k|1860 | 0.000000e+00 | 4.046000e+03 | Inf
514.00/514.08 o 4006
514.00/514.08 c * 514s|618090 |380127 |830297 | 1.3 | 466M| 772 | - |1800 |3605 |1800 | 224 | 121k| 183k|1920 | 0.000000e+00 | 4.006000e+03 | Inf
515.90/515.93 c 516s|620000 |381649 |835079 | 1.3 | 469M| 772 | 0 |1800 |3595 |1800 | 220 | 122k| 184k|1932 | 0.000000e+00 | 4.006000e+03 | Inf
517.00/517.09 o 3885
517.00/517.09 c * 517s|621357 |373674 |837476 | 1.3 | 455M| 772 | - |1800 |3549 |1800 | 237 | 122k| 184k|1932 | 0.000000e+00 | 3.885000e+03 | Inf
517.09/517.11 o 3838
517.09/517.11 c * 517s|621360 |370083 |837484 | 1.3 | 450M| 772 | - |1800 |3549 |1800 | 237 | 122k| 184k|1932 | 0.000000e+00 | 3.838000e+03 | Inf
517.09/517.12 o 3821
517.09/517.12 c * 517s|621361 |368755 |837485 | 1.3 | 448M| 772 | - |1800 |3549 |1800 | 237 | 122k| 184k|1932 | 0.000000e+00 | 3.821000e+03 | Inf
525.49/525.56 c 526s|630000 |375388 |859022 | 1.4 | 460M| 772 | 0 |1800 |3276 |1800 | 208 | 125k| 187k|1987 | 0.000000e+00 | 3.821000e+03 | Inf
534.99/535.01 c 535s|640000 |383204 |881895 | 1.4 | 474M| 772 | 0 |1800 |3557 |1800 | 227 | 129k| 190k|2025 | 0.000000e+00 | 3.821000e+03 | Inf
544.69/544.76 c 545s|650000 |390941 |908679 | 1.4 | 489M| 772 | 0 |1800 |3583 |1800 | 224 | 132k| 194k|2074 | 0.000000e+00 | 3.821000e+03 | Inf
554.19/554.26 c 554s|660000 |398639 |930024 | 1.4 | 503M| 772 | 0 |1800 |3815 |1800 | 230 | 135k| 197k|2106 | 0.000000e+00 | 3.821000e+03 | Inf
563.40/563.46 c 563s|670000 |406231 |947696 | 1.4 | 517M| 772 | 0 |1800 |3711 |1800 | 205 | 138k| 201k|2117 | 0.000000e+00 | 3.821000e+03 | Inf
572.90/572.94 c 573s|680000 |413682 |966548 | 1.4 | 530M| 772 | 0 |1800 |3828 |1800 | 222 | 141k| 204k|2142 | 0.000000e+00 | 3.821000e+03 | Inf
576.20/576.24 o 3793
576.20/576.24 c * 576s|683490 |413792 |973967 | 1.4 | 531M| 772 | - |1800 |3960 |1800 | 236 | 142k| 206k|2165 | 0.000000e+00 | 3.793000e+03 | Inf
576.20/576.26 o 3734
576.20/576.26 c * 576s|683491 |408731 |973969 | 1.4 | 524M| 772 | - |1800 |3960 |1800 | 236 | 142k| 206k|2165 | 0.000000e+00 | 3.734000e+03 | Inf
582.59/582.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
582.59/582.68 c 583s|690000 |413638 |987650 | 1.4 | 534M| 772 | 0 |1800 |3611 |1800 | 215 | 144k| 208k|2189 | 0.000000e+00 | 3.734000e+03 | Inf
592.00/592.08 c 592s|700000 |421234 | 1009k| 1.4 | 548M| 772 | 0 |1800 |3411 |1800 | 229 | 147k| 212k|2227 | 0.000000e+00 | 3.734000e+03 | Inf
595.99/596.04 o 3715
595.99/596.04 c * 596s|704214 |422472 | 1017k| 1.4 | 551M| 772 | - |1800 |3559 |1800 | 246 | 148k| 213k|2237 | 0.000000e+00 | 3.715000e+03 | Inf
601.89/601.94 c 602s|710000 |426750 | 1031k| 1.5 | 560M| 772 | 0 |1800 |3524 |1800 | 214 | 151k| 215k|2280 | 0.000000e+00 | 3.715000e+03 | Inf
611.29/611.30 c 611s|720000 |434174 | 1050k| 1.5 | 574M| 772 | 0 |1800 |3893 |1800 | 220 | 153k| 219k|2304 | 0.000000e+00 | 3.715000e+03 | Inf
613.19/613.21 o 3617
613.19/613.21 c * 613s|721949 |426280 | 1054k| 1.5 | 564M| 772 | - |1800 |4170 |1800 | 225 | 154k| 220k|2309 | 0.000000e+00 | 3.617000e+03 | Inf
613.19/613.24 o 3573
613.19/613.24 c * 613s|721956 |422047 | 1054k| 1.5 | 557M| 772 | - |1800 |4170 |1800 | 225 | 154k| 220k|2309 | 0.000000e+00 | 3.573000e+03 | Inf
613.39/613.43 o 3462
613.39/613.43 c * 613s|722107 |410896 | 1054k| 1.5 | 539M| 772 | - |1800 |4200 |1800 | 241 | 154k| 220k|2309 | 0.000000e+00 | 3.462000e+03 | Inf
621.40/621.46 c 621s|730000 |416723 | 1075k| 1.5 | 551M| 772 | - |1800 |3456 | 0 | 0 | 157k| 223k|2355 | 0.000000e+00 | 3.462000e+03 | Inf
630.79/630.84 c 631s|740000 |424366 | 1094k| 1.5 | 565M| 772 | 0 |1800 |3688 |1800 | 213 | 160k| 226k|2372 | 0.000000e+00 | 3.462000e+03 | Inf
640.70/640.71 c 641s|750000 |431879 | 1118k| 1.5 | 580M| 772 | 0 |1800 |4004 |1800 | 231 | 163k| 230k|2420 | 0.000000e+00 | 3.462000e+03 | Inf
650.29/650.35 c 650s|760000 |439366 | 1139k| 1.5 | 595M| 772 | 0 |1800 |3426 |1800 | 215 | 167k| 233k|2454 | 0.000000e+00 | 3.462000e+03 | Inf
659.49/659.55 c 660s|770000 |446799 | 1156k| 1.5 | 608M| 772 | 0 |1800 |3818 |1800 | 217 | 169k| 237k|2471 | 0.000000e+00 | 3.462000e+03 | Inf
661.19/661.26 o 3447
661.19/661.26 c * 661s|771927 |446635 | 1159k| 1.5 | 608M| 772 | - |1800 |3701 |1800 | 228 | 170k| 237k|2472 | 0.000000e+00 | 3.447000e+03 | Inf
668.89/668.98 c 669s|780000 |452669 | 1175k| 1.5 | 619M| 772 | 0 |1800 |3476 |1800 | 215 | 172k| 240k|2499 | 0.000000e+00 | 3.447000e+03 | Inf
678.89/678.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
678.89/678.90 c 679s|790000 |460218 | 1199k| 1.5 | 634M| 772 | 0 |1800 |3583 |1800 | 216 | 176k| 244k|2539 | 0.000000e+00 | 3.447000e+03 | Inf
688.89/688.96 c 689s|800000 |467491 | 1225k| 1.5 | 649M| 772 | 0 |1800 |3745 |1800 | 222 | 180k| 247k|2592 | 0.000000e+00 | 3.447000e+03 | Inf
699.00/699.00 c 699s|810000 |475188 | 1251k| 1.5 | 665M| 772 | 0 |1800 |3744 |1800 | 222 | 183k| 251k|2635 | 0.000000e+00 | 3.447000e+03 | Inf
709.00/709.09 c 709s|820000 |482547 | 1277k| 1.6 | 679M| 772 | 0 |1800 |3441 |1800 | 222 | 187k| 255k|2678 | 0.000000e+00 | 3.447000e+03 | Inf
719.09/719.14 c 719s|830000 |489907 | 1304k| 1.6 | 694M| 772 | 9 |1800 |3505 |1800 | 215 | 191k| 258k|2720 | 0.000000e+00 | 3.447000e+03 | Inf
719.70/719.77 o 3412
719.70/719.77 c * 720s|830596 |486191 | 1305k| 1.6 | 688M| 772 | - |1800 |3469 |1800 | 223 | 191k| 258k|2721 | 0.000000e+00 | 3.412000e+03 | Inf
719.70/719.79 o 3387
719.70/719.79 c * 720s|830597 |483105 | 1305k| 1.6 | 683M| 772 | - |1800 |3469 |1800 | 223 | 191k| 258k|2721 | 0.000000e+00 | 3.387000e+03 | Inf
728.80/728.87 c 729s|840000 |490258 | 1325k| 1.6 | 696M| 772 | 0 |1800 |3699 |1800 | 228 | 194k| 262k|2750 | 0.000000e+00 | 3.387000e+03 | Inf
731.60/731.61 o 3369
731.60/731.61 c * 732s|842608 |490066 | 1334k| 1.6 | 696M| 772 | - |1800 |3560 |1800 | 234 | 195k| 263k|2759 | 0.000000e+00 | 3.369000e+03 | Inf
738.90/738.96 c 739s|850000 |495630 | 1352k| 1.6 | 706M| 772 | 0 |1800 |3602 |1800 | 207 | 198k| 265k|2795 | 0.000000e+00 | 3.369000e+03 | Inf
748.59/748.63 c 749s|860000 |503156 | 1375k| 1.6 | 721M| 772 | 0 |1800 |3719 |1800 | 210 | 201k| 269k|2813 | 0.000000e+00 | 3.369000e+03 | Inf
755.00/755.02 o 3338
755.00/755.02 c * 755s|866251 |503696 | 1390k| 1.6 | 724M| 772 | - |1800 |4174 |1800 | 248 | 203k| 271k|2834 | 0.000000e+00 | 3.338000e+03 | Inf
756.59/756.63 o 3231
756.59/756.63 c * 757s|867644 |489911 | 1395k| 1.6 | 702M| 772 | - |1800 |4020 |1800 | 237 | 204k| 272k|2847 | 0.000000e+00 | 3.231000e+03 | Inf
759.00/759.02 c 759s|870000 |491617 | 1400k| 1.6 | 706M| 772 | 0 |1800 |3520 |1800 | 217 | 205k| 273k|2869 | 0.000000e+00 | 3.231000e+03 | Inf
769.00/769.07 c 769s|880000 |499253 | 1426k| 1.6 | 721M| 772 | 0 |1800 |3444 |1800 | 216 | 209k| 276k|2899 | 0.000000e+00 | 3.231000e+03 | Inf
779.30/779.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
779.30/779.35 c 779s|890000 |506502 | 1451k| 1.6 | 735M| 772 | 0 |1800 |3566 |1800 | 206 | 212k| 280k|2922 | 0.000000e+00 | 3.231000e+03 | Inf
789.49/789.59 c 790s|900000 |513827 | 1477k| 1.6 | 751M| 772 | 0 |1800 |3879 |1800 | 217 | 216k| 283k|2978 | 0.000000e+00 | 3.231000e+03 | Inf
799.61/799.64 c 800s|910000 |521190 | 1501k| 1.6 | 766M| 772 | 0 |1800 |3603 |1800 | 230 | 220k| 287k|3026 | 0.000000e+00 | 3.231000e+03 | Inf
809.60/809.68 c 810s|920000 |528228 | 1526k| 1.7 | 781M| 772 | 0 |1800 |3565 |1800 | 212 | 224k| 290k|3060 | 0.000000e+00 | 3.231000e+03 | Inf
816.11/816.12 o 3195
816.11/816.12 c * 816s|926390 |527446 | 1541k| 1.7 | 782M| 772 | - |1800 |3809 |1800 | 224 | 226k| 293k|3083 | 0.000000e+00 | 3.195000e+03 | Inf
816.11/816.14 o 3152
816.11/816.14 c * 816s|926391 |520636 | 1541k| 1.7 | 770M| 772 | - |1800 |3809 |1800 | 224 | 226k| 293k|3083 | 0.000000e+00 | 3.152000e+03 | Inf
816.11/816.19 o 3108
816.11/816.19 c * 816s|926419 |513678 | 1541k| 1.7 | 758M| 772 | - |1800 |3806 |1800 | 219 | 226k| 293k|3083 | 0.000000e+00 | 3.108000e+03 | Inf
816.21/816.22 o 3065
816.21/816.22 c * 816s|926420 |506410 | 1541k| 1.7 | 745M| 772 | - |1800 |3806 |1800 | 219 | 226k| 293k|3083 | 0.000000e+00 | 3.065000e+03 | Inf
816.30/816.30 o 3037
816.30/816.30 c * 816s|926468 |501514 | 1542k| 1.7 | 735M| 772 | - |1800 |3762 |1800 | 223 | 226k| 293k|3083 | 0.000000e+00 | 3.037000e+03 | Inf
816.30/816.34 o 2994
816.30/816.34 c * 816s|926469 |493942 | 1542k| 1.7 | 721M| 772 | - |1800 |3762 |1800 | 223 | 226k| 293k|3083 | 0.000000e+00 | 2.994000e+03 | Inf
820.20/820.21 c 820s|930000 |496321 | 1551k| 1.7 | 727M| 772 | 0 |1800 |4083 |1800 | 227 | 228k| 294k|3094 | 0.000000e+00 | 2.994000e+03 | Inf
826.80/826.84 o 2993
826.80/826.84 c * 827s|936547 |500943 | 1566k| 1.7 | 737M| 772 | - |1800 |3954 |1800 | 235 | 230k| 297k|3118 | 0.000000e+00 | 2.993000e+03 | Inf
830.40/830.42 c 830s|940000 |503491 | 1575k| 1.7 | 741M| 772 | - |1800 |3604 | 0 | 0 | 231k| 298k|3134 | 0.000000e+00 | 2.993000e+03 | Inf
840.00/840.08 o 2976
840.00/840.08 c * 840s|949154 |507117 | 1601k| 1.7 | 750M| 772 | - |1800 |3515 |1800 | 225 | 235k| 301k|3170 | 0.000000e+00 | 2.976000e+03 | Inf
840.90/840.98 c 841s|950000 |507732 | 1602k| 1.7 | 752M| 772 | 0 |1800 |3562 |1800 | 222 | 235k| 301k|3170 | 0.000000e+00 | 2.976000e+03 | Inf
851.41/851.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
851.41/851.40 c 851s|960000 |514960 | 1630k| 1.7 | 767M| 772 | 0 |1800 |3599 |1800 | 211 | 239k| 304k|3211 | 0.000000e+00 | 2.976000e+03 | Inf
861.50/861.59 c 862s|970000 |522097 | 1655k| 1.7 | 782M| 772 | - |1800 |3338 | 0 | 0 | 243k| 308k|3251 | 0.000000e+00 | 2.976000e+03 | Inf
867.30/867.31 o 2912
867.30/867.31 c * 867s|975687 |514609 | 1669k| 1.7 | 769M| 772 | - |1800 |3634 |1800 | 234 | 245k| 309k|3280 | 0.000000e+00 | 2.912000e+03 | Inf
868.91/868.96 o 2878
868.91/868.96 c * 869s|977197 |509264 | 1673k| 1.7 | 759M| 772 | - |1800 |3696 |1800 | 231 | 245k| 310k|3286 | 0.000000e+00 | 2.878000e+03 | Inf
871.89/871.96 c 872s|980000 |511303 | 1681k| 1.7 | 763M| 772 | 0 |1800 |3370 |1800 | 222 | 247k| 311k|3304 | 0.000000e+00 | 2.878000e+03 | Inf
882.20/882.23 c 882s|990000 |518531 | 1708k| 1.7 | 779M| 772 | 0 |1800 |3353 |1800 | 211 | 250k| 314k|3326 | 0.000000e+00 | 2.878000e+03 | Inf
887.40/887.48 o 2823
887.40/887.48 c * 887s|995048 |511256 | 1721k| 1.7 | 767M| 772 | - |1800 |3174 |1800 | 217 | 252k| 316k|3347 | 0.000000e+00 | 2.823000e+03 | Inf
892.80/892.83 c 893s| 1000k|514676 | 1736k| 1.7 | 775M| 772 | 0 |1800 |3393 |1800 | 221 | 255k| 318k|3385 | 0.000000e+00 | 2.823000e+03 | Inf
903.29/903.39 c 903s| 1010k|521517 | 1764k| 1.7 | 791M| 772 | 0 |1800 |3437 |1800 | 220 | 259k| 321k|3414 | 0.000000e+00 | 2.823000e+03 | Inf
909.40/909.40 o 2770
909.40/909.40 c * 909s| 1015k|514345 | 1781k| 1.8 | 777M| 772 | - |1800 |3475 |1800 | 226 | 262k| 323k|3433 | 0.000000e+00 | 2.770000e+03 | Inf
909.40/909.42 o 2740
909.40/909.42 c * 909s| 1015k|507991 | 1781k| 1.8 | 765M| 772 | - |1800 |3475 |1800 | 226 | 262k| 323k|3433 | 0.000000e+00 | 2.740000e+03 | Inf
914.20/914.23 c 914s| 1020k|511117 | 1794k| 1.8 | 772M| 772 | 0 |1800 |3645 |1800 | 223 | 263k| 325k|3442 | 0.000000e+00 | 2.740000e+03 | Inf
917.20/917.22 o 2722
917.20/917.22 c * 917s| 1022k|508979 | 1803k| 1.8 | 768M| 772 | - |1800 |3282 |1800 | 222 | 264k| 326k|3464 | 0.000000e+00 | 2.722000e+03 | Inf
917.20/917.25 o 2695
917.20/917.25 c * 917s| 1022k|503293 | 1803k| 1.8 | 757M| 772 | - |1800 |3282 |1800 | 223 | 264k| 326k|3464 | 0.000000e+00 | 2.695000e+03 | Inf
917.20/917.28 o 2652
917.20/917.28 c R 917s| 1022k|494118 | 1803k| 1.8 | 739M| 772 | - |1800 |3282 |1800 | 223 | 264k| 326k|3464 | 0.000000e+00 | 2.652000e+03 | Inf
925.50/925.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
925.50/925.52 c 926s| 1030k|499098 | 1827k| 1.8 | 751M| 772 | 0 |1800 |3321 |1800 | 220 | 268k| 329k|3488 | 0.000000e+00 | 2.652000e+03 | Inf
936.30/936.39 c 936s| 1040k|505867 | 1857k| 1.8 | 767M| 772 | 0 |1800 |3390 |1800 | 213 | 273k| 333k|3534 | 0.000000e+00 | 2.652000e+03 | Inf
946.50/946.50 c 946s| 1050k|513093 | 1880k| 1.8 | 782M| 772 | 0 |1800 |3514 |1800 | 222 | 276k| 336k|3554 | 0.000000e+00 | 2.652000e+03 | Inf
957.80/957.82 c 958s| 1060k|519900 | 1918k| 1.8 | 797M| 772 | 0 |1800 |3116 |1800 | 213 | 281k| 340k|3620 | 0.000000e+00 | 2.652000e+03 | Inf
968.01/968.01 c 968s| 1070k|526960 | 1945k| 1.8 | 813M| 772 | 0 |1800 |3808 |1800 | 214 | 285k| 343k|3652 | 0.000000e+00 | 2.652000e+03 | Inf
974.40/974.41 o 2651
974.40/974.41 c * 974s| 1076k|530902 | 1960k| 1.8 | 822M| 772 | - |1800 |3861 |1800 | 222 | 287k| 346k|3672 | 0.000000e+00 | 2.651000e+03 | Inf
974.40/974.44 o 2618
974.40/974.44 c * 974s| 1076k|523505 | 1960k| 1.8 | 807M| 772 | - |1800 |3861 |1800 | 222 | 287k| 346k|3672 | 0.000000e+00 | 2.618000e+03 | Inf
974.51/974.52 o 2567
974.51/974.52 c * 975s| 1076k|511704 | 1960k| 1.8 | 783M| 772 | - |1800 |3858 |1800 | 226 | 287k| 346k|3674 | 0.000000e+00 | 2.567000e+03 | Inf
978.50/978.54 c 979s| 1080k|514271 | 1969k| 1.8 | 789M| 772 | 0 |1800 |3766 |1800 | 207 | 289k| 347k|3681 | 0.000000e+00 | 2.567000e+03 | Inf
989.10/989.18 c 989s| 1090k|521161 | 1997k| 1.8 | 805M| 772 | 0 |1800 |3592 |1800 | 217 | 292k| 350k|3719 | 0.000000e+00 | 2.567000e+03 | Inf
999.80/999.82 c 1000s| 1100k|527929 | 2024k| 1.8 | 822M| 772 | 0 |1800 |3650 |1800 | 224 | 297k| 354k|3739 | 0.000000e+00 | 2.567000e+03 | Inf
1010.70/1010.73 c 1011s| 1110k|534438 | 2055k| 1.9 | 838M| 772 | 0 |1800 |3793 |1800 | 226 | 301k| 358k|3785 | 0.000000e+00 | 2.567000e+03 | Inf
1021.10/1021.15 c 1021s| 1120k|541260 | 2079k| 1.9 | 853M| 772 | - |1800 |3622 | 0 | 0 | 305k| 361k|3810 | 0.000000e+00 | 2.567000e+03 | Inf
1031.80/1031.82 c 1032s| 1130k|548152 | 2109k| 1.9 | 870M| 772 | 0 |1800 |3811 |1800 | 212 | 309k| 365k|3856 | 0.000000e+00 | 2.567000e+03 | Inf
1032.00/1032.02 o 2520
1032.00/1032.02 c *1032s| 1130k|536845 | 2110k| 1.9 | 847M| 772 | - |1800 |3805 |1800 | 225 | 309k| 365k|3860 | 0.000000e+00 | 2.520000e+03 | Inf
1032.30/1032.39 o 2518
1032.30/1032.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.30/1032.39 c *1032s| 1130k|536462 | 2113k| 1.9 | 847M| 772 | - |1800 |3768 |1800 | 270 | 309k| 365k|3864 | 0.000000e+00 | 2.518000e+03 | Inf
1032.40/1032.43 o 2475
1032.40/1032.43 c *1032s| 1130k|525804 | 2113k| 1.9 | 824M| 772 | - |1800 |3768 |1800 | 270 | 309k| 365k|3864 | 0.000000e+00 | 2.475000e+03 | Inf
1043.00/1043.10 c 1043s| 1140k|532455 | 2144k| 1.9 | 839M| 772 | 0 |1800 |3421 |1800 | 220 | 314k| 368k|3901 | 0.000000e+00 | 2.475000e+03 | Inf
1054.00/1054.02 c 1054s| 1150k|539131 | 2174k| 1.9 | 856M| 772 | 0 |1800 |3538 |1800 | 222 | 318k| 372k|3940 | 0.000000e+00 | 2.475000e+03 | Inf
1057.80/1057.89 o 2435
1057.80/1057.89 c *1058s| 1153k|531100 | 2183k| 1.9 | 840M| 772 | - |1800 |3546 |1800 | 250 | 320k| 373k|3945 | 0.000000e+00 | 2.435000e+03 | Inf
1064.50/1064.57 c 1065s| 1160k|535444 | 2200k| 1.9 | 850M| 772 | 0 |1800 |3554 |1800 | 210 | 322k| 376k|3973 | 0.000000e+00 | 2.435000e+03 | Inf
1075.71/1075.75 c 1076s| 1170k|542160 | 2234k| 1.9 | 867M| 772 | 0 |1800 |3715 |1800 | 229 | 327k| 379k|4010 | 0.000000e+00 | 2.435000e+03 | Inf
1086.81/1086.87 c 1087s| 1180k|548799 | 2269k| 1.9 | 883M| 772 | 0 |1800 |3712 |1800 | 225 | 331k| 383k|4059 | 0.000000e+00 | 2.435000e+03 | Inf
1097.50/1097.53 c 1098s| 1190k|555535 | 2296k| 1.9 | 900M| 772 | 0 |1800 |4237 |1800 | 217 | 335k| 387k|4087 | 0.000000e+00 | 2.435000e+03 | Inf
1108.10/1108.12 c 1108s| 1200k|562364 | 2324k| 1.9 | 915M| 772 | 0 |1800 |3684 |1800 | 214 | 340k| 390k|4112 | 0.000000e+00 | 2.435000e+03 | Inf
1115.91/1115.90 o 2320
1115.91/1115.90 c *1116s| 1206k|536118 | 2347k| 1.9 | 862M| 772 | - |1800 |3787 |1800 | 236 | 343k| 393k|4147 | 0.000000e+00 | 2.320000e+03 | Inf
1115.91/1115.94 o 2277
1115.91/1115.94 c *1116s| 1206k|524831 | 2347k| 1.9 | 840M| 772 | - |1800 |3787 |1800 | 236 | 343k| 393k|4147 | 0.000000e+00 | 2.277000e+03 | Inf
1120.00/1120.07 c 1120s| 1210k|526775 | 2368k| 2.0 | 846M| 772 | 0 |1800 |3512 |1800 | 215 | 346k| 394k|4179 | 0.000000e+00 | 2.277000e+03 | Inf
1131.30/1131.38 c 1131s| 1220k|533381 | 2403k| 2.0 | 863M| 772 | 0 |1800 |3653 |1800 | 223 | 351k| 397k|4203 | 0.000000e+00 | 2.277000e+03 | Inf
1142.61/1142.62 c 1143s| 1230k|540086 | 2436k| 2.0 | 880M| 772 | 0 |1800 |3583 |1800 | 219 | 355k| 401k|4244 | 0.000000e+00 | 2.277000e+03 | Inf
1153.61/1153.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1153.61/1153.62 c 1154s| 1240k|546806 | 2464k| 2.0 | 897M| 772 | 0 |1800 |4031 |1800 | 219 | 359k| 404k|4279 | 0.000000e+00 | 2.277000e+03 | Inf
1155.81/1155.86 o 2274
1155.81/1155.86 c *1156s| 1241k|547236 | 2472k| 2.0 | 898M| 772 | - |1800 |4104 |1800 | 251 | 360k| 405k|4283 | 0.000000e+00 | 2.274000e+03 | Inf
1164.81/1164.88 c 1165s| 1250k|552591 | 2495k| 2.0 | 910M| 772 | 0 |1800 |3826 |1800 | 231 | 364k| 408k|4322 | 0.000000e+00 | 2.274000e+03 | Inf
1175.81/1175.81 c 1176s| 1260k|559089 | 2522k| 2.0 | 926M| 772 | 0 |1800 |3778 |1800 | 243 | 368k| 411k|4355 | 0.000000e+00 | 2.274000e+03 | Inf
1186.70/1186.70 c 1187s| 1270k|565747 | 2551k| 2.0 | 942M| 772 | 0 |1800 |3667 |1800 | 237 | 372k| 415k|4374 | 0.000000e+00 | 2.274000e+03 | Inf
1197.91/1197.94 c 1198s| 1280k|572124 | 2585k| 2.0 | 958M| 772 | 0 |1800 |3583 |1800 | 225 | 377k| 419k|4422 | 0.000000e+00 | 2.274000e+03 | Inf
1203.00/1203.04 o 2177
1203.00/1203.04 c *1203s| 1284k|547671 | 2602k| 2.0 | 913M| 772 | - |1800 |3394 |1800 | 236 | 379k| 420k|4439 | 0.000000e+00 | 2.177000e+03 | Inf
1209.60/1209.64 c 1210s| 1290k|551134 | 2628k| 2.0 | 923M| 772 | 29 |1800 |3651 |1800 | 240 | 382k| 422k|4479 | 0.000000e+00 | 2.177000e+03 | Inf
1212.70/1212.72 o 2150
1212.70/1212.72 c *1213s| 1292k|545047 | 2637k| 2.0 | 914M| 772 | - |1800 |3498 |1800 | 229 | 383k| 423k|4481 | 0.000000e+00 | 2.150000e+03 | Inf
1221.41/1221.44 c 1221s| 1300k|549904 | 2666k| 2.1 | 927M| 772 | - |1800 |3344 | 0 | 0 | 387k| 426k|4512 | 0.000000e+00 | 2.150000e+03 | Inf
1232.51/1232.53 c 1233s| 1310k|556365 | 2695k| 2.1 | 944M| 772 | 0 |1800 |3657 |1800 | 229 | 391k| 429k|4527 | 0.000000e+00 | 2.150000e+03 | Inf
1244.20/1244.25 c 1244s| 1320k|562678 | 2731k| 2.1 | 961M| 772 | 0 |1800 |3794 |1800 | 214 | 397k| 433k|4562 | 0.000000e+00 | 2.150000e+03 | Inf
1255.60/1255.60 c 1256s| 1330k|568791 | 2765k| 2.1 | 976M| 772 | - |1800 |3799 | 0 | 0 | 401k| 438k|4606 | 0.000000e+00 | 2.150000e+03 | Inf
1266.81/1266.81 c 1267s| 1340k|575132 | 2796k| 2.1 | 993M| 772 | - |1800 |3556 |1800 | 236 | 406k| 441k|4636 | 0.000000e+00 | 2.150000e+03 | Inf
1267.70/1267.71 o 2067
1267.70/1267.71 c *1268s| 1340k|550757 | 2799k| 2.1 | 948M| 772 | - |1800 |3584 |1800 | 233 | 406k| 442k|4637 | 0.000000e+00 | 2.067000e+03 | Inf
1267.80/1267.82 o 1958
1267.80/1267.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1267.80/1267.82 c *1268s| 1340k|518548 | 2799k| 2.1 | 888M| 772 | - |1800 |3584 |1800 | 233 | 406k| 442k|4637 | 0.000000e+00 | 1.958000e+03 | Inf
1275.51/1275.52 o 1926
1275.51/1275.52 c *1276s| 1347k|512792 | 2822k| 2.1 | 882M| 772 | - |1800 |3650 |1800 | 258 | 409k| 444k|4669 | 0.000000e+00 | 1.926000e+03 | Inf
1275.51/1275.54 o 1917
1275.51/1275.54 c *1276s| 1347k|510173 | 2822k| 2.1 | 877M| 772 | - |1800 |3650 |1800 | 258 | 409k| 444k|4669 | 0.000000e+00 | 1.917000e+03 | Inf
1278.80/1278.83 c 1279s| 1350k|511957 | 2835k| 2.1 | 881M| 772 | 0 |1800 |3472 |1800 | 225 | 410k| 445k|4671 | 0.000000e+00 | 1.917000e+03 | Inf
1290.01/1290.08 c 1290s| 1360k|518399 | 2868k| 2.1 | 897M| 772 | 11 |1800 |3292 |1800 | 206 | 415k| 448k|4708 | 0.000000e+00 | 1.917000e+03 | Inf
1301.70/1301.77 c 1302s| 1370k|524407 | 2903k| 2.1 | 916M| 772 | 0 |1800 |3724 |1800 | 216 | 420k| 452k|4747 | 0.000000e+00 | 1.917000e+03 | Inf
1313.20/1313.24 c 1313s| 1380k|530565 | 2936k| 2.1 | 933M| 772 | 0 |1800 |3413 |1800 | 224 | 425k| 456k|4783 | 0.000000e+00 | 1.917000e+03 | Inf
1324.71/1324.79 c 1325s| 1390k|536704 | 2968k| 2.1 | 950M| 772 | 0 |1800 |3560 |1800 | 217 | 429k| 459k|4814 | 0.000000e+00 | 1.917000e+03 | Inf
1336.41/1336.42 c 1336s| 1400k|542950 | 3003k| 2.1 | 968M| 772 | - |1800 |3709 | 0 | 0 | 435k| 463k|4853 | 0.000000e+00 | 1.917000e+03 | Inf
1348.81/1348.89 c 1349s| 1410k|549115 | 3046k| 2.2 | 988M| 772 | 0 |1800 |3889 |1800 | 214 | 441k| 467k|4895 | 0.000000e+00 | 1.917000e+03 | Inf
1353.51/1353.54 o 1901
1353.51/1353.54 c *1354s| 1414k|546677 | 3059k| 2.2 | 985M| 772 | - |1800 |3281 |1800 | 219 | 443k| 469k|4903 | 0.000000e+00 | 1.901000e+03 | Inf
1355.81/1355.86 o 1900
1355.81/1355.86 c *1356s| 1415k|547479 | 3067k| 2.2 | 987M| 772 | - |1800 |3337 |1800 | 225 | 444k| 469k|4913 | 0.000000e+00 | 1.900000e+03 | Inf
1361.11/1361.10 c 1361s| 1420k|549949 | 3086k| 2.2 | 995M| 772 | 0 |1800 |3204 |1800 | 241 | 446k| 471k|4938 | 0.000000e+00 | 1.900000e+03 | Inf
1373.01/1373.01 c 1373s| 1430k|555985 | 3122k| 2.2 |1013M| 772 | 0 |1800 |3657 |1800 | 219 | 452k| 475k|4978 | 0.000000e+00 | 1.900000e+03 | Inf
1384.71/1384.76 c 1385s| 1440k|561902 | 3158k| 2.2 |1030M| 772 | 0 |1800 |3694 |1800 | 225 | 457k| 479k|5011 | 0.000000e+00 | 1.900000e+03 | Inf
1396.21/1396.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1396.21/1396.21 c 1396s| 1450k|568359 | 3191k| 2.2 |1049M| 772 | 0 |1800 |3396 |1800 | 205 | 461k| 482k|5041 | 0.000000e+00 | 1.900000e+03 | Inf
1399.71/1399.77 o 1861
1399.71/1399.77 c *1400s| 1453k|557501 | 3202k| 2.2 |1028M| 772 | - |1800 |3674 |1800 | 245 | 463k| 483k|5056 | 0.000000e+00 | 1.861000e+03 | Inf
1408.50/1408.55 c 1409s| 1460k|561590 | 3234k| 2.2 |1041M| 772 | 0 |1800 |3342 |1800 | 219 | 467k| 486k|5086 | 0.000000e+00 | 1.861000e+03 | Inf
1420.60/1420.64 c 1421s| 1470k|567433 | 3276k| 2.2 |1058M| 772 | 0 |1800 |3514 |1800 | 213 | 473k| 490k|5123 | 0.000000e+00 | 1.861000e+03 | Inf
1430.61/1430.64 o 1844
1430.61/1430.64 c *1431s| 1477k|566674 | 3339k| 2.3 |1063M| 772 | - |1800 |3736 |1800 | 273 | 480k| 493k|5175 | 0.000000e+00 | 1.844000e+03 | Inf
1430.61/1430.69 o 1785
1430.61/1430.69 c *1431s| 1477k|546749 | 3339k| 2.3 |1026M| 772 | - |1800 |3736 |1800 | 273 | 480k| 493k|5175 | 0.000000e+00 | 1.785000e+03 | Inf
1434.41/1434.44 c 1434s| 1480k|548261 | 3353k| 2.3 |1031M| 772 | 0 |1800 |3784 |1800 | 239 | 482k| 494k|5178 | 0.000000e+00 | 1.785000e+03 | Inf
1446.71/1446.71 c 1447s| 1490k|553847 | 3393k| 2.3 |1047M| 772 | 0 |1800 |3677 |1800 | 223 | 487k| 499k|5215 | 0.000000e+00 | 1.785000e+03 | Inf
1458.81/1458.83 c 1459s| 1500k|559717 | 3432k| 2.3 |1065M| 772 | 0 |1800 |3740 |1800 | 229 | 492k| 502k|5257 | 0.000000e+00 | 1.785000e+03 | Inf
1471.11/1471.16 c 1471s| 1510k|565415 | 3475k| 2.3 |1083M| 772 | - |1800 |3481 | 0 | 0 | 498k| 506k|5294 | 0.000000e+00 | 1.785000e+03 | Inf
1477.91/1477.93 o 1739
1477.91/1477.93 c *1478s| 1515k|552965 | 3496k| 2.3 |1060M| 772 | - |1800 |3556 |1800 | 215 | 500k| 509k|5314 | 0.000000e+00 | 1.739000e+03 | Inf
1483.41/1483.42 c 1483s| 1520k|555668 | 3514k| 2.3 |1068M| 772 | 0 |1800 |3647 |1800 | 234 | 503k| 511k|5329 | 0.000000e+00 | 1.739000e+03 | Inf
1495.81/1495.82 c 1496s| 1530k|561745 | 3563k| 2.3 |1088M| 772 | 0 |1800 |3175 |1800 | 214 | 509k| 514k|5369 | 0.000000e+00 | 1.739000e+03 | Inf
1507.91/1507.98 c 1508s| 1540k|567266 | 3602k| 2.3 |1107M| 772 | 0 |1800 |3375 |1800 | 223 | 515k| 518k|5406 | 0.000000e+00 | 1.739000e+03 | Inf
1517.10/1517.11 o 1700
1517.10/1517.11 c *1517s| 1547k|558359 | 3631k| 2.3 |1093M| 772 | - |1800 |3581 |1800 | 237 | 519k| 521k|5436 | 0.000000e+00 | 1.700000e+03 | Inf
1520.22/1520.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1520.22/1520.23 c 1520s| 1550k|559731 | 3643k| 2.4 |1098M| 772 | - |1800 |3668 | 0 | 0 | 521k| 522k|5439 | 0.000000e+00 | 1.700000e+03 | Inf
1523.91/1523.90 o 1679
1523.91/1523.90 c *1524s| 1553k|553857 | 3655k| 2.4 |1087M| 772 | - |1800 |3586 |1800 | 220 | 522k| 524k|5463 | 0.000000e+00 | 1.679000e+03 | Inf
1532.91/1532.97 c 1533s| 1560k|557557 | 3683k| 2.4 |1100M| 772 | 0 |1800 |3810 |1800 | 224 | 527k| 527k|5472 | 0.000000e+00 | 1.679000e+03 | Inf
1546.01/1546.05 c 1546s| 1570k|563147 | 3735k| 2.4 |1119M| 772 | 0 |1800 |3560 |1800 | 217 | 533k| 531k|5530 | 0.000000e+00 | 1.679000e+03 | Inf
1552.20/1552.28 o 1674
1552.20/1552.28 c *1552s| 1574k|563979 | 3761k| 2.4 |1125M| 772 | - |1800 |3347 |1800 | 228 | 536k| 533k|5549 | 0.000000e+00 | 1.674000e+03 | Inf
1558.61/1558.70 o 1665
1558.61/1558.70 c *1559s| 1579k|563445 | 3789k| 2.4 |1128M| 772 | - |1800 |3472 |1800 | 220 | 540k| 535k|5588 | 0.000000e+00 | 1.665000e+03 | Inf
1559.51/1559.51 c 1560s| 1580k|563749 | 3792k| 2.4 |1129M| 772 | 0 |1800 |3404 |1800 | 223 | 540k| 536k|5588 | 0.000000e+00 | 1.665000e+03 | Inf
1572.21/1572.23 c 1572s| 1590k|569302 | 3838k| 2.4 |1148M| 772 | 0 |1800 |3712 |1800 | 220 | 547k| 540k|5625 | 0.000000e+00 | 1.665000e+03 | Inf
1584.41/1584.49 c 1584s| 1600k|574747 | 3880k| 2.4 |1165M| 772 | 0 |1800 |3536 |1800 | 229 | 552k| 544k|5665 | 0.000000e+00 | 1.665000e+03 | Inf
1596.91/1596.96 c 1597s| 1610k|580348 | 3927k| 2.4 |1185M| 772 | 0 |1800 |3369 |1800 | 206 | 559k| 548k|5703 | 0.000000e+00 | 1.665000e+03 | Inf
1609.32/1609.34 c 1609s| 1620k|585950 | 3970k| 2.5 |1204M| 772 | - |1800 |3479 | 0 | 0 | 565k| 553k|5741 | 0.000000e+00 | 1.665000e+03 | Inf
1622.11/1622.10 o 1594
1622.11/1622.10 c *1622s| 1629k|565568 | 4020k| 2.5 |1171M| 772 | - |1800 |3589 |1800 | 234 | 571k| 557k|5780 | 0.000000e+00 | 1.594000e+03 | Inf
1622.11/1622.15 c 1622s| 1630k|565589 | 4020k| 2.5 |1171M| 772 | - |1800 |3593 | 0 | 0 | 571k| 557k|5780 | 0.000000e+00 | 1.594000e+03 | Inf
1635.51/1635.50 c 1635s| 1640k|570977 | 4075k| 2.5 |1191M| 772 | 0 |1800 |3277 |1800 | 206 | 578k| 561k|5824 | 0.000000e+00 | 1.594000e+03 | Inf
1647.91/1647.90 c 1648s| 1650k|576666 | 4119k| 2.5 |1210M| 772 | 0 |1800 |3402 |1800 | 217 | 584k| 565k|5855 | 0.000000e+00 | 1.594000e+03 | Inf
1660.71/1660.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1660.71/1660.77 c 1661s| 1660k|582224 | 4164k| 2.5 |1229M| 772 | - |1800 |3541 | 0 | 0 | 590k| 570k|5898 | 0.000000e+00 | 1.594000e+03 | Inf
1665.61/1665.61 o 1573
1665.61/1665.61 c *1666s| 1663k|576348 | 4180k| 2.5 |1219M| 772 | - |1800 |3548 |1800 | 249 | 592k| 571k|5923 | 0.000000e+00 | 1.573000e+03 | Inf
1674.01/1674.00 c 1674s| 1670k|579672 | 4216k| 2.5 |1231M| 772 | 0 |1800 |3359 |1800 | 228 | 597k| 574k|5949 | 0.000000e+00 | 1.573000e+03 | Inf
1686.91/1686.98 c 1687s| 1680k|585273 | 4265k| 2.5 |1250M| 772 | - |1800 |3374 | 0 | 0 | 603k| 578k|5972 | 0.000000e+00 | 1.573000e+03 | Inf
1699.91/1699.98 c 1700s| 1690k|590530 | 4313k| 2.6 |1269M| 772 | 0 |1800 |3473 |1800 | 220 | 610k| 582k|6012 | 0.000000e+00 | 1.573000e+03 | Inf
1712.71/1712.77 c 1713s| 1700k|595888 | 4362k| 2.6 |1290M| 772 | 0 |1800 |3473 |1800 | 206 | 616k| 587k|6058 | 0.000000e+00 | 1.573000e+03 | Inf
1725.61/1725.69 c 1726s| 1710k|601481 | 4417k| 2.6 |1310M| 772 | 0 |1800 |3811 |1800 | 208 | 622k| 591k|6104 | 0.000000e+00 | 1.573000e+03 | Inf
1727.11/1727.17 o 1535
1727.11/1727.17 c *1727s| 1710k|587502 | 4427k| 2.6 |1282M| 772 | - |1800 |3978 |1800 | 232 | 623k| 592k|6108 | 0.000000e+00 | 1.535000e+03 | Inf
1739.82/1739.82 c 1740s| 1720k|592261 | 4481k| 2.6 |1301M| 772 | 0 |1800 |3362 |1800 | 222 | 631k| 596k|6143 | 0.000000e+00 | 1.535000e+03 | Inf
1752.91/1752.98 c 1753s| 1730k|597565 | 4531k| 2.6 |1320M| 772 | 0 |1800 |3695 |1800 | 231 | 638k| 600k|6176 | 0.000000e+00 | 1.535000e+03 | Inf
1757.11/1757.17 o 1413
1757.11/1757.17 c *1757s| 1733k|550385 | 4544k| 2.6 |1221M| 772 | - |1800 |3807 |1800 | 238 | 639k| 602k|6196 | 0.000000e+00 | 1.413000e+03 | Inf
1766.11/1766.10 c 1766s| 1740k|553950 | 4574k| 2.6 |1234M| 772 | 24 |1800 |3393 |1800 | 212 | 643k| 604k|6213 | 0.000000e+00 | 1.413000e+03 | Inf
1779.52/1779.51 c 1779s| 1750k|558998 | 4622k| 2.6 |1255M| 772 | - |1800 |3406 | 0 | 0 | 650k| 609k|6243 | 0.000000e+00 | 1.413000e+03 | Inf
1788.41/1788.50 o 1382
1788.41/1788.50 c *1788s| 1756k|550611 | 4659k| 2.7 |1245M| 772 | - |1800 |3454 |1800 | 240 | 654k| 612k|6282 | 0.000000e+00 | 1.382000e+03 | Inf
1789.11/1789.14 o 1321
1789.11/1789.14 c *1789s| 1756k|527226 | 4663k| 2.7 |1195M| 772 | - |1800 |3528 |1800 | 207 | 654k| 612k|6282 | 0.000000e+00 | 1.321000e+03 | Inf
1789.21/1789.21 o 1291
1789.21/1789.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1789.21/1789.21 c *1789s| 1756k|514445 | 4663k| 2.7 |1167M| 772 | - |1800 |3528 |1800 | 207 | 654k| 612k|6282 | 0.000000e+00 | 1.291000e+03 | Inf
1789.31/1789.31 o 1224
1789.31/1789.31 c *1789s| 1757k|487017 | 4663k| 2.7 |1105M| 772 | - |1800 |3528 |1800 | 207 | 654k| 612k|6282 | 0.000000e+00 | 1.224000e+03 | Inf
1790.01/1790.00 c
1790.01/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1790.01/1790.00 c Solving Time (sec) : 1789.99
1790.01/1790.00 c Solving Nodes : 1757444
1790.01/1790.00 c Primal Bound : +1.22400000000000e+03 (247 solutions)
1790.01/1790.00 c Dual Bound : +0.00000000000000e+00
1790.01/1790.00 c Gap : infinite
1790.01/1790.01 s SATISFIABLE
1790.01/1790.01 v x200 -x199 -x198 x197 -x196 x195 -x194 x193 -x192 x191 x190 -x189 x188 -x187 -x186 x185 -x184 x183 x182 -x181 -x180 x179 -x178
1790.01/1790.01 v x177 x176 -x175 x174 -x173 -x172 x171 x170 -x169 x168 -x167 -x166 x165 x164 -x163 -x162 x161 x160 -x159 -x158 x157 -x156 x155
1790.01/1790.01 v x154 -x153 x152 -x151 x150 -x149 -x148 x147 x146 -x145 x144 -x143 -x142 x141 x140 -x139 x138 -x137 x136 -x135 -x134 x133 -x132
1790.01/1790.01 v x131 x130 -x129 -x128 x127 x126 -x125 -x124 x123 -x122 x121 -x120 x119 x118 -x117 -x116 x115 -x114 x113 x112 -x111 -x110 x109
1790.01/1790.01 v x108 -x107 x106 -x105 x104 -x103 x102 -x101 x100 -x99 -x98 x97 -x96 x95 -x94 x93 x92 -x91 -x90 x89 x88 -x87 x86 -x85 -x84
1790.01/1790.01 v x83 -x82 x81 -x80 x79 x78 -x77 x76 -x75 x74 -x73 x72 -x71 x70 -x69 -x68 x67 -x66 x65 x64 -x63 -x62 x61 -x60 x59 -x58 x57 x56
1790.01/1790.01 v -x55 x54 -x53 x52 -x51 -x50 x49 x48 -x47 -x46 x45 -x44 x43 -x42 x41 x40 -x39 -x38 x37 x36 -x35 -x34 x33 -x32 x31 -x30 x29 -x28
1790.01/1790.01 v x27 -x26 x25 x24 -x23 -x22 x21 x20 -x19 x18 -x17 x16 -x15 x14 -x13 x12 -x11 x10 -x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
1790.01/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.01/1790.01 c Solving Time : 1789.99
1790.01/1790.01 c Original Problem :
1790.01/1790.01 c Problem name : HOME/instance-2705725-1278579891.wbo
1790.01/1790.01 c Variables : 1900 (1050 binary, 0 integer, 850 implicit integer, 0 continuous)
1790.01/1790.01 c Constraints : 1801 initial, 1801 maximal
1790.01/1790.01 c Presolved Problem :
1790.01/1790.01 c Problem name : t_HOME/instance-2705725-1278579891.wbo
1790.01/1790.01 c Variables : 1800 (950 binary, 0 integer, 850 implicit integer, 0 continuous)
1790.01/1790.01 c Constraints : 1700 initial, 9192 maximal
1790.01/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.01/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1790.01/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1790.01/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.01/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.01/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1790.01/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1790.01/1790.01 c linear : 0.02 0 100 0 850 0 101 0 0
1790.01/1790.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1790.01/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.01/1790.01 c root node : - 0 - - 0 - - - -
1790.01/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.01/1790.01 c integral : 0 0 0 1796068 0 1 72 0 0 46408
1790.01/1790.01 c linear : 850 6 4604244 1772726 0 28482 2928537 655367 0 0
1790.01/1790.01 c indicator : 850 0 4576261 1772798 0 27264 57890520 0 0 0
1790.01/1790.01 c logicor : 0+ 0 2290824 0 0 18516 1575518 0 0 0
1790.01/1790.01 c countsols : 0 0 0 1532342 0 0 0 0 0 0
1790.01/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.01/1790.01 c integral : 6.72 0.00 0.00 6.72 0.00
1790.01/1790.01 c linear : 110.83 0.00 57.42 53.40 0.00
1790.01/1790.01 c indicator : 268.54 0.05 156.85 111.64 0.00
1790.01/1790.01 c logicor : 35.78 0.00 35.78 0.00 0.00
1790.01/1790.01 c countsols : 0.21 0.00 0.00 0.21 0.00
1790.01/1790.01 c Propagators : Time Calls Cutoffs DomReds
1790.01/1790.01 c vbounds : 0.82 2 0 0
1790.01/1790.01 c rootredcost : 0.81 148 0 0
1790.01/1790.01 c pseudoobj : 115.20 4795563 191013 54903575
1790.01/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.01/1790.01 c propagation : 11.69 238011 236314 692130 22.1 3652 13.0 -
1790.01/1790.01 c infeasible LP : 0.02 147 147 457 16.5 6 24.0 0
1790.01/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.01/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.01/1790.01 c pseudo solution : 0.00 9 9 31 21.1 0 0.0 -
1790.01/1790.01 c applied globally : - - - 612708 21.2 - - -
1790.01/1790.01 c applied locally : - - - 0 0.0 - - -
1790.01/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.01/1790.01 c cut pool : 0.00 4 - - 30 - (maximal pool size: 205)
1790.01/1790.01 c redcost : 77.34 1858502 0 4057807 0 0
1790.01/1790.01 c impliedbounds : 0.00 5 0 0 0 0
1790.01/1790.01 c intobj : 0.00 0 0 0 0 0
1790.01/1790.01 c cgmip : 0.00 0 0 0 0 0
1790.01/1790.01 c gomory : 0.02 5 0 0 221 0
1790.01/1790.01 c strongcg : 0.02 5 0 0 235 0
1790.01/1790.01 c cmir : 0.01 5 0 0 0 0
1790.01/1790.01 c flowcover : 0.02 5 0 0 0 0
1790.01/1790.01 c clique : 0.00 1 0 0 0 0
1790.01/1790.01 c zerohalf : 0.00 0 0 0 0 0
1790.01/1790.01 c mcf : 0.00 1 0 0 0 0
1790.01/1790.01 c rapidlearning : 0.06 1 0 0 0 0
1790.01/1790.01 c Pricers : Time Calls Vars
1790.01/1790.01 c problem variables: 0.00 0 0
1790.01/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.01/1790.01 c relpscost : 6.20 23265 1 72 0 0 46408
1790.01/1790.01 c pscost : 0.00 0 0 0 0 0 0
1790.01/1790.01 c inference : 211.16 1532196 0 0 0 0 3064392
1790.01/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1790.01/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1790.01/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1790.01/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1790.01/1790.01 c random : 0.00 0 0 0 0 0 0
1790.01/1790.01 c Primal Heuristics : Time Calls Found
1790.01/1790.01 c LP solutions : 2.76 - 146
1790.01/1790.01 c pseudo solutions : 0.00 - 0
1790.01/1790.01 c feaspump : 0.01 0 0
1790.01/1790.01 c intshifting : 0.01 0 0
1790.01/1790.01 c oneopt : 0.60 111 0
1790.01/1790.01 c coefdiving : 1.18 1847 0
1790.01/1790.01 c pscostdiving : 1.16 1847 0
1790.01/1790.01 c fracdiving : 1.16 1847 0
1790.01/1790.01 c veclendiving : 1.16 1847 0
1790.01/1790.01 c linesearchdiving : 1.17 1847 0
1790.01/1790.01 c guideddiving : 1.16 1847 0
1790.01/1790.01 c objpscostdiving : 1.21 1845 0
1790.01/1790.01 c rootsoldiving : 1.22 1845 0
1790.01/1790.01 c trivial : 0.00 2 1
1790.01/1790.01 c simplerounding : 0.62 27371 0
1790.01/1790.01 c zirounding : 0.35 1000 0
1790.01/1790.01 c rounding : 0.60 9333 2
1790.01/1790.01 c shifting : 0.16 687 0
1790.01/1790.01 c twoopt : 0.00 0 0
1790.01/1790.01 c fixandinfer : 0.00 0 0
1790.01/1790.01 c intdiving : 0.00 0 0
1790.01/1790.01 c actconsdiving : 0.00 0 0
1790.01/1790.01 c octane : 0.00 0 0
1790.01/1790.01 c rens : 0.01 1 0
1790.01/1790.01 c rins : 0.00 0 0
1790.01/1790.01 c localbranching : 0.00 0 0
1790.01/1790.01 c mutation : 0.00 0 0
1790.01/1790.01 c crossover : 5.56 335 5
1790.01/1790.01 c dins : 0.00 0 0
1790.01/1790.01 c undercover : 0.00 0 0
1790.01/1790.01 c nlp : 0.25 0 0
1790.01/1790.01 c trysol : 0.46 2098 93
1790.01/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1790.01/1790.01 c primal LP : 0.00 0 0 0.00 -
1790.01/1790.01 c dual LP : 566.09 590867 4657871 7.88 8228.09
1790.01/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1790.01/1790.01 c barrier LP : 0.00 0 0 0.00 -
1790.01/1790.01 c diving/probing LP: 0.16 132 9185 69.58 59154.64
1790.01/1790.01 c strong branching : 6.01 6282 107543 17.12 17885.97
1790.01/1790.01 c (at root node) : - 33 6786 205.64 -
1790.01/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1790.01/1790.01 c B&B Tree :
1790.01/1790.01 c number of runs : 1
1790.01/1790.01 c nodes : 1757444
1790.01/1790.01 c nodes (total) : 1757444
1790.01/1790.01 c nodes left : 487262
1790.01/1790.01 c max depth : 772
1790.01/1790.01 c max depth (total): 772
1790.01/1790.01 c backtracks : 83962 (4.8%)
1790.01/1790.01 c delayed cutoffs : 65290
1790.01/1790.01 c repropagations : 424553 (27580339 domain reductions, 63534 cutoffs)
1790.01/1790.01 c avg switch length: 3.61
1790.01/1790.01 c switching time : 133.36
1790.01/1790.01 c Solution :
1790.01/1790.01 c Solutions found : 247 (149 improvements)
1790.01/1790.01 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1790.01/1790.01 c Primal Bound : +1.22400000000000e+03 (in run 1, after 1757000 nodes, 1789.20 seconds, depth 38, found by <relaxation>)
1790.01/1790.01 c Dual Bound : +0.00000000000000e+00
1790.01/1790.01 c Gap : infinite
1790.01/1790.01 c Root Dual Bound : +0.00000000000000e+00
1790.01/1790.01 c Root Iterations : 325
1791.61/1791.69 c Time complete: 1791.71.
OK 1224
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705725-1278579891/watcher-2705725-1278579891 -o /tmp/evaluation-result-2705725-1278579891/solver-2705725-1278579891 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705725-1278579891.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.96 4/178 21795 /proc/meminfo: memFree=28444856/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=12332 CPUtime=0 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 1948 0 0 0 0 0 0 0 25 0 1 0 26202686 12627968 1866 4089446400 4194304 10345943 140733794688048 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21795/statm: 3137 1881 429 1502 0 1630 0 [startup+0.0604669 s] /proc/loadavg: 2.00 2.00 1.96 4/178 21795 /proc/meminfo: memFree=28444856/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=25528 CPUtime=0.05 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 5504 0 0 0 5 0 0 0 25 0 1 0 26202686 26140672 5068 4089446400 4194304 10345943 140733794688048 18446744073709551615 9107408 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21795/statm: 6382 5068 626 1502 0 4875 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 25528 [startup+0.100456 s] /proc/loadavg: 2.00 2.00 1.96 4/178 21795 /proc/meminfo: memFree=28444856/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=40256 CPUtime=0.09 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 8931 0 0 0 9 0 0 0 25 0 1 0 26202686 41222144 8495 4089446400 4194304 10345943 140733794688048 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21795/statm: 10064 8495 636 1502 0 8557 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 40256 [startup+0.300426 s] /proc/loadavg: 2.00 2.00 1.96 4/178 21795 /proc/meminfo: memFree=28444856/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=39672 CPUtime=0.29 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 10675 0 0 0 28 1 0 0 25 0 1 0 26202686 40624128 8771 4089446400 4194304 10345943 140733794688048 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21795/statm: 9918 8771 750 1502 0 8411 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 39672 [startup+0.700369 s] /proc/loadavg: 2.00 2.00 1.96 4/178 21795 /proc/meminfo: memFree=28444856/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=39672 CPUtime=0.69 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 10675 0 0 0 68 1 0 0 25 0 1 0 26202686 40624128 8771 4089446400 4194304 10345943 140733794688048 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21795/statm: 9918 8771 750 1502 0 8411 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39672 [startup+1.50023 s] /proc/loadavg: 2.00 2.00 1.96 3/179 21796 /proc/meminfo: memFree=28411740/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=39672 CPUtime=1.49 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 10676 0 0 0 147 2 0 0 25 0 1 0 26202686 40624128 8772 4089446400 4194304 10345943 140733794688048 18446744073709551615 6702724 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21795/statm: 9918 8772 751 1502 0 8411 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39672 [startup+3.10096 s] /proc/loadavg: 2.00 2.00 1.96 3/179 21796 /proc/meminfo: memFree=28412856/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=38896 CPUtime=3.09 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 15071 0 0 0 306 3 0 0 25 0 1 0 26202686 39829504 8590 4089446400 4194304 10345943 140733794688048 18446744073709551615 7523334 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21795/statm: 9724 8590 756 1502 0 8217 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 38896 [startup+6.30042 s] /proc/loadavg: 2.00 2.00 1.96 3/179 21797 /proc/meminfo: memFree=28411640/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=44128 CPUtime=6.29 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 18461 0 0 0 625 4 0 0 25 0 1 0 26202686 45187072 9340 4089446400 4194304 10345943 140733794688048 18446744073709551615 6366016 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21795/statm: 11032 9340 756 1502 0 9525 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44128 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 1.96 3/179 21797 /proc/meminfo: memFree=28402528/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=51992 CPUtime=12.7 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 33537 0 0 0 1263 7 0 0 25 0 1 0 26202686 53239808 11549 4089446400 4194304 10345943 140733794688048 18446744073709551615 8160436 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21795/statm: 12998 11549 759 1502 0 11491 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 51992 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 1.96 3/179 21797 /proc/meminfo: memFree=28384008/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=68652 CPUtime=25.49 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 42954 0 0 0 2538 11 0 0 25 0 1 0 26202686 70299648 15831 4089446400 4194304 10345943 140733794688048 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21795/statm: 17163 15831 760 1502 0 15656 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 68652 [startup+51.1009 s] /proc/loadavg: 2.00 2.00 1.96 3/179 21798 /proc/meminfo: memFree=28349628/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=106332 CPUtime=51.09 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 54328 0 0 0 5094 15 0 0 25 0 1 0 26202686 108883968 24741 4089446400 4194304 10345943 140733794688048 18446744073709551615 6519504 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21795/statm: 26583 24741 760 1502 0 25076 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 106332 [startup+102.306 s] /proc/loadavg: 2.00 2.00 1.96 3/179 21799 /proc/meminfo: memFree=28277664/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=175612 CPUtime=102.29 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 72706 0 0 0 10201 28 0 0 25 0 1 0 26202686 179826688 42052 4089446400 4194304 10345943 140733794688048 18446744073709551615 4749704 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21795/statm: 43903 42052 760 1502 0 42396 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 175612 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 21801 /proc/meminfo: memFree=28180248/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=273412 CPUtime=162.29 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 123548 0 0 0 16185 44 0 0 25 0 1 0 26202686 279973888 65863 4089446400 4194304 10345943 140733794688048 18446744073709551615 7519883 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21795/statm: 68353 65863 760 1502 0 66846 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 273412 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 21802 /proc/meminfo: memFree=28092636/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=357432 CPUtime=222.29 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 191521 0 0 0 22166 63 0 0 25 0 1 0 26202686 366010368 86518 4089446400 4194304 10345943 140733794688048 18446744073709551615 6802864 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21795/statm: 89358 86518 760 1502 0 87851 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 357432 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 21831 /proc/meminfo: memFree=28451684/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=435028 CPUtime=282.29 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 243215 0 0 0 28147 82 0 0 25 0 1 0 26202686 445468672 105153 4089446400 4194304 10345943 140733794688048 18446744073709551615 6785404 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21795/statm: 108757 105153 760 1502 0 107250 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 435028 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.96 3/179 21833 /proc/meminfo: memFree=28348944/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=461256 CPUtime=342.29 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 304511 0 0 0 34128 101 0 0 25 0 1 0 26202686 472326144 111625 4089446400 4194304 10345943 140733794688048 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21795/statm: 115314 111625 760 1502 0 113807 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 461256 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.96 3/179 21834 /proc/meminfo: memFree=28286984/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=496760 CPUtime=402.29 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 372100 0 0 0 40106 123 0 0 25 0 1 0 26202686 508682240 120258 4089446400 4194304 10345943 140733794688048 18446744073709551615 6138982 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21795/statm: 124190 120258 760 1502 0 122683 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 496760 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.96 3/179 21836 /proc/meminfo: memFree=28207068/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=522912 CPUtime=462.29 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 425839 0 0 0 46083 146 0 0 25 0 1 0 26202686 535461888 126648 4089446400 4194304 10345943 140733794688048 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21795/statm: 130728 126648 760 1502 0 129221 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 522912 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.96 3/179 21837 /proc/meminfo: memFree=28123912/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=574580 CPUtime=522.3 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 473775 0 0 0 52067 163 0 0 25 0 1 0 26202686 588369920 138425 4089446400 4194304 10345943 140733794688048 18446744073709551615 4447807 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21795/statm: 143645 138425 760 1502 0 142138 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 574580 [startup+582.301 s] /proc/loadavg: 1.37 1.82 1.90 2/171 21860 /proc/meminfo: memFree=28370156/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=646280 CPUtime=582.3 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 507204 0 0 0 58040 190 0 0 25 0 1 0 26202686 661790720 154705 4089446400 4194304 10345943 140733794688048 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21795/statm: 161570 154705 760 1502 0 160063 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 646280 [startup+642.301 s] /proc/loadavg: 1.13 1.66 1.84 2/171 21862 /proc/meminfo: memFree=28315048/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=704688 CPUtime=642.3 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 548182 0 0 0 64016 214 0 0 25 0 1 0 26202686 721600512 168407 4089446400 4194304 10345943 140733794688048 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21795/statm: 176172 168407 760 1502 0 174665 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 704688 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=27984440/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=1085768 CPUtime=1062.3 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 833777 0 0 0 105817 413 0 0 25 0 1 0 26202686 1111826432 250791 4089446400 4194304 10345943 140733794688048 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21795/statm: 271442 250791 760 1502 0 269935 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 1085768 [startup+1122.3 s] /proc/loadavg: 1.00 1.13 1.49 2/171 21877 /proc/meminfo: memFree=27934428/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=1139636 CPUtime=1122.3 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 863907 0 0 0 111787 443 0 0 25 0 1 0 26202686 1166987264 263233 4089446400 4194304 10345943 140733794688048 18446744073709551615 5926585 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21795/statm: 284909 263233 760 1502 0 283402 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 1139636 [startup+1182.3 s] /proc/loadavg: 1.00 1.10 1.45 2/171 21879 /proc/meminfo: memFree=27911420/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=1170496 CPUtime=1182.3 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 890145 0 0 0 117758 472 0 0 25 0 1 0 26202686 1198587904 269317 4089446400 4194304 10345943 140733794688048 18446744073709551615 5926736 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21795/statm: 292624 269317 760 1502 0 291117 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 1170496 [startup+1242.3 s] /proc/loadavg: 1.00 1.08 1.42 2/171 21881 /proc/meminfo: memFree=27874044/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=1210308 CPUtime=1242.3 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 927962 0 0 0 123725 505 0 0 25 0 1 0 26202686 1239355392 278271 4089446400 4194304 10345943 140733794688048 18446744073709551615 4686942 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21795/statm: 302577 278271 760 1502 0 301070 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 1210308 [startup+1302.3 s] /proc/loadavg: 1.08 1.08 1.40 2/171 21882 /proc/meminfo: memFree=27851680/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=1238228 CPUtime=1302.31 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 957901 0 0 0 129692 539 0 0 25 0 1 0 26202686 1267945472 284004 4089446400 4194304 10345943 140733794688048 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21795/statm: 309557 284004 760 1502 0 308050 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 1238228 [startup+1362.3 s] /proc/loadavg: 1.03 1.06 1.37 2/171 21884 /proc/meminfo: memFree=27821252/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=1279036 CPUtime=1362.31 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 985637 0 0 0 135660 571 0 0 25 0 1 0 26202686 1309732864 291663 4089446400 4194304 10345943 140733794688048 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21795/statm: 319759 291663 760 1502 0 318252 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 1279036 [startup+1422.31 s] /proc/loadavg: 1.01 1.05 1.34 2/171 21885 /proc/meminfo: memFree=27777180/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=1332388 CPUtime=1422.31 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 1016583 0 0 0 141631 600 0 0 25 0 1 0 26202686 1364365312 302603 4089446400 4194304 10345943 140733794688048 18446744073709551615 6002418 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21795/statm: 333097 302603 760 1502 0 331590 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 1332388 [startup+1482.3 s] /proc/loadavg: 1.00 1.04 1.32 2/171 21887 /proc/meminfo: memFree=27742652/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=1372544 CPUtime=1482.31 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 1047946 0 0 0 147595 636 0 0 25 0 1 0 26202686 1405485056 311158 4089446400 4194304 10345943 140733794688048 18446744073709551615 4695991 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21795/statm: 343136 311158 760 1502 0 341629 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 1372544 [startup+1542.3 s] /proc/loadavg: 1.00 1.03 1.30 2/171 21889 /proc/meminfo: memFree=27707628/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=1414756 CPUtime=1542.31 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 1083156 0 0 0 153560 671 0 0 25 0 1 0 26202686 1448710144 319931 4089446400 4194304 10345943 140733794688048 18446744073709551615 6119675 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21795/statm: 353689 319931 760 1502 0 352182 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 1414756 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.27 2/171 21890 /proc/meminfo: memFree=27645332/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=1487196 CPUtime=1602.3 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 1121409 0 0 0 159521 709 0 0 25 0 1 0 26202686 1522888704 335536 4089446400 4194304 10345943 140733794688048 18446744073709551615 6119525 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21795/statm: 371799 335536 760 1502 0 370292 0 Current children cumulated CPU time (s) 1602.3 Current children cumulated vsize (KiB) 1487196 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.26 2/171 21892 /proc/meminfo: memFree=27592828/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=1555044 CPUtime=1662.31 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 1150093 0 0 0 165491 740 0 0 25 0 1 0 26202686 1592365056 348748 4089446400 4194304 10345943 140733794688048 18446744073709551615 5012587 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21795/statm: 388761 348748 760 1502 0 387254 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 1555044 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.24 2/171 21893 /proc/meminfo: memFree=27531160/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=1629064 CPUtime=1722.31 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 1181398 0 0 0 171454 777 0 0 25 0 1 0 26202686 1668161536 364497 4089446400 4194304 10345943 140733794688048 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21795/statm: 407266 364497 760 1502 0 405759 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 1629064 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.22 2/171 21895 /proc/meminfo: memFree=27488828/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=1675008 CPUtime=1782.32 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 1217278 0 0 0 177420 812 0 0 25 0 1 0 26202686 1715208192 374450 4089446400 4194304 10345943 140733794688048 18446744073709551615 4476340 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21795/statm: 418752 374450 760 1502 0 417245 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 1675008 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.22 3/171 21895 /proc/meminfo: memFree=27487960/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=1675776 CPUtime=1785.51 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 1217472 0 0 0 177738 813 0 0 25 0 1 0 26202686 1715994624 374644 4089446400 4194304 10345943 140733794688048 18446744073709551615 4706433 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21795/statm: 418944 374644 760 1502 0 417437 0 Current children cumulated CPU time (s) 1785.51 Current children cumulated vsize (KiB) 1675776 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.22 2/171 21895 /proc/meminfo: memFree=27485720/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=1678816 CPUtime=1788.71 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 1217999 0 0 0 178056 815 0 0 25 0 1 0 26202686 1719107584 375171 4089446400 4194304 10345943 140733794688048 18446744073709551615 8159976 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21795/statm: 419704 375171 760 1502 0 418197 0 Current children cumulated CPU time (s) 1788.71 Current children cumulated vsize (KiB) 1678816 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 1.22 2/171 21895 /proc/meminfo: memFree=27485596/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=1678816 CPUtime=1790.31 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 1218059 0 0 0 178216 815 0 0 25 0 1 0 26202686 1719107584 375231 4089446400 4194304 10345943 140733794688048 18446744073709551615 6324933 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/21795/statm: 419704 375231 764 1502 0 418197 0 Current children cumulated CPU time (s) 1790.31 Current children cumulated vsize (KiB) 1678816 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 1.22 2/171 21895 /proc/meminfo: memFree=27485472/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=1678816 CPUtime=1791.11 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 1218059 0 0 0 178296 815 0 0 25 0 1 0 26202686 1719107584 375231 4089446400 4194304 10345943 140733794688048 18446744073709551615 4220157 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/21795/statm: 419704 375231 764 1502 0 418197 0 Current children cumulated CPU time (s) 1791.11 Current children cumulated vsize (KiB) 1678816 [startup+1791.5 s] /proc/loadavg: 1.00 1.00 1.22 2/171 21895 /proc/meminfo: memFree=27485472/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=1678816 CPUtime=1791.51 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 1218059 0 0 0 178336 815 0 0 25 0 1 0 26202686 1719107584 375231 4089446400 4194304 10345943 140733794688048 18446744073709551615 6324968 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/21795/statm: 419704 375231 764 1502 0 418197 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (KiB) 1678816 [startup+1791.6 s] /proc/loadavg: 1.00 1.00 1.22 2/171 21895 /proc/meminfo: memFree=27485472/32951124 swapFree=67111528/67111528 [pid=21795] ppid=21793 vsize=1678816 CPUtime=1791.61 /proc/21795/stat : 21795 (pbscip.linux.x8) R 21793 21795 21168 0 -1 4202496 1218059 0 0 0 178346 815 0 0 25 0 1 0 26202686 1719107584 375231 4089446400 4194304 10345943 140733794688048 18446744073709551615 6324956 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/21795/statm: 419704 375231 764 1502 0 418197 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (KiB) 1678816 Child status: 0 Real time (s): 1791.7 CPU time (s): 1791.72 CPU user time (s): 1783.5 CPU system time (s): 8.21575 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 1678816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1783.5 system time used= 8.21575 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1218062 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 2833 runsolver used 2.32765 second user time and 5.84211 second system time The end
Begin job on node118 at 2010-07-08 11:04:51 IDJOB=2705725 IDBENCH=79389 IDSOLVER=1214 FILE ID=node118/2705725-1278579891 PBS_JOBID= 11240218 Free space on /tmp= 73548 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh14_wcsp.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705725-1278579891/watcher-2705725-1278579891 -o /tmp/evaluation-result-2705725-1278579891/solver-2705725-1278579891 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705725-1278579891.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a9c1b78c2cafd61259a4392acdb09fa2 RANDOM SEED=1893597323 node118.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.63 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.72 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.818 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28445260 kB Buffers: 159128 kB Cached: 3605716 kB SwapCached: 0 kB Active: 1790020 kB Inactive: 2564620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28445260 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 12824 kB Writeback: 0 kB AnonPages: 589380 kB Mapped: 17888 kB Slab: 86604 kB PageTables: 5716 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 739624 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73548 MiB End job on node118 at 2010-07-08 11:34:43