Trace number 2693819

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
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1800.58 1800.53

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_10-unsat--soft-33-100-0.wbo
MD5SUM511a250f181b5f88452d86a600065d28
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1902
Best CPU time to get the best result obtained on this benchmark1800.35
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables9638
Total number of constraints30220
Number of soft constraints20091
Number of constraints which are clauses29908
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints312
Minimum length of a constraint1
Maximum length of a constraint38
Top cost 1014619
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1014618
Biggest number in a constraint 20
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 254
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: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2693819-1277917269.wbo>
0.29/0.31	c original problem has 49820 variables (29729 bin, 0 int, 0 impl, 20091 cont) and 50312 constraints
0.29/0.31	c problem read
0.29/0.31	c presolving settings loaded
0.29/0.31	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
1.49/1.50	c presolving:
1.59/1.64	c (round 1) 303 del vars, 968 del conss, 166 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73241 impls, 0 clqs
1.69/1.74	c (round 2) 973 del vars, 2730 del conss, 257 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73461 impls, 0 clqs
1.79/1.83	c (round 3) 2373 del vars, 4095 del conss, 305 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73541 impls, 0 clqs
1.79/1.88	c (round 4) 3606 del vars, 4569 del conss, 321 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73555 impls, 0 clqs
1.89/1.91	c (round 5) 4049 del vars, 4731 del conss, 332 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73560 impls, 0 clqs
1.89/1.93	c (round 6) 4197 del vars, 4825 del conss, 336 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73568 impls, 0 clqs
1.89/1.95	c (round 7) 4280 del vars, 4878 del conss, 339 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73568 impls, 0 clqs
1.89/1.98	c (round 8) 4330 del vars, 4916 del conss, 342 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73578 impls, 0 clqs
1.89/1.99	c (round 9) 4359 del vars, 4935 del conss, 342 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73578 impls, 0 clqs
1.99/2.05	c (round 10) 4374 del vars, 4940 del conss, 18596 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 73578 impls, 0 clqs
2.20/2.21	c (round 11) 4379 del vars, 4940 del conss, 18596 chg bounds, 0 chg sides, 0 chg coeffs, 9303 upgd conss, 73578 impls, 0 clqs
8.70/8.73	c    (8.1s) probing: 1000/27187 (3.7%) - 0 fixings, 0 aggregations, 6280 implications, 0 bound changes
14.09/14.19	c    (13.6s) probing: 2000/27187 (7.4%) - 0 fixings, 0 aggregations, 7262 implications, 0 bound changes
14.09/14.20	c    (13.6s) probing: 2001/27187 (7.4%) - 0 fixings, 0 aggregations, 7263 implications, 0 bound changes
14.09/14.20	c    (13.6s) probing aborted: 2000/2000 successive useless probings
14.09/14.20	c presolving (12 rounds):
14.09/14.20	c  4379 deleted vars, 4940 deleted constraints, 18596 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
14.09/14.20	c  96591 implications, 79 cliques
14.09/14.20	c presolved problem has 45441 variables (27187 bin, 0 int, 0 impl, 18254 cont) and 45372 constraints
14.09/14.20	c   18254 constraints of type <indicator>
14.09/14.20	c     439 constraints of type <varbound>
14.09/14.20	c     103 constraints of type <knapsack>
14.09/14.20	c   17815 constraints of type <linear>
14.09/14.20	c    8761 constraints of type <logicor>
14.09/14.20	c transformed objective value is always integral (scale: 1)
14.09/14.20	c Presolving Time: 13.43
14.09/14.20	c - non default parameters ----------------------------------------------------------------------
14.09/14.20	c # SCIP version 1.2.1.2
14.09/14.20	c 
14.09/14.20	c # frequency for displaying node information lines
14.09/14.20	c # [type: int, range: [-1,2147483647], default: 100]
14.09/14.20	c display/freq = 10000
14.09/14.20	c 
14.09/14.20	c # maximal time in seconds to run
14.09/14.20	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.09/14.20	c limits/time = 1799.7
14.09/14.20	c 
14.09/14.20	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
14.09/14.20	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.09/14.20	c limits/memory = 3420
14.09/14.20	c 
14.09/14.20	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
14.09/14.20	c # [type: int, range: [-1,2147483647], default: 1]
14.09/14.20	c lp/solvefreq = -1
14.09/14.20	c 
14.09/14.20	c # should presolving try to simplify inequalities
14.09/14.20	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.09/14.20	c constraints/linear/simplifyinequalities = TRUE
14.09/14.20	c 
14.09/14.20	c # should presolving try to simplify knapsacks
14.09/14.20	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.09/14.20	c constraints/knapsack/simplifyinequalities = TRUE
14.09/14.20	c 
14.09/14.20	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
14.09/14.20	c # [type: int, range: [-1,2147483647], default: -1]
14.09/14.20	c separating/rapidlearning/freq = 0
14.09/14.20	c 
14.09/14.20	c -----------------------------------------------------------------------------------------------
14.09/14.20	c start solving
14.20/14.21	c 
14.30/14.31	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
14.30/14.31	c  13.7s|     1 |     2 |     0 |     - | 154M|   0 |   - |  45k|  45k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
191.90/191.95	c   190s| 10000 | 10001 |     0 |   0.0 | 165M| 149 |   - |  45k|  45k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
384.60/384.68	c   382s| 20000 | 20001 |     0 |   0.0 | 176M| 149 |   - |  45k|  45k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
574.61/574.60	c   571s| 30000 | 30001 |     0 |   0.0 | 187M| 149 |   - |  45k|  45k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
761.61/761.67	c   757s| 40000 | 40001 |     0 |   0.0 | 197M| 149 |   - |  45k|  45k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
946.22/946.28	c   941s| 50000 | 50001 |     0 |   0.0 | 207M| 149 |   - |  45k|  45k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1134.33/1134.32	c  1128s| 60000 | 60001 |     0 |   0.0 | 218M| 149 |   - |  45k|  45k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1319.13/1319.19	c  1312s| 70000 | 70001 |     0 |   0.0 | 229M| 149 |   - |  45k|  45k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1505.24/1505.22	c  1497s| 80000 | 80001 |     0 |   0.0 | 239M| 149 |   - |  45k|  45k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1689.14/1689.11	c  1680s| 90000 | 90001 |     0 |   0.0 | 248M| 149 |   - |  45k|  45k|   0 |   0 |   0 |   0 |   0 | 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) : 1790.09
1800.05/1800.01	c Solving Nodes      : 96067
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       :    1790.09
1800.05/1800.01	c Original Problem   :
1800.05/1800.01	c   Problem name     : HOME/instance-2693819-1277917269.wbo
1800.05/1800.01	c   Variables        : 49820 (29729 binary, 0 integer, 0 implicit integer, 20091 continuous)
1800.05/1800.01	c   Constraints      : 50312 initial, 50312 maximal
1800.05/1800.01	c Presolved Problem  :
1800.05/1800.01	c   Problem name     : t_HOME/instance-2693819-1277917269.wbo
1800.05/1800.01	c   Variables        : 45441 (27187 binary, 0 integer, 0 implicit integer, 18254 continuous)
1800.05/1800.01	c   Constraints      : 45372 initial, 45372 maximal
1800.05/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.01	c   trivial          :       0.02          1          0          0          0          0          0          0          0
1800.05/1800.01	c   dualfix          :       0.02       3850          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.02          0          0          0          0          0          0          0          0
1800.05/1800.01	c   probing          :      11.85          0          0          0          0          0          0          0          0
1800.05/1800.01	c   indicator        :       0.17          0          0          0          0          0       1837          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        341        187          0      18596          0       3103          0          0
1800.05/1800.01	c   logicor          :       0.01          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          0          0          0          0          0          0          0
1800.05/1800.01	c   indicator        :      18254          0     501534          0      96067          0      67715          0          0          0
1800.05/1800.01	c   varbound         :        439          0     501534          0      96067          0      33922          0          0          0
1800.05/1800.01	c   knapsack         :        103          0     501534          0      96067          0       6146          0          0          0
1800.05/1800.01	c   linear           :      17815          0     501534          0      96067          0      23203          0          0          0
1800.05/1800.01	c   logicor          :       8761          0     420183          0      96067          0     800921          0          0          0
1800.05/1800.01	c   countsols        :          0          0          0          0      96067          0          0          0          0          0
1800.05/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.01	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.01	c   indicator        :     496.63       0.00     238.20       0.00     258.43
1800.05/1800.01	c   varbound         :       7.14       0.00       7.11       0.00       0.03
1800.05/1800.01	c   knapsack         :       9.30       0.00       2.22       0.00       7.08
1800.05/1800.01	c   linear           :     228.74       0.00     226.55       0.00       2.19
1800.05/1800.01	c   logicor          :     207.52       0.00       6.15       0.00     201.37
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          :      24.33     136175          0      10566
1800.05/1800.01	c   rootredcost      :       0.00          0          0          0
1800.05/1800.01	c   pseudoobj        :     358.01     495248          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.00          0          0          0        0.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 :          -          -          -          0        0.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          0          -          -          0          -    (maximal pool size: 0)
1800.05/1800.01	c   redcost          :       0.00          0          0          0          0          0
1800.05/1800.01	c   impliedbounds    :       0.00          0          0          0          0          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.00          0          0          0          0          0
1800.05/1800.01	c   strongcg         :       0.00          0          0          0          0          0
1800.05/1800.01	c   cmir             :       0.00          0          0          0          0          0
1800.05/1800.01	c   flowcover        :       0.00          0          0          0          0          0
1800.05/1800.01	c   clique           :       0.00          0          0          0          0          0
1800.05/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.01	c   mcf              :       0.00          0          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        :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   inference        :     440.90      96067          0          0          0          0     192134
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.00          0          0
1800.05/1800.01	c   trivial          :       1.05          2          0
1800.05/1800.01	c   simplerounding   :       0.00          0          0
1800.05/1800.01	c   zirounding       :       0.00          0          0
1800.05/1800.01	c   rounding         :       0.00          0          0
1800.05/1800.01	c   shifting         :       0.00          0          0
1800.05/1800.01	c   intshifting      :       0.00          0          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   feaspump         :       0.00          0          0
1800.05/1800.01	c   coefdiving       :       0.00          0          0
1800.05/1800.01	c   pscostdiving     :       0.00          0          0
1800.05/1800.01	c   fracdiving       :       0.00          0          0
1800.05/1800.01	c   veclendiving     :       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   objpscostdiving  :       0.00          0          0
1800.05/1800.01	c   rootsoldiving    :       0.00          0          0
1800.05/1800.01	c   linesearchdiving :       0.00          0          0
1800.05/1800.01	c   guideddiving     :       0.00          0          0
1800.05/1800.01	c   octane           :       0.00          0          0
1800.05/1800.01	c   rens             :       0.00          0          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   crossover        :       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.03          0          0
1800.05/1800.01	c   trysol           :       0.02          1          0
1800.05/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.01	c   dual LP          :       0.00          0          0       0.00          -
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:       0.00          0          0       0.00          -
1800.05/1800.01	c   strong branching :       0.00          0          0       0.00          -
1800.05/1800.01	c     (at root node) :          -          0          0       0.00          -
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            :      96067
1800.05/1800.01	c   nodes (total)    :      96067
1800.05/1800.01	c   nodes left       :      96068
1800.05/1800.01	c   max depth        :        149
1800.05/1800.01	c   max depth (total):        149
1800.05/1800.01	c   backtracks       :       1165 (1.2%)
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.42
1800.05/1800.01	c   switching time   :       4.95
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  :          0
1800.54/1800.52	c Time complete: 1800.57.

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-2693819-1277917269/watcher-2693819-1277917269 -o /tmp/evaluation-result-2693819-1277917269/solver-2693819-1277917269 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693819-1277917269.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 26449
/proc/meminfo: memFree=31311224/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=8408 CPUtime=0
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 1561 0 0 0 0 0 0 0 24 0 1 0 167330656 8609792 1484 4089446400 4194304 7136930 140736964050416 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/26449/statm: 2102 1500 275 719 0 1381 0

[startup+0.0969531 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26449
/proc/meminfo: memFree=31311224/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=31392 CPUtime=0.08
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 7380 0 0 0 8 0 0 0 25 0 1 0 167330656 32145408 7274 4089446400 4194304 7136930 140736964050416 18446744073709551615 4384358 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/26449/statm: 7848 7274 275 719 0 7127 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31392

[startup+0.100954 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26449
/proc/meminfo: memFree=31311224/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=31644 CPUtime=0.09
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 7445 0 0 0 9 0 0 0 25 0 1 0 167330656 32403456 7339 4089446400 4194304 7136930 140736964050416 18446744073709551615 6419622 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/26449/statm: 7911 7339 275 719 0 7190 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31644

[startup+0.300923 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26449
/proc/meminfo: memFree=31311224/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=72876 CPUtime=0.29
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 17737 0 0 0 27 2 0 0 25 0 1 0 167330656 74625024 17631 4089446400 4194304 7136930 140736964050416 18446744073709551615 6177561 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/26449/statm: 18219 17631 275 719 0 17498 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72876

[startup+0.700844 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26449
/proc/meminfo: memFree=31311224/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=178516 CPUtime=0.69
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 43189 0 0 0 64 5 0 0 25 0 1 0 167330656 182800384 42652 4089446400 4194304 7136930 140736964050416 18446744073709551615 6350638 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 44629 42652 323 719 0 43908 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 178516

[startup+1.50071 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26450
/proc/meminfo: memFree=31141212/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=178516 CPUtime=1.49
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 43189 0 0 0 144 5 0 0 25 0 1 0 167330656 182800384 42652 4089446400 4194304 7136930 140736964050416 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 44629 42652 323 719 0 43908 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 178516

[startup+3.10039 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26451
/proc/meminfo: memFree=31133460/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=196656 CPUtime=3.09
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 53666 0 0 0 280 29 0 0 25 0 1 0 167330656 201375744 47203 4089446400 4194304 7136930 140736964050416 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 49164 47203 389 719 0 48443 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 196656

[startup+6.30082 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26451
/proc/meminfo: memFree=31121308/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=197976 CPUtime=6.29
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 54018 0 0 0 598 31 0 0 25 0 1 0 167330656 202727424 47555 4089446400 4194304 7136930 140736964050416 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 49494 47555 389 719 0 48773 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 197976

[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26451
/proc/meminfo: memFree=31118964/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=197976 CPUtime=12.69
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 54023 0 0 0 1234 35 0 0 25 0 1 0 167330656 202727424 47560 4089446400 4194304 7136930 140736964050416 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 49494 47560 394 719 0 48773 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 197976

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26451
/proc/meminfo: memFree=31114944/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=201796 CPUtime=25.49
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 55247 0 0 0 2508 41 0 0 25 0 1 0 167330656 206639104 48248 4089446400 4194304 7136930 140736964050416 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 50449 48248 406 719 0 49728 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 201796

[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26452
/proc/meminfo: memFree=31104624/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=205132 CPUtime=51.09
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 56088 0 0 0 5054 55 0 0 25 0 1 0 167330656 210055168 49089 4089446400 4194304 7136930 140736964050416 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 51283 49089 406 719 0 50562 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 205132

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26453
/proc/meminfo: memFree=31088116/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=208928 CPUtime=102.3
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 57029 0 0 0 10147 83 0 0 25 0 1 0 167330656 213942272 50030 4089446400 4194304 7136930 140736964050416 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 52232 50030 406 719 0 51511 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 208928

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26455
/proc/meminfo: memFree=31072828/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=212812 CPUtime=162.3
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 58020 0 0 0 16110 120 0 0 25 0 1 0 167330656 217919488 51021 4089446400 4194304 7136930 140736964050416 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 53203 51021 406 719 0 52482 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 212812

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26456
/proc/meminfo: memFree=31052836/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=218212 CPUtime=222.3
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 59350 0 0 0 22076 154 0 0 25 0 1 0 167330656 223449088 52351 4089446400 4194304 7136930 140736964050416 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 54553 52351 406 719 0 53832 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 218212

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26458
/proc/meminfo: memFree=31034708/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=222340 CPUtime=282.3
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 60422 0 0 0 28043 187 0 0 25 0 1 0 167330656 227676160 53423 4089446400 4194304 7136930 140736964050416 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 55585 53423 406 719 0 54864 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 222340

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26459
/proc/meminfo: memFree=31016696/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=225576 CPUtime=342.31
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 61230 0 0 0 34007 224 0 0 25 0 1 0 167330656 230989824 54231 4089446400 4194304 7136930 140736964050416 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 56394 54231 406 719 0 55673 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 225576

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26461
/proc/meminfo: memFree=30998184/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=231204 CPUtime=402.31
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 62660 0 0 0 39977 254 0 0 25 0 1 0 167330656 236752896 55661 4089446400 4194304 7136930 140736964050416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 57801 55661 406 719 0 57080 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 231204

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26463
/proc/meminfo: memFree=30980792/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=236360 CPUtime=462.31
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 63946 0 0 0 45945 286 0 0 25 0 1 0 167330656 242032640 56947 4089446400 4194304 7136930 140736964050416 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 59090 56947 406 719 0 58369 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 236360

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26464
/proc/meminfo: memFree=30961172/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=241112 CPUtime=522.31
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 65137 0 0 0 51912 319 0 0 25 0 1 0 167330656 246898688 58138 4089446400 4194304 7136930 140736964050416 18446744073709551615 4827005 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 60278 58138 406 719 0 59557 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 241112

[startup+582.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 26466
/proc/meminfo: memFree=30941536/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=245180 CPUtime=582.31
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 66178 0 0 0 57882 349 0 0 25 0 1 0 167330656 251064320 59179 4089446400 4194304 7136930 140736964050416 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 61295 59179 406 719 0 60574 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 245180

[startup+642.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 26467
/proc/meminfo: memFree=30926508/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=248620 CPUtime=642.32
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 67046 0 0 0 63852 380 0 0 25 0 1 0 167330656 254586880 60047 4089446400 4194304 7136930 140736964050416 18446744073709551615 4642976 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 62155 60047 406 719 0 61434 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 248620

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26480
/proc/meminfo: memFree=30821976/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=266948 CPUtime=1002.32
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 71691 0 0 0 99653 579 0 0 25 0 1 0 167330656 273354752 64692 4089446400 4194304 7136930 140736964050416 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 66737 64692 406 719 0 66016 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 266948

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26482
/proc/meminfo: memFree=30808056/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=270280 CPUtime=1062.32
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 72556 0 0 0 105620 612 0 0 25 0 1 0 167330656 276766720 65557 4089446400 4194304 7136930 140736964050416 18446744073709551615 4827005 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 67570 65557 406 719 0 66849 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 270280

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26483
/proc/meminfo: memFree=30791164/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=272212 CPUtime=1122.33
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 73053 0 0 0 111587 646 0 0 25 0 1 0 167330656 278745088 66054 4089446400 4194304 7136930 140736964050416 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 68053 66054 406 719 0 67332 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 272212

[startup+1182.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/199 26594
/proc/meminfo: memFree=31057508/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=276260 CPUtime=1182.33
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 74059 0 0 0 117558 675 0 0 25 0 1 0 167330656 282890240 67060 4089446400 4194304 7136930 140736964050416 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 69065 67060 406 719 0 68344 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 276260

[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/198 26601
/proc/meminfo: memFree=31028804/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=286032 CPUtime=1242.33
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 75999 0 0 0 123531 702 0 0 25 0 1 0 167330656 292896768 69000 4089446400 4194304 7136930 140736964050416 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 71508 69000 406 719 0 70787 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 286032

[startup+1302.3 s]
/proc/loadavg: 2.16 2.07 2.02 3/198 26660
/proc/meminfo: memFree=30851116/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=290520 CPUtime=1302.34
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 77134 0 0 0 129505 729 0 0 25 0 1 0 167330656 297492480 70135 4089446400 4194304 7136930 140736964050416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 72630 70135 406 719 0 71909 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 290520

[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/198 26664
/proc/meminfo: memFree=30778320/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=293708 CPUtime=1362.33
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 77944 0 0 0 135474 759 0 0 25 0 1 0 167330656 300756992 70945 4089446400 4194304 7136930 140736964050416 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 73427 70945 406 719 0 72706 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 293708

[startup+1422.31 s]
/proc/loadavg: 2.15 2.07 2.02 4/200 26669
/proc/meminfo: memFree=30623772/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=295600 CPUtime=1422.34
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 78428 0 0 0 141444 790 0 0 25 0 1 0 167330656 302694400 71429 4089446400 4194304 7136930 140736964050416 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 73900 71429 406 719 0 73179 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 295600

[startup+1482.3 s]
/proc/loadavg: 2.37 2.16 2.05 3/199 26671
/proc/meminfo: memFree=30580092/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=297776 CPUtime=1482.34
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 78983 0 0 0 147417 817 0 0 25 0 1 0 167330656 304922624 71984 4089446400 4194304 7136930 140736964050416 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 74444 71984 406 719 0 73723 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 297776

[startup+1542.3 s]
/proc/loadavg: 2.14 2.13 2.04 3/199 26672
/proc/meminfo: memFree=30576400/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=301364 CPUtime=1542.34
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 79895 0 0 0 153388 846 0 0 25 0 1 0 167330656 308596736 72896 4089446400 4194304 7136930 140736964050416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 75341 72896 406 719 0 74620 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 301364

[startup+1602.3 s]
/proc/loadavg: 2.05 2.10 2.04 3/199 26674
/proc/meminfo: memFree=30572384/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=305072 CPUtime=1602.34
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 80833 0 0 0 159360 874 0 0 25 0 1 0 167330656 312393728 73834 4089446400 4194304 7136930 140736964050416 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 76268 73834 406 719 0 75547 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 305072

[startup+1662.3 s]
/proc/loadavg: 2.08 2.10 2.04 3/199 26676
/proc/meminfo: memFree=30568080/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=309188 CPUtime=1662.35
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 81873 0 0 0 165330 905 0 0 25 0 1 0 167330656 316608512 74874 4089446400 4194304 7136930 140736964050416 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 77297 74874 406 719 0 76576 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 309188

[startup+1722.3 s]
/proc/loadavg: 2.03 2.08 2.03 3/199 26677
/proc/meminfo: memFree=30566808/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=310096 CPUtime=1722.34
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 82113 0 0 0 171303 931 0 0 25 0 1 0 167330656 317538304 75114 4089446400 4194304 7136930 140736964050416 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 77524 75114 406 719 0 76803 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 310096

[startup+1782.3 s]
/proc/loadavg: 2.01 2.06 2.02 3/199 26679
/proc/meminfo: memFree=30562316/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=314192 CPUtime=1782.35
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 83149 0 0 0 177275 960 0 0 25 0 1 0 167330656 321732608 76150 4089446400 4194304 7136930 140736964050416 18446744073709551615 4827005 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 78548 76150 406 719 0 77827 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 314192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.06 2.02 4/199 26679
/proc/meminfo: memFree=30561556/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=314712 CPUtime=1800.05
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 83283 0 0 0 179037 968 0 0 25 0 1 0 167330656 322265088 76284 4089446400 4194304 7136930 140736964050416 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/26449/statm: 78678 76284 406 719 0 77957 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 314712

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.06 2.02 4/199 26679
/proc/meminfo: memFree=30561556/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=288828 CPUtime=1800.25
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 83290 0 0 0 179056 969 0 0 25 0 1 0 167330656 295759872 69995 4089446400 4194304 7136930 140736964050416 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/26449/statm: 72207 69995 413 719 0 71486 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 288828

[startup+1800.4 s]
/proc/loadavg: 2.01 2.06 2.02 4/199 26679
/proc/meminfo: memFree=30561556/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=274188 CPUtime=1800.45
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 83290 0 0 0 179076 969 0 0 25 0 1 0 167330656 280768512 66340 4089446400 4194304 7136930 140736964050416 18446744073709551615 6166343 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/26449/statm: 68547 66340 413 719 0 67826 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 274188

[startup+1800.5 s]
/proc/loadavg: 2.01 2.06 2.02 4/199 26679
/proc/meminfo: memFree=30561556/32951124 swapFree=67111528/67111528
[pid=26449] ppid=26447 vsize=79244 CPUtime=1800.54
/proc/26449/stat : 26449 (pbscip.linux.x8) R 26447 26449 25842 0 -1 4202496 83290 0 0 0 179085 969 0 0 25 0 1 0 167330656 81145856 18980 4089446400 4194304 7136930 140736964050416 18446744073709551615 4698889 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/26449/statm: 19811 18980 413 719 0 19090 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (KiB) 79244

Child status: 0
Real time (s): 1800.53
CPU time (s): 1800.58
CPU user time (s): 1790.88
CPU system time (s): 9.69953
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 314712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.88
system time used= 9.69952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83297
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= 1
involuntary context switches= 2882

runsolver used 3.14752 second user time and 6.50201 second system time

The end

Launcher Data 

Begin job on node110 at 2010-06-30 19:01:09
IDJOB=2693819
IDBENCH=79086
IDSOLVER=1206
FILE ID=node110/2693819-1277917269
PBS_JOBID= 11197322
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/normalized-j605_10-unsat--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693819-1277917269/watcher-2693819-1277917269 -o /tmp/evaluation-result-2693819-1277917269/solver-2693819-1277917269 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693819-1277917269.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 511a250f181b5f88452d86a600065d28
RANDOM SEED=2136421770

node110.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.849
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.69
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.849
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.82
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.849
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.74
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.849
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.82
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.849
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.849
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.83
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.849
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.849
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31311628 kB
Buffers:        203212 kB
Cached:         996204 kB
SwapCached:          0 kB
Active:         857808 kB
Inactive:       638804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31311628 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4440 kB
Writeback:           0 kB
AnonPages:      297052 kB
Mapped:          16168 kB
Slab:            79308 kB
PageTables:       5212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   445388 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 node110 at 2010-06-30 19:31:11