Trace number 3451096

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.09 1800.04

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
MD5SUMc9380923d34e254cfa512f89027f1d42
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-38
Best CPU time to get the best result obtained on this benchmark1800.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41095
Number of constraints which are clauses41095
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 760
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 760
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 760
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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-3451096-1307087295.opb>
0.19/0.24	c original problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41095 constraints
0.19/0.24	c problem read
0.19/0.24	c presolving settings loaded
0.19/0.29	o 0
0.19/0.29	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.19/0.29	c presolving:
0.39/0.45	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 41095 upgd conss, 82190 impls, 0 clqs
0.89/0.91	c    (0.9s) probing: 101/760 (13.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.91	c    (0.9s) probing aborted: 100/100 successive totally useless probings
0.89/0.91	c presolving (2 rounds):
0.89/0.91	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.91	c  82190 implications, 0 cliques
0.89/0.91	c presolved problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41095 constraints
0.89/0.91	c   41095 constraints of type <setppc>
0.89/0.91	c transformed objective value is always integral (scale: 1)
0.89/0.91	c Presolving Time: 0.64
0.89/0.91	c - non default parameters ----------------------------------------------------------------------
0.89/0.91	c # SCIP version 2.0.1.5
0.89/0.91	c 
0.89/0.91	c # frequency for displaying node information lines
0.89/0.91	c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.91	c display/freq = 10000
0.89/0.91	c 
0.89/0.91	c # maximal time in seconds to run
0.89/0.91	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.91	c limits/time = 1800
0.89/0.91	c 
0.89/0.91	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.91	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.91	c limits/memory = 13950
0.89/0.91	c 
0.89/0.91	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.91	c # [type: int, range: [1,2], default: 1]
0.89/0.91	c timing/clocktype = 2
0.89/0.91	c 
0.89/0.91	c # belongs reading time to solving time?
0.89/0.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.91	c timing/reading = TRUE
0.89/0.91	c 
0.89/0.91	c # should presolving try to simplify inequalities
0.89/0.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.91	c constraints/linear/simplifyinequalities = TRUE
0.89/0.91	c 
0.89/0.91	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/0.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.91	c constraints/indicator/addCouplingCons = TRUE
0.89/0.91	c 
0.89/0.91	c # should presolving try to simplify knapsacks
0.89/0.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.91	c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.91	c 
0.89/0.91	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.91	c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.91	c separating/rapidlearning/freq = 0
0.89/0.91	c 
0.89/0.91	c -----------------------------------------------------------------------------------------------
0.89/0.91	c start solving
0.89/0.92	c 
1.39/1.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.39/1.40	c t 1.4s|     1 |     0 |   762 |     - |  51M|   0 | 760 | 760 |  41k| 760 |  41k|   0 |   0 |   0 |-3.800000e+02 | 0.000000e+00 | 100.00%
1.39/1.42	o -1
1.39/1.42	c R 1.4s|     1 |     0 |   762 |     - |  51M|   0 | 760 | 760 |  41k| 760 |  41k|   0 |   0 |   0 |-3.800000e+02 |-1.000000e+00 |  99.74%
2.11/2.12	c   2.1s|     1 |     0 |   979 |     - |  51M|   0 | 709 | 760 |  41k| 760 |  41k|   5 |   0 |   0 |-3.545000e+02 |-1.000000e+00 |  99.72%
2.11/2.13	o -28
2.11/2.13	c b 2.1s|     1 |     0 |   979 |     - |  51M|   0 | 709 | 760 |  41k| 760 |  41k|   5 |   0 |   0 |-3.545000e+02 |-2.800000e+01 |  92.10%
2.99/3.08	c   3.1s|     1 |     0 |  1227 |     - |  51M|   0 | 662 | 760 |  41k| 760 |  41k|  24 |   0 |   0 |-3.310000e+02 |-2.800000e+01 |  91.54%
4.09/4.10	c   4.1s|     1 |     0 |  1393 |     - |  51M|   0 | 623 | 760 |  41k| 760 |  41k|  36 |   0 |   0 |-3.115000e+02 |-2.800000e+01 |  91.01%
5.19/5.22	c   5.2s|     1 |     0 |  1546 |     - |  51M|   0 | 587 | 760 |  41k| 760 |  41k|  46 |   0 |   0 |-2.935000e+02 |-2.800000e+01 |  90.46%
6.39/6.44	c   6.4s|     1 |     0 |  1831 |     - |  51M|   0 | 550 | 760 |  41k| 760 |  41k|  59 |   0 |   0 |-2.750000e+02 |-2.800000e+01 |  89.82%
7.60/7.68	c   7.7s|     1 |     0 |  2028 |     - |  51M|   0 | 513 | 760 |  41k| 760 |  41k|  77 |   0 |   0 |-2.565000e+02 |-2.800000e+01 |  89.08%
8.80/8.89	c   8.9s|     1 |     0 |  2178 |     - |  51M|   0 | 476 | 760 |  41k| 760 |  41k|  90 |   0 |   0 |-2.380000e+02 |-2.800000e+01 |  88.24%
9.99/10.04	c  10.0s|     1 |     0 |  2306 |     - |  51M|   0 | 439 | 760 |  41k| 760 |  41k| 102 |   0 |   0 |-2.195000e+02 |-2.800000e+01 |  87.24%
11.19/11.24	c  11.2s|     1 |     0 |  2613 |     - |  51M|   0 | 388 | 760 |  41k| 760 |  41k| 115 |   0 |   0 |-1.940000e+02 |-2.800000e+01 |  85.57%
12.59/12.62	c  12.6s|     1 |     0 |  3167 |     - |  51M|   0 | 344 | 760 |  41k| 760 |  41k| 131 |   0 |   0 |-1.720000e+02 |-2.800000e+01 |  83.72%
13.21/13.26	c  13.3s|     1 |     0 |  3701 |     - |  51M|   0 | 300 | 760 |  41k| 760 |  41k| 149 |   0 |   0 |-1.500000e+02 |-2.800000e+01 |  81.33%
13.79/13.89	c  13.9s|     1 |     0 |  4247 |     - |  51M|   0 | 268 | 760 |  41k| 760 |  41k| 162 |   0 |   0 |-1.340000e+02 |-2.800000e+01 |  79.10%
14.30/14.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
14.30/14.34	c  14.3s|     1 |     0 |  4541 |     - |  51M|   0 | 236 | 760 |  41k| 760 |  41k| 173 |   0 |   0 |-1.180000e+02 |-2.800000e+01 |  76.27%
15.00/15.09	c  15.1s|     1 |     0 |  5501 |     - |  51M|   0 | 193 | 760 |  41k| 760 |  41k| 186 |   0 |   0 |-9.650000e+01 |-2.800000e+01 |  70.98%
15.69/15.76	c  15.8s|     1 |     0 |  6387 |     - |  51M|   0 | 175 | 760 |  41k| 760 |  41k| 194 |   0 |   0 |-8.750000e+01 |-2.800000e+01 |  68.00%
16.09/16.17	c  16.2s|     1 |     0 |  6606 |     - |  51M|   0 | 144 | 760 |  41k| 760 |  41k| 207 |   0 |   0 |-7.200000e+01 |-2.800000e+01 |  61.11%
16.51/16.57	c  16.6s|     1 |     0 |  6786 |     - |  51M|   0 | 146 | 760 |  41k| 760 |  41k| 213 |   0 |   0 |-6.500000e+01 |-2.800000e+01 |  56.92%
16.89/16.95	c  17.0s|     1 |     0 |  7034 |     - |  51M|   0 | 105 | 760 |  41k| 760 |  41k| 228 |   0 |   0 |-5.350000e+01 |-2.800000e+01 |  47.66%
17.29/17.35	c  17.4s|     1 |     0 |  7270 |     - |  51M|   0 | 105 | 760 |  41k| 760 |  41k| 240 |   0 |   0 |-5.050000e+01 |-2.800000e+01 |  44.55%
17.79/17.83	c  17.8s|     1 |     0 |  7611 |     - |  51M|   0 | 114 | 760 |  41k| 760 |  41k| 248 |   0 |   0 |-4.450000e+01 |-2.800000e+01 |  37.08%
18.19/18.20	c  18.2s|     1 |     0 |  8037 |     - |  51M|   0 | 140 | 760 |  41k| 760 |  41k| 255 |   0 |   0 |-4.000000e+01 |-2.800000e+01 |  30.00%
18.39/18.42	c  18.4s|     1 |     0 |  8119 |     - |  51M|   0 | 158 | 760 |  41k| 760 |  41k| 268 |   0 |   0 |-4.000000e+01 |-2.800000e+01 |  30.00%
18.79/18.81	c  18.8s|     1 |     0 |  8190 |     - |  51M|   0 | 175 | 760 |  41k| 760 |  41k| 275 |   0 |   0 |-4.000000e+01 |-2.800000e+01 |  30.00%
23.20/23.28	c  23.3s|     1 |     0 |  8259 |     - |  51M|   0 | 171 | 760 |  41k| 760 |  41k| 285 |   0 |   0 |-4.000000e+01 |-2.800000e+01 |  30.00%
24.21/24.27	c  24.3s|     1 |     0 |  8496 |     - |  51M|   0 | 178 | 760 |  41k| 760 |  41k| 294 |   0 |   0 |-4.000000e+01 |-2.800000e+01 |  30.00%
26.20/26.20	c  26.2s|     1 |     0 |  8633 |     - |  51M|   0 | 160 | 760 |  41k| 760 |  41k| 307 |   0 |   0 |-4.000000e+01 |-2.800000e+01 |  30.00%
34.59/34.63	c  34.6s|     1 |     2 |  8633 |     - |  51M|   0 | 160 | 760 |  41k| 760 |  41k| 307 |   0 |  21 |-4.000000e+01 |-2.800000e+01 |  30.00%
69.31/69.37	o -29
69.31/69.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
69.31/69.37	c c69.4s|    15 |    16 | 11667 | 216.7 |  53M|  14 |   - | 760 |  41k| 760 |  41k| 307 |   0 | 329 |-4.000000e+01 |-2.900000e+01 |  27.50%
111.01/111.06	o -30
111.01/111.06	c f 111s|    41 |    39 | 14923 | 157.2 |  54M|  15 |   - | 760 |  41k| 760 |  41k| 307 |   0 | 722 |-4.000000e+01 |-3.000000e+01 |  25.00%
114.50/114.53	o -31
114.50/114.53	c o 115s|    65 |    63 | 17478 | 138.2 |  55M|  16 |   0 | 760 |  41k| 760 |  41k| 307 |   0 | 731 |-4.000000e+01 |-3.100000e+01 |  22.50%
132.59/132.63	o -32
132.59/132.63	c C 133s|   265 |   234 | 34168 |  96.7 |  59M|  34 | 107 | 760 |  41k| 760 |  41k| 307 |   0 | 805 |-4.000000e+01 |-3.200000e+01 |  20.00%
143.49/143.54	o -33
143.49/143.54	c * 144s|   455 |   331 | 44029 |  78.0 |  61M|  34 |   - | 760 |  41k| 760 |  41k| 307 |   0 | 851 |-4.000000e+01 |-3.300000e+01 |  17.50%
175.79/175.88	o -34
175.79/175.88	c f 176s|  1167 |   639 | 72129 |  54.5 |  68M|  37 |   - | 760 |  41k| 760 |  41k| 307 |   0 |1028 |-4.000000e+01 |-3.400000e+01 |  15.00%
488.00/488.09	o -35
488.00/488.09	c g 488s|  5019 |  3185 |379923 |  74.0 | 122M|  57 |   - | 760 |  41k| 760 |  41k| 307 |   0 |2036 |-4.000000e+01 |-3.500000e+01 |  12.50%
757.22/757.28	c   757s| 10000 |  6080 |665394 |  65.7 | 175M|  57 |   - | 760 |  41k| 760 |  41k| 307 |   0 |2673 |-4.000000e+01 |-3.500000e+01 |  12.50%
960.02/960.06	o -36
960.02/960.06	c v 960s| 14028 |  6115 |882809 |  62.3 | 187M|  67 |   - | 760 |  41k| 760 |  41k| 307 |   0 |3255 |-4.000000e+01 |-3.600000e+01 |  10.00%
1178.83/1178.81	c  1179s| 20000 |  7923 |  1130k|  56.1 | 224M|  77 |   - | 760 |  41k| 760 |  41k| 307 |   0 |3931 |-4.000000e+01 |-3.600000e+01 |  10.00%
1494.14/1494.18	c  1494s| 30000 | 10539 |  1490k|  49.4 | 274M|  77 | 102 | 760 |  41k| 760 |  41k| 307 |   0 |4706 |-4.000000e+01 |-3.600000e+01 |  10.00%
1694.54/1694.55	o -37
1694.54/1694.55	c *1695s| 37333 |  7803 |  1736k|  46.3 | 235M|  77 |   - | 760 |  41k| 760 |  41k| 307 |   0 |4802 |-4.000000e+01 |-3.700000e+01 |   7.50%
1694.75/1694.71	o -38
1694.75/1694.71	c *1695s| 37341 |  3797 |  1736k|  46.3 | 158M|  77 |   - | 760 |  41k| 760 |  41k| 307 |   0 |4802 |-4.000000e+01 |-3.800000e+01 |   5.00%
1777.05/1777.05	c  1777s| 40000 |  4142 |  1822k|  45.3 | 166M|  77 |   - | 760 |  41k| 760 |  41k| 307 |   0 |5122 |-4.000000e+01 |-3.800000e+01 |   5.00%
1800.05/1800.00	c 
1800.05/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.05/1800.00	c Solving Time (sec) : 1800.00
1800.05/1800.00	c Solving Nodes      : 40691
1800.05/1800.00	c Primal Bound       : -3.80000000000000e+01 (637 solutions)
1800.05/1800.00	c Dual Bound         : -4.00000000000000e+01
1800.05/1800.00	c Gap                : 5.00 %

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-3451096-1307087295/watcher-3451096-1307087295 -o /tmp/evaluation-result-3451096-1307087295/solver-3451096-1307087295 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451096-1307087295.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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.10 2.05 2.01 2/436 18108
/proc/meminfo: memFree=20840796/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=14084 CPUtime=0 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 2493 0 0 0 0 0 0 0 25 0 1 0 820327344 14422016 2446 33554432000 4194304 9163163 140737155270768 18446744073709551615 8045195 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18108/statm: 3521 2446 395 1214 0 2303 0

[startup+0.0175999 s]
/proc/loadavg: 2.10 2.05 2.01 2/436 18108
/proc/meminfo: memFree=20840796/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=14460 CPUtime=0.01 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 2587 0 0 0 1 0 0 0 25 0 1 0 820327344 14807040 2540 33554432000 4194304 9163163 140737155270768 18446744073709551615 8044873 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18108/statm: 3615 2540 395 1214 0 2397 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14460

[startup+0.100576 s]
/proc/loadavg: 2.10 2.05 2.01 2/436 18108
/proc/meminfo: memFree=20840796/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=20300 CPUtime=0.09 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 4074 0 0 0 9 0 0 0 25 0 1 0 820327344 20787200 4027 33554432000 4194304 9163163 140737155270768 18446744073709551615 7480048 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18108/statm: 5075 4027 395 1214 0 3857 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20300

[startup+0.300538 s]
/proc/loadavg: 2.10 2.05 2.01 2/436 18108
/proc/meminfo: memFree=20840796/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=57652 CPUtime=0.29 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 13148 0 0 0 27 2 0 0 25 0 1 0 820327344 59035648 13065 33554432000 4194304 9163163 140737155270768 18446744073709551615 5155557 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 14413 13065 502 1214 0 13195 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57652

[startup+0.700482 s]
/proc/loadavg: 2.10 2.05 2.01 2/436 18108
/proc/meminfo: memFree=20840796/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=79696 CPUtime=0.69 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 21860 0 0 0 67 2 0 0 25 0 1 0 820327344 81608704 18557 33554432000 4194304 9163163 140737155270768 18446744073709551615 6484017 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 19924 18557 530 1214 0 18706 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79696

[startup+1.50032 s]
/proc/loadavg: 2.10 2.05 2.01 3/437 18109
/proc/meminfo: memFree=20728448/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=137176 CPUtime=1.49 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 36021 0 0 0 144 5 0 0 25 0 1 0 820327344 140468224 31586 33554432000 4194304 9163163 140737155270768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 34294 31586 894 1214 0 33076 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 137176

[startup+3.10105 s]
/proc/loadavg: 2.10 2.05 2.01 3/437 18109
/proc/meminfo: memFree=20711956/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=138920 CPUtime=3.09 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 37756 0 0 0 304 5 0 0 25 0 1 0 820327344 142254080 33174 33554432000 4194304 9163163 140737155270768 18446744073709551615 4579072 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 34730 33174 968 1214 0 33512 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 138920

[startup+6.30043 s]
/proc/loadavg: 2.17 2.07 2.02 3/437 18109
/proc/meminfo: memFree=20709360/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=139888 CPUtime=6.29 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 37950 0 0 0 624 5 0 0 25 0 1 0 820327344 143245312 33233 33554432000 4194304 9163163 140737155270768 18446744073709551615 7348385 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 34972 33233 835 1214 0 33754 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 139888

[startup+12.7002 s]
/proc/loadavg: 2.16 2.07 2.01 3/437 18109
/proc/meminfo: memFree=20708036/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=139888 CPUtime=12.7 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 38101 0 0 0 1264 6 0 0 25 0 1 0 820327344 143245312 33235 33554432000 4194304 9163163 140737155270768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 34972 33235 687 1214 0 33754 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 139888

[startup+25.5009 s]
/proc/loadavg: 2.12 2.06 2.01 3/437 18109
/proc/meminfo: memFree=20706140/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=139888 CPUtime=25.49 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 38625 0 0 0 2539 10 0 0 25 0 1 0 820327344 143245312 33745 33554432000 4194304 9163163 140737155270768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 34972 33745 673 1214 0 33754 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 139888

[startup+51.1012 s]
/proc/loadavg: 2.08 2.06 2.01 3/437 18110
/proc/meminfo: memFree=20705412/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=142696 CPUtime=51.09 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 50399 0 0 0 5090 19 0 0 25 0 1 0 820327344 146120704 33975 33554432000 4194304 9163163 140737155270768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 35674 33975 709 1214 0 34456 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 142696

[startup+102.317 s]
/proc/loadavg: 2.03 2.05 2.01 3/437 18111
/proc/meminfo: memFree=20704080/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=142696 CPUtime=102.31 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 50477 0 0 0 10198 33 0 0 25 0 1 0 820327344 146120704 34053 33554432000 4194304 9163163 140737155270768 18446744073709551615 7348663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 35674 34053 709 1214 0 34456 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 142696

[startup+162.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/437 18141
/proc/meminfo: memFree=20591448/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=196948 CPUtime=162.3 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 64197 0 0 0 16180 50 0 0 25 0 1 0 820327344 201674752 47773 33554432000 4194304 9163163 140737155270768 18446744073709551615 7345716 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 49237 47773 715 1214 0 48019 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 196948

[startup+222.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/437 18143
/proc/meminfo: memFree=20588552/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=196948 CPUtime=222.3 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 64200 0 0 0 22169 61 0 0 25 0 1 0 820327344 201674752 47776 33554432000 4194304 9163163 140737155270768 18446744073709551615 7225280 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 49237 47776 715 1214 0 48019 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 196948

[startup+282.3 s]
/proc/loadavg: 2.21 2.08 2.01 3/437 18144
/proc/meminfo: memFree=20586856/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=196948 CPUtime=282.3 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 64201 0 0 0 28157 73 0 0 25 0 1 0 820327344 201674752 47777 33554432000 4194304 9163163 140737155270768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 49237 47777 715 1214 0 48019 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 196948

[startup+342.301 s]
/proc/loadavg: 2.17 2.09 2.02 3/437 18146
/proc/meminfo: memFree=20577772/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=192760 CPUtime=342.31 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 70484 0 0 0 34143 88 0 0 25 0 1 0 820327344 197386240 46768 33554432000 4194304 9163163 140737155270768 18446744073709551615 7348342 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 48190 46768 715 1214 0 46972 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 192760

[startup+402.301 s]
/proc/loadavg: 2.06 2.07 2.01 3/437 18147
/proc/meminfo: memFree=20557672/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=204144 CPUtime=402.31 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 84679 0 0 0 40131 100 0 0 25 0 1 0 820327344 209043456 49288 33554432000 4194304 9163163 140737155270768 18446744073709551615 7225331 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 51036 49288 715 1214 0 49818 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 204144

[startup+462.301 s]
/proc/loadavg: 2.02 2.06 2.01 3/437 18149
/proc/meminfo: memFree=20535448/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=216416 CPUtime=462.3 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 99392 0 0 0 46116 114 0 0 25 0 1 0 820327344 221609984 52203 33554432000 4194304 9163163 140737155270768 18446744073709551615 7348176 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 54104 52203 718 1214 0 52886 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 216416

[startup+522.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/437 18150
/proc/meminfo: memFree=20515836/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=227536 CPUtime=522.31 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 113633 0 0 0 52103 128 0 0 25 0 1 0 820327344 232996864 54635 33554432000 4194304 9163163 140737155270768 18446744073709551615 7345763 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 56884 54635 749 1214 0 55666 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 227536

[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/437 18152
/proc/meminfo: memFree=20488532/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=237792 CPUtime=582.31 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 116914 0 0 0 58088 143 0 0 25 0 1 0 820327344 243499008 57826 33554432000 4194304 9163163 140737155270768 18446744073709551615 7224045 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 59448 57826 715 1214 0 58230 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 237792

[startup+642.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.20 2.08 2.02 3/437 18167
/proc/meminfo: memFree=20422012/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=282036 CPUtime=822.32 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 159103 0 0 0 82032 200 0 0 25 0 1 0 820327344 288804864 68694 33554432000 4194304 9163163 140737155270768 18446744073709551615 7209859 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 70509 68694 761 1214 0 69291 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 282036

[startup+882.3 s]
/proc/loadavg: 2.24 2.12 2.03 3/437 18169
/proc/meminfo: memFree=20402528/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=292632 CPUtime=882.32 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 161637 0 0 0 88019 213 0 0 25 0 1 0 820327344 299655168 71175 33554432000 4194304 9163163 140737155270768 18446744073709551615 7109666 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 73158 71175 715 1214 0 71940 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 292632

[startup+942.301 s]
/proc/loadavg: 2.08 2.10 2.03 3/437 18171
/proc/meminfo: memFree=20380560/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=304244 CPUtime=942.32 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 176084 0 0 0 94004 228 0 0 25 0 1 0 820327344 311545856 74453 33554432000 4194304 9163163 140737155270768 18446744073709551615 7348247 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 76061 74453 718 1214 0 74843 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 304244

[startup+1002.3 s]
/proc/loadavg: 2.03 2.08 2.02 3/437 18175
/proc/meminfo: memFree=20367208/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=307920 CPUtime=1002.32 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 188091 0 0 0 99989 243 0 0 25 0 1 0 820327344 315310080 75011 33554432000 4194304 9163163 140737155270768 18446744073709551615 7225314 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 76980 75011 716 1214 0 75762 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 307920

[startup+1062.3 s]
/proc/loadavg: 2.01 2.06 2.02 3/437 18177
/proc/meminfo: memFree=20353364/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=312668 CPUtime=1062.33 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 212013 0 0 0 105974 259 0 0 25 0 1 0 820327344 320172032 75895 33554432000 4194304 9163163 140737155270768 18446744073709551615 7058255 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 78167 75895 719 1214 0 76949 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 312668

[startup+1122.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/437 18179
/proc/meminfo: memFree=20336472/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=313732 CPUtime=1122.33 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 213071 0 0 0 111962 271 0 0 25 0 1 0 820327344 321261568 76857 33554432000 4194304 9163163 140737155270768 18446744073709551615 7345685 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 78433 76857 719 1214 0 77215 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 313732

[startup+1182.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/437 18180
/proc/meminfo: memFree=20323292/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=317372 CPUtime=1182.33 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 225257 0 0 0 117949 284 0 0 25 0 1 0 820327344 324988928 77558 33554432000 4194304 9163163 140737155270768 18446744073709551615 7225331 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 79343 77558 719 1214 0 78125 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 317372

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/437 18182
/proc/meminfo: memFree=20308756/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=324928 CPUtime=1242.33 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 239033 0 0 0 123936 297 0 0 25 0 1 0 820327344 332726272 79566 33554432000 4194304 9163163 140737155270768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 81232 79566 719 1214 0 80014 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 324928

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 18183
/proc/meminfo: memFree=20292364/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=336176 CPUtime=1302.35 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 241595 0 0 0 129926 309 0 0 25 0 1 0 820327344 344244224 82121 33554432000 4194304 9163163 140737155270768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 84044 82121 719 1214 0 82826 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 336176

[startup+1362.3 s]
/proc/loadavg: 2.17 2.06 2.01 3/437 18185
/proc/meminfo: memFree=20273992/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=342852 CPUtime=1362.34 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 243458 0 0 0 135912 322 0 0 25 0 1 0 820327344 351080448 83979 33554432000 4194304 9163163 140737155270768 18446744073709551615 7348127 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 85713 83979 718 1214 0 84495 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 342852

[startup+1422.32 s]
/proc/loadavg: 2.17 2.08 2.02 3/437 18187
/proc/meminfo: memFree=20255252/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=353872 CPUtime=1422.35 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 257732 0 0 0 141899 336 0 0 25 0 1 0 820327344 362364928 86735 33554432000 4194304 9163163 140737155270768 18446744073709551615 7375722 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 88468 86735 715 1214 0 87250 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 353872

[startup+1482.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/437 18188
/proc/meminfo: memFree=20236124/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=364768 CPUtime=1482.34 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 260407 0 0 0 147886 348 0 0 25 0 1 0 820327344 373522432 89409 33554432000 4194304 9163163 140737155270768 18446744073709551615 7224064 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 91192 89409 715 1214 0 89974 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 364768

[startup+1542.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/437 18190
/proc/meminfo: memFree=20216748/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=377524 CPUtime=1542.35 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 263660 0 0 0 153874 361 0 0 25 0 1 0 820327344 386584576 92601 33554432000 4194304 9163163 140737155270768 18446744073709551615 7250837 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 94381 92601 715 1214 0 93163 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 377524

[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/437 18191
/proc/meminfo: memFree=20195008/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=388244 CPUtime=1602.35 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 266356 0 0 0 159862 373 0 0 25 0 1 0 820327344 397561856 95283 33554432000 4194304 9163163 140737155270768 18446744073709551615 7375878 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 97061 95283 715 1214 0 95843 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 388244

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/437 18193
/proc/meminfo: memFree=20170804/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=400204 CPUtime=1662.35 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 269289 0 0 0 165849 386 0 0 25 0 1 0 820327344 409808896 98177 33554432000 4194304 9163163 140737155270768 18446744073709551615 7345656 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 100051 98177 718 1214 0 98833 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 400204

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 18194
/proc/meminfo: memFree=20158120/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=407608 CPUtime=1722.34 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 293572 0 0 0 171834 400 0 0 25 0 1 0 820327344 417390592 99784 33554432000 4194304 9163163 140737155270768 18446744073709551615 7300304 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 101902 99784 722 1214 0 100684 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 407608

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 18196
/proc/meminfo: memFree=20141612/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=408320 CPUtime=1782.35 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 305829 0 0 0 177820 415 0 0 25 0 1 0 820327344 418119680 100489 33554432000 4194304 9163163 140737155270768 18446744073709551615 7348401 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18108/statm: 102080 100489 718 1214 0 100862 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 408320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/437 18197
/proc/meminfo: memFree=20141732/32951124 swapFree=60787360/67111528
[pid=18108] ppid=18106 vsize=406900 CPUtime=1800.06 cores=0,2,4,6
/proc/18108/stat : 18108 (scip-2.0.1.4b.l) R 18106 18108 11639 0 -1 4202496 316647 0 0 0 179586 420 0 0 25 0 1 0 820327344 416665600 99885 33554432000 4194304 9163163 140737155270768 18446744073709551615 4347391 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18108/statm: 101725 99885 718 1214 0 100507 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 406900

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.09
CPU user time (s): 1795.87
CPU system time (s): 4.22336
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 447024

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

runsolver used 8.35373 second user time and 17.8193 second system time

The end

Launcher Data 

Begin job on node135 at 2011-06-03 09:48:15
IDJOB=3451096
IDBENCH=2241
IDSOLVER=1948
FILE ID=node135/3451096-1307087295
RUNJOBID= node135-1307083434-17484
PBS_JOBID= 13497851
Free space on /tmp= 73948 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.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-3451096-1307087295/watcher-3451096-1307087295 -o /tmp/evaluation-result-3451096-1307087295/solver-3451096-1307087295 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451096-1307087295.opb -t 1800 -m 15500

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

MD5SUM BENCH= c9380923d34e254cfa512f89027f1d42
RANDOM SEED=372128465

node135.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.851
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.70
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.851
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.851
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.75
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.851
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	: 6640.14
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.851
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	: 5332.78
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.851
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.75
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.851
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.74
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.851
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20841076 kB
Buffers:        214828 kB
Cached:         461768 kB
SwapCached:       6168 kB
Active:       11482332 kB
Inactive:       369624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20841076 kB
SwapTotal:    67111528 kB
SwapFree:     60787360 kB
Dirty:           13228 kB
Writeback:           0 kB
AnonPages:    11174568 kB
Mapped:          28788 kB
Slab:           125140 kB
PageTables:      66016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 124474904 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73932 MiB
End job on node135 at 2011-06-03 10:18:17