Trace number 3489804

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.72 1797.69

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9045_2.std.opb
MD5SUM164e1d7c8e885527f3cc100614dc9c6f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark158
Best CPU time to get the best result obtained on this benchmark1800.3
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints192642
Number of constraints which are clauses191442
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 constraint90
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-3489804-1307793683.opb>
0.99/1.07	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192642 constraints
0.99/1.07	c problem read
0.99/1.07	c presolving settings loaded
1.39/1.43	c presolving:
7.69/7.79	c (round 1) 5258 del vars, 15137 del conss, 0 add conss, 4119 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13045962 impls, 0 clqs
10.39/10.47	c (round 2) 9801 del vars, 35276 del conss, 0 add conss, 8230 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13073990 impls, 0 clqs
11.29/11.31	c (round 3) 11395 del vars, 42773 del conss, 0 add conss, 9216 chg bounds, 11 chg sides, 17 chg coeffs, 0 upgd conss, 13087247 impls, 0 clqs
11.79/11.82	c (round 4) 12289 del vars, 46525 del conss, 0 add conss, 9794 chg bounds, 26 chg sides, 48 chg coeffs, 0 upgd conss, 13094118 impls, 0 clqs
12.09/12.15	c (round 5) 12958 del vars, 49215 del conss, 0 add conss, 10179 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13102649 impls, 0 clqs
12.39/12.41	c (round 6) 13448 del vars, 51073 del conss, 0 add conss, 10455 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13108298 impls, 0 clqs
12.59/12.60	c (round 7) 13743 del vars, 52389 del conss, 0 add conss, 10635 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13111388 impls, 0 clqs
12.69/12.74	c (round 8) 13932 del vars, 53170 del conss, 0 add conss, 10739 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13113811 impls, 0 clqs
12.79/12.82	c (round 9) 14020 del vars, 53654 del conss, 0 add conss, 10786 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13114888 impls, 0 clqs
12.89/12.90	c (round 10) 14080 del vars, 53904 del conss, 0 add conss, 10825 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13115280 impls, 0 clqs
12.89/12.96	c (round 11) 14104 del vars, 54040 del conss, 0 add conss, 10840 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13115361 impls, 0 clqs
12.99/13.00	c (round 12) 14106 del vars, 54081 del conss, 0 add conss, 10841 chg bounds, 31 chg sides, 58 chg coeffs, 0 upgd conss, 13115365 impls, 0 clqs
13.48/13.59	c (round 13) 14106 del vars, 54085 del conss, 0 add conss, 10841 chg bounds, 31 chg sides, 58 chg coeffs, 138557 upgd conss, 13115365 impls, 0 clqs
14.29/14.33	c (round 14) 14106 del vars, 54089 del conss, 10 add conss, 10841 chg bounds, 45 chg sides, 198 chg coeffs, 138557 upgd conss, 13115365 impls, 0 clqs
692.90/692.94	c    (692.9s) probing: 1000/40676 (2.5%) - 5 fixings, 1 aggregations, 11304006 implications, 0 bound changes
1185.51/1185.58	c    (1185.6s) probing: 2000/40676 (4.9%) - 5 fixings, 1 aggregations, 18408278 implications, 0 bound changes
1278.42/1278.40	c    (1278.4s) probing: 2185/40676 (5.4%) - 5 fixings, 1 aggregations, 19715817 implications, 0 bound changes
1278.42/1278.40	c    (1278.4s) probing aborted: 2000/2000 successive useless probings
1278.42/1278.40	c (round 15) 14112 del vars, 54090 del conss, 11 add conss, 10841 chg bounds, 47 chg sides, 217 chg coeffs, 138557 upgd conss, 79708249 impls, 0 clqs
1278.92/1278.92	c (round 16) 14112 del vars, 54371 del conss, 11 add conss, 10841 chg bounds, 47 chg sides, 326 chg coeffs, 138557 upgd conss, 79708249 impls, 0 clqs
1529.61/1529.66	c (round 17) 14162 del vars, 54371 del conss, 11 add conss, 10841 chg bounds, 47 chg sides, 326 chg coeffs, 138557 upgd conss, 84382167 impls, 0 clqs
1536.62/1536.66	c (round 18) 14172 del vars, 54570 del conss, 11 add conss, 10841 chg bounds, 47 chg sides, 326 chg coeffs, 138557 upgd conss, 84580861 impls, 0 clqs
1797.12/1797.12	c    (1797.1s) probing: 2977/40676 (7.3%) - 52 fixings, 20 aggregations, 24748752 implications, 0 bound changes
1797.12/1797.12	c    (1797.1s) probing aborted: solving stopped
1797.12/1797.12	c (round 19) 14188 del vars, 54579 del conss, 11 add conss, 10841 chg bounds, 47 chg sides, 326 chg coeffs, 138557 upgd conss, 94782429 impls, 0 clqs
1797.12/1797.12	c presolving (19 rounds):
1797.12/1797.12	c  14188 deleted vars, 54579 deleted constraints, 11 added constraints, 10841 tightened bounds, 0 added holes, 47 changed sides, 326 changed coefficients
1797.12/1797.12	c  94782429 implications, 0 cliques
1797.12/1797.12	c presolving was interrupted.
1797.12/1797.12	c Presolving Time: 1795.79
1797.12/1797.12	c - non default parameters ----------------------------------------------------------------------
1797.12/1797.12	c # SCIP version 2.0.1.5
1797.12/1797.12	c 
1797.12/1797.12	c # frequency for displaying node information lines
1797.12/1797.12	c # [type: int, range: [-1,2147483647], default: 100]
1797.12/1797.12	c display/freq = 10000
1797.12/1797.12	c 
1797.12/1797.12	c # maximal time in seconds to run
1797.12/1797.12	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.12/1797.12	c limits/time = 1797
1797.12/1797.12	c 
1797.12/1797.12	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.12/1797.12	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.12/1797.12	c limits/memory = 13950
1797.12/1797.12	c 
1797.12/1797.12	c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.12/1797.12	c # [type: int, range: [1,2], default: 1]
1797.12/1797.12	c timing/clocktype = 2
1797.12/1797.12	c 
1797.12/1797.12	c # belongs reading time to solving time?
1797.12/1797.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.12/1797.12	c timing/reading = TRUE
1797.12/1797.12	c 
1797.12/1797.12	c # should presolving try to simplify inequalities
1797.12/1797.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.12/1797.12	c constraints/linear/simplifyinequalities = TRUE
1797.12/1797.12	c 
1797.12/1797.12	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.12/1797.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.12/1797.12	c constraints/indicator/addCouplingCons = TRUE
1797.12/1797.12	c 
1797.12/1797.12	c # should presolving try to simplify knapsacks
1797.12/1797.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.12/1797.12	c constraints/knapsack/simplifyinequalities = TRUE
1797.12/1797.12	c 
1797.12/1797.12	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.12/1797.12	c # [type: int, range: [-1,2147483647], default: -1]
1797.12/1797.12	c separating/rapidlearning/freq = 0
1797.12/1797.12	c 
1797.12/1797.12	c -----------------------------------------------------------------------------------------------
1797.12/1797.12	c start solving
1797.12/1797.15	c presolving:
1797.12/1797.15	c presolving (19 rounds):
1797.12/1797.15	c  14188 deleted vars, 54579 deleted constraints, 11 added constraints, 10841 tightened bounds, 0 added holes, 47 changed sides, 326 changed coefficients
1797.12/1797.15	c  94782429 implications, 0 cliques
1797.12/1797.15	c presolving was interrupted.
1797.12/1797.15	c Presolving Time: 1795.81
1797.12/1797.15	c 
1797.12/1797.15	c SCIP Status        : solving was interrupted [time limit reached]
1797.12/1797.15	c Solving Time (sec) : 1797.15
1797.12/1797.15	c Solving Nodes      : 0
1797.12/1797.15	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.12/1797.15	s UNKNOWN
1797.12/1797.15	c SCIP Status        : solving was interrupted [time limit reached]
1797.12/1797.15	c Total Time         :    1797.15
1797.12/1797.15	c   solving          :    1797.15
1797.12/1797.15	c   presolving       :    1795.81 (included in solving)
1797.12/1797.15	c   reading          :       1.07 (included in solving)
1797.12/1797.15	c Original Problem   :
1797.12/1797.15	c   Problem name     : HOME/instance-3489804-1307793683.opb
1797.12/1797.15	c   Variables        : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.12/1797.15	c   Constraints      : 192642 initial, 192642 maximal
1797.12/1797.15	c Presolved Problem  :
1797.12/1797.15	c   Problem name     : t_HOME/instance-3489804-1307793683.opb
1797.12/1797.15	c   Variables        : 40594 (40594 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.12/1797.15	c   Constraints      : 138074 initial, 138074 maximal
1797.12/1797.15	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.12/1797.15	c   trivial          :       0.04        683          0          0          0          0          0          0          0          0
1797.12/1797.15	c   dualfix          :       0.07         90          0          0          0          0          0          0          0          0
1797.12/1797.15	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1797.12/1797.15	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1797.12/1797.15	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1797.12/1797.15	c   implics          :       7.29          0          9          0          0          0          0          0          0          0
1797.12/1797.15	c   probing          :    1774.24         52         20          0          0          0          0          0          0          0
1797.12/1797.15	c   knapsack         :       1.79          0          0          0          0          0          0         11         16        268
1797.12/1797.15	c   setppc           :       0.46          1          0          0          0          0        486          0          0          0
1797.12/1797.15	c   linear           :      11.52      10158       3175          0      10841          0      54085          0         31         58
1797.12/1797.15	c   logicor          :       0.10          0          0          0          0          0          8          0          0          0
1797.12/1797.15	c   root node        :          -          0          -          -          0          -          -          -          -          -
1797.12/1797.15	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1797.12/1797.15	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
1797.12/1797.15	c   knapsack         :          0+         0     133793          0          0          0          0         17          0          0          0          0
1797.12/1797.15	c   setppc           :          0+         0     133776          0          0          0          0         18          0          0          0          0
1797.12/1797.15	c   linear           :          0+         0          0          0          0          0          0          0          0          0          0          0
1797.12/1797.15	c   logicor          :          0+         0     122089          0          0          0          0         10          0          0          0          0
1797.12/1797.15	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1797.12/1797.15	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1797.12/1797.15	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.12/1797.15	c   knapsack         :       9.15       0.00       9.15       0.00       0.00       0.00       0.00
1797.12/1797.15	c   setppc           :     605.86       0.00     605.86       0.00       0.00       0.00       0.00
1797.12/1797.15	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.12/1797.15	c   logicor          :      11.10       0.00      11.10       0.00       0.00       0.00       0.00
1797.12/1797.15	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.12/1797.15	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1797.12/1797.15	c   vbounds          :          0          0          0          0
1797.12/1797.15	c   rootredcost      :          0          0          0          0
1797.12/1797.15	c   pseudoobj        :          0          0          0          0
1797.12/1797.15	c Propagator Timings :  TotalTime  Propagate    Resprop
1797.12/1797.15	c   vbounds          :       0.05       0.05       0.00
1797.12/1797.15	c   rootredcost      :       0.03       0.03       0.00
1797.12/1797.15	c   pseudoobj        :       0.02       0.02       0.00
1797.12/1797.15	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.12/1797.15	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1797.12/1797.15	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.12/1797.15	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.12/1797.15	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.12/1797.15	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.12/1797.15	c   applied globally :          -          -          -          0        0.0          -          -          -
1797.12/1797.15	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.62/1797.68	c Time complete: 1797.7.

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-3489804-1307793683/watcher-3489804-1307793683 -o /tmp/evaluation-result-3489804-1307793683/solver-3489804-1307793683 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489804-1307793683.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.91 4/177 7349
/proc/meminfo: memFree=27750548/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=9448 CPUtime=0 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 1477 0 0 0 0 0 0 0 25 0 1 0 871784654 9674752 1432 33554432000 4194304 9016284 140736085490672 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7349/statm: 2362 1434 311 1178 0 1180 0

[startup+0.0421631 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 7349
/proc/meminfo: memFree=27750548/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=21020 CPUtime=0.03 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 4223 0 0 0 3 0 0 0 25 0 1 0 871784654 21524480 4178 33554432000 4194304 9016284 140736085490672 18446744073709551615 7989419 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7349/statm: 5255 4178 360 1178 0 4073 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21020

[startup+0.101159 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 7349
/proc/meminfo: memFree=27750548/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=32392 CPUtime=0.09 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 7095 0 0 0 9 0 0 0 25 0 1 0 871784654 33169408 7050 33554432000 4194304 9016284 140736085490672 18446744073709551615 5207557 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7349/statm: 8098 7050 360 1178 0 6916 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32392

[startup+0.301119 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 7349
/proc/meminfo: memFree=27750548/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=54060 CPUtime=0.29 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 12489 0 0 0 28 1 0 0 25 0 1 0 871784654 55357440 12444 33554432000 4194304 9016284 140736085490672 18446744073709551615 7870478 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7349/statm: 13515 12444 360 1178 0 12333 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54060

[startup+0.701051 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 7349
/proc/meminfo: memFree=27750548/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=87724 CPUtime=0.69 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 20927 0 0 0 67 2 0 0 25 0 1 0 871784654 89829376 20882 33554432000 4194304 9016284 140736085490672 18446744073709551615 7870483 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7349/statm: 21931 20882 360 1178 0 20749 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87724

[startup+1.5009 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 7350
/proc/meminfo: memFree=27634124/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=302076 CPUtime=1.49 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 73692 0 0 0 141 8 0 0 25 0 1 0 871784654 309325824 73628 33554432000 4194304 9016284 140736085490672 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7349/statm: 75519 73628 474 1178 0 74337 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 302076

[startup+3.10062 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 7351
/proc/meminfo: memFree=27386860/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=449056 CPUtime=3.09 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 110304 0 0 0 298 11 0 0 25 0 1 0 871784654 459833344 110240 33554432000 4194304 9016284 140736085490672 18446744073709551615 6480184 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7349/statm: 112264 110240 485 1178 0 111082 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 449056

[startup+6.30104 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 7389
/proc/meminfo: memFree=30724944/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=644724 CPUtime=6.29 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 157615 0 0 0 613 16 0 0 25 0 1 0 871784654 660197376 157551 33554432000 4194304 9016284 140736085490672 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7349/statm: 161181 157551 485 1178 0 159999 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 644724

[startup+12.7009 s]
/proc/loadavg: 2.08 2.02 1.91 3/178 7389
/proc/meminfo: memFree=30072580/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=696668 CPUtime=12.69 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 170156 0 0 0 1252 17 0 0 25 0 1 0 871784654 713388032 169835 33554432000 4194304 9016284 140736085490672 18446744073709551615 18446744073699065955 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 174167 169835 496 1178 0 172985 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 696668

[startup+25.5006 s]
/proc/loadavg: 2.06 2.02 1.91 3/178 7389
/proc/meminfo: memFree=29874700/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=800828 CPUtime=25.48 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 204754 0 0 0 2526 22 0 0 25 0 1 0 871784654 820047872 194177 33554432000 4194304 9016284 140736085490672 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 200207 194177 541 1178 0 199025 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 800828

[startup+51.101 s]
/proc/loadavg: 2.04 2.01 1.91 3/178 7390
/proc/meminfo: memFree=29794480/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=847712 CPUtime=51.09 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 216491 0 0 0 5085 24 0 0 25 0 1 0 871784654 868057088 205914 33554432000 4194304 9016284 140736085490672 18446744073709551615 6469440 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 211928 205914 541 1178 0 210746 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 847712

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 1.91 3/178 7391
/proc/meminfo: memFree=29570780/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=953792 CPUtime=102.29 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 242436 0 0 0 10203 26 0 0 25 0 1 0 871784654 976683008 231859 33554432000 4194304 9016284 140736085490672 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 238448 231859 541 1178 0 237266 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 953792

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 7393
/proc/meminfo: memFree=29307384/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=1109316 CPUtime=162.29 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 280876 0 0 0 16197 32 0 0 25 0 1 0 871784654 1135939584 270299 33554432000 4194304 9016284 140736085490672 18446744073709551615 6480398 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 277329 270299 541 1178 0 276147 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1109316

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 7395
/proc/meminfo: memFree=29027352/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=1241412 CPUtime=222.29 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 313949 0 0 0 22193 36 0 0 25 0 1 0 871784654 1271205888 303372 33554432000 4194304 9016284 140736085490672 18446744073709551615 6480384 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 310353 303372 541 1178 0 309171 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1241412

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 7396
/proc/meminfo: memFree=28743364/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=1404076 CPUtime=282.29 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 354699 0 0 0 28189 40 0 0 25 0 1 0 871784654 1437773824 344122 33554432000 4194304 9016284 140736085490672 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 351019 344122 541 1178 0 349837 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1404076

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 7398
/proc/meminfo: memFree=28353492/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=1556104 CPUtime=342.3 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 392211 0 0 0 34185 45 0 0 25 0 1 0 871784654 1593450496 381634 33554432000 4194304 9016284 140736085490672 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 389026 381634 541 1178 0 387844 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1556104

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 7399
/proc/meminfo: memFree=28047556/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=1723196 CPUtime=402.29 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 433608 0 0 0 40179 50 0 0 25 0 1 0 871784654 1764552704 423031 33554432000 4194304 9016284 140736085490672 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 430799 423031 541 1178 0 429617 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1723196

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 7401
/proc/meminfo: memFree=27753896/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=1902580 CPUtime=462.3 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 478166 0 0 0 46173 57 0 0 25 0 1 0 871784654 1948241920 467589 33554432000 4194304 9016284 140736085490672 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 475645 467589 541 1178 0 474463 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1902580

[startup+522.301 s]
/proc/loadavg: 2.04 2.01 1.92 3/178 7403
/proc/meminfo: memFree=27474256/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=2023156 CPUtime=522.3 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 508441 0 0 0 52170 60 0 0 25 0 1 0 871784654 2071711744 497864 33554432000 4194304 9016284 140736085490672 18446744073709551615 5510885 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 505789 497864 541 1178 0 504607 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2023156

[startup+582.301 s]
/proc/loadavg: 2.01 2.01 1.92 3/178 7404
/proc/meminfo: memFree=27204528/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=2179752 CPUtime=582.3 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 546986 0 0 0 58166 64 0 0 25 0 1 0 871784654 2232066048 536409 33554432000 4194304 9016284 140736085490672 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 544938 536409 541 1178 0 543756 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2179752

[startup+642.3 s]

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

/proc/meminfo: memFree=28643660/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=2815336 CPUtime=1122.31 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 706570 0 0 0 112145 86 0 0 25 0 1 0 871784654 2882904064 695993 33554432000 4194304 9016284 140736085490672 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 703834 695993 546 1178 0 702652 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2815336

[startup+1182.3 s]
/proc/loadavg: 1.37 1.82 1.86 2/172 7444
/proc/meminfo: memFree=28566400/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=2896388 CPUtime=1182.31 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 725780 0 0 0 118142 89 0 0 25 0 1 0 871784654 2965901312 715203 33554432000 4194304 9016284 140736085490672 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 724097 715203 546 1178 0 722915 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 2896388

[startup+1242.3 s]
/proc/loadavg: 1.13 1.67 1.81 2/172 7446
/proc/meminfo: memFree=28507592/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=2955220 CPUtime=1242.31 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 740252 0 0 0 124140 91 0 0 25 0 1 0 871784654 3026145280 729675 33554432000 4194304 9016284 140736085490672 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 738805 729675 546 1178 0 737623 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 2955220

[startup+1302.3 s]
/proc/loadavg: 1.05 1.55 1.75 2/172 7447
/proc/meminfo: memFree=28445064/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=3009272 CPUtime=1302.32 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 755815 0 0 0 130138 94 0 0 25 0 1 0 871784654 3081494528 745238 33554432000 4194304 9016284 140736085490672 18446744073709551615 4888123 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 752318 745238 546 1178 0 751136 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 3009272

[startup+1362.3 s]
/proc/loadavg: 1.02 1.44 1.70 2/172 7449
/proc/meminfo: memFree=28394816/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=3062912 CPUtime=1362.31 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 768345 0 0 0 136135 96 0 0 25 0 1 0 871784654 3136421888 757768 33554432000 4194304 9016284 140736085490672 18446744073709551615 6480421 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 765728 757768 546 1178 0 764546 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 3062912

[startup+1422.31 s]
/proc/loadavg: 1.00 1.36 1.66 2/172 7454
/proc/meminfo: memFree=28364100/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=3095068 CPUtime=1422.32 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 775807 0 0 0 142135 97 0 0 25 0 1 0 871784654 3169349632 765230 33554432000 4194304 9016284 140736085490672 18446744073709551615 6472035 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 773767 765230 546 1178 0 772585 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 3095068

[startup+1482.3 s]
/proc/loadavg: 1.00 1.29 1.61 2/172 7455
/proc/meminfo: memFree=28354676/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=3105036 CPUtime=1482.31 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 778467 0 0 0 148134 97 0 0 25 0 1 0 871784654 3179556864 767890 33554432000 4194304 9016284 140736085490672 18446744073709551615 4889380 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 776259 767890 546 1178 0 775077 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 3105036

[startup+1542.3 s]
/proc/loadavg: 1.00 1.24 1.57 2/172 7457
/proc/meminfo: memFree=28325004/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=3136040 CPUtime=1542.32 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 785787 0 0 0 154134 98 0 0 25 0 1 0 871784654 3211304960 775210 33554432000 4194304 9016284 140736085490672 18446744073709551615 4330747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 784010 775210 546 1178 0 782828 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3136040

[startup+1602.3 s]
/proc/loadavg: 1.00 1.19 1.53 2/172 7458
/proc/meminfo: memFree=28287900/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=3173696 CPUtime=1602.31 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 795273 0 0 0 160132 99 0 0 25 0 1 0 871784654 3249864704 784696 33554432000 4194304 9016284 140736085490672 18446744073709551615 6476213 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 793424 784696 546 1178 0 792242 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 3173696

[startup+1662.3 s]
/proc/loadavg: 1.00 1.15 1.50 2/172 7460
/proc/meminfo: memFree=28248672/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=3214128 CPUtime=1662.31 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 804937 0 0 0 166131 100 0 0 25 0 1 0 871784654 3291267072 794360 33554432000 4194304 9016284 140736085490672 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 803532 794360 546 1178 0 802350 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 3214128

[startup+1722.3 s]
/proc/loadavg: 1.00 1.12 1.46 2/172 7462
/proc/meminfo: memFree=28196448/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=3269796 CPUtime=1722.32 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 818662 0 0 0 172130 102 0 0 25 0 1 0 871784654 3348271104 808085 33554432000 4194304 9016284 140736085490672 18446744073709551615 6480192 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 817449 808085 546 1178 0 816267 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 3269796

[startup+1782.3 s]
/proc/loadavg: 1.00 1.10 1.43 2/172 7463
/proc/meminfo: memFree=28118912/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=3345832 CPUtime=1782.32 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 837641 0 0 0 178128 104 0 0 25 0 1 0 871784654 3426131968 827064 33554432000 4194304 9016284 140736085490672 18446744073709551615 6480201 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 836458 827064 546 1178 0 835276 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 3345832

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.10 1.43 2/172 7463
/proc/meminfo: memFree=28113084/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=3348896 CPUtime=1785.52 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 838675 0 0 0 178448 104 0 0 25 0 1 0 871784654 3429269504 828098 33554432000 4194304 9016284 140736085490672 18446744073709551615 6479501 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 837224 828098 546 1178 0 836042 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 3348896

[startup+1791.91 s]
/proc/loadavg: 1.00 1.09 1.43 2/172 7464
/proc/meminfo: memFree=28104148/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=3359068 CPUtime=1791.92 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 840889 0 0 0 179088 104 0 0 25 0 1 0 871784654 3439685632 830312 33554432000 4194304 9016284 140736085490672 18446744073709551615 6480187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 839767 830312 546 1178 0 838585 0
Current children cumulated CPU time (s) 1791.92
Current children cumulated vsize (KiB) 3359068

[startup+1795.1 s]
/proc/loadavg: 1.00 1.09 1.42 2/172 7464
/proc/meminfo: memFree=28098072/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=3365176 CPUtime=1795.12 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 842394 0 0 0 179408 104 0 0 25 0 1 0 871784654 3445940224 831817 33554432000 4194304 9016284 140736085490672 18446744073709551615 6480180 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 841294 831817 546 1178 0 840112 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 3365176

[startup+1796.7 s]
/proc/loadavg: 1.00 1.09 1.42 2/172 7464
/proc/meminfo: memFree=28096336/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=3367216 CPUtime=1796.72 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 843037 0 0 0 179568 104 0 0 25 0 1 0 871784654 3448029184 832460 33554432000 4194304 9016284 140736085490672 18446744073709551615 6480407 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 841804 832460 546 1178 0 840622 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 3367216

[startup+1797.1 s]
/proc/loadavg: 1.00 1.09 1.42 2/172 7464
/proc/meminfo: memFree=28096336/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=3369240 CPUtime=1797.12 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 843291 0 0 0 179608 104 0 0 25 0 1 0 871784654 3450101760 832714 33554432000 4194304 9016284 140736085490672 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7349/statm: 842310 832714 546 1178 0 841128 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (KiB) 3369240

[startup+1797.5 s]
/proc/loadavg: 1.00 1.09 1.42 2/172 7464
/proc/meminfo: memFree=28096212/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=3144996 CPUtime=1797.52 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 843845 0 0 0 179647 105 0 0 18 0 1 0 871784654 3220475904 777336 33554432000 4194304 9016284 140736085490672 18446744073709551615 6817595 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7349/statm: 786249 777336 559 1178 0 785067 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 3144996

[startup+1797.6 s]
/proc/loadavg: 1.00 1.09 1.42 2/172 7464
/proc/meminfo: memFree=28096212/32951124 swapFree=67050916/67111528
[pid=7349] ppid=7347 vsize=2271624 CPUtime=1797.62 cores=0,2,4,6
/proc/7349/stat : 7349 (scip-2.0.1.4b_2) R 7347 7349 4338 0 -1 4202496 843854 0 0 0 179652 110 0 0 18 0 1 0 871784654 2326142976 507882 33554432000 4194304 9016284 140736085490672 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7349/statm: 567906 507370 568 1178 0 566724 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (KiB) 2271624

Child status: 0
Real time (s): 1797.69
CPU time (s): 1797.72
CPU user time (s): 1796.53
CPU system time (s): 1.18982
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3369240

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

runsolver used 2.75858 second user time and 5.65714 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-11 14:01:24
IDJOB=3489804
IDBENCH=77755
IDSOLVER=1979
FILE ID=node146/3489804-1307793683
RUNJOBID= node146-1307791885-7226
PBS_JOBID= 13550873
Free space on /tmp= 74060 MiB

SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9045_2.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-3489804-1307793683/watcher-3489804-1307793683 -o /tmp/evaluation-result-3489804-1307793683/solver-3489804-1307793683 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489804-1307793683.opb -t 1800 -m 15500

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

MD5SUM BENCH= 164e1d7c8e885527f3cc100614dc9c6f
RANDOM SEED=909259439

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27751100 kB
Buffers:        303412 kB
Cached:        1017036 kB
SwapCached:      14576 kB
Active:        4270608 kB
Inactive:       717388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27751100 kB
SwapTotal:    67111528 kB
SwapFree:     67050916 kB
Dirty:           23000 kB
Writeback:           0 kB
AnonPages:     3665204 kB
Mapped:          11700 kB
Slab:           141116 kB
PageTables:      11884 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  3908944 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= 74068 MiB
End job on node146 at 2011-06-11 14:31:22