Trace number 3451808

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 NameAnswerobjective functionCPU timeWall clock time
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4? (TO) 1800.73 1800.69

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12016_10.std.opb
MD5SUM16624ad16b07842a63cd0d52e04da495
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark239
Best CPU time to get the best result obtained on this benchmark1800.28
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints234117
Number of constraints which are clauses232917
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
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 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 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-3451808-1307118620.opb>
1.59/1.60	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234117 constraints
1.59/1.60	c problem read
1.59/1.60	c presolving settings loaded
1.99/2.06	c presolving:
7.99/8.07	c (round 1) 4949 del vars, 15599 del conss, 0 add conss, 3347 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15956964 impls, 0 clqs
10.69/10.74	c (round 2) 12972 del vars, 42247 del conss, 0 add conss, 11065 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15992680 impls, 0 clqs
11.39/11.42	c (round 3) 15544 del vars, 54759 del conss, 0 add conss, 12379 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16008880 impls, 0 clqs
11.79/11.87	c (round 4) 16886 del vars, 59455 del conss, 0 add conss, 13197 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16021621 impls, 0 clqs
12.10/12.12	c (round 5) 17633 del vars, 62445 del conss, 0 add conss, 13659 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16027365 impls, 0 clqs
12.19/12.28	c (round 6) 18024 del vars, 64052 del conss, 0 add conss, 13872 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16030484 impls, 0 clqs
12.29/12.37	c (round 7) 18174 del vars, 64759 del conss, 0 add conss, 13960 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16031741 impls, 0 clqs
12.39/12.45	c (round 8) 18259 del vars, 65090 del conss, 0 add conss, 14013 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16032667 impls, 0 clqs
12.49/12.52	c (round 9) 18331 del vars, 65343 del conss, 0 add conss, 14057 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16033987 impls, 0 clqs
12.59/12.60	c (round 10) 18401 del vars, 65622 del conss, 0 add conss, 14104 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16034925 impls, 0 clqs
12.59/12.66	c (round 11) 18433 del vars, 65773 del conss, 0 add conss, 14129 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16035126 impls, 0 clqs
12.69/12.72	c (round 12) 18453 del vars, 65870 del conss, 0 add conss, 14139 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16035228 impls, 0 clqs
12.69/12.77	c (round 13) 18453 del vars, 65890 del conss, 0 add conss, 14139 chg bounds, 12 chg sides, 20 chg coeffs, 0 upgd conss, 16035228 impls, 0 clqs
13.39/13.45	c (round 14) 18453 del vars, 65890 del conss, 0 add conss, 14139 chg bounds, 12 chg sides, 20 chg coeffs, 168227 upgd conss, 16035228 impls, 0 clqs
14.39/14.48	c (round 15) 18453 del vars, 65902 del conss, 29 add conss, 14139 chg bounds, 57 chg sides, 228 chg coeffs, 168227 upgd conss, 16035282 impls, 276 clqs
14.89/14.92	c (round 16) 18453 del vars, 65910 del conss, 37 add conss, 14139 chg bounds, 65 chg sides, 257 chg coeffs, 168227 upgd conss, 16035282 impls, 294 clqs
489.89/489.97	c    (490.0s) probing: 1000/54389 (1.8%) - 14 fixings, 5 aggregations, 10414966 implications, 0 bound changes
923.91/923.92	c    (923.9s) probing: 2000/54389 (3.7%) - 14 fixings, 5 aggregations, 15794994 implications, 0 bound changes
1013.81/1013.82	c    (1013.8s) probing: 2218/54389 (4.1%) - 14 fixings, 5 aggregations, 16808033 implications, 0 bound changes
1013.81/1013.82	c    (1013.8s) probing aborted: 2000/2000 successive useless probings
1013.81/1013.82	c (round 17) 18472 del vars, 65910 del conss, 37 add conss, 14139 chg bounds, 65 chg sides, 261 chg coeffs, 168227 upgd conss, 75244330 impls, 285 clqs
1014.41/1014.46	c (round 18) 18473 del vars, 66563 del conss, 37 add conss, 14139 chg bounds, 65 chg sides, 335 chg coeffs, 168227 upgd conss, 75244332 impls, 285 clqs
1188.02/1188.02	c (round 19) 18523 del vars, 66564 del conss, 37 add conss, 14139 chg bounds, 65 chg sides, 337 chg coeffs, 168227 upgd conss, 81828020 impls, 290 clqs
1189.01/1189.04	c (round 20) 18535 del vars, 66766 del conss, 37 add conss, 14139 chg bounds, 65 chg sides, 337 chg coeffs, 168227 upgd conss, 81828148 impls, 290 clqs
1343.72/1343.75	c    (1343.7s) probing: 3000/54389 (5.5%) - 63 fixings, 24 aggregations, 21946801 implications, 0 bound changes
1789.93/1789.97	c    (1790.0s) probing: 4000/54389 (7.4%) - 67 fixings, 25 aggregations, 33133848 implications, 0 bound changes
1800.04/1800.04	c    (1800.0s) probing: 4023/54389 (7.4%) - 67 fixings, 25 aggregations, 33416412 implications, 0 bound changes
1800.04/1800.04	c    (1800.0s) probing aborted: solving stopped
1800.04/1800.04	c (round 21) 18558 del vars, 66774 del conss, 37 add conss, 14139 chg bounds, 65 chg sides, 337 chg coeffs, 168227 upgd conss, 115523172 impls, 290 clqs
1800.04/1800.04	c presolving (21 rounds):
1800.04/1800.04	c  18558 deleted vars, 66774 deleted constraints, 37 added constraints, 14139 tightened bounds, 0 added holes, 65 changed sides, 337 changed coefficients
1800.04/1800.04	c  115523172 implications, 290 cliques
1800.04/1800.04	c presolving was interrupted.
1800.04/1800.04	c Presolving Time: 1798.11
1800.04/1800.04	c - non default parameters ----------------------------------------------------------------------
1800.04/1800.04	c # SCIP version 2.0.1.5
1800.04/1800.04	c 
1800.04/1800.04	c # frequency for displaying node information lines
1800.04/1800.04	c # [type: int, range: [-1,2147483647], default: 100]
1800.04/1800.04	c display/freq = 10000
1800.04/1800.04	c 
1800.04/1800.04	c # maximal time in seconds to run
1800.04/1800.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.04/1800.04	c limits/time = 1800
1800.04/1800.04	c 
1800.04/1800.04	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.04/1800.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.04/1800.04	c limits/memory = 13950
1800.04/1800.04	c 
1800.04/1800.04	c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.04/1800.04	c # [type: int, range: [1,2], default: 1]
1800.04/1800.04	c timing/clocktype = 2
1800.04/1800.04	c 
1800.04/1800.04	c # belongs reading time to solving time?
1800.04/1800.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.04/1800.04	c timing/reading = TRUE
1800.04/1800.04	c 
1800.04/1800.04	c # should presolving try to simplify inequalities
1800.04/1800.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.04/1800.04	c constraints/linear/simplifyinequalities = TRUE
1800.04/1800.04	c 
1800.04/1800.04	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.04/1800.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.04/1800.04	c constraints/indicator/addCouplingCons = TRUE
1800.04/1800.04	c 
1800.04/1800.04	c # should presolving try to simplify knapsacks
1800.04/1800.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.04/1800.04	c constraints/knapsack/simplifyinequalities = TRUE
1800.04/1800.04	c 
1800.04/1800.04	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.04/1800.04	c # [type: int, range: [-1,2147483647], default: -1]
1800.04/1800.04	c separating/rapidlearning/freq = 0
1800.04/1800.04	c 
1800.04/1800.04	c -----------------------------------------------------------------------------------------------
1800.04/1800.04	c start solving
1800.04/1800.07	c presolving:
1800.04/1800.07	c presolving (21 rounds):
1800.04/1800.07	c  18558 deleted vars, 66774 deleted constraints, 37 added constraints, 14139 tightened bounds, 0 added holes, 65 changed sides, 337 changed coefficients
1800.04/1800.07	c  115523172 implications, 290 cliques
1800.04/1800.07	c presolving was interrupted.
1800.04/1800.07	c Presolving Time: 1798.14
1800.04/1800.07	c 
1800.04/1800.07	c SCIP Status        : solving was interrupted [time limit reached]
1800.04/1800.07	c Solving Time (sec) : 1800.07
1800.04/1800.07	c Solving Nodes      : 0
1800.04/1800.07	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.07	s UNKNOWN
1800.04/1800.07	c SCIP Status        : solving was interrupted [time limit reached]
1800.04/1800.07	c Total Time         :    1800.07
1800.04/1800.07	c   solving          :    1800.07
1800.04/1800.07	c   presolving       :    1798.14 (included in solving)
1800.04/1800.07	c   reading          :       1.60 (included in solving)
1800.04/1800.07	c Original Problem   :
1800.04/1800.07	c   Problem name     : HOME/instance-3451808-1307118620.opb
1800.04/1800.07	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.07	c   Constraints      : 234117 initial, 234117 maximal
1800.04/1800.07	c Presolved Problem  :
1800.04/1800.07	c   Problem name     : t_HOME/instance-3451808-1307118620.opb
1800.04/1800.07	c   Variables        : 54284 (54284 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.07	c   Constraints      : 167380 initial, 167380 maximal
1800.04/1800.07	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.04/1800.07	c   trivial          :       0.06       1309          0          0          0          0          0          0          0          0
1800.04/1800.07	c   dualfix          :       0.08        121          0          0          0          0          0          0          0          0
1800.04/1800.07	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.07	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.07	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.07	c   implics          :       1.25          0          9          0          0          0          0          0          0          0
1800.04/1800.07	c   probing          :    1782.78         67         25          0          0          0          0          0          0          0
1800.04/1800.07	c   knapsack         :       2.16          0          0          0          0          0          0         37         53        317
1800.04/1800.07	c   setppc           :       0.64          4          0          0          0          0        867          0          0          0
1800.04/1800.07	c   linear           :      10.59      12830       4193          0      14139          0      65890          0         12         20
1800.04/1800.07	c   logicor          :       0.18          0          0          0          0          0         17          0          0          0
1800.04/1800.07	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.04/1800.07	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.07	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
1800.04/1800.07	c   knapsack         :          0+         0     164992          0          0          0          0         27          0          0          0          0
1800.04/1800.07	c   setppc           :          0+         0     164965          0          0          0          0         14          0          0          0          0
1800.04/1800.07	c   linear           :          0+         0          0          0          0          0          0          0          0          0          0          0
1800.04/1800.07	c   logicor          :          0+         0     150519          0          0          0          0          5          0          0          0          0
1800.04/1800.07	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1800.04/1800.07	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.04/1800.07	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.04/1800.07	c   knapsack         :      13.35       0.00      13.35       0.00       0.00       0.00       0.00
1800.04/1800.07	c   setppc           :     919.27       0.00     919.27       0.00       0.00       0.00       0.00
1800.04/1800.07	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.04/1800.07	c   logicor          :      13.06       0.00      13.06       0.00       0.00       0.00       0.00
1800.04/1800.07	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.04/1800.07	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.04/1800.07	c   vbounds          :          0          0          0          0
1800.04/1800.07	c   rootredcost      :          0          0          0          0
1800.04/1800.07	c   pseudoobj        :          0          0          0          0
1800.04/1800.08	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.04/1800.08	c   vbounds          :       0.08       0.08       0.00
1800.04/1800.08	c   rootredcost      :       0.05       0.05       0.00
1800.04/1800.08	c   pseudoobj        :       0.03       0.03       0.00
1800.04/1800.08	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.08	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.08	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.08	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.08	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.08	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.08	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.04/1800.08	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.64/1800.69	c Time complete: 1800.72.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3451808-1307118620/watcher-3451808-1307118620 -o /tmp/evaluation-result-3451808-1307118620/solver-3451808-1307118620 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451808-1307118620.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.07 2.03 2.00 3/373 12153
/proc/meminfo: memFree=19695020/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=14136 CPUtime=0 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 2503 0 0 0 0 0 0 0 25 0 1 0 823462489 14475264 2457 33554432000 4194304 9163163 140736332563200 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12153/statm: 3534 2457 395 1214 0 2316 0

[startup+0.0600389 s]
/proc/loadavg: 2.07 2.03 2.00 3/373 12153
/proc/meminfo: memFree=19695020/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=23468 CPUtime=0.05 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 4857 0 0 0 5 0 0 0 25 0 1 0 823462489 24031232 4811 33554432000 4194304 9163163 140736332563200 18446744073709551615 8031883 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12153/statm: 5867 4811 395 1214 0 4649 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 23468

[startup+0.101045 s]
/proc/loadavg: 2.07 2.03 2.00 3/373 12153
/proc/meminfo: memFree=19695020/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=30068 CPUtime=0.09 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 6518 0 0 0 9 0 0 0 25 0 1 0 823462489 30789632 6472 33554432000 4194304 9163163 140736332563200 18446744073709551615 4338904 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12153/statm: 7517 6472 395 1214 0 6299 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30068

[startup+0.300998 s]
/proc/loadavg: 2.07 2.03 2.00 3/373 12153
/proc/meminfo: memFree=19695020/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=56884 CPUtime=0.29 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 13203 0 0 0 28 1 0 0 25 0 1 0 823462489 58249216 13157 33554432000 4194304 9163163 140736332563200 18446744073709551615 8041854 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12153/statm: 14221 13158 395 1214 0 13003 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56884

[startup+0.700919 s]
/proc/loadavg: 2.07 2.03 2.00 3/373 12153
/proc/meminfo: memFree=19695020/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=80892 CPUtime=0.69 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 19181 0 0 0 67 2 0 0 25 0 1 0 823462489 82833408 19135 33554432000 4194304 9163163 140736332563200 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12153/statm: 20223 19135 395 1214 0 19005 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80892

[startup+1.50078 s]
/proc/loadavg: 2.07 2.03 2.00 3/374 12154
/proc/meminfo: memFree=19591224/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=151756 CPUtime=1.49 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 36926 0 0 0 144 5 0 0 25 0 1 0 823462489 155398144 36880 33554432000 4194304 9163163 140736332563200 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12153/statm: 37939 36880 395 1214 0 36721 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 151756

[startup+3.10049 s]
/proc/loadavg: 2.06 2.02 2.00 3/374 12154
/proc/meminfo: memFree=19331456/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=504876 CPUtime=3.09 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 123603 0 0 0 296 13 0 0 25 0 1 0 823462489 516993024 123510 33554432000 4194304 9163163 140736332563200 18446744073709551615 4352474 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12153/statm: 126219 123510 506 1214 0 125001 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 504876

[startup+6.3009 s]
/proc/loadavg: 2.06 2.02 2.00 3/374 12154
/proc/meminfo: memFree=18988044/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=779384 CPUtime=6.29 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 190164 0 0 0 609 20 0 0 25 0 1 0 823462489 798089216 190071 33554432000 4194304 9163163 140736332563200 18446744073709551615 6922370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12153/statm: 194846 190071 506 1214 0 193628 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 779384

[startup+12.7007 s]
/proc/loadavg: 2.06 2.02 2.00 3/374 12155
/proc/meminfo: memFree=18837528/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=862312 CPUtime=12.69 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 210485 0 0 0 1247 22 0 0 25 0 1 0 823462489 883007488 210135 33554432000 4194304 9163163 140736332563200 18446744073709551615 5939209 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12153/statm: 215578 210135 518 1214 0 214360 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 862312

[startup+25.5004 s]
/proc/loadavg: 2.04 2.02 2.00 3/374 12155
/proc/meminfo: memFree=18725000/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=963960 CPUtime=25.49 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 247607 0 0 0 2523 26 0 0 25 0 1 0 823462489 987095040 235029 33554432000 4194304 9163163 140736332563200 18446744073709551615 6567818 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12153/statm: 240990 235029 648 1214 0 239772 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 963960

[startup+51.1007 s]
/proc/loadavg: 2.03 2.02 2.00 3/374 12156
/proc/meminfo: memFree=18639272/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=1014600 CPUtime=51.07 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 259659 0 0 0 5080 27 0 0 25 0 1 0 823462489 1038950400 247081 33554432000 4194304 9163163 140736332563200 18446744073709551615 6567488 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 253650 247081 648 1214 0 252432 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1014600

[startup+102.314 s]
/proc/loadavg: 2.01 2.02 2.00 3/374 12157
/proc/meminfo: memFree=18439232/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=1172216 CPUtime=102.29 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 298470 0 0 0 10198 31 0 0 25 0 1 0 823462489 1200349184 285892 33554432000 4194304 9163163 140736332563200 18446744073709551615 4794556 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 293054 285892 648 1214 0 291836 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1172216

[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/374 12159
/proc/meminfo: memFree=18136868/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=1411252 CPUtime=162.27 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 357569 0 0 0 16190 37 0 0 25 0 1 0 823462489 1445122048 344991 33554432000 4194304 9163163 140736332563200 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 352813 344991 648 1214 0 351595 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1411252

[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/374 12160
/proc/meminfo: memFree=17892208/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=1583688 CPUtime=222.28 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 400326 0 0 0 22185 43 0 0 25 0 1 0 823462489 1621696512 387748 33554432000 4194304 9163163 140736332563200 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 395922 387748 648 1214 0 394704 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 1583688

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 12162
/proc/meminfo: memFree=17706024/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=1712032 CPUtime=282.29 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 432375 0 0 0 28181 48 0 0 25 0 1 0 823462489 1753120768 419797 33554432000 4194304 9163163 140736332563200 18446744073709551615 4782790 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 428008 419797 648 1214 0 426790 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1712032

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 12163
/proc/meminfo: memFree=17536360/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=1828468 CPUtime=342.28 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 461196 0 0 0 34177 51 0 0 25 0 1 0 823462489 1872351232 448618 33554432000 4194304 9163163 140736332563200 18446744073709551615 6567539 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 457117 448618 648 1214 0 455899 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 1828468

[startup+402.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/374 12165
/proc/meminfo: memFree=17367296/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=1936436 CPUtime=402.29 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 488349 0 0 0 40174 55 0 0 25 0 1 0 823462489 1982910464 475771 33554432000 4194304 9163163 140736332563200 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 484109 475771 648 1214 0 482891 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1936436

[startup+462.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/374 12167
/proc/meminfo: memFree=17204452/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=2035864 CPUtime=462.28 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 512733 0 0 0 46170 58 0 0 25 0 1 0 823462489 2084724736 500155 33554432000 4194304 9163163 140736332563200 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 508966 500155 648 1214 0 507748 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 2035864

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 12168
/proc/meminfo: memFree=17053756/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=2142468 CPUtime=522.29 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 539284 0 0 0 52166 63 0 0 25 0 1 0 823462489 2193887232 526706 33554432000 4194304 9163163 140736332563200 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 535617 526706 652 1214 0 534399 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 2142468

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 12170
/proc/meminfo: memFree=16866092/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=2277948 CPUtime=582.29 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 573172 0 0 0 58162 67 0 0 25 0 1 0 823462489 2332618752 560594 33554432000 4194304 9163163 140736332563200 18446744073709551615 5459096 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 569487 560594 652 1214 0 568269 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 2277948

[startup+642.301 s]

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

[startup+942.301 s]
/proc/loadavg: 1.08 1.40 1.73 2/368 12197
/proc/meminfo: memFree=20249396/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=2640144 CPUtime=942.31 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 662334 0 0 0 94149 82 0 0 25 0 1 0 823462489 2703507456 649756 33554432000 4194304 9163163 140736332563200 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 660036 649756 652 1214 0 658818 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2640144

[startup+1002.3 s]
/proc/loadavg: 1.03 1.32 1.68 2/368 12199
/proc/meminfo: memFree=20206096/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=2681124 CPUtime=1002.31 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 673153 0 0 0 100147 84 0 0 25 0 1 0 823462489 2745470976 660575 33554432000 4194304 9163163 140736332563200 18446744073709551615 4219851 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 670281 660575 652 1214 0 669063 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2681124

[startup+1062.3 s]
/proc/loadavg: 1.01 1.26 1.63 2/368 12200
/proc/meminfo: memFree=20143192/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=2743968 CPUtime=1062.31 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 688899 0 0 0 106144 87 0 0 25 0 1 0 823462489 2809823232 676321 33554432000 4194304 9163163 140736332563200 18446744073709551615 6567530 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 685992 676321 652 1214 0 684774 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2743968

[startup+1122.3 s]
/proc/loadavg: 1.00 1.21 1.59 2/368 12202
/proc/meminfo: memFree=20101508/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=2784972 CPUtime=1122.31 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 699335 0 0 0 112142 89 0 0 25 0 1 0 823462489 2851811328 686757 33554432000 4194304 9163163 140736332563200 18446744073709551615 5460089 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 696243 686757 652 1214 0 695025 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2784972

[startup+1182.3 s]
/proc/loadavg: 1.00 1.17 1.55 2/368 12204
/proc/meminfo: memFree=19980948/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=2907596 CPUtime=1182.31 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 729760 0 0 0 118138 93 0 0 25 0 1 0 823462489 2977378304 717182 33554432000 4194304 9163163 140736332563200 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 726899 717182 652 1214 0 725681 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 2907596

[startup+1242.3 s]
/proc/loadavg: 1.00 1.14 1.51 2/368 12205
/proc/meminfo: memFree=19918300/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=2969332 CPUtime=1242.31 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 745032 0 0 0 124136 95 0 0 25 0 1 0 823462489 3040595968 732454 33554432000 4194304 9163163 140736332563200 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 742333 732454 652 1214 0 741115 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 2969332

[startup+1302.3 s]
/proc/loadavg: 1.00 1.11 1.48 2/368 12207
/proc/meminfo: memFree=19826380/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=3061380 CPUtime=1302.32 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 767913 0 0 0 130133 99 0 0 25 0 1 0 823462489 3134853120 755335 33554432000 4194304 9163163 140736332563200 18446744073709551615 4352528 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 765345 755335 652 1214 0 764127 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 3061380

[startup+1362.3 s]
/proc/loadavg: 1.00 1.09 1.45 2/368 12209
/proc/meminfo: memFree=19713392/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=3176252 CPUtime=1362.32 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 796204 0 0 0 136129 103 0 0 25 0 1 0 823462489 3252482048 783626 33554432000 4194304 9163163 140736332563200 18446744073709551615 5458884 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 794063 783626 652 1214 0 792845 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3176252

[startup+1422.31 s]
/proc/loadavg: 1.12 1.10 1.42 2/368 12210
/proc/meminfo: memFree=19651496/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=3233604 CPUtime=1422.33 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 811683 0 0 0 142128 105 0 0 25 0 1 0 823462489 3311210496 799105 33554432000 4194304 9163163 140736332563200 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 808401 799105 652 1214 0 807183 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3233604

[startup+1482.3 s]
/proc/loadavg: 1.05 1.08 1.40 2/368 12212
/proc/meminfo: memFree=19523236/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=3366192 CPUtime=1482.32 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 843856 0 0 0 148123 109 0 0 25 0 1 0 823462489 3446980608 831278 33554432000 4194304 9163163 140736332563200 18446744073709551615 6555872 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 841548 831278 652 1214 0 840330 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3366192

[startup+1542.3 s]
/proc/loadavg: 1.01 1.06 1.37 2/368 12213
/proc/meminfo: memFree=19395496/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=3494488 CPUtime=1542.32 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 875629 0 0 0 154119 113 0 0 25 0 1 0 823462489 3578355712 863051 33554432000 4194304 9163163 140736332563200 18446744073709551615 6567515 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 873622 863051 652 1214 0 872404 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3494488

[startup+1602.3 s]
/proc/loadavg: 1.00 1.05 1.34 2/368 12215
/proc/meminfo: memFree=19270844/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=3621844 CPUtime=1602.32 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 906843 0 0 0 160115 117 0 0 25 0 1 0 823462489 3708768256 894265 33554432000 4194304 9163163 140736332563200 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 905461 894265 652 1214 0 904243 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3621844

[startup+1662.3 s]
/proc/loadavg: 1.00 1.04 1.32 2/368 12217
/proc/meminfo: memFree=19170748/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=3722388 CPUtime=1662.32 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 931905 0 0 0 166112 120 0 0 25 0 1 0 823462489 3811725312 919327 33554432000 4194304 9163163 140736332563200 18446744073709551615 4232658 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 930597 919327 652 1214 0 929379 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 3722388

[startup+1722.3 s]
/proc/loadavg: 1.00 1.03 1.30 2/368 12218
/proc/meminfo: memFree=19053928/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=3842380 CPUtime=1722.32 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 961513 0 0 0 172108 124 0 0 25 0 1 0 823462489 3934597120 948935 33554432000 4194304 9163163 140736332563200 18446744073709551615 6567807 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 960595 948935 652 1214 0 959377 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 3842380

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.27 2/368 12220
/proc/meminfo: memFree=18935088/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=3959336 CPUtime=1782.33 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 990493 0 0 0 178104 129 0 0 25 0 1 0 823462489 4054360064 977915 33554432000 4194304 9163163 140736332563200 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 989834 977915 652 1214 0 988616 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3959336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.02 1.27 2/368 12220
/proc/meminfo: memFree=18897116/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=3998552 CPUtime=1800.04 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 999830 0 0 0 179874 130 0 0 25 0 1 0 823462489 4094517248 987252 33554432000 4194304 9163163 140736332563200 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12153/statm: 999638 987252 652 1214 0 998420 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3998552

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

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

[startup+1800.2 s]
/proc/loadavg: 1.00 1.02 1.27 2/368 12220
/proc/meminfo: memFree=18897116/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=3993832 CPUtime=1800.22 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 1000531 0 0 0 179892 130 0 0 25 0 1 0 823462489 4089683968 986399 33554432000 4194304 9163163 140736332563200 18446744073709551615 6555613 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12153/statm: 998458 986399 660 1214 0 997240 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 3993832

[startup+1800.6 s]
/proc/loadavg: 1.00 1.02 1.27 2/369 12221
/proc/meminfo: memFree=20328248/32951124 swapFree=37148216/67111528
[pid=12153] ppid=12151 vsize=3203552 CPUtime=1800.64 cores=1,3,5,7
/proc/12153/stat : 12153 (scip-2.0.1.4b.l) R 12151 12153 9067 0 -1 4202496 1000548 0 0 0 179927 137 0 0 25 0 1 0 823462489 3280437248 557146 33554432000 4194304 9163163 140736332563200 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12153/statm: 800888 557146 677 1214 0 799670 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 3203552

Child status: 0
Real time (s): 1800.69
CPU time (s): 1800.73
CPU user time (s): 1799.28
CPU system time (s): 1.45178
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3998552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 1.45178
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1000550
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= 5
involuntary context switches= 18992

runsolver used 5.79712 second user time and 15.5096 second system time

The end

Launcher Data 

Begin job on node104 at 2011-06-03 18:30:20
IDJOB=3451808
IDBENCH=77448
IDSOLVER=1948
FILE ID=node104/3451808-1307118620
RUNJOBID= node104-1307110072-10794
PBS_JOBID= 13497995
Free space on /tmp= 73916 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12016_10.std.opb
COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3451808-1307118620/watcher-3451808-1307118620 -o /tmp/evaluation-result-3451808-1307118620/solver-3451808-1307118620 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451808-1307118620.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 16624ad16b07842a63cd0d52e04da495
RANDOM SEED=438466783

node104.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5293.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      19695300 kB
Buffers:        415208 kB
Cached:        7592204 kB
SwapCached:     163904 kB
Active:        6917504 kB
Inactive:      5995912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19695300 kB
SwapTotal:    67111528 kB
SwapFree:     37148216 kB
Dirty:           19828 kB
Writeback:           0 kB
AnonPages:     4765168 kB
Mapped:          13288 kB
Slab:           181384 kB
PageTables:      95328 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 90892300 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73924 MiB
End job on node104 at 2011-06-03 19:00:22