Trace number 2693233

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 NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1800.54 1800.5

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_1-unsat--soft-33-100-0.wbo
MD5SUM45ee7d19535e08aa25eac21bd6c9cde2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark2.09968
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables9272
Total number of constraints29174
Number of soft constraints19508
Number of constraints which are clauses28874
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints300
Minimum length of a constraint1
Maximum length of a constraint35
Top cost 985166
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 985165
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 231
Number of bits of the biggest sum of numbers8
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: Clp 1.11.1] [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-2693233-1277918093.wbo>
0.19/0.29	c original problem has 48288 variables (28780 bin, 0 int, 0 impl, 19508 cont) and 48683 constraints
0.19/0.29	c problem read
0.19/0.29	c presolving settings loaded
1.39/1.43	c presolving:
1.49/1.55	c (round 1) 252 del vars, 818 del conss, 129 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 67748 impls, 0 clqs
1.59/1.63	c (round 2) 819 del vars, 2239 del conss, 196 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 67910 impls, 0 clqs
1.69/1.71	c (round 3) 1977 del vars, 3339 del conss, 239 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 68016 impls, 0 clqs
1.69/1.75	c (round 4) 2982 del vars, 3788 del conss, 268 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 68056 impls, 0 clqs
1.69/1.79	c (round 5) 3404 del vars, 4082 del conss, 293 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 68076 impls, 0 clqs
1.79/1.82	c (round 6) 3654 del vars, 4273 del conss, 300 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 68082 impls, 0 clqs
1.79/1.84	c (round 7) 3823 del vars, 4346 del conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 68082 impls, 0 clqs
1.79/1.86	c (round 8) 3891 del vars, 4364 del conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 68082 impls, 0 clqs
1.89/1.91	c (round 9) 3908 del vars, 4367 del conss, 18181 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 68082 impls, 0 clqs
1.99/2.07	c (round 10) 3911 del vars, 4367 del conss, 18181 chg bounds, 0 chg sides, 0 chg coeffs, 9020 upgd conss, 68082 impls, 0 clqs
8.19/8.21	c    (7.6s) probing: 1000/26498 (3.8%) - 0 fixings, 0 aggregations, 4404 implications, 0 bound changes
13.49/13.50	c    (12.9s) probing: 2000/26498 (7.5%) - 0 fixings, 0 aggregations, 5481 implications, 0 bound changes
13.49/13.50	c    (12.9s) probing: 2001/26498 (7.6%) - 0 fixings, 0 aggregations, 5481 implications, 0 bound changes
13.49/13.50	c    (12.9s) probing aborted: 2000/2000 successive useless probings
13.49/13.51	c presolving (11 rounds):
13.49/13.51	c  3911 deleted vars, 4367 deleted constraints, 18181 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
13.49/13.51	c  85017 implications, 181 cliques
13.49/13.51	c presolved problem has 44377 variables (26498 bin, 0 int, 0 impl, 17879 cont) and 44316 constraints
13.49/13.51	c   17879 constraints of type <indicator>
13.49/13.51	c     462 constraints of type <varbound>
13.49/13.51	c     103 constraints of type <knapsack>
13.49/13.51	c   17417 constraints of type <linear>
13.49/13.51	c    8455 constraints of type <logicor>
13.49/13.51	c transformed objective value is always integral (scale: 1)
13.49/13.51	c Presolving Time: 12.78
13.49/13.51	c - non default parameters ----------------------------------------------------------------------
13.49/13.51	c # SCIP version 1.2.1.2
13.49/13.51	c 
13.49/13.51	c # frequency for displaying node information lines
13.49/13.51	c # [type: int, range: [-1,2147483647], default: 100]
13.49/13.51	c display/freq = 10000
13.49/13.51	c 
13.49/13.51	c # maximal time in seconds to run
13.49/13.51	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.49/13.51	c limits/time = 1799.71
13.49/13.51	c 
13.49/13.51	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
13.49/13.51	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.49/13.51	c limits/memory = 3420
13.49/13.51	c 
13.49/13.51	c # should presolving try to simplify inequalities
13.49/13.51	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.49/13.51	c constraints/linear/simplifyinequalities = TRUE
13.49/13.51	c 
13.49/13.51	c # should presolving try to simplify knapsacks
13.49/13.51	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.49/13.51	c constraints/knapsack/simplifyinequalities = TRUE
13.49/13.51	c 
13.49/13.51	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
13.49/13.51	c # [type: int, range: [-1,2147483647], default: -1]
13.49/13.51	c separating/rapidlearning/freq = 0
13.49/13.51	c 
13.49/13.51	c -----------------------------------------------------------------------------------------------
13.49/13.51	c start solving
13.49/13.52	c 
13.59/13.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
13.59/13.66	c  13.1s|     1 |     0 |    12 |     - | 164M|   0 |  12 |  44k|  44k|  44k|8558 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
16.09/16.11	c  15.4s|     1 |     0 |   913 |     - | 164M|   0 |  53 |  44k|  44k|  44k|9034 | 476 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
18.20/18.28	c  17.6s|     1 |     0 |  1321 |     - | 165M|   0 |   0 |  44k|  44k|  44k|9250 | 692 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
18.29/18.34	c  17.6s|     1 |     0 |  1728 |     - | 165M|   0 |   2 |  44k|  44k|  44k|9451 | 893 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
20.39/20.44	c  19.7s|     1 |     0 |  2129 |     - | 165M|   0 | 241 |  44k|  44k|  44k|9658 |1100 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
21.69/21.74	c  21.0s|     1 |     0 |  2309 |     - | 166M|   0 |   4 |  44k|  44k|  44k|9879 |1321 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
23.89/23.97	c  23.2s|     1 |     0 |  2599 |     - | 166M|   0 |   6 |  44k|  44k|  44k|  10k|1526 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
26.19/26.30	c  25.5s|     1 |     0 |  2912 |     - | 166M|   0 | 705 |  44k|  44k|  44k|  10k|1735 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
27.20/27.21	c  26.3s|     1 |     2 |  2912 |     - | 167M|   0 | 705 |  44k|  44k|  44k|  10k|1735 |   0 |  20 | 0.000000e+00 |      --      |    Inf 
523.90/523.97	c   485s| 10000 | 10001 |125142 |  12.2 | 314M|  95 |   2 |  44k|  44k|  44k|  11k|  57k|  20 |8026 | 0.000000e+00 |      --      |    Inf 
896.61/896.65	c   836s| 20000 | 20001 |248504 |  12.3 | 460M| 103 |  10 |  44k|  44k|  44k|  11k| 115k|  32 |9921 | 0.000000e+00 |      --      |    Inf 
1301.82/1301.89	c  1217s| 30000 | 30001 |390612 |  12.9 | 606M| 103 |  19 |  44k|  44k|  44k|  11k| 191k|  33 |  13k| 0.000000e+00 |      --      |    Inf 
1698.03/1698.08	c  1590s| 40000 | 40001 |520569 |  12.9 | 751M| 109 |  25 |  44k|  44k|  44k|  11k| 262k|  40 |  15k| 0.000000e+00 |      --      |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.01	c 
1800.05/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.01	c Solving Time (sec) : 1686.27
1800.05/1800.01	c Solving Nodes      : 42591
1800.05/1800.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.01	c Gap                : infinite
1800.05/1800.01	s UNKNOWN
1800.05/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.01	c Solving Time       :    1686.27
1800.05/1800.01	c Original Problem   :
1800.05/1800.01	c   Problem name     : HOME/instance-2693233-1277918093.wbo
1800.05/1800.01	c   Variables        : 48288 (28780 binary, 0 integer, 0 implicit integer, 19508 continuous)
1800.05/1800.01	c   Constraints      : 48683 initial, 48683 maximal
1800.05/1800.01	c Presolved Problem  :
1800.05/1800.01	c   Problem name     : t_HOME/instance-2693233-1277918093.wbo
1800.05/1800.01	c   Variables        : 44377 (26498 binary, 0 integer, 0 implicit integer, 17879 continuous)
1800.05/1800.01	c   Constraints      : 44316 initial, 44353 maximal
1800.05/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.01	c   trivial          :       0.02          0          0          0          0          0          0          0          0
1800.05/1800.01	c   dualfix          :       0.04       3435          0          0          0          0          0          0          0
1800.05/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   implics          :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.01	c   probing          :      11.31          0          0          0          0          0          0          0          0
1800.05/1800.01	c   indicator        :       0.12          0          0          0          0          0       1629          0          0
1800.05/1800.01	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   linear           :       0.26        302        174          0      18181          0       2738          0          0
1800.05/1800.01	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.05/1800.01	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.01	c   integral         :          0          0          0      45803          0          0          0          0          0      81830
1800.05/1800.01	c   indicator        :      17879          0     163739       4888          0          0      22679          0          0          0
1800.05/1800.01	c   varbound         :        462          7     163739       4888          0          0       2637        395          0          0
1800.05/1800.01	c   knapsack         :        103          7     163739       4828          0          0      23867         20          0          0
1800.05/1800.01	c   linear           :      17417          7     163739       4828          0          0      11219     277959          0          0
1800.05/1800.01	c   logicor          :       8455+         7     111076       1676          0          0     169459          0          0          0
1800.05/1800.01	c   countsols        :          0          0          0       1676          0          0          0          0          0          0
1800.05/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.01	c   integral         :     273.92       0.00       0.00     273.92       0.00
1800.05/1800.01	c   indicator        :      93.54       0.00      75.85      17.69       0.00
1800.05/1800.01	c   varbound         :       3.10       0.00       2.83       0.27       0.00
1800.05/1800.01	c   knapsack         :       0.97       0.00       0.94       0.03       0.00
1800.05/1800.01	c   linear           :     113.48       0.02      82.25      31.21       0.00
1800.05/1800.01	c   logicor          :       3.27       0.01       2.22       1.04       0.00
1800.05/1800.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.01	c   vbounds          :       5.40      29776          0       9031
1800.05/1800.01	c   rootredcost      :       0.04          0          0          0
1800.05/1800.01	c   pseudoobj        :     113.46     157808          0          0
1800.05/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.01	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.01	c   infeasible LP    :       0.14         41         40         40        3.0          0        0.0          0
1800.05/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.01	c   applied globally :          -          -          -         40        3.0          -          -          -
1800.05/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.01	c   cut pool         :       0.00          6          -          -          1          -    (maximal pool size: 218)
1800.05/1800.01	c   redcost          :      84.99      45800          0          0          0          0
1800.05/1800.01	c   impliedbounds    :       0.00          6          0          0         41          0
1800.05/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.01	c   gomory           :       0.15          6          0          0        697          0
1800.05/1800.01	c   strongcg         :       0.07          6          0          0         42          0
1800.05/1800.01	c   cmir             :       2.13          6          0          0         14          0
1800.05/1800.01	c   flowcover        :       9.14          6          0          0         30          0
1800.05/1800.01	c   clique           :       0.00          6          0          0          2          0
1800.05/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.01	c   mcf              :       0.01          1          0          0          0          0
1800.05/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.01	c Pricers            :       Time      Calls       Vars
1800.05/1800.01	c   problem variables:       0.00          0          0
1800.05/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.01	c   relpscost        :     273.76      40915          0          0          0          0      81830
1800.05/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   inference        :       7.66       1676          0          0          0          0       3352
1800.05/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.01	c   LP solutions     :       0.00          -          0
1800.05/1800.01	c   pseudo solutions :       0.00          -          0
1800.05/1800.01	c   oneopt           :       0.06          0          0
1800.05/1800.01	c   crossover        :       0.00          0          0
1800.05/1800.01	c   guideddiving     :       0.00          0          0
1800.05/1800.01	c   intshifting      :       0.08         33          0
1800.05/1800.01	c   rootsoldiving    :      13.84         27          0
1800.05/1800.01	c   objpscostdiving  :       4.97         57          0
1800.05/1800.01	c   feaspump         :      43.97        152          0
1800.05/1800.01	c   veclendiving     :      30.08        347          0
1800.05/1800.01	c   linesearchdiving :      24.98        347          0
1800.05/1800.01	c   pscostdiving     :      25.78        347          0
1800.05/1800.01	c   coefdiving       :      22.88        348          0
1800.05/1800.01	c   fracdiving       :      28.05        348          0
1800.05/1800.01	c   trivial          :       0.99          2          0
1800.05/1800.01	c   simplerounding   :       0.11      38543          0
1800.05/1800.01	c   zirounding       :       1.26       1000          0
1800.05/1800.01	c   rounding         :       3.00       2735          0
1800.05/1800.01	c   shifting         :      15.15        834          0
1800.05/1800.01	c   twoopt           :       0.00          0          0
1800.05/1800.01	c   fixandinfer      :       0.00          0          0
1800.05/1800.01	c   intdiving        :       0.00          0          0
1800.05/1800.01	c   actconsdiving    :       0.00          0          0
1800.05/1800.01	c   octane           :       0.00          0          0
1800.05/1800.01	c   rens             :       0.25          1          0
1800.05/1800.01	c   rins             :       0.00          0          0
1800.05/1800.01	c   localbranching   :       0.00          0          0
1800.05/1800.01	c   mutation         :       0.00          0          0
1800.05/1800.01	c   dins             :       0.00          0          0
1800.05/1800.01	c   undercover       :       0.00          0          0
1800.05/1800.01	c   nlp              :       0.00          0          0
1800.05/1800.01	c   trysol           :      27.87       1793          0
1800.05/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.01	c   primal LP        :       0.01          0          0       0.00       0.00
1800.05/1800.01	c   dual LP          :     473.63      41862     519189      12.40    1096.19
1800.05/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.01	c   diving/probing LP:      71.68       5192      31673       6.10     441.87
1800.05/1800.01	c   strong branching :     272.70      16697      95256       5.70     349.31
1800.05/1800.01	c     (at root node) :          -         20        843      42.15          -
1800.05/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.01	c B&B Tree           :
1800.05/1800.01	c   number of runs   :          1
1800.05/1800.01	c   nodes            :      42591
1800.05/1800.01	c   nodes (total)    :      42591
1800.05/1800.01	c   nodes left       :      42592
1800.05/1800.01	c   max depth        :        109
1800.05/1800.01	c   max depth (total):        109
1800.05/1800.01	c   backtracks       :        821 (1.9%)
1800.05/1800.01	c   delayed cutoffs  :          0
1800.05/1800.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.05/1800.01	c   avg switch length:       2.14
1800.05/1800.01	c   switching time   :      12.29
1800.05/1800.01	c Solution           :
1800.05/1800.01	c   Solutions found  :          0 (0 improvements)
1800.05/1800.01	c   Primal Bound     :          -
1800.05/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.01	c   Gap              :   infinite
1800.05/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.01	c   Root Iterations  :       2912
1800.44/1800.49	c Time complete: 1800.53.

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-2693233-1277918093/watcher-2693233-1277918093 -o /tmp/evaluation-result-2693233-1277918093/solver-2693233-1277918093 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693233-1277918093.wbo -t 1800 -m 3800 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18520
/proc/meminfo: memFree=30738832/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=10972 CPUtime=0
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 1665 0 0 0 0 0 0 0 24 0 1 0 133104429 11235328 1586 4089446400 4194304 9819077 140735197357728 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18520/statm: 2743 1586 392 1374 0 1364 0

[startup+0.0645921 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18520
/proc/meminfo: memFree=30738832/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=28220 CPUtime=0.05
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 5973 0 0 0 5 0 0 0 24 0 1 0 133104429 28897280 5894 4089446400 4194304 9819077 140735197357728 18446744073709551615 8583886 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18520/statm: 7055 5894 392 1374 0 5676 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 28220

[startup+0.100583 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18520
/proc/meminfo: memFree=30738832/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=34352 CPUtime=0.09
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 7565 0 0 0 9 0 0 0 24 0 1 0 133104429 35176448 7459 4089446400 4194304 9819077 140735197357728 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18520/statm: 8588 7459 392 1374 0 7209 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34352

[startup+0.300533 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18520
/proc/meminfo: memFree=30738832/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=77140 CPUtime=0.29
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 18417 0 0 0 27 2 0 0 25 0 1 0 133104429 78991360 17921 4089446400 4194304 9819077 140735197357728 18446744073709551615 4679898 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18520/statm: 19285 17921 431 1374 0 17906 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 77140

[startup+0.700457 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18520
/proc/meminfo: memFree=30738832/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=174760 CPUtime=0.69
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 41659 0 0 0 65 4 0 0 25 0 1 0 133104429 178954240 41144 4089446400 4194304 9819077 140735197357728 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18520/statm: 43690 41144 469 1374 0 42311 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 174760

[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18521
/proc/meminfo: memFree=30575820/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=179984 CPUtime=1.49
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 43080 0 0 0 142 7 0 0 25 0 1 0 133104429 184303616 42565 4089446400 4194304 9819077 140735197357728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18520/statm: 44996 42565 491 1374 0 43617 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 179984

[startup+3.10104 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18521
/proc/meminfo: memFree=30560196/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=193444 CPUtime=3.09
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 52009 0 0 0 284 25 0 0 25 0 1 0 133104429 198086656 45822 4089446400 4194304 9819077 140735197357728 18446744073709551615 4983021 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18520/statm: 48361 45822 532 1374 0 46982 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 193444

[startup+6.30043 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18521
/proc/meminfo: memFree=30556684/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=194684 CPUtime=6.29
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 52318 0 0 0 601 28 0 0 25 0 1 0 133104429 199356416 46131 4089446400 4194304 9819077 140735197357728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18520/statm: 48671 46131 532 1374 0 47292 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 194684

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18521
/proc/meminfo: memFree=30557040/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=194684 CPUtime=12.69
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 52323 0 0 0 1237 32 0 0 25 0 1 0 133104429 199356416 46136 4089446400 4194304 9819077 140735197357728 18446744073709551615 5500700 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18520/statm: 48671 46136 537 1374 0 47292 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 194684

[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18521
/proc/meminfo: memFree=30516928/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=245488 CPUtime=25.49
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 90467 0 0 0 2496 53 0 0 25 0 1 0 133104429 251379712 56400 4089446400 4194304 9819077 140735197357728 18446744073709551615 8675296 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18520/statm: 61372 56400 695 1374 0 59993 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 245488

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18521
/proc/meminfo: memFree=30512972/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=258712 CPUtime=51.09
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 2713796 0 0 0 4752 357 0 0 25 0 1 0 133104429 264921088 57856 4089446400 4194304 9819077 140735197357728 18446744073709551615 6684652 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18520/statm: 64678 57856 721 1374 0 63299 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 258712

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18523
/proc/meminfo: memFree=30501776/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=260952 CPUtime=102.3
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 7347111 0 0 0 9313 917 0 0 25 0 1 0 133104429 267214848 58953 4089446400 4194304 9819077 140735197357728 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18520/statm: 66138 58972 725 1374 0 64759 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 260952

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18525
/proc/meminfo: memFree=30489972/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=281584 CPUtime=162.3
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 12213454 0 0 0 14713 1517 0 0 25 0 1 0 133104429 288342016 62939 4089446400 4194304 9819077 140735197357728 18446744073709551615 6360834 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18520/statm: 70396 62939 740 1374 0 69017 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 281584

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18526
/proc/meminfo: memFree=30474568/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=289064 CPUtime=222.3
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 16229219 0 0 0 20231 1999 0 0 25 0 1 0 133104429 296001536 66735 4089446400 4194304 9819077 140735197357728 18446744073709551615 7309096 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18520/statm: 72266 66735 740 1374 0 70887 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 289064

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18527
/proc/meminfo: memFree=30454208/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=318404 CPUtime=282.3
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 19794734 0 0 0 25797 2433 0 0 25 0 1 0 133104429 326045696 72165 4089446400 4194304 9819077 140735197357728 18446744073709551615 6367363 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18520/statm: 79601 72165 740 1374 0 78222 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 318404

[startup+342.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/197 18602
/proc/meminfo: memFree=30512588/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=337688 CPUtime=342.3
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 23211352 0 0 0 31379 2851 0 0 25 0 1 0 133104429 345792512 77433 4089446400 4194304 9819077 140735197357728 18446744073709551615 7227167 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18520/statm: 84422 77433 740 1374 0 83043 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 337688

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/197 18604
/proc/meminfo: memFree=30461244/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=350856 CPUtime=402.3
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 26305363 0 0 0 36991 3239 0 0 25 0 1 0 133104429 359276544 82137 4089446400 4194304 9819077 140735197357728 18446744073709551615 6589133 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18520/statm: 87714 82137 740 1374 0 86335 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 350856

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 18679
/proc/meminfo: memFree=30459836/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=378208 CPUtime=462.3
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 28842080 0 0 0 42664 3566 0 0 25 0 1 0 133104429 387284992 88971 4089446400 4194304 9819077 140735197357728 18446744073709551615 6671176 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18520/statm: 94552 88971 740 1374 0 93173 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 378208

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 18680
/proc/meminfo: memFree=30417396/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=402708 CPUtime=522.3
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 31237769 0 0 0 48343 3887 0 0 25 0 1 0 133104429 412372992 95033 4089446400 4194304 9819077 140735197357728 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18520/statm: 100677 95033 740 1374 0 99298 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 402708

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 18681
/proc/meminfo: memFree=30375920/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=427004 CPUtime=582.31
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 33742542 0 0 0 54018 4213 0 0 25 0 1 0 133104429 437252096 101210 4089446400 4194304 9819077 140735197357728 18446744073709551615 6512973 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18520/statm: 106751 101210 740 1374 0 105372 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 427004

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 18683
/proc/meminfo: memFree=30352312/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=449480 CPUtime=642.31
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 36299589 0 0 0 59698 4533 0 0 25 0 1 0 133104429 460267520 106823 4089446400 4194304 9819077 140735197357728 18446744073709551615 6591535 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18520/statm: 112370 106823 740 1374 0 110991 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 449480

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.11 2.07 2.02 3/197 18737
/proc/meminfo: memFree=30262796/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=572936 CPUtime=942.31
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 50735686 0 0 0 87844 6387 0 0 25 0 1 0 133104429 586686464 136020 4089446400 4194304 9819077 140735197357728 18446744073709551615 6513039 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18520/statm: 143234 136020 740 1374 0 141855 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 572936

[startup+1002.3 s]
/proc/loadavg: 2.09 2.07 2.02 3/197 18739
/proc/meminfo: memFree=30243772/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=585896 CPUtime=1002.31
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 53965794 0 0 0 93422 6809 0 0 25 0 1 0 133104429 599957504 140737 4089446400 4194304 9819077 140735197357728 18446744073709551615 4568780 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18520/statm: 146474 140737 740 1374 0 145095 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 585896

[startup+1062.3 s]
/proc/loadavg: 2.13 2.08 2.02 3/197 18744
/proc/meminfo: memFree=30217756/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=607368 CPUtime=1062.31
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 56603369 0 0 0 99072 7159 0 0 25 0 1 0 133104429 621944832 146264 4089446400 4194304 9819077 140735197357728 18446744073709551615 7289267 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18520/statm: 151842 146264 740 1374 0 150463 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 607368

[startup+1122.3 s]
/proc/loadavg: 2.05 2.06 2.02 3/197 18745
/proc/meminfo: memFree=30196024/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=630260 CPUtime=1122.31
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 59065669 0 0 0 104756 7475 0 0 25 0 1 0 133104429 645386240 151422 4089446400 4194304 9819077 140735197357728 18446744073709551615 6589272 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18520/statm: 157565 151430 740 1374 0 156186 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 630260

[startup+1182.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/197 18746
/proc/meminfo: memFree=30173052/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=651372 CPUtime=1182.33
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 61769814 0 0 0 110420 7813 0 0 25 0 1 0 133104429 667004928 157303 4089446400 4194304 9819077 140735197357728 18446744073709551615 6003027 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18520/statm: 162843 157303 740 1374 0 161464 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 651372

[startup+1242.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/197 18748
/proc/meminfo: memFree=30151444/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=673264 CPUtime=1242.32
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 64589456 0 0 0 116068 8164 0 0 25 0 1 0 133104429 689422336 162746 4089446400 4194304 9819077 140735197357728 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18520/statm: 168316 162746 740 1374 0 166937 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 673264

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/197 18750
/proc/meminfo: memFree=30127852/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=696580 CPUtime=1302.32
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 67360357 0 0 0 121720 8512 0 0 25 0 1 0 133104429 713297920 168736 4089446400 4194304 9819077 140735197357728 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18520/statm: 174145 168736 740 1374 0 172766 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 696580

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 18752
/proc/meminfo: memFree=30106124/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=719692 CPUtime=1362.32
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 70086776 0 0 0 127372 8860 0 0 25 0 1 0 133104429 736964608 174355 4089446400 4194304 9819077 140735197357728 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18520/statm: 179923 174355 740 1374 0 178544 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 719692

[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 18753
/proc/meminfo: memFree=30083520/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=739476 CPUtime=1422.33
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 73272523 0 0 0 132975 9258 0 0 25 0 1 0 133104429 757223424 179454 4089446400 4194304 9819077 140735197357728 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18520/statm: 184869 179454 740 1374 0 183490 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 739476

[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/197 18754
/proc/meminfo: memFree=30066256/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=767416 CPUtime=1482.33
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 76139748 0 0 0 138605 9628 0 0 25 0 1 0 133104429 785833984 184261 4089446400 4194304 9819077 140735197357728 18446744073709551615 6670226 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18520/statm: 191854 184261 740 1374 0 190475 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 767416

[startup+1542.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/197 18756
/proc/meminfo: memFree=30044528/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=779632 CPUtime=1542.34
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 78855619 0 0 0 144259 9975 0 0 25 0 1 0 133104429 798343168 189418 4089446400 4194304 9819077 140735197357728 18446744073709551615 6566487 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18520/statm: 194908 189418 740 1374 0 193529 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 779632

[startup+1602.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/197 18758
/proc/meminfo: memFree=30022188/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=801748 CPUtime=1602.34
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 81491123 0 0 0 149923 10311 0 0 25 0 1 0 133104429 820989952 194991 4089446400 4194304 9819077 140735197357728 18446744073709551615 7815988 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18520/statm: 200437 194991 740 1374 0 199058 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 801748

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/197 18760
/proc/meminfo: memFree=29995376/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=829048 CPUtime=1662.34
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 83855469 0 0 0 155612 10622 0 0 25 0 1 0 133104429 848945152 201631 4089446400 4194304 9819077 140735197357728 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18520/statm: 207262 201631 740 1374 0 205883 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 829048

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 18761
/proc/meminfo: memFree=29971796/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=852464 CPUtime=1722.34
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 86064968 0 0 0 161323 10911 0 0 25 0 1 0 133104429 872923136 207539 4089446400 4194304 9819077 140735197357728 18446744073709551615 4827092 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18520/statm: 213116 207539 740 1374 0 211737 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 852464

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 18762
/proc/meminfo: memFree=29951316/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=873632 CPUtime=1782.34
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 88650931 0 0 0 166982 11252 0 0 25 0 1 0 133104429 894599168 212798 4089446400 4194304 9819077 140735197357728 18446744073709551615 6512973 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18520/statm: 218408 212798 740 1374 0 217029 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 873632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 5/197 18764
/proc/meminfo: memFree=29945480/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=878240 CPUtime=1800.05
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 89404705 0 0 0 168654 11351 0 0 25 0 1 0 133104429 899317760 214050 4089446400 4194304 9819077 140735197357728 18446744073709551615 6002962 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18520/statm: 219560 214050 740 1374 0 218181 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 878240

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.01 2.00 5/197 18764
/proc/meminfo: memFree=29945480/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=351540 CPUtime=1800.24
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 89404803 0 0 0 168670 11354 0 0 25 0 1 0 133104429 359976960 82675 4089446400 4194304 9819077 140735197357728 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18520/statm: 87885 82675 743 1374 0 86506 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 351540

[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 5/197 18764
/proc/meminfo: memFree=29945480/32951124 swapFree=67111528/67111528
[pid=18520] ppid=18518 vsize=337260 CPUtime=1800.44
/proc/18520/stat : 18520 (pbscip.linux.x8) R 18518 18520 17674 0 -1 4202496 89404803 0 0 0 168690 11354 0 0 25 0 1 0 133104429 345354240 79116 4089446400 4194304 9819077 140735197357728 18446744073709551615 5953609 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18520/statm: 84315 79116 743 1374 0 82936 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (KiB) 337260

Child status: 0
Real time (s): 1800.5
CPU time (s): 1800.54
CPU user time (s): 1686.98
CPU system time (s): 113.564
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 888072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1686.98
system time used= 113.564
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89404807
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 13057

runsolver used 2.66759 second user time and 5.8941 second system time

The end

Launcher Data 

Begin job on node147 at 2010-06-30 19:14:53
IDJOB=2693233
IDBENCH=79098
IDSOLVER=1205
FILE ID=node147/2693233-1277918093
PBS_JOBID= 11197261
Free space on /tmp= 74192 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/normalized-j605_1-unsat--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693233-1277918093/watcher-2693233-1277918093 -o /tmp/evaluation-result-2693233-1277918093/solver-2693233-1277918093 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693233-1277918093.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 45ee7d19535e08aa25eac21bd6c9cde2
RANDOM SEED=828677395

node147.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.822
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.822
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.822
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.822
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.822
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.822
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.822
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.822
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30739608 kB
Buffers:        204524 kB
Cached:        1510512 kB
SwapCached:          0 kB
Active:         841044 kB
Inactive:      1222432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30739608 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7020 kB
Writeback:           0 kB
AnonPages:      349056 kB
Mapped:          16928 kB
Slab:            81656 kB
PageTables:       5748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   509576 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74188 MiB
End job on node147 at 2010-06-30 19:44:55