Trace number 2664263

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) 1800.34 1800.77

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin18.opb
MD5SUMf17e31cb6762bd0e8d3e659d7bd1050c
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables23409
Total number of constraints1386
Number of constraints which are clauses612
Number of constraints which are cardinality constraints (but not clauses)774
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint153
Maximum length of a constraint289
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 291
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2664263-1276268856.opb>
0.39/0.49	c original problem has 23409 variables (23409 bin, 0 int, 0 impl, 0 cont) and 1386 constraints
0.39/0.49	c problem read
0.39/0.50	c No objective function, only one solution is needed.
0.49/0.50	c presolving settings loaded
0.49/0.50	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.79/0.82	c presolving:
2.39/2.48	c (round 1) 0 del vars, 612 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 162 upgd conss, 0 impls, 612 clqs
3.20/3.30	c (round 2) 0 del vars, 612 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 774 upgd conss, 0 impls, 612 clqs
3.59/3.69	c presolving (3 rounds):
3.59/3.69	c  0 deleted vars, 612 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.59/3.69	c  0 implications, 612 cliques
3.59/3.69	c presolved problem has 23409 variables (23409 bin, 0 int, 0 impl, 0 cont) and 774 constraints
3.59/3.69	c     162 constraints of type <knapsack>
3.59/3.69	c     612 constraints of type <setppc>
3.59/3.69	c transformed objective value is always integral (scale: 1)
3.59/3.69	c Presolving Time: 2.96
3.59/3.69	c - non default parameters ----------------------------------------------------------------------
3.59/3.69	c # SCIP version 1.2.1.2
3.59/3.69	c 
3.59/3.69	c # frequency for displaying node information lines
3.59/3.69	c # [type: int, range: [-1,2147483647], default: 100]
3.59/3.69	c display/freq = 10000
3.59/3.69	c 
3.59/3.69	c # maximal time in seconds to run
3.59/3.69	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.59/3.69	c limits/time = 1799.51
3.59/3.69	c 
3.59/3.69	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.59/3.69	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.59/3.69	c limits/memory = 1620
3.59/3.69	c 
3.59/3.69	c # solving stops, if the given number of solutions were found (-1: no limit)
3.59/3.69	c # [type: int, range: [-1,2147483647], default: -1]
3.59/3.69	c limits/solutions = 1
3.59/3.69	c 
3.59/3.69	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.59/3.69	c # [type: int, range: [-1,2147483647], default: 1]
3.59/3.69	c lp/solvefreq = -1
3.59/3.69	c 
3.59/3.69	c # maximal number of separation rounds per node (-1: unlimited)
3.59/3.69	c # [type: int, range: [-1,2147483647], default: 5]
3.59/3.69	c separating/maxrounds = 1
3.59/3.69	c 
3.59/3.69	c # maximal number of separation rounds in the root node (-1: unlimited)
3.59/3.69	c # [type: int, range: [-1,2147483647], default: -1]
3.59/3.69	c separating/maxroundsroot = 5
3.59/3.69	c 
3.59/3.69	c # should presolving try to simplify inequalities
3.59/3.69	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.59/3.69	c constraints/linear/simplifyinequalities = TRUE
3.59/3.69	c 
3.59/3.69	c # should disaggregation of knapsack constraints be allowed in preprocessing?
3.59/3.69	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
3.59/3.69	c constraints/knapsack/disaggregation = FALSE
3.59/3.69	c 
3.59/3.69	c # should presolving try to simplify knapsacks
3.59/3.69	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.59/3.69	c constraints/knapsack/simplifyinequalities = TRUE
3.59/3.69	c 
3.59/3.69	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
3.59/3.69	c # [type: int, range: [-1,2147483647], default: -1]
3.59/3.69	c presolving/probing/maxrounds = 0
3.59/3.69	c 
3.59/3.69	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
3.59/3.69	c # [type: int, range: [-1,2147483647], default: 10]
3.59/3.69	c heuristics/coefdiving/freq = -1
3.59/3.69	c 
3.59/3.69	c # maximal fraction of diving LP iterations compared to node LP iterations
3.59/3.69	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.59/3.69	c heuristics/coefdiving/maxlpiterquot = 0.075
3.59/3.69	c 
3.59/3.69	c # additional number of allowed LP iterations
3.59/3.69	c # [type: int, range: [0,2147483647], default: 1000]
3.59/3.69	c heuristics/coefdiving/maxlpiterofs = 1500
3.59/3.69	c 
3.59/3.69	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
3.59/3.69	c # [type: int, range: [-1,2147483647], default: 30]
3.59/3.69	c heuristics/crossover/freq = -1
3.59/3.69	c 
3.59/3.69	c # number of nodes added to the contingent of the total nodes
3.59/3.69	c # [type: longint, range: [0,9223372036854775807], default: 500]
3.59/3.69	c heuristics/crossover/nodesofs = 750
3.59/3.69	c 
3.59/3.69	c # number of nodes without incumbent change that heuristic should wait
3.59/3.69	c # [type: longint, range: [0,9223372036854775807], default: 200]
3.59/3.69	c heuristics/crossover/nwaitingnodes = 100
3.59/3.69	c 
3.59/3.69	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
3.59/3.69	c # [type: real, range: [0,1], default: 0.1]
3.59/3.69	c heuristics/crossover/nodesquot = 0.15
3.59/3.69	c 
3.59/3.69	c # minimum percentage of integer variables that have to be fixed 
3.59/3.69	c # [type: real, range: [0,1], default: 0.666]
3.59/3.69	c heuristics/crossover/minfixingrate = 0.5
3.59/3.69	c 
3.59/3.69	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
3.59/3.69	c # [type: int, range: [-1,2147483647], default: 20]
3.59/3.69	c heuristics/feaspump/freq = -1
3.59/3.69	c 
3.59/3.69	c # additional number of allowed LP iterations
3.59/3.69	c # [type: int, range: [0,2147483647], default: 1000]
3.59/3.69	c heuristics/feaspump/maxlpiterofs = 2000
3.59/3.69	c 
3.59/3.69	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
3.59/3.69	c # [type: int, range: [-1,2147483647], default: 10]
3.59/3.69	c heuristics/fracdiving/freq = -1
3.59/3.69	c 
3.59/3.69	c # maximal fraction of diving LP iterations compared to node LP iterations
3.59/3.69	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.59/3.69	c heuristics/fracdiving/maxlpiterquot = 0.075
3.59/3.69	c 
3.59/3.69	c # additional number of allowed LP iterations
3.59/3.69	c # [type: int, range: [0,2147483647], default: 1000]
3.59/3.69	c heuristics/fracdiving/maxlpiterofs = 1500
3.59/3.69	c 
3.59/3.69	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
3.59/3.69	c # [type: int, range: [-1,2147483647], default: 10]
3.59/3.69	c heuristics/guideddiving/freq = -1
3.59/3.69	c 
3.59/3.69	c # maximal fraction of diving LP iterations compared to node LP iterations
3.59/3.69	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.59/3.69	c heuristics/guideddiving/maxlpiterquot = 0.075
3.59/3.69	c 
3.59/3.69	c # additional number of allowed LP iterations
3.59/3.69	c # [type: int, range: [0,2147483647], default: 1000]
3.59/3.69	c heuristics/guideddiving/maxlpiterofs = 1500
3.59/3.69	c 
3.59/3.69	c # maximal fraction of diving LP iterations compared to node LP iterations
3.59/3.70	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.59/3.70	c heuristics/intdiving/maxlpiterquot = 0.075
3.59/3.70	c 
3.59/3.70	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
3.59/3.70	c # [type: int, range: [-1,2147483647], default: 10]
3.59/3.70	c heuristics/intshifting/freq = -1
3.59/3.70	c 
3.59/3.70	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
3.59/3.70	c # [type: int, range: [-1,2147483647], default: 10]
3.59/3.70	c heuristics/linesearchdiving/freq = -1
3.59/3.70	c 
3.59/3.70	c # maximal fraction of diving LP iterations compared to node LP iterations
3.59/3.70	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.59/3.70	c heuristics/linesearchdiving/maxlpiterquot = 0.075
3.59/3.70	c 
3.59/3.70	c # additional number of allowed LP iterations
3.59/3.70	c # [type: int, range: [0,2147483647], default: 1000]
3.59/3.70	c heuristics/linesearchdiving/maxlpiterofs = 1500
3.59/3.70	c 
3.59/3.70	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
3.59/3.70	c # [type: int, range: [-1,2147483647], default: 1]
3.59/3.70	c heuristics/nlp/freq = -1
3.59/3.70	c 
3.59/3.70	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
3.59/3.70	c # [type: int, range: [-1,2147483647], default: 20]
3.59/3.70	c heuristics/objpscostdiving/freq = -1
3.59/3.70	c 
3.59/3.70	c # maximal fraction of diving LP iterations compared to total iteration number
3.59/3.70	c # [type: real, range: [0,1], default: 0.01]
3.59/3.70	c heuristics/objpscostdiving/maxlpiterquot = 0.015
3.59/3.70	c 
3.59/3.70	c # additional number of allowed LP iterations
3.59/3.70	c # [type: int, range: [0,2147483647], default: 1000]
3.59/3.70	c heuristics/objpscostdiving/maxlpiterofs = 1500
3.59/3.70	c 
3.59/3.70	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
3.59/3.70	c # [type: int, range: [-1,2147483647], default: 1]
3.59/3.70	c heuristics/oneopt/freq = -1
3.59/3.70	c 
3.59/3.70	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
3.59/3.70	c # [type: int, range: [-1,2147483647], default: 10]
3.59/3.70	c heuristics/pscostdiving/freq = -1
3.59/3.70	c 
3.59/3.70	c # maximal fraction of diving LP iterations compared to node LP iterations
3.59/3.70	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.59/3.70	c heuristics/pscostdiving/maxlpiterquot = 0.075
3.59/3.70	c 
3.59/3.70	c # additional number of allowed LP iterations
3.59/3.70	c # [type: int, range: [0,2147483647], default: 1000]
3.59/3.70	c heuristics/pscostdiving/maxlpiterofs = 1500
3.59/3.70	c 
3.59/3.70	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
3.59/3.70	c # [type: int, range: [-1,2147483647], default: 0]
3.59/3.70	c heuristics/rens/freq = -1
3.59/3.70	c 
3.59/3.70	c # minimum percentage of integer variables that have to be fixable 
3.59/3.70	c # [type: real, range: [0,1], default: 0.5]
3.59/3.70	c heuristics/rens/minfixingrate = 0.3
3.59/3.70	c 
3.59/3.70	c # number of nodes added to the contingent of the total nodes
3.59/3.70	c # [type: longint, range: [0,9223372036854775807], default: 500]
3.59/3.70	c heuristics/rens/nodesofs = 2000
3.59/3.70	c 
3.59/3.70	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
3.59/3.70	c # [type: int, range: [-1,2147483647], default: 20]
3.59/3.70	c heuristics/rootsoldiving/freq = -1
3.59/3.70	c 
3.59/3.70	c # maximal fraction of diving LP iterations compared to node LP iterations
3.59/3.70	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
3.59/3.70	c heuristics/rootsoldiving/maxlpiterquot = 0.015
3.59/3.70	c 
3.59/3.70	c # additional number of allowed LP iterations
3.59/3.70	c # [type: int, range: [0,2147483647], default: 1000]
3.59/3.70	c heuristics/rootsoldiving/maxlpiterofs = 1500
3.59/3.70	c 
3.59/3.70	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
3.59/3.70	c # [type: int, range: [-1,2147483647], default: 1]
3.59/3.70	c heuristics/rounding/freq = -1
3.59/3.70	c 
3.59/3.70	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
3.59/3.70	c # [type: int, range: [-1,2147483647], default: 10]
3.59/3.70	c heuristics/shifting/freq = -1
3.59/3.70	c 
3.59/3.70	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
3.59/3.70	c # [type: int, range: [-1,2147483647], default: 1]
3.59/3.70	c heuristics/simplerounding/freq = -1
3.59/3.70	c 
3.59/3.70	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
3.59/3.70	c # [type: int, range: [-1,2147483647], default: 0]
3.59/3.70	c heuristics/trivial/freq = -1
3.59/3.70	c 
3.59/3.70	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
3.59/3.70	c # [type: int, range: [-1,2147483647], default: 1]
3.59/3.70	c heuristics/trysol/freq = -1
3.59/3.70	c 
3.59/3.70	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
3.59/3.70	c # [type: int, range: [-1,2147483647], default: 10]
3.59/3.70	c heuristics/veclendiving/freq = -1
3.59/3.70	c 
3.59/3.70	c # maximal fraction of diving LP iterations compared to node LP iterations
3.59/3.70	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.59/3.70	c heuristics/veclendiving/maxlpiterquot = 0.075
3.59/3.70	c 
3.59/3.70	c # additional number of allowed LP iterations
3.59/3.70	c # [type: int, range: [0,2147483647], default: 1000]
3.59/3.70	c heuristics/veclendiving/maxlpiterofs = 1500
3.59/3.70	c 
3.59/3.70	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
3.59/3.70	c # [type: int, range: [-1,2147483647], default: 1]
3.59/3.70	c heuristics/zirounding/freq = -1
3.59/3.70	c 
3.59/3.70	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
3.59/3.70	c # [type: int, range: [-1,2147483647], default: 0]
3.59/3.70	c separating/cmir/freq = -1
3.59/3.70	c 
3.59/3.70	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
3.59/3.70	c # [type: int, range: [-1,2147483647], default: 0]
3.59/3.70	c separating/flowcover/freq = -1
3.59/3.70	c 
3.59/3.70	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.59/3.70	c # [type: int, range: [-1,2147483647], default: -1]
3.59/3.70	c separating/rapidlearning/freq = 0
3.59/3.70	c 
3.59/3.70	c -----------------------------------------------------------------------------------------------
3.59/3.70	c start solving
3.70/3.72	c 
3.70/3.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.70/3.74	c   3.2s|     1 |     2 |     0 |     - |  70M|   0 |   - |  23k| 774 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
189.36/189.47	c   189s| 10000 |  9998 |     0 |   0.0 |  79M|8343 |   - |  23k| 794 |   0 |   0 |   0 |  20 |   0 | 0.000000e+00 |      --      |    Inf 
414.92/415.09	c   414s| 20000 | 19998 |     0 |   0.0 |  82M|  11k|   - |  23k| 794 |   0 |   0 |   0 |  20 |   0 | 0.000000e+00 |      --      |    Inf 
653.66/653.87	c   652s| 30000 | 29564 |     0 |   0.0 |  85M|  13k|   - |  23k| 844 |   0 |   0 |   0 |  73 |   0 | 0.000000e+00 |      --      |    Inf 
906.89/907.10	c   905s| 40000 | 39550 |     0 |   0.0 |  89M|  13k|   - |  23k| 893 |   0 |   0 |   0 | 122 |   0 | 0.000000e+00 |      --      |    Inf 
1179.31/1179.60	c  1178s| 50000 | 49540 |     0 |   0.0 |  93M|  13k|   - |  23k| 932 |   0 |   0 |   0 | 162 |   0 | 0.000000e+00 |      --      |    Inf 
1472.16/1472.50	c  1470s| 60000 | 59524 |     0 |   0.0 |  97M|  13k|   - |  23k| 979 |   0 |   0 |   0 | 216 |   0 | 0.000000e+00 |      --      |    Inf 
1737.08/1737.52	c  1735s| 70000 | 69507 |     0 |   0.0 | 101M|  13k|   - |  23k|1020 |   0 |   0 |   0 | 280 |   0 | 0.000000e+00 |      --      |    Inf 
1800.07/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.51	c 
1800.07/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.51	c Solving Time (sec) : 1797.78
1800.07/1800.51	c Solving Nodes      : 73576
1800.07/1800.51	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.07/1800.51	c Dual Bound         : +0.00000000000000e+00
1800.07/1800.51	c Gap                : infinite
1800.07/1800.51	s UNKNOWN
1800.07/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.51	c Solving Time       :    1797.78
1800.07/1800.51	c Original Problem   :
1800.07/1800.51	c   Problem name     : HOME/instance-2664263-1276268856.opb
1800.07/1800.51	c   Variables        : 23409 (23409 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.51	c   Constraints      : 1386 initial, 1386 maximal
1800.07/1800.51	c Presolved Problem  :
1800.07/1800.51	c   Problem name     : t_HOME/instance-2664263-1276268856.opb
1800.07/1800.51	c   Variables        : 23409 (23409 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.51	c   Constraints      : 774 initial, 1040 maximal
1800.07/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.51	c   trivial          :       0.03          0          0          0          0          0          0          0          0
1800.07/1800.51	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.51	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.51	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.51	c   knapsack         :       0.61          0          0          0          0          0          0          0          0
1800.07/1800.51	c   setppc           :       0.35          0          0          0          0          0          0          0          0
1800.07/1800.51	c   linear           :       1.69          0          0          0          0          0        612          0          0
1800.07/1800.51	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.07/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.51	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.07/1800.51	c   knapsack         :        162          0      75814          0      73548          1      18716          0          0          0
1800.07/1800.51	c   setppc           :        612          0      75813          0      73548         48     117438          0          0          0
1800.07/1800.51	c   logicor          :          0+         0        438          0          0          0         36          0          0          0
1800.07/1800.51	c   countsols        :          0          0          0          0      73548          0          0          0          0          0
1800.07/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.07/1800.51	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.51	c   knapsack         :     435.55       0.00       2.81       0.00     432.74
1800.07/1800.51	c   setppc           :     667.48       0.00       4.87       0.00     662.61
1800.07/1800.51	c   logicor          :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.51	c   countsols        :       0.06       0.00       0.00       0.00       0.06
1800.07/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.51	c   vbounds          :       0.17          1          0          0
1800.07/1800.51	c   rootredcost      :       0.08          0          0          0
1800.07/1800.51	c   pseudoobj        :       0.04          0          0          0
1800.07/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.51	c   propagation      :       0.15         49         49        413      316.1          2      451.0          -
1800.07/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.07/1800.51	c   applied globally :          -          -          -        300      289.2          -          -          -
1800.07/1800.51	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.07/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.07/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.07/1800.51	c   redcost          :       0.00          0          0          0          0          0
1800.07/1800.51	c   impliedbounds    :       0.00          0          0          0          0          0
1800.07/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.07/1800.52	c   cgmip            :       0.00          0          0          0          0          0
1800.07/1800.52	c   gomory           :       0.00          0          0          0          0          0
1800.07/1800.52	c   strongcg         :       0.00          0          0          0          0          0
1800.07/1800.52	c   cmir             :       0.00          0          0          0          0          0
1800.07/1800.52	c   flowcover        :       0.00          0          0          0          0          0
1800.07/1800.52	c   clique           :       0.00          0          0          0          0          0
1800.07/1800.52	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.52	c   mcf              :       0.00          0          0          0          0          0
1800.07/1800.52	c   rapidlearning    :       0.00          0          0          0          0          0
1800.07/1800.52	c Pricers            :       Time      Calls       Vars
1800.07/1800.52	c   problem variables:       0.00          0          0
1800.07/1800.52	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.52	c   relpscost        :       0.00          0          0          0          0          0          0
1800.07/1800.52	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.52	c   inference        :     685.56      73548          0          0          0          0     147096
1800.07/1800.52	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.52	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.52	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.52	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.52	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.52	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.52	c   LP solutions     :       0.00          -          0
1800.07/1800.52	c   pseudo solutions :       0.00          -          0
1800.07/1800.52	c   trivial          :       0.03          1          0
1800.07/1800.52	c   simplerounding   :       0.00          0          0
1800.07/1800.52	c   zirounding       :       0.00          0          0
1800.07/1800.52	c   rounding         :       0.00          0          0
1800.07/1800.52	c   shifting         :       0.00          0          0
1800.07/1800.52	c   intshifting      :       0.00          0          0
1800.07/1800.52	c   oneopt           :       0.00          0          0
1800.07/1800.52	c   twoopt           :       0.00          0          0
1800.07/1800.52	c   fixandinfer      :       0.00          0          0
1800.07/1800.52	c   feaspump         :       0.00          0          0
1800.07/1800.52	c   coefdiving       :       0.00          0          0
1800.07/1800.52	c   pscostdiving     :       0.00          0          0
1800.07/1800.52	c   fracdiving       :       0.00          0          0
1800.07/1800.52	c   veclendiving     :       0.00          0          0
1800.07/1800.52	c   intdiving        :       0.00          0          0
1800.07/1800.52	c   actconsdiving    :       0.00          0          0
1800.07/1800.52	c   objpscostdiving  :       0.00          0          0
1800.07/1800.52	c   rootsoldiving    :       0.00          0          0
1800.07/1800.52	c   linesearchdiving :       0.00          0          0
1800.07/1800.52	c   guideddiving     :       0.00          0          0
1800.07/1800.52	c   octane           :       0.00          0          0
1800.07/1800.52	c   rens             :       0.00          0          0
1800.07/1800.52	c   rins             :       0.00          0          0
1800.07/1800.52	c   localbranching   :       0.00          0          0
1800.07/1800.52	c   mutation         :       0.00          0          0
1800.07/1800.52	c   crossover        :       0.00          0          0
1800.07/1800.52	c   dins             :       0.00          0          0
1800.07/1800.52	c   undercover       :       0.00          0          0
1800.07/1800.52	c   nlp              :       0.00          0          0
1800.07/1800.52	c   trysol           :       0.00          0          0
1800.07/1800.52	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.52	c   primal LP        :       0.00          0          0       0.00          -
1800.07/1800.52	c   dual LP          :       0.00          0          0       0.00          -
1800.07/1800.52	c   lex dual LP      :       0.00          0          0       0.00          -
1800.07/1800.52	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.52	c   diving/probing LP:       0.00          0          0       0.00          -
1800.07/1800.52	c   strong branching :       0.00          0          0       0.00          -
1800.07/1800.52	c     (at root node) :          -          0          0       0.00          -
1800.07/1800.52	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.52	c B&B Tree           :
1800.07/1800.52	c   number of runs   :          1
1800.07/1800.52	c   nodes            :      73576
1800.07/1800.52	c   nodes (total)    :      73576
1800.07/1800.52	c   nodes left       :      73080
1800.07/1800.52	c   max depth        :      13406
1800.07/1800.52	c   max depth (total):      13406
1800.07/1800.52	c   backtracks       :         27 (0.0%)
1800.07/1800.52	c   delayed cutoffs  :        441
1800.07/1800.52	c   repropagations   :       1420 (9089 domain reductions, 21 cutoffs)
1800.07/1800.52	c   avg switch length:       2.60
1800.07/1800.52	c   switching time   :       1.62
1800.07/1800.52	c Solution           :
1800.07/1800.52	c   Solutions found  :          0 (0 improvements)
1800.07/1800.52	c   Primal Bound     :          -
1800.07/1800.52	c   Dual Bound       : +0.00000000000000e+00
1800.07/1800.52	c   Gap              :   infinite
1800.07/1800.52	c   Root Dual Bound  : +0.00000000000000e+00
1800.07/1800.52	c   Root Iterations  :          0
1800.28/1800.76	c Time complete: 1800.33.

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-2664263-1276268856/watcher-2664263-1276268856 -o /tmp/evaluation-result-2664263-1276268856/solver-2664263-1276268856 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664263-1276268856.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.16 1.75 1.58 3/106 3098
/proc/meminfo: memFree=1598028/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=6584 CPUtime=0
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 1007 0 0 0 0 0 0 0 18 0 1 0 541063 6742016 931 1992294400 4194304 7136930 140737370743056 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3098/statm: 1646 940 254 719 0 925 0

[startup+0.036565 s]
/proc/loadavg: 1.16 1.75 1.58 3/106 3098
/proc/meminfo: memFree=1598028/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=13072 CPUtime=0.02
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 2736 0 0 0 2 0 0 0 20 0 1 0 541063 13385728 2659 1992294400 4194304 7136930 140737370743056 18446744073709551615 6339954 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3098/statm: 3268 2659 268 719 0 2547 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13072

[startup+0.101567 s]
/proc/loadavg: 1.16 1.75 1.58 3/106 3098
/proc/meminfo: memFree=1598028/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=20984 CPUtime=0.09
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 4747 0 0 0 8 1 0 0 20 0 1 0 541063 21487616 4670 1992294400 4194304 7136930 140737370743056 18446744073709551615 4680106 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3098/statm: 5246 4670 268 719 0 4525 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20984

[startup+0.30057 s]
/proc/loadavg: 1.16 1.75 1.58 3/106 3098
/proc/meminfo: memFree=1598028/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=27172 CPUtime=0.29
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 6257 0 0 0 28 1 0 0 20 0 1 0 541063 27824128 6180 1992294400 4194304 7136930 140737370743056 18446744073709551615 5650593 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3098/statm: 6793 6180 268 719 0 6072 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27172

[startup+0.701579 s]
/proc/loadavg: 1.16 1.75 1.58 3/106 3098
/proc/meminfo: memFree=1598028/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=73596 CPUtime=0.69
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 18221 0 0 0 63 6 0 0 20 0 1 0 541063 75362304 17790 1992294400 4194304 7136930 140737370743056 18446744073709551615 4561465 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 18399 17790 302 719 0 17678 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73596

[startup+1.50159 s]
/proc/loadavg: 1.16 1.75 1.58 2/107 3099
/proc/meminfo: memFree=1523620/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=78012 CPUtime=1.49
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 19379 0 0 0 142 7 0 0 23 0 1 0 541063 79884288 18691 1992294400 4194304 7136930 140737370743056 18446744073709551615 4939318 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 19503 18691 339 719 0 18782 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 78012

[startup+3.10162 s]
/proc/loadavg: 1.16 1.75 1.58 2/107 3099
/proc/meminfo: memFree=1523496/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=99196 CPUtime=3.09
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 24864 0 0 0 300 9 0 0 25 0 1 0 541063 101576704 23786 1992294400 4194304 7136930 140737370743056 18446744073709551615 4891191 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 24799 23786 421 719 0 24078 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 99196

[startup+6.30068 s]
/proc/loadavg: 1.15 1.74 1.58 2/107 3099
/proc/meminfo: memFree=1504152/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=98468 CPUtime=6.29
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 26830 0 0 0 619 10 0 0 25 0 1 0 541063 100831232 23633 1992294400 4194304 7136930 140737370743056 18446744073709551615 5892284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 24617 23633 438 719 0 23896 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 98468

[startup+12.7018 s]
/proc/loadavg: 1.14 1.72 1.57 2/107 3099
/proc/meminfo: memFree=1503904/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=98920 CPUtime=12.69
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 26976 0 0 0 1258 11 0 0 25 0 1 0 541063 101294080 23721 1992294400 4194304 7136930 140737370743056 18446744073709551615 4414774 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 24730 23721 381 719 0 24009 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 98920

[startup+25.5009 s]
/proc/loadavg: 1.11 1.69 1.56 2/107 3099
/proc/meminfo: memFree=1503284/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=99624 CPUtime=25.49
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 27154 0 0 0 2536 13 0 0 25 0 1 0 541063 102014976 23899 1992294400 4194304 7136930 140737370743056 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 24906 23899 381 719 0 24185 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 99624

[startup+51.1007 s]
/proc/loadavg: 1.07 1.63 1.54 2/107 3101
/proc/meminfo: memFree=1501424/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=101556 CPUtime=51.08
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 27665 0 0 0 5093 15 0 0 25 0 1 0 541063 103993344 24410 1992294400 4194304 7136930 140737370743056 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 25389 24410 381 719 0 24668 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 101556

[startup+102.309 s]
/proc/loadavg: 1.03 1.53 1.52 2/107 3108
/proc/meminfo: memFree=1498200/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=104288 CPUtime=102.28
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 28337 0 0 0 10206 22 0 0 25 0 1 0 541063 106790912 25082 1992294400 4194304 7136930 140737370743056 18446744073709551615 4697651 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 26072 25082 381 719 0 25351 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 104288

[startup+162.301 s]
/proc/loadavg: 1.01 1.43 1.48 2/107 3110
/proc/meminfo: memFree=1496216/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=106272 CPUtime=162.27
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 28837 0 0 0 16196 31 0 0 25 0 1 0 541063 108822528 25579 1992294400 4194304 7136930 140737370743056 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 26568 25579 392 719 0 25847 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 106272

[startup+222.301 s]
/proc/loadavg: 1.00 1.35 1.45 2/107 3112
/proc/meminfo: memFree=1494232/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=108204 CPUtime=222.26
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 29330 0 0 0 22189 37 0 0 25 0 1 0 541063 110800896 26072 1992294400 4194304 7136930 140737370743056 18446744073709551615 5121843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 27051 26072 392 719 0 26330 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 108204

[startup+282.301 s]
/proc/loadavg: 1.00 1.28 1.42 2/107 3114
/proc/meminfo: memFree=1493860/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=108592 CPUtime=282.25
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 29436 0 0 0 28183 42 0 0 25 0 1 0 541063 111198208 26178 1992294400 4194304 7136930 140737370743056 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 27148 26178 392 719 0 26427 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 108592

[startup+342.301 s]
/proc/loadavg: 1.00 1.23 1.39 2/107 3114
/proc/meminfo: memFree=1493240/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=109108 CPUtime=342.23
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 29576 0 0 0 34176 47 0 0 25 0 1 0 541063 111726592 26318 1992294400 4194304 7136930 140737370743056 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 27277 26318 392 719 0 26556 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 109108

[startup+402.301 s]
/proc/loadavg: 1.00 1.19 1.36 2/107 3116
/proc/meminfo: memFree=1492380/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=110012 CPUtime=402.23
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 29819 0 0 0 40168 55 0 0 25 0 1 0 541063 112652288 26561 1992294400 4194304 7136930 140737370743056 18446744073709551615 4858882 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 27503 26561 392 719 0 26782 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 110012

[startup+462.301 s]
/proc/loadavg: 1.00 1.15 1.34 2/107 3118
/proc/meminfo: memFree=1491512/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=110884 CPUtime=462.22
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 30029 0 0 0 46160 62 0 0 25 0 1 0 541063 113545216 26766 1992294400 4194304 7136930 140737370743056 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 27721 26766 387 719 0 27000 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 110884

[startup+522.301 s]
/proc/loadavg: 1.00 1.12 1.31 2/107 3120
/proc/meminfo: memFree=1490892/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=111400 CPUtime=522.21
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 30193 0 0 0 52153 68 0 0 25 0 1 0 541063 114073600 26930 1992294400 4194304 7136930 140737370743056 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 27850 26930 387 719 0 27129 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 111400

[startup+582.301 s]
/proc/loadavg: 1.00 1.10 1.29 2/107 3122
/proc/meminfo: memFree=1489900/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=112304 CPUtime=582.19
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 30430 0 0 0 58146 73 0 0 25 0 1 0 541063 114999296 27167 1992294400 4194304 7136930 140737370743056 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 28076 27167 387 719 0 27355 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 112304

[startup+642.301 s]
/proc/loadavg: 1.00 1.08 1.27 2/107 3129
/proc/meminfo: memFree=1488404/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=113136 CPUtime=642.17
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 30620 0 0 0 64138 79 0 0 25 0 1 0 541063 115851264 27357 1992294400 4194304 7136930 140737370743056 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 28284 27357 387 719 0 27563 0
Current children cumulated CPU time (s) 642.17
Current children cumulated vsize (KiB) 113136

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 1.13 1.06 1.20 2/107 3144
/proc/meminfo: memFree=1482824/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=118932 CPUtime=942.08
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 32075 0 0 0 94100 108 0 0 25 0 1 0 541063 121786368 28812 1992294400 4194304 7136930 140737370743056 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 29733 28812 387 719 0 29012 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 118932

[startup+1002.3 s]
/proc/loadavg: 1.09 1.06 1.18 2/107 3146
/proc/meminfo: memFree=1481592/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=120276 CPUtime=1002.05
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 32405 0 0 0 100091 114 0 0 25 0 1 0 541063 123162624 29142 1992294400 4194304 7136930 140737370743056 18446744073709551615 4697674 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 30069 29142 387 719 0 29348 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 120276

[startup+1062.3 s]
/proc/loadavg: 1.08 1.06 1.18 2/107 3148
/proc/meminfo: memFree=1481096/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=120676 CPUtime=1062.04
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 32531 0 0 0 106085 119 0 0 25 0 1 0 541063 123572224 29268 1992294400 4194304 7136930 140737370743056 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 30169 29268 387 719 0 29448 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 120676

[startup+1122.3 s]
/proc/loadavg: 1.07 1.06 1.17 2/107 3150
/proc/meminfo: memFree=1479856/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=122004 CPUtime=1122.02
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 32854 0 0 0 112077 125 0 0 25 0 1 0 541063 124932096 29591 1992294400 4194304 7136930 140737370743056 18446744073709551615 4697680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 30501 29591 387 719 0 29780 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 122004

[startup+1182.3 s]
/proc/loadavg: 1.06 1.06 1.16 2/107 3152
/proc/meminfo: memFree=1479236/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=122704 CPUtime=1182.01
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 33000 0 0 0 118070 131 0 0 25 0 1 0 541063 125648896 29737 1992294400 4194304 7136930 140737370743056 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 30676 29737 387 719 0 29955 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 122704

[startup+1242.3 s]
/proc/loadavg: 1.06 1.06 1.16 2/107 3152
/proc/meminfo: memFree=1477872/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=123904 CPUtime=1241.99
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 33298 0 0 0 124063 136 0 0 25 0 1 0 541063 126877696 30035 1992294400 4194304 7136930 140737370743056 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 30976 30035 387 719 0 30255 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 123904

[startup+1302.3 s]
/proc/loadavg: 1.05 1.06 1.15 2/107 3154
/proc/meminfo: memFree=1477252/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=124316 CPUtime=1301.99
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 33423 0 0 0 130058 141 0 0 25 0 1 0 541063 127299584 30160 1992294400 4194304 7136930 140737370743056 18446744073709551615 4697651 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 31079 30160 387 719 0 30358 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 124316

[startup+1362.3 s]
/proc/loadavg: 1.02 1.05 1.14 2/107 3156
/proc/meminfo: memFree=1475764/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=125916 CPUtime=1361.98
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 33788 0 0 0 136053 145 0 0 25 0 1 0 541063 128937984 30525 1992294400 4194304 7136930 140737370743056 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 31479 30525 387 719 0 30758 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 125916

[startup+1422.31 s]
/proc/loadavg: 1.00 1.04 1.13 2/107 3158
/proc/meminfo: memFree=1475392/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=126196 CPUtime=1421.97
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 33860 0 0 0 142047 150 0 0 25 0 1 0 541063 129224704 30597 1992294400 4194304 7136930 140737370743056 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 31549 30597 387 719 0 30828 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 126196

[startup+1482.3 s]
/proc/loadavg: 1.00 1.03 1.12 2/107 3160
/proc/meminfo: memFree=1473904/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=127632 CPUtime=1481.95
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 34217 0 0 0 148041 154 0 0 25 0 1 0 541063 130695168 30954 1992294400 4194304 7136930 140737370743056 18446744073709551615 5892296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 31908 30954 387 719 0 31187 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 127632

[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.10 2/107 3160
/proc/meminfo: memFree=1473656/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=127904 CPUtime=1541.93
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 34306 0 0 0 154035 158 0 0 25 0 1 0 541063 130973696 31043 1992294400 4194304 7136930 140737370743056 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 31976 31043 387 719 0 31255 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 127904

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.09 2/107 3162
/proc/meminfo: memFree=1472416/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=129232 CPUtime=1601.91
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 34616 0 0 0 160029 162 0 0 25 0 1 0 541063 132333568 31353 1992294400 4194304 7136930 140737370743056 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 32308 31353 387 719 0 31587 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 129232

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.09 2/107 3164
/proc/meminfo: memFree=1471920/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=131756 CPUtime=1661.89
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 34720 0 0 0 166022 167 0 0 25 0 1 0 541063 134918144 31457 1992294400 4194304 7136930 140737370743056 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 32939 31457 387 719 0 32218 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 131756

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 3166
/proc/meminfo: memFree=1470432/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=133216 CPUtime=1721.88
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 35091 0 0 0 172015 173 0 0 25 0 1 0 541063 136413184 31828 1992294400 4194304 7136930 140737370743056 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 33304 31828 387 719 0 32583 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 133216

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 3168
/proc/meminfo: memFree=1468944/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=134552 CPUtime=1781.87
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 35422 0 0 0 178005 182 0 0 25 0 1 0 541063 137781248 32159 1992294400 4194304 7136930 140737370743056 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 33638 32159 387 719 0 32917 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 134552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 3168
/proc/meminfo: memFree=1468944/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=134552 CPUtime=1800.07
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 35425 0 0 0 179824 183 0 0 25 0 1 0 541063 137781248 32162 1992294400 4194304 7136930 140737370743056 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3098/statm: 33638 32162 387 719 0 32917 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 134552

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 3169
/proc/meminfo: memFree=1480220/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=122592 CPUtime=1800.18
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 35644 0 0 0 179835 183 0 0 25 0 1 0 541063 125534208 29192 1992294400 4194304 7136930 140737370743056 18446744073709551615 4668176 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3098/statm: 30648 29192 392 719 0 29927 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 122592

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 3169
/proc/meminfo: memFree=1480220/2059040 swapFree=4192956/4192956
[pid=3098] ppid=3096 vsize=108016 CPUtime=1800.28
/proc/3098/stat : 3098 (pbscip.linux.x8) R 3096 3098 2309 0 -1 4202496 35644 0 0 0 179844 184 0 0 25 0 1 0 541063 110608384 25548 1992294400 4194304 7136930 140737370743056 18446744073709551615 6166364 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3098/statm: 27004 25548 392 719 0 26283 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 108016

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.34
CPU user time (s): 1798.49
CPU system time (s): 1.85072
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 134552

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

runsolver used 3.02254 second user time and 8.46271 second system time

The end

Launcher Data 

Begin job on node026 at 2010-06-11 17:07:37
IDJOB=2664263
IDBENCH=1155
IDSOLVER=1167
FILE ID=node026/2664263-1276268856
PBS_JOBID= 11172191
Free space on /tmp= 62508 MiB

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

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

MD5SUM BENCH= f17e31cb6762bd0e8d3e659d7bd1050c
RANDOM SEED=580329945

node026.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.201
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.40
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.201
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1598556 kB
Buffers:         37720 kB
Cached:         297412 kB
SwapCached:          0 kB
Active:         150196 kB
Inactive:       244240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1598556 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            5760 kB
Writeback:           0 kB
AnonPages:       59180 kB
Mapped:          15440 kB
Slab:            44400 kB
PageTables:       4092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181280 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= 62504 MiB
End job on node026 at 2010-06-11 17:37:39