Trace number 3489745

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 E_2 2011-06-10 (fixed)? 1798.82 1798.76

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12037_10.std.opb
MD5SUM2d7989b1a1c0b548cce5b438f15fc440
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark143
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints245287
Number of constraints which are clauses244087
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 constraint120
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.5 [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-3489745-1307792968.opb>
1.29/1.39	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245287 constraints
1.29/1.39	c problem read
1.29/1.39	c presolving settings loaded
1.79/1.86	c presolving:
9.80/9.85	c (round 1) 5557 del vars, 16422 del conss, 0 add conss, 4063 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16756468 impls, 0 clqs
13.69/13.77	c (round 2) 11856 del vars, 40203 del conss, 0 add conss, 9955 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16785465 impls, 0 clqs
14.79/14.89	c (round 3) 13931 del vars, 50340 del conss, 0 add conss, 11054 chg bounds, 10 chg sides, 16 chg coeffs, 0 upgd conss, 16800521 impls, 0 clqs
15.49/15.54	c (round 4) 14766 del vars, 53897 del conss, 0 add conss, 11571 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16808303 impls, 0 clqs
15.89/15.93	c (round 5) 15305 del vars, 56060 del conss, 0 add conss, 11896 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16812301 impls, 0 clqs
16.09/16.15	c (round 6) 15573 del vars, 57222 del conss, 0 add conss, 12034 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16814609 impls, 0 clqs
16.29/16.31	c (round 7) 15712 del vars, 57848 del conss, 0 add conss, 12112 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16815993 impls, 0 clqs
16.40/16.41	c (round 8) 15794 del vars, 58225 del conss, 0 add conss, 12151 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16816547 impls, 0 clqs
16.40/16.48	c (round 9) 15806 del vars, 58330 del conss, 0 add conss, 12157 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16816733 impls, 0 clqs
16.50/16.55	c (round 10) 15818 del vars, 58378 del conss, 0 add conss, 12163 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16816829 impls, 0 clqs
996.02/996.04	c    (996.0s) probing: 1000/57022 (1.8%) - 1 fixings, 1 aggregations, 13003502 implications, 0 bound changes
1584.44/1584.40	c    (1584.4s) probing: 2000/57022 (3.5%) - 1 fixings, 1 aggregations, 20392398 implications, 0 bound changes
1649.34/1649.33	c    (1649.3s) probing: 2125/57022 (3.7%) - 1 fixings, 1 aggregations, 21198622 implications, 0 bound changes
1649.34/1649.33	c    (1649.3s) probing aborted: 2000/2000 successive useless probings
1649.34/1649.33	c (round 11) 15822 del vars, 58398 del conss, 0 add conss, 12164 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 93018771 impls, 0 clqs
1649.54/1649.59	c (round 12) 15822 del vars, 58522 del conss, 0 add conss, 12164 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 93018771 impls, 0 clqs
1650.54/1650.57	c (round 13) 15822 del vars, 58522 del conss, 0 add conss, 12164 chg bounds, 14 chg sides, 20 chg coeffs, 186765 upgd conss, 93018771 impls, 0 clqs
1652.74/1652.73	c (round 14) 15822 del vars, 58532 del conss, 23 add conss, 12164 chg bounds, 47 chg sides, 155 chg coeffs, 186765 upgd conss, 93018771 impls, 0 clqs
1798.05/1798.07	c    (1798.1s) probing: 2245/57022 (3.9%) - 3 fixings, 3 aggregations, 22071707 implications, 0 bound changes
1798.05/1798.07	c    (1798.1s) probing aborted: solving stopped
1798.05/1798.07	c presolving (15 rounds):
1798.05/1798.07	c  15826 deleted vars, 58534 deleted constraints, 23 added constraints, 12164 tightened bounds, 0 added holes, 50 changed sides, 165 changed coefficients
1798.05/1798.07	c  95141935 implications, 0 cliques
1798.05/1798.07	c presolved problem has 57016 variables (57016 bin, 0 int, 0 impl, 0 cont) and 186776 constraints
1798.05/1798.07	c    1174 constraints of type <knapsack>
1798.05/1798.07	c  157410 constraints of type <setppc>
1798.05/1798.07	c   28192 constraints of type <logicor>
1798.05/1798.07	c transformed objective value is always integral (scale: 1)
1798.05/1798.07	c Presolving Time: 1796.33
1798.05/1798.07	c - non default parameters ----------------------------------------------------------------------
1798.05/1798.07	c # SCIP version 2.0.1.5
1798.05/1798.07	c 
1798.05/1798.07	c # frequency for displaying node information lines
1798.05/1798.07	c # [type: int, range: [-1,2147483647], default: 100]
1798.05/1798.07	c display/freq = 10000
1798.05/1798.07	c 
1798.05/1798.07	c # maximal time in seconds to run
1798.05/1798.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1798.05/1798.07	c limits/time = 1797
1798.05/1798.07	c 
1798.05/1798.07	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1798.05/1798.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1798.05/1798.07	c limits/memory = 13950
1798.05/1798.07	c 
1798.05/1798.07	c # default clock type (1: CPU user seconds, 2: wall clock time)
1798.05/1798.07	c # [type: int, range: [1,2], default: 1]
1798.05/1798.07	c timing/clocktype = 2
1798.05/1798.07	c 
1798.05/1798.07	c # belongs reading time to solving time?
1798.05/1798.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1798.05/1798.07	c timing/reading = TRUE
1798.05/1798.07	c 
1798.05/1798.07	c # should presolving try to simplify inequalities
1798.05/1798.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1798.05/1798.07	c constraints/linear/simplifyinequalities = TRUE
1798.05/1798.07	c 
1798.05/1798.07	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1798.05/1798.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1798.05/1798.07	c constraints/indicator/addCouplingCons = TRUE
1798.05/1798.07	c 
1798.05/1798.07	c # should presolving try to simplify knapsacks
1798.05/1798.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1798.05/1798.07	c constraints/knapsack/simplifyinequalities = TRUE
1798.05/1798.07	c 
1798.05/1798.07	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1798.05/1798.07	c # [type: int, range: [-1,2147483647], default: -1]
1798.05/1798.07	c separating/rapidlearning/freq = 0
1798.05/1798.07	c 
1798.05/1798.07	c -----------------------------------------------------------------------------------------------
1798.05/1798.07	c start solving
1798.05/1798.09	c 
1798.05/1798.09	c 
1798.05/1798.09	c SCIP Status        : solving was interrupted [time limit reached]
1798.05/1798.09	c Solving Time (sec) : 1798.09
1798.05/1798.09	c Solving Nodes      : 0
1798.05/1798.09	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1798.05/1798.09	c Dual Bound         : -1.00000000000000e+20
1798.05/1798.09	c Gap                : infinite
1798.05/1798.09	s UNKNOWN
1798.05/1798.09	c SCIP Status        : solving was interrupted [time limit reached]
1798.05/1798.09	c Total Time         :    1798.09
1798.05/1798.09	c   solving          :    1798.09
1798.05/1798.09	c   presolving       :    1796.33 (included in solving)
1798.05/1798.09	c   reading          :       1.39 (included in solving)
1798.05/1798.09	c Original Problem   :
1798.05/1798.09	c   Problem name     : HOME/instance-3489745-1307792968.opb
1798.05/1798.09	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.05/1798.09	c   Constraints      : 245287 initial, 245287 maximal
1798.05/1798.09	c Presolved Problem  :
1798.05/1798.09	c   Problem name     : t_HOME/instance-3489745-1307792968.opb
1798.05/1798.09	c   Variables        : 57016 (57016 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.05/1798.09	c   Constraints      : 186776 initial, 186776 maximal
1798.05/1798.09	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1798.05/1798.09	c   trivial          :       0.05        947          0          0          0          0          0          0          0          0
1798.05/1798.09	c   dualfix          :       0.08        120          0          0          0          0          0          0          0          0
1798.05/1798.09	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1798.05/1798.09	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1798.05/1798.09	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1798.05/1798.09	c   implics          :       1.01          0          0          0          0          0          0          0          0          0
1798.05/1798.09	c   probing          :    1777.70          3          3          0          0          0          0          0          0          0
1798.05/1798.09	c   knapsack         :       1.75          0          0          0          0          0          2         23         36        145
1798.05/1798.09	c   setppc           :       0.37          0          0          0          0          0         10          0          0          0
1798.05/1798.09	c   linear           :      14.89      11217       3536          0      12164          0      58522          0         14         20
1798.05/1798.09	c   logicor          :       0.09          0          0          0          0          0          0          0          0          0
1798.05/1798.09	c   root node        :          -          0          -          -          0          -          -          -          -          -
1798.05/1798.09	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1798.05/1798.09	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
1798.05/1798.09	c   knapsack         :       1174          0       2733          0          0          0          0          2          0          0          0          0
1798.05/1798.09	c   setppc           :     157410          0       2731          0          0          0          0          0          0          0          0          0
1798.05/1798.09	c   logicor          :      28192          0       2590          0          0          0          0          0          0          0          0          0
1798.05/1798.09	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1798.05/1798.09	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1798.05/1798.09	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1798.05/1798.09	c   knapsack         :       0.28       0.00       0.28       0.00       0.00       0.00       0.00
1798.05/1798.09	c   setppc           :       7.54       0.00       7.54       0.00       0.00       0.00       0.00
1798.05/1798.09	c   logicor          :       0.93       0.00       0.93       0.00       0.00       0.00       0.00
1798.05/1798.09	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1798.05/1798.09	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1798.05/1798.09	c   vbounds          :          0          0          0          0
1798.05/1798.09	c   rootredcost      :          0          0          0          0
1798.05/1798.09	c   pseudoobj        :          0          0          0          0
1798.05/1798.09	c Propagator Timings :  TotalTime  Propagate    Resprop
1798.05/1798.09	c   vbounds          :       0.06       0.06       0.00
1798.05/1798.09	c   rootredcost      :       0.03       0.03       0.00
1798.05/1798.09	c   pseudoobj        :       0.02       0.02       0.00
1798.05/1798.09	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1798.05/1798.09	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1798.05/1798.09	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1798.05/1798.09	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1798.05/1798.09	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1798.05/1798.09	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1798.05/1798.09	c   applied globally :          -          -          -          0        0.0          -          -          -
1798.05/1798.09	c   applied locally  :          -          -          -          0        0.0          -          -          -
1798.05/1798.09	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1798.05/1798.09	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1798.05/1798.09	c   redcost          :       0.00          0          0          0          0          0
1798.05/1798.09	c   impliedbounds    :       0.00          0          0          0          0          0
1798.05/1798.09	c   intobj           :       0.00          0          0          0          0          0
1798.05/1798.09	c   gomory           :       0.00          0          0          0          0          0
1798.05/1798.09	c   cgmip            :       0.00          0          0          0          0          0
1798.05/1798.09	c   closecuts        :       0.00          0          0          0          0          0
1798.05/1798.09	c   strongcg         :       0.00          0          0          0          0          0
1798.05/1798.09	c   cmir             :       0.00          0          0          0          0          0
1798.05/1798.09	c   flowcover        :       0.00          0          0          0          0          0
1798.05/1798.09	c   clique           :       0.00          0          0          0          0          0
1798.05/1798.09	c   zerohalf         :       0.00          0          0          0          0          0
1798.05/1798.09	c   mcf              :       0.00          0          0          0          0          0
1798.05/1798.09	c   oddcycle         :       0.00          0          0          0          0          0
1798.05/1798.09	c   rapidlearning    :       0.00          0          0          0          0          0
1798.05/1798.09	c Pricers            :       Time      Calls       Vars
1798.05/1798.09	c   problem variables:       0.00          0          0
1798.05/1798.09	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1798.05/1798.09	c   pscost           :       0.00          0          0          0          0          0          0
1798.05/1798.09	c   inference        :       0.00          0          0          0          0          0          0
1798.05/1798.09	c   mostinf          :       0.00          0          0          0          0          0          0
1798.05/1798.09	c   leastinf         :       0.00          0          0          0          0          0          0
1798.05/1798.09	c   fullstrong       :       0.00          0          0          0          0          0          0
1798.05/1798.09	c   allfullstrong    :       0.00          0          0          0          0          0          0
1798.05/1798.09	c   random           :       0.00          0          0          0          0          0          0
1798.05/1798.09	c   relpscost        :       0.00          0          0          0          0          0          0
1798.05/1798.09	c Primal Heuristics  :       Time      Calls      Found
1798.05/1798.09	c   LP solutions     :       0.00          -          0
1798.05/1798.09	c   pseudo solutions :       0.00          -          0
1798.05/1798.09	c   trivial          :       0.06          1          0
1798.05/1798.09	c   shiftandpropagate:       0.00          0          0
1798.05/1798.09	c   simplerounding   :       0.00          0          0
1798.05/1798.09	c   zirounding       :       0.00          0          0
1798.05/1798.09	c   rounding         :       0.00          0          0
1798.05/1798.09	c   shifting         :       0.00          0          0
1798.05/1798.09	c   intshifting      :       0.00          0          0
1798.05/1798.09	c   oneopt           :       0.00          0          0
1798.05/1798.09	c   twoopt           :       0.00          0          0
1798.05/1798.09	c   fixandinfer      :       0.00          0          0
1798.05/1798.09	c   feaspump         :       0.00          0          0
1798.05/1798.09	c   clique           :       0.00          0          0
1798.05/1798.09	c   coefdiving       :       0.00          0          0
1798.05/1798.09	c   pscostdiving     :       0.00          0          0
1798.05/1798.09	c   fracdiving       :       0.00          0          0
1798.05/1798.09	c   veclendiving     :       0.00          0          0
1798.05/1798.09	c   intdiving        :       0.00          0          0
1798.05/1798.09	c   actconsdiving    :       0.00          0          0
1798.05/1798.09	c   objpscostdiving  :       0.00          0          0
1798.05/1798.09	c   rootsoldiving    :       0.00          0          0
1798.05/1798.09	c   linesearchdiving :       0.00          0          0
1798.05/1798.09	c   guideddiving     :       0.00          0          0
1798.05/1798.09	c   octane           :       0.00          0          0
1798.05/1798.09	c   rens             :       0.00          0          0
1798.05/1798.09	c   rins             :       0.00          0          0
1798.05/1798.09	c   localbranching   :       0.00          0          0
1798.05/1798.09	c   mutation         :       0.00          0          0
1798.05/1798.09	c   crossover        :       0.00          0          0
1798.05/1798.09	c   dins             :       0.00          0          0
1798.05/1798.09	c   vbounds          :       0.00          0          0
1798.05/1798.09	c   undercover       :       0.00          0          0
1798.05/1798.09	c   subnlp           :       0.00          0          0
1798.05/1798.09	c   trysol           :       0.00          0          0
1798.05/1798.09	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1798.05/1798.09	c   primal LP        :       0.00          0          0       0.00          -
1798.05/1798.09	c   dual LP          :       0.00          0          0       0.00          -
1798.05/1798.09	c   lex dual LP      :       0.00          0          0       0.00          -
1798.05/1798.09	c   barrier LP       :       0.00          0          0       0.00          -
1798.05/1798.09	c   diving/probing LP:       0.00          0          0       0.00          -
1798.05/1798.09	c   strong branching :       0.00          0          0       0.00          -
1798.05/1798.09	c     (at root node) :          -          0          0       0.00          -
1798.05/1798.09	c   conflict analysis:       0.00          0          0       0.00          -
1798.05/1798.09	c B&B Tree           :
1798.05/1798.09	c   number of runs   :          1
1798.05/1798.09	c   nodes            :          0
1798.05/1798.09	c   nodes (total)    :          0
1798.05/1798.09	c   nodes left       :          1
1798.05/1798.09	c   max depth        :         -1
1798.05/1798.09	c   max depth (total):         -1
1798.05/1798.09	c   backtracks       :          0 (0.0%)
1798.05/1798.09	c   delayed cutoffs  :          0
1798.05/1798.09	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1798.05/1798.09	c   avg switch length:       0.00
1798.05/1798.09	c   switching time   :       0.00
1798.05/1798.09	c Solution           :
1798.05/1798.09	c   Solutions found  :          0 (0 improvements)
1798.05/1798.09	c   Primal Bound     :          -
1798.05/1798.09	c   Dual Bound       :          -
1798.05/1798.09	c   Gap              :   infinite
1798.05/1798.09	c   Root Dual Bound  :          -
1798.05/1798.09	c   Root Iterations  :          0
1798.75/1798.75	c Time complete: 1798.8.

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-3489745-1307792968/watcher-3489745-1307792968 -o /tmp/evaluation-result-3489745-1307792968/solver-3489745-1307792968 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489745-1307792968.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.01 2.00 1.99 2/174 14655
/proc/meminfo: memFree=29127244/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=12560 CPUtime=0 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 2131 0 0 0 0 0 0 0 25 0 1 0 871712426 12861440 2086 33554432000 4194304 9016284 140735303217968 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14655/statm: 3140 2089 353 1178 0 1958 0

[startup+0.085039 s]
/proc/loadavg: 2.01 2.00 1.99 2/174 14655
/proc/meminfo: memFree=29127244/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=28904 CPUtime=0.07 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 6227 0 0 0 7 0 0 0 25 0 1 0 871712426 29597696 6182 33554432000 4194304 9016284 140735303217968 18446744073709551615 6151457 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14655/statm: 7226 6182 360 1178 0 6044 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 28904

[startup+0.101029 s]
/proc/loadavg: 2.01 2.00 1.99 2/174 14655
/proc/meminfo: memFree=29127244/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=32388 CPUtime=0.09 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 7097 0 0 0 9 0 0 0 25 0 1 0 871712426 33165312 7052 33554432000 4194304 9016284 140735303217968 18446744073709551615 7870483 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14655/statm: 8097 7052 360 1178 0 6915 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32388

[startup+0.301008 s]
/proc/loadavg: 2.01 2.00 1.99 2/174 14655
/proc/meminfo: memFree=29127244/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=59136 CPUtime=0.29 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 13783 0 0 0 28 1 0 0 25 0 1 0 871712426 60555264 13738 33554432000 4194304 9016284 140735303217968 18446744073709551615 6152001 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14655/statm: 14784 13738 360 1178 0 13602 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59136

[startup+0.700921 s]
/proc/loadavg: 2.01 2.00 1.99 2/174 14655
/proc/meminfo: memFree=29127244/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=88692 CPUtime=0.69 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 21171 0 0 0 67 2 0 0 25 0 1 0 871712426 90820608 21126 33554432000 4194304 9016284 140735303217968 18446744073709551615 6417648 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14655/statm: 22173 21126 360 1178 0 20991 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88692

[startup+1.50074 s]
/proc/loadavg: 2.01 2.00 1.99 3/175 14656
/proc/meminfo: memFree=29009444/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=249720 CPUtime=1.49 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 61350 0 0 0 142 7 0 0 25 0 1 0 871712426 255713280 61230 33554432000 4194304 9016284 140735303217968 18446744073709551615 4881085 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14655/statm: 62687 61261 406 1178 0 61505 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 249720

[startup+3.10047 s]
/proc/loadavg: 2.01 2.00 1.99 3/175 14656
/proc/meminfo: memFree=28730312/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=510460 CPUtime=3.09 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 125192 0 0 0 295 14 0 0 25 0 1 0 871712426 522711040 125072 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14655/statm: 127615 125072 485 1178 0 126433 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 510460

[startup+6.30086 s]
/proc/loadavg: 2.01 2.00 1.99 3/175 14656
/proc/meminfo: memFree=28467060/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=725144 CPUtime=6.29 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 178486 0 0 0 610 19 0 0 25 0 1 0 871712426 742547456 178366 33554432000 4194304 9016284 140735303217968 18446744073709551615 5232026 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14655/statm: 181286 178366 485 1178 0 180104 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 725144

[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14656
/proc/meminfo: memFree=28249664/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=889060 CPUtime=12.69 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 217184 0 0 0 1246 23 0 0 25 0 1 0 871712426 910397440 216807 33554432000 4194304 9016284 140735303217968 18446744073709551615 6481206 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14655/statm: 222265 216807 496 1178 0 221083 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 889060

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14657
/proc/meminfo: memFree=28163476/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=968324 CPUtime=25.49 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 236208 0 0 0 2524 25 0 0 25 0 1 0 871712426 991563776 235725 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14655/statm: 242081 235725 526 1178 0 240899 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 968324

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14657
/proc/meminfo: memFree=28035692/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=1013564 CPUtime=51.09 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 246448 0 0 0 5083 26 0 0 25 0 1 0 871712426 1037889536 245965 33554432000 4194304 9016284 140735303217968 18446744073709551615 4875334 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 253391 245965 526 1178 0 252209 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1013564

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14659
/proc/meminfo: memFree=27921636/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=1067960 CPUtime=102.3 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 260451 0 0 0 10202 28 0 0 25 0 1 0 871712426 1093591040 259968 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480421 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 266990 259968 526 1178 0 265808 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1067960

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14660
/proc/meminfo: memFree=27746740/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=1188948 CPUtime=162.3 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 289809 0 0 0 16198 32 0 0 25 0 1 0 871712426 1217482752 289326 33554432000 4194304 9016284 140735303217968 18446744073709551615 5251802 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 297237 289326 526 1178 0 296055 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1188948

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14662
/proc/meminfo: memFree=27632116/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=1264412 CPUtime=222.3 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 309190 0 0 0 22196 34 0 0 25 0 1 0 871712426 1294757888 308707 33554432000 4194304 9016284 140735303217968 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 316103 308707 526 1178 0 314921 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1264412

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14663
/proc/meminfo: memFree=27535604/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=1326984 CPUtime=282.3 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 324632 0 0 0 28194 36 0 0 25 0 1 0 871712426 1358831616 324116 33554432000 4194304 9016284 140735303217968 18446744073709551615 5228157 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 331746 324116 526 1178 0 330564 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1326984

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14665
/proc/meminfo: memFree=27305908/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=1524688 CPUtime=342.3 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 373123 0 0 0 34187 43 0 0 25 0 1 0 871712426 1561280512 372607 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 381172 372607 526 1178 0 379990 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1524688

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14667
/proc/meminfo: memFree=26880044/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=1646696 CPUtime=402.3 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 404190 0 0 0 40184 46 0 0 25 0 1 0 871712426 1686216704 403674 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 411674 403674 526 1178 0 410492 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1646696

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14668
/proc/meminfo: memFree=26783652/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=1713564 CPUtime=462.31 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 420590 0 0 0 46182 49 0 0 25 0 1 0 871712426 1754689536 420074 33554432000 4194304 9016284 140735303217968 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 428391 420074 526 1178 0 427209 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1713564

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14670
/proc/meminfo: memFree=26637896/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=1850168 CPUtime=522.31 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 454184 0 0 0 52178 53 0 0 25 0 1 0 871712426 1894572032 453668 33554432000 4194304 9016284 140735303217968 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 462542 453668 526 1178 0 461360 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1850168

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14671
/proc/meminfo: memFree=26515464/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=1954312 CPUtime=582.31 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 480107 0 0 0 58175 56 0 0 25 0 1 0 871712426 2001215488 479591 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 488578 479591 526 1178 0 487396 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1954312

[startup+642.301 s]

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

/proc/meminfo: memFree=27585992/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=2846396 CPUtime=1062.33 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 701682 0 0 0 106145 88 0 0 25 0 1 0 871712426 2914709504 701166 33554432000 4194304 9016284 140735303217968 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 711599 701166 531 1178 0 710417 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2846396

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14734
/proc/meminfo: memFree=27286480/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=2926556 CPUtime=1122.33 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 721691 0 0 0 112143 90 0 0 25 0 1 0 871712426 2996793344 721175 33554432000 4194304 9016284 140735303217968 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 731639 721175 531 1178 0 730457 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2926556

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14735
/proc/meminfo: memFree=27102652/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=2974020 CPUtime=1182.32 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 733601 0 0 0 118141 91 0 0 25 0 1 0 871712426 3045396480 733085 33554432000 4194304 9016284 140735303217968 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 743505 733085 531 1178 0 742323 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2974020

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14737
/proc/meminfo: memFree=26831664/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3067944 CPUtime=1242.33 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 756547 0 0 0 124136 97 0 0 25 0 1 0 871712426 3141574656 756031 33554432000 4194304 9016284 140735303217968 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 766986 756031 531 1178 0 765804 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3067944

[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 14739
/proc/meminfo: memFree=26635820/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3104856 CPUtime=1302.34 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 765452 0 0 0 130136 98 0 0 25 0 1 0 871712426 3179372544 764936 33554432000 4194304 9016284 140735303217968 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 776214 764936 531 1178 0 775032 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3104856

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 14740
/proc/meminfo: memFree=26349704/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3141048 CPUtime=1362.33 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 774953 0 0 0 136133 100 0 0 25 0 1 0 871712426 3216433152 774437 33554432000 4194304 9016284 140735303217968 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 785262 774437 531 1178 0 784080 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3141048

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 14742
/proc/meminfo: memFree=26179028/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3175184 CPUtime=1422.34 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 783445 0 0 0 142133 101 0 0 25 0 1 0 871712426 3251388416 782929 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 793796 782929 531 1178 0 792614 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3175184

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14743
/proc/meminfo: memFree=26032532/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3215408 CPUtime=1482.34 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 793981 0 0 0 148131 103 0 0 25 0 1 0 871712426 3292577792 793465 33554432000 4194304 9016284 140735303217968 18446744073709551615 5257496 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 803852 793465 531 1178 0 802670 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3215408

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14745
/proc/meminfo: memFree=25818088/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3282612 CPUtime=1542.34 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 810681 0 0 0 154129 105 0 0 25 0 1 0 871712426 3361394688 810165 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480433 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 820653 810165 531 1178 0 819471 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3282612

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14747
/proc/meminfo: memFree=25697748/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3327480 CPUtime=1602.34 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 821657 0 0 0 160128 106 0 0 25 0 1 0 871712426 3407339520 821141 33554432000 4194304 9016284 140735303217968 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 831870 821141 531 1178 0 830688 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3327480

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14748
/proc/meminfo: memFree=25485540/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3412916 CPUtime=1662.34 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 860442 0 0 0 166123 111 0 0 25 0 1 0 871712426 3494825984 842815 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480364 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 853229 842815 579 1178 0 852047 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3412916

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14750
/proc/meminfo: memFree=25387656/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3432528 CPUtime=1722.34 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 865529 0 0 0 172122 112 0 0 25 0 1 0 871712426 3514908672 847902 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480184 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 858132 847902 579 1178 0 856950 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3432528

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14751
/proc/meminfo: memFree=25291608/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3465428 CPUtime=1782.35 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 874047 0 0 0 178122 113 0 0 25 0 1 0 871712426 3548598272 856420 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 866357 856420 579 1178 0 865175 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 3465428

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14752
/proc/meminfo: memFree=25278700/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3471748 CPUtime=1791.95 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 875397 0 0 0 179082 113 0 0 25 0 1 0 871712426 3555069952 857770 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 867937 857770 579 1178 0 866755 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 3471748

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14752
/proc/meminfo: memFree=25271384/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3473516 CPUtime=1795.15 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 875950 0 0 0 179402 113 0 0 25 0 1 0 871712426 3556880384 858323 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 868379 858323 579 1178 0 867197 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 3473516

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14752
/proc/meminfo: memFree=25269524/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3474400 CPUtime=1796.75 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 876200 0 0 0 179562 113 0 0 25 0 1 0 871712426 3557785600 858573 33554432000 4194304 9016284 140735303217968 18446744073709551615 4888970 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 868600 858573 579 1178 0 867418 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 3474400

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14752
/proc/meminfo: memFree=25268656/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3474400 CPUtime=1797.55 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 876205 0 0 0 179642 113 0 0 25 0 1 0 871712426 3557785600 858578 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 868600 858578 579 1178 0 867418 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 3474400

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14752
/proc/meminfo: memFree=25268656/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3477276 CPUtime=1798.35 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 878127 0 0 0 179721 114 0 0 18 0 1 0 871712426 3560730624 859012 33554432000 4194304 9016284 140735303217968 18446744073709551615 6470240 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14655/statm: 869319 859012 605 1178 0 868137 0
Current children cumulated CPU time (s) 1798.35
Current children cumulated vsize (KiB) 3477276

[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14752
/proc/meminfo: memFree=25274112/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=2467312 CPUtime=1798.75 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 878134 0 0 0 179752 123 0 0 18 0 1 0 871712426 2526527488 334097 33554432000 4194304 9016284 140735303217968 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14655/statm: 616828 334097 612 1178 0 615646 0
Current children cumulated CPU time (s) 1798.75
Current children cumulated vsize (KiB) 2467312

Child status: 0
Real time (s): 1798.76
CPU time (s): 1798.82
CPU user time (s): 1797.53
CPU system time (s): 1.2878
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3480356

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

runsolver used 2.67459 second user time and 5.56115 second system time

The end

Launcher Data 

Begin job on node141 at 2011-06-11 13:49:28
IDJOB=3489745
IDBENCH=77554
IDSOLVER=1979
FILE ID=node141/3489745-1307792968
RUNJOBID= node141-1307783035-13574
PBS_JOBID= 13550890
Free space on /tmp= 74068 MiB

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

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

MD5SUM BENCH= 2d7989b1a1c0b548cce5b438f15fc440
RANDOM SEED=1277820396

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.84
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.806
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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29127780 kB
Buffers:        265712 kB
Cached:        1072928 kB
SwapCached:       8728 kB
Active:        2816860 kB
Inactive:       823276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29127780 kB
SwapTotal:    67111528 kB
SwapFree:     67064580 kB
Dirty:           24988 kB
Writeback:           0 kB
AnonPages:     2299816 kB
Mapped:          12344 kB
Slab:           115148 kB
PageTables:       8832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2497136 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= 74052 MiB
End job on node141 at 2011-06-11 14:19:27