Trace number 3486309

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12048_10.std.opb
MD5SUM26cf7ff4a962aaacc63ce3e7db85b0ca
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark111
Best CPU time to get the best result obtained on this benchmark31.8762
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 constraints256396
Number of constraints which are clauses255196
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 constraint68
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3486309-1307793101.opb>
1.29/1.34	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256396 constraints
1.29/1.34	c problem read
1.29/1.34	c presolving settings loaded
2.09/2.19	c presolving:
10.29/10.33	c (round 1) 8360 del vars, 25095 del conss, 0 add conss, 6775 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17055776 impls, 0 clqs
14.30/14.38	c (round 2) 14908 del vars, 54185 del conss, 0 add conss, 13055 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17092519 impls, 0 clqs
15.69/15.75	c (round 3) 17603 del vars, 66985 del conss, 0 add conss, 14626 chg bounds, 45 chg sides, 35 chg coeffs, 0 upgd conss, 17111289 impls, 0 clqs
16.59/16.64	c (round 4) 18843 del vars, 72206 del conss, 0 add conss, 15518 chg bounds, 46 chg sides, 38 chg coeffs, 0 upgd conss, 17119734 impls, 0 clqs
16.99/17.08	c (round 5) 19605 del vars, 75470 del conss, 0 add conss, 15979 chg bounds, 46 chg sides, 38 chg coeffs, 0 upgd conss, 17125629 impls, 0 clqs
17.29/17.36	c (round 6) 20027 del vars, 77218 del conss, 0 add conss, 16221 chg bounds, 49 chg sides, 41 chg coeffs, 0 upgd conss, 17129263 impls, 0 clqs
17.50/17.54	c (round 7) 20246 del vars, 78218 del conss, 0 add conss, 16356 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17131332 impls, 0 clqs
17.60/17.67	c (round 8) 20386 del vars, 78790 del conss, 0 add conss, 16427 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17132757 impls, 0 clqs
17.69/17.77	c (round 9) 20462 del vars, 79160 del conss, 0 add conss, 16471 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17133393 impls, 0 clqs
17.79/17.85	c (round 10) 20504 del vars, 79361 del conss, 0 add conss, 16495 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17133826 impls, 0 clqs
17.89/17.92	c (round 11) 20534 del vars, 79485 del conss, 0 add conss, 16510 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17134124 impls, 0 clqs
17.89/17.99	c (round 12) 20550 del vars, 79571 del conss, 0 add conss, 16519 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17134242 impls, 0 clqs
17.99/18.06	c (round 13) 20556 del vars, 79606 del conss, 0 add conss, 16522 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 17134308 impls, 0 clqs
920.73/920.74	c    (920.7s) probing: 1000/52282 (1.9%) - 8 fixings, 4 aggregations, 14741387 implications, 0 bound changes
1559.43/1559.49	c    (1559.5s) probing: 2000/52282 (3.8%) - 10 fixings, 4 aggregations, 23766314 implications, 0 bound changes
1797.65/1797.64	c    (1797.6s) probing: 2435/52282 (4.7%) - 12 fixings, 4 aggregations, 27330905 implications, 0 bound changes
1797.65/1797.64	c    (1797.6s) probing aborted: solving stopped
1797.65/1797.64	c (round 14) 20576 del vars, 79629 del conss, 0 add conss, 16524 chg bounds, 52 chg sides, 44 chg coeffs, 0 upgd conss, 117497174 impls, 0 clqs
1797.65/1797.64	c presolving (14 rounds):
1797.65/1797.64	c  20576 deleted vars, 79629 deleted constraints, 0 added constraints, 16524 tightened bounds, 0 added holes, 52 changed sides, 44 changed coefficients
1797.65/1797.64	c  117497174 implications, 0 cliques
1797.65/1797.64	c presolving was interrupted.
1797.65/1797.64	c Presolving Time: 1796.07
1797.65/1797.64	c - non default parameters ----------------------------------------------------------------------
1797.65/1797.64	c # SCIP version 2.0.1.4
1797.65/1797.64	c 
1797.65/1797.64	c # frequency for displaying node information lines
1797.65/1797.64	c # [type: int, range: [-1,2147483647], default: 100]
1797.65/1797.64	c display/freq = 10000
1797.65/1797.64	c 
1797.65/1797.64	c # maximal time in seconds to run
1797.65/1797.64	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.65/1797.64	c limits/time = 1797
1797.65/1797.64	c 
1797.65/1797.64	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.65/1797.64	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.65/1797.64	c limits/memory = 13950
1797.65/1797.64	c 
1797.65/1797.64	c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.65/1797.64	c # [type: int, range: [1,2], default: 1]
1797.65/1797.64	c timing/clocktype = 2
1797.65/1797.64	c 
1797.65/1797.64	c # belongs reading time to solving time?
1797.65/1797.64	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.65/1797.64	c timing/reading = TRUE
1797.65/1797.64	c 
1797.65/1797.64	c # should presolving try to simplify inequalities
1797.65/1797.64	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.65/1797.64	c constraints/linear/simplifyinequalities = TRUE
1797.65/1797.64	c 
1797.65/1797.64	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.65/1797.64	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.65/1797.64	c constraints/indicator/addCouplingCons = TRUE
1797.65/1797.64	c 
1797.65/1797.64	c # should presolving try to simplify knapsacks
1797.65/1797.64	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.65/1797.64	c constraints/knapsack/simplifyinequalities = TRUE
1797.65/1797.64	c 
1797.65/1797.64	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.65/1797.64	c # [type: int, range: [-1,2147483647], default: -1]
1797.65/1797.64	c separating/rapidlearning/freq = 0
1797.65/1797.64	c 
1797.65/1797.64	c -----------------------------------------------------------------------------------------------
1797.65/1797.64	c start solving
1797.65/1797.67	c presolving:
1797.65/1797.67	c presolving (14 rounds):
1797.65/1797.67	c  20576 deleted vars, 79629 deleted constraints, 0 added constraints, 16524 tightened bounds, 0 added holes, 52 changed sides, 44 changed coefficients
1797.65/1797.67	c  117497174 implications, 0 cliques
1797.65/1797.67	c presolving was interrupted.
1797.65/1797.67	c Presolving Time: 1796.10
1797.65/1797.67	c 
1797.65/1797.67	c SCIP Status        : solving was interrupted [time limit reached]
1797.65/1797.67	c Solving Time (sec) : 1797.67
1797.65/1797.67	c Solving Nodes      : 0
1797.65/1797.67	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.65/1797.67	s UNKNOWN
1797.65/1797.67	c SCIP Status        : solving was interrupted [time limit reached]
1797.65/1797.67	c Total Time         :    1797.67
1797.65/1797.67	c   solving          :    1797.67
1797.65/1797.67	c   presolving       :    1796.10 (included in solving)
1797.65/1797.67	c   reading          :       1.34 (included in solving)
1797.65/1797.67	c Original Problem   :
1797.65/1797.67	c   Problem name     : HOME/instance-3486309-1307793101.opb
1797.65/1797.67	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.65/1797.67	c   Constraints      : 256396 initial, 256396 maximal
1797.65/1797.67	c Presolved Problem  :
1797.65/1797.67	c   Problem name     : t_HOME/instance-3486309-1307793101.opb
1797.65/1797.67	c   Variables        : 52266 (52266 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.65/1797.67	c   Constraints      : 176767 initial, 176767 maximal
1797.65/1797.67	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.65/1797.67	c   trivial          :       0.04       1076          0          0          0          0          0          0          0          0
1797.65/1797.67	c   dualfix          :       0.07        124          0          0          0          0          0          0          0          0
1797.65/1797.67	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1797.65/1797.67	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1797.65/1797.67	c   implics          :       0.48          0          0          0          0          0          0          0          0          0
1797.65/1797.67	c   probing          :    1779.50         12          4          0          0          0          0          0          0          0
1797.65/1797.67	c   pseudoboolean    :       0.00          0          0          0          0          0          0          0          0          0
1797.65/1797.67	c   linear           :      15.30      15448       3912          0      16524          0      79629          0         52         44
1797.65/1797.67	c   root node        :          -          0          -          -          0          -          -          -          -          -
1797.65/1797.67	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1797.65/1797.67	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
1797.65/1797.67	c   pseudoboolean    :          0+         0          0          0          0          0          0          0          0          0          0          0
1797.65/1797.67	c   linear           :          0+         0     126413          0          0          0          0          8          0          0          0          0
1797.65/1797.67	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1797.65/1797.67	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1797.65/1797.67	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.65/1797.67	c   pseudoboolean    :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.65/1797.67	c   linear           :     641.42       0.00     641.42       0.00       0.00       0.00       0.00
1797.65/1797.67	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.65/1797.67	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1797.65/1797.67	c   vbounds          :          0          0          0          0
1797.65/1797.67	c   rootredcost      :          0          0          0          0
1797.65/1797.67	c   pseudoobj        :          0          0          0          0
1797.65/1797.67	c Propagator Timings :  TotalTime  Propagate    Resprop
1797.65/1797.67	c   vbounds          :       0.05       0.05       0.00
1797.65/1797.67	c   rootredcost      :       0.02       0.02       0.00
1797.65/1797.67	c   pseudoobj        :       0.02       0.02       0.00
1797.65/1797.67	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.65/1797.67	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1797.65/1797.67	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.65/1797.67	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.65/1797.67	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.65/1797.67	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.65/1797.67	c   applied globally :          -          -          -          0        0.0          -          -          -
1797.65/1797.67	c   applied locally  :          -          -          -          0        0.0          -          -          -
1798.24/1798.27	c Time complete: 1798.31.

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.90 1/175 29904
/proc/meminfo: memFree=31391252/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=10320 CPUtime=0 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 1573 0 0 0 0 0 0 0 22 0 1 0 890907916 10567680 1528 33554432000 4194304 8979876 140735192463696 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29904/statm: 2580 1528 366 1169 0 1407 0

[startup+0.0584179 s]
/proc/loadavg: 1.92 1.98 1.90 1/175 29904
/proc/meminfo: memFree=31391252/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=21736 CPUtime=0.05 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 4419 0 0 0 5 0 0 0 22 0 1 0 890907916 22257664 4374 33554432000 4194304 8979876 140735192463696 18446744073709551615 7843554 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29904/statm: 5434 4374 366 1169 0 4261 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21736

[startup+0.100413 s]
/proc/loadavg: 1.92 1.98 1.90 1/175 29904
/proc/meminfo: memFree=31391252/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=27548 CPUtime=0.09 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 5903 0 0 0 9 0 0 0 22 0 1 0 890907916 28209152 5858 33554432000 4194304 8979876 140735192463696 18446744073709551615 7836078 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29904/statm: 6887 5858 366 1169 0 5714 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27548

[startup+0.30037 s]
/proc/loadavg: 1.92 1.98 1.90 1/175 29904
/proc/meminfo: memFree=31391252/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=52656 CPUtime=0.29 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 12161 0 0 0 28 1 0 0 22 0 1 0 890907916 53919744 12116 33554432000 4194304 8979876 140735192463696 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29904/statm: 13164 12116 366 1169 0 11991 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52656

[startup+0.700296 s]
/proc/loadavg: 1.92 1.98 1.90 1/175 29904
/proc/meminfo: memFree=31391252/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=75412 CPUtime=0.69 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 17825 0 0 0 67 2 0 0 24 0 1 0 890907916 77221888 17780 33554432000 4194304 8979876 140735192463696 18446744073709551615 7836068 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29904/statm: 18853 17780 366 1169 0 17680 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75412

[startup+1.50115 s]
/proc/loadavg: 1.92 1.98 1.90 2/176 29905
/proc/meminfo: memFree=31292564/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=246016 CPUtime=1.49 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 60369 0 0 0 143 6 0 0 25 0 1 0 890907916 251920384 60255 33554432000 4194304 8979876 140735192463696 18446744073709551615 4318833 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29904/statm: 61504 60255 416 1169 0 60331 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 246016

[startup+3.10086 s]
/proc/loadavg: 1.92 1.98 1.90 3/178 29943
/proc/meminfo: memFree=30927072/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=497860 CPUtime=3.09 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 134397 0 0 0 294 15 0 0 25 0 1 0 890907916 509808640 121845 33554432000 4194304 8979876 140735192463696 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29904/statm: 124465 121845 494 1169 0 123292 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 497860

[startup+6.30029 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 29944
/proc/meminfo: memFree=30218404/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=718340 CPUtime=6.29 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 189082 0 0 0 608 21 0 0 25 0 1 0 890907916 735580160 176530 33554432000 4194304 8979876 140735192463696 18446744073709551615 5278592 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29904/statm: 179585 176530 494 1169 0 178412 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 718340

[startup+12.7011 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 29944
/proc/meminfo: memFree=29634896/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=904756 CPUtime=12.69 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 233813 0 0 0 1242 27 0 0 25 0 1 0 890907916 926470144 220661 33554432000 4194304 8979876 140735192463696 18446744073709551615 6504322 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29904/statm: 226189 220661 504 1169 0 225016 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 904756

[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29944
/proc/meminfo: memFree=29480148/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=949408 CPUtime=25.5 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 244597 0 0 0 2521 29 0 0 25 0 1 0 890907916 972193792 231369 33554432000 4194304 8979876 140735192463696 18446744073709551615 6503502 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29904/statm: 237352 231369 565 1169 0 236179 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 949408

[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29945
/proc/meminfo: memFree=29399492/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=982880 CPUtime=51.09 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 252576 0 0 0 5079 30 0 0 25 0 1 0 890907916 1006469120 239348 33554432000 4194304 8979876 140735192463696 18446744073709551615 6503337 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29904/statm: 245720 239348 565 1169 0 244547 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 982880

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29946
/proc/meminfo: memFree=29280884/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=1049140 CPUtime=102.3 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 268710 0 0 0 10197 33 0 0 25 0 1 0 890907916 1074319360 255482 33554432000 4194304 8979876 140735192463696 18446744073709551615 4460271 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29904/statm: 262285 255482 565 1169 0 261112 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1049140

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29948
/proc/meminfo: memFree=29038684/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=1175284 CPUtime=162.29 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 300364 0 0 0 16192 37 0 0 25 0 1 0 890907916 1203490816 287136 33554432000 4194304 8979876 140735192463696 18446744073709551615 5308157 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29904/statm: 293821 287136 565 1169 0 292648 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1175284

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29949
/proc/meminfo: memFree=28846308/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=1280104 CPUtime=222.3 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 325541 0 0 0 22190 40 0 0 25 0 1 0 890907916 1310826496 312313 33554432000 4194304 8979876 140735192463696 18446744073709551615 5284113 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/29904/statm: 320026 312313 565 1169 0 318853 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1280104

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29951
/proc/meminfo: memFree=28470416/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=1502404 CPUtime=282.3 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 380550 0 0 0 28183 47 0 0 25 0 1 0 890907916 1538461696 367322 33554432000 4194304 8979876 140735192463696 18446744073709551615 6617531 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29904/statm: 375601 367322 565 1169 0 374428 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1502404

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29952
/proc/meminfo: memFree=28242816/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=1618148 CPUtime=342.3 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 408747 0 0 0 34180 50 0 0 25 0 1 0 890907916 1656983552 395519 33554432000 4194304 8979876 140735192463696 18446744073709551615 6503529 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29904/statm: 404537 395519 565 1169 0 403364 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1618148

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29954
/proc/meminfo: memFree=27898048/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=1886348 CPUtime=402.3 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 475607 0 0 0 40172 58 0 0 25 0 1 0 890907916 1931620352 462379 33554432000 4194304 8979876 140735192463696 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29904/statm: 471587 462379 565 1169 0 470414 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1886348

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29956
/proc/meminfo: memFree=27574504/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=2036940 CPUtime=462.31 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 513296 0 0 0 46168 63 0 0 25 0 1 0 890907916 2085826560 500068 33554432000 4194304 8979876 140735192463696 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29904/statm: 509235 500068 565 1169 0 508062 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2036940

[startup+522.301 s]
/proc/loadavg: 2.06 2.01 1.91 3/178 29957
/proc/meminfo: memFree=27311580/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=2177768 CPUtime=522.31 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 547656 0 0 0 52163 68 0 0 25 0 1 0 890907916 2230034432 534428 33554432000 4194304 8979876 140735192463696 18446744073709551615 4926007 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29904/statm: 544442 534428 565 1169 0 543269 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2177768

[startup+582.301 s]
/proc/loadavg: 2.02 2.01 1.91 3/178 29968
/proc/meminfo: memFree=27018168/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=2271268 CPUtime=582.31 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 571261 0 0 0 58160 71 0 0 25 0 1 0 890907916 2325778432 558033 33554432000 4194304 8979876 140735192463696 18446744073709551615 6503276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29904/statm: 567817 558033 565 1169 0 566644 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2271268

[startup+642.3 s]

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

/proc/meminfo: memFree=24993988/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=3274548 CPUtime=1122.32 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 820491 0 0 0 112124 108 0 0 25 0 1 0 890907916 3353137152 807263 33554432000 4194304 8979876 140735192463696 18446744073709551615 6503319 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29904/statm: 818637 807263 570 1169 0 817464 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3274548

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29987
/proc/meminfo: memFree=24832124/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=3344320 CPUtime=1182.33 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 838205 0 0 0 118122 111 0 0 25 0 1 0 890907916 3424583680 824977 33554432000 4194304 8979876 140735192463696 18446744073709551615 6503288 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29904/statm: 836080 824977 570 1169 0 834907 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3344320

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29988
/proc/meminfo: memFree=24658476/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=3436536 CPUtime=1242.33 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 860142 0 0 0 124120 113 0 0 25 0 1 0 890907916 3519012864 846914 33554432000 4194304 8979876 140735192463696 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29904/statm: 859134 846914 570 1169 0 857961 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3436536

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29990
/proc/meminfo: memFree=24545096/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=3498348 CPUtime=1302.33 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 876103 0 0 0 130118 115 0 0 25 0 1 0 890907916 3582308352 862875 33554432000 4194304 8979876 140735192463696 18446744073709551615 6503288 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29904/statm: 874587 862875 570 1169 0 873414 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3498348

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29992
/proc/meminfo: memFree=24443724/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=3563940 CPUtime=1362.33 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 892074 0 0 0 136115 118 0 0 25 0 1 0 890907916 3649474560 878846 33554432000 4194304 8979876 140735192463696 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29904/statm: 890985 878846 570 1169 0 889812 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3563940

[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 1.92 3/178 29993
/proc/meminfo: memFree=24302936/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=3635084 CPUtime=1422.34 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 909783 0 0 0 142115 119 0 0 25 0 1 0 890907916 3722326016 896555 33554432000 4194304 8979876 140735192463696 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29904/statm: 908771 896555 570 1169 0 907598 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3635084

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 29995
/proc/meminfo: memFree=24166964/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=3700376 CPUtime=1482.33 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 926104 0 0 0 148111 122 0 0 25 0 1 0 890907916 3789185024 912876 33554432000 4194304 8979876 140735192463696 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29904/statm: 925094 912876 570 1169 0 923921 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3700376

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 29996
/proc/meminfo: memFree=24028784/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=3775596 CPUtime=1542.34 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 944923 0 0 0 154109 125 0 0 25 0 1 0 890907916 3866210304 931695 33554432000 4194304 8979876 140735192463696 18446744073709551615 6503537 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29904/statm: 943899 931695 570 1169 0 942726 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3775596

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 29998
/proc/meminfo: memFree=23899156/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=3859384 CPUtime=1602.34 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 965303 0 0 0 160106 128 0 0 25 0 1 0 890907916 3952009216 952075 33554432000 4194304 8979876 140735192463696 18446744073709551615 5308161 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29904/statm: 964846 952075 570 1169 0 963673 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3859384

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 30000
/proc/meminfo: memFree=23777708/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=3921376 CPUtime=1662.34 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 981217 0 0 0 166105 129 0 0 25 0 1 0 890907916 4015489024 967989 33554432000 4194304 8979876 140735192463696 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29904/statm: 980344 967989 570 1169 0 979171 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3921376

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 30001
/proc/meminfo: memFree=23680304/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=3982148 CPUtime=1722.34 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 995717 0 0 0 172103 131 0 0 25 0 1 0 890907916 4077719552 982489 33554432000 4194304 8979876 140735192463696 18446744073709551615 4925974 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29904/statm: 995537 982489 570 1169 0 994364 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3982148

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 30003
/proc/meminfo: memFree=23557500/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=4063420 CPUtime=1782.34 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 1016087 0 0 0 178100 134 0 0 25 0 1 0 890907916 4160942080 1002859 33554432000 4194304 8979876 140735192463696 18446744073709551615 4222929 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29904/statm: 1015855 1002859 570 1169 0 1014682 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 4063420

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 30003
/proc/meminfo: memFree=23543216/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=4071384 CPUtime=1791.95 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 1018014 0 0 0 179061 134 0 0 25 0 1 0 890907916 4169097216 1004786 33554432000 4194304 8979876 140735192463696 18446744073709551615 5284113 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29904/statm: 1017846 1004786 570 1169 0 1016673 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 4071384

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 30003
/proc/meminfo: memFree=23539744/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=4071384 CPUtime=1795.15 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 1018404 0 0 0 179380 135 0 0 25 0 1 0 890907916 4169097216 1005176 33554432000 4194304 8979876 140735192463696 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29904/statm: 1017846 1005176 570 1169 0 1016673 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 4071384

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 30003
/proc/meminfo: memFree=23538380/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=4074380 CPUtime=1796.75 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 1018804 0 0 0 179540 135 0 0 25 0 1 0 890907916 4172165120 1005576 33554432000 4194304 8979876 140735192463696 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29904/statm: 1018595 1005576 570 1169 0 1017422 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 4074380

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 30003
/proc/meminfo: memFree=23535156/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=4075372 CPUtime=1797.55 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 1019069 0 0 0 179620 135 0 0 25 0 1 0 890907916 4173180928 1005841 33554432000 4194304 8979876 140735192463696 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29904/statm: 1018843 1005841 570 1169 0 1017670 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 4075372

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 30003
/proc/meminfo: memFree=23535156/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=4012448 CPUtime=1797.94 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 1020008 0 0 0 179659 135 0 0 25 0 1 0 890907916 4108746752 990115 33554432000 4194304 8979876 140735192463696 18446744073709551615 4881699 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29904/statm: 1003112 990115 584 1169 0 1001939 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 4012448

[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 30003
/proc/meminfo: memFree=23535156/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=3702340 CPUtime=1798.15 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 1020012 0 0 0 179678 137 0 0 25 0 1 0 890907916 3791196160 912998 33554432000 4194304 8979876 140735192463696 18446744073709551615 4538347 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29904/statm: 925585 912998 588 1169 0 924412 0
Current children cumulated CPU time (s) 1798.15
Current children cumulated vsize (KiB) 3702340

[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 30003
/proc/meminfo: memFree=23535156/32951124 swapFree=67076880/67111528
[pid=29904] ppid=29902 vsize=3165264 CPUtime=1798.24 cores=1,3,5,7
/proc/29904/stat : 29904 (scip-2.0.1.4_2.) R 29902 29904 27924 0 -1 4202496 1020026 0 0 0 179680 144 0 0 25 0 1 0 890907916 3241230336 455311 33554432000 4194304 8979876 140735192463696 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29904/statm: 791316 455311 602 1169 0 790143 0
Current children cumulated CPU time (s) 1798.24
Current children cumulated vsize (KiB) 3165264

Child status: 0
Real time (s): 1798.27
CPU time (s): 1798.32
CPU user time (s): 1796.81
CPU system time (s): 1.51877
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 4077128

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

runsolver used 2.86656 second user time and 6.77197 second system time

The end

Launcher Data 

Begin job on node139 at 2011-06-11 13:51:42
IDJOB=3486309
IDBENCH=77379
IDSOLVER=1977
FILE ID=node139/3486309-1307793101
RUNJOBID= node139-1307791301-29752
PBS_JOBID= 13550877
Free space on /tmp= 74104 MiB

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

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

MD5SUM BENCH= 26cf7ff4a962aaacc63ce3e7db85b0ca
RANDOM SEED=143667205

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31392052 kB
Buffers:        283628 kB
Cached:        1027244 kB
SwapCached:       3520 kB
Active:         614816 kB
Inactive:       732104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31392052 kB
SwapTotal:    67111528 kB
SwapFree:     67076880 kB
Dirty:           24080 kB
Writeback:           0 kB
AnonPages:       34276 kB
Mapped:          14132 kB
Slab:           147752 kB
PageTables:       4496 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   222388 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= 74084 MiB
End job on node139 at 2011-06-11 14:21:40