Trace number 2685109

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 solver? (TO) 1802.08 1802.54

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12022_9-sat.opb
MD5SUM0a851c8da3e98872eaeb0a89c94e4840
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.436933
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables26620
Total number of constraints88108
Number of constraints which are clauses87672
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints436
Minimum length of a constraint1
Maximum length of a constraint32
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 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 217
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: 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-2685109-1278439808.opb>
1.50/1.54	c original problem has 26620 variables (26620 bin, 0 int, 0 impl, 0 cont) and 88108 constraints
1.50/1.54	c problem read
1.50/1.54	c No objective function, only one solution is needed.
1.50/1.54	c presolving settings loaded
1.89/1.97	c presolving:
5.89/5.96	c (round 1) 6028 del vars, 17376 del conss, 4361 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5078704 impls, 0 clqs
7.70/7.79	c (round 2) 13509 del vars, 44871 del conss, 11378 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5125228 impls, 0 clqs
7.99/8.04	c (round 3) 16167 del vars, 57358 del conss, 12939 chg bounds, 47 chg sides, 31 chg coeffs, 0 upgd conss, 5140109 impls, 0 clqs
8.09/8.17	c (round 4) 17318 del vars, 61410 del conss, 13774 chg bounds, 62 chg sides, 44 chg coeffs, 0 upgd conss, 5151590 impls, 0 clqs
8.19/8.26	c (round 5) 18129 del vars, 64100 del conss, 14304 chg bounds, 64 chg sides, 54 chg coeffs, 0 upgd conss, 5158570 impls, 0 clqs
8.29/8.34	c (round 6) 18704 del vars, 66146 del conss, 14662 chg bounds, 66 chg sides, 58 chg coeffs, 0 upgd conss, 5164423 impls, 0 clqs
8.29/8.38	c (round 7) 18928 del vars, 67055 del conss, 14789 chg bounds, 66 chg sides, 58 chg coeffs, 0 upgd conss, 5166381 impls, 0 clqs
8.39/8.42	c (round 8) 19015 del vars, 67429 del conss, 14837 chg bounds, 66 chg sides, 58 chg coeffs, 0 upgd conss, 5167253 impls, 0 clqs
8.39/8.45	c (round 9) 19054 del vars, 67598 del conss, 14847 chg bounds, 66 chg sides, 58 chg coeffs, 0 upgd conss, 5167757 impls, 0 clqs
8.39/8.48	c (round 10) 19061 del vars, 67632 del conss, 14849 chg bounds, 66 chg sides, 58 chg coeffs, 0 upgd conss, 5167833 impls, 0 clqs
8.70/8.74	c (round 11) 19061 del vars, 67632 del conss, 14849 chg bounds, 66 chg sides, 58 chg coeffs, 20476 upgd conss, 5167833 impls, 0 clqs
8.80/8.85	c (round 12) 19061 del vars, 67632 del conss, 14849 chg bounds, 73 chg sides, 111 chg coeffs, 20476 upgd conss, 5168849 impls, 433 clqs
8.89/8.94	c (round 13) 19061 del vars, 67632 del conss, 14849 chg bounds, 76 chg sides, 136 chg coeffs, 20476 upgd conss, 5168849 impls, 448 clqs
8.99/9.00	c presolving (14 rounds):
8.99/9.00	c  19061 deleted vars, 67632 deleted constraints, 14849 tightened bounds, 0 added holes, 76 changed sides, 142 changed coefficients
8.99/9.00	c  5168849 implications, 449 cliques
8.99/9.00	c presolved problem has 7559 variables (7559 bin, 0 int, 0 impl, 0 cont) and 20476 constraints
8.99/9.00	c     331 constraints of type <knapsack>
8.99/9.00	c   20145 constraints of type <logicor>
8.99/9.00	c transformed objective value is always integral (scale: 1)
8.99/9.00	c Presolving Time: 6.75
8.99/9.00	c - non default parameters ----------------------------------------------------------------------
8.99/9.00	c # SCIP version 1.2.1.2
8.99/9.00	c 
8.99/9.00	c # frequency for displaying node information lines
8.99/9.00	c # [type: int, range: [-1,2147483647], default: 100]
8.99/9.00	c display/freq = 10000
8.99/9.00	c 
8.99/9.00	c # maximal time in seconds to run
8.99/9.00	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.99/9.00	c limits/time = 1798.46
8.99/9.00	c 
8.99/9.00	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.99/9.00	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.99/9.00	c limits/memory = 1620
8.99/9.00	c 
8.99/9.00	c # solving stops, if the given number of solutions were found (-1: no limit)
8.99/9.00	c # [type: int, range: [-1,2147483647], default: -1]
8.99/9.00	c limits/solutions = 1
8.99/9.00	c 
8.99/9.00	c # maximal number of separation rounds per node (-1: unlimited)
8.99/9.00	c # [type: int, range: [-1,2147483647], default: 5]
8.99/9.00	c separating/maxrounds = 1
8.99/9.00	c 
8.99/9.00	c # maximal number of separation rounds in the root node (-1: unlimited)
8.99/9.00	c # [type: int, range: [-1,2147483647], default: -1]
8.99/9.00	c separating/maxroundsroot = 5
8.99/9.00	c 
8.99/9.00	c # should presolving try to simplify inequalities
8.99/9.00	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.99/9.00	c constraints/linear/simplifyinequalities = TRUE
8.99/9.00	c 
8.99/9.00	c # should disaggregation of knapsack constraints be allowed in preprocessing?
8.99/9.00	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
8.99/9.00	c constraints/knapsack/disaggregation = FALSE
8.99/9.00	c 
8.99/9.00	c # should presolving try to simplify knapsacks
8.99/9.00	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.99/9.00	c constraints/knapsack/simplifyinequalities = TRUE
8.99/9.01	c 
8.99/9.01	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: -1]
8.99/9.01	c presolving/probing/maxrounds = 0
8.99/9.01	c 
8.99/9.01	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: 10]
8.99/9.01	c heuristics/coefdiving/freq = -1
8.99/9.01	c 
8.99/9.01	c # maximal fraction of diving LP iterations compared to node LP iterations
8.99/9.01	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.99/9.01	c heuristics/coefdiving/maxlpiterquot = 0.075
8.99/9.01	c 
8.99/9.01	c # additional number of allowed LP iterations
8.99/9.01	c # [type: int, range: [0,2147483647], default: 1000]
8.99/9.01	c heuristics/coefdiving/maxlpiterofs = 1500
8.99/9.01	c 
8.99/9.01	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: 30]
8.99/9.01	c heuristics/crossover/freq = -1
8.99/9.01	c 
8.99/9.01	c # number of nodes added to the contingent of the total nodes
8.99/9.01	c # [type: longint, range: [0,9223372036854775807], default: 500]
8.99/9.01	c heuristics/crossover/nodesofs = 750
8.99/9.01	c 
8.99/9.01	c # number of nodes without incumbent change that heuristic should wait
8.99/9.01	c # [type: longint, range: [0,9223372036854775807], default: 200]
8.99/9.01	c heuristics/crossover/nwaitingnodes = 100
8.99/9.01	c 
8.99/9.01	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
8.99/9.01	c # [type: real, range: [0,1], default: 0.1]
8.99/9.01	c heuristics/crossover/nodesquot = 0.15
8.99/9.01	c 
8.99/9.01	c # minimum percentage of integer variables that have to be fixed 
8.99/9.01	c # [type: real, range: [0,1], default: 0.666]
8.99/9.01	c heuristics/crossover/minfixingrate = 0.5
8.99/9.01	c 
8.99/9.01	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: 20]
8.99/9.01	c heuristics/feaspump/freq = -1
8.99/9.01	c 
8.99/9.01	c # additional number of allowed LP iterations
8.99/9.01	c # [type: int, range: [0,2147483647], default: 1000]
8.99/9.01	c heuristics/feaspump/maxlpiterofs = 2000
8.99/9.01	c 
8.99/9.01	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: 10]
8.99/9.01	c heuristics/fracdiving/freq = -1
8.99/9.01	c 
8.99/9.01	c # maximal fraction of diving LP iterations compared to node LP iterations
8.99/9.01	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.99/9.01	c heuristics/fracdiving/maxlpiterquot = 0.075
8.99/9.01	c 
8.99/9.01	c # additional number of allowed LP iterations
8.99/9.01	c # [type: int, range: [0,2147483647], default: 1000]
8.99/9.01	c heuristics/fracdiving/maxlpiterofs = 1500
8.99/9.01	c 
8.99/9.01	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: 10]
8.99/9.01	c heuristics/guideddiving/freq = -1
8.99/9.01	c 
8.99/9.01	c # maximal fraction of diving LP iterations compared to node LP iterations
8.99/9.01	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.99/9.01	c heuristics/guideddiving/maxlpiterquot = 0.075
8.99/9.01	c 
8.99/9.01	c # additional number of allowed LP iterations
8.99/9.01	c # [type: int, range: [0,2147483647], default: 1000]
8.99/9.01	c heuristics/guideddiving/maxlpiterofs = 1500
8.99/9.01	c 
8.99/9.01	c # maximal fraction of diving LP iterations compared to node LP iterations
8.99/9.01	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.99/9.01	c heuristics/intdiving/maxlpiterquot = 0.075
8.99/9.01	c 
8.99/9.01	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: 10]
8.99/9.01	c heuristics/intshifting/freq = -1
8.99/9.01	c 
8.99/9.01	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: 10]
8.99/9.01	c heuristics/linesearchdiving/freq = -1
8.99/9.01	c 
8.99/9.01	c # maximal fraction of diving LP iterations compared to node LP iterations
8.99/9.01	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.99/9.01	c heuristics/linesearchdiving/maxlpiterquot = 0.075
8.99/9.01	c 
8.99/9.01	c # additional number of allowed LP iterations
8.99/9.01	c # [type: int, range: [0,2147483647], default: 1000]
8.99/9.01	c heuristics/linesearchdiving/maxlpiterofs = 1500
8.99/9.01	c 
8.99/9.01	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: 1]
8.99/9.01	c heuristics/nlp/freq = -1
8.99/9.01	c 
8.99/9.01	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: 20]
8.99/9.01	c heuristics/objpscostdiving/freq = -1
8.99/9.01	c 
8.99/9.01	c # maximal fraction of diving LP iterations compared to total iteration number
8.99/9.01	c # [type: real, range: [0,1], default: 0.01]
8.99/9.01	c heuristics/objpscostdiving/maxlpiterquot = 0.015
8.99/9.01	c 
8.99/9.01	c # additional number of allowed LP iterations
8.99/9.01	c # [type: int, range: [0,2147483647], default: 1000]
8.99/9.01	c heuristics/objpscostdiving/maxlpiterofs = 1500
8.99/9.01	c 
8.99/9.01	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: 1]
8.99/9.01	c heuristics/oneopt/freq = -1
8.99/9.01	c 
8.99/9.01	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: 10]
8.99/9.01	c heuristics/pscostdiving/freq = -1
8.99/9.01	c 
8.99/9.01	c # maximal fraction of diving LP iterations compared to node LP iterations
8.99/9.01	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.99/9.01	c heuristics/pscostdiving/maxlpiterquot = 0.075
8.99/9.01	c 
8.99/9.01	c # additional number of allowed LP iterations
8.99/9.01	c # [type: int, range: [0,2147483647], default: 1000]
8.99/9.01	c heuristics/pscostdiving/maxlpiterofs = 1500
8.99/9.01	c 
8.99/9.01	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: 0]
8.99/9.01	c heuristics/rens/freq = -1
8.99/9.01	c 
8.99/9.01	c # minimum percentage of integer variables that have to be fixable 
8.99/9.01	c # [type: real, range: [0,1], default: 0.5]
8.99/9.01	c heuristics/rens/minfixingrate = 0.3
8.99/9.01	c 
8.99/9.01	c # number of nodes added to the contingent of the total nodes
8.99/9.01	c # [type: longint, range: [0,9223372036854775807], default: 500]
8.99/9.01	c heuristics/rens/nodesofs = 2000
8.99/9.01	c 
8.99/9.01	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: 20]
8.99/9.01	c heuristics/rootsoldiving/freq = -1
8.99/9.01	c 
8.99/9.01	c # maximal fraction of diving LP iterations compared to node LP iterations
8.99/9.01	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
8.99/9.01	c heuristics/rootsoldiving/maxlpiterquot = 0.015
8.99/9.01	c 
8.99/9.01	c # additional number of allowed LP iterations
8.99/9.01	c # [type: int, range: [0,2147483647], default: 1000]
8.99/9.01	c heuristics/rootsoldiving/maxlpiterofs = 1500
8.99/9.01	c 
8.99/9.01	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: 1]
8.99/9.01	c heuristics/rounding/freq = -1
8.99/9.01	c 
8.99/9.01	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: 10]
8.99/9.01	c heuristics/shifting/freq = -1
8.99/9.01	c 
8.99/9.01	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: 1]
8.99/9.01	c heuristics/simplerounding/freq = -1
8.99/9.01	c 
8.99/9.01	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: 0]
8.99/9.01	c heuristics/trivial/freq = -1
8.99/9.01	c 
8.99/9.01	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: 1]
8.99/9.01	c heuristics/trysol/freq = -1
8.99/9.01	c 
8.99/9.01	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: 10]
8.99/9.01	c heuristics/veclendiving/freq = -1
8.99/9.01	c 
8.99/9.01	c # maximal fraction of diving LP iterations compared to node LP iterations
8.99/9.01	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.99/9.01	c heuristics/veclendiving/maxlpiterquot = 0.075
8.99/9.01	c 
8.99/9.01	c # additional number of allowed LP iterations
8.99/9.01	c # [type: int, range: [0,2147483647], default: 1000]
8.99/9.01	c heuristics/veclendiving/maxlpiterofs = 1500
8.99/9.01	c 
8.99/9.01	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: 1]
8.99/9.01	c heuristics/zirounding/freq = -1
8.99/9.01	c 
8.99/9.01	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: 0]
8.99/9.01	c separating/cmir/freq = -1
8.99/9.01	c 
8.99/9.01	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: 0]
8.99/9.01	c separating/flowcover/freq = -1
8.99/9.01	c 
8.99/9.01	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: -1]
8.99/9.01	c separating/rapidlearning/freq = 0
8.99/9.01	c 
8.99/9.01	c -----------------------------------------------------------------------------------------------
8.99/9.01	c start solving
8.99/9.01	c 
18.18/18.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
18.18/18.20	c  16.0s|     1 |     0 |  6298 |     - | 133M|   0 |4453 |7559 |  20k|7559 |  20k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
90.77/90.82	c  88.3s|     1 |     0 | 12642 |     - | 133M|   0 |4948 |7559 |  20k|7559 |  20k| 175 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
210.94/211.00	c   208s|     1 |     0 | 21505 |     - | 133M|   0 |4441 |7559 |  20k|7559 |  20k| 245 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
304.01/304.15	c   301s|     1 |     0 | 29493 |     - | 133M|   0 |4596 |7559 |  20k|7559 |  20k| 306 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
392.79/392.94	c   389s|     1 |     0 | 39125 |     - | 133M|   0 |4300 |7559 |  20k|7559 |  20k| 362 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
467.77/467.96	c   464s|     1 |     0 | 48414 |     - | 133M|   0 |4284 |7559 |  20k|7559 |  20k| 404 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
652.42/652.63	c   648s|     1 |     2 | 48414 |     - | 133M|   0 |4284 |7559 |  20k|7559 |  20k| 404 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
1800.04/1800.50	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-2685109-1278439808/watcher-2685109-1278439808 -o /tmp/evaluation-result-2685109-1278439808/solver-2685109-1278439808 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2685109-1278439808.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.38 1.08 0.96 3/105 19274
/proc/meminfo: memFree=1411976/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=9288 CPUtime=0
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 1129 0 0 0 0 0 0 0 25 0 1 0 12189156 9510912 1049 1992294400 4194304 9819077 140733649527216 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19274/statm: 2322 1059 371 1374 0 943 0

[startup+0.0452501 s]
/proc/loadavg: 1.38 1.08 0.96 3/105 19274
/proc/meminfo: memFree=1411976/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=13204 CPUtime=0.04
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 2242 0 0 0 4 0 0 0 25 0 1 0 12189156 13520896 2162 1992294400 4194304 9819077 140733649527216 18446744073709551615 4680179 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19274/statm: 3301 2162 386 1374 0 1922 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13204

[startup+0.101255 s]
/proc/loadavg: 1.38 1.08 0.96 3/105 19274
/proc/meminfo: memFree=1411976/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=17612 CPUtime=0.09
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 3328 0 0 0 9 0 0 0 25 0 1 0 12189156 18034688 3248 1992294400 4194304 9819077 140733649527216 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19274/statm: 4403 3248 386 1374 0 3024 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17612

[startup+0.301274 s]
/proc/loadavg: 1.38 1.08 0.96 3/105 19274
/proc/meminfo: memFree=1411976/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=27572 CPUtime=0.29
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 5833 0 0 0 28 1 0 0 25 0 1 0 12189156 28233728 5753 1992294400 4194304 9819077 140733649527216 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19274/statm: 6893 5753 386 1374 0 5514 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27572

[startup+0.701313 s]
/proc/loadavg: 1.38 1.08 0.96 3/105 19274
/proc/meminfo: memFree=1411976/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=35124 CPUtime=0.69
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 7718 0 0 0 67 2 0 0 25 0 1 0 12189156 35966976 7638 1992294400 4194304 9819077 140733649527216 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19274/statm: 8781 7638 386 1374 0 7402 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35124

[startup+1.50139 s]
/proc/loadavg: 1.38 1.08 0.96 2/106 19275
/proc/meminfo: memFree=1373776/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=61724 CPUtime=1.5
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 14324 0 0 0 145 5 0 0 25 0 1 0 12189156 63205376 14244 1992294400 4194304 9819077 140733649527216 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19274/statm: 15431 14244 386 1374 0 14052 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 61724

[startup+3.10155 s]
/proc/loadavg: 1.43 1.10 0.97 2/106 19275
/proc/meminfo: memFree=1270484/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=209612 CPUtime=3.09
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 51161 0 0 0 291 18 0 0 25 0 1 0 12189156 214642688 50661 1992294400 4194304 9819077 140733649527216 18446744073709551615 5968615 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 52403 50661 486 1374 0 51024 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 209612

[startup+6.30086 s]
/proc/loadavg: 1.43 1.10 0.97 2/106 19275
/proc/meminfo: memFree=1150080/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=283584 CPUtime=6.29
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 69177 0 0 0 597 32 0 0 25 0 1 0 12189156 290390016 68420 1992294400 4194304 9819077 140733649527216 18446744073709551615 5966506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 70896 68420 490 1374 0 69517 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 283584

[startup+12.7015 s]
/proc/loadavg: 1.36 1.09 0.97 2/106 19277
/proc/meminfo: memFree=1122684/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=312240 CPUtime=12.69
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 91816 0 0 0 1206 63 0 0 25 0 1 0 12189156 319733760 72771 1992294400 4194304 9819077 140733649527216 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 78060 72771 640 1374 0 76681 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 312240

[startup+25.5007 s]
/proc/loadavg: 1.31 1.09 0.97 2/106 19277
/proc/meminfo: memFree=1121072/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=314560 CPUtime=25.48
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 99010 0 0 0 2478 70 0 0 25 0 1 0 12189156 322109440 73042 1992294400 4194304 9819077 140733649527216 18446744073709551615 6044346 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 78640 73042 654 1374 0 77261 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 314560

[startup+51.1012 s]
/proc/loadavg: 1.20 1.08 0.97 2/106 19277
/proc/meminfo: memFree=1121072/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=314560 CPUtime=51.08
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 99012 0 0 0 5033 75 0 0 25 0 1 0 12189156 322109440 73044 1992294400 4194304 9819077 140733649527216 18446744073709551615 6055141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 78640 73044 656 1374 0 77261 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 314560

[startup+102.308 s]
/proc/loadavg: 1.08 1.07 0.97 2/106 19279
/proc/meminfo: memFree=1118592/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=317784 CPUtime=102.27
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 121202 0 0 0 10123 104 0 0 25 0 1 0 12189156 325410816 73802 1992294400 4194304 9819077 140733649527216 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 79446 73802 675 1374 0 78067 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 317784

[startup+162.301 s]
/proc/loadavg: 1.03 1.05 0.97 2/106 19281
/proc/meminfo: memFree=1118220/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=317864 CPUtime=162.25
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 124000 0 0 0 16110 115 0 0 25 0 1 0 12189156 325492736 73886 1992294400 4194304 9819077 140733649527216 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 79466 73886 675 1374 0 78087 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 317864

[startup+222.301 s]
/proc/loadavg: 1.01 1.04 0.97 2/106 19281
/proc/meminfo: memFree=1118344/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=317832 CPUtime=222.24
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 151283 0 0 0 22082 142 0 0 25 0 1 0 12189156 325459968 73793 1992294400 4194304 9819077 140733649527216 18446744073709551615 7311669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 79458 73793 675 1374 0 78079 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 317832

[startup+282.301 s]
/proc/loadavg: 1.00 1.03 0.97 2/106 19283
/proc/meminfo: memFree=1117600/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=318120 CPUtime=282.22
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 165268 0 0 0 28061 161 0 0 25 0 1 0 12189156 325754880 74328 1992294400 4194304 9819077 140733649527216 18446744073709551615 6198327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 79530 74328 675 1374 0 78151 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 318120

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 0.97 2/106 19285
/proc/meminfo: memFree=1116484/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=318416 CPUtime=342.2
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 182056 0 0 0 34042 178 0 0 25 0 1 0 12189156 326057984 74331 1992294400 4194304 9819077 140733649527216 18446744073709551615 6198405 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 79604 74331 675 1374 0 78225 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 318416

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 0.97 2/106 19287
/proc/meminfo: memFree=1118220/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=318476 CPUtime=402.19
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 209686 0 0 0 40014 205 0 0 25 0 1 0 12189156 326119424 73861 1992294400 4194304 9819077 140733649527216 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 79619 73861 675 1374 0 78240 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 318476

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 0.97 2/106 19289
/proc/meminfo: memFree=1117600/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=318460 CPUtime=462.18
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 237325 0 0 0 45990 228 0 0 25 0 1 0 12189156 326103040 74188 1992294400 4194304 9819077 140733649527216 18446744073709551615 7304805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 79615 74188 675 1374 0 78236 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 318460

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 19289
/proc/meminfo: memFree=1114624/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=336808 CPUtime=522.16
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 280554 0 0 0 51957 259 0 0 25 0 1 0 12189156 344891392 74957 1992294400 4194304 9819077 140733649527216 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 84202 74957 684 1374 0 82823 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 336808

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 19291
/proc/meminfo: memFree=1114004/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=336808 CPUtime=582.15
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 324115 0 0 0 57923 292 0 0 25 0 1 0 12189156 344891392 74628 1992294400 4194304 9819077 140733649527216 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 84202 74628 684 1374 0 82823 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 336808

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 19296
/proc/meminfo: memFree=1114128/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=336808 CPUtime=642.13
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 366943 0 0 0 63887 326 0 0 25 0 1 0 12189156 344891392 74713 1992294400 4194304 9819077 140733649527216 18446744073709551615 7291092 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 84202 74713 684 1374 0 82823 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 336808

[startup+702.301 s]

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

/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 652938 0 0 0 105658 544 0 0 25 0 1 0 12189156 346144768 75070 1992294400 4194304 9819077 140733649527216 18446744073709551615 7318519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 84508 75070 705 1374 0 83129 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 338032

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 19308
/proc/meminfo: memFree=1112640/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=337972 CPUtime=1122.01
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 694676 0 0 0 111624 577 0 0 25 0 1 0 12189156 346083328 75198 1992294400 4194304 9819077 140733649527216 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 84493 75198 706 1374 0 83114 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 337972

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 19310
/proc/meminfo: memFree=1112268/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=337976 CPUtime=1181.99
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 738631 0 0 0 117591 608 0 0 25 0 1 0 12189156 346087424 74914 1992294400 4194304 9819077 140733649527216 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 84494 74914 708 1374 0 83115 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 337976

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 19312
/proc/meminfo: memFree=1113012/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=337976 CPUtime=1241.98
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 779795 0 0 0 123558 640 0 0 25 0 1 0 12189156 346087424 75076 1992294400 4194304 9819077 140733649527216 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 84494 75076 708 1374 0 83115 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 337976

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 19314
/proc/meminfo: memFree=1112516/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=337976 CPUtime=1301.97
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 824072 0 0 0 129525 672 0 0 25 0 1 0 12189156 346087424 75099 1992294400 4194304 9819077 140733649527216 18446744073709551615 7326177 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 84494 75099 708 1374 0 83115 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 337976

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 19316
/proc/meminfo: memFree=1112888/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=337384 CPUtime=1361.94
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 867296 0 0 0 135492 702 0 0 25 0 1 0 12189156 345481216 75150 1992294400 4194304 9819077 140733649527216 18446744073709551615 7291102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 84346 75150 708 1374 0 82967 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 337384

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 19316
/proc/meminfo: memFree=1112640/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=337384 CPUtime=1421.94
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 911591 0 0 0 141461 733 0 0 25 0 1 0 12189156 345481216 75104 1992294400 4194304 9819077 140733649527216 18446744073709551615 7312735 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 84346 75104 708 1374 0 82967 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 337384

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 19318
/proc/meminfo: memFree=1112888/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=337032 CPUtime=1481.92
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 979401 0 0 0 147411 781 0 0 25 0 1 0 12189156 345120768 75147 1992294400 4194304 9819077 140733649527216 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 84258 75147 708 1374 0 82879 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 337032

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 19320
/proc/meminfo: memFree=1112640/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=322284 CPUtime=1541.9
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 1043755 0 0 0 153364 826 0 0 25 0 1 0 12189156 330018816 75186 1992294400 4194304 9819077 140733649527216 18446744073709551615 7290936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 80571 75186 711 1374 0 79192 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 322284

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 19322
/proc/meminfo: memFree=1110532/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=340612 CPUtime=1601.89
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 1084722 0 0 0 159326 863 0 0 25 0 1 0 12189156 348786688 75575 1992294400 4194304 9819077 140733649527216 18446744073709551615 7290959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 85153 75575 711 1374 0 83774 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 340612

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/106 19324
/proc/meminfo: memFree=1113508/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=322424 CPUtime=1661.87
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 1126018 0 0 0 165295 892 0 0 25 0 1 0 12189156 330162176 74998 1992294400 4194304 9819077 140733649527216 18446744073709551615 7480823 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 80606 74998 711 1374 0 79227 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 322424

[startup+1722.3 s]
/proc/loadavg: 1.06 1.02 0.97 2/106 19324
/proc/meminfo: memFree=1113136/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=322292 CPUtime=1721.86
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 1181481 0 0 0 171252 934 0 0 25 0 1 0 12189156 330027008 74838 1992294400 4194304 9819077 140733649527216 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 80573 74838 711 1374 0 79194 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 322292

[startup+1782.3 s]
/proc/loadavg: 1.08 1.03 0.98 2/106 19326
/proc/meminfo: memFree=1113012/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=322380 CPUtime=1781.84
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 1260518 0 0 0 177195 989 0 0 25 0 1 0 12189156 330117120 75112 1992294400 4194304 9819077 140733649527216 18446744073709551615 7309067 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 80595 75112 711 1374 0 79216 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 322380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.06 1.02 0.98 2/106 19326
/proc/meminfo: memFree=1111896/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=323392 CPUtime=1800.04
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 1283196 0 0 0 179002 1002 0 0 25 0 1 0 12189156 331153408 75233 1992294400 4194304 9819077 140733649527216 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 80848 75233 711 1374 0 79469 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 323392

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -19274

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

[startup+1801.4 s]
/proc/loadavg: 1.06 1.02 0.98 2/107 19327
/proc/meminfo: memFree=1111764/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=323184 CPUtime=1800.94
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 1284336 0 0 0 179091 1003 0 0 25 0 1 0 12189156 330940416 75088 1992294400 4194304 9819077 140733649527216 18446744073709551615 7308970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 80796 75088 711 1374 0 79417 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 323184

[startup+1802.2 s]
/proc/loadavg: 1.06 1.02 0.98 2/107 19327
/proc/meminfo: memFree=1112136/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=323144 CPUtime=1801.73
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 1284960 0 0 0 179170 1003 0 0 25 0 1 0 12189156 330899456 75168 1992294400 4194304 9819077 140733649527216 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 80786 75168 711 1374 0 79407 0
Current children cumulated CPU time (s) 1801.73
Current children cumulated vsize (KiB) 323144

[startup+1802.4 s]
/proc/loadavg: 1.06 1.02 0.98 2/107 19327
/proc/meminfo: memFree=1112136/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=323144 CPUtime=1801.93
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 1285430 0 0 0 179190 1003 0 0 25 0 1 0 12189156 330899456 75066 1992294400 4194304 9819077 140733649527216 18446744073709551615 7311112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 80786 75066 711 1374 0 79407 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 323144

[startup+1802.5 s]
/proc/loadavg: 1.06 1.02 0.98 2/107 19327
/proc/meminfo: memFree=1112136/2059040 swapFree=4192956/4192956
[pid=19274] ppid=19272 vsize=323144 CPUtime=1802.03
/proc/19274/stat : 19274 (pbscip.linux.x8) R 19272 19274 18544 0 -1 4202496 1285452 0 0 0 179200 1003 0 0 25 0 1 0 12189156 330899456 75088 1992294400 4194304 9819077 140733649527216 18446744073709551615 7308271 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19274/statm: 80786 75088 711 1374 0 79407 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 323144

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.54
CPU time (s): 1802.08
CPU user time (s): 1792.01
CPU system time (s): 10.0645
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 340652

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

runsolver used 3.00854 second user time and 8.47771 second system time

The end

Launcher Data 

Begin job on node089 at 2010-07-06 20:10:08
IDJOB=2685109
IDBENCH=74583
IDSOLVER=1168
FILE ID=node089/2685109-1278439808
PBS_JOBID= 11233436
Free space on /tmp= 62556 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12022_9-sat.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-2685109-1278439808/watcher-2685109-1278439808 -o /tmp/evaluation-result-2685109-1278439808/solver-2685109-1278439808 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2685109-1278439808.opb -t 1800 -m 1800

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

MD5SUM BENCH= 0a851c8da3e98872eaeb0a89c94e4840
RANDOM SEED=1061566664

node089.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.244
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.48
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.244
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	: 5999.39
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1412504 kB
Buffers:        109012 kB
Cached:         404580 kB
SwapCached:          0 kB
Active:         210264 kB
Inactive:       363828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1412504 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            8956 kB
Writeback:           0 kB
AnonPages:       60428 kB
Mapped:          14664 kB
Slab:            50704 kB
PageTables:       4040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181996 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62548 MiB
End job on node089 at 2010-07-06 20:40:11