Trace number 3486351

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx 2 2011-06-10 (fixed)? 1797.69 1797.65

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/
j90opt/normalized-j902_3.std.opb
MD5SUM3657f1c03b4b0d58c64396052496042e
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark75
Best CPU time to get the best result obtained on this benchmark0.631903
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints176130
Number of constraints which are clauses174930
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint23
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
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 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 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-3486351-1307794404.opb>
0.89/0.92	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176130 constraints
0.89/0.92	c problem read
0.89/0.92	c presolving settings loaded
1.39/1.49	c presolving:
7.09/7.10	c (round 1) 3142 del vars, 9262 del conss, 0 add conss, 2087 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12102404 impls, 0 clqs
9.29/9.38	c (round 2) 8056 del vars, 25682 del conss, 0 add conss, 6656 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12123127 impls, 0 clqs
9.90/9.97	c (round 3) 9451 del vars, 32813 del conss, 0 add conss, 7403 chg bounds, 70 chg sides, 60 chg coeffs, 0 upgd conss, 12130132 impls, 0 clqs
10.19/10.24	c (round 4) 9921 del vars, 34895 del conss, 0 add conss, 7657 chg bounds, 93 chg sides, 103 chg coeffs, 0 upgd conss, 12133389 impls, 0 clqs
10.29/10.37	c (round 5) 10147 del vars, 35843 del conss, 0 add conss, 7760 chg bounds, 95 chg sides, 107 chg coeffs, 0 upgd conss, 12134890 impls, 0 clqs
10.39/10.46	c (round 6) 10239 del vars, 36264 del conss, 0 add conss, 7804 chg bounds, 95 chg sides, 107 chg coeffs, 0 upgd conss, 12135677 impls, 0 clqs
10.49/10.52	c (round 7) 10295 del vars, 36508 del conss, 0 add conss, 7832 chg bounds, 95 chg sides, 107 chg coeffs, 0 upgd conss, 12136029 impls, 0 clqs
10.49/10.58	c (round 8) 10315 del vars, 36609 del conss, 0 add conss, 7849 chg bounds, 95 chg sides, 107 chg coeffs, 0 upgd conss, 12136041 impls, 0 clqs
10.99/11.07	c (round 9) 10315 del vars, 36622 del conss, 0 add conss, 7849 chg bounds, 95 chg sides, 107 chg coeffs, 139508 upgd conss, 12136041 impls, 0 clqs
11.29/11.37	c (round 10) 10315 del vars, 36622 del conss, 6 add conss, 7849 chg bounds, 123 chg sides, 279 chg coeffs, 139508 upgd conss, 12136287 impls, 476 clqs
570.91/570.96	c    (571.0s) probing: 1000/44467 (2.2%) - 0 fixings, 0 aggregations, 9027561 implications, 0 bound changes
944.52/944.51	c    (944.5s) probing: 2000/44467 (4.5%) - 0 fixings, 0 aggregations, 13882323 implications, 0 bound changes
944.72/944.76	c    (944.8s) probing: 2001/44467 (4.5%) - 0 fixings, 0 aggregations, 13883949 implications, 0 bound changes
944.72/944.76	c    (944.8s) probing aborted: 2000/2000 successive useless probings
944.72/944.76	c presolving (11 rounds):
944.72/944.76	c  10315 deleted vars, 36622 deleted constraints, 6 added constraints, 7849 tightened bounds, 0 added holes, 123 changed sides, 279 changed coefficients
944.72/944.76	c  57726671 implications, 532 cliques
944.72/944.76	c presolved problem has 44467 variables (44467 bin, 0 int, 0 impl, 0 cont) and 139514 constraints
944.72/944.76	c    1100 constraints of type <knapsack>
944.72/944.76	c  116402 constraints of type <setppc>
944.72/944.76	c   22012 constraints of type <logicor>
944.72/944.76	c transformed objective value is always integral (scale: 1)
944.72/944.76	c Presolving Time: 943.68
944.72/944.76	c - non default parameters ----------------------------------------------------------------------
944.72/944.76	c # SCIP version 2.0.1.4
944.72/944.76	c 
944.72/944.76	c # frequency for displaying node information lines
944.72/944.76	c # [type: int, range: [-1,2147483647], default: 100]
944.72/944.76	c display/freq = 10000
944.72/944.76	c 
944.72/944.76	c # maximal time in seconds to run
944.72/944.76	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
944.72/944.76	c limits/time = 1797
944.72/944.76	c 
944.72/944.76	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
944.72/944.76	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
944.72/944.76	c limits/memory = 13950
944.72/944.76	c 
944.72/944.76	c # default clock type (1: CPU user seconds, 2: wall clock time)
944.72/944.76	c # [type: int, range: [1,2], default: 1]
944.72/944.76	c timing/clocktype = 2
944.72/944.76	c 
944.72/944.76	c # belongs reading time to solving time?
944.72/944.76	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
944.72/944.76	c timing/reading = TRUE
944.72/944.76	c 
944.72/944.76	c # should presolving try to simplify inequalities
944.72/944.76	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
944.72/944.76	c constraints/linear/simplifyinequalities = TRUE
944.72/944.76	c 
944.72/944.76	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
944.72/944.76	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
944.72/944.76	c constraints/indicator/addCouplingCons = TRUE
944.72/944.76	c 
944.72/944.76	c # should presolving try to simplify knapsacks
944.72/944.76	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
944.72/944.76	c constraints/knapsack/simplifyinequalities = TRUE
944.72/944.76	c 
944.72/944.76	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
944.72/944.76	c # [type: int, range: [-1,2147483647], default: -1]
944.72/944.76	c separating/rapidlearning/freq = 0
944.72/944.76	c 
944.72/944.76	c -----------------------------------------------------------------------------------------------
944.72/944.76	c start solving
944.72/944.79	c 
1052.42/1052.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1052.42/1052.49	c  1052s|     1 |     0 | 35747 |     - |1761M|   0 | 728 |  44k| 139k|  44k| 139k|   0 |  15 |   0 | 7.500000e+01 |      --      |    Inf 
1765.54/1765.59	c  1766s|     1 |     0 | 70332 |     - |1764M|   0 |1716 |  44k| 139k|  44k| 139k|  41 |  15 |   0 | 7.500000e+01 |      --      |    Inf 
1797.04/1797.03	c  1797s|     1 |     0 | 74012 |     - |1767M|   0 |   - |  44k| 139k|  44k| 139k|  84 |  15 |   0 | 7.500000e+01 |      --      |    Inf 
1797.04/1797.08	c  1797s|     1 |     2 | 74012 |     - |1767M|   0 |   - |  44k| 139k|  44k| 139k|  84 |  15 |   0 | 7.500000e+01 |      --      |    Inf 
1797.04/1797.08	c 
1797.04/1797.08	c SCIP Status        : solving was interrupted [time limit reached]
1797.04/1797.08	c Solving Time (sec) : 1797.08
1797.04/1797.08	c Solving Nodes      : 1
1797.04/1797.08	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.04/1797.08	c Dual Bound         : +7.50000000000000e+01
1797.04/1797.08	c Gap                : infinite
1797.04/1797.08	s UNKNOWN
1797.04/1797.08	c SCIP Status        : solving was interrupted [time limit reached]
1797.04/1797.08	c Total Time         :    1797.08
1797.04/1797.08	c   solving          :    1797.08
1797.04/1797.08	c   presolving       :     943.68 (included in solving)
1797.04/1797.08	c   reading          :       0.92 (included in solving)
1797.04/1797.08	c Original Problem   :
1797.04/1797.08	c   Problem name     : HOME/instance-3486351-1307794404.opb
1797.04/1797.08	c   Variables        : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.08	c   Constraints      : 176130 initial, 176130 maximal
1797.04/1797.08	c Presolved Problem  :
1797.04/1797.08	c   Problem name     : t_HOME/instance-3486351-1307794404.opb
1797.04/1797.08	c   Variables        : 44467 (44467 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.08	c   Constraints      : 139514 initial, 139529 maximal
1797.04/1797.08	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.04/1797.08	c   trivial          :       0.03        683          0          0          0          0          0          0          0          0
1797.04/1797.08	c   dualfix          :       0.05         90          0          0          0          0          0          0          0          0
1797.04/1797.08	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1797.04/1797.08	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1797.04/1797.08	c   implics          :       0.28          0          0          0          0          0          0          0          0          0
1797.04/1797.08	c   probing          :     933.20          0          0          0          0          0          0          0          0          0
1797.04/1797.08	c   knapsack         :       0.15          0          0          0          0          0          0          6         28        172
1797.04/1797.08	c   setppc           :       0.23          0          0          0          0          0          0          0          0          0
1797.04/1797.08	c   linear           :       9.16       7166       2376          0       7849          0      36622          0         95        107
1797.04/1797.08	c   logicor          :       0.04          0          0          0          0          0          0          0          0          0
1797.04/1797.08	c   root node        :          -          0          -          -          0          -          -          -          -          -
1797.04/1797.08	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1797.04/1797.08	c   integral         :          0          0          0          0          0          4          0          0          0          0          0          0
1797.04/1797.08	c   knapsack         :       1100          2     105890          0          1          3         14          3          0        120          0          0
1797.04/1797.08	c   setppc           :     116402          2     105887          0          1          1        603          2          0          0          0          0
1797.04/1797.08	c   logicor          :      22012+         2      95914          0          1          0         19         10          0          0          0          0
1797.04/1797.08	c   countsols        :          0          0          0          0          1          0          0          0          0          0          0          0
1797.04/1797.08	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1797.04/1797.08	c   integral         :       0.01       0.00       0.00       0.00       0.00       0.01       0.00
1797.04/1797.08	c   knapsack         :       5.02       0.01       5.01       0.00       0.00       0.00       0.00
1797.04/1797.08	c   setppc           :     478.29       0.02     478.24       0.00       0.03       0.00       0.00
1797.04/1797.08	c   logicor          :       4.59       0.00       4.58       0.00       0.01       0.00       0.00
1797.04/1797.08	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.04/1797.08	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1797.04/1797.08	c   vbounds          :          0          0          0          0
1797.04/1797.08	c   rootredcost      :          0          0          0          0
1797.04/1797.08	c   pseudoobj        :       4443          0          0          0
1797.04/1797.08	c Propagator Timings :  TotalTime  Propagate    Resprop
1797.04/1797.08	c   vbounds          :       0.04       0.04       0.00
1797.04/1797.08	c   rootredcost      :       0.02       0.02       0.00
1797.04/1797.08	c   pseudoobj        :       0.02       0.02       0.00
1797.04/1797.08	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.04/1797.08	c   propagation      :       0.00         15         15         17       10.1          0        0.0          -
1797.04/1797.08	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.04/1797.08	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.04/1797.08	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.04/1797.08	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.04/1797.08	c   applied globally :          -          -          -         15        9.9          -          -          -
1797.04/1797.08	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.04/1797.08	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1797.04/1797.08	c   cut pool         :       0.00          1          -          -         33          -    (maximal pool size: 433)
1797.04/1797.08	c   redcost          :       0.00          2          0          0          0          0
1797.04/1797.08	c   impliedbounds    :       0.02          2          0          0          0          0
1797.04/1797.08	c   intobj           :       0.00          0          0          0          0          0
1797.04/1797.08	c   gomory           :      10.06          2          0          0        572          0
1797.04/1797.08	c   cgmip            :       0.00          0          0          0          0          0
1797.04/1797.08	c   closecuts        :       0.00          0          0          0          0          0
1797.04/1797.08	c   strongcg         :       1.83          2          0          0       1000          0
1797.04/1797.08	c   cmir             :       8.02          2          0          0          0          0
1797.04/1797.08	c   flowcover        :      14.43          2          0          0         91          0
1797.04/1797.08	c   clique           :     626.02          2          0          0          7          0
1797.04/1797.08	c   zerohalf         :       0.00          0          0          0          0          0
1797.04/1797.08	c   mcf              :       3.19          1          0          0          0          0
1797.04/1797.08	c   oddcycle         :       0.00          0          0          0          0          0
1797.04/1797.08	c   rapidlearning    :       0.00          0          0          0          0          0
1797.04/1797.08	c Pricers            :       Time      Calls       Vars
1797.04/1797.08	c   problem variables:       0.00          0          0
1797.04/1797.08	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.04/1797.08	c   relpscost        :       0.00          0          0          0          0          0          0
1797.04/1797.08	c   pscost           :       0.00          0          0          0          0          0          0
1797.04/1797.08	c   inference        :       0.01          1          0          0          0          0          2
1797.04/1797.08	c   mostinf          :       0.00          0          0          0          0          0          0
1797.04/1797.08	c   leastinf         :       0.00          0          0          0          0          0          0
1797.04/1797.08	c   fullstrong       :       0.00          0          0          0          0          0          0
1797.04/1797.08	c   allfullstrong    :       0.00          0          0          0          0          0          0
1797.04/1797.08	c   random           :       0.00          0          0          0          0          0          0
1797.04/1797.08	c Primal Heuristics  :       Time      Calls      Found
1797.04/1797.08	c   LP solutions     :       0.00          -          0
1797.04/1797.08	c   pseudo solutions :       0.00          -          0
1797.04/1797.08	c   oneopt           :       0.00          0          0
1797.04/1797.08	c   trivial          :       0.06          2          0
1797.04/1797.08	c   shiftandpropagate:       5.69          1          0
1797.04/1797.08	c   simplerounding   :       0.00          0          0
1797.04/1797.08	c   zirounding       :       0.00          0          0
1797.04/1797.08	c   rounding         :       0.01          2          0
1797.04/1797.08	c   shifting         :       0.02          2          0
1797.04/1797.08	c   intshifting      :       0.00          0          0
1797.04/1797.08	c   twoopt           :       0.00          0          0
1797.04/1797.08	c   fixandinfer      :       0.00          0          0
1797.04/1797.08	c   feaspump         :      71.88          1          0
1797.04/1797.08	c   clique           :       0.00          0          0
1797.04/1797.08	c   coefdiving       :       0.00          0          0
1797.04/1797.08	c   pscostdiving     :       0.00          0          0
1797.04/1797.08	c   fracdiving       :       0.00          0          0
1797.04/1797.08	c   veclendiving     :       0.00          0          0
1797.04/1797.08	c   intdiving        :       0.00          0          0
1797.04/1797.08	c   actconsdiving    :       0.00          0          0
1797.04/1797.08	c   objpscostdiving  :       0.00          0          0
1797.04/1797.08	c   rootsoldiving    :       0.00          0          0
1797.04/1797.08	c   linesearchdiving :       0.00          0          0
1797.04/1797.08	c   guideddiving     :       0.00          0          0
1797.04/1797.08	c   octane           :       0.00          0          0
1797.04/1797.08	c   rens             :       0.00          0          0
1797.04/1797.08	c   rins             :       0.00          0          0
1797.04/1797.08	c   localbranching   :       0.00          0          0
1797.04/1797.08	c   mutation         :       0.00          0          0
1797.04/1797.08	c   crossover        :       0.00          0          0
1797.04/1797.08	c   dins             :       0.00          0          0
1797.04/1797.08	c   vbounds          :       0.00          0          0
1797.04/1797.08	c   undercover       :       0.00          0          0
1797.04/1797.08	c   subnlp           :       0.00          0          0
1797.04/1797.08	c   trysol           :       0.00          0          0
1797.04/1797.08	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1797.04/1797.08	c   primal LP        :       0.00          0          0       0.00          -
1797.04/1797.08	c   dual LP          :     110.91          3      43166   14388.67     389.19
1797.04/1797.08	c   lex dual LP      :       0.00          0          0       0.00          -
1797.04/1797.08	c   barrier LP       :       0.00          0          0       0.00          -
1797.04/1797.08	c   diving/probing LP:      71.21         18      30846    1713.67     433.18
1797.04/1797.08	c   strong branching :       0.00          0          0       0.00          -
1797.04/1797.08	c     (at root node) :          -          0          0       0.00          -
1797.04/1797.08	c   conflict analysis:       0.00          0          0       0.00          -
1797.04/1797.08	c B&B Tree           :
1797.04/1797.08	c   number of runs   :          1
1797.04/1797.08	c   nodes            :          1
1797.04/1797.08	c   nodes (total)    :          1
1797.04/1797.08	c   nodes left       :          2
1797.04/1797.08	c   max depth        :          0
1797.04/1797.08	c   max depth (total):          0
1797.04/1797.08	c   backtracks       :          0 (0.0%)
1797.04/1797.08	c   delayed cutoffs  :          0
1797.04/1797.08	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1797.04/1797.08	c   avg switch length:       1.00
1797.04/1797.08	c   switching time   :       0.00
1797.04/1797.08	c Solution           :
1797.04/1797.08	c   Solutions found  :          0 (0 improvements)
1797.04/1797.08	c   Primal Bound     :          -
1797.04/1797.08	c   Dual Bound       : +7.50000000000000e+01
1797.04/1797.08	c   Gap              :   infinite
1797.04/1797.08	c   Root Dual Bound  : +7.50000000000000e+01
1797.04/1797.08	c   Root Iterations  :      74012
1797.64/1797.64	c Time complete: 1797.68.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3486351-1307794404/watcher-3486351-1307794404 -o /tmp/evaluation-result-3486351-1307794404/solver-3486351-1307794404 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486351-1307794404.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.08 1.21 1.59 3/176 27018
/proc/meminfo: memFree=31585792/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=10508 CPUtime=0 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 1621 0 0 0 0 0 0 0 19 0 1 0 891038172 10760192 1576 33554432000 4194304 8979876 140737447374144 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27018/statm: 2627 1576 366 1169 0 1454 0

[startup+0.0161799 s]
/proc/loadavg: 1.08 1.21 1.59 3/176 27018
/proc/meminfo: memFree=31585792/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=13200 CPUtime=0.01 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 2306 0 0 0 1 0 0 0 19 0 1 0 891038172 13516800 2261 33554432000 4194304 8979876 140737447374144 18446744073709551615 6441773 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27018/statm: 3300 2261 366 1169 0 2127 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13200

[startup+0.100169 s]
/proc/loadavg: 1.08 1.21 1.59 3/176 27018
/proc/meminfo: memFree=31585792/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=27540 CPUtime=0.09 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 5901 0 0 0 9 0 0 0 19 0 1 0 891038172 28200960 5856 33554432000 4194304 8979876 140737447374144 18446744073709551615 7836083 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27018/statm: 6885 5856 366 1169 0 5712 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27540

[startup+0.300129 s]
/proc/loadavg: 1.08 1.21 1.59 3/176 27018
/proc/meminfo: memFree=31585792/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=46324 CPUtime=0.29 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 10575 0 0 0 28 1 0 0 20 0 1 0 891038172 47435776 10530 33554432000 4194304 8979876 140737447374144 18446744073709551615 7836063 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27018/statm: 11581 10530 366 1169 0 10408 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46324

[startup+0.701068 s]
/proc/loadavg: 1.08 1.21 1.59 3/176 27018
/proc/meminfo: memFree=31585792/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=79620 CPUtime=0.69 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 18867 0 0 0 67 2 0 0 21 0 1 0 891038172 81530880 18822 33554432000 4194304 8979876 140737447374144 18446744073709551615 7836068 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27018/statm: 19905 18822 366 1169 0 18732 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79620

[startup+1.50092 s]
/proc/loadavg: 1.08 1.21 1.59 4/178 27020
/proc/meminfo: memFree=31293296/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=288532 CPUtime=1.49 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 78013 0 0 0 140 9 0 0 23 0 1 0 891038172 295456768 69748 33554432000 4194304 8979876 140737447374144 18446744073709551615 18446744073699065918 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 72133 69748 487 1169 0 70960 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 288532

[startup+3.10063 s]
/proc/loadavg: 1.08 1.21 1.59 4/178 27020
/proc/meminfo: memFree=30898356/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=442328 CPUtime=3.09 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 116253 0 0 0 297 12 0 0 25 0 1 0 891038172 452943872 107988 33554432000 4194304 8979876 140737447374144 18446744073709551615 6503375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 110582 107988 494 1169 0 109409 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 442328

[startup+6.30105 s]
/proc/loadavg: 1.15 1.23 1.59 4/178 27020
/proc/meminfo: memFree=30435164/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=641700 CPUtime=6.29 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 164169 0 0 0 612 17 0 0 25 0 1 0 891038172 657100800 155904 33554432000 4194304 8979876 140737447374144 18446744073709551615 4919184 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 160425 155904 501 1169 0 159252 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 641700

[startup+12.7009 s]
/proc/loadavg: 1.22 1.24 1.60 4/178 27021
/proc/meminfo: memFree=30236572/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=726044 CPUtime=12.7 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 196454 0 0 0 1249 21 0 0 25 0 1 0 891038172 743469056 176099 33554432000 4194304 8979876 140737447374144 18446744073709551615 6503288 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 181511 176099 591 1169 0 180338 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 726044

[startup+25.5006 s]
/proc/loadavg: 1.39 1.28 1.60 3/178 27021
/proc/meminfo: memFree=30063696/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=786088 CPUtime=25.49 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 210803 0 0 0 2527 22 0 0 25 0 1 0 891038172 804954112 190316 33554432000 4194304 8979876 140737447374144 18446744073709551615 6503341 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 196522 190316 591 1169 0 195349 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 786088

[startup+51.101 s]
/proc/loadavg: 1.60 1.33 1.61 4/178 27022
/proc/meminfo: memFree=29999208/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=820564 CPUtime=51.09 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 219355 0 0 0 5086 23 0 0 25 0 1 0 891038172 840257536 198868 33554432000 4194304 8979876 140737447374144 18446744073709551615 4875174 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 205141 198868 591 1169 0 203968 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 820564

[startup+102.307 s]
/proc/loadavg: 1.82 1.43 1.63 4/178 27023
/proc/meminfo: memFree=29779624/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=933620 CPUtime=102.3 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 247249 0 0 0 10204 26 0 0 25 0 1 0 891038172 956026880 226762 33554432000 4194304 8979876 140737447374144 18446744073709551615 6503319 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 233405 226762 591 1169 0 232232 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 933620

[startup+162.301 s]
/proc/loadavg: 1.93 1.53 1.65 3/178 27025
/proc/meminfo: memFree=29558480/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=1045240 CPUtime=162.3 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 274628 0 0 0 16201 29 0 0 25 0 1 0 891038172 1070325760 253844 33554432000 4194304 8979876 140737447374144 18446744073709551615 6503468 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 261310 253844 591 1169 0 260137 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1045240

[startup+222.301 s]
/proc/loadavg: 1.97 1.62 1.67 4/178 27026
/proc/meminfo: memFree=29282788/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=1180068 CPUtime=222.3 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 307914 0 0 0 22198 32 0 0 25 0 1 0 891038172 1208389632 287097 33554432000 4194304 8979876 140737447374144 18446744073709551615 4887941 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 295017 287097 591 1169 0 293844 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1180068

[startup+282.3 s]
/proc/loadavg: 1.99 1.68 1.68 4/178 27028
/proc/meminfo: memFree=28959344/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=1367940 CPUtime=282.3 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 354971 0 0 0 28192 38 0 0 25 0 1 0 891038172 1400770560 333923 33554432000 4194304 8979876 140737447374144 18446744073709551615 5537797 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 341985 333923 591 1169 0 340812 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1367940

[startup+342.3 s]
/proc/loadavg: 1.99 1.74 1.70 4/178 27029
/proc/meminfo: memFree=28740680/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=1468120 CPUtime=342.3 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 379699 0 0 0 34190 40 0 0 25 0 1 0 891038172 1503354880 358651 33554432000 4194304 8979876 140737447374144 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 367030 358651 591 1169 0 365857 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1468120

[startup+402.301 s]
/proc/loadavg: 1.99 1.78 1.72 4/178 27031
/proc/meminfo: memFree=28509872/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=1590236 CPUtime=402.3 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 410272 0 0 0 40186 44 0 0 25 0 1 0 891038172 1628401664 389224 33554432000 4194304 8979876 140737447374144 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 397559 389224 591 1169 0 396386 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1590236

[startup+462.301 s]
/proc/loadavg: 2.11 1.85 1.75 4/178 27033
/proc/meminfo: memFree=28319616/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=1709424 CPUtime=462.3 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 439970 0 0 0 46182 48 0 0 25 0 1 0 891038172 1750450176 418922 33554432000 4194304 8979876 140737447374144 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 427356 418922 591 1169 0 426183 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1709424

[startup+522.301 s]
/proc/loadavg: 2.04 1.87 1.76 4/178 27034
/proc/meminfo: memFree=28084348/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=1763972 CPUtime=522.3 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 453567 0 0 0 52180 50 0 0 25 0 1 0 891038172 1806307328 432519 33554432000 4194304 8979876 140737447374144 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 440993 432519 591 1169 0 439820 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1763972

[startup+582.301 s]
/proc/loadavg: 2.01 1.89 1.77 4/178 27036
/proc/meminfo: memFree=27987204/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=1823528 CPUtime=582.3 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 467870 0 0 0 58178 52 0 0 25 0 1 0 891038172 1867292672 446822 33554432000 4194304 8979876 140737447374144 18446744073709551615 6503529 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 455882 446822 596 1169 0 454709 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1823528

[startup+642.3 s]

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

/proc/meminfo: memFree=26871408/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=2389192 CPUtime=1122.32 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 619261 0 0 0 112131 101 0 0 25 0 1 0 891038172 2446532608 582982 33554432000 4194304 8979876 140737447374144 18446744073709551615 7193008 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 597298 582982 1467 1169 0 596125 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2389192

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.86 4/178 27052
/proc/meminfo: memFree=26889596/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=2354216 CPUtime=1182.32 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 620022 0 0 0 118130 102 0 0 25 0 1 0 891038172 2410717184 577650 33554432000 4194304 8979876 140737447374144 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 588554 577650 842 1169 0 587381 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2354216

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.87 4/178 27053
/proc/meminfo: memFree=26886436/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=2354216 CPUtime=1242.33 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 620022 0 0 0 124131 102 0 0 25 0 1 0 891038172 2410717184 577650 33554432000 4194304 8979876 140737447374144 18446744073709551615 6254356 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 588554 577650 842 1169 0 587381 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2354216

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.87 4/178 27055
/proc/meminfo: memFree=26886388/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=2354216 CPUtime=1302.33 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 620022 0 0 0 130131 102 0 0 25 0 1 0 891038172 2410717184 577650 33554432000 4194304 8979876 140737447374144 18446744073709551615 6254448 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 588554 577650 842 1169 0 587381 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2354216

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.88 4/178 27057
/proc/meminfo: memFree=26886460/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=2354216 CPUtime=1362.33 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 620022 0 0 0 136131 102 0 0 25 0 1 0 891038172 2410717184 577650 33554432000 4194304 8979876 140737447374144 18446744073709551615 6254356 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 588554 577650 842 1169 0 587381 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2354216

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.89 4/178 27058
/proc/meminfo: memFree=26886168/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=2354216 CPUtime=1422.34 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 620022 0 0 0 142132 102 0 0 25 0 1 0 891038172 2410717184 577650 33554432000 4194304 8979876 140737447374144 18446744073709551615 6254540 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 588554 577650 842 1169 0 587381 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2354216

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.89 4/178 27060
/proc/meminfo: memFree=26886244/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=2354216 CPUtime=1482.33 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 620022 0 0 0 148131 102 0 0 25 0 1 0 891038172 2410717184 577650 33554432000 4194304 8979876 140737447374144 18446744073709551615 18446744073699065863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 588554 577650 842 1169 0 587381 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2354216

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.90 4/178 27061
/proc/meminfo: memFree=26886200/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=2354216 CPUtime=1542.33 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 620022 0 0 0 154131 102 0 0 25 0 1 0 891038172 2410717184 577650 33554432000 4194304 8979876 140737447374144 18446744073709551615 6254368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 588554 577650 842 1169 0 587381 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2354216

[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 1.91 4/178 27063
/proc/meminfo: memFree=26886044/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=2354216 CPUtime=1602.34 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 620022 0 0 0 160132 102 0 0 25 0 1 0 891038172 2410717184 577650 33554432000 4194304 8979876 140737447374144 18446744073709551615 6254368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 588554 577650 842 1169 0 587381 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2354216

[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 1.91 3/178 27065
/proc/meminfo: memFree=26848664/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=2392348 CPUtime=1662.33 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 629534 0 0 0 166130 103 0 0 25 0 1 0 891038172 2449764352 587149 33554432000 4194304 8979876 140737447374144 18446744073709551615 6255420 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 598087 587149 829 1169 0 596914 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2392348

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.91 4/178 27066
/proc/meminfo: memFree=26766404/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=2522480 CPUtime=1722.34 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 655916 0 0 0 172128 106 0 0 25 0 1 0 891038172 2583019520 613531 33554432000 4194304 8979876 140737447374144 18446744073709551615 6255392 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 630620 613531 829 1169 0 629447 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2522480

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/178 27068
/proc/meminfo: memFree=26592004/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=2629828 CPUtime=1782.34 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 686075 0 0 0 178123 111 0 0 25 0 1 0 891038172 2692943872 643540 33554432000 4194304 8979876 140737447374144 18446744073709551615 6293594 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 657457 643540 866 1169 0 656284 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2629828

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 1.91 3/178 27068
/proc/meminfo: memFree=26589648/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=2629828 CPUtime=1785.54 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 686078 0 0 0 178443 111 0 0 25 0 1 0 891038172 2692943872 643541 33554432000 4194304 8979876 140737447374144 18446744073709551615 6295239 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 657457 643541 864 1169 0 656284 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 2629828

[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 1.91 3/178 27068
/proc/meminfo: memFree=26581580/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=2617000 CPUtime=1791.95 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 687441 0 0 0 179083 112 0 0 25 0 1 0 891038172 2679808000 639217 33554432000 4194304 8979876 140737447374144 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 654250 639217 857 1169 0 653077 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 2617000

[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 1.91 4/178 27068
/proc/meminfo: memFree=26580464/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=2618672 CPUtime=1795.15 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 691914 0 0 0 179402 113 0 0 25 0 1 0 891038172 2681520128 643499 33554432000 4194304 8979876 140737447374144 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 654668 643499 1719 1169 0 653495 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 2618672

[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 1.91 4/178 27068
/proc/meminfo: memFree=26577612/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=2618672 CPUtime=1796.74 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 691981 0 0 0 179560 114 0 0 25 0 1 0 891038172 2681520128 643557 33554432000 4194304 8979876 140737447374144 18446744073709551615 7193019 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27018/statm: 654668 643557 1710 1169 0 653495 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 2618672

[startup+1797.1 s]
/proc/loadavg: 2.00 2.01 1.91 4/178 27068
/proc/meminfo: memFree=26577612/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=2618672 CPUtime=1797.14 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 692004 0 0 0 179600 114 0 0 18 0 1 0 891038172 2681520128 611492 33554432000 4194304 8979876 140737447374144 18446744073709551615 7898903 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27018/statm: 654668 610810 1715 1169 0 653495 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 2618672

[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 1.91 4/178 27068
/proc/meminfo: memFree=26788536/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=2239524 CPUtime=1797.54 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 692008 0 0 0 179639 115 0 0 18 0 1 0 891038172 2293272576 549900 33554432000 4194304 8979876 140737447374144 18446744073709551615 7898903 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27018/statm: 559625 549776 1719 1169 0 558452 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 2239524

[startup+1797.6 s]
/proc/loadavg: 2.00 2.01 1.91 4/178 27068
/proc/meminfo: memFree=26788536/32951124 swapFree=67053176/67111528
[pid=27018] ppid=27014 vsize=1588092 CPUtime=1797.64 cores=1,3,5,7
/proc/27018/stat : 27018 (scip-2.0.1.4_2.) R 27014 27018 19126 0 -1 4202496 692011 0 0 0 179645 119 0 0 18 0 1 0 891038172 1626206208 286298 33554432000 4194304 8979876 140737447374144 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27018/statm: 397023 285819 846 1169 0 395850 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (KiB) 1588092

Child status: 0
Real time (s): 1797.65
CPU time (s): 1797.69
CPU user time (s): 1796.46
CPU system time (s): 1.23881
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2629828

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

runsolver used 2.6126 second user time and 7.17491 second system time

The end

Launcher Data 

Begin job on node137 at 2011-06-11 14:13:24
IDJOB=3486351
IDBENCH=78061
IDSOLVER=1977
FILE ID=node137/3486351-1307794404
RUNJOBID= node137-1307794404-26992
PBS_JOBID= 13550879
Free space on /tmp= 73952 MiB

SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j902_3.std.opb
COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3486351-1307794404/watcher-3486351-1307794404 -o /tmp/evaluation-result-3486351-1307794404/solver-3486351-1307794404 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486351-1307794404.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 3657f1c03b4b0d58c64396052496042e
RANDOM SEED=1641254297

node137.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.844
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.68
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.844
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.844
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.844
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.74
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.844
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.82
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.844
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.844
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.83
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.844
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:      31586904 kB
Buffers:        270472 kB
Cached:         895800 kB
SwapCached:      12188 kB
Active:         617056 kB
Inactive:       567884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31586904 kB
SwapTotal:    67111528 kB
SwapFree:     67053176 kB
Dirty:           44240 kB
Writeback:           0 kB
AnonPages:       16052 kB
Mapped:           9096 kB
Slab:           114428 kB
PageTables:       3812 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190304 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= 73920 MiB
End job on node137 at 2011-06-11 14:43:22