Trace number 2664733

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.1 1802.56

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb
MD5SUM6f6d5bf9df98767681bd16885050de4b
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.19497
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables3900
Total number of constraints125
Number of constraints which are clauses65
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint65
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 66
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2664733-1276577357.opb>
0.00/0.03	c original problem has 3900 variables (3900 bin, 0 int, 0 impl, 0 cont) and 125 constraints
0.00/0.03	c problem read
0.00/0.03	c No objective function, only one solution is needed.
0.00/0.03	c presolving settings loaded
0.00/0.03	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.07	c presolving:
0.00/0.09	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 65 upgd conss, 0 impls, 60 clqs
0.09/0.10	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 125 upgd conss, 0 impls, 60 clqs
0.09/0.10	c presolving (3 rounds):
0.09/0.10	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.10	c  0 implications, 60 cliques
0.09/0.10	c presolved problem has 3900 variables (3900 bin, 0 int, 0 impl, 0 cont) and 125 constraints
0.09/0.10	c      60 constraints of type <setppc>
0.09/0.10	c      65 constraints of type <logicor>
0.09/0.10	c transformed objective value is always integral (scale: 1)
0.09/0.10	c Presolving Time: 0.05
0.09/0.10	c - non default parameters ----------------------------------------------------------------------
0.09/0.10	c # SCIP version 1.2.1.2
0.09/0.10	c 
0.09/0.10	c # frequency for displaying node information lines
0.09/0.10	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10	c display/freq = 10000
0.09/0.10	c 
0.09/0.10	c # maximal time in seconds to run
0.09/0.10	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10	c limits/time = 1799.98
0.09/0.10	c 
0.09/0.10	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10	c limits/memory = 1620
0.09/0.10	c 
0.09/0.10	c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.10	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10	c limits/solutions = 1
0.09/0.10	c 
0.09/0.10	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.10	c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.10	c lp/solvefreq = -1
0.09/0.10	c 
0.09/0.10	c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.10	c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.10	c separating/maxrounds = 1
0.09/0.10	c 
0.09/0.10	c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.10	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10	c separating/maxroundsroot = 5
0.09/0.10	c 
0.09/0.10	c # should presolving try to simplify inequalities
0.09/0.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10	c constraints/linear/simplifyinequalities = TRUE
0.09/0.10	c 
0.09/0.10	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.10	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.10	c constraints/knapsack/disaggregation = FALSE
0.09/0.10	c 
0.09/0.10	c # should presolving try to simplify knapsacks
0.09/0.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10	c 
0.09/0.10	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.10	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10	c presolving/probing/maxrounds = 0
0.09/0.10	c 
0.09/0.10	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.10	c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.10	c heuristics/coefdiving/freq = -1
0.09/0.10	c 
0.09/0.10	c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.10	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.10	c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.10	c 
0.09/0.10	c # additional number of allowed LP iterations
0.09/0.10	c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.10	c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.10	c 
0.09/0.10	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.10	c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.10	c heuristics/crossover/freq = -1
0.09/0.10	c 
0.09/0.10	c # number of nodes added to the contingent of the total nodes
0.09/0.10	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.10	c heuristics/crossover/nodesofs = 750
0.09/0.11	c 
0.09/0.11	c # number of nodes without incumbent change that heuristic should wait
0.09/0.11	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.11	c heuristics/crossover/nwaitingnodes = 100
0.09/0.11	c 
0.09/0.11	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.11	c # [type: real, range: [0,1], default: 0.1]
0.09/0.11	c heuristics/crossover/nodesquot = 0.15
0.09/0.11	c 
0.09/0.11	c # minimum percentage of integer variables that have to be fixed 
0.09/0.11	c # [type: real, range: [0,1], default: 0.666]
0.09/0.11	c heuristics/crossover/minfixingrate = 0.5
0.09/0.11	c 
0.09/0.11	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.11	c heuristics/feaspump/freq = -1
0.09/0.11	c 
0.09/0.11	c # additional number of allowed LP iterations
0.09/0.11	c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11	c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.11	c 
0.09/0.11	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11	c heuristics/fracdiving/freq = -1
0.09/0.11	c 
0.09/0.11	c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11	c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.11	c 
0.09/0.11	c # additional number of allowed LP iterations
0.09/0.11	c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11	c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.11	c 
0.09/0.11	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11	c heuristics/guideddiving/freq = -1
0.09/0.11	c 
0.09/0.11	c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11	c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.11	c 
0.09/0.11	c # additional number of allowed LP iterations
0.09/0.11	c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11	c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.11	c 
0.09/0.11	c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11	c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.11	c 
0.09/0.11	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11	c heuristics/intshifting/freq = -1
0.09/0.11	c 
0.09/0.11	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11	c heuristics/linesearchdiving/freq = -1
0.09/0.11	c 
0.09/0.11	c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.11	c 
0.09/0.11	c # additional number of allowed LP iterations
0.09/0.11	c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.11	c 
0.09/0.11	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11	c heuristics/nlp/freq = -1
0.09/0.11	c 
0.09/0.11	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.11	c heuristics/objpscostdiving/freq = -1
0.09/0.11	c 
0.09/0.11	c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.11	c # [type: real, range: [0,1], default: 0.01]
0.09/0.11	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.11	c 
0.09/0.11	c # additional number of allowed LP iterations
0.09/0.11	c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.11	c 
0.09/0.11	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11	c heuristics/oneopt/freq = -1
0.09/0.11	c 
0.09/0.11	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11	c heuristics/pscostdiving/freq = -1
0.09/0.11	c 
0.09/0.11	c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.11	c 
0.09/0.11	c # additional number of allowed LP iterations
0.09/0.11	c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11	c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.11	c 
0.09/0.11	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.11	c heuristics/rens/freq = -1
0.09/0.11	c 
0.09/0.11	c # minimum percentage of integer variables that have to be fixable 
0.09/0.11	c # [type: real, range: [0,1], default: 0.5]
0.09/0.11	c heuristics/rens/minfixingrate = 0.3
0.09/0.11	c 
0.09/0.11	c # number of nodes added to the contingent of the total nodes
0.09/0.11	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.11	c heuristics/rens/nodesofs = 2000
0.09/0.11	c 
0.09/0.11	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.11	c heuristics/rootsoldiving/freq = -1
0.09/0.11	c 
0.09/0.11	c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.11	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.11	c 
0.09/0.11	c # additional number of allowed LP iterations
0.09/0.11	c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.11	c 
0.09/0.11	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11	c heuristics/rounding/freq = -1
0.09/0.11	c 
0.09/0.11	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11	c heuristics/shifting/freq = -1
0.09/0.11	c 
0.09/0.11	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11	c heuristics/simplerounding/freq = -1
0.09/0.11	c 
0.09/0.11	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.11	c heuristics/trivial/freq = -1
0.09/0.11	c 
0.09/0.11	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11	c heuristics/trysol/freq = -1
0.09/0.11	c 
0.09/0.11	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11	c heuristics/veclendiving/freq = -1
0.09/0.11	c 
0.09/0.11	c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11	c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.11	c 
0.09/0.11	c # additional number of allowed LP iterations
0.09/0.11	c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11	c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.11	c 
0.09/0.11	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11	c heuristics/zirounding/freq = -1
0.09/0.11	c 
0.09/0.11	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.11	c separating/cmir/freq = -1
0.09/0.11	c 
0.09/0.11	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.11	c separating/flowcover/freq = -1
0.09/0.11	c 
0.09/0.11	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11	c separating/rapidlearning/freq = 0
0.09/0.11	c 
0.09/0.11	c -----------------------------------------------------------------------------------------------
0.09/0.11	c start solving
0.09/0.11	c 
0.09/0.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.11	c   0.1s|     1 |     2 |     0 |     - |6773k|   0 |   - |3900 | 125 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
12.88/12.95	c  12.8s| 10000 |  9985 |     0 |   0.0 |  10M|2704 |   - |3900 | 178 |   0 |   0 |   0 |  55 |   0 | 0.000000e+00 |      --      |    Inf 
26.49/26.58	c  26.2s| 20000 | 19965 |     0 |   0.0 |  14M|2704 |   - |3900 | 222 |   0 |   0 |   0 | 154 |   0 | 0.000000e+00 |      --      |    Inf 
40.68/40.80	c  40.3s| 30000 | 29947 |     0 |   0.0 |  17M|2704 |   - |3900 | 234 |   0 |   0 |   0 | 266 |   0 | 0.000000e+00 |      --      |    Inf 
55.58/55.66	c  55.0s| 40000 | 39927 |     0 |   0.0 |  20M|2704 |   - |3900 | 287 |   0 |   0 |   0 | 386 |   0 | 0.000000e+00 |      --      |    Inf 
70.27/70.34	c  69.5s| 50000 | 49915 |     0 |   0.0 |  23M|2730 |   - |3900 | 228 |   0 |   0 |   0 | 457 |   0 | 0.000000e+00 |      --      |    Inf 
85.47/85.52	c  84.6s| 60000 | 59904 |     0 |   0.0 |  26M|2854 |   - |3900 | 204 |   0 |   0 |   0 | 520 |   0 | 0.000000e+00 |      --      |    Inf 
100.36/100.40	c  99.3s| 70000 | 69883 |     0 |   0.0 |  28M|3042 |   - |3900 | 201 |   0 |   0 |   0 | 586 |   0 | 0.000000e+00 |      --      |    Inf 
115.47/115.59	c   114s| 80000 | 79870 |     0 |   0.0 |  31M|3048 |   - |3900 | 189 |   0 |   0 |   0 | 613 |   0 | 0.000000e+00 |      --      |    Inf 
130.36/130.45	c   129s| 90000 | 89852 |     0 |   0.0 |  34M|3062 |   - |3900 | 163 |   0 |   0 |   0 | 630 |   0 | 0.000000e+00 |      --      |    Inf 
145.26/145.38	c   144s|100000 | 99825 |     0 |   0.0 |  37M|3062 |   - |3900 | 191 |   0 |   0 |   0 | 688 |   0 | 0.000000e+00 |      --      |    Inf 
160.66/160.72	c   159s|110000 |109814 |     0 |   0.0 |  39M|3062 |   - |3900 | 173 |   0 |   0 |   0 | 710 |   0 | 0.000000e+00 |      --      |    Inf 
175.44/175.59	c   174s|120000 |119794 |     0 |   0.0 |  42M|3066 |   - |3900 | 165 |   0 |   0 |   0 | 734 |   0 | 0.000000e+00 |      --      |    Inf 
190.54/190.60	c   189s|130000 |129771 |     0 |   0.0 |  45M|3127 |   - |3900 | 166 |   0 |   0 |   0 | 774 |   0 | 0.000000e+00 |      --      |    Inf 
205.54/205.64	c   204s|140000 |139758 |     0 |   0.0 |  48M|3167 |   - |3900 | 167 |   0 |   0 |   0 | 798 |   0 | 0.000000e+00 |      --      |    Inf 
220.54/220.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
220.54/220.65	c   218s|150000 |149741 |     0 |   0.0 |  50M|3199 |   - |3900 | 169 |   0 |   0 |   0 | 818 |   0 | 0.000000e+00 |      --      |    Inf 
235.14/235.20	c   233s|160000 |159726 |     0 |   0.0 |  53M|3239 |   - |3900 | 166 |   0 |   0 |   0 | 833 |   0 | 0.000000e+00 |      --      |    Inf 
249.23/249.39	c   247s|170000 |169711 |     0 |   0.0 |  56M|3246 |   - |3900 | 171 |   0 |   0 |   0 | 854 |   0 | 0.000000e+00 |      --      |    Inf 
263.52/263.64	c   261s|180000 |179695 |     0 |   0.0 |  59M|3246 |   - |3900 | 189 |   0 |   0 |   0 | 885 |   0 | 0.000000e+00 |      --      |    Inf 
278.72/278.84	c   276s|190000 |189673 |     0 |   0.0 |  61M|3246 |   - |3900 | 200 |   0 |   0 |   0 | 926 |   0 | 0.000000e+00 |      --      |    Inf 
293.22/293.35	c   290s|200000 |199649 |     0 |   0.0 |  64M|3246 |   - |3900 | 196 |   0 |   0 |   0 | 973 |   0 | 0.000000e+00 |      --      |    Inf 
308.31/308.42	c   305s|210000 |209632 |     0 |   0.0 |  67M|3246 |   - |3900 | 177 |   0 |   0 |   0 | 984 |   0 | 0.000000e+00 |      --      |    Inf 
322.81/322.98	c   320s|220000 |219612 |     0 |   0.0 |  70M|3246 |   - |3900 | 201 |   0 |   0 |   0 |1022 |   0 | 0.000000e+00 |      --      |    Inf 
337.31/337.48	c   334s|230000 |229595 |     0 |   0.0 |  72M|3246 |   - |3900 | 214 |   0 |   0 |   0 |1051 |   0 | 0.000000e+00 |      --      |    Inf 
352.31/352.47	c   349s|240000 |239576 |     0 |   0.0 |  75M|3246 |   - |3900 | 218 |   0 |   0 |   0 |1106 |   0 | 0.000000e+00 |      --      |    Inf 
366.70/366.83	c   363s|250000 |249562 |     0 |   0.0 |  78M|3246 |   - |3900 | 218 |   0 |   0 |   0 |1135 |   0 | 0.000000e+00 |      --      |    Inf 
381.49/381.64	c   378s|260000 |259549 |     0 |   0.0 |  81M|3246 |   - |3900 | 214 |   0 |   0 |   0 |1151 |   0 | 0.000000e+00 |      --      |    Inf 
396.19/396.38	c   393s|270000 |269526 |     0 |   0.0 |  83M|3246 |   - |3900 | 250 |   0 |   0 |   0 |1206 |   0 | 0.000000e+00 |      --      |    Inf 
410.59/410.73	c   407s|280000 |279515 |     0 |   0.0 |  86M|3246 |   - |3900 | 212 |   0 |   0 |   0 |1215 |   0 | 0.000000e+00 |      --      |    Inf 
425.69/425.88	c   422s|290000 |289493 |     0 |   0.0 |  89M|3246 |   - |3900 | 216 |   0 |   0 |   0 |1240 |   0 | 0.000000e+00 |      --      |    Inf 
439.68/439.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
439.68/439.82	c   436s|300000 |299477 |     0 |   0.0 |  92M|3246 |   - |3900 | 225 |   0 |   0 |   0 |1267 |   0 | 0.000000e+00 |      --      |    Inf 
454.58/454.76	c   450s|310000 |309464 |     0 |   0.0 |  94M|3246 |   - |3900 | 221 |   0 |   0 |   0 |1292 |   0 | 0.000000e+00 |      --      |    Inf 
468.68/468.85	c   464s|320000 |319452 |     0 |   0.0 |  97M|3246 |   - |3900 | 211 |   0 |   0 |   0 |1319 |   0 | 0.000000e+00 |      --      |    Inf 
483.17/483.35	c   479s|330000 |329441 |     0 |   0.0 | 100M|3246 |   - |3900 | 231 |   0 |   0 |   0 |1350 |   0 | 0.000000e+00 |      --      |    Inf 
497.67/497.89	c   493s|340000 |339423 |     0 |   0.0 | 103M|3246 |   - |3900 | 248 |   0 |   0 |   0 |1407 |   0 | 0.000000e+00 |      --      |    Inf 
511.86/512.08	c   507s|350000 |349402 |     0 |   0.0 | 105M|3246 |   - |3900 | 238 |   0 |   0 |   0 |1447 |   0 | 0.000000e+00 |      --      |    Inf 
526.56/526.74	c   522s|360000 |359391 |     0 |   0.0 | 108M|3246 |   - |3900 | 220 |   0 |   0 |   0 |1460 |   0 | 0.000000e+00 |      --      |    Inf 
541.16/541.33	c   536s|370000 |369373 |     0 |   0.0 | 111M|3246 |   - |3900 | 223 |   0 |   0 |   0 |1485 |   0 | 0.000000e+00 |      --      |    Inf 
555.46/555.66	c   550s|380000 |379357 |     0 |   0.0 | 114M|3246 |   - |3900 | 240 |   0 |   0 |   0 |1529 |   0 | 0.000000e+00 |      --      |    Inf 
569.55/569.70	c   564s|390000 |389337 |     0 |   0.0 | 116M|3246 |   - |3900 | 247 |   0 |   0 |   0 |1573 |   0 | 0.000000e+00 |      --      |    Inf 
583.35/583.51	c   578s|400000 |399324 |     0 |   0.0 | 119M|3246 |   - |3900 | 227 |   0 |   0 |   0 |1595 |   0 | 0.000000e+00 |      --      |    Inf 
597.94/598.18	c   592s|410000 |409303 |     0 |   0.0 | 122M|3246 |   - |3900 | 257 |   0 |   0 |   0 |1652 |   0 | 0.000000e+00 |      --      |    Inf 
612.65/612.83	c   607s|420000 |419278 |     0 |   0.0 | 125M|3246 |   - |3900 | 246 |   0 |   0 |   0 |1675 |   0 | 0.000000e+00 |      --      |    Inf 
626.73/626.92	c   621s|430000 |429260 |     0 |   0.0 | 128M|3246 |   - |3900 | 266 |   0 |   0 |   0 |1725 |   0 | 0.000000e+00 |      --      |    Inf 
640.84/641.07	c   635s|440000 |439240 |     0 |   0.0 | 130M|3246 |   - |3900 | 273 |   0 |   0 |   0 |1774 |   0 | 0.000000e+00 |      --      |    Inf 
654.73/654.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
654.73/654.98	c   649s|450000 |449226 |     0 |   0.0 | 133M|3246 |   - |3900 | 267 |   0 |   0 |   0 |1805 |   0 | 0.000000e+00 |      --      |    Inf 
668.63/668.82	c   662s|460000 |459211 |     0 |   0.0 | 136M|3246 |   - |3900 | 260 |   0 |   0 |   0 |1828 |   0 | 0.000000e+00 |      --      |    Inf 
683.32/683.51	c   677s|470000 |469190 |     0 |   0.0 | 139M|3246 |   - |3900 | 259 |   0 |   0 |   0 |1869 |   0 | 0.000000e+00 |      --      |    Inf 
697.41/697.67	c   691s|480000 |479178 |     0 |   0.0 | 141M|3246 |   - |3900 | 261 |   0 |   0 |   0 |1911 |   0 | 0.000000e+00 |      --      |    Inf 
711.31/711.52	c   705s|490000 |489158 |     0 |   0.0 | 144M|3246 |   - |3900 | 287 |   0 |   0 |   0 |1979 |   0 | 0.000000e+00 |      --      |    Inf 
724.91/725.16	c   718s|500000 |499136 |     0 |   0.0 | 147M|3246 |   - |3900 | 286 |   0 |   0 |   0 |2037 |   0 | 0.000000e+00 |      --      |    Inf 
738.50/738.72	c   732s|510000 |509120 |     0 |   0.0 | 150M|3246 |   - |3900 | 289 |   0 |   0 |   0 |2091 |   0 | 0.000000e+00 |      --      |    Inf 
752.00/752.26	c   745s|520000 |519102 |     0 |   0.0 | 153M|3246 |   - |3900 | 307 |   0 |   0 |   0 |2146 |   0 | 0.000000e+00 |      --      |    Inf 
765.79/766.06	c   759s|530000 |529083 |     0 |   0.0 | 156M|3246 |   - |3900 | 320 |   0 |   0 |   0 |2202 |   0 | 0.000000e+00 |      --      |    Inf 
779.70/779.95	c   772s|540000 |539062 |     0 |   0.0 | 158M|3246 |   - |3900 | 318 |   0 |   0 |   0 |2244 |   0 | 0.000000e+00 |      --      |    Inf 
793.39/793.63	c   786s|550000 |549042 |     0 |   0.0 | 161M|3246 |   - |3900 | 319 |   0 |   0 |   0 |2293 |   0 | 0.000000e+00 |      --      |    Inf 
806.99/807.27	c   799s|560000 |559028 |     0 |   0.0 | 164M|3246 |   - |3900 | 307 |   0 |   0 |   0 |2332 |   0 | 0.000000e+00 |      --      |    Inf 
820.78/821.03	c   813s|570000 |569008 |     0 |   0.0 | 167M|3246 |   - |3900 | 336 |   0 |   0 |   0 |2389 |   0 | 0.000000e+00 |      --      |    Inf 
834.47/834.73	c   827s|580000 |578984 |     0 |   0.0 | 169M|3246 |   - |3900 | 319 |   0 |   0 |   0 |2455 |   0 | 0.000000e+00 |      --      |    Inf 
848.08/848.39	c   840s|590000 |588961 |     0 |   0.0 | 172M|3246 |   - |3900 | 325 |   0 |   0 |   0 |2504 |   0 | 0.000000e+00 |      --      |    Inf 
861.77/862.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
861.77/862.00	c   854s|600000 |598941 |     0 |   0.0 | 175M|3246 |   - |3900 | 316 |   0 |   0 |   0 |2530 |   0 | 0.000000e+00 |      --      |    Inf 
875.16/875.41	c   867s|610000 |608930 |     0 |   0.0 | 178M|3246 |   - |3900 | 320 |   0 |   0 |   0 |2553 |   0 | 0.000000e+00 |      --      |    Inf 
888.86/889.14	c   880s|620000 |618910 |     0 |   0.0 | 180M|3246 |   - |3900 | 330 |   0 |   0 |   0 |2597 |   0 | 0.000000e+00 |      --      |    Inf 
902.46/902.73	c   894s|630000 |628880 |     0 |   0.0 | 183M|3246 |   - |3900 | 375 |   0 |   0 |   0 |2683 |   0 | 0.000000e+00 |      --      |    Inf 
915.86/916.13	c   907s|640000 |638857 |     0 |   0.0 | 186M|3246 |   - |3900 | 367 |   0 |   0 |   0 |2744 |   0 | 0.000000e+00 |      --      |    Inf 
928.85/929.15	c   920s|650000 |648839 |     0 |   0.0 | 189M|3246 |   - |3900 | 386 |   0 |   0 |   0 |2812 |   0 | 0.000000e+00 |      --      |    Inf 
942.65/942.91	c   934s|660000 |658808 |     0 |   0.0 | 192M|3246 |   - |3900 | 376 |   0 |   0 |   0 |2892 |   0 | 0.000000e+00 |      --      |    Inf 
956.05/956.30	c   947s|670000 |668792 |     0 |   0.0 | 194M|3246 |   - |3900 | 337 |   0 |   0 |   0 |2928 |   0 | 0.000000e+00 |      --      |    Inf 
969.24/969.54	c   960s|680000 |678769 |     0 |   0.0 | 197M|3246 |   - |3900 | 358 |   0 |   0 |   0 |2991 |   0 | 0.000000e+00 |      --      |    Inf 
982.54/982.89	c   973s|690000 |688753 |     0 |   0.0 | 200M|3246 |   - |3900 | 353 |   0 |   0 |   0 |3026 |   0 | 0.000000e+00 |      --      |    Inf 
995.93/996.26	c   986s|700000 |698736 |     0 |   0.0 | 203M|3246 |   - |3900 | 348 |   0 |   0 |   0 |3065 |   0 | 0.000000e+00 |      --      |    Inf 
1009.24/1009.58	c  1000s|710000 |708714 |     0 |   0.0 | 205M|3246 |   - |3900 | 371 |   0 |   0 |   0 |3126 |   0 | 0.000000e+00 |      --      |    Inf 
1022.73/1023.02	c  1013s|720000 |718683 |     0 |   0.0 | 208M|3246 |   - |3900 | 386 |   0 |   0 |   0 |3181 |   0 | 0.000000e+00 |      --      |    Inf 
1036.04/1036.36	c  1026s|730000 |728665 |     0 |   0.0 | 211M|3246 |   - |3900 | 373 |   0 |   0 |   0 |3205 |   0 | 0.000000e+00 |      --      |    Inf 
1048.92/1049.26	c  1039s|740000 |738649 |     0 |   0.0 | 214M|3246 |   - |3900 | 374 |   0 |   0 |   0 |3231 |   0 | 0.000000e+00 |      --      |    Inf 
1062.12/1062.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1062.12/1062.43	c  1052s|750000 |748620 |     0 |   0.0 | 217M|3246 |   - |3900 | 402 |   0 |   0 |   0 |3299 |   0 | 0.000000e+00 |      --      |    Inf 
1075.31/1075.63	c  1065s|760000 |758602 |     0 |   0.0 | 219M|3246 |   - |3900 | 413 |   0 |   0 |   0 |3360 |   0 | 0.000000e+00 |      --      |    Inf 
1088.51/1088.87	c  1078s|770000 |768579 |     0 |   0.0 | 222M|3246 |   - |3900 | 414 |   0 |   0 |   0 |3420 |   0 | 0.000000e+00 |      --      |    Inf 
1101.71/1102.08	c  1091s|780000 |778559 |     0 |   0.0 | 225M|3246 |   - |3900 | 415 |   0 |   0 |   0 |3467 |   0 | 0.000000e+00 |      --      |    Inf 
1114.81/1115.18	c  1104s|790000 |788537 |     0 |   0.0 | 228M|3246 |   - |3900 | 405 |   0 |   0 |   0 |3495 |   0 | 0.000000e+00 |      --      |    Inf 
1127.60/1127.90	c  1117s|800000 |798512 |     0 |   0.0 | 230M|3246 |   - |3900 | 415 |   0 |   0 |   0 |3532 |   0 | 0.000000e+00 |      --      |    Inf 
1140.20/1140.55	c  1129s|810000 |808491 |     0 |   0.0 | 233M|3246 |   - |3900 | 431 |   0 |   0 |   0 |3586 |   0 | 0.000000e+00 |      --      |    Inf 
1153.10/1153.49	c  1142s|820000 |818475 |     0 |   0.0 | 236M|3246 |   - |3900 | 419 |   0 |   0 |   0 |3610 |   0 | 0.000000e+00 |      --      |    Inf 
1165.80/1166.14	c  1154s|830000 |828452 |     0 |   0.0 | 239M|3246 |   - |3900 | 458 |   0 |   0 |   0 |3679 |   0 | 0.000000e+00 |      --      |    Inf 
1177.99/1178.35	c  1167s|840000 |838435 |     0 |   0.0 | 242M|3246 |   - |3900 | 444 |   0 |   0 |   0 |3741 |   0 | 0.000000e+00 |      --      |    Inf 
1190.99/1191.37	c  1179s|850000 |848412 |     0 |   0.0 | 244M|3246 |   - |3900 | 467 |   0 |   0 |   0 |3800 |   0 | 0.000000e+00 |      --      |    Inf 
1203.79/1204.10	c  1192s|860000 |858396 |     0 |   0.0 | 247M|3246 |   - |3900 | 426 |   0 |   0 |   0 |3814 |   0 | 0.000000e+00 |      --      |    Inf 
1216.28/1216.67	c  1204s|870000 |868377 |     0 |   0.0 | 250M|3246 |   - |3900 | 435 |   0 |   0 |   0 |3847 |   0 | 0.000000e+00 |      --      |    Inf 
1228.78/1229.19	c  1217s|880000 |878358 |     0 |   0.0 | 253M|3246 |   - |3900 | 466 |   0 |   0 |   0 |3914 |   0 | 0.000000e+00 |      --      |    Inf 
1241.48/1241.80	c  1229s|890000 |888342 |     0 |   0.0 | 256M|3246 |   - |3900 | 467 |   0 |   0 |   0 |3970 |   0 | 0.000000e+00 |      --      |    Inf 
1253.67/1254.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1253.67/1254.02	c  1241s|900000 |898322 |     0 |   0.0 | 258M|3246 |   - |3900 | 464 |   0 |   0 |   0 |4024 |   0 | 0.000000e+00 |      --      |    Inf 
1266.27/1266.66	c  1254s|910000 |908299 |     0 |   0.0 | 261M|3246 |   - |3900 | 508 |   0 |   0 |   0 |4130 |   0 | 0.000000e+00 |      --      |    Inf 
1278.16/1278.53	c  1266s|920000 |918272 |     0 |   0.0 | 264M|3246 |   - |3900 | 574 |   0 |   0 |   0 |4254 |   0 | 0.000000e+00 |      --      |    Inf 
1290.66/1291.05	c  1278s|930000 |928250 |     0 |   0.0 | 267M|3246 |   - |3900 | 553 |   0 |   0 |   0 |4315 |   0 | 0.000000e+00 |      --      |    Inf 
1302.86/1303.29	c  1290s|940000 |938231 |     0 |   0.0 | 270M|3246 |   - |3900 | 575 |   0 |   0 |   0 |4400 |   0 | 0.000000e+00 |      --      |    Inf 
1315.06/1315.47	c  1302s|950000 |948209 |     0 |   0.0 | 273M|3246 |   - |3900 | 560 |   0 |   0 |   0 |4462 |   0 | 0.000000e+00 |      --      |    Inf 
1327.36/1327.79	c  1314s|960000 |958188 |     0 |   0.0 | 275M|3246 |   - |3900 | 537 |   0 |   0 |   0 |4514 |   0 | 0.000000e+00 |      --      |    Inf 
1339.25/1339.61	c  1326s|970000 |968159 |     0 |   0.0 | 278M|3246 |   - |3900 | 570 |   0 |   0 |   0 |4618 |   0 | 0.000000e+00 |      --      |    Inf 
1351.65/1352.03	c  1338s|980000 |978147 |     0 |   0.0 | 281M|3246 |   - |3900 | 530 |   0 |   0 |   0 |4636 |   0 | 0.000000e+00 |      --      |    Inf 
1363.45/1363.88	c  1350s|990000 |988130 |     0 |   0.0 | 284M|3246 |   - |3900 | 540 |   0 |   0 |   0 |4669 |   0 | 0.000000e+00 |      --      |    Inf 
1376.14/1376.54	c  1363s|  1000k|998106 |     0 |   0.0 | 286M|3246 |   - |3900 | 552 |   0 |   0 |   0 |4707 |   0 | 0.000000e+00 |      --      |    Inf 
1388.04/1388.41	c  1374s|  1010k|  1008k|     0 |   0.0 | 289M|3246 |   - |3900 | 589 |   0 |   0 |   0 |4774 |   0 | 0.000000e+00 |      --      |    Inf 
1400.44/1400.84	c  1387s|  1020k|  1018k|     0 |   0.0 | 292M|3246 |   - |3900 | 588 |   0 |   0 |   0 |4844 |   0 | 0.000000e+00 |      --      |    Inf 
1412.33/1412.72	c  1398s|  1030k|  1028k|     0 |   0.0 | 295M|3246 |   - |3900 | 594 |   0 |   0 |   0 |4891 |   0 | 0.000000e+00 |      --      |    Inf 
1424.42/1424.87	c  1410s|  1040k|  1038k|     0 |   0.0 | 298M|3246 |   - |3900 | 615 |   0 |   0 |   0 |4969 |   0 | 0.000000e+00 |      --      |    Inf 
1436.23/1436.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1436.23/1436.62	c  1422s|  1050k|  1047k|     0 |   0.0 | 301M|3246 |   - |3900 | 637 |   0 |   0 |   0 |5062 |   0 | 0.000000e+00 |      --      |    Inf 
1447.72/1448.18	c  1433s|  1060k|  1057k|     0 |   0.0 | 303M|3246 |   - |3900 | 635 |   0 |   0 |   0 |5100 |   0 | 0.000000e+00 |      --      |    Inf 
1459.92/1460.32	c  1445s|  1070k|  1067k|     0 |   0.0 | 306M|3246 |   - |3900 | 636 |   0 |   0 |   0 |5152 |   0 | 0.000000e+00 |      --      |    Inf 
1471.32/1471.73	c  1457s|  1080k|  1077k|     0 |   0.0 | 309M|3246 |   - |3900 | 631 |   0 |   0 |   0 |5198 |   0 | 0.000000e+00 |      --      |    Inf 
1483.02/1483.49	c  1468s|  1090k|  1087k|     0 |   0.0 | 312M|3246 |   - |3900 | 639 |   0 |   0 |   0 |5225 |   0 | 0.000000e+00 |      --      |    Inf 
1494.82/1495.21	c  1480s|  1100k|  1097k|     0 |   0.0 | 315M|3246 |   - |3900 | 682 |   0 |   0 |   0 |5297 |   0 | 0.000000e+00 |      --      |    Inf 
1506.21/1506.66	c  1491s|  1110k|  1107k|     0 |   0.0 | 317M|3246 |   - |3900 | 678 |   0 |   0 |   0 |5331 |   0 | 0.000000e+00 |      --      |    Inf 
1518.40/1518.81	c  1503s|  1120k|  1117k|     0 |   0.0 | 320M|3246 |   - |3900 | 681 |   0 |   0 |   0 |5396 |   0 | 0.000000e+00 |      --      |    Inf 
1530.21/1530.60	c  1515s|  1130k|  1127k|     0 |   0.0 | 323M|3246 |   - |3900 | 666 |   0 |   0 |   0 |5422 |   0 | 0.000000e+00 |      --      |    Inf 
1541.80/1542.29	c  1526s|  1140k|  1137k|     0 |   0.0 | 326M|3246 |   - |3900 | 722 |   0 |   0 |   0 |5519 |   0 | 0.000000e+00 |      --      |    Inf 
1553.30/1553.76	c  1538s|  1150k|  1147k|     0 |   0.0 | 329M|3246 |   - |3900 | 735 |   0 |   0 |   0 |5583 |   0 | 0.000000e+00 |      --      |    Inf 
1565.19/1565.69	c  1550s|  1160k|  1157k|     0 |   0.0 | 331M|3246 |   - |3900 | 724 |   0 |   0 |   0 |5642 |   0 | 0.000000e+00 |      --      |    Inf 
1576.89/1577.36	c  1561s|  1170k|  1167k|     0 |   0.0 | 334M|3246 |   - |3900 | 727 |   0 |   0 |   0 |5698 |   0 | 0.000000e+00 |      --      |    Inf 
1588.18/1588.60	c  1572s|  1180k|  1177k|     0 |   0.0 | 337M|3246 |   - |3900 | 750 |   0 |   0 |   0 |5772 |   0 | 0.000000e+00 |      --      |    Inf 
1599.19/1599.66	c  1583s|  1190k|  1187k|     0 |   0.0 | 340M|3246 |   - |3900 | 736 |   0 |   0 |   0 |5830 |   0 | 0.000000e+00 |      --      |    Inf 
1610.28/1610.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1610.28/1610.70	c  1594s|  1200k|  1197k|     0 |   0.0 | 343M|3246 |   - |3900 | 754 |   0 |   0 |   0 |5893 |   0 | 0.000000e+00 |      --      |    Inf 
1621.38/1621.89	c  1605s|  1210k|  1207k|     0 |   0.0 | 345M|3246 |   - |3900 | 784 |   0 |   0 |   0 |6002 |   0 | 0.000000e+00 |      --      |    Inf 
1632.48/1632.99	c  1616s|  1220k|  1217k|     0 |   0.0 | 348M|3246 |   - |3900 | 802 |   0 |   0 |   0 |6086 |   0 | 0.000000e+00 |      --      |    Inf 
1643.67/1644.16	c  1627s|  1230k|  1227k|     0 |   0.0 | 351M|3246 |   - |3900 | 810 |   0 |   0 |   0 |6164 |   0 | 0.000000e+00 |      --      |    Inf 
1655.07/1655.57	c  1638s|  1240k|  1237k|     0 |   0.0 | 354M|3246 |   - |3900 | 811 |   0 |   0 |   0 |6212 |   0 | 0.000000e+00 |      --      |    Inf 
1666.27/1666.70	c  1649s|  1250k|  1247k|     0 |   0.0 | 357M|3246 |   - |3900 | 808 |   0 |   0 |   0 |6271 |   0 | 0.000000e+00 |      --      |    Inf 
1677.37/1677.87	c  1660s|  1260k|  1257k|     0 |   0.0 | 360M|3246 |   - |3900 | 828 |   0 |   0 |   0 |6350 |   0 | 0.000000e+00 |      --      |    Inf 
1688.36/1688.89	c  1671s|  1270k|  1267k|     0 |   0.0 | 362M|3246 |   - |3900 | 857 |   0 |   0 |   0 |6438 |   0 | 0.000000e+00 |      --      |    Inf 
1699.26/1699.77	c  1682s|  1280k|  1277k|     0 |   0.0 | 365M|3246 |   - |3900 | 863 |   0 |   0 |   0 |6497 |   0 | 0.000000e+00 |      --      |    Inf 
1710.26/1710.74	c  1693s|  1290k|  1287k|     0 |   0.0 | 368M|3246 |   - |3900 | 888 |   0 |   0 |   0 |6589 |   0 | 0.000000e+00 |      --      |    Inf 
1721.35/1721.89	c  1704s|  1300k|  1297k|     0 |   0.0 | 371M|3246 |   - |3900 | 872 |   0 |   0 |   0 |6673 |   0 | 0.000000e+00 |      --      |    Inf 
1732.36/1732.85	c  1715s|  1310k|  1307k|     0 |   0.0 | 374M|3246 |   - |3900 | 861 |   0 |   0 |   0 |6728 |   0 | 0.000000e+00 |      --      |    Inf 
1743.35/1743.81	c  1725s|  1320k|  1317k|     0 |   0.0 | 376M|3246 |   - |3900 | 862 |   0 |   0 |   0 |6773 |   0 | 0.000000e+00 |      --      |    Inf 
1754.05/1754.54	c  1736s|  1330k|  1327k|     0 |   0.0 | 379M|3246 |   - |3900 | 904 |   0 |   0 |   0 |6851 |   0 | 0.000000e+00 |      --      |    Inf 
1764.75/1765.28	c  1747s|  1340k|  1337k|     0 |   0.0 | 382M|3246 |   - |3900 | 899 |   0 |   0 |   0 |6907 |   0 | 0.000000e+00 |      --      |    Inf 
1775.44/1775.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1775.44/1775.98	c  1757s|  1350k|  1347k|     0 |   0.0 | 385M|3246 |   - |3900 | 926 |   0 |   0 |   0 |6989 |   0 | 0.000000e+00 |      --      |    Inf 
1786.24/1786.75	c  1768s|  1360k|  1357k|     0 |   0.0 | 388M|3246 |   - |3900 | 918 |   0 |   0 |   0 |7051 |   0 | 0.000000e+00 |      --      |    Inf 
1797.05/1797.55	c  1778s|  1370k|  1367k|     0 |   0.0 | 390M|3246 |   - |3900 | 899 |   0 |   0 |   0 |7090 |   0 | 0.000000e+00 |      --      |    Inf 
1800.04/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.50	c 
1800.04/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.50	c Solving Time (sec) : 1781.38
1800.04/1800.50	c Solving Nodes      : 1372707
1800.04/1800.50	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.50	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.50	c Gap                : infinite
1800.04/1800.50	s UNKNOWN
1800.04/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.50	c Solving Time       :    1781.38
1800.04/1800.50	c Original Problem   :
1800.04/1800.50	c   Problem name     : HOME/instance-2664733-1276577357.opb
1800.04/1800.50	c   Variables        : 3900 (3900 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.50	c   Constraints      : 125 initial, 125 maximal
1800.04/1800.50	c Presolved Problem  :
1800.04/1800.50	c   Problem name     : t_HOME/instance-2664733-1276577357.opb
1800.04/1800.50	c   Variables        : 3900 (3900 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.50	c   Constraints      : 125 initial, 944 maximal
1800.04/1800.50	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.50	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.50	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.50	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.50	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.50	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.50	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.50	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.50	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.50	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.50	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.50	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.04/1800.50	c   setppc           :         60          0    1428522          0    1371650       1395     547159          0          0          0
1800.04/1800.50	c   logicor          :         65+         0     157103          0    1371650        304      38403          0          0          0
1800.04/1800.50	c   countsols        :          0          0          0          0    1371650          0          0          0          0          0
1800.04/1800.50	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.50	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.50	c   setppc           :     406.07       0.00      40.02       0.00     366.05
1800.04/1800.50	c   logicor          :     177.88       0.00       8.20       0.00     169.68
1800.04/1800.50	c   countsols        :       0.88       0.00       0.00       0.00       0.88
1800.04/1800.50	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.50	c   vbounds          :       1.10          1          0          0
1800.04/1800.50	c   rootredcost      :       1.11          0          0          0
1800.04/1800.50	c   pseudoobj        :       0.70          0          0          0
1800.04/1800.50	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.50	c   propagation      :      40.00       1699       1699      60007      631.6          9      240.1          -
1800.04/1800.50	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.50	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.50	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.50	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.50	c   applied globally :          -          -          -       6903      246.6          -          -          -
1800.04/1800.50	c   applied locally  :          -          -          -        214      479.7          -          -          -
1800.04/1800.50	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.50	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.04/1800.50	c   redcost          :       0.00          0          0          0          0          0
1800.04/1800.50	c   impliedbounds    :       0.00          0          0          0          0          0
1800.04/1800.50	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.50	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.50	c   gomory           :       0.00          0          0          0          0          0
1800.04/1800.50	c   strongcg         :       0.00          0          0          0          0          0
1800.04/1800.50	c   cmir             :       0.00          0          0          0          0          0
1800.04/1800.50	c   flowcover        :       0.00          0          0          0          0          0
1800.04/1800.50	c   clique           :       0.00          0          0          0          0          0
1800.04/1800.50	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.50	c   mcf              :       0.00          0          0          0          0          0
1800.04/1800.50	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.50	c Pricers            :       Time      Calls       Vars
1800.04/1800.50	c   problem variables:       0.00          0          0
1800.04/1800.50	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.50	c   relpscost        :       0.00          0          0          0          0          0          0
1800.04/1800.50	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.50	c   inference        :    1132.38    1371650          0          0          0          0    2743300
1800.04/1800.50	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.50	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.50	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.50	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.50	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.50	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.50	c   LP solutions     :       0.00          -          0
1800.04/1800.50	c   pseudo solutions :       0.00          -          0
1800.04/1800.50	c   trivial          :       0.00          1          0
1800.04/1800.50	c   simplerounding   :       0.00          0          0
1800.04/1800.50	c   zirounding       :       0.00          0          0
1800.04/1800.50	c   rounding         :       0.00          0          0
1800.04/1800.50	c   shifting         :       0.00          0          0
1800.04/1800.50	c   intshifting      :       0.00          0          0
1800.04/1800.50	c   oneopt           :       0.00          0          0
1800.04/1800.50	c   twoopt           :       0.00          0          0
1800.04/1800.50	c   fixandinfer      :       0.00          0          0
1800.04/1800.50	c   feaspump         :       0.00          0          0
1800.04/1800.50	c   coefdiving       :       0.00          0          0
1800.04/1800.50	c   pscostdiving     :       0.00          0          0
1800.04/1800.51	c   fracdiving       :       0.00          0          0
1800.04/1800.51	c   veclendiving     :       0.00          0          0
1800.04/1800.51	c   intdiving        :       0.00          0          0
1800.04/1800.51	c   actconsdiving    :       0.00          0          0
1800.04/1800.51	c   objpscostdiving  :       0.00          0          0
1800.04/1800.51	c   rootsoldiving    :       0.00          0          0
1800.04/1800.51	c   linesearchdiving :       0.00          0          0
1800.04/1800.51	c   guideddiving     :       0.00          0          0
1800.04/1800.51	c   octane           :       0.00          0          0
1800.04/1800.51	c   rens             :       0.00          0          0
1800.04/1800.51	c   rins             :       0.00          0          0
1800.04/1800.51	c   localbranching   :       0.00          0          0
1800.04/1800.51	c   mutation         :       0.00          0          0
1800.04/1800.51	c   crossover        :       0.00          0          0
1800.04/1800.51	c   dins             :       0.00          0          0
1800.04/1800.51	c   undercover       :       0.00          0          0
1800.04/1800.51	c   nlp              :       0.00          0          0
1800.04/1800.51	c   trysol           :       0.00          0          0
1800.04/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.04/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.04/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.04/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.04/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.51	c B&B Tree           :
1800.04/1800.51	c   number of runs   :          1
1800.04/1800.51	c   nodes            :    1372707
1800.04/1800.51	c   nodes (total)    :    1372707
1800.04/1800.51	c   nodes left       :    1369931
1800.04/1800.51	c   max depth        :       3246
1800.04/1800.51	c   max depth (total):       3246
1800.04/1800.51	c   backtracks       :        653 (0.0%)
1800.04/1800.51	c   delayed cutoffs  :        663
1800.04/1800.51	c   repropagations   :       3274 (27869 domain reductions, 642 cutoffs)
1800.04/1800.51	c   avg switch length:       2.22
1800.04/1800.51	c   switching time   :      20.81
1800.04/1800.51	c Solution           :
1800.04/1800.51	c   Solutions found  :          0 (0 improvements)
1800.04/1800.51	c   Primal Bound     :          -
1800.04/1800.51	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.51	c   Gap              :   infinite
1800.04/1800.51	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.51	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-2664733-1276577357/watcher-2664733-1276577357 -o /tmp/evaluation-result-2664733-1276577357/solver-2664733-1276577357 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664733-1276577357.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.07 1.00 1.00 3/106 928
/proc/meminfo: memFree=1717852/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=3520 CPUtime=0
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 446 0 0 0 0 0 0 0 20 0 1 0 33339555 3604480 368 1992294400 4194304 7136930 140735222245216 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/928/statm: 913 370 224 719 0 192 0

[startup+0.100896 s]
/proc/loadavg: 1.07 1.00 1.00 3/106 928
/proc/meminfo: memFree=1717852/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=20336 CPUtime=0.09
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 5465 0 0 0 8 1 0 0 20 0 1 0 33339555 20824064 4262 1992294400 4194304 7136930 140735222245216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 5084 4262 344 719 0 4363 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20336

[startup+0.200906 s]
/proc/loadavg: 1.07 1.00 1.00 3/106 928
/proc/meminfo: memFree=1717852/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=21488 CPUtime=0.19
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 6304 0 0 0 17 2 0 0 20 0 1 0 33339555 22003712 4587 1992294400 4194304 7136930 140735222245216 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 5372 4587 374 719 0 4651 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 21488

[startup+0.300915 s]
/proc/loadavg: 1.07 1.00 1.00 3/106 928
/proc/meminfo: memFree=1717852/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=21748 CPUtime=0.29
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 6370 0 0 0 27 2 0 0 20 0 1 0 33339555 22269952 4653 1992294400 4194304 7136930 140735222245216 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 5437 4653 375 719 0 4716 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21748

[startup+0.700952 s]
/proc/loadavg: 1.07 1.00 1.00 3/106 928
/proc/meminfo: memFree=1717852/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=22012 CPUtime=0.69
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 6429 0 0 0 67 2 0 0 20 0 1 0 33339555 22540288 4712 1992294400 4194304 7136930 140735222245216 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 5503 4712 375 719 0 4782 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22012

[startup+1.50103 s]
/proc/loadavg: 1.07 1.00 1.00 2/107 929
/proc/meminfo: memFree=1699988/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=22412 CPUtime=1.49
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 6520 0 0 0 146 3 0 0 22 0 1 0 33339555 22949888 4803 1992294400 4194304 7136930 140735222245216 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 5603 4803 375 719 0 4882 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22412

[startup+3.10118 s]
/proc/loadavg: 1.06 1.00 1.00 2/107 929
/proc/meminfo: memFree=1698996/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=23968 CPUtime=3.09
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 6938 0 0 0 304 5 0 0 25 0 1 0 33339555 24543232 5221 1992294400 4194304 7136930 140735222245216 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 5992 5221 379 719 0 5271 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23968

[startup+6.30049 s]
/proc/loadavg: 1.06 1.00 1.00 2/107 929
/proc/meminfo: memFree=1697880/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=24620 CPUtime=6.29
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 7096 0 0 0 620 9 0 0 25 0 1 0 33339555 25210880 5379 1992294400 4194304 7136930 140735222245216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 6155 5379 379 719 0 5434 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24620

[startup+12.7011 s]
/proc/loadavg: 1.05 1.00 1.00 2/107 929
/proc/meminfo: memFree=1694284/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=27740 CPUtime=12.69
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 7900 0 0 0 1253 16 0 0 25 0 1 0 33339555 28405760 6183 1992294400 4194304 7136930 140735222245216 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 6935 6183 379 719 0 6214 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27740

[startup+25.5013 s]
/proc/loadavg: 1.04 1.00 1.00 2/107 931
/proc/meminfo: memFree=1689076/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=32472 CPUtime=25.48
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 9107 0 0 0 2519 29 0 0 25 0 1 0 33339555 33251328 7390 1992294400 4194304 7136930 140735222245216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 8118 7390 379 719 0 7397 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32472

[startup+51.1007 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 931
/proc/meminfo: memFree=1681760/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=39420 CPUtime=51.08
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 10930 0 0 0 5053 55 0 0 25 0 1 0 33339555 40366080 9213 1992294400 4194304 7136930 140735222245216 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 9855 9213 379 719 0 9134 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 39420

[startup+102.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 933
/proc/meminfo: memFree=1670724/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=51876 CPUtime=102.27
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 13660 0 0 0 10121 106 0 0 25 0 1 0 33339555 53121024 11941 1992294400 4194304 7136930 140735222245216 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 12969 11941 379 719 0 12248 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 51876

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 933
/proc/meminfo: memFree=1655720/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=66372 CPUtime=162.25
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 17398 0 0 0 16068 157 0 0 25 0 1 0 33339555 67964928 15679 1992294400 4194304 7136930 140735222245216 18446744073709551615 4407749 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 16593 15679 379 719 0 15872 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 66372

[startup+222.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 935
/proc/meminfo: memFree=1640716/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=80800 CPUtime=222.24
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 21127 0 0 0 22011 213 0 0 25 0 1 0 33339555 82739200 19408 1992294400 4194304 7136930 140735222245216 18446744073709551615 5005225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 20200 19408 379 719 0 19479 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 80800

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 937
/proc/meminfo: memFree=1627076/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=93976 CPUtime=282.22
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 24558 0 0 0 27949 273 0 0 25 0 1 0 33339555 96231424 22839 1992294400 4194304 7136930 140735222245216 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 23494 22839 379 719 0 22773 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 93976

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 939
/proc/meminfo: memFree=1613932/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=110464 CPUtime=342.2
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 27811 0 0 0 33893 327 0 0 25 0 1 0 33339555 113115136 26092 1992294400 4194304 7136930 140735222245216 18446744073709551615 4414503 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 27616 26092 379 719 0 26895 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 110464

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 941
/proc/meminfo: memFree=1601532/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=122852 CPUtime=402.19
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 31024 0 0 0 39838 381 0 0 25 0 1 0 33339555 125800448 29305 1992294400 4194304 7136930 140735222245216 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 30713 29305 379 719 0 29992 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 122852

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 941
/proc/meminfo: memFree=1588760/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=134384 CPUtime=462.18
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 34034 0 0 0 45778 440 0 0 25 0 1 0 33339555 137609216 32315 1992294400 4194304 7136930 140735222245216 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 33596 32315 379 719 0 32875 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 134384

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 943
/proc/meminfo: memFree=1576732/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=146288 CPUtime=522.17
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 37161 0 0 0 51717 500 0 0 25 0 1 0 33339555 149798912 35442 1992294400 4194304 7136930 140735222245216 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 36572 35442 379 719 0 35851 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 146288

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 945
/proc/meminfo: memFree=1563960/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=157924 CPUtime=582.15
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 40223 0 0 0 57660 555 0 0 25 0 1 0 33339555 161714176 38504 1992294400 4194304 7136930 140735222245216 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 39481 38504 379 719 0 38760 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 157924

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 947
/proc/meminfo: memFree=1550320/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=170912 CPUtime=642.13
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 43604 0 0 0 63606 607 0 0 25 0 1 0 33339555 175013888 41885 1992294400 4194304 7136930 140735222245216 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 42728 41885 379 719 0 42007 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 170912

[startup+702.302 s]

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

/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 63313 0 0 0 99239 965 0 0 25 0 1 0 33339555 260116480 61594 1992294400 4194304 7136930 140735222245216 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 63505 61594 379 719 0 62784 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 254020

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 966
/proc/meminfo: memFree=1457568/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=266772 CPUtime=1062.02
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 66663 0 0 0 105177 1025 0 0 25 0 1 0 33339555 273174528 64944 1992294400 4194304 7136930 140735222245216 18446744073709551615 4212314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 66693 64944 379 719 0 65972 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 266772

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 968
/proc/meminfo: memFree=1443060/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=280408 CPUtime=1122.01
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 70233 0 0 0 111117 1084 0 0 25 0 1 0 33339555 287137792 68514 1992294400 4194304 7136930 140735222245216 18446744073709551615 4642088 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 70102 68514 379 719 0 69381 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 280408

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 970
/proc/meminfo: memFree=1427932/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=294580 CPUtime=1181.99
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 73947 0 0 0 117052 1147 0 0 25 0 1 0 33339555 301649920 72228 1992294400 4194304 7136930 140735222245216 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 73645 72228 379 719 0 72924 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 294580

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 972
/proc/meminfo: memFree=1413052/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=308732 CPUtime=1241.98
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 77662 0 0 0 122981 1217 0 0 25 0 1 0 33339555 316141568 75943 1992294400 4194304 7136930 140735222245216 18446744073709551615 5892276 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 77183 75943 379 719 0 76462 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 308732

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 974
/proc/meminfo: memFree=1398668/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=322492 CPUtime=1301.96
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 81313 0 0 0 128918 1278 0 0 25 0 1 0 33339555 330231808 79594 1992294400 4194304 7136930 140735222245216 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 80623 79594 379 719 0 79902 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 322492

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 974
/proc/meminfo: memFree=1383912/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=352896 CPUtime=1361.95
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 85006 0 0 0 134849 1346 0 0 25 0 1 0 33339555 361365504 83287 1992294400 4194304 7136930 140735222245216 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 88224 83287 379 719 0 87503 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 352896

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 976
/proc/meminfo: memFree=1368536/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=367004 CPUtime=1421.93
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 88701 0 0 0 140781 1412 0 0 25 0 1 0 33339555 375812096 86982 1992294400 4194304 7136930 140735222245216 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 91751 86982 379 719 0 91030 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 367004

[startup+1482.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 981
/proc/meminfo: memFree=1351796/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=382132 CPUtime=1481.91
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 92677 0 0 0 146711 1480 0 0 25 0 1 0 33339555 391303168 90958 1992294400 4194304 7136930 140735222245216 18446744073709551615 4643160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 95533 90958 379 719 0 94812 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 382132

[startup+1542.31 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 983
/proc/meminfo: memFree=1337908/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=395396 CPUtime=1541.91
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 96191 0 0 0 152646 1545 0 0 25 0 1 0 33339555 404885504 94472 1992294400 4194304 7136930 140735222245216 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 98849 94472 379 719 0 98128 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 395396

[startup+1602.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 985
/proc/meminfo: memFree=1321292/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=411284 CPUtime=1601.88
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 100366 0 0 0 158571 1617 0 0 25 0 1 0 33339555 421154816 98647 1992294400 4194304 7136930 140735222245216 18446744073709551615 4436342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 102821 98647 379 719 0 102100 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 411284

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 985
/proc/meminfo: memFree=1306660/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=425096 CPUtime=1661.87
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 104026 0 0 0 164498 1689 0 0 25 0 1 0 33339555 435298304 102307 1992294400 4194304 7136930 140735222245216 18446744073709551615 4407896 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 106274 102307 379 719 0 105553 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 425096

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 987
/proc/meminfo: memFree=1290416/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=440412 CPUtime=1721.86
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 108065 0 0 0 170422 1764 0 0 25 0 1 0 33339555 450981888 106346 1992294400 4194304 7136930 140735222245216 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 110103 106346 379 719 0 109382 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 440412

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 989
/proc/meminfo: memFree=1272684/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=457228 CPUtime=1781.84
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 112475 0 0 0 176342 1842 0 0 25 0 1 0 33339555 468201472 110756 1992294400 4194304 7136930 140735222245216 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 114307 110756 379 719 0 113586 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 457228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 989
/proc/meminfo: memFree=1268096/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=461540 CPUtime=1800.04
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 113609 0 0 0 178140 1864 0 0 25 0 1 0 33339555 472616960 111890 1992294400 4194304 7136930 140735222245216 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/928/statm: 115385 111890 379 719 0 114664 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 461540

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -928

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

[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 990
/proc/meminfo: memFree=1267964/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=461676 CPUtime=1801.03
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 113668 0 0 0 178239 1864 0 0 25 0 1 0 33339555 472756224 111949 1992294400 4194304 7136930 140735222245216 18446744073709551615 6165624 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/928/statm: 115419 111949 384 719 0 114698 0
Current children cumulated CPU time (s) 1801.03
Current children cumulated vsize (KiB) 461676

[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 990
/proc/meminfo: memFree=1269576/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=444500 CPUtime=1801.83
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 113673 0 0 0 178319 1864 0 0 25 0 1 0 33339555 455168000 107655 1992294400 4194304 7136930 140735222245216 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/928/statm: 111125 107655 384 719 0 110404 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 444500

[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 990
/proc/meminfo: memFree=1269576/2059040 swapFree=4140388/4192956
[pid=928] ppid=926 vsize=437260 CPUtime=1802.04
/proc/928/stat : 928 (pbscip.linux.x8) R 926 928 505 0 -1 4202496 113673 0 0 0 178339 1865 0 0 25 0 1 0 33339555 447754240 105845 1992294400 4194304 7136930 140735222245216 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/928/statm: 109315 105845 384 719 0 108594 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 437260

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.56
CPU time (s): 1802.1
CPU user time (s): 1783.4
CPU system time (s): 18.6952
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 461684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.4
system time used= 18.6952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113673
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= 6
involuntary context switches= 4001

runsolver used 2.89656 second user time and 8.60369 second system time

The end

Launcher Data 

Begin job on node004 at 2010-06-15 06:49:17
IDJOB=2664733
IDBENCH=2581
IDSOLVER=1167
FILE ID=node004/2664733-1276577357
PBS_JOBID= 11173526
Free space on /tmp= 62564 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.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-2664733-1276577357/watcher-2664733-1276577357 -o /tmp/evaluation-result-2664733-1276577357/solver-2664733-1276577357 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664733-1276577357.opb -t 1800 -m 1800

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

MD5SUM BENCH= 6f6d5bf9df98767681bd16885050de4b
RANDOM SEED=762636363

node004.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.210
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.42
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.210
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.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1718256 kB
Buffers:         77936 kB
Cached:         168312 kB
SwapCached:       6576 kB
Active:          96064 kB
Inactive:       163604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1718256 kB
SwapTotal:     4192956 kB
SwapFree:      4140388 kB
Dirty:            3252 kB
Writeback:           4 kB
AnonPages:       11468 kB
Mapped:          13064 kB
Slab:            59360 kB
PageTables:       4104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180592 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= 62564 MiB
End job on node004 at 2010-06-15 07:19:19