Trace number 2664259

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) 1801.02 1801.49

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_13.opb
MD5SUMe41be903cf92c8332743e4188dbf4c82
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark127
Best CPU time to get the best result obtained on this benchmark1800.31
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 123
Optimality of the best value was proved NO
Number of variables2467
Total number of constraints4745
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4744
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 78
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 205
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 1391
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: 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-2664259-1276621660.opb>
0.19/0.28	c original problem has 2467 variables (2467 bin, 0 int, 0 impl, 0 cont) and 4745 constraints
0.19/0.28	c problem read
0.19/0.28	c presolving settings loaded
0.19/0.28	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.37	c presolving:
0.39/0.44	c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 12 chg sides, 443 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.39/0.49	c (round 2) 1 del vars, 2028 del conss, 1 chg bounds, 12 chg sides, 443 chg coeffs, 351 upgd conss, 0 impls, 0 clqs
0.49/0.56	c (round 3) 1 del vars, 2028 del conss, 1 chg bounds, 12 chg sides, 443 chg coeffs, 690 upgd conss, 314 impls, 5 clqs
0.49/0.59	c (round 4) 1 del vars, 2028 del conss, 1 chg bounds, 19 chg sides, 475 chg coeffs, 690 upgd conss, 314 impls, 5 clqs
2.49/2.55	c    (2.2s) probing: 206/2466 (8.4%) - 0 fixings, 0 aggregations, 94 implications, 0 bound changes
2.49/2.55	c    (2.2s) probing aborted: 100/100 successive totally useless probings
2.49/2.55	c presolving (5 rounds):
2.49/2.55	c  1 deleted vars, 2028 deleted constraints, 1 tightened bounds, 0 added holes, 19 changed sides, 479 changed coefficients
2.49/2.55	c  502 implications, 5 cliques
2.49/2.55	c presolved problem has 2466 variables (2466 bin, 0 int, 0 impl, 0 cont) and 2717 constraints
2.49/2.55	c     690 constraints of type <knapsack>
2.49/2.55	c    2027 constraints of type <linear>
2.49/2.55	c transformed objective value is always integral (scale: 1)
2.49/2.55	c Presolving Time: 2.17
2.49/2.55	c - non default parameters ----------------------------------------------------------------------
2.49/2.55	c # SCIP version 1.2.1.2
2.49/2.55	c 
2.49/2.55	c # frequency for displaying node information lines
2.49/2.55	c # [type: int, range: [-1,2147483647], default: 100]
2.49/2.55	c display/freq = 10000
2.49/2.55	c 
2.49/2.55	c # maximal time in seconds to run
2.49/2.55	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.49/2.55	c limits/time = 1799.72
2.49/2.55	c 
2.49/2.55	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.49/2.55	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.49/2.55	c limits/memory = 1620
2.49/2.55	c 
2.49/2.55	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.49/2.55	c # [type: int, range: [-1,2147483647], default: 1]
2.49/2.55	c lp/solvefreq = -1
2.49/2.55	c 
2.49/2.55	c # should presolving try to simplify inequalities
2.49/2.55	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.55	c constraints/linear/simplifyinequalities = TRUE
2.49/2.55	c 
2.49/2.55	c # should presolving try to simplify knapsacks
2.49/2.55	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.55	c constraints/knapsack/simplifyinequalities = TRUE
2.49/2.55	c 
2.49/2.55	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.49/2.55	c # [type: int, range: [-1,2147483647], default: -1]
2.49/2.55	c separating/rapidlearning/freq = 0
2.49/2.55	c 
2.49/2.55	c -----------------------------------------------------------------------------------------------
2.49/2.55	c start solving
2.49/2.55	c 
2.49/2.56	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.56	c   2.2s|     1 |     2 |     0 |     - |  15M|   0 |   - |2466 |2717 |   0 |   0 |   0 |   0 |   0 | 7.800000e+01 |      --      |    Inf 
144.06/144.11	c   143s| 10000 |  4579 |     0 |   0.0 |  34M|2297 |   - |2466 |3876 |   0 |   0 |   0 |5445 |   0 | 7.800000e+01 |      --      |    Inf 
276.81/276.92	c   276s| 20000 | 10647 |     0 |   0.0 |  68M|2297 |   - |2466 |4753 |   0 |   0 |   0 |  11k|   0 | 7.800000e+01 |      --      |    Inf 
436.27/436.48	c   435s| 30000 | 15823 |     0 |   0.0 |  96M|2297 |   - |2466 |3610 |   0 |   0 |   0 |  18k|   0 | 7.800000e+01 |      --      |    Inf 
522.26/522.44	c   520s| 40000 | 23141 |     0 |   0.0 | 126M|2297 |   - |2466 |3945 |   0 |   0 |   0 |  22k|   0 | 7.800000e+01 |      --      |    Inf 
616.13/616.37	c   614s| 50000 | 29297 |     0 |   0.0 | 163M|2297 |   - |2466 |4253 |   0 |   0 |   0 |  28k|   0 | 7.800000e+01 |      --      |    Inf 
716.10/716.39	c   713s| 60000 | 34942 |     0 |   0.0 | 191M|2297 |   - |2466 |4127 |   0 |   0 |   0 |  35k|   0 | 7.800000e+01 |      --      |    Inf 
902.15/902.45	c   899s| 70000 | 38487 |     0 |   0.0 | 225M|2297 |   - |2466 |6738 |   0 |   0 |   0 |  45k|   0 | 7.800000e+01 |      --      |    Inf 
1011.22/1011.51	c  1008s| 80000 | 44887 |     0 |   0.0 | 255M|2297 |   - |2466 |3820 |   0 |   0 |   0 |  51k|   0 | 7.800000e+01 |      --      |    Inf 
1088.72/1089.03	c  1085s| 90000 | 52093 |     0 |   0.0 | 287M|2297 |   - |2466 |3764 |   0 |   0 |   0 |  55k|   0 | 7.800000e+01 |      --      |    Inf 
1168.29/1168.65	c  1164s|100000 | 58927 |     0 |   0.0 | 319M|2297 |   - |2466 |4131 |   0 |   0 |   0 |  59k|   0 | 7.800000e+01 |      --      |    Inf 
1248.97/1249.39	c  1244s|110000 | 65576 |     0 |   0.0 | 352M|2297 |   - |2466 |4515 |   0 |   0 |   0 |  64k|   0 | 7.800000e+01 |      --      |    Inf 
1332.25/1332.60	c  1327s|120000 | 71954 |     0 |   0.0 | 386M|2297 |   - |2466 |4798 |   0 |   0 |   0 |  70k|   0 | 7.800000e+01 |      --      |    Inf 
1418.23/1418.67	c  1413s|130000 | 77984 |     0 |   0.0 | 420M|2297 |   - |2466 |5104 |   0 |   0 |   0 |  76k|   0 | 7.800000e+01 |      --      |    Inf 
1504.00/1504.40	c  1498s|140000 | 83885 |     0 |   0.0 | 455M|2297 |   - |2466 |5133 |   0 |   0 |   0 |  82k|   0 | 7.800000e+01 |      --      |    Inf 
1587.78/1588.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1587.78/1588.22	c  1582s|150000 | 89548 |     0 |   0.0 | 488M|2297 |   - |2466 |5144 |   0 |   0 |   0 |  89k|   0 | 7.800000e+01 |      --      |    Inf 
1673.66/1674.20	c  1667s|160000 | 94921 |     0 |   0.0 | 520M|2297 |   - |2466 |5401 |   0 |   0 |   0 |  96k|   0 | 7.800000e+01 |      --      |    Inf 
1758.83/1759.32	c  1752s|170000 |100064 |     0 |   0.0 | 550M|2297 |   - |2466 |5271 |   0 |   0 |   0 | 104k|   0 | 7.800000e+01 |      --      |    Inf 
1800.02/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.51	c 
1800.02/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.51	c Solving Time (sec) : 1792.98
1800.02/1800.51	c Solving Nodes      : 174825
1800.02/1800.51	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.02/1800.51	c Dual Bound         : +7.80000000000000e+01
1800.02/1800.51	c Gap                : infinite
1800.02/1800.51	s UNKNOWN
1800.02/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.51	c Solving Time       :    1792.98
1800.02/1800.51	c Original Problem   :
1800.02/1800.51	c   Problem name     : HOME/instance-2664259-1276621660.opb
1800.02/1800.51	c   Variables        : 2467 (2467 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51	c   Constraints      : 4745 initial, 4745 maximal
1800.02/1800.51	c Presolved Problem  :
1800.02/1800.51	c   Problem name     : t_HOME/instance-2664259-1276621660.opb
1800.02/1800.51	c   Variables        : 2466 (2466 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51	c   Constraints      : 2717 initial, 7492 maximal
1800.02/1800.51	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.51	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.51	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.51	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.51	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.51	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.51	c   probing          :       1.94          0          0          0          0          0          0          0          0
1800.02/1800.51	c   knapsack         :       0.03          0          0          0          0          0          0          7         36
1800.02/1800.51	c   linear           :       0.17          1          0          0          1          0       2028         12        443
1800.02/1800.51	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.51	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.51	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.51	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.02/1800.51	c   knapsack         :        690          0     494736          0     147875       5186    2326336          0          0          0
1800.02/1800.51	c   linear           :       2027          0     489550          0     147875      33686   11712954          0          0          0
1800.02/1800.51	c   logicor          :          0+         0     216071          0          0       2065     125356          0          0          0
1800.02/1800.51	c   countsols        :          0          0          0          0     147875          0          0          0          0          0
1800.02/1800.51	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.51	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.51	c   knapsack         :     202.28       0.00     195.33       0.00       6.95
1800.02/1800.51	c   linear           :    1121.23       0.00    1120.92       0.00       0.31
1800.02/1800.51	c   logicor          :      42.05       0.00      42.05       0.00       0.00
1800.02/1800.51	c   countsols        :       0.10       0.00       0.00       0.00       0.10
1800.02/1800.51	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.51	c   vbounds          :       0.51          2          0          0
1800.02/1800.51	c   rootredcost      :       0.43          0          0          0
1800.02/1800.51	c   pseudoobj        :       1.07     494311          0          0
1800.02/1800.51	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.51	c   propagation      :       5.92      40937      40807     337531       37.9       2015       23.5          -
1800.02/1800.51	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.51	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.51	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.51	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.02/1800.51	c   applied globally :          -          -          -     108363       31.6          -          -          -
1800.02/1800.51	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.02/1800.51	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.51	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.02/1800.51	c   redcost          :       0.00          0          0          0          0          0
1800.02/1800.51	c   impliedbounds    :       0.00          0          0          0          0          0
1800.02/1800.51	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.51	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.51	c   gomory           :       0.00          0          0          0          0          0
1800.02/1800.51	c   strongcg         :       0.00          0          0          0          0          0
1800.02/1800.51	c   cmir             :       0.00          0          0          0          0          0
1800.02/1800.51	c   flowcover        :       0.00          0          0          0          0          0
1800.02/1800.51	c   clique           :       0.00          0          0          0          0          0
1800.02/1800.51	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.51	c   mcf              :       0.00          0          0          0          0          0
1800.02/1800.51	c   rapidlearning    :       0.00          0          0          0          0          0
1800.02/1800.51	c Pricers            :       Time      Calls       Vars
1800.02/1800.51	c   problem variables:       0.00          0          0
1800.02/1800.51	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.51	c   relpscost        :       0.00          0          0          0          0          0          0
1800.02/1800.51	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.51	c   inference        :     107.67     147875          0          0          0          0     295750
1800.02/1800.51	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.51	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.51	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.51	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.51	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.51	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.51	c   LP solutions     :       0.00          -          0
1800.02/1800.51	c   pseudo solutions :       0.00          -          0
1800.02/1800.51	c   oneopt           :       0.08          0          0
1800.02/1800.51	c   trivial          :       0.00          2          0
1800.02/1800.51	c   simplerounding   :       0.00          0          0
1800.02/1800.51	c   zirounding       :       0.00          0          0
1800.02/1800.51	c   rounding         :       0.00          0          0
1800.02/1800.51	c   shifting         :       0.00          0          0
1800.02/1800.51	c   intshifting      :       0.00          0          0
1800.02/1800.51	c   twoopt           :       0.00          0          0
1800.02/1800.51	c   fixandinfer      :       0.00          0          0
1800.02/1800.51	c   feaspump         :       0.00          0          0
1800.02/1800.51	c   coefdiving       :       0.00          0          0
1800.02/1800.51	c   pscostdiving     :       0.00          0          0
1800.02/1800.51	c   fracdiving       :       0.00          0          0
1800.02/1800.51	c   veclendiving     :       0.00          0          0
1800.02/1800.51	c   intdiving        :       0.00          0          0
1800.02/1800.51	c   actconsdiving    :       0.00          0          0
1800.02/1800.51	c   objpscostdiving  :       0.00          0          0
1800.02/1800.51	c   rootsoldiving    :       0.00          0          0
1800.02/1800.51	c   linesearchdiving :       0.00          0          0
1800.02/1800.51	c   guideddiving     :       0.00          0          0
1800.02/1800.51	c   octane           :       0.00          0          0
1800.02/1800.51	c   rens             :       0.00          0          0
1800.02/1800.51	c   rins             :       0.00          0          0
1800.02/1800.51	c   localbranching   :       0.00          0          0
1800.02/1800.51	c   mutation         :       0.00          0          0
1800.02/1800.51	c   crossover        :       0.00          0          0
1800.02/1800.51	c   dins             :       0.00          0          0
1800.02/1800.51	c   undercover       :       0.00          0          0
1800.02/1800.51	c   nlp              :       0.15          0          0
1800.02/1800.51	c   trysol           :       0.13          0          0
1800.02/1800.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.51	c   dual LP          :       0.00          0          0       0.00          -
1800.02/1800.51	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.51	c   diving/probing LP:       0.00          0          0       0.00          -
1800.02/1800.51	c   strong branching :       0.00          0          0       0.00          -
1800.02/1800.51	c     (at root node) :          -          0          0       0.00          -
1800.02/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.51	c B&B Tree           :
1800.02/1800.51	c   number of runs   :          1
1800.02/1800.51	c   nodes            :     174825
1800.02/1800.51	c   nodes (total)    :     174825
1800.02/1800.51	c   nodes left       :     102542
1800.02/1800.51	c   max depth        :       2297
1800.02/1800.51	c   max depth (total):       2297
1800.02/1800.51	c   backtracks       :      15896 (9.1%)
1800.02/1800.51	c   delayed cutoffs  :      18384
1800.02/1800.51	c   repropagations   :      57330 (2090800 domain reductions, 13987 cutoffs)
1800.02/1800.51	c   avg switch length:       6.36
1800.02/1800.51	c   switching time   :     299.15
1800.02/1800.51	c Solution           :
1800.02/1800.51	c   Solutions found  :          0 (0 improvements)
1800.02/1800.51	c   Primal Bound     :          -
1800.02/1800.51	c   Dual Bound       : +7.80000000000000e+01
1800.02/1800.51	c   Gap              :   infinite
1800.02/1800.51	c   Root Dual Bound  : +7.80000000000000e+01
1800.02/1800.51	c   Root Iterations  :          0
1800.92/1801.48	c Time complete: 1801.01.

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-2664259-1276621660/watcher-2664259-1276621660 -o /tmp/evaluation-result-2664259-1276621660/solver-2664259-1276621660 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664259-1276621660.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: 2.05 2.08 1.69 3/106 10438
/proc/meminfo: memFree=1791068/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=6584 CPUtime=0
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 970 0 0 0 0 0 0 0 20 0 1 0 3458178 6742016 893 1992294400 4194304 7136930 140735893979616 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10438/statm: 1646 902 254 719 0 925 0

[startup+0.060757 s]
/proc/loadavg: 2.05 2.08 1.69 3/106 10438
/proc/meminfo: memFree=1791068/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=9204 CPUtime=0.05
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 1776 0 0 0 5 0 0 0 20 0 1 0 3458178 9424896 1699 1992294400 4194304 7136930 140735893979616 18446744073709551615 6285736 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10438/statm: 2301 1699 271 719 0 1580 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9204

[startup+0.101759 s]
/proc/loadavg: 2.05 2.08 1.69 3/106 10438
/proc/meminfo: memFree=1791068/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=10248 CPUtime=0.09
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 2055 0 0 0 9 0 0 0 20 0 1 0 3458178 10493952 1978 1992294400 4194304 7136930 140735893979616 18446744073709551615 5651592 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10438/statm: 2562 1978 271 719 0 1841 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10248

[startup+0.301779 s]
/proc/loadavg: 2.05 2.08 1.69 3/106 10438
/proc/meminfo: memFree=1791068/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=22124 CPUtime=0.29
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 5385 0 0 0 27 2 0 0 20 0 1 0 3458178 22654976 4954 1992294400 4194304 7136930 140735893979616 18446744073709551615 4461576 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 5531 4954 283 719 0 4810 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22124

[startup+0.701821 s]
/proc/loadavg: 2.05 2.08 1.69 3/106 10438
/proc/meminfo: memFree=1791068/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=53044 CPUtime=0.69
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 14977 0 0 0 63 6 0 0 21 0 1 0 3458178 54317056 12233 1992294400 4194304 7136930 140735893979616 18446744073709551615 4947435 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 13261 12233 368 719 0 12540 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53044

[startup+1.5019 s]
/proc/loadavg: 2.05 2.08 1.69 2/107 10439
/proc/meminfo: memFree=1742948/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=53044 CPUtime=1.49
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 14977 0 0 0 142 7 0 0 23 0 1 0 3458178 54317056 12233 1992294400 4194304 7136930 140735893979616 18446744073709551615 4983265 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 13261 12233 368 719 0 12540 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53044

[startup+3.10106 s]
/proc/loadavg: 2.05 2.08 1.69 2/107 10439
/proc/meminfo: memFree=1742700/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=54204 CPUtime=3.09
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 15265 0 0 0 301 8 0 0 25 0 1 0 3458178 55504896 12521 1992294400 4194304 7136930 140735893979616 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 13551 12521 388 719 0 12830 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54204

[startup+6.30139 s]
/proc/loadavg: 1.97 2.07 1.69 2/107 10439
/proc/meminfo: memFree=1740344/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=56412 CPUtime=6.29
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 15829 0 0 0 617 12 0 0 25 0 1 0 3458178 57765888 13085 1992294400 4194304 7136930 140735893979616 18446744073709551615 4978086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 14103 13085 395 719 0 13382 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56412

[startup+12.701 s]
/proc/loadavg: 1.89 2.05 1.68 2/107 10439
/proc/meminfo: memFree=1736500/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=60040 CPUtime=12.69
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 16699 0 0 0 1254 15 0 0 25 0 1 0 3458178 61480960 13955 1992294400 4194304 7136930 140735893979616 18446744073709551615 4979570 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 15010 13955 395 719 0 14289 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60040

[startup+25.5013 s]
/proc/loadavg: 1.69 2.00 1.67 2/107 10439
/proc/meminfo: memFree=1733276/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=63216 CPUtime=25.48
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 17443 0 0 0 2531 17 0 0 25 0 1 0 3458178 64733184 14699 1992294400 4194304 7136930 140735893979616 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 15804 14699 395 719 0 15083 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 63216

[startup+51.101 s]
/proc/loadavg: 1.45 1.91 1.65 2/107 10441
/proc/meminfo: memFree=1728440/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=68456 CPUtime=51.07
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 18680 0 0 0 5084 23 0 0 25 0 1 0 3458178 70098944 15936 1992294400 4194304 7136930 140735893979616 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 17114 15936 395 719 0 16393 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 68456

[startup+102.308 s]
/proc/loadavg: 1.20 1.77 1.61 2/107 10441
/proc/meminfo: memFree=1720752/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=76704 CPUtime=102.27
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 20549 0 0 0 10192 35 0 0 25 0 1 0 3458178 78544896 17805 1992294400 4194304 7136930 140735893979616 18446744073709551615 4980259 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 19176 17805 395 719 0 18455 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 76704

[startup+162.301 s]
/proc/loadavg: 1.07 1.63 1.57 2/107 10443
/proc/meminfo: memFree=1707112/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=91860 CPUtime=162.25
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 23976 0 0 0 16165 60 0 0 25 0 1 0 3458178 94064640 21232 1992294400 4194304 7136930 140735893979616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 22965 21232 395 719 0 22244 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 91860

[startup+222.301 s]
/proc/loadavg: 1.02 1.51 1.53 2/107 10445
/proc/meminfo: memFree=1684544/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=116944 CPUtime=222.23
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 29556 0 0 0 22143 80 0 0 25 0 1 0 3458178 119750656 26812 1992294400 4194304 7136930 140735893979616 18446744073709551615 4947551 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 29236 26812 395 719 0 28515 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 116944

[startup+282.302 s]
/proc/loadavg: 1.01 1.42 1.50 2/107 10447
/proc/meminfo: memFree=1671152/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=132348 CPUtime=282.21
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 32903 0 0 0 28127 94 0 0 25 0 1 0 3458178 135524352 30159 1992294400 4194304 7136930 140735893979616 18446744073709551615 4947748 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 33087 30159 395 719 0 32366 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 132348

[startup+342.302 s]
/proc/loadavg: 1.00 1.34 1.46 2/107 10449
/proc/meminfo: memFree=1659496/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=145248 CPUtime=342.2
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 35796 0 0 0 34112 108 0 0 25 0 1 0 3458178 148733952 33052 1992294400 4194304 7136930 140735893979616 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 36312 33052 395 719 0 35591 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 145248

[startup+402.302 s]
/proc/loadavg: 1.07 1.29 1.44 2/107 10449
/proc/meminfo: memFree=1650444/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=156000 CPUtime=402.19
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 38075 0 0 0 40097 122 0 0 25 0 1 0 3458178 159744000 35331 1992294400 4194304 7136930 140735893979616 18446744073709551615 4979757 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 39000 35331 395 719 0 38279 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 156000

[startup+462.302 s]
/proc/loadavg: 1.02 1.23 1.41 2/107 10451
/proc/meminfo: memFree=1626140/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=183452 CPUtime=462.17
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 44332 0 0 0 46069 148 0 0 25 0 1 0 3458178 187854848 41588 1992294400 4194304 7136930 140735893979616 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 45863 41588 395 719 0 45142 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 183452

[startup+522.302 s]
/proc/loadavg: 1.01 1.19 1.38 2/107 10453
/proc/meminfo: memFree=1599604/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=211852 CPUtime=522.15
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 50747 0 0 0 52041 174 0 0 25 0 1 0 3458178 216936448 48003 1992294400 4194304 7136930 140735893979616 18446744073709551615 4978047 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 52963 48003 395 719 0 52242 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 211852

[startup+582.301 s]
/proc/loadavg: 1.00 1.15 1.35 2/107 10455
/proc/meminfo: memFree=1572944/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=243588 CPUtime=582.14
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 57368 0 0 0 58017 197 0 0 25 0 1 0 3458178 249434112 54624 1992294400 4194304 7136930 140735893979616 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 60897 54624 395 719 0 60176 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 243588

[startup+642.301 s]
/proc/loadavg: 1.04 1.14 1.33 2/107 10457
/proc/meminfo: memFree=1546408/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=271140 CPUtime=642.12
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 63945 0 0 0 63992 220 0 0 25 0 1 0 3458178 277647360 61201 1992294400 4194304 7136930 140735893979616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 67785 61201 395 719 0 67064 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 271140

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.03 1.21 2/107 10465
/proc/meminfo: memFree=1448448/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=384472 CPUtime=1002.03
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 88324 0 0 0 99872 331 0 0 25 0 1 0 3458178 393699328 85580 1992294400 4194304 7136930 140735893979616 18446744073709551615 4947547 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 96118 85580 395 719 0 95397 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 384472

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.20 2/107 10467
/proc/meminfo: memFree=1421788/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=413524 CPUtime=1062.01
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 95101 0 0 0 105845 356 0 0 25 0 1 0 3458178 423448576 92357 1992294400 4194304 7136930 140735893979616 18446744073709551615 4979596 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 103381 92357 395 719 0 102660 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 413524

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.18 2/107 10469
/proc/meminfo: memFree=1390912/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=446788 CPUtime=1122
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 102844 0 0 0 111818 382 0 0 25 0 1 0 3458178 457510912 100100 1992294400 4194304 7136930 140735893979616 18446744073709551615 4947555 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 111697 100100 395 719 0 110976 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 446788

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.17 2/107 10471
/proc/meminfo: memFree=1365988/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=476152 CPUtime=1181.98
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 109010 0 0 0 117789 409 0 0 25 0 1 0 3458178 487579648 106266 1992294400 4194304 7136930 140735893979616 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 119038 106266 395 719 0 118317 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 476152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/107 10473
/proc/meminfo: memFree=1331392/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=514032 CPUtime=1241.97
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 117436 0 0 0 123759 438 0 0 25 0 1 0 3458178 526368768 114692 1992294400 4194304 7136930 140735893979616 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 128508 114692 395 719 0 127787 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 514032

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 10473
/proc/meminfo: memFree=1302996/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=546996 CPUtime=1301.96
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 124502 0 0 0 129730 466 0 0 25 0 1 0 3458178 560123904 121758 1992294400 4194304 7136930 140735893979616 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 136749 121758 395 719 0 136028 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 546996

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 10475
/proc/meminfo: memFree=1275840/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=576268 CPUtime=1361.93
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 131364 0 0 0 135703 490 0 0 25 0 1 0 3458178 590098432 128620 1992294400 4194304 7136930 140735893979616 18446744073709551615 4979601 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 144067 128620 395 719 0 143346 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 576268

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 10477
/proc/meminfo: memFree=1245956/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=610356 CPUtime=1421.93
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 138740 0 0 0 141677 516 0 0 25 0 1 0 3458178 625004544 135996 1992294400 4194304 7136930 140735893979616 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 152589 135996 395 719 0 151868 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 610356

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 10482
/proc/meminfo: memFree=1216940/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=641544 CPUtime=1481.9
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 145855 0 0 0 147648 542 0 0 25 0 1 0 3458178 656941056 143111 1992294400 4194304 7136930 140735893979616 18446744073709551615 4979554 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 160386 143111 395 719 0 159665 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 641544

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 10484
/proc/meminfo: memFree=1190652/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=669068 CPUtime=1541.88
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 152395 0 0 0 153620 568 0 0 25 0 1 0 3458178 685125632 149651 1992294400 4194304 7136930 140735893979616 18446744073709551615 4981237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 167267 149651 395 719 0 166546 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 669068

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 10484
/proc/meminfo: memFree=1167464/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=696260 CPUtime=1601.87
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 158274 0 0 0 159592 595 0 0 25 0 1 0 3458178 712970240 155530 1992294400 4194304 7136930 140735893979616 18446744073709551615 4978068 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 174065 155530 395 719 0 173344 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 696260

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 10486
/proc/meminfo: memFree=1140804/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=727548 CPUtime=1661.86
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 164844 0 0 0 165568 618 0 0 25 0 1 0 3458178 745009152 162100 1992294400 4194304 7136930 140735893979616 18446744073709551615 4979612 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 181887 162100 395 719 0 181166 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 727548

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 10488
/proc/meminfo: memFree=1121460/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=751464 CPUtime=1721.84
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 169667 0 0 0 171541 643 0 0 25 0 1 0 3458178 769499136 166923 1992294400 4194304 7136930 140735893979616 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 187866 166923 395 719 0 187145 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 751464

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 10490
/proc/meminfo: memFree=1100380/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=774632 CPUtime=1781.83
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 174957 0 0 0 177512 671 0 0 25 0 1 0 3458178 793223168 172213 1992294400 4194304 7136930 140735893979616 18446744073709551615 4677308 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 193658 172213 395 719 0 192937 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 774632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 10490
/proc/meminfo: memFree=1092940/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=782380 CPUtime=1800.02
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 176784 0 0 0 179323 679 0 0 25 0 1 0 3458178 801157120 174040 1992294400 4194304 7136930 140735893979616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10438/statm: 195595 174040 395 719 0 194874 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 782380

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 10491
/proc/meminfo: memFree=1092932/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=782380 CPUtime=1800.13
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 176790 0 0 0 179334 679 0 0 25 0 1 0 3458178 801157120 174046 1992294400 4194304 7136930 140735893979616 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10438/statm: 195595 174046 401 719 0 194874 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 782380

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 10491
/proc/meminfo: memFree=1092932/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=782380 CPUtime=1800.52
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 176790 0 0 0 179373 679 0 0 25 0 1 0 3458178 801157120 174046 1992294400 4194304 7136930 140735893979616 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10438/statm: 195595 174046 401 719 0 194874 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (KiB) 782380

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 10491
/proc/meminfo: memFree=1092932/2059040 swapFree=4192956/4192956
[pid=10438] ppid=10436 vsize=701448 CPUtime=1800.92
/proc/10438/stat : 10438 (pbscip.linux.x8) R 10436 10438 10028 0 -1 4202496 176798 0 0 0 179412 680 0 0 25 0 1 0 3458178 718282752 155201 1992294400 4194304 7136930 140735893979616 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10438/statm: 175169 155201 401 719 0 174448 0
Current children cumulated CPU time (s) 1800.92
Current children cumulated vsize (KiB) 701448

Child status: 0
Real time (s): 1801.49
CPU time (s): 1801.02
CPU user time (s): 1794.13
CPU system time (s): 6.88395
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 782380

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

runsolver used 2.88656 second user time and 8.59569 second system time

The end

Launcher Data 

Begin job on node045 at 2010-06-15 19:07:40
IDJOB=2664259
IDBENCH=2948
IDSOLVER=1167
FILE ID=node045/2664259-1276621660
PBS_JOBID= 11172300
Free space on /tmp= 62460 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_13.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-2664259-1276621660/watcher-2664259-1276621660 -o /tmp/evaluation-result-2664259-1276621660/solver-2664259-1276621660 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664259-1276621660.opb -t 1800 -m 1800

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

MD5SUM BENCH= e41be903cf92c8332743e4188dbf4c82
RANDOM SEED=1297642290

node045.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.247
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.49
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.247
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.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1791472 kB
Buffers:         11544 kB
Cached:         130020 kB
SwapCached:          0 kB
Active:         127804 kB
Inactive:        73244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1791472 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4292 kB
Writeback:           0 kB
AnonPages:       59480 kB
Mapped:          15340 kB
Slab:            44732 kB
PageTables:       4012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181484 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= 62456 MiB
End job on node045 at 2010-06-15 19:37:42