Trace number 2665998

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverUNSAT 316.9 317.009

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb
MD5SUMec41e051a85a6b1d97ef15d7e169228d
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.563914
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables3249
Total number of constraints8983
Number of constraints which are clauses8599
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints384
Minimum length of a constraint1
Maximum length of a constraint11
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 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
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: Clp 1.11.1] [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-2665998-1276337714.opb>
0.09/0.17	c original problem has 3249 variables (3249 bin, 0 int, 0 impl, 0 cont) and 8983 constraints
0.09/0.17	c problem read
0.09/0.17	c No objective function, only one solution is needed.
0.09/0.17	c presolving settings loaded
0.19/0.22	c presolving:
0.29/0.38	c (round 1) 253 del vars, 139 del conss, 48 chg bounds, 192 chg sides, 402 chg coeffs, 0 upgd conss, 156722 impls, 0 clqs
0.39/0.40	c (round 2) 255 del vars, 559 del conss, 50 chg bounds, 192 chg sides, 402 chg coeffs, 0 upgd conss, 156722 impls, 0 clqs
0.39/0.41	c (round 3) 257 del vars, 564 del conss, 52 chg bounds, 192 chg sides, 402 chg coeffs, 0 upgd conss, 156872 impls, 0 clqs
0.39/0.42	c (round 4) 259 del vars, 569 del conss, 55 chg bounds, 192 chg sides, 402 chg coeffs, 0 upgd conss, 156911 impls, 0 clqs
0.39/0.43	c (round 5) 261 del vars, 576 del conss, 56 chg bounds, 192 chg sides, 402 chg coeffs, 0 upgd conss, 156986 impls, 0 clqs
0.39/0.44	c (round 6) 263 del vars, 581 del conss, 56 chg bounds, 192 chg sides, 402 chg coeffs, 0 upgd conss, 157052 impls, 0 clqs
0.39/0.45	c (round 7) 263 del vars, 583 del conss, 56 chg bounds, 192 chg sides, 402 chg coeffs, 0 upgd conss, 157052 impls, 0 clqs
0.49/0.56	c (round 8) 263 del vars, 583 del conss, 56 chg bounds, 192 chg sides, 402 chg coeffs, 8400 upgd conss, 157052 impls, 0 clqs
0.49/0.59	c presolving (9 rounds):
0.49/0.59	c  263 deleted vars, 583 deleted constraints, 56 tightened bounds, 0 added holes, 192 changed sides, 402 changed coefficients
0.49/0.59	c  157052 implications, 0 cliques
0.49/0.59	c presolved problem has 2986 variables (2986 bin, 0 int, 0 impl, 0 cont) and 8400 constraints
0.49/0.59	c     384 constraints of type <knapsack>
0.49/0.59	c    8016 constraints of type <logicor>
0.49/0.59	c transformed objective value is always integral (scale: 1)
0.49/0.59	c Presolving Time: 0.33
0.49/0.59	c - non default parameters ----------------------------------------------------------------------
0.49/0.59	c # SCIP version 1.2.1.2
0.49/0.59	c 
0.49/0.59	c # frequency for displaying node information lines
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.59	c display/freq = 10000
0.49/0.59	c 
0.49/0.59	c # maximal time in seconds to run
0.49/0.59	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.59	c limits/time = 1799.84
0.49/0.59	c 
0.49/0.59	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.59	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.59	c limits/memory = 1620
0.49/0.59	c 
0.49/0.59	c # solving stops, if the given number of solutions were found (-1: no limit)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.59	c limits/solutions = 1
0.49/0.59	c 
0.49/0.59	c # maximal number of separation rounds per node (-1: unlimited)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 5]
0.49/0.59	c separating/maxrounds = 1
0.49/0.59	c 
0.49/0.59	c # maximal number of separation rounds in the root node (-1: unlimited)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.59	c separating/maxroundsroot = 5
0.49/0.59	c 
0.49/0.59	c # should presolving try to simplify inequalities
0.49/0.59	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.59	c constraints/linear/simplifyinequalities = TRUE
0.49/0.59	c 
0.49/0.59	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.49/0.59	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.49/0.59	c constraints/knapsack/disaggregation = FALSE
0.49/0.59	c 
0.49/0.59	c # should presolving try to simplify knapsacks
0.49/0.59	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.59	c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.59	c 
0.49/0.59	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.59	c presolving/probing/maxrounds = 0
0.49/0.59	c 
0.49/0.59	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.59	c heuristics/coefdiving/freq = -1
0.49/0.59	c 
0.49/0.59	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.59	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.59	c heuristics/coefdiving/maxlpiterquot = 0.075
0.49/0.59	c 
0.49/0.59	c # additional number of allowed LP iterations
0.49/0.59	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.59	c heuristics/coefdiving/maxlpiterofs = 1500
0.49/0.59	c 
0.49/0.59	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 30]
0.49/0.59	c heuristics/crossover/freq = -1
0.49/0.59	c 
0.49/0.59	c # number of nodes added to the contingent of the total nodes
0.49/0.59	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.59	c heuristics/crossover/nodesofs = 750
0.49/0.59	c 
0.49/0.59	c # number of nodes without incumbent change that heuristic should wait
0.49/0.59	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.49/0.59	c heuristics/crossover/nwaitingnodes = 100
0.49/0.59	c 
0.49/0.59	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.49/0.59	c # [type: real, range: [0,1], default: 0.1]
0.49/0.59	c heuristics/crossover/nodesquot = 0.15
0.49/0.59	c 
0.49/0.59	c # minimum percentage of integer variables that have to be fixed 
0.49/0.59	c # [type: real, range: [0,1], default: 0.666]
0.49/0.59	c heuristics/crossover/minfixingrate = 0.5
0.49/0.59	c 
0.49/0.59	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.59	c heuristics/feaspump/freq = -1
0.49/0.59	c 
0.49/0.59	c # additional number of allowed LP iterations
0.49/0.59	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.59	c heuristics/feaspump/maxlpiterofs = 2000
0.49/0.59	c 
0.49/0.59	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.59	c heuristics/fracdiving/freq = -1
0.49/0.59	c 
0.49/0.59	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.59	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.59	c heuristics/fracdiving/maxlpiterquot = 0.075
0.49/0.59	c 
0.49/0.59	c # additional number of allowed LP iterations
0.49/0.59	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.59	c heuristics/fracdiving/maxlpiterofs = 1500
0.49/0.59	c 
0.49/0.59	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.59	c heuristics/guideddiving/freq = -1
0.49/0.59	c 
0.49/0.59	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.59	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.59	c heuristics/guideddiving/maxlpiterquot = 0.075
0.49/0.59	c 
0.49/0.59	c # additional number of allowed LP iterations
0.49/0.59	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.59	c heuristics/guideddiving/maxlpiterofs = 1500
0.49/0.59	c 
0.49/0.59	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.59	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.59	c heuristics/intdiving/maxlpiterquot = 0.075
0.49/0.59	c 
0.49/0.59	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.59	c heuristics/intshifting/freq = -1
0.49/0.59	c 
0.49/0.59	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.59	c heuristics/linesearchdiving/freq = -1
0.49/0.59	c 
0.49/0.59	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.59	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.59	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.49/0.59	c 
0.49/0.59	c # additional number of allowed LP iterations
0.49/0.59	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.59	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.49/0.59	c 
0.49/0.59	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.59	c heuristics/nlp/freq = -1
0.49/0.59	c 
0.49/0.59	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.59	c heuristics/objpscostdiving/freq = -1
0.49/0.59	c 
0.49/0.59	c # maximal fraction of diving LP iterations compared to total iteration number
0.49/0.59	c # [type: real, range: [0,1], default: 0.01]
0.49/0.59	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.49/0.59	c 
0.49/0.59	c # additional number of allowed LP iterations
0.49/0.59	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.59	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.49/0.59	c 
0.49/0.59	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.59	c heuristics/oneopt/freq = -1
0.49/0.59	c 
0.49/0.59	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.59	c heuristics/pscostdiving/freq = -1
0.49/0.59	c 
0.49/0.59	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.59	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.59	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.49/0.59	c 
0.49/0.59	c # additional number of allowed LP iterations
0.49/0.59	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.59	c heuristics/pscostdiving/maxlpiterofs = 1500
0.49/0.59	c 
0.49/0.59	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.59	c heuristics/rens/freq = -1
0.49/0.59	c 
0.49/0.59	c # minimum percentage of integer variables that have to be fixable 
0.49/0.59	c # [type: real, range: [0,1], default: 0.5]
0.49/0.59	c heuristics/rens/minfixingrate = 0.3
0.49/0.59	c 
0.49/0.59	c # number of nodes added to the contingent of the total nodes
0.49/0.59	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.59	c heuristics/rens/nodesofs = 2000
0.49/0.59	c 
0.49/0.59	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.59	c heuristics/rootsoldiving/freq = -1
0.49/0.59	c 
0.49/0.59	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.59	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.49/0.59	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.49/0.59	c 
0.49/0.59	c # additional number of allowed LP iterations
0.49/0.59	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.59	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.49/0.59	c 
0.49/0.59	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.59	c heuristics/rounding/freq = -1
0.49/0.59	c 
0.49/0.59	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.59	c heuristics/shifting/freq = -1
0.49/0.59	c 
0.49/0.59	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.59	c heuristics/simplerounding/freq = -1
0.49/0.59	c 
0.49/0.59	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.59	c heuristics/trivial/freq = -1
0.49/0.59	c 
0.49/0.59	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.59	c heuristics/trysol/freq = -1
0.49/0.59	c 
0.49/0.59	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.59	c heuristics/veclendiving/freq = -1
0.49/0.59	c 
0.49/0.59	c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.59	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.59	c heuristics/veclendiving/maxlpiterquot = 0.075
0.49/0.59	c 
0.49/0.59	c # additional number of allowed LP iterations
0.49/0.59	c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.59	c heuristics/veclendiving/maxlpiterofs = 1500
0.49/0.59	c 
0.49/0.59	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.59	c heuristics/zirounding/freq = -1
0.49/0.59	c 
0.49/0.59	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.59	c separating/cmir/freq = -1
0.49/0.59	c 
0.49/0.59	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.59	c separating/flowcover/freq = -1
0.49/0.59	c 
0.49/0.59	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.59	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.59	c separating/rapidlearning/freq = 0
0.49/0.59	c 
0.49/0.59	c -----------------------------------------------------------------------------------------------
0.49/0.59	c start solving
0.49/0.59	c 
0.69/0.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.69/0.70	c   0.4s|     1 |     0 |   581 |     - |  21M|   0 | 481 |2986 |8400 |2986 |8400 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.59/1.60	c   1.2s|     1 |     0 |  1148 |     - |  21M|   0 | 813 |2986 |8400 |2986 |8466 |  66 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.09/2.18	c   1.8s|     1 |     0 |  1927 |     - |  21M|   0 |1224 |2986 |8400 |2986 |8520 | 120 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.39/5.50	c   5.1s|     1 |     0 |  3827 |     - |  22M|   0 |1557 |2986 |8400 |2986 |8620 | 220 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.49/9.55	c   9.1s|     1 |     0 |  5165 |     - |  22M|   0 |1676 |2986 |8400 |2986 |8689 | 289 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
15.78/15.82	c  15.4s|     1 |     0 |  6509 |     - |  22M|   0 |1738 |2986 |8400 |2986 |8760 | 360 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
30.28/30.37	c  29.8s|     1 |     2 |  6509 |     - |  22M|   0 |1738 |2986 |8400 |2986 |8760 | 360 |   0 |  12 | 0.000000e+00 |      --      |    Inf 
316.79/316.94	c 
316.79/316.94	c SCIP Status        : problem is solved [infeasible]
316.79/316.94	c Solving Time (sec) : 310.06
316.79/316.94	c Solving Nodes      : 825
316.79/316.94	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
316.79/316.94	c Dual Bound         : +1.00000000000000e+20
316.79/316.94	c Gap                : 0.00 %
316.79/316.94	s UNSATISFIABLE
316.79/316.94	c SCIP Status        : problem is solved [infeasible]
316.79/316.94	c Solving Time       :     310.06
316.79/316.94	c Original Problem   :
316.79/316.94	c   Problem name     : HOME/instance-2665998-1276337714.opb
316.79/316.94	c   Variables        : 3249 (3249 binary, 0 integer, 0 implicit integer, 0 continuous)
316.79/316.94	c   Constraints      : 8983 initial, 8983 maximal
316.79/316.94	c Presolved Problem  :
316.79/316.94	c   Problem name     : t_HOME/instance-2665998-1276337714.opb
316.79/316.94	c   Variables        : 2986 (2986 binary, 0 integer, 0 implicit integer, 0 continuous)
316.79/316.94	c   Constraints      : 8400 initial, 8832 maximal
316.79/316.94	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
316.79/316.94	c   trivial          :       0.00          2          0          0          0          0          0          0          0
316.79/316.94	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
316.79/316.94	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
316.79/316.94	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
316.79/316.94	c   implics          :       0.03          0        203          0          0          0          0          0          0
316.79/316.94	c   probing          :       0.00          0          0          0          0          0          0          0          0
316.79/316.94	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
316.79/316.94	c   linear           :       0.20         54          4          0         56          0        583        192        402
316.79/316.94	c   logicor          :       0.05          0          0          0          0          0          0          0          0
316.79/316.94	c   root node        :          -        697          -          -        697          -          -          -          -
316.79/316.94	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
316.79/316.94	c   integral         :          0          0          0        602          0          4         24          0          0       1180
316.79/316.94	c   knapsack         :        384          5      11646          0          0         16        565        950          0          0
316.79/316.94	c   logicor          :       8016+         5      10604          0          0        222     127776          0          0          0
316.79/316.94	c   countsols        :          0          0          0          0          0          0          0          0          0          0
316.79/316.94	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
316.79/316.94	c   integral         :     166.59       0.00       0.00     166.59       0.00
316.79/316.94	c   knapsack         :       0.17       0.01       0.16       0.00       0.00
316.79/316.94	c   logicor          :       0.85       0.01       0.84       0.00       0.00
316.79/316.94	c   countsols        :       0.00       0.00       0.00       0.00       0.00
316.79/316.94	c Propagators        :       Time      Calls    Cutoffs    DomReds
316.79/316.94	c   vbounds          :       0.00          1          0          0
316.79/316.94	c   rootredcost      :       0.00          0          0          0
316.79/316.94	c   pseudoobj        :       0.01          0          0          0
316.79/316.94	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
316.79/316.94	c   propagation      :       0.02        238        236       1091       26.1         16       14.2          -
316.79/316.94	c   infeasible LP    :       0.13         94         48        176       16.6          5        5.8          0
316.79/316.94	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
316.79/316.94	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
316.79/316.94	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
316.79/316.94	c   applied globally :          -          -          -        673       17.6          -          -          -
316.79/316.94	c   applied locally  :          -          -          -          0        0.0          -          -          -
316.79/316.94	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
316.79/316.94	c   cut pool         :       0.00          4          -          -         47          -    (maximal pool size: 859)
316.79/316.94	c   redcost          :       0.06        601          0          0          0          0
316.79/316.94	c   impliedbounds    :       0.03          5          0          0          0          0
316.79/316.94	c   intobj           :       0.00          0          0          0          0          0
316.79/316.94	c   cgmip            :       0.00          0          0          0          0          0
316.79/316.94	c   gomory           :       4.85          5          0          0       2273          0
316.79/316.94	c   strongcg         :       3.84          5          0          0       2488          0
316.79/316.94	c   cmir             :       0.00          0          0          0          0          0
316.79/316.94	c   flowcover        :       0.00          0          0          0          0          0
316.79/316.94	c   clique           :       0.25          5          0          0         38          0
316.79/316.94	c   zerohalf         :       0.00          0          0          0          0          0
316.79/316.94	c   mcf              :       0.04          1          0          0          0          0
316.79/316.94	c   rapidlearning    :       0.33          1          0          0          0          0
316.79/316.94	c Pricers            :       Time      Calls       Vars
316.79/316.94	c   problem variables:       0.00          0          0
316.79/316.94	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
316.79/316.94	c   relpscost        :     166.59        602          4         24          0          0       1180
316.79/316.94	c   pscost           :       0.00          0          0          0          0          0          0
316.79/316.94	c   inference        :       0.00          0          0          0          0          0          0
316.79/316.94	c   mostinf          :       0.00          0          0          0          0          0          0
316.79/316.94	c   leastinf         :       0.00          0          0          0          0          0          0
316.79/316.94	c   fullstrong       :       0.00          0          0          0          0          0          0
316.79/316.94	c   allfullstrong    :       0.00          0          0          0          0          0          0
316.79/316.94	c   random           :       0.00          0          0          0          0          0          0
316.79/316.94	c Primal Heuristics  :       Time      Calls      Found
316.79/316.94	c   LP solutions     :       0.00          -          0
316.79/316.94	c   pseudo solutions :       0.00          -          0
316.79/316.94	c   trivial          :       0.01          1          0
316.79/316.94	c   simplerounding   :       0.00          0          0
316.79/316.94	c   zirounding       :       0.00          0          0
316.79/316.94	c   rounding         :       0.00          0          0
316.79/316.94	c   shifting         :       0.00          0          0
316.79/316.94	c   intshifting      :       0.00          0          0
316.79/316.94	c   oneopt           :       0.00          0          0
316.79/316.94	c   twoopt           :       0.00          0          0
316.79/316.94	c   fixandinfer      :       0.00          0          0
316.79/316.94	c   feaspump         :       0.00          0          0
316.79/316.94	c   coefdiving       :       0.00          0          0
316.79/316.94	c   pscostdiving     :       0.00          0          0
316.79/316.94	c   fracdiving       :       0.00          0          0
316.79/316.94	c   veclendiving     :       0.00          0          0
316.79/316.94	c   intdiving        :       0.00          0          0
316.79/316.94	c   actconsdiving    :       0.00          0          0
316.79/316.94	c   objpscostdiving  :       0.00          0          0
316.79/316.94	c   rootsoldiving    :       0.00          0          0
316.79/316.94	c   linesearchdiving :       0.00          0          0
316.79/316.94	c   guideddiving     :       0.00          0          0
316.79/316.94	c   octane           :       0.00          0          0
316.79/316.94	c   rens             :       0.00          0          0
316.79/316.94	c   rins             :       0.00          0          0
316.79/316.94	c   localbranching   :       0.00          0          0
316.79/316.94	c   mutation         :       0.00          0          0
316.79/316.94	c   crossover        :       0.00          0          0
316.79/316.94	c   dins             :       0.00          0          0
316.79/316.94	c   undercover       :       0.00          0          0
316.79/316.94	c   nlp              :       0.00          0          0
316.79/316.94	c   trysol           :       0.00          0          0
316.79/316.94	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
316.79/316.94	c   primal LP        :       0.01          0          0       0.00       0.00
316.79/316.94	c   dual LP          :     128.79        699     163447     233.83    1269.10
316.79/316.94	c   lex dual LP      :       0.00          0          0       0.00          -
316.79/316.94	c   barrier LP       :       0.00          0          0       0.00          -
316.79/316.94	c   diving/probing LP:       0.00          0          0       0.00          -
316.79/316.94	c   strong branching :     166.34        944     193456     204.93    1163.02
316.79/316.94	c     (at root node) :          -         12       9801     816.75          -
316.79/316.94	c   conflict analysis:       0.00          0          0       0.00          -
316.79/316.94	c B&B Tree           :
316.79/316.94	c   number of runs   :          1
316.79/316.94	c   nodes            :        825
316.79/316.94	c   nodes (total)    :        825
316.79/316.94	c   nodes left       :          0
316.79/316.94	c   max depth        :        139
316.79/316.94	c   max depth (total):        139
316.79/316.94	c   backtracks       :        181 (21.9%)
316.79/316.94	c   delayed cutoffs  :        356
316.79/316.94	c   repropagations   :       1275 (47447 domain reductions, 101 cutoffs)
316.79/316.94	c   avg switch length:       7.10
316.79/316.94	c   switching time   :       0.80
316.79/316.94	c Solution           :
316.79/316.94	c   Solutions found  :          0 (0 improvements)
316.79/316.94	c   Primal Bound     : infeasible
316.79/316.94	c   Dual Bound       :          -
316.79/316.94	c   Gap              :       0.00 %
316.79/316.94	c   Root Dual Bound  : +0.00000000000000e+00
316.79/316.94	c   Root Iterations  :       6509
316.88/317.00	c Time complete: 316.89.

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-2665998-1276337714/watcher-2665998-1276337714 -o /tmp/evaluation-result-2665998-1276337714/solver-2665998-1276337714 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665998-1276337714.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.12 1.03 1.00 3/106 10155
/proc/meminfo: memFree=1493328/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=8256 CPUtime=0
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 9991 0 -1 4202496 864 0 0 0 0 0 0 0 19 0 1 0 9375292 8454144 784 1992294400 4194304 9819077 140734185192992 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10155/statm: 2064 793 359 1374 0 685 0

[startup+0.0661249 s]
/proc/loadavg: 1.12 1.03 1.00 3/106 10155
/proc/meminfo: memFree=1493328/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=13544 CPUtime=0.05
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 9991 0 -1 4202496 2320 0 0 0 5 0 0 0 19 0 1 0 9375292 13869056 2240 1992294400 4194304 9819077 140734185192992 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10155/statm: 3386 2240 386 1374 0 2007 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13544

[startup+0.101128 s]
/proc/loadavg: 1.12 1.03 1.00 3/106 10155
/proc/meminfo: memFree=1493328/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=15772 CPUtime=0.09
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 9991 0 -1 4202496 2867 0 0 0 9 0 0 0 20 0 1 0 9375292 16150528 2787 1992294400 4194304 9819077 140734185192992 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10155/statm: 3943 2787 386 1374 0 2564 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15772

[startup+0.301147 s]
/proc/loadavg: 1.12 1.03 1.00 3/106 10155
/proc/meminfo: memFree=1493328/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=33532 CPUtime=0.29
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 9991 0 -1 4202496 7454 0 0 0 27 2 0 0 20 0 1 0 9375292 34336768 7020 1992294400 4194304 9819077 140734185192992 18446744073709551615 5968629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 8383 7020 490 1374 0 7004 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33532

[startup+0.701185 s]
/proc/loadavg: 1.12 1.03 1.00 3/106 10155
/proc/meminfo: memFree=1493328/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=55948 CPUtime=0.69
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 9991 0 -1 4202496 15570 0 0 0 60 9 0 0 21 0 1 0 9375292 57290752 11678 1992294400 4194304 9819077 140734185192992 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 13987 11678 642 1374 0 12608 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55948

[startup+1.50126 s]
/proc/loadavg: 1.12 1.03 1.00 2/107 10156
/proc/meminfo: memFree=1448184/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=56840 CPUtime=1.49
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 9991 0 -1 4202496 26131 0 0 0 130 19 0 0 23 0 1 0 9375292 58204160 12066 1992294400 4194304 9819077 140734185192992 18446744073709551615 7289263 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 14210 12066 687 1374 0 12831 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56840

[startup+3.10141 s]
/proc/loadavg: 1.12 1.03 1.00 2/107 10156
/proc/meminfo: memFree=1446696/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=58956 CPUtime=3.09
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 9991 0 -1 4202496 27504 0 0 0 288 21 0 0 25 0 1 0 9375292 60370944 12060 1992294400 4194304 9819077 140734185192992 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 14739 12060 690 1374 0 13360 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58956

[startup+6.30072 s]
/proc/loadavg: 1.11 1.03 1.00 2/107 10156
/proc/meminfo: memFree=1446820/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=59736 CPUtime=6.29
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 9991 0 -1 4202496 30558 0 0 0 606 23 0 0 25 0 1 0 9375292 61169664 12088 1992294400 4194304 9819077 140734185192992 18446744073709551615 6043686 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 14934 12088 690 1374 0 13555 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59736

[startup+12.7003 s]
/proc/loadavg: 1.18 1.04 1.01 2/107 10156
/proc/meminfo: memFree=1446820/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=60200 CPUtime=12.68
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 9991 0 -1 4202496 33284 0 0 0 1242 26 0 0 25 0 1 0 9375292 61644800 12145 1992294400 4194304 9819077 140734185192992 18446744073709551615 8491880 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 15050 12145 690 1374 0 13671 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 60200

[startup+25.5015 s]
/proc/loadavg: 1.14 1.04 1.01 2/107 10156
/proc/meminfo: memFree=1445456/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=69884 CPUtime=25.48
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 9991 0 -1 4202496 52209 0 0 0 2509 39 0 0 25 0 1 0 9375292 71561216 12626 1992294400 4194304 9819077 140734185192992 18446744073709551615 7312766 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 17471 12626 696 1374 0 16092 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 69884

[startup+51.101 s]
/proc/loadavg: 1.09 1.03 1.01 2/107 10156
/proc/meminfo: memFree=1444464/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=69728 CPUtime=51.07
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 9991 0 -1 4202496 98007 0 0 0 5041 66 0 0 25 0 1 0 9375292 71401472 12837 1992294400 4194304 9819077 140734185192992 18446744073709551615 7291127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 17432 12837 717 1374 0 16053 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 69728

[startup+102.309 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 10158
/proc/meminfo: memFree=1444464/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=69948 CPUtime=102.26
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 9991 0 -1 4202496 576545 0 0 0 9952 274 0 0 25 0 1 0 9375292 71626752 12730 1992294400 4194304 9819077 140734185192992 18446744073709551615 7304801 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 17487 12730 717 1374 0 16108 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 69948

[startup+162.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 10160
/proc/meminfo: memFree=1440620/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=65836 CPUtime=162.23
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 9991 0 -1 4202496 938801 0 0 0 15786 437 0 0 25 0 1 0 9375292 67416064 13573 1992294400 4194304 9819077 140734185192992 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 16459 13573 721 1374 0 15080 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 65836

[startup+222.301 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 10160
/proc/meminfo: memFree=1436900/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=69096 CPUtime=222.22
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 9991 0 -1 4202496 1097666 0 0 0 21691 531 0 0 25 0 1 0 9375292 70754304 14507 1992294400 4194304 9819077 140734185192992 18446744073709551615 7480871 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 17274 14507 721 1374 0 15895 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 69096

[startup+282.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 10162
/proc/meminfo: memFree=1435288/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=71768 CPUtime=282.19
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 9991 0 -1 4202496 1241917 0 0 0 27602 617 0 0 25 0 1 0 9375292 73490432 15116 1992294400 4194304 9819077 140734185192992 18446744073709551615 7326186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 17942 15116 721 1374 0 16563 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 71768

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

[startup+294.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 10162
/proc/meminfo: memFree=1434792/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=71892 CPUtime=294.19
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 9991 0 -1 4202496 1268985 0 0 0 28787 632 0 0 25 0 1 0 9375292 73617408 15101 1992294400 4194304 9819077 140734185192992 18446744073709551615 6198327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 17973 15101 721 1374 0 16594 0
Current children cumulated CPU time (s) 294.19
Current children cumulated vsize (KiB) 71892

[startup+307.101 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 10164
/proc/meminfo: memFree=1432444/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=81200 CPUtime=306.99
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 9991 0 -1 4202496 1296034 0 0 0 30052 647 0 0 25 0 1 0 9375292 83148800 15559 1992294400 4194304 9819077 140734185192992 18446744073709551615 7290866 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 20300 15559 721 1374 0 18921 0
Current children cumulated CPU time (s) 306.99
Current children cumulated vsize (KiB) 81200

[startup+313.508 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 10164
/proc/meminfo: memFree=1434304/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=72420 CPUtime=313.39
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 9991 0 -1 4202496 1307858 0 0 0 30684 655 0 0 25 0 1 0 9375292 74158080 15381 1992294400 4194304 9819077 140734185192992 18446744073709551615 7291024 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 18105 15381 721 1374 0 16726 0
Current children cumulated CPU time (s) 313.39
Current children cumulated vsize (KiB) 72420

[startup+315.101 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 10164
/proc/meminfo: memFree=1434056/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=72808 CPUtime=314.98
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 9991 0 -1 4202496 1311229 0 0 0 30841 657 0 0 25 0 1 0 9375292 74555392 15415 1992294400 4194304 9819077 140734185192992 18446744073709551615 7291704 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 18202 15415 721 1374 0 16823 0
Current children cumulated CPU time (s) 314.98
Current children cumulated vsize (KiB) 72808

[startup+315.901 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 10164
/proc/meminfo: memFree=1434056/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=72564 CPUtime=315.78
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 9991 0 -1 4202496 1312982 0 0 0 30919 659 0 0 25 0 1 0 9375292 74305536 15489 1992294400 4194304 9819077 140734185192992 18446744073709551615 7306911 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 18141 15489 721 1374 0 16762 0
Current children cumulated CPU time (s) 315.78
Current children cumulated vsize (KiB) 72564

[startup+316.701 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 10164
/proc/meminfo: memFree=1434304/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=72612 CPUtime=316.59
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 9991 0 -1 4202496 1314369 0 0 0 30999 660 0 0 25 0 1 0 9375292 74354688 15287 1992294400 4194304 9819077 140734185192992 18446744073709551615 7291863 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 18153 15287 721 1374 0 16774 0
Current children cumulated CPU time (s) 316.59
Current children cumulated vsize (KiB) 72612

[startup+316.901 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 10164
/proc/meminfo: memFree=1434304/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=72840 CPUtime=316.79
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 9991 0 -1 4202496 1314835 0 0 0 31018 661 0 0 25 0 1 0 9375292 74588160 15343 1992294400 4194304 9819077 140734185192992 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 18210 15343 721 1374 0 16831 0
Current children cumulated CPU time (s) 316.79
Current children cumulated vsize (KiB) 72840

[startup+317.001 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 10164
/proc/meminfo: memFree=1434304/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=30212 CPUtime=316.88
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 9991 0 -1 4202496 1315041 0 0 0 31027 661 0 0 25 0 1 0 9375292 30937088 6798 1992294400 4194304 9819077 140734185192992 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10155/statm: 7553 6798 724 1374 0 6174 0
Current children cumulated CPU time (s) 316.88
Current children cumulated vsize (KiB) 30212

Child status: 0
Real time (s): 317.009
CPU time (s): 316.9
CPU user time (s): 310.281
CPU system time (s): 6.61899
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (KiB): 92444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 310.281
system time used= 6.61899
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1315045
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= 1
involuntary context switches= 1405

runsolver used 0.537918 second user time and 1.49277 second system time

The end

Launcher Data 

Begin job on node004 at 2010-06-12 12:15:14
IDJOB=2665998
IDBENCH=1480
IDSOLVER=1168
FILE ID=node004/2665998-1276337714
PBS_JOBID= 11173186
Free space on /tmp= 62536 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665998-1276337714/watcher-2665998-1276337714 -o /tmp/evaluation-result-2665998-1276337714/solver-2665998-1276337714 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665998-1276337714.opb -t 1800 -m 1800

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

MD5SUM BENCH= ec41e051a85a6b1d97ef15d7e169228d
RANDOM SEED=1011944817

node004.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.210
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.42
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.210
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.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1493732 kB
Buffers:        113780 kB
Cached:         321932 kB
SwapCached:          0 kB
Active:         185024 kB
Inactive:       310068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1493732 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            6912 kB
Writeback:           0 kB
AnonPages:       59240 kB
Mapped:          15380 kB
Slab:            48400 kB
PageTables:       4124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180592 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= 62532 MiB
End job on node004 at 2010-06-12 12:20:31