Trace number 3453469

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 SCIP 2.0.1.4. with SoPlex 1.5.0.4? (TO) 1800.27 1800.36

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12016_2.std.opb
MD5SUMcccd345daea74d5d7e187f797768ed88
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark263
Best CPU time to get the best result obtained on this benchmark1800.08
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 constraints234174
Number of constraints which are clauses232974
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.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3453469-1307118425.opb>
1.49/1.57	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234174 constraints
1.49/1.57	c problem read
1.49/1.57	c presolving settings loaded
2.39/2.40	c presolving:
8.39/8.49	c (round 1) 4989 del vars, 15107 del conss, 0 add conss, 3397 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15995960 impls, 0 clqs
11.19/11.25	c (round 2) 13023 del vars, 41242 del conss, 0 add conss, 11114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16034190 impls, 0 clqs
12.00/12.02	c (round 3) 15798 del vars, 53921 del conss, 0 add conss, 12723 chg bounds, 12 chg sides, 23 chg coeffs, 0 upgd conss, 16049347 impls, 1 clqs
12.29/12.35	c (round 4) 16871 del vars, 58273 del conss, 0 add conss, 13376 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16055855 impls, 1 clqs
12.49/12.51	c (round 5) 17354 del vars, 60336 del conss, 0 add conss, 13625 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16059677 impls, 1 clqs
12.59/12.63	c (round 6) 17571 del vars, 61247 del conss, 0 add conss, 13756 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16061618 impls, 1 clqs
12.69/12.71	c (round 7) 17663 del vars, 61671 del conss, 0 add conss, 13804 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16062405 impls, 1 clqs
12.69/12.78	c (round 8) 17715 del vars, 61894 del conss, 0 add conss, 13830 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063007 impls, 1 clqs
12.79/12.85	c (round 9) 17745 del vars, 62029 del conss, 0 add conss, 13848 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063265 impls, 1 clqs
12.89/12.91	c (round 10) 17759 del vars, 62105 del conss, 0 add conss, 13855 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063543 impls, 1 clqs
12.89/12.96	c (round 11) 17769 del vars, 62151 del conss, 0 add conss, 13862 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063564 impls, 1 clqs
13.59/13.67	c (round 12) 17769 del vars, 62159 del conss, 0 add conss, 13862 chg bounds, 18 chg sides, 29 chg coeffs, 172015 upgd conss, 16063564 impls, 1 clqs
14.60/14.69	c (round 13) 17769 del vars, 62170 del conss, 35 add conss, 13862 chg bounds, 65 chg sides, 266 chg coeffs, 172015 upgd conss, 16064800 impls, 799 clqs
15.10/15.15	c (round 14) 17769 del vars, 62175 del conss, 46 add conss, 13862 chg bounds, 89 chg sides, 351 chg coeffs, 172015 upgd conss, 16064800 impls, 857 clqs
585.31/585.40	c    (585.4s) probing: 1000/55073 (1.8%) - 19 fixings, 0 aggregations, 11484602 implications, 0 bound changes
1054.82/1054.97	c    (1055.0s) probing: 2000/55073 (3.6%) - 19 fixings, 0 aggregations, 17569872 implications, 0 bound changes
1130.50/1130.69	c    (1130.7s) probing: 2161/55073 (3.9%) - 19 fixings, 0 aggregations, 18477249 implications, 0 bound changes
1130.50/1130.69	c    (1130.7s) probing aborted: 2000/2000 successive useless probings
1130.50/1130.69	c (round 15) 17788 del vars, 62178 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 371 chg coeffs, 172015 upgd conss, 78972094 impls, 860 clqs
1131.40/1131.50	c (round 16) 17789 del vars, 63416 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 430 chg coeffs, 172015 upgd conss, 78976546 impls, 860 clqs
1248.31/1248.47	c (round 17) 17839 del vars, 63417 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 431 chg coeffs, 172015 upgd conss, 82139904 impls, 872 clqs
1249.52/1249.67	c (round 18) 17849 del vars, 63613 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 431 chg coeffs, 172015 upgd conss, 82140082 impls, 872 clqs
1429.91/1430.07	c (round 19) 17911 del vars, 63622 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 431 chg coeffs, 172015 upgd conss, 91485208 impls, 872 clqs
1430.69/1430.87	c (round 20) 17915 del vars, 63836 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 431 chg coeffs, 172015 upgd conss, 91487456 impls, 872 clqs
1554.10/1554.26	c    (1554.3s) probing: 3000/55073 (5.4%) - 121 fixings, 41 aggregations, 24770429 implications, 0 bound changes
1799.99/1800.13	c    (1800.1s) probing: 3558/55073 (6.5%) - 129 fixings, 44 aggregations, 31390998 implications, 0 bound changes
1799.99/1800.13	c    (1800.1s) probing aborted: solving stopped
1799.99/1800.13	c (round 21) 17957 del vars, 63840 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 431 chg coeffs, 172015 upgd conss, 114991132 impls, 872 clqs
1799.99/1800.13	c presolving (21 rounds):
1799.99/1800.13	c  17957 deleted vars, 63840 deleted constraints, 52 added constraints, 13862 tightened bounds, 0 added holes, 95 changed sides, 431 changed coefficients
1799.99/1800.13	c  114991132 implications, 872 cliques
1799.99/1800.13	c presolving was interrupted.
1799.99/1800.13	c Presolving Time: 1798.33
1799.99/1800.13	c - non default parameters ----------------------------------------------------------------------
1799.99/1800.13	c # SCIP version 2.0.1.4
1799.99/1800.13	c 
1799.99/1800.13	c # frequency for displaying node information lines
1799.99/1800.13	c # [type: int, range: [-1,2147483647], default: 100]
1799.99/1800.13	c display/freq = 10000
1799.99/1800.13	c 
1799.99/1800.13	c # maximal time in seconds to run
1799.99/1800.13	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1799.99/1800.13	c limits/time = 1800
1799.99/1800.13	c 
1799.99/1800.13	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1799.99/1800.13	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1799.99/1800.13	c limits/memory = 13950
1799.99/1800.13	c 
1799.99/1800.13	c # default clock type (1: CPU user seconds, 2: wall clock time)
1799.99/1800.13	c # [type: int, range: [1,2], default: 1]
1799.99/1800.13	c timing/clocktype = 2
1799.99/1800.13	c 
1799.99/1800.13	c # belongs reading time to solving time?
1799.99/1800.13	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.99/1800.13	c timing/reading = TRUE
1799.99/1800.13	c 
1799.99/1800.13	c # should presolving try to simplify inequalities
1799.99/1800.13	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.99/1800.13	c constraints/linear/simplifyinequalities = TRUE
1799.99/1800.13	c 
1799.99/1800.13	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1799.99/1800.13	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.99/1800.13	c constraints/indicator/addCouplingCons = TRUE
1799.99/1800.13	c 
1799.99/1800.13	c # should presolving try to simplify knapsacks
1799.99/1800.13	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1799.99/1800.13	c constraints/knapsack/simplifyinequalities = TRUE
1799.99/1800.13	c 
1799.99/1800.13	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1799.99/1800.13	c # [type: int, range: [-1,2147483647], default: -1]
1799.99/1800.13	c separating/rapidlearning/freq = 0
1799.99/1800.13	c 
1799.99/1800.13	c -----------------------------------------------------------------------------------------------
1799.99/1800.13	c start solving
1799.99/1800.16	c presolving:
1799.99/1800.16	c presolving (21 rounds):
1799.99/1800.16	c  17957 deleted vars, 63840 deleted constraints, 52 added constraints, 13862 tightened bounds, 0 added holes, 95 changed sides, 431 changed coefficients
1799.99/1800.16	c  114991132 implications, 872 cliques
1799.99/1800.16	c presolving was interrupted.
1799.99/1800.16	c Presolving Time: 1798.37
1799.99/1800.16	c 
1799.99/1800.16	c SCIP Status        : solving was interrupted [time limit reached]
1799.99/1800.16	c Solving Time (sec) : 1800.17
1799.99/1800.16	c Solving Nodes      : 0
1799.99/1800.16	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1799.99/1800.16	s UNKNOWN
1799.99/1800.16	c SCIP Status        : solving was interrupted [time limit reached]
1799.99/1800.16	c Total Time         :    1800.17
1799.99/1800.16	c   solving          :    1800.17
1799.99/1800.17	c   presolving       :    1798.37 (included in solving)
1799.99/1800.17	c   reading          :       1.57 (included in solving)
1799.99/1800.17	c Original Problem   :
1799.99/1800.17	c   Problem name     : HOME/instance-3453469-1307118425.opb
1799.99/1800.17	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.99/1800.17	c   Constraints      : 234174 initial, 234174 maximal
1799.99/1800.17	c Presolved Problem  :
1799.99/1800.17	c   Problem name     : t_HOME/instance-3453469-1307118425.opb
1799.99/1800.17	c   Variables        : 54885 (54885 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.99/1800.17	c   Constraints      : 170386 initial, 170386 maximal
1799.99/1800.17	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1799.99/1800.17	c   trivial          :       0.07       1263          0          0          0          0          0          0          0          0
1799.99/1800.17	c   dualfix          :       0.10        120          0          0          0          0          0          0          0          0
1799.99/1800.17	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1799.99/1800.17	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1799.99/1800.17	c   implics          :       2.13          0         14          0          0          0          0          0          0          0
1799.99/1800.17	c   probing          :    1781.00        129         44          0          0          0          0          0          0          0
1799.99/1800.17	c   pseudoboolean    :       0.00          0          0          0          0          0          0          0          0          0
1799.99/1800.17	c   knapsack         :       2.77          0          0          0          0          0          1         52         77        402
1799.99/1800.17	c   setppc           :       0.67          1          0          0          0          0       1651          0          0          0
1799.99/1800.17	c   linear           :      10.57      12599       3787          0      13862          0      62159          0         18         29
1799.99/1800.17	c   logicor          :       0.19          0          0          0          0          0         29          0          0          0
1799.99/1800.17	c   root node        :          -          0          -          -          0          -          -          -          -          -
1799.99/1800.17	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1799.99/1800.17	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
1799.99/1800.17	c   pseudoboolean    :          0+         0          0          0          0          0          0          0          0          0          0          0
1799.99/1800.17	c   knapsack         :          0+         0     149438          0          0          0          0         27          0          0          0          0
1799.99/1800.17	c   setppc           :          0+         0     149411          0          0          0          0         35          0          0          0          0
1799.99/1800.17	c   linear           :          0+         0          0          0          0          0          0          0          0          0          0          0
1799.99/1800.17	c   logicor          :          0+         0     136577          0          0          0          0         33          0          0          0          0
1799.99/1800.17	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1799.99/1800.17	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1799.99/1800.17	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1799.99/1800.17	c   pseudoboolean    :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1799.99/1800.17	c   knapsack         :      12.04       0.00      12.04       0.00       0.00       0.00       0.00
1799.99/1800.17	c   setppc           :     852.07       0.00     852.07       0.00       0.00       0.00       0.00
1799.99/1800.17	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1799.99/1800.17	c   logicor          :      14.19       0.00      14.19       0.00       0.00       0.00       0.00
1799.99/1800.17	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1799.99/1800.17	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1799.99/1800.17	c   vbounds          :          0          0          0          0
1799.99/1800.17	c   rootredcost      :          0          0          0          0
1799.99/1800.17	c   pseudoobj        :          0          0          0          0
1799.99/1800.17	c Propagator Timings :  TotalTime  Propagate    Resprop
1799.99/1800.17	c   vbounds          :       0.06       0.06       0.00
1799.99/1800.17	c   rootredcost      :       0.02       0.02       0.00
1799.99/1800.17	c   pseudoobj        :       0.04       0.04       0.00
1799.99/1800.17	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1799.99/1800.17	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1799.99/1800.17	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1799.99/1800.17	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1799.99/1800.17	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1799.99/1800.17	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1799.99/1800.17	c   applied globally :          -          -          -          0        0.0          -          -          -
1799.99/1800.17	c   applied locally  :          -          -          -          0        0.0          -          -          -

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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


[startup+0 s]
/proc/loadavg: 1.93 2.02 1.99 2/535 11397
/proc/meminfo: memFree=24291104/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=11572 CPUtime=0 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 1880 0 0 0 0 0 0 0 25 0 1 0 804258797 11849728 1833 33554432000 4194304 9128323 140735586893504 18446744073709551615 4338640 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11397/statm: 2893 1837 400 1205 0 1684 0

[startup+0.0847449 s]
/proc/loadavg: 1.93 2.02 1.99 2/535 11397
/proc/meminfo: memFree=24291104/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=25320 CPUtime=0.08 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 5313 0 0 0 8 0 0 0 25 0 1 0 804258797 25927680 5264 33554432000 4194304 9128323 140735586893504 18446744073709551615 8008915 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11397/statm: 6330 5264 400 1205 0 5121 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25320

[startup+0.100735 s]
/proc/loadavg: 1.93 2.02 1.99 2/535 11397
/proc/meminfo: memFree=24291104/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=27368 CPUtime=0.09 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 5859 0 0 0 9 0 0 0 25 0 1 0 804258797 28024832 5810 33554432000 4194304 9128323 140735586893504 18446744073709551615 8011616 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11397/statm: 6842 5810 400 1205 0 5633 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27368

[startup+0.300704 s]
/proc/loadavg: 1.93 2.02 1.99 2/535 11397
/proc/meminfo: memFree=24291104/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=50216 CPUtime=0.29 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 11588 0 0 0 29 0 0 0 25 0 1 0 804258797 51421184 11507 33554432000 4194304 9128323 140735586893504 18446744073709551615 8008895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11397/statm: 12554 11507 400 1205 0 11345 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50216

[startup+0.700629 s]
/proc/loadavg: 1.93 2.02 1.99 2/535 11397
/proc/meminfo: memFree=24291104/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=68576 CPUtime=0.69 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 16163 0 0 0 68 1 0 0 25 0 1 0 804258797 70221824 16074 33554432000 4194304 9128323 140735586893504 18446744073709551615 6165260 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11397/statm: 17144 16074 400 1205 0 15935 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68576

[startup+1.5005 s]
/proc/loadavg: 1.93 2.02 1.99 3/536 11398
/proc/meminfo: memFree=24203676/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=130200 CPUtime=1.49 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 31611 0 0 0 146 3 0 0 25 0 1 0 804258797 133324800 31507 33554432000 4194304 9128323 140735586893504 18446744073709551615 6191598 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11397/statm: 32550 31507 400 1205 0 31341 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 130200

[startup+3.10021 s]
/proc/loadavg: 1.93 2.02 1.99 3/536 11398
/proc/meminfo: memFree=23939804/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=476256 CPUtime=3.09 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 126112 0 0 0 296 13 0 0 25 0 1 0 804258797 487686144 115754 33554432000 4194304 9128323 140735586893504 18446744073709551615 4352201 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 119064 115754 501 1205 0 117855 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 476256

[startup+6.30063 s]
/proc/loadavg: 1.94 2.02 1.99 3/536 11398
/proc/meminfo: memFree=23597748/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=769636 CPUtime=6.29 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 198015 0 0 0 607 22 0 0 25 0 1 0 804258797 788107264 187657 33554432000 4194304 9128323 140735586893504 18446744073709551615 6593146 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 192409 187657 510 1205 0 191200 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 769636

[startup+12.7005 s]
/proc/loadavg: 1.94 2.02 1.99 3/536 11398
/proc/meminfo: memFree=23412796/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=875480 CPUtime=12.69 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 224509 0 0 0 1244 25 0 0 25 0 1 0 804258797 896491520 213009 33554432000 4194304 9128323 140735586893504 18446744073709551615 5968137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 218870 213009 523 1205 0 217661 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 875480

[startup+25.5012 s]
/proc/loadavg: 1.95 2.02 1.99 3/536 11399
/proc/meminfo: memFree=23261312/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=1006124 CPUtime=25.49 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 269688 0 0 0 2520 29 0 0 25 0 1 0 804258797 1030270976 244389 33554432000 4194304 9128323 140735586893504 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 251531 244389 658 1205 0 250322 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1006124

[startup+51.1006 s]
/proc/loadavg: 1.97 2.02 1.99 3/536 11399
/proc/meminfo: memFree=23152856/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=1060024 CPUtime=51.09 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 282412 0 0 0 5079 30 0 0 25 0 1 0 804258797 1085464576 257080 33554432000 4194304 9128323 140735586893504 18446744073709551615 5131520 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 265006 257080 658 1205 0 263797 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1060024

[startup+102.32 s]
/proc/loadavg: 2.04 2.03 2.00 3/536 11401
/proc/meminfo: memFree=22777232/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=1210208 CPUtime=102.31 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 319428 0 0 0 10196 35 0 0 25 0 1 0 804258797 1239252992 294096 33554432000 4194304 9128323 140735586893504 18446744073709551615 6593138 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 302552 294096 658 1205 0 301343 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1210208

[startup+162.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/536 11402
/proc/meminfo: memFree=22446984/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=1323656 CPUtime=162.29 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 348013 0 0 0 16191 38 0 0 25 0 1 0 804258797 1355423744 322483 33554432000 4194304 9128323 140735586893504 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 330914 322483 658 1205 0 329705 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1323656

[startup+222.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/536 11404
/proc/meminfo: memFree=22048160/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=1517104 CPUtime=222.29 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 396638 0 0 0 22185 44 0 0 25 0 1 0 804258797 1553514496 370745 33554432000 4194304 9128323 140735586893504 18446744073709551615 4785234 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 379276 370745 658 1205 0 378067 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1517104

[startup+282.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/536 11405
/proc/meminfo: memFree=21710464/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=1717556 CPUtime=282.21 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 445936 0 0 0 28172 49 0 0 25 0 1 0 804258797 1758777344 420010 33554432000 4194304 9128323 140735586893504 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 429389 420010 658 1205 0 428180 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1717556

[startup+342.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/536 11407
/proc/meminfo: memFree=21360008/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=1888740 CPUtime=342.21 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 488908 0 0 0 34167 54 0 0 25 0 1 0 804258797 1934069760 462982 33554432000 4194304 9128323 140735586893504 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 472185 462982 658 1205 0 470976 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1888740

[startup+402.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 11409
/proc/meminfo: memFree=21148672/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=2001176 CPUtime=402.22 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 516376 0 0 0 40163 59 0 0 25 0 1 0 804258797 2049204224 490450 33554432000 4194304 9128323 140735586893504 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 500294 490450 658 1205 0 499085 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 2001176

[startup+462.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 11410
/proc/meminfo: memFree=20867036/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=2093220 CPUtime=462.22 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 539321 0 0 0 46160 62 0 0 25 0 1 0 804258797 2143457280 513395 33554432000 4194304 9128323 140735586893504 18446744073709551615 5488340 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 523305 513395 658 1205 0 522096 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 2093220

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11412
/proc/meminfo: memFree=20682720/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=2219588 CPUtime=522.21 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 570908 0 0 0 52154 67 0 0 25 0 1 0 804258797 2272858112 544982 33554432000 4194304 9128323 140735586893504 18446744073709551615 5132790 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 554897 544982 658 1205 0 553688 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2219588

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11413
/proc/meminfo: memFree=20425388/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=2358656 CPUtime=582.21 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 606277 0 0 0 58149 72 0 0 25 0 1 0 804258797 2415263744 580087 33554432000 4194304 9128323 140735586893504 18446744073709551615 5489961 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 589664 580087 658 1205 0 588455 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 2358656

[startup+642.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/536 11421
/proc/meminfo: memFree=19669344/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=2714492 CPUtime=882.21 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 693665 0 0 0 88136 85 0 0 25 0 1 0 804258797 2779639808 667475 33554432000 4194304 9128323 140735586893504 18446744073709551615 4221266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 678623 667475 662 1205 0 677414 0
Current children cumulated CPU time (s) 882.21
Current children cumulated vsize (KiB) 2714492

[startup+942.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/536 11423
/proc/meminfo: memFree=19556436/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=2767516 CPUtime=942.2 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 706593 0 0 0 94133 87 0 0 25 0 1 0 804258797 2833936384 680403 33554432000 4194304 9128323 140735586893504 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 691879 680403 662 1205 0 690670 0
Current children cumulated CPU time (s) 942.2
Current children cumulated vsize (KiB) 2767516

[startup+1002.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 11425
/proc/meminfo: memFree=19425320/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=2821016 CPUtime=1002.2 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 720570 0 0 0 100130 90 0 0 25 0 1 0 804258797 2888720384 694380 33554432000 4194304 9128323 140735586893504 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 705254 694380 662 1205 0 704045 0
Current children cumulated CPU time (s) 1002.2
Current children cumulated vsize (KiB) 2821016

[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 11426
/proc/meminfo: memFree=19315152/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=2877480 CPUtime=1062.2 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 733366 0 0 0 106129 91 0 0 25 0 1 0 804258797 2946539520 707176 33554432000 4194304 9128323 140735586893504 18446744073709551615 4831502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 719370 707176 662 1205 0 718161 0
Current children cumulated CPU time (s) 1062.2
Current children cumulated vsize (KiB) 2877480

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11428
/proc/meminfo: memFree=19203604/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=2923736 CPUtime=1122.2 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 745904 0 0 0 112127 93 0 0 25 0 1 0 804258797 2993905664 719714 33554432000 4194304 9128323 140735586893504 18446744073709551615 5489958 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 730934 719714 662 1205 0 729725 0
Current children cumulated CPU time (s) 1122.2
Current children cumulated vsize (KiB) 2923736

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11429
/proc/meminfo: memFree=19080664/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=2966072 CPUtime=1182.2 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 757477 0 0 0 118126 94 0 0 25 0 1 0 804258797 3037257728 731287 33554432000 4194304 9128323 140735586893504 18446744073709551615 6593107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 741518 731287 662 1205 0 740309 0
Current children cumulated CPU time (s) 1182.2
Current children cumulated vsize (KiB) 2966072

[startup+1242.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/536 11431
/proc/meminfo: memFree=18974820/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=3021376 CPUtime=1242.2 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 771039 0 0 0 124124 96 0 0 25 0 1 0 804258797 3093889024 744849 33554432000 4194304 9128323 140735586893504 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 755344 744849 662 1205 0 754135 0
Current children cumulated CPU time (s) 1242.2
Current children cumulated vsize (KiB) 3021376

[startup+1302.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/536 11433
/proc/meminfo: memFree=18859684/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=3071680 CPUtime=1302.21 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 783486 0 0 0 130123 98 0 0 25 0 1 0 804258797 3145400320 757296 33554432000 4194304 9128323 140735586893504 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 767920 757296 662 1205 0 766711 0
Current children cumulated CPU time (s) 1302.21
Current children cumulated vsize (KiB) 3071680

[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/536 11434
/proc/meminfo: memFree=18713568/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=3146164 CPUtime=1362.19 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 801606 0 0 0 136119 100 0 0 25 0 1 0 804258797 3221671936 775416 33554432000 4194304 9128323 140735586893504 18446744073709551615 6710427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 786541 775416 662 1205 0 785332 0
Current children cumulated CPU time (s) 1362.19
Current children cumulated vsize (KiB) 3146164

[startup+1422.32 s]
/proc/loadavg: 2.07 2.05 2.01 3/536 11436
/proc/meminfo: memFree=18541516/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=3259832 CPUtime=1422.21 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 829537 0 0 0 142118 103 0 0 25 0 1 0 804258797 3338067968 803347 33554432000 4194304 9128323 140735586893504 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 814958 803347 662 1205 0 813749 0
Current children cumulated CPU time (s) 1422.21
Current children cumulated vsize (KiB) 3259832

[startup+1482.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/536 11437
/proc/meminfo: memFree=18392924/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=3353788 CPUtime=1482.2 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 853077 0 0 0 148113 107 0 0 25 0 1 0 804258797 3434278912 826887 33554432000 4194304 9128323 140735586893504 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 838447 826887 662 1205 0 837238 0
Current children cumulated CPU time (s) 1482.2
Current children cumulated vsize (KiB) 3353788

[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 11439
/proc/meminfo: memFree=18226704/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=3465032 CPUtime=1542.19 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 881222 0 0 0 154108 111 0 0 25 0 1 0 804258797 3548192768 855032 33554432000 4194304 9128323 140735586893504 18446744073709551615 4793997 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 866258 855032 662 1205 0 865049 0
Current children cumulated CPU time (s) 1542.19
Current children cumulated vsize (KiB) 3465032

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 11441
/proc/meminfo: memFree=18067808/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=3552936 CPUtime=1602.19 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 903131 0 0 0 160104 115 0 0 25 0 1 0 804258797 3638206464 876941 33554432000 4194304 9128323 140735586893504 18446744073709551615 4794246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 888234 876941 662 1205 0 887025 0
Current children cumulated CPU time (s) 1602.19
Current children cumulated vsize (KiB) 3552936

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11442
/proc/meminfo: memFree=17892432/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=3687044 CPUtime=1662.19 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 936370 0 0 0 166099 120 0 0 25 0 1 0 804258797 3775533056 910180 33554432000 4194304 9128323 140735586893504 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 921761 910180 662 1205 0 920552 0
Current children cumulated CPU time (s) 1662.19
Current children cumulated vsize (KiB) 3687044

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11444
/proc/meminfo: memFree=17721880/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=3810164 CPUtime=1722.2 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 966689 0 0 0 172096 124 0 0 25 0 1 0 804258797 3901607936 940499 33554432000 4194304 9128323 140735586893504 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 952541 940499 662 1205 0 951332 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 3810164

[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/536 11445
/proc/meminfo: memFree=17566828/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=3910676 CPUtime=1782.2 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 991716 0 0 0 178093 127 0 0 25 0 1 0 804258797 4004532224 965526 33554432000 4194304 9128323 140735586893504 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11397/statm: 977669 965526 662 1205 0 976460 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 3910676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.2 s]
/proc/loadavg: 1.81 1.98 1.99 2/530 11464
/proc/meminfo: memFree=21311140/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=3948888 CPUtime=1800.1 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4202496 1001775 0 0 0 179882 128 0 0 25 0 1 0 804258797 4043661312 975089 33554432000 4194304 9128323 140735586893504 18446744073709551615 4338306 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11397/statm: 987222 975089 671 1205 0 986013 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3948888

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.32 s]
/proc/loadavg: 1.81 1.98 1.99 2/530 11464
/proc/meminfo: memFree=21311140/32951124 swapFree=46970528/67111528
[pid=11397] ppid=11395 vsize=0 CPUtime=1800.21 cores=1,3,5,7
/proc/11397/stat : 11397 (scip-2.0.1.4.li) R 11395 11397 9437 0 -1 4203524 1001775 0 0 0 179883 138 0 0 25 0 1 0 804258797 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/11397/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.36
CPU time (s): 1800.27
CPU user time (s): 1798.84
CPU system time (s): 1.42978
CPU usage (%): 99.9946
Max. virtual memory (cumulated for all children) (KiB): 3948888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.84
system time used= 1.42978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1001775
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= 4
involuntary context switches= 1606

runsolver used 8.86165 second user time and 22.3686 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-03 18:27:05
IDJOB=3453469
IDBENCH=77150
IDSOLVER=1949
FILE ID=node146/3453469-1307118425
RUNJOBID= node146-1307110617-10544
PBS_JOBID= 13498003
Free space on /tmp= 73700 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12016_2.std.opb
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453469-1307118425/watcher-3453469-1307118425 -o /tmp/evaluation-result-3453469-1307118425/solver-3453469-1307118425 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453469-1307118425.opb -t 1800 -m 15500

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

MD5SUM BENCH= cccd345daea74d5d7e187f797768ed88
RANDOM SEED=1650959870

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:      24291384 kB
Buffers:        112476 kB
Cached:         262632 kB
SwapCached:      60160 kB
Active:        1147548 kB
Inactive:      7268664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24291384 kB
SwapTotal:    67111528 kB
SwapFree:     46970528 kB
Dirty:           39328 kB
Writeback:           0 kB
AnonPages:     7991700 kB
Mapped:          18692 kB
Slab:            74816 kB
PageTables:      99220 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 161618724 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= 73708 MiB
End job on node146 at 2011-06-03 18:57:08