Trace number 3451821

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4? (TO) 1800.87 1800.8

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1202_7.std.opb
MD5SUMb130221e75850bec93c0e7e2b657d220
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark90
Best CPU time to get the best result obtained on this benchmark1.63675
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 constraints234464
Number of constraints which are clauses233264
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 constraint32
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.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-3451821-1307119553.opb>
1.49/1.52	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234464 constraints
1.49/1.52	c problem read
1.49/1.52	c presolving settings loaded
1.89/1.95	c presolving:
7.89/7.99	c (round 1) 4472 del vars, 13310 del conss, 0 add conss, 3093 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16053708 impls, 0 clqs
10.29/10.37	c (round 2) 10509 del vars, 35638 del conss, 0 add conss, 8780 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16079537 impls, 0 clqs
11.01/11.07	c (round 3) 12671 del vars, 45320 del conss, 0 add conss, 10059 chg bounds, 66 chg sides, 31 chg coeffs, 0 upgd conss, 16093246 impls, 0 clqs
11.39/11.47	c (round 4) 13691 del vars, 49363 del conss, 0 add conss, 10748 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16099378 impls, 0 clqs
11.59/11.68	c (round 5) 14222 del vars, 51574 del conss, 0 add conss, 11082 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16101685 impls, 0 clqs
11.69/11.79	c (round 6) 14511 del vars, 52717 del conss, 0 add conss, 11210 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16104408 impls, 0 clqs
11.79/11.89	c (round 7) 14651 del vars, 53342 del conss, 0 add conss, 11308 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16105466 impls, 0 clqs
11.89/11.97	c (round 8) 14735 del vars, 53702 del conss, 0 add conss, 11366 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16106000 impls, 0 clqs
12.01/12.04	c (round 9) 14793 del vars, 53934 del conss, 0 add conss, 11407 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16106400 impls, 0 clqs
12.11/12.11	c (round 10) 14841 del vars, 54118 del conss, 0 add conss, 11437 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16106862 impls, 0 clqs
12.11/12.18	c (round 11) 14877 del vars, 54273 del conss, 0 add conss, 11459 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16107256 impls, 0 clqs
12.19/12.24	c (round 12) 14897 del vars, 54367 del conss, 0 add conss, 11470 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16107340 impls, 0 clqs
12.19/12.29	c (round 13) 14897 del vars, 54391 del conss, 0 add conss, 11470 chg bounds, 77 chg sides, 47 chg coeffs, 0 upgd conss, 16107340 impls, 0 clqs
12.89/12.96	c (round 14) 14897 del vars, 54391 del conss, 0 add conss, 11470 chg bounds, 77 chg sides, 47 chg coeffs, 180073 upgd conss, 16107340 impls, 0 clqs
13.29/13.36	c (round 15) 14897 del vars, 54391 del conss, 17 add conss, 11470 chg bounds, 100 chg sides, 203 chg coeffs, 180073 upgd conss, 16110238 impls, 3651 clqs
13.59/13.62	c (round 16) 14897 del vars, 54395 del conss, 23 add conss, 11470 chg bounds, 110 chg sides, 238 chg coeffs, 180073 upgd conss, 16110586 impls, 3943 clqs
606.32/606.37	c    (606.4s) probing: 1000/57945 (1.7%) - 11 fixings, 1 aggregations, 10839532 implications, 0 bound changes
1084.73/1084.73	c    (1084.7s) probing: 2000/57945 (3.5%) - 11 fixings, 1 aggregations, 16733604 implications, 0 bound changes
1160.44/1160.44	c    (1160.4s) probing: 2153/57945 (3.7%) - 11 fixings, 1 aggregations, 17512170 implications, 0 bound changes
1160.44/1160.44	c    (1160.4s) probing aborted: 2000/2000 successive useless probings
1160.44/1160.44	c (round 17) 14909 del vars, 54395 del conss, 23 add conss, 11470 chg bounds, 110 chg sides, 238 chg coeffs, 180073 upgd conss, 78662386 impls, 3943 clqs
1160.93/1160.94	c (round 18) 14909 del vars, 55138 del conss, 23 add conss, 11470 chg bounds, 110 chg sides, 451 chg coeffs, 180073 upgd conss, 78662386 impls, 3943 clqs
1553.44/1553.40	c    (1553.4s) probing: 3000/57945 (5.2%) - 30 fixings, 12 aggregations, 23324958 implications, 0 bound changes
1800.17/1800.15	c    (1800.1s) probing: 3523/57945 (6.1%) - 39 fixings, 12 aggregations, 28880779 implications, 0 bound changes
1800.17/1800.15	c    (1800.1s) probing aborted: solving stopped
1800.17/1800.15	c (round 19) 14948 del vars, 55138 del conss, 23 add conss, 11470 chg bounds, 110 chg sides, 452 chg coeffs, 180073 upgd conss, 109578134 impls, 4518 clqs
1800.17/1800.15	c presolving (19 rounds):
1800.17/1800.15	c  14948 deleted vars, 55138 deleted constraints, 23 added constraints, 11470 tightened bounds, 0 added holes, 110 changed sides, 452 changed coefficients
1800.17/1800.15	c  109578134 implications, 4518 cliques
1800.17/1800.15	c presolving was interrupted.
1800.17/1800.15	c Presolving Time: 1798.33
1800.17/1800.15	c - non default parameters ----------------------------------------------------------------------
1800.17/1800.15	c # SCIP version 2.0.1.5
1800.17/1800.15	c 
1800.17/1800.15	c # frequency for displaying node information lines
1800.17/1800.15	c # [type: int, range: [-1,2147483647], default: 100]
1800.17/1800.15	c display/freq = 10000
1800.17/1800.15	c 
1800.17/1800.15	c # maximal time in seconds to run
1800.17/1800.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.17/1800.15	c limits/time = 1800
1800.17/1800.15	c 
1800.17/1800.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.17/1800.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.17/1800.15	c limits/memory = 13950
1800.17/1800.15	c 
1800.17/1800.15	c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.17/1800.15	c # [type: int, range: [1,2], default: 1]
1800.17/1800.15	c timing/clocktype = 2
1800.17/1800.15	c 
1800.17/1800.15	c # belongs reading time to solving time?
1800.17/1800.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.17/1800.15	c timing/reading = TRUE
1800.17/1800.15	c 
1800.17/1800.15	c # should presolving try to simplify inequalities
1800.17/1800.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.17/1800.15	c constraints/linear/simplifyinequalities = TRUE
1800.17/1800.15	c 
1800.17/1800.15	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.17/1800.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.17/1800.15	c constraints/indicator/addCouplingCons = TRUE
1800.17/1800.15	c 
1800.17/1800.15	c # should presolving try to simplify knapsacks
1800.17/1800.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.17/1800.15	c constraints/knapsack/simplifyinequalities = TRUE
1800.17/1800.15	c 
1800.17/1800.15	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.17/1800.15	c # [type: int, range: [-1,2147483647], default: -1]
1800.17/1800.15	c separating/rapidlearning/freq = 0
1800.17/1800.15	c 
1800.17/1800.15	c -----------------------------------------------------------------------------------------------
1800.17/1800.15	c start solving
1800.17/1800.19	c presolving:
1800.17/1800.19	c presolving (19 rounds):
1800.17/1800.19	c  14948 deleted vars, 55138 deleted constraints, 23 added constraints, 11470 tightened bounds, 0 added holes, 110 changed sides, 452 changed coefficients
1800.17/1800.19	c  109578134 implications, 4518 cliques
1800.17/1800.19	c presolving was interrupted.
1800.17/1800.19	c Presolving Time: 1798.36
1800.17/1800.19	c 
1800.17/1800.19	c SCIP Status        : solving was interrupted [time limit reached]
1800.17/1800.19	c Solving Time (sec) : 1800.19
1800.17/1800.19	c Solving Nodes      : 0
1800.17/1800.19	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.17/1800.19	s UNKNOWN
1800.17/1800.19	c SCIP Status        : solving was interrupted [time limit reached]
1800.17/1800.19	c Total Time         :    1800.19
1800.17/1800.19	c   solving          :    1800.19
1800.17/1800.19	c   presolving       :    1798.36 (included in solving)
1800.17/1800.19	c   reading          :       1.52 (included in solving)
1800.17/1800.19	c Original Problem   :
1800.17/1800.19	c   Problem name     : HOME/instance-3451821-1307119553.opb
1800.17/1800.19	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.17/1800.19	c   Constraints      : 234464 initial, 234464 maximal
1800.17/1800.19	c Presolved Problem  :
1800.17/1800.19	c   Problem name     : t_HOME/instance-3451821-1307119553.opb
1800.17/1800.19	c   Variables        : 57894 (57894 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.17/1800.19	c   Constraints      : 179349 initial, 179349 maximal
1800.17/1800.19	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.17/1800.19	c   trivial          :       0.06       1016          0          0          0          0          0          0          0          0
1800.17/1800.19	c   dualfix          :       0.08        120          0          0          0          0          0          0          0          0
1800.17/1800.19	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.17/1800.19	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.17/1800.19	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1800.17/1800.19	c   implics          :       0.78          0          0          0          0          0          0          0          0          0
1800.17/1800.19	c   probing          :    1785.50         39         12          0          0          0          0          0          0          0
1800.17/1800.19	c   knapsack         :       0.68          0          0          0          0          0          4         23         33        405
1800.17/1800.19	c   setppc           :       0.53          0          0          0          0          0        738          0          0          0
1800.17/1800.19	c   linear           :      10.22      10454       3307          0      11470          0      54391          0         77         47
1800.17/1800.19	c   logicor          :       0.14          0          0          0          0          0          5          0          0          0
1800.17/1800.19	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.17/1800.19	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.17/1800.19	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
1800.17/1800.19	c   knapsack         :          0+         0     151752          0          0          0          0          7          0          0          0          0
1800.17/1800.19	c   setppc           :          0+         0     151745          0          0          0          0          8          0          0          0          0
1800.17/1800.19	c   linear           :          0+         0          0          0          0          0          0          0          0          0          0          0
1800.17/1800.19	c   logicor          :          0+         0     140498          0          0          0          0          9          0          0          0          0
1800.17/1800.19	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1800.17/1800.19	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.17/1800.19	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.17/1800.19	c   knapsack         :       8.44       0.00       8.44       0.00       0.00       0.00       0.00
1800.17/1800.19	c   setppc           :     925.99       0.00     925.99       0.00       0.00       0.00       0.00
1800.17/1800.19	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.17/1800.19	c   logicor          :      11.47       0.00      11.47       0.00       0.00       0.00       0.00
1800.17/1800.19	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.17/1800.19	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.17/1800.19	c   vbounds          :          0          0          0          0
1800.17/1800.19	c   rootredcost      :          0          0          0          0
1800.17/1800.19	c   pseudoobj        :          0          0          0          0
1800.17/1800.19	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.17/1800.19	c   vbounds          :       0.06       0.06       0.00
1800.17/1800.19	c   rootredcost      :       0.05       0.05       0.00
1800.17/1800.19	c   pseudoobj        :       0.02       0.02       0.00
1800.17/1800.19	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.17/1800.19	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.17/1800.19	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.17/1800.19	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.17/1800.19	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.17/1800.19	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.17/1800.19	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.17/1800.19	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.85/1800.80	c Time complete: 1800.85.

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-3451821-1307119553/watcher-3451821-1307119553 -o /tmp/evaluation-result-3451821-1307119553/solver-3451821-1307119553 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451821-1307119553.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.02 1.48 1.78 2/424 27926
/proc/meminfo: memFree=29107240/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=15488 CPUtime=0.01 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 2847 0 0 0 1 0 0 0 21 0 1 0 823555814 15859712 2800 33554432000 4194304 9163163 140735290940032 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27926/statm: 3872 2800 395 1214 0 2654 0

[startup+0.0815271 s]
/proc/loadavg: 1.02 1.48 1.78 2/424 27926
/proc/meminfo: memFree=29107240/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=27784 CPUtime=0.07 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 5913 0 0 0 7 0 0 0 21 0 1 0 823555814 28450816 5866 33554432000 4194304 9163163 140735290940032 18446744073709551615 8031142 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27926/statm: 6946 5866 395 1214 0 5728 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 27784

[startup+0.100522 s]
/proc/loadavg: 1.02 1.48 1.78 2/424 27926
/proc/meminfo: memFree=29107240/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=30076 CPUtime=0.09 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 6520 0 0 0 9 0 0 0 21 0 1 0 823555814 30797824 6473 33554432000 4194304 9163163 140735290940032 18446744073709551615 8047498 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27926/statm: 7519 6473 395 1214 0 6301 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30076

[startup+0.300499 s]
/proc/loadavg: 1.02 1.48 1.78 2/424 27926
/proc/meminfo: memFree=29107240/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=56820 CPUtime=0.29 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 13204 0 0 0 28 1 0 0 22 0 1 0 823555814 58183680 13157 33554432000 4194304 9163163 140735290940032 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27926/statm: 14205 13157 395 1214 0 12987 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56820

[startup+0.700413 s]
/proc/loadavg: 1.02 1.48 1.78 2/424 27926
/proc/meminfo: memFree=29107240/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=80724 CPUtime=0.69 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 19179 0 0 0 68 1 0 0 24 0 1 0 823555814 82661376 19132 33554432000 4194304 9163163 140735290940032 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27926/statm: 20181 19132 395 1214 0 18963 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80724

[startup+1.50027 s]
/proc/loadavg: 1.10 1.49 1.78 3/430 27933
/proc/meminfo: memFree=28906328/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=151400 CPUtime=1.49 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 36747 0 0 0 145 4 0 0 25 0 1 0 823555814 155033600 36700 33554432000 4194304 9163163 140735290940032 18446744073709551615 8044560 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27926/statm: 37850 36700 395 1214 0 36632 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 151400

[startup+3.10098 s]
/proc/loadavg: 1.10 1.49 1.78 3/430 27933
/proc/meminfo: memFree=28418020/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=510768 CPUtime=3.09 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 124998 0 0 0 295 14 0 0 25 0 1 0 823555814 523026432 124931 33554432000 4194304 9163163 140735290940032 18446744073709551615 6919008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 127692 124931 506 1214 0 126474 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 510768

[startup+6.30037 s]
/proc/loadavg: 1.17 1.50 1.78 3/430 27933
/proc/meminfo: memFree=27733912/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=782772 CPUtime=6.29 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 190952 0 0 0 608 21 0 0 25 0 1 0 823555814 801558528 190885 33554432000 4194304 9163163 140735290940032 18446744073709551615 6567497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 195693 190885 506 1214 0 194475 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 782772

[startup+12.7002 s]
/proc/loadavg: 1.24 1.51 1.79 3/430 27933
/proc/meminfo: memFree=27383344/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=909612 CPUtime=12.69 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 229555 0 0 0 1244 25 0 0 25 0 1 0 823555814 931442688 222041 33554432000 4194304 9163163 140735290940032 18446744073709551615 8034182 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 227403 222041 530 1214 0 226185 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 909612

[startup+25.5008 s]
/proc/loadavg: 1.41 1.53 1.79 3/430 27933
/proc/meminfo: memFree=27151356/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=996488 CPUtime=25.49 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 259402 0 0 0 2520 29 0 0 25 0 1 0 823555814 1020403712 242555 33554432000 4194304 9163163 140735290940032 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 249122 242555 620 1214 0 247904 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 996488

[startup+51.101 s]
/proc/loadavg: 1.61 1.57 1.79 3/430 27934
/proc/meminfo: memFree=27055280/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=1048644 CPUtime=51.09 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 271868 0 0 0 5078 31 0 0 25 0 1 0 823555814 1073811456 255021 33554432000 4194304 9163163 140735290940032 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 262161 255021 620 1214 0 260943 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1048644

[startup+102.317 s]
/proc/loadavg: 1.83 1.63 1.80 3/430 27935
/proc/meminfo: memFree=26789672/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=1193720 CPUtime=102.31 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 307705 0 0 0 10196 35 0 0 25 0 1 0 823555814 1222369280 290858 33554432000 4194304 9163163 140735290940032 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 298430 290858 620 1214 0 297212 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1193720

[startup+162.3 s]
/proc/loadavg: 1.93 1.70 1.81 3/430 27937
/proc/meminfo: memFree=26566460/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=1312888 CPUtime=162.3 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 337289 0 0 0 16191 39 0 0 25 0 1 0 823555814 1344397312 320442 33554432000 4194304 9163163 140735290940032 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 328222 320442 620 1214 0 327004 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1312888

[startup+222.301 s]
/proc/loadavg: 1.97 1.75 1.82 3/430 27938
/proc/meminfo: memFree=26202392/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=1558936 CPUtime=222.3 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 398568 0 0 0 22184 46 0 0 25 0 1 0 823555814 1596350464 381721 33554432000 4194304 9163163 140735290940032 18446744073709551615 4832441 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 389734 381721 620 1214 0 388516 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1558936

[startup+282.301 s]
/proc/loadavg: 2.11 1.82 1.84 3/430 27940
/proc/meminfo: memFree=25785448/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=1713108 CPUtime=282.3 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 437209 0 0 0 28181 49 0 0 25 0 1 0 823555814 1754222592 420362 33554432000 4194304 9163163 140735290940032 18446744073709551615 6555946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 428277 420362 620 1214 0 427059 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1713108

[startup+342.301 s]
/proc/loadavg: 2.04 1.85 1.85 3/430 27942
/proc/meminfo: memFree=25542516/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=1822892 CPUtime=342.3 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 464535 0 0 0 34178 52 0 0 25 0 1 0 823555814 1866641408 447688 33554432000 4194304 9163163 140735290940032 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 455723 447688 620 1214 0 454505 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1822892

[startup+402.301 s]
/proc/loadavg: 2.01 1.88 1.85 3/430 27943
/proc/meminfo: memFree=25287728/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=1914220 CPUtime=402.31 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 487475 0 0 0 40176 55 0 0 25 0 1 0 823555814 1960161280 470628 33554432000 4194304 9163163 140735290940032 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 478555 470628 620 1214 0 477337 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1914220

[startup+462.301 s]
/proc/loadavg: 2.12 1.93 1.87 3/430 27945
/proc/meminfo: memFree=25014304/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=2025156 CPUtime=462.31 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 514789 0 0 0 46172 59 0 0 25 0 1 0 823555814 2073759744 497942 33554432000 4194304 9163163 140735290940032 18446744073709551615 5459270 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 506289 497942 620 1214 0 505071 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2025156

[startup+522.3 s]
/proc/loadavg: 2.09 1.95 1.88 3/430 27946
/proc/meminfo: memFree=24673064/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=2230740 CPUtime=522.31 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 565870 0 0 0 52165 66 0 0 25 0 1 0 823555814 2284277760 549023 33554432000 4194304 9163163 140735290940032 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 557685 549023 620 1214 0 556467 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2230740

[startup+582.3 s]
/proc/loadavg: 2.03 1.96 1.88 3/430 27948
/proc/meminfo: memFree=24459776/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=2309088 CPUtime=582.31 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 585306 0 0 0 58162 69 0 0 25 0 1 0 823555814 2364506112 568459 33554432000 4194304 9163163 140735290940032 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 577272 568459 620 1214 0 576054 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2309088

[startup+642.301 s]

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

[startup+942.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/430 27967
/proc/meminfo: memFree=23427396/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=2675080 CPUtime=942.33 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 676133 0 0 0 94150 83 0 0 25 0 1 0 823555814 2739281920 659286 33554432000 4194304 9163163 140735290940032 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 668770 659286 624 1214 0 667552 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 2675080

[startup+1002.3 s]
/proc/loadavg: 2.08 2.02 1.92 3/430 27968
/proc/meminfo: memFree=23335004/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=2730640 CPUtime=1002.33 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 690219 0 0 0 100148 85 0 0 25 0 1 0 823555814 2796175360 673372 33554432000 4194304 9163163 140735290940032 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 682660 673372 624 1214 0 681442 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 2730640

[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 1.92 3/430 27970
/proc/meminfo: memFree=23248948/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=2772468 CPUtime=1062.33 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 700862 0 0 0 106146 87 0 0 25 0 1 0 823555814 2839007232 684015 33554432000 4194304 9163163 140735290940032 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 693117 684015 624 1214 0 691899 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2772468

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/430 27974
/proc/meminfo: memFree=23159528/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=2822540 CPUtime=1122.32 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 713163 0 0 0 112143 89 0 0 25 0 1 0 823555814 2890280960 696316 33554432000 4194304 9163163 140735290940032 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 705635 696316 624 1214 0 704417 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2822540

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/430 27976
/proc/meminfo: memFree=23025112/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=2886836 CPUtime=1182.33 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 729142 0 0 0 118141 92 0 0 25 0 1 0 823555814 2956120064 712295 33554432000 4194304 9163163 140735290940032 18446744073709551615 6567515 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 721709 712295 624 1214 0 720491 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2886836

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/430 27978
/proc/meminfo: memFree=22901612/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=2963568 CPUtime=1242.33 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 747509 0 0 0 124139 94 0 0 25 0 1 0 823555814 3034693632 730662 33554432000 4194304 9163163 140735290940032 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 740892 730662 624 1214 0 739674 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2963568

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/430 27979
/proc/meminfo: memFree=22797328/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=3023064 CPUtime=1302.35 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 762455 0 0 0 130139 96 0 0 25 0 1 0 823555814 3095617536 745608 33554432000 4194304 9163163 140735290940032 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 755766 745608 624 1214 0 754548 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 3023064

[startup+1362.3 s]
/proc/loadavg: 2.10 2.03 1.94 3/430 27981
/proc/meminfo: memFree=22573492/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=3162524 CPUtime=1362.34 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 796918 0 0 0 136132 102 0 0 25 0 1 0 823555814 3238424576 780071 33554432000 4194304 9163163 140735290940032 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 790631 780071 624 1214 0 789413 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3162524

[startup+1422.32 s]
/proc/loadavg: 2.03 2.02 1.94 3/430 27983
/proc/meminfo: memFree=22434600/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=3242352 CPUtime=1422.36 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 817331 0 0 0 142131 105 0 0 25 0 1 0 823555814 3320168448 800484 33554432000 4194304 9163163 140735290940032 18446744073709551615 6479350 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 810588 800484 624 1214 0 809370 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 3242352

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/430 27984
/proc/meminfo: memFree=22337872/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=3305312 CPUtime=1482.34 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 832776 0 0 0 148127 107 0 0 25 0 1 0 823555814 3384639488 815929 33554432000 4194304 9163163 140735290940032 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 826328 815929 624 1214 0 825110 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3305312

[startup+1542.3 s]
/proc/loadavg: 2.09 2.04 1.95 3/430 27986
/proc/meminfo: memFree=22190676/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=3418408 CPUtime=1542.35 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 861261 0 0 0 154125 110 0 0 25 0 1 0 823555814 3500449792 844414 33554432000 4194304 9163163 140735290940032 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 854602 844414 624 1214 0 853384 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 3418408

[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 1.95 3/430 27987
/proc/meminfo: memFree=22025756/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=3517040 CPUtime=1602.35 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 884838 0 0 0 160122 113 0 0 25 0 1 0 823555814 3601448960 867991 33554432000 4194304 9163163 140735290940032 18446744073709551615 5459013 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 879260 867991 624 1214 0 878042 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 3517040

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 1.95 3/430 27989
/proc/meminfo: memFree=21830328/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=3645016 CPUtime=1662.35 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 917012 0 0 0 166119 116 0 0 25 0 1 0 823555814 3732496384 900165 33554432000 4194304 9163163 140735290940032 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 911254 900165 624 1214 0 910036 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 3645016

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 1.95 3/430 27990
/proc/meminfo: memFree=21665652/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=3736556 CPUtime=1722.35 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 939882 0 0 0 172116 119 0 0 25 0 1 0 823555814 3826233344 922928 33554432000 4194304 9163163 140735290940032 18446744073709551615 5459264 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 934139 922928 624 1214 0 932921 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3736556

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/430 27992
/proc/meminfo: memFree=21471204/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=3844844 CPUtime=1782.35 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 966883 0 0 0 178113 122 0 0 25 0 1 0 823555814 3937120256 949929 33554432000 4194304 9163163 140735290940032 18446744073709551615 5459270 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 961211 949929 624 1214 0 959993 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 3844844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.02 1.95 3/430 27993
/proc/meminfo: memFree=21420604/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=3876416 CPUtime=1800.07 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 974558 0 0 0 179884 123 0 0 25 0 1 0 823555814 3969449984 957604 33554432000 4194304 9163163 140735290940032 18446744073709551615 5073640 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27926/statm: 969104 957604 624 1214 0 967886 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3876416

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

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

[startup+1800.6 s]
/proc/loadavg: 2.00 2.02 1.95 3/432 27995
/proc/meminfo: memFree=21806600/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=3488596 CPUtime=1800.67 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 975383 0 0 0 179942 125 0 0 25 0 1 0 823555814 3572322304 861461 33554432000 4194304 9163163 140735290940032 18446744073709551615 4444095 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27926/statm: 872149 861461 638 1214 0 870931 0
Current children cumulated CPU time (s) 1800.67
Current children cumulated vsize (KiB) 3488596

[startup+1800.8 s]
/proc/loadavg: 2.00 2.02 1.95 3/432 27995
/proc/meminfo: memFree=21806600/32951124 swapFree=43324008/67111528
[pid=27926] ppid=27924 vsize=129868 CPUtime=1800.85 cores=1,3,5,7
/proc/27926/stat : 27926 (scip-2.0.1.4b.l) R 27924 27926 22076 0 -1 4202496 975394 0 0 0 179947 138 0 0 25 0 1 0 823555814 132984832 22431 33554432000 4194304 9163163 140735290940032 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27926/statm: 32467 22431 649 1214 0 31249 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 129868

Child status: 0
Real time (s): 1800.8
CPU time (s): 1800.87
CPU user time (s): 1799.48
CPU system time (s): 1.38579
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3876416

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

runsolver used 7.42287 second user time and 17.9383 second system time

The end

Launcher Data 

Begin job on node105 at 2011-06-03 18:45:54
IDJOB=3451821
IDBENCH=77551
IDSOLVER=1948
FILE ID=node105/3451821-1307119553
RUNJOBID= node105-1307119553-27913
PBS_JOBID= 13497984
Free space on /tmp= 73752 MiB

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

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

MD5SUM BENCH= b130221e75850bec93c0e7e2b657d220
RANDOM SEED=1847771506

node105.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.825
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.825
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.825
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.825
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.825
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	: 5410.70
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.825
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.74
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.825
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.825
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:      29107520 kB
Buffers:        307232 kB
Cached:         816868 kB
SwapCached:      20984 kB
Active:        2866492 kB
Inactive:       664116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29107520 kB
SwapTotal:    67111528 kB
SwapFree:     43324008 kB
Dirty:           26776 kB
Writeback:          40 kB
AnonPages:     2404092 kB
Mapped:          18892 kB
Slab:           164828 kB
PageTables:      81312 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 114858240 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= 73728 MiB
End job on node105 at 2011-06-03 19:15:56