Trace number 2663484

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.64

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_5_40.opb
MD5SUM813576a353dee8860ef5bb1ebdae9d95
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints302
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
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 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2504
Sum of products size (including duplicates)5008
Number of different products1252
Sum of products size2504

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-2663484-1276682707.opb>
0.00/0.02	c original problem has 1452 variables (1452 bin, 0 int, 0 impl, 0 cont) and 1554 constraints
0.00/0.02	c problem read
0.00/0.02	c No objective function, only one solution is needed.
0.00/0.02	c presolving settings loaded
0.00/0.03	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.02/0.04	c presolving:
0.19/0.24	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 10216 impls, 200 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  10216 implications, 200 cliques
0.39/0.42	c presolved problem has 1452 variables (1452 bin, 0 int, 0 impl, 0 cont) and 1554 constraints
0.39/0.42	c       1 constraints of type <knapsack>
0.39/0.42	c     200 constraints of type <setppc>
0.39/0.42	c    1252 constraints of type <and>
0.39/0.42	c       1 constraints of type <linear>
0.39/0.42	c     100 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.43	c separating/rapidlearning/freq = 0
0.39/0.43	c 
0.39/0.43	c -----------------------------------------------------------------------------------------------
0.39/0.43	c start solving
0.39/0.43	c 
0.39/0.43	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.43	c   0.2s|     1 |     2 |     0 |     - |4031k|   0 |   - |1452 |1554 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.89/6.94	c   6.4s| 10000 |  7622 |     0 |   0.0 |  14M| 144 |   - |1452 |1766 |   0 |   0 |   0 |1610 |   0 | 0.000000e+00 |      --      |    Inf 
14.29/14.36	c  13.5s| 20000 | 15904 |     0 |   0.0 |  24M| 144 |   - |1452 |1897 |   0 |   0 |   0 |2431 |   0 | 0.000000e+00 |      --      |    Inf 
21.69/21.77	c  20.6s| 30000 | 23633 |     0 |   0.0 |  33M| 144 |   - |1452 |2087 |   0 |   0 |   0 |3497 |   0 | 0.000000e+00 |      --      |    Inf 
29.69/29.73	c  28.3s| 40000 | 29987 |     0 |   0.0 |  41M| 144 |   - |1452 |2177 |   0 |   0 |   0 |4891 |   0 | 0.000000e+00 |      --      |    Inf 
37.68/37.77	c  36.0s| 50000 | 36125 |     0 |   0.0 |  49M| 144 |   - |1452 |2262 |   0 |   0 |   0 |6681 |   0 | 0.000000e+00 |      --      |    Inf 
45.98/46.02	c  43.9s| 60000 | 41684 |     0 |   0.0 |  57M| 144 |   - |1452 |2389 |   0 |   0 |   0 |8799 |   0 | 0.000000e+00 |      --      |    Inf 
54.77/54.86	c  52.4s| 70000 | 46471 |     0 |   0.0 |  64M| 144 |   - |1452 |2438 |   0 |   0 |   0 |  11k|   0 | 0.000000e+00 |      --      |    Inf 
63.68/63.78	c  60.9s| 80000 | 50910 |     0 |   0.0 |  71M| 144 |   - |1452 |2614 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
72.98/73.04	c  69.8s| 90000 | 54813 |     0 |   0.0 |  77M| 144 |   - |1452 |2906 |   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
82.67/82.76	c  79.0s|100000 | 58114 |     0 |   0.0 |  84M| 144 |   - |1452 |3570 |   0 |   0 |   0 |  21k|   0 | 0.000000e+00 |      --      |    Inf 
92.17/92.27	c  88.1s|110000 | 61168 |     0 |   0.0 |  91M| 144 |   - |1452 |4357 |   0 |   0 |   0 |  26k|   0 | 0.000000e+00 |      --      |    Inf 
102.36/102.49	c  97.9s|120000 | 63560 |     0 |   0.0 |  97M| 144 |   - |1452 |5171 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
112.26/112.37	c   107s|130000 | 65848 |     0 |   0.0 | 102M| 144 |   - |1452 |5617 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
121.36/121.49	c   116s|140000 | 71911 |     0 |   0.0 | 111M| 144 |   - |1452 |2285 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
129.96/130.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
129.96/130.09	c   124s|150000 | 79689 |     0 |   0.0 | 121M| 144 |   - |1452 |2357 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
138.85/138.94	c   133s|160000 | 86908 |     0 |   0.0 | 130M| 144 |   - |1452 |2274 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
147.95/148.01	c   142s|170000 | 93811 |     0 |   0.0 | 139M| 144 |   - |1452 |2369 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
157.26/157.32	c   151s|180000 |100667 |     0 |   0.0 | 147M| 144 |   - |1452 |2374 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
166.34/166.50	c   160s|190000 |107440 |     0 |   0.0 | 155M| 144 |   - |1452 |2330 |   0 |   0 |   0 |  43k|   0 | 0.000000e+00 |      --      |    Inf 
175.54/175.67	c   168s|200000 |113956 |     0 |   0.0 | 164M| 144 |   - |1452 |2423 |   0 |   0 |   0 |  45k|   0 | 0.000000e+00 |      --      |    Inf 
184.75/184.85	c   177s|210000 |120423 |     0 |   0.0 | 172M| 144 |   - |1452 |2379 |   0 |   0 |   0 |  46k|   0 | 0.000000e+00 |      --      |    Inf 
194.04/194.10	c   186s|220000 |126858 |     0 |   0.0 | 180M| 144 |   - |1452 |2444 |   0 |   0 |   0 |  47k|   0 | 0.000000e+00 |      --      |    Inf 
203.13/203.28	c   195s|230000 |133286 |     0 |   0.0 | 188M| 144 |   - |1452 |2310 |   0 |   0 |   0 |  48k|   0 | 0.000000e+00 |      --      |    Inf 
212.44/212.50	c   204s|240000 |139672 |     0 |   0.0 | 196M| 144 |   - |1452 |2296 |   0 |   0 |   0 |  49k|   0 | 0.000000e+00 |      --      |    Inf 
221.93/222.02	c   213s|250000 |145744 |     0 |   0.0 | 204M| 144 |   - |1452 |2439 |   0 |   0 |   0 |  50k|   0 | 0.000000e+00 |      --      |    Inf 
231.13/231.25	c   222s|260000 |151988 |     0 |   0.0 | 212M| 144 |   - |1452 |2379 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 |      --      |    Inf 
240.32/240.43	c   231s|270000 |158314 |     0 |   0.0 | 220M| 144 |   - |1452 |2443 |   0 |   0 |   0 |  52k|   0 | 0.000000e+00 |      --      |    Inf 
249.53/249.67	c   240s|280000 |164455 |     0 |   0.0 | 228M| 144 |   - |1452 |2459 |   0 |   0 |   0 |  54k|   0 | 0.000000e+00 |      --      |    Inf 
258.83/258.92	c   249s|290000 |170680 |     0 |   0.0 | 236M| 144 |   - |1452 |2465 |   0 |   0 |   0 |  55k|   0 | 0.000000e+00 |      --      |    Inf 
268.02/268.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
268.02/268.13	c   258s|300000 |176782 |     0 |   0.0 | 244M| 144 |   - |1452 |2448 |   0 |   0 |   0 |  56k|   0 | 0.000000e+00 |      --      |    Inf 
277.32/277.48	c   267s|310000 |182742 |     0 |   0.0 | 252M| 144 |   - |1452 |2502 |   0 |   0 |   0 |  57k|   0 | 0.000000e+00 |      --      |    Inf 
286.61/286.79	c   276s|320000 |188798 |     0 |   0.0 | 259M| 144 |   - |1452 |2444 |   0 |   0 |   0 |  58k|   0 | 0.000000e+00 |      --      |    Inf 
296.02/296.11	c   285s|330000 |194828 |     0 |   0.0 | 267M| 144 |   - |1452 |2455 |   0 |   0 |   0 |  60k|   0 | 0.000000e+00 |      --      |    Inf 
305.41/305.56	c   294s|340000 |200856 |     0 |   0.0 | 275M| 144 |   - |1452 |2498 |   0 |   0 |   0 |  61k|   0 | 0.000000e+00 |      --      |    Inf 
314.61/314.77	c   303s|350000 |207270 |     0 |   0.0 | 284M| 144 |   - |1452 |2451 |   0 |   0 |   0 |  62k|   0 | 0.000000e+00 |      --      |    Inf 
323.91/324.05	c   312s|360000 |213420 |     0 |   0.0 | 291M| 144 |   - |1452 |2461 |   0 |   0 |   0 |  64k|   0 | 0.000000e+00 |      --      |    Inf 
333.11/333.21	c   321s|370000 |219577 |     0 |   0.0 | 299M| 144 |   - |1452 |2461 |   0 |   0 |   0 |  65k|   0 | 0.000000e+00 |      --      |    Inf 
342.51/342.65	c   330s|380000 |225543 |     0 |   0.0 | 307M| 144 |   - |1452 |2430 |   0 |   0 |   0 |  66k|   0 | 0.000000e+00 |      --      |    Inf 
351.91/352.01	c   339s|390000 |231408 |     0 |   0.0 | 315M| 144 |   - |1452 |2523 |   0 |   0 |   0 |  67k|   0 | 0.000000e+00 |      --      |    Inf 
361.29/361.46	c   348s|400000 |237335 |     0 |   0.0 | 323M| 144 |   - |1452 |2522 |   0 |   0 |   0 |  69k|   0 | 0.000000e+00 |      --      |    Inf 
370.79/370.95	c   357s|410000 |243163 |     0 |   0.0 | 331M| 144 |   - |1452 |2576 |   0 |   0 |   0 |  70k|   0 | 0.000000e+00 |      --      |    Inf 
380.29/380.43	c   366s|420000 |248896 |     0 |   0.0 | 339M| 144 |   - |1452 |2647 |   0 |   0 |   0 |  72k|   0 | 0.000000e+00 |      --      |    Inf 
389.99/390.14	c   376s|430000 |254481 |     0 |   0.0 | 346M| 144 |   - |1452 |2548 |   0 |   0 |   0 |  74k|   0 | 0.000000e+00 |      --      |    Inf 
399.59/399.72	c   385s|440000 |260210 |     0 |   0.0 | 354M| 144 |   - |1452 |2663 |   0 |   0 |   0 |  75k|   0 | 0.000000e+00 |      --      |    Inf 
408.89/409.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
408.89/409.07	c   394s|450000 |266018 |     0 |   0.0 | 362M| 144 |   - |1452 |2690 |   0 |   0 |   0 |  77k|   0 | 0.000000e+00 |      --      |    Inf 
418.49/418.69	c   403s|460000 |271839 |     0 |   0.0 | 370M| 144 |   - |1452 |2649 |   0 |   0 |   0 |  79k|   0 | 0.000000e+00 |      --      |    Inf 
428.08/428.22	c   413s|470000 |277592 |     0 |   0.0 | 378M| 144 |   - |1452 |2796 |   0 |   0 |   0 |  80k|   0 | 0.000000e+00 |      --      |    Inf 
437.48/437.67	c   422s|480000 |283382 |     0 |   0.0 | 385M| 144 |   - |1452 |2662 |   0 |   0 |   0 |  82k|   0 | 0.000000e+00 |      --      |    Inf 
447.27/447.42	c   431s|490000 |288998 |     0 |   0.0 | 393M| 144 |   - |1452 |2791 |   0 |   0 |   0 |  83k|   0 | 0.000000e+00 |      --      |    Inf 
456.77/456.97	c   440s|500000 |294649 |     0 |   0.0 | 401M| 144 |   - |1452 |2804 |   0 |   0 |   0 |  85k|   0 | 0.000000e+00 |      --      |    Inf 
466.37/466.57	c   450s|510000 |300293 |     0 |   0.0 | 409M| 144 |   - |1452 |2855 |   0 |   0 |   0 |  87k|   0 | 0.000000e+00 |      --      |    Inf 
476.26/476.46	c   459s|520000 |305695 |     0 |   0.0 | 416M| 144 |   - |1452 |2773 |   0 |   0 |   0 |  88k|   0 | 0.000000e+00 |      --      |    Inf 
485.97/486.10	c   469s|530000 |311236 |     0 |   0.0 | 424M| 144 |   - |1452 |2793 |   0 |   0 |   0 |  90k|   0 | 0.000000e+00 |      --      |    Inf 
495.36/495.59	c   478s|540000 |316928 |     0 |   0.0 | 431M| 144 |   - |1452 |2727 |   0 |   0 |   0 |  92k|   0 | 0.000000e+00 |      --      |    Inf 
505.26/505.45	c   487s|550000 |322337 |     0 |   0.0 | 439M| 144 |   - |1452 |2807 |   0 |   0 |   0 |  94k|   0 | 0.000000e+00 |      --      |    Inf 
515.06/515.26	c   497s|560000 |327756 |     0 |   0.0 | 447M| 144 |   - |1452 |2893 |   0 |   0 |   0 |  95k|   0 | 0.000000e+00 |      --      |    Inf 
524.57/524.79	c   506s|570000 |333337 |     0 |   0.0 | 455M| 144 |   - |1452 |2886 |   0 |   0 |   0 |  97k|   0 | 0.000000e+00 |      --      |    Inf 
534.55/534.74	c   516s|580000 |338607 |     0 |   0.0 | 462M| 144 |   - |1452 |2868 |   0 |   0 |   0 |  99k|   0 | 0.000000e+00 |      --      |    Inf 
544.36/544.55	c   525s|590000 |344048 |     0 |   0.0 | 470M| 144 |   - |1452 |3028 |   0 |   0 |   0 | 101k|   0 | 0.000000e+00 |      --      |    Inf 
554.15/554.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
554.15/554.32	c   534s|600000 |349330 |     0 |   0.0 | 478M| 144 |   - |1452 |3102 |   0 |   0 |   0 | 103k|   0 | 0.000000e+00 |      --      |    Inf 
563.95/564.17	c   544s|610000 |354651 |     0 |   0.0 | 485M| 144 |   - |1452 |2839 |   0 |   0 |   0 | 105k|   0 | 0.000000e+00 |      --      |    Inf 
574.04/574.27	c   554s|620000 |359884 |     0 |   0.0 | 493M| 144 |   - |1452 |2915 |   0 |   0 |   0 | 107k|   0 | 0.000000e+00 |      --      |    Inf 
583.85/584.09	c   563s|630000 |365215 |     0 |   0.0 | 501M| 144 |   - |1452 |3026 |   0 |   0 |   0 | 109k|   0 | 0.000000e+00 |      --      |    Inf 
593.85/594.09	c   573s|640000 |370459 |     0 |   0.0 | 509M| 144 |   - |1452 |2951 |   0 |   0 |   0 | 112k|   0 | 0.000000e+00 |      --      |    Inf 
603.93/604.17	c   582s|650000 |375627 |     0 |   0.0 | 516M| 144 |   - |1452 |2919 |   0 |   0 |   0 | 114k|   0 | 0.000000e+00 |      --      |    Inf 
613.93/614.10	c   592s|660000 |380888 |     0 |   0.0 | 524M| 144 |   - |1452 |2934 |   0 |   0 |   0 | 115k|   0 | 0.000000e+00 |      --      |    Inf 
623.92/624.13	c   602s|670000 |386032 |     0 |   0.0 | 531M| 144 |   - |1452 |3029 |   0 |   0 |   0 | 118k|   0 | 0.000000e+00 |      --      |    Inf 
633.73/633.90	c   611s|680000 |391298 |     0 |   0.0 | 539M| 144 |   - |1452 |2952 |   0 |   0 |   0 | 120k|   0 | 0.000000e+00 |      --      |    Inf 
644.02/644.20	c   621s|690000 |396271 |     0 |   0.0 | 546M| 144 |   - |1452 |2892 |   0 |   0 |   0 | 122k|   0 | 0.000000e+00 |      --      |    Inf 
654.02/654.30	c   631s|700000 |401294 |     0 |   0.0 | 554M| 144 |   - |1452 |2946 |   0 |   0 |   0 | 124k|   0 | 0.000000e+00 |      --      |    Inf 
664.12/664.37	c   641s|710000 |406357 |     0 |   0.0 | 561M| 144 |   - |1452 |2914 |   0 |   0 |   0 | 126k|   0 | 0.000000e+00 |      --      |    Inf 
673.92/674.10	c   650s|720000 |411569 |     0 |   0.0 | 569M| 144 |   - |1452 |2900 |   0 |   0 |   0 | 128k|   0 | 0.000000e+00 |      --      |    Inf 
684.01/684.29	c   660s|730000 |416648 |     0 |   0.0 | 576M| 144 |   - |1452 |2926 |   0 |   0 |   0 | 130k|   0 | 0.000000e+00 |      --      |    Inf 
694.31/694.53	c   670s|740000 |421631 |     0 |   0.0 | 584M| 144 |   - |1452 |2952 |   0 |   0 |   0 | 132k|   0 | 0.000000e+00 |      --      |    Inf 
704.61/704.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
704.61/704.81	c   680s|750000 |426466 |     0 |   0.0 | 591M| 144 |   - |1452 |3077 |   0 |   0 |   0 | 135k|   0 | 0.000000e+00 |      --      |    Inf 
714.30/714.57	c   689s|760000 |431615 |     0 |   0.0 | 599M| 144 |   - |1452 |3015 |   0 |   0 |   0 | 137k|   0 | 0.000000e+00 |      --      |    Inf 
724.31/724.58	c   699s|770000 |436666 |     0 |   0.0 | 606M| 144 |   - |1452 |3007 |   0 |   0 |   0 | 139k|   0 | 0.000000e+00 |      --      |    Inf 
734.70/734.97	c   709s|780000 |441501 |     0 |   0.0 | 614M| 144 |   - |1452 |3060 |   0 |   0 |   0 | 141k|   0 | 0.000000e+00 |      --      |    Inf 
745.19/745.45	c   719s|790000 |446298 |     0 |   0.0 | 621M| 144 |   - |1452 |3205 |   0 |   0 |   0 | 144k|   0 | 0.000000e+00 |      --      |    Inf 
755.20/755.50	c   729s|800000 |451347 |     0 |   0.0 | 629M| 144 |   - |1452 |3089 |   0 |   0 |   0 | 146k|   0 | 0.000000e+00 |      --      |    Inf 
765.79/766.02	c   739s|810000 |456154 |     0 |   0.0 | 636M| 144 |   - |1452 |3109 |   0 |   0 |   0 | 149k|   0 | 0.000000e+00 |      --      |    Inf 
776.40/776.61	c   749s|820000 |460957 |     0 |   0.0 | 644M| 144 |   - |1452 |3152 |   0 |   0 |   0 | 151k|   0 | 0.000000e+00 |      --      |    Inf 
786.89/787.16	c   759s|830000 |465596 |     0 |   0.0 | 651M| 144 |   - |1452 |3144 |   0 |   0 |   0 | 154k|   0 | 0.000000e+00 |      --      |    Inf 
796.98/797.29	c   769s|840000 |470492 |     0 |   0.0 | 659M| 144 |   - |1452 |3106 |   0 |   0 |   0 | 156k|   0 | 0.000000e+00 |      --      |    Inf 
807.28/807.54	c   779s|850000 |475332 |     0 |   0.0 | 666M| 144 |   - |1452 |3226 |   0 |   0 |   0 | 159k|   0 | 0.000000e+00 |      --      |    Inf 
817.98/818.23	c   789s|860000 |479993 |     0 |   0.0 | 673M| 144 |   - |1452 |3223 |   0 |   0 |   0 | 161k|   0 | 0.000000e+00 |      --      |    Inf 
828.67/828.91	c   800s|870000 |484552 |     0 |   0.0 | 681M| 144 |   - |1452 |3276 |   0 |   0 |   0 | 164k|   0 | 0.000000e+00 |      --      |    Inf 
838.98/839.27	c   810s|880000 |489343 |     0 |   0.0 | 688M| 144 |   - |1452 |3258 |   0 |   0 |   0 | 166k|   0 | 0.000000e+00 |      --      |    Inf 
849.27/849.60	c   820s|890000 |494063 |     0 |   0.0 | 695M| 144 |   - |1452 |3244 |   0 |   0 |   0 | 169k|   0 | 0.000000e+00 |      --      |    Inf 
859.97/860.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
859.97/860.27	c   830s|900000 |498719 |     0 |   0.0 | 703M| 144 |   - |1452 |3383 |   0 |   0 |   0 | 171k|   0 | 0.000000e+00 |      --      |    Inf 
870.66/870.97	c   840s|910000 |503376 |     0 |   0.0 | 710M| 144 |   - |1452 |3381 |   0 |   0 |   0 | 174k|   0 | 0.000000e+00 |      --      |    Inf 
881.36/881.66	c   851s|920000 |507920 |     0 |   0.0 | 717M| 144 |   - |1452 |3231 |   0 |   0 |   0 | 176k|   0 | 0.000000e+00 |      --      |    Inf 
892.06/892.31	c   861s|930000 |512420 |     0 |   0.0 | 725M| 144 |   - |1452 |3301 |   0 |   0 |   0 | 179k|   0 | 0.000000e+00 |      --      |    Inf 
902.26/902.56	c   871s|940000 |517214 |     0 |   0.0 | 732M| 144 |   - |1452 |3364 |   0 |   0 |   0 | 181k|   0 | 0.000000e+00 |      --      |    Inf 
913.15/913.45	c   881s|950000 |521709 |     0 |   0.0 | 739M| 144 |   - |1452 |3352 |   0 |   0 |   0 | 184k|   0 | 0.000000e+00 |      --      |    Inf 
924.14/924.40	c   892s|960000 |526049 |     0 |   0.0 | 746M| 144 |   - |1452 |3260 |   0 |   0 |   0 | 186k|   0 | 0.000000e+00 |      --      |    Inf 
934.76/935.02	c   902s|970000 |530482 |     0 |   0.0 | 754M| 144 |   - |1452 |3335 |   0 |   0 |   0 | 189k|   0 | 0.000000e+00 |      --      |    Inf 
945.44/945.74	c   912s|980000 |534979 |     0 |   0.0 | 761M| 144 |   - |1452 |3346 |   0 |   0 |   0 | 192k|   0 | 0.000000e+00 |      --      |    Inf 
955.94/956.28	c   923s|990000 |539501 |     0 |   0.0 | 768M| 144 |   - |1452 |3312 |   0 |   0 |   0 | 194k|   0 | 0.000000e+00 |      --      |    Inf 
967.04/967.32	c   933s|  1000k|543804 |     0 |   0.0 | 775M| 144 |   - |1452 |3327 |   0 |   0 |   0 | 197k|   0 | 0.000000e+00 |      --      |    Inf 
977.83/978.11	c   944s|  1010k|548113 |     0 |   0.0 | 782M| 144 |   - |1452 |3386 |   0 |   0 |   0 | 199k|   0 | 0.000000e+00 |      --      |    Inf 
988.64/988.95	c   954s|  1020k|552416 |     0 |   0.0 | 790M| 144 |   - |1452 |3486 |   0 |   0 |   0 | 202k|   0 | 0.000000e+00 |      --      |    Inf 
999.23/999.55	c   964s|  1030k|556899 |     0 |   0.0 | 797M| 144 |   - |1452 |3478 |   0 |   0 |   0 | 205k|   0 | 0.000000e+00 |      --      |    Inf 
1010.02/1010.32	c   975s|  1040k|561337 |     0 |   0.0 | 804M| 144 |   - |1452 |3378 |   0 |   0 |   0 | 207k|   0 | 0.000000e+00 |      --      |    Inf 
1021.23/1021.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1021.23/1021.57	c   986s|  1050k|565394 |     0 |   0.0 | 811M| 144 |   - |1452 |3521 |   0 |   0 |   0 | 210k|   0 | 0.000000e+00 |      --      |    Inf 
1032.32/1032.62	c   996s|  1060k|569598 |     0 |   0.0 | 818M| 144 |   - |1452 |3399 |   0 |   0 |   0 | 213k|   0 | 0.000000e+00 |      --      |    Inf 
1043.12/1043.49	c  1007s|  1070k|573814 |     0 |   0.0 | 826M| 144 |   - |1452 |3469 |   0 |   0 |   0 | 216k|   0 | 0.000000e+00 |      --      |    Inf 
1053.91/1054.28	c  1017s|  1080k|578167 |     0 |   0.0 | 833M| 144 |   - |1452 |3637 |   0 |   0 |   0 | 219k|   0 | 0.000000e+00 |      --      |    Inf 
1065.21/1065.59	c  1028s|  1090k|582345 |     0 |   0.0 | 840M| 144 |   - |1452 |3572 |   0 |   0 |   0 | 221k|   0 | 0.000000e+00 |      --      |    Inf 
1076.71/1077.08	c  1039s|  1100k|586283 |     0 |   0.0 | 848M| 144 |   - |1452 |3604 |   0 |   0 |   0 | 224k|   0 | 0.000000e+00 |      --      |    Inf 
1088.01/1088.30	c  1050s|  1110k|590330 |     0 |   0.0 | 855M| 144 |   - |1452 |3597 |   0 |   0 |   0 | 227k|   0 | 0.000000e+00 |      --      |    Inf 
1099.00/1099.37	c  1061s|  1120k|594494 |     0 |   0.0 | 862M| 144 |   - |1452 |3522 |   0 |   0 |   0 | 230k|   0 | 0.000000e+00 |      --      |    Inf 
1110.00/1110.31	c  1071s|  1130k|598666 |     0 |   0.0 | 869M| 144 |   - |1452 |3715 |   0 |   0 |   0 | 233k|   0 | 0.000000e+00 |      --      |    Inf 
1121.30/1121.65	c  1082s|  1140k|602691 |     0 |   0.0 | 876M| 144 |   - |1452 |3508 |   0 |   0 |   0 | 236k|   0 | 0.000000e+00 |      --      |    Inf 
1132.70/1133.01	c  1093s|  1150k|606576 |     0 |   0.0 | 883M| 144 |   - |1452 |3531 |   0 |   0 |   0 | 238k|   0 | 0.000000e+00 |      --      |    Inf 
1143.69/1144.02	c  1104s|  1160k|610663 |     0 |   0.0 | 890M| 144 |   - |1452 |3570 |   0 |   0 |   0 | 241k|   0 | 0.000000e+00 |      --      |    Inf 
1155.09/1155.44	c  1115s|  1170k|614600 |     0 |   0.0 | 897M| 144 |   - |1452 |3721 |   0 |   0 |   0 | 244k|   0 | 0.000000e+00 |      --      |    Inf 
1165.99/1166.38	c  1126s|  1180k|618833 |     0 |   0.0 | 904M| 144 |   - |1452 |3780 |   0 |   0 |   0 | 247k|   0 | 0.000000e+00 |      --      |    Inf 
1177.48/1177.80	c  1137s|  1190k|622810 |     0 |   0.0 | 911M| 144 |   - |1452 |3637 |   0 |   0 |   0 | 250k|   0 | 0.000000e+00 |      --      |    Inf 
1189.08/1189.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1189.08/1189.48	c  1148s|  1200k|626577 |     0 |   0.0 | 918M| 144 |   - |1452 |3593 |   0 |   0 |   0 | 253k|   0 | 0.000000e+00 |      --      |    Inf 
1200.37/1200.79	c  1159s|  1210k|630514 |     0 |   0.0 | 925M| 144 |   - |1452 |3681 |   0 |   0 |   0 | 256k|   0 | 0.000000e+00 |      --      |    Inf 
1211.78/1212.11	c  1170s|  1220k|634459 |     0 |   0.0 | 933M| 144 |   - |1452 |3796 |   0 |   0 |   0 | 259k|   0 | 0.000000e+00 |      --      |    Inf 
1222.87/1223.28	c  1180s|  1230k|638474 |     0 |   0.0 | 940M| 144 |   - |1452 |3805 |   0 |   0 |   0 | 262k|   0 | 0.000000e+00 |      --      |    Inf 
1234.27/1234.66	c  1191s|  1240k|642452 |     0 |   0.0 | 947M| 144 |   - |1452 |3792 |   0 |   0 |   0 | 265k|   0 | 0.000000e+00 |      --      |    Inf 
1246.06/1246.43	c  1203s|  1250k|646078 |     0 |   0.0 | 954M| 144 |   - |1452 |3777 |   0 |   0 |   0 | 268k|   0 | 0.000000e+00 |      --      |    Inf 
1257.66/1258.08	c  1214s|  1260k|649733 |     0 |   0.0 | 960M| 144 |   - |1452 |3722 |   0 |   0 |   0 | 271k|   0 | 0.000000e+00 |      --      |    Inf 
1269.26/1269.62	c  1225s|  1270k|653524 |     0 |   0.0 | 967M| 144 |   - |1452 |3731 |   0 |   0 |   0 | 274k|   0 | 0.000000e+00 |      --      |    Inf 
1280.46/1280.87	c  1236s|  1280k|657411 |     0 |   0.0 | 974M| 144 |   - |1452 |3829 |   0 |   0 |   0 | 277k|   0 | 0.000000e+00 |      --      |    Inf 
1291.86/1292.21	c  1247s|  1290k|661341 |     0 |   0.0 | 981M| 144 |   - |1452 |3743 |   0 |   0 |   0 | 280k|   0 | 0.000000e+00 |      --      |    Inf 
1304.05/1304.46	c  1259s|  1300k|664748 |     0 |   0.0 | 988M| 144 |   - |1452 |3787 |   0 |   0 |   0 | 283k|   0 | 0.000000e+00 |      --      |    Inf 
1315.75/1316.13	c  1270s|  1310k|668398 |     0 |   0.0 | 995M| 144 |   - |1452 |3715 |   0 |   0 |   0 | 286k|   0 | 0.000000e+00 |      --      |    Inf 
1327.54/1327.90	c  1281s|  1320k|672019 |     0 |   0.0 |1002M| 144 |   - |1452 |3861 |   0 |   0 |   0 | 290k|   0 | 0.000000e+00 |      --      |    Inf 
1339.04/1339.43	c  1293s|  1330k|675745 |     0 |   0.0 |1009M| 144 |   - |1452 |3892 |   0 |   0 |   0 | 293k|   0 | 0.000000e+00 |      --      |    Inf 
1350.13/1350.59	c  1303s|  1340k|679755 |     0 |   0.0 |1016M| 144 |   - |1452 |3974 |   0 |   0 |   0 | 296k|   0 | 0.000000e+00 |      --      |    Inf 
1362.33/1362.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1362.33/1362.76	c  1315s|  1350k|683137 |     0 |   0.0 |1023M| 144 |   - |1452 |3681 |   0 |   0 |   0 | 299k|   0 | 0.000000e+00 |      --      |    Inf 
1374.43/1374.89	c  1327s|  1360k|686518 |     0 |   0.0 |1030M| 144 |   - |1452 |3741 |   0 |   0 |   0 | 302k|   0 | 0.000000e+00 |      --      |    Inf 
1386.53/1386.95	c  1339s|  1370k|689983 |     0 |   0.0 |1037M| 144 |   - |1452 |4048 |   0 |   0 |   0 | 306k|   0 | 0.000000e+00 |      --      |    Inf 
1398.33/1398.73	c  1350s|  1380k|693570 |     0 |   0.0 |1044M| 144 |   - |1452 |4037 |   0 |   0 |   0 | 309k|   0 | 0.000000e+00 |      --      |    Inf 
1409.73/1410.14	c  1361s|  1390k|697413 |     0 |   0.0 |1051M| 144 |   - |1452 |4140 |   0 |   0 |   0 | 313k|   0 | 0.000000e+00 |      --      |    Inf 
1422.12/1422.54	c  1373s|  1400k|700727 |     0 |   0.0 |1058M| 144 |   - |1452 |4022 |   0 |   0 |   0 | 316k|   0 | 0.000000e+00 |      --      |    Inf 
1434.72/1435.12	c  1385s|  1410k|703864 |     0 |   0.0 |1065M| 144 |   - |1452 |3883 |   0 |   0 |   0 | 319k|   0 | 0.000000e+00 |      --      |    Inf 
1446.91/1447.37	c  1397s|  1420k|707214 |     0 |   0.0 |1072M| 144 |   - |1452 |3913 |   0 |   0 |   0 | 323k|   0 | 0.000000e+00 |      --      |    Inf 
1458.91/1459.34	c  1408s|  1430k|710629 |     0 |   0.0 |1079M| 144 |   - |1452 |4032 |   0 |   0 |   0 | 326k|   0 | 0.000000e+00 |      --      |    Inf 
1470.40/1470.88	c  1420s|  1440k|714320 |     0 |   0.0 |1086M| 144 |   - |1452 |4127 |   0 |   0 |   0 | 330k|   0 | 0.000000e+00 |      --      |    Inf 
1482.51/1482.92	c  1431s|  1450k|717737 |     0 |   0.0 |1093M| 144 |   - |1452 |4019 |   0 |   0 |   0 | 333k|   0 | 0.000000e+00 |      --      |    Inf 
1495.10/1495.56	c  1443s|  1460k|720655 |     0 |   0.0 |1099M| 144 |   - |1452 |3833 |   0 |   0 |   0 | 336k|   0 | 0.000000e+00 |      --      |    Inf 
1507.71/1508.10	c  1456s|  1470k|723680 |     0 |   0.0 |1106M| 144 |   - |1452 |3931 |   0 |   0 |   0 | 340k|   0 | 0.000000e+00 |      --      |    Inf 
1519.70/1520.15	c  1467s|  1480k|726959 |     0 |   0.0 |1113M| 144 |   - |1452 |4059 |   0 |   0 |   0 | 343k|   0 | 0.000000e+00 |      --      |    Inf 
1531.59/1532.09	c  1479s|  1490k|730300 |     0 |   0.0 |1120M| 144 |   - |1452 |4099 |   0 |   0 |   0 | 347k|   0 | 0.000000e+00 |      --      |    Inf 
1543.39/1543.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1543.39/1543.81	c  1490s|  1500k|733793 |     0 |   0.0 |1127M| 144 |   - |1452 |4269 |   0 |   0 |   0 | 351k|   0 | 0.000000e+00 |      --      |    Inf 
1556.28/1556.77	c  1503s|  1510k|736610 |     0 |   0.0 |1133M| 144 |   - |1452 |4054 |   0 |   0 |   0 | 354k|   0 | 0.000000e+00 |      --      |    Inf 
1568.88/1569.35	c  1515s|  1520k|739508 |     0 |   0.0 |1140M| 144 |   - |1452 |3991 |   0 |   0 |   0 | 357k|   0 | 0.000000e+00 |      --      |    Inf 
1581.47/1581.96	c  1527s|  1530k|742472 |     0 |   0.0 |1147M| 144 |   - |1452 |4149 |   0 |   0 |   0 | 361k|   0 | 0.000000e+00 |      --      |    Inf 
1593.78/1594.29	c  1539s|  1540k|745605 |     0 |   0.0 |1153M| 144 |   - |1452 |4234 |   0 |   0 |   0 | 365k|   0 | 0.000000e+00 |      --      |    Inf 
1605.47/1605.96	c  1550s|  1550k|749059 |     0 |   0.0 |1160M| 144 |   - |1452 |4207 |   0 |   0 |   0 | 368k|   0 | 0.000000e+00 |      --      |    Inf 
1618.05/1618.57	c  1562s|  1560k|752112 |     0 |   0.0 |1167M| 144 |   - |1452 |4220 |   0 |   0 |   0 | 372k|   0 | 0.000000e+00 |      --      |    Inf 
1631.26/1631.75	c  1575s|  1570k|754709 |     0 |   0.0 |1174M| 144 |   - |1452 |4051 |   0 |   0 |   0 | 376k|   0 | 0.000000e+00 |      --      |    Inf 
1644.15/1644.68	c  1588s|  1580k|757454 |     0 |   0.0 |1180M| 144 |   - |1452 |4196 |   0 |   0 |   0 | 379k|   0 | 0.000000e+00 |      --      |    Inf 
1656.75/1657.21	c  1600s|  1590k|760322 |     0 |   0.0 |1187M| 144 |   - |1452 |4093 |   0 |   0 |   0 | 383k|   0 | 0.000000e+00 |      --      |    Inf 
1668.55/1669.01	c  1611s|  1600k|763555 |     0 |   0.0 |1194M| 144 |   - |1452 |4218 |   0 |   0 |   0 | 386k|   0 | 0.000000e+00 |      --      |    Inf 
1680.14/1680.64	c  1622s|  1610k|766945 |     0 |   0.0 |1200M| 144 |   - |1452 |4255 |   0 |   0 |   0 | 390k|   0 | 0.000000e+00 |      --      |    Inf 
1693.84/1694.30	c  1635s|  1620k|769262 |     0 |   0.0 |1207M| 144 |   - |1452 |4203 |   0 |   0 |   0 | 394k|   0 | 0.000000e+00 |      --      |    Inf 
1706.94/1707.44	c  1648s|  1630k|771759 |     0 |   0.0 |1213M| 144 |   - |1452 |4132 |   0 |   0 |   0 | 397k|   0 | 0.000000e+00 |      --      |    Inf 
1719.73/1720.26	c  1661s|  1640k|774438 |     0 |   0.0 |1220M| 144 |   - |1452 |4178 |   0 |   0 |   0 | 401k|   0 | 0.000000e+00 |      --      |    Inf 
1732.03/1732.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1732.03/1732.59	c  1672s|  1650k|777384 |     0 |   0.0 |1227M| 144 |   - |1452 |4308 |   0 |   0 |   0 | 405k|   0 | 0.000000e+00 |      --      |    Inf 
1743.93/1744.45	c  1684s|  1660k|780559 |     0 |   0.0 |1233M| 144 |   - |1452 |4457 |   0 |   0 |   0 | 409k|   0 | 0.000000e+00 |      --      |    Inf 
1757.03/1757.53	c  1697s|  1670k|783212 |     0 |   0.0 |1240M| 144 |   - |1452 |4207 |   0 |   0 |   0 | 413k|   0 | 0.000000e+00 |      --      |    Inf 
1770.43/1770.92	c  1710s|  1680k|785468 |     0 |   0.0 |1246M| 144 |   - |1452 |4204 |   0 |   0 |   0 | 416k|   0 | 0.000000e+00 |      --      |    Inf 
1783.32/1783.86	c  1722s|  1690k|788035 |     0 |   0.0 |1253M| 144 |   - |1452 |4432 |   0 |   0 |   0 | 420k|   0 | 0.000000e+00 |      --      |    Inf 
1795.83/1796.31	c  1734s|  1700k|790925 |     0 |   0.0 |1259M| 144 |   - |1452 |4442 |   0 |   0 |   0 | 424k|   0 | 0.000000e+00 |      --      |    Inf 
1800.02/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.50	c 
1800.02/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.50	c Solving Time (sec) : 1738.15
1800.02/1800.50	c Solving Nodes      : 1703443
1800.02/1800.50	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.02/1800.50	c Dual Bound         : +0.00000000000000e+00
1800.02/1800.50	c Gap                : infinite
1800.02/1800.50	s UNKNOWN
1800.02/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.50	c Solving Time       :    1738.15
1800.02/1800.50	c Original Problem   :
1800.02/1800.50	c   Problem name     : HOME/instance-2663484-1276682707.opb
1800.02/1800.50	c   Variables        : 1452 (1452 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50	c   Constraints      : 1554 initial, 1554 maximal
1800.02/1800.50	c Presolved Problem  :
1800.02/1800.50	c   Problem name     : t_HOME/instance-2663484-1276682707.opb
1800.02/1800.50	c   Variables        : 1452 (1452 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50	c   Constraints      : 1554 initial, 6304 maximal
1800.02/1800.50	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.50	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.50	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.50	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.50	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.50	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.50	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.50	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.50	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.50	c   and              :       0.18          0          0          0          0          0          0          0          0
1800.02/1800.50	c   linear           :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.50	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.50	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.50	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.50	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.02/1800.50	c   knapsack         :          1          0    5278141          0    1251538       9724   13976055          0          0          0
1800.02/1800.50	c   setppc           :        200          0    5718129          0    1255344      41033     627052          0          0          0
1800.02/1800.50	c   and              :       1252          0    5677096          0    1255344        681   95076097          0          0          0
1800.02/1800.50	c   linear           :          1          0    5670557          0    1255344     385234     239598          0          0          0
1800.02/1800.50	c   logicor          :        100+         0    1370341          0    1255341      26545   20283952          0          0          0
1800.02/1800.50	c   countsols        :          0          0          0          0    1255343          0          0          0          0          0
1800.02/1800.50	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.50	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.50	c   knapsack         :      90.58       0.00      83.29       0.00       7.29
1800.02/1800.50	c   setppc           :     144.60       0.00      29.15       0.00     115.45
1800.02/1800.50	c   and              :     356.83       0.00     284.06       0.00      72.77
1800.02/1800.50	c   linear           :     322.29       0.00     321.19       0.00       1.10
1800.02/1800.50	c   logicor          :     172.79       0.00     162.66       0.00      10.13
1800.02/1800.50	c   countsols        :       0.67       0.00       0.00       0.00       0.67
1800.02/1800.50	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.50	c   vbounds          :       2.98          1          0          0
1800.02/1800.50	c   rootredcost      :       2.63          0          0          0
1800.02/1800.50	c   pseudoobj        :       2.43          0          0          0
1800.02/1800.50	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.50	c   propagation      :     234.15     463217     313212    1156965       77.1          2       97.0          -
1800.02/1800.50	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.50	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.50	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.50	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.02/1800.50	c   applied globally :          -          -          -     425726       74.9          -          -          -
1800.02/1800.50	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.02/1800.50	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.50	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.02/1800.50	c   redcost          :       0.00          0          0          0          0          0
1800.02/1800.50	c   impliedbounds    :       0.00          0          0          0          0          0
1800.02/1800.50	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.50	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.50	c   gomory           :       0.00          0          0          0          0          0
1800.02/1800.50	c   strongcg         :       0.00          0          0          0          0          0
1800.02/1800.50	c   cmir             :       0.00          0          0          0          0          0
1800.02/1800.50	c   flowcover        :       0.00          0          0          0          0          0
1800.02/1800.50	c   clique           :       0.00          0          0          0          0          0
1800.02/1800.50	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.50	c   mcf              :       0.00          0          0          0          0          0
1800.02/1800.50	c   rapidlearning    :       0.00          0          0          0          0          0
1800.02/1800.50	c Pricers            :       Time      Calls       Vars
1800.02/1800.50	c   problem variables:       0.00          0          0
1800.02/1800.50	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.50	c   relpscost        :       0.00          0          0          0          0          0          0
1800.02/1800.50	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.50	c   inference        :     232.28    1255343          0          0          0          0    2510686
1800.02/1800.50	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.51	c   LP solutions     :       0.00          -          0
1800.02/1800.51	c   pseudo solutions :       0.00          -          0
1800.02/1800.51	c   trivial          :       0.00          1          0
1800.02/1800.51	c   simplerounding   :       0.00          0          0
1800.02/1800.51	c   zirounding       :       0.00          0          0
1800.02/1800.51	c   rounding         :       0.00          0          0
1800.02/1800.51	c   shifting         :       0.00          0          0
1800.02/1800.51	c   intshifting      :       0.00          0          0
1800.02/1800.51	c   oneopt           :       0.00          0          0
1800.02/1800.51	c   twoopt           :       0.00          0          0
1800.02/1800.51	c   fixandinfer      :       0.00          0          0
1800.02/1800.51	c   feaspump         :       0.00          0          0
1800.02/1800.51	c   coefdiving       :       0.00          0          0
1800.02/1800.51	c   pscostdiving     :       0.00          0          0
1800.02/1800.51	c   fracdiving       :       0.00          0          0
1800.02/1800.51	c   veclendiving     :       0.00          0          0
1800.02/1800.51	c   intdiving        :       0.00          0          0
1800.02/1800.51	c   actconsdiving    :       0.00          0          0
1800.02/1800.51	c   objpscostdiving  :       0.00          0          0
1800.02/1800.51	c   rootsoldiving    :       0.00          0          0
1800.02/1800.51	c   linesearchdiving :       0.00          0          0
1800.02/1800.51	c   guideddiving     :       0.00          0          0
1800.02/1800.51	c   octane           :       0.00          0          0
1800.02/1800.51	c   rens             :       0.00          0          0
1800.02/1800.51	c   rins             :       0.00          0          0
1800.02/1800.51	c   localbranching   :       0.00          0          0
1800.02/1800.51	c   mutation         :       0.00          0          0
1800.02/1800.51	c   crossover        :       0.00          0          0
1800.02/1800.51	c   dins             :       0.00          0          0
1800.02/1800.51	c   undercover       :       0.00          0          0
1800.02/1800.51	c   nlp              :       0.00          0          0
1800.02/1800.51	c   trysol           :       0.00          0          0
1800.02/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.02/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.02/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.02/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.02/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.51	c B&B Tree           :
1800.02/1800.51	c   number of runs   :          1
1800.02/1800.51	c   nodes            :    1703443
1800.02/1800.51	c   nodes (total)    :    1703443
1800.02/1800.51	c   nodes left       :     791934
1800.02/1800.51	c   max depth        :        144
1800.02/1800.51	c   max depth (total):        144
1800.02/1800.51	c   backtracks       :      41445 (2.4%)
1800.02/1800.51	c   delayed cutoffs  :      15310
1800.02/1800.51	c   repropagations   :    1855379 (3952583 domain reductions, 15117 cutoffs)
1800.02/1800.51	c   avg switch length:       5.63
1800.02/1800.51	c   switching time   :     299.50
1800.02/1800.51	c Solution           :
1800.02/1800.51	c   Solutions found  :          0 (0 improvements)
1800.02/1800.51	c   Primal Bound     :          -
1800.02/1800.51	c   Dual Bound       : +0.00000000000000e+00
1800.02/1800.51	c   Gap              :   infinite
1800.02/1800.51	c   Root Dual Bound  : +0.00000000000000e+00
1800.02/1800.51	c   Root Iterations  :          0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663484-1276682707/watcher-2663484-1276682707 -o /tmp/evaluation-result-2663484-1276682707/solver-2663484-1276682707 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663484-1276682707.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 17057
/proc/meminfo: memFree=1789696/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=6584 CPUtime=0
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 959 0 0 0 0 0 0 0 18 0 1 0 9565691 6742016 882 1992294400 4194304 7136930 140735818755888 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17057/statm: 1646 890 254 719 0 925 0

[startup+0.0349081 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17057
/proc/meminfo: memFree=1789696/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=11576 CPUtime=0.02
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 2727 0 0 0 2 0 0 0 20 0 1 0 9565691 11853824 2296 1992294400 4194304 7136930 140735818755888 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 2894 2305 281 719 0 2173 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11576

[startup+0.100915 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17057
/proc/meminfo: memFree=1789696/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=14808 CPUtime=0.09
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 3584 0 0 0 6 3 0 0 20 0 1 0 9565691 15163392 2896 1992294400 4194304 7136930 140735818755888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 3702 2896 327 719 0 2981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14808

[startup+0.300936 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17057
/proc/meminfo: memFree=1789696/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=15828 CPUtime=0.29
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 5430 0 0 0 17 12 0 0 20 0 1 0 9565691 16207872 3200 1992294400 4194304 7136930 140735818755888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 3957 3200 361 719 0 3236 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15828

[startup+0.700979 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17057
/proc/meminfo: memFree=1789696/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=18096 CPUtime=0.69
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 6293 0 0 0 48 21 0 0 20 0 1 0 9565691 18530304 3806 1992294400 4194304 7136930 140735818755888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 4524 3806 394 719 0 3803 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18096

[startup+1.50107 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17058
/proc/meminfo: memFree=1775056/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=20080 CPUtime=1.49
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 6763 0 0 0 125 24 0 0 23 0 1 0 9565691 20561920 4276 1992294400 4194304 7136930 140735818755888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 5020 4276 394 719 0 4299 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20080

[startup+3.10124 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17058
/proc/meminfo: memFree=1772080/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=23748 CPUtime=3.09
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 7672 0 0 0 275 34 0 0 25 0 1 0 9565691 24317952 5185 1992294400 4194304 7136930 140735818755888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 5937 5185 394 719 0 5216 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23748

[startup+6.30158 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17058
/proc/meminfo: memFree=1765260/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=30248 CPUtime=6.29
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 9268 0 0 0 582 47 0 0 25 0 1 0 9565691 30973952 6781 1992294400 4194304 7136930 140735818755888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 7562 6781 394 719 0 6841 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30248

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17058
/proc/meminfo: memFree=1751000/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=44404 CPUtime=12.68
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 12711 0 0 0 1196 72 0 0 25 0 1 0 9565691 45469696 10224 1992294400 4194304 7136930 140735818755888 18446744073709551615 4634637 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 11101 10224 394 719 0 10380 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 44404

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17058
/proc/meminfo: memFree=1732400/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=62268 CPUtime=25.48
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 17058 0 0 0 2424 124 0 0 25 0 1 0 9565691 63762432 14571 1992294400 4194304 7136930 140735818755888 18446744073709551615 4999792 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 15567 14571 394 719 0 14846 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 62268

[startup+51.1014 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 17058
/proc/meminfo: memFree=1704624/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=90660 CPUtime=51.08
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 24121 0 0 0 4878 230 0 0 25 0 1 0 9565691 92835840 21634 1992294400 4194304 7136930 140735818755888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 22665 21634 394 719 0 21944 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 90660

[startup+102.309 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 17060
/proc/meminfo: memFree=1663208/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=133088 CPUtime=102.27
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 34519 0 0 0 9770 457 0 0 25 0 1 0 9565691 136282112 32032 1992294400 4194304 7136930 140735818755888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 33272 32032 394 719 0 32551 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 133088

[startup+162.301 s]
/proc/loadavg: 1.12 1.04 1.01 2/107 17062
/proc/meminfo: memFree=1602944/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=195112 CPUtime=162.24
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 49310 0 0 0 15554 670 0 0 25 0 1 0 9565691 199794688 46823 1992294400 4194304 7136930 140735818755888 18446744073709551615 4979583 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 48778 46823 394 719 0 48057 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 195112

[startup+222.302 s]
/proc/loadavg: 1.19 1.06 1.01 2/107 17064
/proc/meminfo: memFree=1546772/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=252096 CPUtime=222.23
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 63415 0 0 0 21358 865 0 0 25 0 1 0 9565691 258146304 60928 1992294400 4194304 7136930 140735818755888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 63024 60928 394 719 0 62303 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 252096

[startup+282.301 s]
/proc/loadavg: 1.14 1.06 1.01 2/107 17064
/proc/meminfo: memFree=1493328/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=305068 CPUtime=282.22
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 76638 0 0 0 27167 1055 0 0 25 0 1 0 9565691 312389632 74151 1992294400 4194304 7136930 140735818755888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 76267 74151 394 719 0 75546 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 305068

[startup+342.301 s]
/proc/loadavg: 1.11 1.06 1.01 2/107 17066
/proc/meminfo: memFree=1439264/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=364468 CPUtime=342.2
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 90340 0 0 0 32958 1262 0 0 25 0 1 0 9565691 373215232 87853 1992294400 4194304 7136930 140735818755888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 91117 87853 394 719 0 90396 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 364468

[startup+402.3 s]
/proc/loadavg: 1.10 1.07 1.01 2/107 17068
/proc/meminfo: memFree=1389912/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=414116 CPUtime=402.19
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 102737 0 0 0 38755 1464 0 0 25 0 1 0 9565691 424054784 100250 1992294400 4194304 7136930 140735818755888 18446744073709551615 4704769 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 103529 100250 394 719 0 102808 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 414116

[startup+462.301 s]
/proc/loadavg: 1.09 1.07 1.01 2/107 17070
/proc/meminfo: memFree=1335476/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=467116 CPUtime=462.17
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 115912 0 0 0 44561 1656 0 0 25 0 1 0 9565691 478326784 113425 1992294400 4194304 7136930 140735818755888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 116779 113425 394 719 0 116058 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 467116

[startup+522.3 s]
/proc/loadavg: 1.08 1.06 1.01 2/107 17072
/proc/meminfo: memFree=1284388/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=522236 CPUtime=522.15
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 129374 0 0 0 50356 1859 0 0 25 0 1 0 9565691 534769664 126887 1992294400 4194304 7136930 140735818755888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 130559 126887 394 719 0 129838 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 522236

[startup+582.301 s]
/proc/loadavg: 1.07 1.06 1.01 2/107 17072
/proc/meminfo: memFree=1235532/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=569772 CPUtime=582.14
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 140911 0 0 0 56146 2068 0 0 25 0 1 0 9565691 583446528 138424 1992294400 4194304 7136930 140735818755888 18446744073709551615 5908951 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 142443 138424 394 719 0 141722 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 569772

[startup+642.301 s]
/proc/loadavg: 1.06 1.06 1.01 2/107 17074
/proc/meminfo: memFree=1186552/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=617940 CPUtime=642.13
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 153015 0 0 0 61933 2280 0 0 25 0 1 0 9565691 632770560 150528 1992294400 4194304 7136930 140735818755888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 154485 150528 394 719 0 153764 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 617940

[startup+702.301 s]

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

/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 219224 0 0 0 96710 3492 0 0 25 0 1 0 9565691 917794816 216737 1992294400 4194304 7136930 140735818755888 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 224071 216737 394 719 0 223350 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 896284

[startup+1062.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 17086
/proc/meminfo: memFree=883620/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=936800 CPUtime=1062.01
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 228931 0 0 0 102505 3696 0 0 25 0 1 0 9565691 959283200 226444 1992294400 4194304 7136930 140735818755888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 234200 226444 394 719 0 233479 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 936800

[startup+1122.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 17088
/proc/meminfo: memFree=841584/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=976488 CPUtime=1122
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 238916 0 0 0 108304 3896 0 0 25 0 1 0 9565691 999923712 236429 1992294400 4194304 7136930 140735818755888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 244122 236429 394 719 0 243401 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 976488

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 17088
/proc/meminfo: memFree=800292/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=1019724 CPUtime=1181.98
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 249321 0 0 0 114096 4102 0 0 25 0 1 0 9565691 1044197376 246834 1992294400 4194304 7136930 140735818755888 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 254931 246834 394 719 0 254210 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1019724

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 17090
/proc/meminfo: memFree=769664/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=1048108 CPUtime=1241.97
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 256803 0 0 0 119882 4315 0 0 25 0 1 0 9565691 1073262592 254316 1992294400 4194304 7136930 140735818755888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 262027 254316 394 719 0 261306 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1048108

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 17092
/proc/meminfo: memFree=729612/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=1089212 CPUtime=1301.95
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 266773 0 0 0 125678 4517 0 0 25 0 1 0 9565691 1115353088 264286 1992294400 4194304 7136930 140735818755888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 272303 264286 394 719 0 271582 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1089212

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17094
/proc/meminfo: memFree=694520/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=1125292 CPUtime=1361.93
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 275676 0 0 0 131470 4723 0 0 25 0 1 0 9565691 1152299008 273189 1992294400 4194304 7136930 140735818755888 18446744073709551615 5919075 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 281323 273189 394 719 0 280602 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1125292

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17096
/proc/meminfo: memFree=657444/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=1165180 CPUtime=1421.93
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 284840 0 0 0 137259 4934 0 0 25 0 1 0 9565691 1193144320 282353 1992294400 4194304 7136930 140735818755888 18446744073709551615 5901737 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 291295 282353 394 719 0 290574 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1165180

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17096
/proc/meminfo: memFree=622228/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=1200044 CPUtime=1481.9
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 293561 0 0 0 143062 5128 0 0 25 0 1 0 9565691 1228845056 291074 1992294400 4194304 7136930 140735818755888 18446744073709551615 4703879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 300011 291074 394 719 0 299290 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1200044

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17098
/proc/meminfo: memFree=578084/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=1248332 CPUtime=1541.88
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 304617 0 0 0 148857 5331 0 0 25 0 1 0 9565691 1278291968 302130 1992294400 4194304 7136930 140735818755888 18446744073709551615 4434043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 312083 302130 394 719 0 311362 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1248332

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17103
/proc/meminfo: memFree=550184/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=1276068 CPUtime=1601.87
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 311438 0 0 0 154650 5537 0 0 25 0 1 0 9565691 1306693632 308951 1992294400 4194304 7136930 140735818755888 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 319017 308951 394 719 0 318296 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1276068

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17105
/proc/meminfo: memFree=509512/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=1317952 CPUtime=1661.85
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 321578 0 0 0 160458 5727 0 0 25 0 1 0 9565691 1349582848 319091 1992294400 4194304 7136930 140735818755888 18446744073709551615 4221892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 329488 319091 394 719 0 328767 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1317952

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17107
/proc/meminfo: memFree=482356/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=1347684 CPUtime=1721.83
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 328562 0 0 0 166258 5925 0 0 25 0 1 0 9565691 1380028416 326075 1992294400 4194304 7136930 140735818755888 18446744073709551615 4209087 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 336921 326075 394 719 0 336200 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1347684

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17107
/proc/meminfo: memFree=452596/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=1375924 CPUtime=1781.82
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 335776 0 0 0 172058 6124 0 0 25 0 1 0 9565691 1408946176 333289 1992294400 4194304 7136930 140735818755888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 343981 333289 394 719 0 343260 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1375924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17109
/proc/meminfo: memFree=444164/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=1383752 CPUtime=1800.02
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 337882 0 0 0 173817 6185 0 0 25 0 1 0 9565691 1416962048 335395 1992294400 4194304 7136930 140735818755888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17057/statm: 345938 335395 394 719 0 345217 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1383752

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -17057

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17110
/proc/meminfo: memFree=444156/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=1383752 CPUtime=1800.91
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 337887 0 0 0 173906 6185 0 0 25 0 1 0 9565691 1416962048 335400 1992294400 4194304 7136930 140735818755888 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17057/statm: 345938 335400 399 719 0 345217 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 1383752

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17110
/proc/meminfo: memFree=444032/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=1382720 CPUtime=1801.71
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4202496 337887 0 0 0 173986 6185 0 0 25 0 1 0 9565691 1415905280 335142 1992294400 4194304 7136930 140735818755888 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17057/statm: 345680 335142 399 719 0 344959 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 1382720

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17110
/proc/meminfo: memFree=444032/2059040 swapFree=4152912/4192956
[pid=17057] ppid=17055 vsize=0 CPUtime=1802.11
/proc/17057/stat : 17057 (pbscip.linux.x8) R 17055 17057 16420 0 -1 4203524 337887 0 0 0 174017 6194 0 0 25 0 1 0 9565691 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/17057/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.64
CPU time (s): 1802.16
CPU user time (s): 1740.17
CPU system time (s): 61.9876
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 1383752

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

runsolver used 3.07153 second user time and 8.43372 second system time

The end

Launcher Data 

Begin job on node035 at 2010-06-16 12:05:07
IDJOB=2663484
IDBENCH=48362
IDSOLVER=1167
FILE ID=node035/2663484-1276682707
PBS_JOBID= 11172547
Free space on /tmp= 62460 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_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-2663484-1276682707/watcher-2663484-1276682707 -o /tmp/evaluation-result-2663484-1276682707/solver-2663484-1276682707 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663484-1276682707.opb -t 1800 -m 1800

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

MD5SUM BENCH= 813576a353dee8860ef5bb1ebdae9d95
RANDOM SEED=735078725

node035.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.219
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.43
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.219
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:       1790100 kB
Buffers:         59244 kB
Cached:         110652 kB
SwapCached:       2304 kB
Active:          93288 kB
Inactive:        98672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1790100 kB
SwapTotal:     4192956 kB
SwapFree:      4152912 kB
Dirty:            3284 kB
Writeback:           0 kB
AnonPages:       19980 kB
Mapped:          13824 kB
Slab:            55000 kB
PageTables:       4100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183228 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62456 MiB
End job on node035 at 2010-06-16 12:35:10