Trace number 3735115

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.18 1800.48

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
MD5SUM840eda79f99ca12a0c705eefe22c37b7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark142
Best CPU time to get the best result obtained on this benchmark1783.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 144
Optimality of the best value was proved NO
Number of variables3296
Total number of constraints6384
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6383
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 91
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 218
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 286
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1475
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.15	c SCIP version 1.1.0.7
0.09/0.15	c LP-Solver SoPlex 1.4.1
0.09/0.15	c user parameter file <scip.set> not found - using default parameters
0.09/0.15	c read problem <HOME/instance-3735115-1338708039.opb>
0.09/0.15	c original problem has 3296 variables (3296 bin, 0 int, 0 impl, 0 cont) and 6384 constraints
0.09/0.19	c start presolving problem
0.09/0.19	c presolving:
0.19/0.23	c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 1 chg sides, 380 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.19/0.26	c (round 2) 1 del vars, 2904 del conss, 1 chg bounds, 1 chg sides, 380 chg coeffs, 295 upgd conss, 0 impls, 0 clqs
0.19/0.29	c (round 3) 1 del vars, 2904 del conss, 1 chg bounds, 19 chg sides, 423 chg coeffs, 577 upgd conss, 258 impls, 6 clqs
0.29/0.31	c (round 4) 1 del vars, 2904 del conss, 1 chg bounds, 49 chg sides, 467 chg coeffs, 577 upgd conss, 258 impls, 6 clqs
0.99/1.06	c    (0.9s) probing: 218/3295 (6.6%) - 0 fixings, 0 aggregations, 51 implications, 0 bound changes
0.99/1.06	c    (0.9s) probing aborted: 100/100 successive totally useless probings
0.99/1.06	c presolving (5 rounds):
0.99/1.06	c  1 deleted vars, 2904 deleted constraints, 1 tightened bounds, 0 added holes, 49 changed sides, 469 changed coefficients
0.99/1.06	c  360 implications, 6 cliques
0.99/1.06	c presolved problem has 3295 variables (3295 bin, 0 int, 0 impl, 0 cont) and 3489 constraints
0.99/1.06	c     577 constraints of type <knapsack>
0.99/1.06	c       9 constraints of type <setppc>
0.99/1.06	c    2903 constraints of type <linear>
0.99/1.06	c transformed objective value is always integral (scale: 1)
0.99/1.06	c Presolving Time: 0.86
0.99/1.06	c OPT-LIN
0.99/1.06	c -----------------------------------------------------------------------------------------------
0.99/1.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.06	c limits/memory = c 13950
0.99/1.06	c # maximal time in seconds to run
0.99/1.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.06	c limits/time = c 1791
0.99/1.06	c # frequency for displaying node information lines
0.99/1.06	c # [type: int, range: [-1,2147483647], default: 100]
0.99/1.06	c display/freq = c 10000
0.99/1.06	c -----------------------------------------------------------------------------------------------
0.99/1.06	c start solving problem
0.99/1.06	c 
1.10/1.16	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.10/1.16	c   1.0s|     1 |     0 |  1228 |  27M|   0 | 980 |3295 |3489 |3489 |3295 |3489 |   0 |   0 |   0 | 9.100000e+01 |      --      |    Inf 
2.49/2.54	c   2.3s|     1 |     0 |  4400 |  28M|   0 |1406 |3295 |3489 |3489 |3295 |3645 | 156 |   0 |   0 | 9.100000e+01 |      --      |    Inf 
3.30/3.35	c   3.2s|     1 |     0 |  5057 |  28M|   0 |1700 |3295 |3489 |3489 |3295 |3825 | 336 |   0 |   0 | 9.100000e+01 |      --      |    Inf 
5.09/5.16	c   5.0s|     1 |     0 |  8017 |  29M|   0 |1683 |3295 |3489 |3489 |3295 |3987 | 498 |   0 |   0 | 9.100000e+01 |      --      |    Inf 
7.78/7.80	c   7.6s|     1 |     0 | 12118 |  30M|   0 |2154 |3295 |3489 |3489 |3295 |4181 | 692 |   0 |   0 | 9.100000e+01 |      --      |    Inf 
10.19/10.23	c  10.0s|     1 |     0 | 15159 |  30M|   0 |2029 |3295 |3489 |3489 |3295 |4336 | 847 |   0 |   0 | 9.100000e+01 |      --      |    Inf 
13.48/13.51	c  13.3s|     1 |     0 | 18840 |  31M|   0 |1874 |3295 |3489 |3489 |3295 |4452 | 963 |   0 |   0 | 9.100000e+01 |      --      |    Inf 
23.18/23.25	c  22.9s|     1 |     2 | 18840 |  31M|   0 |1874 |3295 |3489 |3489 |3295 |4452 | 963 |   0 |  18 | 9.100000e+01 |      --      |    Inf 
1132.49/1132.74	c  1126s| 10000 |  4527 |  3365k|  68M| 311 |1260 |3295 |4954 |4007 |3295 |3690 | 963 |  10k|5659 | 9.100000e+01 |      --      |    Inf 
1800.09/1800.41	c 
1800.09/1800.41	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.41	c Solving Time (sec) : 1790.16
1800.09/1800.41	c Solving Nodes      : 18143
1800.09/1800.41	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.09/1800.41	c Dual Bound         : +9.10000000000000e+01
1800.09/1800.41	c Gap                : infinite
1800.09/1800.41	c NODE         18143
1800.09/1800.41	c DUAL BOUND   91
1800.09/1800.41	c PRIMAL BOUND 1e+20
1800.09/1800.41	c GAP          1e+20
1800.09/1800.41	s UNKNOWN
1800.09/1800.41	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.41	c Solving Time       :    1790.16
1800.09/1800.41	c Original Problem   :
1800.09/1800.41	c   Problem name     : HOME/instance-3735115-1338708039.opb
1800.09/1800.41	c   Variables        : 3296 (3296 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.41	c   Constraints      : 6384 initial, 6384 maximal
1800.09/1800.41	c Presolved Problem  :
1800.09/1800.41	c   Problem name     : t_HOME/instance-3735115-1338708039.opb
1800.09/1800.41	c   Variables        : 3295 (3295 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.41	c   Constraints      : 3489 initial, 6164 maximal
1800.09/1800.41	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.09/1800.41	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.41	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.41	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.41	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.41	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.41	c   probing          :       0.74          0          0          0          0          0          0          0          0
1800.09/1800.41	c   knapsack         :       0.02          0          0          0          0          0          0         48         89
1800.09/1800.41	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.41	c   linear           :       0.07          1          0          0          1          0       2904          1        380
1800.09/1800.41	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.41	c   root node        :          -          0          -          -          0          -          -          -          -
1800.09/1800.41	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.41	c   integral         :          0          0          0      15070          0         44       9386          0          0      26242
1800.09/1800.41	c   knapsack         :        577          6      86177          0          0        635     239628        721          0          0
1800.09/1800.41	c   setppc           :          9          6      28729          0          0          0        106          0          0          0
1800.09/1800.41	c   linear           :       2903          6      85542          0          0       2896    2327065          0          0          0
1800.09/1800.41	c   logicor          :          0+         0      39535          0          0        330      40981          0          0          0
1800.09/1800.41	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.09/1800.41	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.09/1800.41	c   integral         :     627.94       0.00       0.00     627.94       0.00
1800.09/1800.41	c   knapsack         :       3.89       0.01       3.88       0.00       0.00
1800.09/1800.41	c   setppc           :       0.02       0.00       0.02       0.00       0.00
1800.09/1800.41	c   linear           :      73.74       0.00      73.74       0.00       0.00
1800.09/1800.41	c   logicor          :       1.49       0.00       1.49       0.00       0.00
1800.09/1800.41	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.09/1800.41	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.09/1800.41	c   rootredcost      :       0.00          0          0          0
1800.09/1800.41	c   pseudoobj        :       0.02      85727          0          0
1800.09/1800.41	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.09/1800.41	c   propagation      :       0.47       3861       3860      43168       40.4        199       24.6          -
1800.09/1800.41	c   infeasible LP    :       1.16       3439       3439      16912       29.1        318       22.3          0
1800.09/1800.41	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.41	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.41	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.09/1800.41	c   applied globally :          -          -          -      21800       29.5          -          -          -
1800.09/1800.41	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.09/1800.41	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.09/1800.41	c   cut pool         :       0.00          5          -          -       1184          -    (maximal pool size: 4826)
1800.09/1800.41	c   redcost          :       0.73      15151          0        200          0          0
1800.09/1800.41	c   impliedbounds    :       0.00          6          0          0         18          0
1800.09/1800.41	c   intobj           :       0.00          0          0          0          0          0
1800.09/1800.41	c   gomory           :       0.77          6          0          0         10          0
1800.09/1800.41	c   strongcg         :       0.74          6          0          0          3          0
1800.09/1800.41	c   cmir             :       1.52          6          0          0       3000          0
1800.09/1800.41	c   flowcover        :       1.16          6          0          0       1200          0
1800.09/1800.41	c   clique           :       0.00          6          0          0          2          0
1800.09/1800.41	c   zerohalf         :       0.00          0          0          0          0          0
1800.09/1800.41	c   mcf              :       0.01          2          0          0          0          0
1800.09/1800.41	c Pricers            :       Time      Calls       Vars
1800.09/1800.41	c   problem variables:       0.00          0          0
1800.09/1800.41	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.41	c   relpscost        :     627.92      15070         44       9386          0          0      26242
1800.09/1800.41	c   pscost           :       0.00          0          0          0          0          0          0
1800.09/1800.41	c   inference        :       0.00          0          0          0          0          0          0
1800.09/1800.41	c   mostinf          :       0.00          0          0          0          0          0          0
1800.09/1800.41	c   leastinf         :       0.00          0          0          0          0          0          0
1800.09/1800.41	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.09/1800.41	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.09/1800.41	c   random           :       0.00          0          0          0          0          0          0
1800.09/1800.41	c Primal Heuristics  :       Time      Calls      Found
1800.09/1800.41	c   LP solutions     :       0.00          -          0
1800.09/1800.41	c   pseudo solutions :       0.00          -          0
1800.09/1800.41	c   oneopt           :       0.02          0          0
1800.09/1800.41	c   crossover        :       0.02          0          0
1800.09/1800.41	c   guideddiving     :       0.00          0          0
1800.09/1800.41	c   intshifting      :       0.00          0          0
1800.09/1800.41	c   fracdiving       :      55.08         15          0
1800.09/1800.41	c   objpscostdiving  :      14.37          8          0
1800.09/1800.41	c   pscostdiving     :      22.50         16          0
1800.09/1800.41	c   coefdiving       :      65.61         16          0
1800.09/1800.41	c   veclendiving     :      14.59         17          0
1800.09/1800.41	c   rootsoldiving    :       7.65         10          0
1800.09/1800.41	c   feaspump         :      14.08         12          0
1800.09/1800.41	c   linesearchdiving :      16.41         30          0
1800.09/1800.41	c   simplerounding   :       0.04          0          0
1800.09/1800.41	c   rounding         :       1.08       1707          0
1800.09/1800.41	c   shifting         :       6.24        493          0
1800.09/1800.41	c   fixandinfer      :       0.00          0          0
1800.09/1800.41	c   intdiving        :       0.00          0          0
1800.09/1800.41	c   actconsdiving    :       0.00          0          0
1800.09/1800.41	c   octane           :       0.00          0          0
1800.09/1800.41	c   rens             :       0.01          0          0
1800.09/1800.41	c   rins             :       0.00          0          0
1800.09/1800.41	c   localbranching   :       0.00          0          0
1800.09/1800.41	c   mutation         :       0.00          0          0
1800.09/1800.41	c   dins             :       0.00          0          0
1800.09/1800.41	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.09/1800.41	c   primal LP        :       0.02          0          0       0.00       0.00
1800.09/1800.41	c   dual LP          :     835.66      17559    4795660     273.12    5738.77
1800.09/1800.41	c   barrier LP       :       0.00          0          0       0.00          -
1800.09/1800.41	c   diving/probing LP:     202.64       5102     821306     160.98    4053.03
1800.09/1800.41	c   strong branching :     624.24      11594    2517318     217.12    4032.61
1800.09/1800.41	c     (at root node) :          -         18      18000    1000.00          -
1800.09/1800.41	c   conflict analysis:       0.00          0          0       0.00          -
1800.09/1800.41	c B&B Tree           :
1800.09/1800.41	c   number of runs   :          1
1800.09/1800.41	c   nodes            :      18143
1800.09/1800.41	c   nodes (total)    :      18143
1800.09/1800.41	c   nodes left       :       6317
1800.09/1800.41	c   max depth        :        311
1800.09/1800.41	c   max depth (total):        311
1800.09/1800.41	c   backtracks       :       2478 (13.7%)
1800.09/1800.41	c   delayed cutoffs  :       1783
1800.09/1800.41	c   repropagations   :      27182 (774123 domain reductions, 1165 cutoffs)
1800.09/1800.41	c   avg switch length:       5.87
1800.09/1800.41	c   switching time   :      13.49
1800.09/1800.41	c Solution           :
1800.09/1800.41	c   Solutions found  :          0 (0 improvements)
1800.09/1800.41	c   Primal Bound     :          -
1800.09/1800.41	c   Dual Bound       : +9.10000000000000e+01
1800.09/1800.41	c   Gap              :   infinite
1800.09/1800.41	c   Root Dual Bound  : +9.10000000000000e+01
1800.09/1800.48	c Time complete: 1800.17.

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

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

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


[startup+0 s]
/proc/loadavg: 2.22 2.10 2.03 3/177 31376
/proc/meminfo: memFree=27967672/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=8556 CPUtime=0 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 1496 0 0 0 0 0 0 0 20 0 1 0 336929915 8761344 1448 33554432000 4194304 7823515 140733227232768 140734655356488 6883856 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31376/statm: 2139 1448 354 887 0 1249 0

[startup+0.071356 s]
/proc/loadavg: 2.22 2.10 2.03 3/177 31376
/proc/meminfo: memFree=27967672/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=13396 CPUtime=0.06 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 2698 0 0 0 6 0 0 0 20 0 1 0 336929915 13717504 2650 33554432000 4194304 7823515 140733227232768 140734655356488 6957168 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31376/statm: 3349 2650 354 887 0 2459 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13396

[startup+0.100174 s]
/proc/loadavg: 2.22 2.10 2.03 3/177 31376
/proc/meminfo: memFree=27967672/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=14112 CPUtime=0.09 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 2879 0 0 0 9 0 0 0 20 0 1 0 336929915 14450688 2831 33554432000 4194304 7823515 140733227232768 140734655356488 6957168 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31376/statm: 3528 2831 354 887 0 2638 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14112

[startup+0.300155 s]
/proc/loadavg: 2.22 2.10 2.03 3/177 31376
/proc/meminfo: memFree=27967672/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=67568 CPUtime=0.29 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 15918 0 0 0 26 3 0 0 20 0 1 0 336929915 69189632 15516 33554432000 4194304 7823515 140733227232768 140734655356488 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31376/statm: 16892 15516 443 887 0 16002 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 67568

[startup+0.700152 s]
/proc/loadavg: 2.22 2.10 2.03 3/177 31376
/proc/meminfo: memFree=27967672/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=67568 CPUtime=0.69 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 15948 0 0 0 66 3 0 0 20 0 1 0 336929915 69189632 15546 33554432000 4194304 7823515 140733227232768 140733227229448 5066031 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31376/statm: 16892 15546 453 887 0 16002 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67568

[startup+1.5001 s]
/proc/loadavg: 2.22 2.10 2.03 3/178 31377
/proc/meminfo: memFree=27907416/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=81936 CPUtime=1.49 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 19393 0 0 0 145 4 0 0 20 0 1 0 336929915 83902464 18986 33554432000 4194304 7823515 140733227232768 140733227229448 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31376/statm: 20484 18986 535 887 0 19594 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81936

[startup+3.10011 s]
/proc/loadavg: 2.22 2.10 2.03 3/178 31377
/proc/meminfo: memFree=27892160/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=98556 CPUtime=3.09 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 22834 0 0 0 304 5 0 0 20 0 1 0 336929915 100921344 22729 33554432000 4194304 7823515 140733227232768 140733227228520 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31376/statm: 24639 22729 568 887 0 23749 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 98556

[startup+6.30015 s]
/proc/loadavg: 2.21 2.10 2.03 3/178 31377
/proc/meminfo: memFree=27871140/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=108760 CPUtime=6.29 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 25804 0 0 0 622 7 0 0 20 0 1 0 336929915 111370240 25248 33554432000 4194304 7823515 140733227232768 140733227228568 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31376/statm: 27190 25248 568 887 0 26300 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 108760

[startup+12.7002 s]
/proc/loadavg: 2.27 2.11 2.03 3/178 31377
/proc/meminfo: memFree=27858724/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=115728 CPUtime=12.69 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 28296 0 0 0 1259 10 0 0 20 0 1 0 336929915 118505472 26811 33554432000 4194304 7823515 140733227232768 140733227227432 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31376/statm: 28932 26811 568 887 0 28042 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 115728

[startup+25.5002 s]
/proc/loadavg: 2.21 2.11 2.03 3/177 31377
/proc/meminfo: memFree=27866984/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=112696 CPUtime=25.48 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 53327 0 0 0 2529 19 0 0 20 0 1 0 336929915 115400704 25854 33554432000 4194304 7823515 140733227232768 140733227227464 6234848 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31376/statm: 28174 25854 572 887 0 27284 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 112696

[startup+51.1002 s]
/proc/loadavg: 2.20 2.11 2.03 3/177 31377
/proc/meminfo: memFree=27858932/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=111096 CPUtime=51.08 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 76702 0 0 0 5076 32 0 0 20 0 1 0 336929915 113762304 25933 33554432000 4194304 7823515 140733227232768 140733227227464 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31376/statm: 27774 25933 572 887 0 26884 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 111096

[startup+102.306 s]
/proc/loadavg: 2.16 2.11 2.04 3/177 31377
/proc/meminfo: memFree=27854616/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=112188 CPUtime=102.28 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 95543 0 0 0 10173 55 0 0 20 0 1 0 336929915 114880512 26017 33554432000 4194304 7823515 140733227232768 140733227227096 6234848 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31376/statm: 28047 26017 579 887 0 27157 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 112188

[startup+162.3 s]
/proc/loadavg: 2.11 2.10 2.03 3/177 31378
/proc/meminfo: memFree=27850428/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=112736 CPUtime=162.26 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 110975 0 0 0 16145 81 0 0 20 0 1 0 336929915 115441664 27000 33554432000 4194304 7823515 140733227232768 140733227227560 6252296 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31376/statm: 28184 27000 579 887 0 27294 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 112736

[startup+222.3 s]
/proc/loadavg: 2.10 2.10 2.03 3/177 31378
/proc/meminfo: memFree=27846032/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=110200 CPUtime=222.25 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 154419 0 0 0 22112 113 0 0 20 0 1 0 336929915 112844800 26247 33554432000 4194304 7823515 140733227232768 140733227227432 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31376/statm: 27550 26247 579 887 0 26660 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 110200

[startup+282.3 s]
/proc/loadavg: 2.07 2.09 2.03 3/177 31378
/proc/meminfo: memFree=27835376/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=111572 CPUtime=282.24 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 175739 0 0 0 28085 139 0 0 20 0 1 0 336929915 114249728 26544 33554432000 4194304 7823515 140733227232768 140733227227432 6212430 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31376/statm: 27893 26544 579 887 0 27003 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 111572

[startup+342.3 s]
/proc/loadavg: 2.09 2.09 2.03 3/177 31378
/proc/meminfo: memFree=27828872/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=114776 CPUtime=342.23 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 184356 0 0 0 34058 165 0 0 20 0 1 0 336929915 117530624 27858 33554432000 4194304 7823515 140733227232768 140733227228232 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31376/statm: 28694 27858 579 887 0 27804 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 114776

[startup+402.3 s]
/proc/loadavg: 2.07 2.08 2.03 3/178 31418
/proc/meminfo: memFree=27802192/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=116932 CPUtime=402.22 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 193688 0 0 0 40029 193 0 0 20 0 1 0 336929915 119738368 28404 33554432000 4194304 7823515 140733227232768 140733227228232 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31376/statm: 29233 28404 579 887 0 28343 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 116932

[startup+462.3 s]
/proc/loadavg: 2.15 2.10 2.04 3/177 31419
/proc/meminfo: memFree=27775396/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=117700 CPUtime=462.21 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 206946 0 0 0 46000 221 0 0 20 0 1 0 336929915 120524800 28580 33554432000 4194304 7823515 140733227232768 140733227226792 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31376/statm: 29425 28580 579 887 0 28535 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 117700

[startup+522.3 s]
/proc/loadavg: 2.05 2.08 2.03 3/177 31419
/proc/meminfo: memFree=27742892/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=121444 CPUtime=522.2 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 233243 0 0 0 51972 248 0 0 20 0 1 0 336929915 124358656 29523 33554432000 4194304 7823515 140733227232768 140733227226792 6237364 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31376/statm: 30361 29523 579 887 0 29471 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 121444

[startup+582.3 s]
/proc/loadavg: 2.02 2.06 2.03 3/178 31422
/proc/meminfo: memFree=27780180/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=117768 CPUtime=582.19 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 271221 0 0 0 57936 283 0 0 20 0 1 0 336929915 120594432 27949 33554432000 4194304 7823515 140733227232768 140733227227464 6234848 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31376/statm: 29442 27949 579 887 0 28552 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 117768

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.03 2.05 2.02 3/177 31423
/proc/meminfo: memFree=27751808/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=142044 CPUtime=822.15 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 336385 0 0 0 81795 420 0 0 20 0 1 0 336929915 145453056 34666 33554432000 4194304 7823515 140733227232768 140733227228104 6234848 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31376/statm: 35511 34666 579 887 0 34621 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 142044

[startup+882.3 s]
/proc/loadavg: 2.08 2.06 2.02 3/177 31423
/proc/meminfo: memFree=27750996/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=145096 CPUtime=882.14 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 357091 0 0 0 87763 451 0 0 20 0 1 0 336929915 148578304 35207 33554432000 4194304 7823515 140733227232768 140733227227432 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31376/statm: 36274 35207 579 887 0 35384 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 145096

[startup+942.3 s]
/proc/loadavg: 2.10 2.06 2.02 3/177 31423
/proc/meminfo: memFree=27748812/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=153180 CPUtime=942.13 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 386283 0 0 0 93727 486 0 0 20 0 1 0 336929915 156856320 37450 33554432000 4194304 7823515 140733227232768 140733227228104 6236694 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31376/statm: 38295 37450 579 887 0 37405 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 153180

[startup+1002.3 s]
/proc/loadavg: 2.11 2.06 2.02 3/177 31423
/proc/meminfo: memFree=27719004/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=156296 CPUtime=1002.12 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 405607 0 0 0 99691 521 0 0 20 0 1 0 336929915 160047104 38060 33554432000 4194304 7823515 140733227232768 140733227227816 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31376/statm: 39074 38060 579 887 0 38184 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 156296

[startup+1062.3 s]
/proc/loadavg: 2.11 2.07 2.02 3/176 31423
/proc/meminfo: memFree=27726192/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=162576 CPUtime=1062.11 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 431541 0 0 0 105653 558 0 0 20 0 1 0 336929915 166477824 39252 33554432000 4194304 7823515 140733227232768 140733227227464 6234850 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31376/statm: 40644 39252 579 887 0 39754 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 162576

[startup+1122.3 s]
/proc/loadavg: 2.11 2.07 2.02 3/177 31424
/proc/meminfo: memFree=27716640/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=169376 CPUtime=1122.1 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 442059 0 0 0 111620 590 0 0 20 0 1 0 336929915 173441024 41515 33554432000 4194304 7823515 140733227232768 140733227228104 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31376/statm: 42344 41515 579 887 0 41454 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 169376

[startup+1182.3 s]
/proc/loadavg: 2.11 2.07 2.02 3/178 31427
/proc/meminfo: memFree=27711948/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=173708 CPUtime=1182.09 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 445150 0 0 0 117586 623 0 0 20 0 1 0 336929915 177876992 42588 33554432000 4194304 7823515 140733227232768 140733227227144 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31376/statm: 43427 42588 579 887 0 42537 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 173708

[startup+1242.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/177 31427
/proc/meminfo: memFree=27690928/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=184088 CPUtime=1242.08 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 460028 0 0 0 123550 658 0 0 20 0 1 0 336929915 188506112 45186 33554432000 4194304 7823515 140733227232768 140733227227464 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31376/statm: 46022 45186 579 887 0 45132 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 184088

[startup+1302.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/177 31427
/proc/meminfo: memFree=27691676/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=187012 CPUtime=1302.07 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 464860 0 0 0 129514 693 0 0 20 0 1 0 336929915 191500288 45887 33554432000 4194304 7823515 140733227232768 140733227227432 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31376/statm: 46753 45887 579 887 0 45863 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 187012

[startup+1362.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 31427
/proc/meminfo: memFree=27676848/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=191360 CPUtime=1362.05 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 465972 0 0 0 135478 727 0 0 20 0 1 0 336929915 195952640 46999 33554432000 4194304 7823515 140733227232768 140733227228104 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31376/statm: 47840 46999 579 887 0 46950 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 191360

[startup+1422.31 s]
/proc/loadavg: 2.11 2.07 2.01 3/177 31428
/proc/meminfo: memFree=27692108/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=195672 CPUtime=1422.05 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 474795 0 0 0 141444 761 0 0 20 0 1 0 336929915 200368128 48047 33554432000 4194304 7823515 140733227232768 140733227228104 6252049 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31376/statm: 48918 48047 579 887 0 48028 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 195672

[startup+1482.3 s]
/proc/loadavg: 2.15 2.08 2.01 3/177 31428
/proc/meminfo: memFree=27678680/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=202584 CPUtime=1482.03 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 502481 0 0 0 147406 797 0 0 20 0 1 0 336929915 207446016 49781 33554432000 4194304 7823515 140733227232768 140733227228232 6234848 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31376/statm: 50646 49781 579 887 0 49756 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 202584

[startup+1542.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/177 31428
/proc/meminfo: memFree=27666452/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=205212 CPUtime=1542.02 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 507921 0 0 0 153375 827 0 0 20 0 1 0 336929915 210137088 50471 33554432000 4194304 7823515 140733227232768 140733227228456 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31376/statm: 51303 50471 579 887 0 50413 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 205212

[startup+1602.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/177 31428
/proc/meminfo: memFree=27677612/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=203348 CPUtime=1602.02 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 531612 0 0 0 159339 863 0 0 20 0 1 0 336929915 208228352 49758 33554432000 4194304 7823515 140733227232768 140733227228232 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31376/statm: 50837 49758 579 887 0 49947 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 203348

[startup+1662.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 31428
/proc/meminfo: memFree=27676392/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=208612 CPUtime=1662.01 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 600414 0 0 0 165298 903 0 0 20 0 1 0 336929915 213618688 51313 33554432000 4194304 7823515 140733227232768 140733227229800 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31376/statm: 52153 51313 579 887 0 51263 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 208612

[startup+1722.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/177 31429
/proc/meminfo: memFree=27669960/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=211120 CPUtime=1722 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 638462 0 0 0 171262 938 0 0 20 0 1 0 336929915 216186880 51868 33554432000 4194304 7823515 140733227232768 140733227228104 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31376/statm: 52780 51868 579 887 0 51890 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 211120

[startup+1782.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/178 31432
/proc/meminfo: memFree=27663164/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=215740 CPUtime=1781.99 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 646337 0 0 0 177228 971 0 0 20 0 1 0 336929915 220917760 53103 33554432000 4194304 7823515 140733227232768 140733227227432 6234848 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31376/statm: 53935 53103 579 887 0 53045 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 215740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.08 2.06 2.00 3/178 31432
/proc/meminfo: memFree=27680528/32873648 swapFree=6864/6864
[pid=31376] ppid=31374 vsize=217704 CPUtime=1800.09 cores=0,2,4,6
/proc/31376/stat : 31376 (pbscip.linux.x8) R 31374 31376 19043 0 -1 4202496 648340 0 0 0 179029 980 0 0 20 0 1 0 336929915 222928896 53239 33554432000 4194304 7823515 140733227232768 140733227230600 6234850 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/31376/statm: 54426 53239 579 887 0 53536 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 217704

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

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

Child status: 0
Real time (s): 1800.48
CPU time (s): 1800.18
CPU user time (s): 1790.36
CPU system time (s): 9.81351
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 219780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.36
system time used= 9.81351
maximum resident set size= 215936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 648346
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= 33
involuntary context switches= 2183

runsolver used 3.50947 second user time and 8.71467 second system time

The end

Launcher Data 

Begin job on node120 at 2012-06-03 09:20:39
IDJOB=3735115
IDBENCH=2942
IDSOLVER=2321
FILE ID=node120/3735115-1338708039
RUNJOBID= node120-1338679216-27543
PBS_JOBID= 14636693
Free space on /tmp= 70764 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/bounded_golomb_rulers/normalized-bogr_14.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-3735115-1338708039/watcher-3735115-1338708039 -o /tmp/evaluation-result-3735115-1338708039/solver-3735115-1338708039 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3735115-1338708039.opb

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

MD5SUM BENCH= 840eda79f99ca12a0c705eefe22c37b7
RANDOM SEED=315444524

node120.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.456
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.91
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.456
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.456
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.92
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.456
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.88
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.456
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.456
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.83
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.456
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.456
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27968316 kB
Buffers:          563440 kB
Cached:          3118552 kB
SwapCached:         1580 kB
Active:          1994488 kB
Inactive:        1980088 kB
Active(anon):     284696 kB
Inactive(anon):     9224 kB
Active(file):    1709792 kB
Inactive(file):  1970864 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67103516 kB
Dirty:             11076 kB
Writeback:             0 kB
AnonPages:        297192 kB
Mapped:            13012 kB
Shmem:                32 kB
Slab:             794464 kB
SReclaimable:     238524 kB
SUnreclaim:       555940 kB
KernelStack:        1480 kB
PageTables:         4576 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     408552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    243712 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70748 MiB
End job on node120 at 2012-06-03 09:50:42