Trace number 2663487

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1802.2 1802.75

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_4_15.opb
MD5SUM521a5315af7cbff32722a5aa297c08a4
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables100
Total number of constraints152
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
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 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1228
Sum of products size (including duplicates)2456
Number of different products614
Sum of products size1228

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2663487-1276683117.opb>
0.00/0.02	c original problem has 714 variables (714 bin, 0 int, 0 impl, 0 cont) and 766 constraints
0.00/0.02	c problem read
0.00/0.02	c No objective function, only one solution is needed.
0.00/0.02	c presolving settings loaded
0.00/0.02	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02	c presolving:
0.19/0.20	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 151 upgd conss, 5012 impls, 100 clqs
0.19/0.20	c presolving (2 rounds):
0.19/0.20	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20	c  5012 implications, 100 cliques
0.19/0.20	c presolved problem has 714 variables (714 bin, 0 int, 0 impl, 0 cont) and 766 constraints
0.19/0.20	c       1 constraints of type <knapsack>
0.19/0.20	c     100 constraints of type <setppc>
0.19/0.20	c     614 constraints of type <and>
0.19/0.20	c       1 constraints of type <linear>
0.19/0.20	c      50 constraints of type <logicor>
0.19/0.20	c transformed objective value is always integral (scale: 1)
0.19/0.20	c Presolving Time: 0.10
0.19/0.20	c - non default parameters ----------------------------------------------------------------------
0.19/0.20	c # SCIP version 1.2.1.2
0.19/0.20	c 
0.19/0.20	c # frequency for displaying node information lines
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20	c display/freq = 10000
0.19/0.20	c 
0.19/0.20	c # maximal time in seconds to run
0.19/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20	c limits/time = 1799.99
0.19/0.20	c 
0.19/0.20	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20	c limits/memory = 1620
0.19/0.20	c 
0.19/0.20	c # solving stops, if the given number of solutions were found (-1: no limit)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20	c limits/solutions = 1
0.19/0.20	c 
0.19/0.20	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20	c lp/solvefreq = -1
0.19/0.20	c 
0.19/0.20	c # maximal number of separation rounds per node (-1: unlimited)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 5]
0.19/0.20	c separating/maxrounds = 1
0.19/0.20	c 
0.19/0.20	c # maximal number of separation rounds in the root node (-1: unlimited)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20	c separating/maxroundsroot = 5
0.19/0.20	c 
0.19/0.20	c # should presolving try to simplify inequalities
0.19/0.20	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20	c constraints/linear/simplifyinequalities = TRUE
0.19/0.20	c 
0.19/0.20	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.19/0.20	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.19/0.20	c constraints/knapsack/disaggregation = FALSE
0.19/0.20	c 
0.19/0.20	c # should presolving try to simplify knapsacks
0.19/0.20	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20	c 
0.19/0.20	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20	c presolving/probing/maxrounds = 0
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20	c heuristics/coefdiving/freq = -1
0.19/0.20	c 
0.19/0.20	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20	c heuristics/coefdiving/maxlpiterquot = 0.075
0.19/0.20	c 
0.19/0.20	c # additional number of allowed LP iterations
0.19/0.20	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20	c heuristics/coefdiving/maxlpiterofs = 1500
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 30]
0.19/0.20	c heuristics/crossover/freq = -1
0.19/0.20	c 
0.19/0.20	c # number of nodes added to the contingent of the total nodes
0.19/0.20	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.19/0.20	c heuristics/crossover/nodesofs = 750
0.19/0.20	c 
0.19/0.20	c # number of nodes without incumbent change that heuristic should wait
0.19/0.20	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.19/0.20	c heuristics/crossover/nwaitingnodes = 100
0.19/0.20	c 
0.19/0.20	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.19/0.20	c # [type: real, range: [0,1], default: 0.1]
0.19/0.20	c heuristics/crossover/nodesquot = 0.15
0.19/0.20	c 
0.19/0.20	c # minimum percentage of integer variables that have to be fixed 
0.19/0.20	c # [type: real, range: [0,1], default: 0.666]
0.19/0.20	c heuristics/crossover/minfixingrate = 0.5
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.20	c heuristics/feaspump/freq = -1
0.19/0.20	c 
0.19/0.20	c # additional number of allowed LP iterations
0.19/0.20	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20	c heuristics/feaspump/maxlpiterofs = 2000
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20	c heuristics/fracdiving/freq = -1
0.19/0.20	c 
0.19/0.20	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20	c heuristics/fracdiving/maxlpiterquot = 0.075
0.19/0.20	c 
0.19/0.20	c # additional number of allowed LP iterations
0.19/0.20	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20	c heuristics/fracdiving/maxlpiterofs = 1500
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20	c heuristics/guideddiving/freq = -1
0.19/0.20	c 
0.19/0.20	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20	c heuristics/guideddiving/maxlpiterquot = 0.075
0.19/0.20	c 
0.19/0.20	c # additional number of allowed LP iterations
0.19/0.20	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20	c heuristics/guideddiving/maxlpiterofs = 1500
0.19/0.20	c 
0.19/0.20	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20	c heuristics/intdiving/maxlpiterquot = 0.075
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20	c heuristics/intshifting/freq = -1
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20	c heuristics/linesearchdiving/freq = -1
0.19/0.20	c 
0.19/0.20	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.19/0.20	c 
0.19/0.20	c # additional number of allowed LP iterations
0.19/0.20	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20	c heuristics/nlp/freq = -1
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.20	c heuristics/objpscostdiving/freq = -1
0.19/0.20	c 
0.19/0.20	c # maximal fraction of diving LP iterations compared to total iteration number
0.19/0.20	c # [type: real, range: [0,1], default: 0.01]
0.19/0.20	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.19/0.20	c 
0.19/0.20	c # additional number of allowed LP iterations
0.19/0.20	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20	c heuristics/oneopt/freq = -1
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20	c heuristics/pscostdiving/freq = -1
0.19/0.20	c 
0.19/0.20	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.19/0.20	c 
0.19/0.20	c # additional number of allowed LP iterations
0.19/0.20	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20	c heuristics/pscostdiving/maxlpiterofs = 1500
0.19/0.20	c 
0.19/0.20	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.20	c heuristics/rens/freq = -1
0.19/0.20	c 
0.19/0.20	c # minimum percentage of integer variables that have to be fixable 
0.19/0.21	c # [type: real, range: [0,1], default: 0.5]
0.19/0.21	c heuristics/rens/minfixingrate = 0.3
0.19/0.21	c 
0.19/0.21	c # number of nodes added to the contingent of the total nodes
0.19/0.21	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.19/0.21	c heuristics/rens/nodesofs = 2000
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.21	c heuristics/rootsoldiving/freq = -1
0.19/0.21	c 
0.19/0.21	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.19/0.21	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.19/0.21	c 
0.19/0.21	c # additional number of allowed LP iterations
0.19/0.21	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21	c heuristics/rounding/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.21	c heuristics/shifting/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21	c heuristics/simplerounding/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.21	c heuristics/trivial/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21	c heuristics/trysol/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.21	c heuristics/veclendiving/freq = -1
0.19/0.21	c 
0.19/0.21	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.21	c heuristics/veclendiving/maxlpiterquot = 0.075
0.19/0.21	c 
0.19/0.21	c # additional number of allowed LP iterations
0.19/0.21	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21	c heuristics/veclendiving/maxlpiterofs = 1500
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21	c heuristics/zirounding/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.21	c separating/cmir/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.21	c separating/flowcover/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21	c separating/rapidlearning/freq = 0
0.19/0.21	c 
0.19/0.21	c -----------------------------------------------------------------------------------------------
0.19/0.21	c start solving
0.19/0.21	c 
0.19/0.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.21	c   0.1s|     1 |     2 |     0 |     - |2033k|   0 |   - | 714 | 766 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.19/3.20	c   2.9s| 10000 |  8376 |     0 |   0.0 |  11M|  78 |   - | 714 |1264 |   0 |   0 |   0 |1234 |   0 | 0.000000e+00 |      --      |    Inf 
6.99/7.03	c   6.4s| 20000 | 13120 |     0 |   0.0 |  18M|  78 |   - | 714 |1677 |   0 |   0 |   0 |3218 |   0 | 0.000000e+00 |      --      |    Inf 
10.89/10.91	c   9.9s| 30000 | 18280 |     0 |   0.0 |  25M|  78 |   - | 714 |1507 |   0 |   0 |   0 |5593 |   0 | 0.000000e+00 |      --      |    Inf 
14.88/14.98	c  13.7s| 40000 | 25070 |     0 |   0.0 |  34M|  78 |   - | 714 |1715 |   0 |   0 |   0 |6604 |   0 | 0.000000e+00 |      --      |    Inf 
19.08/19.18	c  17.6s| 50000 | 31395 |     0 |   0.0 |  43M|  78 |   - | 714 |1911 |   0 |   0 |   0 |7938 |   0 | 0.000000e+00 |      --      |    Inf 
23.49/23.51	c  21.7s| 60000 | 37030 |     0 |   0.0 |  51M|  78 |   - | 714 |1976 |   0 |   0 |   0 |9294 |   0 | 0.000000e+00 |      --      |    Inf 
27.88/27.91	c  25.8s| 70000 | 42390 |     0 |   0.0 |  58M|  78 |   - | 714 |1979 |   0 |   0 |   0 |  10k|   0 | 0.000000e+00 |      --      |    Inf 
32.38/32.40	c  30.0s| 80000 | 47450 |     0 |   0.0 |  66M|  78 |   - | 714 |2086 |   0 |   0 |   0 |  11k|   0 | 0.000000e+00 |      --      |    Inf 
36.88/36.97	c  34.3s| 90000 | 52332 |     0 |   0.0 |  73M|  78 |   - | 714 |2130 |   0 |   0 |   0 |  13k|   0 | 0.000000e+00 |      --      |    Inf 
41.48/41.52	c  38.5s|100000 | 57171 |     0 |   0.0 |  80M|  78 |   - | 714 |2120 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
46.09/46.19	c  42.9s|110000 | 61669 |     0 |   0.0 |  87M|  78 |   - | 714 |2157 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
50.88/50.93	c  47.4s|120000 | 65973 |     0 |   0.0 |  94M|  78 |   - | 714 |2079 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
55.68/55.77	c  51.9s|130000 | 69997 |     0 |   0.0 | 101M|  78 |   - | 714 |2194 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
60.68/60.76	c  56.6s|140000 | 73768 |     0 |   0.0 | 108M|  78 |   - | 714 |2180 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
65.67/65.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
65.67/65.76	c  61.3s|150000 | 77385 |     0 |   0.0 | 114M|  78 |   - | 714 |2115 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
70.87/70.92	c  66.2s|160000 | 80667 |     0 |   0.0 | 120M|  78 |   - | 714 |2173 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
76.17/76.23	c  71.2s|170000 | 83671 |     0 |   0.0 | 127M|  78 |   - | 714 |2185 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 |      --      |    Inf 
81.47/81.55	c  76.2s|180000 | 86455 |     0 |   0.0 | 133M|  78 |   - | 714 |2250 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
86.88/86.94	c  81.3s|190000 | 89049 |     0 |   0.0 | 138M|  78 |   - | 714 |2230 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
92.07/92.19	c  86.2s|200000 | 91716 |     0 |   0.0 | 144M|  78 |   - | 714 |2448 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
97.26/97.37	c  91.1s|210000 | 94225 |     0 |   0.0 | 150M|  78 |   - | 714 |2565 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
102.47/102.58	c  96.0s|220000 | 96489 |     0 |   0.0 | 156M|  78 |   - | 714 |2918 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
107.86/107.98	c   101s|230000 | 98269 |     0 |   0.0 | 161M|  78 |   - | 714 |3074 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
113.06/113.15	c   106s|240000 |100125 |     0 |   0.0 | 165M|  78 |   - | 714 |3203 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 |      --      |    Inf 
117.67/117.72	c   110s|250000 |102466 |     0 |   0.0 | 169M|  78 |   - | 714 |3562 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
122.46/122.56	c   115s|260000 |104286 |     0 |   0.0 | 174M|  78 |   - | 714 |4009 |   0 |   0 |   0 |  44k|   0 | 0.000000e+00 |      --      |    Inf 
128.26/128.32	c   120s|270000 |105472 |     0 |   0.0 | 179M|  78 |   - | 714 |4969 |   0 |   0 |   0 |  49k|   0 | 0.000000e+00 |      --      |    Inf 
132.65/132.74	c   124s|280000 |112248 |     0 |   0.0 | 186M|  78 |   - | 714 |1989 |   0 |   0 |   0 |  49k|   0 | 0.000000e+00 |      --      |    Inf 
136.85/136.90	c   128s|290000 |118782 |     0 |   0.0 | 194M|  78 |   - | 714 |1954 |   0 |   0 |   0 |  49k|   0 | 0.000000e+00 |      --      |    Inf 
141.05/141.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
141.05/141.12	c   132s|300000 |125202 |     0 |   0.0 | 203M|  78 |   - | 714 |2010 |   0 |   0 |   0 |  50k|   0 | 0.000000e+00 |      --      |    Inf 
145.35/145.40	c   136s|310000 |131390 |     0 |   0.0 | 210M|  78 |   - | 714 |2067 |   0 |   0 |   0 |  50k|   0 | 0.000000e+00 |      --      |    Inf 
149.64/149.71	c   140s|320000 |137423 |     0 |   0.0 | 218M|  78 |   - | 714 |2268 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 |      --      |    Inf 
153.96/154.06	c   144s|330000 |143415 |     0 |   0.0 | 226M|  78 |   - | 714 |2320 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 |      --      |    Inf 
158.36/158.48	c   148s|340000 |149750 |     0 |   0.0 | 234M|  78 |   - | 714 |2267 |   0 |   0 |   0 |  52k|   0 | 0.000000e+00 |      --      |    Inf 
162.94/163.02	c   153s|350000 |155502 |     0 |   0.0 | 242M|  78 |   - | 714 |2543 |   0 |   0 |   0 |  53k|   0 | 0.000000e+00 |      --      |    Inf 
167.44/167.56	c   157s|360000 |161235 |     0 |   0.0 | 250M|  78 |   - | 714 |2332 |   0 |   0 |   0 |  54k|   0 | 0.000000e+00 |      --      |    Inf 
172.05/172.19	c   161s|370000 |166749 |     0 |   0.0 | 258M|  78 |   - | 714 |2651 |   0 |   0 |   0 |  55k|   0 | 0.000000e+00 |      --      |    Inf 
176.74/176.84	c   166s|380000 |172380 |     0 |   0.0 | 265M|  78 |   - | 714 |2397 |   0 |   0 |   0 |  56k|   0 | 0.000000e+00 |      --      |    Inf 
181.44/181.51	c   170s|390000 |177721 |     0 |   0.0 | 273M|  78 |   - | 714 |2668 |   0 |   0 |   0 |  57k|   0 | 0.000000e+00 |      --      |    Inf 
186.14/186.24	c   174s|400000 |183265 |     0 |   0.0 | 281M|  78 |   - | 714 |2515 |   0 |   0 |   0 |  58k|   0 | 0.000000e+00 |      --      |    Inf 
190.73/190.89	c   179s|410000 |188671 |     0 |   0.0 | 288M|  78 |   - | 714 |2557 |   0 |   0 |   0 |  59k|   0 | 0.000000e+00 |      --      |    Inf 
195.64/195.71	c   183s|420000 |193865 |     0 |   0.0 | 296M|  78 |   - | 714 |2762 |   0 |   0 |   0 |  60k|   0 | 0.000000e+00 |      --      |    Inf 
200.44/200.54	c   188s|430000 |199167 |     0 |   0.0 | 303M|  78 |   - | 714 |2652 |   0 |   0 |   0 |  61k|   0 | 0.000000e+00 |      --      |    Inf 
205.23/205.37	c   192s|440000 |204340 |     0 |   0.0 | 311M|  78 |   - | 714 |2724 |   0 |   0 |   0 |  62k|   0 | 0.000000e+00 |      --      |    Inf 
210.13/210.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
210.13/210.26	c   197s|450000 |209441 |     0 |   0.0 | 318M|  78 |   - | 714 |2715 |   0 |   0 |   0 |  63k|   0 | 0.000000e+00 |      --      |    Inf 
215.13/215.27	c   202s|460000 |214487 |     0 |   0.0 | 326M|  78 |   - | 714 |2863 |   0 |   0 |   0 |  64k|   0 | 0.000000e+00 |      --      |    Inf 
220.02/220.15	c   206s|470000 |219700 |     0 |   0.0 | 333M|  78 |   - | 714 |2781 |   0 |   0 |   0 |  65k|   0 | 0.000000e+00 |      --      |    Inf 
225.02/225.10	c   211s|480000 |224716 |     0 |   0.0 | 341M|  78 |   - | 714 |2821 |   0 |   0 |   0 |  67k|   0 | 0.000000e+00 |      --      |    Inf 
229.93/230.03	c   216s|490000 |229737 |     0 |   0.0 | 348M|  78 |   - | 714 |2774 |   0 |   0 |   0 |  68k|   0 | 0.000000e+00 |      --      |    Inf 
235.02/235.14	c   220s|500000 |234673 |     0 |   0.0 | 356M|  78 |   - | 714 |2877 |   0 |   0 |   0 |  69k|   0 | 0.000000e+00 |      --      |    Inf 
240.02/240.16	c   225s|510000 |239712 |     0 |   0.0 | 363M|  78 |   - | 714 |2913 |   0 |   0 |   0 |  70k|   0 | 0.000000e+00 |      --      |    Inf 
245.13/245.27	c   230s|520000 |244481 |     0 |   0.0 | 370M|  78 |   - | 714 |3012 |   0 |   0 |   0 |  71k|   0 | 0.000000e+00 |      --      |    Inf 
250.22/250.31	c   235s|530000 |249426 |     0 |   0.0 | 378M|  78 |   - | 714 |2912 |   0 |   0 |   0 |  73k|   0 | 0.000000e+00 |      --      |    Inf 
255.41/255.57	c   240s|540000 |254055 |     0 |   0.0 | 385M|  78 |   - | 714 |3122 |   0 |   0 |   0 |  74k|   0 | 0.000000e+00 |      --      |    Inf 
260.72/260.82	c   245s|550000 |258893 |     0 |   0.0 | 392M|  78 |   - | 714 |3041 |   0 |   0 |   0 |  75k|   0 | 0.000000e+00 |      --      |    Inf 
265.92/266.06	c   250s|560000 |263643 |     0 |   0.0 | 400M|  78 |   - | 714 |3034 |   0 |   0 |   0 |  77k|   0 | 0.000000e+00 |      --      |    Inf 
271.22/271.35	c   255s|570000 |268218 |     0 |   0.0 | 407M|  78 |   - | 714 |3126 |   0 |   0 |   0 |  78k|   0 | 0.000000e+00 |      --      |    Inf 
276.51/276.60	c   260s|580000 |272905 |     0 |   0.0 | 414M|  78 |   - | 714 |2972 |   0 |   0 |   0 |  79k|   0 | 0.000000e+00 |      --      |    Inf 
281.81/281.94	c   265s|590000 |277501 |     0 |   0.0 | 421M|  78 |   - | 714 |3170 |   0 |   0 |   0 |  81k|   0 | 0.000000e+00 |      --      |    Inf 
287.21/287.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
287.21/287.32	c   270s|600000 |282103 |     0 |   0.0 | 429M|  78 |   - | 714 |3208 |   0 |   0 |   0 |  82k|   0 | 0.000000e+00 |      --      |    Inf 
292.61/292.77	c   275s|610000 |286526 |     0 |   0.0 | 436M|  78 |   - | 714 |3241 |   0 |   0 |   0 |  83k|   0 | 0.000000e+00 |      --      |    Inf 
298.01/298.17	c   280s|620000 |291054 |     0 |   0.0 | 443M|  78 |   - | 714 |3215 |   0 |   0 |   0 |  85k|   0 | 0.000000e+00 |      --      |    Inf 
303.41/303.54	c   285s|630000 |295563 |     0 |   0.0 | 450M|  78 |   - | 714 |3164 |   0 |   0 |   0 |  86k|   0 | 0.000000e+00 |      --      |    Inf 
308.80/308.90	c   290s|640000 |300056 |     0 |   0.0 | 457M|  78 |   - | 714 |3330 |   0 |   0 |   0 |  88k|   0 | 0.000000e+00 |      --      |    Inf 
314.30/314.45	c   295s|650000 |304396 |     0 |   0.0 | 464M|  78 |   - | 714 |3296 |   0 |   0 |   0 |  89k|   0 | 0.000000e+00 |      --      |    Inf 
319.80/319.99	c   301s|660000 |308819 |     0 |   0.0 | 471M|  78 |   - | 714 |3207 |   0 |   0 |   0 |  90k|   0 | 0.000000e+00 |      --      |    Inf 
325.41/325.52	c   306s|670000 |313078 |     0 |   0.0 | 479M|  78 |   - | 714 |3426 |   0 |   0 |   0 |  92k|   0 | 0.000000e+00 |      --      |    Inf 
330.90/331.04	c   311s|680000 |317413 |     0 |   0.0 | 486M|  78 |   - | 714 |3357 |   0 |   0 |   0 |  93k|   0 | 0.000000e+00 |      --      |    Inf 
336.40/336.56	c   316s|690000 |321787 |     0 |   0.0 | 493M|  78 |   - | 714 |3448 |   0 |   0 |   0 |  94k|   0 | 0.000000e+00 |      --      |    Inf 
341.90/342.06	c   321s|700000 |326210 |     0 |   0.0 | 500M|  78 |   - | 714 |3318 |   0 |   0 |   0 |  96k|   0 | 0.000000e+00 |      --      |    Inf 
347.59/347.70	c   327s|710000 |330519 |     0 |   0.0 | 507M|  78 |   - | 714 |3323 |   0 |   0 |   0 |  97k|   0 | 0.000000e+00 |      --      |    Inf 
353.28/353.40	c   332s|720000 |334650 |     0 |   0.0 | 514M|  78 |   - | 714 |3410 |   0 |   0 |   0 |  99k|   0 | 0.000000e+00 |      --      |    Inf 
358.99/359.17	c   338s|730000 |338735 |     0 |   0.0 | 521M|  78 |   - | 714 |3434 |   0 |   0 |   0 | 100k|   0 | 0.000000e+00 |      --      |    Inf 
364.58/364.78	c   343s|740000 |342958 |     0 |   0.0 | 528M|  78 |   - | 714 |3420 |   0 |   0 |   0 | 101k|   0 | 0.000000e+00 |      --      |    Inf 
370.18/370.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
370.18/370.36	c   348s|750000 |347267 |     0 |   0.0 | 535M|  78 |   - | 714 |3434 |   0 |   0 |   0 | 103k|   0 | 0.000000e+00 |      --      |    Inf 
375.78/375.96	c   354s|760000 |351598 |     0 |   0.0 | 542M|  78 |   - | 714 |3478 |   0 |   0 |   0 | 104k|   0 | 0.000000e+00 |      --      |    Inf 
381.38/381.60	c   359s|770000 |355851 |     0 |   0.0 | 549M|  78 |   - | 714 |3379 |   0 |   0 |   0 | 106k|   0 | 0.000000e+00 |      --      |    Inf 
387.28/387.46	c   365s|780000 |359858 |     0 |   0.0 | 556M|  78 |   - | 714 |3399 |   0 |   0 |   0 | 107k|   0 | 0.000000e+00 |      --      |    Inf 
393.08/393.28	c   370s|790000 |363745 |     0 |   0.0 | 563M|  78 |   - | 714 |3607 |   0 |   0 |   0 | 108k|   0 | 0.000000e+00 |      --      |    Inf 
398.98/399.10	c   376s|800000 |367733 |     0 |   0.0 | 570M|  78 |   - | 714 |3542 |   0 |   0 |   0 | 109k|   0 | 0.000000e+00 |      --      |    Inf 
404.58/404.77	c   381s|810000 |371821 |     0 |   0.0 | 577M|  78 |   - | 714 |3585 |   0 |   0 |   0 | 111k|   0 | 0.000000e+00 |      --      |    Inf 
410.27/410.49	c   386s|820000 |375999 |     0 |   0.0 | 584M|  78 |   - | 714 |3549 |   0 |   0 |   0 | 112k|   0 | 0.000000e+00 |      --      |    Inf 
415.97/416.19	c   392s|830000 |380187 |     0 |   0.0 | 590M|  78 |   - | 714 |3407 |   0 |   0 |   0 | 113k|   0 | 0.000000e+00 |      --      |    Inf 
421.67/421.88	c   397s|840000 |384342 |     0 |   0.0 | 597M|  78 |   - | 714 |3505 |   0 |   0 |   0 | 115k|   0 | 0.000000e+00 |      --      |    Inf 
427.67/427.80	c   403s|850000 |388162 |     0 |   0.0 | 604M|  78 |   - | 714 |3425 |   0 |   0 |   0 | 116k|   0 | 0.000000e+00 |      --      |    Inf 
433.56/433.77	c   409s|860000 |391942 |     0 |   0.0 | 611M|  78 |   - | 714 |3564 |   0 |   0 |   0 | 117k|   0 | 0.000000e+00 |      --      |    Inf 
439.56/439.72	c   414s|870000 |395778 |     0 |   0.0 | 618M|  78 |   - | 714 |3667 |   0 |   0 |   0 | 118k|   0 | 0.000000e+00 |      --      |    Inf 
445.46/445.69	c   420s|880000 |399616 |     0 |   0.0 | 625M|  78 |   - | 714 |3808 |   0 |   0 |   0 | 120k|   0 | 0.000000e+00 |      --      |    Inf 
451.46/451.67	c   426s|890000 |403532 |     0 |   0.0 | 632M|  78 |   - | 714 |3742 |   0 |   0 |   0 | 121k|   0 | 0.000000e+00 |      --      |    Inf 
457.36/457.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
457.36/457.59	c   431s|900000 |407515 |     0 |   0.0 | 639M|  78 |   - | 714 |3583 |   0 |   0 |   0 | 123k|   0 | 0.000000e+00 |      --      |    Inf 
463.16/463.32	c   437s|910000 |411562 |     0 |   0.0 | 645M|  78 |   - | 714 |3545 |   0 |   0 |   0 | 124k|   0 | 0.000000e+00 |      --      |    Inf 
468.95/469.19	c   442s|920000 |415373 |     0 |   0.0 | 652M|  78 |   - | 714 |3766 |   0 |   0 |   0 | 125k|   0 | 0.000000e+00 |      --      |    Inf 
475.05/475.27	c   448s|930000 |418897 |     0 |   0.0 | 659M|  78 |   - | 714 |3609 |   0 |   0 |   0 | 126k|   0 | 0.000000e+00 |      --      |    Inf 
481.15/481.37	c   454s|940000 |422438 |     0 |   0.0 | 666M|  78 |   - | 714 |3743 |   0 |   0 |   0 | 128k|   0 | 0.000000e+00 |      --      |    Inf 
487.25/487.46	c   460s|950000 |426164 |     0 |   0.0 | 673M|  78 |   - | 714 |3745 |   0 |   0 |   0 | 129k|   0 | 0.000000e+00 |      --      |    Inf 
493.24/493.44	c   465s|960000 |429962 |     0 |   0.0 | 679M|  78 |   - | 714 |3756 |   0 |   0 |   0 | 130k|   0 | 0.000000e+00 |      --      |    Inf 
499.25/499.45	c   471s|970000 |433776 |     0 |   0.0 | 686M|  78 |   - | 714 |3642 |   0 |   0 |   0 | 131k|   0 | 0.000000e+00 |      --      |    Inf 
505.25/505.47	c   477s|980000 |437510 |     0 |   0.0 | 693M|  78 |   - | 714 |3712 |   0 |   0 |   0 | 133k|   0 | 0.000000e+00 |      --      |    Inf 
511.24/511.40	c   482s|990000 |441334 |     0 |   0.0 | 699M|  78 |   - | 714 |3635 |   0 |   0 |   0 | 134k|   0 | 0.000000e+00 |      --      |    Inf 
517.14/517.39	c   488s|  1000k|445033 |     0 |   0.0 | 706M|  78 |   - | 714 |3721 |   0 |   0 |   0 | 135k|   0 | 0.000000e+00 |      --      |    Inf 
523.24/523.43	c   494s|  1010k|448649 |     0 |   0.0 | 713M|  78 |   - | 714 |3745 |   0 |   0 |   0 | 137k|   0 | 0.000000e+00 |      --      |    Inf 
529.44/529.69	c   500s|  1020k|451986 |     0 |   0.0 | 719M|  78 |   - | 714 |3771 |   0 |   0 |   0 | 138k|   0 | 0.000000e+00 |      --      |    Inf 
535.63/535.84	c   506s|  1030k|455521 |     0 |   0.0 | 726M|  78 |   - | 714 |3705 |   0 |   0 |   0 | 139k|   0 | 0.000000e+00 |      --      |    Inf 
541.83/542.03	c   512s|  1040k|459086 |     0 |   0.0 | 733M|  78 |   - | 714 |3773 |   0 |   0 |   0 | 140k|   0 | 0.000000e+00 |      --      |    Inf 
548.03/548.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
548.03/548.24	c   517s|  1050k|462638 |     0 |   0.0 | 739M|  78 |   - | 714 |3894 |   0 |   0 |   0 | 141k|   0 | 0.000000e+00 |      --      |    Inf 
554.23/554.45	c   523s|  1060k|466219 |     0 |   0.0 | 746M|  78 |   - | 714 |3750 |   0 |   0 |   0 | 143k|   0 | 0.000000e+00 |      --      |    Inf 
560.32/560.59	c   529s|  1070k|469795 |     0 |   0.0 | 752M|  78 |   - | 714 |3737 |   0 |   0 |   0 | 144k|   0 | 0.000000e+00 |      --      |    Inf 
566.63/566.81	c   535s|  1080k|473287 |     0 |   0.0 | 759M|  78 |   - | 714 |3820 |   0 |   0 |   0 | 145k|   0 | 0.000000e+00 |      --      |    Inf 
572.83/573.06	c   541s|  1090k|476642 |     0 |   0.0 | 766M|  78 |   - | 714 |3902 |   0 |   0 |   0 | 147k|   0 | 0.000000e+00 |      --      |    Inf 
579.02/579.24	c   547s|  1100k|480065 |     0 |   0.0 | 772M|  78 |   - | 714 |3860 |   0 |   0 |   0 | 148k|   0 | 0.000000e+00 |      --      |    Inf 
585.52/585.71	c   553s|  1110k|483224 |     0 |   0.0 | 779M|  78 |   - | 714 |3779 |   0 |   0 |   0 | 149k|   0 | 0.000000e+00 |      --      |    Inf 
591.82/592.06	c   559s|  1120k|486519 |     0 |   0.0 | 785M|  78 |   - | 714 |3772 |   0 |   0 |   0 | 150k|   0 | 0.000000e+00 |      --      |    Inf 
598.23/598.44	c   565s|  1130k|489830 |     0 |   0.0 | 792M|  78 |   - | 714 |3912 |   0 |   0 |   0 | 151k|   0 | 0.000000e+00 |      --      |    Inf 
604.61/604.85	c   572s|  1140k|493142 |     0 |   0.0 | 798M|  78 |   - | 714 |3953 |   0 |   0 |   0 | 152k|   0 | 0.000000e+00 |      --      |    Inf 
611.01/611.22	c   578s|  1150k|496499 |     0 |   0.0 | 805M|  78 |   - | 714 |3954 |   0 |   0 |   0 | 154k|   0 | 0.000000e+00 |      --      |    Inf 
617.41/617.61	c   584s|  1160k|499846 |     0 |   0.0 | 811M|  78 |   - | 714 |3953 |   0 |   0 |   0 | 155k|   0 | 0.000000e+00 |      --      |    Inf 
623.81/624.09	c   590s|  1170k|502986 |     0 |   0.0 | 818M|  78 |   - | 714 |4071 |   0 |   0 |   0 | 156k|   0 | 0.000000e+00 |      --      |    Inf 
630.30/630.55	c   596s|  1180k|506138 |     0 |   0.0 | 824M|  78 |   - | 714 |4038 |   0 |   0 |   0 | 158k|   0 | 0.000000e+00 |      --      |    Inf 
636.80/637.04	c   602s|  1190k|509317 |     0 |   0.0 | 830M|  78 |   - | 714 |4089 |   0 |   0 |   0 | 159k|   0 | 0.000000e+00 |      --      |    Inf 
643.31/643.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
643.31/643.54	c   608s|  1200k|512413 |     0 |   0.0 | 837M|  78 |   - | 714 |3925 |   0 |   0 |   0 | 160k|   0 | 0.000000e+00 |      --      |    Inf 
650.00/650.21	c   615s|  1210k|515333 |     0 |   0.0 | 843M|  78 |   - | 714 |3917 |   0 |   0 |   0 | 161k|   0 | 0.000000e+00 |      --      |    Inf 
656.59/656.83	c   621s|  1220k|518358 |     0 |   0.0 | 850M|  78 |   - | 714 |4014 |   0 |   0 |   0 | 162k|   0 | 0.000000e+00 |      --      |    Inf 
663.29/663.55	c   628s|  1230k|521413 |     0 |   0.0 | 856M|  78 |   - | 714 |4108 |   0 |   0 |   0 | 164k|   0 | 0.000000e+00 |      --      |    Inf 
669.89/670.18	c   634s|  1240k|524515 |     0 |   0.0 | 862M|  78 |   - | 714 |4145 |   0 |   0 |   0 | 165k|   0 | 0.000000e+00 |      --      |    Inf 
676.48/676.74	c   640s|  1250k|527580 |     0 |   0.0 | 869M|  78 |   - | 714 |4251 |   0 |   0 |   0 | 166k|   0 | 0.000000e+00 |      --      |    Inf 
683.28/683.55	c   647s|  1260k|530352 |     0 |   0.0 | 875M|  78 |   - | 714 |4267 |   0 |   0 |   0 | 168k|   0 | 0.000000e+00 |      --      |    Inf 
689.88/690.18	c   653s|  1270k|533343 |     0 |   0.0 | 881M|  78 |   - | 714 |4078 |   0 |   0 |   0 | 169k|   0 | 0.000000e+00 |      --      |    Inf 
696.48/696.78	c   659s|  1280k|536275 |     0 |   0.0 | 888M|  78 |   - | 714 |4308 |   0 |   0 |   0 | 170k|   0 | 0.000000e+00 |      --      |    Inf 
703.07/703.39	c   666s|  1290k|539342 |     0 |   0.0 | 894M|  78 |   - | 714 |4305 |   0 |   0 |   0 | 172k|   0 | 0.000000e+00 |      --      |    Inf 
710.08/710.34	c   672s|  1300k|541961 |     0 |   0.0 | 900M|  78 |   - | 714 |4131 |   0 |   0 |   0 | 173k|   0 | 0.000000e+00 |      --      |    Inf 
716.98/717.25	c   679s|  1310k|544691 |     0 |   0.0 | 906M|  78 |   - | 714 |4138 |   0 |   0 |   0 | 173k|   0 | 0.000000e+00 |      --      |    Inf 
723.87/724.12	c   686s|  1320k|547421 |     0 |   0.0 | 913M|  78 |   - | 714 |4236 |   0 |   0 |   0 | 175k|   0 | 0.000000e+00 |      --      |    Inf 
730.77/731.06	c   692s|  1330k|550224 |     0 |   0.0 | 919M|  78 |   - | 714 |4173 |   0 |   0 |   0 | 176k|   0 | 0.000000e+00 |      --      |    Inf 
737.67/737.96	c   699s|  1340k|553063 |     0 |   0.0 | 925M|  78 |   - | 714 |4273 |   0 |   0 |   0 | 177k|   0 | 0.000000e+00 |      --      |    Inf 
744.66/744.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
744.66/744.91	c   706s|  1350k|555694 |     0 |   0.0 | 931M|  78 |   - | 714 |4295 |   0 |   0 |   0 | 178k|   0 | 0.000000e+00 |      --      |    Inf 
751.56/751.87	c   712s|  1360k|558308 |     0 |   0.0 | 937M|  78 |   - | 714 |4408 |   0 |   0 |   0 | 179k|   0 | 0.000000e+00 |      --      |    Inf 
758.56/758.87	c   719s|  1370k|560958 |     0 |   0.0 | 943M|  78 |   - | 714 |4442 |   0 |   0 |   0 | 181k|   0 | 0.000000e+00 |      --      |    Inf 
765.56/765.80	c   726s|  1380k|563705 |     0 |   0.0 | 950M|  78 |   - | 714 |4531 |   0 |   0 |   0 | 182k|   0 | 0.000000e+00 |      --      |    Inf 
772.46/772.78	c   732s|  1390k|566379 |     0 |   0.0 | 956M|  78 |   - | 714 |4486 |   0 |   0 |   0 | 184k|   0 | 0.000000e+00 |      --      |    Inf 
779.66/779.92	c   739s|  1400k|568854 |     0 |   0.0 | 962M|  78 |   - | 714 |4209 |   0 |   0 |   0 | 185k|   0 | 0.000000e+00 |      --      |    Inf 
786.75/787.08	c   746s|  1410k|571237 |     0 |   0.0 | 968M|  78 |   - | 714 |4351 |   0 |   0 |   0 | 186k|   0 | 0.000000e+00 |      --      |    Inf 
793.95/794.27	c   753s|  1420k|573672 |     0 |   0.0 | 974M|  78 |   - | 714 |4306 |   0 |   0 |   0 | 187k|   0 | 0.000000e+00 |      --      |    Inf 
801.14/801.45	c   760s|  1430k|576159 |     0 |   0.0 | 980M|  78 |   - | 714 |4386 |   0 |   0 |   0 | 188k|   0 | 0.000000e+00 |      --      |    Inf 
808.34/808.60	c   767s|  1440k|578584 |     0 |   0.0 | 986M|  78 |   - | 714 |4384 |   0 |   0 |   0 | 189k|   0 | 0.000000e+00 |      --      |    Inf 
815.74/816.01	c   774s|  1450k|580712 |     0 |   0.0 | 992M|  78 |   - | 714 |4425 |   0 |   0 |   0 | 190k|   0 | 0.000000e+00 |      --      |    Inf 
822.84/823.16	c   781s|  1460k|582988 |     0 |   0.0 | 998M|  78 |   - | 714 |4342 |   0 |   0 |   0 | 191k|   0 | 0.000000e+00 |      --      |    Inf 
830.04/830.34	c   788s|  1470k|585354 |     0 |   0.0 |1003M|  78 |   - | 714 |4462 |   0 |   0 |   0 | 193k|   0 | 0.000000e+00 |      --      |    Inf 
837.24/837.59	c   795s|  1480k|587668 |     0 |   0.0 |1009M|  78 |   - | 714 |4634 |   0 |   0 |   0 | 194k|   0 | 0.000000e+00 |      --      |    Inf 
844.54/844.82	c   801s|  1490k|590088 |     0 |   0.0 |1015M|  78 |   - | 714 |4556 |   0 |   0 |   0 | 196k|   0 | 0.000000e+00 |      --      |    Inf 
851.63/851.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
851.63/851.97	c   808s|  1500k|592532 |     0 |   0.0 |1021M|  78 |   - | 714 |4469 |   0 |   0 |   0 | 197k|   0 | 0.000000e+00 |      --      |    Inf 
859.23/859.52	c   816s|  1510k|594474 |     0 |   0.0 |1027M|  78 |   - | 714 |4446 |   0 |   0 |   0 | 198k|   0 | 0.000000e+00 |      --      |    Inf 
866.72/867.07	c   823s|  1520k|596522 |     0 |   0.0 |1033M|  78 |   - | 714 |4548 |   0 |   0 |   0 | 199k|   0 | 0.000000e+00 |      --      |    Inf 
874.23/874.53	c   830s|  1530k|598610 |     0 |   0.0 |1038M|  78 |   - | 714 |4477 |   0 |   0 |   0 | 200k|   0 | 0.000000e+00 |      --      |    Inf 
881.62/881.97	c   837s|  1540k|600603 |     0 |   0.0 |1044M|  78 |   - | 714 |4576 |   0 |   0 |   0 | 201k|   0 | 0.000000e+00 |      --      |    Inf 
889.22/889.50	c   844s|  1550k|602474 |     0 |   0.0 |1050M|  78 |   - | 714 |4571 |   0 |   0 |   0 | 202k|   0 | 0.000000e+00 |      --      |    Inf 
896.62/896.94	c   852s|  1560k|604396 |     0 |   0.0 |1055M|  78 |   - | 714 |4570 |   0 |   0 |   0 | 203k|   0 | 0.000000e+00 |      --      |    Inf 
904.01/904.30	c   859s|  1570k|606443 |     0 |   0.0 |1061M|  78 |   - | 714 |4744 |   0 |   0 |   0 | 205k|   0 | 0.000000e+00 |      --      |    Inf 
911.41/911.73	c   866s|  1580k|608459 |     0 |   0.0 |1067M|  78 |   - | 714 |4832 |   0 |   0 |   0 | 206k|   0 | 0.000000e+00 |      --      |    Inf 
918.71/919.06	c   873s|  1590k|610654 |     0 |   0.0 |1073M|  78 |   - | 714 |4761 |   0 |   0 |   0 | 208k|   0 | 0.000000e+00 |      --      |    Inf 
926.00/926.35	c   880s|  1600k|612942 |     0 |   0.0 |1078M|  78 |   - | 714 |4821 |   0 |   0 |   0 | 209k|   0 | 0.000000e+00 |      --      |    Inf 
933.91/934.20	c   887s|  1610k|614523 |     0 |   0.0 |1084M|  78 |   - | 714 |4571 |   0 |   0 |   0 | 210k|   0 | 0.000000e+00 |      --      |    Inf 
941.70/942.09	c   895s|  1620k|616108 |     0 |   0.0 |1090M|  78 |   - | 714 |4582 |   0 |   0 |   0 | 211k|   0 | 0.000000e+00 |      --      |    Inf 
949.50/949.84	c   902s|  1630k|617806 |     0 |   0.0 |1095M|  78 |   - | 714 |4641 |   0 |   0 |   0 | 212k|   0 | 0.000000e+00 |      --      |    Inf 
956.90/957.25	c   909s|  1640k|619823 |     0 |   0.0 |1101M|  78 |   - | 714 |4791 |   0 |   0 |   0 | 213k|   0 | 0.000000e+00 |      --      |    Inf 
963.79/964.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
963.79/964.17	c   916s|  1650k|622394 |     0 |   0.0 |1107M|  78 |   - | 714 |5211 |   0 |   0 |   0 | 215k|   0 | 0.000000e+00 |      --      |    Inf 
970.50/970.87	c   922s|  1660k|625136 |     0 |   0.0 |1112M|  78 |   - | 714 |5295 |   0 |   0 |   0 | 217k|   0 | 0.000000e+00 |      --      |    Inf 
977.29/977.67	c   929s|  1670k|627975 |     0 |   0.0 |1118M|  78 |   - | 714 |5486 |   0 |   0 |   0 | 219k|   0 | 0.000000e+00 |      --      |    Inf 
983.89/984.21	c   935s|  1680k|631006 |     0 |   0.0 |1124M|  78 |   - | 714 |5572 |   0 |   0 |   0 | 221k|   0 | 0.000000e+00 |      --      |    Inf 
991.59/991.94	c   943s|  1690k|633320 |     0 |   0.0 |1129M|  78 |   - | 714 |5228 |   0 |   0 |   0 | 223k|   0 | 0.000000e+00 |      --      |    Inf 
998.99/999.38	c   950s|  1700k|635683 |     0 |   0.0 |1135M|  78 |   - | 714 |5362 |   0 |   0 |   0 | 225k|   0 | 0.000000e+00 |      --      |    Inf 
1006.09/1006.47	c   957s|  1710k|638195 |     0 |   0.0 |1140M|  78 |   - | 714 |5460 |   0 |   0 |   0 | 226k|   0 | 0.000000e+00 |      --      |    Inf 
1013.07/1013.41	c   963s|  1720k|640770 |     0 |   0.0 |1146M|  78 |   - | 714 |5913 |   0 |   0 |   0 | 228k|   0 | 0.000000e+00 |      --      |    Inf 
1019.97/1020.38	c   970s|  1730k|643458 |     0 |   0.0 |1152M|  78 |   - | 714 |5726 |   0 |   0 |   0 | 231k|   0 | 0.000000e+00 |      --      |    Inf 
1026.57/1026.99	c   976s|  1740k|646321 |     0 |   0.0 |1157M|  78 |   - | 714 |5935 |   0 |   0 |   0 | 233k|   0 | 0.000000e+00 |      --      |    Inf 
1034.57/1034.92	c   984s|  1750k|648612 |     0 |   0.0 |1163M|  78 |   - | 714 |5701 |   0 |   0 |   0 | 235k|   0 | 0.000000e+00 |      --      |    Inf 
1042.07/1042.42	c   991s|  1760k|650858 |     0 |   0.0 |1168M|  78 |   - | 714 |5768 |   0 |   0 |   0 | 237k|   0 | 0.000000e+00 |      --      |    Inf 
1049.26/1049.64	c   998s|  1770k|653070 |     0 |   0.0 |1173M|  78 |   - | 714 |6045 |   0 |   0 |   0 | 239k|   0 | 0.000000e+00 |      --      |    Inf 
1056.67/1057.04	c  1005s|  1780k|655379 |     0 |   0.0 |1179M|  78 |   - | 714 |6097 |   0 |   0 |   0 | 241k|   0 | 0.000000e+00 |      --      |    Inf 
1063.66/1064.05	c  1012s|  1790k|657873 |     0 |   0.0 |1184M|  78 |   - | 714 |6056 |   0 |   0 |   0 | 243k|   0 | 0.000000e+00 |      --      |    Inf 
1070.56/1070.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1070.56/1070.91	c  1018s|  1800k|660529 |     0 |   0.0 |1190M|  78 |   - | 714 |6050 |   0 |   0 |   0 | 245k|   0 | 0.000000e+00 |      --      |    Inf 
1078.16/1078.57	c  1026s|  1810k|662639 |     0 |   0.0 |1195M|  78 |   - | 714 |5912 |   0 |   0 |   0 | 247k|   0 | 0.000000e+00 |      --      |    Inf 
1085.75/1086.17	c  1033s|  1820k|664510 |     0 |   0.0 |1200M|  78 |   - | 714 |6135 |   0 |   0 |   0 | 249k|   0 | 0.000000e+00 |      --      |    Inf 
1093.55/1093.91	c  1040s|  1830k|666389 |     0 |   0.0 |1205M|  78 |   - | 714 |6512 |   0 |   0 |   0 | 251k|   0 | 0.000000e+00 |      --      |    Inf 
1100.85/1101.26	c  1047s|  1840k|668498 |     0 |   0.0 |1211M|  78 |   - | 714 |6455 |   0 |   0 |   0 | 253k|   0 | 0.000000e+00 |      --      |    Inf 
1108.25/1108.65	c  1054s|  1850k|670709 |     0 |   0.0 |1216M|  78 |   - | 714 |6556 |   0 |   0 |   0 | 255k|   0 | 0.000000e+00 |      --      |    Inf 
1115.64/1116.03	c  1061s|  1860k|672928 |     0 |   0.0 |1222M|  78 |   - | 714 |6645 |   0 |   0 |   0 | 257k|   0 | 0.000000e+00 |      --      |    Inf 
1123.34/1123.77	c  1069s|  1870k|674916 |     0 |   0.0 |1227M|  78 |   - | 714 |6446 |   0 |   0 |   0 | 259k|   0 | 0.000000e+00 |      --      |    Inf 
1131.34/1131.78	c  1077s|  1880k|676419 |     0 |   0.0 |1232M|  78 |   - | 714 |6588 |   0 |   0 |   0 | 261k|   0 | 0.000000e+00 |      --      |    Inf 
1139.24/1139.66	c  1084s|  1890k|678015 |     0 |   0.0 |1237M|  78 |   - | 714 |6879 |   0 |   0 |   0 | 263k|   0 | 0.000000e+00 |      --      |    Inf 
1147.03/1147.46	c  1092s|  1900k|679708 |     0 |   0.0 |1242M|  78 |   - | 714 |6994 |   0 |   0 |   0 | 265k|   0 | 0.000000e+00 |      --      |    Inf 
1154.64/1155.05	c  1099s|  1910k|681610 |     0 |   0.0 |1247M|  78 |   - | 714 |6897 |   0 |   0 |   0 | 267k|   0 | 0.000000e+00 |      --      |    Inf 
1162.13/1162.50	c  1106s|  1920k|683709 |     0 |   0.0 |1253M|  78 |   - | 714 |6880 |   0 |   0 |   0 | 269k|   0 | 0.000000e+00 |      --      |    Inf 
1169.83/1170.21	c  1113s|  1930k|685561 |     0 |   0.0 |1258M|  78 |   - | 714 |6858 |   0 |   0 |   0 | 271k|   0 | 0.000000e+00 |      --      |    Inf 
1178.03/1178.49	c  1121s|  1940k|686740 |     0 |   0.0 |1262M|  78 |   - | 714 |6871 |   0 |   0 |   0 | 272k|   0 | 0.000000e+00 |      --      |    Inf 
1186.32/1186.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1186.32/1186.77	c  1129s|  1950k|687860 |     0 |   0.0 |1268M|  78 |   - | 714 |7361 |   0 |   0 |   0 | 274k|   0 | 0.000000e+00 |      --      |    Inf 
1194.62/1195.08	c  1137s|  1960k|689125 |     0 |   0.0 |1273M|  78 |   - | 714 |7536 |   0 |   0 |   0 | 276k|   0 | 0.000000e+00 |      --      |    Inf 
1202.82/1203.23	c  1145s|  1970k|690693 |     0 |   0.0 |1278M|  78 |   - | 714 |7846 |   0 |   0 |   0 | 278k|   0 | 0.000000e+00 |      --      |    Inf 
1211.02/1211.42	c  1153s|  1980k|692401 |     0 |   0.0 |1283M|  78 |   - | 714 |7918 |   0 |   0 |   0 | 280k|   0 | 0.000000e+00 |      --      |    Inf 
1219.31/1219.74	c  1161s|  1990k|694146 |     0 |   0.0 |1288M|  78 |   - | 714 |7965 |   0 |   0 |   0 | 283k|   0 | 0.000000e+00 |      --      |    Inf 
1228.31/1228.76	c  1170s|  2000k|694961 |     0 |   0.0 |1293M|  78 |   - | 714 |7802 |   0 |   0 |   0 | 284k|   0 | 0.000000e+00 |      --      |    Inf 
1237.21/1237.60	c  1178s|  2010k|695672 |     0 |   0.0 |1298M|  78 |   - | 714 |8542 |   0 |   0 |   0 | 287k|   0 | 0.000000e+00 |      --      |    Inf 
1245.91/1246.36	c  1187s|  2020k|696655 |     0 |   0.0 |1303M|  78 |   - | 714 |8558 |   0 |   0 |   0 | 289k|   0 | 0.000000e+00 |      --      |    Inf 
1254.30/1254.71	c  1195s|  2030k|698114 |     0 |   0.0 |1308M|  78 |   - | 714 |8630 |   0 |   0 |   0 | 291k|   0 | 0.000000e+00 |      --      |    Inf 
1262.60/1263.07	c  1203s|  2040k|699668 |     0 |   0.0 |1313M|  78 |   - | 714 |8780 |   0 |   0 |   0 | 293k|   0 | 0.000000e+00 |      --      |    Inf 
1271.29/1271.78	c  1211s|  2050k|700891 |     0 |   0.0 |1318M|  78 |   - | 714 |8589 |   0 |   0 |   0 | 295k|   0 | 0.000000e+00 |      --      |    Inf 
1279.19/1279.60	c  1219s|  2060k|702929 |     0 |   0.0 |1323M|  78 |   - | 714 |9198 |   0 |   0 |   0 | 298k|   0 | 0.000000e+00 |      --      |    Inf 
1286.89/1287.31	c  1226s|  2070k|705453 |     0 |   0.0 |1327M|  78 |   - | 714 |8898 |   0 |   0 |   0 | 301k|   0 | 0.000000e+00 |      --      |    Inf 
1293.99/1294.43	c  1233s|  2080k|708041 |     0 |   0.0 |1332M|  78 |   - | 714 |9317 |   0 |   0 |   0 | 305k|   0 | 0.000000e+00 |      --      |    Inf 
1301.58/1302.00	c  1240s|  2090k|710372 |     0 |   0.0 |1336M|  78 |   - | 714 |9223 |   0 |   0 |   0 | 308k|   0 | 0.000000e+00 |      --      |    Inf 
1308.68/1309.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1308.68/1309.12	c  1247s|  2100k|712883 |     0 |   0.0 |1340M|  78 |   - | 714 |8892 |   0 |   0 |   0 | 311k|   0 | 0.000000e+00 |      --      |    Inf 
1315.77/1316.28	c  1254s|  2110k|715148 |     0 |   0.0 |1345M|  78 |   - | 714 |9102 |   0 |   0 |   0 | 314k|   0 | 0.000000e+00 |      --      |    Inf 
1323.18/1323.65	c  1261s|  2120k|717186 |     0 |   0.0 |1349M|  78 |   - | 714 |9084 |   0 |   0 |   0 | 317k|   0 | 0.000000e+00 |      --      |    Inf 
1330.18/1330.61	c  1267s|  2130k|719327 |     0 |   0.0 |1353M|  78 |   - | 714 |9335 |   0 |   0 |   0 | 320k|   0 | 0.000000e+00 |      --      |    Inf 
1337.47/1337.93	c  1274s|  2140k|721121 |     0 |   0.0 |1357M|  78 |   - | 714 |9176 |   0 |   0 |   0 | 323k|   0 | 0.000000e+00 |      --      |    Inf 
1340.07/1340.57	c (node 2143770) switching to memory saving mode (mem: 1296.0M/1620.0M)
1345.56/1346.00	c  1282s|  2150k|721153 |     0 |   0.0 |1355M|  78 |   - | 714 |9269 |   0 |   0 |   0 | 327k|   0 | 0.000000e+00 |      --      |    Inf 
1357.76/1358.22	c  1294s|  2160k|719512 |     0 |   0.0 |1345M|  78 |   - | 714 |9981 |   0 |   0 |   0 | 333k|   0 | 0.000000e+00 |      --      |    Inf 
1375.86/1376.36	c  1312s|  2170k|716824 |     0 |   0.0 |1330M|  78 |   - | 714 |  12k|   0 |   0 |   0 | 338k|   0 | 0.000000e+00 |      --      |    Inf 
1387.16/1387.69	c  1323s|  2180k|716153 |     0 |   0.0 |1325M|  78 |   - | 714 |  10k|   0 |   0 |   0 | 343k|   0 | 0.000000e+00 |      --      |    Inf 
1395.46/1395.92	c  1331s|  2190k|716014 |     0 |   0.0 |1326M|  78 |   - | 714 |  12k|   0 |   0 |   0 | 348k|   0 | 0.000000e+00 |      --      |    Inf 
1404.36/1404.82	c  1339s|  2200k|715823 |     0 |   0.0 |1326M|  78 |   - | 714 |  12k|   0 |   0 |   0 | 352k|   0 | 0.000000e+00 |      --      |    Inf 
1414.65/1415.11	c  1349s|  2210k|715533 |     0 |   0.0 |1325M|  78 |   - | 714 |  12k|   0 |   0 |   0 | 357k|   0 | 0.000000e+00 |      --      |    Inf 
1423.35/1423.83	c  1357s|  2220k|715412 |     0 |   0.0 |1325M|  78 |   - | 714 |  13k|   0 |   0 |   0 | 361k|   0 | 0.000000e+00 |      --      |    Inf 
1431.65/1432.10	c  1365s|  2230k|715352 |     0 |   0.0 |1326M|  78 |   - | 714 |  14k|   0 |   0 |   0 | 365k|   0 | 0.000000e+00 |      --      |    Inf 
1439.74/1440.28	c  1373s|  2240k|715300 |     0 |   0.0 |1326M|  78 |   - | 714 |  14k|   0 |   0 |   0 | 369k|   0 | 0.000000e+00 |      --      |    Inf 
1450.54/1451.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1450.54/1451.01	c  1384s|  2250k|715122 |     0 |   0.0 |1325M|  78 |   - | 714 |  14k|   0 |   0 |   0 | 373k|   0 | 0.000000e+00 |      --      |    Inf 
1460.74/1461.21	c  1394s|  2260k|715003 |     0 |   0.0 |1325M|  78 |   - | 714 |  14k|   0 |   0 |   0 | 377k|   0 | 0.000000e+00 |      --      |    Inf 
1469.43/1469.97	c  1402s|  2270k|714947 |     0 |   0.0 |1325M|  78 |   - | 714 |  14k|   0 |   0 |   0 | 381k|   0 | 0.000000e+00 |      --      |    Inf 
1478.64/1479.18	c  1411s|  2280k|714891 |     0 |   0.0 |1325M|  78 |   - | 714 |  14k|   0 |   0 |   0 | 385k|   0 | 0.000000e+00 |      --      |    Inf 
1487.32/1487.87	c  1419s|  2290k|714850 |     0 |   0.0 |1325M|  78 |   - | 714 |  15k|   0 |   0 |   0 | 389k|   0 | 0.000000e+00 |      --      |    Inf 
1497.33/1497.81	c  1429s|  2300k|714802 |     0 |   0.0 |1326M|  78 |   - | 714 |  16k|   0 |   0 |   0 | 393k|   0 | 0.000000e+00 |      --      |    Inf 
1509.92/1510.46	c  1441s|  2310k|714620 |     0 |   0.0 |1325M|  78 |   - | 714 |  16k|   0 |   0 |   0 | 397k|   0 | 0.000000e+00 |      --      |    Inf 
1520.73/1521.30	c  1452s|  2320k|714349 |     0 |   0.0 |1322M|  78 |   - | 714 |  13k|   0 |   0 |   0 | 402k|   0 | 0.000000e+00 |      --      |    Inf 
1529.12/1529.60	c  1460s|  2330k|714224 |     0 |   0.0 |1322M|  78 |   - | 714 |  14k|   0 |   0 |   0 | 406k|   0 | 0.000000e+00 |      --      |    Inf 
1537.71/1538.23	c  1468s|  2340k|714104 |     0 |   0.0 |1323M|  78 |   - | 714 |  14k|   0 |   0 |   0 | 411k|   0 | 0.000000e+00 |      --      |    Inf 
1547.61/1548.13	c  1477s|  2350k|713993 |     0 |   0.0 |1323M|  78 |   - | 714 |  14k|   0 |   0 |   0 | 415k|   0 | 0.000000e+00 |      --      |    Inf 
1557.61/1558.11	c  1487s|  2360k|713883 |     0 |   0.0 |1322M|  78 |   - | 714 |  14k|   0 |   0 |   0 | 420k|   0 | 0.000000e+00 |      --      |    Inf 
1566.81/1567.37	c  1496s|  2370k|713772 |     0 |   0.0 |1322M|  78 |   - | 714 |  13k|   0 |   0 |   0 | 425k|   0 | 0.000000e+00 |      --      |    Inf 
1575.20/1575.79	c  1504s|  2380k|713707 |     0 |   0.0 |1323M|  78 |   - | 714 |  15k|   0 |   0 |   0 | 429k|   0 | 0.000000e+00 |      --      |    Inf 
1584.51/1585.05	c  1513s|  2390k|713686 |     0 |   0.0 |1323M|  78 |   - | 714 |  16k|   0 |   0 |   0 | 432k|   0 | 0.000000e+00 |      --      |    Inf 
1594.70/1595.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1594.70/1595.22	c  1523s|  2400k|713670 |     0 |   0.0 |1324M|  78 |   - | 714 |  18k|   0 |   0 |   0 | 436k|   0 | 0.000000e+00 |      --      |    Inf 
1606.80/1607.36	c  1535s|  2410k|713642 |     0 |   0.0 |1324M|  78 |   - | 714 |  17k|   0 |   0 |   0 | 439k|   0 | 0.000000e+00 |      --      |    Inf 
1617.29/1617.89	c  1545s|  2420k|713619 |     0 |   0.0 |1324M|  78 |   - | 714 |  17k|   0 |   0 |   0 | 443k|   0 | 0.000000e+00 |      --      |    Inf 
1627.50/1628.03	c  1555s|  2430k|713601 |     0 |   0.0 |1325M|  78 |   - | 714 |  18k|   0 |   0 |   0 | 446k|   0 | 0.000000e+00 |      --      |    Inf 
1638.79/1639.34	c  1566s|  2440k|713580 |     0 |   0.0 |1325M|  78 |   - | 714 |  19k|   0 |   0 |   0 | 449k|   0 | 0.000000e+00 |      --      |    Inf 
1651.09/1651.60	c  1578s|  2450k|713558 |     0 |   0.0 |1325M|  78 |   - | 714 |  18k|   0 |   0 |   0 | 453k|   0 | 0.000000e+00 |      --      |    Inf 
1663.88/1664.45	c  1590s|  2460k|713517 |     0 |   0.0 |1324M|  78 |   - | 714 |  18k|   0 |   0 |   0 | 457k|   0 | 0.000000e+00 |      --      |    Inf 
1676.18/1676.70	c  1602s|  2470k|713487 |     0 |   0.0 |1325M|  78 |   - | 714 |  18k|   0 |   0 |   0 | 460k|   0 | 0.000000e+00 |      --      |    Inf 
1689.27/1689.83	c  1615s|  2480k|713468 |     0 |   0.0 |1325M|  78 |   - | 714 |  19k|   0 |   0 |   0 | 464k|   0 | 0.000000e+00 |      --      |    Inf 
1701.87/1702.48	c  1627s|  2490k|713438 |     0 |   0.0 |1324M|  78 |   - | 714 |  18k|   0 |   0 |   0 | 467k|   0 | 0.000000e+00 |      --      |    Inf 
1713.17/1713.71	c  1638s|  2500k|713409 |     0 |   0.0 |1324M|  78 |   - | 714 |  18k|   0 |   0 |   0 | 471k|   0 | 0.000000e+00 |      --      |    Inf 
1725.46/1726.02	c  1650s|  2510k|713369 |     0 |   0.0 |1325M|  78 |   - | 714 |  19k|   0 |   0 |   0 | 474k|   0 | 0.000000e+00 |      --      |    Inf 
1737.96/1738.59	c  1663s|  2520k|713337 |     0 |   0.0 |1325M|  78 |   - | 714 |  19k|   0 |   0 |   0 | 477k|   0 | 0.000000e+00 |      --      |    Inf 
1750.56/1751.11	c  1675s|  2530k|713319 |     0 |   0.0 |1326M|  78 |   - | 714 |  21k|   0 |   0 |   0 | 481k|   0 | 0.000000e+00 |      --      |    Inf 
1763.86/1764.43	c  1688s|  2540k|713302 |     0 |   0.0 |1325M|  78 |   - | 714 |  20k|   0 |   0 |   0 | 484k|   0 | 0.000000e+00 |      --      |    Inf 
1776.45/1777.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1776.45/1777.01	c  1700s|  2550k|713286 |     0 |   0.0 |1325M|  78 |   - | 714 |  20k|   0 |   0 |   0 | 487k|   0 | 0.000000e+00 |      --      |    Inf 
1789.15/1789.78	c  1712s|  2560k|713270 |     0 |   0.0 |1326M|  78 |   - | 714 |  21k|   0 |   0 |   0 | 490k|   0 | 0.000000e+00 |      --      |    Inf 
1800.05/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61	c 
1800.05/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.61	c Solving Time (sec) : 1723.05
1800.05/1800.61	c Solving Nodes      : 2568358
1800.05/1800.61	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.61	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.61	c Gap                : infinite
1800.05/1800.61	s UNKNOWN
1800.05/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.61	c Solving Time       :    1723.05
1800.05/1800.61	c Original Problem   :
1800.05/1800.61	c   Problem name     : HOME/instance-2663487-1276683117.opb
1800.05/1800.61	c   Variables        : 714 (714 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61	c   Constraints      : 766 initial, 766 maximal
1800.05/1800.61	c Presolved Problem  :
1800.05/1800.61	c   Problem name     : t_HOME/instance-2663487-1276683117.opb
1800.05/1800.61	c   Variables        : 714 (714 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61	c   Constraints      : 766 initial, 22272 maximal
1800.05/1800.61	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.61	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   and              :       0.09          0          0          0          0          0          0          0          0
1800.05/1800.61	c   linear           :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.61	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.61	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.05/1800.61	c   knapsack         :          1          0    6228439          0    1670168      47355    6535867          0          0          0
1800.05/1800.61	c   setppc           :        100          0    6920011          0    1677155      32581     367886          0          0          0
1800.05/1800.61	c   and              :        614          0    6887430          0    1677155       2577   60059624          0          0          0
1800.05/1800.61	c   linear           :          1          0    6872729          0    1677155     797920    1542692          0          0          0
1800.05/1800.61	c   logicor          :         50+         0    2266846          0    1676840      81736   14768411          0          0          0
1800.05/1800.61	c   countsols        :          0          0          0          0    1677154          0          0          0          0          0
1800.05/1800.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.61	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.61	c   knapsack         :      89.91       0.00      82.99       0.00       6.92
1800.05/1800.61	c   setppc           :      62.66       0.00      15.99       0.00      46.67
1800.05/1800.61	c   and              :     157.67       0.00     133.66       0.00      24.01
1800.05/1800.61	c   linear           :     226.21       0.00     224.53       0.00       1.68
1800.05/1800.61	c   logicor          :     463.57       0.00     459.64       0.00       3.93
1800.05/1800.61	c   countsols        :       0.86       0.00       0.00       0.00       0.86
1800.05/1800.61	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.61	c   vbounds          :       3.50          1          0          0
1800.05/1800.61	c   rootredcost      :       3.41          0          0          0
1800.05/1800.61	c   pseudoobj        :       3.13          0          0          0
1800.05/1800.61	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.61	c   propagation      :     153.35     962169     410491    2453081       59.8         65       63.1          -
1800.05/1800.61	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.61	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.61	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.61	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.61	c   applied globally :          -          -          -     493073       50.2          -          -          -
1800.05/1800.61	c   applied locally  :          -          -          -        637       76.6          -          -          -
1800.05/1800.61	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.61	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.05/1800.61	c   redcost          :       0.00          0          0          0          0          0
1800.05/1800.61	c   impliedbounds    :       0.00          0          0          0          0          0
1800.05/1800.61	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.61	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.61	c   gomory           :       0.00          0          0          0          0          0
1800.05/1800.61	c   strongcg         :       0.00          0          0          0          0          0
1800.05/1800.61	c   cmir             :       0.00          0          0          0          0          0
1800.05/1800.61	c   flowcover        :       0.00          0          0          0          0          0
1800.05/1800.61	c   clique           :       0.00          0          0          0          0          0
1800.05/1800.61	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.61	c   mcf              :       0.00          0          0          0          0          0
1800.05/1800.61	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.61	c Pricers            :       Time      Calls       Vars
1800.05/1800.61	c   problem variables:       0.00          0          0
1800.05/1800.61	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.61	c   relpscost        :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   inference        :      76.64    1677154          0          0          0          0    3354308
1800.05/1800.61	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.61	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.61	c   LP solutions     :       0.00          -          0
1800.05/1800.61	c   pseudo solutions :       0.00          -          0
1800.05/1800.61	c   trivial          :       0.00          1          0
1800.05/1800.61	c   simplerounding   :       0.00          0          0
1800.05/1800.61	c   zirounding       :       0.00          0          0
1800.05/1800.61	c   rounding         :       0.00          0          0
1800.05/1800.61	c   shifting         :       0.00          0          0
1800.05/1800.61	c   intshifting      :       0.00          0          0
1800.05/1800.61	c   oneopt           :       0.00          0          0
1800.05/1800.61	c   twoopt           :       0.00          0          0
1800.05/1800.61	c   fixandinfer      :       0.00          0          0
1800.05/1800.61	c   feaspump         :       0.00          0          0
1800.05/1800.61	c   coefdiving       :       0.00          0          0
1800.05/1800.61	c   pscostdiving     :       0.00          0          0
1800.05/1800.61	c   fracdiving       :       0.00          0          0
1800.05/1800.61	c   veclendiving     :       0.00          0          0
1800.05/1800.61	c   intdiving        :       0.00          0          0
1800.05/1800.61	c   actconsdiving    :       0.00          0          0
1800.05/1800.61	c   objpscostdiving  :       0.00          0          0
1800.05/1800.61	c   rootsoldiving    :       0.00          0          0
1800.05/1800.61	c   linesearchdiving :       0.00          0          0
1800.05/1800.61	c   guideddiving     :       0.00          0          0
1800.05/1800.61	c   octane           :       0.00          0          0
1800.05/1800.61	c   rens             :       0.00          0          0
1800.05/1800.61	c   rins             :       0.00          0          0
1800.05/1800.61	c   localbranching   :       0.00          0          0
1800.05/1800.61	c   mutation         :       0.00          0          0
1800.05/1800.61	c   crossover        :       0.00          0          0
1800.05/1800.61	c   dins             :       0.00          0          0
1800.05/1800.61	c   undercover       :       0.00          0          0
1800.05/1800.61	c   nlp              :       0.00          0          0
1800.05/1800.61	c   trysol           :       0.00          0          0
1800.05/1800.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.61	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.61	c   dual LP          :       0.00          0          0       0.00          -
1800.05/1800.61	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.61	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.61	c   diving/probing LP:       0.00          0          0       0.00          -
1800.05/1800.61	c   strong branching :       0.00          0          0       0.00          -
1800.05/1800.61	c     (at root node) :          -          0          0       0.00          -
1800.05/1800.61	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.61	c B&B Tree           :
1800.05/1800.61	c   number of runs   :          1
1800.05/1800.61	c   nodes            :    2568358
1800.05/1800.61	c   nodes (total)    :    2568358
1800.05/1800.61	c   nodes left       :     713257
1800.05/1800.61	c   max depth        :         78
1800.05/1800.61	c   max depth (total):         78
1800.05/1800.61	c   backtracks       :     175595 (6.8%)
1800.05/1800.61	c   delayed cutoffs  :      72694
1800.05/1800.61	c   repropagations   :    1033034 (4399010 domain reductions, 70965 cutoffs)
1800.05/1800.61	c   avg switch length:       4.75
1800.05/1800.61	c   switching time   :     430.51
1800.05/1800.61	c Solution           :
1800.05/1800.61	c   Solutions found  :          0 (0 improvements)
1800.05/1800.61	c   Primal Bound     :          -
1800.05/1800.61	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.61	c   Gap              :   infinite
1800.05/1800.61	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.61	c   Root Iterations  :          0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663487-1276683117/watcher-2663487-1276683117 -o /tmp/evaluation-result-2663487-1276683117/solver-2663487-1276683117 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663487-1276683117.opb -t 1800 -m 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15713
/proc/meminfo: memFree=1742252/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=6584 CPUtime=0
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 1007 0 0 0 0 0 0 0 20 0 1 0 9603950 6742016 929 1992294400 4194304 7136930 140734215764816 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15713/statm: 1646 938 254 719 0 925 0

[startup+0.0834899 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15713
/proc/meminfo: memFree=1742252/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=12168 CPUtime=0.07
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 2931 0 0 0 5 2 0 0 20 0 1 0 9603950 12460032 2242 1992294400 4194304 7136930 140734215764816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 3042 2242 327 719 0 2321 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12168

[startup+0.101491 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15713
/proc/meminfo: memFree=1742252/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=12168 CPUtime=0.09
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 2931 0 0 0 6 3 0 0 20 0 1 0 9603950 12460032 2242 1992294400 4194304 7136930 140734215764816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 3042 2242 327 719 0 2321 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12168

[startup+0.301511 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15713
/proc/meminfo: memFree=1742252/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=14332 CPUtime=0.29
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 5094 0 0 0 20 9 0 0 20 0 1 0 9603950 14675968 2863 1992294400 4194304 7136930 140734215764816 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 3583 2863 394 719 0 2862 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14332

[startup+0.701553 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15713
/proc/meminfo: memFree=1742252/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=16488 CPUtime=0.7
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 5616 0 0 0 57 13 0 0 21 0 1 0 9603950 16883712 3385 1992294400 4194304 7136930 140734215764816 18446744073709551615 4619677 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 4122 3385 394 719 0 3401 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 16488

[startup+1.50163 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15714
/proc/meminfo: memFree=1728728/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=20708 CPUtime=1.49
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 6677 0 0 0 128 21 0 0 23 0 1 0 9603950 21204992 4446 1992294400 4194304 7136930 140734215764816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 5177 4446 394 719 0 4456 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20708

[startup+3.1008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15714
/proc/meminfo: memFree=1724264/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=26932 CPUtime=3.09
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 8208 0 0 0 276 33 0 0 25 0 1 0 9603950 27578368 5977 1992294400 4194304 7136930 140734215764816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 6733 5977 394 719 0 6012 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26932

[startup+6.30112 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15714
/proc/meminfo: memFree=1712732/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=35616 CPUtime=6.29
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 10381 0 0 0 571 58 0 0 25 0 1 0 9603950 36470784 8150 1992294400 4194304 7136930 140734215764816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 8904 8150 394 719 0 8183 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35616

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15716
/proc/meminfo: memFree=1697976/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=50144 CPUtime=12.69
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 13950 0 0 0 1159 110 0 0 25 0 1 0 9603950 51347456 11719 1992294400 4194304 7136930 140734215764816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 12536 11719 394 719 0 11815 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50144

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15716
/proc/meminfo: memFree=1670324/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=77724 CPUtime=25.48
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 20812 0 0 0 2354 194 0 0 25 0 1 0 9603950 79589376 18581 1992294400 4194304 7136930 140734215764816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 19431 18581 394 719 0 18710 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 77724

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15716
/proc/meminfo: memFree=1623700/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=126112 CPUtime=51.08
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 32382 0 0 0 4752 356 0 0 25 0 1 0 9603950 129138688 30151 1992294400 4194304 7136930 140734215764816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 31528 30151 394 719 0 30807 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 126112

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15718
/proc/meminfo: memFree=1553640/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=196336 CPUtime=102.27
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 49846 0 0 0 9577 650 0 0 25 0 1 0 9603950 201048064 47615 1992294400 4194304 7136930 140734215764816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 49084 47615 394 719 0 48363 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 196336

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15720
/proc/meminfo: memFree=1462252/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=288268 CPUtime=162.24
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 72914 0 0 0 15187 1037 0 0 25 0 1 0 9603950 295186432 70683 1992294400 4194304 7136930 140734215764816 18446744073709551615 4434047 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 72067 70683 394 719 0 71346 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 288268

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15720
/proc/meminfo: memFree=1357472/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=395328 CPUtime=222.22
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 98742 0 0 0 20823 1399 0 0 25 0 1 0 9603950 404815872 96511 1992294400 4194304 7136930 140734215764816 18446744073709551615 4676375 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 98832 96511 394 719 0 98111 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 395328

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15722
/proc/meminfo: memFree=1270300/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=481308 CPUtime=282.21
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 120303 0 0 0 26493 1728 0 0 25 0 1 0 9603950 492859392 118072 1992294400 4194304 7136930 140734215764816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 120327 118072 394 719 0 119606 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 481308

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15724
/proc/meminfo: memFree=1187716/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=564264 CPUtime=342.19
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 141028 0 0 0 32167 2052 0 0 25 0 1 0 9603950 577806336 138797 1992294400 4194304 7136930 140734215764816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 141066 138797 394 719 0 140345 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 564264

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15726
/proc/meminfo: memFree=1109968/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=644148 CPUtime=402.17
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 160942 0 0 0 37865 2352 0 0 25 0 1 0 9603950 659607552 158711 1992294400 4194304 7136930 140734215764816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 161037 158711 394 719 0 160316 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 644148

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15728
/proc/meminfo: memFree=1031972/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=718028 CPUtime=462.16
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 179581 0 0 0 43569 2647 0 0 25 0 1 0 9603950 735260672 177350 1992294400 4194304 7136930 140734215764816 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 179507 177350 394 719 0 178786 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 718028

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15728
/proc/meminfo: memFree=965136/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=786656 CPUtime=522.14
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 196514 0 0 0 49272 2942 0 0 25 0 1 0 9603950 805535744 194283 1992294400 4194304 7136930 140734215764816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 196664 194283 394 719 0 195943 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 786656

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15730
/proc/meminfo: memFree=899044/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=861848 CPUtime=582.12
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 213242 0 0 0 54996 3216 0 0 25 0 1 0 9603950 882532352 211011 1992294400 4194304 7136930 140734215764816 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 215462 211011 394 719 0 214741 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 861848

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15732
/proc/meminfo: memFree=838904/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=919332 CPUtime=642.11
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 227685 0 0 0 60731 3480 0 0 25 0 1 0 9603950 941395968 225454 1992294400 4194304 7136930 140734215764816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 229833 225454 394 719 0 229112 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 919332

[startup+702.301 s]

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

/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 318430 0 0 0 101004 5192 0 0 25 0 1 0 9603950 1313374208 316199 1992294400 4194304 7136930 140734215764816 18446744073709551615 4665414 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 320648 316199 394 719 0 319927 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 1282592

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15744
/proc/meminfo: memFree=426232/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=1330732 CPUtime=1121.94
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 330420 0 0 0 106743 5451 0 0 25 0 1 0 9603950 1362669568 328189 1992294400 4194304 7136930 140734215764816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 332683 328189 394 719 0 331962 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 1330732

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15746
/proc/meminfo: memFree=385684/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=1370980 CPUtime=1181.92
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 340507 0 0 0 112501 5691 0 0 25 0 1 0 9603950 1403883520 338276 1992294400 4194304 7136930 140734215764816 18446744073709551615 4223062 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 342745 338276 394 719 0 342024 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 1370980

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15751
/proc/meminfo: memFree=351584/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=1404104 CPUtime=1241.9
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 348857 0 0 0 118283 5907 0 0 25 0 1 0 9603950 1437802496 346626 1992294400 4194304 7136930 140734215764816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 351026 346626 394 719 0 350305 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1404104

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15753
/proc/meminfo: memFree=322320/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=1433016 CPUtime=1301.89
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 356157 0 0 0 124046 6143 0 0 25 0 1 0 9603950 1467408384 353926 1992294400 4194304 7136930 140734215764816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 358254 353926 394 719 0 357533 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1433016

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15755
/proc/meminfo: memFree=299008/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=1456184 CPUtime=1361.86
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 364790 0 0 0 129796 6390 0 0 25 0 1 0 9603950 1491132416 359739 1992294400 4194304 7136930 140734215764816 18446744073709551615 5908957 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 364046 359739 394 719 0 363325 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1456184

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15755
/proc/meminfo: memFree=296032/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=1459412 CPUtime=1421.86
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 365541 0 0 0 135599 6587 0 0 25 0 1 0 9603950 1494437888 360490 1992294400 4194304 7136930 140734215764816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 364853 360490 394 719 0 364132 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1459412

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15757
/proc/meminfo: memFree=294668/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=1461132 CPUtime=1481.83
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 365901 0 0 0 141386 6797 0 0 25 0 1 0 9603950 1496199168 360850 1992294400 4194304 7136930 140734215764816 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 365283 360850 394 719 0 364562 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1461132

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15759
/proc/meminfo: memFree=293924/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=1462248 CPUtime=1541.81
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 366094 0 0 0 147183 6998 0 0 25 0 1 0 9603950 1497341952 361043 1992294400 4194304 7136930 140734215764816 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 365562 361043 394 719 0 364841 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1462248

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15761
/proc/meminfo: memFree=293056/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=1463044 CPUtime=1601.79
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 366300 0 0 0 152980 7199 0 0 25 0 1 0 9603950 1498157056 361249 1992294400 4194304 7136930 140734215764816 18446744073709551615 4220980 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 365761 361249 394 719 0 365040 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1463044

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15763
/proc/meminfo: memFree=292808/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=1463176 CPUtime=1661.78
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 366359 0 0 0 158818 7360 0 0 25 0 1 0 9603950 1498292224 361308 1992294400 4194304 7136930 140734215764816 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 365794 361308 394 719 0 365073 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1463176

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15763
/proc/meminfo: memFree=291816/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=1464148 CPUtime=1721.76
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 366592 0 0 0 164666 7510 0 0 25 0 1 0 9603950 1499287552 361541 1992294400 4194304 7136930 140734215764816 18446744073709551615 4999661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 366037 361541 394 719 0 365316 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1464148

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15765
/proc/meminfo: memFree=291072/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=1465176 CPUtime=1781.74
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 366725 0 0 0 170516 7658 0 0 25 0 1 0 9603950 1500340224 361674 1992294400 4194304 7136930 140734215764816 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 366294 361674 394 719 0 365573 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1465176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15765
/proc/meminfo: memFree=291072/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=1465212 CPUtime=1800.05
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 366729 0 0 0 172306 7699 0 0 25 0 1 0 9603950 1500377088 361678 1992294400 4194304 7136930 140734215764816 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15713/statm: 366303 361678 394 719 0 365582 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1465212

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -15713

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15765
/proc/meminfo: memFree=291072/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=1465268 CPUtime=1800.84
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 366754 0 0 0 172385 7699 0 0 25 0 1 0 9603950 1500434432 361703 1992294400 4194304 7136930 140734215764816 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15713/statm: 366317 361703 399 719 0 365596 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 1465268

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 15766
/proc/meminfo: memFree=290816/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=1464244 CPUtime=1801.64
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 366754 0 0 0 172465 7699 0 0 25 0 1 0 9603950 1499385856 361447 1992294400 4194304 7136930 140734215764816 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15713/statm: 366061 361447 399 719 0 365340 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 1464244

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 15766
/proc/meminfo: memFree=290816/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=1464244 CPUtime=1802.04
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4202496 366754 0 0 0 172505 7699 0 0 25 0 1 0 9603950 1499385856 361447 1992294400 4194304 7136930 140734215764816 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15713/statm: 366061 361447 399 719 0 365340 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 1464244

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 15766
/proc/meminfo: memFree=290816/2059040 swapFree=4192956/4192956
[pid=15713] ppid=15711 vsize=0 CPUtime=1802.14
/proc/15713/stat : 15713 (pbscip.linux.x8) R 15711 15713 15530 0 -1 4203524 366754 0 0 0 172506 7708 0 0 25 0 1 0 9603950 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15713/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.75
CPU time (s): 1802.2
CPU user time (s): 1725.07
CPU system time (s): 77.1333
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 1468288

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

runsolver used 3.19551 second user time and 8.31874 second system time

The end

Launcher Data 

Begin job on node045 at 2010-06-16 12:11:58
IDJOB=2663487
IDBENCH=48365
IDSOLVER=1167
FILE ID=node045/2663487-1276683117
PBS_JOBID= 11172573
Free space on /tmp= 62460 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_50_10_4_15.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663487-1276683117/watcher-2663487-1276683117 -o /tmp/evaluation-result-2663487-1276683117/solver-2663487-1276683117 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663487-1276683117.opb -t 1800 -m 1800

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

MD5SUM BENCH= 521a5315af7cbff32722a5aa297c08a4
RANDOM SEED=814785360

node045.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.247
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.247
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1743028 kB
Buffers:         72736 kB
Cached:         117996 kB
SwapCached:          0 kB
Active:          92676 kB
Inactive:       157460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1743028 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3236 kB
Writeback:           0 kB
AnonPages:       59348 kB
Mapped:          15352 kB
Slab:            44124 kB
PageTables:       4000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182692 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62456 MiB
End job on node045 at 2010-06-16 12:42:00