Trace number 2666849

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1802.06 1802.65

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.6.accl.ucl.opb
MD5SUM9d22902ade96af236e70cdbf7d8bd853
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
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables23621
Total number of constraints67526
Number of constraints which are clauses65126
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2400
Minimum length of a constraint1
Maximum length of a constraint13
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 71
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 261
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2666849-1276331720.opb>
1.19/1.23	c original problem has 23621 variables (23621 bin, 0 int, 0 impl, 0 cont) and 67526 constraints
1.19/1.23	c problem read
1.19/1.23	c No objective function, only one solution is needed.
1.19/1.24	c presolving settings loaded
1.59/1.61	c presolving:
2.89/2.91	c (round 1) 1093 del vars, 614 del conss, 216 chg bounds, 1200 chg sides, 2498 chg coeffs, 0 upgd conss, 1329503 impls, 0 clqs
2.99/3.05	c (round 2) 1095 del vars, 2448 del conss, 218 chg bounds, 1200 chg sides, 2498 chg coeffs, 0 upgd conss, 1329503 impls, 0 clqs
3.09/3.13	c (round 3) 1099 del vars, 2456 del conss, 222 chg bounds, 1200 chg sides, 2498 chg coeffs, 0 upgd conss, 1329577 impls, 0 clqs
3.20/3.21	c (round 4) 1102 del vars, 2464 del conss, 225 chg bounds, 1200 chg sides, 2498 chg coeffs, 0 upgd conss, 1329651 impls, 0 clqs
3.20/3.29	c (round 5) 1107 del vars, 2473 del conss, 230 chg bounds, 1200 chg sides, 2498 chg coeffs, 0 upgd conss, 1329651 impls, 0 clqs
3.29/3.37	c (round 6) 1113 del vars, 2486 del conss, 236 chg bounds, 1200 chg sides, 2498 chg coeffs, 0 upgd conss, 1329679 impls, 0 clqs
3.39/3.45	c (round 7) 1117 del vars, 2500 del conss, 240 chg bounds, 1200 chg sides, 2498 chg coeffs, 0 upgd conss, 1329809 impls, 0 clqs
3.49/3.53	c (round 8) 1121 del vars, 2510 del conss, 244 chg bounds, 1200 chg sides, 2498 chg coeffs, 0 upgd conss, 1329853 impls, 0 clqs
3.59/3.61	c (round 9) 1125 del vars, 2520 del conss, 248 chg bounds, 1200 chg sides, 2498 chg coeffs, 0 upgd conss, 1329909 impls, 0 clqs
3.59/3.69	c (round 10) 1129 del vars, 2530 del conss, 252 chg bounds, 1200 chg sides, 2498 chg coeffs, 0 upgd conss, 1329977 impls, 0 clqs
3.69/3.77	c (round 11) 1129 del vars, 2538 del conss, 252 chg bounds, 1200 chg sides, 2498 chg coeffs, 0 upgd conss, 1330017 impls, 0 clqs
4.49/4.55	c (round 12) 1129 del vars, 2580 del conss, 252 chg bounds, 1200 chg sides, 2498 chg coeffs, 64946 upgd conss, 1330017 impls, 0 clqs
4.69/4.75	c presolving (13 rounds):
4.69/4.75	c  1129 deleted vars, 2580 deleted constraints, 252 tightened bounds, 0 added holes, 1200 changed sides, 2498 changed coefficients
4.69/4.75	c  1330017 implications, 0 cliques
4.69/4.75	c presolved problem has 22492 variables (22492 bin, 0 int, 0 impl, 0 cont) and 64946 constraints
4.69/4.75	c    2388 constraints of type <knapsack>
4.69/4.75	c   62558 constraints of type <logicor>
4.69/4.75	c transformed objective value is always integral (scale: 1)
4.69/4.75	c Presolving Time: 2.68
4.69/4.75	c - non default parameters ----------------------------------------------------------------------
4.69/4.75	c # SCIP version 1.2.1.2
4.69/4.75	c 
4.69/4.75	c # frequency for displaying node information lines
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 100]
4.69/4.75	c display/freq = 10000
4.69/4.75	c 
4.69/4.75	c # maximal time in seconds to run
4.69/4.75	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.69/4.75	c limits/time = 1798.77
4.69/4.75	c 
4.69/4.75	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.69/4.75	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.69/4.75	c limits/memory = 1620
4.69/4.75	c 
4.69/4.75	c # solving stops, if the given number of solutions were found (-1: no limit)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: -1]
4.69/4.75	c limits/solutions = 1
4.69/4.75	c 
4.69/4.75	c # maximal number of separation rounds per node (-1: unlimited)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 5]
4.69/4.75	c separating/maxrounds = 1
4.69/4.75	c 
4.69/4.75	c # maximal number of separation rounds in the root node (-1: unlimited)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: -1]
4.69/4.75	c separating/maxroundsroot = 5
4.69/4.75	c 
4.69/4.75	c # should presolving try to simplify inequalities
4.69/4.75	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.69/4.75	c constraints/linear/simplifyinequalities = TRUE
4.69/4.75	c 
4.69/4.75	c # should disaggregation of knapsack constraints be allowed in preprocessing?
4.69/4.75	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
4.69/4.75	c constraints/knapsack/disaggregation = FALSE
4.69/4.75	c 
4.69/4.75	c # should presolving try to simplify knapsacks
4.69/4.75	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.69/4.75	c constraints/knapsack/simplifyinequalities = TRUE
4.69/4.75	c 
4.69/4.75	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: -1]
4.69/4.75	c presolving/probing/maxrounds = 0
4.69/4.75	c 
4.69/4.75	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 10]
4.69/4.75	c heuristics/coefdiving/freq = -1
4.69/4.75	c 
4.69/4.75	c # maximal fraction of diving LP iterations compared to node LP iterations
4.69/4.75	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.69/4.75	c heuristics/coefdiving/maxlpiterquot = 0.075
4.69/4.75	c 
4.69/4.75	c # additional number of allowed LP iterations
4.69/4.75	c # [type: int, range: [0,2147483647], default: 1000]
4.69/4.75	c heuristics/coefdiving/maxlpiterofs = 1500
4.69/4.75	c 
4.69/4.75	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 30]
4.69/4.75	c heuristics/crossover/freq = -1
4.69/4.75	c 
4.69/4.75	c # number of nodes added to the contingent of the total nodes
4.69/4.75	c # [type: longint, range: [0,9223372036854775807], default: 500]
4.69/4.75	c heuristics/crossover/nodesofs = 750
4.69/4.75	c 
4.69/4.75	c # number of nodes without incumbent change that heuristic should wait
4.69/4.75	c # [type: longint, range: [0,9223372036854775807], default: 200]
4.69/4.75	c heuristics/crossover/nwaitingnodes = 100
4.69/4.75	c 
4.69/4.75	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
4.69/4.75	c # [type: real, range: [0,1], default: 0.1]
4.69/4.75	c heuristics/crossover/nodesquot = 0.15
4.69/4.75	c 
4.69/4.75	c # minimum percentage of integer variables that have to be fixed 
4.69/4.75	c # [type: real, range: [0,1], default: 0.666]
4.69/4.75	c heuristics/crossover/minfixingrate = 0.5
4.69/4.75	c 
4.69/4.75	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 20]
4.69/4.75	c heuristics/feaspump/freq = -1
4.69/4.75	c 
4.69/4.75	c # additional number of allowed LP iterations
4.69/4.75	c # [type: int, range: [0,2147483647], default: 1000]
4.69/4.75	c heuristics/feaspump/maxlpiterofs = 2000
4.69/4.75	c 
4.69/4.75	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 10]
4.69/4.75	c heuristics/fracdiving/freq = -1
4.69/4.75	c 
4.69/4.75	c # maximal fraction of diving LP iterations compared to node LP iterations
4.69/4.75	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.69/4.75	c heuristics/fracdiving/maxlpiterquot = 0.075
4.69/4.75	c 
4.69/4.75	c # additional number of allowed LP iterations
4.69/4.75	c # [type: int, range: [0,2147483647], default: 1000]
4.69/4.75	c heuristics/fracdiving/maxlpiterofs = 1500
4.69/4.75	c 
4.69/4.75	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 10]
4.69/4.75	c heuristics/guideddiving/freq = -1
4.69/4.75	c 
4.69/4.75	c # maximal fraction of diving LP iterations compared to node LP iterations
4.69/4.75	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.69/4.75	c heuristics/guideddiving/maxlpiterquot = 0.075
4.69/4.75	c 
4.69/4.75	c # additional number of allowed LP iterations
4.69/4.75	c # [type: int, range: [0,2147483647], default: 1000]
4.69/4.75	c heuristics/guideddiving/maxlpiterofs = 1500
4.69/4.75	c 
4.69/4.75	c # maximal fraction of diving LP iterations compared to node LP iterations
4.69/4.75	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.69/4.75	c heuristics/intdiving/maxlpiterquot = 0.075
4.69/4.75	c 
4.69/4.75	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 10]
4.69/4.75	c heuristics/intshifting/freq = -1
4.69/4.75	c 
4.69/4.75	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 10]
4.69/4.75	c heuristics/linesearchdiving/freq = -1
4.69/4.75	c 
4.69/4.75	c # maximal fraction of diving LP iterations compared to node LP iterations
4.69/4.75	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.69/4.75	c heuristics/linesearchdiving/maxlpiterquot = 0.075
4.69/4.75	c 
4.69/4.75	c # additional number of allowed LP iterations
4.69/4.75	c # [type: int, range: [0,2147483647], default: 1000]
4.69/4.75	c heuristics/linesearchdiving/maxlpiterofs = 1500
4.69/4.75	c 
4.69/4.75	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 1]
4.69/4.75	c heuristics/nlp/freq = -1
4.69/4.75	c 
4.69/4.75	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 20]
4.69/4.75	c heuristics/objpscostdiving/freq = -1
4.69/4.75	c 
4.69/4.75	c # maximal fraction of diving LP iterations compared to total iteration number
4.69/4.75	c # [type: real, range: [0,1], default: 0.01]
4.69/4.75	c heuristics/objpscostdiving/maxlpiterquot = 0.015
4.69/4.75	c 
4.69/4.75	c # additional number of allowed LP iterations
4.69/4.75	c # [type: int, range: [0,2147483647], default: 1000]
4.69/4.75	c heuristics/objpscostdiving/maxlpiterofs = 1500
4.69/4.75	c 
4.69/4.75	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 1]
4.69/4.75	c heuristics/oneopt/freq = -1
4.69/4.75	c 
4.69/4.75	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 10]
4.69/4.75	c heuristics/pscostdiving/freq = -1
4.69/4.75	c 
4.69/4.75	c # maximal fraction of diving LP iterations compared to node LP iterations
4.69/4.75	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.69/4.75	c heuristics/pscostdiving/maxlpiterquot = 0.075
4.69/4.75	c 
4.69/4.75	c # additional number of allowed LP iterations
4.69/4.75	c # [type: int, range: [0,2147483647], default: 1000]
4.69/4.75	c heuristics/pscostdiving/maxlpiterofs = 1500
4.69/4.75	c 
4.69/4.75	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 0]
4.69/4.75	c heuristics/rens/freq = -1
4.69/4.75	c 
4.69/4.75	c # minimum percentage of integer variables that have to be fixable 
4.69/4.75	c # [type: real, range: [0,1], default: 0.5]
4.69/4.75	c heuristics/rens/minfixingrate = 0.3
4.69/4.75	c 
4.69/4.75	c # number of nodes added to the contingent of the total nodes
4.69/4.75	c # [type: longint, range: [0,9223372036854775807], default: 500]
4.69/4.75	c heuristics/rens/nodesofs = 2000
4.69/4.75	c 
4.69/4.75	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 20]
4.69/4.75	c heuristics/rootsoldiving/freq = -1
4.69/4.75	c 
4.69/4.75	c # maximal fraction of diving LP iterations compared to node LP iterations
4.69/4.75	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
4.69/4.75	c heuristics/rootsoldiving/maxlpiterquot = 0.015
4.69/4.75	c 
4.69/4.75	c # additional number of allowed LP iterations
4.69/4.75	c # [type: int, range: [0,2147483647], default: 1000]
4.69/4.75	c heuristics/rootsoldiving/maxlpiterofs = 1500
4.69/4.75	c 
4.69/4.75	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 1]
4.69/4.75	c heuristics/rounding/freq = -1
4.69/4.75	c 
4.69/4.75	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 10]
4.69/4.75	c heuristics/shifting/freq = -1
4.69/4.75	c 
4.69/4.75	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 1]
4.69/4.75	c heuristics/simplerounding/freq = -1
4.69/4.75	c 
4.69/4.75	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 0]
4.69/4.75	c heuristics/trivial/freq = -1
4.69/4.75	c 
4.69/4.75	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 1]
4.69/4.75	c heuristics/trysol/freq = -1
4.69/4.75	c 
4.69/4.75	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 10]
4.69/4.75	c heuristics/veclendiving/freq = -1
4.69/4.75	c 
4.69/4.75	c # maximal fraction of diving LP iterations compared to node LP iterations
4.69/4.75	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.69/4.75	c heuristics/veclendiving/maxlpiterquot = 0.075
4.69/4.75	c 
4.69/4.75	c # additional number of allowed LP iterations
4.69/4.75	c # [type: int, range: [0,2147483647], default: 1000]
4.69/4.75	c heuristics/veclendiving/maxlpiterofs = 1500
4.69/4.75	c 
4.69/4.75	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 1]
4.69/4.75	c heuristics/zirounding/freq = -1
4.69/4.75	c 
4.69/4.75	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 0]
4.69/4.75	c separating/cmir/freq = -1
4.69/4.75	c 
4.69/4.75	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: 0]
4.69/4.75	c separating/flowcover/freq = -1
4.69/4.75	c 
4.69/4.75	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.69/4.75	c # [type: int, range: [-1,2147483647], default: -1]
4.69/4.75	c separating/rapidlearning/freq = 0
4.69/4.75	c 
4.69/4.75	c -----------------------------------------------------------------------------------------------
4.69/4.75	c start solving
4.69/4.77	c 
27.98/28.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
27.98/28.07	c  26.0s|     1 |     0 |  6826 |     - | 167M|   0 |4379 |  22k|  64k|  22k|  64k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
93.26/93.37	c  89.6s|     1 |     0 | 16026 |     - | 168M|   0 |5023 |  22k|  64k|  22k|  65k| 142 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
148.34/148.43	c   143s|     1 |     0 | 22713 |     - | 168M|   0 |5477 |  22k|  64k|  22k|  65k| 315 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
263.10/263.22	c   255s|     1 |     0 | 36985 |     - | 169M|   0 |7224 |  22k|  64k|  22k|  65k| 512 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
363.67/363.83	c   352s|     1 |     0 | 47840 |     - | 169M|   0 |7211 |  22k|  64k|  22k|  65k| 717 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
458.84/459.02	c   445s|     1 |     0 | 57469 |     - | 170M|   0 |7898 |  22k|  64k|  22k|  65k| 911 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
798.53/798.88	c   783s|     1 |     2 | 57469 |     - | 170M|   0 |7898 |  22k|  64k|  22k|  65k| 911 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
1800.01/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)

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-2666849-1276331720/watcher-2666849-1276331720 -o /tmp/evaluation-result-2666849-1276331720/solver-2666849-1276331720 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666849-1276331720.opb -t 1800 -m 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9875
/proc/meminfo: memFree=1799520/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=7724 CPUtime=0
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 1020 0 0 0 0 0 0 0 18 0 1 0 8773527 7909376 940 1992294400 4194304 8223781 140735540457920 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9875/statm: 1931 950 348 984 0 944 0

[startup+0.0852969 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9875
/proc/meminfo: memFree=1799520/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=12488 CPUtime=0.07
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 2429 0 0 0 7 0 0 0 20 0 1 0 8773527 12787712 2349 1992294400 4194304 8223781 140735540457920 18446744073709551615 7216816 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9875/statm: 3122 2350 363 984 0 2135 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12488

[startup+0.101297 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9875
/proc/meminfo: memFree=1799520/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=14048 CPUtime=0.1
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 2795 0 0 0 9 1 0 0 20 0 1 0 8773527 14385152 2715 1992294400 4194304 8223781 140735540457920 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9875/statm: 3512 2715 363 984 0 2525 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14048

[startup+0.301323 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9875
/proc/meminfo: memFree=1799520/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=20640 CPUtime=0.29
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 4454 0 0 0 28 1 0 0 20 0 1 0 8773527 21135360 4374 1992294400 4194304 8223781 140735540457920 18446744073709551615 4437186 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9875/statm: 5160 4374 363 984 0 4173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20640

[startup+0.700377 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9875
/proc/meminfo: memFree=1799520/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=34904 CPUtime=0.69
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 7996 0 0 0 66 3 0 0 21 0 1 0 8773527 35741696 7916 1992294400 4194304 8223781 140735540457920 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9875/statm: 8726 7927 363 984 0 7739 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34904

[startup+1.50048 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9876
/proc/meminfo: memFree=1759956/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=114780 CPUtime=1.49
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 28216 0 0 0 138 11 0 0 23 0 1 0 8773527 117534720 27680 1992294400 4194304 8223781 140735540457920 18446744073709551615 4561481 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 28695 27680 401 984 0 27708 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 114780

[startup+3.10069 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9876
/proc/meminfo: memFree=1661996/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=170000 CPUtime=3.09
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 41826 0 0 0 280 29 0 0 25 0 1 0 8773527 174080000 40776 1992294400 4194304 8223781 140735540457920 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 42500 40776 445 984 0 41513 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 170000

[startup+6.30111 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9876
/proc/meminfo: memFree=1537252/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=283896 CPUtime=6.29
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 80899 0 0 0 550 79 0 0 25 0 1 0 8773527 290709504 66667 1992294400 4194304 8223781 140735540457920 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 70974 66667 539 984 0 69987 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 283896

[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9876
/proc/meminfo: memFree=1533036/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=286344 CPUtime=12.69
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 85091 0 0 0 1186 83 0 0 25 0 1 0 8773527 293216256 66883 1992294400 4194304 8223781 140735540457920 18446744073709551615 6568404 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 71586 66883 539 984 0 70599 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 286344

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9876
/proc/meminfo: memFree=1532292/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=288168 CPUtime=25.48
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 92918 0 0 0 2458 90 0 0 25 0 1 0 8773527 295084032 67076 1992294400 4194304 8223781 140735540457920 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 72042 67076 539 984 0 71055 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 288168

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9878
/proc/meminfo: memFree=1525720/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=299032 CPUtime=51.08
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 377108 0 0 0 4876 232 0 0 25 0 1 0 8773527 306208768 68753 1992294400 4194304 8223781 140735540457920 18446744073709551615 6568395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 74758 68753 565 984 0 73771 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 299032

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9878
/proc/meminfo: memFree=1523488/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=302956 CPUtime=102.26
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 787882 0 0 0 9848 378 0 0 25 0 1 0 8773527 310226944 69282 1992294400 4194304 8223781 140735540457920 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 75739 69282 565 984 0 74752 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 302956

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9880
/proc/meminfo: memFree=1522992/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=304448 CPUtime=162.23
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 1443858 0 0 0 15599 624 0 0 25 0 1 0 8773527 311754752 69443 1992294400 4194304 8223781 140735540457920 18446744073709551615 6568277 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 76112 69443 565 984 0 75125 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 304448

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9882
/proc/meminfo: memFree=1522372/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=304920 CPUtime=222.21
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 1479309 0 0 0 21570 651 0 0 25 0 1 0 8773527 312238080 69555 1992294400 4194304 8223781 140735540457920 18446744073709551615 6568391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 76230 69555 565 984 0 75243 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 304920

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9884
/proc/meminfo: memFree=1521008/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=307504 CPUtime=282.2
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 2400435 0 0 0 27220 1000 0 0 25 0 1 0 8773527 314884096 69911 1992294400 4194304 8223781 140735540457920 18446744073709551615 6568069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 76876 69911 565 984 0 75889 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 307504

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9886
/proc/meminfo: memFree=1520264/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=307920 CPUtime=342.18
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 2436221 0 0 0 33194 1024 0 0 25 0 1 0 8773527 315310080 70025 1992294400 4194304 8223781 140735540457920 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 76980 70025 565 984 0 75993 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 307920

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9886
/proc/meminfo: memFree=1519272/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=311384 CPUtime=402.16
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 3131075 0 0 0 38930 1286 0 0 25 0 1 0 8773527 318857216 70305 1992294400 4194304 8223781 140735540457920 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 77846 70305 565 984 0 76859 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 311384

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9888
/proc/meminfo: memFree=1518404/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=312308 CPUtime=462.14
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 3167900 0 0 0 44901 1313 0 0 25 0 1 0 8773527 319803392 70486 1992294400 4194304 8223781 140735540457920 18446744073709551615 6568426 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 78077 70486 568 984 0 77090 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 312308

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9890
/proc/meminfo: memFree=1518900/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=311992 CPUtime=522.11
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 3209424 0 0 0 50871 1340 0 0 25 0 1 0 8773527 319479808 70435 1992294400 4194304 8223781 140735540457920 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 77998 70435 568 984 0 77011 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 311992

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9892
/proc/meminfo: memFree=1518900/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=312248 CPUtime=582.1
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 3252833 0 0 0 56842 1368 0 0 25 0 1 0 8773527 319741952 70342 1992294400 4194304 8223781 140735540457920 18446744073709551615 6612708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 78062 70342 568 984 0 77075 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 312248

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9894
/proc/meminfo: memFree=1519396/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=311992 CPUtime=642.09
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 3295605 0 0 0 62814 1395 0 0 25 0 1 0 8773527 319479808 70249 1992294400 4194304 8223781 140735540457920 18446744073709551615 6446786 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 77998 70249 568 984 0 77011 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 311992

[startup+702.3 s]

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

/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 3543333 0 0 0 98643 1554 0 0 25 0 1 0 8773527 320012288 70555 1992294400 4194304 8223781 140735540457920 18446744073709551615 6502701 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 78128 70555 570 984 0 77141 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 312512

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9904
/proc/meminfo: memFree=1517536/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=312512 CPUtime=1061.95
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 3584998 0 0 0 104615 1580 0 0 25 0 1 0 8773527 320012288 70431 1992294400 4194304 8223781 140735540457920 18446744073709551615 6568081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 78128 70431 570 984 0 77141 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 312512

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9906
/proc/meminfo: memFree=1518156/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=312616 CPUtime=1121.93
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 3623917 0 0 0 110586 1607 0 0 25 0 1 0 8773527 320118784 70539 1992294400 4194304 8223781 140735540457920 18446744073709551615 6570073 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 78154 70539 570 984 0 77167 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 312616

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9908
/proc/meminfo: memFree=1518156/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=312512 CPUtime=1181.91
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 3662930 0 0 0 116559 1632 0 0 25 0 1 0 8773527 320012288 70553 1992294400 4194304 8223781 140735540457920 18446744073709551615 6502689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 78128 70553 570 984 0 77141 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 312512

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9910
/proc/meminfo: memFree=1518156/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=312616 CPUtime=1241.89
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 3703437 0 0 0 122529 1660 0 0 25 0 1 0 8773527 320118784 70470 1992294400 4194304 8223781 140735540457920 18446744073709551615 6538084 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 78154 70470 570 984 0 77167 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 312616

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9910
/proc/meminfo: memFree=1518280/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=312512 CPUtime=1301.88
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 3743055 0 0 0 128500 1688 0 0 25 0 1 0 8773527 320012288 70428 1992294400 4194304 8223781 140735540457920 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 78128 70428 570 984 0 77141 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 312512

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9912
/proc/meminfo: memFree=1517412/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=312168 CPUtime=1361.85
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 3784401 0 0 0 134473 1712 0 0 25 0 1 0 8773527 319660032 70350 1992294400 4194304 8223781 140735540457920 18446744073709551615 6568399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 78042 70350 571 984 0 77055 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 312168

[startup+1422.31 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 9914
/proc/meminfo: memFree=1517164/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=312812 CPUtime=1421.84
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 3823020 0 0 0 140444 1740 0 0 25 0 1 0 8773527 320319488 70671 1992294400 4194304 8223781 140735540457920 18446744073709551615 6503897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 78203 70671 571 984 0 77216 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 312812

[startup+1482.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 9916
/proc/meminfo: memFree=1517040/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=312652 CPUtime=1481.82
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 3865197 0 0 0 146415 1767 0 0 25 0 1 0 8773527 320155648 70730 1992294400 4194304 8223781 140735540457920 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 78163 70730 571 984 0 77176 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 312652

[startup+1542.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 9927
/proc/meminfo: memFree=1516916/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=312548 CPUtime=1541.78
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 3905964 0 0 0 152382 1796 0 0 25 0 1 0 8773527 320049152 70688 1992294400 4194304 8223781 140735540457920 18446744073709551615 7304922 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 78137 70688 571 984 0 77150 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 312548

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9927
/proc/meminfo: memFree=1517288/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=312652 CPUtime=1601.77
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 3947532 0 0 0 158351 1826 0 0 25 0 1 0 8773527 320155648 70656 1992294400 4194304 8223781 140735540457920 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 78163 70656 571 984 0 77176 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 312652

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9929
/proc/meminfo: memFree=1517412/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=312548 CPUtime=1661.74
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 3986742 0 0 0 164322 1852 0 0 25 0 1 0 8773527 320049152 70604 1992294400 4194304 8223781 140735540457920 18446744073709551615 6571225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 78137 70604 571 984 0 77150 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 312548

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9931
/proc/meminfo: memFree=1517412/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=312668 CPUtime=1721.72
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 4022681 0 0 0 170295 1877 0 0 25 0 1 0 8773527 320172032 70620 1992294400 4194304 8223781 140735540457920 18446744073709551615 6568426 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 78167 70620 571 984 0 77180 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 312668

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9933
/proc/meminfo: memFree=1517288/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=312792 CPUtime=1781.71
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 4067928 0 0 0 176264 1907 0 0 25 0 1 0 8773527 320299008 70619 1992294400 4194304 8223781 140735540457920 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 78198 70619 571 984 0 77211 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 312792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9933
/proc/meminfo: memFree=1517536/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=312896 CPUtime=1800.01
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 4083014 0 0 0 178085 1916 0 0 25 0 1 0 8773527 320405504 70555 1992294400 4194304 8223781 140735540457920 18446744073709551615 6564409 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 78224 70555 571 984 0 77237 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 312896

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -9875

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9933
/proc/meminfo: memFree=1517536/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=312896 CPUtime=1800.8
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 4083096 0 0 0 178164 1916 0 0 25 0 1 0 8773527 320405504 70637 1992294400 4194304 8223781 140735540457920 18446744073709551615 6569880 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 78224 70637 571 984 0 77237 0
Current children cumulated CPU time (s) 1800.8
Current children cumulated vsize (KiB) 312896

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9934
/proc/meminfo: memFree=1517032/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=312896 CPUtime=1801.6
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 4084106 0 0 0 178243 1917 0 0 25 0 1 0 8773527 320405504 70683 1992294400 4194304 8223781 140735540457920 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 78224 70683 571 984 0 77237 0
Current children cumulated CPU time (s) 1801.6
Current children cumulated vsize (KiB) 312896

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9934
/proc/meminfo: memFree=1517032/2059040 swapFree=4192956/4192956
[pid=9875] ppid=9873 vsize=312896 CPUtime=1802
/proc/9875/stat : 9875 (pbscip.linux.x8) R 9873 9875 9122 0 -1 4202496 4084110 0 0 0 178283 1917 0 0 25 0 1 0 8773527 320405504 70687 1992294400 4194304 8223781 140735540457920 18446744073709551615 6538084 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9875/statm: 78224 70687 571 984 0 77237 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 312896

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.65
CPU time (s): 1802.06
CPU user time (s): 1782.85
CPU system time (s): 19.2041
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 321088

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

runsolver used 2.90656 second user time and 8.58469 second system time

The end

Launcher Data 

Begin job on node013 at 2010-06-12 10:35:20
IDJOB=2666849
IDBENCH=1449
IDSOLVER=1169
FILE ID=node013/2666849-1276331720
PBS_JOBID= 11173160
Free space on /tmp= 62460 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666849-1276331720/watcher-2666849-1276331720 -o /tmp/evaluation-result-2666849-1276331720/solver-2666849-1276331720 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666849-1276331720.opb -t 1800 -m 1800

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

MD5SUM BENCH= 9d22902ade96af236e70cdbf7d8bd853
RANDOM SEED=1757180641

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1799924 kB
Buffers:         10936 kB
Cached:         124832 kB
SwapCached:          0 kB
Active:         115380 kB
Inactive:        79584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1799924 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            6768 kB
Writeback:          12 kB
AnonPages:       59208 kB
Mapped:          15400 kB
Slab:            42304 kB
PageTables:       4040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181180 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62456 MiB
End job on node013 at 2010-06-12 11:05:23