Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT | 22528 | 1793.3 | 1793.81 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-markshare2.opb |
| MD5SUM | ed3cba978a5e277395c10305f700e2f4 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 48128 |
| Best CPU time to get the best result obtained on this benchmark | 1800.19 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 46080 |
| Optimality of the best value was proved | NO |
| Number of variables | 270 |
| Total number of constraints | 7 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7 |
| Minimum length of a constraint | 90 |
| Maximum length of a constraint | 90 |
| Number of terms in the objective function | 210 |
| Biggest coefficient in the objective function | 536870912 |
| Number of bits for the biggest coefficient in the objective function | 30 |
| Sum of the numbers in the objective function | 7516192761 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 536870912 |
| Number of bits of the biggest number in a constraint | 30 |
| Biggest sum of numbers in a constraint | 7516192761 |
| Number of bits of the biggest sum of numbers | 33 |
| 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: SoPlex 1.4.2]
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-2703882-1278560627.opb>
0.00/0.01 c original problem has 270 variables (270 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 70 del vars, 0 del conss, 63 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.04 c presolving (2 rounds):
0.00/0.04 c 70 deleted vars, 0 deleted constraints, 63 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 8 implications, 0 cliques
0.00/0.04 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.04 c 7 constraints of type <linear>
0.00/0.04 c transformed objective value is always integral (scale: 2)
0.00/0.04 c Presolving Time: 0.02
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 1.2.1.3
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1790
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 1620
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/indicator/addCouplingCons = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.04 c 0.0s| 1 | 0 | 39 | - | 759k| 0 | 7 | 200 | 7 | 200 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.20/0.23 c 0.2s| 1 | 0 | 96 | - | 880k| 0 | 13 | 200 | 20 | 200 | 14 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.20/0.25 c 0.2s| 1 | 0 | 110 | - | 912k| 0 | 16 | 200 | 20 | 200 | 21 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.20/0.29 c 0.3s| 1 | 0 | 119 | - | 919k| 0 | 16 | 200 | 20 | 200 | 23 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.32 c 0.3s| 1 | 0 | 121 | - | 922k| 0 | 17 | 200 | 20 | 200 | 24 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.45 c 0.4s| 1 | 2 | 121 | - | 922k| 0 | 17 | 200 | 20 | 200 | 24 | 17 | 0 | 17 | 0.000000e+00 | -- | Inf
0.69/0.75 o 870400
0.69/0.75 c v 0.7s| 74 | 75 | 1114 | 13.6 |1007k| 35 | - | 200 | 20 | 200 | 18 | 17 | 7 | 303 | 0.000000e+00 | 8.704000e+05 | Inf
0.79/0.84 o 817152
0.79/0.84 c l 0.8s| 155 | 156 | 1849 | 11.2 |1063k| 43 | - | 200 | 32 | 200 | 18 | 17 | 19 | 389 | 0.000000e+00 | 8.171520e+05 | Inf
0.89/0.95 o 121856
0.89/0.95 c f 0.9s| 247 | 243 | 2655 | 10.3 |1111k| 43 | - | 200 | 32 | 200 | 18 | 17 | 25 | 426 | 0.000000e+00 | 1.218560e+05 | Inf
1.50/1.56 o 80896
1.50/1.56 c v 1.6s| 1025 | 963 | 7125 | 6.8 |1418k| 45 | - | 200 | 35 | 200 | 18 | 17 | 57 | 520 | 0.000000e+00 | 8.089600e+04 | Inf
7.99/8.05 c 8.0s| 10000 | 9740 | 58556 | 5.8 |5254k| 53 | 7 | 200 | 48 | 200 | 18 | 17 | 480 | 631 | 0.000000e+00 | 8.089600e+04 | Inf
14.19/14.29 c 14.3s| 20000 | 19171 |108049 | 5.4 |9396k| 53 | 7 | 200 | 51 | 200 | 18 | 17 | 804 | 922 | 0.000000e+00 | 8.089600e+04 | Inf
20.28/20.39 c 20.4s| 30000 | 28289 |156410 | 5.2 | 13M| 53 | 7 | 200 | 42 | 200 | 18 | 17 |1110 |1207 | 0.000000e+00 | 8.089600e+04 | Inf
21.89/21.96 o 67584
21.89/21.96 c f22.0s| 32644 | 30584 |168783 | 5.2 | 14M| 53 | - | 200 | 40 | 200 | 18 | 17 |1185 |1271 | 0.000000e+00 | 6.758400e+04 | Inf
26.89/26.95 c 26.9s| 40000 | 36680 |205917 | 5.1 | 17M| 53 | 7 | 200 | 35 | 200 | 18 | 17 |1486 |1509 | 0.000000e+00 | 6.758400e+04 | Inf
33.29/33.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.29/33.30 c 33.3s| 50000 | 44796 |254622 | 5.1 | 21M| 53 | 7 | 200 | 36 | 200 | 18 | 17 |1837 |1810 | 0.000000e+00 | 6.758400e+04 | Inf
33.68/33.79 o 65536
33.68/33.79 c *33.8s| 50774 | 45367 |258423 | 5.1 | 21M| 53 | - | 200 | 36 | 200 | 18 | 17 |1871 |1826 | 0.000000e+00 | 6.553600e+04 | Inf
39.38/39.45 c 39.4s| 60000 | 53108 |304247 | 5.1 | 25M| 53 | 7 | 200 | 52 | 200 | 18 | 17 |2237 |2077 | 0.000000e+00 | 6.553600e+04 | Inf
45.48/45.58 c 45.6s| 70000 | 61146 |356079 | 5.1 | 29M| 53 | 7 | 200 | 54 | 200 | 18 | 17 |2699 |2281 | 0.000000e+00 | 6.553600e+04 | Inf
51.88/51.91 c 51.9s| 80000 | 68841 |410413 | 5.1 | 32M| 53 | 7 | 200 | 47 | 200 | 18 | 17 |3211 |2472 | 0.000000e+00 | 6.553600e+04 | Inf
58.07/58.15 c 58.1s| 90000 | 76725 |464202 | 5.2 | 36M| 53 | 7 | 200 | 43 | 200 | 18 | 17 |3696 |2644 | 0.000000e+00 | 6.553600e+04 | Inf
64.27/64.39 c 64.4s|100000 | 84456 |517952 | 5.2 | 40M| 53 | 7 | 200 | 37 | 200 | 18 | 17 |4218 |2814 | 0.000000e+00 | 6.553600e+04 | Inf
70.67/70.77 c 70.8s|110000 | 92047 |572845 | 5.2 | 44M| 53 | 7 | 200 | 33 | 200 | 18 | 17 |4759 |2969 | 0.000000e+00 | 6.553600e+04 | Inf
76.98/77.01 c 77.0s|120000 | 99823 |626289 | 5.2 | 48M| 53 | 7 | 200 | 33 | 200 | 18 | 17 |5286 |3110 | 0.000000e+00 | 6.553600e+04 | Inf
83.27/83.33 c 83.3s|130000 |107540 |681487 | 5.2 | 51M| 53 | - | 200 | 35 | 200 | 18 | 17 |5884 |3250 | 0.000000e+00 | 6.553600e+04 | Inf
89.46/89.59 c 89.6s|140000 |115237 |735663 | 5.3 | 55M| 53 | 7 | 200 | 35 | 200 | 18 | 17 |6447 |3381 | 0.000000e+00 | 6.553600e+04 | Inf
95.27/95.38 o 55296
95.27/95.38 c *95.4s|149300 |120208 |785928 | 5.3 | 57M| 53 | - | 200 | 33 | 200 | 18 | 17 |6933 |3496 | 0.000000e+00 | 5.529600e+04 | Inf
95.67/95.79 c 95.8s|150000 |120737 |789076 | 5.3 | 57M| 53 | 7 | 200 | 34 | 200 | 18 | 17 |6970 |3498 | 0.000000e+00 | 5.529600e+04 | Inf
102.06/102.10 c 102s|160000 |127524 |842165 | 5.3 | 61M| 53 | - | 200 | 31 | 200 | 18 | 17 |7504 |3629 | 0.000000e+00 | 5.529600e+04 | Inf
108.16/108.27 c 108s|170000 |134413 |894104 | 5.3 | 64M| 53 | 7 | 200 | 27 | 200 | 18 | 17 |8036 |3740 | 0.000000e+00 | 5.529600e+04 | Inf
114.46/114.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.46/114.55 c 115s|180000 |140987 |946946 | 5.3 | 68M| 53 | 7 | 200 | 30 | 200 | 18 | 17 |8572 |3848 | 0.000000e+00 | 5.529600e+04 | Inf
120.76/120.83 c 121s|190000 |147555 |999581 | 5.3 | 71M| 53 | 7 | 200 | 27 | 200 | 18 | 17 |9083 |3949 | 0.000000e+00 | 5.529600e+04 | Inf
126.96/127.04 c 127s|200000 |154221 | 1051k| 5.3 | 75M| 53 | 7 | 200 | 27 | 200 | 18 | 17 |9524 |4049 | 0.000000e+00 | 5.529600e+04 | Inf
133.25/133.38 c 133s|210000 |160763 | 1105k| 5.3 | 78M| 53 | 7 | 200 | 30 | 200 | 18 | 17 | 10k|4165 | 0.000000e+00 | 5.529600e+04 | Inf
136.66/136.75 o 54272
136.66/136.75 c * 137s|215274 |163684 | 1134k| 5.3 | 79M| 53 | - | 200 | 28 | 200 | 18 | 17 | 10k|4226 | 0.000000e+00 | 5.427200e+04 | Inf
139.66/139.75 c 140s|220000 |166698 | 1159k| 5.3 | 81M| 53 | 7 | 200 | 28 | 200 | 18 | 17 | 10k|4275 | 0.000000e+00 | 5.427200e+04 | Inf
145.95/146.06 c 146s|230000 |173161 | 1211k| 5.3 | 84M| 53 | 7 | 200 | 27 | 200 | 18 | 17 | 11k|4374 | 0.000000e+00 | 5.427200e+04 | Inf
152.25/152.38 c 152s|240000 |179638 | 1264k| 5.3 | 88M| 53 | 7 | 200 | 32 | 200 | 18 | 17 | 11k|4471 | 0.000000e+00 | 5.427200e+04 | Inf
158.54/158.64 c 159s|250000 |186226 | 1316k| 5.3 | 91M| 53 | 7 | 200 | 25 | 200 | 18 | 17 | 12k|4565 | 0.000000e+00 | 5.427200e+04 | Inf
164.85/164.99 c 165s|260000 |192438 | 1369k| 5.3 | 94M| 53 | 7 | 200 | 27 | 200 | 18 | 17 | 12k|4656 | 0.000000e+00 | 5.427200e+04 | Inf
171.34/171.40 c 171s|270000 |198730 | 1423k| 5.3 | 98M| 53 | 7 | 200 | 30 | 200 | 18 | 17 | 13k|4742 | 0.000000e+00 | 5.427200e+04 | Inf
177.54/177.61 c 178s|280000 |205273 | 1476k| 5.3 | 101M| 53 | 7 | 200 | 31 | 200 | 18 | 17 | 13k|4843 | 0.000000e+00 | 5.427200e+04 | Inf
183.74/183.81 c 184s|290000 |211713 | 1527k| 5.3 | 105M| 53 | 7 | 200 | 28 | 200 | 18 | 17 | 14k|4918 | 0.000000e+00 | 5.427200e+04 | Inf
190.04/190.19 c 190s|300000 |217875 | 1582k| 5.3 | 108M| 53 | - | 200 | 28 | 0 | 0 | 17 | 14k|5001 | 0.000000e+00 | 5.427200e+04 | Inf
196.43/196.54 c 197s|310000 |224222 | 1635k| 5.3 | 111M| 54 | - | 200 | 27 | 0 | 0 | 17 | 15k|5085 | 0.000000e+00 | 5.427200e+04 | Inf
202.74/202.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
202.74/202.82 c 203s|320000 |230837 | 1687k| 5.3 | 115M| 54 | 7 | 200 | 29 | 200 | 18 | 17 | 15k|5169 | 0.000000e+00 | 5.427200e+04 | Inf
208.94/209.07 c 209s|330000 |237050 | 1741k| 5.3 | 118M| 54 | 7 | 200 | 27 | 200 | 18 | 17 | 16k|5253 | 0.000000e+00 | 5.427200e+04 | Inf
214.33/214.41 o 48128
214.33/214.41 c * 214s|338429 |237849 | 1786k| 5.3 | 117M| 54 | - | 200 | 29 | 200 | 18 | 17 | 16k|5310 | 0.000000e+00 | 4.812800e+04 | Inf
215.33/215.43 c 215s|340000 |238661 | 1795k| 5.3 | 118M| 54 | 7 | 200 | 25 | 200 | 18 | 17 | 16k|5328 | 0.000000e+00 | 4.812800e+04 | Inf
224.13/224.23 c 224s|350000 |244568 | 1848k| 5.3 | 121M| 54 | 7 | 200 | 29 | 200 | 18 | 17 | 17k|5410 | 0.000000e+00 | 4.812800e+04 | Inf
230.43/230.52 c 231s|360000 |250630 | 1902k| 5.3 | 124M| 54 | 7 | 200 | 30 | 200 | 18 | 17 | 17k|5510 | 0.000000e+00 | 4.812800e+04 | Inf
236.63/236.74 c 237s|370000 |257000 | 1953k| 5.3 | 127M| 54 | 7 | 200 | 26 | 200 | 18 | 17 | 18k|5605 | 0.000000e+00 | 4.812800e+04 | Inf
243.03/243.13 c 243s|380000 |262922 | 2007k| 5.3 | 131M| 54 | - | 200 | 27 | 200 | 18 | 17 | 18k|5681 | 0.000000e+00 | 4.812800e+04 | Inf
251.72/251.83 c 252s|390000 |268920 | 2061k| 5.3 | 134M| 54 | 7 | 200 | 25 | 200 | 18 | 17 | 19k|5756 | 0.000000e+00 | 4.812800e+04 | Inf
257.92/258.04 c 258s|400000 |274932 | 2113k| 5.3 | 137M| 54 | 7 | 200 | 30 | 200 | 18 | 17 | 19k|5847 | 0.000000e+00 | 4.812800e+04 | Inf
264.21/264.34 c 264s|410000 |280671 | 2164k| 5.3 | 140M| 54 | - | 200 | 26 | 200 | 18 | 17 | 20k|5922 | 0.000000e+00 | 4.812800e+04 | Inf
270.42/270.53 c 271s|420000 |286753 | 2216k| 5.3 | 144M| 54 | 7 | 200 | 27 | 200 | 18 | 17 | 20k|6004 | 0.000000e+00 | 4.812800e+04 | Inf
276.72/276.83 c 277s|430000 |292523 | 2268k| 5.3 | 147M| 54 | 7 | 200 | 33 | 200 | 18 | 17 | 21k|6081 | 0.000000e+00 | 4.812800e+04 | Inf
282.91/283.06 c 283s|440000 |298392 | 2320k| 5.3 | 150M| 54 | 7 | 200 | 27 | 200 | 18 | 17 | 21k|6149 | 0.000000e+00 | 4.812800e+04 | Inf
289.31/289.44 c 289s|450000 |304114 | 2373k| 5.3 | 153M| 54 | - | 200 | 26 | 200 | 18 | 17 | 22k|6225 | 0.000000e+00 | 4.812800e+04 | Inf
295.60/295.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
295.60/295.74 c 296s|460000 |309820 | 2425k| 5.3 | 156M| 54 | - | 200 | 33 | 200 | 18 | 17 | 22k|6288 | 0.000000e+00 | 4.812800e+04 | Inf
301.91/302.03 c 302s|470000 |315663 | 2477k| 5.3 | 160M| 54 | 7 | 200 | 28 | 200 | 18 | 17 | 23k|6359 | 0.000000e+00 | 4.812800e+04 | Inf
308.20/308.35 c 308s|480000 |321384 | 2529k| 5.3 | 163M| 54 | - | 200 | 29 | 200 | 18 | 17 | 23k|6431 | 0.000000e+00 | 4.812800e+04 | Inf
314.51/314.66 c 315s|490000 |327086 | 2581k| 5.3 | 166M| 54 | 7 | 200 | 30 | 200 | 18 | 17 | 24k|6513 | 0.000000e+00 | 4.812800e+04 | Inf
320.70/320.88 c 321s|500000 |333012 | 2632k| 5.3 | 169M| 54 | 7 | 200 | 28 | 200 | 18 | 17 | 24k|6598 | 0.000000e+00 | 4.812800e+04 | Inf
327.00/327.15 c 327s|510000 |338769 | 2684k| 5.3 | 172M| 54 | 7 | 200 | 29 | 200 | 18 | 17 | 25k|6666 | 0.000000e+00 | 4.812800e+04 | Inf
333.30/333.45 c 333s|520000 |344739 | 2736k| 5.3 | 176M| 54 | - | 200 | 29 | 0 | 0 | 17 | 25k|6737 | 0.000000e+00 | 4.812800e+04 | Inf
339.60/339.77 c 340s|530000 |350903 | 2788k| 5.3 | 179M| 54 | 7 | 200 | 28 | 200 | 18 | 17 | 26k|6801 | 0.000000e+00 | 4.812800e+04 | Inf
343.29/343.43 o 47104
343.29/343.43 c f 343s|535704 |353311 | 2818k| 5.3 | 180M| 54 | - | 200 | 27 | 200 | 18 | 17 | 26k|6850 | 0.000000e+00 | 4.710400e+04 | Inf
346.30/346.41 c 346s|540000 |355657 | 2843k| 5.3 | 181M| 54 | - | 200 | 28 | 200 | 18 | 17 | 26k|6883 | 0.000000e+00 | 4.710400e+04 | Inf
352.79/352.98 c 353s|550000 |361277 | 2897k| 5.3 | 184M| 54 | 7 | 200 | 25 | 200 | 18 | 17 | 27k|6953 | 0.000000e+00 | 4.710400e+04 | Inf
359.19/359.37 c 359s|560000 |366908 | 2951k| 5.3 | 188M| 54 | 7 | 200 | 26 | 200 | 18 | 17 | 27k|7020 | 0.000000e+00 | 4.710400e+04 | Inf
367.99/368.12 c 368s|570000 |372469 | 3004k| 5.3 | 191M| 54 | 7 | 200 | 28 | 200 | 18 | 17 | 28k|7095 | 0.000000e+00 | 4.710400e+04 | Inf
374.38/374.56 c 375s|580000 |377999 | 3057k| 5.3 | 194M| 54 | 7 | 200 | 29 | 200 | 18 | 17 | 28k|7163 | 0.000000e+00 | 4.710400e+04 | Inf
380.78/380.98 c 381s|590000 |383371 | 3110k| 5.3 | 197M| 54 | 7 | 200 | 27 | 200 | 18 | 17 | 29k|7241 | 0.000000e+00 | 4.710400e+04 | Inf
387.19/387.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
387.19/387.30 c 387s|600000 |389058 | 3162k| 5.3 | 200M| 54 | 7 | 200 | 27 | 200 | 18 | 17 | 29k|7313 | 0.000000e+00 | 4.710400e+04 | Inf
393.38/393.58 c 394s|610000 |394655 | 3215k| 5.3 | 203M| 54 | 7 | 200 | 28 | 200 | 18 | 17 | 30k|7383 | 0.000000e+00 | 4.710400e+04 | Inf
399.68/399.89 c 400s|620000 |400296 | 3267k| 5.3 | 206M| 54 | 7 | 200 | 32 | 200 | 18 | 17 | 30k|7449 | 0.000000e+00 | 4.710400e+04 | Inf
405.97/406.13 c 406s|630000 |405919 | 3318k| 5.3 | 209M| 54 | 7 | 200 | 28 | 200 | 18 | 17 | 31k|7517 | 0.000000e+00 | 4.710400e+04 | Inf
412.28/412.41 c 412s|640000 |411514 | 3370k| 5.3 | 213M| 54 | 7 | 200 | 26 | 200 | 18 | 17 | 32k|7592 | 0.000000e+00 | 4.710400e+04 | Inf
418.47/418.68 c 419s|650000 |417175 | 3423k| 5.3 | 216M| 54 | 7 | 200 | 31 | 200 | 18 | 17 | 32k|7652 | 0.000000e+00 | 4.710400e+04 | Inf
424.77/424.94 c 425s|660000 |422692 | 3473k| 5.3 | 219M| 54 | 7 | 200 | 26 | 200 | 18 | 17 | 33k|7715 | 0.000000e+00 | 4.710400e+04 | Inf
431.07/431.24 c 431s|670000 |428218 | 3527k| 5.3 | 222M| 54 | 7 | 200 | 29 | 200 | 18 | 17 | 33k|7786 | 0.000000e+00 | 4.710400e+04 | Inf
437.37/437.59 c 438s|680000 |433629 | 3579k| 5.3 | 225M| 54 | 7 | 200 | 27 | 200 | 18 | 17 | 34k|7858 | 0.000000e+00 | 4.710400e+04 | Inf
443.56/443.77 c 444s|690000 |439119 | 3631k| 5.3 | 228M| 54 | 7 | 200 | 28 | 200 | 18 | 17 | 34k|7913 | 0.000000e+00 | 4.710400e+04 | Inf
449.77/449.96 c 450s|700000 |444936 | 3683k| 5.3 | 231M| 54 | 7 | 200 | 27 | 200 | 18 | 17 | 35k|7977 | 0.000000e+00 | 4.710400e+04 | Inf
452.87/453.04 o 39936
452.87/453.04 c * 453s|704800 |436429 | 3708k| 5.3 | 222M| 54 | - | 200 | 28 | 200 | 18 | 17 | 35k|8000 | 0.000000e+00 | 3.993600e+04 | Inf
456.16/456.36 c 456s|710000 |439097 | 3734k| 5.3 | 224M| 54 | 7 | 200 | 28 | 200 | 18 | 17 | 35k|8029 | 0.000000e+00 | 3.993600e+04 | Inf
462.36/462.57 c 463s|720000 |444167 | 3784k| 5.3 | 227M| 54 | 7 | 200 | 28 | 200 | 18 | 17 | 36k|8087 | 0.000000e+00 | 3.993600e+04 | Inf
468.66/468.88 c 469s|730000 |449320 | 3835k| 5.3 | 230M| 54 | 7 | 200 | 26 | 200 | 18 | 17 | 36k|8151 | 0.000000e+00 | 3.993600e+04 | Inf
477.35/477.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
477.35/477.52 c 478s|740000 |454540 | 3886k| 5.3 | 233M| 54 | 7 | 200 | 28 | 200 | 18 | 17 | 36k|8221 | 0.000000e+00 | 3.993600e+04 | Inf
483.55/483.78 c 484s|750000 |459632 | 3937k| 5.3 | 236M| 54 | 7 | 200 | 27 | 200 | 18 | 17 | 37k|8269 | 0.000000e+00 | 3.993600e+04 | Inf
489.75/489.99 c 490s|760000 |464768 | 3988k| 5.2 | 239M| 54 | 7 | 200 | 26 | 200 | 18 | 17 | 37k|8329 | 0.000000e+00 | 3.993600e+04 | Inf
496.05/496.25 c 496s|770000 |469889 | 4039k| 5.2 | 241M| 54 | 7 | 200 | 27 | 200 | 18 | 17 | 38k|8385 | 0.000000e+00 | 3.993600e+04 | Inf
502.25/502.45 c 502s|780000 |475192 | 4089k| 5.2 | 244M| 54 | 7 | 200 | 28 | 200 | 18 | 17 | 38k|8439 | 0.000000e+00 | 3.993600e+04 | Inf
508.45/508.65 c 509s|790000 |480462 | 4139k| 5.2 | 247M| 54 | 7 | 200 | 27 | 200 | 18 | 17 | 39k|8500 | 0.000000e+00 | 3.993600e+04 | Inf
513.55/513.76 o 33792
513.55/513.76 c * 514s|798245 |469455 | 4180k| 5.2 | 238M| 54 | - | 200 | 27 | 200 | 18 | 17 | 39k|8553 | 0.000000e+00 | 3.379200e+04 | Inf
517.05/517.21 c 517s|800000 |470298 | 4188k| 5.2 | 238M| 54 | - | 200 | 27 | 200 | 18 | 17 | 39k|8560 | 0.000000e+00 | 3.379200e+04 | Inf
523.24/523.40 c 523s|810000 |475402 | 4238k| 5.2 | 241M| 54 | 7 | 200 | 29 | 200 | 18 | 17 | 40k|8621 | 0.000000e+00 | 3.379200e+04 | Inf
529.34/529.52 c 530s|820000 |480191 | 4286k| 5.2 | 244M| 54 | - | 200 | 26 | 200 | 18 | 17 | 40k|8691 | 0.000000e+00 | 3.379200e+04 | Inf
535.33/535.56 c 536s|830000 |484732 | 4335k| 5.2 | 247M| 54 | - | 200 | 29 | 200 | 18 | 17 | 41k|8736 | 0.000000e+00 | 3.379200e+04 | Inf
541.44/541.66 c 542s|840000 |489276 | 4384k| 5.2 | 249M| 54 | 7 | 200 | 28 | 200 | 18 | 17 | 41k|8796 | 0.000000e+00 | 3.379200e+04 | Inf
547.54/547.77 c 548s|850000 |494027 | 4432k| 5.2 | 252M| 54 | 7 | 200 | 26 | 200 | 18 | 17 | 42k|8861 | 0.000000e+00 | 3.379200e+04 | Inf
553.83/554.04 c 554s|860000 |499012 | 4482k| 5.2 | 255M| 54 | 7 | 200 | 27 | 200 | 18 | 17 | 42k|8913 | 0.000000e+00 | 3.379200e+04 | Inf
560.04/560.23 c 560s|870000 |503945 | 4531k| 5.2 | 258M| 54 | - | 200 | 27 | 200 | 18 | 17 | 42k|8969 | 0.000000e+00 | 3.379200e+04 | Inf
566.03/566.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.03/566.22 c 566s|880000 |508669 | 4578k| 5.2 | 260M| 54 | 7 | 200 | 26 | 200 | 18 | 17 | 43k|9041 | 0.000000e+00 | 3.379200e+04 | Inf
572.03/572.22 c 572s|890000 |513107 | 4626k| 5.2 | 263M| 54 | 7 | 200 | 26 | 200 | 18 | 17 | 43k|9091 | 0.000000e+00 | 3.379200e+04 | Inf
578.02/578.20 c 578s|900000 |517745 | 4675k| 5.2 | 266M| 54 | 7 | 200 | 30 | 200 | 18 | 17 | 44k|9157 | 0.000000e+00 | 3.379200e+04 | Inf
586.33/586.50 c 586s|910000 |522432 | 4722k| 5.2 | 268M| 54 | - | 200 | 27 | 0 | 0 | 17 | 44k|9207 | 0.000000e+00 | 3.379200e+04 | Inf
592.33/592.54 c 593s|920000 |527352 | 4771k| 5.2 | 271M| 54 | - | 200 | 25 | 200 | 18 | 17 | 45k|9256 | 0.000000e+00 | 3.379200e+04 | Inf
598.32/598.54 c 599s|930000 |531841 | 4819k| 5.2 | 274M| 54 | 7 | 200 | 27 | 200 | 18 | 17 | 45k|9306 | 0.000000e+00 | 3.379200e+04 | Inf
604.32/604.59 c 605s|940000 |536816 | 4867k| 5.2 | 277M| 54 | 7 | 200 | 27 | 200 | 18 | 17 | 46k|9362 | 0.000000e+00 | 3.379200e+04 | Inf
610.22/610.40 c 610s|950000 |540999 | 4914k| 5.2 | 279M| 54 | 7 | 200 | 27 | 200 | 18 | 17 | 46k|9422 | 0.000000e+00 | 3.379200e+04 | Inf
616.32/616.55 c 617s|960000 |545538 | 4963k| 5.2 | 282M| 54 | 7 | 200 | 30 | 200 | 18 | 17 | 46k|9477 | 0.000000e+00 | 3.379200e+04 | Inf
622.22/622.45 c 622s|970000 |549775 | 5010k| 5.2 | 285M| 54 | 7 | 200 | 26 | 200 | 18 | 17 | 47k|9528 | 0.000000e+00 | 3.379200e+04 | Inf
628.01/628.26 c 628s|980000 |554051 | 5057k| 5.2 | 287M| 54 | 7 | 200 | 26 | 200 | 18 | 17 | 47k|9576 | 0.000000e+00 | 3.379200e+04 | Inf
634.01/634.22 c 634s|990000 |558726 | 5105k| 5.2 | 290M| 54 | 7 | 200 | 26 | 200 | 18 | 17 | 48k|9617 | 0.000000e+00 | 3.379200e+04 | Inf
638.71/638.99 o 24576
638.71/638.99 c * 639s|997746 |521089 | 5141k| 5.2 | 263M| 54 | - | 200 | 27 | 200 | 18 | 17 | 48k|9659 | 0.000000e+00 | 2.457600e+04 | Inf
642.31/642.51 c 643s| 1000k|522148 | 5153k| 5.2 | 263M| 54 | 7 | 200 | 27 | 200 | 18 | 17 | 48k|9685 | 0.000000e+00 | 2.457600e+04 | Inf
648.41/648.69 c 649s| 1010k|526992 | 5204k| 5.2 | 266M| 54 | 7 | 200 | 25 | 200 | 18 | 17 | 49k|9771 | 0.000000e+00 | 2.457600e+04 | Inf
654.31/654.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
654.31/654.56 c 655s| 1020k|531318 | 5254k| 5.2 | 268M| 54 | - | 200 | 26 | 200 | 18 | 17 | 49k|9835 | 0.000000e+00 | 2.457600e+04 | Inf
660.31/660.53 c 661s| 1030k|535850 | 5305k| 5.2 | 271M| 54 | 7 | 200 | 28 | 200 | 18 | 17 | 50k|9897 | 0.000000e+00 | 2.457600e+04 | Inf
666.21/666.41 c 666s| 1040k|540405 | 5356k| 5.1 | 274M| 54 | 7 | 200 | 26 | 200 | 18 | 17 | 50k|9976 | 0.000000e+00 | 2.457600e+04 | Inf
672.10/672.30 c 672s| 1050k|544878 | 5406k| 5.1 | 276M| 54 | 7 | 200 | 26 | 200 | 18 | 17 | 51k| 10k| 0.000000e+00 | 2.457600e+04 | Inf
677.70/677.93 c 678s| 1060k|548826 | 5453k| 5.1 | 279M| 54 | 7 | 200 | 24 | 200 | 18 | 17 | 51k| 10k| 0.000000e+00 | 2.457600e+04 | Inf
683.39/683.68 c 684s| 1070k|552618 | 5503k| 5.1 | 281M| 54 | - | 200 | 31 | 200 | 18 | 17 | 52k| 10k| 0.000000e+00 | 2.457600e+04 | Inf
689.10/689.34 c 689s| 1080k|556589 | 5552k| 5.1 | 283M| 54 | 7 | 200 | 29 | 200 | 18 | 17 | 52k| 10k| 0.000000e+00 | 2.457600e+04 | Inf
694.90/695.19 c 695s| 1090k|561217 | 5602k| 5.1 | 286M| 54 | 7 | 200 | 25 | 200 | 18 | 17 | 52k| 10k| 0.000000e+00 | 2.457600e+04 | Inf
700.89/701.15 c 701s| 1100k|565666 | 5653k| 5.1 | 288M| 54 | 7 | 200 | 25 | 200 | 18 | 17 | 53k| 10k| 0.000000e+00 | 2.457600e+04 | Inf
706.59/706.82 c 707s| 1110k|569828 | 5702k| 5.1 | 290M| 54 | 7 | 200 | 24 | 200 | 18 | 17 | 53k| 10k| 0.000000e+00 | 2.457600e+04 | Inf
712.19/712.46 c 712s| 1120k|573818 | 5750k| 5.1 | 293M| 55 | 7 | 200 | 27 | 200 | 18 | 17 | 54k| 10k| 0.000000e+00 | 2.457600e+04 | Inf
717.89/718.19 c 718s| 1130k|577883 | 5799k| 5.1 | 295M| 55 | 7 | 200 | 27 | 200 | 18 | 17 | 54k| 10k| 0.000000e+00 | 2.457600e+04 | Inf
723.59/723.87 c 724s| 1140k|581845 | 5848k| 5.1 | 297M| 55 | 7 | 200 | 32 | 200 | 18 | 17 | 55k| 10k| 0.000000e+00 | 2.457600e+04 | Inf
729.29/729.53 c 730s| 1150k|585824 | 5896k| 5.1 | 299M| 55 | 7 | 200 | 26 | 200 | 18 | 17 | 55k| 10k| 0.000000e+00 | 2.457600e+04 | Inf
734.88/735.15 c 735s| 1160k|589779 | 5945k| 5.1 | 302M| 55 | - | 200 | 28 | 200 | 18 | 17 | 55k| 10k| 0.000000e+00 | 2.457600e+04 | Inf
740.58/740.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
740.58/740.87 c 741s| 1170k|593819 | 5994k| 5.1 | 304M| 55 | - | 200 | 33 | 200 | 18 | 17 | 56k| 10k| 0.000000e+00 | 2.457600e+04 | Inf
746.08/746.38 c 746s| 1180k|597329 | 6041k| 5.1 | 306M| 55 | 7 | 200 | 24 | 200 | 18 | 17 | 56k| 10k| 0.000000e+00 | 2.457600e+04 | Inf
751.78/752.02 c 752s| 1190k|600758 | 6089k| 5.1 | 308M| 55 | 7 | 200 | 25 | 200 | 18 | 17 | 57k| 10k| 0.000000e+00 | 2.457600e+04 | Inf
757.28/757.55 c 758s| 1200k|604177 | 6137k| 5.1 | 310M| 55 | 7 | 200 | 26 | 200 | 18 | 17 | 57k| 10k| 0.000000e+00 | 2.457600e+04 | Inf
762.98/763.21 c 763s| 1210k|607900 | 6186k| 5.1 | 313M| 55 | - | 200 | 25 | 200 | 18 | 17 | 57k| 11k| 0.000000e+00 | 2.457600e+04 | Inf
768.58/768.88 c 769s| 1220k|611474 | 6234k| 5.1 | 315M| 55 | - | 200 | 23 | 200 | 18 | 17 | 58k| 11k| 0.000000e+00 | 2.457600e+04 | Inf
774.08/774.39 c 774s| 1230k|614967 | 6281k| 5.1 | 317M| 55 | 7 | 200 | 25 | 200 | 18 | 17 | 58k| 11k| 0.000000e+00 | 2.457600e+04 | Inf
779.57/779.88 c 780s| 1240k|618524 | 6329k| 5.1 | 319M| 55 | 7 | 200 | 26 | 200 | 18 | 17 | 59k| 11k| 0.000000e+00 | 2.457600e+04 | Inf
784.97/785.28 c 785s| 1250k|621742 | 6375k| 5.1 | 321M| 55 | 7 | 200 | 26 | 200 | 18 | 17 | 59k| 11k| 0.000000e+00 | 2.457600e+04 | Inf
790.57/790.84 c 791s| 1260k|625264 | 6423k| 5.1 | 323M| 55 | - | 200 | 28 | 200 | 18 | 17 | 59k| 11k| 0.000000e+00 | 2.457600e+04 | Inf
795.97/796.20 c 796s| 1270k|628321 | 6470k| 5.1 | 325M| 55 | 7 | 200 | 29 | 200 | 18 | 17 | 60k| 11k| 0.000000e+00 | 2.457600e+04 | Inf
801.47/801.77 c 802s| 1280k|631810 | 6519k| 5.1 | 327M| 55 | 7 | 200 | 30 | 200 | 18 | 17 | 60k| 11k| 0.000000e+00 | 2.457600e+04 | Inf
806.77/807.08 c 807s| 1290k|635124 | 6563k| 5.1 | 329M| 55 | - | 200 | 28 | 200 | 18 | 17 | 60k| 11k| 0.000000e+00 | 2.457600e+04 | Inf
812.27/812.52 c 813s| 1300k|638108 | 6611k| 5.1 | 331M| 55 | - | 200 | 27 | 200 | 18 | 17 | 61k| 11k| 0.000000e+00 | 2.457600e+04 | Inf
817.96/818.23 c 818s| 1310k|641660 | 6660k| 5.1 | 333M| 55 | - | 200 | 24 | 200 | 18 | 17 | 61k| 11k| 0.000000e+00 | 2.457600e+04 | Inf
823.46/823.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
823.46/823.78 c 824s| 1320k|645035 | 6710k| 5.1 | 335M| 55 | - | 200 | 28 | 200 | 18 | 17 | 62k| 11k| 0.000000e+00 | 2.457600e+04 | Inf
828.76/829.07 c 829s| 1330k|647998 | 6755k| 5.1 | 337M| 55 | 7 | 200 | 24 | 200 | 18 | 17 | 62k| 11k| 0.000000e+00 | 2.457600e+04 | Inf
834.25/834.56 c 835s| 1340k|651477 | 6801k| 5.1 | 339M| 55 | - | 200 | 25 | 200 | 18 | 17 | 62k| 11k| 0.000000e+00 | 2.457600e+04 | Inf
839.95/840.25 c 840s| 1350k|655310 | 6850k| 5.1 | 341M| 55 | 7 | 200 | 26 | 200 | 18 | 17 | 63k| 11k| 0.000000e+00 | 2.457600e+04 | Inf
845.56/845.87 c 846s| 1360k|658867 | 6899k| 5.1 | 343M| 55 | 7 | 200 | 28 | 200 | 18 | 17 | 63k| 11k| 0.000000e+00 | 2.457600e+04 | Inf
851.06/851.34 c 851s| 1370k|661807 | 6948k| 5.1 | 345M| 55 | 7 | 200 | 27 | 200 | 18 | 17 | 64k| 11k| 0.000000e+00 | 2.457600e+04 | Inf
856.55/856.85 c 857s| 1380k|665305 | 6994k| 5.1 | 347M| 55 | - | 200 | 26 | 200 | 18 | 17 | 64k| 11k| 0.000000e+00 | 2.457600e+04 | Inf
861.95/862.28 c 862s| 1390k|668680 | 7042k| 5.1 | 349M| 55 | 7 | 200 | 23 | 200 | 18 | 17 | 64k| 12k| 0.000000e+00 | 2.457600e+04 | Inf
867.35/867.63 c 868s| 1400k|671675 | 7088k| 5.1 | 351M| 55 | 7 | 200 | 26 | 200 | 18 | 17 | 65k| 12k| 0.000000e+00 | 2.457600e+04 | Inf
872.84/873.14 c 873s| 1410k|675016 | 7135k| 5.1 | 353M| 55 | 7 | 200 | 27 | 200 | 18 | 17 | 65k| 12k| 0.000000e+00 | 2.457600e+04 | Inf
878.24/878.55 c 879s| 1420k|678129 | 7181k| 5.1 | 355M| 55 | 7 | 200 | 28 | 200 | 18 | 17 | 66k| 12k| 0.000000e+00 | 2.457600e+04 | Inf
883.64/883.97 c 884s| 1430k|681341 | 7226k| 5.1 | 357M| 55 | 7 | 200 | 27 | 200 | 18 | 17 | 66k| 12k| 0.000000e+00 | 2.457600e+04 | Inf
889.04/889.30 c 889s| 1440k|684249 | 7271k| 5.0 | 359M| 55 | - | 200 | 26 | 0 | 0 | 17 | 66k| 12k| 0.000000e+00 | 2.457600e+04 | Inf
894.34/894.64 c 895s| 1450k|687263 | 7317k| 5.0 | 361M| 55 | - | 200 | 22 | 200 | 18 | 17 | 67k| 12k| 0.000000e+00 | 2.457600e+04 | Inf
899.64/899.97 c 900s| 1460k|690190 | 7363k| 5.0 | 362M| 55 | - | 200 | 25 | 200 | 18 | 17 | 67k| 12k| 0.000000e+00 | 2.457600e+04 | Inf
905.04/905.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
905.04/905.35 c 905s| 1470k|693117 | 7409k| 5.0 | 364M| 55 | - | 200 | 28 | 0 | 0 | 17 | 67k| 12k| 0.000000e+00 | 2.457600e+04 | Inf
910.44/910.70 c 911s| 1480k|695814 | 7457k| 5.0 | 366M| 55 | 7 | 200 | 29 | 200 | 18 | 17 | 68k| 12k| 0.000000e+00 | 2.457600e+04 | Inf
915.83/916.14 c 916s| 1490k|698506 | 7503k| 5.0 | 368M| 55 | - | 200 | 29 | 200 | 18 | 17 | 68k| 12k| 0.000000e+00 | 2.457600e+04 | Inf
921.23/921.56 c 922s| 1500k|701302 | 7549k| 5.0 | 370M| 55 | 7 | 200 | 28 | 200 | 18 | 17 | 69k| 12k| 0.000000e+00 | 2.457600e+04 | Inf
926.63/926.92 c 927s| 1510k|704355 | 7595k| 5.0 | 372M| 55 | - | 200 | 26 | 200 | 18 | 17 | 69k| 12k| 0.000000e+00 | 2.457600e+04 | Inf
931.93/932.22 c 932s| 1520k|707238 | 7640k| 5.0 | 374M| 55 | 7 | 200 | 22 | 200 | 18 | 17 | 69k| 12k| 0.000000e+00 | 2.457600e+04 | Inf
937.22/937.58 c 938s| 1530k|709962 | 7685k| 5.0 | 375M| 55 | 7 | 200 | 25 | 200 | 18 | 17 | 70k| 12k| 0.000000e+00 | 2.457600e+04 | Inf
942.53/942.89 c 943s| 1540k|712707 | 7731k| 5.0 | 377M| 55 | 7 | 200 | 25 | 200 | 18 | 17 | 70k| 12k| 0.000000e+00 | 2.457600e+04 | Inf
948.03/948.34 c 948s| 1550k|715412 | 7778k| 5.0 | 379M| 55 | - | 200 | 22 | 200 | 18 | 17 | 71k| 12k| 0.000000e+00 | 2.457600e+04 | Inf
953.62/953.97 c 954s| 1560k|718666 | 7827k| 5.0 | 381M| 55 | 7 | 200 | 27 | 200 | 18 | 17 | 71k| 12k| 0.000000e+00 | 2.457600e+04 | Inf
959.12/959.43 c 959s| 1570k|721577 | 7875k| 5.0 | 383M| 55 | - | 200 | 24 | 200 | 18 | 17 | 71k| 12k| 0.000000e+00 | 2.457600e+04 | Inf
964.52/964.83 c 965s| 1580k|723870 | 7921k| 5.0 | 384M| 55 | 7 | 200 | 23 | 200 | 18 | 17 | 72k| 12k| 0.000000e+00 | 2.457600e+04 | Inf
970.02/970.31 c 970s| 1590k|726219 | 7968k| 5.0 | 386M| 55 | 7 | 200 | 26 | 200 | 18 | 17 | 72k| 13k| 0.000000e+00 | 2.457600e+04 | Inf
975.32/975.61 c 976s| 1600k|728747 | 8014k| 5.0 | 388M| 55 | - | 200 | 24 | 0 | 0 | 17 | 73k| 13k| 0.000000e+00 | 2.457600e+04 | Inf
980.62/980.96 c 981s| 1610k|731255 | 8061k| 5.0 | 389M| 55 | - | 200 | 27 | 0 | 0 | 17 | 73k| 13k| 0.000000e+00 | 2.457600e+04 | Inf
986.11/986.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
986.11/986.40 c 986s| 1620k|734346 | 8107k| 5.0 | 391M| 55 | 7 | 200 | 30 | 200 | 18 | 17 | 73k| 13k| 0.000000e+00 | 2.457600e+04 | Inf
991.51/991.84 c 992s| 1630k|737580 | 8152k| 5.0 | 393M| 55 | 7 | 200 | 26 | 200 | 18 | 17 | 74k| 13k| 0.000000e+00 | 2.457600e+04 | Inf
997.32/997.63 c 998s| 1640k|741784 | 8201k| 5.0 | 396M| 55 | 7 | 200 | 24 | 200 | 18 | 17 | 74k| 13k| 0.000000e+00 | 2.457600e+04 | Inf
1002.61/1003.00 c 1003s| 1650k|744957 | 8248k| 5.0 | 398M| 55 | 7 | 200 | 26 | 200 | 18 | 17 | 75k| 13k| 0.000000e+00 | 2.457600e+04 | Inf
1008.11/1008.49 c 1008s| 1660k|748160 | 8296k| 5.0 | 399M| 55 | - | 200 | 28 | 200 | 18 | 17 | 75k| 13k| 0.000000e+00 | 2.457600e+04 | Inf
1008.60/1008.94 o 22528
1008.60/1008.94 c *1009s| 1660k|738073 | 8299k| 5.0 | 391M| 55 | - | 200 | 26 | 200 | 18 | 17 | 75k| 13k| 0.000000e+00 | 2.252800e+04 | Inf
1018.10/1018.47 c 1018s| 1670k|740488 | 8339k| 5.0 | 393M| 55 | 7 | 200 | 24 | 200 | 18 | 17 | 75k| 13k| 0.000000e+00 | 2.252800e+04 | Inf
1023.50/1023.88 c 1024s| 1680k|743374 | 8385k| 5.0 | 394M| 55 | 7 | 200 | 23 | 200 | 18 | 17 | 76k| 13k| 0.000000e+00 | 2.252800e+04 | Inf
1028.70/1029.02 c 1029s| 1690k|745881 | 8428k| 5.0 | 396M| 55 | 7 | 200 | 26 | 200 | 18 | 17 | 76k| 13k| 0.000000e+00 | 2.252800e+04 | Inf
1033.90/1034.25 c 1034s| 1700k|748364 | 8471k| 5.0 | 398M| 55 | 7 | 200 | 26 | 200 | 18 | 17 | 76k| 13k| 0.000000e+00 | 2.252800e+04 | Inf
1039.20/1039.57 c 1040s| 1710k|751170 | 8516k| 5.0 | 399M| 55 | 7 | 200 | 26 | 200 | 18 | 17 | 77k| 13k| 0.000000e+00 | 2.252800e+04 | Inf
1044.59/1044.99 c 1045s| 1720k|754474 | 8562k| 5.0 | 401M| 55 | - | 200 | 26 | 200 | 18 | 17 | 77k| 13k| 0.000000e+00 | 2.252800e+04 | Inf
1050.08/1050.40 c 1050s| 1730k|757794 | 8608k| 5.0 | 403M| 55 | 7 | 200 | 24 | 200 | 18 | 17 | 77k| 13k| 0.000000e+00 | 2.252800e+04 | Inf
1055.58/1055.90 c 1056s| 1740k|761187 | 8655k| 5.0 | 405M| 55 | 7 | 200 | 24 | 200 | 18 | 17 | 78k| 13k| 0.000000e+00 | 2.252800e+04 | Inf
1061.09/1061.46 c 1061s| 1750k|764842 | 8702k| 5.0 | 407M| 55 | 7 | 200 | 25 | 200 | 18 | 17 | 78k| 13k| 0.000000e+00 | 2.252800e+04 | Inf
1066.48/1066.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1066.48/1066.85 c 1067s| 1760k|767754 | 8748k| 5.0 | 409M| 55 | 7 | 200 | 23 | 200 | 18 | 17 | 79k| 13k| 0.000000e+00 | 2.252800e+04 | Inf
1074.39/1074.72 c 1075s| 1770k|770611 | 8793k| 5.0 | 411M| 55 | - | 200 | 23 | 200 | 18 | 17 | 79k| 13k| 0.000000e+00 | 2.252800e+04 | Inf
1079.57/1079.99 c 1080s| 1780k|772991 | 8838k| 5.0 | 412M| 55 | - | 200 | 25 | 200 | 18 | 17 | 80k| 13k| 0.000000e+00 | 2.252800e+04 | Inf
1084.87/1085.22 c 1085s| 1790k|775565 | 8883k| 5.0 | 414M| 55 | 7 | 200 | 28 | 200 | 18 | 17 | 80k| 13k| 0.000000e+00 | 2.252800e+04 | Inf
1090.27/1090.61 c 1091s| 1800k|778274 | 8929k| 5.0 | 416M| 55 | 7 | 200 | 25 | 200 | 18 | 17 | 80k| 13k| 0.000000e+00 | 2.252800e+04 | Inf
1095.57/1095.91 c 1096s| 1810k|780835 | 8974k| 5.0 | 418M| 55 | - | 200 | 23 | 0 | 0 | 17 | 81k| 14k| 0.000000e+00 | 2.252800e+04 | Inf
1100.68/1101.08 c 1101s| 1820k|783049 | 9018k| 5.0 | 419M| 55 | 7 | 200 | 23 | 200 | 18 | 17 | 81k| 14k| 0.000000e+00 | 2.252800e+04 | Inf
1105.97/1106.37 c 1106s| 1830k|785303 | 9063k| 5.0 | 421M| 55 | 7 | 200 | 24 | 200 | 18 | 17 | 81k| 14k| 0.000000e+00 | 2.252800e+04 | Inf
1111.27/1111.65 c 1112s| 1840k|787651 | 9108k| 5.0 | 422M| 55 | 7 | 200 | 25 | 200 | 18 | 17 | 82k| 14k| 0.000000e+00 | 2.252800e+04 | Inf
1116.77/1117.17 c 1117s| 1850k|790641 | 9155k| 4.9 | 424M| 55 | 7 | 200 | 24 | 200 | 18 | 17 | 82k| 14k| 0.000000e+00 | 2.252800e+04 | Inf
1122.17/1122.53 c 1123s| 1860k|793688 | 9199k| 4.9 | 426M| 55 | 7 | 200 | 23 | 200 | 18 | 17 | 82k| 14k| 0.000000e+00 | 2.252800e+04 | Inf
1127.37/1127.75 c 1128s| 1870k|796184 | 9243k| 4.9 | 427M| 55 | - | 200 | 27 | 200 | 18 | 17 | 83k| 14k| 0.000000e+00 | 2.252800e+04 | Inf
1132.67/1133.04 c 1133s| 1880k|799377 | 9288k| 4.9 | 429M| 55 | 7 | 200 | 26 | 200 | 18 | 17 | 83k| 14k| 0.000000e+00 | 2.252800e+04 | Inf
1138.26/1138.68 c 1139s| 1890k|802907 | 9335k| 4.9 | 431M| 55 | - | 200 | 25 | 0 | 0 | 17 | 83k| 14k| 0.000000e+00 | 2.252800e+04 | Inf
1144.06/1144.49 c 1144s| 1900k|807154 | 9383k| 4.9 | 434M| 55 | 7 | 200 | 23 | 200 | 18 | 17 | 84k| 14k| 0.000000e+00 | 2.252800e+04 | Inf
1149.36/1149.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1149.36/1149.74 c 1150s| 1910k|810323 | 9429k| 4.9 | 435M| 55 | - | 200 | 27 | 200 | 18 | 17 | 84k| 14k| 0.000000e+00 | 2.252800e+04 | Inf
1154.76/1155.13 c 1155s| 1920k|813443 | 9474k| 4.9 | 437M| 55 | 7 | 200 | 25 | 200 | 18 | 17 | 85k| 14k| 0.000000e+00 | 2.252800e+04 | Inf
1160.16/1160.56 c 1161s| 1930k|816488 | 9519k| 4.9 | 439M| 55 | - | 200 | 27 | 200 | 18 | 17 | 85k| 14k| 0.000000e+00 | 2.252800e+04 | Inf
1165.66/1166.01 c 1166s| 1940k|819998 | 9565k| 4.9 | 441M| 55 | 7 | 200 | 25 | 200 | 18 | 17 | 85k| 14k| 0.000000e+00 | 2.252800e+04 | Inf
1170.96/1171.30 c 1171s| 1950k|822688 | 9610k| 4.9 | 443M| 55 | - | 200 | 23 | 0 | 0 | 17 | 86k| 14k| 0.000000e+00 | 2.252800e+04 | Inf
1176.15/1176.60 c 1177s| 1960k|825520 | 9655k| 4.9 | 445M| 55 | 7 | 200 | 27 | 200 | 18 | 17 | 86k| 14k| 0.000000e+00 | 2.252800e+04 | Inf
1181.35/1181.79 c 1182s| 1970k|828024 | 9699k| 4.9 | 446M| 55 | 7 | 200 | 22 | 200 | 18 | 17 | 86k| 14k| 0.000000e+00 | 2.252800e+04 | Inf
1186.84/1187.29 c 1187s| 1980k|831098 | 9743k| 4.9 | 448M| 55 | - | 200 | 26 | 200 | 18 | 17 | 87k| 14k| 0.000000e+00 | 2.252800e+04 | Inf
1192.35/1192.79 c 1193s| 1990k|834284 | 9791k| 4.9 | 450M| 55 | - | 200 | 25 | 0 | 0 | 17 | 87k| 14k| 0.000000e+00 | 2.252800e+04 | Inf
1197.74/1198.10 c 1198s| 2000k|837160 | 9837k| 4.9 | 452M| 55 | 7 | 200 | 27 | 200 | 18 | 17 | 87k| 14k| 0.000000e+00 | 2.252800e+04 | Inf
1203.05/1203.47 c 1203s| 2010k|839270 | 9883k| 4.9 | 454M| 55 | - | 200 | 24 | 200 | 18 | 17 | 88k| 14k| 0.000000e+00 | 2.252800e+04 | Inf
1208.45/1208.81 c 1209s| 2020k|841838 | 9928k| 4.9 | 455M| 55 | 7 | 200 | 25 | 200 | 18 | 17 | 88k| 14k| 0.000000e+00 | 2.252800e+04 | Inf
1213.74/1214.12 c 1214s| 2030k|844511 | 9972k| 4.9 | 457M| 55 | 7 | 200 | 23 | 200 | 18 | 17 | 88k| 14k| 0.000000e+00 | 2.252800e+04 | Inf
1219.04/1219.43 c 1219s| 2040k|847641 | 10015k| 4.9 | 459M| 55 | 7 | 200 | 23 | 200 | 18 | 17 | 89k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1224.33/1224.78 c 1225s| 2050k|850525 | 10060k| 4.9 | 461M| 55 | - | 200 | 27 | 200 | 18 | 17 | 89k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1229.54/1229.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1229.54/1229.93 c 1230s| 2060k|852995 | 10103k| 4.9 | 462M| 55 | - | 200 | 24 | 200 | 18 | 17 | 89k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1234.94/1235.30 c 1235s| 2070k|856459 | 10148k| 4.9 | 464M| 55 | - | 200 | 24 | 200 | 18 | 17 | 90k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1239.93/1240.37 c 1240s| 2080k|858975 | 10189k| 4.9 | 466M| 55 | 7 | 200 | 23 | 200 | 18 | 17 | 90k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1245.53/1245.98 c 1246s| 2090k|862510 | 10237k| 4.9 | 468M| 55 | 7 | 200 | 23 | 200 | 18 | 17 | 91k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1251.22/1251.63 c 1252s| 2100k|866188 | 10286k| 4.9 | 470M| 55 | 7 | 200 | 26 | 200 | 18 | 17 | 91k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1256.73/1257.15 c 1257s| 2110k|869611 | 10333k| 4.9 | 472M| 55 | 7 | 200 | 27 | 200 | 18 | 17 | 91k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1262.23/1262.61 c 1263s| 2120k|872889 | 10379k| 4.9 | 474M| 55 | - | 200 | 23 | 200 | 18 | 17 | 92k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1267.83/1268.30 c 1268s| 2130k|876096 | 10429k| 4.9 | 476M| 55 | 7 | 200 | 26 | 200 | 18 | 17 | 92k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1273.32/1273.78 c 1274s| 2140k|878850 | 10477k| 4.9 | 478M| 55 | 7 | 200 | 25 | 200 | 18 | 17 | 92k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1278.72/1279.11 c 1279s| 2150k|881256 | 10523k| 4.9 | 480M| 55 | - | 200 | 23 | 200 | 18 | 17 | 93k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1284.12/1284.50 c 1284s| 2160k|883717 | 10570k| 4.9 | 481M| 55 | - | 200 | 23 | 200 | 18 | 17 | 93k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1289.32/1289.78 c 1290s| 2170k|885886 | 10615k| 4.9 | 483M| 55 | - | 200 | 25 | 200 | 18 | 17 | 93k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1294.72/1295.10 c 1295s| 2180k|887967 | 10660k| 4.9 | 485M| 55 | - | 200 | 22 | 0 | 0 | 17 | 94k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1299.91/1300.39 c 1300s| 2190k|890139 | 10704k| 4.9 | 486M| 55 | - | 200 | 24 | 0 | 0 | 17 | 94k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1305.22/1305.70 c 1306s| 2200k|892306 | 10750k| 4.9 | 488M| 55 | 7 | 200 | 26 | 200 | 18 | 17 | 94k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1310.41/1310.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1310.41/1310.89 c 1311s| 2210k|894487 | 10795k| 4.9 | 489M| 55 | 7 | 200 | 23 | 200 | 18 | 17 | 95k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1315.71/1316.13 c 1316s| 2220k|896962 | 10838k| 4.9 | 491M| 55 | 7 | 200 | 23 | 200 | 18 | 17 | 95k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1320.91/1321.35 c 1321s| 2230k|899341 | 10883k| 4.9 | 493M| 55 | 7 | 200 | 24 | 200 | 18 | 17 | 95k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1326.11/1326.58 c 1327s| 2240k|901355 | 10927k| 4.9 | 494M| 55 | 7 | 200 | 26 | 200 | 18 | 17 | 96k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1331.51/1331.93 c 1332s| 2250k|903771 | 10973k| 4.9 | 496M| 55 | 7 | 200 | 25 | 200 | 18 | 17 | 96k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1336.81/1337.30 c 1337s| 2260k|906390 | 11020k| 4.9 | 497M| 55 | - | 200 | 27 | 0 | 0 | 17 | 96k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1342.20/1342.61 c 1343s| 2270k|908956 | 11065k| 4.9 | 499M| 55 | - | 200 | 28 | 200 | 18 | 17 | 97k| 15k| 0.000000e+00 | 2.252800e+04 | Inf
1347.31/1347.76 c 1348s| 2280k|910837 | 11109k| 4.9 | 500M| 56 | 7 | 200 | 26 | 200 | 18 | 17 | 97k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1352.70/1353.12 c 1353s| 2290k|913520 | 11153k| 4.9 | 502M| 56 | 7 | 200 | 27 | 200 | 18 | 17 | 97k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1357.89/1358.35 c 1358s| 2300k|916449 | 11197k| 4.9 | 504M| 56 | 7 | 200 | 26 | 200 | 18 | 17 | 98k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1363.30/1363.73 c 1364s| 2310k|919507 | 11242k| 4.9 | 506M| 56 | 7 | 200 | 27 | 200 | 18 | 17 | 98k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1368.80/1369.29 c 1369s| 2320k|923254 | 11289k| 4.9 | 508M| 56 | 7 | 200 | 24 | 200 | 18 | 17 | 99k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1374.50/1374.93 c 1375s| 2330k|927041 | 11337k| 4.9 | 510M| 56 | 7 | 200 | 26 | 200 | 18 | 17 | 99k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1379.79/1380.26 c 1380s| 2340k|929748 | 11382k| 4.9 | 512M| 56 | 7 | 200 | 23 | 200 | 18 | 17 | 99k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1385.09/1385.54 c 1386s| 2350k|932183 | 11426k| 4.9 | 513M| 56 | 7 | 200 | 23 | 200 | 18 | 17 | 100k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1390.39/1390.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1390.39/1390.84 c 1391s| 2360k|934671 | 11471k| 4.9 | 515M| 56 | 7 | 200 | 22 | 200 | 18 | 17 | 100k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1395.69/1396.11 c 1396s| 2370k|936967 | 11514k| 4.9 | 517M| 56 | - | 200 | 23 | 200 | 18 | 17 | 100k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1401.39/1401.81 c 1402s| 2380k|940770 | 11561k| 4.9 | 519M| 56 | 7 | 200 | 24 | 200 | 18 | 17 | 101k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1406.88/1407.38 c 1407s| 2390k|944472 | 11608k| 4.9 | 521M| 56 | - | 200 | 29 | 200 | 18 | 17 | 101k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1412.39/1412.88 c 1413s| 2400k|947973 | 11654k| 4.9 | 523M| 56 | 7 | 200 | 28 | 200 | 18 | 17 | 102k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1417.68/1418.16 c 1418s| 2410k|950572 | 11698k| 4.9 | 525M| 56 | 7 | 200 | 27 | 200 | 18 | 17 | 102k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1423.28/1423.76 c 1424s| 2420k|954184 | 11744k| 4.9 | 527M| 56 | - | 200 | 25 | 200 | 18 | 17 | 102k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1428.68/1429.13 c 1429s| 2430k|956875 | 11788k| 4.9 | 529M| 56 | 7 | 200 | 25 | 200 | 18 | 17 | 103k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1433.98/1434.44 c 1434s| 2440k|959645 | 11832k| 4.8 | 530M| 56 | - | 200 | 25 | 200 | 18 | 17 | 103k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1439.38/1439.81 c 1440s| 2450k|962526 | 11878k| 4.8 | 532M| 56 | - | 200 | 25 | 0 | 0 | 17 | 103k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1444.57/1445.00 c 1445s| 2460k|965414 | 11921k| 4.8 | 534M| 56 | 7 | 200 | 24 | 200 | 18 | 17 | 104k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1449.78/1450.25 c 1450s| 2470k|967972 | 11965k| 4.8 | 536M| 56 | 7 | 200 | 23 | 200 | 18 | 17 | 104k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1454.97/1455.43 c 1455s| 2480k|970163 | 12007k| 4.8 | 537M| 56 | - | 200 | 24 | 200 | 18 | 17 | 104k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1460.27/1460.70 c 1461s| 2490k|972346 | 12050k| 4.8 | 539M| 56 | 7 | 200 | 23 | 200 | 18 | 17 | 105k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1465.77/1466.24 c 1466s| 2500k|975765 | 12097k| 4.8 | 541M| 56 | - | 200 | 27 | 0 | 0 | 17 | 105k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1471.17/1471.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1471.17/1471.65 c 1472s| 2510k|978525 | 12142k| 4.8 | 542M| 56 | 7 | 200 | 26 | 200 | 18 | 17 | 105k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1476.37/1476.83 c 1477s| 2520k|981027 | 12185k| 4.8 | 544M| 56 | 7 | 200 | 24 | 200 | 18 | 17 | 106k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1481.56/1482.10 c 1482s| 2530k|983552 | 12228k| 4.8 | 546M| 56 | - | 200 | 24 | 200 | 18 | 17 | 106k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1486.86/1487.32 c 1487s| 2540k|986178 | 12271k| 4.8 | 547M| 56 | - | 200 | 23 | 200 | 18 | 17 | 106k| 16k| 0.000000e+00 | 2.252800e+04 | Inf
1492.16/1492.63 c 1493s| 2550k|988392 | 12315k| 4.8 | 549M| 56 | - | 200 | 23 | 0 | 0 | 17 | 107k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1497.46/1497.93 c 1498s| 2560k|991235 | 12359k| 4.8 | 551M| 56 | 7 | 200 | 25 | 200 | 18 | 17 | 107k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1502.85/1503.38 c 1503s| 2570k|994436 | 12404k| 4.8 | 553M| 56 | 7 | 200 | 25 | 200 | 18 | 17 | 107k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1508.26/1508.78 c 1509s| 2580k|997273 | 12449k| 4.8 | 554M| 56 | - | 200 | 24 | 200 | 18 | 17 | 108k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1513.55/1514.03 c 1514s| 2590k|999814 | 12493k| 4.8 | 556M| 56 | - | 200 | 23 | 200 | 18 | 17 | 108k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1518.76/1519.29 c 1519s| 2600k| 1002k| 12535k| 4.8 | 558M| 56 | - | 200 | 24 | 200 | 18 | 17 | 108k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1524.16/1524.61 c 1525s| 2610k| 1005k| 12579k| 4.8 | 560M| 56 | - | 200 | 22 | 0 | 0 | 17 | 109k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1529.45/1529.94 c 1530s| 2620k| 1007k| 12624k| 4.8 | 561M| 56 | 7 | 200 | 22 | 200 | 18 | 17 | 109k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1534.64/1535.19 c 1535s| 2630k| 1009k| 12667k| 4.8 | 563M| 56 | - | 200 | 26 | 0 | 0 | 17 | 109k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1539.95/1540.44 c 1540s| 2640k| 1012k| 12710k| 4.8 | 564M| 56 | 7 | 200 | 26 | 200 | 18 | 17 | 110k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1545.34/1545.89 c 1546s| 2650k| 1015k| 12754k| 4.8 | 566M| 56 | 7 | 200 | 28 | 200 | 18 | 17 | 110k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1550.84/1551.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1550.84/1551.33 c 1551s| 2660k| 1018k| 12798k| 4.8 | 568M| 56 | 7 | 200 | 27 | 200 | 18 | 17 | 110k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1556.05/1556.59 c 1557s| 2670k| 1021k| 12842k| 4.8 | 570M| 56 | - | 200 | 26 | 200 | 18 | 17 | 111k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1561.34/1561.87 c 1562s| 2680k| 1023k| 12886k| 4.8 | 571M| 56 | - | 200 | 25 | 200 | 18 | 17 | 111k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1566.64/1567.14 c 1567s| 2690k| 1025k| 12930k| 4.8 | 573M| 56 | 7 | 200 | 26 | 200 | 18 | 17 | 111k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1571.84/1572.38 c 1572s| 2700k| 1027k| 12974k| 4.8 | 574M| 56 | 7 | 200 | 23 | 200 | 18 | 17 | 112k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1577.63/1578.11 c 1578s| 2710k| 1031k| 13022k| 4.8 | 577M| 56 | 7 | 200 | 23 | 200 | 18 | 17 | 112k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1583.44/1583.98 c 1584s| 2720k| 1035k| 13071k| 4.8 | 579M| 56 | 7 | 200 | 23 | 200 | 18 | 17 | 113k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1589.13/1589.65 c 1590s| 2730k| 1039k| 13118k| 4.8 | 581M| 56 | - | 200 | 23 | 0 | 0 | 17 | 113k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1594.63/1595.10 c 1595s| 2740k| 1042k| 13164k| 4.8 | 583M| 56 | - | 200 | 26 | 200 | 18 | 17 | 113k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1600.13/1600.69 c 1601s| 2750k| 1046k| 13211k| 4.8 | 585M| 56 | 7 | 200 | 26 | 200 | 18 | 17 | 114k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1605.54/1606.03 c 1606s| 2760k| 1049k| 13256k| 4.8 | 587M| 56 | - | 200 | 24 | 200 | 18 | 17 | 114k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1610.83/1611.38 c 1611s| 2770k| 1051k| 13301k| 4.8 | 589M| 56 | 7 | 200 | 24 | 200 | 18 | 17 | 114k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1616.22/1616.74 c 1617s| 2780k| 1055k| 13346k| 4.8 | 590M| 56 | - | 200 | 22 | 0 | 0 | 17 | 115k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1621.62/1622.12 c 1622s| 2790k| 1058k| 13391k| 4.8 | 592M| 56 | 7 | 200 | 27 | 200 | 18 | 17 | 115k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1627.02/1627.54 c 1628s| 2800k| 1061k| 13435k| 4.8 | 594M| 56 | 7 | 200 | 24 | 200 | 18 | 17 | 116k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1632.32/1632.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1632.32/1632.82 c 1633s| 2810k| 1064k| 13480k| 4.8 | 596M| 56 | 7 | 200 | 23 | 200 | 18 | 17 | 116k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1637.51/1638.06 c 1638s| 2820k| 1066k| 13525k| 4.8 | 598M| 56 | 7 | 200 | 24 | 200 | 18 | 17 | 116k| 17k| 0.000000e+00 | 2.252800e+04 | Inf
1642.72/1643.29 c 1643s| 2830k| 1069k| 13570k| 4.8 | 600M| 56 | 7 | 200 | 23 | 200 | 18 | 17 | 117k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1648.12/1648.61 c 1649s| 2840k| 1072k| 13614k| 4.8 | 601M| 56 | 7 | 200 | 27 | 200 | 18 | 17 | 117k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1653.21/1653.78 c 1654s| 2850k| 1074k| 13657k| 4.8 | 603M| 56 | 7 | 200 | 25 | 200 | 18 | 17 | 117k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1658.62/1659.13 c 1659s| 2860k| 1077k| 13702k| 4.8 | 605M| 56 | 7 | 200 | 23 | 200 | 18 | 17 | 118k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1663.82/1664.33 c 1664s| 2870k| 1079k| 13745k| 4.8 | 606M| 56 | - | 200 | 22 | 200 | 18 | 17 | 118k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1669.11/1669.63 c 1670s| 2880k| 1082k| 13789k| 4.8 | 608M| 56 | 7 | 200 | 23 | 200 | 18 | 17 | 118k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1674.41/1674.99 c 1675s| 2890k| 1085k| 13833k| 4.8 | 610M| 56 | 7 | 200 | 27 | 200 | 18 | 17 | 119k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1679.71/1680.22 c 1680s| 2900k| 1087k| 13877k| 4.8 | 611M| 56 | 7 | 200 | 25 | 200 | 18 | 17 | 119k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1684.91/1685.42 c 1685s| 2910k| 1090k| 13921k| 4.8 | 613M| 56 | 7 | 200 | 23 | 200 | 18 | 17 | 119k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1690.01/1690.58 c 1691s| 2920k| 1092k| 13965k| 4.8 | 614M| 56 | - | 200 | 24 | 200 | 18 | 17 | 120k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1695.21/1695.74 c 1696s| 2930k| 1094k| 14009k| 4.8 | 616M| 56 | - | 200 | 26 | 200 | 18 | 17 | 120k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1700.40/1700.92 c 1701s| 2940k| 1096k| 14053k| 4.8 | 618M| 56 | 7 | 200 | 23 | 200 | 18 | 17 | 120k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1705.50/1706.10 c 1706s| 2950k| 1099k| 14096k| 4.8 | 619M| 56 | 7 | 200 | 24 | 200 | 18 | 17 | 121k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1710.79/1711.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1710.79/1711.34 c 1711s| 2960k| 1101k| 14141k| 4.8 | 621M| 56 | 7 | 200 | 26 | 200 | 18 | 17 | 121k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1716.09/1716.63 c 1717s| 2970k| 1104k| 14184k| 4.8 | 623M| 56 | 7 | 200 | 26 | 200 | 18 | 17 | 121k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1721.39/1721.94 c 1722s| 2980k| 1107k| 14229k| 4.8 | 624M| 56 | - | 200 | 27 | 0 | 0 | 17 | 122k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1726.60/1727.10 c 1727s| 2990k| 1109k| 14272k| 4.8 | 626M| 56 | 7 | 200 | 30 | 200 | 18 | 17 | 122k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1731.90/1732.40 c 1732s| 3000k| 1112k| 14316k| 4.8 | 627M| 56 | 7 | 200 | 30 | 200 | 18 | 17 | 122k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1737.09/1737.66 c 1738s| 3010k| 1114k| 14362k| 4.8 | 629M| 56 | 7 | 200 | 25 | 200 | 18 | 17 | 123k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1742.29/1742.86 c 1743s| 3020k| 1116k| 14406k| 4.8 | 631M| 56 | 7 | 200 | 25 | 200 | 18 | 17 | 123k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1747.40/1747.97 c 1748s| 3030k| 1118k| 14448k| 4.8 | 632M| 56 | - | 200 | 25 | 200 | 18 | 17 | 124k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1752.58/1753.13 c 1753s| 3040k| 1120k| 14491k| 4.8 | 634M| 56 | 7 | 200 | 23 | 200 | 18 | 17 | 124k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1757.68/1758.28 c 1758s| 3050k| 1123k| 14534k| 4.8 | 635M| 56 | - | 200 | 26 | 0 | 0 | 17 | 124k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1762.88/1763.46 c 1763s| 3060k| 1125k| 14577k| 4.8 | 637M| 56 | 7 | 200 | 25 | 200 | 18 | 17 | 125k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1768.08/1768.62 c 1769s| 3070k| 1127k| 14620k| 4.8 | 638M| 56 | 7 | 200 | 29 | 200 | 18 | 17 | 125k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1773.28/1773.82 c 1774s| 3080k| 1130k| 14665k| 4.8 | 640M| 56 | 7 | 200 | 24 | 200 | 18 | 17 | 125k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1778.38/1778.99 c 1779s| 3090k| 1132k| 14709k| 4.8 | 641M| 56 | 7 | 200 | 24 | 200 | 18 | 17 | 126k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1783.58/1784.14 c 1784s| 3100k| 1134k| 14751k| 4.8 | 643M| 56 | 7 | 200 | 27 | 200 | 18 | 17 | 126k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1788.67/1789.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1788.67/1789.20 c 1789s| 3110k| 1136k| 14793k| 4.8 | 644M| 56 | 7 | 200 | 24 | 200 | 18 | 17 | 126k| 18k| 0.000000e+00 | 2.252800e+04 | Inf
1789.48/1790.01 c
1789.48/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.48/1790.01 c Solving Time (sec) : 1790.00
1789.48/1790.01 c Solving Nodes : 3111627
1789.48/1790.01 c Primal Bound : +2.25280000000001e+04 (14 solutions)
1789.48/1790.01 c Dual Bound : +0.00000000000000e+00
1789.48/1790.01 c Gap : infinite
1789.48/1790.01 s SATISFIABLE
1789.48/1790.01 v -x240 -x239 x238 x237 x236 -x205 x204 -x203 x202 x201 -x200 -x199 x198 x197 -x196 -x195 -x194 -x193 x192 -x191 x190 -x189 x188
1789.48/1790.01 v -x187 x186 -x155 -x154 -x153 -x152 x151 -x150 x149 -x148 -x147 -x146 x145 -x144 x143 x142 x141 x140 x139 -x138 -x137 -x136 x105
1789.48/1790.01 v -x104 x103 x102 -x101 -x100 -x99 -x98 x97 x96 -x95 x94 x93 x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1789.48/1790.01 v -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
1789.48/1790.01 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x270 -x269
1789.48/1790.01 v -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 x252 x251 -x250 -x249 -x248
1789.48/1790.01 v -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222
1789.48/1790.01 v -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x185 -x184 -x183 -x182
1789.48/1790.01 v -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161
1789.48/1790.01 v -x160 -x159 -x158 -x157 -x156 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
1789.48/1790.01 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23
1789.48/1790.01 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1789.48/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.48/1790.01 c Solving Time : 1790.00
1789.48/1790.01 c Original Problem :
1789.48/1790.01 c Problem name : HOME/instance-2703882-1278560627.opb
1789.48/1790.01 c Variables : 270 (270 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.48/1790.01 c Constraints : 7 initial, 7 maximal
1789.48/1790.01 c Presolved Problem :
1789.48/1790.01 c Problem name : t_HOME/instance-2703882-1278560627.opb
1789.48/1790.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.48/1790.01 c Constraints : 7 initial, 57 maximal
1789.48/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.48/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.48/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.48/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.48/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.48/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.48/1790.01 c probing : 0.02 0 0 0 0 0 0 0 0
1789.48/1790.01 c linear : 0.00 70 0 0 63 0 0 0 0
1789.48/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.48/1790.01 c root node : - 42 - - 42 - - - -
1789.48/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.48/1790.01 c integral : 0 0 0 2176910 0 0 2948 0 0 4348062
1789.48/1790.01 c linear : 7+ 6 5478259 0 1 443892 4285031 0 0 0
1789.48/1790.01 c logicor : 0+ 0 586720 0 0 3245 35564 0 0 0
1789.48/1790.01 c countsols : 0 0 0 8 1 0 0 0 0 0
1789.48/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.48/1790.01 c integral : 26.97 0.00 0.00 26.97 0.00
1789.48/1790.01 c linear : 426.23 0.00 426.23 0.00 0.00
1789.48/1790.01 c logicor : 1.49 0.00 1.49 0.00 0.00
1789.48/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.48/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.48/1790.01 c vbounds : 2.12 2 0 0
1789.48/1790.01 c rootredcost : 2.24 14 0 42
1789.48/1790.01 c pseudoobj : 48.41 5483142 5273 119744
1789.48/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.48/1790.01 c propagation : 30.85 451284 118626 145595 57.6 35 31.9 -
1789.48/1790.01 c infeasible LP : 0.72 9197 8311 9421 34.1 1 39.0 0
1789.48/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.48/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.48/1790.01 c pseudo solution : 0.00 101 101 101 2.3 0 0.0 -
1789.48/1790.01 c applied globally : - - - 4525 26.5 - - -
1789.48/1790.01 c applied locally : - - - 122312 56.9 - - -
1789.48/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.48/1790.01 c cut pool : 0.00 4 - - 2 - (maximal pool size: 32)
1789.48/1790.01 c redcost : 68.20 3063392 0 9935479 0 0
1789.48/1790.01 c impliedbounds : 0.00 5 0 0 0 0
1789.48/1790.01 c intobj : 0.00 0 0 0 0 0
1789.48/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.48/1790.01 c gomory : 0.00 5 0 0 0 0
1789.48/1790.01 c strongcg : 0.00 5 0 0 3 0
1789.48/1790.01 c cmir : 0.03 5 0 0 13 0
1789.48/1790.01 c flowcover : 0.13 5 0 0 16 0
1789.48/1790.01 c clique : 0.00 1 0 0 0 0
1789.48/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.48/1790.01 c mcf : 0.00 1 0 0 0 0
1789.48/1790.01 c rapidlearning : 0.14 1 0 0 0 13
1789.48/1790.01 c Pricers : Time Calls Vars
1789.48/1790.01 c problem variables: 0.00 0 0
1789.48/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.48/1790.01 c relpscost : 24.83 2176902 0 2948 0 0 4348062
1789.48/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.48/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.48/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.48/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.48/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.48/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.48/1790.01 c random : 0.00 0 0 0 0 0 0
1789.48/1790.01 c Primal Heuristics : Time Calls Found
1789.48/1790.01 c LP solutions : 0.40 - 8
1789.48/1790.01 c pseudo solutions : 0.00 - 0
1789.48/1790.01 c oneopt : 1.24 14 0
1789.48/1790.01 c crossover : 25.55 11 0
1789.48/1790.01 c rootsoldiving : 4.09 565 0
1789.48/1790.01 c objpscostdiving : 5.64 2953 0
1789.48/1790.01 c pscostdiving : 47.00 11516 0
1789.48/1790.01 c veclendiving : 30.04 11516 2
1789.48/1790.01 c fracdiving : 44.71 11517 3
1789.48/1790.01 c linesearchdiving : 33.97 11517 1
1789.48/1790.01 c guideddiving : 35.55 11517 0
1789.48/1790.01 c coefdiving : 78.19 11517 0
1789.48/1790.01 c trivial : 0.00 2 0
1789.48/1790.01 c simplerounding : 1.30 0 0
1789.48/1790.01 c zirounding : 1.25 1000 0
1789.48/1790.01 c rounding : 2.92 21463 0
1789.48/1790.01 c shifting : 6.44 7024 0
1789.48/1790.01 c intshifting : 0.14 0 0
1789.48/1790.01 c twoopt : 0.00 0 0
1789.48/1790.01 c fixandinfer : 0.00 0 0
1789.48/1790.01 c feaspump : 0.20 1 0
1789.48/1790.01 c intdiving : 0.00 0 0
1789.48/1790.01 c actconsdiving : 0.00 0 0
1789.48/1790.01 c octane : 0.00 0 0
1789.48/1790.01 c rens : 0.03 1 0
1789.48/1790.01 c rins : 0.00 0 0
1789.48/1790.01 c localbranching : 0.00 0 0
1789.48/1790.01 c mutation : 0.00 0 0
1789.48/1790.01 c dins : 0.00 0 0
1789.48/1790.01 c undercover : 0.00 0 0
1789.48/1790.01 c nlp : 0.92 0 0
1789.48/1790.01 c trysol : 1.79 0 0
1789.48/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.48/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.48/1790.01 c dual LP : 593.19 2889409 12298475 4.26 20732.69
1789.48/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.48/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.48/1790.01 c diving/probing LP: 136.78 1066274 2501659 2.35 18289.65
1789.48/1790.01 c strong branching : 4.97 18974 66630 3.51 13408.97
1789.48/1790.01 c (at root node) : - 17 1401 82.41 -
1789.48/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.48/1790.01 c B&B Tree :
1789.48/1790.01 c number of runs : 1
1789.48/1790.01 c nodes : 3111627
1789.48/1790.01 c nodes (total) : 3111627
1789.48/1790.01 c nodes left : 1137362
1789.48/1790.01 c max depth : 56
1789.48/1790.01 c max depth (total): 56
1789.48/1790.01 c backtracks : 506892 (16.3%)
1789.48/1790.01 c delayed cutoffs : 13601
1789.48/1790.01 c repropagations : 26556 (141979 domain reductions, 13598 cutoffs)
1789.48/1790.01 c avg switch length: 6.03
1789.48/1790.01 c switching time : 133.27
1789.48/1790.01 c Solution :
1789.48/1790.01 c Solutions found : 14 (14 improvements)
1789.48/1790.01 c First Solution : +8.70400000000000e+05 (in run 1, after 74 nodes, 0.74 seconds, depth 51, found by <veclendiving>)
1789.48/1790.01 c Primal Bound : +2.25280000000001e+04 (in run 1, after 1660753 nodes, 1008.86 seconds, depth 41, found by <relaxation>)
1789.48/1790.01 c Dual Bound : +0.00000000000000e+00
1789.48/1790.01 c Gap : infinite
1789.48/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.48/1790.01 c Root Iterations : 121
1793.27/1793.81 c Time complete: 1793.28.
OK 22528
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703882-1278560627/watcher-2703882-1278560627 -o /tmp/evaluation-result-2703882-1278560627/solver-2703882-1278560627 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703882-1278560627.opb -t 1800 -m 1800 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 1111 /proc/meminfo: memFree=1654256/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=5692 CPUtime=0 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 742 0 0 0 0 0 0 0 15 0 1 0 24275632 5828608 656 1992294400 4194304 8395647 140736909719120 18446744073709551615 5546560 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1111/statm: 1423 661 313 1026 0 393 0 [startup+0.056142 s] /proc/loadavg: 0.92 0.98 0.99 3/106 1111 /proc/meminfo: memFree=1654256/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=23152 CPUtime=0.05 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 4035 0 0 0 4 1 0 0 18 0 1 0 24275632 23707648 3593 1992294400 4194304 8395647 140736909719120 18446744073709551615 4922697 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 5788 3601 583 1026 0 4758 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 23152 [startup+0.101147 s] /proc/loadavg: 0.92 0.98 0.99 3/106 1111 /proc/meminfo: memFree=1654256/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=31788 CPUtime=0.09 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 6724 0 0 0 7 2 0 0 18 0 1 0 24275632 32550912 6283 1992294400 4194304 8395647 140736909719120 18446744073709551615 7382132 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 7947 6292 594 1026 0 6917 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 31788 [startup+0.301173 s] /proc/loadavg: 0.92 0.98 0.99 3/106 1111 /proc/meminfo: memFree=1654256/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=32184 CPUtime=0.29 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 7107 0 0 0 26 3 0 0 18 0 1 0 24275632 32956416 6665 1992294400 4194304 8395647 140736909719120 18446744073709551615 7185435 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 8046 6665 613 1026 0 7016 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32184 [startup+0.701226 s] /proc/loadavg: 0.92 0.98 0.99 3/106 1111 /proc/meminfo: memFree=1654256/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=33296 CPUtime=0.69 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 7818 0 0 0 64 5 0 0 18 0 1 0 24275632 34095104 7376 1992294400 4194304 8395647 140736909719120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 8324 7376 626 1026 0 7294 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 33296 [startup+1.50133 s] /proc/loadavg: 0.92 0.98 0.99 2/107 1112 /proc/meminfo: memFree=1627092/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=33296 CPUtime=1.5 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 7824 0 0 0 142 8 0 0 19 0 1 0 24275632 34095104 7382 1992294400 4194304 8395647 140736909719120 18446744073709551615 5533016 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 8324 7382 628 1026 0 7294 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 33296 [startup+3.10054 s] /proc/loadavg: 0.92 0.98 0.99 2/107 1112 /proc/meminfo: memFree=1626968/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=33296 CPUtime=3.09 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 7831 0 0 0 294 15 0 0 23 0 1 0 24275632 34095104 7389 1992294400 4194304 8395647 140736909719120 18446744073709551615 7185590 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 8324 7389 628 1026 0 7294 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33296 [startup+6.30096 s] /proc/loadavg: 1.01 1.00 1.00 2/107 1114 /proc/meminfo: memFree=1626348/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=33296 CPUtime=6.29 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 7848 0 0 0 603 26 0 0 25 0 1 0 24275632 34095104 7406 1992294400 4194304 8395647 140736909719120 18446744073709551615 5026706 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 8324 7406 628 1026 0 7294 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33296 [startup+12.7008 s] /proc/loadavg: 1.01 1.00 1.00 2/107 1114 /proc/meminfo: memFree=1624860/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=34696 CPUtime=12.69 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 8238 0 0 0 1221 48 0 0 25 0 1 0 24275632 35528704 7796 1992294400 4194304 8395647 140736909719120 18446744073709551615 5024903 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 8674 7796 628 1026 0 7644 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34696 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1114 /proc/meminfo: memFree=1618288/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=40400 CPUtime=25.49 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 14086 0 0 0 2456 93 0 0 25 0 1 0 24275632 41369600 9293 1992294400 4194304 8395647 140736909719120 18446744073709551615 5026824 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 10100 9293 628 1026 0 9070 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 40400 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1114 /proc/meminfo: memFree=1600928/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=60152 CPUtime=51.08 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 26542 0 0 0 4915 193 0 0 25 0 1 0 24275632 61595648 13969 1992294400 4194304 8395647 140736909719120 18446744073709551615 7185500 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 15038 13969 629 1026 0 14008 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 60152 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1116 /proc/meminfo: memFree=1567448/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=92148 CPUtime=102.27 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 39897 0 0 0 9830 397 0 0 25 0 1 0 24275632 94359552 22145 1992294400 4194304 8395647 140736909719120 18446744073709551615 6119562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 23037 22145 629 1026 0 22007 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 92148 [startup+162.301 s] /proc/loadavg: 1.04 1.01 1.00 2/107 1121 /proc/meminfo: memFree=1534960/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=125184 CPUtime=162.25 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 54292 0 0 0 15594 631 0 0 25 0 1 0 24275632 128188416 30584 1992294400 4194304 8395647 140736909719120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 31296 30584 629 1026 0 30266 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 125184 [startup+222.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 1121 /proc/meminfo: memFree=1502348/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=158060 CPUtime=222.23 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 68676 0 0 0 21345 878 0 0 25 0 1 0 24275632 161853440 38397 1992294400 4194304 8395647 140736909719120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 39515 38397 629 1026 0 38485 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 158060 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 3/107 1123 /proc/meminfo: memFree=1474572/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=185900 CPUtime=282.21 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 78994 0 0 0 27102 1119 0 0 25 0 1 0 24275632 190361600 45466 1992294400 4194304 8395647 140736909719120 18446744073709551615 6119459 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 46475 45466 629 1026 0 45445 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 185900 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1125 /proc/meminfo: memFree=1441340/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=218076 CPUtime=342.2 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 88004 0 0 0 32877 1343 0 0 25 0 1 0 24275632 223309824 53616 1992294400 4194304 8395647 140736909719120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 54519 53616 629 1026 0 53489 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 218076 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1127 /proc/meminfo: memFree=1414928/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=243900 CPUtime=402.18 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 100806 0 0 0 38626 1592 0 0 25 0 1 0 24275632 249753600 60169 1992294400 4194304 8395647 140736909719120 18446744073709551615 6621889 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 60975 60169 629 1026 0 59945 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 243900 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1129 /proc/meminfo: memFree=1387524/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=269952 CPUtime=462.16 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 112595 0 0 0 44394 1822 0 0 25 0 1 0 24275632 276430848 66802 1992294400 4194304 8395647 140736909719120 18446744073709551615 4500992 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 67488 66802 629 1026 0 66458 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 269952 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1129 /proc/meminfo: memFree=1367312/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=298560 CPUtime=522.14 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 124838 0 0 0 50134 2080 0 0 25 0 1 0 24275632 305725440 72003 1992294400 4194304 8395647 140736909719120 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 74640 72003 629 1026 0 73610 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 298560 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1131 /proc/meminfo: memFree=1348464/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=316112 CPUtime=582.13 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 132392 0 0 0 55893 2320 0 0 25 0 1 0 24275632 323698688 76523 1992294400 4194304 8395647 140736909719120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 79028 76523 629 1026 0 77998 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 316112 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1133 /proc/meminfo: memFree=1324036/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=339504 CPUtime=642.11 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 142397 0 0 0 61649 2562 0 0 25 0 1 0 24275632 347652096 82572 1992294400 4194304 8395647 140736909719120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 84876 82572 629 1026 0 83846 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 339504 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1189992/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=469792 CPUtime=1121.96 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 194710 0 0 0 107790 4406 0 0 25 0 1 0 24275632 481067008 116014 1992294400 4194304 8395647 140736909719120 18446744073709551615 6262419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 117448 116014 629 1026 0 116418 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 469792 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1158 /proc/meminfo: memFree=1169532/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=489104 CPUtime=1181.95 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 200566 0 0 0 113560 4635 0 0 25 0 1 0 24275632 500842496 121008 1992294400 4194304 8395647 140736909719120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 122276 121008 629 1026 0 121246 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 489104 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1160 /proc/meminfo: memFree=1147088/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=511064 CPUtime=1241.93 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 207010 0 0 0 119335 4858 0 0 25 0 1 0 24275632 523329536 126592 1992294400 4194304 8395647 140736909719120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 127766 126592 629 1026 0 126736 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 511064 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1162 /proc/meminfo: memFree=1127372/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=530020 CPUtime=1301.92 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 211867 0 0 0 125114 5078 0 0 25 0 1 0 24275632 542740480 131449 1992294400 4194304 8395647 140736909719120 18446744073709551615 6349190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 132505 131449 629 1026 0 131475 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 530020 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1164 /proc/meminfo: memFree=1110756/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=546132 CPUtime=1361.89 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 216008 0 0 0 130883 5306 0 0 25 0 1 0 24275632 559239168 135590 1992294400 4194304 8395647 140736909719120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 136533 135590 629 1026 0 135503 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 546132 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1164 /proc/meminfo: memFree=1088808/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=567368 CPUtime=1421.89 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 221465 0 0 0 136658 5531 0 0 25 0 1 0 24275632 580984832 141047 1992294400 4194304 8395647 140736909719120 18446744073709551615 5024801 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 141842 141047 629 1026 0 140812 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 567368 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1166 /proc/meminfo: memFree=1065248/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=606712 CPUtime=1481.86 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 227308 0 0 0 142441 5745 0 0 25 0 1 0 24275632 621273088 146890 1992294400 4194304 8395647 140736909719120 18446744073709551615 5026843 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 151678 146890 629 1026 0 150648 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 606712 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1168 /proc/meminfo: memFree=1048508/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=622780 CPUtime=1541.85 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 231443 0 0 0 148222 5963 0 0 25 0 1 0 24275632 637726720 151025 1992294400 4194304 8395647 140736909719120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 155695 151025 629 1026 0 154665 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 622780 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1170 /proc/meminfo: memFree=1028668/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=642464 CPUtime=1601.83 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 236493 0 0 0 153993 6190 0 0 25 0 1 0 24275632 657883136 156075 1992294400 4194304 8395647 140736909719120 18446744073709551615 6262410 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 160616 156075 629 1026 0 159586 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 642464 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1172 /proc/meminfo: memFree=1006596/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=663464 CPUtime=1661.82 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 241869 0 0 0 159775 6407 0 0 25 0 1 0 24275632 679387136 161451 1992294400 4194304 8395647 140736909719120 18446744073709551615 6119704 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 165866 161451 629 1026 0 164836 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 663464 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1172 /proc/meminfo: memFree=987996/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=682628 CPUtime=1721.8 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 246773 0 0 0 165561 6619 0 0 25 0 1 0 24275632 699011072 166355 1992294400 4194304 8395647 140736909719120 18446744073709551615 4694318 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 170657 166355 629 1026 0 169627 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 682628 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1174 /proc/meminfo: memFree=967908/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=700988 CPUtime=1781.77 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 251495 0 0 0 171340 6837 0 0 25 0 1 0 24275632 717811712 171077 1992294400 4194304 8395647 140736909719120 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 175247 171077 629 1026 0 174217 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 700988 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1174 /proc/meminfo: memFree=966916/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=701948 CPUtime=1784.98 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 251707 0 0 0 171649 6849 0 0 25 0 1 0 24275632 718794752 171289 1992294400 4194304 8395647 140736909719120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 175487 171289 629 1026 0 174457 0 Current children cumulated CPU time (s) 1784.98 Current children cumulated vsize (KiB) 701948 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1174 /proc/meminfo: memFree=966792/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=701948 CPUtime=1788.18 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 251714 0 0 0 171958 6860 0 0 25 0 1 0 24275632 718794752 171296 1992294400 4194304 8395647 140736909719120 18446744073709551615 5005934 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1111/statm: 175487 171296 629 1026 0 174457 0 Current children cumulated CPU time (s) 1788.18 Current children cumulated vsize (KiB) 701948 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1174 /proc/meminfo: memFree=965800/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=702972 CPUtime=1791.38 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 251973 0 0 0 172273 6865 0 0 25 0 1 0 24275632 719843328 171555 1992294400 4194304 8395647 140736909719120 18446744073709551615 6345826 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1111/statm: 175743 171555 631 1026 0 174713 0 Current children cumulated CPU time (s) 1791.38 Current children cumulated vsize (KiB) 702972 [startup+1792.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1174 /proc/meminfo: memFree=965800/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=702972 CPUtime=1792.18 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 251973 0 0 0 172353 6865 0 0 25 0 1 0 24275632 719843328 171555 1992294400 4194304 8395647 140736909719120 18446744073709551615 6345219 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1111/statm: 175743 171555 631 1026 0 174713 0 Current children cumulated CPU time (s) 1792.18 Current children cumulated vsize (KiB) 702972 [startup+1793.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1174 /proc/meminfo: memFree=965800/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=702972 CPUtime=1792.98 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 251973 0 0 0 172433 6865 0 0 25 0 1 0 24275632 719843328 171555 1992294400 4194304 8395647 140736909719120 18446744073709551615 6345233 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1111/statm: 175743 171555 631 1026 0 174713 0 Current children cumulated CPU time (s) 1792.98 Current children cumulated vsize (KiB) 702972 [startup+1793.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1174 /proc/meminfo: memFree=965800/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=702972 CPUtime=1793.18 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 251973 0 0 0 172453 6865 0 0 25 0 1 0 24275632 719843328 171555 1992294400 4194304 8395647 140736909719120 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1111/statm: 175743 171555 631 1026 0 174713 0 Current children cumulated CPU time (s) 1793.18 Current children cumulated vsize (KiB) 702972 [startup+1793.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1174 /proc/meminfo: memFree=965800/2059040 swapFree=4086148/4192956 [pid=1111] ppid=1109 vsize=659388 CPUtime=1793.27 /proc/1111/stat : 1111 (pbscip.linux.x8) R 1109 1111 1086 0 -1 4202496 251973 0 0 0 172457 6870 0 0 25 0 1 0 24275632 675213312 33996 1992294400 4194304 8395647 140736909719120 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1111/statm: 164847 33996 631 1026 0 163817 0 Current children cumulated CPU time (s) 1793.27 Current children cumulated vsize (KiB) 659388 Child status: 0 Real time (s): 1793.81 CPU time (s): 1793.3 CPU user time (s): 1724.58 CPU system time (s): 68.7216 CPU usage (%): 99.9713 Max. virtual memory (cumulated for all children) (KiB): 702972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1724.58 system time used= 68.7216 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 251976 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= 3002 runsolver used 2.83657 second user time and 8.60569 second system time The end
Begin job on node013 at 2010-07-08 05:43:47 IDJOB=2703882 IDBENCH=2523 IDSOLVER=1213 FILE ID=node013/2703882-1278560627 PBS_JOBID= 11239534 Free space on /tmp= 62552 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare2.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703882-1278560627/watcher-2703882-1278560627 -o /tmp/evaluation-result-2703882-1278560627/solver-2703882-1278560627 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703882-1278560627.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ed3cba978a5e277395c10305f700e2f4 RANDOM SEED=1800000255 node013.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1654784 kB Buffers: 40764 kB Cached: 220836 kB SwapCached: 60464 kB Active: 123208 kB Inactive: 202288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1654784 kB SwapTotal: 4192956 kB SwapFree: 4086148 kB Dirty: 10612 kB Writeback: 0 kB AnonPages: 11392 kB Mapped: 8332 kB Slab: 56804 kB PageTables: 4232 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181580 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62540 MiB End job on node013 at 2010-07-08 06:13:41