Trace number 2685432

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1802.07 1802.64

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6041_4-sat.opb
MD5SUMfab97298bb200d43ab726d5ed3b8b0cb
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 benchmark1.12183
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16348
Total number of constraints56848
Number of constraints which are clauses56316
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints532
Minimum length of a constraint1
Maximum length of a constraint50
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 270
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2685432-1278441183.opb>
1.00/1.02	c original problem has 16348 variables (16348 bin, 0 int, 0 impl, 0 cont) and 56848 constraints
1.00/1.02	c problem read
1.00/1.02	c No objective function, only one solution is needed.
1.00/1.03	c presolving settings loaded
1.29/1.33	c presolving:
3.89/3.94	c (round 1) 3649 del vars, 10309 del conss, 2829 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3160302 impls, 0 clqs
4.89/4.96	c (round 2) 6803 del vars, 24412 del conss, 5665 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3186942 impls, 0 clqs
5.19/5.27	c (round 3) 7838 del vars, 29757 del conss, 6257 chg bounds, 21 chg sides, 27 chg coeffs, 0 upgd conss, 3199857 impls, 0 clqs
5.39/5.41	c (round 4) 8256 del vars, 31806 del conss, 6567 chg bounds, 35 chg sides, 38 chg coeffs, 0 upgd conss, 3205139 impls, 0 clqs
5.49/5.53	c (round 5) 8681 del vars, 33273 del conss, 6825 chg bounds, 35 chg sides, 38 chg coeffs, 0 upgd conss, 3211146 impls, 0 clqs
5.59/5.61	c (round 6) 8996 del vars, 34410 del conss, 7031 chg bounds, 35 chg sides, 38 chg coeffs, 0 upgd conss, 3215027 impls, 0 clqs
5.59/5.67	c (round 7) 9174 del vars, 35081 del conss, 7118 chg bounds, 35 chg sides, 38 chg coeffs, 0 upgd conss, 3217043 impls, 0 clqs
5.69/5.72	c (round 8) 9270 del vars, 35441 del conss, 7173 chg bounds, 35 chg sides, 38 chg coeffs, 0 upgd conss, 3217918 impls, 0 clqs
5.69/5.75	c (round 9) 9316 del vars, 35640 del conss, 7185 chg bounds, 35 chg sides, 38 chg coeffs, 0 upgd conss, 3218371 impls, 0 clqs
5.69/5.79	c (round 10) 9328 del vars, 35710 del conss, 7187 chg bounds, 35 chg sides, 38 chg coeffs, 0 upgd conss, 3218553 impls, 0 clqs
5.79/5.82	c (round 11) 9330 del vars, 35724 del conss, 7188 chg bounds, 35 chg sides, 38 chg coeffs, 0 upgd conss, 3218573 impls, 0 clqs
5.79/5.85	c (round 12) 9331 del vars, 35730 del conss, 7188 chg bounds, 35 chg sides, 38 chg coeffs, 0 upgd conss, 3218593 impls, 0 clqs
5.99/6.10	c (round 13) 9331 del vars, 35731 del conss, 7188 chg bounds, 35 chg sides, 38 chg coeffs, 21117 upgd conss, 3218593 impls, 0 clqs
6.29/6.30	c (round 14) 9334 del vars, 35740 del conss, 7189 chg bounds, 52 chg sides, 195 chg coeffs, 21117 upgd conss, 3220784 impls, 700 clqs
6.39/6.47	c (round 15) 9342 del vars, 35754 del conss, 7190 chg bounds, 54 chg sides, 288 chg coeffs, 21117 upgd conss, 3227717 impls, 821 clqs
6.50/6.60	c (round 16) 9352 del vars, 35788 del conss, 7191 chg bounds, 54 chg sides, 315 chg coeffs, 21117 upgd conss, 3231108 impls, 829 clqs
6.69/6.75	c (round 17) 9362 del vars, 35814 del conss, 7193 chg bounds, 55 chg sides, 322 chg coeffs, 21117 upgd conss, 3231206 impls, 830 clqs
6.79/6.83	c (round 18) 9365 del vars, 35819 del conss, 7193 chg bounds, 55 chg sides, 324 chg coeffs, 21117 upgd conss, 3231222 impls, 830 clqs
6.89/6.91	c presolving (19 rounds):
6.89/6.91	c  9365 deleted vars, 35819 deleted constraints, 7193 tightened bounds, 0 added holes, 55 changed sides, 324 changed coefficients
6.89/6.91	c  3231222 implications, 830 cliques
6.89/6.91	c presolved problem has 6983 variables (6983 bin, 0 int, 0 impl, 0 cont) and 21029 constraints
6.89/6.91	c     495 constraints of type <knapsack>
6.89/6.91	c   20534 constraints of type <logicor>
6.89/6.91	c transformed objective value is always integral (scale: 1)
6.89/6.91	c Presolving Time: 5.28
6.89/6.91	c - non default parameters ----------------------------------------------------------------------
6.89/6.91	c # SCIP version 1.2.1.2
6.89/6.91	c 
6.89/6.91	c # frequency for displaying node information lines
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 100]
6.89/6.91	c display/freq = 10000
6.89/6.91	c 
6.89/6.91	c # maximal time in seconds to run
6.89/6.91	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.89/6.91	c limits/time = 1798.98
6.89/6.91	c 
6.89/6.91	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.89/6.91	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.89/6.91	c limits/memory = 1620
6.89/6.91	c 
6.89/6.91	c # solving stops, if the given number of solutions were found (-1: no limit)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: -1]
6.89/6.91	c limits/solutions = 1
6.89/6.91	c 
6.89/6.91	c # maximal number of separation rounds per node (-1: unlimited)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 5]
6.89/6.91	c separating/maxrounds = 1
6.89/6.91	c 
6.89/6.91	c # maximal number of separation rounds in the root node (-1: unlimited)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: -1]
6.89/6.91	c separating/maxroundsroot = 5
6.89/6.91	c 
6.89/6.91	c # should presolving try to simplify inequalities
6.89/6.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.89/6.91	c constraints/linear/simplifyinequalities = TRUE
6.89/6.91	c 
6.89/6.91	c # should disaggregation of knapsack constraints be allowed in preprocessing?
6.89/6.91	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
6.89/6.91	c constraints/knapsack/disaggregation = FALSE
6.89/6.91	c 
6.89/6.91	c # should presolving try to simplify knapsacks
6.89/6.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.89/6.91	c constraints/knapsack/simplifyinequalities = TRUE
6.89/6.91	c 
6.89/6.91	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: -1]
6.89/6.91	c presolving/probing/maxrounds = 0
6.89/6.91	c 
6.89/6.91	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 10]
6.89/6.91	c heuristics/coefdiving/freq = -1
6.89/6.91	c 
6.89/6.91	c # maximal fraction of diving LP iterations compared to node LP iterations
6.89/6.91	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
6.89/6.91	c heuristics/coefdiving/maxlpiterquot = 0.075
6.89/6.91	c 
6.89/6.91	c # additional number of allowed LP iterations
6.89/6.91	c # [type: int, range: [0,2147483647], default: 1000]
6.89/6.91	c heuristics/coefdiving/maxlpiterofs = 1500
6.89/6.91	c 
6.89/6.91	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 30]
6.89/6.91	c heuristics/crossover/freq = -1
6.89/6.91	c 
6.89/6.91	c # number of nodes added to the contingent of the total nodes
6.89/6.91	c # [type: longint, range: [0,9223372036854775807], default: 500]
6.89/6.91	c heuristics/crossover/nodesofs = 750
6.89/6.91	c 
6.89/6.91	c # number of nodes without incumbent change that heuristic should wait
6.89/6.91	c # [type: longint, range: [0,9223372036854775807], default: 200]
6.89/6.91	c heuristics/crossover/nwaitingnodes = 100
6.89/6.91	c 
6.89/6.91	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
6.89/6.91	c # [type: real, range: [0,1], default: 0.1]
6.89/6.91	c heuristics/crossover/nodesquot = 0.15
6.89/6.91	c 
6.89/6.91	c # minimum percentage of integer variables that have to be fixed 
6.89/6.91	c # [type: real, range: [0,1], default: 0.666]
6.89/6.91	c heuristics/crossover/minfixingrate = 0.5
6.89/6.91	c 
6.89/6.91	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 20]
6.89/6.91	c heuristics/feaspump/freq = -1
6.89/6.91	c 
6.89/6.91	c # additional number of allowed LP iterations
6.89/6.91	c # [type: int, range: [0,2147483647], default: 1000]
6.89/6.91	c heuristics/feaspump/maxlpiterofs = 2000
6.89/6.91	c 
6.89/6.91	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 10]
6.89/6.91	c heuristics/fracdiving/freq = -1
6.89/6.91	c 
6.89/6.91	c # maximal fraction of diving LP iterations compared to node LP iterations
6.89/6.91	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
6.89/6.91	c heuristics/fracdiving/maxlpiterquot = 0.075
6.89/6.91	c 
6.89/6.91	c # additional number of allowed LP iterations
6.89/6.91	c # [type: int, range: [0,2147483647], default: 1000]
6.89/6.91	c heuristics/fracdiving/maxlpiterofs = 1500
6.89/6.91	c 
6.89/6.91	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 10]
6.89/6.91	c heuristics/guideddiving/freq = -1
6.89/6.91	c 
6.89/6.91	c # maximal fraction of diving LP iterations compared to node LP iterations
6.89/6.91	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
6.89/6.91	c heuristics/guideddiving/maxlpiterquot = 0.075
6.89/6.91	c 
6.89/6.91	c # additional number of allowed LP iterations
6.89/6.91	c # [type: int, range: [0,2147483647], default: 1000]
6.89/6.91	c heuristics/guideddiving/maxlpiterofs = 1500
6.89/6.91	c 
6.89/6.91	c # maximal fraction of diving LP iterations compared to node LP iterations
6.89/6.91	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
6.89/6.91	c heuristics/intdiving/maxlpiterquot = 0.075
6.89/6.91	c 
6.89/6.91	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 10]
6.89/6.91	c heuristics/intshifting/freq = -1
6.89/6.91	c 
6.89/6.91	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 10]
6.89/6.91	c heuristics/linesearchdiving/freq = -1
6.89/6.91	c 
6.89/6.91	c # maximal fraction of diving LP iterations compared to node LP iterations
6.89/6.91	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
6.89/6.91	c heuristics/linesearchdiving/maxlpiterquot = 0.075
6.89/6.91	c 
6.89/6.91	c # additional number of allowed LP iterations
6.89/6.91	c # [type: int, range: [0,2147483647], default: 1000]
6.89/6.91	c heuristics/linesearchdiving/maxlpiterofs = 1500
6.89/6.91	c 
6.89/6.91	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 1]
6.89/6.91	c heuristics/nlp/freq = -1
6.89/6.91	c 
6.89/6.91	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 20]
6.89/6.91	c heuristics/objpscostdiving/freq = -1
6.89/6.91	c 
6.89/6.91	c # maximal fraction of diving LP iterations compared to total iteration number
6.89/6.91	c # [type: real, range: [0,1], default: 0.01]
6.89/6.91	c heuristics/objpscostdiving/maxlpiterquot = 0.015
6.89/6.91	c 
6.89/6.91	c # additional number of allowed LP iterations
6.89/6.91	c # [type: int, range: [0,2147483647], default: 1000]
6.89/6.91	c heuristics/objpscostdiving/maxlpiterofs = 1500
6.89/6.91	c 
6.89/6.91	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 1]
6.89/6.91	c heuristics/oneopt/freq = -1
6.89/6.91	c 
6.89/6.91	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 10]
6.89/6.91	c heuristics/pscostdiving/freq = -1
6.89/6.91	c 
6.89/6.91	c # maximal fraction of diving LP iterations compared to node LP iterations
6.89/6.91	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
6.89/6.91	c heuristics/pscostdiving/maxlpiterquot = 0.075
6.89/6.91	c 
6.89/6.91	c # additional number of allowed LP iterations
6.89/6.91	c # [type: int, range: [0,2147483647], default: 1000]
6.89/6.91	c heuristics/pscostdiving/maxlpiterofs = 1500
6.89/6.91	c 
6.89/6.91	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 0]
6.89/6.91	c heuristics/rens/freq = -1
6.89/6.91	c 
6.89/6.91	c # minimum percentage of integer variables that have to be fixable 
6.89/6.91	c # [type: real, range: [0,1], default: 0.5]
6.89/6.91	c heuristics/rens/minfixingrate = 0.3
6.89/6.91	c 
6.89/6.91	c # number of nodes added to the contingent of the total nodes
6.89/6.91	c # [type: longint, range: [0,9223372036854775807], default: 500]
6.89/6.91	c heuristics/rens/nodesofs = 2000
6.89/6.91	c 
6.89/6.91	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 20]
6.89/6.91	c heuristics/rootsoldiving/freq = -1
6.89/6.91	c 
6.89/6.91	c # maximal fraction of diving LP iterations compared to node LP iterations
6.89/6.91	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
6.89/6.91	c heuristics/rootsoldiving/maxlpiterquot = 0.015
6.89/6.91	c 
6.89/6.91	c # additional number of allowed LP iterations
6.89/6.91	c # [type: int, range: [0,2147483647], default: 1000]
6.89/6.91	c heuristics/rootsoldiving/maxlpiterofs = 1500
6.89/6.91	c 
6.89/6.91	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 1]
6.89/6.91	c heuristics/rounding/freq = -1
6.89/6.91	c 
6.89/6.91	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 10]
6.89/6.91	c heuristics/shifting/freq = -1
6.89/6.91	c 
6.89/6.91	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 1]
6.89/6.91	c heuristics/simplerounding/freq = -1
6.89/6.91	c 
6.89/6.91	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 0]
6.89/6.91	c heuristics/trivial/freq = -1
6.89/6.91	c 
6.89/6.91	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 1]
6.89/6.91	c heuristics/trysol/freq = -1
6.89/6.91	c 
6.89/6.91	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 10]
6.89/6.91	c heuristics/veclendiving/freq = -1
6.89/6.91	c 
6.89/6.91	c # maximal fraction of diving LP iterations compared to node LP iterations
6.89/6.91	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
6.89/6.91	c heuristics/veclendiving/maxlpiterquot = 0.075
6.89/6.91	c 
6.89/6.91	c # additional number of allowed LP iterations
6.89/6.91	c # [type: int, range: [0,2147483647], default: 1000]
6.89/6.91	c heuristics/veclendiving/maxlpiterofs = 1500
6.89/6.91	c 
6.89/6.91	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 1]
6.89/6.91	c heuristics/zirounding/freq = -1
6.89/6.91	c 
6.89/6.91	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 0]
6.89/6.91	c separating/cmir/freq = -1
6.89/6.91	c 
6.89/6.91	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: 0]
6.89/6.91	c separating/flowcover/freq = -1
6.89/6.91	c 
6.89/6.91	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
6.89/6.91	c # [type: int, range: [-1,2147483647], default: -1]
6.89/6.91	c separating/rapidlearning/freq = 0
6.89/6.91	c 
6.89/6.91	c -----------------------------------------------------------------------------------------------
6.89/6.91	c start solving
6.89/6.91	c 
48.48/48.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
48.48/48.50	c  46.8s|     1 |     0 |  9916 |     - | 106M|   0 |4355 |6983 |  21k|6983 |  20k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
160.75/160.88	c   155s|     1 |     0 | 19316 |     - | 106M|   0 |5115 |6983 |  21k|6983 |  21k| 149 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
314.80/314.93	c   303s|     1 |     0 | 30831 |     - | 106M|   0 |5429 |6983 |  21k|6983 |  21k| 258 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
476.15/476.39	c   459s|     1 |     0 | 41863 |     - | 106M|   0 |5664 |6983 |  21k|6983 |  21k| 338 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
644.69/644.92	c   621s|     1 |     0 | 53019 |     - | 107M|   0 |5734 |6983 |  21k|6983 |  21k| 408 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
789.95/790.22	c   760s|     1 |     0 | 61238 |     - | 107M|   0 |5706 |6983 |  21k|6983 |  21k| 440 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1018.37/1018.70	c   987s|     1 |     2 | 61238 |     - | 107M|   0 |5706 |6983 |  21k|6983 |  21k| 440 |   0 |  25 | 0.000000e+00 |      --      |    Inf 
1800.03/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-2685432-1278441183/watcher-2685432-1278441183 -o /tmp/evaluation-result-2685432-1278441183/solver-2685432-1278441183 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2685432-1278441183.opb -t 1800 -m 1800 

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


[startup+0 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 19855
/proc/meminfo: memFree=1738680/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=7724 CPUtime=0
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 1028 0 0 0 0 0 0 0 18 0 1 0 12325934 7909376 947 1992294400 4194304 8223781 140737393420816 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19855/statm: 1931 957 348 984 0 944 0

[startup+0.068081 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 19855
/proc/meminfo: memFree=1738680/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=13384 CPUtime=0.06
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 2638 0 0 0 6 0 0 0 20 0 1 0 12325934 13705216 2557 1992294400 4194304 8223781 140737393420816 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19855/statm: 3346 2557 363 984 0 2359 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13384

[startup+0.101083 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 19855
/proc/meminfo: memFree=1738680/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=16048 CPUtime=0.09
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 3308 0 0 0 9 0 0 0 20 0 1 0 12325934 16433152 3227 1992294400 4194304 8223781 140737393420816 18446744073709551615 7164215 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19855/statm: 4012 3227 363 984 0 3025 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16048

[startup+0.301104 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 19855
/proc/meminfo: memFree=1738680/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=22820 CPUtime=0.29
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 4997 0 0 0 28 1 0 0 20 0 1 0 12325934 23367680 4916 1992294400 4194304 8223781 140737393420816 18446744073709551615 5648955 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19855/statm: 5705 4916 363 984 0 4718 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22820

[startup+0.701148 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 19855
/proc/meminfo: memFree=1738680/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=32696 CPUtime=0.69
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 7511 0 0 0 67 2 0 0 21 0 1 0 12325934 33480704 7401 1992294400 4194304 8223781 140737393420816 18446744073709551615 4240589 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19855/statm: 8174 7401 363 984 0 7187 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32696

[startup+1.50124 s]
/proc/loadavg: 0.92 0.99 0.99 2/107 19856
/proc/meminfo: memFree=1701348/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=105128 CPUtime=1.49
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 25464 0 0 0 140 9 0 0 23 0 1 0 12325934 107651072 24990 1992294400 4194304 8223781 140737393420816 18446744073709551615 4985967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 26538 24990 440 984 0 25551 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 105128

[startup+3.10141 s]
/proc/loadavg: 0.92 0.99 0.99 2/107 19856
/proc/meminfo: memFree=1603264/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=175604 CPUtime=3.09
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 42781 0 0 0 292 17 0 0 25 0 1 0 12325934 179818496 42307 1992294400 4194304 8223781 140737393420816 18446744073709551615 5966376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 43901 42307 440 984 0 42914 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 175604

[startup+6.30176 s]
/proc/loadavg: 0.93 0.99 0.99 2/107 19856
/proc/meminfo: memFree=1557632/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=191120 CPUtime=6.29
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 51732 0 0 0 587 42 0 0 25 0 1 0 12325934 195706880 46041 1992294400 4194304 8223781 140737393420816 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 47780 46052 465 984 0 46793 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 191120

[startup+12.7015 s]
/proc/loadavg: 0.93 0.99 0.99 2/107 19856
/proc/meminfo: memFree=1530476/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=219372 CPUtime=12.69
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 68925 0 0 0 1215 54 0 0 25 0 1 0 12325934 224636928 52355 1992294400 4194304 8223781 140737393420816 18446744073709551615 6359718 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 54843 52355 570 984 0 53856 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 219372

[startup+25.5009 s]
/proc/loadavg: 0.95 0.99 0.99 2/107 19857
/proc/meminfo: memFree=1529112/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=221180 CPUtime=25.48
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 79232 0 0 0 2488 60 0 0 25 0 1 0 12325934 226488320 52754 1992294400 4194304 8223781 140737393420816 18446744073709551615 6567149 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 55295 52754 553 984 0 54308 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 221180

[startup+51.1007 s]
/proc/loadavg: 0.96 0.99 0.99 2/107 19858
/proc/meminfo: memFree=1527252/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=222032 CPUtime=51.08
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 130980 0 0 0 5024 84 0 0 25 0 1 0 12325934 227360768 53196 1992294400 4194304 8223781 140737393420816 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 55466 53154 563 984 0 54479 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 222032

[startup+102.309 s]
/proc/loadavg: 0.98 0.99 0.99 2/107 19859
/proc/meminfo: memFree=1519936/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=229280 CPUtime=102.27
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 1237222 0 0 0 9733 494 0 0 25 0 1 0 12325934 234782720 55004 1992294400 4194304 8223781 140737393420816 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 57320 55004 576 984 0 56333 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 229280

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 19860
/proc/meminfo: memFree=1519316/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=230952 CPUtime=162.24
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 1322865 0 0 0 15684 540 0 0 25 0 1 0 12325934 236494848 55138 1992294400 4194304 8223781 140737393420816 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 57738 55138 576 984 0 56751 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 230952

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 19862
/proc/meminfo: memFree=1518572/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=231536 CPUtime=222.23
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 2622900 0 0 0 21176 1047 0 0 25 0 1 0 12325934 237092864 55365 1992294400 4194304 8223781 140737393420816 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 57884 55365 576 984 0 56897 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 231536

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 19864
/proc/meminfo: memFree=1517952/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=232188 CPUtime=282.21
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 2667517 0 0 0 27146 1075 0 0 25 0 1 0 12325934 237760512 55528 1992294400 4194304 8223781 140737393420816 18446744073709551615 6567122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 58047 55528 576 984 0 57060 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 232188

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 19866
/proc/meminfo: memFree=1517952/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=232160 CPUtime=342.19
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 3333667 0 0 0 32878 1341 0 0 25 0 1 0 12325934 237731840 55480 1992294400 4194304 8223781 140737393420816 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 58040 55480 579 984 0 57053 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 232160

[startup+402.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 19867
/proc/meminfo: memFree=1518076/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=232372 CPUtime=402.17
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 4055390 0 0 0 38579 1638 0 0 25 0 1 0 12325934 237948928 55431 1992294400 4194304 8223781 140737393420816 18446744073709551615 6569681 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 58093 55431 579 984 0 57106 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 232372

[startup+462.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 19868
/proc/meminfo: memFree=1517704/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=234088 CPUtime=462.15
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 4098660 0 0 0 44551 1664 0 0 25 0 1 0 12325934 239706112 55562 1992294400 4194304 8223781 140737393420816 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 58522 55562 579 984 0 57535 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 234088

[startup+522.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 19870
/proc/meminfo: memFree=1516836/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=233936 CPUtime=522.13
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 5164177 0 0 0 50103 2110 0 0 25 0 1 0 12325934 239550464 55663 1992294400 4194304 8223781 140737393420816 18446744073709551615 6054136 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 58484 55663 579 984 0 57497 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 233936

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 19872
/proc/meminfo: memFree=1516960/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=234004 CPUtime=582.11
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 5513608 0 0 0 55951 2260 0 0 25 0 1 0 12325934 239620096 55676 1992294400 4194304 8223781 140737393420816 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 58501 55676 579 984 0 57514 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 234004

[startup+642.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 19874
/proc/meminfo: memFree=1517084/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=233848 CPUtime=642.09
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 5558275 0 0 0 61922 2287 0 0 25 0 1 0 12325934 239460352 55643 1992294400 4194304 8223781 140737393420816 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 58462 55643 579 984 0 57475 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 233848

[startup+702.3 s]

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

/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 7258406 0 0 0 97154 3044 0 0 25 0 1 0 12325934 237101056 55405 1992294400 4194304 8223781 140737393420816 18446744073709551615 6560128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 57886 55405 581 984 0 56899 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 231544

[startup+1062.3 s]
/proc/loadavg: 1.07 1.01 1.00 2/107 19884
/proc/meminfo: memFree=1516340/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=233324 CPUtime=1061.96
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 7312211 0 0 0 103119 3077 0 0 25 0 1 0 12325934 238923776 55795 1992294400 4194304 8223781 140737393420816 18446744073709551615 6560195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 58331 55795 582 984 0 57344 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 233324

[startup+1122.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 19886
/proc/meminfo: memFree=1514356/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=233300 CPUtime=1121.94
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 7362105 0 0 0 109089 3105 0 0 25 0 1 0 12325934 238899200 55764 1992294400 4194304 8223781 140737393420816 18446744073709551615 6560128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 58325 55764 582 984 0 57338 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 233300

[startup+1182.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 19888
/proc/meminfo: memFree=1517704/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=232184 CPUtime=1181.92
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 7432406 0 0 0 115047 3145 0 0 25 0 1 0 12325934 237756416 55543 1992294400 4194304 8223781 140737393420816 18446744073709551615 6559362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 58046 55543 582 984 0 57059 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 232184

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19890
/proc/meminfo: memFree=1517084/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=232060 CPUtime=1241.9
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 7505824 0 0 0 121005 3185 0 0 25 0 1 0 12325934 237629440 55640 1992294400 4194304 8223781 140737393420816 18446744073709551615 6503879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 58015 55640 582 984 0 57028 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 232060

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19892
/proc/meminfo: memFree=1517704/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=231748 CPUtime=1301.89
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 7580908 0 0 0 126961 3228 0 0 25 0 1 0 12325934 237309952 55372 1992294400 4194304 8223781 140737393420816 18446744073709551615 6569998 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 57937 55372 582 984 0 56950 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 231748

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19892
/proc/meminfo: memFree=1517332/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=232200 CPUtime=1361.87
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 7654556 0 0 0 132916 3271 0 0 25 0 1 0 12325934 237772800 55478 1992294400 4194304 8223781 140737393420816 18446744073709551615 6539315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 58050 55478 582 984 0 57063 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 232200

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19894
/proc/meminfo: memFree=1516588/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=233820 CPUtime=1421.86
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 7715328 0 0 0 138882 3304 0 0 25 0 1 0 12325934 239431680 55667 1992294400 4194304 8223781 140737393420816 18446744073709551615 6560108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 58455 55667 582 984 0 57468 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 233820

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19896
/proc/meminfo: memFree=1517456/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=231688 CPUtime=1481.82
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 7777746 0 0 0 144843 3339 0 0 25 0 1 0 12325934 237248512 55326 1992294400 4194304 8223781 140737393420816 18446744073709551615 6570056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 57922 55326 582 984 0 56935 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 231688

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19898
/proc/meminfo: memFree=1520556/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=231172 CPUtime=1541.81
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 7843801 0 0 0 150803 3378 0 0 25 0 1 0 12325934 236720128 54692 1992294400 4194304 8223781 140737393420816 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 57793 54692 582 984 0 56806 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 231172

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19899
/proc/meminfo: memFree=1517580/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=231776 CPUtime=1601.8
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 7911145 0 0 0 156760 3420 0 0 25 0 1 0 12325934 237338624 55455 1992294400 4194304 8223781 140737393420816 18446744073709551615 6560195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 57944 55455 582 984 0 56957 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 231776

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19900
/proc/meminfo: memFree=1515968/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=233380 CPUtime=1661.78
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 7973405 0 0 0 162719 3459 0 0 25 0 1 0 12325934 238981120 55725 1992294400 4194304 8223781 140737393420816 18446744073709551615 6299725 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 58345 55725 582 984 0 57358 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 233380

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19911
/proc/meminfo: memFree=1515720/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=233600 CPUtime=1721.74
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 8020549 0 0 0 168687 3487 0 0 25 0 1 0 12325934 239206400 55755 1992294400 4194304 8223781 140737393420816 18446744073709551615 6560195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 58400 55755 582 984 0 57413 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 233600

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19913
/proc/meminfo: memFree=1516960/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=231808 CPUtime=1781.72
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 8083439 0 0 0 174650 3522 0 0 25 0 1 0 12325934 237371392 55418 1992294400 4194304 8223781 140737393420816 18446744073709551615 6569681 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 57952 55418 582 984 0 56965 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 231808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19913
/proc/meminfo: memFree=1516464/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=231792 CPUtime=1800.03
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 8106019 0 0 0 176468 3535 0 0 25 0 1 0 12325934 237355008 55590 1992294400 4194304 8223781 140737393420816 18446744073709551615 6569375 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 57948 55590 582 984 0 56961 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 231792

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -19855

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19913
/proc/meminfo: memFree=1516464/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=232536 CPUtime=1800.81
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 8106029 0 0 0 176546 3535 0 0 25 0 1 0 12325934 238116864 55600 1992294400 4194304 8223781 140737393420816 18446744073709551615 6567112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 58134 55600 582 984 0 57147 0
Current children cumulated CPU time (s) 1800.81
Current children cumulated vsize (KiB) 232536

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19914
/proc/meminfo: memFree=1516456/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=232548 CPUtime=1801.61
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 8107411 0 0 0 176625 3536 0 0 25 0 1 0 12325934 238129152 55614 1992294400 4194304 8223781 140737393420816 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 58137 55614 582 984 0 57150 0
Current children cumulated CPU time (s) 1801.61
Current children cumulated vsize (KiB) 232548

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19914
/proc/meminfo: memFree=1516456/2059040 swapFree=4192956/4192956
[pid=19855] ppid=19853 vsize=231228 CPUtime=1802.01
/proc/19855/stat : 19855 (pbscip.linux.x8) R 19853 19855 18454 0 -1 4202496 8109744 0 0 0 176664 3537 0 0 25 0 1 0 12325934 236777472 54803 1992294400 4194304 8223781 140737393420816 18446744073709551615 6570056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19855/statm: 57807 54803 582 984 0 56820 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 231228

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.64
CPU time (s): 1802.07
CPU user time (s): 1766.67
CPU system time (s): 35.3986
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 237252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1766.67
system time used= 35.3986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8109746
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= 3
involuntary context switches= 18310

runsolver used 2.87856 second user time and 8.61569 second system time

The end

Launcher Data 

Begin job on node038 at 2010-07-06 20:33:03
IDJOB=2685432
IDBENCH=75773
IDSOLVER=1169
FILE ID=node038/2685432-1278441183
PBS_JOBID= 11233444
Free space on /tmp= 62540 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j6041_4-sat.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685432-1278441183/watcher-2685432-1278441183 -o /tmp/evaluation-result-2685432-1278441183/solver-2685432-1278441183 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2685432-1278441183.opb -t 1800 -m 1800

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

MD5SUM BENCH= fab97298bb200d43ab726d5ed3b8b0cb
RANDOM SEED=1396829451

node038.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.215
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.43
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.215
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:       1739332 kB
Buffers:         16864 kB
Cached:         169408 kB
SwapCached:          0 kB
Active:         113412 kB
Inactive:       132876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1739332 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            6232 kB
Writeback:           0 kB
AnonPages:       59936 kB
Mapped:          14476 kB
Slab:            51464 kB
PageTables:       4204 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179356 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62532 MiB
End job on node038 at 2010-07-06 21:03:06