Trace number 3451098

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
MD5SUM1925793f412227c60146f261684ef7c1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-46
Best CPU time to get the best result obtained on this benchmark1797.39
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94127
Number of constraints which are clauses94127
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 1272
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 1272
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1272
Number of bits of the biggest sum of numbers11
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-3451098-1307088699.opb>
0.49/0.55	c original problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94127 constraints
0.49/0.55	c problem read
0.49/0.55	c presolving settings loaded
0.58/0.65	o 0
0.58/0.65	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.58/0.65	c presolving:
1.00/1.05	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 94127 upgd conss, 188254 impls, 0 clqs
2.39/2.48	c    (2.5s) probing: 101/1272 (7.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.39/2.48	c    (2.5s) probing aborted: 100/100 successive totally useless probings
2.39/2.48	c presolving (2 rounds):
2.39/2.48	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.39/2.48	c  188254 implications, 0 cliques
2.39/2.48	c presolved problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94127 constraints
2.39/2.48	c   94127 constraints of type <setppc>
2.39/2.48	c transformed objective value is always integral (scale: 1)
2.39/2.48	c Presolving Time: 1.85
2.39/2.48	c - non default parameters ----------------------------------------------------------------------
2.39/2.48	c # SCIP version 2.0.1.5
2.39/2.48	c 
2.39/2.48	c # frequency for displaying node information lines
2.39/2.48	c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.48	c display/freq = 10000
2.39/2.48	c 
2.39/2.48	c # maximal time in seconds to run
2.39/2.48	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.48	c limits/time = 1800
2.39/2.48	c 
2.39/2.48	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.48	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.48	c limits/memory = 13950
2.39/2.48	c 
2.39/2.48	c # default clock type (1: CPU user seconds, 2: wall clock time)
2.39/2.48	c # [type: int, range: [1,2], default: 1]
2.39/2.48	c timing/clocktype = 2
2.39/2.48	c 
2.39/2.48	c # belongs reading time to solving time?
2.39/2.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.48	c timing/reading = TRUE
2.39/2.48	c 
2.39/2.48	c # should presolving try to simplify inequalities
2.39/2.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.48	c constraints/linear/simplifyinequalities = TRUE
2.39/2.48	c 
2.39/2.48	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.39/2.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.48	c constraints/indicator/addCouplingCons = TRUE
2.39/2.48	c 
2.39/2.48	c # should presolving try to simplify knapsacks
2.39/2.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.48	c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.48	c 
2.39/2.48	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.39/2.48	c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.48	c separating/rapidlearning/freq = 0
2.39/2.48	c 
2.39/2.48	c -----------------------------------------------------------------------------------------------
2.39/2.48	c start solving
2.39/2.48	c 
4.40/4.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.40/4.46	c t 4.5s|     1 |     0 |  1272 |     - | 116M|   0 |1272 |1272 |  94k|1272 |  94k|   0 |   0 |   0 |-6.360000e+02 | 0.000000e+00 | 100.00%
4.48/4.53	o -1
4.48/4.53	c R 4.5s|     1 |     0 |  1272 |     - | 116M|   0 |1272 |1272 |  94k|1272 |  94k|   0 |   0 |   0 |-6.360000e+02 |-1.000000e+00 |  99.84%
4.58/4.61	o -2
4.58/4.61	c s 4.6s|     1 |     0 |  1272 |     - | 116M|   0 |1272 |1272 |  94k|1272 |  94k|   0 |   0 |   0 |-6.360000e+02 |-2.000000e+00 |  99.69%
6.29/6.35	c   6.3s|     1 |     0 |  1604 |     - | 116M|   0 |1206 |1272 |  94k|1272 |  94k|   6 |   0 |   0 |-6.030000e+02 |-2.000000e+00 |  99.67%
6.29/6.37	o -36
6.29/6.37	c b 6.4s|     1 |     0 |  1604 |     - | 116M|   0 |1206 |1272 |  94k|1272 |  94k|   6 |   0 |   0 |-6.030000e+02 |-3.600000e+01 |  94.03%
8.89/8.92	c   8.9s|     1 |     0 |  1758 |     - | 116M|   0 |1149 |1272 |  94k|1272 |  94k|  24 |   0 |   0 |-5.745000e+02 |-3.600000e+01 |  93.73%
12.49/12.52	c  12.5s|     1 |     0 |  2248 |     - | 116M|   0 |1066 |1272 |  94k|1272 |  94k|  67 |   0 |   0 |-5.330000e+02 |-3.600000e+01 |  93.25%
16.59/16.61	c  16.6s|     1 |     0 |  2532 |     - | 116M|   0 |1021 |1272 |  94k|1272 |  94k|  80 |   0 |   0 |-5.097500e+02 |-3.600000e+01 |  92.94%
20.80/20.85	c  20.8s|     1 |     0 |  2821 |     - | 116M|   0 | 971 |1272 |  94k|1272 |  94k|  99 |   0 |   0 |-4.845000e+02 |-3.600000e+01 |  92.57%
25.30/25.36	c  25.4s|     1 |     0 |  3217 |     - | 116M|   0 | 902 |1272 |  94k|1272 |  94k| 117 |   0 |   0 |-4.502500e+02 |-3.600000e+01 |  92.00%
29.79/29.82	c  29.8s|     1 |     0 |  3598 |     - | 116M|   0 | 854 |1272 |  94k|1272 |  94k| 129 |   0 |   0 |-4.262500e+02 |-3.600000e+01 |  91.55%
34.39/34.41	c  34.4s|     1 |     0 |  4328 |     - | 116M|   0 | 798 |1272 |  94k|1272 |  94k| 149 |   0 |   0 |-3.982500e+02 |-3.600000e+01 |  90.96%
39.19/39.22	c  39.2s|     1 |     0 |  4850 |     - | 116M|   0 | 720 |1272 |  94k|1272 |  94k| 169 |   0 |   0 |-3.590000e+02 |-3.600000e+01 |  89.97%
44.08/44.19	c  44.2s|     1 |     0 |  5338 |     - | 116M|   0 | 670 |1272 |  94k|1272 |  94k| 185 |   0 |   0 |-3.340000e+02 |-3.600000e+01 |  89.22%
46.39/46.46	c  46.5s|     1 |     0 |  6484 |     - | 117M|   0 | 585 |1272 |  94k|1272 |  94k| 205 |   0 |   0 |-2.915000e+02 |-3.600000e+01 |  87.65%
48.09/48.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
48.09/48.18	c  48.2s|     1 |     0 |  7380 |     - | 117M|   0 | 538 |1272 |  94k|1272 |  94k| 219 |   0 |   0 |-2.682500e+02 |-3.600000e+01 |  86.58%
51.19/51.23	c  51.2s|     1 |     0 |  9390 |     - | 117M|   0 | 480 |1272 |  94k|1272 |  94k| 237 |   0 |   0 |-2.392500e+02 |-3.600000e+01 |  84.95%
52.88/52.92	c  52.9s|     1 |     0 | 10506 |     - | 117M|   0 | 404 |1272 |  94k|1272 |  94k| 252 |   0 |   0 |-2.012500e+02 |-3.600000e+01 |  82.11%
54.90/54.96	c  55.0s|     1 |     0 | 12009 |     - | 117M|   0 | 363 |1272 |  94k|1272 |  94k| 264 |   0 |   0 |-1.807500e+02 |-3.600000e+01 |  80.08%
55.89/55.92	c  55.9s|     1 |     0 | 12213 |     - | 117M|   0 | 338 |1272 |  94k|1272 |  94k| 277 |   0 |   0 |-1.690000e+02 |-3.600000e+01 |  78.70%
60.59/60.67	c  60.7s|     1 |     0 | 15424 |     - | 117M|   0 | 302 |1272 |  94k|1272 |  94k| 289 |   0 |   0 |-1.510000e+02 |-3.600000e+01 |  76.16%
62.48/62.54	c  62.5s|     1 |     0 | 16525 |     - | 117M|   0 | 282 |1272 |  94k|1272 |  94k| 295 |   0 |   0 |-1.410000e+02 |-3.600000e+01 |  74.47%
67.19/67.23	c  67.2s|     1 |     0 | 19865 |     - | 117M|   0 | 242 |1272 |  94k|1272 |  94k| 303 |   0 |   0 |-1.210000e+02 |-3.600000e+01 |  70.25%
68.38/68.46	c  68.5s|     1 |     0 | 20674 |     - | 117M|   0 | 226 |1272 |  94k|1272 |  94k| 312 |   0 |   0 |-1.020000e+02 |-3.600000e+01 |  64.71%
70.59/70.64	c  70.6s|     1 |     0 | 22765 |     - | 117M|   0 | 173 |1272 |  94k|1272 |  94k| 323 |   0 |   0 |-8.650000e+01 |-3.600000e+01 |  58.38%
71.19/71.29	c  71.3s|     1 |     0 | 23136 |     - | 117M|   0 | 142 |1272 |  94k|1272 |  94k| 330 |   0 |   0 |-7.100000e+01 |-3.600000e+01 |  49.30%
71.89/71.98	c  72.0s|     1 |     0 | 23550 |     - | 117M|   0 | 139 |1272 |  94k|1272 |  94k| 339 |   0 |   0 |-6.316667e+01 |-3.600000e+01 |  43.01%
72.39/72.42	c  72.4s|     1 |     0 | 23630 |     - | 117M|   0 | 155 |1272 |  94k|1272 |  94k| 345 |   0 |   0 |-5.600000e+01 |-3.600000e+01 |  35.71%
72.89/72.97	c  73.0s|     1 |     0 | 23740 |     - | 117M|   0 | 100 |1272 |  94k|1272 |  94k| 355 |   0 |   0 |-5.300000e+01 |-3.600000e+01 |  32.08%
73.88/73.96	c  74.0s|     1 |     0 | 23843 |     - | 117M|   0 | 177 |1272 |  94k|1272 |  94k| 366 |   0 |   0 |-5.300000e+01 |-3.600000e+01 |  32.08%
75.19/75.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
75.19/75.25	c  75.2s|     1 |     0 | 24361 |     - | 117M|   0 | 140 |1272 |  94k|1272 |  94k| 380 |   0 |   0 |-5.300000e+01 |-3.600000e+01 |  32.08%
76.69/76.72	c  76.7s|     1 |     0 | 24554 |     - | 117M|   0 | 140 |1272 |  94k|1272 |  94k| 394 |   0 |   0 |-5.300000e+01 |-3.600000e+01 |  32.08%
77.29/77.37	c  77.4s|     1 |     0 | 24696 |     - | 117M|   0 | 178 |1272 |  94k|1272 |  94k| 403 |   0 |   0 |-5.300000e+01 |-3.600000e+01 |  32.08%
77.89/78.01	c  78.0s|     1 |     0 | 24811 |     - | 117M|   0 | 190 |1272 |  94k|1272 |  94k| 412 |   0 |   0 |-5.300000e+01 |-3.600000e+01 |  32.08%
104.98/105.00	c   105s|     1 |     2 | 24811 |     - | 117M|   0 | 190 |1272 |  94k|1272 |  94k| 412 |   0 |  32 |-5.300000e+01 |-3.600000e+01 |  32.08%
200.10/200.18	o -37
200.10/200.18	c c 200s|    19 |    20 | 27955 | 174.7 | 121M|  18 |   - |1272 |  94k|1272 |  94k| 412 |   0 | 417 |-5.300000e+01 |-3.700000e+01 |  30.19%
251.39/251.50	o -40
251.39/251.50	c p 251s|    35 |    34 | 29719 | 144.4 | 122M|  23 |   - |1272 |  94k|1272 |  94k| 412 |   0 | 691 |-5.300000e+01 |-4.000000e+01 |  24.53%
283.49/283.54	o -41
283.49/283.54	c v 284s|    61 |    60 | 31848 | 117.3 | 123M|  26 |   - |1272 |  94k|1272 |  94k| 412 |   0 | 867 |-5.300000e+01 |-4.100000e+01 |  22.64%
292.61/292.65	o -43
292.61/292.65	c l 293s|   100 |    91 | 35747 | 110.5 | 124M|  26 |   - |1272 |  94k|1272 |  94k| 412 |   0 | 887 |-5.300000e+01 |-4.300000e+01 |  18.87%
313.00/313.08	o -44
313.00/313.08	c * 313s|   247 |   188 | 44733 |  81.0 | 128M|  33 |   - |1272 |  94k|1272 |  94k| 412 |   0 | 925 |-5.300000e+01 |-4.400000e+01 |  16.98%
361.92/361.98	o -45
361.92/361.98	c f 362s|   529 |   373 | 65197 |  76.5 | 136M|  34 |   - |1272 |  94k|1272 |  94k| 412 |   0 |1011 |-5.300000e+01 |-4.500000e+01 |  15.09%
400.79/400.88	o -46
400.79/400.88	c p 401s|   766 |   512 | 81552 |  74.2 | 143M|  44 |   - |1272 |  94k|1272 |  94k| 412 |   0 |1103 |-5.300000e+01 |-4.600000e+01 |  13.21%
1800.01/1800.01	c 
1800.01/1800.01	c SCIP Status        : solving was interrupted [time limit reached]
1800.01/1800.01	c Solving Time (sec) : 1800.00
1800.01/1800.01	c Solving Nodes      : 4952
1800.01/1800.01	c Primal Bound       : -4.60000000000000e+01 (503 solutions)
1800.01/1800.01	c Dual Bound         : -5.30000000000000e+01
1800.01/1800.01	c Gap                : 13.21 %

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-3451098-1307088699/watcher-3451098-1307088699 -o /tmp/evaluation-result-3451098-1307088699/solver-3451098-1307088699 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451098-1307088699.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: 1.92 2.00 1.99 2/488 19691
/proc/meminfo: memFree=27254624/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=14248 CPUtime=0 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 2558 0 0 0 0 0 0 0 21 0 1 0 820468429 14589952 2511 33554432000 4194304 9163163 140734068042736 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19691/statm: 3562 2511 395 1214 0 2344 0

[startup+0.0223161 s]
/proc/loadavg: 1.92 2.00 1.99 2/488 19691
/proc/meminfo: memFree=27254624/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=15108 CPUtime=0.01 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 2750 0 0 0 1 0 0 0 21 0 1 0 820468429 15470592 2703 33554432000 4194304 9163163 140734068042736 18446744073709551615 7480773 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19691/statm: 3777 2703 395 1214 0 2559 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15108

[startup+0.100334 s]
/proc/loadavg: 1.92 2.00 1.99 2/488 19691
/proc/meminfo: memFree=27254624/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=20056 CPUtime=0.09 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 4008 0 0 0 9 0 0 0 21 0 1 0 820468429 20537344 3961 33554432000 4194304 9163163 140734068042736 18446744073709551615 8041859 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19691/statm: 5014 3961 395 1214 0 3796 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20056

[startup+0.30031 s]
/proc/loadavg: 1.92 2.00 1.99 2/488 19691
/proc/meminfo: memFree=27254624/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=32992 CPUtime=0.28 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 7241 0 0 0 28 0 0 0 22 0 1 0 820468429 33783808 7194 33554432000 4194304 9163163 140734068042736 18446744073709551615 4338896 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19691/statm: 8248 7194 395 1214 0 7030 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 32992

[startup+0.700246 s]
/proc/loadavg: 1.92 2.00 1.99 2/488 19691
/proc/meminfo: memFree=27254624/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=108180 CPUtime=0.69 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 25617 0 0 0 66 3 0 0 24 0 1 0 820468429 110776320 25470 33554432000 4194304 9163163 140734068042736 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 27045 25470 502 1214 0 25827 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 108180

[startup+1.50111 s]
/proc/loadavg: 1.93 2.00 1.99 4/490 19693
/proc/meminfo: memFree=27016412/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=149536 CPUtime=1.49 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 44440 0 0 0 143 6 0 0 25 0 1 0 820468429 153124864 35693 33554432000 4194304 9163163 140734068042736 18446744073709551615 4207443 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 37384 35693 530 1214 0 36166 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 149536

[startup+3.10084 s]
/proc/loadavg: 1.93 2.00 1.99 4/490 19693
/proc/meminfo: memFree=26957264/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=256880 CPUtime=3.08 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 69239 0 0 0 300 8 0 0 25 0 1 0 820468429 263045120 59792 33554432000 4194304 9163163 140734068042736 18446744073709551615 7225486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 64220 59792 875 1214 0 63002 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 256880

[startup+6.30031 s]
/proc/loadavg: 1.93 2.00 1.99 3/490 19693
/proc/meminfo: memFree=26820164/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=283572 CPUtime=6.29 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 80514 0 0 0 618 11 0 0 25 0 1 0 820468429 290377728 68297 33554432000 4194304 9163163 140734068042736 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 70893 68297 1638 1214 0 69675 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 283572

[startup+12.7002 s]
/proc/loadavg: 1.94 2.00 1.99 4/490 19693
/proc/meminfo: memFree=26808068/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=283572 CPUtime=12.69 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 80848 0 0 0 1258 11 0 0 25 0 1 0 820468429 290377728 68437 33554432000 4194304 9163163 140734068042736 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 70893 68437 1449 1214 0 69675 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 283572

[startup+25.5011 s]
/proc/loadavg: 1.95 2.00 1.99 4/490 19694
/proc/meminfo: memFree=26801380/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=283572 CPUtime=25.49 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 81724 0 0 0 2537 12 0 0 25 0 1 0 820468429 290377728 69064 33554432000 4194304 9163163 140734068042736 18446744073709551615 7051368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 70893 69064 1200 1214 0 69675 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 283572

[startup+51.1008 s]
/proc/loadavg: 1.96 2.00 1.99 4/490 19694
/proc/meminfo: memFree=26796720/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=287088 CPUtime=51.09 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 82240 0 0 0 5093 16 0 0 25 0 1 0 820468429 293978112 69302 33554432000 4194304 9163163 140734068042736 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 71772 69302 923 1214 0 70554 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 287088

[startup+102.32 s]
/proc/loadavg: 1.98 2.00 1.99 4/490 19696
/proc/meminfo: memFree=26724276/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=354952 CPUtime=102.31 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 100126 0 0 0 10192 39 0 0 25 0 1 0 820468429 363470848 86912 33554432000 4194304 9163163 140734068042736 18446744073709551615 7348541 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 88738 86912 787 1214 0 87520 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 354952

[startup+162.301 s]
/proc/loadavg: 2.20 2.05 2.01 4/490 19697
/proc/meminfo: memFree=26724360/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=354952 CPUtime=162.29 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 100126 0 0 0 16169 60 0 0 25 0 1 0 820468429 363470848 86912 33554432000 4194304 9163163 140734068042736 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 88738 86912 787 1214 0 87520 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 354952

[startup+222.301 s]
/proc/loadavg: 2.19 2.07 2.01 4/490 19699
/proc/meminfo: memFree=26672620/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=354952 CPUtime=222.29 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 100127 0 0 0 22152 77 0 0 25 0 1 0 820468429 363470848 86912 33554432000 4194304 9163163 140734068042736 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 88738 86912 786 1214 0 87520 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 354952

[startup+282.301 s]
/proc/loadavg: 2.07 2.05 2.01 4/490 19701
/proc/meminfo: memFree=26672476/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=354952 CPUtime=282.3 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 100127 0 0 0 28136 94 0 0 25 0 1 0 820468429 363470848 86912 33554432000 4194304 9163163 140734068042736 18446744073709551615 7225310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 88738 86912 786 1214 0 87520 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 354952

[startup+342.301 s]
/proc/loadavg: 2.02 2.04 2.00 4/490 19702
/proc/meminfo: memFree=26672576/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=354952 CPUtime=342.29 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 100152 0 0 0 34120 109 0 0 25 0 1 0 820468429 363470848 86914 33554432000 4194304 9163163 140734068042736 18446744073709551615 7224045 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 88738 86914 765 1214 0 87520 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 354952

[startup+402.301 s]
/proc/loadavg: 2.01 2.03 2.00 4/490 19704
/proc/meminfo: memFree=26671188/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=344856 CPUtime=402.3 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 104983 0 0 0 40103 127 0 0 25 0 1 0 820468429 353132544 84822 33554432000 4194304 9163163 140734068042736 18446744073709551615 7250837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 86214 84822 769 1214 0 84996 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 344856

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 4/490 19705
/proc/meminfo: memFree=26679580/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=336544 CPUtime=462.3 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 117656 0 0 0 46085 145 0 0 25 0 1 0 820468429 344621056 82744 33554432000 4194304 9163163 140734068042736 18446744073709551615 7225280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 84136 82744 769 1214 0 82918 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 336544

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 4/490 19707
/proc/meminfo: memFree=26679536/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=336544 CPUtime=522.3 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 117656 0 0 0 52070 160 0 0 25 0 1 0 820468429 344621056 82744 33554432000 4194304 9163163 140734068042736 18446744073709551615 6687959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 84136 82744 769 1214 0 82918 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 336544

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 4/490 19709
/proc/meminfo: memFree=26677872/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=336544 CPUtime=582.29 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 117659 0 0 0 58055 174 0 0 25 0 1 0 820468429 344621056 82747 33554432000 4194304 9163163 140734068042736 18446744073709551615 7224045 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 84136 82747 769 1214 0 82918 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 336544

[startup+642.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.25 2.07 2.02 4/490 19715
/proc/meminfo: memFree=26642372/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=349516 CPUtime=822.3 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 119429 0 0 0 81998 232 0 0 25 0 1 0 820468429 357904384 84517 33554432000 4194304 9163163 140734068042736 18446744073709551615 7224064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 87379 84517 769 1214 0 86161 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 349516

[startup+882.3 s]
/proc/loadavg: 2.09 2.06 2.02 4/490 19717
/proc/meminfo: memFree=26623860/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=354220 CPUtime=882.3 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 120811 0 0 0 87983 247 0 0 25 0 1 0 820468429 362721280 85899 33554432000 4194304 9163163 140734068042736 18446744073709551615 7375725 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 88555 85899 769 1214 0 87337 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 354220

[startup+942.301 s]
/proc/loadavg: 2.03 2.04 2.01 4/490 19718
/proc/meminfo: memFree=26608196/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=360820 CPUtime=942.3 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 122260 0 0 0 93968 262 0 0 25 0 1 0 820468429 369479680 87348 33554432000 4194304 9163163 140734068042736 18446744073709551615 7345702 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 90205 87348 769 1214 0 88987 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 360820

[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.00 4/490 19720
/proc/meminfo: memFree=26594144/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=366640 CPUtime=1002.3 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 124000 0 0 0 99954 276 0 0 25 0 1 0 820468429 375439360 89082 33554432000 4194304 9163163 140734068042736 18446744073709551615 7046812 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 91660 89082 770 1214 0 90442 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 366640

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/490 19721
/proc/meminfo: memFree=26573384/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=377288 CPUtime=1062.3 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 126452 0 0 0 105939 291 0 0 25 0 1 0 820468429 386342912 91521 33554432000 4194304 9163163 140734068042736 18446744073709551615 7225280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 94322 91521 770 1214 0 93104 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 377288

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/490 19723
/proc/meminfo: memFree=26557968/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=381688 CPUtime=1122.3 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 127777 0 0 0 111924 306 0 0 25 0 1 0 820468429 390848512 92844 33554432000 4194304 9163163 140734068042736 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 95422 92844 771 1214 0 94204 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 381688

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 19725
/proc/meminfo: memFree=26547988/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=384920 CPUtime=1182.31 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 128601 0 0 0 117912 319 0 0 25 0 1 0 820468429 394158080 93668 33554432000 4194304 9163163 140734068042736 18446744073709551615 7348401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 96230 93668 771 1214 0 95012 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 384920

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/490 19726
/proc/meminfo: memFree=26529436/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=392668 CPUtime=1242.31 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 130463 0 0 0 123897 334 0 0 25 0 1 0 820468429 402092032 95529 33554432000 4194304 9163163 140734068042736 18446744073709551615 7379225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 98167 95529 770 1214 0 96949 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 392668

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/490 19728
/proc/meminfo: memFree=26519224/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=397744 CPUtime=1302.32 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 131833 0 0 0 129883 349 0 0 25 0 1 0 820468429 407289856 96899 33554432000 4194304 9163163 140734068042736 18446744073709551615 7225472 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 99436 96899 770 1214 0 98218 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 397744

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/490 19729
/proc/meminfo: memFree=26504916/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=401908 CPUtime=1362.31 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 155648 0 0 0 135861 370 0 0 25 0 1 0 820468429 411553792 97265 33554432000 4194304 9163163 140734068042736 18446744073709551615 7238096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 100477 97265 770 1214 0 99259 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 401908

[startup+1422.32 s]
/proc/loadavg: 2.08 2.03 2.01 4/490 19731
/proc/meminfo: memFree=26482804/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=416260 CPUtime=1422.32 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 159068 0 0 0 141847 385 0 0 25 0 1 0 820468429 426250240 100662 33554432000 4194304 9163163 140734068042736 18446744073709551615 8045774 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 104065 100662 777 1214 0 102847 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 416260

[startup+1482.3 s]
/proc/loadavg: 2.10 2.05 2.01 4/490 19733
/proc/meminfo: memFree=26466008/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=423464 CPUtime=1482.32 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 161005 0 0 0 147830 402 0 0 25 0 1 0 820468429 433627136 102585 33554432000 4194304 9163163 140734068042736 18446744073709551615 7046746 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 105866 102585 769 1214 0 104648 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 423464

[startup+1542.3 s]
/proc/loadavg: 2.04 2.04 2.01 4/490 19734
/proc/meminfo: memFree=26452560/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=429760 CPUtime=1542.31 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 163054 0 0 0 153813 418 0 0 25 0 1 0 820468429 440074240 104634 33554432000 4194304 9163163 140734068042736 18446744073709551615 6687959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 107440 104634 769 1214 0 106222 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 429760

[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 4/490 19736
/proc/meminfo: memFree=26383208/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=432636 CPUtime=1602.31 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 164139 0 0 0 159797 434 0 0 25 0 1 0 820468429 443019264 105719 33554432000 4194304 9163163 140734068042736 18446744073709551615 7216620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 108159 105719 769 1214 0 106941 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 432636

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/490 19737
/proc/meminfo: memFree=26377076/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=443672 CPUtime=1662.31 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 165693 0 0 0 165783 448 0 0 25 0 1 0 820468429 454320128 107266 33554432000 4194304 9163163 140734068042736 18446744073709551615 7348243 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 110918 107266 771 1214 0 109700 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 443672

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/490 19739
/proc/meminfo: memFree=26373432/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=443672 CPUtime=1722.31 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 166576 0 0 0 171771 460 0 0 25 0 1 0 820468429 454320128 108147 33554432000 4194304 9163163 140734068042736 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 110918 108147 769 1214 0 109700 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 443672

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/490 19741
/proc/meminfo: memFree=26363572/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=451112 CPUtime=1782.32 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 168445 0 0 0 177756 476 0 0 25 0 1 0 820468429 461938688 110016 33554432000 4194304 9163163 140734068042736 18446744073709551615 7209930 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19691/statm: 112778 110016 769 1214 0 111560 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 451112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 4/490 19741
/proc/meminfo: memFree=26361456/32951124 swapFree=63649284/67111528
[pid=19691] ppid=19687 vsize=456896 CPUtime=1800.03 cores=1,3,5,7
/proc/19691/stat : 19691 (scip-2.0.1.4b.l) R 19687 19691 13071 0 -1 4202496 169313 0 0 0 179524 479 0 0 25 0 1 0 820468429 467861504 110884 33554432000 4194304 9163163 140734068042736 18446744073709551615 4684128 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19691/statm: 114224 110884 770 1214 0 113006 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 456896

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.06
CPU user time (s): 1795.25
CPU system time (s): 4.81727
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 483388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.25
system time used= 4.81727
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169313
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= 6
involuntary context switches= 4729

runsolver used 8.66768 second user time and 22.2076 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-03 10:11:39
IDJOB=3451098
IDBENCH=2255
IDSOLVER=1948
FILE ID=node130/3451098-1307088699
RUNJOBID= node130-1307088699-19673
PBS_JOBID= 13497856
Free space on /tmp= 73840 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/frb53-24-opb/normalized-frb53-24-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-3451098-1307088699/watcher-3451098-1307088699 -o /tmp/evaluation-result-3451098-1307088699/solver-3451098-1307088699 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451098-1307088699.opb -t 1800 -m 15500

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

MD5SUM BENCH= 1925793f412227c60146f261684ef7c1
RANDOM SEED=893095525

node130.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.838
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.67
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.838
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.838
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.838
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.81
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.838
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.75
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.838
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.838
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.838
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27255068 kB
Buffers:        239904 kB
Cached:         393144 kB
SwapCached:       9700 kB
Active:        5086560 kB
Inactive:       326892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27255068 kB
SwapTotal:    67111528 kB
SwapFree:     63649284 kB
Dirty:           27680 kB
Writeback:           0 kB
AnonPages:     4778332 kB
Mapped:          30304 kB
Slab:           158868 kB
PageTables:      53776 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145071132 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= 73820 MiB
End job on node130 at 2011-06-03 10:41:41