Trace number 2663469

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

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_5_40.opb
MD5SUMc15d396f227b886c20d72f2f5b513a08
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.740886
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
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 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)5056
Sum of products size (including duplicates)10112
Number of different products2528
Sum of products size5056

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-2663469-1276680396.opb>
0.00/0.04	c original problem has 2928 variables (2928 bin, 0 int, 0 impl, 0 cont) and 3130 constraints
0.00/0.04	c problem read
0.00/0.04	c No objective function, only one solution is needed.
0.00/0.04	c presolving settings loaded
0.00/0.05	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.08	c presolving:
0.29/0.31	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 601 upgd conss, 20624 impls, 400 clqs
0.49/0.50	c presolving (2 rounds):
0.49/0.50	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.50	c  20624 implications, 400 cliques
0.49/0.50	c presolved problem has 2928 variables (2928 bin, 0 int, 0 impl, 0 cont) and 3130 constraints
0.49/0.50	c       1 constraints of type <knapsack>
0.49/0.50	c     400 constraints of type <setppc>
0.49/0.50	c    2528 constraints of type <and>
0.49/0.50	c       1 constraints of type <linear>
0.49/0.50	c     200 constraints of type <logicor>
0.49/0.50	c transformed objective value is always integral (scale: 1)
0.49/0.50	c Presolving Time: 0.24
0.49/0.50	c - non default parameters ----------------------------------------------------------------------
0.49/0.50	c # SCIP version 1.2.1.2
0.49/0.50	c 
0.49/0.50	c # frequency for displaying node information lines
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.50	c display/freq = 10000
0.49/0.50	c 
0.49/0.50	c # maximal time in seconds to run
0.49/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50	c limits/time = 1799.96
0.49/0.50	c 
0.49/0.50	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50	c limits/memory = 1620
0.49/0.50	c 
0.49/0.50	c # solving stops, if the given number of solutions were found (-1: no limit)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50	c limits/solutions = 1
0.49/0.50	c 
0.49/0.50	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50	c lp/solvefreq = -1
0.49/0.50	c 
0.49/0.50	c # maximal number of separation rounds per node (-1: unlimited)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 5]
0.49/0.50	c separating/maxrounds = 1
0.49/0.50	c 
0.49/0.50	c # maximal number of separation rounds in the root node (-1: unlimited)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50	c separating/maxroundsroot = 5
0.49/0.50	c 
0.49/0.50	c # should presolving try to simplify inequalities
0.49/0.50	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.50	c constraints/linear/simplifyinequalities = TRUE
0.49/0.50	c 
0.49/0.50	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.49/0.50	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.49/0.50	c constraints/knapsack/disaggregation = FALSE
0.49/0.50	c 
0.49/0.50	c # should presolving try to simplify knapsacks
0.49/0.50	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.50	c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.50	c 
0.49/0.50	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50	c presolving/probing/maxrounds = 0
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50	c heuristics/coefdiving/freq = -1
0.49/0.50	c 
0.49/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50	c heuristics/coefdiving/maxlpiterquot = 0.075
0.49/0.50	c 
0.49/0.50	c # additional number of allowed LP iterations
0.49/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50	c heuristics/coefdiving/maxlpiterofs = 1500
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 30]
0.49/0.50	c heuristics/crossover/freq = -1
0.49/0.50	c 
0.49/0.50	c # number of nodes added to the contingent of the total nodes
0.49/0.50	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.50	c heuristics/crossover/nodesofs = 750
0.49/0.50	c 
0.49/0.50	c # number of nodes without incumbent change that heuristic should wait
0.49/0.50	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.49/0.50	c heuristics/crossover/nwaitingnodes = 100
0.49/0.50	c 
0.49/0.50	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.49/0.50	c # [type: real, range: [0,1], default: 0.1]
0.49/0.50	c heuristics/crossover/nodesquot = 0.15
0.49/0.50	c 
0.49/0.50	c # minimum percentage of integer variables that have to be fixed 
0.49/0.50	c # [type: real, range: [0,1], default: 0.666]
0.49/0.50	c heuristics/crossover/minfixingrate = 0.5
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.50	c heuristics/feaspump/freq = -1
0.49/0.50	c 
0.49/0.50	c # additional number of allowed LP iterations
0.49/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50	c heuristics/feaspump/maxlpiterofs = 2000
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50	c heuristics/fracdiving/freq = -1
0.49/0.50	c 
0.49/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50	c heuristics/fracdiving/maxlpiterquot = 0.075
0.49/0.50	c 
0.49/0.50	c # additional number of allowed LP iterations
0.49/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50	c heuristics/fracdiving/maxlpiterofs = 1500
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50	c heuristics/guideddiving/freq = -1
0.49/0.50	c 
0.49/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50	c heuristics/guideddiving/maxlpiterquot = 0.075
0.49/0.50	c 
0.49/0.50	c # additional number of allowed LP iterations
0.49/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50	c heuristics/guideddiving/maxlpiterofs = 1500
0.49/0.50	c 
0.49/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50	c heuristics/intdiving/maxlpiterquot = 0.075
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50	c heuristics/intshifting/freq = -1
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50	c heuristics/linesearchdiving/freq = -1
0.49/0.50	c 
0.49/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.49/0.50	c 
0.49/0.50	c # additional number of allowed LP iterations
0.49/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50	c heuristics/nlp/freq = -1
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.50	c heuristics/objpscostdiving/freq = -1
0.49/0.50	c 
0.49/0.50	c # maximal fraction of diving LP iterations compared to total iteration number
0.49/0.50	c # [type: real, range: [0,1], default: 0.01]
0.49/0.50	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.49/0.50	c 
0.49/0.50	c # additional number of allowed LP iterations
0.49/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50	c heuristics/oneopt/freq = -1
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50	c heuristics/pscostdiving/freq = -1
0.49/0.50	c 
0.49/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.49/0.50	c 
0.49/0.50	c # additional number of allowed LP iterations
0.49/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50	c heuristics/pscostdiving/maxlpiterofs = 1500
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50	c heuristics/rens/freq = -1
0.49/0.50	c 
0.49/0.50	c # minimum percentage of integer variables that have to be fixable 
0.49/0.50	c # [type: real, range: [0,1], default: 0.5]
0.49/0.50	c heuristics/rens/minfixingrate = 0.3
0.49/0.50	c 
0.49/0.50	c # number of nodes added to the contingent of the total nodes
0.49/0.50	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.50	c heuristics/rens/nodesofs = 2000
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.50	c heuristics/rootsoldiving/freq = -1
0.49/0.50	c 
0.49/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.49/0.50	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.49/0.50	c 
0.49/0.50	c # additional number of allowed LP iterations
0.49/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50	c heuristics/rounding/freq = -1
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50	c heuristics/shifting/freq = -1
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50	c heuristics/simplerounding/freq = -1
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50	c heuristics/trivial/freq = -1
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50	c heuristics/trysol/freq = -1
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50	c heuristics/veclendiving/freq = -1
0.49/0.50	c 
0.49/0.50	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50	c heuristics/veclendiving/maxlpiterquot = 0.075
0.49/0.50	c 
0.49/0.50	c # additional number of allowed LP iterations
0.49/0.50	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50	c heuristics/veclendiving/maxlpiterofs = 1500
0.49/0.50	c 
0.49/0.50	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50	c heuristics/zirounding/freq = -1
0.49/0.50	c 
0.49/0.50	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50	c separating/cmir/freq = -1
0.49/0.50	c 
0.49/0.50	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50	c separating/flowcover/freq = -1
0.49/0.50	c 
0.49/0.50	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.50	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50	c separating/rapidlearning/freq = 0
0.49/0.50	c 
0.49/0.50	c -----------------------------------------------------------------------------------------------
0.49/0.50	c start solving
0.49/0.50	c 
0.49/0.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.49/0.51	c   0.2s|     1 |     2 |     0 |     - |8031k|   0 |   - |2928 |3130 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
14.08/14.14	c  13.6s| 10000 |  9727 |     0 |   0.0 |  17M| 486 |   - |2928 |3249 |   0 |   0 |   0 | 185 |   0 | 0.000000e+00 |      --      |    Inf 
24.59/24.61	c  23.8s| 20000 | 19500 |     0 |   0.0 |  24M| 486 |   - |2928 |3372 |   0 |   0 |   0 | 365 |   0 | 0.000000e+00 |      --      |    Inf 
31.18/31.21	c  30.1s| 30000 | 29141 |     0 |   0.0 |  31M| 486 |   - |2928 |3578 |   0 |   0 |   0 | 669 |   0 | 0.000000e+00 |      --      |    Inf 
38.58/38.69	c  37.2s| 40000 | 35121 |     0 |   0.0 |  35M| 486 |   - |2928 |4088 |   0 |   0 |   0 |2659 |   0 | 0.000000e+00 |      --      |    Inf 
54.08/54.10	c  52.3s| 50000 | 44500 |     0 |   0.0 |  43M| 486 |   - |2928 |3387 |   0 |   0 |   0 |3016 |   0 | 0.000000e+00 |      --      |    Inf 
69.28/69.33	c  67.3s| 60000 | 54274 |     0 |   0.0 |  51M| 486 |   - |2928 |3413 |   0 |   0 |   0 |3193 |   0 | 0.000000e+00 |      --      |    Inf 
83.66/83.77	c  81.4s| 70000 | 64062 |     0 |   0.0 |  60M| 486 |   - |2928 |3414 |   0 |   0 |   0 |3362 |   0 | 0.000000e+00 |      --      |    Inf 
97.76/97.85	c  95.2s| 80000 | 73896 |     0 |   0.0 |  68M| 486 |   - |2928 |3427 |   0 |   0 |   0 |3508 |   0 | 0.000000e+00 |      --      |    Inf 
111.66/111.77	c   109s| 90000 | 83722 |     0 |   0.0 |  77M| 486 |   - |2928 |3465 |   0 |   0 |   0 |3657 |   0 | 0.000000e+00 |      --      |    Inf 
125.85/125.94	c   123s|100000 | 93543 |     0 |   0.0 |  85M| 486 |   - |2928 |3483 |   0 |   0 |   0 |3812 |   0 | 0.000000e+00 |      --      |    Inf 
139.94/140.06	c   137s|110000 |103360 |     0 |   0.0 |  94M| 486 |   - |2928 |3509 |   0 |   0 |   0 |3961 |   0 | 0.000000e+00 |      --      |    Inf 
153.95/154.06	c   150s|120000 |113160 |     0 |   0.0 | 102M| 486 |   - |2928 |3515 |   0 |   0 |   0 |4122 |   0 | 0.000000e+00 |      --      |    Inf 
167.93/168.01	c   164s|130000 |122949 |     0 |   0.0 | 111M| 486 |   - |2928 |3541 |   0 |   0 |   0 |4296 |   0 | 0.000000e+00 |      --      |    Inf 
182.04/182.12	c   178s|140000 |132749 |     0 |   0.0 | 120M| 486 |   - |2928 |3579 |   0 |   0 |   0 |4459 |   0 | 0.000000e+00 |      --      |    Inf 
196.02/196.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
196.02/196.13	c   191s|150000 |142538 |     0 |   0.0 | 128M| 486 |   - |2928 |3593 |   0 |   0 |   0 |4622 |   0 | 0.000000e+00 |      --      |    Inf 
209.23/209.38	c   204s|160000 |152339 |     0 |   0.0 | 137M| 486 |   - |2928 |3609 |   0 |   0 |   0 |4792 |   0 | 0.000000e+00 |      --      |    Inf 
223.02/223.19	c   218s|170000 |162121 |     0 |   0.0 | 145M| 486 |   - |2928 |3627 |   0 |   0 |   0 |4958 |   0 | 0.000000e+00 |      --      |    Inf 
236.42/236.53	c   231s|180000 |171881 |     0 |   0.0 | 154M| 486 |   - |2928 |3651 |   0 |   0 |   0 |5148 |   0 | 0.000000e+00 |      --      |    Inf 
249.71/249.86	c   244s|190000 |181672 |     0 |   0.0 | 162M| 486 |   - |2928 |3643 |   0 |   0 |   0 |5319 |   0 | 0.000000e+00 |      --      |    Inf 
262.50/262.63	c   257s|200000 |191492 |     0 |   0.0 | 171M| 486 |   - |2928 |3656 |   0 |   0 |   0 |5463 |   0 | 0.000000e+00 |      --      |    Inf 
275.00/275.18	c   269s|210000 |201308 |     0 |   0.0 | 179M| 486 |   - |2928 |3685 |   0 |   0 |   0 |5618 |   0 | 0.000000e+00 |      --      |    Inf 
287.69/287.85	c   281s|220000 |211109 |     0 |   0.0 | 187M| 486 |   - |2928 |3720 |   0 |   0 |   0 |5796 |   0 | 0.000000e+00 |      --      |    Inf 
300.39/300.57	c   294s|230000 |220834 |     0 |   0.0 | 196M| 486 |   - |2928 |3759 |   0 |   0 |   0 |6027 |   0 | 0.000000e+00 |      --      |    Inf 
313.39/313.60	c   306s|240000 |230542 |     0 |   0.0 | 204M| 486 |   - |2928 |3805 |   0 |   0 |   0 |6253 |   0 | 0.000000e+00 |      --      |    Inf 
325.58/325.73	c   318s|250000 |240331 |     0 |   0.0 | 213M| 486 |   - |2928 |3829 |   0 |   0 |   0 |6436 |   0 | 0.000000e+00 |      --      |    Inf 
338.38/338.55	c   331s|260000 |250106 |     0 |   0.0 | 221M| 486 |   - |2928 |3866 |   0 |   0 |   0 |6633 |   0 | 0.000000e+00 |      --      |    Inf 
350.87/351.07	c   343s|270000 |259877 |     0 |   0.0 | 230M| 486 |   - |2928 |3879 |   0 |   0 |   0 |6822 |   0 | 0.000000e+00 |      --      |    Inf 
363.17/363.39	c   355s|280000 |269654 |     0 |   0.0 | 238M| 486 |   - |2928 |3889 |   0 |   0 |   0 |7005 |   0 | 0.000000e+00 |      --      |    Inf 
375.77/375.95	c   367s|290000 |279416 |     0 |   0.0 | 247M| 486 |   - |2928 |3903 |   0 |   0 |   0 |7184 |   0 | 0.000000e+00 |      --      |    Inf 
388.36/388.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
388.36/388.56	c   380s|300000 |289181 |     0 |   0.0 | 255M| 486 |   - |2928 |3915 |   0 |   0 |   0 |7372 |   0 | 0.000000e+00 |      --      |    Inf 
400.56/400.74	c   392s|310000 |298951 |     0 |   0.0 | 264M| 486 |   - |2928 |3928 |   0 |   0 |   0 |7565 |   0 | 0.000000e+00 |      --      |    Inf 
412.76/412.97	c   404s|320000 |308708 |     0 |   0.0 | 272M| 486 |   - |2928 |3961 |   0 |   0 |   0 |7774 |   0 | 0.000000e+00 |      --      |    Inf 
425.35/425.57	c   416s|330000 |318443 |     0 |   0.0 | 280M| 486 |   - |2928 |3981 |   0 |   0 |   0 |7995 |   0 | 0.000000e+00 |      --      |    Inf 
437.34/437.55	c   428s|340000 |328217 |     0 |   0.0 | 289M| 486 |   - |2928 |3987 |   0 |   0 |   0 |8181 |   0 | 0.000000e+00 |      --      |    Inf 
449.65/449.85	c   440s|350000 |337939 |     0 |   0.0 | 297M| 486 |   - |2928 |4015 |   0 |   0 |   0 |8396 |   0 | 0.000000e+00 |      --      |    Inf 
461.85/462.08	c   452s|360000 |347691 |     0 |   0.0 | 306M| 486 |   - |2928 |4030 |   0 |   0 |   0 |8598 |   0 | 0.000000e+00 |      --      |    Inf 
474.23/474.46	c   464s|370000 |357436 |     0 |   0.0 | 314M| 486 |   - |2928 |4010 |   0 |   0 |   0 |8792 |   0 | 0.000000e+00 |      --      |    Inf 
486.43/486.68	c   476s|380000 |367187 |     0 |   0.0 | 323M| 486 |   - |2928 |4022 |   0 |   0 |   0 |8988 |   0 | 0.000000e+00 |      --      |    Inf 
498.52/498.70	c   487s|390000 |376921 |     0 |   0.0 | 331M| 486 |   - |2928 |4040 |   0 |   0 |   0 |9202 |   0 | 0.000000e+00 |      --      |    Inf 
510.43/510.60	c   499s|400000 |386654 |     0 |   0.0 | 339M| 486 |   - |2928 |4069 |   0 |   0 |   0 |9422 |   0 | 0.000000e+00 |      --      |    Inf 
522.02/522.20	c   510s|410000 |396421 |     0 |   0.0 | 348M| 486 |   - |2928 |4073 |   0 |   0 |   0 |9618 |   0 | 0.000000e+00 |      --      |    Inf 
533.61/533.89	c   522s|420000 |406074 |     0 |   0.0 | 356M| 486 |   - |2928 |4102 |   0 |   0 |   0 |9867 |   0 | 0.000000e+00 |      --      |    Inf 
545.42/545.62	c   533s|430000 |415806 |     0 |   0.0 | 364M| 486 |   - |2928 |4100 |   0 |   0 |   0 |  10k|   0 | 0.000000e+00 |      --      |    Inf 
556.71/556.92	c   544s|440000 |425538 |     0 |   0.0 | 372M| 486 |   - |2928 |4119 |   0 |   0 |   0 |  10k|   0 | 0.000000e+00 |      --      |    Inf 
568.41/568.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
568.41/568.64	c   556s|450000 |435259 |     0 |   0.0 | 381M| 486 |   - |2928 |4146 |   0 |   0 |   0 |  10k|   0 | 0.000000e+00 |      --      |    Inf 
579.70/579.95	c   567s|460000 |445032 |     0 |   0.0 | 389M| 486 |   - |2928 |4177 |   0 |   0 |   0 |  10k|   0 | 0.000000e+00 |      --      |    Inf 
591.00/591.25	c   578s|470000 |454781 |     0 |   0.0 | 397M| 486 |   - |2928 |4180 |   0 |   0 |   0 |  10k|   0 | 0.000000e+00 |      --      |    Inf 
602.00/602.29	c   588s|480000 |464521 |     0 |   0.0 | 405M| 486 |   - |2928 |4219 |   0 |   0 |   0 |  11k|   0 | 0.000000e+00 |      --      |    Inf 
613.49/613.77	c   600s|490000 |474246 |     0 |   0.0 | 414M| 486 |   - |2928 |4242 |   0 |   0 |   0 |  11k|   0 | 0.000000e+00 |      --      |    Inf 
624.39/624.61	c   610s|500000 |483997 |     0 |   0.0 | 422M| 486 |   - |2928 |4271 |   0 |   0 |   0 |  11k|   0 | 0.000000e+00 |      --      |    Inf 
635.08/635.37	c   621s|510000 |493757 |     0 |   0.0 | 430M| 486 |   - |2928 |4258 |   0 |   0 |   0 |  11k|   0 | 0.000000e+00 |      --      |    Inf 
645.78/646.06	c   631s|520000 |503526 |     0 |   0.0 | 438M| 486 |   - |2928 |4268 |   0 |   0 |   0 |  11k|   0 | 0.000000e+00 |      --      |    Inf 
656.38/656.61	c   641s|530000 |513298 |     0 |   0.0 | 446M| 486 |   - |2928 |4300 |   0 |   0 |   0 |  12k|   0 | 0.000000e+00 |      --      |    Inf 
667.08/667.34	c   652s|540000 |523053 |     0 |   0.0 | 454M| 486 |   - |2928 |4321 |   0 |   0 |   0 |  12k|   0 | 0.000000e+00 |      --      |    Inf 
678.06/678.34	c   663s|550000 |532758 |     0 |   0.0 | 462M| 486 |   - |2928 |4343 |   0 |   0 |   0 |  12k|   0 | 0.000000e+00 |      --      |    Inf 
688.87/689.19	c   673s|560000 |542470 |     0 |   0.0 | 470M| 486 |   - |2928 |4369 |   0 |   0 |   0 |  12k|   0 | 0.000000e+00 |      --      |    Inf 
699.76/700.00	c   684s|570000 |552156 |     0 |   0.0 | 478M| 486 |   - |2928 |4367 |   0 |   0 |   0 |  13k|   0 | 0.000000e+00 |      --      |    Inf 
710.06/710.32	c   694s|580000 |561920 |     0 |   0.0 | 486M| 486 |   - |2928 |4413 |   0 |   0 |   0 |  13k|   0 | 0.000000e+00 |      --      |    Inf 
720.35/720.69	c   704s|590000 |571656 |     0 |   0.0 | 494M| 486 |   - |2928 |4446 |   0 |   0 |   0 |  13k|   0 | 0.000000e+00 |      --      |    Inf 
730.95/731.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
730.95/731.26	c   714s|600000 |581394 |     0 |   0.0 | 502M| 486 |   - |2928 |4458 |   0 |   0 |   0 |  13k|   0 | 0.000000e+00 |      --      |    Inf 
741.65/741.98	c   725s|610000 |591083 |     0 |   0.0 | 510M| 486 |   - |2928 |4490 |   0 |   0 |   0 |  13k|   0 | 0.000000e+00 |      --      |    Inf 
752.34/752.63	c   735s|620000 |600775 |     0 |   0.0 | 518M| 486 |   - |2928 |4502 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
762.74/763.02	c   745s|630000 |610496 |     0 |   0.0 | 526M| 486 |   - |2928 |4520 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
772.83/773.13	c   755s|640000 |620252 |     0 |   0.0 | 534M| 486 |   - |2928 |4555 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
783.23/783.52	c   765s|650000 |629951 |     0 |   0.0 | 542M| 486 |   - |2928 |4580 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
793.53/793.80	c   775s|660000 |639658 |     0 |   0.0 | 551M| 486 |   - |2928 |4612 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
804.03/804.32	c   785s|670000 |649344 |     0 |   0.0 | 559M| 486 |   - |2928 |4644 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
814.42/814.74	c   795s|680000 |659031 |     0 |   0.0 | 567M| 486 |   - |2928 |4665 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
824.33/824.68	c   805s|690000 |668766 |     0 |   0.0 | 575M| 486 |   - |2928 |4657 |   0 |   0 |   0 |  15k|   0 | 0.000000e+00 |      --      |    Inf 
834.42/834.76	c   815s|700000 |678464 |     0 |   0.0 | 583M| 486 |   - |2928 |4654 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
844.52/844.80	c   825s|710000 |688182 |     0 |   0.0 | 591M| 486 |   - |2928 |4697 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
855.01/855.30	c   835s|720000 |697829 |     0 |   0.0 | 599M| 486 |   - |2928 |4714 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
865.21/865.55	c   845s|730000 |707483 |     0 |   0.0 | 607M| 486 |   - |2928 |4767 |   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
875.32/875.66	c   855s|740000 |717148 |     0 |   0.0 | 615M| 486 |   - |2928 |4728 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
885.30/885.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
885.30/885.66	c   864s|750000 |726836 |     0 |   0.0 | 623M| 486 |   - |2928 |4749 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
895.20/895.51	c   874s|760000 |736537 |     0 |   0.0 | 631M| 486 |   - |2928 |4782 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
904.91/905.29	c   883s|770000 |746216 |     0 |   0.0 | 640M| 486 |   - |2928 |4819 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
914.80/915.16	c   893s|780000 |755883 |     0 |   0.0 | 648M| 486 |   - |2928 |4849 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
924.70/925.06	c   903s|790000 |765562 |     0 |   0.0 | 656M| 486 |   - |2928 |4861 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
934.49/934.80	c   912s|800000 |775245 |     0 |   0.0 | 664M| 486 |   - |2928 |4879 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
943.78/944.14	c   921s|810000 |784935 |     0 |   0.0 | 672M| 486 |   - |2928 |4915 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
953.78/954.12	c   931s|820000 |794551 |     0 |   0.0 | 680M| 486 |   - |2928 |4964 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
963.48/963.89	c   940s|830000 |804215 |     0 |   0.0 | 688M| 486 |   - |2928 |4983 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
973.19/973.54	c   950s|840000 |813866 |     0 |   0.0 | 696M| 486 |   - |2928 |4994 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
982.57/982.97	c   959s|850000 |823519 |     0 |   0.0 | 704M| 486 |   - |2928 |5022 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
991.78/992.14	c   968s|860000 |833234 |     0 |   0.0 | 712M| 486 |   - |2928 |5055 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
1001.47/1001.83	c   977s|870000 |842856 |     0 |   0.0 | 720M| 486 |   - |2928 |5087 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
1011.06/1011.44	c   987s|880000 |852504 |     0 |   0.0 | 729M| 486 |   - |2928 |5102 |   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
1020.87/1021.20	c   996s|890000 |862111 |     0 |   0.0 | 737M| 486 |   - |2928 |5096 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
1029.96/1030.31	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1029.96/1030.31	c  1005s|900000 |871794 |     0 |   0.0 | 745M| 486 |   - |2928 |5118 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
1039.45/1039.89	c  1014s|910000 |881433 |     0 |   0.0 | 753M| 486 |   - |2928 |5140 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
1049.16/1049.59	c  1024s|920000 |891020 |     0 |   0.0 | 761M| 486 |   - |2928 |5165 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 |      --      |    Inf 
1058.65/1059.08	c  1033s|930000 |900645 |     0 |   0.0 | 769M| 486 |   - |2928 |5205 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 |      --      |    Inf 
1068.25/1068.69	c  1042s|940000 |910231 |     0 |   0.0 | 777M| 486 |   - |2928 |5186 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 |      --      |    Inf 
1077.34/1077.70	c  1051s|950000 |919895 |     0 |   0.0 | 785M| 486 |   - |2928 |5191 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 |      --      |    Inf 
1086.54/1086.91	c  1060s|960000 |929486 |     0 |   0.0 | 793M| 486 |   - |2928 |5251 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
1096.04/1096.41	c  1069s|970000 |939059 |     0 |   0.0 | 802M| 486 |   - |2928 |5291 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
1105.33/1105.73	c  1078s|980000 |948627 |     0 |   0.0 | 810M| 486 |   - |2928 |5322 |   0 |   0 |   0 |  23k|   0 | 0.000000e+00 |      --      |    Inf 
1114.72/1115.13	c  1087s|990000 |958245 |     0 |   0.0 | 818M| 486 |   - |2928 |5287 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 |      --      |    Inf 
1123.73/1124.12	c  1096s|  1000k|967881 |     0 |   0.0 | 826M| 486 |   - |2928 |5320 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 |      --      |    Inf 
1132.93/1133.31	c  1105s|  1010k|977490 |     0 |   0.0 | 834M| 486 |   - |2928 |5360 |   0 |   0 |   0 |  24k|   0 | 0.000000e+00 |      --      |    Inf 
1142.12/1142.50	c  1114s|  1020k|987067 |     0 |   0.0 | 842M| 486 |   - |2928 |5381 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
1151.02/1151.42	c  1122s|  1030k|996664 |     0 |   0.0 | 850M| 486 |   - |2928 |5396 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
1160.32/1160.73	c  1132s|  1040k|  1006k|     0 |   0.0 | 858M| 486 |   - |2928 |5427 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
1169.31/1169.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1169.31/1169.76	c  1140s|  1050k|  1015k|     0 |   0.0 | 867M| 486 |   - |2928 |5424 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
1178.11/1178.58	c  1149s|  1060k|  1025k|     0 |   0.0 | 875M| 486 |   - |2928 |5491 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
1187.21/1187.60	c  1158s|  1070k|  1034k|     0 |   0.0 | 883M| 486 |   - |2928 |5520 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
1196.31/1196.80	c  1166s|  1080k|  1044k|     0 |   0.0 | 891M| 486 |   - |2928 |5528 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
1205.40/1205.85	c  1175s|  1090k|  1054k|     0 |   0.0 | 899M| 486 |   - |2928 |5574 |   0 |   0 |   0 |  27k|   0 | 0.000000e+00 |      --      |    Inf 
1214.39/1214.83	c  1184s|  1100k|  1063k|     0 |   0.0 | 908M| 486 |   - |2928 |5579 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
1223.19/1223.69	c  1193s|  1110k|  1073k|     0 |   0.0 | 916M| 486 |   - |2928 |5614 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
1231.88/1232.31	c  1201s|  1120k|  1082k|     0 |   0.0 | 924M| 486 |   - |2928 |5649 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
1240.89/1241.34	c  1210s|  1130k|  1092k|     0 |   0.0 | 932M| 486 |   - |2928 |5703 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
1249.78/1250.21	c  1218s|  1140k|  1101k|     0 |   0.0 | 941M| 486 |   - |2928 |5714 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
1258.78/1259.20	c  1227s|  1150k|  1111k|     0 |   0.0 | 949M| 486 |   - |2928 |5743 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
1267.98/1268.40	c  1236s|  1160k|  1120k|     0 |   0.0 | 957M| 486 |   - |2928 |5756 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
1276.68/1277.13	c  1244s|  1170k|  1130k|     0 |   0.0 | 965M| 486 |   - |2928 |5787 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
1285.48/1285.96	c  1253s|  1180k|  1139k|     0 |   0.0 | 973M| 486 |   - |2928 |5792 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
1294.27/1294.77	c  1261s|  1190k|  1149k|     0 |   0.0 | 982M| 486 |   - |2928 |5851 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
1303.16/1303.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1303.16/1303.62	c  1270s|  1200k|  1158k|     0 |   0.0 | 990M| 486 |   - |2928 |5891 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
1312.06/1312.51	c  1279s|  1210k|  1167k|     0 |   0.0 | 998M| 486 |   - |2928 |5917 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
1320.56/1321.10	c  1287s|  1220k|  1177k|     0 |   0.0 |1006M| 486 |   - |2928 |5931 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
1329.25/1329.75	c  1295s|  1230k|  1186k|     0 |   0.0 |1015M| 486 |   - |2928 |5979 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
1338.05/1338.54	c  1304s|  1240k|  1196k|     0 |   0.0 |1023M| 486 |   - |2928 |6029 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
1346.55/1347.02	c  1312s|  1250k|  1205k|     0 |   0.0 |1031M| 486 |   - |2928 |6040 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
1355.24/1355.70	c  1320s|  1260k|  1215k|     0 |   0.0 |1040M| 486 |   - |2928 |6097 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
1364.15/1364.63	c  1329s|  1270k|  1224k|     0 |   0.0 |1048M| 486 |   - |2928 |6128 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
1372.84/1373.30	c  1337s|  1280k|  1234k|     0 |   0.0 |1056M| 486 |   - |2928 |6160 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
1381.54/1382.00	c  1346s|  1290k|  1243k|     0 |   0.0 |1065M| 486 |   - |2928 |6169 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
1390.34/1390.80	c  1354s|  1300k|  1252k|     0 |   0.0 |1073M| 486 |   - |2928 |6196 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
1398.83/1399.37	c  1363s|  1310k|  1262k|     0 |   0.0 |1081M| 486 |   - |2928 |6236 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 |      --      |    Inf 
1407.43/1407.92	c  1371s|  1320k|  1271k|     0 |   0.0 |1090M| 486 |   - |2928 |6278 |   0 |   0 |   0 |  37k|   0 | 0.000000e+00 |      --      |    Inf 
1415.93/1416.48	c  1379s|  1330k|  1281k|     0 |   0.0 |1098M| 486 |   - |2928 |6328 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
1424.43/1424.99	c  1387s|  1340k|  1290k|     0 |   0.0 |1107M| 486 |   - |2928 |6374 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
1432.92/1433.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1432.92/1433.48	c  1396s|  1350k|  1299k|     0 |   0.0 |1115M| 486 |   - |2928 |6404 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
1441.52/1442.10	c  1404s|  1360k|  1309k|     0 |   0.0 |1124M| 486 |   - |2928 |6436 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
1450.32/1450.86	c  1412s|  1370k|  1318k|     0 |   0.0 |1132M| 486 |   - |2928 |6484 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
1459.01/1459.56	c  1421s|  1380k|  1327k|     0 |   0.0 |1141M| 486 |   - |2928 |6512 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
1467.51/1468.07	c  1429s|  1390k|  1337k|     0 |   0.0 |1149M| 486 |   - |2928 |6533 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
1476.11/1476.64	c  1437s|  1400k|  1346k|     0 |   0.0 |1158M| 486 |   - |2928 |6615 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
1484.70/1485.25	c  1446s|  1410k|  1355k|     0 |   0.0 |1167M| 486 |   - |2928 |6624 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
1493.60/1494.10	c  1454s|  1420k|  1364k|     0 |   0.0 |1175M| 486 |   - |2928 |6659 |   0 |   0 |   0 |  43k|   0 | 0.000000e+00 |      --      |    Inf 
1502.40/1502.92	c  1463s|  1430k|  1374k|     0 |   0.0 |1184M| 486 |   - |2928 |6723 |   0 |   0 |   0 |  43k|   0 | 0.000000e+00 |      --      |    Inf 
1511.00/1511.52	c  1471s|  1440k|  1383k|     0 |   0.0 |1193M| 486 |   - |2928 |6766 |   0 |   0 |   0 |  44k|   0 | 0.000000e+00 |      --      |    Inf 
1519.61/1520.13	c  1480s|  1450k|  1392k|     0 |   0.0 |1201M| 486 |   - |2928 |6802 |   0 |   0 |   0 |  45k|   0 | 0.000000e+00 |      --      |    Inf 
1528.50/1529.07	c  1488s|  1460k|  1401k|     0 |   0.0 |1210M| 486 |   - |2928 |6862 |   0 |   0 |   0 |  45k|   0 | 0.000000e+00 |      --      |    Inf 
1537.20/1537.80	c  1497s|  1470k|  1411k|     0 |   0.0 |1219M| 486 |   - |2928 |6872 |   0 |   0 |   0 |  46k|   0 | 0.000000e+00 |      --      |    Inf 
1546.10/1546.67	c  1505s|  1480k|  1420k|     0 |   0.0 |1228M| 486 |   - |2928 |6901 |   0 |   0 |   0 |  47k|   0 | 0.000000e+00 |      --      |    Inf 
1554.68/1555.24	c  1513s|  1490k|  1429k|     0 |   0.0 |1237M| 486 |   - |2928 |6911 |   0 |   0 |   0 |  47k|   0 | 0.000000e+00 |      --      |    Inf 
1563.59/1564.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1563.59/1564.14	c  1522s|  1500k|  1438k|     0 |   0.0 |1246M| 486 |   - |2928 |6971 |   0 |   0 |   0 |  48k|   0 | 0.000000e+00 |      --      |    Inf 
1572.48/1573.09	c  1531s|  1510k|  1447k|     0 |   0.0 |1255M| 486 |   - |2928 |7038 |   0 |   0 |   0 |  49k|   0 | 0.000000e+00 |      --      |    Inf 
1581.38/1581.99	c  1539s|  1520k|  1456k|     0 |   0.0 |1264M| 486 |   - |2928 |7082 |   0 |   0 |   0 |  50k|   0 | 0.000000e+00 |      --      |    Inf 
1590.38/1590.91	c  1548s|  1530k|  1465k|     0 |   0.0 |1273M| 486 |   - |2928 |7100 |   0 |   0 |   0 |  50k|   0 | 0.000000e+00 |      --      |    Inf 
1599.27/1599.80	c  1557s|  1540k|  1474k|     0 |   0.0 |1281M| 486 |   - |2928 |7051 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 |      --      |    Inf 
1608.26/1608.88	c  1565s|  1550k|  1483k|     0 |   0.0 |1290M| 486 |   - |2928 |7107 |   0 |   0 |   0 |  52k|   0 | 0.000000e+00 |      --      |    Inf 
1617.36/1617.90	c  1574s|  1560k|  1492k|     0 |   0.0 |1299M| 486 |   - |2928 |7131 |   0 |   0 |   0 |  53k|   0 | 0.000000e+00 |      --      |    Inf 
1626.07/1626.62	c  1583s|  1570k|  1501k|     0 |   0.0 |1308M| 486 |   - |2928 |7161 |   0 |   0 |   0 |  53k|   0 | 0.000000e+00 |      --      |    Inf 
1634.66/1635.27	c  1591s|  1580k|  1510k|     0 |   0.0 |1317M| 486 |   - |2928 |7199 |   0 |   0 |   0 |  54k|   0 | 0.000000e+00 |      --      |    Inf 
1643.45/1644.01	c  1599s|  1590k|  1519k|     0 |   0.0 |1326M| 486 |   - |2928 |7271 |   0 |   0 |   0 |  55k|   0 | 0.000000e+00 |      --      |    Inf 
1652.15/1652.78	c  1608s|  1600k|  1528k|     0 |   0.0 |1335M| 486 |   - |2928 |7222 |   0 |   0 |   0 |  56k|   0 | 0.000000e+00 |      --      |    Inf 
1661.15/1661.71	c  1617s|  1610k|  1537k|     0 |   0.0 |1344M| 486 |   - |2928 |7295 |   0 |   0 |   0 |  57k|   0 | 0.000000e+00 |      --      |    Inf 
1669.54/1670.18	c  1625s|  1620k|  1546k|     0 |   0.0 |1353M| 486 |   - |2928 |7347 |   0 |   0 |   0 |  58k|   0 | 0.000000e+00 |      --      |    Inf 
1675.04/1675.60	c (node 1626260) switching to memory saving mode (mem: 1296.0M/1620.0M)
1682.35/1682.94	c  1637s|  1630k|  1551k|     0 |   0.0 |1358M| 486 |   - |2928 |7352 |   0 |   0 |   0 |  60k|   0 | 0.000000e+00 |      --      |    Inf 
1703.14/1703.76	c  1658s|  1640k|  1551k|     0 |   0.0 |1359M| 486 |   - |2928 |7389 |   0 |   0 |   0 |  66k|   0 | 0.000000e+00 |      --      |    Inf 
1724.43/1725.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1724.43/1725.08	c  1679s|  1650k|  1551k|     0 |   0.0 |1359M| 486 |   - |2928 |7396 |   0 |   0 |   0 |  72k|   0 | 0.000000e+00 |      --      |    Inf 
1746.82/1747.41	c  1701s|  1660k|  1551k|     0 |   0.0 |1359M| 486 |   - |2928 |7417 |   0 |   0 |   0 |  78k|   0 | 0.000000e+00 |      --      |    Inf 
1769.22/1769.90	c  1723s|  1670k|  1551k|     0 |   0.0 |1359M| 486 |   - |2928 |7428 |   0 |   0 |   0 |  85k|   0 | 0.000000e+00 |      --      |    Inf 
1790.70/1791.32	c  1744s|  1680k|  1551k|     0 |   0.0 |1359M| 486 |   - |2928 |7346 |   0 |   0 |   0 |  91k|   0 | 0.000000e+00 |      --      |    Inf 
1800.02/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.61	c 
1800.02/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.61	c Solving Time (sec) : 1753.15
1800.02/1800.61	c Solving Nodes      : 1684093
1800.02/1800.61	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.02/1800.61	c Dual Bound         : +0.00000000000000e+00
1800.02/1800.61	c Gap                : infinite
1800.02/1800.61	s UNKNOWN
1800.02/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.61	c Solving Time       :    1753.15
1800.02/1800.61	c Original Problem   :
1800.02/1800.61	c   Problem name     : HOME/instance-2663469-1276680396.opb
1800.02/1800.61	c   Variables        : 2928 (2928 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.61	c   Constraints      : 3130 initial, 3130 maximal
1800.02/1800.61	c Presolved Problem  :
1800.02/1800.61	c   Problem name     : t_HOME/instance-2663469-1276680396.opb
1800.02/1800.61	c   Variables        : 2928 (2928 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.61	c   Constraints      : 3130 initial, 7568 maximal
1800.02/1800.61	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.61	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.61	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.61	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.61	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.61	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.61	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.61	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.61	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.61	c   and              :       0.17          0          0          0          0          0          0          0          0
1800.02/1800.61	c   linear           :       0.03          0          0          0          0          0          0          0          0
1800.02/1800.61	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.61	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.61	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.02/1800.61	c   knapsack         :          1          0    2502097          0    1126713       7683    1754174          0          0          0
1800.02/1800.61	c   setppc           :        400          0    3630443          0    1597013      33792     196663          0          0          0
1800.02/1800.61	c   and              :       2528          0    3791096          0    1629645        231   15842754          0          0          0
1800.02/1800.61	c   linear           :          1          0    3772201          0    1629645      31393     931755          0          0          0
1800.02/1800.61	c   logicor          :        200+         0     179148          0    1629505       4686    2102012          0          0          0
1800.02/1800.61	c   countsols        :          0          0          0          0    1629645          0          0          0          0          0
1800.02/1800.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.61	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.61	c   knapsack         :      62.63       0.00      48.02       0.00      14.61
1800.02/1800.61	c   setppc           :     317.19       0.00      55.73       0.00     261.46
1800.02/1800.61	c   and              :     321.35       0.00     142.04       0.00     179.31
1800.02/1800.61	c   linear           :     238.07       0.00     235.92       0.00       2.15
1800.02/1800.61	c   logicor          :      84.40       0.00      51.44       0.00      32.96
1800.02/1800.61	c   countsols        :       0.90       0.00       0.00       0.00       0.90
1800.02/1800.61	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.61	c   vbounds          :       2.14          1          0          0
1800.02/1800.61	c   rootredcost      :       2.24          0          0          0
1800.02/1800.61	c   pseudoobj        :       1.59          0          0          0
1800.02/1800.61	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.61	c   propagation      :     130.88      77785      77238     340291      321.6         43      214.7          -
1800.02/1800.61	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.61	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.61	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.61	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.02/1800.61	c   applied globally :          -          -          -      60635      144.5          -          -          -
1800.02/1800.61	c   applied locally  :          -          -          -      32992      336.9          -          -          -
1800.02/1800.61	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.61	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.02/1800.61	c   redcost          :       0.00          0          0          0          0          0
1800.02/1800.61	c   impliedbounds    :       0.00          0          0          0          0          0
1800.02/1800.61	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.61	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.61	c   gomory           :       0.00          0          0          0          0          0
1800.02/1800.61	c   strongcg         :       0.00          0          0          0          0          0
1800.02/1800.61	c   cmir             :       0.00          0          0          0          0          0
1800.02/1800.61	c   flowcover        :       0.00          0          0          0          0          0
1800.02/1800.61	c   clique           :       0.00          0          0          0          0          0
1800.02/1800.61	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.61	c   mcf              :       0.00          0          0          0          0          0
1800.02/1800.61	c   rapidlearning    :       0.00          0          0          0          0          0
1800.02/1800.61	c Pricers            :       Time      Calls       Vars
1800.02/1800.61	c   problem variables:       0.00          0          0
1800.02/1800.61	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.61	c   relpscost        :       0.00          0          0          0          0          0          0
1800.02/1800.61	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.61	c   inference        :     505.85    1629645          0          0          0          0    3259290
1800.02/1800.61	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.61	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.61	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.61	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.61	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.61	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.61	c   LP solutions     :       0.00          -          0
1800.02/1800.61	c   pseudo solutions :       0.00          -          0
1800.02/1800.61	c   trivial          :       0.01          1          0
1800.02/1800.61	c   simplerounding   :       0.00          0          0
1800.02/1800.61	c   zirounding       :       0.00          0          0
1800.02/1800.61	c   rounding         :       0.00          0          0
1800.02/1800.61	c   shifting         :       0.00          0          0
1800.02/1800.61	c   intshifting      :       0.00          0          0
1800.02/1800.61	c   oneopt           :       0.00          0          0
1800.02/1800.61	c   twoopt           :       0.00          0          0
1800.02/1800.61	c   fixandinfer      :       0.00          0          0
1800.02/1800.61	c   feaspump         :       0.00          0          0
1800.02/1800.61	c   coefdiving       :       0.00          0          0
1800.02/1800.61	c   pscostdiving     :       0.00          0          0
1800.02/1800.61	c   fracdiving       :       0.00          0          0
1800.02/1800.61	c   veclendiving     :       0.00          0          0
1800.02/1800.61	c   intdiving        :       0.00          0          0
1800.02/1800.61	c   actconsdiving    :       0.00          0          0
1800.02/1800.61	c   objpscostdiving  :       0.00          0          0
1800.02/1800.61	c   rootsoldiving    :       0.00          0          0
1800.02/1800.61	c   linesearchdiving :       0.00          0          0
1800.02/1800.61	c   guideddiving     :       0.00          0          0
1800.02/1800.61	c   octane           :       0.00          0          0
1800.02/1800.61	c   rens             :       0.00          0          0
1800.02/1800.61	c   rins             :       0.00          0          0
1800.02/1800.61	c   localbranching   :       0.00          0          0
1800.02/1800.61	c   mutation         :       0.00          0          0
1800.02/1800.61	c   crossover        :       0.00          0          0
1800.02/1800.61	c   dins             :       0.00          0          0
1800.02/1800.61	c   undercover       :       0.00          0          0
1800.02/1800.61	c   nlp              :       0.00          0          0
1800.02/1800.61	c   trysol           :       0.00          0          0
1800.02/1800.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.61	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.61	c   dual LP          :       0.00          0          0       0.00          -
1800.02/1800.61	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.61	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.61	c   diving/probing LP:       0.00          0          0       0.00          -
1800.02/1800.61	c   strong branching :       0.00          0          0       0.00          -
1800.02/1800.61	c     (at root node) :          -          0          0       0.00          -
1800.02/1800.61	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.61	c B&B Tree           :
1800.02/1800.61	c   number of runs   :          1
1800.02/1800.61	c   nodes            :    1684093
1800.02/1800.61	c   nodes (total)    :    1684093
1800.02/1800.61	c   nodes left       :    1551816
1800.02/1800.61	c   max depth        :        486
1800.02/1800.61	c   max depth (total):        486
1800.02/1800.61	c   backtracks       :      25216 (1.5%)
1800.02/1800.61	c   delayed cutoffs  :      23382
1800.02/1800.61	c   repropagations   :     428840 (1275894 domain reductions, 23337 cutoffs)
1800.02/1800.61	c   avg switch length:       4.09
1800.02/1800.61	c   switching time   :     139.51
1800.02/1800.61	c Solution           :
1800.02/1800.61	c   Solutions found  :          0 (0 improvements)
1800.02/1800.61	c   Primal Bound     :          -
1800.02/1800.61	c   Dual Bound       : +0.00000000000000e+00
1800.02/1800.61	c   Gap              :   infinite
1800.02/1800.61	c   Root Dual Bound  : +0.00000000000000e+00
1800.02/1800.61	c   Root Iterations  :          0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663469-1276680396/watcher-2663469-1276680396 -o /tmp/evaluation-result-2663469-1276680396/solver-2663469-1276680396 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663469-1276680396.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: 0.93 1.02 1.00 3/106 8091
/proc/meminfo: memFree=1829412/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=6584 CPUtime=0
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 43641077 6742016 911 1992294400 4194304 7136930 140733204127232 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8091/statm: 1646 920 254 719 0 925 0

[startup+0.0853741 s]
/proc/loadavg: 0.93 1.02 1.00 3/106 8091
/proc/meminfo: memFree=1829412/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=19304 CPUtime=0.08
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 4449 0 0 0 7 1 0 0 20 0 1 0 43641077 19767296 4017 1992294400 4194304 7136930 140733204127232 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 4826 4020 327 719 0 4105 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19304

[startup+0.101375 s]
/proc/loadavg: 0.93 1.02 1.00 3/106 8091
/proc/meminfo: memFree=1829412/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=19956 CPUtime=0.09
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 4904 0 0 0 8 1 0 0 20 0 1 0 43641077 20434944 4215 1992294400 4194304 7136930 140733204127232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 4989 4215 327 719 0 4268 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19956

[startup+0.301402 s]
/proc/loadavg: 0.93 1.02 1.00 3/106 8091
/proc/meminfo: memFree=1829412/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=21860 CPUtime=0.29
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 5630 0 0 0 18 11 0 0 20 0 1 0 43641077 22384640 4684 1992294400 4194304 7136930 140733204127232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 5465 4685 352 719 0 4744 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21860

[startup+0.701454 s]
/proc/loadavg: 0.93 1.02 1.00 3/106 8091
/proc/meminfo: memFree=1829412/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=23584 CPUtime=0.69
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 7636 0 0 0 48 21 0 0 21 0 1 0 43641077 24150016 5148 1992294400 4194304 7136930 140733204127232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 5896 5148 389 719 0 5175 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23584

[startup+1.50156 s]
/proc/loadavg: 0.94 1.02 1.00 2/107 8092
/proc/meminfo: memFree=1809316/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=24820 CPUtime=1.49
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 7933 0 0 0 125 24 0 0 23 0 1 0 43641077 25415680 5445 1992294400 4194304 7136930 140733204127232 18446744073709551615 4643155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 6205 5445 394 719 0 5484 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24820

[startup+3.10077 s]
/proc/loadavg: 0.94 1.02 1.00 2/107 8092
/proc/meminfo: memFree=1808324/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=25736 CPUtime=3.09
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 8165 0 0 0 283 26 0 0 25 0 1 0 43641077 26353664 5677 1992294400 4194304 7136930 140733204127232 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 6434 5677 394 719 0 5713 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25736

[startup+6.30119 s]
/proc/loadavg: 0.94 1.02 1.00 2/107 8092
/proc/meminfo: memFree=1805596/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=29300 CPUtime=6.29
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 9089 0 0 0 597 32 0 0 25 0 1 0 43641077 30003200 6601 1992294400 4194304 7136930 140733204127232 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 7325 6601 394 719 0 6604 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29300

[startup+12.701 s]
/proc/loadavg: 0.95 1.02 1.00 2/107 8092
/proc/meminfo: memFree=1798652/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=35024 CPUtime=12.69
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 10509 0 0 0 1225 44 0 0 25 0 1 0 43641077 35864576 8021 1992294400 4194304 7136930 140733204127232 18446744073709551615 4414772 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 8756 8021 394 719 0 8035 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35024

[startup+25.5017 s]
/proc/loadavg: 0.96 1.02 1.00 2/107 8094
/proc/meminfo: memFree=1786252/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=47096 CPUtime=25.49
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 13561 0 0 0 2470 79 0 0 25 0 1 0 43641077 48226304 11073 1992294400 4194304 7136930 140733204127232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 11774 11073 394 719 0 11053 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47096

[startup+51.1011 s]
/proc/loadavg: 0.97 1.02 1.00 2/107 8094
/proc/meminfo: memFree=1767280/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=66272 CPUtime=51.07
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 18364 0 0 0 4940 167 0 0 25 0 1 0 43641077 67862528 15876 1992294400 4194304 7136930 140733204127232 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 16568 15876 394 719 0 15847 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 66272

[startup+102.309 s]
/proc/loadavg: 0.99 1.01 1.00 2/107 8096
/proc/meminfo: memFree=1731692/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=103140 CPUtime=102.27
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 27128 0 0 0 9961 266 0 0 25 0 1 0 43641077 105615360 24640 1992294400 4194304 7136930 140733204127232 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 25785 24640 394 719 0 25064 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 103140

[startup+162.302 s]
/proc/loadavg: 0.99 1.01 1.00 2/107 8096
/proc/meminfo: memFree=1695360/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=139156 CPUtime=162.24
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 36168 0 0 0 15837 387 0 0 25 0 1 0 43641077 142495744 33680 1992294400 4194304 7136930 140733204127232 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 34789 33680 394 719 0 34068 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 139156

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8098
/proc/meminfo: memFree=1656672/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=178348 CPUtime=222.22
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 45990 0 0 0 21711 511 0 0 25 0 1 0 43641077 182628352 43502 1992294400 4194304 7136930 140733204127232 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 44587 43502 394 719 0 43866 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 178348

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8100
/proc/meminfo: memFree=1617984/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=221224 CPUtime=282.2
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 55696 0 0 0 27581 639 0 0 25 0 1 0 43641077 226533376 53208 1992294400 4194304 7136930 140733204127232 18446744073709551615 5892288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 55306 53208 394 719 0 54585 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 221224

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8102
/proc/meminfo: memFree=1575824/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=263576 CPUtime=342.18
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 66168 0 0 0 33444 774 0 0 25 0 1 0 43641077 269901824 63680 1992294400 4194304 7136930 140733204127232 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 65894 63680 394 719 0 65173 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 263576

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8104
/proc/meminfo: memFree=1537508/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=302676 CPUtime=402.16
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 75875 0 0 0 39312 904 0 0 25 0 1 0 43641077 309940224 73387 1992294400 4194304 7136930 140733204127232 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 75669 73387 394 719 0 74948 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 302676

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8104
/proc/meminfo: memFree=1489520/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=349728 CPUtime=462.14
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 87464 0 0 0 45179 1035 0 0 25 0 1 0 43641077 358121472 84976 1992294400 4194304 7136930 140733204127232 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 87432 84976 394 719 0 86711 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 349728

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8106
/proc/meminfo: memFree=1449468/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=390748 CPUtime=522.12
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 97677 0 0 0 51043 1169 0 0 25 0 1 0 43641077 400125952 95189 1992294400 4194304 7136930 140733204127232 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 97687 95189 394 719 0 96966 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 390748

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8108
/proc/meminfo: memFree=1406316/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=433020 CPUtime=582.1
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 108169 0 0 0 56906 1304 0 0 25 0 1 0 43641077 443412480 105681 1992294400 4194304 7136930 140733204127232 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 108255 105681 394 719 0 107534 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 433020

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8110
/proc/meminfo: memFree=1362420/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=484536 CPUtime=642.09
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 119060 0 0 0 62756 1453 0 0 25 0 1 0 43641077 496164864 116572 1992294400 4194304 7136930 140733204127232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 121134 116572 394 719 0 120413 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 484536

[startup+702.301 s]

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

/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 205053 0 0 0 103608 2587 0 0 25 0 1 0 43641077 854122496 202565 1992294400 4194304 7136930 140733204127232 18446744073709551615 5120184 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 208526 202565 394 719 0 207805 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 834104

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8122
/proc/meminfo: memFree=963512/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=888956 CPUtime=1121.92
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 218492 0 0 0 109424 2768 0 0 25 0 1 0 43641077 910290944 216004 1992294400 4194304 7136930 140733204127232 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 222239 216004 394 719 0 221518 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 888956

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8124
/proc/meminfo: memFree=912548/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=958420 CPUtime=1181.9
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 231444 0 0 0 115248 2942 0 0 25 0 1 0 43641077 981422080 228956 1992294400 4194304 7136930 140733204127232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 239605 228956 394 719 0 238884 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 958420

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8126
/proc/meminfo: memFree=853896/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=1015448 CPUtime=1241.89
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 245786 0 0 0 121062 3127 0 0 25 0 1 0 43641077 1039818752 243298 1992294400 4194304 7136930 140733204127232 18446744073709551615 4948367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 253862 243298 394 719 0 253141 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1015448

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8128
/proc/meminfo: memFree=793384/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=1077696 CPUtime=1301.87
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 260792 0 0 0 126872 3315 0 0 25 0 1 0 43641077 1103560704 258304 1992294400 4194304 7136930 140733204127232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 269424 258304 394 719 0 268703 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1077696

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8128
/proc/meminfo: memFree=735600/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=1136456 CPUtime=1361.85
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 275308 0 0 0 132680 3505 0 0 25 0 1 0 43641077 1163730944 272820 1992294400 4194304 7136930 140733204127232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 284114 272820 394 719 0 283393 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1136456

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8130
/proc/meminfo: memFree=674964/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=1200312 CPUtime=1421.83
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 290357 0 0 0 138486 3697 0 0 25 0 1 0 43641077 1229119488 287869 1992294400 4194304 7136930 140733204127232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 300078 287869 394 719 0 299357 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1200312

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8132
/proc/meminfo: memFree=618048/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=1260856 CPUtime=1481.81
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 304685 0 0 0 144293 3888 0 0 25 0 1 0 43641077 1291116544 302197 1992294400 4194304 7136930 140733204127232 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 315214 302197 394 719 0 314493 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1260856

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8134
/proc/meminfo: memFree=553568/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=1332408 CPUtime=1541.79
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 320581 0 0 0 150103 4076 0 0 25 0 1 0 43641077 1364385792 318093 1992294400 4194304 7136930 140733204127232 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 333102 318093 394 719 0 332381 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1332408

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8136
/proc/meminfo: memFree=492560/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=1397604 CPUtime=1601.77
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 335983 0 0 0 155911 4266 0 0 25 0 1 0 43641077 1431146496 333495 1992294400 4194304 7136930 140733204127232 18446744073709551615 4703480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 349401 333495 394 719 0 348680 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1397604

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8136
/proc/meminfo: memFree=427088/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=1472740 CPUtime=1661.75
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 352142 0 0 0 161718 4457 0 0 25 0 1 0 43641077 1508085760 349654 1992294400 4194304 7136930 140733204127232 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 368185 349654 394 719 0 367464 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1472740

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8138
/proc/meminfo: memFree=406008/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=1497852 CPUtime=1721.72
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 363384 0 0 0 167600 4572 0 0 25 0 1 0 43641077 1533800448 354833 1992294400 4194304 7136930 140733204127232 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 374463 354833 394 719 0 373742 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1497852

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 8140
/proc/meminfo: memFree=405388/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=1498264 CPUtime=1781.71
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 363477 0 0 0 173515 4656 0 0 25 0 1 0 43641077 1534222336 354926 1992294400 4194304 7136930 140733204127232 18446744073709551615 5909078 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 374566 354926 394 719 0 373845 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1498264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 1.00 1.00 3/107 8140
/proc/meminfo: memFree=405388/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=1498264 CPUtime=1800.02
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 363484 0 0 0 175319 4683 0 0 25 0 1 0 43641077 1534222336 354933 1992294400 4194304 7136930 140733204127232 18446744073709551615 5909042 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8091/statm: 374566 354933 394 719 0 373845 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1498264

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -8091

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

[startup+1801.4 s]
/proc/loadavg: 0.99 1.00 1.00 3/107 8140
/proc/meminfo: memFree=405388/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=1498140 CPUtime=1800.8
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 363509 0 0 0 175397 4683 0 0 25 0 1 0 43641077 1534095360 354893 1992294400 4194304 7136930 140733204127232 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8091/statm: 374535 354893 399 719 0 373814 0
Current children cumulated CPU time (s) 1800.8
Current children cumulated vsize (KiB) 1498140

[startup+1802.2 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 8141
/proc/meminfo: memFree=405256/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=1497624 CPUtime=1801.59
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 363509 0 0 0 175476 4683 0 0 25 0 1 0 43641077 1533566976 354764 1992294400 4194304 7136930 140733204127232 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8091/statm: 374406 354764 399 719 0 373685 0
Current children cumulated CPU time (s) 1801.59
Current children cumulated vsize (KiB) 1497624

[startup+1802.6 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 8141
/proc/meminfo: memFree=405256/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=1496076 CPUtime=1801.99
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4202496 363509 0 0 0 175516 4683 0 0 25 0 1 0 43641077 1531981824 354377 1992294400 4194304 7136930 140733204127232 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8091/statm: 374019 354377 399 719 0 373298 0
Current children cumulated CPU time (s) 1801.99
Current children cumulated vsize (KiB) 1496076

[startup+1802.7 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 8141
/proc/meminfo: memFree=405256/2059040 swapFree=4139776/4192956
[pid=8091] ppid=8089 vsize=0 CPUtime=1802.09
/proc/8091/stat : 8091 (pbscip.linux.x8) R 8089 8091 7285 0 -1 4203524 363509 0 0 0 175518 4691 0 0 25 0 1 0 43641077 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/8091/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.76
CPU time (s): 1802.16
CPU user time (s): 1755.19
CPU system time (s): 46.9729
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 1528076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1755.19
system time used= 46.9729
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 363509
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= 21848

runsolver used 3.04354 second user time and 8.46671 second system time

The end

Launcher Data 

Begin job on node013 at 2010-06-16 11:26:36
IDJOB=2663469
IDBENCH=48347
IDSOLVER=1167
FILE ID=node013/2663469-1276680396
PBS_JOBID= 11172536
Free space on /tmp= 62552 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_200_10_5_40.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663469-1276680396/watcher-2663469-1276680396 -o /tmp/evaluation-result-2663469-1276680396/solver-2663469-1276680396 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663469-1276680396.opb -t 1800 -m 1800

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

MD5SUM BENCH= c15d396f227b886c20d72f2f5b513a08
RANDOM SEED=1524540444

node013.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.253
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.50
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.253
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1829816 kB
Buffers:         40484 kB
Cached:          95660 kB
SwapCached:       6572 kB
Active:          88364 kB
Inactive:        61592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1829816 kB
SwapTotal:     4192956 kB
SwapFree:      4139776 kB
Dirty:            3516 kB
Writeback:           0 kB
AnonPages:       12268 kB
Mapped:          13012 kB
Slab:            57328 kB
PageTables:       4040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182348 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= 62548 MiB
End job on node013 at 2010-06-16 11:56:39