Trace number 2693131

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.37 1800.33

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-33-100-0.wbo
MD5SUM94a4b61e4b099e692126d009e42b1552
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark45.862
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4960
Total number of constraints16157
Number of soft constraints10743
Number of constraints which are clauses15841
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints316
Minimum length of a constraint1
Maximum length of a constraint30
Top cost 536531
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 536530
Biggest number in a constraint 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 201
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-2693131-1277916436.wbo>
0.09/0.18	c original problem has 26446 variables (15703 bin, 0 int, 0 impl, 10743 cont) and 26901 constraints
0.09/0.18	c problem read
0.09/0.18	c presolving settings loaded
0.49/0.56	c presolving:
0.59/0.63	c (round 1) 209 del vars, 554 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 39511 impls, 0 clqs
0.59/0.67	c (round 2) 599 del vars, 1649 del conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 39731 impls, 0 clqs
0.69/0.71	c (round 3) 1417 del vars, 2456 del conss, 215 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 39753 impls, 0 clqs
0.69/0.74	c (round 4) 2155 del vars, 2741 del conss, 228 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 39759 impls, 0 clqs
0.69/0.75	c (round 5) 2400 del vars, 2827 del conss, 229 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 39759 impls, 0 clqs
0.69/0.76	c (round 6) 2482 del vars, 2847 del conss, 229 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 39759 impls, 0 clqs
0.78/0.80	c (round 7) 2502 del vars, 2849 del conss, 9952 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 39759 impls, 0 clqs
0.78/0.89	c (round 8) 2504 del vars, 2849 del conss, 9952 chg bounds, 0 chg sides, 0 chg coeffs, 4898 upgd conss, 39759 impls, 0 clqs
3.49/3.52	c    (3.3s) probing: 1000/14219 (7.0%) - 0 fixings, 0 aggregations, 3201 implications, 0 bound changes
5.69/5.75	c    (5.5s) probing: 2000/14219 (14.1%) - 0 fixings, 0 aggregations, 3591 implications, 0 bound changes
5.69/5.75	c    (5.5s) probing: 2001/14219 (14.1%) - 0 fixings, 0 aggregations, 3591 implications, 0 bound changes
5.69/5.75	c    (5.5s) probing aborted: 2000/2000 successive useless probings
5.69/5.75	c presolving (9 rounds):
5.69/5.75	c  2504 deleted vars, 2849 deleted constraints, 9952 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
5.69/5.75	c  49706 implications, 156 cliques
5.69/5.75	c presolved problem has 23942 variables (14219 bin, 0 int, 0 impl, 9723 cont) and 24052 constraints
5.69/5.75	c    9723 constraints of type <indicator>
5.69/5.75	c     292 constraints of type <varbound>
5.69/5.75	c     113 constraints of type <knapsack>
5.69/5.75	c    9431 constraints of type <linear>
5.69/5.75	c    4493 constraints of type <logicor>
5.69/5.75	c transformed objective value is always integral (scale: 1)
5.69/5.75	c Presolving Time: 5.43
5.69/5.75	c - non default parameters ----------------------------------------------------------------------
5.69/5.75	c # SCIP version 1.2.1.2
5.69/5.75	c 
5.69/5.75	c # frequency for displaying node information lines
5.69/5.75	c # [type: int, range: [-1,2147483647], default: 100]
5.69/5.75	c display/freq = 10000
5.69/5.75	c 
5.69/5.75	c # maximal time in seconds to run
5.69/5.75	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.69/5.75	c limits/time = 1799.83
5.69/5.75	c 
5.69/5.75	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.69/5.75	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.69/5.75	c limits/memory = 3420
5.69/5.75	c 
5.69/5.75	c # should presolving try to simplify inequalities
5.69/5.75	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.69/5.75	c constraints/linear/simplifyinequalities = TRUE
5.69/5.75	c 
5.69/5.75	c # should presolving try to simplify knapsacks
5.69/5.75	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.69/5.75	c constraints/knapsack/simplifyinequalities = TRUE
5.69/5.75	c 
5.69/5.75	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.69/5.75	c # [type: int, range: [-1,2147483647], default: -1]
5.69/5.75	c separating/rapidlearning/freq = 0
5.69/5.75	c 
5.69/5.75	c -----------------------------------------------------------------------------------------------
5.69/5.75	c start solving
5.69/5.76	c 
5.79/5.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.79/5.84	c   5.6s|     1 |     0 |    17 |     - |  91M|   0 |  17 |  23k|  24k|  23k|4606 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.59/6.65	c   6.4s|     1 |     0 |   482 |     - |  91M|   0 |   3 |  23k|  24k|  23k|4896 | 290 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.19/7.25	c   7.0s|     1 |     0 |   792 |     - |  91M|   0 |   1 |  23k|  24k|  23k|5098 | 492 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.79/7.86	c   7.6s|     1 |     0 |  1089 |     - |  91M|   0 |   1 |  23k|  24k|  23k|5300 | 694 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
8.39/8.49	c   8.2s|     1 |     0 |  1396 |     - |  91M|   0 | 265 |  23k|  24k|  23k|5504 | 898 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
8.99/9.00	c   8.7s|     1 |     0 |  1731 |     - |  92M|   0 | 726 |  23k|  24k|  23k|5729 |1123 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.90/9.96	c   9.7s|     1 |     0 |  2077 |     - |  92M|   0 | 418 |  23k|  24k|  23k|6020 |1414 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.59/10.60	c  10.3s|     1 |     0 |  2400 |     - |  92M|   0 | 748 |  23k|  24k|  23k|6223 |1617 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
11.49/11.53	c  11.2s|     1 |     2 |  2400 |     - |  93M|   0 | 748 |  23k|  24k|  23k|6223 |1617 |   0 |  17 | 0.000000e+00 |      --      |    Inf 
443.69/443.70	c   426s| 10000 | 10001 |229057 |  22.7 | 177M|  97 |   7 |  23k|  24k|  23k|6239 |  37k|  82 |7982 | 0.000000e+00 |      --      |    Inf 
728.71/728.79	c   698s| 20000 | 20001 |403665 |  20.1 | 260M|  97 | 326 |  23k|  24k|  23k|6219 |  66k| 124 |9998 | 0.000000e+00 |      --      |    Inf 
1008.41/1008.49	c   963s| 30000 | 30001 |575164 |  19.1 | 343M|  99 |  26 |  23k|  24k|  23k|6271 | 103k| 135 |  12k| 0.000000e+00 |      --      |    Inf 
1304.72/1304.74	c  1246s| 40000 | 40001 |780262 |  19.4 | 425M|  99 |   1 |  23k|  24k|  23k|6273 | 145k| 166 |  14k| 0.000000e+00 |      --      |    Inf 
1595.82/1595.85	c  1523s| 50000 | 50001 |981417 |  19.6 | 508M|  99 |  24 |  23k|  24k|  23k|6340 | 188k| 193 |  16k| 0.000000e+00 |      --      |    Inf 
1800.03/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00	c 
1800.03/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.00	c Solving Time (sec) : 1716.74
1800.03/1800.00	c Solving Nodes      : 57481
1800.03/1800.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.03/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.03/1800.00	c Gap                : infinite
1800.03/1800.00	s UNKNOWN
1800.03/1800.00	c SCIP Status        : solving was interrupted [user interrupt]
1800.03/1800.00	c Solving Time       :    1716.74
1800.03/1800.00	c Original Problem   :
1800.03/1800.00	c   Problem name     : HOME/instance-2693131-1277916436.wbo
1800.03/1800.00	c   Variables        : 26446 (15703 binary, 0 integer, 0 implicit integer, 10743 continuous)
1800.03/1800.00	c   Constraints      : 26901 initial, 26901 maximal
1800.03/1800.00	c Presolved Problem  :
1800.03/1800.00	c   Problem name     : t_HOME/instance-2693131-1277916436.wbo
1800.03/1800.00	c   Variables        : 23942 (14219 binary, 0 integer, 0 implicit integer, 9723 continuous)
1800.03/1800.00	c   Constraints      : 24052 initial, 24202 maximal
1800.03/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.03/1800.00	c   trivial          :       0.05          0          0          0          0          0          0          0          0
1800.03/1800.00	c   dualfix          :       0.00       2149          0          0          0          0          0          0          0
1800.03/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.00	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.00	c   probing          :       4.81          0          0          0          0          0          0          0          0
1800.03/1800.00	c   indicator        :       0.03          0          0          0          0          0       1020          0          0
1800.03/1800.00	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.03/1800.00	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1800.03/1800.00	c   linear           :       0.20        229        126          0       9952          0       1829          0          0
1800.03/1800.00	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.03/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -
1800.03/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.00	c   integral         :          0          0          0      59819          0          0          0          0          0     114764
1800.03/1800.00	c   indicator        :       9723          0     242870       2437          0          0      43182          0          0          0
1800.03/1800.00	c   varbound         :        292          7     242870       2437          0          0       3142        388          0          0
1800.03/1800.00	c   knapsack         :        113          7     242870       2217          0          1     127592         36          0          0
1800.03/1800.00	c   linear           :       9431          7     242869       2217          0          0      32817     222227          0          0
1800.03/1800.00	c   logicor          :       4493+         7     140009         99          0          0     169431          0          0          0
1800.03/1800.00	c   countsols        :          0          0          0         99          0          0          0          0          0          0
1800.03/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.03/1800.00	c   integral         :     183.04       0.00       0.00     183.04       0.00
1800.03/1800.00	c   indicator        :      76.81       0.00      69.84       6.97       0.00
1800.03/1800.00	c   varbound         :       2.92       0.01       2.71       0.20       0.00
1800.03/1800.00	c   knapsack         :       2.29       0.00       2.25       0.04       0.00
1800.03/1800.00	c   linear           :      76.94       0.04      66.93       9.97       0.00
1800.03/1800.00	c   logicor          :       2.14       0.00       2.10       0.04       0.00
1800.03/1800.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.03/1800.00	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.03/1800.00	c   vbounds          :       4.82      41045          0       8723
1800.03/1800.00	c   rootredcost      :       0.06          0          0          0
1800.03/1800.00	c   pseudoobj        :      90.84     237653          0          0
1800.03/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.00	c   propagation      :       0.00          1          1          1        6.0          0        0.0          -
1800.03/1800.00	c   infeasible LP    :       0.70        204        204        204        3.2          0        0.0          0
1800.03/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.03/1800.00	c   applied globally :          -          -          -        205        3.3          -          -          -
1800.03/1800.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.03/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.03/1800.00	c   cut pool         :       0.00          6          -          -         17          -    (maximal pool size: 346)
1800.03/1800.00	c   redcost          :      78.65      59822          0          0          0          0
1800.03/1800.00	c   impliedbounds    :       0.00          7          0          0        126          0
1800.03/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.03/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.03/1800.00	c   gomory           :       0.65          7          0          0        569          0
1800.03/1800.00	c   strongcg         :       0.37          7          0          0         59          0
1800.03/1800.00	c   cmir             :       0.57          7          0          0          8          0
1800.03/1800.00	c   flowcover        :       2.35          7          0          0         59          0
1800.03/1800.00	c   clique           :       0.04          7          0          0          7          0
1800.03/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.03/1800.00	c   mcf              :       0.01          1          0          0          0          0
1800.03/1800.00	c   rapidlearning    :       0.00          0          0          0          0          0
1800.03/1800.00	c Pricers            :       Time      Calls       Vars
1800.03/1800.00	c   problem variables:       0.00          0          0
1800.03/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.00	c   relpscost        :     182.95      57382          0          0          0          0     114764
1800.03/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   inference        :       0.35         99          0          0          0          0        198
1800.03/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.03/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.03/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.03/1800.00	c   LP solutions     :       0.00          -          0
1800.03/1800.00	c   pseudo solutions :       0.00          -          0
1800.03/1800.00	c   oneopt           :       0.07          0          0
1800.03/1800.00	c   crossover        :       0.03          0          0
1800.03/1800.00	c   guideddiving     :       0.00          0          0
1800.03/1800.00	c   rootsoldiving    :      11.66          7          0
1800.03/1800.00	c   intshifting      :       0.11         29          0
1800.03/1800.00	c   objpscostdiving  :       2.99         18          0
1800.03/1800.00	c   coefdiving       :     149.13        115          0
1800.03/1800.00	c   fracdiving       :     158.88        285          0
1800.03/1800.00	c   feaspump         :      25.45        143          0
1800.03/1800.00	c   pscostdiving     :     134.03        286          0
1800.03/1800.00	c   veclendiving     :      38.65        286          0
1800.03/1800.00	c   linesearchdiving :      41.69        286          0
1800.03/1800.00	c   trivial          :       0.29          2          0
1800.03/1800.00	c   simplerounding   :       0.12      54227          0
1800.03/1800.00	c   zirounding       :       1.50       1000          0
1800.03/1800.00	c   rounding         :       4.76       3244          0
1800.03/1800.00	c   shifting         :      13.18       1041          0
1800.03/1800.00	c   twoopt           :       0.00          0          0
1800.03/1800.00	c   fixandinfer      :       0.00          0          0
1800.03/1800.00	c   intdiving        :       0.00          0          0
1800.03/1800.00	c   actconsdiving    :       0.00          0          0
1800.03/1800.00	c   octane           :       0.00          0          0
1800.03/1800.00	c   rens             :       0.17          1          0
1800.03/1800.00	c   rins             :       0.00          0          0
1800.03/1800.00	c   localbranching   :       0.00          0          0
1800.03/1800.00	c   mutation         :       0.00          0          0
1800.03/1800.00	c   dins             :       0.00          0          0
1800.03/1800.00	c   undercover       :       0.00          0          0
1800.03/1800.00	c   nlp              :       0.01          0          0
1800.03/1800.00	c   trysol           :      27.78       2584          0
1800.03/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.03/1800.00	c   primal LP        :       0.01          0          0       0.00       0.00
1800.03/1800.00	c   dual LP          :     437.85      56087     922425      16.45    2106.71
1800.03/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1800.03/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1800.03/1800.00	c   diving/probing LP:     281.17      45737     214004       4.68     761.12
1800.03/1800.00	c   strong branching :     181.03      16809     272893      16.23    1507.45
1800.03/1800.00	c     (at root node) :          -         17       2081     122.41          -
1800.03/1800.00	c   conflict analysis:       0.00          0          0       0.00          -
1800.03/1800.00	c B&B Tree           :
1800.03/1800.00	c   number of runs   :          1
1800.03/1800.00	c   nodes            :      57481
1800.03/1800.00	c   nodes (total)    :      57481
1800.03/1800.00	c   nodes left       :      57482
1800.03/1800.00	c   max depth        :         99
1800.03/1800.00	c   max depth (total):         99
1800.03/1800.00	c   backtracks       :       1181 (2.1%)
1800.03/1800.00	c   delayed cutoffs  :          0
1800.03/1800.00	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.03/1800.00	c   avg switch length:       2.27
1800.03/1800.00	c   switching time   :      12.07
1800.03/1800.00	c Solution           :
1800.03/1800.00	c   Solutions found  :          0 (0 improvements)
1800.03/1800.00	c   Primal Bound     :          -
1800.03/1800.00	c   Dual Bound       : +0.00000000000000e+00
1800.03/1800.00	c   Gap              :   infinite
1800.03/1800.00	c   Root Dual Bound  : +0.00000000000000e+00
1800.03/1800.00	c   Root Iterations  :       2400
1800.33/1800.32	c Time complete: 1800.35.

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-2693131-1277916436/watcher-2693131-1277916436 -o /tmp/evaluation-result-2693131-1277916436/solver-2693131-1277916436 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693131-1277916436.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: 1.93 2.04 2.03 4/178 13023
/proc/meminfo: memFree=30630792/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=10976 CPUtime=0
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 1671 0 0 0 0 0 0 0 22 0 1 0 132941610 11239424 1591 4089446400 4194304 9819077 140736503860064 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13023/statm: 2744 1591 392 1374 0 1365 0

[startup+0.055783 s]
/proc/loadavg: 1.93 2.04 2.03 4/178 13023
/proc/meminfo: memFree=30630792/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=23992 CPUtime=0.05
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 4950 0 0 0 5 0 0 0 22 0 1 0 132941610 24567808 4870 4089446400 4194304 9819077 140736503860064 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13023/statm: 5998 4870 392 1374 0 4619 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 23992

[startup+0.100779 s]
/proc/loadavg: 1.93 2.04 2.03 4/178 13023
/proc/meminfo: memFree=30630792/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=33380 CPUtime=0.09
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 7295 0 0 0 9 0 0 0 22 0 1 0 132941610 34181120 7215 4089446400 4194304 9819077 140736503860064 18446744073709551615 4907505 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13023/statm: 8345 7215 392 1374 0 6966 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33380

[startup+0.30074 s]
/proc/loadavg: 1.93 2.04 2.03 4/178 13023
/proc/meminfo: memFree=30630792/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=96268 CPUtime=0.29
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 23321 0 0 0 27 2 0 0 22 0 1 0 132941610 98578432 22851 4089446400 4194304 9819077 140736503860064 18446744073709551615 4561481 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13023/statm: 24067 22851 452 1374 0 22688 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 96268

[startup+0.700671 s]
/proc/loadavg: 1.93 2.04 2.03 4/178 13023
/proc/meminfo: memFree=30630792/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=109224 CPUtime=0.69
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 26358 0 0 0 66 3 0 0 24 0 1 0 132941610 111845376 25374 4089446400 4194304 9819077 140736503860064 18446744073709551615 4826227 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13023/statm: 27306 25374 495 1374 0 25927 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 109224

[startup+1.50053 s]
/proc/loadavg: 1.93 2.04 2.03 3/179 13024
/proc/meminfo: memFree=30522532/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=116812 CPUtime=1.49
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 31938 0 0 0 143 6 0 0 25 0 1 0 132941610 119615488 27304 4089446400 4194304 9819077 140736503860064 18446744073709551615 5500505 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13023/statm: 29203 27304 537 1374 0 27824 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116812

[startup+3.10025 s]
/proc/loadavg: 1.93 2.04 2.03 3/179 13024
/proc/meminfo: memFree=30520176/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=116956 CPUtime=3.09
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 31974 0 0 0 303 6 0 0 25 0 1 0 132941610 119762944 27340 4089446400 4194304 9819077 140736503860064 18446744073709551615 4983040 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13023/statm: 29239 27340 537 1374 0 27860 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 116956

[startup+6.30068 s]
/proc/loadavg: 1.93 2.04 2.03 3/179 13024
/proc/meminfo: memFree=30518812/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=144096 CPUtime=6.29
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 46238 0 0 0 620 9 0 0 25 0 1 0 132941610 147554304 32915 4089446400 4194304 9819077 140736503860064 18446744073709551615 5744299 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13023/statm: 36024 32915 719 1374 0 34645 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 144096

[startup+12.7006 s]
/proc/loadavg: 1.94 2.03 2.03 3/179 13024
/proc/meminfo: memFree=30489428/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=154364 CPUtime=12.69
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 101577 0 0 0 1249 20 0 0 25 0 1 0 132941610 158068736 34071 4089446400 4194304 9819077 140736503860064 18446744073709551615 7291651 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13023/statm: 38591 34071 735 1374 0 37212 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 154364

[startup+25.5003 s]
/proc/loadavg: 1.95 2.03 2.03 3/179 13025
/proc/meminfo: memFree=30481716/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=152504 CPUtime=25.49
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 442004 0 0 0 2484 65 0 0 25 0 1 0 132941610 156164096 34746 4089446400 4194304 9819077 140736503860064 18446744073709551615 4902922 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13023/statm: 38126 34746 735 1374 0 36747 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 152504

[startup+51.1008 s]
/proc/loadavg: 1.97 2.03 2.02 3/179 13026
/proc/meminfo: memFree=30464180/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=160624 CPUtime=51.09
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 1206501 0 0 0 4938 171 0 0 25 0 1 0 132941610 164478976 35584 4089446400 4194304 9819077 140736503860064 18446744073709551615 6190560 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13023/statm: 40156 35584 745 1374 0 38777 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 160624

[startup+102.307 s]
/proc/loadavg: 1.98 2.02 2.02 3/179 13027
/proc/meminfo: memFree=30427448/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=160340 CPUtime=102.3
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 2596919 0 0 0 9871 359 0 0 25 0 1 0 132941610 164188160 36917 4089446400 4194304 9819077 140736503860064 18446744073709551615 6391606 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13023/statm: 40085 36917 746 1374 0 38706 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 160340

[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.02 3/179 13028
/proc/meminfo: memFree=30384512/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=169524 CPUtime=162.3
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 3976596 0 0 0 15675 555 0 0 25 0 1 0 132941610 173592576 39071 4089446400 4194304 9819077 140736503860064 18446744073709551615 7291114 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13023/statm: 42381 39071 746 1374 0 41002 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 169524

[startup+222.301 s]
/proc/loadavg: 2.17 2.06 2.02 3/198 13081
/proc/meminfo: memFree=31267900/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=180672 CPUtime=222.3
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 5564754 0 0 0 21448 782 0 0 25 0 1 0 132941610 185008128 41840 4089446400 4194304 9819077 140736503860064 18446744073709551615 4827005 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13023/statm: 45168 41840 746 1374 0 43789 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 180672

[startup+282.301 s]
/proc/loadavg: 2.06 2.05 2.02 4/179 13282
/proc/meminfo: memFree=31172544/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=193724 CPUtime=282.3
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 7492789 0 0 0 27193 1037 0 0 25 0 1 0 132941610 198373376 45123 4089446400 4194304 9819077 140736503860064 18446744073709551615 8494947 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13023/statm: 48431 45123 746 1374 0 47052 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 193724

[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.01 4/179 13284
/proc/meminfo: memFree=31153288/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=213140 CPUtime=342.29
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 8933799 0 0 0 32988 1241 0 0 25 0 1 0 132941610 218255360 49987 4089446400 4194304 9819077 140736503860064 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13023/statm: 53285 49987 746 1374 0 51906 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 213140

[startup+402.301 s]
/proc/loadavg: 2.01 2.03 2.01 3/179 13285
/proc/meminfo: memFree=31137740/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=227664 CPUtime=402.29
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 10784190 0 0 0 38730 1499 0 0 25 0 1 0 132941610 233127936 53658 4089446400 4194304 9819077 140736503860064 18446744073709551615 6372759 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13023/statm: 56797 53598 746 1374 0 55418 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 227664

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/179 13286
/proc/meminfo: memFree=31118332/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=246544 CPUtime=462.29
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 13082708 0 0 0 44427 1802 0 0 25 0 1 0 132941610 252461056 58071 4089446400 4194304 9819077 140736503860064 18446744073709551615 6590687 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13023/statm: 61636 58084 746 1374 0 60257 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 246544

[startup+522.301 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 13288
/proc/meminfo: memFree=31100672/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=268672 CPUtime=522.3
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 14702014 0 0 0 50205 2025 0 0 25 0 1 0 132941610 275120128 62624 4089446400 4194304 9819077 140736503860064 18446744073709551615 6671165 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13023/statm: 67168 62624 746 1374 0 65789 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 268672

[startup+582.301 s]
/proc/loadavg: 2.03 2.02 2.00 4/179 13290
/proc/meminfo: memFree=31080152/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=281172 CPUtime=582.3
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 16203048 0 0 0 55980 2250 0 0 25 0 1 0 132941610 287920128 66880 4089446400 4194304 9819077 140736503860064 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13023/statm: 70293 66880 746 1374 0 68914 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 281172

[startup+642.301 s]
/proc/loadavg: 2.01 2.02 2.00 4/179 13292
/proc/meminfo: memFree=31064836/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=296392 CPUtime=642.31
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 18373410 0 0 0 61691 2540 0 0 25 0 1 0 132941610 303505408 70740 4089446400 4194304 9819077 140736503860064 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13023/statm: 74098 70740 746 1374 0 72719 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 296392

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13309
/proc/meminfo: memFree=30969880/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=395280 CPUtime=942.31
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 30487134 0 0 0 90058 4173 0 0 25 0 1 0 132941610 404766720 94221 4089446400 4194304 9819077 140736503860064 18446744073709551615 6513105 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13023/statm: 98820 94215 746 1374 0 97441 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 395280

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13310
/proc/meminfo: memFree=30953080/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=404920 CPUtime=1002.31
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 33057555 0 0 0 95719 4512 0 0 25 0 1 0 132941610 414638080 98049 4089446400 4194304 9819077 140736503860064 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13023/statm: 101451 98051 746 1374 0 100072 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 404920

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 13311
/proc/meminfo: memFree=30935296/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=421376 CPUtime=1062.31
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 35555740 0 0 0 101373 4858 0 0 25 0 1 0 132941610 431489024 102058 4089446400 4194304 9819077 140736503860064 18446744073709551615 4697635 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13023/statm: 105344 102058 746 1374 0 103965 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 421376

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13313
/proc/meminfo: memFree=30918628/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=446180 CPUtime=1122.31
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 37906272 0 0 0 107058 5173 0 0 25 0 1 0 132941610 456888320 106932 4089446400 4194304 9819077 140736503860064 18446744073709551615 6360821 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13023/statm: 111545 106932 746 1374 0 110166 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 446180

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 13315
/proc/meminfo: memFree=30897620/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=457688 CPUtime=1182.32
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 39783211 0 0 0 112797 5435 0 0 25 0 1 0 132941610 468672512 111556 4089446400 4194304 9819077 140736503860064 18446744073709551615 7261032 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13023/statm: 114422 111556 746 1374 0 113043 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 457688

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13317
/proc/meminfo: memFree=30880572/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=476128 CPUtime=1242.31
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 41337242 0 0 0 118583 5648 0 0 25 0 1 0 132941610 487555072 115694 4089446400 4194304 9819077 140736503860064 18446744073709551615 6361730 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13023/statm: 119032 115694 746 1374 0 117653 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 476128

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13318
/proc/meminfo: memFree=30864144/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=491280 CPUtime=1302.32
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 42960777 0 0 0 124352 5880 0 0 25 0 1 0 132941610 503070720 119465 4089446400 4194304 9819077 140736503860064 18446744073709551615 7316348 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13023/statm: 122820 119466 746 1374 0 121441 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 491280

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 13319
/proc/meminfo: memFree=30844000/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=509556 CPUtime=1362.32
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 44711623 0 0 0 130110 6122 0 0 25 0 1 0 132941610 521785344 123916 4089446400 4194304 9819077 140736503860064 18446744073709551615 6590607 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13023/statm: 127389 123929 746 1374 0 126010 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 509556

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13321
/proc/meminfo: memFree=30826588/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=525888 CPUtime=1422.33
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 46607392 0 0 0 135849 6384 0 0 25 0 1 0 132941610 538509312 128069 4089446400 4194304 9819077 140736503860064 18446744073709551615 7487724 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13023/statm: 131472 128069 746 1374 0 130093 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 525888

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 13323
/proc/meminfo: memFree=30806308/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=546108 CPUtime=1482.32
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 48751271 0 0 0 141560 6672 0 0 25 0 1 0 132941610 559214592 133138 4089446400 4194304 9819077 140736503860064 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13023/statm: 136527 133138 746 1374 0 135148 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 546108

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13325
/proc/meminfo: memFree=30793340/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=561052 CPUtime=1542.33
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 51158734 0 0 0 147238 6995 0 0 25 0 1 0 132941610 574517248 136883 4089446400 4194304 9819077 140736503860064 18446744073709551615 6519444 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13023/statm: 140263 136883 746 1374 0 138884 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 561052

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 13326
/proc/meminfo: memFree=30772692/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=577456 CPUtime=1602.32
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 53476806 0 0 0 152918 7314 0 0 25 0 1 0 132941610 591314944 140846 4089446400 4194304 9819077 140736503860064 18446744073709551615 6590687 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13023/statm: 144364 140860 746 1374 0 142985 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 577456

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 13327
/proc/meminfo: memFree=30754792/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=595436 CPUtime=1662.32
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 55669093 0 0 0 158611 7621 0 0 25 0 1 0 132941610 609726464 145544 4089446400 4194304 9819077 140736503860064 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13023/statm: 148859 145544 746 1374 0 147480 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 595436

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13329
/proc/meminfo: memFree=30737872/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=612928 CPUtime=1722.33
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 57827480 0 0 0 164320 7913 0 0 25 0 1 0 132941610 627638272 149931 4089446400 4194304 9819077 140736503860064 18446744073709551615 6671134 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13023/statm: 153232 149931 746 1374 0 151853 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 612928

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 4/179 13331
/proc/meminfo: memFree=30721212/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=628960 CPUtime=1782.33
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 60124034 0 0 0 170009 8224 0 0 25 0 1 0 132941610 644055040 153903 4089446400 4194304 9819077 140736503860064 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13023/statm: 157240 153903 746 1374 0 155861 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 628960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 13331
/proc/meminfo: memFree=30716600/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=634184 CPUtime=1800.03
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 60784738 0 0 0 171690 8313 0 0 25 0 1 0 132941610 649404416 155211 4089446400 4194304 9819077 140736503860064 18446744073709551615 5893857 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13023/statm: 158546 155211 746 1374 0 157167 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 634184

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.01 2.00 2.00 3/179 13331
/proc/meminfo: memFree=30716600/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=246832 CPUtime=1800.23
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 60784741 0 0 0 171708 8315 0 0 18 0 1 0 132941610 252755968 58436 4089446400 4194304 9819077 140736503860064 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13023/statm: 61708 58436 749 1374 0 60329 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 246832

[startup+1800.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 13331
/proc/meminfo: memFree=30716600/32951124 swapFree=67111528/67111528
[pid=13023] ppid=13021 vsize=68384 CPUtime=1800.33
/proc/13023/stat : 13023 (pbscip.linux.x8) R 13021 13023 12781 0 -1 4202496 60784741 0 0 0 171717 8316 0 0 18 0 1 0 132941610 70025216 16040 4089446400 4194304 9819077 140736503860064 18446744073709551615 4684967 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13023/statm: 17096 16040 749 1374 0 15717 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 68384

Child status: 0
Real time (s): 1800.33
CPU time (s): 1800.37
CPU user time (s): 1717.2
CPU system time (s): 83.1684
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 636720

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

runsolver used 3.01054 second user time and 6.42902 second system time

The end

Launcher Data 

Begin job on node103 at 2010-06-30 18:47:16
IDJOB=2693131
IDBENCH=79070
IDSOLVER=1205
FILE ID=node103/2693131-1277916436
PBS_JOBID= 11197335
Free space on /tmp= 74208 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/j30/normalized-j3029_8-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-2693131-1277916436/watcher-2693131-1277916436 -o /tmp/evaluation-result-2693131-1277916436/solver-2693131-1277916436 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693131-1277916436.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 94a4b61e4b099e692126d009e42b1552
RANDOM SEED=736206923

node103.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.817
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.63
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.817
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	: 5332.75
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.817
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.817
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.75
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.817
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.817
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.817
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.817
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:      30631692 kB
Buffers:        203392 kB
Cached:         911432 kB
SwapCached:          0 kB
Active:        1529304 kB
Inactive:       647860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30631692 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6772 kB
Writeback:           0 kB
AnonPages:     1062348 kB
Mapped:          16240 kB
Slab:            78188 kB
PageTables:       7068 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1213116 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= 74200 MiB
End job on node103 at 2010-06-30 19:17:18