Trace number 1869354

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 NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? (TO) 1800.34 1800.84

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.05
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.19/0.25	c SCIP version 1.1.0.7
0.19/0.25	c LP-Solver SoPlex 1.4.1
0.19/0.25	c user parameter file <scip.set> not found - using default parameters
0.19/0.25	c read problem <HOME/instance-1869354-1245170881.opb>
0.19/0.25	c original problem has 2470 variables (2470 bin, 0 int, 0 impl, 0 cont) and 4744 constraints
0.29/0.34	c start presolving problem
0.29/0.34	c presolving:
0.39/0.44	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.49/1.59	c    (1.3s) probing: 113/2470 (4.6%) - 0 fixings, 0 aggregations, 745 implications, 0 bound changes
1.49/1.59	c    (1.3s) probing aborted: 100/100 successive totally useless probings
1.49/1.59	c presolving (2 rounds):
1.49/1.59	c  0 deleted vars, 2366 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.49/1.59	c  4888 implications, 0 cliques
1.49/1.59	c presolved problem has 2470 variables (2470 bin, 0 int, 0 impl, 0 cont) and 2378 constraints
1.49/1.59	c      12 constraints of type <knapsack>
1.49/1.59	c    2366 constraints of type <linear>
1.49/1.59	c transformed objective value is always integral (scale: 1)
1.49/1.59	c Presolving Time: 1.24
1.49/1.59	c OPT-LIN
1.49/1.59	c -----------------------------------------------------------------------------------------------
1.49/1.59	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.49/1.59	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.59	c limits/memory = c 1620
1.49/1.59	c # maximal time in seconds to run
1.49/1.59	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.59	c limits/time = c 1791
1.49/1.59	c # frequency for displaying node information lines
1.49/1.59	c # [type: int, range: [-1,2147483647], default: 100]
1.49/1.59	c display/freq = c 10000
1.49/1.59	c -----------------------------------------------------------------------------------------------
1.49/1.59	c start solving problem
1.49/1.59	c 
1.99/2.02	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.99/2.02	c   1.7s|     1 |     0 |  2865 |  19M|   0 |1443 |2470 |2378 |2378 |2470 |2378 |   0 |   0 |   0 | 1.200000e+01 |      --      |    Inf 
5.09/5.13	c   4.8s|     1 |     0 |  7151 |  20M|   0 |1449 |2470 |2378 |2378 |2470 |2422 |  44 |   0 |   0 | 1.200000e+01 |      --      |    Inf 
5.59/5.63	c   5.3s|     1 |     0 |  7195 |  20M|   0 |1454 |2470 |2378 |2378 |2470 |2458 |  80 |   0 |   0 | 1.200000e+01 |      --      |    Inf 
6.19/6.30	c   6.0s|     1 |     0 |  7467 |  21M|   0 |1473 |2470 |2378 |2378 |2470 |2525 | 147 |   0 |   0 | 1.200198e+01 |      --      |    Inf 
7.19/7.21	c   6.9s|     1 |     0 |  7778 |  22M|   0 |1469 |2470 |2378 |2378 |2470 |2591 | 213 |   0 |   0 | 1.216667e+01 |      --      |    Inf 
8.19/8.22	c   7.8s|     1 |     0 |  8123 |  22M|   0 |1467 |2470 |2378 |2378 |2470 |2642 | 264 |   0 |   0 | 1.228571e+01 |      --      |    Inf 
9.29/9.36	c   9.0s|     1 |     0 |  8531 |  23M|   0 |1473 |2470 |2378 |2378 |2470 |2695 | 317 |   0 |   0 | 1.250000e+01 |      --      |    Inf 
10.59/10.67	c  10.3s|     1 |     0 |  9020 |  23M|   0 |1473 |2470 |2378 |2378 |2470 |2757 | 379 |   0 |   0 | 1.275000e+01 |      --      |    Inf 
12.58/12.68	c  12.3s|     1 |     0 |  9611 |  24M|   0 |1397 |2470 |2378 |2378 |2470 |2795 | 417 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
14.19/14.22	c  13.8s|     1 |     0 | 10059 |  24M|   0 |1391 |2470 |2378 |2378 |2470 |2846 | 468 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
16.09/16.14	c  15.8s|     1 |     0 | 10729 |  25M|   0 |1381 |2470 |2378 |2378 |2470 |2897 | 519 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
17.08/17.15	c  16.8s|     1 |     0 | 11479 |  25M|   0 |1372 |2470 |2378 |2378 |2470 |2921 | 543 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
18.09/18.10	c  17.7s|     1 |     0 | 12223 |  25M|   0 |1376 |2470 |2378 |2378 |2470 |2944 | 566 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
19.08/19.14	c  18.7s|     1 |     0 | 12922 |  25M|   0 |1373 |2470 |2378 |2378 |2470 |2975 | 597 |   0 |   0 | 1.300000e+01 |      --      |    Inf 
114.05/114.12	c   113s|     1 |     2 | 12922 |  25M|   0 |1373 |2470 |2378 |2378 |2470 |2975 | 597 |   0 |  81 | 1.300000e+01 |      --      |    Inf 
1551.36/1551.84	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1551.36/1551.84	c  1539s| 10000 |  6027 |  3159k|  63M| 187 | 771 |2470 |4892 |2391 |2470 |2485 | 597 |  14k|5912 | 1.700000e+01 |      --      |    Inf 
1800.09/1800.68	c 
1800.09/1800.68	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.68	c Solving Time (sec) : 1785.70
1800.09/1800.68	c Solving Nodes      : 12311
1800.09/1800.68	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.09/1800.68	c Dual Bound         : +1.80000000000000e+01
1800.09/1800.68	c Gap                : infinite
1800.09/1800.68	c NODE         12311
1800.09/1800.68	c DUAL BOUND   18
1800.09/1800.68	c PRIMAL BOUND 1e+20
1800.09/1800.68	c GAP          1e+20
1800.09/1800.68	s UNKNOWN
1800.09/1800.68	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.68	c Solving Time       :    1785.70
1800.09/1800.68	c Original Problem   :
1800.09/1800.68	c   Problem name     : HOME/instance-1869354-1245170881.opb
1800.09/1800.68	c   Variables        : 2470 (2470 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.68	c   Constraints      : 4744 initial, 4744 maximal
1800.09/1800.68	c Presolved Problem  :
1800.09/1800.68	c   Problem name     : t_HOME/instance-1869354-1245170881.opb
1800.09/1800.68	c   Variables        : 2470 (2470 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.68	c   Constraints      : 2378 initial, 7680 maximal
1800.09/1800.68	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.09/1800.68	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.68	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.68	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.68	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.68	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.68	c   probing          :       1.11          0          0          0          0          0          0          0          0
1800.09/1800.68	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.68	c   linear           :       0.12          0          0          0          0          0       2366          0          0
1800.09/1800.68	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.68	c   root node        :          -          0          -          -          0          -          -          -          -
1800.09/1800.68	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.68	c   integral         :          0          0          0      11070          0         26       5386          0          0      19826
1800.09/1800.68	c   knapsack         :         12         13      53041          0          0        310      13393        140          0          0
1800.09/1800.68	c   linear           :       2366         13      52731          0          0       1999    1163227          1          0          0
1800.09/1800.68	c   logicor          :          0+         0      29061          0          0        161      21992          0          0          0
1800.09/1800.68	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.09/1800.68	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.09/1800.68	c   integral         :     606.49       0.00       0.00     606.49       0.00
1800.09/1800.68	c   knapsack         :       3.69       0.00       3.69       0.00       0.00
1800.09/1800.68	c   linear           :     134.36       0.00     134.36       0.00       0.00
1800.09/1800.68	c   logicor          :       3.42       0.00       3.42       0.00       0.00
1800.09/1800.68	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.09/1800.68	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.09/1800.68	c   rootredcost      :       0.03          0          0          0
1800.09/1800.68	c   pseudoobj        :       0.11      52817          0          0
1800.09/1800.68	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.09/1800.68	c   propagation      :       0.64       2470       2470      24814       36.3         96       22.2          -
1800.09/1800.68	c   infeasible LP    :       5.58       4520       4520      11487       21.7        217       17.9          0
1800.09/1800.68	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.68	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.68	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.09/1800.68	c   applied globally :          -          -          -      17657       25.1          -          -          -
1800.09/1800.68	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.09/1800.68	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.09/1800.68	c   cut pool         :       0.03         12          -          -       8178          -    (maximal pool size: 7012)
1800.09/1800.68	c   redcost          :       1.89      11053          0         18          0          0
1800.09/1800.68	c   impliedbounds    :       0.02         13          0          0          9          0
1800.09/1800.68	c   intobj           :       0.00          0          0          0          0          0
1800.09/1800.68	c   gomory           :       0.48         13          0          0        314          0
1800.09/1800.68	c   strongcg         :       0.49         13          0          0        295          0
1800.09/1800.68	c   cmir             :       3.81         10          0          0       5000          0
1800.09/1800.68	c   flowcover        :       2.60         10          0          0       2000          0
1800.09/1800.68	c   clique           :       0.00          1          0          0          0          0
1800.09/1800.68	c   zerohalf         :       0.00          0          0          0          0          0
1800.09/1800.68	c   mcf              :       0.00          1          0          0          0          0
1800.09/1800.68	c Pricers            :       Time      Calls       Vars
1800.09/1800.68	c   problem variables:       0.00          0          0
1800.09/1800.68	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.68	c   relpscost        :     606.46      11070         26       5386          0          0      19826
1800.09/1800.68	c   pscost           :       0.00          0          0          0          0          0          0
1800.09/1800.68	c   inference        :       0.00          0          0          0          0          0          0
1800.09/1800.68	c   mostinf          :       0.00          0          0          0          0          0          0
1800.09/1800.68	c   leastinf         :       0.00          0          0          0          0          0          0
1800.09/1800.68	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.09/1800.68	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.09/1800.68	c   random           :       0.00          0          0          0          0          0          0
1800.09/1800.68	c Primal Heuristics  :       Time      Calls      Found
1800.09/1800.68	c   LP solutions     :       0.00          -          0
1800.09/1800.68	c   pseudo solutions :       0.00          -          0
1800.09/1800.68	c   oneopt           :       0.01          0          0
1800.09/1800.68	c   crossover        :       0.00          0          0
1800.09/1800.68	c   guideddiving     :       0.00          0          0
1800.09/1800.68	c   coefdiving       :      94.89         16          0
1800.09/1800.68	c   fracdiving       :      65.64         32          0
1800.09/1800.68	c   objpscostdiving  :      28.30         17          0
1800.09/1800.68	c   veclendiving     :      22.25         35          0
1800.09/1800.68	c   rootsoldiving    :      11.76         18          0
1800.09/1800.68	c   linesearchdiving :      20.73         36          0
1800.09/1800.68	c   pscostdiving     :      28.37         36          0
1800.09/1800.68	c   feaspump         :      22.04         19          0
1800.09/1800.68	c   simplerounding   :       0.01          0          0
1800.09/1800.68	c   rounding         :       1.60       1435          0
1800.09/1800.68	c   shifting         :       9.80        436          0
1800.09/1800.68	c   intshifting      :       0.00          0          0
1800.09/1800.68	c   fixandinfer      :       0.00          0          0
1800.09/1800.68	c   intdiving        :       0.00          0          0
1800.09/1800.68	c   actconsdiving    :       0.00          0          0
1800.09/1800.68	c   octane           :       0.00          0          0
1800.09/1800.68	c   rens             :       0.01          0          0
1800.09/1800.68	c   rins             :       0.00          0          0
1800.09/1800.68	c   localbranching   :       0.00          0          0
1800.09/1800.68	c   mutation         :       0.00          0          0
1800.09/1800.68	c   dins             :       0.00          0          0
1800.09/1800.68	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.09/1800.68	c   primal LP        :       0.01          0          0       0.00       0.00
1800.09/1800.68	c   dual LP          :     697.39      12189    2947514     241.82    4226.49
1800.09/1800.68	c   barrier LP       :       0.00          0          0       0.00          -
1800.09/1800.68	c   diving/probing LP:     248.82      10560     723235      68.49    2906.66
1800.09/1800.68	c   strong branching :     600.19       8213    1652512     201.21    2753.31
1800.09/1800.68	c     (at root node) :          -         81      76376     942.91          -
1800.09/1800.68	c   conflict analysis:       0.00          0          0       0.00          -
1800.09/1800.68	c B&B Tree           :
1800.09/1800.68	c   number of runs   :          1
1800.09/1800.68	c   nodes            :      12311
1800.09/1800.68	c   nodes (total)    :      12311
1800.09/1800.68	c   nodes left       :       6687
1800.09/1800.68	c   max depth        :        187
1800.09/1800.68	c   max depth (total):        187
1800.09/1800.68	c   backtracks       :       1227 (10.0%)
1800.09/1800.68	c   delayed cutoffs  :        829
1800.09/1800.68	c   repropagations   :       8987 (273786 domain reductions, 521 cutoffs)
1800.09/1800.68	c   avg switch length:       3.97
1800.09/1800.68	c   switching time   :      21.74
1800.09/1800.68	c Solution           :
1800.09/1800.68	c   Solutions found  :          0 (0 improvements)
1800.09/1800.68	c   Primal Bound     :          -
1800.09/1800.68	c   Dual Bound       : +1.80000000000000e+01
1800.09/1800.68	c   Gap              :   infinite
1800.09/1800.68	c   Root Dual Bound  : +1.30000000000000e+01
1800.29/1800.84	c Time complete: 1800.33.

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

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.85 0.97 0.99 3/64 5109
/proc/meminfo: memFree=1709040/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=6100 CPUtime=0
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 525 0 0 0 0 0 0 0 18 0 1 0 184687794 6246400 507 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/5109/statm: 1525 518 326 886 0 635 0

[startup+0.105236 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 5109
/proc/meminfo: memFree=1709040/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=11228 CPUtime=0.09
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 2123 0 0 0 9 0 0 0 18 0 1 0 184687794 11497472 2105 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/5109/statm: 2807 2105 354 886 0 1917 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11228

[startup+0.202244 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 5109
/proc/meminfo: memFree=1709040/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=13860 CPUtime=0.19
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 2802 0 0 0 19 0 0 0 18 0 1 0 184687794 14192640 2784 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/5109/statm: 3465 2784 354 886 0 2575 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13860

[startup+0.302256 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 5109
/proc/meminfo: memFree=1709040/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=33948 CPUtime=0.29
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 8029 0 0 0 27 2 0 0 19 0 1 0 184687794 34762752 7657 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 8487 7668 375 886 0 7597 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33948

[startup+0.701296 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 5109
/proc/meminfo: memFree=1709040/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=54424 CPUtime=0.69
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 12850 0 0 0 65 4 0 0 23 0 1 0 184687794 55730176 12478 1992294400 4194304 7823515 548682068736 18446744073709551615 5062865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 13606 12478 442 886 0 12716 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54424

[startup+1.50138 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 5110
/proc/meminfo: memFree=1660712/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=54424 CPUtime=1.49
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 12850 0 0 0 144 5 0 0 25 0 1 0 184687794 55730176 12478 1992294400 4194304 7823515 548682068736 18446744073709551615 5029216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 13606 12478 442 886 0 12716 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54424

[startup+3.10154 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 5110
/proc/meminfo: memFree=1650536/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=65984 CPUtime=3.09
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 16534 0 0 0 302 7 0 0 25 0 1 0 184687794 67567616 15209 1992294400 4194304 7823515 548682068736 18446744073709551615 6208356 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 16496 15209 526 886 0 15606 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65984

[startup+6.30186 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 5110
/proc/meminfo: memFree=1645552/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=79712 CPUtime=6.29
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 19667 0 0 0 619 10 0 0 25 0 1 0 184687794 81625088 18287 1992294400 4194304 7823515 548682068736 18446744073709551615 5392831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 19928 18287 550 886 0 19038 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 79712

[startup+12.7015 s]
/proc/loadavg: 0.87 0.97 0.99 2/65 5110
/proc/meminfo: memFree=1629296/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=89720 CPUtime=12.68
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 22349 0 0 0 1255 13 0 0 25 0 1 0 184687794 91873280 20867 1992294400 4194304 7823515 548682068736 18446744073709551615 5397195 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 22430 20867 551 886 0 21540 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 89720

[startup+25.5018 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 5110
/proc/meminfo: memFree=1628144/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=88836 CPUtime=25.48
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 28454 0 0 0 2528 20 0 0 25 0 1 0 184687794 90968064 20754 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 22209 20754 556 886 0 21319 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 88836

[startup+51.1014 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 5110
/proc/meminfo: memFree=1627888/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=88836 CPUtime=51.08
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 57424 0 0 0 5066 42 0 0 25 0 1 0 184687794 90968064 20732 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 22209 20732 556 886 0 21319 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 88836

[startup+102.302 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 5110
/proc/meminfo: memFree=1628016/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=88836 CPUtime=102.26
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 111024 0 0 0 10143 83 0 0 25 0 1 0 184687794 90968064 20767 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 22209 20767 556 886 0 21319 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 88836

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5110
/proc/meminfo: memFree=1624112/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=91824 CPUtime=162.25
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 125015 0 0 0 16108 117 0 0 25 0 1 0 184687794 94027776 21721 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 22956 21721 556 886 0 22066 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 91824

[startup+222.307 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5110
/proc/meminfo: memFree=1624112/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=91824 CPUtime=222.24
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 125024 0 0 0 22068 156 0 0 25 0 1 0 184687794 94027776 21730 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 22956 21730 565 886 0 22066 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 91824

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5112
/proc/meminfo: memFree=1627440/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=89512 CPUtime=282.22
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 127147 0 0 0 28025 197 0 0 25 0 1 0 184687794 91660288 20982 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 22378 20982 565 886 0 21488 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 89512

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5112
/proc/meminfo: memFree=1622200/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=93544 CPUtime=342.2
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 128414 0 0 0 33991 229 0 0 25 0 1 0 184687794 95789056 22164 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 23386 22164 565 886 0 22496 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 93544

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5112
/proc/meminfo: memFree=1620920/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=96108 CPUtime=402.17
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 128740 0 0 0 39952 265 0 0 25 0 1 0 184687794 98414592 22485 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 24027 22485 565 886 0 23137 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 96108

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5112
/proc/meminfo: memFree=1620280/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=96108 CPUtime=462.16
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 128902 0 0 0 45907 309 0 0 25 0 1 0 184687794 98414592 22647 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 24027 22647 565 886 0 23137 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 96108

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5112
/proc/meminfo: memFree=1616056/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=99792 CPUtime=522.14
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 130012 0 0 0 51864 350 0 0 25 0 1 0 184687794 102187008 23689 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 24948 23689 565 886 0 24058 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 99792

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5112
/proc/meminfo: memFree=1615672/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=100036 CPUtime=582.13
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 130102 0 0 0 57810 403 0 0 25 0 1 0 184687794 102436864 23779 1992294400 4194304 7823515 548682068736 18446744073709551615 6234850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 25009 23779 565 886 0 24119 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 100036

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5112
/proc/meminfo: memFree=1615800/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=99848 CPUtime=642.11
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 131560 0 0 0 63755 456 0 0 25 0 1 0 184687794 102244352 23748 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 24962 23748 565 886 0 24072 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 99848

[startup+702.303 s]

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

[startup+942.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5118
/proc/meminfo: memFree=1606008/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=109736 CPUtime=942.02
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 135559 0 0 0 93492 710 0 0 25 0 1 0 184687794 112369664 26218 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 27434 26218 565 886 0 26544 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 109736

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5118
/proc/meminfo: memFree=1603832/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=111980 CPUtime=1002.01
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 137508 0 0 0 99438 763 0 0 25 0 1 0 184687794 114667520 26753 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 27995 26753 565 886 0 27105 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 111980

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5118
/proc/meminfo: memFree=1597944/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=117796 CPUtime=1061.99
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 140226 0 0 0 105385 814 0 0 25 0 1 0 184687794 120623104 28206 1992294400 4194304 7823515 548682068736 18446744073709551615 6212412 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 29449 28206 565 886 0 28559 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 117796

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5118
/proc/meminfo: memFree=1595256/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=120716 CPUtime=1121.98
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 140895 0 0 0 111329 869 0 0 25 0 1 0 184687794 123613184 28875 1992294400 4194304 7823515 548682068736 18446744073709551615 6234850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 30179 28875 565 886 0 29289 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 120716

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5118
/proc/meminfo: memFree=1593592/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=122280 CPUtime=1181.96
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 144203 0 0 0 117278 918 0 0 25 0 1 0 184687794 125214720 29299 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 30570 29299 565 886 0 29680 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 122280

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5118
/proc/meminfo: memFree=1589752/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=126304 CPUtime=1241.94
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 146734 0 0 0 123225 969 0 0 25 0 1 0 184687794 129335296 30229 1992294400 4194304 7823515 548682068736 18446744073709551615 5062500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 31576 30229 565 886 0 30686 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 126304

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5118
/proc/meminfo: memFree=1588152/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=128452 CPUtime=1301.92
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 148594 0 0 0 129171 1021 0 0 25 0 1 0 184687794 131534848 30833 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 32113 30833 565 886 0 31223 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 128452

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5118
/proc/meminfo: memFree=1584248/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=131256 CPUtime=1361.91
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 149345 0 0 0 135116 1075 0 0 25 0 1 0 184687794 134406144 31584 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 32814 31584 565 886 0 31924 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 131256

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5118
/proc/meminfo: memFree=1582008/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=133400 CPUtime=1421.9
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 151175 0 0 0 141064 1126 0 0 25 0 1 0 184687794 136601600 32122 1992294400 4194304 7823515 548682068736 18446744073709551615 5734723 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 33350 32122 565 886 0 32460 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 133400

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5118
/proc/meminfo: memFree=1580408/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=135028 CPUtime=1481.88
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 151561 0 0 0 147010 1178 0 0 25 0 1 0 184687794 138268672 32508 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 33757 32508 565 886 0 32867 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 135028

[startup+1542.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5118
/proc/meminfo: memFree=1577208/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=138096 CPUtime=1541.87
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 153759 0 0 0 152964 1223 0 0 25 0 1 0 184687794 141410304 33298 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 34524 33298 565 886 0 33634 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 138096

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5118
/proc/meminfo: memFree=1574072/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=141568 CPUtime=1601.84
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 154553 0 0 0 158917 1267 0 0 25 0 1 0 184687794 144965632 34080 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 35392 34080 565 886 0 34502 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 141568

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5118
/proc/meminfo: memFree=1569592/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=145876 CPUtime=1661.83
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 157082 0 0 0 164871 1312 0 0 25 0 1 0 184687794 149377024 35179 1992294400 4194304 7823515 548682068736 18446744073709551615 5020805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 36469 35179 565 886 0 35579 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 145876

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5118
/proc/meminfo: memFree=1566392/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=149436 CPUtime=1721.81
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 159108 0 0 0 170821 1360 0 0 25 0 1 0 184687794 153022464 35971 1992294400 4194304 7823515 548682068736 18446744073709551615 5066015 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 37359 35971 565 886 0 36469 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 149436

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5118
/proc/meminfo: memFree=1565688/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=149880 CPUtime=1781.79
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 162062 0 0 0 176767 1412 0 0 25 0 1 0 184687794 153477120 36167 1992294400 4194304 7823515 548682068736 18446744073709551615 5029472 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 37470 36167 565 886 0 36580 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 149880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5118
/proc/meminfo: memFree=1565112/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=150516 CPUtime=1800.09
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 162200 0 0 0 178586 1423 0 0 25 0 1 0 184687794 154128384 36305 1992294400 4194304 7823515 548682068736 18446744073709551615 6234848 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5109/statm: 37629 36305 565 886 0 36739 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 150516

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5119
/proc/meminfo: memFree=1565104/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=150516 CPUtime=1800.19
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 162204 0 0 0 178596 1423 0 0 25 0 1 0 184687794 154128384 36309 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 1 0 0
/proc/5109/statm: 37629 36309 569 886 0 36739 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 150516

[startup+1800.81 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 5119
/proc/meminfo: memFree=1565104/2055920 swapFree=4192812/4192956
[pid=5109] ppid=5107 vsize=150516 CPUtime=1800.29
/proc/5109/stat : 5109 (pbscip.linux.x8) R 5107 5109 5072 0 -1 4194304 162204 0 0 0 178606 1423 0 0 25 0 1 0 184687794 154128384 36309 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 1 0 0
/proc/5109/statm: 37629 36309 569 886 0 36739 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 150516

Child status: 0
Real time (s): 1800.84
CPU time (s): 1800.34
CPU user time (s): 1786.08
CPU system time (s): 14.2628
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 152788

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

runsolver used 1.52477 second user time and 5.03923 second system time

The end

Launcher Data 

Begin job on node27 at 2009-06-16 18:48:01
IDJOB=1869354
IDBENCH=2640
IDSOLVER=683
FILE ID=node27/1869354-1245170881
PBS_JOBID= 9363888
Free space on /tmp= 66288 MiB

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

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

MD5SUM BENCH= 292e71503f1e4f136e087e61da3c7ed4
RANDOM SEED=642660256

node27.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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		: 2800.234
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5521.40
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		: 2800.234
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1709456 kB
Buffers:         51436 kB
Cached:         220020 kB
SwapCached:          0 kB
Active:          46572 kB
Inactive:       239164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1709456 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           11040 kB
Writeback:           0 kB
Mapped:          24084 kB
Slab:            46504 kB
Committed_AS:   156288 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264948 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66276 MiB
End job on node27 at 2009-06-16 19:18:04