Trace number 3489735

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx E_2 2011-06-10 (fixed)? 1797.82 1797.78

General information on the benchmark

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

Solver Data 

0.00/0.00	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3489735-1307792025.opb>
1.29/1.31	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245119 constraints
1.29/1.31	c problem read
1.29/1.31	c presolving settings loaded
1.69/1.75	c presolving:
9.59/9.69	c (round 1) 6854 del vars, 20781 del conss, 0 add conss, 5177 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16679452 impls, 0 clqs
14.19/14.26	c (round 2) 14849 del vars, 53140 del conss, 0 add conss, 12788 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16723567 impls, 0 clqs
15.59/15.66	c (round 3) 17795 del vars, 66903 del conss, 0 add conss, 14502 chg bounds, 86 chg sides, 59 chg coeffs, 0 upgd conss, 16743744 impls, 0 clqs
16.49/16.55	c (round 4) 19319 del vars, 72661 del conss, 0 add conss, 15576 chg bounds, 102 chg sides, 73 chg coeffs, 0 upgd conss, 16759866 impls, 0 clqs
17.19/17.21	c (round 5) 20634 del vars, 77571 del conss, 0 add conss, 16526 chg bounds, 113 chg sides, 84 chg coeffs, 0 upgd conss, 16771313 impls, 0 clqs
17.59/17.65	c (round 6) 21481 del vars, 80847 del conss, 0 add conss, 17116 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16780052 impls, 0 clqs
17.89/17.95	c (round 7) 22071 del vars, 83150 del conss, 0 add conss, 17524 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16787391 impls, 0 clqs
18.09/18.17	c (round 8) 22469 del vars, 84751 del conss, 0 add conss, 17794 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16792799 impls, 0 clqs
18.29/18.33	c (round 9) 22743 del vars, 85862 del conss, 0 add conss, 17985 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16796806 impls, 0 clqs
18.39/18.44	c (round 10) 22932 del vars, 86610 del conss, 0 add conss, 18115 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16799773 impls, 0 clqs
18.59/18.64	c (round 11) 23069 del vars, 87168 del conss, 0 add conss, 18225 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16801821 impls, 0 clqs
18.69/18.74	c (round 12) 23173 del vars, 87614 del conss, 0 add conss, 18283 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16804050 impls, 0 clqs
18.89/18.96	c (round 13) 23245 del vars, 87888 del conss, 0 add conss, 18356 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16804850 impls, 0 clqs
18.99/19.01	c (round 14) 23325 del vars, 88226 del conss, 0 add conss, 18370 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16805132 impls, 0 clqs
18.99/19.06	c (round 15) 23325 del vars, 88252 del conss, 0 add conss, 18370 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16805132 impls, 0 clqs
19.59/19.64	c (round 16) 23325 del vars, 88252 del conss, 0 add conss, 18370 chg bounds, 115 chg sides, 87 chg coeffs, 156867 upgd conss, 16805132 impls, 0 clqs
19.89/19.98	c (round 17) 23325 del vars, 88261 del conss, 68 add conss, 18370 chg bounds, 206 chg sides, 397 chg coeffs, 156867 upgd conss, 16807226 impls, 3358 clqs
664.51/664.55	c    (664.5s) probing: 1000/49517 (2.0%) - 6 fixings, 1 aggregations, 10369264 implications, 0 bound changes
1151.32/1151.38	c    (1151.4s) probing: 2000/49517 (4.0%) - 13 fixings, 5 aggregations, 16397670 implications, 0 bound changes
1591.92/1591.92	c    (1591.9s) probing: 3000/49517 (6.1%) - 13 fixings, 6 aggregations, 21848219 implications, 0 bound changes
1797.13/1797.15	c    (1797.2s) probing: 3446/49517 (7.0%) - 13 fixings, 6 aggregations, 24300558 implications, 0 bound changes
1797.13/1797.15	c    (1797.2s) probing aborted: solving stopped
1797.13/1797.16	c (round 18) 23344 del vars, 88265 del conss, 68 add conss, 18370 chg bounds, 209 chg sides, 409 chg coeffs, 156867 upgd conss, 107366074 impls, 3490 clqs
1797.13/1797.16	c presolving (18 rounds):
1797.13/1797.16	c  23344 deleted vars, 88265 deleted constraints, 68 added constraints, 18370 tightened bounds, 0 added holes, 209 changed sides, 409 changed coefficients
1797.13/1797.16	c  107366074 implications, 3490 cliques
1797.13/1797.16	c presolving was interrupted.
1797.13/1797.16	c Presolving Time: 1795.54
1797.13/1797.16	c - non default parameters ----------------------------------------------------------------------
1797.13/1797.16	c # SCIP version 2.0.1.5
1797.13/1797.16	c 
1797.13/1797.16	c # frequency for displaying node information lines
1797.13/1797.16	c # [type: int, range: [-1,2147483647], default: 100]
1797.13/1797.16	c display/freq = 10000
1797.13/1797.16	c 
1797.13/1797.16	c # maximal time in seconds to run
1797.13/1797.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.13/1797.16	c limits/time = 1797
1797.13/1797.16	c 
1797.13/1797.16	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.13/1797.16	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.13/1797.16	c limits/memory = 13950
1797.13/1797.16	c 
1797.13/1797.16	c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.13/1797.16	c # [type: int, range: [1,2], default: 1]
1797.13/1797.16	c timing/clocktype = 2
1797.13/1797.16	c 
1797.13/1797.16	c # belongs reading time to solving time?
1797.13/1797.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.13/1797.16	c timing/reading = TRUE
1797.13/1797.16	c 
1797.13/1797.16	c # should presolving try to simplify inequalities
1797.13/1797.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.13/1797.16	c constraints/linear/simplifyinequalities = TRUE
1797.13/1797.16	c 
1797.13/1797.16	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.13/1797.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.13/1797.16	c constraints/indicator/addCouplingCons = TRUE
1797.13/1797.16	c 
1797.13/1797.16	c # should presolving try to simplify knapsacks
1797.13/1797.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.13/1797.16	c constraints/knapsack/simplifyinequalities = TRUE
1797.13/1797.16	c 
1797.13/1797.16	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.13/1797.16	c # [type: int, range: [-1,2147483647], default: -1]
1797.13/1797.16	c separating/rapidlearning/freq = 0
1797.13/1797.16	c 
1797.13/1797.16	c -----------------------------------------------------------------------------------------------
1797.13/1797.16	c start solving
1797.23/1797.23	c presolving:
1797.23/1797.23	c presolving (18 rounds):
1797.23/1797.23	c  23344 deleted vars, 88265 deleted constraints, 68 added constraints, 18370 tightened bounds, 0 added holes, 209 changed sides, 409 changed coefficients
1797.23/1797.23	c  107366074 implications, 3490 cliques
1797.23/1797.23	c presolving was interrupted.
1797.23/1797.23	c Presolving Time: 1795.61
1797.23/1797.23	c 
1797.23/1797.23	c SCIP Status        : solving was interrupted [time limit reached]
1797.23/1797.23	c Solving Time (sec) : 1797.23
1797.23/1797.23	c Solving Nodes      : 0
1797.23/1797.23	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.23/1797.23	s UNKNOWN
1797.23/1797.23	c SCIP Status        : solving was interrupted [time limit reached]
1797.23/1797.23	c Total Time         :    1797.23
1797.23/1797.23	c   solving          :    1797.23
1797.23/1797.23	c   presolving       :    1795.61 (included in solving)
1797.23/1797.23	c   reading          :       1.31 (included in solving)
1797.23/1797.23	c Original Problem   :
1797.23/1797.23	c   Problem name     : HOME/instance-3489735-1307792025.opb
1797.23/1797.23	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.23/1797.23	c   Constraints      : 245119 initial, 245119 maximal
1797.23/1797.23	c Presolved Problem  :
1797.23/1797.23	c   Problem name     : t_HOME/instance-3489735-1307792025.opb
1797.23/1797.23	c   Variables        : 49498 (49498 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.23/1797.23	c   Constraints      : 156922 initial, 156922 maximal
1797.23/1797.23	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.23/1797.23	c   trivial          :       0.05       1129          0          0          0          0          0          0          0          0
1797.23/1797.23	c   dualfix          :       0.09        121          0          0          0          0          0          0          0          0
1797.23/1797.23	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1797.23/1797.23	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1797.23/1797.23	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1797.23/1797.23	c   implics          :       0.53          0          0          0          0          0          0          0          0          0
1797.23/1797.23	c   probing          :    1776.95         13          6          0          0          0          0          0          0          0
1797.23/1797.23	c   knapsack         :       0.19          0          0          0          0          0         13         68         94        322
1797.23/1797.23	c   setppc           :       0.26          0          0          0          0          0          0          0          0          0
1797.23/1797.23	c   linear           :      17.07      17241       4834          0      18370          0      88252          0        115         87
1797.23/1797.23	c   logicor          :       0.07          0          0          0          0          0          0          0          0          0
1797.23/1797.23	c   root node        :          -          0          -          -          0          -          -          -          -          -
1797.23/1797.23	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1797.23/1797.23	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
1797.23/1797.23	c   knapsack         :          0+         0     157492          0          0          0          0          1          0          0          0          0
1797.23/1797.23	c   setppc           :          0+         0     157491          0          0          0          0          2          0          0          0          0
1797.23/1797.23	c   linear           :          0+         0          0          0          0          0          0          0          0          0          0          0
1797.23/1797.23	c   logicor          :          0+         0     141103          0          0          0          0          2          0          0          0          0
1797.23/1797.23	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1797.23/1797.23	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1797.23/1797.23	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.23/1797.23	c   knapsack         :       8.00       0.00       8.00       0.00       0.00       0.00       0.00
1797.23/1797.23	c   setppc           :     870.46       0.00     870.46       0.00       0.00       0.00       0.00
1797.23/1797.23	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.23/1797.23	c   logicor          :       8.69       0.00       8.69       0.00       0.00       0.00       0.00
1797.23/1797.23	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.23/1797.23	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1797.23/1797.23	c   vbounds          :          0          0          0          0
1797.23/1797.23	c   rootredcost      :          0          0          0          0
1797.23/1797.23	c   pseudoobj        :          0          0          0          0
1797.23/1797.23	c Propagator Timings :  TotalTime  Propagate    Resprop
1797.23/1797.23	c   vbounds          :       0.07       0.07       0.00
1797.23/1797.23	c   rootredcost      :       0.04       0.04       0.00
1797.23/1797.23	c   pseudoobj        :       0.03       0.03       0.00
1797.23/1797.23	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.23/1797.23	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1797.23/1797.23	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.23/1797.23	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.23/1797.23	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.23/1797.23	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.23/1797.23	c   applied globally :          -          -          -          0        0.0          -          -          -
1797.23/1797.23	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.73/1797.78	c Time complete: 1797.81.

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 10198
/proc/meminfo: memFree=30005904/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=12700 CPUtime=0 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 2141 0 0 0 0 0 0 0 25 0 1 0 871618655 13004800 2096 33554432000 4194304 9016284 140735873447056 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10198/statm: 3175 2101 353 1178 0 1993 0

[startup+0.0172079 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 10198
/proc/meminfo: memFree=30005904/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=16248 CPUtime=0.01 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 3051 0 0 0 1 0 0 0 25 0 1 0 871618655 16637952 3006 33554432000 4194304 9016284 140735873447056 18446744073709551615 4447120 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10198/statm: 4062 3006 360 1178 0 2880 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16248

[startup+0.100205 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 10198
/proc/meminfo: memFree=30005904/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=32396 CPUtime=0.09 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 7098 0 0 0 9 0 0 0 25 0 1 0 871618655 33173504 7053 33554432000 4194304 9016284 140735873447056 18446744073709551615 7870463 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10198/statm: 8099 7053 360 1178 0 6917 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32396

[startup+0.300158 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 10198
/proc/meminfo: memFree=30005904/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=59144 CPUtime=0.29 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 13785 0 0 0 28 1 0 0 25 0 1 0 871618655 60563456 13740 33554432000 4194304 9016284 140735873447056 18446744073709551615 7870468 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10198/statm: 14786 13740 360 1178 0 13604 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59144

[startup+0.7011 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 10198
/proc/meminfo: memFree=30005904/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=88832 CPUtime=0.69 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 21208 0 0 0 67 2 0 0 25 0 1 0 871618655 90963968 21163 33554432000 4194304 9016284 140735873447056 18446744073709551615 7870498 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10198/statm: 22208 21163 360 1178 0 21026 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88832

[startup+1.50098 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 10199
/proc/meminfo: memFree=29885264/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=293996 CPUtime=1.49 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 72353 0 0 0 141 8 0 0 25 0 1 0 871618655 301051904 72255 33554432000 4194304 9016284 140735873447056 18446744073709551615 6813403 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 73499 72255 406 1178 0 72317 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 293996

[startup+3.10069 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 10199
/proc/meminfo: memFree=29597820/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=514868 CPUtime=3.09 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 126272 0 0 0 296 13 0 0 25 0 1 0 871618655 527224832 126174 33554432000 4194304 9016284 140735873447056 18446744073709551615 6480184 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 128717 126174 485 1178 0 127535 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 514868

[startup+6.30114 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 10199
/proc/meminfo: memFree=29334728/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=725968 CPUtime=6.29 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 178559 0 0 0 611 18 0 0 25 0 1 0 871618655 743391232 178461 33554432000 4194304 9016284 140735873447056 18446744073709551615 7875499 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 181492 178461 485 1178 0 180310 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 725968

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 10199
/proc/meminfo: memFree=29135684/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=870756 CPUtime=12.69 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 212763 0 0 0 1247 22 0 0 25 0 1 0 871618655 891654144 212408 33554432000 4194304 9016284 140735873447056 18446744073709551615 6481227 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 217689 212408 496 1178 0 216507 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 870756

[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 10199
/proc/meminfo: memFree=29049868/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=930816 CPUtime=25.49 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 241223 0 0 0 2523 26 0 0 25 0 1 0 871618655 953155584 227522 33554432000 4194304 9016284 140735873447056 18446744073709551615 4347574 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 232704 227522 549 1178 0 231522 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 930816

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 10200
/proc/meminfo: memFree=28975560/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=970312 CPUtime=51.09 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 250245 0 0 0 5082 27 0 0 25 0 1 0 871618655 993599488 236544 33554432000 4194304 9016284 140735873447056 18446744073709551615 6480224 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 242578 236544 549 1178 0 241396 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 970312

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 10201
/proc/meminfo: memFree=28802692/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=1052000 CPUtime=102.3 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 269936 0 0 0 10200 30 0 0 25 0 1 0 871618655 1077248000 256235 33554432000 4194304 9016284 140735873447056 18446744073709551615 6479896 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 263000 256235 549 1178 0 261818 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1052000

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 10203
/proc/meminfo: memFree=28530964/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=1231472 CPUtime=162.29 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 314672 0 0 0 16195 34 0 0 25 0 1 0 871618655 1261027328 300872 33554432000 4194304 9016284 140735873447056 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 307868 300872 549 1178 0 306686 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1231472

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 10205
/proc/meminfo: memFree=28254780/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=1408356 CPUtime=222.29 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 358490 0 0 0 22189 40 0 0 25 0 1 0 871618655 1442156544 344690 33554432000 4194304 9016284 140735873447056 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 352089 344690 549 1178 0 350907 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1408356

[startup+282.301 s]
/proc/loadavg: 2.07 2.02 1.97 3/178 10206
/proc/meminfo: memFree=27904936/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=1531496 CPUtime=282.29 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 389103 0 0 0 28186 43 0 0 25 0 1 0 871618655 1568251904 375303 33554432000 4194304 9016284 140735873447056 18446744073709551615 6480384 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 382874 375303 549 1178 0 381692 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1531496

[startup+342.301 s]
/proc/loadavg: 2.02 2.01 1.97 3/178 10208
/proc/meminfo: memFree=27772084/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=1675992 CPUtime=342.3 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 424938 0 0 0 34182 48 0 0 25 0 1 0 871618655 1716215808 411138 33554432000 4194304 9016284 140735873447056 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 418998 411138 549 1178 0 417816 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1675992

[startup+402.301 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 10209
/proc/meminfo: memFree=27646060/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=1803100 CPUtime=402.3 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 456553 0 0 0 40178 52 0 0 25 0 1 0 871618655 1846374400 442753 33554432000 4194304 9016284 140735873447056 18446744073709551615 6480407 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 450775 442753 549 1178 0 449593 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1803100

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 10211
/proc/meminfo: memFree=27512464/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=1934136 CPUtime=462.3 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 489693 0 0 0 46174 56 0 0 25 0 1 0 871618655 1980555264 475893 33554432000 4194304 9016284 140735873447056 18446744073709551615 6480364 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 483534 475893 549 1178 0 482352 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1934136

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 10213
/proc/meminfo: memFree=27391156/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=2059828 CPUtime=522.3 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 520237 0 0 0 52169 61 0 0 25 0 1 0 871618655 2109263872 506437 33554432000 4194304 9016284 140735873447056 18446744073709551615 6476235 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 514957 506437 549 1178 0 513775 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2059828

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 10214
/proc/meminfo: memFree=27268104/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=2182388 CPUtime=582.31 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 550629 0 0 0 58165 66 0 0 25 0 1 0 871618655 2234765312 536829 33554432000 4194304 9016284 140735873447056 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 545597 536829 549 1178 0 544415 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2182388

[startup+642.3 s]

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

/proc/meminfo: memFree=26417992/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=2801692 CPUtime=1062.32 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 705295 0 0 0 106148 84 0 0 25 0 1 0 871618655 2868932608 691495 33554432000 4194304 9016284 140735873447056 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 700423 691495 554 1178 0 699241 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2801692

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10229
/proc/meminfo: memFree=26338980/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=2881568 CPUtime=1122.31 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 724993 0 0 0 112145 86 0 0 25 0 1 0 871618655 2950725632 711193 33554432000 4194304 9016284 140735873447056 18446744073709551615 5510796 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 720392 711193 554 1178 0 719210 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2881568

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10230
/proc/meminfo: memFree=26304348/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=2924644 CPUtime=1182.32 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 735622 0 0 0 118143 89 0 0 25 0 1 0 871618655 2994835456 721822 33554432000 4194304 9016284 140735873447056 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 731161 721822 554 1178 0 729979 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2924644

[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 1.98 3/178 10232
/proc/meminfo: memFree=26260784/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=2981096 CPUtime=1242.32 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 749208 0 0 0 124142 90 0 0 25 0 1 0 871618655 3052642304 735408 33554432000 4194304 9016284 140735873447056 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 745274 735408 554 1178 0 744092 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2981096

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/178 10233
/proc/meminfo: memFree=26169976/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=3052544 CPUtime=1302.32 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 766986 0 0 0 130140 92 0 0 25 0 1 0 871618655 3125805056 753186 33554432000 4194304 9016284 140735873447056 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 763136 753186 554 1178 0 761954 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 3052544

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10235
/proc/meminfo: memFree=26124300/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=3115316 CPUtime=1362.33 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 782704 0 0 0 136138 95 0 0 25 0 1 0 871618655 3190083584 768904 33554432000 4194304 9016284 140735873447056 18446744073709551615 5511150 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 778829 768904 554 1178 0 777647 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3115316

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10275
/proc/meminfo: memFree=27786516/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=3161304 CPUtime=1422.33 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 794963 0 0 0 142136 97 0 0 25 0 1 0 871618655 3237175296 781163 33554432000 4194304 9016284 140735873447056 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 790326 781163 554 1178 0 789144 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3161304

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10276
/proc/meminfo: memFree=27576432/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=3232160 CPUtime=1482.33 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 812459 0 0 0 148134 99 0 0 25 0 1 0 871618655 3309731840 798659 33554432000 4194304 9016284 140735873447056 18446744073709551615 4318608 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 808040 798659 554 1178 0 806858 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3232160

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10278
/proc/meminfo: memFree=27432432/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=3279960 CPUtime=1542.33 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 824148 0 0 0 154133 100 0 0 25 0 1 0 871618655 3358679040 810348 33554432000 4194304 9016284 140735873447056 18446744073709551615 5511150 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 819990 810348 554 1178 0 818808 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3279960

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10279
/proc/meminfo: memFree=27195808/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=3339624 CPUtime=1602.33 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 838702 0 0 0 160131 102 0 0 25 0 1 0 871618655 3419774976 824902 33554432000 4194304 9016284 140735873447056 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 834906 824902 554 1178 0 833724 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3339624

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10290
/proc/meminfo: memFree=26980136/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=3406400 CPUtime=1662.33 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 855956 0 0 0 166129 104 0 0 25 0 1 0 871618655 3488153600 842156 33554432000 4194304 9016284 140735873447056 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 851600 842156 554 1178 0 850418 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3406400

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10292
/proc/meminfo: memFree=26851384/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=3459604 CPUtime=1722.34 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 868592 0 0 0 172128 106 0 0 25 0 1 0 871618655 3542634496 854792 33554432000 4194304 9016284 140735873447056 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 864901 854792 554 1178 0 863719 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3459604

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10293
/proc/meminfo: memFree=26722624/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=3508724 CPUtime=1782.33 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 880596 0 0 0 178126 107 0 0 25 0 1 0 871618655 3592933376 866796 33554432000 4194304 9016284 140735873447056 18446744073709551615 5511144 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 877181 866796 554 1178 0 875999 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3508724

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10293
/proc/meminfo: memFree=26709108/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=3514724 CPUtime=1785.53 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 882065 0 0 0 178446 107 0 0 25 0 1 0 871618655 3599077376 868265 33554432000 4194304 9016284 140735873447056 18446744073709551615 5511150 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 878681 868265 554 1178 0 877499 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 3514724

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10294
/proc/meminfo: memFree=26697200/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=3518704 CPUtime=1791.94 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 883223 0 0 0 179087 107 0 0 25 0 1 0 871618655 3603152896 869423 33554432000 4194304 9016284 140735873447056 18446744073709551615 6480220 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 879676 869423 554 1178 0 878494 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 3518704

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10294
/proc/meminfo: memFree=26683684/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=3526576 CPUtime=1795.14 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 885135 0 0 0 179407 107 0 0 25 0 1 0 871618655 3611213824 871335 33554432000 4194304 9016284 140735873447056 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 881644 871335 554 1178 0 880462 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 3526576

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10294
/proc/meminfo: memFree=26681576/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=3527580 CPUtime=1796.73 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 885305 0 0 0 179566 107 0 0 25 0 1 0 871618655 3612241920 871505 33554432000 4194304 9016284 140735873447056 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10198/statm: 881895 871505 554 1178 0 880713 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 3527580

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10294
/proc/meminfo: memFree=26684056/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=3483852 CPUtime=1797.53 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 886223 0 0 0 179645 108 0 0 25 0 1 0 871618655 3567464448 860881 33554432000 4194304 9016284 140735873447056 18446744073709551615 6812677 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10198/statm: 870963 860881 563 1178 0 869781 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 3483852

[startup+1797.7 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10294
/proc/meminfo: memFree=26684056/32951124 swapFree=67088052/67111528
[pid=10198] ppid=10196 vsize=2662936 CPUtime=1797.73 cores=0,2,4,6
/proc/10198/stat : 10198 (scip-2.0.1.4b_2) R 10196 10198 9011 0 -1 4202496 886236 0 0 0 179660 113 0 0 25 0 1 0 871618655 2726846464 531260 33554432000 4194304 9016284 140735873447056 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10198/statm: 665734 531260 576 1178 0 664552 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 2662936

Child status: 0
Real time (s): 1797.78
CPU time (s): 1797.82
CPU user time (s): 1796.6
CPU system time (s): 1.22081
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3529684

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

runsolver used 2.65959 second user time and 5.53816 second system time

The end

Launcher Data 

Begin job on node144 at 2011-06-11 13:33:45
IDJOB=3489735
IDBENCH=77130
IDSOLVER=1979
FILE ID=node144/3489735-1307792025
RUNJOBID= node144-1307783026-9029
PBS_JOBID= 13550885
Free space on /tmp= 74004 MiB

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

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

MD5SUM BENCH= 33a0c5076a13a0bc08e55dbdcaafa3d4
RANDOM SEED=278187088

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30006348 kB
Buffers:        181680 kB
Cached:         797008 kB
SwapCached:       1652 kB
Active:        2195656 kB
Inactive:       573504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30006348 kB
SwapTotal:    67111528 kB
SwapFree:     67088052 kB
Dirty:           23736 kB
Writeback:           0 kB
AnonPages:     1788500 kB
Mapped:          16364 kB
Slab:           107684 kB
PageTables:       8272 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1975720 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= 73984 MiB
End job on node144 at 2011-06-11 14:03:43