Trace number 2665358

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverOPT23 1555.74 1556.19

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_020_area_delay.opb
MD5SUMb63b2d912c01ff826a63051b401330db
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark2.99154
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23
Optimality of the best value was proved YES
Number of variables4427
Total number of constraints12661
Number of constraints which are clauses12661
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 2136
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2136
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2136
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
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-2665358-1276632595.opb>
0.19/0.22	c original problem has 4427 variables (4427 bin, 0 int, 0 impl, 0 cont) and 12661 constraints
0.19/0.22	c problem read
0.19/0.22	c presolving settings loaded
0.19/0.30	c presolving:
0.39/0.41	c (round 1) 2291 del vars, 4404 del conss, 167 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23146 impls, 0 clqs
0.39/0.42	c (round 2) 2291 del vars, 5481 del conss, 167 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23146 impls, 0 clqs
0.49/0.51	c (round 3) 2291 del vars, 5481 del conss, 167 chg bounds, 0 chg sides, 0 chg coeffs, 7114 upgd conss, 23146 impls, 0 clqs
0.49/0.54	c (round 4) 2291 del vars, 5481 del conss, 167 chg bounds, 0 chg sides, 0 chg coeffs, 7180 upgd conss, 23146 impls, 0 clqs
0.59/0.62	c    (0.3s) probing: 101/2136 (4.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.62	c    (0.3s) probing aborted: 100/100 successive totally useless probings
0.59/0.62	c presolving (5 rounds):
0.59/0.62	c  2291 deleted vars, 5481 deleted constraints, 167 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.62	c  23146 implications, 0 cliques
0.59/0.62	c presolved problem has 2136 variables (2136 bin, 0 int, 0 impl, 0 cont) and 7180 constraints
0.59/0.62	c    7180 constraints of type <logicor>
0.59/0.62	c transformed objective value is always integral (scale: 1)
0.59/0.62	c Presolving Time: 0.31
0.59/0.62	c - non default parameters ----------------------------------------------------------------------
0.59/0.62	c # SCIP version 1.2.1.2
0.59/0.62	c 
0.59/0.62	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.59/0.62	c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.62	c conflict/interconss = 0
0.59/0.62	c 
0.59/0.62	c # should binary conflicts be preferred?
0.59/0.62	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62	c conflict/preferbinary = TRUE
0.59/0.62	c 
0.59/0.62	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.59/0.62	c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.62	c constraints/agelimit = 1
0.59/0.62	c 
0.59/0.62	c # should enforcement of pseudo solution be disabled?
0.59/0.62	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62	c constraints/disableenfops = TRUE
0.59/0.62	c 
0.59/0.62	c # frequency for displaying node information lines
0.59/0.62	c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.62	c display/freq = 10000
0.59/0.62	c 
0.59/0.62	c # maximal time in seconds to run
0.59/0.62	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.62	c limits/time = 1799.79
0.59/0.62	c 
0.59/0.62	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.62	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.62	c limits/memory = 1620
0.59/0.62	c 
0.59/0.62	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.62	c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.62	c lp/solvefreq = 0
0.59/0.62	c 
0.59/0.62	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.59/0.62	c # [type: char, range: {lafpsqd}, default: l]
0.59/0.62	c lp/pricing = a
0.59/0.62	c 
0.59/0.62	c # should presolving try to simplify inequalities
0.59/0.62	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62	c constraints/linear/simplifyinequalities = TRUE
0.59/0.62	c 
0.59/0.62	c # should presolving try to simplify knapsacks
0.59/0.62	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62	c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.62	c 
0.59/0.62	c # priority of node selection rule <dfs> in standard mode
0.59/0.62	c # [type: int, range: [-536870912,536870911], default: 0]
0.59/0.62	c nodeselection/dfs/stdpriority = 1000000
0.59/0.62	c 
0.59/0.62	c -----------------------------------------------------------------------------------------------
0.59/0.62	c start solving
0.59/0.62	c 
0.69/0.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.69/0.76	c   0.5s|     1 |     0 |   448 |     - |  19M|   0 |  73 |2136 |7180 |2136 |7180 |   0 |   0 |   0 | 2.183333e+01 |      --      |    Inf 
0.69/0.76	o 32
0.69/0.76	c R 0.5s|     1 |     0 |   448 |     - |  20M|   0 |  73 |2136 |7180 |2136 |7180 |   0 |   0 |   0 | 2.183333e+01 | 3.200000e+01 |  46.56%
1.49/1.51	c   1.2s|     1 |     0 |   532 |     - |  20M|   0 | 112 |2136 |7180 |2136 |7184 |   4 |   0 |   0 | 2.203783e+01 | 3.200000e+01 |  45.20%
1.49/1.51	o 31
1.49/1.51	c b 1.2s|     1 |     0 |   532 |     - |  20M|   0 | 112 |2136 |7180 |2136 |7184 |   4 |   0 |   0 | 2.203783e+01 | 3.100000e+01 |  40.67%
2.29/2.33	c   2.0s|     1 |     0 |   647 |     - |  21M|   0 | 136 |2136 |7180 |2136 |7187 |   7 |   0 |   0 | 2.217433e+01 | 3.100000e+01 |  39.80%
3.30/3.33	c   3.0s|     1 |     0 |   793 |     - |  22M|   0 | 124 |2136 |7180 |2136 |7191 |  11 |   0 |   0 | 2.300000e+01 | 3.100000e+01 |  34.78%
4.59/4.63	c   4.3s|     1 |     0 |  1022 |     - |  23M|   0 | 199 |2136 |7180 |2136 |7194 |  14 |   0 |   0 | 2.300000e+01 | 3.100000e+01 |  34.78%
6.39/6.45	c   6.1s|     1 |     0 |  1092 |     - |  23M|   0 | 207 |2136 |7180 |2136 |7200 |  20 |   0 |   0 | 2.300000e+01 | 3.100000e+01 |  34.78%
7.70/7.77	c   7.4s|     1 |     0 |  1387 |     - |  24M|   0 | 189 |2136 |7180 |2136 |7204 |  24 |   0 |   0 | 2.300000e+01 | 3.100000e+01 |  34.78%
9.80/9.84	c   9.4s|     1 |     0 |  1705 |     - |  25M|   0 | 174 |2136 |7180 |2136 |7208 |  28 |   0 |   0 | 2.300000e+01 | 3.100000e+01 |  34.78%
11.89/11.92	c  11.5s|     1 |     0 |  1988 |     - |  25M|   0 | 214 |2136 |7180 |2136 |7213 |  33 |   0 |   0 | 2.300000e+01 | 3.100000e+01 |  34.78%
12.89/12.90	o 24
12.89/12.90	c E12.4s|     1 |     0 |  1988 |     - |  25M|   0 | 214 |2136 |7180 |2136 |7213 |  33 |   0 |   0 | 2.300000e+01 | 2.400000e+01 |   4.35%
12.89/12.91	c  12.4s|     1 |     0 |  1988 |     - |  25M|   0 | 214 |2136 |7180 |2136 |7213 |  33 |   0 |   0 | 2.300000e+01 | 2.400000e+01 |   4.35%
15.29/15.34	c  14.8s|     1 |     0 |  2363 |     - |  24M|   0 | 166 |2136 |5839 |2136 |2194 |  38 |   0 |   0 | 2.300000e+01 | 2.400000e+01 |   4.35%
23.59/23.65	c  23.0s|     1 |     0 |  2363 |     - |  24M|   0 |   - |2136 |5839 |2136 |2194 |  38 |   0 |  30 | 2.300000e+01 | 2.400000e+01 |   4.35%
23.59/23.65	c (run 1, node 1) restarting after 1302 global fixings of integer variables
23.59/23.65	c 
23.59/23.65	c (restart) converted 38 cuts from the global cut pool into linear constraints
23.59/23.65	c 
23.59/23.67	c presolving:
23.59/23.69	c (round 1) 1302 del vars, 3717 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 38 upgd conss, 23146 impls, 29 clqs
23.78/23.88	c (round 2) 1302 del vars, 3717 del conss, 0 chg bounds, 1 chg sides, 14 chg coeffs, 38 upgd conss, 23146 impls, 29 clqs
23.98/24.00	c (round 3) 1302 del vars, 3717 del conss, 0 chg bounds, 1 chg sides, 22 chg coeffs, 38 upgd conss, 23146 impls, 29 clqs
23.98/24.10	c (round 4) 1302 del vars, 3717 del conss, 0 chg bounds, 1 chg sides, 24 chg coeffs, 38 upgd conss, 23146 impls, 29 clqs
24.10/24.14	c presolving (5 rounds):
24.10/24.14	c  1302 deleted vars, 3717 deleted constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 24 changed coefficients
24.10/24.14	c  23146 implications, 29 cliques
24.10/24.14	c presolved problem has 834 variables (834 bin, 0 int, 0 impl, 0 cont) and 2161 constraints
24.10/24.14	c       9 constraints of type <knapsack>
24.10/24.14	c      30 constraints of type <setppc>
24.10/24.14	c    2122 constraints of type <logicor>
24.10/24.14	c transformed objective value is always integral (scale: 1)
24.10/24.14	c Presolving Time: 0.76
24.10/24.14	c 
24.28/24.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
24.28/24.35	c  23.7s|     1 |     0 |  2986 |     - |  17M|   0 | 197 | 834 |2161 | 834 |2161 |   0 |   0 |  30 | 2.300000e+01 | 2.400000e+01 |   4.35%
25.69/25.72	c  25.1s|     1 |     0 |  3217 |     - |  17M|   0 | 248 | 834 |2161 | 834 |2165 |   4 |   0 |  30 | 2.300000e+01 | 2.400000e+01 |   4.35%
27.89/27.93	c  27.2s|     1 |     0 |  3358 |     - |  17M|   0 | 234 | 834 |2161 | 834 |2165 |   4 |   0 |  41 | 2.300000e+01 | 2.400000e+01 |   4.35%
29.59/29.66	c  29.0s|     1 |     0 |  3607 |     - |  17M|   0 | 173 | 834 |2161 | 834 |2165 |   4 |   0 |  50 | 2.300000e+01 | 2.400000e+01 |   4.35%
31.18/31.25	c  30.6s|     1 |     0 |  3818 |     - |  17M|   0 | 152 | 834 |2161 | 834 |2165 |   4 |   0 |  58 | 2.300000e+01 | 2.400000e+01 |   4.35%
32.08/32.10	c  31.4s|     1 |     0 |  3969 |     - |  17M|   0 | 164 | 834 |2161 | 834 |2165 |   4 |   0 |  64 | 2.300000e+01 | 2.400000e+01 |   4.35%
32.58/32.66	c  31.9s|     1 |     0 |  4063 |     - |  17M|   0 | 183 | 834 |2161 | 834 |2165 |   4 |   0 |  69 | 2.300000e+01 | 2.400000e+01 |   4.35%
33.48/33.58	c  32.9s|     1 |     0 |  4156 |     - |  17M|   0 | 143 | 834 |2161 | 834 |2165 |   4 |   0 |  75 | 2.300000e+01 | 2.400000e+01 |   4.35%
35.19/35.25	c  34.5s|     1 |     0 |  4214 |     - |  17M|   0 | 137 | 834 |2160 | 834 |2165 |   4 |   0 |  87 | 2.300000e+01 | 2.400000e+01 |   4.35%
35.78/35.83	c  35.1s|     1 |     0 |  4280 |     - |  17M|   0 | 180 | 834 |2160 | 834 |2165 |   4 |   0 |  92 | 2.300000e+01 | 2.400000e+01 |   4.35%
36.38/36.44	c  35.7s|     1 |     0 |  4364 |     - |  17M|   0 | 183 | 834 |2160 | 834 |2165 |   4 |   0 |  97 | 2.300000e+01 | 2.400000e+01 |   4.35%
36.88/36.99	c  36.2s|     1 |     0 |  4370 |     - |  17M|   0 | 175 | 834 |2160 | 834 |2165 |   4 |   0 | 102 | 2.300000e+01 | 2.400000e+01 |   4.35%
37.78/37.82	c  37.0s|     1 |     0 |  4403 |     - |  17M|   0 | 126 | 834 |2160 | 834 |2165 |   4 |   0 | 110 | 2.300000e+01 | 2.400000e+01 |   4.35%
38.39/38.42	c  37.6s|     1 |     0 |  4546 |     - |  17M|   0 |  96 | 834 |2160 | 834 |2140 |   4 |   0 | 115 | 2.300000e+01 | 2.400000e+01 |   4.35%
38.68/38.79	c  38.0s|     1 |     0 |  4598 |     - |  17M|   0 | 149 | 834 |2160 | 834 |2140 |   4 |   0 | 124 | 2.300000e+01 | 2.400000e+01 |   4.35%
38.88/38.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
38.88/38.98	c  38.2s|     1 |     0 |  4605 |     - |  17M|   0 | 134 | 834 |2160 | 834 |2140 |   4 |   0 | 129 | 2.300000e+01 | 2.400000e+01 |   4.35%
39.18/39.21	c  38.4s|     1 |     0 |  4615 |     - |  17M|   0 | 154 | 834 |2160 | 834 |2140 |   4 |   0 | 135 | 2.300000e+01 | 2.400000e+01 |   4.35%
39.28/39.38	c  38.6s|     1 |     0 |  4618 |     - |  17M|   0 | 138 | 834 |2159 | 834 |2140 |   4 |   0 | 140 | 2.300000e+01 | 2.400000e+01 |   4.35%
39.48/39.59	c  38.8s|     1 |     0 |  4664 |     - |  17M|   0 | 100 | 834 |2159 | 834 |2140 |   4 |   0 | 145 | 2.300000e+01 | 2.400000e+01 |   4.35%
39.78/39.83	c  39.0s|     1 |     0 |  4681 |     - |  17M|   0 |  75 | 834 |2159 | 834 |2140 |   4 |   0 | 154 | 2.300000e+01 | 2.400000e+01 |   4.35%
39.98/40.04	c  39.2s|     1 |     0 |  4724 |     - |  17M|   0 | 107 | 834 |2159 | 834 |2140 |   4 |   0 | 165 | 2.300000e+01 | 2.400000e+01 |   4.35%
40.08/40.18	c  39.4s|     1 |     0 |  4759 |     - |  17M|   0 | 102 | 834 |2159 | 834 |2140 |   4 |   0 | 170 | 2.300000e+01 | 2.400000e+01 |   4.35%
40.28/40.32	c  39.5s|     1 |     0 |  4772 |     - |  17M|   0 |  91 | 834 |2119 | 834 |2140 |   4 |   0 | 176 | 2.300000e+01 | 2.400000e+01 |   4.35%
40.38/40.44	c  39.6s|     1 |     0 |  4786 |     - |  17M|   0 |  69 | 834 |2119 | 834 |2140 |   4 |   0 | 181 | 2.300000e+01 | 2.400000e+01 |   4.35%
40.48/40.55	c  39.7s|     1 |     0 |  4797 |     - |  17M|   0 |  84 | 834 |2119 | 834 |2140 |   4 |   0 | 186 | 2.300000e+01 | 2.400000e+01 |   4.35%
40.59/40.68	c  39.9s|     1 |     0 |  4806 |     - |  17M|   0 |  80 | 834 |2119 | 834 |2138 |   4 |   0 | 191 | 2.300000e+01 | 2.400000e+01 |   4.35%
40.78/40.80	c  40.0s|     1 |     0 |  4817 |     - |  17M|   0 |  75 | 834 |2119 | 834 |2138 |   4 |   0 | 196 | 2.300000e+01 | 2.400000e+01 |   4.35%
40.88/40.90	c  40.1s|     1 |     0 |  4822 |     - |  17M|   0 |  74 | 834 |2090 | 834 |2138 |   4 |   0 | 201 | 2.300000e+01 | 2.400000e+01 |   4.35%
40.98/41.03	c  40.2s|     1 |     0 |  4822 |     - |  17M|   0 |   - | 834 |2090 | 834 |2138 |   4 |   0 | 206 | 2.300000e+01 | 2.400000e+01 |   4.35%
40.98/41.03	c (run 2, node 1) restarting after 179 global fixings of integer variables
40.98/41.03	c 
40.98/41.03	c (restart) converted 3 cuts from the global cut pool into linear constraints
40.98/41.03	c 
40.98/41.04	c presolving:
41.08/41.17	c (round 1) 183 del vars, 622 del conss, 2 chg bounds, 1 chg sides, 15 chg coeffs, 3 upgd conss, 23230 impls, 20 clqs
41.18/41.28	c (round 2) 185 del vars, 627 del conss, 2 chg bounds, 1 chg sides, 30 chg coeffs, 3 upgd conss, 23230 impls, 19 clqs
41.28/41.39	c (round 3) 185 del vars, 628 del conss, 2 chg bounds, 1 chg sides, 40 chg coeffs, 3 upgd conss, 23230 impls, 19 clqs
41.38/41.47	c (round 4) 185 del vars, 628 del conss, 2 chg bounds, 1 chg sides, 47 chg coeffs, 3 upgd conss, 23230 impls, 19 clqs
41.48/41.56	c (round 5) 185 del vars, 628 del conss, 2 chg bounds, 1 chg sides, 54 chg coeffs, 3 upgd conss, 23230 impls, 19 clqs
41.58/41.61	c (round 6) 185 del vars, 628 del conss, 2 chg bounds, 1 chg sides, 58 chg coeffs, 3 upgd conss, 23230 impls, 19 clqs
41.58/41.66	c (round 7) 185 del vars, 628 del conss, 2 chg bounds, 1 chg sides, 62 chg coeffs, 3 upgd conss, 23230 impls, 19 clqs
41.69/41.70	c (round 8) 185 del vars, 628 del conss, 2 chg bounds, 1 chg sides, 66 chg coeffs, 3 upgd conss, 23230 impls, 19 clqs
41.69/41.73	c (round 9) 185 del vars, 628 del conss, 2 chg bounds, 1 chg sides, 67 chg coeffs, 3 upgd conss, 23230 impls, 19 clqs
41.69/41.75	c presolving (10 rounds):
41.69/41.75	c  185 deleted vars, 628 deleted constraints, 2 tightened bounds, 0 added holes, 1 changed sides, 67 changed coefficients
41.69/41.75	c  23230 implications, 19 cliques
41.69/41.75	c presolved problem has 649 variables (649 bin, 0 int, 0 impl, 0 cont) and 1466 constraints
41.69/41.75	c       9 constraints of type <knapsack>
41.69/41.75	c      27 constraints of type <setppc>
41.69/41.75	c    1430 constraints of type <logicor>
41.69/41.75	c transformed objective value is always integral (scale: 1)
41.69/41.75	c Presolving Time: 1.45
41.69/41.75	c 
41.79/41.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
41.79/41.83	c  41.0s|     1 |     0 |  5174 |     - |  16M|   0 |  50 | 649 |1466 | 649 |1458 |   0 |   0 | 206 | 2.300000e+01 | 2.400000e+01 |   4.35%
42.18/42.25	c  41.4s|     1 |     0 |  5306 |     - |  16M|   0 |  45 | 649 |1466 | 649 |1460 |   2 |   0 | 206 | 2.300000e+01 | 2.400000e+01 |   4.35%
42.48/42.55	c  41.7s|     1 |     0 |  5376 |     - |  16M|   0 |  99 | 649 |1466 | 649 |1460 |   2 |   0 | 216 | 2.300000e+01 | 2.400000e+01 |   4.35%
42.68/42.72	c  41.9s|     1 |     0 |  5426 |     - |  16M|   0 |  66 | 649 |1466 | 649 |1460 |   2 |   0 | 221 | 2.300000e+01 | 2.400000e+01 |   4.35%
42.79/42.83	c  42.0s|     1 |     0 |  5441 |     - |  16M|   0 |  49 | 649 |1466 | 649 |1460 |   2 |   0 | 226 | 2.300000e+01 | 2.400000e+01 |   4.35%
42.89/42.95	c  42.1s|     1 |     0 |  5487 |     - |  16M|   0 | 119 | 649 |1466 | 649 |1460 |   2 |   0 | 231 | 2.300000e+01 | 2.400000e+01 |   4.35%
43.08/43.11	c  42.2s|     1 |     0 |  5494 |     - |  16M|   0 | 110 | 649 |1466 | 649 |1460 |   2 |   0 | 237 | 2.300000e+01 | 2.400000e+01 |   4.35%
43.28/43.31	c  42.5s|     1 |     0 |  5515 |     - |  16M|   0 |  85 | 649 |1466 | 649 |1460 |   2 |   0 | 244 | 2.300000e+01 | 2.400000e+01 |   4.35%
43.38/43.48	c  42.6s|     1 |     0 |  5537 |     - |  16M|   0 |  63 | 649 |1466 | 649 |1460 |   2 |   0 | 251 | 2.300000e+01 | 2.400000e+01 |   4.35%
43.68/43.72	c  42.8s|     1 |     0 |  5573 |     - |  16M|   0 |  59 | 649 |1466 | 649 |1460 |   2 |   0 | 263 | 2.300000e+01 | 2.400000e+01 |   4.35%
43.78/43.84	c  43.0s|     1 |     0 |  5583 |     - |  16M|   0 |  74 | 649 |1466 | 649 |1460 |   2 |   0 | 268 | 2.300000e+01 | 2.400000e+01 |   4.35%
43.88/43.97	c  43.1s|     1 |     0 |  5623 |     - |  16M|   0 |  66 | 649 |1466 | 649 |1460 |   2 |   0 | 273 | 2.300000e+01 | 2.400000e+01 |   4.35%
44.18/44.21	c  43.3s|     1 |     0 |  5697 |     - |  16M|   0 |  70 | 649 |1466 | 649 |1460 |   2 |   0 | 281 | 2.300000e+01 | 2.400000e+01 |   4.35%
44.38/44.43	c  43.5s|     1 |     0 |  5723 |     - |  16M|   0 |  87 | 649 |1466 | 649 |1460 |   2 |   0 | 291 | 2.300000e+01 | 2.400000e+01 |   4.35%
44.48/44.58	c  43.7s|     1 |     0 |  5728 |     - |  16M|   0 |  75 | 649 |1465 | 649 |1460 |   2 |   0 | 297 | 2.300000e+01 | 2.400000e+01 |   4.35%
44.68/44.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
44.68/44.72	c  43.8s|     1 |     0 |  5755 |     - |  16M|   0 |  45 | 649 |1457 | 649 |1432 |   2 |   0 | 302 | 2.300000e+01 | 2.400000e+01 |   4.35%
44.78/44.90	c  44.0s|     1 |     0 |  5789 |     - |  16M|   0 |  80 | 649 |1449 | 649 |1432 |   2 |   0 | 325 | 2.300000e+01 | 2.400000e+01 |   4.35%
44.88/44.98	c  44.1s|     1 |     0 |  5795 |     - |  16M|   0 |  69 | 649 |1449 | 649 |1432 |   2 |   0 | 330 | 2.300000e+01 | 2.400000e+01 |   4.35%
44.99/45.05	c  44.1s|     1 |     0 |  5802 |     - |  16M|   0 |  64 | 649 |1449 | 649 |1432 |   2 |   0 | 335 | 2.300000e+01 | 2.400000e+01 |   4.35%
45.09/45.12	c  44.2s|     1 |     0 |  5806 |     - |  16M|   0 |  51 | 649 |1440 | 649 |1432 |   2 |   0 | 340 | 2.300000e+01 | 2.400000e+01 |   4.35%
45.09/45.19	c  44.3s|     1 |     0 |  5815 |     - |  16M|   0 |  62 | 649 |1407 | 649 |1432 |   2 |   0 | 345 | 2.300000e+01 | 2.400000e+01 |   4.35%
45.18/45.25	c  44.4s|     1 |     0 |  5819 |     - |  16M|   0 |  54 | 649 |1407 | 649 |1432 |   2 |   0 | 350 | 2.300000e+01 | 2.400000e+01 |   4.35%
45.28/45.31	c  44.4s|     1 |     0 |  5826 |     - |  16M|   0 |  68 | 649 |1369 | 649 |1432 |   2 |   0 | 355 | 2.300000e+01 | 2.400000e+01 |   4.35%
45.28/45.36	c  44.5s|     1 |     0 |  5826 |     - |  16M|   0 |   - | 649 |1369 | 649 |1432 |   2 |   0 | 360 | 2.300000e+01 | 2.400000e+01 |   4.35%
45.28/45.36	c (run 3, node 1) restarting after 158 global fixings of integer variables
45.28/45.36	c 
45.28/45.36	c (restart) converted 1 cuts from the global cut pool into linear constraints
45.28/45.36	c 
45.28/45.37	c presolving:
45.38/45.44	c (round 1) 160 del vars, 347 del conss, 0 chg bounds, 0 chg sides, 6 chg coeffs, 1 upgd conss, 23262 impls, 15 clqs
46.47/46.54	c (round 2) 171 del vars, 394 del conss, 0 chg bounds, 310 chg sides, 440 chg coeffs, 1 upgd conss, 23262 impls, 16 clqs
46.58/46.60	c (round 3) 171 del vars, 395 del conss, 0 chg bounds, 310 chg sides, 459 chg coeffs, 1 upgd conss, 23262 impls, 16 clqs
46.58/46.66	c (round 4) 171 del vars, 395 del conss, 0 chg bounds, 310 chg sides, 478 chg coeffs, 1 upgd conss, 23262 impls, 16 clqs
46.68/46.70	c (round 5) 171 del vars, 395 del conss, 0 chg bounds, 310 chg sides, 492 chg coeffs, 1 upgd conss, 23262 impls, 16 clqs
46.68/46.73	c (round 6) 171 del vars, 395 del conss, 0 chg bounds, 310 chg sides, 505 chg coeffs, 1 upgd conss, 23262 impls, 16 clqs
46.68/46.77	c (round 7) 171 del vars, 395 del conss, 0 chg bounds, 310 chg sides, 520 chg coeffs, 1 upgd conss, 23262 impls, 16 clqs
46.77/46.80	c (round 8) 171 del vars, 395 del conss, 0 chg bounds, 310 chg sides, 529 chg coeffs, 1 upgd conss, 23262 impls, 16 clqs
46.77/46.83	c (round 9) 171 del vars, 395 del conss, 0 chg bounds, 310 chg sides, 536 chg coeffs, 1 upgd conss, 23262 impls, 16 clqs
46.77/46.87	c (round 10) 171 del vars, 395 del conss, 0 chg bounds, 310 chg sides, 541 chg coeffs, 1 upgd conss, 23262 impls, 16 clqs
46.77/46.89	c (round 11) 171 del vars, 395 del conss, 0 chg bounds, 310 chg sides, 547 chg coeffs, 1 upgd conss, 23262 impls, 16 clqs
46.88/46.92	c (round 12) 171 del vars, 395 del conss, 0 chg bounds, 310 chg sides, 551 chg coeffs, 1 upgd conss, 23262 impls, 16 clqs
46.88/46.94	c (round 13) 171 del vars, 395 del conss, 0 chg bounds, 310 chg sides, 555 chg coeffs, 1 upgd conss, 23262 impls, 16 clqs
46.88/46.97	c (round 14) 171 del vars, 395 del conss, 0 chg bounds, 310 chg sides, 560 chg coeffs, 1 upgd conss, 23262 impls, 16 clqs
46.88/47.00	c (round 15) 171 del vars, 395 del conss, 0 chg bounds, 310 chg sides, 562 chg coeffs, 1 upgd conss, 23262 impls, 16 clqs
46.97/47.01	c (round 16) 171 del vars, 395 del conss, 0 chg bounds, 310 chg sides, 564 chg coeffs, 1 upgd conss, 23262 impls, 16 clqs
46.97/47.03	c (round 17) 171 del vars, 395 del conss, 0 chg bounds, 310 chg sides, 566 chg coeffs, 1 upgd conss, 23262 impls, 16 clqs
46.97/47.05	c (round 18) 171 del vars, 395 del conss, 0 chg bounds, 310 chg sides, 568 chg coeffs, 1 upgd conss, 23262 impls, 16 clqs
46.97/47.07	c (round 19) 171 del vars, 395 del conss, 0 chg bounds, 310 chg sides, 569 chg coeffs, 1 upgd conss, 23262 impls, 16 clqs
46.97/47.08	c (round 20) 171 del vars, 395 del conss, 0 chg bounds, 310 chg sides, 570 chg coeffs, 1 upgd conss, 23262 impls, 16 clqs
46.97/47.09	c presolving (21 rounds):
46.97/47.09	c  171 deleted vars, 395 deleted constraints, 0 tightened bounds, 0 added holes, 310 changed sides, 570 changed coefficients
46.97/47.09	c  23262 implications, 16 cliques
46.97/47.09	c presolved problem has 478 variables (478 bin, 0 int, 0 impl, 0 cont) and 1010 constraints
46.97/47.09	c       8 constraints of type <knapsack>
46.97/47.09	c      40 constraints of type <setppc>
46.97/47.09	c     962 constraints of type <logicor>
46.97/47.09	c transformed objective value is always integral (scale: 1)
46.97/47.09	c Presolving Time: 3.14
46.97/47.09	c 
47.08/47.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
47.08/47.11	c  46.2s|     1 |     0 |  5973 |     - |  16M|   0 |  37 | 478 |1010 | 478 | 998 |   0 |   0 | 360 | 2.300000e+01 | 2.400000e+01 |   4.35%
47.19/47.27	c  46.3s|     1 |     0 |  5984 |     - |  16M|   0 |  47 | 478 |1010 | 478 |1000 |   2 |   0 | 360 | 2.300000e+01 | 2.400000e+01 |   4.35%
47.28/47.39	c  46.5s|     1 |     0 |  5986 |     - |  16M|   0 |  47 | 478 |1010 | 478 |1000 |   2 |   0 | 379 | 2.300000e+01 | 2.400000e+01 |   4.35%
47.38/47.48	c  46.5s|     1 |     0 |  5988 |     - |  16M|   0 |  47 | 478 |1010 | 478 |1000 |   2 |   0 | 397 | 2.300000e+01 | 2.400000e+01 |   4.35%
47.48/47.56	c  46.6s|     1 |     0 |  5989 |     - |  16M|   0 |  42 | 478 |1003 | 478 |1000 |   2 |   0 | 411 | 2.300000e+01 | 2.400000e+01 |   4.35%
47.48/47.58	c  46.6s|     1 |     0 |  5990 |     - |  16M|   0 |  42 | 478 | 995 | 478 |1000 |   2 |   0 | 414 | 2.300000e+01 | 2.400000e+01 |   4.35%
47.48/47.59	c  46.6s|     1 |     0 |  5993 |     - |  16M|   0 |  42 | 478 | 987 | 478 |1000 |   2 |   0 | 416 | 2.300000e+01 | 2.400000e+01 |   4.35%
47.58/47.61	c  46.7s|     1 |     0 |  5995 |     - |  16M|   0 |  42 | 478 | 981 | 478 |1000 |   2 |   0 | 418 | 2.300000e+01 | 2.400000e+01 |   4.35%
47.58/47.63	c  46.7s|     1 |     0 |  5997 |     - |  16M|   0 |  42 | 478 | 974 | 478 |1000 |   2 |   0 | 420 | 2.300000e+01 | 2.400000e+01 |   4.35%
47.58/47.64	c  46.7s|     1 |     0 |  5998 |     - |  16M|   0 |  42 | 478 | 965 | 478 |1000 |   2 |   0 | 422 | 2.300000e+01 | 2.400000e+01 |   4.35%
47.58/47.65	c  46.7s|     1 |     0 |  6000 |     - |  16M|   0 |  42 | 478 | 958 | 478 | 962 |   2 |   0 | 424 | 2.300000e+01 | 2.400000e+01 |   4.35%
47.58/47.67	c  46.7s|     1 |     0 |  6006 |     - |  16M|   0 |  57 | 478 | 950 | 478 | 962 |   2 |   0 | 426 | 2.300000e+01 | 2.400000e+01 |   4.35%
47.68/47.71	c  46.8s|     1 |     0 |  6015 |     - |  16M|   0 |  47 | 478 | 949 | 478 | 962 |   2 |   0 | 434 | 2.300000e+01 | 2.400000e+01 |   4.35%
47.68/47.73	c  46.8s|     1 |     0 |  6018 |     - |  16M|   0 |  50 | 478 | 938 | 478 | 962 |   2 |   0 | 437 | 2.300000e+01 | 2.400000e+01 |   4.35%
47.68/47.75	c  46.8s|     1 |     0 |  6025 |     - |  16M|   0 |  49 | 478 | 932 | 478 | 962 |   2 |   0 | 443 | 2.300000e+01 | 2.400000e+01 |   4.35%
47.68/47.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
47.68/47.78	c  46.8s|     1 |     0 |  6028 |     - |  16M|   0 |  49 | 478 | 932 | 478 | 962 |   2 |   0 | 448 | 2.300000e+01 | 2.400000e+01 |   4.35%
47.78/47.81	c  46.9s|     1 |     0 |  6035 |     - |  16M|   0 |  54 | 478 | 920 | 478 | 961 |   2 |   0 | 453 | 2.300000e+01 | 2.400000e+01 |   4.35%
47.78/47.83	c  46.9s|     1 |     0 |  6035 |     - |  16M|   0 |   - | 478 | 920 | 478 | 961 |   2 |   0 | 458 | 2.300000e+01 | 2.400000e+01 |   4.35%
47.78/47.83	c (run 4, node 1) restarting after 99 global fixings of integer variables
47.78/47.83	c 
47.78/47.83	c (restart) converted 1 cuts from the global cut pool into linear constraints
47.78/47.83	c 
47.78/47.84	c presolving:
47.78/47.88	c (round 1) 102 del vars, 145 del conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 1 upgd conss, 23292 impls, 13 clqs
47.88/47.96	c (round 2) 102 del vars, 145 del conss, 0 chg bounds, 5 chg sides, 28 chg coeffs, 1 upgd conss, 23292 impls, 13 clqs
47.88/47.99	c (round 3) 102 del vars, 145 del conss, 0 chg bounds, 5 chg sides, 36 chg coeffs, 1 upgd conss, 23292 impls, 13 clqs
47.98/48.01	c (round 4) 102 del vars, 145 del conss, 0 chg bounds, 5 chg sides, 43 chg coeffs, 1 upgd conss, 23292 impls, 13 clqs
47.98/48.03	c (round 5) 102 del vars, 145 del conss, 0 chg bounds, 5 chg sides, 49 chg coeffs, 1 upgd conss, 23292 impls, 13 clqs
47.98/48.05	c (round 6) 102 del vars, 145 del conss, 0 chg bounds, 5 chg sides, 51 chg coeffs, 1 upgd conss, 23292 impls, 13 clqs
47.98/48.06	c (round 7) 102 del vars, 145 del conss, 0 chg bounds, 5 chg sides, 54 chg coeffs, 1 upgd conss, 23292 impls, 13 clqs
47.98/48.07	c (round 8) 102 del vars, 145 del conss, 0 chg bounds, 5 chg sides, 57 chg coeffs, 1 upgd conss, 23292 impls, 13 clqs
47.98/48.08	c presolving (9 rounds):
47.98/48.08	c  102 deleted vars, 145 deleted constraints, 0 tightened bounds, 0 added holes, 5 changed sides, 57 changed coefficients
47.98/48.08	c  23292 implications, 13 cliques
47.98/48.08	c presolved problem has 376 variables (376 bin, 0 int, 0 impl, 0 cont) and 777 constraints
47.98/48.08	c       9 constraints of type <knapsack>
47.98/48.08	c      29 constraints of type <setppc>
47.98/48.08	c     739 constraints of type <logicor>
47.98/48.08	c transformed objective value is always integral (scale: 1)
47.98/48.08	c Presolving Time: 3.36
47.98/48.08	c 
48.08/48.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
48.08/48.10	c  47.1s|     1 |     0 |  6169 |     - |  15M|   0 |  47 | 376 | 777 | 376 | 759 |   0 |   0 | 458 | 2.300000e+01 | 2.400000e+01 |   4.35%
48.18/48.23	c  47.3s|     1 |     0 |  6201 |     - |  15M|   0 |  44 | 376 | 777 | 376 | 761 |   2 |   0 | 458 | 2.300000e+01 | 2.400000e+01 |   4.35%
48.28/48.32	c  47.4s|     1 |     0 |  6206 |     - |  15M|   0 |  35 | 376 | 777 | 376 | 761 |   2 |   0 | 478 | 2.300000e+01 | 2.400000e+01 |   4.35%
48.39/48.43	c  47.5s|     1 |     0 |  6211 |     - |  15M|   0 |  35 | 376 | 770 | 376 | 761 |   2 |   0 | 499 | 2.300000e+01 | 2.400000e+01 |   4.35%
48.39/48.45	c  47.5s|     1 |     0 |  6214 |     - |  15M|   0 |  36 | 376 | 763 | 376 | 761 |   2 |   0 | 503 | 2.300000e+01 | 2.400000e+01 |   4.35%
48.39/48.48	c  47.5s|     1 |     0 |  6226 |     - |  15M|   0 |  41 | 376 | 758 | 376 | 761 |   2 |   0 | 506 | 2.300000e+01 | 2.400000e+01 |   4.35%
48.48/48.51	c  47.5s|     1 |     0 |  6231 |     - |  15M|   0 |  35 | 376 | 755 | 376 | 761 |   2 |   0 | 511 | 2.300000e+01 | 2.400000e+01 |   4.35%
48.48/48.52	c  47.5s|     1 |     0 |  6238 |     - |  15M|   0 |  54 | 376 | 750 | 376 | 761 |   2 |   0 | 513 | 2.300000e+01 | 2.400000e+01 |   4.35%
48.48/48.56	c  47.6s|     1 |     0 |  6242 |     - |  15M|   0 |  47 | 376 | 736 | 376 | 761 |   2 |   0 | 518 | 2.300000e+01 | 2.400000e+01 |   4.35%
48.58/48.61	c  47.6s|     1 |     0 |  6252 |     - |  15M|   0 |  55 | 376 | 731 | 376 | 761 |   2 |   0 | 526 | 2.300000e+01 | 2.400000e+01 |   4.35%
48.58/48.64	c  47.7s|     1 |     0 |  6259 |     - |  15M|   0 |  47 | 376 | 730 | 376 | 761 |   2 |   0 | 531 | 2.300000e+01 | 2.400000e+01 |   4.35%
48.58/48.68	c  47.7s|     1 |     0 |  6262 |     - |  15M|   0 |  45 | 376 | 689 | 376 | 731 |   2 |   0 | 537 | 2.300000e+01 | 2.400000e+01 |   4.35%
48.68/48.71	c  47.7s|     1 |     0 |  6262 |     - |  15M|   0 |   - | 376 | 689 | 376 | 731 |   2 |   0 | 542 | 2.300000e+01 | 2.400000e+01 |   4.35%
48.68/48.71	c (run 5, node 1) restarting after 90 global fixings of integer variables
48.68/48.71	c 
48.68/48.71	c (restart) converted 1 cuts from the global cut pool into linear constraints
48.68/48.71	c 
48.68/48.71	c presolving:
48.68/48.74	c (round 1) 100 del vars, 125 del conss, 0 chg bounds, 0 chg sides, 8 chg coeffs, 1 upgd conss, 23362 impls, 9 clqs
48.68/48.76	c (round 2) 100 del vars, 132 del conss, 0 chg bounds, 0 chg sides, 18 chg coeffs, 1 upgd conss, 23362 impls, 9 clqs
48.68/48.79	c (round 3) 100 del vars, 132 del conss, 0 chg bounds, 0 chg sides, 21 chg coeffs, 1 upgd conss, 23362 impls, 9 clqs
48.68/48.79	c (round 4) 100 del vars, 132 del conss, 0 chg bounds, 0 chg sides, 22 chg coeffs, 1 upgd conss, 23362 impls, 9 clqs
48.78/48.80	c (round 5) 100 del vars, 132 del conss, 0 chg bounds, 0 chg sides, 23 chg coeffs, 1 upgd conss, 23362 impls, 9 clqs
48.78/48.80	c (round 6) 100 del vars, 132 del conss, 0 chg bounds, 0 chg sides, 24 chg coeffs, 1 upgd conss, 23362 impls, 9 clqs
48.78/48.81	c (round 7) 100 del vars, 132 del conss, 0 chg bounds, 0 chg sides, 25 chg coeffs, 1 upgd conss, 23362 impls, 9 clqs
48.78/48.82	c (round 8) 100 del vars, 132 del conss, 0 chg bounds, 0 chg sides, 26 chg coeffs, 1 upgd conss, 23362 impls, 9 clqs
48.78/48.82	c (round 9) 100 del vars, 132 del conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 1 upgd conss, 23362 impls, 9 clqs
48.78/48.83	c (round 10) 100 del vars, 132 del conss, 0 chg bounds, 0 chg sides, 28 chg coeffs, 1 upgd conss, 23362 impls, 9 clqs
48.78/48.83	c presolving (11 rounds):
48.78/48.83	c  100 deleted vars, 132 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 28 changed coefficients
48.78/48.83	c  23362 implications, 9 cliques
48.78/48.83	c presolved problem has 276 variables (276 bin, 0 int, 0 impl, 0 cont) and 558 constraints
48.78/48.83	c      10 constraints of type <knapsack>
48.78/48.83	c      22 constraints of type <setppc>
48.78/48.83	c     526 constraints of type <logicor>
48.78/48.83	c transformed objective value is always integral (scale: 1)
48.78/48.83	c Presolving Time: 3.47
48.78/48.83	c 
48.78/48.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
48.78/48.84	c  47.8s|     1 |     0 |  6351 |     - |  15M|   0 |  45 | 276 | 558 | 276 | 536 |   0 |   0 | 542 | 2.300000e+01 | 2.400000e+01 |   4.35%
48.88/48.93	c  47.9s|     1 |     0 |  6365 |     - |  15M|   0 |  35 | 276 | 558 | 276 | 538 |   2 |   0 | 542 | 2.300000e+01 | 2.400000e+01 |   4.35%
48.88/48.97	c  48.0s|     1 |     0 |  6369 |     - |  15M|   0 |  36 | 276 | 558 | 276 | 538 |   2 |   0 | 561 | 2.300000e+01 | 2.400000e+01 |   4.35%
48.98/49.02	c  48.0s|     1 |     0 |  6374 |     - |  15M|   0 |  34 | 276 | 553 | 276 | 538 |   2 |   0 | 578 | 2.300000e+01 | 2.400000e+01 |   4.35%
48.98/49.03	c  48.0s|     1 |     0 |  6386 |     - |  15M|   0 |  41 | 276 | 551 | 276 | 538 |   2 |   0 | 580 | 2.300000e+01 | 2.400000e+01 |   4.35%
48.98/49.06	c  48.0s|     1 |     0 |  6397 |     - |  15M|   0 |  41 | 276 | 536 | 276 | 538 |   2 |   0 | 588 | 2.300000e+01 | 2.400000e+01 |   4.35%
49.08/49.10	c  48.1s|     1 |     0 |  6400 |     - |  15M|   0 |  38 | 276 | 519 | 276 | 538 |   2 |   0 | 596 | 2.300000e+01 | 2.400000e+01 |   4.35%
49.08/49.12	c  48.1s|     1 |     0 |  6401 |     - |  15M|   0 |  35 | 276 | 508 | 276 | 538 |   2 |   0 | 601 | 2.300000e+01 | 2.400000e+01 |   4.35%
49.08/49.13	c  48.1s|     1 |     0 |  6405 |     - |  15M|   0 |  35 | 276 | 499 | 276 | 538 |   2 |   0 | 603 | 2.300000e+01 | 2.400000e+01 |   4.35%
49.08/49.14	c  48.1s|     1 |     0 |  6407 |     - |  15M|   0 |  35 | 276 | 495 | 276 | 538 |   2 |   0 | 605 | 2.300000e+01 | 2.400000e+01 |   4.35%
49.08/49.15	c  48.1s|     1 |     0 |  6409 |     - |  15M|   0 |  35 | 276 | 491 | 276 | 538 |   2 |   0 | 607 | 2.300000e+01 | 2.400000e+01 |   4.35%
49.08/49.16	c  48.1s|     1 |     0 |  6411 |     - |  15M|   0 |  35 | 276 | 487 | 276 | 512 |   2 |   0 | 609 | 2.300000e+01 | 2.400000e+01 |   4.35%
49.08/49.17	c  48.1s|     1 |     0 |  6411 |     - |  15M|   0 |   - | 276 | 487 | 276 | 512 |   2 |   0 | 611 | 2.300000e+01 | 2.400000e+01 |   4.35%
49.08/49.17	c (run 6, node 1) restarting after 58 global fixings of integer variables
49.08/49.17	c 
49.08/49.17	c (restart) converted 2 cuts from the global cut pool into linear constraints
49.08/49.17	c 
49.08/49.17	c presolving:
49.08/49.20	c (round 1) 61 del vars, 47 del conss, 0 chg bounds, 3 chg sides, 258 chg coeffs, 2 upgd conss, 23366 impls, 9 clqs
49.18/49.22	c (round 2) 61 del vars, 49 del conss, 0 chg bounds, 7 chg sides, 274 chg coeffs, 2 upgd conss, 23366 impls, 9 clqs
49.18/49.23	c (round 3) 61 del vars, 49 del conss, 0 chg bounds, 7 chg sides, 280 chg coeffs, 2 upgd conss, 23366 impls, 9 clqs
49.18/49.24	c (round 4) 61 del vars, 49 del conss, 0 chg bounds, 7 chg sides, 284 chg coeffs, 2 upgd conss, 23366 impls, 9 clqs
49.18/49.24	c (round 5) 61 del vars, 49 del conss, 0 chg bounds, 7 chg sides, 288 chg coeffs, 2 upgd conss, 23366 impls, 9 clqs
49.18/49.25	c (round 6) 61 del vars, 49 del conss, 0 chg bounds, 7 chg sides, 292 chg coeffs, 2 upgd conss, 23366 impls, 9 clqs
49.18/49.25	c (round 7) 61 del vars, 49 del conss, 0 chg bounds, 7 chg sides, 296 chg coeffs, 2 upgd conss, 23366 impls, 9 clqs
49.18/49.26	c (round 8) 61 del vars, 49 del conss, 0 chg bounds, 7 chg sides, 299 chg coeffs, 2 upgd conss, 23366 impls, 9 clqs
49.18/49.26	c presolving (9 rounds):
49.18/49.26	c  61 deleted vars, 49 deleted constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 299 changed coefficients
49.18/49.26	c  23366 implications, 9 cliques
49.18/49.26	c presolved problem has 215 variables (215 bin, 0 int, 0 impl, 0 cont) and 443 constraints
49.18/49.26	c      11 constraints of type <knapsack>
49.18/49.26	c      18 constraints of type <setppc>
49.18/49.26	c     414 constraints of type <logicor>
49.18/49.26	c transformed objective value is always integral (scale: 1)
49.18/49.26	c Presolving Time: 3.55
49.18/49.27	c 
49.18/49.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
49.18/49.27	c  48.2s|     1 |     0 |  6493 |     - |  15M|   0 |  38 | 215 | 443 | 215 | 425 |   0 |   0 | 611 | 2.300000e+01 | 2.400000e+01 |   4.35%
49.27/49.34	c  48.3s|     1 |     0 |  6500 |     - |  15M|   0 |  36 | 215 | 443 | 215 | 427 |   2 |   0 | 611 | 2.300000e+01 | 2.400000e+01 |   4.35%
49.27/49.38	c  48.3s|     1 |     0 |  6504 |     - |  15M|   0 |  37 | 215 | 441 | 215 | 427 |   2 |   0 | 630 | 2.300000e+01 | 2.400000e+01 |   4.35%
49.38/49.43	c  48.4s|     1 |     0 |  6506 |     - |  15M|   0 |  37 | 215 | 435 | 215 | 427 |   2 |   0 | 646 | 2.300000e+01 | 2.400000e+01 |   4.35%
49.38/49.45	c  48.4s|     1 |     0 |  6511 |     - |  15M|   0 |  39 | 215 | 429 | 215 | 427 |   2 |   0 | 652 | 2.300000e+01 | 2.400000e+01 |   4.35%
49.38/49.47	c  48.4s|     1 |     0 |  6515 |     - |  15M|   0 |  42 | 215 | 418 | 215 | 427 |   2 |   0 | 656 | 2.300000e+01 | 2.400000e+01 |   4.35%
49.38/49.50	c  48.5s|     1 |     0 |  6519 |     - |  15M|   0 |  39 | 215 | 409 | 215 | 427 |   2 |   0 | 663 | 2.300000e+01 | 2.400000e+01 |   4.35%
49.49/49.51	c  48.5s|     1 |     0 |  6521 |     - |  15M|   0 |  37 | 215 | 399 | 215 | 427 |   2 |   0 | 667 | 2.300000e+01 | 2.400000e+01 |   4.35%
49.49/49.53	c  48.5s|     1 |     0 |  6523 |     - |  15M|   0 |  37 | 215 | 394 | 215 | 427 |   2 |   0 | 669 | 2.300000e+01 | 2.400000e+01 |   4.35%
49.49/49.53	c  48.5s|     1 |     0 |  6523 |     - |  15M|   0 |   - | 215 | 394 | 215 | 427 |   2 |   0 | 671 | 2.300000e+01 | 2.400000e+01 |   4.35%
49.49/49.53	c (run 7, node 1) restarting after 44 global fixings of integer variables
49.49/49.53	c 
49.49/49.53	c (restart) converted 2 cuts from the global cut pool into linear constraints
49.49/49.53	c 
49.49/49.54	c presolving:
49.49/49.55	c (round 1) 48 del vars, 52 del conss, 0 chg bounds, 0 chg sides, 3 chg coeffs, 2 upgd conss, 23366 impls, 10 clqs
49.49/49.56	c (round 2) 48 del vars, 53 del conss, 0 chg bounds, 0 chg sides, 6 chg coeffs, 2 upgd conss, 23366 impls, 10 clqs
49.49/49.57	c (round 3) 48 del vars, 53 del conss, 0 chg bounds, 0 chg sides, 7 chg coeffs, 2 upgd conss, 23366 impls, 10 clqs
49.49/49.57	c (round 4) 48 del vars, 53 del conss, 0 chg bounds, 0 chg sides, 8 chg coeffs, 2 upgd conss, 23366 impls, 10 clqs
49.49/49.57	c (round 5) 48 del vars, 53 del conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 2 upgd conss, 23366 impls, 10 clqs
49.49/49.57	c presolving (6 rounds):
49.49/49.57	c  48 deleted vars, 53 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 9 changed coefficients
49.49/49.57	c  23366 implications, 10 cliques
49.49/49.57	c presolved problem has 167 variables (167 bin, 0 int, 0 impl, 0 cont) and 343 constraints
49.49/49.57	c      12 constraints of type <knapsack>
49.49/49.57	c      19 constraints of type <setppc>
49.49/49.57	c     312 constraints of type <logicor>
49.49/49.57	c transformed objective value is always integral (scale: 1)
49.49/49.57	c Presolving Time: 3.57
49.49/49.57	c 
49.49/49.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
49.49/49.58	c  48.5s|     1 |     0 |  6604 |     - |  15M|   0 |  41 | 167 | 343 | 167 | 331 |   0 |   0 | 671 | 2.300000e+01 | 2.400000e+01 |   4.35%
49.58/49.63	c  48.6s|     1 |     0 |  6642 |     - |  15M|   0 |  44 | 167 | 343 | 167 | 333 |   2 |   0 | 671 | 2.300000e+01 | 2.400000e+01 |   4.35%
49.58/49.69	c  48.6s|     1 |     0 |  6648 |     - |  15M|   0 |  36 | 167 | 343 | 167 | 333 |   2 |   0 | 690 | 2.300000e+01 | 2.400000e+01 |   4.35%
49.68/49.74	c  48.7s|     1 |     0 |  6660 |     - |  15M|   0 |  45 | 167 | 343 | 167 | 333 |   2 |   0 | 709 | 2.300000e+01 | 2.400000e+01 |   4.35%
49.68/49.77	c  48.7s|     1 |     2 |  6660 |     - |  15M|   0 |  45 | 167 | 343 | 167 | 333 |   2 |   0 | 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
53.67/53.80	c  52.4s| 10000 |    80 |  6660 |   0.0 |  15M| 103 |   - | 167 | 372 |   0 |   0 |   2 |6322 | 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
57.98/58.00	c  56.4s| 20000 |    73 |  6660 |   0.0 |  15M| 103 |   - | 167 | 383 |   0 |   0 |   2 |  12k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
62.37/62.41	c  60.4s| 30000 |    74 |  6660 |   0.0 |  15M| 103 |   - | 167 | 377 |   0 |   0 |   2 |  19k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
66.77/66.81	c  64.5s| 40000 |    72 |  6660 |   0.0 |  15M| 103 |   - | 167 | 382 |   0 |   0 |   2 |  26k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
71.17/71.26	c  68.7s| 50000 |    67 |  6660 |   0.0 |  15M| 103 |   - | 167 | 393 |   0 |   0 |   2 |  32k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
75.77/75.83	c  73.0s| 60000 |    73 |  6660 |   0.0 |  15M| 103 |   - | 167 | 367 |   0 |   0 |   2 |  39k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
80.47/80.57	c  77.4s| 70000 |    74 |  6660 |   0.0 |  15M| 103 |   - | 167 | 369 |   0 |   0 |   2 |  45k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
85.07/85.16	c  81.7s| 80000 |    71 |  6660 |   0.0 |  15M| 103 |   - | 167 | 374 |   0 |   0 |   2 |  52k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
89.66/89.79	c  86.0s| 90000 |    69 |  6660 |   0.0 |  15M| 103 |   - | 167 | 397 |   0 |   0 |   2 |  59k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
94.37/94.48	c  90.4s|100000 |    75 |  6660 |   0.0 |  15M| 103 |   - | 167 | 359 |   0 |   0 |   2 |  65k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
99.16/99.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
99.16/99.20	c  94.9s|110000 |    66 |  6660 |   0.0 |  15M| 103 |   - | 167 | 385 |   0 |   0 |   2 |  72k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
103.87/103.96	c  99.4s|120000 |    61 |  6660 |   0.0 |  15M| 103 |   - | 167 | 390 |   0 |   0 |   2 |  78k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
108.66/108.72	c   104s|130000 |    62 |  6660 |   0.0 |  15M| 103 |   - | 167 | 380 |   0 |   0 |   2 |  85k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
113.46/113.52	c   108s|140000 |    68 |  6660 |   0.0 |  15M| 103 |   - | 167 | 357 |   0 |   0 |   2 |  92k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
118.46/118.52	c   113s|150000 |    67 |  6660 |   0.0 |  15M| 103 |   - | 167 | 376 |   0 |   0 |   2 |  98k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
123.46/123.55	c   118s|160000 |    63 |  6660 |   0.0 |  15M| 103 |   - | 167 | 392 |   0 |   0 |   2 | 105k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
128.35/128.48	c   122s|170000 |    66 |  6660 |   0.0 |  15M| 103 |   - | 167 | 358 |   0 |   0 |   2 | 112k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
133.36/133.45	c   127s|180000 |    64 |  6660 |   0.0 |  15M| 103 |   - | 167 | 367 |   0 |   0 |   2 | 119k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
138.35/138.41	c   132s|190000 |    65 |  6660 |   0.0 |  15M| 103 |   - | 167 | 377 |   0 |   0 |   2 | 125k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
143.04/143.19	c   136s|200000 |    64 |  6660 |   0.0 |  15M| 103 |   - | 167 | 373 |   0 |   0 |   2 | 132k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
147.94/148.00	c   141s|210000 |    59 |  6660 |   0.0 |  15M| 103 |   - | 167 | 384 |   0 |   0 |   2 | 139k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
152.85/152.97	c   145s|220000 |    61 |  6660 |   0.0 |  15M| 103 |   - | 167 | 392 |   0 |   0 |   2 | 145k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
157.85/157.99	c   150s|230000 |    67 |  6660 |   0.0 |  15M| 103 |   - | 167 | 374 |   0 |   0 |   2 | 152k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
163.14/163.22	c   155s|240000 |    63 |  6660 |   0.0 |  15M| 103 |   - | 167 | 375 |   0 |   0 |   2 | 159k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
168.54/168.61	c   160s|250000 |    68 |  6660 |   0.0 |  15M| 103 |   - | 167 | 365 |   0 |   0 |   2 | 165k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
173.54/173.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
173.54/173.63	c   165s|260000 |    62 |  6660 |   0.0 |  15M| 103 |   - | 167 | 371 |   0 |   0 |   2 | 172k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
178.64/178.70	c   170s|270000 |    59 |  6660 |   0.0 |  15M| 103 |   - | 167 | 397 |   0 |   0 |   2 | 179k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
183.44/183.53	c   174s|280000 |    61 |  6660 |   0.0 |  15M| 103 |   - | 167 | 379 |   0 |   0 |   2 | 185k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
188.24/188.30	c   179s|290000 |    62 |  6660 |   0.0 |  15M| 103 |   - | 167 | 398 |   0 |   0 |   2 | 191k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
193.13/193.20	c   183s|300000 |    63 |  6660 |   0.0 |  15M| 103 |   - | 167 | 407 |   0 |   0 |   2 | 198k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
198.04/198.11	c   188s|310000 |    55 |  6660 |   0.0 |  15M| 103 |   - | 167 | 422 |   0 |   0 |   2 | 204k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
202.83/202.93	c   192s|320000 |    63 |  6660 |   0.0 |  15M| 103 |   - | 167 | 358 |   0 |   0 |   2 | 211k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
207.93/208.03	c   197s|330000 |    59 |  6660 |   0.0 |  15M| 103 |   - | 167 | 390 |   0 |   0 |   2 | 217k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
212.83/212.93	c   202s|340000 |    61 |  6660 |   0.0 |  15M| 103 |   - | 167 | 370 |   0 |   0 |   2 | 224k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
218.03/218.12	c   207s|350000 |    57 |  6660 |   0.0 |  15M| 103 |   - | 167 | 378 |   0 |   0 |   2 | 230k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
223.02/223.18	c   211s|360000 |    53 |  6660 |   0.0 |  15M| 103 |   - | 167 | 397 |   0 |   0 |   2 | 237k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
228.12/228.21	c   216s|370000 |    54 |  6660 |   0.0 |  15M| 103 |   - | 167 | 420 |   0 |   0 |   2 | 243k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
233.03/233.17	c   221s|380000 |    57 |  6660 |   0.0 |  15M| 103 |   - | 167 | 374 |   0 |   0 |   2 | 250k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
238.33/238.42	c   226s|390000 |    52 |  6660 |   0.0 |  15M| 103 |   - | 167 | 396 |   0 |   0 |   2 | 256k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
243.22/243.35	c   230s|400000 |    55 |  6660 |   0.0 |  15M| 103 |   - | 167 | 393 |   0 |   0 |   2 | 263k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
248.22/248.39	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
248.22/248.39	c   235s|410000 |    55 |  6660 |   0.0 |  15M| 103 |   - | 167 | 375 |   0 |   0 |   2 | 269k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
253.51/253.61	c   240s|420000 |    58 |  6660 |   0.0 |  15M| 103 |   - | 167 | 371 |   0 |   0 |   2 | 276k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
258.62/258.78	c   245s|430000 |    50 |  6660 |   0.0 |  15M| 103 |   - | 167 | 399 |   0 |   0 |   2 | 283k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
263.62/263.71	c   250s|440000 |    52 |  6660 |   0.0 |  15M| 103 |   - | 167 | 427 |   0 |   0 |   2 | 289k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
268.62/268.78	c   254s|450000 |    56 |  6660 |   0.0 |  15M| 103 |   - | 167 | 378 |   0 |   0 |   2 | 296k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
273.61/273.74	c   259s|460000 |    55 |  6660 |   0.0 |  15M| 103 |   - | 167 | 388 |   0 |   0 |   2 | 302k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
278.71/278.87	c   264s|470000 |    49 |  6660 |   0.0 |  15M| 103 |   - | 167 | 392 |   0 |   0 |   2 | 309k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
284.11/284.21	c   269s|480000 |    51 |  6660 |   0.0 |  15M| 103 |   - | 167 | 395 |   0 |   0 |   2 | 316k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
289.31/289.46	c   274s|490000 |    49 |  6660 |   0.0 |  15M| 103 |   - | 167 | 412 |   0 |   0 |   2 | 322k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
294.50/294.69	c   279s|500000 |    48 |  6660 |   0.0 |  15M| 103 |   - | 167 | 388 |   0 |   0 |   2 | 329k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
299.91/300.07	c   284s|510000 |    50 |  6660 |   0.0 |  15M| 103 |   - | 167 | 392 |   0 |   0 |   2 | 335k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
305.40/305.54	c   289s|520000 |    48 |  6660 |   0.0 |  15M| 103 |   - | 167 | 382 |   0 |   0 |   2 | 342k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
310.80/310.92	c   294s|530000 |    43 |  6660 |   0.0 |  15M| 103 |   - | 167 | 412 |   0 |   0 |   2 | 349k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
316.00/316.11	c   299s|540000 |    44 |  6660 |   0.0 |  15M| 103 |   - | 167 | 386 |   0 |   0 |   2 | 355k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
321.20/321.34	c   304s|550000 |    48 |  6660 |   0.0 |  15M| 103 |   - | 167 | 394 |   0 |   0 |   2 | 362k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
326.40/326.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
326.40/326.56	c   309s|560000 |    48 |  6660 |   0.0 |  15M| 103 |   - | 167 | 379 |   0 |   0 |   2 | 368k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
331.69/331.81	c   314s|570000 |    48 |  6660 |   0.0 |  15M| 103 |   - | 167 | 404 |   0 |   0 |   2 | 375k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
337.10/337.25	c   319s|580000 |    49 |  6660 |   0.0 |  15M| 103 |   - | 167 | 390 |   0 |   0 |   2 | 382k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
342.39/342.55	c   324s|590000 |    47 |  6660 |   0.0 |  15M| 103 |   - | 167 | 385 |   0 |   0 |   2 | 388k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
347.79/347.93	c   329s|600000 |    44 |  6660 |   0.0 |  15M| 103 |   - | 167 | 393 |   0 |   0 |   2 | 395k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
353.19/353.38	c   334s|610000 |    45 |  6660 |   0.0 |  15M| 103 |   - | 167 | 386 |   0 |   0 |   2 | 402k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
358.49/358.66	c   339s|620000 |    43 |  6660 |   0.0 |  15M| 103 |   - | 167 | 386 |   0 |   0 |   2 | 408k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
363.78/363.95	c   344s|630000 |    46 |  6660 |   0.0 |  15M| 103 |   - | 167 | 373 |   0 |   0 |   2 | 415k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
369.08/369.20	c   349s|640000 |    47 |  6660 |   0.0 |  15M| 103 |   - | 167 | 373 |   0 |   0 |   2 | 421k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
374.19/374.39	c   354s|650000 |    46 |  6660 |   0.0 |  15M| 103 |   - | 167 | 400 |   0 |   0 |   2 | 428k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
379.48/379.68	c   359s|660000 |    47 |  6660 |   0.0 |  15M| 103 |   - | 167 | 363 |   0 |   0 |   2 | 434k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
384.67/384.80	c   364s|670000 |    43 |  6660 |   0.0 |  15M| 103 |   - | 167 | 378 |   0 |   0 |   2 | 441k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
389.87/390.00	c   369s|680000 |    42 |  6660 |   0.0 |  15M| 103 |   - | 167 | 382 |   0 |   0 |   2 | 447k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
395.27/395.41	c   374s|690000 |    45 |  6660 |   0.0 |  15M| 103 |   - | 167 | 397 |   0 |   0 |   2 | 454k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
400.67/400.83	c   379s|700000 |    47 |  6660 |   0.0 |  15M| 103 |   - | 167 | 384 |   0 |   0 |   2 | 461k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
405.97/406.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
405.97/406.17	c   384s|710000 |    49 |  6660 |   0.0 |  15M| 103 |   - | 167 | 374 |   0 |   0 |   2 | 467k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
411.37/411.52	c   389s|720000 |    39 |  6660 |   0.0 |  15M| 103 |   - | 167 | 407 |   0 |   0 |   2 | 474k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
416.68/416.88	c   394s|730000 |    39 |  6660 |   0.0 |  15M| 103 |   - | 167 | 402 |   0 |   0 |   2 | 481k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
421.97/422.18	c   399s|740000 |    42 |  6660 |   0.0 |  15M| 103 |   - | 167 | 391 |   0 |   0 |   2 | 487k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
427.26/427.44	c   404s|750000 |    43 |  6660 |   0.0 |  15M| 103 |   - | 167 | 376 |   0 |   0 |   2 | 494k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
432.67/432.87	c   409s|760000 |    48 |  6660 |   0.0 |  15M| 103 |   - | 167 | 360 |   0 |   0 |   2 | 500k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
437.96/438.19	c   414s|770000 |    40 |  6660 |   0.0 |  15M| 103 |   - | 167 | 376 |   0 |   0 |   2 | 507k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
443.46/443.63	c   419s|780000 |    40 |  6660 |   0.0 |  15M| 103 |   - | 167 | 398 |   0 |   0 |   2 | 514k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
448.57/448.71	c   424s|790000 |    46 |  6660 |   0.0 |  15M| 103 |   - | 167 | 370 |   0 |   0 |   2 | 520k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
453.56/453.72	c   429s|800000 |    41 |  6660 |   0.0 |  15M| 103 |   - | 167 | 366 |   0 |   0 |   2 | 527k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
458.86/459.03	c   434s|810000 |    36 |  6660 |   0.0 |  15M| 103 |   - | 167 | 375 |   0 |   0 |   2 | 533k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
464.06/464.27	c   439s|820000 |    42 |  6660 |   0.0 |  15M| 103 |   - | 167 | 401 |   0 |   0 |   2 | 540k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
469.25/469.49	c   444s|830000 |    36 |  6660 |   0.0 |  15M| 103 |   - | 167 | 380 |   0 |   0 |   2 | 546k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
474.55/474.78	c   449s|840000 |    38 |  6660 |   0.0 |  15M| 103 |   - | 167 | 380 |   0 |   0 |   2 | 553k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
479.85/480.04	c   454s|850000 |    43 |  6660 |   0.0 |  15M| 103 |   - | 167 | 373 |   0 |   0 |   2 | 559k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
485.05/485.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
485.05/485.25	c   459s|860000 |    51 |  6660 |   0.0 |  15M| 103 |   - | 167 | 356 |   0 |   0 |   2 | 566k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
490.14/490.39	c   464s|870000 |    38 |  6660 |   0.0 |  15M| 103 |   - | 167 | 368 |   0 |   0 |   2 | 572k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
495.65/495.84	c   469s|880000 |    40 |  6660 |   0.0 |  15M| 103 |   - | 167 | 384 |   0 |   0 |   2 | 579k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
501.14/501.35	c   474s|890000 |    43 |  6660 |   0.0 |  15M| 103 |   - | 167 | 372 |   0 |   0 |   2 | 585k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
506.54/506.75	c   479s|900000 |    40 |  6660 |   0.0 |  15M| 103 |   - | 167 | 375 |   0 |   0 |   2 | 592k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
512.04/512.21	c   484s|910000 |    41 |  6660 |   0.0 |  15M| 103 |   - | 167 | 390 |   0 |   0 |   2 | 599k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
517.44/517.68	c   489s|920000 |    42 |  6660 |   0.0 |  15M| 103 |   - | 167 | 396 |   0 |   0 |   2 | 605k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
522.84/523.06	c   494s|930000 |    41 |  6660 |   0.0 |  15M| 103 |   - | 167 | 384 |   0 |   0 |   2 | 612k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
528.44/528.61	c   500s|940000 |    48 |  6660 |   0.0 |  15M| 103 |   - | 167 | 374 |   0 |   0 |   2 | 618k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
533.64/533.87	c   505s|950000 |    41 |  6660 |   0.0 |  15M| 103 |   - | 167 | 387 |   0 |   0 |   2 | 624k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
539.23/539.43	c   510s|960000 |    38 |  6660 |   0.0 |  15M| 103 |   - | 167 | 384 |   0 |   0 |   2 | 631k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
544.53/544.73	c   515s|970000 |    43 |  6660 |   0.0 |  15M| 103 |   - | 167 | 375 |   0 |   0 |   2 | 637k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
550.03/550.23	c   520s|980000 |    43 |  6660 |   0.0 |  15M| 103 |   - | 167 | 369 |   0 |   0 |   2 | 644k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
555.23/555.50	c   525s|990000 |    34 |  6660 |   0.0 |  15M| 103 |   - | 167 | 406 |   0 |   0 |   2 | 650k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
560.63/560.82	c   530s|  1000k|    36 |  6660 |   0.0 |  15M| 103 |   - | 167 | 393 |   0 |   0 |   2 | 657k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
565.93/566.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
565.93/566.13	c   535s|  1010k|    38 |  6660 |   0.0 |  15M| 103 |   - | 167 | 386 |   0 |   0 |   2 | 663k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
571.33/571.57	c   540s|  1020k|    38 |  6660 |   0.0 |  15M| 103 |   - | 167 | 403 |   0 |   0 |   2 | 670k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
576.82/577.01	c   545s|  1030k|    37 |  6660 |   0.0 |  15M| 103 |   - | 167 | 374 |   0 |   0 |   2 | 676k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
582.32/582.52	c   550s|  1040k|    43 |  6660 |   0.0 |  15M| 103 |   - | 167 | 365 |   0 |   0 |   2 | 683k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
587.42/587.69	c   555s|  1050k|    40 |  6660 |   0.0 |  15M| 103 |   - | 167 | 390 |   0 |   0 |   2 | 689k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
592.62/592.87	c   560s|  1060k|    39 |  6660 |   0.0 |  15M| 103 |   - | 167 | 382 |   0 |   0 |   2 | 696k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
597.62/597.85	c   565s|  1070k|    39 |  6660 |   0.0 |  15M| 103 |   - | 167 | 407 |   0 |   0 |   2 | 702k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
602.82/603.03	c   570s|  1080k|    34 |  6660 |   0.0 |  15M| 103 |   - | 167 | 406 |   0 |   0 |   2 | 708k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
608.21/608.47	c   575s|  1090k|    38 |  6660 |   0.0 |  15M| 103 |   - | 167 | 370 |   0 |   0 |   2 | 714k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
613.52/613.71	c   580s|  1100k|    43 |  6660 |   0.0 |  15M| 103 |   - | 167 | 377 |   0 |   0 |   2 | 721k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
618.72/618.92	c   585s|  1110k|    38 |  6660 |   0.0 |  15M| 103 |   - | 167 | 381 |   0 |   0 |   2 | 727k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
624.01/624.20	c   590s|  1120k|    39 |  6660 |   0.0 |  15M| 103 |   - | 167 | 403 |   0 |   0 |   2 | 733k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
629.20/629.40	c   595s|  1130k|    35 |  6660 |   0.0 |  15M| 103 |   - | 167 | 401 |   0 |   0 |   2 | 740k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
634.81/635.01	c   600s|  1140k|    39 |  6660 |   0.0 |  15M| 103 |   - | 167 | 396 |   0 |   0 |   2 | 746k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
640.40/640.69	c   605s|  1150k|    37 |  6660 |   0.0 |  15M| 103 |   - | 167 | 390 |   0 |   0 |   2 | 753k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
645.70/645.94	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
645.70/645.94	c   610s|  1160k|    41 |  6660 |   0.0 |  15M| 103 |   - | 167 | 365 |   0 |   0 |   2 | 759k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
651.30/651.54	c   615s|  1170k|    37 |  6660 |   0.0 |  15M| 103 |   - | 167 | 364 |   0 |   0 |   2 | 766k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
656.89/657.16	c   621s|  1180k|    44 |  6660 |   0.0 |  15M| 103 |   - | 167 | 387 |   0 |   0 |   2 | 773k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
662.01/662.21	c   626s|  1190k|    42 |  6660 |   0.0 |  15M| 103 |   - | 167 | 372 |   0 |   0 |   2 | 779k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
667.29/667.57	c   631s|  1200k|    38 |  6660 |   0.0 |  15M| 103 |   - | 167 | 397 |   0 |   0 |   2 | 786k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
672.69/672.97	c   636s|  1210k|    37 |  6660 |   0.0 |  15M| 103 |   - | 167 | 398 |   0 |   0 |   2 | 792k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
677.99/678.27	c   641s|  1220k|    35 |  6660 |   0.0 |  15M| 103 |   - | 167 | 391 |   0 |   0 |   2 | 799k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
683.59/683.80	c   646s|  1230k|    40 |  6660 |   0.0 |  15M| 103 |   - | 167 | 354 |   0 |   0 |   2 | 805k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
689.08/689.30	c   651s|  1240k|    33 |  6660 |   0.0 |  15M| 103 |   - | 167 | 384 |   0 |   0 |   2 | 812k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
694.69/695.00	c   656s|  1250k|    40 |  6660 |   0.0 |  15M| 103 |   - | 167 | 370 |   0 |   0 |   2 | 819k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
700.50/700.75	c   662s|  1260k|    36 |  6660 |   0.0 |  15M| 103 |   - | 167 | 376 |   0 |   0 |   2 | 826k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
705.89/706.14	c   667s|  1270k|    37 |  6660 |   0.0 |  15M| 103 |   - | 167 | 371 |   0 |   0 |   2 | 833k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
711.18/711.40	c   672s|  1280k|    40 |  6660 |   0.0 |  15M| 103 |   - | 167 | 373 |   0 |   0 |   2 | 839k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
716.48/716.74	c   677s|  1290k|    39 |  6660 |   0.0 |  15M| 103 |   - | 167 | 387 |   0 |   0 |   2 | 845k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
721.78/722.06	c   682s|  1300k|    37 |  6660 |   0.0 |  15M| 103 |   - | 167 | 393 |   0 |   0 |   2 | 852k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
727.17/727.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
727.17/727.49	c   687s|  1310k|    36 |  6660 |   0.0 |  15M| 103 |   - | 167 | 381 |   0 |   0 |   2 | 859k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
732.57/732.86	c   692s|  1320k|    43 |  6660 |   0.0 |  15M| 103 |   - | 167 | 375 |   0 |   0 |   2 | 865k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
737.78/738.00	c   697s|  1330k|    36 |  6660 |   0.0 |  15M| 103 |   - | 167 | 385 |   0 |   0 |   2 | 871k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
743.27/743.56	c   702s|  1340k|    38 |  6660 |   0.0 |  15M| 103 |   - | 167 | 406 |   0 |   0 |   2 | 878k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
748.47/748.75	c   707s|  1350k|    36 |  6660 |   0.0 |  15M| 103 |   - | 167 | 380 |   0 |   0 |   2 | 884k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
753.77/754.04	c   712s|  1360k|    37 |  6660 |   0.0 |  15M| 103 |   - | 167 | 416 |   0 |   0 |   2 | 891k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
759.07/759.32	c   717s|  1370k|    39 |  6660 |   0.0 |  15M| 103 |   - | 167 | 383 |   0 |   0 |   2 | 897k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
764.47/764.71	c   722s|  1380k|    33 |  6660 |   0.0 |  15M| 103 |   - | 167 | 432 |   0 |   0 |   2 | 904k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
770.16/770.45	c   728s|  1390k|    34 |  6660 |   0.0 |  15M| 103 |   - | 167 | 425 |   0 |   0 |   2 | 911k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
775.87/776.16	c   733s|  1400k|    35 |  6660 |   0.0 |  15M| 103 |   - | 167 | 379 |   0 |   0 |   2 | 918k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
781.36/781.65	c   738s|  1410k|    35 |  6660 |   0.0 |  15M| 103 |   - | 167 | 397 |   0 |   0 |   2 | 924k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
786.76/787.09	c   743s|  1420k|    29 |  6660 |   0.0 |  15M| 103 |   - | 167 | 395 |   0 |   0 |   2 | 931k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
792.05/792.37	c   748s|  1430k|    40 |  6660 |   0.0 |  15M| 103 |   - | 167 | 351 |   0 |   0 |   2 | 937k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
797.46/797.80	c   753s|  1440k|    34 |  6660 |   0.0 |  15M| 103 |   - | 167 | 374 |   0 |   0 |   2 | 944k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
803.36/803.65	c   759s|  1450k|    38 |  6660 |   0.0 |  15M| 103 |   - | 167 | 372 |   0 |   0 |   2 | 950k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
809.15/809.41	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
809.15/809.41	c   764s|  1460k|    38 |  6660 |   0.0 |  15M| 103 |   - | 167 | 381 |   0 |   0 |   2 | 957k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
814.66/814.95	c   770s|  1470k|    35 |  6660 |   0.0 |  15M| 103 |   - | 167 | 410 |   0 |   0 |   2 | 964k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
820.55/820.87	c   775s|  1480k|    38 |  6660 |   0.0 |  15M| 103 |   - | 167 | 388 |   0 |   0 |   2 | 971k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
826.25/826.54	c   780s|  1490k|    32 |  6660 |   0.0 |  15M| 103 |   - | 167 | 394 |   0 |   0 |   2 | 978k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
831.36/831.65	c   785s|  1500k|    44 |  6660 |   0.0 |  15M| 103 |   - | 167 | 355 |   0 |   0 |   2 | 984k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
836.55/836.87	c   790s|  1510k|    34 |  6660 |   0.0 |  15M| 103 |   - | 167 | 383 |   0 |   0 |   2 | 990k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
841.75/842.08	c   795s|  1520k|    31 |  6660 |   0.0 |  15M| 103 |   - | 167 | 388 |   0 |   0 |   2 | 997k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
847.14/847.43	c   800s|  1530k|    35 |  6660 |   0.0 |  15M| 103 |   - | 167 | 371 |   0 |   0 |   2 |1003k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
852.34/852.62	c   805s|  1540k|    34 |  6660 |   0.0 |  15M| 103 |   - | 167 | 372 |   0 |   0 |   2 |1009k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
857.65/858.00	c   810s|  1550k|    36 |  6660 |   0.0 |  15M| 103 |   - | 167 | 382 |   0 |   0 |   2 |1016k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
863.15/863.45	c   815s|  1560k|    32 |  6660 |   0.0 |  15M| 103 |   - | 167 | 413 |   0 |   0 |   2 |1023k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
868.64/868.96	c   821s|  1570k|    34 |  6660 |   0.0 |  15M| 103 |   - | 167 | 402 |   0 |   0 |   2 |1030k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
873.94/874.27	c   826s|  1580k|    35 |  6660 |   0.0 |  15M| 103 |   - | 167 | 397 |   0 |   0 |   2 |1036k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
879.64/879.91	c   831s|  1590k|    28 |  6660 |   0.0 |  15M| 103 |   - | 167 | 406 |   0 |   0 |   2 |1043k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
885.03/885.32	c   836s|  1600k|    41 |  6660 |   0.0 |  15M| 103 |   - | 167 | 376 |   0 |   0 |   2 |1050k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
889.93/890.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
889.93/890.29	c   841s|  1610k|    37 |  6660 |   0.0 |  15M| 103 |   - | 167 | 373 |   0 |   0 |   2 |1056k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
895.22/895.53	c   846s|  1620k|    28 |  6660 |   0.0 |  15M| 103 |   - | 167 | 402 |   0 |   0 |   2 |1062k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
900.43/900.77	c   851s|  1630k|    28 |  6660 |   0.0 |  15M| 103 |   - | 167 | 398 |   0 |   0 |   2 |1068k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
905.82/906.15	c   856s|  1640k|    35 |  6660 |   0.0 |  15M| 103 |   - | 167 | 414 |   0 |   0 |   2 |1075k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
911.13/911.42	c   861s|  1650k|    27 |  6660 |   0.0 |  15M| 103 |   - | 167 | 415 |   0 |   0 |   2 |1081k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
916.42/916.71	c   866s|  1660k|    34 |  6660 |   0.0 |  15M| 103 |   - | 167 | 361 |   0 |   0 |   2 |1088k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
921.82/922.17	c   871s|  1670k|    33 |  6660 |   0.0 |  15M| 103 |   - | 167 | 379 |   0 |   0 |   2 |1094k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
927.32/927.68	c   876s|  1680k|    31 |  6660 |   0.0 |  15M| 103 |   - | 167 | 385 |   0 |   0 |   2 |1101k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
932.82/933.12	c   881s|  1690k|    40 |  6660 |   0.0 |  15M| 103 |   - | 167 | 357 |   0 |   0 |   2 |1107k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
937.42/937.79	c   886s|  1700k|    32 |  6660 |   0.0 |  15M| 103 |   - | 167 | 353 |   0 |   0 |   2 |1113k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
942.61/942.98	c   890s|  1710k|    31 |  6660 |   0.0 |  15M| 103 |   - | 167 | 370 |   0 |   0 |   2 |1119k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
947.71/948.03	c   895s|  1720k|    30 |  6660 |   0.0 |  15M| 103 |   - | 167 | 360 |   0 |   0 |   2 |1125k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
952.61/952.98	c   900s|  1730k|    27 |  6660 |   0.0 |  15M| 103 |   - | 167 | 427 |   0 |   0 |   2 |1131k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
957.71/958.06	c   905s|  1740k|    28 |  6660 |   0.0 |  15M| 103 |   - | 167 | 406 |   0 |   0 |   2 |1137k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
963.11/963.41	c   910s|  1750k|    33 |  6660 |   0.0 |  15M| 103 |   - | 167 | 380 |   0 |   0 |   2 |1144k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
968.20/968.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
968.20/968.54	c   915s|  1760k|    31 |  6660 |   0.0 |  15M| 103 |   - | 167 | 373 |   0 |   0 |   2 |1150k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
973.30/973.62	c   919s|  1770k|    31 |  6660 |   0.0 |  15M| 103 |   - | 167 | 380 |   0 |   0 |   2 |1156k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
978.61/978.91	c   924s|  1780k|    28 |  6660 |   0.0 |  15M| 103 |   - | 167 | 403 |   0 |   0 |   2 |1162k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
984.01/984.34	c   929s|  1790k|    26 |  6660 |   0.0 |  15M| 103 |   - | 167 | 422 |   0 |   0 |   2 |1169k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
989.40/989.76	c   935s|  1800k|    27 |  6660 |   0.0 |  15M| 103 |   - | 167 | 384 |   0 |   0 |   2 |1175k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
994.60/994.91	c   939s|  1810k|    33 |  6660 |   0.0 |  15M| 103 |   - | 167 | 395 |   0 |   0 |   2 |1182k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
999.70/1000.00	c   944s|  1820k|    42 |  6660 |   0.0 |  15M| 103 |   - | 167 | 371 |   0 |   0 |   2 |1188k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1004.70/1005.02	c   949s|  1830k|    31 |  6660 |   0.0 |  15M| 103 |   - | 167 | 398 |   0 |   0 |   2 |1194k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1010.29/1010.62	c   954s|  1840k|    31 |  6660 |   0.0 |  15M| 103 |   - | 167 | 417 |   0 |   0 |   2 |1201k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1015.40/1015.78	c   959s|  1850k|    34 |  6660 |   0.0 |  15M| 103 |   - | 167 | 385 |   0 |   0 |   2 |1207k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1020.89/1021.26	c   964s|  1860k|    31 |  6660 |   0.0 |  15M| 103 |   - | 167 | 402 |   0 |   0 |   2 |1214k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1026.09/1026.41	c   969s|  1870k|    37 |  6660 |   0.0 |  15M| 103 |   - | 167 | 388 |   0 |   0 |   2 |1221k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1030.99/1031.30	c   974s|  1880k|    36 |  6660 |   0.0 |  15M| 103 |   - | 167 | 396 |   0 |   0 |   2 |1227k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1036.59/1036.95	c   979s|  1890k|    32 |  6660 |   0.0 |  15M| 103 |   - | 167 | 396 |   0 |   0 |   2 |1233k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1041.58/1041.95	c   984s|  1900k|    32 |  6660 |   0.0 |  15M| 103 |   - | 167 | 389 |   0 |   0 |   2 |1239k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1047.08/1047.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1047.08/1047.44	c   989s|  1910k|    33 |  6660 |   0.0 |  15M| 103 |   - | 167 | 397 |   0 |   0 |   2 |1246k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1052.49/1052.84	c   994s|  1920k|    35 |  6660 |   0.0 |  15M| 103 |   - | 167 | 391 |   0 |   0 |   2 |1253k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1057.89/1058.24	c   999s|  1930k|    36 |  6660 |   0.0 |  15M| 103 |   - | 167 | 404 |   0 |   0 |   2 |1259k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1063.08/1063.45	c  1004s|  1940k|    29 |  6660 |   0.0 |  15M| 103 |   - | 167 | 414 |   0 |   0 |   2 |1266k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1068.58/1068.99	c  1009s|  1950k|    32 |  6660 |   0.0 |  15M| 103 |   - | 167 | 412 |   0 |   0 |   2 |1272k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1073.98/1074.30	c  1014s|  1960k|    29 |  6660 |   0.0 |  15M| 103 |   - | 167 | 398 |   0 |   0 |   2 |1278k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1079.18/1079.55	c  1019s|  1970k|    34 |  6660 |   0.0 |  15M| 103 |   - | 167 | 388 |   0 |   0 |   2 |1285k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1084.57/1084.96	c  1024s|  1980k|    33 |  6660 |   0.0 |  15M| 103 |   - | 167 | 377 |   0 |   0 |   2 |1292k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1089.97/1090.37	c  1029s|  1990k|    31 |  6660 |   0.0 |  15M| 103 |   - | 167 | 421 |   0 |   0 |   2 |1300k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1095.47/1095.81	c  1035s|  2000k|    37 |  6660 |   0.0 |  15M| 103 |   - | 167 | 406 |   0 |   0 |   2 |1307k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1100.97/1101.38	c  1040s|  2010k|    30 |  6660 |   0.0 |  15M| 103 |   - | 167 | 405 |   0 |   0 |   2 |1313k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1106.36/1106.75	c  1045s|  2020k|    33 |  6660 |   0.0 |  15M| 103 |   - | 167 | 405 |   0 |   0 |   2 |1320k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1111.77/1112.19	c  1050s|  2030k|    31 |  6660 |   0.0 |  15M| 103 |   - | 167 | 417 |   0 |   0 |   2 |1326k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1116.96/1117.36	c  1055s|  2040k|    32 |  6660 |   0.0 |  15M| 103 |   - | 167 | 408 |   0 |   0 |   2 |1333k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1122.37/1122.70	c  1060s|  2050k|    25 |  6660 |   0.0 |  15M| 103 |   - | 167 | 418 |   0 |   0 |   2 |1339k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1127.66/1128.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1127.66/1128.06	c  1065s|  2060k|    35 |  6660 |   0.0 |  15M| 103 |   - | 167 | 406 |   0 |   0 |   2 |1345k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1132.76/1133.18	c  1070s|  2070k|    35 |  6660 |   0.0 |  15M| 103 |   - | 167 | 403 |   0 |   0 |   2 |1352k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1138.26/1138.68	c  1075s|  2080k|    35 |  6660 |   0.0 |  15M| 103 |   - | 167 | 387 |   0 |   0 |   2 |1358k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1143.56/1143.96	c  1080s|  2090k|    33 |  6660 |   0.0 |  15M| 103 |   - | 167 | 406 |   0 |   0 |   2 |1365k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1148.85/1149.20	c  1085s|  2100k|    32 |  6660 |   0.0 |  15M| 103 |   - | 167 | 433 |   0 |   0 |   2 |1371k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1153.85/1154.29	c  1090s|  2110k|    32 |  6660 |   0.0 |  15M| 103 |   - | 167 | 423 |   0 |   0 |   2 |1377k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1159.25/1159.67	c  1095s|  2120k|    30 |  6660 |   0.0 |  15M| 103 |   - | 167 | 421 |   0 |   0 |   2 |1384k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1164.55/1164.96	c  1100s|  2130k|    33 |  6660 |   0.0 |  15M| 103 |   - | 167 | 400 |   0 |   0 |   2 |1390k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1170.06/1170.45	c  1105s|  2140k|    31 |  6660 |   0.0 |  15M| 103 |   - | 167 | 416 |   0 |   0 |   2 |1397k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1176.35/1176.74	c  1111s|  2150k|    28 |  6660 |   0.0 |  15M| 103 |   - | 167 | 465 |   0 |   0 |   2 |1404k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1181.25/1181.64	c  1116s|  2160k|    36 |  6660 |   0.0 |  15M| 103 |   - | 167 | 390 |   0 |   0 |   2 |1410k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1186.74/1187.11	c  1121s|  2170k|    33 |  6660 |   0.0 |  15M| 103 |   - | 167 | 385 |   0 |   0 |   2 |1417k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1192.34/1192.71	c  1126s|  2180k|    31 |  6660 |   0.0 |  15M| 103 |   - | 167 | 396 |   0 |   0 |   2 |1423k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1197.74/1198.19	c  1131s|  2190k|    33 |  6660 |   0.0 |  15M| 103 |   - | 167 | 407 |   0 |   0 |   2 |1430k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1203.24/1203.65	c  1136s|  2200k|    36 |  6660 |   0.0 |  15M| 103 |   - | 167 | 420 |   0 |   0 |   2 |1437k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1208.54/1208.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1208.54/1208.97	c  1141s|  2210k|    29 |  6660 |   0.0 |  15M| 103 |   - | 167 | 422 |   0 |   0 |   2 |1444k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1214.05/1214.44	c  1146s|  2220k|    31 |  6660 |   0.0 |  15M| 103 |   - | 167 | 419 |   0 |   0 |   2 |1450k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1219.23/1219.68	c  1151s|  2230k|    32 |  6660 |   0.0 |  15M| 103 |   - | 167 | 422 |   0 |   0 |   2 |1456k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1224.63/1225.00	c  1156s|  2240k|    27 |  6660 |   0.0 |  15M| 103 |   - | 167 | 427 |   0 |   0 |   2 |1463k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1229.83/1230.26	c  1161s|  2250k|    27 |  6660 |   0.0 |  15M| 103 |   - | 167 | 422 |   0 |   0 |   2 |1469k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1235.33/1235.70	c  1167s|  2260k|    28 |  6660 |   0.0 |  15M| 103 |   - | 167 | 415 |   0 |   0 |   2 |1475k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1240.33/1240.73	c  1171s|  2270k|    38 |  6660 |   0.0 |  15M| 103 |   - | 167 | 377 |   0 |   0 |   2 |1481k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1245.13/1245.54	c  1176s|  2280k|    39 |  6660 |   0.0 |  15M| 103 |   - | 167 | 378 |   0 |   0 |   2 |1487k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1250.12/1250.57	c  1181s|  2290k|    31 |  6660 |   0.0 |  15M| 103 |   - | 167 | 389 |   0 |   0 |   2 |1493k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1255.23/1255.63	c  1185s|  2300k|    32 |  6660 |   0.0 |  15M| 103 |   - | 167 | 371 |   0 |   0 |   2 |1499k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1260.42/1260.80	c  1190s|  2310k|    29 |  6660 |   0.0 |  15M| 103 |   - | 167 | 397 |   0 |   0 |   2 |1506k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1265.82/1266.29	c  1195s|  2320k|    32 |  6660 |   0.0 |  15M| 103 |   - | 167 | 388 |   0 |   0 |   2 |1512k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1271.22/1271.67	c  1200s|  2330k|    30 |  6660 |   0.0 |  15M| 103 |   - | 167 | 407 |   0 |   0 |   2 |1519k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1276.12/1276.58	c  1205s|  2340k|    31 |  6660 |   0.0 |  15M| 103 |   - | 167 | 390 |   0 |   0 |   2 |1525k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1281.62/1282.03	c  1210s|  2350k|    32 |  6660 |   0.0 |  15M| 103 |   - | 167 | 379 |   0 |   0 |   2 |1531k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1286.91/1287.31	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1286.91/1287.31	c  1215s|  2360k|    28 |  6660 |   0.0 |  15M| 103 |   - | 167 | 384 |   0 |   0 |   2 |1538k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1291.81/1292.21	c  1220s|  2370k|    32 |  6660 |   0.0 |  15M| 103 |   - | 167 | 386 |   0 |   0 |   2 |1544k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1296.91/1297.32	c  1225s|  2380k|    26 |  6660 |   0.0 |  15M| 103 |   - | 167 | 411 |   0 |   0 |   2 |1550k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1302.21/1302.61	c  1230s|  2390k|    28 |  6660 |   0.0 |  15M| 103 |   - | 167 | 400 |   0 |   0 |   2 |1556k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1307.42/1307.89	c  1235s|  2400k|    30 |  6660 |   0.0 |  15M| 103 |   - | 167 | 393 |   0 |   0 |   2 |1563k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1312.70/1313.15	c  1239s|  2410k|    28 |  6660 |   0.0 |  15M| 103 |   - | 167 | 415 |   0 |   0 |   2 |1569k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1318.00/1318.40	c  1244s|  2420k|    28 |  6660 |   0.0 |  15M| 103 |   - | 167 | 420 |   0 |   0 |   2 |1576k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1323.41/1323.81	c  1250s|  2430k|    31 |  6660 |   0.0 |  15M| 103 |   - | 167 | 398 |   0 |   0 |   2 |1582k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1328.91/1329.31	c  1255s|  2440k|    28 |  6660 |   0.0 |  15M| 103 |   - | 167 | 474 |   0 |   0 |   2 |1589k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1334.00/1334.41	c  1260s|  2450k|    28 |  6660 |   0.0 |  15M| 103 |   - | 167 | 410 |   0 |   0 |   2 |1596k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1339.30/1339.78	c  1265s|  2460k|    34 |  6660 |   0.0 |  15M| 103 |   - | 167 | 400 |   0 |   0 |   2 |1602k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1344.99/1345.49	c  1270s|  2470k|    28 |  6660 |   0.0 |  15M| 103 |   - | 167 | 380 |   0 |   0 |   2 |1609k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1350.60/1351.03	c  1275s|  2480k|    28 |  6660 |   0.0 |  15M| 103 |   - | 167 | 370 |   0 |   0 |   2 |1615k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1356.00/1356.49	c  1280s|  2490k|    28 |  6660 |   0.0 |  15M| 103 |   - | 167 | 381 |   0 |   0 |   2 |1622k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1361.59/1362.01	c  1286s|  2500k|    27 |  6660 |   0.0 |  15M| 103 |   - | 167 | 401 |   0 |   0 |   2 |1628k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1366.80/1367.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1366.80/1367.27	c  1291s|  2510k|    34 |  6660 |   0.0 |  15M| 103 |   - | 167 | 366 |   0 |   0 |   2 |1635k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1371.79/1372.25	c  1295s|  2520k|    33 |  6660 |   0.0 |  15M| 103 |   - | 167 | 392 |   0 |   0 |   2 |1640k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1376.80/1377.24	c  1300s|  2530k|    26 |  6660 |   0.0 |  15M| 103 |   - | 167 | 378 |   0 |   0 |   2 |1646k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1381.69/1382.10	c  1304s|  2540k|    33 |  6660 |   0.0 |  15M| 103 |   - | 167 | 385 |   0 |   0 |   2 |1652k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1386.59/1387.01	c  1309s|  2550k|    31 |  6660 |   0.0 |  15M| 103 |   - | 167 | 397 |   0 |   0 |   2 |1657k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1391.78/1392.22	c  1314s|  2560k|    37 |  6660 |   0.0 |  15M| 103 |   - | 167 | 373 |   0 |   0 |   2 |1663k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1397.09/1397.56	c  1319s|  2570k|    31 |  6660 |   0.0 |  15M| 103 |   - | 167 | 393 |   0 |   0 |   2 |1670k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1402.18/1402.64	c  1324s|  2580k|    31 |  6660 |   0.0 |  15M| 103 |   - | 167 | 389 |   0 |   0 |   2 |1675k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1407.49/1407.91	c  1329s|  2590k|    40 |  6660 |   0.0 |  15M| 103 |   - | 167 | 368 |   0 |   0 |   2 |1681k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1412.58/1413.08	c  1334s|  2600k|    29 |  6660 |   0.0 |  15M| 103 |   - | 167 | 406 |   0 |   0 |   2 |1688k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1417.87/1418.32	c  1339s|  2610k|    33 |  6660 |   0.0 |  15M| 103 |   - | 167 | 392 |   0 |   0 |   2 |1694k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1423.07/1423.53	c  1344s|  2620k|    34 |  6660 |   0.0 |  15M| 103 |   - | 167 | 384 |   0 |   0 |   2 |1700k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1428.38/1428.82	c  1349s|  2630k|    33 |  6660 |   0.0 |  15M| 103 |   - | 167 | 390 |   0 |   0 |   2 |1707k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1433.37/1433.89	c  1353s|  2640k|    29 |  6660 |   0.0 |  15M| 103 |   - | 167 | 399 |   0 |   0 |   2 |1713k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1438.76/1439.21	c  1358s|  2650k|    30 |  6660 |   0.0 |  15M| 103 |   - | 167 | 422 |   0 |   0 |   2 |1719k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1444.27/1444.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1444.27/1444.73	c  1364s|  2660k|    30 |  6660 |   0.0 |  15M| 103 |   - | 167 | 394 |   0 |   0 |   2 |1726k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1449.57/1450.04	c  1369s|  2670k|    32 |  6660 |   0.0 |  15M| 103 |   - | 167 | 400 |   0 |   0 |   2 |1732k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1455.07/1455.57	c  1374s|  2680k|    29 |  6660 |   0.0 |  15M| 103 |   - | 167 | 396 |   0 |   0 |   2 |1739k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1460.66/1461.11	c  1379s|  2690k|    32 |  6660 |   0.0 |  15M| 103 |   - | 167 | 412 |   0 |   0 |   2 |1745k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1466.26/1466.74	c  1384s|  2700k|    29 |  6660 |   0.0 |  15M| 103 |   - | 167 | 412 |   0 |   0 |   2 |1752k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1471.76/1472.20	c  1390s|  2710k|    29 |  6660 |   0.0 |  15M| 103 |   - | 167 | 373 |   0 |   0 |   2 |1758k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1476.95/1477.47	c  1395s|  2720k|    29 |  6660 |   0.0 |  15M| 103 |   - | 167 | 401 |   0 |   0 |   2 |1764k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1482.56/1483.07	c  1400s|  2730k|    22 |  6660 |   0.0 |  15M| 103 |   - | 167 | 427 |   0 |   0 |   2 |1771k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1488.16/1488.64	c  1405s|  2740k|    31 |  6660 |   0.0 |  15M| 103 |   - | 167 | 385 |   0 |   0 |   2 |1777k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1493.36/1493.84	c  1410s|  2750k|    27 |  6660 |   0.0 |  15M| 103 |   - | 167 | 406 |   0 |   0 |   2 |1784k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1498.75/1499.25	c  1415s|  2760k|    29 |  6660 |   0.0 |  15M| 103 |   - | 167 | 402 |   0 |   0 |   2 |1790k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1503.95/1504.46	c  1420s|  2770k|    28 |  6660 |   0.0 |  15M| 103 |   - | 167 | 387 |   0 |   0 |   2 |1796k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1509.15/1509.67	c  1425s|  2780k|    34 |  6660 |   0.0 |  15M| 103 |   - | 167 | 376 |   0 |   0 |   2 |1803k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1514.45/1514.91	c  1430s|  2790k|    31 |  6660 |   0.0 |  15M| 103 |   - | 167 | 396 |   0 |   0 |   2 |1809k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1520.15/1520.62	c  1435s|  2800k|    34 |  6660 |   0.0 |  15M| 103 |   - | 167 | 384 |   0 |   0 |   2 |1816k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1525.64/1526.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1525.64/1526.15	c  1440s|  2810k|    36 |  6660 |   0.0 |  15M| 103 |   - | 167 | 378 |   0 |   0 |   2 |1823k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1530.94/1531.43	c  1445s|  2820k|    33 |  6660 |   0.0 |  15M| 103 |   - | 167 | 386 |   0 |   0 |   2 |1829k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1536.04/1536.55	c  1450s|  2830k|    32 |  6660 |   0.0 |  15M| 103 |   - | 167 | 376 |   0 |   0 |   2 |1835k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1541.24/1541.71	c  1455s|  2840k|    31 |  6660 |   0.0 |  15M| 103 |   - | 167 | 396 |   0 |   0 |   2 |1842k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1546.23/1546.74	c  1460s|  2850k|    36 |  6660 |   0.0 |  15M| 103 |   - | 167 | 388 |   0 |   0 |   2 |1848k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1551.43/1551.90	c  1465s|  2860k|    36 |  6660 |   0.0 |  15M| 103 |   - | 167 | 386 |   0 |   0 |   2 |1855k| 721 | 2.300000e+01 | 2.400000e+01 |   4.35%
1555.63/1556.13	o 23
1555.63/1556.13	c *1469s|  2867k|     0 |  6660 |   0.0 |  15M| 103 |   - | 167 | 390 |   0 |   0 |   2 |1860k| 721 | 2.300000e+01 | 2.300000e+01 |   0.00%
1555.63/1556.13	c 
1555.63/1556.13	c SCIP Status        : problem is solved [optimal solution found]
1555.63/1556.13	c Solving Time (sec) : 1468.71
1555.63/1556.13	c Solving Nodes      : 2867780 (total of 2867787 nodes in 8 runs)
1555.63/1556.13	c Primal Bound       : +2.30000000000000e+01 (4 solutions)
1555.63/1556.13	c Dual Bound         : +2.30000000000000e+01
1555.63/1556.13	c Gap                : 0.00 %
1555.63/1556.15	s OPTIMUM FOUND
1555.63/1556.15	v x174 x173 x4426 x172 x4424 -x4422 -x171 -x4420 x4418 -x4416 x4414 -x4412 -x4410 -x4408 -x170 -x4406 -x4404 -x4402 -x4400 -x4398 
1555.63/1556.15	v x4396 -x4394 -x169 -x4392 -x4390 -x4388 -x168 -x4386 -x4384 -x167 -x4382 -x4380 -x4378 -x4376 -x4374 -x4372 -x4370 -x166 -x4368 
1555.63/1556.15	v -x4366 -x4364 -x165 -x4362 -x4359 -x4357 -x4355 -x4353 -x4351 -x164 -x4349 -x4347 -x4345 -x4343 -x4341 -x4339 -x4337 -x163 
1555.63/1556.15	v -x4335 -x4333 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316 -x4314 -x4312 -x162 -x4310 x161 x4308 -x4306 -x4304 x160 
1555.63/1556.15	v x4302 -x4300 -x4298 -x159 -x4296 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x158 -x4282 -x4280 x4278 -x4276 -x4274 -x4272 
1555.63/1556.15	v -x4270 -x4268 -x4266 -x4264 -x157 -x4262 -x4260 -x4258 -x4256 -x4253 -x4251 -x156 -x4249 -x4247 -x4245 -x155 -x4243 -x4241 -x4239 
1555.63/1556.15	v -x4237 -x4235 -x4233 -x4231 -x154 -x4229 -x4227 -x4225 -x4223 -x4221 -x4219 -x4217 -x153 -x4215 -x4213 -x4211 -x4209 -x4207 
1555.63/1556.15	v -x4205 -x4203 -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189 -x4187 -x152 -x4185 -x4183 -x4181 -x4179 -x4177 -x4175 -x4173 
1555.63/1556.15	v -x151 -x4171 -x4169 -x4167 -x4165 -x4163 -x4161 -x4159 -x4156 -x4154 -x4152 -x4150 -x4148 -x4146 -x4144 -x150 -x4142 -x4140 
1555.63/1556.15	v -x4138 -x4136 -x4134 -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x149 -x4112 -x148 -x4110 -x4108 
1555.63/1556.15	v -x4106 -x147 -x4104 -x4102 -x4100 x4098 -x4096 -x4094 -x4092 -x4090 -x4088 -x4086 -x146 -x4084 -x4082 -x145 -x4080 -x4078 
1555.63/1556.15	v -x4076 -x4074 -x4072 -x4070 -x4068 -x144 -x4066 -x4064 -x4062 -x4060 -x4058 -x4056 -x4054 -x143 -x4052 -x4050 -x4048 -x4046 -x4044 
1555.63/1556.15	v -x4042 -x4040 -x4038 -x4036 -x4034 -x4032 -x4030 -x4028 -x4026 -x4024 -x142 -x4022 -x4020 -x4018 -x141 -x4016 -x4014 -x4012 
1555.63/1556.15	v -x4010 x4008 -x4006 -x4004 x140 -x4002 -x4000 -x3998 -x3996 -x3994 -x3992 -x139 -x3990 -x3988 -x3986 -x3984 -x3982 -x3980 
1555.63/1556.15	v -x3978 -x3976 -x3974 -x3971 -x3969 -x3967 -x3965 -x3963 -x138 -x3961 -x3959 -x3957 -x3955 -x3953 -x3951 -x3949 -x137 -x3947 
1555.63/1556.15	v -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 -x3933 -x3930 -x3928 -x3926 -x3924 -x3922 -x3920 -x136 -x3918 -x3916 -x3914 -x135 
1555.63/1556.15	v -x3912 -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 -x134 -x3898 -x3896 -x3894 -x3892 -x3890 -x3888 -x3886 -x133 -x3884 -x3882 -x3880 
1555.63/1556.15	v -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x132 -x3854 -x3852 -x3850 -x3848 -x3846 
1555.63/1556.15	v -x3844 -x3842 -x131 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x3818 -x3816 -x3814 -x3812 
1555.63/1556.15	v -x130 -x3810 -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782 -x129 -x3780 
1555.63/1556.15	v -x3778 -x3776 -x3774 -x3772 -x3770 -x3768 -x128 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 
1555.63/1556.15	v -x3744 -x3742 -x3740 -x3738 -x127 -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x3720 -x3718 -x3716 -x3714 -x3712 
1555.63/1556.15	v -x3710 -x3708 -x126 -x3706 -x3704 -x3702 -x3700 -x3698 -x3696 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 
1555.63/1556.15	v -x3676 -x3674 -x3672 -x3670 -x3668 -x3666 -x3664 -x3662 -x3660 -x3658 x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 
1555.63/1556.15	v -x3640 -x3638 -x3636 -x3634 -x3632 -x3630 -x3628 -x3626 -x3624 -x3622 -x3620 -x3618 -x125 -x3616 -x3614 -x3612 -x3610 -x3608 
1555.63/1556.15	v -x3606 -x3604 -x3602 -x3599 -x3597 -x3595 -x3593 -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x3579 -x3577 -x3575 -x3573 -x3571 
1555.63/1556.15	v -x3569 -x3567 -x3565 -x3563 -x3561 -x3559 -x3557 -x124 -x3555 -x123 -x3553 -x3551 -x3549 -x122 -x3547 -x3545 -x3543 -x121 
1555.63/1556.15	v -x3541 -x3539 x3537 -x3535 -x3533 -x3531 -x3529 -x3527 -x3525 -x3523 -x120 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 -x3509 
1555.63/1556.15	v -x119 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x118 -x3493 -x3491 -x3489 -x3487 -x3485 -x3483 -x3481 x3479 -x3477 
1555.63/1556.15	v -x3475 -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 -x3461 -x3459 -x117 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x116 -x3443 
1555.63/1556.15	v -x3441 -x3439 -x3437 -x3435 -x3433 -x3431 -x115 -x3429 -x3427 -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 
1555.63/1556.15	v -x3407 -x3405 -x3403 -x3401 -x114 -x3399 -x3396 -x3394 -x3392 -x3390 -x3388 -x113 -x3386 -x3384 -x3382 -x3380 -x3378 -x3376 
1555.63/1556.15	v -x3374 -x3372 -x3370 -x3368 -x3366 -x3364 -x3361 -x3359 -x112 -x3357 -x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341 
1555.63/1556.15	v -x3339 -x3337 -x3335 -x3333 -x3331 -x3329 -x111 -x3327 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 
1555.63/1556.15	v -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3278 -x3276 -x3274 -x3272 -x3270 
1555.63/1556.15	v -x3268 -x3266 -x3264 -x3262 -x110 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x109 -x3246 -x3244 -x3242 -x3240 -x3238 
1555.63/1556.15	v -x3236 -x3234 -x108 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 -x3208 -x3206 -x3204 
1555.63/1556.15	v -x107 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x106 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 
1555.63/1556.15	v -x3170 -x3168 -x3166 -x3164 -x3162 -x3160 -x105 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 
1555.63/1556.15	v -x3136 -x3134 -x3131 -x104 -x3129 -x3127 -x3125 -x3123 -x3121 -x3119 -x3117 -x103 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 
1555.63/1556.15	v -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x102 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 
1555.63/1556.15	v -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x101 -x3055 -x3053 -x3051 -x3049 -x3047 -x3045 -x3043 -x3041 -x3039 -x3037 
1555.63/1556.15	v -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001 
1555.63/1556.15	v -x2999 -x2997 -x2995 -x100 -x2993 -x2991 -x2989 -x99 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975 -x98 -x2973 -x2971 
1555.63/1556.15	v -x2969 -x2967 -x2965 -x2963 -x2961 -x97 -x2959 -x2957 -x2955 -x2953 -x2951 -x2949 -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935 
1555.63/1556.15	v -x2933 -x2931 -x96 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x95 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903 
1555.63/1556.15	v -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x94 -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 -x2873 -x93 -x2871 
1555.63/1556.15	v -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x92 -x2841 -x2839 -x2837 -x2835 
1555.63/1556.15	v -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x91 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 
1555.63/1556.15	v -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 
1555.63/1556.15	v -x2762 -x2760 -x2758 -x2756 -x2754 -x2752 -x90 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x89 -x2736 -x2734 -x2732 
1555.63/1556.15	v -x2730 -x2728 -x2726 -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x88 -x2706 -x2704 -x2702 -x2700 -x2698 
1555.63/1556.15	v -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x87 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 
1555.63/1556.15	v -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 
1555.63/1556.15	v -x2626 -x2624 -x2622 -x2620 -x2618 -x86 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594 
1555.63/1556.15	v -x2592 -x2590 -x2588 -x85 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 
1555.63/1556.15	v -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x84 -x2524 
1555.63/1556.15	v -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x83 -x2494 -x2492 -x2490 
1555.63/1556.15	v -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 
1555.63/1556.15	v -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x2434 -x82 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 
1555.63/1556.15	v -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 
1555.63/1556.15	v -x2381 -x2379 -x2377 -x2375 -x2373 -x81 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 
1555.63/1556.15	v -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 x2321 -x2319 -x2317 -x2315 -x2313 
1555.63/1556.15	v -x2311 -x2309 -x2307 -x2305 -x2303 -x2301 -x2299 -x2297 -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 
1555.63/1556.15	v -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x2261 -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x80 -x2243 
1555.63/1556.15	v -x2241 -x2239 -x79 -x2237 -x2235 -x2233 -x78 -x2231 -x2229 -x2227 -x77 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 
1555.63/1556.15	v -x76 -x2211 -x2209 -x75 -x2207 -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x74 -x2193 -x2191 -x2189 -x73 -x2187 -x2185 -x2183 
1555.63/1556.15	v -x2181 -x2179 -x2177 -x2175 -x72 -x2173 -x2171 -x2169 -x2167 -x2165 -x2163 -x2161 -x71 -x2159 -x2156 -x2154 -x2152 -x2150 -x2148 
1555.63/1556.15	v -x70 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 -x69 -x2116 
1555.63/1556.15	v -x2114 -x2112 -x68 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x67 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x66 
1555.63/1556.15	v -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x65 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 
1555.63/1556.15	v -x2048 -x2046 -x2044 -x2042 -x2040 -x64 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x63 -x2024 -x2022 -x2020 -x2018 -x2016 
1555.63/1556.15	v -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x62 -x1994 -x1992 -x1989 -x1987 -x1985 -x1983 -x1981 
1555.63/1556.15	v -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x61 -x1965 -x1963 -x1961 -x60 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 
1555.63/1556.15	v -x1947 -x59 -x1945 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x58 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 -x57 -x1917 
1555.63/1556.15	v -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 -x1893 -x1891 -x1889 -x56 -x1887 -x1885 -x1883 
1555.63/1556.15	v -x1881 -x1879 -x1877 -x1875 -x55 -x1873 -x1871 -x1869 -x1867 -x1865 -x1863 -x1861 -x1859 -x1857 -x1855 -x1853 -x1851 -x1849 
1555.63/1556.15	v -x1847 -x1845 -x54 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 
1555.63/1556.15	v -x53 -x1813 -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x1789 -x1787 -x1785 -x52 -x1783 -x1781 
1555.63/1556.15	v -x1779 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 
1555.63/1556.15	v -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 -x51 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 
1555.63/1556.15	v -x1709 -x50 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x49 
1555.63/1556.15	v -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655 -x1653 -x1651 -x1649 -x48 -x1647 -x1645 
1555.63/1556.15	v -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 
1555.63/1556.15	v -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 x1589 -x1587 -x1585 -x47 -x1583 -x1581 -x1579 -x46 -x1577 -x1575 
1555.63/1556.15	v -x1573 -x45 -x1571 -x1569 -x1567 -x44 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 -x43 -x1551 x1549 -x1547 -x1545 -x1543 
1555.63/1556.15	v -x1541 -x1539 -x1537 -x1535 -x1533 -x42 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x41 -x1517 -x1515 -x1513 -x40 
1555.63/1556.15	v -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x39 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x38 -x1483 -x1481 -x1479 
1555.63/1556.15	v -x1477 -x1475 -x1473 -x1471 -x37 -x1469 -x1467 -x1465 x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447 -x1445 
1555.63/1556.15	v -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x36 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x1413 -x1411 
1555.63/1556.15	v -x1409 -x1407 -x1405 -x1403 -x1401 -x1399 -x1397 -x35 -x1395 -x1393 -x1391 -x34 -x1389 -x1386 -x1384 -x1382 -x1380 -x33 -x1378 
1555.63/1556.15	v -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 -x32 -x1364 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 
1555.63/1556.15	v -x1341 -x1339 -x1337 -x31 -x1335 -x1333 -x1331 -x30 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x29 -x1315 -x1313 -x1311 
1555.63/1556.15	v -x1309 -x1307 -x1305 -x1303 -x28 -x1301 -x1299 -x1297 -x1295 -x1293 -x1291 -x1289 -x27 -x1287 -x1285 -x1283 -x1281 -x1279 
1555.63/1556.15	v -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x26 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 
1555.63/1556.15	v -x25 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x24 -x1213 -x1211 
1555.63/1556.15	v -x1209 -x1207 -x1205 -x1203 x1201 -x1199 -x1197 -x1194 -x1192 -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 
1555.63/1556.15	v -x1172 -x23 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x22 
1555.63/1556.15	v -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x1112 -x21 -x1110 -x1108 
1555.63/1556.15	v -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x20 -x1080 -x1078 -x1076 -x1074 
1555.63/1556.15	v -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 
1555.63/1556.15	v -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x19 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 -x1004 
1555.63/1556.15	v -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x18 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x974 x972 -x970 -x968 -x966 -x964 
1555.63/1556.15	v -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 
1555.63/1556.15	v -x17 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x16 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x15 -x892 -x890 -x888 -x886 
1555.63/1556.15	v -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x14 -x862 -x860 -x858 -x856 -x854 -x852 x850 -x848 -x846 -x844 
1555.63/1556.15	v -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x13 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 
1555.63/1556.15	v -x802 -x800 -x798 -x796 -x794 -x792 -x790 -x12 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 
1555.63/1556.15	v -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x11 -x726 -x724 
1555.63/1556.15	v -x722 -x720 -x718 -x716 -x714 -x10 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 
1555.63/1556.15	v -x9 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x8 -x652 -x650 -x648 -x646 
1555.63/1556.15	v -x644 -x642 -x640 -x638 -x636 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x603 
1555.63/1556.15	v -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x7 -x577 -x575 -x573 -x571 -x569 -x567 -x565 -x563 
1555.63/1556.15	v -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x6 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 
1555.63/1556.15	v -x521 -x519 -x5 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 
1555.63/1556.15	v -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x4 -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 
1555.63/1556.15	v -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x3 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 
1555.63/1556.15	v -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x2 -x363 -x361 
1555.63/1556.15	v -x359 -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 
1555.63/1556.15	v -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x1 -x301 -x299 -x297 -x295 -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 
1555.63/1556.15	v -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x255 -x253 -x251 -x249 -x247 -x245 x243 -x241 -x239 -x237 
1555.63/1556.15	v -x235 -x233 -x231 -x229 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 -x201 -x199 -x197 -x195 
1555.63/1556.15	v -x193 -x191 -x189 -x187 -x185 -x183 -x181 -x179 -x177 -x175 x4427 x4425 -x4423 -x4421 x4419 -x4417 x4415 -x4413 -x4411 -x4409 
1555.63/1556.15	v -x4407 -x4405 -x4403 -x4401 -x4399 x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 -x4377 -x4375 -x4373 
1555.63/1556.15	v -x4371 -x4369 -x4367 -x4365 -x4363 -x4361 -x4360 -x4358 -x4356 -x4354 -x4352 -x4350 -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 
1555.63/1556.15	v -x4336 -x4334 -x4332 -x4331 -x4329 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 -x4313 -x4311 x4309 -x4307 -x4305 x4303 
1555.63/1556.15	v -x4301 -x4299 -x4297 -x4295 -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x4281 x4279 -x4277 -x4275 -x4273 -x4271 -x4269 -x4267 
1555.63/1556.15	v -x4265 -x4263 -x4261 -x4259 -x4257 -x4255 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 -x4242 -x4240 -x4238 -x4236 -x4234 -x4232 
1555.63/1556.15	v -x4230 -x4228 -x4226 -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x4202 -x4200 -x4198 
1555.63/1556.15	v -x4196 -x4194 -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4174 -x4172 -x4170 -x4168 -x4166 -x4164 -x4162 
1555.63/1556.15	v -x4160 -x4158 -x4157 -x4155 -x4153 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 -x4129 -x4127 
1555.63/1556.15	v -x4125 -x4123 -x4121 -x4119 -x4117 -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 x4099 -x4097 -x4095 -x4093 -x4091 
1555.63/1556.15	v -x4089 -x4087 -x4085 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 
1555.63/1556.15	v -x4053 -x4051 -x4049 -x4047 -x4045 -x4043 -x4041 -x4039 -x4037 -x4035 -x4033 -x4031 -x4029 -x4027 -x4025 -x4023 -x4021 -x4019 
1555.63/1556.15	v -x4017 -x4015 -x4013 -x4011 x4009 -x4007 -x4005 -x4003 -x4001 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985 -x3983 
1555.63/1556.15	v -x3981 -x3979 -x3977 -x3975 -x3973 -x3972 -x3970 -x3968 -x3966 -x3964 -x3962 -x3960 -x3958 -x3956 -x3954 -x3952 -x3950 -x3948 
1555.63/1556.15	v -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917 -x3915 -x3913 
1555.63/1556.15	v -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 
1555.63/1556.15	v -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 
1555.63/1556.15	v -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 
1555.63/1556.15	v -x3805 -x3803 -x3801 -x3799 -x3797 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x3783 -x3781 -x3779 -x3777 -x3775 -x3773 -x3771 
1555.63/1556.15	v -x3769 -x3767 -x3765 -x3763 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 -x3741 -x3739 -x3737 -x3735 
1555.63/1556.15	v -x3733 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 -x3701 -x3699 
1555.63/1556.15	v -x3697 -x3695 -x3693 -x3691 -x3689 -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 -x3663 
1555.63/1556.15	v -x3661 -x3659 x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 -x3635 -x3633 -x3631 -x3629 -x3627 
1555.63/1556.15	v -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x3600 -x3598 -x3596 -x3594 
1555.63/1556.15	v -x3592 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560 -x3558 
1555.63/1556.15	v -x3556 -x3554 -x3552 -x3550 -x3548 -x3546 -x3544 -x3542 -x3540 x3538 -x3536 -x3534 -x3532 -x3530 -x3528 -x3526 -x3524 -x3522 
1555.63/1556.15	v -x3520 -x3518 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x3490 -x3488 -x3486 
1555.63/1556.15	v -x3484 -x3482 x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 -x3462 -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 
1555.63/1556.15	v -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 -x3418 -x3416 -x3414 
1555.63/1556.15	v -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3397 -x3395 -x3393 -x3391 -x3389 -x3387 -x3385 -x3383 -x3381 -x3379 
1555.63/1556.15	v -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 -x3350 -x3348 -x3346 -x3344 
1555.63/1556.15	v -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 -x3318 -x3316 -x3314 -x3312 -x3310 -x3308 
1555.63/1556.15	v -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x3292 -x3290 -x3288 -x3286 -x3284 -x3282 x3280 -x3279 -x3277 -x3275 -x3273 
1555.63/1556.15	v -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 
1555.63/1556.15	v -x3237 -x3235 -x3233 -x3231 -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 
1555.63/1556.15	v -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 
1555.63/1556.15	v -x3165 -x3163 -x3161 -x3159 -x3157 -x3155 -x3153 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3132 
1555.63/1556.15	v -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 
1555.63/1556.15	v -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x3062 -x3060 
1555.63/1556.15	v -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 
1555.63/1556.15	v -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 
1555.63/1556.15	v -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 
1555.63/1556.15	v -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 
1555.63/1556.15	v -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 
1555.63/1556.15	v -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 
1555.63/1556.15	v -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2813 -x2811 
1555.63/1556.15	v -x2809 -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 
1555.63/1556.15	v -x2773 -x2771 -x2769 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 
1555.63/1556.15	v -x2739 -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 
1555.63/1556.15	v -x2703 -x2701 -x2699 -x2697 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 
1555.63/1556.15	v -x2667 -x2665 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x2633 
1555.63/1556.15	v -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x2599 -x2597 
1555.63/1556.15	v -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x2573 -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 
1555.63/1556.15	v -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 
1555.63/1556.15	v -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 
1555.63/1556.15	v -x2489 -x2487 -x2485 -x2483 -x2481 -x2479 -x2477 -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 
1555.63/1556.15	v -x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 
1555.63/1556.15	v -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 
1555.63/1556.15	v -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 
1555.63/1556.15	v -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 x2322 -x2320 -x2318 -x2316 -x2314 -x2312 
1555.63/1556.15	v -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 
1555.63/1556.15	v -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 
1555.63/1556.15	v -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 
1555.63/1556.15	v -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 
1555.63/1556.15	v -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 
1555.63/1556.15	v -x2133 -x2131 -x2129 -x2127 -x2125 -x2123 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 
1555.63/1556.15	v -x2097 -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063 
1555.63/1556.15	v -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2027 
1555.63/1556.15	v -x2025 -x2023 -x2021 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 -x1993 -x1991 
1555.63/1556.15	v -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 
1555.63/1556.15	v -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 
1555.63/1556.15	v -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 
1555.63/1556.15	v -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 
1555.63/1556.15	v -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 
1555.63/1556.15	v -x1812 -x1810 -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 
1555.63/1556.15	v -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 
1555.63/1556.15	v -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 
1555.63/1556.15	v -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 
1555.63/1556.15	v -x1670 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 
1555.63/1556.15	v -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 
1555.63/1556.15	v -x1598 -x1596 -x1594 -x1592 x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 
1555.63/1556.15	v -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 
1555.63/1556.15	v -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 
1555.63/1556.15	v -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 x1464 -x1462 -x1460 -x1458 -x1456 
1555.63/1556.15	v -x1454 -x1452 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 
1555.63/1556.15	v -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1387 -x1385 
1555.63/1556.15	v -x1383 -x1381 -x1379 -x1377 -x1375 -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 
1555.63/1556.15	v -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 
1555.63/1556.15	v -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 
1555.63/1556.15	v -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 
1555.63/1556.15	v -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 
1555.63/1556.15	v -x1206 -x1204 x1202 -x1200 -x1198 -x1196 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173 
1555.63/1556.15	v -x1171 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 
1555.63/1556.15	v -x1135 -x1133 -x1131 -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 
1555.63/1556.15	v -x1099 -x1097 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 
1555.63/1556.15	v -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 
1555.63/1556.15	v -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 
1555.63/1556.15	v -x991 -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x975 x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 
1555.63/1556.15	v -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 
1555.63/1556.15	v -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873 -x871 -x869 
1555.63/1556.15	v -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 x851 -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 
1555.63/1556.15	v -x825 -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 
1555.63/1556.15	v -x783 -x781 -x779 -x777 -x775 -x773 -x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 
1555.63/1556.15	v -x741 -x739 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 
1555.63/1556.15	v -x699 -x697 -x695 -x693 -x691 -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 
1555.63/1556.15	v -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637 x635 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 
1555.63/1556.15	v -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 
1555.63/1556.15	v -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 
1555.63/1556.15	v -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 
1555.63/1556.15	v -x492 -x490 -x488 -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 
1555.63/1556.15	v -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 
1555.63/1556.15	v -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 
1555.63/1556.15	v -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 
1555.63/1556.15	v -x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290 -x288 -x286 
1555.63/1556.15	v -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246 x244 
1555.63/1556.15	v -x242 -x240 -x238 -x236 -x234 -x232 -x230 -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x210 -x208 -x206 -x204 -x202 
1555.63/1556.15	v -x200 -x198 -x196 -x194 -x192 -x190 -x188 -x186 -x184 -x182 -x180 -x178 -x176 
1555.63/1556.15	c SCIP Status        : problem is solved [optimal solution found]
1555.63/1556.15	c Solving Time       :    1468.71
1555.63/1556.15	c Original Problem   :
1555.63/1556.15	c   Problem name     : HOME/instance-2665358-1276632595.opb
1555.63/1556.15	c   Variables        : 4427 (4427 binary, 0 integer, 0 implicit integer, 0 continuous)
1555.63/1556.15	c   Constraints      : 12661 initial, 12661 maximal
1555.63/1556.15	c Presolved Problem  :
1555.63/1556.15	c   Problem name     : t_HOME/instance-2665358-1276632595.opb
1555.63/1556.15	c   Variables        : 167 (167 binary, 0 integer, 0 implicit integer, 0 continuous)
1555.63/1556.15	c   Constraints      : 343 initial, 761 maximal
1555.63/1556.15	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1555.63/1556.15	c   trivial          :       0.00       1932          0          0          0          0          0          0          0
1555.63/1556.15	c   dualfix          :       0.00         11          0          0          0          0          0          0          0
1555.63/1556.15	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1555.63/1556.15	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1555.63/1556.15	c   implics          :       0.01          0         23          0          0          0          0          0          0
1555.63/1556.15	c   probing          :       0.05          0          0          0          0          0          0          0          0
1555.63/1556.15	c   knapsack         :       2.97          0          0          0          0          0          1        324       1054
1555.63/1556.15	c   setppc           :       0.00          0          0          0          0          0         28          0          0
1555.63/1556.15	c   linear           :       0.19        167       2116          0        167          0       5481          0          0
1555.63/1556.15	c   logicor          :       0.28         11          0          0          2          0       5090          0          0
1555.63/1556.15	c   root node        :          -       1933          -          -       1933          -          -          -          -
1555.63/1556.15	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1555.63/1556.15	c   integral         :          0          0          0         99          0          0        391          0          0          2
1555.63/1556.15	c   knapsack         :         12          7   10156860          0          0       1029       2005          0          0          0
1555.63/1556.15	c   setppc           :         19          7   10151668          0          0      21336     610065          0          0          0
1555.63/1556.15	c   logicor          :        312+        16    6506142          0          1    1685022   13379447          0          0          0
1555.63/1556.15	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1555.63/1556.15	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1555.63/1556.15	c   integral         :      26.94       0.00       0.00      26.94       0.00
1555.63/1556.15	c   knapsack         :     585.90       0.95     584.95       0.00       0.00
1555.63/1556.15	c   setppc           :      10.25       0.00      10.25       0.00       0.00
1555.63/1556.15	c   logicor          :     189.18       0.02     189.16       0.00       0.00
1555.63/1556.15	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1555.63/1556.15	c Propagators        :       Time      Calls    Cutoffs    DomReds
1555.63/1556.15	c   vbounds          :       5.38          9          0          0
1555.63/1556.15	c   rootredcost      :       4.14          0          0          0
1555.63/1556.15	c   pseudoobj        :     257.25   10291535     134661   84112304
1555.63/1556.15	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1555.63/1556.15	c   propagation      :     107.07    1842048    1842048    1842048       26.5      19293       11.0          -
1555.63/1556.15	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1555.63/1556.15	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1555.63/1556.15	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1555.63/1556.15	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1555.63/1556.15	c   applied globally :          -          -          -    1620550       25.5          -          -          -
1555.63/1556.15	c   applied locally  :          -          -          -     240002       32.1          -          -          -
1555.63/1556.15	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1555.63/1556.15	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 54)
1555.63/1556.15	c   redcost          :       0.02         16          0       1204          0          0
1555.63/1556.15	c   impliedbounds    :       0.00         16          0          0          0          0
1555.63/1556.15	c   intobj           :       0.00          0          0          0          0          0
1555.63/1556.15	c   cgmip            :       0.00          0          0          0          0          0
1555.63/1556.15	c   gomory           :       6.00         16          0          0       4023          0
1555.63/1556.15	c   strongcg         :       5.08         16          0          0       5720          0
1555.63/1556.15	c   cmir             :       0.66         16          0          0          0          0
1555.63/1556.15	c   flowcover        :       1.15         16          0          0          0          0
1555.63/1556.15	c   clique           :       0.04         16          0          0         65          0
1555.63/1556.15	c   zerohalf         :       0.00          0          0          0          0          0
1555.63/1556.15	c   mcf              :       0.02          8          0          0          0          0
1555.63/1556.15	c   rapidlearning    :       0.00          0          0          0          0          0
1555.63/1556.15	c Pricers            :       Time      Calls       Vars
1555.63/1556.15	c   problem variables:       0.00          0          0
1555.63/1556.15	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1555.63/1556.15	c   relpscost        :      26.94         99          0        391          0          0          2
1555.63/1556.15	c   pscost           :       0.00          0          0          0          0          0          0
1555.63/1556.15	c   inference        :      44.19    2048819          0          0          0          0    4097638
1555.63/1556.15	c   mostinf          :       0.00          0          0          0          0          0          0
1555.63/1556.15	c   leastinf         :       0.00          0          0          0          0          0          0
1555.63/1556.15	c   fullstrong       :       0.00          0          0          0          0          0          0
1555.63/1556.15	c   allfullstrong    :       0.00          0          0          0          0          0          0
1555.63/1556.15	c   random           :       0.00          0          0          0          0          0          0
1555.63/1556.15	c Primal Heuristics  :       Time      Calls      Found
1555.63/1556.15	c   LP solutions     :       0.00          -          0
1555.63/1556.15	c   pseudo solutions :       0.00          -          1
1555.63/1556.15	c   crossover        :       0.00          0          0
1555.63/1556.15	c   oneopt           :       1.55          3          1
1555.63/1556.15	c   trivial          :       0.01          2          0
1555.63/1556.15	c   simplerounding   :       0.00          0          0
1555.63/1556.15	c   zirounding       :       0.00          2          0
1555.63/1556.15	c   rounding         :       0.04        115          1
1555.63/1556.15	c   shifting         :       0.04        100          0
1555.63/1556.15	c   intshifting      :       0.00          0          0
1555.63/1556.15	c   twoopt           :       0.00          0          0
1555.63/1556.15	c   fixandinfer      :       0.00          0          0
1555.63/1556.15	c   feaspump         :       0.08          1          0
1555.63/1556.15	c   coefdiving       :       0.00          0          0
1555.63/1556.15	c   pscostdiving     :       0.00          0          0
1555.63/1556.15	c   fracdiving       :       0.00          0          0
1555.63/1556.15	c   veclendiving     :       0.00          0          0
1555.63/1556.15	c   intdiving        :       0.00          0          0
1555.63/1556.15	c   actconsdiving    :       0.00          0          0
1555.63/1556.15	c   objpscostdiving  :       0.00          0          0
1555.63/1556.15	c   rootsoldiving    :       0.00          0          0
1555.63/1556.15	c   linesearchdiving :       0.00          0          0
1555.63/1556.15	c   guideddiving     :       0.00          0          0
1555.63/1556.15	c   octane           :       0.00          0          0
1555.63/1556.15	c   rens             :       0.78          1          1
1555.63/1556.15	c   rins             :       0.00          0          0
1555.63/1556.15	c   localbranching   :       0.00          0          0
1555.63/1556.15	c   mutation         :       0.00          0          0
1555.63/1556.15	c   dins             :       0.00          0          0
1555.63/1556.15	c   undercover       :       0.00          0          0
1555.63/1556.15	c   nlp              :       1.17          0          0
1555.63/1556.15	c   trysol           :       1.25          0          0
1555.63/1556.15	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1555.63/1556.15	c   primal LP        :       0.01          0          0       0.00       0.00
1555.63/1556.15	c   dual LP          :       2.89        115       6660      57.91    2304.50
1555.63/1556.15	c   lex dual LP      :       0.00          0          0       0.00          -
1555.63/1556.15	c   barrier LP       :       0.00          0          0       0.00          -
1555.63/1556.15	c   diving/probing LP:       0.06          0          0       0.00       0.00
1555.63/1556.15	c   strong branching :      26.91        721      88695     123.02    3295.99
1555.63/1556.15	c     (at root node) :          -        721      88695     123.02          -
1555.63/1556.15	c   conflict analysis:       0.00          0          0       0.00          -
1555.63/1556.15	c B&B Tree           :
1555.63/1556.15	c   number of runs   :          8
1555.63/1556.15	c   nodes            :    2867780
1555.63/1556.15	c   nodes (total)    :    2867787
1555.63/1556.15	c   nodes left       :          0
1555.63/1556.15	c   max depth        :        103
1555.63/1556.15	c   max depth (total):        103
1555.63/1556.15	c   backtracks       :    1029160 (35.9%)
1555.63/1556.15	c   delayed cutoffs  :    1229823
1555.63/1556.15	c   repropagations   :    3091010 (53463518 domain reductions, 1023089 cutoffs)
1555.63/1556.15	c   avg switch length:       2.88
1555.63/1556.15	c   switching time   :     177.27
1555.63/1556.15	c Solution           :
1555.63/1556.15	c   Solutions found  :          4 (4 improvements)
1555.63/1556.15	c   First Solution   : +3.20000000000000e+01   (in run 1, after 1 nodes, 0.48 seconds, depth 0, found by <rounding>)
1555.63/1556.15	c   Primal Bound     : +2.30000000000000e+01   (in run 8, after 2867780 nodes, 1468.71 seconds, depth 46, found by <relaxation>)
1555.63/1556.15	c   Dual Bound       : +2.30000000000000e+01
1555.63/1556.15	c   Gap              :       0.00 %
1555.63/1556.15	c   Root Dual Bound  : +2.30000000000000e+01
1555.63/1556.15	c   Root Iterations  :       6660
1555.63/1556.19	c Time complete: 1555.72.

Verifier Data 

OK	23

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665358-1276632595/watcher-2665358-1276632595 -o /tmp/evaluation-result-2665358-1276632595/solver-2665358-1276632595 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665358-1276632595.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: 1.00 1.00 1.00 2/105 11436
/proc/meminfo: memFree=1815680/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=9288 CPUtime=0
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 1026 0 0 0 0 0 0 0 25 0 1 0 4553090 9510912 945 1992294400 4194304 9819077 140735801306256 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11436/statm: 2322 954 371 1374 0 943 0

[startup+0.03451 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 11436
/proc/meminfo: memFree=1815680/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=13720 CPUtime=0.02
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 2358 0 0 0 2 0 0 0 25 0 1 0 4553090 14049280 2277 1992294400 4194304 9819077 140735801306256 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11436/statm: 3430 2277 388 1374 0 2051 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13720

[startup+0.101517 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 11436
/proc/meminfo: memFree=1815680/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=17620 CPUtime=0.09
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 3350 0 0 0 8 1 0 0 25 0 1 0 4553090 18042880 3269 1992294400 4194304 9819077 140735801306256 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11436/statm: 4405 3269 388 1374 0 3026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17620

[startup+0.301539 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 11436
/proc/meminfo: memFree=1815680/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=37904 CPUtime=0.29
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 8524 0 0 0 26 3 0 0 25 0 1 0 4553090 38813696 8089 1992294400 4194304 9819077 140735801306256 18446744073709551615 5504332 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 9476 8089 465 1374 0 8097 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37904

[startup+0.701585 s]
/proc/loadavg: 1.00 1.00 1.00 2/105 11436
/proc/meminfo: memFree=1815680/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=53952 CPUtime=0.69
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 13405 0 0 0 62 7 0 0 25 0 1 0 4553090 55246848 11295 1992294400 4194304 9819077 140735801306256 18446744073709551615 6656816 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 13488 11295 633 1374 0 12109 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53952

[startup+1.50168 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11437
/proc/meminfo: memFree=1765824/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=66464 CPUtime=1.49
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 17669 0 0 0 139 10 0 0 25 0 1 0 4553090 68059136 14498 1992294400 4194304 9819077 140735801306256 18446744073709551615 6198333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 16616 14498 673 1374 0 15237 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66464

[startup+3.10186 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11437
/proc/meminfo: memFree=1755656/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=72036 CPUtime=3.09
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 19260 0 0 0 296 13 0 0 25 0 1 0 4553090 73764864 15826 1992294400 4194304 9819077 140735801306256 18446744073709551615 5743084 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 18009 15826 675 1374 0 16630 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 72036

[startup+6.30122 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11437
/proc/meminfo: memFree=1740528/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=85544 CPUtime=6.29
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 23794 0 0 0 613 16 0 0 25 0 1 0 4553090 87597056 19206 1992294400 4194304 9819077 140735801306256 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 21386 19206 675 1374 0 20007 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85544

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11437
/proc/meminfo: memFree=1735568/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=114552 CPUtime=12.69
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 43737 0 0 0 1238 31 0 0 25 0 1 0 4553090 117301248 25717 1992294400 4194304 9819077 140735801306256 18446744073709551615 7816636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 28638 25717 707 1374 0 27259 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 114552

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11437
/proc/meminfo: memFree=1749828/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=78592 CPUtime=25.49
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 62481 0 0 0 2505 44 0 0 25 0 1 0 4553090 80478208 18015 1992294400 4194304 9819077 140735801306256 18446744073709551615 6055460 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 19648 18015 728 1374 0 18269 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 78592

[startup+51.1013 s]
/proc/loadavg: 1.07 1.02 1.00 2/106 11437
/proc/meminfo: memFree=1740280/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=82964 CPUtime=51.07
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143301 0 0 0 5011 96 0 0 25 0 1 0 4553090 84955136 19412 1992294400 4194304 9819077 140735801306256 18446744073709551615 4854280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20741 19412 730 1374 0 19362 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 82964

[startup+102.308 s]
/proc/loadavg: 1.11 1.03 1.01 2/106 11439
/proc/meminfo: memFree=1740156/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=82964 CPUtime=102.27
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143301 0 0 0 9800 427 0 0 25 0 1 0 4553090 84955136 19412 1992294400 4194304 9819077 140735801306256 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20741 19412 730 1374 0 19362 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 82964

[startup+162.301 s]
/proc/loadavg: 1.11 1.04 1.00 2/106 11441
/proc/meminfo: memFree=1740032/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=82964 CPUtime=162.25
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143301 0 0 0 15446 779 0 0 25 0 1 0 4553090 84955136 19412 1992294400 4194304 9819077 140735801306256 18446744073709551615 4661524 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20741 19412 730 1374 0 19362 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 82964

[startup+222.301 s]
/proc/loadavg: 1.11 1.04 1.00 2/106 11441
/proc/meminfo: memFree=1740032/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=82964 CPUtime=222.23
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143301 0 0 0 21082 1141 0 0 25 0 1 0 4553090 84955136 19412 1992294400 4194304 9819077 140735801306256 18446744073709551615 4854246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20741 19412 730 1374 0 19362 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 82964

[startup+282.301 s]
/proc/loadavg: 1.10 1.05 1.00 2/106 11443
/proc/meminfo: memFree=1739908/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=82964 CPUtime=282.21
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143301 0 0 0 26744 1477 0 0 25 0 1 0 4553090 84955136 19412 1992294400 4194304 9819077 140735801306256 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20741 19412 730 1374 0 19362 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 82964

[startup+342.301 s]
/proc/loadavg: 1.09 1.05 1.00 2/106 11445
/proc/meminfo: memFree=1739784/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=82964 CPUtime=342.19
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143301 0 0 0 32408 1811 0 0 25 0 1 0 4553090 84955136 19412 1992294400 4194304 9819077 140735801306256 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20741 19412 730 1374 0 19362 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 82964

[startup+402.301 s]
/proc/loadavg: 1.08 1.06 1.00 2/106 11447
/proc/meminfo: memFree=1739660/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=82964 CPUtime=402.17
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143301 0 0 0 38070 2147 0 0 25 0 1 0 4553090 84955136 19412 1992294400 4194304 9819077 140735801306256 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20741 19412 730 1374 0 19362 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 82964

[startup+462.301 s]
/proc/loadavg: 1.08 1.06 1.00 2/106 11449
/proc/meminfo: memFree=1739660/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=82964 CPUtime=462.16
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143315 0 0 0 43721 2495 0 0 25 0 1 0 4553090 84955136 19426 1992294400 4194304 9819077 140735801306256 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20741 19426 730 1374 0 19362 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 82964

[startup+522.302 s]
/proc/loadavg: 1.07 1.06 1.00 2/106 11449
/proc/meminfo: memFree=1739536/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=83100 CPUtime=522.14
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143334 0 0 0 49382 2832 0 0 25 0 1 0 4553090 85094400 19445 1992294400 4194304 9819077 140735801306256 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20775 19445 730 1374 0 19396 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 83100

[startup+582.301 s]
/proc/loadavg: 1.07 1.06 1.00 2/106 11451
/proc/meminfo: memFree=1739288/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=83100 CPUtime=582.13
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143335 0 0 0 55041 3172 0 0 25 0 1 0 4553090 85094400 19446 1992294400 4194304 9819077 140735801306256 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20775 19446 730 1374 0 19396 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 83100

[startup+642.301 s]
/proc/loadavg: 1.06 1.06 1.00 2/106 11453
/proc/meminfo: memFree=1739164/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=83100 CPUtime=642.11
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143335 0 0 0 60693 3518 0 0 25 0 1 0 4553090 85094400 19446 1992294400 4194304 9819077 140735801306256 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20775 19446 730 1374 0 19396 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 83100

[startup+702.301 s]

################
# More data... #
################

/proc/meminfo: memFree=1738916/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=83100 CPUtime=822.05
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143338 0 0 0 77668 4537 0 0 25 0 1 0 4553090 85094400 19449 1992294400 4194304 9819077 140735801306256 18446744073709551615 4703862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20775 19449 730 1374 0 19396 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 83100

[startup+882.301 s]
/proc/loadavg: 1.11 1.07 1.00 2/106 11459
/proc/meminfo: memFree=1738792/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=83100 CPUtime=882.03
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143343 0 0 0 83332 4871 0 0 25 0 1 0 4553090 85094400 19454 1992294400 4194304 9819077 140735801306256 18446744073709551615 4854160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20775 19454 730 1374 0 19396 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 83100

[startup+942.301 s]
/proc/loadavg: 1.10 1.07 1.00 2/106 11461
/proc/meminfo: memFree=1738668/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=83100 CPUtime=942.02
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143345 0 0 0 89000 5202 0 0 25 0 1 0 4553090 85094400 19456 1992294400 4194304 9819077 140735801306256 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20775 19456 730 1374 0 19396 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 83100

[startup+1002.3 s]
/proc/loadavg: 1.09 1.07 1.00 2/106 11463
/proc/meminfo: memFree=1738544/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=83236 CPUtime=1001.99
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143353 0 0 0 94652 5547 0 0 25 0 1 0 4553090 85233664 19464 1992294400 4194304 9819077 140735801306256 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20809 19464 730 1374 0 19430 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 83236

[startup+1062.3 s]
/proc/loadavg: 1.08 1.07 1.00 2/106 11465
/proc/meminfo: memFree=1738420/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=83236 CPUtime=1061.98
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143362 0 0 0 100313 5885 0 0 25 0 1 0 4553090 85233664 19473 1992294400 4194304 9819077 140735801306256 18446744073709551615 4854246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20809 19473 730 1374 0 19430 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 83236

[startup+1122.3 s]
/proc/loadavg: 1.12 1.08 1.01 2/106 11465
/proc/meminfo: memFree=1738296/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=83236 CPUtime=1121.97
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143371 0 0 0 105974 6223 0 0 25 0 1 0 4553090 85233664 19482 1992294400 4194304 9819077 140735801306256 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20809 19482 730 1374 0 19430 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 83236

[startup+1182.3 s]
/proc/loadavg: 1.12 1.10 1.01 2/106 11467
/proc/meminfo: memFree=1738048/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=83236 CPUtime=1181.95
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143373 0 0 0 111633 6562 0 0 25 0 1 0 4553090 85233664 19484 1992294400 4194304 9819077 140735801306256 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20809 19484 730 1374 0 19430 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 83236

[startup+1242.3 s]
/proc/loadavg: 1.18 1.12 1.02 2/106 11469
/proc/meminfo: memFree=1737800/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=83236 CPUtime=1241.93
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143375 0 0 0 117302 6891 0 0 25 0 1 0 4553090 85233664 19486 1992294400 4194304 9819077 140735801306256 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20809 19486 730 1374 0 19430 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 83236

[startup+1302.3 s]
/proc/loadavg: 1.16 1.12 1.03 2/106 11471
/proc/meminfo: memFree=1737676/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=83236 CPUtime=1301.92
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143378 0 0 0 122946 7246 0 0 25 0 1 0 4553090 85233664 19489 1992294400 4194304 9819077 140735801306256 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20809 19489 730 1374 0 19430 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 83236

[startup+1362.3 s]
/proc/loadavg: 1.09 1.11 1.03 2/106 11476
/proc/meminfo: memFree=1737056/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=83236 CPUtime=1361.89
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143380 0 0 0 128607 7582 0 0 25 0 1 0 4553090 85233664 19491 1992294400 4194304 9819077 140735801306256 18446744073709551615 4702372 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20809 19491 730 1374 0 19430 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 83236

[startup+1422.31 s]
/proc/loadavg: 1.03 1.09 1.02 2/106 11476
/proc/meminfo: memFree=1737056/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=83236 CPUtime=1421.89
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143383 0 0 0 134265 7924 0 0 25 0 1 0 4553090 85233664 19494 1992294400 4194304 9819077 140735801306256 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20809 19494 730 1374 0 19430 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 83236

[startup+1482.3 s]
/proc/loadavg: 1.01 1.07 1.02 2/106 11478
/proc/meminfo: memFree=1737056/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=83236 CPUtime=1481.86
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143383 0 0 0 139928 8258 0 0 25 0 1 0 4553090 85233664 19494 1992294400 4194304 9819077 140735801306256 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20809 19494 730 1374 0 19430 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 83236

[startup+1542.3 s]
/proc/loadavg: 1.00 1.05 1.01 2/106 11480
/proc/meminfo: memFree=1737056/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=83372 CPUtime=1541.84
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143388 0 0 0 145591 8593 0 0 25 0 1 0 4553090 85372928 19499 1992294400 4194304 9819077 140735801306256 18446744073709551615 4854276 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20843 19499 730 1374 0 19464 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 83372

Solver just ended. Dumping a history of the last processes samples

[startup+1548.7 s]
/proc/loadavg: 1.00 1.05 1.01 2/106 11480
/proc/meminfo: memFree=1737056/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=83372 CPUtime=1548.25
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143388 0 0 0 146195 8630 0 0 25 0 1 0 4553090 85372928 19499 1992294400 4194304 9819077 140735801306256 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20843 19499 730 1374 0 19464 0
Current children cumulated CPU time (s) 1548.25
Current children cumulated vsize (KiB) 83372

[startup+1551.9 s]
/proc/loadavg: 1.00 1.05 1.01 2/106 11480
/proc/meminfo: memFree=1737056/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=83372 CPUtime=1551.43
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143388 0 0 0 146492 8651 0 0 25 0 1 0 4553090 85372928 19499 1992294400 4194304 9819077 140735801306256 18446744073709551615 6023903 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20843 19499 730 1374 0 19464 0
Current children cumulated CPU time (s) 1551.43
Current children cumulated vsize (KiB) 83372

[startup+1553.5 s]
/proc/loadavg: 1.00 1.05 1.01 2/106 11480
/proc/meminfo: memFree=1737056/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=83372 CPUtime=1553.04
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143388 0 0 0 146643 8661 0 0 25 0 1 0 4553090 85372928 19499 1992294400 4194304 9819077 140735801306256 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20843 19499 730 1374 0 19464 0
Current children cumulated CPU time (s) 1553.04
Current children cumulated vsize (KiB) 83372

[startup+1555.1 s]
/proc/loadavg: 1.00 1.05 1.01 2/106 11480
/proc/meminfo: memFree=1737056/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=83372 CPUtime=1554.64
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143388 0 0 0 146792 8672 0 0 25 0 1 0 4553090 85372928 19499 1992294400 4194304 9819077 140735801306256 18446744073709551615 6181171 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20843 19499 730 1374 0 19464 0
Current children cumulated CPU time (s) 1554.64
Current children cumulated vsize (KiB) 83372

[startup+1555.9 s]
/proc/loadavg: 1.00 1.05 1.01 2/106 11480
/proc/meminfo: memFree=1737056/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=83372 CPUtime=1555.43
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143390 0 0 0 146867 8676 0 0 25 0 1 0 4553090 85372928 19501 1992294400 4194304 9819077 140735801306256 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20843 19501 730 1374 0 19464 0
Current children cumulated CPU time (s) 1555.43
Current children cumulated vsize (KiB) 83372

[startup+1556.1 s]
/proc/loadavg: 1.00 1.05 1.01 2/106 11480
/proc/meminfo: memFree=1737056/2059040 swapFree=4192956/4192956
[pid=11436] ppid=11434 vsize=83372 CPUtime=1555.63
/proc/11436/stat : 11436 (pbscip.linux.x8) R 11434 11436 10844 0 -1 4202496 143390 0 0 0 146887 8676 0 0 25 0 1 0 4553090 85372928 19501 1992294400 4194304 9819077 140735801306256 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11436/statm: 20843 19501 730 1374 0 19464 0
Current children cumulated CPU time (s) 1555.63
Current children cumulated vsize (KiB) 83372

Child status: 0
Real time (s): 1556.19
CPU time (s): 1555.74
CPU user time (s): 1468.96
CPU system time (s): 86.7808
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 114572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1468.96
system time used= 86.7808
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143413
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= 3
involuntary context switches= 14615

runsolver used 2.71659 second user time and 7.2219 second system time

The end

Launcher Data 

Begin job on node088 at 2010-06-15 22:09:55
IDJOB=2665358
IDBENCH=24983
IDSOLVER=1168
FILE ID=node088/2665358-1276632595
PBS_JOBID= 11172357
Free space on /tmp= 62564 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_020_area_delay.opb
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-2665358-1276632595/watcher-2665358-1276632595 -o /tmp/evaluation-result-2665358-1276632595/solver-2665358-1276632595 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665358-1276632595.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= b63b2d912c01ff826a63051b401330db
RANDOM SEED=1525485070

node088.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.217
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.217
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1816208 kB
Buffers:          8152 kB
Cached:         110196 kB
SwapCached:          0 kB
Active:          47368 kB
Inactive:       131104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1816208 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            6624 kB
Writeback:           0 kB
AnonPages:       60032 kB
Mapped:          15504 kB
Slab:            42664 kB
PageTables:       3912 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181460 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= 62556 MiB
End job on node088 at 2010-06-15 22:35:52