Trace number 2684758

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1802.14 1802.74

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/
j120/normalized-j12056_10-unsat.opb
MD5SUM9569f42797128c8734a8cda484f54275
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 variables57354
Total number of constraints201250
Number of constraints which are clauses200306
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints944
Minimum length of a constraint1
Maximum length of a constraint120
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 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 677
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2684758-1278433511.opb>
3.59/3.64	c original problem has 57354 variables (57354 bin, 0 int, 0 impl, 0 cont) and 201250 constraints
3.59/3.64	c problem read
3.59/3.65	c No objective function, only one solution is needed.
3.59/3.65	c presolving settings loaded
3.59/3.65	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
4.69/4.70	c presolving:
15.09/15.14	c (round 1) 8160 del vars, 23881 del conss, 6491 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12640714 impls, 0 clqs
18.39/18.48	c (round 2) 14505 del vars, 52664 del conss, 12407 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12684438 impls, 0 clqs
21.29/21.33	c (round 3) 17139 del vars, 64606 del conss, 14055 chg bounds, 24 chg sides, 36 chg coeffs, 0 upgd conss, 12709116 impls, 0 clqs
24.98/25.02	c (round 4) 18752 del vars, 71250 del conss, 15218 chg bounds, 39 chg sides, 54 chg coeffs, 0 upgd conss, 12727730 impls, 0 clqs
28.18/28.24	c (round 5) 19956 del vars, 76274 del conss, 16028 chg bounds, 41 chg sides, 56 chg coeffs, 0 upgd conss, 12740654 impls, 0 clqs
29.99/30.04	c (round 6) 20488 del vars, 78707 del conss, 16339 chg bounds, 43 chg sides, 58 chg coeffs, 0 upgd conss, 12747563 impls, 0 clqs
31.38/31.40	c (round 7) 20883 del vars, 80423 del conss, 16586 chg bounds, 47 chg sides, 62 chg coeffs, 0 upgd conss, 12751151 impls, 0 clqs
31.98/32.01	c (round 8) 21052 del vars, 81237 del conss, 16679 chg bounds, 47 chg sides, 62 chg coeffs, 0 upgd conss, 12752206 impls, 0 clqs
32.28/32.32	c (round 9) 21112 del vars, 81530 del conss, 16706 chg bounds, 47 chg sides, 62 chg coeffs, 0 upgd conss, 12752564 impls, 0 clqs
32.48/32.54	c (round 10) 21122 del vars, 81604 del conss, 16711 chg bounds, 47 chg sides, 62 chg coeffs, 0 upgd conss, 12752642 impls, 0 clqs
32.69/32.72	c (round 11) 21124 del vars, 81623 del conss, 16712 chg bounds, 47 chg sides, 62 chg coeffs, 0 upgd conss, 12752660 impls, 0 clqs
33.88/33.94	c (round 12) 21124 del vars, 81626 del conss, 16712 chg bounds, 47 chg sides, 62 chg coeffs, 119624 upgd conss, 12752660 impls, 0 clqs
35.87/35.99	c (round 13) 21124 del vars, 81626 del conss, 16712 chg bounds, 92 chg sides, 287 chg coeffs, 119624 upgd conss, 12753544 impls, 4911 clqs
37.17/37.26	c presolving (14 rounds):
37.17/37.26	c  21124 deleted vars, 81626 deleted constraints, 16712 tightened bounds, 0 added holes, 100 changed sides, 354 changed coefficients
37.17/37.26	c  12753544 implications, 5248 cliques
37.17/37.26	c presolved problem has 36230 variables (36230 bin, 0 int, 0 impl, 0 cont) and 119624 constraints
37.17/37.26	c     928 constraints of type <knapsack>
37.17/37.26	c  118696 constraints of type <logicor>
37.17/37.26	c transformed objective value is always integral (scale: 1)
37.17/37.26	c Presolving Time: 31.29
37.17/37.26	c - non default parameters ----------------------------------------------------------------------
37.17/37.26	c # SCIP version 1.2.1.2
37.17/37.26	c 
37.17/37.26	c # frequency for displaying node information lines
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 100]
37.17/37.26	c display/freq = 10000
37.17/37.26	c 
37.17/37.26	c # maximal time in seconds to run
37.17/37.26	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
37.17/37.26	c limits/time = 1796.35
37.17/37.26	c 
37.17/37.26	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
37.17/37.26	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
37.17/37.26	c limits/memory = 1620
37.17/37.26	c 
37.17/37.26	c # solving stops, if the given number of solutions were found (-1: no limit)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: -1]
37.17/37.26	c limits/solutions = 1
37.17/37.26	c 
37.17/37.26	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 1]
37.17/37.26	c lp/solvefreq = -1
37.17/37.26	c 
37.17/37.26	c # maximal number of separation rounds per node (-1: unlimited)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 5]
37.17/37.26	c separating/maxrounds = 1
37.17/37.26	c 
37.17/37.26	c # maximal number of separation rounds in the root node (-1: unlimited)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: -1]
37.17/37.26	c separating/maxroundsroot = 5
37.17/37.26	c 
37.17/37.26	c # should presolving try to simplify inequalities
37.17/37.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
37.17/37.26	c constraints/linear/simplifyinequalities = TRUE
37.17/37.26	c 
37.17/37.26	c # should disaggregation of knapsack constraints be allowed in preprocessing?
37.17/37.26	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
37.17/37.26	c constraints/knapsack/disaggregation = FALSE
37.17/37.26	c 
37.17/37.26	c # should presolving try to simplify knapsacks
37.17/37.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
37.17/37.26	c constraints/knapsack/simplifyinequalities = TRUE
37.17/37.26	c 
37.17/37.26	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: -1]
37.17/37.26	c presolving/probing/maxrounds = 0
37.17/37.26	c 
37.17/37.26	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 10]
37.17/37.26	c heuristics/coefdiving/freq = -1
37.17/37.26	c 
37.17/37.26	c # maximal fraction of diving LP iterations compared to node LP iterations
37.17/37.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.17/37.26	c heuristics/coefdiving/maxlpiterquot = 0.075
37.17/37.26	c 
37.17/37.26	c # additional number of allowed LP iterations
37.17/37.26	c # [type: int, range: [0,2147483647], default: 1000]
37.17/37.26	c heuristics/coefdiving/maxlpiterofs = 1500
37.17/37.26	c 
37.17/37.26	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 30]
37.17/37.26	c heuristics/crossover/freq = -1
37.17/37.26	c 
37.17/37.26	c # number of nodes added to the contingent of the total nodes
37.17/37.26	c # [type: longint, range: [0,9223372036854775807], default: 500]
37.17/37.26	c heuristics/crossover/nodesofs = 750
37.17/37.26	c 
37.17/37.26	c # number of nodes without incumbent change that heuristic should wait
37.17/37.26	c # [type: longint, range: [0,9223372036854775807], default: 200]
37.17/37.26	c heuristics/crossover/nwaitingnodes = 100
37.17/37.26	c 
37.17/37.26	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
37.17/37.26	c # [type: real, range: [0,1], default: 0.1]
37.17/37.26	c heuristics/crossover/nodesquot = 0.15
37.17/37.26	c 
37.17/37.26	c # minimum percentage of integer variables that have to be fixed 
37.17/37.26	c # [type: real, range: [0,1], default: 0.666]
37.17/37.26	c heuristics/crossover/minfixingrate = 0.5
37.17/37.26	c 
37.17/37.26	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 20]
37.17/37.26	c heuristics/feaspump/freq = -1
37.17/37.26	c 
37.17/37.26	c # additional number of allowed LP iterations
37.17/37.26	c # [type: int, range: [0,2147483647], default: 1000]
37.17/37.26	c heuristics/feaspump/maxlpiterofs = 2000
37.17/37.26	c 
37.17/37.26	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 10]
37.17/37.26	c heuristics/fracdiving/freq = -1
37.17/37.26	c 
37.17/37.26	c # maximal fraction of diving LP iterations compared to node LP iterations
37.17/37.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.17/37.26	c heuristics/fracdiving/maxlpiterquot = 0.075
37.17/37.26	c 
37.17/37.26	c # additional number of allowed LP iterations
37.17/37.26	c # [type: int, range: [0,2147483647], default: 1000]
37.17/37.26	c heuristics/fracdiving/maxlpiterofs = 1500
37.17/37.26	c 
37.17/37.26	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 10]
37.17/37.26	c heuristics/guideddiving/freq = -1
37.17/37.26	c 
37.17/37.26	c # maximal fraction of diving LP iterations compared to node LP iterations
37.17/37.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.17/37.26	c heuristics/guideddiving/maxlpiterquot = 0.075
37.17/37.26	c 
37.17/37.26	c # additional number of allowed LP iterations
37.17/37.26	c # [type: int, range: [0,2147483647], default: 1000]
37.17/37.26	c heuristics/guideddiving/maxlpiterofs = 1500
37.17/37.26	c 
37.17/37.26	c # maximal fraction of diving LP iterations compared to node LP iterations
37.17/37.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.17/37.26	c heuristics/intdiving/maxlpiterquot = 0.075
37.17/37.26	c 
37.17/37.26	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 10]
37.17/37.26	c heuristics/intshifting/freq = -1
37.17/37.26	c 
37.17/37.26	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 10]
37.17/37.26	c heuristics/linesearchdiving/freq = -1
37.17/37.26	c 
37.17/37.26	c # maximal fraction of diving LP iterations compared to node LP iterations
37.17/37.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.17/37.26	c heuristics/linesearchdiving/maxlpiterquot = 0.075
37.17/37.26	c 
37.17/37.26	c # additional number of allowed LP iterations
37.17/37.26	c # [type: int, range: [0,2147483647], default: 1000]
37.17/37.26	c heuristics/linesearchdiving/maxlpiterofs = 1500
37.17/37.26	c 
37.17/37.26	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 1]
37.17/37.26	c heuristics/nlp/freq = -1
37.17/37.26	c 
37.17/37.26	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 20]
37.17/37.26	c heuristics/objpscostdiving/freq = -1
37.17/37.26	c 
37.17/37.26	c # maximal fraction of diving LP iterations compared to total iteration number
37.17/37.26	c # [type: real, range: [0,1], default: 0.01]
37.17/37.26	c heuristics/objpscostdiving/maxlpiterquot = 0.015
37.17/37.26	c 
37.17/37.26	c # additional number of allowed LP iterations
37.17/37.26	c # [type: int, range: [0,2147483647], default: 1000]
37.17/37.26	c heuristics/objpscostdiving/maxlpiterofs = 1500
37.17/37.26	c 
37.17/37.26	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 1]
37.17/37.26	c heuristics/oneopt/freq = -1
37.17/37.26	c 
37.17/37.26	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 10]
37.17/37.26	c heuristics/pscostdiving/freq = -1
37.17/37.26	c 
37.17/37.26	c # maximal fraction of diving LP iterations compared to node LP iterations
37.17/37.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.17/37.26	c heuristics/pscostdiving/maxlpiterquot = 0.075
37.17/37.26	c 
37.17/37.26	c # additional number of allowed LP iterations
37.17/37.26	c # [type: int, range: [0,2147483647], default: 1000]
37.17/37.26	c heuristics/pscostdiving/maxlpiterofs = 1500
37.17/37.26	c 
37.17/37.26	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 0]
37.17/37.26	c heuristics/rens/freq = -1
37.17/37.26	c 
37.17/37.26	c # minimum percentage of integer variables that have to be fixable 
37.17/37.26	c # [type: real, range: [0,1], default: 0.5]
37.17/37.26	c heuristics/rens/minfixingrate = 0.3
37.17/37.26	c 
37.17/37.26	c # number of nodes added to the contingent of the total nodes
37.17/37.26	c # [type: longint, range: [0,9223372036854775807], default: 500]
37.17/37.26	c heuristics/rens/nodesofs = 2000
37.17/37.26	c 
37.17/37.26	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 20]
37.17/37.26	c heuristics/rootsoldiving/freq = -1
37.17/37.26	c 
37.17/37.26	c # maximal fraction of diving LP iterations compared to node LP iterations
37.17/37.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
37.17/37.26	c heuristics/rootsoldiving/maxlpiterquot = 0.015
37.17/37.26	c 
37.17/37.26	c # additional number of allowed LP iterations
37.17/37.26	c # [type: int, range: [0,2147483647], default: 1000]
37.17/37.26	c heuristics/rootsoldiving/maxlpiterofs = 1500
37.17/37.26	c 
37.17/37.26	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 1]
37.17/37.26	c heuristics/rounding/freq = -1
37.17/37.26	c 
37.17/37.26	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 10]
37.17/37.26	c heuristics/shifting/freq = -1
37.17/37.26	c 
37.17/37.26	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 1]
37.17/37.26	c heuristics/simplerounding/freq = -1
37.17/37.26	c 
37.17/37.26	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 0]
37.17/37.26	c heuristics/trivial/freq = -1
37.17/37.26	c 
37.17/37.26	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 1]
37.17/37.26	c heuristics/trysol/freq = -1
37.17/37.26	c 
37.17/37.26	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 10]
37.17/37.26	c heuristics/veclendiving/freq = -1
37.17/37.26	c 
37.17/37.26	c # maximal fraction of diving LP iterations compared to node LP iterations
37.17/37.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.17/37.26	c heuristics/veclendiving/maxlpiterquot = 0.075
37.17/37.26	c 
37.17/37.26	c # additional number of allowed LP iterations
37.17/37.26	c # [type: int, range: [0,2147483647], default: 1000]
37.17/37.26	c heuristics/veclendiving/maxlpiterofs = 1500
37.17/37.26	c 
37.17/37.26	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 1]
37.17/37.26	c heuristics/zirounding/freq = -1
37.17/37.26	c 
37.17/37.26	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 0]
37.17/37.26	c separating/cmir/freq = -1
37.17/37.26	c 
37.17/37.26	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: 0]
37.17/37.26	c separating/flowcover/freq = -1
37.17/37.26	c 
37.17/37.26	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
37.17/37.26	c # [type: int, range: [-1,2147483647], default: -1]
37.17/37.26	c separating/rapidlearning/freq = 0
37.17/37.26	c 
37.17/37.26	c -----------------------------------------------------------------------------------------------
37.17/37.26	c start solving
37.27/37.30	c 
37.38/37.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
37.38/37.49	c  32.1s|     1 |     2 |     0 |     - | 459M|   0 |   - |  36k| 119k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
743.84/744.14	c   737s| 10000 |  4781 |     0 |   0.0 | 610M| 374 |   - |  36k| 117k|   0 |   0 |   0 |6575 |   0 | 0.000000e+00 |      --      |    Inf 
1445.01/1445.54	c  1436s| 20000 |  9382 |     0 |   0.0 | 728M| 374 |   - |  36k| 119k|   0 |   0 |   0 |  16k|   0 | 0.000000e+00 |      --      |    Inf 
1800.02/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-2684758-1278433511/watcher-2684758-1278433511 -o /tmp/evaluation-result-2684758-1278433511/solver-2684758-1278433511 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2684758-1278433511.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.84 2.01 2.01 3/105 21409
/proc/meminfo: memFree=1478060/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=6584 CPUtime=0
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 1106 0 0 0 0 0 0 0 17 0 1 0 11557794 6742016 1029 1992294400 4194304 7136930 140736307596272 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21409/statm: 1646 1040 254 719 0 925 0

[startup+0.0144309 s]
/proc/loadavg: 1.84 2.01 2.01 3/105 21409
/proc/meminfo: memFree=1478060/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=8124 CPUtime=0
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 1502 0 0 0 0 0 0 0 17 0 1 0 11557794 8318976 1425 1992294400 4194304 7136930 140736307596272 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21409/statm: 2031 1425 268 719 0 1310 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8124

[startup+0.10042 s]
/proc/loadavg: 1.84 2.01 2.01 3/105 21409
/proc/meminfo: memFree=1478060/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=14908 CPUtime=0.09
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 3203 0 0 0 8 1 0 0 19 0 1 0 11557794 15265792 3126 1992294400 4194304 7136930 140736307596272 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21409/statm: 3727 3126 268 719 0 3006 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14908

[startup+0.300446 s]
/proc/loadavg: 1.84 2.01 2.01 3/105 21409
/proc/meminfo: memFree=1478060/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=26868 CPUtime=0.29
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 6221 0 0 0 27 2 0 0 19 0 1 0 11557794 27512832 6135 1992294400 4194304 7136930 140736307596272 18446744073709551615 5647852 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21409/statm: 6717 6135 268 719 0 5996 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26868

[startup+0.700495 s]
/proc/loadavg: 1.84 2.01 2.01 3/105 21409
/proc/meminfo: memFree=1478060/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=42148 CPUtime=0.69
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 10029 0 0 0 66 3 0 0 19 0 1 0 11557794 43159552 9943 1992294400 4194304 7136930 140736307596272 18446744073709551615 5650975 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21409/statm: 10537 9943 268 719 0 9816 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42148

[startup+1.5006 s]
/proc/loadavg: 1.84 2.01 2.01 2/106 21410
/proc/meminfo: memFree=1433412/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=58744 CPUtime=1.49
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 14180 0 0 0 144 5 0 0 21 0 1 0 11557794 60153856 14094 1992294400 4194304 7136930 140736307596272 18446744073709551615 6178282 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21409/statm: 14686 14094 268 719 0 13965 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58744

[startup+3.1008 s]
/proc/loadavg: 1.84 2.01 2.01 2/106 21410
/proc/meminfo: memFree=1405884/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=108284 CPUtime=3.09
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 26550 0 0 0 300 9 0 0 25 0 1 0 11557794 110882816 26464 1992294400 4194304 7136930 140736307596272 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21409/statm: 27071 26464 268 719 0 26350 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 108284

[startup+6.3012 s]
/proc/loadavg: 1.77 2.00 2.00 2/106 21410
/proc/meminfo: memFree=1147964/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=390184 CPUtime=6.29
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 95934 0 0 0 590 39 0 0 25 0 1 0 11557794 399548416 95475 1992294400 4194304 7136930 140736307596272 18446744073709551615 4988184 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 97546 95475 341 719 0 96825 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 390184

[startup+12.701 s]
/proc/loadavg: 1.71 1.98 2.00 2/106 21410
/proc/meminfo: memFree=896500/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=614792 CPUtime=12.68
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 149613 0 0 0 1201 67 0 0 25 0 1 0 11557794 629547008 149154 1992294400 4194304 7136930 140736307596272 18446744073709551615 4690488 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 153698 149154 341 719 0 152977 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 614792

[startup+25.5006 s]
/proc/loadavg: 1.55 1.93 1.98 2/106 21410
/proc/meminfo: memFree=835492/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=662868 CPUtime=25.48
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 161878 0 0 0 2436 112 0 0 25 0 1 0 11557794 678776832 160391 1992294400 4194304 7136930 140736307596272 18446744073709551615 5966506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 165717 160391 346 719 0 164996 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 662868

[startup+51.1008 s]
/proc/loadavg: 1.36 1.86 1.95 2/106 21412
/proc/meminfo: memFree=812924/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=690036 CPUtime=51.06
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 190368 0 0 0 4918 188 0 0 25 0 1 0 11557794 706596864 166254 1992294400 4194304 7136930 140736307596272 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 172509 166254 389 719 0 171788 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 690036

[startup+102.308 s]
/proc/loadavg: 1.16 1.72 1.90 2/106 21412
/proc/meminfo: memFree=748444/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=755040 CPUtime=102.25
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 206450 0 0 0 10016 209 0 0 25 0 1 0 11557794 773160960 182307 1992294400 4194304 7136930 140736307596272 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 188760 182307 393 719 0 188039 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 755040

[startup+162.301 s]
/proc/loadavg: 1.06 1.59 1.84 2/106 21414
/proc/meminfo: memFree=728108/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=776552 CPUtime=162.23
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 211553 0 0 0 16002 221 0 0 25 0 1 0 11557794 795189248 187410 1992294400 4194304 7136930 140736307596272 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 194138 187410 393 719 0 193417 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 776552

[startup+222.3 s]
/proc/loadavg: 1.02 1.48 1.79 2/106 21416
/proc/meminfo: memFree=713352/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=792012 CPUtime=222.2
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 215273 0 0 0 21987 233 0 0 25 0 1 0 11557794 811020288 191130 1992294400 4194304 7136930 140736307596272 18446744073709551615 5955538 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 198003 191130 393 719 0 197282 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 792012

[startup+282.301 s]
/proc/loadavg: 1.00 1.39 1.73 2/106 21418
/proc/meminfo: memFree=672804/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=834184 CPUtime=282.19
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 225500 0 0 0 27970 249 0 0 25 0 1 0 11557794 854204416 201227 1992294400 4194304 7136930 140736307596272 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 208546 201227 393 719 0 207825 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 834184

[startup+342.301 s]
/proc/loadavg: 1.00 1.32 1.68 2/106 21420
/proc/meminfo: memFree=636348/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=872272 CPUtime=342.17
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 234592 0 0 0 33952 265 0 0 25 0 1 0 11557794 893206528 210319 1992294400 4194304 7136930 140736307596272 18446744073709551615 4858882 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 218068 210319 393 719 0 217347 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 872272

[startup+402.301 s]
/proc/loadavg: 1.00 1.26 1.64 2/106 21420
/proc/meminfo: memFree=604604/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=906692 CPUtime=402.16
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 242692 0 0 0 39938 278 0 0 25 0 1 0 11557794 928452608 218289 1992294400 4194304 7136930 140736307596272 18446744073709551615 5957339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 226673 218289 393 719 0 225952 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 906692

[startup+462.301 s]
/proc/loadavg: 1.00 1.21 1.60 2/106 21422
/proc/meminfo: memFree=578564/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=935136 CPUtime=462.13
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 249055 0 0 0 45920 293 0 0 25 0 1 0 11557794 957579264 224652 1992294400 4194304 7136930 140736307596272 18446744073709551615 4855352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 233784 224652 393 719 0 233063 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 935136

[startup+522.3 s]
/proc/loadavg: 1.00 1.17 1.56 2/106 21424
/proc/meminfo: memFree=552276/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=964628 CPUtime=522.11
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 255693 0 0 0 51905 306 0 0 25 0 1 0 11557794 987779072 231290 1992294400 4194304 7136930 140736307596272 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 241157 231290 393 719 0 240436 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 964628

[startup+582.301 s]
/proc/loadavg: 1.00 1.13 1.52 2/106 21426
/proc/meminfo: memFree=524128/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=994268 CPUtime=582.09
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 262635 0 0 0 57888 321 0 0 25 0 1 0 11557794 1018130432 238232 1992294400 4194304 7136930 140736307596272 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 248567 238232 393 719 0 247846 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 994268

[startup+642.3 s]
/proc/loadavg: 1.00 1.11 1.48 2/106 21428
/proc/meminfo: memFree=503420/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=1018108 CPUtime=642.08
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 267783 0 0 0 63874 334 0 0 25 0 1 0 11557794 1042542592 243380 1992294400 4194304 7136930 140736307596272 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 254527 243380 393 719 0 253806 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 1018108

[startup+702.301 s]

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

/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 297748 0 0 0 105762 432 0 0 25 0 1 0 11557794 1187180544 273345 1992294400 4194304 7136930 140736307596272 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 289839 273345 393 719 0 289118 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 1159356

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.27 2/106 21440
/proc/meminfo: memFree=367516/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=1180216 CPUtime=1121.92
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 301840 0 0 0 111749 443 0 0 25 0 1 0 11557794 1208541184 277437 1992294400 4194304 7136930 140736307596272 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 295054 277437 393 719 0 294333 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 1180216

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.25 2/106 21442
/proc/meminfo: memFree=350032/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=1200592 CPUtime=1181.9
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 306028 0 0 0 117734 456 0 0 25 0 1 0 11557794 1229406208 281625 1992294400 4194304 7136930 140736307596272 18446744073709551615 4677933 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 300148 281625 393 719 0 299427 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 1200592

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.23 2/106 21444
/proc/meminfo: memFree=331308/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=1223408 CPUtime=1241.88
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 310645 0 0 0 123720 468 0 0 25 0 1 0 11557794 1252769792 286242 1992294400 4194304 7136930 140736307596272 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 305852 286242 393 719 0 305131 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1223408

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.22 2/106 21444
/proc/meminfo: memFree=317916/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=1239208 CPUtime=1301.87
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 313966 0 0 0 129705 482 0 0 25 0 1 0 11557794 1268948992 289563 1992294400 4194304 7136930 140736307596272 18446744073709551615 4998262 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 309802 289563 393 719 0 309081 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1239208

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.20 2/106 21446
/proc/meminfo: memFree=302416/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=1257740 CPUtime=1361.84
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 317855 0 0 0 135689 495 0 0 25 0 1 0 11557794 1287925760 293452 1992294400 4194304 7136930 140736307596272 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 314435 293452 393 719 0 313714 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1257740

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.18 2/106 21448
/proc/meminfo: memFree=287164/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=1275628 CPUtime=1421.83
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 321719 0 0 0 141674 509 0 0 25 0 1 0 11557794 1306243072 297316 1992294400 4194304 7136930 140736307596272 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 318907 297316 393 719 0 318186 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1275628

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/106 21450
/proc/meminfo: memFree=272656/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=1292596 CPUtime=1481.8
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 325301 0 0 0 147659 521 0 0 25 0 1 0 11557794 1323618304 300898 1992294400 4194304 7136930 140736307596272 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 323149 300898 393 719 0 322428 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1292596

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/106 21452
/proc/meminfo: memFree=258644/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=1310052 CPUtime=1541.78
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 328780 0 0 0 153645 533 0 0 25 0 1 0 11557794 1341493248 304377 1992294400 4194304 7136930 140736307596272 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 327513 304377 393 719 0 326792 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1310052

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/106 21452
/proc/meminfo: memFree=245376/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=1327292 CPUtime=1601.76
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 332131 0 0 0 159630 546 0 0 25 0 1 0 11557794 1359147008 307728 1992294400 4194304 7136930 140736307596272 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 331823 307728 393 719 0 331102 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1327292

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/106 21454
/proc/meminfo: memFree=227272/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=1352032 CPUtime=1661.75
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 336610 0 0 0 165617 558 0 0 25 0 1 0 11557794 1384480768 312207 1992294400 4194304 7136930 140736307596272 18446744073709551615 4665287 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 338008 312207 393 719 0 337287 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1352032

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/106 21456
/proc/meminfo: memFree=211276/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=1370836 CPUtime=1721.72
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 340547 0 0 0 171603 569 0 0 25 0 1 0 11557794 1403736064 316144 1992294400 4194304 7136930 140736307596272 18446744073709551615 4660122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 342709 316144 393 719 0 341988 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1370836

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/106 21458
/proc/meminfo: memFree=192180/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=1395032 CPUtime=1781.7
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 345349 0 0 0 177589 581 0 0 25 0 1 0 11557794 1428512768 320946 1992294400 4194304 7136930 140736307596272 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 348758 320946 393 719 0 348037 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 1395032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.11 2/106 21458
/proc/meminfo: memFree=186848/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=1401764 CPUtime=1800.02
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 346639 0 0 0 179417 585 0 0 25 0 1 0 11557794 1435406336 322236 1992294400 4194304 7136930 140736307596272 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 350441 322236 393 719 0 349720 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1401764

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -21409

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.11 2/106 21458
/proc/meminfo: memFree=186848/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=1401764 CPUtime=1800.8
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 346651 0 0 0 179495 585 0 0 25 0 1 0 11557794 1435406336 322248 1992294400 4194304 7136930 140736307596272 18446744073709551615 4697611 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 350441 322248 393 719 0 349720 0
Current children cumulated CPU time (s) 1800.8
Current children cumulated vsize (KiB) 1401764

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 21459
/proc/meminfo: memFree=186716/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=1401764 CPUtime=1801.6
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 346651 0 0 0 179575 585 0 0 25 0 1 0 11557794 1435406336 322248 1992294400 4194304 7136930 140736307596272 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 350441 322248 393 719 0 349720 0
Current children cumulated CPU time (s) 1801.6
Current children cumulated vsize (KiB) 1401764

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 21459
/proc/meminfo: memFree=186716/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=1401764 CPUtime=1802
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4202496 346651 0 0 0 179615 585 0 0 25 0 1 0 11557794 1435406336 322248 1992294400 4194304 7136930 140736307596272 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21409/statm: 350441 322248 393 719 0 349720 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 1401764

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 21459
/proc/meminfo: memFree=186716/2059040 swapFree=4192956/4192956
[pid=21409] ppid=21407 vsize=0 CPUtime=1802.1
/proc/21409/stat : 21409 (pbscip.linux.x8) R 21407 21409 21384 0 -1 4203524 346651 0 0 0 179617 593 0 0 25 0 1 0 11557794 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21409/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.74
CPU time (s): 1802.14
CPU user time (s): 1796.17
CPU system time (s): 5.97309
CPU usage (%): 99.9671
Max. virtual memory (cumulated for all children) (KiB): 1401764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.17
system time used= 5.97309
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346651
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= 2
involuntary context switches= 13458

runsolver used 2.95055 second user time and 8.5507 second system time

The end

Launcher Data 

Begin job on node054 at 2010-07-06 18:25:11
IDJOB=2684758
IDBENCH=73545
IDSOLVER=1167
FILE ID=node054/2684758-1278433511
PBS_JOBID= 11233485
Free space on /tmp= 62432 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12056_10-unsat.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684758-1278433511/watcher-2684758-1278433511 -o /tmp/evaluation-result-2684758-1278433511/solver-2684758-1278433511 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2684758-1278433511.opb -t 1800 -m 1800

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

MD5SUM BENCH= 9569f42797128c8734a8cda484f54275
RANDOM SEED=1774827545

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1479068 kB
Buffers:        103208 kB
Cached:         344528 kB
SwapCached:          0 kB
Active:         179636 kB
Inactive:       327912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1479068 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            9872 kB
Writeback:           0 kB
AnonPages:       59744 kB
Mapped:          14432 kB
Slab:            50668 kB
PageTables:       4124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179952 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62428 MiB
End job on node054 at 2010-07-06 18:55:14