Trace number 3740515

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
PB11: SCIP spx E_2 2011-06-10 (fixed)? 1797.54 1797.87

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12026_4.std.opb
MD5SUM1d933df6a578d668cfefed05a131780d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark174
Best CPU time to get the best result obtained on this benchmark1800.02
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 constraints245266
Number of constraints which are clauses244066
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint68
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.0.1.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-3740515-1338747454.opb>
1.29/1.37	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245266 constraints
1.29/1.37	c problem read
1.29/1.37	c presolving settings loaded
1.78/1.89	c presolving:
9.99/10.02	c (round 1) 6488 del vars, 19166 del conss, 0 add conss, 4979 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16620104 impls, 0 clqs
14.09/14.17	c (round 2) 13185 del vars, 47502 del conss, 0 add conss, 11334 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16656891 impls, 0 clqs
15.49/15.56	c (round 3) 15842 del vars, 59319 del conss, 0 add conss, 12857 chg bounds, 24 chg sides, 14 chg coeffs, 0 upgd conss, 16676061 impls, 0 clqs
16.49/16.55	c (round 4) 17393 del vars, 65123 del conss, 0 add conss, 13951 chg bounds, 32 chg sides, 22 chg coeffs, 0 upgd conss, 16690267 impls, 0 clqs
17.09/17.11	c (round 5) 18456 del vars, 69307 del conss, 0 add conss, 14632 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16700948 impls, 0 clqs
17.49/17.55	c (round 6) 19209 del vars, 72085 del conss, 0 add conss, 15129 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16707572 impls, 0 clqs
17.79/17.89	c (round 7) 19817 del vars, 74441 del conss, 0 add conss, 15533 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16714668 impls, 0 clqs
18.09/18.16	c (round 8) 20279 del vars, 76245 del conss, 0 add conss, 15840 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16719604 impls, 0 clqs
18.29/18.37	c (round 9) 20632 del vars, 77604 del conss, 0 add conss, 16082 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16723033 impls, 0 clqs
18.49/18.53	c (round 10) 20871 del vars, 78585 del conss, 0 add conss, 16242 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16725333 impls, 0 clqs
18.59/18.65	c (round 11) 21027 del vars, 79201 del conss, 0 add conss, 16332 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16728011 impls, 0 clqs
18.69/18.78	c (round 12) 21113 del vars, 79632 del conss, 0 add conss, 16393 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16728770 impls, 0 clqs
18.79/18.85	c (round 13) 21157 del vars, 79852 del conss, 0 add conss, 16412 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16729054 impls, 0 clqs
18.89/18.91	c (round 14) 21177 del vars, 79948 del conss, 0 add conss, 16424 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16729118 impls, 0 clqs
18.89/18.97	c (round 15) 21179 del vars, 79978 del conss, 0 add conss, 16425 chg bounds, 34 chg sides, 22 chg coeffs, 0 upgd conss, 16729128 impls, 0 clqs
19.48/19.59	c (round 16) 21179 del vars, 79981 del conss, 0 add conss, 16425 chg bounds, 34 chg sides, 22 chg coeffs, 165285 upgd conss, 16729128 impls, 0 clqs
19.98/20.10	c (round 17) 21179 del vars, 79983 del conss, 13 add conss, 16425 chg bounds, 48 chg sides, 158 chg coeffs, 165285 upgd conss, 16729618 impls, 4086 clqs
223.15/223.29	c (round 18) 21229 del vars, 79984 del conss, 18 add conss, 16425 chg bounds, 54 chg sides, 196 chg coeffs, 165285 upgd conss, 30460888 impls, 4229 clqs
223.66/223.73	c (round 19) 21231 del vars, 80867 del conss, 18 add conss, 16425 chg bounds, 54 chg sides, 630 chg coeffs, 165285 upgd conss, 30461098 impls, 4229 clqs
782.15/782.31	c    (782.3s) probing: 1000/51663 (1.9%) - 43 fixings, 19 aggregations, 12388086 implications, 0 bound changes
1324.94/1325.26	c    (1325.3s) probing: 2000/51663 (3.9%) - 53 fixings, 19 aggregations, 20495241 implications, 0 bound changes
1796.86/1797.27	c    (1797.3s) probing: 2895/51663 (5.6%) - 59 fixings, 19 aggregations, 27878220 implications, 0 bound changes
1796.86/1797.27	c    (1797.3s) probing aborted: solving stopped
1796.86/1797.27	c (round 20) 21259 del vars, 80869 del conss, 18 add conss, 16425 chg bounds, 54 chg sides, 636 chg coeffs, 165285 upgd conss, 106891358 impls, 5366 clqs
1796.86/1797.27	c presolving (20 rounds):
1796.86/1797.27	c  21259 deleted vars, 80869 deleted constraints, 18 added constraints, 16425 tightened bounds, 0 added holes, 54 changed sides, 636 changed coefficients
1796.86/1797.27	c  106891358 implications, 5366 cliques
1796.86/1797.27	c presolving was interrupted.
1796.86/1797.27	c Presolving Time: 1795.54
1796.86/1797.27	c - non default parameters ----------------------------------------------------------------------
1796.86/1797.27	c # SCIP version 2.0.1.5
1796.86/1797.27	c 
1796.86/1797.27	c # frequency for displaying node information lines
1796.86/1797.27	c # [type: int, range: [-1,2147483647], default: 100]
1796.86/1797.27	c display/freq = 10000
1796.86/1797.27	c 
1796.86/1797.27	c # maximal time in seconds to run
1796.86/1797.27	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.86/1797.27	c limits/time = 1797
1796.86/1797.27	c 
1796.86/1797.27	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1796.86/1797.27	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.86/1797.27	c limits/memory = 13950
1796.86/1797.27	c 
1796.86/1797.27	c # default clock type (1: CPU user seconds, 2: wall clock time)
1796.86/1797.27	c # [type: int, range: [1,2], default: 1]
1796.86/1797.27	c timing/clocktype = 2
1796.86/1797.27	c 
1796.86/1797.27	c # belongs reading time to solving time?
1796.86/1797.27	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.86/1797.27	c timing/reading = TRUE
1796.86/1797.27	c 
1796.86/1797.27	c # should presolving try to simplify inequalities
1796.86/1797.27	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.86/1797.27	c constraints/linear/simplifyinequalities = TRUE
1796.86/1797.27	c 
1796.86/1797.27	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1796.86/1797.27	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.86/1797.27	c constraints/indicator/addCouplingCons = TRUE
1796.86/1797.27	c 
1796.86/1797.27	c # should presolving try to simplify knapsacks
1796.86/1797.27	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1796.86/1797.27	c constraints/knapsack/simplifyinequalities = TRUE
1796.86/1797.27	c 
1796.86/1797.27	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1796.86/1797.27	c # [type: int, range: [-1,2147483647], default: -1]
1796.86/1797.27	c separating/rapidlearning/freq = 0
1796.86/1797.27	c 
1796.86/1797.27	c -----------------------------------------------------------------------------------------------
1796.86/1797.27	c start solving
1796.96/1797.31	c presolving:
1796.96/1797.31	c presolving (20 rounds):
1796.96/1797.31	c  21259 deleted vars, 80869 deleted constraints, 18 added constraints, 16425 tightened bounds, 0 added holes, 54 changed sides, 636 changed coefficients
1796.96/1797.31	c  106891358 implications, 5366 cliques
1796.96/1797.31	c presolving was interrupted.
1796.96/1797.31	c Presolving Time: 1795.58
1796.96/1797.31	c 
1796.96/1797.31	c SCIP Status        : solving was interrupted [time limit reached]
1796.96/1797.31	c Solving Time (sec) : 1797.30
1796.96/1797.31	c Solving Nodes      : 0
1796.96/1797.31	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.96/1797.31	s UNKNOWN
1796.96/1797.31	c SCIP Status        : solving was interrupted [time limit reached]
1796.96/1797.31	c Total Time         :    1797.30
1796.96/1797.31	c   solving          :    1797.30
1796.96/1797.31	c   presolving       :    1795.58 (included in solving)
1796.96/1797.31	c   reading          :       1.36 (included in solving)
1796.96/1797.31	c Original Problem   :
1796.96/1797.31	c   Problem name     : HOME/instance-3740515-1338747454.opb
1796.96/1797.31	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.96/1797.31	c   Constraints      : 245266 initial, 245266 maximal
1796.96/1797.31	c Presolved Problem  :
1796.96/1797.31	c   Problem name     : t_HOME/instance-3740515-1338747454.opb
1796.96/1797.31	c   Variables        : 51583 (51583 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.96/1797.31	c   Constraints      : 164415 initial, 164415 maximal
1796.96/1797.31	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.96/1797.31	c   trivial          :       0.06       1070          0          0          0          0          0          0          0          0
1796.96/1797.31	c   dualfix          :       0.10        126          0          0          0          0          0          0          0          0
1796.96/1797.31	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1796.96/1797.31	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1796.96/1797.31	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1796.96/1797.31	c   implics          :       0.70          0          2          0          0          0          0          0          0          0
1796.96/1797.31	c   probing          :    1776.12         59         19          0          0          0          0          0          0          0
1796.96/1797.31	c   knapsack         :       0.92          0          0          0          0          0          1         18         20        614
1796.96/1797.31	c   setppc           :       0.33          0          0          0          0          0        880          0          0          0
1796.96/1797.31	c   linear           :      16.85      15355       4628          0      16425          0      79981          0         34         22
1796.96/1797.31	c   logicor          :       0.08          0          0          0          0          0          7          0          0          0
1796.96/1797.31	c   root node        :          -          0          -          -          0          -          -          -          -          -
1796.96/1797.31	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1796.96/1797.31	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
1796.96/1797.31	c   knapsack         :          0+         0     137889          0          0          0          0         10          0          0          0          0
1796.96/1797.31	c   setppc           :          0+         0     137879          0          0          0          0         10          0          0          0          0
1796.96/1797.31	c   linear           :          0+         0          0          0          0          0          0          0          0          0          0          0
1796.96/1797.31	c   logicor          :          0+         0     124841          0          0          0          0         18          0          0          0          0
1796.96/1797.31	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1796.96/1797.31	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1796.96/1797.31	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.96/1797.31	c   knapsack         :       9.22       0.00       9.22       0.00       0.00       0.00       0.00
1796.96/1797.31	c   setppc           :     741.21       0.00     741.21       0.00       0.00       0.00       0.00
1796.96/1797.31	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.96/1797.31	c   logicor          :       9.97       0.00       9.97       0.00       0.00       0.00       0.00
1796.96/1797.31	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.96/1797.31	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1796.96/1797.31	c   vbounds          :          0          0          0          0
1796.96/1797.31	c   rootredcost      :          0          0          0          0
1796.96/1797.31	c   pseudoobj        :          0          0          0          0
1796.96/1797.31	c Propagator Timings :  TotalTime  Propagate    Resprop
1796.96/1797.31	c   vbounds          :       0.05       0.05       0.00
1796.96/1797.31	c   rootredcost      :       0.04       0.04       0.00
1796.96/1797.31	c   pseudoobj        :       0.02       0.02       0.00
1796.96/1797.31	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.96/1797.31	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1796.96/1797.31	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.96/1797.31	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.96/1797.31	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.96/1797.31	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.96/1797.31	c   applied globally :          -          -          -          0        0.0          -          -          -
1796.96/1797.31	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.47/1797.87	c Time complete: 1797.53.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3740515-1338747454/watcher-3740515-1338747454 -o /tmp/evaluation-result-3740515-1338747454/solver-3740515-1338747454 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3740515-1338747454.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 2.00 3/174 1846
/proc/meminfo: memFree=25201116/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=9180 CPUtime=0 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 1298 0 0 0 0 0 0 0 20 0 1 0 340870860 9400320 1252 33554432000 4194304 9016284 140735004503008 140736191154216 7854962 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 2295 1263 214 1178 0 1113 0

[startup+0.100388 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1846
/proc/meminfo: memFree=25201116/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=31236 CPUtime=0.09 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 6805 0 0 0 8 1 0 0 20 0 1 0 340870860 31985664 6759 33554432000 4194304 9016284 140735004503008 140735004366904 4536486 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 7809 6759 360 1178 0 6627 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31236

[startup+0.200325 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1846
/proc/meminfo: memFree=25201116/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=49920 CPUtime=0.19 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 11461 0 0 0 17 2 0 0 20 0 1 0 340870860 51118080 11415 33554432000 4194304 9016284 140735004503008 140735004366904 6184628 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 12480 11415 360 1178 0 11298 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 49920

[startup+0.300324 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1846
/proc/meminfo: memFree=25201116/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=59012 CPUtime=0.29 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 13746 0 0 0 27 2 0 0 20 0 1 0 340870860 60428288 13700 33554432000 4194304 9016284 140735004503008 140735004366904 7870488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 14753 13700 360 1178 0 13571 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59012

[startup+0.700279 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1846
/proc/meminfo: memFree=25201116/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=87732 CPUtime=0.68 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 20923 0 0 0 66 2 0 0 20 0 1 0 340870860 89837568 20877 33554432000 4194304 9016284 140735004503008 140735004366904 6151969 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 21933 20877 360 1178 0 20751 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 87732

[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1849
/proc/meminfo: memFree=25066924/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=253060 CPUtime=1.48 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 62081 0 0 0 141 7 0 0 20 0 1 0 340870860 259133440 61967 33554432000 4194304 9016284 140735004503008 140735004366904 4318833 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 63265 61967 406 1178 0 62083 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 253060

[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1849
/proc/meminfo: memFree=24790404/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=504720 CPUtime=3.09 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 123784 0 0 0 295 14 0 0 20 0 1 0 340870860 516833280 123670 33554432000 4194304 9016284 140735004503008 140735004498360 6480184 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 126180 123670 485 1178 0 124998 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 504720

[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1849
/proc/meminfo: memFree=24499004/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=719944 CPUtime=6.29 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 177104 0 0 0 607 22 0 0 20 0 1 0 340870860 737222656 176990 33554432000 4194304 9016284 140735004503008 140735004498360 6816922 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 179986 176990 485 1178 0 178804 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 719944

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1849
/proc/meminfo: memFree=24307868/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=876688 CPUtime=12.69 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 214718 0 0 0 1242 27 0 0 20 0 1 0 340870860 897728512 214347 33554432000 4194304 9016284 140735004503008 140735004498680 6481251 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 219172 214347 496 1178 0 217990 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 876688

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1849
/proc/meminfo: memFree=24227992/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=951032 CPUtime=25.48 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 239433 0 0 0 2517 31 0 0 20 0 1 0 340870860 973856768 232200 33554432000 4194304 9016284 140735004503008 140735004497848 6480192 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 237758 232200 538 1178 0 236576 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 951032

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1849
/proc/meminfo: memFree=24142012/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=991136 CPUtime=51.08 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 249010 0 0 0 5076 32 0 0 20 0 1 0 340870860 1014923264 241678 33554432000 4194304 9016284 140735004503008 140735004498600 4888123 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 247784 241678 538 1178 0 246602 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 991136

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1850
/proc/meminfo: memFree=24012424/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=1060976 CPUtime=102.27 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 266160 0 0 0 10193 34 0 0 20 0 1 0 340870860 1086439424 258828 33554432000 4194304 9016284 140735004503008 140735004498600 6479349 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 265244 258828 538 1178 0 264062 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1060976

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1853
/proc/meminfo: memFree=23813920/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=1189096 CPUtime=162.27 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 297577 0 0 0 16188 39 0 0 20 0 1 0 340870860 1217634304 290212 33554432000 4194304 9016284 140735004503008 140735004498600 6480211 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 297274 290212 538 1178 0 296092 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1189096

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1853
/proc/meminfo: memFree=23672472/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=1287584 CPUtime=222.25 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 321577 0 0 0 22184 41 0 0 20 0 1 0 340870860 1318486016 314212 33554432000 4194304 9016284 140735004503008 140735004497848 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 321896 314212 538 1178 0 320714 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1287584

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1853
/proc/meminfo: memFree=23550980/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=1337956 CPUtime=282.24 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 333825 0 0 0 28181 43 0 0 20 0 1 0 340870860 1370066944 326460 33554432000 4194304 9016284 140735004503008 140735004498600 6480184 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 334489 326460 538 1178 0 333307 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1337956

[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 1853
/proc/meminfo: memFree=23397868/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=1416588 CPUtime=342.24 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 353363 0 0 0 34177 47 0 0 20 0 1 0 340870860 1450586112 345998 33554432000 4194304 9016284 140735004503008 140735004498600 6480229 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 354147 345998 538 1178 0 352965 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1416588

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 1854
/proc/meminfo: memFree=23258272/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=1505520 CPUtime=402.22 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 375039 0 0 0 40173 49 0 0 20 0 1 0 340870860 1541652480 367674 33554432000 4194304 9016284 140735004503008 140735004498600 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 376380 367674 538 1178 0 375198 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1505520

[startup+462.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 1854
/proc/meminfo: memFree=23113468/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=1588044 CPUtime=462.22 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 395490 0 0 0 46169 53 0 0 20 0 1 0 340870860 1626157056 388125 33554432000 4194304 9016284 140735004503008 140735004498600 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 397011 388125 538 1178 0 395829 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1588044

[startup+522.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/175 1854
/proc/meminfo: memFree=22913112/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=1746716 CPUtime=522.21 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 434909 0 0 0 52162 59 0 0 20 0 1 0 340870860 1788637184 427544 33554432000 4194304 9016284 140735004503008 140735004498520 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 436679 427544 538 1178 0 435497 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1746716

[startup+582.306 s]
/proc/loadavg: 2.07 2.05 2.01 3/175 1854
/proc/meminfo: memFree=22709532/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=1880348 CPUtime=582.21 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 468299 0 0 0 58156 65 0 0 20 0 1 0 340870860 1925476352 460934 33554432000 4194304 9016284 140735004503008 140735004498392 4875334 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 470087 460934 538 1178 0 468905 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 1880348

[startup+642.3 s]

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

/proc/meminfo: memFree=25502852/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=2861000 CPUtime=1122.08 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 711831 0 0 0 112098 110 0 0 20 0 1 0 340870860 2929664000 708191 33554432000 4194304 9016284 140735004503008 140735004498600 6480229 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 715250 708191 543 1178 0 714068 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 2861000

[startup+1182.3 s]
/proc/loadavg: 1.00 1.15 1.52 2/169 1883
/proc/meminfo: memFree=25409632/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=2953268 CPUtime=1182.06 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 734993 0 0 0 118091 115 0 0 20 0 1 0 340870860 3024146432 731449 33554432000 4194304 9016284 140735004503008 140735004498520 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 738317 731449 543 1178 0 737135 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 2953268

[startup+1242.31 s]
/proc/loadavg: 1.00 1.12 1.49 2/169 1883
/proc/meminfo: memFree=25350388/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3012832 CPUtime=1242.07 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 749644 0 0 0 124088 119 0 0 20 0 1 0 340870860 3085139968 746163 33554432000 4194304 9016284 140735004503008 140735004498392 6480376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 753208 746163 543 1178 0 752026 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 3012832

[startup+1302.3 s]
/proc/loadavg: 1.00 1.09 1.45 2/169 1884
/proc/meminfo: memFree=25284572/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3083332 CPUtime=1302.04 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 766165 0 0 0 130082 122 0 0 20 0 1 0 340870860 3157331968 762810 33554432000 4194304 9016284 140735004503008 140735004498392 4878139 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 770833 762810 543 1178 0 769651 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 3083332

[startup+1362.3 s]
/proc/loadavg: 1.00 1.07 1.42 2/170 1887
/proc/meminfo: memFree=25220732/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3143412 CPUtime=1362.04 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 781802 0 0 0 136078 126 0 0 20 0 1 0 340870860 3218853888 778458 33554432000 4194304 9016284 140735004503008 140735004498600 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 785853 778458 543 1178 0 784671 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 3143412

[startup+1422.3 s]
/proc/loadavg: 1.00 1.06 1.39 2/169 1887
/proc/meminfo: memFree=25164720/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3197712 CPUtime=1422.03 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 795801 0 0 0 142074 129 0 0 20 0 1 0 340870860 3274457088 792552 33554432000 4194304 9016284 140735004503008 140735004498600 6480192 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 799428 792552 543 1178 0 798246 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 3197712

[startup+1482.3 s]
/proc/loadavg: 1.00 1.05 1.37 2/169 1887
/proc/meminfo: memFree=25099648/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3263932 CPUtime=1482.02 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 811960 0 0 0 148070 132 0 0 20 0 1 0 340870860 3342266368 808767 33554432000 4194304 9016284 140735004503008 140735004498392 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 815983 808767 543 1178 0 814801 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 3263932

[startup+1542.3 s]
/proc/loadavg: 1.00 1.03 1.34 2/169 1887
/proc/meminfo: memFree=25028500/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3337948 CPUtime=1542.01 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 829965 0 0 0 154065 136 0 0 20 0 1 0 340870860 3418058752 826813 33554432000 4194304 9016284 140735004503008 140735004498520 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 834487 826813 543 1178 0 833305 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 3337948

[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 1.32 2/169 1888
/proc/meminfo: memFree=24961328/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3406712 CPUtime=1602 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 846741 0 0 0 160060 140 0 0 20 0 1 0 340870860 3488473088 843656 33554432000 4194304 9016284 140735004503008 140735004498600 6480416 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 851678 843656 543 1178 0 850496 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 3406712

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.29 2/169 1888
/proc/meminfo: memFree=24892528/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3474068 CPUtime=1661.98 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 863702 0 0 0 166056 142 0 0 20 0 1 0 340870860 3557445632 860839 33554432000 4194304 9016284 140735004503008 140735004498600 5510757 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 868517 860839 543 1178 0 867335 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 3474068

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.27 2/169 1888
/proc/meminfo: memFree=24801788/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3561512 CPUtime=1721.97 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 885795 0 0 0 172051 146 0 0 20 0 1 0 340870860 3646988288 883052 33554432000 4194304 9016284 140735004503008 140735004498392 6480211 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 890378 883052 543 1178 0 889196 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 3561512

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.25 2/169 1888
/proc/meminfo: memFree=24749984/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3612592 CPUtime=1781.97 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 898590 0 0 0 178048 149 0 0 20 0 1 0 340870860 3699294208 895935 33554432000 4194304 9016284 140735004503008 140735004498600 5510757 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 903148 895935 543 1178 0 901966 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 3612592

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

[startup+1785.9 s]
/proc/loadavg: 1.00 1.01 1.25 2/169 1888
/proc/meminfo: memFree=24747132/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3617592 CPUtime=1785.57 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 899420 0 0 0 178407 150 0 0 20 0 1 0 340870860 3704414208 896765 33554432000 4194304 9016284 140735004503008 140735004498600 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 904398 896765 543 1178 0 903216 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (KiB) 3617592

[startup+1792.31 s]
/proc/loadavg: 1.00 1.01 1.25 2/169 1888
/proc/meminfo: memFree=24739428/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3625576 CPUtime=1791.97 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 901246 0 0 0 179047 150 0 0 20 0 1 0 340870860 3712589824 898599 33554432000 4194304 9016284 140735004503008 140735004498600 5510784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 906394 898599 543 1178 0 905212 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 3625576

[startup+1795.5 s]
/proc/loadavg: 1.00 1.01 1.25 2/169 1888
/proc/meminfo: memFree=24733848/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3629608 CPUtime=1795.17 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 902628 0 0 0 179367 150 0 0 20 0 1 0 340870860 3716718592 899981 33554432000 4194304 9016284 140735004503008 140735004498392 6480403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 907402 899981 543 1178 0 906220 0
Current children cumulated CPU time (s) 1795.17
Current children cumulated vsize (KiB) 3629608

[startup+1797.1 s]
/proc/loadavg: 1.00 1.01 1.25 2/169 1888
/proc/meminfo: memFree=24732856/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3630620 CPUtime=1796.76 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 902967 0 0 0 179526 150 0 0 20 0 1 0 340870860 3717754880 900320 33554432000 4194304 9016284 140735004503008 140735004498600 6480372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 907655 900320 543 1178 0 906473 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 3630620

[startup+1797.5 s]
/proc/loadavg: 1.00 1.01 1.25 2/169 1888
/proc/meminfo: memFree=24732856/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3615328 CPUtime=1797.17 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 903559 0 0 0 179566 151 0 0 20 0 1 0 340870860 3702095872 896699 33554432000 4194304 9016284 140735004503008 140735004498600 4895581 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 903832 896699 552 1178 0 902650 0
Current children cumulated CPU time (s) 1797.17
Current children cumulated vsize (KiB) 3615328

[startup+1797.7 s]
/proc/loadavg: 1.00 1.01 1.25 2/169 1888
/proc/meminfo: memFree=25088860/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=3270472 CPUtime=1797.36 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 903563 0 0 0 179583 153 0 0 20 0 1 0 340870860 3348963328 810846 33554432000 4194304 9016284 140735004503008 140735004498600 7933303 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 817618 810846 556 1178 0 816436 0
Current children cumulated CPU time (s) 1797.36
Current children cumulated vsize (KiB) 3270472

[startup+1797.81 s]
/proc/loadavg: 1.00 1.01 1.25 2/169 1888
/proc/meminfo: memFree=25088860/32873852 swapFree=7624/7624
[pid=1846] ppid=1843 vsize=2784692 CPUtime=1797.47 cores=0,2,4,6
/proc/1846/stat : 1846 (scip-2.0.1.4b_2) R 1843 1846 29314 0 -1 4202496 903572 0 0 0 179589 158 0 0 20 0 1 0 340870860 2851524608 208148 33554432000 4194304 9016284 140735004503008 140735004498600 8107690 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1846/statm: 696173 207642 565 1178 0 694991 0
Current children cumulated CPU time (s) 1797.47
Current children cumulated vsize (KiB) 2784692

Child status: 0
Real time (s): 1797.87
CPU time (s): 1797.54
CPU user time (s): 1795.89
CPU system time (s): 1.64975
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 3631840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.89
system time used= 1.64975
maximum resident set size= 3603636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 903577
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= 85
involuntary context switches= 1839

runsolver used 2.95455 second user time and 7.16091 second system time

The end

Launcher Data 

Begin job on node131 at 2012-06-03 20:17:34
IDJOB=3740515
IDBENCH=77627
IDSOLVER=2329
FILE ID=node131/3740515-1338747454
RUNJOBID= node131-1338713677-29330
PBS_JOBID= 14636738
Free space on /tmp= 71372 MiB

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

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

MD5SUM BENCH= 1d933df6a578d668cfefed05a131780d
RANDOM SEED=572490268

node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.805
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        25201388 kB
Buffers:          562620 kB
Cached:          3122368 kB
SwapCached:         2348 kB
Active:          4584988 kB
Inactive:        2212264 kB
Active(anon):    3108468 kB
Inactive(anon):     3664 kB
Active(file):    1476520 kB
Inactive(file):  2208600 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:             24088 kB
Writeback:             0 kB
AnonPages:       3159988 kB
Mapped:            16396 kB
Shmem:                 0 kB
Slab:             728812 kB
SReclaimable:     171168 kB
SUnreclaim:       557644 kB
KernelStack:        1464 kB
PageTables:        10320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:    3271328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:     53248 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71380 MiB
End job on node131 at 2012-06-03 20:47:32