Trace number 2664746

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 NameAnswerCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1802.17 1802.75

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb
MD5SUM2ea7e3b5e107f983d069c627d91480a3
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.092985
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables1640
Total number of constraints81
Number of constraints which are clauses41
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint41
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 42
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2664746-1276582797.opb>
0.00/0.02	c original problem has 1640 variables (1640 bin, 0 int, 0 impl, 0 cont) and 81 constraints
0.00/0.02	c problem read
0.00/0.02	c No objective function, only one solution is needed.
0.00/0.02	c presolving settings loaded
0.00/0.02	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.03	c presolving:
0.00/0.04	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 41 upgd conss, 0 impls, 40 clqs
0.00/0.04	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 81 upgd conss, 0 impls, 40 clqs
0.00/0.04	c presolving (3 rounds):
0.00/0.04	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04	c  0 implications, 40 cliques
0.00/0.04	c presolved problem has 1640 variables (1640 bin, 0 int, 0 impl, 0 cont) and 81 constraints
0.00/0.04	c      40 constraints of type <setppc>
0.00/0.04	c      41 constraints of type <logicor>
0.00/0.04	c transformed objective value is always integral (scale: 1)
0.00/0.04	c Presolving Time: 0.02
0.00/0.04	c - non default parameters ----------------------------------------------------------------------
0.00/0.04	c # SCIP version 1.2.1.2
0.00/0.04	c 
0.00/0.04	c # frequency for displaying node information lines
0.00/0.04	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04	c display/freq = 10000
0.00/0.04	c 
0.00/0.04	c # maximal time in seconds to run
0.00/0.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04	c limits/time = 1799.99
0.00/0.04	c 
0.00/0.04	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04	c limits/memory = 1620
0.00/0.04	c 
0.00/0.04	c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.04	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04	c limits/solutions = 1
0.00/0.04	c 
0.00/0.04	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.04	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04	c lp/solvefreq = -1
0.00/0.04	c 
0.00/0.05	c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.05	c separating/maxrounds = 1
0.00/0.05	c 
0.00/0.05	c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05	c separating/maxroundsroot = 5
0.00/0.05	c 
0.00/0.05	c # should presolving try to simplify inequalities
0.00/0.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05	c constraints/linear/simplifyinequalities = TRUE
0.00/0.05	c 
0.00/0.05	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.05	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05	c constraints/knapsack/disaggregation = FALSE
0.00/0.05	c 
0.00/0.05	c # should presolving try to simplify knapsacks
0.00/0.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05	c 
0.00/0.05	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05	c presolving/probing/maxrounds = 0
0.00/0.05	c 
0.00/0.05	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05	c heuristics/coefdiving/freq = -1
0.00/0.05	c 
0.00/0.05	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05	c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.05	c 
0.00/0.05	c # additional number of allowed LP iterations
0.00/0.05	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05	c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.05	c 
0.00/0.05	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.05	c heuristics/crossover/freq = -1
0.00/0.05	c 
0.00/0.05	c # number of nodes added to the contingent of the total nodes
0.00/0.05	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.05	c heuristics/crossover/nodesofs = 750
0.00/0.05	c 
0.00/0.05	c # number of nodes without incumbent change that heuristic should wait
0.00/0.05	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.05	c heuristics/crossover/nwaitingnodes = 100
0.00/0.05	c 
0.00/0.05	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.05	c # [type: real, range: [0,1], default: 0.1]
0.00/0.05	c heuristics/crossover/nodesquot = 0.15
0.00/0.05	c 
0.00/0.05	c # minimum percentage of integer variables that have to be fixed 
0.00/0.05	c # [type: real, range: [0,1], default: 0.666]
0.00/0.05	c heuristics/crossover/minfixingrate = 0.5
0.00/0.05	c 
0.00/0.05	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.05	c heuristics/feaspump/freq = -1
0.00/0.05	c 
0.00/0.05	c # additional number of allowed LP iterations
0.00/0.05	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05	c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.05	c 
0.00/0.05	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05	c heuristics/fracdiving/freq = -1
0.00/0.05	c 
0.00/0.05	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05	c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.05	c 
0.00/0.05	c # additional number of allowed LP iterations
0.00/0.05	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05	c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.05	c 
0.00/0.05	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05	c heuristics/guideddiving/freq = -1
0.00/0.05	c 
0.00/0.05	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05	c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.05	c 
0.00/0.05	c # additional number of allowed LP iterations
0.00/0.05	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05	c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.05	c 
0.00/0.05	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05	c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.05	c 
0.00/0.05	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05	c heuristics/intshifting/freq = -1
0.00/0.05	c 
0.00/0.05	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05	c heuristics/linesearchdiving/freq = -1
0.00/0.05	c 
0.00/0.05	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.05	c 
0.00/0.05	c # additional number of allowed LP iterations
0.00/0.05	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.05	c 
0.00/0.05	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05	c heuristics/nlp/freq = -1
0.00/0.05	c 
0.00/0.05	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.05	c heuristics/objpscostdiving/freq = -1
0.00/0.05	c 
0.00/0.05	c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.05	c # [type: real, range: [0,1], default: 0.01]
0.00/0.05	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.05	c 
0.00/0.05	c # additional number of allowed LP iterations
0.00/0.05	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.05	c 
0.00/0.05	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05	c heuristics/oneopt/freq = -1
0.00/0.05	c 
0.00/0.05	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05	c heuristics/pscostdiving/freq = -1
0.00/0.05	c 
0.00/0.05	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.05	c 
0.00/0.05	c # additional number of allowed LP iterations
0.00/0.05	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05	c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.05	c 
0.00/0.05	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05	c heuristics/rens/freq = -1
0.00/0.05	c 
0.00/0.05	c # minimum percentage of integer variables that have to be fixable 
0.00/0.05	c # [type: real, range: [0,1], default: 0.5]
0.00/0.05	c heuristics/rens/minfixingrate = 0.3
0.00/0.05	c 
0.00/0.05	c # number of nodes added to the contingent of the total nodes
0.00/0.05	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.05	c heuristics/rens/nodesofs = 2000
0.00/0.05	c 
0.00/0.05	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.05	c heuristics/rootsoldiving/freq = -1
0.00/0.05	c 
0.00/0.05	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.05	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.05	c 
0.00/0.05	c # additional number of allowed LP iterations
0.00/0.05	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.05	c 
0.00/0.05	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05	c heuristics/rounding/freq = -1
0.00/0.05	c 
0.00/0.05	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05	c heuristics/shifting/freq = -1
0.00/0.05	c 
0.00/0.05	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05	c heuristics/simplerounding/freq = -1
0.00/0.05	c 
0.00/0.05	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05	c heuristics/trivial/freq = -1
0.00/0.05	c 
0.00/0.05	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05	c heuristics/trysol/freq = -1
0.00/0.05	c 
0.00/0.05	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05	c heuristics/veclendiving/freq = -1
0.00/0.05	c 
0.00/0.05	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05	c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.05	c 
0.00/0.05	c # additional number of allowed LP iterations
0.00/0.05	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05	c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.05	c 
0.00/0.05	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05	c heuristics/zirounding/freq = -1
0.00/0.05	c 
0.00/0.05	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05	c separating/cmir/freq = -1
0.00/0.05	c 
0.00/0.05	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05	c separating/flowcover/freq = -1
0.00/0.05	c 
0.00/0.05	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05	c separating/rapidlearning/freq = 0
0.00/0.05	c 
0.00/0.05	c -----------------------------------------------------------------------------------------------
0.00/0.05	c start solving
0.00/0.05	c 
0.00/0.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.05	c   0.0s|     1 |     2 |     0 |     - |2919k|   0 |   - |1640 |  81 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.19/3.20	c   3.0s| 10000 |  9964 |     0 |   0.0 |6537k|1126 |   - |1640 | 163 |   0 |   0 |   0 |  91 |   0 | 0.000000e+00 |      --      |    Inf 
6.48/6.53	c   6.2s| 20000 | 19929 |     0 |   0.0 |9474k|1265 |   - |1640 | 108 |   0 |   0 |   0 | 146 |   0 | 0.000000e+00 |      --      |    Inf 
9.78/9.85	c   9.5s| 30000 | 29891 |     0 |   0.0 |  12M|1334 |   - |1640 | 106 |   0 |   0 |   0 | 179 |   0 | 0.000000e+00 |      --      |    Inf 
13.08/13.15	c  12.7s| 40000 | 39856 |     0 |   0.0 |  15M|1355 |   - |1640 | 116 |   0 |   0 |   0 | 213 |   0 | 0.000000e+00 |      --      |    Inf 
16.39/16.47	c  15.9s| 50000 | 49810 |     0 |   0.0 |  17M|1399 |   - |1640 | 118 |   0 |   0 |   0 | 249 |   0 | 0.000000e+00 |      --      |    Inf 
19.69/19.73	c  19.0s| 60000 | 59770 |     0 |   0.0 |  20M|1399 |   - |1640 | 114 |   0 |   0 |   0 | 283 |   0 | 0.000000e+00 |      --      |    Inf 
22.88/22.98	c  22.2s| 70000 | 69720 |     0 |   0.0 |  23M|1399 |   - |1640 | 141 |   0 |   0 |   0 | 347 |   0 | 0.000000e+00 |      --      |    Inf 
26.08/26.18	c  25.2s| 80000 | 79679 |     0 |   0.0 |  26M|1399 |   - |1640 | 143 |   0 |   0 |   0 | 394 |   0 | 0.000000e+00 |      --      |    Inf 
29.28/29.39	c  28.3s| 90000 | 89642 |     0 |   0.0 |  28M|1399 |   - |1640 | 164 |   0 |   0 |   0 | 462 |   0 | 0.000000e+00 |      --      |    Inf 
32.48/32.57	c  31.4s|100000 | 99595 |     0 |   0.0 |  31M|1399 |   - |1640 | 146 |   0 |   0 |   0 | 510 |   0 | 0.000000e+00 |      --      |    Inf 
35.57/35.61	c  34.3s|110000 |109562 |     0 |   0.0 |  34M|1399 |   - |1640 | 152 |   0 |   0 |   0 | 553 |   0 | 0.000000e+00 |      --      |    Inf 
38.77/38.83	c  37.4s|120000 |119508 |     0 |   0.0 |  37M|1399 |   - |1640 | 167 |   0 |   0 |   0 | 612 |   0 | 0.000000e+00 |      --      |    Inf 
41.88/41.92	c  40.4s|130000 |129461 |     0 |   0.0 |  39M|1399 |   - |1640 | 181 |   0 |   0 |   0 | 684 |   0 | 0.000000e+00 |      --      |    Inf 
44.87/44.93	c  43.3s|140000 |139420 |     0 |   0.0 |  42M|1399 |   - |1640 | 170 |   0 |   0 |   0 | 727 |   0 | 0.000000e+00 |      --      |    Inf 
47.77/47.87	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
47.77/47.87	c  46.1s|150000 |149371 |     0 |   0.0 |  45M|1399 |   - |1640 | 180 |   0 |   0 |   0 | 790 |   0 | 0.000000e+00 |      --      |    Inf 
50.87/50.91	c  49.0s|160000 |159316 |     0 |   0.0 |  48M|1399 |   - |1640 | 186 |   0 |   0 |   0 | 843 |   0 | 0.000000e+00 |      --      |    Inf 
53.77/53.89	c  51.9s|170000 |169271 |     0 |   0.0 |  50M|1399 |   - |1640 | 200 |   0 |   0 |   0 | 899 |   0 | 0.000000e+00 |      --      |    Inf 
56.76/56.88	c  54.8s|180000 |179219 |     0 |   0.0 |  53M|1399 |   - |1640 | 219 |   0 |   0 |   0 | 966 |   0 | 0.000000e+00 |      --      |    Inf 
59.66/59.73	c  57.5s|190000 |189162 |     0 |   0.0 |  56M|1399 |   - |1640 | 244 |   0 |   0 |   0 |1062 |   0 | 0.000000e+00 |      --      |    Inf 
62.46/62.55	c  60.2s|200000 |199107 |     0 |   0.0 |  59M|1399 |   - |1640 | 300 |   0 |   0 |   0 |1180 |   0 | 0.000000e+00 |      --      |    Inf 
65.36/65.41	c  62.9s|210000 |209067 |     0 |   0.0 |  62M|1399 |   - |1640 | 286 |   0 |   0 |   0 |1231 |   0 | 0.000000e+00 |      --      |    Inf 
68.06/68.17	c  65.6s|220000 |219030 |     0 |   0.0 |  65M|1399 |   - |1640 | 334 |   0 |   0 |   0 |1329 |   0 | 0.000000e+00 |      --      |    Inf 
70.87/70.99	c  68.3s|230000 |228967 |     0 |   0.0 |  67M|1399 |   - |1640 | 343 |   0 |   0 |   0 |1425 |   0 | 0.000000e+00 |      --      |    Inf 
73.67/73.71	c  70.9s|240000 |238922 |     0 |   0.0 |  70M|1399 |   - |1640 | 328 |   0 |   0 |   0 |1485 |   0 | 0.000000e+00 |      --      |    Inf 
76.36/76.45	c  73.5s|250000 |248872 |     0 |   0.0 |  73M|1399 |   - |1640 | 330 |   0 |   0 |   0 |1548 |   0 | 0.000000e+00 |      --      |    Inf 
79.06/79.17	c  76.1s|260000 |258822 |     0 |   0.0 |  76M|1399 |   - |1640 | 354 |   0 |   0 |   0 |1627 |   0 | 0.000000e+00 |      --      |    Inf 
81.66/81.79	c  78.6s|270000 |268777 |     0 |   0.0 |  79M|1399 |   - |1640 | 378 |   0 |   0 |   0 |1715 |   0 | 0.000000e+00 |      --      |    Inf 
84.26/84.39	c  81.1s|280000 |278731 |     0 |   0.0 |  82M|1399 |   - |1640 | 388 |   0 |   0 |   0 |1806 |   0 | 0.000000e+00 |      --      |    Inf 
86.97/87.03	c  83.6s|290000 |288669 |     0 |   0.0 |  84M|1399 |   - |1640 | 408 |   0 |   0 |   0 |1898 |   0 | 0.000000e+00 |      --      |    Inf 
89.55/89.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
89.55/89.64	c  86.1s|300000 |298609 |     0 |   0.0 |  87M|1399 |   - |1640 | 456 |   0 |   0 |   0 |2021 |   0 | 0.000000e+00 |      --      |    Inf 
92.06/92.18	c  88.5s|310000 |308545 |     0 |   0.0 |  90M|1399 |   - |1640 | 446 |   0 |   0 |   0 |2112 |   0 | 0.000000e+00 |      --      |    Inf 
94.67/94.73	c  91.0s|320000 |318488 |     0 |   0.0 |  93M|1399 |   - |1640 | 478 |   0 |   0 |   0 |2211 |   0 | 0.000000e+00 |      --      |    Inf 
97.16/97.25	c  93.4s|330000 |328420 |     0 |   0.0 |  96M|1399 |   - |1640 | 517 |   0 |   0 |   0 |2314 |   0 | 0.000000e+00 |      --      |    Inf 
99.66/99.71	c  95.7s|340000 |338350 |     0 |   0.0 |  99M|1399 |   - |1640 | 588 |   0 |   0 |   0 |2470 |   0 | 0.000000e+00 |      --      |    Inf 
102.06/102.14	c  98.0s|350000 |348280 |     0 |   0.0 | 101M|1399 |   - |1640 | 586 |   0 |   0 |   0 |2589 |   0 | 0.000000e+00 |      --      |    Inf 
104.46/104.51	c   100s|360000 |358205 |     0 |   0.0 | 104M|1399 |   - |1640 | 616 |   0 |   0 |   0 |2733 |   0 | 0.000000e+00 |      --      |    Inf 
106.76/106.82	c   102s|370000 |368127 |     0 |   0.0 | 107M|1399 |   - |1640 | 696 |   0 |   0 |   0 |2917 |   0 | 0.000000e+00 |      --      |    Inf 
108.96/109.02	c   105s|380000 |378061 |     0 |   0.0 | 110M|1399 |   - |1640 | 760 |   0 |   0 |   0 |3117 |   0 | 0.000000e+00 |      --      |    Inf 
111.16/111.24	c   107s|390000 |387981 |     0 |   0.0 | 113M|1399 |   - |1640 | 759 |   0 |   0 |   0 |3267 |   0 | 0.000000e+00 |      --      |    Inf 
113.25/113.34	c   109s|400000 |397907 |     0 |   0.0 | 116M|1399 |   - |1640 | 840 |   0 |   0 |   0 |3464 |   0 | 0.000000e+00 |      --      |    Inf 
115.35/115.47	c   111s|410000 |407823 |     0 |   0.0 | 119M|1399 |   - |1640 | 923 |   0 |   0 |   0 |3654 |   0 | 0.000000e+00 |      --      |    Inf 
117.45/117.57	c   113s|420000 |417719 |     0 |   0.0 | 122M|1399 |   - |1640 |1161 |   0 |   0 |   0 |3985 |   0 | 0.000000e+00 |      --      |    Inf 
119.45/119.58	c   114s|430000 |427615 |     0 |   0.0 | 125M|1399 |   - |1640 |1319 |   0 |   0 |   0 |4353 |   0 | 0.000000e+00 |      --      |    Inf 
121.55/121.62	c   116s|440000 |437501 |     0 |   0.0 | 129M|1399 |   - |1640 |1532 |   0 |   0 |   0 |4774 |   0 | 0.000000e+00 |      --      |    Inf 
123.44/123.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
123.44/123.56	c   118s|450000 |447374 |     0 |   0.0 | 132M|1399 |   - |1640 |1865 |   0 |   0 |   0 |5251 |   0 | 0.000000e+00 |      --      |    Inf 
125.35/125.50	c   120s|460000 |457231 |     0 |   0.0 | 135M|1399 |   - |1640 |2179 |   0 |   0 |   0 |5801 |   0 | 0.000000e+00 |      --      |    Inf 
127.25/127.34	c   122s|470000 |467082 |     0 |   0.0 | 139M|1399 |   - |1640 |2600 |   0 |   0 |   0 |6467 |   0 | 0.000000e+00 |      --      |    Inf 
129.05/129.18	c   123s|480000 |476912 |     0 |   0.0 | 143M|1399 |   - |1640 |3055 |   0 |   0 |   0 |7215 |   0 | 0.000000e+00 |      --      |    Inf 
131.04/131.15	c   125s|490000 |486671 |     0 |   0.0 | 147M|1399 |   - |1640 |3688 |   0 |   0 |   0 |8221 |   0 | 0.000000e+00 |      --      |    Inf 
132.95/133.09	c   127s|500000 |496364 |     0 |   0.0 | 151M|1399 |   - |1640 |4480 |   0 |   0 |   0 |9696 |   0 | 0.000000e+00 |      --      |    Inf 
135.55/135.62	c   130s|510000 |505682 |     0 |   0.0 | 157M|1399 |   - |1640 |6332 |   0 |   0 |   0 |  12k|   0 | 0.000000e+00 |      --      |    Inf 
139.65/139.74	c   134s|520000 |515324 |     0 |   0.0 | 159M|1399 |   - |1640 |5305 |   0 |   0 |   0 |  13k|   0 | 0.000000e+00 |      --      |    Inf 
142.84/142.97	c   137s|530000 |525280 |     0 |   0.0 | 157M|1399 |   - |1640 | 940 |   0 |   0 |   0 |  13k|   0 | 0.000000e+00 |      --      |    Inf 
146.04/146.14	c   140s|540000 |535235 |     0 |   0.0 | 160M|1399 |   - |1640 | 197 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
149.44/149.59	c   143s|550000 |545175 |     0 |   0.0 | 162M|1399 |   - |1640 | 186 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
152.94/153.01	c   146s|560000 |555128 |     0 |   0.0 | 165M|1399 |   - |1640 | 153 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
156.33/156.45	c   150s|570000 |565076 |     0 |   0.0 | 168M|1399 |   - |1640 | 156 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
159.73/159.85	c   153s|580000 |575026 |     0 |   0.0 | 171M|1399 |   - |1640 | 154 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
163.13/163.21	c   156s|590000 |584983 |     0 |   0.0 | 174M|1399 |   - |1640 | 165 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
166.54/166.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
166.54/166.64	c   159s|600000 |594940 |     0 |   0.0 | 176M|1399 |   - |1640 | 133 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
170.03/170.10	c   163s|610000 |604891 |     0 |   0.0 | 179M|1399 |   - |1640 | 151 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
173.33/173.49	c   166s|620000 |614846 |     0 |   0.0 | 182M|1399 |   - |1640 | 138 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
176.83/176.94	c   169s|630000 |624805 |     0 |   0.0 | 184M|1399 |   - |1640 | 111 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
180.23/180.33	c   173s|640000 |634764 |     0 |   0.0 | 187M|1399 |   - |1640 | 123 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
183.53/183.70	c   176s|650000 |644726 |     0 |   0.0 | 190M|1399 |   - |1640 | 125 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
186.94/187.10	c   179s|660000 |654689 |     0 |   0.0 | 193M|1399 |   - |1640 | 133 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
190.43/190.52	c   182s|670000 |664646 |     0 |   0.0 | 196M|1399 |   - |1640 | 137 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
193.82/193.96	c   186s|680000 |674602 |     0 |   0.0 | 198M|1399 |   - |1640 | 107 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
197.22/197.33	c   189s|690000 |684566 |     0 |   0.0 | 201M|1399 |   - |1640 | 129 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
200.72/200.80	c   192s|700000 |694522 |     0 |   0.0 | 204M|1399 |   - |1640 | 123 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
204.03/204.19	c   196s|710000 |704483 |     0 |   0.0 | 207M|1399 |   - |1640 | 123 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
207.42/207.56	c   199s|720000 |714446 |     0 |   0.0 | 209M|1399 |   - |1640 | 139 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
210.82/210.94	c   202s|730000 |724405 |     0 |   0.0 | 212M|1399 |   - |1640 | 153 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
214.22/214.31	c   205s|740000 |734358 |     0 |   0.0 | 215M|1399 |   - |1640 | 178 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
217.52/217.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
217.52/217.67	c   209s|750000 |744323 |     0 |   0.0 | 218M|1399 |   - |1640 | 132 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
220.92/221.08	c   212s|760000 |754285 |     0 |   0.0 | 220M|1399 |   - |1640 | 117 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
224.33/224.48	c   215s|770000 |764247 |     0 |   0.0 | 223M|1399 |   - |1640 | 130 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
227.72/227.89	c   219s|780000 |774208 |     0 |   0.0 | 226M|1399 |   - |1640 | 114 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
231.21/231.36	c   222s|790000 |784159 |     0 |   0.0 | 229M|1399 |   - |1640 | 113 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
234.71/234.82	c   225s|800000 |794117 |     0 |   0.0 | 231M|1399 |   - |1640 | 134 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
238.11/238.21	c   229s|810000 |804086 |     0 |   0.0 | 234M|1399 |   - |1640 | 130 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
241.41/241.57	c   232s|820000 |814051 |     0 |   0.0 | 237M|1399 |   - |1640 | 157 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
244.81/244.99	c   235s|830000 |824011 |     0 |   0.0 | 240M|1399 |   - |1640 | 115 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
248.21/248.39	c   238s|840000 |833965 |     0 |   0.0 | 242M|1399 |   - |1640 | 170 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
251.61/251.78	c   242s|850000 |843920 |     0 |   0.0 | 245M|1399 |   - |1640 | 170 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
255.01/255.19	c   245s|860000 |853880 |     0 |   0.0 | 248M|1399 |   - |1640 | 168 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
258.51/258.61	c   248s|870000 |863838 |     0 |   0.0 | 251M|1399 |   - |1640 | 132 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
261.82/261.97	c   251s|880000 |873808 |     0 |   0.0 | 254M|1399 |   - |1640 | 121 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
265.20/265.39	c   255s|890000 |883763 |     0 |   0.0 | 256M|1399 |   - |1640 | 138 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
268.60/268.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
268.60/268.77	c   258s|900000 |893718 |     0 |   0.0 | 259M|1399 |   - |1640 | 105 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
272.00/272.14	c   261s|910000 |903685 |     0 |   0.0 | 262M|1399 |   - |1640 | 104 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
275.40/275.52	c   265s|920000 |913656 |     0 |   0.0 | 265M|1399 |   - |1640 | 131 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
278.80/278.95	c   268s|930000 |923609 |     0 |   0.0 | 267M|1399 |   - |1640 | 141 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
282.20/282.31	c   271s|940000 |933560 |     0 |   0.0 | 270M|1399 |   - |1640 | 138 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
285.49/285.65	c   274s|950000 |943525 |     0 |   0.0 | 273M|1399 |   - |1640 | 136 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
288.90/289.08	c   278s|960000 |953482 |     0 |   0.0 | 276M|1399 |   - |1640 | 146 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
292.40/292.53	c   281s|970000 |963438 |     0 |   0.0 | 279M|1399 |   - |1640 | 162 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
295.80/295.94	c   284s|980000 |973397 |     0 |   0.0 | 281M|1399 |   - |1640 | 167 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
299.10/299.28	c   287s|990000 |983366 |     0 |   0.0 | 284M|1399 |   - |1640 | 140 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
302.50/302.68	c   291s|  1000k|993322 |     0 |   0.0 | 287M|1399 |   - |1640 | 140 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
305.89/306.08	c   294s|  1010k|  1003k|     0 |   0.0 | 290M|1399 |   - |1640 | 123 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
309.29/309.47	c   297s|  1020k|  1013k|     0 |   0.0 | 293M|1399 |   - |1640 | 115 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
312.69/312.87	c   301s|  1030k|  1023k|     0 |   0.0 | 295M|1399 |   - |1640 | 139 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
315.99/316.20	c   304s|  1040k|  1033k|     0 |   0.0 | 298M|1399 |   - |1640 | 135 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
319.39/319.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
319.39/319.59	c   307s|  1050k|  1043k|     0 |   0.0 | 301M|1399 |   - |1640 | 138 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
322.79/322.98	c   310s|  1060k|  1053k|     0 |   0.0 | 304M|1399 |   - |1640 | 151 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
326.19/326.37	c   314s|  1070k|  1063k|     0 |   0.0 | 306M|1399 |   - |1640 | 152 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
329.59/329.79	c   317s|  1080k|  1073k|     0 |   0.0 | 309M|1399 |   - |1640 | 124 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
333.09/333.21	c   320s|  1090k|  1082k|     0 |   0.0 | 312M|1399 |   - |1640 | 118 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
336.38/336.52	c   323s|  1100k|  1092k|     0 |   0.0 | 315M|1399 |   - |1640 | 120 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
339.79/339.90	c   327s|  1110k|  1102k|     0 |   0.0 | 317M|1399 |   - |1640 | 139 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
343.09/343.30	c   330s|  1120k|  1112k|     0 |   0.0 | 320M|1399 |   - |1640 | 157 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
346.58/346.73	c   333s|  1130k|  1122k|     0 |   0.0 | 323M|1399 |   - |1640 | 114 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
349.98/350.13	c   337s|  1140k|  1132k|     0 |   0.0 | 326M|1399 |   - |1640 | 129 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
353.28/353.42	c   340s|  1150k|  1142k|     0 |   0.0 | 329M|1399 |   - |1640 | 174 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
356.57/356.77	c   343s|  1160k|  1152k|     0 |   0.0 | 331M|1399 |   - |1640 | 180 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
359.98/360.10	c   346s|  1170k|  1162k|     0 |   0.0 | 334M|1399 |   - |1640 | 127 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
363.27/363.42	c   349s|  1180k|  1172k|     0 |   0.0 | 337M|1399 |   - |1640 | 157 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
366.58/366.77	c   353s|  1190k|  1182k|     0 |   0.0 | 340M|1399 |   - |1640 | 130 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
369.87/370.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
369.87/370.09	c   356s|  1200k|  1192k|     0 |   0.0 | 342M|1399 |   - |1640 | 139 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
373.28/373.48	c   359s|  1210k|  1202k|     0 |   0.0 | 345M|1399 |   - |1640 | 185 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
376.67/376.84	c   362s|  1220k|  1212k|     0 |   0.0 | 348M|1399 |   - |1640 | 155 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
380.07/380.22	c   366s|  1230k|  1222k|     0 |   0.0 | 351M|1399 |   - |1640 | 124 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
383.37/383.53	c   369s|  1240k|  1232k|     0 |   0.0 | 353M|1399 |   - |1640 | 143 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
386.67/386.89	c   372s|  1250k|  1242k|     0 |   0.0 | 356M|1399 |   - |1640 | 161 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
390.07/390.28	c   375s|  1260k|  1252k|     0 |   0.0 | 359M|1399 |   - |1640 | 133 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
393.47/393.64	c   379s|  1270k|  1262k|     0 |   0.0 | 362M|1399 |   - |1640 | 140 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
396.87/397.02	c   382s|  1280k|  1272k|     0 |   0.0 | 365M|1399 |   - |1640 | 125 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
400.28/400.42	c   385s|  1290k|  1282k|     0 |   0.0 | 367M|1399 |   - |1640 | 119 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
403.57/403.75	c   388s|  1300k|  1292k|     0 |   0.0 | 370M|1399 |   - |1640 | 122 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
406.97/407.12	c   392s|  1310k|  1302k|     0 |   0.0 | 373M|1399 |   - |1640 | 136 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
410.46/410.60	c   395s|  1320k|  1312k|     0 |   0.0 | 376M|1399 |   - |1640 | 118 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
413.86/414.00	c   398s|  1330k|  1321k|     0 |   0.0 | 378M|1399 |   - |1640 | 118 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
417.25/417.40	c   402s|  1340k|  1331k|     0 |   0.0 | 381M|1399 |   - |1640 | 113 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
420.56/420.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
420.56/420.77	c   405s|  1350k|  1341k|     0 |   0.0 | 384M|1399 |   - |1640 | 134 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
423.96/424.11	c   408s|  1360k|  1351k|     0 |   0.0 | 387M|1399 |   - |1640 | 143 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
427.36/427.52	c   411s|  1370k|  1361k|     0 |   0.0 | 390M|1399 |   - |1640 | 151 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
430.66/430.89	c   415s|  1380k|  1371k|     0 |   0.0 | 392M|1399 |   - |1640 | 137 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
434.06/434.24	c   418s|  1390k|  1381k|     0 |   0.0 | 395M|1399 |   - |1640 | 137 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
437.35/437.59	c   421s|  1400k|  1391k|     0 |   0.0 | 398M|1399 |   - |1640 | 121 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
440.76/440.98	c   424s|  1410k|  1401k|     0 |   0.0 | 401M|1399 |   - |1640 | 135 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
444.15/444.35	c   428s|  1420k|  1411k|     0 |   0.0 | 403M|1399 |   - |1640 | 139 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
447.55/447.72	c   431s|  1430k|  1421k|     0 |   0.0 | 406M|1399 |   - |1640 | 115 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
450.95/451.19	c   434s|  1440k|  1431k|     0 |   0.0 | 409M|1399 |   - |1640 | 156 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
454.35/454.56	c   437s|  1450k|  1441k|     0 |   0.0 | 412M|1399 |   - |1640 | 145 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
457.65/457.87	c   441s|  1460k|  1451k|     0 |   0.0 | 415M|1399 |   - |1640 | 161 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
460.95/461.19	c   444s|  1470k|  1461k|     0 |   0.0 | 417M|1399 |   - |1640 | 124 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
464.45/464.61	c   447s|  1480k|  1471k|     0 |   0.0 | 420M|1399 |   - |1640 | 138 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
467.74/467.95	c   450s|  1490k|  1481k|     0 |   0.0 | 423M|1399 |   - |1640 | 130 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
471.04/471.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
471.04/471.29	c   454s|  1500k|  1491k|     0 |   0.0 | 426M|1399 |   - |1640 | 111 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
474.44/474.62	c   457s|  1510k|  1501k|     0 |   0.0 | 428M|1399 |   - |1640 | 120 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
477.75/477.94	c   460s|  1520k|  1511k|     0 |   0.0 | 431M|1399 |   - |1640 | 119 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
481.14/481.38	c   463s|  1530k|  1521k|     0 |   0.0 | 434M|1399 |   - |1640 | 130 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
484.64/484.80	c   467s|  1540k|  1531k|     0 |   0.0 | 437M|1399 |   - |1640 | 153 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
487.84/488.07	c   470s|  1550k|  1541k|     0 |   0.0 | 439M|1399 |   - |1640 | 153 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
491.24/491.49	c   473s|  1560k|  1551k|     0 |   0.0 | 442M|1399 |   - |1640 | 144 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
494.64/494.81	c   476s|  1570k|  1560k|     0 |   0.0 | 445M|1399 |   - |1640 | 146 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
497.93/498.14	c   480s|  1580k|  1570k|     0 |   0.0 | 448M|1399 |   - |1640 | 153 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
501.23/501.47	c   483s|  1590k|  1580k|     0 |   0.0 | 450M|1399 |   - |1640 | 135 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
504.54/504.79	c   486s|  1600k|  1590k|     0 |   0.0 | 453M|1399 |   - |1640 | 131 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
507.94/508.13	c   489s|  1610k|  1600k|     0 |   0.0 | 456M|1399 |   - |1640 | 121 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
511.23/511.44	c   492s|  1620k|  1610k|     0 |   0.0 | 459M|1399 |   - |1640 | 132 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
514.53/514.76	c   496s|  1630k|  1620k|     0 |   0.0 | 462M|1399 |   - |1640 | 133 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
517.94/518.13	c   499s|  1640k|  1630k|     0 |   0.0 | 464M|1399 |   - |1640 | 134 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
521.23/521.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
521.23/521.43	c   502s|  1650k|  1640k|     0 |   0.0 | 467M|1399 |   - |1640 | 155 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
524.42/524.69	c   505s|  1660k|  1650k|     0 |   0.0 | 470M|1399 |   - |1640 | 132 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
527.83/528.03	c   508s|  1670k|  1660k|     0 |   0.0 | 473M|1399 |   - |1640 | 175 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
531.13/531.33	c   512s|  1680k|  1670k|     0 |   0.0 | 476M|1399 |   - |1640 | 154 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
534.53/534.72	c   515s|  1690k|  1680k|     0 |   0.0 | 478M|1399 |   - |1640 | 142 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
537.83/538.01	c   518s|  1700k|  1690k|     0 |   0.0 | 481M|1399 |   - |1640 | 182 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
541.22/541.41	c   521s|  1710k|  1700k|     0 |   0.0 | 484M|1399 |   - |1640 | 161 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
544.52/544.78	c   524s|  1720k|  1710k|     0 |   0.0 | 487M|1399 |   - |1640 | 120 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
547.92/548.10	c   528s|  1730k|  1720k|     0 |   0.0 | 489M|1399 |   - |1640 | 120 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
551.12/551.39	c   531s|  1740k|  1730k|     0 |   0.0 | 492M|1399 |   - |1640 | 123 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
554.52/554.78	c   534s|  1750k|  1740k|     0 |   0.0 | 495M|1399 |   - |1640 | 169 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
557.92/558.12	c   537s|  1760k|  1750k|     0 |   0.0 | 498M|1399 |   - |1640 | 147 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
561.21/561.49	c   541s|  1770k|  1760k|     0 |   0.0 | 501M|1399 |   - |1640 | 149 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
564.62/564.81	c   544s|  1780k|  1770k|     0 |   0.0 | 503M|1399 |   - |1640 | 131 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
567.92/568.15	c   547s|  1790k|  1780k|     0 |   0.0 | 506M|1399 |   - |1640 | 109 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
571.22/571.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
571.22/571.42	c   550s|  1800k|  1790k|     0 |   0.0 | 509M|1399 |   - |1640 | 113 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
574.51/574.72	c   553s|  1810k|  1799k|     0 |   0.0 | 512M|1399 |   - |1640 | 167 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 |      --      |    Inf 
577.81/578.05	c   557s|  1820k|  1809k|     0 |   0.0 | 514M|1399 |   - |1640 | 174 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 |      --      |    Inf 
581.11/581.37	c   560s|  1830k|  1819k|     0 |   0.0 | 517M|1399 |   - |1640 | 131 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 |      --      |    Inf 
584.51/584.74	c   563s|  1840k|  1829k|     0 |   0.0 | 520M|1399 |   - |1640 | 159 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 |      --      |    Inf 
587.81/588.02	c   566s|  1850k|  1839k|     0 |   0.0 | 523M|1399 |   - |1640 | 140 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 |      --      |    Inf 
591.21/591.44	c   570s|  1860k|  1849k|     0 |   0.0 | 525M|1399 |   - |1640 | 158 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 |      --      |    Inf 
594.51/594.70	c   573s|  1870k|  1859k|     0 |   0.0 | 528M|1399 |   - |1640 | 155 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 |      --      |    Inf 
597.80/598.06	c   576s|  1880k|  1869k|     0 |   0.0 | 531M|1399 |   - |1640 | 152 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 |      --      |    Inf 
601.20/601.44	c   579s|  1890k|  1879k|     0 |   0.0 | 534M|1399 |   - |1640 | 121 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 |      --      |    Inf 
604.50/604.78	c   582s|  1900k|  1889k|     0 |   0.0 | 536M|1399 |   - |1640 | 141 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 |      --      |    Inf 
607.81/608.06	c   586s|  1910k|  1899k|     0 |   0.0 | 539M|1399 |   - |1640 | 198 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 |      --      |    Inf 
611.11/611.39	c   589s|  1920k|  1909k|     0 |   0.0 | 542M|1399 |   - |1640 | 137 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 |      --      |    Inf 
614.50/614.71	c   592s|  1930k|  1919k|     0 |   0.0 | 545M|1399 |   - |1640 | 127 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 |      --      |    Inf 
617.80/618.02	c   595s|  1940k|  1929k|     0 |   0.0 | 547M|1399 |   - |1640 | 147 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 |      --      |    Inf 
621.10/621.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
621.10/621.34	c   598s|  1950k|  1939k|     0 |   0.0 | 550M|1399 |   - |1640 | 127 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
624.40/624.68	c   602s|  1960k|  1949k|     0 |   0.0 | 553M|1399 |   - |1640 | 137 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
627.80/628.07	c   605s|  1970k|  1959k|     0 |   0.0 | 556M|1399 |   - |1640 | 152 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
631.20/631.48	c   608s|  1980k|  1969k|     0 |   0.0 | 558M|1399 |   - |1640 | 140 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
634.60/634.84	c   611s|  1990k|  1979k|     0 |   0.0 | 561M|1399 |   - |1640 | 163 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
637.90/638.18	c   615s|  2000k|  1989k|     0 |   0.0 | 564M|1399 |   - |1640 | 125 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
641.29/641.51	c   618s|  2010k|  1999k|     0 |   0.0 | 567M|1399 |   - |1640 | 110 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
644.50/644.77	c   621s|  2020k|  2009k|     0 |   0.0 | 569M|1399 |   - |1640 | 140 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
647.79/648.08	c   624s|  2030k|  2019k|     0 |   0.0 | 572M|1399 |   - |1640 | 136 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
651.19/651.40	c   627s|  2040k|  2028k|     0 |   0.0 | 575M|1399 |   - |1640 | 181 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
654.49/654.75	c   631s|  2050k|  2038k|     0 |   0.0 | 578M|1399 |   - |1640 | 156 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
657.79/658.03	c   634s|  2060k|  2048k|     0 |   0.0 | 581M|1399 |   - |1640 | 205 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
661.08/661.33	c   637s|  2070k|  2058k|     0 |   0.0 | 583M|1399 |   - |1640 | 181 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
664.39/664.61	c   640s|  2080k|  2068k|     0 |   0.0 | 586M|1399 |   - |1640 | 168 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
667.68/667.93	c   643s|  2090k|  2078k|     0 |   0.0 | 589M|1399 |   - |1640 | 154 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 |      --      |    Inf 
671.08/671.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
671.08/671.30	c   647s|  2100k|  2088k|     0 |   0.0 | 592M|1399 |   - |1640 | 141 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 |      --      |    Inf 
674.38/674.63	c   650s|  2110k|  2098k|     0 |   0.0 | 594M|1399 |   - |1640 | 134 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 |      --      |    Inf 
677.67/677.94	c   653s|  2120k|  2108k|     0 |   0.0 | 597M|1399 |   - |1640 | 153 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 |      --      |    Inf 
680.97/681.24	c   656s|  2130k|  2118k|     0 |   0.0 | 600M|1399 |   - |1640 | 117 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 |      --      |    Inf 
684.28/684.53	c   659s|  2140k|  2128k|     0 |   0.0 | 603M|1399 |   - |1640 | 129 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 |      --      |    Inf 
687.57/687.89	c   663s|  2150k|  2138k|     0 |   0.0 | 605M|1399 |   - |1640 | 136 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 |      --      |    Inf 
690.98/691.25	c   666s|  2160k|  2148k|     0 |   0.0 | 608M|1399 |   - |1640 | 147 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 |      --      |    Inf 
694.37/694.60	c   669s|  2170k|  2158k|     0 |   0.0 | 611M|1399 |   - |1640 | 133 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 |      --      |    Inf 
697.57/697.88	c   672s|  2180k|  2168k|     0 |   0.0 | 614M|1399 |   - |1640 | 140 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 |      --      |    Inf 
700.97/701.21	c   675s|  2190k|  2178k|     0 |   0.0 | 616M|1399 |   - |1640 | 155 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 |      --      |    Inf 
704.27/704.55	c   679s|  2200k|  2188k|     0 |   0.0 | 619M|1399 |   - |1640 | 164 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 |      --      |    Inf 
707.57/707.82	c   682s|  2210k|  2198k|     0 |   0.0 | 622M|1399 |   - |1640 | 139 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 |      --      |    Inf 
710.86/711.13	c   685s|  2220k|  2208k|     0 |   0.0 | 625M|1399 |   - |1640 | 169 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 |      --      |    Inf 
714.27/714.50	c   688s|  2230k|  2218k|     0 |   0.0 | 628M|1399 |   - |1640 | 149 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 |      --      |    Inf 
717.66/717.96	c   691s|  2240k|  2228k|     0 |   0.0 | 630M|1399 |   - |1640 | 112 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
721.07/721.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
721.07/721.32	c   695s|  2250k|  2238k|     0 |   0.0 | 633M|1399 |   - |1640 | 146 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
724.36/724.64	c   698s|  2260k|  2248k|     0 |   0.0 | 636M|1399 |   - |1640 | 151 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
727.66/727.90	c   701s|  2270k|  2257k|     0 |   0.0 | 639M|1399 |   - |1640 | 162 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
730.96/731.27	c   704s|  2280k|  2267k|     0 |   0.0 | 641M|1399 |   - |1640 | 175 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
734.36/734.60	c   708s|  2290k|  2277k|     0 |   0.0 | 644M|1399 |   - |1640 | 149 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
737.76/738.04	c   711s|  2300k|  2287k|     0 |   0.0 | 647M|1399 |   - |1640 | 139 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
741.16/741.44	c   714s|  2310k|  2297k|     0 |   0.0 | 650M|1399 |   - |1640 | 163 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
744.46/744.80	c   717s|  2320k|  2307k|     0 |   0.0 | 652M|1399 |   - |1640 | 139 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
747.76/748.05	c   721s|  2330k|  2317k|     0 |   0.0 | 655M|1399 |   - |1640 | 143 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
751.16/751.41	c   724s|  2340k|  2327k|     0 |   0.0 | 658M|1399 |   - |1640 | 123 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
754.36/754.68	c   727s|  2350k|  2337k|     0 |   0.0 | 660M|1399 |   - |1640 | 129 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
757.65/757.95	c   730s|  2360k|  2347k|     0 |   0.0 | 663M|1399 |   - |1640 | 121 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
760.95/761.29	c   733s|  2370k|  2357k|     0 |   0.0 | 666M|1399 |   - |1640 | 121 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
764.36/764.63	c   737s|  2380k|  2367k|     0 |   0.0 | 669M|1399 |   - |1640 | 130 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
767.65/767.95	c   740s|  2390k|  2377k|     0 |   0.0 | 672M|1399 |   - |1640 | 162 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
770.95/771.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
770.95/771.21	c   743s|  2400k|  2387k|     0 |   0.0 | 674M|1399 |   - |1640 | 141 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
774.14/774.49	c   746s|  2410k|  2397k|     0 |   0.0 | 677M|1399 |   - |1640 | 160 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
777.45/777.77	c   749s|  2420k|  2407k|     0 |   0.0 | 680M|1399 |   - |1640 | 146 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
780.74/781.04	c   752s|  2430k|  2417k|     0 |   0.0 | 682M|1399 |   - |1640 | 130 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
783.93/784.27	c   755s|  2440k|  2427k|     0 |   0.0 | 685M|1399 |   - |1640 | 163 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
787.23/787.54	c   759s|  2450k|  2437k|     0 |   0.0 | 688M|1399 |   - |1640 | 191 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
790.44/790.78	c   762s|  2460k|  2447k|     0 |   0.0 | 691M|1399 |   - |1640 | 129 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
793.74/794.02	c   765s|  2470k|  2457k|     0 |   0.0 | 693M|1399 |   - |1640 | 136 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
796.94/797.26	c   768s|  2480k|  2467k|     0 |   0.0 | 696M|1399 |   - |1640 | 147 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
800.24/800.57	c   771s|  2490k|  2477k|     0 |   0.0 | 699M|1399 |   - |1640 | 166 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
803.64/803.94	c   774s|  2500k|  2486k|     0 |   0.0 | 702M|1399 |   - |1640 | 141 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
806.93/807.21	c   778s|  2510k|  2496k|     0 |   0.0 | 705M|1399 |   - |1640 | 137 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
810.23/810.53	c   781s|  2520k|  2506k|     0 |   0.0 | 707M|1399 |   - |1640 | 140 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
813.53/813.81	c   784s|  2530k|  2516k|     0 |   0.0 | 710M|1399 |   - |1640 | 162 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
816.82/817.13	c   787s|  2540k|  2526k|     0 |   0.0 | 713M|1399 |   - |1640 | 119 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
820.12/820.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
820.12/820.49	c   790s|  2550k|  2536k|     0 |   0.0 | 716M|1399 |   - |1640 | 145 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
823.43/823.74	c   794s|  2560k|  2546k|     0 |   0.0 | 718M|1399 |   - |1640 | 161 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
826.72/827.03	c   797s|  2570k|  2556k|     0 |   0.0 | 721M|1399 |   - |1640 | 166 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
830.03/830.31	c   800s|  2580k|  2566k|     0 |   0.0 | 724M|1399 |   - |1640 | 147 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
833.22/833.55	c   803s|  2590k|  2576k|     0 |   0.0 | 727M|1399 |   - |1640 | 115 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
836.52/836.83	c   806s|  2600k|  2586k|     0 |   0.0 | 730M|1399 |   - |1640 | 156 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
839.72/840.05	c   809s|  2610k|  2596k|     0 |   0.0 | 732M|1399 |   - |1640 | 156 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
843.02/843.37	c   812s|  2620k|  2606k|     0 |   0.0 | 735M|1399 |   - |1640 | 121 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
846.32/846.64	c   816s|  2630k|  2616k|     0 |   0.0 | 738M|1399 |   - |1640 | 165 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
849.62/849.93	c   819s|  2640k|  2626k|     0 |   0.0 | 741M|1399 |   - |1640 | 169 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
852.92/853.27	c   822s|  2650k|  2636k|     0 |   0.0 | 744M|1399 |   - |1640 | 174 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
856.21/856.51	c   825s|  2660k|  2646k|     0 |   0.0 | 746M|1399 |   - |1640 | 183 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
859.41/859.77	c   828s|  2670k|  2656k|     0 |   0.0 | 749M|1399 |   - |1640 | 158 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
862.72/863.02	c   831s|  2680k|  2666k|     0 |   0.0 | 752M|1399 |   - |1640 | 185 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
865.92/866.30	c   835s|  2690k|  2676k|     0 |   0.0 | 755M|1399 |   - |1640 | 195 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
869.31/869.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
869.31/869.67	c   838s|  2700k|  2686k|     0 |   0.0 | 757M|1399 |   - |1640 | 191 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
872.81/873.11	c   841s|  2710k|  2695k|     0 |   0.0 | 760M|1399 |   - |1640 | 150 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
876.11/876.45	c   844s|  2720k|  2705k|     0 |   0.0 | 763M|1399 |   - |1640 | 179 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
879.31/879.69	c   848s|  2730k|  2715k|     0 |   0.0 | 766M|1399 |   - |1640 | 162 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
882.50/882.88	c   851s|  2740k|  2725k|     0 |   0.0 | 768M|1399 |   - |1640 | 155 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
885.81/886.14	c   854s|  2750k|  2735k|     0 |   0.0 | 771M|1399 |   - |1640 | 148 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
889.01/889.37	c   857s|  2760k|  2745k|     0 |   0.0 | 774M|1399 |   - |1640 | 158 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
892.30/892.66	c   860s|  2770k|  2755k|     0 |   0.0 | 777M|1399 |   - |1640 | 119 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
895.50/895.89	c   863s|  2780k|  2765k|     0 |   0.0 | 779M|1399 |   - |1640 | 143 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
898.80/899.16	c   866s|  2790k|  2775k|     0 |   0.0 | 782M|1399 |   - |1640 | 153 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
902.10/902.41	c   869s|  2800k|  2785k|     0 |   0.0 | 785M|1399 |   - |1640 | 128 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
905.30/905.61	c   872s|  2810k|  2795k|     0 |   0.0 | 788M|1399 |   - |1640 | 155 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
908.49/908.81	c   876s|  2820k|  2805k|     0 |   0.0 | 791M|1399 |   - |1640 | 157 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
911.70/912.02	c   879s|  2830k|  2815k|     0 |   0.0 | 793M|1399 |   - |1640 | 138 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
914.90/915.27	c   882s|  2840k|  2825k|     0 |   0.0 | 796M|1399 |   - |1640 | 142 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
918.30/918.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
918.30/918.61	c   885s|  2850k|  2835k|     0 |   0.0 | 799M|1399 |   - |1640 | 192 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
921.50/921.86	c   888s|  2860k|  2845k|     0 |   0.0 | 802M|1399 |   - |1640 | 169 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
924.80/925.13	c   891s|  2870k|  2855k|     0 |   0.0 | 805M|1399 |   - |1640 | 166 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
928.00/928.31	c   894s|  2880k|  2865k|     0 |   0.0 | 807M|1399 |   - |1640 | 127 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
931.20/931.54	c   897s|  2890k|  2875k|     0 |   0.0 | 810M|1399 |   - |1640 | 129 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
934.49/934.80	c   901s|  2900k|  2885k|     0 |   0.0 | 813M|1399 |   - |1640 | 118 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
937.69/938.07	c   904s|  2910k|  2895k|     0 |   0.0 | 816M|1399 |   - |1640 | 146 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
940.89/941.29	c   907s|  2920k|  2905k|     0 |   0.0 | 818M|1399 |   - |1640 | 141 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
944.19/944.58	c   910s|  2930k|  2915k|     0 |   0.0 | 821M|1399 |   - |1640 | 138 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
947.49/947.82	c   913s|  2940k|  2925k|     0 |   0.0 | 824M|1399 |   - |1640 | 142 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
950.69/951.05	c   916s|  2950k|  2934k|     0 |   0.0 | 827M|1399 |   - |1640 | 112 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
953.99/954.38	c   920s|  2960k|  2944k|     0 |   0.0 | 830M|1399 |   - |1640 | 135 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
957.28/957.67	c   923s|  2970k|  2954k|     0 |   0.0 | 832M|1399 |   - |1640 | 144 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
960.58/960.97	c   926s|  2980k|  2964k|     0 |   0.0 | 835M|1399 |   - |1640 | 144 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
963.88/964.28	c   929s|  2990k|  2974k|     0 |   0.0 | 838M|1399 |   - |1640 | 167 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
967.18/967.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
967.18/967.55	c   932s|  3000k|  2984k|     0 |   0.0 | 841M|1399 |   - |1640 | 134 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
970.48/970.81	c   935s|  3010k|  2994k|     0 |   0.0 | 843M|1399 |   - |1640 | 126 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
973.78/974.16	c   939s|  3020k|  3004k|     0 |   0.0 | 846M|1399 |   - |1640 | 131 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
976.98/977.39	c   942s|  3030k|  3014k|     0 |   0.0 | 849M|1399 |   - |1640 | 126 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
980.37/980.72	c   945s|  3040k|  3024k|     0 |   0.0 | 852M|1399 |   - |1640 | 133 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
983.57/983.95	c   948s|  3050k|  3034k|     0 |   0.0 | 855M|1399 |   - |1640 | 129 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
986.98/987.34	c   951s|  3060k|  3044k|     0 |   0.0 | 857M|1399 |   - |1640 | 149 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
990.17/990.57	c   954s|  3070k|  3054k|     0 |   0.0 | 860M|1399 |   - |1640 | 181 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
993.47/993.85	c   958s|  3080k|  3064k|     0 |   0.0 | 863M|1399 |   - |1640 | 184 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
996.76/997.13	c   961s|  3090k|  3074k|     0 |   0.0 | 866M|1399 |   - |1640 | 157 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
999.97/1000.33	c   964s|  3100k|  3084k|     0 |   0.0 | 868M|1399 |   - |1640 | 150 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
1003.26/1003.62	c   967s|  3110k|  3094k|     0 |   0.0 | 871M|1399 |   - |1640 | 124 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
1006.56/1006.92	c   970s|  3120k|  3104k|     0 |   0.0 | 874M|1399 |   - |1640 | 146 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
1009.76/1010.19	c   973s|  3130k|  3114k|     0 |   0.0 | 877M|1399 |   - |1640 | 196 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
1013.06/1013.46	c   977s|  3140k|  3124k|     0 |   0.0 | 880M|1399 |   - |1640 | 211 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
1016.36/1016.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1016.36/1016.76	c   980s|  3150k|  3134k|     0 |   0.0 | 882M|1399 |   - |1640 | 165 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
1019.75/1020.10	c   983s|  3160k|  3143k|     0 |   0.0 | 885M|1399 |   - |1640 | 162 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
1022.95/1023.34	c   986s|  3170k|  3153k|     0 |   0.0 | 888M|1399 |   - |1640 | 171 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
1026.36/1026.76	c   989s|  3180k|  3163k|     0 |   0.0 | 891M|1399 |   - |1640 | 162 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
1029.66/1030.01	c   992s|  3190k|  3173k|     0 |   0.0 | 893M|1399 |   - |1640 | 144 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
1032.85/1033.25	c   996s|  3200k|  3183k|     0 |   0.0 | 896M|1399 |   - |1640 | 165 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
1036.16/1036.52	c   999s|  3210k|  3193k|     0 |   0.0 | 899M|1399 |   - |1640 | 114 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
1039.35/1039.78	c  1002s|  3220k|  3203k|     0 |   0.0 | 902M|1399 |   - |1640 | 147 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
1042.65/1043.00	c  1005s|  3230k|  3213k|     0 |   0.0 | 904M|1399 |   - |1640 | 153 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
1045.86/1046.24	c  1008s|  3240k|  3223k|     0 |   0.0 | 907M|1399 |   - |1640 | 169 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
1049.06/1049.45	c  1011s|  3250k|  3233k|     0 |   0.0 | 910M|1399 |   - |1640 | 172 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
1052.35/1052.73	c  1014s|  3260k|  3243k|     0 |   0.0 | 913M|1399 |   - |1640 | 155 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
1055.54/1055.95	c  1017s|  3270k|  3253k|     0 |   0.0 | 915M|1399 |   - |1640 | 139 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
1058.85/1059.20	c  1021s|  3280k|  3263k|     0 |   0.0 | 918M|1399 |   - |1640 | 157 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
1062.05/1062.43	c  1024s|  3290k|  3273k|     0 |   0.0 | 921M|1399 |   - |1640 | 185 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
1065.25/1065.67	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1065.25/1065.67	c  1027s|  3300k|  3283k|     0 |   0.0 | 924M|1399 |   - |1640 | 192 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
1068.54/1068.92	c  1030s|  3310k|  3293k|     0 |   0.0 | 927M|1399 |   - |1640 | 185 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
1071.74/1072.16	c  1033s|  3320k|  3303k|     0 |   0.0 | 929M|1399 |   - |1640 | 143 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
1075.04/1075.46	c  1036s|  3330k|  3313k|     0 |   0.0 | 932M|1399 |   - |1640 | 128 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
1078.34/1078.78	c  1040s|  3340k|  3323k|     0 |   0.0 | 935M|1399 |   - |1640 | 155 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
1081.64/1082.05	c  1043s|  3350k|  3333k|     0 |   0.0 | 938M|1399 |   - |1640 | 144 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
1084.84/1085.26	c  1046s|  3360k|  3343k|     0 |   0.0 | 940M|1399 |   - |1640 | 129 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
1088.04/1088.45	c  1049s|  3370k|  3353k|     0 |   0.0 | 943M|1399 |   - |1640 | 167 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
1091.34/1091.70	c  1052s|  3380k|  3363k|     0 |   0.0 | 946M|1399 |   - |1640 | 142 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
1094.54/1094.97	c  1055s|  3390k|  3373k|     0 |   0.0 | 949M|1399 |   - |1640 | 166 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
1097.74/1098.17	c  1058s|  3400k|  3382k|     0 |   0.0 | 951M|1399 |   - |1640 | 152 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
1101.03/1101.49	c  1061s|  3410k|  3392k|     0 |   0.0 | 954M|1399 |   - |1640 | 161 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
1104.33/1104.76	c  1065s|  3420k|  3402k|     0 |   0.0 | 957M|1399 |   - |1640 | 159 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
1107.63/1108.01	c  1068s|  3430k|  3412k|     0 |   0.0 | 960M|1399 |   - |1640 | 148 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
1110.83/1111.27	c  1071s|  3440k|  3422k|     0 |   0.0 | 962M|1399 |   - |1640 | 152 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
1114.13/1114.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1114.13/1114.53	c  1074s|  3450k|  3432k|     0 |   0.0 | 965M|1399 |   - |1640 | 180 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
1117.43/1117.81	c  1077s|  3460k|  3442k|     0 |   0.0 | 968M|1399 |   - |1640 | 164 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
1120.83/1121.20	c  1080s|  3470k|  3452k|     0 |   0.0 | 971M|1399 |   - |1640 | 205 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
1124.02/1124.41	c  1083s|  3480k|  3462k|     0 |   0.0 | 973M|1399 |   - |1640 | 177 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
1127.23/1127.64	c  1087s|  3490k|  3472k|     0 |   0.0 | 976M|1399 |   - |1640 | 169 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
1130.43/1130.86	c  1090s|  3500k|  3482k|     0 |   0.0 | 979M|1399 |   - |1640 | 185 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
1133.73/1134.18	c  1093s|  3510k|  3492k|     0 |   0.0 | 982M|1399 |   - |1640 | 191 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
1136.93/1137.38	c  1096s|  3520k|  3502k|     0 |   0.0 | 984M|1399 |   - |1640 | 156 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
1140.22/1140.68	c  1099s|  3530k|  3512k|     0 |   0.0 | 987M|1399 |   - |1640 | 168 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
1143.52/1143.95	c  1102s|  3540k|  3522k|     0 |   0.0 | 990M|1399 |   - |1640 | 210 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
1146.72/1147.19	c  1105s|  3550k|  3532k|     0 |   0.0 | 993M|1399 |   - |1640 | 190 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
1150.02/1150.44	c  1109s|  3560k|  3542k|     0 |   0.0 | 996M|1399 |   - |1640 | 160 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
1153.22/1153.68	c  1112s|  3570k|  3552k|     0 |   0.0 | 998M|1399 |   - |1640 | 168 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
1156.52/1156.94	c  1115s|  3580k|  3562k|     0 |   0.0 |1001M|1399 |   - |1640 | 143 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
1159.72/1160.14	c  1118s|  3590k|  3572k|     0 |   0.0 |1004M|1399 |   - |1640 | 162 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
1163.02/1163.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1163.02/1163.40	c  1121s|  3600k|  3582k|     0 |   0.0 |1006M|1399 |   - |1640 | 141 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
1166.21/1166.62	c  1124s|  3610k|  3592k|     0 |   0.0 |1009M|1399 |   - |1640 | 140 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
1169.51/1169.96	c  1127s|  3620k|  3601k|     0 |   0.0 |1012M|1399 |   - |1640 | 136 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
1172.72/1173.17	c  1130s|  3630k|  3611k|     0 |   0.0 |1015M|1399 |   - |1640 | 150 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
1176.01/1176.44	c  1134s|  3640k|  3621k|     0 |   0.0 |1017M|1399 |   - |1640 | 165 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
1179.11/1179.59	c  1137s|  3650k|  3631k|     0 |   0.0 |1020M|1399 |   - |1640 | 168 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
1182.31/1182.74	c  1140s|  3660k|  3641k|     0 |   0.0 |1023M|1399 |   - |1640 | 154 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
1185.31/1185.80	c  1143s|  3670k|  3651k|     0 |   0.0 |1026M|1399 |   - |1640 | 195 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
1188.50/1188.95	c  1146s|  3680k|  3661k|     0 |   0.0 |1029M|1399 |   - |1640 | 166 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
1191.71/1192.10	c  1149s|  3690k|  3671k|     0 |   0.0 |1031M|1399 |   - |1640 | 165 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
1194.80/1195.22	c  1152s|  3700k|  3681k|     0 |   0.0 |1034M|1399 |   - |1640 | 145 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
1198.00/1198.40	c  1155s|  3710k|  3691k|     0 |   0.0 |1037M|1399 |   - |1640 | 155 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
1201.11/1201.50	c  1158s|  3720k|  3701k|     0 |   0.0 |1040M|1399 |   - |1640 | 149 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
1204.21/1204.68	c  1161s|  3730k|  3711k|     0 |   0.0 |1043M|1399 |   - |1640 | 178 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
1207.41/1207.83	c  1164s|  3740k|  3721k|     0 |   0.0 |1045M|1399 |   - |1640 | 155 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
1210.50/1210.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1210.50/1210.96	c  1167s|  3750k|  3731k|     0 |   0.0 |1048M|1399 |   - |1640 | 143 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
1213.70/1214.17	c  1170s|  3760k|  3741k|     0 |   0.0 |1051M|1399 |   - |1640 | 182 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
1216.90/1217.37	c  1173s|  3770k|  3751k|     0 |   0.0 |1054M|1399 |   - |1640 | 165 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
1220.10/1220.52	c  1176s|  3780k|  3761k|     0 |   0.0 |1056M|1399 |   - |1640 | 172 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
1223.20/1223.68	c  1179s|  3790k|  3771k|     0 |   0.0 |1059M|1399 |   - |1640 | 144 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
1226.50/1226.91	c  1182s|  3800k|  3781k|     0 |   0.0 |1062M|1399 |   - |1640 | 191 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
1229.59/1230.05	c  1185s|  3810k|  3791k|     0 |   0.0 |1065M|1399 |   - |1640 | 160 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
1232.81/1233.22	c  1188s|  3820k|  3801k|     0 |   0.0 |1068M|1399 |   - |1640 | 173 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
1236.00/1236.42	c  1191s|  3830k|  3811k|     0 |   0.0 |1070M|1399 |   - |1640 | 162 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
1239.19/1239.69	c  1194s|  3840k|  3820k|     0 |   0.0 |1073M|1399 |   - |1640 | 172 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
1242.49/1242.99	c  1198s|  3850k|  3830k|     0 |   0.0 |1076M|1399 |   - |1640 | 149 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
1245.79/1246.23	c  1201s|  3860k|  3840k|     0 |   0.0 |1079M|1399 |   - |1640 | 146 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
1248.99/1249.49	c  1204s|  3870k|  3850k|     0 |   0.0 |1082M|1399 |   - |1640 | 142 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
1252.19/1252.65	c  1207s|  3880k|  3860k|     0 |   0.0 |1084M|1399 |   - |1640 | 139 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
1255.39/1255.80	c  1210s|  3890k|  3870k|     0 |   0.0 |1087M|1399 |   - |1640 | 140 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
1258.49/1258.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1258.49/1258.97	c  1213s|  3900k|  3880k|     0 |   0.0 |1090M|1399 |   - |1640 | 125 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
1261.68/1262.10	c  1216s|  3910k|  3890k|     0 |   0.0 |1093M|1399 |   - |1640 | 142 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
1264.78/1265.29	c  1219s|  3920k|  3900k|     0 |   0.0 |1096M|1399 |   - |1640 | 175 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
1268.00/1268.48	c  1222s|  3930k|  3910k|     0 |   0.0 |1098M|1399 |   - |1640 | 141 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
1271.29/1271.77	c  1225s|  3940k|  3920k|     0 |   0.0 |1101M|1399 |   - |1640 | 139 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
1274.38/1274.87	c  1228s|  3950k|  3930k|     0 |   0.0 |1104M|1399 |   - |1640 | 137 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
1277.58/1278.09	c  1232s|  3960k|  3940k|     0 |   0.0 |1107M|1399 |   - |1640 | 117 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
1280.77/1281.26	c  1235s|  3970k|  3950k|     0 |   0.0 |1109M|1399 |   - |1640 | 128 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
1284.18/1284.62	c  1238s|  3980k|  3960k|     0 |   0.0 |1112M|1399 |   - |1640 | 156 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
1287.37/1287.85	c  1241s|  3990k|  3970k|     0 |   0.0 |1115M|1399 |   - |1640 | 145 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
1290.57/1291.08	c  1244s|  4000k|  3980k|     0 |   0.0 |1118M|1399 |   - |1640 | 114 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
1293.77/1294.22	c  1247s|  4010k|  3990k|     0 |   0.0 |1120M|1399 |   - |1640 | 160 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
1296.98/1297.49	c  1250s|  4020k|  4000k|     0 |   0.0 |1123M|1399 |   - |1640 | 150 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 |      --      |    Inf 
1300.17/1300.65	c  1253s|  4030k|  4010k|     0 |   0.0 |1126M|1399 |   - |1640 | 167 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 |      --      |    Inf 
1303.57/1304.01	c  1257s|  4040k|  4020k|     0 |   0.0 |1129M|1399 |   - |1640 | 196 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 |      --      |    Inf 
1306.77/1307.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1306.77/1307.26	c  1260s|  4050k|  4029k|     0 |   0.0 |1132M|1399 |   - |1640 | 208 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 |      --      |    Inf 
1309.97/1310.47	c  1263s|  4060k|  4039k|     0 |   0.0 |1134M|1399 |   - |1640 | 163 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 |      --      |    Inf 
1313.27/1313.73	c  1266s|  4070k|  4049k|     0 |   0.0 |1137M|1399 |   - |1640 | 143 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 |      --      |    Inf 
1316.46/1316.97	c  1269s|  4080k|  4059k|     0 |   0.0 |1140M|1399 |   - |1640 | 151 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 |      --      |    Inf 
1319.67/1320.19	c  1272s|  4090k|  4069k|     0 |   0.0 |1143M|1399 |   - |1640 | 138 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 |      --      |    Inf 
1322.97/1323.48	c  1275s|  4100k|  4079k|     0 |   0.0 |1145M|1399 |   - |1640 | 167 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 |      --      |    Inf 
1326.17/1326.63	c  1278s|  4110k|  4089k|     0 |   0.0 |1148M|1399 |   - |1640 | 158 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 |      --      |    Inf 
1329.36/1329.89	c  1281s|  4120k|  4099k|     0 |   0.0 |1151M|1399 |   - |1640 | 205 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 |      --      |    Inf 
1332.56/1333.05	c  1284s|  4130k|  4109k|     0 |   0.0 |1154M|1399 |   - |1640 | 184 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 |      --      |    Inf 
1335.77/1336.22	c  1288s|  4140k|  4119k|     0 |   0.0 |1157M|1399 |   - |1640 | 152 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 |      --      |    Inf 
1338.96/1339.40	c  1291s|  4150k|  4129k|     0 |   0.0 |1159M|1399 |   - |1640 | 180 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
1342.16/1342.64	c  1294s|  4160k|  4139k|     0 |   0.0 |1162M|1399 |   - |1640 | 160 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
1345.26/1345.78	c  1297s|  4170k|  4149k|     0 |   0.0 |1165M|1399 |   - |1640 | 155 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
1348.46/1348.95	c  1300s|  4180k|  4159k|     0 |   0.0 |1168M|1399 |   - |1640 | 148 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
1351.65/1352.14	c  1303s|  4190k|  4169k|     0 |   0.0 |1170M|1399 |   - |1640 | 152 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
1354.86/1355.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1354.86/1355.37	c  1306s|  4200k|  4179k|     0 |   0.0 |1173M|1399 |   - |1640 | 196 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
1358.06/1358.53	c  1309s|  4210k|  4189k|     0 |   0.0 |1176M|1399 |   - |1640 | 173 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
1361.26/1361.78	c  1312s|  4220k|  4199k|     0 |   0.0 |1179M|1399 |   - |1640 | 149 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
1364.55/1365.09	c  1315s|  4230k|  4209k|     0 |   0.0 |1182M|1399 |   - |1640 | 171 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
1367.75/1368.27	c  1318s|  4240k|  4219k|     0 |   0.0 |1184M|1399 |   - |1640 | 215 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
1370.95/1371.47	c  1321s|  4250k|  4229k|     0 |   0.0 |1187M|1399 |   - |1640 | 153 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
1374.25/1374.72	c  1325s|  4260k|  4239k|     0 |   0.0 |1190M|1399 |   - |1640 | 152 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
1377.44/1377.98	c  1328s|  4270k|  4248k|     0 |   0.0 |1193M|1399 |   - |1640 | 131 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
1380.85/1381.35	c  1331s|  4280k|  4258k|     0 |   0.0 |1195M|1399 |   - |1640 | 141 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
1384.04/1384.56	c  1334s|  4290k|  4268k|     0 |   0.0 |1198M|1399 |   - |1640 | 131 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
1387.34/1387.86	c  1337s|  4300k|  4278k|     0 |   0.0 |1201M|1399 |   - |1640 | 150 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
1390.64/1391.12	c  1340s|  4310k|  4288k|     0 |   0.0 |1204M|1399 |   - |1640 | 142 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
1393.84/1394.32	c  1343s|  4320k|  4298k|     0 |   0.0 |1207M|1399 |   - |1640 | 152 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
1397.04/1397.54	c  1347s|  4330k|  4308k|     0 |   0.0 |1209M|1399 |   - |1640 | 138 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
1400.24/1400.78	c  1350s|  4340k|  4318k|     0 |   0.0 |1212M|1399 |   - |1640 | 140 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
1403.54/1404.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1403.54/1404.04	c  1353s|  4350k|  4328k|     0 |   0.0 |1215M|1399 |   - |1640 | 163 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
1406.74/1407.22	c  1356s|  4360k|  4338k|     0 |   0.0 |1218M|1399 |   - |1640 | 170 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
1409.94/1410.40	c  1359s|  4370k|  4348k|     0 |   0.0 |1220M|1399 |   - |1640 | 179 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
1413.15/1413.62	c  1362s|  4380k|  4358k|     0 |   0.0 |1223M|1399 |   - |1640 | 178 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
1416.34/1416.84	c  1365s|  4390k|  4368k|     0 |   0.0 |1226M|1399 |   - |1640 | 155 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
1419.54/1420.09	c  1368s|  4400k|  4378k|     0 |   0.0 |1229M|1399 |   - |1640 | 179 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
1422.74/1423.26	c  1371s|  4410k|  4388k|     0 |   0.0 |1231M|1399 |   - |1640 | 137 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
1426.04/1426.51	c  1374s|  4420k|  4398k|     0 |   0.0 |1234M|1399 |   - |1640 | 113 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
1429.13/1429.66	c  1377s|  4430k|  4408k|     0 |   0.0 |1237M|1399 |   - |1640 | 131 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
1432.33/1432.88	c  1381s|  4440k|  4418k|     0 |   0.0 |1240M|1399 |   - |1640 | 176 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
1435.64/1436.14	c  1384s|  4450k|  4428k|     0 |   0.0 |1243M|1399 |   - |1640 | 190 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
1438.83/1439.33	c  1387s|  4460k|  4438k|     0 |   0.0 |1245M|1399 |   - |1640 | 238 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
1442.02/1442.54	c  1390s|  4470k|  4448k|     0 |   0.0 |1248M|1399 |   - |1640 | 161 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
1445.23/1445.78	c  1393s|  4480k|  4458k|     0 |   0.0 |1251M|1399 |   - |1640 | 186 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
1448.43/1448.99	c  1396s|  4490k|  4468k|     0 |   0.0 |1254M|1399 |   - |1640 | 155 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
1451.64/1452.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1451.64/1452.18	c  1399s|  4500k|  4477k|     0 |   0.0 |1256M|1399 |   - |1640 | 166 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
1454.93/1455.41	c  1402s|  4510k|  4487k|     0 |   0.0 |1259M|1399 |   - |1640 | 182 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
1458.13/1458.62	c  1405s|  4520k|  4497k|     0 |   0.0 |1262M|1399 |   - |1640 | 188 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
1461.22/1461.79	c  1408s|  4530k|  4507k|     0 |   0.0 |1265M|1399 |   - |1640 | 150 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
1464.52/1465.02	c  1412s|  4540k|  4517k|     0 |   0.0 |1267M|1399 |   - |1640 | 129 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
1467.72/1468.24	c  1415s|  4550k|  4527k|     0 |   0.0 |1270M|1399 |   - |1640 | 192 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
1470.92/1471.44	c  1418s|  4560k|  4537k|     0 |   0.0 |1273M|1399 |   - |1640 | 162 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
1474.22/1474.73	c  1421s|  4570k|  4547k|     0 |   0.0 |1276M|1399 |   - |1640 | 155 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
1477.51/1478.00	c  1424s|  4580k|  4557k|     0 |   0.0 |1279M|1399 |   - |1640 | 150 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
1480.71/1481.22	c  1427s|  4590k|  4567k|     0 |   0.0 |1281M|1399 |   - |1640 | 142 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
1483.91/1484.49	c  1430s|  4600k|  4577k|     0 |   0.0 |1284M|1399 |   - |1640 | 132 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
1487.21/1487.70	c  1433s|  4610k|  4587k|     0 |   0.0 |1287M|1399 |   - |1640 | 125 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
1490.32/1490.86	c  1436s|  4620k|  4597k|     0 |   0.0 |1290M|1399 |   - |1640 | 147 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
1493.52/1494.07	c  1440s|  4630k|  4607k|     0 |   0.0 |1292M|1399 |   - |1640 | 111 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
1496.62/1497.13	c  1442s|  4640k|  4617k|     0 |   0.0 |1295M|1399 |   - |1640 | 152 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
1499.81/1500.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1499.81/1500.34	c  1446s|  4650k|  4627k|     0 |   0.0 |1298M|1399 |   - |1640 | 174 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
1503.01/1503.54	c  1449s|  4660k|  4637k|     0 |   0.0 |1301M|1399 |   - |1640 | 150 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
1506.11/1506.67	c  1452s|  4670k|  4647k|     0 |   0.0 |1303M|1399 |   - |1640 | 137 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
1509.31/1509.86	c  1455s|  4680k|  4657k|     0 |   0.0 |1306M|1399 |   - |1640 | 112 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
1512.50/1513.01	c  1458s|  4690k|  4667k|     0 |   0.0 |1309M|1399 |   - |1640 | 121 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
1515.71/1516.21	c  1461s|  4700k|  4677k|     0 |   0.0 |1312M|1399 |   - |1640 | 151 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
1518.90/1519.45	c  1464s|  4710k|  4687k|     0 |   0.0 |1315M|1399 |   - |1640 | 147 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
1522.10/1522.61	c  1467s|  4720k|  4697k|     0 |   0.0 |1317M|1399 |   - |1640 | 165 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
1525.21/1525.76	c  1470s|  4730k|  4706k|     0 |   0.0 |1320M|1399 |   - |1640 | 159 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
1528.40/1528.93	c  1473s|  4740k|  4716k|     0 |   0.0 |1323M|1399 |   - |1640 | 123 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
1531.81/1532.35	c  1476s|  4750k|  4726k|     0 |   0.0 |1326M|1399 |   - |1640 | 169 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
1534.90/1535.49	c  1479s|  4760k|  4736k|     0 |   0.0 |1328M|1399 |   - |1640 | 176 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
1538.30/1538.85	c  1483s|  4770k|  4746k|     0 |   0.0 |1331M|1399 |   - |1640 | 139 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
1541.60/1542.15	c  1486s|  4780k|  4756k|     0 |   0.0 |1334M|1399 |   - |1640 | 161 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
1545.00/1545.55	c  1489s|  4790k|  4766k|     0 |   0.0 |1337M|1399 |   - |1640 | 168 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
1548.30/1548.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1548.30/1548.86	c  1492s|  4800k|  4776k|     0 |   0.0 |1339M|1399 |   - |1640 | 164 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
1551.39/1551.97	c  1495s|  4810k|  4786k|     0 |   0.0 |1342M|1399 |   - |1640 | 162 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
1554.59/1555.19	c  1498s|  4820k|  4796k|     0 |   0.0 |1345M|1399 |   - |1640 | 182 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
1557.79/1558.34	c  1501s|  4830k|  4806k|     0 |   0.0 |1348M|1399 |   - |1640 | 143 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
1560.99/1561.57	c  1505s|  4840k|  4816k|     0 |   0.0 |1350M|1399 |   - |1640 | 127 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
1564.19/1564.75	c  1508s|  4850k|  4826k|     0 |   0.0 |1353M|1399 |   - |1640 | 141 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
1567.49/1568.03	c  1511s|  4860k|  4836k|     0 |   0.0 |1356M|1399 |   - |1640 | 157 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
1570.29/1570.82	c (node 4868884) switching to memory saving mode (mem: 1296.0M/1620.0M)
1578.58/1579.19	c  1522s|  4870k|  4845k|     0 |   0.0 |1359M|1411 |   - |1640 | 199 |   0 |   0 |   0 |  43k|   0 | 0.000000e+00 |      --      |    Inf 
1665.66/1666.26	c  1608s|  4880k|  4845k|     0 |   0.0 |1359M|1411 |   - |1640 | 242 |   0 |   0 |   0 |  50k|   0 | 0.000000e+00 |      --      |    Inf 
1756.14/1756.79	c  1698s|  4890k|  4845k|     0 |   0.0 |1359M|1411 |   - |1640 | 257 |   0 |   0 |   0 |  56k|   0 | 0.000000e+00 |      --      |    Inf 
1800.02/1800.60	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.61	c 
1800.02/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.61	c Solving Time (sec) : 1741.90
1800.02/1800.61	c Solving Nodes      : 4895565
1800.02/1800.61	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.02/1800.61	c Dual Bound         : +0.00000000000000e+00
1800.02/1800.61	c Gap                : infinite
1800.02/1800.61	s UNKNOWN
1800.02/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.61	c Solving Time       :    1741.90
1800.02/1800.61	c Original Problem   :
1800.02/1800.61	c   Problem name     : HOME/instance-2664746-1276582797.opb
1800.02/1800.61	c   Variables        : 1640 (1640 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.61	c   Constraints      : 81 initial, 81 maximal
1800.02/1800.61	c Presolved Problem  :
1800.02/1800.61	c   Problem name     : t_HOME/instance-2664746-1276582797.opb
1800.02/1800.61	c   Variables        : 1640 (1640 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.61	c   Constraints      : 81 initial, 6684 maximal
1800.02/1800.61	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.61	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.61	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.61	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.61	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.61	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.61	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.61	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.61	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.61	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.61	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.02/1800.61	c   setppc           :         40          0    5388501          0    4878476      20790    2647476          0          0          0
1800.02/1800.61	c   logicor          :         41+         0     993288          0    4878475      10600     454383          0          0          0
1800.02/1800.61	c   countsols        :          0          0          0          0    4878474          0          0          0          0          0
1800.02/1800.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.61	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.61	c   setppc           :     418.11       0.00     181.29       0.00     236.82
1800.02/1800.61	c   logicor          :     281.63       0.00     124.57       0.00     157.06
1800.02/1800.61	c   countsols        :       2.13       0.00       0.00       0.00       2.13
1800.02/1800.61	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.61	c   vbounds          :       2.55          1          0          0
1800.02/1800.61	c   rootredcost      :       2.82          0          0          0
1800.02/1800.61	c   pseudoobj        :       2.38          0          0          0
1800.02/1800.61	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.61	c   propagation      :     288.03      31389      31389     567927      487.8        707      395.3          -
1800.02/1800.61	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.61	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.61	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.61	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.02/1800.61	c   applied globally :          -          -          -      41344      113.0          -          -          -
1800.02/1800.61	c   applied locally  :          -          -          -      19381      397.5          -          -          -
1800.02/1800.61	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.61	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.02/1800.61	c   redcost          :       0.00          0          0          0          0          0
1800.02/1800.61	c   impliedbounds    :       0.00          0          0          0          0          0
1800.02/1800.61	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.61	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.61	c   gomory           :       0.00          0          0          0          0          0
1800.02/1800.61	c   strongcg         :       0.00          0          0          0          0          0
1800.02/1800.61	c   cmir             :       0.00          0          0          0          0          0
1800.02/1800.61	c   flowcover        :       0.00          0          0          0          0          0
1800.02/1800.61	c   clique           :       0.00          0          0          0          0          0
1800.02/1800.61	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.61	c   mcf              :       0.00          0          0          0          0          0
1800.02/1800.61	c   rapidlearning    :       0.00          0          0          0          0          0
1800.02/1800.61	c Pricers            :       Time      Calls       Vars
1800.02/1800.61	c   problem variables:       0.00          0          0
1800.02/1800.61	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.61	c   relpscost        :       0.00          0          0          0          0          0          0
1800.02/1800.61	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.61	c   inference        :     892.05    4878474          0          0          0          0    9756948
1800.02/1800.61	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.61	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.61	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.61	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.61	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.61	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.61	c   LP solutions     :       0.00          -          0
1800.02/1800.61	c   pseudo solutions :       0.00          -          0
1800.02/1800.61	c   trivial          :       0.01          1          0
1800.02/1800.61	c   simplerounding   :       0.00          0          0
1800.02/1800.61	c   zirounding       :       0.00          0          0
1800.02/1800.61	c   rounding         :       0.00          0          0
1800.02/1800.61	c   shifting         :       0.00          0          0
1800.02/1800.61	c   intshifting      :       0.00          0          0
1800.02/1800.61	c   oneopt           :       0.00          0          0
1800.02/1800.61	c   twoopt           :       0.00          0          0
1800.02/1800.61	c   fixandinfer      :       0.00          0          0
1800.02/1800.61	c   feaspump         :       0.00          0          0
1800.02/1800.61	c   coefdiving       :       0.00          0          0
1800.02/1800.61	c   pscostdiving     :       0.00          0          0
1800.02/1800.61	c   fracdiving       :       0.00          0          0
1800.02/1800.61	c   veclendiving     :       0.00          0          0
1800.02/1800.61	c   intdiving        :       0.00          0          0
1800.02/1800.61	c   actconsdiving    :       0.00          0          0
1800.02/1800.61	c   objpscostdiving  :       0.00          0          0
1800.02/1800.61	c   rootsoldiving    :       0.00          0          0
1800.02/1800.61	c   linesearchdiving :       0.00          0          0
1800.02/1800.61	c   guideddiving     :       0.00          0          0
1800.02/1800.61	c   octane           :       0.00          0          0
1800.02/1800.61	c   rens             :       0.00          0          0
1800.02/1800.61	c   rins             :       0.00          0          0
1800.02/1800.61	c   localbranching   :       0.00          0          0
1800.02/1800.61	c   mutation         :       0.00          0          0
1800.02/1800.61	c   crossover        :       0.00          0          0
1800.02/1800.61	c   dins             :       0.00          0          0
1800.02/1800.61	c   undercover       :       0.00          0          0
1800.02/1800.61	c   nlp              :       0.00          0          0
1800.02/1800.61	c   trysol           :       0.00          0          0
1800.02/1800.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.61	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.61	c   dual LP          :       0.00          0          0       0.00          -
1800.02/1800.61	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.61	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.61	c   diving/probing LP:       0.00          0          0       0.00          -
1800.02/1800.61	c   strong branching :       0.00          0          0       0.00          -
1800.02/1800.61	c     (at root node) :          -          0          0       0.00          -
1800.02/1800.61	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.61	c B&B Tree           :
1800.02/1800.61	c   number of runs   :          1
1800.02/1800.61	c   nodes            :    4895565
1800.02/1800.61	c   nodes (total)    :    4895565
1800.02/1800.61	c   nodes left       :    4845380
1800.02/1800.61	c   max depth        :       1411
1800.02/1800.61	c   max depth (total):       1411
1800.02/1800.61	c   backtracks       :      14871 (0.3%)
1800.02/1800.61	c   delayed cutoffs  :      16004
1800.02/1800.61	c   repropagations   :      41464 (580744 domain reductions, 14299 cutoffs)
1800.02/1800.61	c   avg switch length:       2.33
1800.02/1800.61	c   switching time   :      49.51
1800.02/1800.61	c Solution           :
1800.02/1800.61	c   Solutions found  :          0 (0 improvements)
1800.02/1800.61	c   Primal Bound     :          -
1800.02/1800.61	c   Dual Bound       : +0.00000000000000e+00
1800.02/1800.61	c   Gap              :   infinite
1800.02/1800.61	c   Root Dual Bound  : +0.00000000000000e+00
1800.02/1800.61	c   Root Iterations  :          0

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664746-1276582797/watcher-2664746-1276582797 -o /tmp/evaluation-result-2664746-1276582797/solver-2664746-1276582797 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664746-1276582797.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.16 1.03 1.01 3/106 3954
/proc/meminfo: memFree=1846960/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=6584 CPUtime=0
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 914 0 0 0 0 0 0 0 20 0 1 0 33883733 6742016 837 1992294400 4194304 7136930 140735728173424 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3954/statm: 1646 846 254 719 0 925 0

[startup+0.109094 s]
/proc/loadavg: 1.16 1.03 1.01 3/106 3954
/proc/meminfo: memFree=1846960/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=15160 CPUtime=0.09
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 4737 0 0 0 8 1 0 0 20 0 1 0 33883733 15523840 3021 1992294400 4194304 7136930 140735728173424 18446744073709551615 4436438 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 3790 3021 375 719 0 3069 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15160

[startup+0.201105 s]
/proc/loadavg: 1.16 1.03 1.01 3/106 3954
/proc/meminfo: memFree=1846960/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=15424 CPUtime=0.19
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 4814 0 0 0 17 2 0 0 20 0 1 0 33883733 15794176 3098 1992294400 4194304 7136930 140735728173424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 3856 3098 375 719 0 3135 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15424

[startup+0.301117 s]
/proc/loadavg: 1.16 1.03 1.01 3/106 3954
/proc/meminfo: memFree=1846960/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=15816 CPUtime=0.29
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 4928 0 0 0 27 2 0 0 20 0 1 0 33883733 16195584 3212 1992294400 4194304 7136930 140735728173424 18446744073709551615 5909098 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 3954 3212 379 719 0 3233 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15816

[startup+0.701163 s]
/proc/loadavg: 1.16 1.03 1.01 3/106 3954
/proc/meminfo: memFree=1846960/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=16340 CPUtime=0.69
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 5072 0 0 0 65 4 0 0 21 0 1 0 33883733 16732160 3356 1992294400 4194304 7136930 140735728173424 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 4085 3356 379 719 0 3364 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16340

[startup+1.50126 s]
/proc/loadavg: 1.16 1.03 1.01 2/107 3955
/proc/meminfo: memFree=1833932/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=17516 CPUtime=1.49
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 5352 0 0 0 142 7 0 0 23 0 1 0 33883733 17936384 3636 1992294400 4194304 7136930 140735728173424 18446744073709551615 5892238 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 4379 3636 379 719 0 3658 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17516

[startup+3.10144 s]
/proc/loadavg: 1.16 1.03 1.01 2/107 3955
/proc/meminfo: memFree=1832444/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=20108 CPUtime=3.09
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 6028 0 0 0 295 14 0 0 25 0 1 0 33883733 20590592 4312 1992294400 4194304 7136930 140735728173424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 5027 4312 379 719 0 4306 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20108

[startup+6.30082 s]
/proc/loadavg: 1.15 1.03 1.01 2/107 3955
/proc/meminfo: memFree=1827856/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=23356 CPUtime=6.28
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 6880 0 0 0 603 25 0 0 25 0 1 0 33883733 23916544 5164 1992294400 4194304 7136930 140735728173424 18446744073709551615 5909152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 5839 5164 379 719 0 5118 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 23356

[startup+12.7006 s]
/proc/loadavg: 1.13 1.03 1.01 2/107 3955
/proc/meminfo: memFree=1821292/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=30040 CPUtime=12.68
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 8610 0 0 0 1224 44 0 0 25 0 1 0 33883733 30760960 6894 1992294400 4194304 7136930 140735728173424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 7510 6894 379 719 0 6789 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30040

[startup+25.5011 s]
/proc/loadavg: 1.10 1.03 1.01 2/107 3955
/proc/meminfo: memFree=1807404/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=44716 CPUtime=25.48
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 11930 0 0 0 2459 89 0 0 25 0 1 0 33883733 45789184 10214 1992294400 4194304 7136930 140735728173424 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 11179 10214 379 719 0 10458 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44716

[startup+51.1011 s]
/proc/loadavg: 1.07 1.03 1.01 2/107 3957
/proc/meminfo: memFree=1782604/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=68672 CPUtime=51.07
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 18227 0 0 0 4922 185 0 0 25 0 1 0 33883733 70320128 16511 1992294400 4194304 7136930 140735728173424 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 17168 16511 379 719 0 16447 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 68672

[startup+102.301 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 3957
/proc/meminfo: memFree=1723580/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=127944 CPUtime=102.26
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 32747 0 0 0 9816 410 0 0 25 0 1 0 33883733 131014656 31031 1992294400 4194304 7136930 140735728173424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 31986 31031 379 719 0 31265 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 127944

[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 3959
/proc/meminfo: memFree=1637524/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=218504 CPUtime=162.23
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 54231 0 0 0 15528 695 0 0 25 0 1 0 33883733 223748096 52515 1992294400 4194304 7136930 140735728173424 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 54626 52515 379 719 0 53905 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 218504

[startup+222.308 s]
/proc/loadavg: 1.05 1.03 1.00 2/107 3961
/proc/meminfo: memFree=1582840/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=269988 CPUtime=222.22
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 67799 0 0 0 21320 902 0 0 25 0 1 0 33883733 276467712 66083 1992294400 4194304 7136930 140735728173424 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 67497 66083 379 719 0 66776 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 269988

[startup+282.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 3964
/proc/meminfo: memFree=1532992/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=317080 CPUtime=282.2
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 80274 0 0 0 27109 1111 0 0 25 0 1 0 33883733 324689920 78558 1992294400 4194304 7136930 140735728173424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 79270 78558 379 719 0 78549 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 317080

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 3966
/proc/meminfo: memFree=1480044/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=383136 CPUtime=342.18
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 93376 0 0 0 32905 1313 0 0 25 0 1 0 33883733 392331264 91660 1992294400 4194304 7136930 140735728173424 18446744073709551615 4641958 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 95784 91660 379 719 0 95063 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 383136

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 3966
/proc/meminfo: memFree=1427468/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=433816 CPUtime=402.16
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 106742 0 0 0 38697 1519 0 0 25 0 1 0 33883733 444227584 105026 1992294400 4194304 7136930 140735728173424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 108454 105026 379 719 0 107733 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 433816

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3968
/proc/meminfo: memFree=1371916/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=485380 CPUtime=462.14
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 120310 0 0 0 44495 1719 0 0 25 0 1 0 33883733 497029120 118594 1992294400 4194304 7136930 140735728173424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 121345 118594 379 719 0 120624 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 485380

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3970
/proc/meminfo: memFree=1319588/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=536884 CPUtime=522.13
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 133881 0 0 0 50283 1930 0 0 25 0 1 0 33883733 549769216 132165 1992294400 4194304 7136930 140735728173424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 134221 132165 379 719 0 133500 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 536884

[startup+582.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 3972
/proc/meminfo: memFree=1266020/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=585924 CPUtime=582.11
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 146841 0 0 0 56068 2143 0 0 25 0 1 0 33883733 599986176 145125 1992294400 4194304 7136930 140735728173424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 146481 145125 379 719 0 145760 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 585924

[startup+642.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 3974
/proc/meminfo: memFree=1215924/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=633444 CPUtime=642.09
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 159439 0 0 0 61854 2355 0 0 25 0 1 0 33883733 648646656 157723 1992294400 4194304 7136930 140735728173424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 158361 157723 379 719 0 157640 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 633444

[startup+702.302 s]

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

/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 239203 0 0 0 96575 3622 0 0 25 0 1 0 33883733 991604736 237487 1992294400 4194304 7136930 140735728173424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 242091 237487 379 719 0 241370 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 968364

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3984
/proc/meminfo: memFree=843180/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=1017460 CPUtime=1061.95
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 252188 0 0 0 102364 3831 0 0 25 0 1 0 33883733 1041879040 250472 1992294400 4194304 7136930 140735728173424 18446744073709551615 4740327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 254365 250472 379 719 0 253644 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 1017460

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3986
/proc/meminfo: memFree=791844/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=1065332 CPUtime=1121.92
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 264867 0 0 0 108147 4045 0 0 25 0 1 0 33883733 1090899968 263151 1992294400 4194304 7136930 140735728173424 18446744073709551615 4642005 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 266333 263151 379 719 0 265612 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 1065332

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3988
/proc/meminfo: memFree=739020/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=1115276 CPUtime=1181.9
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 278066 0 0 0 113925 4265 0 0 25 0 1 0 33883733 1142042624 276350 1992294400 4194304 7136930 140735728173424 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 278819 276350 379 719 0 278098 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 1115276

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3990
/proc/meminfo: memFree=679004/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=1171796 CPUtime=1241.89
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 292943 0 0 0 119703 4486 0 0 25 0 1 0 33883733 1199919104 291227 1992294400 4194304 7136930 140735728173424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 292949 291227 379 719 0 292228 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1171796

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3990
/proc/meminfo: memFree=623700/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=1223872 CPUtime=1301.87
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 306711 0 0 0 125486 4701 0 0 25 0 1 0 33883733 1253244928 304995 1992294400 4194304 7136930 140735728173424 18446744073709551615 4740369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 305968 304995 379 719 0 305247 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1223872

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3992
/proc/meminfo: memFree=569016/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=1341500 CPUtime=1361.85
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 320430 0 0 0 131262 4923 0 0 25 0 1 0 33883733 1373696000 318714 1992294400 4194304 7136930 140735728173424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 335375 318714 379 719 0 334654 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1341500

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3994
/proc/meminfo: memFree=513092/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=1393364 CPUtime=1421.84
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 334143 0 0 0 137044 5140 0 0 25 0 1 0 33883733 1426804736 332427 1992294400 4194304 7136930 140735728173424 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 348341 332427 379 719 0 347620 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1393364

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3996
/proc/meminfo: memFree=460764/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=1442780 CPUtime=1481.81
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 347221 0 0 0 142820 5361 0 0 25 0 1 0 33883733 1477406720 345505 1992294400 4194304 7136930 140735728173424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 360695 345505 379 719 0 359974 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1442780

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3998
/proc/meminfo: memFree=404716/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=1496220 CPUtime=1541.8
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 361274 0 0 0 148600 5580 0 0 25 0 1 0 33883733 1532129280 359558 1992294400 4194304 7136930 140735728173424 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 374055 359558 379 719 0 373334 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1496220

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3998
/proc/meminfo: memFree=375452/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=1523672 CPUtime=1601.78
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 387350 0 0 0 154475 5703 0 0 25 0 1 0 33883733 1560240128 366706 1992294400 4194304 7136930 140735728173424 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 380918 366706 379 719 0 380197 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1523672

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4000
/proc/meminfo: memFree=373468/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=1525792 CPUtime=1661.76
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 387837 0 0 0 160439 5737 0 0 25 0 1 0 33883733 1562411008 367193 1992294400 4194304 7136930 140735728173424 18446744073709551615 5924475 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 381448 367193 379 719 0 380727 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1525792

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4002
/proc/meminfo: memFree=371112/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=1528376 CPUtime=1721.75
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 388408 0 0 0 166406 5769 0 0 25 0 1 0 33883733 1565057024 367764 1992294400 4194304 7136930 140735728173424 18446744073709551615 5909098 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 382094 367764 379 719 0 381373 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1528376

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4004
/proc/meminfo: memFree=370244/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=1528960 CPUtime=1781.73
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 388557 0 0 0 172371 5802 0 0 25 0 1 0 33883733 1565655040 367913 1992294400 4194304 7136930 140735728173424 18446744073709551615 5909069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 382240 367913 379 719 0 381519 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1528960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4004
/proc/meminfo: memFree=369872/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=1529408 CPUtime=1800.02
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 388646 0 0 0 174190 5812 0 0 25 0 1 0 33883733 1566113792 368002 1992294400 4194304 7136930 140735728173424 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3954/statm: 382352 368002 379 719 0 381631 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1529408

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -3954

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

[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4005
/proc/meminfo: memFree=369864/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=1529408 CPUtime=1800.92
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 388651 0 0 0 174280 5812 0 0 25 0 1 0 33883733 1566113792 368007 1992294400 4194304 7136930 140735728173424 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3954/statm: 382352 368007 384 719 0 381631 0
Current children cumulated CPU time (s) 1800.92
Current children cumulated vsize (KiB) 1529408

[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4005
/proc/meminfo: memFree=369864/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=1529408 CPUtime=1801.72
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4202496 388651 0 0 0 174360 5812 0 0 25 0 1 0 33883733 1566113792 368007 1992294400 4194304 7136930 140735728173424 18446744073709551615 6165657 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3954/statm: 382352 368007 384 719 0 381631 0
Current children cumulated CPU time (s) 1801.72
Current children cumulated vsize (KiB) 1529408

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4005
/proc/meminfo: memFree=369864/2059040 swapFree=4136456/4192956
[pid=3954] ppid=3952 vsize=0 CPUtime=1802.11
/proc/3954/stat : 3954 (pbscip.linux.x8) R 3952 3954 3446 0 -1 4203524 388651 0 0 0 174390 5821 0 0 25 0 1 0 33883733 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/3954/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.75
CPU time (s): 1802.17
CPU user time (s): 1743.91
CPU system time (s): 58.2641
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 1649912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1743.91
system time used= 58.2641
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388651
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 6067

runsolver used 2.71859 second user time and 8.80766 second system time

The end

Launcher Data

Begin job on node001 at 2010-06-15 08:19:57
IDJOB=2664746
IDBENCH=2604
IDSOLVER=1167
FILE ID=node001/2664746-1276582797
PBS_JOBID= 11173529
Free space on /tmp= 62516 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664746-1276582797/watcher-2664746-1276582797 -o /tmp/evaluation-result-2664746-1276582797/solver-2664746-1276582797 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664746-1276582797.opb -t 1800 -m 1800

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

MD5SUM BENCH= 2ea7e3b5e107f983d069c627d91480a3
RANDOM SEED=1704533483

node001.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.202
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.40
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.202
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1847364 kB
Buffers:         15160 kB
Cached:         107772 kB
SwapCached:       9496 kB
Active:          72160 kB
Inactive:        63288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1847364 kB
SwapTotal:     4192956 kB
SwapFree:      4136456 kB
Dirty:            3284 kB
Writeback:           8 kB
AnonPages:       11096 kB
Mapped:           9296 kB
Slab:            54356 kB
PageTables:       3928 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182324 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= 62512 MiB
End job on node001 at 2010-06-15 08:50:00