Trace number 3733982

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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? (TO) 1800.21 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_13.opb
MD5SUM292e71503f1e4f136e087e61da3c7ed4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark117
Best CPU time to get the best result obtained on this benchmark1800.48
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 118
Optimality of the best value was proved NO
Number of variables2470
Total number of constraints4744
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4744
Minimum length of a constraint16
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1357
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.09/0.11	c SCIP version 1.1.0.7
0.09/0.11	c LP-Solver SoPlex 1.4.1
0.09/0.11	c user parameter file <scip.set> not found - using default parameters
0.09/0.11	c read problem <HOME/instance-3733982-1338702953.opb>
0.09/0.11	c original problem has 2470 variables (2470 bin, 0 int, 0 impl, 0 cont) and 4744 constraints
0.09/0.15	c start presolving problem
0.09/0.15	c presolving:
0.19/0.20	c (round 1) 0 del vars, 2366 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 12 upgd conss, 0 impls, 0 clqs
0.49/0.56	c    (0.4s) probing: 113/2470 (4.6%) - 0 fixings, 0 aggregations, 745 implications, 0 bound changes
0.49/0.56	c    (0.4s) probing aborted: 100/100 successive totally useless probings
0.49/0.56	c presolving (2 rounds):
0.49/0.56	c  0 deleted vars, 2366 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.56	c  4888 implications, 0 cliques
0.49/0.56	c presolved problem has 2470 variables (2470 bin, 0 int, 0 impl, 0 cont) and 2378 constraints
0.49/0.56	c      12 constraints of type <knapsack>
0.49/0.56	c    2366 constraints of type <linear>
0.49/0.56	c transformed objective value is always integral (scale: 1)
0.49/0.56	c Presolving Time: 0.42
0.49/0.57	c OPT-LIN
0.49/0.57	c -----------------------------------------------------------------------------------------------
0.49/0.57	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.57	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.57	c limits/memory = c 13950
0.49/0.57	c # maximal time in seconds to run
0.49/0.57	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.57	c limits/time = c 1791
0.49/0.57	c # frequency for displaying node information lines
0.49/0.57	c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.57	c display/freq = c 10000
0.49/0.57	c -----------------------------------------------------------------------------------------------
0.49/0.57	c start solving problem
0.49/0.57	c 
0.69/0.74	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.69/0.74	c   0.6s|     1 |     0 |  2865 |  19M|   0 |1443 |2470 |2378 |2378 |2470 |2378 |   0 |   0 |   0 | 1.200000e+01 |      --      |    Inf 
1.98/2.09	c   1.9s|     1 |     0 |  7151 |  20M|   0 |1449 |2470 |2378 |2378 |2470 |2422 |  44 |   0 |   0 | 1.200000e+01 |      --      |    Inf 
2.29/2.31	c   2.2s|     1 |     0 |  7195 |  20M|   0 |1454 |2470 |2378 |2378 |2470 |2458 |  80 |   0 |   0 | 1.200000e+01 |      --      |    Inf 
2.49/2.59	c   2.4s|     1 |     0 |  7467 |  21M|   0 |1473 |2470 |2378 |2378 |2470 |2525 | 147 |   0 |   0 | 1.200198e+01 |      --      |    Inf 
2.89/2.97	c   2.8s|     1 |     0 |  7778 |  22M|   0 |1469 |2470 |2378 |2378 |2470 |2591 | 213 |   0 |   0 | 1.216667e+01 |      --      |    Inf 
3.30/3.39	c   3.2s|     1 |     0 |  8123 |  22M|   0 |1467 |2470 |2378 |2378 |2470 |2642 | 264 |   0 |   0 | 1.228571e+01 |      --      |    Inf 
3.79/3.86	c   3.7s|     1 |     0 |  8531 |  23M|   0 |1473 |2470 |2378 |2378 |2470 |2695 | 317 |   0 |   0 | 1.250000e+01 |      --      |    Inf 
4.29/4.40	c   4.2s|     1 |     0 |  9020 |  23M|   0 |1473 |2470 |2378 |2378 |2470 |2757 | 379 |   0 |   0 | 1.275000e+01 |      --      |    Inf 
5.18/5.23	c   5.1s|     1 |     0 |  9611 |  24M|   0 |1397 |2470 |2378 |2378 |2470 |2795 | 417 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
5.79/5.87	c   5.7s|     1 |     0 | 10059 |  24M|   0 |1391 |2470 |2378 |2378 |2470 |2846 | 468 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
6.59/6.66	c   6.5s|     1 |     0 | 10729 |  25M|   0 |1381 |2470 |2378 |2378 |2470 |2897 | 519 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
6.99/7.04	c   6.9s|     1 |     0 | 11479 |  25M|   0 |1372 |2470 |2378 |2378 |2470 |2921 | 543 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
7.38/7.40	c   7.2s|     1 |     0 | 12223 |  25M|   0 |1376 |2470 |2378 |2378 |2470 |2944 | 566 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
7.69/7.78	c   7.6s|     1 |     0 | 12922 |  25M|   0 |1373 |2470 |2378 |2378 |2470 |2975 | 597 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
42.28/42.36	c  42.1s|     1 |     2 | 12922 |  25M|   0 |1373 |2470 |2378 |2378 |2470 |2975 | 597 |   0 |  81 | 1.300000e+01 |      --      |    Inf 
635.08/635.23	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
635.08/635.23	c   632s| 10000 |  6027 |  3159k|  63M| 187 | 771 |2470 |4892 |2391 |2470 |2485 | 597 |  14k|5912 | 1.700000e+01 |      --      |    Inf 
1061.61/1061.89	c  1056s| 20000 |  8186 |  5453k|  84M| 187 | 735 |2470 |4611 |3044 |2470 |2485 | 597 |  28k|  13k| 2.100000e+01 |      --      |    Inf 
1381.75/1382.07	c  1375s| 30000 |  9203 |  7556k|  95M| 187 |   - |2470 |5621 |1296 |2470 |2485 | 597 |  46k|  15k| 2.500000e+01 |      --      |    Inf 
1774.59/1774.90	c  1765s| 40000 |  9731 |  9885k| 100M| 187 | 883 |2470 |5708 |2467 |2470 |2485 | 597 |  63k|  21k| 2.700000e+01 |      --      |    Inf 
1800.09/1800.42	c 
1800.09/1800.42	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.42	c Solving Time (sec) : 1790.29
1800.09/1800.42	c Solving Nodes      : 40624
1800.09/1800.42	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.09/1800.42	c Dual Bound         : +2.70000000000000e+01
1800.09/1800.42	c Gap                : infinite
1800.09/1800.42	c NODE         40624
1800.09/1800.42	c DUAL BOUND   27
1800.09/1800.42	c PRIMAL BOUND 1e+20
1800.09/1800.42	c GAP          1e+20
1800.09/1800.42	s UNKNOWN
1800.09/1800.42	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.42	c Solving Time       :    1790.29
1800.09/1800.42	c Original Problem   :
1800.09/1800.42	c   Problem name     : HOME/instance-3733982-1338702953.opb
1800.09/1800.42	c   Variables        : 2470 (2470 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.42	c   Constraints      : 4744 initial, 4744 maximal
1800.09/1800.42	c Presolved Problem  :
1800.09/1800.42	c   Problem name     : t_HOME/instance-3733982-1338702953.opb
1800.09/1800.42	c   Variables        : 2470 (2470 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.42	c   Constraints      : 2378 initial, 7680 maximal
1800.09/1800.42	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.09/1800.42	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.42	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.42	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.42	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.42	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.42	c   probing          :       0.35          0          0          0          0          0          0          0          0
1800.09/1800.42	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.42	c   linear           :       0.06          0          0          0          0          0       2366          0          0
1800.09/1800.42	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.42	c   root node        :          -          0          -          -          0          -          -          -          -
1800.09/1800.42	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.42	c   integral         :          0          0          0      32433          0         68      16617          0          0      57770
1800.09/1800.42	c   knapsack         :         12         13     177633          0          0       1227      55249        140          0          0
1800.09/1800.42	c   linear           :       2366         13     176406          0          0      12324    5753262          1          0          0
1800.09/1800.42	c   logicor          :          0+         0      96837          0          0        866     107629          0          0          0
1800.09/1800.42	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.09/1800.42	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.09/1800.42	c   integral         :     565.56       0.00       0.00     565.56       0.00
1800.09/1800.42	c   knapsack         :       5.17       0.00       5.17       0.00       0.00
1800.09/1800.42	c   linear           :     172.73       0.00     172.73       0.00       0.00
1800.09/1800.42	c   logicor          :       5.59       0.00       5.59       0.00       0.00
1800.09/1800.42	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.09/1800.42	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.09/1800.42	c   rootredcost      :       0.04          0          0          0
1800.09/1800.42	c   pseudoobj        :       0.12     177416          0          0
1800.09/1800.42	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.09/1800.42	c   propagation      :       1.55      14417      14417     175668       42.5        631       28.1          -
1800.09/1800.42	c   infeasible LP    :       2.07       8172       8172      32984       27.6        537       20.5          0
1800.09/1800.42	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.42	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.42	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.09/1800.42	c   applied globally :          -          -          -      64480       30.5          -          -          -
1800.09/1800.42	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.09/1800.42	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.09/1800.42	c   cut pool         :       0.01         12          -          -       8178          -    (maximal pool size: 7012)
1800.09/1800.42	c   redcost          :       1.02      32402          0         18          0          0
1800.09/1800.42	c   impliedbounds    :       0.00         13          0          0          9          0
1800.09/1800.42	c   intobj           :       0.00          0          0          0          0          0
1800.09/1800.42	c   gomory           :       0.20         13          0          0        314          0
1800.09/1800.42	c   strongcg         :       0.16         13          0          0        295          0
1800.09/1800.42	c   cmir             :       1.69         10          0          0       5000          0
1800.09/1800.42	c   flowcover        :       1.15         10          0          0       2000          0
1800.09/1800.42	c   clique           :       0.00          1          0          0          0          0
1800.09/1800.42	c   zerohalf         :       0.00          0          0          0          0          0
1800.09/1800.42	c   mcf              :       0.00          1          0          0          0          0
1800.09/1800.42	c Pricers            :       Time      Calls       Vars
1800.09/1800.42	c   problem variables:       0.00          0          0
1800.09/1800.42	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.42	c   relpscost        :     565.46      32433         68      16617          0          0      57770
1800.09/1800.42	c   pscost           :       0.00          0          0          0          0          0          0
1800.09/1800.42	c   inference        :       0.00          0          0          0          0          0          0
1800.09/1800.42	c   mostinf          :       0.00          0          0          0          0          0          0
1800.09/1800.42	c   leastinf         :       0.00          0          0          0          0          0          0
1800.09/1800.42	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.09/1800.42	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.09/1800.42	c   random           :       0.00          0          0          0          0          0          0
1800.09/1800.42	c Primal Heuristics  :       Time      Calls      Found
1800.09/1800.42	c   LP solutions     :       0.00          -          0
1800.09/1800.42	c   pseudo solutions :       0.00          -          0
1800.09/1800.42	c   oneopt           :       0.03          0          0
1800.09/1800.42	c   crossover        :       0.00          0          0
1800.09/1800.42	c   guideddiving     :       0.00          0          0
1800.09/1800.42	c   linesearchdiving :       9.76         51          0
1800.09/1800.42	c   rootsoldiving    :       5.88         26          0
1800.09/1800.42	c   objpscostdiving  :      15.51         26          0
1800.09/1800.42	c   pscostdiving     :      14.73         52          0
1800.09/1800.42	c   coefdiving       :      55.62         52          0
1800.09/1800.42	c   fracdiving       :      33.47         52          0
1800.09/1800.42	c   veclendiving     :      10.80         52          0
1800.09/1800.42	c   feaspump         :      10.83         27          0
1800.09/1800.42	c   simplerounding   :       0.03          0          0
1800.09/1800.42	c   rounding         :       0.84       2513          0
1800.09/1800.42	c   shifting         :       6.26        774          0
1800.09/1800.42	c   intshifting      :       0.00          0          0
1800.09/1800.42	c   fixandinfer      :       0.00          0          0
1800.09/1800.42	c   intdiving        :       0.00          0          0
1800.09/1800.42	c   actconsdiving    :       0.00          0          0
1800.09/1800.42	c   octane           :       0.00          0          0
1800.09/1800.42	c   rens             :       0.01          0          0
1800.09/1800.42	c   rins             :       0.00          0          0
1800.09/1800.42	c   localbranching   :       0.00          0          0
1800.09/1800.42	c   mutation         :       0.00          0          0
1800.09/1800.42	c   dins             :       0.00          0          0
1800.09/1800.42	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.09/1800.42	c   primal LP        :       0.00          0          0       0.00          -
1800.09/1800.42	c   dual LP          :     826.75      35819    9073990     253.33   10975.49
1800.09/1800.42	c   barrier LP       :       0.00          0          0       0.00          -
1800.09/1800.42	c   diving/probing LP:     139.44      14551     980280      67.37    7030.12
1800.09/1800.42	c   strong branching :     558.65      22235    4126485     185.59    7386.53
1800.09/1800.42	c     (at root node) :          -         81      76376     942.91          -
1800.09/1800.42	c   conflict analysis:       0.00          0          0       0.00          -
1800.09/1800.42	c B&B Tree           :
1800.09/1800.42	c   number of runs   :          1
1800.09/1800.42	c   nodes            :      40624
1800.09/1800.42	c   nodes (total)    :      40624
1800.09/1800.42	c   nodes left       :       9721
1800.09/1800.42	c   max depth        :        187
1800.09/1800.42	c   max depth (total):        187
1800.09/1800.42	c   backtracks       :       7743 (19.1%)
1800.09/1800.42	c   delayed cutoffs  :       7426
1800.09/1800.42	c   repropagations   :      39478 (2037340 domain reductions, 5183 cutoffs)
1800.09/1800.42	c   avg switch length:       5.80
1800.09/1800.42	c   switching time   :      30.64
1800.09/1800.42	c Solution           :
1800.09/1800.42	c   Solutions found  :          0 (0 improvements)
1800.09/1800.42	c   Primal Bound     :          -
1800.09/1800.42	c   Dual Bound       : +2.70000000000000e+01
1800.09/1800.42	c   Gap              :   infinite
1800.09/1800.42	c   Root Dual Bound  : +1.30000000000000e+01
1800.19/1800.51	c Time complete: 1800.2.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3733982-1338702953/watcher-3733982-1338702953 -o /tmp/evaluation-result-3733982-1338702953/solver-3733982-1338702953 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3733982-1338702953.opb 

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.10 2.05 2.01 3/174 26039
/proc/meminfo: memFree=23811400/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=8420 CPUtime=0 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 1465 0 0 0 0 0 0 0 20 0 1 0 336423856 8622080 1418 33554432000 4194304 7823515 140735165663504 140736281912888 6883856 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 2105 1422 352 887 0 1215 0

[startup+0.105466 s]
/proc/loadavg: 2.10 2.05 2.01 3/174 26039
/proc/meminfo: memFree=23811400/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=14732 CPUtime=0.09 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 3019 0 0 0 9 0 0 0 20 0 1 0 336423856 15085568 2972 33554432000 4194304 7823515 140735165663504 140736281912888 6957168 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 3683 2972 354 887 0 2793 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14732

[startup+0.200292 s]
/proc/loadavg: 2.10 2.05 2.01 3/174 26039
/proc/meminfo: memFree=23811400/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=53396 CPUtime=0.19 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 12574 0 0 0 18 1 0 0 20 0 1 0 336423856 54677504 12173 33554432000 4194304 7823515 140735165663504 140735165659608 6899811 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 13349 12173 420 887 0 12459 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 53396

[startup+0.300317 s]
/proc/loadavg: 2.10 2.05 2.01 3/174 26039
/proc/meminfo: memFree=23811400/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=54436 CPUtime=0.29 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 12880 0 0 0 28 1 0 0 20 0 1 0 336423856 55742464 12479 33554432000 4194304 7823515 140735165663504 140735165659608 4521019 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 13609 12479 442 887 0 12719 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54436

[startup+0.700239 s]
/proc/loadavg: 2.10 2.05 2.01 3/174 26039
/proc/meminfo: memFree=23811400/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=65200 CPUtime=0.69 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 16290 0 0 0 67 2 0 0 20 0 1 0 336423856 66764800 15115 33554432000 4194304 7823515 140735165663504 140735165659608 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 16300 15115 515 887 0 15410 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65200

[startup+1.5002 s]
/proc/loadavg: 2.10 2.05 2.01 3/175 26040
/proc/meminfo: memFree=23751840/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=66000 CPUtime=1.49 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 16667 0 0 0 147 2 0 0 20 0 1 0 336423856 67584000 15408 33554432000 4194304 7823515 140735165663504 140735165658264 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 16500 15408 526 887 0 15610 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66000

[startup+3.10025 s]
/proc/loadavg: 2.10 2.05 2.01 3/175 26040
/proc/meminfo: memFree=23747252/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=80624 CPUtime=3.08 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 19366 0 0 0 305 3 0 0 20 0 1 0 336423856 82558976 18615 33554432000 4194304 7823515 140735165663504 140735165659256 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 20156 18615 550 887 0 19266 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 80624

[startup+6.30018 s]
/proc/loadavg: 2.10 2.05 2.01 3/175 26040
/proc/meminfo: memFree=23731068/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=88184 CPUtime=6.29 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 21204 0 0 0 624 5 0 0 20 0 1 0 336423856 90300416 20435 33554432000 4194304 7823515 140735165663504 140735165659304 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 22046 20435 551 887 0 21156 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88184

[startup+12.7002 s]
/proc/loadavg: 2.09 2.05 2.01 3/175 26040
/proc/meminfo: memFree=23727036/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=92916 CPUtime=12.69 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 24060 0 0 0 1262 7 0 0 20 0 1 0 336423856 95145984 21673 33554432000 4194304 7823515 140735165663504 140735165658200 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 23229 21673 556 887 0 22339 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 92916

[startup+25.5003 s]
/proc/loadavg: 2.13 2.06 2.01 3/175 26040
/proc/meminfo: memFree=23723500/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=93808 CPUtime=25.48 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 25425 0 0 0 2538 10 0 0 20 0 1 0 336423856 96059392 22160 33554432000 4194304 7823515 140735165663504 140735165658200 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 23452 22160 556 887 0 22562 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 93808

[startup+51.1003 s]
/proc/loadavg: 2.14 2.07 2.01 3/175 26041
/proc/meminfo: memFree=23721232/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=89892 CPUtime=51.07 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 29462 0 0 0 5092 15 0 0 20 0 1 0 336423856 92049408 21863 33554432000 4194304 7823515 140735165663504 140735165657528 6234848 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 22473 21863 556 887 0 21583 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 89892

[startup+102.3 s]
/proc/loadavg: 2.11 2.08 2.01 3/175 26041
/proc/meminfo: memFree=23711228/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=91488 CPUtime=102.27 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 29638 0 0 0 10189 38 0 0 20 0 1 0 336423856 93683712 22028 33554432000 4194304 7823515 140735165663504 140735165659336 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 22872 22028 565 887 0 21982 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 91488

[startup+162.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/175 26041
/proc/meminfo: memFree=23699196/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=96452 CPUtime=162.25 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 31157 0 0 0 16166 59 0 0 20 0 1 0 336423856 98766848 23495 33554432000 4194304 7823515 140735165663504 140735165659304 6234848 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 24113 23495 565 887 0 23223 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 96452

[startup+222.307 s]
/proc/loadavg: 2.01 2.05 2.00 3/175 26041
/proc/meminfo: memFree=23687776/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=100228 CPUtime=222.25 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 32057 0 0 0 22133 92 0 0 20 0 1 0 336423856 102633472 24331 33554432000 4194304 7823515 140735165663504 140735165658840 6234850 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 25057 24331 565 887 0 24167 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 100228

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/176 26044
/proc/meminfo: memFree=23677844/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=101620 CPUtime=282.24 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 33704 0 0 0 28101 123 0 0 20 0 1 0 336423856 104058880 24614 33554432000 4194304 7823515 140735165663504 140735165659496 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 25405 24614 565 887 0 24515 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 101620

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/176 26067
/proc/meminfo: memFree=23664248/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=105928 CPUtime=342.23 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 34898 0 0 0 34070 153 0 0 20 0 1 0 336423856 108470272 25776 33554432000 4194304 7823515 140735165663504 140735165658840 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 26482 25776 565 887 0 25592 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 105928

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 26068
/proc/meminfo: memFree=23651532/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=113060 CPUtime=402.21 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 37987 0 0 0 40032 189 0 0 20 0 1 0 336423856 115773440 27444 33554432000 4194304 7823515 140735165663504 140735165658840 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 28265 27444 565 887 0 27375 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 113060

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 26068
/proc/meminfo: memFree=23635960/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=122760 CPUtime=462.21 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 40668 0 0 0 45995 226 0 0 20 0 1 0 336423856 125706240 30079 33554432000 4194304 7823515 140735165663504 140735165660536 6234850 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 30690 30079 565 887 0 29800 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 122760

[startup+522.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/175 26068
/proc/meminfo: memFree=23627956/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=127780 CPUtime=522.19 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 45171 0 0 0 51957 262 0 0 20 0 1 0 336423856 130846720 31340 33554432000 4194304 7823515 140735165663504 140735165658840 6237358 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 31945 31340 565 887 0 31055 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 127780

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 26068
/proc/meminfo: memFree=23617836/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=134920 CPUtime=582.18 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 46962 0 0 0 57926 292 0 0 20 0 1 0 336423856 138158080 33066 33554432000 4194304 7823515 140735165663504 140735165660536 6234920 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 33730 33066 565 887 0 32840 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 134920

[startup+642.3 s]

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

[startup+882.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 26072
/proc/meminfo: memFree=23574188/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=165320 CPUtime=882.14 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 68453 0 0 0 87770 444 0 0 20 0 1 0 336423856 169287680 40750 33554432000 4194304 7823515 140735165663504 140735165659304 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 41330 40750 565 887 0 40440 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 165320

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26072
/proc/meminfo: memFree=23561548/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=173904 CPUtime=942.12 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 70518 0 0 0 93732 480 0 0 20 0 1 0 336423856 178077696 42805 33554432000 4194304 7823515 140735165663504 140735165658552 5061694 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 43476 42805 565 887 0 42586 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 173904

[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 26073
/proc/meminfo: memFree=23553912/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=179728 CPUtime=1002.11 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 72033 0 0 0 99700 511 0 0 20 0 1 0 336423856 184041472 44320 33554432000 4194304 7823515 140735165663504 140735165658840 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 44932 44320 565 887 0 44042 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 179728

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 26073
/proc/meminfo: memFree=23544612/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=187516 CPUtime=1062.11 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 75248 0 0 0 105665 546 0 0 20 0 1 0 336423856 192016384 46258 33554432000 4194304 7823515 140735165663504 140735165660536 6234848 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 46879 46258 565 887 0 45989 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 187516

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26073
/proc/meminfo: memFree=23539444/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=190356 CPUtime=1122.09 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 75957 0 0 0 111628 581 0 0 20 0 1 0 336423856 194924544 46965 33554432000 4194304 7823515 140735165663504 140735165658840 5061346 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 47589 46965 565 887 0 46699 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 190356

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26073
/proc/meminfo: memFree=23533052/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=194500 CPUtime=1182.09 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 77007 0 0 0 117595 614 0 0 20 0 1 0 336423856 199168000 48014 33554432000 4194304 7823515 140735165663504 140735165660248 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 48625 48014 565 887 0 47735 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 194500

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26073
/proc/meminfo: memFree=23524868/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=200540 CPUtime=1242.08 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 80904 0 0 0 123565 643 0 0 20 0 1 0 336423856 205352960 49349 33554432000 4194304 7823515 140735165663504 140735165658200 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 50135 49349 565 887 0 49245 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 200540

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26074
/proc/meminfo: memFree=23516852/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=206044 CPUtime=1302.07 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 82485 0 0 0 129532 675 0 0 20 0 1 0 336423856 210989056 50813 33554432000 4194304 7823515 140735165663504 140735165661336 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 51511 50813 565 887 0 50621 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 206044

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26074
/proc/meminfo: memFree=23507304/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=213404 CPUtime=1362.06 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 84438 0 0 0 135499 707 0 0 20 0 1 0 336423856 218525696 52735 33554432000 4194304 7823515 140735165663504 140735165658552 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 53351 52735 565 887 0 52461 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 213404

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26074
/proc/meminfo: memFree=23500228/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=215904 CPUtime=1422.05 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 84927 0 0 0 141461 744 0 0 20 0 1 0 336423856 221085696 53224 33554432000 4194304 7823515 140735165663504 140735165658840 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 53976 53224 565 887 0 53086 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 215904

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26077
/proc/meminfo: memFree=23489184/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=220156 CPUtime=1482.04 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 91597 0 0 0 147423 781 0 0 20 0 1 0 336423856 225439744 54307 33554432000 4194304 7823515 140735165663504 140735165658840 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 55039 54307 565 887 0 54149 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 220156

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26077
/proc/meminfo: memFree=23484652/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=222456 CPUtime=1542.04 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 92249 0 0 0 153387 817 0 0 20 0 1 0 336423856 227794944 55026 33554432000 4194304 7823515 140735165663504 140735165658616 5062443 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 55614 55026 565 887 0 54724 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 222456

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26078
/proc/meminfo: memFree=23484468/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=222896 CPUtime=1602.02 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 93691 0 0 0 159351 851 0 0 20 0 1 0 336423856 228245504 55113 33554432000 4194304 7823515 140735165663504 140735165660248 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 55724 55113 565 887 0 54834 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 222896

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/173 26079
/proc/meminfo: memFree=23646360/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=226056 CPUtime=1662.01 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 94410 0 0 0 165310 891 0 0 20 0 1 0 336423856 231481344 55832 33554432000 4194304 7823515 140735165663504 140735165658840 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 56514 55832 565 887 0 55624 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 226056

[startup+1722.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/175 26117
/proc/meminfo: memFree=23626396/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=227468 CPUtime=1722 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 94799 0 0 0 171274 926 0 0 20 0 1 0 336423856 232927232 56221 33554432000 4194304 7823515 140735165663504 140735165658840 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 56867 56221 565 887 0 55977 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 227468

[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/175 26117
/proc/meminfo: memFree=23618256/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=229604 CPUtime=1781.99 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 96540 0 0 0 177239 960 0 0 20 0 1 0 336423856 235114496 56789 33554432000 4194304 7823515 140735165663504 140735165657864 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 57401 56789 565 887 0 56511 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 229604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 26117
/proc/meminfo: memFree=23616008/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=230124 CPUtime=1800.09 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 96676 0 0 0 179038 971 0 0 20 0 1 0 336423856 235646976 56925 33554432000 4194304 7823515 140735165663504 140735165659192 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 57531 56925 565 887 0 56641 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 230124

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

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

[startup+1800.51 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 26117
/proc/meminfo: memFree=23616008/32873844 swapFree=7112/7112
[pid=26039] ppid=26037 vsize=230124 CPUtime=1800.19 cores=1,3,5,7
/proc/26039/stat : 26039 (pbscip.linux.x8) R 26037 26039 13043 0 -1 4202496 96680 0 0 0 179048 971 0 0 20 0 1 0 336423856 235646976 54986 33554432000 4194304 7823515 140735165663504 140735165659192 6962503 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26039/statm: 57531 54986 569 887 0 56641 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 230124

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.21
CPU user time (s): 1790.49
CPU system time (s): 9.72052
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 232092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.49
system time used= 9.72052
maximum resident set size= 228984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96683
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= 46
involuntary context switches= 1851

runsolver used 3.3135 second user time and 9.40157 second system time

The end

Launcher Data 

Begin job on node104 at 2012-06-03 07:55:53
IDJOB=3733982
IDBENCH=2640
IDSOLVER=2321
FILE ID=node104/3733982-1338702953
RUNJOBID= node104-1338679216-21696
PBS_JOBID= 14636709
Free space on /tmp= 66424 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_13.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733982-1338702953/watcher-3733982-1338702953 -o /tmp/evaluation-result-3733982-1338702953/solver-3733982-1338702953 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3733982-1338702953.opb

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

MD5SUM BENCH= 292e71503f1e4f136e087e61da3c7ed4
RANDOM SEED=664807590

node104.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.266
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.266
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.266
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.266
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.266
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.266
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.266
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.266
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        23811772 kB
Buffers:          554164 kB
Cached:          7434176 kB
SwapCached:          708 kB
Active:          4841000 kB
Inactive:        3214756 kB
Active(anon):      58784 kB
Inactive(anon):     8092 kB
Active(file):    4782216 kB
Inactive(file):  3206664 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67105164 kB
Dirty:             10876 kB
Writeback:             0 kB
AnonPages:         23744 kB
Mapped:            16452 kB
Shmem:                 8 kB
Slab:             864900 kB
SReclaimable:     307356 kB
SUnreclaim:       557544 kB
KernelStack:        1456 kB
PageTables:         4032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     174152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 66412 MiB
End job on node104 at 2012-06-03 08:25:55