Trace number 2667069

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1800.18 1800.94

General information on the benchmark

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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2667069-1276588194.opb>
0.19/0.29	c original problem has 2470 variables (2470 bin, 0 int, 0 impl, 0 cont) and 4744 constraints
0.19/0.29	c problem read
0.19/0.29	c presolving settings loaded
0.29/0.38	c presolving:
0.39/0.49	c (round 1) 0 del vars, 2366 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 12 upgd conss, 0 impls, 0 clqs
1.59/1.65	c    (1.3s) probing: 113/2470 (4.6%) - 0 fixings, 0 aggregations, 745 implications, 0 bound changes
1.59/1.65	c    (1.3s) probing aborted: 100/100 successive totally useless probings
1.59/1.65	c presolving (2 rounds):
1.59/1.65	c  0 deleted vars, 2366 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.59/1.65	c  4888 implications, 0 cliques
1.59/1.65	c presolved problem has 2470 variables (2470 bin, 0 int, 0 impl, 0 cont) and 2378 constraints
1.59/1.65	c      12 constraints of type <knapsack>
1.59/1.65	c    2366 constraints of type <linear>
1.59/1.65	c transformed objective value is always integral (scale: 1)
1.59/1.65	c Presolving Time: 1.25
1.59/1.65	c - non default parameters ----------------------------------------------------------------------
1.59/1.65	c # SCIP version 1.2.1.2
1.59/1.65	c 
1.59/1.65	c # frequency for displaying node information lines
1.59/1.65	c # [type: int, range: [-1,2147483647], default: 100]
1.59/1.65	c display/freq = 10000
1.59/1.65	c 
1.59/1.65	c # maximal time in seconds to run
1.59/1.65	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.59/1.65	c limits/time = 1799.71
1.59/1.65	c 
1.59/1.65	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.59/1.65	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.59/1.65	c limits/memory = 1620
1.59/1.65	c 
1.59/1.65	c # should presolving try to simplify inequalities
1.59/1.65	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.59/1.65	c constraints/linear/simplifyinequalities = TRUE
1.59/1.65	c 
1.59/1.65	c # should presolving try to simplify knapsacks
1.59/1.65	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.59/1.65	c constraints/knapsack/simplifyinequalities = TRUE
1.59/1.65	c 
1.59/1.65	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.59/1.65	c # [type: int, range: [-1,2147483647], default: -1]
1.59/1.65	c separating/rapidlearning/freq = 0
1.59/1.65	c 
1.59/1.65	c -----------------------------------------------------------------------------------------------
1.59/1.65	c start solving
1.59/1.65	c 
1.99/2.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.99/2.09	c   1.7s|     1 |     0 |  2865 |     - |  19M|   0 |1443 |2470 |2378 |2470 |2378 |   0 |   0 |   0 | 1.200000e+01 |      --      |    Inf 
5.89/5.95	c   5.5s|     1 |     0 |  7151 |     - |  20M|   0 |1449 |2470 |2378 |2470 |2420 |  42 |   0 |   0 | 1.200000e+01 |      --      |    Inf 
6.29/6.39	c   6.0s|     1 |     0 |  7197 |     - |  21M|   0 |1454 |2470 |2378 |2470 |2456 |  78 |   0 |   0 | 1.200000e+01 |      --      |    Inf 
6.89/6.99	c   6.5s|     1 |     0 |  7454 |     - |  21M|   0 |1468 |2470 |2378 |2470 |2523 | 145 |   0 |   0 | 1.200198e+01 |      --      |    Inf 
7.79/7.85	c   7.4s|     1 |     0 |  7778 |     - |  22M|   0 |1469 |2470 |2378 |2470 |2579 | 201 |   0 |   0 | 1.216667e+01 |      --      |    Inf 
8.70/8.77	c   8.3s|     1 |     0 |  8037 |     - |  22M|   0 |1466 |2470 |2378 |2470 |2636 | 258 |   0 |   0 | 1.216667e+01 |      --      |    Inf 
9.69/9.79	c   9.3s|     1 |     0 |  8405 |     - |  23M|   0 |1471 |2470 |2378 |2470 |2690 | 312 |   0 |   0 | 1.216667e+01 |      --      |    Inf 
11.00/11.04	c  10.6s|     1 |     0 |  8926 |     - |  23M|   0 |1459 |2470 |2378 |2470 |2746 | 368 |   0 |   0 | 1.228571e+01 |      --      |    Inf 
12.19/12.29	c  11.8s|     1 |     0 |  9342 |     - |  24M|   0 |1470 |2470 |2378 |2470 |2799 | 421 |   0 |   0 | 1.228571e+01 |      --      |    Inf 
13.48/13.52	c  13.0s|     1 |     0 |  9783 |     - |  24M|   0 |1466 |2470 |2378 |2470 |2863 | 485 |   0 |   0 | 1.257143e+01 |      --      |    Inf 
14.99/15.08	c  14.6s|     1 |     0 | 10400 |     - |  25M|   0 |1463 |2470 |2378 |2470 |2916 | 538 |   0 |   0 | 1.266667e+01 |      --      |    Inf 
15.78/15.86	c  15.3s|     1 |     0 | 10965 |     - |  25M|   0 |1455 |2470 |2378 |2470 |2942 | 564 |   0 |   0 | 1.266667e+01 |      --      |    Inf 
16.79/16.87	c  16.3s|     1 |     0 | 11852 |     - |  25M|   0 |1449 |2470 |2378 |2470 |2959 | 581 |   0 |   0 | 1.266667e+01 |      --      |    Inf 
18.08/18.15	c  17.6s|     1 |     0 | 13091 |     - |  25M|   0 |1456 |2470 |2378 |2470 |2980 | 602 |   0 |   0 | 1.275000e+01 |      --      |    Inf 
19.08/19.12	c  18.5s|     1 |     0 | 13739 |     - |  25M|   0 |1442 |2470 |2378 |2470 |3004 | 626 |   0 |   0 | 1.275000e+01 |      --      |    Inf 
19.89/19.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
19.89/19.92	c  19.3s|     1 |     0 | 14241 |     - |  25M|   0 |1362 |2470 |2378 |2470 |3027 | 649 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
20.80/20.89	c  20.3s|     1 |     0 | 14911 |     - |  25M|   0 |1362 |2470 |2378 |2470 |2782 | 670 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
21.89/21.90	c  21.3s|     1 |     0 | 15981 |     - |  25M|   0 |1342 |2470 |2378 |2470 |2802 | 690 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
23.09/23.12	c  22.5s|     1 |     0 | 17216 |     - |  25M|   0 |1336 |2470 |2378 |2470 |2825 | 713 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
24.09/24.18	c  23.5s|     1 |     0 | 18313 |     - |  25M|   0 |1317 |2470 |2378 |2470 |2846 | 734 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
24.98/25.07	c  24.4s|     1 |     0 | 19199 |     - |  25M|   0 |1490 |2470 |2378 |2470 |2875 | 763 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
49.38/49.50	c  48.5s|     1 |     2 | 19199 |     - |  25M|   0 |1490 |2470 |2378 |2470 |2875 | 763 |   0 |  22 | 1.300000e+01 |      --      |    Inf 
1800.04/1800.80	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.81	c 
1800.04/1800.81	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.81	c Solving Time (sec) : 1765.21
1800.04/1800.81	c Solving Nodes      : 8977
1800.04/1800.81	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.81	c Dual Bound         : +1.60000000000001e+01
1800.04/1800.81	c Gap                : infinite
1800.04/1800.81	s UNKNOWN
1800.04/1800.81	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.81	c Solving Time       :    1765.21
1800.04/1800.81	c Original Problem   :
1800.04/1800.81	c   Problem name     : HOME/instance-2667069-1276588194.opb
1800.04/1800.81	c   Variables        : 2470 (2470 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.81	c   Constraints      : 4744 initial, 4744 maximal
1800.04/1800.81	c Presolved Problem  :
1800.04/1800.81	c   Problem name     : t_HOME/instance-2667069-1276588194.opb
1800.04/1800.81	c   Variables        : 2470 (2470 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.81	c   Constraints      : 2378 initial, 4900 maximal
1800.04/1800.81	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.81	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.81	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.81	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.81	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.81	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.81	c   probing          :       1.10          0          0          0          0          0          0          0          0
1800.04/1800.81	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.81	c   linear           :       0.13          0          0          0          0          0       2366          0          0
1800.04/1800.81	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.81	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.81	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.81	c   integral         :          0          0          0       8275          0         11       3624          0          0      15008
1800.04/1800.81	c   knapsack         :         12         20      40334          0          0         54       5042        302          0          0
1800.04/1800.81	c   linear           :       2366         20      40280          0          0        363     211723          2          0          0
1800.04/1800.81	c   logicor          :          0+         0      22484          0          0         14      17925          0          0          0
1800.04/1800.81	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.04/1800.81	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.81	c   integral         :     506.14       0.00       0.00     506.14       0.00
1800.04/1800.81	c   knapsack         :       1.99       0.02       1.97       0.00       0.00
1800.04/1800.81	c   linear           :      81.59       0.01      81.58       0.00       0.00
1800.04/1800.81	c   logicor          :       1.11       0.00       1.11       0.00       0.00
1800.04/1800.81	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.81	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.81	c   vbounds          :       0.01          2          0          0
1800.04/1800.81	c   rootredcost      :       0.04          0          0          0
1800.04/1800.81	c   pseudoobj        :       0.11      40113          0          0
1800.04/1800.81	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.81	c   propagation      :       0.05        431        429       2733       27.4         22       14.7          -
1800.04/1800.81	c   infeasible LP    :       4.33       4023       4023       5997       11.8        104       12.1          0
1800.04/1800.81	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.81	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.81	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.81	c   applied globally :          -          -          -       6812       13.6          -          -          -
1800.04/1800.81	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.81	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.81	c   cut pool         :       0.03         19          -          -      13094          -    (maximal pool size: 6636)
1800.04/1800.81	c   redcost          :       1.48       8314          0         48          0          0
1800.04/1800.81	c   impliedbounds    :       0.00         20          0          0         10          0
1800.04/1800.81	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.81	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.81	c   gomory           :       0.92         20          0          0        650          0
1800.04/1800.81	c   strongcg         :       0.92         20          0          0        594          0
1800.04/1800.81	c   cmir             :       2.55         10          0          0       5000          0
1800.04/1800.81	c   flowcover        :       2.32         10          0          0       2000          0
1800.04/1800.81	c   clique           :       0.00          1          0          0          0          0
1800.04/1800.81	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.81	c   mcf              :       0.00          1          0          0          0          0
1800.04/1800.81	c   rapidlearning    :       0.68          1          0          0          0          0
1800.04/1800.81	c Pricers            :       Time      Calls       Vars
1800.04/1800.81	c   problem variables:       0.00          0          0
1800.04/1800.81	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.81	c   relpscost        :     506.14       8275         11       3624          0          0      15008
1800.04/1800.81	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.81	c   inference        :       0.00          0          0          0          0          0          0
1800.04/1800.81	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.81	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.81	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.81	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.81	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.81	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.81	c   LP solutions     :       0.00          -          0
1800.04/1800.81	c   pseudo solutions :       0.00          -          0
1800.04/1800.81	c   oneopt           :       0.06          0          0
1800.04/1800.81	c   crossover        :       0.01          0          0
1800.04/1800.81	c   guideddiving     :       0.01          0          0
1800.04/1800.81	c   coefdiving       :     123.98          6          0
1800.04/1800.81	c   fracdiving       :      71.85         16          0
1800.04/1800.81	c   objpscostdiving  :      27.80         13          0
1800.04/1800.81	c   rootsoldiving    :      17.87         15          0
1800.04/1800.81	c   pscostdiving     :      52.71         32          0
1800.04/1800.81	c   veclendiving     :      41.25         33          0
1800.04/1800.81	c   linesearchdiving :      51.21         49          0
1800.04/1800.81	c   trivial          :       0.00          2          0
1800.04/1800.81	c   simplerounding   :       0.00          0          0
1800.04/1800.81	c   zirounding       :       0.44       1000          0
1800.04/1800.81	c   rounding         :       2.19       1245          0
1800.04/1800.81	c   shifting         :       9.39        366          0
1800.04/1800.81	c   intshifting      :       0.00          0          0
1800.04/1800.81	c   twoopt           :       0.00          0          0
1800.04/1800.81	c   fixandinfer      :       0.00          0          0
1800.04/1800.81	c   feaspump         :      34.88         22          0
1800.04/1800.81	c   intdiving        :       0.00          0          0
1800.04/1800.81	c   actconsdiving    :       0.00          0          0
1800.04/1800.81	c   octane           :       0.00          0          0
1800.04/1800.81	c   rens             :       0.00          0          0
1800.04/1800.81	c   rins             :       0.00          0          0
1800.04/1800.81	c   localbranching   :       0.00          0          0
1800.04/1800.81	c   mutation         :       0.00          0          0
1800.04/1800.81	c   dins             :       0.00          0          0
1800.04/1800.81	c   undercover       :       0.00          0          0
1800.04/1800.81	c   nlp              :       0.01          0          0
1800.04/1800.81	c   trysol           :       0.01          0          0
1800.04/1800.81	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.81	c   primal LP        :       0.02          0          0       0.00       0.00
1800.04/1800.81	c   dual LP          :     718.23       9525    1836770     192.84    2557.36
1800.04/1800.81	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.81	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.81	c   diving/probing LP:     381.34       9137     856126      93.70    2245.05
1800.04/1800.81	c   strong branching :     501.52       5757    1042552     181.09    2078.78
1800.04/1800.81	c     (at root node) :          -         22      22000    1000.00          -
1800.04/1800.81	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.81	c B&B Tree           :
1800.04/1800.81	c   number of runs   :          1
1800.04/1800.81	c   nodes            :       8977
1800.04/1800.81	c   nodes (total)    :       8977
1800.04/1800.81	c   nodes left       :       5948
1800.04/1800.81	c   max depth        :         71
1800.04/1800.81	c   max depth (total):         71
1800.04/1800.81	c   backtracks       :       1331 (14.8%)
1800.04/1800.81	c   delayed cutoffs  :         84
1800.04/1800.81	c   repropagations   :       6513 (31664 domain reductions, 18 cutoffs)
1800.04/1800.81	c   avg switch length:       7.78
1800.04/1800.81	c   switching time   :      12.24
1800.04/1800.81	c Solution           :
1800.04/1800.81	c   Solutions found  :          0 (0 improvements)
1800.04/1800.81	c   Primal Bound     :          -
1800.04/1800.81	c   Dual Bound       : +1.60000000000001e+01
1800.04/1800.81	c   Gap              :   infinite
1800.04/1800.81	c   Root Dual Bound  : +1.30000000000000e+01
1800.04/1800.81	c   Root Iterations  :      19199
1800.14/1800.93	c Time complete: 1800.17.

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-2667069-1276588194/watcher-2667069-1276588194 -o /tmp/evaluation-result-2667069-1276588194/solver-2667069-1276588194 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667069-1276588194.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.99 0.98 0.99 3/106 3604
/proc/meminfo: memFree=1723596/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=7724 CPUtime=0
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 1022 0 0 0 0 0 0 0 20 0 1 0 34421020 7909376 941 1992294400 4194304 8223781 140736870590080 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3604/statm: 1931 949 348 984 0 944 0

[startup+0.0643569 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 3604
/proc/meminfo: memFree=1723596/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=10372 CPUtime=0.05
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 1887 0 0 0 5 0 0 0 20 0 1 0 34421020 10620928 1806 1992294400 4194304 8223781 140736870590080 18446744073709551615 7163950 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3604/statm: 2641 1809 365 984 0 1654 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10372

[startup+0.101363 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 3604
/proc/meminfo: memFree=1723596/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=11340 CPUtime=0.09
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 2133 0 0 0 9 0 0 0 20 0 1 0 34421020 11612160 2052 1992294400 4194304 8223781 140736870590080 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3604/statm: 2835 2052 365 984 0 1848 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11340

[startup+0.301406 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 3604
/proc/meminfo: memFree=1723596/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=17392 CPUtime=0.29
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 3948 0 0 0 28 1 0 0 20 0 1 0 34421020 17809408 3503 1992294400 4194304 8223781 140736870590080 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 4348 3504 380 984 0 3361 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17392

[startup+0.700491 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 3604
/proc/meminfo: memFree=1723596/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=54084 CPUtime=0.69
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 13488 0 0 0 63 6 0 0 21 0 1 0 34421020 55382016 12272 1992294400 4194304 8223781 140736870590080 18446744073709551615 4978937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 13521 12272 465 984 0 12534 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54084

[startup+1.50066 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 3605
/proc/meminfo: memFree=1675600/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=54608 CPUtime=1.49
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 13617 0 0 0 143 6 0 0 23 0 1 0 34421020 55918592 12401 1992294400 4194304 8223781 140736870590080 18446744073709551615 4979620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 13652 12401 465 984 0 12665 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54608

[startup+3.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 3605
/proc/meminfo: memFree=1664812/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=67076 CPUtime=3.09
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 17572 0 0 0 301 8 0 0 25 0 1 0 34421020 68685824 15231 1992294400 4194304 8223781 140736870590080 18446744073709551615 6599057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 16769 15231 545 984 0 15782 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67076

[startup+6.30068 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 3605
/proc/meminfo: memFree=1635424/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=76408 CPUtime=6.29
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 27107 0 0 0 615 14 0 0 25 0 1 0 34421020 78241792 17725 1992294400 4194304 8223781 140736870590080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 19102 17725 581 984 0 18115 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 76408

[startup+12.701 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 3607
/proc/meminfo: memFree=1647080/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=87552 CPUtime=12.69
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 30844 0 0 0 1248 21 0 0 25 0 1 0 34421020 89653248 19855 1992294400 4194304 8223781 140736870590080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 21888 19855 581 984 0 20901 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 87552

[startup+25.5018 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 3607
/proc/meminfo: memFree=1643732/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=91464 CPUtime=25.48
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 50152 0 0 0 2509 39 0 0 25 0 1 0 34421020 93659136 20529 1992294400 4194304 8223781 140736870590080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 22866 20529 582 984 0 21879 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 91464

[startup+51.1012 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 3607
/proc/meminfo: memFree=1645716/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=87572 CPUtime=51.07
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 101083 0 0 0 5032 75 0 0 25 0 1 0 34421020 89673728 20099 1992294400 4194304 8223781 140736870590080 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 21893 20099 582 984 0 20906 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 87572

[startup+102.308 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 3609
/proc/meminfo: memFree=1645344/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=86820 CPUtime=102.25
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 223241 0 0 0 10069 156 0 0 25 0 1 0 34421020 88903680 19994 1992294400 4194304 8223781 140736870590080 18446744073709551615 6559790 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 21705 19994 582 984 0 20718 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 86820

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 3611
/proc/meminfo: memFree=1643980/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=88476 CPUtime=162.22
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 345806 0 0 0 15975 247 0 0 25 0 1 0 34421020 90599424 20216 1992294400 4194304 8223781 140736870590080 18446744073709551615 6568470 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 22119 20216 587 984 0 21132 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 88476

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 3611
/proc/meminfo: memFree=1642616/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=90276 CPUtime=222.2
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 420038 0 0 0 21897 323 0 0 25 0 1 0 34421020 92442624 20552 1992294400 4194304 8223781 140736870590080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 22569 20552 588 984 0 21582 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 90276

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 3613
/proc/meminfo: memFree=1642616/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=88680 CPUtime=282.17
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 505538 0 0 0 27816 401 0 0 25 0 1 0 34421020 90808320 20480 1992294400 4194304 8223781 140736870590080 18446744073709551615 6436955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 22170 20480 588 984 0 21183 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 88680

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 3615
/proc/meminfo: memFree=1641500/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=91812 CPUtime=342.15
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 636925 0 0 0 33719 496 0 0 25 0 1 0 34421020 94015488 20712 1992294400 4194304 8223781 140736870590080 18446744073709551615 6520504 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 22953 20712 588 984 0 21966 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 91812

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 3617
/proc/meminfo: memFree=1641748/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=91744 CPUtime=402.12
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 765623 0 0 0 39617 595 0 0 25 0 1 0 34421020 93945856 20876 1992294400 4194304 8223781 140736870590080 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 22936 20876 588 984 0 21949 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 91744

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 3619
/proc/meminfo: memFree=1641376/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=93616 CPUtime=462.1
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 912536 0 0 0 45512 698 0 0 25 0 1 0 34421020 95862784 21084 1992294400 4194304 8223781 140736870590080 18446744073709551615 4947094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 23404 21084 588 984 0 22417 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 93616

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 3619
/proc/meminfo: memFree=1641872/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=91948 CPUtime=522.07
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 1114187 0 0 0 51382 825 0 0 25 0 1 0 34421020 94154752 21017 1992294400 4194304 8223781 140736870590080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 22987 21017 588 984 0 22000 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 91948

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 3621
/proc/meminfo: memFree=1642120/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=90924 CPUtime=582.05
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 1279651 0 0 0 57266 939 0 0 25 0 1 0 34421020 93106176 20786 1992294400 4194304 8223781 140736870590080 18446744073709551615 6568308 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 22731 20786 588 984 0 21744 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 90924

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 3623
/proc/meminfo: memFree=1641748/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=90116 CPUtime=642.03
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 1456052 0 0 0 63146 1057 0 0 25 0 1 0 34421020 92278784 20677 1992294400 4194304 8223781 140736870590080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 22529 20677 588 984 0 21542 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 90116

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 3638
/proc/meminfo: memFree=1636292/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=96324 CPUtime=881.91
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 2048088 0 0 0 86694 1497 0 0 25 0 1 0 34421020 98635776 21914 1992294400 4194304 8223781 140736870590080 18446744073709551615 6568470 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 24081 21914 588 984 0 23094 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 96324

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 3640
/proc/meminfo: memFree=1637284/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=94808 CPUtime=941.89
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 2198815 0 0 0 92578 1611 0 0 25 0 1 0 34421020 97083392 21759 1992294400 4194304 8223781 140736870590080 18446744073709551615 6599057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 23702 21759 588 984 0 22715 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 94808

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 3642
/proc/meminfo: memFree=1636416/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=97152 CPUtime=1001.86
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 2419913 0 0 0 98432 1754 0 0 25 0 1 0 34421020 99483648 22188 1992294400 4194304 8223781 140736870590080 18446744073709551615 6568494 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 24288 22188 588 984 0 23301 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 97152

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 3644
/proc/meminfo: memFree=1635052/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=95936 CPUtime=1061.84
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 2610101 0 0 0 104297 1887 0 0 25 0 1 0 34421020 98238464 21894 1992294400 4194304 8223781 140736870590080 18446744073709551615 6604282 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 23984 21903 588 984 0 22997 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 95936

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 3644
/proc/meminfo: memFree=1634060/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=95848 CPUtime=1121.81
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 2860516 0 0 0 110151 2030 0 0 25 0 1 0 34421020 98148352 22163 1992294400 4194304 8223781 140736870590080 18446744073709551615 6502734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 23962 22163 588 984 0 22975 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 95848

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 3646
/proc/meminfo: memFree=1632324/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=100288 CPUtime=1181.79
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 3044916 0 0 0 116023 2156 0 0 25 0 1 0 34421020 102694912 22824 1992294400 4194304 8223781 140736870590080 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 25072 22824 588 984 0 24085 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 100288

[startup+1242.3 s]
/proc/loadavg: 1.07 1.00 1.00 2/107 3648
/proc/meminfo: memFree=1631456/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=99944 CPUtime=1241.76
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 3236065 0 0 0 121898 2278 0 0 25 0 1 0 34421020 102342656 23116 1992294400 4194304 8223781 140736870590080 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 24986 23116 588 984 0 23999 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 99944

[startup+1302.3 s]
/proc/loadavg: 1.37 1.10 1.03 2/107 3650
/proc/meminfo: memFree=1630216/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=101720 CPUtime=1301.75
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 3394195 0 0 0 127778 2397 0 0 25 0 1 0 34421020 104161280 23363 1992294400 4194304 8223781 140736870590080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 25430 23363 588 984 0 24443 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 101720

[startup+1362.3 s]
/proc/loadavg: 1.20 1.10 1.03 2/107 3652
/proc/meminfo: memFree=1629348/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=100848 CPUtime=1361.72
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 3591080 0 0 0 133643 2529 0 0 25 0 1 0 34421020 103268352 23384 1992294400 4194304 8223781 140736870590080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 25212 23384 588 984 0 24225 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 100848

[startup+1422.31 s]
/proc/loadavg: 1.13 1.09 1.03 2/107 3652
/proc/meminfo: memFree=1628728/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=101636 CPUtime=1421.7
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 3773244 0 0 0 139507 2663 0 0 25 0 1 0 34421020 104075264 23426 1992294400 4194304 8223781 140736870590080 18446744073709551615 7236399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 25454 23427 588 984 0 24467 0
Current children cumulated CPU time (s) 1421.7
Current children cumulated vsize (KiB) 101636

[startup+1482.3 s]
/proc/loadavg: 1.10 1.09 1.03 2/107 3657
/proc/meminfo: memFree=1627240/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=102392 CPUtime=1481.67
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 3914036 0 0 0 145397 2770 0 0 25 0 1 0 34421020 104849408 23763 1992294400 4194304 8223781 140736870590080 18446744073709551615 4978478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 25598 23763 588 984 0 24611 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 102392

[startup+1542.3 s]
/proc/loadavg: 1.08 1.08 1.03 2/107 3659
/proc/meminfo: memFree=1627612/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=106212 CPUtime=1541.64
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 4087827 0 0 0 151270 2894 0 0 25 0 1 0 34421020 108761088 24359 1992294400 4194304 8223781 140736870590080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 26553 24359 588 984 0 25566 0
Current children cumulated CPU time (s) 1541.64
Current children cumulated vsize (KiB) 106212

[startup+1602.3 s]
/proc/loadavg: 1.07 1.08 1.03 2/107 3661
/proc/meminfo: memFree=1625628/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=103496 CPUtime=1601.62
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 4259218 0 0 0 157141 3021 0 0 25 0 1 0 34421020 105979904 24022 1992294400 4194304 8223781 140736870590080 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 25874 24022 588 984 0 24887 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 103496

[startup+1662.3 s]
/proc/loadavg: 1.07 1.08 1.03 2/107 3663
/proc/meminfo: memFree=1625876/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=105348 CPUtime=1661.59
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 4435303 0 0 0 163011 3148 0 0 25 0 1 0 34421020 107876352 24377 1992294400 4194304 8223781 140736870590080 18446744073709551615 6599057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 26337 24377 588 984 0 25350 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 105348

[startup+1722.3 s]
/proc/loadavg: 1.06 1.08 1.03 2/107 3663
/proc/meminfo: memFree=1623148/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=105880 CPUtime=1721.57
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 4619643 0 0 0 168876 3281 0 0 25 0 1 0 34421020 108421120 24552 1992294400 4194304 8223781 140736870590080 18446744073709551615 6448646 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 26470 24552 588 984 0 25483 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 105880

[startup+1782.3 s]
/proc/loadavg: 1.02 1.06 1.02 2/107 3665
/proc/meminfo: memFree=1623520/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=108708 CPUtime=1781.55
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 4815917 0 0 0 174738 3417 0 0 25 0 1 0 34421020 111316992 25155 1992294400 4194304 8223781 140736870590080 18446744073709551615 6568081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 27177 25155 588 984 0 26190 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 108708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.01 1.06 1.02 2/107 3665
/proc/meminfo: memFree=1622280/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=108296 CPUtime=1800.04
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 4861204 0 0 0 176548 3456 0 0 25 0 1 0 34421020 110895104 25221 1992294400 4194304 8223781 140736870590080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3604/statm: 27074 25221 588 984 0 26087 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 108296

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

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

[startup+1800.91 s]
/proc/loadavg: 1.01 1.06 1.02 2/107 3665
/proc/meminfo: memFree=1622280/2059040 swapFree=4140216/4192956
[pid=3604] ppid=3602 vsize=104628 CPUtime=1800.14
/proc/3604/stat : 3604 (pbscip.linux.x8) R 3602 3604 2998 0 -1 4202496 4861257 0 0 0 176558 3456 0 0 25 0 1 0 34421020 107139072 24315 1992294400 4194304 8223781 140736870590080 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3604/statm: 26157 24315 590 984 0 25170 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 104628

Child status: 0
Real time (s): 1800.94
CPU time (s): 1800.18
CPU user time (s): 1765.6
CPU system time (s): 34.5787
CPU usage (%): 99.9581
Max. virtual memory (cumulated for all children) (KiB): 111572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1765.6
system time used= 34.5787
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4861261
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= 2
involuntary context switches= 24249

runsolver used 3.02354 second user time and 8.45571 second system time

The end

Launcher Data 

Begin job on node010 at 2010-06-15 09:49:54
IDJOB=2667069
IDBENCH=2640
IDSOLVER=1169
FILE ID=node010/2667069-1276588194
PBS_JOBID= 11173534
Free space on /tmp= 62532 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_13.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667069-1276588194/watcher-2667069-1276588194 -o /tmp/evaluation-result-2667069-1276588194/solver-2667069-1276588194 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667069-1276588194.opb -t 1800 -m 1800

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

MD5SUM BENCH= 292e71503f1e4f136e087e61da3c7ed4
RANDOM SEED=889312499

node010.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.267
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.53
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.267
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1724000 kB
Buffers:         64340 kB
Cached:         190400 kB
SwapCached:       6052 kB
Active:         106692 kB
Inactive:       161180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1724000 kB
SwapTotal:     4192956 kB
SwapFree:      4140216 kB
Dirty:            5604 kB
Writeback:           0 kB
AnonPages:       11500 kB
Mapped:          13032 kB
Slab:            45300 kB
PageTables:       4020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181480 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= 62528 MiB
End job on node010 at 2010-06-15 10:19:57