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 | OPTIMUM | 1228.29 | 1228.26 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh04_wcsp.wbo |
| MD5SUM | 54ef51abb9454409d6f66c5b853cdf79 |
| 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 | 95 |
| Best CPU time to get the best result obtained on this benchmark | 0.977851 |
| 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-2705729-1278580118.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.01/0.02 c presolving:
0.01/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.01/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.01/0.05 c (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.05 c presolving (3 rounds):
0.01/0.05 c 100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.05 c 1900 implications, 0 cliques
0.01/0.05 c presolved problem has 1800 variables (950 bin, 0 int, 850 impl, 0 cont) and 1700 constraints
0.01/0.05 c 850 constraints of type <linear>
0.01/0.05 c 850 constraints of type <indicator>
0.01/0.05 c transformed objective value is always integral (scale: 1)
0.01/0.05 c Presolving Time: 0.03
0.01/0.05 c - non default parameters ----------------------------------------------------------------------
0.01/0.05 c # SCIP version 1.2.1.3
0.01/0.05 c
0.01/0.05 c # frequency for displaying node information lines
0.01/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.05 c display/freq = 10000
0.01/0.05 c
0.01/0.05 c # maximal time in seconds to run
0.01/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.05 c limits/time = 1789.99
0.01/0.05 c
0.01/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.05 c limits/memory = 3420
0.01/0.05 c
0.01/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.05 c # [type: int, range: [1,2], default: 1]
0.01/0.05 c timing/clocktype = 2
0.01/0.05 c
0.01/0.05 c # should presolving try to simplify inequalities
0.01/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.05 c constraints/linear/simplifyinequalities = TRUE
0.01/0.05 c
0.01/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.05 c constraints/indicator/addCouplingCons = TRUE
0.01/0.05 c
0.01/0.05 c # should presolving try to simplify knapsacks
0.01/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.05 c
0.01/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.05 c separating/rapidlearning/freq = 0
0.01/0.05 c
0.01/0.05 c -----------------------------------------------------------------------------------------------
0.01/0.05 c start solving
0.01/0.05 c
0.01/0.05 o 420925
0.01/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.01/0.05 c t 0.0s| 1 | 0 | 0 | - |6288k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.01/0.06 c 0.0s| 1 | 0 | 0 | - |6686k| 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 | 47 | - |6753k| 0 | 0 |1800 |1700 |1800 | 72 | 72 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 133 | - |6781k| 0 | 26 |1800 |1700 |1800 | 122 | 122 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 179 | - |6852k| 0 | 59 |1800 |1700 |1800 | 165 | 165 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 255 | - |7355k| 0 | 50 |1800 |1700 |1800 | 184 | 184 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.17 c 0.2s| 1 | 0 | 291 | - |7497k| 0 | 56 |1800 |1700 |1800 | 200 | 200 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 368 | - |7743k| 0 | 46 |1800 |1700 |1800 | 207 | 207 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.29/0.39 c 0.4s| 1 | 2 | 368 | - |7768k| 0 | 46 |1800 |1700 |1800 | 207 | 207 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
8.29/8.36 c 8.4s| 10000 | 9990 | 15479 | 1.5 | 19M| 817 | 0 |1800 |1708 |1800 | 224 |1470 | 8 | 763 | 0.000000e+00 | 4.209250e+05 | Inf
15.19/15.30 c 15.3s| 20000 | 19983 | 28018 | 1.4 | 30M| 817 | 0 |1800 |1713 |1800 | 210 |2879 | 13 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
21.79/21.88 c 21.9s| 30000 | 29977 | 35082 | 1.2 | 39M| 817 | 0 |1800 |1719 |1800 | 253 |3884 | 19 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
28.19/28.22 c 28.2s| 40000 | 39969 | 40470 | 1.0 | 49M| 817 | 0 |1800 |1722 |1800 | 235 |4534 | 22 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
34.49/34.50 c 34.5s| 50000 | 49967 | 45076 | 0.9 | 59M| 817 | 0 |1800 |1723 |1800 | 215 |5154 | 23 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
40.69/40.72 c 40.7s| 60000 | 59967 | 48705 | 0.8 | 68M| 817 | 0 |1800 |1723 |1800 | 241 |5696 | 23 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
46.79/46.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.79/46.81 c 46.8s| 70000 | 69965 | 51875 | 0.7 | 78M| 817 | 0 |1800 |1725 |1800 | 228 |6169 | 25 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
52.69/52.76 c 52.7s| 80000 | 79963 | 54764 | 0.7 | 88M| 817 | 0 |1800 |1726 |1800 | 225 |6555 | 26 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
58.89/58.97 c 59.0s| 90000 | 89961 | 58747 | 0.6 | 97M| 817 | 0 |1800 |1726 |1800 | 233 |7135 | 26 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
65.09/65.10 c 65.1s|100000 | 99959 | 62063 | 0.6 | 107M| 817 | 0 |1800 |1728 |1800 | 234 |7638 | 28 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
71.19/71.24 c 71.2s|110000 |109959 | 65260 | 0.6 | 117M| 817 | 0 |1800 |1728 |1800 | 243 |8251 | 28 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
77.39/77.45 c 77.4s|120000 |119959 | 68969 | 0.6 | 126M| 817 | 0 |1800 |1728 |1800 | 219 |8894 | 28 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
83.60/83.64 c 83.6s|130000 |129957 | 73196 | 0.6 | 136M| 817 | 0 |1800 |1729 |1800 | 231 |9517 | 29 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
89.69/89.77 c 89.8s|140000 |139957 | 75924 | 0.5 | 145M| 817 | 0 |1800 |1729 |1800 | 232 |9993 | 29 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
95.79/95.89 c 95.9s|150000 |149955 | 79203 | 0.5 | 155M| 817 | 0 |1800 |1730 |1800 | 249 | 10k| 30 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
101.99/102.03 c 102s|160000 |159953 | 81909 | 0.5 | 165M| 817 | 0 |1800 |1730 |1800 | 222 | 11k| 30 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
108.09/108.15 c 108s|170000 |169953 | 85038 | 0.5 | 174M| 817 | 0 |1800 |1730 |1800 | 240 | 11k| 30 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
114.19/114.23 c 114s|180000 |179953 | 88041 | 0.5 | 184M| 817 | 0 |1800 |1730 |1800 | 234 | 12k| 30 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
120.29/120.30 c 120s|190000 |189953 | 90725 | 0.5 | 194M| 817 | 0 |1800 |1730 |1800 | 250 | 12k| 30 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
126.39/126.43 c 126s|200000 |199953 | 93200 | 0.5 | 203M| 817 | 0 |1800 |1730 |1800 | 221 | 12k| 30 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
132.39/132.50 c 132s|210000 |209953 | 95878 | 0.5 | 213M| 817 | 0 |1800 |1730 |1800 | 231 | 13k| 30 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
138.39/138.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.39/138.48 c 138s|220000 |219953 | 99041 | 0.4 | 222M| 817 | 0 |1800 |1730 |1800 | 244 | 13k| 30 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
144.39/144.47 c 144s|230000 |229951 |102064 | 0.4 | 232M| 817 | 0 |1800 |1731 |1800 | 233 | 14k| 31 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
150.60/150.62 c 151s|240000 |239949 |105256 | 0.4 | 242M| 817 | 0 |1800 |1732 |1800 | 230 | 14k| 32 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
156.59/156.62 c 157s|250000 |249943 |108264 | 0.4 | 251M| 817 | 0 |1800 |1735 |1800 | 244 | 15k| 35 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
162.59/162.61 c 163s|260000 |259943 |111166 | 0.4 | 261M| 817 | 0 |1800 |1735 |1800 | 236 | 15k| 35 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
168.49/168.56 c 169s|270000 |269939 |114175 | 0.4 | 271M| 817 | 0 |1800 |1737 |1800 | 240 | 15k| 37 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
174.50/174.54 c 175s|280000 |279937 |117098 | 0.4 | 280M| 817 | 0 |1800 |1738 |1800 | 241 | 16k| 38 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
180.49/180.53 c 181s|290000 |289937 |119732 | 0.4 | 290M| 817 | 0 |1800 |1738 |1800 | 238 | 16k| 38 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
186.59/186.61 c 187s|300000 |299937 |122416 | 0.4 | 300M| 817 | 0 |1800 |1738 |1800 | 228 | 17k| 38 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
192.59/192.64 c 193s|310000 |309937 |125047 | 0.4 | 309M| 817 | 0 |1800 |1738 |1800 | 257 | 17k| 38 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
198.59/198.62 c 199s|320000 |319937 |127940 | 0.4 | 319M| 817 | 0 |1800 |1738 |1800 | 230 | 17k| 38 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
204.50/204.59 c 205s|330000 |329937 |130879 | 0.4 | 328M| 817 | 0 |1800 |1738 |1800 | 225 | 18k| 38 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
210.49/210.51 c 211s|340000 |339937 |133560 | 0.4 | 338M| 817 | 0 |1800 |1738 |1800 | 238 | 18k| 38 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
216.29/216.39 c 216s|350000 |349937 |135995 | 0.4 | 348M| 817 | 0 |1800 |1738 |1800 | 221 | 18k| 38 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
222.29/222.39 c 222s|360000 |359933 |138443 | 0.4 | 357M| 817 | 0 |1800 |1740 |1800 | 221 | 19k| 40 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
228.29/228.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
228.29/228.37 c 228s|370000 |369933 |140734 | 0.4 | 367M| 817 | 0 |1800 |1740 |1800 | 225 | 19k| 40 | 795 | 0.000000e+00 | 4.209250e+05 | Inf
234.30/234.35 c 234s|380000 |379931 |143207 | 0.4 | 377M| 817 | 0 |1800 |1739 |1800 | 243 | 19k| 41 | 800 | 0.000000e+00 | 4.209250e+05 | Inf
240.40/240.40 c 240s|390000 |389931 |145629 | 0.4 | 386M| 817 | 0 |1800 |1738 |1800 | 247 | 20k| 41 | 800 | 0.000000e+00 | 4.209250e+05 | Inf
242.29/242.32 o 16017
242.29/242.32 c * 242s|393163 |349548 |146602 | 0.4 | 349M| 817 | - |1800 |1738 |1800 | 227 | 20k| 41 | 804 | 0.000000e+00 | 1.601700e+04 | Inf
247.19/247.23 c 247s|400000 |356382 |150787 | 0.4 | 356M| 817 | 0 |1800 |1757 |1800 | 232 | 20k| 61 | 804 | 0.000000e+00 | 1.601700e+04 | Inf
254.10/254.16 c 254s|410000 |366382 |155251 | 0.4 | 366M| 817 | 0 |1800 |1756 |1800 | 222 | 21k| 61 | 804 | 0.000000e+00 | 1.601700e+04 | Inf
261.10/261.11 c 261s|420000 |375967 |161406 | 0.4 | 377M| 817 | 0 |1800 |3748 |1800 | 225 | 22k|2061 | 828 | 0.000000e+00 | 1.601700e+04 | Inf
266.20/266.25 o 15610
266.20/266.25 c * 266s|427239 |377137 |166206 | 0.4 | 381M| 817 | - |1800 |5921 |1800 | 227 | 22k|4618 | 858 | 0.000000e+00 | 1.561000e+04 | Inf
266.59/266.67 o 15595
266.59/266.67 c * 267s|427787 |377425 |166611 | 0.4 | 382M| 817 | - |1800 |6035 |1800 | 225 | 23k|4801 | 858 | 0.000000e+00 | 1.559500e+04 | Inf
266.59/266.68 o 15520
266.59/266.68 c * 267s|427788 |376353 |166628 | 0.4 | 381M| 817 | - |1800 |6035 |1800 | 225 | 23k|4801 | 858 | 0.000000e+00 | 1.552000e+04 | Inf
266.99/267.04 o 15314
266.99/267.04 c * 267s|428221 |373509 |167010 | 0.4 | 378M| 817 | - |1800 |6169 |1800 | 223 | 23k|4991 | 864 | 0.000000e+00 | 1.531400e+04 | Inf
268.30/268.32 c 268s|430000 |375160 |168214 | 0.4 | 380M| 817 | - |1800 |6576 | 0 | 0 | 23k|5646 | 867 | 0.000000e+00 | 1.531400e+04 | Inf
268.50/268.52 o 15284
268.50/268.52 c * 269s|430262 |374897 |168425 | 0.4 | 380M| 817 | - |1800 |6706 |1800 | 232 | 23k|5806 | 867 | 0.000000e+00 | 1.528400e+04 | Inf
268.50/268.56 o 15186
268.50/268.56 c * 269s|430310 |373163 |168516 | 0.4 | 379M| 817 | - |1800 |6723 |1800 | 228 | 23k|5826 | 867 | 0.000000e+00 | 1.518600e+04 | Inf
268.50/268.57 o 14992
268.50/268.57 c * 269s|430311 |369491 |168523 | 0.4 | 375M| 817 | - |1800 |6723 |1800 | 228 | 23k|5826 | 867 | 0.000000e+00 | 1.499200e+04 | Inf
268.60/268.61 o 14823
268.60/268.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.60/268.61 c * 269s|430353 |366175 |168604 | 0.4 | 372M| 817 | - |1800 |6720 |1800 | 228 | 23k|5826 | 867 | 0.000000e+00 | 1.482300e+04 | Inf
268.60/268.64 o 14599
268.60/268.64 c * 269s|430365 |361583 |168645 | 0.4 | 367M| 817 | - |1800 |6730 |1800 | 228 | 23k|5836 | 867 | 0.000000e+00 | 1.459900e+04 | Inf
268.60/268.65 o 14359
268.60/268.65 c * 269s|430366 |356536 |168646 | 0.4 | 362M| 817 | - |1800 |6730 |1800 | 228 | 23k|5836 | 867 | 0.000000e+00 | 1.435900e+04 | Inf
268.70/268.72 o 14060
268.70/268.72 c * 269s|430450 |350439 |168717 | 0.4 | 356M| 817 | - |1800 |6759 |1800 | 226 | 23k|5866 | 867 | 0.000000e+00 | 1.406000e+04 | Inf
268.70/268.74 o 13820
268.70/268.74 c * 269s|430451 |345106 |168718 | 0.4 | 351M| 817 | - |1800 |6759 |1800 | 226 | 23k|5866 | 867 | 0.000000e+00 | 1.382000e+04 | Inf
268.89/268.99 o 13702
268.89/268.99 c * 269s|430784 |342786 |168860 | 0.4 | 349M| 817 | - |1800 |6835 |1800 | 222 | 23k|5969 | 867 | 0.000000e+00 | 1.370200e+04 | Inf
271.89/271.93 o 13565
271.89/271.93 c * 272s|434790 |343193 |170787 | 0.4 | 351M| 817 | - |1800 |7388 |1800 | 221 | 23k|7664 | 873 | 0.000000e+00 | 1.356500e+04 | Inf
271.89/271.95 o 13079
271.89/271.95 c * 272s|434791 |331437 |170798 | 0.4 | 340M| 817 | - |1800 |7388 |1800 | 221 | 23k|7664 | 873 | 0.000000e+00 | 1.307900e+04 | Inf
272.50/272.51 o 12951
272.50/272.51 c * 272s|435502 |328906 |171166 | 0.4 | 338M| 817 | - |1800 |7331 |1800 | 225 | 23k|7974 | 873 | 0.000000e+00 | 1.295100e+04 | Inf
272.80/272.81 o 12816
272.80/272.81 c * 273s|435881 |325745 |171367 | 0.4 | 335M| 817 | - |1800 |7410 |1800 | 224 | 23k|8124 | 873 | 0.000000e+00 | 1.281600e+04 | Inf
274.59/274.61 o 12620
274.59/274.61 c * 275s|438226 |322568 |173583 | 0.4 | 332M| 817 | - |1800 |7099 |1800 | 230 | 23k|8960 | 893 | 0.000000e+00 | 1.262000e+04 | Inf
275.00/275.06 o 12583
275.00/275.06 c * 275s|438799 |322026 |174349 | 0.4 | 332M| 817 | - |1800 |7094 |1800 | 219 | 23k|9143 | 893 | 0.000000e+00 | 1.258300e+04 | Inf
275.40/275.40 o 12491
275.40/275.40 c * 275s|439242 |319894 |174672 | 0.4 | 330M| 817 | - |1800 |7099 |1800 | 223 | 23k|9291 | 893 | 0.000000e+00 | 1.249100e+04 | Inf
275.40/275.41 o 12410
275.40/275.41 c * 275s|439243 |317750 |174678 | 0.4 | 328M| 817 | - |1800 |7099 |1800 | 223 | 23k|9291 | 893 | 0.000000e+00 | 1.241000e+04 | Inf
275.89/275.97 c 276s|440000 |318451 |175022 | 0.4 | 329M| 817 | 0 |1800 |7032 |1800 | 223 | 23k|9505 | 893 | 0.000000e+00 | 1.241000e+04 | Inf
276.40/276.47 o 12250
276.40/276.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
276.40/276.47 c * 276s|440656 |314814 |175462 | 0.4 | 325M| 817 | - |1800 |6993 |1800 | 222 | 23k|9764 | 893 | 0.000000e+00 | 1.225000e+04 | Inf
278.99/279.09 o 12236
278.99/279.09 c * 279s|444140 |317558 |178078 | 0.4 | 328M| 817 | - |1800 |6616 |1800 | 228 | 24k| 11k| 896 | 0.000000e+00 | 1.223600e+04 | Inf
283.40/283.40 c 283s|450000 |322906 |181729 | 0.4 | 334M| 817 | 0 |1800 |6892 |1800 | 220 | 24k| 13k| 906 | 0.000000e+00 | 1.223600e+04 | Inf
291.00/291.00 o 12079
291.00/291.00 c * 291s|459982 |327162 |189033 | 0.4 | 340M| 817 | - |1800 |6604 |1800 | 220 | 25k| 18k| 913 | 0.000000e+00 | 1.207900e+04 | Inf
291.00/291.01 o 12020
291.00/291.01 c * 291s|459983 |325387 |189038 | 0.4 | 339M| 817 | - |1800 |6604 |1800 | 220 | 25k| 18k| 913 | 0.000000e+00 | 1.202000e+04 | Inf
291.00/291.03 c 291s|460000 |325404 |189128 | 0.4 | 339M| 817 | 0 |1800 |6549 |1800 | 223 | 25k| 18k| 913 | 0.000000e+00 | 1.202000e+04 | Inf
292.79/292.80 o 11891
292.79/292.80 c * 293s|462374 |323524 |191139 | 0.4 | 337M| 817 | - |1800 |6251 |1800 | 231 | 26k| 19k| 913 | 0.000000e+00 | 1.189100e+04 | Inf
292.79/292.82 o 11714
292.79/292.82 c * 293s|462375 |317938 |191139 | 0.4 | 332M| 817 | - |1800 |6250 |1800 | 231 | 26k| 19k| 913 | 0.000000e+00 | 1.171400e+04 | Inf
298.50/298.55 c 299s|470000 |325044 |198372 | 0.4 | 339M| 817 | 0 |1800 |4094 |1800 | 221 | 26k| 21k| 956 | 0.000000e+00 | 1.171400e+04 | Inf
300.60/300.69 o 11581
300.60/300.69 c * 301s|472961 |323539 |200503 | 0.4 | 337M| 817 | - |1800 |4036 |1800 | 225 | 27k| 22k| 956 | 0.000000e+00 | 1.158100e+04 | Inf
300.79/300.89 o 11474
300.79/300.89 c * 301s|473201 |320242 |200631 | 0.4 | 334M| 817 | - |1800 |4018 |1800 | 222 | 27k| 22k| 956 | 0.000000e+00 | 1.147400e+04 | Inf
300.90/300.90 o 11256
300.90/300.90 c * 301s|473202 |313021 |200640 | 0.4 | 326M| 817 | - |1800 |4018 |1800 | 222 | 27k| 22k| 956 | 0.000000e+00 | 1.125600e+04 | Inf
301.00/301.06 o 11061
301.00/301.06 c * 301s|473405 |306805 |200784 | 0.4 | 319M| 817 | - |1800 |3956 |1800 | 230 | 27k| 22k| 956 | 0.000000e+00 | 1.106100e+04 | Inf
302.40/302.49 o 11030
302.40/302.49 c * 302s|475246 |307474 |202217 | 0.4 | 320M| 817 | - |1800 |4290 |1800 | 224 | 27k| 23k| 956 | 0.000000e+00 | 1.103000e+04 | Inf
302.50/302.53 o 10904
302.50/302.53 c * 303s|475285 |303401 |202365 | 0.4 | 316M| 817 | - |1800 |4283 |1800 | 221 | 27k| 23k| 956 | 0.000000e+00 | 1.090400e+04 | Inf
305.30/305.34 o 10765
305.30/305.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
305.30/305.34 c * 305s|478992 |302014 |205343 | 0.4 | 314M| 817 | - |1800 |4271 |1800 | 222 | 27k| 24k| 964 | 0.000000e+00 | 1.076500e+04 | Inf
305.99/306.09 c 306s|480000 |302903 |205984 | 0.4 | 315M| 817 | 0 |1800 |4248 |1800 | 226 | 27k| 25k| 964 | 0.000000e+00 | 1.076500e+04 | Inf
307.60/307.68 o 10608
307.60/307.68 c * 308s|482030 |299572 |207888 | 0.4 | 312M| 817 | - |1800 |4457 |1800 | 227 | 28k| 26k| 968 | 0.000000e+00 | 1.060800e+04 | Inf
307.60/307.69 o 10510
307.60/307.69 c * 308s|482031 |296264 |207894 | 0.4 | 309M| 817 | - |1800 |4457 |1800 | 227 | 28k| 26k| 968 | 0.000000e+00 | 1.051000e+04 | Inf
311.59/311.65 o 10491
311.59/311.65 c * 312s|487668 |300774 |211227 | 0.4 | 313M| 817 | - |1800 |3852 |1800 | 227 | 28k| 27k| 972 | 0.000000e+00 | 1.049100e+04 | Inf
313.40/313.41 c 313s|490000 |302805 |213074 | 0.4 | 316M| 817 | 0 |1800 |4033 |1800 | 228 | 28k| 28k| 972 | 0.000000e+00 | 1.049100e+04 | Inf
314.10/314.17 o 10322
314.10/314.17 c * 314s|491016 |297863 |213925 | 0.4 | 311M| 817 | - |1800 |3774 |1800 | 231 | 28k| 29k| 973 | 0.000000e+00 | 1.032200e+04 | Inf
314.20/314.29 o 10141
314.20/314.29 c * 314s|491142 |291533 |214138 | 0.4 | 304M| 817 | - |1800 |3771 |1800 | 245 | 28k| 29k| 973 | 0.000000e+00 | 1.014100e+04 | Inf
314.40/314.45 o 10114
314.40/314.45 c * 314s|491323 |290754 |214491 | 0.4 | 304M| 817 | - |1800 |3747 |1800 | 228 | 28k| 29k| 973 | 0.000000e+00 | 1.011400e+04 | Inf
315.40/315.41 o 10036
315.40/315.41 c * 315s|492558 |289200 |215623 | 0.4 | 302M| 817 | - |1800 |3733 |1800 | 228 | 28k| 29k| 974 | 0.000000e+00 | 1.003600e+04 | Inf
315.50/315.50 o 10012
315.50/315.50 c * 315s|492678 |288478 |215737 | 0.4 | 302M| 817 | - |1800 |3737 |1800 | 229 | 28k| 29k| 974 | 0.000000e+00 | 1.001200e+04 | Inf
315.50/315.52 o 9759
315.50/315.52 c * 316s|492679 |279719 |215741 | 0.4 | 292M| 817 | - |1800 |3737 |1800 | 229 | 28k| 29k| 974 | 0.000000e+00 | 9.759000e+03 | Inf
320.99/321.02 c 321s|500000 |286190 |221692 | 0.4 | 300M| 817 | 0 |1800 |3435 |1800 | 225 | 29k| 32k|1001 | 0.000000e+00 | 9.759000e+03 | Inf
322.21/322.28 o 9725
322.21/322.28 c * 322s|501691 |286490 |222959 | 0.4 | 301M| 817 | - |1800 |3504 |1800 | 232 | 29k| 33k|1003 | 0.000000e+00 | 9.725000e+03 | Inf
322.21/322.30 o 9619
322.21/322.30 c * 322s|501693 |282843 |223043 | 0.4 | 297M| 817 | - |1800 |3504 |1800 | 233 | 29k| 33k|1003 | 0.000000e+00 | 9.619000e+03 | Inf
322.31/322.31 o 9526
322.31/322.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
322.31/322.31 c * 322s|501694 |279746 |223067 | 0.4 | 293M| 817 | - |1800 |3504 |1800 | 233 | 29k| 33k|1003 | 0.000000e+00 | 9.526000e+03 | Inf
323.40/323.41 o 9515
323.40/323.41 c * 323s|503118 |280668 |224464 | 0.4 | 295M| 817 | - |1800 |3668 |1800 | 227 | 30k| 34k|1003 | 0.000000e+00 | 9.515000e+03 | Inf
327.19/327.23 o 9471
327.19/327.23 c * 327s|507883 |283354 |230273 | 0.5 | 298M| 817 | - |1800 |3262 |1800 | 233 | 30k| 35k|1071 | 0.000000e+00 | 9.471000e+03 | Inf
328.20/328.23 o 9429
328.20/328.23 c * 328s|509198 |283043 |231456 | 0.5 | 298M| 817 | - |1800 |3227 |1800 | 225 | 30k| 36k|1078 | 0.000000e+00 | 9.429000e+03 | Inf
328.80/328.83 c 329s|510000 |283754 |232078 | 0.5 | 299M| 817 | 0 |1800 |3359 |1800 | 251 | 31k| 36k|1082 | 0.000000e+00 | 9.429000e+03 | Inf
336.61/336.69 c 337s|520000 |292482 |241976 | 0.5 | 310M| 817 | 0 |1800 |3549 |1800 | 223 | 32k| 40k|1123 | 0.000000e+00 | 9.429000e+03 | Inf
344.30/344.34 o 9340
344.30/344.34 c * 344s|529897 |297904 |251810 | 0.5 | 318M| 817 | - |1800 |3049 |1800 | 226 | 34k| 45k|1138 | 0.000000e+00 | 9.340000e+03 | Inf
344.40/344.42 c 344s|530000 |297995 |251968 | 0.5 | 318M| 817 | 0 |1800 |3043 |1800 | 228 | 34k| 45k|1138 | 0.000000e+00 | 9.340000e+03 | Inf
345.90/345.93 o 8782
345.90/345.93 c * 346s|531963 |280093 |253424 | 0.5 | 298M| 817 | - |1800 |2981 |1800 | 273 | 34k| 45k|1183 | 0.000000e+00 | 8.782000e+03 | Inf
352.01/352.06 c 352s|540000 |287270 |261931 | 0.5 | 307M| 817 | 0 |1800 |3134 |1800 | 222 | 35k| 48k|1260 | 0.000000e+00 | 8.782000e+03 | Inf
356.30/356.34 o 8779
356.30/356.34 c * 356s|545424 |291842 |267460 | 0.5 | 314M| 817 | - |1800 |3369 |1800 | 233 | 36k| 50k|1270 | 0.000000e+00 | 8.779000e+03 | Inf
358.10/358.18 o 8767
358.10/358.18 c * 358s|547787 |293543 |269875 | 0.5 | 317M| 817 | - |1800 |3578 |1800 | 219 | 36k| 51k|1273 | 0.000000e+00 | 8.767000e+03 | Inf
359.80/359.86 c 360s|550000 |295462 |271481 | 0.5 | 319M| 817 | 0 |1800 |3573 |1800 | 258 | 36k| 52k|1273 | 0.000000e+00 | 8.767000e+03 | Inf
361.29/361.38 o 8575
361.29/361.38 c * 361s|551989 |290249 |273172 | 0.5 | 313M| 817 | - |1800 |3598 |1800 | 224 | 36k| 53k|1274 | 0.000000e+00 | 8.575000e+03 | Inf
367.70/367.77 c 368s|560000 |297223 |282082 | 0.5 | 322M| 817 | 0 |1800 |3858 |1800 | 228 | 37k| 56k|1292 | 0.000000e+00 | 8.575000e+03 | Inf
368.00/368.05 o 8399
368.00/368.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.00/368.05 c * 368s|560337 |290768 |282445 | 0.5 | 314M| 817 | - |1800 |3910 |1800 | 231 | 38k| 56k|1292 | 0.000000e+00 | 8.399000e+03 | Inf
368.60/368.64 o 8377
368.60/368.64 c * 369s|561026 |290506 |283380 | 0.5 | 313M| 817 | - |1800 |4118 |1800 | 227 | 38k| 57k|1292 | 0.000000e+00 | 8.377000e+03 | Inf
368.60/368.65 o 8307
368.60/368.65 c * 369s|561027 |287827 |283435 | 0.5 | 310M| 817 | - |1800 |4118 |1800 | 227 | 38k| 57k|1292 | 0.000000e+00 | 8.307000e+03 | Inf
375.80/375.87 c 376s|570000 |295485 |293774 | 0.5 | 320M| 817 | - |1800 |3786 | 0 | 0 | 39k| 61k|1328 | 0.000000e+00 | 8.307000e+03 | Inf
383.70/383.78 c 384s|580000 |304068 |304659 | 0.5 | 331M| 817 | 0 |1800 |3765 |1800 | 228 | 40k| 65k|1359 | 0.000000e+00 | 8.307000e+03 | Inf
384.10/384.14 o 8253
384.10/384.14 c * 384s|580440 |302463 |305182 | 0.5 | 330M| 817 | - |1800 |3866 |1800 | 235 | 41k| 65k|1359 | 0.000000e+00 | 8.253000e+03 | Inf
384.59/384.66 o 8019
384.59/384.66 c * 385s|581047 |293905 |305709 | 0.5 | 319M| 817 | - |1800 |4017 |1800 | 224 | 41k| 66k|1361 | 0.000000e+00 | 8.019000e+03 | Inf
391.50/391.53 c 392s|590000 |301638 |314890 | 0.5 | 329M| 817 | 0 |1800 |3427 |1800 | 225 | 42k| 69k|1407 | 0.000000e+00 | 8.019000e+03 | Inf
399.49/399.59 c 400s|600000 |310063 |328818 | 0.5 | 340M| 817 | 0 |1800 |3086 |1800 | 224 | 44k| 74k|1454 | 0.000000e+00 | 8.019000e+03 | Inf
407.30/407.30 c 407s|610000 |318774 |340554 | 0.6 | 352M| 817 | 0 |1800 |3149 |1800 | 225 | 45k| 77k|1511 | 0.000000e+00 | 8.019000e+03 | Inf
411.90/411.95 o 7988
411.90/411.95 c * 412s|616080 |322765 |347226 | 0.6 | 357M| 817 | - |1800 |3481 |1800 | 236 | 46k| 80k|1517 | 0.000000e+00 | 7.988000e+03 | Inf
415.00/415.03 c 415s|620000 |326140 |351167 | 0.6 | 361M| 817 | 0 |1800 |3606 |1800 | 231 | 46k| 81k|1522 | 0.000000e+00 | 7.988000e+03 | Inf
422.79/422.85 c 423s|630000 |334803 |363147 | 0.6 | 373M| 817 | 0 |1800 |3565 |1800 | 224 | 48k| 85k|1556 | 0.000000e+00 | 7.988000e+03 | Inf
424.70/424.75 o 7979
424.70/424.75 c * 425s|632512 |336674 |365547 | 0.6 | 375M| 817 | - |1800 |3654 |1800 | 259 | 48k| 86k|1583 | 0.000000e+00 | 7.979000e+03 | Inf
424.70/424.76 o 7927
424.70/424.76 c * 425s|632513 |334651 |365552 | 0.6 | 372M| 817 | - |1800 |3654 |1800 | 259 | 48k| 86k|1583 | 0.000000e+00 | 7.927000e+03 | Inf
429.80/429.82 o 7919
429.80/429.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
429.80/429.82 c * 430s|638912 |339958 |372895 | 0.6 | 379M| 817 | - |1800 |3041 |1800 | 231 | 49k| 88k|1605 | 0.000000e+00 | 7.919000e+03 | Inf
429.90/429.96 o 7785
429.90/429.96 c * 430s|639071 |334625 |373235 | 0.6 | 372M| 817 | - |1800 |3085 |1800 | 233 | 49k| 88k|1605 | 0.000000e+00 | 7.785000e+03 | Inf
430.01/430.05 o 7642
430.01/430.05 c * 430s|639157 |328667 |373443 | 0.6 | 364M| 817 | - |1800 |3088 |1800 | 232 | 49k| 88k|1605 | 0.000000e+00 | 7.642000e+03 | Inf
430.60/430.69 c 431s|640000 |329426 |374144 | 0.6 | 365M| 817 | 0 |1800 |2999 |1800 | 210 | 49k| 89k|1607 | 0.000000e+00 | 7.642000e+03 | Inf
431.49/431.59 o 7488
431.49/431.59 c * 432s|641098 |324098 |375748 | 0.6 | 358M| 817 | - |1800 |3082 |1800 | 259 | 49k| 89k|1608 | 0.000000e+00 | 7.488000e+03 | Inf
436.90/436.99 o 7457
436.90/436.99 c * 437s|648173 |328985 |381530 | 0.6 | 364M| 817 | - |1800 |3314 |1800 | 230 | 50k| 91k|1613 | 0.000000e+00 | 7.457000e+03 | Inf
437.00/437.02 o 7312
437.00/437.02 c * 437s|648181 |323222 |381571 | 0.6 | 356M| 817 | - |1800 |3314 |1800 | 231 | 50k| 91k|1613 | 0.000000e+00 | 7.312000e+03 | Inf
437.00/437.03 o 7254
437.00/437.03 c * 437s|648182 |320763 |381572 | 0.6 | 352M| 817 | - |1800 |3314 |1800 | 231 | 50k| 91k|1613 | 0.000000e+00 | 7.254000e+03 | Inf
438.40/438.47 c 438s|650000 |322355 |383474 | 0.6 | 355M| 817 | 0 |1800 |3431 |1800 | 215 | 50k| 92k|1637 | 0.000000e+00 | 7.254000e+03 | Inf
446.00/446.04 c 446s|660000 |330981 |392452 | 0.6 | 366M| 817 | 0 |1800 |3312 |1800 | 228 | 51k| 95k|1646 | 0.000000e+00 | 7.254000e+03 | Inf
454.30/454.36 c 454s|670000 |339495 |405569 | 0.6 | 378M| 817 | 0 |1800 |3431 |1800 | 249 | 53k| 99k|1668 | 0.000000e+00 | 7.254000e+03 | Inf
458.90/458.96 o 7157
458.90/458.96 c * 459s|675863 |340547 |412242 | 0.6 | 378M| 817 | - |1800 |3088 |1800 | 234 | 54k| 101k|1703 | 0.000000e+00 | 7.157000e+03 | Inf
461.91/461.90 o 7077
461.91/461.90 c * 462s|679605 |340193 |416202 | 0.6 | 377M| 817 | - |1800 |3021 |1800 | 273 | 54k| 102k|1728 | 0.000000e+00 | 7.077000e+03 | Inf
461.91/461.92 o 6982
461.91/461.92 c * 462s|679606 |335715 |416222 | 0.6 | 369M| 817 | - |1800 |3018 |1800 | 273 | 54k| 102k|1728 | 0.000000e+00 | 6.982000e+03 | Inf
462.20/462.25 c 462s|680000 |336058 |417102 | 0.6 | 370M| 817 | 0 |1800 |3025 |1800 | 225 | 54k| 102k|1740 | 0.000000e+00 | 6.982000e+03 | Inf
463.50/463.56 o 6911
463.50/463.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
463.50/463.56 c * 464s|681609 |333909 |419593 | 0.6 | 366M| 817 | - |1800 |3025 |1800 | 256 | 54k| 103k|1762 | 0.000000e+00 | 6.911000e+03 | Inf
463.60/463.60 o 6574
463.60/463.60 c * 464s|681610 |317826 |419598 | 0.6 | 344M| 817 | - |1800 |3024 |1800 | 256 | 54k| 103k|1762 | 0.000000e+00 | 6.574000e+03 | Inf
470.40/470.40 c 470s|690000 |324923 |430432 | 0.6 | 354M| 817 | 0 |1800 |2968 |1800 | 244 | 56k| 106k|1773 | 0.000000e+00 | 6.574000e+03 | Inf
470.71/470.78 o 6526
470.71/470.78 c * 471s|690521 |323070 |430754 | 0.6 | 351M| 817 | - |1800 |2957 |1800 | 271 | 56k| 106k|1774 | 0.000000e+00 | 6.526000e+03 | Inf
470.71/470.79 o 6492
470.71/470.79 c * 471s|690522 |321351 |430768 | 0.6 | 349M| 817 | - |1800 |2957 |1800 | 271 | 56k| 106k|1774 | 0.000000e+00 | 6.492000e+03 | Inf
475.70/475.79 o 6315
475.70/475.79 c * 476s|696686 |317799 |438083 | 0.6 | 346M| 817 | - |1800 |3236 |1800 | 231 | 56k| 108k|1808 | 0.000000e+00 | 6.315000e+03 | Inf
475.80/475.80 o 6277
475.80/475.80 c * 476s|696687 |315884 |438085 | 0.6 | 343M| 817 | - |1800 |3236 |1800 | 231 | 56k| 108k|1808 | 0.000000e+00 | 6.277000e+03 | Inf
478.51/478.52 c 479s|700000 |318695 |442128 | 0.6 | 347M| 817 | 0 |1800 |3111 |1800 | 222 | 57k| 109k|1811 | 0.000000e+00 | 6.277000e+03 | Inf
486.50/486.59 c 487s|710000 |327302 |453417 | 0.6 | 359M| 817 | 0 |1800 |3287 |1800 | 241 | 58k| 112k|1838 | 0.000000e+00 | 6.277000e+03 | Inf
494.50/494.55 c 495s|720000 |335860 |466175 | 0.6 | 371M| 817 | 0 |1800 |3183 |1800 | 226 | 60k| 116k|1876 | 0.000000e+00 | 6.277000e+03 | Inf
499.20/499.20 o 6249
499.20/499.20 c * 499s|725900 |339371 |472611 | 0.7 | 376M| 817 | - |1800 |3224 |1800 | 223 | 61k| 117k|1885 | 0.000000e+00 | 6.249000e+03 | Inf
502.50/502.58 c 503s|730000 |342832 |477806 | 0.7 | 382M| 817 | 0 |1800 |3515 |1800 | 219 | 61k| 119k|1889 | 0.000000e+00 | 6.249000e+03 | Inf
507.50/507.55 o 6196
507.50/507.55 c * 508s|736179 |344996 |484798 | 0.7 | 386M| 817 | - |1800 |3612 |1800 | 220 | 62k| 121k|1906 | 0.000000e+00 | 6.196000e+03 | Inf
507.50/507.57 o 6125
507.50/507.57 c * 508s|736189 |340947 |484850 | 0.7 | 381M| 817 | - |1800 |3617 |1800 | 221 | 62k| 121k|1906 | 0.000000e+00 | 6.125000e+03 | Inf
507.60/507.60 o 5902
507.60/507.60 c * 508s|736190 |328673 |484850 | 0.7 | 364M| 817 | - |1800 |3617 |1800 | 221 | 62k| 121k|1906 | 0.000000e+00 | 5.902000e+03 | Inf
509.31/509.34 o 5750
509.31/509.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
509.31/509.34 c * 509s|738312 |322351 |487097 | 0.7 | 357M| 817 | - |1800 |3526 |1800 | 229 | 63k| 122k|1911 | 0.000000e+00 | 5.750000e+03 | Inf
510.60/510.67 c 511s|740000 |323790 |488989 | 0.7 | 359M| 817 | - |1800 |3565 | 0 | 0 | 63k| 122k|1913 | 0.000000e+00 | 5.750000e+03 | Inf
518.90/518.97 c 519s|750000 |332031 |501635 | 0.7 | 371M| 817 | 0 |1800 |3423 |1800 | 227 | 64k| 126k|1948 | 0.000000e+00 | 5.750000e+03 | Inf
521.10/521.14 o 5724
521.10/521.14 c * 521s|752633 |332835 |505198 | 0.7 | 373M| 817 | - |1800 |3480 |1800 | 274 | 65k| 127k|1950 | 0.000000e+00 | 5.724000e+03 | Inf
527.20/527.21 c 527s|760000 |339013 |515771 | 0.7 | 381M| 817 | 0 |1800 |3392 |1800 | 221 | 66k| 129k|1995 | 0.000000e+00 | 5.724000e+03 | Inf
535.50/535.58 c 536s|770000 |347399 |532651 | 0.7 | 394M| 817 | 0 |1800 |3186 |1800 | 223 | 68k| 133k|2056 | 0.000000e+00 | 5.724000e+03 | Inf
543.80/543.89 c 544s|780000 |355696 |548284 | 0.7 | 406M| 817 | 0 |1800 |3392 |1800 | 228 | 70k| 136k|2096 | 0.000000e+00 | 5.724000e+03 | Inf
552.11/552.16 c 552s|790000 |364115 |563876 | 0.7 | 418M| 817 | 0 |1800 |3090 |1800 | 224 | 72k| 139k|2129 | 0.000000e+00 | 5.724000e+03 | Inf
560.40/560.46 c 560s|800000 |372417 |579824 | 0.7 | 430M| 817 | 0 |1800 |3413 |1800 | 221 | 74k| 142k|2182 | 0.000000e+00 | 5.724000e+03 | Inf
568.61/568.69 c 569s|810000 |380788 |594327 | 0.7 | 442M| 817 | 0 |1800 |3695 |1800 | 228 | 76k| 146k|2204 | 0.000000e+00 | 5.724000e+03 | Inf
576.90/576.93 c 577s|820000 |389040 |608471 | 0.7 | 454M| 817 | 0 |1800 |3971 |1800 | 226 | 78k| 149k|2235 | 0.000000e+00 | 5.724000e+03 | Inf
584.90/584.91 c 585s|830000 |397548 |619203 | 0.7 | 466M| 817 | 0 |1800 |3431 |1800 | 225 | 79k| 151k|2270 | 0.000000e+00 | 5.724000e+03 | Inf
593.10/593.18 c 593s|840000 |406152 |636099 | 0.8 | 478M| 817 | 0 |1800 |3345 |1800 | 219 | 81k| 154k|2314 | 0.000000e+00 | 5.724000e+03 | Inf
599.00/599.09 o 5653
599.00/599.09 c * 599s|847530 |408390 |644988 | 0.8 | 481M| 817 | - |1800 |3756 |1800 | 222 | 82k| 156k|2322 | 0.000000e+00 | 5.653000e+03 | Inf
601.10/601.16 c 601s|850000 |410455 |648606 | 0.8 | 484M| 817 | 0 |1800 |3324 |1800 | 222 | 83k| 157k|2332 | 0.000000e+00 | 5.653000e+03 | Inf
609.00/609.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
609.00/609.03 c 609s|860000 |419189 |661146 | 0.8 | 495M| 817 | 0 |1800 |2858 |1800 | 227 | 84k| 159k|2353 | 0.000000e+00 | 5.653000e+03 | Inf
617.11/617.18 c 617s|870000 |427552 |674954 | 0.8 | 508M| 817 | 0 |1800 |3210 |1800 | 221 | 86k| 162k|2378 | 0.000000e+00 | 5.653000e+03 | Inf
625.61/625.68 c 626s|880000 |435830 |691784 | 0.8 | 521M| 817 | 0 |1800 |3369 |1800 | 213 | 88k| 165k|2415 | 0.000000e+00 | 5.653000e+03 | Inf
634.11/634.13 c 634s|890000 |444154 |708399 | 0.8 | 533M| 817 | 0 |1800 |3502 |1800 | 257 | 90k| 168k|2488 | 0.000000e+00 | 5.653000e+03 | Inf
637.11/637.18 o 5635
637.11/637.18 c * 637s|893525 |445860 |714390 | 0.8 | 536M| 817 | - |1800 |3726 |1800 | 237 | 91k| 170k|2507 | 0.000000e+00 | 5.635000e+03 | Inf
637.11/637.19 o 5623
637.11/637.19 c * 637s|893526 |445081 |714397 | 0.8 | 535M| 817 | - |1800 |3726 |1800 | 237 | 91k| 170k|2507 | 0.000000e+00 | 5.623000e+03 | Inf
642.70/642.78 c 643s|900000 |450524 |725289 | 0.8 | 543M| 817 | 0 |1800 |3599 |1800 | 218 | 92k| 171k|2532 | 0.000000e+00 | 5.623000e+03 | Inf
651.00/651.08 c 651s|910000 |459088 |740927 | 0.8 | 555M| 817 | 0 |1800 |3530 |1800 | 236 | 94k| 174k|2582 | 0.000000e+00 | 5.623000e+03 | Inf
655.30/655.37 o 5601
655.30/655.37 c * 655s|915197 |461893 |748094 | 0.8 | 560M| 817 | - |1800 |3508 |1800 | 226 | 95k| 175k|2589 | 0.000000e+00 | 5.601000e+03 | Inf
659.31/659.35 c 659s|920000 |465879 |753684 | 0.8 | 566M| 817 | 0 |1800 |3674 |1800 | 231 | 95k| 177k|2604 | 0.000000e+00 | 5.601000e+03 | Inf
664.41/664.47 o 5542
664.41/664.47 c * 664s|926127 |466874 |762076 | 0.8 | 568M| 817 | - |1800 |3563 |1800 | 230 | 97k| 179k|2634 | 0.000000e+00 | 5.542000e+03 | Inf
667.61/667.67 c 668s|930000 |470170 |767072 | 0.8 | 573M| 817 | 4 |1800 |3544 |1800 | 226 | 97k| 180k|2635 | 0.000000e+00 | 5.542000e+03 | Inf
671.10/671.17 o 5537
671.10/671.17 c * 671s|934203 |473430 |772210 | 0.8 | 578M| 817 | - |1800 |3652 |1800 | 240 | 98k| 181k|2652 | 0.000000e+00 | 5.537000e+03 | Inf
676.01/676.10 c 676s|940000 |478314 |780430 | 0.8 | 585M| 817 | 0 |1800 |3862 |1800 | 218 | 99k| 183k|2665 | 0.000000e+00 | 5.537000e+03 | Inf
684.31/684.39 c 684s|950000 |486667 |794466 | 0.8 | 598M| 817 | 0 |1800 |3728 |1800 | 245 | 101k| 186k|2688 | 0.000000e+00 | 5.537000e+03 | Inf
692.61/692.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
692.61/692.69 c 693s|960000 |494911 |807436 | 0.8 | 610M| 817 | 0 |1800 |3592 |1800 | 220 | 102k| 189k|2709 | 0.000000e+00 | 5.537000e+03 | Inf
701.01/701.04 c 701s|970000 |503168 |820170 | 0.8 | 623M| 817 | 0 |1800 |3537 |1800 | 218 | 104k| 193k|2733 | 0.000000e+00 | 5.537000e+03 | Inf
705.61/705.64 o 5441
705.61/705.64 c * 706s|975331 |500560 |828953 | 0.8 | 620M| 817 | - |1800 |3775 |1800 | 234 | 105k| 194k|2757 | 0.000000e+00 | 5.441000e+03 | Inf
709.51/709.51 c 710s|980000 |504500 |834389 | 0.9 | 626M| 817 | 0 |1800 |3793 |1800 | 230 | 106k| 196k|2758 | 0.000000e+00 | 5.441000e+03 | Inf
715.81/715.88 o 5411
715.81/715.88 c * 716s|987283 |508143 |846471 | 0.9 | 631M| 817 | - |1800 |3831 |1800 | 243 | 108k| 198k|2811 | 0.000000e+00 | 5.411000e+03 | Inf
715.91/715.90 o 5302
715.91/715.90 c * 716s|987284 |499199 |846472 | 0.9 | 617M| 817 | - |1800 |3831 |1800 | 243 | 108k| 198k|2811 | 0.000000e+00 | 5.302000e+03 | Inf
718.41/718.40 c 718s|990000 |501444 |852049 | 0.9 | 621M| 817 | 0 |1800 |3733 |1800 | 224 | 108k| 199k|2844 | 0.000000e+00 | 5.302000e+03 | Inf
718.51/718.58 o 5250
718.51/718.58 c * 719s|990170 |496898 |852418 | 0.9 | 614M| 817 | - |1800 |3678 |1800 | 244 | 108k| 199k|2850 | 0.000000e+00 | 5.250000e+03 | Inf
727.01/727.03 c 727s| 1000k|505060 |867704 | 0.9 | 627M| 817 | 0 |1800 |3879 |1800 | 226 | 110k| 202k|2870 | 0.000000e+00 | 5.250000e+03 | Inf
735.50/735.55 c 736s| 1010k|513301 |882128 | 0.9 | 640M| 817 | 0 |1800 |3941 |1800 | 225 | 112k| 206k|2893 | 0.000000e+00 | 5.250000e+03 | Inf
737.81/737.86 o 5094
737.81/737.86 c * 738s| 1012k|501924 |885783 | 0.9 | 622M| 817 | - |1800 |3887 |1800 | 237 | 113k| 206k|2918 | 0.000000e+00 | 5.094000e+03 | Inf
737.81/737.89 o 4989
737.81/737.89 c * 738s| 1012k|493022 |885791 | 0.9 | 609M| 817 | - |1800 |3887 |1800 | 237 | 113k| 206k|2918 | 0.000000e+00 | 4.989000e+03 | Inf
744.21/744.26 c 744s| 1020k|499147 |896438 | 0.9 | 619M| 817 | 0 |1800 |4226 |1800 | 216 | 114k| 209k|2937 | 0.000000e+00 | 4.989000e+03 | Inf
752.60/752.64 c 753s| 1030k|507405 |908868 | 0.9 | 631M| 817 | 0 |1800 |3996 |1800 | 218 | 116k| 212k|2969 | 0.000000e+00 | 4.989000e+03 | Inf
761.00/761.09 c 761s| 1040k|515769 |922359 | 0.9 | 644M| 817 | 0 |1800 |3656 |1800 | 224 | 118k| 215k|2993 | 0.000000e+00 | 4.989000e+03 | Inf
769.71/769.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
769.71/769.79 c 770s| 1050k|523764 |937707 | 0.9 | 656M| 817 | 0 |1800 |3917 |1800 | 224 | 120k| 218k|3026 | 0.000000e+00 | 4.989000e+03 | Inf
770.91/770.94 o 4783
770.91/770.94 c * 771s| 1051k|505591 |940135 | 0.9 | 618M| 817 | - |1800 |4019 |1800 | 242 | 120k| 218k|3029 | 0.000000e+00 | 4.783000e+03 | Inf
770.91/770.99 o 4774
770.91/770.99 c * 771s| 1051k|504748 |940266 | 0.9 | 616M| 817 | - |1800 |4025 |1800 | 240 | 120k| 218k|3029 | 0.000000e+00 | 4.774000e+03 | Inf
771.11/771.16 o 4767
771.11/771.16 c * 771s| 1051k|504268 |940541 | 0.9 | 615M| 817 | - |1800 |4073 |1800 | 238 | 120k| 218k|3029 | 0.000000e+00 | 4.767000e+03 | Inf
778.61/778.66 c 779s| 1060k|511097 |953706 | 0.9 | 626M| 817 | 0 |1800 |4040 |1800 | 222 | 122k| 221k|3069 | 0.000000e+00 | 4.767000e+03 | Inf
787.52/787.54 c 788s| 1070k|519257 |971233 | 0.9 | 639M| 817 | 0 |1800 |3887 |1800 | 229 | 124k| 224k|3100 | 0.000000e+00 | 4.767000e+03 | Inf
792.81/792.83 o 4746
792.81/792.83 c * 793s| 1075k|521917 |981310 | 0.9 | 641M| 817 | - |1800 |3504 |1800 | 236 | 126k| 226k|3114 | 0.000000e+00 | 4.746000e+03 | Inf
796.21/796.30 c 796s| 1080k|525146 |986907 | 0.9 | 646M| 817 | 0 |1800 |3641 |1800 | 230 | 126k| 227k|3122 | 0.000000e+00 | 4.746000e+03 | Inf
805.11/805.16 c 805s| 1090k|533175 | 1002k| 0.9 | 659M| 817 | 0 |1800 |4298 |1800 | 228 | 129k| 231k|3166 | 0.000000e+00 | 4.746000e+03 | Inf
813.71/813.73 c 814s| 1100k|541385 | 1017k| 0.9 | 671M| 817 | 0 |1800 |3701 |1800 | 208 | 131k| 234k|3198 | 0.000000e+00 | 4.746000e+03 | Inf
822.31/822.39 c 822s| 1110k|549703 | 1033k| 0.9 | 684M| 817 | 0 |1800 |4063 |1800 | 234 | 133k| 237k|3218 | 0.000000e+00 | 4.746000e+03 | Inf
831.01/831.02 c 831s| 1120k|557853 | 1047k| 0.9 | 698M| 817 | 0 |1800 |3950 |1800 | 233 | 135k| 240k|3266 | 0.000000e+00 | 4.746000e+03 | Inf
834.01/834.08 o 4586
834.01/834.08 c * 834s| 1123k|541344 | 1052k| 0.9 | 659M| 817 | - |1800 |4469 |1800 | 249 | 136k| 241k|3270 | 0.000000e+00 | 4.586000e+03 | Inf
834.01/834.09 o 4585
834.01/834.09 c * 834s| 1123k|541180 | 1052k| 0.9 | 659M| 817 | - |1800 |4469 |1800 | 249 | 136k| 241k|3270 | 0.000000e+00 | 4.585000e+03 | Inf
834.11/834.19 o 4411
834.11/834.19 c * 834s| 1123k|519181 | 1052k| 0.9 | 615M| 817 | - |1800 |4468 |1800 | 247 | 136k| 241k|3270 | 0.000000e+00 | 4.411000e+03 | Inf
834.31/834.32 o 4400
834.31/834.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
834.31/834.32 c * 834s| 1123k|517959 | 1052k| 0.9 | 613M| 817 | - |1800 |4476 |1800 | 244 | 136k| 241k|3270 | 0.000000e+00 | 4.400000e+03 | Inf
834.31/834.33 o 4399
834.31/834.33 c * 834s| 1123k|517834 | 1052k| 0.9 | 612M| 817 | - |1800 |4476 |1800 | 244 | 136k| 241k|3270 | 0.000000e+00 | 4.399000e+03 | Inf
834.41/834.40 o 4324
834.41/834.40 c * 834s| 1123k|508740 | 1052k| 0.9 | 596M| 817 | - |1800 |4474 |1800 | 241 | 136k| 241k|3270 | 0.000000e+00 | 4.324000e+03 | Inf
834.41/834.47 o 4308
834.41/834.47 c * 834s| 1123k|506934 | 1053k| 0.9 | 593M| 817 | - |1800 |4488 |1800 | 243 | 136k| 241k|3270 | 0.000000e+00 | 4.308000e+03 | Inf
834.51/834.51 o 4245
834.51/834.51 c * 834s| 1123k|499147 | 1053k| 0.9 | 578M| 817 | - |1800 |4488 |1800 | 243 | 136k| 241k|3270 | 0.000000e+00 | 4.245000e+03 | Inf
834.51/834.58 o 4025
834.51/834.58 c * 835s| 1123k|472994 | 1053k| 0.9 | 535M| 817 | - |1800 |4488 |1800 | 243 | 136k| 241k|3270 | 0.000000e+00 | 4.025000e+03 | Inf
840.01/840.01 c 840s| 1130k|477836 | 1061k| 0.9 | 542M| 817 | 0 |1800 |4034 |1800 | 247 | 137k| 243k|3278 | 0.000000e+00 | 4.025000e+03 | Inf
849.01/849.04 c 849s| 1140k|485798 | 1081k| 0.9 | 555M| 817 | 0 |1800 |3435 |1800 | 237 | 140k| 245k|3357 | 0.000000e+00 | 4.025000e+03 | Inf
857.91/857.94 c 858s| 1150k|493690 | 1097k| 1.0 | 569M| 817 | 0 |1800 |3579 |1800 | 245 | 142k| 248k|3390 | 0.000000e+00 | 4.025000e+03 | Inf
867.02/867.04 c 867s| 1160k|501561 | 1116k| 1.0 | 583M| 817 | 0 |1800 |3948 |1800 | 231 | 144k| 251k|3426 | 0.000000e+00 | 4.025000e+03 | Inf
876.62/876.69 c 877s| 1170k|509399 | 1140k| 1.0 | 597M| 817 | 0 |1800 |4096 |1800 | 231 | 148k| 255k|3490 | 0.000000e+00 | 4.025000e+03 | Inf
881.81/881.86 o 3993
881.81/881.86 c * 882s| 1175k|509666 | 1155k| 1.0 | 598M| 817 | - |1800 |3842 |1800 | 229 | 149k| 257k|3503 | 0.000000e+00 | 3.993000e+03 | Inf
881.81/881.88 o 3979
881.81/881.88 c * 882s| 1175k|507935 | 1155k| 1.0 | 595M| 817 | - |1800 |3842 |1800 | 229 | 149k| 257k|3503 | 0.000000e+00 | 3.979000e+03 | Inf
881.91/881.90 o 3920
881.91/881.90 c * 882s| 1175k|500774 | 1155k| 1.0 | 584M| 817 | - |1800 |3842 |1800 | 229 | 149k| 257k|3503 | 0.000000e+00 | 3.920000e+03 | Inf
882.61/882.65 o 3851
882.61/882.65 c * 883s| 1175k|492326 | 1157k| 1.0 | 571M| 817 | - |1800 |3951 |1800 | 228 | 150k| 257k|3515 | 0.000000e+00 | 3.851000e+03 | Inf
886.71/886.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
886.71/886.79 c 887s| 1180k|495517 | 1169k| 1.0 | 577M| 817 | 0 |1800 |3620 |1800 | 223 | 151k| 258k|3540 | 0.000000e+00 | 3.851000e+03 | Inf
896.21/896.29 c 896s| 1190k|503179 | 1192k| 1.0 | 591M| 817 | 0 |1800 |3134 |1800 | 224 | 154k| 262k|3586 | 0.000000e+00 | 3.851000e+03 | Inf
905.51/905.53 c 906s| 1200k|510833 | 1213k| 1.0 | 604M| 817 | 0 |1800 |3628 |1800 | 218 | 157k| 265k|3618 | 0.000000e+00 | 3.851000e+03 | Inf
910.31/910.36 o 3844
910.31/910.36 c * 910s| 1205k|514150 | 1223k| 1.0 | 610M| 817 | - |1800 |3546 |1800 | 244 | 158k| 267k|3625 | 0.000000e+00 | 3.844000e+03 | Inf
910.41/910.46 o 3679
910.41/910.46 c * 910s| 1205k|492532 | 1223k| 1.0 | 575M| 817 | - |1800 |3558 |1800 | 235 | 158k| 267k|3625 | 0.000000e+00 | 3.679000e+03 | Inf
910.81/910.84 o 3661
910.81/910.84 c * 911s| 1205k|490300 | 1224k| 1.0 | 572M| 817 | - |1800 |3580 |1800 | 238 | 158k| 267k|3625 | 0.000000e+00 | 3.661000e+03 | Inf
910.91/910.90 o 3478
910.91/910.90 c * 911s| 1205k|466372 | 1224k| 1.0 | 538M| 817 | - |1800 |3580 |1800 | 238 | 158k| 267k|3625 | 0.000000e+00 | 3.478000e+03 | Inf
910.91/910.96 o 3422
910.91/910.96 c * 911s| 1205k|459447 | 1224k| 1.0 | 529M| 817 | - |1800 |3581 |1800 | 239 | 158k| 267k|3625 | 0.000000e+00 | 3.422000e+03 | Inf
911.12/911.13 o 3274
911.12/911.13 c * 911s| 1205k|441221 | 1224k| 1.0 | 504M| 817 | - |1800 |3595 |1800 | 237 | 158k| 267k|3625 | 0.000000e+00 | 3.274000e+03 | Inf
911.12/911.14 o 3263
911.12/911.14 c * 911s| 1205k|439793 | 1224k| 1.0 | 503M| 817 | - |1800 |3595 |1800 | 237 | 158k| 267k|3625 | 0.000000e+00 | 3.263000e+03 | Inf
911.71/911.77 o 3247
911.71/911.77 c * 912s| 1206k|438126 | 1226k| 1.0 | 500M| 817 | - |1800 |3585 |1800 | 232 | 158k| 267k|3626 | 0.000000e+00 | 3.247000e+03 | Inf
911.71/911.78 o 3235
911.71/911.78 c * 912s| 1206k|436574 | 1226k| 1.0 | 498M| 817 | - |1800 |3585 |1800 | 232 | 158k| 267k|3626 | 0.000000e+00 | 3.235000e+03 | Inf
915.21/915.26 c 915s| 1210k|439102 | 1235k| 1.0 | 503M| 817 | 0 |1800 |3567 |1800 | 228 | 160k| 268k|3651 | 0.000000e+00 | 3.235000e+03 | Inf
917.61/917.62 o 3127
917.61/917.62 c * 918s| 1212k|426942 | 1242k| 1.0 | 487M| 817 | - |1800 |3549 |1800 | 248 | 160k| 269k|3660 | 0.000000e+00 | 3.127000e+03 | Inf
921.01/921.06 o 3110
921.01/921.06 c * 921s| 1215k|427424 | 1252k| 1.0 | 490M| 817 | - |1800 |3628 |1800 | 237 | 162k| 270k|3673 | 0.000000e+00 | 3.110000e+03 | Inf
921.01/921.09 o 3019
921.01/921.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
921.01/921.09 c * 921s| 1215k|415255 | 1252k| 1.0 | 471M| 817 | - |1800 |3627 |1800 | 237 | 162k| 270k|3673 | 0.000000e+00 | 3.019000e+03 | Inf
924.41/924.45 o 2939
924.41/924.45 c * 924s| 1219k|407248 | 1260k| 1.0 | 460M| 817 | - |1800 |3269 |1800 | 239 | 162k| 271k|3694 | 0.000000e+00 | 2.939000e+03 | Inf
924.41/924.49 o 2855
924.41/924.49 c * 924s| 1219k|396010 | 1260k| 1.0 | 444M| 817 | - |1800 |3269 |1800 | 239 | 162k| 271k|3694 | 0.000000e+00 | 2.855000e+03 | Inf
925.31/925.37 o 2746
925.31/925.37 c * 925s| 1219k|381793 | 1262k| 1.0 | 427M| 817 | - |1800 |3344 |1800 | 243 | 163k| 271k|3695 | 0.000000e+00 | 2.746000e+03 | Inf
925.41/925.43 c 925s| 1220k|381818 | 1263k| 1.0 | 427M| 817 | 0 |1800 |3329 |1800 | 225 | 163k| 271k|3695 | 0.000000e+00 | 2.746000e+03 | Inf
935.82/935.85 c 936s| 1230k|388860 | 1290k| 1.0 | 443M| 817 | 0 |1800 |3237 |1800 | 230 | 167k| 274k|3734 | 0.000000e+00 | 2.746000e+03 | Inf
946.02/946.07 c 946s| 1240k|395964 | 1317k| 1.1 | 458M| 817 | - |1800 |3490 | 0 | 0 | 170k| 278k|3777 | 0.000000e+00 | 2.746000e+03 | Inf
956.02/956.05 c 956s| 1250k|403208 | 1343k| 1.1 | 473M| 817 | 0 |1800 |3593 |1800 | 237 | 174k| 281k|3820 | 0.000000e+00 | 2.746000e+03 | Inf
962.91/962.98 o 2580
962.91/962.98 c * 963s| 1256k|385095 | 1361k| 1.1 | 455M| 817 | - |1800 |3719 |1800 | 229 | 176k| 283k|3851 | 0.000000e+00 | 2.580000e+03 | Inf
963.01/963.00 o 2545
963.01/963.00 c * 963s| 1256k|380304 | 1361k| 1.1 | 449M| 817 | - |1800 |3719 |1800 | 229 | 176k| 283k|3851 | 0.000000e+00 | 2.545000e+03 | Inf
966.51/966.51 c 967s| 1260k|382340 | 1372k| 1.1 | 454M| 817 | - |1800 |3652 | 0 | 0 | 177k| 284k|3875 | 0.000000e+00 | 2.545000e+03 | Inf
977.11/977.19 c 977s| 1270k|389349 | 1406k| 1.1 | 470M| 817 | 0 |1800 |3702 |1800 | 241 | 182k| 288k|3936 | 0.000000e+00 | 2.545000e+03 | Inf
977.42/977.43 o 2371
977.42/977.43 c * 977s| 1270k|364532 | 1407k| 1.1 | 441M| 817 | - |1800 |3741 |1800 | 248 | 182k| 288k|3936 | 0.000000e+00 | 2.371000e+03 | Inf
977.42/977.45 o 2330
977.42/977.45 c * 977s| 1270k|358733 | 1407k| 1.1 | 433M| 817 | - |1800 |3740 |1800 | 248 | 182k| 288k|3936 | 0.000000e+00 | 2.330000e+03 | Inf
981.22/981.26 o 2322
981.22/981.26 c * 981s| 1273k|360230 | 1418k| 1.1 | 438M| 817 | - |1800 |3379 |1800 | 256 | 183k| 289k|3966 | 0.000000e+00 | 2.322000e+03 | Inf
988.01/988.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
988.01/988.01 c 988s| 1280k|364605 | 1441k| 1.1 | 448M| 817 | 5 |1800 |3250 |1800 | 231 | 186k| 291k|3992 | 0.000000e+00 | 2.322000e+03 | Inf
998.82/998.87 c 999s| 1290k|371344 | 1476k| 1.1 | 464M| 817 | - |1800 |3284 | 0 | 0 | 190k| 294k|4051 | 0.000000e+00 | 2.322000e+03 | Inf
1002.51/1002.59 o 2249
1002.51/1002.59 c *1003s| 1293k|362996 | 1487k| 1.1 | 458M| 817 | - |1800 |3516 |1800 | 222 | 192k| 295k|4062 | 0.000000e+00 | 2.249000e+03 | Inf
1002.61/1002.60 o 2248
1002.61/1002.60 c *1003s| 1293k|362787 | 1487k| 1.1 | 457M| 817 | - |1800 |3516 |1800 | 222 | 192k| 295k|4062 | 0.000000e+00 | 2.248000e+03 | Inf
1010.11/1010.11 c 1010s| 1300k|366967 | 1512k| 1.2 | 468M| 817 | 0 |1800 |3515 |1800 | 224 | 195k| 298k|4104 | 0.000000e+00 | 2.248000e+03 | Inf
1021.11/1021.18 c 1021s| 1310k|373583 | 1548k| 1.2 | 485M| 817 | 0 |1800 |3308 |1800 | 229 | 199k| 301k|4160 | 0.000000e+00 | 2.248000e+03 | Inf
1032.31/1032.30 c 1032s| 1320k|380258 | 1589k| 1.2 | 502M| 817 | - |1800 |3346 |1800 | 224 | 204k| 304k|4224 | 0.000000e+00 | 2.248000e+03 | Inf
1043.11/1043.17 c 1043s| 1330k|386962 | 1622k| 1.2 | 520M| 817 | 0 |1800 |3402 |1800 | 227 | 209k| 308k|4262 | 0.000000e+00 | 2.248000e+03 | Inf
1054.01/1054.07 c 1054s| 1340k|393577 | 1657k| 1.2 | 536M| 817 | 0 |1800 |3582 |1800 | 236 | 213k| 311k|4308 | 0.000000e+00 | 2.248000e+03 | Inf
1063.01/1063.06 o 2073
1063.01/1063.06 c *1063s| 1348k|372269 | 1684k| 1.2 | 515M| 817 | - |1800 |3548 |1800 | 224 | 216k| 314k|4350 | 0.000000e+00 | 2.073000e+03 | Inf
1063.11/1063.16 o 1917
1063.11/1063.16 c *1063s| 1348k|347668 | 1684k| 1.2 | 480M| 817 | - |1800 |3554 |1800 | 225 | 216k| 314k|4350 | 0.000000e+00 | 1.917000e+03 | Inf
1064.92/1064.96 c 1065s| 1350k|348668 | 1690k| 1.3 | 483M| 817 | - |1800 |3459 | 0 | 0 | 217k| 314k|4376 | 0.000000e+00 | 1.917000e+03 | Inf
1075.11/1075.10 o 1807
1075.11/1075.10 c *1075s| 1358k|335935 | 1726k| 1.3 | 470M| 817 | - |1800 |3773 |1800 | 242 | 222k| 317k|4419 | 0.000000e+00 | 1.807000e+03 | Inf
1075.11/1075.16 o 1685
1075.11/1075.16 c *1075s| 1358k|314762 | 1726k| 1.3 | 437M| 817 | - |1800 |3773 |1800 | 242 | 222k| 317k|4419 | 0.000000e+00 | 1.685000e+03 | Inf
1075.82/1075.88 o 1629
1075.82/1075.88 c *1076s| 1359k|304668 | 1728k| 1.3 | 422M| 817 | - |1800 |3844 |1800 | 246 | 222k| 317k|4423 | 0.000000e+00 | 1.629000e+03 | Inf
1075.92/1075.95 o 1501
1075.92/1075.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1075.92/1075.95 c *1076s| 1359k|279990 | 1728k| 1.3 | 381M| 817 | - |1800 |3844 |1800 | 246 | 222k| 317k|4423 | 0.000000e+00 | 1.501000e+03 | Inf
1077.12/1077.13 c 1077s| 1360k|280542 | 1732k| 1.3 | 383M| 817 | 0 |1800 |3663 |1800 | 222 | 222k| 318k|4425 | 0.000000e+00 | 1.501000e+03 | Inf
1086.32/1086.38 o 1495
1086.32/1086.38 c *1086s| 1367k|283296 | 1766k| 1.3 | 396M| 817 | - |1800 |3271 |1800 | 230 | 226k| 321k|4462 | 0.000000e+00 | 1.495000e+03 | Inf
1086.42/1086.44 o 1398
1086.42/1086.44 c *1086s| 1367k|265727 | 1766k| 1.3 | 366M| 817 | - |1800 |3270 |1800 | 232 | 226k| 321k|4462 | 0.000000e+00 | 1.398000e+03 | Inf
1090.32/1090.32 c 1090s| 1370k|266874 | 1786k| 1.3 | 373M| 817 | 0 |1800 |3368 |1800 | 243 | 229k| 322k|4502 | 0.000000e+00 | 1.398000e+03 | Inf
1103.61/1103.68 c 1104s| 1380k|272151 | 1848k| 1.3 | 396M| 817 | 0 |1800 |3634 |1800 | 241 | 236k| 326k|4580 | 0.000000e+00 | 1.398000e+03 | Inf
1117.41/1117.41 c 1117s| 1390k|277520 | 1913k| 1.4 | 420M| 817 | - |1800 |3846 |1800 | 265 | 244k| 331k|4657 | 0.000000e+00 | 1.398000e+03 | Inf
1124.92/1124.93 o 1395
1124.92/1124.93 c *1125s| 1395k|279862 | 1948k| 1.4 | 432M| 817 | - |1800 |4035 |1800 | 266 | 248k| 333k|4696 | 0.000000e+00 | 1.395000e+03 | Inf
1124.92/1124.94 o 1384
1124.92/1124.94 c *1125s| 1395k|278138 | 1948k| 1.4 | 429M| 817 | - |1800 |4035 |1800 | 266 | 248k| 333k|4696 | 0.000000e+00 | 1.384000e+03 | Inf
1131.02/1131.07 c 1131s| 1400k|280591 | 1974k| 1.4 | 439M| 817 | 0 |1800 |4019 |1800 | 216 | 251k| 336k|4730 | 0.000000e+00 | 1.384000e+03 | Inf
1133.92/1133.90 o 1332
1133.92/1133.90 c *1134s| 1401k|270825 | 1986k| 1.4 | 424M| 817 | - |1800 |3884 |1800 | 252 | 253k| 337k|4765 | 0.000000e+00 | 1.332000e+03 | Inf
1145.22/1145.25 c 1145s| 1410k|274910 | 2043k| 1.4 | 444M| 817 | - |1800 |3652 | 0 | 0 | 260k| 340k|4826 | 0.000000e+00 | 1.332000e+03 | Inf
1145.52/1145.55 o 1326
1145.52/1145.55 c *1146s| 1410k|273756 | 2045k| 1.5 | 442M| 817 | - |1800 |3662 |1800 | 255 | 260k| 341k|4826 | 0.000000e+00 | 1.326000e+03 | Inf
1145.52/1145.56 o 1309
1145.52/1145.56 c *1146s| 1410k|270134 | 2045k| 1.5 | 437M| 817 | - |1800 |3662 |1800 | 255 | 260k| 341k|4826 | 0.000000e+00 | 1.309000e+03 | Inf
1149.01/1149.05 o 1298
1149.01/1149.05 c *1149s| 1412k|268948 | 2065k| 1.5 | 439M| 817 | - |1800 |3370 |1800 | 256 | 262k| 342k|4859 | 0.000000e+00 | 1.298000e+03 | Inf
1149.01/1149.06 o 1293
1149.01/1149.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1149.01/1149.06 c *1149s| 1412k|268117 | 2065k| 1.5 | 437M| 817 | - |1800 |3370 |1800 | 256 | 262k| 342k|4859 | 0.000000e+00 | 1.293000e+03 | Inf
1159.11/1159.17 c 1159s| 1420k|272066 | 2114k| 1.5 | 455M| 817 | 0 |1800 |3821 |1800 | 237 | 268k| 345k|4912 | 0.000000e+00 | 1.293000e+03 | Inf
1161.72/1161.76 o 1243
1161.72/1161.76 c *1162s| 1421k|262787 | 2126k| 1.5 | 442M| 817 | - |1800 |3796 |1800 | 254 | 269k| 346k|4939 | 0.000000e+00 | 1.243000e+03 | Inf
1161.72/1161.77 o 1236
1161.72/1161.77 c *1162s| 1421k|261597 | 2126k| 1.5 | 440M| 817 | - |1800 |3796 |1800 | 254 | 269k| 346k|4939 | 0.000000e+00 | 1.236000e+03 | Inf
1161.82/1161.82 o 1149
1161.82/1161.82 c *1162s| 1421k|244709 | 2126k| 1.5 | 412M| 817 | - |1800 |3796 |1800 | 254 | 269k| 346k|4939 | 0.000000e+00 | 1.149000e+03 | Inf
1165.72/1165.73 o 1131
1165.72/1165.73 c *1166s| 1424k|243050 | 2142k| 1.5 | 415M| 817 | - |1800 |3701 |1800 | 255 | 271k| 347k|4943 | 0.000000e+00 | 1.131000e+03 | Inf
1165.72/1165.77 o 1044
1165.72/1165.77 c *1166s| 1424k|228406 | 2142k| 1.5 | 391M| 817 | - |1800 |3701 |1800 | 255 | 271k| 347k|4943 | 0.000000e+00 | 1.044000e+03 | Inf
1173.82/1173.88 c 1174s| 1430k|230771 | 2183k| 1.5 | 406M| 817 | 0 |1800 |3741 |1800 | 248 | 276k| 350k|4998 | 0.000000e+00 | 1.044000e+03 | Inf
1187.62/1187.67 o 1012
1187.62/1187.67 c *1188s| 1438k|228958 | 2251k| 1.6 | 423M| 817 | - |1800 |3519 |1800 | 247 | 284k| 355k|5069 | 0.000000e+00 | 1.012000e+03 | Inf
1187.72/1187.74 o 923
1187.72/1187.74 c *1188s| 1438k|204076 | 2251k| 1.6 | 385M| 817 | - |1800 |3519 |1800 | 248 | 284k| 355k|5069 | 0.000000e+00 | 9.230000e+02 | Inf
1189.92/1189.94 c 1190s| 1440k|204413 | 2262k| 1.6 | 389M| 817 | 0 |1800 |2683 |1800 | 253 | 285k| 356k|5081 | 0.000000e+00 | 9.230000e+02 | Inf
1191.02/1191.06 o 895
1191.02/1191.06 c *1191s| 1440k|198791 | 2267k| 1.6 | 383M| 817 | - |1800 |2696 |1800 | 250 | 286k| 356k|5083 | 0.000000e+00 | 8.950000e+02 | Inf
1191.02/1191.10 o 836
1191.02/1191.10 c *1191s| 1440k|187399 | 2267k| 1.6 | 366M| 817 | - |1800 |2696 |1800 | 251 | 286k| 356k|5083 | 0.000000e+00 | 8.360000e+02 | Inf
1197.52/1197.52 o 746
1197.52/1197.52 c *1198s| 1444k|172427 | 2311k| 1.6 | 351M| 817 | - |1800 |2791 |1800 | 256 | 290k| 358k|5122 | 0.000000e+00 | 7.460000e+02 | Inf
1197.52/1197.53 o 732
1197.52/1197.53 c *1198s| 1444k|170016 | 2311k| 1.6 | 347M| 817 | - |1800 |2791 |1800 | 256 | 290k| 358k|5122 | 0.000000e+00 | 7.320000e+02 | Inf
1209.72/1209.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1209.72/1209.77 c 1210s| 1450k|168759 | 2407k| 1.7 | 373M| 817 | 18 |1800 |2758 |1800 | 254 | 300k| 364k|5216 | 0.000000e+00 | 7.320000e+02 | Inf
1213.11/1213.18 o 712
1213.11/1213.18 c *1213s| 1451k|158657 | 2434k| 1.7 | 365M| 817 | - |1800 |3066 |1800 | 244 | 303k| 366k|5242 | 0.000000e+00 | 7.120000e+02 | Inf
1213.22/1213.21 o 688
1213.22/1213.21 c *1213s| 1451k|152659 | 2434k| 1.7 | 355M| 817 | - |1800 |2997 |1800 | 244 | 303k| 366k|5242 | 0.000000e+00 | 6.880000e+02 | Inf
1213.22/1213.26 o 625
1213.22/1213.26 c *1213s| 1451k|139710 | 2434k| 1.7 | 328M| 817 | - |1800 |2937 |1800 | 244 | 303k| 366k|5242 | 0.000000e+00 | 6.250000e+02 | Inf
1218.02/1218.04 o 585
1218.02/1218.04 c *1218s| 1453k|112890 | 2480k| 1.7 | 293M| 817 | - |1800 |2579 |1800 | 250 | 308k| 368k|5276 | 0.000000e+00 | 5.850000e+02 | Inf
1218.02/1218.04 o 584
1218.02/1218.04 c *1218s| 1453k|112847 | 2480k| 1.7 | 293M| 817 | - |1800 |2579 |1800 | 250 | 308k| 368k|5276 | 0.000000e+00 | 5.840000e+02 | Inf
1219.72/1219.79 o 557
1219.72/1219.79 c *1220s| 1454k|106283 | 2498k| 1.7 | 284M| 817 | - |1800 |2412 |1800 | 258 | 309k| 369k|5299 | 0.000000e+00 | 5.570000e+02 | Inf
1221.12/1221.12 o 523
1221.12/1221.12 c *1221s| 1454k|100856 | 2509k| 1.7 | 275M| 817 | - |1800 |2165 |1800 | 217 | 310k| 370k|5302 | 0.000000e+00 | 5.230000e+02 | Inf
1221.62/1221.66 o 519
1221.62/1221.66 c *1222s| 1455k|100307 | 2516k| 1.7 | 275M| 817 | - |1800 |2018 |1800 | 244 | 311k| 370k|5303 | 0.000000e+00 | 5.190000e+02 | Inf
1221.72/1221.70 o 480
1221.72/1221.70 c *1222s| 1455k| 93982 | 2517k| 1.7 | 263M| 817 | - |1800 |1999 |1800 | 253 | 311k| 370k|5303 | 0.000000e+00 | 4.800000e+02 | Inf
1221.72/1221.74 o 425
1221.72/1221.74 c *1222s| 1455k| 89039 | 2517k| 1.7 | 252M| 817 | - |1800 |1961 |1800 | 229 | 311k| 370k|5303 | 0.000000e+00 | 4.250000e+02 | Inf
1221.72/1221.77 o 355
1221.72/1221.77 c *1222s| 1455k| 78504 | 2517k| 1.7 | 230M| 817 | - |1800 |1961 |1800 | 229 | 311k| 370k|5303 | 0.000000e+00 | 3.550000e+02 | Inf
1222.92/1222.94 o 342
1222.92/1222.94 c *1223s| 1455k| 74432 | 2529k| 1.7 | 226M| 817 | - |1800 |1995 |1800 | 226 | 312k| 371k|5321 | 0.000000e+00 | 3.420000e+02 | Inf
1222.92/1222.95 o 333
1222.92/1222.95 c *1223s| 1455k| 73754 | 2529k| 1.7 | 225M| 817 | - |1800 |1995 |1800 | 226 | 312k| 371k|5321 | 0.000000e+00 | 3.330000e+02 | Inf
1224.92/1224.94 o 325
1224.92/1224.94 c *1225s| 1456k| 65372 | 2551k| 1.8 | 214M| 817 | - |1800 |2224 |1800 | 224 | 314k| 373k|5332 | 0.000000e+00 | 3.250000e+02 | Inf
1225.02/1225.03 o 293
1225.02/1225.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1225.02/1225.03 c *1225s| 1456k| 60767 | 2552k| 1.8 | 203M| 817 | - |1800 |2165 |1800 | 218 | 314k| 373k|5332 | 0.000000e+00 | 2.930000e+02 | Inf
1225.02/1225.04 o 255
1225.02/1225.04 c *1225s| 1456k| 56607 | 2552k| 1.8 | 189M| 817 | - |1800 |2165 |1800 | 218 | 314k| 373k|5332 | 0.000000e+00 | 2.550000e+02 | Inf
1226.02/1226.06 o 246
1226.02/1226.06 c *1226s| 1456k| 37074 | 2562k| 1.8 | 151M| 817 | - |1800 |1962 |1800 | 231 | 315k| 373k|5344 | 0.000000e+00 | 2.460000e+02 | Inf
1226.02/1226.07 o 234
1226.02/1226.07 c *1226s| 1456k| 35487 | 2562k| 1.8 | 146M| 817 | - |1800 |1962 |1800 | 231 | 315k| 373k|5344 | 0.000000e+00 | 2.340000e+02 | Inf
1226.43/1226.48 o 224
1226.43/1226.48 c *1226s| 1456k| 28603 | 2567k| 1.8 | 129M| 817 | - |1800 |1945 |1800 | 231 | 316k| 374k|5354 | 0.000000e+00 | 2.240000e+02 | Inf
1226.72/1226.73 o 219
1226.72/1226.73 c *1227s| 1457k| 23119 | 2569k| 1.8 | 115M| 817 | - |1800 |1905 |1800 | 234 | 316k| 374k|5360 | 0.000000e+00 | 2.190000e+02 | Inf
1226.72/1226.74 o 210
1226.72/1226.74 c *1227s| 1457k| 22190 | 2569k| 1.8 | 111M| 817 | - |1800 |1905 |1800 | 234 | 316k| 374k|5360 | 0.000000e+00 | 2.100000e+02 | Inf
1226.72/1226.75 o 208
1226.72/1226.75 c *1227s| 1457k| 22159 | 2569k| 1.8 | 111M| 817 | - |1800 |1864 |1800 | 233 | 316k| 374k|5360 | 0.000000e+00 | 2.080000e+02 | Inf
1226.72/1226.77 o 191
1226.72/1226.77 c *1227s| 1457k| 20256 | 2569k| 1.8 | 104M| 817 | - |1800 |1851 |1800 | 232 | 316k| 374k|5360 | 0.000000e+00 | 1.910000e+02 | Inf
1226.72/1226.77 o 181
1226.72/1226.77 c *1227s| 1457k| 20165 | 2569k| 1.8 | 103M| 817 | - |1800 |1851 |1800 | 232 | 316k| 374k|5360 | 0.000000e+00 | 1.810000e+02 | Inf
1226.82/1226.80 o 172
1226.82/1226.80 c *1227s| 1457k| 19133 | 2570k| 1.8 | 100M| 817 | - |1800 |1788 |1800 | 253 | 316k| 374k|5360 | 0.000000e+00 | 1.720000e+02 | Inf
1227.12/1227.12 o 160
1227.12/1227.12 c *1227s| 1457k| 14384 | 2573k| 1.8 | 84M| 817 | - |1800 |1739 |1800 | 208 | 316k| 374k|5361 | 0.000000e+00 | 1.600000e+02 | Inf
1227.52/1227.53 o 156
1227.52/1227.53 c *1228s| 1457k| 7459 | 2576k| 1.8 | 60M| 817 | - |1800 |1788 |1800 | 209 | 317k| 374k|5364 | 0.000000e+00 | 1.560000e+02 | Inf
1227.63/1227.60 o 95
1227.63/1227.60 c *1228s| 1457k| 5961 | 2577k| 1.8 | 53M| 817 | - |1800 |1744 |1800 | 237 | 317k| 374k|5364 | 0.000000e+00 | 9.500000e+01 | Inf
1228.22/1228.20 c
1228.22/1228.20 c SCIP Status : problem is solved [optimal solution found]
1228.22/1228.20 c Solving Time (sec) : 1228.19
1228.22/1228.20 c Solving Nodes : 1457825
1228.22/1228.20 c Primal Bound : +9.50000000000000e+01 (290 solutions)
1228.22/1228.20 c Dual Bound : +9.50000000000000e+01
1228.22/1228.20 c Gap : 0.00 %
1228.22/1228.21 s OPTIMUM FOUND
1228.22/1228.21 v -x200 x199 x198 -x197 x196 -x195 x194 -x193 x192 -x191 x190 -x189 x188 -x187 x186 -x185 x184 -x183 -x182 x181 x180 -x179 x178 -x177
1228.22/1228.21 v x176 -x175 x174 -x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 x164 -x163 x162 -x161 -x160 x159 x158 -x157 -x156 x155
1228.22/1228.21 v x154 -x153 -x152 x151 -x150 x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 -x140 x139 x138 -x137 -x136 x135 -x134 x133 x132
1228.22/1228.21 v -x131 x130 -x129 x128 -x127 -x126 x125 -x124 x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 x114 -x113 x112 -x111 x110 -x109
1228.22/1228.21 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
1228.22/1228.21 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
1228.22/1228.21 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
1228.22/1228.21 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
1228.22/1228.21 c SCIP Status : problem is solved [optimal solution found]
1228.22/1228.21 c Solving Time : 1228.19
1228.22/1228.21 c Original Problem :
1228.22/1228.21 c Problem name : HOME/instance-2705729-1278580118.wbo
1228.22/1228.21 c Variables : 1900 (1050 binary, 0 integer, 850 implicit integer, 0 continuous)
1228.22/1228.21 c Constraints : 1801 initial, 1801 maximal
1228.22/1228.21 c Presolved Problem :
1228.22/1228.21 c Problem name : t_HOME/instance-2705729-1278580118.wbo
1228.22/1228.21 c Variables : 1800 (950 binary, 0 integer, 850 implicit integer, 0 continuous)
1228.22/1228.21 c Constraints : 1700 initial, 7412 maximal
1228.22/1228.21 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1228.22/1228.21 c trivial : 0.00 0 0 0 0 0 0 0 0
1228.22/1228.21 c dualfix : 0.00 0 0 0 0 0 0 0 0
1228.22/1228.21 c boundshift : 0.00 0 0 0 0 0 0 0 0
1228.22/1228.21 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1228.22/1228.21 c implics : 0.00 0 0 0 0 0 0 0 0
1228.22/1228.21 c probing : 0.01 0 0 0 0 0 0 0 0
1228.22/1228.21 c linear : 0.02 0 100 0 850 0 101 0 0
1228.22/1228.21 c indicator : 0.00 0 0 0 0 0 0 0 0
1228.22/1228.21 c logicor : 0.00 0 0 0 0 0 0 0 0
1228.22/1228.21 c root node : - 1542 - - 1542 - - - -
1228.22/1228.21 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1228.22/1228.21 c integral : 0 0 0 1487750 0 0 35 0 0 36052
1228.22/1228.21 c linear : 850 6 3038898 1469546 0 18129 1720697 318222 0 0
1228.22/1228.21 c indicator : 850 0 3021458 1469687 0 14814 26669760 0 0 0
1228.22/1228.21 c logicor : 0+ 0 1196148 0 0 7793 567756 0 0 0
1228.22/1228.21 c countsols : 0 0 0 1344628 0 0 0 0 0 0
1228.22/1228.21 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1228.22/1228.21 c integral : 5.06 0.00 0.00 5.06 0.00
1228.22/1228.21 c linear : 61.88 0.00 30.08 31.80 0.00
1228.22/1228.21 c indicator : 173.20 0.03 87.71 85.45 0.00
1228.22/1228.21 c logicor : 15.65 0.00 15.65 0.00 0.00
1228.22/1228.21 c countsols : 0.17 0.00 0.00 0.17 0.00
1228.22/1228.21 c Propagators : Time Calls Cutoffs DomReds
1228.22/1228.21 c vbounds : 0.57 2 0 0
1228.22/1228.21 c rootredcost : 0.54 190 0 771
1228.22/1228.21 c pseudoobj : 63.52 3127791 88400 25528129
1228.22/1228.21 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1228.22/1228.21 c propagation : 6.09 114322 113791 429223 27.3 2243 13.5 -
1228.22/1228.21 c infeasible LP : 0.01 128 128 350 15.3 6 24.5 0
1228.22/1228.21 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1228.22/1228.21 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1228.22/1228.21 c pseudo solution : 0.00 17 17 53 12.0 1 12.0 -
1228.22/1228.21 c applied globally : - - - 375165 26.3 - - -
1228.22/1228.21 c applied locally : - - - 0 0.0 - - -
1228.22/1228.21 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1228.22/1228.21 c cut pool : 0.00 3 - - 18 - (maximal pool size: 281)
1228.22/1228.21 c redcost : 62.18 1516865 0 1327793 0 0
1228.22/1228.21 c impliedbounds : 0.00 4 0 0 0 0
1228.22/1228.21 c intobj : 0.00 0 0 0 0 0
1228.22/1228.21 c cgmip : 0.00 0 0 0 0 0
1228.22/1228.21 c gomory : 0.02 4 0 0 287 0
1228.22/1228.21 c strongcg : 0.02 4 0 0 390 0
1228.22/1228.21 c cmir : 0.01 4 0 0 0 0
1228.22/1228.21 c flowcover : 0.02 4 0 0 0 0
1228.22/1228.21 c clique : 0.00 1 0 0 0 0
1228.22/1228.21 c zerohalf : 0.00 0 0 0 0 0
1228.22/1228.21 c mcf : 0.00 1 0 0 0 0
1228.22/1228.21 c rapidlearning : 0.06 1 0 0 0 0
1228.22/1228.21 c Pricers : Time Calls Vars
1228.22/1228.21 c problem variables: 0.00 0 0
1228.22/1228.21 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1228.22/1228.21 c relpscost : 4.65 18059 0 35 0 0 36052
1228.22/1228.21 c pscost : 0.00 0 0 0 0 0 0
1228.22/1228.21 c inference : 167.57 1344438 0 0 0 0 2688876
1228.22/1228.21 c mostinf : 0.00 0 0 0 0 0 0
1228.22/1228.21 c leastinf : 0.00 0 0 0 0 0 0
1228.22/1228.21 c fullstrong : 0.00 0 0 0 0 0 0
1228.22/1228.21 c allfullstrong : 0.00 0 0 0 0 0 0
1228.22/1228.21 c random : 0.00 0 0 0 0 0 0
1228.22/1228.21 c Primal Heuristics : Time Calls Found
1228.22/1228.21 c LP solutions : 3.18 - 190
1228.22/1228.21 c pseudo solutions : 0.00 - 0
1228.22/1228.21 c feaspump : 0.00 0 0
1228.22/1228.21 c intshifting : 0.00 0 0
1228.22/1228.21 c oneopt : 0.68 141 0
1228.22/1228.21 c coefdiving : 0.89 1386 0
1228.22/1228.21 c pscostdiving : 0.88 1386 0
1228.22/1228.21 c fracdiving : 0.87 1386 0
1228.22/1228.21 c veclendiving : 0.88 1386 0
1228.22/1228.21 c linesearchdiving : 0.88 1386 0
1228.22/1228.21 c guideddiving : 0.87 1386 0
1228.22/1228.21 c objpscostdiving : 0.91 1386 0
1228.22/1228.21 c rootsoldiving : 0.92 1386 0
1228.22/1228.21 c trivial : 0.00 2 1
1228.22/1228.21 c simplerounding : 0.46 19894 0
1228.22/1228.21 c zirounding : 0.30 1000 0
1228.22/1228.21 c rounding : 0.31 1941 0
1228.22/1228.21 c shifting : 0.11 602 0
1228.22/1228.21 c twoopt : 0.00 0 0
1228.22/1228.21 c fixandinfer : 0.00 0 0
1228.22/1228.21 c intdiving : 0.00 0 0
1228.22/1228.21 c actconsdiving : 0.00 0 0
1228.22/1228.21 c octane : 0.00 0 0
1228.22/1228.21 c rens : 0.01 1 0
1228.22/1228.21 c rins : 0.00 0 0
1228.22/1228.21 c localbranching : 0.00 0 0
1228.22/1228.21 c mutation : 0.00 0 0
1228.22/1228.21 c crossover : 5.07 313 4
1228.22/1228.21 c dins : 0.00 0 0
1228.22/1228.21 c undercover : 0.00 0 0
1228.22/1228.21 c nlp : 0.21 0 0
1228.22/1228.21 c trysol : 0.38 1647 95
1228.22/1228.21 c LP : Time Calls Iterations Iter/call Iter/sec
1228.22/1228.21 c primal LP : 0.00 0 0 0.00 -
1228.22/1228.21 c dual LP : 396.27 312040 2575372 8.25 6499.00
1228.22/1228.21 c lex dual LP : 0.00 0 0 0.00 -
1228.22/1228.21 c barrier LP : 0.00 0 0 0.00 -
1228.22/1228.21 c diving/probing LP: 0.18 140 9792 69.94 53322.01
1228.22/1228.21 c strong branching : 4.50 5364 76116 14.19 16901.06
1228.22/1228.21 c (at root node) : - 33 5071 153.67 -
1228.22/1228.21 c conflict analysis: 0.00 0 0 0.00 -
1228.22/1228.21 c B&B Tree :
1228.22/1228.21 c number of runs : 1
1228.22/1228.21 c nodes : 1457825
1228.22/1228.21 c nodes (total) : 1457825
1228.22/1228.21 c nodes left : 0
1228.22/1228.21 c max depth : 817
1228.22/1228.21 c max depth (total): 817
1228.22/1228.21 c backtracks : 46119 (3.2%)
1228.22/1228.21 c delayed cutoffs : 103963
1228.22/1228.21 c repropagations : 242682 (13257588 domain reductions, 34110 cutoffs)
1228.22/1228.21 c avg switch length: 3.24
1228.22/1228.21 c switching time : 77.45
1228.22/1228.21 c Solution :
1228.22/1228.21 c Solutions found : 290 (191 improvements)
1228.22/1228.21 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1228.22/1228.21 c Primal Bound : +9.50000000000000e+01 (in run 1, after 1457496 nodes, 1227.59 seconds, depth 21, found by <relaxation>)
1228.22/1228.21 c Dual Bound : +9.50000000000000e+01
1228.22/1228.21 c Gap : 0.00 %
1228.22/1228.21 c Root Dual Bound : +0.00000000000000e+00
1228.22/1228.21 c Root Iterations : 368
1228.22/1228.25 c Time complete: 1228.27.
OK 95
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705729-1278580118/watcher-2705729-1278580118 -o /tmp/evaluation-result-2705729-1278580118/solver-2705729-1278580118 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705729-1278580118.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.94 4/178 22173 /proc/meminfo: memFree=29677720/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=12544 CPUtime=0 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 1972 0 0 0 0 0 0 0 25 0 1 0 26225199 12845056 1891 4089446400 4194304 10345943 140736049324608 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/22173/statm: 3136 1891 429 1502 0 1629 0 [startup+0.0223361 s] /proc/loadavg: 2.00 2.00 1.94 4/178 22173 /proc/meminfo: memFree=29677720/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=20616 CPUtime=0.01 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 4435 0 0 0 1 0 0 0 25 0 1 0 26225199 21110784 4000 4089446400 4194304 10345943 140736049324608 18446744073709551615 4602307 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22173/statm: 5154 4000 493 1502 0 3647 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 20616 [startup+0.1013 s] /proc/loadavg: 2.00 2.00 1.94 4/178 22173 /proc/meminfo: memFree=29677720/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=40284 CPUtime=0.09 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 8940 0 0 0 9 0 0 0 25 0 1 0 26225199 41250816 8505 4089446400 4194304 10345943 140736049324608 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22173/statm: 10071 8505 636 1502 0 8564 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 40284 [startup+0.300244 s] /proc/loadavg: 2.00 2.00 1.94 4/178 22173 /proc/meminfo: memFree=29677720/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=37084 CPUtime=0.29 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 10557 0 0 0 28 1 0 0 25 0 1 0 26225199 37974016 8125 4089446400 4194304 10345943 140736049324608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22173/statm: 9271 8125 750 1502 0 7764 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37084 [startup+0.701174 s] /proc/loadavg: 2.00 2.00 1.94 4/178 22173 /proc/meminfo: memFree=29677720/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=37084 CPUtime=0.69 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 10564 0 0 0 68 1 0 0 25 0 1 0 26225199 37974016 8132 4089446400 4194304 10345943 140736049324608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22173/statm: 9271 8132 757 1502 0 7764 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37084 [startup+1.50104 s] /proc/loadavg: 2.00 2.00 1.94 3/179 22174 /proc/meminfo: memFree=29647600/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=37588 CPUtime=1.49 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 12109 0 0 0 148 1 0 0 25 0 1 0 26225199 38490112 8262 4089446400 4194304 10345943 140736049324608 18446744073709551615 6002418 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22173/statm: 9397 8262 760 1502 0 7890 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37588 [startup+3.10069 s] /proc/loadavg: 2.00 2.00 1.94 3/179 22174 /proc/meminfo: memFree=29646608/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=39636 CPUtime=3.09 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 15590 0 0 0 306 3 0 0 25 0 1 0 26225199 40587264 8781 4089446400 4194304 10345943 140736049324608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22173/statm: 9909 8781 760 1502 0 8402 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39636 [startup+6.30012 s] /proc/loadavg: 2.00 2.00 1.94 3/179 22174 /proc/meminfo: memFree=29644728/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=43052 CPUtime=6.29 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 21497 0 0 0 625 4 0 0 25 0 1 0 26225199 44085248 9445 4089446400 4194304 10345943 140736049324608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22173/statm: 10763 9445 765 1502 0 9256 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43052 [startup+12.701 s] /proc/loadavg: 2.00 2.00 1.94 3/179 22201 /proc/meminfo: memFree=29938972/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=54360 CPUtime=12.7 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 26380 0 0 0 1263 7 0 0 25 0 1 0 26225199 55664640 12013 4089446400 4194304 10345943 140736049324608 18446744073709551615 8159978 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22173/statm: 13590 12013 765 1502 0 12083 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 54360 [startup+25.5007 s] /proc/loadavg: 2.00 2.00 1.94 3/179 22201 /proc/meminfo: memFree=29907504/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=71888 CPUtime=25.49 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 33458 0 0 0 2540 9 0 0 25 0 1 0 26225199 73613312 16677 4089446400 4194304 10345943 140736049324608 18446744073709551615 6804117 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22173/statm: 17972 16677 765 1502 0 16465 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 71888 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 1.94 3/179 22202 /proc/meminfo: memFree=29833128/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=115692 CPUtime=51.09 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 46210 0 0 0 5095 14 0 0 25 0 1 0 26225199 118468608 27162 4089446400 4194304 10345943 140736049324608 18446744073709551615 8159972 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 28923 27162 765 1502 0 27416 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 115692 [startup+102.306 s] /proc/loadavg: 2.05 2.01 1.95 3/179 22203 /proc/meminfo: memFree=29688616/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=194668 CPUtime=102.3 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 68205 0 0 0 10205 25 0 0 25 0 1 0 26225199 199340032 46996 4089446400 4194304 10345943 140736049324608 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 48667 46996 765 1502 0 47160 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 194668 [startup+162.301 s] /proc/loadavg: 2.02 2.01 1.95 3/179 22205 /proc/meminfo: memFree=29520960/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=296544 CPUtime=162.29 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 94716 0 0 0 16192 37 0 0 25 0 1 0 26225199 303661056 71496 4089446400 4194304 10345943 140736049324608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 74136 71496 765 1502 0 72629 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 296544 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22207 /proc/meminfo: memFree=29349676/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=391880 CPUtime=222.29 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 118616 0 0 0 22179 50 0 0 25 0 1 0 26225199 401285120 95396 4089446400 4194304 10345943 140736049324608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 97970 95396 765 1502 0 96463 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 391880 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22208 /proc/meminfo: memFree=29225596/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=439564 CPUtime=282.3 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 200005 0 0 0 28161 69 0 0 25 0 1 0 26225199 450113536 108404 4089446400 4194304 10345943 140736049324608 18446744073709551615 6119704 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 109891 108404 765 1502 0 108384 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 439564 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22209 /proc/meminfo: memFree=29124584/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=463020 CPUtime=342.3 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 297770 0 0 0 34141 89 0 0 25 0 1 0 26225199 474132480 114120 4089446400 4194304 10345943 140736049324608 18446744073709551615 5012568 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 115755 114120 765 1502 0 114248 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 463020 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22211 /proc/meminfo: memFree=29021384/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=492612 CPUtime=402.3 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 371385 0 0 0 40120 110 0 0 25 0 1 0 26225199 504434688 121384 4089446400 4194304 10345943 140736049324608 18446744073709551615 4687914 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 123153 121384 765 1502 0 121646 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 492612 [startup+462.3 s] /proc/loadavg: 2.06 2.02 1.95 3/179 22213 /proc/meminfo: memFree=28924616/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=515668 CPUtime=462.3 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 442368 0 0 0 46099 131 0 0 25 0 1 0 26225199 528044032 126832 4089446400 4194304 10345943 140736049324608 18446744073709551615 4706426 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 128917 126832 765 1502 0 127410 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 515668 [startup+522.301 s] /proc/loadavg: 2.02 2.01 1.95 3/179 22215 /proc/meminfo: memFree=28833424/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=530396 CPUtime=522.3 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 518204 0 0 0 52077 153 0 0 25 0 1 0 26225199 543125504 130477 4089446400 4194304 10345943 140736049324608 18446744073709551615 5614786 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 132599 130477 765 1502 0 131092 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 530396 [startup+582.3 s] /proc/loadavg: 2.01 2.00 1.95 3/179 22216 /proc/meminfo: memFree=28721636/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=567624 CPUtime=582.3 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 538022 0 0 0 58063 167 0 0 25 0 1 0 26225199 581246976 138764 4089446400 4194304 10345943 140736049324608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 141906 138764 765 1502 0 140399 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 567624 [startup+642.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22220 /proc/meminfo: memFree=28564108/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=649356 CPUtime=642.31 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 582085 0 0 0 64047 184 0 0 25 0 1 0 26225199 664940544 158211 4089446400 4194304 10345943 140736049324608 18446744073709551615 7578600 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 162339 158211 765 1502 0 160832 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 649356 [startup+702.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22222 /proc/meminfo: memFree=28402116/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=749168 CPUtime=702.3 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 644611 0 0 0 70027 203 0 0 25 0 1 0 26225199 767148032 179293 4089446400 4194304 10345943 140736049324608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 187292 179293 765 1502 0 185785 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 749168 [startup+762.306 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22224 /proc/meminfo: memFree=28286624/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=788600 CPUtime=762.31 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 698236 0 0 0 76008 223 0 0 25 0 1 0 26225199 807526400 188477 4089446400 4194304 10345943 140736049324608 18446744073709551615 5614200 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 197150 188477 765 1502 0 195643 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 788600 [startup+822.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22226 /proc/meminfo: memFree=28164668/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=837184 CPUtime=822.31 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 739840 0 0 0 81990 241 0 0 25 0 1 0 26225199 857276416 200191 4089446400 4194304 10345943 140736049324608 18446744073709551615 4688054 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 209296 200191 765 1502 0 207789 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 837184 [startup+882.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22227 /proc/meminfo: memFree=28067908/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=857860 CPUtime=882.31 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 766063 0 0 0 87972 259 0 0 25 0 1 0 26225199 878448640 205071 4089446400 4194304 10345943 140736049324608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 214465 205071 765 1502 0 212958 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 857860 [startup+942.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22228 /proc/meminfo: memFree=27983636/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=865544 CPUtime=942.31 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 839964 0 0 0 93946 285 0 0 25 0 1 0 26225199 886317056 206846 4089446400 4194304 10345943 140736049324608 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 216386 206846 765 1502 0 214879 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 865544 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 22230 /proc/meminfo: memFree=27898268/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=872044 CPUtime=1002.31 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 880862 0 0 0 99923 308 0 0 25 0 1 0 26225199 892973056 208557 4089446400 4194304 10345943 140736049324608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 218011 208557 765 1502 0 216504 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 872044 [startup+1062.3 s] /proc/loadavg: 2.03 2.01 1.96 3/179 22232 /proc/meminfo: memFree=27802732/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=896624 CPUtime=1062.31 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 903614 0 0 0 105902 329 0 0 25 0 1 0 26225199 918142976 213585 4089446400 4194304 10345943 140736049324608 18446744073709551615 5031399 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 224156 213585 765 1502 0 222649 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 896624 [startup+1122.3 s] /proc/loadavg: 2.01 2.01 1.96 3/179 22234 /proc/meminfo: memFree=27708312/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=916648 CPUtime=1122.32 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 949981 0 0 0 111876 356 0 0 25 0 1 0 26225199 938647552 217919 4089446400 4194304 10345943 140736049324608 18446744073709551615 7493253 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 229162 217919 765 1502 0 227655 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 916648 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 22235 /proc/meminfo: memFree=27598364/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=956616 CPUtime=1182.32 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 1012019 0 0 0 117845 387 0 0 25 0 1 0 26225199 979574784 226098 4089446400 4194304 10345943 140736049324608 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 239154 226098 765 1502 0 237647 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 956616 Solver just ended. Dumping a history of the last processes samples [startup+1203.1 s] /proc/loadavg: 2.00 2.00 1.96 3/179 22236 /proc/meminfo: memFree=27558800/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=969184 CPUtime=1203.12 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 1040278 0 0 0 119911 401 0 0 25 0 1 0 26225199 992444416 229362 4089446400 4194304 10345943 140736049324608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 242296 229362 766 1502 0 240789 0 Current children cumulated CPU time (s) 1203.12 Current children cumulated vsize (KiB) 969184 [startup+1215.9 s] /proc/loadavg: 2.00 2.00 1.96 3/179 22236 /proc/meminfo: memFree=27525308/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=984544 CPUtime=1215.91 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 1050246 0 0 0 121182 409 0 0 25 0 1 0 26225199 1008173056 232844 4089446400 4194304 10345943 140736049324608 18446744073709551615 6802838 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 246136 232844 766 1502 0 244629 0 Current children cumulated CPU time (s) 1215.91 Current children cumulated vsize (KiB) 984544 [startup+1222.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 22236 /proc/meminfo: memFree=27516248/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=985808 CPUtime=1222.32 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 1058324 0 0 0 121817 415 0 0 25 0 1 0 26225199 1009467392 233246 4089446400 4194304 10345943 140736049324608 18446744073709551615 5614659 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 246452 233246 766 1502 0 244945 0 Current children cumulated CPU time (s) 1222.32 Current children cumulated vsize (KiB) 985808 [startup+1225.5 s] /proc/loadavg: 2.00 2.00 1.96 3/179 22236 /proc/meminfo: memFree=27511904/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=985100 CPUtime=1225.51 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 1064474 0 0 0 122133 418 0 0 25 0 1 0 26225199 1008742400 233359 4089446400 4194304 10345943 140736049324608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 246275 233359 766 1502 0 244768 0 Current children cumulated CPU time (s) 1225.51 Current children cumulated vsize (KiB) 985100 [startup+1227.1 s] /proc/loadavg: 2.00 2.00 1.96 3/179 22236 /proc/meminfo: memFree=27509300/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=985636 CPUtime=1227.12 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 1066444 0 0 0 122292 420 0 0 25 0 1 0 26225199 1009291264 233366 4089446400 4194304 10345943 140736049324608 18446744073709551615 5926585 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 246409 233366 766 1502 0 244902 0 Current children cumulated CPU time (s) 1227.12 Current children cumulated vsize (KiB) 985636 [startup+1227.9 s] /proc/loadavg: 2.00 2.00 1.96 3/179 22236 /proc/meminfo: memFree=27508928/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=985100 CPUtime=1227.92 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 1067957 0 0 0 122371 421 0 0 25 0 1 0 26225199 1008742400 233373 4089446400 4194304 10345943 140736049324608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 246275 233373 766 1502 0 244768 0 Current children cumulated CPU time (s) 1227.92 Current children cumulated vsize (KiB) 985100 [startup+1228.1 s] /proc/loadavg: 2.00 2.00 1.96 3/179 22236 /proc/meminfo: memFree=27508928/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=985100 CPUtime=1228.12 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 1067957 0 0 0 122391 421 0 0 25 0 1 0 26225199 1008742400 233373 4089446400 4194304 10345943 140736049324608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 246275 233373 766 1502 0 244768 0 Current children cumulated CPU time (s) 1228.12 Current children cumulated vsize (KiB) 985100 [startup+1228.2 s] /proc/loadavg: 2.00 2.00 1.96 3/179 22236 /proc/meminfo: memFree=27508928/32950928 swapFree=4192956/4192956 [pid=22173] ppid=22171 vsize=985100 CPUtime=1228.22 /proc/22173/stat : 22173 (pbscip.linux.x8) R 22171 22173 21633 0 -1 4202496 1067957 0 0 0 122401 421 0 0 25 0 1 0 26225199 1008742400 233373 4089446400 4194304 10345943 140736049324608 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22173/statm: 246275 233373 766 1502 0 244768 0 Current children cumulated CPU time (s) 1228.22 Current children cumulated vsize (KiB) 985100 Child status: 0 Real time (s): 1228.26 CPU time (s): 1228.29 CPU user time (s): 1224.04 CPU system time (s): 4.24935 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 986372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1224.04 system time used= 4.24935 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1067964 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= 4 involuntary context switches= 1060 runsolver used 1.61075 second user time and 4.01339 second system time The end
Begin job on node124 at 2010-07-08 11:08:38 IDJOB=2705729 IDBENCH=79393 IDSOLVER=1214 FILE ID=node124/2705729-1278580118 PBS_JOBID= 11240205 Free space on /tmp= 130192 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-jnh04_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-2705729-1278580118/watcher-2705729-1278580118 -o /tmp/evaluation-result-2705729-1278580118/solver-2705729-1278580118 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705729-1278580118.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 54ef51abb9454409d6f66c5b853cdf79 RANDOM SEED=948873935 node124.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.846 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.69 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.846 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 : 5226.14 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.846 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.846 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.82 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.846 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.75 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.846 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.82 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.846 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.846 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29678256 kB Buffers: 162888 kB Cached: 2574436 kB SwapCached: 0 kB Active: 1371024 kB Inactive: 1769920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29678256 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 12824 kB Writeback: 0 kB AnonPages: 403516 kB Mapped: 17776 kB Slab: 97780 kB PageTables: 5704 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 20668420 kB Committed_AS: 550080 kB VmallocTotal: 34359738367 kB VmallocUsed: 265212 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 130180 MiB End job on node124 at 2010-07-08 11:29:06