Trace number 3452656

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 SCIP 2.0.1.4. 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-5.opb
MD5SUMf408a60720d5bae3e36cea0c41e2f7f1
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.2
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -39
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41619
Number of constraints which are clauses41619
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.01	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-3452656-1307087399.opb>
0.19/0.26	c original problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41619 constraints
0.19/0.26	c problem read
0.19/0.26	c presolving settings loaded
0.29/0.36	o 0
0.29/0.36	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.29/0.36	c presolving:
0.49/0.55	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 41619 upgd conss, 83238 impls, 0 clqs
1.10/1.11	c    (1.1s) probing: 101/760 (13.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.11	c    (1.1s) probing aborted: 100/100 successive totally useless probings
1.10/1.11	c presolving (2 rounds):
1.10/1.11	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.11	c  83238 implications, 0 cliques
1.10/1.11	c presolved problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41619 constraints
1.10/1.11	c   41619 constraints of type <setppc>
1.10/1.11	c transformed objective value is always integral (scale: 1)
1.10/1.11	c Presolving Time: 0.82
1.10/1.11	c - non default parameters ----------------------------------------------------------------------
1.10/1.11	c # SCIP version 2.0.1.4
1.10/1.11	c 
1.10/1.11	c # frequency for displaying node information lines
1.10/1.11	c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.11	c display/freq = 10000
1.10/1.11	c 
1.10/1.11	c # maximal time in seconds to run
1.10/1.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.11	c limits/time = 1800
1.10/1.11	c 
1.10/1.11	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.11	c limits/memory = 13950
1.10/1.11	c 
1.10/1.11	c # default clock type (1: CPU user seconds, 2: wall clock time)
1.10/1.11	c # [type: int, range: [1,2], default: 1]
1.10/1.11	c timing/clocktype = 2
1.10/1.11	c 
1.10/1.11	c # belongs reading time to solving time?
1.10/1.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11	c timing/reading = TRUE
1.10/1.11	c 
1.10/1.11	c # should presolving try to simplify inequalities
1.10/1.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11	c constraints/linear/simplifyinequalities = TRUE
1.10/1.11	c 
1.10/1.11	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.10/1.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11	c constraints/indicator/addCouplingCons = TRUE
1.10/1.11	c 
1.10/1.11	c # should presolving try to simplify knapsacks
1.10/1.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11	c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.11	c 
1.10/1.11	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.10/1.11	c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.11	c separating/rapidlearning/freq = 0
1.10/1.12	c 
1.10/1.12	c -----------------------------------------------------------------------------------------------
1.10/1.12	c start solving
1.10/1.12	c 
1.59/1.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.59/1.65	c t 1.7s|     1 |     0 |   762 |     - |  48M|   0 | 760 | 760 |  41k| 760 |  41k|   0 |   0 |   0 |-3.800000e+02 | 0.000000e+00 | 100.00%
1.59/1.68	o -1
1.59/1.68	c R 1.7s|     1 |     0 |   762 |     - |  48M|   0 | 760 | 760 |  41k| 760 |  41k|   0 |   0 |   0 |-3.800000e+02 |-1.000000e+00 |  99.74%
1.68/1.71	o -2
1.68/1.71	c s 1.7s|     1 |     0 |   762 |     - |  48M|   0 | 760 | 760 |  41k| 760 |  41k|   0 |   0 |   0 |-3.800000e+02 |-2.000000e+00 |  99.47%
2.39/2.44	c   2.4s|     1 |     0 |   954 |     - |  48M|   0 | 709 | 760 |  41k| 760 |  41k|   5 |   0 |   0 |-3.545000e+02 |-2.000000e+00 |  99.44%
2.39/2.45	o -31
2.39/2.45	c b 2.4s|     1 |     0 |   954 |     - |  48M|   0 | 709 | 760 |  41k| 760 |  41k|   5 |   0 |   0 |-3.545000e+02 |-3.100000e+01 |  91.26%
3.41/3.42	c   3.4s|     1 |     0 |  1131 |     - |  48M|   0 | 673 | 760 |  41k| 760 |  41k|  11 |   0 |   0 |-3.365000e+02 |-3.100000e+01 |  90.79%
4.51/4.53	c   4.5s|     1 |     0 |  1235 |     - |  48M|   0 | 639 | 760 |  41k| 760 |  41k|  19 |   0 |   0 |-3.195000e+02 |-3.100000e+01 |  90.30%
5.79/5.85	c   5.8s|     1 |     0 |  1390 |     - |  48M|   0 | 612 | 760 |  41k| 760 |  41k|  28 |   0 |   0 |-3.060000e+02 |-3.100000e+01 |  89.87%
7.09/7.13	c   7.1s|     1 |     0 |  1499 |     - |  48M|   0 | 573 | 760 |  41k| 760 |  41k|  38 |   0 |   0 |-2.865000e+02 |-3.100000e+01 |  89.18%
8.59/8.60	c   8.6s|     1 |     0 |  1832 |     - |  48M|   0 | 553 | 760 |  41k| 760 |  41k|  48 |   0 |   0 |-2.765000e+02 |-3.100000e+01 |  88.79%
10.00/10.05	c  10.0s|     1 |     0 |  1957 |     - |  48M|   0 | 509 | 760 |  41k| 760 |  41k|  66 |   0 |   0 |-2.545000e+02 |-3.100000e+01 |  87.82%
11.59/11.60	c  11.6s|     1 |     0 |  2235 |     - |  48M|   0 | 475 | 760 |  41k| 760 |  41k|  76 |   0 |   0 |-2.375000e+02 |-3.100000e+01 |  86.95%
13.10/13.13	c  13.1s|     1 |     0 |  2425 |     - |  48M|   0 | 437 | 760 |  41k| 760 |  41k|  87 |   0 |   0 |-2.185000e+02 |-3.100000e+01 |  85.81%
14.49/14.52	c  14.5s|     1 |     0 |  2530 |     - |  48M|   0 | 419 | 760 |  41k| 760 |  41k|  98 |   0 |   0 |-2.095000e+02 |-3.100000e+01 |  85.20%
15.29/15.34	c  15.3s|     1 |     0 |  3309 |     - |  48M|   0 | 370 | 760 |  41k| 760 |  41k| 112 |   0 |   0 |-1.850000e+02 |-3.100000e+01 |  83.24%
15.79/15.88	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
15.79/15.88	c  15.9s|     1 |     0 |  3573 |     - |  48M|   0 | 336 | 760 |  41k| 760 |  41k| 124 |   0 |   0 |-1.680000e+02 |-3.100000e+01 |  81.55%
16.50/16.57	c  16.6s|     1 |     0 |  4102 |     - |  48M|   0 | 301 | 760 |  41k| 760 |  41k| 133 |   0 |   0 |-1.505000e+02 |-3.100000e+01 |  79.40%
17.71/17.77	c  17.8s|     1 |     0 |  5593 |     - |  49M|   0 | 269 | 760 |  41k| 760 |  41k| 147 |   0 |   0 |-1.335000e+02 |-3.100000e+01 |  76.78%
18.59/18.69	c  18.7s|     1 |     0 |  6539 |     - |  49M|   0 | 252 | 760 |  41k| 760 |  41k| 153 |   0 |   0 |-1.260000e+02 |-3.100000e+01 |  75.40%
19.39/19.44	c  19.4s|     1 |     0 |  7288 |     - |  49M|   0 | 221 | 760 |  41k| 760 |  41k| 161 |   0 |   0 |-1.105000e+02 |-3.100000e+01 |  71.95%
20.39/20.43	c  20.4s|     1 |     0 |  8518 |     - |  49M|   0 | 190 | 760 |  41k| 760 |  41k| 176 |   0 |   0 |-9.416667e+01 |-3.100000e+01 |  67.08%
21.01/21.02	c  21.0s|     1 |     0 |  8965 |     - |  49M|   0 | 172 | 760 |  41k| 760 |  41k| 186 |   0 |   0 |-8.533333e+01 |-3.100000e+01 |  63.67%
21.89/21.94	c  21.9s|     1 |     0 | 10401 |     - |  49M|   0 | 144 | 760 |  41k| 760 |  41k| 199 |   0 |   0 |-7.025000e+01 |-3.100000e+01 |  55.87%
22.29/22.37	c  22.4s|     1 |     0 | 10629 |     - |  49M|   0 | 154 | 760 |  41k| 760 |  41k| 206 |   0 |   0 |-6.266667e+01 |-3.100000e+01 |  50.53%
22.59/22.69	c  22.7s|     1 |     0 | 10896 |     - |  49M|   0 | 144 | 760 |  41k| 760 |  41k| 217 |   0 |   0 |-5.700000e+01 |-3.100000e+01 |  45.61%
22.89/22.94	c  22.9s|     1 |     0 | 11022 |     - |  49M|   0 |  86 | 760 |  41k| 760 |  41k| 227 |   0 |   0 |-4.600000e+01 |-3.100000e+01 |  32.61%
23.39/23.46	c  23.5s|     1 |     0 | 11711 |     - |  49M|   0 |  72 | 760 |  41k| 760 |  41k| 235 |   0 |   0 |-4.000000e+01 |-3.100000e+01 |  22.50%
23.69/23.74	c  23.7s|     1 |     0 | 11831 |     - |  49M|   0 |  77 | 760 |  41k| 760 |  41k| 248 |   0 |   0 |-4.000000e+01 |-3.100000e+01 |  22.50%
23.99/24.01	c  24.0s|     1 |     0 | 11919 |     - |  49M|   0 | 125 | 760 |  41k| 760 |  41k| 258 |   0 |   0 |-4.000000e+01 |-3.100000e+01 |  22.50%
24.31/24.36	c  24.4s|     1 |     0 | 12118 |     - |  49M|   0 |  74 | 760 |  41k| 760 |  41k| 275 |   0 |   0 |-4.000000e+01 |-3.100000e+01 |  22.50%
24.59/24.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
24.59/24.69	c  24.7s|     1 |     0 | 12280 |     - |  49M|   0 | 160 | 760 |  41k| 760 |  41k| 283 |   0 |   0 |-4.000000e+01 |-3.100000e+01 |  22.50%
29.19/29.20	c  29.2s|     1 |     0 | 12844 |     - |  49M|   0 | 132 | 760 |  41k| 760 |  41k| 292 |   0 |   0 |-4.000000e+01 |-3.100000e+01 |  22.50%
39.99/40.05	c  40.0s|     1 |     2 | 12844 |     - |  49M|   0 | 132 | 760 |  41k| 760 |  41k| 292 |   0 |  33 |-4.000000e+01 |-3.100000e+01 |  22.50%
78.70/78.73	o -32
78.70/78.73	c *78.7s|    18 |    11 | 15129 | 134.4 |  50M|  15 |   - | 760 |  41k| 760 |  41k| 292 |   0 | 406 |-4.000000e+01 |-3.200000e+01 |  20.00%
127.61/127.71	o -33
127.61/127.71	c f 128s|    52 |    41 | 19764 | 135.7 |  52M|  15 |   - | 760 |  41k| 760 |  41k| 292 |   0 | 917 |-4.000000e+01 |-3.300000e+01 |  17.50%
146.19/146.27	o -34
146.19/146.27	c * 146s|   442 |   228 | 34587 |  49.3 |  56M|  32 |   - | 760 |  41k| 760 |  41k| 292 |   0 | 982 |-4.000000e+01 |-3.400000e+01 |  15.00%
365.90/365.91	o -35
365.90/365.91	c p 366s|  3617 |  2202 |230407 |  60.2 |  95M|  55 |   - | 760 |  41k| 760 |  41k| 292 |   0 |1696 |-4.000000e+01 |-3.500000e+01 |  12.50%
761.33/761.33	c   761s| 10000 |  6189 |610164 |  59.7 | 173M|  58 |  70 | 760 |  41k| 760 |  41k| 292 |   0 |2782 |-4.000000e+01 |-3.500000e+01 |  12.50%
1196.22/1196.25	o -37
1196.22/1196.25	c *1196s| 18478 |  5452 |  1032k|  55.2 | 181M|  59 |   - | 760 |  41k| 760 |  41k| 292 |   0 |3801 |-4.000000e+01 |-3.700000e+01 |   7.50%
1263.53/1263.57	c  1264s| 20000 |  5904 |  1094k|  54.1 | 190M|  59 |  73 | 760 |  41k| 760 |  41k| 292 |   0 |4103 |-4.000000e+01 |-3.700000e+01 |   7.50%
1620.64/1620.63	c  1621s| 30000 |  8486 |  1462k|  48.3 | 241M|  59 |  61 | 760 |  41k| 760 |  41k| 292 |   0 |4756 |-4.000000e+01 |-3.700000e+01 |   7.50%
1800.05/1800.02	c 
1800.05/1800.02	c SCIP Status        : solving was interrupted [time limit reached]
1800.05/1800.02	c Solving Time (sec) : 1800.01
1800.05/1800.02	c Solving Nodes      : 35687
1800.05/1800.02	c Primal Bound       : -3.70000000000000e+01 (671 solutions)
1800.05/1800.02	c Dual Bound         : -4.00000000000000e+01
1800.05/1800.02	c Gap                : 7.50 %

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-3452656-1307087399/watcher-3452656-1307087399 -o /tmp/evaluation-result-3452656-1307087399/solver-3452656-1307087399 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452656-1307087399.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.11 2.03 2.00 3/526 23086
/proc/meminfo: memFree=23001716/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=11256 CPUtime=0.01 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 1812 0 0 0 1 0 0 0 25 0 1 0 801155743 11526144 1766 33554432000 4194304 9128323 140737373638384 18446744073709551615 8008925 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23086/statm: 2814 1766 400 1205 0 1605 0

[startup+0.108494 s]
/proc/loadavg: 2.11 2.03 2.00 3/526 23086
/proc/meminfo: memFree=23001716/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=15604 CPUtime=0.1 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 2917 0 0 0 10 0 0 0 25 0 1 0 801155743 15978496 2869 33554432000 4194304 9128323 140737373638384 18446744073709551615 8008930 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23086/statm: 3901 2869 400 1205 0 2692 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15604

[startup+0.200482 s]
/proc/loadavg: 2.11 2.03 2.00 3/526 23086
/proc/meminfo: memFree=23001716/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=20024 CPUtime=0.19 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 4015 0 0 0 19 0 0 0 25 0 1 0 801155743 20504576 3965 33554432000 4194304 9128323 140737373638384 18446744073709551615 6194899 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23086/statm: 5006 3965 400 1205 0 3797 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20024

[startup+0.300455 s]
/proc/loadavg: 2.11 2.03 2.00 3/526 23086
/proc/meminfo: memFree=23001716/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=46092 CPUtime=0.29 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 10261 0 0 0 28 1 0 0 25 0 1 0 801155743 47198208 10150 33554432000 4194304 9128323 140737373638384 18446744073709551615 4338267 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 11523 10150 467 1205 0 10314 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46092

[startup+0.700383 s]
/proc/loadavg: 2.11 2.03 2.00 3/526 23086
/proc/meminfo: memFree=23001716/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=86188 CPUtime=0.68 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 22940 0 0 0 66 2 0 0 25 0 1 0 801155743 88256512 20155 33554432000 4194304 9128323 140737373638384 18446744073709551615 4216117 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 21547 20155 533 1205 0 20338 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 86188

[startup+1.50021 s]
/proc/loadavg: 2.11 2.03 2.00 3/527 23087
/proc/meminfo: memFree=22921976/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=135368 CPUtime=1.49 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 34390 0 0 0 145 4 0 0 25 0 1 0 801155743 138616832 31177 33554432000 4194304 9128323 140737373638384 18446744073709551615 7077378 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 33842 31177 727 1205 0 32633 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 135368

[startup+3.10097 s]
/proc/loadavg: 2.11 2.03 2.00 3/527 23087
/proc/meminfo: memFree=22868160/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=144748 CPUtime=3.09 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 38174 0 0 0 304 5 0 0 25 0 1 0 801155743 148221952 34045 33554432000 4194304 9128323 140737373638384 18446744073709551615 6309877 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 36187 34045 863 1205 0 34978 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 144748

[startup+6.30038 s]
/proc/loadavg: 2.10 2.03 2.00 3/527 23087
/proc/meminfo: memFree=22862004/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=145736 CPUtime=6.29 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 38858 0 0 0 624 5 0 0 25 0 1 0 801155743 149233664 34658 33554432000 4194304 9128323 140737373638384 18446744073709551615 6280382 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 36434 34658 794 1205 0 35225 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 145736

[startup+12.7002 s]
/proc/loadavg: 2.09 2.03 2.00 3/527 23087
/proc/meminfo: memFree=22858200/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=147492 CPUtime=12.69 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 39378 0 0 0 1263 6 0 0 25 0 1 0 801155743 151031808 35125 33554432000 4194304 9128323 140737373638384 18446744073709551615 6309894 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 36873 35125 743 1205 0 35664 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 147492

[startup+25.501 s]
/proc/loadavg: 2.07 2.02 2.00 3/527 23087
/proc/meminfo: memFree=22853340/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=153228 CPUtime=25.49 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 40581 0 0 0 2541 8 0 0 25 0 1 0 801155743 156905472 36271 33554432000 4194304 9128323 140737373638384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 38307 36271 687 1205 0 37098 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 153228

[startup+51.1013 s]
/proc/loadavg: 2.04 2.02 2.00 3/527 23088
/proc/meminfo: memFree=22810968/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=194084 CPUtime=51.09 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 51171 0 0 0 5092 17 0 0 25 0 1 0 801155743 198742016 46795 33554432000 4194304 9128323 140737373638384 18446744073709551615 7346281 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 48521 46795 720 1205 0 47312 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 194084

[startup+102.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/527 23090
/proc/meminfo: memFree=22789472/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=194084 CPUtime=102.31 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 51172 0 0 0 10203 28 0 0 25 0 1 0 801155743 198742016 46796 33554432000 4194304 9128323 140737373638384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 48521 46796 721 1205 0 47312 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 194084

[startup+162.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/527 23091
/proc/meminfo: memFree=22771924/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=197432 CPUtime=162.3 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 52019 0 0 0 16189 41 0 0 25 0 1 0 801155743 202170368 47643 33554432000 4194304 9128323 140737373638384 18446744073709551615 7363490 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 49358 47643 721 1205 0 48149 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 197432

[startup+222.32 s]
/proc/loadavg: 2.09 2.05 2.01 3/527 23093
/proc/meminfo: memFree=22757836/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=205172 CPUtime=222.31 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 53947 0 0 0 22175 56 0 0 25 0 1 0 801155743 210096128 49571 33554432000 4194304 9128323 140737373638384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 51293 49571 721 1205 0 50084 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 205172

[startup+282.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/527 23094
/proc/meminfo: memFree=22761860/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=193700 CPUtime=282.3 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 57867 0 0 0 28160 70 0 0 25 0 1 0 801155743 198348800 47070 33554432000 4194304 9128323 140737373638384 18446744073709551615 7216792 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 48425 47070 729 1205 0 47216 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 193700

[startup+342.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/527 23096
/proc/meminfo: memFree=22751876/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=199604 CPUtime=342.3 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 69813 0 0 0 34144 86 0 0 25 0 1 0 801155743 204394496 47752 33554432000 4194304 9128323 140737373638384 18446744073709551615 7192528 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 49901 47752 729 1205 0 48692 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 199604

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 23098
/proc/meminfo: memFree=22733720/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=208760 CPUtime=402.3 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 83356 0 0 0 40129 101 0 0 25 0 1 0 801155743 213770240 49831 33554432000 4194304 9128323 140737373638384 18446744073709551615 7192174 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 52190 49831 736 1205 0 50981 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 208760

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 23099
/proc/meminfo: memFree=22709712/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=217980 CPUtime=462.3 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 86046 0 0 0 46119 111 0 0 25 0 1 0 801155743 223211520 52511 33554432000 4194304 9128323 140737373638384 18446744073709551615 7312751 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 54495 52511 729 1205 0 53286 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 217980

[startup+522.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/527 23101
/proc/meminfo: memFree=22683476/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=236956 CPUtime=522.3 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 99252 0 0 0 52106 124 0 0 25 0 1 0 801155743 242642944 56697 33554432000 4194304 9128323 140737373638384 18446744073709551615 7363227 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 59239 56697 741 1205 0 58030 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 236956

[startup+582.301 s]
/proc/loadavg: 2.14 2.06 2.01 3/527 23102
/proc/meminfo: memFree=22667180/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=244356 CPUtime=582.3 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 112858 0 0 0 58090 140 0 0 25 0 1 0 801155743 250220544 59068 33554432000 4194304 9128323 140737373638384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 61089 59068 735 1205 0 59880 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 244356

[startup+642.301 s]

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

[startup+882.32 s]
/proc/loadavg: 1.30 1.82 1.93 2/521 23136
/proc/meminfo: memFree=22793672/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=299420 CPUtime=882.33 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 158440 0 0 0 88029 204 0 0 25 0 1 0 801155743 306606080 72590 33554432000 4194304 9128323 140737373638384 18446744073709551615 7025311 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 74855 72590 729 1205 0 73646 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 299420

[startup+942.3 s]
/proc/loadavg: 1.11 1.67 1.87 2/521 23138
/proc/meminfo: memFree=22779096/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=313072 CPUtime=942.32 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 162160 0 0 0 94017 215 0 0 25 0 1 0 801155743 320585728 76299 33554432000 4194304 9128323 140737373638384 18446744073709551615 7192370 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 78268 76299 729 1205 0 77059 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 313072

[startup+1002.3 s]
/proc/loadavg: 1.04 1.54 1.81 2/521 23140
/proc/meminfo: memFree=22767116/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=324868 CPUtime=1002.32 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 165127 0 0 0 100008 224 0 0 25 0 1 0 801155743 332664832 79266 33554432000 4194304 9128323 140737373638384 18446744073709551615 8012674 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 81217 79266 729 1205 0 80008 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 324868

[startup+1062.3 s]
/proc/loadavg: 1.17 1.47 1.77 2/521 23141
/proc/meminfo: memFree=22757992/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=334180 CPUtime=1062.32 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 167428 0 0 0 105996 236 0 0 25 0 1 0 801155743 342200320 81567 33554432000 4194304 9128323 140737373638384 18446744073709551615 7192336 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 83545 81567 729 1205 0 82336 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 334180

[startup+1122.3 s]
/proc/loadavg: 1.13 1.40 1.72 2/521 23143
/proc/meminfo: memFree=22745652/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=348344 CPUtime=1122.32 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 170580 0 0 0 111986 246 0 0 25 0 1 0 801155743 356704256 84719 33554432000 4194304 9128323 140737373638384 18446744073709551615 4232530 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 87086 84719 729 1205 0 85877 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 348344

[startup+1182.3 s]
/proc/loadavg: 1.05 1.33 1.67 2/521 23144
/proc/meminfo: memFree=22735536/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=356176 CPUtime=1182.32 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 173072 0 0 0 117975 257 0 0 25 0 1 0 801155743 364724224 87184 33554432000 4194304 9128323 140737373638384 18446744073709551615 8008884 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 89044 87184 729 1205 0 87835 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 356176

[startup+1242.3 s]
/proc/loadavg: 1.02 1.26 1.63 2/521 23146
/proc/meminfo: memFree=22734840/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=358204 CPUtime=1242.32 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 196029 0 0 0 123958 274 0 0 25 0 1 0 801155743 366800896 87339 33554432000 4194304 9128323 140737373638384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 89551 87339 729 1205 0 88342 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 358204

[startup+1302.3 s]
/proc/loadavg: 1.00 1.21 1.59 2/521 23147
/proc/meminfo: memFree=22725340/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=363356 CPUtime=1302.33 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 207122 0 0 0 129946 287 0 0 25 0 1 0 801155743 372076544 89358 33554432000 4194304 9128323 140737373638384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 90839 89358 729 1205 0 89630 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 363356

[startup+1362.3 s]
/proc/loadavg: 1.00 1.17 1.55 2/521 23149
/proc/meminfo: memFree=22728364/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=363064 CPUtime=1362.32 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 218053 0 0 0 135931 301 0 0 25 0 1 0 801155743 371777536 88750 33554432000 4194304 9128323 140737373638384 18446744073709551615 7177050 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 90766 88750 729 1205 0 89557 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 363064

[startup+1422.3 s]
/proc/loadavg: 1.00 1.14 1.51 2/521 23151
/proc/meminfo: memFree=22729160/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=363064 CPUtime=1422.35 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 218255 0 0 0 141921 314 0 0 25 0 1 0 801155743 371777536 88952 33554432000 4194304 9128323 140737373638384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 90766 88952 729 1205 0 89557 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 363064

[startup+1482.3 s]
/proc/loadavg: 1.00 1.11 1.47 2/521 23152
/proc/meminfo: memFree=22727960/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=366036 CPUtime=1482.33 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 230141 0 0 0 147904 329 0 0 25 0 1 0 801155743 374820864 89135 33554432000 4194304 9128323 140737373638384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 91509 89135 729 1205 0 90300 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 366036

[startup+1542.32 s]
/proc/loadavg: 1.00 1.09 1.44 2/521 23154
/proc/meminfo: memFree=22728260/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=366036 CPUtime=1542.35 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 230221 0 0 0 153896 339 0 0 25 0 1 0 801155743 374820864 89215 33554432000 4194304 9128323 140737373638384 18446744073709551615 7342491 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 91509 89215 729 1205 0 90300 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 366036

[startup+1602.3 s]
/proc/loadavg: 1.00 1.07 1.41 2/521 23156
/proc/meminfo: memFree=22723964/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=368860 CPUtime=1602.33 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 231306 0 0 0 159883 350 0 0 25 0 1 0 801155743 377712640 90300 33554432000 4194304 9128323 140737373638384 18446744073709551615 7343431 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 92215 90300 729 1205 0 91006 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 368860

[startup+1662.3 s]
/proc/loadavg: 1.08 1.08 1.39 2/521 23157
/proc/meminfo: memFree=22719688/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=373780 CPUtime=1662.34 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 243904 0 0 0 165868 366 0 0 25 0 1 0 801155743 382750720 91239 33554432000 4194304 9128323 140737373638384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 93445 91239 729 1205 0 92236 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 373780

[startup+1722.3 s]
/proc/loadavg: 1.07 1.08 1.37 2/521 23159
/proc/meminfo: memFree=22715536/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=376652 CPUtime=1722.33 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 244989 0 0 0 171856 377 0 0 25 0 1 0 801155743 385691648 92324 33554432000 4194304 9128323 140737373638384 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 94163 92324 729 1205 0 92954 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 376652

[startup+1782.3 s]
/proc/loadavg: 1.02 1.06 1.35 2/521 23160
/proc/meminfo: memFree=22711380/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=380676 CPUtime=1782.34 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 245778 0 0 0 177845 389 0 0 25 0 1 0 801155743 389812224 93113 33554432000 4194304 9128323 140737373638384 18446744073709551615 7363480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23086/statm: 95169 93113 729 1205 0 93960 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 380676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.02 1.06 1.34 2/521 23161
/proc/meminfo: memFree=22710876/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=381196 CPUtime=1800.05 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 246076 0 0 0 179614 391 0 0 25 0 1 0 801155743 390344704 93411 33554432000 4194304 9128323 140737373638384 18446744073709551615 5379578 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23086/statm: 95299 93411 729 1205 0 94090 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 381196

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

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

[startup+1800 s]
/proc/loadavg: 1.02 1.06 1.34 2/521 23161
/proc/meminfo: memFree=22710876/32951124 swapFree=64303760/67111528
[pid=23086] ppid=23084 vsize=381196 CPUtime=1800.05 cores=0,2,4,6
/proc/23086/stat : 23086 (scip-2.0.1.4.li) R 23084 23086 18861 0 -1 4202496 246076 0 0 0 179614 391 0 0 25 0 1 0 801155743 390344704 93411 33554432000 4194304 9128323 140737373638384 18446744073709551615 5379578 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23086/statm: 95299 93411 729 1205 0 94090 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 381196

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

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

runsolver used 9.93249 second user time and 21.1928 second system time

The end

Launcher Data 

Begin job on node145 at 2011-06-03 09:49:59
IDJOB=3452656
IDBENCH=2240
IDSOLVER=1949
FILE ID=node145/3452656-1307087399
RUNJOBID= node145-1307079856-22024
PBS_JOBID= 13497841
Free space on /tmp= 73944 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. 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-5.opb
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3452656-1307087399/watcher-3452656-1307087399 -o /tmp/evaluation-result-3452656-1307087399/solver-3452656-1307087399 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452656-1307087399.opb -t 1800 -m 15500

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

MD5SUM BENCH= f408a60720d5bae3e36cea0c41e2f7f1
RANDOM SEED=332262683

node145.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.786
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.57
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.786
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.76
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.786
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.74
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.786
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.83
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.786
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.82
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.786
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.74
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23001996 kB
Buffers:        218764 kB
Cached:         406740 kB
SwapCached:        944 kB
Active:        9394080 kB
Inactive:       286820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23001996 kB
SwapTotal:    67111528 kB
SwapFree:     64303760 kB
Dirty:           25860 kB
Writeback:           0 kB
AnonPages:     9053948 kB
Mapped:          37304 kB
Slab:           133588 kB
PageTables:      65468 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 153294936 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= 73944 MiB
End job on node145 at 2011-06-03 10:20:01