Trace number 2663437

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.22 1802.76

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_4_15.opb
MD5SUM73ea1f0ac6b3717abb48868130805223
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
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 benchmark26.9259
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
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)2932
Sum of products size (including duplicates)5864
Number of different products1466
Sum of products size2932

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-2663437-1276678199.opb>
0.01/0.02	c original problem has 1566 variables (1566 bin, 0 int, 0 impl, 0 cont) and 1618 constraints
0.01/0.02	c problem read
0.01/0.02	c No objective function, only one solution is needed.
0.01/0.02	c presolving settings loaded
0.01/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.01/0.04	c presolving:
0.20/0.23	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 151 upgd conss, 11828 impls, 100 clqs
0.39/0.42	c presolving (2 rounds):
0.39/0.42	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.42	c  11828 implications, 100 cliques
0.39/0.42	c presolved problem has 1566 variables (1566 bin, 0 int, 0 impl, 0 cont) and 1618 constraints
0.39/0.42	c       1 constraints of type <knapsack>
0.39/0.42	c     100 constraints of type <setppc>
0.39/0.42	c    1466 constraints of type <and>
0.39/0.42	c       1 constraints of type <linear>
0.39/0.42	c      50 constraints of type <logicor>
0.39/0.42	c transformed objective value is always integral (scale: 1)
0.39/0.42	c Presolving Time: 0.20
0.39/0.42	c - non default parameters ----------------------------------------------------------------------
0.39/0.42	c # SCIP version 1.2.1.2
0.39/0.42	c 
0.39/0.42	c # frequency for displaying node information lines
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.42	c display/freq = 10000
0.39/0.42	c 
0.39/0.42	c # maximal time in seconds to run
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42	c limits/time = 1799.98
0.39/0.42	c 
0.39/0.42	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42	c limits/memory = 1620
0.39/0.42	c 
0.39/0.42	c # solving stops, if the given number of solutions were found (-1: no limit)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42	c limits/solutions = 1
0.39/0.42	c 
0.39/0.42	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42	c lp/solvefreq = -1
0.39/0.42	c 
0.39/0.42	c # maximal number of separation rounds per node (-1: unlimited)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 5]
0.39/0.42	c separating/maxrounds = 1
0.39/0.42	c 
0.39/0.42	c # maximal number of separation rounds in the root node (-1: unlimited)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42	c separating/maxroundsroot = 5
0.39/0.42	c 
0.39/0.42	c # should presolving try to simplify inequalities
0.39/0.42	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42	c constraints/linear/simplifyinequalities = TRUE
0.39/0.42	c 
0.39/0.42	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.39/0.42	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.39/0.42	c constraints/knapsack/disaggregation = FALSE
0.39/0.42	c 
0.39/0.42	c # should presolving try to simplify knapsacks
0.39/0.42	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42	c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.42	c 
0.39/0.42	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42	c presolving/probing/maxrounds = 0
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/coefdiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42	c heuristics/coefdiving/maxlpiterquot = 0.075
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/coefdiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 30]
0.39/0.42	c heuristics/crossover/freq = -1
0.39/0.42	c 
0.39/0.42	c # number of nodes added to the contingent of the total nodes
0.39/0.42	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.42	c heuristics/crossover/nodesofs = 750
0.39/0.42	c 
0.39/0.42	c # number of nodes without incumbent change that heuristic should wait
0.39/0.42	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.39/0.42	c heuristics/crossover/nwaitingnodes = 100
0.39/0.42	c 
0.39/0.42	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.39/0.42	c # [type: real, range: [0,1], default: 0.1]
0.39/0.42	c heuristics/crossover/nodesquot = 0.15
0.39/0.42	c 
0.39/0.42	c # minimum percentage of integer variables that have to be fixed 
0.39/0.42	c # [type: real, range: [0,1], default: 0.666]
0.39/0.42	c heuristics/crossover/minfixingrate = 0.5
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.42	c heuristics/feaspump/freq = -1
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/feaspump/maxlpiterofs = 2000
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/fracdiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42	c heuristics/fracdiving/maxlpiterquot = 0.075
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/fracdiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/guideddiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42	c heuristics/guideddiving/maxlpiterquot = 0.075
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/guideddiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42	c heuristics/intdiving/maxlpiterquot = 0.075
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/intshifting/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/linesearchdiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42	c heuristics/nlp/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.42	c heuristics/objpscostdiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to total iteration number
0.39/0.42	c # [type: real, range: [0,1], default: 0.01]
0.39/0.42	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42	c heuristics/oneopt/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/pscostdiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/pscostdiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42	c heuristics/rens/freq = -1
0.39/0.42	c 
0.39/0.42	c # minimum percentage of integer variables that have to be fixable 
0.39/0.42	c # [type: real, range: [0,1], default: 0.5]
0.39/0.42	c heuristics/rens/minfixingrate = 0.3
0.39/0.42	c 
0.39/0.42	c # number of nodes added to the contingent of the total nodes
0.39/0.42	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.42	c heuristics/rens/nodesofs = 2000
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.42	c heuristics/rootsoldiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.39/0.42	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42	c heuristics/rounding/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/shifting/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42	c heuristics/simplerounding/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42	c heuristics/trivial/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42	c heuristics/trysol/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/veclendiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42	c heuristics/veclendiving/maxlpiterquot = 0.075
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/veclendiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42	c heuristics/zirounding/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42	c separating/cmir/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42	c separating/flowcover/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42	c separating/rapidlearning/freq = 0
0.39/0.42	c 
0.39/0.42	c -----------------------------------------------------------------------------------------------
0.39/0.42	c start solving
0.39/0.42	c 
0.39/0.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.39/0.42	c   0.2s|     1 |     2 |     0 |     - |4245k|   0 |   - |1566 |1618 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.89/6.97	c   6.4s| 10000 |  8233 |     0 |   0.0 |  21M|  77 |   - |1566 |2231 |   0 |   0 |   0 |1248 |   0 | 0.000000e+00 |      --      |    Inf 
14.39/14.40	c  13.4s| 20000 | 12270 |     0 |   0.0 |  33M|  77 |   - |1566 |3917 |   0 |   0 |   0 |4883 |   0 | 0.000000e+00 |      --      |    Inf 
22.78/22.88	c  21.6s| 30000 | 19981 |     0 |   0.0 |  50M|  77 |   - |1566 |2489 |   0 |   0 |   0 |5629 |   0 | 0.000000e+00 |      --      |    Inf 
30.98/31.03	c  29.5s| 40000 | 26341 |     0 |   0.0 |  65M|  77 |   - |1566 |2897 |   0 |   0 |   0 |6947 |   0 | 0.000000e+00 |      --      |    Inf 
39.28/39.30	c  37.4s| 50000 | 32408 |     0 |   0.0 |  80M|  77 |   - |1566 |3214 |   0 |   0 |   0 |8696 |   0 | 0.000000e+00 |      --      |    Inf 
47.68/47.71	c  45.4s| 60000 | 37813 |     0 |   0.0 |  94M|  77 |   - |1566 |3695 |   0 |   0 |   0 |  10k|   0 | 0.000000e+00 |      --      |    Inf 
56.17/56.28	c  53.7s| 70000 | 43035 |     0 |   0.0 | 108M|  77 |   - |1566 |3907 |   0 |   0 |   0 |  13k|   0 | 0.000000e+00 |      --      |    Inf 
64.96/65.02	c  62.0s| 80000 | 47790 |     0 |   0.0 | 121M|  77 |   - |1566 |4390 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
74.16/74.24	c  70.9s| 90000 | 52171 |     0 |   0.0 | 134M|  77 |   - |1566 |4714 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
83.47/83.60	c  79.9s|100000 | 56262 |     0 |   0.0 | 146M|  77 |   - |1566 |5198 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
93.47/93.58	c  89.5s|110000 | 59942 |     0 |   0.0 | 159M|  77 |   - |1566 |5477 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 |      --      |    Inf 
103.75/103.86	c  99.4s|120000 | 63275 |     0 |   0.0 | 171M|  77 |   - |1566 |5967 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
114.55/114.64	c   110s|130000 | 66264 |     0 |   0.0 | 182M|  77 |   - |1566 |6688 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
126.15/126.21	c   121s|140000 | 68884 |     0 |   0.0 | 193M|  77 |   - |1566 |6815 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
138.14/138.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
138.14/138.24	c   133s|150000 | 71150 |     0 |   0.0 | 205M|  77 |   - |1566 |8118 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
150.94/151.04	c   145s|160000 | 73223 |     0 |   0.0 | 216M|  77 |   - |1566 |8926 |   0 |   0 |   0 |  46k|   0 | 0.000000e+00 |      --      |    Inf 
164.04/164.13	c   158s|170000 | 75021 |     0 |   0.0 | 227M|  77 |   - |1566 |9398 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 |      --      |    Inf 
177.05/177.13	c   170s|180000 | 76393 |     0 |   0.0 | 237M|  77 |   - |1566 |  10k|   0 |   0 |   0 |  56k|   0 | 0.000000e+00 |      --      |    Inf 
189.82/189.91	c   183s|190000 | 77667 |     0 |   0.0 | 245M|  77 |   - |1566 |  11k|   0 |   0 |   0 |  62k|   0 | 0.000000e+00 |      --      |    Inf 
202.13/202.24	c   195s|200000 | 79182 |     0 |   0.0 | 250M|  77 |   - |1566 |  11k|   0 |   0 |   0 |  67k|   0 | 0.000000e+00 |      --      |    Inf 
214.22/214.31	c   206s|210000 | 82439 |     0 |   0.0 | 258M|  77 |   - |1566 |5394 |   0 |   0 |   0 |  71k|   0 | 0.000000e+00 |      --      |    Inf 
222.42/222.56	c   214s|220000 | 88927 |     0 |   0.0 | 272M|  77 |   - |1566 |3637 |   0 |   0 |   0 |  71k|   0 | 0.000000e+00 |      --      |    Inf 
230.32/230.46	c   222s|230000 | 95248 |     0 |   0.0 | 286M|  77 |   - |1566 |3323 |   0 |   0 |   0 |  72k|   0 | 0.000000e+00 |      --      |    Inf 
237.91/238.09	c   229s|240000 |101362 |     0 |   0.0 | 301M|  77 |   - |1566 |3377 |   0 |   0 |   0 |  72k|   0 | 0.000000e+00 |      --      |    Inf 
245.51/245.70	c   237s|250000 |107335 |     0 |   0.0 | 314M|  77 |   - |1566 |3403 |   0 |   0 |   0 |  73k|   0 | 0.000000e+00 |      --      |    Inf 
253.22/253.36	c   244s|260000 |113313 |     0 |   0.0 | 328M|  77 |   - |1566 |3523 |   0 |   0 |   0 |  74k|   0 | 0.000000e+00 |      --      |    Inf 
260.81/260.90	c   251s|270000 |119174 |     0 |   0.0 | 342M|  77 |   - |1566 |3946 |   0 |   0 |   0 |  75k|   0 | 0.000000e+00 |      --      |    Inf 
268.51/268.69	c   259s|280000 |124984 |     0 |   0.0 | 355M|  77 |   - |1566 |3910 |   0 |   0 |   0 |  75k|   0 | 0.000000e+00 |      --      |    Inf 
276.40/276.54	c   266s|290000 |130717 |     0 |   0.0 | 369M|  77 |   - |1566 |3967 |   0 |   0 |   0 |  76k|   0 | 0.000000e+00 |      --      |    Inf 
284.30/284.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
284.30/284.43	c   274s|300000 |136397 |     0 |   0.0 | 382M|  77 |   - |1566 |4305 |   0 |   0 |   0 |  78k|   0 | 0.000000e+00 |      --      |    Inf 
292.41/292.56	c   282s|310000 |142086 |     0 |   0.0 | 395M|  77 |   - |1566 |3928 |   0 |   0 |   0 |  79k|   0 | 0.000000e+00 |      --      |    Inf 
300.30/300.40	c   289s|320000 |147622 |     0 |   0.0 | 408M|  77 |   - |1566 |4506 |   0 |   0 |   0 |  80k|   0 | 0.000000e+00 |      --      |    Inf 
308.59/308.71	c   297s|330000 |153196 |     0 |   0.0 | 421M|  77 |   - |1566 |4199 |   0 |   0 |   0 |  81k|   0 | 0.000000e+00 |      --      |    Inf 
316.60/316.77	c   305s|340000 |158510 |     0 |   0.0 | 434M|  77 |   - |1566 |4593 |   0 |   0 |   0 |  83k|   0 | 0.000000e+00 |      --      |    Inf 
324.99/325.12	c   313s|350000 |163946 |     0 |   0.0 | 447M|  77 |   - |1566 |4397 |   0 |   0 |   0 |  84k|   0 | 0.000000e+00 |      --      |    Inf 
333.29/333.41	c   321s|360000 |169272 |     0 |   0.0 | 460M|  77 |   - |1566 |4517 |   0 |   0 |   0 |  85k|   0 | 0.000000e+00 |      --      |    Inf 
341.59/341.74	c   329s|370000 |174543 |     0 |   0.0 | 473M|  77 |   - |1566 |5003 |   0 |   0 |   0 |  87k|   0 | 0.000000e+00 |      --      |    Inf 
350.08/350.26	c   337s|380000 |179884 |     0 |   0.0 | 485M|  77 |   - |1566 |4764 |   0 |   0 |   0 |  88k|   0 | 0.000000e+00 |      --      |    Inf 
358.49/358.62	c   345s|390000 |184991 |     0 |   0.0 | 498M|  77 |   - |1566 |5101 |   0 |   0 |   0 |  90k|   0 | 0.000000e+00 |      --      |    Inf 
367.19/367.33	c   354s|400000 |190079 |     0 |   0.0 | 511M|  77 |   - |1566 |5241 |   0 |   0 |   0 |  91k|   0 | 0.000000e+00 |      --      |    Inf 
375.68/375.86	c   362s|410000 |195229 |     0 |   0.0 | 523M|  77 |   - |1566 |4908 |   0 |   0 |   0 |  93k|   0 | 0.000000e+00 |      --      |    Inf 
384.18/384.30	c   370s|420000 |200260 |     0 |   0.0 | 536M|  77 |   - |1566 |5344 |   0 |   0 |   0 |  95k|   0 | 0.000000e+00 |      --      |    Inf 
392.97/393.15	c   378s|430000 |205187 |     0 |   0.0 | 548M|  77 |   - |1566 |5867 |   0 |   0 |   0 |  97k|   0 | 0.000000e+00 |      --      |    Inf 
401.97/402.13	c   387s|440000 |210214 |     0 |   0.0 | 561M|  77 |   - |1566 |5441 |   0 |   0 |   0 |  99k|   0 | 0.000000e+00 |      --      |    Inf 
410.67/410.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
410.67/410.82	c   395s|450000 |215254 |     0 |   0.0 | 573M|  77 |   - |1566 |5687 |   0 |   0 |   0 | 101k|   0 | 0.000000e+00 |      --      |    Inf 
419.46/419.62	c   404s|460000 |220152 |     0 |   0.0 | 585M|  77 |   - |1566 |6181 |   0 |   0 |   0 | 102k|   0 | 0.000000e+00 |      --      |    Inf 
428.66/428.88	c   413s|470000 |224948 |     0 |   0.0 | 598M|  77 |   - |1566 |6014 |   0 |   0 |   0 | 104k|   0 | 0.000000e+00 |      --      |    Inf 
437.67/437.83	c   422s|480000 |229803 |     0 |   0.0 | 610M|  77 |   - |1566 |5982 |   0 |   0 |   0 | 106k|   0 | 0.000000e+00 |      --      |    Inf 
446.66/446.88	c   430s|490000 |234552 |     0 |   0.0 | 622M|  77 |   - |1566 |6328 |   0 |   0 |   0 | 108k|   0 | 0.000000e+00 |      --      |    Inf 
455.76/455.95	c   439s|500000 |239323 |     0 |   0.0 | 634M|  77 |   - |1566 |6552 |   0 |   0 |   0 | 110k|   0 | 0.000000e+00 |      --      |    Inf 
465.25/465.47	c   448s|510000 |243879 |     0 |   0.0 | 646M|  77 |   - |1566 |6570 |   0 |   0 |   0 | 112k|   0 | 0.000000e+00 |      --      |    Inf 
474.65/474.83	c   457s|520000 |248517 |     0 |   0.0 | 658M|  77 |   - |1566 |6576 |   0 |   0 |   0 | 114k|   0 | 0.000000e+00 |      --      |    Inf 
484.05/484.21	c   466s|530000 |253090 |     0 |   0.0 | 670M|  77 |   - |1566 |6899 |   0 |   0 |   0 | 117k|   0 | 0.000000e+00 |      --      |    Inf 
493.45/493.65	c   475s|540000 |257724 |     0 |   0.0 | 682M|  77 |   - |1566 |6963 |   0 |   0 |   0 | 119k|   0 | 0.000000e+00 |      --      |    Inf 
503.04/503.21	c   485s|550000 |262259 |     0 |   0.0 | 694M|  77 |   - |1566 |7013 |   0 |   0 |   0 | 121k|   0 | 0.000000e+00 |      --      |    Inf 
512.84/513.09	c   494s|560000 |266688 |     0 |   0.0 | 706M|  77 |   - |1566 |7054 |   0 |   0 |   0 | 123k|   0 | 0.000000e+00 |      --      |    Inf 
522.53/522.79	c   504s|570000 |271144 |     0 |   0.0 | 718M|  77 |   - |1566 |7331 |   0 |   0 |   0 | 125k|   0 | 0.000000e+00 |      --      |    Inf 
532.43/532.67	c   513s|580000 |275600 |     0 |   0.0 | 730M|  77 |   - |1566 |7624 |   0 |   0 |   0 | 128k|   0 | 0.000000e+00 |      --      |    Inf 
542.23/542.46	c   522s|590000 |280102 |     0 |   0.0 | 742M|  77 |   - |1566 |7844 |   0 |   0 |   0 | 130k|   0 | 0.000000e+00 |      --      |    Inf 
552.52/552.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
552.52/552.71	c   532s|600000 |284463 |     0 |   0.0 | 754M|  77 |   - |1566 |7633 |   0 |   0 |   0 | 133k|   0 | 0.000000e+00 |      --      |    Inf 
562.73/562.98	c   542s|610000 |288714 |     0 |   0.0 | 765M|  77 |   - |1566 |7641 |   0 |   0 |   0 | 135k|   0 | 0.000000e+00 |      --      |    Inf 
572.82/573.04	c   552s|620000 |292912 |     0 |   0.0 | 777M|  77 |   - |1566 |8200 |   0 |   0 |   0 | 137k|   0 | 0.000000e+00 |      --      |    Inf 
583.11/583.33	c   562s|630000 |297167 |     0 |   0.0 | 789M|  77 |   - |1566 |8467 |   0 |   0 |   0 | 140k|   0 | 0.000000e+00 |      --      |    Inf 
593.42/593.66	c   572s|640000 |301435 |     0 |   0.0 | 800M|  77 |   - |1566 |8814 |   0 |   0 |   0 | 142k|   0 | 0.000000e+00 |      --      |    Inf 
604.01/604.26	c   582s|650000 |305682 |     0 |   0.0 | 812M|  77 |   - |1566 |8865 |   0 |   0 |   0 | 145k|   0 | 0.000000e+00 |      --      |    Inf 
615.01/615.27	c   593s|660000 |309655 |     0 |   0.0 | 824M|  77 |   - |1566 |8442 |   0 |   0 |   0 | 147k|   0 | 0.000000e+00 |      --      |    Inf 
625.80/626.01	c   603s|670000 |313671 |     0 |   0.0 | 835M|  77 |   - |1566 |8942 |   0 |   0 |   0 | 149k|   0 | 0.000000e+00 |      --      |    Inf 
636.71/636.97	c   614s|680000 |317676 |     0 |   0.0 | 847M|  77 |   - |1566 |9315 |   0 |   0 |   0 | 152k|   0 | 0.000000e+00 |      --      |    Inf 
647.71/647.92	c   625s|690000 |321767 |     0 |   0.0 | 858M|  77 |   - |1566 |9572 |   0 |   0 |   0 | 155k|   0 | 0.000000e+00 |      --      |    Inf 
658.61/658.89	c   635s|700000 |325911 |     0 |   0.0 | 870M|  77 |   - |1566 |9559 |   0 |   0 |   0 | 157k|   0 | 0.000000e+00 |      --      |    Inf 
669.98/670.20	c   646s|710000 |329852 |     0 |   0.0 | 881M|  77 |   - |1566 |9171 |   0 |   0 |   0 | 160k|   0 | 0.000000e+00 |      --      |    Inf 
681.18/681.48	c   657s|720000 |333681 |     0 |   0.0 | 893M|  77 |   - |1566 |9279 |   0 |   0 |   0 | 162k|   0 | 0.000000e+00 |      --      |    Inf 
692.69/692.97	c   668s|730000 |337353 |     0 |   0.0 | 904M|  77 |   - |1566 |  10k|   0 |   0 |   0 | 165k|   0 | 0.000000e+00 |      --      |    Inf 
704.37/704.60	c   680s|740000 |341152 |     0 |   0.0 | 915M|  77 |   - |1566 |  10k|   0 |   0 |   0 | 168k|   0 | 0.000000e+00 |      --      |    Inf 
716.17/716.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
716.17/716.47	c   691s|750000 |345000 |     0 |   0.0 | 927M|  77 |   - |1566 |  10k|   0 |   0 |   0 | 171k|   0 | 0.000000e+00 |      --      |    Inf 
727.97/728.23	c   703s|760000 |348842 |     0 |   0.0 | 938M|  77 |   - |1566 |  10k|   0 |   0 |   0 | 174k|   0 | 0.000000e+00 |      --      |    Inf 
739.56/739.87	c   714s|770000 |352700 |     0 |   0.0 | 949M|  77 |   - |1566 |  10k|   0 |   0 |   0 | 176k|   0 | 0.000000e+00 |      --      |    Inf 
751.76/752.04	c   726s|780000 |356196 |     0 |   0.0 | 960M|  77 |   - |1566 |  10k|   0 |   0 |   0 | 179k|   0 | 0.000000e+00 |      --      |    Inf 
764.05/764.33	c   738s|790000 |359644 |     0 |   0.0 | 971M|  77 |   - |1566 |  11k|   0 |   0 |   0 | 182k|   0 | 0.000000e+00 |      --      |    Inf 
776.55/776.84	c   750s|800000 |363167 |     0 |   0.0 | 982M|  77 |   - |1566 |  11k|   0 |   0 |   0 | 185k|   0 | 0.000000e+00 |      --      |    Inf 
788.95/789.28	c   762s|810000 |366802 |     0 |   0.0 | 994M|  77 |   - |1566 |  11k|   0 |   0 |   0 | 188k|   0 | 0.000000e+00 |      --      |    Inf 
801.55/801.84	c   774s|820000 |370447 |     0 |   0.0 |1004M|  77 |   - |1566 |  11k|   0 |   0 |   0 | 190k|   0 | 0.000000e+00 |      --      |    Inf 
814.04/814.31	c   786s|830000 |374154 |     0 |   0.0 |1015M|  77 |   - |1566 |  11k|   0 |   0 |   0 | 193k|   0 | 0.000000e+00 |      --      |    Inf 
826.73/827.01	c   799s|840000 |377622 |     0 |   0.0 |1026M|  77 |   - |1566 |  11k|   0 |   0 |   0 | 196k|   0 | 0.000000e+00 |      --      |    Inf 
839.74/840.01	c   811s|850000 |380800 |     0 |   0.0 |1037M|  77 |   - |1566 |  11k|   0 |   0 |   0 | 199k|   0 | 0.000000e+00 |      --      |    Inf 
852.83/853.17	c   824s|860000 |384038 |     0 |   0.0 |1048M|  77 |   - |1566 |  12k|   0 |   0 |   0 | 202k|   0 | 0.000000e+00 |      --      |    Inf 
866.33/866.62	c   837s|870000 |387351 |     0 |   0.0 |1059M|  77 |   - |1566 |  13k|   0 |   0 |   0 | 205k|   0 | 0.000000e+00 |      --      |    Inf 
879.93/880.20	c   850s|880000 |390693 |     0 |   0.0 |1070M|  77 |   - |1566 |  13k|   0 |   0 |   0 | 208k|   0 | 0.000000e+00 |      --      |    Inf 
893.02/893.39	c   863s|890000 |394162 |     0 |   0.0 |1081M|  77 |   - |1566 |  12k|   0 |   0 |   0 | 211k|   0 | 0.000000e+00 |      --      |    Inf 
905.91/906.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
905.91/906.25	c   876s|900000 |397670 |     0 |   0.0 |1091M|  77 |   - |1566 |  12k|   0 |   0 |   0 | 215k|   0 | 0.000000e+00 |      --      |    Inf 
919.22/919.58	c   889s|910000 |400850 |     0 |   0.0 |1102M|  77 |   - |1566 |  12k|   0 |   0 |   0 | 218k|   0 | 0.000000e+00 |      --      |    Inf 
933.11/933.41	c   902s|920000 |403693 |     0 |   0.0 |1113M|  77 |   - |1566 |  12k|   0 |   0 |   0 | 221k|   0 | 0.000000e+00 |      --      |    Inf 
947.00/947.37	c   916s|930000 |406635 |     0 |   0.0 |1123M|  77 |   - |1566 |  13k|   0 |   0 |   0 | 224k|   0 | 0.000000e+00 |      --      |    Inf 
961.11/961.49	c   930s|940000 |409707 |     0 |   0.0 |1134M|  77 |   - |1566 |  13k|   0 |   0 |   0 | 227k|   0 | 0.000000e+00 |      --      |    Inf 
975.30/975.67	c   943s|950000 |412794 |     0 |   0.0 |1145M|  77 |   - |1566 |  13k|   0 |   0 |   0 | 230k|   0 | 0.000000e+00 |      --      |    Inf 
989.39/989.70	c   957s|960000 |415948 |     0 |   0.0 |1155M|  77 |   - |1566 |  13k|   0 |   0 |   0 | 234k|   0 | 0.000000e+00 |      --      |    Inf 
1003.19/1003.55	c   970s|970000 |419173 |     0 |   0.0 |1166M|  77 |   - |1566 |  13k|   0 |   0 |   0 | 237k|   0 | 0.000000e+00 |      --      |    Inf 
1017.09/1017.47	c   984s|980000 |422330 |     0 |   0.0 |1177M|  77 |   - |1566 |  13k|   0 |   0 |   0 | 240k|   0 | 0.000000e+00 |      --      |    Inf 
1031.98/1032.32	c   999s|990000 |424838 |     0 |   0.0 |1187M|  77 |   - |1566 |  14k|   0 |   0 |   0 | 243k|   0 | 0.000000e+00 |      --      |    Inf 
1047.07/1047.47	c  1013s|  1000k|427461 |     0 |   0.0 |1198M|  77 |   - |1566 |  14k|   0 |   0 |   0 | 247k|   0 | 0.000000e+00 |      --      |    Inf 
1062.37/1062.73	c  1028s|  1010k|430207 |     0 |   0.0 |1208M|  77 |   - |1566 |  15k|   0 |   0 |   0 | 250k|   0 | 0.000000e+00 |      --      |    Inf 
1077.56/1077.94	c  1043s|  1020k|432960 |     0 |   0.0 |1218M|  77 |   - |1566 |  15k|   0 |   0 |   0 | 253k|   0 | 0.000000e+00 |      --      |    Inf 
1092.65/1093.02	c  1058s|  1030k|435790 |     0 |   0.0 |1228M|  77 |   - |1566 |  14k|   0 |   0 |   0 | 257k|   0 | 0.000000e+00 |      --      |    Inf 
1106.96/1107.35	c  1072s|  1040k|438762 |     0 |   0.0 |1239M|  77 |   - |1566 |  14k|   0 |   0 |   0 | 260k|   0 | 0.000000e+00 |      --      |    Inf 
1121.34/1121.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1121.34/1121.74	c  1086s|  1050k|441843 |     0 |   0.0 |1249M|  77 |   - |1566 |  14k|   0 |   0 |   0 | 264k|   0 | 0.000000e+00 |      --      |    Inf 
1136.84/1137.22	c  1101s|  1060k|444391 |     0 |   0.0 |1259M|  77 |   - |1566 |  14k|   0 |   0 |   0 | 267k|   0 | 0.000000e+00 |      --      |    Inf 
1152.94/1153.36	c  1117s|  1070k|446595 |     0 |   0.0 |1270M|  77 |   - |1566 |  15k|   0 |   0 |   0 | 271k|   0 | 0.000000e+00 |      --      |    Inf 
1169.13/1169.58	c  1133s|  1080k|448930 |     0 |   0.0 |1280M|  77 |   - |1566 |  16k|   0 |   0 |   0 | 274k|   0 | 0.000000e+00 |      --      |    Inf 
1185.73/1186.18	c  1149s|  1090k|451330 |     0 |   0.0 |1290M|  77 |   - |1566 |  16k|   0 |   0 |   0 | 278k|   0 | 0.000000e+00 |      --      |    Inf 
1202.13/1202.56	c  1165s|  1100k|453821 |     0 |   0.0 |1300M|  77 |   - |1566 |  16k|   0 |   0 |   0 | 281k|   0 | 0.000000e+00 |      --      |    Inf 
1218.12/1218.55	c  1180s|  1110k|456390 |     0 |   0.0 |1310M|  77 |   - |1566 |  16k|   0 |   0 |   0 | 285k|   0 | 0.000000e+00 |      --      |    Inf 
1233.61/1234.04	c  1196s|  1120k|459122 |     0 |   0.0 |1320M|  77 |   - |1566 |  16k|   0 |   0 |   0 | 288k|   0 | 0.000000e+00 |      --      |    Inf 
1249.31/1249.78	c  1211s|  1130k|461888 |     0 |   0.0 |1330M|  77 |   - |1566 |  16k|   0 |   0 |   0 | 292k|   0 | 0.000000e+00 |      --      |    Inf 
1265.10/1265.51	c  1226s|  1140k|464565 |     0 |   0.0 |1341M|  77 |   - |1566 |  17k|   0 |   0 |   0 | 296k|   0 | 0.000000e+00 |      --      |    Inf 
1282.71/1283.13	c  1243s|  1150k|466495 |     0 |   0.0 |1350M|  77 |   - |1566 |  17k|   0 |   0 |   0 | 300k|   0 | 0.000000e+00 |      --      |    Inf 
1297.00/1297.40	c (node 1158129) switching to memory saving mode (mem: 1296.0M/1620.0M)
1300.80/1301.24	c  1261s|  1160k|467637 |     0 |   0.0 |1355M|  77 |   - |1566 |  18k|   0 |   0 |   0 | 305k|   0 | 0.000000e+00 |      --      |    Inf 
1320.09/1320.54	c  1280s|  1170k|466083 |     0 |   0.0 |1339M|  77 |   - |1566 |  16k|   0 |   0 |   0 | 313k|   0 | 0.000000e+00 |      --      |    Inf 
1333.98/1334.47	c  1294s|  1180k|465924 |     0 |   0.0 |1340M|  77 |   - |1566 |  18k|   0 |   0 |   0 | 319k|   0 | 0.000000e+00 |      --      |    Inf 
1352.28/1352.78	c  1311s|  1190k|465357 |     0 |   0.0 |1334M|  77 |   - |1566 |  18k|   0 |   0 |   0 | 326k|   0 | 0.000000e+00 |      --      |    Inf 
1367.07/1367.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1367.07/1367.54	c  1326s|  1200k|465175 |     0 |   0.0 |1334M|  77 |   - |1566 |  19k|   0 |   0 |   0 | 332k|   0 | 0.000000e+00 |      --      |    Inf 
1383.66/1384.18	c  1342s|  1210k|464916 |     0 |   0.0 |1332M|  77 |   - |1566 |  20k|   0 |   0 |   0 | 338k|   0 | 0.000000e+00 |      --      |    Inf 
1398.86/1399.37	c  1357s|  1220k|464870 |     0 |   0.0 |1334M|  77 |   - |1566 |  22k|   0 |   0 |   0 | 343k|   0 | 0.000000e+00 |      --      |    Inf 
1416.86/1417.38	c  1375s|  1230k|464833 |     0 |   0.0 |1335M|  77 |   - |1566 |  23k|   0 |   0 |   0 | 349k|   0 | 0.000000e+00 |      --      |    Inf 
1434.75/1435.25	c  1392s|  1240k|464794 |     0 |   0.0 |1335M|  77 |   - |1566 |  24k|   0 |   0 |   0 | 354k|   0 | 0.000000e+00 |      --      |    Inf 
1451.84/1452.39	c  1409s|  1250k|464758 |     0 |   0.0 |1334M|  77 |   - |1566 |  22k|   0 |   0 |   0 | 359k|   0 | 0.000000e+00 |      --      |    Inf 
1468.84/1469.33	c  1426s|  1260k|464703 |     0 |   0.0 |1334M|  77 |   - |1566 |  23k|   0 |   0 |   0 | 365k|   0 | 0.000000e+00 |      --      |    Inf 
1485.44/1485.93	c  1442s|  1270k|464648 |     0 |   0.0 |1334M|  77 |   - |1566 |  23k|   0 |   0 |   0 | 370k|   0 | 0.000000e+00 |      --      |    Inf 
1501.84/1502.31	c  1458s|  1280k|464615 |     0 |   0.0 |1335M|  77 |   - |1566 |  24k|   0 |   0 |   0 | 375k|   0 | 0.000000e+00 |      --      |    Inf 
1518.93/1519.45	c  1475s|  1290k|464578 |     0 |   0.0 |1335M|  77 |   - |1566 |  24k|   0 |   0 |   0 | 380k|   0 | 0.000000e+00 |      --      |    Inf 
1536.63/1537.17	c  1492s|  1300k|464540 |     0 |   0.0 |1336M|  77 |   - |1566 |  25k|   0 |   0 |   0 | 386k|   0 | 0.000000e+00 |      --      |    Inf 
1555.12/1555.62	c  1510s|  1310k|464501 |     0 |   0.0 |1336M|  77 |   - |1566 |  26k|   0 |   0 |   0 | 391k|   0 | 0.000000e+00 |      --      |    Inf 
1573.91/1574.43	c  1528s|  1320k|464446 |     0 |   0.0 |1336M|  77 |   - |1566 |  26k|   0 |   0 |   0 | 396k|   0 | 0.000000e+00 |      --      |    Inf 
1592.81/1593.37	c  1547s|  1330k|464377 |     0 |   0.0 |1338M|  77 |   - |1566 |  28k|   0 |   0 |   0 | 401k|   0 | 0.000000e+00 |      --      |    Inf 
1612.40/1612.99	c  1566s|  1340k|464340 |     0 |   0.0 |1337M|  77 |   - |1566 |  26k|   0 |   0 |   0 | 406k|   0 | 0.000000e+00 |      --      |    Inf 
1629.49/1630.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1629.49/1630.09	c  1583s|  1350k|464316 |     0 |   0.0 |1338M|  77 |   - |1566 |  28k|   0 |   0 |   0 | 411k|   0 | 0.000000e+00 |      --      |    Inf 
1650.60/1651.16	c  1604s|  1360k|464299 |     0 |   0.0 |1339M|  77 |   - |1566 |  30k|   0 |   0 |   0 | 416k|   0 | 0.000000e+00 |      --      |    Inf 
1673.78/1674.32	c  1627s|  1370k|464284 |     0 |   0.0 |1340M|  77 |   - |1566 |  31k|   0 |   0 |   0 | 421k|   0 | 0.000000e+00 |      --      |    Inf 
1698.88/1699.42	c  1651s|  1380k|464264 |     0 |   0.0 |1340M|  77 |   - |1566 |  31k|   0 |   0 |   0 | 426k|   0 | 0.000000e+00 |      --      |    Inf 
1724.46/1725.00	c  1677s|  1390k|464250 |     0 |   0.0 |1341M|  77 |   - |1566 |  33k|   0 |   0 |   0 | 431k|   0 | 0.000000e+00 |      --      |    Inf 
1747.66/1748.26	c  1700s|  1400k|464238 |     0 |   0.0 |1342M|  77 |   - |1566 |  34k|   0 |   0 |   0 | 434k|   0 | 0.000000e+00 |      --      |    Inf 
1772.66/1773.30	c  1724s|  1410k|464224 |     0 |   0.0 |1342M|  77 |   - |1566 |  34k|   0 |   0 |   0 | 438k|   0 | 0.000000e+00 |      --      |    Inf 
1800.06/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.61	c 
1800.06/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.61	c Solving Time (sec) : 1751.19
1800.06/1800.61	c Solving Nodes      : 1419981
1800.06/1800.61	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.06/1800.61	c Dual Bound         : +0.00000000000000e+00
1800.06/1800.61	c Gap                : infinite
1800.06/1800.61	s UNKNOWN
1800.06/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.61	c Solving Time       :    1751.19
1800.06/1800.61	c Original Problem   :
1800.06/1800.61	c   Problem name     : HOME/instance-2663437-1276678199.opb
1800.06/1800.61	c   Variables        : 1566 (1566 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61	c   Constraints      : 1618 initial, 1618 maximal
1800.06/1800.61	c Presolved Problem  :
1800.06/1800.61	c   Problem name     : t_HOME/instance-2663437-1276678199.opb
1800.06/1800.61	c   Variables        : 1566 (1566 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61	c   Constraints      : 1618 initial, 36288 maximal
1800.06/1800.61	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.61	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.61	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.61	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.61	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.61	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.61	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.61	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.61	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.61	c   and              :       0.17          0          0          0          0          0          0          0          0
1800.06/1800.61	c   linear           :       0.01          0          0          0          0          0          0          0          0
1800.06/1800.61	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.06/1800.61	c   root node        :          -          0          -          -          0          -          -          -          -
1800.06/1800.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.61	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.06/1800.61	c   knapsack         :          1          0    3983544          0     958302      27698    3222786          0          0          0
1800.06/1800.61	c   setppc           :        100          0    4326073          0     963532       9476     292943          0          0          0
1800.06/1800.61	c   and              :       1466          0    4316597          0     963532         70   69395362          0          0          0
1800.06/1800.61	c   linear           :          1          0    4309651          0     963532     430457     913110          0          0          0
1800.06/1800.61	c   logicor          :         50+         0    1218980          0     963495      29502    6698135          0          0          0
1800.06/1800.61	c   countsols        :          0          0          0          0     963532          0          0          0          0          0
1800.06/1800.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.61	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.61	c   knapsack         :      57.74       0.00      53.05       0.00       4.69
1800.06/1800.61	c   setppc           :      88.83       0.00      10.41       0.00      78.42
1800.06/1800.61	c   and              :     231.39       0.00     191.00       0.00      40.39
1800.06/1800.61	c   linear           :     140.68       0.00     139.70       0.00       0.98
1800.06/1800.61	c   logicor          :     486.40       0.00     483.17       0.00       3.23
1800.06/1800.61	c   countsols        :       0.51       0.00       0.00       0.00       0.51
1800.06/1800.61	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.61	c   vbounds          :       2.33          1          0          0
1800.06/1800.61	c   rootredcost      :       2.26          0          0          0
1800.06/1800.61	c   pseudoobj        :       1.74          0          0          0
1800.06/1800.61	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.61	c   propagation      :      92.54     497203     361489    2512001       56.6        498       64.5          -
1800.06/1800.61	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.61	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.61	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.61	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.61	c   applied globally :          -          -          -     443574       51.5          -          -          -
1800.06/1800.61	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.61	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.61	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.06/1800.61	c   redcost          :       0.00          0          0          0          0          0
1800.06/1800.61	c   impliedbounds    :       0.00          0          0          0          0          0
1800.06/1800.61	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.61	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.61	c   gomory           :       0.00          0          0          0          0          0
1800.06/1800.61	c   strongcg         :       0.00          0          0          0          0          0
1800.06/1800.61	c   cmir             :       0.00          0          0          0          0          0
1800.06/1800.61	c   flowcover        :       0.00          0          0          0          0          0
1800.06/1800.61	c   clique           :       0.00          0          0          0          0          0
1800.06/1800.61	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.61	c   mcf              :       0.00          0          0          0          0          0
1800.06/1800.61	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.61	c Pricers            :       Time      Calls       Vars
1800.06/1800.61	c   problem variables:       0.00          0          0
1800.06/1800.61	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.61	c   relpscost        :       0.00          0          0          0          0          0          0
1800.06/1800.61	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.61	c   inference        :     107.74     963532          0          0          0          0    1927064
1800.06/1800.61	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.61	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.61	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.61	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.61	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.61	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.61	c   LP solutions     :       0.00          -          0
1800.06/1800.61	c   pseudo solutions :       0.00          -          0
1800.06/1800.61	c   trivial          :       0.00          1          0
1800.06/1800.61	c   simplerounding   :       0.00          0          0
1800.06/1800.61	c   zirounding       :       0.00          0          0
1800.06/1800.61	c   rounding         :       0.00          0          0
1800.06/1800.61	c   shifting         :       0.00          0          0
1800.06/1800.61	c   intshifting      :       0.00          0          0
1800.06/1800.61	c   oneopt           :       0.00          0          0
1800.06/1800.61	c   twoopt           :       0.00          0          0
1800.06/1800.61	c   fixandinfer      :       0.00          0          0
1800.06/1800.61	c   feaspump         :       0.00          0          0
1800.06/1800.61	c   coefdiving       :       0.00          0          0
1800.06/1800.61	c   pscostdiving     :       0.00          0          0
1800.06/1800.61	c   fracdiving       :       0.00          0          0
1800.06/1800.61	c   veclendiving     :       0.00          0          0
1800.06/1800.61	c   intdiving        :       0.00          0          0
1800.06/1800.61	c   actconsdiving    :       0.00          0          0
1800.06/1800.61	c   objpscostdiving  :       0.00          0          0
1800.06/1800.61	c   rootsoldiving    :       0.00          0          0
1800.06/1800.61	c   linesearchdiving :       0.00          0          0
1800.06/1800.61	c   guideddiving     :       0.00          0          0
1800.06/1800.61	c   octane           :       0.00          0          0
1800.06/1800.61	c   rens             :       0.00          0          0
1800.06/1800.61	c   rins             :       0.00          0          0
1800.06/1800.61	c   localbranching   :       0.00          0          0
1800.06/1800.61	c   mutation         :       0.00          0          0
1800.06/1800.61	c   crossover        :       0.00          0          0
1800.06/1800.61	c   dins             :       0.00          0          0
1800.06/1800.61	c   undercover       :       0.00          0          0
1800.06/1800.61	c   nlp              :       0.00          0          0
1800.06/1800.61	c   trysol           :       0.00          0          0
1800.06/1800.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.61	c   primal LP        :       0.00          0          0       0.00          -
1800.06/1800.61	c   dual LP          :       0.00          0          0       0.00          -
1800.06/1800.61	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.61	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.61	c   diving/probing LP:       0.00          0          0       0.00          -
1800.06/1800.61	c   strong branching :       0.00          0          0       0.00          -
1800.06/1800.61	c     (at root node) :          -          0          0       0.00          -
1800.06/1800.61	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.61	c B&B Tree           :
1800.06/1800.61	c   number of runs   :          1
1800.06/1800.61	c   nodes            :    1419981
1800.06/1800.61	c   nodes (total)    :    1419981
1800.06/1800.61	c   nodes left       :     464212
1800.06/1800.61	c   max depth        :         77
1800.06/1800.61	c   max depth (total):         77
1800.06/1800.61	c   backtracks       :      90810 (6.4%)
1800.06/1800.61	c   delayed cutoffs  :      42872
1800.06/1800.61	c   repropagations   :    1116534 (6883346 domain reductions, 40754 cutoffs)
1800.06/1800.61	c   avg switch length:       4.98
1800.06/1800.61	c   switching time   :     461.60
1800.06/1800.61	c Solution           :
1800.06/1800.61	c   Solutions found  :          0 (0 improvements)
1800.06/1800.61	c   Primal Bound     :          -
1800.06/1800.61	c   Dual Bound       : +0.00000000000000e+00
1800.06/1800.61	c   Gap              :   infinite
1800.06/1800.61	c   Root Dual Bound  : +0.00000000000000e+00
1800.06/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-2663437-1276678199/watcher-2663437-1276678199 -o /tmp/evaluation-result-2663437-1276678199/solver-2663437-1276678199 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663437-1276678199.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 15286
/proc/meminfo: memFree=1751600/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=6584 CPUtime=0
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 991 0 0 0 0 0 0 0 22 0 1 0 9111382 6742016 915 1992294400 4194304 7136930 140735872961392 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15286/statm: 1646 924 254 719 0 925 0

[startup+0.0231239 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15286
/proc/meminfo: memFree=1751600/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=9848 CPUtime=0.01
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 1931 0 0 0 1 0 0 0 22 0 1 0 9111382 10084352 1854 1992294400 4194304 7136930 140735872961392 18446744073709551615 6350076 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15286/statm: 2462 1854 269 719 0 1741 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9848

[startup+0.101131 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15286
/proc/meminfo: memFree=1751600/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=15024 CPUtime=0.1
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 3644 0 0 0 6 4 0 0 24 0 1 0 9111382 15384576 2956 1992294400 4194304 7136930 140735872961392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 3756 2956 327 719 0 3035 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15024

[startup+0.301148 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15286
/proc/meminfo: memFree=1751600/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=16448 CPUtime=0.29
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 5565 0 0 0 16 13 0 0 25 0 1 0 9111382 16842752 3335 1992294400 4194304 7136930 140735872961392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 4112 3335 361 719 0 3391 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16448

[startup+0.701185 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 15286
/proc/meminfo: memFree=1751600/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=19424 CPUtime=0.69
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 6607 0 0 0 49 20 0 0 25 0 1 0 9111382 19890176 4120 1992294400 4194304 7136930 140735872961392 18446744073709551615 4783062 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 4856 4120 394 719 0 4135 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19424

[startup+1.50126 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15287
/proc/meminfo: memFree=1735472/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=22572 CPUtime=1.49
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 7395 0 0 0 123 26 0 0 25 0 1 0 9111382 23113728 4908 1992294400 4194304 7136930 140735872961392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 5643 4908 394 719 0 4922 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22572

[startup+3.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15287
/proc/meminfo: memFree=1730264/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=28324 CPUtime=3.09
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 8818 0 0 0 274 35 0 0 25 0 1 0 9111382 29003776 6331 1992294400 4194304 7136930 140735872961392 18446744073709551615 4660977 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 7081 6331 394 719 0 6360 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28324

[startup+6.30168 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15287
/proc/meminfo: memFree=1718112/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=39552 CPUtime=6.29
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 11561 0 0 0 579 50 0 0 25 0 1 0 9111382 40501248 9074 1992294400 4194304 7136930 140735872961392 18446744073709551615 5956121 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 9888 9074 394 719 0 9167 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39552

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15287
/proc/meminfo: memFree=1697404/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=60180 CPUtime=12.69
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 16552 0 0 0 1188 81 0 0 25 0 1 0 9111382 61624320 14065 1992294400 4194304 7136930 140735872961392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 15045 14065 394 719 0 14324 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60180

[startup+25.5004 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15287
/proc/meminfo: memFree=1668140/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=89072 CPUtime=25.48
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 23603 0 0 0 2417 131 0 0 25 0 1 0 9111382 91209728 21116 1992294400 4194304 7136930 140735872961392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 22268 21116 394 719 0 21547 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 89072

[startup+51.1007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15287
/proc/meminfo: memFree=1616308/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=142444 CPUtime=51.07
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 36644 0 0 0 4872 235 0 0 25 0 1 0 9111382 145862656 34157 1992294400 4194304 7136930 140735872961392 18446744073709551615 5121833 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 35611 34157 394 719 0 34890 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 142444

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15289
/proc/meminfo: memFree=1534964/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=227092 CPUtime=102.26
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 56785 0 0 0 9795 431 0 0 25 0 1 0 9111382 232542208 54298 1992294400 4194304 7136930 140735872961392 18446744073709551615 4703672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 56773 54298 394 719 0 56052 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 227092

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15291
/proc/meminfo: memFree=1474080/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=296752 CPUtime=162.24
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 71947 0 0 0 15599 625 0 0 25 0 1 0 9111382 303874048 69460 1992294400 4194304 7136930 140735872961392 18446744073709551615 4407800 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 74188 69460 394 719 0 73467 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 296752

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15293
/proc/meminfo: memFree=1414808/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=356600 CPUtime=222.22
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 86803 0 0 0 21406 816 0 0 25 0 1 0 9111382 365158400 84316 1992294400 4194304 7136930 140735872961392 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 89150 84316 394 719 0 88429 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 356600

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15295
/proc/meminfo: memFree=1307672/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=466984 CPUtime=282.2
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 113697 0 0 0 27178 1042 0 0 25 0 1 0 9111382 478191616 111210 1992294400 4194304 7136930 140735872961392 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 116746 111210 394 719 0 116025 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 466984

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15295
/proc/meminfo: memFree=1200536/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=578040 CPUtime=342.19
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 140119 0 0 0 32949 1270 0 0 25 0 1 0 9111382 591912960 137632 1992294400 4194304 7136930 140735872961392 18446744073709551615 4661040 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 144510 137632 394 719 0 143789 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 578040

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15297
/proc/meminfo: memFree=1112248/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=668524 CPUtime=402.17
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 162257 0 0 0 38729 1488 0 0 25 0 1 0 9111382 684568576 159770 1992294400 4194304 7136930 140735872961392 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 167131 159770 394 719 0 166410 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 668524

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15299
/proc/meminfo: memFree=1023340/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=757600 CPUtime=462.15
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 184295 0 0 0 44512 1703 0 0 25 0 1 0 9111382 775782400 181808 1992294400 4194304 7136930 140735872961392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 189400 181808 394 719 0 188679 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 757600

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15301
/proc/meminfo: memFree=930464/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=865676 CPUtime=522.13
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 207920 0 0 0 50307 1906 0 0 25 0 1 0 9111382 886452224 205433 1992294400 4194304 7136930 140735872961392 18446744073709551615 5905985 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 216419 205433 394 719 0 215698 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 865676

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15303
/proc/meminfo: memFree=857924/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=938164 CPUtime=582.12
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 225534 0 0 0 56111 2101 0 0 25 0 1 0 9111382 960679936 223047 1992294400 4194304 7136930 140735872961392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 234541 223047 394 719 0 233820 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 938164

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15303
/proc/meminfo: memFree=790468/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=1002996 CPUtime=642.11
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 242331 0 0 0 61925 2286 0 0 25 0 1 0 9111382 1027067904 239844 1992294400 4194304 7136930 140735872961392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 250749 239844 394 719 0 250028 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1002996

[startup+702.301 s]

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

/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 335242 0 0 0 102785 3412 0 0 25 0 1 0 9111382 1415036928 332755 1992294400 4194304 7136930 140735872961392 18446744073709551615 5909078 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 345468 332755 394 719 0 344747 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 1381872

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15326
/proc/meminfo: memFree=379036/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=1423440 CPUtime=1121.95
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 345330 0 0 0 108633 3562 0 0 25 0 1 0 9111382 1457602560 342843 1992294400 4194304 7136930 140735872961392 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 355860 342843 394 719 0 355139 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 1423440

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15328
/proc/meminfo: memFree=346176/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=1452024 CPUtime=1181.93
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 353012 0 0 0 114500 3693 0 0 25 0 1 0 9111382 1486872576 350525 1992294400 4194304 7136930 140735872961392 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 363006 350525 394 719 0 362285 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 1452024

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15328
/proc/meminfo: memFree=309348/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=1495084 CPUtime=1241.91
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 362147 0 0 0 120361 3830 0 0 25 0 1 0 9111382 1530966016 359660 1992294400 4194304 7136930 140735872961392 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 373771 359660 394 719 0 373050 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1495084

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15330
/proc/meminfo: memFree=274256/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=1527560 CPUtime=1301.89
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 372697 0 0 0 126228 3961 0 0 25 0 1 0 9111382 1564221440 368379 1992294400 4194304 7136930 140735872961392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 381890 368379 394 719 0 381169 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1527560

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15332
/proc/meminfo: memFree=270040/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=1531804 CPUtime=1361.87
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 373760 0 0 0 132078 4109 0 0 25 0 1 0 9111382 1568567296 369442 1992294400 4194304 7136930 140735872961392 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 382951 369442 394 719 0 382230 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1531804

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15334
/proc/meminfo: memFree=267932/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=1533800 CPUtime=1421.86
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 374274 0 0 0 137947 4239 0 0 25 0 1 0 9111382 1570611200 369956 1992294400 4194304 7136930 140735872961392 18446744073709551615 6166240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 383450 369956 394 719 0 382729 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1533800

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15336
/proc/meminfo: memFree=266692/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=1535280 CPUtime=1481.84
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 374610 0 0 0 143823 4361 0 0 25 0 1 0 9111382 1572126720 370292 1992294400 4194304 7136930 140735872961392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 383820 370292 394 719 0 383099 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1535280

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15336
/proc/meminfo: memFree=266072/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=1535816 CPUtime=1541.82
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 374729 0 0 0 149697 4485 0 0 25 0 1 0 9111382 1572675584 370411 1992294400 4194304 7136930 140735872961392 18446744073709551615 4221616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 383954 370411 394 719 0 383233 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1535816

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15338
/proc/meminfo: memFree=263716/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=1538256 CPUtime=1601.8
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 375309 0 0 0 155588 4592 0 0 25 0 1 0 9111382 1575174144 370991 1992294400 4194304 7136930 140735872961392 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 384564 370991 394 719 0 383843 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1538256

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15340
/proc/meminfo: memFree=262476/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=1539796 CPUtime=1661.78
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 375609 0 0 0 161485 4693 0 0 25 0 1 0 9111382 1576751104 371291 1992294400 4194304 7136930 140735872961392 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 384949 371291 394 719 0 384228 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1539796

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15342
/proc/meminfo: memFree=260616/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=1541596 CPUtime=1721.77
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 376035 0 0 0 167399 4778 0 0 25 0 1 0 9111382 1578594304 371717 1992294400 4194304 7136930 140735872961392 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 385399 371717 394 719 0 384678 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1541596

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15344
/proc/meminfo: memFree=259500/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=1542464 CPUtime=1781.75
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 376261 0 0 0 173314 4861 0 0 25 0 1 0 9111382 1579483136 371943 1992294400 4194304 7136930 140735872961392 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 385616 371943 394 719 0 384895 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1542464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15344
/proc/meminfo: memFree=259376/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=1542464 CPUtime=1800.06
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 376282 0 0 0 175122 4884 0 0 25 0 1 0 9111382 1579483136 371964 1992294400 4194304 7136930 140735872961392 18446744073709551615 4982340 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15286/statm: 385616 371964 394 719 0 384895 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1542464

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -15286

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 15344
/proc/meminfo: memFree=259376/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=1542640 CPUtime=1800.85
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 376327 0 0 0 175201 4884 0 0 25 0 1 0 9111382 1579663360 372009 1992294400 4194304 7136930 140735872961392 18446744073709551615 4616919 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15286/statm: 385660 372009 399 719 0 384939 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 1542640

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 15345
/proc/meminfo: memFree=259244/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=1542640 CPUtime=1801.65
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 376327 0 0 0 175281 4884 0 0 25 0 1 0 9111382 1579663360 372009 1992294400 4194304 7136930 140735872961392 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15286/statm: 385660 372009 399 719 0 384939 0
Current children cumulated CPU time (s) 1801.65
Current children cumulated vsize (KiB) 1542640

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 15345
/proc/meminfo: memFree=259244/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=1538004 CPUtime=1802.05
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4202496 376327 0 0 0 175321 4884 0 0 25 0 1 0 9111382 1574916096 370850 1992294400 4194304 7136930 140735872961392 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15286/statm: 384501 370850 399 719 0 383780 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 1538004

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 15345
/proc/meminfo: memFree=259244/2059040 swapFree=4164932/4192956
[pid=15286] ppid=15284 vsize=0 CPUtime=1802.14
/proc/15286/stat : 15286 (pbscip.linux.x8) R 15284 15286 14919 0 -1 4203524 376327 0 0 0 175322 4892 0 0 25 0 1 0 9111382 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15286/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.76
CPU time (s): 1802.22
CPU user time (s): 1753.23
CPU system time (s): 48.9906
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 1542640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1753.23
system time used= 48.9906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376327
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2590

runsolver used 3.04554 second user time and 8.46271 second system time

The end

Launcher Data 

Begin job on node051 at 2010-06-16 10:49:59
IDJOB=2663437
IDBENCH=48315
IDSOLVER=1167
FILE ID=node051/2663437-1276678199
PBS_JOBID= 11172534
Free space on /tmp= 62564 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_25_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-2663437-1276678199/watcher-2663437-1276678199 -o /tmp/evaluation-result-2663437-1276678199/solver-2663437-1276678199 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663437-1276678199.opb -t 1800 -m 1800

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

MD5SUM BENCH= 73ea1f0ac6b3717abb48868130805223
RANDOM SEED=1246333383

node051.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.255
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.51
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.255
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:       1752004 kB
Buffers:         63468 kB
Cached:         132516 kB
SwapCached:       1444 kB
Active:          94940 kB
Inactive:       133924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1752004 kB
SwapTotal:     4192956 kB
SwapFree:      4164932 kB
Dirty:            3248 kB
Writeback:           0 kB
AnonPages:       31396 kB
Mapped:          14992 kB
Slab:            56432 kB
PageTables:       4036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182908 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= 62560 MiB
End job on node051 at 2010-06-16 11:20:02