Trace number 3451056

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4? (TO) 1800.09 1800.03

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
MD5SUM366c883f3118f840e595e8bbe10351c8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-34
Best CPU time to get the best result obtained on this benchmark1797.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved YES
Number of variables595
Total number of constraints27856
Number of constraints which are clauses27856
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 595
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 595
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 595
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3451056-1307090652.opb>
0.10/0.16	c original problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 27856 constraints
0.10/0.16	c problem read
0.10/0.16	c presolving settings loaded
0.10/0.19	o 0
0.10/0.19	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.10/0.19	c presolving:
0.29/0.30	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 27856 upgd conss, 55712 impls, 0 clqs
0.49/0.56	c    (0.6s) probing: 101/595 (17.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.56	c    (0.6s) probing aborted: 100/100 successive totally useless probings
0.49/0.56	c presolving (2 rounds):
0.49/0.56	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.56	c  55712 implications, 0 cliques
0.49/0.56	c presolved problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 27856 constraints
0.49/0.56	c   27856 constraints of type <setppc>
0.49/0.56	c transformed objective value is always integral (scale: 1)
0.49/0.56	c Presolving Time: 0.38
0.49/0.56	c - non default parameters ----------------------------------------------------------------------
0.49/0.56	c # SCIP version 2.0.1.5
0.49/0.56	c 
0.49/0.56	c # frequency for displaying node information lines
0.49/0.56	c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.56	c display/freq = 10000
0.49/0.56	c 
0.49/0.56	c # maximal time in seconds to run
0.49/0.56	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.56	c limits/time = 1800
0.49/0.56	c 
0.49/0.56	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.56	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.56	c limits/memory = 13950
0.49/0.56	c 
0.49/0.56	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.56	c # [type: int, range: [1,2], default: 1]
0.49/0.56	c timing/clocktype = 2
0.49/0.56	c 
0.49/0.56	c # belongs reading time to solving time?
0.49/0.56	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.56	c timing/reading = TRUE
0.49/0.56	c 
0.49/0.56	c # should presolving try to simplify inequalities
0.49/0.56	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.56	c constraints/linear/simplifyinequalities = TRUE
0.49/0.56	c 
0.49/0.56	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.49/0.56	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.56	c constraints/indicator/addCouplingCons = TRUE
0.49/0.56	c 
0.49/0.56	c # should presolving try to simplify knapsacks
0.49/0.56	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.56	c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.56	c 
0.49/0.56	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.56	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56	c separating/rapidlearning/freq = 0
0.49/0.56	c 
0.49/0.56	c -----------------------------------------------------------------------------------------------
0.49/0.56	c start solving
0.49/0.56	c 
0.79/0.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.79/0.84	c t 0.8s|     1 |     0 |   598 |     - |  34M|   0 | 595 | 595 |  27k| 595 |  27k|   0 |   0 |   0 |-2.975000e+02 | 0.000000e+00 | 100.00%
0.79/0.86	o -1
0.79/0.86	c R 0.9s|     1 |     0 |   598 |     - |  34M|   0 | 595 | 595 |  27k| 595 |  27k|   0 |   0 |   0 |-2.975000e+02 |-1.000000e+00 |  99.66%
0.79/0.88	o -2
0.79/0.88	c s 0.9s|     1 |     0 |   598 |     - |  34M|   0 | 595 | 595 |  27k| 595 |  27k|   0 |   0 |   0 |-2.975000e+02 |-2.000000e+00 |  99.33%
1.20/1.29	c   1.3s|     1 |     0 |   778 |     - |  34M|   0 | 549 | 595 |  27k| 595 |  27k|   6 |   0 |   0 |-2.745000e+02 |-2.000000e+00 |  99.27%
1.29/1.30	o -25
1.29/1.30	c b 1.3s|     1 |     0 |   778 |     - |  34M|   0 | 549 | 595 |  27k| 595 |  27k|   6 |   0 |   0 |-2.745000e+02 |-2.500000e+01 |  90.89%
1.69/1.78	c   1.8s|     1 |     0 |   889 |     - |  34M|   0 | 500 | 595 |  27k| 595 |  27k|  30 |   0 |   0 |-2.500000e+02 |-2.500000e+01 |  90.00%
2.30/2.37	c   2.4s|     1 |     0 |  1097 |     - |  34M|   0 | 445 | 595 |  27k| 595 |  27k|  72 |   0 |   0 |-2.225000e+02 |-2.500000e+01 |  88.76%
2.99/3.00	c   3.0s|     1 |     0 |  1198 |     - |  35M|   0 | 413 | 595 |  27k| 595 |  27k|  83 |   0 |   0 |-2.065000e+02 |-2.500000e+01 |  87.89%
3.59/3.67	c   3.7s|     1 |     0 |  1439 |     - |  35M|   0 | 377 | 595 |  27k| 595 |  27k|  96 |   0 |   0 |-1.875000e+02 |-2.500000e+01 |  86.67%
4.29/4.34	c   4.3s|     1 |     0 |  1685 |     - |  35M|   0 | 340 | 595 |  27k| 595 |  27k| 107 |   0 |   0 |-1.675000e+02 |-2.500000e+01 |  85.07%
5.09/5.13	c   5.1s|     1 |     0 |  2275 |     - |  35M|   0 | 285 | 595 |  27k| 595 |  27k| 120 |   0 |   0 |-1.425000e+02 |-2.500000e+01 |  82.46%
6.09/6.18	c   6.2s|     1 |     0 |  3428 |     - |  35M|   0 | 250 | 595 |  27k| 595 |  27k| 138 |   0 |   0 |-1.250000e+02 |-2.500000e+01 |  80.00%
6.71/6.79	c   6.8s|     1 |     0 |  3601 |     - |  35M|   0 | 232 | 595 |  27k| 595 |  28k| 151 |   0 |   0 |-1.160000e+02 |-2.500000e+01 |  78.45%
7.50/7.50	c   7.5s|     1 |     0 |  4198 |     - |  35M|   0 | 204 | 595 |  27k| 595 |  28k| 163 |   0 |   0 |-1.020000e+02 |-2.500000e+01 |  75.49%
7.81/7.89	c   7.9s|     1 |     0 |  4758 |     - |  35M|   0 | 180 | 595 |  27k| 595 |  28k| 173 |   0 |   0 |-8.925000e+01 |-2.500000e+01 |  71.99%
8.19/8.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
8.19/8.20	c   8.2s|     1 |     0 |  5102 |     - |  35M|   0 | 164 | 595 |  27k| 595 |  28k| 185 |   0 |   0 |-7.725000e+01 |-2.500000e+01 |  67.64%
8.40/8.46	c   8.5s|     1 |     0 |  5292 |     - |  35M|   0 | 169 | 595 |  27k| 595 |  28k| 194 |   0 |   0 |-7.225000e+01 |-2.500000e+01 |  65.40%
8.69/8.79	c   8.8s|     1 |     0 |  5686 |     - |  35M|   0 | 135 | 595 |  27k| 595 |  28k| 205 |   0 |   0 |-6.675000e+01 |-2.500000e+01 |  62.55%
8.99/9.04	c   9.0s|     1 |     0 |  5857 |     - |  35M|   0 | 110 | 595 |  27k| 595 |  28k| 216 |   0 |   0 |-5.500000e+01 |-2.500000e+01 |  54.55%
9.39/9.46	c   9.5s|     1 |     0 |  6671 |     - |  35M|   0 |  90 | 595 |  27k| 595 |  28k| 228 |   0 |   0 |-4.500000e+01 |-2.500000e+01 |  44.44%
9.69/9.70	c   9.7s|     1 |     0 |  6799 |     - |  35M|   0 |  98 | 595 |  27k| 595 |  28k| 237 |   0 |   0 |-4.150000e+01 |-2.500000e+01 |  39.76%
10.09/10.13	c  10.1s|     1 |     0 |  7423 |     - |  35M|   0 | 114 | 595 |  27k| 595 |  28k| 249 |   0 |   0 |-3.600000e+01 |-2.500000e+01 |  30.56%
10.29/10.36	c  10.4s|     1 |     0 |  7503 |     - |  35M|   0 | 117 | 595 |  27k| 595 |  28k| 261 |   0 |   0 |-3.550000e+01 |-2.500000e+01 |  29.58%
10.59/10.68	c  10.7s|     1 |     0 |  7724 |     - |  35M|   0 |  90 | 595 |  27k| 595 |  28k| 274 |   0 |   0 |-3.550000e+01 |-2.500000e+01 |  29.58%
10.79/10.82	c  10.8s|     1 |     0 |  7803 |     - |  35M|   0 | 136 | 595 |  27k| 595 |  28k| 286 |   0 |   0 |-3.550000e+01 |-2.500000e+01 |  29.58%
11.79/11.82	c  11.8s|     1 |     0 |  8021 |     - |  35M|   0 | 116 | 595 |  27k| 595 |  28k| 300 |   0 |   0 |-3.500000e+01 |-2.500000e+01 |  28.57%
12.60/12.67	c  12.7s|     1 |     0 |  8526 |     - |  35M|   0 | 109 | 595 |  27k| 595 |  28k| 310 |   0 |   0 |-3.500000e+01 |-2.500000e+01 |  28.57%
12.80/12.82	c  12.8s|     1 |     0 |  8589 |     - |  35M|   0 | 145 | 595 |  27k| 595 |  28k| 321 |   0 |   0 |-3.500000e+01 |-2.500000e+01 |  28.57%
15.69/15.70	c  15.7s|     1 |     0 |  8648 |     - |  35M|   0 | 147 | 595 |  27k| 595 |  28k| 332 |   0 |   0 |-3.500000e+01 |-2.500000e+01 |  28.57%
18.49/18.51	c  18.5s|     1 |     0 |  9123 |     - |  35M|   0 |  60 | 595 |  27k| 595 |  28k| 339 |   0 |   0 |-3.500000e+01 |-2.500000e+01 |  28.57%
18.59/18.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
18.59/18.69	c  18.7s|     1 |     0 |  9217 |     - |  35M|   0 | 160 | 595 |  27k| 595 |  28k| 349 |   0 |   0 |-3.500000e+01 |-2.500000e+01 |  28.57%
20.19/20.21	c  20.2s|     1 |     0 |  9262 |     - |  36M|   0 | 166 | 595 |  27k| 595 |  28k| 357 |   0 |   0 |-3.500000e+01 |-2.500000e+01 |  28.57%
23.39/23.41	c  23.4s|     1 |     0 |  9445 |     - |  36M|   0 | 185 | 595 |  27k| 595 |  28k| 367 |   0 |   0 |-3.500000e+01 |-2.500000e+01 |  28.57%
26.20/26.26	c  26.3s|     1 |     0 |  9733 |     - |  36M|   0 | 156 | 595 |  27k| 595 |  28k| 376 |   0 |   0 |-3.500000e+01 |-2.500000e+01 |  28.57%
28.80/28.80	c  28.8s|     1 |     0 |  9879 |     - |  36M|   0 | 153 | 595 |  27k| 595 |  28k| 386 |   0 |   0 |-3.500000e+01 |-2.500000e+01 |  28.57%
41.69/41.71	c  41.7s|     1 |     2 |  9879 |     - |  36M|   0 | 153 | 595 |  27k| 595 |  28k| 386 |   0 |  36 |-3.500000e+01 |-2.500000e+01 |  28.57%
55.39/55.43	o -26
55.39/55.43	c *55.4s|    12 |    10 | 10906 |  93.4 |  36M|  11 |   - | 595 |  27k| 595 |  27k| 386 |   0 | 270 |-3.500000e+01 |-2.600000e+01 |  25.71%
73.81/73.85	o -27
73.81/73.85	c p73.9s|    36 |    30 | 12974 |  88.4 |  37M|  15 |   - | 595 |  27k| 595 |  27k| 386 |   0 | 667 |-3.500000e+01 |-2.700000e+01 |  22.86%
81.79/81.83	o -28
81.79/81.83	c f81.8s|    49 |    35 | 13687 |  79.3 |  38M|  15 |   - | 595 |  27k| 595 |  27k| 386 |   0 | 896 |-3.500000e+01 |-2.800000e+01 |  20.00%
111.60/111.68	o -30
111.60/111.68	c * 112s|   244 |   109 | 22792 |  53.1 |  39M|  20 |   - | 595 |  27k| 595 |  27k| 386 |   0 |1376 |-3.500000e+01 |-3.000000e+01 |  14.29%
155.11/155.19	o -31
155.11/155.19	c * 155s|  2217 |   498 | 70162 |  27.2 |  46M|  66 |   - | 595 |  27k| 595 |  27k| 386 |   0 |1703 |-3.500000e+01 |-3.100000e+01 |  11.43%
304.30/304.36	o -32
304.30/304.36	c c 304s|  7692 |  1780 |286136 |  35.9 |  71M|  66 |   - | 595 |  27k| 595 |  27k| 386 |   0 |2497 |-3.500000e+01 |-3.200000e+01 |   8.57%
351.60/351.64	c   352s| 10000 |  2316 |359618 |  35.0 |  81M|  66 |  64 | 595 |  27k| 595 |  27k| 386 |   0 |2620 |-3.500000e+01 |-3.200000e+01 |   8.57%
580.71/580.79	c   581s| 20000 |  4564 |695166 |  34.3 | 122M|  66 |  88 | 595 |  27k| 595 |  27k| 386 |   0 |3749 |-3.500000e+01 |-3.200000e+01 |   8.57%
791.91/791.91	c   792s| 30000 |  6848 |  1032k|  34.1 | 164M|  66 |  73 | 595 |  27k| 595 |  27k| 386 |   0 |4569 |-3.500000e+01 |-3.200000e+01 |   8.57%
986.02/986.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
986.02/986.02	c   986s| 40000 |  9318 |  1361k|  33.8 | 205M|  66 |  65 | 595 |  27k| 595 |  27k| 386 |   0 |4951 |-3.500000e+01 |-3.200000e+01 |   8.57%
1057.42/1057.48	o -33
1057.42/1057.48	c *1057s| 43691 |  4124 |  1481k|  33.7 | 130M|  66 |   - | 595 |  27k| 595 |  27k| 386 |   0 |5086 |-3.500000e+01 |-3.300000e+01 |   5.71%
1172.93/1172.92	c  1173s| 50000 |  4629 |  1661k|  33.0 | 141M|  66 |   - | 595 |  27k| 595 |  27k| 386 |   0 |5498 |-3.500000e+01 |-3.300000e+01 |   5.71%
1353.44/1353.48	c  1353s| 60000 |  5577 |  1943k|  32.2 | 162M|  66 |   - | 595 |  27k| 595 |  27k| 386 |   0 |6208 |-3.500000e+01 |-3.300000e+01 |   5.71%
1541.33/1541.33	c  1541s| 70000 |  6679 |  2241k|  31.9 | 186M|  66 |   - | 595 |  27k| 595 |  27k| 386 |   0 |6925 |-3.500000e+01 |-3.300000e+01 |   5.71%
1719.84/1719.81	c  1720s| 80000 |  7771 |  2526k|  31.5 | 209M|  66 |   - | 595 |  27k| 595 |  27k| 386 |   0 |7581 |-3.500000e+01 |-3.300000e+01 |   5.71%
1800.04/1800.01	c 
1800.04/1800.01	c SCIP Status        : solving was interrupted [time limit reached]
1800.04/1800.01	c Solving Time (sec) : 1800.01
1800.04/1800.01	c Solving Nodes      : 84800
1800.04/1800.01	c Primal Bound       : -3.30000000000000e+01 (587 solutions)
1800.04/1800.01	c Dual Bound         : -3.50000000000000e+01
1800.04/1800.01	c Gap                : 5.71 %

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.04 2.00 2/453 16014
/proc/meminfo: memFree=31499304/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=13748 CPUtime=0 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 2442 0 0 0 0 0 0 0 19 0 1 0 820663117 14077952 2395 33554432000 4194304 9163163 140733660767968 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16014/statm: 3437 2395 395 1214 0 2219 0

[startup+0.108327 s]
/proc/loadavg: 2.01 2.04 2.00 2/453 16014
/proc/meminfo: memFree=31499304/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=21264 CPUtime=0.1 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 4318 0 0 0 10 0 0 0 20 0 1 0 820663117 21774336 4271 33554432000 4194304 9163163 140733660767968 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16014/statm: 5316 4271 395 1214 0 4098 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 21264

[startup+0.200309 s]
/proc/loadavg: 2.01 2.04 2.00 2/453 16014
/proc/meminfo: memFree=31499304/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=45116 CPUtime=0.19 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 10019 0 0 0 18 1 0 0 20 0 1 0 820663117 46198784 9944 33554432000 4194304 9163163 140733660767968 18446744073709551615 18446744073699066037 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 11279 9944 502 1214 0 10061 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 45116

[startup+0.300308 s]
/proc/loadavg: 2.01 2.04 2.00 2/453 16014
/proc/meminfo: memFree=31499304/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=61320 CPUtime=0.29 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 14800 0 0 0 27 2 0 0 20 0 1 0 820663117 62791680 13971 33554432000 4194304 9163163 140733660767968 18446744073709551615 6918284 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 15330 13971 512 1214 0 14112 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61320

[startup+0.700223 s]
/proc/loadavg: 2.01 2.04 2.00 2/453 16014
/proc/meminfo: memFree=31499304/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=93988 CPUtime=0.69 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 23642 0 0 0 66 3 0 0 18 0 1 0 820663117 96243712 21345 33554432000 4194304 9163163 140733660767968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 23497 21345 670 1214 0 22279 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 93988

[startup+1.5011 s]
/proc/loadavg: 2.01 2.04 2.00 3/454 16015
/proc/meminfo: memFree=31410440/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=101340 CPUtime=1.49 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 26446 0 0 0 145 4 0 0 19 0 1 0 820663117 103772160 23479 33554432000 4194304 9163163 140733660767968 18446744073709551615 6254766 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 25335 23479 860 1214 0 24117 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 101340

[startup+3.1008 s]
/proc/loadavg: 2.01 2.04 2.00 3/454 16015
/proc/meminfo: memFree=31404612/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=102188 CPUtime=3.09 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 27326 0 0 0 305 4 0 0 22 0 1 0 820663117 104640512 24227 33554432000 4194304 9163163 140733660767968 18446744073709551615 8045529 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 25547 24227 730 1214 0 24329 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 102188

[startup+6.3002 s]
/proc/loadavg: 2.01 2.04 2.00 3/454 16015
/proc/meminfo: memFree=31400696/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=106044 CPUtime=6.3 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 28237 0 0 0 623 7 0 0 25 0 1 0 820663117 108589056 25122 33554432000 4194304 9163163 140733660767968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 26511 25122 715 1214 0 25293 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 106044

[startup+12.701 s]
/proc/loadavg: 2.01 2.04 2.00 3/454 16015
/proc/meminfo: memFree=31398116/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=107564 CPUtime=12.7 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 28532 0 0 0 1257 13 0 0 25 0 1 0 820663117 110145536 25383 33554432000 4194304 9163163 140733660767968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 26891 25383 697 1214 0 25673 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 107564

[startup+25.5007 s]
/proc/loadavg: 2.01 2.04 2.00 3/454 16016
/proc/meminfo: memFree=31392832/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=113968 CPUtime=25.49 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 29901 0 0 0 2526 23 0 0 25 0 1 0 820663117 116703232 26734 33554432000 4194304 9163163 140733660767968 18446744073709551615 6668679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 28492 26734 679 1214 0 27274 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 113968

[startup+51.1011 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 16016
/proc/meminfo: memFree=31359696/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=145900 CPUtime=51.09 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 38262 0 0 0 5057 52 0 0 25 0 1 0 820663117 149401600 35059 33554432000 4194304 9163163 140733660767968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 36475 35059 719 1214 0 35257 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 145900

[startup+102.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 16018
/proc/meminfo: memFree=31358552/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=145900 CPUtime=102.31 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 38263 0 0 0 10125 106 0 0 25 0 1 0 820663117 149401600 35060 33554432000 4194304 9163163 140733660767968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 36475 35060 720 1214 0 35257 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 145900

[startup+162.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/454 16019
/proc/meminfo: memFree=31359268/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=143564 CPUtime=162.29 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 40107 0 0 0 16064 165 0 0 25 0 1 0 820663117 147009536 34826 33554432000 4194304 9163163 140733660767968 18446744073709551615 6687937 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 35891 34826 721 1214 0 34673 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 143564

[startup+222.318 s]
/proc/loadavg: 2.06 2.05 2.01 3/454 16021
/proc/meminfo: memFree=31360096/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=143564 CPUtime=222.32 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 48046 0 0 0 22006 226 0 0 25 0 1 0 820663117 147009536 34833 33554432000 4194304 9163163 140733660767968 18446744073709551615 7209787 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 35891 34833 725 1214 0 34673 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 143564

[startup+282.301 s]
/proc/loadavg: 2.12 2.07 2.01 3/454 16023
/proc/meminfo: memFree=31349540/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=158084 CPUtime=282.3 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 68406 0 0 0 27941 289 0 0 25 0 1 0 820663117 161878016 37821 33554432000 4194304 9163163 140733660767968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 39521 37821 725 1214 0 38303 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 158084

[startup+342.301 s]
/proc/loadavg: 2.09 2.07 2.01 3/454 16024
/proc/meminfo: memFree=31341956/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=164392 CPUtime=342.3 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 98018 0 0 0 33876 354 0 0 25 0 1 0 820663117 168337408 39569 33554432000 4194304 9163163 140733660767968 18446744073709551615 7082822 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 41098 39569 725 1214 0 39880 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 164392

[startup+402.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/454 16026
/proc/meminfo: memFree=31334864/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=171064 CPUtime=402.3 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 108973 0 0 0 39811 419 0 0 25 0 1 0 820663117 175169536 41276 33554432000 4194304 9163163 140733660767968 18446744073709551615 6889495 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 42766 41276 725 1214 0 41548 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 171064

[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/454 16027
/proc/meminfo: memFree=31288956/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=182744 CPUtime=462.31 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 120934 0 0 0 45751 480 0 0 25 0 1 0 820663117 187129856 44120 33554432000 4194304 9163163 140733660767968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 45686 44120 725 1214 0 44468 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 182744

[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 16029
/proc/meminfo: memFree=31277656/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=193652 CPUtime=522.3 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 123719 0 0 0 51693 537 0 0 25 0 1 0 820663117 198299648 46905 33554432000 4194304 9163163 140733660767968 18446744073709551615 7209946 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 48413 46905 725 1214 0 47195 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 193652

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 16031
/proc/meminfo: memFree=31267204/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=237560 CPUtime=582.31 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 134824 0 0 0 57639 592 0 0 25 0 1 0 820663117 243261440 58009 33554432000 4194304 9163163 140733660767968 18446744073709551615 4209138 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 59390 58009 725 1214 0 58172 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 237560

[startup+642.301 s]

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

[startup+882.318 s]
/proc/loadavg: 2.11 2.06 2.01 3/454 16039
/proc/meminfo: memFree=31204148/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=268016 CPUtime=882.34 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 151122 0 0 0 87344 890 0 0 25 0 1 0 820663117 274448384 65324 33554432000 4194304 9163163 140733660767968 18446744073709551615 7376160 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 67004 65324 725 1214 0 65786 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 268016

[startup+942.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/454 16040
/proc/meminfo: memFree=31189212/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=281448 CPUtime=942.32 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 154833 0 0 0 93273 959 0 0 25 0 1 0 820663117 288202752 69015 33554432000 4194304 9163163 140733660767968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 70362 69015 726 1214 0 69144 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 281448

[startup+1002.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/454 16042
/proc/meminfo: memFree=31176520/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=294044 CPUtime=1002.32 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 157799 0 0 0 99209 1023 0 0 25 0 1 0 820663117 301101056 71981 33554432000 4194304 9163163 140733660767968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 73511 71981 726 1214 0 72293 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 294044

[startup+1062.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/454 16052
/proc/meminfo: memFree=31165132/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=306924 CPUtime=1062.32 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 169256 0 0 0 105141 1091 0 0 25 0 1 0 820663117 314290176 75115 33554432000 4194304 9163163 140733660767968 18446744073709551615 7300255 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 76731 75115 727 1214 0 75513 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 306924

[startup+1122.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/454 16054
/proc/meminfo: memFree=31161132/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=309440 CPUtime=1122.32 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 195379 0 0 0 111079 1153 0 0 25 0 1 0 820663117 316866560 75862 33554432000 4194304 9163163 140733660767968 18446744073709551615 7084481 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 77360 75862 748 1214 0 76142 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 309440

[startup+1182.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/454 16056
/proc/meminfo: memFree=31161696/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=309468 CPUtime=1182.32 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 203950 0 0 0 117019 1213 0 0 25 0 1 0 820663117 316895232 75877 33554432000 4194304 9163163 140733660767968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 77367 75877 727 1214 0 76149 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 309468

[startup+1242.3 s]
/proc/loadavg: 2.16 2.08 2.01 3/454 16060
/proc/meminfo: memFree=31159544/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=310580 CPUtime=1242.33 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 204365 0 0 0 122957 1276 0 0 25 0 1 0 820663117 318033920 76292 33554432000 4194304 9163163 140733660767968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 77645 76292 727 1214 0 76427 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 310580

[startup+1302.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/454 16062
/proc/meminfo: memFree=31160528/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=310416 CPUtime=1302.33 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 212452 0 0 0 128893 1340 0 0 25 0 1 0 820663117 317865984 76134 33554432000 4194304 9163163 140733660767968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 77604 76134 727 1214 0 76386 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 310416

[startup+1362.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/454 16063
/proc/meminfo: memFree=31158900/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=311788 CPUtime=1362.33 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 212949 0 0 0 134828 1405 0 0 25 0 1 0 820663117 319270912 76631 33554432000 4194304 9163163 140733660767968 18446744073709551615 18446744073699065904 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 77947 76631 727 1214 0 76729 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 311788

[startup+1422.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/454 16065
/proc/meminfo: memFree=31158480/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=311788 CPUtime=1422.34 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 213003 0 0 0 140768 1466 0 0 25 0 1 0 820663117 319270912 76685 33554432000 4194304 9163163 140733660767968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 77947 76685 727 1214 0 76729 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 311788

[startup+1482.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/454 16067
/proc/meminfo: memFree=31154864/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=316256 CPUtime=1482.33 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 213857 0 0 0 146703 1530 0 0 25 0 1 0 820663117 323846144 77539 33554432000 4194304 9163163 140733660767968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 79064 77539 727 1214 0 77846 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 316256

[startup+1542.32 s]
/proc/loadavg: 2.02 2.05 2.00 3/454 16068
/proc/meminfo: memFree=31151948/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=319036 CPUtime=1542.35 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 223093 0 0 0 152643 1592 0 0 25 0 1 0 820663117 326692864 78267 33554432000 4194304 9163163 140733660767968 18446744073709551615 7379436 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 79759 78267 727 1214 0 78541 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 319036

[startup+1602.3 s]
/proc/loadavg: 1.92 2.02 1.99 2/448 16088
/proc/meminfo: memFree=31645484/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=319464 CPUtime=1602.34 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 223351 0 0 0 158583 1651 0 0 25 0 1 0 820663117 327131136 78525 33554432000 4194304 9163163 140733660767968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 79866 78525 727 1214 0 78648 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 319464

[startup+1662.3 s]
/proc/loadavg: 1.34 1.83 1.93 2/448 16089
/proc/meminfo: memFree=31641372/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=323624 CPUtime=1662.34 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 224415 0 0 0 164524 1710 0 0 25 0 1 0 820663117 331390976 79587 33554432000 4194304 9163163 140733660767968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 80906 79587 725 1214 0 79688 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 323624

[startup+1722.3 s]
/proc/loadavg: 1.12 1.68 1.87 2/448 16091
/proc/meminfo: memFree=31639624/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=325796 CPUtime=1722.34 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 224858 0 0 0 170463 1771 0 0 25 0 1 0 820663117 333615104 80030 33554432000 4194304 9163163 140733660767968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 81449 80030 726 1214 0 80231 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 325796

[startup+1782.3 s]
/proc/loadavg: 1.12 1.58 1.82 2/448 16093
/proc/meminfo: memFree=31632512/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=331352 CPUtime=1782.34 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 226390 0 0 0 176401 1833 0 0 25 0 1 0 820663117 339304448 81560 33554432000 4194304 9163163 140733660767968 18446744073709551615 4560000 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 82838 81560 725 1214 0 81620 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 331352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.18 1.57 1.81 2/448 16093
/proc/meminfo: memFree=31632012/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=332964 CPUtime=1800.05 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 226736 0 0 0 178152 1853 0 0 25 0 1 0 820663117 340955136 81906 33554432000 4194304 9163163 140733660767968 18446744073709551615 7240253 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 83241 81906 725 1214 0 82023 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 332964

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.18 1.57 1.81 2/448 16093
/proc/meminfo: memFree=31632012/32951124 swapFree=55639044/67111528
[pid=16014] ppid=16012 vsize=332964 CPUtime=1800.05 cores=1,3,5,7
/proc/16014/stat : 16014 (scip-2.0.1.4b.l) R 16012 16014 12722 0 -1 4202496 226736 0 0 0 178152 1853 0 0 25 0 1 0 820663117 340955136 81906 33554432000 4194304 9163163 140733660767968 18446744073709551615 7240253 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16014/statm: 83241 81906 725 1214 0 82023 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 332964

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.09
CPU user time (s): 1781.54
CPU system time (s): 18.5512
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 341456

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

runsolver used 7.44087 second user time and 19.1021 second system time

The end

Launcher Data 

Begin job on node133 at 2011-06-03 10:44:12
IDJOB=3451056
IDBENCH=2273
IDSOLVER=1948
FILE ID=node133/3451056-1307090652
RUNJOBID= node133-1307082838-15242
PBS_JOBID= 13497853
Free space on /tmp= 73968 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/frb35-17-opb/normalized-frb35-17-1.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-3451056-1307090652/watcher-3451056-1307090652 -o /tmp/evaluation-result-3451056-1307090652/solver-3451056-1307090652 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451056-1307090652.opb -t 1800 -m 15500

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

MD5SUM BENCH= 366c883f3118f840e595e8bbe10351c8
RANDOM SEED=1245504423

node133.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.834
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.66
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.834
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.75
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.834
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.82
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.834
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	: 6741.12
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.834
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.74
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.834
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.834
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31499460 kB
Buffers:        273440 kB
Cached:         438356 kB
SwapCached:      10584 kB
Active:         775816 kB
Inactive:       402328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31499460 kB
SwapTotal:    67111528 kB
SwapFree:     55639044 kB
Dirty:           12444 kB
Writeback:           0 kB
AnonPages:      463280 kB
Mapped:          15776 kB
Slab:           151676 kB
PageTables:      54416 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 115358644 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73968 MiB
End job on node133 at 2011-06-03 11:14:14