Trace number 3691675

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
SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed? 1796.79 1797.1

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl.opb
MD5SUM03090e2b7426cc03a4be73b62ee3d658
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.670897
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables4622
Total number of constraints12569
Number of constraints which are clauses11753
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints816
Minimum length of a constraint1
Maximum length of a constraint11
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 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 130
Number of bits of the biggest sum of numbers8
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 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3691675-1338028819.opb>
0.02/0.04	c original problem has 4622 variables (4622 bin, 0 int, 0 impl, 0 cont) and 12569 constraints
0.02/0.04	c problem read in 0.04
0.02/0.04	c No objective function, only one solution is needed.
0.02/0.04	c presolving settings loaded
0.02/0.07	c presolving:
0.09/0.16	c (round 1) 421 del vars, 346 del conss, 0 add conss, 120 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215043 impls, 0 clqs
0.09/0.17	c (round 2) 423 del vars, 986 del conss, 0 add conss, 122 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215043 impls, 0 clqs
0.09/0.18	c (round 3) 427 del vars, 996 del conss, 0 add conss, 126 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215401 impls, 0 clqs
0.09/0.18	c (round 4) 430 del vars, 1002 del conss, 0 add conss, 129 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215401 impls, 0 clqs
0.09/0.18	c (round 5) 435 del vars, 1011 del conss, 0 add conss, 134 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215401 impls, 0 clqs
0.09/0.19	c (round 6) 441 del vars, 1024 del conss, 0 add conss, 140 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215429 impls, 0 clqs
0.09/0.19	c (round 7) 445 del vars, 1038 del conss, 0 add conss, 144 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215623 impls, 0 clqs
0.09/0.19	c (round 8) 445 del vars, 1046 del conss, 0 add conss, 144 chg bounds, 408 chg sides, 868 chg coeffs, 0 upgd conss, 215975 impls, 0 clqs
0.19/0.25	c (round 9) 445 del vars, 1067 del conss, 0 add conss, 144 chg bounds, 408 chg sides, 868 chg coeffs, 11507 upgd conss, 215975 impls, 0 clqs
0.19/0.28	c (round 10) 445 del vars, 1070 del conss, 0 add conss, 144 chg bounds, 408 chg sides, 868 chg coeffs, 11507 upgd conss, 215975 impls, 0 clqs
0.29/0.32	c (round 11) 445 del vars, 11715 del conss, 3547 add conss, 144 chg bounds, 408 chg sides, 868 chg coeffs, 11507 upgd conss, 215975 impls, 0 clqs
0.29/0.33	c (round 12) 506 del vars, 12077 del conss, 3906 add conss, 144 chg bounds, 408 chg sides, 868 chg coeffs, 11507 upgd conss, 220551 impls, 3 clqs
0.29/0.34	c (round 13) 542 del vars, 12087 del conss, 3906 add conss, 144 chg bounds, 408 chg sides, 877 chg coeffs, 11518 upgd conss, 220551 impls, 360 clqs
0.29/0.34	c (round 14) 544 del vars, 12088 del conss, 3906 add conss, 144 chg bounds, 408 chg sides, 877 chg coeffs, 11518 upgd conss, 220587 impls, 360 clqs
0.29/0.35	c (round 15) 561 del vars, 12152 del conss, 3969 add conss, 144 chg bounds, 408 chg sides, 877 chg coeffs, 11518 upgd conss, 223905 impls, 360 clqs
0.29/0.36	c (round 16) 565 del vars, 12182 del conss, 3969 add conss, 144 chg bounds, 408 chg sides, 879 chg coeffs, 11518 upgd conss, 223905 impls, 366 clqs
0.38/0.41	c (round 17) 587 del vars, 12219 del conss, 3984 add conss, 144 chg bounds, 408 chg sides, 879 chg coeffs, 11518 upgd conss, 228161 impls, 366 clqs
0.38/0.46	c (round 18) 592 del vars, 12235 del conss, 3985 add conss, 144 chg bounds, 408 chg sides, 879 chg coeffs, 11518 upgd conss, 230487 impls, 366 clqs
0.49/0.51	c (round 19) 593 del vars, 12236 del conss, 3985 add conss, 144 chg bounds, 408 chg sides, 879 chg coeffs, 11518 upgd conss, 230543 impls, 366 clqs
0.49/0.56	c (round 20) 594 del vars, 12237 del conss, 3985 add conss, 144 chg bounds, 408 chg sides, 879 chg coeffs, 11518 upgd conss, 230597 impls, 366 clqs
0.59/0.62	c (round 21) 595 del vars, 12238 del conss, 3985 add conss, 144 chg bounds, 408 chg sides, 879 chg coeffs, 11518 upgd conss, 230649 impls, 366 clqs
0.59/0.67	c (round 22) 596 del vars, 12239 del conss, 3985 add conss, 144 chg bounds, 408 chg sides, 879 chg coeffs, 11518 upgd conss, 230699 impls, 366 clqs
0.69/0.72	c presolving (23 rounds):
0.69/0.72	c  596 deleted vars, 12239 deleted constraints, 3985 added constraints, 144 tightened bounds, 0 added holes, 408 changed sides, 879 changed coefficients
0.69/0.72	c  230699 implications, 366 cliques
0.69/0.72	c presolved problem has 4026 variables (4026 bin, 0 int, 0 impl, 0 cont) and 4295 constraints
0.69/0.72	c     810 constraints of type <knapsack>
0.69/0.72	c     453 constraints of type <setppc>
0.69/0.72	c    3029 constraints of type <and>
0.69/0.72	c       3 constraints of type <logicor>
0.69/0.72	c transformed objective value is always integral (scale: 1)
0.69/0.72	c Presolving Time: 0.66
0.69/0.72	c - non default parameters ----------------------------------------------------------------------
0.69/0.72	c # SCIP version 2.1.1.4
0.69/0.72	c 
0.69/0.72	c # maximal time in seconds to run
0.69/0.72	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.72	c limits/time = 1797
0.69/0.72	c 
0.69/0.72	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.72	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.72	c limits/memory = 13950
0.69/0.72	c 
0.69/0.72	c # solving stops, if the given number of solutions were found (-1: no limit)
0.69/0.72	c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.72	c limits/solutions = 1
0.69/0.72	c 
0.69/0.72	c # maximal number of separation rounds per node (-1: unlimited)
0.69/0.72	c # [type: int, range: [-1,2147483647], default: 5]
0.69/0.72	c separating/maxrounds = 1
0.69/0.72	c 
0.69/0.72	c # maximal number of separation rounds in the root node (-1: unlimited)
0.69/0.72	c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.72	c separating/maxroundsroot = 5
0.69/0.72	c 
0.69/0.72	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.69/0.72	c # [type: int, range: [1,2], default: 1]
0.69/0.72	c timing/clocktype = 2
0.69/0.72	c 
0.69/0.72	c # belongs reading time to solving time?
0.69/0.72	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.72	c timing/reading = TRUE
0.69/0.72	c 
0.69/0.72	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.69/0.72	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.69/0.72	c constraints/knapsack/disaggregation = FALSE
0.69/0.72	c 
0.69/0.72	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.69/0.72	c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.72	c heuristics/coefdiving/freq = -1
0.69/0.72	c 
0.69/0.72	c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.72	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.72	c heuristics/coefdiving/maxlpiterquot = 0.075
0.69/0.72	c 
0.69/0.72	c # additional number of allowed LP iterations
0.69/0.72	c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.72	c heuristics/coefdiving/maxlpiterofs = 1500
0.69/0.72	c 
0.69/0.72	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.69/0.72	c # [type: int, range: [-1,2147483647], default: 30]
0.69/0.72	c heuristics/crossover/freq = -1
0.69/0.72	c 
0.69/0.72	c # number of nodes added to the contingent of the total nodes
0.69/0.72	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.69/0.72	c heuristics/crossover/nodesofs = 750
0.69/0.72	c 
0.69/0.72	c # number of nodes without incumbent change that heuristic should wait
0.69/0.72	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.69/0.72	c heuristics/crossover/nwaitingnodes = 100
0.69/0.72	c 
0.69/0.72	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.69/0.72	c # [type: real, range: [0,1], default: 0.1]
0.69/0.72	c heuristics/crossover/nodesquot = 0.15
0.69/0.72	c 
0.69/0.72	c # minimum percentage of integer variables that have to be fixed 
0.69/0.72	c # [type: real, range: [0,1], default: 0.666]
0.69/0.72	c heuristics/crossover/minfixingrate = 0.5
0.69/0.72	c 
0.69/0.72	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.69/0.72	c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.72	c heuristics/feaspump/freq = -1
0.69/0.72	c 
0.69/0.72	c # additional number of allowed LP iterations
0.69/0.72	c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.72	c heuristics/feaspump/maxlpiterofs = 2000
0.69/0.72	c 
0.69/0.72	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.69/0.72	c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.72	c heuristics/fracdiving/freq = -1
0.69/0.72	c 
0.69/0.72	c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.72	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.72	c heuristics/fracdiving/maxlpiterquot = 0.075
0.69/0.72	c 
0.69/0.72	c # additional number of allowed LP iterations
0.69/0.72	c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.72	c heuristics/fracdiving/maxlpiterofs = 1500
0.69/0.72	c 
0.69/0.72	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.69/0.72	c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.72	c heuristics/guideddiving/freq = -1
0.69/0.72	c 
0.69/0.72	c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.72	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.72	c heuristics/guideddiving/maxlpiterquot = 0.075
0.69/0.72	c 
0.69/0.72	c # additional number of allowed LP iterations
0.69/0.72	c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.72	c heuristics/guideddiving/maxlpiterofs = 1500
0.69/0.72	c 
0.69/0.72	c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.72	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.72	c heuristics/intdiving/maxlpiterquot = 0.075
0.69/0.72	c 
0.69/0.72	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.69/0.72	c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.72	c heuristics/intshifting/freq = -1
0.69/0.72	c 
0.69/0.72	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.69/0.72	c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.72	c heuristics/linesearchdiving/freq = -1
0.69/0.72	c 
0.69/0.72	c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.72	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.72	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.69/0.72	c 
0.69/0.72	c # additional number of allowed LP iterations
0.69/0.72	c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.72	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.69/0.72	c 
0.69/0.72	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.69/0.72	c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.72	c heuristics/objpscostdiving/freq = -1
0.69/0.72	c 
0.69/0.72	c # maximal fraction of diving LP iterations compared to total iteration number
0.69/0.72	c # [type: real, range: [0,1], default: 0.01]
0.69/0.72	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.69/0.72	c 
0.69/0.72	c # additional number of allowed LP iterations
0.69/0.72	c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.72	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.69/0.72	c 
0.69/0.72	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.69/0.72	c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.72	c heuristics/oneopt/freq = -1
0.69/0.72	c 
0.69/0.72	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.69/0.72	c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.72	c heuristics/pscostdiving/freq = -1
0.69/0.72	c 
0.69/0.72	c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.72	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.72	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.69/0.72	c 
0.69/0.72	c # additional number of allowed LP iterations
0.69/0.72	c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.72	c heuristics/pscostdiving/maxlpiterofs = 1500
0.69/0.72	c 
0.69/0.72	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.69/0.73	c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.73	c heuristics/rens/freq = -1
0.69/0.73	c 
0.69/0.73	c # minimum percentage of integer variables that have to be fixable 
0.69/0.73	c # [type: real, range: [0,1], default: 0.5]
0.69/0.73	c heuristics/rens/minfixingrate = 0.3
0.69/0.73	c 
0.69/0.73	c # number of nodes added to the contingent of the total nodes
0.69/0.73	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.69/0.73	c heuristics/rens/nodesofs = 2000
0.69/0.73	c 
0.69/0.73	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.69/0.73	c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.73	c heuristics/rootsoldiving/freq = -1
0.69/0.73	c 
0.69/0.73	c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.73	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.69/0.73	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.69/0.73	c 
0.69/0.73	c # additional number of allowed LP iterations
0.69/0.73	c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.73	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.69/0.73	c 
0.69/0.73	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.69/0.73	c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.73	c heuristics/rounding/freq = -1
0.69/0.73	c 
0.69/0.73	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.69/0.73	c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.73	c heuristics/shiftandpropagate/freq = -1
0.69/0.73	c 
0.69/0.73	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.69/0.73	c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.73	c heuristics/shifting/freq = -1
0.69/0.73	c 
0.69/0.73	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.69/0.73	c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.73	c heuristics/simplerounding/freq = -1
0.69/0.73	c 
0.69/0.73	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.69/0.73	c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.73	c heuristics/subnlp/freq = -1
0.69/0.73	c 
0.69/0.73	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.69/0.73	c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.73	c heuristics/trivial/freq = -1
0.69/0.73	c 
0.69/0.73	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.69/0.73	c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.73	c heuristics/trysol/freq = -1
0.69/0.73	c 
0.69/0.73	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.69/0.73	c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.73	c heuristics/undercover/freq = -1
0.69/0.73	c 
0.69/0.73	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.69/0.73	c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.73	c heuristics/veclendiving/freq = -1
0.69/0.73	c 
0.69/0.73	c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.73	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.73	c heuristics/veclendiving/maxlpiterquot = 0.075
0.69/0.73	c 
0.69/0.73	c # additional number of allowed LP iterations
0.69/0.73	c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.73	c heuristics/veclendiving/maxlpiterofs = 1500
0.69/0.73	c 
0.69/0.73	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.69/0.73	c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.73	c heuristics/zirounding/freq = -1
0.69/0.73	c 
0.69/0.73	c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.69/0.73	c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.73	c propagating/probing/maxprerounds = 0
0.69/0.73	c 
0.69/0.73	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.69/0.73	c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.73	c separating/cmir/freq = -1
0.69/0.73	c 
0.69/0.73	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.69/0.73	c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.73	c separating/flowcover/freq = -1
0.69/0.73	c 
0.69/0.73	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.69/0.73	c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.73	c separating/rapidlearning/freq = 0
0.69/0.73	c 
0.69/0.73	c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.69/0.73	c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.73	c heuristics/indoneopt/freq = -1
0.69/0.73	c 
0.69/0.73	c -----------------------------------------------------------------------------------------------
0.69/0.73	c start solving
0.69/0.73	c 
0.79/0.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.79/0.80	c   0.8s|     1 |     0 |   901 |     - |  33M|   0 | 704 |4026 |4295 |4026 |7324 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.49/1.54	c   1.5s|     1 |     0 |  2226 |     - |  34M|   0 |1101 |4026 |4580 |4026 |8008 | 734 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.98/2.07	c   2.1s|     1 |     0 |  4795 |     - |  35M|   0 |1275 |4026 |4580 |4026 |8837 |1563 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.68/2.77	c   2.8s|     1 |     0 |  8451 |     - |  36M|   0 |1456 |4026 |4580 |4026 |9920 |2646 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.58/3.64	c   3.6s|     1 |     0 | 11104 |     - |  37M|   0 |1534 |4026 |4580 |4026 |  11k|3747 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
4.59/4.61	c   4.6s|     1 |     0 | 14368 |     - |  38M|   0 |1614 |4026 |4580 |4026 |  11k|4369 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.58/6.67	c   6.7s|     1 |     2 | 14368 |     - |  38M|   0 |1614 |4026 |4580 |4026 |  11k|4369 |   0 |  10 | 0.000000e+00 |      --      |    Inf 
48.98/49.06	c  49.1s|   100 |   101 | 46295 | 322.5 |  40M|  53 | 548 |4026 |4580 |4026 |9783 |6768 |   0 | 786 | 0.000000e+00 |      --      |    Inf 
51.37/51.40	c  51.4s|   200 |   198 | 51140 | 184.8 |  40M|  56 | 405 |4026 |4585 |4026 |9796 |6950 |   5 | 813 | 0.000000e+00 |      --      |    Inf 
54.08/54.14	c  54.1s|   300 |   276 | 56310 | 140.3 |  41M|  65 | 382 |4026 |4623 |4026 |9810 |7242 |  43 | 843 | 0.000000e+00 |      --      |    Inf 
60.27/60.31	c  60.3s|   400 |   299 | 72128 | 144.8 |  41M|  65 |   - |4026 |4803 |   0 |   0 |8613 | 223 | 894 | 0.000000e+00 |      --      |    Inf 
64.67/64.72	c  64.7s|   500 |   285 | 83009 | 137.6 |  41M|  65 |   - |4026 |4915 |   0 |   0 |9239 | 335 | 935 | 0.000000e+00 |      --      |    Inf 
70.87/70.91	c  70.9s|   600 |   280 | 99629 | 142.3 |  42M|  65 |   - |4026 |5007 |   0 |   0 |  10k| 436 | 998 | 0.000000e+00 |      --      |    Inf 
78.07/78.16	c  78.2s|   700 |   240 |118284 | 148.7 |  42M|  65 | 556 |4026 |5046 |4026 |9788 |  11k| 503 |1051 | 0.000000e+00 |      --      |    Inf 
85.17/85.23	c  85.2s|   800 |   176 |134458 | 150.3 |  41M|  65 |1270 |4026 |5140 |4026 |9370 |  13k| 635 |1105 | 0.000000e+00 |      --      |    Inf 
87.57/87.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
87.57/87.60	c  87.6s|   900 |   196 |140118 | 139.9 |  42M|  65 |   - |4026 |5228 |   0 |   0 |  13k| 729 |1123 | 0.000000e+00 |      --      |    Inf 
90.17/90.27	c  90.3s|  1000 |   208 |145738 | 131.5 |  42M|  65 | 525 |4026 |5337 |4026 |9742 |  13k| 855 |1153 | 0.000000e+00 |      --      |    Inf 
93.27/93.32	c  93.3s|  1100 |   218 |151429 | 124.7 |  42M|  65 | 550 |4026 |5434 |4026 |9668 |  13k| 959 |1189 | 0.000000e+00 |      --      |    Inf 
96.17/96.26	c  96.3s|  1200 |   190 |157025 | 119.0 |  42M|  65 | 850 |4026 |5572 |4026 |9704 |  14k|1111 |1226 | 0.000000e+00 |      --      |    Inf 
99.57/99.65	c  99.7s|  1300 |   212 |164575 | 115.6 |  42M|  65 |   - |4026 |5688 |   0 |   0 |  14k|1235 |1253 | 0.000000e+00 |      --      |    Inf 
106.26/106.36	c   106s|  1400 |   195 |181498 | 119.5 |  42M|  65 | 702 |4026 |5741 |4026 |9622 |  15k|1342 |1307 | 0.000000e+00 |      --      |    Inf 
116.86/116.96	c   117s|  1500 |   225 |208247 | 129.3 |  43M|  65 | 774 |4026 |5732 |4026 |9548 |  17k|1415 |1412 | 0.000000e+00 |      --      |    Inf 
122.26/122.37	c   122s|  1600 |   219 |222777 | 130.3 |  43M|  65 | 978 |4026 |5739 |4026 |9600 |  18k|1483 |1454 | 0.000000e+00 |      --      |    Inf 
127.36/127.41	c   127s|  1700 |   210 |233165 | 128.8 |  43M|  65 | 761 |4026 |5765 |4026 |9536 |  19k|1605 |1505 | 0.000000e+00 |      --      |    Inf 
132.36/132.41	c   132s|  1800 |   204 |245542 | 128.5 |  43M|  65 |   - |4026 |5822 |   0 |   0 |  19k|1729 |1554 | 0.000000e+00 |      --      |    Inf 
139.06/139.17	c   139s|  1900 |   185 |261977 | 130.4 |  43M|  65 | 723 |4026 |5815 |4026 |9661 |  20k|1875 |1635 | 0.000000e+00 |      --      |    Inf 
147.25/147.34	c   147s|  2000 |   191 |282963 | 134.4 |  43M|  65 | 631 |4026 |5776 |4026 |9704 |  22k|1989 |1726 | 0.000000e+00 |      --      |    Inf 
153.76/153.84	c   154s|  2100 |   170 |299271 | 135.7 |  43M|  65 | 883 |4026 |5719 |4026 |9619 |  23k|2104 |1790 | 0.000000e+00 |      --      |    Inf 
163.06/163.10	c   163s|  2200 |   155 |321924 | 139.9 |  43M|  65 | 924 |4026 |5601 |4026 |9561 |  24k|2215 |1871 | 0.000000e+00 |      --      |    Inf 
170.35/170.49	c   170s|  2300 |   141 |339827 | 141.6 |  42M|  65 |   - |4026 |5536 |   0 |   0 |  25k|2300 |1953 | 0.000000e+00 |      --      |    Inf 
178.85/178.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
178.85/178.93	c   179s|  2400 |   128 |361732 | 144.8 |  42M|  65 | 989 |4026 |5442 |4026 |9606 |  27k|2405 |2032 | 0.000000e+00 |      --      |    Inf 
192.85/192.91	c   193s|  2500 |   104 |395373 | 152.5 |  42M|  65 |1431 |4026 |5379 |4026 |9716 |  30k|2524 |2158 | 0.000000e+00 |      --      |    Inf 
211.16/211.23	c   211s|  2600 |   129 |445881 | 166.0 |  42M|  65 |   - |4026 |5270 |4026 |9505 |  34k|2581 |2275 | 0.000000e+00 |      --      |    Inf 
229.95/230.07	c   230s|  2700 |   159 |495767 | 178.4 |  42M|  65 |   - |4026 |5259 |   0 |   0 |  38k|2647 |2385 | 0.000000e+00 |      --      |    Inf 
237.55/237.60	c   238s|  2800 |   157 |513462 | 178.3 |  42M|  65 |1162 |4026 |5379 |4026 |9864 |  40k|2800 |2438 | 0.000000e+00 |      --      |    Inf 
241.04/241.12	c   241s|  2900 |   214 |521520 | 174.9 |  43M|  82 | 149 |4026 |5438 |4026 |9853 |  40k|2887 |2455 | 0.000000e+00 |      --      |    Inf 
243.05/243.14	c   243s|  3000 |   167 |525525 | 170.4 |  42M|  94 | 592 |4026 |5609 |4026 |9851 |  40k|3070 |2484 | 0.000000e+00 |      --      |    Inf 
246.14/246.27	c   246s|  3100 |   160 |531752 | 167.0 |  42M|  94 | 842 |4026 |5729 |4026 |9808 |  41k|3243 |2509 | 0.000000e+00 |      --      |    Inf 
248.74/248.80	c   249s|  3200 |   156 |536777 | 163.3 |  42M|  94 |   - |4026 |5809 |4026 |9818 |  41k|3368 |2537 | 0.000000e+00 |      --      |    Inf 
251.44/251.51	c   252s|  3300 |   156 |542056 | 160.0 |  43M|  94 | 823 |4026 |5888 |4026 |9808 |  41k|3504 |2561 | 0.000000e+00 |      --      |    Inf 
255.65/255.71	c   256s|  3400 |   170 |551016 | 157.9 |  43M|  94 | 523 |4026 |5915 |4026 |9499 |  42k|3614 |2594 | 0.000000e+00 |      --      |    Inf 
262.34/262.47	c   262s|  3500 |   161 |567323 | 158.0 |  43M|  94 | 911 |4026 |5904 |4026 |9709 |  43k|3688 |2676 | 0.000000e+00 |      --      |    Inf 
266.34/266.43	c   266s|  3600 |   188 |575539 | 155.9 |  43M|  94 | 574 |4026 |5967 |4026 |9784 |  44k|3755 |2715 | 0.000000e+00 |      --      |    Inf 
272.54/272.63	c   273s|  3700 |   157 |591123 | 155.9 |  43M|  94 |   - |4026 |6000 |   0 |   0 |  46k|3858 |2768 | 0.000000e+00 |      --      |    Inf 
278.94/279.01	c   279s|  3800 |   175 |604746 | 155.4 |  43M|  94 | 643 |4026 |6099 |4026 |9861 |  47k|3999 |2811 | 0.000000e+00 |      --      |    Inf 
282.64/282.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
282.64/282.74	c   283s|  3900 |   173 |613759 | 153.7 |  43M|  94 |   - |4026 |6238 |   0 |   0 |  47k|4144 |2840 | 0.000000e+00 |      --      |    Inf 
288.74/288.88	c   289s|  4000 |   175 |626718 | 153.1 |  43M|  94 | 514 |4026 |6313 |4026 |9888 |  48k|4272 |2890 | 0.000000e+00 |      --      |    Inf 
292.64/292.71	c   293s|  4100 |   170 |635765 | 151.6 |  43M|  94 | 734 |4026 |6435 |4026 |9820 |  49k|4429 |2907 | 0.000000e+00 |      --      |    Inf 
297.63/297.78	c   298s|  4200 |   160 |646921 | 150.6 |  43M|  94 | 851 |4026 |6500 |4026 |9785 |  49k|4596 |2947 | 0.000000e+00 |      --      |    Inf 
303.44/303.54	c   304s|  4300 |   170 |659363 | 150.0 |  43M|  94 | 598 |4026 |6693 |4026 |9880 |  50k|4841 |3000 | 0.000000e+00 |      --      |    Inf 
308.13/308.27	c   308s|  4400 |   160 |670351 | 149.1 |  43M|  94 | 748 |4026 |6667 |4026 |9920 |  51k|4978 |3032 | 0.000000e+00 |      --      |    Inf 
315.34/315.44	c   315s|  4500 |   162 |689172 | 150.0 |  43M|  94 | 756 |4026 |6605 |4026 |9401 |  53k|5101 |3079 | 0.000000e+00 |      --      |    Inf 
320.23/320.39	c   320s|  4600 |   185 |700915 | 149.3 |  44M|  94 | 724 |4026 |6644 |4026 |9690 |  54k|5225 |3121 | 0.000000e+00 |      --      |    Inf 
323.64/323.77	c   324s|  4700 |   203 |707378 | 147.5 |  44M|  94 | 744 |4026 |6679 |4026 |9617 |  54k|5286 |3163 | 0.000000e+00 |      --      |    Inf 
326.74/326.87	c   327s|  4800 |   199 |714050 | 145.8 |  44M|  94 | 642 |4026 |6765 |4026 |9649 |  54k|5377 |3187 | 0.000000e+00 |      --      |    Inf 
330.53/330.60	c   331s|  4900 |   199 |722093 | 144.5 |  44M|  94 | 468 |4026 |6891 |4026 |9666 |  55k|5537 |3227 | 0.000000e+00 |      --      |    Inf 
334.63/334.74	c   335s|  5000 |   188 |730755 | 143.3 |  44M|  94 |   - |4026 |7045 |   0 |   0 |  55k|5728 |3275 | 0.000000e+00 |      --      |    Inf 
339.42/339.51	c   340s|  5100 |   182 |741392 | 142.6 |  44M|  94 | 726 |4026 |7111 |4026 |9634 |  56k|5921 |3341 | 0.000000e+00 |      --      |    Inf 
342.73/342.82	c   343s|  5200 |   174 |748182 | 141.1 |  44M|  94 | 676 |4026 |7150 |4026 |9428 |  57k|6032 |3381 | 0.000000e+00 |      --      |    Inf 
346.93/347.06	c   347s|  5300 |   174 |757144 | 140.2 |  44M|  94 | 822 |4026 |7159 |4026 |9742 |  57k|6118 |3434 | 0.000000e+00 |      --      |    Inf 
352.52/352.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
352.52/352.62	c   353s|  5400 |   166 |769607 | 139.9 |  44M|  94 | 921 |4026 |7228 |4026 |9659 |  58k|6257 |3538 | 0.000000e+00 |      --      |    Inf 
357.93/358.03	c   358s|  5500 |   165 |782128 | 139.6 |  44M|  94 | 713 |4026 |7231 |4026 |9749 |  59k|6342 |3602 | 0.000000e+00 |      --      |    Inf 
366.92/367.01	c   367s|  5600 |   180 |802664 | 140.8 |  44M|  94 | 598 |4026 |7242 |4026 |9869 |  61k|6513 |3686 | 0.000000e+00 |      --      |    Inf 
370.22/370.36	c   370s|  5700 |   188 |809198 | 139.5 |  44M|  94 | 514 |4026 |7378 |4026 |9869 |  61k|6689 |3742 | 0.000000e+00 |      --      |    Inf 
373.22/373.32	c   373s|  5800 |   196 |814723 | 138.0 |  44M|  94 |   - |4026 |7510 |   0 |   0 |  61k|6864 |3787 | 0.000000e+00 |      --      |    Inf 
375.43/375.52	c   376s|  5900 |   177 |818696 | 136.3 |  44M|  94 | 523 |4026 |7636 |4026 |  10k|  62k|7017 |3816 | 0.000000e+00 |      --      |    Inf 
377.52/377.67	c   378s|  6000 |   180 |823169 | 134.8 |  44M|  94 | 528 |4026 |7828 |4026 |  10k|  62k|7252 |3830 | 0.000000e+00 |      --      |    Inf 
382.93/383.08	c   383s|  6100 |   189 |835215 | 134.6 |  44M|  94 | 460 |4026 |7833 |4026 |9860 |  63k|7403 |3873 | 0.000000e+00 |      --      |    Inf 
386.43/386.57	c   387s|  6200 |   186 |841971 | 133.5 |  45M|  94 |   - |4026 |7928 |   0 |   0 |  63k|7591 |3900 | 0.000000e+00 |      --      |    Inf 
390.02/390.14	c   390s|  6300 |   185 |850170 | 132.7 |  45M|  94 |   - |4026 |7947 |   0 |   0 |  64k|7769 |3933 | 0.000000e+00 |      --      |    Inf 
392.82/392.96	c   393s|  6400 |   182 |855670 | 131.5 |  45M|  94 | 827 |4026 |8029 |4026 |  10k|  64k|7930 |3962 | 0.000000e+00 |      --      |    Inf 
394.82/394.91	c   395s|  6500 |   183 |861057 | 130.3 |  45M|  94 | 439 |4026 |8106 |4026 |  10k|  64k|8114 |3969 | 0.000000e+00 |      --      |    Inf 
397.22/397.31	c   397s|  6600 |   181 |867519 | 129.3 |  45M|  94 | 803 |4026 |8176 |4026 |  10k|  65k|8267 |3975 | 0.000000e+00 |      --      |    Inf 
399.32/399.45	c   399s|  6700 |   184 |873302 | 128.2 |  45M|  94 | 412 |4026 |8304 |4026 |  10k|  65k|8449 |3980 | 0.000000e+00 |      --      |    Inf 
401.22/401.39	c   401s|  6800 |   177 |878308 | 127.1 |  45M|  94 | 530 |4026 |8406 |4026 |  10k|  65k|8638 |3982 | 0.000000e+00 |      --      |    Inf 
405.12/405.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
405.12/405.24	c   405s|  6900 |   217 |886058 | 126.4 |  45M|  94 | 439 |4026 |8454 |4026 |9948 |  66k|8758 |4020 | 0.000000e+00 |      --      |    Inf 
407.62/407.77	c   408s|  7000 |   209 |892588 | 125.5 |  45M|  94 |   - |4026 |8603 |   0 |   0 |  66k|8954 |4030 | 0.000000e+00 |      --      |    Inf 
411.52/411.68	c   412s|  7100 |   198 |901693 | 125.0 |  45M|  94 | 461 |4026 |8602 |4026 |9883 |  67k|9150 |4053 | 0.000000e+00 |      --      |    Inf 
413.31/413.40	c   413s|  7200 |   199 |906547 | 123.9 |  45M|  94 | 536 |4026 |8704 |4026 |9873 |  67k|9348 |4054 | 0.000000e+00 |      --      |    Inf 
414.92/415.07	c   415s|  7300 |   194 |910757 | 122.8 |  45M|  94 | 620 |4026 |8876 |4026 |9843 |  67k|9556 |4057 | 0.000000e+00 |      --      |    Inf 
419.92/420.06	c   420s|  7400 |   198 |917313 | 122.0 |  45M|  94 | 406 |4026 |8899 |4026 |  10k|  68k|9684 |4109 | 0.000000e+00 |      --      |    Inf 
421.61/421.70	c   422s|  7500 |   212 |921328 | 120.9 |  45M|  94 | 405 |4026 |8866 |4026 |  10k|  68k|9779 |4109 | 0.000000e+00 |      --      |    Inf 
422.92/423.09	c   423s|  7600 |   209 |924403 | 119.8 |  45M|  94 | 427 |4026 |8937 |4026 |  10k|  68k|9881 |4109 | 0.000000e+00 |      --      |    Inf 
424.53/424.66	c   425s|  7700 |   201 |928264 | 118.7 |  45M|  94 | 503 |4026 |9033 |4026 |9857 |  68k|  10k|4110 | 0.000000e+00 |      --      |    Inf 
427.31/427.44	c   427s|  7800 |   188 |936147 | 118.2 |  45M|  94 |1089 |4026 |9096 |4026 |  10k|  69k|  10k|4126 | 0.000000e+00 |      --      |    Inf 
432.02/432.11	c   432s|  7900 |   190 |943299 | 117.6 |  45M|  94 | 778 |4026 |9079 |4026 |9916 |  69k|  10k|4193 | 0.000000e+00 |      --      |    Inf 
434.02/434.11	c   434s|  8000 |   190 |947868 | 116.7 |  45M|  94 | 753 |4026 |9090 |4026 |9720 |  69k|  10k|4198 | 0.000000e+00 |      --      |    Inf 
437.32/437.43	c   437s|  8100 |   196 |957294 | 116.4 |  45M|  94 | 502 |4026 |9105 |4026 |9933 |  70k|  10k|4212 | 0.000000e+00 |      --      |    Inf 
440.82/440.93	c   441s|  8200 |   189 |966986 | 116.2 |  45M|  94 | 722 |4026 |9151 |4026 |9924 |  71k|  10k|4228 | 0.000000e+00 |      --      |    Inf 
443.72/443.86	c   444s|  8300 |   192 |975880 | 115.9 |  45M|  94 | 734 |4026 |9038 |4026 |9850 |  71k|  10k|4232 | 0.000000e+00 |      --      |    Inf 
446.22/446.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
446.22/446.36	c   446s|  8400 |   189 |984298 | 115.5 |  45M|  94 |   - |4026 |9072 |   0 |   0 |  72k|  11k|4233 | 0.000000e+00 |      --      |    Inf 
450.41/450.55	c   451s|  8500 |   195 |998504 | 115.8 |  45M|  94 |1050 |4026 |9025 |4026 |9825 |  73k|  11k|4256 | 0.000000e+00 |      --      |    Inf 
456.11/456.27	c   456s|  8600 |   204 |  1015k| 116.5 |  46M|  94 |   - |4026 |8893 |   0 |   0 |  74k|  11k|4295 | 0.000000e+00 |      --      |    Inf 
458.51/458.64	c   459s|  8700 |   210 |  1023k| 116.0 |  46M|  94 | 663 |4026 |8932 |4026 |9955 |  75k|  11k|4295 | 0.000000e+00 |      --      |    Inf 
463.02/463.16	c   463s|  8800 |   207 |  1033k| 115.8 |  46M|  94 |   - |4026 |8853 |   0 |   0 |  75k|  11k|4328 | 0.000000e+00 |      --      |    Inf 
466.71/466.84	c   467s|  8900 |   206 |  1044k| 115.7 |  46M|  94 | 573 |4026 |8765 |4026 |9936 |  76k|  11k|4340 | 0.000000e+00 |      --      |    Inf 
470.61/470.77	c   471s|  9000 |   206 |  1056k| 115.8 |  46M|  94 | 585 |4026 |8735 |4026 |9912 |  77k|  11k|4357 | 0.000000e+00 |      --      |    Inf 
472.80/472.99	c   473s|  9100 |   196 |  1063k| 115.3 |  46M|  94 | 934 |4026 |8811 |4026 |9866 |  77k|  11k|4358 | 0.000000e+00 |      --      |    Inf 
476.22/476.31	c   476s|  9200 |   194 |  1074k| 115.2 |  46M|  94 | 941 |4026 |8768 |4026 |9823 |  78k|  11k|4360 | 0.000000e+00 |      --      |    Inf 
484.30/484.43	c   484s|  9300 |   194 |  1087k| 115.4 |  46M|  94 | 904 |4026 |8690 |4026 |9680 |  78k|  12k|4442 | 0.000000e+00 |      --      |    Inf 
491.31/491.46	c   491s|  9400 |   195 |  1105k| 116.1 |  45M|  94 |1299 |4026 |8564 |4026 |9355 |  80k|  12k|4512 | 0.000000e+00 |      --      |    Inf 
495.10/495.25	c   495s|  9500 |   222 |  1118k| 116.3 |  46M|  94 | 550 |4026 |8642 |4026 |9744 |  81k|  12k|4516 | 0.000000e+00 |      --      |    Inf 
497.50/497.64	c   498s|  9600 |   220 |  1125k| 115.7 |  46M|  94 |   - |4026 |8724 |   0 |   0 |  81k|  12k|4516 | 0.000000e+00 |      --      |    Inf 
500.60/500.76	c   501s|  9700 |   210 |  1135k| 115.6 |  46M|  94 | 602 |4026 |8693 |4026 |9748 |  82k|  12k|4516 | 0.000000e+00 |      --      |    Inf 
503.20/503.31	c   503s|  9800 |   213 |  1144k| 115.3 |  46M|  94 | 866 |4026 |8760 |4026 |9697 |  82k|  12k|4516 | 0.000000e+00 |      --      |    Inf 
507.61/507.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
507.61/507.70	c   508s|  9900 |   206 |  1157k| 115.5 |  46M|  94 | 948 |4026 |8728 |4026 |9813 |  83k|  12k|4544 | 0.000000e+00 |      --      |    Inf 
511.90/512.02	c   512s| 10000 |   216 |  1166k| 115.2 |  46M|  94 | 373 |4026 |8727 |4026 |  10k|  84k|  12k|4596 | 0.000000e+00 |      --      |    Inf 
514.20/514.34	c   514s| 10100 |   211 |  1170k| 114.5 |  46M|  94 | 445 |4026 |8839 |4026 |  10k|  84k|  13k|4626 | 0.000000e+00 |      --      |    Inf 
517.90/518.01	c   518s| 10200 |   199 |  1178k| 114.1 |  46M|  94 | 649 |4026 |8877 |4026 |  10k|  85k|  13k|4658 | 0.000000e+00 |      --      |    Inf 
521.80/521.98	c   522s| 10300 |   200 |  1187k| 113.9 |  46M|  94 | 591 |4026 |8819 |4026 |9927 |  85k|  13k|4701 | 0.000000e+00 |      --      |    Inf 
535.10/535.27	c   535s| 10400 |   207 |  1202k| 114.2 |  46M|  94 |   - |4026 |8723 |   0 |   0 |  86k|  13k|4921 | 0.000000e+00 |      --      |    Inf 
539.10/539.20	c   539s| 10500 |   203 |  1211k| 114.1 |  46M|  94 | 632 |4026 |8591 |4026 |9566 |  87k|  13k|4949 | 0.000000e+00 |      --      |    Inf 
540.80/540.99	c   541s| 10600 |   204 |  1216k| 113.4 |  46M|  94 | 590 |4026 |8639 |4026 |9569 |  87k|  13k|4949 | 0.000000e+00 |      --      |    Inf 
542.50/542.67	c   543s| 10700 |   202 |  1221k| 112.8 |  46M|  94 |   - |4026 |8669 |   0 |   0 |  87k|  13k|4949 | 0.000000e+00 |      --      |    Inf 
552.60/552.80	c   553s| 10800 |   199 |  1238k| 113.4 |  46M|  94 | 953 |4026 |8527 |4026 |9519 |  89k|  13k|5055 | 0.000000e+00 |      --      |    Inf 
555.79/555.91	c   556s| 10900 |   209 |  1250k| 113.4 |  46M|  94 |   - |4026 |8493 |   0 |   0 |  90k|  14k|5056 | 0.000000e+00 |      --      |    Inf 
560.09/560.23	c   560s| 11000 |   229 |  1261k| 113.4 |  46M|  94 | 517 |4026 |8429 |4026 |9591 |  90k|  14k|5078 | 0.000000e+00 |      --      |    Inf 
561.90/562.09	c   562s| 11100 |   232 |  1267k| 112.9 |  46M|  94 | 498 |4026 |8573 |4026 |9596 |  91k|  14k|5078 | 0.000000e+00 |      --      |    Inf 
564.30/564.41	c   564s| 11200 |   220 |  1274k| 112.5 |  46M|  94 | 770 |4026 |8641 |4026 |9550 |  91k|  14k|5078 | 0.000000e+00 |      --      |    Inf 
565.90/566.04	c   566s| 11300 |   253 |  1278k| 111.9 |  46M|  94 | 600 |4026 |8679 |4026 |9937 |  92k|  14k|5081 | 0.000000e+00 |      --      |    Inf 
567.19/567.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
567.19/567.30	c   567s| 11400 |   256 |  1281k| 111.2 |  46M|  94 | 435 |4026 |8770 |4026 |9939 |  92k|  14k|5083 | 0.000000e+00 |      --      |    Inf 
568.60/568.74	c   569s| 11500 |   279 |  1286k| 110.6 |  47M|  94 | 559 |4026 |8846 |4026 |9926 |  92k|  14k|5083 | 0.000000e+00 |      --      |    Inf 
570.69/570.84	c   571s| 11600 |   256 |  1291k| 110.1 |  47M|  94 | 776 |4026 |8960 |4026 |9918 |  92k|  14k|5086 | 0.000000e+00 |      --      |    Inf 
572.89/573.05	c   573s| 11700 |   257 |  1298k| 109.8 |  47M|  94 | 496 |4026 |9014 |4026 |9610 |  92k|  15k|5086 | 0.000000e+00 |      --      |    Inf 
574.49/574.69	c   575s| 11800 |   263 |  1303k| 109.2 |  47M|  94 |   - |4026 |9077 |   0 |   0 |  93k|  15k|5086 | 0.000000e+00 |      --      |    Inf 
576.90/577.07	c   577s| 11900 |   256 |  1311k| 109.0 |  47M|  94 | 605 |4026 |9092 |4026 |9547 |  93k|  15k|5086 | 0.000000e+00 |      --      |    Inf 
579.19/579.37	c   579s| 12000 |   243 |  1318k| 108.6 |  47M|  94 |   - |4026 |9090 |   0 |   0 |  94k|  15k|5087 | 0.000000e+00 |      --      |    Inf 
581.70/581.85	c   582s| 12100 |   254 |  1323k| 108.2 |  47M|  94 | 582 |4026 |9110 |4026 |9551 |  94k|  15k|5105 | 0.000000e+00 |      --      |    Inf 
586.70/586.80	c   587s| 12200 |   228 |  1335k| 108.3 |  47M|  94 | 543 |4026 |9075 |4026 |9917 |  95k|  15k|5153 | 0.000000e+00 |      --      |    Inf 
589.69/589.85	c   590s| 12300 |   242 |  1343k| 108.0 |  47M|  94 | 406 |4026 |9130 |4026 |9938 |  95k|  15k|5178 | 0.000000e+00 |      --      |    Inf 
594.29/594.46	c   594s| 12400 |   225 |  1352k| 107.9 |  47M|  94 |   - |4026 |9195 |   0 |   0 |  96k|  16k|5216 | 0.000000e+00 |      --      |    Inf 
597.89/598.03	c   598s| 12500 |   252 |  1360k| 107.7 |  47M|  94 | 568 |4026 |9174 |4026 |9563 |  96k|  16k|5242 | 0.000000e+00 |      --      |    Inf 
600.99/601.10	c   601s| 12600 |   233 |  1367k| 107.4 |  47M|  94 | 610 |4026 |9109 |4026 |9564 |  96k|  16k|5270 | 0.000000e+00 |      --      |    Inf 
605.89/606.07	c   606s| 12700 |   231 |  1380k| 107.6 |  47M|  94 | 634 |4026 |9060 |4026 |9927 |  97k|  16k|5323 | 0.000000e+00 |      --      |    Inf 
608.59/608.77	c   609s| 12800 |   232 |  1386k| 107.2 |  47M|  94 | 627 |4026 |9075 |4026 |9557 |  98k|  16k|5359 | 0.000000e+00 |      --      |    Inf 
613.09/613.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
613.09/613.22	c   613s| 12900 |   227 |  1396k| 107.2 |  47M|  94 | 650 |4026 |9029 |4026 |9506 |  98k|  16k|5405 | 0.000000e+00 |      --      |    Inf 
618.29/618.42	c   618s| 13000 |   220 |  1409k| 107.3 |  47M|  94 |   - |4026 |9040 |   0 |   0 |  99k|  16k|5451 | 0.000000e+00 |      --      |    Inf 
622.59/622.78	c   623s| 13100 |   229 |  1419k| 107.3 |  47M|  94 | 640 |4026 |9005 |4026 |9955 | 100k|  16k|5487 | 0.000000e+00 |      --      |    Inf 
626.19/626.38	c   626s| 13200 |   222 |  1429k| 107.2 |  47M|  94 |   - |4026 |9059 |   0 |   0 | 100k|  16k|5514 | 0.000000e+00 |      --      |    Inf 
629.88/630.09	c   630s| 13300 |   226 |  1437k| 107.0 |  47M|  94 | 539 |4026 |9130 |4026 |9931 | 101k|  17k|5560 | 0.000000e+00 |      --      |    Inf 
635.18/635.37	c   635s| 13400 |   222 |  1450k| 107.2 |  47M|  94 | 426 |4026 |9155 |4026 |9890 | 101k|  17k|5611 | 0.000000e+00 |      --      |    Inf 
640.18/640.30	c   640s| 13500 |   211 |  1461k| 107.2 |  47M|  94 | 912 |4026 |9264 |4026 |9542 | 102k|  17k|5655 | 0.000000e+00 |      --      |    Inf 
645.47/645.67	c   646s| 13600 |   235 |  1475k| 107.4 |  47M|  94 | 326 |4026 |9325 |4026 |9976 | 103k|  17k|5712 | 0.000000e+00 |      --      |    Inf 
650.27/650.48	c   650s| 13700 |   224 |  1486k| 107.4 |  47M|  94 | 514 |4026 |9184 |4026 |9938 | 103k|  17k|5748 | 0.000000e+00 |      --      |    Inf 
653.57/653.79	c   654s| 13800 |   230 |  1493k| 107.2 |  47M|  94 | 462 |4026 |9231 |4026 |  10k| 104k|  17k|5777 | 0.000000e+00 |      --      |    Inf 
656.76/656.92	c   657s| 13900 |   239 |  1498k| 106.8 |  47M|  94 | 565 |4026 |9299 |4026 |  10k| 104k|  17k|5813 | 0.000000e+00 |      --      |    Inf 
660.86/661.00	c   661s| 14000 |   221 |  1507k| 106.7 |  47M|  94 | 589 |4026 |9266 |4026 |9980 | 105k|  18k|5852 | 0.000000e+00 |      --      |    Inf 
665.76/665.92	c   666s| 14100 |   218 |  1518k| 106.7 |  47M|  94 |   - |4026 |9204 |   0 |   0 | 105k|  18k|5911 | 0.000000e+00 |      --      |    Inf 
670.16/670.38	c   670s| 14200 |   223 |  1528k| 106.7 |  47M|  94 | 532 |4026 |9189 |4026 |  10k| 106k|  18k|5958 | 0.000000e+00 |      --      |    Inf 
671.97/672.12	c   672s| 14300 |   225 |  1532k| 106.1 |  47M|  94 | 577 |4026 |9207 |4026 |  10k| 106k|  18k|5967 | 0.000000e+00 |      --      |    Inf 
673.86/674.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
673.86/674.02	c   674s| 14400 |   232 |  1534k| 105.6 |  47M|  94 | 514 |4026 |9301 |4026 |  10k| 106k|  18k|5993 | 0.000000e+00 |      --      |    Inf 
676.36/676.57	c   677s| 14500 |   226 |  1540k| 105.3 |  47M|  94 | 330 |4026 |9412 |4026 |  10k| 106k|  18k|6013 | 0.000000e+00 |      --      |    Inf 
679.86/680.07	c   680s| 14600 |   254 |  1547k| 105.0 |  47M|  94 | 588 |4026 |9500 |4026 |  10k| 107k|  18k|6057 | 0.000000e+00 |      --      |    Inf 
682.65/682.85	c   683s| 14700 |   228 |  1553k| 104.7 |  47M|  94 | 480 |4026 |9597 |4026 |  10k| 107k|  18k|6076 | 0.000000e+00 |      --      |    Inf 
685.46/685.60	c   686s| 14800 |   229 |  1557k| 104.3 |  47M|  94 | 491 |4026 |9684 |4026 |  10k| 107k|  18k|6141 | 0.000000e+00 |      --      |    Inf 
687.06/687.29	c   687s| 14900 |   236 |  1560k| 103.7 |  47M|  94 | 413 |4026 |9769 |4026 |  10k| 107k|  19k|6160 | 0.000000e+00 |      --      |    Inf 
690.06/690.22	c   690s| 15000 |   257 |  1565k| 103.4 |  47M|  94 | 465 |4026 |9826 |4026 |  10k| 108k|  19k|6191 | 0.000000e+00 |      --      |    Inf 
692.45/692.62	c   693s| 15100 |   234 |  1568k| 102.9 |  47M|  94 | 391 |4026 |9846 |4026 |  10k| 108k|  19k|6254 | 0.000000e+00 |      --      |    Inf 
694.46/694.61	c   695s| 15200 |   229 |  1572k| 102.5 |  47M|  94 | 638 |4026 |9949 |4026 |  10k| 108k|  19k|6276 | 0.000000e+00 |      --      |    Inf 
696.45/696.67	c   697s| 15300 |   233 |  1575k| 102.0 |  47M|  94 | 416 |4026 |  10k|4026 |  10k| 108k|  19k|6297 | 0.000000e+00 |      --      |    Inf 
699.15/699.32	c   699s| 15400 |   223 |  1579k| 101.7 |  47M|  94 | 679 |4026 |  10k|4026 |  10k| 108k|  19k|6336 | 0.000000e+00 |      --      |    Inf 
702.46/702.62	c   703s| 15500 |   226 |  1586k| 101.4 |  47M|  94 | 569 |4026 |  10k|4026 |  10k| 109k|  19k|6362 | 0.000000e+00 |      --      |    Inf 
705.06/705.22	c   705s| 15600 |   227 |  1591k| 101.1 |  47M|  94 | 473 |4026 |  10k|4026 |  10k| 109k|  19k|6398 | 0.000000e+00 |      --      |    Inf 
707.75/707.94	c   708s| 15700 |   223 |  1596k| 100.8 |  47M|  94 | 499 |4026 |  10k|4026 |  10k| 109k|  19k|6419 | 0.000000e+00 |      --      |    Inf 
709.95/710.12	c   710s| 15800 |   224 |  1599k| 100.4 |  47M|  94 |   - |4026 |  10k|   0 |   0 | 109k|  20k|6461 | 0.000000e+00 |      --      |    Inf 
712.85/713.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
712.85/713.04	c   713s| 15900 |   226 |  1604k| 100.0 |  47M|  94 | 422 |4026 |  10k|4026 |  10k| 110k|  20k|6525 | 0.000000e+00 |      --      |    Inf 
714.55/714.75	c   715s| 16000 |   230 |  1606k|  99.5 |  47M|  94 |   - |4026 |  10k|4026 |  10k| 110k|  20k|6538 | 0.000000e+00 |      --      |    Inf 
718.05/718.23	c   718s| 16100 |   222 |  1612k|  99.3 |  47M|  94 | 626 |4026 |  10k|4026 |  10k| 110k|  20k|6600 | 0.000000e+00 |      --      |    Inf 
720.35/720.59	c   721s| 16200 |   239 |  1617k|  99.0 |  47M|  94 | 380 |4026 |  10k|4026 |  10k| 110k|  20k|6613 | 0.000000e+00 |      --      |    Inf 
722.65/722.86	c   723s| 16300 |   226 |  1620k|  98.6 |  47M|  94 | 527 |4026 |  10k|4026 |  10k| 110k|  20k|6653 | 0.000000e+00 |      --      |    Inf 
724.95/725.17	c   725s| 16400 |   226 |  1624k|  98.2 |  48M|  94 |   - |4026 |  10k|   0 |   0 | 110k|  20k|6695 | 0.000000e+00 |      --      |    Inf 
727.25/727.48	c   727s| 16500 |   223 |  1628k|  97.8 |  47M|  94 | 494 |4026 |  10k|4026 |  10k| 111k|  20k|6723 | 0.000000e+00 |      --      |    Inf 
729.05/729.26	c   729s| 16600 |   249 |  1631k|  97.4 |  48M|  94 | 333 |4026 |  10k|4026 |  10k| 111k|  20k|6746 | 0.000000e+00 |      --      |    Inf 
731.45/731.65	c   732s| 16700 |   219 |  1634k|  97.0 |  48M|  94 | 672 |4026 |  10k|4026 |  10k| 111k|  20k|6774 | 0.000000e+00 |      --      |    Inf 
734.34/734.56	c   735s| 16800 |   216 |  1640k|  96.8 |  47M|  94 | 622 |4026 |  11k|4026 |  10k| 111k|  21k|6802 | 0.000000e+00 |      --      |    Inf 
737.55/737.75	c   738s| 16900 |   225 |  1647k|  96.6 |  48M|  94 | 384 |4026 |  11k|4026 |9916 | 112k|  21k|6824 | 0.000000e+00 |      --      |    Inf 
740.85/741.00	c   741s| 17000 |   220 |  1654k|  96.5 |  48M|  94 | 656 |4026 |  11k|4026 |9959 | 112k|  21k|6850 | 0.000000e+00 |      --      |    Inf 
743.05/743.21	c   743s| 17100 |   224 |  1658k|  96.1 |  48M|  94 | 736 |4026 |  11k|4026 |9965 | 112k|  21k|6873 | 0.000000e+00 |      --      |    Inf 
745.75/745.99	c   746s| 17200 |   216 |  1664k|  95.9 |  48M|  94 | 889 |4026 |  11k|4026 |9924 | 113k|  21k|6898 | 0.000000e+00 |      --      |    Inf 
748.64/748.84	c   749s| 17300 |   221 |  1669k|  95.7 |  48M|  94 |   - |4026 |  11k|   0 |   0 | 113k|  21k|6921 | 0.000000e+00 |      --      |    Inf 
754.55/754.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
754.55/754.78	c   755s| 17400 |   223 |  1680k|  95.7 |  48M|  94 | 468 |4026 |  11k|4026 |9921 | 114k|  21k|6979 | 0.000000e+00 |      --      |    Inf 
761.25/761.41	c   761s| 17500 |   213 |  1697k|  96.2 |  48M|  94 |1336 |4026 |  10k|4026 |9055 | 115k|  21k|7041 | 0.000000e+00 |      --      |    Inf 
764.35/764.59	c   765s| 17600 |   242 |  1706k|  96.2 |  48M|  94 |   - |4026 |  10k|   0 |   0 | 116k|  22k|7050 | 0.000000e+00 |      --      |    Inf 
767.54/767.76	c   768s| 17700 |   248 |  1713k|  96.0 |  48M|  94 | 356 |4026 |  10k|4026 |9463 | 116k|  22k|7085 | 0.000000e+00 |      --      |    Inf 
771.24/771.49	c   771s| 17800 |   270 |  1721k|  95.9 |  48M|  94 | 302 |4026 |  10k|4026 |9444 | 117k|  22k|7133 | 0.000000e+00 |      --      |    Inf 
774.14/774.31	c   774s| 17900 |   259 |  1727k|  95.7 |  48M|  94 |   - |4026 |  11k|   0 |   0 | 117k|  22k|7161 | 0.000000e+00 |      --      |    Inf 
778.04/778.24	c   778s| 18000 |   262 |  1735k|  95.6 |  48M|  94 | 678 |4026 |  11k|4026 |9469 | 118k|  22k|7219 | 0.000000e+00 |      --      |    Inf 
781.44/781.61	c   782s| 18100 |   262 |  1741k|  95.4 |  48M|  94 | 424 |4026 |  11k|4026 |9510 | 119k|  22k|7259 | 0.000000e+00 |      --      |    Inf 
784.54/784.76	c   785s| 18200 |   267 |  1748k|  95.3 |  48M|  94 | 548 |4026 |  11k|4026 |9432 | 119k|  22k|7291 | 0.000000e+00 |      --      |    Inf 
788.55/788.78	c   789s| 18300 |   287 |  1758k|  95.3 |  49M|  94 | 657 |4026 |  11k|4026 |9407 | 120k|  23k|7335 | 0.000000e+00 |      --      |    Inf 
791.54/791.79	c   792s| 18400 |   300 |  1768k|  95.3 |  49M|  94 | 613 |4026 |  11k|4026 |9384 | 121k|  23k|7346 | 0.000000e+00 |      --      |    Inf 
794.74/794.93	c   795s| 18500 |   305 |  1778k|  95.3 |  49M|  94 | 756 |4026 |  11k|4026 |9343 | 122k|  23k|7356 | 0.000000e+00 |      --      |    Inf 
797.23/797.40	c   797s| 18600 |   317 |  1785k|  95.2 |  49M|  94 | 493 |4026 |  11k|4026 |9411 | 122k|  23k|7360 | 0.000000e+00 |      --      |    Inf 
800.33/800.59	c   801s| 18700 |   274 |  1795k|  95.3 |  49M|  94 | 591 |4026 |  11k|4026 |9408 | 123k|  23k|7369 | 0.000000e+00 |      --      |    Inf 
803.73/803.96	c   804s| 18800 |   238 |  1805k|  95.3 |  48M|  94 | 658 |4026 |  11k|4026 |9389 | 124k|  24k|7380 | 0.000000e+00 |      --      |    Inf 
810.24/810.41	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
810.24/810.41	c   810s| 18900 |   239 |  1813k|  95.2 |  48M|  94 | 758 |4026 |  10k|4026 |9935 | 125k|  24k|7492 | 0.000000e+00 |      --      |    Inf 
816.34/816.52	c   817s| 19000 |   232 |  1825k|  95.3 |  48M|  94 | 571 |4026 |  10k|4026 |9961 | 126k|  24k|7574 | 0.000000e+00 |      --      |    Inf 
826.04/826.29	c   826s| 19100 |   242 |  1839k|  95.6 |  48M|  94 | 611 |4026 |  10k|4026 |9936 | 127k|  24k|7679 | 0.000000e+00 |      --      |    Inf 
827.93/828.12	c   828s| 19200 |   243 |  1844k|  95.3 |  48M|  94 |   - |4026 |  10k|   0 |   0 | 127k|  24k|7679 | 0.000000e+00 |      --      |    Inf 
830.63/830.87	c   831s| 19300 |   257 |  1850k|  95.1 |  49M|  94 | 473 |4026 |  10k|4026 |  10k| 128k|  24k|7695 | 0.000000e+00 |      --      |    Inf 
833.13/833.31	c   833s| 19400 |   244 |  1854k|  94.9 |  49M|  94 | 621 |4026 |  10k|4026 |9981 | 128k|  25k|7709 | 0.000000e+00 |      --      |    Inf 
843.43/843.70	c   844s| 19500 |   265 |  1871k|  95.2 |  49M|  94 | 317 |4026 |  10k|4026 |9910 | 129k|  25k|7837 | 0.000000e+00 |      --      |    Inf 
845.63/845.82	c   846s| 19600 |   288 |  1876k|  95.0 |  49M|  94 | 531 |4026 |  10k|4026 |9887 | 129k|  25k|7837 | 0.000000e+00 |      --      |    Inf 
847.94/848.19	c   848s| 19700 |   297 |  1883k|  94.9 |  49M|  94 | 529 |4026 |  10k|4026 |9904 | 130k|  25k|7837 | 0.000000e+00 |      --      |    Inf 
849.93/850.10	c   850s| 19800 |   279 |  1888k|  94.6 |  49M|  94 | 669 |4026 |  11k|4026 |9873 | 130k|  25k|7837 | 0.000000e+00 |      --      |    Inf 
852.23/852.47	c   852s| 19900 |   262 |  1894k|  94.5 |  49M|  94 |   - |4026 |  10k|   0 |   0 | 130k|  26k|7837 | 0.000000e+00 |      --      |    Inf 
855.33/855.59	c   856s| 20000 |   244 |  1902k|  94.4 |  49M|  94 | 536 |4026 |  10k|4026 |9996 | 131k|  26k|7848 | 0.000000e+00 |      --      |    Inf 
859.83/860.09	c   860s| 20100 |   265 |  1911k|  94.4 |  49M|  94 | 546 |4026 |  10k|4026 |9887 | 132k|  26k|7881 | 0.000000e+00 |      --      |    Inf 
863.92/864.19	c   864s| 20200 |   249 |  1920k|  94.4 |  49M|  94 | 736 |4026 |  10k|4026 |9865 | 132k|  26k|7905 | 0.000000e+00 |      --      |    Inf 
866.13/866.36	c   866s| 20300 |   250 |  1925k|  94.2 |  49M|  94 | 612 |4026 |  10k|4026 |9942 | 132k|  26k|7912 | 0.000000e+00 |      --      |    Inf 
870.32/870.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
870.32/870.56	c   871s| 20400 |   248 |  1933k|  94.1 |  49M|  94 | 709 |4026 |  10k|4026 |9971 | 133k|  26k|7953 | 0.000000e+00 |      --      |    Inf 
872.53/872.75	c   873s| 20500 |   248 |  1939k|  93.9 |  49M|  94 | 534 |4026 |  11k|4026 |9963 | 133k|  27k|7960 | 0.000000e+00 |      --      |    Inf 
875.12/875.38	c   875s| 20600 |   245 |  1945k|  93.8 |  49M|  94 | 530 |4026 |  11k|4026 |9954 | 134k|  27k|7968 | 0.000000e+00 |      --      |    Inf 
877.82/878.08	c   878s| 20700 |   248 |  1953k|  93.7 |  49M|  94 |   - |4026 |  11k|   0 |   0 | 134k|  27k|7980 | 0.000000e+00 |      --      |    Inf 
886.02/886.28	c   886s| 20800 |   262 |  1966k|  93.9 |  49M|  94 |   - |4026 |  11k|   0 |   0 | 135k|  27k|8061 | 0.000000e+00 |      --      |    Inf 
889.22/889.49	c   889s| 20900 |   267 |  1974k|  93.8 |  49M|  94 | 747 |4026 |  10k|4026 |9858 | 135k|  27k|8082 | 0.000000e+00 |      --      |    Inf 
893.13/893.31	c   893s| 21000 |   250 |  1985k|  93.9 |  49M|  94 | 762 |4026 |  10k|4026 |9912 | 136k|  27k|8104 | 0.000000e+00 |      --      |    Inf 
898.13/898.35	c   898s| 21100 |   258 |  1996k|  93.9 |  49M|  94 | 572 |4026 |  10k|4026 |9987 | 137k|  27k|8166 | 0.000000e+00 |      --      |    Inf 
900.62/900.90	c   901s| 21200 |   251 |  2003k|  93.8 |  49M|  94 |   - |4026 |  10k|   0 |   0 | 137k|  28k|8175 | 0.000000e+00 |      --      |    Inf 
902.62/902.86	c   903s| 21300 |   254 |  2008k|  93.6 |  49M|  94 | 519 |4026 |  10k|4026 |9895 | 137k|  28k|8175 | 0.000000e+00 |      --      |    Inf 
912.92/913.12	c   913s| 21400 |   256 |  2021k|  93.8 |  49M|  94 | 675 |4026 |  10k|4026 |9977 | 138k|  28k|8308 | 0.000000e+00 |      --      |    Inf 
915.52/915.76	c   916s| 21500 |   280 |  2029k|  93.8 |  49M|  94 | 291 |4026 |  10k|4026 |9782 | 139k|  28k|8311 | 0.000000e+00 |      --      |    Inf 
917.82/918.07	c   918s| 21600 |   277 |  2035k|  93.6 |  49M|  94 | 379 |4026 |  10k|4026 |9792 | 139k|  28k|8325 | 0.000000e+00 |      --      |    Inf 
920.82/921.02	c   921s| 21700 |   265 |  2043k|  93.5 |  49M|  94 | 412 |4026 |  10k|4026 |9789 | 140k|  28k|8339 | 0.000000e+00 |      --      |    Inf 
923.52/923.76	c   924s| 21800 |   264 |  2052k|  93.5 |  49M|  94 | 707 |4026 |  10k|4026 |9769 | 140k|  29k|8345 | 0.000000e+00 |      --      |    Inf 
926.12/926.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
926.12/926.36	c   926s| 21900 |   280 |  2060k|  93.4 |  49M|  94 | 537 |4026 |  10k|4026 |9789 | 140k|  29k|8350 | 0.000000e+00 |      --      |    Inf 
929.32/929.52	c   930s| 22000 |   267 |  2070k|  93.5 |  49M|  94 | 641 |4026 |  10k|4026 |9807 | 141k|  29k|8357 | 0.000000e+00 |      --      |    Inf 
932.51/932.72	c   933s| 22100 |   280 |  2080k|  93.5 |  49M|  94 | 794 |4026 |  10k|4026 |9781 | 141k|  29k|8371 | 0.000000e+00 |      --      |    Inf 
936.02/936.21	c   936s| 22200 |   289 |  2091k|  93.6 |  50M|  94 | 673 |4026 |  10k|4026 |9825 | 142k|  30k|8374 | 0.000000e+00 |      --      |    Inf 
939.23/939.48	c   939s| 22300 |   300 |  2101k|  93.6 |  50M|  94 |   - |4026 |  10k|   0 |   0 | 143k|  30k|8377 | 0.000000e+00 |      --      |    Inf 
942.22/942.47	c   942s| 22400 |   282 |  2110k|  93.6 |  50M|  94 |   - |4026 |  10k|   0 |   0 | 143k|  30k|8379 | 0.000000e+00 |      --      |    Inf 
945.61/945.86	c   946s| 22500 |   267 |  2120k|  93.6 |  49M|  94 | 733 |4026 |  10k|4026 |9824 | 144k|  30k|8386 | 0.000000e+00 |      --      |    Inf 
948.62/948.89	c   949s| 22600 |   273 |  2129k|  93.6 |  49M|  94 | 792 |4026 |  10k|4026 |9870 | 144k|  30k|8389 | 0.000000e+00 |      --      |    Inf 
951.61/951.86	c   952s| 22700 |   279 |  2138k|  93.6 |  49M|  94 |   - |4026 |  10k|   0 |   0 | 145k|  31k|8393 | 0.000000e+00 |      --      |    Inf 
953.62/953.87	c   954s| 22800 |   269 |  2143k|  93.4 |  49M|  94 |   - |4026 |  10k|   0 |   0 | 145k|  31k|8393 | 0.000000e+00 |      --      |    Inf 
958.11/958.31	c   958s| 22900 |   267 |  2158k|  93.6 |  49M|  94 | 744 |4026 |  10k|4026 |9897 | 146k|  31k|8411 | 0.000000e+00 |      --      |    Inf 
969.61/969.80	c   970s| 23000 |   286 |  2173k|  93.9 |  50M|  94 | 480 |4026 |  10k|4026 |9913 | 147k|  31k|8562 | 0.000000e+00 |      --      |    Inf 
973.51/973.79	c   974s| 23100 |   287 |  2186k|  94.0 |  50M|  94 |   - |4026 |  10k|   0 |   0 | 148k|  31k|8576 | 0.000000e+00 |      --      |    Inf 
977.31/977.56	c   978s| 23200 |   278 |  2198k|  94.1 |  50M|  94 |   - |4026 |  10k|   0 |   0 | 149k|  31k|8583 | 0.000000e+00 |      --      |    Inf 
994.11/994.38	c   994s| 23300 |   283 |  2215k|  94.5 |  50M|  94 | 500 |4026 |  10k|4026 |  10k| 151k|  32k|8858 | 0.000000e+00 |      --      |    Inf 
999.50/999.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
999.50/999.79	c  1000s| 23400 |   284 |  2229k|  94.7 |  50M|  94 |1046 |4026 |  10k|4026 |9600 | 152k|  32k|8894 | 0.000000e+00 |      --      |    Inf 
1002.80/1003.07	c  1003s| 23500 |   289 |  2240k|  94.7 |  50M|  94 | 524 |4026 |  10k|4026 |9781 | 153k|  32k|8897 | 0.000000e+00 |      --      |    Inf 
1008.21/1008.47	c  1008s| 23600 |   268 |  2251k|  94.8 |  49M|  94 |   - |4026 |9956 |   0 |   0 | 153k|  32k|8952 | 0.000000e+00 |      --      |    Inf 
1011.70/1011.93	c  1012s| 23700 |   287 |  2259k|  94.7 |  50M|  94 | 472 |4026 |  10k|4026 |9746 | 154k|  32k|8977 | 0.000000e+00 |      --      |    Inf 
1015.01/1015.26	c  1015s| 23800 |   268 |  2270k|  94.8 |  49M|  94 |   - |4026 |  10k|   0 |   0 | 154k|  32k|8986 | 0.000000e+00 |      --      |    Inf 
1017.31/1017.58	c  1018s| 23900 |   280 |  2276k|  94.7 |  50M|  94 | 657 |4026 |  10k|4026 |9922 | 155k|  32k|8986 | 0.000000e+00 |      --      |    Inf 
1019.90/1020.12	c  1020s| 24000 |   274 |  2284k|  94.6 |  50M|  94 | 405 |4026 |  10k|4026 |9961 | 155k|  33k|8989 | 0.000000e+00 |      --      |    Inf 
1022.40/1022.63	c  1023s| 24100 |   281 |  2291k|  94.5 |  50M|  94 |   - |4026 |  10k|   0 |   0 | 156k|  33k|8991 | 0.000000e+00 |      --      |    Inf 
1025.71/1025.93	c  1026s| 24200 |   287 |  2302k|  94.5 |  50M|  94 | 617 |4026 |  10k|4026 |9939 | 157k|  33k|8991 | 0.000000e+00 |      --      |    Inf 
1028.00/1028.20	c  1028s| 24300 |   291 |  2308k|  94.4 |  50M|  94 | 781 |4026 |  10k|4026 |9914 | 157k|  33k|8991 | 0.000000e+00 |      --      |    Inf 
1030.90/1031.13	c  1031s| 24400 |   284 |  2317k|  94.4 |  50M|  94 |   - |4026 |  10k|   0 |   0 | 158k|  33k|8991 | 0.000000e+00 |      --      |    Inf 
1034.21/1034.46	c  1034s| 24500 |   273 |  2327k|  94.4 |  49M|  94 | 829 |4026 |  10k|4026 |  10k| 158k|  33k|8991 | 0.000000e+00 |      --      |    Inf 
1039.00/1039.21	c  1039s| 24600 |   273 |  2342k|  94.6 |  49M|  94 | 913 |4026 |  10k|4026 |9667 | 160k|  34k|9021 | 0.000000e+00 |      --      |    Inf 
1055.30/1055.56	c  1056s| 24700 |   283 |  2360k|  95.0 |  49M|  94 |1150 |4026 |9808 |4026 |9498 | 161k|  34k|9261 | 0.000000e+00 |      --      |    Inf 
1058.79/1059.01	c  1059s| 24800 |   322 |  2370k|  95.0 |  49M|  94 | 566 |4026 |9663 |4026 |9933 | 162k|  34k|9262 | 0.000000e+00 |      --      |    Inf 
1071.50/1071.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1071.50/1071.70	c  1072s| 24900 |   287 |  2384k|  95.2 |  49M|  94 | 930 |4026 |9503 |4026 |9898 | 163k|  34k|9419 | 0.000000e+00 |      --      |    Inf 
1075.49/1075.79	c  1076s| 25000 |   297 |  2398k|  95.4 |  49M|  94 |   - |4026 |9373 |   0 |   0 | 164k|  34k|9430 | 0.000000e+00 |      --      |    Inf 
1078.49/1078.74	c  1079s| 25100 |   298 |  2407k|  95.3 |  49M|  94 |   - |4026 |9464 |   0 |   0 | 165k|  34k|9430 | 0.000000e+00 |      --      |    Inf 
1082.20/1082.45	c  1082s| 25200 |   300 |  2420k|  95.5 |  49M|  94 |   - |4026 |9367 |   0 |   0 | 166k|  34k|9430 | 0.000000e+00 |      --      |    Inf 
1084.40/1084.67	c  1085s| 25300 |   294 |  2426k|  95.4 |  49M|  94 | 674 |4026 |9497 |4026 |9861 | 166k|  34k|9430 | 0.000000e+00 |      --      |    Inf 
1086.99/1087.29	c  1087s| 25400 |   311 |  2434k|  95.3 |  49M|  94 | 459 |4026 |9540 |4026 |9771 | 167k|  35k|9433 | 0.000000e+00 |      --      |    Inf 
1088.80/1089.01	c  1089s| 25500 |   290 |  2439k|  95.1 |  49M|  94 | 767 |4026 |9623 |4026 |9775 | 167k|  35k|9433 | 0.000000e+00 |      --      |    Inf 
1091.59/1091.89	c  1092s| 25600 |   294 |  2447k|  95.1 |  49M|  94 | 852 |4026 |9576 |4026 |9889 | 168k|  35k|9434 | 0.000000e+00 |      --      |    Inf 
1094.79/1095.07	c  1095s| 25700 |   297 |  2456k|  95.0 |  49M|  94 | 795 |4026 |9652 |4026 |  10k| 168k|  35k|9442 | 0.000000e+00 |      --      |    Inf 
1097.09/1097.38	c  1097s| 25800 |   306 |  2463k|  94.9 |  49M|  94 | 408 |4026 |9753 |4026 |9786 | 169k|  35k|9442 | 0.000000e+00 |      --      |    Inf 
1099.89/1100.15	c  1100s| 25900 |   293 |  2471k|  94.9 |  49M|  94 | 677 |4026 |9899 |4026 |9814 | 169k|  35k|9442 | 0.000000e+00 |      --      |    Inf 
1102.69/1102.91	c  1103s| 26000 |   290 |  2480k|  94.8 |  49M|  94 | 742 |4026 |9857 |4026 |9833 | 169k|  35k|9442 | 0.000000e+00 |      --      |    Inf 
1109.69/1109.94	c  1110s| 26100 |   290 |  2496k|  95.1 |  49M|  94 | 738 |4026 |9713 |4026 |9959 | 171k|  36k|9509 | 0.000000e+00 |      --      |    Inf 
1112.59/1112.81	c  1113s| 26200 |   285 |  2505k|  95.1 |  49M|  94 | 845 |4026 |9693 |4026 |9878 | 171k|  36k|9509 | 0.000000e+00 |      --      |    Inf 
1116.69/1116.97	c  1117s| 26300 |   284 |  2520k|  95.3 |  49M|  94 | 892 |4026 |9398 |4026 |9673 | 173k|  36k|9511 | 0.000000e+00 |      --      |    Inf 
1120.39/1120.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1120.39/1120.62	c  1121s| 26400 |   287 |  2533k|  95.4 |  49M|  94 | 872 |4026 |9451 |4026 |9992 | 173k|  36k|9512 | 0.000000e+00 |      --      |    Inf 
1122.39/1122.66	c  1123s| 26500 |   294 |  2539k|  95.3 |  49M|  94 | 534 |4026 |9509 |4026 |9962 | 174k|  36k|9512 | 0.000000e+00 |      --      |    Inf 
1124.19/1124.46	c  1124s| 26600 |   304 |  2544k|  95.1 |  49M|  94 | 409 |4026 |9560 |4026 |  10k| 174k|  36k|9512 | 0.000000e+00 |      --      |    Inf 
1126.49/1126.78	c  1127s| 26700 |   290 |  2550k|  95.0 |  49M|  94 | 602 |4026 |9664 |4026 |9953 | 174k|  36k|9512 | 0.000000e+00 |      --      |    Inf 
1128.78/1129.04	c  1129s| 26800 |   296 |  2557k|  94.9 |  49M|  94 | 515 |4026 |9738 |4026 |9974 | 174k|  36k|9512 | 0.000000e+00 |      --      |    Inf 
1131.69/1131.94	c  1132s| 26900 |   291 |  2566k|  94.9 |  49M|  94 | 735 |4026 |9839 |4026 |9975 | 175k|  36k|9512 | 0.000000e+00 |      --      |    Inf 
1134.08/1134.37	c  1134s| 27000 |   292 |  2573k|  94.8 |  49M|  94 | 482 |4026 |9882 |4026 |9840 | 175k|  37k|9512 | 0.000000e+00 |      --      |    Inf 
1135.88/1136.11	c  1136s| 27100 |   287 |  2578k|  94.6 |  49M|  94 | 393 |4026 |  10k|4026 |9841 | 175k|  37k|9512 | 0.000000e+00 |      --      |    Inf 
1142.98/1143.21	c  1143s| 27200 |   288 |  2590k|  94.7 |  49M|  94 | 818 |4026 |9992 |4026 |9670 | 176k|  37k|9587 | 0.000000e+00 |      --      |    Inf 
1145.48/1145.78	c  1146s| 27300 |   314 |  2598k|  94.7 |  49M|  94 | 587 |4026 |  10k|4026 |9763 | 177k|  37k|9587 | 0.000000e+00 |      --      |    Inf 
1148.08/1148.31	c  1148s| 27400 |   310 |  2606k|  94.6 |  50M|  94 | 700 |4026 |9999 |4026 |9710 | 177k|  37k|9587 | 0.000000e+00 |      --      |    Inf 
1151.68/1151.99	c  1152s| 27500 |   303 |  2619k|  94.7 |  50M|  94 | 712 |4026 |9943 |4026 |9687 | 178k|  37k|9587 | 0.000000e+00 |      --      |    Inf 
1161.28/1161.51	c  1162s| 27600 |   315 |  2641k|  95.2 |  49M|  94 |1541 |4026 |9801 |4026 |9897 | 180k|  37k|9671 | 0.000000e+00 |      --      |    Inf 
1165.28/1165.50	c  1165s| 27700 |   323 |  2654k|  95.3 |  50M|  94 |   - |4026 |9878 |   0 |   0 | 181k|  37k|9680 | 0.000000e+00 |      --      |    Inf 
1169.58/1169.89	c  1170s| 27800 |   328 |  2665k|  95.4 |  50M|  94 |   - |4026 |9890 |   0 |   0 | 182k|  38k|9700 | 0.000000e+00 |      --      |    Inf 
1175.18/1175.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1175.18/1175.43	c  1175s| 27900 |   322 |  2680k|  95.5 |  49M|  94 | 403 |4026 |9619 |4026 |9806 | 183k|  38k|9732 | 0.000000e+00 |      --      |    Inf 
1178.68/1178.94	c  1179s| 28000 |   309 |  2692k|  95.6 |  49M|  94 | 952 |4026 |9663 |4026 |9790 | 184k|  38k|9732 | 0.000000e+00 |      --      |    Inf 
1182.48/1182.74	c  1183s| 28100 |   321 |  2706k|  95.8 |  50M|  94 | 517 |4026 |9717 |4026 |9880 | 185k|  38k|9734 | 0.000000e+00 |      --      |    Inf 
1186.38/1186.70	c  1187s| 28200 |   304 |  2722k|  96.0 |  49M|  94 | 879 |4026 |9771 |4026 |9791 | 186k|  38k|9734 | 0.000000e+00 |      --      |    Inf 
1192.07/1192.36	c  1192s| 28300 |   312 |  2740k|  96.3 |  50M|  94 | 933 |4026 |9720 |4026 |9790 | 187k|  38k|9758 | 0.000000e+00 |      --      |    Inf 
1195.59/1195.80	c  1196s| 28400 |   315 |  2752k|  96.4 |  50M|  94 | 533 |4026 |9740 |4026 |9717 | 187k|  38k|9758 | 0.000000e+00 |      --      |    Inf 
1200.77/1201.03	c  1201s| 28500 |   324 |  2770k|  96.7 |  50M|  94 | 617 |4026 |9669 |4026 |9594 | 189k|  38k|9767 | 0.000000e+00 |      --      |    Inf 
1206.88/1207.19	c  1207s| 28600 |   334 |  2789k|  97.1 |  50M|  94 |   - |4026 |9577 |   0 |   0 | 190k|  38k|9799 | 0.000000e+00 |      --      |    Inf 
1210.58/1210.88	c  1211s| 28700 |   331 |  2801k|  97.1 |  50M|  94 | 421 |4026 |9705 |4026 |9868 | 191k|  39k|9799 | 0.000000e+00 |      --      |    Inf 
1215.17/1215.44	c  1215s| 28800 |   326 |  2812k|  97.2 |  50M|  94 | 824 |4026 |9711 |4026 |9569 | 192k|  39k|9838 | 0.000000e+00 |      --      |    Inf 
1222.58/1222.85	c  1223s| 28900 |   320 |  2830k|  97.5 |  50M|  94 | 977 |4026 |9352 |4026 |9721 | 194k|  39k|9912 | 0.000000e+00 |      --      |    Inf 
1227.77/1228.01	c  1228s| 29000 |   322 |  2845k|  97.6 |  50M|  94 |   - |4026 |9128 |   0 |   0 | 195k|  39k|9937 | 0.000000e+00 |      --      |    Inf 
1232.47/1232.74	c  1233s| 29100 |   320 |  2858k|  97.7 |  50M|  94 | 937 |4026 |9137 |4026 |9643 | 196k|  39k|9977 | 0.000000e+00 |      --      |    Inf 
1236.28/1236.59	c  1237s| 29200 |   327 |  2868k|  97.7 |  50M|  94 | 567 |4026 |9255 |4026 |9749 | 197k|  39k|  10k| 0.000000e+00 |      --      |    Inf 
1240.68/1240.94	c  1241s| 29300 |   340 |  2878k|  97.8 |  50M|  94 | 646 |4026 |9266 |4026 |9710 | 198k|  40k|  10k| 0.000000e+00 |      --      |    Inf 
1244.77/1245.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1244.77/1245.09	c  1245s| 29400 |   333 |  2887k|  97.7 |  50M|  94 | 907 |4026 |9359 |4026 |9779 | 198k|  40k|  10k| 0.000000e+00 |      --      |    Inf 
1248.67/1248.93	c  1249s| 29500 |   320 |  2896k|  97.7 |  50M|  94 | 709 |4026 |9334 |4026 |9540 | 199k|  40k|  10k| 0.000000e+00 |      --      |    Inf 
1252.87/1253.11	c  1253s| 29600 |   313 |  2906k|  97.7 |  50M|  94 |1056 |4026 |9323 |4026 |9865 | 199k|  40k|  10k| 0.000000e+00 |      --      |    Inf 
1257.57/1257.84	c  1258s| 29700 |   332 |  2918k|  97.8 |  50M|  94 | 802 |4026 |9338 |4026 |9915 | 201k|  40k|  10k| 0.000000e+00 |      --      |    Inf 
1264.17/1264.47	c  1264s| 29800 |   334 |  2935k|  98.0 |  50M|  94 | 891 |4026 |9392 |4026 |9781 | 202k|  40k|  10k| 0.000000e+00 |      --      |    Inf 
1266.86/1267.17	c  1267s| 29900 |   352 |  2941k|  97.9 |  50M|  94 | 443 |4026 |9467 |4026 |9847 | 202k|  40k|  10k| 0.000000e+00 |      --      |    Inf 
1270.38/1270.66	c  1271s| 30000 |   344 |  2948k|  97.8 |  50M|  94 | 717 |4026 |9417 |4026 |9839 | 203k|  40k|  10k| 0.000000e+00 |      --      |    Inf 
1274.77/1275.05	c  1275s| 30100 |   342 |  2959k|  97.8 |  50M|  94 | 971 |4026 |9409 |4026 |9852 | 203k|  41k|  10k| 0.000000e+00 |      --      |    Inf 
1278.66/1278.90	c  1279s| 30200 |   358 |  2968k|  97.8 |  51M|  94 |   - |4026 |9489 |   0 |   0 | 204k|  41k|  10k| 0.000000e+00 |      --      |    Inf 
1281.86/1282.13	c  1282s| 30300 |   345 |  2976k|  97.8 |  50M|  94 | 949 |4026 |9501 |4026 |9747 | 204k|  41k|  10k| 0.000000e+00 |      --      |    Inf 
1285.56/1285.83	c  1286s| 30400 |   356 |  2985k|  97.7 |  51M|  94 |   - |4026 |9598 |   0 |   0 | 205k|  41k|  10k| 0.000000e+00 |      --      |    Inf 
1291.56/1291.82	c  1292s| 30500 |   349 |  3001k|  97.9 |  51M|  94 | 785 |4026 |9647 |4026 |9828 | 206k|  41k|  10k| 0.000000e+00 |      --      |    Inf 
1296.16/1296.46	c  1296s| 30600 |   353 |  3013k|  98.0 |  51M|  94 | 640 |4026 |9661 |4026 |9913 | 207k|  41k|  10k| 0.000000e+00 |      --      |    Inf 
1302.27/1302.51	c  1303s| 30700 |   361 |  3030k|  98.2 |  51M|  94 | 648 |4026 |9720 |4026 |9887 | 207k|  41k|  10k| 0.000000e+00 |      --      |    Inf 
1308.86/1309.15	c  1309s| 30800 |   359 |  3049k|  98.5 |  51M|  94 | 755 |4026 |9769 |4026 |9882 | 208k|  42k|  10k| 0.000000e+00 |      --      |    Inf 
1316.75/1317.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1316.75/1317.03	c  1317s| 30900 |   355 |  3068k|  98.9 |  51M|  94 | 698 |4026 |9782 |4026 |9826 | 209k|  42k|  10k| 0.000000e+00 |      --      |    Inf 
1320.56/1320.86	c  1321s| 31000 |   350 |  3080k|  98.9 |  51M|  94 | 489 |4026 |9728 |4026 |9829 | 210k|  42k|  10k| 0.000000e+00 |      --      |    Inf 
1325.36/1325.69	c  1326s| 31100 |   337 |  3091k|  99.0 |  50M|  94 |1093 |4026 |9670 |4026 |9776 | 211k|  42k|  10k| 0.000000e+00 |      --      |    Inf 
1330.86/1331.16	c  1331s| 31200 |   339 |  3105k|  99.1 |  50M|  94 | 609 |4026 |9500 |4026 |9825 | 212k|  42k|  10k| 0.000000e+00 |      --      |    Inf 
1334.25/1334.51	c  1335s| 31300 |   332 |  3112k|  99.0 |  50M|  94 | 645 |4026 |9554 |4026 |9896 | 212k|  42k|  10k| 0.000000e+00 |      --      |    Inf 
1336.56/1336.87	c  1337s| 31400 |   345 |  3116k|  98.8 |  50M|  94 | 376 |4026 |9521 |4026 |9887 | 212k|  42k|  10k| 0.000000e+00 |      --      |    Inf 
1340.35/1340.69	c  1341s| 31500 |   323 |  3124k|  98.7 |  50M|  94 | 656 |4026 |9586 |4026 |9821 | 213k|  42k|  10k| 0.000000e+00 |      --      |    Inf 
1345.35/1345.69	c  1346s| 31600 |   316 |  3136k|  98.8 |  50M|  94 | 669 |4026 |9428 |4026 |9824 | 214k|  42k|  10k| 0.000000e+00 |      --      |    Inf 
1351.15/1351.49	c  1351s| 31700 |   321 |  3152k|  99.0 |  50M|  94 | 873 |4026 |9425 |4026 |9682 | 215k|  43k|  11k| 0.000000e+00 |      --      |    Inf 
1355.35/1355.62	c  1356s| 31800 |   322 |  3162k|  99.0 |  50M|  94 | 589 |4026 |9489 |4026 |9898 | 216k|  43k|  11k| 0.000000e+00 |      --      |    Inf 
1360.26/1360.58	c  1361s| 31900 |   317 |  3175k|  99.1 |  50M|  94 | 884 |4026 |9564 |4026 |9829 | 217k|  43k|  11k| 0.000000e+00 |      --      |    Inf 
1364.25/1364.51	c  1365s| 32000 |   325 |  3184k|  99.1 |  51M|  94 | 500 |4026 |9533 |4026 |9963 | 217k|  43k|  11k| 0.000000e+00 |      --      |    Inf 
1367.95/1368.23	c  1368s| 32100 |   304 |  3193k|  99.0 |  50M|  94 | 894 |4026 |9496 |4026 |9637 | 218k|  43k|  11k| 0.000000e+00 |      --      |    Inf 
1373.15/1373.43	c  1373s| 32200 |   321 |  3206k|  99.1 |  51M|  94 | 318 |4026 |9441 |4026 |9826 | 218k|  43k|  11k| 0.000000e+00 |      --      |    Inf 
1379.15/1379.50	c  1379s| 32300 |   318 |  3222k|  99.3 |  51M|  94 | 580 |4026 |9379 |4026 |9819 | 219k|  43k|  11k| 0.000000e+00 |      --      |    Inf 
1383.24/1383.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1383.24/1383.56	c  1384s| 32400 |   329 |  3230k|  99.3 |  51M|  94 | 463 |4026 |9481 |4026 |9861 | 220k|  43k|  11k| 0.000000e+00 |      --      |    Inf 
1387.74/1388.08	c  1388s| 32500 |   312 |  3241k|  99.3 |  51M|  94 | 853 |4026 |9514 |4026 |9760 | 220k|  44k|  11k| 0.000000e+00 |      --      |    Inf 
1393.34/1393.62	c  1394s| 32600 |   310 |  3256k|  99.5 |  51M|  94 | 817 |4026 |9462 |4026 |9881 | 222k|  44k|  11k| 0.000000e+00 |      --      |    Inf 
1399.84/1400.15	c  1400s| 32700 |   305 |  3271k|  99.6 |  50M|  94 | 888 |4026 |9238 |4026 |9645 | 223k|  44k|  11k| 0.000000e+00 |      --      |    Inf 
1404.73/1405.07	c  1405s| 32800 |   310 |  3284k|  99.7 |  51M|  94 | 833 |4026 |9264 |4026 |9720 | 224k|  44k|  11k| 0.000000e+00 |      --      |    Inf 
1410.34/1410.61	c  1411s| 32900 |   320 |  3298k|  99.8 |  51M|  94 | 820 |4026 |9307 |4026 |9687 | 225k|  44k|  11k| 0.000000e+00 |      --      |    Inf 
1418.93/1419.27	c  1419s| 33000 |   319 |  3320k| 100.2 |  51M|  94 | 636 |4026 |9094 |4026 |9641 | 227k|  44k|  11k| 0.000000e+00 |      --      |    Inf 
1424.24/1424.53	c  1425s| 33100 |   328 |  3335k| 100.3 |  51M|  94 | 533 |4026 |9049 |4026 |9801 | 228k|  44k|  11k| 0.000000e+00 |      --      |    Inf 
1427.34/1427.68	c  1428s| 33200 |   328 |  3341k| 100.2 |  51M|  94 | 560 |4026 |9121 |4026 |9796 | 229k|  44k|  11k| 0.000000e+00 |      --      |    Inf 
1430.94/1431.29	c  1431s| 33300 |   324 |  3349k| 100.1 |  51M|  94 | 568 |4026 |9135 |4026 |9781 | 229k|  45k|  11k| 0.000000e+00 |      --      |    Inf 
1434.14/1434.40	c  1434s| 33400 |   331 |  3356k| 100.1 |  51M|  94 | 562 |4026 |9201 |4026 |9786 | 230k|  45k|  11k| 0.000000e+00 |      --      |    Inf 
1438.74/1439.04	c  1439s| 33500 |   327 |  3368k| 100.1 |  51M|  94 |   - |4026 |9188 |   0 |   0 | 230k|  45k|  11k| 0.000000e+00 |      --      |    Inf 
1444.63/1444.98	c  1445s| 33600 |   332 |  3383k| 100.3 |  51M|  94 | 640 |4026 |9195 |4026 |9766 | 231k|  45k|  11k| 0.000000e+00 |      --      |    Inf 
1448.23/1448.51	c  1449s| 33700 |   326 |  3389k| 100.1 |  51M|  94 | 792 |4026 |9412 |4026 |9749 | 232k|  45k|  11k| 0.000000e+00 |      --      |    Inf 
1451.63/1451.98	c  1452s| 33800 |   333 |  3397k| 100.1 |  51M|  94 | 831 |4026 |9566 |4026 |9849 | 232k|  45k|  11k| 0.000000e+00 |      --      |    Inf 
1454.63/1454.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1454.63/1454.97	c  1455s| 33900 |   332 |  3403k| 100.0 |  51M|  94 |   - |4026 |9635 |   0 |   0 | 233k|  46k|  11k| 0.000000e+00 |      --      |    Inf 
1461.43/1461.75	c  1462s| 34000 |   329 |  3423k| 100.3 |  51M|  94 | 775 |4026 |9588 |4026 |9916 | 234k|  46k|  12k| 0.000000e+00 |      --      |    Inf 
1467.83/1468.12	c  1468s| 34100 |   342 |  3439k| 100.4 |  51M|  94 |   - |4026 |9576 |   0 |   0 | 235k|  46k|  12k| 0.000000e+00 |      --      |    Inf 
1474.22/1474.52	c  1475s| 34200 |   354 |  3455k| 100.6 |  52M|  94 | 474 |4026 |9695 |4026 |9849 | 236k|  46k|  12k| 0.000000e+00 |      --      |    Inf 
1479.93/1480.21	c  1480s| 34300 |   334 |  3469k| 100.7 |  51M|  94 | 525 |4026 |9603 |4026 |9878 | 237k|  46k|  12k| 0.000000e+00 |      --      |    Inf 
1484.52/1484.83	c  1485s| 34400 |   326 |  3479k| 100.7 |  51M|  94 | 697 |4026 |9557 |4026 |9768 | 237k|  46k|  12k| 0.000000e+00 |      --      |    Inf 
1489.82/1490.16	c  1490s| 34500 |   333 |  3491k| 100.8 |  51M|  94 | 483 |4026 |9443 |4026 |9903 | 238k|  46k|  12k| 0.000000e+00 |      --      |    Inf 
1495.33/1495.65	c  1496s| 34600 |   336 |  3504k| 100.9 |  51M|  94 | 915 |4026 |9326 |4026 |9658 | 239k|  46k|  12k| 0.000000e+00 |      --      |    Inf 
1500.02/1500.33	c  1500s| 34700 |   344 |  3519k| 101.0 |  51M|  94 | 782 |4026 |9372 |4026 |9599 | 241k|  47k|  12k| 0.000000e+00 |      --      |    Inf 
1503.92/1504.28	c  1504s| 34800 |   346 |  3530k| 101.0 |  51M|  94 | 776 |4026 |9502 |4026 |9557 | 241k|  47k|  12k| 0.000000e+00 |      --      |    Inf 
1508.62/1508.91	c  1509s| 34900 |   347 |  3542k| 101.1 |  51M|  94 |1092 |4026 |9495 |4026 |9745 | 242k|  47k|  12k| 0.000000e+00 |      --      |    Inf 
1519.22/1519.57	c  1520s| 35000 |   365 |  3564k| 101.4 |  52M|  94 | 606 |4026 |9307 |4026 |9876 | 244k|  47k|  12k| 0.000000e+00 |      --      |    Inf 
1522.72/1523.00	c  1523s| 35100 |   365 |  3573k| 101.4 |  52M|  94 | 849 |4026 |9368 |4026 |9835 | 245k|  47k|  12k| 0.000000e+00 |      --      |    Inf 
1525.82/1526.16	c  1526s| 35200 |   369 |  3582k| 101.4 |  52M|  94 | 455 |4026 |9412 |4026 |9844 | 245k|  47k|  12k| 0.000000e+00 |      --      |    Inf 
1529.11/1529.40	c  1529s| 35300 |   356 |  3591k| 101.3 |  52M|  94 |   - |4026 |9408 |   0 |   0 | 245k|  47k|  12k| 0.000000e+00 |      --      |    Inf 
1536.22/1536.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1536.22/1536.57	c  1537s| 35400 |   374 |  3606k| 101.5 |  52M|  94 | 604 |4026 |9411 |4026 |9461 | 247k|  48k|  12k| 0.000000e+00 |      --      |    Inf 
1539.83/1540.14	c  1540s| 35500 |   369 |  3618k| 101.5 |  52M|  94 | 754 |4026 |9488 |4026 |9499 | 248k|  48k|  12k| 0.000000e+00 |      --      |    Inf 
1546.12/1546.49	c  1546s| 35600 |   382 |  3627k| 101.5 |  52M|  94 | 469 |4026 |9508 |4026 |  10k| 248k|  48k|  12k| 0.000000e+00 |      --      |    Inf 
1550.62/1550.93	c  1551s| 35700 |   384 |  3636k| 101.5 |  52M|  94 | 483 |4026 |9504 |4026 |  10k| 249k|  48k|  12k| 0.000000e+00 |      --      |    Inf 
1554.12/1554.50	c  1554s| 35800 |   370 |  3645k| 101.4 |  52M|  94 | 796 |4026 |9548 |4026 |9599 | 249k|  48k|  12k| 0.000000e+00 |      --      |    Inf 
1557.21/1557.55	c  1558s| 35900 |   364 |  3654k| 101.4 |  52M|  94 | 793 |4026 |9600 |4026 |9651 | 250k|  48k|  12k| 0.000000e+00 |      --      |    Inf 
1565.12/1565.44	c  1565s| 36000 |   367 |  3672k| 101.6 |  52M|  94 |1095 |4026 |9500 |4026 |9547 | 251k|  48k|  12k| 0.000000e+00 |      --      |    Inf 
1571.01/1571.39	c  1571s| 36100 |   378 |  3686k| 101.7 |  52M|  94 | 405 |4026 |9390 |4026 |9352 | 253k|  48k|  13k| 0.000000e+00 |      --      |    Inf 
1574.32/1574.69	c  1575s| 36200 |   372 |  3695k| 101.7 |  52M|  94 | 694 |4026 |9441 |4026 |9372 | 254k|  49k|  13k| 0.000000e+00 |      --      |    Inf 
1578.71/1579.09	c  1579s| 36300 |   375 |  3708k| 101.8 |  52M|  94 | 691 |4026 |9505 |4026 |9429 | 255k|  49k|  13k| 0.000000e+00 |      --      |    Inf 
1586.51/1586.86	c  1587s| 36400 |   388 |  3725k| 102.0 |  52M|  94 | 565 |4026 |9442 |4026 |9756 | 256k|  49k|  13k| 0.000000e+00 |      --      |    Inf 
1592.71/1593.02	c  1593s| 36500 |   406 |  3743k| 102.2 |  52M|  94 |   - |4026 |9367 |   0 |   0 | 258k|  49k|  13k| 0.000000e+00 |      --      |    Inf 
1598.91/1599.28	c  1599s| 36600 |   398 |  3757k| 102.3 |  52M|  94 | 703 |4026 |9290 |4026 |9872 | 259k|  49k|  13k| 0.000000e+00 |      --      |    Inf 
1604.41/1604.76	c  1605s| 36700 |   389 |  3778k| 102.6 |  52M|  94 | 978 |4026 |9249 |4026 |9885 | 260k|  49k|  13k| 0.000000e+00 |      --      |    Inf 
1608.11/1608.40	c  1608s| 36800 |   385 |  3790k| 102.6 |  52M|  94 | 981 |4026 |9213 |4026 |9819 | 261k|  49k|  13k| 0.000000e+00 |      --      |    Inf 
1612.20/1612.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1612.20/1612.60	c  1613s| 36900 |   396 |  3804k| 102.7 |  52M|  94 | 452 |4026 |9259 |4026 |  10k| 262k|  49k|  13k| 0.000000e+00 |      --      |    Inf 
1624.71/1625.04	c  1625s| 37000 |   379 |  3817k| 102.8 |  52M|  94 |1222 |4026 |9295 |4026 |9355 | 263k|  49k|  13k| 0.000000e+00 |      --      |    Inf 
1630.51/1630.84	c  1631s| 37100 |   394 |  3839k| 103.1 |  52M|  94 |   - |4026 |9334 |   0 |   0 | 264k|  50k|  13k| 0.000000e+00 |      --      |    Inf 
1635.00/1635.37	c  1635s| 37200 |   420 |  3855k| 103.2 |  53M|  94 | 705 |4026 |9369 |4026 |9726 | 266k|  50k|  13k| 0.000000e+00 |      --      |    Inf 
1638.90/1639.22	c  1639s| 37300 |   403 |  3868k| 103.3 |  53M|  94 |1047 |4026 |9341 |4026 |9785 | 266k|  50k|  13k| 0.000000e+00 |      --      |    Inf 
1642.11/1642.41	c  1642s| 37400 |   427 |  3878k| 103.3 |  53M|  94 | 513 |4026 |9450 |4026 |9823 | 267k|  50k|  13k| 0.000000e+00 |      --      |    Inf 
1645.80/1646.18	c  1646s| 37500 |   415 |  3891k| 103.4 |  53M|  94 | 624 |4026 |9569 |4026 |9814 | 268k|  50k|  13k| 0.000000e+00 |      --      |    Inf 
1649.50/1649.82	c  1650s| 37600 |   408 |  3904k| 103.5 |  53M|  94 |   - |4026 |9660 |   0 |   0 | 268k|  50k|  13k| 0.000000e+00 |      --      |    Inf 
1653.60/1653.95	c  1654s| 37700 |   406 |  3919k| 103.6 |  53M|  94 |   - |4026 |9638 |   0 |   0 | 269k|  51k|  13k| 0.000000e+00 |      --      |    Inf 
1671.59/1671.95	c  1672s| 37800 |   425 |  3943k| 103.9 |  53M|  94 | 732 |4026 |9574 |4026 |9856 | 271k|  51k|  13k| 0.000000e+00 |      --      |    Inf 
1675.40/1675.76	c  1676s| 37900 |   419 |  3955k| 104.0 |  53M|  94 |1143 |4026 |9508 |4026 |9615 | 272k|  51k|  13k| 0.000000e+00 |      --      |    Inf 
1679.19/1679.53	c  1680s| 38000 |   427 |  3968k| 104.1 |  53M|  94 | 683 |4026 |9573 |4026 |9779 | 273k|  51k|  13k| 0.000000e+00 |      --      |    Inf 
1681.71/1682.08	c  1682s| 38100 |   427 |  3976k| 104.0 |  53M|  94 | 716 |4026 |9670 |4026 |9723 | 273k|  51k|  13k| 0.000000e+00 |      --      |    Inf 
1686.59/1686.92	c  1687s| 38200 |   429 |  3992k| 104.1 |  53M|  94 |   - |4026 |9625 |   0 |   0 | 275k|  51k|  13k| 0.000000e+00 |      --      |    Inf 
1690.89/1691.27	c  1691s| 38300 |   430 |  4006k| 104.2 |  53M|  94 | 829 |4026 |9653 |4026 |9982 | 276k|  51k|  13k| 0.000000e+00 |      --      |    Inf 
1699.40/1699.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1699.40/1699.70	c  1700s| 38400 |   445 |  4024k| 104.4 |  53M|  94 | 723 |4026 |9645 |4026 |9667 | 277k|  51k|  13k| 0.000000e+00 |      --      |    Inf 
1703.00/1703.37	c  1703s| 38500 |   439 |  4037k| 104.5 |  53M|  94 |1075 |4026 |9618 |4026 |9536 | 278k|  52k|  13k| 0.000000e+00 |      --      |    Inf 
1705.59/1705.98	c  1706s| 38600 |   445 |  4044k| 104.4 |  53M|  94 | 623 |4026 |9712 |4026 |9806 | 279k|  52k|  13k| 0.000000e+00 |      --      |    Inf 
1708.99/1709.35	c  1709s| 38700 |   443 |  4055k| 104.4 |  53M|  94 |   - |4026 |9854 |   0 |   0 | 279k|  52k|  13k| 0.000000e+00 |      --      |    Inf 
1712.19/1712.59	c  1713s| 38800 |   438 |  4065k| 104.4 |  53M|  94 | 450 |4026 |9866 |4026 |9469 | 280k|  52k|  13k| 0.000000e+00 |      --      |    Inf 
1715.19/1715.59	c  1716s| 38900 |   435 |  4074k| 104.4 |  53M|  94 | 706 |4026 |9889 |4026 |9479 | 281k|  52k|  13k| 0.000000e+00 |      --      |    Inf 
1718.99/1719.35	c  1719s| 39000 |   430 |  4087k| 104.4 |  53M|  94 |   - |4026 |9837 |   0 |   0 | 282k|  52k|  13k| 0.000000e+00 |      --      |    Inf 
1721.79/1722.12	c  1722s| 39100 |   429 |  4095k| 104.4 |  53M|  94 |   - |4026 |9927 |   0 |   0 | 282k|  53k|  13k| 0.000000e+00 |      --      |    Inf 
1727.58/1727.94	c  1728s| 39200 |   431 |  4114k| 104.6 |  53M|  94 |1033 |4026 |9860 |4026 |9692 | 284k|  53k|  13k| 0.000000e+00 |      --      |    Inf 
1732.20/1732.56	c  1733s| 39300 |   439 |  4130k| 104.7 |  53M|  94 | 930 |4026 |9773 |4026 |9870 | 285k|  53k|  13k| 0.000000e+00 |      --      |    Inf 
1735.59/1735.91	c  1736s| 39400 |   446 |  4140k| 104.7 |  54M|  94 |1019 |4026 |9740 |4026 |9753 | 286k|  53k|  13k| 0.000000e+00 |      --      |    Inf 
1739.78/1740.10	c  1740s| 39500 |   442 |  4155k| 104.9 |  53M|  94 |1043 |4026 |9712 |4026 |9557 | 287k|  53k|  13k| 0.000000e+00 |      --      |    Inf 
1743.30/1743.60	c  1744s| 39600 |   450 |  4167k| 104.9 |  54M|  94 | 809 |4026 |9677 |4026 |9993 | 288k|  53k|  13k| 0.000000e+00 |      --      |    Inf 
1746.79/1747.10	c  1747s| 39700 |   443 |  4178k| 104.9 |  54M|  94 | 955 |4026 |9714 |4026 |9425 | 288k|  53k|  13k| 0.000000e+00 |      --      |    Inf 
1749.48/1749.83	c  1750s| 39800 |   437 |  4186k| 104.8 |  53M|  94 |   - |4026 |9760 |   0 |   0 | 289k|  53k|  13k| 0.000000e+00 |      --      |    Inf 
1753.09/1753.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1753.09/1753.49	c  1753s| 39900 |   438 |  4200k| 104.9 |  53M|  94 | 566 |4026 |9762 |4026 |9421 | 290k|  53k|  13k| 0.000000e+00 |      --      |    Inf 
1756.18/1756.56	c  1757s| 40000 |   444 |  4210k| 104.9 |  54M|  94 | 727 |4026 |9821 |4026 |9346 | 291k|  54k|  13k| 0.000000e+00 |      --      |    Inf 
1759.69/1760.02	c  1760s| 40100 |   436 |  4221k| 104.9 |  53M|  94 | 652 |4026 |9831 |4026 |9345 | 292k|  54k|  13k| 0.000000e+00 |      --      |    Inf 
1762.08/1762.44	c  1762s| 40200 |   432 |  4228k| 104.8 |  53M|  94 |   - |4026 |9879 |   0 |   0 | 292k|  54k|  13k| 0.000000e+00 |      --      |    Inf 
1768.58/1768.96	c  1769s| 40300 |   442 |  4243k| 104.9 |  53M|  94 |   - |4026 |9692 |   0 |   0 | 294k|  54k|  13k| 0.000000e+00 |      --      |    Inf 
1771.79/1772.15	c  1772s| 40400 |   440 |  4253k| 104.9 |  53M|  94 |1021 |4026 |9696 |4026 |9815 | 294k|  54k|  13k| 0.000000e+00 |      --      |    Inf 
1774.98/1775.35	c  1775s| 40500 |   442 |  4263k| 104.9 |  54M|  94 | 724 |4026 |9864 |4026 |9339 | 295k|  54k|  13k| 0.000000e+00 |      --      |    Inf 
1778.18/1778.57	c  1779s| 40600 |   446 |  4275k| 105.0 |  54M|  94 | 665 |4026 |9925 |4026 |9839 | 296k|  54k|  13k| 0.000000e+00 |      --      |    Inf 
1782.58/1782.97	c  1783s| 40700 |   444 |  4291k| 105.1 |  54M|  94 |   - |4026 |9840 |   0 |   0 | 297k|  55k|  13k| 0.000000e+00 |      --      |    Inf 
1785.88/1786.20	c  1786s| 40800 |   450 |  4302k| 105.1 |  54M|  94 |   - |4026 |9890 |   0 |   0 | 298k|  55k|  13k| 0.000000e+00 |      --      |    Inf 
1789.39/1789.78	c  1790s| 40900 |   444 |  4313k| 105.1 |  53M|  94 |1045 |4026 |9852 |4026 |9852 | 298k|  55k|  13k| 0.000000e+00 |      --      |    Inf 
1793.28/1793.69	c  1794s| 41000 |   439 |  4327k| 105.2 |  53M|  94 |   - |4026 |9781 |   0 |   0 | 299k|  55k|  13k| 0.000000e+00 |      --      |    Inf 
1796.68/1797.01	c 
1796.68/1797.01	c SCIP Status        : solving was interrupted [time limit reached]
1796.68/1797.01	c Solving Time (sec) : 1797.01
1796.68/1797.01	c Solving Nodes      : 41086
1796.68/1797.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.68/1797.01	c Dual Bound         : +0.00000000000000e+00
1796.68/1797.01	c Gap                : infinite
1796.68/1797.01	s UNKNOWN
1796.68/1797.01	c SCIP Status        : solving was interrupted [time limit reached]
1796.68/1797.01	c Total Time         :    1797.01
1796.68/1797.01	c   solving          :    1797.01
1796.68/1797.01	c   presolving       :       0.66 (included in solving)
1796.68/1797.01	c   reading          :       0.04 (included in solving)
1796.68/1797.01	c   copying          :       0.02 (1 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.68/1797.01	c Original Problem   :
1796.68/1797.01	c   Problem name     : HOME/instance-3691675-1338028819.opb
1796.68/1797.01	c   Variables        : 4622 (4622 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01	c   Constraints      : 12569 initial, 12569 maximal
1796.68/1797.01	c   Objective sense  : minimize
1796.68/1797.01	c Presolved Problem  :
1796.68/1797.01	c   Problem name     : t_HOME/instance-3691675-1338028819.opb
1796.68/1797.01	c   Variables        : 4026 (4026 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01	c   Constraints      : 4295 initial, 11527 maximal
1796.68/1797.01	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.68/1797.01	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   trivial          :       0.00       0.00         24          0          0          0          0          0          0          0          0
1796.68/1797.01	c   dualfix          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   gateextraction   :       0.03       0.00          0          0          0          0          0      10645       3547          0          0
1796.68/1797.01	c   implics          :       0.02       0.00          0        295          0          0          0          0          0          0          0
1796.68/1797.01	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   probing          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   knapsack         :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   setppc           :       0.02       0.00          0          2          0          0          0         44          0          0          0
1796.68/1797.01	c   and              :       0.38       0.00         12        113          0          0          0        483        438          0         11
1796.68/1797.01	c   linear           :       0.15       0.01        144          6          0        144          0       1067          0        408        868
1796.68/1797.01	c   logicor          :       0.03       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   root node        :          -          -         29          -          -         29          -          -          -          -          -
1796.68/1797.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.68/1797.01	c   integral         :          0          0          0          0      33329          0          1          0         64       2875          0          0      64126
1796.68/1797.01	c   knapsack         :        810        810          6     430155          0          1          0     188190       3740     478112       1204          0          0
1796.68/1797.01	c   setppc           :        453+       455          6     426415          0          1          0     390130       1735     406926          0          0          0
1796.68/1797.01	c   and              :       3029       3029      32203     424680          0          1          0    3267902       8999    2785475     369745          0          0
1796.68/1797.01	c   linear           :          0+       309          5     415680          0          0          0       2002         29       3022          1          0          0
1796.68/1797.01	c   logicor          :          3+      6963          6     208881          0          1          0     282690       3014     154838          0          0          0
1796.68/1797.01	c   countsols        :          0          0          0          0          0          1          0          0          0          0          0          0          0
1796.68/1797.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.68/1797.01	c   integral         :     515.86       0.00       0.00       0.00     515.86       0.00       0.00       0.00
1796.68/1797.01	c   knapsack         :       9.15       0.00       0.01       8.98       0.00       0.00       0.00       0.16
1796.68/1797.01	c   setppc           :       3.26       0.00       0.00       3.03       0.00       0.00       0.00       0.24
1796.68/1797.01	c   and              :      28.96       0.00      12.02      15.19       0.00       0.00       0.00       1.75
1796.68/1797.01	c   linear           :       0.44       0.01       0.00       0.43       0.00       0.00       0.00       0.00
1796.68/1797.01	c   logicor          :       5.45       0.00       0.00       5.00       0.00       0.00       0.00       0.45
1796.68/1797.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.68/1797.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.68/1797.01	c   rootredcost      :          0          0          0          0
1796.68/1797.01	c   pseudoobj        :          0          0          0          0
1796.68/1797.01	c   vbounds          :          0          0          0          0
1796.68/1797.01	c   redcost          :      58912          0          0          0
1796.68/1797.01	c   probing          :          0          0          0          0
1796.68/1797.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.68/1797.01	c   rootredcost      :       0.13       0.00       0.00       0.13       0.00
1796.68/1797.01	c   pseudoobj        :       0.12       0.00       0.00       0.12       0.00
1796.68/1797.01	c   vbounds          :       0.11       0.00       0.00       0.11       0.00
1796.68/1797.01	c   redcost          :       3.51       0.00       0.00       3.51       0.00
1796.68/1797.01	c   probing          :       0.00       0.00       0.00       0.00       0.00
1796.68/1797.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.68/1797.01	c   propagation      :       4.99      17517      17324     157553       49.1       4835       19.7          -
1796.68/1797.01	c   infeasible LP    :       0.16        136        136        740       44.7         27       20.6          0
1796.68/1797.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.68/1797.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.68/1797.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.68/1797.01	c   applied globally :          -          -          -      55611       34.3          -          -          -
1796.68/1797.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.68/1797.01	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.68/1797.01	c   cut pool         :       0.00                     4          -          -        139          -    (maximal pool size: 5365)
1796.68/1797.01	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.68/1797.01	c   impliedbounds    :       0.01       0.00          5          0          0       6176          0
1796.68/1797.01	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.68/1797.01	c   gomory           :       0.05       0.00          5          0          0        250          0
1796.68/1797.01	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.68/1797.01	c   strongcg         :       0.36       0.00          5          0          0       2500          0
1796.68/1797.01	c   cmir             :       0.00       0.00          0          0          0          0          0
1796.68/1797.01	c   flowcover        :       0.00       0.00          0          0          0          0          0
1796.68/1797.01	c   clique           :       0.20       0.00          5          0          0         40          0
1796.68/1797.01	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.68/1797.01	c   mcf              :       0.00       0.00          1          0          0          0          0
1796.68/1797.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.68/1797.01	c   rapidlearning    :       0.43       0.00          1          0         29          0        309
1796.68/1797.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.68/1797.01	c   problem variables:       0.00          -          0          0
1796.68/1797.01	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.68/1797.01	c   relpscost        :     515.80       0.00      33329         64       2875          0          0      64126
1796.68/1797.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.01	c   inference        :       0.00       0.00          1          0          0          0          0          2
1796.68/1797.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.01	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.68/1797.01	c   LP solutions     :       0.00          -          -          0
1796.68/1797.01	c   pseudo solutions :       0.00          -          -          0
1796.68/1797.01	c   smallcard        :       0.00       0.00          0          0
1796.68/1797.01	c   trivial          :       0.00       0.00          1          0
1796.68/1797.01	c   shiftandpropagate:       0.00       0.00          0          0
1796.68/1797.01	c   simplerounding   :       0.00       0.00          0          0
1796.68/1797.01	c   zirounding       :       0.00       0.00          0          0
1796.68/1797.01	c   rounding         :       0.00       0.00          0          0
1796.68/1797.01	c   shifting         :       0.00       0.00          0          0
1796.68/1797.01	c   intshifting      :       0.00       0.00          0          0
1796.68/1797.01	c   oneopt           :       0.00       0.00          0          0
1796.68/1797.01	c   twoopt           :       0.00       0.00          0          0
1796.68/1797.01	c   indtwoopt        :       0.00       0.00          0          0
1796.68/1797.01	c   indoneopt        :       0.00       0.00          0          0
1796.68/1797.01	c   fixandinfer      :       0.00       0.00          0          0
1796.68/1797.01	c   feaspump         :       0.00       0.00          0          0
1796.68/1797.01	c   clique           :       0.00       0.00          0          0
1796.68/1797.01	c   indrounding      :       0.00       0.00          0          0
1796.68/1797.01	c   indcoefdiving    :       0.00       0.00          0          0
1796.68/1797.01	c   coefdiving       :       0.00       0.00          0          0
1796.68/1797.01	c   pscostdiving     :       0.00       0.00          0          0
1796.68/1797.01	c   nlpdiving        :       0.00       0.00          0          0
1796.68/1797.01	c   fracdiving       :       0.00       0.00          0          0
1796.68/1797.01	c   veclendiving     :       0.00       0.00          0          0
1796.68/1797.01	c   intdiving        :       0.00       0.00          0          0
1796.68/1797.01	c   actconsdiving    :       0.00       0.00          0          0
1796.68/1797.01	c   objpscostdiving  :       0.00       0.00          0          0
1796.68/1797.01	c   rootsoldiving    :       0.00       0.00          0          0
1796.68/1797.01	c   linesearchdiving :       0.00       0.00          0          0
1796.68/1797.01	c   guideddiving     :       0.00       0.00          0          0
1796.68/1797.01	c   octane           :       0.00       0.00          0          0
1796.68/1797.01	c   rens             :       0.00       0.00          0          0
1796.68/1797.01	c   rins             :       0.00       0.00          0          0
1796.68/1797.01	c   localbranching   :       0.00       0.00          0          0
1796.68/1797.01	c   mutation         :       0.00       0.00          0          0
1796.68/1797.01	c   crossover        :       0.00       0.00          0          0
1796.68/1797.01	c   dins             :       0.00       0.00          0          0
1796.68/1797.01	c   vbounds          :       0.00       0.00          0          0
1796.68/1797.01	c   undercover       :       0.00       0.00          0          0
1796.68/1797.01	c   subnlp           :       0.00       0.00          0          0
1796.68/1797.01	c   trysol           :       0.00       0.00          0          0
1796.68/1797.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.68/1797.01	c   primal LP        :       0.00          1          0       0.00          -       0.00          1
1796.68/1797.01	c   dual LP          :    1090.01      59050    4338780      73.50    3980.48       0.04         15
1796.68/1797.01	c   lex dual LP      :       0.00          0          0       0.00          -
1796.68/1797.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.68/1797.01	c   diving/probing LP:       0.00          0          0       0.00          -
1796.68/1797.01	c   strong branching :     508.59      13959    1632327     116.94    3209.50
1796.68/1797.01	c     (at root node) :          -         10       7102     710.20          -
1796.68/1797.01	c   conflict analysis:       0.00          0          0       0.00          -
1796.68/1797.01	c B&B Tree           :
1796.68/1797.01	c   number of runs   :          1
1796.68/1797.01	c   nodes            :      41086
1796.68/1797.01	c   nodes (total)    :      41086
1796.68/1797.01	c   nodes left       :        440
1796.68/1797.01	c   max depth        :         94
1796.68/1797.01	c   max depth (total):         94
1796.68/1797.01	c   backtracks       :       9489 (23.1%)
1796.68/1797.01	c   delayed cutoffs  :      22603
1796.68/1797.01	c   repropagations   :      36444 (1308571 domain reductions, 8827 cutoffs)
1796.68/1797.01	c   avg switch length:       3.88
1796.68/1797.01	c   switching time   :      20.70
1796.68/1797.01	c Solution           :
1796.68/1797.01	c   Solutions found  :          0 (0 improvements)
1796.68/1797.01	c   Primal Bound     :          -
1796.68/1797.01	c   Dual Bound       : +0.00000000000000e+00
1796.68/1797.01	c   Gap              :   infinite
1796.68/1797.01	c   Root Dual Bound  : +0.00000000000000e+00
1796.68/1797.01	c   Root Iterations  :      14368
1796.68/1797.09	c Time complete: 1796.78.

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3691675-1338028819/watcher-3691675-1338028819 -o /tmp/evaluation-result-3691675-1338028819/solver-3691675-1338028819 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691675-1338028819.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.57 1.90 1.96 2/177 2484
/proc/meminfo: memFree=28454284/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=12692 CPUtime=0 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1936 0 0 0 0 0 0 0 20 0 1 0 269008012 12996608 1890 33554432000 4194304 10219143 140736323504672 140735170615592 7589947 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2484/statm: 3208 1891 419 1471 0 1728 0

[startup+0.0314169 s]
/proc/loadavg: 1.57 1.90 1.96 2/177 2484
/proc/meminfo: memFree=28454284/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=20256 CPUtime=0.02 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 3824 0 0 0 2 0 0 0 20 0 1 0 269008012 20742144 3778 33554432000 4194304 10219143 140736323504672 140735170615592 7589947 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2484/statm: 5064 3778 419 1471 0 3584 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20256

[startup+0.100262 s]
/proc/loadavg: 1.57 1.90 1.96 2/177 2484
/proc/meminfo: memFree=28454284/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=45372 CPUtime=0.09 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 9824 0 0 0 7 2 0 0 20 0 1 0 269008012 46460928 9778 33554432000 4194304 10219143 140736323504672 140735170615592 9008087 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2484/statm: 11387 9792 566 1471 0 9907 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45372

[startup+0.300173 s]
/proc/loadavg: 1.57 1.90 1.96 2/177 2484
/proc/meminfo: memFree=28454284/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=60288 CPUtime=0.29 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 14196 0 0 0 25 4 0 0 20 0 1 0 269008012 61734912 13540 33554432000 4194304 10219143 140736323504672 140736323500728 4542464 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2484/statm: 15072 13540 605 1471 0 13592 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60288

[startup+0.70021 s]
/proc/loadavg: 1.57 1.90 1.96 2/177 2484
/proc/meminfo: memFree=28454284/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=62912 CPUtime=0.69 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 14859 0 0 0 47 22 0 0 20 0 1 0 269008012 64421888 14203 33554432000 4194304 10219143 140736323504672 140736323501912 9008087 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2484/statm: 15728 14203 613 1471 0 14248 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62912

[startup+1.50017 s]
/proc/loadavg: 1.57 1.90 1.96 3/178 2485
/proc/meminfo: memFree=27996924/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=1.49 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29376 0 0 0 122 27 0 0 20 0 1 0 269008012 121819136 28312 33554432000 4194304 10219143 140736323504672 140736323497928 8056409 0 0 4096 16384 0 0 0 17 6 0 0 0 0 0
/proc/2484/statm: 29741 28312 830 1471 0 28261 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 118964

[startup+3.10019 s]
/proc/loadavg: 1.57 1.90 1.96 3/178 2485
/proc/meminfo: memFree=27860680/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=3.08 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29438 0 0 0 280 28 0 0 20 0 1 0 269008012 121819136 28373 33554432000 4194304 10219143 140736323504672 140736323498312 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2484/statm: 29741 28373 830 1471 0 28261 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 118964

[startup+6.30022 s]
/proc/loadavg: 1.61 1.91 1.96 3/178 2485
/proc/meminfo: memFree=27822224/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=6.28 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29440 0 0 0 599 29 0 0 20 0 1 0 269008012 121819136 28375 33554432000 4194304 10219143 140736323504672 140736323498120 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2484/statm: 29741 28375 831 1471 0 28261 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 118964

[startup+12.7002 s]
/proc/loadavg: 1.64 1.91 1.96 3/178 2485
/proc/meminfo: memFree=27692828/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=12.68 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29441 0 0 0 1236 32 0 0 20 0 1 0 269008012 121819136 28376 33554432000 4194304 10219143 140736323504672 140736323497800 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2484/statm: 29741 28376 831 1471 0 28261 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 118964

[startup+25.5002 s]
/proc/loadavg: 1.79 1.93 1.97 3/178 2486
/proc/meminfo: memFree=27655252/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=25.48 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29441 0 0 0 2509 39 0 0 20 0 1 0 269008012 121819136 28376 33554432000 4194304 10219143 140736323504672 140736323498120 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 29741 28376 831 1471 0 28261 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 118964

[startup+51.1003 s]
/proc/loadavg: 1.86 1.93 1.97 3/177 2486
/proc/meminfo: memFree=27311612/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=51.07 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29443 0 0 0 5058 49 0 0 20 0 1 0 269008012 121819136 28378 33554432000 4194304 10219143 140736323504672 140736323498504 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 29741 28378 833 1471 0 28261 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 118964

[startup+102.3 s]
/proc/loadavg: 1.98 1.95 1.97 3/177 2486
/proc/meminfo: memFree=27305460/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=102.27 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29705 0 0 0 10155 72 0 0 20 0 1 0 269008012 121819136 28640 33554432000 4194304 10219143 140736323504672 140736323497192 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 29741 28640 836 1471 0 28261 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 118964

[startup+162.3 s]
/proc/loadavg: 1.99 1.96 1.97 3/177 2486
/proc/meminfo: memFree=27283048/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=162.26 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29706 0 0 0 16123 103 0 0 20 0 1 0 269008012 121819136 28641 33554432000 4194304 10219143 140736323504672 140736323497928 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 29741 28641 836 1471 0 28261 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 118964

[startup+222.306 s]
/proc/loadavg: 2.03 1.98 1.98 3/177 2486
/proc/meminfo: memFree=27277560/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=222.25 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29706 0 0 0 22093 132 0 0 20 0 1 0 269008012 121819136 28641 33554432000 4194304 10219143 140736323504672 140736323497928 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 29741 28641 836 1471 0 28261 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 118964

[startup+282.3 s]
/proc/loadavg: 2.01 1.98 1.98 3/177 2486
/proc/meminfo: memFree=27269956/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=282.23 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29712 0 0 0 28061 162 0 0 20 0 1 0 269008012 121819136 28647 33554432000 4194304 10219143 140736323504672 140736323498504 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 29741 28647 836 1471 0 28261 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 118964

[startup+342.3 s]
/proc/loadavg: 2.00 1.98 1.98 3/177 2487
/proc/meminfo: memFree=27259252/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=342.23 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29712 0 0 0 34026 197 0 0 20 0 1 0 269008012 121819136 28647 33554432000 4194304 10219143 140736323504672 140736323498312 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 29741 28647 836 1471 0 28261 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 118964

[startup+402.3 s]
/proc/loadavg: 2.00 1.98 1.98 3/177 2487
/proc/meminfo: memFree=27255360/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=402.22 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29713 0 0 0 39992 230 0 0 20 0 1 0 269008012 121819136 28648 33554432000 4194304 10219143 140736323504672 140736323498312 8091493 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 29741 28648 836 1471 0 28261 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 118964

[startup+462.3 s]
/proc/loadavg: 2.00 1.98 1.98 3/177 2487
/proc/meminfo: memFree=27240624/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=118964 CPUtime=462.21 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29717 0 0 0 45957 264 0 0 20 0 1 0 269008012 121819136 28650 33554432000 4194304 10219143 140736323504672 140736323497928 9008087 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 29741 28650 836 1471 0 28261 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 118964

[startup+522.3 s]
/proc/loadavg: 2.03 1.99 1.98 3/177 2487
/proc/meminfo: memFree=27235816/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=119816 CPUtime=522.21 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 29924 0 0 0 51924 297 0 0 20 0 1 0 269008012 122691584 28857 33554432000 4194304 10219143 140736323504672 140736323498312 8077286 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 29954 28857 836 1471 0 28474 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 119816

[startup+582.3 s]
/proc/loadavg: 2.05 2.01 1.99 3/178 2490
/proc/meminfo: memFree=27233696/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=120724 CPUtime=582.2 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 30132 0 0 0 57894 326 0 0 20 0 1 0 269008012 123621376 29065 33554432000 4194304 10219143 140736323504672 140736323497928 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 30181 29065 836 1471 0 28701 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 120724

[startup+642.3 s]

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

/proc/meminfo: memFree=27223756/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=129952 CPUtime=1062.1 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 507425 0 0 0 105551 659 0 0 20 0 1 0 269008012 133070848 31461 33554432000 4194304 10219143 140736323504672 140736323498312 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 32488 31461 836 1471 0 31008 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 129952

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2492
/proc/meminfo: memFree=27222204/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=131516 CPUtime=1122.09 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 596640 0 0 0 111507 702 0 0 20 0 1 0 269008012 134672384 32101 33554432000 4194304 10219143 140736323504672 140736323498312 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 32879 32101 836 1471 0 31399 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 131516

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 2495
/proc/meminfo: memFree=27219956/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=133080 CPUtime=1182.08 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 670623 0 0 0 117461 747 0 0 20 0 1 0 269008012 136273920 32564 33554432000 4194304 10219143 140736323504672 140736323497928 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 33270 32564 836 1471 0 31790 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 133080

[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 1.99 3/178 2518
/proc/meminfo: memFree=27217152/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=133488 CPUtime=1242.07 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 696059 0 0 0 123422 785 0 0 20 0 1 0 269008012 136691712 32511 33554432000 4194304 10219143 140736323504672 140736323497848 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 33372 32511 836 1471 0 31892 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 133488

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 2519
/proc/meminfo: memFree=27217752/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=135276 CPUtime=1302.06 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 783500 0 0 0 129376 830 0 0 20 0 1 0 269008012 138522624 32977 33554432000 4194304 10219143 140736323504672 140736323498296 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 33819 32977 836 1471 0 32339 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 135276

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/177 2519
/proc/meminfo: memFree=27217264/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=135868 CPUtime=1362.05 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 821559 0 0 0 135336 869 0 0 20 0 1 0 269008012 139128832 33169 33554432000 4194304 10219143 140736323504672 140736323497928 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 33967 33169 836 1471 0 32487 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 135868

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2519
/proc/meminfo: memFree=27204888/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=137480 CPUtime=1422.05 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 884922 0 0 0 141294 911 0 0 20 0 1 0 269008012 140779520 33531 33554432000 4194304 10219143 140736323504672 140736323498024 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 34370 33531 836 1471 0 32890 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 137480

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2519
/proc/meminfo: memFree=27205632/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=138164 CPUtime=1482.03 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 958146 0 0 0 147249 954 0 0 20 0 1 0 269008012 141479936 33649 33554432000 4194304 10219143 140736323504672 140736323497928 8843454 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 34541 33649 836 1471 0 33061 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 138164

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2519
/proc/meminfo: memFree=27202288/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=139580 CPUtime=1542.02 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1078108 0 0 0 153201 1001 0 0 20 0 1 0 269008012 142929920 33998 33554432000 4194304 10219143 140736323504672 140736323498120 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 34895 33998 836 1471 0 33415 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 139580

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2520
/proc/meminfo: memFree=27200180/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=141284 CPUtime=1602 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1235195 0 0 0 159144 1056 0 0 20 0 1 0 269008012 144674816 34560 33554432000 4194304 10219143 140736323504672 140736323498312 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 35321 34560 836 1471 0 33841 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 141284

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2520
/proc/meminfo: memFree=27199808/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=141924 CPUtime=1662 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1292742 0 0 0 165105 1095 0 0 20 0 1 0 269008012 145330176 34615 33554432000 4194304 10219143 140736323504672 140736323498120 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 35481 34615 836 1471 0 34001 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 141924

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2520
/proc/meminfo: memFree=27195964/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=144852 CPUtime=1721.99 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1368280 0 0 0 171061 1138 0 0 20 0 1 0 269008012 148328448 35509 33554432000 4194304 10219143 140736323504672 140736323498312 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 36213 35509 836 1471 0 34733 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 144852

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 2523
/proc/meminfo: memFree=27194568/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=145228 CPUtime=1781.98 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1395920 0 0 0 177020 1178 0 0 20 0 1 0 269008012 148713472 35412 33554432000 4194304 10219143 140736323504672 140736323497928 8091811 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 36307 35412 836 1471 0 34827 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 145228

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

[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 2523
/proc/meminfo: memFree=27194444/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=145564 CPUtime=1785.28 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1396187 0 0 0 177348 1180 0 0 20 0 1 0 269008012 149057536 35677 33554432000 4194304 10219143 140736323504672 140736323497976 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 36391 35677 836 1471 0 34911 0
Current children cumulated CPU time (s) 1785.28
Current children cumulated vsize (KiB) 145564

[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 2523
/proc/meminfo: memFree=27190020/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=145372 CPUtime=1791.68 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1397535 0 0 0 177984 1184 0 0 20 0 1 0 269008012 148860928 35607 33554432000 4194304 10219143 140736323504672 140736323497656 5184136 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 36343 35607 836 1471 0 34863 0
Current children cumulated CPU time (s) 1791.68
Current children cumulated vsize (KiB) 145372

[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 2523
/proc/meminfo: memFree=27178152/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=145796 CPUtime=1794.89 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1398080 0 0 0 178303 1186 0 0 20 0 1 0 269008012 149295104 35643 33554432000 4194304 10219143 140736323504672 140736323498312 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 36449 35643 836 1471 0 34969 0
Current children cumulated CPU time (s) 1794.89
Current children cumulated vsize (KiB) 145796

[startup+1796 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 2523
/proc/meminfo: memFree=27178152/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=145012 CPUtime=1795.68 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1398517 0 0 0 178382 1186 0 0 20 0 1 0 269008012 148492288 35485 33554432000 4194304 10219143 140736323504672 140736323498312 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 36253 35485 836 1471 0 34773 0
Current children cumulated CPU time (s) 1795.68
Current children cumulated vsize (KiB) 145012

[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 2523
/proc/meminfo: memFree=27178524/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=145304 CPUtime=1796.48 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1398579 0 0 0 178461 1187 0 0 20 0 1 0 269008012 148791296 35547 33554432000 4194304 10219143 140736323504672 140736323497928 7961885 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 36326 35547 836 1471 0 34846 0
Current children cumulated CPU time (s) 1796.48
Current children cumulated vsize (KiB) 145304

[startup+1797 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 2523
/proc/meminfo: memFree=27178524/32873648 swapFree=6852/6852
[pid=2484] ppid=2482 vsize=145508 CPUtime=1796.68 cores=0,2,4,6
/proc/2484/stat : 2484 (scip-2.1.1.4exp) R 2482 2484 1296 0 -1 4202496 1398627 0 0 0 178481 1187 0 0 20 0 1 0 269008012 149000192 35595 33554432000 4194304 10219143 140736323504672 140736323497928 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2484/statm: 36377 35595 836 1471 0 34897 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (KiB) 145508

Child status: 0
Real time (s): 1797.1
CPU time (s): 1796.79
CPU user time (s): 1784.9
CPU system time (s): 11.8832
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 146032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.9
system time used= 11.8832
maximum resident set size= 143432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1398633
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= 40
involuntary context switches= 1965

runsolver used 2.79657 second user time and 7.2349 second system time

The end

Launcher Data

Begin job on node116 at 2012-05-26 12:40:20
IDJOB=3691675
IDBENCH=1467
IDSOLVER=2271
FILE ID=node116/3691675-1338028819
RUNJOBID= node116-1338028819-2418
PBS_JOBID= 14624355
Free space on /tmp= 71568 MiB

SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl.opb
COMMAND LINE= HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3691675-1338028819/watcher-3691675-1338028819 -o /tmp/evaluation-result-3691675-1338028819/solver-3691675-1338028819 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691675-1338028819.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 03090e2b7426cc03a4be73b62ee3d658
RANDOM SEED=585175810

node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28459120 kB
Buffers:          242476 kB
Cached:          3336420 kB
SwapCached:            0 kB
Active:           758120 kB
Inactive:        2888080 kB
Active(anon):      69828 kB
Inactive(anon):        0 kB
Active(file):     688292 kB
Inactive(file):  2888080 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             36400 kB
Writeback:             0 kB
AnonPages:         76612 kB
Mapped:            14708 kB
Shmem:               200 kB
Slab:             630996 kB
SReclaimable:      75456 kB
SUnreclaim:       555540 kB
KernelStack:        1416 kB
PageTables:         3924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     181800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71556 MiB
End job on node116 at 2012-05-26 13:10:17