Trace number 3453483

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12036_6.std.opb
MD5SUM9a4de5b537f1bb9f30a546c1477a84e4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark256
Best CPU time to get the best result obtained on this benchmark1800.09
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 constraints245234
Number of constraints which are clauses244034
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-3453483-1307119925.opb>
1.59/1.64	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245234 constraints
1.59/1.64	c problem read
1.59/1.64	c presolving settings loaded
2.39/2.49	c presolving:
8.81/8.89	c (round 1) 6155 del vars, 18065 del conss, 0 add conss, 4645 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16741278 impls, 0 clqs
11.49/11.52	c (round 2) 12332 del vars, 44937 del conss, 0 add conss, 10375 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16775433 impls, 0 clqs
12.29/12.37	c (round 3) 14554 del vars, 54941 del conss, 0 add conss, 11737 chg bounds, 12 chg sides, 14 chg coeffs, 0 upgd conss, 16791966 impls, 0 clqs
12.79/12.82	c (round 4) 15707 del vars, 59580 del conss, 0 add conss, 12493 chg bounds, 33 chg sides, 31 chg coeffs, 0 upgd conss, 16799619 impls, 0 clqs
12.99/13.09	c (round 5) 16478 del vars, 62557 del conss, 0 add conss, 12996 chg bounds, 39 chg sides, 36 chg coeffs, 0 upgd conss, 16805385 impls, 0 clqs
13.21/13.26	c (round 6) 16921 del vars, 64350 del conss, 0 add conss, 13274 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16808576 impls, 0 clqs
13.29/13.39	c (round 7) 17197 del vars, 65478 del conss, 0 add conss, 13457 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16811073 impls, 0 clqs
13.49/13.50	c (round 8) 17387 del vars, 66296 del conss, 0 add conss, 13594 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16813481 impls, 0 clqs
13.59/13.60	c (round 9) 17569 del vars, 66993 del conss, 0 add conss, 13732 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16814907 impls, 0 clqs
13.59/13.69	c (round 10) 17679 del vars, 67502 del conss, 0 add conss, 13819 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16816082 impls, 0 clqs
13.69/13.77	c (round 11) 17785 del vars, 67916 del conss, 0 add conss, 13895 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16816874 impls, 0 clqs
13.79/13.84	c (round 12) 17837 del vars, 68165 del conss, 0 add conss, 13935 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16817167 impls, 0 clqs
13.89/13.91	c (round 13) 17851 del vars, 68262 del conss, 0 add conss, 13942 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16817275 impls, 0 clqs
13.89/13.97	c (round 14) 17855 del vars, 68289 del conss, 0 add conss, 13944 chg bounds, 51 chg sides, 46 chg coeffs, 0 upgd conss, 16817289 impls, 0 clqs
14.69/14.71	c (round 15) 17855 del vars, 68295 del conss, 0 add conss, 13944 chg bounds, 51 chg sides, 46 chg coeffs, 176939 upgd conss, 16817289 impls, 0 clqs
15.69/15.71	c (round 16) 17855 del vars, 68301 del conss, 21 add conss, 13944 chg bounds, 80 chg sides, 224 chg coeffs, 176939 upgd conss, 16817937 impls, 2334 clqs
587.43/587.44	c    (587.4s) probing: 1000/54987 (1.8%) - 17 fixings, 8 aggregations, 12573817 implications, 0 bound changes
1156.43/1156.46	c    (1156.5s) probing: 2000/54987 (3.6%) - 17 fixings, 8 aggregations, 19529490 implications, 0 bound changes
1396.84/1396.91	c    (1396.9s) probing: 2490/54987 (4.5%) - 17 fixings, 8 aggregations, 22537296 implications, 0 bound changes
1396.84/1396.91	c    (1396.9s) probing aborted: 2000/2000 successive useless probings
1396.84/1396.91	c (round 17) 17880 del vars, 68301 del conss, 27 add conss, 13944 chg bounds, 86 chg sides, 254 chg coeffs, 176939 upgd conss, 98874329 impls, 2418 clqs
1397.64/1397.62	c (round 18) 17881 del vars, 68975 del conss, 27 add conss, 13944 chg bounds, 86 chg sides, 306 chg coeffs, 176939 upgd conss, 98874335 impls, 2418 clqs
1550.85/1550.86	c (round 19) 17931 del vars, 68976 del conss, 27 add conss, 13944 chg bounds, 86 chg sides, 307 chg coeffs, 176939 upgd conss, 103322723 impls, 2462 clqs
1555.15/1555.15	c (round 20) 17941 del vars, 69157 del conss, 27 add conss, 13944 chg bounds, 86 chg sides, 307 chg coeffs, 176939 upgd conss, 103561565 impls, 2462 clqs
1679.35/1679.35	c    (1679.4s) probing: 3000/54987 (5.5%) - 70 fixings, 20 aggregations, 25903351 implications, 0 bound changes
1800.06/1800.03	c    (1800.0s) probing: 3229/54987 (5.9%) - 77 fixings, 26 aggregations, 27869470 implications, 0 bound changes
1800.06/1800.03	c    (1800.0s) probing aborted: solving stopped
1800.06/1800.03	c (round 21) 17969 del vars, 69167 del conss, 27 add conss, 13944 chg bounds, 86 chg sides, 307 chg coeffs, 176939 upgd conss, 116056107 impls, 2462 clqs
1800.06/1800.03	c presolving (21 rounds):
1800.06/1800.03	c  17969 deleted vars, 69167 deleted constraints, 27 added constraints, 13944 tightened bounds, 0 added holes, 86 changed sides, 307 changed coefficients
1800.06/1800.03	c  116056107 implications, 2462 cliques
1800.06/1800.03	c presolving was interrupted.
1800.06/1800.03	c Presolving Time: 1798.16
1800.06/1800.03	c - non default parameters ----------------------------------------------------------------------
1800.06/1800.03	c # SCIP version 2.0.1.4
1800.06/1800.03	c 
1800.06/1800.03	c # frequency for displaying node information lines
1800.06/1800.03	c # [type: int, range: [-1,2147483647], default: 100]
1800.06/1800.03	c display/freq = 10000
1800.06/1800.03	c 
1800.06/1800.03	c # maximal time in seconds to run
1800.06/1800.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.06/1800.03	c limits/time = 1800
1800.06/1800.03	c 
1800.06/1800.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.06/1800.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.06/1800.03	c limits/memory = 13950
1800.06/1800.03	c 
1800.06/1800.03	c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.06/1800.03	c # [type: int, range: [1,2], default: 1]
1800.06/1800.03	c timing/clocktype = 2
1800.06/1800.03	c 
1800.06/1800.03	c # belongs reading time to solving time?
1800.06/1800.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.06/1800.03	c timing/reading = TRUE
1800.06/1800.03	c 
1800.06/1800.03	c # should presolving try to simplify inequalities
1800.06/1800.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.06/1800.03	c constraints/linear/simplifyinequalities = TRUE
1800.06/1800.03	c 
1800.06/1800.03	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.06/1800.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.06/1800.03	c constraints/indicator/addCouplingCons = TRUE
1800.06/1800.03	c 
1800.06/1800.03	c # should presolving try to simplify knapsacks
1800.06/1800.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.06/1800.03	c constraints/knapsack/simplifyinequalities = TRUE
1800.06/1800.03	c 
1800.06/1800.03	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.06/1800.03	c # [type: int, range: [-1,2147483647], default: -1]
1800.06/1800.03	c separating/rapidlearning/freq = 0
1800.06/1800.03	c 
1800.06/1800.03	c -----------------------------------------------------------------------------------------------
1800.06/1800.03	c start solving
1800.06/1800.07	c presolving:
1800.06/1800.07	c presolving (21 rounds):
1800.06/1800.07	c  17969 deleted vars, 69167 deleted constraints, 27 added constraints, 13944 tightened bounds, 0 added holes, 86 changed sides, 307 changed coefficients
1800.06/1800.07	c  116056107 implications, 2462 cliques
1800.06/1800.07	c presolving was interrupted.
1800.06/1800.07	c Presolving Time: 1798.20
1800.06/1800.07	c 
1800.06/1800.07	c SCIP Status        : solving was interrupted [time limit reached]
1800.06/1800.07	c Solving Time (sec) : 1800.07
1800.06/1800.07	c Solving Nodes      : 0
1800.06/1800.07	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.06/1800.07	s UNKNOWN
1800.06/1800.07	c SCIP Status        : solving was interrupted [time limit reached]
1800.06/1800.07	c Total Time         :    1800.07
1800.06/1800.07	c   solving          :    1800.07
1800.06/1800.07	c   presolving       :    1798.20 (included in solving)
1800.06/1800.07	c   reading          :       1.64 (included in solving)
1800.06/1800.07	c Original Problem   :
1800.06/1800.07	c   Problem name     : HOME/instance-3453483-1307119925.opb
1800.06/1800.07	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.07	c   Constraints      : 245234 initial, 245234 maximal
1800.06/1800.07	c Presolved Problem  :
1800.06/1800.07	c   Problem name     : t_HOME/instance-3453483-1307119925.opb
1800.06/1800.07	c   Variables        : 54873 (54873 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.07	c   Constraints      : 176094 initial, 176094 maximal
1800.06/1800.07	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.06/1800.07	c   trivial          :       0.06       1027          0          0          0          0          0          0          0          0
1800.06/1800.07	c   dualfix          :       0.10        122          0          0          0          0          0          0          0          0
1800.06/1800.07	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.06/1800.07	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.06/1800.07	c   implics          :       4.81          0         11          0          0          0          0          0          0          0
1800.06/1800.07	c   probing          :    1777.98         77         26          0          0          0          0          0          0          0
1800.06/1800.07	c   pseudoboolean    :       0.00          0          0          0          0          0          0          0          0          0
1800.06/1800.07	c   knapsack         :       2.40          0          0          0          0          0          0         27         35        261
1800.06/1800.07	c   setppc           :       0.45          0          0          0          0          0        857          0          0          0
1800.06/1800.07	c   linear           :      11.37      12917       3789          0      13944          0      68295          0         51         46
1800.06/1800.07	c   logicor          :       0.12          0          0          0          0          0         15          0          0          0
1800.06/1800.07	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.06/1800.07	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.07	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
1800.06/1800.07	c   pseudoboolean    :          0+         0          0          0          0          0          0          0          0          0          0          0
1800.06/1800.07	c   knapsack         :          0+         0     143519          0          0          0          0         13          0          0          0          0
1800.06/1800.07	c   setppc           :          0+         0     143506          0          0          0          0         18          0          0          0          0
1800.06/1800.07	c   linear           :          0+         0          0          0          0          0          0          0          0          0          0          0
1800.06/1800.07	c   logicor          :          0+         0     131315          0          0          0          0         22          0          0          0          0
1800.06/1800.07	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1800.06/1800.07	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.06/1800.07	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.06/1800.07	c   pseudoboolean    :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.06/1800.07	c   knapsack         :      11.41       0.00      11.41       0.00       0.00       0.00       0.00
1800.06/1800.07	c   setppc           :     859.26       0.00     859.26       0.00       0.00       0.00       0.00
1800.06/1800.07	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.06/1800.07	c   logicor          :      13.53       0.00      13.53       0.00       0.00       0.00       0.00
1800.06/1800.07	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.06/1800.07	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.06/1800.07	c   vbounds          :          0          0          0          0
1800.06/1800.07	c   rootredcost      :          0          0          0          0
1800.06/1800.07	c   pseudoobj        :          0          0          0          0
1800.06/1800.07	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.06/1800.07	c   vbounds          :       0.05       0.05       0.00
1800.06/1800.07	c   rootredcost      :       0.03       0.03       0.00
1800.06/1800.07	c   pseudoobj        :       0.03       0.03       0.00
1800.06/1800.07	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.07	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.07	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.07	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.07	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.07	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.07	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.06/1800.07	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.67/1800.69	c Time complete: 1800.76.

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

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.05 1.94 2/481 9673
/proc/meminfo: memFree=26972132/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=10788 CPUtime=0 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 1684 0 0 0 0 0 0 0 25 0 1 0 823594865 11046912 1637 33554432000 4194304 9128323 140735898239488 18446744073709551615 8012251 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9673/statm: 2697 1637 400 1205 0 1488 0

[startup+0.069335 s]
/proc/loadavg: 2.05 2.05 1.94 2/481 9673
/proc/meminfo: memFree=26972132/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=21828 CPUtime=0.06 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 4443 0 0 0 6 0 0 0 25 0 1 0 823594865 22351872 4395 33554432000 4194304 9128323 140735898239488 18446744073709551615 4216763 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9673/statm: 5457 4395 400 1205 0 4248 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 21828

[startup+0.100327 s]
/proc/loadavg: 2.05 2.05 1.94 2/481 9673
/proc/meminfo: memFree=26972132/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=27364 CPUtime=0.09 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 5858 0 0 0 9 0 0 0 25 0 1 0 823594865 28020736 5809 33554432000 4194304 9128323 140735898239488 18446744073709551615 6192144 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9673/statm: 6841 5809 400 1205 0 5632 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27364

[startup+0.300291 s]
/proc/loadavg: 2.05 2.05 1.94 2/481 9673
/proc/meminfo: memFree=26972132/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=50212 CPUtime=0.29 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 11587 0 0 0 28 1 0 0 25 0 1 0 823594865 51417088 11506 33554432000 4194304 9128323 140735898239488 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9673/statm: 12553 11506 400 1205 0 11344 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50212

[startup+0.700209 s]
/proc/loadavg: 2.05 2.05 1.94 2/481 9673
/proc/meminfo: memFree=26972132/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=68572 CPUtime=0.69 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 16162 0 0 0 67 2 0 0 25 0 1 0 823594865 70217728 16073 33554432000 4194304 9128323 140735898239488 18446744073709551615 8014614 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9673/statm: 17143 16073 400 1205 0 15934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68572

[startup+1.50103 s]
/proc/loadavg: 2.05 2.05 1.94 3/482 9674
/proc/meminfo: memFree=26820840/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=131012 CPUtime=1.5 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 31745 0 0 0 146 4 0 0 25 0 1 0 823594865 134156288 31640 33554432000 4194304 9128323 140735898239488 18446744073709551615 7952559 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9673/statm: 32753 31640 400 1205 0 31544 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 131012

[startup+3.10075 s]
/proc/loadavg: 2.05 2.05 1.94 3/482 9674
/proc/meminfo: memFree=26307108/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=471296 CPUtime=3.09 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 127355 0 0 0 295 14 0 0 25 0 1 0 823594865 482607104 114833 33554432000 4194304 9128323 140735898239488 18446744073709551615 5211616 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 117824 114833 501 1205 0 116615 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 471296

[startup+6.30115 s]
/proc/loadavg: 2.04 2.05 1.94 3/482 9675
/proc/meminfo: memFree=25617060/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=759892 CPUtime=6.29 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 198890 0 0 0 608 21 0 0 25 0 1 0 823594865 778129408 186368 33554432000 4194304 9128323 140735898239488 18446744073709551615 4352232 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 189973 186368 510 1205 0 188764 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 759892

[startup+12.7009 s]
/proc/loadavg: 2.04 2.05 1.94 3/482 9675
/proc/meminfo: memFree=25278212/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=892740 CPUtime=12.69 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 231020 0 0 0 1244 25 0 0 25 0 1 0 823594865 914165760 217516 33554432000 4194304 9128323 140735898239488 18446744073709551615 6594421 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 223185 217516 523 1205 0 221976 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 892740

[startup+25.5005 s]
/proc/loadavg: 2.03 2.05 1.94 3/482 9675
/proc/meminfo: memFree=25068284/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=986108 CPUtime=25.49 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 271398 0 0 0 2519 30 0 0 25 0 1 0 823594865 1009774592 239852 33554432000 4194304 9128323 140735898239488 18446744073709551615 6593146 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 246527 239852 623 1205 0 245318 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 986108

[startup+51.1006 s]
/proc/loadavg: 2.02 2.04 1.94 3/482 9676
/proc/meminfo: memFree=24965948/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=1040676 CPUtime=51.1 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 284358 0 0 0 5078 32 0 0 25 0 1 0 823594865 1065652224 252812 33554432000 4194304 9128323 140735898239488 18446744073709551615 6593104 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 260169 252812 623 1205 0 258960 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1040676

[startup+102.319 s]
/proc/loadavg: 2.01 2.03 1.94 3/482 9677
/proc/meminfo: memFree=24680756/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=1186180 CPUtime=102.31 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 320607 0 0 0 10195 36 0 0 25 0 1 0 823594865 1214648320 289061 33554432000 4194304 9128323 140735898239488 18446744073709551615 6589056 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 296545 289061 623 1205 0 295336 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1186180

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/482 9679
/proc/meminfo: memFree=24410408/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=1338088 CPUtime=162.29 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 358884 0 0 0 16189 40 0 0 25 0 1 0 823594865 1370202112 326612 33554432000 4194304 9128323 140735898239488 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 334522 326612 623 1205 0 333313 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1338088

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 1.94 3/482 9680
/proc/meminfo: memFree=23983208/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=1532516 CPUtime=222.3 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 406898 0 0 0 22183 47 0 0 25 0 1 0 823594865 1569296384 374428 33554432000 4194304 9128323 140735898239488 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 383129 374428 623 1205 0 381920 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1532516

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 1.94 3/482 9682
/proc/meminfo: memFree=23605848/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=1748072 CPUtime=282.3 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 460963 0 0 0 28177 53 0 0 25 0 1 0 823594865 1790025728 428493 33554432000 4194304 9128323 140735898239488 18446744073709551615 4207323 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 437018 428493 623 1205 0 435809 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1748072

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/482 9684
/proc/meminfo: memFree=23293592/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=1957216 CPUtime=342.3 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 511947 0 0 0 34171 59 0 0 25 0 1 0 823594865 2004189184 479477 33554432000 4194304 9128323 140735898239488 18446744073709551615 5488726 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 489304 479477 623 1205 0 488095 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1957216

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/482 9685
/proc/meminfo: memFree=23028200/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=2112924 CPUtime=402.3 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 550842 0 0 0 40167 63 0 0 25 0 1 0 823594865 2163634176 518372 33554432000 4194304 9128323 140735898239488 18446744073709551615 5488321 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 528231 518372 623 1205 0 527022 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2112924

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/482 9687
/proc/meminfo: memFree=22812032/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=2264060 CPUtime=462.31 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 589148 0 0 0 46163 68 0 0 25 0 1 0 823594865 2318397440 556678 33554432000 4194304 9128323 140735898239488 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 566015 556678 623 1205 0 564806 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2264060

[startup+522.301 s]
/proc/loadavg: 2.17 2.04 1.96 3/482 9688
/proc/meminfo: memFree=22610120/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=2345640 CPUtime=522.31 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 609494 0 0 0 52160 71 0 0 25 0 1 0 823594865 2401935360 577024 33554432000 4194304 9128323 140735898239488 18446744073709551615 5488303 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 586410 577024 623 1205 0 585201 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2345640

[startup+582.301 s]
/proc/loadavg: 2.06 2.03 1.96 3/482 9699
/proc/meminfo: memFree=22289760/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=2521036 CPUtime=582.31 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 652020 0 0 0 58154 77 0 0 25 0 1 0 823594865 2581540864 619550 33554432000 4194304 9128323 140735898239488 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 630259 619550 623 1205 0 629050 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2521036

[startup+642.3 s]

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

[startup+942.301 s]
/proc/loadavg: 2.00 2.01 1.96 3/482 9711
/proc/meminfo: memFree=21415472/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=3047132 CPUtime=942.32 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 783086 0 0 0 94138 94 0 0 25 0 1 0 823594865 3120263168 750616 33554432000 4194304 9128323 140735898239488 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 761783 750616 627 1205 0 760574 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 3047132

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/482 9713
/proc/meminfo: memFree=21338564/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=3088040 CPUtime=1002.33 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 793760 0 0 0 100138 95 0 0 25 0 1 0 823594865 3162152960 761290 33554432000 4194304 9128323 140735898239488 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 772010 761290 627 1205 0 770801 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 3088040

[startup+1062.3 s]
/proc/loadavg: 2.19 2.06 1.98 3/482 9715
/proc/meminfo: memFree=20992576/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=3136996 CPUtime=1062.33 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 806240 0 0 0 106136 97 0 0 25 0 1 0 823594865 3212283904 773770 33554432000 4194304 9128323 140735898239488 18446744073709551615 4831541 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 784249 773770 627 1205 0 783040 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 3136996

[startup+1122.3 s]
/proc/loadavg: 2.07 2.05 1.98 3/482 9716
/proc/meminfo: memFree=20928196/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=3180276 CPUtime=1122.33 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 817042 0 0 0 112135 98 0 0 25 0 1 0 823594865 3256602624 784572 33554432000 4194304 9128323 140735898239488 18446744073709551615 5488723 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 795069 784572 627 1205 0 793860 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 3180276

[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/482 9718
/proc/meminfo: memFree=20874108/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=3232072 CPUtime=1182.33 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 829916 0 0 0 118133 100 0 0 25 0 1 0 823594865 3309641728 797446 33554432000 4194304 9128323 140735898239488 18446744073709551615 5489947 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 808018 797446 627 1205 0 806809 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3232072

[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/482 9720
/proc/meminfo: memFree=20804992/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=3280948 CPUtime=1242.34 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 840910 0 0 0 124133 101 0 0 25 0 1 0 823594865 3359690752 808440 33554432000 4194304 9128323 140735898239488 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 820237 808440 627 1205 0 819028 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 3280948

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/482 9721
/proc/meminfo: memFree=20775336/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=3324108 CPUtime=1302.35 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 852564 0 0 0 130133 102 0 0 25 0 1 0 823594865 3403886592 820094 33554432000 4194304 9128323 140735898239488 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 831027 820094 627 1205 0 829818 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 3324108

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/482 9723
/proc/meminfo: memFree=20718016/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=3401696 CPUtime=1362.34 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 870997 0 0 0 136130 104 0 0 25 0 1 0 823594865 3483336704 838527 33554432000 4194304 9128323 140735898239488 18446744073709551615 6593127 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 850424 838527 627 1205 0 849215 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3401696

[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.98 3/482 9724
/proc/meminfo: memFree=20658216/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=3442828 CPUtime=1422.36 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 882098 0 0 0 142130 106 0 0 25 0 1 0 823594865 3525455872 849628 33554432000 4194304 9128323 140735898239488 18446744073709551615 6593131 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 860707 849628 627 1205 0 859498 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 3442828

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/482 9726
/proc/meminfo: memFree=20619104/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=3483304 CPUtime=1482.35 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 891991 0 0 0 148127 108 0 0 25 0 1 0 823594865 3566903296 859521 33554432000 4194304 9128323 140735898239488 18446744073709551615 6593423 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 870826 859521 627 1205 0 869617 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 3483304

[startup+1542.3 s]
/proc/loadavg: 2.13 2.03 2.00 4/482 9728
/proc/meminfo: memFree=20551496/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=3549276 CPUtime=1542.35 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 908703 0 0 0 154124 111 0 0 25 0 1 0 823594865 3634458624 876233 33554432000 4194304 9128323 140735898239488 18446744073709551615 6593104 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 887319 876233 627 1205 0 886110 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 3549276

[startup+1602.3 s]
/proc/loadavg: 2.15 2.05 2.00 3/482 9729
/proc/meminfo: memFree=20506572/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=3595008 CPUtime=1602.35 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 919843 0 0 0 160122 113 0 0 25 0 1 0 823594865 3681288192 887373 33554432000 4194304 9128323 140735898239488 18446744073709551615 6580881 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 898752 887373 627 1205 0 897543 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 3595008

[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/482 9731
/proc/meminfo: memFree=20434508/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=3667492 CPUtime=1662.35 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 937792 0 0 0 166120 115 0 0 25 0 1 0 823594865 3755511808 905322 33554432000 4194304 9128323 140735898239488 18446744073709551615 6593150 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 916873 905322 627 1205 0 915664 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 3667492

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/482 9732
/proc/meminfo: memFree=20318652/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=3793428 CPUtime=1722.36 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 968241 0 0 0 172116 120 0 0 25 0 1 0 823594865 3884470272 935771 33554432000 4194304 9128323 140735898239488 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 948357 935771 627 1205 0 947148 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 3793428

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 9734
/proc/meminfo: memFree=20194644/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=3910072 CPUtime=1782.36 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 997321 0 0 0 178113 123 0 0 25 0 1 0 823594865 4003913728 964851 33554432000 4194304 9128323 140735898239488 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 977518 964851 627 1205 0 976309 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 3910072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/483 9735
/proc/meminfo: memFree=20169696/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=3932588 CPUtime=1800.06 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 1003422 0 0 0 179883 123 0 0 25 0 1 0 823594865 4026970112 970952 33554432000 4194304 9128323 140735898239488 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9673/statm: 983147 970952 627 1205 0 981938 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3932588

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/483 9735
/proc/meminfo: memFree=20169696/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=3931032 CPUtime=1800.26 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 1004485 0 0 0 179902 124 0 0 18 0 1 0 823594865 4025376768 970702 33554432000 4194304 9128323 140735898239488 18446744073709551615 4518684 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9673/statm: 982758 970702 636 1205 0 981549 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 3931032

[startup+1800.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 9736
/proc/meminfo: memFree=21588372/32951124 swapFree=38422276/67111528
[pid=9673] ppid=9671 vsize=2628456 CPUtime=1800.67 cores=0,2,4,6
/proc/9673/stat : 9673 (scip-2.0.1.4.li) R 9671 9673 7545 0 -1 4202496 1004508 0 0 0 179937 130 0 0 18 0 1 0 823594865 2691538944 563567 33554432000 4194304 9128323 140735898239488 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9673/statm: 657114 563064 659 1205 0 655905 0
Current children cumulated CPU time (s) 1800.67
Current children cumulated vsize (KiB) 2628456

Child status: 0
Real time (s): 1800.7
CPU time (s): 1800.76
CPU user time (s): 1799.37
CPU system time (s): 1.39079
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 3934300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 1.39079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1004510
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= 8
involuntary context switches= 1107

runsolver used 9.05462 second user time and 19.408 second system time

The end

Launcher Data 

Begin job on node102 at 2011-06-03 18:52:05
IDJOB=3453483
IDBENCH=77476
IDSOLVER=1949
FILE ID=node102/3453483-1307119925
RUNJOBID= node102-1307118122-9549
PBS_JOBID= 13498005
Free space on /tmp= 73892 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-j12036_6.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-3453483-1307119925/watcher-3453483-1307119925 -o /tmp/evaluation-result-3453483-1307119925/solver-3453483-1307119925 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453483-1307119925.opb -t 1800 -m 15500

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

MD5SUM BENCH= 9a4de5b537f1bb9f30a546c1477a84e4
RANDOM SEED=1677022138

node102.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.828
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.65
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.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
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.828
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.82
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.828
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.75
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.828
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.82
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.828
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.828
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.82
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.828
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:      26972412 kB
Buffers:        309500 kB
Cached:        1604128 kB
SwapCached:      86940 kB
Active:         922424 kB
Inactive:      4753584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26972412 kB
SwapTotal:    67111528 kB
SwapFree:     38422276 kB
Dirty:           39392 kB
Writeback:          28 kB
AnonPages:     3697152 kB
Mapped:          15172 kB
Slab:           134176 kB
PageTables:      99632 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 135511184 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= 73880 MiB
End job on node102 at 2011-06-03 19:22:07