Trace number 3453533

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 SCIP 2.0.1.4. with SoPlex 1.5.0.4? (TO) 1800.76 1800.72

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.4]
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-3453533-1307122047.opb>
1.19/1.23	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176130 constraints
1.19/1.23	c problem read
1.19/1.23	c presolving settings loaded
1.79/1.86	c presolving:
6.79/6.80	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
8.30/8.35	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
8.60/8.72	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
8.81/8.89	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
8.90/8.98	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
9.00/9.06	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
9.10/9.11	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
9.10/9.17	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
9.70/9.74	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
9.99/10.07	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
488.20/488.24	c    (488.2s) probing: 1000/44467 (2.2%) - 0 fixings, 0 aggregations, 9027561 implications, 0 bound changes
878.41/878.44	c    (878.4s) probing: 2000/44467 (4.5%) - 0 fixings, 0 aggregations, 13882323 implications, 0 bound changes
878.71/878.71	c    (878.7s) probing: 2001/44467 (4.5%) - 0 fixings, 0 aggregations, 13883949 implications, 0 bound changes
878.71/878.71	c    (878.7s) probing aborted: 2000/2000 successive useless probings
878.71/878.72	c presolving (11 rounds):
878.71/878.72	c  10315 deleted vars, 36622 deleted constraints, 6 added constraints, 7849 tightened bounds, 0 added holes, 123 changed sides, 279 changed coefficients
878.71/878.72	c  57726671 implications, 532 cliques
878.71/878.72	c presolved problem has 44467 variables (44467 bin, 0 int, 0 impl, 0 cont) and 139514 constraints
878.71/878.72	c    1100 constraints of type <knapsack>
878.71/878.72	c  116402 constraints of type <setppc>
878.71/878.72	c   22012 constraints of type <logicor>
878.71/878.72	c transformed objective value is always integral (scale: 1)
878.71/878.72	c Presolving Time: 877.31
878.71/878.72	c - non default parameters ----------------------------------------------------------------------
878.71/878.72	c # SCIP version 2.0.1.4
878.71/878.72	c 
878.71/878.72	c # frequency for displaying node information lines
878.71/878.72	c # [type: int, range: [-1,2147483647], default: 100]
878.71/878.72	c display/freq = 10000
878.71/878.72	c 
878.71/878.72	c # maximal time in seconds to run
878.71/878.72	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
878.71/878.72	c limits/time = 1800
878.71/878.72	c 
878.71/878.72	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
878.71/878.72	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
878.71/878.72	c limits/memory = 13950
878.71/878.72	c 
878.71/878.72	c # default clock type (1: CPU user seconds, 2: wall clock time)
878.71/878.72	c # [type: int, range: [1,2], default: 1]
878.71/878.72	c timing/clocktype = 2
878.71/878.72	c 
878.71/878.72	c # belongs reading time to solving time?
878.71/878.72	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
878.71/878.72	c timing/reading = TRUE
878.71/878.72	c 
878.71/878.72	c # should presolving try to simplify inequalities
878.71/878.72	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
878.71/878.72	c constraints/linear/simplifyinequalities = TRUE
878.71/878.72	c 
878.71/878.72	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
878.71/878.72	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
878.71/878.72	c constraints/indicator/addCouplingCons = TRUE
878.71/878.72	c 
878.71/878.72	c # should presolving try to simplify knapsacks
878.71/878.72	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
878.71/878.72	c constraints/knapsack/simplifyinequalities = TRUE
878.71/878.72	c 
878.71/878.72	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
878.71/878.72	c # [type: int, range: [-1,2147483647], default: -1]
878.71/878.72	c separating/rapidlearning/freq = 0
878.71/878.72	c 
878.71/878.72	c -----------------------------------------------------------------------------------------------
878.71/878.72	c start solving
878.71/878.75	c 
999.71/999.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
999.71/999.74	c  1000s|     1 |     0 | 35747 |     - |1761M|   0 | 728 |  44k| 139k|  44k| 139k|   0 |  15 |   0 | 7.500000e+01 |      --      |    Inf 
1762.63/1762.66	c  1763s|     1 |     0 | 70332 |     - |1764M|   0 |1716 |  44k| 139k|  44k| 139k|  41 |  15 |   0 | 7.500000e+01 |      --      |    Inf 
1800.03/1800.01	c  1800s|     1 |     0 | 75422 |     - |1767M|   0 |   - |  44k| 139k|  44k| 139k|  84 |  15 |   0 | 7.500000e+01 |      --      |    Inf 
1800.04/1800.07	c  1800s|     1 |     2 | 75422 |     - |1767M|   0 |   - |  44k| 139k|  44k| 139k|  84 |  15 |   0 | 7.500000e+01 |      --      |    Inf 
1800.04/1800.07	c 
1800.04/1800.07	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.07	c Solving Time (sec) : 1800.07
1800.04/1800.07	c Solving Nodes      : 1
1800.04/1800.07	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.07	c Dual Bound         : +7.50000000000000e+01
1800.04/1800.07	c Gap                : infinite
1800.04/1800.07	s UNKNOWN
1800.04/1800.07	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.07	c Total Time         :    1800.07
1800.04/1800.07	c   solving          :    1800.07
1800.04/1800.07	c   presolving       :     877.31 (included in solving)
1800.04/1800.07	c   reading          :       1.23 (included in solving)
1800.04/1800.07	c Original Problem   :
1800.04/1800.07	c   Problem name     : HOME/instance-3453533-1307122047.opb
1800.04/1800.07	c   Variables        : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.07	c   Constraints      : 176130 initial, 176130 maximal
1800.04/1800.07	c Presolved Problem  :
1800.04/1800.07	c   Problem name     : t_HOME/instance-3453533-1307122047.opb
1800.04/1800.07	c   Variables        : 44467 (44467 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.07	c   Constraints      : 139514 initial, 139529 maximal
1800.04/1800.07	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.04/1800.07	c   trivial          :       0.03        683          0          0          0          0          0          0          0          0
1800.04/1800.07	c   dualfix          :       0.06         90          0          0          0          0          0          0          0          0
1800.04/1800.07	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.07	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.07	c   implics          :       0.30          0          0          0          0          0          0          0          0          0
1800.04/1800.07	c   probing          :     868.43          0          0          0          0          0          0          0          0          0
1800.04/1800.07	c   knapsack         :       0.17          0          0          0          0          0          0          6         28        172
1800.04/1800.07	c   setppc           :       0.26          0          0          0          0          0          0          0          0          0
1800.04/1800.07	c   linear           :       7.40       7166       2376          0       7849          0      36622          0         95        107
1800.04/1800.07	c   logicor          :       0.05          0          0          0          0          0          0          0          0          0
1800.04/1800.07	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.04/1800.07	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.07	c   integral         :          0          0          0          0          0          4          0          0          0          0          0          0
1800.04/1800.07	c   knapsack         :       1100          2     105890          0          1          3         14          3          0        120          0          0
1800.04/1800.07	c   setppc           :     116402          2     105887          0          1          1        603          2          0          0          0          0
1800.04/1800.07	c   logicor          :      22012+         2      95914          0          1          0         19         10          0          0          0          0
1800.04/1800.07	c   countsols        :          0          0          0          0          1          0          0          0          0          0          0          0
1800.04/1800.07	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.04/1800.07	c   integral         :       0.01       0.00       0.00       0.00       0.00       0.01       0.00
1800.04/1800.07	c   knapsack         :       5.72       0.01       5.72       0.00       0.00       0.00       0.00
1800.04/1800.07	c   setppc           :     535.39       0.02     535.33       0.00       0.04       0.00       0.00
1800.04/1800.07	c   logicor          :       5.12       0.00       5.11       0.00       0.01       0.00       0.00
1800.04/1800.07	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.04/1800.07	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.04/1800.07	c   vbounds          :          0          0          0          0
1800.04/1800.07	c   rootredcost      :          0          0          0          0
1800.04/1800.07	c   pseudoobj        :       4443          0          0          0
1800.04/1800.07	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.04/1800.07	c   vbounds          :       0.05       0.05       0.00
1800.04/1800.07	c   rootredcost      :       0.02       0.02       0.00
1800.04/1800.07	c   pseudoobj        :       0.03       0.03       0.00
1800.04/1800.07	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.07	c   propagation      :       0.00         15         15         17       10.1          0        0.0          -
1800.04/1800.07	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.07	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.07	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.07	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.07	c   applied globally :          -          -          -         15        9.9          -          -          -
1800.04/1800.07	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.07	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.07	c   cut pool         :       0.00          1          -          -         33          -    (maximal pool size: 433)
1800.04/1800.07	c   redcost          :       0.00          2          0          0          0          0
1800.04/1800.07	c   impliedbounds    :       0.03          2          0          0          0          0
1800.04/1800.07	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.07	c   gomory           :      11.15          2          0          0        572          0
1800.04/1800.07	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.07	c   closecuts        :       0.00          0          0          0          0          0
1800.04/1800.07	c   strongcg         :       2.03          2          0          0       1000          0
1800.04/1800.07	c   cmir             :       8.00          2          0          0          0          0
1800.04/1800.07	c   flowcover        :      15.01          2          0          0         91          0
1800.04/1800.07	c   clique           :     669.05          2          0          0          7          0
1800.04/1800.07	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.07	c   mcf              :       3.14          1          0          0          0          0
1800.04/1800.07	c   oddcycle         :       0.00          0          0          0          0          0
1800.04/1800.07	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.07	c Pricers            :       Time      Calls       Vars
1800.04/1800.07	c   problem variables:       0.00          0          0
1800.04/1800.07	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.07	c   relpscost        :       0.00          0          0          0          0          0          0
1800.04/1800.07	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.07	c   inference        :       0.01          1          0          0          0          0          2
1800.04/1800.07	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.07	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.07	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.07	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.07	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.07	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.07	c   LP solutions     :       0.00          -          0
1800.04/1800.07	c   pseudo solutions :       0.00          -          0
1800.04/1800.07	c   oneopt           :       0.00          0          0
1800.04/1800.07	c   trivial          :       0.06          2          0
1800.04/1800.07	c   shiftandpropagate:       6.56          1          0
1800.04/1800.07	c   simplerounding   :       0.00          0          0
1800.04/1800.07	c   zirounding       :       0.00          0          0
1800.04/1800.07	c   rounding         :       0.01          2          0
1800.04/1800.07	c   shifting         :       0.02          2          0
1800.04/1800.07	c   intshifting      :       0.00          0          0
1800.04/1800.07	c   twoopt           :       0.00          0          0
1800.04/1800.07	c   fixandinfer      :       0.00          0          0
1800.04/1800.07	c   feaspump         :      79.00          1          0
1800.04/1800.07	c   clique           :       0.00          0          0
1800.04/1800.07	c   coefdiving       :       0.00          0          0
1800.04/1800.07	c   pscostdiving     :       0.00          0          0
1800.04/1800.07	c   fracdiving       :       0.00          0          0
1800.04/1800.07	c   veclendiving     :       0.00          0          0
1800.04/1800.07	c   intdiving        :       0.00          0          0
1800.04/1800.07	c   actconsdiving    :       0.00          0          0
1800.04/1800.07	c   objpscostdiving  :       0.00          0          0
1800.04/1800.07	c   rootsoldiving    :       0.00          0          0
1800.04/1800.07	c   linesearchdiving :       0.00          0          0
1800.04/1800.07	c   guideddiving     :       0.00          0          0
1800.04/1800.07	c   octane           :       0.00          0          0
1800.04/1800.07	c   rens             :       0.00          0          0
1800.04/1800.07	c   rins             :       0.00          0          0
1800.04/1800.07	c   localbranching   :       0.00          0          0
1800.04/1800.07	c   mutation         :       0.00          0          0
1800.04/1800.07	c   crossover        :       0.00          0          0
1800.04/1800.07	c   dins             :       0.00          0          0
1800.04/1800.07	c   vbounds          :       0.00          0          0
1800.04/1800.07	c   undercover       :       0.00          0          0
1800.04/1800.07	c   subnlp           :       0.00          0          0
1800.04/1800.07	c   trysol           :       0.00          0          0
1800.04/1800.07	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.07	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.07	c   dual LP          :     127.09          3      44576   14858.67     350.73
1800.04/1800.07	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.07	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.07	c   diving/probing LP:      78.27         18      30846    1713.67     394.09
1800.04/1800.07	c   strong branching :       0.00          0          0       0.00          -
1800.04/1800.07	c     (at root node) :          -          0          0       0.00          -
1800.04/1800.07	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.07	c B&B Tree           :
1800.04/1800.07	c   number of runs   :          1
1800.04/1800.07	c   nodes            :          1
1800.04/1800.07	c   nodes (total)    :          1
1800.04/1800.07	c   nodes left       :          2
1800.04/1800.07	c   max depth        :          0
1800.04/1800.07	c   max depth (total):          0
1800.04/1800.07	c   backtracks       :          0 (0.0%)
1800.04/1800.07	c   delayed cutoffs  :          0
1800.04/1800.07	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.04/1800.07	c   avg switch length:       1.00
1800.04/1800.07	c   switching time   :       0.00
1800.04/1800.07	c Solution           :
1800.04/1800.07	c   Solutions found  :          0 (0 improvements)
1800.04/1800.07	c   Primal Bound     :          -
1800.04/1800.07	c   Dual Bound       : +7.50000000000000e+01
1800.04/1800.07	c   Gap              :   infinite
1800.04/1800.07	c   Root Dual Bound  : +7.50000000000000e+01
1800.04/1800.07	c   Root Iterations  :      75422
1800.64/1800.71	c Time complete: 1800.74.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3453533-1307122047/watcher-3453533-1307122047 -o /tmp/evaluation-result-3453533-1307122047/solver-3453533-1307122047 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453533-1307122047.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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: 2.00 2.02 1.97 2/524 11335
/proc/meminfo: memFree=24990784/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=11572 CPUtime=0 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 1883 0 0 0 0 0 0 0 25 0 1 0 902435360 11849728 1837 33554432000 4194304 9128323 140734092375536 18446744073709551615 8008915 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11335/statm: 2893 1837 400 1205 0 1684 0

[startup+0.072579 s]
/proc/loadavg: 2.00 2.02 1.97 2/524 11335
/proc/meminfo: memFree=24990784/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=21832 CPUtime=0.06 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 4443 0 0 0 6 0 0 0 25 0 1 0 902435360 22355968 4396 33554432000 4194304 9128323 140734092375536 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11335/statm: 5458 4396 400 1205 0 4249 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 21832

[startup+0.10056 s]
/proc/loadavg: 2.00 2.02 1.97 2/524 11335
/proc/meminfo: memFree=24990784/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=25320 CPUtime=0.09 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 5341 0 0 0 9 0 0 0 25 0 1 0 902435360 25927680 5293 33554432000 4194304 9128323 140734092375536 18446744073709551615 4338648 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11335/statm: 6330 5294 400 1205 0 5121 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25320

[startup+0.300538 s]
/proc/loadavg: 2.00 2.02 1.97 2/524 11335
/proc/meminfo: memFree=24990784/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=43492 CPUtime=0.29 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 9912 0 0 0 29 0 0 0 25 0 1 0 902435360 44535808 9832 33554432000 4194304 9128323 140734092375536 18446744073709551615 5389924 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11335/statm: 10873 9832 400 1205 0 9664 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43492

[startup+0.70046 s]
/proc/loadavg: 2.00 2.02 1.97 2/524 11335
/proc/meminfo: memFree=24990784/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=61856 CPUtime=0.69 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 14505 0 0 0 68 1 0 0 25 0 1 0 902435360 63340544 14418 33554432000 4194304 9128323 140734092375536 18446744073709551615 8008920 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11335/statm: 15464 14418 400 1205 0 14255 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61856

[startup+1.50028 s]
/proc/loadavg: 2.00 2.02 1.97 3/528 11342
/proc/meminfo: memFree=24824704/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=218316 CPUtime=1.49 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 53068 0 0 0 144 5 0 0 25 0 1 0 902435360 223555584 52909 33554432000 4194304 9128323 140734092375536 18446744073709551615 6889762 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 54579 52909 467 1205 0 53370 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 218316

[startup+3.10103 s]
/proc/loadavg: 2.00 2.02 1.97 3/528 11342
/proc/meminfo: memFree=24370120/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=426880 CPUtime=3.09 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 112487 0 0 0 298 11 0 0 25 0 1 0 902435360 437125120 104206 33554432000 4194304 9128323 140734092375536 18446744073709551615 8012251 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 106720 104206 510 1205 0 105511 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 426880

[startup+6.30048 s]
/proc/loadavg: 2.00 2.02 1.97 3/528 11343
/proc/meminfo: memFree=23777408/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=655060 CPUtime=6.29 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 167482 0 0 0 609 20 0 0 25 0 1 0 902435360 670781440 159201 33554432000 4194304 9128323 140734092375536 18446744073709551615 4832211 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 163765 159201 519 1205 0 162556 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 655060

[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 1.97 3/528 11343
/proc/meminfo: memFree=23523600/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=753928 CPUtime=12.69 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 203219 0 0 0 1245 24 0 0 25 0 1 0 902435360 772022272 182808 33554432000 4194304 9128323 140734092375536 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 188482 182808 600 1205 0 187273 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 753928

[startup+25.5011 s]
/proc/loadavg: 2.00 2.02 1.97 3/528 11343
/proc/meminfo: memFree=23407172/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=807028 CPUtime=25.49 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 215629 0 0 0 2523 26 0 0 25 0 1 0 902435360 826396672 195086 33554432000 4194304 9128323 140734092375536 18446744073709551615 6593127 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 201757 195086 600 1205 0 200548 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 807028

[startup+51.1006 s]
/proc/loadavg: 2.00 2.02 1.97 3/528 11344
/proc/meminfo: memFree=23263336/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=867852 CPUtime=51.09 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 230832 0 0 0 5080 29 0 0 25 0 1 0 902435360 888680448 210289 33554432000 4194304 9128323 140734092375536 18446744073709551615 4855072 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 216963 210289 600 1205 0 215754 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 867852

[startup+102.321 s]
/proc/loadavg: 2.10 2.04 1.98 3/528 11345
/proc/meminfo: memFree=22983944/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=1000816 CPUtime=102.31 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 263760 0 0 0 10197 34 0 0 25 0 1 0 902435360 1024835584 243217 33554432000 4194304 9128323 140734092375536 18446744073709551615 5489545 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 250204 243217 600 1205 0 248995 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1000816

[startup+162.301 s]
/proc/loadavg: 2.08 2.05 1.99 3/528 11347
/proc/meminfo: memFree=22604944/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=1176432 CPUtime=162.29 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 307074 0 0 0 16189 40 0 0 25 0 1 0 902435360 1204666368 286168 33554432000 4194304 9128323 140734092375536 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 294108 286168 600 1205 0 292899 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1176432

[startup+222.301 s]
/proc/loadavg: 2.15 2.07 2.00 3/528 11348
/proc/meminfo: memFree=22178948/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=1405344 CPUtime=222.3 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 364295 0 0 0 22183 47 0 0 25 0 1 0 902435360 1439072256 343158 33554432000 4194304 9128323 140734092375536 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 351336 343158 600 1205 0 350127 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1405344

[startup+282.301 s]
/proc/loadavg: 2.11 2.07 2.00 3/528 11350
/proc/meminfo: memFree=21925820/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=1537528 CPUtime=282.3 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 396902 0 0 0 28178 52 0 0 25 0 1 0 902435360 1574428672 375765 33554432000 4194304 9128323 140734092375536 18446744073709551615 5488452 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 384382 375765 600 1205 0 383173 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1537528

[startup+342.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/528 11352
/proc/meminfo: memFree=21693888/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=1662060 CPUtime=342.3 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 428259 0 0 0 34173 57 0 0 25 0 1 0 902435360 1701949440 407122 33554432000 4194304 9128323 140734092375536 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 415515 407122 600 1205 0 414306 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1662060

[startup+402.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/528 11353
/proc/meminfo: memFree=21464828/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=1732760 CPUtime=402.3 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 445466 0 0 0 40171 59 0 0 25 0 1 0 902435360 1774346240 424329 33554432000 4194304 9128323 140734092375536 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 433190 424329 600 1205 0 431981 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1732760

[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 11355
/proc/meminfo: memFree=21358248/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=1787404 CPUtime=462.3 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 459266 0 0 0 46168 62 0 0 25 0 1 0 902435360 1830301696 438129 33554432000 4194304 9128323 140734092375536 18446744073709551615 6593146 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 446851 438129 600 1205 0 445642 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1787404

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 11356
/proc/meminfo: memFree=21259016/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=1843964 CPUtime=522.3 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 473659 0 0 0 52165 65 0 0 25 0 1 0 902435360 1888219136 452522 33554432000 4194304 9128323 140734092375536 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 460991 452522 604 1205 0 459782 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1843964

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 11358
/proc/meminfo: memFree=21148364/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=1900420 CPUtime=582.3 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 486956 0 0 0 58163 67 0 0 25 0 1 0 902435360 1946030080 465819 33554432000 4194304 9128323 140734092375536 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 475105 465819 604 1205 0 473896 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1900420

[startup+642.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 11371
/proc/meminfo: memFree=20287968/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=2378784 CPUtime=942.31 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 608498 0 0 0 94141 90 0 0 25 0 1 0 902435360 2435874816 582686 33554432000 4194304 9128323 140734092375536 18446744073709551615 7316174 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 594696 582686 853 1205 0 593487 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2378784

[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 11373
/proc/meminfo: memFree=20313220/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=2389264 CPUtime=1002.32 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 618153 0 0 0 100137 95 0 0 25 0 1 0 902435360 2446606336 582770 33554432000 4194304 9128323 140734092375536 18446744073709551615 7315582 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 597316 582770 2451 1205 0 596107 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2389264

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 11376
/proc/meminfo: memFree=20307368/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=2389264 CPUtime=1062.31 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 619235 0 0 0 106131 100 0 0 25 0 1 0 902435360 2446606336 582860 33554432000 4194304 9128323 140734092375536 18446744073709551615 7342748 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 597316 582860 1459 1205 0 596107 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2389264

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 11377
/proc/meminfo: memFree=20324696/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=2354832 CPUtime=1122.32 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 620200 0 0 0 112130 102 0 0 25 0 1 0 902435360 2411347968 577777 33554432000 4194304 9128323 140734092375536 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 588708 577777 875 1205 0 587499 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2354832

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 11380
/proc/meminfo: memFree=20324024/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=2354832 CPUtime=1182.32 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 620200 0 0 0 118130 102 0 0 25 0 1 0 902435360 2411347968 577777 33554432000 4194304 9128323 140734092375536 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 588708 577777 875 1205 0 587499 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2354832

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 11383
/proc/meminfo: memFree=20322244/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=2354832 CPUtime=1242.32 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 620200 0 0 0 124130 102 0 0 25 0 1 0 902435360 2411347968 577777 33554432000 4194304 9128323 140734092375536 18446744073709551615 6243204 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 588708 577777 875 1205 0 587499 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2354832

[startup+1302.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/528 11384
/proc/meminfo: memFree=20324532/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=2354832 CPUtime=1302.33 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 620200 0 0 0 130130 103 0 0 25 0 1 0 902435360 2411347968 577777 33554432000 4194304 9128323 140734092375536 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 588708 577777 875 1205 0 587499 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2354832

[startup+1362.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/528 11386
/proc/meminfo: memFree=20324252/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=2354832 CPUtime=1362.33 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 620200 0 0 0 136130 103 0 0 25 0 1 0 902435360 2411347968 577777 33554432000 4194304 9128323 140734092375536 18446744073709551615 6243388 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 588708 577777 875 1205 0 587499 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2354832

[startup+1422.32 s]
/proc/loadavg: 2.06 2.04 2.00 3/528 11387
/proc/meminfo: memFree=20324332/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=2354832 CPUtime=1422.35 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 620200 0 0 0 142132 103 0 0 25 0 1 0 902435360 2411347968 577777 33554432000 4194304 9128323 140734092375536 18446744073709551615 6243388 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 588708 577777 875 1205 0 587499 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 2354832

[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/528 11389
/proc/meminfo: memFree=20323792/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=2354832 CPUtime=1482.33 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 620200 0 0 0 148130 103 0 0 25 0 1 0 902435360 2411347968 577777 33554432000 4194304 9128323 140734092375536 18446744073709551615 6243388 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 588708 577777 875 1205 0 587499 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2354832

[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/528 11391
/proc/meminfo: memFree=20288536/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=2354832 CPUtime=1542.33 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 620200 0 0 0 154130 103 0 0 25 0 1 0 902435360 2411347968 577777 33554432000 4194304 9128323 140734092375536 18446744073709551615 6243204 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 588708 577777 875 1205 0 587499 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2354832

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 11392
/proc/meminfo: memFree=20055264/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=2354832 CPUtime=1602.33 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 620200 0 0 0 160130 103 0 0 25 0 1 0 902435360 2411347968 577777 33554432000 4194304 9128323 140734092375536 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 588708 577777 875 1205 0 587499 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2354832

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 11394
/proc/meminfo: memFree=20038112/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=2372724 CPUtime=1662.33 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 624110 0 0 0 166130 103 0 0 25 0 1 0 902435360 2429669376 581653 33554432000 4194304 9128323 140734092375536 18446744073709551615 6244928 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 593181 581653 841 1205 0 591972 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2372724

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 11395
/proc/meminfo: memFree=19956352/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=2498036 CPUtime=1722.33 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 652878 0 0 0 172126 107 0 0 25 0 1 0 902435360 2557988864 610421 33554432000 4194304 9128323 140734092375536 18446744073709551615 6244944 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 624509 610422 841 1205 0 623300 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2498036

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 11397
/proc/meminfo: memFree=19813940/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=2607776 CPUtime=1782.34 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 681314 0 0 0 178123 111 0 0 25 0 1 0 902435360 2670362624 638848 33554432000 4194304 9128323 140734092375536 18446744073709551615 6309892 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 651944 638848 1018 1205 0 650735 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2607776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 11397
/proc/meminfo: memFree=19792112/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=2625124 CPUtime=1800.04 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 687130 0 0 0 179892 112 0 0 25 0 1 0 902435360 2688126976 644628 33554432000 4194304 9128323 140734092375536 18446744073709551615 7315136 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11335/statm: 656281 644628 986 1205 0 655072 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2625124

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 11397
/proc/meminfo: memFree=19792112/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=2408192 CPUtime=1800.23 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 687140 0 0 0 179910 113 0 0 25 0 1 0 902435360 2465988608 591583 33554432000 4194304 9128323 140734092375536 18446744073709551615 6890050 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11335/statm: 602048 591583 996 1205 0 600839 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 2408192

[startup+1800.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/530 11399
/proc/meminfo: memFree=20507076/32951124 swapFree=56241860/67111528
[pid=11335] ppid=11333 vsize=2102780 CPUtime=1800.64 cores=0,2,4,6
/proc/11335/stat : 11335 (scip-2.0.1.4.li) R 11333 11335 5807 0 -1 4202496 687144 0 0 0 179949 115 0 0 25 0 1 0 902435360 2153246720 515644 33554432000 4194304 9128323 140734092375536 18446744073709551615 8062775 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11335/statm: 525662 515611 998 1205 0 524453 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 2102780

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.76
CPU user time (s): 1799.5
CPU system time (s): 1.25781
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2625124

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

runsolver used 10.0585 second user time and 21.1578 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-03 19:27:27
IDJOB=3453533
IDBENCH=78061
IDSOLVER=1949
FILE ID=node119/3453533-1307122047
RUNJOBID= node119-1307120244-11196
PBS_JOBID= 13497988
Free space on /tmp= 73628 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j902_3.std.opb
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453533-1307122047/watcher-3453533-1307122047 -o /tmp/evaluation-result-3453533-1307122047/solver-3453533-1307122047 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453533-1307122047.opb -t 1800 -m 15500

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

MD5SUM BENCH= 3657f1c03b4b0d58c64396052496042e
RANDOM SEED=718465813

node119.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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
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.83
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.815
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.815
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.83
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.815
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.67
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.815
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.815
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.74
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.815
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24991064 kB
Buffers:        206952 kB
Cached:         560284 kB
SwapCached:      59076 kB
Active:         680240 kB
Inactive:      6983264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24991064 kB
SwapTotal:    67111528 kB
SwapFree:     56241860 kB
Dirty:           18684 kB
Writeback:           0 kB
AnonPages:     6839940 kB
Mapped:          33080 kB
Slab:           148588 kB
PageTables:      78744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 163857840 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= 73596 MiB
End job on node119 at 2011-06-03 19:57:29