Trace number 2663740

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
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1800.88 1801.67

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_3.opb
MD5SUM0f5da0a781de7969842ad5c8dd7a6f1b
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark40
Best CPU time to get the best result obtained on this benchmark1800.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 35
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint26
Maximum length of a constraint50
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15722
Sum of products size (including duplicates)31444
Number of different products15722
Sum of products size31444

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2663740-1276652368.opb>
0.09/0.14	c original problem has 16222 variables (16222 bin, 0 int, 0 impl, 0 cont) and 16222 constraints
0.09/0.14	c problem read
0.09/0.14	c presolving settings loaded
0.09/0.14	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.29/0.34	c presolving:
1.39/1.44	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 1062646 impls, 0 clqs
2.39/2.45	c    (2.1s) probing: 101/16222 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.39/2.45	c    (2.1s) probing aborted: 100/100 successive totally useless probings
2.39/2.45	c presolving (2 rounds):
2.39/2.45	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.39/2.45	c  1062646 implications, 0 cliques
2.39/2.45	c presolved problem has 16222 variables (16222 bin, 0 int, 0 impl, 0 cont) and 16222 constraints
2.39/2.45	c   15722 constraints of type <and>
2.39/2.45	c     500 constraints of type <logicor>
2.39/2.45	c transformed objective value is always integral (scale: 1)
2.39/2.45	c Presolving Time: 1.99
2.39/2.45	c - non default parameters ----------------------------------------------------------------------
2.39/2.45	c # SCIP version 1.2.1.2
2.39/2.45	c 
2.39/2.45	c # frequency for displaying node information lines
2.39/2.45	c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.45	c display/freq = 10000
2.39/2.45	c 
2.39/2.45	c # maximal time in seconds to run
2.39/2.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.45	c limits/time = 1799.87
2.39/2.45	c 
2.39/2.45	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.45	c limits/memory = 1620
2.39/2.45	c 
2.39/2.45	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.39/2.45	c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.45	c lp/solvefreq = -1
2.39/2.45	c 
2.39/2.45	c # should presolving try to simplify inequalities
2.39/2.45	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.45	c constraints/linear/simplifyinequalities = TRUE
2.39/2.45	c 
2.39/2.45	c # should presolving try to simplify knapsacks
2.39/2.45	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.45	c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.45	c 
2.39/2.45	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
2.39/2.45	c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.45	c heuristics/undercover/freq = 0
2.39/2.45	c 
2.39/2.45	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.39/2.45	c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.45	c separating/rapidlearning/freq = 0
2.39/2.45	c 
2.39/2.45	c -----------------------------------------------------------------------------------------------
2.39/2.45	c start solving
2.39/2.47	c 
2.49/2.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.49/2.52	c   2.1s|     1 |     2 |     0 |     - |  66M|   0 |   - |  16k|  16k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
149.94/150.06	c   149s| 10000 |  9997 |     0 |   0.0 |  93M| 449 |   - |  16k|  16k|   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
275.91/276.02	c   275s| 20000 | 19997 |     0 |   0.0 | 116M| 452 |   - |  16k|  16k|   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
391.06/391.23	c   390s| 30000 | 29997 |     0 |   0.0 | 137M| 452 |   - |  16k|  16k|   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
491.93/492.12	c   490s| 40000 | 39997 |     0 |   0.0 | 158M| 452 |   - |  16k|  16k|   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
577.22/577.46	c   575s| 50000 | 49997 |     0 |   0.0 | 179M| 452 |   - |  16k|  16k|   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
653.29/653.50	c   651s| 60000 | 59997 |     0 |   0.0 | 202M| 452 |   - |  16k|  16k|   0 |   0 |   0 |   2 |   0 | 0.000000e+00 |      --      |    Inf 
781.35/781.68	c   778s| 70000 | 69997 |     0 |   0.0 | 224M| 452 |   - |  16k|  16k|   0 |   0 |   0 |   2 |   0 | 1.000000e+00 |      --      |    Inf 
926.10/926.42	c   923s| 80000 | 79997 |     0 |   0.0 | 246M| 452 |   - |  16k|  16k|   0 |   0 |   0 |   2 |   0 | 1.000000e+00 |      --      |    Inf 
1071.06/1071.49	c  1067s| 90000 | 89997 |     0 |   0.0 | 269M| 452 |   - |  16k|  16k|   0 |   0 |   0 |   2 |   0 | 1.000000e+00 |      --      |    Inf 
1214.82/1215.27	c  1211s|100000 | 99997 |     0 |   0.0 | 292M| 452 |   - |  16k|  16k|   0 |   0 |   0 |   2 |   0 | 1.000000e+00 |      --      |    Inf 
1356.65/1357.37	c  1352s|110000 |109997 |     0 |   0.0 | 315M| 452 |   - |  16k|  16k|   0 |   0 |   0 |   2 |   0 | 1.000000e+00 |      --      |    Inf 
1493.60/1494.38	c  1489s|120000 |119997 |     0 |   0.0 | 337M| 452 |   - |  16k|  16k|   0 |   0 |   0 |   2 |   0 | 1.000000e+00 |      --      |    Inf 
1629.15/1629.90	c  1624s|130000 |129997 |     0 |   0.0 | 360M| 452 |   - |  16k|  16k|   0 |   0 |   0 |   2 |   0 | 1.000000e+00 |      --      |    Inf 
1766.11/1766.96	c  1760s|140000 |139997 |     0 |   0.0 | 383M| 452 |   - |  16k|  16k|   0 |   0 |   0 |   2 |   0 | 1.000000e+00 |      --      |    Inf 
1800.02/1800.80	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.81	c 
1800.02/1800.81	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.81	c Solving Time (sec) : 1793.99
1800.02/1800.81	c Solving Nodes      : 142401
1800.02/1800.81	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.02/1800.81	c Dual Bound         : +1.00000000000000e+00
1800.02/1800.81	c Gap                : infinite
1800.02/1800.81	s UNKNOWN
1800.02/1800.81	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.81	c Solving Time       :    1793.99
1800.02/1800.81	c Original Problem   :
1800.02/1800.81	c   Problem name     : HOME/instance-2663740-1276652368.opb
1800.02/1800.81	c   Variables        : 16222 (16222 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.81	c   Constraints      : 16222 initial, 16222 maximal
1800.02/1800.81	c Presolved Problem  :
1800.02/1800.81	c   Problem name     : t_HOME/instance-2663740-1276652368.opb
1800.02/1800.81	c   Variables        : 16222 (16222 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.81	c   Constraints      : 16222 initial, 16224 maximal
1800.02/1800.81	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.81	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.81	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.81	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.81	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.81	c   implics          :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.81	c   probing          :       0.70          0          0          0          0          0          0          0          0
1800.02/1800.81	c   and              :       1.13          0          0          0          0          0          0          0          0
1800.02/1800.81	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.81	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.81	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.81	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.02/1800.81	c   and              :      15722          0     409891          0     142399          2    4834683          0          0          0
1800.02/1800.81	c   logicor          :        500+         0      52358          0     142399          0       3714          0          0          0
1800.02/1800.81	c   countsols        :          0          0          0          0     142399          0          0          0          0          0
1800.02/1800.81	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.81	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.81	c   and              :     545.00       0.00     464.68       0.00      80.32
1800.02/1800.81	c   logicor          :     244.21       0.00       0.47       0.00     243.74
1800.02/1800.81	c   countsols        :       0.07       0.00       0.00       0.00       0.07
1800.02/1800.81	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.81	c   vbounds          :       0.30          2          0          0
1800.02/1800.81	c   rootredcost      :       0.32          0          0          0
1800.02/1800.81	c   pseudoobj        :      28.92     409691          0          0
1800.02/1800.81	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.81	c   propagation      :       0.00          2          2          2        5.5          0        0.0          -
1800.02/1800.81	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.81	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.81	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.81	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.02/1800.81	c   applied globally :          -          -          -          2        5.5          -          -          -
1800.02/1800.81	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.02/1800.81	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.81	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.02/1800.81	c   redcost          :       0.00          0          0          0          0          0
1800.02/1800.81	c   impliedbounds    :       0.00          0          0          0          0          0
1800.02/1800.81	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.81	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.81	c   gomory           :       0.00          0          0          0          0          0
1800.02/1800.81	c   strongcg         :       0.00          0          0          0          0          0
1800.02/1800.81	c   cmir             :       0.00          0          0          0          0          0
1800.02/1800.81	c   flowcover        :       0.00          0          0          0          0          0
1800.02/1800.81	c   clique           :       0.00          0          0          0          0          0
1800.02/1800.81	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.81	c   mcf              :       0.00          0          0          0          0          0
1800.02/1800.81	c   rapidlearning    :       0.00          0          0          0          0          0
1800.02/1800.81	c Pricers            :       Time      Calls       Vars
1800.02/1800.81	c   problem variables:       0.00          0          0
1800.02/1800.81	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.81	c   relpscost        :       0.00          0          0          0          0          0          0
1800.02/1800.81	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.81	c   inference        :     943.23     142399          0          0          0          0     284798
1800.02/1800.81	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.81	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.81	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.81	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.81	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.81	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.81	c   LP solutions     :       0.00          -          0
1800.02/1800.81	c   pseudo solutions :       0.00          -          0
1800.02/1800.81	c   oneopt           :       0.18          0          0
1800.02/1800.81	c   trivial          :       0.06          2          0
1800.02/1800.81	c   simplerounding   :       0.00          0          0
1800.02/1800.81	c   zirounding       :       0.00          0          0
1800.02/1800.81	c   rounding         :       0.00          0          0
1800.02/1800.81	c   shifting         :       0.00          0          0
1800.02/1800.81	c   intshifting      :       0.00          0          0
1800.02/1800.81	c   twoopt           :       0.00          0          0
1800.02/1800.81	c   fixandinfer      :       0.00          0          0
1800.02/1800.81	c   feaspump         :       0.00          0          0
1800.02/1800.81	c   coefdiving       :       0.00          0          0
1800.02/1800.81	c   pscostdiving     :       0.00          0          0
1800.02/1800.81	c   fracdiving       :       0.00          0          0
1800.02/1800.81	c   veclendiving     :       0.00          0          0
1800.02/1800.81	c   intdiving        :       0.00          0          0
1800.02/1800.81	c   actconsdiving    :       0.00          0          0
1800.02/1800.81	c   objpscostdiving  :       0.00          0          0
1800.02/1800.81	c   rootsoldiving    :       0.00          0          0
1800.02/1800.81	c   linesearchdiving :       0.00          0          0
1800.02/1800.81	c   guideddiving     :       0.00          0          0
1800.02/1800.81	c   octane           :       0.00          0          0
1800.02/1800.81	c   rens             :       0.00          0          0
1800.02/1800.81	c   rins             :       0.00          0          0
1800.02/1800.81	c   localbranching   :       0.00          0          0
1800.02/1800.81	c   mutation         :       0.00          0          0
1800.02/1800.81	c   crossover        :       0.00          0          0
1800.02/1800.81	c   dins             :       0.00          0          0
1800.02/1800.81	c   undercover       :       0.00          0          0
1800.02/1800.81	c   nlp              :       0.14          0          0
1800.02/1800.81	c   trysol           :       0.11          0          0
1800.02/1800.81	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.81	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.81	c   dual LP          :       0.00          0          0       0.00          -
1800.02/1800.81	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.81	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.81	c   diving/probing LP:       0.00          0          0       0.00          -
1800.02/1800.81	c   strong branching :       0.00          0          0       0.00          -
1800.02/1800.81	c     (at root node) :          -          0          0       0.00          -
1800.02/1800.81	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.81	c B&B Tree           :
1800.02/1800.81	c   number of runs   :          1
1800.02/1800.81	c   nodes            :     142401
1800.02/1800.81	c   nodes (total)    :     142401
1800.02/1800.81	c   nodes left       :     142398
1800.02/1800.81	c   max depth        :        452
1800.02/1800.81	c   max depth (total):        452
1800.02/1800.81	c   backtracks       :        761 (0.5%)
1800.02/1800.81	c   delayed cutoffs  :          0
1800.02/1800.81	c   repropagations   :       2706 (2 domain reductions, 0 cutoffs)
1800.02/1800.81	c   avg switch length:       2.23
1800.02/1800.81	c   switching time   :      16.05
1800.02/1800.81	c Solution           :
1800.02/1800.81	c   Solutions found  :          0 (0 improvements)
1800.02/1800.81	c   Primal Bound     :          -
1800.02/1800.81	c   Dual Bound       : +1.00000000000000e+00
1800.02/1800.81	c   Gap              :   infinite
1800.02/1800.81	c   Root Dual Bound  : +0.00000000000000e+00
1800.02/1800.81	c   Root Iterations  :          0
1800.80/1801.67	c Time complete: 1800.87.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663740-1276652368/watcher-2663740-1276652368 -o /tmp/evaluation-result-2663740-1276652368/solver-2663740-1276652368 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663740-1276652368.opb -t 1800 -m 1800 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 14859
/proc/meminfo: memFree=1572608/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=6732 CPUtime=0
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 980 0 0 0 0 0 0 0 20 0 1 0 6527521 6893568 902 1992294400 4194304 7136930 140737111449552 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14859/statm: 1683 912 254 719 0 962 0

[startup+0.0959859 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 14859
/proc/meminfo: memFree=1572608/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=21596 CPUtime=0.09
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 4862 0 0 0 7 2 0 0 20 0 1 0 6527521 22114304 4784 1992294400 4194304 7136930 140737111449552 18446744073709551615 4213868 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14859/statm: 5399 4784 272 719 0 4678 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21596

[startup+0.100985 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 14859
/proc/meminfo: memFree=1572608/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=21596 CPUtime=0.09
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 4886 0 0 0 7 2 0 0 20 0 1 0 6527521 22114304 4808 1992294400 4194304 7136930 140737111449552 18446744073709551615 6341083 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14859/statm: 5399 4808 272 719 0 4678 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21596

[startup+0.301008 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 14859
/proc/meminfo: memFree=1572608/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=48620 CPUtime=0.29
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 12018 0 0 0 25 4 0 0 20 0 1 0 6527521 49786880 11586 1992294400 4194304 7136930 140737111449552 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 12155 11586 304 719 0 11434 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48620

[startup+0.701053 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 14859
/proc/meminfo: memFree=1572608/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=71612 CPUtime=0.69
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 17242 0 0 0 62 7 0 0 21 0 1 0 6527521 73330688 16810 1992294400 4194304 7136930 140737111449552 18446744073709551615 5955508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 17903 16810 328 719 0 17182 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 71612

[startup+1.50114 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 14860
/proc/meminfo: memFree=1490512/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=96084 CPUtime=1.49
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 24252 0 0 0 130 19 0 0 23 0 1 0 6527521 98390016 22953 1992294400 4194304 7136930 140737111449552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 24021 22953 348 719 0 23300 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96084

[startup+3.10132 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 14860
/proc/meminfo: memFree=1478732/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=99808 CPUtime=3.09
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 25766 0 0 0 281 28 0 0 25 0 1 0 6527521 102203392 24020 1992294400 4194304 7136930 140737111449552 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 24952 24020 393 719 0 24231 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 99808

[startup+6.30167 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 14860
/proc/meminfo: memFree=1476004/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=101420 CPUtime=6.29
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 26157 0 0 0 600 29 0 0 25 0 1 0 6527521 103854080 24400 1992294400 4194304 7136930 140737111449552 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 25355 24400 382 719 0 24634 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 101420

[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 14860
/proc/meminfo: memFree=1473896/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=103440 CPUtime=12.68
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 26662 0 0 0 1238 30 0 0 25 0 1 0 6527521 105922560 24905 1992294400 4194304 7136930 140737111449552 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 25860 24905 382 719 0 25139 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 103440

[startup+25.5008 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 14860
/proc/meminfo: memFree=1472284/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=106044 CPUtime=25.49
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 27326 0 0 0 2515 34 0 0 25 0 1 0 6527521 108589056 25569 1992294400 4194304 7136930 140737111449552 18446744073709551615 4227212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 26511 25569 382 719 0 25790 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 106044

[startup+51.1006 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 14862
/proc/meminfo: memFree=1467324/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=110064 CPUtime=51.07
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 28294 0 0 0 5066 41 0 0 25 0 1 0 6527521 112705536 26537 1992294400 4194304 7136930 140737111449552 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 27516 26537 382 719 0 26795 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 110064

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 14862
/proc/meminfo: memFree=1455544/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=121768 CPUtime=102.27
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 31185 0 0 0 10172 55 0 0 25 0 1 0 6527521 124690432 29428 1992294400 4194304 7136930 140737111449552 18446744073709551615 6000471 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 30442 29428 382 719 0 29721 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 121768

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14864
/proc/meminfo: memFree=1443764/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=133468 CPUtime=162.24
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 34124 0 0 0 16153 71 0 0 25 0 1 0 6527521 136671232 32367 1992294400 4194304 7136930 140737111449552 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 33367 32367 387 719 0 32646 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 133468

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14866
/proc/meminfo: memFree=1433596/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=143504 CPUtime=222.22
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 36666 0 0 0 22134 88 0 0 25 0 1 0 6527521 146948096 34909 1992294400 4194304 7136930 140737111449552 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 35876 34909 387 719 0 35155 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 143504

[startup+282.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14868
/proc/meminfo: memFree=1418716/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=158252 CPUtime=282.2
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 40379 0 0 0 28112 108 0 0 25 0 1 0 6527521 162050048 38622 1992294400 4194304 7136930 140737111449552 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 39563 38622 387 719 0 38842 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 158252

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14868
/proc/meminfo: memFree=1406440/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=170300 CPUtime=342.18
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 43423 0 0 0 34090 128 0 0 25 0 1 0 6527521 174387200 41666 1992294400 4194304 7136930 140737111449552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 42575 41666 387 719 0 41854 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 170300

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14870
/proc/meminfo: memFree=1396272/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=180368 CPUtime=402.16
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 45932 0 0 0 40066 150 0 0 25 0 1 0 6527521 184696832 44175 1992294400 4194304 7136930 140737111449552 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 45092 44175 387 719 0 44371 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 180368

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14872
/proc/meminfo: memFree=1383128/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=193404 CPUtime=462.14
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 49216 0 0 0 46044 170 0 0 25 0 1 0 6527521 198045696 47459 1992294400 4194304 7136930 140737111449552 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 48351 47459 387 719 0 47630 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 193404

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14874
/proc/meminfo: memFree=1372836/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=203496 CPUtime=522.13
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 51791 0 0 0 52017 196 0 0 25 0 1 0 6527521 208379904 50034 1992294400 4194304 7136930 140737111449552 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 50874 50034 387 719 0 50153 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 203496

[startup+582.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14876
/proc/meminfo: memFree=1356468/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=220748 CPUtime=582.11
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 56100 0 0 0 57989 222 0 0 25 0 1 0 6527521 226045952 54343 1992294400 4194304 7136930 140737111449552 18446744073709551615 5892296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 55187 54343 387 719 0 54466 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 220748

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14876
/proc/meminfo: memFree=1337248/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=238608 CPUtime=642.09
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 60627 0 0 0 63957 252 0 0 25 0 1 0 6527521 244334592 58870 1992294400 4194304 7136930 140737111449552 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 59652 58870 387 719 0 58931 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 238608

[startup+702.301 s]

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

[startup+942.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 14884
/proc/meminfo: memFree=1282812/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=294744 CPUtime=941.99
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 74129 0 0 0 93857 342 0 0 25 0 1 0 6527521 301817856 72372 1992294400 4194304 7136930 140737111449552 18446744073709551615 4780847 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 73686 72372 387 719 0 72965 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 294744

[startup+1002.3 s]
/proc/loadavg: 1.05 1.00 1.00 2/107 14886
/proc/meminfo: memFree=1273760/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=303772 CPUtime=1001.98
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 76410 0 0 0 99841 357 0 0 25 0 1 0 6527521 311062528 74653 1992294400 4194304 7136930 140737111449552 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 75943 74653 387 719 0 75222 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 303772

[startup+1062.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 14888
/proc/meminfo: memFree=1265824/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=311808 CPUtime=1061.96
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 78388 0 0 0 105822 374 0 0 25 0 1 0 6527521 319291392 76631 1992294400 4194304 7136930 140737111449552 18446744073709551615 4740313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 77952 76631 387 719 0 77231 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 311808

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14890
/proc/meminfo: memFree=1253052/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=324460 CPUtime=1121.94
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 81521 0 0 0 111803 391 0 0 25 0 1 0 6527521 332247040 79764 1992294400 4194304 7136930 140737111449552 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 81115 79764 387 719 0 80394 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 324460

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14892
/proc/meminfo: memFree=1241272/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=336208 CPUtime=1181.93
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 84478 0 0 0 117784 409 0 0 25 0 1 0 6527521 344276992 82721 1992294400 4194304 7136930 140737111449552 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 84052 82721 387 719 0 83331 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 336208

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14892
/proc/meminfo: memFree=1232468/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=344748 CPUtime=1241.9
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 86620 0 0 0 123763 427 0 0 25 0 1 0 6527521 353021952 84863 1992294400 4194304 7136930 140737111449552 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 86187 84863 387 719 0 85466 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 344748

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14903
/proc/meminfo: memFree=1219448/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=357124 CPUtime=1301.87
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 89714 0 0 0 129742 445 0 0 25 0 1 0 6527521 365694976 87957 1992294400 4194304 7136930 140737111449552 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 89281 87957 387 719 0 88560 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 357124

[startup+1362.3 s]
/proc/loadavg: 1.22 1.05 1.02 2/107 15405
/proc/meminfo: memFree=1206040/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=365124 CPUtime=1361.63
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 91719 0 0 0 135699 464 0 0 25 0 1 0 6527521 373886976 89962 1992294400 4194304 7136930 140737111449552 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 91281 89962 387 719 0 90560 0
Current children cumulated CPU time (s) 1361.63
Current children cumulated vsize (KiB) 365124

[startup+1422.31 s]
/proc/loadavg: 1.08 1.04 1.01 2/107 15407
/proc/meminfo: memFree=1196640/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=375248 CPUtime=1421.63
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 94241 0 0 0 141682 481 0 0 25 0 1 0 6527521 384253952 92484 1992294400 4194304 7136930 140737111449552 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 93812 92484 387 719 0 93091 0
Current children cumulated CPU time (s) 1421.63
Current children cumulated vsize (KiB) 375248

[startup+1482.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 15409
/proc/meminfo: memFree=1183868/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=388048 CPUtime=1481.6
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 97428 0 0 0 147662 498 0 0 25 0 1 0 6527521 397361152 95671 1992294400 4194304 7136930 140737111449552 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 97012 95671 387 719 0 96291 0
Current children cumulated CPU time (s) 1481.6
Current children cumulated vsize (KiB) 388048

[startup+1542.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 15409
/proc/meminfo: memFree=1177296/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=394544 CPUtime=1541.59
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 99065 0 0 0 153643 516 0 0 25 0 1 0 6527521 404013056 97308 1992294400 4194304 7136930 140737111449552 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 98636 97308 387 719 0 97915 0
Current children cumulated CPU time (s) 1541.59
Current children cumulated vsize (KiB) 394544

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 15411
/proc/meminfo: memFree=1166508/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=405336 CPUtime=1601.57
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 101771 0 0 0 159622 535 0 0 25 0 1 0 6527521 415064064 100014 1992294400 4194304 7136930 140737111449552 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 101334 100014 387 719 0 100613 0
Current children cumulated CPU time (s) 1601.57
Current children cumulated vsize (KiB) 405336

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 15413
/proc/meminfo: memFree=1159564/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=412260 CPUtime=1661.55
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 103498 0 0 0 165603 552 0 0 25 0 1 0 6527521 422154240 101741 1992294400 4194304 7136930 140737111449552 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 103065 101741 387 719 0 102344 0
Current children cumulated CPU time (s) 1661.55
Current children cumulated vsize (KiB) 412260

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15415
/proc/meminfo: memFree=1149528/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=423136 CPUtime=1721.53
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 106253 0 0 0 171585 568 0 0 25 0 1 0 6527521 433291264 104496 1992294400 4194304 7136930 140737111449552 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 105784 104496 387 719 0 105063 0
Current children cumulated CPU time (s) 1721.53
Current children cumulated vsize (KiB) 423136

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15417
/proc/meminfo: memFree=1136508/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=435040 CPUtime=1781.51
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 109241 0 0 0 177566 585 0 0 25 0 1 0 6527521 445480960 107484 1992294400 4194304 7136930 140737111449552 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 108760 107484 387 719 0 108039 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (KiB) 435040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15417
/proc/meminfo: memFree=1132664/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=438976 CPUtime=1800.02
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 110178 0 0 0 179410 592 0 0 25 0 1 0 6527521 449511424 108421 1992294400 4194304 7136930 140737111449552 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14859/statm: 109744 108421 387 719 0 109023 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 438976

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

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15417
/proc/meminfo: memFree=1132664/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=432060 CPUtime=1800.61
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 110184 0 0 0 179469 592 0 0 25 0 1 0 6527521 442429440 106698 1992294400 4194304 7136930 140737111449552 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14859/statm: 108015 106698 393 719 0 107294 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (KiB) 432060

[startup+1801.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15417
/proc/meminfo: memFree=1132664/2059040 swapFree=4192956/4192956
[pid=14859] ppid=14857 vsize=252048 CPUtime=1800.8
/proc/14859/stat : 14859 (pbscip.linux.x8) R 14857 14859 13420 0 -1 4202496 110185 0 0 0 179487 593 0 0 25 0 1 0 6527521 258097152 61700 1992294400 4194304 7136930 140737111449552 18446744073709551615 6166352 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14859/statm: 63012 61700 394 719 0 62291 0
Current children cumulated CPU time (s) 1800.8
Current children cumulated vsize (KiB) 252048

Child status: 0
Real time (s): 1801.67
CPU time (s): 1800.88
CPU user time (s): 1794.92
CPU system time (s): 5.96709
CPU usage (%): 99.9563
Max. virtual memory (cumulated for all children) (KiB): 438976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.92
system time used= 5.96709
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110191
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= 3
involuntary context switches= 5464

runsolver used 3.11852 second user time and 8.38072 second system time

The end

Launcher Data 

Begin job on node059 at 2010-06-16 03:39:28
IDJOB=2663740
IDBENCH=48113
IDSOLVER=1167
FILE ID=node059/2663740-1276652368
PBS_JOBID= 11172428
Free space on /tmp= 62556 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_3.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663740-1276652368/watcher-2663740-1276652368 -o /tmp/evaluation-result-2663740-1276652368/solver-2663740-1276652368 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663740-1276652368.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 0f5da0a781de7969842ad5c8dd7a6f1b
RANDOM SEED=658849720

node059.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1573136 kB
Buffers:         90928 kB
Cached:         253416 kB
SwapCached:          0 kB
Active:         151412 kB
Inactive:       252600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1573136 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3372 kB
Writeback:           0 kB
AnonPages:       59596 kB
Mapped:          15468 kB
Slab:            60140 kB
PageTables:       3992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181100 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62552 MiB
End job on node059 at 2010-06-16 04:09:31