Trace number 3479123

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4? (TO) 1801.37 1801.37

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-631710.opb
MD5SUMba0215d19182fa8cb27dee737825dd09
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark205
Best CPU time to get the best result obtained on this benchmark1798.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables167056
Total number of constraints169576
Number of constraints which are clauses167055
Number of constraints which are cardinality constraints (but not clauses)1965
Number of constraints which are nor clauses,nor cardinality constraints556
Minimum length of a constraint2
Maximum length of a constraint556
Number of terms in the objective function 556
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 556
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 757
Number of bits of the biggest sum of numbers10
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.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-3479123-1307446576.opb>
1.49/1.58	c original problem has 167056 variables (167056 bin, 0 int, 0 impl, 0 cont) and 169576 constraints
1.49/1.58	c problem read
1.49/1.58	c presolving settings loaded
2.29/2.37	c presolving:
10.16/10.21	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 169576 upgd conss, 387060 impls, 1965 clqs
1800.29/1800.36	c    (1800.4s) probing: 390/167056 (0.2%) - 4 fixings, 0 aggregations, 29969768 implications, 0 bound changes
1800.29/1800.36	c    (1800.4s) probing aborted: solving stopped
1800.40/1800.42	c presolving (2 rounds):
1800.40/1800.42	c  4 deleted vars, 1 deleted constraints, 2 added constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 233 changed coefficients
1800.40/1800.42	c  60494790 implications, 59114 cliques
1800.40/1800.42	c presolved problem has 167052 variables (167052 bin, 0 int, 0 impl, 0 cont) and 169577 constraints
1800.40/1800.42	c     555 constraints of type <knapsack>
1800.40/1800.42	c  169022 constraints of type <setppc>
1800.40/1800.42	c transformed objective value is always integral (scale: 1)
1800.40/1800.42	c Presolving Time: 1798.38
1800.40/1800.42	c - non default parameters ----------------------------------------------------------------------
1800.40/1800.42	c # SCIP version 2.0.1.5
1800.40/1800.42	c 
1800.40/1800.42	c # frequency for displaying node information lines
1800.40/1800.42	c # [type: int, range: [-1,2147483647], default: 100]
1800.40/1800.42	c display/freq = 10000
1800.40/1800.42	c 
1800.40/1800.42	c # maximal time in seconds to run
1800.40/1800.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.40/1800.42	c limits/time = 1800
1800.40/1800.42	c 
1800.40/1800.42	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.40/1800.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.40/1800.42	c limits/memory = 13950
1800.40/1800.42	c 
1800.40/1800.42	c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.40/1800.42	c # [type: int, range: [1,2], default: 1]
1800.40/1800.42	c timing/clocktype = 2
1800.40/1800.42	c 
1800.40/1800.42	c # belongs reading time to solving time?
1800.40/1800.42	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.40/1800.42	c timing/reading = TRUE
1800.40/1800.42	c 
1800.40/1800.42	c # should presolving try to simplify inequalities
1800.40/1800.42	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.40/1800.42	c constraints/linear/simplifyinequalities = TRUE
1800.40/1800.42	c 
1800.40/1800.42	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.40/1800.42	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.40/1800.42	c constraints/indicator/addCouplingCons = TRUE
1800.40/1800.42	c 
1800.40/1800.42	c # should presolving try to simplify knapsacks
1800.40/1800.42	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.40/1800.42	c constraints/knapsack/simplifyinequalities = TRUE
1800.40/1800.42	c 
1800.40/1800.42	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.40/1800.42	c # [type: int, range: [-1,2147483647], default: -1]
1800.40/1800.42	c separating/rapidlearning/freq = 0
1800.40/1800.42	c 
1800.40/1800.42	c -----------------------------------------------------------------------------------------------
1800.40/1800.42	c start solving
1800.40/1800.49	c 
1800.40/1800.49	c 
1800.40/1800.49	c SCIP Status        : solving was interrupted [time limit reached]
1800.40/1800.49	c Solving Time (sec) : 1800.49
1800.40/1800.49	c Solving Nodes      : 0
1800.40/1800.49	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.40/1800.49	c Dual Bound         : -1.00000000000000e+20
1800.40/1800.49	c Gap                : infinite
1800.40/1800.49	s UNKNOWN
1800.40/1800.49	c SCIP Status        : solving was interrupted [time limit reached]
1800.40/1800.49	c Total Time         :    1800.49
1800.40/1800.49	c   solving          :    1800.49
1800.40/1800.49	c   presolving       :    1798.38 (included in solving)
1800.40/1800.49	c   reading          :       1.58 (included in solving)
1800.40/1800.49	c Original Problem   :
1800.40/1800.49	c   Problem name     : HOME/instance-3479123-1307446576.opb
1800.40/1800.49	c   Variables        : 167056 (167056 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.40/1800.49	c   Constraints      : 169576 initial, 169576 maximal
1800.40/1800.49	c Presolved Problem  :
1800.40/1800.49	c   Problem name     : t_HOME/instance-3479123-1307446576.opb
1800.40/1800.49	c   Variables        : 167052 (167052 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.40/1800.49	c   Constraints      : 169577 initial, 169577 maximal
1800.40/1800.49	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.40/1800.49	c   trivial          :       0.22          0          0          0          0          0          0          0          0          0
1800.40/1800.49	c   dualfix          :       0.20          0          0          0          0          0          0          0          0          0
1800.40/1800.49	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.40/1800.49	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.40/1800.49	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1800.40/1800.49	c   implics          :       0.21          0          0          0          0          0          0          0          0          0
1800.40/1800.49	c   probing          :    1782.77          4          0          0          0          0          0          0          0          0
1800.40/1800.49	c   knapsack         :       6.19          0          0          0          0          0          1          2          2        233
1800.40/1800.49	c   setppc           :       0.35          0          0          0          0          0          0          0          0          0
1800.40/1800.49	c   linear           :       2.87          0          0          0          0          0          0          0          0          0
1800.40/1800.49	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.40/1800.49	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.40/1800.49	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
1800.40/1800.49	c   knapsack         :        555          0      25432          0          0          0          0          0          0          0          0          0
1800.40/1800.49	c   setppc           :     169022          0      25432          0          0          0          0          2          0          0          0          0
1800.40/1800.49	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1800.40/1800.49	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.40/1800.49	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.40/1800.49	c   knapsack         :      28.29       0.00      28.29       0.00       0.00       0.00       0.00
1800.40/1800.49	c   setppc           :      90.08       0.00      90.08       0.00       0.00       0.00       0.00
1800.40/1800.49	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.40/1800.49	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.40/1800.49	c   vbounds          :          0          0          0          0
1800.40/1800.49	c   rootredcost      :          0          0          0          0
1800.40/1800.49	c   pseudoobj        :          0          0          0          0
1800.40/1800.49	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.40/1800.49	c   vbounds          :       0.01       0.01       0.00
1800.40/1800.49	c   rootredcost      :       0.01       0.01       0.00
1800.40/1800.49	c   pseudoobj        :       0.00       0.00       0.00
1800.40/1800.49	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.40/1800.49	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.40/1800.49	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.40/1800.49	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.40/1800.49	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.40/1800.49	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.40/1800.49	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.40/1800.49	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.40/1800.49	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.40/1800.49	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.40/1800.49	c   redcost          :       0.00          0          0          0          0          0
1800.40/1800.49	c   impliedbounds    :       0.00          0          0          0          0          0
1800.40/1800.49	c   intobj           :       0.00          0          0          0          0          0
1800.40/1800.49	c   gomory           :       0.00          0          0          0          0          0
1800.40/1800.49	c   cgmip            :       0.00          0          0          0          0          0
1800.40/1800.49	c   closecuts        :       0.00          0          0          0          0          0
1800.40/1800.49	c   strongcg         :       0.00          0          0          0          0          0
1800.40/1800.49	c   cmir             :       0.00          0          0          0          0          0
1800.40/1800.49	c   flowcover        :       0.00          0          0          0          0          0
1800.40/1800.49	c   clique           :       0.00          0          0          0          0          0
1800.40/1800.49	c   zerohalf         :       0.00          0          0          0          0          0
1800.40/1800.49	c   mcf              :       0.00          0          0          0          0          0
1800.40/1800.49	c   oddcycle         :       0.00          0          0          0          0          0
1800.40/1800.49	c   rapidlearning    :       0.00          0          0          0          0          0
1800.40/1800.49	c Pricers            :       Time      Calls       Vars
1800.40/1800.49	c   problem variables:       0.00          0          0
1800.40/1800.49	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.40/1800.49	c   pscost           :       0.00          0          0          0          0          0          0
1800.40/1800.49	c   inference        :       0.00          0          0          0          0          0          0
1800.40/1800.49	c   mostinf          :       0.00          0          0          0          0          0          0
1800.40/1800.49	c   leastinf         :       0.00          0          0          0          0          0          0
1800.40/1800.49	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.40/1800.49	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.40/1800.49	c   random           :       0.00          0          0          0          0          0          0
1800.40/1800.49	c   relpscost        :       0.00          0          0          0          0          0          0
1800.40/1800.49	c Primal Heuristics  :       Time      Calls      Found
1800.40/1800.49	c   LP solutions     :       0.00          -          0
1800.40/1800.49	c   pseudo solutions :       0.00          -          0
1800.40/1800.49	c   trivial          :       0.16          1          0
1800.40/1800.49	c   shiftandpropagate:       0.00          0          0
1800.40/1800.49	c   simplerounding   :       0.00          0          0
1800.40/1800.49	c   zirounding       :       0.00          0          0
1800.40/1800.49	c   rounding         :       0.00          0          0
1800.40/1800.49	c   shifting         :       0.00          0          0
1800.40/1800.49	c   intshifting      :       0.00          0          0
1800.40/1800.49	c   oneopt           :       0.00          0          0
1800.40/1800.49	c   twoopt           :       0.00          0          0
1800.40/1800.49	c   fixandinfer      :       0.00          0          0
1800.40/1800.49	c   feaspump         :       0.00          0          0
1800.40/1800.49	c   clique           :       0.00          0          0
1800.40/1800.49	c   coefdiving       :       0.00          0          0
1800.40/1800.49	c   pscostdiving     :       0.00          0          0
1800.40/1800.49	c   fracdiving       :       0.00          0          0
1800.40/1800.49	c   veclendiving     :       0.00          0          0
1800.40/1800.49	c   intdiving        :       0.00          0          0
1800.40/1800.49	c   actconsdiving    :       0.00          0          0
1800.40/1800.49	c   objpscostdiving  :       0.00          0          0
1800.40/1800.49	c   rootsoldiving    :       0.00          0          0
1800.40/1800.49	c   linesearchdiving :       0.00          0          0
1800.40/1800.49	c   guideddiving     :       0.00          0          0
1800.40/1800.49	c   octane           :       0.00          0          0
1800.40/1800.49	c   rens             :       0.00          0          0
1800.40/1800.49	c   rins             :       0.00          0          0
1800.40/1800.49	c   localbranching   :       0.00          0          0
1800.40/1800.49	c   mutation         :       0.00          0          0
1800.40/1800.49	c   crossover        :       0.00          0          0
1800.40/1800.49	c   dins             :       0.00          0          0
1800.40/1800.49	c   vbounds          :       0.00          0          0
1800.40/1800.49	c   undercover       :       0.00          0          0
1800.40/1800.49	c   subnlp           :       0.00          0          0
1800.40/1800.49	c   trysol           :       0.00          0          0
1800.40/1800.49	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.40/1800.49	c   primal LP        :       0.00          0          0       0.00          -
1800.40/1800.49	c   dual LP          :       0.00          0          0       0.00          -
1800.40/1800.49	c   lex dual LP      :       0.00          0          0       0.00          -
1800.40/1800.49	c   barrier LP       :       0.00          0          0       0.00          -
1800.40/1800.49	c   diving/probing LP:       0.00          0          0       0.00          -
1800.40/1800.49	c   strong branching :       0.00          0          0       0.00          -
1800.40/1800.49	c     (at root node) :          -          0          0       0.00          -
1800.40/1800.49	c   conflict analysis:       0.00          0          0       0.00          -
1800.40/1800.49	c B&B Tree           :
1800.40/1800.49	c   number of runs   :          1
1800.40/1800.49	c   nodes            :          0
1800.40/1800.49	c   nodes (total)    :          0
1800.40/1800.49	c   nodes left       :          1
1800.40/1800.49	c   max depth        :         -1
1800.40/1800.49	c   max depth (total):         -1
1800.40/1800.49	c   backtracks       :          0 (0.0%)
1800.40/1800.49	c   delayed cutoffs  :          0
1800.40/1800.49	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.40/1800.49	c   avg switch length:       0.00
1800.40/1800.49	c   switching time   :       0.00
1800.40/1800.49	c Solution           :
1800.40/1800.49	c   Solutions found  :          0 (0 improvements)
1800.40/1800.49	c   Primal Bound     :          -
1800.40/1800.49	c   Dual Bound       :          -
1800.40/1800.49	c   Gap              :   infinite
1800.40/1800.49	c   Root Dual Bound  :          -
1800.40/1800.49	c   Root Iterations  :          0
1801.29/1801.36	c Time complete: 1801.35.

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-3479123-1307446576/watcher-3479123-1307446576 -o /tmp/evaluation-result-3479123-1307446576/solver-3479123-1307446576 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3479123-1307446576.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.11 2.03 1.71 3/498 11392
/proc/meminfo: memFree=28443264/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=17700 CPUtime=0.01 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 3427 0 0 0 1 0 0 0 18 0 1 0 856257284 18124800 3381 33554432000 4194304 9163163 140735460177600 18446744073709551615 4437575 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11392/statm: 4425 3381 395 1214 0 3207 0

[startup+0.0612559 s]
/proc/loadavg: 2.11 2.03 1.71 3/498 11392
/proc/meminfo: memFree=28443264/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=41264 CPUtime=0.05 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 9276 0 0 0 4 1 0 0 18 0 1 0 856257284 42254336 9230 33554432000 4194304 9163163 140735460177600 18446744073709551615 7481008 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11392/statm: 10316 9230 395 1214 0 9098 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 41264

[startup+0.10025 s]
/proc/loadavg: 2.11 2.03 1.71 3/498 11392
/proc/meminfo: memFree=28443264/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=61700 CPUtime=0.09 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 14373 0 0 0 8 1 0 0 18 0 1 0 856257284 63180800 14327 33554432000 4194304 9163163 140735460177600 18446744073709551615 8031040 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11392/statm: 15425 14327 395 1214 0 14207 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 61700

[startup+0.300231 s]
/proc/loadavg: 2.11 2.03 1.71 3/498 11392
/proc/meminfo: memFree=28443264/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=134552 CPUtime=0.29 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 32567 0 0 0 26 3 0 0 18 0 1 0 856257284 137781248 32521 33554432000 4194304 9163163 140735460177600 18446744073709551615 4338896 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11392/statm: 33638 32521 395 1214 0 32420 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 134552

[startup+0.701168 s]
/proc/loadavg: 2.11 2.03 1.71 3/498 11392
/proc/meminfo: memFree=28443264/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=159088 CPUtime=0.69 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 38719 0 0 0 65 4 0 0 18 0 1 0 856257284 162906112 38669 33554432000 4194304 9163163 140735460177600 18446744073709551615 4338914 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11392/statm: 39772 38669 395 1214 0 38554 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 159088

[startup+1.50106 s]
/proc/loadavg: 2.11 2.03 1.71 3/499 11420
/proc/meminfo: memFree=28860624/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=199348 CPUtime=1.49 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 48710 0 0 0 144 5 0 0 20 0 1 0 856257284 204132352 48660 33554432000 4194304 9163163 140735460177600 18446744073709551615 8031142 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11392/statm: 49837 48660 395 1214 0 48619 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 199348

[startup+3.10079 s]
/proc/loadavg: 2.11 2.03 1.71 3/499 11420
/proc/meminfo: memFree=28554588/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=524396 CPUtime=3.09 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 129772 0 0 0 294 15 0 0 25 0 1 0 856257284 536981504 129175 33554432000 4194304 9163163 140735460177600 18446744073709551615 5139622 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 131099 129175 499 1214 0 129881 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 524396

[startup+6.30023 s]
/proc/loadavg: 2.18 2.04 1.72 3/499 11420
/proc/meminfo: memFree=28425956/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=590004 CPUtime=6.27 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 159863 0 0 0 605 22 0 0 25 0 1 0 856257284 604164096 145473 33554432000 4194304 9163163 140735460177600 18446744073709551615 4593420 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 147501 145473 510 1214 0 146283 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 590004

[startup+12.7012 s]
/proc/loadavg: 2.33 2.08 1.73 3/499 11420
/proc/meminfo: memFree=28433948/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=602640 CPUtime=12.67 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 160704 0 0 0 1237 30 0 0 25 0 1 0 856257284 617103360 146314 33554432000 4194304 9163163 140735460177600 18446744073709551615 4847312 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 150660 146314 648 1214 0 149442 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 602640

[startup+25.501 s]
/proc/loadavg: 2.32 2.09 1.74 3/499 11420
/proc/meminfo: memFree=28040188/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=997232 CPUtime=25.46 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 258886 0 0 0 2502 44 0 0 25 0 1 0 856257284 1021165568 244424 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 249308 244424 610 1214 0 248090 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 997232

[startup+51.1007 s]
/proc/loadavg: 2.28 2.10 1.75 3/499 11420
/proc/meminfo: memFree=27997884/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=1047080 CPUtime=51.06 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 269887 0 0 0 5061 45 0 0 25 0 1 0 856257284 1072209920 255375 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 261770 255375 561 1214 0 260552 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1047080

[startup+102.319 s]
/proc/loadavg: 2.12 2.08 1.76 3/499 11422
/proc/meminfo: memFree=27949880/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=1094476 CPUtime=102.28 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 281277 0 0 0 10181 47 0 0 25 0 1 0 856257284 1120743424 266765 33554432000 4194304 9163163 140735460177600 18446744073709551615 6555872 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 273619 266765 561 1214 0 272401 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1094476

[startup+162.301 s]
/proc/loadavg: 2.04 2.06 1.77 3/499 11424
/proc/meminfo: memFree=27901756/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=1142676 CPUtime=162.27 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 292665 0 0 0 16178 49 0 0 25 0 1 0 856257284 1170100224 278153 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 285669 278153 561 1214 0 284451 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1142676

[startup+222.301 s]
/proc/loadavg: 2.01 2.05 1.78 3/499 11426
/proc/meminfo: memFree=27864420/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=1182104 CPUtime=222.26 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 301832 0 0 0 22176 50 0 0 25 0 1 0 856257284 1210474496 287320 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 295526 287320 561 1214 0 294308 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1182104

[startup+282.301 s]
/proc/loadavg: 2.00 2.04 1.79 3/499 11426
/proc/meminfo: memFree=27825108/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=1222600 CPUtime=282.27 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 311690 0 0 0 28175 52 0 0 25 0 1 0 856257284 1251942400 296969 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 305650 296969 561 1214 0 304432 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 1222600

[startup+342.301 s]
/proc/loadavg: 2.00 2.03 1.81 3/499 11428
/proc/meminfo: memFree=27774016/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=1273140 CPUtime=342.27 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 324321 0 0 0 34173 54 0 0 25 0 1 0 856257284 1303695360 309600 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 318285 309600 561 1214 0 317067 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 1273140

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 1.82 3/499 11430
/proc/meminfo: memFree=27738048/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=1309208 CPUtime=402.27 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 333536 0 0 0 40172 55 0 0 25 0 1 0 856257284 1340628992 318606 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 327302 318606 561 1214 0 326084 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 1309208

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 1.82 3/499 11432
/proc/meminfo: memFree=27695132/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=1349800 CPUtime=462.27 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 344082 0 0 0 46171 56 0 0 25 0 1 0 856257284 1382195200 328734 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 337450 328734 561 1214 0 336232 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 1349800

[startup+522.3 s]
/proc/loadavg: 2.07 2.04 1.84 3/499 11434
/proc/meminfo: memFree=27641188/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=1400652 CPUtime=522.27 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 356762 0 0 0 52169 58 0 0 25 0 1 0 856257284 1434267648 341414 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 350163 341414 561 1214 0 348945 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 1400652

[startup+582.301 s]
/proc/loadavg: 2.06 2.04 1.85 3/499 11434
/proc/meminfo: memFree=27600512/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=1439992 CPUtime=582.27 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 366542 0 0 0 58168 59 0 0 25 0 1 0 856257284 1474551808 351194 33554432000 4194304 9163163 140735460177600 18446744073709551615 4782790 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 359998 351194 561 1214 0 358780 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 1439992

[startup+642.301 s]

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

[startup+1062.3 s]
/proc/loadavg: 2.10 2.04 1.92 3/499 11448
/proc/meminfo: memFree=26907908/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2119076 CPUtime=1062.28 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 536176 0 0 0 106147 81 0 0 25 0 1 0 856257284 2169933824 520207 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 529769 520207 561 1214 0 528551 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 2119076

[startup+1122.3 s]
/proc/loadavg: 2.08 2.04 1.92 3/499 11450
/proc/meminfo: memFree=26841312/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2187592 CPUtime=1122.28 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 552396 0 0 0 112145 83 0 0 25 0 1 0 856257284 2240094208 536427 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 546898 536427 561 1214 0 545680 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 2187592

[startup+1182.3 s]
/proc/loadavg: 2.14 2.06 1.93 3/499 11450
/proc/meminfo: memFree=26781292/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2247716 CPUtime=1182.28 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 567049 0 0 0 118143 85 0 0 25 0 1 0 856257284 2301661184 551080 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 561929 551080 561 1214 0 560711 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 2247716

[startup+1242.3 s]
/proc/loadavg: 2.10 2.06 1.94 3/499 11452
/proc/meminfo: memFree=26719156/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2305980 CPUtime=1242.29 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 581318 0 0 0 124142 87 0 0 25 0 1 0 856257284 2361323520 565349 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 576495 565349 561 1214 0 575277 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 2305980

[startup+1302.3 s]
/proc/loadavg: 2.03 2.05 1.94 3/499 11454
/proc/meminfo: memFree=26673760/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2351140 CPUtime=1302.3 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 592943 0 0 0 130142 88 0 0 25 0 1 0 856257284 2407567360 576588 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 587785 576588 561 1214 0 586567 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 2351140

[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 1.94 3/499 11456
/proc/meminfo: memFree=26582980/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2443996 CPUtime=1362.28 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 615271 0 0 0 136137 91 0 0 25 0 1 0 856257284 2502651904 598916 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567794 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 610999 598916 561 1214 0 609781 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 2443996

[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 1.94 3/499 11458
/proc/meminfo: memFree=26530772/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2498592 CPUtime=1422.31 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 628143 0 0 0 142138 93 0 0 25 0 1 0 856257284 2558558208 611788 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 624648 611788 561 1214 0 623430 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 2498592

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/499 11458
/proc/meminfo: memFree=26477320/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2550548 CPUtime=1482.29 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 640610 0 0 0 148134 95 0 0 25 0 1 0 856257284 2611761152 624255 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 637637 624255 561 1214 0 636419 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 2550548

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/499 11469
/proc/meminfo: memFree=26428228/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2599228 CPUtime=1542.29 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 652497 0 0 0 154131 98 0 0 25 0 1 0 856257284 2661609472 636142 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 649807 636142 561 1214 0 648589 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 2599228

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/499 11471
/proc/meminfo: memFree=26383088/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2642100 CPUtime=1602.29 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 663072 0 0 0 160129 100 0 0 25 0 1 0 856257284 2705510400 646717 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 660525 646717 561 1214 0 659307 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 2642100

[startup+1662.3 s]
/proc/loadavg: 2.12 2.04 1.95 3/499 11473
/proc/meminfo: memFree=26344268/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2680000 CPUtime=1662.29 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 672502 0 0 0 166127 102 0 0 25 0 1 0 856257284 2744320000 656147 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 670000 656147 561 1214 0 668782 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 2680000

[startup+1722.3 s]
/proc/loadavg: 2.10 2.04 1.95 3/499 11475
/proc/meminfo: memFree=26252752/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2771844 CPUtime=1722.3 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 695130 0 0 0 172125 105 0 0 25 0 1 0 856257284 2838368256 678775 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 692961 678775 561 1214 0 691743 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 2771844

[startup+1782.3 s]
/proc/loadavg: 2.11 2.05 1.96 3/499 11478
/proc/meminfo: memFree=26192600/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2825512 CPUtime=1782.3 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 708023 0 0 0 178123 107 0 0 25 0 1 0 856257284 2893324288 691668 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 706378 691668 561 1214 0 705160 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 2825512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.08 2.04 1.96 3/499 11480
/proc/meminfo: memFree=26181020/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2840096 CPUtime=1800.1 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 711396 0 0 0 179903 107 0 0 25 0 1 0 856257284 2908258304 695041 33554432000 4194304 9163163 140735460177600 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11392/statm: 710024 695041 561 1214 0 708806 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 2840096

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

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

[startup+1800.6 s]
/proc/loadavg: 2.08 2.04 1.96 2/498 11482
/proc/meminfo: memFree=26265348/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2860304 CPUtime=1800.61 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 719225 0 0 0 179953 108 0 0 18 0 1 0 856257284 2928951296 700137 33554432000 4194304 9163163 140735460177600 18446744073709551615 6555720 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11392/statm: 715076 700137 599 1214 0 713858 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (KiB) 2860304

[startup+1801 s]
/proc/loadavg: 2.08 2.04 1.96 2/498 11482
/proc/meminfo: memFree=26265348/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2763936 CPUtime=1800.99 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 719226 0 0 0 179991 108 0 0 18 0 1 0 856257284 2830270464 676095 33554432000 4194304 9163163 140735460177600 18446744073709551615 6918300 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11392/statm: 690984 676095 600 1214 0 689766 0
Current children cumulated CPU time (s) 1800.99
Current children cumulated vsize (KiB) 2763936

[startup+1801.2 s]
/proc/loadavg: 2.08 2.04 1.96 2/498 11482
/proc/meminfo: memFree=26265348/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=2651940 CPUtime=1801.19 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 719229 0 0 0 180010 109 0 0 18 0 1 0 856257284 2715586560 648286 33554432000 4194304 9163163 140735460177600 18446744073709551615 8034219 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11392/statm: 662985 648286 603 1214 0 661767 0
Current children cumulated CPU time (s) 1801.19
Current children cumulated vsize (KiB) 2651940

[startup+1801.3 s]
/proc/loadavg: 2.08 2.04 1.96 2/498 11482
/proc/meminfo: memFree=26265348/32951132 swapFree=57925096/67111528
[pid=11392] ppid=11390 vsize=1908032 CPUtime=1801.29 cores=0,2,4,6
/proc/11392/stat : 11392 (scip-2.0.1.4b.l) R 11390 11392 11277 0 -1 4202496 719233 0 0 0 180017 112 0 0 18 0 1 0 856257284 1953824768 438830 33554432000 4194304 9163163 140735460177600 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11392/statm: 477008 438830 607 1214 0 475790 0
Current children cumulated CPU time (s) 1801.29
Current children cumulated vsize (KiB) 1908032

Child status: 0
Real time (s): 1801.37
CPU time (s): 1801.37
CPU user time (s): 1800.18
CPU system time (s): 1.18882
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 2864684

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

runsolver used 9.50356 second user time and 20.002 second system time

The end

Launcher Data 

Begin job on node129 at 2011-06-07 13:36:17
IDJOB=3479123
IDBENCH=89840
IDSOLVER=1948
FILE ID=node129/3479123-1307446576
RUNJOBID= node129-1307444774-11295
PBS_JOBID= 13520022
Free space on /tmp= 73936 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-631710.opb
COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3479123-1307446576/watcher-3479123-1307446576 -o /tmp/evaluation-result-3479123-1307446576/solver-3479123-1307446576 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3479123-1307446576.opb -t 1800 -m 15500

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

MD5SUM BENCH= ba0215d19182fa8cb27dee737825dd09
RANDOM SEED=1712586410

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
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.831
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.831
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:     32951132 kB
MemFree:      28386884 kB
Buffers:        330944 kB
Cached:        2135792 kB
SwapCached:      49348 kB
Active:        1254008 kB
Inactive:      3025408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      28386884 kB
SwapTotal:    67111528 kB
SwapFree:     57925096 kB
Dirty:           21404 kB
Writeback:           4 kB
AnonPages:     1773508 kB
Mapped:          14972 kB
Slab:           154040 kB
PageTables:      62068 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 148782256 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73948 MiB
End job on node129 at 2011-06-07 14:06:19