Trace number 2664033

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.3 1800.73

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin16.opb
MD5SUMd761333f7ff9a755d3cd90e52b11f227
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables14400
Total number of constraints1088
Number of constraints which are clauses480
Number of constraints which are cardinality constraints (but not clauses)608
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint120
Maximum length of a constraint225
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 227
Number of bits of the biggest sum of numbers8
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-2664033-1276268855.opb>
0.19/0.29	c original problem has 14400 variables (14400 bin, 0 int, 0 impl, 0 cont) and 1088 constraints
0.19/0.29	c problem read
0.19/0.29	c No objective function, only one solution is needed.
0.19/0.29	c presolving settings loaded
0.19/0.29	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.39/0.49	c presolving:
1.19/1.21	c (round 1) 0 del vars, 480 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 128 upgd conss, 0 impls, 480 clqs
1.60/1.68	c (round 2) 0 del vars, 480 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 480 clqs
1.79/1.86	c presolving (3 rounds):
1.79/1.86	c  0 deleted vars, 480 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.79/1.86	c  0 implications, 480 cliques
1.79/1.86	c presolved problem has 14400 variables (14400 bin, 0 int, 0 impl, 0 cont) and 608 constraints
1.79/1.86	c     128 constraints of type <knapsack>
1.79/1.86	c     480 constraints of type <setppc>
1.79/1.86	c transformed objective value is always integral (scale: 1)
1.79/1.86	c Presolving Time: 1.43
1.79/1.86	c - non default parameters ----------------------------------------------------------------------
1.79/1.86	c # SCIP version 1.2.1.2
1.79/1.86	c 
1.79/1.86	c # frequency for displaying node information lines
1.79/1.86	c # [type: int, range: [-1,2147483647], default: 100]
1.79/1.86	c display/freq = 10000
1.79/1.86	c 
1.79/1.86	c # maximal time in seconds to run
1.79/1.86	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.86	c limits/time = 1799.72
1.79/1.86	c 
1.79/1.86	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.79/1.86	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.86	c limits/memory = 1620
1.79/1.86	c 
1.79/1.86	c # solving stops, if the given number of solutions were found (-1: no limit)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.86	c limits/solutions = 1
1.79/1.86	c 
1.79/1.86	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.86	c lp/solvefreq = -1
1.79/1.86	c 
1.79/1.86	c # maximal number of separation rounds per node (-1: unlimited)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: 5]
1.79/1.86	c separating/maxrounds = 1
1.79/1.86	c 
1.79/1.86	c # maximal number of separation rounds in the root node (-1: unlimited)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.86	c separating/maxroundsroot = 5
1.79/1.86	c 
1.79/1.86	c # should presolving try to simplify inequalities
1.79/1.86	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.86	c constraints/linear/simplifyinequalities = TRUE
1.79/1.86	c 
1.79/1.86	c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.79/1.86	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.79/1.86	c constraints/knapsack/disaggregation = FALSE
1.79/1.86	c 
1.79/1.86	c # should presolving try to simplify knapsacks
1.79/1.86	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.86	c constraints/knapsack/simplifyinequalities = TRUE
1.79/1.86	c 
1.79/1.86	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.86	c presolving/probing/maxrounds = 0
1.79/1.86	c 
1.79/1.86	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.86	c heuristics/coefdiving/freq = -1
1.79/1.86	c 
1.79/1.86	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.86	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.86	c heuristics/coefdiving/maxlpiterquot = 0.075
1.79/1.86	c 
1.79/1.86	c # additional number of allowed LP iterations
1.79/1.86	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.86	c heuristics/coefdiving/maxlpiterofs = 1500
1.79/1.86	c 
1.79/1.86	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: 30]
1.79/1.86	c heuristics/crossover/freq = -1
1.79/1.86	c 
1.79/1.86	c # number of nodes added to the contingent of the total nodes
1.79/1.86	c # [type: longint, range: [0,9223372036854775807], default: 500]
1.79/1.86	c heuristics/crossover/nodesofs = 750
1.79/1.86	c 
1.79/1.86	c # number of nodes without incumbent change that heuristic should wait
1.79/1.86	c # [type: longint, range: [0,9223372036854775807], default: 200]
1.79/1.86	c heuristics/crossover/nwaitingnodes = 100
1.79/1.86	c 
1.79/1.86	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.79/1.86	c # [type: real, range: [0,1], default: 0.1]
1.79/1.86	c heuristics/crossover/nodesquot = 0.15
1.79/1.86	c 
1.79/1.86	c # minimum percentage of integer variables that have to be fixed 
1.79/1.86	c # [type: real, range: [0,1], default: 0.666]
1.79/1.86	c heuristics/crossover/minfixingrate = 0.5
1.79/1.86	c 
1.79/1.86	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: 20]
1.79/1.86	c heuristics/feaspump/freq = -1
1.79/1.86	c 
1.79/1.86	c # additional number of allowed LP iterations
1.79/1.86	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.86	c heuristics/feaspump/maxlpiterofs = 2000
1.79/1.86	c 
1.79/1.86	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.86	c heuristics/fracdiving/freq = -1
1.79/1.86	c 
1.79/1.86	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.86	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.86	c heuristics/fracdiving/maxlpiterquot = 0.075
1.79/1.86	c 
1.79/1.86	c # additional number of allowed LP iterations
1.79/1.86	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.86	c heuristics/fracdiving/maxlpiterofs = 1500
1.79/1.86	c 
1.79/1.86	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.86	c heuristics/guideddiving/freq = -1
1.79/1.86	c 
1.79/1.86	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.86	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.86	c heuristics/guideddiving/maxlpiterquot = 0.075
1.79/1.86	c 
1.79/1.86	c # additional number of allowed LP iterations
1.79/1.86	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.86	c heuristics/guideddiving/maxlpiterofs = 1500
1.79/1.86	c 
1.79/1.86	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.86	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.86	c heuristics/intdiving/maxlpiterquot = 0.075
1.79/1.86	c 
1.79/1.86	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.86	c heuristics/intshifting/freq = -1
1.79/1.86	c 
1.79/1.86	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.86	c heuristics/linesearchdiving/freq = -1
1.79/1.86	c 
1.79/1.86	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.86	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.86	c heuristics/linesearchdiving/maxlpiterquot = 0.075
1.79/1.86	c 
1.79/1.86	c # additional number of allowed LP iterations
1.79/1.86	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.86	c heuristics/linesearchdiving/maxlpiterofs = 1500
1.79/1.86	c 
1.79/1.86	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.86	c heuristics/nlp/freq = -1
1.79/1.86	c 
1.79/1.86	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: 20]
1.79/1.86	c heuristics/objpscostdiving/freq = -1
1.79/1.86	c 
1.79/1.86	c # maximal fraction of diving LP iterations compared to total iteration number
1.79/1.86	c # [type: real, range: [0,1], default: 0.01]
1.79/1.86	c heuristics/objpscostdiving/maxlpiterquot = 0.015
1.79/1.86	c 
1.79/1.86	c # additional number of allowed LP iterations
1.79/1.86	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.86	c heuristics/objpscostdiving/maxlpiterofs = 1500
1.79/1.86	c 
1.79/1.86	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.86	c heuristics/oneopt/freq = -1
1.79/1.86	c 
1.79/1.86	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.86	c heuristics/pscostdiving/freq = -1
1.79/1.86	c 
1.79/1.86	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.86	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.86	c heuristics/pscostdiving/maxlpiterquot = 0.075
1.79/1.86	c 
1.79/1.86	c # additional number of allowed LP iterations
1.79/1.86	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.86	c heuristics/pscostdiving/maxlpiterofs = 1500
1.79/1.86	c 
1.79/1.86	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.86	c heuristics/rens/freq = -1
1.79/1.86	c 
1.79/1.86	c # minimum percentage of integer variables that have to be fixable 
1.79/1.86	c # [type: real, range: [0,1], default: 0.5]
1.79/1.86	c heuristics/rens/minfixingrate = 0.3
1.79/1.86	c 
1.79/1.86	c # number of nodes added to the contingent of the total nodes
1.79/1.86	c # [type: longint, range: [0,9223372036854775807], default: 500]
1.79/1.86	c heuristics/rens/nodesofs = 2000
1.79/1.86	c 
1.79/1.86	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: 20]
1.79/1.86	c heuristics/rootsoldiving/freq = -1
1.79/1.86	c 
1.79/1.86	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.86	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.79/1.86	c heuristics/rootsoldiving/maxlpiterquot = 0.015
1.79/1.86	c 
1.79/1.86	c # additional number of allowed LP iterations
1.79/1.86	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.86	c heuristics/rootsoldiving/maxlpiterofs = 1500
1.79/1.86	c 
1.79/1.86	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.86	c heuristics/rounding/freq = -1
1.79/1.86	c 
1.79/1.86	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.86	c heuristics/shifting/freq = -1
1.79/1.86	c 
1.79/1.86	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.86	c heuristics/simplerounding/freq = -1
1.79/1.86	c 
1.79/1.86	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.86	c heuristics/trivial/freq = -1
1.79/1.86	c 
1.79/1.86	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.86	c heuristics/trysol/freq = -1
1.79/1.86	c 
1.79/1.86	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.86	c heuristics/veclendiving/freq = -1
1.79/1.86	c 
1.79/1.86	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.86	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.86	c heuristics/veclendiving/maxlpiterquot = 0.075
1.79/1.86	c 
1.79/1.86	c # additional number of allowed LP iterations
1.79/1.86	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.86	c heuristics/veclendiving/maxlpiterofs = 1500
1.79/1.86	c 
1.79/1.86	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
1.79/1.86	c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.86	c heuristics/zirounding/freq = -1
1.79/1.86	c 
1.79/1.86	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.79/1.87	c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.87	c separating/cmir/freq = -1
1.79/1.87	c 
1.79/1.87	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.79/1.87	c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.87	c separating/flowcover/freq = -1
1.79/1.87	c 
1.79/1.87	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.79/1.87	c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.87	c separating/rapidlearning/freq = 0
1.79/1.87	c 
1.79/1.87	c -----------------------------------------------------------------------------------------------
1.79/1.87	c start solving
1.79/1.88	c 
1.79/1.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.79/1.89	c   1.6s|     1 |     2 |     0 |     - |  43M|   0 |   - |  14k| 608 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
132.97/133.09	c   132s| 10000 |  8248 |     0 |   0.0 |  49M|4361 |   - |  14k| 633 |   0 |   0 |   0 |  25 |   0 | 0.000000e+00 |      --      |    Inf 
277.74/277.83	c   277s| 20000 | 18226 |     0 |   0.0 |  52M|6525 |   - |  14k| 676 |   0 |   0 |   0 |  68 |   0 | 0.000000e+00 |      --      |    Inf 
419.61/419.78	c   419s| 30000 | 28220 |     0 |   0.0 |  56M|6525 |   - |  14k| 686 |   0 |   0 |   0 |  78 |   0 | 0.000000e+00 |      --      |    Inf 
556.49/556.67	c   555s| 40000 | 38194 |     0 |   0.0 |  60M|6525 |   - |  14k| 773 |   0 |   0 |   0 | 165 |   0 | 0.000000e+00 |      --      |    Inf 
724.21/724.48	c   723s| 50000 | 48176 |     0 |   0.0 |  64M|6525 |   - |  14k| 825 |   0 |   0 |   0 | 218 |   0 | 0.000000e+00 |      --      |    Inf 
890.69/891.00	c   889s| 60000 | 58158 |     0 |   0.0 |  68M|6525 |   - |  14k| 883 |   0 |   0 |   0 | 277 |   0 | 0.000000e+00 |      --      |    Inf 
1054.24/1054.56	c  1052s| 70000 | 68141 |     0 |   0.0 |  71M|6525 |   - |  14k| 933 |   0 |   0 |   0 | 333 |   0 | 0.000000e+00 |      --      |    Inf 
1222.20/1222.55	c  1220s| 80000 | 78124 |     0 |   0.0 |  75M|6525 |   - |  14k| 971 |   0 |   0 |   0 | 379 |   0 | 0.000000e+00 |      --      |    Inf 
1392.96/1393.36	c  1391s| 90000 | 88101 |     0 |   0.0 |  78M|6525 |   - |  14k|1014 |   0 |   0 |   0 | 435 |   0 | 0.000000e+00 |      --      |    Inf 
1534.82/1535.24	c  1532s|100000 | 98094 |     0 |   0.0 |  82M|6525 |   - |  14k|1040 |   0 |   0 |   0 | 469 |   0 | 0.000000e+00 |      --      |    Inf 
1702.79/1703.28	c  1700s|110000 |108070 |     0 |   0.0 |  86M|6525 |   - |  14k|1085 |   0 |   0 |   0 | 531 |   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.10
1800.07/1800.51	c Solving Nodes      : 115657
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.10
1800.07/1800.51	c Original Problem   :
1800.07/1800.51	c   Problem name     : HOME/instance-2664033-1276268855.opb
1800.07/1800.51	c   Variables        : 14400 (14400 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.51	c   Constraints      : 1088 initial, 1088 maximal
1800.07/1800.51	c Presolved Problem  :
1800.07/1800.51	c   Problem name     : t_HOME/instance-2664033-1276268855.opb
1800.07/1800.51	c   Variables        : 14400 (14400 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.51	c   Constraints      : 608 initial, 1089 maximal
1800.07/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.51	c   trivial          :       0.02          0          0          0          0          0          0          0          0
1800.07/1800.51	c   dualfix          :       0.01          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.01          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.35          0          0          0          0          0          0          0          0
1800.07/1800.51	c   setppc           :       0.15          0          0          0          0          0          0          0          0
1800.07/1800.51	c   linear           :       0.72          0          0          0          0          0        480          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         :        128          0     121885          0     115580          2      35744          0          0          0
1800.07/1800.51	c   setppc           :        480          0     121883          0     115580        119     198960          0          0          0
1800.07/1800.51	c   logicor          :          0+         0       1741          0          0          1         87          0          0          0
1800.07/1800.51	c   countsols        :          0          0          0          0     115580          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         :     436.49       0.00       3.19       0.00     433.30
1800.07/1800.51	c   setppc           :     598.15       0.00       6.24       0.00     591.91
1800.07/1800.51	c   logicor          :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.51	c   countsols        :       0.11       0.00       0.00       0.00       0.11
1800.07/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.51	c   vbounds          :       0.13          1          0          0
1800.07/1800.51	c   rootredcost      :       0.13          0          0          0
1800.07/1800.51	c   pseudoobj        :       0.12          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.20        122        122        739      240.2         19      202.5          -
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 :          -          -          -        550      186.0          -          -          -
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.51	c   cgmip            :       0.00          0          0          0          0          0
1800.07/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.07/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.07/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.07/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.07/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.07/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.07/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.07/1800.51	c Pricers            :       Time      Calls       Vars
1800.07/1800.51	c   problem variables:       0.00          0          0
1800.07/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.07/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.51	c   inference        :     751.56     115580          0          0          0          0     231160
1800.07/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.51	c   LP solutions     :       0.00          -          0
1800.07/1800.51	c   pseudo solutions :       0.00          -          0
1800.07/1800.51	c   trivial          :       0.02          1          0
1800.07/1800.51	c   simplerounding   :       0.00          0          0
1800.07/1800.51	c   zirounding       :       0.00          0          0
1800.07/1800.51	c   rounding         :       0.00          0          0
1800.07/1800.51	c   shifting         :       0.00          0          0
1800.07/1800.51	c   intshifting      :       0.00          0          0
1800.07/1800.51	c   oneopt           :       0.00          0          0
1800.07/1800.51	c   twoopt           :       0.00          0          0
1800.07/1800.51	c   fixandinfer      :       0.00          0          0
1800.07/1800.51	c   feaspump         :       0.00          0          0
1800.07/1800.51	c   coefdiving       :       0.00          0          0
1800.07/1800.51	c   pscostdiving     :       0.00          0          0
1800.07/1800.51	c   fracdiving       :       0.00          0          0
1800.07/1800.51	c   veclendiving     :       0.00          0          0
1800.07/1800.51	c   intdiving        :       0.00          0          0
1800.07/1800.51	c   actconsdiving    :       0.00          0          0
1800.07/1800.51	c   objpscostdiving  :       0.00          0          0
1800.07/1800.51	c   rootsoldiving    :       0.00          0          0
1800.07/1800.51	c   linesearchdiving :       0.00          0          0
1800.07/1800.51	c   guideddiving     :       0.00          0          0
1800.07/1800.51	c   octane           :       0.00          0          0
1800.07/1800.51	c   rens             :       0.00          0          0
1800.07/1800.51	c   rins             :       0.00          0          0
1800.07/1800.51	c   localbranching   :       0.00          0          0
1800.07/1800.51	c   mutation         :       0.00          0          0
1800.07/1800.51	c   crossover        :       0.00          0          0
1800.07/1800.51	c   dins             :       0.00          0          0
1800.07/1800.51	c   undercover       :       0.00          0          0
1800.07/1800.51	c   nlp              :       0.00          0          0
1800.07/1800.51	c   trysol           :       0.00          0          0
1800.07/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.07/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.07/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.07/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.07/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.07/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.07/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.51	c B&B Tree           :
1800.07/1800.51	c   number of runs   :          1
1800.07/1800.51	c   nodes            :     115657
1800.07/1800.51	c   nodes (total)    :     115657
1800.07/1800.51	c   nodes left       :     113718
1800.07/1800.51	c   max depth        :       6525
1800.07/1800.51	c   max depth (total):       6525
1800.07/1800.51	c   backtracks       :         66 (0.1%)
1800.07/1800.51	c   delayed cutoffs  :       1786
1800.07/1800.51	c   repropagations   :       4211 (19477 domain reductions, 45 cutoffs)
1800.07/1800.51	c   avg switch length:       2.30
1800.07/1800.51	c   switching time   :       3.05
1800.07/1800.51	c Solution           :
1800.07/1800.51	c   Solutions found  :          0 (0 improvements)
1800.07/1800.51	c   Primal Bound     :          -
1800.07/1800.51	c   Dual Bound       : +0.00000000000000e+00
1800.07/1800.51	c   Gap              :   infinite
1800.07/1800.51	c   Root Dual Bound  : +0.00000000000000e+00
1800.07/1800.51	c   Root Iterations  :          0
1800.27/1800.73	c Time complete: 1800.29.

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-2664033-1276268855/watcher-2664033-1276268855 -o /tmp/evaluation-result-2664033-1276268855/solver-2664033-1276268855 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664033-1276268855.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.85 0.97 0.99 3/106 3802
/proc/meminfo: memFree=1825272/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=6584 CPUtime=0
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 1048 0 0 0 0 0 0 0 18 0 1 0 2489496 6742016 970 1992294400 4194304 7136930 140735595739632 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3802/statm: 1646 979 254 719 0 925 0

[startup+0.0403181 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 3802
/proc/meminfo: memFree=1825272/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=12968 CPUtime=0.03
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 2713 0 0 0 2 1 0 0 18 0 1 0 2489496 13279232 2635 1992294400 4194304 7136930 140735595739632 18446744073709551615 6176927 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3802/statm: 3242 2635 268 719 0 2521 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12968

[startup+0.101321 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 3802
/proc/meminfo: memFree=1825272/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=19124 CPUtime=0.09
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 4274 0 0 0 8 1 0 0 21 0 1 0 2489496 19582976 4196 1992294400 4194304 7136930 140735595739632 18446744073709551615 6166620 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3802/statm: 4781 4196 268 719 0 4060 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19124

[startup+0.301331 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 3802
/proc/meminfo: memFree=1825272/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=25048 CPUtime=0.29
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 6077 0 0 0 27 2 0 0 21 0 1 0 2489496 25649152 5645 1992294400 4194304 7136930 140735595739632 18446744073709551615 4240573 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 6262 5646 280 719 0 5541 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25048

[startup+0.701354 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 3802
/proc/meminfo: memFree=1825272/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=52964 CPUtime=0.69
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 13134 0 0 0 64 5 0 0 22 0 1 0 2489496 54235136 12445 1992294400 4194304 7136930 140735595739632 18446744073709551615 4639665 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 13241 12445 339 719 0 12520 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52964

[startup+1.5014 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 3803
/proc/meminfo: memFree=1776160/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=64620 CPUtime=1.49
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 16279 0 0 0 143 6 0 0 25 0 1 0 2489496 66170880 15296 1992294400 4194304 7136930 140735595739632 18446744073709551615 4891415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 16155 15296 401 719 0 15434 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64620

[startup+3.10048 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 3803
/proc/meminfo: memFree=1764504/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=65484 CPUtime=3.09
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 18188 0 0 0 302 7 0 0 25 0 1 0 2489496 67055616 15540 1992294400 4194304 7136930 140735595739632 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 16371 15540 408 719 0 15650 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65484

[startup+6.30064 s]
/proc/loadavg: 0.86 0.97 0.99 2/107 3803
/proc/meminfo: memFree=1764388/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=65744 CPUtime=6.29
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 18255 0 0 0 621 8 0 0 25 0 1 0 2489496 67321856 15607 1992294400 4194304 7136930 140735595739632 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 16436 15607 409 719 0 15715 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 65744

[startup+12.7009 s]
/proc/loadavg: 0.87 0.97 0.99 3/107 3803
/proc/meminfo: memFree=1764016/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=66260 CPUtime=12.69
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 18408 0 0 0 1259 10 0 0 25 0 1 0 2489496 67850240 15760 1992294400 4194304 7136930 140735595739632 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 16565 15760 409 719 0 15844 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66260

[startup+25.5013 s]
/proc/loadavg: 0.90 0.97 0.99 2/107 3803
/proc/meminfo: memFree=1762280/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=67704 CPUtime=25.48
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 18735 0 0 0 2537 11 0 0 25 0 1 0 2489496 69328896 16087 1992294400 4194304 7136930 140735595739632 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 16926 16087 409 719 0 16205 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 67704

[startup+51.1017 s]
/proc/loadavg: 0.93 0.97 0.99 2/107 3803
/proc/meminfo: memFree=1760296/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=69504 CPUtime=51.09
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 19236 0 0 0 5093 16 0 0 25 0 1 0 2489496 71172096 16588 1992294400 4194304 7136930 140735595739632 18446744073709551615 4697665 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 17376 16588 415 719 0 16655 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 69504

[startup+102.308 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 3812
/proc/meminfo: memFree=1758500/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=70892 CPUtime=102.28
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 19581 0 0 0 10202 26 0 0 25 0 1 0 2489496 72593408 16933 1992294400 4194304 7136930 140735595739632 18446744073709551615 4642170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 17723 16933 415 719 0 17002 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 70892

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 3814
/proc/meminfo: memFree=1757012/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=72308 CPUtime=162.26
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 19945 0 0 0 16191 35 0 0 25 0 1 0 2489496 74043392 17297 1992294400 4194304 7136930 140735595739632 18446744073709551615 4858864 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 18077 17297 415 719 0 17356 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 72308

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 3816
/proc/meminfo: memFree=1755772/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=73644 CPUtime=222.25
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 20290 0 0 0 22181 44 0 0 25 0 1 0 2489496 75411456 17642 1992294400 4194304 7136930 140735595739632 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 18411 17642 415 719 0 17690 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 73644

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 3816
/proc/meminfo: memFree=1754284/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=75092 CPUtime=282.24
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 20677 0 0 0 28171 53 0 0 25 0 1 0 2489496 76894208 18029 1992294400 4194304 7136930 140735595739632 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 18773 18029 415 719 0 18052 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 75092

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 3818
/proc/meminfo: memFree=1752680/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=76672 CPUtime=342.23
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 21067 0 0 0 34160 63 0 0 25 0 1 0 2489496 78512128 18419 1992294400 4194304 7136930 140735595739632 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 19168 18419 415 719 0 18447 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 76672

[startup+402.302 s]
/proc/loadavg: 1.04 0.99 0.99 2/107 3823
/proc/meminfo: memFree=1750452/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=78276 CPUtime=402.22
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 21479 0 0 0 40147 75 0 0 25 0 1 0 2489496 80154624 18831 1992294400 4194304 7136930 140735595739632 18446744073709551615 5121874 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 19569 18831 415 719 0 18848 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 78276

[startup+462.301 s]
/proc/loadavg: 1.01 0.99 0.99 2/107 3825
/proc/meminfo: memFree=1748344/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=80360 CPUtime=462.21
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 22019 0 0 0 46134 87 0 0 25 0 1 0 2489496 82288640 19371 1992294400 4194304 7136930 140735595739632 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 20090 19371 415 719 0 19369 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 80360

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 3827
/proc/meminfo: memFree=1746732/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=82288 CPUtime=522.19
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 22463 0 0 0 52123 96 0 0 25 0 1 0 2489496 84262912 19815 1992294400 4194304 7136930 140735595739632 18446744073709551615 4407795 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 20572 19815 415 719 0 19851 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 82288

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 3827
/proc/meminfo: memFree=1745368/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=83536 CPUtime=582.18
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 22783 0 0 0 58113 105 0 0 25 0 1 0 2489496 85540864 20135 1992294400 4194304 7136930 140735595739632 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 20884 20135 415 719 0 20163 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 83536

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 3836
/proc/meminfo: memFree=1743384/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=85160 CPUtime=642.15
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 23176 0 0 0 64103 112 0 0 25 0 1 0 2489496 87203840 20528 1992294400 4194304 7136930 140735595739632 18446744073709551615 4858870 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 21290 20528 415 719 0 20569 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 85160

[startup+702.302 s]

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

[startup+942.302 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 3851
/proc/meminfo: memFree=1735324/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=93484 CPUtime=942.07
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 25198 0 0 0 94054 153 0 0 25 0 1 0 2489496 95727616 22550 1992294400 4194304 7136930 140735595739632 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 23371 22550 415 719 0 22650 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 93484

[startup+1002.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 3853
/proc/meminfo: memFree=1733844/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=95168 CPUtime=1002.06
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 25599 0 0 0 100043 163 0 0 25 0 1 0 2489496 97452032 22951 1992294400 4194304 7136930 140735595739632 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 23792 22951 415 719 0 23071 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 95168

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 3855
/proc/meminfo: memFree=1732480/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=98696 CPUtime=1062.04
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 25954 0 0 0 106031 173 0 0 25 0 1 0 2489496 101064704 23306 1992294400 4194304 7136930 140735595739632 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 24674 23306 415 719 0 23953 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 98696

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 3857
/proc/meminfo: memFree=1731364/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=99784 CPUtime=1122.03
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 26234 0 0 0 112022 181 0 0 25 0 1 0 2489496 102178816 23586 1992294400 4194304 7136930 140735595739632 18446744073709551615 4407969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 24946 23586 415 719 0 24225 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 99784

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3857
/proc/meminfo: memFree=1729876/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=101244 CPUtime=1182.01
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 26601 0 0 0 118013 188 0 0 25 0 1 0 2489496 103673856 23953 1992294400 4194304 7136930 140735595739632 18446744073709551615 4414505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 25311 23953 415 719 0 24590 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 101244

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3859
/proc/meminfo: memFree=1728512/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=102576 CPUtime=1241.99
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 26937 0 0 0 124004 195 0 0 25 0 1 0 2489496 105037824 24289 1992294400 4194304 7136930 140735595739632 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 25644 24289 415 719 0 24923 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 102576

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3861
/proc/meminfo: memFree=1727272/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=103776 CPUtime=1301.98
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 27227 0 0 0 129994 204 0 0 25 0 1 0 2489496 106266624 24579 1992294400 4194304 7136930 140735595739632 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 25944 24579 415 719 0 25223 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 103776

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3863
/proc/meminfo: memFree=1725784/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=105244 CPUtime=1361.96
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 27609 0 0 0 135984 212 0 0 25 0 1 0 2489496 107769856 24961 1992294400 4194304 7136930 140735595739632 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 26311 24961 415 719 0 25590 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 105244

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3865
/proc/meminfo: memFree=1724420/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=106756 CPUtime=1421.96
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 27970 0 0 0 141977 219 0 0 25 0 1 0 2489496 109318144 25322 1992294400 4194304 7136930 140735595739632 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 26689 25322 415 719 0 25968 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 106756

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3865
/proc/meminfo: memFree=1722808/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=108224 CPUtime=1481.94
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 28351 0 0 0 147965 229 0 0 25 0 1 0 2489496 110821376 25703 1992294400 4194304 7136930 140735595739632 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 27056 25703 415 719 0 26335 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 108224

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3867
/proc/meminfo: memFree=1721072/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=110160 CPUtime=1541.93
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 28805 0 0 0 153955 238 0 0 25 0 1 0 2489496 112803840 26157 1992294400 4194304 7136930 140735595739632 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 27540 26157 415 719 0 26819 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 110160

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3869
/proc/meminfo: memFree=1719584/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=111524 CPUtime=1601.9
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 29138 0 0 0 159945 245 0 0 25 0 1 0 2489496 114200576 26490 1992294400 4194304 7136930 140735595739632 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 27881 26490 415 719 0 27160 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 111524

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3871
/proc/meminfo: memFree=1717972/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=113420 CPUtime=1661.89
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 29561 0 0 0 165935 254 0 0 25 0 1 0 2489496 116142080 26913 1992294400 4194304 7136930 140735595739632 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 28355 26913 415 719 0 27634 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 113420

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3873
/proc/meminfo: memFree=1716732/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=114544 CPUtime=1721.88
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 29823 0 0 0 171927 261 0 0 25 0 1 0 2489496 117293056 27175 1992294400 4194304 7136930 140735595739632 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 28636 27175 415 719 0 27915 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 114544

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3873
/proc/meminfo: memFree=1715244/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=115728 CPUtime=1781.86
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 30140 0 0 0 177919 267 0 0 25 0 1 0 2489496 118505472 27492 1992294400 4194304 7136930 140735595739632 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 28932 27492 415 719 0 28211 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 115728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3875
/proc/meminfo: memFree=1714624/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=116412 CPUtime=1800.07
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 30300 0 0 0 179737 270 0 0 25 0 1 0 2489496 119205888 27652 1992294400 4194304 7136930 140735595739632 18446744073709551615 4407795 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3802/statm: 29103 27652 415 719 0 28382 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 116412

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.00 2/108 3876
/proc/meminfo: memFree=1716228/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=113156 CPUtime=1800.17
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 30396 0 0 0 179747 270 0 0 25 0 1 0 2489496 115871744 26845 1992294400 4194304 7136930 140735595739632 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3802/statm: 28289 26845 420 719 0 27568 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 113156

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3876
/proc/meminfo: memFree=1716228/2059040 swapFree=4192072/4192956
[pid=3802] ppid=3800 vsize=57252 CPUtime=1800.27
/proc/3802/stat : 3802 (pbscip.linux.x8) R 3800 3802 3364 0 -1 4202496 30396 0 0 0 179756 271 0 0 25 0 1 0 2489496 58626048 13199 1992294400 4194304 7136930 140735595739632 18446744073709551615 6325309 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3802/statm: 14313 13199 420 719 0 13592 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 57252

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.3
CPU user time (s): 1797.58
CPU system time (s): 2.72059
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 116412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.58
system time used= 2.72059
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30405
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= 6
involuntary context switches= 18122

runsolver used 2.91556 second user time and 8.5747 second system time

The end

Launcher Data 

Begin job on node003 at 2010-06-11 17:07:36
IDJOB=2664033
IDBENCH=1153
IDSOLVER=1167
FILE ID=node003/2664033-1276268855
PBS_JOBID= 11172207
Free space on /tmp= 62552 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-robin16.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-2664033-1276268855/watcher-2664033-1276268855 -o /tmp/evaluation-result-2664033-1276268855/solver-2664033-1276268855 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664033-1276268855.opb -t 1800 -m 1800

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

MD5SUM BENCH= d761333f7ff9a755d3cd90e52b11f227
RANDOM SEED=2056878793

node003.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.251
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.50
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.251
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1825924 kB
Buffers:         11644 kB
Cached:          97496 kB
SwapCached:          0 kB
Active:          78216 kB
Inactive:        89412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1825924 kB
SwapTotal:     4192956 kB
SwapFree:      4192072 kB
Dirty:            4868 kB
Writeback:           0 kB
AnonPages:       58480 kB
Mapped:          15380 kB
Slab:            43720 kB
PageTables:       3984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180856 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62548 MiB
End job on node003 at 2010-06-11 17:37:38