Trace number 3489744

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.76 1797.72

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12036_9.std.opb
MD5SUMf9e2cf223f1ee9af03cb36930da0d262
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark249
Best CPU time to get the best result obtained on this benchmark1800.12
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 constraints245455
Number of constraints which are clauses244255
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 constraint120
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-3489744-1307791885.opb>
1.29/1.37	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245455 constraints
1.29/1.37	c problem read
1.29/1.37	c presolving settings loaded
1.79/1.85	c presolving:
9.69/9.79	c (round 1) 6712 del vars, 19813 del conss, 0 add conss, 5155 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16584408 impls, 0 clqs
13.59/13.64	c (round 2) 13395 del vars, 47679 del conss, 0 add conss, 11451 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16617703 impls, 0 clqs
14.99/15.00	c (round 3) 15630 del vars, 58332 del conss, 0 add conss, 12795 chg bounds, 23 chg sides, 45 chg coeffs, 0 upgd conss, 16632241 impls, 0 clqs
15.69/15.70	c (round 4) 16783 del vars, 62879 del conss, 0 add conss, 13474 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16640375 impls, 0 clqs
16.19/16.23	c (round 5) 17590 del vars, 65936 del conss, 0 add conss, 14012 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16648618 impls, 0 clqs
16.59/16.65	c (round 6) 18204 del vars, 68297 del conss, 0 add conss, 14421 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16655341 impls, 0 clqs
16.99/17.07	c (round 7) 18878 del vars, 70599 del conss, 0 add conss, 14870 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16661380 impls, 0 clqs
17.29/17.35	c (round 8) 19335 del vars, 72461 del conss, 0 add conss, 15174 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16665877 impls, 0 clqs
17.49/17.56	c (round 9) 19680 del vars, 73757 del conss, 0 add conss, 15369 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16669878 impls, 0 clqs
17.69/17.74	c (round 10) 19930 del vars, 74797 del conss, 0 add conss, 15528 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16673642 impls, 0 clqs
17.79/17.89	c (round 11) 20121 del vars, 75518 del conss, 0 add conss, 15661 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16675582 impls, 0 clqs
17.99/18.01	c (round 12) 20255 del vars, 76117 del conss, 0 add conss, 15747 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16677399 impls, 0 clqs
18.09/18.10	c (round 13) 20353 del vars, 76519 del conss, 0 add conss, 15818 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16678425 impls, 0 clqs
18.09/18.19	c (round 14) 20395 del vars, 76725 del conss, 0 add conss, 15843 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16678715 impls, 0 clqs
18.19/18.27	c (round 15) 20415 del vars, 76827 del conss, 0 add conss, 15857 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16678757 impls, 0 clqs
18.89/18.94	c (round 16) 20415 del vars, 76848 del conss, 0 add conss, 15857 chg bounds, 36 chg sides, 67 chg coeffs, 168607 upgd conss, 16678757 impls, 0 clqs
19.79/19.89	c (round 17) 20415 del vars, 76849 del conss, 14 add conss, 15857 chg bounds, 56 chg sides, 210 chg coeffs, 168607 upgd conss, 16679393 impls, 7331 clqs
773.60/773.67	c    (773.7s) probing: 1000/52427 (1.9%) - 29 fixings, 13 aggregations, 11775840 implications, 0 bound changes
1465.23/1465.29	c    (1465.3s) probing: 2000/52427 (3.8%) - 29 fixings, 13 aggregations, 19337832 implications, 0 bound changes
1658.43/1658.46	c    (1658.5s) probing: 2341/52427 (4.5%) - 29 fixings, 13 aggregations, 21507041 implications, 0 bound changes
1658.43/1658.46	c    (1658.5s) probing aborted: 2000/2000 successive useless probings
1658.43/1658.46	c (round 18) 20457 del vars, 76849 del conss, 14 add conss, 15857 chg bounds, 58 chg sides, 224 chg coeffs, 168607 upgd conss, 99355379 impls, 7611 clqs
1659.63/1659.62	c (round 19) 20463 del vars, 77706 del conss, 14 add conss, 15857 chg bounds, 58 chg sides, 304 chg coeffs, 168607 upgd conss, 99355493 impls, 7611 clqs
1797.02/1797.05	c    (1797.0s) probing: 2498/52427 (4.8%) - 49 fixings, 24 aggregations, 22267606 implications, 0 bound changes
1797.02/1797.05	c    (1797.0s) probing aborted: solving stopped
1797.02/1797.05	c (round 20) 20494 del vars, 77712 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 312 chg coeffs, 168607 upgd conss, 101625223 impls, 7678 clqs
1797.02/1797.05	c presolving (20 rounds):
1797.02/1797.05	c  20494 deleted vars, 77712 deleted constraints, 15 added constraints, 15857 tightened bounds, 0 added holes, 59 changed sides, 312 changed coefficients
1797.02/1797.05	c  101625223 implications, 7678 cliques
1797.02/1797.05	c presolving was interrupted.
1797.02/1797.05	c Presolving Time: 1795.33
1797.02/1797.05	c - non default parameters ----------------------------------------------------------------------
1797.02/1797.05	c # SCIP version 2.0.1.5
1797.02/1797.05	c 
1797.02/1797.05	c # frequency for displaying node information lines
1797.02/1797.05	c # [type: int, range: [-1,2147483647], default: 100]
1797.02/1797.05	c display/freq = 10000
1797.02/1797.05	c 
1797.02/1797.05	c # maximal time in seconds to run
1797.02/1797.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.02/1797.05	c limits/time = 1797
1797.02/1797.05	c 
1797.02/1797.05	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.02/1797.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.02/1797.05	c limits/memory = 13950
1797.02/1797.05	c 
1797.02/1797.05	c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.02/1797.05	c # [type: int, range: [1,2], default: 1]
1797.02/1797.05	c timing/clocktype = 2
1797.02/1797.05	c 
1797.02/1797.05	c # belongs reading time to solving time?
1797.02/1797.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.02/1797.05	c timing/reading = TRUE
1797.02/1797.05	c 
1797.02/1797.05	c # should presolving try to simplify inequalities
1797.02/1797.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.02/1797.05	c constraints/linear/simplifyinequalities = TRUE
1797.02/1797.05	c 
1797.02/1797.05	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.02/1797.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.02/1797.05	c constraints/indicator/addCouplingCons = TRUE
1797.02/1797.05	c 
1797.02/1797.05	c # should presolving try to simplify knapsacks
1797.02/1797.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.02/1797.05	c constraints/knapsack/simplifyinequalities = TRUE
1797.02/1797.05	c 
1797.02/1797.05	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.02/1797.05	c # [type: int, range: [-1,2147483647], default: -1]
1797.02/1797.05	c separating/rapidlearning/freq = 0
1797.02/1797.05	c 
1797.02/1797.05	c -----------------------------------------------------------------------------------------------
1797.02/1797.05	c start solving
1797.02/1797.09	c presolving:
1797.02/1797.09	c presolving (20 rounds):
1797.02/1797.09	c  20494 deleted vars, 77712 deleted constraints, 15 added constraints, 15857 tightened bounds, 0 added holes, 59 changed sides, 312 changed coefficients
1797.02/1797.09	c  101625223 implications, 7678 cliques
1797.02/1797.09	c presolving was interrupted.
1797.02/1797.09	c Presolving Time: 1795.37
1797.02/1797.09	c 
1797.02/1797.09	c SCIP Status        : solving was interrupted [time limit reached]
1797.02/1797.09	c Solving Time (sec) : 1797.09
1797.02/1797.09	c Solving Nodes      : 0
1797.02/1797.09	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.02/1797.09	s UNKNOWN
1797.02/1797.09	c SCIP Status        : solving was interrupted [time limit reached]
1797.02/1797.09	c Total Time         :    1797.09
1797.02/1797.09	c   solving          :    1797.09
1797.02/1797.09	c   presolving       :    1795.37 (included in solving)
1797.02/1797.09	c   reading          :       1.37 (included in solving)
1797.02/1797.09	c Original Problem   :
1797.02/1797.09	c   Problem name     : HOME/instance-3489744-1307791885.opb
1797.02/1797.09	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.09	c   Constraints      : 245455 initial, 245455 maximal
1797.02/1797.09	c Presolved Problem  :
1797.02/1797.09	c   Problem name     : t_HOME/instance-3489744-1307791885.opb
1797.02/1797.09	c   Variables        : 52348 (52348 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.09	c   Constraints      : 167758 initial, 167758 maximal
1797.02/1797.09	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.02/1797.09	c   trivial          :       0.06       1071          0          0          0          0          0          0          0          0
1797.02/1797.09	c   dualfix          :       0.09        120          0          0          0          0          0          0          0          0
1797.02/1797.09	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1797.02/1797.09	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1797.02/1797.09	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1797.02/1797.09	c   implics          :       1.35          0          6          0          0          0          0          0          0          0
1797.02/1797.09	c   probing          :    1775.20         49         24          0          0          0          0          0          0          0
1797.02/1797.09	c   knapsack         :       1.57          0          0          0          0          0          0         15         23        245
1797.02/1797.09	c   setppc           :       0.36          0          0          0          0          0        859          0          0          0
1797.02/1797.09	c   linear           :      16.23      14786       4438          0      15857          0      76848          0         36         67
1797.02/1797.09	c   logicor          :       0.09          0          0          0          0          0          5          0          0          0
1797.02/1797.09	c   root node        :          -          0          -          -          0          -          -          -          -          -
1797.02/1797.09	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1797.02/1797.09	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
1797.02/1797.09	c   knapsack         :          0+         0     114208          0          0          0          0         11          0          0          0          0
1797.02/1797.09	c   setppc           :          0+         0     114197          0          0          0          0          9          0          0          0          0
1797.02/1797.09	c   linear           :          0+         0          0          0          0          0          0          0          0          0          0          0
1797.02/1797.09	c   logicor          :          0+         0     103991          0          0          0          0         17          0          0          0          0
1797.02/1797.09	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1797.02/1797.09	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1797.02/1797.09	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.02/1797.09	c   knapsack         :       9.24       0.00       9.24       0.00       0.00       0.00       0.00
1797.02/1797.09	c   setppc           :     708.00       0.00     708.00       0.00       0.00       0.00       0.00
1797.02/1797.09	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.02/1797.09	c   logicor          :       9.01       0.00       9.01       0.00       0.00       0.00       0.00
1797.02/1797.09	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.02/1797.09	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1797.02/1797.09	c   vbounds          :          0          0          0          0
1797.02/1797.09	c   rootredcost      :          0          0          0          0
1797.02/1797.09	c   pseudoobj        :          0          0          0          0
1797.02/1797.09	c Propagator Timings :  TotalTime  Propagate    Resprop
1797.02/1797.09	c   vbounds          :       0.05       0.05       0.00
1797.02/1797.09	c   rootredcost      :       0.03       0.03       0.00
1797.02/1797.09	c   pseudoobj        :       0.02       0.02       0.00
1797.02/1797.09	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.02/1797.09	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1797.02/1797.09	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.02/1797.09	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.02/1797.09	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.02/1797.09	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.02/1797.09	c   applied globally :          -          -          -          0        0.0          -          -          -
1797.02/1797.09	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.73/1797.72	c Time complete: 1797.75.

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-3489744-1307791885/watcher-3489744-1307791885 -o /tmp/evaluation-result-3489744-1307791885/solver-3489744-1307791885 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489744-1307791885.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: 1.00 1.18 1.56 3/174 7251
/proc/meminfo: memFree=31403928/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=12880 CPUtime=0 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 2223 0 0 0 0 0 0 0 21 0 1 0 871604818 13189120 2177 33554432000 4194304 9016284 140736891353392 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7251/statm: 3220 2179 360 1178 0 2038 0

[startup+0.085598 s]
/proc/loadavg: 1.00 1.18 1.56 3/174 7251
/proc/meminfo: memFree=31403928/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=28912 CPUtime=0.07 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 6229 0 0 0 7 0 0 0 21 0 1 0 871604818 29605888 6183 33554432000 4194304 9016284 140736891353392 18446744073709551615 4445963 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7251/statm: 7228 6183 360 1178 0 6046 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 28912

[startup+0.100592 s]
/proc/loadavg: 1.00 1.18 1.56 3/174 7251
/proc/meminfo: memFree=31403928/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=32396 CPUtime=0.09 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 7099 0 0 0 9 0 0 0 21 0 1 0 871604818 33173504 7053 33554432000 4194304 9016284 140736891353392 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7251/statm: 8099 7053 360 1178 0 6917 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32396

[startup+0.300584 s]
/proc/loadavg: 1.00 1.18 1.56 3/174 7251
/proc/meminfo: memFree=31403928/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=60172 CPUtime=0.29 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 13956 0 0 0 28 1 0 0 22 0 1 0 871604818 61616128 13910 33554432000 4194304 9016284 140736891353392 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7251/statm: 15043 13941 360 1178 0 13861 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60172

[startup+0.700515 s]
/proc/loadavg: 1.00 1.18 1.56 3/174 7251
/proc/meminfo: memFree=31403928/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=88832 CPUtime=0.69 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 21209 0 0 0 67 2 0 0 24 0 1 0 871604818 90963968 21163 33554432000 4194304 9016284 140736891353392 18446744073709551615 7870478 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7251/statm: 22208 21163 360 1178 0 21026 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88832

[startup+1.50038 s]
/proc/loadavg: 1.00 1.18 1.56 3/178 7255
/proc/meminfo: memFree=31170824/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=259868 CPUtime=1.49 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 63700 0 0 0 142 7 0 0 25 0 1 0 871604818 266104832 63579 33554432000 4194304 9016284 140736891353392 18446744073709551615 6813403 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7251/statm: 64967 63605 406 1178 0 63785 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 259868

[startup+3.10109 s]
/proc/loadavg: 1.00 1.18 1.56 3/178 7255
/proc/meminfo: memFree=30608980/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=511976 CPUtime=3.09 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 125590 0 0 0 296 13 0 0 25 0 1 0 871604818 524263424 125469 33554432000 4194304 9016284 140736891353392 18446744073709551615 7875499 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7251/statm: 127994 125469 485 1178 0 126812 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 511976

[startup+6.30048 s]
/proc/loadavg: 1.08 1.19 1.57 4/178 7255
/proc/meminfo: memFree=30080456/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=726740 CPUtime=6.29 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 178850 0 0 0 611 18 0 0 25 0 1 0 871604818 744181760 178729 33554432000 4194304 9016284 140736891353392 18446744073709551615 6480256 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7251/statm: 181685 178729 485 1178 0 180503 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 726740

[startup+12.7003 s]
/proc/loadavg: 1.15 1.20 1.57 3/178 7255
/proc/meminfo: memFree=29662104/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=878740 CPUtime=12.69 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 214503 0 0 0 1247 22 0 0 25 0 1 0 871604818 899829760 214125 33554432000 4194304 9016284 140736891353392 18446744073709551615 6481206 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7251/statm: 219685 214125 496 1178 0 218503 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 878740

[startup+25.5011 s]
/proc/loadavg: 1.34 1.24 1.57 4/178 7255
/proc/meminfo: memFree=29525176/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=956856 CPUtime=25.49 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 247362 0 0 0 2524 25 0 0 25 0 1 0 871604818 979820544 232878 33554432000 4194304 9016284 140736891353392 18446744073709551615 6480201 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7251/statm: 239214 232878 557 1178 0 238032 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 956856

[startup+51.1005 s]
/proc/loadavg: 1.56 1.30 1.58 4/178 7256
/proc/meminfo: memFree=29458216/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=986696 CPUtime=51.09 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 254344 0 0 0 5084 25 0 0 25 0 1 0 871604818 1010376704 239794 33554432000 4194304 9016284 140736891353392 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 246674 239794 557 1178 0 245492 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 986696

[startup+102.306 s]
/proc/loadavg: 1.81 1.41 1.60 3/178 7257
/proc/meminfo: memFree=29315732/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=1052748 CPUtime=102.3 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 270345 0 0 0 10202 28 0 0 25 0 1 0 871604818 1078013952 255795 33554432000 4194304 9016284 140736891353392 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 263187 255795 557 1178 0 262005 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1052748

[startup+162.301 s]
/proc/loadavg: 1.93 1.51 1.63 4/178 7259
/proc/meminfo: memFree=29018212/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=1173792 CPUtime=162.29 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 300695 0 0 0 16198 31 0 0 25 0 1 0 871604818 1201963008 286145 33554432000 4194304 9016284 140736891353392 18446744073709551615 5512282 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 293448 286145 557 1178 0 292266 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1173792

[startup+222.301 s]
/proc/loadavg: 2.09 1.63 1.66 4/178 7261
/proc/meminfo: memFree=28721324/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=1282612 CPUtime=222.29 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 327653 0 0 0 22194 35 0 0 25 0 1 0 871604818 1313394688 313004 33554432000 4194304 9016284 140736891353392 18446744073709551615 6480364 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 320653 313004 557 1178 0 319471 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1282612

[startup+282.301 s]
/proc/loadavg: 2.03 1.69 1.67 3/178 7262
/proc/meminfo: memFree=28427896/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=1375720 CPUtime=282.29 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 350682 0 0 0 28191 38 0 0 25 0 1 0 871604818 1408737280 336033 33554432000 4194304 9016284 140736891353392 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 343930 336033 557 1178 0 342748 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1375720

[startup+342.3 s]
/proc/loadavg: 2.01 1.75 1.69 3/178 7264
/proc/meminfo: memFree=28140308/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=1564484 CPUtime=342.3 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 397289 0 0 0 34186 44 0 0 25 0 1 0 871604818 1602031616 382640 33554432000 4194304 9016284 140736891353392 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 391121 382640 557 1178 0 389939 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1564484

[startup+402.301 s]
/proc/loadavg: 2.00 1.79 1.71 4/178 7265
/proc/meminfo: memFree=27917072/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=1683872 CPUtime=402.3 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 426599 0 0 0 40183 47 0 0 25 0 1 0 871604818 1724284928 411950 33554432000 4194304 9016284 140736891353392 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 420968 411950 557 1178 0 419786 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1683872

[startup+462.301 s]
/proc/loadavg: 2.00 1.83 1.73 4/178 7267
/proc/meminfo: memFree=27693584/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=1785968 CPUtime=462.3 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 452033 0 0 0 46180 50 0 0 25 0 1 0 871604818 1828831232 437384 33554432000 4194304 9016284 140736891353392 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 446492 437384 557 1178 0 445310 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1785968

[startup+522.3 s]
/proc/loadavg: 2.00 1.85 1.74 3/178 7269
/proc/meminfo: memFree=27439104/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=1878544 CPUtime=522.3 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 474532 0 0 0 52176 54 0 0 25 0 1 0 871604818 1923629056 459883 33554432000 4194304 9016284 140736891353392 18446744073709551615 4919271 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 469636 459883 557 1178 0 468454 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1878544

[startup+582.301 s]
/proc/loadavg: 2.00 1.88 1.75 4/178 7270
/proc/meminfo: memFree=27197896/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=1984548 CPUtime=582.31 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 501627 0 0 0 58172 59 0 0 25 0 1 0 871604818 2032177152 486978 33554432000 4194304 9016284 140736891353392 18446744073709551615 6480241 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 496137 486978 557 1178 0 494955 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1984548

[startup+642.301 s]

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

/proc/meminfo: memFree=25658464/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=2763512 CPUtime=1062.31 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 694747 0 0 0 106142 89 0 0 25 0 1 0 871604818 2829836288 680098 33554432000 4194304 9016284 140736891353392 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 690878 680098 562 1178 0 689696 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2763512

[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.84 4/178 7285
/proc/meminfo: memFree=25541008/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=2811488 CPUtime=1122.31 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 706725 0 0 0 112140 91 0 0 25 0 1 0 871604818 2878963712 692076 33554432000 4194304 9016284 140736891353392 18446744073709551615 6480201 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 702872 692076 562 1178 0 701690 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2811488

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.85 3/178 7286
/proc/meminfo: memFree=25410404/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=2902552 CPUtime=1182.32 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 729266 0 0 0 118137 95 0 0 25 0 1 0 871604818 2972213248 714617 33554432000 4194304 9016284 140736891353392 18446744073709551615 6480180 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 725638 714617 562 1178 0 724456 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2902552

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.85 4/178 7288
/proc/meminfo: memFree=25283636/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=2966480 CPUtime=1242.32 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 744789 0 0 0 124135 97 0 0 25 0 1 0 871604818 3037675520 730140 33554432000 4194304 9016284 140736891353392 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 741620 730140 562 1178 0 740438 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2966480

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.86 4/178 7289
/proc/meminfo: memFree=25155272/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=3008268 CPUtime=1302.33 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 755876 0 0 0 130134 99 0 0 25 0 1 0 871604818 3080466432 741227 33554432000 4194304 9016284 140736891353392 18446744073709551615 4889380 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 752067 741227 562 1178 0 750885 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3008268

[startup+1362.3 s]
/proc/loadavg: 2.08 2.00 1.88 4/178 7291
/proc/meminfo: memFree=24777896/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=3069132 CPUtime=1362.32 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 770945 0 0 0 136131 101 0 0 25 0 1 0 871604818 3142791168 756296 33554432000 4194304 9016284 140736891353392 18446744073709551615 5510885 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 767283 756296 562 1178 0 766101 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3069132

[startup+1422.31 s]
/proc/loadavg: 2.03 2.00 1.88 3/178 7293
/proc/meminfo: memFree=24700112/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=3134416 CPUtime=1422.32 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 787431 0 0 0 142130 102 0 0 25 0 1 0 871604818 3209641984 772782 33554432000 4194304 9016284 140736891353392 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 783604 772782 562 1178 0 782422 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 3134416

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.89 4/178 7294
/proc/meminfo: memFree=24632628/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=3199040 CPUtime=1482.33 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 803022 0 0 0 148129 104 0 0 25 0 1 0 871604818 3275816960 788373 33554432000 4194304 9016284 140736891353392 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 799760 788373 562 1178 0 798578 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3199040

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.89 4/178 7296
/proc/meminfo: memFree=24578148/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=3248284 CPUtime=1542.33 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 815420 0 0 0 154128 105 0 0 25 0 1 0 871604818 3326242816 800771 33554432000 4194304 9016284 140736891353392 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 812071 800771 562 1178 0 810889 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3248284

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 7297
/proc/meminfo: memFree=24508928/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=3307148 CPUtime=1602.32 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 830528 0 0 0 160125 107 0 0 25 0 1 0 871604818 3386519552 815879 33554432000 4194304 9016284 140736891353392 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 826787 815879 562 1178 0 825605 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3307148

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 7299
/proc/meminfo: memFree=24446016/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=3371912 CPUtime=1662.33 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 845741 0 0 0 166123 110 0 0 25 0 1 0 871604818 3452837888 831092 33554432000 4194304 9016284 140736891353392 18446744073709551615 4889096 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 842978 831092 562 1178 0 841796 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3371912

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 7301
/proc/meminfo: memFree=24413136/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=3401448 CPUtime=1722.33 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 853803 0 0 0 172122 111 0 0 25 0 1 0 871604818 3483082752 839154 33554432000 4194304 9016284 140736891353392 18446744073709551615 6480433 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 850362 839154 562 1178 0 849180 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3401448

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 7311
/proc/meminfo: memFree=24373320/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=3429032 CPUtime=1782.33 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 860640 0 0 0 178121 112 0 0 25 0 1 0 871604818 3511328768 845991 33554432000 4194304 9016284 140736891353392 18446744073709551615 6480201 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 857258 845991 562 1178 0 856076 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3429032

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 7311
/proc/meminfo: memFree=24358876/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=3430024 CPUtime=1785.53 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 860990 0 0 0 178441 112 0 0 25 0 1 0 871604818 3512344576 846341 33554432000 4194304 9016284 140736891353392 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 857506 846341 562 1178 0 856324 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 3430024

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 7312
/proc/meminfo: memFree=24353704/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=3434584 CPUtime=1791.93 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 862304 0 0 0 179081 112 0 0 25 0 1 0 871604818 3517014016 847655 33554432000 4194304 9016284 140736891353392 18446744073709551615 6480412 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 858646 847655 562 1178 0 857464 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 3434584

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 7312
/proc/meminfo: memFree=24351968/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=3436352 CPUtime=1795.13 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 862746 0 0 0 179401 112 0 0 25 0 1 0 871604818 3518824448 848097 33554432000 4194304 9016284 140736891353392 18446744073709551615 6476010 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 859088 848097 562 1178 0 857906 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 3436352

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 7312
/proc/meminfo: memFree=24351844/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=3436352 CPUtime=1796.73 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 862772 0 0 0 179561 112 0 0 25 0 1 0 871604818 3518824448 848123 33554432000 4194304 9016284 140736891353392 18446744073709551615 6480379 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7251/statm: 859088 848123 562 1178 0 857906 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 3436352

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 7312
/proc/meminfo: memFree=24359036/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=3128528 CPUtime=1797.53 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 863682 0 0 0 179639 114 0 0 25 0 1 0 871604818 3203612672 771824 33554432000 4194304 9016284 140736891353392 18446744073709551615 4911664 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7251/statm: 782132 771824 575 1178 0 780950 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 3128528

[startup+1797.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 7312
/proc/meminfo: memFree=24359036/32951124 swapFree=67050916/67111528
[pid=7251] ppid=7248 vsize=2508980 CPUtime=1797.73 cores=0,2,4,6
/proc/7251/stat : 7251 (scip-2.0.1.4b_2) R 7248 7251 4338 0 -1 4202496 863691 0 0 0 179648 125 0 0 25 0 1 0 871604818 2569195520 131075 33554432000 4194304 9016284 140736891353392 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7251/statm: 627245 130569 584 1178 0 626063 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 2508980

Child status: 0
Real time (s): 1797.72
CPU time (s): 1797.76
CPU user time (s): 1796.48
CPU system time (s): 1.27281
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3436352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.48
system time used= 1.27281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 863696
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 3266

runsolver used 2.98955 second user time and 6.78397 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-11 13:31:25
IDJOB=3489744
IDBENCH=77068
IDSOLVER=1979
FILE ID=node146/3489744-1307791885
RUNJOBID= node146-1307791885-7226
PBS_JOBID= 13550873
Free space on /tmp= 74076 MiB

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

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

MD5SUM BENCH= f9e2cf223f1ee9af03cb36930da0d262
RANDOM SEED=1098277674

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:      31404892 kB
Buffers:        302716 kB
Cached:        1017872 kB
SwapCached:      14576 kB
Active:         622828 kB
Inactive:       716656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31404892 kB
SwapTotal:    67111528 kB
SwapFree:     67050916 kB
Dirty:           49740 kB
Writeback:           0 kB
AnonPages:       16096 kB
Mapped:           8596 kB
Slab:           142704 kB
PageTables:       4712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185276 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= 74040 MiB
End job on node146 at 2011-06-11 14:01:23