Trace number 2663473

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.18 1802.74

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_1_40.opb
MD5SUM3f7fb60f05fdea42d317cf95beb113ab
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)2496
Sum of products size (including duplicates)4992
Number of different products1248
Sum of products size2496

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-2663473-1276681090.opb>
0.00/0.03	c original problem has 1448 variables (1448 bin, 0 int, 0 impl, 0 cont) and 1550 constraints
0.00/0.03	c problem read
0.00/0.03	c No objective function, only one solution is needed.
0.00/0.03	c presolving settings loaded
0.00/0.03	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.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, 10184 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  10184 implications, 200 cliques
0.39/0.42	c presolved problem has 1448 variables (1448 bin, 0 int, 0 impl, 0 cont) and 1550 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    1248 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.21
0.39/0.42	c - non default parameters ----------------------------------------------------------------------
0.39/0.42	c # SCIP version 1.2.1.2
0.39/0.42	c 
0.39/0.42	c # frequency for displaying node information lines
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.42	c display/freq = 10000
0.39/0.42	c 
0.39/0.42	c # maximal time in seconds to run
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42	c limits/time = 1799.98
0.39/0.42	c 
0.39/0.42	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42	c limits/memory = 1620
0.39/0.42	c 
0.39/0.42	c # solving stops, if the given number of solutions were found (-1: no limit)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42	c limits/solutions = 1
0.39/0.42	c 
0.39/0.42	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42	c lp/solvefreq = -1
0.39/0.42	c 
0.39/0.42	c # maximal number of separation rounds per node (-1: unlimited)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 5]
0.39/0.42	c separating/maxrounds = 1
0.39/0.42	c 
0.39/0.42	c # maximal number of separation rounds in the root node (-1: unlimited)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42	c separating/maxroundsroot = 5
0.39/0.42	c 
0.39/0.42	c # should presolving try to simplify inequalities
0.39/0.42	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42	c constraints/linear/simplifyinequalities = TRUE
0.39/0.42	c 
0.39/0.42	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.39/0.42	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.39/0.42	c constraints/knapsack/disaggregation = FALSE
0.39/0.42	c 
0.39/0.42	c # should presolving try to simplify knapsacks
0.39/0.42	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42	c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.42	c 
0.39/0.42	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42	c presolving/probing/maxrounds = 0
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/coefdiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42	c heuristics/coefdiving/maxlpiterquot = 0.075
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/coefdiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 30]
0.39/0.42	c heuristics/crossover/freq = -1
0.39/0.42	c 
0.39/0.42	c # number of nodes added to the contingent of the total nodes
0.39/0.42	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.42	c heuristics/crossover/nodesofs = 750
0.39/0.42	c 
0.39/0.42	c # number of nodes without incumbent change that heuristic should wait
0.39/0.42	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.39/0.42	c heuristics/crossover/nwaitingnodes = 100
0.39/0.42	c 
0.39/0.42	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.39/0.42	c # [type: real, range: [0,1], default: 0.1]
0.39/0.42	c heuristics/crossover/nodesquot = 0.15
0.39/0.42	c 
0.39/0.42	c # minimum percentage of integer variables that have to be fixed 
0.39/0.42	c # [type: real, range: [0,1], default: 0.666]
0.39/0.42	c heuristics/crossover/minfixingrate = 0.5
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.42	c heuristics/feaspump/freq = -1
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/feaspump/maxlpiterofs = 2000
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/fracdiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42	c heuristics/fracdiving/maxlpiterquot = 0.075
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/fracdiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/guideddiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42	c heuristics/guideddiving/maxlpiterquot = 0.075
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/guideddiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42	c heuristics/intdiving/maxlpiterquot = 0.075
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/intshifting/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/linesearchdiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42	c heuristics/nlp/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.42	c heuristics/objpscostdiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to total iteration number
0.39/0.42	c # [type: real, range: [0,1], default: 0.01]
0.39/0.42	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42	c heuristics/oneopt/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/pscostdiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/pscostdiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42	c heuristics/rens/freq = -1
0.39/0.42	c 
0.39/0.42	c # minimum percentage of integer variables that have to be fixable 
0.39/0.42	c # [type: real, range: [0,1], default: 0.5]
0.39/0.42	c heuristics/rens/minfixingrate = 0.3
0.39/0.42	c 
0.39/0.42	c # number of nodes added to the contingent of the total nodes
0.39/0.42	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.42	c heuristics/rens/nodesofs = 2000
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.42	c heuristics/rootsoldiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.39/0.42	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42	c heuristics/rounding/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/shifting/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42	c heuristics/simplerounding/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42	c heuristics/trivial/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42	c heuristics/trysol/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42	c heuristics/veclendiving/freq = -1
0.39/0.42	c 
0.39/0.42	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42	c heuristics/veclendiving/maxlpiterquot = 0.075
0.39/0.42	c 
0.39/0.42	c # additional number of allowed LP iterations
0.39/0.42	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42	c heuristics/veclendiving/maxlpiterofs = 1500
0.39/0.42	c 
0.39/0.42	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42	c heuristics/zirounding/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42	c separating/cmir/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42	c separating/flowcover/freq = -1
0.39/0.42	c 
0.39/0.42	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.42	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42	c separating/rapidlearning/freq = 0
0.39/0.42	c 
0.39/0.42	c -----------------------------------------------------------------------------------------------
0.39/0.42	c start solving
0.39/0.42	c 
0.39/0.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.39/0.42	c   0.2s|     1 |     2 |     0 |     - |4023k|   0 |   - |1448 |1550 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.28/7.37	c   6.8s| 10000 |  7931 |     0 |   0.0 |  14M| 137 |   - |1448 |1749 |   0 |   0 |   0 |1220 |   0 | 0.000000e+00 |      --      |    Inf 
15.09/15.17	c  14.3s| 20000 | 16442 |     0 |   0.0 |  24M| 137 |   - |1448 |1922 |   0 |   0 |   0 |2029 |   0 | 0.000000e+00 |      --      |    Inf 
23.38/23.44	c  22.3s| 30000 | 23495 |     0 |   0.0 |  33M| 137 |   - |1448 |1906 |   0 |   0 |   0 |2730 |   0 | 0.000000e+00 |      --      |    Inf 
31.58/31.66	c  30.2s| 40000 | 30343 |     0 |   0.0 |  41M| 137 |   - |1448 |2003 |   0 |   0 |   0 |3615 |   0 | 0.000000e+00 |      --      |    Inf 
39.88/39.90	c  38.1s| 50000 | 36632 |     0 |   0.0 |  48M| 137 |   - |1448 |2069 |   0 |   0 |   0 |4711 |   0 | 0.000000e+00 |      --      |    Inf 
48.48/48.53	c  46.4s| 60000 | 42050 |     0 |   0.0 |  55M| 137 |   - |1448 |2158 |   0 |   0 |   0 |6049 |   0 | 0.000000e+00 |      --      |    Inf 
57.37/57.44	c  55.0s| 70000 | 46962 |     0 |   0.0 |  61M| 137 |   - |1448 |2254 |   0 |   0 |   0 |7681 |   0 | 0.000000e+00 |      --      |    Inf 
66.57/66.61	c  63.9s| 80000 | 51244 |     0 |   0.0 |  67M| 137 |   - |1448 |2209 |   0 |   0 |   0 |9589 |   0 | 0.000000e+00 |      --      |    Inf 
75.78/75.84	c  72.8s| 90000 | 55151 |     0 |   0.0 |  73M| 137 |   - |1448 |2367 |   0 |   0 |   0 |  11k|   0 | 0.000000e+00 |      --      |    Inf 
85.16/85.29	c  81.9s|100000 | 58473 |     0 |   0.0 |  79M| 137 |   - |1448 |2703 |   0 |   0 |   0 |  14k|   0 | 0.000000e+00 |      --      |    Inf 
94.66/94.74	c  90.9s|110000 | 61403 |     0 |   0.0 |  85M| 137 |   - |1448 |3273 |   0 |   0 |   0 |  18k|   0 | 0.000000e+00 |      --      |    Inf 
104.25/104.30	c   100s|120000 | 63882 |     0 |   0.0 |  91M| 137 |   - |1448 |3882 |   0 |   0 |   0 |  22k|   0 | 0.000000e+00 |      --      |    Inf 
113.76/113.83	c   109s|130000 | 65831 |     0 |   0.0 |  97M| 137 |   - |1448 |4350 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
123.06/123.17	c   118s|140000 | 73463 |     0 |   0.0 | 106M| 137 |   - |1448 |2176 |   0 |   0 |   0 |  28k|   0 | 0.000000e+00 |      --      |    Inf 
132.55/132.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
132.55/132.64	c   127s|150000 | 80360 |     0 |   0.0 | 114M| 137 |   - |1448 |2289 |   0 |   0 |   0 |  29k|   0 | 0.000000e+00 |      --      |    Inf 
141.95/142.08	c   137s|160000 | 87186 |     0 |   0.0 | 123M| 137 |   - |1448 |2191 |   0 |   0 |   0 |  30k|   0 | 0.000000e+00 |      --      |    Inf 
151.55/151.68	c   146s|170000 | 93904 |     0 |   0.0 | 131M| 137 |   - |1448 |2203 |   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
161.04/161.14	c   155s|180000 |100868 |     0 |   0.0 | 139M| 137 |   - |1448 |2121 |   0 |   0 |   0 |  32k|   0 | 0.000000e+00 |      --      |    Inf 
170.54/170.63	c   164s|190000 |107536 |     0 |   0.0 | 147M| 137 |   - |1448 |2191 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
179.93/180.05	c   173s|200000 |114221 |     0 |   0.0 | 155M| 137 |   - |1448 |2317 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
189.24/189.36	c   182s|210000 |121113 |     0 |   0.0 | 163M| 137 |   - |1448 |2344 |   0 |   0 |   0 |  34k|   0 | 0.000000e+00 |      --      |    Inf 
198.73/198.83	c   191s|220000 |127782 |     0 |   0.0 | 172M| 137 |   - |1448 |2219 |   0 |   0 |   0 |  35k|   0 | 0.000000e+00 |      --      |    Inf 
208.02/208.16	c   200s|230000 |134434 |     0 |   0.0 | 180M| 137 |   - |1448 |2238 |   0 |   0 |   0 |  36k|   0 | 0.000000e+00 |      --      |    Inf 
217.33/217.48	c   209s|240000 |141139 |     0 |   0.0 | 188M| 137 |   - |1448 |2397 |   0 |   0 |   0 |  38k|   0 | 0.000000e+00 |      --      |    Inf 
226.73/226.89	c   219s|250000 |147748 |     0 |   0.0 | 196M| 137 |   - |1448 |2407 |   0 |   0 |   0 |  39k|   0 | 0.000000e+00 |      --      |    Inf 
236.43/236.55	c   228s|260000 |153962 |     0 |   0.0 | 204M| 137 |   - |1448 |2289 |   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
245.82/245.95	c   237s|270000 |160525 |     0 |   0.0 | 212M| 137 |   - |1448 |2294 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
255.32/255.41	c   246s|280000 |166896 |     0 |   0.0 | 220M| 137 |   - |1448 |2371 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
264.71/264.82	c   255s|290000 |173369 |     0 |   0.0 | 228M| 137 |   - |1448 |2291 |   0 |   0 |   0 |  42k|   0 | 0.000000e+00 |      --      |    Inf 
274.21/274.33	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
274.21/274.33	c   265s|300000 |179624 |     0 |   0.0 | 235M| 137 |   - |1448 |2317 |   0 |   0 |   0 |  43k|   0 | 0.000000e+00 |      --      |    Inf 
283.71/283.84	c   274s|310000 |185877 |     0 |   0.0 | 243M| 137 |   - |1448 |2334 |   0 |   0 |   0 |  44k|   0 | 0.000000e+00 |      --      |    Inf 
293.20/293.34	c   283s|320000 |191948 |     0 |   0.0 | 251M| 137 |   - |1448 |2359 |   0 |   0 |   0 |  45k|   0 | 0.000000e+00 |      --      |    Inf 
302.80/302.94	c   292s|330000 |198183 |     0 |   0.0 | 258M| 137 |   - |1448 |2339 |   0 |   0 |   0 |  46k|   0 | 0.000000e+00 |      --      |    Inf 
312.60/312.71	c   302s|340000 |204174 |     0 |   0.0 | 266M| 137 |   - |1448 |2323 |   0 |   0 |   0 |  47k|   0 | 0.000000e+00 |      --      |    Inf 
322.30/322.44	c   311s|350000 |210287 |     0 |   0.0 | 273M| 137 |   - |1448 |2325 |   0 |   0 |   0 |  48k|   0 | 0.000000e+00 |      --      |    Inf 
331.89/332.02	c   320s|360000 |216240 |     0 |   0.0 | 281M| 137 |   - |1448 |2345 |   0 |   0 |   0 |  49k|   0 | 0.000000e+00 |      --      |    Inf 
341.39/341.50	c   330s|370000 |222378 |     0 |   0.0 | 288M| 137 |   - |1448 |2431 |   0 |   0 |   0 |  50k|   0 | 0.000000e+00 |      --      |    Inf 
351.09/351.21	c   339s|380000 |228246 |     0 |   0.0 | 296M| 137 |   - |1448 |2370 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 |      --      |    Inf 
360.49/360.68	c   348s|390000 |234280 |     0 |   0.0 | 303M| 137 |   - |1448 |2317 |   0 |   0 |   0 |  52k|   0 | 0.000000e+00 |      --      |    Inf 
370.28/370.41	c   358s|400000 |240160 |     0 |   0.0 | 311M| 137 |   - |1448 |2358 |   0 |   0 |   0 |  53k|   0 | 0.000000e+00 |      --      |    Inf 
379.88/380.03	c   367s|410000 |246039 |     0 |   0.0 | 318M| 137 |   - |1448 |2347 |   0 |   0 |   0 |  54k|   0 | 0.000000e+00 |      --      |    Inf 
389.38/389.57	c   376s|420000 |252135 |     0 |   0.0 | 326M| 137 |   - |1448 |2505 |   0 |   0 |   0 |  55k|   0 | 0.000000e+00 |      --      |    Inf 
399.18/399.33	c   386s|430000 |257943 |     0 |   0.0 | 333M| 137 |   - |1448 |2391 |   0 |   0 |   0 |  56k|   0 | 0.000000e+00 |      --      |    Inf 
408.67/408.83	c   395s|440000 |263926 |     0 |   0.0 | 340M| 137 |   - |1448 |2368 |   0 |   0 |   0 |  57k|   0 | 0.000000e+00 |      --      |    Inf 
418.07/418.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
418.07/418.27	c   404s|450000 |270072 |     0 |   0.0 | 348M| 137 |   - |1448 |2464 |   0 |   0 |   0 |  58k|   0 | 0.000000e+00 |      --      |    Inf 
427.87/428.00	c   413s|460000 |275763 |     0 |   0.0 | 356M| 137 |   - |1448 |2353 |   0 |   0 |   0 |  59k|   0 | 0.000000e+00 |      --      |    Inf 
437.17/437.33	c   423s|470000 |281768 |     0 |   0.0 | 363M| 137 |   - |1448 |2426 |   0 |   0 |   0 |  60k|   0 | 0.000000e+00 |      --      |    Inf 
446.96/447.15	c   432s|480000 |287616 |     0 |   0.0 | 371M| 137 |   - |1448 |2460 |   0 |   0 |   0 |  61k|   0 | 0.000000e+00 |      --      |    Inf 
456.76/456.93	c   442s|490000 |293270 |     0 |   0.0 | 378M| 137 |   - |1448 |2425 |   0 |   0 |   0 |  62k|   0 | 0.000000e+00 |      --      |    Inf 
466.05/466.23	c   451s|500000 |299298 |     0 |   0.0 | 386M| 137 |   - |1448 |2426 |   0 |   0 |   0 |  63k|   0 | 0.000000e+00 |      --      |    Inf 
475.95/476.18	c   460s|510000 |304889 |     0 |   0.0 | 393M| 137 |   - |1448 |2492 |   0 |   0 |   0 |  64k|   0 | 0.000000e+00 |      --      |    Inf 
485.75/485.93	c   470s|520000 |310586 |     0 |   0.0 | 400M| 137 |   - |1448 |2415 |   0 |   0 |   0 |  65k|   0 | 0.000000e+00 |      --      |    Inf 
495.24/495.46	c   479s|530000 |316437 |     0 |   0.0 | 408M| 137 |   - |1448 |2461 |   0 |   0 |   0 |  66k|   0 | 0.000000e+00 |      --      |    Inf 
505.14/505.31	c   488s|540000 |322013 |     0 |   0.0 | 415M| 137 |   - |1448 |2453 |   0 |   0 |   0 |  67k|   0 | 0.000000e+00 |      --      |    Inf 
514.94/515.14	c   498s|550000 |327645 |     0 |   0.0 | 422M| 137 |   - |1448 |2394 |   0 |   0 |   0 |  68k|   0 | 0.000000e+00 |      --      |    Inf 
524.55/524.77	c   507s|560000 |333302 |     0 |   0.0 | 430M| 137 |   - |1448 |2527 |   0 |   0 |   0 |  69k|   0 | 0.000000e+00 |      --      |    Inf 
534.44/534.61	c   517s|570000 |338886 |     0 |   0.0 | 437M| 137 |   - |1448 |2523 |   0 |   0 |   0 |  71k|   0 | 0.000000e+00 |      --      |    Inf 
544.34/544.58	c   526s|580000 |344296 |     0 |   0.0 | 444M| 137 |   - |1448 |2475 |   0 |   0 |   0 |  72k|   0 | 0.000000e+00 |      --      |    Inf 
554.03/554.25	c   536s|590000 |349948 |     0 |   0.0 | 451M| 137 |   - |1448 |2515 |   0 |   0 |   0 |  73k|   0 | 0.000000e+00 |      --      |    Inf 
563.72/563.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
563.72/563.91	c   545s|600000 |355660 |     0 |   0.0 | 459M| 137 |   - |1448 |2548 |   0 |   0 |   0 |  74k|   0 | 0.000000e+00 |      --      |    Inf 
573.83/574.07	c   555s|610000 |360952 |     0 |   0.0 | 466M| 137 |   - |1448 |2497 |   0 |   0 |   0 |  75k|   0 | 0.000000e+00 |      --      |    Inf 
583.72/583.92	c   565s|620000 |366493 |     0 |   0.0 | 473M| 137 |   - |1448 |2533 |   0 |   0 |   0 |  76k|   0 | 0.000000e+00 |      --      |    Inf 
593.42/593.67	c   574s|630000 |371998 |     0 |   0.0 | 480M| 137 |   - |1448 |2498 |   0 |   0 |   0 |  77k|   0 | 0.000000e+00 |      --      |    Inf 
603.52/603.74	c   584s|640000 |377355 |     0 |   0.0 | 487M| 137 |   - |1448 |2480 |   0 |   0 |   0 |  78k|   0 | 0.000000e+00 |      --      |    Inf 
613.72/613.91	c   594s|650000 |382563 |     0 |   0.0 | 495M| 137 |   - |1448 |2506 |   0 |   0 |   0 |  79k|   0 | 0.000000e+00 |      --      |    Inf 
623.61/623.80	c   603s|660000 |388030 |     0 |   0.0 | 502M| 137 |   - |1448 |2563 |   0 |   0 |   0 |  81k|   0 | 0.000000e+00 |      --      |    Inf 
633.31/633.50	c   613s|670000 |393640 |     0 |   0.0 | 509M| 137 |   - |1448 |2583 |   0 |   0 |   0 |  82k|   0 | 0.000000e+00 |      --      |    Inf 
643.60/643.89	c   623s|680000 |398643 |     0 |   0.0 | 516M| 137 |   - |1448 |2562 |   0 |   0 |   0 |  83k|   0 | 0.000000e+00 |      --      |    Inf 
653.70/653.97	c   632s|690000 |403882 |     0 |   0.0 | 523M| 137 |   - |1448 |2588 |   0 |   0 |   0 |  84k|   0 | 0.000000e+00 |      --      |    Inf 
663.60/663.87	c   642s|700000 |409222 |     0 |   0.0 | 530M| 137 |   - |1448 |2616 |   0 |   0 |   0 |  86k|   0 | 0.000000e+00 |      --      |    Inf 
673.40/673.61	c   651s|710000 |414680 |     0 |   0.0 | 537M| 137 |   - |1448 |2495 |   0 |   0 |   0 |  87k|   0 | 0.000000e+00 |      --      |    Inf 
683.59/683.89	c   661s|720000 |419744 |     0 |   0.0 | 544M| 137 |   - |1448 |2606 |   0 |   0 |   0 |  88k|   0 | 0.000000e+00 |      --      |    Inf 
693.80/694.06	c   671s|730000 |424915 |     0 |   0.0 | 551M| 137 |   - |1448 |2566 |   0 |   0 |   0 |  89k|   0 | 0.000000e+00 |      --      |    Inf 
703.70/703.96	c   681s|740000 |430272 |     0 |   0.0 | 558M| 137 |   - |1448 |2543 |   0 |   0 |   0 |  90k|   0 | 0.000000e+00 |      --      |    Inf 
713.60/713.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
713.60/713.82	c   690s|750000 |435556 |     0 |   0.0 | 565M| 137 |   - |1448 |2618 |   0 |   0 |   0 |  91k|   0 | 0.000000e+00 |      --      |    Inf 
724.08/724.34	c   701s|760000 |440481 |     0 |   0.0 | 572M| 137 |   - |1448 |2557 |   0 |   0 |   0 |  93k|   0 | 0.000000e+00 |      --      |    Inf 
734.37/734.65	c   711s|770000 |445491 |     0 |   0.0 | 579M| 137 |   - |1448 |2554 |   0 |   0 |   0 |  94k|   0 | 0.000000e+00 |      --      |    Inf 
744.48/744.75	c   720s|780000 |450700 |     0 |   0.0 | 586M| 137 |   - |1448 |2663 |   0 |   0 |   0 |  95k|   0 | 0.000000e+00 |      --      |    Inf 
754.28/754.51	c   730s|790000 |456043 |     0 |   0.0 | 593M| 137 |   - |1448 |2539 |   0 |   0 |   0 |  97k|   0 | 0.000000e+00 |      --      |    Inf 
764.67/764.90	c   740s|800000 |460920 |     0 |   0.0 | 600M| 137 |   - |1448 |2570 |   0 |   0 |   0 |  98k|   0 | 0.000000e+00 |      --      |    Inf 
774.87/775.18	c   750s|810000 |465998 |     0 |   0.0 | 607M| 137 |   - |1448 |2596 |   0 |   0 |   0 |  99k|   0 | 0.000000e+00 |      --      |    Inf 
785.18/785.44	c   760s|820000 |471065 |     0 |   0.0 | 615M| 137 |   - |1448 |2617 |   0 |   0 |   0 | 101k|   0 | 0.000000e+00 |      --      |    Inf 
795.26/795.55	c   770s|830000 |476130 |     0 |   0.0 | 622M| 137 |   - |1448 |2732 |   0 |   0 |   0 | 102k|   0 | 0.000000e+00 |      --      |    Inf 
805.76/806.00	c   780s|840000 |480967 |     0 |   0.0 | 628M| 137 |   - |1448 |2651 |   0 |   0 |   0 | 103k|   0 | 0.000000e+00 |      --      |    Inf 
816.16/816.45	c   790s|850000 |485777 |     0 |   0.0 | 635M| 137 |   - |1448 |2661 |   0 |   0 |   0 | 105k|   0 | 0.000000e+00 |      --      |    Inf 
826.45/826.70	c   800s|860000 |490785 |     0 |   0.0 | 642M| 137 |   - |1448 |2634 |   0 |   0 |   0 | 106k|   0 | 0.000000e+00 |      --      |    Inf 
836.55/836.82	c   810s|870000 |495772 |     0 |   0.0 | 649M| 137 |   - |1448 |2625 |   0 |   0 |   0 | 107k|   0 | 0.000000e+00 |      --      |    Inf 
846.84/847.11	c   820s|880000 |500648 |     0 |   0.0 | 656M| 137 |   - |1448 |2685 |   0 |   0 |   0 | 109k|   0 | 0.000000e+00 |      --      |    Inf 
857.54/857.85	c   830s|890000 |505333 |     0 |   0.0 | 663M| 137 |   - |1448 |2689 |   0 |   0 |   0 | 110k|   0 | 0.000000e+00 |      --      |    Inf 
867.94/868.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
867.94/868.20	c   840s|900000 |510237 |     0 |   0.0 | 670M| 137 |   - |1448 |2664 |   0 |   0 |   0 | 112k|   0 | 0.000000e+00 |      --      |    Inf 
878.13/878.46	c   850s|910000 |515211 |     0 |   0.0 | 677M| 137 |   - |1448 |2716 |   0 |   0 |   0 | 113k|   0 | 0.000000e+00 |      --      |    Inf 
888.54/888.83	c   860s|920000 |520018 |     0 |   0.0 | 684M| 137 |   - |1448 |2640 |   0 |   0 |   0 | 114k|   0 | 0.000000e+00 |      --      |    Inf 
899.33/899.66	c   871s|930000 |524555 |     0 |   0.0 | 690M| 137 |   - |1448 |2650 |   0 |   0 |   0 | 116k|   0 | 0.000000e+00 |      --      |    Inf 
910.13/910.45	c   881s|940000 |529190 |     0 |   0.0 | 697M| 137 |   - |1448 |2818 |   0 |   0 |   0 | 117k|   0 | 0.000000e+00 |      --      |    Inf 
920.63/920.92	c   891s|950000 |533985 |     0 |   0.0 | 704M| 137 |   - |1448 |2684 |   0 |   0 |   0 | 119k|   0 | 0.000000e+00 |      --      |    Inf 
931.32/931.61	c   902s|960000 |538592 |     0 |   0.0 | 711M| 137 |   - |1448 |2743 |   0 |   0 |   0 | 120k|   0 | 0.000000e+00 |      --      |    Inf 
941.72/942.08	c   912s|970000 |543382 |     0 |   0.0 | 718M| 137 |   - |1448 |2709 |   0 |   0 |   0 | 122k|   0 | 0.000000e+00 |      --      |    Inf 
952.91/953.26	c   923s|980000 |547718 |     0 |   0.0 | 724M| 137 |   - |1448 |2743 |   0 |   0 |   0 | 123k|   0 | 0.000000e+00 |      --      |    Inf 
963.60/963.92	c   933s|990000 |552315 |     0 |   0.0 | 731M| 137 |   - |1448 |2739 |   0 |   0 |   0 | 125k|   0 | 0.000000e+00 |      --      |    Inf 
974.21/974.50	c   943s|  1000k|556907 |     0 |   0.0 | 738M| 137 |   - |1448 |2694 |   0 |   0 |   0 | 126k|   0 | 0.000000e+00 |      --      |    Inf 
984.80/985.14	c   953s|  1010k|561459 |     0 |   0.0 | 744M| 137 |   - |1448 |2792 |   0 |   0 |   0 | 128k|   0 | 0.000000e+00 |      --      |    Inf 
995.60/995.98	c   964s|  1020k|565921 |     0 |   0.0 | 751M| 137 |   - |1448 |2806 |   0 |   0 |   0 | 129k|   0 | 0.000000e+00 |      --      |    Inf 
1006.79/1007.18	c   975s|  1030k|570187 |     0 |   0.0 | 758M| 137 |   - |1448 |2832 |   0 |   0 |   0 | 131k|   0 | 0.000000e+00 |      --      |    Inf 
1017.70/1018.01	c   985s|  1040k|574658 |     0 |   0.0 | 764M| 137 |   - |1448 |2790 |   0 |   0 |   0 | 133k|   0 | 0.000000e+00 |      --      |    Inf 
1028.39/1028.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1028.39/1028.76	c   996s|  1050k|579112 |     0 |   0.0 | 771M| 137 |   - |1448 |2692 |   0 |   0 |   0 | 134k|   0 | 0.000000e+00 |      --      |    Inf 
1039.19/1039.53	c  1006s|  1060k|583495 |     0 |   0.0 | 778M| 137 |   - |1448 |2866 |   0 |   0 |   0 | 136k|   0 | 0.000000e+00 |      --      |    Inf 
1050.28/1050.64	c  1017s|  1070k|587684 |     0 |   0.0 | 784M| 137 |   - |1448 |2915 |   0 |   0 |   0 | 138k|   0 | 0.000000e+00 |      --      |    Inf 
1061.48/1061.82	c  1028s|  1080k|591892 |     0 |   0.0 | 791M| 137 |   - |1448 |2859 |   0 |   0 |   0 | 140k|   0 | 0.000000e+00 |      --      |    Inf 
1072.38/1072.71	c  1038s|  1090k|596252 |     0 |   0.0 | 798M| 137 |   - |1448 |2800 |   0 |   0 |   0 | 141k|   0 | 0.000000e+00 |      --      |    Inf 
1083.07/1083.47	c  1049s|  1100k|600572 |     0 |   0.0 | 804M| 137 |   - |1448 |2904 |   0 |   0 |   0 | 143k|   0 | 0.000000e+00 |      --      |    Inf 
1093.96/1094.30	c  1059s|  1110k|604902 |     0 |   0.0 | 811M| 137 |   - |1448 |2945 |   0 |   0 |   0 | 145k|   0 | 0.000000e+00 |      --      |    Inf 
1105.16/1105.55	c  1070s|  1120k|609046 |     0 |   0.0 | 817M| 137 |   - |1448 |2838 |   0 |   0 |   0 | 146k|   0 | 0.000000e+00 |      --      |    Inf 
1116.35/1116.75	c  1081s|  1130k|613182 |     0 |   0.0 | 824M| 137 |   - |1448 |2900 |   0 |   0 |   0 | 148k|   0 | 0.000000e+00 |      --      |    Inf 
1127.35/1127.73	c  1092s|  1140k|617331 |     0 |   0.0 | 830M| 137 |   - |1448 |2870 |   0 |   0 |   0 | 149k|   0 | 0.000000e+00 |      --      |    Inf 
1138.25/1138.69	c  1102s|  1150k|621525 |     0 |   0.0 | 837M| 137 |   - |1448 |2940 |   0 |   0 |   0 | 151k|   0 | 0.000000e+00 |      --      |    Inf 
1149.15/1149.54	c  1113s|  1160k|625821 |     0 |   0.0 | 844M| 137 |   - |1448 |2908 |   0 |   0 |   0 | 153k|   0 | 0.000000e+00 |      --      |    Inf 
1160.64/1161.02	c  1124s|  1170k|629758 |     0 |   0.0 | 850M| 137 |   - |1448 |2982 |   0 |   0 |   0 | 155k|   0 | 0.000000e+00 |      --      |    Inf 
1171.94/1172.33	c  1135s|  1180k|633786 |     0 |   0.0 | 857M| 137 |   - |1448 |2941 |   0 |   0 |   0 | 156k|   0 | 0.000000e+00 |      --      |    Inf 
1183.25/1183.62	c  1146s|  1190k|637714 |     0 |   0.0 | 863M| 137 |   - |1448 |2867 |   0 |   0 |   0 | 158k|   0 | 0.000000e+00 |      --      |    Inf 
1194.24/1194.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1194.24/1194.62	c  1157s|  1200k|641808 |     0 |   0.0 | 870M| 137 |   - |1448 |2964 |   0 |   0 |   0 | 160k|   0 | 0.000000e+00 |      --      |    Inf 
1205.33/1205.77	c  1167s|  1210k|645838 |     0 |   0.0 | 876M| 137 |   - |1448 |2913 |   0 |   0 |   0 | 162k|   0 | 0.000000e+00 |      --      |    Inf 
1216.83/1217.21	c  1178s|  1220k|649698 |     0 |   0.0 | 883M| 137 |   - |1448 |2924 |   0 |   0 |   0 | 164k|   0 | 0.000000e+00 |      --      |    Inf 
1228.32/1228.71	c  1190s|  1230k|653592 |     0 |   0.0 | 889M| 137 |   - |1448 |2849 |   0 |   0 |   0 | 165k|   0 | 0.000000e+00 |      --      |    Inf 
1239.62/1240.06	c  1201s|  1240k|657394 |     0 |   0.0 | 895M| 137 |   - |1448 |2877 |   0 |   0 |   0 | 167k|   0 | 0.000000e+00 |      --      |    Inf 
1250.92/1251.35	c  1212s|  1250k|661240 |     0 |   0.0 | 902M| 137 |   - |1448 |2955 |   0 |   0 |   0 | 169k|   0 | 0.000000e+00 |      --      |    Inf 
1261.81/1262.27	c  1222s|  1260k|665371 |     0 |   0.0 | 908M| 137 |   - |1448 |2914 |   0 |   0 |   0 | 171k|   0 | 0.000000e+00 |      --      |    Inf 
1273.11/1273.57	c  1233s|  1270k|669237 |     0 |   0.0 | 915M| 137 |   - |1448 |2824 |   0 |   0 |   0 | 172k|   0 | 0.000000e+00 |      --      |    Inf 
1284.50/1284.95	c  1244s|  1280k|673017 |     0 |   0.0 | 921M| 137 |   - |1448 |2717 |   0 |   0 |   0 | 174k|   0 | 0.000000e+00 |      --      |    Inf 
1295.90/1296.38	c  1255s|  1290k|676718 |     0 |   0.0 | 927M| 137 |   - |1448 |3038 |   0 |   0 |   0 | 175k|   0 | 0.000000e+00 |      --      |    Inf 
1307.29/1307.72	c  1266s|  1300k|680508 |     0 |   0.0 | 934M| 137 |   - |1448 |2957 |   0 |   0 |   0 | 177k|   0 | 0.000000e+00 |      --      |    Inf 
1318.29/1318.79	c  1277s|  1310k|684505 |     0 |   0.0 | 940M| 137 |   - |1448 |2968 |   0 |   0 |   0 | 179k|   0 | 0.000000e+00 |      --      |    Inf 
1329.89/1330.35	c  1288s|  1320k|688194 |     0 |   0.0 | 946M| 137 |   - |1448 |2789 |   0 |   0 |   0 | 181k|   0 | 0.000000e+00 |      --      |    Inf 
1341.59/1342.05	c  1300s|  1330k|691772 |     0 |   0.0 | 952M| 137 |   - |1448 |2909 |   0 |   0 |   0 | 183k|   0 | 0.000000e+00 |      --      |    Inf 
1353.08/1353.54	c  1311s|  1340k|695343 |     0 |   0.0 | 959M| 137 |   - |1448 |2961 |   0 |   0 |   0 | 184k|   0 | 0.000000e+00 |      --      |    Inf 
1364.47/1364.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1364.47/1364.98	c  1322s|  1350k|698940 |     0 |   0.0 | 965M| 137 |   - |1448 |2968 |   0 |   0 |   0 | 186k|   0 | 0.000000e+00 |      --      |    Inf 
1375.68/1376.13	c  1333s|  1360k|702773 |     0 |   0.0 | 971M| 137 |   - |1448 |3024 |   0 |   0 |   0 | 188k|   0 | 0.000000e+00 |      --      |    Inf 
1387.16/1387.61	c  1344s|  1370k|706359 |     0 |   0.0 | 977M| 137 |   - |1448 |2849 |   0 |   0 |   0 | 190k|   0 | 0.000000e+00 |      --      |    Inf 
1398.96/1399.46	c  1355s|  1380k|709738 |     0 |   0.0 | 983M| 137 |   - |1448 |2931 |   0 |   0 |   0 | 192k|   0 | 0.000000e+00 |      --      |    Inf 
1410.66/1411.19	c  1367s|  1390k|713108 |     0 |   0.0 | 989M| 137 |   - |1448 |2899 |   0 |   0 |   0 | 193k|   0 | 0.000000e+00 |      --      |    Inf 
1422.35/1422.86	c  1378s|  1400k|716568 |     0 |   0.0 | 996M| 137 |   - |1448 |2969 |   0 |   0 |   0 | 195k|   0 | 0.000000e+00 |      --      |    Inf 
1433.86/1434.35	c  1389s|  1410k|720226 |     0 |   0.0 |1002M| 137 |   - |1448 |3116 |   0 |   0 |   0 | 197k|   0 | 0.000000e+00 |      --      |    Inf 
1445.25/1445.73	c  1400s|  1420k|723922 |     0 |   0.0 |1008M| 137 |   - |1448 |2869 |   0 |   0 |   0 | 199k|   0 | 0.000000e+00 |      --      |    Inf 
1457.24/1457.76	c  1412s|  1430k|727165 |     0 |   0.0 |1014M| 137 |   - |1448 |2836 |   0 |   0 |   0 | 201k|   0 | 0.000000e+00 |      --      |    Inf 
1469.24/1469.76	c  1424s|  1440k|730395 |     0 |   0.0 |1020M| 137 |   - |1448 |2836 |   0 |   0 |   0 | 202k|   0 | 0.000000e+00 |      --      |    Inf 
1480.93/1481.44	c  1435s|  1450k|733748 |     0 |   0.0 |1026M| 137 |   - |1448 |2931 |   0 |   0 |   0 | 204k|   0 | 0.000000e+00 |      --      |    Inf 
1492.33/1492.88	c  1446s|  1460k|737286 |     0 |   0.0 |1032M| 137 |   - |1448 |2928 |   0 |   0 |   0 | 206k|   0 | 0.000000e+00 |      --      |    Inf 
1503.43/1503.99	c  1457s|  1470k|740955 |     0 |   0.0 |1038M| 137 |   - |1448 |3015 |   0 |   0 |   0 | 208k|   0 | 0.000000e+00 |      --      |    Inf 
1515.72/1516.27	c  1469s|  1480k|743995 |     0 |   0.0 |1044M| 137 |   - |1448 |2851 |   0 |   0 |   0 | 210k|   0 | 0.000000e+00 |      --      |    Inf 
1527.82/1528.39	c  1481s|  1490k|747021 |     0 |   0.0 |1050M| 137 |   - |1448 |2766 |   0 |   0 |   0 | 211k|   0 | 0.000000e+00 |      --      |    Inf 
1539.81/1540.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1539.81/1540.35	c  1492s|  1500k|750136 |     0 |   0.0 |1056M| 137 |   - |1448 |2880 |   0 |   0 |   0 | 213k|   0 | 0.000000e+00 |      --      |    Inf 
1551.52/1552.03	c  1504s|  1510k|753414 |     0 |   0.0 |1062M| 137 |   - |1448 |2958 |   0 |   0 |   0 | 215k|   0 | 0.000000e+00 |      --      |    Inf 
1562.81/1563.38	c  1515s|  1520k|756984 |     0 |   0.0 |1068M| 137 |   - |1448 |2980 |   0 |   0 |   0 | 217k|   0 | 0.000000e+00 |      --      |    Inf 
1575.00/1575.52	c  1527s|  1530k|759997 |     0 |   0.0 |1073M| 137 |   - |1448 |2843 |   0 |   0 |   0 | 219k|   0 | 0.000000e+00 |      --      |    Inf 
1587.30/1587.80	c  1538s|  1540k|762820 |     0 |   0.0 |1079M| 137 |   - |1448 |2746 |   0 |   0 |   0 | 220k|   0 | 0.000000e+00 |      --      |    Inf 
1599.40/1599.94	c  1550s|  1550k|765731 |     0 |   0.0 |1085M| 137 |   - |1448 |2850 |   0 |   0 |   0 | 222k|   0 | 0.000000e+00 |      --      |    Inf 
1611.09/1611.65	c  1562s|  1560k|768906 |     0 |   0.0 |1091M| 137 |   - |1448 |3017 |   0 |   0 |   0 | 224k|   0 | 0.000000e+00 |      --      |    Inf 
1622.69/1623.24	c  1573s|  1570k|772216 |     0 |   0.0 |1097M| 137 |   - |1448 |3004 |   0 |   0 |   0 | 226k|   0 | 0.000000e+00 |      --      |    Inf 
1634.69/1635.29	c  1585s|  1580k|775260 |     0 |   0.0 |1102M| 137 |   - |1448 |2867 |   0 |   0 |   0 | 228k|   0 | 0.000000e+00 |      --      |    Inf 
1647.48/1648.00	c  1597s|  1590k|777804 |     0 |   0.0 |1108M| 137 |   - |1448 |2833 |   0 |   0 |   0 | 230k|   0 | 0.000000e+00 |      --      |    Inf 
1659.88/1660.44	c  1609s|  1600k|780456 |     0 |   0.0 |1113M| 137 |   - |1448 |2882 |   0 |   0 |   0 | 231k|   0 | 0.000000e+00 |      --      |    Inf 
1672.18/1672.74	c  1621s|  1610k|783256 |     0 |   0.0 |1119M| 137 |   - |1448 |3089 |   0 |   0 |   0 | 233k|   0 | 0.000000e+00 |      --      |    Inf 
1684.07/1684.61	c  1632s|  1620k|786350 |     0 |   0.0 |1125M| 137 |   - |1448 |3029 |   0 |   0 |   0 | 236k|   0 | 0.000000e+00 |      --      |    Inf 
1695.77/1696.31	c  1644s|  1630k|789556 |     0 |   0.0 |1131M| 137 |   - |1448 |2883 |   0 |   0 |   0 | 238k|   0 | 0.000000e+00 |      --      |    Inf 
1708.57/1709.17	c  1656s|  1640k|791904 |     0 |   0.0 |1136M| 137 |   - |1448 |2795 |   0 |   0 |   0 | 240k|   0 | 0.000000e+00 |      --      |    Inf 
1721.26/1721.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1721.26/1721.82	c  1669s|  1650k|794323 |     0 |   0.0 |1142M| 137 |   - |1448 |2900 |   0 |   0 |   0 | 242k|   0 | 0.000000e+00 |      --      |    Inf 
1733.66/1734.22	c  1681s|  1660k|796972 |     0 |   0.0 |1148M| 137 |   - |1448 |3049 |   0 |   0 |   0 | 244k|   0 | 0.000000e+00 |      --      |    Inf 
1745.75/1746.35	c  1693s|  1670k|799860 |     0 |   0.0 |1153M| 137 |   - |1448 |3070 |   0 |   0 |   0 | 246k|   0 | 0.000000e+00 |      --      |    Inf 
1757.36/1757.97	c  1704s|  1680k|803008 |     0 |   0.0 |1159M| 137 |   - |1448 |3135 |   0 |   0 |   0 | 248k|   0 | 0.000000e+00 |      --      |    Inf 
1770.25/1770.85	c  1716s|  1690k|805353 |     0 |   0.0 |1164M| 137 |   - |1448 |2823 |   0 |   0 |   0 | 250k|   0 | 0.000000e+00 |      --      |    Inf 
1782.84/1783.43	c  1729s|  1700k|807754 |     0 |   0.0 |1170M| 137 |   - |1448 |2908 |   0 |   0 |   0 | 251k|   0 | 0.000000e+00 |      --      |    Inf 
1795.04/1795.66	c  1740s|  1710k|810354 |     0 |   0.0 |1175M| 137 |   - |1448 |3019 |   0 |   0 |   0 | 253k|   0 | 0.000000e+00 |      --      |    Inf 
1800.05/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61	c 
1800.05/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.61	c Solving Time (sec) : 1745.28
1800.05/1800.61	c Solving Nodes      : 1714142
1800.05/1800.61	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.61	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.61	c Gap                : infinite
1800.05/1800.61	s UNKNOWN
1800.05/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.61	c Solving Time       :    1745.28
1800.05/1800.61	c Original Problem   :
1800.05/1800.61	c   Problem name     : HOME/instance-2663473-1276681090.opb
1800.05/1800.61	c   Variables        : 1448 (1448 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61	c   Constraints      : 1550 initial, 1550 maximal
1800.05/1800.61	c Presolved Problem  :
1800.05/1800.61	c   Problem name     : t_HOME/instance-2663473-1276681090.opb
1800.05/1800.61	c   Variables        : 1448 (1448 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61	c   Constraints      : 1550 initial, 4830 maximal
1800.05/1800.61	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.61	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   and              :       0.20          0          0          0          0          0          0          0          0
1800.05/1800.61	c   linear           :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.61	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.61	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.05/1800.61	c   knapsack         :          1          0    4343768          0    1267482      10247   14031745          0          0          0
1800.05/1800.61	c   setppc           :        200          0    4778166          0    1270504      47251     729646          0          0          0
1800.05/1800.61	c   and              :       1248          0    4730915          0    1270504        681   98047852          0          0          0
1800.05/1800.61	c   linear           :          1          0    4725192          0    1270504     378192     206421          0          0          0
1800.05/1800.61	c   logicor          :        100+         0    1247604          0    1270503      22397   20804120          0          0          0
1800.05/1800.61	c   countsols        :          0          0          0          0    1270504          0          0          0          0          0
1800.05/1800.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.61	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.61	c   knapsack         :      90.63       0.00      83.04       0.00       7.59
1800.05/1800.61	c   setppc           :     145.40       0.00      26.09       0.00     119.31
1800.05/1800.61	c   and              :     372.16       0.00     289.43       0.00      82.73
1800.05/1800.61	c   linear           :     317.68       0.00     316.58       0.00       1.10
1800.05/1800.61	c   logicor          :     151.68       0.00     140.58       0.00      11.10
1800.05/1800.61	c   countsols        :       0.74       0.00       0.00       0.00       0.74
1800.05/1800.61	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.61	c   vbounds          :       2.49          1          0          0
1800.05/1800.61	c   rootredcost      :       2.45          0          0          0
1800.05/1800.61	c   pseudoobj        :       2.17          0          0          0
1800.05/1800.61	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.61	c   propagation      :     231.02     458768     184220     510459       77.9          2       91.0          -
1800.05/1800.61	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.61	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.61	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.61	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.61	c   applied globally :          -          -          -     254965       73.9          -          -          -
1800.05/1800.61	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.61	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.61	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.05/1800.61	c   redcost          :       0.00          0          0          0          0          0
1800.05/1800.61	c   impliedbounds    :       0.00          0          0          0          0          0
1800.05/1800.61	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.61	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.61	c   gomory           :       0.00          0          0          0          0          0
1800.05/1800.61	c   strongcg         :       0.00          0          0          0          0          0
1800.05/1800.61	c   cmir             :       0.00          0          0          0          0          0
1800.05/1800.61	c   flowcover        :       0.00          0          0          0          0          0
1800.05/1800.61	c   clique           :       0.00          0          0          0          0          0
1800.05/1800.61	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.61	c   mcf              :       0.00          0          0          0          0          0
1800.05/1800.61	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.61	c Pricers            :       Time      Calls       Vars
1800.05/1800.61	c   problem variables:       0.00          0          0
1800.05/1800.61	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.61	c   relpscost        :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   inference        :     262.50    1270504          0          0          0          0    2541008
1800.05/1800.61	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.61	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.61	c   LP solutions     :       0.00          -          0
1800.05/1800.61	c   pseudo solutions :       0.00          -          0
1800.05/1800.61	c   trivial          :       0.00          1          0
1800.05/1800.61	c   simplerounding   :       0.00          0          0
1800.05/1800.61	c   zirounding       :       0.00          0          0
1800.05/1800.61	c   rounding         :       0.00          0          0
1800.05/1800.61	c   shifting         :       0.00          0          0
1800.05/1800.61	c   intshifting      :       0.00          0          0
1800.05/1800.61	c   oneopt           :       0.00          0          0
1800.05/1800.61	c   twoopt           :       0.00          0          0
1800.05/1800.61	c   fixandinfer      :       0.00          0          0
1800.05/1800.61	c   feaspump         :       0.00          0          0
1800.05/1800.61	c   coefdiving       :       0.00          0          0
1800.05/1800.61	c   pscostdiving     :       0.00          0          0
1800.05/1800.61	c   fracdiving       :       0.00          0          0
1800.05/1800.61	c   veclendiving     :       0.00          0          0
1800.05/1800.61	c   intdiving        :       0.00          0          0
1800.05/1800.61	c   actconsdiving    :       0.00          0          0
1800.05/1800.61	c   objpscostdiving  :       0.00          0          0
1800.05/1800.61	c   rootsoldiving    :       0.00          0          0
1800.05/1800.61	c   linesearchdiving :       0.00          0          0
1800.05/1800.61	c   guideddiving     :       0.00          0          0
1800.05/1800.61	c   octane           :       0.00          0          0
1800.05/1800.61	c   rens             :       0.00          0          0
1800.05/1800.61	c   rins             :       0.00          0          0
1800.05/1800.61	c   localbranching   :       0.00          0          0
1800.05/1800.61	c   mutation         :       0.00          0          0
1800.05/1800.61	c   crossover        :       0.00          0          0
1800.05/1800.61	c   dins             :       0.00          0          0
1800.05/1800.61	c   undercover       :       0.00          0          0
1800.05/1800.61	c   nlp              :       0.00          0          0
1800.05/1800.61	c   trysol           :       0.00          0          0
1800.05/1800.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.61	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.61	c   dual LP          :       0.00          0          0       0.00          -
1800.05/1800.61	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.61	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.61	c   diving/probing LP:       0.00          0          0       0.00          -
1800.05/1800.61	c   strong branching :       0.00          0          0       0.00          -
1800.05/1800.61	c     (at root node) :          -          0          0       0.00          -
1800.05/1800.61	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.61	c B&B Tree           :
1800.05/1800.61	c   number of runs   :          1
1800.05/1800.61	c   nodes            :    1714142
1800.05/1800.61	c   nodes (total)    :    1714142
1800.05/1800.61	c   nodes left       :     811521
1800.05/1800.61	c   max depth        :        137
1800.05/1800.61	c   max depth (total):        137
1800.05/1800.61	c   backtracks       :      42985 (2.5%)
1800.05/1800.61	c   delayed cutoffs  :      15346
1800.05/1800.61	c   repropagations   :     894607 (2502028 domain reductions, 15130 cutoffs)
1800.05/1800.61	c   avg switch length:       4.72
1800.05/1800.61	c   switching time   :     298.91
1800.05/1800.61	c Solution           :
1800.05/1800.61	c   Solutions found  :          0 (0 improvements)
1800.05/1800.61	c   Primal Bound     :          -
1800.05/1800.61	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.61	c   Gap              :   infinite
1800.05/1800.61	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.61	c   Root Iterations  :          0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663473-1276681090/watcher-2663473-1276681090 -o /tmp/evaluation-result-2663473-1276681090/solver-2663473-1276681090 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663473-1276681090.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.92 0.98 0.99 3/106 15555
/proc/meminfo: memFree=1745288/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=6584 CPUtime=0
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 1099 0 0 0 0 0 0 0 17 0 1 0 9401239 6742016 1022 1992294400 4194304 7136930 140734765234912 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15555/statm: 1646 1033 254 719 0 925 0

[startup+0.069831 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 15555
/proc/meminfo: memFree=1745288/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=14868 CPUtime=0.06
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 3598 0 0 0 4 2 0 0 17 0 1 0 9401239 15224832 2910 1992294400 4194304 7136930 140734765234912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 3717 2910 327 719 0 2996 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14868

[startup+0.101834 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 15555
/proc/meminfo: memFree=1745288/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=14868 CPUtime=0.09
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 3598 0 0 0 6 3 0 0 17 0 1 0 9401239 15224832 2910 1992294400 4194304 7136930 140734765234912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 3717 2910 327 719 0 2996 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14868

[startup+0.301855 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 15555
/proc/meminfo: memFree=1745288/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=15896 CPUtime=0.29
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 5440 0 0 0 16 13 0 0 17 0 1 0 9401239 16277504 3210 1992294400 4194304 7136930 140734765234912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 3974 3210 361 719 0 3253 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15896

[startup+0.701895 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 15555
/proc/meminfo: memFree=1745288/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=17980 CPUtime=0.69
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 6247 0 0 0 50 19 0 0 17 0 1 0 9401239 18411520 3760 1992294400 4194304 7136930 140734765234912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 4495 3760 394 719 0 3774 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17980

[startup+1.50098 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 15556
/proc/meminfo: memFree=1730772/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=19900 CPUtime=1.49
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 6711 0 0 0 127 22 0 0 18 0 1 0 9401239 20377600 4224 1992294400 4194304 7136930 140734765234912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 4975 4224 394 719 0 4254 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19900

[startup+3.10114 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 15556
/proc/meminfo: memFree=1727796/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=23344 CPUtime=3.09
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 7575 0 0 0 277 32 0 0 21 0 1 0 9401239 23904256 5088 1992294400 4194304 7136930 140734765234912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 5836 5088 394 719 0 5115 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23344

[startup+6.30147 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 15556
/proc/meminfo: memFree=1721224/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=29320 CPUtime=6.29
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 9068 0 0 0 582 47 0 0 25 0 1 0 9401239 30023680 6581 1992294400 4194304 7136930 140734765234912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 7330 6581 394 719 0 6609 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29320

[startup+12.7011 s]
/proc/loadavg: 0.94 0.98 0.99 2/107 15558
/proc/meminfo: memFree=1709692/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=42040 CPUtime=12.69
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 12176 0 0 0 1194 75 0 0 25 0 1 0 9401239 43048960 9689 1992294400 4194304 7136930 140734765234912 18446744073709551615 4642156 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 10510 9689 394 719 0 9789 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42040

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 15558
/proc/meminfo: memFree=1691340/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=58436 CPUtime=25.49
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 16242 0 0 0 2427 122 0 0 25 0 1 0 9401239 59838464 13755 1992294400 4194304 7136930 140734765234912 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 14609 13755 394 719 0 13888 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58436

[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 15558
/proc/meminfo: memFree=1665176/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=85100 CPUtime=51.07
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 22868 0 0 0 4893 214 0 0 25 0 1 0 9401239 87142400 20381 1992294400 4194304 7136930 140734765234912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 21275 20381 394 719 0 20554 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 85100

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 15560
/proc/meminfo: memFree=1626364/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=123732 CPUtime=102.27
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 32446 0 0 0 9816 411 0 0 25 0 1 0 9401239 126701568 29959 1992294400 4194304 7136930 140734765234912 18446744073709551615 4414505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 30933 29959 394 719 0 30212 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 123732

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 15560
/proc/meminfo: memFree=1574532/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=177828 CPUtime=162.24
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 45389 0 0 0 15611 613 0 0 25 0 1 0 9401239 182095872 42902 1992294400 4194304 7136930 140734765234912 18446744073709551615 5121880 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 44457 42902 394 719 0 43736 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 177828

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 15562
/proc/meminfo: memFree=1519848/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=232104 CPUtime=222.23
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 58982 0 0 0 21420 803 0 0 25 0 1 0 9401239 237674496 56495 1992294400 4194304 7136930 140734765234912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 58026 56495 394 719 0 57305 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 232104

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 15564
/proc/meminfo: memFree=1470372/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=283080 CPUtime=282.2
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 71738 0 0 0 27231 989 0 0 25 0 1 0 9401239 289873920 69251 1992294400 4194304 7136930 140734765234912 18446744073709551615 6166776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 70770 69251 394 719 0 70049 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 283080

[startup+342.302 s]
/proc/loadavg: 1.05 1.00 1.00 2/107 15566
/proc/meminfo: memFree=1417176/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=338152 CPUtime=342.19
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 84559 0 0 0 33043 1176 0 0 25 0 1 0 9401239 346267648 82072 1992294400 4194304 7136930 140734765234912 18446744073709551615 4227192 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 84538 82072 394 719 0 83817 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 338152

[startup+402.302 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 15568
/proc/meminfo: memFree=1368940/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=387104 CPUtime=402.17
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 96726 0 0 0 38862 1355 0 0 25 0 1 0 9401239 396394496 94239 1992294400 4194304 7136930 140734765234912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 96776 94239 394 719 0 96055 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 387104

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15570
/proc/meminfo: memFree=1318596/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=436948 CPUtime=462.16
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 109117 0 0 0 44674 1542 0 0 25 0 1 0 9401239 447434752 106630 1992294400 4194304 7136930 140734765234912 18446744073709551615 4780261 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 109237 106630 394 719 0 108516 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 436948

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15570
/proc/meminfo: memFree=1272096/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=483120 CPUtime=522.14
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 120717 0 0 0 50487 1727 0 0 25 0 1 0 9401239 494714880 118230 1992294400 4194304 7136930 140734765234912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 120780 118230 394 719 0 120059 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 483120

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15572
/proc/meminfo: memFree=1225472/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=529444 CPUtime=582.12
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 132295 0 0 0 56302 1910 0 0 25 0 1 0 9401239 542150656 129808 1992294400 4194304 7136930 140734765234912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 132361 129808 394 719 0 131640 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 529444

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15574
/proc/meminfo: memFree=1183932/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=571096 CPUtime=642.11
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 142677 0 0 0 62118 2093 0 0 25 0 1 0 9401239 584802304 140190 1992294400 4194304 7136930 140734765234912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 142774 140190 394 719 0 142053 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 571096

[startup+702.301 s]

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

/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 214491 0 0 0 102833 3365 0 0 25 0 1 0 9401239 889204736 212004 1992294400 4194304 7136930 140734765234912 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 217091 212004 394 719 0 216370 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 868364

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15586
/proc/meminfo: memFree=858060/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=906536 CPUtime=1121.95
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 223799 0 0 0 108650 3545 0 0 25 0 1 0 9401239 928292864 221312 1992294400 4194304 7136930 140734765234912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 226634 221312 394 719 0 225913 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 906536

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15588
/proc/meminfo: memFree=823216/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=941492 CPUtime=1181.93
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 232486 0 0 0 114465 3728 0 0 25 0 1 0 9401239 964087808 229999 1992294400 4194304 7136930 140734765234912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 235373 229999 394 719 0 234652 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 941492

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15590
/proc/meminfo: memFree=787504/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=978608 CPUtime=1241.92
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 241500 0 0 0 120288 3904 0 0 25 0 1 0 9401239 1002094592 239013 1992294400 4194304 7136930 140734765234912 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 244652 239013 394 719 0 243931 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 978608

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15592
/proc/meminfo: memFree=751916/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=1013496 CPUtime=1301.91
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 250189 0 0 0 126106 4085 0 0 25 0 1 0 9401239 1037819904 247702 1992294400 4194304 7136930 140734765234912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 253374 247702 394 719 0 252653 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1013496

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15592
/proc/meminfo: memFree=718312/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=1047832 CPUtime=1361.88
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 258581 0 0 0 131933 4255 0 0 25 0 1 0 9401239 1072979968 256094 1992294400 4194304 7136930 140734765234912 18446744073709551615 5919102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 261958 256094 394 719 0 261237 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1047832

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15603
/proc/meminfo: memFree=684212/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=1081176 CPUtime=1421.86
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 267002 0 0 0 137760 4426 0 0 25 0 1 0 9401239 1107124224 264515 1992294400 4194304 7136930 140734765234912 18446744073709551615 5917883 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 270294 264515 394 719 0 269573 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1081176

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15605
/proc/meminfo: memFree=653956/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=1111260 CPUtime=1481.83
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 274618 0 0 0 143586 4597 0 0 25 0 1 0 9401239 1137930240 272131 1992294400 4194304 7136930 140734765234912 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 277815 272131 394 719 0 277094 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1111260

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15607
/proc/meminfo: memFree=623948/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=1140340 CPUtime=1541.81
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 282054 0 0 0 149422 4759 0 0 25 0 1 0 9401239 1167708160 279567 1992294400 4194304 7136930 140734765234912 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 285085 279567 394 719 0 284364 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1140340

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15609
/proc/meminfo: memFree=593940/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=1171760 CPUtime=1601.8
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 289934 0 0 0 155257 4923 0 0 25 0 1 0 9401239 1199882240 287447 1992294400 4194304 7136930 140734765234912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 292940 287447 394 719 0 292219 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1171760

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15611
/proc/meminfo: memFree=564056/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=1199268 CPUtime=1661.78
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 297009 0 0 0 161081 5097 0 0 25 0 1 0 9401239 1228050432 294522 1992294400 4194304 7136930 140734765234912 18446744073709551615 4454570 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 299817 294522 394 719 0 299096 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1199268

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15611
/proc/meminfo: memFree=535784/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=1228336 CPUtime=1721.77
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 304315 0 0 0 166915 5262 0 0 25 0 1 0 9401239 1257816064 301828 1992294400 4194304 7136930 140734765234912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 307084 301828 394 719 0 306363 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1228336

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15613
/proc/meminfo: memFree=501064/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=1264052 CPUtime=1781.75
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 312639 0 0 0 172751 5424 0 0 25 0 1 0 9401239 1294389248 310152 1992294400 4194304 7136930 140734765234912 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 316013 310152 394 719 0 315292 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1264052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15613
/proc/meminfo: memFree=494368/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=1270704 CPUtime=1800.05
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 314302 0 0 0 174530 5475 0 0 25 0 1 0 9401239 1301200896 311815 1992294400 4194304 7136930 140734765234912 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15555/statm: 317676 311815 394 719 0 316955 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1270704

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -15555

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15613
/proc/meminfo: memFree=494368/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=1270704 CPUtime=1800.84
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 314307 0 0 0 174609 5475 0 0 25 0 1 0 9401239 1301200896 311820 1992294400 4194304 7136930 140734765234912 18446744073709551615 6165755 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15555/statm: 317676 311820 399 719 0 316955 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 1270704

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 15614
/proc/meminfo: memFree=494360/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=1270188 CPUtime=1801.64
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 314307 0 0 0 174689 5475 0 0 25 0 1 0 9401239 1300672512 311691 1992294400 4194304 7136930 140734765234912 18446744073709551615 4670087 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15555/statm: 317547 311691 399 719 0 316826 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 1270188

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 15614
/proc/meminfo: memFree=494360/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=1268124 CPUtime=1802.04
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4202496 314307 0 0 0 174728 5476 0 0 25 0 1 0 9401239 1298558976 311175 1992294400 4194304 7136930 140734765234912 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15555/statm: 317031 311175 399 719 0 316310 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 1268124

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 15614
/proc/meminfo: memFree=494360/2059040 swapFree=4192956/4192956
[pid=15555] ppid=15553 vsize=0 CPUtime=1802.14
/proc/15555/stat : 15555 (pbscip.linux.x8) R 15553 15555 15530 0 -1 4203524 314307 0 0 0 174730 5484 0 0 25 0 1 0 9401239 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/15555/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.74
CPU time (s): 1802.18
CPU user time (s): 1747.3
CPU system time (s): 54.8797
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 1270704

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

runsolver used 2.98555 second user time and 8.5257 second system time

The end

Launcher Data 

Begin job on node045 at 2010-06-16 11:38:10
IDJOB=2663473
IDBENCH=48351
IDSOLVER=1167
FILE ID=node045/2663473-1276681090
PBS_JOBID= 11172573
Free space on /tmp= 62460 MiB

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

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

MD5SUM BENCH= 3f7fb60f05fdea42d317cf95beb113ab
RANDOM SEED=575691132

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1745940 kB
Buffers:         70064 kB
Cached:         117916 kB
SwapCached:          0 kB
Active:          92452 kB
Inactive:       154836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1745940 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3396 kB
Writeback:           0 kB
AnonPages:       59312 kB
Mapped:          15344 kB
Slab:            44088 kB
PageTables:       3984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180112 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

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